問題 7-11 の解答例

Feynman-Hibbs cover

Problem 7-11
Show that

(7-81)χ(x)iψ(x)xdx=χ(p)pψ(p)dp2π


( 解答 ) まず, 式 (7-81) の左辺を示しておく.p|α の部分に, 下記の【参考】中の式 (8) を用いることで次となる:

β|p|α=β|(p|α)=β|dx|x(ixx|α)=dxβ|xixx|α(1)=dxχ(x)ixψ(x)

ただし χ(x)=x|β, ψ(x)=x|α とした.
次に, 式 (7-81) の右辺を示しておく.今度は, 基礎ケット |x の完備性及び基礎ケット |p の完備性を用いる:
β|p|α=β|dp|pp|p|α=dpβ|ppp|α=dpβ|(dx|xx|)|ppp|(dx|xx|)|α=dpdxβ|xx|ppdxp|xx|α=dpdxβ|x12πexp(ipx)pdx12πexp(ipx)x|α(2)=dp2πdxβ|xexp(ipx)pdxx|αexp(ipx)

ただし, x|p 及び p|x には下記の【参考】中の式 (14) を用いた.更に, やはり χ(x)=x|β 及び ψ(x)=x|α として, 次の式 (7-80) を用いる:
(7-80)χ(p)=χ(x)eipx/dx,ψ(p)=ψ(x)eipx/dx

すると式 (2) は,
β|p|α=dp2πdxχ(x)eipx/pdxψ(x)eipx/(3)=dp2πχ(p)pψ(p)

以上の式 (1) 及び 式 (3) から, 示すべき式 (7-81) が成り立つと言える:
(4)β|p|α=χ(x)iψ(x)xdx=dp2πχ(p)pψ(p)


【 参考 】
解答の準備として, J.J.Sakurai の § 1.7 より x-表示と p-表示について復習しておく.
[1]. 位置基底での運動量演算子
位置基底での運動量演算子は, 無限小平行移動の生成演算子としての運動量の定義式から得られる.

T(Δx)|α=(1ipΔx)|α=dxT(Δx)|xx|α(5)=dx|x+Δxx|α=dx|xxΔx|α

ただし, x-方向の Δx だけの有限平行移動は T(Δx)|x=|x+Δx となることを利用し, そして最後の段階では積分変数を x から x+Δx に変えた.
ここでケット |xΔx またはブラ xΔx|Δx が微少量なので次のように近似できる:
(6)|xΔx|x|xxΔxxΔx|x|Δxxx|,(7)thereforexΔx|α=x|αΔxxx|α

式 (7) を式 (5) に当てはめると次となる:
(1ipΔx)|α=dx|x(x|αΔxxx|α)(8)|αΔxip|α=|α(dx|xΔxxx|)|α

両辺の比較から,
(9)p|α=dx|x(ix)x|α=dx|x(ix)x|α

両辺の位置ブラ x| との内積をとると, 直交性 x|x=δ(xx) が成り立つように規格化されているとすれば,
x|p|α=dxx|x(ix)x|α=dxδ(xx)(ix)x|α(10)therefore,x|p|α=ixx|α

[2]. x-表示から p-表示への変換関数
x|pxp の関数で, 普通 x-表示から p-表示への「変換関数」と呼ばれる.x|p の具体的な表式は, 式 (10) で |α を運動量の固有ケット |p にしたものを用いることで導くことが出来る:
(11)x|p|p=px|p=ixx|p

x|p に対するこの微分方程式の解は次となる:
(12)x|p=Nexp(ipx)

ただし N は規格化定数である.変換関数 x|p は「固有値 p の運動量固有状態に於いて, 位置 x に粒子を見出す確率振幅」と見做すことが出来る.言い換えれば, これは丁度, 運動量固有状態 |p を表わす波動関数であり, しばしば ( x-空間での ) 「運動量固有関数」と言われる.従って, 式 (12) は「運動量固有状態の波動関数が平面波である」ことを示している.規格化定数 N を求めるには, まず次式を考える:
(13)x|x=x|(dp|pp|)|x=dpx|pp|x

左辺は δ(xx) に相当している.右辺は x|p の具体的な形 (12) を使って計算出来る:
δ(xx)=dpNexp(ipx)×Nexp(ipx)=|N|2dpexp[ip(xx)]=|N|2×2πδ(xx),(14)|N|2×2π=1

慣例に習い N を正の実数に選ぶならば N=1/2π である.結局, x|p として次が得られる:
(15)x|p=12πexp(ipx)

ここで, 位置空間の波動関数が運動量空間の波動関数とどのように関連しているかを示すことが出来る.そのためになすべきことは, ただ x|αp|α とを次のように書き換えればよい:
x|α=x|(dp|pp|)|α=dpx|pp|α(16)ψα(x)=12πdpexp(ipx)ψα(p),p|α=p|(dx|xx|)|α=dxp|xx|α(17)ψα(p)=12πdxexp(ipx)ψα(x)

この式 (16) と式 (17)とは丁度, 互いに「フーリエ変換」になっていることが分かる.