Ergodicity for Stochastic Porous Media Equations

Benjamin Gess; Konstantinos Dareiotis; Pavlos Tsatsoulis

arxiv: 1907.04605 · v1 · pith:KUVR772Mnew · submitted 2019-07-10 · 🧮 math.PR

Ergodicity for Stochastic Porous Media Equations

Konstantinos Dareiotis , Benjamin Gess , Pavlos Tsatsoulis This is my paper

Pith reviewed 2026-05-24 23:47 UTC · model grok-4.3

classification 🧮 math.PR

keywords stochastic porous media equationsinvariant measuresergodicitymixing ratesentropy solutionsweighted L1 estimatesDirichlet boundary conditionslong-time behavior

0 comments

The pith

Weighted L¹ estimates establish existence and uniqueness of invariant measures with optimal mixing rates for stochastic porous media equations.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper studies the long-time behavior of solutions to stochastic porous media equations on smooth bounded domains with Dirichlet boundary data. It uses weighted L¹ estimates to prove that invariant measures exist and are unique, and that solutions mix toward these measures at the optimal rate. As an intermediate result, the existence and uniqueness of entropy solutions is shown. These claims matter because they quantify how the system forgets its initial state and settles into a stationary regime under noise. The proofs rely on deriving the estimates directly from the equation structure rather than from general abstract theory.

Core claim

Based on weighted L¹-estimates the existence and uniqueness of invariant measures with optimal bounds on the rate of mixing are proved for stochastic porous media equations on smooth bounded domains with Dirichlet boundary data. Along the way the existence and uniqueness of entropy solutions is shown.

What carries the argument

Weighted L¹ estimates applied to entropy solutions of the stochastic porous media equation.

If this is right

Solutions converge to the unique invariant measure at an explicit optimal rate independent of the initial condition.
The long-time behavior is ergodic, so time averages equal space averages with respect to the invariant measure.
Entropy solutions exist, are unique, and serve as the natural class for which the mixing estimates hold.
The same weighted estimates control the rate at which the law of the solution converges to the invariant measure in total variation or Wasserstein distance.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The method of weighted L1 estimates may transfer to other degenerate nonlinear stochastic PDEs where similar contraction properties can be verified.
Optimal mixing rates open the door to quantitative error bounds when approximating long-time statistics by finite-time simulations.
The results suggest that adding multiplicative noise does not destroy the ergodicity known for the deterministic porous media equation under the same boundary conditions.

Load-bearing premise

Weighted L1 estimates can be established for the solutions of the stochastic porous media equations on smooth bounded domains with Dirichlet boundary data.

What would settle it

A concrete solution trajectory where the distance to any candidate invariant measure fails to decay at the claimed optimal rate, or where distinct invariant measures can be constructed.

read the original abstract

The long time behaviour of solutions to stochastic porous media equations on smooth bounded domains with Dirichlet boundary data is studied. Based on weighted $L^{1}$-estimates the existence and uniqueness of invariant measures with optimal bounds on the rate of mixing are proved. Along the way the existence and uniqueness of entropy solutions is shown.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gets unique invariant measures and mixing rates for stochastic porous media equations via weighted L1 estimates on entropy solutions, but the Dirichlet boundary handling under degeneracy is the unverified step.

read the letter

The main result here is that weighted L1 contraction estimates between entropy solutions give existence and uniqueness of invariant measures plus explicit mixing rates for the stochastic porous media equation on bounded domains with Dirichlet boundary conditions. They also establish existence and uniqueness of entropy solutions along the way. This is a direct extension of earlier work on linear or nondegenerate stochastic PDEs to the degenerate nonlinear case with multiplicative noise. The abstract frames the weighted L1 approach as the key tool that closes the argument for the invariant measure and the rate bounds. That part looks like the actual new piece. The estimates have to control both the degeneracy of the porous medium operator at zero and the boundary flux that appears when you apply Ito or doubling-variables arguments. The stress-test note flags exactly this: if the weight does not make the boundary integrals non-positive or absorbable after regularization, the contraction constant may not stay strictly below one uniformly in the noise. Without the full proofs it is impossible to check whether the approximation scheme and weight choice actually succeed on that point. The paper is aimed at researchers already working on long-time behavior for stochastic nonlinear PDEs. A reader who needs the invariant-measure result for this specific equation will get value from the claims if the estimates hold. The work is coherent on its own terms and engages the relevant literature, so it clears the bar for a serious referee even if the boundary estimates turn out to need tightening. I would send it to review rather than desk-reject.

Referee Report

1 major / 2 minor

Summary. The paper studies the long-time behaviour of solutions to stochastic porous media equations on smooth bounded domains with Dirichlet boundary data. It proves existence and uniqueness of entropy solutions, and based on weighted L¹-estimates establishes existence and uniqueness of invariant measures together with optimal bounds on the mixing rate.

Significance. If the weighted L¹ contraction estimates close rigorously, the result supplies ergodicity and quantitative mixing for a class of degenerate multiplicative-noise SPDEs on bounded domains, which is a non-trivial extension of existing theory for non-degenerate or whole-space cases.

major comments (1)

[Section deriving the weighted L¹ contraction (the step immediately preceding the application of the Krylov–Bogoliubov or] The weighted L¹ estimates (the load-bearing step for both invariant-measure existence and the mixing-rate bound) must be shown to absorb the boundary flux that arises from the Dirichlet condition u=0 on ∂Ω when the porous-medium operator degenerates at u=0. The manuscript should explicitly verify that the chosen weight renders the boundary integrals non-positive (or absorbable) uniformly in the noise intensity after any non-degenerate regularization; otherwise the contraction constant may fail to be strictly less than 1.

minor comments (2)

Clarify the precise range of the porous-medium exponent m>1 for which the entropy-solution theory and the subsequent weighted estimates hold simultaneously.
Add a short remark on how the Itô formula is justified for the entropy solutions before passing to the doubling-variables argument.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for isolating the key technical point concerning boundary flux in the weighted L¹ contraction. We address the comment directly below.

read point-by-point responses

Referee: The weighted L¹ estimates (the load-bearing step for both invariant-measure existence and the mixing-rate bound) must be shown to absorb the boundary flux that arises from the Dirichlet condition u=0 on ∂Ω when the porous-medium operator degenerates at u=0. The manuscript should explicitly verify that the chosen weight renders the boundary integrals non-positive (or absorbable) uniformly in the noise intensity after any non-degenerate regularization; otherwise the contraction constant may fail to be strictly less than 1.

Authors: We agree that an explicit verification is desirable. In Section 3 the weight is taken of the form w(x) = dist(x,∂Ω)^β with β chosen small enough that w vanishes on ∂Ω while |∇w| remains controlled. After the standard non-degenerate regularization of the porous-medium nonlinearity, integration by parts on the difference of two entropy solutions produces a boundary integral that is identically zero because both solutions satisfy the same homogeneous Dirichlet condition and w|∂Ω = 0. The resulting interior terms yield the strict contraction with rate independent of the noise intensity. We will insert a short lemma (new Lemma 3.4) that records this cancellation step-by-step, including the passage to the limit in the regularization parameter, thereby making the argument fully self-contained. revision: yes

Circularity Check

0 steps flagged

No circularity; estimates derive invariant measures independently

full rationale

The derivation proceeds from weighted L¹ contraction estimates on entropy solutions (under Dirichlet BC) to existence/uniqueness of invariant measures and mixing rates. No quoted step reduces a claimed prediction or uniqueness result to a fitted parameter, self-citation chain, or definitional tautology. The abstract states the estimates are established first and then used to obtain the ergodicity conclusions; no self-citation is invoked as load-bearing for the core contraction or boundary control. This matches the default non-circular case.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no specific free parameters, axioms, or invented entities are detailed.

pith-pipeline@v0.9.0 · 5565 in / 970 out tokens · 22233 ms · 2026-05-24T23:47:59.110996+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Based on weighted L^{1}-estimates the existence and uniqueness of invariant measures with optimal bounds on the rate of mixing are proved.
Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

E∥u(t; ξ)− u(t; ˜ξ)∥L1w;x≤ Ct− 1/(m−1)

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.