关键词:
反问题
扩散方程
势函数
半群
单调性
唯一性
稳定性
摘要:
利用终端时刻观测数据,研究扩散方程与空间相关势函数的重构问题。以一维空间域扩散模型为例,研究了一种重构势函数的单调性方法,对于多维空间域扩散模型的问题,该方法同样适用。在理论分析方面,首先推导出扩散方程正问题解的极值原理以及正则性估计。然后根据扩散方程构造一个有界算子,并证明其单调性,进而利用算子的单调性和不动点迭代,证明了势函数重构的唯一性。最后,基于算子半群理论,在终端时刻T足够大的条件下,证明了重构势函数在Hilbert空间中的条件稳定性。在数值实验方面,基于理论分析设计了合适的迭代算法,选取3个典型的数值算例进行数值实验,实验结果表明该算法是稳定有效的,且验证了单调性、唯一性、稳定性等理论结果的准确性。通过理论分析与数值实验进行研究可得,重构扩散方程势函数的单调性方法是可行的。