SYSTEMATIC MATHEMATICS

几何测度论与极小曲面

曲线为什么可以平面面积为零却长度为正?导数为什么可以成为集中在跳跃上的测度?参数化破裂后有向曲面怎样继续收敛?为什么反向 current 层会消去,而 varifold 层会相加?弱驻对象在什么条件下会变成光滑极小超曲面?本 Stage 5 博士专业核心用 12 个按内容定长单元、84 个可见双语章节回答这些问题,单元长度依次为 7、7、7、7、8、7、7、8、7、6、7、6。课程构造 Radon 与 Hausdorff 测度、密度、Frostman 界、Lipschitz 微分、Jacobian、面积与余面积、可求长性、近似切面、投影、切测度、beta 数、BV 导数、有限周长集合、约化边界与 Gauss–Green。随后建立微分形式、流、质量、边界、推前、正规与整流紧性、切片、等周填充、弱 Plateau 方法、平坦距离、varifold、第一变分、广义平均曲率、单调性、Allard 紧性与正则性、极小图方程、稳定性、Jacobi 场、超额衰减、曲率估计、切锥、奇异分层与维数约化。最后学习校准、相互竞争的 Plateau 表述、规定平均曲率、毛细作用、各向异性 Wulff 能量、Brakke 与水平集流,以及六份可独立复现的原创研究档案。每章都用文字定义符号,推导一个准确机制,求解一个具体例子,识别最近失效情形,并区分有限分辨率证据与连续定理。本课为 Euclidean 几何测度论、余维一极小超曲面、选定高余维流现象与弱平均曲率运动提供博士研究准备;它不声称完整覆盖度量空间 GMT、Almgren 多值理论、每种系数群、每个边界正则定理、任意几何流或通用博士后课程表。

本课程之前: 已完成测度与 Lebesgue 积分、微分几何与流形、微分形式/de Rham 上同调/Hodge 理论、Sobolev 空间/分布/弱 PDE、变分法,以及非线性椭圆与抛物正则性,并完成它们在实分析、拓扑、线性代数、向量微积分与泛函分析中的先修路线。学习者必须已经能够使用 Radon 测度、弱星紧性、分布分部积分、微分形式与 Stokes、切空间与曲率、Sobolev 紧性、直接极小化、椭圆正则性及弱几何流语言。不预设已经统一学习 Hausdorff 测度、可求长性、BV 周长、流、varifold、Allard 理论、Plateau 整流、奇异锥分层或 Brakke 流。

COURSE FACTSLevel, chapters, units, prerequisite, and outcome
第 1 章

不规则集合需要感知维数的大小,而不是一种通用体积

目标: 为什么“这条线段测度为零”是不完整陈述?

Lebesgue 体积适合测量满维区域,却把平面光滑曲线和空间光滑曲面的体积都记为零。因此几何测度论同时追问集合有多大,以及它在哪个维数上携带质量。 开始时先声明环境度量空间、所测维数、测度归一化、是否使用定向,以及结论针对每一点、几乎每一点、规则集还是奇异集。

每个几何符号都要按定义阅读:对 E⊂R^n,L^n(E) 表示 n 维 Lebesgue 测度;稍后构造的 H^s 用来测量 s 维大小。环境维数 n、所测维数 s、度量与归一化是彼此独立的输入。 本章建立的准确结论是:R² 中长度为 ℓ 的线段具有零 L² 测度,但在标准 H¹ 归一化下应有一维大小 ℓ;两者回答不同维数的问题,因此并不矛盾。

证明路线可以逐步核验:1. 用长 ℓ、宽 ε 的矩形覆盖线段;该矩形的平面面积为 ℓε。 2. 令 ε↓0,使开覆盖面积任意小,从而证明线段的 L² 测度为零。 3. 沿线段使用参数 t↦a+tv,其中 0≤t≤ℓ;单位速度累积的一维长度为 ∫_0^ℓ1dt=ℓ。 每次取极限都要保留一致质量或变差界、紧性拓扑、下半连续步骤、重数、边界,以及防止消去或弥散损失的假设。

调用一般定理前,先独立重建“R² 中一条线段长度为三,用宽 1/100 的矩形覆盖。计算矩形面积,并写出线段的平面测度与标准一维测度。”。随后检验最近失效情形:集合可以具有零 s 维测度却仍有维数 s,也可以具有无穷 H^s 而在另一维 t 上有有限 H^t。维数与测度值不能压缩成同一个数。 这样才能区分图像与测度陈述、驻对象与极小化子、紧性与正则性。

R² 中长度为 ℓ 的线段具有零 L² 测度,但在标准 H¹ 归一化下应有一维大小 ℓ;两者回答不同维数的问题,因此并不矛盾。

用长 ℓ、宽 ε 的矩形覆盖线段;该矩形的平面面积为 ℓε。

令 ε↓0,使开覆盖面积任意小,从而证明线段的 L² 测度为零。

沿线段使用参数 t↦a+tv,其中 0≤t≤ℓ;单位速度累积的一维长度为 ∫_0^ℓ1dt=ℓ。

R² 中一条线段长度为三,用宽 1/100 的矩形覆盖。计算矩形面积,并写出线段的平面测度与标准一维测度。

  1. 覆盖矩形面积为 3·(1/100)=3/100。
  2. 允许宽度趋于零,说明线段的平面 Lebesgue 测度为零。
  3. 在标准长度归一化下,它的 H¹ 测度等于线段长度,即三。

结果: 该有限覆盖面积为 3/100;线段本身的 L² 测度为零,H¹ 测度为三。