生成演算子と消滅演算子
交換関係こそが全て。 もちろん私の本心ではないが。
前置き
以前、粒子性を表すのに調和振動子の論理が応用できそうだという話をした。 そのための準備として調和振動子についての理論構造をもっと詳しく調べておこう。 これが「場の量子論」の基礎になる。
積分記号を書くのは面倒なので、ベクトル記法を中心に書き進めようと思う。 もちろん、ここでの議論は全て波動関数を使って書き直すことも出来る。 話の流れによっては |n> を関数と呼んだりベクトルと呼んだりするが、どちらも本質は同じだということを理解した上で許してもらいたい。
またディラックなのか!
以前にやったのとは違う方法で調和振動子の問題を解いてやる。 この方法を編み出して場の理論のきっかけを生んだのは、あの天才ディラックだ。
時間に依存しないシュレーディンガー方程式をベクトルで書くと
である。 ただし、ハミルトニアン は、
である。 天才の動機というのは良く分からないのだが、この形式を見て因数分解をしてやろうと閃いたわけだ。
係数の括り出し方に少し細工がしてあるが、理由はそのうちに分かる。 ここで、
という2通りの演算子を定義してやる。 2通りとは言っても、これらは互いにエルミート共役の関係にあるので、一方を定義すればもう片方は自然に定義されるわけだ。 この2つが単なる複素共役に見えてしまって、なぜエルミート共役であるのかが分からないという人は、次のような理解が欠けているかも知れない。 普段あまり書かれないことではあるが、 x や p というのはエルミート演算子であって、
であることを思い出してもらえば合点が行くのではないだろうか。 ついでに や はエルミート演算子ではないことを注意しておこう。
これらを使えばハミルトニアン は
のようにシンプルに表せる・・・はずだった。 いかにもそんなことが出来そうな気がするわけだが、そう甘くはない。 演算子は掛ける順序によって計算結果が変わるのだった。 その辺りに気をつけて、改めて を計算してやると、
となる。 だから を や で表したければ、
とするべきだったわけだ。 何を期待してこんな事をしてきたのか分からないが、式を単純化するという目的のためだけにやったのだとしたら、何となく失敗に終わったようにも思える。 ・・・・。 その判断はまだ早い。
交換関係
新しく導入した2つの演算子には面白い性質がある。 交換関係を調べてやると、
となる。 結果がやたらときれいになるのは、そうなるように と の係数を調整したためだ。 先ほど言っていた「細工」というのはこのことで、これらの演算子が無次元量になるようにしておいたのだった。
この関係を前提として次のようなことを考える。 まず、
を一つの演算子と見てやる。 そして、
となるような方程式を作る。 演算子 を作用させると、その固有値が n として出てくるような関数 |n> を探すわけだ。 ところで、
であるから、 は明らかにエルミート演算子だ。 エルミート演算子の固有値は必ず実数になるのだった。 つまり、n は実数である。
我々は以前に調和振動子の問題を解いたので、勘のいい読者はここで n という記号を使っている意味に気付いてしまったかも知れない。 そういう人は、今は知らない振りをしていて欲しい。 n が0以上の整数でなければならないということも、関数 |n> が具体的にどんな形になるのかということも、今の議論ではまるで知らなくていいのである。
生成演算子と消滅演算子
交換関係こそが全て。 もちろん私の本心ではないが。
前置き
以前、粒子性を表すのに調和振動子の論理が応用できそうだという話をした。 そのための準備として調和振動子についての理論構造をもっと詳しく調べておこう。 これが「場の量子論」の基礎になる。
積分記号を書くのは面倒なので、ベクトル記法を中心に書き進めようと思う。 もちろん、ここでの議論は全て波動関数を使って書き直すことも出来る。 話の流れによっては |n> を関数と呼んだりベクトルと呼んだりするが、どちらも本質は同じだということを理解した上で許してもらいたい。
またディラックなのか!
以前にやったのとは違う方法で調和振動子の問題を解いてやる。 この方法を編み出して場の理論のきっかけを生んだのは、あの天才ディラックだ。
時間に依存しないシュレーディンガー方程式をベクトルで書くと
である。 ただし、ハミルトニアン は、
である。 天才の動機というのは良く分からないのだが、この形式を見て因数分解をしてやろうと閃いたわけだ。
係数の括り出し方に少し細工がしてあるが、理由はそのうちに分かる。 ここで、
という2通りの演算子を定義してやる。 2通りとは言っても、これらは互いにエルミート共役の関係にあるので、一方を定義すればもう片方は自然に定義されるわけだ。 この2つが単なる複素共役に見えてしまって、なぜエルミート共役であるのかが分からないという人は、次のような理解が欠けているかも知れない。 普段あまり書かれないことではあるが、 x や p というのはエルミート演算子であって、
であることを思い出してもらえば合点が行くのではないだろうか。 ついでに や はエルミート演算子ではないことを注意しておこう。
これらを使えばハミルトニアン は
のようにシンプルに表せる・・・はずだった。 いかにもそんなことが出来そうな気がするわけだが、そう甘くはない。 演算子は掛ける順序によって計算結果が変わるのだった。 その辺りに気をつけて、改めて を計算してやると、
となる。 だから を や で表したければ、
とするべきだったわけだ。 何を期待してこんな事をしてきたのか分からないが、式を単純化するという目的のためだけにやったのだとしたら、何となく失敗に終わったようにも思える。 ・・・・。 その判断はまだ早い。
交換関係
新しく導入した2つの演算子には面白い性質がある。 交換関係を調べてやると、
となる。 結果がやたらときれいになるのは、そうなるように と の係数を調整したためだ。 先ほど言っていた「細工」というのはこのことで、これらの演算子が無次元量になるようにしておいたのだった。
この関係を前提として次のようなことを考える。 まず、
を一つの演算子と見てやる。 そして、
となるような方程式を作る。 演算子 を作用させると、その固有値が n として出てくるような関数 |n> を探すわけだ。 ところで、
であるから、 は明らかにエルミート演算子だ。 エルミート演算子の固有値は必ず実数になるのだった。 つまり、n は実数である。
我々は以前に調和振動子の問題を解いたので、勘のいい読者はここで n という記号を使っている意味に気付いてしまったかも知れない。 そういう人は、今は知らない振りをしていて欲しい。 n が0以上の整数でなければならないということも、関数 |n> が具体的にどんな形になるのかということも、今の議論ではまるで知らなくていいのである。
ところで関数 |n> は規格化されているとする。 つまり、
である。 しかも直交しているとする。 つまり、
である。 これは、異なる固有値に属するベクトルは互いに直交する、という線形代数のごく当たり前の要求である。
の働き
何だかすっかり調和振動子と関係ない話に向かっている気がするが、意外な展開が待っているので楽しみにして欲しい。
まず、|n> に を作用させてから を作用させよう。 すると、
のようになる。 これの意味するものが分かるだろうか。 ( |n>) というベクトルをひとかたまりのものとして見てもらいたい。 これは の固有ベクトルになっているのである。 しかも固有値は n-1 だ。 つまり、|n-1> と |n> はある定数倍だけ違うが同じ方向を向いたベクトルであるということだ。
さて、ベクトル |n-1> も規格化されているという前提なので、それを元に、c の値を計算しておこう。
c は規格化のための定数なので正の値を取っておけばいいだろう。 つまり、
という関係があると言える。
の働き
次に、 についても同じ事を試そう。 |n> に を作用させてから を作用させる。
これも同じような事になっている。 |n> をひとかたまりとして注目すると、これは固有値が n+1 の の固有関数であり、 |n+1> と同じ方向を向いたベクトルになっている。
同じように係数 c を計算しておこう。
よって、
という関係があると言える。
演算子の意味
つまり、 は固有関数 |n> に作用して固有値が1だけ小さな |n-1> に変化させる働きがあり、 には逆に、固有関数 |n> に作用して固有値が1だけ大きな |n+1> を作り出す働きがあるということだ。
では を何度も作用させる事でどこまでも固有値の小さな関数が作り出せるかというと、そうでもない。
であり、n は負であってはならないという制約があるからだ。 上の式に出てくる ||...|| で囲まれた部分はベクトルの長さ「ノルム」を表している。 ベクトル |n> のエルミート共役は <n| であって、 上では同じベクトル同士の内積を計算したことになる。 それが正の値になるというのは以前に「 複素関数の内積 」のところでも説明した通りだ。
これで n は0以上でなければならないということが分かった。 しかし n として正の値を使っていたとしても、1ずつ下げて行くと、やがていつかは 0 ≦ n < 1 というところにまで辿り着くだろう。 そこへさらに を作用させれば n が負だという許されていない状態が生み出されてしまう。 これは問題だ。
ただ、n が整数である場合に限っては、このような問題は回避できる。 n を1ずつ減らして行くことでやがては |0> という状態にまでたどり着くことになり、そこへ を作用させればやはり同じ問題に突き当たる気がする。 ところが、上の式の最後の等号より、 |n> = 0 となる場合があることが分かるだろう。 さらに同じ式の初めの等号に目を向ければ、それは n = 0 の時である事も同時に分かる。 つまり、
という関係が成り立っているということだ。 一度0ベクトルとなったものに幾ら繰り返し を作用させても0のままなので、固有値が負として出てくるような問題も起こり得ない。
演算子法
こうして n は「非負の整数」に制限しておくべきだという結論を得た。 この論法に納得できないという人は、この他にも色々な説明の仕方があるので、もっと巧妙で厳密な方法を探してあれこれ調べてみるといいだろう。
以上のことを使えば、今回の一番初めに書いた方程式は
と書き直せるが、| > は代わりに |n> としても成り立ち、その時のエネルギー固有値 E は、
であるということが言える。 以前に調和振動子の方程式を一生懸命に解いたのと同じ結果がこうして導かれるのである。
ここで満足して説明を終えてしまうと、今回の方法では関数 |n> の具体的な形を求めるところまでは出来ないのか、と誤解されてしまう心配があるので、ちゃんと最後までやっておくことにしよう。 以前の結果と比較しやすいように、 と を具体的な座標表示の微分演算子の形で表し、前と同じスケール変換を使って x を ξ に書き換えてやれば、
というすっきりした形式を得る。 ここで、
という式より、
という微分方程式が作られ、これを解けば、
という、以前と同じ結果が得られる。 n が1以上の場合の波動関数を知りたければ、今の結果に を次々と作用させればいい。
を作用させるたびに √(n+1) という係数が出てくる。 初めは |0> に作用して 1 だが、その次には √2 、次は √3 と増えていき、 n 回作用させるとそれらを全部を掛け合わせたもの、すなわち √(n!) を掛けたことになる。
よって、
この時に掛けた係数は規格化を考慮したものであるので、初めに を規格化して A の値を決めておきさえすれば、後は n が幾つの時にだって規格化がすでに出来た状態になっている。 便利なものだ。
今回の方法は「演算子法」として、微分方程式の解法の教科書にも載っている方法である。 学生の時に数学の先生が「この解き方は物理学者が見つけたもので、理由は良く分からないがなぜか解けるのだ」と説明していたのが印象的だった。 当時はディラックの事も、調和振動子のことも、なぜその形の方程式を解く必要があるのかも分かっていなかったから、その言葉だけが頭に残った。 演算子法そのものはディラック以前、19世紀末にはあったので、その先生の言っていた物理学者とはヘビサイドのことかも知れない。
n を粒の数と見る
n は hν というエネルギーかたまりの数だとする見方は、前に調和振動子の話をしたときに説明した。 今回の演算子の導入は、その見方を推し進める...