波動関数
波動関数（はどうかんすう、英: wave function）は、もともとは波動現象一般を表す関数のことだが、現在では量子論における状態（より正確には純粋状態）を表す複素数値関数のことを指すことがほとんどである。量子論における状態については量子状態を参照。
Contents
定義
ここでは量子状態を表す状態ベクトルから波動関数を定義する。ただし状態ベクトルと波動関数は等価であるため（後述）、扱いやすさなどの点から量子状態を表すものとして波動関数を用いることも多い。
あるオブザーバブルを表すエルミート演算子 [math] \hat{A} \ [/math] を考え、その固有値が離散的であるとする。エルミート演算子[math] \hat{A} \ [/math]の性質として全ての固有ベクトルの集合 [math]\{ | a_n \rangle \} \ [/math] は完全系であるため、任意の状態ベクトル [math] | \psi \rangle \ [/math] を [math]\{ | a_n \rangle \} \ [/math] の線形結合（重ね合わせ）として表すことができる。展開係数を [math] \psi(a_n) \ [/math] とおくと、
- [math] | \psi \rangle = \cdots+\psi(a_{n-1})| a_{n-1} \rangle+\psi(a_n)| a_n \rangle+\psi(a_{n+1})| a_{n+1} \rangle+\cdots = \sum_n \psi(a_n)| a_n \rangle [/math]
この展開係数 [math] \psi(a_n) \ [/math]を「基底 [math]\{ | a_n \rangle \} \ [/math] 表示での波動関数」と呼ぶ。
またエルミート演算子の固有ベクトルは互いに直交する（ように選べる）。[math]\{ | a_n \rangle \} \ [/math] が規格化されているものとすると、この式と [math] | a_n \rangle \ [/math] との内積をとることで [math] | a_n \rangle \ [/math] にかかる展開係数が得られる。
- [math]\langle a_n | \psi \rangle = \psi(a_n)[/math]
このように基底を一つに決めると、状態ベクトルと波動関数は片方が分かればもう片方を求めることができ、一対一対応の関係になっている。したがって波動関数は、その変数が決まっているときには状態ベクトルと等価である。このため波動関数は量子状態を表す関数として用いられる。
一般的に量子状態は複素ヒルベルト空間上のベクトルで表されるため、波動関数は一般的に複素数関数である。
位置表示
基底として、位置を表す演算子 [math] \hat{x} \ [/math] の固有ベクトル、つまり位置が定まった状態の全体 [math]\{ | x \rangle \} \ [/math] を選んだ場合、任意の状態を [math]\{ | x \rangle \} \ [/math] の重ね合わせで表現できる。この重ね合わせ係数 [math] \psi(x) \ [/math] を「座標表示での波動関数」、「シュレーディンガーの波動関数」などと呼ぶ。
- [math] | \psi \rangle = \sum_x \psi(x)| x \rangle [/math]
重ね合わせ係数 [math] \psi(x) \ [/math] を定めれば [math] | \psi \rangle \ [/math] は一意的に決まるので、[math] | \psi \rangle \ [/math] の代わりに [math] \psi(x) \ [/math] を用いても状態を表すことができる。
運動量表示
基底として、運動量を表す演算子 [math] \hat{p} \ [/math] の固有ベクトル、つまり運動量が定まった状態の全体 [math]\{ | p \rangle \} \ [/math] を選んだ場合、[math] \psi(p) \ [/math] を「運動量表示での波動関数」と呼ぶ。
- [math] | \psi \rangle = \sum_p \psi(p)| p \rangle [/math]
ここでは関数のラベルとして位置表示と同じ文字 [math] \psi [/math] を用いたが、その関数形は全く異なることに注意。
確率振幅
ボルンの規則によると、ある状態[math]|\psi\rang \ [/math]における物理量（オブザーバブル）[math]A \ [/math]の測定をしたとき、その測定値の確率分布は次のように、物理量[math]A[/math]による表示をした波動関数[math]\psi(a)=\langle a|\psi\rangle[/math]の絶対値の二乗となる。このような二乗すると確率を与えるものを確率振幅と呼ぶ。
- [math] P(a) =\langle\psi|a\rangle\langle a|\psi\rangle = | \psi (a) |^2 \ [/math]
例えば、ある状態[math]|\psi\rang \ [/math]における運動量[math]p \ [/math]の測定を数多くした時、測定値が「運動量を表すエルミート演算子[math]\hat{p} \ [/math]の固有値の一つ[math]p_1 \ [/math]」である確率は
- [math] P(p_1) = | \psi (p_1) |^2 \ [/math]
に収束する。
他にも波動関数[math]\left. \Psi(x,t) \right.[/math]の（絶対値の）二乗は、「その状態 [math]|\Psi\rangle[/math] において時刻 [math]t \ [/math] で位置 [math]\hat{x}[/math] の測定をしたとき、測定値のバラつきを表す確率分布が [math]P(x,t)=| \Psi(x,t)|^2 \ [/math] である」ということなので、「時刻 [math] \left. t \right.[/math] における、位置 [math]\left. x \right.[/math] での存在確率」と解釈される（位置[math]\hat{x}[/math]の固有値が離散的である場合）。 しかし、そのためには、全空間のどこかで観測される確率は1 (100％) であることから、
- [math]\sum_i P(x_i,t)=1[/math]
のように規格化される。位置の観測量が連続的に与えられている場合、「ある一点[math]x[/math]での存在確率[math]P(x,t)[/math]」は意味を成さない。そのような場合、[math]P(x,t)[/math]は、存在確率ではなく、「小区間 [math][x,x+\delta x][/math] の中に観測される、存在確率 "密度"」として扱われ、規格化条件も和から積分へ変わる。
- [math]\int_{V}P(x,t)dx=1[/math]
積分変数が位置[math]x[/math]になっていて、長さの次元を持つことからも分かる通り、物理量の固有値が連続的に存在する場合（連続スペクトル）、対応する確率分布の次元は、無次元ではなく、物理量の逆の次元、この場合は「[math]L^{-1}[/math]（長さの逆数）」になる。このとき、[math]P(x,t)[/math]は「単位長さ当たりの確率」、すなわち確率密度として解釈される。
波動関数の次元について
離散スペクトルと連続スペクトルの規格化条件を見比べてみると、それぞれの波動関数の次元は異なることがわかる。
- 離散固有値の固有関数で表示した波動関数は、常に無次元量である。
- 連続固有値の固有関数で表示した波動関数は、状況によって様々な規格化条件があるので、波動関数の次元は状況によって異なる。
重ね合わせ
2つの異なる状態を表す波動関数 [math]\psi(x_1)[/math] と [math]\psi(x_2)[/math] の線形結合をとることで、新たな状態 [math]\psi(x')[/math] を作ることができる。これを重ね合わせという。
- [math]\psi(x')=c_1\psi(x_1)+c_2\psi(x_2)[/math]
逆に、ある状態をいくつかの状態の重ね合わせに分解することもできる。重ね合わせに関する有名な思考実験にシュレーディンガーの猫がある。
波動関数の時間変化
波動関数の時間変化は、次の式に従う。
- [math]i\hbar\frac{d}{dt} \psi(x,t) = \hat{H} \psi(x,t)[/math]
この式は時間に依存するシュレーディンガー方程式と呼ばれる。この時間変化はユニタリー変換であり、時間変化しても確率が保存されている。
固有状態
物理量を表すエルミート演算子の固有関数は、その物理量の固有状態と呼ばれる。固有状態は、物理量が確定した値をもつような状態である。
特に重要なのは、全エネルギーを表すハミルトニアンの固有関数であり、エネルギー固有状態と呼ばれる。ハミルトニアンの固有値方程式は時間に依存しないシュレーディンガー方程式と呼ばれる。
- [math]\hat{H}\psi(x)=E\psi(x)[/math]
化学や物性物理学の分野では、エネルギー固有状態は軌道（関数）とも呼ばれる。
観測による変化
波動関数[math]\psi(x)[/math]で表される状態に対して、物理量[math]\hat{A}[/math]の測定を行ったとする。ボルンの規則によれば測定値は[math]\hat{A}[/math]の固有値のいずれかであり、今回は測定値が[math]a_i[/math]であったとする。すると測定後の波動関数は、その固有値に対応する固有状態[math]\psi(a_i)[/math]に瞬時に変化する。
このような観測による瞬時の状態変化は、上述のシュレーディンガー方程式で表される時間変化とは全く異質のものである。この現象は波動関数の収縮と呼ばれる。
解釈問題
波動関数とは端的に言うと「物体の『状態』そのものの波動」であり、この事は物体の状態（例えば「犬がおなかをすかせています…」ということでさえも）が波で表されることを示しており、また波は重ね合わせの原理（波1と波2が同時に存在できる）を満たすため、原理的には物体が同時に複数の相異なる状態を取りえる（シュレーディンガーの猫）ことを示す。そのことが「本当に同時に複数の状態を取っている」のか、「人間には認識できない超光速で状態が転移し続けている」のかは議論が分かれる所である。
しかし実際に1回の実験で観測される物体の状態はただ一つであるし、また我々の日常での実感でも、この重ね合わせの原理は矛盾しているように思える。 その矛盾を回避する為に現在まで多くの解釈が与えられた。 その中で数学的に等価であり、しかし物理的に全く異なる二つの有力な解釈が「コペンハーゲン解釈」「エヴェレット解釈」である。詳しくは当該項目を参照のこと。
コペンハーゲン解釈では、「観測者」の実行する「観測」による「波動関数の収縮」が、物体の観測される状態をただ一つに決定するとされた。しかしその「観測者」の満たすべき資質や波動関数の収縮速度が光速を超える事などが問題となった。エヴェレット解釈では「波動関数の収縮」を必要とはしない。しかし我々が住む日常世界の他に全く異なる並行世界が存在することを期待させるために、様々な空想を生んだ。近年、「デコヒーレンス（The Quantum Decoherence、異なる量子状態間の干渉が断ち切られる現象）」の発見によって「波動関数の収縮」あるいは「並行世界の消滅」の機構は説明されつつある。しかしそれでも「波動関数の実在性」そのものに関する解答は存在していない。
波動関数の実在性
波動関数が実在する物理現象なのかどうかは、今でも分かっていない。人が「質量は実在するか?」と聞かれれば間違いなくそうだと答えるだろう（しかし質量は本来抽象的な物理量である）。しかし、波動関数の場合には位相速度が光速を超えること、また「波動関数の収縮」速度が光速を超えるか超えないか、が問題となる。EPRパラドックスとして知られており、量子的な現象はそのような性質を持つものである、と一般には解されているが、「実在する物理現象だとすると、その収縮速度は光速を超えられないこと」であり「これは重大なパラドックスを引き起こす」とする向きもある（反対に、この事から波動関数の物理的実在を否定することもできる）。
参考文献
- 清水明 『新版 量子論の基礎―その本質のやさしい理解のために―』 サイエンス社、2004年。ISBN 4-7819-1062-9。
- 『別冊・数理科学 量子の新世紀 量子論のパラダイムとミステリーの交錯』 サイエンス社、2006年。