logo

測地線の一意性定理 📂幾何学

測地線の一意性定理

定理1

pp曲面MM上の点としよう。XTpM\mathbf{X} \in T_{p}Mを点ppでの接ベクトルの単位ベクトルとしよう。すると、以下の初期値条件を満たす測地線γ:(ϵ,ϵ)M\boldsymbol{\gamma} : (-\epsilon, \epsilon) \to M唯一存在する

γ(0)=pandγ(0)=X \boldsymbol{\gamma} (0) = p \quad \text{and} \quad \boldsymbol{\gamma}^{\prime}(0) = \mathbf{X}

解説

この定理は、少なくとも局所的には、曲面上の二点を結ぶ最短距離の直線が存在すると言っている。

全域的な領域では、最短距離の測地線の存在を保証することはできない。簡単な例として、原点を含まない単位円を考えてみよう。すると、以下の図のように、点aaからbbへの最短距離の直線は存在しないとわかる。

1.PNG

証明

戦略: 微分幾何学において、存在性と一意性に関する定理はほとんどが常微分方程式(ODE)システムの解の存在を示すピカールの定理によって証明される。


x\mathbf{x}を点ppに対してp=x(0,0)p = \mathbf{x}(0,0)を満たす座標チャート写像としよう。(u1,u2)(u^{1}, u^{2})x:UM\mathbf{x} : U \to MからUUへの座標である。X=iXixi\mathbf{X} = \sum \limits_{i} X^{i}\mathbf{x}_{i}接ベクトルとしよう。γ(s)=x(γ1(s),γ2(s))\boldsymbol{\gamma}(s) = \mathbf{x}(\gamma^{1}(s), \gamma^{2}(s))としよう。これで、以下のようなODEシステムの初期値問題を考えよう。

(γk)= i,jΓijk(γi)(γj)γi(s0)= 0(γi)(s0)= Xi \begin{align} (\gamma^{k})^{\prime \prime} =&\ -\sum_{i,j}{\Gamma_{ij}}^{k}(\gamma^{i})^{\prime} (\gamma^{j})^{\prime} \\ \gamma^{i}(s_{0}) =&\ 0 \nonumber \\ (\gamma^{i})^{\prime}(s_{0}) =&\ X^{i} \nonumber \end{align}

すると、ピカールの定理により、s0s_{0}のある近傍でこのODEシステムの解が唯一存在する。単位速度曲線γ\boldsymbol{\gamma}(1)(1)を満たすことが測地線であるための必要十分条件なので、今、このようなγ\boldsymbol{\gamma}が単位速度であるかだけをチェックすればよい。

f(s)=γ(s)2=i,jgij(γi)(s)(γj)(s)f(s) = \left| \boldsymbol{\gamma}^{\prime}(s) \right|^{2} = \sum\limits_{i,j} g_{ij}(\gamma^{i})^{\prime}(s)(\gamma^{j})^{\prime}(s)としよう。証明を終えるために、f(s)=1f(s) = 1であることを示せばよい。連鎖律により、dgijds=kgijuk(γk)\dfrac{d g_{ij}}{d s} = \sum\limits_{k} \dfrac{\partial g_{ij}}{\partial u^{k}}(\gamma^{k})^{\prime}であるので、

f(s)=i,j,kgijuk(γk)(γi)(γj)+i,jgij(γi)(γj)+i,jgij(γi)(γj) f^{\prime}(s) = \sum\limits_{i,j,k}\dfrac{\partial g_{ij}}{\partial u^{k}}(\gamma^{k})^{\prime}(\gamma^{i})^{\prime}(\gamma^{j})^{\prime} + \sum\limits_{i,j} g_{ij}(\gamma^{i})^{\prime \prime}(\gamma^{j})^{\prime} + \sum\limits_{i,j} g_{ij}(\gamma^{i})^{\prime}(\gamma^{j})^{\prime \prime}

この時、gijuk=xi,xjuk=xik,xj+xi,xjk\dfrac{\partial g_{ij}}{\partial u^{k}} = \dfrac{\partial \left\langle \mathbf{x}_{i}, \mathbf{x}_{j} \right\rangle}{\partial u^{k}} = \left\langle \mathbf{x}_{ik}, \mathbf{x}_{j} \right\rangle + \left\langle \mathbf{x}_{i}, \mathbf{x}_{jk} \right\rangleであり、xik,xj=lΓiklglj\left\langle \mathbf{x}_{ik}, \mathbf{x}_{j} \right\rangle = \sum\limits_{l}{\Gamma_{ik}}^{l}g_{lj}が成立するので、一つ目の項に代入すると以下を得る。

f(s)= i,j,k,lgliΓjkl(γk)(γi)(γj)+i,j,k,lgljΓikl(γk)(γi)(γj)+i,jgij(γi)(γj)+i,jgij(γi)(γj) \begin{align*} f^{\prime}(s) =&\ \sum\limits_{i,j,k,l}g_{li}{\Gamma_{jk}}^{l}(\gamma^{k})^{\prime}(\gamma^{i})^{\prime}(\gamma^{j})^{\prime} + \sum\limits_{i,j,k,l}g_{lj}{\Gamma_{ik}}^{l}(\gamma^{k})^{\prime}(\gamma^{i})^{\prime}(\gamma^{j})^{\prime}\\ &+ \sum\limits_{i,j} g_{ij}(\gamma^{i})^{\prime \prime}(\gamma^{j})^{\prime} + \sum\limits_{i,j} g_{ij}(\gamma^{i})^{\prime}(\gamma^{j})^{\prime \prime} \end{align*}

三つ目、四つ目の項のダミーインデックスを交換して整理すると以下を得る。

f(s)= i,j,k,lgliΓjkl(γk)(γi)(γj)+i,j,k,lgljΓikl(γk)(γi)(γj)+l,igli(γl)(γi)+j,lgjl(γj)(γl)= i,j,k,lgli[(γl)+Γjkl(γk)(γj)](γi)+i,j,k,lglj[(γl)+Γikl(γk)(γi)](γj) \begin{align*} f^{\prime}(s) =&\ \sum\limits_{i,j,k,l}g_{li}{\Gamma_{jk}}^{l}(\gamma^{k})^{\prime}(\gamma^{i})^{\prime}(\gamma^{j})^{\prime} + \sum\limits_{i,j,k,l}g_{lj}{\Gamma_{ik}}^{l}(\gamma^{k})^{\prime}(\gamma^{i})^{\prime}(\gamma^{j})^{\prime}\\ &+ \sum\limits_{l,i} g_{li}(\gamma^{l})^{\prime \prime}(\gamma^{i})^{\prime} + \sum\limits_{j,l} g_{jl}(\gamma^{j})^{\prime}(\gamma^{l})^{\prime \prime} \\ =&\ \sum\limits_{i,j,k,l}g_{li}\left[ (\gamma^{l})^{\prime \prime} + {\Gamma_{jk}}^{l}(\gamma^{k})^{\prime}(\gamma^{j})^{\prime} \right] (\gamma^{i})^{\prime} + \sum\limits_{i,j,k,l}g_{lj}\left[ (\gamma^{l})^{\prime \prime} + {\Gamma_{ik}}^{l}(\gamma^{k})^{\prime}(\gamma^{i})^{\prime} \right] (\gamma^{j})^{\prime} \end{align*}

この時、各括弧内の式は、γ\boldsymbol{\gamma}(1)(1)を満たすので、00である。したがって、f(s)=0f^{\prime}(s) = 0であり、ffは定数である。しかし、X\mathbf{X}を単位ベクトルと仮定していたので、

f(s0)=γ(s0)2=X2=1 f(s_{0}) = \left| \boldsymbol{\gamma}^{\prime}(s_{0}) \right|^{2} = \left| \mathbf{X} \right|^{2} = 1

従って、f=1f = 1であり、γ\boldsymbol{\gamma}は単位速度曲線である。


  1. Richard S. Millman and George D. Parker, Elements of Differential Geometry (1977), p111-112 ↩︎