Mathematical description of quantum state
スピンレス粒子1個の量子調和振動子 。振動は軌道を持たず、それぞれが波として表される。縦軸は波動関数の実部(青)と虚部(赤)を示す。図(A~D)は、 シュレーディンガー方程式 の4つの異なる定在波解を示す。図(E~F)は、シュレーディンガー方程式の解であるが定在波ではない2つの異なる波動関数を示す。
最初は非常に局所化された自由粒子の波動関数。
量子物理学 において 、 波動関数 (または 波動関数)は、孤立した 量子系 の 量子状態 を数学的に記述するものです 。波動関数を表す最も一般的な記号は、ギリシャ文字の ψ (小文字) と Ψ ( 大文字 )です。
量子力学の重ね合わせ原理 によれば 、波動関数を加算し、複素数を乗算することで新たな波動関数を形成し、 ヒルベルト空間 を形成することができる。2つの波動関数の内積は、対応する物理状態間の重なりの尺度であり、量子力学の基礎的な確率的解釈であるボルンの 規則 において用いられ、遷移確率と内積を関連付ける。 シュレーディンガー方程式は、波動関数が時間とともにどのように発展するかを決定する。シュレーディンガー方程式は数学的には 波動方程式 の一種であるため、波動関数は 水波 や弦の波 などの他の 波と同様に定性的に振舞う。これが「波動関数」という名称の由来であり、 波動粒子二重性 を生み出している 。しかし、量子力学における波動関数が何らかの物理現象を記述するかどうかについては、依然として様々な 解釈 があり、 古典的な力学的 波動とは根本的に異なる。 [3] [6]
波動関数は 複素数値で ある。例えば、波動関数は空間領域内の各点に複素数を割り当てることがある。 ボルン則 [8] [9] [10]はこれらの複素 確率振幅を 実際の確率に変換する手段を提供する 。一般的な形式では、 位置に依存する波動関数の 二乗係数は、粒子が特定の場所に存在すると 測定される 確率 密度 であるとされている。波動関数の二乗係数をシステムのすべての自由度にわたって積分すると、1に等しくならなければならず、この条件は 正規化 と呼ばれる。波動関数は複素数値であるため、その相対位相と相対大きさしか測定できず、その値だけでは測定可能な観測量の大きさや方向について何も語らない。固有値が測定の可能な結果の集合に対応する 量子演算子を 波動関数 ψ に適用し、測定可能な量の統計分布を計算する必要がある。
波動関数は 、位置以外の変数( 運動量など)の 関数になることもあります。位置に依存する波動関数によって表される情報は、 フーリエ変換 によって、運動量に依存する波動関数に変換でき、その逆も可能です。 電子 や 光子 などの一部の粒子は非ゼロの スピン を持ち 、そのような粒子の波動関数には、固有の離散的自由度としてスピンが含まれます。 アイソスピン などの他の離散変数も含めることができます。システムが内部自由度を持つ場合、連続自由度内の各点(たとえば、空間内の点)での波動関数は、離散的自由度の可能な値(たとえば、スピンの z 成分) ごとに複素数を割り当てます。これらの値は、多くの場合 、列行列 (たとえば、スピン 1 ⁄ 2 を持つ非相対論的電子の 2 × 1 列ベクトル)で表示されます 。
歴史的背景
1900年、 マックス・プランクは 光子の振動数とそのエネルギーが 比例 関係にあると仮定しました [ 11] [12] 。
また1916年には光子の 運動量 と 波長が比例関係にあると仮定しまし た [ 13] 。
ここでは プランク定数 です。1923年、ド・ブロイは 、 現在 ド・ブロイの関係式 と呼ばれる関係式が質量を持つ粒子に対して成り立つことを初めて示唆しました 。 その 主な手がかりは ローレンツ不変性 であり、 波動粒子二重性を 表しています 。
f
{\displaystyle f}
E
{\displaystyle E}
E
=
h
f
{\displaystyle E=hf}
p
{\displaystyle p}
λ
{\displaystyle \lambda }
λ
=
h
p
{\displaystyle \lambda ={\frac {h}{p}}}
h
{\displaystyle h}
λ
=
h
p
{\displaystyle \lambda ={\frac {h}{p}}}
1920年代から1930年代にかけて、量子力学は 微積分 と 線型代数学 を用いて発展しました。微積分の手法を用いた研究者としては、 ルイ・ド・ブロイ 、 エルヴィン・シュレーディンガー などがおり、「 波動力学」を開発しました。線型代数学の手法を応用した研究者としては、 ヴェルナー・ハイゼンベルク 、 マックス・ボルン など がおり、「 行列力学 」を開発しました。シュレーディンガーは後に、この2つのアプローチが同等であることを示しました。
1926 年、シュレーディンガーは現在彼の名にちなんで名付けられている有名な波動方程式、 シュレーディンガー方程式を発表しました。この方程式は 量子演算子 とド・ブロイの関係を用いた 古典的な エネルギー保存 則に基づいており 、方程式の解は量子システムの波動関数です。 しかし、誰もその解釈方法を明確に知りませんでした。 最初、シュレーディンガーらは、波動関数は波動関数が大きい場所に粒子の大部分がある状態で広がっている粒子を表していると考えました。 これは、ターゲットからの波束 (粒子を表す) の弾性散乱とは両立しないことが示されました。波束はすべての方向に広がっています。 [8]
散乱した粒子はどの方向にも散乱する可能性がありますが、分解してすべての方向に飛び散るわけではありません。1926 年、ボルンは確率振幅の観点を提供しました 。 [ 8 ] [9] これは量子力学のコペンハーゲン 解釈 の一部として受け入れられています。 量子力学には他にも多くの解釈 があります。1927年、 ハートリー と フォックは N 体 波動関数を解くための最初の一歩を踏み出し 、 解を近似するための 反復 アルゴリズム である 自己無撞着サイクルを開発しました。現在では ハートリー・フォック法 としても知られています。 スレーター 行列式 と パーマネント ( 行列の)は、 ジョン・C・スレーター によって提唱されたこの方法の一部でした 。
シュレーディンガーは非相対論的な波動関数方程式を発表する 前に、 相対論的 エネルギー保存 則を満たす波動関数方程式に遭遇したが、負の 確率 と負の エネルギーを 予測するため却下した。1927年、 クライン 、 ゴードン 、フォックもこの方程式を発見したが、 電磁 相互作用を組み込んで ローレンツ不変で あることを証明した。ド・ブロイも1928年に同じ方程式に到達した。この相対論的波動方程式は現在 、クライン・ゴードン方程式 として最もよく知られている 。
1927年、 パウリは、現在 パウリ方程式 と呼ばれている、電磁場内のスピン 1/2 粒子を記述する非相対論的方程式を現象論的に発見しました 。 パウリは、波動関数が空間と時間の単一の複素関数では記述されず、フェルミオンのスピン +1/2 と −1/2 状態にそれぞれ対応する 2 つの複素数が必要であることを発見しました。その後まもなく、1928年に ディラックは、 電子に適用された 特殊相対論 と量子力学 の最初の統一に成功した方程式を発見し 、現在 ディラック方程式 と呼ばれています。これにおいて、波動関数は 4 つの複素数値成分によって表される スピノル 2 つは電子用で、2 つは電子の 反粒子である 陽電子 用 です。非相対論的極限では、ディラックの波動関数は電子のパウリの波動関数に似てい ます 。
現代理論における波動関数と波動方程式
これらの波動方程式はすべて、永続的な重要性を持っています。シュレーディンガー方程式とパウリ方程式は、多くの場合、相対論的変種の優れた近似式です。実際的な問題においては、相対論的変種よりもかなり容易に解くことができます。
クライン ・ゴルドン方程式 と ディラック方程式は 相対論的ではあるものの、量子力学と特殊相対論の完全な調和を示すものではありません。これらの方程式をシュレーディンガー方程式と同様に研究する量子力学の分野は、しばしば 相対論的量子力学 と呼ばれ、非常に成功しているものの、限界(例えば ラムシフトを 参照)と概念上の問題(例えば ディラックの海を 参照)を抱えています。
相対論によれば、系内の粒子の数が一定ではないことは避けられない。これを完全に調和させるには、 量子場理論 が必要となる。 [23]
この理論において、波動方程式と波動関数はそれぞれ独自の位置を占めるが、その形態はやや異なる。主な関心の対象は波動関数ではなく、ヒルベルト状態空間(次節で説明)上の演算子、いわゆる 場演算子 (あるいは「演算子」が理解される場合は単に場)である。ヒルベルト空間を構築するには、元の相対論的波動方程式とその解が依然として必要であることが判明している。さらに、 自由場演算子 、すなわち相互作用が存在しないと仮定した場合、多くの場合、場(波動関数)と同じ方程式を(形式的に)満たすことが判明している。
したがって、この形でのクライン–ゴルドン方程式(スピン 0 )とディラック方程式(スピン 1 ⁄ 2 )は理論に残る。高スピンの類似物には、 プロカ方程式 (スピン 1 )、 ラリタ–シュウィンガー方程式 (スピン 3 ⁄ 2 )、およびより一般的には バーグマン–ウィグナー方程式 がある。 質量のない 自由場の2つの例は、場の演算子に対する 自由場 マクスウェル方程式 (スピン 1 )と自由場 アインシュタイン方程式 (スピン 2 )である。 [24]
これらはすべて、本質的に ローレンツ不変性 の要件の直接的な結果である。それらの解は、規定された方法、つまり ローレンツ群の 特定の表現の下で ローレンツ変換されて 変換する必要があり、その他の合理的な要求、たとえば クラスター分解特性 [25]と 因果関係
への影響があれば 、 方程式を修正するのに十分である。
これは自由場方程式に当てはまり、相互作用は考慮されません。ラグランジアン密度(相互作用を含む)が利用可能な場合、ラグランジアン形式は古典レベルの運動方程式をもたらします。この方程式は非常に複雑で、解くのが難しい場合があります。どのような解も、 固定 数の粒子を参照することになり、これらの理論で言及される「相互作用」という用語を考慮に入れません。相互作用とは、粒子の生成と消滅を伴うものであり、通常の「第一量子化」量子理論における外部ポテンシャルとは関係ありません。
弦理論 においても 状況は類似している。例えば、運動量空間における波動関数は、明確に定義されていない運動量を持つ粒子(弦)の一般的な状態において、フーリエ展開係数の役割を果たす。
定義(1次元の1つのスピンレス粒子)
スピン0粒子1個について、x次元または p 次元における位置波動関数 Ψ( x ) と運動量波動関数 Φ( p ) の実 部 、および対応する確率密度 |Ψ( x )| 2 と |Φ( p )| 2 。粒子の色の不透明度は、粒子が位置x または 運動量 p にある確率密度(波動関数 ではない ) に対応する 。
ここでは、スピン を持たない非相対論的な単一粒子が 1次元空間に存在するという単純なケースを考えます。より一般的なケースについては後述します。
量子力学の公理 によれば 、 ある物理系の 状態は、ある固定時刻において、 可分 複素 ヒルベルト空間 に属する波動関数によって与えられる 。 したがって、 2つの波動関数 Ψ 1 と Ψ 2 の内積は、 複素数(時刻 t )として定義することができる [注 1]。
t
{\displaystyle t}
(
Ψ
1
,
Ψ
2
)
=
∫
−
∞
∞
Ψ
1
∗
(
x
,
t
)
Ψ
2
(
x
,
t
)
d
x
<
∞
{\displaystyle (\Psi _{1},\Psi _{2})=\int _{-\infty }^{\infty }\,\Psi _{1}^{*}(x,t)\Psi _{2}(x,t)\,dx<\infty }
。
詳細は後述します。しかし、波動関数Ψ とそれ自身との内積は 、
(
Ψ
,
Ψ
)
=
‖
Ψ
‖
2
{\displaystyle (\Psi ,\Psi )=\|\Psi \|^{2}}
、
は常に 正の実数である。‖ Ψ ‖ ( ‖ Ψ ‖ 2 ではない ) は 波動 関数 Ψ の ノルム と 呼ばれる 。 ここで論じる 可分ヒルベルト空間は無限 次元 であり、 [注 2] 、これは様々な組み合わせで加算してあらゆる可能な 二乗可積分関数を生成できる 二乗可積分関数 の有限集合は存在しないことを意味する 。
位置空間波動関数
このような粒子の状態は、その波動関数によって完全に記述されます。 ここで、 x は位置、 t は時間です。これは、 2つの実変数 x と tから なる複素関数 です。
Ψ
(
x
,
t
)
,
{\displaystyle \Psi (x,t)\,,}
一次元におけるスピンレス粒子1個について、波動関数を 確率振幅 (波動関数の平方 係数 ) と解釈すると、正の実数は、
与えられた時刻 t における粒子の位置の測定値に対する確率密度
として解釈されます 。アスタリスクは 複素共役 を表します。粒子の位置が で 測定され た場合、その位置は波動関数から決定することはできませんが、 確率分布 によって記述されます。
|
Ψ
(
x
,
t
)
|
2
=
Ψ
∗
(
x
,
t
)
Ψ
(
x
,
t
)
=
ρ
(
x
)
,
{\displaystyle \left|\Psi (x,t)\right|^{2}=\Psi ^{*}(x,t)\Psi (x,t)=\rho (x),}
正規化条件
位置x が区間 a ≤ x ≤ b にある確率は 、この区間における密度の積分です。
ここで、 t は粒子が測定された時刻です。これは 正規化条件 を導きます。
なぜなら、粒子が測定された場合、 どこかに
ある確率は 100% だからです 。
P
a
≤
x
≤
b
(
t
)
=
∫
a
b
|
Ψ
(
x
,
t
)
|
2
d
x
{\displaystyle P_{a\leq x\leq b}(t)=\int _{a}^{b}\,|\Psi (x,t)|^{2}dx}
∫
−
∞
∞
|
Ψ
(
x
,
t
)
|
2
d
x
=
1
,
{\displaystyle \int _{-\infty }^{\infty }\,|\Psi (x,t)|^{2}dx=1\,,}
与えられた系において、(任意の時点における)すべての可能な正規化可能な波動関数の集合は、抽象的な数学的 ベクトル空間 を形成する。これは、異なる波動関数を加算したり、波動関数に複素数を乗算したりすることが可能であることを意味する。技術的には、波動関数は 通常のベクトル空間ではなく、
射影ヒルベルト空間 における 射影線を形成する。
ベクトルとしての量子状態
特定の瞬間において、波動関数 Ψ( x , t ) のすべての値はベクトルの成分である。それらの値は無限に無数に存在するため、和の代わりに積分が用いられる。 ブラ・ケット記法 では、このベクトルは
「量子状態ベクトル」または単に「量子状態」と表記される。波動関数を抽象的なベクトル空間の要素を表すものとして理解することには、いくつかの利点がある。
|
Ψ
(
t
)
⟩
=
∫
Ψ
(
x
,
t
)
|
x
⟩
d
x
{\displaystyle |\Psi (t)\rangle =\int \Psi (x,t)|x\rangle dx}
線形代数 の強力なツールはすべて、 波動関数を操作し理解するために使用できます。例えば:
線型代数は、ベクトル空間に基底を与え 、 そのベクトル空間内の任意のベクトルをこの基底で表現できることを説明します。これは、位置空間における波動関数と運動量空間における波動関数の関係を説明し、他の可能性もあることを示唆しています。
ブラケット表記法は 波動関数を操作するために使用できます。
量子状態 が抽象ベクトル空間内のベクトルであるという考えは、 量子力学と 量子場の理論 のあらゆる側面において完全に一般的ですが、量子状態が空間の複素数値「波」関数であるという考えは、特定の状況においてのみ真実です。
時間パラメータはしばしば省略され、以下でも同様です。x 座標は連続的なインデックスです。 | x ⟩ は不適切ベクトル と呼ばれ 、 1に正規化可能な 適切ベクトル とは異なり、ディラックのデルタ関数にのみ正規化できます。 [nb 3] [nb 4]
したがって
、
これはN 次元 ヒルベルト空間における直交基底の完全性関係に類似した
恒等演算子
を明らかにします。
⟨
x
′
|
x
⟩
=
δ
(
x
′
−
x
)
{\displaystyle \langle x'|x\rangle =\delta (x'-x)}
⟨
x
′
|
Ψ
⟩
=
∫
Ψ
(
x
)
⟨
x
′
|
x
⟩
d
x
=
Ψ
(
x
′
)
{\displaystyle \langle x'|\Psi \rangle =\int \Psi (x)\langle x'|x\rangle dx=\Psi (x')}
|
Ψ
⟩
=
∫
|
x
⟩
⟨
x
|
Ψ
⟩
d
x
=
(
∫
|
x
⟩
⟨
x
|
d
x
)
|
Ψ
⟩
{\displaystyle |\Psi \rangle =\int |x\rangle \langle x|\Psi \rangle dx=\left(\int |x\rangle \langle x|dx\right)|\Psi \rangle }
I
=
∫
|
x
⟩
⟨
x
|
d
x
.
{\displaystyle I=\int |x\rangle \langle x|dx\,.}
基底で恒等演算子を見つけることで、抽象状態を基底で明示的に表現できるようになり、さらに、2 つの状態ベクトル間の内積や、観測可能なものに対するその他の演算子を基底で表現できるようになります。
運動量空間波動関数
粒子は 運動量空間 に波動関数も持ちます。
ここで、 p は 1 次元の 運動量で、 -∞から +∞ までの任意の値を取ることができ 、 t は時間です。
Φ
(
p
,
t
)
{\displaystyle \Phi (p,t)}
位置の場合と同様に、2つの波動関数Φ 1 ( p , t ) と Φ 2 ( p , t ) の内積は 次のように定義できます。
(
Φ
1
,
Φ
2
)
=
∫
−
∞
∞
Φ
1
∗
(
p
,
t
)
Φ
2
(
p
,
t
)
d
p
.
{\displaystyle (\Phi _{1},\Phi _{2})=\int _{-\infty }^{\infty }\,\Phi _{1}^{*}(p,t)\Phi _{2}(p,t)dp\,.}
時間に依存しないシュレーディンガー方程式の特定の解の一つは平面波であり
、 これは 運動量演算子 の固有関数であるため、運動量がちょうど p である粒子の記述に用いることができる 。これらの関数は1に正規化できない(二乗積分できない)ため、実際には物理的なヒルベルト空間の要素ではない。この集合は、
いわゆる 運動量基底 を形成する。この「基底」は、通常の数学的な意味での基底ではない。まず、関数は正規化できないため、代わりに デルタ関数 に正規化さ れる。 [注 4]
Ψ
p
(
x
)
=
e
i
p
x
/
ℏ
,
{\displaystyle \Psi _{p}(x)=e^{ipx/\hbar },}
{
Ψ
p
(
x
,
t
)
,
−
∞
≤
p
≤
∞
}
{\displaystyle \{\Psi _{p}(x,t),-\infty \leq p\leq \infty \}}
(
Ψ
p
,
Ψ
p
′
)
=
δ
(
p
−
p
′
)
.
{\displaystyle (\Psi _{p},\Psi _{p'})=\delta (p-p').}
もう一つの理由は、これらの関数は線型独立ではあるものの、物理的なヒルベルト空間の基底として用いるには数が多すぎる(無数集合を形成する)からです。しかし、次に述べるように、フーリエ変換を用いることで、これらの関数を用いてヒルベルト空間内のすべての関数を表現することは可能です。
位置と運動量の表現の関係
x と p の 表現は
|
Ψ
⟩
=
I
|
Ψ
⟩
=
∫
|
x
⟩
⟨
x
|
Ψ
⟩
d
x
=
∫
Ψ
(
x
)
|
x
⟩
d
x
,
|
Ψ
⟩
=
I
|
Ψ
⟩
=
∫
|
p
⟩
⟨
p
|
Ψ
⟩
d
p
=
∫
Φ
(
p
)
|
p
⟩
d
p
.
{\displaystyle {\begin{aligned}|\Psi \rangle =I|\Psi \rangle &=\int |x\rangle \langle x|\Psi \rangle dx=\int \Psi (x)|x\rangle dx,\\|\Psi \rangle =I|\Psi \rangle &=\int |p\rangle \langle p|\Psi \rangle dp=\int \Phi (p)|p\rangle dp.\end{aligned}}}
ここで、2つの方程式の最後の式を使って、
状態 Ψを運動量の固有関数に投影します。
∫
Ψ
(
x
)
⟨
p
|
x
⟩
d
x
=
∫
Φ
(
p
′
)
⟨
p
|
p
′
⟩
d
p
′
=
∫
Φ
(
p
′
)
δ
(
p
−
p
′
)
d
p
′
=
Φ
(
p
)
.
{\displaystyle \int \Psi (x)\langle p|x\rangle dx=\int \Phi (p')\langle p|p'\rangle dp'=\int \Phi (p')\delta (p-p')dp'=\Phi (p).}
次に、自由シュレーディンガー方程式
の位置表現解における、適切に正規化された運動量固有状態に対する既知の表現を用いると、
次式が得られる。
⟨
x
|
p
⟩
=
p
(
x
)
=
1
2
π
ℏ
e
i
ℏ
p
x
⇒
⟨
p
|
x
⟩
=
1
2
π
ℏ
e
−
i
ℏ
p
x
,
{\displaystyle \langle x|p\rangle =p(x)={\frac {1}{\sqrt {2\pi \hbar }}}e^{{\frac {i}{\hbar }}px}\Rightarrow \langle p|x\rangle ={\frac {1}{\sqrt {2\pi \hbar }}}e^{-{\frac {i}{\hbar }}px},}
Φ
(
p
)
=
1
2
π
ℏ
∫
Ψ
(
x
)
e
−
i
ℏ
p
x
d
x
.
{\displaystyle \Phi (p)={\frac {1}{\sqrt {2\pi \hbar }}}\int \Psi (x)e^{-{\frac {i}{\hbar }}px}dx\,.}
同様に、位置の固有関数を用いると、
Ψ
(
x
)
=
1
2
π
ℏ
∫
Φ
(
p
)
e
i
ℏ
p
x
d
p
.
{\displaystyle \Psi (x)={\frac {1}{\sqrt {2\pi \hbar }}}\int \Phi (p)e^{{\frac {i}{\hbar }}px}dp\,.}
このように、位置空間波動関数と運動量空間波動関数は 互いの フーリエ変換であることが分かる。 これらは同じ状態の2つの表現であり、同じ情報を含んでおり、どちらか一方を用いて粒子のあらゆる特性を計算するのに十分である。
実際には、位置空間波動関数は運動量空間波動関数よりもはるかに頻繁に用いられる。関係する方程式(シュレーディンガー方程式、ディラック方程式など)に入力されるポテンシャルによって、どの基底で記述するのが最も容易かが決まる。 調和振動子 の場合、 x と pは 対称的に入力されるため、どちらの記述を用いても問題ない。結果として得られる方程式(定数を法として)は同じである。このことから、少し考察を加えると、調和振動子の波動方程式の解は L 2 におけるフーリエ変換の固有関数であることが分かる。 [注 5]
定義(その他のケース)
以下は、位置座標や運動量成分以外の自由度も含めた、より高次元でより多くの粒子を含むシステムの波動関数の一般的な形式です。
有限次元ヒルベルト空間
ヒルベルト空間は本来無限次元の 完全 内積空間 を指すが 、 定義により有限次元の 完全 内積空間 も含む。 有限次元ヒルベルト空間
と呼ばれることが多い 。 [32] すべての有限次元ヒルベルト空間に対して、ヒルベルト空間全体
を張る 直交基底 ケットが 存在する。
N 次元集合が直交している 場合 、これらの状態が張る空間の射影演算子は次のように与えられます。
{
|
ϕ
i
⟩
}
{\textstyle \{|\phi _{i}\rangle \}}
P
=
∑
i
|
ϕ
i
⟩
⟨
ϕ
i
|
=
I
{\displaystyle P=\sum _{i}|\phi _{i}\rangle \langle \phi _{i}|=I}
ここで、射影は恒等作用素と等価である。 なぜなら、はヒルベルト空間全体を張るため、ヒルベルト空間からの任意のベクトルは変化しないからである。これは有限次元ヒルベルト空間の完全性関係としても知られる。
{
|
ϕ
i
⟩
}
{\textstyle \{|\phi _{i}\rangle \}}
波動関数は次のように表されます。
|
ψ
⟩
=
I
|
ψ
⟩
=
∑
i
|
ϕ
i
⟩
⟨
ϕ
i
|
ψ
⟩
{\displaystyle |\psi \rangle =I|\psi \rangle =\sum _{i}|\phi _{i}\rangle \langle \phi _{i}|\psi \rangle }
ここで 、は上記の式を使用して波動関数を構築するために使用できる複素数の集合です。
{
⟨
ϕ
i
|
ψ
⟩
}
{\textstyle \{\langle \phi _{i}|\psi \rangle \}}
内積の確率解釈
もし、その集合が 固有値を持つ非 退化 観測量 の固有ケットである場合 、 量子力学の公理 により、観測量が であると測定される確率は ボルンの規則 に従って次のように与えられる : [33]
{
|
ϕ
i
⟩
}
{\textstyle \{|\phi _{i}\rangle \}}
λ
i
{\textstyle \lambda _{i}}
λ
i
{\textstyle \lambda _{i}}
P
ψ
(
λ
i
)
=
|
⟨
ϕ
i
|
ψ
⟩
|
2
{\displaystyle P_{\psi }(\lambda _{i})=|\langle \phi _{i}|\psi \rangle |^{2}}
ある観測量が 非退化である場合、固有値が とラベル付けされた固有ベクトルのサブセットを持つとする と、 量子力学の公理 により、観測量が であると測定される確率は 次のように与えられます。
{
|
ϕ
i
⟩
}
{\textstyle \{|\phi _{i}\rangle \}}
λ
{\textstyle \lambda }
{
|
λ
(
j
)
⟩
}
{\textstyle \{|\lambda ^{(j)}\rangle \}}
λ
{\textstyle \lambda }
P
ψ
(
λ
)
=
∑
j
|
⟨
λ
(
j
)
|
ψ
⟩
|
2
=
|
P
^
λ
|
ψ
⟩
|
2
{\displaystyle P_{\psi }(\lambda )=\sum _{j}|\langle \lambda ^{(j)}|\psi \rangle |^{2}=|{\widehat {P}}_{\lambda }|\psi \rangle |^{2}}
ここで 、 は によって張られる部分空間への状態の射影演算子である 。 の直交性により、等式が成り立つ 。
P
^
λ
=
∑
j
|
λ
(
j
)
⟩
⟨
λ
(
j
)
|
{\textstyle {\widehat {P}}_{\lambda }=\sum _{j}|\lambda ^{(j)}\rangle \langle \lambda ^{(j)}|}
{
|
λ
(
j
)
⟩
}
{\textstyle \{|\lambda ^{(j)}\rangle \}}
{
|
ϕ
i
⟩
}
{\textstyle \{|\phi _{i}\rangle \}}
したがって、 量子力学システムの状態を指定するものは、その二乗がそれぞれの 状態を測定する確率を与える大きさを持ちます。
{
⟨
ϕ
i
|
ψ
⟩
}
{\textstyle \{\langle \phi _{i}|\psi \rangle \}}
|
ϕ
i
⟩
{\textstyle |\phi _{i}\rangle }
相対位相の物理的意味
相対位相は実験において観測可能な効果を持つ一方、システムの全体位相は実験的に区別できません。例えば、2つの状態の重ね合わせ状態にある粒子の場合、観測量の期待値や異なる状態を観測する確率を求めることで粒子の全体位相を区別することはできませんが、相対位相は観測量の期待値に影響を与える可能性があります。
系全体の位相は任意であると考えられるが、 重ね合わせにおける準備状態の各状態の相対的な位相は、準備状態の物理的意味とその対称性に基づいて決定することができる。例えば、x方向のスピン状態をz方向のスピン状態の重ね合わせとして構築するには、z方向のスピン状態に適切な回転変換を適用することで、各状態の相対的な位相を適切に制御することができる。
|
ϕ
i
⟩
{\textstyle |\phi _{i}\rangle }
スピンを含むアプリケーション
有限次元ヒルベルト空間の例としては、 -スピン粒子のスピン固有値を用いて構成することができ、これは 次元 ヒルベルト空間 を形成する。しかし、粒子の状態を完全に記述する粒子の一般波動関数は、粒子の位置または運動量に関連する ヒルベルト空間 とのテンソル積を含むため、常に無限次元 ヒルベルト空間 から得られる。それでもなお、有限次元ヒルベルト空間用に開発された手法は、独立して扱うことも、テンソル積の線形性を考慮して扱うこともできるため有用である。
s
{\textstyle s}
2
s
+
1
{\textstyle 2s+1}
与えられた - スピン粒子の スピン演算子 は、独立したスピンベクトル成分に作用する有限 行列 として表すことができる ため 、通常は、必要に応じて行列/列/行表記を使用してスピン成分を表すことが好ましいです。
s
{\textstyle s}
(
2
s
+
1
)
2
{\textstyle (2s+1)^{2}}
2
s
+
1
{\textstyle 2s+1}
例えば、各 | s z ⟩ は通常、列ベクトルとして識別されます。
|
s
⟩
↔
[
1
0
⋮
0
0
]
,
|
s
−
1
⟩
↔
[
0
1
⋮
0
0
]
,
…
,
|
−
(
s
−
1
)
⟩
↔
[
0
0
⋮
1
0
]
,
|
−
s
⟩
↔
[
0
0
⋮
0
1
]
{\displaystyle |s\rangle \leftrightarrow {\begin{bmatrix}1\\0\\\vdots \\0\\0\\\end{bmatrix}}\,,\quad |s-1\rangle \leftrightarrow {\begin{bmatrix}0\\1\\\vdots \\0\\0\\\end{bmatrix}}\,,\ldots \,,\quad |-(s-1)\rangle \leftrightarrow {\begin{bmatrix}0\\0\\\vdots \\1\\0\\\end{bmatrix}}\,,\quad |-s\rangle \leftrightarrow {\begin{bmatrix}0\\0\\\vdots \\0\\1\\\end{bmatrix}}}
しかし、これはよくある表記法の乱用です。なぜなら、ケット | s z ⟩ は列ベクトルと同義でも等しくもないからです。列ベクトルは単にスピン成分を表現するための便利な方法を提供しているだけです。
この表記法に対応して、Z 成分スピン演算子は次のように記述できます。
1
ℏ
S
^
z
=
[
s
0
⋯
0
0
0
s
−
1
⋯
0
0
⋮
⋮
⋱
⋮
⋮
0
0
⋯
−
(
s
−
1
)
0
0
0
⋯
0
−
s
]
{\displaystyle {\frac {1}{\hbar }}{\hat {S}}_{z}={\begin{bmatrix}s&0&\cdots &0&0\\0&s-1&\cdots &0&0\\\vdots &\vdots &\ddots &\vdots &\vdots \\0&0&\cdots &-(s-1)&0\\0&0&\cdots &0&-s\end{bmatrix}}}
z成分スピン演算子の
固有ベクトルは 上記の列ベクトルであり、固有値は対応するスピン量子数であるためです。
表記法に対応して、そのような有限次元ヒルベルト空間からのベクトルは次のように表されます。
|
ϕ
⟩
=
[
⟨
s
|
ϕ
⟩
⟨
s
−
1
|
ϕ
⟩
⋮
⟨
−
(
s
−
1
)
|
ϕ
⟩
⟨
−
s
|
ϕ
⟩
]
=
[
ε
s
ε
s
−
1
⋮
ε
−
s
+
1
ε
−
s
]
{\displaystyle |\phi \rangle ={\begin{bmatrix}\langle s|\phi \rangle \\\langle s-1|\phi \rangle \\\vdots \\\langle -(s-1)|\phi \rangle \\\langle -s|\phi \rangle \\\end{bmatrix}}={\begin{bmatrix}\varepsilon _{s}\\\varepsilon _{s-1}\\\vdots \\\varepsilon _{-s+1}\\\varepsilon _{-s}\\\end{bmatrix}}}
ここで、 は対応する複素数です。
{
ε
i
}
{\textstyle \{\varepsilon _{i}\}}
以下のスピンに関する議論では、完全な波動関数は有限次元ヒルベルト空間のスピン状態と、以前に構築された波動関数とのテンソル積として考えられます。したがって、このヒルベルト空間の基底は次のように考えられます 。
|
r
,
s
z
⟩
=
|
r
⟩
|
s
z
⟩
{\displaystyle |\mathbf {r} ,s_{z}\rangle =|\mathbf {r} \rangle |s_{z}\rangle }
3次元位置空間における1粒子状態
3次元空間におけるスピンを持たない単一粒子の位置空間波動関数は、上記の1次元空間の場合と同様である。 ここで、 r は 3次元空間における 位置ベクトル、 t は時間である。いつものように、 Ψ( r , t )は実変数の複素数値関数である。 ディラック記法 では、単一のベクトルとして
Ψ
(
r
,
t
)
{\displaystyle \Psi (\mathbf {r} ,t)}
|
Ψ
(
t
)
⟩
=
∫
d
3
r
Ψ
(
r
,
t
)
|
r
⟩
{\displaystyle |\Psi (t)\rangle =\int d^{3}\!\mathbf {r} \,\Psi (\mathbf {r} ,t)\,|\mathbf {r} \rangle }
内積、運動量空間の波動関数、フーリエ変換などに関するこれまでの説明はすべて、高次元にまで拡張されます。
スピン を持つ粒子の場合 、位置の自由度を無視すると、波動関数はスピンのみの関数になります(時間はパラメータです)。
ここで、 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 を取ります )。各量子数を挿入すると、空間と時間の複素数値関数が得られ、その数は 2 s + 1個あります。これらは 列ベクトル に配置できます。
ξ
(
s
z
,
t
)
{\displaystyle \xi (s_{z},t)}
ξ
=
[
ξ
(
s
,
t
)
ξ
(
s
−
1
,
t
)
⋮
ξ
(
−
(
s
−
1
)
,
t
)
ξ
(
−
s
,
t
)
]
=
ξ
(
s
,
t
)
[
1
0
⋮
0
0
]
+
ξ
(
s
−
1
,
t
)
[
0
1
⋮
0
0
]
+
⋯
+
ξ
(
−
(
s
−
1
)
,
t
)
[
0
0
⋮
1
0
]
+
ξ
(
−
s
,
t
)
[
0
0
⋮
0
1
]
{\displaystyle \xi ={\begin{bmatrix}\xi (s,t)\\\xi (s-1,t)\\\vdots \\\xi (-(s-1),t)\\\xi (-s,t)\\\end{bmatrix}}=\xi (s,t){\begin{bmatrix}1\\0\\\vdots \\0\\0\\\end{bmatrix}}+\xi (s-1,t){\begin{bmatrix}0\\1\\\vdots \\0\\0\\\end{bmatrix}}+\cdots +\xi (-(s-1),t){\begin{bmatrix}0\\0\\\vdots \\1\\0\\\end{bmatrix}}+\xi (-s,t){\begin{bmatrix}0\\0\\\vdots \\0\\1\\\end{bmatrix}}}
ブラケット表記 では 、これらはベクトルの要素に簡単に配置できます。
|
ξ
(
t
)
⟩
=
∑
s
z
=
−
s
s
ξ
(
s
z
,
t
)
|
s
z
⟩
{\displaystyle |\xi (t)\rangle =\sum _{s_{z}=-s}^{s}\xi (s_{z},t)\,|s_{z}\rangle }
ベクトル ξ 全体は、シュレーディンガー方程式(適切なハミルトニアンを持つ)の解であり、これは ξ ( s , t )、 ξ ( s − 1, t )、...、 ξ (− s , t ) という解を持つ 2 s + 1 個 の常微分方程式の連立系に展開されます。一部の著者は、「波動関数」ではなく「スピン関数」という用語を使用しています。これは、位置座標が連続的な自由度である位置空間波動関数の解と対照的です。なぜなら、その場合、シュレーディンガー方程式は波動方程式の形をとるからです。
より一般的には、任意のスピンを持つ 3D の粒子の場合、波動関数は「位置 - スピン空間」で次のように記述できます。
また、これらは、
スピン依存性がエントリのインデックスに配置される列ベクトルに配置することもでき、波動関数は 空間と時間のみの
複雑な ベクトル値関数です。
Ψ
(
r
,
s
z
,
t
)
{\displaystyle \Psi (\mathbf {r} ,s_{z},t)}
Ψ
(
r
,
t
)
=
[
Ψ
(
r
,
s
,
t
)
Ψ
(
r
,
s
−
1
,
t
)
⋮
Ψ
(
r
,
−
(
s
−
1
)
,
t
)
Ψ
(
r
,
−
s
,
t
)
]
{\displaystyle \Psi (\mathbf {r} ,t)={\begin{bmatrix}\Psi (\mathbf {r} ,s,t)\\\Psi (\mathbf {r} ,s-1,t)\\\vdots \\\Psi (\mathbf {r} ,-(s-1),t)\\\Psi (\mathbf {r} ,-s,t)\\\end{bmatrix}}}
離散変数だけでなく連続変数 の波動関数のすべての値は 、単一のベクトルに集まる。
|
Ψ
(
t
)
⟩
=
∑
s
z
∫
d
3
r
Ψ
(
r
,
s
z
,
t
)
|
r
,
s
z
⟩
{\displaystyle |\Psi (t)\rangle =\sum _{s_{z}}\int d^{3}\!\mathbf {r} \,\Psi (\mathbf {r} ,s_{z},t)\,|\mathbf {r} ,s_{z}\rangle }
単一粒子の場合、 その位置状態ベクトル | ψ ⟩ とスピン状態ベクトル | ξ ⟩ のテンソル積 ⊗ は
、次の同定を持つ
合成位置・スピン状態ベクトルを与える。
|
ψ
(
t
)
⟩
⊗
|
ξ
(
t
)
⟩
=
∑
s
z
∫
d
3
r
ψ
(
r
,
t
)
ξ
(
s
z
,
t
)
|
r
⟩
⊗
|
s
z
⟩
{\displaystyle |\psi (t)\rangle \!\otimes \!|\xi (t)\rangle =\sum _{s_{z}}\int d^{3}\!\mathbf {r} \,\psi (\mathbf {r} ,t)\,\xi (s_{z},t)\,|\mathbf {r} \rangle \!\otimes \!|s_{z}\rangle }
|
Ψ
(
t
)
⟩
=
|
ψ
(
t
)
⟩
⊗
|
ξ
(
t
)
⟩
{\displaystyle |\Psi (t)\rangle =|\psi (t)\rangle \!\otimes \!|\xi (t)\rangle }
Ψ
(
r
,
s
z
,
t
)
=
ψ
(
r
,
t
)
ξ
(
s
z
,
t
)
{\displaystyle \Psi (\mathbf {r} ,s_{z},t)=\psi (\mathbf {r} ,t)\,\xi (s_{z},t)}
|
r
,
s
z
⟩
=
|
r
⟩
⊗
|
s
z
⟩
{\displaystyle |\mathbf {r} ,s_{z}\rangle =|\mathbf {r} \rangle \!\otimes \!|s_{z}\rangle }
エネルギー固有状態のテンソル積因数分解は、粒子の軌道角運動量とスピン角運動量がシステムのダイナミクスの基礎となる ハミルトニアン演算子 で分離可能であれば常に可能です(言い換えると、ハミルトニアンは軌道項とスピン項の和に分割できます )。時間依存性はどちらの因子にも置くことができ、それぞれの時間発展は別々に研究できます。このようなハミルトニアンでは、任意のテンソル積状態が別のテンソル積状態に発展します。これは基本的に、エンタングルされていない状態は時間発展の下でもエンタングルされていないままであることを意味します。これは、テンソル積の状態間に物理的な相互作用がない場合に起こると言われています。分離不可能なハミルトニアンの場合、エネルギー固有状態はそのような状態の何らかの線形結合であると言われ、因数分解可能である必要はありません。例として、 磁場 内の粒子や、 スピン軌道結合など があります。
これまでの議論はスピンを離散変数として扱うことに限定されず、全角 運動量 J も使用できる。 [35] アイソスピン のような他の離散自由度も 、上記のスピンの場合と同様に表現できる。
3次元位置空間における多粒子状態
2つの自由粒子の進行波。3次元のうち2次元は抑制されている。上は位置空間波動関数、下は運動量空間波動関数、および対応する確率密度。
粒子が多数存在する場合、一般に波動関数は1つしか存在せず、粒子ごとに別々の波動関数が存在するわけではない。1 つの 波動関数が 複数の 粒子を記述するという事実こそが、 量子もつれ と EPRパラドックスを可能にする。N 個 の粒子の位置空間波動関数 は次のように書ける
。
ここで、 r i は3次元空間における i 番目の粒子の位置、 tは時間である。全体として、これは 3 N + 1個 の実変数を持つ複素数値関数である 。
Ψ
(
r
1
,
r
2
⋯
r
N
,
t
)
{\displaystyle \Psi (\mathbf {r} _{1},\mathbf {r} _{2}\cdots \mathbf {r} _{N},t)}
量子力学では、 同一粒子 と 区別可能な 粒子の間に根本的な区別があります。例えば、任意の2つの電子は同一であり、根本的に互いに区別できません。物理法則により、特定の電子に「識別番号を刻印」して追跡することは不可能です。 これは、同一粒子系の波動関数に対する要件に相当します。
つまり 、粒子が すべてボソンである場合は + 符号、 すべてフェルミオンである場合は - 符号となります 。言い換えれば、波動関数はボソンの位置に関して完全に対称であるか、フェルミオンの位置に関して完全に反対称であるかのいずれかです。 粒子の物理的な交換は、波動関数における引数の数学的な切り替えに対応します。フェルミオン波動関数の反対称性は、 パウリ原理につながります。一般的に、ボソン対称性とフェルミオン対称性の要件は 粒子統計 の現れであり 、他の量子状態形式論にも存在します。
Ψ
(
…
r
a
,
…
,
r
b
,
…
)
=
±
Ψ
(
…
r
b
,
…
,
r
a
,
…
)
{\displaystyle \Psi \left(\ldots \mathbf {r} _{a},\ldots ,\mathbf {r} _{b},\ldots \right)=\pm \Psi \left(\ldots \mathbf {r} _{b},\ldots ,\mathbf {r} _{a},\ldots \right)}
N 個 の区別可能な 粒子(2 つが 同一 ではない、つまり 2 つが同じ量子数セットを持たない)
の場合、波動関数が対称または反対称である必要はありません。
座標r 1 、 r 2 、...と同一の粒子と、 x 1 、 x 2 、... で区別可能な 粒子の集合 (互いに同一ではなく、前述の同一粒子と同一ではない粒子)の場合、波動関数は同一粒子座標 r i でのみ対称または反対称になります。
Ψ
(
…
r
a
,
…
,
r
b
,
…
,
x
1
,
x
2
,
…
)
=
±
Ψ
(
…
r
b
,
…
,
r
a
,
…
,
x
1
,
x
2
,
…
)
{\displaystyle \Psi \left(\ldots \mathbf {r} _{a},\ldots ,\mathbf {r} _{b},\ldots ,\mathbf {x} _{1},\mathbf {x} _{2},\ldots \right)=\pm \Psi \left(\ldots \mathbf {r} _{b},\ldots ,\mathbf {r} _{a},\ldots ,\mathbf {x} _{1},\mathbf {x} _{2},\ldots \right)}
ここでも、区別可能な粒子の座標x i には対称性の要件はありません 。
スピンを持つN 個の粒子の波動関数 は複素数値関数である。
Ψ
(
r
1
,
r
2
⋯
r
N
,
s
z
1
,
s
z
2
⋯
s
z
N
,
t
)
{\displaystyle \Psi (\mathbf {r} _{1},\mathbf {r} _{2}\cdots \mathbf {r} _{N},s_{z\,1},s_{z\,2}\cdots s_{z\,N},t)}
これらのすべての要素を単一のベクトルに蓄積すると、
|
Ψ
⟩
=
∑
s
z
1
,
…
,
s
z
N
⏞
discrete labels
∫
R
N
d
3
r
N
⋯
∫
R
1
d
3
r
1
⏞
continuous labels
Ψ
(
r
1
,
…
,
r
N
,
s
z
1
,
…
,
s
z
N
)
⏟
wave function (component of
state vector along basis state)
|
r
1
,
…
,
r
N
,
s
z
1
,
…
,
s
z
N
⟩
⏟
basis state (basis ket)
.
{\displaystyle |\Psi \rangle =\overbrace {\sum _{s_{z\,1},\ldots ,s_{z\,N}}} ^{\text{discrete labels}}\overbrace {\int _{R_{N}}d^{3}\mathbf {r} _{N}\cdots \int _{R_{1}}d^{3}\mathbf {r} _{1}} ^{\text{continuous labels}}\;\underbrace {{\Psi }(\mathbf {r} _{1},\ldots ,\mathbf {r} _{N},s_{z\,1},\ldots ,s_{z\,N})} _{\begin{array}{c}{\text{wave function (component of }}\\{\text{ state vector along basis state)}}\end{array}}\;\underbrace {|\mathbf {r} _{1},\ldots ,\mathbf {r} _{N},s_{z\,1},\ldots ,s_{z\,N}\rangle } _{\text{basis state (basis ket)}}\,.}
同一の粒子の場合、対称性の要件は波動関数の位置とスピン引数の両方に適用され、全体的に正しい対称性を持ちます。
内積の公式は、すべての座標または運動量にわたる積分と、すべてのスピン量子数にわたる和です。3 次元スピンを持つ
N 個の粒子の一般的なケースでは、
これは合計 N個の 3次元 体積積分 と N 個のスピンにわたる和です。微分体積要素 d 3 r i は、「 dV i 」または「 dx i dy i dz i 」とも表記されます 。
(
Ψ
1
,
Ψ
2
)
=
∑
s
z
N
⋯
∑
s
z
2
∑
s
z
1
∫
a
l
l
s
p
a
c
e
d
3
r
1
∫
a
l
l
s
p
a
c
e
d
3
r
2
⋯
∫
a
l
l
s
p
a
c
e
d
3
r
N
Ψ
1
∗
(
r
1
⋯
r
N
,
s
z
1
⋯
s
z
N
,
t
)
Ψ
2
(
r
1
⋯
r
N
,
s
z
1
⋯
s
z
N
,
t
)
{\displaystyle (\Psi _{1},\Psi _{2})=\sum _{s_{z\,N}}\cdots \sum _{s_{z\,2}}\sum _{s_{z\,1}}\int \limits _{\mathrm {all\,space} }d^{3}\mathbf {r} _{1}\int \limits _{\mathrm {all\,space} }d^{3}\mathbf {r} _{2}\cdots \int \limits _{\mathrm {all\,space} }d^{3}\mathbf {r} _{N}\Psi _{1}^{*}\left(\mathbf {r} _{1}\cdots \mathbf {r} _{N},s_{z\,1}\cdots s_{z\,N},t\right)\Psi _{2}\left(\mathbf {r} _{1}\cdots \mathbf {r} _{N},s_{z\,1}\cdots s_{z\,N},t\right)}
位置または位置-スピン空間波動関数の多次元フーリエ変換により、運動量または運動量-スピン空間波動関数が生成されます。
確率の解釈
3次元スピンを持つ N 粒子の一般的なケースでは、 Ψを 確率振幅と解釈すると、確率密度は
ρ
(
r
1
⋯
r
N
,
s
z
1
⋯
s
z
N
,
t
)
=
|
Ψ
(
r
1
⋯
r
N
,
s
z
1
⋯
s
z
N
,
t
)
|
2
{\displaystyle \rho \left(\mathbf {r} _{1}\cdots \mathbf {r} _{N},s_{z\,1}\cdots s_{z\,N},t\right)=\left|\Psi \left(\mathbf {r} _{1}\cdots \mathbf {r} _{N},s_{z\,1}\cdots s_{z\,N},t\right)\right|^{2}}
そして、時刻 t における粒子 1 がスピン s z 1 = m 1 の領域 R 1 にあり、 粒子 2 が スピン s z 2 = m 2の領域 R 2 にある確率は、これらの領域にわたる確率密度の積分であり、これらのスピン数で評価されます。
P
r
1
∈
R
1
,
s
z
1
=
m
1
,
…
,
r
N
∈
R
N
,
s
z
N
=
m
N
(
t
)
=
∫
R
1
d
3
r
1
∫
R
2
d
3
r
2
⋯
∫
R
N
d
3
r
N
|
Ψ
(
r
1
⋯
r
N
,
m
1
⋯
m
N
,
t
)
|
2
{\displaystyle P_{\mathbf {r} _{1}\in R_{1},s_{z\,1}=m_{1},\ldots ,\mathbf {r} _{N}\in R_{N},s_{z\,N}=m_{N}}(t)=\int _{R_{1}}d^{3}\mathbf {r} _{1}\int _{R_{2}}d^{3}\mathbf {r} _{2}\cdots \int _{R_{N}}d^{3}\mathbf {r} _{N}\left|\Psi \left(\mathbf {r} _{1}\cdots \mathbf {r} _{N},m_{1}\cdots m_{N},t\right)\right|^{2}}
位相の物理的意味
非相対論的量子力学では、シュレーディンガーの時間依存波動方程式を使用して次の式が示されます。
∂
ρ
∂
t
+
∇
⋅
J
=
0
{\displaystyle {\frac {\partial \rho }{\partial t}}+\nabla \cdot \mathbf {J} =0}
が満たされます。ここで、 は確率密度であり、 は 上記の式の連続の式形式に従って
確率フラックス として知られています。
ρ
(
x
,
t
)
=
|
ψ
(
x
,
t
)
|
2
{\textstyle \rho (\mathbf {x} ,t)=|\psi (\mathbf {x} ,t)|^{2}}
J
(
x
,
t
)
=
ℏ
2
i
m
(
ψ
∗
∇
ψ
−
ψ
∇
ψ
∗
)
=
ℏ
m
Im
(
ψ
∗
∇
ψ
)
{\textstyle \mathbf {J} (\mathbf {x} ,t)={\frac {\hbar }{2im}}(\psi ^{*}\nabla \psi -\psi \nabla \psi ^{*})={\frac {\hbar }{m}}{\text{Im}}(\psi ^{*}\nabla \psi )}
波動関数の次の式を使用します。 ここで は確率密度、 は 波動関数の位相であり、次のことが示されます。
ψ
(
x
,
t
)
=
ρ
(
x
,
t
)
exp
i
S
(
x
,
t
)
ℏ
{\displaystyle \psi (\mathbf {x} ,t)={\sqrt {\rho (\mathbf {x} ,t)}}\exp {\frac {iS(\mathbf {x} ,t)}{\hbar }}}
ρ
(
x
,
t
)
=
|
ψ
(
x
,
t
)
|
2
{\textstyle \rho (\mathbf {x} ,t)=|\psi (\mathbf {x} ,t)|^{2}}
S
(
x
,
t
)
{\textstyle S(\mathbf {x} ,t)}
J
(
x
,
t
)
=
ρ
∇
S
m
{\displaystyle \mathbf {J} (\mathbf {x} ,t)={\frac {\rho \nabla S}{m}}}
したがって、位相の空間的変化は 確率流束 を特徴づけます。
古典的な類推では、 の場合 、この量は速度と類似しています。ただし、 不確定性原理 によれば、速度と位置は同時に決定できないため、これは を速度として文字通り解釈することを意味するわけではないことに注意してください 。シュレーディンガーの時間依存波動方程式に波動関数の形を代入し、古典的な極限をとると、 次のようになります 。
J
=
ρ
v
{\textstyle \mathbf {J} =\rho \mathbf {v} }
∇
S
m
{\textstyle {\frac {\nabla S}{m}}}
∇
S
m
{\textstyle {\frac {\nabla S}{m}}}
ℏ
|
∇
2
S
|
≪
|
∇
S
|
2
{\textstyle \hbar |\nabla ^{2}S|\ll |\nabla S|^{2}}
1
2
m
|
∇
S
(
x
,
t
)
|
2
+
V
(
x
)
+
∂
S
∂
t
=
0
{\displaystyle {\frac {1}{2m}}|\nabla S(\mathbf {x} ,t)|^{2}+V(\mathbf {x} )+{\frac {\partial S}{\partial t}}=0}
これは古典力学のハミルトン・ヤコビ方程式 に類似している 。この解釈は ハミルトン・ヤコビ理論 に適合し、ここで S は ハミルトンの主関数 である 。 [37]
P
class.
=
∇
S
{\textstyle \mathbf {P} _{\text{class.}}=\nabla S}
時間依存性
時間非依存ポテンシャル内の系の場合、波動関数は常に自由度に時間依存位相因子を乗じた関数として表すことができ、その形はシュレーディンガー方程式で与えられる。N個 の 粒子の場合、それらの位置のみを考慮し、他の自由度は無視する。
ここで、 Eは固有状態 Ψ に対応する系のエネルギー固有値である。この形の波動関数は 定常状態 と呼ばれる 。
Ψ
(
r
1
,
r
2
,
…
,
r
N
,
t
)
=
e
−
i
E
t
/
ℏ
ψ
(
r
1
,
r
2
,
…
,
r
N
)
,
{\displaystyle \Psi (\mathbf {r} _{1},\mathbf {r} _{2},\ldots ,\mathbf {r} _{N},t)=e^{-iEt/\hbar }\,\psi (\mathbf {r} _{1},\mathbf {r} _{2},\ldots ,\mathbf {r} _{N})\,,}
量子状態と演算子の時間依存性は、演算子と状態に対するユニタリ変換に従って配置できる。任意の量子状態 |Ψ⟩ と演算子 O に対して、シュレーディンガー描像では |Ψ( t )⟩は シュレーディンガー方程式に従って時間とともに変化し、 O は一定である。ハイゼンベルク描像ではその逆で、 |Ψ⟩ は一定であるが、 O ( t )はハイゼンベルクの運動方程式に従って時間とともに変化する。ディラック(または相互作用)描像はその中間であり、時間依存性は運動方程式に従って発展する演算子と状態の両方に配置される。これは主に S行列要素の 計算に役立つ 。 [38]
非相対論的な例
以下は、1 つの非相対論的スピンレス粒子に対するシュレーディンガー方程式の解です。
有限ポテンシャル障壁
高さV 0 の有限なポテンシャル障壁における散乱 。左右に移動する波の振幅と方向が示されている。赤線で示されているのは、反射振幅と透過振幅の導出に用いられる波である。 この図では E > V 0 である。
波動力学の最も顕著な特徴の一つは、粒子が(古典力学では)禁止的な 力のポテンシャル を持つ場所に到達する可能性があることである。一般的なモデルは「 ポテンシャル障壁 」であり、1次元の場合、ポテンシャルは
、波動方程式の定常解は(ある定数 k 、 κ に対して)
の形をとる。
V
(
x
)
=
{
V
0
|
x
|
<
a
0
|
x
|
≥
a
{\displaystyle V(x)={\begin{cases}V_{0}&|x|<a\\0&|x|\geq a\end{cases}}}
Ψ
(
x
)
=
{
A
r
e
i
k
x
+
A
l
e
−
i
k
x
x
<
−
a
,
B
r
e
κ
x
+
B
l
e
−
κ
x
|
x
|
≤
a
,
C
r
e
i
k
x
+
C
l
e
−
i
k
x
x
>
a
.
{\displaystyle \Psi (x)={\begin{cases}A_{\mathrm {r} }e^{ikx}+A_{\mathrm {l} }e^{-ikx}&x<-a,\\B_{\mathrm {r} }e^{\kappa x}+B_{\mathrm {l} }e^{-\kappa x}&|x|\leq a,\\C_{\mathrm {r} }e^{ikx}+C_{\mathrm {l} }e^{-ikx}&x>a.\end{cases}}}
これらの波動関数は正規化されていないことに注意してください。詳細については 散乱理論 を参照してください。
これを一般的に解釈すると、粒子の流れが左(負のx 方向 )からステップに発射されるということになります。A r = 1 と設定すると 、 粒子 が単独で発射されます。A r と C r を 含む項は 右方向への運動を意味し、 A l と C l – は左方向への運動を意味します。このビーム解釈では、右から粒子が来ないので、 C l = 0 とします。境界における波動関数とその導関数の連続性を適用することで、上記の定数を決定することができます。
量子ドット内に閉じ込められた3次元電子波動関数。ここでは長方形と三角形の量子ドットが示されている。長方形ドットのエネルギー状態は、より s型 と p型に 近くなる。しかし、三角形ドットでは閉じ込め対称性により、波動関数は混合される。(アニメーションを見るにはクリック)
半導体微 結晶の半径が 励起子 ボーア 半径よりも小さい場合 、励起子は圧縮され、 量子閉じ込め 状態が生じる。エネルギー準位は、 箱の中の粒子 モデルを用いてモデル化することができ、このモデルでは、異なる状態のエネルギーは箱の長さに依存する。
量子調和振動子
量子調和振動子 の波動関数は、 エルミート多項式 H n で表すことができます。
ここで、 n = 0, 1, 2, ... です
。
Ψ
n
(
x
)
=
1
2
n
n
!
⋅
(
m
ω
π
ℏ
)
1
/
4
⋅
e
−
m
ω
x
2
2
ℏ
⋅
H
n
(
m
ω
ℏ
x
)
{\displaystyle \Psi _{n}(x)={\sqrt {\frac {1}{2^{n}\,n!}}}\cdot \left({\frac {m\omega }{\pi \hbar }}\right)^{1/4}\cdot e^{-{\frac {m\omega x^{2}}{2\hbar }}}\cdot H_{n}{\left({\sqrt {\frac {m\omega }{\hbar }}}x\right)}}
水素原子の 最初の数個の 電子 軌道 の電子確率密度を断面積で示した図。これらの軌道は 電子の波動関数の 直交基底を形成している。異なる軌道は異なるスケールで示されている。
水素原子
水素原子 内の電子の波動関数は、 球面調和関数 と 一般化ラゲール多項式 で表現されます (これらは著者によって定義が異なります。これらと水素原子に関するメイン記事を参照してください)。
球座標系を使うと便利で、波動関数は各座標の関数に分離できる。 [39]
ここで R はラジアル関数、 Yは
Ψ
n
ℓ
m
(
r
,
θ
,
ϕ
)
=
R
(
r
)
Y
ℓ
m
(
θ
,
ϕ
)
{\displaystyle \Psi _{n\ell m}(r,\theta ,\phi )=R(r)\,\,Y_{\ell }^{m}\!(\theta ,\phi )}
m ℓ ( θ , φ ) は次数 ℓ 、位数 m の球面調和関数 である 。これはシュレーディンガー方程式が厳密に解かれた唯一の原子である。多電子原子では近似解法が必要となる。解の族は で示される。
ここで a 0 = 4 πε 0 ħ 2 / m e e 2 は ボーア半径 、
L
Ψ
n
ℓ
m
(
r
,
θ
,
ϕ
)
=
(
2
n
a
0
)
3
(
n
−
ℓ
−
1
)
!
2
n
[
(
n
+
ℓ
)
!
]
e
−
r
/
n
a
0
(
2
r
n
a
0
)
ℓ
L
n
−
ℓ
−
1
2
ℓ
+
1
(
2
r
n
a
0
)
⋅
Y
ℓ
m
(
θ
,
ϕ
)
{\displaystyle \Psi _{n\ell m}(r,\theta ,\phi )={\sqrt {{\left({\frac {2}{na_{0}}}\right)}^{3}{\frac {(n-\ell -1)!}{2n[(n+\ell )!]}}}}e^{-r/na_{0}}\left({\frac {2r}{na_{0}}}\right)^{\ell }L_{n-\ell -1}^{2\ell +1}\left({\frac {2r}{na_{0}}}\right)\cdot Y_{\ell }^{m}(\theta ,\phi )}
2 ℓ + 1 n − ℓ − 1 は、 n − ℓ − 1 次 一般化ラゲール多項式 で、 n = 1, 2, ... は 主量子数 、 ℓ = 0, 1, ..., n − 1 は 方位量子数 、 m = − ℓ , − ℓ + 1, ..., ℓ − 1, ℓ は磁気量子数 です 。 水素のような原子に も非常によく似た解があります。
この解法では電子のスピンは考慮されません。
水素軌道の図において、19個のサブイメージは、位置空間における波動関数のイメージ(ノルムの2乗)です。波動関数は、各イメージの右下にある3つの量子数 ( n 、 ℓ 、 m ) で特徴付けられる抽象的な状態を表します。これらは、主量子数、軌道角運動量量子数、磁気量子数です。電子のスピン射影量子数1つと合わせて、観測可能な量の完全なセットとなります。
この図は、波動関数の関数空間のさらなる特性を説明するのに役立ちます。
この場合、波動関数は2乗積分可能である。関数空間を2乗積分可能な関数の空間(通常は L 2 と表記)として捉えることができる。
表示されている関数はシュレーディンガー方程式の解です。明らかに、 L 2 のすべての関数が水素原子のシュレーディンガー方程式を満たすわけではありません。したがって、関数空間は L 2 の部分空間となります。
表示されている関数は、関数空間の基底の一部を形成します。各組 ( n , ℓ , m ) には、基底波動関数が対応します。スピンを考慮すると、各組に対して2つの基底関数が存在します。したがって、関数空間は 可算な基底 を持ちます。
基底関数は相互に 直交します 。
波動関数と関数空間
関数空間 の概念は、 波動関数の議論に自然と登場する。関数空間とは関数の集合であり、通常は関数に何らかの定義要件(今の場合は 平方積分可能 )を持ち、時にはその集合に 代数構造 (今の場合は 内積を持つ ベクトル空間 構造 )を持ち、集合に 位相を持つ。後者はここではあまり使用しないが、関数空間のサブセットが 閉じ ている とはどういう意味かを正確に定義するためにのみ必要である。以下では、波動関数の関数空間は ヒルベルト空間 であると結論付ける 。この観察は、量子力学の主要な数学的定式化の基礎となっている。
ベクトル空間構造
波動関数は、以下の具体的記述と抽象的記述によって部分的に特徴付けられる関数空間の要素です。
シュレーディンガー方程式は線形です。つまり、その解である波動関数は、加算したりスカラー値を乗算したりすることで新しい解を形成できます。シュレーディンガー方程式の解の集合はベクトル空間です。
量子力学の重ね合わせ原理。Ψ と Φが 量子力学 系の 抽象 状態空間における二つの状態であり、 a と bが 任意の二つの複素数である場合、 a Ψ + b Φも 有効な状態である。( ヌルベクトルが 有効な状態(「系が存在しない」)として数えられるかどうかは定義の問題である。 いずれにせよ、ヌルベクトルは量子場理論における 真空状態を記述するものでは ない 。)許容される状態の集合はベクトル空間である。
この類似性は、もちろん偶然ではありません。それぞれの空間には、留意すべき違いもあります。
表現
基本状態は量子数の集合によって特徴付けられる。これは、可換な 観測量 の 最大集合 の固有値の集合である 。物理的観測量は、ベクトル空間上の線形作用素(観測量とも呼ばれる)によって表される。最大性とは、既存の観測量と可換な代数的に独立な観測量をこれ以上その集合に追加できないことを意味する。このような集合の選択は、 表現 の選択と呼ばれることがある。
量子力学の公理の一つは、位置、運動量、スピンといったシステムの物理的に観測可能な量は、状態空間上の線形 エルミート作用素 によって表されるというものである。この量の測定から得られる結果は、 この作用素の 固有値である。 対称性 の生成元として生じる 。 [注 6]
物理的な解釈としては、そのような集合は、理論上は任意の精度で同時に測定できるものを表すということになる。 ハイゼンベルクの不確定性関係は、 2つの非可換な観測量を同時に正確に測定することを禁じている。
この集合は一意ではない。例えば、一粒子系では、位置とスピン z 射影 ( x , S z ) となる場合もあれば、運動量とスピン y 射影 ( p , S y ) となる場合もある。この場合、位置に対応する演算子(位置表現における 乗算演算子 )と運動量に対応する演算子( 位置表現における 微分演算子)は交換しない。
表現形式が一旦選択された後も、依然として任意性は残る。残るは座標系 の選択である。これは例えば、 x軸 、 y 軸、 z 軸の選択、あるいは水素原子の波動関数に用いられる 球面座標に代表される 曲線座標 の選択に相当する。この最終的な選択は、抽象ヒルベルト空間における基底も決定する。基本状態は、可換観測量の最大集合と適切な座標系に対応する量子数によってラベル付けされる。 [注 7]
抽象状態が「抽象的」であるのは、特定の 明示的な 記述に必要な任意の選択が与えられていないという点においてのみである。これは、可換観測量の最大集合の選択が与えられていないということと同じである。これは、特定の基底を持たないベクトル空間に類似している。したがって、状態に対応する波動関数は一意ではない。この一意でないことは、可換観測量の最大集合の選択が一意でないことを反映している。ある次元における1つのスピン粒子に対して、ある特定の状態には、 同じ 状態を記述する2つの波動関数 Ψ( x , S z ) と Ψ( p , S y ) が対応する。
抽象状態空間の観測可能な最大可換集合の各選択に対して、波動関数の関数空間に関連付けられた対応する表現が存在します。
これらすべての異なる関数空間と抽象状態空間の間には、一対一の対応関係(ここでは正規化と観測不可能な位相因子は考慮しない)があり、ここでの共通分母は特定の抽象状態である。例えば、運動量空間波動関数と位置空間波動関数の関係は、同じ状態を記述する フーリエ変換 である。
それぞれの表現の選択は、その表現の選択に対応する波動関数が存在する唯一の関数空間を指定するものと考えるべきです。この区別は、たとえそのような関数空間が2つ、例えば平方可積分関数の集合のように数学的に等しいと主張できるとしても、最もよく維持されます。その場合、関数空間は、その集合の2つの異なるコピーと考えることができます。
内積
波動関数のベクトル空間と抽象状態空間には追加の代数構造があります。
物理的には、異なる波動関数はある程度重なり合うと解釈されます。状態 Ψにある系が状態 Φ と重なり合わ ない 場合、測定結果から状態 Φ にあることが確認されることはありません 。しかし、 Φ 1 、 Φ 2 、… が Ψ とある程度 重なる場合、 Ψで記述される系の測定結果が状態 Φ 1 、 Φ 2 、… に ある可能性があります 。また、 選択則も適用されます。これらは通常、いくつかの量子数の保存則に基づいて定式化されます。これは、初期および最終の 全 波動関数が重なり合わない ため、ある観点から許容される特定のプロセス(例えば、エネルギー保存則や運動量保存則)が発生しないことを意味します。
数学的には、特定のポテンシャルに対するシュレーディンガー方程式の解は、何らかの形で 直交する ことが分かっています。これは通常、積分によって記述されます。 ここで、 m 、 n は異なる解を表す添え字(量子数)(の集合)、厳密に正の関数 w は重み関数、 δ mn はクロネッカーのデルタ です 。この積分は、関連する空間全体にわたって行われます。
∫
Ψ
m
∗
Ψ
n
w
d
V
=
δ
n
m
,
{\displaystyle \int \Psi _{m}^{*}\Psi _{n}w\,dV=\delta _{nm},}
このため、抽象量子状態のベクトル空間に内積 を導入することになります 。これは、表現に移すときに上記の数学的な観察と互換性があります。これは (Ψ, Φ) 、または Bra–ket 記法 ⟨Ψ|Φ⟩ で表されます。これは複素数を生成します。内積により、関数空間は 内積空間 になります。内積 (通常は積分または積分の和) の明示的な出現は表現の選択に依存しますが、複素数 (Ψ, Φ) は 依存しません。量子力学の物理的解釈の多くは、 ボルンの規則 に由来します。ボルンの規則では、システムが状態 Ψにある場合に、測定時に状態 Φ が見つかる 確率 pは、 Φ と Ψ が正規化されていると仮定します。散乱実験を考えて み
ましょ う 。量子場理論において、 Φ out が 散乱粒子間の相互作用が停止した後の「遠い未来」(「出状態」)の状態を記述し、 Ψ in が 「遠い過去」の「入状態」を記述する場合、 Φ out と Ψ inが それぞれ入状態と出状態の完全な集合にわたって変化する量(Φ out 、 Ψ in )はS行列または散乱行列と呼ばれる 。 これ を 知る こと は 、 少なくとも 予測 の 範囲においては、事実上、手元の理論 を解いたことになる。 減衰率 や 散乱断面積 などの測定可能な量は、 S行列から計算できる。
p
=
|
(
Φ
,
Ψ
)
|
2
,
{\displaystyle p=|(\Phi ,\Psi )|^{2},}
ヒルベルト空間
上の観察は、波動関数を要素とする関数空間の本質を要約している。しかし、記述はまだ完全ではない。関数空間には、 完全性 というさらなる技術的要件があり、これにより、関数空間内のシーケンスの極限をとり、その極限が存在する場合には、それが関数空間の要素であることが保証される。完全な内積空間は ヒルベルト空間 と呼ばれる。完全性という性質は、量子力学の高度な処理と応用において極めて重要である。例えば、 射影演算子 や 直交射影 の存在は、空間の完全性に依存している。 これらの射影演算子は、次に、 スペクトル定理 など、多くの有用な定理の記述と証明に不可欠である。これは量子力学の入門レベルではそれほど重要ではなく、技術的な詳細とリンクは次のような脚注に記載されている。 [nb 8]
空間 L 2 はヒルベルト空間であり、内積は後で提示される。図の例の関数空間は L 2 の部分空間である。ヒルベルト空間の部分空間は、それが閉じている場合にヒルベルト空間となる。
要約すると、特定の基底選択を持つシステムのすべての可能な正規化可能な波動関数の集合は、ヌルベクトルとともにヒルベルト空間を構成します。
対象となる関数のすべてが、たとえばL 2 などのヒルベルト空間の要素であるとは限らない 。最も顕著な例は、関数の集合 e 2 πi p · x ⁄ h である。これらは、正規化できない、したがって L 2 に含まれない、自由粒子 に対するシュレーディンガー方程式の平面波解である 。しかし、それでもなお記述の基本となる。これらを用いることで、 波束 を用いて正規化できる 関数 を表現することができる。これらは、ある意味では、対象となる波動関数を表現できる基底(ヒルベルト空間基底でも ハメル基底 でもない)である。また、表記上の便宜上頻繁に用いられる「デルタ関数への正規化」という人工物もある。これについては後述。デルタ関数自体も平方積分可能ではない。
波動関数を含む関数空間の上記の記述は、主に数学的な動機に基づいています。関数空間は、完全性のために、ある意味で非常に 広大です 。すべての関数が、あらゆる物理系の現実的な記述となるわけではありません。例えば、関数空間 L 2 には、区間 [0, 1] において、すべての有理数に対して 0 を、無理数に対して - i を とる関数が存在します 。これは 平方積分可能 ですが [注 9]
、物理的状態を表現することはほとんど不可能です。
共通ヒルベルト空間
解の空間全体はヒルベルト空間ですが、その構成要素としてよく出現する他のヒルベルト空間も数多くあります。
区間 [0, 2 π ] 上の平方可積分複素数値関数。集合 { e int /2 π , n ∈ Z } はヒルベルト空間基底、すなわち最大直交集合である。
フーリエ 変換は、 上記の空間内の関数を、 平方和分 関数 の空間 Z → Cである l 2 ( Z ) の元に変換する。後者の空間はヒルベルト空間であり、フーリエ変換はヒルベルト空間の同型である。 [注 10] その基底は { e i , i ∈ Z } であり、 e i ( j ) = δ ij , i , j ∈ Z である。
全域多項式の最も基本的な例は、区間[–1, 1] 上の平方積分可能関数の空間にあり、 この区間では ルジャンドル多項式 はヒルベルト空間基底 (完全直交集合) となります。
単位球面 S 2 上の平方可積分関数は ヒルベルト空間である。この場合の基底関数は 球面調和関数 である。ルジャンドル多項式は球面調和関数の構成要素である。回転対称性に関するほとんどの問題は、その対称性に関して「同じ」(既知の)解を持つため、元の問題はより低次元の問題に帰着する。
関連するラゲール 多項式は、 球面調和関数を因数分解した後に水素波動関数問題に現れる。これらは、半無限区間 [0, ∞) 上の二乗可積分関数のヒルベルト空間を張る。
より一般的には、ヒルベルト空間における シュトゥルム・リウヴィル方程式 のすべての2階多項式解を統一的に扱うことが考えられる。これには、ルジャンドル多項式、ラゲール多項式、 チェビシェフ多項式 、 ヤコビ多項式 、 エルミート多項式 が含まれる。これらはすべて実際に物理問題に現れ、特に後者は 調和振動子 に現れる。これにより、 特殊関数 の性質に関する混乱を招く迷路が、体系化された事実の集合体となる。この点については、Byron & Fuller (1992, Chapter 5) を参照のこと。
有限次元ヒルベルト空間も存在します。空間 C n はn 次元のヒルベルト空間です 。内積はこれらの空間における標準的な内積です。そこには、単一粒子の波動関数の「スピン部分」が存在します。
電子の非相対論的記述では n = 2 となり、全体の波動関数は パウリ方程式 の解になります。
対応する相対論的処理では、 n = 4 となり、波動関数は ディラック方程式 を解きます。
粒子の数が増えると、状況はより複雑になる。テンソル積を 使用し 、関係する対称群(それぞれ 回転群 と ローレンツ群 )の表現論を使用して、テンソル積から(全体の)スピン波動関数が存在する空間を抽出する必要がある。(相対論的なケースでは、粒子が自由でない限り、さらなる問題が生じる。 ベーテ–サルペーター方程式 を参照。)対応する注釈は 、対称群が SU(2)である アイソスピン の概念にも当てはまる 。 60 年代の核力のモデル(今日でも有用。 核力を 参照)では、対称群 SU(3) が使用されていた。この場合も、内部対称性に対応する波動関数の部分は、何らかの C n またはそのような空間のテンソル積の部分空間に存在します。
量子場の理論において、基礎となるヒルベルト空間は フォック空間 である。これは自由な一粒子状態、すなわち表現を選択した際の波動関数から構成され、時間的に必ずしも一定ではない有限個の粒子を収容することができる。興味深い(あるいはむしろ 扱いやすい )ダイナミクスは、波動関数ではなく、フォック空間に作用する作用素で ある場の作用素 にある。したがって、 ハイゼンベルク描像 (状態は一定、作用素は時間とともに変化する)が最も一般的に選択される。
システムの無限次元の性質により、適切な数学的ツールが 関数解析 の研究対象となります。
簡略化された説明
ある時刻 t における波動関数の連続性と、その最初の空間微分 ( x 方向、 y および z 座標は示されていません) 。
すべての入門書がヒルベルト空間の仕組みを余すところなく紹介しているわけではないが、特定の標準ポテンシャルにおける位置表現における非相対論的シュレーディンガー方程式に焦点が当てられている。計算と物理的解釈を意味のあるものにするために、波動関数に対する以下の制約が明示的に定式化されることもある。
波動関数は 二乗積分可能 でなければならない。これは、波動関数を確率振幅として解釈するコペンハーゲン解釈に基づく。
それは至る所連続 かつ至る所 連続微分可能 でなければならない 。これは、物理的に妥当なポテンシャルのほとんどに対してシュレーディンガー方程式が現れることに由来する。
特別な目的のために、これらの条件を多少緩和することも可能です。 [注 11]
これらの要件が満たされない場合、波動関数を確率振幅として解釈することはできません。 ポテンシャル場の無限不連続点においては、導関数の連続性則に例外が生じる場合があることに注意が必要です。例えば、 箱の中にある粒子 の場合、ポテンシャル場が無限不連続であることが分かっている箱の境界において、波動関数の導関数が不連続になることがあります。
これは、これらの特定の波動関数が存在するヒルベルト空間の構造を変えるものではないが、 2番目の要件を満たすヒルベルト空間である平方積分関数 L 2の部分空間は L 2 内で 閉じておらず 、したがってそれ自体はヒルベルト空間ではない。 [nb 12]
要件を満たさない関数は、技術的および実用的な理由から依然として必要とされる。 [nb 13] [nb 14]
波動関数と抽象状態空間についてさらに詳しく
既に実証されているように、あるシステムに対する何らかの表現におけるすべての可能な波動関数の集合は、一般に 無限次元 ヒルベルト空間を構成する。表現基底の複数の選択肢があるため、これらのヒルベルト空間は一意ではない。したがって、 表現と基底の選択が未決定のままである抽象的なヒルベルト空間、 状態空間について議論する。具体的には、各状態は状態空間において抽象的なベクトルとして表現される。 任意の表現における量子状態 |Ψ⟩は 、一般にベクトル [ 要出典 ]
として表現される。
ここで
|
Ψ
⟩
=
∑
α
∫
d
m
ω
Ψ
t
(
α
,
ω
)
|
α
,
ω
⟩
{\displaystyle |\Psi \rangle =\sum _{\boldsymbol {\alpha }}\int d^{m}\!{\boldsymbol {\omega }}\,\,\Psi _{t}({\boldsymbol {\alpha }},{\boldsymbol {\omega }})\,|{\boldsymbol {\alpha }},{\boldsymbol {\omega }}\rangle }
| α , ω ⟩ 選択された表現の基底ベクトル
d m ω = dω 1 dω 2 ... dω m 連続自由度における 微分体積 要素
Ψ
t
(
α
,
ω
)
{\displaystyle {\boldsymbol {\Psi }}_{t}({\boldsymbol {\alpha }},{\boldsymbol {\omega }})}
ベクトルの成分 、 システムの 波動関数と呼ばれる
|
Ψ
⟩
{\displaystyle |\Psi \rangle }
α = ( α 1 , α 2 , ..., α n ) 無次元離散量子数
ω = ( ω 1 , ω 2 , ..., ω m ) 連続変数(必ずしも無次元ではない)
これらの量子数は状態ベクトルの成分をインデックスします。さらに、すべての αは n 次元 集合 A = A 1 × A 2 × ... × A n に含まれます。 ここで、各 A i はα i の許容値の集合です 。すべての ωは m 次元「体積」 Ω ⊆ ℝ m に含まれます。 ここで 、Ω = Ω 1 × Ω 2 × ... × Ω m であり、各 Ω i ⊆ R は実数 R の 部分 集合である ω i の許容値の集合です 。一般性のために 、n と mは 必ずしも等しくありません。
例:
スピンs を持つ3次元の単一粒子について 、他の自由度を無視し、直交座標系を用いて、 粒子のz方向のスピン量子数を α = ( s z ) 、粒子の位置座標を ω = ( x , y , z )とすることができる。ここで 、A = {− s , − s + 1, ..., s − 1, s } は許容されるスピン量子数の集合であり、 Ω = R 3 は3次元位置空間全体にわたるすべての粒子の位置の集合である。 別の選択肢として、 y方向のスピン量子数を α = ( s y ) 、粒子の運動量成分を ω = ( p x , p y , p z ) とする方法があります。この場合、 A と Ωは 前述と同じです。
時刻tにおける状態 | α , ω⟩ で のシステムの 確率 密度 は
t
{\displaystyle t}
ρ
α
,
ω
(
t
)
=
|
Ψ
(
α
,
ω
,
t
)
|
2
{\displaystyle \rho _{\alpha ,\omega }(t)=|\Psi ({\boldsymbol {\alpha }},{\boldsymbol {\omega }},t)|^{2}}
離散変数構成D⊆Aにおいてαが成り立ち 、 連続 変数 構成 C⊆Ωにおいて ω が 成り立つシステムを 見つける確率は、 密度 の和と積分である。 [注15]
P
(
t
)
=
∑
α
∈
D
∫
C
d
m
ω
ρ
α
,
ω
(
t
)
{\displaystyle P(t)=\sum _{{\boldsymbol {\alpha }}\in D}\int _{C}d^{m}\!{\boldsymbol {\omega }}\,\,\rho _{\alpha ,\omega }(t)}
すべての確率の合計は 1 でなければならないため、正規化条件は
システムの進化の間常に満たされなければなりません。
1
=
∑
α
∈
A
∫
Ω
d
m
ω
ρ
α
,
ω
(
t
)
{\displaystyle 1=\sum _{{\boldsymbol {\alpha }}\in A}\int _{\Omega }d^{m}\!{\boldsymbol {\omega }}\,\,\rho _{\alpha ,\omega }(t)}
正規化条件では ρ d m ω が 無次元であることが要求され、 次元解析により Ψは ( ω 1 ω 2 ... ω m ) −1/2 と同じ単位を持つ必要があります 。
オントロジー
波動関数が現実に存在するかどうか、またそれが何を表しているのかは、 量子力学の解釈における主要な問題である。 エルヴィン・シュレーディンガー 、 アルベルト・アインシュタイン 、ニールス・ボーア など、前世代の多くの著名な物理学者がこの問題に頭を悩ませた。 コペンハーゲン解釈 の定式化やその変形を主張する者もいれば (ボーア、 オイゲン・ウィグナー、 ジョン・フォン・ノイマン など)、 ジョン ・ アーチボルド ・ホイーラーや エドウィン・トンプソン・ジェインズ など、より古典的なアプローチ をとり、波動関数は観察者の心の中にある情報、すなわち現実に対する我々の知識の尺度を表すと考える者もいる。シュレーディンガー、 デイヴィッド・ボーム 、 ヒュー・エヴェレット3世 など一部の者は、波動関数は客観的で物理的に存在しなければならないと主張した。アインシュタインは、物理的現実の完全な記述は抽象的な数学的空間を指す波動関数とは異なり、物理的空間と時間に直接言及するべきだと考えた。
参照
注記
^ ここで、関数は 二乗可積分関数の空間 L 2 の元であると仮定する。この空間の元は、より正確には二乗可積分関数の同値類であり、ルベーグ測度 0の集合上で異なる2つの関数は同値であると宣言される。これは、 半内積 ではなく 内積(すなわち、 (Ψ, Ψ) = 0 ⇒ Ψ ≡ 0 )を得るために必要である。積分は ルベーグ積分 とされる 。これは空間の完全性にとって不可欠であり、完全な内積空間 = ヒルベルト空間をもたらす。
^ 量子力学では 可分なヒルベルト空間 のみが考慮され、 ツォルンの補題 を用いると、線型代数の意味での直交基底( ハメル基底 )ではなく可算無限 シャウダー基底 を許容することを意味する。
^ 技術的には、それらはヒルベルト空間に存在しない。 詳細は スペクトル定理を参照。
^ ab グリフィス、デイビッド・J. 『量子力学入門 (第3版)』 によれば、「ディラック直交性」とも呼ばれる。
^ フーリエ変換を空間 L 2 上のユニタリ作用素として見ると、固有値は ±1, ± i である。固有ベクトルは「エルミート関数」、すなわちエルミート 多項式 に ガウス関数 を乗じたものである。ユニタリ変換としてのフーリエ変換の説明については、Byron & Fuller (1992) を参照のこと。固有値と固有値については、問題27、第9章を参照のこと。
^ この記述が意味を成すためには、観測可能なものが最大可換集合の要素でなければならない。これを理解するには、例えばn粒子系におけるi番目の粒子の運動量演算子は、 本質的にいかなる対称性も生成しないという ことに気づくだけで十分である。一方、 全 運動量 は、 本質的にある対称性、すなわち並進対称性を生成する。
^ 結果として得られる基底は、数学的な意味でのヒルベルト空間の基底であるかどうかは、技術的には不明確である。例えば、明確な位置と運動量を持つ状態は平方積分可能ではない。これは、 波束 を用いるか、系を「箱」で囲むことで克服できる可能性がある。詳細は後述する。
^ 技術的には、これは次のように定式化されます。内積は ノルム をもたらします。このノルムは、次に 計量 を誘導します。この計量が 完全 であれば、前述の極限は関数空間 内にあります。この場合、内積空間は完全であると呼ばれます。完全な内積空間は ヒルベルト空間 です。抽象状態空間は常にヒルベルト空間として取られます。関数空間の対応要件は自然なものです。抽象状態空間のヒルベルト空間特性は、もともとシュレーディンガー方程式の正規化可能な解を形成する関数空間がヒルベルト空間であるという観察から抽出されました。
^ 後の脚注で説明されているように、積分はルベーグ積分 でなければならないため 、 リーマン積分だけでは 不十分です。
^ Conway 1990。これは、内積、すなわちノルムが保存され、写像が有界、すなわち連続な線型一対一写像であることを意味する。また、完全性も保存される。したがって、これはヒルベルト空間の 圏 における同型性の正しい概念である。
^ そのような緩和の一つは、波動関数が ソボレフ空間 W 1,2に属さなければならないというものである。これは、 波動関数が超関数 の意味で微分可能であり 、その 勾配が 二乗積分可能で あることを意味する。この緩和は 、ディラックのデルタ関数 のように、関数ではなく超関数であるポテンシャルに対して必要である 。
^ 不連続 関数に収束するという要件を満たす関数列を視覚化するのは簡単です。そのためには、 内積空間#いくつかの例 に示されている例を修正します 。ただし、この元は L 2 の元 です 。
^ 例えば、 摂動論 では、真の波動関数を近似する関数列を構築することができる。この関数列はより広い空間では収束することが保証されるが、本格的なヒルベルト空間を仮定しなければ、収束が当該空間内の関数に収束し、したがって元の問題を解くことが保証されない。
^ 平面波自由粒子解のような二乗積分可能でないいくつかの関数は、前の注記および下記で概説されているように、説明に必要です。
^ ここでは、 倍数の合計です。
∑
α
≡
∑
α
1
,
α
2
,
…
,
α
n
≡
∑
α
1
∑
α
2
⋯
∑
α
n
{\displaystyle \sum _{\boldsymbol {\alpha }}\equiv \sum _{\alpha _{1},\alpha _{2},\ldots ,\alpha _{n}}\equiv \sum _{\alpha _{1}}\sum _{\alpha _{2}}\cdots \sum _{\alpha _{n}}}
引用
^ Heisenberg, W. (1927/1985/2009). Heisenberg は Camilleri 2009, p. 71 により翻訳されている(Bohr 1985, p. 142 より)。
^ Landau & Lifshitz 1977、6ページ。
^ abc 1926a生まれ、Wheeler & Zurek 1983の52~55ページに翻訳。
^ ab 1926b年生まれ、Ludwig 1968年版、pp. 206–225に翻訳。こちらも参照。2020年12月1日アーカイブ、 Wayback Machine にて。
^ ボーン、M. (1954年)。
^ 「プランク - プランクの非常に短い伝記」. spark.iop.org . 物理学研究所. 2023年 2月12日 閲覧 。
^ C/CS Pys C191:表現と波動関数 》 1. プランク-アインシュタインの関係式 E=hv (PDF) . EESC教育およびエレクトロニクスサポート、 カリフォルニア大学バークレー校 . 2008年9月30日. p. 1 . 2023年 2月12日 閲覧 。
^ Einstein 1916、pp. 47–62、およびほぼ同じバージョンであるEinstein 1917、pp. 121–128をter Haar 1967、pp. 167–183に翻訳したもの。
^ ワインバーグ(2002)は、量子場理論が現在の形で現れるのは、それが量子力学と特殊相対性理論を調和させる 唯一の 方法だからだという立場を取っている。
^ Weinberg (2002) 特に、これらの結果の一部が導き出されている第 5 章を参照してください。
^ Weinberg 2002 第4章。
^ B. グリフィス、ロバート . 「ヒルベルト空間量子力学」 (PDF) . p. 1.
^ ランズマン 2009.
^ ランダウ&リフシッツ 1977.
^ 桜井 潤・ジョン; ナポリターノ ジム (2021). 現代量子力学 (第3版). ケンブリッジ: ケンブリッジ大学出版局. pp. 94– 97. ISBN 978-1-108-47322-4 。
^ Weinberg 2002 第3章「散乱行列」。
^ 科学者とエンジニアのための物理学 - 現代物理学付き(第6版)、P.A.ティプラー、G.モスカ、フリーマン、2008年、 ISBN 0-7167-8964-7
参考文献
「量子力学の応用」。AP3303 コースの講義ノート 。デルフト工科大学量子ナノサイエンス学科。2022年。
アロンズ, AB; ペパード, MB (1965). 「アインシュタインの光子概念の提唱:1905年のAnnalen der Physik論文の翻訳」 (PDF) . American Journal of Physics . 33 (5): 367. Bibcode :1965AmJPh..33..367A. doi :10.1119/1.1971542.
アトキンス、PW(1974年) 『量子:概念ハンドブック 』クラレンドン・プレス、 ISBN 978-0-19-855494-3 。
Bohr, N. (1985). Kalckar, J. (編). Niels Bohr - Collected Works: Foundations of Quantum Physics I (1926 - 1932) . Vol. 6. Amsterdam: North Holland. ISBN 978-044453289-3 。
M.生まれ(1926a)。 「Zur Quantenmechanik der Stoßvorgange」。 Z.物理学 。 37 (12): 863–867 。 Bibcode :1926ZPhy...37..863B。 土井 :10.1007/bf01397477。 S2CID 119896026。
M.生まれ(1926b)。 「Quantenmechanik der Stoßvorgange」。 Z.物理学 。 38 ( 11–12 ): 803–827 。 Bibcode :1926ZPhy...38..803B。 土井 :10.1007/bf01397184。 S2CID 126244962。
ボルン, M. (1927). 「量子力学の物理的側面」. Nature . 119 (2992): 354– 357. Bibcode :1927Natur.119..354B. doi : 10.1038/119354a0 .
ボーン, M. (1954年12月11日). 「量子力学の統計的解釈」. ノーベル賞講演 . 122 (3172). ノーベル財団 : 675–9 . doi :10.1126/science.122.3172.675. PMID 17798674.
ド・ブロイ、L. (1923)。 「放射線—オンドと量子」[放射線—波と量子]。 Comptes Rendus (フランス語)。 177 : 507 – 510、548、630。 オンラインコピー(フランス語) オンラインコピー(英語)
de Broglie, L. (1960). 非線形波動力学:因果的解釈 . アムステルダム: Elsevier – インターネットアーカイブ経由 .
バイロン, FW; フラー, RW (1992) [初版1969年]. 古典物理学と量子物理学の数学. ドーバー物理学書籍(改訂版). ドーバー出版 . ISBN 978-0-486-67164-2 – インターネットアーカイブ 経由。
カミレリ, K. (2009). 『ハイゼンベルクと量子力学の解釈:物理学者としての哲学者』 ケンブリッジ大学出版局. ISBN 978-0-521-88484-6 。
コーエン・タンヌージ、クロード。ディウ、バーナード。フランク・ラロエ(2019)。 量子力学、第 1 巻 。ワインハイム、ドイツ:ジョン・ワイリー&サンズ。 ISBN 978-3-527-34553-3 。
コンウェイ, JB (1990). 関数解析コース . 数学大学院テキスト. 第96巻. シュプリンガー出版 . ISBN 978-0-387-97245-9 。
ディラック, PAM (1939). 「量子力学のための新しい表記法」. ケンブリッジ哲学協会数学紀要 . 35 (3): 416– 418. 書誌コード :1939PCPS...35..416D. doi :10.1017/S0305004100021162. S2CID 121466183.
ディラック, PAM (1982). 量子力学の原理 . 国際物理学モノグラフシリーズ(第4版). オックスフォード大学出版局. ISBN 0-19-852011-5 。
アインシュタイン、A. (1905)。 「Über einen die Erzeugung und Verwandlung des Lichtes betreffenden heuristischen Gesichtspunkt」。 Annalen der Physik (ドイツ語)。 17 (6): 132–148 。 書誌コード :1905AnP...322..132E。 土井 : 10.1002/andp.19053220607 。
アインシュタイン、A. (1916)。 「Zur Quantentheorie der Strahlung」。 チューリッヒの物理学博物館 。 18 : 47~ 62
アインシュタイン、A. (1917)。 「Zur Quantentheorie der Strahlung」。 Physikalische Zeitschrift (ドイツ語)。 18 : 121–128 。 Bibcode :1917PhyZ...18..121E。
アインシュタイン、A. (1998). シルップ、P.A. (編). アルバート・アインシュタイン:哲学者であり科学者でもある . 生きた哲学者の図書館. 第7巻(第3版). ラ・サール出版会社、イリノイ州: オープンコート. ISBN 978-0-87548-133-3 。
アイスバーグ、ロバート・マーティン著、 レスニック、ロバート著 (1985). 『原子、分子、固体、核、粒子の量子物理学』(第2版). ジョン・ワイリー・アンド・サンズ. ISBN 978-0-471-87373-0 – インターネットアーカイブ 経由。
Greiner, W. ; Reinhardt, J. (2008). Quantum Electrodynamics (第4版). Springer. ISBN 978-354087560-4 。
グリフィス, DJ (2004). 『量子力学入門 (第2版)』 エセックス、イングランド: ピアソン・エデュケーション. ISBN 978-013111892-8 。
グリフィス、デイヴィッド (2008). 素粒子入門. Wiley-VCH. pp. 162ff. ISBN 978-3-527-40601-2 。
テル・ハール, D. (1967). 『古い量子理論 』 ペルガモン・プレス pp. 167–183. LCCN 66029628 – インターネット・アーカイブ 経由.
ハンル、PA(1977)「ルイ・ド・ブロイの量子論テーゼに対するエルヴィン・シュレーディンガーの反応」、 Isis 、 68 (4): 606-609 、 doi :10.1086/351880、 S2CID 121913205
ハイゼンベルク, W. (1958). 『物理学と哲学:近代科学の革命 』 ニューヨーク: ハーパー&ロウ社 – インターネットアーカイブ 経由.
ジェインズ, ET (2003). ラリー, G. (編). 確率論:科学の論理 . ケンブリッジ大学出版局 . ISBN 978-0-521 59271-0 。
ランダウ, LD ; リフシッツ, EM (1977). 量子力学:非相対論的理論 . 第3巻(第3版). ペルガモン・プレス . ISBN 978-0-08-020940-1 。 オンラインコピー
Landsman, NP (2009). 「ボルン則とその解釈」 (PDF) . 量子物理学概論 . ベルリン、ハイデルベルク: Springer Berlin Heidelberg. pp. 64– 70. doi :10.1007/978-3-540-70626-7_20. ISBN 978-3-540-70622-9 。
ラーナー, RG ; トリッグ, GL (1991). 『物理学百科事典』(第2版). VHC Publishers. ISBN 978-0-89573-752-6 – インターネットアーカイブ 経由。
ルートヴィヒ, G. (1968). 『波動力学 』オックスフォード大学: ペルガモン出版. ISBN 978-0-08-203204-5 . LCCN 66-30631 – インターネットアーカイブ 経由.
Martin, BR; Shaw, G. (2008). 素粒子物理学 . マンチェスター物理学シリーズ(第3版). John Wiley & Sons. ISBN 978-0-470-03294-7 。
マードック, D. (1987). ニールス・ボーアの物理学の哲学 . ケンブリッジ大学出版局. ISBN 978-0-521-33320-7 – インターネットアーカイブ 経由。
ニュートン、RG(2002) 『量子物理学:大学院生のためのテキスト』 ニューヨーク:シュプリンガー、 ISBN 978-0-387-95473-8 。
パウリ、ヴォルフガング (1927)。 「磁気電子電子の量子機械」。 Zeitschrift für Physik (ドイツ語)。 43 ( 9–10 ): 601–623 。 Bibcode :1927ZPhy...43..601P。 土井 :10.1007/bf01397326。 S2CID 128228729。
ペレグ、Y.プニーニ、R.ザールル、E.ヘクト、E. (2010)。 量子力学 。シャウムの概要(第 2 版)。マグロウヒル。 ISBN 978-0-07-162358-2 。
Rae, AIM (2008). 量子力学 第2巻(第5版). Taylor & Francis Group. ISBN 978-1-5848-89700 。
シュレーディンガー, E. (1926). 「原子・分子の力学に関する波動理論」 (PDF) . フィジカル・レビュー . 28 (6): 1049– 1070. 書誌コード :1926PhRv...28.1049S. doi :10.1103/PhysRev.28.1049. 2008年12月17日時点の オリジナル (PDF)からのアーカイブ。
シャンカール, R. (1994). 量子力学の原理 (第2版). ISBN 978-030644790-7 。
ティプラー, PA; モスカ, G.; フリーマン (2008). 『科学者とエンジニアのための物理学 ― 現代物理学との組み合わせ』 (第6版). WHフリーマン. ISBN 978-0-7167-8964-2 。
トレヴェス、フランソワ (2006). 『位相ベクトル空間、超関数、核』 ニューヨーク州ミネオラ: クーリエ・コーポレーション. ISBN 978-0-486-45352-1 。
ワインバーグ、S.(2002)、場の量子論、第1巻、ケンブリッジ大学出版局、 ISBN 978-0-521-55001-7 – インターネットアーカイブより
ワインバーグ、S. (2013)、 量子力学講義 、ケンブリッジ大学出版局、 ISBN 978-1-107-02872-2
Wheeler, JA ; Zurek, WH (1983). 『量子論と測定 』 プリンストン大学出版局, プリンストン, NJ.
Young, HD; Freedman, RA (2008). Pearson (編). Sears' and Zemansky's University Physics (第12版). Addison-Wesley. ISBN 978-0-321-50130-1 。
ゼッティリ, N. (2009). 量子力学:概念と応用 (第2版). Wiley. ISBN 978-0-470-02679-3 。
ツヴィーバッハ、バートン(2009年) 『弦理論入門 』ケンブリッジ大学出版局、 ISBN 978-0-521-88032-9 。
さらに読む
Kim, Yong-Ki (2000年9月2日). Practical Atomic Physics (PDF) . National Institute of Standards and Technology. pp. 1 (55秒). 2011年7月22日時点のオリジナル (PDF) からアーカイブ。
ポルキンホーン、ジョン (2002年) 『量子論入門』 オックスフォード大学出版局、 ISBN 978-0-19-280252-1 。
外部リンク
エンジニアのための量子力学
スピン波動関数 NYU
同一粒子再考、マイケル・ファウラー
多電子波動関数の性質
BerkeleyXにおける量子力学と量子計算 2013年5月13日アーカイブ Wayback Machine
アインシュタイン、放射線の量子論