主题
Search

基本形式


存在三种所谓的基​​本形式。最重要的是第一和第二基本形式(因为第三基本形式可以用前两者表示)。基本形式在确定曲面的度量属性方面极其重要和有用,例如线元素面积元素法曲率高斯曲率平均曲率。设 M 为正则曲面,v_(p),w_(p) 为切空间 M_(p) 中的点。M。那么第一基本形式是切向量的内积

 I(v_(p),w_(p))=v_(p)·w_(p).
(1)

对于 M in R^3,第二基本形式是切空间 M_(p) 上的对称双线性形式,

 II(v_(p),w_(p))=S(v_(p))·w_(p),
(2)

其中 S形状算子。第三基本形式由下式给出

 III(v_(p),w_(p))=S(v_(p))·S(w_(p)).
(3)

第一和第二基本形式满足

I(ax_u+bx_v,ax_u+bx_v)=Ea^2+2Fab+Gb^2
(4)
II(ax_u+bx_v,ax_u+bx_v)=ea^2+2fab+gb^2,
(5)

其中 x:U->R^3正则参数片,而 x_ux_v 分别是 x 关于参数 uv 的偏导数。它们的比率就是法曲率

 kappa(v_(p))=(II(v_(p)))/(I(v_(p)))
(6)

对于任何非零切向量。第三基本形式由第一和第二基本形式给出:

 III-2HII+KI=0,
(7)

其中 H平均曲率K高斯曲率

第一基本形式(或线元素)由黎曼度量显式给出

 ds^2=Edu^2+2Fdudv+Gdv^2.
(8)

它确定了曲面上曲线的弧长。系数由下式给出

E=||x_u||^2=|(partialx)/(partialu)|^2
(9)
F=x_u·x_v=(partialx)/(partialu)·(partialx)/(partialv)
(10)
G=||x_v||^2=|(partialx)/(partialv)|^2.
(11)

系数也表示为 g_(uu)=Eg_(uv)=Fg_(vv)=G。在曲线坐标系中(其中 F=0),量

h_u=sqrt(g_(uu))=sqrt(E)
(12)
h_v=sqrt(g_(vv))=sqrt(G)
(13)

称为尺度因子

第二基本形式由下式显式给出

 edu^2+2fdudv+gdv^2
(14)

其中

e=sum_(i)X_i(partial^2x_i)/(partialu^2)
(15)
f=sum_(i)X_i(partial^2x_i)/(partialupartialv)
(16)
g=sum_(i)X_i(partial^2x_i)/(partialv^2),
(17)

X_i 是曲面法线的方向余弦。第二基本形式也可以写成

e=-N_u·x_u
(18)
=N·x_(uu)
(19)
f=-N_v·x_u
(20)
=N·x_(uv)
(21)
=N·x_(vu)
(22)
=-N_u·x_v
(23)
g=-N_v·x_v
(24)
=N·x_(vv),
(25)

其中 N法向量(Gray 1997,第 368 页),或

e=(det(x_(uu)x_ux_v))/(sqrt(EG-F^2))
(26)
f=(det(x_(uv)x_ux_v))/(sqrt(EG-F^2))
(27)
g=(det(x_(vv)x_ux_v))/(sqrt(EG-F^2))
(28)

(Gray 1997,第 379 页)。


另请参阅

弧长, 面积元素, 第一基本形式, 高斯曲率, 测地线, 凯勒流形, 曲率线, 线元素, 平均曲率, 法曲率, 黎曼度量, 尺度因子, 第二基本形式, 曲面面积, 第三基本形式, 魏因加滕方程

使用 Wolfram|Alpha 探索

参考文献

Gray, A. “The Three Fundamental Forms.” 《曲线和曲面的现代微分几何与 Mathematica》,第 2 版,第 16.6 节。Boca Raton, FL:CRC Press,第 368-371 和 380-382 页,1997 年。

在 Wolfram|Alpha 中被引用

基本形式

请引用为

Weisstein, Eric W. "基本形式。" 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/FundamentalForms.html

主题分类