pith. the verified trust layer for science. sign in

arxiv: 2605.13727 · v1 · pith:KU374JYAnew · submitted 2026-05-13 · 🧮 math.PR

Stochastic evolution equations driven by arbitrary cylindrical L\'evy processes

Pith reviewed 2026-05-14 17:50 UTC · model grok-4.3

classification 🧮 math.PR
keywords stochastic evolution equationscylindrical Lévy processesmild solutionsexistence and uniquenessEuler-Peano approximationHilbert spacespathwise convergence
0
0 comments X p. Extension
Add this Pith Number to your LaTeX paper What is a Pith Number?
\usepackage{pith}
\pithnumber{KU374JYA}

Prints a linked pith:KU374JYA badge after your title and writes the identifier into PDF metadata. Compiles on arXiv with no extra files. Learn more

The pith

Mild solutions exist and are unique for abstract stochastic evolution equations driven by arbitrary cylindrical Lévy processes in Hilbert spaces.

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

The paper proves existence and uniqueness of mild solutions for stochastic evolution equations in Hilbert spaces when the driving noise is any cylindrical Lévy process. The coefficients satisfy only global Lipschitz conditions, and no moment or integrability assumptions are placed on the noise. The proof relies on a pathwise adaptive Euler-Peano scheme that uses stopping times adapted to individual noise paths together with a fixed-point argument for the mild solution map. A reader would care because this removes the need for semimartingale or Lévy-Itô decompositions that previously blocked treatment of generalized cylindrical noises in infinite dimensions.

Core claim

Under global Lipschitz conditions on the coefficients, the mild solution operator for abstract stochastic evolution equations in a Hilbert space driven by an arbitrary cylindrical Lévy process admits a unique fixed point. This fixed point is obtained as the limit of a pathwise Euler-Peano approximation constructed with noise-dependent stopping times, without invoking stochastic calculus that requires semimartingale structure.

What carries the argument

The pathwise adaptive Euler-Peano approximation scheme based on noise-dependent stopping times, which constructs candidate solutions directly from the cylindrical Lévy paths and feeds them into a fixed-point argument for the mild solution operator.

If this is right

  • The same approximation procedure yields the unique mild solution for any cylindrical Lévy noise without requiring finite moments.
  • Multiplicative noise is handled uniformly within the fixed-point framework.
  • The result supplies a constructive pathwise method that works in infinite-dimensional Hilbert spaces where classical Itô calculus does not apply.

Where Pith is reading between the lines

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

  • The stopping-time technique may extend to equations whose coefficients are only locally Lipschitz by localizing the approximations.
  • Numerical schemes derived from this construction could simulate solutions driven by infinite-variance Lévy noise without truncation.
  • The approach suggests a template for other generalized noises that lack semimartingale decompositions.

Load-bearing premise

The coefficients must satisfy global Lipschitz conditions so that the fixed-point map is a contraction and the approximations remain controlled.

What would settle it

An explicit globally Lipschitz pair of coefficients and a concrete cylindrical Lévy process for which the sequence of stopped Euler-Peano approximations fails to converge in the mild-solution topology would disprove the claim.

read the original abstract

We establish the first existence and uniqueness result for mild solutions of abstract stochastic evolution equations driven by arbitrary cylindrical L\'evy processes in Hilbert spaces. The coefficients are assumed to satisfy global Lipschitz conditions, and no moment assumptions are imposed on the driving noise. The principal difficulty arises from the fact that cylindrical L\'evy processes exist solely in a generalised sense and typically admit no semimartingale or L\'evy-It\^o decomposition, which precludes the use of classical existence methods. To overcome these obstacles, we develop a pathwise adaptive Euler-Peano approximation scheme based on noise-dependent stopping times and a fixed-point formulation of the mild solution operator. The resulting approach avoids stochastic calculus techniques relying on semimartingale decompositions and provides a robust and flexible framework for treating multiplicative cylindrical L\'evy noise in infinite-dimensional systems.

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

2 major / 2 minor

Summary. The paper claims to establish the first existence and uniqueness result for mild solutions of abstract stochastic evolution equations in Hilbert spaces driven by arbitrary cylindrical Lévy processes. The coefficients satisfy global Lipschitz conditions with no moment assumptions imposed on the noise. The approach relies on a pathwise adaptive Euler-Peano approximation scheme using noise-dependent stopping times to truncate large jumps, combined with a fixed-point formulation of the mild solution operator, thereby avoiding classical stochastic calculus that requires semimartingale decompositions.

Significance. If the convergence arguments hold, the result would constitute a substantial extension of the theory of infinite-dimensional stochastic equations, as it accommodates fully general cylindrical Lévy noises (including those with infinite variation or heavy tails) that lack standard Lévy-Itô decompositions or moment bounds. This could enable new applications in systems where previous results were restricted by integrability requirements on the driving process.

major comments (2)
  1. [Proof of Theorem 3.1 (main existence result)] The core convergence claim for the adaptive Euler-Peano scheme (detailed in the proof of the main existence theorem) requires uniform control of the stopped increments in the Hilbert-space norm without any moment assumptions on the cylindrical Lévy process. It is unclear whether the error estimates between successive approximations close uniformly in the truncation level, since standard Burkholder-type bounds or integrability for the stochastic convolution may fail when the Lévy measure has infinite variation; this directly affects the passage to the limit in the mild-solution fixed-point space.
  2. [Section 4, fixed-point formulation] In the fixed-point argument for the mild solution operator (Section 4), the contraction constant is asserted to remain strictly less than 1 independently of the sequence of stopping times. However, the estimates do not explicitly verify that the Lipschitz constants of the coefficients and the semigroup bounds yield a uniform contraction factor across all truncations, which is load-bearing for the completeness of the Cauchy sequence in the solution space.
minor comments (2)
  1. [Introduction] The introduction would benefit from a brief explicit comparison table or paragraph contrasting the new scheme with prior results that impose finite-moment conditions on the Lévy noise.
  2. [Preliminaries] Notation for the cylindrical Lévy process (e.g., the precise meaning of 'arbitrary' and the generalized sense in which it exists) should be introduced with a dedicated preliminary subsection before the approximation scheme is defined.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments. We address the two major points below and will revise the manuscript to provide additional clarifications and explicit verifications in the proof of Theorem 3.1 and Section 4.

read point-by-point responses
  1. Referee: [Proof of Theorem 3.1 (main existence result)] The core convergence claim for the adaptive Euler-Peano scheme (detailed in the proof of the main existence theorem) requires uniform control of the stopped increments in the Hilbert-space norm without any moment assumptions on the cylindrical Lévy process. It is unclear whether the error estimates between successive approximations close uniformly in the truncation level, since standard Burkholder-type bounds or integrability for the stochastic convolution may fail when the Lévy measure has infinite variation; this directly affects the passage to the limit in the mild-solution fixed-point space.

    Authors: We appreciate the referee pointing out the need for greater clarity on uniformity. Our adaptive stopping times are constructed pathwise from the jumps of the given cylindrical Lévy process, so that on each stopped interval the driving noise has jumps of size at most 1/n. This permits direct, pathwise Gronwall-type estimates that use only the global Lipschitz constant of the coefficients and the uniform bound on the semigroup; no Burkholder–Davis–Gundy inequality or moment assumption on the untruncated process is invoked. The error between successive approximations is shown to be controlled by a quantity that tends to zero as n→∞ uniformly in the truncation level because the stopping times increase to infinity and the fixed-point space is equipped with a norm that absorbs the stopped increments. We will insert a new lemma and expanded estimates in the revised proof of Theorem 3.1 to make this uniformity explicit. revision: yes

  2. Referee: [Section 4, fixed-point formulation] In the fixed-point argument for the mild solution operator (Section 4), the contraction constant is asserted to remain strictly less than 1 independently of the sequence of stopping times. However, the estimates do not explicitly verify that the Lipschitz constants of the coefficients and the semigroup bounds yield a uniform contraction factor across all truncations, which is load-bearing for the completeness of the Cauchy sequence in the solution space.

    Authors: We agree that an explicit check of independence would improve readability. The mild-solution operator is defined for each truncated noise using the same Lipschitz constant L of the coefficients and the same semigroup bound M. For any fixed time horizon T small enough that L M T < 1, the contraction factor is therefore strictly less than 1 and does not depend on the particular sequence of stopping times. The same factor applies uniformly to all truncations because the operator is constructed identically once the driving noise is replaced by its stopped version. We will add a short paragraph immediately after the statement of the contraction mapping in Section 4 that records this independence explicitly. revision: yes

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result depends on standard Hilbert-space mild-solution theory and the global Lipschitz assumption to close the fixed-point argument; no free parameters or new entities are introduced.

axioms (2)
  • domain assumption Global Lipschitz continuity of the coefficients
    Invoked to guarantee the contraction mapping property for the mild solution operator.
  • standard math Existence of mild solutions in the Hilbert-space setting
    Background assumption from the theory of stochastic evolution equations.

pith-pipeline@v0.9.0 · 5445 in / 1244 out tokens · 61632 ms · 2026-05-14T17:50:55.999657+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages

  1. [1]

    Amann.Ordinary differential equations

    H. Amann.Ordinary differential equations. Walter de Gruyter, Berlin, 1990

  2. [2]

    Applebaum and M

    D. Applebaum and M. Riedle. Cylindrical L´ evy processes in Banach spaces.Proc. Lond. Math. Soc. (3), 101(3):697–726, 2010

  3. [3]

    Bichteler.Stochastic integration with jumps

    K. Bichteler.Stochastic integration with jumps. Cambridge University Press, Cambridge, 2002

  4. [4]

    Bod´ o and M

    G. Bod´ o and M. Riedle. Stochastic integration with respect to cylindrical L´ evy processes in Hilbert spaces.J. Lond. Math. Soc. (2), 112(3):Paper No. e70298, 42 pp, 2025

  5. [5]

    Bod´ o, O

    G. Bod´ o, O. T´ ybl, and M. Riedle. SPDEs driven by standard symmetricα-stable cylindrical L´ evy processes: existence, Lyapunov functionals and Itˆ o formula.Elec- tron. J. Probab., 29:Paper No. 79, 41 pp, 2024

  6. [6]

    Brze´ zniak and J

    Z. Brze´ zniak and J. Zabczyk. Regularity of Ornstein-Uhlenbeck processes driven by a L´ evy white noise.Potential Anal., 32(2):153–188, 2010

  7. [7]

    K. L. Chung and R. J. Williams.Introduction to stochastic integration. Birkh¨ auser/Springer, New York, 2014

  8. [8]

    M. ´Emery. Une topologie sur l’espace des semimartingales. InS´ eminaire de Proba- bilit´ es XIII, volume 721 ofLecture Notes in Math., pages 260–280. Springer, Berlin, 1979. 36

  9. [9]

    S. Geiss. Sharp convex generalizations of stochastic Gronwall inequalities.J. Differential Equations, 392:74–127, 2024

  10. [10]

    Hausenblas and J

    E. Hausenblas and J. Seidler. A note on maximal inequality for stochastic convo- lutions.Czechoslovak Math. J., 51(4):785–790, 2001

  11. [11]

    Hyt¨ onen, J

    T. Hyt¨ onen, J. van Neerven, M. Veraar, and L. Weis.Analysis in Banach spaces. Vol. I. Martingales and Littlewood-Paley theory. Springer, Cham, 2016

  12. [12]

    Jakubowski and M

    A. Jakubowski and M. Riedle. Stochastic integration with respect to cylindrical L´ evy processes.Ann. Probab., 45(6B):4273–4306, 2017

  13. [13]

    R. L. Karandikar and B. V. Rao.Introduction to stochastic calculus. Springer, Singapore, 2018

  14. [14]

    Kardaras

    C. Kardaras. On the closure in the ´Emery topology of semimartingale wealth- process sets.Ann. Appl. Probab., 23(4):1355–1376, 2013

  15. [15]

    Kosmala and M

    T. Kosmala and M. Riedle. Stochastic evolution equations driven by cylindrical stable noise.Stochastic Process. Appl., 149:278–307, 2022

  16. [16]

    Kwapie´ n and W

    S. Kwapie´ n and W. A. Woyczy´ nski.Random series and stochastic integrals: single and multiple. Birkh¨ auser, Boston, 1992

  17. [17]

    G. Lowther. Existence of solutions to stochastic differential equations. https://almostsuremath.com/2010/02/10/existence-of-solutions-to-stochastic- differential-equations/, 2010. Almost Sure: A Random Math Blog; accessed: 8 January 2026

  18. [18]

    M´ etivier.Semimartingales: A course on stochastic processes

    M. M´ etivier.Semimartingales: A course on stochastic processes. Walter de Gruyter & Co., Berlin-New York, 1982

  19. [19]

    Priola and J

    E. Priola and J. Zabczyk. Structural properties of semilinear SPDEs driven by cylindrical stable processes.Probab. Theory Related Fields, 149(1-2):97–137, 2011

  20. [20]

    P. E. Protter.Stochastic integration and differential equations. Springer, Berlin, 2005

  21. [21]

    M. Riedle. Infinitely divisible cylindrical measures on Banach spaces.Studia Math., 207(3):235–256, 2011

  22. [22]

    Sz.-Nagy, C

    B. Sz.-Nagy, C. Foias, H. Bercovici, and L. K´ erchy.Harmonic Analysis of Operators on Hilbert space. Springer, New York, 2010

  23. [23]

    N. N. Vakhania, V. I. Tarieladze, and S. A. Chobanyan.Probability distributions on Banach spaces. D. Reidel Publishing Co., Dordrecht, 1987. 37