An analytic BPHZ theorem for regularity structures

Abstract

We prove a general theorem on the stochastic convergence of appropriately renormalized models arising from nonlinear stochastic PDEs. The theory of regularity structures gives a fairly automated framework for studying these problems but previous works had to expend significant effort to obtain these stochastic estimates in an ad-hoc manner. In contrast, the main result of this article operates as a black box which automatically produces these estimates for nearly all of the equations that fit within the scope of the theory of regularity structures. Our approach leverages multi-scale analysis strongly reminiscent to that used in constructive field theory, but with several significant twists. These come in particular from the presence of "positive renormalizations" caused by the recentering procedure proper to the theory of regularity structure, from the difference in the action of the group of possible renormalization operations, as well as from the fact that we allow for non-Gaussian driving fields. One rather surprising fact is that although the "canonical lift" is of course typically not continuous on any Hölder-type space containing the noise (which is why renormalization is required in the first place), we show that the "BPHZ lift" where the renormalization constants are computed using the formula given in arXiv:1610.08468, is continuous in law when restricted to a class of stationary random fields with sufficiently many moments.

typos fixed, remarks added

References in corpus (5)

• The motion of a random string
• Algebraic renormalisation of regularity structures
• A central limit theorem for the KPZ equation
• Weak universality of dynamical ${\Phi }_3^4$: non-Gaussian noise
• Moment bounds for SPDEs with non-Gaussian fields and application to the Wong-Zakai problem

Cited by in corpus (51)

• Renormalising SPDEs in regularity structures
• Langevin dynamic for the 2D Yang-Mills measure
• Geometric stochastic heat equations
• Resonance based schemes for dispersive equations via decorated trees
• The reconstruction theorem in Besov spaces
• Singular SPDEs in domains with boundaries
• A Rough Path Perspective on Renormalization
• A solution theory for quasilinear singular SPDEs
• The motion of a random string
• Discretisation of regularity structures
• The structure group for quasi-linear equations via universal enveloping algebras
• Algebraic renormalisation of regularity structures
• The geometry of the space of branched Rough Paths
• Algebraic deformation for (S)PDEs
• Fluctuations around a homogenised semilinear random PDE
• Singular paths spaces and applications
• Hopf-algebraic deformations of products and Wick polynomials
• Flow equation approach to singular stochastic PDEs
• Paracontrolled calculus and regularity structures
• Stochastic Ricci Flow on Compact Surfaces
• Some recent progress in singular stochastic PDEs
• A priori bounds for the ${\Phi }^4$ equation in the full sub-critical regime
• Construction of ${\Phi }_3^4$ diagrams for pedestrians
• The support of singular stochastic PDEs
• High order paracontrolled calculus
• An introduction to singular stochastic PDEs: Allen-Cahn equations, metastability and regularity structures
• Renormalisation from non-geometric to geometric rough paths
• Stochastic mSQG equations with multiplicative transport noises: white noise solutions and scaling limit
• An Itô type formula for the additive stochastic heat equation
• Comparing the stochastic nonlinear wave and heat equations: a case study
• Renormalised singular stochastic PDEs
• Martingale-driven approximations of singular stochastic PDEs
• A tourist's guide to regularity structures and singular stochastic PDEs
• Variational methods for a singular SPDE yielding the universality of the magnetization ripple
• Approximating three-dimensional magnetohydrodynamics system forced by space-time white noise
• Boundary renormalisation of SPDEs
• Stochastic quantization of an Abelian gauge theory
• Locality for singular stochastic PDEs
• Large-scale limit of interface fluctuation models
• A BPHZ Theorem in Configuration Space
• A one-dimensional non-local singular SPDE
• The ${\Phi }_3^4$ measure has sub-Gaussian tails
• Commutator estimates from a viewpoint of regularity structures
• Regularity structures for quasilinear singular SPDEs
• An introduction to singular SPDEs
• The Tensor Track VIII: Stochastic Analysis
• Surface Quasi-Geostrophic Equation driven by Space-Time White Noise
• Random models for singular SPDEs
• Stochastic Heat Equations with Values in a Riemannian Manifold
• Can we make sense out of "Tensor Field Theory"?
• BPHZ Renormalization in Gaussian Rough Paths