物理学 › 熱力学・統計力学 › 相転移と平均場理論
平均場イジング模型の自発磁化
定理 5.3(「相転移と平均場理論」§5) ・ ✓公理まで証明済み
K=Jz/(kBT)=Tc/T(Tc:=Jz/kB)とする。
(i) φ′(m)=0 は 自己無撞着方程式 m=tanh(Km+βh) と同値である。
(ii) h=0 のとき、K≤1(T≥Tc)では解は m=0 のみで φ の最小点。K>1(T<Tc)では m=0 のほかにちょうど 2 つの解 ±m∗=0 があり、±m∗ が最小点、m=0 は極大点である。
(iii) T→Tc− で m∗≃3(1−T/Tc)、すなわち β=21。
本文で読む(証明と前後の説明)→
閉包の状態
✓ 公理まで証明済み
証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理(物理では基本仮定)までつながっています。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義
証明は Rikai の他の定理を参照していません(定義と論理だけで示されています)。
これを使っている定理 証明で参照している 1 件
関連するノック 3 問