微分幾何学では、曲線が測地線であるかどうかを判断するとき、共変微分を用いて曲線の加速度を調べます。特に「曲線c(u)に対してD/du(dc/du)=K(u)dc/duという式が成り立つ場合、これは測地線なのか」という疑問は、測地線の定義と速度ベクトルの変化を理解するうえで重要なポイントです。
この記事では、共変微分の式が表している意味、測地線になる条件、そしてK(u)が存在する場合に曲線がどのような性質を持つのかを整理して解説します。
測地線とは何かを確認する
微分幾何学における測地線とは、曲面上で「最もまっすぐ進む曲線」のことです。
平面上では直線が最短距離の道になりますが、球面のような曲がった空間では直線という概念をそのまま使うことができません。その代わりに、曲線の接ベクトルが変化しない方向に進むものを測地線として定義します。
曲線c(u)の速度ベクトルをdc/duとすると、測地線の条件は、
D/du(dc/du)=0
となります。
ここでD/duは共変微分を表し、曲面上でのベクトルの変化量を測る演算です。
D/du(dc/du)=K(u)dc/duが意味すること
与えられた式、
D/du(dc/du)=K(u)dc/du
は、曲線の加速度ベクトルが速度ベクトルと同じ方向を向いていることを意味します。
通常のユークリッド空間で考えると、速度ベクトルと加速度ベクトルが平行である状態です。
つまり、曲線は進行方向を変えるような曲がり方はしておらず、速さだけが変化している状態になります。
例えば、自動車がまっすぐな道路を走りながらアクセルを踏んで速度だけを変化させている状態をイメージすると近いです。方向転換はしていませんが、速度の大きさは変化しています。
K(u)=0なら測地線になる
測地線の定義と比較すると、
D/du(dc/du)=0
が必要です。
したがって、
D/du(dc/du)=K(u)dc/du
の場合に測地線になるためには、
K(u)=0
である必要があります。
K(u)が常に0なら、速度ベクトルの共変微分は0となり、曲線は測地線になります。
しかし、K(u)が0ではない場合、速度ベクトルの大きさが変化しているだけであり、一般的には測地線とは呼びません。
パラメータの取り方による違いに注意
ただし、ここで重要なのはパラメータuの選び方です。
測地線は通常、弧長パラメータで表した場合に、
D/ds(dc/ds)=0
となります。
一方で、同じ曲線でもパラメータを変更すると、速度の大きさが変わるため、
D/du(dc/du)=K(u)dc/du
のような形になる場合があります。
つまり、曲線そのものは測地線であっても、パラメータの選び方によって式の形が変化する可能性があります。
このような場合、K(u)は曲線の本質的な曲がりではなく、パラメータ変換による速度変化を表しています。
測地線かどうか判断するポイント
与えられた式だけから判断するときは、K(u)が何を意味しているかを確認する必要があります。
もしuが弧長パラメータであり、
D/du(dc/du)=K(u)dc/du
が成立しているなら、速度ベクトルの長さが一定であるため、通常はK(u)=0になります。
なぜなら、速度ベクトルv=dc/duについて、
D/du(v・v)=2(D/du v)・v
となり、弧長パラメータならv・v=1で一定なので、右辺は0になります。
さらにD/du v=K(u)vなら、
2K(u)(v・v)=0
となり、v・v=1なのでK(u)=0になります。
したがって弧長パラメータの場合、この条件は実質的に測地線条件と一致します。
まとめ｜K(u)がある共変微分の式は測地線条件とパラメータが重要
曲線c(u)について、
D/du(dc/du)=K(u)dc/du
という式が成り立つ場合、加速度ベクトルは速度ベクトルと平行であることを意味します。
ただし、一般的な測地線の条件は、
D/du(dc/du)=0
です。
そのため、K(u)=0なら測地線になります。一方でK(u)が0でない場合は、通常は測地線ではありません。
ただし、パラメータの選び方によってK(u)が現れることもあるため、測地線かどうかを判断するときは曲線だけでなく、パラメータの取り方にも注意することが重要です。
コメント