第22讲适定性与反问题.pdf

马石庄: 应用偏微分方程与科学计算讲义 （2013-2014 ） 第22 讲 适定性与反问题 教学目的：数学物理方程定解问题是建立在物理直觉的基础上，适定性回答定解问题在数学提 法正确性，包括解的存在性、唯一性和稳定性，关键是稳定性。数学物理方程反问题无论其正 问题是否线性，总是非线性且是不适定的。对不适定问题的研究，Tikhonov 从观念、理论、方 法上开拓了一个崭新的领域。 主要内容 §1 适定性问题 3 1.1 拓扑、度量和范数 3 1.2 Hadamard 适定性 6 1.3 典型非适定问题 8 §2 反演问题 12 2.1 反问题的特点 13 2.2 典型反问题 15 2.3 正则化思想 18 §3 离散反演 24 3.1 最小范数解 25 3.2 广义逆 27 3.3 最大似然解 29 附录A ：自然反演 30 A.1 音乐模型化 30 A.2 乐器数学 33 A.3 “听音辨鼓” 问题 38 参考书目 1. Andreas Kirsch. An Introduction to the Mathematical Theory of Inverse Problems . Springer, 1996. 2. A. N. Tikhonov and V. Y. Arsenin. Solutions of Ill-Posed Problems . John Wiley, New York, 1977. 3. Albert Tarantola. Inverse Problem Theory: Methods for Data Fitting and Model Parameter Estimation . Elsevier, 1987. 1 / 41 第22 讲 适定性与反问题 在数学物理发展历史中，适定性的Hadamard 原理的影响是深远的。一个数学物理定解问 题如果解存在，唯一，稳定，那么称这个定解问题是Hadamard 适定的。大体说来，凡是解不 连续地依赖于数据的一切数学问题都称为不适定问题． 自18 世纪以来，源自数学物理问题的偏微分方程定解问题，都是 建立在物理直觉的基础上，这些定解问题在数学上是否也是正确的呢？ 什么是数学上的涵义所谓“提法正确”呢？在 20 世纪初数学公理化潮流 中，1902 年，法国数学家Jacques Hadamard （1865-1963 ）在耶鲁大学 著名演讲1 中对于这个问题给出一种回答，提出“适定性（well-poseness ）” 的概念，并建立了线性偏微分方程的分类。适定性研究拓展了现代应用数学的发展空间，是物 理世界与数学思想之间的一个桥梁。从实际物体问题归结出的数学问题总是适定的，这一观念 把注意力牢固地局限于适定性的一类问题之中，并且认为实际问题都一定是适定的，除了发展 数值求解偏微分方程方法之外，偏微分方程研究主要致力于解的存在性和唯一性的探讨2 。 对于数学物理方程逆问题，不管它的正问题是否线性，它的逆问题总 3 是非线性的，并且是不适定的。对不适定问题的研究，Tikhonov 从观念、 理论、方法上开拓了一个新的领域，体现在1962 年专著“ 不适定问题的解