论文部分内容阅读
本文主要考虑具退化系数的二阶抛物型方程的系数反演问题,研究在适当的附加条件下解的唯一性,最优控制问题解的存在性、唯一性、稳定性,以及稳定的数值计算方法。此类问题在人口预测与控制,多孔介质流体力学,以及金融衍生产品定价等许多应用科学领域有重要意义。与普通的抛物型方程系数反问题不同,这里的方程在部分边界存在退化。方程的退化性一方面会导致在部分边界可能会缺少边界条件,另一方面会导致方程的解可能没有好的正则性。另外,由于反问题的不适定性,终端观测数据的微小扰动将会导致解的巨大变化。第一章对本文的数学模型及其相关的研究背景作了简要介绍,第二章中介绍了一些关于二阶线性偏微分方程的定理,引理和预备知识。第三章讨论了一个利用终端观测值重构二阶退化抛物型方程的辐射系数的反问题。我们首先证明了原问题的解的唯一性,进而在最优控制理论框架下将原问题转化为一个优化问题,证明了最优解的存在性和所满足的必要条件。由于控制泛函非凸,一般来说没有唯一性。在假设T比较小的情况下,我们利用极小元所满足的必要条件结合正问题的一些先验估计结果,证明了极小元的唯一性和稳定性。第四章主要从数值分析的角度讨论了一个利用区域内部给定的附加条件重构二阶退化抛物型方程的一阶项系数的反问题。该问题有明显的金融背景,在金融衍生品定价等研究领域具有重要意义。与前而类似,我们先证明了反问题的解的唯一性,这说明了问题的提法是正确的。接下来我们利用有限差分方法给出了正问题的一个隐式计算格式。对于反问题,我们采用预测-校验方法构造了一个迭代算法,并针对其中的数值微分问题提出了两种计算方法。最后,我们进行了数值实验,数值结果表明算法是稳定的,且收敛速度很快。第五章讨论了一个二元泛函极小元的适定性问题,该问题来源于一个同时重构初值和辐射系数的逆热传导问题。与普通的一元控制问题不同,这里的控制泛函含有两个独立的未知函数和两个独立的正则化参数。我们先导出了控制泛函极小元所满足的必要条件,并采用分项估计的方法,在假设T比较小的前提下,证明了极小元的唯一性和稳定性。