弱結合での臨界温度（Frank–Hainzl–Naboko–Seiringer, Hainzl–Seiringer）

定理 5.4（「BCS 汎関数と臨界温度」§5）・ ✓公理まで証明済み

この定理は有料章（研究水準・買い切り ¥200）の中にあります。主張と証明は記事の該当箇所で読めます（料金）。

閉包の状態

✓ 公理まで証明済み

証明が使う定理を前提としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています（前提の定理類 51 件、定義なども含めて 59 件）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。

Birman–Schwinger 作用素の分解✓補題 5.2・BCS 汎関数と臨界温度
対数的な発散✓補題 5.3・BCS 汎関数と臨界温度
- tanh x / x の積分の漸近形✓補題 4.7・超伝導
  - cot の部分分数展開✓命題 5.3・整関数とガンマ関数
    留数定理✓定理 5.1・留数定理と定積分への応用この先をたどる →
臨界温度の Birman–Schwinger 表示✓系 4.2・BCS 汎関数と臨界温度
- $K_T$ の単調性✓補題 3.2・BCS 汎関数と臨界温度
- 臨界温度の一意性✓系 3.3・BCS 汎関数と臨界温度
  - $K_T$ の単調性✓補題 3.2・BCS 汎関数と臨界温度
  - 常伝導状態の安定性の判定（Hainzl–Hamza–Seiringer–Solovej）✓定理 3.1・BCS 汎関数と臨界温度
    被積分関数は相対エントロピー✓補題 2.3・BCS 汎関数と臨界温度この先をたどる →
    相対エントロピーの下界✓補題 2.4・BCS 汎関数と臨界温度この先をたどる →
- Birman–Schwinger 原理✓命題 4.1・BCS 汎関数と臨界温度

証明で明示的に参照している定理は、まだありません。