電磁気学入門 第5章 §5.4 ★★★ ∇ ⋅ B = 0 \nabla\cdot\bm{B}=0 ∇ ⋅ B = 0 を自動的に満たす B = ∇ × A \bm{B}=\nabla\times\bm{A} B = ∇ × A の表し方と、その選び方に残る自由度。第7章の磁束・第8章のゲージ・量子力学の電磁場の結合の出発点
ベクトルポテンシャルの存在
静電場では ∇ × E = 0 \nabla\times\bm{E}=\bm{0} ∇ × E = 0 から電位 ϕ \phi ϕ が存在した。その結果、3成分を持つ電場を1つの関数で表せた。静磁場では ∇ ⋅ B = 0 \nabla\cdot\bm{B}=0 ∇ ⋅ B = 0 が成り立つ。第1章で示したように、全空間で発散が 0 のベクトル場は、ある場の回転として書ける。
定義 5.9(ベクトルポテンシャル)
磁場 B \bm{B} B に対して
B = ∇ × A \bm{B}=\nabla\times\bm{A} B = ∇ × A
を満たすベクトル場 A \bm{A} A を、B \bm{B} B のベクトルポテンシャル と呼ぶ。単位は T ⋅ m = V ⋅ s / m \mathrm{T\cdot m}=\mathrm{V\cdot s/m} T ⋅ m = V ⋅ s/m である。
存在は §5.3 で具体的に示した。定常電流 J \bm{J} J に対して (5.21) の
A ( r ) = μ 0 4 π ∫ J ( r ′ ) ∣ r − r ′ ∣ d V ′ \bm{A}(\bm{r})=\frac{\mu_0}{4\pi}\int\frac{\bm{J}(\bm{r}')}{\left\vert \bm{r}-\bm{r}'\right\vert }\,\mathrm{d} V' A ( r ) = 4 π μ 0 ∫ ∣ r − r ′ ∣ J ( r ′ ) d V ′
をとれば ∇ × A = B \nabla\times\bm{A}=\bm{B} ∇ × A = B になる。この式は電位の式 ϕ = 1 4 π ε 0 ∫ ρ / ∣ r − r ′ ∣ d V ′ \phi=\frac{1}{4\pi\varepsilon_0}\int\rho/\left\vert \bm{r}-\bm{r}'\right\vert \,\mathrm{d} V' ϕ = 4 π ε 0 1 ∫ ρ / ∣ r − r ′ ∣ d V ′ と同じ形で、A \bm{A} A の各成分は対応する電流密度の成分を「電荷」とみなした電位のように計算できる。とくに A \bm{A} A は電流と同じ向きを向きやすい。
ベクトルポテンシャルの役割の1つは、磁束を線積分で書けることである。閉曲線 C C C を縁とする面 S S S を貫く磁束は、Stokes の定理から
Φ = ∫ S B ⋅ d S = ∫ S ( ∇ × A ) ⋅ d S = ∮ C A ⋅ d l (5.30) \Phi=\int_S\bm{B}\cdot\mathrm{d}\bm{S}=\int_S(\nabla\times\bm{A})\cdot\mathrm{d}\bm{S}=\oint_C\bm{A}\cdot\mathrm{d}\bm{l}\tag{5.30} Φ = ∫ S B ⋅ d S = ∫ S ( ∇ × A ) ⋅ d S = ∮ C A ⋅ d l ( 5.30 )
となる。§5.3 で磁束が張る面によらないことを示したが、この式では面がはじめから現れない。第7章の電磁誘導で、この式を使う。
ゲージ変換
電位には定数を足す自由度があった。ベクトルポテンシャルの自由度はもっと大きい。
命題 5.10(ゲージ変換)
任意の滑らかな関数 Λ ( r ) \Lambda(\bm{r}) Λ ( r ) について
A ′ = A + ∇ Λ (5.31) \bm{A}'=\bm{A}+\nabla\Lambda\tag{5.31} A ′ = A + ∇Λ ( 5.31 )
は A \bm{A} A と同じ磁場を与える。逆に、同じ磁場を与える2つのベクトルポテンシャルの差は、全空間(単連結な領域)で何かの関数の勾配である。
証明 勾配の回転は 0 \bm{0} 0 なので
∇ × A ′ = ∇ × A + ∇ × ∇ Λ = ∇ × A \nabla\times\bm{A}'=\nabla\times\bm{A}+\nabla\times\nabla\Lambda=\nabla\times\bm{A} ∇ × A ′ = ∇ × A + ∇ × ∇Λ = ∇ × A
である。逆に ∇ × ( A ′ − A ) = 0 \nabla\times(\bm{A}'-\bm{A})=\bm{0} ∇ × ( A ′ − A ) = 0 とする。第1章のスカラーポテンシャルの存在定理により、A ′ − A = ∇ Λ \bm{A}'-\bm{A}=\nabla\Lambda A ′ − A = ∇Λ となる関数 Λ \Lambda Λ がある。
(5.31) をゲージ変換 と呼び、Λ \Lambda Λ をゲージ関数と呼ぶ。ゲージ変換で変わらない量(B \bm{B} B や磁束)だけが測定にかかる。
自由度を減らして計算を簡単にするため、A \bm{A} A に条件を1つ課すことが多い。この条件をゲージ条件 と呼ぶ。静磁場で最もよく使うのは次の条件である。
定理 5.11(Coulomb ゲージ ★★★)
どんなベクトルポテンシャル A \bm{A} A も、ゲージ変換で ∇ ⋅ A ′ = 0 \nabla\cdot\bm{A}'=0 ∇ ⋅ A ′ = 0 (Coulomb ゲージ )を満たすものに変えられる。
Coulomb ゲージでは、静磁場の方程式 ∇ × B = μ 0 J \nabla\times\bm{B}=\mu_0\bm{J} ∇ × B = μ 0 J は成分ごとの Poisson 方程式
∇ 2 A = − μ 0 J (5.32) \nabla^2\bm{A}=-\mu_0\bm{J}\tag{5.32} ∇ 2 A = − μ 0 J ( 5.32 )
になり、遠方で A → 0 \bm{A}\to\bm{0} A → 0 となる解は (5.21) の積分でただ1つに決まる。
証明
∇ ⋅ A = g \nabla\cdot\bm{A}=g ∇ ⋅ A = g とする(g g g は有界な範囲に収まるとする)。∇ 2 Λ = − g \nabla^2\Lambda=-g ∇ 2 Λ = − g の解
Λ ( r ) = 1 4 π ∫ g ( r ′ ) ∣ r − r ′ ∣ d V ′ \Lambda(\bm{r})=\frac{1}{4\pi}\int\frac{g(\bm{r}')}{\left\vert \bm{r}-\bm{r}'\right\vert }\,\mathrm{d} V' Λ ( r ) = 4 π 1 ∫ ∣ r − r ′ ∣ g ( r ′ ) d V ′
をとる。このとき ∇ ⋅ ( A + ∇ Λ ) = g + ∇ 2 Λ = 0 \nabla\cdot(\bm{A}+\nabla\Lambda)=g+\nabla^2\Lambda=0 ∇ ⋅ ( A + ∇Λ ) = g + ∇ 2 Λ = 0 である。
∇ ⋅ A = 0 \nabla\cdot\bm{A}=0 ∇ ⋅ A = 0 なら
∇ × B = ∇ × ( ∇ × A ) = ∇ ( ∇ ⋅ A ) − ∇ 2 A = − ∇ 2 A \nabla\times\bm{B}=\nabla\times(\nabla\times\bm{A})=\nabla(\nabla\cdot\bm{A})-\nabla^2\bm{A}=-\nabla^2\bm{A} ∇ × B = ∇ × ( ∇ × A ) = ∇ ( ∇ ⋅ A ) − ∇ 2 A = − ∇ 2 A
なので、∇ × B = μ 0 J \nabla\times\bm{B}=\mu_0\bm{J} ∇ × B = μ 0 J は (5.32) と同値である。各成分について Poisson 方程式の解 (5.1) を使うと (5.21) を得る。§5.3 の証明でこの解が ∇ ⋅ A = 0 \nabla\cdot\bm{A}=0 ∇ ⋅ A = 0 を満たすことも示してある。
一意性を示す。遠方で 0 になる解が2つあれば、差の各成分は全空間の調和関数で、遠方で 0 になる。第1章の最大値原理(Helmholtz の定理の一意性の証明と同じ議論)により、差は 0 である。
静電場と静磁場の対応
静電場 静磁場(Coulomb ゲージ) 場の方程式 ∇ ⋅ E = ρ / ε 0 \nabla\cdot\bm{E}=\rho/\varepsilon_0 ∇ ⋅ E = ρ / ε 0 、∇ × E = 0 \nabla\times\bm{E}=\bm{0} ∇ × E = 0 ∇ ⋅ B = 0 \nabla\cdot\bm{B}=0 ∇ ⋅ B = 0 、∇ × B = μ 0 J \nabla\times\bm{B}=\mu_0\bm{J} ∇ × B = μ 0 J ポテンシャル E = − ∇ ϕ \bm{E}=-\nabla\phi E = − ∇ ϕ B = ∇ × A \bm{B}=\nabla\times\bm{A} B = ∇ × A Poisson 方程式 ∇ 2 ϕ = − ρ / ε 0 \nabla^2\phi=-\rho/\varepsilon_0 ∇ 2 ϕ = − ρ / ε 0 ∇ 2 A = − μ 0 J \nabla^2\bm{A}=-\mu_0\bm{J} ∇ 2 A = − μ 0 J 積分の解 ϕ = 1 4 π ε 0 ∫ ρ d V ′ ∣ r − r ′ ∣ \phi=\dfrac{1}{4\pi\varepsilon_0}\displaystyle\int\frac{\rho\,\mathrm{d} V'}{\left\vert \bm{r}-\bm{r}'\right\vert } ϕ = 4 π ε 0 1 ∫ ∣ r − r ′ ∣ ρ d V ′ A = μ 0 4 π ∫ J d V ′ ∣ r − r ′ ∣ \bm{A}=\dfrac{\mu_0}{4\pi}\displaystyle\int\frac{\bm{J}\,\mathrm{d} V'}{\left\vert \bm{r}-\bm{r}'\right\vert } A = 4 π μ 0 ∫ ∣ r − r ′ ∣ J d V ′ 残る自由度 定数 調和関数の勾配(遠方で 0 \bm{0} 0 なら無し)
例:一様な磁場とソレノイド
一様な磁場。
一様な磁場 B \bm{B} B に対して
A = 1 2 B × r (5.33) \bm{A}=\frac12\bm{B}\times\bm{r}\tag{5.33} A = 2 1 B × r ( 5.33 )
はベクトルポテンシャルである。実際、B \bm{B} B が定ベクトルのとき
∇ × ( B × r ) = B ( ∇ ⋅ r ) − ( B ⋅ ∇ ) r = 3 B − B = 2 B , ∇ ⋅ ( B × r ) = r ⋅ ( ∇ × B ) − B ⋅ ( ∇ × r ) = 0 \begin{aligned}\nabla\times(\bm{B}\times\bm{r})&=\bm{B}(\nabla\cdot\bm{r})-(\bm{B}\cdot\nabla)\bm{r}=3\bm{B}-\bm{B}=2\bm{B},\\
\nabla\cdot(\bm{B}\times\bm{r})&=\bm{r}\cdot(\nabla\times\bm{B})-\bm{B}\cdot(\nabla\times\bm{r})=0\end{aligned} ∇ × ( B × r ) ∇ ⋅ ( B × r ) = B ( ∇ ⋅ r ) − ( B ⋅ ∇ ) r = 3 B − B = 2 B , = r ⋅ ( ∇ × B ) − B ⋅ ( ∇ × r ) = 0
である。1行目から ∇ × A = B \nabla\times\bm{A}=\bm{B} ∇ × A = B が、2行目から Coulomb ゲージを満たすことが分かる。
B = B z ^ \bm{B}=B\hat{\bm{z}} B = B z ^ なら A = B 2 ( − y , x , 0 ) \bm{A}=\frac B2(-y,x,0) A = 2 B ( − y , x , 0 ) で、これを対称ゲージと呼ぶ。同じ磁場は A L = ( 0 , B x , 0 ) \bm{A}_{\mathrm L}=(0,Bx,0) A L = ( 0 , B x , 0 ) でも表せる(Landau ゲージ)。両者の差は勾配になっていて、ゲージ関数は確認テスト 5.4-2 で求める。遠方で B \bm{B} B が 0 にならないので、定理 5.11 の一意性は成り立たず、Coulomb ゲージの中にも複数の選び方が残る。
無限に長いソレノイド。
半径 R R R のソレノイドの内部には、一様な磁場 B 0 = μ 0 n I B_0=\mu_0nI B 0 = μ 0 n I がある。外部では B = 0 \bm{B}=\bm{0} B = 0 である (5.27) 。電流は e ^ φ \hat{\bm{e}}_\varphi e ^ φ の向きに流れているので、ベクトルポテンシャルも同じ向きをとり A = A φ ( s ) e ^ φ \bm{A}=A_\varphi(s)\hat{\bm{e}}_\varphi A = A φ ( s ) e ^ φ と仮定する。軸を中心とする半径 s s s の円に (5.30) を使うと 2 π s A φ ( s ) = Φ ( s ) 2\pi sA_\varphi(s)=\Phi(s) 2 π s A φ ( s ) = Φ ( s ) となる。円を貫く磁束は
Φ ( s ) = { π s 2 B 0 ( s < R ) π R 2 B 0 ( s ≥ R ) \Phi(s)=\begin{cases}\pi s^2B_0&(s<R)\\ \pi R^2B_0&(s\ge R)\end{cases} Φ ( s ) = { π s 2 B 0 π R 2 B 0 ( s < R ) ( s ≥ R )
なので
A φ ( s ) = { B 0 s 2 ( s < R ) B 0 R 2 2 s ( s ≥ R ) (5.34) A_\varphi(s)=\begin{cases}\dfrac{B_0s}{2}&(s<R)\\[2mm]\dfrac{B_0R^2}{2s}&(s\ge R)\end{cases}\tag{5.34} A φ ( s ) = ⎩ ⎨ ⎧ 2 B 0 s 2 s B 0 R 2 ( s < R ) ( s ≥ R ) ( 5.34 )
となる。逆に、円柱座標の回転の公式 ( ∇ × A ) z = 1 s d d s ( s A φ ) (\nabla\times\bm{A})_z=\frac1s\frac{d }{d s}(sA_\varphi) ( ∇ × A ) z = s 1 d s d ( s A φ ) を使うと
内部: 1 s d d s ( B 0 s 2 2 ) = B 0 , 外部: 1 s d d s ( B 0 R 2 2 ) = 0 \begin{aligned}\text{内部:}&\quad \frac1s\frac{d }{d s}\Bigl(\frac{B_0s^2}{2}\Bigr)=B_0,\\
\text{外部:}&\quad \frac1s\frac{d }{d s}\Bigl(\frac{B_0R^2}{2}\Bigr)=0\end{aligned} 内部: 外部: s 1 d s d ( 2 B 0 s 2 ) = B 0 , s 1 d s d ( 2 B 0 R 2 ) = 0
となり、確かに (5.27) に戻る。∇ ⋅ A = 1 s ∂ A φ ∂ φ = 0 \nabla\cdot\bm{A}=\frac1s\frac{\partial A_\varphi}{\partial \varphi}=0 ∇ ⋅ A = s 1 ∂ φ ∂ A φ = 0 なので Coulomb ゲージでもある。
ソレノイドの外では、磁場が 0 なのにベクトルポテンシャルは 0 でない。しかも、ソレノイドを1周する閉曲線に沿った線積分は内部の磁束に等しい。
∮ A ⋅ d l = π R 2 B 0 \oint\bm{A}\cdot\mathrm{d}\bm{l}=\pi R^2B_0 ∮ A ⋅ d l = π R 2 B 0
どのゲージを選んでもこの線積分は変わらない(∮ ∇ Λ ⋅ d l = 0 \oint\nabla\Lambda\cdot\mathrm{d}\bm{l}=0 ∮ ∇Λ ⋅ d l = 0 )。
外部のどの点の近くでも A \bm{A} A を勾配で消すことはできるが、外部全体で同時に消すことはできない。古典力学では力が B \bm{B} B だけで決まるので、この違いは観測にかからない。一方、量子力学では電子の波の位相が ∮ A ⋅ d l \oint\bm{A}\cdot\mathrm{d}\bm{l} ∮ A ⋅ d l だけずれ、磁場の無い所を通った電子の干渉縞が動く。これを Aharonov–Bohm 効果と呼ぶ。
例題 5.5 有限の長さの直線電流のベクトルポテンシャル ★★
オリジナル z z z 軸上の − L ≤ z ′ ≤ L -L\le z'\le L − L ≤ z ′ ≤ L の部分だけに導線がある。この導線を、電流 I I I が軸の正の向きに流れている(電流が閉じるための戻りの導線は十分遠くにあり、無視する)。
中点を通り導線に垂直な平面(z = 0 z=0 z = 0 )の上、軸からの距離 s s s の点のベクトルポテンシャルを (5.21) から求めよ。
L ≫ s L\gg s L ≫ s での振る舞いを調べよ。また、L → ∞ L\to\infty L → ∞ でベクトルポテンシャルが発散することを確かめよ。
1 の A \bm{A} A から z = 0 z=0 z = 0 の平面上の磁場を計算し、(5.17) と一致することを確かめよ。
解答
電流は z z z 方向だけなので A = A z z ^ \bm{A}=A_z\hat{\bm{z}} A = A z z ^ で、
A z ( s , 0 ) = μ 0 I 4 π ∫ − L L d z ′ s 2 + z ′ 2 = μ 0 I 4 π [ ln ( z ′ + s 2 + z ′ 2 ) ] − L L = μ 0 I 4 π ln L 2 + s 2 + L L 2 + s 2 − L . A_z(s,0)=\frac{\mu_0I}{4\pi}\int_{-L}^{L}\frac{\mathrm{d} z'}{\sqrt{s^2+z'^2}}
=\frac{\mu_0I}{4\pi}\Bigl[\ln\bigl(z'+\sqrt{s^2+z'^2}\bigr)\Bigr]_{-L}^{L}
=\frac{\mu_0I}{4\pi}\ln\frac{\sqrt{L^2+s^2}+L}{\sqrt{L^2+s^2}-L}. A z ( s , 0 ) = 4 π μ 0 I ∫ − L L s 2 + z ′2 d z ′ = 4 π μ 0 I [ ln ( z ′ + s 2 + z ′2 ) ] − L L = 4 π μ 0 I ln L 2 + s 2 − L L 2 + s 2 + L .
分母と分子に L 2 + s 2 + L \sqrt{L^2+s^2}+L L 2 + s 2 + L を掛けると分母が s 2 s^2 s 2 になるので、次のようにも書ける。
A z = μ 0 I 2 π ln L 2 + s 2 + L s A_z=\frac{\mu_0I}{2\pi}\ln\frac{\sqrt{L^2+s^2}+L}{s} A z = 2 π μ 0 I ln s L 2 + s 2 + L
L ≫ s L\gg s L ≫ s では L 2 + s 2 + L ≃ 2 L \sqrt{L^2+s^2}+L\simeq2L L 2 + s 2 + L ≃ 2 L なので
A z ≃ μ 0 I 2 π ln 2 L s . A_z\simeq\frac{\mu_0I}{2\pi}\ln\frac{2L}{s}. A z ≃ 2 π μ 0 I ln s 2 L .
L → ∞ L\to\infty L → ∞ で対数的に発散する。電流が無限遠まで続くと (5.21) の積分が収束しない。これは、無限に長い線電荷の電位が発散するのと同じ事情である。
右辺を2つに分けると
A z ≃ μ 0 I 2 π ln ( 2 L ) ⏟ s によらない − μ 0 I 2 π ln s ⏟ s に依存する A_z\simeq\underbrace{\frac{\mu_0I}{2\pi}\ln(2L)}_{{s}\text{ によらない}}\;\underbrace{-\,\frac{\mu_0I}{2\pi}\ln s}_{{s}\text{ に依存する}} A z ≃ s によらない 2 π μ 0 I ln ( 2 L ) s に依存する − 2 π μ 0 I ln s
で、発散するのは前の定数の部分だけである。s s s に依存する部分は有限に残る。定数は磁場に寄与しないので、無限に長い導線には基準の距離 s 0 s_0 s 0 を選んで A z = − μ 0 I 2 π ln ( s / s 0 ) A_z=-\frac{\mu_0I}{2\pi}\ln(s/s_0) A z = − 2 π μ 0 I ln ( s / s 0 ) とすればよい。
A = A z ( s , z ) z ^ \bm{A}=A_z(s,z)\hat{\bm{z}} A = A z ( s , z ) z ^ の回転は円柱座標で ( ∇ × A ) φ = − ∂ A z ∂ s (\nabla\times\bm{A})_\varphi=-\frac{\partial A_z}{\partial s} ( ∇ × A ) φ = − ∂ s ∂ A z である。z = 0 z=0 z = 0 の平面上での動径方向の微分だけが要るので、1 の式を s s s で微分する。u = L 2 + s 2 u=\sqrt{L^2+s^2} u = L 2 + s 2 とおくと ∂ u ∂ s = s / u \frac{\partial u}{\partial s}=s/u ∂ s ∂ u = s / u で、
∂ ∂ s ln u + L s = s / u u + L − 1 s = s 2 − u ( u + L ) s u ( u + L ) = s 2 − L 2 − s 2 − u L s u ( u + L ) = − L ( L + u ) s u ( u + L ) = − L s u . \frac{\partial }{\partial s}\ln\frac{u+L}{s}=\frac{s/u}{u+L}-\frac1s=\frac{s^2-u(u+L)}{su(u+L)}=\frac{s^2-L^2-s^2-uL}{su(u+L)}=-\frac{L(L+u)}{su(u+L)}=-\frac{L}{su}. ∂ s ∂ ln s u + L = u + L s / u − s 1 = s u ( u + L ) s 2 − u ( u + L ) = s u ( u + L ) s 2 − L 2 − s 2 − uL = − s u ( u + L ) L ( L + u ) = − s u L .
したがって
B φ = − ∂ A z ∂ s = μ 0 I 2 π ⋅ L s L 2 + s 2 . B_\varphi=-\frac{\partial A_z}{\partial s}=\frac{\mu_0I}{2\pi}\cdot\frac{L}{s\sqrt{L^2+s^2}}. B φ = − ∂ s ∂ A z = 2 π μ 0 I ⋅ s L 2 + s 2 L .
(5.17) で z 2 = L z_2=L z 2 = L 、z 1 = − L z_1=-L z 1 = − L とおくと
sin θ 2 − sin θ 1 = 2 L s 2 + L 2 , B φ = μ 0 I 4 π s ⋅ 2 L s 2 + L 2 \sin\theta_2-\sin\theta_1=\frac{2L}{\sqrt{s^2+L^2}},\qquad
B_\varphi=\frac{\mu_0I}{4\pi s}\cdot\frac{2L}{\sqrt{s^2+L^2}} sin θ 2 − sin θ 1 = s 2 + L 2 2 L , B φ = 4 π s μ 0 I ⋅ s 2 + L 2 2 L
となり一致する。
ベクトルポテンシャルの境界条件
Coulomb ゲージでは、面電流が流れる面を挟んでも A \bm{A} A は連続である。∇ ⋅ A = 0 \nabla\cdot\bm{A}=0 ∇ ⋅ A = 0 から法線成分が、∮ A ⋅ d l = Φ \oint\bm{A}\cdot\mathrm{d}\bm{l}=\Phi ∮ A ⋅ d l = Φ が細い長方形で 0 になることから接線成分が連続になる。
面電流による磁場の跳びは、A \bm{A} A の法線方向の微分の跳び ∂ A 2 ∂ n − ∂ A 1 ∂ n = − μ 0 K \frac{\partial \bm{A}_2}{\partial n}-\frac{\partial \bm{A}_1}{\partial n}=-\mu_0\bm{K} ∂ n ∂ A 2 − ∂ n ∂ A 1 = − μ 0 K として現れる。電位で表面電荷が ∂ ϕ / ∂ n \partial\phi/\partial n ∂ ϕ / ∂ n の跳びになったことに対応する。
確認テスト
オリジナル
5.4-1 ゲージ変換 A → A + ∇ Λ \bm{A}\to\bm{A}+\nabla\Lambda A → A + ∇Λ で、任意の閉曲線に沿った ∮ A ⋅ d l \oint\bm{A}\cdot\mathrm{d}\bm{l} ∮ A ⋅ d l が変わらないことを示せ。
5.4-2 一様な磁場 B = B z ^ \bm{B}=B\hat{\bm{z}} B = B z ^ に対して、次の2つのベクトルポテンシャルを考える。
対称ゲージ A S = B 2 ( − y , x , 0 ) , Landau ゲージ A L = ( 0 , B x , 0 ) \text{対称ゲージ } \bm{A}_{\mathrm S}=\frac B2(-y,x,0),\qquad \text{Landau ゲージ } \bm{A}_{\mathrm L}=(0,Bx,0) 対称ゲージ A S = 2 B ( − y , x , 0 ) , Landau ゲージ A L = ( 0 , B x , 0 )
両者がともに B \bm{B} B を与え、ともに Coulomb ゲージを満たすことを確かめよ。さらに A L = A S + ∇ Λ \bm{A}_{\mathrm L}=\bm{A}_{\mathrm S}+\nabla\Lambda A L = A S + ∇Λ となるゲージ関数 Λ \Lambda Λ を求めよ。3. 5.4-3 (5.34) のベクトルポテンシャルについて、半径 s s s の円に沿った ∮ A ⋅ d l \oint\bm{A}\cdot\mathrm{d}\bm{l} ∮ A ⋅ d l を計算せよ。円がソレノイドの内側にある場合(s < R s<R s < R )と外側にある場合のそれぞれで、円を貫く磁束に等しいことを確かめよ。4. 5.4-4 半径 a a a の無限に長い円柱の導線の断面に電流 I I I が一様に流れている。Coulomb ゲージで A = A z ( s ) z ^ \bm{A}=A_z(s)\hat{\bm{z}} A = A z ( s ) z ^ とする。∇ 2 A z = − μ 0 J \nabla^2A_z=-\mu_0J ∇ 2 A z = − μ 0 J を円柱座標で解いて A z A_z A z を求めよ。条件は次の3つとする。
s = a s=a s = a で A z = 0 A_z=0 A z = 0 。
s = 0 s=0 s = 0 で有限。
s = a s=a s = a で d A z / d s \mathrm{d} A_z/\mathrm{d} s d A z / d s が連続。
そこから磁場を計算し、(5.26) と一致することを確かめよ。5. 5.4-5 ベクトルポテンシャル A \bm{A} A と A ′ \bm{A}' A ′ がともに Coulomb ゲージを満たし、遠方で 0 になるとする。両者が同じ磁場を与えるなら A = A ′ \bm{A}=\bm{A}' A = A ′ であることを示せ。
AI(Claude)が書いた教材を、木下が勉強しながら公開しています。式と数値は検算していますが、誤りが残っているかもしれません。誤りのご指摘・削除のご依頼をいただければ直します。 連絡先:support@tecktom.com