Recognition: no theorem link
On the density of the supremum of nonlinear SPDEs
Pith reviewed 2026-05-15 11:42 UTC · model grok-4.3
The pith
The supremum of solutions to nonlinear SPDEs admits a Lebesgue density
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove that the supremum of the solution admits a density with respect to Lebesgue measure. Our approach is based on Malliavin calculus, and in particular on the version of the Bouleau-Hirsch criterion for suprema developed by Nualart and Vives. One of the main difficulties lies in the analysis of the argmax set of the solution and in showing that the Malliavin derivative is almost surely nondegenerate on this set. As a byproduct of our arguments, we also establish Hölder continuity properties for the Malliavin derivative of the solution as an L2-valued process.
What carries the argument
The Bouleau-Hirsch criterion for suprema applied via the Malliavin derivative being nondegenerate on the argmax set of the solution
If this is right
- The distribution of the supremum is absolutely continuous with respect to Lebesgue measure.
- Hölder continuity holds for the Malliavin derivative as an L²-valued process in the regimes considered.
- The result covers the nonlinear stochastic heat equation with Dirichlet or Neumann boundary conditions and the linearized stochastic Cahn-Hilliard equation with Neumann boundary conditions.
Where Pith is reading between the lines
- This nondegeneracy technique could be adapted to prove densities for maxima in higher-dimensional or other nonlinear SPDEs.
- Knowledge of the density could enable precise calculations of probabilities for extreme values in physical models governed by these equations.
- Future work might remove the nondegeneracy assumption or extend to time-dependent suprema.
Load-bearing premise
The Malliavin derivative is almost surely nondegenerate on the argmax set of the solution.
What would settle it
An explicit example of coefficients b and σ where the supremum of the solution has a positive probability of taking a specific value, or where the Malliavin derivative vanishes on the argmax set with positive probability.
read the original abstract
We study the one-dimensional stochastic partial differential equation \begin{equation*} \frac{\partial u}{\partial t}(t,x) = -\kappa \frac{\partial^4 u}{\partial x^4}(t,x) + \rho \frac{\partial^2 u}{\partial x^2}(t,x) + b(u(t,x)) + \sigma(u(t,x))\, \dot W(t,x), \end{equation*} posed on a bounded spatial domain, where $u$ is understood in the random field sense and $\dot W(t,x)$ is space-time white noise. Depending on the value of $\kappa$, this equation includes the nonlinear stochastic heat equation with Dirichlet or Neumann boundary conditions, as well as the linearized stochastic Cahn-Hilliard equation with Neumann boundary conditions. We prove that the supremum of the solution admits a density with respect to Lebesgue measure. Our approach is based on Malliavin calculus, and in particular on the version of the Bouleau-Hirsch criterion for suprema developed by Nualart and Vives. One of the main difficulties lies in the analysis of the argmax set of the solution and in showing that the Malliavin derivative is almost surely nondegenerate on this set. As a byproduct of our arguments, we also establish H\"older continuity properties for the Malliavin derivative of the solution as an $L^2-$valued process in the regimes considered in this work.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves that the supremum of the solution to the one-dimensional nonlinear SPDE with a fourth-order spatial operator (including cases of the stochastic heat equation and linearized stochastic Cahn-Hilliard equation) admits a density with respect to Lebesgue measure. The proof applies Malliavin calculus together with the Nualart-Vives adaptation of the Bouleau-Hirsch criterion for suprema; the central technical step is establishing almost-sure nondegeneracy of the Malliavin derivative on the random argmax set of the solution. As a byproduct, Hölder continuity of the Malliavin derivative (viewed as an L²-valued process) is obtained in the regimes considered.
Significance. If the nondegeneracy argument holds, the result extends existing density theorems for extrema of SPDE solutions to a broader class of equations that includes higher-order operators and nonlinear coefficients. The byproduct on Hölder regularity of the Malliavin derivative supplies a useful tool for further analysis of these random fields. The approach is grounded in established Malliavin techniques and prior supremum criteria, making the contribution incremental but technically nontrivial.
major comments (2)
- [Main proof section (application of Bouleau-Hirsch criterion)] The nondegeneracy step required by the Nualart-Vives criterion (the claim that D(sup u) is a.s. nonzero) reduces to showing that the solution of the linearized SPDE does not vanish on the random argmax set. Because the argmax location is itself random and driven by the same noise, the argument must rule out possible cancellations for general nonlinear b and σ and for κ > 0; the manuscript identifies this as the main difficulty but the estimates controlling the linearized equation on that set appear to require additional justification to be fully rigorous.
- [Byproduct regularity result] The Hölder continuity of the Malliavin derivative as an L²-valued process is stated as a byproduct, but the precise exponents and the dependence on the parameter κ are not compared in detail with existing regularity results for the stochastic heat equation; this comparison is needed to assess the novelty of the regularity statement.
minor comments (2)
- [Abstract] The abstract states that the equation is posed on a bounded spatial domain with boundary conditions depending on κ, but a single sentence clarifying the precise boundary conditions (Dirichlet vs. Neumann) for each regime would improve immediate readability.
- [Preliminaries] Notation for the Malliavin derivative operator D and the linearized equation should be introduced with a brief reminder of the relevant spaces (e.g., the domain of D in the Malliavin-Sobolev sense) to help readers who are not specialists in the field.
Simulated Author's Rebuttal
We thank the referee for their careful reading and constructive comments on our manuscript. We address each major comment point by point below, indicating the revisions we will make to strengthen the presentation and rigor of the arguments.
read point-by-point responses
-
Referee: [Main proof section (application of Bouleau-Hirsch criterion)] The nondegeneracy step required by the Nualart-Vives criterion (the claim that D(sup u) is a.s. nonzero) reduces to showing that the solution of the linearized SPDE does not vanish on the random argmax set. Because the argmax location is itself random and driven by the same noise, the argument must rule out possible cancellations for general nonlinear b and σ and for κ > 0; the manuscript identifies this as the main difficulty but the estimates controlling the linearized equation on that set appear to require additional justification to be fully rigorous.
Authors: We appreciate the referee's focus on this central technical step. The nondegeneracy argument proceeds by contradiction: assuming the Malliavin derivative of the supremum vanishes almost surely on the argmax set leads to the linearized solution being identically zero there, which contradicts the nondegeneracy of σ and the support properties of the space-time white noise. To address the concern about potential cancellations and to make the estimates fully rigorous for general b, σ and κ > 0, we will add a new lemma in the revised Section 4 providing explicit quantitative bounds on the L²-norm of the linearized process restricted to the random argmax set, using the already-established Hölder regularity of the Malliavin derivative. This will clarify the absence of cancellations. revision: yes
-
Referee: [Byproduct regularity result] The Hölder continuity of the Malliavin derivative as an L²-valued process is stated as a byproduct, but the precise exponents and the dependence on the parameter κ are not compared in detail with existing regularity results for the stochastic heat equation; this comparison is needed to assess the novelty of the regularity statement.
Authors: We agree that an explicit comparison would help readers assess the novelty of the regularity byproduct. In the revised manuscript we will insert a dedicated remark immediately after the statement of the Hölder continuity result (currently Theorem 3.2), comparing our exponents—specifically α < 1/4 − ε in time for κ = 0 and the adjusted spatial exponents for κ > 0—with the corresponding results available for the stochastic heat equation in the literature. This addition will be placed in the introduction as well for visibility. revision: yes
Circularity Check
No circularity: external Malliavin criterion applied to independent nondegeneracy analysis
full rationale
The derivation invokes the Nualart-Vives version of the Bouleau-Hirsch criterion (external reference) to obtain a density for the supremum once the Malliavin derivative is shown nondegenerate on the argmax set. This nondegeneracy is established by analyzing the linearized SPDE satisfied by the Malliavin derivative process, without any reduction of the target density statement to a fitted parameter, self-defined quantity, or prior result by the same authors. No self-citations appear as load-bearing steps, no ansatz is smuggled, and no known empirical pattern is merely renamed. The argument is a standard application of Malliavin calculus to an SPDE whose coefficients and operator are given a priori; the central claim therefore does not collapse to its inputs by construction.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The SPDE admits a unique solution in the random-field sense under the stated boundary conditions and coefficient assumptions.
- standard math The Bouleau-Hirsch criterion for suprema developed by Nualart and Vives applies once nondegeneracy on the argmax set is shown.
Reference graph
Works this paper leans on
-
[1]
J.An Introduction to Continuity, Extrema, and Related Topics for General Gaussian Processes, vol
Adler, R. J.An Introduction to Continuity, Extrema, and Related Topics for General Gaussian Processes, vol. 12 ofLecture Notes–Monograph Series. Institute of Mathematical Statistics, Hayward, CA, 1990. [2]Adler, R. J., and Taylor, J. E.Random Fields and Geometry. Springer, New York, 2007
work page 1990
-
[2]
Antonopoulou, D., F arazakis, D., and Karali, G.Malliavin calculus for the stochastic Cahn–Hilliard/Allen– Cahn equation with unbounded noise diffusion.Journal of Differential Equations 265, 7 (2018), 3168–3211
work page 2018
-
[3]
Bally, V., and Pardoux, E.Malliavin calculus for white noise driven parabolic SPDEs.Potential Analysis 9 (1998), 27–64
work page 1998
-
[4]
Journal of Operator Theory 36, 1 (1996), 179–198
Barbatis, G., and Da vies, E.Sharp bounds on heat kernels of higher order uniformly elliptic operators. Journal of Operator Theory 36, 1 (1996), 179–198
work page 1996
-
[5]
Cardon-Weber, C.Cahn–Hilliard stochastic equation: Existence of the solution and of its density.Bernoulli 5 (2001), 777–816
work page 2001
-
[6]
273 ofMemoirs of the American Mathematical Society
Chen, L., Hu, Y., and Nualart, D.Regularity and Strict Positivity of Densities for the Nonlinear Stochastic Heat Equations, vol. 273 ofMemoirs of the American Mathematical Society. American Mathematical Society, Providence, RI, 2021
work page 2021
-
[7]
Chen, L., Khoshnevisan, D., Nualart, D., and Pu, F.Spatial ergodicity for SPDEs via Poincaré-type inequalities.Electronic Journal of Probability 26, 140 (2021), 1–37
work page 2021
-
[8]
ON THE DENSITY OF THE SUPREMUM OF NONLINEAR SPDES 59
Cui, J., and Hong, J.Absolute continuity and numerical approximation of stochastic Cahn–Hilliard equation with unbounded noise diffusion.Journal of Differential Equations 269, 11 (2020), 10143–10180. ON THE DENSITY OF THE SUPREMUM OF NONLINEAR SPDES 59
work page 2020
-
[9]
Dalang, R. C., Khoshnevisan, D., and Nualart, E.Hitting probabilities for systems of non-linear stochastic heat equations with additive noise.ALEA Latin American Journal of Probability and Mathematical Statistics 3 (2007), 231–271
work page 2007
-
[10]
Dalang, R. C., Khoshnevisan, D., and Nualart, E.Hitting probabilities for systems of non-linear stochastic heat equations with multiplicative noise.Probability Theory and Related Fields 144, 3–4 (2009), 371–427
work page 2009
-
[11]
Dalang, R. C., and Pu, F.On the density of the supremum of the solution to the linear stochastic heat equation.Stochastic Partial Differential Equations: Analysis and Computations 8(2020), 461–508
work page 2020
-
[12]
Dalang, R. C., and Sanz-Solé, M.Stochastic Partial Differential Equations, Space-Time White Noise and Random Fields. Springer Monographs in Mathematics. Springer, Cham, 2026
work page 2026
-
[13]
F arazakis, D., Karali, G., and Sta vrianidi, A.Malliavin calculus for the stochastic heat equation and results on the density. arXiv e-print, 2024
work page 2024
-
[14]
Florit, C., and Nualart, D.A local criterion for smoothness of densities and application to the supremum of the Brownian sheet.Statistics & Probability Letters 22(1995), 25–31
work page 1995
-
[15]
Hayashi, M., and Kohatsu-Higa, A.Smoothness of the distribution of the supremum of a multi-dimensional diffusion process.Potential Analysis 38, 1 (2013), 277–309
work page 2013
-
[16]
Electronic Communications in Probability 8(2003), 102–111
Lanjri Zadi, N., and Nualart, D.Smoothness of the law of the supremum of the fractional Brownian motion. Electronic Communications in Probability 8(2003), 102–111
work page 2003
-
[17]
López, S. I., and Pimentel, L. P. R.On the location of the maximum of a process: Lévy, Gaussian and random field cases.Stochastics: An International Journal of Probability and Stochastic Processes 90, 8 (2018), 1221–1237
work page 2018
-
[18]
Mueller, C., and Nualart, D.Regularity of the density for the stochastic heat equation.Electronic Journal of Probability 13, 74 (2008), 2248–2258
work page 2008
-
[19]
[21]Nualart, D.The Malliavin Calculus and Related Topics
Nakatsu, T.Integration by parts formulas concerning maxima of some SDEs with applications to study on density functions.Stochastic Analysis and Applications 34, 2 (2016), 293–317. [21]Nualart, D.The Malliavin Calculus and Related Topics. Springer-Verlag, Berlin, 2006
work page 2016
-
[20]
Institute of Mathematical Statistics Textbooks
Nualart, D., and Nualart, E.Introduction to Malliavin Calculus. Institute of Mathematical Statistics Textbooks. Cambridge University Press, 2018
work page 2018
-
[21]
Nualart, D., and Vives, J.Continuité absolue de la loi du maximum d’un processus continu.Comptes Rendus de l’Académie des Sciences. Série I. Mathématique 307(1988), 349–354
work page 1988
-
[22]
Pardoux, É., and Zhang, T.Absolute continuity of the law of the solution of a parabolic SPDE.Journal of Functional Analysis 112(1993), 447–458
work page 1993
-
[23]
Pimentel, L. P. R.On the location of the maximum of a continuous stochastic process.Journal of Applied Probability 51, 1 (2014), 152–161
work page 2014
-
[24]
148 ofTranslations of Mathematical Monographs
Piterbarg, V.Asymptotic Methods in the Theory of Gaussian Processes and Fields, vol. 148 ofTranslations of Mathematical Monographs. American Mathematical Society, Providence, RI, 1996
work page 1996
-
[25]
lectures in probability and statistics.Lecture Notes in Math., 1215, 329–491
W alsh, J.Martingales with a multidimensional parameter and stochastic integrals in the plane. lectures in probability and statistics.Lecture Notes in Math., 1215, 329–491. Springer(1986)
work page 1986
-
[26]
B.An introduction to stochastic partial differential equations
W alsh, J. B.An introduction to stochastic partial differential equations. InÉcole d’Été de Probabilités de Saint-Flour XIV–1984, vol. 1180 ofLecture Notes in Mathematics. Springer, Berlin, 1986, pp. 265–439
work page 1984
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.