主題
Search

高斯曲率


高斯曲率,有時也稱為總曲率 (Kreyszig 1991, p. 131),是空間的一種內在屬性,與描述它所用的座標系無關。在 R^3 中,正則曲面上一點 p 的高斯曲率正式定義為

 K(p)=det(S(p)),
(1)

其中 S 是形狀運算元,det 表示行列式。

如果 x:U->R^3 是一個正則引數片,則高斯曲率由下式給出

 K=(eg-f^2)/(EG-F^2),
(2)

其中 EFG 是第一基本形式的係數,efg 是第二基本形式的係數 (Gray 1997, p. 377)。高斯曲率可以完全用第一基本形式表示

 ds^2=Edu^2+2Fdudv+Gdv^2
(3)

以及度量判別式

 g=EG-F^2
(4)

透過

 K=1/(sqrt(g))[partial/(partialv)((sqrt(g))/EGamma_(11)^2)-partial/(partialu)((sqrt(g))/EGamma_(12)^2)],
(5)

其中 Gamma_(ij)^k 是第一類克里斯托費爾符號。等價地,

 K=1/(g^2)|E F (partialF)/(partialv)-1/2(partialG)/(partialu); F G 1/2(partialG)/(partialv); 1/2(partialE)/(partialu) k_(23) k_(33)|-1/(g^2)|E F 1/2(partialE)/(partialv); F G 1/2(partialG)/(partialu); 1/2(partialE)/(partialv) 1/2(partialG)/(partialu) 0|,
(6)

其中

k_(23)=(partialF)/(partialu)-1/2(partialE)/(partialv)
(7)
k_(33)=-1/2(partial^2E)/(partialv^2)+(partial^2F)/(partialupartialv)-1/2(partial^2G)/(partialu^2).
(8)

展開後,

K=1/(2g)[2(partial^2F)/(partialupartialv)-(partial^2E)/(partialv^2)-(partial^2G)/(partialu^2)]-G/(4g^2)[(partialE)/(partialu)(2(partialF)/(partialv)-(partialG)/(partialu))-((partialE)/(partialv))^2]+F/(4g_2)[(partialE)/(partialu)(partialG)/(partialv)-2(partialE)/(partialv)(partialG)/(partialu)+(2(partialF)/(partialu)-(partialE)/(partialv))(2(partialF)/(partialv)-(partialG)/(partialu))]-E/(4g^2)[(partialG)/(partialv)(2(partialF)/(partialu)-(partialE)/(partialv))-((partialG)/(partialu))^2].
(9)

高斯曲率也由下式給出

 K=(det(x_(uu)x_ux_v)det(x_(vv)x_ux_v)-[det(x_(uv)x_ux_v)]^2)/([|x_u|^2|x_v|^2-(x_u·x_v)^2]^2)
(10)

(Gray 1997, p. 380),以及

 K=([N^^N_1^^N_2^^])/(sqrt(g))=(epsilon^(ij)[N^^T^^T_i^^]_j)/(sqrt(g)),
(11)

其中 epsilon^(ij) 是置換符號,N^^ 是單位法向量,T^^ 是單位切向量。高斯曲率也由下式給出

K=R/2
(12)
=kappa_1kappa_2
(13)
=1/(R_1R_2),
(14)

其中 R 是標量曲率,kappa_1kappa_2 是主曲率,R_1R_2 是主曲率半徑。對於 Monge 引數片 z=h(u,v)

 K=(h_(uu)h_(vv)-h_(uv)^2)/((1+h_u^2+h_v^2)^2).
(15)

F(x,y,z)=0 隱式定義的曲面的高斯曲率由下式給出

 K(x,y,z)={[F_z(F_(xx)F_z-2F_xF_(xz))+F_x^2F_(zz)][F_z(F_(yy)F_z-2F_yF_(yz))+F_y^2F_(zz)]-(F_z(-F_xF_(yz)+F_(xy)F_z-F_(xz)F_y)+F_xF_yF_(zz))^2}[F_z^2(F_x^2+F_y^2+F_z^2)^2]^(-1)
(16)

(Trott 2004, pp. 1285-1286)。

高斯曲率 K 和平均曲率 H 滿足

 H^2>=K,
(17)

僅在臍點處等號成立,因為

 H^2-K=1/4(kappa_1-kappa_2)^2.
(18)

如果 pM subset R^3 中正則曲面 M subset R^3 上的點,v_(p)w_(p)Mp 點的切向量,那麼 Mp 點的高斯曲率與形狀運算元 S 的關係為

 S(v_(p))xS(w_(p))=K(p)v_(p)xw_(p).
(19)

ZM 上的非零向量場,它處處垂直於 M,設 VWM 的切向量場,使得 VxW=Z,則

 K=(Z·(D_VZxD_WZ))/(2|Z|^4)
(20)

(Gray 1997, p. 410)。

對於球面,高斯曲率為 K=1/a^2。對於歐幾里得空間,高斯曲率為 K=0。對於高斯-波利亞伊-羅巴切夫斯基空間,高斯曲率為 K=-1/a^2。可展曲面是一種正則曲面和特殊的極小曲面,其高斯曲率處處為零。

正則曲面 M in R^3 中的點 p 根據 K(p) 的符號進行分類,如下表所示 (Gray 1997, p. 375),其中 S 是形狀運算元。

符號點型別
K(p)>0橢圓點
K(p)<0雙曲點
K(p)=0S(p)!=0拋物點
K(p)=0S(p)=0平面點

高斯曲率 K 處處為正的曲面稱為向彎曲面,而 K 處處為負的曲面稱為背彎曲面。具有恆定高斯曲率的曲面包括錐面、柱面、Kuen 曲面、平面、偽球面和球面。其中,錐面和柱面是僅有的可展旋轉曲面。


另請參閱

背彎曲面, Brioschi 公式, 可展曲面, 橢圓點, 雙曲點, 積分曲率, 平均曲率, 度量張量, 極小曲面, 拋物點, 平面點, 標量曲率, 向彎曲面, 總曲率, 臍點 在 課堂中探索此主題

使用 探索

參考文獻

幾何中心。“高斯曲率”。http://www.geom.umn.edu/zoo/diffgeom/surfspace/concepts/curvatures/gauss-curv.htmlGray, A。“高斯曲率和平均曲率”以及“恆定高斯曲率的曲面”。《使用 Mathematica 的曲線和曲面的現代微分幾何》,第 2 版,第 16.5 節和第 21 章。Boca Raton, FL: CRC Press, pp. 373-380 和 481-500, 1997。Kreyszig, E。《微分幾何》。紐約:Dover, p. 131, 1991。Trott, M。《Mathematica 圖形指南》。紐約:Springer-Verlag, 2004。http://www.mathematicaguidebooks.org/

在 中引用

高斯曲率

請這樣引用

Weisstein, Eric W. “高斯曲率”。來自 Web 資源。 https://mathworld.tw/GaussianCurvature.html

主題分類