測地曲率は内在的である
📂幾何学測地曲率は内在的である
定理
曲面上の曲線の測地曲率κgは内在的である。
説明
つまり、κgは単位法線ベクトルnなしで、リーマン計量の係数だけで計算できるってことだ。もちろん、次のように外在的な公式extrinsic formulaでも表現できる。κN=T′=α′′=κnn+κgSだから、
κg========= ⟨T′,S⟩ ⟨T′,n×T⟩ [T′,n,T] [n,T,T′] ⟨n,T×T′⟩ ⟨n,T×κN⟩ κ⟨n,T×N⟩ κ⟨n,B⟩ κcosθ
ここで、[⋅,⋅,⋅]はスカラー三重積を意味する。Bはバイノーマルだ。θはnとBの間の角度だ。
証明
- gij : リーマン計量の係数
- Lij=⟨xij,n⟩ : 第二基本形式の係数
- Γijk=l=1∑2⟨xij,xl⟩glk=⟨xij,xl⟩glk : クリストッフェル記号
x:U→R3を座標系チャートマッピング、Uの座標を(u1,u2)としよう。それ上の曲線α(s)=x(u1(s),u2(s))が与えられたとする。すると、α′′は次のように表される。
α′′(s)=κn(s)n(s)+κg(s)S(s)
nは単位法線ベクトル、S=n×Tだ。また、xi、xijはそれぞれxの1次、2次の偏導関数である。
xi:=∂ui∂xandxij:=∂uj∂ui∂2x
パート1.
まず、単位法線と接平面の基底のスカラー三重積を次のように示そう。
ϵij=⟨n,xi×xj⟩=[n,xi,xj]
すると、xi×xi=0なので、各値は次のようになる。
ϵ11=ϵ22=0
nは定義によりx1×x2に対して垂直なので、
⟨n,x1×x2⟩=∣n∣∣x1×x2∣
ここで、nは単位ベクトルであり、g=∣x1×x2∣2なので
ϵ12=⟨n,x1×x2⟩=−⟨n,x2×x1⟩=−ϵ21=g
パート2.
S=n×Tであり、Sが単位ベクトルであるので
κg=⟨kgS,S⟩=⟨kgS,n×T⟩=[κgS,n,T]
公式
κgS=i=1∑2[uk′′+i,j=1∑2Γijkui′uj′]xk
接線ベクトルはT=xlul′で、上の公式によりκgは次のように計算される。
κg======== ⟨kgS,n×T⟩=[κgS,n,T] ⟨k=1∑2(uk′′+i=1∑2j=1∑2Γijkui′uj′)xk,n×T⟩ k=1∑2(uk′′+i=1∑2j=1∑2Γijkui′uj′)⟨xk,n×T⟩ k=1∑2(uk′′+i=1∑2j=1∑2Γijkui′uj′)[xk,n,T] k=1∑2(uk′′+i=1∑2j=1∑2Γijkui′uj′)[n,T,xk] k=1∑2(uk′′+i=1∑2j=1∑2Γijkui′uj′)[n,xlul′,xk] k=1∑2(uk′′+i=1∑2j=1∑2Γijkui′uj′)ul′[n,xl,xk] k=1∑2(uk′′+i=1∑2j=1∑2Γijkui′uj′)ul′ϵlk
ここで、Γijkは内在的であり、パート1.によりϵlkも内在的なので、κgは内在的である。