主题
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 页)。


另请参阅

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

使用 探索

参考文献

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

在 中被引用

基本形式

请引用为

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

主题分类