Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Multi-index Based Solution Theory to the $Φ^4$ Equation in the Full Subcritical Regime

Lucas Broux, Felix Otto, Rhys Steele

TL;DR

This work develops a multi-index based regularity-structures framework to study the space-time periodic parabolic $\Phi^4$ equation with singular noise in the full subcritical regime. By introducing a robust formulation and a continuity-method approach—instead of a fixed-point argument—the authors prove small-$|\lambda|$ well-posedness, including existence, uniqueness, and continuous dependence on the model. The analysis hinges on detailed a priori estimates, a carefully crafted Schauder theory, and a three-point argument that controls modelled-distribution germs and their algebraic constraints. The results provide a conceptually intrinsic pathway to treat a broader class of nonlinear SPDEs, with potential extensions beyond the $\Phi^4$ setting and toward more general nonlinearity structures.

Abstract

We obtain (small-parameter) well-posedness for the (space-time periodic) $Φ^4$ equation in the full subcritical regime in the context of regularity structures based on multi-indices. As opposed to Hairer's more extrinsic tree-based setting, due to the intrinsic description encoded by multi-indices, it is not possible to obtain a solution theory via the standard fixed-point argument. Instead, we develop a more intrinsic approach for existence using a variant of the continuity method from classical PDE theory based on a priori estimates for a new `robust' formulation of the equation. This formulation also allows us to obtain uniqueness of solutions and continuity of the solution map in the model norm even at the limit of vanishing regularisation scale. Since our proof relies on the structure of the nonlinearity in only a mild way, we expect the same ideas to be sufficient to treat a more general class of equations.

Multi-index Based Solution Theory to the $Φ^4$ Equation in the Full Subcritical Regime

TL;DR

This work develops a multi-index based regularity-structures framework to study the space-time periodic parabolic equation with singular noise in the full subcritical regime. By introducing a robust formulation and a continuity-method approach—instead of a fixed-point argument—the authors prove small- well-posedness, including existence, uniqueness, and continuous dependence on the model. The analysis hinges on detailed a priori estimates, a carefully crafted Schauder theory, and a three-point argument that controls modelled-distribution germs and their algebraic constraints. The results provide a conceptually intrinsic pathway to treat a broader class of nonlinear SPDEs, with potential extensions beyond the setting and toward more general nonlinearity structures.

Abstract

We obtain (small-parameter) well-posedness for the (space-time periodic) equation in the full subcritical regime in the context of regularity structures based on multi-indices. As opposed to Hairer's more extrinsic tree-based setting, due to the intrinsic description encoded by multi-indices, it is not possible to obtain a solution theory via the standard fixed-point argument. Instead, we develop a more intrinsic approach for existence using a variant of the continuity method from classical PDE theory based on a priori estimates for a new `robust' formulation of the equation. This formulation also allows us to obtain uniqueness of solutions and continuity of the solution map in the model norm even at the limit of vanishing regularisation scale. Since our proof relies on the structure of the nonlinearity in only a mild way, we expect the same ideas to be sufficient to treat a more general class of equations.

Paper Structure

This paper contains 28 sections, 23 theorems, 329 equations.

Table of Contents

  1. Introduction
  2. Assumptions and Main Results
  3. On the (Deterministic) Model
  4. Setting and Notations
  5. Rigorous Definitions
  6. Modelled Distributions and Robust Formulation
  7. Main Results
  8. Proof Strategies
  9. A Priori Estimates: Strategy Of Proof
  10. Uniqueness and Continuity in the Model: Strategy of Proof
  11. Pathwise Existence of Solutions: Strategy of Proof
  12. A Priori Estimate for the Robust Formulation
  13. Proof of Algebraic Continuity Lemma I
  14. Proof of (Pointed) Schauder Estimate
  15. Proof of Three-point Argument I
  16. ...and 13 more sections

Key Result

Theorem 1

Let (the law of) $\xi$ satisfy a periodic version of the spectral gap inequality stated in BOT, see t100 below. Let $\psi$ be a Schwartz function with $\int \psi = 1$, $\psi_{\rho}$ be the corresponding family of (parabolic) mollifiers, and $\xi_{\rho} \coloneqq \xi * \psi_{\rho}$ the corresponding

Theorems & Definitions (58)

  • Theorem
  • Definition 1: Model
  • Remark 1: Dual Perspective
  • Remark 2: On the Analytic Bounds
  • Definition 2: Smooth model
  • Remark 3
  • Remark 4
  • Definition 3
  • Remark 5: Comparison with Hai14
  • Remark 6
  • ...and 48 more