Recognition: no theorem link
Dividend ratcheting and capital injection under the Cram\'er-Lundberg model: Strong solution and optimal strategy
Pith reviewed 2026-05-10 19:53 UTC · model grok-4.3
The pith
Discretization of dividend rates produces the first strong solution to the HJB variational inequality for ratcheting dividends with capital injections under the Cramér-Lundberg model.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The authors prove existence and uniqueness of a strong solution to the Hamilton-Jacobi-Bellman partial integro-differential variational inequality that governs the dividend ratcheting problem with proportional capital injections. They obtain this regularity by discretizing the admissible dividend-rate space, building a sequence of regime-switching systems of ordinary integro-differential equations, deriving uniform a priori estimates, and passing to the limit. The strong solution in turn characterizes the optimal dividend policy through a switching free boundary and yields an explicit optimal feedback control.
What carries the argument
Discretization of the admissible dividend-rate space into a sequence of regime-switching ordinary integro-differential equations whose limit furnishes the strong solution to the original variational inequality.
If this is right
- The optimal dividend rate is a feedback control that switches at a free boundary determined by the strong solution.
- The value function coincides with the strong solution and therefore satisfies the variational inequality pointwise.
- Capital injections occur only when the surplus hits zero and at a fixed proportional rate.
- The same discretization-plus-limit technique applies to other stochastic control problems whose controls enter as gradient constraints.
- Explicit implementable strategies become available for insurance companies facing ratcheting rules and injection costs.
Where Pith is reading between the lines
- The method could be adapted to models with more general Lévy processes by replacing the compound Poisson integral with the corresponding generator.
- Practical computation of near-optimal policies might begin by solving the finite regime-switching systems for successively finer grids.
- The existence of a strong solution suggests that similar path-dependent insurance problems may admit classical rather than merely viscosity solutions.
Load-bearing premise
The sequence of discretized solutions converges in the appropriate function space to a limit that satisfies both the integro-differential equation and the gradient constraint of the original problem.
What would settle it
Numerical evidence that the solutions of the discretized regime-switching systems fail to converge in the required Sobolev or Hölder space as the discretization mesh is refined.
read the original abstract
We consider an optimal dividend payout problem for an insurance company whose surplus follows the classical Cram\'er-Lundberg model. The dividend rate is subject to a ratcheting constraint (i.e., it must be nondecreasing over time), and the company may inject capital at a proportional cost to avoid ruin. This problem gives rise to a stochastic control problem with a self-path-dependent control constraint, costly capital injections, and jump-diffusion dynamics. The associated Hamilton-Jacobi-Bellman (HJB) equation is a partial integro-differential variational inequality featuring both a nonlocal integral term and a gradient constraint. We develop a systematic probabilistic and PDE-based approach to solve this HJB equation. By discretizing the space of admissible dividend rates, we construct a sequence of approximating regime-switching systems of ordinary integro-differential equations. Through careful a priori estimates and a limiting argument, we prove the existence and uniqueness of a \emph{strong solution} in a suitable space. This regularity result is fundamental: it allows us to characterize the optimal dividend policy via a switching free boundary and to construct an explicit optimal feedback control strategy. To the best of our knowledge, this is the first complete solution -- comprising both the value function and an implementable optimal strategy -- for a dividend ratcheting problem with capital injection under the Cram\'er-Lundberg model. Our work advances the mathematical theory of optimal stochastic control beyond the standard viscosity solution framework, providing a rigorous foundation for dividend policy design in economics.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript solves an optimal dividend problem with nondecreasing ratcheting constraint and proportional-cost capital injections for a Cramér-Lundberg surplus process. It constructs a sequence of regime-switching integro-differential approximations by discretizing the admissible dividend-rate space, derives a priori estimates, passes to the limit to obtain a strong solution of the gradient-constrained partial integro-differential variational inequality, and uses the resulting regularity to characterize the optimal policy via a switching free boundary and an explicit feedback control.
Significance. If the uniformity of the estimates and the strong convergence hold, the work supplies the first explicit, implementable optimal strategy together with a strong-solution characterization for this class of path-dependent dividend problems, moving the literature beyond viscosity solutions in insurance stochastic control.
major comments (2)
- [Section 4 (limiting procedure and a priori estimates)] The central existence/uniqueness claim rests on the limiting argument after discretization. The manuscript must supply a self-contained verification that the a priori estimates (bounds on the value function, its derivatives, and the integral term) remain uniform in the discretization parameter; without this, it is unclear whether the limit satisfies the original variational inequality in the strong sense rather than only weakly or in the viscosity sense.
- [Theorem 4.3 and the subsequent verification argument] The passage to the limit must be shown to preserve the gradient constraint in the strong sense. The current outline leaves open whether the limiting process satisfies the complementarity condition pointwise almost everywhere or only in a weaker integral sense; this directly affects the claimed switching free-boundary characterization of the optimal strategy.
minor comments (2)
- [Section 3.1] The notation for the discretized dividend-rate grid and the associated regime index should be introduced once and used consistently; occasional reuse of the same symbol for the continuous and discrete controls creates ambiguity in the estimates.
- [Section 4] A short table summarizing the dependence of the constants in the a priori estimates on the model parameters (claim intensity, cost of injection, etc.) would improve readability.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments on our manuscript. The major comments focus on the details of the limiting procedure and the strong sense in which the gradient constraint is preserved. We address these points below and will incorporate clarifications into the revised version to strengthen the exposition of the a priori estimates and the passage to the limit.
read point-by-point responses
-
Referee: [Section 4 (limiting procedure and a priori estimates)] The central existence/uniqueness claim rests on the limiting argument after discretization. The manuscript must supply a self-contained verification that the a priori estimates (bounds on the value function, its derivatives, and the integral term) remain uniform in the discretization parameter; without this, it is unclear whether the limit satisfies the original variational inequality in the strong sense rather than only weakly or in the viscosity sense.
Authors: We thank the referee for highlighting this point. The a priori estimates in Section 4 are in fact derived uniformly in the discretization parameter n: the bounds on the value function, its first and second derivatives, and the nonlocal integral term depend only on the model primitives (claim intensity, premium rate, discount factor, and injection cost) and on the uniform Lipschitz constants of the running payoff, independent of n. To make this self-contained, we will add an explicit lemma (new Lemma 4.2) that tracks the constants through the estimates for the regime-switching approximations and verifies uniformity before passing to the limit. This will confirm that the limiting function satisfies the variational inequality in the strong sense. revision: yes
-
Referee: [Theorem 4.3 and the subsequent verification argument] The passage to the limit must be shown to preserve the gradient constraint in the strong sense. The current outline leaves open whether the limiting process satisfies the complementarity condition pointwise almost everywhere or only in a weaker integral sense; this directly affects the claimed switching free-boundary characterization of the optimal strategy.
Authors: We agree that the current outline of the verification argument in Theorem 4.3 could be more explicit on this point. Each approximating solution satisfies the gradient constraint pointwise. Uniform convergence of the derivatives (guaranteed by the a priori estimates) passes the constraint to the limit almost everywhere. The complementarity condition is obtained by passing to the limit in the integral form of the variational inequality; the passage is justified by dominated convergence, which holds because of the integrability supplied by the uniform bounds. We will revise the proof of Theorem 4.3 to include an additional step that explicitly invokes the continuity of the limiting functions to conclude that complementarity holds pointwise a.e., thereby supporting the switching free-boundary characterization of the optimal strategy. revision: yes
Circularity Check
No circularity: derivation uses independent discretization, a priori estimates, and limit passage.
full rationale
The paper constructs approximating regime-switching integro-differential equations by discretizing the admissible dividend-rate space, obtains uniform a priori estimates, and passes to the limit to establish existence/uniqueness of a strong solution to the original gradient-constrained PIDE variational inequality. This is a self-contained approximation argument relying on standard probabilistic/PDE techniques; the resulting strong solution then directly yields the switching free-boundary characterization and explicit feedback control. No step reduces by definition to its inputs, no fitted parameters are relabeled as predictions, and no load-bearing uniqueness or ansatz is imported via self-citation. The central claim therefore stands on independent mathematical content rather than tautology.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Surplus process follows the classical Cramér-Lundberg model.
Reference graph
Works this paper leans on
-
[1]
H. Albrecher, P. Azcue, and N. Muler,Optimal ratcheting of dividends in insurance, SIAM J. Control Optim., 58 (2020), pp. 1822–1845
work page 2020
-
[2]
H. Albrecher, P. Azcue, and N. Muler,Optimal ratcheting of dividends in a Brownian risk model, SIAM J. Financial Math., 13 (2022), pp. 657–701
work page 2022
-
[3]
S. Asmussen and M. Taksar,Controlled diffusion models for optimal dividend payout, Insurance Math. Econom., 20 (1997), pp. 1–15
work page 1997
-
[4]
B. De Finetti,Su un’impostazione alternativa della teoria collettiva del rischio, in Transactions of the XVth International Congress of Actuaries, Vol. 2, New York, 1957, pp. 433–443
work page 1957
-
[5]
H. U. Gerber,Entscheidungskriterien f¨ ur den zusammengesetzten Poisson-Prozess, Ph.D. the- sis, ETH Zurich, 1969
work page 1969
-
[6]
H. U. Gerber and E. S. W. Shiu,Optimal dividends: Analysis with Brownian motion, N. Am. Actuar. J., 8 (2004), pp. 1–20
work page 2004
-
[7]
H. U. Gerber and E. S. W. Shiu,On optimal dividend strategies in the compound Poisson model, N. Am. Actuar. J., 10 (2006), pp. 76–93
work page 2006
-
[8]
C. Guan and Z. Q. Xu,Optimal ratcheting of dividend payout under Brownian motion surplus, SIAM J. Control Optim., 62 (2024), pp. 2590–2620
work page 2024
-
[9]
C. Guan, J. Fan, and Z. Q. Xu,Optimal dividend payout with path-dependent drawdown con- straint, Appl Math Opt., 93, 64 (2026)
work page 2026
-
[10]
L. He, Z. Liang, and Y. Yuan,Optimal dividend and capital injection problem with a terminal value, J. Ind. Manag. Optim., 11 (2015), pp. 1203–1221
work page 2015
- [11]
-
[12]
N. Kulenko and H. Schmidli,Optimal dividend strategies in a Cram´ er-Lundberg model with capital injections, Insurance Math. Econom., 43 (2008), pp. 270–278. 37
work page 2008
-
[13]
S. P. Sethi and M. I. Taksar,Optimal financing of a corporation subject to random returns, Math. Finance, 12 (2002), pp. 155–172
work page 2002
-
[14]
S. P. Sethi, M. I. Taksar, and M. Yan,Optimal financing and dividend policies of a corporation with random returns, Math. Finance, 15 (2005), pp. 561–581
work page 2005
-
[15]
M. Taksar,Optimal risk and dividend distribution control models for an insurance company, Mathematical Methods of Operations Research, 51 (2000), pp. 1–42
work page 2000
-
[16]
J. Yong and X. Zhou,Stochastic controls: Hamiltonian systems and HJB equations, Applica- tions of Mathematics (New York) 43, Springer-Verlag, New York, 1999
work page 1999
-
[17]
L. C. Evans,Partial differential equations, Interscience Publishers, 2016
work page 2016
-
[18]
W. Wang, R. Xu, and K. Yan,Optimal ratcheting of dividends with capital injection, Mathe- matics of Operations Research, 50(3) (2024), pp. 2073–2111
work page 2024
-
[19]
Protter,Stochastic Integration and Differential Equations, Springer-Verlag, 1990
P. Protter,Stochastic Integration and Differential Equations, Springer-Verlag, 1990
work page 1990
-
[20]
S. E. Shreve,Stochastic Calculus for Finance II, Springer, 2004. 38
work page 2004
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.