主题
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 公式, 可展曲面, 椭圆点, 双曲点, 积分曲率, 平均曲率, 度量张量, 极小曲面, 抛物点, 平面点, 标量曲率, 向弯曲面, 总曲率, 脐点 在 MathWorld 课堂中探索此主题

使用 Wolfram|Alpha 探索

参考文献

几何中心。“高斯曲率”。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/

在 Wolfram|Alpha 中引用

高斯曲率

请这样引用

Weisstein, Eric W. “高斯曲率”。来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/GaussianCurvature.html

主题分类