logo

回転面上の測地線 📂幾何学

回転面上の測地線

定理1

スライド27.PNG

スライド28.PNG

MMunit-speed curveで生成された表面の回転だとしよう。そうすると、

(a) すべての経線は測地線である。

(b) 平行線が測地線になる条件は、平行線上のすべての点でxt\mathbf{x}_{t}が回転軸に平行であることだ。

The circle of latitude is a geodesic.    xt is parallel to the axis of revolution at all point on the circle of latitude. \text{The circle of latitude is a geodesic.} \\ \iff \mathbf{x}_{t} \text{ is parallel to the axis of revolution at all point on the circle of latitude.}

説明

測地線が常にグローバルな最短距離の経路になるわけではないが、ローカルには最短距離の経路になることがある。

(b)は表面の回転の最も凸部または最も凹部でのみ、平行線が測地線になることを意味する。

証明

最初に、すべてのケースで共通に使用される部分を計算し、それぞれの場合に適用する。


回転表面をx(t,θ)=(r(t)cosθ,r(t)sinθ,z(t))\mathbf{x}(t, \theta) = \left( r(t)\cos\theta, r(t)\sin\theta, z(t) \right)とする。すると、2つの速度ベクトルは以下のようになる。

xt(t,θ)=x1=(r˙(t)cosθ,r˙(t)sinθ,z˙(t)) \mathbf{x}_{t}(t,\theta) = \mathbf{x}_{1} = \left( \dot{r}(t) \cos \theta, \dot{r}(t) \sin \theta, \dot{z}(t) \right)

xθ(t,θ)=x2=(r(t)sinθ,r(t)cosθ,0) \mathbf{x}_{\theta}(t, \theta) = \mathbf{x}_{2} = \left( -r(t) \sin\theta, r(t)\cos\theta , 0\right)

すると、リーマン計量の行列とその逆行列は以下のようになる。α\alphaがunit-speed curveとされていたので、α˙2=r˙2+z˙2=1\left| \dot{\alpha} \right|^{2} = \dot{r}^{2} + \dot{z}^{2} = 1

[gij]=[x1,x1x1,x2x2,x1x2,x2]=[r˙2+z˙200r2]=[100r2] \left[ g_{ij} \right] = \begin{bmatrix} \left\langle \mathbf{x}_{1}, \mathbf{x}_{1} \right\rangle & \left\langle \mathbf{x}_{1}, \mathbf{x}_{2} \right\rangle \\ \left\langle \mathbf{x}_{2}, \mathbf{x}_{1} \right\rangle & \left\langle \mathbf{x}_{2}, \mathbf{x}_{2} \right\rangle \end{bmatrix} = \begin{bmatrix} \dot{r}^{2} + \dot{z}^{2} & 0 \\ 0 & r^{2} \end{bmatrix} = \begin{bmatrix} 1 & 0 \\ 0 & r^{2} \end{bmatrix}

[gij]1=[glk]=1r2[r2001]=[1001r2] \left[ g_{ij} \right]^{-1} = [g^{lk}] = \dfrac{1}{r^{2}}\begin{bmatrix} r^{2} & 0 \\ 0 & 1 \end{bmatrix} = \begin{bmatrix} 1 & 0 \\ 0 & \dfrac{1}{r^{2}} \end{bmatrix}

クリストッフェル記号

Γijk=12l=12glk(gljuigijul+giluj) \Gamma_{ij}^{k} = \dfrac{1}{2} \sum \limits_{l=1}^{2} g^{lk} \left( \dfrac{\partial g_{lj}}{\partial u_{i}} - \dfrac{\partial g_{ij}}{\partial u_{l}} + \dfrac{\partial g_{il}}{\partial u_{j}} \right)

[gij]\left[ g_{ij} \right]glkg^{lk}は対角行列なので、上記のクリストッフェル記号の公式からl=kl=kの時の項のみが残る。それぞれのΓijk\Gamma_{ij}^{k}を計算すると、以下のようになる。

Γ111= 12g11g11u1=0Γ121= Γ211=12g11(g21u1g12u1+g12u2)=0Γ221= 12g11(g12u2g22u1+g21u2)=12g11g22u1=121g22t=12t(r2)=rr˙Γ112= 12g22(g12u1g11u2+g12u1)=0Γ122= Γ212=12g22(g22u1g12u2+g12u2)=121r2tr2=121r22rr˙=r˙rΓ222= 12g22(g22u2)=121r2θr2=0 \begin{align*} \Gamma_{11}^{1} =&\ \dfrac{1}{2}g^{11}\dfrac{\partial g_{11}}{\partial u_{1}} = 0 \\ \Gamma_{12}^{1} =&\ \Gamma_{21}^{1} = \dfrac{1}{2}g^{11} \left( \dfrac{\partial g_{21}}{\partial u_{1}} - \dfrac{\partial g_{12}}{\partial u_{1}} + \dfrac{\partial g_{12}}{\partial u_{2}}\right) = 0 \\ \Gamma_{22}^{1} =&\ \dfrac{1}{2} g^{11} \left( \dfrac{\partial g_{12}}{\partial u_{2}} - \dfrac{\partial g_{22}}{\partial u_{1}} + \dfrac{\partial g_{21}}{\partial u_{2}}\right) = -\dfrac{1}{2} g^{11} \dfrac{\partial g_{22}}{\partial u_{1}} = -\dfrac{1}{2} 1 \cdot \dfrac{\partial g_{22}}{\partial t} = -\dfrac{1}{2}\dfrac{\partial}{\partial t}(r^{2}) = -r\dot{r} \\ \Gamma_{11}^{2} =&\ \dfrac{1}{2} g^{22} \left( \dfrac{\partial g_{12}}{\partial u_{1}} - \dfrac{\partial g_{11}}{\partial u_{2}} + \dfrac{\partial g_{12}}{\partial u_{1}} \right)=0 \\ \Gamma_{12}^{2} =&\ \Gamma_{21}^{2} = \dfrac{1}{2} g^{22} \left( \dfrac{\partial g_{22}}{\partial u_{1}} - \dfrac{\partial g_{12}}{\partial u_{2}} + \dfrac{\partial g_{12}}{\partial u_{2}} \right) = \dfrac{1}{2} \dfrac{1}{r^{2}} \dfrac{\partial}{\partial t}r^{2} = \dfrac{1}{2} \dfrac{1}{r^{2}} 2 r \dot{r} = \dfrac{\dot{r}}{r} \\ \Gamma_{22}^{2} =&\ \dfrac{1}{2} g^{22} \left( \dfrac{\partial g_{22}}{\partial u_{2}} \right) = \dfrac{1}{2}\dfrac{1}{r^{2}} \dfrac{\partial}{\partial \theta}r^{2} = 0 \end{align*}

測地線の必要十分条件

unit-speed curve α(s)=x(α1(s),α2(s))\alpha (s) = \mathbf{x}(\alpha^{1}(s), \alpha^{2}(s))が測地線であるための必要十分条件は次の通りだ。

α is geodesic    (αk)+i=12j=12Γijk(αi)(αj)=0,k=1,2 \alpha \text{ is geodesic} \iff (\alpha^{k})^{\prime \prime} + \sum \limits_{i=1}^{2} \sum \limits_{j=1}^{2} {\Gamma _{ij}}^{k} (\alpha^{i})^{\prime} (\alpha^{j})^{\prime} = 0, \quad \forall k=1,2

α1(s)=t(s),α2(s)=θ(s)\alpha^{1}(s)=t(s), \alpha^{2}(s)=\theta (s)であるため、回転表面上の曲線が測地線であるための必要十分条件は次の通りだ。

k=1k=1の場合、

(α1)+Γ221(α2)(α2)=trr˙θθ=0 \begin{equation} (\alpha^{1})^{\prime \prime} + \Gamma_{22}^{1}(\alpha^{2})^{\prime}(\alpha^{2})^{\prime} = t^{\prime \prime} -r\dot{r}\theta^{\prime}\theta^{\prime}= 0 \end{equation}

k=2k=2の場合、

(α2)+2Γ122(α1)(α2)=θ+2r˙rtθ=0 \begin{equation} (\alpha^{2})^{\prime \prime} + 2\Gamma_{12}^{2}(\alpha^{1})^{\prime} (\alpha^{2})^{\prime} = \theta^{\prime \prime} + 2\dfrac{\dot{r}}{r} t^{\prime} \theta^{\prime} = 0 \end{equation}

(a)

経線 α\alphaは表面上のパラメータ曲線なので、固定されたθ0\theta_{0}に対して以下の通りだ。

α(s)=x(t(s),θ0)=(r(t)cosθ0,r(t)sinθ0,z(t)), \alpha (s) = \mathbf{x}(t(s), \theta_{0}) = \left( r(t) \cos \theta_{0}, r(t)\sin\theta_{0}, z(t) \right),

この時、θ0\theta_{0}は定数なので、θ=θ=0\theta^{\prime}=\theta^{\prime \prime}=0が成り立ち(2)(2)が満足される。(1)(1)の条件は以下のように単純化される。

t=0 t^{\prime \prime} = 0

経線はs=ts=tの場合なので、t=dtdt=1t^{\prime} = \dfrac{dt}{dt} =1t=0t^{\prime \prime}=0、そして(1)(1)が満たされる。したがって、経線は測地線である。

(b)

平行線はttが定数の場合であるので、t=t=0t^{\prime} = t^{\prime \prime} = 0が成り立つ。まず、x(t,θ)\mathbf{x}(t, \theta)表面の曲線α(θ)\alpha (\theta)ttのみを固定した場合、それがunit-speed curveではないことを示す。

α(θ)=(r(t0)cosθ,r(t0)sinθ,z(t0)) \alpha (\theta) = \left( r(t_{0}) \cos \theta, r(t_{0})\sin \theta, z(t_{0}) \right)

dαdθ=(r(t0)sinθ,r(t0)cosθ,0)=r(t0) \left| \dfrac{d\alpha}{d\theta} \right| = \left| (-r(t_{0})\sin\theta, r(t_{0})\cos\theta, 0) \right| = r(t_{0})

したがって、α(s)=x(t(s),θ(s))\alpha (s) = \mathbf{x}\left( t(s), \theta (s) \right)で述べられたような再パラメータ化された平行線を考える。すると、unit-speed curveなので以下が成立する。

1=α(s)2=xtt+xθθ2=xθθ2=xθ,xθ(θ)2=g22(θ)2 1 = \left| \alpha^{\prime}(s) \right|^{2} = \left| \dfrac{\partial \mathbf{x}}{\partial t}t^{\prime} + \dfrac{\partial \mathbf{x}}{\partial \theta}\theta^{\prime} \right|^{2} = \left| \dfrac{\partial \mathbf{x}}{\partial \theta}\theta^{\prime} \right|^{2} = \left\langle \mathbf{x}_{\theta} , \mathbf{x}_{\theta} \right\rangle (\theta^{\prime})^{2} = g_{22} (\theta^{\prime})^{2}

g22=r2g_{22} = r^{2}であったので、

1=r2(θ)2 1 = r^{2} (\theta^{\prime})^{2}

したがってθ0\theta^{\prime} \ne 0であり、以下が成立する。

0θ=±1r 0 \ne \theta^{\prime} = \pm \dfrac{1}{r}

この時点で、平行線上のrrは定数である。したがって、θ=0\theta^{\prime \prime} = 0が成立し、主に(2)(2)は満たされる。(1)(1)が成立するための必要十分条件は次の通りだ。

(1) is hold.    r˙=0    xt=(r˙cosθ,r˙sinθ,z˙)=(0,0,z˙)    xt is parallel to zaxis. \begin{align*} (1) \text{ is hold.} \iff& \dot{r}=0 \\ \iff& \mathbf{x}_{t} = (\dot{r} \cos \theta, \dot{r}\sin\theta, \dot{z}) = (0,0,\dot{z}) \\ \iff& \mathbf{x}_{t} \text{ is parallel to } z- \text{axis.} \end{align*}

(1)(1)が成立するということは、平行線が測地線であることを意味し、

The circle of latitude is a geodesic.    xt is parallel to the axis of revolution at all point on the circle of latitude. \text{The circle of latitude is a geodesic.} \\ \iff \mathbf{x}_{t} \text{ is parallel to the axis of revolution at all point on the circle of latitude.}


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