tecktom.com

Fourier 係数を遷移の表に読み替える

2026年10月17日8分で読めますAI生成教科書『虎の巻』第2部 第1章 観測量だけで理論を作る(Heisenberg 1925 の動機)
目次
  1. 1本の関数から、2つの添字を持つ表へ
  2. 積の規則は Ritz の結合則から決まる
  3. 積の順序
  4. 木下の層

AI 生成・木下が未勉強

量子力学の様々な構成方法 第2部 第1章 §2.1.2 ★★★ 位置 x(t)x(t) を2つの添字を持つ数の表に置き換えると、Ritz の結合則から表どうしの積は行列の積に決まり、積の順序が意味を持つ

1本の関数から、2つの添字を持つ表へ

古典の式 (2.1.1) では、位置 x(t)x(t) は「軌道 JJ を1つ選び、その軌道の Fourier 成分 Xα(J)eiαω(J)tX_\alpha(J)\mathrm{e}^{\mathrm{i}\alpha\omega(J)t} を α\alpha について足したもの」である。前節の対応 αω(J)↔ωn,n−α\alpha\omega(J)\leftrightarrow\omega_{n,n-\alpha}、Xα(J)↔xn,n−αX_\alpha(J)\leftrightarrow x_{n,n-\alpha} を使って、成分の1つ1つを量子の量に置き換える。

定義 2.1.1(遷移の表)

状態の番号 n,m=0,1,2,…n,m=0,1,2,\dots を添字に持つ複素数 xnmx_{nm} を並べ、各要素に時間の因子を付けた

xnm(t)=xnm eiωnmt(2.1.8)x_{nm}(t)=x_{nm}\,\mathrm{e}^{\mathrm{i}\omega_{nm}t}\tag{2.1.8}

の全体を、位置の遷移の表と呼び、太字の立体 x(t)\mathbf x(t) で書く。運動量 p(t)\mathbf p(t) など、ほかの物理量も同じ形の表で表す。

古典の量 x(t)x(t) が実数であることは X−α=Xα∗X_{-\alpha}=X_\alpha^* と書けた。量子の側で −α-\alpha に当たるのは逆向きの遷移 m→nm\to n で、ωmn=−ωnm\omega_{mn}=-\omega_{nm} なので、実数であることの読み替えは

xmn=xnm∗(2.1.9)x_{mn}=x_{nm}^*\tag{2.1.9}

になる。表を行列とみなすと、これはエルミート行列であることにほかならない。

時間微分は要素ごとにとる。ddtxnm(t)=iωnmxnm(t)\frac{\mathrm{d} }{\mathrm{d} t}x_{nm}(t)=\mathrm{i}\omega_{nm}x_{nm}(t) で、古典の ddtXαeiαωt=iαωXαeiαωt\frac{\mathrm{d} }{\mathrm{d} t}X_\alpha\mathrm{e}^{\mathrm{i}\alpha\omega t}=\mathrm{i}\alpha\omega X_\alpha\mathrm{e}^{\mathrm{i}\alpha\omega t} と同じ形をしている。とくに運動量の表を p=mx˙\mathbf p=m\dot{\mathbf x} で定めると

pnm=im ωnm xnm(2.1.10)p_{nm}=\mathrm{i} m\,\omega_{nm}\,x_{nm}\tag{2.1.10}

になる。

積の規則は Ritz の結合則から決まる

運動方程式にはポテンシャル V(x)V(x) が入り、エネルギーには x2x^2 や p2p^2 が入る。したがって表どうしの積を決める必要がある。古典の側では、2つの Fourier 級数の積の第 γ\gamma 成分は畳み込みになる。

x(t)y(t)=∑γ(∑α+β=γXαYβ)eiγωt.(2.1.11)x(t)y(t)=\sum_\gamma\Bigl(\sum_{\alpha+\beta=\gamma}X_\alpha Y_\beta\Bigr)\mathrm{e}^{\mathrm{i}\gamma\omega t}.\tag{2.1.11}

右辺の各項の振動数は αω+βω=γω\alpha\omega+\beta\omega=\gamma\omega で、足し算の規則のおかげで第 γ\gamma 成分にまとまる。

量子の側では、積 xy\mathbf x\mathbf y もまた遷移の表でなければならない。つまり (n,m)(n,m) 要素は振動数 ωnm\omega_{nm} で振動していなければならない。2つの表の要素を掛けたもの xnk(t)yk′m(t)x_{nk}(t)y_{k'm}(t) の振動数は ωnk+ωk′m\omega_{nk}+\omega_{k'm} で、これが ωnm\omega_{nm} に一致することをRitz の結合則 (2.1.4) が保証するのは k′=kk'=k のときである。「nn から中間の状態 kk を経て mm へ」という並びだけが正しい振動数を持つので、Heisenberg は積を次のように定めた。

(xy)nm(t)=∑kxnk(t) ykm(t)=(∑kxnkykm)eiωnmt.(2.1.12)(\mathbf x\mathbf y)_{nm}(t)=\sum_k x_{nk}(t)\,y_{km}(t)=\Bigl(\sum_k x_{nk}y_{km}\Bigr)\mathrm{e}^{\mathrm{i}\omega_{nm}t}.\tag{2.1.12}

古典の畳み込み (2.1.11) で α=n−k\alpha=n-k、β=k−m\beta=k-m と置くと α+β=n−m=γ\alpha+\beta=n-m=\gamma で、式 (2.1.12) はその量子版になっている。M. Born は、この規則が数学者の知っていた行列の積そのものであることに気づき、P. Jordan とともに理論を行列で書き直した1M. Born and P. Jordan (1925), Z. Phys. 34, 858–888.下の脚注へ。

行列力学の出発点の要請(前半)

(M1) 物理量は遷移の表 x(t)\mathbf x(t)(要素 xnmeiωnmtx_{nm}\mathrm{e}^{\mathrm{i}\omega_{nm}t}、エルミート)で表す。振動数 ωnm\omega_{nm} と振幅 xnmx_{nm} が観測にかかる量で、軌道は理論に入れない。
(M2) 表の積は行列の積 (2.1.12) で定める。時間微分は要素ごとに iωnm\mathrm{i}\omega_{nm} を掛ける。

積の規則から、時間微分の Leibniz 則がそのまま成り立つ。実際、ddt(xy)nm=iωnm(xy)nm=∑ki(ωnk+ωkm)xnkykm=(x˙y+xy˙)nm\frac{\mathrm{d} }{\mathrm{d} t}(\mathbf x\mathbf y)_{nm}=\mathrm{i}\omega_{nm}(\mathbf x\mathbf y)_{nm}=\sum_k\mathrm{i}(\omega_{nk}+\omega_{km})x_{nk}y_{km}=(\dot{\mathbf x}\mathbf y+\mathbf x\dot{\mathbf y})_{nm}で、2つ目の等号で再び結合則を使った。

積の順序

古典の積 (2.1.11) は xx と yy について対称だが、行列の積 (2.1.12) は一般に対称でない。(xy)nm=∑kxnkykm(\mathbf x\mathbf y)_{nm}=\sum_kx_{nk}y_{km} と (yx)nm=∑kynkxkm(\mathbf y\mathbf x)_{nm}=\sum_ky_{nk}x_{km} は、中間の状態を通る道筋が違う別の和である。この非可換性は新しい性質で、次の2.1.4節で、量子化条件そのものが xp−px\mathbf x\mathbf p-\mathbf p\mathbf x という積の順序の差の形にまとまる。古典の関数 xpxp を表に直すときに xp\mathbf x\mathbf p と px\mathbf p\mathbf x のどちらを採るかという問題は、第2部第2章で正準量子化の「順序の曖昧さ」として扱う。

例題 2.1.2 隣どうしだけをつなぐ表の2乗 ★★

オリジナル位置の表の要素が、番号が1だけ違う状態の間でしか0でないとする。an≔xn,n−1a_n\coloneqq x_{n,n-1}(n≥1n\ge1)と書き、xn−1,n=an∗x_{n-1,n}=a_n^*、それ以外の要素は0とする(a0=0a_0=0)。

  1. (1) x2\mathbf x^2 の0でない要素をすべて求めよ。
  2. (2) 古典の x(t)=X1eiωt+X1∗e−iωtx(t)=X_1\mathrm{e}^{\mathrm{i}\omega t}+X_1^*\mathrm{e}^{-\mathrm{i}\omega t} の2乗の Fourier 成分を求め、(1) と対応させよ。
  3. (3) (x2)nn(\mathbf x^2)_{nn} は時間によらない。古典の側では何に当たるか。
解答

(1) (x2)nm=∑kxnkxkm(\mathbf x^2)_{nm}=\sum_kx_{nk}x_{km} の和で0でない項は k=n±1k=n\pm1 だけで、さらに xkm≠0x_{km}\neq0 には m=k±1m=k\pm1 が要る。したがって m=nm=n と m=n±2m=n\pm2 だけが残る。

(x2)nn=xn,n−1xn−1,n+xn,n+1xn+1,n=∣an∣2+∣an+1∣2,(\mathbf x^2)_{nn}=x_{n,n-1}x_{n-1,n}+x_{n,n+1}x_{n+1,n}=\lvert a_n\rvert ^2+\lvert a_{n+1}\rvert ^2,

(x2)n,n−2=xn,n−1xn−1,n−2=anan−1,(x2)n−2,n=an−1∗an∗.(\mathbf x^2)_{n,n-2}=x_{n,n-1}x_{n-1,n-2}=a_na_{n-1},\qquad (\mathbf x^2)_{n-2,n}=a_{n-1}^*a_n^*.

(2) x2=X12e2iωt+2∣X1∣2+X1∗2e−2iωtx^2=X_1^2\mathrm{e}^{2\mathrm{i}\omega t}+2\lvert X_1\rvert ^2+X_1^{*2}\mathrm{e}^{-2\mathrm{i}\omega t}。成分は γ=0\gamma=0 が 2∣X1∣22\lvert X_1\rvert ^2、γ=±2\gamma=\pm2 が X12X_1^2 と X1∗2X_1^{*2} である。(1) は γ=0\gamma=0 に (x2)nn(\mathbf x^2)_{nn}、γ=2\gamma=2 に (x2)n,n−2(\mathbf x^2)_{n,n-2} が対応する形になっている。古典の 2∣X1∣22\lvert X_1\rvert ^2 は「同じ ∣X1∣2\lvert X_1\rvert ^2 を2回」だが、量子の側は nn の下の遷移と上の遷移の振幅の2乗を1回ずつ足したもので、nn が大きく ana_n が nn についてゆっくり変わる所でだけ 2∣an∣22\lvert a_n\rvert ^2 に近づく。

(3) 対角要素は ωnn=0\omega_{nn}=0 なので時間の因子を持たない。古典の γ=0\gamma=0 成分 2∣X1∣22\lvert X_1\rvert ^2 は x2x^2 の1周期の時間平均で、(x2)nn(\mathbf x^2)_{nn} はその量子版である。

1 M. Born and P. Jordan (1925), Z. Phys. 34, 858–888.

木下の勉強ステータス

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

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

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