1 平均場近似の基本概念
1.1 平均場近似の定義
平均場近似は、多体相互作用をもつ系を、各構成要素が他の要素の影響を「平均的な場」として受けると仮定して置き換える近似である。相互作用の複雑な同時多体系を、相関の詳細を捨象した有効理論へ移し、解析可能な形にする点が特徴である。近似結果は、自己無撞着に決めた有効場に従って、各自由度が独立に振る舞うように記述される。
1.2 「平均的な場」の意味
1.2.1 有効場の導入（平均化）
「平均的な場」は、他の要素の状態を逐一追跡する代わりに、ある観測量の期待値としてまとめ上げた量である。例えば、スピン系では他スピンの総合的な偏りを表す磁化が、有効磁場の役割を担う。粒子系では密度や分布の期待値が有効ポテンシャルとして現れ、相互作用はその平均値により置換される。
このとき近似の核は、相関関数における揺らぎ成分を、主に平均値に押し込めることにある。結果として、もとの系の「同時性」を一部失い、取り扱いの簡約度が上がる。
1.2.2 自己無撞着条件
平均場は導入するだけでは決まらない。導入した有効場が、そこから計算される期待値と一致するように定めるのが自己無撞着条件である。つまり、有効場で記述された有効理論から得た観測量の平均が、仮定した平均場そのものの値と整合する必要がある。
この条件が満たされる点（または満たす複数の解）は、物理的な相（安定状態）を表す。解の多重性がある場合、温度やパラメータを変えたときに、安定な解が切り替わることで相転移の定性的描像が得られることがある。
1.3 多体問題の単純化の狙い
多体相互作用をそのまま扱うと、自由度間の相関が高次に絡み合い、解析的解法が急速に困難になる。平均場近似は、この複雑性を「平均値を用いた有効描像」に置き換えることで、自己無撞着により方程式系を閉じることを狙う。
利点は、相図や臨界挙動の定性的理解、あるいは粗い定量推定を比較的低い計算量で得られる点にある。一方で、元の系に本質的な揺らぎが強く寄与する領域では、平均化によって主要な物理が薄められ、精度が下がる。
2 数理的定式化
2.1 ハミルトニアンの平均化
2.1.1 平均場の割り当て（オーダーパラメータ）
平均場近似では、相互作用項の中に現れる期待値を「オーダーパラメータ」として割り当てることが多い。オーダーパラメータは、相対称性が自発的に破れる状況などで、特定の対称性に対応して非ゼロになる量として理解される。
例として、磁性では磁化がオーダーパラメータになり得るし、超伝導では対生成に関係する凝縮成分が同様の役割を担う。割り当てられた量は、以後の計算で有効理論のパラメータとして扱われる。
2.1.2 近似の具体的手順
具体手順の典型は、相互作用を含む演算子積を、期待値を用いて線形化することである。一般に、ある量 \(A\) と \(B\) の積が現れるとき、平均場では \[ AB \approx \langle A\rangle B + A\langle B\rangle - \langle A\rangle\langle B\rangle \] のように、二次の揺らぎ成分を切り捨てる。結果としてハミルトニアンは、単体系（有効一体問題）の和に分解される形へ変換される。
その後、得られた有効理論を通して \(\langle A\rangle\) などの期待値を計算し、自己無撞着条件によりオーダーパラメータを決定する。こうして連立方程式が形成され、安定解が選ばれる。
2.2 有効理論（有効ハミルトニアン・有効作用）
2.2.1 変分原理による導出
平均場近似は、単純な線形化だけでなく、変分原理で形式的に導くこともできる。考え方としては、自由エネルギーや作用の停留条件を用いて最適な平均場を選ぶ、という枠組みである。
有効作用の言葉で書く場合、平均場の仮定に従って場の分布を限定し、その下での作用（あるいは有効汎関数）の停留点を求める。停留点が自己無撞着方程式に一致することが多く、平均化の物理的妥当性が「最小化（または停留）問題」として整理される。
2.2.2 自己無撞着方程式の解法
自己無撞着方程式は、通常は非線形方程式になる。解法は数値計算に依存する場合が多いが、臨界点近傍では小パラメータ展開により解析的な近似を行うことがある。
また、解の安定性は、自由エネルギーの曲率や二階微分により判定されることが多い。複数の解が共存する場合、温度や外場に応じて実際に実現する枝が切り替わるため、相転移の定性的描写が可能になる。
2.3 ブリルアン領域での扱い（格子系の場合）
2.3.1 格子平均と対称性
格子系では、平均場は格子の各サイトで同一か、あるいは周期構造をもつかを選ぶ必要がある。同一サイト（一様平均）の仮定は対称性が保たれる状況の記述に向き、不連続な周期性を許す場合は対称性が破れた相を表し得る。
対称性の仮定は、運動量空間での取り扱いにも影響する。特定の対称性を落とす平均場を採用すると、ブリルアン領域でのモードの混成が起こり、スペクトルが再編成されることがある。
2.3.2 単純化の例：最近接近似
格子モデルでは相互作用が短距離に限られると仮定し、最も近いサイト同士の結合だけを残す近似がよく使われる。最近接近似はその代表例で、平均場と組み合わせることで有効理論のパラメータ数が減る。
この操作は、相関の全貌を捨てるという意味でも近似であり、定量精度は対象領域に依存する。ただし対称性と低エネルギー有効自由度を反映する範囲では、相転移の概形を掴む上で役立つ。
3 代表的な適用例
3.1 磁性体（イジング模型・強磁性）
3.1.1 自発磁化と平均場方程式
強磁性のモデルでは、スピン間相互作用が磁化の自発的発現を促す。平均場近似では各スピンが、有効磁場として表された他スピンの平均影響を受けるとみなされる。結果として、磁化は有効磁場の関数として表現され、その自己無撞着により平均場方程式が得られる。
この方程式は、温度が十分低いときに自発的に非ゼロ解を持ち得て、高温ではゼロ解が安定になる形で描かれる。外場の有無、モデルの細部により数式の形は変わるが、非線形性が存在することで自発磁化の発現が自然に表現される。
3.1.2 臨界温度の概算
平均場では、磁化が小さい領域で方程式を線形化して臨界条件を見積もることができる。臨界点では磁化が急に小さくなるため、自己無撞着方程式の線形項の係数が打ち消される温度が推定される。
この概算はしばしば「平均的な空間次元の効果」を内包した形になり、実際の臨界温度を定量的に一致させない場合がある。特に揺らぎが支配的になる次元や臨界近傍では、平均場の予測からのずれが拡大しやすい。
3.2 相転移の一般的描像
3.2.1 オーダーパラメータの出現
平均場近似は、相転移をオーダーパラメータの挙動として整理する枠組みを提供する。高温側（対称性が保たれる相）ではオーダーパラメータがゼロであり、温度を下げると非ゼロの解が出現して対称性が破れる、という絵が典型である。
この描像は、自由エネルギーの停留点が温度変化に伴って変わることと対応する。非ゼロ解が出てくる条件が臨界点であり、平均場近似はそこを比較的簡便に求められる。
3.2.2 移り変わりの分類（定性的整理）
平均場の枠組みでは、自由エネルギーの形状から相転移の種類を定性的に分類できることがある。例えば、オーダーパラメータに対する有効ポテンシャルを展開したときに、係数の符号や安定化の仕方が変化することで、連続的な変化（連続転移）や不連続な跳び（第一種的な描像）が生じ得る。
ただし、揺らぎが大きい領域では平均場の分類が物理と一致しないことがある。そのため、平均場は「出発点」として理解し、必要に応じて補正や別手法で検証することが重要になる。
3.3 超伝導・対生成に関する平均場
3.3.1 ギャップの導入（定性的な位置づけ）
超伝導の平均場では、対生成に由来する凝縮成分が有効なギャップとして導入される。電子がクーパー対を形成する状況を一体的な励起スペクトルへ落とし込むことで、低エネルギーにおけるエネルギー障壁がギャップとして現れる。
平均場方程式（ギャップ方程式）は、ギャップの値が凝縮成分と整合するように自己無撞着に決まる。温度上昇により凝縮が弱まるとギャップも消失し、通常はある温度で超伝導状態が失われるという整理が可能になる。
3.3.2 キラル性や対称性との関係（一般論）
対生成の対称性（対称性の取り方）は、ギャップの角度依存や秩序の性質に影響を与える。例えば、対がどの回転・反転対称性に沿うかにより、ノード構造や位相の性質が決まり得る。平均場近似ではその対称性仮定を有効理論へ反映し、秩序パラメータの形がスペクトルへ組み込まれる。
さらに、複数成分が競合する状況では、秩序がどの成分により選ばれるかが自己無撞着に依存する。キラル性のような位相構造は、有効理論に含める次数や結合の形により現れ、定性的な理解の足場になる。
4 妥当性と限界、改良の方向性
4.1 平均化が壊れる条件
4.1.1 臨界点付近での相関の重要性
平均場近似は相関の揺らぎを単純化するため、臨界点近傍のように相関長が大きくなり長距離の揺らぎが支配的になる状況では破綻しやすい。臨界現象では、単なる平均値ではなく揺らぎの統計が普遍性を決めるため、平均化による単純化は本質の欠落につながる。
その結果、臨界指数やスケーリング則など、揺らぎにより決まる量が平均場の予測と一致しないことが多い。とはいえ、定性的な相転移の存在や秩序の形の推定には一定の価値が残る場合がある。
4.1.2 低次元系での注意
空間次元が低い系では、揺らぎが相対的に強くなる傾向がある。平均場は揺らぎを弱い補正として扱う発想を含むため、一次元や二次元のように揺らぎが不可避に効く条件では適用範囲が狭まる。
また、低次元では長距離秩序が制限される状況もあり得るため、「非ゼロの秩序パラメータが存在する」という平均場の単純な描像が成立しないことがある。したがって、対象次元と対称性、観測量の定義に注意が必要である。
4.2 補正手法
4.2.1 ゆらぎ（ガウス近似）による拡張
平均場の次の段階として、秩序パラメータの周りの揺らぎを系統的に扱う方法がある。代表的には、平均場解の近傍で有効作用を拡張し、二次（ガウス）項までを残す近似である。これにより、揺らぎが自由エネルギーや相関関数に与える主要な影響を取り込める。
ガウス近似は計算上扱いやすい一方で、強い相互作用による非ガウス的揺らぎが支配的になる領域では限界もある。そのため、領域の広さは対象モデルの性質に依存する。
4.2.2 1/N展開などの系統的改善
別の補正として、ある種のパラメータ（例えば内部自由度の数 \(N\)）を用いた展開が挙げられる。大きな \(N\) 極限では平均場が厳密に近い形になることがあり、その周辺を \(1/N\) の階数として改善できる。
この枠組みは、揺らぎの寄与がどの程度の大きさで現れるかを見積もりやすく、平均場からのずれを系統的に制御する観点を与える。展開の収束性や実際の \(N\) が十分大きいかどうかは別途検討を要するが、「改善の道筋」を明確にできる点が利点である。
4.3 数値計算・他手法との比較
4.3.1 モンテカルロとの対応（概念的比較）
モンテカルロ法は、統計的サンプリングにより元の多体問題に近い形で物理量を求められる。平均場近似の予測と比較することで、揺らぎがどの程度重要かが見えやすくなる。
概念的には、平均場は秩序パラメータ中心の描像であり、モンテカルロは相関の全統計に基づくため、臨界近傍などでは差が拡大しやすい。その差のパターンは、どの種類の相関が平均化で失われたかを示唆する材料になる。
4.3.2 変分法・有効場理論との関係
平均場は、変分法や有効場理論の流れの中で位置づけられることがある。変分法的には、有効自由エネルギーの停留条件を満たす近似として理解でき、有効場理論的には、長距離自由度を記述する理論の一部として秩序の場を導入する発想と整合的である。
また、拡張では繰り込み群的発想や高次の揺らぎ項が関与するため、平均場はより一般的な枠組みへの入口となる。比較の際は、同一の物理量（臨界指数、相関関数、スペクトルなど）を対応づけ、近似の切り捨てがどこに現れるかを確認することが有用である。