1. 引言
偏微分方程 [1] 是描述和刻画物理过程、系统状态、社会与生物现象的有力工具。由给定的方程、定解区域以及相应的初、边值条件确定方程的解,即偏微分方程正问题,偏微分方程的反问题 [2] [3] 是指已知或部分已知方程的解反求方程中的未知量。正问题与反问题是相互依存、相互决定的。与前者相比,大多数反问题都是不适定 [4] [5] 的。近年来,反问题在应用数学领域迅速发展,并在医疗、物理、信号探测、金融衍生品定价等方面都有重要的应用。
许多学者用不同的方法研究了经典抛物方程系数识别问题。相比之下,研究非散度型退化抛物方程系数反演问题的文献却甚少。这类方程在实际工业以及金融数学上有着重要的作用。与经典抛物方程相比,退化抛物方程的主要困难在于主系数的退化性,即使初始值和系数是足够光滑的函数,也可能导致相应解没有足够的正则性。在文献 [6],作者研究了在以下退化抛物方程中确定源项g的反问题
解的唯一性和Lipschitz稳定性由全局Carleman估计得到。在 [7] 中,类似的方法被应用于气候演化领域中出现的非线性反系数问题,其中假设扩散系数在区域的两端都消失。基础模型退化的最重要的反问题可能是Black-Scholes方程中局部波动率的重构。在 [8] [9] [10] [11] 中,作者已经仔细考虑了从当前期权市场价格中识别隐含波动率的逆问题,基于最优控制框架,得到了反问题的存在性、唯一性和适定算法。在文献 [12],作者致力于在电磁理论的框架内研究具有缺陷的磁致弹性层的正向和反向散射问题。根据缺陷轮廓上的位移场,针对透磁和不透磁缺陷,建立了边界积分方程的耦合系统,为了识别缺陷的位置和大小,利用拟牛顿迭代法开发了一种有效的数值算法。在文献 [13],作者通过考虑一些额外的数据在一维抛物线方程中识别退化扩散系数的反问题,通过能量方法证明了在某个时刻已知内部数据来识别扩散系数的唯一性和Lipschitz稳定性。对于退化抛物方程,文献 [14] 研究了一个从最终温度分布信息恢复源温度的反问题,首先通过积分变换和刘维尔定理(复分析)来确定该反问题的唯一性。借助积分恒等式,进一步构造了反问题的Lipschitz稳定性。最后,给出了几个数值实验证明算法的准确性和高效性。在文献 [15],作者考虑了分数阶扩散方程的初始条件的识别问题。基于特征函数展开,证明了有界时空域上强解的唯一存在性,根据观察算子的紧致性解释了反问题的不适定性。采用拉普拉斯变换技术和解析延拓法证明反问题的唯一性。鉴于反问题的不适定性,作者转而考虑Tikhonov型优化问题,并借助变分伴随技术,采用共轭梯度法求解优化问题。在这篇文章中,主要讨论了一类非散度型退化抛物方程源项识别问题。该源项系数在实际应用中扮演着重要的角色。这个问题可以用以下形式表述:
问题P:考虑如下非散度型退化抛物方程:
(1)
其中
是未知源项,
,
,
,
和
是给定的光滑函数,并且满足:
假设已知附加条件:
(2)
接下来将根据(1)和(2)来确定u和g。
2. 最优控制问题
一般地,唯一性在反问题中占有举足轻重的地位,它决定了额外条件是否足以识别未知信息。推导唯一性的工具有很多,如能量估计、积分方程、Carleman估计等。值得一提的是,Carleman估计是推导反问题的唯一性和Lipschitz稳定性的有效工具。但不幸的是,它无法处理反问题P等终端控制问题。故本文将考虑问题P的正则化。在此之前,先对正问题加以讨论并给出一些基本定义、引理和估计。
定义1.
是
关于下列范数的闭包:
定义2. 函数
是方程(1)的弱解,如果
,并且对任意
,
,
,有以下等式成立:
(3)
定理1. 对于任意给定的
,
,存在(1)的唯一弱解且满足以下估计:
证明首先证明存在性。对于任意
,考虑以下正则化问题:
(4)
其中
根据退化抛物方程理论,方程(4)存在唯一弱解
。
接着对
给出一些先验估计。不失一般性,不妨假设
是(4)的经典解。否则,可以光滑化(4)的系数,然后考虑近似问题的解决方案。
在(4)式的两边同乘
,并在
上积分,有
通过分部积分,得到
(5)
注意到
因此
(6)
对上式不等式的左端第二项进行分部积分,得
这里根据a和b的光滑性,定义
。
令
,由Gronwall不等式,显然有
这意味着弱解存在性成立。
接下来证明弱解的唯一性,假设
是方程(1)的两个解,并且令
显然
,并且对于任意
,
,
,
有以下积分等式成立
(7)
对于任意给定的
,由上面得到的存在性可知对以下方程存在一个弱解
,且
在(7)式令
,得
注意到
的任意性,有
即
定理1得证。
注1 上面定义的弱解是在整个域Q上。若只考虑空间相关的情况,可以将定义1修改为:
定义1’. 将
定义为
在以下范数下的闭包:
定义2也可以改写为:
定义2’. 函数
称为方程(1)的弱解,如果u满足
并且以下积分等式几乎处处对
成立
通过类推论证,可以证明这种弱解的存在性、唯一性和正则性,类似于定理1。
由于反问题P是不适定的,即其解不稳定地依赖于数据,我们转而考虑以下最优控制问题P1:
问题P1:寻找
使得:
(8)
其中
(9)
(10)
是方程(1)对应于给定系数
的解,N是正则化参数,
是两个给定的正常数。
对于附加条件(2),假设
(11)
根据(11)和定理1,易知对任意
控制泛函(9)是严格定义的。
现在要证明问题(8)的极小元是存在的。首先,我们声明在以下意义上泛函
在
中具有某种连续性质。
引理1. 对于任意序列
。当
,
,有
(12)
由于引理1的证明类似于文献 [11],所以在这就不再详细证明。
定理2. 存在
的极小元
,即
证明容易看出
是非负的并且有下确界
。设
是一个极小化序列,即
注意到
,可以推断
(13)
其中C与n无关。
根据
的有界性,同样可得
(14)
因此,选取一个子序列,同样表示为
,则
(15)
利用Sobolev嵌入定理,得
(16)
容易看出
。因此当
时,在
(17)
此外,根据式(15),有
(18)
根据引理1和
的收敛性,存在一个
的子序列,仍记为
,使得
(19)
由式(17)~(19),有
(20)
因此,
。
定理得证。
3. 必要条件
定理3. 设g为最优控制问题(8)的解,对于任意
,存在一个三元函数
满足以下系统:
(21)
(22)
以及
(23)
证明:对任意的
,
,有
并且
(24)
令
为方程(1)中
时的解,因为g是一个最优解,则
(25)
设
,直接计算可得到方程:
(26)
令
,则
满足
根据式(25),有
定理得证。
4. 唯一性和稳定性
由于最优控制问题P1是非凸的。所以,一般来说,人们可能不会期望一个独特的解决方案。事实上,优化技术作为众所周知的一种经典工具,可以为没有唯一解的反问题得到“通用解”。然而,如果终端时间T相对较小,则可以证明代价泛函的最小值是局部唯一且稳定的。
定理4. 设
分别为对应于
的最优控制问题P1的极小元。如果存在一点
,使得
则对于相对较小的T,有以下估计
其中常数C仅和N有关。
证明:在式(23)中,当
时,取
;当
时,取
,有
(27)
(28)
其中
分别是当
时系统(27)/(28)的解。
设
则
和
满足以下方程
(29)
(30)
根据弱极值原理,我们知道式(30)只有零解,因此
(31)
并且
满足以下式子
(32)
注意到式(29)和(32),有
(33)
根据式(27),(28),(31)和(33),我们得
(34)
对
,根据定理4的假设,以及Hölder不等式,有
(35)
从而得出
(36)
联立式(34)和(36),得到
定理得证。
注2 值得一提的是,正则化参数在不适定问题的数值模拟中起着重要作用。从定理4可以得到,如果存在一个常数
,使得
那么
则重构的最优解是唯一且稳定的,这与已有结果一致。由于参数N通常被认为非常小,特别是在数值计算中,定理4确实满足最优解的局部适定性。一般来说,对于不适定问题,正则化参数适当依赖于数据误差趋近零时,可以得到收敛结果。此外,在一些额外的源条件下,也可以推导出收敛速度。
5. 总结
近年来,经典抛物方程参数反演问题已经被许多学者所研究,然而研究非散度型退化抛物方程参数反演的文献则相对较少。在这篇文章中,我们研究了如下非散度型退化抛物方程源项反演问题:
与其他经典抛物方程参数识别的反问题不同的是,我们所研究的数学模型在边界存在退化,这也导致边界条件可能会缺失。通过最优控制框架,我们将原问题转换成了最优控制问题,证明了最优控制问题极小元的存在性,并且建立了极小元存在的必要条件。通过得到的必要条件证明了控制泛函极小元的局部唯一性和稳定性。由于本文研究的是在一维空间下的反问题,在未来的工作中,我们将会研究在多维空间内非散度型退化抛物方程的参数反演问题。
基金项目
国家自然科学基金资助项目(11461039, 61663018);兰州交通大学“百名青年优秀人才培养计划”;甘肃省自然科学基金资助项目(18JR3RA122)。