这篇文章是《非线性泛函分析导论》系列文章的大纲。
泛函分析是所有基础数学中最贴近工程技术实践的一门学科。我做过一段调查:在工科硕士生中,最受青睐的数学课程是矩阵论和最优化理论,其次是数理统计。而选修得最多的基础数学课程就是泛函分析(一般不加前缀,就默认是线性泛函分析)。
当然,泛函分析对于数学自身而言的重要性就更加不言而喻了。不懂基本的泛函分析理论就与现代数学的几乎所有分支绝缘了。
但总的来说,世界的本质是非线性的,面对科学研究中越来越艰深、越来越无法回避的非线性问题,我们迫切地想要把泛函分析从线性算子理论拓展到非线性问题中来。从线性到非线性是一道鸿沟,而想要跨越这道鸿沟,我们几乎唯一的依靠就是拓扑学。
一般地说,非线性泛函分析的标准内容包括以下几个方面:
1.以隐函数定理和反函数定理为核心的赋范线性空间的微分学
2.以映射度理论为核心的一系列不动点定理
3.单调算子理论
4.大范围变分法
作为导论性质的系列文章,我们会涉及第1、2、3条的内容,至于第4条,我只打算写以下内容:
-4.1.Nehari流形(简单介绍)
-4.2.山路定理及其在非线性PDE中的应用
-4.3.山路定理的推广——环绕定理
至于再往后的:4.4畴数理论;4.5指标理论、4.6Morse理论等,特别是4.5和4.6我认为它们不应该被简单地归类为非线性泛函分析了。因为它们要借助太多的代数拓扑学和微分拓扑学内容。尤其是Morse理论,一般很难将其单纯地归类为非线性泛函分析,而且其实Morse理论在应用的时候有颇多难度,遂不打算介绍。畴数理论虽然也是来自拓扑学,但比Morse理论的适用范围更广,可能会讲。
-论实践中的变分问题-
许多人都很熟悉变分法。我们在弹性力学、图像处理、机器学习、控制论、理论经济学、兵器科学、航空航天技术、血管医学、规范场论、管理科学与工程、数理统计……中都会看见它的身影。对数学自身而言,我们在偏微分方程、微分几何、最优化理论中都会接触变分法。
现仅举三个最简单的例子。
【Example1】第一个例子来自于我的本家——理论经济学中的一个模型:Romer模型
我们用
通过最基本的理论推演(当然,理论经济学每一步推演都是要有根据的)我们可以建立一个最优控制问题(一类特殊的变分问题):
以及初值条件。
罗默模型是一个明显的最优化问题。
当然,经济学中时常还用到所谓动态规划(Bellman方程),其实那也是一个变分问题,只不过是离散形式的罢了。
最优化,就是求函数的极值点/泛函的极值函数 ,而这些都属于临界点。因此,求极值本质上属于临界点理论的一个特例。
【Example2】第二个例子来自于PDE的问题:
考虑一个Poisson方程
任取
左端利用Stokes公式,结合边界条件得
事实上,这不过是泛函
【Example3】Riemann流形的测地线问题,考虑弧长
这个泛函的Euler-Lagrang方程就是测地线方程:
这是我们已经熟知的结论。
大纲
本系列文章将以 变分学为主线,引导读者从线性泛函走向非线性问题。不过,我们需要以下前置课程的基础:
0.复变函数与实变函数
1.泛函分析:
度量空间的一系列拓扑概念:列紧性、紧性、完全有界性。
压缩映射原理。
Hahn-Banach定理及其一系列推论(包括凸集分离定理和弱收敛的Mazur定理)
弱收敛的有关内容。
Baire纲定理及有关推论,如Banach逆算子定理。
Hilbert空间的投影定理及Fourier展开。
2.微分方程:
常微分方程定性理论的初步内容(不用涉及混沌)
偏微分方程的基本分类,理解分离变量法的原理,掌握积分变换法,了解格林函数法即可。
3.拓扑与几何
了解最基本的点集拓扑、流形论、向量分析的基本概念,协变导数的计算以及Stokes公式即可。由于我们不打算介绍无限维Morse理论,因此对同调论不作要求。