微分方程II学习建议预备知识实分析泛函分析不需要微分方程.PDF

微分方程II 学习建议： 预备知识：实分析、 泛函分析，不需要微分方程1。主要是以下内容： 实分析：积分收敛定理、Holder/Young/Minkowski/Gronwall 不等式、卷积光滑子逼近、Lebesgue 微分定理。 泛函分析：Riesz 表示定理（及其推论Lax-Milgram 定理）、紧算子的谱理论（Fredholm 二择 一）、对称紧算子的谱、弱收敛的相关性质（见Evans 附录D）、Mazur 引理（第八章需要）。 参考书：没有、不需要。 顺序： 基本内容（普通班） 第五章 （Sobolev 空间）：5.1~5.7、5.8.1 （Poincare 不等式）、5.8.3 （W1,∞=Lipschitz, 课本该定 理证明出现大跳步，详见2017 年微分方程2 期中考试第三题）、5.9.1 （H-1 空间）； 第六章（二阶线性椭圆方程）：6.1、6.2 （存在性定理）、5.8.2 （差商极限逼近导数）、6.3 （正 则性）、6.4 （极大值原理）、6.5.1 （对称椭圆算子的谱）； 第七章（线性发展方程）：7.1 （抛物方程弱解的Galerkin 方法）、7.2.4 （双曲方程有限传播 速度）。 用到泛函的地方： 5.7 需要弱收敛和紧算子定义（附录D.4+D.5 的第一条定义） 6.2.2 需要Lax-Milgram 定理(6.2.1 讲了, 需要Hilbert 空间的Riesz 表示定理结论) 6.2.3 需要附录D.5（紧算子的谱Fredholm 二择一，真正用上的是726 页最下方那个Remark， 类似线性方程组存在唯一解/齐次方程有非零解二择一） 6.5.1 需要附录D.6 （对称紧算子的谱，联想实对称方阵特征值的结论，一模一样） 7.1 节需要自反空间的Banach-Alaoglu 定理（自反Banach 空间中，有界序列必有弱收敛子列） 可以跳过的部分： 5.3.3 整体光滑逼近的证明（知道思路即可，先有限覆盖边界，然后用个大球盖里面）； 5.4 的延拓定理证明； 5.5 的零迹定理证明（结论在第六章一个习题用到）； 5.6.3 （高阶Sobolev 不等式）的所有证明； 6.3、7.1 的所有高阶正则性证明（数学归纳法即可）和边界正则性证明 （边界附近进行局部 拉直，化成上半平面的情况）； 所有Harnack 不等式证明； 7.2 节除了最后一个定理其它全部跳过（全部照搬7.1，但须注意双曲方程正则性结果和抛物 方程不一样）。 进阶内容： 我认为，微分方程 2 这门课的目的是让学生掌握接触现代 PDE 的语言和基本方法，课程本 身并不涉及过难、过于专业的例子。但是，如果一整个学期都聚焦于第5~7 章的线性方程理 论的话，即使学到了这些内容，也不知道如何能够将它们应用到实际的PDE 问题中。所以， 我们理应在课上接触更多的例子。若以 Evans 的书为为教材的话，可以抽出第7~12 章的少 部分内容进行教学。 1、粘性法：7.3 节的vanishing viscosity method ，光滑化并塞入抛物项，构造逼近解。后用 压缩映射原理证明（这是一个证明PDE 解的局部存在性时极其常用的套路）逼近解存在， 再用一致估计造出弱极限，证明弱极限是原方程的解。注意：粘性法在椭圆方程和几何 分析中是重要的。 2、傅立叶方法：书上7.3 节的例子并不好，可以换成证明3D 质量临界的Schrodinger 方程 （iu +Δu=±|u|4/3 u）解的局部存在性 （需要少量调和分析知识补充，但不是主体）。利用 t 插值得出自由方程解L^p 范数衰减估计，再利用TT*方法+Hardy-Littlewood-Sobolev 不等 式得出Strichartz 估计，即对方程齐次/非齐次部分的时间-空间L^qL^r 估计，这个估计是 用来确定方程解的存在于何种函数空间X 的。之后，再将原方程化成积分方程，方程的 解等价于解映射的不动点存在性，所以只需证明解映射是 X→X 的压缩映射，再利用压 缩映射原理即可。而整体解存在性则需要守恒量与scaling 。 有关 Sobolev 空间的傅立叶刻画、Besov 空间等理论，最好另外学习，并且要会 Littlewood-Paley 理论才好理解。关于傅立叶刻画，可看Folland 实分析