🔬 physics

Invariance of $ϕ^4$ measure under nonlinear wave and Schrödinger equations on the plane

This paper establishes the almost sure wellposedness of the cubic nonlinear wave equation in a weighted Besov space over $\mathbb{R}^2$ by proving the invariance of the weak limit of $\phi^4$ measures under the equation, while also deriving a weaker invariance result for the nonlinear Schrödinger equation.

Original authors: Nikolay Barashkov, Petri Laarne

Published 2026-06-18

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Nikolay Barashkov, Petri Laarne

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

The Big Picture: A Cosmic Dice Roll

Imagine you are trying to predict how a ripple moves across a pond. In simple physics, if you know exactly where you dropped the stone and how hard you threw it, you can predict the ripple’s path perfectly.

But in the world of Quantum Field Theory (the physics of the very small), things are fuzzy. You can’t know the exact starting state. Instead, nature is like a cosmic dice roll. The "starting state" isn’t a single number; it’s a probability distribution called the $\phi^4$ measure. Think of this measure as a specific recipe for randomness that physicists believe describes how certain quantum fields behave.

The central question this paper tackles is: If we start with this specific "recipe for randomness," does the randomness stay the same as time passes?

In other words, if you take a snapshot of the universe at the start (according to this recipe) and let the laws of physics run for a while, is the new snapshot still following the same recipe? If yes, the measure is "invariant." If no, the recipe changes, and our understanding of the system breaks down.

The Two Equations: The Wave and the Wave-That-Isn’t

The authors look at two famous equations that describe how these fields evolve:

The Nonlinear Wave Equation (NLW): Think of this like a guitar string vibrating. It has a key feature called "finite speed of propagation." This means if you pluck the string in one spot, the vibration takes time to travel to the other end. Information doesn’t jump instantly across the whole string.
The Nonlinear Schrödinger Equation (NLS): This describes quantum particles. It is trickier because it does not have finite speed of propagation. In the quantum world, disturbances can influence distant points almost instantly (in a mathematical sense). This makes it much harder to control.

The Problem: Infinite Space is Messy

Most previous math was done on a torus (imagine a video game screen where if you go off the right side, you appear on the left). This creates a finite, closed box. It’s easy to do math in a box.

But the real world (or the mathematical model of it) is infinite ( $\mathbb{R}^2$ ). It goes on forever.

In an infinite space, the "recipe for randomness" ( $\phi^4$ measure) becomes very rough and jagged. It’s not a smooth function; it’s more like static on an old TV screen.
Because it’s so rough, you can’t just plug it into the equations directly. You have to use a technique called renormalization (specifically "Wick ordering"), which is like putting a filter over the static to make it calculable.

The Solution: Building from Small Boxes to Infinity

The authors’ strategy is like building a massive mosaic by first perfecting small tiles.

Step 1: The Periodic Case (The Tile)
They first look at the equations on a large but finite square (a torus). Here, they prove that the $\phi^4$ measure is invariant. They do this by:

Approximating the rough "static" with smoother, simpler versions (truncating high frequencies).
Using a theorem from classical physics (Liouville’s theorem) which says that in these simplified, finite versions, the probability distribution is preserved.
Showing that as they remove the simplifications, the invariance holds.

Step 2: The Infinite Case (The Mosaic)
Now they want to move to the infinite plane. They can’t just glue the tiles together easily because the equations are nonlinear.

For the Wave Equation (NLW): They use the "Finite Speed of Propagation" trick.
- Analogy: Imagine you are standing in the middle of an infinite field. If you only care about what happens within 10 meters of you over the next 5 seconds, you don’t need to know what’s happening 1,000 miles away. The "news" from 1,000 miles away hasn’t had time to reach you.
- Because of this, they can pretend the infinite world is actually a large finite box for any specific local observation. They show that as the box gets bigger and bigger, the solution stabilizes. This allows them to prove that the infinite-volume measure is invariant.
For the Schrödinger Equation (NLS): This is harder because there is no "speed limit" for the information. The "news" from far away arrives instantly.
- Analogy: It’s like trying to predict the weather in your city, but the weather in Antarctica affects your city instantly. You can’t ignore the rest of the world.
- Because they can’t use the "local box" trick, they have to accept a weaker result. They prove "Weak Invariance." This means that while the exact detailed structure might be hard to pin down, the overall statistical "shape" of the randomness is preserved, provided you look at it in a slightly coarser, less detailed mathematical space (losing some "smoothness" or differentiability).

The Key Tools: Besov Spaces and Weights

To make this work, the authors use Weighted Besov Spaces.

Analogy: Imagine measuring the roughness of a terrain. A standard measurement might fail if the terrain is infinitely jagged. A "weighted" measurement gives less importance to the jaggedness far away from the center (using a weight $\rho$ that gets smaller as you go further out). This allows them to handle the infinite, rough nature of the quantum fields.

Summary of Results

Global Existence for Waves: For the Nonlinear Wave Equation on an infinite 2D plane, if you start with initial data drawn from the $\phi^4$ measure, a unique solution exists for all time, and the statistical distribution of the solution remains the $\phi^4$ measure.
Weak Invariance for Schrödinger: For the Nonlinear Schrödinger Equation on an infinite 2D plane, a solution exists, and its statistical distribution remains the $\phi^4$ measure, but in a weaker, less precise mathematical sense.

Why It Matters

This paper bridges the gap between the "clean" math of finite boxes and the "messy" reality of infinite space. It confirms that the $\phi^4$ measure is a robust, stable description of these quantum systems, even when the space is infinite and the fields are incredibly rough. It provides a rigorous foundation for understanding how these fundamental quantum fields behave over time.

Technical Summary: Invariance of $\phi^4$ Measure under Nonlinear Wave and Schrödinger Equations on the Plane

Problem Statement
The paper addresses the almost sure global well-posedness and measure invariance for the defocusing massive cubic nonlinear wave equation (NLW) and the nonlinear Schrödinger equation (NLS) on the infinite plane $\mathbb{R}^2$ . Specifically, the authors investigate whether the infinite-volume $\phi^4_2$ measure (for NLW) and the complex $\phi^4_2$ measure (for NLS) are invariant under the respective flows. The primary challenge lies in the fact that in two dimensions, the $\phi^4$ measure is supported on distributions rather than functions, necessitating renormalization (Wick ordering) of the nonlinearity. Furthermore, unlike the periodic case, the infinite-volume measure is defined only as a weak limit of measures on increasing tori and is not absolutely continuous with respect to a Gaussian measure, complicating the application of standard probabilistic techniques.

Methodology
The authors employ a strategy that bridges finite-volume periodic theory with infinite-volume analysis, leveraging the specific properties of the wave equation and adapting compactness arguments for the Schrödinger equation.

Stochastic Quantization and Measure Construction:
The $\phi^4_2$ measure $\mu$ on $\mathbb{R}^2$ is constructed as a weak limit of periodic measures $\mu_L$ on tori $\Lambda_L = [-L, L]^2$ . The authors utilize parabolic stochastic quantization, viewing $\mu_L$ as the invariant measure of a stochastic nonlinear heat equation. This allows them to decompose samples from $\mu_L$ into a Gaussian free field (GFF) part $Z_L$ and a regular perturbation $\psi_L$ . They establish uniform bounds on these components in weighted Besov spaces $H^{-\varepsilon}(\rho)$ and $H^{2-\varepsilon}(\rho)$ , respectively, where $\rho(x) = \langle x \rangle^{-\alpha}$ is a polynomial weight. This ensures the tightness of the sequence of measures $\mu_L$ and the existence of a weak limit $\mu = \text{Law}(Z + \psi)$ .
Periodic Well-Posedness and Invariance:
For the periodic NLW on $\Lambda_L$ , the authors review and simplify the argument of Oh and Thomann. They prove local well-posedness in $H^{-\varepsilon}(\Lambda_L)$ using a fixed-point iteration for the nonlinear part $v$ , while treating the linear part $w$ (driven by the initial data) as a stochastic forcing term. Global well-posedness is achieved via Bourgain’s globalization argument: by proving that the Gibbs measure is invariant under the Fourier-truncated flow (via Liouville’s theorem) and showing that the truncated measures converge in total variation to the untruncated measure, they establish invariance for the full periodic flow.
Extension to Infinite Volume (NLW):
The key insight for the infinite-volume NLW is the finite speed of propagation. The authors show that the solution in any compact domain depends only on the initial data within a corresponding light cone. This allows them to approximate the infinite-volume flow by periodic flows on sufficiently large tori. By proving that the periodic solutions converge to a unique limit in weighted Besov spaces as $L \to \infty$ , and utilizing the fact that the Borel $\sigma$ -algebra of the solution space is generated by restrictions to compact domains, they demonstrate that the infinite-volume measure $\vec{\mu}$ (product of $\phi^4$ and white noise) is invariant under the NLW flow.
Weak Invariance for NLS:
For the NLS, the finite speed of propagation is absent, and the linear propagator does not gain regularity. Consequently, the strong invariance and uniqueness arguments used for NLW do not apply directly. Instead, the authors prove a weak invariance result in the sense of Albeverio and Cruzeiro. They establish tightness of the periodic NLS solutions in a space with lower regularity ( $H^{-s}(\rho)$ with $s > 4$ ) using compact embedding theorems for Hölder-continuous functions in time. They show that any limit point of the periodic solutions satisfies the mild formulation of the NLS and that the law of the solution at any time $t$ is the complex $\phi^4_2$ measure $\mu$ .

Key Contributions and Results

Theorem 1.1 (Global Existence and Uniqueness for NLW): The authors prove that for $\vec{\mu}$ -almost all initial data (where $\vec{\mu}$ is the product of the infinite-volume $\phi^4$ measure and white noise), the cubic nonlinear wave equation on $\mathbb{R}^2$ has a unique mild solution in $C(\mathbb{R}_+; H^{-\varepsilon}(\rho))$ . Crucially, they show that the measure $\vec{\mu}$ is invariant under this flow.
Theorem 1.2 (Weak Invariance for NLS): They establish that for $\mu$ -almost all initial data, the cubic nonlinear Schrödinger equation on $\mathbb{R}^2$ has a mild solution in $C(\mathbb{R}_+; H^{-s}(\rho))$ for some $s > 4$ . The law of the solution $u(t)$ is equal to $\mu$ for all $t \geq 0$ . The authors note that they cannot address uniqueness for NLS in this setting.
Technical Tools: The paper provides a self-contained construction of the $\phi^4_2$ measure on $\mathbb{R}^2$ using stochastic quantization, including uniform bounds on Wick powers and exponential tails. It also details the convergence of Fourier-truncated solutions and the approximation of infinite-volume solutions by periodic ones.

Significance
The paper extends the theory of invariant measures for dispersive PDEs from the periodic setting to the infinite-volume plane for the $\phi^4_2$ model. It highlights the critical role of finite speed of propagation in establishing strong invariance and uniqueness for the wave equation, while demonstrating that weaker forms of invariance can be established for the Schrödinger equation through compactness arguments. The work complements recent results on stochastic quantization and provides a rigorous framework for understanding the dynamics of these singular stochastic PDEs in unbounded domains. The authors note that their approach is simpler than recent optimal transport methods for related problems and naturally yields the weak invariance result for NLS.