TheoremBase

Nelson's Exponential Integrability for the Wick-Ordered Phi4Phi^4 Potential on the Torus of Dimension at Most Two

Nelson's estimate on the torus of dimension at most two: for every t>0, exp(-tV_N) is bounded in mean under the free field uniformly in the cutoff, exp(-tV) is integrable, and exp(-tV_N) converges to exp(-tV) in every LpL^p.

Statement

In the settings of The Real Numbers: Standing Notation and Background, The Free Field on the Torus as the Gaussian Reference Measure, with Square-Integrable White Noise: Standing Notation and Gaussian Analysis Relative to a Diagonal Gaussian Reference Measure with Noise Weights: Standing Notation, the last read with the space X=H−m(Tn)X=H^{-m}(\mathbb{T}^{n}), the orthonormal basis (ej)j∈N(e_{j})_{j\in\mathbb{N}}, the noise weights aa and the variance sequence cc of The Free Field on the Torus as the Gaussian Reference Measure, with Square-Integrable White Noise: Standing Notation §gaussian, so that γc\gamma_{c} is the free field, with the Lebesgue spaces Lp(γc)L^{p}(\gamma_{c}) and norms ∥⋅∥p\lVert\cdot\rVert_{p} of Gaussian Analysis Relative to a Diagonal Gaussian Reference Measure with Noise Weights: Standing Notation §lebesgue, suppose n≤2n\le2, and let ϰ,m∈R\varkappa,\mathfrak{m}\in\mathbb{R} with 0<ϰ0<\varkappa. Let VNV_{N} (N∈NN\in\mathbb{N}) be the Galerkin Wick-ordered ϕ4\phi^{4} potentials and VV the Wick-ordered ϕ4\phi^{4} potential with coupling ϰ\varkappa and mass m\mathfrak{m}, and let t∈Rt\in\mathbb{R} be positive; exp⁡\exp is the exponential function.

1. (Uniform bound) There is Et∈RE_{t}\in\mathbb{R} with ∫Xexp⁡(−tVN) dγc≤Et\int_{X}\exp(-tV_{N})\,d\gamma_{c}\le E_{t} for every N∈NN\in\mathbb{N}.

2. (Integrability) The function exp⁡(−tV)\exp(-tV) is integrable with respect to γc\gamma_{c}.

3. (Convergence) For every real p≥1p\ge1, the classes of exp⁡(−tV)\exp(-tV) and of exp⁡(−tVN)\exp(-tV_{N}) (N∈NN\in\mathbb{N}) lie in Lp(γc)L^{p}(\gamma_{c}), and ∥exp⁡(−tVN)−exp⁡(−tV)∥p→0\lVert\exp(-tV_{N})-\exp(-tV)\rVert_{p}\to0 as N→∞N\to\infty.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…