走る結合定数

定義 4.2（「次元正則化とくりこみ群」§4）

β 関数 $\beta(\lambda)$ に対し、初期値問題

\frac{d\bar\lambda(t)}{dt}=\beta\big(\bar\lambda(t)\big),\qquad\bar\lambda(0)=\lambda

の解 $\bar\lambda(t;\lambda)$ を走る結合定数と呼びます。 $t=\ln(Q/\mu)$ と読むと、 $\bar\lambda$ はスケール $Q$ での有効な結合です。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

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

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