反演一类间断热传导方程的辐射系数

讨论了一个利用终端观测数据重构抛物型方程未知系数的反问题,这类问题在科学研究中有重要的应用.与一般问题不同的是,未知系数是间断的函数.基于最优控制理论,证明了控制泛函极小元的存在性及其满足的必要条件,并讨论了最优解的唯一性及稳定性.运用Gradient型迭代法进行数值模拟,且未知系数反演的效果也很好.     

一类重构抛物型方程系数的反问题

讨论了一个利用终端观测数据重构抛物型方程未知系数的反问题,这类问题在一些科学研究中有重要的应用.与一般问题不同的是,未知系数是同时依赖于空间变量x和时间变量t的函数.基于最优控制理论,证明了控制泛函极小元的存在性及其满足的必要条件,并讨论了最优解的唯一性及稳定性.在正问题的计算中,建立了离散的有限差分格式并运用追赶法求原方程的数值解.     

基于积分形式的观测数据重构抛物型方程的源项系数

主要研究空间积分形式的附加条件下抛物型方程源项系数的反演问题.空间变量积分后得到的附加条件不同于以往的终端观测值,导致许多常用的分析方法(如抛物方程共轭理论等)不适用.首先,应用变分理论给出了正问题解的正则性证明;其次,将原问题转化为最优控制问题,证明了最优控制问题解的存在性、唯一性及稳定性.     

基于变分理论与时间相关的抛物型反源问题

研究了一类变系数抛物型方程的源项重构问题,这里的源项仅与时间相关。与以往工作不同,文中的附加条件是关于空间变量积分后得到的,这种类型的附加条件有利于消除随机选择所带来的误差,但同时会导致很多分析方法不可用。基于变分理论,首先给出了变分公式,并利用变分公式证明了解的唯一性;其次给出了时间离散模型和基于线性离散化的变分形式,导出了一系列先验估计,并证明了弱解的存在性。