微分几何（三）：形状算子——曲面的曲率

把一张 A4 纸放在桌上，铺平。它是平的。卷起来变成一个圆筒，它看起来弯了——但纸面上的距离、角度都没变，蚂蚁趴在纸上感觉不到任何区别。再换一种做法：把纸团成一团，纸面上确实出现褶皱、撕扯。前一种动作是"弯而不拉"，后一种是"必须拉伸"。

这个对比在上一章里有了精确名字：等距。圆柱和平面等距，所以蚂蚁分不出来——它们的第一基本形式 $\mathrm{I}$ 完全一样。但作为生活在 $\mathbb{R}^3$ 里的人，我能一眼看出圆柱和平面的形状完全不同。这说明 $\mathrm{I}$ 漏掉了一些信息——它能告诉我曲面上量长度、量角度、量面积的方式，但没法告诉我曲面在外头的空间里长什么样。

这一章要造的工具就是来填这个空缺的。给定一个曲面 $S$ ，我想问：站在某个点 $p$ 上，沿一个方向走一步，曲面会不会偏离切平面？偏离多快？是凹下去（像碗的内侧）还是凸起来（像球的外侧），还是一个方向凹一个方向凸（像马鞍）？这些"曲面相对于切平面的二阶偏差"就是外在曲率要测量的东西。

具体的工具是这样：每个点 $p$ 都有一个单位法向量 $\mathbf{n}(p)$ 。当我在曲面上挪动时，$\mathbf{n}$ 也跟着摆动。$\mathbf{n}$ 摆动得快意味着曲面弯得厉害；$\mathbf{n}$ 不动（比如平面上）意味着曲面那一带是平的。把"$p \mapsto \mathbf{n}(p)$ “这件事打包成一个映射，就是 Gauss 映射；它的微分（线性化）告诉我”$\mathbf{n}$ 摆动得多快、摆向哪边"，这就是 形状算子。形状算子的两个特征值是主曲率 $k_1, k_2$ ；它们的乘积是 Gauss 曲率 $K$ ，平均是 平均曲率 $H$ 。每个点上两个数，再次出现"两个数定一个几何对象"的口号——只是这次是给曲面，不是给曲线。

最后一句剧透：尽管 $K$ 是这一章用外在工具（形状算子）定义的，下一章会证明它其实只依赖于 $\mathrm{I}$ ——也就是说蚂蚁能算出 $K$ ，尽管它不知道曲面在 $\mathbb{R}^3$ 里长什么样。这就是 Gauss 的 Theorema Egregium（绝妙定理）。$H$ 没这个性质，它确实是外在的，弯曲会改变它。这种"$K$ 内蕴、$H$ 外在"的不对称是经典曲面理论里最深刻的发现之一，下一章我会专门讲。今天先把外在的故事讲利索。

Gauss 映射与形状算子#

在局部坐标 $\mathbf{x}(u, v)$ 中，Gauss 映射的具体形式为 $N(\mathbf{x}(u,v)) = \frac{\mathbf{x}_u\times\mathbf{x}_v}{|\mathbf{x}_u\times\mathbf{x}_v|}$ 。它的像位于 $S^2$ 上，其行为编码了曲面的所有弯曲信息。想象一下，把手平放在一个表面上，观察“向上”的方向随着你滑动而如何变化。在一个平面上，“向上”方向不变——Gauss 映射是常数，对应于 $S^2$ 上的一个点。在一个半径为 $r$ 的球体上，任意点的法向量为 $\mathbf{n}(p) = p/r$ ，所以Gauss 映射基本上是恒等映射：每个点映射到不同的方向，反映了球体在各个方向上均匀弯曲的事实。在一个绕 $z$ 轴的圆柱体上，法向量只依赖于轴周围的角 $\theta$ ，在 $S^2$ 上描绘出一个大圆——一维的像，因为圆柱体在一个方向上弯曲但在沿着轴线是平的。

鞍形曲面 $z = x^2 - y^2$ 给出了更微妙的画面：法向量在 $x$ 方向上倾斜，在 $y$ 方向上相反方向倾斜，反映了鞍点的“相反弯曲”特征。Gauss 映射的像在二维上展开，但在鞍点处有一个特征性的“捏合”，这是两个弯曲方向相互抵消的结果。

关键见解在于 微分 $dN_p: T_pS\to T_{N(p)}S^2$ 是切平面之间的线性映射。由于 $T_{N(p)}S^2$ 是 $\mathbf{n}(p)$ 在 $\mathbb{R}^3$ 中的正交补——恰好是 $T_pS$ ——可以将 $dN_p$ 视为切平面 $T_pS$ 上的线性自同态。它的特征值将是主曲率；它的行列式将是高斯曲率；它的迹将是两倍的平均曲率。所有这些都源于这个单一的线性映射。

形状算子（或 Weingarten 映射）在 $p$ 点定义为 $S_p = -dN_p: T_pS \to T_pS$ 。负号是约定俗成的：有了它，曲面向法向量方向弯曲（比如碗的内侧当法向量指向上方时）具有正的主曲率。形状算子关于第一基本形式是自共轭的：对于任何 $\mathbf{v}, \mathbf{w}\in T_pS$ ，有 $\langle S_p\mathbf{v}, \mathbf{w}\rangle = \langle\mathbf{v}, S_p\mathbf{w}\rangle$ 。

自共轭性的证明简短且富有启发性。由于 $\mathbf{n}\cdot\mathbf{x}_u = 0$ 恒成立（法向量垂直于曲面），对 $v$ 求导得到 $\mathbf{n}_v\cdot\mathbf{x}_u + \mathbf{n}\cdot\mathbf{x}_{uv} = 0$ 。类似地，对 $\mathbf{n}\cdot\mathbf{x}_v = 0$ 对 $u$ 求导得到 $\mathbf{n}_u\cdot\mathbf{x}_v + \mathbf{n}\cdot\mathbf{x}_{vu} = 0$ 。由于 $\mathbf{x}_{uv} = \mathbf{x}_{vu}$ （混合偏导数可交换），得到 $\mathbf{n}_v\cdot\mathbf{x}_u = \mathbf{n}_u\cdot\mathbf{x}_v$ 。这正是 $S_p = -dN_p$ 为自共轭的对称条件。证明揭示了为什么形状算子是对称的：这是因为曲面二次可微且偏导数可交换。不需要更深的结构。

实内积空间上的自共轭算子可以对角化，并且具有实特征值。$S_p$ 的特征值是 主曲率 $k_1(p)$ 和 $k_2(p)$ ，相应的特征向量（在 $T_pS$ 中正交）是 主方向。想象站在曲面上的一点并旋转通过所有切方向：法曲率——曲面在该方向上的弯曲程度——在 $k_1$ 和 $k_2$ 之间正弦波动。这就是 Euler 定理（1760 年）：如果 $\mathbf{w}$ 与第一个主方向成角 $\alpha$ ，那么 $\kappa_n(\mathbf{w}) = k_1\cos^2\alpha + k_2\sin^2\alpha$ 。

主方向是最大和最小弯曲的方向。想象一片薯片（双曲抛物面）：有一个方向向上弯曲，另一个方向向下弯曲。这些就是主方向。在 $k_1 = k_2$ 的点（称为 脐点），每个方向的弯曲程度相同——想象一个完美的球体，从任何点看，表面在各个方向上看起来都一样。球体完全是脐点。著名的 Caratheodory 猜想问是否每个光滑凸曲面至少有两个脐点；这个问题在一般情况下仍未解决。

Gauss 在 1825 年左右引入这个映射，当时他在研究大地测量学和地图投影。他在测量汉诺威王国的表面时，需要理解曲率如何影响制图。Gauss 映射是他用来量化曲面在每一点上“弯曲程度”的工具，并直接导致了 Theorema Egregium 的发现——即某些曲率信息是曲面内在的，不会因弯曲而改变。

第二基本形式及其系数#

第一基本形式 $\mathrm{I}$ 用的是 $\mathbf{x}_u, \mathbf{x}_v$ 之间的内积——切向量内积。第二基本形式 $\mathrm{II}$ 用的是 $\mathbf{x}_{uu}, \mathbf{x}_{uv}, \mathbf{x}_{vv}$ 与法向量 $\mathbf{n}$ 的内积——二阶导数在法方向的投影。差别就在这一个’维度跳变’上：$\mathrm{I}$ 看的是切平面内部的事情（曲面内蕴的几何），$\mathrm{II}$ 看的是曲面相对于切平面往法方向偏离多少（外蕴信息）。把这两件事放在一起，就完整描述了曲面在每一点的二阶几何。

每行中的第二个等式来自对 $\mathbf{n}\cdot\mathbf{x}_u = 0$ 的求导：因为 $\partial_u(\mathbf{n}\cdot\mathbf{x}_u) = \mathbf{n}_u\cdot\mathbf{x}_u + \mathbf{n}\cdot\mathbf{x}_{uu} = 0$ ，所以 $\mathbf{n}\cdot\mathbf{x}_{uu} = -\mathbf{n}_u\cdot\mathbf{x}_u = L$ 。这三个数构成了第二基本形式 $\mathrm{II} = \begin{pmatrix}L & M \\ M & N\end{pmatrix}$ ，这是一个在每个切平面上的对称双线性形式。

几何意义是：对于一个切向量 $\mathbf{w} = a\,\mathbf{x}_u + b\,\mathbf{x}_v$ ，$\mathbf{w}$ 方向上的法曲率为 $\kappa_n(\mathbf{w}) = \mathrm{II}(\mathbf{w}, \mathbf{w})/\mathrm{I}(\mathbf{w}, \mathbf{w}) = (La^2 + 2Mab + Nb^2)/(Ea^2 + 2Fab + Gb^2)$ 。这是法截面的曲率——通过包含 $\mathbf{n}$ 和 $\mathbf{w}$ 的平面切割表面得到的曲线。它衡量了表面在特定方向上如何偏离其切平面。

形式与形状算子之间的关系是 $S_p = \mathrm{I}^{-1}\mathrm{II}$ ，将两者视为 $2\times 2$ 矩阵。$S_p$ 的特征值——主曲率——满足 $\det(\mathrm{II} - k\,\mathrm{I}) = 0$ 。它们是特征方程 $(L - kE)(N - kG) - (M - kF)^2 = 0$ 的解。

为什么同时使用 $\mathrm{I}$ 和 $\mathrm{II}$ 而不仅仅是形状算子？因为它们在几何中扮演不同的角色。第一基本形式是度量：它知道表面内的距离和角度，但不关心表面在空间中的位置。第二基本形式测量外在弯曲：当你移动时，切平面倾斜的速度。它们一起决定了表面的刚体运动——这就是曲面的基本定理（Bonnet, 1867）：给定光滑函数 $E, F, G, L, M, N$ 满足 Gauss 方程和 Codazzi-Mainardi 兼容条件，存在唯一的（至多相差刚体运动）表面实现这些函数。

以单位球为例，向外法向量：参数化 $\mathbf{x}(\theta, \varphi) = (\sin\varphi\cos\theta, \sin\varphi\sin\theta, \cos\varphi)$ 。向外法向量是 $\mathbf{n} = \mathbf{x}/|\mathbf{x}| = \mathbf{x}$ （单位球，因此位置向量本身就是向外法向量）。然后 $\mathbf{x}_{uu} = \partial_\varphi^2\mathbf{x}$ 给出的二阶导数与 $\mathbf{n} = \mathbf{x}$ 的点积得到 $L = -1$ （采用向外法向量约定；实际上单位球上 $\mathrm{II} = -\mathrm{I}$ ）。形状算子是 $S = \mathrm{I}^{-1}\mathrm{II} = -I_2$ ，两个特征值都等于 $-1$ （或用内法向量时为 $+1$ ）。所有点都是脐点，高斯曲率为 $K = 1$ 。

对于半径为 $r$ 、轴沿 $z$ 方向的圆柱，参数化 $\mathbf{x}(\theta, z) = (r\cos\theta, r\sin\theta, z)$ 。内法向量是 $\mathbf{n} = -(\cos\theta, \sin\theta, 0)$ 。计算得：$L = \mathbf{n}\cdot\mathbf{x}_{\theta\theta} = -(\cos\theta, \sin\theta, 0)\cdot(-r\cos\theta, -r\sin\theta, 0) = r$ ，$M = 0$ ，$N = 0$ （因为 $\mathbf{x}_{zz} = 0$ 和 $\mathbf{x}_{\theta z} = 0$ ）。取 $E = r^2$ ，$G = 1$ ，$F = 0$ ：形状算子的特征值为 $k_1 = L/E = 1/r$ 和 $k_2 = N/G = 0$ 。一个主曲率为 $1/r$ （绕圆柱弯曲），另一个为 $0$ （沿轴无弯曲）。高斯曲率 $K = 0$ ，平均曲率 $H = 1/(2r)$ 。

高斯曲率和平均曲率：曲面点的分类#

为什么是行列式（$K$ ）和迹（$H/2$ ）？因为这两个量是 $2\times 2$ 矩阵在基变换下唯一不变的两个标量函数（特征多项式的系数）。换坐标图，$\mathrm{II}$ 和 $\mathrm{I}$ 的具体矩阵都会变，但形状算子 $S = \mathrm{I}^{-1}\mathrm{II}$ 的特征值（也就是主曲率 $k_1, k_2$ ）不变；它们的乘积和平均自然也不变。所以 $K$ 和 $H$ 是几何上有意义的标量——独立于我们怎么给曲面贴坐标。

高斯曲率 $K$ 是主曲率的乘积；平均曲率 $H$ 是它们的平均值。通过 $k_{1,2} = H \pm \sqrt{H^2 - K}$ 可以确定 $k_1$ 和 $k_2$ ，因此不会丢失信息。

$K$ 的符号提供了一种三分法来分类曲面上的每一点：

椭圆点（$K > 0$ ）。两个主曲率同号——曲面像碗一样弯曲。第二基本形式是正定或负定的，这意味着曲面完全位于其切平面的一侧（局部）。例子：球面上的每一点，抛物面 $z = x^2 + y^2$ 的顶点，环面的外缘。想象一下拿着一个碗：倒水时，水会从各个方向流向中心。这就是正曲率。

双曲点（$K < 0$ ）。两个主曲率异号——曲面像马鞍一样弯曲。第二基本形式是不定的，曲面在两条曲线（渐近方向）上穿过其切平面。例子：单叶双曲面上的每一点，环面的内缘，马鞍 $z = x^2 - y^2$ 的中心。想象一下坐在马鞍上：左右方向向下弯曲，前后方向向上弯曲。这就是负曲率。

抛物点（$K = 0$ ，且至少有一个 $k_i \neq 0$ ）。一个主曲率为零——曲面在一个方向上弯曲，在另一个方向上是平的。第二基本形式是半正定的。例子：圆柱面上的每一点，锥面上的每一点（除了顶点）。想象一下把一张纸卷成管子：它沿着管子弯曲，但在沿管子长度方向是直的。这就是零高斯曲率——纸张即使看起来弯曲了，但本质上还是“平坦”的。

还有一种平面或平坦点，其中 $k_1 = k_2 = 0$ （两个曲率都为零）。在这种情况下，曲面在局部可以用其切平面近似到二阶。这些点通常在一般曲面上是孤立的。

环面完美地展示了这三种情况。用大半径 $R$ 和小半径 $r$ 参数化：高斯曲率为 $K = \cos v / (r(R + r\cos v))$ 。外半部分（$\cos v > 0$ ）是椭圆的——像球面一样弯曲。内半部分（$\cos v < 0$ ）是双曲的——像马鞍一样弯曲。顶部和底部的圆（$\cos v = 0$ ）是抛物的——在这两种情况之间的过渡区。总曲率 $\int K\,dA = 0$ ，因为正负贡献正好抵消。这种抵消是由拓扑结构强制的：环面的欧拉特征数 $\chi = 0$ ，而高斯-博内特定理说 $\int K\,dA = 2\pi\chi = 0$ 。

一个物理思想实验有助于巩固直觉。拿一张纸（$K = 0$ 到处都是）。你可以把它卷成圆柱（$K = 0$ ），锥形（$K = 0$ ），或者任何其他可展曲面（有 $K = 0$ 的直纹曲面）。但你不能把它塑造成球面（$K > 0$ ）或马鞍（$K < 0$ ），除非你折叠或拉伸。这是因为弯曲而不拉伸保持第一基本形式不变，而绝妙定理（下一章）说 $K$ 只依赖于第一基本形式。所以如果你从 $K = 0$ 开始并且只弯曲（不拉伸），你会保持 $K = 0$ 。要达到正或负的 $K$ ，必须拉伸或压缩，这会扭曲距离。这也是为什么制图师无法制作出完美的地球平面地图：球面有 $K > 0$ ，而纸张有 $K = 0$ ，两者之间不存在等距变换。

从球面到鞍面：实例解析#

理论需要实践。以下是四个详细的计算案例，涵盖了主要情况。

鞍面 $z = uv$ （双曲抛物面）#

参数化 $\mathbf{x}(u,v) = (u, v, uv)$ 。计算得：$\mathbf{x}_u = (1, 0, v)$ ，$\mathbf{x}_v = (0, 1, u)$ 。第一基本形式：$E = 1+v^2$ ，$F = uv$ ，$G = 1+u^2$ ，且 $EG-F^2 = 1+u^2+v^2$ 。叉积：$\mathbf{x}_u\times\mathbf{x}_v = (-v, -u, 1)$ ，其模长为 $\sqrt{1+u^2+v^2}$ 。单位法向量：$\mathbf{n} = (-v, -u, 1)/\sqrt{1+u^2+v^2}$ 。二阶导数：$\mathbf{x}_{uu} = 0$ ，$\mathbf{x}_{uv} = (0,0,1)$ ，$\mathbf{x}_{vv} = 0$ 。因此 $L = \mathbf{n}\cdot\mathbf{x}_{uu} = 0$ ，$M = \mathbf{n}\cdot\mathbf{x}_{uv} = 1/\sqrt{1+u^2+v^2}$ ，$N = 0$ 。

高斯曲率：$K = (LN - M^2)/(EG-F^2) = -M^2/(1+u^2+v^2) = -1/(1+u^2+v^2)^2$ 。处处为负——表面完全为双曲型。在原点处，$K = -1$ ，随着远离原点，$K \to 0$ 。鞍面在中心最尖锐。

平均曲率：$H = (EN - 2FM + GL)/(2(EG-F^2)) = -2uv \cdot M/(2(1+u^2+v^2)) = -uv/((1+u^2+v^2)^{3/2})$ 。在原点处，$H = 0$ 。原点是极小点——不仅是鞍点，而且平均曲率为零。这在物理上是有意义的：如果在鞍形边界上拉伸一张肥皂膜，它会通过原点而没有任何净“压力”。

抛物面 $z = u^2 + v^2$ （椭圆抛物面）#

参数化 $\mathbf{x}(u,v) = (u, v, u^2+v^2)$ 。设 $w = 1 + 4u^2 + 4v^2$ 以方便计算。经过计算：$E = 1+4u^2$ ，$F = 4uv$ ，$G = 1+4v^2$ ，$EG - F^2 = w$ 。法向量：$\mathbf{n} = (-2u, -2v, 1)/\sqrt{w}$ 。二阶导数：$\mathbf{x}_{uu} = (0,0,2)$ ，$\mathbf{x}_{uv} = 0$ ，$\mathbf{x}_{vv} = (0,0,2)$ 。因此 $L = 2/\sqrt{w}$ ，$M = 0$ ，$N = 2/\sqrt{w}$ 。

高斯曲率：$K = (LN - M^2)/(EG - F^2) = (4/w)/w = 4/w^2 = 4/(1+4u^2+4v^2)^2$ 。处处为正——完全为椭圆型。在原点处，$K = 4$ ；距离原点 $d$ 处（当 $4d^2 \gg 1$ 时），$K \approx 4/(4d^2)^2 = 1/(4d^4)$ ，迅速衰减。抛物面在顶点处最尖锐，向边缘逐渐变平。

在原点处：$H = (E\cdot N + G\cdot L - 2FM)/(2w) = (2/\sqrt{1} + 2/\sqrt{1})/(2\cdot 1) = 2$ 。由于 $K = 4 = H^2$ ，得到 $k_1 = k_2 = 2$ ——原点是脐点。这与 $z = u^2 + v^2$ 关于 $z$ 轴的旋转对称性一致：在对称中心，所有方向的曲率必须相等。

环面 $((R + r\cos v)\cos u, (R + r\cos v)\sin u, r\sin v)$ #

计算结果为 $K = \cos v/(r(R + r\cos v))$ ，从正值（外侧，$v$ 接近 $0$ ）过渡到零（顶部/底部，$v = \pm\pi/2$ ），再到负值（内侧，$v$ 接近 $\pi$ ）。在外侧最远点（$v = 0$ ）：$K = 1/(r(R+r))$ 。在内侧最远点（$v = \pi$ ）：$K = -1/(r(R-r))$ 。内缘的负曲率比外缘的正曲率更强——但内缘面积较小，总积分仍然为零。

伪球面（曳物线的旋转面）#

这是曳物线曲线的旋转面，其显著特性是 $K = -1$ 处处成立——常负高斯曲率。它是球面（常正曲率）在双曲世界中的类比。伪球面实现了三维空间中的一部分双曲平面，其测地线表现出洛巴切夫斯基几何的非欧几里得行为：通过不在给定测地线上的点，存在多条“平行”测地线。Hilbert 在 1901 年证明了没有完整的三维空间表面可以处处具有 $K = -1$ ——伪球面必然有一个奇异边缘——但作为局部双曲几何模型，它非常有价值。

平均曲率、极小曲面及其物理应用#

对于所有扰动 $f$ ，这个变分都为零当且仅当 $H \equiv 0$ 。处处 $H = 0$ 的曲面称为极小曲面——面积泛函的临界点。它们不一定全局面积最小（泛函的鞍点也是临界点），但在局部是静止的。

肥皂膜是物理上的极小曲面。表面张力驱使薄膜在边界约束下最小化面积，这迫使每个内点处 $H = 0$ 。经典的极小曲面包括：

• 平面（显然 $H = 0$ ，$K = 0$ ）。
• 悬链面：悬链线 $y = a\cosh(x/a)$ 绕轴旋转形成的曲面。它是跨越两个平行圆环的肥皂膜形状。其高斯曲率为 $K = -1/(a^2\cosh^4(x/a))$ ——负值，符合鞍形极小曲面的预期。
• 螺旋面：螺旋坡道 $\mathbf{x}(u,v) = (v\cos u, v\sin u, au)$ 。这是唯一的直纹极小曲面（除了平面）。除了轴线外，它的 $K < 0$ 。
• Enneper 曲面：自相交的极小曲面，具有有趣的拓扑结构，参数化为 $\mathbf{x}(u,v) = (u - u^3/3 + uv^2, v - v^3/3 + vu^2, u^2 - v^2)$ 。

悬链面和螺旋面通过一种奇妙的变形联系在一起：存在一族等距极小曲面在这两者之间插值。你可以通过将适当的金属丝框架浸入肥皂液中并缓慢扭转来物理演示这一点。中间曲面在整个变形过程中保持 $H = 0$ 。

在生物学中，Helfrich 模型（1973年）通过弯曲能量 $\mathcal{E} = \int (H - H_0)^2\,dA + \int K\,dA$ 描述细胞膜，其中 $H_0$ 是由脂质组成决定的自发曲率。根据 Gauss-Bonnet 定理，$\int K\,dA$ 项是拓扑的（对于给定拓扑是常数），因此形状由最小化 $\int(H - H_0)^2\,dA$ 控制。红细胞具有双凹盘状形状，因为这种形状对其特定的 $H_0$ 最小化了能量。细胞形状的物理学实际上是平均曲率的微分几何。

在建筑学中，双重曲面（$K \neq 0$ ）因其结构效率而受到青睐。Felix Candela 的双曲抛物面壳体（$K < 0$ ）尽管很薄，但由于鞍形几何结构沿两族渐近线分布力，所以非常坚固。悉尼歌剧院的壳体具有 $K > 0$ （球面的一部分），选择这种方式是为了使所有壳体具有相同的曲率——简化了使用相同模板的施工。

在广义相对论中，Lorentzian 4-流形中的类空超曲面的平均曲率出现在初始值公式中的 Hamiltonian 约束方程中。最大切片（$H = 0$ ）是引力中的极小曲面类似物，并在奇点定理和数值相对论中发挥作用。

在计算机图形学中，平均曲率和高斯曲率指导网格处理算法。基于曲率的网格简化保留高曲率区域（携带视觉信息），同时减少低曲率区域（感知上平坦）。表面重建算法利用曲率引导插值：重建的表面应与测量数据点的曲率一致。离散微分几何——研究三角网格上的曲率——已成为连接纯数学和计算机科学的主要领域。

这是极小曲面方程。其解包括 $f = 0$ （平面）、Scherk 曲面 $f = \log(\cos x/\cos y)$ 以及许多其他解。该 PDE 的理论（存在性、正则性、边界行为）是几何分析的重要章节。Plateau 问题——找到跨越给定边界曲线的极小曲面——由 Douglas 和 Rado（独立地，1931年）解决，Douglas 因此获得了1936年的第一个菲尔兹奖。

法曲率、渐近线和可展曲面#

除了主曲率之外，法曲率 $\kappa_n$ 在 $T_pS$ 中不同方向上的变化揭示了更多的几何结构。

欧拉定理指出：如果 $\mathbf{w}$ 与第一主方向成角 $\alpha$ ，那么 $\kappa_n(\mathbf{w}) = k_1\cos^2\alpha + k_2\sin^2\alpha$ 。法曲率在旋转过程中在 $k_1$ 和 $k_2$ 之间呈正弦变化。这给出了一个清晰的几何图像：两个主方向是表面弯曲最大和最小的方向，其他所有方向都是中间状态。

曲率线 是每一点的切线都是主方向的曲线。在球面上，每条曲线都是曲率线（每个方向在脐点处都是主方向）。在圆柱上，两类曲率线分别是轴线和平行截面。在一般表面上，曲率线形成一个覆盖表面的正交网，在曲率线坐标下，同时有 $F = M = 0$ —— 两种形式都是对角的。这大大简化了许多计算。

渐近线 是法曲率为零的曲线：$\mathrm{II}(\gamma', \gamma') = La'^2 + 2Ma'b' + Nb'^2 = 0$ 。它们只存在于 $K \leq 0$ 的地方。在双曲点，判别式 $M^2 - LN > 0$ （因为 $K = (LN-M^2)/(EG-F^2) < 0$ ），给出两个实数解 $a':b'$ —— 两个渐近方向。在抛物点，恰好有一个渐近方向。在椭圆点，没有渐近方向（第二种形式是确定的）。

一个美丽的几何事实：在 可展曲面（由一族直线扫过的曲面）上，直纹总是渐近线。三维空间中的直线曲率为零，因此它在任何表面上的法曲率也必须为零。单叶双曲面 $x^2 + y^2 - z^2 = 1$ 是双重可展的——两族直线覆盖它——这两族直线都是渐近线。双曲抛物面 $z = xy$ 也是双重可展的（直线 $t \mapsto (t, c, ct)$ 和 $t \mapsto (c, t, ct)$ ）。这些曲面在建筑中出现是因为它们可以用直线梁建造，而直纹结构与法曲率为零的方向一致，提供了结构效率。

渐近线在薄壳中也有物理意义。沿着渐近方向，表面在法曲率方面没有弯曲阻力——可以在该方向自由“弯曲”。设计壳体的工程师必须知道渐近方向，因为这些是潜在的弯曲载荷下的失效模式。

举一个更奇特的例子，考虑莫比乌斯带，参数化为 $\mathbf{x}(u,v) = ((1 + v\cos(u/2))\cos u, (1 + v\cos(u/2))\sin u, v\sin(u/2))$ 对于 $u \in [0, 2\pi)$ 和 $v$ 很小。这是一个不可定向的曲面——法向量在一个环路后会改变符号。莫比乌斯带上的主曲率和曲率线表现出有趣的拓扑性质：沿着一条曲率线绕一圈后，返回的是不同的主方向（因为方向已经反转）。莫比乌斯带不承认连续的全局主方向选择，反映了其不可定向性。

在旋转曲面上，曲率线总是经线和纬线（纬度圈）。这是由于对称性：经线是反射对称平面，主曲率必须沿着和垂直于对称轴。在这种自然坐标下，$\mathrm{I}$ 和 $\mathrm{II}$ 都是对角化的（$F = M = 0$ ），简化了所有曲率计算。这就是为什么旋转曲面——球面、圆柱面、圆锥面、环面、悬链面、伪球面——成为曲面理论的主要计算测试场。

基本定理与未来之路#

现在我们有两个对称双线性形式在每个切平面上。自然的问题是：它们能否决定这个曲面？

核心结论是：给定定义在开集 $U \subset \mathbb{R}^2$ 上的光滑函数 $E, F, G, L, M, N$ ，且满足 $EG - F^2 > 0$ 以及 Gauss 方程 和 Codazzi-Mainardi 方程，那么存在一个曲面 $\mathbf{x}: U \to \mathbb{R}^3$ 使得这些函数作为其第一和第二基本形式的系数。这个曲面在 $\mathbb{R}^3$ 中的刚体运动下唯一。

相容条件并不简单：Gauss 方程用 Christoffel 符号（仅从 $\mathrm{I}$ 得出）表示 $K$ ，而 Codazzi-Mainardi 方程则将 $L, M, N$ 的导数与 Christoffel 符号联系起来。Gauss 方程实际上是 Theorema Egregium 的另一种表达：它迫使 $K$ 可以从 $\mathrm{I}$ 计算出来，而不依赖于具体的 $\mathrm{II}$ 。

操作词汇：两个曲面如果通过微分同胚保持 $\mathrm{I}$ （即距离相同），则称为 等距。如果通过刚体运动可以将一个曲面变为另一个，则称为 全等。弯曲会保持 $\mathrm{I}$ 但不保持 $\mathrm{II}$ ：圆柱和平面是等距的但不是全等的。一个曲面如果任何到另一个 $\mathbb{R}^3$ 中曲面的等距变换必须是刚体运动，则称为 刚性的。Cohn-Vossen 在 1927 年证明了球面是刚性的——你不能弯曲一个闭合的球面而不拉伸它。这就解释了为什么乒乓球抵抗变形：任何可见的弯曲都涉及拉伸，而拉伸需要力。

弯曲保持的是 $K$ （Theorema Egregium）。弯曲不保持的是 $H$ 、$k_1$ 、$k_2$ 、$\mathrm{II}$ 、曲率线和渐近线。圆柱和平面都有 $K = 0$ ——把纸卷成管子不会改变 $K$ 。但是 $H$ 从 $0$ （平面）变到 $1/(2r)$ （圆柱）。Theorema Egregium 是一个令人惊讶的发现，即一个看起来外在的量（$K$ ）实际上是内在的。

在结束这一节之前，需要注意一个符号约定警告。$L, M, N$ 的符号——因此 $H$ 的符号——取决于法向方向的选择。将 $\mathbf{n}$ 变为 $-\mathbf{n}$ 会使这三个符号翻转，从而翻转 $H$ 。但 $K = (LN - M^2)/(EG - F^2)$ 是不变的：分子中的两次符号翻转相互抵消。比较不同来源的公式时务必检查约定。

还有一个微妙之处：第二基本形式 $\mathrm{II}(\mathbf{w}, \mathbf{w})$ 也可以解释为曲面相对于其切平面的二阶偏差。如果局部地将曲面写成 $z = f(x, y)$ 形式（其中 $p$ 在原点且切平面为 $z = 0$ ），那么 $f(x,y) = \frac{1}{2}(Lx^2 + 2Mxy + Ny^2) + O(|(x,y)|^3)$ 。第二基本形式实际上就是这个图函数的 Hessian 矩阵，在曲面坐标中求值。这给出了最直接的几何图像：$\mathrm{II}$ 衡量曲面如何“偏离”其切平面，在各个方向上呈二次方。

Gauss 映射提供了另一个美丽的视角。Gauss 映射在某一点的 面积畸变 等于 $|K|$ 。对于凸曲面，$N$ 将曲面映射到 $S^2$ 上，度数为 1，所以 $\int_S K\,dA = 4\pi$ 。对于环面，度数为 0，因此 $\int K\,dA = 0$ 。这是 Gauss-Bonnet 定理的预览：总曲率是一个拓扑不变量。证明将在第五章给出，但几何图像——曲率作为 Gauss 映射的“拉伸因子”，其总积分计数 $S^2$ 被覆盖的次数——已经在这里了。

下一步#

到这里手里的工具是：每点一个法向量（Gauss 映射 $N: S \to S^2$ ），它的微分就是形状算子 $S = -dN$ ；形状算子的两个特征值是主曲率 $k_1, k_2$ ；它们的乘积是 Gauss 曲率 $K$ ，平均是平均曲率 $H$ 。$K$ 和 $H$ 把"曲面长什么样"压缩成两个标量函数，足够区分球面、平面、马鞍和圆柱。这一章里我们一直把 $K$ 和 $H$ 当成纯粹外在的量来处理——它们是从形状算子算出来的，而形状算子明显依赖于曲面如何嵌入到 $\mathbb{R}^3$ 里。

下一章会有一个让人惊讶的反转。Gauss 在 1827 年证明的Theorema Egregium（绝妙定理）说：$K$ ——表面上从外在数据 $S$ 算出来的量——其实只依赖第一基本形式 $\mathrm{I}$ 及其导数，跟嵌入方式无关。换句话说，那只完全活在曲面上的小蚂蚁虽然看不到外面的空间，仍然能从距离和角度数据里反算出 $K$ 。$H$ 则不行——$H$ 是真正的外在量，等距形变会改变它（圆柱的 $H \neq 0$ ，平面的 $H = 0$ ，但它们等距）。

为了把这件事变成证明，下一章会引入Christoffel 符号——把"切向量沿曲面运动时怎么变化"用度量及其导数表达出来；然后是协变导数和平行移动——曲面上"沿曲线常数地携带向量"是什么意思；最后是测地线——曲面上的"直线"。这套内蕴工具不仅证明了 Theorema Egregium，还为下一卷把整个故事推广到任意维度（Riemann 几何）做准备。从那一刻起，“曲面在哪里"就彻底变得不重要了，重要的只是度量本身。

这是 微分几何 系列（共12篇文章）的第三部分。