運動量演算子は実の量(real)か!?


「運動量演算子 p^=i は実の演算子だって?.そんなバカな, だって虚数単位 i が入っているじゃないか!」.
そう思われた方もいらっしゃると思う.しかし,「1次演算子 ddq が虚の演算子だったら」どうであろうか?. これに純虚数 i を掛け合わせた量 iddq は実になるのではなかろうか?
Dirac Cover
実際, ディラックさんは「The Principle Of Quantum Mechanics」の § 22 の中で次のように述べているのである:

1次演算子 ddq の共役複素量を求めるには, 次のことに注意すればよい:
ddqψ すなわち dψdq の「共役虚[1][ブログ註] ディラックは, 「共役虚」について § 6 … Continue reading の量は dψdq である, あるいは, 式 (16):ϕddq=dϕdq により次である:

dψdq=ψddq

こういうわけで「 ddq の共役複素量は ddq であり」, 従って「ddq は虚の1次演算子(a pure imaginary linear operator)である」.

微分演算子がこのように虚の演算子と見做せる訳は,「微分演算子は, あくまでケット・ベクトルまたはブラ・ベクトルに作用した形で考えることを前提としている」ことに由来しているようである.

また, 砂川重信:「量子力学」の§1 1 では,「エルミート演算子」について次のように書いている:

一般に任意の2個の演算子 AB をとったとき, これらの演算子が任意の関数 ψ1(q)ψ2(q) に対して,

(1.14){Aψ1(q)}ψ2(q)dq=ψ1(q)Bψ2(q)dq

の関係を満たすとき, BA と書き, これを A に対する「エルミート共役な演算子」と言う.すなわち,
(1.15)(Aψ1)ψ2dq=ψ1Aψ2dq

である.式 (1.15) で特に A=A のとき, A を「エルミート演算子」という.従って, 演算子 F が「エルミート演算子であるための条件」は,
(1.16)(Fψ1)ψ2dq=ψ1Fψ2dq

で表される.この条件は,「演算子 F がエルミートで, その期待値と固有値が実数であるための必要かつ十分な条件である.
運動量演算子 p^x=i/x の場合には, 部分積分により,
(ixψ1)ψ2d3r=iψ1ψ2dydz|x=x=+ +ψ1(r)ixψ2(r)d3r(1)=ψ1(r)ixψ2(r)d3r
となり, 右辺の第1項の x=± の面上の積分値の差がゼロのとき, 運動量演算子 p^x=i/x は「エルミート」である
このように,「演算子がオブザーバブルであるためには, それがエルミートであることが必要であるが, 逆にエルミートであるからと言って, それがオブザーバブルであるとは言えない」.その一例が, 極座標系 r,θ,ϕ に於ける動径運動量演算子 pr=i[r+1r] である.物理量を表わす演算子 F が「オブザーバブル」(観測可能量)であるとは,「その固有値が実数(実数の力学変数)であり, かつその固有関数系が完全系を構成している場合」をいう [2][ブログ註] pr はエルミート条件を満たす固有関数の完全系が存在しないからである..従って, オブザーバブル F の期待値 F は実数でなければならない.よって,
(2)F=ψ(q)Fψ(q)dq=(Fψ(q))ψ(q)dq=F

これは式 (1.16) で ψ=ψ1=ψ2 とした場合に相当している.

式 (1.16) をブラケット形式で表現するならば,

(3)ψ1|F|ψ2=ψ1|(F|ψ2)=ψ2|F|ψ1

ただし FF の「エルミート共役」である.F=F が成り立つとき F は「エルミートである」という.
従って, 式 (1) や式 (2) をブラケット形式で表すならば,
(4){p^|ψ1}|ψ2=ψ1|p^|ψ2=ψ1|p^|ψ2,F=ψ|F|ψ=F=ψ|F|ψ=ψ|F|ψ

この式 (4) からも「運動量演算子 p^ はエルミートである」と言えるであろう.

また, ディラックの§ 17 及び§ 22 には次のような記述がある:

α が実(real)であれば,

(41)ξ|α|ξ=ξ|α|ξ

となる.この場合にその行列を「エルミート行列」という.

シュレディンガーの表示の「基礎ベクトル」の性質の幾つかについても述べておこう.公式 (22) に左から「基礎ブラ」を作用させると次となる:

qrψ=ψqrq1qn|qrψ=q1qn|ψqr=ψ(q1qn)qr=qrq1qn|ψ

これから
(44)q1qn|qr=qrq1qn|

となり, 従って
(45)q1qn|pr=iqrq1qn|

である.同様にして方程式 (24) からは
ϕ|qr=ϕqrϕ|qr|q1qn=ϕqr|q1qn=ϕ|qr|q1qn,qr|q1qn=qr|q1qn
従って, 次式が導かれる:
(46)pr|q1qn=iqr|q1qn

この式 (45) を用いると,
α|p|β=α|dq|qq|p|β=dqα|q(iqq|)|β(5)=dqψα(q)(iq)ψβ(q)
他方, 式 (46) を用いると,
β|p|α=β|pdq|qq|α=dqβ|p|qq|α=dqβ|(iq|q)ψα(q)=dq(iqβ|q)ψα(q)=dq(iqψβ(q))ψα(q),(6)β|p|α=dqψβ(q)(iq)ψβ(q)
式 (5) と 式 (6) の右辺は等しい. よって,

(7)α|p|β=β|p|α

この結果式 (7) も, 運動量演算子 p が「エルミートであること」を示している.

以上の式 (4) と式 (41) そして式 (7) とから,「運動量演算子 p^=i は「エルミート」であり「オブザーバブル」であり, 従って実の量である」と言えそうである.

References

References
1 [ブログ註] ディラックは, 「共役虚」について § 6 で次の様に述べている:
「我々の考えているブラ・ベクトルとケット・ベクトルは複素量である.それはこれらに複素数を掛けることが出来て, その結果は元と性質が変わらないからである.しかしブラ及びケットは特別な種類の複素量であって, それを実数の部分と虚数の部分とに分けることは出来ない.ある複素量の実数部分を求める普通のやり方は, その量自身とその共役量との和の半分をとるのであるが, それはここでは応用できない.と言うのはブラとケットとは異なる性質を持つベクトルであって, それらを加え合わせることは出来ないからである.この差異に注意してもらうために, ただの数やその他の, 実数部分および虚数部分に分けられる複素量に対しては「共役複素」(conjugate complex)という言葉を用い, そういう分け方の出来ないブラ・ベクトル及びケット・ベクトルに対しては「共役虚」(conjugate imaginary)という言葉を用いることにする.
2 [ブログ註] pr はエルミート条件を満たす固有関数の完全系が存在しないからである.