pith. sign in

arxiv: 2605.20593 · v1 · pith:IVMIZBWBnew · submitted 2026-05-20 · 🧮 math.OC · math.PR

Viscosity Solutions of Stochastic Hamilton--Jacobi--Bellman Equations with Jumps

Dunxiang Liang , Qingxin Meng This is my paper

Pith reviewed 2026-05-21 04:31 UTC · model grok-4.3

classification 🧮 math.OC math.PR
keywords viscosity solutionsHamilton-Jacobi-Bellman equationsjump-diffusionsuper-parabolicitycomparison principlestochastic control
0
0 comments X

The pith

Super-parabolicity ensures unique jump HJB viscosity solutions

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

This paper develops a stochastic viscosity solution framework for fully nonlinear backward stochastic Hamilton-Jacobi-Bellman equations arising from optimal control of jump-diffusion processes. It first establishes the dynamic programming principle using backward semigroups. Existence of solutions is obtained through the measurable selection theorem combined with the generalized Ito-Kunita formula. Under a super-parabolicity condition, a weak comparison principle is proved using localized bounding envelopes, which then yields global uniqueness by backward induction.

Core claim

Under a super-parabolicity condition, global uniqueness of stochastic viscosity solutions to the fully nonlinear BSHJB equations is proved via a weak comparison principle that employs localized bounding envelopes and backward induction, following the establishment of existence and the dynamic programming principle.

What carries the argument

The stochastic viscosity solution, defined using semimartingale test functions with global tangency conditions to handle non-local operators and polynomial growth.

Load-bearing premise

The super-parabolicity condition is required for the weak comparison principle and subsequent uniqueness proof; the localized envelopes and backward induction arguments depend on it.

What would settle it

Finding an explicit jump-diffusion control problem where two different functions both satisfy the stochastic viscosity solution definition and dynamic programming principle when super-parabolicity fails.

read the original abstract

This paper studies the stochastic optimal control of jump-diffusion processes and the associated fully nonlinear backward stochastic Hamilton--Jacobi--Bellman (BSHJB) equations. We establish the dynamic programming principle (DPP) via backward semigroups to characterize the value function. To handle non-local integro-differential operators and polynomial growth, we introduce a stochastic viscosity solution framework based on semimartingale test functions and global tangency conditions. Existence is proved using the measurable selection theorem and the generalized It\^o--Kunita formula. Finally, under a super-parabolicity condition, we establish a weak comparison principle and prove global uniqueness via localized bounding envelopes and backward induction.

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

Summary. The paper develops a stochastic viscosity solution theory for fully nonlinear backward stochastic Hamilton-Jacobi-Bellman equations associated with optimal control of jump-diffusion processes. It establishes the dynamic programming principle via backward semigroups, introduces a framework using semimartingale test functions and global tangency conditions to handle non-local integro-differential operators and polynomial growth, proves existence via the measurable selection theorem and generalized Itô-Kunita formula, and under a super-parabolicity condition (where the second-order operator dominates the jump integral term), establishes a weak comparison principle and global uniqueness via localized bounding envelopes constructed by penalization and backward induction over time partitions.

Significance. If the derivations hold, the work makes a substantive contribution to stochastic control theory by extending viscosity solution methods to jump-diffusion settings with non-local terms. The combination of measurable selection for existence, the generalized Itô-Kunita formula applied after verifying semimartingale tangency, and the backward-induction argument for uniqueness under super-parabolicity provides a coherent approach to global uniqueness that respects polynomial growth assumptions. These elements strengthen the applicability of viscosity techniques beyond standard diffusion cases.

major comments (2)
  1. [§3] §3 (definition of super-parabolicity): the condition is stated in terms of the second-order operator dominating the jump integral, but the manuscript does not explicitly verify that this holds uniformly for the Hamiltonian arising from the control problem when the jump measure has unbounded support; this verification is load-bearing for the applicability of the weak comparison principle in §5.
  2. [§5.2] §5.2 (localized bounding envelopes): the penalization function used to construct the envelopes is claimed to respect the polynomial growth assumption, yet the induction step does not quantify how the localization radius interacts with the jump intensity to prevent envelope blow-up at jump times; a concrete estimate here would strengthen the global uniqueness claim.
minor comments (3)
  1. [§4.1] The statement of the generalized Itô-Kunita formula in §4.1 should include an explicit reference to the semimartingale test-function class to clarify the tangency condition at contact points.
  2. [§2] Notation for the backward semigroup in the DPP proof (early in §2) is introduced without a dedicated symbol table; adding one would improve readability for readers unfamiliar with stochastic viscosity frameworks.
  3. [Figure 1] Figure 1 (schematic of the time-partition induction) has axis labels that are too small for print; enlarging them would aid clarity without altering content.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below and indicate where revisions will be made to strengthen the presentation.

read point-by-point responses

  1. Referee: [§3] §3 (definition of super-parabolicity): the condition is stated in terms of the second-order operator dominating the jump integral, but the manuscript does not explicitly verify that this holds uniformly for the Hamiltonian arising from the control problem when the jump measure has unbounded support; this verification is load-bearing for the applicability of the weak comparison principle in §5.

    Authors: We agree that an explicit verification is necessary to confirm the uniform applicability of super-parabolicity when the jump measure has unbounded support. In the revised manuscript we will add a remark (or short lemma) in §3 showing that, under the linear growth and Lipschitz assumptions on the coefficients together with compactness of the control set, the second-order diffusion term dominates the jump integral uniformly. The argument relies on moment bounds for the Lévy measure and the polynomial growth of the Hamiltonian; we will then invoke this verification explicitly when applying the weak comparison principle in §5. revision: yes

  2. Referee: [§5.2] §5.2 (localized bounding envelopes): the penalization function used to construct the envelopes is claimed to respect the polynomial growth assumption, yet the induction step does not quantify how the localization radius interacts with the jump intensity to prevent envelope blow-up at jump times; a concrete estimate here would strengthen the global uniqueness claim.

    Authors: We acknowledge the need for a quantitative estimate. In the revised §5.2 we will insert a concrete bound in the induction step: for a localization radius R chosen proportionally to the jump intensity λ and the time-partition size Δt, we show that the probability of jumps exceeding R is controlled by the Lévy measure tails, and that the penalization term, combined with super-parabolicity and the generalized Itô–Kunita formula, prevents the envelope from exceeding the prescribed polynomial growth at jump times. This estimate will be written out explicitly to support the global uniqueness result. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The derivation proceeds by establishing the dynamic programming principle via backward semigroups, defining a stochastic viscosity solution framework with semimartingale test functions and global tangency, proving existence via the measurable selection theorem and generalized Itô-Kunita formula, and obtaining uniqueness under the explicitly stated super-parabolicity assumption through localized bounding envelopes and backward induction. All load-bearing steps invoke external standard results (measurable selection, Itô-Kunita) or direct constructions respecting polynomial growth and non-local terms, without reducing any central claim to a self-definition, fitted parameter renamed as prediction, or self-citation chain. The super-parabolicity condition is an independent assumption enabling the comparison argument rather than a derived output.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard results from stochastic analysis together with the newly introduced solution concept; no free parameters or invented entities are indicated in the abstract.

axioms (2)
  • standard math Generalized Ito-Kunita formula for semimartingales with jumps
    Invoked to prove existence of viscosity solutions.
  • standard math Measurable selection theorem
    Used to select controls in the existence argument.

pith-pipeline@v0.9.0 · 5637 in / 1318 out tokens · 37971 ms · 2026-05-21T04:31:39.965813+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

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

  1. [1]

    M. G. Garroni and J.-L. Menaldi,Second Order Elliptic Integro-Differential Problems, Chap- man & Hall/CRC, Boca Raton, FL, 1992

    work page 1992

  2. [2]

    Buckdahn and J

    R. Buckdahn and J. Ma,Stochastic viscosity solutions for nonlinear stochastic partial differ- ential equations. Part I, Stochastic Process. Appl., 93 (2001), pp. 181–204

    work page 2001

  3. [3]

    Buckdahn and J

    R. Buckdahn and J. Ma,Stochastic viscosity solutions for nonlinear stochastic partial differ- ential equations. Part II, Stochastic Process. Appl., 93 (2001), pp. 205–228

    work page 2001

  4. [4]

    Buckdahn and J

    R. Buckdahn and J. Ma,Pathwise stochastic Taylor expansions and stochastic viscosity solu- tions for fully nonlinear stochastic PDEs, Ann. Probab., 30 (2002), pp. 1131–1171

    work page 2002

  5. [5]

    Buckdahn and J

    R. Buckdahn and J. Ma,Pathwise stochastic control problems and stochastic HJB equations, SIAM J. Control Optim., 45 (2007), pp. 2224–2256

    work page 2007

  6. [6]

    Buckdahn, C

    R. Buckdahn, C. Keller, J. Ma, and J. Zhang,Fully nonlinear stochastic and rough PDEs: Classical and viscosity solutions, Probab. Uncertain. Quant. Risk, 5 (2020), Paper No. 7, 59 pp

    work page 2020

  7. [7]

    V. E. Beneš,Existence of optimal strategies based on specified information, for a class of stochastic decision problems, SIAM J. Control, 8 (1970), pp. 179–188

    work page 1970

  8. [8]

    Chen and S

    S. Chen and S. Tang,Semi-linear backward stochastic integral partial differential equations driven by a Brownian motion and a Poisson point process, Stochastic Process. Appl., 121 (2011), pp. 846–867

    work page 2011

  9. [9]

    M.G.CrandallandP.-L.Lions,Viscosity solutions of Hamilton–Jacobi equations, Trans.Amer. Math. Soc., 277 (1983), pp. 1–42

    work page 1983

  10. [10]

    M. G. Crandall, H. Ishii, and P.-L. Lions,User’s guide to viscosity solutions of second order partial differential equations, Bull. Amer. Math. Soc. (N.S.), 27 (1992), pp. 1–67

    work page 1992

  11. [11]

    Ekren, N

    I. Ekren, N. Touzi, and J. Zhang,Viscosity solutions of fully nonlinear parabolic path dependent PDEs: Part I, Ann. Probab., 44 (2016), pp. 1212–1253

    work page 2016

  12. [12]

    Ekren, N

    I. Ekren, N. Touzi, and J. Zhang,Viscosity solutions of fully nonlinear parabolic path dependent PDEs: Part II, Ann. Probab., 44 (2016), pp. 2507–2553

    work page 2016

  13. [13]

    Ekren and J

    I. Ekren and J. Zhang,Pseudo-Markovian viscosity solutions of fully nonlinear degenerate PPDEs, Probab. Uncertain. Quant. Risk, 1 (2016), Paper No. 10

    work page 2016

  14. [14]

    Li and S

    J. Li and S. Peng,Stochastic optimization theory of backward stochastic differential equations with jumps and viscosity solutions of Hamilton–Jacobi–Bellman equations, NonlinearAnal. Theory Methods Appl. Ser. A Theory Methods, 70 (2009), pp. 1776–1796

    work page 2009

  15. [15]

    Ma and J

    J. Ma and J. Yong,Forward-Backward Stochastic Differential Equations and Their Applica- tions, Lecture Notes in Math. 1702, Springer-Verlag, Berlin, 1999

    work page 1999

  16. [16]

    Ma and J

    J. Ma and J. Yong,Forward-Backward Stochastic Differential Equations and Their Applica- tions, Corr. 3rd printing, Springer, Berlin, 2007

    work page 2007

  17. [17]

    Q. Meng, Y. Dong, Y. Shen, and S. Tang,Optimal controls of stochastic differential equations with jumps and random coefficients: Stochastic Hamilton–Jacobi–Bellman equations with jumps, Appl. Math. Optim., 87 (2023), Paper No. 3, 51 pp

    work page 2023

  18. [18]

    Pardoux and S

    E. Pardoux and S. Peng,Adapted solution of a backward stochastic differential equation, Sys- tems Control Lett., 14 (1990), pp. 55–61

    work page 1990

  19. [19]

    Peng,Stochastic Hamilton–Jacobi–Bellman equations, SIAM J

    S. Peng,Stochastic Hamilton–Jacobi–Bellman equations, SIAM J. Control Optim., 30 (1992), pp. 284–304

    work page 1992

  20. [20]

    Peng,Backward stochastic differential equations–stochastic optimization theory and viscosity solutions of HJB equations(in Chinese), in Topics on Stochastic Analysis, J

    S. Peng,Backward stochastic differential equations–stochastic optimization theory and viscosity solutions of HJB equations(in Chinese), in Topics on Stochastic Analysis, J. Yan et al., eds., Science Press, Beijing, 1997, pp. 85–138

    work page 1997

  21. [21]

    Qiu,Viscosity solutions of stochastic Hamilton–Jacobi–Bellman equations, SIAM J

    J. Qiu,Viscosity solutions of stochastic Hamilton–Jacobi–Bellman equations, SIAM J. Control Optim., 56 (2018), pp. 3708–3730

    work page 2018

  22. [22]

    Qiu and W

    J. Qiu and W. Wei,Uniqueness of viscosity solutions of stochastic Hamilton–Jacobi equations, Acta Math. Sci. Ser. B Engl. Ed., 39 (2019), pp. 999–1015

    work page 2019

  23. [23]

    Qiu and J

    J. Qiu and J. Zhang,Stochastic differential games with random coefficients and stochastic Hamilton–Jacobi–Bellman–Isaacs equations, Ann. Appl. Probab., 33 (2023), pp. 889–930

    work page 2023

  24. [24]

    Path-Dependent Optimal Stochastic Control and Viscosity Solution of Associated Bellman Equations

    S. Tang and F. Zhang,Path-dependent optimal stochastic control and associated Bellman equa- tions: a viscosity solution approach, arXiv:1210.2078 (2012, revised 2013)

    work page internal anchor Pith review Pith/arXiv arXiv 2078

  25. [25]

    Tang and J

    S. Tang and J. Zhou,Viscosity solutions of second order path-dependent partial differential equations and applications, arXiv:2405.06309 (2024)

    work page arXiv 2024

  26. [26]

    Tang and J

    S. Tang and J. Zhou,Optimal control of unbounded stochastic evolution systems in Hilbert spaces, arXiv:2602.07793 (2026)

    work page arXiv 2026

  27. [27]

    Zhou,Viscosity solutions to second order path-dependent Hamilton–Jacobi–Bellman equa- tions and applications, Ann

    J. Zhou,Viscosity solutions to second order path-dependent Hamilton–Jacobi–Bellman equa- tions and applications, Ann. Appl. Probab., 33 (2023), pp. 5564–5612. (arXiv:2005.05309, 2020, revised 2022) VISCOSITY SOLUTIONS OF STOCHASTIC HJB EQUATIONS31

    work page arXiv 2023

  28. [28]

    J. Zhou, N. Touzi, and J. Zhang,Viscosity solutions for HJB equations on the process space: application to mean field control with common noise, arXiv:2401.04920 (2024)

    work page arXiv 2024