tecktom.com

当てる道具:位相の Noether の流れと Lorentz 不変性

2026年10月15日8分で読めますAI生成教科書『虎の巻』第5部 第4章 相対論的量子力学
目次
  1. 位相の対称性の流れ
  2. Lorentz 不変性がこの形を強いる理由
  3. エネルギーは正、電荷は正負
  4. 木下の層

AI 生成・木下が未勉強

解析力学から様々な理論分野を組み立てる 第5部 第4章 §5.4.2 ★★★ 位相の対称性の Noether の流れ jμ=i(ϕ∗∂μϕ−ϕ ∂μϕ∗)j^\mu=\mathrm{i}(\phi^*\partial^\mu\phi-\phi\,\partial^\mu\phi^*) は保存するが、j0j^0 は正にも負にもなる。確率密度にはならない

位相の対称性の流れ

第2部第7章の場の Noether の定理は、L\mathcal L が場の無限小変換 δϕ=ϵK\delta\phi=\epsilon K で変わらないとき、流れ jμ=∑∂L/∂(∂μϕa) Kaj^\mu=\sum\partial\mathcal L/\partial(\partial_\mu\phi_a)\,K_a が ∂μjμ=0\partial_\mu j^\mu=0 を満たすことを述べる。位相の取り替えの無限小形は δϕ=−iϵϕ\delta\phi=-\mathrm{i}\epsilon\phi、δϕ∗=iϵϕ∗\delta\phi^*=\mathrm{i}\epsilon\phi^* である。∂LKG/∂(∂μϕ)=∂μϕ∗\partial\mathcal L_{\mathrm{KG}}/\partial(\partial_\mu\phi)=\partial^\mu\phi^*、∂LKG/∂(∂μϕ∗)=∂μϕ\partial\mathcal L_{\mathrm{KG}}/\partial(\partial_\mu\phi^*)=\partial^\mu\phi なので、全体の符号を正の振動数で j0>0j^0>0 となるように選ぶと

jμ=i(ϕ∗∂μϕ−ϕ ∂μϕ∗),∂μjμ=0(5.4.7)j^\mu=\mathrm{i}\bigl(\phi^*\partial^\mu\phi-\phi\,\partial^\mu\phi^*\bigr),\qquad \partial_\mu j^\mu=0\tag{5.4.7}

である。保存は式 (5.4.3) を使って直接確かめることもできる。∂μjμ=i(ϕ∗□ϕ−ϕ □ϕ∗)=i(−m2ϕ∗ϕ+m2ϕϕ∗)=0\partial_\mu j^\mu=\mathrm{i}(\phi^*\Box\phi-\phi\,\Box\phi^*)=\mathrm{i}(-m^2\phi^*\phi+m^2\phi\phi^*)=0 である。

成分で書くと

j0=i(ϕ∗∂tϕ−ϕ ∂tϕ∗),j=−i(ϕ∗∇ϕ−ϕ∇ϕ∗)(5.4.8)j^0=\mathrm{i}\bigl(\phi^*\partial_t\phi-\phi\,\partial_t\phi^*\bigr),\qquad \bm{j}=-\mathrm{i}\bigl(\phi^*\nabla\phi-\phi\nabla\phi^*\bigr)\tag{5.4.8}

である。j\bm{j} は Schrödinger 方程式の確率の流れ 12mi(ψ∗∇ψ−ψ∇ψ∗)\frac{1}{2m\mathrm{i}}(\psi^*\nabla\psi-\psi\nabla\psi^*) の 2m2m 倍と同じ形をしている。違いは j0j^0 で、Schrödinger 方程式では ∣ψ∣2\lvert \psi\rvert ^2 だったものが、時間微分を含む式になっている。

平面波 ϕ=Ne−i(Et−p⋅x)\phi=N\mathrm{e}^{-\mathrm{i}(Et-\bm{p}\cdot\bm{x})} を入れると ∂tϕ=−iEϕ\partial_t\phi=-\mathrm{i} E\phi なので

j0=2E∣N∣2(5.4.9)j^0=2E\lvert N\rvert ^2\tag{5.4.9}

になる。E=+ωpE=+\omega_{\bm{p}} なら正、E=−ωpE=-\omega_{\bm{p}} なら負である。したがって j0j^0 は確率密度として読むことができない。

Lorentz 不変性がこの形を強いる理由

j0j^0 に時間微分が入るのは偶然ではない。保存則 ∂μjμ=0\partial_\mu j^\mu=0 が座標系によらず成り立つためには、jμj^\mu は4元ベクトルでなければならない。ϕ\phi がスカラーの場の場合、ϕ\phi と ϕ∗\phi^* から微分なしで作ることができるのはスカラー ϕ∗ϕ\phi^*\phi だけで、4元ベクトルの添字 μ\mu を持たせるには∂μ\partial^\mu を1つ入れるしかない。その第0成分は必ず ∂t\partial_t を含み、∂tϕ\partial_t\phi は ϕ\phi と独立に与えることができる初期条件なので、j0j^0 の符号を決めることはできない。Schrödinger 方程式の ∣ψ∣2\lvert \psi\rvert ^2 が密度になったのは、Galilei 変換では ∣ψ∣2\lvert \psi\rvert ^2 がそのまま密度として変換されるからで、Lorentz 変換ではこの組み立てが通らない。

エネルギーは正、電荷は正負

同じ LKG\mathcal L_{\mathrm{KG}} の時間並進の Noether の保存量(第2部第7章のエネルギー運動量テンソルの T00T^{00})を計算すると、π=∂L/∂(∂tϕ)=∂tϕ∗\pi=\partial\mathcal L/\partial(\partial_t\phi)=\partial_t\phi^*、π∗=∂tϕ\pi^*=\partial_t\phi として

T00=π ∂tϕ+π∗∂tϕ∗−LKG=∣∂tϕ∣2+∣∇ϕ∣2+m2∣ϕ∣2 ≥0(5.4.10)T^{00}=\pi\,\partial_t\phi+\pi^*\partial_t\phi^*-\mathcal L_{\mathrm{KG}}=\lvert \partial_t\phi\rvert ^2+\lvert \nabla\phi\rvert ^2+m^2\lvert \phi\rvert ^2\ \ge0\tag{5.4.10}

である。場のエネルギーは正だが、位相の対称性の保存量 Q=∫j0 d3xQ=\int j^0\,\mathrm{d}^3x は正にも負にもなる。この組み合わせは、QQ を確率でなく電荷として読めば矛盾しない。電荷は正にも負にもなる量だからである。複素場に電磁場を結合させると(5.4.4節)、qjμqj^\mu が電流になる。次の例題で、正と負の振動数の重ね合わせについてこの2つを計算する。

例題 5.4.2 正と負の振動数を混ぜた一様な解 ★★★

オリジナル体積 VV の箱の中で、空間に一様な解 ϕ(t)=a e−imt+b eimt\phi(t)=a\,\mathrm{e}^{-\mathrm{i} mt}+b\,\mathrm{e}^{\mathrm{i} mt}(a,ba,b は複素定数)を考える。

  1. (1) これが式 (5.4.3) を満たすことを確かめよ。
  2. (2) Q=∫j0 d3xQ=\int j^0\,\mathrm{d}^3x を求め、時刻によらないことを確かめよ。
  3. (3) エネルギー ∫T00d3x\int T^{00}\mathrm{d}^3x を求めよ。
  4. (4) ∣a∣=∣b∣\lvert a\rvert =\lvert b\rvert のとき QQ と j0j^0 の時間変化について何が言えるかを述べよ。
解答

(1) ∇ϕ=0\nabla\phi=0、∂t2ϕ=−m2ϕ\partial_t^2\phi=-m^2\phi なので (□+m2)ϕ=−m2ϕ+m2ϕ=0(\Box+m^2)\phi=-m^2\phi+m^2\phi=0。

(2) ∂tϕ=−im(ae−imt−beimt)\partial_t\phi=-\mathrm{i} m(a\mathrm{e}^{-\mathrm{i} mt}-b\mathrm{e}^{\mathrm{i} mt}) を式 (5.4.8) に入れると

j0=m[(a∗eimt+b∗e−imt)(ae−imt−beimt)+c.c.]=m[∣a∣2−∣b∣2−a∗b e2imt+ab∗e−2imt+c.c.].j^0=m\Bigl[(a^*\mathrm{e}^{\mathrm{i} mt}+b^*\mathrm{e}^{-\mathrm{i} mt})(a\mathrm{e}^{-\mathrm{i} mt}-b\mathrm{e}^{\mathrm{i} mt})+\text{c.c.}\Bigr] =m\Bigl[\lvert a\rvert ^2-\lvert b\rvert ^2-a^*b\,\mathrm{e}^{2\mathrm{i} mt}+ab^*\mathrm{e}^{-2\mathrm{i} mt}+\text{c.c.}\Bigr].

z≔ab∗e−2imtz\coloneqq ab^*\mathrm{e}^{-2\mathrm{i} mt} とおくと括弧の中の交差項は z−z∗z-z^* で純虚数なので、複素共役を足すと消える。したがってj0=2m(∣a∣2−∣b∣2)j^0=2m(\lvert a\rvert ^2-\lvert b\rvert ^2)、Q=2mV(∣a∣2−∣b∣2)Q=2mV(\lvert a\rvert ^2-\lvert b\rvert ^2) で、時刻によらない。

(3) ∣∂tϕ∣2=m2∣ae−imt−beimt∣2\lvert \partial_t\phi\rvert ^2=m^2\lvert a\mathrm{e}^{-\mathrm{i} mt}-b\mathrm{e}^{\mathrm{i} mt}\rvert ^2、m2∣ϕ∣2=m2∣ae−imt+beimt∣2m^2\lvert \phi\rvert ^2=m^2\lvert a\mathrm{e}^{-\mathrm{i} mt}+b\mathrm{e}^{\mathrm{i} mt}\rvert ^2 で、交差項は互いに打ち消し合う。したがって ∫T00d3x=2m2V(∣a∣2+∣b∣2)\int T^{00}\mathrm{d}^3x=2m^2V(\lvert a\rvert ^2+\lvert b\rvert ^2) で、正である。

(4) ∣a∣=∣b∣\lvert a\rvert =\lvert b\rvert なら Q=0Q=0 で、密度 j0j^0 も各点で 00 になる。それでもエネルギーは 4m2V∣a∣2>04m^2V\lvert a\rvert ^2>0 である。確率として読むと「粒子がどこにもいないのにエネルギーがある」ことになり、電荷として読むと「正の電荷と負の電荷が同じだけある」ことになる。後者の読み方が、5.4.5節で場を量子化したときの粒子と反粒子の数え方につながる。

木下の勉強ステータス

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

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

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