電磁気学の基礎 II (その28) 15.17, 15.18

電磁気学の基礎 II」太田浩一 著 (シュプリンガージャパン) の読書メモ


 15.17節の続き.P496から.座標変換の変換則  \partial x'^\mu/ \partial x^\nu が与えられているが,その逆は


 \begin{align}
\frac{\partial x^{\mu}}{\partial x'^{\nu}}=\left(\begin{array}{cccc}{1} & {0} & {0} & {0} \\ {0} & {1} & {0} & {0} \\ {\omega / c} & {0} & {1} & {0} \\ {0} & {0} & {0} & {1}\end{array}\right)
\end{align}


である.そこで行列


 \begin{align}
 (X)_{\mu\nu}=\frac{\partial x^{\prime\mu}}{\partial x^{\nu}},\ 
  (Y)_{\mu\nu}=\frac{\partial x^{\mu}}{\partial x'^{\nu}}
\end{align}


を定義すると, F'_{\mu\nu}=[Y^T F Y]_{\mu\nu},  F'^{\mu\nu}=[X F X^T]^{\mu\nu} である.


 \begin{align}
  F'_{01}=-\frac{1}{c}(E_\rho-\omega \rho B_z),\ 
  F'_{02}=-\frac{1}{c}(\rho E_\varphi),\ 
  F'_{03}=-\frac{1}{c}(E_z + \omega \rho B_\rho)
\end{align}


 \begin{align}
  F'_{12}=\rho B_z,\ F'_{23}=\rho B_\rho,\ F'_{31}=B_\varphi
\end{align}


これから


 \begin{align}
  \mathbf{E}'=\mathbf{E}-\mathbf{u}\times\mathbf{B},\quad \mathbf{B}'=\mathbf{B}
\end{align}


が得られるので,おそらく  \mathbf{E}' の右辺第2項の符号が逆である.同様に


 \begin{align}
  F'^{01}=\frac{1}{c}\tilde{E}_\rho,\ 
  F'^{02}=\frac{1}{c\rho}\tilde{E}_\varphi,\ 
  F'^{03}=\frac{1}{c}\tilde{E}_z
\end{align}


 \begin{align}
  F'^{12}=\frac{1}{\rho}(\tilde{B}_z-\frac{1}{c^2}\omega \rho\tilde{E}_\rho),\ 
  F'^{23}=\frac{1}{\rho}(\tilde{B}_\rho+\frac{1}{c^2}\omega \rho \tilde{E}_z),\
  F'^{31}=\tilde{B}_\varphi
\end{align}


となるので,


 \begin{align}
  \tilde{\mathbf{E}}'=\tilde{\mathbf{E}},\quad \tilde{\mathbf{B}}'=\tilde{\mathbf{B}}+\frac{1}{c^2}\mathbf{u}\times\tilde{\mathbf{E}}
\end{align}


となる.これで(15.64)が確かめられたが,本の   \tilde{\mathbf{E}}', \tilde{\mathbf{B}}' の表式はどのようにして得られるのかわからない.


 回転系のマクスウェル方程式は複雑である.電磁場は電荷によってつくられると思っていたが,加速度系では電荷がなくても電場が生じるのでわけがわからなくなりそうである.



 15.18節.シュバルツシルト解は色々な入門書に載っている一方で,このライスナー-ノルドストレム解は意外と載っていない.


 静止した点電荷のつくる重力場は静的,球対称と考えられるから  ds^2 の形が決まる.その計量は対角的なので反変テンソルもすぐに求まる. \nabla_1 F_{10} の表式があるが,左辺は  \nabla_1 F^{10} が正しい.


 重力場がない場合(平坦な時空の場合), \lambda=\nu=0 であり,このとき  \phi は通常の静電ポテンシャルになる.


 電磁場のエネルギー運動量テンソルとして(16.25)を引いているが,ラグランジュ関数密度  \mathcal{L} の共変形がどこにも書いていない.おそらく


 \begin{align}
  \mathcal{L}&=-\frac{1}{4\mu_0}F^{\mu\nu}F_{\mu\nu}
  =-\frac{1}{4\mu_0}(F^{01}F_{01}+F^{10}F_{10}) \\
  &= -\frac{1}{2\mu_0}g^{00}g^{11}F_{10}F_{10}
\end{align}


である.これを使って電磁場のエネルギー運動量テンソル


 \begin{align}
\Theta^\mu_{\ \rho}=\frac{1}{\mu_0}F^{\mu\kappa}F_{\rho\kappa}+\mathcal{L}\eta^{\mu}_{\ \nu}
\end{align}


である.((16.25)は  \eta^{\mu\nu} g^{\mu\nu} にしないと曲がった時空には使えない.) 0でない成分は


 \begin{align}
  \Theta^0_{\ 0}=\Theta^1_{\ 1}=\frac{1}{2\mu_0}g^{00}g^{11}F_{10}F_{10}
  =-\frac{1}{2\mu_0 c^2}e^{-(\lambda+\nu)}(\phi')^2 = -\frac{\epsilon_0}{2}\left(\frac{q}{4\pi\epsilon_0}\right)^2
\end{align}


 \begin{align}
  \Theta^2_{\ 2}=\Theta^3_{\ 3}=-\frac{1}{2\mu_0}g^{00}g^{11}F_{10}F_{10}
  =\frac{\epsilon_0}{2}\left(\frac{q}{4\pi\epsilon_0}\right)^2
\end{align}


である.


重力場の左辺の計算は同じく球対称であるシュバルツシルト解を計算する場合と同じである.クリストッフェルは


 \begin{align}
  \left\{\begin{matrix} 0 \\ 01\end{matrix}\right\}=\left\{\begin{matrix} 0 \\ 10\end{matrix}\right\}=\frac{\nu'}{2},\ 
   \left\{\begin{matrix} 1 \\ 00\end{matrix}\right\}=\frac{\nu'}{2}e^{\nu-\lambda},\ 
   \left\{\begin{matrix} 1 \\ 11\end{matrix}\right\}=\frac{\lambda'}{2},\ 
   \left\{\begin{matrix} 0 \\ 22\end{matrix}\right\}=-r r^{-\lambda}
\end{align}


 \begin{align}
   \left\{\begin{matrix} 0 \\ 33\end{matrix}\right\}=-re^{-\lambda}\sin^2\theta,\ 
   \left\{\begin{matrix} 2 \\ 12\end{matrix}\right\}=\left\{\begin{matrix} 2 \\ 21\end{matrix}\right\}=
   \left\{\begin{matrix} 3 \\ 13\end{matrix}\right\}=\left\{\begin{matrix} 3 \\ 31\end{matrix}\right\}=\frac{1}{r}
\end{align}


 \begin{align}
\left\{\begin{matrix} 2 \\ 33\end{matrix}\right\}=-\sin\theta\cos\theta,\ 
  \left\{\begin{matrix} 3 \\ 23\end{matrix}\right\}=\left\{\begin{matrix} 3 \\ 32\end{matrix}\right\}
  =\frac{\cos\theta}{\sin\theta}
\end{align}


であり,これから


 \begin{align}
  R_{\beta\nu}=\partial_\mu \left\{\begin{matrix} \mu \\ \beta\nu\end{matrix}\right\}
  -\partial_\nu \left\{\begin{matrix} \mu \\ \beta\mu\end{matrix}\right\}
  + \left\{\begin{matrix} \alpha \\ \beta\nu\end{matrix}\right\}\left\{\begin{matrix} \mu \\ \alpha\mu\end{matrix}\right\}
  - \left\{\begin{matrix} \alpha \\ \beta\mu\end{matrix}\right\}\left\{\begin{matrix} \mu \\ \alpha\nu\end{matrix}\right\}
\end{align}


により


 \begin{align}
  R_{00} &=e^{\nu-\lambda}\left(\frac{\nu''}{2}+\frac{\nu'(-\lambda'+\nu')}{4}+\frac{\nu'}{r}\right) \\
  R_{11} &=-\left(\frac{\nu''}{2}+\frac{\nu'(-\lambda'+\nu')}{4}-\frac{\lambda'}{r}\right) \\
  R_{22} &= 1-e^{-\lambda}\left( 1+\frac{r(-\lambda'+\nu')}{2}\right) \\
  R_{33} &= R_{22}\sin^2\theta 
\end{align}


を得る.これらを使ってP498の最初の4式が得られる.


  \lambda+\nu=0 を使って22成分を変形すると


 \begin{align}
\frac{1}{r^2}-e^{-\lambda}\left( \frac{1}{r^2}-\frac{\lambda'}{r}\right)  =\frac{q'^2}{r^4} 
\end{align}


となるので,変形すると


 \begin{align}
   1- \left(r e^{-\lambda}\right)' =\frac{q'^2}{r^2}
\end{align}


となり,積分して


 \begin{align}
  r e^{-\lambda}=r + \frac{q'^2}{r} + k,\quad
   e^{-\lambda} = 1+\frac{k}{r}+\frac{q'^2}{r^2}
\end{align}


になる. k積分定数である.これを決めるには線形近似


 \begin{align}
  g_{00}&=\eta_{00}+\frac{2}{c^2}\frac{Gm}{r}=-1+\frac{2}{c^2}\frac{Gm}{r} \\
  &= -e^{-\nu}=-e^{\lambda}
\end{align}


と比べて


 \begin{align}
  k=-\frac{2Gm}{c^2} \equiv -2m',\qquad m'=\frac{Gm}{c^2}
\end{align}


とする.これにより  e^{-\lambda} ds^2 の表式を得る.


  m' > |q| のときに  g_{00}=0 となる  r=r_\pm がある. r_- < r < r_+ブラックホールになるということだが, r < r_- の領域はどうなっているのかよくわからない.ノーマルな時空だとしても  r=0特異点ではないだろうか?