相対論的力学

**相対論的力学**（そうたいろんてきりきがく、）とは、特殊相対性理論、および一般相対性理論に基づく古典力学である。

この記事では計量テンソルの符号の規約として  を採用する。

## 運動学
ニュートン力学において粒子の運動は、時刻  を媒介変数とする粒子の位置の関数  として表される。つまり、粒子の運動を表すことは時々刻々の位置を追うことである。
相対論においては時間が空間とともに4元ベクトルとして振る舞うので、運動のパラメータとして時間を用いると、ローレンツ変換の下での共変性が明白ではなくなる。すなわち、相対論において時間は運動を記述する自然なパラメータではなくなる。そもそも相対論には自然なパラメータが存在せず、パラメータの付替えの下で相対論は不変である。なお、明白なローレンツ共変性を犠牲にすれば、時間を運動のパラメータとして選ぶこともできる。

適当な運動のパラメータを  として、粒子の位置を

で表す。

パラメータの付替え  が適当である条件として、旧いパラメータ  の増加に伴って、新たなパラメータ  も単調に増加する必要があり

である。特に、光速  を用い、時間  を運動のパラメータとして選ぶことができるので

である。

### 4元速度と固有時間
ニュートン力学においては、位置の時間導関数として速度が定義された。
相対論においては自然なパラメータが存在しないため、導関数 \dot{X} は物理的意味を持たない。
すなわちパラメータの付替えに対して、導関数は連鎖律により

と変化するので、 の分だけ変化する。
この変化を相殺するように、4元速度は

}}
で定義される。定義から明らかに  である。

運動のパラメータとして時間  を用いれば
,
}}
{\sqrt{1-v^2/c^2}}
}}
と表わされる。
ローレンツ因子  を用いれば

である。

固有時間は

で定義される。固有時間  を用いれば4元速度は

と表される。

## 動力学
### 4元運動量
質量  の粒子の4元運動量は

で与えられる。4元速度の定義から  である。この関係式は質量殻条件（）と呼ばれる。

### 相対論的運動方程式と4元力
ニュートンの運動方程式により、ニュートン力学における力は運動量の時間導関数と関係付けられた。
相対論においては自然なパラメータが存在しないため、導関数 \dot{p} は物理的意味を持たない。
そこで運動のパラメータとして固有時間  を選び、相対論的な粒子の運動方程式を

と表わす。このときの  が4元力である。

適当なパラメータ  を用いた場合は連鎖律により

で表される。
運動のパラメータとして時間  を用いれば
,
}}
{\sqrt{1-v^2/c^2}}
}}
と表わされる。
ローレンツ因子  を用いれば

である。

## ラグランジュ形式
### 平坦な時空の自由粒子
平坦な時空における相対論的な自由粒子の作用汎関数は

で書かれる。ここで  はラグランジュ関数に導関数が含まれない補助変数である。パラメータ付替えの下で

と変換して、作用汎関数のパラメータ付替え不変性を保障する。

力学変数  に共役な運動量は

であり、運動方程式として

が導かれて、自由粒子の運動量は保存する。

#### 拘束条件
補助変数  から導かれる拘束条件として質量殻条件

が得られる。質量  がゼロでないときには

となって共役運動量は4元運動量に一致する。

拘束条件を用いてラグランジュ関数から補助変数  を消去すれば

であり、作用汎関数は

となり、粒子が時空上に描く世界線の長さに比例する。

#### 複数粒子系
複数の粒子がある場合は、粒子を区別する添え字  を導入し、各々の粒子の位置  に対する作用汎関数を足し合わせることで相互作用のない自由粒子系の作用汎関数が得られる。すなわち

である。補助変数  は粒子  ごとに導入される。拘束条件として各々の粒子ごとに質量殻条件が得られて、これを用いて補助変数を消去すれば
 d\lambda \\
 &=-\sum_{i\in I} m_i c^2 \int d\tau_i \\
\end{align}
}}
となる。

### 曲がった時空の自由粒子
曲がった時空においては時空点に依存する計量  を導入して

となる。作用は計量を置き換えただけであり、平坦な時空の場合と変わらず拘束条件として質量殻条件が導かれる。

共役運動量は質量殻条件を用いれば

となり、運動方程式は
{2} \partial_\mu g_{\rho\nu}(X)\dot{X}^\rho \dot{X}^\nu(\lambda) -\dot{P}_\mu(\lambda) \\
 &= -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}
}}

として測地線の方程式が導かれる。従って、曲がった時空における慣性力、あるいは重力の4元力は

となる。ここで  は接続係数

である。

### ベクトル場との相互作用
ベクトル場  と最小結合の形で相互作用する粒子は、相互作用項が

で書かれる。相互作用項は補助変数  を含まないため拘束条件に影響せず、自由粒子の場合と変わらず質量殻条件が導かれる。

共役運動量は質量殻条件を用いれば

となり、自由粒子の4元運動量にベクトル場が加えられた形となる。
平坦な時空では運動方程式として

が導かれる。ベクトル場が電磁場である場合は、これはローレンツ力であり、4元力は

となる。ここで  はベクトル場の強度

であり、電磁場の場合は電磁場テンソルに相当する。

曲がった時空での運動方程式は

となる。テンソル添字は時空の計量を用いて

により上げ下げされる。

### スカラー場との相互作用
スカラー場  と相互作用する粒子の作用汎関数は

で書かれる。スカラー場は質量を

と変化させる。

共役運動量は

となって、見掛けは自由粒子と同じであるが、拘束条件が

となるので、質量殻条件が修正される。拘束条件を用いて補助変数を消去すれば共役運動量は

となる。運動方程式として

が導かれる。

## ハミルトン形式
自由粒子のハミルトン関数は、平坦な時空においては

となり、曲がった時空においては

となる。

ベクトル場  と相互作用する粒子のハミルトン関数は

となり、スカラー場  と相互作用する粒子のハミルトン関数は

となる。

これらは何れも

という形で書かれている。

### 特異ラグランジュ系からの移行
補助変数  はラグランジュ関数に導関数が含まれないため、共役運動量が
 =0
}}
となり、\dot{e} について解けない特異ラグランジュ系である。この特異系には一次拘束条件 \phi =P_e \approx 0 が課されている。

特異ラグランジュ系からハミルトン系へ移行するとき、ハミルトン関数は一意に定まらず、未定乗数  を導入して

と書かれる。拘束関数 \phi=P_e の導関数はポアソン括弧により

であり、拘束条件が常に満たされるためには、新たに二次拘束条件として \chi =-\dot{\phi} \approx 0 が課される。この拘束条件は質量殻条件である。
新たな拘束関数の導関数は

であり、これ以上の二次拘束条件は課されない。

## 脚注


## 参考文献
* 
* 
* 
* 
* 

## 関連項目
* 特殊相対性理論 - 一般相対性理論
* 古典電磁気学の共変定式
* 相対論的量子力学