理想ボーズガスは、古典的な理想気体に類似した量子力学的な物質相です。これは、スピンが整数値でボーズ=アインシュタイン統計に従うボソンから構成されています。ボソンの統計力学は、サティエンドラ・ナート・ボーズによって光子ガス向けに開発され、アルバート・アインシュタインによって質量を持つ粒子に拡張されました。アインシュタインは、古典的な理想気体とは異なり、ボソンの理想気体は十分に低い温度で凝縮体を形成することに気付きました。この凝縮体は、ボーズ=アインシュタイン凝縮体として知られています。
ボソンは、ボーズ・アインシュタイン統計に従う量子力学的粒子、あるいは整数スピンを持つ粒子です。これらの粒子は、ヒッグス粒子、光子、グルーオン、W/Z粒子、仮説上の重力子などの素粒子、または水素原子、酸素16原子、重水素原子核、中間子などの複合粒子に分類できます。さらに、より複雑なシステムにおける準粒子の中には、プラズモン(電荷密度波の量子)のようにボソンとみなせるものもあります。
複数のボソンを含む気体を扱った最初のモデルは、ボーズによって開発された光子ガス、すなわち光子のガスでした。このモデルは、プランクの法則と黒体放射の理解を深めることにつながります。光子ガスは、質量のない相互作用しないボソンのあらゆる種類の集合に容易に拡張できます。フォノンガス(デバイモデルとしても知られています)は、金属の結晶格子の通常の振動モードを有効な質量のないボソンとして扱うことができる例です。ピーター・デバイは、フォノンガスモデルを使用して、低温での金属の比熱の挙動を説明しました。
ボーズガスの興味深い例として、ヘリウム4原子の集合体があります。4個のHe原子の系を絶対零度に近い温度まで冷却すると、多くの量子力学的効果が現れます。2.17 K以下では、集合体は超流動体、つまり粘度がほぼゼロの流体として振る舞い始めます。ボーズガスは、この相転移を説明する最も単純な定量的モデルです。主に、ボソンのガスを冷却すると、ボーズ・アインシュタイン凝縮体が形成されます。これは、多数のボソンが最低エネルギー、つまり基底状態を占める状態であり、波の干渉などの量子効果が巨視的に観測されます。
ボーズ・アインシュタイン凝縮体とボーズガスの理論は、電荷キャリアがペア(クーパー対)を形成してボソンのように振る舞う超伝導のいくつかの特徴も説明できる。その結果、超伝導体は低温では電気抵抗がゼロであるかのように振る舞う。
フェルミ・ディラック統計に従う半整数粒子(電子やヘリウム3原子など)の同等のモデルは、フェルミガス(相互作用しないフェルミオンの集合)と呼ばれます。粒子数密度が十分に低く、温度が高い場合、フェルミガスとボーズガスはどちらも古典的な理想気体のように振る舞います。[ 1 ]
理想ボーズ気体の熱力学は、大正準集団を用いて計算するのが最適である。ボーズ気体の大ポテンシャルは次のように与えられる。
ここで、和の各項は特定の単粒子エネルギー準位ε iに対応し、g iはエネルギーε iを持つ状態の数であり、zは絶対活性(または「フガシティ」)であり、化学ポテンシャルμを用いて次のように定義することもできます。
βは次のように定義される。
ここで、k Bはボルツマン定数、Tは温度です。すべての熱力学的量はグランドポテンシャルから導出でき、すべての熱力学的量は、z、β (またはT )、およびVの 3 つの変数のみの関数であると考えます。すべての偏微分は、他の 2 つの変数を一定に保ちながら、これら 3 つの変数のうちの 1 つに関して取られます。
zの許容範囲は負の無限大から+1までです。これを超える値では、エネルギーレベルが0の状態に無限個の粒子が存在せざるを得なくなるためです(エネルギーレベルは、最低エネルギーレベルが0になるようにオフセットされていると仮定します)。

箱の中の気体に関する記事で説明した手順に従い、トーマス・フェルミ近似を適用できます。この近似では、平均エネルギーが準位間のエネルギー差に比べて大きいと仮定し、上記の和を積分に置き換えることができます。この置き換えにより、巨視的なグランドポテンシャル関数が得られます。これは、:
退化度dgは、様々な状況において、一般式で表すことができる。
ここで、αは定数、Ecは臨界エネルギー、Γはガンマ関数である。例えば、箱の中の質量のあるボーズガスの場合、α = 3/2となり、臨界エネルギーは次のように与えられる。
ここで、Λは熱波長、fは縮退因子(単純なスピンレスボソンの場合はf = 1)である。調和トラップ内の質量を持つボーズガスの場合、 α = 3となり、臨界エネルギーは次式で与えられる。
ここで、V ( r ) = mω²r² / 2は調和ポテンシャルである。Ecは体積のみの関数であることがわかる。
大電位のこの積分式は、次のように評価されます。
ここで、Li s ( x ) は多対数関数です。
ボーズガスに対するこの連続体近似の問題点は、基底状態が事実上無視されているため、エネルギーがゼロの場合に縮退度がゼロになってしまうことです。この不正確さはボーズ・アインシュタイン凝縮を扱う際に深刻になり、次のセクションで詳しく説明します。後述するように、低温であっても、上記の結果はガスの凝縮していない部分の熱力学を正確に記述するのに依然として有効です。
粒子の総数は、大ポテンシャルから次のように求められます。
これはzとともに単調に増加します(最大値z = +1まで)。ただし、 z = 1に近づくときの挙動は、 αの値に大きく依存します(つまり、ガスが1次元、2次元、3次元のいずれであるか、平坦なポテンシャル井戸にあるか調和ポテンシャル井戸にあるかに依存します)。
α > 1の場合、粒子の数は有限の最大値までしか増加しない。つまり、z = 1ではN mは有限である。
ここで、 ζ ( α ) はリーマンゼータ関数です( Li α ( 1 ) = ζ ( α )を使用)。したがって、粒子数N mが固定されている場合、 βが取り得る最大値は臨界値β cです。これは臨界温度T c = 1/ k B β cに対応し、この温度以下ではトーマス・フェルミ近似が破綻します (低温では、状態の連続体はもはやこれほど多くの粒子を支えることができません)。上記の式は臨界温度について解くことができます。
例えば、箱の中の三次元ボーズガスの場合(そして、上記のE cの値を用いると、次のようになります。
α ≤ 1の場合、粒子の数に上限はありません ( n m はz が1 に近づくにつれて発散します)。したがって、たとえば 1 次元または 2 次元の箱の中の気体 (それぞれα = 1/2およびα = 1 ) には臨界温度はありません。
上記の問題は、 α > 1の場合、固定数の粒子を持つボーズガスを臨界温度以下に下げるとどうなるかという疑問を提起します。ここでの問題は、トーマス・フェルミ近似が基底状態の縮退度をゼロに設定していることですが、これは誤りです。凝縮体を受け入れる基底状態が存在しないため、粒子は状態の連続体から単純に「消えて」しまいます。しかし、巨視的な方程式は励起状態にある粒子の数を正確に推定しており、連続体から外れた粒子を受け入れるために基底状態項を単純に「追加」することは、悪い近似ではないことがわかります。
ここで、N 0は基底状態凝縮体中の粒子の数である。
したがって、巨視的極限において、T < T cの場合、 zの値は1 に固定され、N 0が残りの粒子を占めます。T > T cの場合は通常の挙動を示し、N 0 = 0となります。このアプローチにより、巨視的極限における凝縮粒子の割合が得られます。
上記のマクロスコピックなボーズガスの標準的な扱いは単純明快ですが、基底状態の導入はやや不格好です。別の方法として、基底状態を明示的に導入する方法(以下のセクションのように、グランドポテンシャルに項を加える)がありますが、これは非現実的なゆらぎの破局を引き起こします。任意の状態にある粒子の数は幾何分布に従うため、T < T cで凝縮が起こり、ほとんどの粒子が 1 つの状態にある場合、粒子の総数に大きな不確実性が生じます。これは、T < T cで圧縮率が無限大になるという事実に関係しています。代わりに、粒子の総数を固定する正準アンサンブルで計算を実行することもできますが、計算はそれほど簡単ではありません。 [ 2 ]
しかし実際には、前述の理論上の欠陥は些細な問題であり、最も非現実的な仮定はボソン間の相互作用がないという仮定である。ボソンガスの実験的実現は常に大きな相互作用を持ち、つまり理想気体ではない。相互作用はボソンの凝縮体の振る舞いの物理的性質を大きく変える。基底状態は広がり、化学ポテンシャルは零温度でも正の値に飽和し、ゆらぎの問題は消える(圧縮率は有限になる)。[ 3 ]ボーズ・アインシュタイン凝縮体の記事を参照。

より小さなメソスコピック系(例えば、数千個の粒子しかない系)の場合、基底状態項は、大ポテンシャルにエネルギーε =0の実際の離散レベルを追加することによって、より明示的に近似することができる。
その代わりにN 0 = g 0 z / 1 − z が得られます。臨界温度を越えるときの挙動は滑らかで、z は1 に非常に近づきますが、到達しません。
これは絶対零度まで解くことができます。図 1 は、 α = 3/2、k = ε c = 1の場合のこの方程式の解の結果を示しています。これは箱の中のボソンのガスに対応します。黒の実線は、 N =の場合の励起状態の割合1 − N 0 / Nです。10 000の場合、点線の黒線はN = 1000の場合の解です。青線は凝縮粒子の割合N 0 / Nです。赤線は化学ポテンシャルμの負の値をプロットし、緑線は対応するzの値をプロットします次のように定義される正規化温度τです。
これらのパラメータはそれぞれ、低温極限ではταに対して線形になり、化学ポテンシャルを除いて高温極限では1/ταに対して線形になることがわかる。粒子数が増加するにつれて、凝縮粒子と励起粒子の割合は臨界温度で不連続になる傾向がある。
粒子数を表す式は、正規化温度を用いて次のように表すことができる。
与えられたNとτに対して、この方程式をτ αについて解くと、級数の逆数展開法によってzの級数解を求めることができます。この級数展開は、 τ αのべき乗、またはτ αの逆べき乗の漸近展開のいずれかで得られます。これらの展開から、 T = 0付近およびT が無限大に近づくときの Maxwell–Boltzmann における気体の挙動を求めることができます。特に、 N が無限大に近づくときの極限に興味があり、これはこれらの展開から容易に求めることができます。
しかし、基底状態における粒子数の分散が非常に大きく、粒子数に等しいため、この小規模システムのモデリング手法は実際には非現実的である可能性がある。対照的に、通常の気体における粒子数の分散は粒子数の平方根にすぎないため、通常は無視できる。この高い分散は、凝縮状態を含むシステム全体に大正準集団を使用するという選択によるものである。[ 4 ]
拡大して考えると、その大きな可能性は次のようになる。
このポテンシャルからすべての熱力学的性質を計算できます。次の表は、低温極限、高温極限、および無限粒子数極限で計算されたさまざまな熱力学的量を一覧にしたものです。等号(=)は正確な結果を示し、近似記号は、級数の最初の数項のみが正確であることを示します。表示されます。
高温極限では、すべての量が古典的な理想気体の値に近づくことがわかる。上記の値を用いて、他の熱力学的量を計算することができる。例えば、内部エネルギーと圧力と体積の積との関係は、あらゆる温度において古典的な理想気体の場合と同じである。
定容比熱についても同様の状況が当てはまる。
エントロピーは次のように表されます。
高温極限では、次のようになることに注意してください。
これは、α = 3/2 の場合、単にサックル-テトロード方程式の言い換えである。 1 次元では、デルタ相互作用を持つボソンはフェルミオンのように振る舞い、パウリの排他原理に従う。 1 次元のデルタ相互作用を持つボーズガスは、ベーテ仮説によって厳密に解くことができる。 バルク自由エネルギーと熱力学的ポテンシャルは、Chen-Ning Yangによって計算された。 1 次元の場合、相関関数も評価された。[ 5 ] 1 次元のボーズガスは、量子非線形シュレディンガー方程式に相当する。