定義
多様体を,曲線を,ラグランジアンを接束上の関数,作用をとする。は区間から多様体への級写像全体の集合,つまり曲線全体の集合である。閉区間をとなるようにとる。作用の値は曲線の速度ベクトルをとして,
で与えられる。今は時間に陽に依存しないラグランジアンを考えているが依存していても以降の議論は変わらない。
多様体上の変分法
曲線の変形をとする。これはをひとつ決めると上の点を動かした点を与える。は変形された曲線を表す。この定義にはユークリッド空間の座標を使っていないので多様体上の変分法を表現できる。
変形の条件として以下を課す。
- はもとの点の位置を変えない:
- 端点の固定:任意のに対して
- は級である。変形された曲線は自己交差を起こさない。
変形された曲線に対する作用の値は次のようになる。
EL方程式の導出
曲線を固定するとはの関数である。状況としてはひとつの決まった曲線をパラメータに応じてぐにゃぐにゃ曲げている。曲線が作用の停留を与えているならば,における微分係数がである(の変数関数だから例えば2次関数を思い浮かべてもらえればよい)。よって停留作用の原理は以下で与えられる。
多様体のチャートを,局所座標をとする。接束に自然に誘導されるチャートの局所座標をとする。速度ベクトルの第成分にはの関係がある。合成関数の微分を行うと,
となる。の微分係数をとっている点は,から来ている。計算の途中ではこの表示を省く。の中の第2項は変形が級であることからの微分との微分を交換することができる[1]。
の微分を前に持ってきて部分積分を行う。もうこうなれば普通のEL方程式の導出と同じである。
境界項は端点においては任意ので変形がない(定値写像である)ので微分係数がゼロになり消える。ここで,とおく。は変分ベクトル場というベクトル場の第成分を定める(これは点における接ベクトルの成分である)。部分積分で得た第2項を元の積分の中に戻すと,
変分法の基本補題[2]を適用することで,多様体上のEL方程式を得る。
[1]: 微分の順序交換は級で十分であるがそう限る必要はないので級を課した。 ↩