

量子力学において、波動関数(または波動関数)とは、孤立した量子系の量子状態を数学的に記述したものです。波動関数を表す最も一般的な記号は、ギリシャ文字のψ(小文字のψ)とΨ (大文字のϨ)です。
量子力学の重ね合わせの原理によれば、波動関数は加算され、複素数を乗算して新しい波動関数を形成し、ヒルベルト空間を形成する。2つの波動関数の内積は、対応する物理状態間の重なりの尺度であり、遷移確率と内積を関連付ける量子力学の基礎的な確率的解釈であるボルンの規則で使用される。シュレーディンガー方程式は、波動関数が時間とともにどのように変化するかを決定し、シュレーディンガー方程式は数学的に波動方程式の一種であるため、波動関数は水面波や弦上の波などの他の波と質的に同じように振る舞う。これが「波動関数」という名前の説明であり、波動-粒子二重性を生み出す。しかし、量子力学における波動関数が何らかの物理現象を記述するかどうかは、依然としてさまざまな解釈が可能であり、古典的な力学的波動とは根本的に異なる。[ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 7 ]
波動関数は複素数値です。たとえば、波動関数は空間領域の各点に複素数を割り当てることがあります。Bornの規則[ 8 ] [ 9 ] [ 10 ]は、これらの複素確率振幅を実際の確率に変換する手段を提供します。一般的な形式では、位置に依存する波動関数の絶対値の二乗は、粒子が特定の場所に存在すると測定される確率密度であると述べています。波動関数の絶対値の二乗をシステムのすべての自由度にわたって積分すると1に等しくなければならず、この条件は正規化と呼ばれます。波動関数は複素数値であるため、相対位相と相対振幅のみを測定できます。その値だけでは、測定可能な観測量の大きさや方向については何もわかりません。測定の可能な結果の集合に対応する固有値を持つ量子演算子を波動関数ψに適用し、測定可能な量の統計分布を計算する必要があります。
波動関数は、位置以外の変数、例えば運動量の関数となることがあります。位置に依存する波動関数によって表される情報は、フーリエ変換によって運動量に依存する波動関数に変換でき、またその逆も可能です。電子や光子などの一部の粒子は、ゼロでないスピンを持ち、そのような粒子の波動関数には、固有の離散的な自由度としてスピンが含まれます。アイソスピンなどの他の離散変数も含まれることがあります。システムが内部自由度を持つ場合、連続自由度の各点(例えば、空間内の点)における波動関数は、離散自由度(例えば、スピンのz成分)の可能な各値に対して複素数を割り当てます。これらの値は、多くの場合、列行列(例えば、スピン1/2の非相対論的電子の2×1列ベクトル)に表示されます。
1900年、マックス・プランクは周波数と振動数の比例関係を提唱した。光子とそのエネルギー、[ 11 ] [ 12 ] 1916年には光子の運動量と光子の運動量 の間の対応する関係が波長、[ 13 ] ここではプランク定数である。1923年、ド・ブロイは、この関係を初めて提唱した。現在ド・ブロイ関係と呼ばれるこの関係は、質量を持つ粒子に対して成り立ち、その主な手がかりはローレンツ不変性である[ 14 ]。これは、量子力学の現代的発展の出発点と見なすことができる。この方程式は、質量のない粒子と質量のある粒子の両方について、波動と粒子の二重性を表している。
1920年代と1930年代には、量子力学は微積分と線形代数を用いて発展した。微積分の手法を用いたのは、ルイ・ド・ブロイ、エルヴィン・シュレーディンガーらで、「波動力学」を発展させた。線形代数の手法を用いたのは、ヴェルナー・ハイゼンベルク、マックス・ボルンらで、「行列力学」を発展させた。シュレーディンガーは後に、この2つのアプローチが等価であることを示した。[ 15 ]
1926年、シュレーディンガーは、現在彼の名にちなんで名付けられている有名な波動方程式、シュレーディンガー方程式を発表しました。この方程式は、量子演算子とド・ブロイの関係式を用いた古典的なエネルギー保存則に基づいており、方程式の解は量子系の波動関数です。[ 16 ]しかし、誰もその解釈方法を明確に理解していませんでした。[ 17 ]当初、シュレーディンガーらは、波動関数は波動関数が大きい場所に粒子の大部分が広がって存在する粒子を表していると考えていました。[ 18 ]これは、波動パケット(粒子を表す)がターゲットから弾性散乱されることと矛盾することが示されました。波動パケットはあらゆる方向に広がります。[ 8 ] 散乱粒子はあらゆる方向に散乱する可能性がありますが、分裂してあらゆる方向に飛び出すことはありません。1926年、ボルンは確率振幅の観点を提供しました。[ 8 ] [ 9 ] [ 19 ]これは、量子力学の計算を確率的な実験観測に直接関連付けます。これは量子力学のコペンハーゲン解釈の一部として受け入れられています。量子力学には他にも多くの解釈があります。1927年、ハートリーとフォックはN体波動関数を解くための最初のステップを踏み、自己無撞着サイクル、つまり解を近似するための反復アルゴリズムを開発しました。現在ではハートリー・フォック法としても知られています。[ 20 ]スレーター行列式とパーマネント(行列の)は、ジョン・C・スレーターによって提供されたこの方法の一部でした。
シュレーディンガーは、非相対論的な方程式を発表する前に、相対論的なエネルギー保存則を満たす波動関数の方程式に遭遇したが、負の確率と負のエネルギーを予測するため、それを破棄した。1927年、クライン、ゴードン、フォックもそれを発見したが、電磁相互作用を取り入れ、それがローレンツ不変であることを証明した。ド・ブロイも1928年に同じ方程式に到達した。この相対論的な波動方程式は現在、クライン・ゴードン方程式として最もよく知られている。[ 21 ]
1927年、パウリは電磁場中のスピン1/2粒子を記述する非相対論的方程式を現象論的に発見し、現在ではパウリ方程式と呼ばれている。[ 22 ]パウリは、波動関数は空間と時間の単一の複素関数では記述されず、フェルミオンのスピン+1/2状態と-1/2状態にそれぞれ対応する2つの複素数が必要であることを発見した。その直後の1928年、ディラックは電子に適用された特殊相対性理論と量子力学の最初の統一に成功した方程式を発見し、現在ではディラック方程式と呼ばれている。この方程式では、波動関数は4つの複素数値成分で表されるスピノルである。 [ 20 ] 2つは電子用、2つは電子の反粒子である陽電子用である。非相対論的極限では、ディラック波動関数は電子のパウリ波動関数に似ている。その後、他の相対論的波動方程式が発見された。
これらの波動方程式はすべて、永続的な重要性を持っています。シュレーディンガー方程式とパウリ方程式は、多くの場合、相対論的方程式の優れた近似式となります。また、実際の問題においては、相対論的方程式よりもはるかに容易に解くことができます。
クライン・ゴルドン方程式とディラック方程式は相対論的ではあるものの、量子力学と特殊相対性理論を完全に調和させるものではありません。これらの方程式をシュレーディンガー方程式と同じように研究する量子力学の分野は、しばしば相対論的量子力学と呼ばれ、非常に成功を収めていますが、限界(例えばラムシフトを参照)や概念的な問題(例えばディラックの海を参照)も抱えています。
相対性理論では、システム内の粒子の数が一定でないことは避けられません。完全な調和のためには、量子場理論が必要です。[ 23 ] この理論では、波動方程式と波動関数は、やや異なる形で位置づけられます。主な関心対象は波動関数ではなく、ヒルベルト状態の空間(次節で説明)上の演算子、いわゆる場演算子(または単に「演算子」が理解される場)です。元の相対論的波動方程式とその解は、ヒルベルト空間を構築するために依然として必要であることがわかります。さらに、相互作用が存在しないと仮定した場合の自由場演算子は、多くの場合、場(波動関数)と同じ方程式を(形式的に)満たすことがわかります。
したがって、この形式ではクライン・ゴルドン方程式(スピン0)とディラック方程式(スピン1/2 )が理論に残ります。高スピンの類似式には、プロカ方程式(スピン1)、ラリタ・シュウィンガー方程式(スピン3/2 )、そしてより一般的にはバーグマン・ウィグナー方程式があります。質量のない自由場の場合、2つの例として、自由場マックスウェル方程式(スピン1)と自由場アインシュタイン方程式(スピン2)が場演算子について挙げられます。[ 24 ] これらはすべて、本質的にローレンツ不変性の要件の直接的な結果です。これらの解は、ローレンツ変換の下で所定の方法で変換されなければなりません。つまり、ローレンツ群の特定の表現の下で変換されなければなりません。そして、因果律 に影響を与えるクラスター分解特性[ 25 ]などの他のいくつかの妥当な要求と合わせて、方程式を固定するのに十分です。
これは自由場方程式に適用され、相互作用は含まれません。ラグランジュ密度(相互作用を含む)が利用可能な場合、ラグランジュ形式は古典レベルでの運動方程式を導出します。この方程式は非常に複雑で、解くことができない場合があります。解は固定数の粒子を参照し、これらの理論で言及されている「相互作用」という用語を考慮に入れません。相互作用とは、通常の「第一量子化」量子論のように外部ポテンシャルではなく、粒子の生成と消滅を伴うものです。
弦理論においても、状況は同様である。例えば、運動量空間における波動関数は、明確に定義されていない運動量を持つ粒子(弦)の一般的な状態におけるフーリエ展開係数の役割を果たす。[ 26 ]
弾丸、ロケット、惑星などの古典的な粒子は空間的に局在しており、音や海の波などの古典的な意味での波は広い空間領域に広がることが知られています。しかし、量子波動粒子二重性は量子粒子のユニークな特性です。例えば、空間的に局在した原子は、原子内の電子に関連する波の存在によって安定しています。量子粒子に関連する波の性質については合意がありませんが、これらの波に対応する数学的表現を計算する方法については合意があります。[ 27 ]
非相対論的量子力学では、スピン0の量子粒子に関連付けられた波動が存在する。この「シュレーディンガー」波動に対応する数学的表現を得るには、シュレーディンガー波動方程式を解く必要がある。しかし、相対論的量子力学では、相対論的波動方程式を解く必要がある。あるいは、相対論的だがシュレーディンガーに似た波動方程式のペアを解くことで、スピン0の相対論的量子粒子に関連付けられた2つのシュレーディンガーに似た波動の数学的表現を得ることができる。[ 27 ]
古典粒子には波は関連付けられていないが、スピン0の非相対論的量子粒子には1つのシュレーディンガー波が関連付けられており、さらにスピン0の相対論的量子粒子には2つのシュレーディンガー波が関連付けられており、自由古典粒子と非相対論的量子粒子は正の運動エネルギーを持つ。しかし、相対論的量子粒子は、粒子が正の運動エネルギーを持つ「通常の」シュレーディンガー波に関連付けられることもあれば、粒子が負の運動エネルギーを持つ「異常な」シュレーディンガー波に関連付けられることもある。[ 27 ]
粒子に関連付けられたシュレーディンガー波の存在は、量子粒子の量子特性を決定します。何らかの理由でシュレーディンガー波が消滅すると、粒子は量子性を失い、古典粒子に変化します。私たちの周りの巨視的な物体が古典的で物質のみで構成されているように見える理由を説明するために、このような量子から古典への遷移のいくつかの超越的な例が提案されています。量子-古典境界の例は次のとおりです。[ 27 ]
ここではまず、スピンを持たない非相対論的な単一粒子が1次元空間に存在するという単純なケースを考えてみましょう。より一般的なケースについては後述します。
量子力学の公準によれば、物理システムの固定時刻における状態はは、分離可能な複素ヒルベルト空間に属する波動関数によって与えられる。[ 28 ] [ 29 ]そのため、2つの波動関数Ψ1とΨ2の内積は、 (時刻tにおける)複素数として定義できる。[ nb1 ]
詳細は以下に記載されています。ただし、波動関数Ψとそれ自身との内積は、
は常に正の実数です。数‖ Ψ ‖ ( ‖ Ψ ‖ 2ではない) は、波動関数Ψのノルムと呼ばれます。考慮されている分離ヒルベルト空間は無限次元です[ nb 2 ]。これは、あらゆる可能な二乗可積分関数を作成するためにさまざまな組み合わせで加算できる二乗可積分関数の有限集合が存在しないことを意味します。
このような粒子の状態は、その波動関数によって完全に記述される。ここで、xは位置、tは時間です。これは、2つの実変数xとtの複素数値関数です。
1次元のスピンを持たない粒子1個の場合、波動関数を確率振幅として解釈すると、波動関数の 絶対値の二乗は正の実数となる。は、ある時刻tにおける粒子の位置の測定に対する確率密度 として解釈されます。アスタリスクは複素共役を表します。粒子の位置が測定された場合、その位置は波動関数から決定することはできませんが、確率分布によって記述されます。
その位置x が区間a ≤ x ≤ bに含まれる確率は、この区間における密度の積分である。 ここで、tは粒子が測定された時刻である。これにより、次の正規化条件が得られる。 なぜなら、粒子が測定された場合、それがどこかに存在する確率は100%だからです。
与えられた系において、任意の時点におけるすべての正規化可能な波動関数の集合は、抽象的な数学的ベクトル空間を形成します。つまり、異なる波動関数を足し合わせたり、複素数を掛け合わせたりすることが可能です。厳密に言えば、波動関数は通常のベクトル空間ではなく、射影ヒルベルト空間における光線を形成します。
ある特定の瞬間において、波動関数Ψ( x , t )のすべての値はベクトルの成分です。これらの成分は数えきれないほど無限にあり、総和の代わりに積分が用いられます。ブラケット記法では、このベクトルは次のように表されます 。 そしてそれは「量子状態ベクトル」、あるいは単に「量子状態」と呼ばれます。波動関数を抽象的なベクトル空間の要素として理解することには、いくつかの利点があります。
時間パラメータはしばしば省略され、以下でも省略される。x座標は連続インデックスである。| x⟩は不適切ベクトルと呼ばれ、1 に正規化可能な適切ベクトルとは異なり、ディラックのデルタ関数にのみ正規化できる。[ nb 3 ] [ nb 4 ] [ 30 ] したがって そして これは恒等演算子 を明らかにするこれは、N次元ヒルベルト空間における正規直交基底の完全性関係に類似している。
基底における恒等演算子を見つけることで、抽象的な状態を基底で明示的に表現できるだけでなく、(2つの状態ベクトル間の内積や、観測可能な値に対するその他の演算子も基底で表現できる)さらに多くのことが可能になります。
この粒子は運動量空間においても波動関数を持つ。 ここで、pは1次元の運動量であり、 −∞から+∞までの任意の値をとることができ、tは時間である。
位置の場合と同様に、2つの波動関数Φ1 ( p , t )とΦ2 ( p , t )の内積は次のように定義できる。
時間によらないシュレーディンガー方程式の特定の解の一つは 運動量がちょうどpである粒子の記述に使用できる 平面波。これは運動量演算子の固有関数である。これらの関数は 1 に正規化できない (二乗可積分ではない) ため、実際には物理的なヒルベルト空間の要素ではない。 これは運動量基底 と呼ばれるものを形成する。この「基底」は、通常の数学的な意味での基底ではない。まず、関数は正規化できないため、代わりにデルタ関数に正規化される。[ nb 4 ]
また、これらは線形独立ではあるものの、物理的なヒルベルト空間の基底としては数が多すぎる(非可算集合を形成する)ため、使用することはできません。しかし、次に説明するように、フーリエ変換を用いることで、ヒルベルト空間内のすべての関数を表現することは可能です。
xとpの表現は
次に、 2つの方程式の最後の式を使用して、 状態Ψを運動量の固有関数に射影します。
次に、自由シュレーディンガー方程式の位置表現解における運動量の適切に正規化された固有状態に対する既知の式を利用する。 得られるもの
同様に、位置の固有関数を使用すると、
位置空間と運動量空間の波動関数は、互いにフーリエ変換であることがわかっています。 [ 31 ]これらは同じ状態の2つの表現であり、同じ情報を含んでおり、どちらか一方だけで粒子のあらゆる特性を計算するのに十分です。
実際には、運動量空間の波動関数よりも位置空間の波動関数の方がはるかに頻繁に使用されます。関連する方程式(シュレーディンガー方程式、ディラック方程式など)に現れるポテンシャルによって、どの基底で記述するのが最も簡単かが決まります。調和振動子の場合、xとpは対称的に現れるため、どちらの記述を使用しても問題ありません。同じ方程式(定数を法とする)が得られます。これから少し考察すると、調和振動子の波動方程式の解はL 2におけるフーリエ変換の固有関数であることがわかります。[ nb 5 ]
以下に、高次元系や粒子数の多い系、および位置座標や運動量成分以外の自由度を含む系における波動関数の一般的な形式を示す。
ヒルベルト空間は元々無限次元の完全内積空間を指しますが、定義上、有限次元の完全内積空間も含まれます。[ 32 ]物理学では、しばしば有限次元ヒルベルト空間 と呼ばれます。[ 33 ]すべての有限次元ヒルベルト空間には、ヒルベルト空間全体を張る正規直交基底ケットが存在します。
N次元集合の場合が正規直交系である場合、これらの状態によって張られる空間の射影演算子は次のように与えられる。
ここで射影は恒等演算子と等価である。これはヒルベルト空間全体を網羅するため、ヒルベルト空間内のどのベクトルも変化しません。これは有限次元ヒルベルト空間の完全性関係としても知られています。
波動関数は代わりに次のように与えられる。
どこは、上記の式を用いて波動関数を構築するために使用できる複素数の集合です。
セットの場合固有値を持つ非退化観測量の固有ケットは量子力学の公準により、観測量を測定する確率はボルンの規則に従って次のように与えられます: [ 34 ]
非退化の場合ある観測可能なものの固有値の場合固有ベクトルのサブセットには、量子力学の公準により、観測量を測定する確率は次のように与えられます。
どこは、状態を部分空間に投影する演算子であり、等号は直交性により成り立つ。。
したがって、量子力学系の状態を指定するもので、その二乗がそれぞれの測定の確率を与える大きさを持つ。州。
相対位相は実験において観測可能な影響を及ぼすが、システムの全体位相は実験的に区別できない。例えば、2つの状態の重ね合わせにある粒子の場合、観測量の期待値や異なる状態を観測する確率を求めることで粒子の全体位相を区別することはできないが、相対位相は観測量の期待値に影響を与える可能性がある。
システムの全体的な位相は任意であると考えられるが、各状態の相対位相は重ね合わせ状態における準備状態の位相は、準備状態の物理的意味とその対称性に基づいて決定できます。例えば、z方向のスピン状態の重ね合わせとしてx方向のスピン状態を構築するには、z方向のスピン状態に適切な回転変換を適用することで、状態間の適切な位相を得ることができます。
有限次元ヒルベルト空間の例は、スピン固有ケットを使用して構築できます。-スピン粒子を形成する無限次元ヒルベルト空間。しかし、粒子の状態を完全に記述する一般的な波動関数は、粒子の位置または運動量に関連するヒルベルト空間とのテンソル積を含むため、常に無限次元ヒルベルト空間から得られます。とはいえ、有限次元ヒルベルト空間用に開発された手法は、独立して扱うことも、テンソル積の線形性を考慮して扱うこともできるため、有用です。
与えられたスピン演算子はスピン粒子は有限として表現できる作用するマトリックス独立したスピンベクトル成分の場合、通常は、該当する場合は行列/列/行表記を使用してスピン成分を表すのが望ましい。
例えば、各| s z ⟩は通常、列ベクトルとして識別されます。
しかし、これは表記法のよくある誤用です。なぜなら、ケット| s z ⟩は列ベクトルと同義でも等しくもないからです。列ベクトルは単にスピン成分を表現する便利な方法を提供するだけです。
この表記法に対応して、z成分スピン演算子は次のように記述できます。
z成分スピン演算子の固有ベクトルは上記の列ベクトルであり、固有値は対応するスピン量子数である。
この表記法に対応して、このような有限次元ヒルベルト空間のベクトルは次のように表される。
どここれらは対応する複素数である。
スピンに関する以下の議論では、完全な波動関数は、有限次元ヒルベルト空間からのスピン状態と、以前に導出された波動関数のテンソル積として考えられます。したがって、このヒルベルト空間の基底は次のようになります。。
スピンを持たない単一粒子の3次元空間における位置空間波動関数は、上記の1次元空間の場合と同様である。ここで、rは3 次元空間における位置ベクトル、 tは時間です。いつものように、Ψ( r , t )は実変数の複素数値関数です。ディラック記法では単一のベクトルとして、
内積、運動量空間波動関数、フーリエ変換などに関するこれまでの説明はすべて、より高次元にも拡張される。
スピンを持つ粒子の場合、位置の自由度を無視すると、波動関数はスピンのみの関数となる(時間はパラメータである)。 ここで、s zはz軸に沿ったスピン射影量子数です。(z軸は任意の選択です。波動関数を適切に変換すれば、他の軸を使用することもできます。詳細は後述します。)s zパラメータは、rやtとは異なり、離散変数です。例えば、スピン 1/2 の粒子の場合、s z は+1/2または−1/2のみであり、他の値をとることはできません。(一般に、スピンsの場合、s z はs、s − 1、…、−s + 1、−sのいずれかになります。)各量子数を挿入すると、空間と時間の複素数値関数が得られ、その数は 2s + 1 個です。これらは列ベクトルに配置できます。
ブラケット記法では、これらは簡単にベクトルの成分に整理できます。
ベクトルξ全体は、適切なハミルトニアンを持つシュレーディンガー方程式の解であり、これは2 s + 1 個の常微分方程式の連立系に展開され、その解はξ ( s , t ), ξ ( s − 1, t ), ..., ξ (− s , t )です。一部の著者は、「波動関数」の代わりに「スピン関数」という用語を使用しています。これは、位置座標が連続的な自由度である位置空間波動関数の解とは対照的です。なぜなら、その場合、シュレーディンガー方程式は波動方程式の形をとるからです。
より一般的に言えば、任意のスピンを持つ3次元粒子の場合、波動関数は「位置-スピン空間」で次のように表すことができる。 これらは列ベクトルに並べることもできます ここでは、スピン依存性はエントリのインデックス付けに用いられ、波動関数は空間と時間のみの複素ベクトル値関数である。
離散変数だけでなく連続変数も含めた波動関数のすべての値は、単一のベクトルに集約される。
単一粒子の場合、その位置状態ベクトル| ψ⟩とスピン状態ベクトル| ξ⟩のテンソル積⊗は、合成位置スピン状態ベクトルを与える 。 識別情報とともに
エネルギー固有状態のテンソル積分解は、系のダイナミクスの根底にあるハミルトニアン演算子において粒子の軌道角運動量とスピン角運動量が分離可能であれば常に可能である(言い換えれば、ハミルトニアンは軌道項とスピン項の和に分解できる[ 35 ])。時間依存性はどちらの因子にも配置でき、それぞれの時間発展を個別に研究することができる。このようなハミルトニアンの下では、任意のテンソル積状態は別のテンソル積状態に発展し、これは本質的に、非エンタングル状態は時間発展の下で非エンタングル状態のままであることを意味する。これは、テンソル積の状態間に物理的な相互作用がない場合に起こると言われている。分離不可能なハミルトニアンの場合、エネルギー固有状態は、そのような状態の線形結合であると言われ、必ずしも因子分解可能である必要はない。例としては、磁場中の粒子やスピン軌道結合などが挙げられる。
前述の議論は、離散変数としてのスピンに限定されるものではなく、全角運動量Jも使用できます。[ 36 ]アイソスピンなどの他の離散自由度も、上記のスピンの場合と同様に表現できます。

粒子が多数ある場合、一般に波動関数は1つだけであり、各粒子ごとに個別の波動関数はありません。1つの波動関数が多数の粒子を記述するという事実が、量子もつれとEPRパラドックスを可能にしています。N個の粒子の位置空間波動関数は次のように記述されます。 [ 20 ] ここで、r iはi番目の粒子の 3 次元空間における位置、 tは時間です。全体として、これは3 N + 1 個の実変数の複素数値関数です。
量子力学では、同一粒子と識別可能な粒子の間に根本的な区別がある。例えば、任意の2つの電子は同一であり、根本的に区別できない。物理法則では、特定の電子に「識別番号を刻印」して追跡することは不可能である。[ 31 ]これは、同一粒子系の波動関数に対する要件となる。 ここで、+記号は粒子がすべてボソンである場合に発生し、−記号はすべてフェルミオンである場合に発生します。言い換えれば、波動関数はボソンの位置に関して完全に対称であるか、フェルミオンの位置に関して完全に反対称であるかのいずれかです。[ 37 ]粒子の物理的な交換は、波動関数の引数を数学的に交換することに対応します。フェルミオン波動関数の反対称性はパウリの排他原理につながります。一般に、ボソンとフェルミオンの対称性の要件は粒子統計の現れであり、他の量子状態の形式にも存在します。
N個の識別可能な粒子(同一の粒子は2つとなく、つまり量子数の組が同じ粒子は2つとない)の場合、波動関数が対称であるか反対称であるかの要件はない。
粒子群において、座標r 1、r 2、 ...を持つ同一の粒子と、 x 1、x 2、 ...を持つ区別可能な粒子(互いに同一ではなく、前述の同一の粒子とも同一ではない)が存在する場合、波動関数は同一の粒子の座標r iに関してのみ対称または反対称となる。
繰り返しますが、識別可能な粒子の座標x iには対称性の要件はありません。
スピンを持つN個の粒子の波動関数は複素数値関数である。
これらの要素をすべて1つのベクトルに集約すると、
同一の粒子の場合、対称性の要件は波動関数の位置引数とスピン引数の両方に適用され、全体として正しい対称性を持つようにする。
内積の公式は、すべての座標または運動量に関する積分と、すべてのスピン量子数に関する和です。3次元空間でスピンを持つ N個の粒子の一般的な場合、 これは合計でN 個の3 次元体積積分とN個のスピンに関する和です。微分体積要素d 3 r iは " dV i " または " dx i dy i dz i "とも表記されます。
位置空間波動関数または位置-スピン空間波動関数の多次元フーリエ変換により、運動量空間波動関数または運動量-スピン空間波動関数が得られる。
3次元空間におけるスピンを持つN個の粒子の一般の場合、 Ψを確率振幅と解釈すると、確率密度は
そして、時刻tにおいて粒子 1 がスピンs z 1 = m 1の領域R 1にあり、粒子 2 がスピンs z 2 = m 2の領域R 2にあるなどの確率は、これらの領域にわたる確率密度の積分であり、これらのスピン数で評価されます。
非相対論的量子力学では、シュレーディンガーの時間依存波動方程式を用いて、次の式が成り立つことが示される。
満たされている確率密度とは、上記の式の連続方程式の形式に従って、確率流束として知られています。
波動関数には以下の式を用いる。どこ確率密度とは波動関数の位相であり、以下のことが示される。
したがって、位相の空間的変動が確率流束を特徴づける。
古典的な類推では、数量は速度に類似している。ただし、これは文字通りの解釈を意味するものではないことに注意する。速度と位置は不確定性原理により同時に決定できないため、速度として扱います。シュレーディンガーの時間依存波動方程式に波動関数の形式を代入し、古典極限を取ると、:
これは古典力学のハミルトン・ヤコビ方程式に類似している。この解釈はハミルトン・ヤコビ理論に合致しており、ここで、Sはハミルトンの主関数である。[ 38 ]
時間に依存しないポテンシャル中の系の場合、波動関数は常に自由度と時間依存の位相因子の積の関数として表すことができ、その形式はシュレーディンガー方程式で与えられます。N個の粒子の場合、位置のみを考慮し、他の自由度を無視すると、 ここで、Eは固有状態Ψに対応する系のエネルギー固有値である。この形式の波動関数は定常状態と呼ばれる。
量子状態と演算子の時間依存性は、演算子と状態に対するユニタリ変換に従って配置できます。任意の量子状態| Ψ ⟩と演算子Oに対して、シュレーディンガー描像では、| Ψ( t ) ⟩はシュレーディンガー方程式に従って時間とともに変化しますが、Oは定数です。ハイゼンベルク描像では、その逆で、| Ψ ⟩は定数ですが、O ( t )はハイゼンベルク運動方程式に従って時間とともに変化します。ディラック(または相互作用)描像は中間的で、時間依存性は運動方程式に従って変化する演算子と状態の両方に配置されます。これは主にS 行列要素の計算に役立ちます。[ 39 ]
以下は、非相対論的なスピンを持たない粒子1個に対するシュレーディンガー方程式の解である。

波動力学の最も顕著な特徴の1つは、粒子が(古典力学では)不可能な力ポテンシャルを持つ場所に到達できる可能性である。一般的なモデルは「ポテンシャル障壁」であり、1次元の場合はポテンシャルが そして、波動方程式の定常解は(定数k、κに対して) 次の形式をとる。
これらの波動関数は規格化されていないことに注意してください。詳細については散乱理論を参照してください。
この標準的な解釈では、粒子の流れが左側(負のxの方向)からステップに発射されると考えられます。A r = 1と設定すると、粒子が 1 つずつ発射されます。A rとC rを含む項は右方向への運動を、A lとC l は左方向への運動を表します。このビームの解釈では、右側から粒子が来ないため、 C l = 0とします。境界での波動関数とその導関数の連続性を適用することで、上記の定数を決定することができます。

半径が励起子ボーア半径よりも小さい半導体結晶では、励起子が圧縮され、量子閉じ込め効果が生じる。この場合、エネルギー準位は箱の中の粒子モデルを用いてモデル化することができ、異なる状態のエネルギーは箱の長さに依存する。
量子調和振動子の波動関数はエルミート多項式H nで表すことができ、それらは次のようになる。 ここでn = 0, 1, 2, ...。

水素原子中の電子の波動関数は、球面調和関数と一般化ラゲール多項式で表されます(これらは著者によって定義が異なります。水素原子とこれらに関するメイン記事を参照してください)。
球面座標を使うと便利で、波動関数は各座標の関数に分離できます。[ 40 ] ここで、Rは動径関数であり、Y m ℓ ( θ , φ )は次数ℓで次数mの球面調和関数です。これは、シュレーディンガー方程式が厳密に解かれた唯一の原子です。多電子原子には近似法が必要です。解の族は次のとおりです。[ 41 ] ここで、a 0 = 4 πε 0 ħ 2 / m e e 2はボーア半径、 L 2 ℓ + 1 n − ℓ − 1は次数n − ℓ − 1の一般化ラゲール多項式、n = 1, 2, ...は主量子数、ℓ = 0, 1, ..., n − 1は方位量子数、m = − ℓ , − ℓ + 1, ..., ℓ − 1, ℓは磁気量子数です。水素様原子は非常に似た解を持ちます。
この解法は電子のスピンを考慮に入れていない。
水素原子軌道の図において、19個のサブイメージは位置空間における波動関数(ノルムの二乗)のイメージである。波動関数は、各イメージの右下にある量子数(n、ℓ、m)の3つ組によって特徴づけられる抽象的な状態を表している。これらは主量子数、軌道角運動量量子数、および磁気量子数である。電子のスピン射影量子数と合わせると、これは完全な観測量のセットとなる。
この図は、波動関数の関数空間のさらなる性質を説明するのに役立つ。
波動関数に関する議論において、関数空間の概念は自然に登場します。関数空間とは、通常、関数に何らかの定義条件(この場合は二乗可積分であること)が課せられた関数の集合であり、場合によっては集合上に代数構造(この場合は内積を持つベクトル空間構造)と位相が与えられます。後者はここではほとんど使用しませんが、関数空間の部分集合が閉集合であるとはどういうことかを正確に定義するために必要となります。以下で、波動関数の関数空間はヒルベルト空間であると結論付けられます。この観察は、量子力学の主要な数学的定式化の基礎となっています。
波動関数は、以下の具体的および抽象的な記述によって部分的に特徴付けられる関数空間の要素である。
この類似性は当然ながら偶然ではない。ただし、それぞれの空間には留意すべき相違点も存在する。
基本状態は、量子数の集合によって特徴づけられます。これは、可換な観測量の最大集合の固有値の集合です。物理的な観測量は、ベクトル空間上の線形演算子(観測量とも呼ばれる)によって表されます。最大性とは、既に存在する観測量と可換な、代数的に独立な観測量を、それ以上集合に追加できないことを意味します。このような集合の選択は、表現の選択と呼ばれることがあります。
抽象状態が「抽象的」であるのは、それを明示的に記述するために必要な任意の選択が与えられていないという点においてのみです。これは、可換な観測量の最大集合の選択が与えられていないことと同じです。これは、基底が指定されていないベクトル空間に類似しています。したがって、状態に対応する波動関数は一意ではありません。この非一意性は、可換な観測量の最大集合の選択における非一意性を反映しています。1次元の1つのスピン粒子に対して、特定の状態には、同じ状態を記述する2つの波動関数Ψ( x , S z )とΨ( p , S y )が対応します。
それぞれの表現方法の選択は、その表現方法に対応する波動関数が存在する固有の関数空間を指定するものと考えるべきである。たとえそのような関数空間が数学的に等しいと主張できたとしても(例えば、二乗可積分関数の集合など)、この区別は維持するのが最善である。その場合、関数空間は、その集合の異なる2つのコピーと考えることができる。
波動関数のベクトル空間と抽象状態空間には、さらに別の代数的構造が存在する。
これは、抽象量子状態のベクトル空間に内積を導入する動機となり、表現への移行時に上記の数学的考察と整合します。これは(Ψ, Φ)、またはブラケット記法では⟨ Ψ | Φ ⟩と表記されます。これは複素数になります。内積を用いると、関数空間は内積空間になります。内積 (通常は積分または積分の和) の明示的な出現は表現の選択に依存しますが、複素数(Ψ, Φ) は依存しません。量子力学の物理的解釈の多くは、ボルンの規則に由来します。ボルンの規則は、システムが状態Ψにあるときに測定によって状態Φが見つかる確率p は、 ここで、ΦとΨ は正規化されていると仮定します。散乱実験を考えてみましょう。量子場理論では、Φ out が散乱粒子間の相互作用が停止した後の「遠い未来」(「アウト状態」)の状態を表し、Ψ in が「遠い過去」の「イン状態」を表す場合、Φ outとΨ inがそれぞれ完全なイン状態とアウト状態のセットにわたって変化する量 (Φ out 、Ψ in ) は、S 行列または散乱行列と呼ばれます。これを知ることは、少なくとも予測に関しては、その理論を解いたことに相当します。減衰率や散乱断面積などの測定可能な量は、S 行列から計算できます。[ 43 ]
上記の観察は、波動関数が要素である関数空間の本質を捉えています。しかし、この説明はまだ完全ではありません。関数空間には、完全性という技術的な要件がさらにあります。これにより、関数空間内の数列の極限を取ることができ、極限が存在する場合、それが関数空間の要素であることが保証されます。完全な内積空間はヒルベルト空間と呼ばれます。完全性の性質は、量子力学の高度な扱いと応用において重要です。たとえば、射影演算子または直交射影の存在は、空間の完全性に依存します。[ 44 ]これらの射影演算子は、スペクトル定理など、多くの有用な定理の記述と証明に不可欠です。入門的な量子力学ではそれほど重要ではなく、技術的な詳細とリンクは、次の脚注のようなもので見つけることができます。[ nb 8 ] 空間L 2はヒルベルト空間であり、内積は後で説明します。図の例の関数空間はL2の部分空間である。ヒルベルト空間の部分空間は、それが閉じている場合にヒルベルト空間となる。
要約すると、特定の基底の選択を持つ系に対して可能なすべての正規化可能な波動関数の集合と零ベクトルは、ヒルベルト空間を構成する。
関心のある関数のすべてが、例えばL 2のようなヒルベルト空間の要素であるとは限りません。最も顕著な例は、関数e 2 πi p · x ⁄ hの集合です。これらは自由粒子のシュレーディンガー方程式の平面波解であり、正規化できないため、L 2には含まれません。しかし、それでも記述には不可欠です。これらを用いることで、波束を用いて正規化可能な関数を表現できます。これらは、ある意味で、関心のある波動関数を表現できる基底(ただし、ヒルベルト空間の基底でも、ハーメル基底でもない)です。また、表記上の便宜のために頻繁に用いられる「デルタ関数への正規化」という人工的な表現もあります(後述)。デルタ関数自体も二乗可積分ではありません。
波動関数を含む関数空間の上記の説明は、主に数学的な動機に基づいています。関数空間は、完全性のため、ある意味で非常に大きいものです。すべての関数が、あらゆる物理システムの現実的な記述であるとは限りません。たとえば、関数空間L 2では、区間[0, 1]内のすべての有理数に対して0 の値を取り、無理数に対して- i の値を取る関数を見つけることができます。これは二乗可積分ですが[ nb 9 ] 、物理状態を表すことはほとんどできません。
解の空間全体はヒルベルト空間であるが、構成要素としてよく現れる他の多くのヒルベルト空間も存在する。
より一般的には、ヒルベルト空間の設定において、シュトゥルム・リウヴィル方程式のすべての2次多項式解を統一的に扱うことを検討してもよい。これには、ルジャンドル多項式、ラゲール多項式、チェビシェフ多項式、ヤコビ多項式、エルミート多項式が含まれる。これらはすべて、実際の物理問題に現れ、後者は調和振動子に現れる。そうでなければ、特殊関数の性質の混乱した迷路が、体系化された事実の集合となる。これについては、Byron & Fuller (1992 、第5章)を参照のこと。
有限次元のヒルベルト空間も存在する。空間C nはn次元のヒルベルト空間である。内積はこれらの空間における標準的な内積である。その中に、単一粒子の波動関数の「スピン部分」が存在する。
粒子数が増えると、状況はより複雑になります。テンソル積を用い、関係する対称群(回転群とローレンツ群)の表現論を用いて、テンソル積から(全)スピン波動関数が存在する空間を抽出する必要があります。(粒子が自由でない限り、相対論的な場合にはさらに問題が生じます。[ 45 ]ベテ・サルピーター方程式を参照してください。)同様の注意は、対称群がSU(2)であるアイソスピンの概念にも当てはまります。60年代の核力のモデル(今日でも有用です。核力を参照してください)では、対称群SU(3)が使用されました。この場合も、内部対称性に対応する波動関数の部分は、 C nまたはそのような空間のテンソル積の部分空間に存在します。
システムの次元が無限であるため、適切な数学的手法は関数解析の研究対象となる。

すべての入門教科書が長い道のりをたどり、完全なヒルベルト空間の仕組みを紹介するわけではなく、特定の標準ポテンシャルに対する位置表示の非相対論的シュレーディンガー方程式に重点が置かれています。計算と物理的解釈が意味を持つように、波動関数に対する次の制約が明示的に定式化されることがあります。[ 46 ] [ 47 ]
特別な目的のために、これらの条件を多少緩和することは可能です。[注11 ] これらの要件が満たされない場合、波動関数を確率振幅として解釈することはできません。[ 48 ]ポテンシャル場の無限不連続点では、導関数の連続性の規則に例外が生じる可能性があることに注意してください。たとえば、ポテンシャルが無限不連続であることがわかっている箱の境界で波動関数の導関数が不連続になる可能性がある箱の中の粒子の場合です。
これは、これらの特定の波動関数が存在するヒルベルト空間の構造を変えるものではありませんが、2 番目の要件を満たす二乗可積分関数のサブスペースL 2はヒルベルト空間であり、L 2では閉じていないため、それ自体はヒルベルト空間ではありません。[ nb 12 ] 要件を満たさない関数は、技術的および実用的な理由の両方から依然として必要です。[ nb 13 ] [ nb 14 ]
既に述べたように、あるシステムの何らかの表現におけるすべての可能な波動関数の集合は、一般に無限次元のヒルベルト空間を構成します。表現基底の選択肢が複数あるため、これらのヒルベルト空間は一意ではありません。したがって、表現と基底の選択が未決定のまま残される抽象的なヒルベルト空間、状態空間について議論します。具体的には、各状態は状態空間において抽象的なベクトルとして表現されます。 [ 49 ]任意の表現における量子状態| Ψ⟩は一般にベクトルとして表現されます。 どこ
これらの量子数は状態ベクトルの成分をインデックス付けします。さらに、すべてのαはn次元集合A = A 1 × A 2 × ... × A nに属し、各A iはα iの許容値の集合です。すべてのωはm次元の「体積」Ω ⊆ ℝ mに属し、Ω = Ω 1 × Ω 2 × ... × Ω mであり、各Ω i ⊆ Rはω iの許容値の集合であり、実数Rの部分集合です。一般性を保つため、 nとm は必ずしも等しいとは限りません。
例:
時刻にシステムを発見する確率密度状態| α , ω ⟩では
α が可能な離散変数構成の一部またはすべてD ⊆ Aにあり、ω が可能な連続変数構成の一部またはすべてC ⊆ Ωにあるシステムを見つける確率は、密度に関する和と積分である。[ nb 15 ]
すべての確率の合計は 1 でなければならないため、正規化条件 システムの進化過程において、常に維持されなければならない。
正規化条件では、ρ d m ω が無次元である必要があり、次元解析により、 Ψ は( ω 1 ω 2 ... ω m ) −1/2と同じ単位を持つ必要があります。
波動関数が実際に存在するのか、そしてそれが何を表しているのかは、量子力学の解釈における重要な問題である。エルヴィン・シュレーディンガー、アルベルト・アインシュタイン、ニールス・ボーアなど、前世代の多くの著名な物理学者がこの問題に頭を悩ませた。コペンハーゲン解釈の定式化や変形を提唱する者もいれば(ボーア、ユージン・ウィグナー、ジョン・フォン・ノイマンなど)、ジョン・アーチボルド・ホイーラーやエドウィン・トムソン・ジェインズのように、より古典的なアプローチ[ 50 ]を取り、波動関数は観測者の心の中にある情報、つまり現実に関する我々の知識の尺度を表していると考える者もいる。シュレーディンガー、デイヴィッド・ボーム、ヒュー・エヴェレット3世など一部の者は、波動関数は客観的な物理的存在を持たなければならないと主張した。アインシュタインは、物理的現実の完全な記述は、抽象的な数学的空間を参照する波動関数とは区別して、物理的な空間と時間に直接言及するべきだと考えた。[ 51 ]