好的,接下来我们讲解一个几何中的重要概念。
法曲率
首先,让我们从一个你非常熟悉的概念——曲线曲率——开始回顾。
步骤1:曲线曲率(回顾与起点)
假设我们有一条光滑的空间曲线 \(C\)。在曲线上某一点 \(P\) 附近,曲线偏离其切线的“弯曲程度”是用曲率 \(\kappa\) 来度量的。具体来说,\(\kappa = \frac{1}{R}\),其中 \(R\) 是曲线在 \(P\) 点的密切圆(与曲线贴合得最好的圆)的半径。\(\kappa\) 越大,曲线在 \(P\) 点弯曲得越厉害。这是一个纯粹的曲线内在性质,与曲线如何嵌入空间无关(至少在曲线的 Frenet 标架下)。
步骤2:从曲线到曲面——曲面上曲线的法曲率
现在,假设这条曲线 \(C\) 不是自由漂浮在空间中的,而是“躺”在一个光滑曲面 \(S\) 上。在曲面 \(S\) 上,经过点 \(P\) 可以有无数条不同的曲线。那么,如何描述曲面 \(S\) 本身在 \(P\) 点沿着某个方向的“弯曲程度”呢?
答案是通过研究曲面上的曲线。考虑曲面 \(S\) 上经过点 \(P\) 的一条曲线 \(C\),并设它在 \(P\) 点的单位切向量为 \(\mathbf{T}\)。曲线 \(C\) 在 \(P\) 点有一个曲率向量 \(\mathbf{k}\),其方向指向曲线弯曲的凹侧,大小等于曲率 \(\kappa\)。
关键在于,我们可以把这个曲率向量 \(\mathbf{k}\) 分解为两个正交分量:
- 法曲率向量 \(\mathbf{k}_n\):沿着曲面 \(S\) 在 \(P\) 点的单位法向量 \(\mathbf{N}\) 方向的分量。
- 测地曲率向量 \(\mathbf{k}_g\):位于 \(S\) 在 \(P\) 点的切平面内的分量。
定义:曲线 \(C\) 在 \(P\) 点的法曲率 \(\kappa_n\),就是其曲率向量 \(\mathbf{k}\) 在曲面法向量 \(\mathbf{N}\) 方向上的投影,即 \(\kappa_n = \mathbf{k} \cdot \mathbf{N}\)。由于 \(\mathbf{k} = \kappa \mathbf{n}\)(其中 \(\mathbf{n}\) 是曲线的主法向量),所以 \(\kappa_n = \kappa (\mathbf{n} \cdot \mathbf{N}) = \kappa \cos\theta\),\(\theta\) 是曲线主法向量 \(\mathbf{n}\) 与曲面法向量 \(\mathbf{N}\) 的夹角。
步骤3:法曲率的几何直观与梅尼埃定理
\(\kappa_n\) 的符号(正或负)表明曲线是朝向法向量 \(\mathbf{N}\) 的方向弯曲(正)还是背向它弯曲(负)。绝对值 \(|\kappa_n|\) 则衡量了曲面 \(S\) 沿该切方向 \(\mathbf{T}\) 的弯曲程度。
一个重要结论是梅尼埃定理:对于所有在曲面 \(S\) 上经过 \(P\) 点且有相同切方向 \(\mathbf{T}\) 的曲线,它们的法曲率 \(\kappa_n\) 都是相同的!也就是说,\(\kappa_n\) 只依赖于曲面 \(S\) 在 \(P\) 点的局部形状和切方向 \(\mathbf{T}\),而不依赖于你选择哪条具体的曲线。这是理解法曲率作为曲面本身属性的关键。
几何上,这些曲线的曲率中心位于一个垂直于 \(\mathbf{T}\) 的平面(法截面)与曲面截出的曲线(称为法截线)的曲率中心所在的直线上。法曲率 \(\kappa_n\) 就是这条法截线的曲率。
步骤4:法曲率的计算公式——联系第一和第二基本形式
如果曲面 \(S\) 有参数表示 \(\mathbf{r}(u, v)\),第一基本形式的系数为 \(E, F, G\),第二基本形式的系数为 \(L, M, N\)。在点 \(P\),给定一个切方向由微分 \(du : dv\) 决定。
那么,沿该方向的法曲率 \(\kappa_n\) 可以由一个著名的公式给出:
\[\kappa_n = \frac{L\, du^2 + 2M\, du\, dv + N\, dv^2}{E\, du^2 + 2F\, du\, dv + G\, dv^2} \]
或者,如果切方向由单位切向量 \(\mathbf{T} = \mathbf{r}_u \alpha + \mathbf{r}_v \beta\) 给出:
\[\kappa_n = L \alpha^2 + 2M \alpha \beta + N \beta^2 \]
(注意:这个简洁形式的前提是 \((\alpha, \beta)\) 是单位长度,即满足 \(E\alpha^2 + 2F\alpha\beta + G\beta^2 = 1\))。
这个公式清晰地展示了:
- 分母是第一基本形式 \(I\),它度量了切向量的内在长度。
- 分子是第二基本形式 \(II\),它度量了曲面相对于切平面的偏移量(弯曲)。
- 因此,法曲率是曲面“外在弯曲”(\(II\))与其“内在度量”(\(I\))在该方向上的比值。
步骤5:主曲率、欧拉公式与法曲率的关系
在 \(P\) 点的所有可能切方向中,法曲率 \(\kappa_n\) 会变化。它存在最大值 \(\kappa_1\) 和最小值 \(\kappa_2\),称为曲面在 \(P\) 点的主曲率。达到主曲率的方向 \(\mathbf{T}_1\) 和 \(\mathbf{T}_2\) 称为主方向,它们总是正交的(除非该点是脐点)。
对于任意一个与第一主方向夹角为 \(\phi\) 的单位切方向 \(\mathbf{T}_\phi\),其法曲率由欧拉公式给出:
\[\kappa_n(\phi) = \kappa_1 \cos^2\phi + \kappa_2 \sin^2\phi \]
这个优美的公式总结了法曲率如何随方向变化。它表明,知道了两个主曲率,就可以计算出任何方向的法曲率。
步骤6:总结与意义
法曲率 \(\kappa_n\) 是微分几何中描述曲面在一点沿某一方向弯曲程度的核心量。它的关键特性在于:
- 它是曲面的属性:对于给定的点和切方向,\(\kappa_n\) 是唯一确定的,与曲面上具体的路径选择无关。
- 它连接了内蕴与外蕴几何:其计算公式融合了第一基本形式(内蕴)和第二基本形式(外蕴)。
- 它是主曲率的桥梁:所有方向的法曲率由两个主曲率通过欧拉公式完全决定。
- 应用广泛:法曲率是定义高斯曲率(\(K = \kappa_1 \kappa_2\))和平均曲率(\(H = (\kappa_1 + \kappa_2)/2\))的基础,也是理解曲面局部形状(椭圆点、双曲点、抛物点)和渐近方向(\(\kappa_n = 0\) 的方向)的出发点。
因此,理解法曲率是深入学习曲面微分几何、从一维曲线弯曲概念向二维曲面弯曲概念拓展的关键一步。