话题:#数学# #微分几何# #曲面论#
小石头/编
将 三维曲线 r(t) = (x(t), y(t), z(t)) 中的参数 t ∈ ℝ 升级为 t=(u, v) ∈ ℝ² 就得到了曲面 ,
r(t) = r(u, v) = (x(t), y(t), z(t))= (x(u, v), y(u, v), z(u, v))
再把 任意二维曲线 ω(t) = (u(t), v(t)),通过 t = ω(t) 带入曲面,则得到曲面内的一条曲线,
r(t) = r(ω(t)) = (x(u(t), v(t)), y(u(t), v(t)), z(u(t), v(t)))
于是,对于 曲面 r(u, v) 上任意一点 P,根据 曲面在P点处的微分定义:
知,曲面内 过 P点 的 曲线 r(t) 在 P点处的微分就是,
dr(t) = rᵤdu rᵥdv
du = u'(t)dt,dv= v'(t)dt
进而有,
r'(t) = dr(t)/dt = rᵤdu/dt rᵥdv/dt ①
这里的 r'(t) 是 曲线 r(t) 在 P 点处 的 切向量,同时也是 曲面 r(u, v) 在 P 点的 切向量。
考虑,曲面 在 P 点 处 的 所有切向量, 不妨设 P=r(u₀, v₀),则 分别取 ω₁(u) = (u, v₀) 和 ω₂(v) = (u₀, v) 则 可得到 曲面内 过 P 点的两条特殊曲线,
- u-曲线:r(u) = r(ω₁(u)) = r(u, v₀);
- v-曲线:r(v) = r(ω₂(v)) = r(u₀, v) ;
对于它们有,
r'(u) = rᵤdu/du rᵥdv₀/du = rᵤ
r'(v) = rᵤdu₀/dv rᵥdv/dv = rᵥ
这说明 rᵤ 和 rᵥ 分别是 u-曲线 和 v-曲线 的 切向量,故也是 曲面在 P 点的 切向量。
我们要求,
- rᵤ 和 rᵥ 线性无关;
于是 ① 表明,任何 曲面在 P 点的 切向量 都可以 被 rᵤ 和 rᵥ 线性表示,故 这些切向量的全体 是一个 二维向量空间, rᵤ 和 rᵥ 是该空间的 基。 rᵤ 和 rᵥ 与 P 点 构成 一个 平面坐标系(不一定是直角),其确定的平面 被称为 切平面 。
又令,
N = rᵤ × rᵥ, n = N/|N|
分别 被称为 曲面 在 P 点 的 法向量 和 单位法向量 ,它们所在直线 称为 法线 垂直于 切平面。
设 Q 是 曲面 r(u, v) 上 P 点 附近的 另外一点,考虑如下 两个问题,
- 求 曲面内 P 和 Q 之间 的 弧长 σ;
- 求 Q 到 P 点的 切平面 距离 ρ;
问题 1:
对于 任意 过 P 和 Q 点的 曲面内 曲线 r(t) ,我们利用 正篇开始的 结论,有,
(ds)² = dr∙dr = (rᵤdu rᵥdv) ∙ (rᵤdu rᵥdv) = rᵤ∙rᵤ (du)² 2rᵤ∙rᵥ dudv rᵥ∙rᵥ (dv)²
于是,记,
并且,不妨设 P = r(t₀), Q = r(t₁),则有,
σ = ∫t₀ᵗ¹ √Ⅰ = ∫t₀ᵗ¹ √[E(du)² 2Fdudv G(dv)²] = ∫t₀ᵗ¹ √[E(u'(t)dt)² 2F u'(t)dt v'(t)dt G(v'(t)dt)²] = ∫t₀ᵗ¹ √[Eu'(t)² 2F u'(t)v'(t) Gv'(t)²] dt
称Ⅰ为 曲面的 第一基本形式。
问题 2:
显然 ρ 是 向量 PQ 在 n 上的投影,而 任取 曲面内 过 P 和 Q 点 的 曲线 r(s) ,s 是自然参数,不妨设 P = r(s),Q=r(s Δs),则根据 泰勒公式 有,
PQ = r'(s Δs) - r'(s) = r'(s) Δs r''(s) (Δs)²/2 o( (Δs)²)
又 注意到,
r' ⊥ n ⇒ r'∙n =0
于是,
ρ = PQ∙n = (r'(s) Δs r''(s) (Δs)²/2 o)∙n = r''(s) ∙n (Δs)²/2 o( (Δs)²)∙n
考虑到 Q 在 P 点附近,有 o → 0, Δs = ds,进而,
ρ ≈ r''∙n (ds)²/2 = d²r/(ds)²∙n (ds)²/2 = n∙d²r/2
再有,
d²r= d(rᵤdu rᵥdv) = d(rᵤdu) d(rᵥdv) = drᵤdu rᵤd²u drᵥdv rᵥd²v = (rᵤᵤdu rᵤᵥdv)du rᵤd²u (rᵥᵤdu rᵥᵥdv)dv rᵥd²v = rᵤᵤ(du)² 2rᵤᵥdudv rᵥᵥ(dv)² rᵤd²u rᵥd²v
因,
rᵤ, rᵥ⊥ n ⇒ rᵤ∙n = rᵥ∙n =0
故,
n∙d²r = n∙(rᵤᵤ(u')² 2rᵤᵥu'v' rᵥᵥ(v')² rᵤu'' rᵥv'')∙n = n∙rᵤᵤ(u')² 2n∙rᵤᵥu'v' n∙rᵥᵥ(v')²
于是,记,
则有,
ρ ≈ Ⅱ/2
称 Ⅱ为 曲面的 第二基本形式。
分别 称 P点处的 法线 和 切线 的方向为 曲面 r(u, v) 在 P 点的 法方向 和 切方向。
显然,同一条 切线上的 所有 切向量 确定 同一切方向,又 对于曲面内曲线 r(t) = r(ω(t)),由 ① 有,
r'(t) = rᵤdu/dt rᵥdv/dt = dv/dt (rᵤdu/dv rᵥ)
而,我们知道,
- 向量数乘后要么同方要么反向,向量始终保持在一条直线上;
所以 上式说明,每个 切方向 由 比例 du:dv 唯一给出。
不放设 T = (u₀, v₀), P=r(T) ,于是有,
du:dv = (u'(t)dt):(v'(t) dt)=u'(t):v'(t)
而 ω'(t) = (u'(t), v'(t)), 这说明 du:dv 由 ω 在 ℝ² 内的 Q 点处的 切向量 ω'(t) 决定。 又取 ω(v) = (u(v), v),则,du:dv = u'(v) ,进而令 u(v) = kv,则 du:dv = k,这说明 ℝ² 中的每条 过 T 点的 直线 决定 曲面的 一条 过 P 点的 切方向。
考虑 曲面内 曲线 r(t) 在 P 点处的 Frenet 标架。
α 显然属于 切平面,于是 α ⊥ n ,而且 α 还 确定一个 切方向 du:dv。
曲率 κ 表示的是 曲线 r(t) 向 β 方向的 弯曲 程度,而 β 可以是垂直 α 的任意方向,于是 κ 在 法线方向 和 切平面 上就会产生 两个 投影,分别记为 κn 和 κg;显然有,
κn = kβ∙n
称 κn 为 法曲率;而令 ε = α × n 则有,
κg = kβ∙ε
称 κg 为 测地曲率。
让曲线 r(t) 切换为自然参数 r(s),则 kβ = r'',于是,
Ⅱ/Ⅰ= r''∙n (ds)² / (ds)² = r''∙n = kβ∙n = κn
进而,
κn = Ⅱ/Ⅰ= [L(du)² 2Mdudv N(dv)²]/[E(du)² 2Fdudv G(dv)²] = [L(du/dv)² 2Mdu/dv N]/[E(du/dv)² 2Fdu/dv G]
可见 κn 完全由 du:dv 和 具体曲线 r(t) 的选取无关,也就是说:
- 法曲率 表征的 是 曲面 在 P 点处 沿着 du:dv 切方向 的 弯曲程度,和 曲面内的 曲线无关。
不难看出:
- 当 κn > 0 时,曲面向 n 的正方向 弯曲;
- 当 κn < 0 时,曲面向 n 的反方向 弯曲;
- 当 κn = 0 时,曲面是平面;
称 由 P 点处的 法方向 和 任意 切方向 确定的 平面 为 法截面,法截面 和 曲面 的交线 称为 法截线。法截线 是 法截面 内 平面曲线,故 β 在 法截面,即,β 和 n 共面,而 β,n ⊥ α,于是 β ∥ n, 故 κn = ±k;而 κg = 0,可见 法截线 在曲面内 是 直线。
我们知道 曲率的倒数 称为 曲率半径,对于曲线来说,我们 通过曲率半径 在 P 点的 密切平面 内 可以构造一个 曲率圆,它形象的表示了 曲线 在 P 点处的 弯曲 程度,那么对于 曲面,法曲率半径 又能构造什么呢?
曲面 r(u, v) 在 P 点的 切平面 内,以 P 为原点,以 rᵤ 和 rᵥ 为坐标轴,构成一个坐标系,于是 dr = rᵤdu rᵥdv 就是以 P 为起点,以(du, dv) 为终点的 切向量,以其为方向,以 切方向 du:dv 对应的 法曲率半径 的绝对值方根(即, √|1/κn|)为长度,可确定 一个 线段 PN。
设 N点的坐标是 (x, y),则N点的轨迹,满足方程:
xrᵤ yrᵥ = √|1/κn| dr/|dr|
方程两边同时自点乘,有,
x²rᵤ∙rᵤ 2xyrᵤ∙rᵥ y²rᵥ∙rᵥ = (xrᵤ yrᵥ)∙(xrᵤ yrᵥ) = (√|1/κn| dr/|dr|)∙ (√|1/κn| dr/|dr|) = |1/κn|(dr∙dr/|dr|²) = |1/κn| |dr|²/|dr|² = |1/κn|
又由 κn = Ⅱ/Ⅰ,Ⅰ=(ds)² ≥ 0,以及 Ⅰ 和 Ⅱ 的定义,有,
Ex² 2Fxy Gy² = |Ⅰ/Ⅱ| = Ⅰ/|Ⅱ| = [E(du)² 2Fdudv G(dv)²]/|L(du)² 2Mdudv N(dv)²|
而 du:dv = x:y,故,
Ex² 2Fxy Gy² = [Ex² 2Fxy Gy²]/|Lx² 2Mxy Ny²|
进而,
|Lx² 2Mxy Ny²| = 1
即,
Lx² 2Mxy Ny² = ±1
这说明 N 点的轨迹 是 一个 二次曲线,称其为 Dupin指标线。根据 《解析几何》知识知,
- 根据 判别式 Δ = LN-M²,Dupin指标线 可以是:
◎ 一个椭圆(Δ > 0)
◎ 两个相互共轭的双曲线(Δ < 0)
◎ 两条平行线(Δ = 0)
◎ 平点(注:平面上的所有点都是平点)(L=M=N=0)
还知,
- 对于二次曲线,过中心点的弦称为直径, 可以证明:与某直径平行的所有弦 的中点 的轨迹 是 另外一条直径,后者称为前者的 共轭直径。称 与自己的共轭直径垂直的 直径 为 主直径,可以证明:直径 与其共轭 直径 相互 共轭,而垂直也是相互的,因此 主直径 的共轭(垂直)直径 也是 主直径。
当 P 点的 切方向 不是 二次曲线的 渐近线 时,其 必然对应 一个 直径,称 相应直径 相互 共轭的 两个 切方向 为 相互共轭,进而 称 相互 共轭并且垂直 两个切方向 为 曲面 在 P 点的 两个主方向,可以证明:
- 二次曲线有两个主直径,分别 是 所有 直径 中是 最长的 和 最短的;
类似地,可证明:
- 两个 主方向 对应的 法曲率 κ₁ 和 κ₂ 分别是 所有 法曲率 中的 最大值 和 最小值;
称 κ₁ 和 κ₂ 为 主曲率,两个主曲率的乘积 为 高斯曲率,记为 K = κ₁κ₂ 。
(《曲面论》 有点长 这里 分个 P,下接 续二。)
(由于,本篇最后 和 下篇 开始,会 重度 使用 《圆锥曲线论》 的知识,于是考虑 有时间 对这方面 进行一下科普。)
,