pith. sign in

arxiv: 2411.07680 · v2 · submitted 2024-11-12 · 🧮 math.PR · math.AP

Energy solutions of singular SPDEs on Hilbert spaces with applications to domains with boundary conditions

Lukas Gr\"afner , Nicolas Perkowski , Shyam Popat This is my paper

Pith reviewed 2026-05-23 17:53 UTC · model grok-4.3

classification 🧮 math.PR math.AP
keywords energy solutionssingular SPDEsGelfand triplesHilbert spacesinvariant measureintegration by partsboundary conditionsstochastic partial differential equations
0
0 comments X

The pith

Energy solutions for singular SPDEs on general Hilbert spaces are defined using Gelfand triples and integration by parts under an invariant measure.

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

The paper extends energy solutions for singular SPDEs driven by irregular noise with bilinear nonlinearities. It introduces Gelfand triples on Hilbert spaces and uses an integration by parts formula with respect to an invariant measure to avoid Fourier series and chaos expansions. This enables a unified treatment across different domains and boundary conditions. The examples are drawn from scaling limits of interacting particle systems.

Core claim

By introducing Gelfand triples and leveraging infinite-dimensional analysis in Hilbert spaces together with an integration by parts formula under the invariant measure, the need for Fourier series and chaos expansions is largely eliminated, broadening the applicability of energy solutions to a wider class of SPDEs on various domains with boundary conditions.

What carries the argument

Gelfand triples on Hilbert spaces together with an integration-by-parts formula under the invariant measure, which replaces Fourier and chaos methods for defining energy solutions.

If this is right

  • Energy solutions apply to SPDEs with bilinear nonlinearities including scaling-critical cases.
  • The framework handles a unified treatment of various domains and boundary conditions.
  • Examples motivated by scaling limits of interacting particle systems become accessible.
  • The method reduces dependence on basis expansions like Fourier series.

Where Pith is reading between the lines

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

  • The approach may simplify analysis of SPDEs on bounded or irregular domains where spectral methods are inconvenient.
  • It could extend to other nonlinearities or noise types by adapting the invariant measure construction.
  • Numerical approximations on general domains might benefit from avoiding global basis expansions.

Load-bearing premise

The existence of a suitable invariant measure on the Hilbert space such that the integration-by-parts formula holds and the energy solution can be defined without additional regularity from Fourier methods.

What would settle it

A specific singular SPDE on a domain with boundary conditions for which no invariant measure exists that satisfies the integration-by-parts formula, or for which the energy solution cannot be defined without Fourier-based regularity.

read the original abstract

In this paper we extend the theory of energy solutions for singular SPDEs, focusing on equations driven by highly irregular noise with bilinear nonlinearities, including scaling critical examples. By introducing Gelfand triples and leveraging infinite-dimensional analysis in Hilbert spaces together with an integration by parts formula under the invariant measure, we largely eliminate the need for Fourier series and chaos expansions. This approach broadens the applicability of energy solutions to a wider class of SPDEs, offering a unified treatment of various domains and boundary conditions. Our examples are motivated by recent work on scaling limits of interacting particle systems.

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

1 major / 0 minor

Summary. The manuscript claims to extend the theory of energy solutions for singular SPDEs driven by highly irregular noise with bilinear nonlinearities (including scaling-critical cases) by introducing Gelfand triples (V, H, V*) on Hilbert spaces together with an integration-by-parts formula under an invariant measure μ on H. This is asserted to largely eliminate the need for Fourier series and chaos expansions, thereby providing a unified treatment applicable to domains with various boundary conditions. Examples are motivated by scaling limits of interacting particle systems.

Significance. If the construction of μ and the IBP formula can be carried out rigorously without implicit reliance on spectral methods, the result would meaningfully broaden the scope of energy-solution techniques to settings where Fourier analysis is unavailable or inconvenient, constituting a useful methodological contribution to singular SPDE theory.

major comments (1)
  1. [Abstract] Abstract: The central claim that the Gelfand-triple approach 'largely eliminate[s] the need for Fourier series and chaos expansions' is load-bearing for the paper's novelty and applicability to boundary-value problems. For the linear operator (typically a Laplacian or similar) with boundary conditions, both the existence of the invariant measure μ on H and the validity of the integration-by-parts identity ∫ ⟨∇F, u⟩ dμ = ∫ F δ(u) dμ are classically obtained via the spectral theorem or eigenfunction expansion of the generator. The manuscript must supply an explicit theorem or construction (with a named section or equation) demonstrating that these objects are obtained independently of any eigenbasis; otherwise the claimed elimination is not achieved and the approach merely relocates the spectral work into the choice of V.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and constructive feedback on manuscript arXiv:2411.07680. We address the single major comment below.

read point-by-point responses

  1. Referee: [Abstract] Abstract: The central claim that the Gelfand-triple approach 'largely eliminate[s] the need for Fourier series and chaos expansions' is load-bearing for the paper's novelty and applicability to boundary-value problems. For the linear operator (typically a Laplacian or similar) with boundary conditions, both the existence of the invariant measure μ on H and the validity of the integration-by-parts identity ∫ ⟨∇F, u⟩ dμ = ∫ F δ(u) dμ are classically obtained via the spectral theorem or eigenfunction expansion of the generator. The manuscript must supply an explicit theorem or construction (with a named section or equation) demonstrating that these objects are obtained independently of any eigenbasis; otherwise the claimed elimination is not achieved and the approach merely relocates the spectral work into the choice of V.

    Authors: We thank the referee for this observation. The manuscript's claim concerns the elimination of explicit Fourier series expansions and chaos expansions in the analysis of the singular SPDE itself (including the bilinear nonlinearity and the energy-solution definition), once a Gelfand triple (V,H,V*) and invariant measure μ have been fixed. The existence of μ (as the centered Gaussian with covariance given by the inverse of the linear operator A) and the associated IBP formula are indeed obtained via the spectral theorem applied to A, which is the standard construction in infinite-dimensional analysis and is performed only at the level of setting up the abstract framework. No further eigenfunction expansions or chaos decompositions are required when verifying the energy-solution property or passing to the limit for the nonlinear equation. This is the sense in which the approach unifies treatment across domains and boundary conditions: V is chosen to encode the boundary conditions (e.g., via the domain of the form associated with A), after which the SPDE theory proceeds uniformly without basis-dependent calculations. We do not assert that μ can be constructed without any spectral input; rather, the spectral step is confined to the linear operator and does not propagate into the singular SPDE analysis. To address the referee's request for explicit clarification, we will add a short paragraph in Section 2 (after the definition of the Gelfand triple) recalling the standard spectral construction of μ and IBP, and we will slightly rephrase the abstract to read 'largely eliminate the need for explicit Fourier series and chaos expansions in the SPDE analysis.' revision: partial

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The provided abstract and context describe an extension of energy solutions via Gelfand triples, infinite-dimensional analysis, and an integration-by-parts formula under an invariant measure, with the explicit goal of reducing reliance on Fourier/chaos methods. No equations, self-citations, or derivation steps are exhibited that reduce a claimed prediction or result to a fitted input or prior self-citation by construction. The central claims rest on standard tools from infinite-dimensional stochastic analysis whose validity is independent of the present paper's fitted values or definitions, making the derivation self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review; free parameters, axioms, and invented entities cannot be extracted without the full text.

pith-pipeline@v0.9.0 · 5623 in / 1000 out tokens · 12799 ms · 2026-05-23T17:53:21.781341+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 · 32 canonical work pages · 1 internal anchor

  1. [1]

    Romain Allez and Khalil Chouk, The continuous A nderson hamiltonian in dimension two , arXiv preprint arXiv:1511.02718 (2015)

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  2. [2]

    Pedro Cardoso and Patr\' i cia Gon c alves, Regional fractional stochastic B urgers from random interactions , personal communication, 2024

    work page 2024

  3. [3]

    Giuseppe Da Prato and Arnaud Debussche, Strong solutions to the stochastic quantization equations, Ann. Probab. 31 (2003), no. 4, 1900--1916. 2016604

    work page 2003

  4. [4]

    CRM Barcelona, Birkh\"auser Verlag, Basel, 2004

    Giuseppe Da Prato, Kolmogorov equations for stochastic PDE s , Advanced Courses in Mathematics. CRM Barcelona, Birkh\"auser Verlag, Basel, 2004. 2111320 (2005m:60002)

    work page 2004

  5. [5]

    Giuseppe Da Prato and Arnaud Debussche, Two-dimensional N avier- S tokes equations driven by a space-time white noise , J. Funct. Anal. 196 (2002), no. 1, 180--210. 1941997

    work page 2002

  6. [6]

    Da Prato, F

    G. Da Prato, F. Flandoli, E. Priola, and M. R\" o ckner, Strong uniqueness for stochastic evolution equations in H ilbert spaces perturbed by a bounded measurable drift , Ann. Probab. 41 (2013), no. 5, 3306--3344. 3127884

    work page 2013

  7. [7]

    Da Prato, F

    G. Da Prato, F. Flandoli, E. Priola, and M. R\"ockner, Strong uniqueness for stochastic evolution equations with unbounded measurable drift term, J. Theoret. Probab. 28 (2015), no. 4, 1571--1600. 3422943

    work page 2015

  8. [8]

    Theory Related Fields 124 (2002), no

    Giuseppe Da Prato and Michael R\"ockner, Singular dissipative stochastic equations in H ilbert spaces , Probab. Theory Related Fields 124 (2002), no. 2, 261--303. 1936019

    work page 2002

  9. [9]

    Da Prato and J

    G. Da Prato and J. Zabczyk, Ergodicity for infinite-dimensional systems, London Mathematical Society Lecture Note Series, vol. 229, Cambridge University Press, Cambridge, 1996. 1417491

    work page 1996

  10. [10]

    293, Cambridge University Press, Cambridge, 2002

    Giuseppe Da Prato and Jerzy Zabczyk, Second order partial differential equations in H ilbert spaces , London Mathematical Society Lecture Note Series, vol. 293, Cambridge University Press, Cambridge, 2002. 1985790

    work page 2002

  11. [11]

    152, Cambridge University Press, Cambridge, 2014

    Giuseppe Da Prato and Jerzy Zabczyk, Stochastic equations in infinite dimensions, second ed., Encyclopedia of Mathematics and its Applications, vol. 152, Cambridge University Press, Cambridge, 2014. 3236753

    work page 2014

  12. [12]

    19, American Mathematical Society, 2022

    Lawrence C Evans, Partial differential equations, vol. 19, American Mathematical Society, 2022

    work page 2022

  13. [13]

    Friz and Nicolas B

    Peter K. Friz and Nicolas B. Victoir, Multidimensional stochastic processes as rough paths, Cambridge Studies in Advanced Mathematics, vol. 120, Cambridge University Press, Cambridge, 2010, Theory and applications. 2604669

    work page 2010

  14. [14]

    Friz and Huilin Zhang, Differential equations driven by rough paths with jumps, J

    Peter K. Friz and Huilin Zhang, Differential equations driven by rough paths with jumps, J. Differential Equations 264 (2018), no. 10, 6226--6301. 3770049

    work page 2018

  15. [15]

    Massimiliano Gubinelli, Peter Imkeller, and Nicolas Perkowski, Paracontrolled distributions and singular PDE s , Forum of Mathematics, Pi 3 (2015), no. e6

    work page 2015

  16. [16]

    2, 325--350

    Massimiliano Gubinelli and Milton Jara, Regularization by noise and stochastic B urgers equations , Stochastic Partial Differential Equations: Analysis and Computations 1 (2013), no. 2, 325--350

    work page 2013

  17. [17]

    Patr \' cia Gon c alves and Milton Jara, Nonlinear fluctuations of weakly asymmetric interacting particle systems, Arch. Ration. Mech. Anal. 212 (2014), no. 2, 597--644

    work page 2014

  18. [18]

    Theory Related Fields 134 (2006), no

    Qing-Yang Guan and Zhi-Ming Ma, Reflected symmetric -stable processes and regional fractional L aplacian , Probab. Theory Related Fields 134 (2006), no. 4, 649--694. 2214908

    work page 2006

  19. [19]

    Massimiliano Gubinelli and Nicolas Perkowski, Energy solutions of KPZ are unique , J. Amer. Math. Soc. 31 (2018), no. 2, 427--471

    work page 2018

  20. [20]

    Theory Related Fields 178 (2020), no

    Massimiliano Gubinelli and Nicolas Perkowski, The infinitesimal generator of the stochastic burgers equation, Probab. Theory Related Fields 178 (2020), no. 3-4, 1067--1124

    work page 2020

  21. [21]

    Lukas Gr \"a fner and Nicolas Perkowski, Energy solutions and generators of singular SPDE s , Lecture note, https://files-www.mis.mpg.de/mpi-typo3/events-files/slides_759.pdf (2023)

    work page 2023

  22. [22]

    Lukas Gr \"a fner and Nicolas Perkowski, Weak well-posedness of energy solutions to singular SDE s with supercritical distributional drift , arXiv preprint arXiv:2407.09046 (2024)

    work page arXiv 2024

  23. [23]

    Lukas Gr \"a fner and Nicolas Perkowski, Weak well-posedness of energy solutions to some critical singular SPDE s , preprint, 2024+

    work page 2024

  24. [24]

    Patr\' i cia Gon c alves, Nicolas Perkowski, and Marielle Simon, Derivation of the stochastic B urgers equation with D irichlet boundary conditions from the WASEP , Annales Henri Lebesgue 3 (2020), 87--167 (en)

    work page 2020

  25. [25]

    Martin Hairer, A theory of regularity structures, Invent. Math. 198 (2014), no. 2, 269--504

    work page 2014

  26. [26]

    345, Springer, Heidelberg, 2012, Time symmetry and martingale approximation

    Tomasz Komorowski, Claudio Landim, and Stefano Olla, Fluctuations in M arkov processes , Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 345, Springer, Heidelberg, 2012, Time symmetry and martingale approximation. 2952852

    work page 2012

  27. [27]

    Wei Liu and Michael R\"ockner, Stochastic partial differential equations: an introduction, Universitext, Springer, Cham, 2015. 3410409

    work page 2015

  28. [28]

    Lyons, Differential equations driven by rough signals , Rev

    Terry J. Lyons, Differential equations driven by rough signals , Rev. Mat. Iberoam. 14 (1998), no. 2, 215--310

    work page 1998

  29. [29]

    Itaru Mitoma, Tightness of probabilities on C([0,1]; S ') and D([0,1]; S ') , Ann. Probab. 11 (1983), no. 4, 989--999. 714961

    work page 1983

  30. [30]

    David Nualart, The M alliavin calculus and related topics , second ed., Probability and its Applications (New York), Springer-Verlag, Berlin, 2006. 2200233

    work page 2006

  31. [31]

    Nicolas Perkowski, Energy solutions of singular spdes, Lecture note, https://www.mi.fu-berlin.de/math/groups/stoch/members/publ_Perkowski/LN202408_MarylandSummerSchool.pdf (2024)

    work page 2024

  32. [32]

    III , Monographs in Mathematics , vol

    Hans Triebel, Theory of function spaces. III , Monographs in Mathematics , vol. 100, Birkh \"a user Verlag, Basel, 2006. 2250142 (2007k:46058)

    work page 2006