pith. sign in

arxiv: 2605.21038 · v1 · pith:6U3GS77Gnew · submitted 2026-05-20 · 🧮 math.PR

Integration by Parts Formulas of Mckean-Vlasov SDEs with Jumps and Some Applications

Yao Chen , Jiagang Ren , Hua Zhang This is my paper

Pith reviewed 2026-05-21 02:06 UTC · model grok-4.3

classification 🧮 math.PR
keywords McKean-Vlasov SDEsintegration by partsjumpsLions derivativedensity estimatesPDE existenceelliptic coefficients
0
0 comments X

The pith

Integration by parts formulas hold for McKean-Vlasov SDEs with jumps under elliptic coefficients, covering both ordinary and Lions derivatives on measures.

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

The paper derives integration by parts formulas for the solutions of McKean-Vlasov stochastic differential equations that include jumps, provided the coefficients meet an ellipticity condition. These formulas apply to derivatives with respect to both real-valued variables and measure-valued variables using the Lions derivative. A reader would care because the formulas directly yield estimates on how the density of the solution changes and allow proofs of classical solvability for the related partial differential equations even when the terminal condition is irregular.

Core claim

The central claim is that integration by parts formulas exist for solutions of McKean-Vlasov SDEs with jumps when the coefficients are elliptic. The formulas handle differentiation in both the state variable and the probability measure (via the Lions derivative) and are then used to bound derivatives of the law of the solution and to establish existence and uniqueness of classical solutions to the associated PDEs with irregular terminal data.

What carries the argument

The integration by parts formula for McKean-Vlasov SDEs with jumps, which exploits ellipticity of the diffusion coefficients to produce identities that relate expectations involving derivatives of test functions to boundary or jump terms.

If this is right

  • Derivative estimates for the density functions of the McKean-Vlasov SDEs become available.
  • Existence and uniqueness of classical solutions to the associated PDEs hold even for irregular terminal conditions.
  • The same formulas supply a route to sensitivity analysis with respect to the initial measure.

Where Pith is reading between the lines

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

  • The approach may extend to other mean-field jump models provided the ellipticity condition can be verified.
  • Numerical schemes for the SDEs could incorporate these identities to compute density gradients without finite-difference approximations.

Load-bearing premise

The coefficients satisfy an ellipticity condition that supplies enough non-degeneracy in the diffusion part for the integration by parts to be valid.

What would settle it

A concrete counter-example consisting of an elliptic coefficient set for which the derived integration by parts identity fails to hold when tested against a simple test function on a known McKean-Vlasov jump process.

read the original abstract

In this article, we establish integration by parts formulas for the solutions of McKean-Vlasov stochastic differential equations with jumps under elliptic coefficients. The derived formulas accommodate both derivatives with respect to real-valued variables and measure-valued variables, interpreted through the Lions' derivative. As applications, we obtain estimates for the derivatives of the density functions of the McKean-Vlasov SDEs, and relying on the integration by parts formulas, we subsequently prove the existence and uniqueness of classical solutions to the associated PDEs with irregular terminal conditions.

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

0 major / 3 minor

Summary. The paper establishes integration by parts formulas for solutions of McKean-Vlasov SDEs with jumps under elliptic coefficients on the diffusion part. The formulas are stated for both ordinary derivatives in the state variable and Lions derivatives with respect to the measure argument. Applications are given to derivative estimates on the law of the solution and to existence/uniqueness of classical solutions for the associated nonlocal PDEs when the terminal condition is merely continuous or bounded.

Significance. If the derivations hold, the results supply a useful extension of integration-by-parts techniques to mean-field jump processes, which appear in mean-field games and interacting particle systems with discontinuous noise. The explicit accommodation of Lions derivatives and the passage to density estimates and PDE well-posedness are natural next steps once the IBP formulas are available. No machine-checked proofs or parameter-free derivations are claimed, but the formulas are presented in a form that could be directly applied to further regularity questions.

minor comments (3)
  1. The ellipticity assumption is stated in the main theorems but its precise quantitative form (e.g., lower bound on the diffusion matrix) is not repeated in the applications section; a short reminder would improve readability.
  2. Notation for the compensated Poisson measure and the associated compensator is introduced in Section 2 but used without re-statement in the proof of the measure-derivative formula; a brief cross-reference would help.
  3. The statement of the density derivative estimate (presumably Theorem 4.1) does not explicitly record the dependence of the constants on the jump intensity; adding this dependence would make the result easier to compare with the non-jump case.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and accurate summary of our work, as well as for recognizing its significance in extending integration-by-parts techniques to McKean-Vlasov SDEs with jumps and for recommending minor revision. We are pleased that the accommodation of Lions derivatives and the applications to density estimates and PDE well-posedness are viewed as natural developments. Since the report lists no specific major comments, we have no point-by-point rebuttals to provide at this stage but remain ready to address any minor issues or clarifications in the revised manuscript.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper derives integration-by-parts formulas directly from the McKean-Vlasov SDE with jumps under the stated elliptic non-degeneracy assumption on the diffusion coefficient, together with Lions' derivative for the measure argument. No step reduces by construction to a fitted parameter, self-referential definition, or load-bearing self-citation chain; the formulas are obtained via standard stochastic calculus techniques applied to the given SDE. The subsequent density estimates and PDE existence results follow as logical consequences once the IBP identities are established, without any renaming of known results or smuggling of ansatzes. The derivation chain is therefore independent of its target outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Review is limited to the abstract; the work rests on standard domain assumptions for existence of solutions to SDEs with jumps and mean-field dependence plus the ellipticity condition.

axioms (1)
  • domain assumption Ellipticity of the coefficients
    Explicitly invoked in the abstract to support the integration by parts formulas.

pith-pipeline@v0.9.0 · 5614 in / 1096 out tokens · 37651 ms · 2026-05-21T02:06:03.658389+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

32 extracted references · 32 canonical work pages

  1. [1]

    and JACOD, J

    BICHTELER, K., GRAVEREAUX, J.-B. and JACOD, J. (1987).Malliavin Calculus for Processes with Jumps. Stochastics Monographs 2. Gordon and Breach, New York. MR1008471

    work page 1987

  2. [2]

    and DENIS, L

    BOULEAU, N. and DENIS, L. (2015).Dirichlet Forms Methods for Poisson Point Measures and L´ evy Processes. Probability Theory and Stochastic Modelling 76. Springer, Cham. MR3444890

    work page 2015

  3. [3]

    and HIRSCH, F

    BOULEAU, N. and HIRSCH, F. (1991).Dirichlet Forms and Analysis on Wiener Space. De Gruyter Studies in Mathematics 14. de Gruyter, Berlin. MR1133391

    work page 1991

  4. [4]

    and PENG, S

    BUCKDAHN, R., LI, J. and PENG, S. (2017). Mean-field stochastic differential equations and associated PDEs.Ann. Probab.45, no. 2, 824–878. MR3630288

    work page 2017

  5. [5]

    (2013).Notes on Mean Field Games

    CARDALIAGUET, P. (2013).Notes on Mean Field Games. From P.-L. Lions’ lectures at Coll` ege de France

    work page 2013

  6. [6]

    CARLEN, E. A. and PARDOUX, ´E. (1990). Differential calculus and integration by parts on Poisson space. InStochastics, Algebra and Analysis in Classical and Quantum Dynamics(Marseille,

    work page 1990

  7. [7]

    Albeverio, P

    (S. Albeverio, P. Blanchard and D. Testard, eds.). Math. Appl. 59, 63–73. Kluwer Acad. Publ., Dordrecht. MR1052702

    work page

  8. [8]

    CARMONA, R. A. and DELARUE, F. (2015). Forward-backward stochastic differential equations and controlled McKean-Vlasov dynamics.Ann. Probab.43, no. 5, 2647–2700. MR3395471

    work page 2015

  9. [9]

    and TANKOV, P

    CONT, R. and TANKOV, P. (2004).Financial Modelling with Jump Processes. Chapman & Hall/CRC Financial Mathematics Series. Chapman & Hall/CRC, Boca Raton, FL. MR2042661

    work page 2004

  10. [10]

    and MCMURRAY, E

    CRISAN, D. and MCMURRAY, E. (2018). Smoothing properties of McKean-Vlasov SDEs.Probab. Theory Related Fields171, no. 1-2, 97–148. MR3800831

    work page 2018

  11. [11]

    DAWSON, D. A. and G ¨ARTNER, J. (1987). Large deviations from the McKean-Vlasov limit for weakly interacting diffusions.Stochastics20, no. 4, 247–308. MR0885876

    work page 1987

  12. [12]

    DAWSON, D. A. and LI, Z. (2012). Stochastic equations, flows and measure-valued processes.Ann. Probab.40, no. 2, 813–857. MR2952093

    work page 2012

  13. [13]

    (1964).Partial Differential Equations of Parabolic Type

    FRIEDMAN, A. (1964).Partial Differential Equations of Parabolic Type. Prentice-Hall, Englewood Cliffs, NJ

    work page 1964

  14. [14]

    and LI, J

    HAO, T. and LI, J. (2016). Mean-field SDEs with jumps and nonlocal integral-PDEs.NoDEA Nonlinear Differential Equations Appl.23, no. 2, Art. 17, 51 pp. MR3478968

    work page 2016

  15. [15]

    H ¨ORMANDER, L. V. (1967). Hypoelliptic second order differential equations.Acta Math.119, 147–171. MR0222474

    work page 1967

  16. [16]

    LI, J. (2018). Mean-field forward and backward SDEs with jumps and associated nonlocal quasi- linear integral-PDEs.Stochastic Process. Appl.128, no. 9, 3118–3180. MR3834855

    work page 2018

  17. [17]

    KAC, M. (1956). Foundations of kinetic theory. In J. Neyman, ed.,Proceedings of the Third Berke- ley Symposium on Mathematical Statistics and Probability, 1954–1955, Vol. III, 171–197. Univ. California Press, Berkeley-Los Angeles, CA. MR0084985

    work page 1956

  18. [18]

    (1959).Probability and Related Topics in Physical Sciences

    KAC, M. (1959).Probability and Related Topics in Physical Sciences. Lectures in Applied Mathe- matics. Interscience Publishers, London-New York. MR0102849

    work page 1959

  19. [19]

    KOTELENEZ, P. M. and KURTZ, T. G. (2010). Macroscopic limits for stochastic partial differential equations of McKean-Vlasov type.Probab. Theory Related Fields146, no. 1-2, 189–222. MR2550362

    work page 2010

  20. [20]

    (2019).Stochastic Flows and Jump-Diffusions

    KUNITA, H. (2019).Stochastic Flows and Jump-Diffusions. Probability Theory and Stochastic Modelling 92. Springer, Singapore. MR3929750

    work page 2019

  21. [21]

    KUSUOKA, S. (2003). Malliavin calculus revisited.J. Math. Sci. Univ. Tokyo10, no. 2, 261–277. MR1987133 46

    work page 2003

  22. [22]

    and STROOCK, D

    KUSUOKA, S. and STROOCK, D. W. (1987). Applications of the Malliavin calculus. III.J. Fac. Sci. Univ. Tokyo Sect. IA Math.34, no. 2, 391–442. MR0914028

    work page 1987

  23. [23]

    (2013).Cours au Coll` ege de France : Th´ eorie des jeux ` a champ moyen

    LIONS, P.-L. (2013).Cours au Coll` ege de France : Th´ eorie des jeux ` a champ moyen. Available at https://www.college-de-france.fr/fr/agenda/cours/theorie-des-jeux-champ-moyen

    work page 2013

  24. [24]

    and LIONS, P.-L

    LASRY, J.-M. and LIONS, P.-L. (2007). Mean field games.Jpn. J. Math.2, no. 1, 229–260. MR2295621

    work page 2007

  25. [25]

    MCKEAN, H. P., JR. (1966). A class of Markov processes associated with nonlinear parabolic equations.Proc. Nat. Acad. Sci. U.S.A.56, 1907–1911. MR0221595

    work page 1966

  26. [26]

    MERTON, R. C. (1976). Option pricing when underlying stock returns are discontinuous.J. Fi- nancial Economics3, no. 1-2, 125–144. MR0442380

    work page 1976

  27. [27]

    MALLIAVIN, P. (1978). Stochastic calculus of variation and hypoelliptic operators. InProceedings of the International Symposium on Stochastic Differential Equations(Kyoto, 1976), 195–263. Wiley, New York-Chichester-Brisbane. MR0536013

    work page 1978

  28. [28]

    PICARD, J. (1996). On the existence of smooth densities for jump processes.Probab. Theory Related Fields105, no. 4, 481–511. MR1402654

    work page 1996

  29. [29]

    and ZHANG, H

    REN, J. and ZHANG, H. (2019). Regularity of the law of stochastic differential equations with jumps under H¨ ormander’s conditions: the lent particle method.J. Theoret. Probab.32, no. 2, 1023–1050. MR3959636

    work page 2019

  30. [30]

    and ZHANG, H

    REN, J. and ZHANG, H. (2023). Hypoellipticity and parabolic hypoellipticity of nonlocal operators under H¨ ormander’s condition.Potential Anal.59, no. 3, 1051–1078. MR4647943

    work page 2023

  31. [31]

    (2004).Stochastic Analysis

    SHIGEKAWA, I. (2004).Stochastic Analysis. Translated from the 1998 Japanese original by the author. Translations of Mathematical Monographs 224. Iwanami Series in Modern Mathematics. Amer. Math. Soc., Providence, RI. MR2060917

    work page 2004

  32. [32]

    TANIGUCHI, S. (1985). Applications of Malliavin’s calculus to time-dependent systems of heat equations.Osaka J. Math.22, no. 2, 307–320. MR0800974 47

    work page 1985