演算子の時間微分

前述の問題 7-13 に関連して, ランダウ:「量子力学」の§ 9 に「演算子の時間微分」の記述が, そして, それとほとんど同じ内容がファインマン物理学Ⅴの§ 20-7 The change of averages with time にあるので, それらを抜粋しておく.ただし, 式の表現は今までの議論に合うように修正してある.

Landau-Lifshitz-picture

ランダウとリフシッツの肖像


§ 9. 演算子の時間微分

量子力学に於ける「物理量の時間微分」という概念は, 古典力学と同じ意味に定義することは出来ない.実際に古典力学に於ける微分の定義は, 近接しているが異なった2つの時刻に於ける物理量の値の識別と関連している.ところが「量子力学に於いては, ある時刻に確定値をとる量は, それに続く時刻には一般に如何なる確定値も取らない」からである.それ故, 量子力学では時間微分の概念は違った仕方で定義されなければならず,

 量 A の時間微分 A˙=dA/dt は, その「A˙ の平均値」が「平均値 A¯ の時間微分」に等しいような量である.

と定義するのが自然であろう.従って, この定義によれば,

(9.1)A˙=A˙,or,dAdt=ddtA

この定義から出発すれば, 量 A˙ に対応する量子力学的演算子 A˙^ の標識を得るのは容易であり次となる:
dAdt=ddtA=ddtψA^ψdq(1)=ψtA^ψdq+ψA^tψdq+ψA^ψtdq

演算子 A^ はパラメータ的に時間依存するようなことが有り得る: A^=A^(t).その場合の A^/t は, A^(t) を時間で微分することによって得られる演算子である.導関数 ψ/t, ψ/t として式 (8.1) のシュレディンガー方程式及びその複素共役
(8.1′)ψt=1iH^ψψt=1i(H^ψ)=i(H^ψ)

を代入すると,
(2)dAdt=i(H^ψ)A^ψdq+ψA^tψdqiψA^(H^ψ)dq

となる.演算子 H^ はエルミートなので H^=H^ が成り立ち,
(3)(H^ψ)A^ψdq=(ψH^)A^ψdq=ψH^A^ψdq

従って,式 (2) は次となる:
dAdt=iψH^A^ψdq+ψA^tψdqiψA^H^ψdq(4)=ψ(iH^A^+A^tiA^H^)ψdq

他方, 当然ながら平均値の定義によって
(5)dA^dt=ψdA^dtψdq

である.以上の式 (4) と式 (5) から, 被積分関数のカッコの中にある表式は, 明らかに求める演算子 dA^/dt である:
(9.2)dA^dt=A^t+i(H^A^A^H^)

もしも演算子 A^ が時間にあらわに依存しなければ, dA^/dt は結局, 乗数因子を除いて「A^ とハミルトニアン H^ との交換子に帰着される」ことに注意しよう:
(6)dA^dt=i[H^,A^]

( この方程式は「ハイゼンベルグの運動方程式」の形になっている. )

平均値の時間的変化 (The change of averages with time)

平均値が時間と共にどのように変わるかについて話をしよう.ある状態 |ψ に於ける Aav を計算するとしよう.これは,

(20.76)Aav=ψ|A^|ψ

で与えられる.この Aav はどのように時間に依存しているであろうか.また, なぜ時間と共に変化しなければならないのであろうか?.その理由の一つは, 演算子自身が時間に生に依存しているかも知れないことにある — 例えば, その演算子が V(x,t) のように時間的に変化するポテンシャルと関係している時がそうである.しかし, たとえその演算子が, 例えば演算子 A^=x^ のように, 時間に依存していなくても, それに対応する平均値は時間に依存しているかも知れない粒子の平均位置が動き得ることは確かなことである. A^ が時間依存性を持たないのに, 式 (20.76) からそのような運動がどのようにして出て来るのであろうか? そう, 状態 |ψ が時間的に変化し得るからである.非定常的な状態の場合には, その時間依存性を明確に示すために状態を |ψ(t) と書こう.そして「Aav変化の割合」がA˙^ と書かれる新しい演算子によって与えられることを示すことにしよう.A˙^ は演算子であることを思い起こされたい.従って, A の上にドットを置くことは, ここでは時間微分を取ることを意味しているのではなくて,
(20.77)ddtAav=ψ|A˙^|ψ

によって定義される「新たな」演算子 A˙^ を書き表わす一つの方法なのである.
従って, 問題はこの演算子 A˙^ を求めることである.
まず初めに, 状態の変化の割合はハミルトニアンによって与えられるのであった(シュレディンガーの運動方程式):
(20.78)iddt|ψ(t)=H^|ψ(t)

これは, ハミルトニアンの元々の定義
(20.79)idCidt=jHijCj

を抽象的な形で書いたものである.この方程式の複素共役をとった結果は,
(20.80)iddtψ(t)|=ψ(t)|H^

と同等である.次に, 式 (20.76) の t に関する微分を取るとどうなるかを調べよう.それぞれの ψ だけでなく, 演算子 A^ そのものも時間 t に依存しているとすれば,
(20.81)ddtAav=(ddtψ|)A^|ψ+ψ|A^t|ψ+ψ|A^(ddt|ψ)

となる.最後に, 式 (20.78) と式 (20.79) の2つの方程式を用いて微分を書き換えると,
(1)ddtAav=iψ|H^A^|ψ+ψ|A^t|ψiψ|A^H^|ψ

を得る.この方程式は次と同じものである:
(2)ddtAav=ψ|{i(H^A^A^H^)+A^t}|ψ

この方程式を式 (20.77) と比較すると,次であることが分かる:
(20.83)A˙^=i(H^A^A^H^)+A^t

これは, 我々にとって興味のある命題であって, この方程式は任意の演算子 A^ に対して成立する.

式 (20.83) が本当に意味を持つものかどうかを, 何かの例題をやることで調べて見ることにしよう.例えば, x^ に対応する演算子と言うものはどんなものであろうか?.x^ そのものは時間依存性を持たないから, それは

(20.84)x˙^=i(H^x^x^H^)

であると言っている訳であるが, これは何であろうか?.それを明らかにする一つの方法は, H^ という代数的な演算子を利用して, 全てを座標表示で計算することである.この表示では, 右辺の交換関係は次のように表される:
(3)H^xxH^={22md2dx2+V(x)}xx{22md2dx2+V(x)}

これを任意の波動関数 ψ(x) に作用する:
(H^xxH^)ψ(x)={22md2dx2+V(x)}xψ(x)x{22md2dx2+V(x)}ψ(x)=22md2dx2xψ(x)+V(x)xψ(x)+x22md2ψ(x)dx2xV(x)ψ(x)(4)=22md2dx2xψ(x)+x22md2ψ(x)dx2

このとき, 第1項の微分は次となることに注意する:
ddxxψ=ψ+xdψdx,d2dx2xψ=ddx(ddxxψ)=ddx(ψ+xdψdx)(5)=dψdx+dxdxdψdx+xd2ψdx2=2dψdx+xd2ψdx2

従って式 (4) は,
(H^xxH^)ψ(x)=22md2dx2xψ(x)+x22md2ψ(x)dx2=222mdψ(x)dx22mxd2ψ(x)dx2+x22md2ψ(x)dx2(6)=2mdψ(x)dx

よって,
(7)i(H^xxH^)ψ(x)=1midψ(x)dx

ところが, 式 (20.60) の運動量演算子 p^x の代数的な演算子 P^x を波動関数 ψ(x) に作用させた式は次となるのであった:
(8)P^xψ(x)=ixψ(x)=idψ(x)dx

従って式 (7) は,
i(H^xxH^)ψ(x)=1midψ(x)dx=1mP^xψ(x),(9)i(H^x^x^H^)=1mp^x

よって, 最終的に式 (20.84) は次となる:
(20.86)x˙^=i(H^x^x^H^)=p^xm

何と綺麗な結果であることか!.これは「x の平均値が時間的に変化しているとき, その重心の移動は平均運動量を質量 m で割ったものに等しいということを意味している」.これは正確に, 古典力学の示す結果と一致している.ただし, この結果はあくまで「平均量を与える演算子 x˙^ に対する法則である」ことを忘れてはいけない!.