洪宇翔 王泽文 徐定华
摘 要: 针对矩形区域内两种形式的强退化扩散系数,研究了二维单向强退化抛物型方程中扩散项的参数识别反问题。首先,利用H?lder不等式等证明了扩散项参数识别的唯一性和条件稳定性;然后,给出了数值计算强退化抛物型方程正问题的一种交替方向有限差分隐格式;最后,通过将退化扩散项的参数识别反问题归结为泛函优化问题,提出了基于遗传算法的退化项参数识别方法。计算模拟结果表明,退化项参数能被附加的测量数据有效识别出来,且提出的基于遗传算法的退化项参数识别方法具有很强的鲁棒性。
关键词:强退化;抛物型方程;参数识别;有限差分;遗传算法
中图分类号:O175.26
文献标志码:A
文章编号:1673-3851 (2023) 05-0388-08
引文格式:洪宇翔,王泽文,徐定华. 二维单向强退化抛物型方程的参数识别反问题[J]. 浙江理工大学学报(自然科学),2023,49(3):388-395.
Reference Format: HONG Yuxiang, WANG Zewen, XU Dinghua. Inverse problems of the parameter identification for two dimensional one-way strongly degenerate parabolic equations[J]. Journal of Zhejiang Sci-Tech University,2023,49(3):388-395.
Inverse problems of the parameter identification for two dimensionalone-way strongly degenerate parabolic equations
HONG Yuxiang1, WANG Zewen1, XU Dinghua2
(1.School of Science, East China University of Technology, Nanchang 330013, China; 2.School of Science, Zhejiang Sci-Tech University, Hangzhou 310018, China)
Abstract: The inverse problems of the parameter identification of diffusion terms in two-dimensional unidirectional strongly degenerate parabolic equation were studied for two forms of strongly degenerate diffusion coefficients in the rectangular domain. Firstly, the uniqueness and conditional stability of the parameter identification of the diffusion terms were proved by using such mathematical tools as H?lder inequality. Then, an alternating direction finite difference implicit scheme was proposed for the numerical calculation of the forward problem of strongly degenerate parabolic equations. Finally, a parameter identification method of degenerate terms based on genetic algorithm was proposed by reducing the inverse problems of the parameter identification of degenerate diffusion terms to a functional optimization problem. The simulation results show that the degenerate parameters can be effectively identified by the additional measurement data, and the proposed method based on genetic algorithm has strong robustness.
Key words:strongly degenerate; parabolic equation; parameter identification; finite difference; genetic algorithm
0 引 言
本文主要考慮带强退化扩散系数抛物型方程的退化项参数识别问题,此类问题在金融数学、流体力学、车辆工程等许多应用科学领域有重要意义。Rao等[1]研究了一维退化抛物型方程源项反问题,证明了该反问题的唯一性,同时给出了正问题的有限体积计算方法,然后利用Landweber迭代方法重建源项。类似地,Yang等[2]研究了重建退化抛物型方程初始分布的反问题,其中正问题采用有限差分方法计算;相关方法被作者推广到二维退化抛物型方程初始分布的反演问题上[3]。Kamynin[4]研究了非局部附加数据下源项系数的反演问题,证明了反问题解的唯一性和稳定性。Kawamoto[5]研究了多维线性退化抛物方程和强耦合系统的反问题,通过适当子边界上的测量数据和任意固定时刻的测量数据来确定源项,并基于Carleman估计讨论了反源问题的Lipschitz类型的稳定性结果。Ivanchov等[6]研究了一类二维矩形域内退化项系数与时间变量有关的强退化抛物方程,通过将反问题归结为关于退化系数的方程,应用Schauder不动点定理,证明了反问题解的存在性,同时给出了唯一性的证明。近期,Cannarsa等[7]研究了一维抛物方程中识别退化项参数的反问题,证明了反问题的唯一性和Lipschitz稳定性。关于非退化抛物型方程反问题受到了众多学者的关注和研究,相关研究参见文献[8-12]及其参考文献。
本文在Cannarsa等[7]的启发下,在矩形区域内考虑二维单向强退化抛物型方程的退化项参数识别反问题,针对两种形式的强退化扩散系数,研究了在适当的测量数据下退化项参数识别反问题的唯一性和条件稳定性。然后,针对考虑的退化项参数识别反问题,提出了基于遗传算法的参数识别方法,即将参数识别归结为泛函优化问题,并利用遗传算法求解该优化问题。本文将退化项参数识别相关研究结果推广到二维强化退化抛物型方程的情形,为强退化抛物型方程退化扩散项参数识别反问题相关研究提供参考。
1 问题描述
本文考虑二维单向强退化抛物型方程定解问题Ⅰ(简称退化问题Ⅰ)和其定解问题Ⅱ(简称退化问题Ⅱ):
上述两个定解问题之所以稱为是强退化的,是因为在x=0处扩散系数的值为0,且当x→0时扩散系数趋于0的速度大于或等于x趋于0的速度。
本文考虑的退化项参数识别反问题是:
a)参数识别反问题Ⅰ。已知初始分布u0(x,y),给定附加的测量数据?tu(x,y,t0)、?xu(x,y,t0)、?yu(x,y,t0),识别退化扩散项中的参数a,其中:(x,y)∈(0,l)×(0,l),t0∈(0,T]是某个固定时刻。
b)参数识别反问题Ⅱ。已知初始分布u0(x,y),给定附加数据?tu(x,y,t0)、?xu(x,y,t0)、?yu(x,y,t0),识别退化扩散项中的参数γ,其中:(x,y)∈(0,l)×(0,l),t0∈(0,T]是某个固定时刻。
本文主要研究在二维矩形区域内上述两个参数识别反问题的唯一性和条件稳定性,以及能有效识别参数a和γ的反演方法。
2 参数识别的理论分析
对任意l>0,(x,y)∈(0,l)×(0,l),记H=L2((0,l)×(0,l))。对于γ∈[1,2),记函数空间
2.1 参数识别反问题Ⅰ的唯一性和稳定性
定理1 设u0(x,y)∈L2((0,l)×(0,l))且u0(x,y)≠0,u1∈H1γ((0,l)×(0,l))和u2∈H1γ((0,l)×(0,l))分别对应退化问题Ⅰ中01<∞和02<∞的解,且存在μ>0使得
2.2 参数识别反问题Ⅱ的唯一性和稳定性
定理2 设0
∫l0∫l0xγi|?xui(x,y,t)|2dxdy≥μ,i=1,2(12)
对t0∈(0,T],若?tu1(x,y,t0)=?tu2(x,y,t0)、?xu1(x,y,t0)=?xu2(x,y,t0)、?yu1(x,y,t0)=?yu2(x,y,t0)对所有(x,y)∈(0,l)×(0,l)成立,则γ1=γ2。
证明 不失一般性,假设γ1<γ2,令w(x,y,t)=u2(x,y,t)-u1(x,y,t),则有
?tw-?x(xγ2?xw)-?y(?yw)=?x((xγ2-xγ1)?xu1)。
上式等号两边分别乘以u1后在区域(0,l)×(0,l)上积分,注意到边界条件,经分部积分得
∫l0∫l0(?tw-?x(xγ2?xw)-?y(?yw))u1dxdy=∫l0∫l0?twu1dxdy+∫l0∫l0xγ2?xw?xu1dxdy+∫l0∫l0?yw?yu1dxdy(13)
∫l0∫l0?x((xγ2-xγ1)?xu1)u1dxdy=∫l0∫l0(xγ1-xγ2)|?xu1|2dxdy(14)
已知?tu1(x,y,t0)=?tu2(x,y,t0)、?xu1(x,y,t0)=?xu2(x,y,t0)、?yu1(x,y,t0)=?yu2(x,y,t0)对所有(x,y)∈(0,l)×(0,l)成立,即得
∫l0∫l0(xγ1-xγ2)|?xu1(x,y,t0)|2dxdy=0。
又因xγ1>xγ2,x∈(0,l),故有
?xu1(x,y,t0)=0,
从而
∫l0∫l0xγi|?xu1(x,y,t0)|2dxdy=0。
这与定理的假设条件相矛盾,故γ1=γ2,即唯一性得证。
定理3 设0
∫l0∫l0xγi|?xui(x,y,t)|2dxdy≥μ,i=1,2(15)
则存在大于0的常数C使得
|γ2-γ1|≤C∫l0∫l0|?tu1(x,y,t0)-?tu2(x,y,t0)|2dxdy12+
∫l0∫l0xγ2|?xu1(x,y,t0)-?xu2(x,y,t0)|2dxdy12+
∫l0∫l0|?yu1(x,y,t0)-?yu2(x,y,t0)|2dxdy12(16)
证明 不失一般性,不妨设1≤γ1<γ2<2,并令
w(x,y,t)=u2(x,y,t)-u1(x,y,t)。
于是,由定理2中的证明及l<1,即知
∫l0∫l0(xγ1-xγ2)|?xu1|2dxdy=∫l0∫l0(1-xγ2-γ1)xγ1|?xu1|2dxdy≥(1-lγ2-γ1)∫l0∫l0xγ1|?xu1|2dxdy。
注意到1≤γ1<γ2<2和0 1-lγ2-γ1=∫1lddssγ2-γ1ds=(γ2-γ1)∫1lsγ2-γ1-1ds≥(γ2-γ1)l(1-l)。 于是,有 (γ2-γ1)l(1-l)∫l0∫l0xγ1|?xu1|2dxdy≤∫l0∫l0(xγ1-xγ2)|?xu1|2dxdy。 另一方面,由式(13)和H?lder不等式,得 ∫l0∫l0(?tw-?x(xγ2?xw)-?y(?yw))u1dxdy≤∫l0∫l0|?tw|2dxdy12∫l0∫l0|u1|2dxdy12+∫l0∫l0xγ2|?xw|2dxdy12∫l0∫l0xγ2|?xu1|2dxdy12+∫l0∫l0|?yω|2dxdy12∫l0∫l0|?yu1|2dxdy12。 注意到 ∫l0∫l0xγ2|?xu1|2dxdy=∫l0∫l0xγ2-γ1+γ1|?xu1|2dxdy≤lγ2-γ1∫l0∫l0xγ1|?xu1|2dxdy 和 ∫l0∫l0(xγ1-xγ2)|?xu1|2dxdy=∫l0∫l0(?tw-?x(xγ2?xw)-?y(?yw))u1dxdy, 易知 (γ2-γ1)l(1-l)∫l0∫l0xγ1|?xu1|2dxdy≤∫l0∫l0|?tw|2dxdy12∫l0∫l0|u1|2dxdy12+lγ2-γ12∫l0∫l0xγ2|?xw|2dxdy12∫l0∫l0xγ1|?xu1|2dxdy12 +∫l0∫l0|?yw|2dxdy12∫l0∫l0|?yu1|2dxdy12。 由u1∈H1γ,结合条件(15)可知式(16)成立。定理3得证。 3 强退化方程正问题的数值方法 综上,即得到强退化方程正问题数值求解的交替方向隐格式。 4 基于遗传算法的参数识别方法 遗传算法[14-16]源于对生物系统的计算机模拟研究,是一种随机搜索全局最优解的方法。它的基本步骤可以概括为:从任意初始种群出发,设计适应度函数,设定控制参数;通过随机选择、交叉和变异操作,产生更适合环境的个体;数代进化繁衍,直至收敛到问题的最优解。与传统优化算法相比,其不依赖于步长信息,对参数的初始解不敏感,而且无需计算目标函数的导数,从而某种程度上避免了数值求解的不稳定性。利用遗传算法识别退化项参数的步骤如下: 第一步,将退化项参数识别反问题归结为函数优化问题(20)。 第二步,将J(θ)作为适应度函数,利用遗传算法求解优化问题(20)。其中,J(θ)中的?tu(x,y,t0;θ),?xu(x,y,t0;θ),?yu(x,y,t0;θ)是待识别参数取遗传算法迭代值θ后,由正问题的有限差分格式(17)—(18)计算得到。 众所周知,当搜索种群足够大、繁衍代数足够多时,理论上遗传算法可以收敛到优化问题的最优解。因此,只要优化问题(20)存在唯一的极小元,则上述方法是收敛的。显然,优化问题(20)极小元的存在唯一性蕴含在定理1—定理3的结论中。但是,因参数识别反问题的强非线性性,本文未能给出优化问题(20)极小元的存在唯一性的严格证明。 另一方面,本文对基于遗传算法的退化项参数识别进行计算模拟实验,以此来验证方法的收敛性和稳定性。在计算模拟中,空间区域为[0,1]×[0,1],内部某一测量时刻t0=0.1。取a或γ的精确值,由差分格式(17)—(18)求解正问题。加上随机噪声后得到符合式(19)的测量数据βδ(x,y)、ζδ(x,y)和ηδ(x,y),其中带噪声的测量数据描述为βδ(x,y)=β(x,y)(1+εr(x,y)),r(x,y)是一个服从均值为0,方差为1的Gauss随机噪声,噪声水平?tu(x,y,t0)分别取0.10、0.05、0.01、0.005和0.001进行计算。参数识别时,设置遗传算法的进化代数为100,重复计算5次取平均作为参数识别反问题的解。 算例1 参数识别反问题Ⅰ。取精确值a=0.2, 1.0, 1.7,不同噪声水平下的识别结果见表1。从表1的计算结果可以看出:由?tu(x,y,t0)、?xu(x,y,t0)、?yu(x,y,t0)的测量数据能有效识别出退化扩散项中的参数a,且识别结果的相对误差均小于数据的相对误差水平。 算例2 参数识别反问题Ⅱ。取精确值γ=1.1, 1.6, 1.9,不同噪声水平下的识别结果见表2。从表2的计算结果可以看出:由?tu(x,y,t0)、?xu(x,y,t0)、?yu(x,y,t0)的测量数据能有效识别出退化扩散项中的参数?yu(x,y,t0),且所有情形的识别结果的平均相对误差为0.7078%,故该识别结果的总体精度要比算例1的要高些。 5 结 论 本文研究了一类矩形区域内二维强退化抛物型方程中两种退化扩散项的参数识别反问题。首先,利用H?lder不等式等数学工具分析了两个参数识别反问题解的唯一性和条件稳定性;然后,将参数识别反问题归结泛函优化问题,利用遗传算法求解该优化问题,结合退化抛物型方程正问题的有限差分格式,给出退化扩散项参数识别的方法;最后,通过计算模拟实验来验证所提出的参数识别方法的有效性。本文的研究结果表明,某个时刻空间域上的数据?yu(x,y,t0)、?yu(x,y,t0)和?yu(x,y,t0)可以唯一识别退化扩散项ax中的未知参数a,而在边长小于等于1的矩形域中这些数据可以唯一识别退化扩散项xγ中的未知参数γ;计算模拟结果表明,基于遗传算法的参数识别方法具有很强的鲁棒性和识别精度。本文考虑的是退化项中的单个参数识别的反问题;对于多个参数同时识别的反问题以及非单侧退化的抛物型方程退化项参数识别的反问题等,有待后续研究。 參考文献: [1]Rao X B, Wang Y X, Qian K, et al. Numerical simulation for an inverse source problem in a degenerate parabolic equation[J]. Applied Mathematical Modelling, 2015, 39(23/24): 7537-7553. [2]Yang L, Deng Z C. An inverse backward problem for degenerate parabolic equations[J]. Numerical Methods for Partial Differential Equations, 2017, 33(6): 1900-1923. [3]Deng Z C, Liu F L, Yang L, et al. Numerical simulations for initial value inversion problem in a two-dimensional degenerate parabolic equation[J]. AIMS Mathematics, 2021, 6(4): 3080-3104. [4]Kamynin V L. On the solvability of the inverse problem for determining the right-hand side of a degenerate parabolic equation with integral observation[J]. Mathematical Notes, 2015, 98(5/6): 765-777. [5]Kawamoto A. Inverse problems for linear degenerate parabolic equations by“time-like”Carleman estimate[J]. Journal of Inverse and Ill-posed Problems, 2015, 23(1): 1-21. [6]Ivanchov M, Vlasov V . Inverse problem for a two-dimensional strongly degenerate heat equation[J]. Electronic Journal of Differential Equations, 2018, 2018(77): 1-17. [7]Cannarsa P, Doubova A, Yamamoto M. Inverse problem of reconstruction of degenerate diffusion coefficient in a parabolic equation[J]. Inverse Problems, 2021, 37(12): 125002. [8]Wang Z W, Chen S L, Qiu S F, et al. A non-iterative method for recovering the space-dependent source and the initial value simultaneously in a parabolic equation[J]. Journal of Inverse and Ill-Posed Problems, 2020, 28(4): 499-516. [9]Wang Z W, Ruan Z S, Huang H L, et al. Determination of an unknown time-dependent heat source from a nonlocal measurement by finite difference method[J]. Acta Mathematicae Applicatae Sinica, English Series, 2020, 36(1): 151-165. [10]邱淑芳, 王澤文, 曾祥龙, 等. 一类时间分数阶扩散方程中的源项反演解法[J]. 江西师范大学学报(自然科学版), 2018, 42(6): 610-615. [11]曹庆发, 胡彬, 万殊, 等. 生物传热方程中灌注率函数的数值反演算法[J]. 井冈山大学学报(自然科学版), 2022, 43(2): 22-27. [12]黄何露, 王泽文, 阮周生, 等. 一类扩散方程寻源反问题的有限差分法[J]. 赣南师范大学学报, 2018, 39(3): 20-23. [13]胡健伟, 汤怀民. 微分方程数值方法[M]. 2版. 北京: 科学出版社, 2007. [14]王爱华. 基于遗传算法的改进及在非线性方程组的应用研究[J]. 青海师范大学学报(自然科学版), 2015, 31(1): 21-25. [15]郑义. 基于遗传算法的多址通信信道编码优化方法[J]. 科技通报, 2019, 35(8): 121-124. [16]彭颖, 朱南海. 基于遗传算法的数据最大熵概率分布计算[J]. 南昌大学学报(工科版), 2020, 42(1): 40-45. (责任编辑:康 锋)