# 準備 3 の 3：背景場つきプロパゲータの 2 階差分と Hölder 評価、局所化された逆作用素、二次形式の一様な下界 — Bałaban (CMP 95・96・99) の補完

> Bałaban のプロパゲータ論文の残りの主張（ℓ² の 2 階差分、背景場つき Hölder 評価、表示 (3.185)）と、RG 論文が仮定した G₀ とレゾルベントの局所化された展開・二次形式の一様な下界を証明する。
> https://rikai.mugen-giken.com/physics/gauge-rg-papers/balaban-prereq-propagators-part-3

## 0. この記事の要点

- 格子の上の「逆行列」が、格子を細かくしても同じ定数で抑えられ、遠くの影響が指数的に小さく、局所的な部品の積の和に書ける — 準備 3 の部 1・部 2 はこれを示しました。本章は、そこで扱い切れなかった評価と、後の章が仮定として借りていた 3 つの事実を証明して、穴を埋めます。
- **2 階差分と Laplacian**: プロパゲータ $G$ について $\|\nabla\nabla GJ\|\le C\|J\|$（CMP 95 の Proposition 1.1）、その局所版（CMP 95 (1.114)、CMP 96 (2.140)、CMP 99 (3.46)）と $|\Delta G|$ の各点評価を、離散の $H^2$ 恒等式と箱の上の Caccioppoli 型の評価から証明します（<Ref to="thm-global-second-differences" />、<Ref to="thm-local-l2-second-differences" />、<Ref to="prop-laplacian-pointwise" />）。
- **背景場つきの Hölder 評価**（CMP 99 (3.43)–(3.45)）と大域の重みつき評価 (3.47) を、背景場の[正則性](/physics/gauge-rg-papers/balaban-prereq-propagators#def-regular-background) (Reg1) の局所的なゲージで方程式を平らな Laplacian の摂動に書き直して示します（<Ref to="thm-background-holder" />、<Ref to="cor-global-weighted-bounds" />）。
- **局所化された逆作用素**: 近似逆作用素と局所的な逆の貼り合わせから逆作用素の局所化された展開を作る一般論（<Ref to="prop-approximate-inverse-expansion" />）を置き、部 1 で概略だった $G_0$ の展開（<Ref to="thm-g0-localized-expansion" />）と、RG II の入力 (C3) のレゾルベント $(x+\mathcal A)^{-1}$ の展開（<Ref to="thm-resolvent-localized-expansion" />）を証明します。
- **流れを独立な変数にしたプロパゲータ**: くりこみ群の論文は、Wilson 作用の勾配 $J$ を配位と無関係な変数 $\mathbf J$ に替え、配位には 1 階の条件だけを課した空間でプロパゲータの解析性を使います。その作用素を定義し、展開と評価を $|\mathbf J|$ の大きさだけから証明します（<Ref to="def-delta-flat" />、<Ref to="lem-g-flat-localized-expansion" />）。
- **二次形式の一様な下界**: 揺らぎ場の二次形式 $C^*\Delta^{(k)}C$ が体積と段数によらない正の下界をもつこと（RG I・II・III が仮定した入力 (C2)）を、軸ゲージへの分解、指数型のゲージ固定項、部 1 の軸ゲージの下界から証明します（<Ref to="thm-uniform-quadratic-lower-bound" />）。あわせて単位格子の共分散の表示 (3.185) を「ゲージの切り口の取り替え」として導きます（<Ref to="thm-unit-lattice-covariance-representation" />）。
- **領域つきの版**: 背景場が領域 Ω の近くでしか正則でなく、揺らぎ場が Ω のボンドの上だけにある場合（RG III の第 1 段）の下界を、第 0 段について証明します（<Ref to="thm-domain-quadratic-lower-bound" />、<Ref to="cor-first-step-quadratic-form" />）。定数は次元・ブロックの大きさ・群だけで決まり、体積にも Ω の形にもよりません。揺らぎ場が Ω から外へ出るボンドの上にもある場合（原論文のボンドの規約）も、同じ定数で示します（<Ref to="thm-domain-quadratic-lower-bound-outgoing" />、<Ref to="cor-first-step-quadratic-form-outgoing" />）。

## 1. 動機

### 1.1. 何が欠けていたか

場の量子論を格子で作るとき、各段のガウス積分の共分散（プロパゲータ）が「良い逆行列」であることがすべての評価の土台になります。プロパゲータの具体的な形は部 1 の[基本の作用素](/physics/gauge-rg-papers/balaban-prereq-propagators#def-basic-operators)の定義にあります。良い、とは、(i) 大きさと減衰が格子間隔によらないこと、(ii) 遠くの配位に弱くしか依存しないこと、(iii) 正定値性が一様であること、の 3 つです。

T. Bałaban のプロパゲータの 3 論文（CMP 95、96 (1984)、99 (1985)）はこれらを示しました。準備 3 の部 1 [背景場中のプロパゲータ](/physics/gauge-rg-papers/balaban-prereq-propagators) と部 2 [自由場の一様評価](/physics/gauge-rg-papers/balaban-prereq-propagators-part-2) は大部分を証明しましたが、監査で次の不足が残りました。

1. $\ell^2$ の 2 階差分の評価と $|\Delta G|$ の各点評価が定理に入っていない。
2. 背景場つきの Hölder 評価 (3.43)–(3.45) と大域の重みつき評価 (3.47) が範囲外とされた（部 1 の <Ref to="physics/gauge-rg-papers/balaban-prereq-propagators#rem-holder-background" />）。
3. 部 1 の <Ref to="physics/gauge-rg-papers/balaban-prereq-propagators#thm-propagator-norm-bounds" /> の 6 のうち、$G_0$ の局所化された展開は概略だった。単位格子の共分散の表示 (3.185) の導出も未収録だった。

さらに、くりこみ群の論文を読む章が、次の 2 つを仮定として借りていました。

4. **(C2)** 揺らぎ場の二次形式 $C^*\Delta^{(k)}C$ の一様な正の下界。RG I の第 1 部 <Ref to="physics/gauge-rg-papers/balaban-rg-1-part-1#prop-new-action-representation" />、RG III の第 1 部の仮定 (P)、RG II の第 2 部 <Ref to="physics/gauge-rg-papers/balaban-rg-2-part-2#def-covariance-input" /> の (C2)。
5. **(C3)** レゾルベント $(x+\mathcal A)^{-1}$（$0\le x\le\gamma_1$）の局所化された展開。RG II が原論文の言う「(3.185) [13] の $\tilde G_2$ を $\tilde G_3(x)$ に替えた表示」に委ねた部分。

本章はこの 5 つを証明します。

### 1.2. 物理への含意

4 次元 Yang–Mills 理論の紫外安定性の証明は、各段の揺らぎの積分を「局所化された項の和」に書き、体積に比例する評価を得ることに帰着します。項の局所化はプロパゲータの局所化された展開から、ガウス積分の存在と規格化は二次形式の一様な下界から来ます。したがって (C2)(C3) が欠けると、RG I の小場の変換は「仮定つきの定理」にとどまります。QED$_4$ のような可換の理論でも、大場の領域の近くでは非自明な背景場のまわりの多スケールのプロパゲータが現れるので、本章の評価はそのまま使えます。可換の場合は $R(U)$ が恒等写像になり、§3–§4 の摂動の項はさらに簡単になります。

### 1.3. 原論文との対応

| 原論文 | 本章 |
|---|---|
| CMP 95 Prop. 1.1 (1.89)(1.90) | <Ref to="thm-global-second-differences" /> |
| CMP 95 (1.114)、CMP 96 (2.140)、CMP 99 (3.46)、Thm 3.3 | <Ref to="thm-local-l2-second-differences" /> |
| CMP 95 (1.110)、CMP 96 (2.136)、CMP 99 (3.42) の $\Delta G$ | <Ref to="prop-laplacian-pointwise" /> |
| CMP 99 Thm 3.12 の Laplacian の除外 | <Ref to="lem-delta-tilde-structure" />、<Ref to="rem-laplacian-g-original" /> |
| CMP 99 (3.40)(3.43)–(3.45)、Thm 3.3 | <Ref to="def-covariant-holder" />、<Ref to="thm-background-holder" /> |
| CMP 99 (3.47) | <Ref to="cor-global-weighted-bounds" /> |
| CMP 99 (3.35)(3.36) と (Reg2) | <Ref to="rem-reg2-vs-336" /> |
| CMP 99 Thm 3.10 と pp.414–415 の打ち消し | <Ref to="thm-g0-localized-expansion" /> |
| RG I (1.8)–(1.14)、(3.12) の後、RG II §1 の「$\mathbf U,\mathbf J$ についての解析性」（流れを独立な変数にしたプロパゲータ） | <Ref to="def-first-order-regular-pair" />、<Ref to="def-delta-flat" />、<Ref to="lem-g-flat-localized-expansion" />、<Ref to="cor-expansion-term-holder-flat" />、<Ref to="rem-flat-vs-literal" /> |
| RG II (2.7) の前提（[13] (3.185) の変種） | <Ref to="thm-resolvent-localized-expansion" />、<Ref to="cor-input-c3" /> |
| CMP 99 (3.156)、RG I (2.11)、RG III (1.16) の正定値性 | <Ref to="thm-uniform-quadratic-lower-bound" />、<Ref to="cor-rg-quadratic-forms" /> |
| CMP 99 p.428 の Dirichlet 境界条件つきの下界（$k=0$）、RG III (1.16) の正定値性 | <Ref to="lem-domain-axial-poincare" />、<Ref to="thm-domain-quadratic-lower-bound" />、<Ref to="cor-first-step-quadratic-form" /> |
| CMP 99 (3.155)–(3.186) | <Ref to="lem-tree-decomposition" />、<Ref to="prop-slice-change" />、<Ref to="thm-unit-lattice-covariance-representation" /> |

（この章の続きは購入者向けです。）