曲線の基本定理の証明
📂幾何学曲線の基本定理の証明
定理
a,b が 0 を含む区間としよう。そして次が成立するとしよう。
- (i): κ(s)>0 が (a,b) で C1
- (ii): τ(s) が (a,b) で連続
- (iii): x0 が R3 の固定された一点
- (iv): {D,E,F} が R3 の右手方向正規直交基底
するとパラメータが α(0) からの弦の長さであり、次を満たす C3 正則曲線 α:(a,b)→R3 が唯一存在する:
α(0)=T(0)=N(0)=B(0)=κ(s)=τ(s)=(x0)DEFκ(s)τ(s)
- {T,N,B,κ,τ} はフレネ-セレの公式だ。
- C1 は導関数が連続である関数の集合である。
説明
曲線の基本定理Fundamental Theorem of curveは、3 次元空間で曲線とは曲率とトーションによって特定できるという強力な定理であり、次のような結果が偶然ではないことを示している。
- κ=0 なら直線である。
- κ=0,τ=0 なら平面曲線である。
- κ/τ が定数なら螺旋である。
- τ=0 で κ>0 が定数なら円である。
- τ=0 が定数で κ>0 が定数なら円形螺旋である。
唯一性と存在性を保証する定理という意味で、基本定理という名前は全く惜しくない。
証明
ピカールの定理: 連立1階常微分方程式の初期値問題について、解が唯一存在する。
フレネ-セレの公式: α が κ(s)=0 である単位スピードカーブとすれば
T′(s)=N′(s)=B′(s)=κ(s)N(s)−κ(s)T(s)+τ(s)B(s)−τ(s)N(s)
uj′=i=1∑3aij(s)ui(aij)=0−κ0κ0τ0τ0
上記のようなODEシステムを考えると、ピカールの定理に従って次を満たす唯一の解 uj(s) が存在する。
u1(0)=u2(0)=u3(0)=DEF
今、解が我々に必要な条件を満たすことを示せばよい。
Step 1. ui(t) は正規直交である。
pij:=⟨ui,uj⟩ とすると
pij′===⟨ui′,uj⟩+⟨ui,uj′⟩⟨k=1∑3akiuk,uj⟩+⟨ui,k=1∑3akjuk⟩k=1∑3akipkj+k=1∑3akjpik
したがって pij はピカールの定理に従って初期値が与えられた微分方程式の唯一の解であり、
pij′=k=1∑3(akipkj+akjpik)
より、t=0 においてクロネッカーのデルタ関数 pij(0)=δij である。一方
k=1∑3(akiδkj+akjδ)=aji+aij=0=δij′
であるので、δij=pij そのものが上記の微分方程式の唯一の解として存在する。したがって次を得る。
⟨ui,uj⟩=δij
Step 2. 単位スピードカーブαの正則性
α(s):=x0+∫0su1(σ)dσ
s∈(a,b) に対して、α(s) を上記のように定義しよう。まず、一次微分すると微積分学の基本定理に従って
dsdα=u1(s)
もう一度微分すると、当初考えていた微分方程式により
ds2d2α=u1′=κu2
仮定より κ と u2 は微分可能であるので、もう一度微分すると
ds3d3α=κ′u2+κu2′=κ′u2+κ(−κu1+τu3)
κ と τ は連続であり、ui すべて微分可能であるので連続であるため、ds3d3α も連続であり、したがって α は C3 である。Step 1ですでに
dsdα=∣u1∣=1
であることを示したので、α は単位スピードカーブである。
Step 3. κ=κ,τ=τ,u1=T,u2=N,u3=B
α′=u1 なので当然 u1=T である。フレネ-セレの公式に従って
κN=T′=u1′=κu2
である。N および u2 が単位ベクトルなので、κ>0 したがって κ=κ する必要があり、よって N=u2 である。{u1,u2,u3} は R3 の正規直交基底なので [u1,u2,u3]=±1 となり、s=0 から
[D,E,F]=[u1,u2,u3]=±1
スカラー三重積 [u1,u2,u3] は連続[^2]であるので、実際常に
[u1,u2,u3]=1
である。したがって
B=T×N=u1×u2=u3
である。最後に、もう一度フレネ-セレの公式に従って
−τN=B′=u3′=−τu2
なのでN=u2 を得る。
■