pith. sign in

arxiv: 2604.26549 · v1 · submitted 2026-04-29 · 🧮 math.PR

Existence and uniqueness results of a stochastic nonlinear heat equation with a constraint of codimension one

Ashish Bawalia , Zdzis{\l}aw Brze\'zniak , Manil T. Mohan This is my paper

Pith reviewed 2026-05-07 11:17 UTC · model grok-4.3

classification 🧮 math.PR
keywords stochastic heat equationmartingale solutionpathwise uniquenessYamada-Watanabe theoremL2-norm constraintStratonovich noiseFaedo-Galerkin schemewell-posedness
0
0 comments X

The pith

A stochastic nonlinear heat equation with L2-norm constraint admits unique strong solutions in bounded domains.

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

This paper proves well-posedness for a stochastic heat equation featuring polynomial nonlinearity and multiplicative Stratonovich white noise, while enforcing a fixed L2 norm on the solution. In any spatial dimension and on bounded smooth domains, martingale solutions exist in the space H_0^1 intersect L^p for all p at least 2. The proof relies on a modified Faedo-Galerkin approximation scheme combined with a new Ito formula for the L^p norm derived from a sequence of bounded self-adjoint operators. Pathwise uniqueness of these solutions then combines with the Yamada-Watanabe theorem to deliver strong solutions that are unique in law.

Core claim

In bounded smooth domains, we establish the existence of a martingale solution to the stochastic nonlinear heat equation with arbitrary polynomial nonlinearity, multiplicative white noise in Stratonovich form, and an L2-norm constraint, with the solution taking values in H_0^1 ∩ L^p for arbitrary 2 ≤ p < ∞. This is achieved using a modified Faedo-Galerkin scheme. By utilizing a sequence of self-adjoint operators bounded in L^p, a novel proof of an Ito formula for the L^p-norm is provided. Together with pathwise uniqueness, the Yamada-Watanabe theorem yields the existence of a strong solution and uniqueness in law.

What carries the argument

Modified Faedo-Galerkin scheme together with the novel Ito formula for the L^p-norm derived from a sequence of self-adjoint operators bounded in L^p for all p >=2, applied under the codimension-one L2-norm constraint.

If this is right

  • Martingale solutions exist in H_0^1 ∩ L^p for every 2 ≤ p < ∞.
  • Pathwise uniqueness holds for the constructed martingale solutions.
  • Yamada-Watanabe applies to produce strong solutions unique in law.
  • The result covers arbitrary polynomial degrees of the nonlinearity and all dimensions d >=1.

Where Pith is reading between the lines

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

  • The technique for deriving the L^p Ito formula via self-adjoint operators may extend to other SPDEs that preserve a norm constraint.
  • Numerical schemes based on the modified Galerkin method could be implemented to simulate the constrained dynamics.
  • The codimension-one constraint places the solutions on an infinite-dimensional manifold, suggesting links to geometric stochastic analysis.

Load-bearing premise

The spatial domain is bounded and smooth, and there exists a sequence of self-adjoint operators bounded in every L^p space with p >=2 that permits the new Ito formula for the L^p norm of the solution.

What would settle it

An explicit polynomial nonlinearity and initial data on a smooth bounded domain for which the Galerkin approximations fail to converge in H_0^1 or for which two distinct strong solutions share the same law would disprove the result.

read the original abstract

In this work, we investigate the well-posedness of a stochastic heat equation with an arbitrary (but polynomial) nonlinearity in any dimension $d\geq 1$ perturbed by a multiplicative white noise in the Stratonovich form, subject to an $L^2-$norm constraint on the solution. In bounded smooth domains, we establish the existence of a martingale solution taking values in $H_0^1 \cap L^p$ for arbitrary $2 \le p < \infty$, using a modified Faedo-Galerkin scheme. By utilizing a sequence of self-adjoint operators which are bounded in $L^p$ for any $2 \le p < \infty$, we provide a novel proof of an It\^o formula for the $L^p-$norm of the solution. Together with pathwise uniqueness of the martingale solution, the Yamada-Watanabe result then yields the existence of a strong solution and uniqueness in law.

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

2 major / 2 minor

Summary. The manuscript establishes well-posedness for a stochastic nonlinear heat equation with polynomial nonlinearity of arbitrary degree, Stratonovich multiplicative noise, and an L²-norm constraint, in any dimension d ≥ 1. In bounded smooth domains, a modified Faedo-Galerkin scheme is used to construct martingale solutions valued in H₀¹ ∩ L^p for arbitrary 2 ≤ p < ∞. A novel Itô formula for the L^p-norm is derived via a sequence of self-adjoint operators bounded in L^p, followed by tightness arguments, passage to the limit, pathwise uniqueness of the martingale solution, and application of the Yamada-Watanabe theorem to obtain strong solutions with uniqueness in law.

Significance. If the central claims hold, the work provides a technically nontrivial extension of well-posedness results for constrained SPDEs to high-degree nonlinearities and arbitrary p-norms. The construction of the modified Galerkin scheme that respects the codimension-one constraint and the new Itô formula for the L^p-norm represent genuine contributions that may apply to other conservation-law SPDEs. The paper credits the use of standard tools (Yamada-Watanabe, tightness) while developing an independent Itô formula, which strengthens the assessment.

major comments (2)
  1. [§3] §3 (modified Faedo-Galerkin construction): the preservation of the exact L²-norm constraint under the approximation must be verified explicitly before passing to the limit; without a uniform control on the constraint violation, the limiting martingale solution may fail to satisfy the codimension-one condition that is central to the problem statement.
  2. [§4] §4 (Itô formula for L^p-norm): the sequence of self-adjoint operators is asserted to be bounded in L^p uniformly for all 2 ≤ p < ∞, but the proof sketch does not clarify whether the operator norms remain independent of p or whether the constants in the resulting Itô formula deteriorate as p → ∞; this affects the tightness argument in H₀¹ ∩ L^p for arbitrary p.
minor comments (2)
  1. Notation for the Stratonovich integral and the projection onto the constraint manifold should be made consistent between the abstract and the main text.
  2. A brief comparison with existing results on unconstrained stochastic heat equations (e.g., via references to Da Prato–Zabczyk or other standard SPDE texts) would clarify the novelty of the constraint handling.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback on our manuscript. The comments highlight important points for clarification, which we address below. We will revise the manuscript accordingly to strengthen the presentation.

read point-by-point responses

  1. Referee: [§3] §3 (modified Faedo-Galerkin construction): the preservation of the exact L²-norm constraint under the approximation must be verified explicitly before passing to the limit; without a uniform control on the constraint violation, the limiting martingale solution may fail to satisfy the codimension-one condition that is central to the problem statement.

    Authors: We agree that explicit verification is essential. Our modified Faedo-Galerkin scheme is constructed precisely so that each finite-dimensional approximation satisfies the L²-norm constraint exactly for all times (by incorporating a projection step onto the constraint manifold at the level of the ODE system). We will add a dedicated lemma in §3 proving that ||u_n(t)||_{L²} remains equal to the initial value with no violation, uniformly in n. This exact preservation passes to the limit via weak convergence in L², ensuring the martingale solution satisfies the codimension-one constraint. We will revise the text to include this verification explicitly. revision: yes

  2. Referee: [§4] §4 (Itô formula for L^p-norm): the sequence of self-adjoint operators is asserted to be bounded in L^p uniformly for all 2 ≤ p < ∞, but the proof sketch does not clarify whether the operator norms remain independent of p or whether the constants in the resulting Itô formula deteriorate as p → ∞; this affects the tightness argument in H₀¹ ∩ L^p for arbitrary p.

    Authors: We thank the referee for this observation. The sequence of self-adjoint operators is defined via spectral truncation of the Laplacian (or equivalent mollifiers) such that each operator is a contraction in every L^p space, with operator norm bounded by 1 independently of p. Consequently, the constants in the derived Itô formula for the L^p-norm remain uniform in p. We will expand the proof in §4 to state and verify this p-independence explicitly, which directly supports the tightness argument in H₀¹ ∩ L^p for any fixed p < ∞. The revision will clarify that no deterioration occurs. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper establishes existence of a martingale solution via a modified Faedo-Galerkin scheme that enforces the L2-norm constraint by construction, followed by a novel Ito formula for the Lp-norm derived from a sequence of self-adjoint operators bounded in Lp, tightness arguments to obtain the limit solution in H0^1 ∩ Lp, pathwise uniqueness, and application of the external Yamada-Watanabe theorem for strong solution and uniqueness in law. These steps rely on standard stochastic PDE techniques and independent constructions under the stated assumptions (bounded smooth domain, polynomial nonlinearity, Stratonovich noise) without reducing the central claim to self-definition, fitted inputs renamed as predictions, or load-bearing self-citations. No ansatz smuggling or renaming of known results is indicated.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard results from functional analysis, stochastic calculus, and SPDE theory plus one domain-specific construction for the Ito formula; no free parameters or invented entities are introduced.

axioms (2)
  • standard math Standard existence and properties of martingale solutions for SPDEs in Hilbert and Banach spaces
    Invoked throughout the well-posedness argument in bounded domains.
  • domain assumption Existence of a sequence of self-adjoint operators bounded in Lp for 2 ≤ p < ∞
    Used to prove the novel Ito formula for the Lp-norm of the solution.

pith-pipeline@v0.9.0 · 5478 in / 1404 out tokens · 64726 ms · 2026-05-07T11:17:55.791397+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

42 extracted references · 42 canonical work pages

  1. [1]

    D. Aldous. Stopping times and tightness.Ann. Probability, 6(2):335–340, 1978

    work page 1978

  2. [2]

    Antonelli, P

    P. Antonelli, P. Cannarsa, and B. Shakarov. Existence and asymptotic behavior forL2-norm preserving nonlinear heat equations.Calc. Var. Partial Differential Equations, 63(4):Paper No. 108, 31, 2024

    work page 2024

  3. [3]

    Badrikian.Séminaire sur les fonctions aléatoires linéaires et les mesures cylindriques, volume 139

    A. Badrikian.Séminaire sur les fonctions aléatoires linéaires et les mesures cylindriques, volume 139. Springer, 2006

    work page 2006

  4. [4]

    A.Bawalia, Z.Brzeźniak, andM.T.Mohan.Globalwell-posednessandasymptoticanalysisofanonlinear heat equation with constraints of finite codimension.arXiv:2507.00160, 2025

    work page arXiv 2025

  5. [5]

    Bawalia, Z

    A. Bawalia, Z. Brzeźniak, M.T. Mohan, and P. Rybka. Well-posedness and the Łojasiewicz-Simon inequality in the asymptotic analysis of a nonlinear heat equation with constraints of finite codimension. arXiv:2512.21158, 2025

    work page arXiv 2025

  6. [6]

    Brzeźniak and S

    Z. Brzeźniak and S. Cerrai. Stochastic wave equations with constraints: Well-posedness and Smolu- chowski–Kramers diffusion approximation.Commun. Math. Phys., 406(9):223, 2025

    work page 2025

  7. [7]

    Brzeźniak and G

    Z. Brzeźniak and G. Dhariwal. Stochastic constrained Navier-Stokes equations onT2.J. Differential Equations, 285:128–174, 2021

    work page 2021

  8. [8]

    Brzeźniak, G

    Z. Brzeźniak, G. Dhariwal, and M. Mariani. 2D constrained Navier-Stokes equations.J. Differential Equations, 264(4):2833–2864, 2018. 60 EXISTENCE AND UNIQUENESS OF A STOCHASTIC CONSTRAINED HEAT EQUATION

    work page 2018

  9. [9]

    Brzeźniak, B

    Z. Brzeźniak, B. Ferrario, and M. Zanella. Invariant measures for a stochastic nonlinear and damped 2D Schrödinger equation.Nonlinearity, 37(1):Paper No. 015001, 66, 2024

    work page 2024

  10. [10]

    Brzeźniak, F

    Z. Brzeźniak, F. Hornung, and U. Manna. Weak martingale solutions for the stochastic nonlinear Schrödinger equation driven by pure jump noise.Stoch. Partial Differ. Equ. Anal. Comput., 8(1):1– 53, 2020

    work page 2020

  11. [11]

    Brzeźniak, F

    Z. Brzeźniak, F. Hornung, and L. Weis. Martingale solutions for the stochastic nonlinear Schrödinger equation in the energy space.Probab. Theory Related Fields, 174(3-4):1273–1338, 2019

    work page 2019

  12. [12]

    Brzeźniak and J

    Z. Brzeźniak and J. Hussain. Global solution of nonlinear stochastic heat equation with solutions in a Hilbert manifold.Stoch. Dyn., 20(6):2040012, 29, 2020

    work page 2020

  13. [13]

    Brzeźniak and J

    Z. Brzeźniak and J. Hussain. Global solution of nonlinear heat equation with solutions in a Hilbert manifold.Nonlinear Anal., 242:Paper No. 113505, 17, 2024

    work page 2024

  14. [14]

    Brzeźniak and J

    Z. Brzeźniak and J. Hussain. Large deviations for the stochastic nonlinear heat equation on a Hilbert manifold.Potential Anal., 64(2):Paper No. 36, 30, 2026

    work page 2026

  15. [15]

    Brzeźniak and M

    Z. Brzeźniak and M. Ondreját. Strong solutions to stochastic wave equations with values in Riemannian manifolds.J. Funct. Anal., 253(2):449–481, 2007

    work page 2007

  16. [16]

    Brzeźniak and S

    Z. Brzeźniak and S. Peszat. Stochastic two dimensional Euler equations.Ann. Probab., 29(4):1796–1832, 2001

    work page 2001

  17. [17]

    Brzeźniak and T

    Z. Brzeźniak and T. Zastawniak.Basic stochastic processes. Springer-Verlag London, Ltd., London, 1999

    work page 1999

  18. [18]

    Caffarelli and F

    L. Caffarelli and F. Lin. Nonlocal heat flows preserving theL2 energy.Discrete Contin. Dyn. Syst., 23(1-2):49–64, 2009

    work page 2009

  19. [19]

    Cerrai and M

    S. Cerrai and M. Xie. The small-mass limit for some constrained wave equations with nonlinear conser- vative noise.Electron. J. Probab., 30:Paper No. 25, 27, 2025

    work page 2025

  20. [20]

    Farwig, H

    R. Farwig, H. Kozono, and H. Sohr. AnLq-approach to Stokes and Navier-Stokes equations in general domains.Acta Math., 195:21–53, 2005

    work page 2005

  21. [21]

    Goodair and D

    D. Goodair and D. Crisan.Stochastic calculus in infinite dimensions and SPDEs. Springer, Cham, 2024

    work page 2024

  22. [22]

    Gyöngy and N

    I. Gyöngy and N. V. Krylov. On stochastics equations with respect to semimartingales. II. Itô formula in Banach spaces.Stochastics, 6(3-4):153–173, 1981/82

    work page 1981

  23. [23]

    Gyöngy and D

    I. Gyöngy and D. Šiška. Itô formula for processes taking values in intersection of finitely many Banach spaces.Stoch. Partial Differ. Equ. Anal. Comput., 5(3):428–455, 2017

    work page 2017

  24. [24]

    F. Hornung. The nonlinear stochastic Schrödinger equation via stochastic Strichartz estimates.J. Evol. Equ., 18(3):1085–1114, 2018

    work page 2018

  25. [25]

    L. Hornung. Strong solutions to a nonlinear stochastic Maxwell equation with a retarded material law. J. Evol. Equ., 18(3):1427–1469, 2018

    work page 2018

  26. [26]

    J. Hussain. Faedo-Galerkin approximations for nonlinear heat equation on Hilbert manifold.Carpathian J. Math., 39(3):667–682, 2023

    work page 2023

  27. [27]

    Hussain, A

    J. Hussain, A. Fatah, and S. Ahmed. Existence of martingale solutions to stochastic constrained heat equation.arXiv:2411.04631, 2024

    work page arXiv 2024

  28. [28]

    Ichikawa

    A. Ichikawa. Some inequalities for martingales and stochastic convolutions.Stochastic Analysis and Applications, 4(3):329–339, 1986

    work page 1986

  29. [29]

    Jakubowski

    A. Jakubowski. The almost sure Skorokhod representation for subsequences in nonmetric spaces.Teor. Veroyatnost. i Primenen., 42(1):209–216, 1997

    work page 1997

  30. [30]

    N. V. Krylov. Itô’s formula for theLp-norm of stochasticW 1 p-valued processes.Probab. Theory Related Fields, 147(3-4):583–605, 2010

    work page 2010

  31. [31]

    Lions.Quelques méthodes de résolution des problèmes aux limites non linéaires

    J.-L. Lions.Quelques méthodes de résolution des problèmes aux limites non linéaires. Dunod, Paris; Gauthier-Villars, Paris, 1969

    work page 1969

  32. [32]

    Ma and L

    L. Ma and L. Cheng. Non-local heat flows and gradient estimates on closed manifolds.J. Evol. Equ., 9(4):787–807, 2009

    work page 2009

  33. [33]

    Ma and L

    L. Ma and L. Cheng. Global solutions to norm-preserving non-local flows of porous media type.Proc. Roy. Soc. Edinburgh Sect. A, 143(4):871–880, 2013

    work page 2013

  34. [34]

    Métivier.Stochastic partial differential equations in infinite-dimensional spaces

    M. Métivier.Stochastic partial differential equations in infinite-dimensional spaces. Scuola Normale Superiore, Pisa, 1988

    work page 1988

  35. [35]

    Ondreját

    M. Ondreját. Uniqueness for stochastic evolution equations in Banach spaces.Dissertationes Math. (Rozprawy Mat.), 426:63, 2004. EXISTENCE AND UNIQUENESS OF A STOCHASTIC CONSTRAINED HEAT EQUATION 61

    work page 2004

  36. [36]

    E. Pardoux. équations aux dérivées partielles stochastiques de type monotone. InSéminaire sur les Équations aux Dérivées Partielles (1974–1975), III, pages Exp. No. 2, 10. Collège de France, Paris, 1975

    work page 1974

  37. [37]

    D. G. Prato and J. Zabczyk.Stochastic equations in infinite dimensions, volume 152. Cambridge Uni- versity Press, Cambridge, second edition, 2014

    work page 2014

  38. [38]

    R. Rybka. Convergence of a heat flow on a Hilbert manifold.Proc. Roy. Soc. Edinburgh Sect. A, 136(4):851–862, 2006

    work page 2006

  39. [39]

    Schmalfuss

    B. Schmalfuss. Qualitative properties for the stochastic Navier-Stokes equation.Nonlinear Anal., 28(9):1545–1563, 1997

    work page 1997

  40. [40]

    Shakarov

    B. Shakarov. Global solutions and asymptotic behavior to a norm-preserving non-local parabolic flow. Boll. Unione Mat. Ital., pages 1–20, 2025

    work page 2025

  41. [41]

    E. Theewis. The Yamada-Watanabe-Engelbert theorem for SPDEs in Banach spaces. arXiv:2502.00189v3, 2025

    work page arXiv 2025

  42. [42]

    M. J. Vishik and A. V. Fursikov.Mathematical problems of statistical hydromechanics, volume 9. Kluwer Academic Publishers Group, Dordrecht, 1988

    work page 1988