曲面的第二基本形式与法曲率的关系
1. 从曲面的局部形状说起
我们之前学习了曲面的第一基本形式,它描述了曲面上的度量(如弧长、角度、面积),这是曲面的内蕴几何。但要刻画曲面在三维空间中的“弯曲”形状,仅靠第一基本形式是不够的,我们需要引入描述曲面“弯曲程度”的工具。
2. 曲面的法向量与法曲率的直观思想
给定曲面 \(S\) 上一点 \(P\),过 \(P\) 有唯一的切平面 \(T_P S\) 和单位法向量 \(\mathbf{n}\)。现在考虑过 \(P\) 点在曲面上的一条曲线 \(\gamma(s)\)(\(s\) 为弧长参数),它在 \(P\) 点的曲率向量 \(\kappa \mathbf{N}\)(\(\mathbf{N}\) 是曲线的主法向)可以分解为:
- 沿曲面法向量 \(\mathbf{n}\) 的分量:法曲率 \(k_n\)
- 在切平面内的分量:测地曲率 \(k_g\)
法曲率 \(k_n = \kappa \, (\mathbf{N} \cdot \mathbf{n})\) 衡量了曲线在 \(P\) 点处“偏离切平面”的程度,也就是曲面在该方向的弯曲程度。
3. 第二基本形式的引入
设曲面参数化为 \(\mathbf{r}(u,v)\),记:
\[\mathbf{r}_u = \frac{\partial \mathbf{r}}{\partial u}, \quad \mathbf{r}_v = \frac{\partial \mathbf{r}}{\partial v} \]
单位法向量为:
\[\mathbf{n} = \frac{\mathbf{r}_u \times \mathbf{r}_v}{\|\mathbf{r}_u \times \mathbf{r}_v\|} \]
考虑曲面上一条曲线 \(\gamma(s) = \mathbf{r}(u(s), v(s))\),其切向量为:
\[\mathbf{t} = \mathbf{r}_u u' + \mathbf{r}_v v' \]
曲率向量为:
\[\frac{d\mathbf{t}}{ds} = \mathbf{r}_{uu} (u')^2 + 2\mathbf{r}_{uv} u'v' + \mathbf{r}_{vv} (v')^2 + \mathbf{r}_u u'' + \mathbf{r}_v v'' \]
其中,前三个项与曲线的“方向”有关,后两个项是切向分量。法曲率 \(k_n\) 是 \(\frac{d\mathbf{t}}{ds}\) 在法向量 \(\mathbf{n}\) 上的投影,即:
\[k_n = \frac{d\mathbf{t}}{ds} \cdot \mathbf{n} \]
代入上式,并利用 \(\mathbf{r}_u \cdot \mathbf{n} = 0\) 和 \(\mathbf{r}_v \cdot \mathbf{n} = 0\),得:
\[k_n = \mathbf{r}_{uu} \cdot \mathbf{n} \, (u')^2 + 2\mathbf{r}_{uv} \cdot \mathbf{n} \, u'v' + \mathbf{r}_{vv} \cdot \mathbf{n} \, (v')^2 \]
我们引入记号:
\[L = \mathbf{r}_{uu} \cdot \mathbf{n}, \quad M = \mathbf{r}_{uv} \cdot \mathbf{n}, \quad N = \mathbf{r}_{vv} \cdot \mathbf{n} \]
这 \(L, M, N\) 称为第二类基本量。于是:
\[k_n = \frac{L (du)^2 + 2M du dv + N (dv)^2}{ds^2} \]
分母 \(ds^2\) 正是第一基本形式:
\[ds^2 = E (du)^2 + 2F du dv + G (dv)^2 \]
其中 \(E = \mathbf{r}_u \cdot \mathbf{r}_u, F = \mathbf{r}_u \cdot \mathbf{r}_v, G = \mathbf{r}_v \cdot \mathbf{r}_v\)。
定义第二基本形式为二次微分形式:
\[\mathrm{II} = L (du)^2 + 2M du dv + N (dv)^2 \]
则法曲率可写为:
\[k_n = \frac{\mathrm{II}}{\mathrm{I}} \]
其中 \(\mathrm{I} = ds^2\) 是第一基本形式。
4. 几何解释
第二基本形式 \(\mathrm{II}\) 衡量了曲面相对于切平面的“偏离速度”。具体来说,曲面在点 \(P\) 附近可近似为二次曲面:
\[z = \frac{1}{2} (L x^2 + 2M xy + N y^2) + \cdots \]
其中 \((x,y)\) 是切平面上的坐标,\(z\) 是法向高度。\(\mathrm{II}\) 正是这个二次型的系数矩阵对应的二次型。
5. 法曲率的极值与主曲率
由于 \(k_n = \mathrm{II} / \mathrm{I}\) 依赖于方向 \((du:dv)\),在切平面上所有单位切方向中,\(k_n\) 有最大值和最小值,称为主曲率 \(k_1, k_2\),对应的方向称为主方向。
利用拉格朗日乘子法可导出主曲率满足方程:
\[(EG - F^2) k^2 - (EN - 2FM + GL) k + (LN - M^2) = 0 \]
这个方程称为曲率特征方程。
6. 与高斯曲率、平均曲率的关系
主曲率 \(k_1, k_2\) 与第二基本形式的关系为:
- 高斯曲率 \(K = k_1 k_2 = \frac{LN - M^2}{EG - F^2}\)
- 平均曲率 \(H = \frac{k_1 + k_2}{2} = \frac{EN - 2FM + GL}{2(EG - F^2)}\)
因此,第二基本形式与第一基本形式结合,完全确定了曲面的局部弯曲信息。
7. 示例:球面的第二基本形式
球面半径 \(R\),参数化为 \(\mathbf{r}(\theta,\phi) = (R\sin\theta\cos\phi, R\sin\theta\sin\phi, R\cos\theta)\)。
计算可得:
\[\mathbf{r}_\theta = (R\cos\theta\cos\phi, R\cos\theta\sin\phi, -R\sin\theta) \]
\[\mathbf{r}_\phi = (-R\sin\theta\sin\phi, R\sin\theta\cos\phi, 0) \]
法向量 \(\mathbf{n} = (\sin\theta\cos\phi, \sin\theta\sin\phi, \cos\theta)\)(外法向)。
进一步:
\[\mathbf{r}_{\theta\theta} = (-R\sin\theta\cos\phi, -R\sin\theta\sin\phi, -R\cos\theta) = -R \mathbf{n} \]
\[\mathbf{r}_{\theta\phi} = (-R\cos\theta\sin\phi, R\cos\theta\cos\phi, 0) \]
\[\mathbf{r}_{\phi\phi} = (-R\sin\theta\cos\phi, -R\sin\theta\sin\phi, 0) \]
于是:
\[L = \mathbf{r}_{\theta\theta} \cdot \mathbf{n} = -R, \quad M = \mathbf{r}_{\theta\phi} \cdot \mathbf{n} = 0, \quad N = \mathbf{r}_{\phi\phi} \cdot \mathbf{n} = -R\sin^2\theta \]
所以第二基本形式为:
\[\mathrm{II} = -R (d\theta)^2 - R\sin^2\theta (d\phi)^2 \]
此时第一基本形式为 \(\mathrm{I} = R^2 (d\theta)^2 + R^2\sin^2\theta (d\phi)^2\),故:
\[k_n = \frac{\mathrm{II}}{\mathrm{I}} = -\frac{1}{R} \]
(负号因法向取向,绝对值即为曲率 \(1/R\))。
总结
第二基本形式 \(\mathrm{II}\) 与第一基本形式 \(\mathrm{I}\) 共同描述了曲面的局部几何:\(\mathrm{I}\) 给出内蕴度量,\(\mathrm{II}\) 给出外在弯曲。法曲率 \(k_n = \mathrm{II}/\mathrm{I}\) 是方向函数,其极值为主曲率,进而导出高斯曲率与平均曲率。这是曲面微分几何的核心框架之一。