arxiv: 2605.07832 · v1 · submitted 2026-05-08 · 🧮 math.PR

Recognition: 2 theorem links

· Lean Theorem

A Bismut-Elworthy formula for BSDEs with degenerate noise

Davide Addona, Federica Masiero

Authors on Pith no claims yet

Pith reviewed 2026-05-11 02:30 UTC · model grok-4.3

classification 🧮 math.PR

keywords Bismut-Elworthy formulabackward stochastic differential equationsdegenerate noisestochastic wave equationsgradient estimatesinfinite-dimensional Hilbert spaceMalliavin calculus

0 comments

The pith

Bismut-Elworthy formula holds for BSDEs with degenerate noise under weaker conditions

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

The paper derives a Bismut-Elworthy formula for gradient estimates on the transition semigroup of stochastic differential equations in possibly infinite-dimensional Hilbert spaces, replacing the usual non-degeneracy assumption on the noise with weaker conditions. It further develops a nonlinear version of the formula for backward stochastic differential equations. This extension matters for systems like stochastic wave equations and damped wave equations, where the noise does not influence every direction. A reader would care because it broadens the class of equations for which such sensitivity estimates are available without requiring full non-degeneracy.

Core claim

We derive a Bismut-Elworthy formula under assumptions weaker than the non degeneracy of the noise. By Bismut-Elworthy formula we mean a gradient type estimate on the transition semigroup of a stochastic differential equation in a possibly infinite dimensional Hilbert space. We also consider a nonlinear version of the Bismut formula for a backward stochastic differential equation, in analogy to what is done where a non-degenerate noise is considered. The study is motivated by applications to stochastic wave equations and to stochastic damped wave equation.

What carries the argument

The Bismut-Elworthy formula, defined as a gradient-type estimate on the transition semigroup, obtained through integration-by-parts or Malliavin calculus adapted to weaker degeneracy conditions on the noise.

If this is right

Gradient estimates become available for SDEs whose noise fails to be non-degenerate in every direction.
Nonlinear Bismut-type formulas apply to backward equations linked to wave models.
Sensitivity analysis extends to infinite-dimensional stochastic systems with partial noise support.
Results apply directly to stochastic wave equations and damped wave equations.

Where Pith is reading between the lines

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

The approach may support regularity proofs for related optimal control problems with degenerate forcing.
Similar adaptations could be tested on other degenerate SPDEs such as the stochastic Navier-Stokes system.
Numerical schemes for wave equations might gain improved error bounds from these estimates.

Load-bearing premise

The weaker conditions on the noise must still guarantee Malliavin differentiability of the solutions or permit the integration-by-parts structure needed for the formula in infinite-dimensional Hilbert space.

What would settle it

Construct a concrete stochastic wave equation or BSDE satisfying the paper's weaker assumptions on the noise but for which the expected gradient estimate on the semigroup fails to hold.

read the original abstract

In this paper we derive a Bismut-Elworthy formula under assumptions weaker than the non degeneracy of the noise. By Bismut-Elworthy formula we mean a gradient type estimate on the transition semigroup of a stochastic differential equation in a possibly infinite dimensional Hilbert space. We also consider a nonlinear version of the Bismut formula for a backward stochastic differential equation, in analogy to what is done in \cite{futeBismut}, where a non-degenerate noise is considered. Our study is motivated by applications to stochastic wave equations and to stochastic damped wave equation.

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

This extends the Bismut-Elworthy formula to degenerate noise in Hilbert spaces for SDEs and BSDEs, a useful technical step for wave equation applications.

read the letter

The main thing here is that Addona and Masiero derive a Bismut-Elworthy formula under weaker-than-non-degenerate noise assumptions for SDEs in possibly infinite-dimensional Hilbert spaces, plus a nonlinear version for BSDEs. This directly targets settings like stochastic wave equations where full non-degeneracy is unrealistic. They build on the cited non-degenerate results and adapt the gradient estimates accordingly. The motivation fits the applications, and the work stays within standard stochastic analysis tools without obvious overreach. What they do well is spell out the extension clearly enough that someone familiar with the non-degenerate case can see the changes in assumptions. The BSDE analogue follows the same pattern as prior work, which keeps the contribution focused and incremental. The abstract positions everything as a legitimate relaxation rather than a complete rewrite. The softer spots center on the exact weaker conditions replacing non-degeneracy. Without those spelled out in detail, it is not immediate whether they fully preserve the Malliavin differentiability and integration-by-parts structure needed in infinite dimensions. If the proofs check the error estimates and confirm the steps hold, the claim stands; if any step relies on hidden non-degeneracy, it would need fixing. No circularity or self-referential fitting appears in the setup. This is for readers already working in infinite-dimensional probability and BSDE theory. Someone who uses these formulas for SPDEs will find the relaxed assumptions practical. It shows clear thinking and honest engagement with the literature, so it deserves a serious referee even if revisions are needed on the assumption details.

Referee Report

0 major / 3 minor

Summary. The paper derives a Bismut-Elworthy formula providing a gradient estimate for the transition semigroup of an SDE in a (possibly infinite-dimensional) Hilbert space, under assumptions weaker than non-degeneracy of the noise. It also establishes a nonlinear version of the formula for BSDEs, in analogy with prior non-degenerate results, with motivation from stochastic wave equations and damped wave equations.

Significance. If the derivations hold under the stated weaker conditions, the results would meaningfully extend the applicability of Bismut-Elworthy-type estimates beyond the non-degenerate setting, enabling their use for degenerate-noise models such as stochastic wave equations. This is a substantive contribution to infinite-dimensional stochastic analysis, though the absence of explicit machine-checked proofs or fully reproducible code in the manuscript limits the immediate verifiability of the technical steps.

minor comments (3)

The abstract and introduction should explicitly state the precise weaker conditions replacing non-degeneracy (e.g., the minimal requirements on the diffusion coefficient that still ensure Malliavin differentiability and the integration-by-parts structure in Hilbert space) rather than leaving them implicit.
In the nonlinear BSDE section, clarify the precise sense in which the formula is 'nonlinear' and how it reduces to the linear case; a short comparison table with the non-degenerate result in the cited reference would improve readability.
Notation for the Malliavin derivative and the Skorokhod integral should be introduced with a brief reminder of the Hilbert-space setting to aid readers unfamiliar with the infinite-dimensional framework.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our work and the recommendation for minor revision. We appreciate the recognition that the results extend Bismut-Elworthy formulas to degenerate noise settings relevant to stochastic wave equations.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper derives a Bismut-Elworthy formula for SDEs and a nonlinear version for BSDEs under weaker-than-non-degenerate noise assumptions in Hilbert space, motivated by wave equations. No load-bearing steps reduce by construction to inputs, self-definitions, fitted parameters renamed as predictions, or self-citation chains. The reference to prior non-degenerate work is for analogy only and does not substitute for the new proof. The central claim rests on independent Malliavin calculus and integration-by-parts arguments applied to the stated weaker conditions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The derivation relies on standard existence and uniqueness results for SDEs and BSDEs in Hilbert spaces plus Malliavin calculus integration-by-parts formulas; no new free parameters or invented entities are mentioned.

axioms (2)

domain assumption Existence of mild solutions to the underlying SDE/BSDE in Hilbert space under the stated (weaker) noise conditions
Invoked implicitly to define the transition semigroup and the BSDE solution whose gradient is estimated.
domain assumption Malliavin differentiability of the solution flow under the weaker degeneracy assumptions
Required for the Bismut-Elworthy representation to hold; standard in non-degenerate case but needs verification here.

pith-pipeline@v0.9.0 · 5382 in / 1340 out tokens · 28570 ms · 2026-05-11T02:30:30.383425+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.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
We derive a Bismut-Elworthy formula under assumptions weaker than the non degeneracy of the noise... G(t)=J Ĝ(t) where Ĝ(t) is invertible... applications to stochastic wave equations
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
nonlinear version of the Bismut formula for a backward stochastic differential equation

Reference graph

Works this paper leans on

26 extracted references · 26 canonical work pages

[1]

Addona, E

D. Addona, E. Bandini, F. Masiero, A nonlinear Bismut-Elworthy formula for HJB equations with quadratic Hamiltonian in Banach spacesNoDEA Nonlinear Differential Equations Appl.27 (2020), no. 4, Paper No. 37, 56 pp

work page 2020
[2]

Addona, D

D. Addona, D. A. Bignamini, Pathwise uniqueness for stochastic heat and damped equations with H¨ older continuous drift, arXiv:2308.05415

work page arXiv
[3]

Addona, D.A

D. Addona, D.A. Bignamini, Pathwise uniqueness in infinite dimension under weak structure con- dition,Stoch. Part. Differ: Equat.: Anal. and Comp.(2026), https://doi.org/10.1007/s40072-025- 00410-y

work page doi:10.1007/s40072-025- 2026
[4]

Addona, F

D. Addona, F. Masiero, E. Priola, A BSDE approach to pathwise uniqueness for stochastic evolution equations,J. Differential Equations366 (2023), 192–248. 23

work page 2023
[5]

J. M. Bismut, Martingales, the Malliavin calculus and hypoellipticity under general H¨ ormander’s conditions,Z. Wahrsch. Verw. Gebiete56 (1981), 469–505

work page 1981
[6]

Bonaccorsi, M

S. Bonaccorsi, M. Fuhrman, Regularity results for infinite dimensional diffusions. A Malliavin cal- culus approach,Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. Rend. Lincei (9) Mat. Appl.10 (1999), no. 1, 35–45

work page 1999
[7]

Cerrai,Second order PDE’s in finite and infinite dimension, A probabilistic approach, volume 1762 ofLecture Notes in Mathematics, Springer-Verlag, Berlin, 2001

S. Cerrai,Second order PDE’s in finite and infinite dimension, A probabilistic approach, volume 1762 ofLecture Notes in Mathematics, Springer-Verlag, Berlin, 2001

work page 2001
[8]

Crisan, F

D. Crisan, F. Delarue, Sharp derivative bounds for solutions of degenerate semi-linear partial differ- ential equations,J. Funct. Anal.263 (2012), no. 10, 3024–3101

work page 2012
[9]

Da Prato, J

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

work page 1996
[10]

Da Prato, J

G. Da Prato, J. Zabczyk,Second order partial differential equations in Hilbert spaces, London Math- ematical Society Note Series, 293. Cambridge University Press, Cambridge, 2002

work page 2002
[11]

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

work page 1994
[12]

Fan, Xiliang, M

X. Fan, Xiliang, M. R¨ ockner, S.-Q. Zhang, A unified approach to gradient type formulas for decoupled FBSDEs and some applications.Ann. Inst. Henri Poincar´ e Probab. Stat.61 (2025), no. 2, 1348-1389

work page 2025
[13]

Fuhrman, G

M. Fuhrman, G. Tessitore, Non linear Kolmogorov equations in infinite dimensional spaces: the back- ward stochastic differential equations approach and applications to optimal control,Ann. Probab. 30 (2002), no. 3, 1397–1465

work page 2002
[14]

Fuhrman, G

M. Fuhrman, G. Tessitore. The Bismut-Elworthy formula for backward SDEs and applications to nonlinear Kolmogorov equations and control in infinite dimensional spaces,Stoch. Stoch. Rep., 74(1-2) (2002), 429–464

work page 2002
[15]

Masiero, Regularizing properties for transition semigroups and semilinear parabolic equations in Banach spaces,Electron

F. Masiero, Regularizing properties for transition semigroups and semilinear parabolic equations in Banach spaces,Electron. J. Probab.12 (2007), no. 13, 387–419

work page 2007
[16]

Masiero, A Bismut-Elworthy formula for quadratic BSDEs,Stochastic Process

F. Masiero, A Bismut-Elworthy formula for quadratic BSDEs,Stochastic Process. Appl., 125 (2015), pp. 1945–1979

work page 2015
[17]

Masiero, E

F. Masiero, E. Priola, Well-posedness of semilinear stochastic wave equations with H ¨lder continuous coefficients,J. Differential Equations263 (2017), no. 3, 1773–1812

work page 2017
[18]

Masiero, E

F. Masiero, E. Priola, Partial smoothing of the stochastic wave equation and regularization by noise phenomena,J. Theoret. Probab.37 (2024), no. 3, 2738—2774

work page 2024
[19]

Pardoux, S

E. Pardoux, S. Peng, Adapted solution of a backward stochastic differential equation,Systems and Control Lett.14, (1990), 55–61

work page 1990
[20]

Ren and H

J. Ren and H. Zhang, Derivative formulae for stochastic differential equations driven by Poisson random measures,J. Math. Anal. Appl., 462 (2018), pp. 554–576

work page 2018
[21]

Ren and H

J. Ren and H. Zhang, Bismut-Elworthy-Li Formulae for Forward-Backward SDEs with Jumps and Applications, arXiv:2512.23288

work page arXiv
[22]

Scarpa and M

L. Scarpa and M. Zanella, Strong Feller property, irreducibility, and uniqueness of the invariant measure for stochastic PDEs with degenerate multiplicative noise, arXiv:2603.29711

work page arXiv
[23]

Takeuchi, The Bismut-Elworthy-Li type formulae for stochastic differential equations with jumps, J

A. Takeuchi, The Bismut-Elworthy-Li type formulae for stochastic differential equations with jumps, J. Theoret. Probab., 23, 576-604, 2010

work page 2010
[24]

Wang, Gradient estimates and applications for SDEs in Hilbert space with multiplicative noise and Dini continuous drift,J

F.Y. Wang, Gradient estimates and applications for SDEs in Hilbert space with multiplicative noise and Dini continuous drift,J. Differential Equations260 (2016) 2792-2829. 24

work page 2016
[25]

Zabczyk,Mathematical control theory-an introduction

J. Zabczyk,Mathematical control theory-an introduction. Second edition, Systems & Control: Foun- dations & Applications. Birkh¨ auser/Springer, 2020

work page 2020
[26]

Zhang, Derivative formula and gradient estimate for SDEs driven byα-stable processes,Stochastic Process

X. Zhang, Derivative formula and gradient estimate for SDEs driven byα-stable processes,Stochastic Process. Appl., 123 (2013), pp. 1213–1228. 25

work page 2013