pith. sign in

arxiv: 1907.04876 · v1 · pith:QQNAL2JLnew · submitted 2019-07-10 · 🧮 math.AP · math.PR

On L_p-Solvability of Stochastic Integro-Differential Equations

Istv\'an Gy\"ongy , Sizhou Wu This is my paper

Pith reviewed 2026-05-24 23:27 UTC · model grok-4.3

classification 🧮 math.AP math.PR
keywords stochastic integro-differential equationsBessel potential spacesexistence and uniquenessZakai equationnonlinear filteringjump diffusionsparabolic equationsdegenerate equations
0
0 comments X

The pith

Existence and uniqueness of solutions are established in Bessel potential spaces for a class of degenerate stochastic integro-differential equations of parabolic type.

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

The paper examines a class of stochastic integro-differential equations that may be degenerate and includes the Zakai equation from nonlinear filtering of jump diffusions. It shows that solutions exist and are unique when placed in Bessel potential spaces. A reader would care because the result supplies a functional setting that handles integral terms for jumps without requiring full non-degeneracy. The proof relies on the equations meeting coefficient and structural conditions that fit the parabolic framework.

Core claim

Existence and uniqueness of the solutions are established in Bessel potential spaces for a class of (possibly) degenerate stochastic integro-differential equations of parabolic type, which includes the Zakai equation in nonlinear filtering for jump diffusions.

What carries the argument

Bessel potential spaces that serve as the L_p setting in which the existence-uniqueness theory for the parabolic stochastic integro-differential operators is applied.

If this is right

  • The Zakai equation for nonlinear filtering of jump diffusions admits a unique solution in the Bessel spaces.
  • The theory covers cases where the diffusion part may be degenerate.
  • Solutions are obtained for equations whose integral terms model jumps under the given coefficient bounds.

Where Pith is reading between the lines

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

  • The same functional setting could support analysis of related filtering equations that involve more general observation processes with jumps.
  • The existence result supplies a starting point for deriving further regularity or moment bounds on the solutions.

Load-bearing premise

The equations must belong to the considered class of parabolic-type stochastic integro-differential equations with the required degeneracy and coefficient conditions.

What would settle it

A concrete equation inside the stated class for which either no solution or more than one solution exists in the Bessel potential spaces would disprove the result.

read the original abstract

A class of (possibly) degenerate stochastic integro-differential equations of parabolic type is considered, which includes the Zakai equation in nonlinear filtering for jump diffusions. Existence and uniqueness of the solutions are established in Bessel potential spaces.

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

Summary. The manuscript considers a class of (possibly degenerate) stochastic integro-differential equations of parabolic type, which includes the Zakai equation arising in nonlinear filtering for jump diffusions. It establishes existence and uniqueness of solutions in Bessel potential spaces.

Significance. If the result holds under the stated coefficient and degeneracy conditions, it would extend L_p solvability theory to a useful class of stochastic equations in Bessel spaces, with direct relevance to filtering problems. The conditional scope on the class of equations is clearly delimited in the abstract.

minor comments (1)
  1. The provided manuscript text consists solely of the abstract; no sections, equations, coefficient assumptions, or proof outlines are visible, preventing verification of the Bessel-space estimates or the precise conditions under which the Zakai equation is included.

Simulated Author's Rebuttal

0 responses · 0 unresolved

Thank you for the opportunity to respond to the referee report on our manuscript. The referee's summary accurately reflects the scope and main results of the paper concerning existence and uniqueness for degenerate stochastic integro-differential equations in Bessel potential spaces. No specific major comments are listed in the report, so we have no point-by-point responses. We remain available to address any further questions that would help resolve the uncertain recommendation.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper states a class of (possibly degenerate) stochastic integro-differential equations of parabolic type and asserts existence/uniqueness of solutions in Bessel potential spaces. No derivation chain, fitted parameters renamed as predictions, self-definitional relations, or load-bearing self-citations reducing the central claim to its inputs are present in the provided abstract or description. The result is conditional on membership in the explicitly defined class, which is the standard non-circular structure for such existence theorems. No equations or ansatzes are quoted that collapse by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no free parameters, axioms, or invented entities can be identified or audited.

pith-pipeline@v0.9.0 · 5552 in / 1029 out tokens · 18151 ms · 2026-05-24T23:27:25.171177+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

35 extracted references · 35 canonical work pages · 4 internal anchors

  1. [1]

    Applebaum, L´ evy Processes and Stochastic Calculus, Cambridge University Press, 2009

    D. Applebaum, L´ evy Processes and Stochastic Calculus, Cambridge University Press, 2009

    work page 2009

  2. [2]

    Applebaum and S

    D. Applebaum and S. Blackwood, The Kalman-Bucy filter for integrable L´ evy processes with infinite second moment, J. Applied Prob. 52 (2015), 636-648

    work page 2015

  3. [3]

    Barndorff-Nielsen, T

    O.E. Barndorff-Nielsen, T. Mikosch, S.I. Resnick (Editors), L´ evy Processes. Theory and Applications, Birkh¨ auser, 2001

    work page 2001

  4. [4]

    Blackwood, L´ evy Processes and Filtering Theory, Th´ esis, The University Sheffield, 2014

    S. Blackwood, L´ evy Processes and Filtering Theory, Th´ esis, The University Sheffield, 2014

    work page 2014

  5. [5]

    Bergh and J

    J. Bergh and J. L¨ ofstr¨ om,Interpolation spaces, Grundlehren Math. Wiss., vol. 223, Springer-Verlag, 1976

    work page 1976

  6. [6]

    A. P. Calderon, Spaces between L1 and L∞ and the theorem of Marcinkiewicz, Studia Mathematica, T. XXVI (1966), 273-299

    work page 1966

  7. [7]

    Chang and K

    T. Chang and K. Lee, On a stochastic partial differential equation with a fractional Laplacian operator, Stochastic Processes and their Applications, Volume 122, Issue 9, 2012, pp. 3288-3311

    work page 2012

  8. [8]

    Chen and K

    Z. Chen and K. Kim, An Lp-theory for non-divergence form SPDEs driven by L´ evy processes, Forum Mathematicum, Volume 26, Issue 5 (2014), 1381-1411

    work page 2014

  9. [9]

    A Note On Degenerate Stochastic Integro-Differential Equations

    K. Dareiotis, A Note on Degenerate Stochastic Integro–Differential Equations, arXiv:1406.5649v1, Jun 2014

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  10. [10]

    On solvability of integro-differential equations

    M. De Le´ on-Contreras, I. Gy¨ ongy and S. Wu, On Solvability of Integro-Differential Equations, arXiv:1809.06840

    work page internal anchor Pith review Pith/arXiv arXiv

  11. [11]

    H. Dong, D. Kim, On Lp-estimates for a class of non-local elliptic equations, J. Func. Anal. 262 (3) (2012), 1166-1199

    work page 2012

  12. [12]

    B. P. W. Fernando and E. Hausenblas, Nonlinear filtering with correlated L´ evy noise characterized by copulas, Brazilian Journal of Probability and Statistics Vol. 32, No. 2 (2018) 374-421

    work page 2018

  13. [13]

    Gerencs´ er and I

    M. Gerencs´ er and I. Gy¨ ongy, Finite difference schemes for stochastic partial differential equations in Sobolev spaces. Appl. Math. Optim. 72 (2015), no. 1, 77-100. 38 I. GY ¨ONGY AND S. WU

    work page 2015

  14. [14]

    Gerencs´ er, I

    M. Gerencs´ er, I. Gy¨ ongy and N. V. Krylov, On the solvability of degenerate stochastic partial differential equations in Sobolev spaces, Stochastic Partial Differential Equations: Analysis and Computations, 3 (2015), no. 1, 52-83

    work page 2015

  15. [15]

    W. B. Gordon, On the Diffeomorphisms of Euclidean Space, American Mathematical Monthly, Vol. 79, No. 7 (1972), 755-759

    work page 1972

  16. [16]

    Grigelionis, Reduced stochastic equations of nonlinear filtering of random processes, Lithuan

    B. Grigelionis, Reduced stochastic equations of nonlinear filtering of random processes, Lithuan. Math. J. 16 (1976), 348-358

    work page 1976

  17. [17]

    Gy¨ ongy, On stochastic equations with respect to semimartingales

    I. Gy¨ ongy, On stochastic equations with respect to semimartingales. III. Stochastics 7 (1982), no. 4, 231-254

    work page 1982

  18. [18]

    Gy¨ ongy and N.V

    I. Gy¨ ongy and N.V. Krylov, On the rate of convergence of splitting-up approximations for SPDEs, Progress in Probability, Vol. 56, 301-321, 2003 Birkh¨ auser Verlag

    work page 2003

  19. [19]

    It\^o's formula for jump processes in $L_p$-spaces

    I. Gy¨ ongy and S. Wu, Itˆ o’s formula for jump processes inLp-spaces, arXiv:1904.128982019, 2019

    work page internal anchor Pith review Pith/arXiv arXiv 1904

  20. [20]

    Hyt¨ onen, J

    T. Hyt¨ onen, J. van Neerven, M. Veraar and L. Weis,Analysis in Banach Spaces. Volume I: Martingales and Littlewood-Paley Theory, Springer 2016

    work page 2016

  21. [21]

    Ikeda and S

    N. Ikeda and S. Watanabe, Stochastic differential equations and diffusion processes , North-Holland, 2011

    work page 2011

  22. [22]

    Kim and P

    K. Kim and P. Kim, An Lp-theory of a class of stochastic equations with the random fractional Laplacian driven by L´ evy processes, Stochastic Processes and their Applications, Volume 122, Issue 12, 2012, pp. 3921-3952

    work page 2012

  23. [23]

    Kim and K

    K. Kim and K. Lee, A note on Wγ p -theory of linear stochastic parabolic partial differential systems, Stochastic Processes and their Applications, 123 (2013), 76-90

    work page 2013

  24. [24]

    Krylov, On Lp-theory of stochastic partial differential equations in the whole space, SIAM J

    N.V. Krylov, On Lp-theory of stochastic partial differential equations in the whole space, SIAM J. Math. Anal. 27 (1996), no. 2, 313-340

    work page 1996

  25. [25]

    Krylov, Itˆ o’s formula for the Lp-norm of stochastic W 1 p -valued processes, Probab

    N.V. Krylov, Itˆ o’s formula for the Lp-norm of stochastic W 1 p -valued processes, Probab. Theory Relat. Fields 147 (2010), 583–605

    work page 2010

  26. [26]

    Krylov and B.L

    N.V. Krylov and B.L. Rozovskii, Stochastic evolution equations, J. Sov. Math., 16 (1981) 1233–1277

    work page 1981

  27. [27]

    Krylov and B.L

    N.V. Krylov and B.L. Rozovskii, Characteristics of degenerating second-order parabolic Itˆ o equations, J. Soviet Maths., 32 (1986), 336-348. (Translated from Trudy Seminara imeni I.G. Petrovskogo, No. 8. pp.. 153-168, 1982.)

    work page 1986

  28. [28]

    Leahy and R

    J-M. Leahy and R. Mikulevicius, On degenerate linear stochastic evolution equations driven by jump processes. Stochastic Process. Appl. 125 (2015), no. 10, 3748-3784

    work page 2015

  29. [29]

    Mikuleviˇ cius, C

    R. Mikuleviˇ cius, C. Phonsom, OnLp-theory for parabolic and elliptic integro-differential equations with scalable operators in the whole space, Stoch. Partial Differ. Equ. Anal. Comput. 5 (2017), no. 4, 472-519

    work page 2017

  30. [30]

    On the Cauchy problem for stochastic integrodifferential parabolic equations in the scale of Lp-spaces of generalized smoothness

    R. Mikuleviˇ cius, C. Phonsom, On the Chauchy Problem for Stochastic Integro-differential Parabolic Equations in the Scale of Lp-Spaces of Generalised Smoothness, arXiv:1805.03232v1, 2018

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  31. [31]

    Mikulevicius and H

    R. Mikulevicius and H. Pragarauskas, On Lp-theory for stochastic parabolic integro-differential equa- tions. Stoch. Partial Differ. Equ. Anal. Comput. 1 no. 2, (2013), 282-324

    work page 2013

  32. [32]

    Pardoux, ´Equations aux d´ erive´ es partielles stochastiques non lin´ earies monotones.´Etude des solution forte de type Ito

    E. Pardoux, ´Equations aux d´ erive´ es partielles stochastiques non lin´ earies monotones.´Etude des solution forte de type Ito. Th´ ese Universit´ e de Paris Sud, Orsay, 1975

    work page 1975

  33. [33]

    P. F. Riechwald, Interpolation of sum and intersection spaces of Lq-type and applications to the Stokes problem in general unbounded domains, Ann. Univ. Ferrara, 58 (2012) 167-181

    work page 2012

  34. [34]

    Triebel, Interpolation Theory - Function Spaces - Differential Operators , North Holland Publishing Company, Amsterdam-New York-Oxford, 1978

    H. Triebel, Interpolation Theory - Function Spaces - Differential Operators , North Holland Publishing Company, Amsterdam-New York-Oxford, 1978

    work page 1978

  35. [35]

    Zhang, Lp-maximal regularity of nonlocal parabolic equations and applications, Ann

    X. Zhang, Lp-maximal regularity of nonlocal parabolic equations and applications, Ann. I. H. Poincar´ e, AN 30 (2013) 573-614. School of Mathematics and Maxwell Institute, University of Edinburgh, Scotland, United Kingdom. E-mail address: i.gyongy@ed.ac.uk School of Mathematics, University of Edinburgh, King’s Buildings, Edinburgh, EH9 3JZ, United Kingdom...

    work page 2013