REVIEW 5 minor 1 cited by
Regularity of stochastic differential equations on the Wiener space by coupling
T0 review · 0 major / 5 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read For Hölder-continuous diffusion coefficients, Malliavin differentiability can fail while sharp Besov regularity survives.
desk verdict A genuinely new extension of the Geiss–Ylinen coupling machinery: a sharp Malliavin non-differentiability counterexample for Hölder diffusions plus matching Besov regularity bounds, worth serious refereeing despite heavy reliance on the authors' Memoirs. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The machinery is a coupling of two Wiener spaces: fix a cut-off coupling function $\varphi=\mathbf{1}_{(a,c]}$ and replace the Brownian motion on the interval $(a,c]$ by an independent copy, with $W^{\varphi}_s=W_s$ for $s\le a$, $W^{\varphi}_s=W_a+W'_s-W'_a$ for $a<s\le c$, and $W^{\varphi}_s-W^{\varphi}_c=W_s-W_c$ afterwards. Transference operators $C_0$ and $C_T$ from [14] move random variables and predictable processes from the original Wiener space to the coupled one, preserving finite-dimensional distributions (Lemma 3.7). For the Hölder SDE, a classical regularization argument (Lemma 7.5) shows the difference $D_s=X^{t,\xi}_s-X^{t,\xi,\varphi}_s$ satisfies $|D_s|=|A|+\int_c^s \mathrm{sign}_0(D_u)\,dD_u$, leading to the domination Lemma 7.7 that bounds $\sup_s|D_s|$ by $|A|$ plus a martingale term, with the Hölder exponent $\theta\in[1/2,1)$ entering through $|\sigma|\le L_\sigma|D|^{\theta}$. The law identities (7.12)–(7.13) then convert the pathwise estimates into the $L_p$ estimates of Theorem 7.3; Proposition 7.12, based on the SDE $dX_s=|X_s|^{\theta}\,dW_s$, shows the resulting exponent $1/(2p)$ is optimal.
What would settle it
Take the explicit diffusion coefficient $\sigma_\theta(s,x)=1+\sum_{\ell\ge1}\mathbf{1}_{I_\ell}(s)S^\theta_{n_\ell}(x)$ from Theorem 6.1, with the parameters $(t_\ell)$ and $(n_\ell)$ chosen in its proof, and compute $\|X_1\|_{D_{1,2}}$ directly. If a finite Malliavin derivative exists, Theorem 6.1 is refuted; the proof's contradiction argument predicts the $D_{1,2}$ norm must be infinite.
Extended reading notes
Core claim
The central claim is that regularity of SDE solutions on Wiener space is governed by which coupling is used. For Lipschitz, path-dependent, random coefficients with a BMO drift, the uniform coupling $\varphi_r\equiv r$ shows that solutions belong to the Malliavin Sobolev space $D_{1,2}$ and to the real-interpolation Besov spaces $B^{\eta}_{p,q}$, with quantitative bounds. In dimension one, for a bounded diffusion coefficient $\sigma$ that is $\theta$-Hölder with $\theta\in[1/2,1)$, the same Malliavin differentiability fails: Theorem 6.1 constructs examples $\sigma_\theta(s,x)=1+\sum_\ell \mathbf{1}_{I_\ell}(s)S^{\theta}_{n_\ell}(x)$ for which $X_1\notin D_{1,2}$ for every starting point, even with zero drift. Nevertheless, using only cut-off couplings $\varphi=\mathbf{1}_{(a,c]}$, Corollary 7.11(3) gives a sharp $L_p$ estimate for the sup-norm effect of the coupling, and Proposition 7.12 shows the resulting exponent $1/(2p)$ is optimal for $p\in[3-2\theta,\infty)$. The paper's message is that Malliavin differentiability is too strong a notion for Hölder diffusions, but Besov regularity survives with the best possible rate.
Load-bearing premise
The load-bearing premise is that the transference machinery of [14] extends to the cut-off coupling $\varphi=\mathbf{1}_{(a,c]}$ for SDEs whose diffusion coefficient is only Hölder continuous; the distributional identities (7.12)–(7.13), asserting that the transferred coefficient processes have the same law as the original ones, are what turn the pathwise estimates of Lemma 7.7 into the $L_p$ estimates of Theorem 7.3.
Editorial extensions
If this is right
- In the Lipschitz, path-dependent, random-coefficient setting, solutions inherit Malliavin differentiability from an $\mathcal{F}_t$-measurable starting point, with explicit bounds in terms of a fractional potential $(U,V)$ of the coefficients.
- For scalar Hölder diffusions with $\theta\in[1/2,1)$, $X_T$ need not be in $D_{1,2}$; the counterexample is built from Schauder blocks and has a bounded, non-degenerate diffusion coefficient.
- Corollary 7.11(3) gives a quantitative control of the cut-off coupling error in $L_p$, and for $p\in[3-2\theta,\infty)$ the leading rate is $(c-a)^{1/(2p)}$ as $c\downarrow a$.
- Proposition 7.12 shows this exponent is optimal: a lower-bound example with $\sigma(x)=|x|^{\theta}$ satisfies $\|X_T-X_T^{(a,c]}\|_{L_p} \ge c_{\theta,p}(c-a)^{1/(2p)}$.
- Applied to BSDEs (Corollary 9.4), the forward Besov regularity transfers to the $Y$ and $Z$ components, giving $L_p$-variation rates of order $(c-a)^{1/(2p)}$ for CIR-type forward processes.
Reading between the lines
- Editorial inference: the counterexample's dyadic Schauder blocks suggest the failure of Malliavin differentiability is generic for Hölder moduli that are saturated on infinitely many scales, not an artifact of a special construction.
- Editorial inference: a direct testable extension is to multidimensional systems with diagonal Hölder diffusion coefficients; the dimension should enter the cut-off coupling estimates, and the sharp exponent may become dimension-dependent.
- Editorial inference: the paper leaves the boundary case $\theta=1/2$ open; determining whether the Besov estimates persist there would clarify whether the regularity threshold coincides with the pathwise-uniqueness threshold.
- Editorial inference: because the Besov rate is derived from cut-off couplings, the same rate should appear as a strong-approximation error for Euler-type schemes for these diffusions; checking this numerically would be a direct test of the paper's implications.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops a coupling-and-transference method on the Wiener space and applies it to the regularity of stochastic differential equations. In the Lipschitz setting with random, path-dependent coefficients and a BMO drift, Theorem 5.3 gives Lp estimates for the difference between a solution and its coupled copy; Corollaries 5.11 through 5.13 then yield Malliavin differentiability and Besov regularity obtained by real interpolation. Section 6 constructs a scalar SDE with bounded, theta-Holder diffusion coefficient whose terminal value is not in D_{1,2}, for every starting point. Section 7 treats one-dimensional SDEs with theta in [1/2,1)-Holder diffusion and proves Lp estimates for cut-off couplings (Theorem 7.3, Corollary 7.11); Proposition 7.12 supplies a matching lower bound showing the exponent 1/(2p) is optimal. Section 9 applies these estimates to the Lp-variation of BSDEs, including a CIR-process example.
Significance. The paper's central two-fold message is valuable and nontrivial: general Holder diffusion coefficients can destroy Malliavin differentiability, while a sharp order of Besov-type regularity survives. The construction in Section 6 is elegant and the matching lower bound in Proposition 7.12 makes the upper estimates credible. The manuscript is also unusually explicit about its lineage: the transference machinery, Besov-space characterizations, and several BSDE estimates are imported from the authors' Memoirs [14]. The stress-test concern about the identities (7.12) and (7.13) does not land: Proposition 3.8, Remark 3.9(1), Proposition 3.10, and Lemma 3.7 are exactly the tools needed, and under Assumption 7.1 the diffusion coefficient is deterministic while the drift is Lipschitz in the state variable, so the distributional identities are justified by the stated results. The central estimates appear internally consistent and are supported by detailed proofs.
minor comments (5)
- [Lemma 7.5] In the proof of Lemma 7.5, the statement that the first three terms converge in L2 is not justified under the stated assumptions: the lemma only assumes E times the integral of |b_s| ds is finite and A is in L2, and the drift term involving Phi'_n(D_u) b_u need not converge in L2 without square-integrability of the drift. The conclusion of the lemma is still correct, and in the later applications the stronger integrability with the integral of |b_s| ds in L^{p or 2} is available, so this is a local proof repair rather than a substantive gap. Please either add the needed integrability assumption to Lemma 7.5 or replace the L2-convergence statement by convergence in probability with a dominated-convergence argument for the drift term.
- [Corollary 9.4, equation (9.4)] The case split in (9.4) appears to omit the range p in [2, 2/alpha) when alpha is less than 1: for example with alpha = 0.4 and p = 3, none of the three listed intervals applies. The intended division should presumably be p < 1/alpha, 1/alpha <= p < 2/alpha, and p >= 2/alpha, because Corollary 7.11 is applied with exponent alpha p. In the omitted range alpha p lies in [2 alpha, 2), and Corollary 7.11(3) gives an estimate with exponent alpha/4, which is no worse than the stated exponent 1/(2p) - epsilon; please clarify the case boundaries and the proof for that range.
- [Section 1 and Section 6] There is a recurring spelling 'Cieselski' in the introduction; it should be 'Ciesielski'. Also, in the displayed constants of Section 7, expressions such as 'e^{L_b T} p^p sqrt(1-p)' are typeset ambiguously; the intended constant appears to be (p^p/(1-p))^{1/p} or similar, and should be written unambiguously.
- [Definition 5.9] The displayed definition of the quantity with parameters B eta, beta, gamma has a malformed brace structure and an unclear case for the second alternative. Please rewrite the definition with separate cases so that the admissible infimum over kappa is displayed consistently with the q = infinity case.
- [Section 7.1, identities (7.12) and (7.13)] In the proof of Theorem 7.3, the paper states that Proposition 3.8 and Remark 3.9(1) give the transference relations (7.12) and (7.13). This is correct, but it would improve readability to note explicitly that the transferred coefficient b^phi may be chosen to satisfy the same linear-growth and Lipschitz bounds as b, since those properties are used in the pathwise estimates immediately after the identities.
Circularity Check
No circularity found: central estimates and the counterexample are derived from external transference results and internal inequalities, with no fitted parameter renamed as a prediction.
full rationale
The derivation chain is not circular. The main coupling estimate in Theorem 7.3 and Corollary 7.11 estimates the Besov-type quantity from the left; it does not define the conclusion into the assumptions, and all constants depend only on p, T, L_b, L_sigma, K_b, K_sigma, and theta. The distributional identities (7.12)-(7.13) are imported from the transference machinery of the authors' Memoirs [14]; that citation is real external evidence because [14] is a published, parameter-free construction whose stated assumptions do not include the target Malliavin-regularity results, and the paper verifies in Proposition 3.10 and Lemma 3.7 that the machinery applies to merely Holder continuous deterministic sigma and the cut-off coupling 1_(a,c]. The counterexample in Theorem 6.1 chooses the parameters (n_l) after fixing the interval lengths so that the lower bound contradicts a D_{1,2} bound; this is an existence argument, not a fitted prediction. Proposition 7.12 uses a comparison theorem and a separate moment estimate to prove optimality of the exponent 1/(2p); it does not assume what it proves. Section 9 explicitly identifies Theorems 9.2-9.3 as direct consequences of [14], which is honest lineage rather than hidden circularity. No load-bearing claim reduces to a self-citation chain, and no known result is merely renamed.
Assumptions & free parameters
free parameters (1)
- Sequence n_l in Theorem 6.1 =
Chosen so that 2^{2(n_l+1)(1-theta)} |I_l|^2 / 8 tends to infinity
assumptions (6)
- domain assumption Existence of the isometric transference operators C0 and CT and properties (P1)-(P3) from [14, Chapter 3]
- domain assumption Equivalence of the Besov spaces B^Phi_p with real interpolation spaces B^eta_{p,q} and with D1,2 characterizations ([14, Theorems 4.16 and 4.22])
- domain assumption Fefferman's inequality in BMO(S2) (Lemma 2.5, from [14, Corollary 5.19])
- standard math Malliavin calculus chain rule and integration-by-parts identities from Nualart [30, Propositions 1.2.4, 1.3.1, Lemma 1.3.4]
- domain assumption Well-posedness of one-dimensional SDEs with Holder drift/diffusion, pathwise uniqueness, and Euler approximations from [17,20,15,36]
- standard math Stochastic calculus facts: BDG inequalities (2.4), Lenglart's inequality, Gronwall lemma
Cite this review
Pith. "Pith review of Regularity of stochastic differential equations on the Wiener space by coupling." pith.science (2026). https://pith.science/paper/2MB3AOBJ
@misc{pith2026241210836,
author = {Pith},
title = {Pith review of: Regularity of stochastic differential equations on the Wiener space by coupling},
year = {2026},
howpublished = {\url{https://pith.science/paper/2MB3AOBJ}},
note = {Machine review of arXiv:2412.10836}
}
abstract
Using the coupling method introduced in \cite{Geiss:Ylinen:21}, we investigate regularity properties of stochastic differential equations, where we consider the Lipschitz case in $\R^d$ and allow for H\"older continuity of the diffusion coefficient of scalar valued stochastic differential equations. Two cases of the coupling method are of special interest: The uniform coupling to treat the Malliavin Sobolev space $\D_{1,2}$ and real interpolation spaces, and secondly a cut-off coupling to treat the $L_p$-variation of backward stochastic differential equations where the forward process is the investigated stochastic differential equation.
Forward citations
Cited by 1 Pith paper
-
Coupling of forward-backward stochastic differential equations on the Wiener space, and application on regularity
A coupling variance estimate for fully coupled FBSDEs on the Wiener space yields time regularity and D^{1,2} Malliavin differentiability of solutions.
Reference graph
Works this paper leans on
-
[14]
S. Geiss and J. Ylinen, Decoupling on the Wiener space, re lated Besov spaces, and applica- tions to BSDEs, Memoirs AMS 1335, 2021
work page 2021
-
[1]
E. Al` os and C.-O. Ewald, Malliavin differentiability of t he Heston volatility and applications to option pricing, Adv. Appl. Prob. 40(2008)144–162
work page 2008
- [2]
-
[3]
C. Bennet and R. Sharpley, Interpolation of operators, Ac ademic Press, 1988
work page 1988
-
[4]
J. Bergh and J. L¨ ofstr¨ om, Interpolation Spaces, Springer, 1976. COUPLING OF SDES 43
work page 1976
- [5]
-
[6]
Ciesielski, On the isomorphisms of the space Hα and m, Bull
Z. Ciesielski, On the isomorphisms of the space Hα and m, Bull. Acad. Polon. Sci. S´ er. Sci. Math. Astr. Phys. 8(1960)217–222
work page 1960
-
[7]
Worst-Case Optimal Investment in Incomplete Markets
S. Desmettre, S. Merkel, A. Mickel and A. Steinicke, W orst -case optimal investment in incomplete markets, arXiv:2311.10021
Show all 50 references
-
[8]
Do, H.-L
M.-T. Do, H.-L. Ngo and N.-A. Pho, Tamed-adaptive Euler-M aruyama approximation for SDEs with superlinearly growing and piecewise continuous d rift, superlinearly growing and locally H¨ older continuous diffusion, Journal of Complexit y 82(2024)101833
2024
-
[9]
Fang and T
S. Fang and T. Zhang, A study of a class of stochastic differe ntial equations with non- Lipschitzian coefficients, Prob. Theory Relat. Fields 132(2 005)356–390
-
[10]
Geiss and A
C. Geiss and A. Steinicke, L2-variation of L´ evy driven BSDEs with non-smooth terminal conditions, Bernoulli 22(2016)995–1025
2016
-
[11]
Scheutzow, Sharpness of Lenglart’s do mination inequality and a sharp monotone version, Electron
Sarah Geiss and M. Scheutzow, Sharpness of Lenglart’s do mination inequality and a sharp monotone version, Electron. Commun. Probab. 26(2021), art icle no. 44, 1–8
2021
-
[12]
Geiss, S
C. Geiss, S. Geiss and E. Gobet, Generalized fractional s moothness and Lp-variation of BSDEs with non-Lipschitz terminal condition, Stoch. Proc. Appl. 122(2012)2078–2116
2012
-
[13]
Geiss and A
S. Geiss and A. Toivola, On fractional smoothness and Lp-approximation on the Gaussian space, Ann. Probab. 43(2015)605–638
2015
-
[15]
Gy¨ ongy and M
I. Gy¨ ongy and M. R´ asonyi, A note on Euler approximations for SDEs with H ¨lder continuous diffusion coefficients, Stoch. Proc. Appl. 121(2011)2189–22 00
2011
-
[16]
Hirsch, Lipschitz functions and fractional Sobolev s paces, Potential Anal
F. Hirsch, Lipschitz functions and fractional Sobolev s paces, Potential Anal. 11(1999)415– 429
1999
-
[17]
Ikeda and S
N. Ikeda and S. W atamabe, Stochastic Differential Equati ons and Diffusion Processes, North- Holland, 1989
1989
-
[18]
Imkeller, R
P. Imkeller, R. Likibi Pellat and O. Menoukeu-Pamen, Diff erentiability of quadratic forward- backward SDEs with rough drift, Ann. Applied Prob. 34(2024) 4758–4798
2024
-
[19]
Imkeller, G
P. Imkeller, G. dos Reis and W. Salkeld, Differentiabilit y of SDEs with drifts of super-linear growth, Electron. J. Probab. 24(2019)1–43
2019
-
[20]
Karatzas and S.E
I. Karatzas and S.E. Shreve, Brownian Motion and Stochas tic Calculus Second Edition, Springer, 1998
1998
-
[21]
Krylov, Introduction to the Theory of Diffusion Proc esses, American Mathematical Society, 1994
N.V. Krylov, Introduction to the Theory of Diffusion Proc esses, American Mathematical Society, 1994
1994
-
[22]
Krylov and M
N.V. Krylov and M. R¨ ockner, Strong solutions of stochas tic equations with singular time dependent drift, Probab. Theory Relat. Fields 131(2005)15 4–196
2005
-
[23]
Lan and J.-L
G. Lan and J.-L. W u, New sufficient conditions of existence , moment estimations and non confluence for SDEs with non-Lipschitzian coefficients, Stoc h. Proc. Appl. 124(2014)4030– 4049
2014
-
[24]
K. Lee, S. Lim and H. Park, Option pricing under path-depe ndent stock models, arXiv: 2211.10953, 2023
2023 arXiv
-
[25]
´Erik Lenglart, Relation de domination entre deux processus , Ann. Inst. H. Poincar´ e Sect. B 13(1977)171–179
1977
-
[26]
Lionnet, G
A. Lionnet, G. dos Reis and L. Szpruch, Time discretizati on of FBSDE with polynomial growth drivers and reaction–diffusion PDEs, Annals of Appli ed Probability 25(2015)2563– 2625
2015
-
[27]
Marinelli and M
C. Marinelli and M. R¨ ockner, On the maximal inequalitie s of Burkholder, Davis and Gundy, Expo. Math. 34(2016)1–26
2016
-
[28]
Menoukeu-Pamen, T
O. Menoukeu-Pamen, T. Meyer-Brandis, T. Nilssen, F. Pro ske and T. Zhang, A variational approach to the construction and Malliavin differentiabili ty of strong solutions of SDE’s, Mathematische Annalen 357(2013)761–799
2013
-
[29]
M¨ uller-Gronbach and L
T. M¨ uller-Gronbach and L. Yaroslavtseva, On the comple xity of strong approximation of stochastic differential equations with a non-Lipschitz dri ft coefficient, Journal of Complexity 85(2024)101870
2024
-
[30]
Nualart, The Malliavin Calculus and Related Topics, S pringer, 2006
D. Nualart, The Malliavin Calculus and Related Topics, S pringer, 2006
2006
-
[31]
de Raynal, Strong existence and uniqueness for de generate SDE with H¨ older drift, Annales de l’Institut Henri Poincar´ e 53(2017)259–286
P.E.C. de Raynal, Strong existence and uniqueness for de generate SDE with H¨ older drift, Annales de l’Institut Henri Poincar´ e 53(2017)259–286
2017
-
[32]
dos Reis and Z
G. dos Reis and Z. Wilde, Malliavin differentiability of M cKean-Vlasov SDEs with locally Lipschitz coefficients, Boletim da Sociedade Portuguesa de M atem´ atica, 2024
2024
-
[33]
Ren and X
J. Ren and X. Zhang, Stochastic flows for SDEs with non-Lip schitz coefficients. Bull. Sci. math. 127(2003)739–754. 44 STEF AN GEISS AND XILIN ZHOU
2003
-
[34]
Ren and X
J. Ren and X. Zhang, Continuity modulus of stochastic hom eomorphism flows for SDEs with non-Lipschitz coefficients, J. Funct. Anal. 241(2006)439–4 56
2006
-
[35]
Ren and H
J. Ren and H. Zhang, One-dimensional SDEs with LPS-type s ingular drift coefficients and H¨ older continuous diffusion coefficients, J. Math. Anal. App l. 536(2024), no.1, Paper No. 128166
2024
-
[36]
Revuz and M
D. Revuz and M. Yor, Continuous martingales and Brownian motion, third ed., Springer, 1999
1999
-
[37]
Rogers and D
L.C.G. Rogers and D. Williams, Diffusions, Markov proces ses and martingales, Cambridge University Press, 2000
2000
-
[38]
Mohammed, T.-K
S.-E.A. Mohammed, T.-K. Nilssen and F.-N. Proske, Sobol ev differentiable stochastic flows for SDEs with singular coefficients: Applications to the tran sport equation, Ann. Probab. 43(2015)1535–1576
2015
-
[39]
Stroock and S.R.S
D.W. Stroock and S.R.S. Varadhan, Multidimensional Diff usion Processes, Springer, 1997
1997
-
[40]
Swart, A 2-dimensional SDE whose solutions are not u nique, Elect
J.M. Swart, A 2-dimensional SDE whose solutions are not u nique, Elect. Comm. in Probab. 6, 2001
2001
-
[41]
Veretennikov, On strong solutions and explicit fo rmulas for solutions of stochastic integral equations, Mathematics of the USSR-Sbornik 39(19 81)387–403
A.Yu. Veretennikov, On strong solutions and explicit fo rmulas for solutions of stochastic integral equations, Mathematics of the USSR-Sbornik 39(19 81)387–403
-
[42]
W ang and X
F.-Y. W ang and X. Zhang, Degenerate SDE with H¨ older-Din i drift and non-Lipschitz noise coefficient, SIAM Journal on Mathematical Analysis 48(2015) 2189–2226
2015
-
[43]
W ang and X
Z. W ang and X. Zhang, Existence and uniqueness of degener ate SDEs with H¨ older diffusion and measurable drift, J. Math. Anal. Appl. 484(2020)123679
2020
-
[44]
W atanabe and T
S. W atanabe and T. Yamada, On the uniqueness of solutions of stochastic differential equa- tions II, J. Math. Kyoto Univ. 11, 1971
1971
-
[45]
P. Xia, L. Xie, X. Zhang and G. Zhao, Lq(Lp)-theory of stochastic differential equations, Stoch. Proc. Appl. 130(2020)5188–5211
2020
-
[46]
Xie and X
L. Xie and X. Zhang, Sobolev differentiable flows of SDEs wi th local Sobolev and super-linear growth coefficients, Ann. Probab. 44(6)(2016)3661–3687
2016
-
[47]
Zhang and C
S.Q. Zhang and C. Yuan, A Zvonkin’s transformation for st ochastic differential equations with singular drift and applications, Journal Diff. Equatio ns 297(2021)277–319
2021
-
[48]
Zhang, Homeomorphic flows for multi-dimensional SDEs with non-Lipschitz coefficients, Stoch
X. Zhang, Homeomorphic flows for multi-dimensional SDEs with non-Lipschitz coefficients, Stoch. Proc. Appl. 115(2005)435–448
2005
-
[49]
Zhang, Stochastic differential equations with Sobole v diffusion and singular drift and applications, Ann
X. Zhang, Stochastic differential equations with Sobole v diffusion and singular drift and applications, Ann. Appl. Prob. 26(2016)2697–2732
2016
-
[50]
Zvonkin, A transformation of the phase space of a diff usion process that removes the drift, Math
A.K. Zvonkin, A transformation of the phase space of a diff usion process that removes the drift, Math. USSR Sb. 22(1974)129–149. Acknowledgement We thank Hannah Geiss for the careful reading of the manuscript a nd her comments that improved the manuscript. Department of Mathem...
1974
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.