tecktom.com

授業で習った形との対応

2026年10月15日9分で読めますAI生成教科書『虎の巻』第2部 第8章 ゲージ不変性という制約
目次
  1. ポテンシャルの導入
  2. 変位電流と連続の方程式
  3. 最小結合と、ゲージで変わる正準運動量
  4. 木下の層

AI 生成・木下が未勉強

解析力学から様々な理論分野を組み立てる 第2部 第8章 §2.8.6 ★★ ポテンシャルの導入・変位電流・Lorenz ゲージ・最小結合を、この章の恒等式と拘束の言葉に並べ直す

ポテンシャルの導入

解析力学を使わない電磁気学の教科書では、ポテンシャルを次の順で導入する。まず ∇⋅B=0\nabla\cdot\bm{B}=0 から、発散のないベクトル場は回転で書けるので B=∇×A\bm{B}=\nabla\times\bm{A} とおく。次に Faraday の法則に入れると ∇×(E+∂tA)=0\nabla\times(\bm{E}+\partial_t\bm{A})=0 となり、回転のないベクトル場は勾配で書けるので E=−∇ϕ−∂tA\bm{E}=-\nabla\phi-\partial_t\bm{A} とおく。最後に「A\bm{A} に勾配を足しても B\bm{B} は変わらない」ことからゲージ変換を述べる。この章では順序が逆で、作用を独立な変数で書くためにまず AμA_\mu を選び、式 (2.8.8) は Fμν=∂μAν−∂νAμF_{\mu\nu}=\partial_\mu A_\nu-\partial_\nu A_\mu の恒等式として自動的に成り立つ(2.8.1節)。教科書の順は「方程式からポテンシャルへ」、この章の順は「作用の変数から方程式へ」である。

変位電流と連続の方程式

授業では、Ampère の法則 ∇×B=μ0J\nabla\times\bm{B}=\mu_0\bm{J} の発散を取ると ∇⋅J=0\nabla\cdot\bm{J}=0 となって、電荷が時間変化する場合と矛盾すること、そこで変位電流 μ0ε0∂tE\mu_0\varepsilon_0\partial_t\bm{E} を足すと、発散を取ったときに Gauss の法則と合わせて連続の方程式が出ることを学ぶ。この議論は、恒等式 (2.8.11) を源の側から読んだもの(式 (2.8.14))そのものである。並べると次のようになる。

授業での書き方この章での書き方
∇⋅(∇×B)=0\nabla\cdot(\nabla\times\bm{B})=0∂ν∂μFμν≡0\partial_\nu\partial_\mu F^{\mu\nu}\equiv0(第2定理の恒等式)
変位電流を足して矛盾を除くGauss の法則と Ampère–Maxwell の法則が1つの ∂μFμν\partial_\mu F^{\mu\nu} にまとまる
∂tρ+∇⋅J=0\partial_t\rho+\nabla\cdot\bm{J}=0 が出る∂νJν=0\partial_\nu J^\nu=0 は解が存在するための条件、かつ結合の項のゲージ不変性
B=∇×A\bm{B}=\nabla\times\bm{A}、E=−∇ϕ−∂tA\bm{E}=-\nabla\phi-\partial_t\bm{A}Fμν=∂μAν−∂νAμF_{\mu\nu}=\partial_\mu A_\nu-\partial_\nu A_\mu(Bianchi 恒等式が自動的に成立)
ポテンシャルの不定性ゲージ軌道。Gauss の法則が生成子 G[Λ]G[\Lambda]
Lorenz 条件のもとで □ϕ=ρ/ε0\Box\phi=\rho/\varepsilon_0、□A=μ0J\Box\bm{A}=\mu_0\bm{J}ゲージの固定 (2.8.22) の後の運動方程式 (2.8.23)
p=mv+qA\bm{p}=m\bm{v}+q\bm{A}、H=(p−qA)22m+qϕH=\frac{(\bm{p}-q\bm{A})^2}{2m}+q\phi正準運動量はゲージで変わり、mv=p−qAm\bm{v}=\bm{p}-q\bm{A} は変わらない
ψ→eiqΛ/ℏψ\psi\to\mathrm{e}^{\mathrm{i} q\Lambda/\hbar}\psi式 (2.8.7) の全微分が作用の位相を qΛ/ℏq\Lambda/\hbar だけずらす

最小結合と、ゲージで変わる正準運動量

量子力学の授業では、電磁場中の Hamiltonian を H=12m(p−qA)2+qϕH=\frac{1}{2m}(\bm{p}-q\bm{A})^2+q\phi と書き、ゲージ変換で波動関数の位相を eiqΛ/ℏ\mathrm{e}^{\mathrm{i} q\Lambda/\hbar} だけ回すと Schrödinger 方程式の形が保たれることを学ぶ。第2部第2章で見たとおり、この p\bm{p} は正準運動量 ∂L/∂r˙=mr˙+qA\partial L/\partial\dot{\bm{r}}=m\dot{\bm{r}}+q\bm{A} で、ゲージ変換で p→p+q∇Λ\bm{p}\to\bm{p}+q\nabla\Lambda と変わる。ゲージによらないのは mr˙=p−qAm\dot{\bm{r}}=\bm{p}-q\bm{A} のほうである。古典的にも量子的にも、正準運動量で書いた保存則はゲージの選び方に結びついている(第2部第2章の例題 2.2.4 の一様な電場、2.2.4節の一様な磁場、次の例題の平面波)。量子力学での最小結合の扱いと Landau 準位は第4部第6章で扱う。

例題 2.8.7 平面波の中の電荷:2つのゲージで保存する正準運動量 ★★

オリジナル例題 2.8.1 の平面波の中を、電荷 qq・質量 mm の粒子が光速よりずっと遅く動く。粒子の Lagrangian は式 (2.8.1) の被積分関数である。

  1. (1) ゲージ1とゲージ2のそれぞれで Lagrangian L1,L2L_1,L_2 を書き、L2−L1=q dΛ/dtL_2-L_1=q\,\mathrm{d}\Lambda/\mathrm{d} t を確かめよ。
  2. (2) どちらのゲージでも yy が循環座標であることを示し、保存する正準運動量 pyp_y を求めよ。2つのゲージの pyp_y は同じ量か。
  3. (3) 2つのゲージの正準運動量の xx 成分を比べ、差を Λ\Lambda で表せ。
  4. (4) 粒子が t=0t=0 に原点で静止していたとする。y˙\dot y を θ\theta で表し、電子(電荷 −e-e、質量 9.11×10−31 kg9.11\times10^{-31}\,\mathrm{kg})がE0=1.0×106 V/mE_0=1.0\times10^{6}\,\mathrm{V/m}、波長 1 μm1\,\mu\mathrm m(ω=1.88×1015 s−1\omega=1.88\times10^{15}\,\mathrm{s^{-1}})の波の中にあるときの ∣y˙∣\lvert \dot y\rvert の最大値を求めよ。
解答

(1) v=r˙\bm{v}=\dot{\bm{r}} とすると

L1=m2v2+qy˙ E0ωsin⁡θ,L2=m2v2−qE0cos⁡θ+qx˙ E0ccos⁡θ+qy˙ E0ωsin⁡θL_1=\frac m2\bm{v}^2+q\dot y\,\frac{E_0}{\omega}\sin\theta,\qquad L_2=\frac m2\bm{v}^2-qE_0\cos\theta+q\dot x\,\frac{E_0}{c}\cos\theta+q\dot y\,\frac{E_0}{\omega}\sin\theta

(θ=kx−ωt\theta=kx-\omega t は粒子の位置 x(t)x(t) で取る)。ddtΛ=E0ωcos⁡θ (kx˙−ω)=E0cx˙cos⁡θ−E0cos⁡θ\frac{\mathrm{d} }{\mathrm{d} t}\Lambda=\frac{E_0}{\omega}\cos\theta\,(k\dot x-\omega)=\frac{E_0}{c}\dot x\cos\theta-E_0\cos\theta なので、L2−L1=q dΛ/dtL_2-L_1=q\,\mathrm{d}\Lambda/\mathrm{d} t で式 (2.8.7) のとおりである。

(2) θ\theta は xx と tt だけの関数なので、L1L_1 も L2L_2 も yy を含まない。保存する正準運動量は

py=∂L∂y˙=my˙+qE0ωsin⁡θp_y=\frac{\partial L}{\partial \dot y}=m\dot y+\frac{qE_0}{\omega}\sin\theta

で、2つのゲージで同じ式になる。Λ\Lambda が yy によらず、ゲージ変換で AyA_y が変わらないためである(zz も循環座標で pz=mz˙p_z=m\dot z が保存する)。

(3) px(1)=mx˙p_x^{(1)}=m\dot x、px(2)=mx˙+qE0ccos⁡θp_x^{(2)}=m\dot x+\frac{qE_0}{c}\cos\theta で、差は q ∂xΛq\,\partial_x\Lambda である。本文の p→p+q∇Λ\bm{p}\to\bm{p}+q\nabla\Lambda の xx 成分で、ゲージによらないのは mx˙m\dot x のほうである。LL が xx を含むので、どちらのゲージでも pxp_x は保存しない。

(4) 初めに y˙=0\dot y=0、θ=0\theta=0 なので py=0p_y=0。保存則から各時刻で y˙=−qE0mωsin⁡θ\dot y=-\frac{qE_0}{m\omega}\sin\theta となり、∣y˙∣\lvert \dot y\rvert の最大値は ∣q∣E0/(mω)\lvert q\rvert E_0/(m\omega) である。数値は 1.602×10−19×1.0×1069.11×10−31×1.88×1015=93 m/s\frac{1.602\times10^{-19}\times1.0\times10^{6}}{9.11\times10^{-31}\times1.88\times10^{15}}=93\,\mathrm{m/s} で、光速の 3×10−73\times10^{-7} 倍なので非相対論の扱いでよい。横の速度は AyA_y に比例して振動し、その形はゲージ1でもゲージ2でも同じ保存則 py=0p_y=0 から出る。ゲージで変わる量(pxp_x)と変わらない量(pyp_y)が、どの成分に ∇Λ\nabla\Lambda が入るかで分かれている。

木下の勉強ステータス

木下はまだこの記事を勉強していません。

AI(Claude)が書いた教材を、木下が勉強しながら公開しています。式と数値は検算していますが、誤りが残っているかもしれません。誤りのご指摘・削除のご依頼をいただければ直します。 連絡先:support@tecktom.com

← AI生成教科書『虎の巻』の記事一覧へ