Stochastic Sewing in Hilbert Spaces

• Stochastic sewing in Hilbert spaces is a framework that reconstructs adapted processes from time-indexed increments using sewing lemmas derived from rough path theory.
• It integrates Gaussian averaging, Cameron–Martin geometry, and Lasry–Lions approximations to handle low regularity and irregular drift in SDEs.
• The method extends classical well-posedness results by establishing strong existence and pathwise uniqueness under optimal Hölder regularity conditions.

Stochastic sewing in Hilbert spaces is a probabilistic analytic technique developed to facilitate the construction and uniqueness theory for stochastic differential equations (SDEs) in infinite-dimensional settings, particularly when coefficients lack sufficient regularity. Originating from the adaptation of sewing lemmas in rough path theory, stochastic sewing provides a robust framework for assembling increment processes indexed by time intervals into well-defined adapted processes, allowing fine control of stochastic integrals even under low regularity. Its integration with infinite-dimensional Gaussian analysis and Lasry–Lions approximations enables the extension of uniqueness and existence criteria for Hilbert-space-valued SDEs driven by cylindrical Wiener noise and irregular drift, going significantly beyond earlier results that required structural hypotheses on the drift term.

1. Stochastic Sewing Lemma in Separable Hilbert Spaces

Let $H$ be a real separable Hilbert space. The stochastic sewing lemma in this context addresses the problem of reconstructing a $H$-valued adapted process from its stochastic increments. For $m\ge2$, consider a two-parameter process

$$A:\Omega\times \Delta^2_{[S,T]}\;\longrightarrow\;H$$

with $A_{s,t}$ being $\mathcal F_t$–measurable for $S\leq s<t\leq T$. The three-point increment is defined by

$$\delta A_{s,u,t} = A_{s,t} - A_{s,u} - A_{u,t}, \qquad (s<u<t).$$

Assume the following conditions for some $\Gamma_1,\Gamma_2\ge0$ and exponents $\varepsilon_1,\varepsilon_2>0$: \begin{align} &\big|\,|\delta A_{s,u,t}|H\big|{L^m} \leq \Gamma_1\,|t-s|^{\frac12+\varepsilon_1}, \tag{SSL-(i)} \ &\big|\,|E^s[\delta A_{s,u,t}]|H\big|{L^m} \leq \Gamma_2\,|t-s|^{1+\varepsilon_2}. \tag{SSL-(ii)} \end{align} Under these hypotheses, there exists a unique $H$0-valued adapted process $H$1 such that, for any refining sequence of partitions $H$2 of $H$3 with mesh size tending to zero,

$H$4

Quantitative control of the reconstruction is provided as

$H$5

with $H$6 depending only on $H$7. This lemma, as used in Lemma 3.3 of (Anzeletti et al., 31 Dec 2025), is instrumental in constructing pathwise solutions and controlling iterative increments arising in the analysis of SDEs with distributional drift in infinite dimensions.

2. Gaussian Averaging and Cameron–Martin Geometry

The stochastic convolution in Hilbert space is central to the analysis. For a self-adjoint negative definite operator $H$8 with a purely atomic spectrum, let $H$9 be an orthonormal eigenbasis with $m\ge2$0 ($m\ge2$1). Assume the trace-class condition

$m\ge2$2

for a parameter $m\ge2$3. Let $m\ge2$4 be a cylindrical Wiener process, and define the stochastic convolution

$m\ge2$5

which is a mean-zero Gaussian with covariance

$m\ge2$6

This defines a Radon Gaussian measure $m\ge2$7 on $m\ge2$8, whose Cameron–Martin space is $m\ge2$9 with norm $$A:\Omega\times \Delta^2_{[S,T]}\;\longrightarrow\;H$$0. The estimate

$$A:\Omega\times \Delta^2_{[S,T]}\;\longrightarrow\;H$$1

characterizes the effect of the semigroup smoothing against this geometry.

For $$A:\Omega\times \Delta^2_{[S,T]}\;\longrightarrow\;H$$2 with $$A:\Omega\times \Delta^2_{[S,T]}\;\longrightarrow\;H$$3, two-point and four-point Gaussian estimates for Gaussian averages (Corollary 2.5) state: \begin{align} &\left|\int_H \left[f(x+e^{tA}h_1)-f(x+e^{tA}h_2)\right]\,\mu_t(dx)\right|_H \leq C t^{-\frac{(1+\gamma)(1-\alpha)}2} [f]{C^\alpha} |h_1-h_2|_H, \tag{2-point} \ &\left|\int_H \left[f(x+e^{tA}h_1)-f(x+e^{tA}h_2) - f(x+e^{tA}h_3) + f(x+e^{tA}(h_2+h_3-h_1))\right]\,\mu_t(dx)\right|_H \ &\qquad\leq C t^{-\frac{(1+\gamma)(2-\alpha)}2} [f]{C^\alpha} |h_1-h_2|_H |h_1-h_3|_H. \tag{4-point} \end{align} These are established via the Cameron–Martin formula, Lasry–Lions interpolation, and Gaussian exponential moment estimates.

3. Stochastic Differential Equations and Main Uniqueness Theorem

The SDE under consideration takes the form

$$A:\Omega\times \Delta^2_{[S,T]}\;\longrightarrow\;H$$4

with

• $$A:\Omega\times \Delta^2_{[S,T]}\;\longrightarrow\;H$$5 self-adjoint, negative definite, purely atomic spectrum;
• $$A:\Omega\times \Delta^2_{[S,T]}\;\longrightarrow\;H$$6 to ensure $$A:\Omega\times \Delta^2_{[S,T]}\;\longrightarrow\;H$$7;
• $$A:\Omega\times \Delta^2_{[S,T]}\;\longrightarrow\;H$$8 for some $$A:\Omega\times \Delta^2_{[S,T]}\;\longrightarrow\;H$$9.

A mild solution is a continuous adapted process $A_{s,t}$0 such that almost surely,

$A_{s,t}$1

The main result (Theorem 1.4) proves strong existence and pathwise uniqueness of solutions under the critical threshold

$A_{s,t}$2

i.e., if $A_{s,t}$3. For any two solutions $A_{s,t}$4, $A_{s,t}$5 starting from $A_{s,t}$6, $A_{s,t}$7 under the same noise, the estimate

$A_{s,t}$8

holds, showing Lipschitz dependence on initial data in $A_{s,t}$9.

4. Derivation of the Sharp Regularity Threshold

Let $\mathcal F_t$0 and $\mathcal F_t$1 be solutions driven by the same noise, define $\mathcal F_t$2, $\mathcal F_t$3, and $\mathcal F_t$4. The strategy is to represent $\mathcal F_t$5 and analyze its evolution,

$\mathcal F_t$6

The process increments

$\mathcal F_t$7

define the input for stochastic sewing, with the resulting sewn process yielding the nonlinear integral in the mild formulation.

The crucial exponents in the stochastic sewing lemma are determined by the Gaussian bounds: \begin{align*} &||\delta A_{u,\xi,v}||{L^m} \leq C (v-u)^{1-\frac{(1+\gamma)(1-\alpha)}2}|D_u|{L^m},\ &||E^u[\delta A_{u,\xi,v}]||{L^m} \leq C (v-u)^{2-\frac{(1+\gamma)(2-\alpha)}2}|D_u|{L^m} + \dots \end{align*} The conditions for application—the exponents in the inequalities—reduce precisely to $\mathcal F_t$8. Gronwall chaining (Lemma 3.8) on the resultant sewing inequality enforces $\mathcal F_t$9, guaranteeing pathwise uniqueness; a fixed point argument in the sewing norm yields strong existence.

5. Lasry–Lions Approximation Methodology

The Lasry–Lions interpolation enables analysis for general $S\leq s<t\leq T$0-regular vector fields by representing $S\leq s<t\leq T$1 as

$S\leq s<t\leq T$2

which is Lipschitz with constant $S\leq s<t\leq T$3 and satisfies the approximation $S\leq s<t\leq T$4. This decomposition splits a difference as

$S\leq s<t\leq T$5

Using the Cameron–Martin shift and sup-norm bounds on the Lipschitz and remainder terms, optimization in $S\leq s<t\leq T$6 yields the desired scaling $S\leq s<t\leq T$7. The Lasry–Lions construction supersedes finite-dimensional heat-kernel interpolation, enabling the Gaussian estimate machinery needed for the stochastic sewing strategy in Hilbert spaces.

6. Significance and Connections

The integration of stochastic sewing, infinite-dimensional Gaussian analysis, and Lasry–Lions approximation as developed by Anzeletti, Butkovsky, Gerencsér, and Shaposhnikov (Anzeletti et al., 31 Dec 2025) extends the theory of Hilbert-space SDEs with irregular drift substantially beyond the finite-dimensional setting and prior results, such as the Da Prato–Flandoli theory (2010), which required substantive drift structure. This synthesis permits strong well-posedness without structural assumptions on the drift term and establishes the critical Hölder threshold as optimal under the present framework. The methodology also clarifies connections between stochastic calculus, the geometry of Gaussian measures on Banach spaces, and interpolation theory, setting a reference point for further research in infinite-dimensional stochastic analysis.