シュレーディンガー場のソースを表示

'''シュレーディンガー場'''（シュレーディンガーば）とは、[[量子力学]]と[[場の量子論]]で用いられる、シュレーディンガー方程式に従う量子場のことである。名前は [[エルヴィン・シュレーディンガー]]にちなんで名付けられた<ref>{{Cite book|title=A Pedestrian Approach to Quantum Field Theory.|last=G|first=Harris, Edward|date=2014|publisher=Dover Publications|isbn=9780486793290|oclc=968989532}}</ref>。同種多粒子系のシュレーディンガー方程式によって記述することもできるが、粒子数が変化する場合には場の理論による記述の方が優れている。 

シュレーディンガー場は、量子シュレディンガー場の古典極限でもある。この場での古典波動はシュレーディンガー方程式を満たしている。 量子力学的波動関数とは異なり、粒子間に相互作用がある場合、方程式は[[非線形シュレディンガー方程式]]になる。 この方程式は、相互作用のある同種粒子系の古典波動極限を表す。 

シュレディンガー場の経路積分はコヒーレント状態経路積分として知られている。これは、場自体が消滅演算子、すなわち、その固有状態が調和振動のコヒーレント状態と考えることができるからである。 

シュレーディンガー場は[[ボース＝アインシュタイン凝縮|ボーズ・アインシュタイン凝縮]] 、 超電導に対するBogolyubov-de Gennes方程式、 [[超流動]] 、および一般に[[多体系の物理学|多体理論]]を扱う上で有用である。また、非相対論的量子力学を代替する形式としても有用である。 

シュレーディンガー場は、 [[クライン–ゴルドン方程式|クライン・ゴルドン場]]の非相対論的極限である。 

== 概要 ==
'''シュレーディンガー場'''は、[[シュレーディンガー方程式|シュレディンガー方程式に]]従う[[場の量子論|量子場]]である。 古典極限では、 [[ボース＝アインシュタイン凝縮|ボーズアインシュタイン凝縮]]や[[超流動]]の量子的な波動方程式として理解されます。 

=== 自由場 ===
シュレーディンガー場に対応する、自由場ラグランジアンは次のものである。 

: <math>
L = \psi^\dagger \left(i{\partial\over \partial t} + {\nabla^2 \over 2m}\right)\psi.
</math>

ただし経路積分ないし正準量子化において、<math>\psi</math>は、c数の場であるとき、同種の非相対論的ボソンの集まりを記述する。 また<math>\psi</math>が [[べレジン積分|グラスマン数]]に値を持つ場である場合 、同種の非相対論的フェルミオンの集まりを記述する。 

=== 外部ポテンシャル ===
粒子が外部電位<math>V(x)</math> と相互作用する場合、作用に次のような、局所相互作用を含む物を選ぶ。： 

: <math>
S = \int_{xt} \psi^\dagger \left(i{\partial \over \partial t} + {\nabla^2\over 2m}\right)\psi - \psi^\dagger(x) \psi(x) V(x).
</math>

Vに対する通常のシュレーディンガー方程式が既知のエネルギー固有状態<math>\phi_i(x)</math>（また、そのエネルギー固有値を<math>E_i</math>とする）と記述される時 、作用に現れる場はモード展開によって別の対角基底で展開できます： 

: <math>
\psi(x) = \sum_i \psi_i \phi_i(x).
\,</math>

このときの作用は次のように記述される。 

: <math>
S= \int_t \sum_i \psi_i^\dagger\left( i{\partial \over \partial t} - E_i\right) \psi_i
\,</math>

これは独立した調和振動子の集合体に対する位置運動量経路積分とみることができる。 

等価性を見るには、作用を実部と虚部に分解できることに注意して以下のようにすればよい。 

: <math>
S= \int_t \sum_i 2\psi_r{d\psi_i\over dt} - E_i(\psi_r^2 + \psi_i^2)
</math>

それぞれを独立に積分する。 <math>\psi_r</math>に対して積分を取ることで作用は以下のように記述できる。 

: <math>
S= \int_t \sum_i {1 \over E_i} \left({d\psi_i\over dt}\right)^2 - E_i \psi_i^2
</math>

ただし、<math>\scriptstyle \psi_i</math>を リスケールして、<math>E_i</math>周期の調和振動子とした作用である。 

=== 2体ポテンシャル ===
粒子が[[2体ポテンシャル]]<math>V(x_1,x_2)</math>と相互作用するとき、相互作用は作用に非局所的な寄与をもたらす。 

: <math>
S = \int_{xt} \psi^\dagger \left(i{\partial \over \partial t} + {\nabla^2 \over 2m}\right)\psi - \int_{xy} \psi^\dagger(y) \psi^\dagger(x)V(x,y) \psi(x)\psi(y).
</math>

2体ポテンシャルは、相対論的場を電気力学に結びつけたときの非相対論的極限です。 伝播する自由度を無視することで、非相対論的電子間の相互作用はクーロン力となる。2+1次元では次のようになる。 

: <math>
V(x,y)= {j^2\over |y-x|}.
</math>

原子核の古典的な位置をモデル化するために外部ポテンシャル組み込むと、この2体ポテンシャルを持つシュレディンガー場は、凝縮物質の物理学のほぼすべてを記述する。 例外は、核の量子力学的干渉が重要な超流動性のような効果と、電子の運動が相対論的であり得る内殻電子の効果である。 

=== 非線形シュレディンガー方程式 ===
[[デルタポテンシャル|デルタ相互作用]]の特殊な場合である、<math>V(x_1,x_2) = \lambda \delta(x_1 - x_2)</math>を満たすケースは広く研究されており、 [[非線形シュレディンガー方程式]]として知られている。相互作用は常に2つの粒子が同じ位置にあるときに発生するため、非線形シュレディンガー方程式を導く作用は局所的である。 

: <math>
S = \int_x \psi^\dagger \left(i{\partial \over \partial t} + {\nabla^2 \over 2m}\right)\psi + \lambda \int_x \psi^\dagger\psi^\dagger \psi\psi 
</math>

相互作用の強さ<math>\lambda</math>は 2より大きい次元での繰り込みが必要であり、2次元では対数発散が生ずる。 どの次元でも、べき乗則の発散があっても、理論は明確に定義される。 粒子がフェルミオンの場合、相互作用はない。 

=== 多体ポテンシャル ===
ポテンシャルには、多体の寄与が含まれる。 相互作用ラグランジアンは次のとおりである。 

: <math>
L_i = \int_x \psi^\dagger(x_1)\psi^\dagger(x_2)\cdots\psi^\dagger(x_n) V(x_1,x_2,\dots,x_n)\psi(x_1)\psi(x_2)\cdots\psi(x_n).\,</math>

これらのポテンシャルは、最密原子の有効的記述に重要である。 高次の相互作用は次数が高いほど重要度が低い。 

=== 正準形式 ===
場<math>\psi</math>の正準運動量は 

: <math>
\Pi(x) = i \psi^\dagger.
\,</math>

正準交換関係は、各点で独立した調和振動子のそれに近い。 

: <math>
[\psi(x), \psi^\dagger (y)] = \delta(x-y).
</math>

場のハミルトニアンは 

: <math>
H = S - \int \Pi(x) {d\over dt}\psi = \int {|\nabla \psi|^2 \over 2m} + \int_{xy} \psi^\dagger(x)\psi^\dagger(y)V(x,y)\psi(x)\psi(y)
\,</math>

相互作用の場の方程式は、シュレディンガー方程式の非線形で非局所的なバージョンである。 ペアワイズ相互作用の場合： 

: <math>
i{\partial \over \partial t} \psi = -{\nabla^2\over 2m} \psi + \left(\int_y V(x,y)\psi^\dagger(y)\psi(y)\right) \psi(x).
\,</math>

=== 摂動論 ===
[[ファインマン・ダイアグラム|ファインマン図]]の拡張は、 [[多体問題 (量子論)|多体]]摂動論と呼ばれる。 [[プロパゲーター]]は 

: <math>
G(k) = {1 \over i\omega - {k^2\over 2m} }.
\,</math>

相互作用の頂点は、2体ポテンシャルのフーリエ変換である。 あらゆる相互作用で、入射する外線と放射する外線の数は等しくなります。 

== 解説 ==

=== 同種粒子 ===
同種粒子の多体シュレディンガー方程式は、 ''N個の''粒子がそれぞれに指定された位置を持つ状態の確率振幅である多体波動関数ψ(''x''<sub>1</sub>, ''x''<sub>2</sub>...''x''<sub>N</sub>)の時間発展を記述する。 ψのシュレディンガー方程式は次のように書ける。 

: <math>
i{d\over dt} \psi = \left(\frac{\nabla_1^2}{2m} + \frac{\nabla_2^2}{2m} + \cdots
+ \frac{\nabla_N^2}{2m} + V(x_1,x_2,\dots,x_N) \right)\psi 
\,</math>

ただし、ハミルトニアンは以下の通りである。 

: <math>
H = \frac{p_1^2}{2m} + \frac{p_2^2}{2m} + \cdots + \frac{p_N^2}{2m} + V(x_1,\dots,x_N).
\,</math>

粒子は区別できないため、波動関数は位置を切り替える対称性がある。すなわちどちらかを満たす。 

# <math>\psi(x_1, x_2, \dots) = \psi(x_2, x_1, \dots) \qquad\quad \text{for bosons} </math> 、 
# <math>\psi(x_1, x_2,\dots) = -\psi(x_2,x_1, \dots) \qquad    \text{for fermions} </math> 。 

粒子は見分けがつかないため、並べ替えでポテンシャルVは変化してはならない。 もし 

: <math>
V(x_1,\dots,x_N) = V_1(x_1)+ V_2(x_2) + \cdots + V_N(x_N)
\,</math>

である場合には、<math> V_1=V_2=\cdots=V_N </math> となる。 また 

: <math>
V(x_1 ... ,x_N) = V_{1,2}(x_1,x_2) + V_{1,3}(x_2,x_3) + V_{2,3}(x_1,x_2)
\,</math>

であれば<math>V_{1,2} = V_{1,3} = V_{2,3}</math>などのような結果を得られる。 

シュレーディンガー方程式の形式では、ポテンシャルの制限はアドホックであり、古典的な波の極限に到達するのは困難である。 また、系が環境に対して開いている場合、粒子が出入りする可能性があるため、有用性が限定される。 

=== 非相対論的フォック空間 ===
シュレーディンガー場は、ヒルベルト状態空間を拡張して、任意の粒子数の構成を含めることで定義されます。 この一連の状態のほぼ完全な基礎は、次のような元の集合です。 

: <math>
|N;x_1,\ldots,x_N\rangle
\,</math>

これは粒子の総数とそれぞれの位置によってラベル付けされている。 粒子が離れた位置にある任意の状態は、これらの状態の重ね合わせによって記述されます。 

: <math>
\psi_0 |0\rangle + \int_x \psi_1(x) |1;x\rangle + \int_{x_1x_2} \psi_2(x_1,x_2)|2;x_1 x_2\rangle + \ldots
\,</math>

この形式では、位置を互いに入れ替えることができる2つの状態は実際には同じであるため、積分では重複を避ける必要がある。 また、同じ位置に複数の粒子がある状態はまだ定義されていないことに注意する必要がある。 <math>\psi_0</math>は粒子が存在しないという振幅であり、その絶対値二乗は系が真空にある確率である。 

シュレーディンガー表現を再現するためには、基底状態の内積を 

: <math>
\langle 1;x_1|1;y_1\rangle = \delta(x_1-y_1)
\,</math>

: <math>
\langle 2;x_1 x_2 | 2;y_1 y_2\rangle = \delta(x_1-y_1)\delta(x_2-y_2) \pm \delta(x_1 -y_2)\delta(x_2-y_1)
\,</math>

等としてとればよい。 物理的性質は異なるものの、ボソンとフェルミオンについてほぼ形式的に同一であるため、ここから粒子はボソンであるものとする。 

このヒルベルト空間には自然な演算子がある。 <math>\scriptstyle \psi^\dagger(x)</math>と呼ばれる1つの演算子は、xに余分な粒子を生成する演算子である。各基本状態に対して定義される: 

: <math>
\psi^\dagger(x) |N;x_1 ... x_n\rangle = |N+1; x_1, ...,x_n, x\rangle
\,</math>

（粒子がすでにxにある場合にはやや曖昧さがある。） 

別の演算子は位置xにある粒子を消滅させる。これは<math>\psi</math>と書かれる。 この演算子の共役演算子は<math>\psi^\dagger</math>です。 <math>\scriptstyle \psi^\dagger</math>についてxに粒子のない状態に対応する行列要素はなく、そのような状態に作用するときはゼロを与える。 

: <math>
\psi(x) |N; x_1 ... ,x_N \rangle = \delta(x-x_1) |N-1;x_2 ...,x_N\rangle + \delta(x-x_2)|N-1;x_1,x_3...,x_N \rangle + \ldots 
\,</math>

位置を規定にとるのは、ある点に局在する粒子を持つ状態が無限のエネルギーを持つため、粒子を理解するのに不便な方法であり、直観的理解は困難である。 2つの粒子がまったく同じ位置にあるときに何が起こるかを見るためには、空間を離散格子にするか、有限体積で場をフーリエ変換することが数学的には最も簡単な方法になる。 

オペレーター 

: <math>
\psi^\dagger(k)= \int_x e^{-ikx} \psi^\dagger(x)
\,</math>

は、運動量kの平面波状態である1粒子状態の重ね合わせを生成する。つまり、運動量kの新しい粒子を生成する。 オペレーター 

: <math>
\psi(k) = \int_x e^{ikx} \psi(x)
\,</math>

運動量kの粒子を消滅させる。 

無限遠の粒子の相互作用のポテンシャルエネルギーがなくなると、無限体積のフーリエ変換演算子は相互作用しない状態を作成します。 状態は無限に広がっており、粒子が近くにある可能性はゼロとなる。 

一致しないポイント間の演算子の行列要素は、すべてのモード間のフーリエ変換の行列要素を再構築される。 

# <math>
\psi^\dagger(k) \psi^\dagger(k') - \psi^\dagger(k')\psi^\dagger(k) =0
\,</math>
# <math>
\psi(k)\psi(k') - \psi(k')\psi(k) =0
\,</math>
# <math>
\psi(k)\psi^\dagger(k') - \psi(k')\psi^\dagger(k) = \delta(k-k')
\,</math>

ここで、デルタ関数は、体積が無限か有限かに応じて、 [[ディラックのデルタ関数|ディラックデルタ関数]]または[[クロネッカーのデルタ|クロネッカーデルタの]]いずれかである。 

これによって交換関係は演算子を完全に決定するものとなる。空間体積が有限の場合、運動量は離散的であるため、一致する運動量を理解するための概念的な障害はありません。 離散運動量基底では、基底状態は次のとおりである。 

: <math>
|n_1, n_2, ... n_k \rangle
\,</math>

ここで、nは各運動量をもつ粒子の数である。 フェルミオンとエニオンの場合、任意の運動量での粒子の数は常に0または1である。 オペレーター<math>\scriptstyle \psi_k</math>は相互作用に関係なく、状態間に調和振動子でのそれに似たマトリックス要素がある： 

: <math>
\psi^\dagger(k)|..,n_k,\ldots\rangle = \sqrt{n_k+1}\, |...,n_k+1,\ldots\rangle
</math>

: <math>
\psi(k) | ...,n_k, \ldots \rangle = \sqrt{n_k}\, |...,n_k-1,\ldots\rangle
</math>

そのため、演算子 

: <math>
\sum_k \psi^\dagger(k)\psi(k) = \int_x \psi^\dagger(x)\psi(x)
</math>

粒子の総数をカウントする。 

これで、<math>\scriptstyle \psi(x)</math>、<math>\scriptstyle \psi^\dagger(x)</math>の行列要素が調和振動子に似た交換関係があることが容易に見て取れる。 

# <math> [\psi(x),\psi(y)] = [\psi^\dagger(x),\psi^\dagger(y)] = 0 </math>
# <math> [\psi(x),\psi^\dagger(y)] = \delta(x-y) </math>

そのため、配位空間にある粒子が実際に存在するのは困難ではない。 

オペレーター<math>\scriptstyle \psi^\dagger(x) \psi(x)</math>は粒子を除去および置換し、xに粒子が存在するかどうかを検出するセンサーとして機能する。 オペレーター<math>\scriptstyle \psi^\dagger \nabla\psi</math>は多体波動関数の勾配を状態に掛ける働きをする。 オペレーター 

: <math>
H= - \int_x \psi^\dagger(x) {\nabla^2 \over 2m } \psi(x)
\,</math>

はいかなる基底に作用する場合でも、シュレディンガー方程式の右辺を構築するように作用するため

: <math>
\psi^\dagger i{d\over dt} \psi = \psi^\dagger {-\nabla^2 \over 2m} \psi
\,</math>

が演算子方程式として成立します。 これは任意の状態に当てはまるため、 <math>\scriptstyle \psi^\dagger</math>を除去しても成立する。 

: <math>
i {\partial \over \partial t} \psi = {-\nabla^2 \over 2m} \psi
\,</math>

相互作用を追加するには、場の方程式に非線形項を追加する。 場の形は、ポテンシャルが対称性の制限に従うことを自動的に保証します。 

=== 場のハミルトニアン ===
運動方程式を再現する場のハミルトニアンは 

: <math>
H= {\nabla \psi^\dagger \nabla\psi \over 2m} 
</math>

この演算子の[[ハイゼンベルクの運動方程式]]は、場の運動方程式を再現する。 

古典場ラグランジアンを見つけるには、ルジャンドル変換をハミルトニアンの古典極限に適用する。 

: <math>
L = \psi^\dagger \left(i {\partial \over \partial t} + {\nabla^2 \over 2m} \right)\psi
\,</math>

これは古典的には正しいが、量子力学的変換は、これほど単純ではない。経路積分を エルミートではなく、固有状態が直交しない演算子ψの固有値でとるためである。場の状態に対する経路積分は単純には過剰なカウントがおこる。 Lの時間微分項には、異なるフィールド状態間のオーバーラップが含まれるため、これは当てはまらない。

=== クライン-ゴルドン場との関係 ===
[[クライン–ゴルドン方程式|クライン-ゴルドン]]場の非相対論的限界<math>c\to\infty</math> は、粒子と反粒子を表す2つのシュレーディンガー場である。 これを明確にするために、この派生ではすべての単位と定数が保ちながら導出を行う。相対論的な場の [[位置空間と運動量空間|運動量空間]]での [[生成消滅演算子|消滅演算子]] <math>\hat{a}_\mathbf{p},\hat{b}_\mathbf{p}</math>から、以下のものを定義する。 

: <math>\hat{a}(x)=\int d\Omega_\mathbf{p}\hat{a}_\mathbf{p}e^{-i p\cdot x},\quad \hat{b}(x)=\int d\Omega_\mathbf{p}\hat{b}_\mathbf{p}e^{-i p\cdot x}</math> 、 

ただし<math>\hat\phi(x)=\hat a(x)+\hat b^\dagger(x)</math> とする。 2つの「非相対論的」場<math>\hat{A}(x)</math>、<math>\hat{B}(x)</math> は次のように定義する。 

: <math>\hat{a}(x)=\frac{e^{-i m c^2 t/\hbar}}{\sqrt{2mc^2}}\hat{A}(x),\quad \hat{b}(x)=\frac{e^{-i m c^2 t/\hbar}}{\sqrt{2mc^2}}\hat{B}(x)</math> 、 

静止質量に加えて、相対論的尺度であるラグランジアン密度の痕跡により、急速に位相が振動する成分を除外する操作を考えることで<math>L = (\hbar c)^2\partial_\mu\phi\partial^\mu\phi^\dagger - (mc^2)^2\phi\phi^\dagger</math>は以下のようになる。 

: <math>\begin{align}
L &= (\hbar c)^2(\partial_\mu\hat{a}\partial^\mu\hat{a}^\dagger + \partial_\mu\hat{b}\partial^\mu\hat{b}^\dagger + \ldots) - (mc^2)^2(\hat{a}\hat{a}^\dagger + \hat{b}\hat{b}^\dagger + \ldots) \\
 &= \frac{1}{2mc^2}\left[(\hbar c)^2(\frac{-imc}{\hbar}\hat{A} + \partial_0\hat{A})(\frac{imc}{\hbar}\hat{A}^\dagger + \partial^0\hat{A}^\dagger) - (\hbar c)^2\partial_x\hat{A}\partial^x\hat{A}^\dagger + (A\Rightarrow B) + \ldots - (mc^2)^2(\hat{A}\hat{A}^\dagger + \hat{B}\hat{B}^\dagger + \ldots)\right] \\
 &= \frac{\hbar^2}{2m}\left[ \frac{imc}{\hbar}(\partial_0\hat{A}\hat{A}^\dagger-\hat{A}\partial^0\hat{A}^\dagger) +
\partial_\mu\hat{A}\partial^\mu\hat{A}^\dagger + (A\Rightarrow B) + \ldots
\right]
\end{align}</math>

ここで、<math>e^{\pm 2 i m c^2 t/\hbar}</math>項は楕円で表され、非相対論的極限では消える。 4勾配を展開すると、全体の発散は無視され、<math>\frac{1}{c}</math>に比例する項はまた、非相対論的極限で消える。 これらの統合によって、 

: <math>\begin{align}
L_A &= i\hbar\hat{A}^\dagger\hat{A}' + \frac{\hbar^2}{2m}\left[\frac{1}{c^2}\hat{A}'{\hat{A}'}^\dagger - \partial_x\hat{A}\partial^x\hat{A}^\dagger \right] \\
 &= i\hbar\hat{A}^\dagger\hat{A}' + \frac{\hbar^2}{2m}\left[ -(\partial_x(\hat{A}\,\partial^x\hat{A}^\dagger) - \hat{A}\,\partial_x\partial^x\hat{A}^\dagger) \right] \\
 &= i\hbar\hat{A}^\dagger\hat{A}' + \frac{\hbar^2}{2m} \hat{A}\,\partial_x\partial^x\hat{A}^\dagger .


\end{align}</math>

最終的なラグランジアンの形式は以下のようになる。<ref>{{Cite journal|last=Padmanabhan|first=T.|date=9 July 2018|title=Obtaining the non-relativistic quantum mechanics from quantum field theory: issues, folklores and facts|journal=The European Physical Journal C|volume=78|issue=7|pages=563|arxiv=1712.06605|DOI=10.1140/epjc/s10052-018-6039-y}}</ref> 

: <math>
L = \frac{1}{2}\left[ \hat{A}^\dagger(i\hbar\frac{\partial}{\partial t} + \frac{\hbar^2\nabla^2}{2m})\hat{A} + \hat{B}^\dagger(i\hbar\frac{\partial}{\partial t}+ \frac{\hbar^2\nabla^2}{2m})\hat{B} + \text{h.c.} \right]
</math>  

== 参照資料 ==
{{Reflist}}

{{デフォルトソート:しゆれえていんかあは}}
[[Category:場の量子論]]
[[Category:素粒子物理学]]
[[Category:未査読の翻訳があるページ]]
[[Category:シュレーディンガー方程式]]
[[Category:人名を冠した数式]]