相対論的力学

相対論的力学（）とは、特殊相対性理論、および一般相対性理論に基づく古典力学である。
運動学.
ニュートン力学において粒子の運動は、時刻 を媒介変数とする粒子の位置の関数 として表される。つまり、粒子の運動を表すことは時々刻々の位置を追うことである。
相対論においては時間が空間とともに4元ベクトルとして振る舞うので、運動のパラメータとして時間を用いると、ローレンツ変換の下での共変性が明白ではなくなる。すなわち、相対論において時間は運動を記述する自然なパラメータではなくなる。そもそも相対論には自然なパラメータが存在せず、パラメータの付替えの下で相対論は不変である。なお、明白なローレンツ共変性を犠牲にすれば、時間を運動のパラメータとして選ぶこともできる。
適当な運動のパラメータを として、粒子の位置を
で表す。
パラメータの付替え が適当である条件として、旧いパラメータ の増加に伴って、新たなパラメータ も単調に増加する必要があり
である。特に、光速 を用い、時間 を運動のパラメータとして選ぶことができるので
である。
4元速度と固有時間.
ニュートン力学においては、位置の時間導関数として速度が定義された。
相対論においては自然なパラメータが存在しないため、導関数 formula_1 は物理的意味を持たない。
すなわちパラメータの付替えに対して、導関数は連鎖律により
と変化するので、 の分だけ変化する。
この変化を相殺するように、4元速度は
</math>
で定義される。定義から明らかに である。
運動のパラメータとして時間 を用いれば
,</math>
と表わされる。
ローレンツ因子 を用いれば
である。
固有時間は
で定義される。固有時間 を用いれば4元速度は
と表される。
動力学.
4元運動量.
質量 の粒子の4元運動量は
で与えられる。4元速度の定義から である。この関係式は質量殻条件（）と呼ばれる。
ラグランジュ形式.
平坦な時空の自由粒子.
平坦な時空における相対論的な自由粒子の作用汎関数は
で書かれる。ここで は作用に導関数が含まれない補助変数である。パラメータ付替えの下で
と変換して、作用汎関数のパラメータ付替え不変性を保障する。
力学変数 に共役な運動量は
であり、運動方程式として
が導かれて、自由粒子の運動量は保存する。
拘束条件.
補助変数 から導かれる拘束条件として質量殻条件
が得られる。質量 がゼロでないときには
となって共役運動量は4元運動量に一致する。
拘束条件を用いてラグランジュ関数から補助変数 を消去すれば
であり、作用汎関数は
となり、粒子が時空上に描く世界線の長さに比例する。
複数粒子系.
複数の粒子がある場合は、粒子を区別する添え字 を導入し、各々の粒子の位置 に対する作用汎関数を足し合わせることで相互作用のない自由粒子系の作用汎関数が得られる。すなわち
である。補助変数 は粒子 ごとに導入される。拘束条件として各々の粒子ごとに質量殻条件が得られて、これを用いて補助変数を消去すれば
 d\lambda \\
 &=-\sum_{i\in I} m_i c^2 \int d\tau_i \\
\end{align}</math>
となる。
曲がった時空の自由粒子.
曲がった時空においては時空点に依存する計量 を導入して
となる。作用は計量を置き換えただけであり、平坦な時空の場合と変わらず拘束条件として質量殻条件が導かれる。
共役運動量は質量殻条件を用いれば
となり、運動方程式は
 &= -e^{-1} \varGamma_{\mu\rho\nu}(X) \dot{X}^\rho \dot{X}^\nu(\lambda) -g_{\mu\nu}(X)\, \dot{p}^\nu(\lambda) \\
 &=0 \\
\end{aligned}</math>
として測地線の方程式が導かれる。ここで は接続係数
である。
ベクトル場との相互作用.
ベクトル場 と最小結合の形で相互作用する粒子は、相互作用項が
で書かれる。相互作用項は補助変数 を含まないため拘束条件に影響せず、自由粒子の場合と変わらず質量殻条件が導かれる。
共役運動量は質量殻条件を用いれば
となり、自由粒子の4元運動量にベクトル場が加えられた形となる。
平坦な時空では運動方程式として
が導かれる。ベクトル場が電磁場である場合は、これはローレンツ力である。
ここで はベクトル場の強度
であり、電磁場の場合は電磁場テンソルに相当する。
曲がった時空での運動方程式は
となる。テンソル添字は時空の計量を用いて
により上げ下げされる。
ハミルトン形式.
自由粒子のハミルトン関数は、平坦な時空においては
となり、曲がった時空においては
となる。
ベクトル場 と相互作用する粒子のハミルトン関数は
となる。