# P(φ)₂ 模型の構成：Nelson の評価・Feynman–Kac–Nelson 公式・無限体積極限 > 2 次元の P(φ)₂ 模型を、Nelson の評価で下に有界な有限体積ハミルトニアンと Euclid 測度として構成する。Feynman–Kac–Nelson 公式、相関不等式とクラスター展開による無限体積極限、OS 公理の検証と Wightman 理論の再構成までを述べる。 > https://rikai.mugen-giken.com/physics/constructive-qft/p-phi-2 ## 0. この記事の要点 粒子が生まれたり消えたりする量子的な場の理論を、数学として矛盾なく作れるのか、という問いがあります。本章は、空間 1 次元・時間 1 次元の世界（2 次元時空）という最も簡単な設定で、「作れる」ことを示す道筋を描きます。鍵は、時間を虚数にした Euclid 時間で考えて、量子の計算をランダムな関数の平均の評価に置き換えることです。読み終えると、この模型のエネルギーが下に抜けない理由と、空間を無限に広げる極限の取り方の見取り図が持てます。 - $P$ を正の最高次係数をもつ偶数次の多項式とします。2 次元時空の $P(\phi)_2$ 模型は、自由ハミルトニアン $H_0=\mathrm{d}\Gamma(\omega)$ に空間切断 $g$ 付きの相互作用 $V(g)=\int g(x)\,:\!P(\phi(x))\!:\,dx$ を加えたものです。紫外発散（短距離側の無限大）は Wick 順序（同じ点での自己縮約を引く操作）だけで処理でき、くりこみは質量の Wick 定数 $c_\kappa\sim(2\pi)^{-1}\log\kappa$ の引き算で尽きます。 - 道具は前章の **Nelson の評価** $e^{-V}\in\bigcap_{p<\infty}L^p$ です。本章ではこれを時刻 0 の場（空間 1 次元）に移し、紫外切断について一様な形に整えて使います。偶数次・正の最高次係数という仮定が外せないことは、[コヒーレント状態](/physics/fock-space/segal-field-weyl#def-coherent-state)でエネルギーが $-\infty$ に落ちる例で確かめます。 - 自由場の **Feynman–Kac–Nelson 公式** $j_s^*j_t=e^{-|t-s|H_0}$ を相互作用に延ばすと、$e^{-TH(g)}$ の行列要素が Euclid 測度 $e^{-U}d\mu_C$ の積分で表されます。これと超縮小性を組み合わせると、$H(g)$ の下への有界性が Euclid 側の $L^r$ 評価 1 本から従います。 - 無限体積極限は 2 通りに得られます。$\phi^4$ 型（偶多項式 $-\mu\phi$）では Dirichlet 境界条件の下で Schwinger 関数（場の積の期待値、Euclid 側の相関関数）が体積について単調増加し（Nelson）、弱結合では Glimm–Jaffe–Spencer のクラスター展開（領域を小さな正方形に分けて、つながりの寄与を足し上げる方法）で極限の存在・一意性・質量ギャップが示されます。 - 得られた Schwinger 関数は OS 公理（Euclid 側の関数が満たすべき条件の一覧）を満たし、OS 再構成によって 2 次元 Minkowski 時空の Wightman 理論（通常の時間をもつ場の量子論の公理系）を与えます。4 点 Ursell 関数が 1 次で $0$ でないので、これは自由場ではありません。 ## 1. 動機 相互作用する相対論的場の量子論が数学的に存在するか、という問いに最初に肯定的に答えたのが $P(\phi)_2$ 模型です。4 次元の $\phi^4$ 理論では質量・結合定数・場の強さのくりこみがすべて必要で、格子からの極限は自明になると考えられています（[自明性の議論](/physics/constructive-qft/random-current)）。空間 1 次元では紫外発散が弱く、発散するのは同一点での自己縮約（tadpole）だけです。これは Wick 順序で取り除けるので、ハミルトニアンを有限体積で実際に作用素として定義できます。 1960 年代後半の Glimm–Jaffe はこの方針で、Fock 空間上の作用素評価を積み上げて有限体積ハミルトニアンの自己共役性と、空間切断を外す極限を構成しました。同じ頃 Nelson は、超縮小性という確率論的な評価で下への有界性が短く示せることを見つけ、さらに 1973 年に Euclid 場（Markov 場）からの再構成を与えました。Osterwalder–Schrader の公理が整うと、構成は次の流れに整理されます。 1. Euclid 自由場 $\mu_C$ に有限体積の相互作用 $e^{-U_\Lambda}$ を掛けた確率測度を作る（Nelson の評価）。 2. 統計力学の道具（相関不等式・クラスター展開）で $\Lambda\uparrow\mathbb{R}^2$ の極限を取る。 3. 極限が OS 公理を満たすことを確かめ、Wightman 理論を再構成する。 本章ではこの流れを、有限体積ハミルトニアンとの関係（Feynman–Kac–Nelson 公式）を軸に述べます。前提となる Euclid 自由場は [ガウス自由場の章](/physics/constructive-qft/gaussian-free-field)、Wick 積と Nelson の評価の一般論は [前章](/physics/constructive-qft/wick-products-nelson) で扱いました。本章ではそれらを道具として引用し、時刻 0 の場で必要になる形だけを補います。 （この章の続きは購入者向けです。）