生成演算子と消滅演算子

前置き

　積分記号を書くのは面倒なので、 ベクトル記法を中心に書き進めようと思う。 　もちろん、ここでの議論は全て波動関数を使って書き直すことも出来る。 　話の流れによっては |n> を関数と呼んだりベクトルと呼んだりするが、 どちらも本質は同じだということを理解した上で許してもらいたい。

またディラックなのか！

　時間に依存しないシュレーディンガー方程式をベクトルで書くと

である。 　ただし、ハミルトニアン は、

である。 　天才の動機というのは良く分からないのだが、 この形式を見て因数分解をしてやろうと閃いたわけだ。

　係数の括り出し方に少し細工がしてあるが、理由はそのうちに分かる。 　ここで、

という 2 通りの演算子を定義してやる。 　2 通りとは言っても、これらは互いにエルミート共役の関係にあるので、 一方を定義すればもう片方は自然に定義されるわけだ。 　この 2 つが単なる複素共役に見えてしまって、 なぜエルミート共役であるのかが分からないという人は、 次のような理解が欠けているかも知れない。 　普段あまり書かれないことではあるが、 や というのはエルミート演算子であって、

であることを思い出してもらえば合点が行くのではないだろうか。 　ついでに や はエルミート演算子ではないことを注意しておこう。

　これらを使えばハミルトニアン は

のようにシンプルに表せる・・・はずだった。 　いかにもそんなことが出来そうな気がするわけだが、そう甘くはない。 　演算子は掛ける順序によって計算結果が変わるのだった。 　その辺りに気をつけて、改めて を計算してやると、

となる。 　だから を や で表したければ、

とするべきだったわけだ。 　何を期待してこんな事をしてきたのか分からないが、 式を単純化するという目的のためだけにやったのだとしたら、 何となく失敗に終わったようにも思える。 　・・・・。 　いや、その判断はまだ早い。

交換関係

となる。 　結果がやたらときれいになるのは、 そうなるように と の係数を調整したためだ。 　先ほど言っていた「細工」というのはこのことで、 これらの演算子が無次元量になるようにしておいたのだった。

　この関係を前提として次のようなことを考える。 　まず、

を一つの演算子と見てやる。 　そして、

となるような方程式を作る。 　演算子 を作用させると、 その固有値が として出てくるような関数 を探すわけだ。 　ところで、

であるから、 は明らかにエルミート演算子だ。 　エルミート演算子の固有値は必ず実数になるのだった。 　つまり、 は実数である。

　我々は以前に調和振動子の問題を解いたので、 勘のいい読者はここで という記号を使っている意味に気付いてしまったかも知れない。 　そういう人は、今は知らない振りをしていて欲しい。 　 が 0 以上の整数でなければならないということも、 関数 が具体的にどんな形になるのかということも、 今の議論ではまるで知らなくていいのである。

　ところで関数 は規格化されているとする。 　つまり、

である。 　しかも直交しているとする。 　つまり、

である。 　これは、異なる固有値に属するベクトルは互いに直交する、という 線形代数のごく当たり前の要求である。

â の働き

　まず、 に を作用させてから を作用させよう。 　すると、

のようになる。 　これの意味するものが分かるだろうか。 　 というベクトルをひとかたまりのものとして見てもらいたい。 　これは の固有ベクトルになっているのである。

　しかも固有値は だ。 　つまり は と似た性質を持っており、 ある定数倍だけ違うかも知れないが同じ方向を向いたベクトルであるということだ。

　さて、ベクトル も規格化されているという前提なので、そのことを元に の値を計算しておこう。

　 は規格化のための定数なので正の値を取っておけばいいだろう。 　つまり、

という関係があると言える。

â^† の働き

　これも同じような事になっている。 　 をひとかたまりとして注目すると、 これは固有値が の の固有関数であり、 と同じ方向を向いたベクトルになっている。

　同じように係数 を計算しておこう。

　よって、

という関係があると言える。

演算子の意味

　では を何度も作用させる事でどこまでも固有値の小さな関数が 作り出せるかというと、そうでもない。

であり、 は負であってはならないという制約があるからだ。 　上の式に出てくる で囲まれた部分はベクトルの長さ「ノルム」を表している。 　ベクトル のエルミート共役は であって、 上では同じベクトル同士の内積を計算したことになる。 　それが正の値になるというのは以前に 「複素関数の内積」のところでも説明した通りだ。

　これで は 0 以上でなければならないということが分かった。 　しかし として正の値を使っていたとしても、1 ずつ下げて行くと、 やがていつかは というところにまで辿り着くだろう。 　そこへさらに を作用させれば が負だという 許されていない状態が生み出されてしまう。 　これは問題だ。

　ただ、 が整数である場合に限っては、このような問題は回避できる。 　 を 1 ずつ減らして行くことでやがては という状態にまでたどり着くことになり、 そこへ を作用させればやはり同じ問題に突き当たる気がする。 　ところが、上の式の最後の等号より、 となる場合があることが分かるだろう。 　さらに同じ式の初めの等号に目を向ければ、それは の時である事も同時に分かる。 　つまり、

という関係が成り立っているということだ。 　一度 0 ベクトルとなったものに幾ら繰り返し を作用させても 0 のままなので、固有値が負として出てくるような問題も起こり得ない。

演算子法

　以上のことを使えば、今回の一番初めに書いた方程式は

と書き直せるが、 は代わりに としても成り立ち、その時のエネルギー固有値 は、

であるということが言える。 　以前に「調和振動子」という記事の中で 調和振動子の方程式を一生懸命に解いたことがあるが、それと同じ結果がこうして導かれるのである。

　ここで満足して説明を終えてしまうと、 今回の方法では関数 の具体的な形を求めるところまでは出来ないのか、 と誤解されてしまう心配があるので、ちゃんと最後までやっておくことにしよう。 　以前の結果と比較しやすいように、 と を具体的な座標表示の微分演算子の形で表し、 前と同じスケール変換

を使って を に書き換えてやれば、

というすっきりした形式を得る。 　ここで、

という式より、

という微分方程式が作られ、これを解けば、

という、以前と同じ結果が得られる。 　 が 1 以上の場合の波動関数を知りたければ、今の結果に を次々と作用させればいい。

　 を作用させるたびに という係数が出てくる。 　初めは に作用して 1 だが、その次には 、次は と増えていき、 回作用させるとそれらを全部を掛け合わせたもの、すなわち を掛けたことになる。

　よって、

　この時に掛けた係数は規格化を考慮したものであるので、 初めに を規格化して の値を決めておきさえすれば、 後は が幾つの時にだって規格化がすでに出来た状態になっている。 　便利なものだ。

　今回の方法は「演算子法」として、 微分方程式の解法の教科書にも載っている方法である。 　学生の時に数学の先生が 「この解き方は物理学者が見つけたもので、 理由は良く分からないがなぜか解けるのだ」と説明していたのが印象的だった。 　当時はディラックの事も、調和振動子のことも、 なぜその形の方程式を解く必要があるのかも分かっていなかったから、 その言葉だけが頭に残った。 　演算子法そのものはディラック以前、19 世紀末にはあったので、 その先生の言っていた物理学者とはヘビサイドのことかも知れない。

n を粒の数と見る

　つまり、演算子 というのは、その状態の中に 幾つのエネルギーの粒が存在するのかを固有値として取り出す働きがあるという解釈が可能なわけだ。 　それで、この演算子を「粒子数演算子」と呼ぶ。 　英語に忠実に「数演算子」と呼ぶ教科書も多いが、響きが今ひとつ好きになれない。 　「個数演算子」ならまだ許せる。 　（全く個人的な好みの話で申し訳ない。）

　今や粒子数も、運動量や座標のように、 あたかも一つの物理的観測値であるかのような扱いだ。 　前に「無限次元の複素ベクトル空間」内にあるベクトルから 運動量や座標を取り出す「運動量表示」や「座標表示」を学んだが、 この空間内の別の方向からこの同じベクトルを見れば、 粒子数の情報も取り出す事が可能だということである。 　 を表す軸や、 を表す軸などが無数にあって、 その各成分の和で状態を表示できるというわけだ。 　「粒子数表示」とでも呼ぼうか。

　 はある状態に作用して、 粒子の一つ多い別の状態に変化させたとして解釈できる。 　それで、 を粒子を新しく生み出したという意味を込めて「生成演算子」と呼ぶ。 　逆に を「消滅演算子」と呼ぶ。 　こうして我々は粒子の増減を表すための数学的な道具を得た事になる。 　具体的にどう活用するかはしばらく後でじっくり考えることにしよう。

　しかし忘れてはいけないことがある。 　これは調和振動子だからこういう事が出来たのだということだ。 　そして粒子数と言っても、 まだ 1 粒子が持っている離散的なエネルギーの数を数えて、 粒のように扱っているというだけである。

　もっと別の形のポテンシャルの中でも使える理論にするためには、 まだ幾つかの工夫が必要なのである。 　そしてやがては、本当の粒子の数の増減を扱えるようにもしたい。

本質はどこにあるか

　2 つの生成・消滅演算子の交換関係を導入した後は、 これらの具体的な定義はもはや関係なかった。 　ほとんどそれだけで話が進み、後は何も要らなかった。 　この交換関係こそが本質だという人がいる。

　そういう抽象的な考え方が気に入らないとしても、 いずれ別の交換関係を元にして別の論理を組み立てなくてはならないときが来る。 　今だって、2 つの演算子の定義を見たところで正直わけが分からないだろう。 　ただその働きの結果で物理的意味を知るのみだ。