理论数学  >> Vol. 9 No. 4 (June 2019)

一维Boussinesq方程反问题的不适定性实例构建
The Ill-Posed Example Construction of Inverse Problems of One-Dimensional Boussinesq Equation

DOI: 10.12677/PM.2019.94064, PDF, HTML, XML, 下载: 342  浏览: 516 

作者: 金裕红, 左雷浩*:海军工程大学基础部,湖北 武汉

关键词: 反问题Boussinesq方程不适定性Inverse Problems Boussinesq Equation Ill-Posedness

摘要: 反问题的不适定性既包含问题本身的不适定性,也包含数值算法的不适定性。本文考虑一维Boussinesq方程反问题其问题本身的不适定性,即解的唯一性问题,着重指出反问题求解时附加条件的正确处理方式,同时构建了四个较为简单的实例,这些实例除了用于说明反问题的不适定性以外,还可以借助这四个实例进行进一步的数值仿真计算。
Abstract: The ill-posed nature of the inverse problem includes both the ill-posed nature of the problem itself and the ill-posed nature of the numerical algorithm. In this paper, we consider the ill-posedness of the inverse problem of one-dimensional Boussinesq equation, namely, the uniqueness of the solution. This paper points out the correct way to deal with the additional conditions when solving the inverse problem, and constructs four relatively simple examples, which are used not only to illustrate the unfitness of the inverse problem, but also to carry out subsequent numerical simulation calculation with the help of these four examples.

文章引用: 金裕红, 左雷浩. 一维Boussinesq方程反问题的不适定性实例构建[J]. 理论数学, 2019, 9(4): 481-485. https://doi.org/10.12677/PM.2019.94064

1. 问题描述

研究地下水渗透模型,保护有限的“生命之源”的任务越来越迫切,如何有效控制,并减少地下水污染等课题成为了当下不容忽视的问题 [1] 。在研究地下水污染物的在介质中的渗透扩散问题时,我们经常把此类问题转化为偏微分方程反问题来处理。

微分方程定解问题中的参数以及初始条件、边界条件等都是已知的,其相对应的偏微分方程反问题则是正问题的某个或者某几个已知条件变成未知,仅仅有和未知量有关的附加条件 [2] 等信息,我们所要做的就是根据方程本身、已知的几个定解条件和附加条件来求解问题中的未知量。

我们一般用一维Boussinesq方程来描述地下水运动情况,它是一个非线性方程,表示如下

{ h t = x [ k ( x ) h ( x , t ) h x ] + f ( x , t ) h ( 0 , t ) = g 1 ( t ) , h ( 1 , t ) = g 2 ( t ) h ( x , 0 ) = φ 1 ( x ) 1 x 1 , 0 t 1 (1)

式(1)中 f ( x , t ) 为入渗强度; k ( x ) 是描述介质的透水性强度的一个参数,一般称之为渗透系数,在均匀介质中,渗透系数 k ( x ) 在区域每个点上都是定值,在非均匀介质中, k ( x ) 是空间位置的函数,随着空间位置变化而变化 [3] 。根据偏微分方程的知识我们可以知道,如果 k , h , g 1 , g 2 , f 的值已知且满足光滑性条件,那么该问题的解是存在且唯一。这时的问题就是常见的正问题 [4] [5] 。

一般情况下,渗透系数的具体表达式是未知的,所谓系数反演问题,就是在只给定了 φ 1 ( x ) g 1 ( t ) g 2 ( t ) f ( x , t ) 的表达式,而 h ( x , t ) 是未知的情况下,来确定渗透系数 k ( x ) 。在实际解决此类问题时,我们需要额外增加一些附加条件,通常会通过一些测量手段获得 h ( x , t ) 在某时刻的近似值,再根据更多的信息或者测量数据来反演系数 k(x)。系数反演问题在工程实际问题中研究的比较多,在数学物理反问题研究中也有很重要的地位。

2. 一维Boussinesq方程反问题的不适定性实例构建

2.1. 实例一

考虑非线性一维Boussinesq方程初边值问题。作为参数辨识问题,在已知 φ 1 ( x ) G 1 ( t ) g 2 ( t ) 的条件下,为了确定未知的渗透系数函数 k ( x ) 及浓度的时空分布函数 h ( x , t ) ,需要附加条件以确定解决问题的不适定性。文献 [4] 提出附加条件,从而认为对应的问题是适定的,并在数值算例中取未知函数的真值为 k ( x ) = 1 + 2 x + 3 x 2 h ( x , t ) = ( x + t ) e ( x t ) 。将真值代入原方程我们可以得到相应反问题的已知条件实际设定为:

{ φ 1 ( x ) = x e x g 1 ( t ) = t e t g 2 ( t ) = ( 1 + t ) e ( 1 t ) φ 2 ( x ) = ( x + 1 ) e ( x 1 ) (2)

将式(2)中的已知条件代入式(1),我们得到自由项的表达式如下

f ( x , t ) = e 2 u ( 6 u 2 12 u + 3 ) x 2 + e 2 u ( 2 u 2 + 2 u 2 ) x + e 2 u ( 2 u 1 ) + e u ( 1 u )

其中 u = x + t ,并根据这些条件采用摄动量法求得 k ( x ) h ( x , t ) 的数值解。

我们的疑问是:在增加附加条件 h ( x , 1 ) = φ 2 ( x ) 后,这一参数辨识问题是否是适定的?通过演算,我们得到的答案是否定的。即使完全已知 h ( x , t ) ,由于关于未知函数 k ( x ) 的一阶常微分方程为如下形式:

( h h x ) k ( x ) + ( x ( h h x ) ) k ( x ) = h t f ( x , t ) (3)

在不给定定解条件时,其解函数 k ( x ) 也一定不会唯一的,因此问题求解的适定性也无从谈起。值得注意的是,在公开的文献中,这一问题并未受到关注,相应的反问题求解都是在增加同样的附加条件下进行的!有些文献中之所以得到比较好的结果,实际上是因为对 k ( x ) 的函数类型做了限制,也就相当于提供了定界条件,相应地,算法的适应性就受到了较大的限制。

毫无疑问,上面给出的未知函数真值确实是反问题的解,但是即使已知 h ( x , t ) 为给定形式,未知函数 k ( x ) 仍是不确定的。事实上,将 h ( x , t ) = ( x + t ) e ( x t ) 代入Boussinesq方程,化简后比较方程两边关于t的多项式系数,得到 k ( x ) 满足的三个等价的微分方程,其中二次项系数得到的方程最为简单,为如下形式:

k ( x ) 2 k ( x ) = 2 x 6 x 2 (4)

解得 k ( x ) = 1 + 2 x + 3 x 2 + C e 2 x ,其中C为任意实常数,显然,若想要唯一确定 k ( x ) ,必须给定上述常微分方程的定解条件,通常情况下,定解条件可以设为 k ( 0 ) = k 0

2.2. 实例二

在文献 [4] 中还给出了一个参数辨识实例,其初边值条件取值为:

{ φ 1 ( x ) = ( x x 2 + 1 ) e x g 1 ( t ) = e 2 t g 2 ( t ) = e 1 2 t φ 2 ( x ) = ( x x 2 ) e 1 x + e 2 x (5)

未知渗透函数真值设定为 k ( x ) = e x

由于文献 [4] 未提供浓度时空分布函数 h ( x , t ) ,这里根据初边值条件与 h ( x , t ) 的相容性,猜测(不完全确定) h ( x , t ) 的真值设定为:

h ( x , t ) = ( x x 2 ) e x t + e x 2 t

据此可推得

{ h t = x ( x 1 ) e ( x t ) 2 e ( x 2 t ) h h x = e 2 x 2 t ( e t x 2 + x ) ( e t x 2 + 3 x 1 ) h x ( h h x ) = e 2 x 2 t ( e t x 2 + 3 x 1 ) 2 + e 2 x 2 t ( e t + x x 2 ) ( e t x 2 + 5 x 4 ) (6)

由式(3)和式(6)我们可推得

f ( x , t ) = e x t ( ( x 2 x ) + e t ( 3 + 9 x 16 x 2 + 8 x 3 x 4 ) + e 2 t ( 5 8 x + 2 x 2 ) e 3 t )

将上述表达式代入Boussinesq方程,化简后比较方程两边关于 e 2 t 的系数,得到 k ( x ) 满足的微分方程为如下形式为 k ( x ) 2 k ( x ) = e x ,从而可得 k ( x ) = e x + C e 2 x ,其中C为任意实常数。

2.3. 实例三

除了考虑浓度时空分布函数 h ( x , t ) 为稳态情形,即 h ( x , t ) 与时间变量t无关,则Boussinesq方程可化为常微分方程

d d x ( k ( x ) h ( x ) d h d x ) + f ( x ) = 0 (7)

从而问题变为常微分方程下的参数辨识问题。

为验证偏微分方程反问题算法的有效性,可取 k ( x ) = 1 + 2 x + 3 x 2 h ( x , t ) = e x ,则相应反问题的已知条件实际设定为

{ φ 1 ( x ) = e x g 1 ( t ) = 1 g 2 ( t ) = e 1 φ 2 ( x ) = e x f ( x , t ) = e 2 x ( 6 x 2 + 2 x ) (8)

根据 k ( x ) 满足的微分方程可解得

k ( x ) = 1 + 2 x + 3 x 2 + C e 2 x (9)

其中C为任意实常数。

2.4. 实例四

对于考虑 h ( x , t ) 可分离变量的函数,记为 h ( x , t ) = h 1 ( x ) h 2 ( t ) ,将其代入Boussinesq方程,则有

h 1 h 2 = ( h 1 h 1 h 2 2 ) k + ( h 1 h 1 ) h 2 2 k + f ( x , t ) (10)

在此基础上,我们构造实例四:在方程中,若取 h 1 1 ,即浓度时空分布函数与空间位置无关,则必有 h 2 ( t ) = f ( x , t ) ,从而我们可以知道, f ( x , t ) 也与空间位置无关,只与时间有关,所以这里将其记为 f ( t ) ,则有

h 2 ( t ) = f ( t ) d t (11)

显然这里渗透系数函数可取任意的函数,反问题的解存在但不唯一,具有严重的不确定性,所以再对其进行数值求解救没有任何意义。

在方程中,为简单记,若取 h 1 ( t ) = c 1 ( x + 1 ) 即简单的线性函数,取 h 2 ( t ) = c 2 t ,则方程变为 c 1 c 2 ( x + 1 ) = ( c 1 c 2 ) 2 ( x + 1 ) t 2 k + ( c 1 c 2 ) 2 t 2 k + f ( x , t ) ,进一步地,假定 c 1 c 2 = 1 ,则可得方程 x + 1 = ( x + 1 ) t 2 k + t 2 k + f ( x , t )

此时若记 ( x + 1 ) k + k = K ( x ) ,则有

k ( x ) = 1 x + 1 K ( x ) d x (12)

从而 f ( x , t ) = x + 1 K ( x ) ,据此不难设定数值计算实例,设定 k ( x ) = ( 1 + x ) 2 ,则 f ( x , t ) = x + 1 3 ( x + 1 ) 2 t 2

3. 总结

通过构建四个实例说明了一维Boussinesq方程反问题固有的不适定性,提出了求解反问题时附加条件的准确补充方式,构建的实例也为后续数值验证提供了依据。

NOTES

*通讯作者。

参考文献

[1] 王兵贤, 王泽文, 徐定华, 等. 二维流Boussinesq方程渗透系数反演的变分伴随方法[J]. 水利水电科技进展, 2010, 30(6): 11-14.
[2] 卢宏鹏. 二维抛物型方程参数反演的迭代算法研究[D]: [硕士学位论文]. 西安: 西安理工大学, 2010.
[3] 王兵贤, 徐定华, 胡康秀. 一维流动的Boussinesq方程渗流系数反演的变分伴随方法研究[J]. 数学的实践与认识, 2008, 38(20): 194-200.
[4] 刘春风, 彭亚绵. 偏微分方程并行算法及反问题数值解法[M]. 北京: 清华大学出版社, 2015.
[5] 彭亚绵. 偏微分方程反问题数值解法研究[D]: [硕士学位论文]. 西安: 西安理工大学, 2005.