概念

紧性与极小化序列

弱收敛与紧嵌入（Sobolev）保证极小化序列的弱极限存在并达到极小。

阅读路径

参考可汗学院 Get ready 机制：先修概念 → 当前概念 → 进阶概念，✓ 表示已读。

紧性与极小化序列变分法

01定义

直接方法的最后一步：极小化序列经弱紧性（自反空间有界序列）提取弱收敛子列，紧嵌入升级为强收敛，弱下半连续锁定极小值。「紧性 = 存在性」是变分法的座右铭。

直接方法三步流水线：构造 → 紧性提取 → 锁定极小

自反巴拿赫空间的有界集弱序列紧（巴拿赫-阿劳格鲁的序列版）； $L^p$ （ $1<p<\infty$ ）与 $H^1$ 自反——常用空间都合格。

非线性项 $\int F(u)$ 需要强收敛取极限；Rellich 紧嵌入 $H^1\hookrightarrow\hookrightarrow L^2$ 补足这一环。

临界指数下紧性失效（质量「集中」逃逸）；P.-L. 利翁的集中紧性原理精确描述损失方式——几何 PDE 的关键技术。

J(u_n)\to\inf J,\ u_n\rightharpoonup u^*\Rightarrow J(u^*)=\min J

希尔伯特-通内利传统在 20 世纪由莫雷系统化；德·乔治解决希尔伯特第 19 问题（极小值正则性）；利翁 1980 年代的集中紧性开辟新纪元。

非线性椭圆方程解的存在性、超导体金兹堡-朗道能量极小、广义相对论的约束求解、最优形状设计——「先证存在再谈计算」。

紧性：极小化序列必有收敛子列拖 n：嵌套紧集一层层收紧，极小化序列被「夹」向极小点

迭代步数3