物理学 › 構成的場の理論の原論文：反射正値性・クラスター展開・自明性 › Gawędzki–Kupiainen『Massless lattice φ⁴₄ theory』(1985) 第 1 部有料章

帯で解析的な周期関数の Fourier 係数の指数減衰

補題 4.2（「Gawędzki–Kupiainen『Massless lattice φ⁴₄ theory』(1985) 第 1 部」§4） ・ ✓公理まで証明済み

閉包の状態

✓ 公理まで証明済み

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

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

前提をたどる 証明が使う定理・定義（直接 1 件）

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

• グルサの定理（三角形版）✓定理 4.5・コーシーの積分定理と積分公式

  • 複素線積分の基本性質✓命題 2.3・コーシーの積分定理と積分公式

    • 複素線積分定義 2.2・コーシーの積分定理と積分公式
  • 複素線積分に対する微積分の基本定理✓定理 3.2・コーシーの積分定理と積分公式

    • 微分積分学の基本定理（第二部・ニュートン–ライプニッツの公式）✓定理 5.4・積分の基本定理と定積分

      • ラグランジュの平均値の定理✓定理 3.3・平均値の定理とテイラーの定理 この先をたどる →
      • タグ付き分割とリーマン和定義 2.2・積分の基本定理と定積分
    • 複素線積分の基本性質✓命題 2.3・コーシーの積分定理と積分公式（上で展開済み）
  • ML 不等式✓補題 2.4・コーシーの積分定理と積分公式

これを使っている定理 証明で参照している 3 件

• 核の一様な指数減衰（原論文 (2.42)–(2.46)）✓定理 4.7・Gawędzki–Kupiainen『Massless lattice φ⁴₄ theory』(1985) 第 1 部
• 零運動量部分の分離（原論文 (11.8)–(11.10)、(A2.15)–(A2.17)）✓命題 7.5・Gawędzki–Kupiainen『Massless lattice φ⁴₄ theory』(1985) 第 4 部
• 2 次の項のデータの収束✓補題 8.16・Gawędzki–Kupiainen『Massless lattice φ⁴₄ theory』(1985) 第 4 部