或る物理的な状態、例えば粒子が運動量
![p](equation/symb_p.gif)
をもって自由に運動している状態は
![Ψ(x,t)](equation/math_0302_a.gif)
で表わされます。この状態のもとで、
![x](equation/symb_x.gif)
の関数
![f(x)](equation/math_0305_a.gif)
の期待値を計算することができます。
期待値は
![<f(x)>](equation/math_0305_b.gif)
と書きます。確率密度
![P(x,t)](equation/math_0305_c.gif)
を用いて
![数式](equation/math_0305_d.gif)
−−−(a)
![P(x,t)](equation/math_0305_c.gif)
は
![数式](equation/math_0305_e.gif)
で表わされますから
![数式](equation/math_0305_f.gif)
−−−(b)
ここで、
![f(x)](equation/math_0305_a.gif)
を
![Ψ*](equation/symb_psi_ast.gif)
と
![ψ](equation/symb_psi.gif)
でサンドイッチにします。この様に表現しますと、
![f(x)](equation/math_0305_a.gif)
は単なる関数ではなく、演算子という意味を持たせていることになります。
(a)から(b)への移行には説明しなければならないことがあるのですが、ここでは(a)は関数
![f(x)](equation/math_0305_a.gif)
の重み関数
![P(x,t)](equation/math_0305_c.gif)
による平均という我々になじみのある考え方であり、(b)は演算子
![f(x)](equation/math_0305_a.gif)
の状態
![Ψ(x,t)](equation/math_0302_a.gif)
での期待値という量子力学的な扱いであることに注意するだけにしておいて下さい。
(b)場合、むやみに
![Ψ*](equation/symb_psi_ast.gif)
,
![f](equation/symb_f.gif)
,
![ψ](equation/symb_psi.gif)
の順序を変えることができないのです。このことは次第に理解できてきます。
次に
運動量の期待値を考えることにしましょう。
ですから
先程の定義により
ですから
となります。ここで、時間とともに変化するのは
![Ψ(x,t)](equation/math_0302_a.gif)
と
![Ψ*(x,t)](equation/math_0302_k.gif)
だけですから、積分の中に
![(dx/dt)](equation/math_0305_l.gif)
は現れません。
時間に依存するシュレーディンガー方程式は
で、両辺を
![ih](equation/symb_ih.gif)
で割ってみると
これの複素共役をとると
これらを先程の
![<p>](equation/math_0305_p.gif)
の式の右辺に代入して計算すると、
となることはわかるでしょう。
この被積分関数を少し変形しましょう。目的は積分できるところは積分を実行してしまおうということです。何にも具体的に
![ψ](equation/symb_psi.gif)
の関数の形がわかっていないのにどうして積分が出来るのか不思議に思うかも知れません。ここでは
![ψ](equation/symb_psi.gif)
や
![Ψ*](equation/symb_psi_ast.gif)
は
![数式](equation/math_0305_r.gif)
で0になっているという性質を使います。この性質は全確率が1になるために必要な条件であったことを思い起こして下さい。
先ず、
![数式](equation/math_0305_s.gif)
は
![数式](equation/math_0305_t.gif)
という項にくらべて、どれだけ余分の項を含んでいるか考えます。そのためには実際に
![数式](equation/math_0305_t.gif)
を3つの合成関数の微分として、微分を実行すればよくわかります。結果は
となります。同じことを
![数式](equation/math_0305_v.gif)
の項についても考えてみます。
となります。もう一つ、
![Ψ*](equation/symb_psi_ast.gif)
![ψ](equation/symb_psi.gif)
の微分を考えておきます。
これら三つの関係式から教科書に書かれている
が被積分関数の
に対応していることがわかると思います。
それでは積分を実行します。
この値をどのように評価すればよいか考えてみましょう。この様な積分評価は量子力学の式の操作にはよく出てきますのでコツを会得しておいて下さい。先程も述べたように、
![数式](equation/math_0305_bb.gif)
と考えて、この積分値は0になります。
従って、
最後の行に移るときに、2が分母分子にあるので打ち消して、
![数式](equation/math_0305_dd.gif)
の場所を移動させました。
期待値の定義に従って
![Ψ*](equation/symb_psi_ast.gif)
と
![ψ](equation/symb_psi.gif)
ではさまれているものが、演算子ですから、運動量
![p](equation/symb_p.gif)
の演算子は
と表わされていることがわかります。
演算子はoperatorですから、
![数式](equation/math_0305_ff.gif)
のように添字で演算子であることを明記します。この他に
![数式](equation/math_0305_gg.gif)
のように山形の記号を用いて演算子であることを表現する場合もあります。
量子力学では演算子とそうでないものを意識して式を見ていかなければなりません。