グロス＝ピタエフスキー方程式

グロス＝ピタエフスキー方程式（グロス＝ピタエフスキーほうていしき、テンプレート:Lang-en-short）は、ボソン間相互作用が擬ポテンシャルとして表される理想的なボソン多体系の、ハートリー＝フォック近似の下での基底状態を記述するモデルである。

グロス＝ピタエフスキー方程式の名前は、テンプレート:仮リンクテンプレート:Sfnとレフ・ピタエフスキーテンプレート:Sfnに因む。グロス＝ピタエフスキー方程式は、グロスおよびピタエフスキーの頭文字を取ってしばしばGP方程式と呼ばれる。あるいは更に短縮してGPと呼ぶこともある。

ハートリー＝フォック近似において テンプレート:Mvar 体のボソン系全体を表す波動関数 テンプレート:Math は、個々のボソンに対応する波動関数たち テンプレート:Math の積状態として表すことができる。

$\mathrm{\Psi }({𝒓}_1,{𝒓}_2,\dots ,{𝒓}_N)=\psi ({𝒓}_1)\psi ({𝒓}_2)\dots \psi ({𝒓}_N)$

ここで テンプレート:Math は テンプレート:Mvar 番目のボソンの位置を表す。

擬ポテンシャルモデルのハミルトニアン テンプレート:Mvar として以下のものを考える。

$H=\sum _{i=1}^N\left\{(-\frac{{\hslash }^2}{2m}\frac{{\partial }^2}{\partial {𝒓}_i^2}+V({𝒓}_i))\right\}+\sum _{i<j}\frac{4\pi {\hslash }^2{a}_{\mathrm{s}}}{m}\delta ({𝒓}_i-{𝒓}_j).$

テンプレート:Mvar はボソンの質量、テンプレート:Math は外場によるポテンシャル、テンプレート:Math はボソン-ボソン散乱長 テンプレート:En を表す。また テンプレート:Math はデルタ関数である。 一粒子波動関数がグロス＝ピタエフスキー方程式

$(-\frac{{\hslash }^2}{2m}\frac{{\partial }^2}{\partial {𝒓}^2}+V(𝒓)+\frac{4\pi {\hslash }^2{a}_{𝒔}}{m}|\psi (𝒓){|}^2)\psi (𝒓)=\mu \psi (𝒓)$

を満たす場合、規格化条件 $\int \mathrm{d}V|\mathrm{\Psi }{|}^2=N$ の下で、全系の波動関数はハミルトニアンの期待値を最小化する。

上記の方程式はボース＝アインシュタイン凝縮体の一粒子波動関数に対するモデル方程式となっている。グロス＝ピタエフスキー方程式はギンツブルグ＝ランダウ方程式と似た形をしており、また非線形シュレーディンガー方程式として言及されることも多い。

ボース＝アインシュタイン凝縮体とは、すべてのボソンが同じ量子状態をとり、従ってすべてのボソンが同じ波動関数によって記述されるようなボソン気体である。自由粒子の運動は一粒子のシュレーディンガー方程式によって記述できる。一方で実在気体に関して、粒子間の相互作用は適当な多体のシュレーディンガー方程式を扱う必要がある。気体粒子間の平均距離が散乱長より大きい場合（このような状況を希薄極限 テンプレート:En と呼ぶ）、粒子間の相互作用ポテンシャルを近似することができ、グロス＝ピタエフスキー方程式においては擬ポテンシャルで置き換えられる。

グロス＝ピタエフスキー方程式の非線形性は粒子間相互作用に起源を持つ。粒子間相互作用とグロス＝ピタエフスキー方程式の非線形性との関係は、グロス＝ピタエフスキー方程式の相互作用結合定数をゼロへ持って行くことで明らかになる（詳細は次節）：結合定数の影響を無視できるなら、グロス＝ピタエフスキー方程式はトラップポテンシャルに束縛される粒子の一粒子シュレーディンガー方程式へと回帰する。

方程式の構成

グロス＝ピタエフスキー方程式はシュレーディンガー方程式に相互作用項を加えた形をしている。結合定数 テンプレート:Mvar は相互作用する二つのボソンの間の散乱長 テンプレート:Math に比例する：

$g=\frac{4\pi {\hslash }^2{a}_{\mathrm{s}}}{m}.$

ここで $\hslash$ は換算プランク定数であり テンプレート:Mvar はボソンの質量である。

エネルギー密度は

$ℰ=\frac{{\hslash }^2}{2m}|\mathrm{\nabla }\mathrm{\Psi }(𝒓){|}^2+V(𝒓)|\mathrm{\Psi }(𝒓){|}^2+\frac{1}{2}g|\mathrm{\Psi }(𝒓){|}^4$

となる。ここで テンプレート:Math は波動関数かあるいは秩序変数であり、テンプレート:Math は外場によるポテンシャルである。

粒子数が保存する、時間に依存しないグロス＝ピタエフスキー方程式は以下のようになる。

$\mu \mathrm{\Psi }(𝒓)=(-\frac{{\hslash }^2}{2m}{\mathrm{\nabla }}^2+V(𝒓)+g|\mathrm{\Psi }(𝒓){|}^2)\mathrm{\Psi }(𝒓)$

ここで テンプレート:Mvar は化学ポテンシャルである。化学ポテンシャルは波動関数の規格化条件によって与えられる。

$N=\int |\mathrm{\Psi }(𝒓){|}^2{\mathrm{d}}^{3}r.$

時間に依存しないグロス＝ピタエフスキー方程式より、調和トラップなど様々なトラップポテンシャル中でのボース＝アインシュタイン凝縮体の振る舞いを見ることができる。

時間に依存するグロス＝ピタエフスキー方程式は以下のように表される。

$i\hslash \frac{\partial \mathrm{\Psi }(𝒓,t)}{\partial t}=(-\frac{{\hslash }^2}{2m}{\mathrm{\nabla }}^2+V(𝐫)+g|\mathrm{\Psi }(𝒓,t){|}^2)\mathrm{\Psi }(𝒓,t)$

時間に依存するグロス＝ピタエフスキー方程式は、ボース＝アインシュタイン凝縮体の動力学を記述する。時間に依存するグロス＝ピタエフスキー方程式はポテンシャルに捕獲された気体の集団モードの研究などで用いられる。

解

グロス＝ピタエフスキー方程式は非線形偏微分方程式であり、以下に示すいくつかの特殊な状況を除けば、解析解を得ることは困難である。そのような事情から、様々な方法を駆使して解の近似がなされている。

解析解

自由粒子

グロス＝ピタエフスキー方程式から得られる解析解で最も単純なものは自由粒子解である。外場のない場合、

$V(𝒓)=0$

グロス＝ピタエフスキー方程式の解として以下のものが得られる。

$\mathrm{\Psi }(𝐫)=\sqrt{\frac{N}{V}}{e}^{i𝒌\cdot 𝒓}$

この解はしばしばハートリー解（テンプレート:Lang-en-short）と呼ばれる。ハートリー解はグロス＝ピタエフスキー方程式を満足するが、相互作用項によりエネルギースペクトルにはギャップが残る。

$E(𝒌)=N[\frac{{\hslash }^2{k}^2}{2m}+g\frac{N}{2V}]$

テンプレート:仮リンクテンプレート:Sfnより、斥力相互作用のあるボソン気体はエネルギーギャップを持たないため、ボソン気体に対しハートリー解をそのまま適用することはできない。

ソリトン

ボース＝アインシュタイン凝縮体中では、ボソン間の相互作用が引力であるか斥力であるかによって、後述する明るいソリトン テンプレート:En と暗いソリトン テンプレート:En のいずれかの一次元ソリトンが形成され得る。いずれのソリトンも一様な系における局所的な凝縮体の擾乱と理解される。

ボソン間に斥力相互作用が働く、結合定数が正 (テンプレート:Math) である場合、グロス＝ピタエフスキー方程式の特殊解として次のものが得られる。

$\psi (x)={\psi }_0\tanh \left(\frac{x}{\sqrt{2}\xi }\right).$

ここで テンプレート:Math は無限遠での凝縮体の波動関数の値を表し、$\xi =\hslash /\sqrt{2m{n}_{0}g}$ はコヒーレント長を表す。上記の解の波動関数は凝縮体の暗いソリトンに対応する。暗いソリトンが実現する系では凝縮体の密度分布は一様ではなく、原点で密度がゼロとなる。 暗いソリトンは位相欠陥の一種であり、テンプレート:Mvar の符号が原点で反転することによって位相に テンプレート:Math だけずれが生じる。 結合定数が負 (テンプレート:Math) である、ボソン間に引力相互作用が働く状況では、ボース＝アインシュタイン凝縮体の波動関数は以下のようになる。

$\psi (x,t)=\psi (0)e^{-i\mu t/\hslash }\frac{1}{\cosh \left[\sqrt{2m|\mu |/{\hslash }^2}x\right]}$

ここで テンプレート:Math は化学ポテンシャルである。上記の波動関数は明るいソリトンに対応する。明るいソリトンが実現する系では凝縮体の分布は原点に集中する。

変分法による近似解

厳密な解析解が適用できる系からかけ離れた状況にある系に対しても、変分法を用いた近似によって解を評価することができる。基本的なアイデアは、波動関数に対して変分に用いる何らかのパラメタを設定し、系の自由エネルギーを考えることである。基底状態の波動関数は自由エネルギーを最小化する変分パラメタを決定することによって得られる。

トーマス＝フェルミ近似

ボソン気体系の粒子数が非常に大きい場合、ハミルトニアンのボソン間相互作用項の寄与はボソンの運動エネルギー項よりはるかに大きくなる。従って、粒子数が充分大きい場合には運動エネルギー項を無視することができる。（全体に対し寄与の小さい）運動エネルギー項をハミルトニアンから落とす近似をテンプレート:仮リンクという。トーマス＝フェルミ近似の下で、グロス＝ピタエフスキー方程式の解は厳密に求めることができ、以下のようになる。

$\psi (x)=\{\begin{array}{cc}\sqrt{\frac{\mu -V(x)}{Ng}}& (\frac{\mu -V(x)}{g}\ge 0)\\ 0& \mathrm{o}\mathrm{t}\mathrm{h}\mathrm{e}\mathrm{r}\mathrm{w}\mathrm{i}\mathrm{s}\mathrm{e}\end{array}$

参考文献

• テンプレート:Cite journal
• テンプレート:Cite journal
• テンプレート:Cite journal
• テンプレート:Cite book.
• テンプレート:Cite book.

外部リンク

• Trotter-Suzuki-MPI リー＝トロッター積公式の応用であるトロッター＝鈴木分解を利用した巨大スケールのシュレーディンガー方程式シミュレーション用の並列計算ライブラリ。主な対象としてグロス＝ピタエフスキー方程式が含まれている。