Convergence of infinitesimal generators and stability of convex monotone semigroups
Pith reviewed 2026-05-24 08:30 UTC · model grok-4.3
The pith
Convergence of infinitesimal generators in the mixed topology implies stability of convex monotone semigroups.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Based on the convergence of their infinitesimal generators in the mixed topology, the paper provides a stability result for strongly continuous convex monotone semigroups on spaces of continuous functions. The result relies on a comparison principle that uniquely determines the semigroup via its Γ-generator on the Lipschitz set, resembling the classical linear analogue.
What carries the argument
The Γ-generator defined on the Lipschitz set, which with the comparison principle uniquely identifies the semigroup and transfers generator convergence to semigroup convergence.
If this is right
- Stability holds for Euler schemes and Yosida-type approximations of upper envelopes of linear semigroups.
- Finite-difference schemes for convex HJB equations inherit stability from generator convergence.
- Freidlin-Wentzell-type large-deviation results and Markov chain approximations are stable for a class of stochastic optimal control problems.
- Continuous-time Markov processes with uncertain transition probabilities admit stability statements under the same generator condition.
Where Pith is reading between the lines
- The generator-convergence approach could extend to other classes of nonlinear semigroups once an analogous comparison principle is available.
- In applications, verifying mixed-topology convergence of generators for concrete discretizations would directly certify the corresponding semigroup approximations.
- The method may connect to monotone-operator theory by treating the Γ-generator as a nonlinear analogue of the classical generator.
Load-bearing premise
The comparison principle must hold so that the Γ-generator on the Lipschitz set uniquely determines the semigroup.
What would settle it
A pair of distinct convex monotone semigroups whose generators converge in the mixed topology but whose semigroups themselves fail to converge would falsify the stability claim.
read the original abstract
Based on the convergence of their infinitesimal generators in the mixed topology, we provide a stability result for strongly continuous convex monotone semigroups on spaces of continuous functions. In contrast to previous results, we do not rely on the theory of viscosity solutions but use a recent comparison principle which uniquely determines the semigroup via its $\Gamma$-generator defined on the Lipschitz set and therefore resembles the classical analogue from the linear case. The framework also allows for discretizations both in time and space and covers a variety of applications. This includes Euler schemes and Yosida-type approximations for upper envelopes of families of linear semigroups, stability results and finite-difference schemes for convex HJB equations, Freidlin-Wentzell-type results and Markov chain approximations for a class of stochastic optimal control problems and continuous-time Markov processes with uncertain transition probabilities.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper establishes a stability result for strongly continuous convex monotone semigroups on spaces of continuous functions, obtained from convergence of their infinitesimal generators (specifically Γ-generators) in the mixed topology. It replaces viscosity solution theory with a recent comparison principle that uniquely determines the semigroup from its Γ-generator on the Lipschitz set, thereby mirroring the classical linear case more directly. The framework is shown to accommodate time and space discretizations and is applied to Euler schemes, Yosida approximations for upper envelopes of linear semigroups, finite-difference schemes for convex HJB equations, Freidlin-Wentzell-type results, and Markov chain approximations for stochastic optimal control and processes with uncertain transitions.
Significance. If the central claims hold, the result supplies a direct, comparison-principle-based route to semigroup stability that parallels the linear theory and avoids the technical overhead of viscosity solutions. The explicit coverage of both continuous and discrete approximations, together with concrete applications to HJB equations and stochastic control, indicates that the framework can support numerical analysis and approximation theory in nonlinear settings. The parameter-free character of the comparison principle (as described) and the absence of ad-hoc fitting strengthen the result's generality.
minor comments (3)
- [Abstract / Introduction] The abstract and introduction should explicitly recall the definition of the mixed topology and the precise domain of the Γ-generator (Lipschitz set) to make the comparison with the linear case immediate for readers outside the immediate subfield.
- [Applications] In the applications section, each discretization (Euler, Yosida, finite-difference, Markov chain) should contain a one-sentence pointer back to the precise hypothesis of the main stability theorem that is being verified.
- [Preliminaries] Notation for the space of continuous functions (e.g., whether bounded or unbounded, topology) should be fixed at first use and used consistently thereafter.
Simulated Author's Rebuttal
We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No specific major comments appear in the report, so we have no point-by-point responses to provide. We remain available to incorporate any minor editorial changes the editor may request.
Circularity Check
No significant circularity; stability follows from external comparison principle
full rationale
The derivation proceeds from convergence of infinitesimal generators in the mixed topology to semigroup stability. The key uniqueness device is an external recent comparison principle that pins down the semigroup via its Γ-generator on the Lipschitz set; this is invoked as an independent input rather than derived or fitted inside the paper. No self-definitional equations, fitted inputs renamed as predictions, or load-bearing self-citation chains appear. The abstract and structure treat the comparison principle as a black-box external fact analogous to the linear case, leaving the generator-convergence step as the novel contribution with independent content.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Semigroups under consideration are strongly continuous, convex, and monotone on spaces of continuous functions.
- domain assumption A recent comparison principle uniquely determines the semigroup via its Γ-generator on the Lipschitz set.
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
use a recent comparison principle which uniquely determines the semigroup via its Γ-generator defined on the Lipschitz set
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
stability result for strongly continuous convex monotone semigroups on spaces of continuous functions
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.
Forward citations
Cited by 1 Pith paper
-
An optimal transport foundation for a class of dynamically consistent risk measures
Dynamically consistent risk measures are constructed via optimal transport penalizations of transition laws, yielding generators that are first-order convex Hamiltonians on gradients under linear scaling or second-ord...
Reference graph
Works this paper leans on
-
[1]
G. Barles and E. R. Jakobsen. Error bounds for monotone ap proximation schemes for Hamilton- Jacobi-Bellman equations. SIAM J. Numer. Anal. , 43(2):540–558, 2005
work page 2005
-
[2]
G. Barles and E. R. Jakobsen. Error bounds for monotone ap proximation schemes for parabolic Hamilton-Jacobi-Bellman equations. Math. Comp. , 76(260):1861–1893, 2007
work page 2007
-
[3]
G. Barles and P. E. Souganidis. Convergence of approxima tion schemes for fully nonlinear second order equations. Asymptotic Anal. , 4(3):271–283, 1991
work page 1991
-
[4]
E. N. Barron and R. Jensen. Semicontinuous viscosity sol utions for Hamilton-Jacobi equations with convex Hamiltonians. Comm. Partial Differential Equations , 15(12):1713–1742, 1990
work page 1990
-
[5]
E. N. Barron and R. Jensen. Optimal control and semiconti nuous viscosity solutions. Proc. Amer. Math. Soc. , 113(2):397–402, 1991
work page 1991
- [6]
- [7]
- [8]
-
[9]
J. Blanchet and K. Murthy. Quantifying distributional m odel risk via optimal transport. Math. Oper. Res., 44(2):565–600, 2019
work page 2019
-
[10]
J. Blessing, R. Denk, M. Kupper, and M. Nendel. Convex mo notone semigroups and their gener- ators with respect to Γ-convergence. Preprint arXiv:2202.08653, 2022
-
[11]
J. Blessing and M. Kupper. Nonlinear semigroups and lim it theorems for convex expectations. Preprint arXiv:2210.14096, 2022
-
[12]
J. Blessing and M. Kupper. Nonlinear semigroups built o n generating families and their Lipschitz sets. To appear in Potential Analysis , 2022+. 50 STABILITY OF CONVEX MONOTONE SEMIGROUPS
work page 2022
-
[13]
J. F. Bonnans and H. Zidani. Consistency of generalized finite difference schemes for the stochastic HJB equation. SIAM J. Numer. Anal. , 41(3):1008–1021, 2003
work page 2003
-
[14]
H. Brézis and A. Pazy. Convergence and approximation of semigroups of nonlinear operators in Banach spaces. J. Functional Analysis , 9:63–74, 1972
work page 1972
- [15]
- [16]
-
[17]
C. Budde and B. Farkas. Intermediate and extrapolated s paces for bi-continuous semigroups. Journal of Evolution Equations , pages 321–359, 2019
work page 2019
-
[18]
L. A. Caffarelli and P. E. Souganidis. A rate of convergen ce for monotone finite difference ap- proximations to fully nonlinear, uniformly elliptic PDEs. Comm. Pure Appl. Math. , 61(1):1–17, 2008
work page 2008
-
[19]
S. Cerrai. A Hille-Yosida theorem for weakly continuou s semigroups. Semigroup Forum, 49(3):349– 367, 1994
work page 1994
-
[20]
Z. Chen and J. Xiong. Large deviation principle for diffu sion processes under a sublinear expecta- tion. Sci. China Math. , 55(11):2205–2216, 2012
work page 2012
-
[21]
P. Cheridito, H. M. Soner, N. Touzi, and N. Victoir. Seco nd-order backward stochastic differential equations and fully nonlinear parabolic PDEs. Comm. Pure Appl. Math. , 60(7):1081–1110, 2007
work page 2007
-
[22]
P. R. Chernoff. Note on product formulas for operator sem igroups. J. Functional Analysis , 2:238– 242, 1968
work page 1968
-
[23]
P. R. Chernoff. Product formulas, nonlinear semigroups, and addition of un bounded operators, volume 140. American Mathematical Soc., 1974
work page 1974
- [24]
-
[25]
M. G. Crandall, H. Ishii, and P.-L. Lions. User’s guide t o viscosity solutions of second order partial differential equations. Bull. Amer. Math. Soc. (N.S.) , 27(1):1–67, 1992
work page 1992
-
[26]
M. G. Crandall and T. M. Liggett. Generation of semi-gro ups of nonlinear transformations on general Banach spaces. Amer. J. Math. , 93:265–298, 1971
work page 1971
-
[27]
M. G. Crandall and P.-L. Lions. Viscosity solutions of H amilton-Jacobi equations. Trans. Amer. Math. Soc. , 277(1):1–42, 1983
work page 1983
-
[28]
D. Criens and L. Niemann. Nonlinear continuous semimar tingales. Preprint arXiv:2204.07823 , 2022
-
[29]
A. Dembo and O. Zeitouni. Large deviations techniques and applications , volume 38 of Stochastic Modelling and Applied Probability . Springer-Verlag, Berlin, 2010. Corrected reprint of the s econd (1998) edition
work page 2010
-
[30]
R. Denk, M. Kupper, and M. Nendel. A semigroup approach t o nonlinear Lévy processes. Stochastic Process. Appl., 130:1616–1642, 2020
work page 2020
-
[31]
R. Denk, M. Kupper, and M. Nendel. Convex semigroups on l attices of continuous functions. To appear in Publ. Res. Inst. Math. Sci. , 2021+
work page 2021
-
[32]
P. Dupuis and R. S. Ellis. A weak convergence approach to the theory of large deviation s. Wiley Series in Probability and Statistics: Probability and Stat istics. John Wiley & Sons, Inc., New York, 1997. A Wiley-Interscience Publication
work page 1997
-
[33]
P. Dupuis and H. J. Kushner. Numerical methods for stochastic control problems in conti nuous time, volume 24 of Applications of Mathematics (New York) . Springer-Verlag, New York, second edition, 2001. Stochastic Modelling and Applied Probabili ty
work page 2001
-
[34]
N. El Karoui, S. Peng, and M. C. Quenez. Backward stochas tic differential equations in finance. Math. Finance, 7(1):1–71, 1997
work page 1997
-
[35]
S. N. Ethier and T. G. Kurtz. Markov processes: Characterization and convergence . Wiley Series in Probability and Mathematical Statistics: Probability a nd Mathematical Statistics. John Wiley & Sons, Inc., New York, 1986
work page 1986
-
[36]
L. C. Evans. Nonlinear semigroup theory and viscosity s olutions of Hamilton-Jacobi PDE. In Non- linear semigroups, partial differential equations and attr actors (Washington, D.C., 1985) , volume 1248 of Lecture Notes in Math. , pages 63–77. Springer, Berlin, 1987
work page 1985
- [37]
-
[38]
J. Feng. Large deviation for diffusions and Hamilton-Ja cobi equation in Hilbert spaces. Ann. Probab., 34(1):321–385, 2006
work page 2006
-
[39]
J. Feng, J.-P. Fouque, and R. Kumar. Small-time asympto tics for fast mean-reverting stochastic volatility models. Ann. Appl. Probab. , 22(4):1541–1575, 2012
work page 2012
-
[40]
J. Feng and T. G. Kurtz. Large deviations for stochastic processes , volume 131 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, 2006
work page 2006
-
[41]
W. H. Fleming and H. M. Soner. Controlled Markov processes and viscosity solutions , volume 25 of Stochastic Modelling and Applied Probability . Springer, New York, second edition, 2006
work page 2006
-
[42]
H. Frankowska. Lower semicontinuous solutions of Hami lton-Jacobi-Bellman equations. SIAM J. Control Optim. , 31(1):257–272, 1993
work page 1993
-
[43]
M. I. Freidlin and A. D. Wentzell. Random perturbations of dynamical systems , volume 260 of Grundlehren der mathematischen Wissenschaften [Fundamen tal Principles of Mathematical Sci- ences]. Springer, Heidelberg, third edition, 2012. Translated fr om the 1979 Russian original by Joseph Szücs
work page 2012
-
[44]
D. H. Fremlin, D. J. H. Garling, and R. G. Haydon. Bounded measures on topological spaces. Proc. London Math. Soc. (3) , 25:115–136, 1972
work page 1972
-
[45]
S. Fuhrmann, M. Kupper, and M. Nendel. Wasserstein pert urbations of Markovian transition semigroups. Ann. Inst. Henri Poincaré Probab. Stat. , 59(2):904–932, 2023
work page 2023
- [46]
- [47]
-
[48]
X. Geng, Z. Qian, and D. Yang. G-Brownian motion as rough paths and differential equations driven by G-Brownian motion. In Séminaire de Probabilités XL VI , volume 2123 of Lecture Notes in Math. , pages 125–193. Springer, Cham, 2014
work page 2014
- [49]
-
[50]
M. Hu, X. Ji, and G. Liu. On the strong Markov property for stochastic differential equations driven by G-Brownian motion. Stochastic Process. Appl. , 131:417–453, 2021
work page 2021
- [51]
- [52]
-
[53]
E. R. Jakobsen, A. Picarelli, and C. Reisinger. Improve d order 1/4 convergence for piecewise con- stant policy approximation of stochastic control problems . Electron. Commun. Probab. , 24:Paper No. 59, 10, 2019
work page 2019
-
[54]
N. Kazi-Tani, D. Possamaï, and C. Zhou. Second order BSD Es with jumps: existence and proba- bilistic representation for fully-nonlinear PIDEs. Electron. J. Probab. , 20:1–31, 2015
work page 2015
-
[55]
R. P. Kertz. Perturbed semigroup limit theorems with ap plications to discontinuous random evo- lutions. Trans. Amer. Math. Soc. , 199:29–53, 1974
work page 1974
-
[56]
R. P. Kertz. Limit theorems for semigroups with perturb ed generators, with applications to mul- tiscaled random evolutions. J. Functional Analysis , 27(2):215–233, 1978
work page 1978
-
[57]
R. C. Kraaij. Gamma convergence on path-spaces via conv ergence of viscosity solutions of Hamilton–Jacobi equations. Preprint arXiv: 1905.08785 , 2019
work page internal anchor Pith review Pith/arXiv arXiv 1905
-
[58]
R. C. Kraaij. A general convergence result for viscosit y solutions of Hamilton-Jacobi equations and non-linear semigroups. J. Funct. Anal. , 282(5):Paper No. 109346, 55, 2022
work page 2022
-
[59]
T. Krak, J. De Bock, and A. Siebes. Imprecise continuous -time Markov chains. Internat. J. Approx. Reason., 88:452–528, 2017
work page 2017
-
[60]
N. V. Krylov. Approximating value functions for contro lled degenerate diffusion processes by using piece-wise constant policies. Electron. J. Probab. , 4:no. 2, 19, 1999
work page 1999
-
[61]
N. V. Krylov. On the rate of convergence of finite-differe nce approximations for Bellman’s equations with variable coefficients. Probab. Theory Related Fields , 117(1):1–16, 2000
work page 2000
-
[62]
N. V. Krylov. The rate of convergence of finite-differenc e approximations for Bellman equations with Lipschitz coefficients. Appl. Math. Optim. , 52(3):365–399, 2005
work page 2005
-
[63]
F. Kühn. Viscosity solutions to Hamilton-Jacobi-Bell man equations associated with sublinear Lévy(-type) processes. ALEA Lat. Am. J. Probab. Math. Stat. , 16(1):531–559, 2019
work page 2019
- [64]
-
[65]
M. Kunze. Continuity and equicontinuity of semigroups on norming dual pairs. Semigroup Forum, 79(3):540–560, 2009
work page 2009
-
[66]
T. G. Kurtz. A general theorem on the convergence of oper ator semigroups. Trans. Amer. Math. Soc., 148:23–32, 1970
work page 1970
-
[67]
T. G. Kurtz. Convergence of sequences of semigroups of n onlinear operators with an application to gas kinetics. Trans. Amer. Math. Soc. , 186:259–272 (1974), 1973
work page 1974
-
[68]
T. G. Kurtz. Semigroups of conditioned shifts and appro ximation of Markov processes. Ann. Probability, 3(4):618–642, 1975
work page 1975
-
[69]
P. Mohajerin Esfahani and D. Kuhn. Data-driven distrib utionally robust optimization using the Wasserstein metric: performance guarantees and tractable reformulations. Math. Program., 171(1- 2, Ser. A):115–166, 2018
work page 2018
- [70]
-
[71]
M. Nendel and M. Röckner. Upper envelopes of families of Feller semigroups and viscosity solutions to a class of nonlinear Cauchy problems. SIAM Journal on Control and Optimization , 59(6):4400– 4428, 2021
work page 2021
-
[72]
A. Neufeld and M. Nutz. Nonlinear Lévy processes and the ir characteristics. Trans. Amer. Math. Soc., 369(1):69–95, 2017
work page 2017
-
[73]
M. Nisio. On a non-linear semi-group attached to stocha stic optimal control. Publ. Res. Inst. Math. Sci., 12(2):513–537, 1976/77
work page 1976
-
[74]
A. Papapantoleon, D. Possamaï, and A. Saplaouras. Stab ility of backward stochastic differential equations: the general Lipschitz case. Electron. J. Probab. , 28:Paper No. 51, 56, 2023
work page 2023
-
[75]
A. Pazy. Semigroups of linear operators and applications to partial differential equations, volume 44 of Applied Mathematical Sciences . Springer-Verlag, New York, 1983
work page 1983
-
[76]
S. Peng. Multi-dimensional G-Brownian motion and related stochastic calculus under G- expectation. Stochastic Process. Appl. , 118(12):2223–2253, 2008
work page 2008
-
[77]
S. Peng. Nonlinear expectations and stochastic calculus under unce rtainty, volume 95 of Probabil- ity Theory and Stochastic Modelling . Springer, Berlin, 2019. With robust CLT and G-Brownian motion
work page 2019
-
[78]
L. Popovic. Large deviations of Markov chains with mult iple time-scales. Stochastic Process. Appl., 129(9):3319–3359, 2019
work page 2019
-
[79]
F. D. Sentilles. Bounded continuous functions on a comp letely regular space. Trans. Amer. Math. Soc., 168:311–336, 1972
work page 1972
-
[80]
H. M. Soner, N. Touzi, and J. Zhang. Wellposedness of sec ond order backward SDEs. Probab. Theory Related Fields , 153(1-2):149–190, 2012
work page 2012
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.