イジング模型

統計力学において、イジング模型（イジングもけい、、イジングモデルとも言う）とは二つの配位状態をとる格子点から構成され、最隣接する格子点のみの相互作用を考慮する格子模型。強磁性体の模型（モデル）であるとともに、二元合金、格子気体の模型としても用いられる。スピン系のモデルとしては非常に単純化されたモデルであるが、相転移現象を記述可能なモデルであり、多くの物理学者によって、研究されてきた。また、この単純化された性質により、厳密な解析が可能であり、特に外部磁場の無い二次元イジング模型は、厳密解が得られる可解格子模型の一種である。1920年にドイツの物理学者によって、提案された。イジング模型の名は、レンツの博士課程の指導学生であり、その研究を行ったエルンスト・イジングの名前に因む。1944年に、ラルス・オンサーガーが二次元イジング模型の厳密解を求め、相転移が起きることを示したが、この結果は、統計力学における金字塔の一つとされる。
概要.
ハイゼンベルク模型をより簡単化したもので、そのハミルトニアンは、
である。"σi" は（結晶）格子点 "i" 上のスピン。自由度は上向き (+1) と下向き (−1) のみである。"J" は最隣接スピン間の相互作用によるエネルギー（交換相互作用エネルギー）である。formula_1は最隣接格子点のみ和を取ることを意味する。ここで、隣り合う格子点上のスピン同士が、お互い上向き (+1 × +1) または下向き (−1 × −1) の場合（スピンが平行）、−"J"/2、互いに逆向き（上向きと下向き：1 × −1または−1 × 1、スピン反平行）の場合、"J"/2 となる。
イジングの提案の段階で、一次元（格子系）での厳密な解は求められていて、有限温度での相転移を起こさないことが示されていた。その後、1944年にラルス・オンサーガーが二次元イジング模型の厳密解を求めた。これは相転移を起こし、この結果は、相転移現象の記述、理解のために大変重要な役割を果たしている。オンサーガーの方法以外にも外部磁場のない二次元イジング模型の厳密解を求める方法がいくつか知られている。しかし、外部磁場のある場合の厳密解は得られていない。
三次元イジング模型の厳密解は知られていないが、共形ブートストラップを用いて解析的に臨界指数を求める試みがなされている
厳密解以外にも平均場近似や繰り込み群、級数展開（低温展開、高温展開）の手法などによる近似解が知られている。と、これらを用いた数値計算手段を使って近似的に解かれる。
この模型は、結晶表面のラフニング転移や合金の規則‐不規則（秩序‐無秩序）転移、異方性の大きな磁性の問題などに応用されている。
1次元モデル.
相互作用の減衰が "α" > 1 で formula_2 であれば、熱力学的極限が存在する。
イジングによる完全解.
（周期的境界条件、または、自由境界条件）近接相互作用の場合、完全解が存在する。周期境界条件を持つ格子 "L" の上の 1次元イジングモデルのエネルギーは、
である。ここに "J" と "h" は、この単純化された場合には "J" は定数で近隣間の相互作用の強さを表し、"h" は格子に適用された定数の外場であるので、任意の数値で問題ない。従って、自由エネルギー(free energy）は、
であり、スピン-スピン相関函数は、
である。ここに "C"("β") と "c"("β") は "T" > 0 の正の値の函数である。しかし、"T" → 0 とすると、逆の相関の長さ、"c"("β") は 0 となる。