摘要

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