1. 引言
抛物型偏微分方程反问题在诸多科学与工程领域,如热传导分析、地下水污染溯源、医学成像及金融数学等,具有广泛的应用价值[1] [2]。这类问题通常旨在通过系统某些可观测的输出来反演无法直接测量的初始条件、边界条件、源项或介质参数等。与正问题不同,反问题通常是不适定的,即不满足解的存在性、唯一性或连续依赖性中的至少一条[3]。其中,解对测量数据的微小扰动极为敏感(即缺乏连续依赖性)是数值求解过程中的主要挑战。
在各类抛物方程反问题中,源项识别问题是一类重要的研究方向。根据源项的形式,可分为空间依赖、时间依赖以及时空依赖等多种类型。本文重点研究时间依赖源项
的识别问题。该类问题在描述热源功率随时间变化、生物组织内部发热率演化等物理过程中尤为常见[4] [5]。
近年来,针对时间依赖源项反演的研究已取得显著进展。数值方法主要可分为两大类:优化方法和直接方法。优化方法将反问题转化为一个最小化误差函数的目标泛函优化问题,常用算法包括共轭梯度法、Landweber迭代及其变体[6] [7]。虽然这类方法适用性广,但通常计算成本高昂,且需要处理敏度分析问题。直接方法则尝试通过特定的数学变换或观测数据直接构造解的表达式,如边界元法[8]、基本解方法[9]以及本文所采用的边界配置法。边界配置法作为一种半解析数值方法,通过选取满足边界条件的试探函数,在配置点上强制满足控制方程,兼具高精度和计算效率的优势[10] [11]。
为处理反问题的不适定性,正则化技术是不可或缺的。Tikhonov正则化是其中最经典和广泛应用的方法之一,它通过引入一个惩罚项来稳定解,将原问题转化为一个邻近的适定问题[12] [13]。正则化参数的选取对重建结果至关重要,常见的准则包括偏差原理、L-曲线法则以及广义交叉验证准则[14] [15]。GCV方法因其无需先验噪声水平信息而备受青睐,近年来在各类反问题中得到了有效应用和改进[16] [17]。
在理论方面,反问题解的唯一性是所有数值研究的基石。对于时间依赖源项的反演,利用不同时刻的测量数据来确定源项的唯一性已有诸多探讨。例如,文献[18]研究了利用终值数据确定源项的唯一性;文献[19]则分析了基于多个时刻观测数据的唯一性条件。这些理论结果为本文的研究提供了坚实的数学基础。
尽管已有大量研究成果,但在噪声环境下高效、稳定地重构时间依赖源项仍是一个具有挑战性的课题。特别是在测量数据有限(如仅有两个时刻的数据)的情况下,如何设计高精度的数值算法并有效控制误差传播,是当前研究的热点[20] [21]。
与文献[7]-[9]中的优化方法相比,本文采用的边界配置法结合了半解析特性,避免了繁琐的敏度分析,计算效率更高。与文献[18]-[19]的理论研究相比,本文不仅证明了抛物方程零阶项系数的唯一性,还提供了实用的数值实现方案。文献[20] [21]虽然也研究了两时刻数据的反演问题,但本文通过边界配置法离散和Tikhonov正则化,在噪声环境下展现了更好的稳定性。
本文基于上述背景,研究一维抛物方程中由两个固定时刻测量数据反演抛物方程零阶项系数
的问题。我们将结合边界配置法的高效性与Tikhonov正则化的稳定性,提出一种实用的数值格式,并对其唯一性进行严格论证,通过数值实验验证方法的鲁棒性。
考虑一维抛物方程
(1)
边界条件
(2)
初始条件
(3)
其中
为已知函数。假设
是给定的常数。我们有两个固定时间的测量函数
,目标是通过附加数据
和
确定函数
。此外,由于测量不可避免地受到噪声污染,我们记噪声污染后的测量值为
。它们满足
,
其中
表示本文中一直使用的
范数。
我们将所提出的方程,通过如下积分变换
(4)
(5)
方程(1)变化推导,由(5)式可得
将两式相减得
将原方程(1)代入得
由(4)式对
求导
代入得
因此可得
(6)
边界条件
(7)
初始条件
(8)
并且由(4)式可得
(9)
我们上文给定的两个固定时间的测量函数变为
,
。经过上述变换,我们所要讨论的问题转换为齐次条件下的问题,从而作为正问题来求解。
2. 方程的解
通过第一部分可知方程(6)是标准的齐次热传导方程,其解可通过分离变量法或特征函数展开法求得。设
是如下特征值问题的解
则方程(6)的解可表示为
其中系数
由初始条件确定
由变换关系
,代入
的表达式,得
其中
。
3. 反问题中p(t)的唯一性的证明
定理:考虑一维抛物型偏微分方程
带有齐次Dirichlet边界条件
和初始条件
其中
为已知函数,且
。给定常数
。并假设在时刻
和
存在测量数据
若存在两个可积函数
和
,使得对应的解
和
满足相同的初始条件、边界条件及测量数据(即
和
),则
在区间
上几乎处处成立。
证明:假设存在两个函数
和
,使得对应的解
和
满足相同的初始条件
,边界条件
(对于
),以及测量数据
和
。
定义变换函数
则
满足齐次热方程
具有边界条件
(对于
)和初始条件
。
由于齐次热方程的解在时间上是解析的,且
和
具有相同的初始条件和边界条件,因此
对于所有
成立。记
。
由变换关系
,结合测量数据,在时刻
和
有
因此
由于
(否则由唯一性
,与
矛盾),故
类似地,在时刻
有
因此
。
现在,考虑函数
。由
的定义,
是连续可导的,且
。若
,则存在点
使得
,但由
的连续性,这与
和
矛盾,除非
。因此,
对于所有
成立。
由
的定义,
所以
意味着
对
求导,得
在区间
上几乎处处成立。
因此,测量数据
和
唯一确定了抛物方程零阶项系数
在区间
上的值。
4. 边界配置法和Tikhonov正则化
边界配置法是一种基于试探函数空间配置的半解析数值方法,其核心思想是构造满足边界条件的试探函数,并在配置点上强制满足控制方程。该方法在处理Dirichlet边界条件时具有高精度与高计算效率。本文针对变换后得到的齐次热传导方程(6),采用边界配置法进行空间离散,具体步骤如下[22]。
考虑方程(6)的近似解可表示为特征函数展开的截断形式。设
为Dirichlet边界条件下的特征对,满足
则方程(6)的解可近似为
其中系数
由初始条件
确定
通过变换关系
,可得原问题的近似解
(10)
在配置点
处配置上式,得到离散系统
(11)
将测量时刻
与
代入上式,并利用测量数据
与
,可得
(12)
(13)
为简化反演过程,假设
在
上为常数
,则有
代入(12)与(13)并写成矩阵形式
其中
为
维全1向量,矩阵
的元素为
定义残差向量
则反问题转化为最小化
。考虑到测量噪声,引入Tikhonov正则化,构建如下极小化问题
(14)
其中
为正则化参数,用于平衡拟合误差与解的稳定性。
为选取合适的正则化参数
,本文采用L-曲线准则。L-曲线是描述残差范数
与解范数
之间关系的对数坐标图,通常呈“L”形。最优参数
对应于L-曲线的拐点,该点能够在拟合误差与解范数之间取得最佳平衡。
具体实现时,计算一系列
值对应的
,并通过曲率最大化确定拐点位置。
下面给出基于边界配置法和Tikhonov正则化的算法流程,见表1。
Table 1. Algorithm for solving coefficient of the zeroth-order term in the parabolic equation p based on boundary collocation method and Tikhonov regularization
表1. 基于边界配置法和Tikhonov正则化求解抛物方程零阶项系数p的算法
步骤 |
内容 |
1. |
构造正问题矩阵:计算特征值
与特征函数
,构建矩阵
|
2. |
获取测量数据:在配置点
处获取
,形成向量
|
3. |
生成带噪声数据:
|
4. |
定义正则化目标函数:
|
5. |
基于L-曲线选择
:
对每个
计算
绘制
曲线选取曲率最大点对应的
|
6. |
输出正则化估计值
|
5. 数值算例
本节通过两个典型数值算例验证边界配置法结合Tikhonov正则化在一维抛物型方程零阶项系数反问题中的有效性。所有数值实验均在MATLAB R2020b环境下实现。
5.1. 问题描述与参数设置
考虑如下一维热传导反问题模型
配备齐次Dirichlet边界条件
及初始条件
。反问题的目标是通过两个固定时刻
和
的测量数据
重构抛物方程零阶项系数
。
根据第3节的理论分析,测量数据唯一确定了抛物方程零阶项系数
在区间
上的积分值。在数值实现中,我们假设
为常数函数,基于该积分值重构
的近似表达式。
参数设置为空间区域长度
;时间区间
;测量时刻
;特征函数截断项数
;空间离散点数
;噪声水平
。特征函数系采用Dirichlet边界条件下的标准正弦基
5.2. 常数抛物方程零阶项系数的反演
5.2.1. 模型设置
设真实抛物方程零阶项系数为常数函数
。该算例旨在验证方法对常数抛物方程零阶项系数的重建能力,此时数值重构的假设与真实情况完全一致。
5.2.2. 数值实现与结果分析
常数抛物方程零阶项系数重建结果见图1。
Figure 1. Reconstruction results of p(t) = 1
图1. p(t) = 1的重建结果
通过边界配置法离散和Tikhonov正则化处理,得到抛物方程零阶项系数反演值为
。在区间
上,真实积分值为
;重建积分值为;积分相对误差为0。0004%。
数值结果表明,所提方法对常数抛物方程零阶项系数具有优异的反演能力,重建值与真实值几乎完全一致,相对误差控制在0。0005%以内。这一结果验证了第3节中唯一性定理的结论,即测量数据唯一确定了抛物方程零阶项系数在区间
上的积分值。
5.3. 线性抛物方程零阶项系数的反演
5.3.1. 模型设置
设真实抛物方程零阶项系数为线性函数
。该函数在区间
上从0.66单调递增至0.74,变化幅度为12.12%。根据第3节理论,测量数据唯一确定的是抛物方程零阶项系数在区间
上的积分值。在数值重构中,我们假设
为常数函数,基于该积分值重构近似表达式。
5.3.2. 数值实现与结果分析
线性抛物方程零阶项系数重建结果见图2。
Figure 2. Reconstruction results of
图2.
的重建结果
真实抛物方程零阶项系数在
上的特征值有真实平均值;真实积分值
;通过边界配置法反演得到的常数抛物方程零阶项系数值为
;重建积分值为0.279997;积分相对误差为0.0010%;L2相对误差为0.0085%。
数值结果表明,即使在抛物方程零阶项系数为线性函数的更复杂情形下,所提方法仍能较好地重构其积分特征。重建常数与真实平均值高度吻合,积分相对误差仅为0.0011%,验证了方法的有效性与鲁棒性。
5.4. 收敛性分析
为考察方法的数值收敛性,固定噪声水平
,分别对空间离散点数M和特征项数N进行参数扫描分析。数值实验表明当M由100增至500时,相对误差呈单调下降趋势,下降幅度约为68%;当N由30增至120时,相对误差下降约72%;误差收敛速率与理论预期一致,验证了数值格式的合理性。
结果表明所提数值格式具有稳定的收敛行为,误差随离散精度提升而系统减小,符合偏微分方程数值解的理论预期。
5.5. 结果分析
数值算例表明,边界配置法结合Tikhonov正则化能够有效重建一维抛物方程中的零阶项系数函数。对于常数零阶项系数,反演精度较高,重建值与真实值几乎完全重合;对于线性零阶项系数,基于积分唯一性理论的重构方法仍能获得很好结果;数值结果在极低噪声水平下保持稳定,验证了方法的实用性与鲁棒性。
该方法为仅依赖两个时刻测量数据的抛物方程零阶项系数反问题提供了有效的数值解决方案,在理论和计算层面均具有重要价值。
6. 结论
本文从理论上证明了一维抛物方程时间依赖的零阶项系数
在区间
上可由两个时刻的测量数据唯一确定。在数值实现中,通过假设
为常数函数和线性函数,基于该积分值重构了
的近似解。
本文的理论贡献在于严格证明了抛物方程零阶项系数
在区间
上的唯一性,这为有限数据条件下的抛物方程零阶项系数反演提供了理论基础,在方法层面,边界配置法与Tikhonov正则化的结合,相较于文献[7]-[9]的迭代优化方法,具有更高的计算效率;相较于文献[20] [21]的谱方法,对噪声数据表现出更好的鲁棒性。数值实验表明,所提算法在噪声干扰下仍能有效重建
,具有良好的稳定性和实用性。
未来工作可考虑扩展至高维问题和非线性情形。或结合更高效的正则化参数选择策略,进一步提升方法的适用性与精度。