pith. sign in

arxiv: 2410.19566 · v1 · submitted 2024-10-25 · 🧮 math.AP · math.PR

A comparison principle based on couplings of partial integro-differential operators

Serena Della Corte , Fabian Fuchs , Richard C. Kraaij , Max Nendel This is my paper

Pith reviewed 2026-05-23 18:54 UTC · model grok-4.3

classification 🧮 math.AP math.PR
keywords comparison principleviscosity solutionspartial integro-differential operatorsHamilton-Jacobi-Bellman-Isaacs equationsprobabilistic couplingsLevy processesnon-local operators
0
0 comments X

The pith

Couplings of partial integro-differential operators yield a comparison principle for viscosity solutions to general Hamilton-Jacobi-Bellman-Isaacs equations.

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

The paper establishes a comparison principle for viscosity solutions of Hamilton-Jacobi, Hamilton-Jacobi-Bellman, and Hamilton-Jacobi-Isaacs equations driven by general partial integro-differential operators. It reinterprets the classical doubling-of-variables technique by recasting the Ishii-Crandall lemma as a test-function construction that accommodates non-local integral terms. The central step recasts the necessary estimate on the difference of Hamiltonians as an adapted probabilistic coupling between the operators themselves. This produces a unified argument that covers differential, difference, and integral operators alike. The resulting contractivity is strengthened from the usual sup-norm version to continuity with respect to the strict topology.

Core claim

By casting the Ishii-Crandall lemma into a test-function framework and translating the key Hamiltonian difference estimate into an adapted probabilistic coupling of the operators, the comparison principle applies to general classes of partial integro-differential Hamilton-Jacobi-Bellman-Isaacs equations and strengthens the resulting sup-norm contractivity to continuity in the strict topology. The method is illustrated on second-order differential operators and on generators of spatially inhomogeneous Lévy processes.

What carries the argument

An adapted probabilistic coupling of the operators that converts the Hamiltonian difference estimate into a unified bound.

If this is right

  • The comparison principle applies directly to second-order differential operators.
  • The comparison principle applies to generators of spatially inhomogeneous Lévy processes.
  • The contractivity obtained from comparison strengthens from sup-norm to continuity in the strict topology.
  • Differential, difference, and integral operators receive a single unified treatment.

Where Pith is reading between the lines

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

  • The coupling construction may extend to other non-local equations whose Hamiltonians satisfy similar difference estimates.
  • Strict-topology continuity could improve convergence arguments for approximation schemes that preserve the comparison property.
  • The same coupling language might reorganize proofs for related equations on infinite-dimensional or manifold settings.

Load-bearing premise

The key estimate on the difference of Hamiltonians admits an adapted coupling of the underlying operators.

What would settle it

A concrete class of operators for which the comparison principle is known to hold by other methods but for which no adapted coupling satisfying the required estimate can be constructed.

Figures

Figures reproduced from arXiv: 2410.19566 by Fabian Fuchs, Max Nendel, Richard C. Kraaij, Serena Della Corte.

Figure 1
Figure 1. Figure 1: visualizes the relation between the different optimizing points. xα yα y ′ α x ′ α yα,0 y ′ α,0 5.2.(b) 5.1.(g) 5.2.(b) 5.1.(b) 5.1.(f) 5.1.(b) [PITH_FULL_IMAGE:figures/full_fig_p023_1.png] view at source ↗
read the original abstract

This paper is concerned with a comparison principle for viscosity solutions to Hamilton-Jacobi (HJ), -Bellman (HJB), and -Isaacs (HJI) equations for general classes of partial integro-differential operators. Our approach innovates in three ways: (1) We reinterpret the classical doubling-of-variables method in the context of second-order equations by casting the Ishii-Crandall Lemma into a test function framework. This adaptation allows us to effectively handle non-local integral operators, such as those associated with L\'evy processes. (2) We translate the key estimate on the difference of Hamiltonians in terms of an adaptation of the probabilistic notion of couplings, providing a unified approach that applies to differential, difference, and integral operators. (3) We strengthen the sup-norm contractivity resulting from the comparison principle to one that encodes continuity in the strict topology. We apply our theory to a variety of examples, in particular, to second-order differential operators and, more generally, generators of spatially inhomogeneous L\'evy processes.

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 a comparison principle for viscosity solutions to Hamilton-Jacobi, Hamilton-Jacobi-Bellman, and Hamilton-Jacobi-Isaacs equations driven by general partial integro-differential operators. It reinterprets the doubling-of-variables technique by embedding the Ishii-Crandall lemma in a test-function framework to accommodate non-local integral terms, recasts the key Hamiltonian-difference estimate via an adapted probabilistic coupling of the underlying operators, and upgrades the resulting sup-norm contractivity to continuity in the strict topology. The theory is illustrated on second-order differential operators and generators of spatially inhomogeneous Lévy processes.

Significance. If the central comparison theorem holds, the work supplies a unified, coupling-based approach that treats local differential operators and non-local Lévy generators within a single framework, extending classical viscosity theory to a broader class of integro-differential HJI equations. The strict-topology strengthening and the probabilistic reinterpretation of the doubling-variables argument constitute genuine technical advances that could streamline proofs in stochastic control and mean-field games.

minor comments (3)
  1. The abstract refers to an 'adaptation of the probabilistic notion of couplings' without indicating the precise definition or the measure-theoretic setting in which the coupling is constructed; a short dedicated subsection clarifying the coupling measure and its marginals would improve readability.
  2. The claim that the method applies to 'spatially inhomogeneous Lévy processes' should be accompanied by an explicit statement of the Lévy measure assumptions (e.g., integrability of |z| near zero and at infinity) that guarantee the coupling exists and the estimate closes.
  3. Notation for the test functions arising from the adapted Ishii-Crandall lemma is introduced only in the abstract; consistent symbols should be fixed early in the introduction and used uniformly in the main theorem statement.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper presents a proof of a comparison principle for viscosity solutions of partial integro-differential HJB/HJI equations. The derivation chain consists of reinterpreting the doubling-of-variables method via an adapted Ishii-Crandall test-function framework, translating Hamiltonian difference estimates into probabilistic couplings of operators, and strengthening sup-norm contractivity to strict-topology continuity. These steps are technical adaptations and unifications applied to differential and Lévy generators; they do not reduce by construction to fitted parameters, self-definitions, or load-bearing self-citations. The central theorem is a self-contained existence/uniqueness result whose validity rests on the explicit estimates and coupling constructions rather than on renaming or circular invocation of prior results by the same authors.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard background assumptions of viscosity-solution theory for integro-differential operators and the existence of suitable couplings; no free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption Viscosity solutions are well-defined for the class of partial integro-differential operators under consideration
    Invoked implicitly when stating the comparison principle for HJ/HJB/HJI equations.
  • domain assumption Suitable couplings exist that translate the Hamiltonian difference estimate
    Central to innovation (2) in the abstract.

pith-pipeline@v0.9.0 · 5717 in / 1376 out tokens · 22686 ms · 2026-05-23T18:54:40.033497+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

39 extracted references · 39 canonical work pages

  1. [1]

    C. D. Aliprantis and K. C. Border,Infinite dimensional analysis, Third. Springer, Berlin, 2006, pp. xxii+703, A hitchhiker’s guide

    work page 2006

  2. [2]

    Viscosity solutions of nonlinear integro-differential equations,

    O. Alvarez and A. Tourin, “Viscosity solutions of nonlinear integro-differential equations,”Annales de l’Institut Henri Poincaré C, Analyse non linéaire, vol. 13, no. 3, pp. 293–317, 1996

    work page 1996

  3. [3]

    Équations d’Hamilton-Jacobi du premier ordre avec termes intégro- différentiels. I. Unicité des solutions de viscosité,

    S. Awatif, “Équations d’Hamilton-Jacobi du premier ordre avec termes intégro- différentiels. I. Unicité des solutions de viscosité,”Comm. Partial Differential Equations, vol. 16, no. 6-7, pp. 1057–1074, 1991

    work page 1991

  4. [4]

    Bardi and I

    M. Bardi and I. Capuzzo-Dolcetta, Optimal control and viscosity solutions of Hamilton-Jacobi-Bellman equations.English. Boston, MA: Birkhäuser, 1997

    work page 1997

  5. [5]

    Second-order elliptic integro-differential equations: Viscosity solutions’ theory revisited,

    G. Barles and C. Imbert, “Second-order elliptic integro-differential equations: Viscosity solutions’ theory revisited,” inAnnales de l’IHP Analyse non linéaire, vol. 25, 2008, pp. 567–585. REFERENCES 45

    work page 2008

  6. [6]

    Uniqueness in law for pure jump markov processes,

    R. F. Bass, “Uniqueness in law for pure jump markov processes,”Probability The- ory and Related Fields, vol. 79, no. 2, pp. 271–287, 1988

    work page 1988

  7. [7]

    Bertucci, Stochastic optimal transport and hamilton-jacobi-bellman equations on the set of probability measures, 2024

    C. Bertucci, Stochastic optimal transport and hamilton-jacobi-bellman equations on the set of probability measures, 2024. arXiv:2306.04283 [math.AP]

    work page arXiv 2024

  8. [8]

    Blessing, R

    J. Blessing, R. Denk, M. Kupper, and M. Nendel,Convex monotone semigroups and their generators with respect to Γ-convergence, 2023. arXiv: 2202 . 08653 [math.AP]

    work page 2023

  9. [9]

    Boundedcontinuousfunctionsonalocallycompactspace.,

    R.C.Buck,“Boundedcontinuousfunctionsonalocallycompactspace.,” Michigan Math. J., vol. 5, no. 2, pp. 95–104, 1958

    work page 1958

  10. [10]

    Efficient Markovian couplings: Examples and counterexamples,

    K. Burdzy and W. S. Kendall, “Efficient Markovian couplings: Examples and counterexamples,”Ann. Appl. Probab., vol. 10, no. 2, pp. 362–409, 2000

    work page 2000

  11. [11]

    Cannarsa and C

    P. Cannarsa and C. Sinestrari,Semiconcave functions, Hamilton-Jacobi equations, and optimal control. Springer Science & Business Media, 2004, vol. 58

    work page 2004

  12. [12]

    Viscosity methods giving uniqueness for martingale problems,

    C. Costantini and T. Kurtz, “Viscosity methods giving uniqueness for martingale problems,”Electron. J. Probab., vol. 20, no. 67, 1–27, 2015

    work page 2015

  13. [13]

    Some properties of viscosity so- lutions of Hamilton-Jacobi equations,

    M. G. Crandall, L. C. Evans, and P.-L. Lions, “Some properties of viscosity so- lutions of Hamilton-Jacobi equations,”Trans. Amer. Math. Soc., vol. 282, no. 2, pp. 487–502, 1984

    work page 1984

  14. [14]

    The maximum principle for semicontinuous func- tions,

    M. G. Crandall and H. Ishii, “The maximum principle for semicontinuous func- tions,”Differential and Integral Equations, vol. 3, no. 6, pp. 1001–1014, 1990

    work page 1990

  15. [15]

    Uniqueness of viscosity solutions of Hamilton-Jacobi equations revisited,

    M. G. Crandall, H. Ishii, and P.-L. Lions, “Uniqueness of viscosity solutions of Hamilton-Jacobi equations revisited,”J. Math. Soc. Japan, vol. 39, no. 4, pp. 581– 596, 1987

    work page 1987

  16. [16]

    User’s guide to viscosity solutions of second order partial differential equations.,

    M. G. Crandall, H. Ishii, and P.-L. Lions, “User’s guide to viscosity solutions of second order partial differential equations.,”Bull. Am. Math. Soc., New Ser., vol. 27, no. 1, pp. 1–67, 1992

    work page 1992

  17. [17]

    Viscosity solutions of Hamilton-Jacobi equa- tions,

    M. G. Crandall and P.-L. Lions, “Viscosity solutions of Hamilton-Jacobi equa- tions,”Trans. Amer. Math. Soc., vol. 277, no. 1, pp. 1–42, 1983

    work page 1983

  18. [18]

    Convex semigroups onLp-like spaces,

    R. Denk, M. Kupper, and M. Nendel, “Convex semigroups onLp-like spaces,”J. Evol. Equ., vol. 21, no. 2, pp. 2491–2521, 2021

    work page 2021

  19. [19]

    S. N. Ethier and T. G. Kurtz, Markov processes: Characterization and Conver- gence. Wiley, 1986, pp. x+534

    work page 1986

  20. [20]

    Fabbri, F

    G. Fabbri, F. Gozzi, and A. Swiech, Stochastic optimal control in infinite di- mension (Probability Theory and Stochastic Modelling). Springer, Cham, 2017, vol. 82, pp. xxiii+916, Dynamic programming and HJB equations, With a contri- bution by Marco Fuhrman and Gianmario Tessitore

    work page 2017

  21. [21]

    A new transportation distance between non-negative measures, with applications to gradients flows with dirichlet boundary conditions,

    A. Figalli and N. Gigli, “A new transportation distance between non-negative measures, with applications to gradients flows with dirichlet boundary conditions,” Journal de Mathématiques Pures et Appliquées, vol. 94, no. 2, pp. 107–130, 2010

    work page 2010

  22. [22]

    W. H. Fleming and H. M. Soner,Controlled Markov processes and viscosity solu- tions. 2nd ed.English, 2nd ed. New York, NY: Springer, 2006, pp. xvii + 428

    work page 2006

  23. [23]

    Lévy-type processes under uncertainty and related nonlocal equa- tions,

    J. Hollender, “Lévy-type processes under uncertainty and related nonlocal equa- tions,” Ph.D. dissertation, Technical University of Dresden, 2016

    work page 2016

  24. [24]

    Hörmander, The analysis of linear partial differential operators

    L. Hörmander, The analysis of linear partial differential operators. I(Classics in Mathematics). Springer-Verlag, Berlin, 2003, pp. x+440, Distribution theory and Fourieranalysis,Reprintofthesecond(1990)edition[Springer,Berlin;MR1065993 (91m:35001a)]

    work page 2003

  25. [25]

    G-Lévy processes under sublinear expectations,

    M. Hu and S. Peng, “G-Lévy processes under sublinear expectations,”Probability, Uncertainty and Quantitative Risk, vol. 6, no. 1, pp. 1–22, 2021

    work page 2021

  26. [26]

    Existence and uniqueness of solutions of Hamilton-Jacobi equations,

    H. Ishii, “Existence and uniqueness of solutions of Hamilton-Jacobi equations,” Funkcial. Ekvac., vol. 29, no. 2, pp. 167–188, 1986. 46 REFERENCES

    work page 1986

  27. [27]

    Uniqueness of unbounded viscosity solution of Hamilton-Jacobi equa- tions,

    H. Ishii, “Uniqueness of unbounded viscosity solution of Hamilton-Jacobi equa- tions,”Indiana Univ. Math. J., vol. 33, no. 5, pp. 721–748, 1984

    work page 1984

  28. [28]

    A uniqueness result for viscosity solutions of second order fully nonlinear partial differential equations,

    R. Jensen, P.-L. Lions, and P. E. Souganidis, “A uniqueness result for viscosity solutions of second order fully nonlinear partial differential equations,”Proceedings of the American Mathematical Society, vol. 102, no. 4, pp. 975–978, 1988

    work page 1988

  29. [29]

    Themaximumprincipleforviscositysolutionsoffullynonlinearsecond order partial differential equations,

    R.Jensen,“Themaximumprincipleforviscositysolutionsoffullynonlinearsecond order partial differential equations,”Archive for Rational Mechanics and Analysis, vol. 101, no. 1, pp. 1–27, 1988

    work page 1988

  30. [30]

    Lindvall, Lectures on the coupling method(Wiley Series in Probability and Mathematical Statistics: Probability and Mathematical Statistics)

    T. Lindvall, Lectures on the coupling method(Wiley Series in Probability and Mathematical Statistics: Probability and Mathematical Statistics). John Wiley & Sons, Inc., New York, 1992, pp. xiv+257, A Wiley-Interscience Publication

    work page 1992

  31. [31]

    Solutions de viscosité des équations de Hamilton-Jacobi du premier ordre et applications,

    P.-L. Lions, “Solutions de viscosité des équations de Hamilton-Jacobi du premier ordre et applications,” inGoulaouic-Meyer-Schwartz seminar, 1983–1984, École Polytech., Palaiseau, 1984, Exp. No. 6, 13

    work page 1983

  32. [32]

    Lower semicontinuity of monotone functionals in the mixed topology on Cb,

    M. Nendel, “Lower semicontinuity of monotone functionals in the mixed topology on Cb,” 2024. arXiv:2210.09133 [q-fin.MF]

    work page arXiv 2024

  33. [33]

    Bounded continuous functions on a completely regular space,

    F. D. Sentilles, “Bounded continuous functions on a completely regular space,” Trans. Amer. Math. Soc., vol. 168, pp. 311–336, 1972

    work page 1972

  34. [34]

    Optimal control with state-space constraint. II,

    H. M. Soner, “Optimal control with state-space constraint. II,”SIAM J. Control Optim., vol. 24, no. 6, pp. 1110–1122, 1986

    work page 1986

  35. [35]

    Spivak, A comprehensive introduction to differential geometry

    M. Spivak, A comprehensive introduction to differential geometry. Vol. One. M. Spivak,BrandeisUniv.,Waltham,MA,1970,iii+656pp.(notconsecutivelypaged) paperbound, Published by M. Spivak

    work page 1970

  36. [36]

    Springer-Verlag, Berlin-New York, 1979, vol

    D.W.StroockandS.R.S.Varadhan, Multidimensional diffusion processes(Grund- lehrenderMathematischenWissenschaften[FundamentalPrinciplesofMathemat- ical Sciences]). Springer-Verlag, Berlin-New York, 1979, vol. 233, pp. xii+338

    work page 1979

  37. [37]

    Thorisson, Coupling, stationarity, and regeneration

    H. Thorisson, Coupling, stationarity, and regeneration. Springer-Verlag, 2000

    work page 2000

  38. [38]

    Analytic extensions ofdifferentiable functions definedin closed sets,

    H. Whitney, “Analytic extensions ofdifferentiable functions definedin closed sets,” Trans. Amer. Math. Soc., vol. 36, no. 1, pp. 63–89, 1934

    work page 1934

  39. [39]

    Yong and X

    J. Yong and X. Y. Zhou,Stochastic controls(Applications of Mathematics (New York)). Springer-Verlag, New York, 1999, vol. 43, pp. xxii+438, Hamiltonian sys- tems and HJB equations. Delft Institute of Applied Mathematics, Delft University of Technology, The Nether- lands Email address: s.dellacorte@tudelft.nl Center for Mathematical Economics, Bielefeld Un...

    work page 1999