pith. sign in

arxiv: 2605.18505 · v1 · pith:YU5FYP7Inew · submitted 2026-05-18 · 🧮 math.AP · math.PR

On Heat kernel Estimtes for Brownian SDEs with Distributional Drift

St\'ephane Menozzi (LaMME) , Stefano Pagliarani (UniBo) This is my paper

Pith reviewed 2026-05-20 08:48 UTC · model grok-4.3

classification 🧮 math.AP math.PR
keywords heat kernel estimatessingular driftBrownian SDEYoung regimeSchauder estimateskinetic modelstransition densitiesmartingale problem
0
0 comments X

The pith

Transition densities for Brownian SDEs with singular drifts satisfy heat kernel bounds and regularity estimates when the drift lies in the Young regime.

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

The paper proves that multidimensional Brownian SDEs with time-inhomogeneous distributional drifts admit controlled transition densities provided the drift meets a Holder condition in the Young regime. The same estimates apply to both non-degenerate diffusions and degenerate kinetic models. The proofs rely on a parametrix built from the transition density of the auxiliary SDE that omits the singular drift term. This approach simultaneously yields Schauder estimates for the associated Kolmogorov equation and establishes weak well-posedness together with irreducibility and the strong Feller property.

Core claim

We establish heat-kernel bounds and regularity estimates for the transition densities of the diffusion associated with the martingale problem corresponding to the generator of a formal multidimensional Brownian SDE with singular drift. The estimates are obtained by employing as parametrix the transition density of the SDE with variable coefficients without singular perturbation, as opposed to the standard Levi parametrix obtained by freezing the noise. As a by-product we derive Schauder estimates for the associated Kolmogorov Cauchy problem in both the non-degenerate and the kinetic setting.

What carries the argument

The parametrix given by the transition density of the SDE with variable coefficients but without the singular drift term.

If this is right

  • Schauder estimates hold for the Kolmogorov Cauchy problem in both non-degenerate and kinetic cases.
  • The singular SDE with multiplicative noise is weakly well-posed.
  • Solutions of the singular SDE are irreducible and satisfy the strong Feller property.

Where Pith is reading between the lines

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

  • The density bounds open the door to quantitative control on long-time mixing rates for these singular processes.
  • The parametrix construction may adapt to SDEs driven by other Levy processes whose generators admit explicit fundamental solutions.
  • Numerical schemes that approximate the non-singular auxiliary process could inherit error bounds directly from the established heat-kernel estimates.

Load-bearing premise

The time-inhomogeneous drift must lie in L infinity from zero to T of C beta with respect to the appropriate distance o, where beta belongs to the Young regime.

What would settle it

A drift whose Holder exponent falls below the Young threshold for which the associated transition density violates the expected Gaussian upper and lower bounds.

read the original abstract

We establish heat-kernel bounds and regularity estimates for the transition densities of the diffusion associated with the martingale problem corresponding to the generator of a formal multidimensional Brownian SDE with singular drift. As a by-product, we also derive Schauder estimates for the associated Kolmogorov (kinetic) Cauchy problem. We consider both the cases of non-degenerate and degenerate noise (e.g. kinetic-type models), in the so-called Young regime. Namely, we consider a time inhomogeneous drift in L $\infty$ [0,T ] C $\beta$ o for some fixed time horizon T , where ), with o standing for an underlying distance, namely the usual Euclidean one in the non degenerate setting, and the scale-homogeneous one in the kinetic case. Importantly, the estimates are obtained by employing as parametrix the transition density of the SDE (with variable coefficients) without singular perturbation, as opposed to the standard Levi parametrix obtained by freezing the noise. Finally, since the noise is multiplicative, the weak well-posedness of the singular SDE is a novel result in itself, and the density estimates directly imply irreducibility and strong Feller property of its solutions.

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 / 2 minor

Summary. The manuscript establishes heat-kernel bounds and regularity estimates for the transition densities of diffusions associated with martingale problems for multidimensional Brownian SDEs with singular time-inhomogeneous drifts belonging to L^∞[0,T] C^β_o (β in the Young regime). It treats both the non-degenerate case (Euclidean distance) and the degenerate kinetic case (scale-homogeneous distance). The key methodological choice is to employ the transition density of the non-singular multiplicative-noise SDE as parametrix, rather than a frozen Levi construction. As by-products, the work derives Schauder estimates for the associated Kolmogorov Cauchy problem, proves weak well-posedness of the singular SDE (novel for multiplicative noise), and obtains irreducibility and strong Feller properties from the density bounds.

Significance. If the estimates are valid, the results extend heat-kernel theory for distributional drifts to the multiplicative-noise setting and to kinetic models, using a parametrix that respects the variable coefficients of the underlying diffusion. This avoids certain limitations of standard freezing methods and yields concrete regularity and well-posedness statements under Young-regime assumptions. The manuscript provides reproducible parameter-free derivations under the stated Hölder-type conditions and falsifiable density bounds that can be checked numerically or via simulation.

major comments (1)
  1. §3.2, Theorem 3.4: the proof that the parametrix error term remains controlled in the kinetic case relies on the scale-homogeneous distance o without an explicit comparison to the Euclidean metric; a short calculation showing that the constants remain uniform when the degeneracy parameter approaches the boundary would strengthen the claim that the same argument covers both regimes.
minor comments (2)
  1. Notation: the symbol C^β_o is introduced in the abstract and §1 but its precise definition (including the precise modulus of continuity) appears only in §2.1; moving the definition forward would improve readability.
  2. Figure 1: the caption does not indicate whether the plotted densities are for the non-degenerate or kinetic case; adding this information would clarify the comparison.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive assessment and the recommendation of minor revision. The single major comment is constructive, and we address it directly below.

read point-by-point responses

  1. Referee: §3.2, Theorem 3.4: the proof that the parametrix error term remains controlled in the kinetic case relies on the scale-homogeneous distance o without an explicit comparison to the Euclidean metric; a short calculation showing that the constants remain uniform when the degeneracy parameter approaches the boundary would strengthen the claim that the same argument covers both regimes.

    Authors: We agree that an explicit uniformity statement would strengthen the exposition. The proof of Theorem 3.4 is written so that the estimates hold for any distance o satisfying the stated structural assumptions (including both the Euclidean and scale-homogeneous cases), but we acknowledge that the passage to the boundary of the degeneracy parameter is not spelled out. In the revised version we will insert a short, self-contained calculation immediately after the statement of the kinetic estimates, showing that all constants remain bounded independently of the degeneracy parameter as it approaches the boundary value. This calculation will explicitly compare the scale-homogeneous distance to the Euclidean metric in the limit and confirm that no additional restrictions arise. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected in derivation chain

full rationale

The paper's central construction relies on a parametrix given by the transition density of the non-singular multiplicative-noise SDE, combined with standard martingale-problem theory to obtain weak well-posedness and then heat-kernel bounds under the stated Hölder-type assumption on the drift. These steps are independent of the target estimates: the parametrix is defined without reference to the singular perturbation, and the resulting density bounds are derived rather than presupposed. No self-definitional loops, fitted inputs renamed as predictions, or load-bearing self-citations appear in the abstract or described approach. The work is therefore self-contained against external analytic benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only abstract available; ledger is therefore minimal. No free parameters or invented entities are mentioned. Axioms are standard background results on martingale problems for SDEs.

axioms (1)
  • domain assumption Existence of a martingale solution to the SDE with the given singular drift
    Invoked implicitly when referring to the diffusion associated with the martingale problem

pith-pipeline@v0.9.0 · 5743 in / 1163 out tokens · 45502 ms · 2026-05-20T08:48:31.458757+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

34 extracted references · 34 canonical work pages · 1 internal anchor

  1. [1]

    Bahouri, J

    H. Bahouri, J. Y. Chemin, and R. Danchin. Fourier Analysis and Nonlinear Partial Differential Equations . Springer, 2011

    work page 2011

  2. [2]

    S \'e minaire Goulaouic-Schwartz

    JM Bony. Interaction des singularit \'e s pour les \'e quations de K lein- G ordon non lin \'e aires. S \'e minaire \'E quations aux d \'e riv \'e es partielles (Polytechnique) dit aussi" S \'e minaire Goulaouic-Schwartz" , pages 1--27, 1981

    work page 1981

  3. [3]

    Barlow and M

    M.T. Barlow and M. Yor. Semi-martingale inequalities via the G arsia- R odemich- R umsey lemma, and applications to local times. Journal of Functional Analysis , 49(2):198 -- 229, 1982

    work page 1982

  4. [4]

    Chaudru de Raynal and S

    P.E. Chaudru de Raynal and S. Menozzi. On M ultidimensional stable-driven S tochastic D ifferential E quations with B esov drift. Elec. Jour. of Proba., Vol. 27, paper \#163, 52pp. , 2022

    work page 2022

  5. [5]

    P. E. Chaudru de Raynal, S. Menozzi, A. Pesce, and X. Zhang. Heat kernel and gradient estimates for kinetic SDE s with low regularity coefficients. Bull. Sci. Math. , 183:Paper No. 103229, 56, 2023

    work page 2023

  6. [6]

    Chaudru de Raynal , I

    P.E. Chaudru de Raynal , I. Honor \'e , and S. Menozzi. Sharp Schauder Estimates for some Degenerate Kolmogorov Equations . A nnali della S cuola N ormale S uperiore , 22--3:989--1089, 2021

    work page 2021

  7. [7]

    Delarue and R

    F. Delarue and R. Diel. Rough paths and 1d SDE with a time dependent distributional drift: application to polymers. Probab. Theory Related Fields , 165(1-2):1--63, 2016

    work page 2016

  8. [8]

    Ethier and T.G

    S. Ethier and T.G. Kurtz. Characterization and convergence . John Wiley & Sons, Inc., New York,, 1986

    work page 1986

  9. [9]

    Flandoli, E

    F. Flandoli, E. Issoglio, and F. Russo. Multidimensional stochastic differential equations with distributional drift. Transactions of the American Mathematical Society , 369(10.1090/tran/6729):1665--1688, 2017

    work page doi:10.1090/tran/6729):1665--1688 2017

  10. [10]

    Heat kernel estimates for stable-driven SDE s with distributional drift

    Mathis Fitoussi. Heat kernel estimates for stable-driven SDE s with distributional drift. Potential Analysis , 61--3:431--461, 2024

    work page 2024

  11. [11]

    Paracontrolled distributions and singular PDE s

    Massimiliano Gubinelli, Peter Imkeller, and Nicolas Perkowski. Paracontrolled distributions and singular PDE s. In Forum of Mathematics, Pi , volume 3. Cambridge University Press, 2015

    work page 2015

  12. [12]

    Propagation of chaos for moderately interacting particle systems related to singular kinetic mckean-vlasov sdes

    Zimo Hao, Jean-Francois Jabir, Stéphane Menozzi, Michael Röckner, and Xicheng Zhang. Propagation of chaos for moderately interacting particle systems related to singular kinetic mckean-vlasov sdes. ArXiV, 2405.09195 , 2026

    work page arXiv 2026

  13. [13]

    Second-order fractional mean-field SDE s with singular kernels and measure initial data

    Zimo Hao, Michael R\"ockner, and Xicheng Zhang. Second-order fractional mean-field SDE s with singular kernels and measure initial data. Ann. Probab. , 54(1):1--62, 2026

    work page 2026

  14. [14]

    Schauder estimates for nonlocal kinetic equations and applications

    Zimo Hao, Mingyan Wu, and Xicheng Zhang. Schauder estimates for nonlocal kinetic equations and applications. J. Math. Pures Appl. (9) , 140:139--184, 2020

    work page 2020

  15. [15]

    Heat kernel estimates for nonlocal kinetic operators

    Haojie Hou and Xicheng Zhang. Heat kernel estimates for nonlocal kinetic operators. arXiv , 2024

    work page 2024

  16. [16]

    Singular kinetic equations and applications

    Zimo Hao, Xicheng Zhang, Rongchan Zhu, and Xiangchan Zhu. Singular kinetic equations and applications. Annals of Probability , 52--2:576--657, 2024

    work page 2024

  17. [17]

    Degenerate mckean-vlasov equations with drift in anisotropic negative besov spaces

    Elena Issoglio, Stefano Pagliarani, Francesco Russo, and Davide Trevisani. Degenerate mckean-vlasov equations with drift in anisotropic negative besov spaces. arXiv preprint arXiv:2401.09165 , 2024

    work page arXiv 2024

  18. [18]

    Issoglio and F

    E. Issoglio and F. Russo. A PDE with drift of negative B esov index and linear growth solutions. Differential and Integral Equations. , 37(9-10):585–622, 2024

    work page 2024

  19. [19]

    Convergence Rate of the Euler-Maruyama Scheme Applied to Diffusion Processes with L^q -- L^ Drift Coefficient and Additive Noise

    Benjamin Jourdain and St \'e phane Menozzi. Convergence Rate of the Euler-Maruyama Scheme Applied to Diffusion Processes with L^q -- L^ Drift Coefficient and Additive Noise . Annals of Applied Probability , 34--1b:1663--1697, 2024

    work page 2024

  20. [20]

    Zufallige bewegungen (zur theorie der brownschen bewegung)

    Andrey Kolmogoroff. Zufallige bewegungen (zur theorie der brownschen bewegung). Annals of Mathematics , 35(1):116, 1934

    work page 1934

  21. [21]

    Multidimensional SDE with distributional drift and L \'evy noise

    Helena Kremp and Nicolas Perkowski. Multidimensional SDE with distributional drift and L \'evy noise. Bernoulli , 28(3):1757--1783, 2022

    work page 2022

  22. [22]

    Karatzas and S.E

    I. Karatzas and S.E. Shreve. Brownian Motion and Stochastic Calculus . Graduate Texts in Mathematics. Springer New York, 1991

    work page 1991

  23. [23]

    Optimal schauder estimates for kinetic kolmogorov equations with time measurable coefficients

    Giacomo Lucertini, Stefano Pagliarani, and Andrea Pascucci. Optimal schauder estimates for kinetic kolmogorov equations with time measurable coefficients. arXiv preprint arXiv:2304.13392 , 2023

    work page arXiv 2023

  24. [24]

    Lemari\'e-Rieusset

    P.-G. Lemari\'e-Rieusset. Recent developments in the Navier-Stokes problem . CRC Press, 2002

    work page 2002

  25. [25]

    A. Lunardi. Schauder estimates for a class of degenerate elliptic and parabolic operators with unbounded coefficients in R ^n . Annali della Scuola Normale Superiore di Pisa - Classe di Scienze , 24(1):133--164, 1997

    work page 1997

  26. [26]

    Menozzi, A

    S. Menozzi, A. Pesce, and X. Zhang. Density and gradient estimates for non degenerate B rownian SDE s with unbounded measurable drift. J. Differential Equations , 272:330--369, 2021

    work page 2021

  27. [27]

    E. Priola. Global S chauder estimates for a class of degenerate K olmogorov equations. Studia Math. , 194(2):117--153, 2009

    work page 2009

  28. [28]

    Quantitative heat kernel estimates for diffusions with distributional drift

    N. Perkowski and W. Van Zuijlen. Quantitative heat kernel estimates for diffusions with distributional drift. arXiv:2009.10786 . To appear in Potential Analysis , 2022

    work page internal anchor Pith review Pith/arXiv arXiv 2009

  29. [29]

    Strong feller property and irreducibility for diffusions on hilbert spaces

    Szymon Peszat and Jerzy Zabczyk. Strong feller property and irreducibility for diffusions on hilbert spaces. The Annals of Probability , pages 157--172, 1995

    work page 1995

  30. [30]

    Y. Sawano. Theory of Besov Spaces . Springer, 2018

    work page 2018

  31. [31]

    Stroock and S.R.S

    D.W. Stroock and S.R.S. Varadhan. Multidimensional diffusion processes . Springer-Verlag Berlin Heidelberg New-York, 1979

    work page 1979

  32. [32]

    H. Triebel. Theory of function spaces, II . Birkhauser, 1983

    work page 1983

  33. [33]

    H. Triebel. Theory of function spaces. III , volume 84 of Monographs in Mathematics . Birkh\"auser Verlag, Basel, 2006

    work page 2006

  34. [34]

    Wang and X

    F.Y. Wang and X. Zhang. Degenerate SDE with H older- D ini drift and non- L ipschitz noise coefficient. SIAM J. Math. Anal. , 48(3):2189--2226, 2016

    work page 2016