解析力学から様々な理論分野を組み立てる 第2部 第8章 §2.8.5 ★★ ゲージ軌道から代表を1つ選ぶ条件が Lorenz・Coulomb ゲージ。ゲージで消せない ∮A⋅dl が Aharonov–Bohm の位相になる
ゲージ軌道と、そこから1つ選ぶ条件
1つの Aμ からゲージ変換で移れる Aμ−∂μΛ の全体を、Aμ のゲージ軌道と呼ぶ。同じ軌道の上の Aμ はすべて同じ Fμν になり、物理的に区別することができない。計算するときは、各軌道から代表を1つずつ選ぶ条件を課しておくと式が簡単になる。これをゲージの固定と呼ぶ(図 2.8.2)。
よく使う条件の1つ目は Lorenz ゲージ(L. V. Lorenz にちなむ。変換の名の Lorentz とは別人)
∂μAμ=c21∂t∂ϕ+∇⋅A=0(2.8.22)
である。ゲージ変換で ∂μAμ→∂μAμ−□Λ となるので、与えられた Aμ に対して波動方程式 □Λ=∂μAμ を解いて Λ を選べば、この条件にたどり着くことができる。∂μFμν=□Aν−∂ν(∂μAμ) なので、このゲージでは Maxwell 方程式 (2.8.3) が4つの成分ごとに分かれた波動方程式
□Aν=μ0Jν,すなわち□ϕ=ε0ρ,□A=μ0J(2.8.23)
になる(□=c21∂t2−∇2)。条件 (2.8.22) は計量を使って書いたので、Lorentz 変換で別の慣性系に移っても同じ形のまま保たれる。ただし条件は軌道から代表を1つに絞り切らない。□Λ=0 を満たす Λ でゲージ変換しても条件は崩れないので、この分の不定性(残りのゲージ自由度)が残る。
2つ目は Coulomb ゲージ
∇⋅A=0(2.8.24)
で、2.8.4節の言葉では A~∥=0 と選ぶことに当たる。∇2Λ=−∇⋅A を解けばたどり着くことができる。このゲージでは Gauss の法則が −∇2ϕ=ρ/ε0 となり、ϕ は各時刻の電荷分布から瞬時に決まる Coulomb のポテンシャルになる。ϕ が瞬時に決まっても電場の伝わり方が光速を超えるわけではない。A の側にも瞬時に決まる部分があり、E=−∇ϕ−∂tA にするとその部分が打ち消し合う。Coulomb ゲージは、動く自由度 A~⊥ だけを残すので量子化と相性が良く、Lorenz ゲージは計量で書けるので相対論的な計算と相性が良い。

図 2.8.2 ゲージの固定の模式図。灰色の線の1本1本が同じ Fμν になる Aμ の集まり(ゲージ軌道)で、ゲージ変換は線に沿って動く。黒い線がゲージの固定の条件で、各軌道と1点(黒丸)で交われば代表が1つに決まる。Lorenz ゲージでは □Λ=0 の分だけ交わりが1点に絞り切れない
ゲージで消せない量:∮A⋅dl
ゲージ変換で変わらない量は Fμν だけではない。閉じた曲線 C についての線積分 ∮CA⋅dl は、A→A+∇Λ で∮C∇Λ⋅dl だけ変わるが、Λ が1価の関数ならこれは 0 である。Stokes の定理から、C を縁とする面 Σ を貫く磁束∮CA⋅dl=∫ΣB⋅dS に等しい。
この量が B だけで言い尽くせない例が、無限に長いソレノイドである。半径 R のソレノイドの中に一様な磁場 B0ez があり、外では B=0 とする。円柱座標 (ρ,φ,z) でベクトルポテンシャルを
Aφ=⎩⎨⎧2B0ρ2πρΦB(ρ<R)(ρ>R),ΦB=πR2B0(2.8.25)
と選ぶと、中では ∇×A=ρ1∂ρ(ρAφ)ez=B0ez、外では 0 になる(図 2.8.3)。ソレノイドを1周する曲線では、半径によらず ∮A⋅dl=2πρAφ=ΦB である。
外側だけを見ると A=∇Λ、Λ=ΦBφ/(2π) と書けて、A をゲージ変換で消せるように見える。しかしこの Λ は1周すると ΦB だけずれる多価の関数で、外側の領域全体では1価の Λ で A を消すことはできない。外側の領域は穴(ソレノイド)のあいた領域で、ソレノイドを囲む曲線を縮めて1点にできないためである。
古典力学の粒子は Lorentz 力にしか反応しないので、外側を動く限りソレノイドの影響を受けない。一方、作用 (2.8.1) の値にはq∫r˙⋅Adt=q∫A⋅dl が入るので、ソレノイドの両側を通って同じ2点を結ぶ2本の経路では、作用が
ΔS=q∮A⋅dl=qΦB(2.8.26)
だけ違う。この差はゲージによらない。量子力学では作用が位相 eiS/ℏ に入るので(第1部第5章・第4部第8章)、2本の経路を通った波の干渉縞は位相差 qΦB/ℏ だけずれる。B=0 の場所しか通らない電子でも、ソレノイドの中の磁束を感じる。これを Aharonov と Bohm が1959年に指摘し1Y. Aharonov and D. Bohm (1959), Physical Review 115, 485–491.、外村らが超伝導体で磁場を閉じ込めた微小な環状磁石を使って確かめた2A. Tonomura et al. (1986), Physical Review Letters 56, 792–795.。量子力学での扱いは第4部第6章で行う。

図 2.8.3 無限に長いソレノイド(半径 R)のまわりの Aφ(式 (2.8.25))と磁場。ρ>R では B=0 なのに Aφ=ΦB/(2πρ) は 0 でなく、1周の線積分は半径によらず ΦB になる。どちらも厳密な式で、近似は入っていない
例題 2.8.5 ソレノイドの外の A は局所的にしか消せない ★★
オリジナル式 (2.8.25) の外側 ρ>R の Aφ=ΦB/(2πρ) と、Λ=ΦBφ/(2π) を考える。
- (1) 円柱座標の勾配 ∇Λ=∂ρΛeρ+ρ1∂φΛeφ+∂zΛez を使って A=∇Λ を確かめ、ゲージ関数 −Λ でゲージ変換したポテンシャル (ϕ′,A′) を求めよ(静磁場なので ϕ=0 とする)。
- (2) 外側の領域から負の x 軸に沿う半平面(φ=π)を除き、−π<φ<π と選ぶ。この領域の中で Λ は1価で滑らかか。
- (3) 除いた半平面をまたぐと Λ はいくら跳ぶか。外側の領域全体で A′=0 にする1価の Λ が無いことを、1周の線積分から示せ。
- (4) 例題 2.8.6 と同じ R=1μm、B0=1mT のとき、ρ=2R での Aφ を数値で求めよ。
解答
(1) ∂ρΛ=∂zΛ=0、ρ1∂φΛ=2πρΦB なので ∇Λ=2πρΦBeφ=A。ゲージ関数 −Λ の変換 (2.8.5) で A′=A−∇Λ=0、Λ は時刻によらないので ϕ′=ϕ=0 である。
(2) −π<φ<π の範囲では、φ は位置の1価で滑らかな関数なので、Λ も1価で滑らかである。この領域の中では ϕ′=0、A′=0 というゲージが存在し、ポテンシャルにソレノイドの痕跡はどこにも残らない。局所的には(ソレノイドを囲まない領域では)A をゲージ変換で消すことができる。
(3) 半平面に上側から近づくと φ→π で Λ→ΦB/2、下側から近づくと φ→−π で Λ→−ΦB/2 となり、Λ は ΦB だけ跳ぶ。外側の領域全体で1価で滑らかな Λ~ が ∇Λ~=A を満たしたとすると、ソレノイドを1周する円 C で∮CA⋅dl=∮C∇Λ~⋅dl=0 になるが、本文のとおりこの線積分は ΦB=0 で矛盾する。1価の Λ によるゲージ変換は ∮CA⋅dl を変えないので、どのゲージでも外側の A をすべて 0 にすることはできない。Λ の跳び ΦB は1周の線積分そのもので、次の例題でこれが電子の干渉の位相差 qΦB/ℏ になる。
(4) ΦB=πR2B0 なので Aφ(2R)=2π⋅2RπR2B0=4B0R=410−3×10−6=2.5×10−10Tm。
例題 2.8.6 細いソレノイドを回る電子の位相差 ★★
オリジナル半径 R=1μm のソレノイドの中に B0=1mT の一様な磁場がある。電子(電荷 −e)の波がソレノイドの両側を通って干渉する。
- (1) 外側の Aφ=ΦB/(2πρ) について、ソレノイドを1周する半径 ρ の円での線積分を求め、ρ によらないことを示せ。また、1周しない閉曲線(ソレノイドを囲まない曲線)での線積分はいくらか。
- (2) 磁束 ΦB と、2本の経路の位相差の大きさ eΦB/ℏ を数値で求めよ。ΦB は磁束の単位 h/e の何倍か。
- (3) ΦB=h/(2e)(超伝導体で量子化される磁束の単位)なら位相差はいくらか。
解答
(1) 半径 ρ の円では ∮A⋅dl=∫02πAφρdφ=2πρΦB⋅2πρ=ΦB で、ρ によらない。ソレノイドを囲まない閉曲線は、外側の領域の中で縮めて1点にでき、その内側で B=0 なので、Stokes の定理から線積分は 0 である(Λ=ΦBφ/(2π) が曲線の上で1価に選べる、と言ってもよい)。
(2) ΦB=πR2B0=π×(10−6)2×10−3=3.14×10−15Wb。ℏ=1.055×10−34Js、e=1.602×10−19C を使って
ℏeΦB=1.055×10−341.602×10−19×3.14×10−15=4.77rad.
h/e=2πℏ/e=4.14×10−15Wb なので、ΦB はその 0.760 倍である。位相差は 2π×0.760=4.77rad と言い換えられる。
(3) eΦB/ℏ=ℏe⋅2e2πℏ=π。干渉縞はちょうど半周期ずれ、明るい所と暗い所が入れ替わる。磁場の大きさを変えると、位相差は ΦB に比例して連続に変わり、ΦB が h/e 増えるごとに干渉縞は元に戻る。
1 Y. Aharonov and D. Bohm (1959), Physical Review 115, 485–491.
2 A. Tonomura et al. (1986), Physical Review Letters 56, 792–795.
AI(Claude)が書いた教材を、木下が勉強しながら公開しています。式と数値は検算していますが、誤りが残っているかもしれません。誤りのご指摘・削除のご依頼をいただければ直します。 連絡先:support@tecktom.com