pith. sign in

arxiv: 2605.26439 · v2 · pith:DM7NM45Unew · submitted 2026-05-26 · 🧮 math.PR

A note on the strong Feller property via the moment method

Ziyu Liu , Shengquan Xiang This is my paper

Pith reviewed 2026-06-29 16:23 UTC · model grok-4.3

classification 🧮 math.PR
keywords stochastic heat equationstrong Feller propertyMalliavin calculusmoment methodMarkov processBrownian motionPDE control
0
0 comments X

The pith

The Markov process for the 1D stochastic heat equation satisfies the strong Feller property under mild non-degeneracy conditions.

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

This note focuses on the one-dimensional stochastic heat equation driven by one-dimensional Brownian motion. It shows that the associated Markov process obeys the strong Feller property whenever mild non-degeneracy conditions on the noise or coefficients are met. The argument merges Malliavin calculus with the moment method borrowed from PDE control theory. A sympathetic reader would care because the strong Feller property guarantees that nearby initial data produce transition measures that are close in total variation, which supports analysis of long-time behavior and uniqueness questions for the process.

Core claim

The associated Markov process satisfies the strong Feller property under mild non-degeneracy conditions. The approach combines Malliavin calculus with the moment method from PDE control theory.

What carries the argument

The hybrid method that pairs Malliavin calculus (to obtain non-degeneracy of the Malliavin covariance) with moment estimates from PDE control theory (to close the estimates under mild assumptions).

If this is right

  • The transition probabilities from any two initial conditions become mutually absolutely continuous at positive times.
  • The Markov semigroup maps bounded measurable functions into continuous functions.
  • Standard arguments for uniqueness of invariant measures become available once an invariant measure is known to exist.

Where Pith is reading between the lines

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

  • The same hybrid argument could be tested on other linear SPDEs whose moment estimates are already controlled by PDE techniques.
  • If the moment method can be adapted to nonlinear coefficients, the result might extend beyond the linear heat equation without strengthening the non-degeneracy assumption.
  • Numerical simulation of the discretized equation could provide a direct check on whether the total-variation distance between nearby initial conditions indeed decays as predicted.

Load-bearing premise

Mild non-degeneracy conditions on the noise or coefficients are enough for the Malliavin-moment combination to produce the required regularity.

What would settle it

An explicit solution trajectory or numerical realization starting from two distinct points where the laws at some fixed positive time remain singular despite the non-degeneracy conditions holding.

read the original abstract

This note studies the 1D stochastic heat equation driven by a one-dimensional Brownian motion. We prove that the associated Markov process satisfies the strong Feller property under mild non-degeneracy conditions. The approach combines Malliavin calculus with the moment method from PDE control theory.

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.

Referee Report

0 major / 2 minor

Summary. The paper proves that the Markov process associated with the 1D stochastic heat equation driven by one-dimensional Brownian motion satisfies the strong Feller property under mild non-degeneracy conditions on the coefficients. The proof combines Malliavin calculus (to produce a density via invertibility of the Malliavin covariance matrix) with a priori moment estimates obtained via a control-theoretic moment method, first deriving bounds on the solution and its Malliavin derivatives and then transferring controllability estimates to the stochastic setting.

Significance. If the derivation holds, the result supplies a concrete technique for establishing the strong Feller property in infinite-dimensional SPDEs by importing moment-method ideas from PDE control theory; this can be combined with existing criteria to obtain uniqueness of invariant measures and ergodicity. The approach is noteworthy for its explicit use of controllability-type estimates in the stochastic context.

minor comments (2)
  1. [Abstract] Abstract: the phrase 'mild non-degeneracy conditions' is used without a brief indication of their form (e.g., lower bounds on the diffusion coefficient or non-degeneracy of the noise); adding one sentence would improve immediate readability.
  2. [Introduction] The manuscript would benefit from an explicit statement, perhaps in the introduction, of how the finite-dimensional approximations are controlled uniformly before passing to the infinite-dimensional limit.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary of our work and the recommendation for minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The manuscript is a direct mathematical proof of the strong Feller property for the 1D stochastic heat equation. It combines Malliavin calculus (to obtain densities via invertibility of the covariance matrix) with a priori moment estimates transferred from control theory. No parameters are fitted to data and then relabeled as predictions; no self-citations serve as load-bearing uniqueness theorems; the non-degeneracy conditions are external assumptions used to close the estimates rather than being defined in terms of the target property. The derivation chain is self-contained against external benchmarks and does not reduce any claimed result to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review; no explicit free parameters, axioms, or invented entities are stated. The non-degeneracy conditions are invoked but not enumerated.

pith-pipeline@v0.9.1-grok · 5553 in / 999 out tokens · 28924 ms · 2026-06-29T16:23:10.386053+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

32 extracted references · 3 canonical work pages · 1 internal anchor

  1. [1]

    H. Amann. Parabolic evolution equations in interpolation and extrapolation spaces.J. Funct. Anal., 78(2):233–270, 1988

    1988

  2. [2]

    Beauchard

    K. Beauchard. Local controllability of a 1-D Schr¨ odinger equation.J. Math. Pures Appl., 9(84):851–956, 2005

    2005

  3. [3]

    Bedrossian, A

    J. Bedrossian, A. Blumenthal, and S. Punshon-Smith. Lagrangian chaos and scalar advection in stochastic fluid mechanics.J. Eur. Math. Soc. (JEMS), 24(6):1893–1990, 2022

    1990

  4. [4]

    Y. Chen, S. Xiang, Z. Zhang, and J.-C. Zhao. Exponential mixing for the randomly forced NLS equation. arXiv:2506.10318, 2025

    work page arXiv 2025

  5. [5]

    Coron.Control and nonlinearity

    J.-M. Coron.Control and nonlinearity. American Mathematical Society, Providence, RI, 2007

    2007

  6. [6]

    Da Prato and J

    G. Da Prato and J. Zabczyk. Smoothing properties of transition semigroups in Hilbert spaces.Stochastics, 35:63–77, 1991. STRONG FELLER VIA MOMENT METHOD 11

    1991

  7. [7]

    Da Prato and J

    G. Da Prato and J. Zabczyk.Stochastic equations in infinite dimensions. Cambridge University Press, Cam- bridge, 1992

    1992

  8. [8]

    Da Prato and J

    G. Da Prato and J. Zabczyk.Ergodicity for infinite dimensional systems. Cambridge University Press, Cam- bridge, 1996

    1996

  9. [9]

    K. D. Elworthy and X.-M. Li. Formulae for the derivatives of heat semigroups.J. Funct. Anal., 125(1):252– 286, 1994

    1994

  10. [10]

    Engel and R

    K.-J. Engel and R. Nagel.One-Parameter Semigroups for Linear Evolution Equations. Springer, New York, 2000

    2000

  11. [11]

    H. O. Fattorini and D. L. Russell. Exact controllability theorems for linear parabolic equations in one space dimension.Arch. Rational Mech. Anal., 43:272–292, 1971

    1971

  12. [12]

    Gagnon, A

    L. Gagnon, A. Hayat, S. Xiang, and C. Zhang. Fredholm transformation on Laplacian and rapid stabilization for the heat equation.J. Funct. Anal., 283(12):Paper No. 109664, 67 pp, 2022

    2022

  13. [13]

    Goldys and B

    B. Goldys and B. Maslowski. Exponential ergodicity for stochastic Burgers and 2D Navier-Stokes equations. J. Funct. Anal., 226(1):230–255, 2005

    2005

  14. [14]

    Goldys and S

    B. Goldys and S. Peszat. Linear parabolic equation with Dirichlet white noise boundary conditions.J. Differential Equations, 362:382–437, 2023

    2023

  15. [15]

    Goldys and S

    B. Goldys and S. Peszat. Differentiability of transition semigroup of generalized Ornstein–Uhlenbeck process: a probabilistic approach.Ann. Sc. Norm. Super. Pisa Cl. Sci., 2026. 29 pp

    2026

  16. [16]

    F. Gong, Y. Liu, Y. Liu, and Z. Liu. Ergodicity for eventually continuous Markov–Feller semigroups on Polish spaces.Sci. China Math., 2026, early access

    2026

  17. [17]

    M. Hairer. On Malliavin’s proof of H¨ ormander’s theorem.Bull. Sci. Math., 135(6-7):650–666, 2011

    2011

  18. [18]

    M. Hairer. The strong Feller property for singular stochastic PDEs.Ann. Inst. Henri Poincar´ e Probab. Stat., 54(3):1314–1340, 2018

    2018

  19. [19]

    Hairer and J

    M. Hairer and J. C. Mattingly. Ergodicity of the 2D Navier-Stokes equations with degenerate stochastic forcing.Ann. of Math. (2), 164(3):993–1032, 2006

    2006

  20. [20]

    Z. Liu, D. Wei, S. Xiang, Z. Zhang, and J.-C. Zhao. Exponential mixing for random nonlinear wave equations: weak dissipation and localized control.arXiv:2407.15058, 2024

    work page arXiv 2024

  21. [21]

    Z. Liu, S. Xiang, and J.-C. Zhao. Exponential mixing for the stochastic Allen–Cahn equation with localized white noise.arXiv:2605.06009, 2026

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  22. [22]

    Micu and E

    S. Micu and E. Zuazua. Regularity issues for the null-controllability of the linear 1-d heat equation.Systems Control Lett., 60(6):406–413, 2011

    2011

  23. [23]

    Nualart.The Malliavin calculus and related topics

    D. Nualart.The Malliavin calculus and related topics. Springer-Verlag, Berlin, second edition, 2006

    2006

  24. [24]

    Peszat and J

    S. Peszat and J. Zabczyk. Strong Feller property and irreducibility for diffusions on Hilbert spaces.Ann. Probab., 23:157–172, 1995

    1995

  25. [25]

    D. L. Russell. Controllability and stabilizability theory for linear partial differential equations: recent progress and open questions.SIAM Rev., 20(4):639–739, 1978

    1978

  26. [26]

    Schwartz

    L. Schwartz. ´Etude des sommes d’exponentielles. 2i` eme ´ ed. Publications de l’Institut de Math´ ematique de l’Universit´ e de Strasbourg, V. Actualit´ es Sci. Ind., Hermann, Paris, 1959

    1959

  27. [27]

    Shirikyan

    A. Shirikyan. Control and mixing for 2D Navier-Stokes equations with space-time localised noise.Ann. Sci. ´Ec. Norm. Sup´ er, 48(2):253–280, 2015

    2015

  28. [28]

    Shirikyan

    A. Shirikyan. Controllability implies mixing II. Convergence in the dual-Lipschitz metric.J. Eur. Math. Soc. (JEMS), 23(4):1381–1422, 2021

    2021

  29. [29]

    T. Szarek. Feller processes on nonlocally compact spaces.Ann. Probab., 34(5):1849–1863, 2006

    2006

  30. [30]

    Tucsnak and G

    M. Tucsnak and G. Weiss.Observation and control for operator semigroups. Birkh¨ auser Verlag, Basel, 2009

    2009

  31. [31]

    Wang and X.-C

    F.-Y. Wang and X.-C. Zhang. Derivative formula and applications for degenerate diffusion semigroups.J. Math. Pures Appl., 99:726–740, 2013

    2013

  32. [32]

    X. Zhang. Derivative formulas and gradient estimates for SDEs driven byα-stable processes.Stochastic Process. Appl., 123(4):1213–1228, 2013. (Ziyu Liu)School of Mathematics and Physics, University of Science and Technology Beijing, 100083, Beijing, China. Email address:ziyu@ustb.edu.cn (Shengquan Xiang)School of Mathematical Sciences, Peking University, 1...

    2013