ローレンツゲージにおけるマクスウェルの方程式

<h2>シリーズ</h2>
<a href="https://qiita.com/campbel2525/items/004270f9f89818b08e12">物理・数学・プログラムのページについて
</a>

<h2>概要</h2>
<p>「マクスウェルの方程式」を「ローレンツゲージにおけるマクスウェルの方程式」と呼ばれる方程式に変形したいと思います。</p>
<p>mathjaxでの式の記述が思ったより大変で途中で力尽きてしまい、途中式を書けませんでした。いずれ書きます。すいません。</p>
<p>ここでは数式のみですが違うページでプログラムも書いて見たいと思います。実はこっちがやりたい！！</p>


<h2>結果</h2>

```math
    \boldsymbol{A} = \left(\frac{\phi}{c}, A_x, A_y, A_z \right)        \tag{電磁ポテンシャル}
```

```math
    \boldsymbol{i} = \left(\rho c, i_x, i_y, i_z \right)        \tag{4元電流密度}
```

```math
    \Box \boldsymbol{A} = - \mu_0 \boldsymbol{i}        \tag{ローレンツゲージにおけるマクスウェルの方程式}
```

```math
    \mathbf{div} \boldsymbol{A} + \frac{1}{c^2} \frac{∂ \phi}{∂t} = 0       \tag{ローレンツ条件}
```


<h2>証明</h2>
<p>マクスウェルの方程式を$\boldsymbol{E}$と$\boldsymbol{B}$で表現すると以下のようになる。</p>

```math
    \mathbf{rot} \boldsymbol{E} + \frac{∂ \boldsymbol{B}}{∂t} = \boldsymbol{0}        \tag{1}
```

```math
    \mathbf{rot} \boldsymbol{B} - \frac{1}{c^2} \frac{∂ \boldsymbol{E}}{∂t} = \mu_0 \boldsymbol{i}        \tag{2}
```

```math
    \mathbf{div} \boldsymbol{E} = \frac{\rho}{\varepsilon_0}        \tag{3}
```

```math
    \mathbf{div} \boldsymbol{B} = 0        \tag{4}
```

<p>この状態から出発する。(1)式と(2)式から以下のものが定義できる。${\phi}$と$\boldsymbol{A}$のことををまとめて電磁ポテンシャルという。</p>

```math
    \boldsymbol{B} = \mathbf{rot} \boldsymbol{A}        \tag{5}
```

```math
    \boldsymbol{E} = - \mathbf{grad} \boldsymbol{\phi} - \frac{∂ \boldsymbol{A}}{∂t}        \tag{6}
```

<p>(2)式に(5)式と(6)式を代入するとなり</p>

```math
    \left( \triangle - \frac{1}{c^2} \frac{∂^2}{∂t^2} \right) \boldsymbol{A} -

    \mathbf{grad} \left( \mathbf{div} \boldsymbol{A} + \frac{1}{c^2} \frac{∂ \phi}{∂t} \right) = - \mu_0 \boldsymbol{i}        \tag{7}
```

<p>また(3)式に(5)式と(6)式を代入すると</p>

```math
    \triangle \phi\ +\ \mathbf{div} \frac{∂ \boldsymbol{A}}{∂t} = - \frac{\rho}{\varepsilon_0}        \tag{8}
```


<p>となる。以上ををまとめるとマクスウェルの方程式は結局2つの式になる。この結果は他のページでも使用する。</p>

```math
    \left( \triangle - \frac{1}{c^2} \frac{∂^2}{∂t^2} \right) \boldsymbol{A} -

    \mathbf{grad} \left( \mathbf{div} \boldsymbol{A} + \frac{1}{c^2} \frac{∂ \phi}{∂t} \right) = - \mu_0 \boldsymbol{i}        \tag{7}
```

```math
    \triangle \phi\ +\ \mathbf{div} \frac{∂ \boldsymbol{A}}{∂t} = - \frac{\rho}{\varepsilon_0}        \tag{8}
```


<p>さらにここで(7)式と(8)を3式を見てみると(7)式の</p>

```math
    \mathbf{div} \boldsymbol{A} + \frac{1}{c^2} \frac{∂ \phi}{∂t} = 0
```

<p>となってくれると式が綺麗になることがわかる。このことを踏まえて以下の式変換することができて、これもマクスウェルの方程式である。</p>
<p>(11)式はローレンツ条件と呼ばれる。</p>

```math
    \left( \triangle - \frac{1}{c^2} \frac{∂^2}{∂t^2} \right) \boldsymbol{A} = - \mu_0 \boldsymbol{i}        \tag{9}
```

```math
    \left( \triangle - \frac{1}{c^2} \frac{∂^2}{∂t^2} \right) \phi = - \frac{\rho}{\varepsilon_0}        \tag{10}
```

```math
    \mathbf{div} \boldsymbol{A} + \frac{1}{c^2} \frac{∂ \phi}{∂t} = 0       \tag{11: ローレンツ条件}
```


<p>さらにここで</p>

```math
    \boldsymbol{A} = \left(\frac{\phi}{c}, A_x, A_y, A_z \right)        \tag{12: 電磁ポテンシャル}
```

```math
    \boldsymbol{i} = \left(\rho c, i_x, i_y, i_z \right)        \tag{13: 4元電流密度}
```

<p>という4次元に拡張したものを定義してやると(9)式、(10)式は1行で書くことができる。</p>

```math
    \Box \boldsymbol{A} = - \mu_0 \boldsymbol{i}        \tag{14: ローレンツゲージにおけるマクスウェルの方程式}
```

<p>最後にまとめるとマクスウェルの方程式は以下のようになる。</p>

```math
    \Box \boldsymbol{A} = - \mu_0 \boldsymbol{i}        \tag{14: ローレンツゲージにおけるマクスウェルの方程式}
```

```math
    \mathbf{div} \boldsymbol{A} + \frac{1}{c^2} \frac{∂ \phi}{∂t} = 0       \tag{11: ローレンツ条件}
```


<h2>ゲージ変換</h2>
<p>ゲージ変換とは$\chi$を用いて以下のよう変形することである。つまり$\left(\phi, \boldsymbol{A}\right)$の組から新たに$\left(\phi^{’}, \boldsymbol{A}^{’}\right)$の組み合わせを作ることである。</p>
<p>このことは(5)式、(6)式に代入してみて矛盾がないことが確認できる。</p>

```math
    \boldsymbol{A}^{’} = \boldsymbol{A} + \mathbf{grad} \chi       \tag{15}
```

```math
    \phi^{’} = \phi - \frac{∂ \chi}{∂t}       \tag{16}
```

<h2>結局どのように解くのか</h2>
<p>ゲージ変換変換を用いて(11)式のローレンツ条件を満たすような$\left(\phi^{’}, \boldsymbol{A}^{’}\right)$を見つける。</p>
その後(11)式、(14)式の変形されたマクスウェルの方程式を用いて解けばいいのである。