特殊相対論

メインページ > 自然科学 > 物理学 > 特殊相対論

本項は特殊相対論の解説です。特殊相対論は電磁気学、相対論的量子論、場の量子論、一般相対論など広範な物理学の基礎となる理論である。

原理

光速度不変の原理　真空中の光の速度はどの慣性系から見ても一定である。

特殊相対性原理　どの慣性系でも物理法則は同じ形式で表される。

ローレンツ変換

慣性系 $K$ の座標を $ct,x$、 慣性系 $K'$ の座標を $ct',x'$ とする。$K'$ は $K$ に対して速度 $V$ の一様な並進運動をしているとき、2つの慣性系の間の対応を求めよう。

まず、$ct',x'$ は $ct,x$ に関する一次関数でなくてはならない。なぜなら、二次以上の項が含まれていると、世界間隔が任意の慣性系で不変であるという条件 $c^{2}dt'^{2}-dx'^{2}=c^{2}dt^{2}-dx^{2}$ が満たされないからである。さらに、$ct',x'$の原点を適当に選ぶことで、定数項も0とすることができる。

また、$K'$ で静止している物体について考えると明らかに $x'=\mathrm {const} .$ この物体の位置を $K$ で観察すると、 $x=Vt+\mathrm {const.}$ すなわち、$x'$ は $x-Vt$ に比例して、その比例係数を $\gamma$ とすると、 $x'=\gamma (x-Vt)$ と表される。$ct'=\gamma (act+bx)$ と置くと、

$cdt'=\gamma (acdt+bdx),\,dx'=\gamma (-Vdt+dx).$

世界間隔が慣性系で不変であるから、

${\begin{aligned}c^{2}dt'^{2}-dx'^{2}&=\gamma ^{2}\{(acdt+bdx)^{2}-(-Vdt+dx)^{2}\}\\&=\gamma ^{2}\{(a^{2}c^{2}-V^{2})dt^{2}+(b^{2}-1)dx^{2}+2(abc+V)dtdx\}\\&=c^{2}dt^{2}-dx^{2}\end{aligned}}$

すなわち、

${\begin{cases}\gamma ^{2}(a^{2}c^{2}-V^{2})=c^{2}\\\gamma ^{2}(b^{2}-1)=-1\\abc+V=0\end{cases}}$

第三式を第二式に代入して、 $\gamma ^{2}\left(a^{2}-{\frac {V^{2}}{c^{2}}}\right)=a^{2}.$ これを第一式と比較して $a=1.$ 第三式より $b=-{\frac {V}{c}}.$ 第二式より $\gamma ={\frac {1}{\sqrt {1-{\frac {V^{2}}{c^{2}}}}}}.$ここで、$\gamma ,a$ は正に選ばなくてはいけない。$\gamma$ が負であるとすれば $x'=\gamma (x-Vt)$ から $x$ と $x'$ が逆向きとなってしまう。それは慣性系 $K,K'$ の設定と異なる。$a$ も同じ理由である。

$\beta ={\frac {V}{c}}$ とすると、ローレンツ変換は

${\begin{pmatrix}ct'\\x'\end{pmatrix}}=\gamma {\begin{pmatrix}1&-\beta \\-\beta &1\end{pmatrix}}{\begin{pmatrix}ct\\x\end{pmatrix}}$

と書かれる。

ローレンツ変換の図示

ローレンツ変換をまた別の方法で求めよう。ローレンツ変換を原点からの世界間隔 $s^{2}=(ct)^{2}-x^{2}$ が変化しないミンコフスキー空間の回転として表してみる。$s^{2}$ を正として $t>0$ の部分は、 $ct=s\cosh \theta ,\,x=s\sinh \theta$ と表すことが出来る。この点を回転角 $-\psi$ だけ回転させた点 $ct',x'$ は、

${\begin{aligned}ct'&=s\cosh(\theta -\psi )\\&=s\cosh \theta \cosh \psi -s\sinh \theta \sinh \psi \\&=ct\cosh \psi -x\sinh \psi \end{aligned}}$

${\begin{aligned}x'&=s\sinh(\theta -\psi )\\&=s\sinh \theta \cosh \psi -s\cosh \theta \sinh \psi \\&=x\cosh \psi -ct\sinh \psi \end{aligned}}$

という変換になる。

行列で表すと、${\begin{pmatrix}ct'\\x'\end{pmatrix}}={\begin{pmatrix}\cosh \psi &-\sinh \psi \\-\sinh \psi &\cosh \psi \end{pmatrix}}{\begin{pmatrix}ct\\x\end{pmatrix}}$ である。前述の議論より、ローレンツ変換は線型変換だから、この変換が時空間全体に適用されると考えるべきである。実際に、$s^{2}$ が正で $t<0$ の部分については、$\theta \to \theta +\psi$ として上の変換を得る。$s^{2}$ が負で $x>0$ の部分には、 $\theta \to \theta -\psi$、$x<0$ の部分には、 $\theta \to \theta +\psi$ と変換すれば良い。$K$系での原点 $x=0$ は $K'$ 系では、$ct'=ct\cosh \psi ,\,x'=-ct\sinh \psi$ である。二式を割って、$\tanh \psi =-{\frac {x'}{ct'}}={\frac {V}{c}}.$ ここで、${\frac {x'}{t'}}$ は $K'$ での $K$ の原点の速度に等しいから $-V$ である。双曲線関数の公式 $1-\tanh ^{2}\psi ={\frac {1}{\cosh ^{2}\psi }}$から、$\cosh \psi ={\frac {1}{\sqrt {1-{\frac {V^{2}}{c^{2}}}}}},\,\sinh \psi =\tanh \psi \cosh \psi ={\frac {\frac {V}{c}}{\sqrt {1-{\frac {V^{2}}{c^{2}}}}}}$ となる。 この結果は前述の結果と一致する。また、$\psi$ はラピディティと呼ばれる。

速度の合成則

慣性系 $K$ に対し、系 $K'$ は速度 $V_{1}$ の一様な並進運動を行っている。また、系 $K''$ は $K'$ に対して、速度 $V_{2}$ の一様な並進運動を行っている。このとき、 $K''$ は $K$ から見てどのような運動を行っているだろうか？

$\tanh \theta _{1}={\frac {V_{1}}{c}},\,\tanh \theta _{2}={\frac {V_{2}}{c}}$ としてラピディティを導入すると、

${\begin{aligned}{\begin{pmatrix}ct''\\x''\end{pmatrix}}&={\begin{pmatrix}\cosh \theta _{2}&-\sinh \theta _{2}\\-\sinh \theta _{2}&\cosh \theta _{2}\end{pmatrix}}{\begin{pmatrix}ct'\\x'\end{pmatrix}}\\&={\begin{pmatrix}\cosh \theta _{2}&-\sinh \theta _{2}\\-\sinh \theta _{2}&\cosh \theta _{2}\end{pmatrix}}{\begin{pmatrix}\cosh \theta _{1}&-\sinh \theta _{1}\\-\sinh \theta _{1}&\cosh \theta _{1}\end{pmatrix}}{\begin{pmatrix}ct\\x\end{pmatrix}}\\&={\begin{pmatrix}\cosh(\theta _{1}+\theta _{2})&-\sinh(\theta _{1}+\theta _{2})\\-\sinh(\theta _{1}+\theta _{2})&\cosh(\theta _{1}+\theta _{2})\end{pmatrix}}{\begin{pmatrix}ct\\x\end{pmatrix}}.\end{aligned}}$

すなわち、$K''$ は $K$ に対して、ラピディティ $\theta =\theta _{1}+\theta _{2}$ のローレンツ変換である。ニュートン力学では速度の合成は速度の和であったが、特殊相対論では速度の合成はラピディティの足し算であるということである。$K$ から見た $K''$ の速度 ${\frac {V}{c}}=\tanh \theta$ を$V_{1},V_{2}$ で表すと、双曲線関数の加法定理 $\tanh(\theta _{1}+\theta _{2})={\frac {\tanh \theta _{1}+\tanh \theta _{2}}{1+\tanh \theta _{1}\tanh \theta _{2}}}$ より、${\frac {V}{c}}={\frac {{\frac {V_{1}}{c}}+{\frac {V_{2}}{c}}}{1+{\frac {V_{1}V_{2}}{c^{2}}}}}$ である。この式は速度が光速度よりも十分小さいとする極限ではニュートン力学における通常の速度の合成に帰着する。もちろん、ラピディティを経由せずに速度の合成則を求めることも可能である。詳しくは速度の合成則を参照すること。

自由粒子の作用

特殊相対論的な自由粒子の作用 $S_{\mathrm {mat} }$ を求めよう。特殊相対性原理より、それは慣性系の選択に依存しない量でなくてはいけない。すなわち、ローレンツ変換に対して不変でなくてはならない。世界間隔 $ds^{2}$ はローレンツ変換に対して不変な量であるから、これを使って、

$S_{\mathrm {mat} }=-mc\int _{a}^{b}ds$

のように書けるだろう。ここで、 $m$ は粒子に固有の定数で、後にこれが質量であることを示す。

$S_{\mathrm {mat} }=-mc^{2}\int _{t_{a}}^{t_{b}}{\sqrt {1-{\frac {v^{2}}{c^{2}}}}}dt$

であるから、対応するラグランジアンは

$L_{\mathrm {mat} }=-mc^{2}{\sqrt {1-{\frac {v^{2}}{c^{2}}}}}$

である。ところで、ニュートン力学は特殊相対論の $v\ll c$ とした極限の場合と考えられるので、 $L_{\mathrm {mat} }$ は $v\ll c$ の条件でニュートン力学の自由粒子のラグランジアンに一致するべきである。実際、

$L_{\mathrm {mat} }\approx -mc^{2}\left(1-{\frac {1}{2}}{\frac {v^{2}}{c^{2}}}\right)=-mc^{2}+{\frac {1}{2}}mv^{2}$

となる。第一項の定数項は無視して、ニュートン力学のラグランジアンに一致することが確かめられた。ここにきて、定数 $m$ が粒子の質量であることも確定する。

運動量 ${\boldsymbol {p}}$ は${\frac {\partial L_{\mathrm {mat} }}{\partial {\boldsymbol {v}}}}$ であり、エネルギー $E$ は $E={\boldsymbol {p}}\cdot {\boldsymbol {v}}-L_{\mathrm {mat} }$ と定義される。この式に従って計算すると、

${\begin{aligned}{\boldsymbol {p}}&={\frac {\partial L_{\mathrm {mat} }}{\partial {\boldsymbol {v}}}}\\&=-mc^{2}{\frac {\partial v^{2}}{\partial {\boldsymbol {v}}}}{\frac {d}{dv^{2}}}{\sqrt {1-{\frac {v^{2}}{c^{2}}}}}\\&=-mc^{2}(2{\boldsymbol {v}})\left(-{\frac {1}{2}}{\frac {1}{c^{2}}}{\frac {1}{\sqrt {1-{\frac {v^{2}}{c^{2}}}}}}\right)\\&={\frac {m{\boldsymbol {v}}}{\sqrt {1-{\frac {v^{2}}{c^{2}}}}}}\end{aligned}}$

${\begin{aligned}E&={\boldsymbol {p}}\cdot {\boldsymbol {v}}-L_{\mathrm {mat} }\\&={\frac {mv^{2}}{\sqrt {1-{\frac {v^{2}}{c^{2}}}}}}+mc^{2}{\sqrt {1-{\frac {v^{2}}{c^{2}}}}}\\&={\frac {mc^{2}}{\sqrt {1-{\frac {v^{2}}{c^{2}}}}}}\end{aligned}}$

となる。エネルギー $E$ は粒子の速度が0の場合でも0にならず、$E=mc^{2}$ が残る。これを静止エネルギーという。

4元運動量

4元運動量 $p^{\mu }$ を

$p^{\mu }=m{\frac {dx^{\mu }}{d\tau }}$

として定義しよう。$d\tau ={\sqrt {1-{\frac {v^{2}}{c^{2}}}}}dt$ であることを考えると、 $p^{\mu }={\frac {m}{\sqrt {1-{\frac {v^{2}}{c^{2}}}}}}{\frac {dx^{\mu }}{dt}}$ であるから、時間成分と空間成分を分けて書くと

$p^{\mu }=\left({\frac {mc}{\sqrt {1-{\frac {v^{2}}{c^{2}}}}}},{\frac {m{\boldsymbol {v}}}{\sqrt {1-{\frac {v^{2}}{c^{2}}}}}}\right)=\left({\frac {E}{c}},{\boldsymbol {p}}\right).$

ここで、 $dx^{\mu }dx_{\mu }=c^{2}d\tau ^{2}$ の両辺を $d\tau ^{2}$ で割って $m^{2}$ を掛けると $p^{\mu }p_{\mu }=m^{2}c^{2}$が得られる。この式に4元運動量の成分を代入すると

$E^{2}=m^{2}c^{4}+{\boldsymbol {p}}^{2}c^{2}$

を得る。

同じように、4元速度 $u^{\mu }$ を定義することが出来る。

$u^{\mu }={\frac {dx^{\mu }}{d\tau }}=\left({\frac {c}{\sqrt {1-{\frac {v^{2}}{c^{2}}}}}},{\frac {\boldsymbol {v}}{\sqrt {1-{\frac {v^{2}}{c^{2}}}}}}\right).$

また、$u^{\mu }u_{\mu }=c^{2}.$

電磁気学

粒子の作用はローレンツ不変な形式でなくてはならない。すなわち、作用は粒子の世界線に沿ったスカラー $P$ の積分と4元ベクトル $Q_{\mu }$ の線積分の和

$S=\int _{a}^{b}Pds+\int _{a}^{b}Q_{\mu }dx^{\mu }$

の形に限られるだろう。自由粒子については $P=-mc,\,Q_{\mu }=0$ なのであった。

電磁場と相互作用する粒子の作用 $S_{\mathrm {int} }$ は、$P=0$、$Q_{\mu }=-qA_{\mu }$ とした

$S_{\mathrm {int} }=-q\int _{a}^{b}A_{\mu }dx^{\mu }$

である。4元ベクトル $A_{\mu }$ は電磁場（あるいは4元ポテンシャル、電磁ポテンシャル）と呼ばれ、 $q$ は電荷と呼ばれる量である。電磁場 $A^{\mu }$ の成分は、$A^{\mu }=\left({\frac {\phi }{c}},{\boldsymbol {A}}\right)$ であり、$\phi$ はスカラーポテンシャル、${\boldsymbol {A}}$ はベクトルポテンシャルと呼ばれる。

作用の時間成分と空間成分を分けて書くと

$S_{\mathrm {int} }=q\int _{a}^{b}(-\phi dt+{\boldsymbol {A}}\cdot {\boldsymbol {d}}r)=q\int _{a}^{b}(-\phi +{\boldsymbol {A}}\cdot {\boldsymbol {v}})dt.$

自由粒子の作用と合わせると、

$S_{\mathrm {mat} }+S_{\mathrm {int} }=\int _{t_{a}}^{t_{b}}\left(-mc^{2}{\sqrt {1-{\frac {v^{2}}{c^{2}}}}}-q\phi +q{\boldsymbol {A}}\cdot {\boldsymbol {v}}\right)dt$

となる。この被積分関数が電磁場中の粒子のラグランジアン $L$ である。

電磁場中の運動方程式を求めるためには、オイラーラグランジュ方程式

${\frac {d}{dt}}{\frac {\partial L}{\partial {\boldsymbol {v}}}}={\frac {\partial L}{\partial {\boldsymbol {r}}}}$

を求めれば良い。

${\frac {\partial L}{\partial {\boldsymbol {v}}}}={\frac {m{\boldsymbol {v}}}{\sqrt {1-{\frac {v^{2}}{c^{2}}}}}}+q{\boldsymbol {A}}={\boldsymbol {p}}+q{\boldsymbol {A}}$

${\frac {\partial L}{\partial {\boldsymbol {r}}}}=q\nabla ({\boldsymbol {A}}\cdot {\boldsymbol {v}})-q\nabla \phi =q({\boldsymbol {v}}\cdot \nabla ){\boldsymbol {A}}+q{\boldsymbol {v}}\times (\nabla \times {\boldsymbol {A}})-q\nabla \phi$

また、${\frac {d{\boldsymbol {A}}}{dt}}={\frac {\partial {\boldsymbol {A}}}{\partial t}}+\sum _{i=1,2,3}{\frac {dx^{i}}{dt}}{\frac {\partial {\boldsymbol {A}}}{\partial x^{i}}}={\frac {\partial {\boldsymbol {A}}}{\partial t}}+({\boldsymbol {v}}\cdot \nabla ){\boldsymbol {A}}$ である。

最終的に、オイラーラグランジュ方程式は

${\frac {d{\boldsymbol {p}}}{dt}}=-q\nabla \phi -q{\frac {\partial {\boldsymbol {A}}}{\partial t}}+q{\boldsymbol {v}}\times (\nabla \times {\boldsymbol {A}})$

となる。これが粒子の運動方程式である。第一項と第二項の電荷当たりにかかる力を電場 ${\boldsymbol {E}}$ といい、第三項の速度に直交する部分を磁場 ${\boldsymbol {B}}$ という。

${\boldsymbol {E}}=-\nabla \phi -{\frac {\partial {\boldsymbol {A}}}{\partial t}}$

${\boldsymbol {B}}=\nabla \times {\boldsymbol {A}}$

また、運動方程式は ${\frac {d{\boldsymbol {p}}}{dt}}=q({\boldsymbol {E}}+{\boldsymbol {v}}\times {\boldsymbol {B}})$ となり右辺はローレンツ力と呼ばれる。

電場と磁場の定義より

$\nabla \times {\boldsymbol {E}}=\nabla \times \nabla \phi -{\frac {\partial }{\partial t}}\nabla \times {\boldsymbol {A}}=-{\frac {\partial {\boldsymbol {B}}}{\partial t}}$

$\nabla \cdot {\boldsymbol {B}}=\nabla \cdot \nabla \times {\boldsymbol {A}}=0$

である。これでマクスウェルの方程式のうち二式を得る。

ここで、もう一度粒子の運動方程式を求めることにしよう。今度は4元形式を崩さない形で求める。

粒子の作用は

$S_{\mathrm {mat} }=-mc\int _{a}^{b}ds$

$S_{\mathrm {int} }=-q\int _{a}^{b}A_{\mu }dx^{\mu }=-q\int _{a}^{b}A_{\mu }{\frac {dx^{\mu }}{d\tau }}d\tau$

である。作用の変分は、

${\begin{aligned}\delta S_{\mathrm {mat} }&=-mc\delta \int _{a}^{b}{\sqrt {dx^{\mu }dx_{\mu }}}\\&=-mc\int _{a}^{b}{\frac {\delta (dx^{\mu })dx_{\mu }+dx^{\mu }\delta (dx_{\mu })}{2{\sqrt {dx^{\mu }dx_{\mu }}}}}\\&=-mc\int _{a}^{b}{\frac {2dx^{\mu }\delta (dx_{\mu })}{2cd\tau }}\\&=-m\int _{a}^{b}{\frac {dx^{\mu }}{d\tau }}d(\delta x_{\mu })\\&=-m\int _{a}^{b}u^{\mu }{\frac {d(\delta x_{\mu })}{d\tau }}d\tau \\&=-mu^{\mu }\delta x_{\mu }|_{a}^{b}+m\int _{a}^{b}{\frac {du^{\mu }}{d\tau }}\delta x_{\mu }d\tau \\&=m\int _{a}^{b}{\frac {du^{\mu }}{d\tau }}\delta x_{\mu }d\tau \end{aligned}}$

であり、

${\begin{aligned}\delta S_{\mathrm {int} }&=-q\delta \int _{a}^{b}A_{\mu }{\frac {dx^{\mu }}{d\tau }}d\tau \\&=-q\int _{a}^{b}A_{\mu ,\nu }\delta x^{\nu }{\frac {dx^{\mu }}{d\tau }}d\tau -q\int _{a}^{b}A_{\mu }{\frac {d\delta x^{\mu }}{d\tau }}d\tau \\&=-q\int _{a}^{b}A_{\mu ,\nu }\delta x^{\nu }{\frac {dx^{\mu }}{d\tau }}d\tau -qA_{\mu }\delta x^{\mu }|_{a}^{b}+q\int _{a}^{b}{\frac {dA_{\nu }}{d\tau }}\delta x^{\nu }d\tau \\&=-q\int _{a}^{b}(A_{\mu ,\nu }-A_{\nu ,\mu })u^{\mu }\delta x^{\nu }d\tau \end{aligned}}$

である。電磁場の強度 $F_{\mu \nu }$ を $F_{\mu \nu }=A_{\nu ,\mu }-A_{\mu ,\nu }$ と定義すると、

$\delta S_{\mathrm {int} }=-q\int _{a}^{b}F^{\mu \nu }u_{\nu }\delta x_{\mu }d\tau$

となる。$\delta (S_{\mathrm {mat} }+S_{\mathrm {int} })=0$ より、運動方程式

$m{\frac {du^{\mu }}{d\tau }}=qF^{\mu \nu }u_{\nu }$

を得る。

$F_{\mu \nu }$は反対称 $F_{\mu \nu }=-F_{\nu \mu }$ であるから、対角成分 $F_{\mu \mu }$ は0。つまり電磁場テンソルの上半分の6成分を調べれば残りは分かる。

電磁場の強度 $F_{\mu \nu }$ の成分は

$F_{01}=-{\frac {1}{c}}{\frac {\partial A_{x}}{\partial t}}-{\frac {1}{c}}{\frac {\partial \phi }{\partial x}}={\frac {E_{x}}{c}}$

$F_{12}=-{\frac {\partial A_{y}}{\partial x}}+{\frac {\partial A_{x}}{\partial y}}=-B_{z}$

等により、

$F_{\mu \nu }={\begin{pmatrix}0&{\frac {E_{x}}{c}}&{\frac {E_{y}}{c}}&{\frac {E_{z}}{c}}\\-{\frac {E_{x}}{c}}&0&-B_{z}&B_{y}\\-{\frac {E_{y}}{c}}&B_{z}&0&-B_{x}\\-{\frac {E_{z}}{c}}&-B_{y}&B_{x}&0\end{pmatrix}}$

$F^{\mu \nu }={\begin{pmatrix}0&-{\frac {E_{x}}{c}}&-{\frac {E_{y}}{c}}&-{\frac {E_{z}}{c}}\\{\frac {E_{x}}{c}}&0&-B_{z}&B_{y}\\{\frac {E_{y}}{c}}&B_{z}&0&-B_{x}\\{\frac {E_{z}}{c}}&-B_{y}&B_{x}&0\end{pmatrix}}$

を得る。ちなみに、$F_{ij}=-\varepsilon _{ijk}B_{k}$ である。実際、$-\varepsilon _{ijk}B_{k}=-\varepsilon _{ijk}(-\varepsilon _{klm}\partial _{l}A_{m})=A_{j}{}_{,i}-A_{i}{}_{,j}.$ ただし、$A_{i}$ に負号がついていることに注意。

$m{\frac {du^{\mu }}{d\tau }}=qF^{\mu \nu }u_{\nu }$

の $\tau$ を $t$ に変換してローレンツ因子の分を除すると、

${\frac {dp^{\mu }}{dt}}=qF^{\mu \nu }{\frac {dx_{\nu }}{dt}}$

を得る。$\mu =1,2,3$ については、ローレンツ力の式 ${\frac {d{\boldsymbol {p}}}{dt}}=q({\boldsymbol {E}}+{\boldsymbol {v}}\times {\boldsymbol {B}})$ となる。

$\mu =0$ について計算すると、${\frac {d{\mathcal {E}}}{dt}}=q{\boldsymbol {E}}\cdot {\boldsymbol {v}}$ を得る。これは電磁場が粒子に対してする仕事である。磁場は粒子に対して仕事をしないことがわかる。

電磁場の作用

電磁場の作用を求めるにあたって、まずは電磁場と相互作用する粒子の作用 $S_{\mathrm {int} }$ に少しの変更を加えよう。これはある粒子の経路について変分をとるから、一つの粒子に対する作用であったが、電磁場の作用を求めるために、これを存在するすべての粒子に対する和に変更しなくてはいけない。作用は、

$S_{\mathrm {int} }=-\sum _{i}q_{i}\int _{a}^{b}A_{\mu }dx^{\mu }$となる。ここで、$i$ は存在するすべての粒子のラベルである。積分はそれぞれの粒子の世界線に沿った経路ものになる。電荷密度 $\rho$ をディラックのデルタ関数を使って

$\rho =\sum _{i}q_{i}\delta ({\boldsymbol {r}}-{\boldsymbol {r}}_{i})$

と定義する。${\boldsymbol {r}}_{i}$ は $i$ 番目の電荷の位置ベクトルである。さらに、4元電流密度 $j^{\mu }$を

$j^{\mu }=\rho {\frac {dx^{\mu }}{dt}}=(c\rho ,\rho {\boldsymbol {v}})=(c\rho ,{\boldsymbol {j}})$

と定義する。ここで、4元電流密度は $\rho {\frac {dx^{\mu }}{d\tau }}$ ではない。 $\rho$ がスカラーではないからこの量が4元ベクトルとはならためである。電荷密度 $\rho$ がスカラーではないことはローレンツ収縮が起こるためである。ある微小領域 $dV$ に存在する電荷はローレンツ不変だが、微小領域の体積 $dV$ はローレンツ収縮によって変化しうる。これに伴って電荷密度 $\rho$ も変化するためローレンツ不変ではない。微小領域に存在する電荷は $dq=\rho dV$ でこの量はローレンツ不変である。両辺に $dx^{\mu }$ を掛けて、

$dqdx^{\mu }=\rho dVdx^{\mu }=\rho dVdt{\frac {dx^{\mu }}{dt}}.$

ここで、$dVdt$ はスカラーである。なぜなら、ローレンツ変換によって、$dV'=dV{\sqrt {1-{\frac {V^{2}}{c^{2}}}}}$ （ローレンツ収縮）、$dt'={\frac {dt}{\sqrt {1-{\frac {V^{2}}{c^{2}}}}}}$ との変換を受けるからである。あるいは、ローレンツ変換の行列の行列式が1である事からも分かる。$dqdx^{\mu }$ は4元ベクトルだから、$\rho {\frac {dx^{\mu }}{dt}}$ は4元ベクトルである。

4元電流密度を使うと、作用は、

$S_{\mathrm {int} }=-\sum _{i}q_{i}\int _{a}^{b}A_{\mu }dx^{\mu }=-\int _{a}^{b}\sum _{i}q_{i}A_{\mu }{\frac {dx^{\mu }}{dt}}dt=-\int _{a}^{b}\int A_{\mu }j^{\mu }dVdt$

となる。

次に、電磁場自身の作用 $S_{\mathrm {em} }$ をもとめよう。電磁場の作用はゲージ変換について不変であるべきだ。すなわち、作用はゲージ不変な $F_{\mu \nu }$ によって作られなくてはいけない。もし $A_{\mu }$ が顕に含まれているとゲージ不変ではなくなる。さらに、電磁場は経験的に重ね合わせの原理を満たすことが分かっている。すなわち、第一の粒子がある場をつくり、また第二の粒子が場をつくるならば、この2つの粒子によって作られる場は粒子の作る場の単純な足し合わせであるということである。この原理を満たすためには、変分によって導かれる運動方程式は $F_{\mu \nu }$ の一次の式であればよい。変分によって得られる式の次数はラグランジアンの次数から1を引いたものであるから、ラグランジアンは $F_{\mu \nu }$ に対する二次の式である。これらの条件を満たす量は $F_{\mu \nu }F^{\mu \nu }$ のみである。比例定数を適当に選ぶと、電磁場の作用は、

$S_{\mathrm {em} }=-{\frac {1}{4\mu _{0}c}}\int F_{\mu \nu }F^{\mu \nu }d^{4}x$

となる。ここで、$d^{4}x=cdtdxdydz$ である。

その変分は、

$\delta S_{\mathrm {em} }=-{\frac {1}{4\mu _{0}c}}\int (\delta F_{\mu \nu }F^{\mu \nu }+F_{\mu \nu }\delta F^{\mu \nu })d^{4}x=-{\frac {1}{2\mu _{0}c}}\int F^{\mu \nu }\delta F_{\mu \nu }d^{4}x$

ここで、$\delta F_{\mu \nu }=\delta A_{\nu ,\mu }-\delta A_{\mu ,\nu }$ であり、 $F^{\mu \nu }\delta A_{\nu ,\mu }=-F^{\nu \mu }\delta A_{\nu ,\mu }=-F^{\mu \nu }\delta A_{\mu ,\nu }$ であるから、

$\delta S_{\mathrm {em} }={\frac {1}{\mu _{0}c}}\int F^{\mu \nu }\delta A_{\mu ,\nu }d^{4}x.$

さらに、$F^{\mu \nu }\delta A_{\mu ,\nu }=(F^{\mu \nu }\delta A_{\mu })_{,\nu }-F^{\mu \nu }{}_{,\nu }\delta A_{\mu }$ であるから、右辺第一項について四次元のガウスの定理を用いると、

$\int (F^{\mu \nu }\delta A_{\mu })_{,\nu }d^{4}x=\int F^{\mu \nu }\delta A_{\mu }dS_{\nu }$

である。無限遠では場は0となるから $F^{\mu \nu }=0$ であり、時間の端点では $\delta A_{\mu }=0$ であるから、この積分は0となる。

結局作用の変分は、

$\delta S_{\mathrm {em} }=-{\frac {1}{\mu _{0}c}}\int F^{\mu \nu }{}_{,\nu }\delta A_{\mu }d^{4}x.$

となる。

$\delta S_{\mathrm {int} }=-{\frac {1}{c}}\int j^{\mu }\delta A_{\mu }d^{4}x$

と合わせると、電磁場の運動方程式

$F^{\mu \nu }{}_{,\nu }=-\mu _{0}j^{\mu }$

を得る。

$\mu =0$ について計算すると、

$\nabla \cdot {\boldsymbol {E}}=c^{2}\mu _{0}\rho$

を得る。

ここで、一つの静止した電荷 $q$ が距離 $r$ のところにつくる電場の大きさはガウスの法則より、

$E(r)={\frac {c^{2}\mu _{0}}{4\pi }}{\frac {q}{r^{2}}}$

これは、クーロンの法則であるから、$c^{2}={\frac {1}{\varepsilon _{0}\mu _{0}}}$ の関係を得る。

すなわち、

$\nabla \cdot {\boldsymbol {E}}={\frac {\rho }{\varepsilon _{0}}}.$

$\mu =1,2,3$ について計算すると、

$\varepsilon _{0}\mu _{0}{\frac {\partial {\boldsymbol {E}}}{\partial t}}-\nabla \times {\boldsymbol {B}}=-\mu _{0}{\boldsymbol {j}}$

が得られる。これでマクスウェルの方程式の四本の式が得られた。

ここで、

$j^{\mu }{}_{,\mu }=-{\frac {1}{\mu _{0}}}F^{\mu \nu }{}_{,\nu \mu }=0$

ここで、最後の式は、電磁場テンソルが反対称であることから、アインシュタインの記法なしで

$F^{\beta \alpha }{}_{,\alpha \beta }=-F^{\alpha \beta }{}_{,\alpha \beta }$

であり、微分の添字は対称であることから、$F^{\mu \nu }{}_{,\nu \mu }=0$ となる。

$j^{\mu }{}_{,\mu }=0$

は

${\frac {\partial \rho }{\partial t}}+\nabla \cdot {\boldsymbol {j}}=0$

である。これは連続の式である。

ここでは、連続の式をマクスウェルの方程式から求めたが、これは電荷と電流の定義より、自明に成り立つ式である。一つの電子について証明すれば十分だから、そのときは、

$\rho =q\delta ({\boldsymbol {r}}-{\boldsymbol {r}}_{0}),\,{\boldsymbol {j}}=q{\boldsymbol {v}}\delta ({\boldsymbol {r}}-{\boldsymbol {r}}_{0})$

となる。

${\frac {\partial \rho ({\boldsymbol {r}}-{\boldsymbol {r}}_{0})}{\partial t}}=-q{\frac {\partial {\boldsymbol {r}}_{0}}{\partial t}}{\frac {\partial \delta ({\boldsymbol {r}}-{\boldsymbol {r}}_{0})}{\partial {\boldsymbol {r}}_{0}}}=-q{\boldsymbol {v}}{\frac {\delta ({\boldsymbol {r}}-{\boldsymbol {r}}_{0})}{\partial {\boldsymbol {r}}}}$

さらに、$\nabla \cdot {\boldsymbol {j}}=q\nabla \cdot ({\boldsymbol {v}}\delta ({\boldsymbol {r}}-{\boldsymbol {r}}_{0}))=q{\boldsymbol {v}}{\frac {\partial {\boldsymbol {\delta }}({\boldsymbol {r}}-{\boldsymbol {r}}_{0})}{\partial {\boldsymbol {r}}}}.$

ゲージ変換

任意の関数 $\chi$ について、 $A'_{\mu }=A_{\mu }-{\frac {\partial \chi }{\partial x^{\mu }}}$ と変換しても、 ${\boldsymbol {E}},{\boldsymbol {B}}$ は変化しない。この変換をゲージ変換という。ゲージ変換はスカラーポテンシャルとベクトルポテンシャルを分けて書くと $\phi '=\phi -{\frac {\partial \chi }{\partial t}},\,{\boldsymbol {A}}'={\boldsymbol {A}}+\nabla \chi$ である。このゲージ自由度のお陰で、我々は電磁ポテンシャルにゲージ条件を課して計算しやすいように変形することができる。例えば、ローレンツゲージ $A_{,\mu }^{\mu }=0$ や、クーロンゲージ $\nabla \cdot {\boldsymbol {A}}=0$ 。あるいは、$j^{\mu }=0$ の場合には、常に $\phi =0$ で、かつ $\nabla \cdot {\boldsymbol {A}}=0$ である放射ゲージを取ることができる。

任意の電磁ポテンシャル $A_{\mu }$ からローレンツゲージを満たす電磁ポテンシャル $A'^{\mu }$ へのゲージ変換を求めよう。条件は、 $A'^{\mu }{}_{,\mu }=0=A^{\mu }{}_{,\mu }-\chi ^{,\mu }{}_{,\mu }$ より、$\Box \chi =A^{\mu }{}_{,\mu }.$

クーロンゲージについては、$\nabla \cdot {\boldsymbol {A}}'=\nabla \cdot {\boldsymbol {A}}+\triangle \chi$ より、$\triangle \chi =-\nabla \cdot {\boldsymbol {A}}.$

$\phi =0$ となるゲージのためには、${\boldsymbol {E}}=-\nabla \phi -{\frac {\partial {\boldsymbol {A}}}{\partial t}}=-{\frac {\partial }{\partial t}}\left({\boldsymbol {A}}+\int \nabla \phi dt\right)$ だから、$\chi =\int \phi dt$ とすればいい。さらに、$j^{\mu }=0$ の場合は、時間に依存しない関数の勾配をつけ加えることで、$\phi =0$ を保ったまま、$\nabla \cdot {\boldsymbol {A}}'=0$ とすることができる。その関数は$\triangle \chi '=-\nabla \cdot {\boldsymbol {A}}$であるが、右辺は $-{\frac {\partial }{\partial t}}\nabla \cdot {\boldsymbol {A}}=\nabla \cdot {\boldsymbol {E}}=0$ となるから時間に依存しない。すなわち、$\chi '$ は時間に依存しないからこの関数の勾配を加えれば放射ゲージが得られる。

マクスウェルの方程式

マクスウェルの方程式の第一の組

$\nabla \times {\boldsymbol {E}}=-{\frac {\partial {\boldsymbol {B}}}{\partial t}}$（ファラデーの電磁誘導の法則）

$\nabla \cdot {\boldsymbol {B}}=0$（磁気単極子は存在しないこと）

と第二の組

$\nabla \cdot {\boldsymbol {E}}={\frac {\rho }{\varepsilon _{0}}}$（ガウスの法則）

$\nabla \times {\boldsymbol {B}}=\mu _{0}{\boldsymbol {j}}+\varepsilon _{0}\mu _{0}{\frac {\partial {\boldsymbol {E}}}{\partial t}}$（アンペールマクスウェルの法則）

を合わせてマクスウェルの方程式という。

ガウスの法則をある体積で積分すると、

ガウスの定理より、

$\int \nabla \cdot {\boldsymbol {E}}dV=\oint {\boldsymbol {E}}\cdot d{\boldsymbol {S}}$

であるから、

$\oint {\boldsymbol {E}}\cdot d{\boldsymbol {S}}=\int {\frac {\rho }{\varepsilon _{0}}}dV.$

同様に、$\oint {\boldsymbol {B}}\cdot d{\boldsymbol {S}}=0$

ストークスの定理より、

$\int {\boldsymbol {B}}\cdot d{\boldsymbol {S}}=\oint {\boldsymbol {B}}\cdot d{\boldsymbol {l}}$

だから、アンペールマクスウェルの式をある面で積分すると、

$\oint {\boldsymbol {B}}\cdot d{\boldsymbol {l}}=\mu _{0}\int ({\boldsymbol {j}}+\varepsilon _{0}{\boldsymbol {E}})d{\boldsymbol {S}}$

を得る。

ファラデーの電磁誘導の法則についても同様に

$\oint {\boldsymbol {E}}\cdot d{\boldsymbol {l}}=-{\frac {\partial }{\partial t}}\int {\boldsymbol {B}}\cdot d{\boldsymbol {S}}=-{\frac {d\Phi }{dt}}.$

ここで、$\Phi =\int {\boldsymbol {B}}\cdot d{\boldsymbol {S}}$ は磁束と呼ばれる。$\oint {\boldsymbol {E}}\cdot d{\boldsymbol {l}}$ は閉曲線を一周したときの起電力 $V$ である。

$N$ 回巻きのコイルならば、そのコイルに生じる起電力 $V$ は

$V=-N{\frac {d\Phi }{dt}}$

となる。

第一の組は四元形式では、$F_{\mu \nu ,\lambda }+F_{\nu \lambda ,\mu }+F_{\lambda \mu ,\nu }=0$ と書かれる。このことを示そう。まず、添字に同じ文字がある場合は $F_{\alpha \alpha ,\beta }+F_{\alpha \beta ,\alpha }+F_{\beta \alpha ,\alpha }$ となり自明に0となるから意味をなさない。すなわち、添字はすべて異なるものでなくてはならない。式 $F_{\alpha \beta ,\gamma }+F_{\beta \gamma ,\alpha }+F_{\gamma \alpha ,\beta }$ を $\{\alpha ,\beta ,\gamma \}$ で略記する。添字は循環的だから、 $\{\alpha ,\beta ,\gamma \}$ で $\alpha$ が一番小さいとしていい。さらに、$\{\alpha ,\beta ,\gamma \}$ と $\{\alpha ,\gamma ,\beta \}$ は同値な式を与えるから、$\alpha <\beta <\gamma$ としていい。結局この式で独立なものは $\{0,1,2\},\{0,1,3\},\{0,2,3\},\{1,2,3\}$ の4つしかない。それぞれの場合について計算すると時間成分を含む3式は第一式、空間成分のみの式は第二式を与えることが分かる。

第一の組は電磁ポテンシャルの存在から自明に成り立つ式であるから、これは電場と磁場に対する拘束条件と言える。

第二の組は、電荷と電流によってつくられる電磁場を与えている。

ところで、$F^{\mu \nu }{}_{,\nu }=-\mu _{0}j^{\mu }$ を電磁ポテンシャルを使って書くと、$A^{\nu ,\mu }{}_{,\nu }-A^{\mu ,\nu }{}_{,\nu }=-\mu _{0}j^{\mu }$ となる。ここで、電磁ポテンシャルにはある関数の勾配を足しても良い自由度があるから、この自由度を利用して $A^{\nu }{}_{,\nu }=0$ となるポテンシャルを選ぶことができる。さらに、ダランベルシアン $\Box =\partial ^{\nu }\partial _{\nu }={\frac {1}{c^{2}}}{\frac {\partial ^{2}}{\partial t^{2}}}-\triangle$ を導入すると、マクスウェルの方程式は、$\Box A^{\mu }=\mu _{0}j^{\mu }$ となる。

この方程式の解は

$A^{\mu }({\boldsymbol {x}},t)={\frac {\mu _{0}}{4\pi }}\int {\frac {j^{\mu }({\boldsymbol {x}}',t-R/c)}{R}}d^{3}x'+A_{0}^{\mu }$

これがマクスウェルの方程式の一般解である。ただし、 $R=|{\boldsymbol {x}}-{\boldsymbol {x}}'|$ , $A_{0}^{\mu }$ は $\Box A_{0}^{\mu }=0$ の解であって境界条件に合うように定める。

時間変化が無いときには、

$\varphi ={\frac {1}{4\pi \varepsilon _{0}}}\int {\frac {\rho }{R}}dV$

${\boldsymbol {A}}={\frac {\mu _{0}}{4\pi }}\int {\frac {\boldsymbol {j}}{R}}dV$

となる。この式から直ちに、ビオ・サバールの法則

${\boldsymbol {B}}={\frac {\mu _{0}}{4\pi }}\int \nabla {\frac {1}{R}}\times {\boldsymbol {j}}dV={\frac {\mu _{0}}{4\pi }}\int {\frac {{\boldsymbol {j}}\times {\boldsymbol {R}}}{R^{3}}}dV$

が求まる。

ところで、$\nabla \times {\boldsymbol {E}}=-{\frac {\partial {\boldsymbol {B}}}{\partial t}}$ という式は磁場が時間変化すると電場の回転が発生すると解釈することが出来る。ところが、電磁ポテンシャルを基本的な量として考えるとまた違った解釈が可能だ。すなわち、電場や磁場はすべて電磁ポテンシャルから発生するという立場のもとでは、磁場が時間変化するということは、そこに時間変化するベクトル・ポテンシャルの回転が存在するだろう。そして、時間変化するベクトル・ポテンシャルの回転によって電場の回転が生ずる。すなわち、ベクトル・ポテンシャルによって磁場の時間変化と電場の回転が同時に生じるということである。

電流を0とした式 $\nabla \times {\boldsymbol {B}}=\varepsilon _{0}\mu _{0}{\frac {\partial {\boldsymbol {E}}}{\partial t}}$ もこれと同様に考えることが出来る。$\varepsilon _{0}{\frac {\partial {\boldsymbol {E}}}{\partial t}}$ は変位電流と呼ばれる。それは $\nabla \times {\boldsymbol {B}}=\mu _{0}\left({\boldsymbol {j}}+\varepsilon _{0}{\frac {\partial {\boldsymbol {E}}}{\partial t}}\right)$ として、変位電流は電流 ${\boldsymbol {j}}$ と一緒に磁場の回転を作るように見えるからである。これも電磁ポテンシャルを基本的な量として考えると分かりやすい。$\nabla \times {\boldsymbol {B}}-\varepsilon _{0}\mu _{0}{\frac {\partial {\boldsymbol {E}}}{\partial t}}=\mu _{0}{\boldsymbol {j}}$ と変形してから左辺に電磁ポテンシャルを代入して、ゲージ条件としてローレンツ条件を採用すると、$\Box {\boldsymbol {A}}=\mu _{0}{\boldsymbol {j}}$ となる。この式は、電流密度 ${\boldsymbol {j}}$ がベクトル・ポテンシャルを生成する式として見ることが出来る。すなわち、電流と変位電流が磁場の回転を起こすというよりも、電流が $\Box {\boldsymbol {A}}$ すなわち $\nabla \times {\boldsymbol {B}}-\varepsilon _{0}\mu _{0}{\frac {\partial {\boldsymbol {E}}}{\partial t}}$ に影響を与えるのだと考えるほうが良いだろう。その観点では、アンペールマクスウェルの式は $\nabla \times {\boldsymbol {B}}-\varepsilon _{0}\mu _{0}{\frac {\partial {\boldsymbol {E}}}{\partial t}}=\mu _{0}{\boldsymbol {j}}$ とする方が物理的な意味に合っているのかもしれない。

場の平均化

電荷や電流はデルタ関数の足し合わせで定義していたが、このままでは電子の数が多い場合では計算しきれない。そこで、このような場合は位置によって平均化したものを使う。こうすることで、$\rho ,{\boldsymbol {j}}$ は有限の値を取ることになる。

ゲージ理論入門

U(1)ゲージ理論

ここでは、$c=\hbar =\mu _{0}=1$ となる単位系を採用する。

ディラック方程式

$(i\gamma ^{\mu }\partial _{\mu }-m)\psi =0$

を導くラグランジアンは

${\mathcal {L}}={\bar {\psi }}(i\gamma ^{\mu }\partial _{\mu }-m)\psi$

である。このラグランジアンは波動関数を偏角 $\alpha$ だけ変える大域的な変換 $\psi '=e^{i\alpha }\psi$ によって不変である。しかし、全空間で一斉に等しい位相の変換を受けるというのは一般的ではない気がする。そこで、もっと一般に各時空点でそれぞれ異なった位相の変換を受けるという、局所的な位相変換でもラグランジアンが不変になるようにしたい。つまり、局所的な位相変換

$\psi '=e^{ie\chi }\psi$

でもラグランジアンを不変にしたい。そのために、微分 $\partial _{\mu }$ の代わりに共変微分 $D_{\mu }$ を

$D_{\mu }=\partial _{\mu }+ieA_{\mu }$

のように導入して、ラグランジアン ${\mathcal {L}}={\bar {\psi }}(i\gamma ^{\mu }D_{\mu }-m)\psi$ を不変にするための $A_{\mu }$ の変換則を求める。

そのためには、

$D'_{\mu }\psi '=(D_{\mu }\psi )e^{ie\chi }$

であればいい。

$D'_{\mu }\psi '=(\partial _{\mu }+ieA'_{\mu })e^{ie\chi }\psi =[(\partial _{\mu }+ieA'_{\mu }+ie\partial _{\mu }\chi )\psi ]e^{ie\chi }$

であるから、$D_{\mu }\psi =(\partial _{\mu }+ieA_{\mu })\psi$ と比較して、変換則

$A'_{\mu }=A_{\mu }-\partial _{\mu }\chi$

を得る。

結局ラグランジアンは、

${\mathcal {L}}={\bar {\psi }}[i\gamma ^{\mu }(\partial _{\mu }+ieA_{\mu })-m]\psi ={\bar {\psi }}(i\gamma ^{\mu }\partial _{\mu }-m)\psi -e{\bar {\psi }}\gamma ^{\mu }\psi A_{\mu }$

ここで、四元電流密度を

$j^{\mu }=e{\bar {\psi }}\gamma ^{\mu }\psi$

と定義して、ラグランジアンに電磁場のラグランジアンを追加すると、

${\mathcal {L}}={\bar {\psi }}(i\gamma ^{\mu }\partial _{\mu }-m)\psi -j^{\mu }A_{\mu }-{\frac {1}{4}}F^{\mu \nu }F_{\mu \nu }.$

$A_{\mu }$ というのは電磁場である。

クリストッフェル記号

特殊相対論はローレンツ変換に対して不変な理論であって、それはテンソル式で表されている。これを拡張して、任意の座標変換に対して不変になるようにしよう。

テンソルの微分

$\partial _{\mu }A^{\nu }$

において、 $\mu$ はローレンツ変換では、テンソル添字になるが、一般座標変換ではテンソル添字にならない。そこで、代わりに、共変微分を

$D_{\mu }A^{\nu }=\partial _{\mu }A^{\nu }+\Gamma _{\mu \alpha }^{\nu }A_{\alpha }$

として導入して、これがテンソルとなるようにしたい。そのためには、

$D'_{\mu }A'^{\nu }={\frac {\partial x^{\alpha }}{\partial x'^{\mu }}}{\frac {\partial x'^{\nu }}{\partial x^{\beta }}}D_{\alpha }A^{\beta }$

とならなければいけない。

$D'_{\mu }A'^{\nu }=\partial '_{\mu }\left({\frac {\partial x'^{\nu }}{\partial x^{\beta }}}A^{\beta }\right)+{\Gamma '^{\nu }}_{\mu \gamma }{\frac {\partial x'^{\gamma }}{\partial x^{\beta }}}A^{\beta }$

ここで、

$\partial '_{\mu }\left({\frac {\partial x'^{\nu }}{\partial x^{\beta }}}A^{\beta }\right)={\frac {\partial x'^{\alpha }}{\partial x'^{\mu }}}\partial _{\alpha }\left({\frac {\partial x'^{\nu }}{\partial x^{\beta }}}A^{\beta }\right)={\frac {\partial x'^{\alpha }}{\partial x'^{\mu }}}{\frac {\partial ^{2}x'^{\nu }}{\partial x^{\alpha }\partial x^{\beta }}}A^{\beta }+{\frac {\partial x'^{\alpha }}{\partial x'^{\mu }}}{\frac {\partial x'^{\nu }}{\partial x^{\beta }}}{\frac {\partial A^{\beta }}{\partial x^{\alpha }}}$

である。

さらに、

${\frac {\partial x^{\alpha }}{\partial x'^{\mu }}}{\frac {\partial x'^{\nu }}{\partial x^{\beta }}}D_{\alpha }A^{\beta }={\frac {\partial x^{\alpha }}{\partial x'^{\mu }}}{\frac {\partial x'^{\nu }}{\partial x^{\beta }}}{\frac {\partial A^{\beta }}{\partial x^{\alpha }}}+{\frac {\partial x^{\alpha }}{\partial x'^{\mu }}}{\frac {\partial x'^{\nu }}{\partial x^{\beta }}}\Gamma _{\alpha \gamma }^{\beta }A^{\gamma }$

であるから、ここから、

${\Gamma '^{\nu }}_{\mu \gamma }{\frac {\partial x'^{\gamma }}{\partial x^{\beta }}}+{\frac {\partial x'^{\alpha }}{\partial x'^{\mu }}}{\frac {\partial ^{2}x'^{\nu }}{\partial x^{\alpha }\partial x^{\beta }}}={\frac {\partial x^{\alpha }}{\partial x'^{\mu }}}{\frac {\partial x'^{\nu }}{\partial x^{\gamma }}}\Gamma _{\alpha \beta }^{\gamma }$

さらに、${\frac {\partial x'^{\gamma }}{\partial x^{\beta }}}$ の逆行列は ${\frac {\partial x^{\beta }}{\partial x'^{\gamma }}}$ であるから、これを両辺にかけると、

${\Gamma '^{\nu }}_{\mu \gamma }={\frac {\partial x^{\beta }}{\partial x'^{\gamma }}}{\frac {\partial x^{\alpha }}{\partial x'^{\mu }}}{\frac {\partial x'^{\nu }}{\partial x^{\delta }}}\Gamma _{\alpha \beta }^{\delta }-{\frac {\partial x^{\beta }}{\partial x'^{\gamma }}}{\frac {\partial x'^{\alpha }}{\partial x'^{\mu }}}{\frac {\partial ^{2}x'^{\nu }}{\partial x^{\alpha }\partial x^{\beta }}}$

ここで、

$-{\frac {\partial x^{\beta }}{\partial x'^{\gamma }}}{\frac {\partial x'^{\alpha }}{\partial x'^{\mu }}}{\frac {\partial ^{2}x'^{\nu }}{\partial x^{\alpha }\partial x^{\beta }}}=-{\frac {\partial }{\partial x^{\beta }}}\left({\frac {\partial x^{\beta }}{\partial x'^{\gamma }}}{\frac {\partial x'^{\alpha }}{\partial x'^{\mu }}}{\frac {\partial x'^{\nu }}{\partial x^{\alpha }}}\right)+{\frac {\partial x'^{\nu }}{\partial x^{\alpha }}}{\frac {\partial ^{2}x^{\beta }}{\partial x^{\beta }\partial x'^{\gamma }}}{\frac {\partial x^{\alpha }}{\partial x'^{\mu }}}+{\frac {\partial x'^{\nu }}{\partial x^{\alpha }}}{\frac {\partial ^{2}x^{\alpha }}{\partial x^{\beta }\partial x'^{\mu }}}{\frac {\partial x^{\beta }}{\partial x'^{\gamma }}}={\frac {\partial x'^{\nu }}{\partial x^{\alpha }}}{\frac {\partial ^{2}x^{\alpha }}{\partial x'^{\gamma }\partial x'^{\mu }}}$

となるから、結局

$\Gamma '^{\lambda }{}_{\mu \nu }={\frac {\partial x'^{\lambda }}{\partial x^{\alpha }}}{\frac {\partial x^{\beta }}{\partial x'^{\mu }}}{\frac {\partial x^{\gamma }}{\partial x'^{\nu }}}\Gamma _{\beta \gamma }^{\alpha }+{\frac {\partial x'^{\lambda }}{\partial x^{\alpha }}}{\frac {\partial ^{2}x^{\alpha }}{\partial x'^{\mu }\partial x'^{\nu }}}$

を得る。この式の第一項はテンソルの変換のようだが、第二項が存在するために、クリストッフェル記号はテンソルではない。そもそも、クリストッフェル記号がテンソルではないことはその定義からもすぐにわかることだ。クリストッフェル記号がテンソルであったとすると、ベクトルの微分がテンソルでないのだから、その和である共変微分をテンソルにすることが出来なくなってしまう。

参考文献

• エリ・デ・ランダウ、イェ・エム・リフシッツ著、恒藤敏彦他訳『場の古典論（原著第6版）』東京図書（1978）

旧版

進捗状況の凡例

数行の文章か目次があります。
:本文が少しあります。
:本文が半分ほどあります。
: 間もなく完成します。
: 一応完成しています。

• はじめに
• 歴史的導入
• テンソル
• 計算例
  • 時間の遅れ
  • ローレンツ収縮
  • 速度の合成則
• 4元運動量
• 運動方程式
• 電磁気学への導入