高斯曲率的计算
公式
小学单位换算公式大全免费下载公式下载行测公式大全下载excel公式下载逻辑回归公式下载
第二章 曲面论
LN?MK?k1k2?2 。 EG?F
注意
??L?n?ruu????(r,r,r)2
,
??(r,r,r)M?n?ruv?,
??N?n?rvv?(r,r,r)
。
所以
LN?M2
K?EG?F2
??????????21[(r,r,r)(r,r,r)?(ruvuuuvvvu,rv,ruv)], 22(EG?F)
1
利用行列式的转置性质和矩阵乘法性质,得
?????????2(ru,rv,ruu)(ru,rv,rvv)?(ru,rv,ruv)
???ru??ru???????????????rv?(ru,rv,rvv)??rv?(ru,rv,ruv)
?????r?r
?uu??uv?
??ru?ru???rv?ru
??ruu?ru
??ru?rv??rv?rv??ruu?rv
????ru?rvvru?ru????rv?rvv?rv?ru????ruu?rvvruv?ru
??ru?rv??rv?rv??ruv?rv
??ru?ruv??rv?ruv??ruv?ruv
E?F??ruu?ru
FG??ruu?rv
??ru?rvvE??
rv?rvv?F????ruu?rvvruv?ru
FG??ruv?rv
??ru?ruv??rv?ruv??ruv?ruv
??ru?ruv??rv?ruv0
E?F??ruu?ru
FG??ruu?rv
??ru?rvvE??rv?rvv?F??????ruu?rvv?ruv?ruvruv?ru
FG??ruv?rv
,
(其中用到行列式按第三行展开计
算的性质。)
2
????利用 ru?ru?E,ru?rv?F,
??rv?rv?G, 1??1??r?r?Er?r?可得uuu2u,uuv2Ev,
1??1??r?r?Gv, rv?rvu?Gu,vvv22
1??rv?ruu?Fu?Ev, 2
1??ru?rvv?Fv?Gu 。 2
由于
????????????ruu?rvv?ruv?ruv?(ruu?rvv?ru?rvvu)?(ru?rvvu?ruv?ruv)
???? ?(ru?rvv)u?(ru?rvu)v
11?(Fv?Gu)u?(Ev)v 22
11?Fvu?Guu?Evv ; 22
或者
????????ruu?rvv?ruv?ruv?(ruu?rv)v?(rv?ruv)u
11?(Fu?Ev)v?(Gu)u 22
22 11?Fuv?Evv?Guu ;
3
于是得到
E
K?
1
[F22
(EG?F)
1Eu2
FG1Fu?Ev
2
1Fv?GuE
21Gv?F2111Fuv?Evv?GuuEv
222
FG1
Gu2
1Ev21Gu]20
(1)
公式被称为高斯定理,且被誉为高斯绝妙定理。
将上式中的行列式按第三列展开,并化简,可得
12
K?[E(EG?2FG?Gvvuvu)22
4(EG?F)
2
?G(EG?2EF?E uuuvv)
?F(EuGv?EvGu?2EvFv?4FuFv?2FuGu)
?2(EG?F2)(Evv?2Fuv?Guu)],(2)
高斯绝妙定理断言一个曲面的高斯曲率可以只用第一类基本量及其导数表示,从而K 事实上是曲面的一个内蕴不变量。
4
高斯曲率用第一类基本量明确的表达式由 Brioschi 公式(1)给出。
存在等距对应的两曲面,曲面上对应点处的高斯曲率必相等。
球面片与平面片之间不存在等距对应。
EF??ruu?ru
FG??ruu?rv
??ru?rvvE??rv?rvv?F??????ruu?rvv?ruv?ruvruv?ru
FG??ruv?rv
??ru?ruv??rv?ruv0
E?F
FG
?122?222
11Fuv?Evv?Guu
22
E?F?112
FG?212
?112?2120
,
?111?211
K?
1
[FG
(EG?F2)2
?111?211
E
F
?122?222
11Fuv?Evv?Guu
22
E?F?112
FG?212
?112?212]0
。
5
特别地,当曲面 ???:r?r(u,v)
上的坐标曲线网是正交网时, F?0,
此时
E
K?1[0(EG)2
1Eu20G1?Ev21?GuE21Gv?02111?Evv?GuuEv2220G1Gu21Ev21Gu]20
?11111111111[E(?GE?GG?EG)?GEG?(?EGG?EGEv)]vvuuvvuuuuv(EG)22222222222
??[11(Evv?Guu)?(EEvGv?EuGuG?EGuGu?EvGEv)], 22EG4(EG)
即得
K??[11(Evv?Guu)?(EEvGv?EuGuG?EGuGu?EvGEv)]22EG4(EG),
(3)
经过观察,通过凑微分,得到 11?[(Evv?Guu)?(EEvGv?EuGuG?EGuGu?
EvGEv)]22EG4(EG)
?Guu?Evv)Gu(EGu?EuG)?Ev(EGv?EvG)] 6
111?Guu?Evv)?Gu(EG)u?
Ev(EG)v]
??Guu??Guu?
Evv?Evv]111??Gu)u?
Ev)v] 1??u?v] , 故有
1K?u?v],(4)
(验算这个量的散度的动因,是在用测地曲率的刘维尔公式,推导高
斯-波涅公式时,出现求散度的运算,导致两者的表达方式是一致的。)
1??K?? 。 ?v?u
7
K????u?u???v,
?ii?1?ui2 K??。
如果曲面在参数坐标网(u,v)下的第一基本形式为
???(u,v)[(du)?(dv)],
则称此坐标网为等温参数网。
2E?G??,F?0,
K?u?v] ?v1?u ???2[(?)u?(?)v] 222
??
??1?1
22[(ln?)uu?(ln?)vv]
其中??2?2
??2?2?u?v?ln?, 是关于变量u,v的Laplace算子.
8
于是在曲面上取等温参数网(u,v)
?(u,v)[d(u?)d,(v时,??
2E?G??,其中???(u,v)?0. 1222)]此时 K???2?ln?。
22du?dv2ds例 求第一基本形式为?(u2?v2?c)2
的曲面高斯曲率 。
1 解 因为E?G?(u2?v2?c)2,F?0 ,
所以
K?u?v]22 ?2(v2?c?u2)?2(u2?c?v2)???u?v?c?[22?22]?4c。 22(u?v?c)(u?v?c)2
例 求第一基本形式为
??(du)?G(u,v)(dv)的曲面上的高斯曲率 。
由(3)式,得
22
11K??Guu?GuGu?uu 。 22G4G 9
半测地坐标网下,
2C在类曲面 ???:r?r(u,v)
上选一条测地线?为v--曲线:u?0;再取与?正交的测地线族为u--曲线,另取这测地线族的正交轨线为v--曲线,则得一半测地坐标网。对于这个半测地坐标网而言,曲面的第一基本形式 可以简化为 ??(du)?G(u,v)(dv)其中G(u,v)满足条件 22,
G(0,v)?1,Gu(0,v)?0 。
在曲面上选取了半测地坐标网后,曲面的高斯曲率有如下的
计算公式
六西格玛计算公式下载结构力学静力计算公式下载重复性计算公式下载六西格玛计算公式下载年假计算公式
10
1?2K?2?u 。
常高斯曲率的曲面
现在设曲面?的高斯曲率是常数,即K?常数,则得微分方程
?2??0 。 2?u
根据初始条件:
G(0,v)?1,Gu(0,v)?0, 我们可按以下不同情形求出这个微分方程的解。
(1) 正常数高斯曲率的曲面,
K?0,
?A(v?B(v 。 根据初始条件,可得
A(v)?1,B(v)?0,
于是?,
11
??(du)?cos22(dv)2。
实例:考虑球心在原点,半径为R的球面。
取赤道为最初给定的测地线,则所有经线是与赤道正交的测地线,所有纬线是这测地线族的正交轨线,因此球面上的经线和纬线构成半测地坐标网。
设球面上点的经度为v,纬度为u, 则球面的参数表示
是 ?r?R(cosucosv,cosusinv,sinu)。 ?ru?R(?sinucosv,?sinusinv,cosu), ?rv?R(?cosusinv,cosucosv,0), ????2E?ru?ru?R,F?ru?rv?0, ??G?rv?rv?R2cos2u,
??R(du)?Rcosu(dv)。
12 22222
在球面上重新选择参数,命 ?Ru,?Rv
于是
2??()?cos(), R22
高斯曲率
1?11K????(cos)???22RR?cosR ,
因此得到
??()?cos22), 2
所以正常数高斯曲率的曲面的第一基本形式与球面的相同。
正常数高斯曲率的曲面与同高斯曲率的球面之间存在着保距变换。
(2)K?
0,从而有?1, 因此??(du)?(dv), 所以零高斯曲率的曲面的第一基本形式与平面的相同。
13 22
(3)负常数高斯曲率的曲面,
K?0,
?A(v)?B(v) 。 根据初始条件,可得
A(v)?1,B(v)?0,
于是?,
??(du)?ch22(dv)。 2
由此可知, 具有相同常数高斯曲率的曲面都可适当选取参数, 使曲面
具有相同的第一基本形式, 因此可建立等距对应.
由上述定理知道, 具有常数高斯曲率的曲面(这种曲面称为常曲率曲面)可按K >0;K = 0;K < 0 分成三种类型. 而属于同一类型的曲面它们的内在几何是相同的. 平面作 为高斯曲率为零的代表; 球面作为高斯曲率为正常数的代表. 换句话说, 高斯曲率为零的曲面都可以与 14
平面建立等距对应, 高斯曲率为正常数的曲面都可以与球面建立等距对应.
那么自然会问什么曲面可以作为高斯曲率为负常数的代表? 1K??设a2 , 我们可以在旋转曲面中找出这个代表.
设旋转曲面的待定母线为Oxz平面中的曲线z?z(x). 把它绕z 轴旋转后形成了旋转面 ?r?(x(t)cos?,x(t)sin?,z(t)),t?x; 代入旋转曲面的高斯曲率公式
[x?(t)z??(t)?x??(t)z?(t)]z?(t)K?222??x(t)[(x(t))?(z(t))] 得其高斯曲率为
z?(x)z??(x)K?x[1?(z?(x))2]2
15
为了使这个曲面的高斯曲率
1K??2 a
所以待定函数z?z(x)就必须满足下列
?(x)z??(x)方程: x[1z?(z?(x))]22??1a2,
将其改写成
1[(z?(x))2]?112??(x)?2222[1?(z?(x))]2a, 2两边积分后得到1?(z1?(x))
取积分常数C?0, 于是可解出
x?(z?(x)x)?a,
1?12x?C1a2 222
由此得出z?(x)??x
dz??dx , x,
令x?asint, acost1?sin2t则
dz??asint?acostdt??asintdt ??a(1?sint)dt??a(sint1?sint)dttt2tancos2
22,
于是
16
tz??a(lntan?cost)2 。
因此,以母线
x?asint???tz??a(lntan?cost)??2
绕z -轴旋转后所得的旋转曲面的高1K??斯曲率正好等于负常数a2。
我们把母线(4.4)称为曳物线.
而把曳物线绕z-轴旋转后
所得的曲面称为伪球面.
由著名的高斯定理, 曲面的高斯曲率K被其第一基本形式完全确定. 因此, 若两个曲面可建立等距对应, 则对应点的高斯曲率必相等.
但反之则不然.
【例,】
证明
住所证明下载场所使用证明下载诊断证明下载住所证明下载爱问住所证明下载爱问
: 曲面 ?S:r?(ucosv,usinv,v) ,(正螺面)
?
S:r1?(u1cosv1,u1sinv1,lnu1), (旋转1
曲面)
17
在点(u,v)与(u,v)处的高斯曲率相等, 但曲面S 与S不存在等距对应.
【证明】容易算出正螺面S与旋转曲面S 的第一基本形式分别为 1111
??(du)?(u?1)(dv),
1222?1?(1?2)(du1)?u1(dv1) u1
)
1K??u?v] 222
经过计算得出曲面S 和S 的高斯曲率分别为
1K??22, (u?1)1
1K1??22 。 (u1?1)
18
因此取对应点(u,v)?(u,v),便成立K?K。
但是曲面S 与S不存在等距对应. 我们用反证法. 若曲面S 与S之间存在等距对应,
1
1
1
1
1
它的对应关系为
?u1??(u,v),?
?v1??(u,v),
则对应点的高斯曲率必相等, 所以得出K1(u,v)?K(u,v) , 即(u?1)?(u?1),
或(u?1)??(u?1) ; (1) 若(u?1)?(u?1) 则u
2
2
21
2
2
212
21
2
?u12
或 u??u 。
1
因此对应关系为
1
?u1??u,?
?v1??(u,v),
这时S的第一基本形式
1222
?1?(1?2)(du1)?u1(dv1)
u1
?(1??(1?
1
)(du)2?u2(?udu??vdv)22u
,
1
?u2?u2)(du)2?2u2?u?vdudv?u2?v2(dv)22u
19
因为是等距对应, 故???, 比较得出 11?221??u??1,u2?u?2?u?u?v?0,
?u2?2?u2?1,v??
由其中第二式得出?u?0或?
2v?0, 再由第一式或第三式得出u1
u2?1?0?0或 ,这显然不可能成立. 因此这种情况不可能.
(2) 若(u?1)??(u?1) , 则u?u??2。这显然不可能成立.
因此曲面S 与S之间不能存在等距对应.
尽管在对应点具有相同高斯曲率的曲面不能建立等距对应, 但是对高斯曲率为常数的曲面, 若在对应点具有相同高斯曲率是必可建立等距对应的. 2212211
20
定理4.1 (Minding定理) 具有相同常数高斯曲率的曲面总可建立局部等距对应.
证明 设曲面S 的高斯曲率K是常数,。
在S 上取任意点P 和过P 点的任意测地线? ,
把?作为v--曲线u?0;且从P 点起的弧长为v .
再取与?正交的测地线族为u--曲线,另取这测地线族的正交轨线为v--
曲线,则得一半测地坐标网。对于这个半测地坐标网而言,
(注意, 这时?:u?0 的曲线也是测地线)。因此曲面的第一基本形式 可以简化为
??(du)?G(u,v)(dv)22,
根据假设v 是? 的弧长, 所以 21
(dv)?G(0,v)(dv)于是 22,
G(0,v)?1 (4:1)
又因? 是测地线, 根据Liouville 公式知
1?lnGkgv|u?0?|u?0?0 ?u
即成立
G(0,v)?0 (4:2)
另一方面, 将E = 1 代入高斯方程, 得
u
1?2K?2?u ,
?2或?u2?K?0 ,
其中G(u,v)满足条件
G(0,v)?1,Gu(0,v)?0 。
22
这个微分方程的通解可按高斯曲率K的符号分为三种情形:
Liouville形式的高斯方程
K?1
Ev?GEu?F
Fu
FvFGGuGvu?Fv] 1?2Eu 4gEv ,
其中g?EG?F2。
23