Pith. sign in

REVIEW 3 major objections 5 minor 23 references

On the optimality of double barrier strategies for L\'evy processes

T0 review · 3 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves that the double barrier strategy at the level $a^*$ is optimal for the optimal dividend problem with capital injection when the risk process is a Lévy process with two-sided jumps, under Assumption 2.1.

desk verdict A genuinely new pathwise comparison method proves optimality of double barrier strategies for two-sided jump Lévy processes, but the main theorem is conditional on an unproved density assumption that the abstract fails to advertise. read the letter →

arxiv 1908.05906 v2 pith:GBHGRVC5 submitted 2019-08-16 math.PR math.OC

Kei Noba This is my paper · ORCID
classification math.PRmath.OC MSC 60G5193E2091G80
keywords optimaldividendproblemcapitalinjectiondoublebarrierstrategyLévyprocesswithtwo-sidedjumpsverificationlemmareflectedexpectednetpresentvaluehitting-timeLaplacetransform
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper establishes that, for a Lévy risk process whose jumps may go both up and down, the optimal dividend-and-bailout policy is a double barrier strategy: pay out any surplus above a fixed level $a^*$, and inject capital whenever the surplus would fall below zero. The optimal level is $a^*=\inf\{a>0:\beta E_a[e^{-q\kappa_{a,0}^-}]\le 1\}$, where $\beta>1$ is the unit cost of injected capital and $\kappa_{a,0}^-$ is the first time a doubly reflected process starting at $a$ hits zero. If the proof is right, no other admissible strategy achieves a higher expected value, defined as expected discounted dividends minus $\beta$ times expected discounted injections. The result carries the known optimality for spectrally one-sided Lévy processes over to genuinely two-sided jumps, using pathwise comparisons instead of scale functions.

What carries the argument

The key object is the value $v_{\pi_a}$ of a double barrier strategy together with its one-sided derivatives with respect to the initial surplus and the barrier level. Because two-sided jumps destroy scale-function representations, the paper obtains these derivatives by coupling the reflected processes with initial value $x$ and $x+\epsilon$ (or barrier $a$ and $a+\epsilon$) on the same driving path and tracking how dividends and injections change; the changes are at most $\epsilon$, so the derivatives fall out as Laplace transforms of first hitting times. Concretely, $v'_{\pi_a}(x)=\varphi_{a,0}(x)+\beta\varphi_{0,a}(x)$ on $(0,a)$, where $\varphi_{a,0}(x)=E_x[e^{-q\tau_a^+};\tau_a^+<\tau_0^-]$ and $\varphi_{0,a}(x)=E_x[e^{-q\tau_0^-};\tau_0^-<\tau_a^+]$, and $\partial_a v_{\pi_a}(x)=-\nu_x(a)(1-\beta\nu(a))/(1-\nu(a)\nu_0(a))$. These formulas locate the maximizing barrier and give the concavity and derivative bounds needed by the verification lemma.

What would settle it

Find an unbounded-variation Lévy process with infinite jump activity on both sides and compute, for some $a>0$, the density of $x\mapsto E_x[e^{-q\tau_a^+};\tau_a^+<\tau_0^-]$ or $x\mapsto E_x[e^{-q\tau_0^-};\tau_0^-<\tau_a^+]$; if that density is discontinuous or unbounded on $(0,a)$, Assumption 2.1 fails and the verification proof in Section 5 does not apply to that process.

Watch

Extended reading notes

Core claim

The central claim is Theorem 5.1: under Assumption 2.1, the double barrier strategy at $a^*$ is optimal, and the value function of the problem is $v=v_{\pi_{a^*}}$. The paper identifies $a^*$ through the Laplace transform of the first passage time of the reflected process, then proves the candidate satisfies a verification lemma: $v_{\pi_{a^*}}$ has derivative between $1$ and $\beta$, belongs to the required smoothness class, and satisfies the generator inequality $\mathcal{L}w-qw\le 0$ on $(0,\infty)$. This supplies the first optimality proof for a general strategy in this dividend/capital-injection problem when the Lévy process has two-sided jumps; earlier claimed proofs for general two-sided-jump processes had gaps.

Load-bearing premise

The load-bearing premise is Assumption 2.1: when the Lévy process has unbounded variation paths, the hitting-time Laplace transforms $\varphi_{a,0}$ and $\varphi_{0,a}$ must have Radon–Nikodym densities that are continuous almost everywhere and locally bounded on $(0,a)$, and the paper verifies this only when at least one side of the jump measure is finite.

Editorial extensions

If this is right

  • For every Lévy process satisfying Assumption 2.1, the optimal value in the dividend/capital-injection problem is exactly $v_{\pi_{a^*}}$, so the search over all admissible strategies reduces to choosing one number $a^*$.
  • The optimal barrier is the smallest $a$ for which $\beta E_a[e^{-q\kappa_{a,0}^-}]\le 1$; equivalently, raise the dividend barrier until the expected discounted cost of a future bailout, weighted by $\beta$, no longer offsets the extra dividend income.
  • The verification lemma provides a practical certificate: any candidate function $w$ with $w'\in[1,\beta]$ and $\mathcal{L}w-qw\le0$ on $(0,\infty)$ dominates all admissible strategies.
  • Together with the spectrally one-sided cases, the result covers Lévy risk processes with bounded variation, mixed-exponential jump diffusions, and unbounded-variation processes with one side of the jump measure finite.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • An extension not pursued here: for finite-horizon or random-horizon versions of the problem, the constant barrier $a^*$ would likely become a time-dependent boundary, and the same pathwise-shift method could yield the needed derivative identities for a verification argument.
  • The same pathwise-shift technique may prove optimality in other two-sided singular control problems, such as versions with transaction costs or with different cost rates for injections, whenever the hitting-time Laplace transforms have the required density regularity.
  • A numerical test of Assumption 2.1 is available: for an unbounded-variation process with infinite jump activity on both sides, such as a tempered stable process, one can estimate the densities of $\varphi_{a,0}$ and $\varphi_{0,a}$ by Monte Carlo simulation of small shifts; a violation would appear as unstable or unbounded derivative estimates near some interior point.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. The paper studies the classical de Finetti optimal dividend problem with capital injection for a Lévy risk process that may have two-sided jumps. The author proposes a double barrier strategy at a level a* defined by beta E_a[e^{-q kappa_{a,0}^-}] <= 1, where kappa is the first passage time of the reflected process below zero, and claims that this strategy is optimal among all admissible strategies. The proof strategy is to compute the derivatives of the expected net present value with respect to the initial state and the barrier level by a pathwise sample-path comparison, select a candidate barrier via a first-order condition, and then apply a verification lemma. Section 6 provides examples of unbounded variation Lévy processes satisfying the required regularity assumption, but only under a one-sided finite jump intensity condition. The main theorem is therefore conditional on a density regularity assumption that is not verified for general two-sided infinite-activity processes.

Significance. If the main theorem were established unconditionally, this would be the first proof of optimality of double barrier strategies for general two-sided jump Lévy processes, extending the spectrally negative and spectrally positive results of Avram et al. (2007) and Bayraktar et al. (2013). The proof technique is original: rather than scale functions, the paper uses pathwise comparisons of reflected processes to identify derivatives of value functions, and it employs a randomized hitting time to handle the boundary case where beta nu(a*) < 1. The paper is not machine-checked, but the main derivation is coherent and no circular fitting is apparent. The significance is substantial, but it is reduced by the fact that the central claim is conditional on an assumption whose scope is essentially open except for one-sided finite-activity cases.

major comments (3)
  1. [Assumption 2.1, Theorem 5.1, Section 6] Assumption 2.1 postulates that for unbounded variation Lévy processes the hitting-probability maps phi_{a,0} and phi_{0,a} admit Radon-Nikodym densities that are continuous almost everywhere and locally bounded on (0,a). This assumption is load-bearing: Lemma 5.3 computes v'_{pi_a} from these densities, Lemma 5.6 uses their derivatives to obtain C^2 regularity, and Lemma 5.7 relies on the continuity of Lv_{pi_{a*}}. Section 6 verifies Assumption 2.1 only when Pi(-infinity,0) < infinity or Pi(0,infinity) < infinity, i.e., when there is finite jump activity on at least one side. The abstract claims optimality for Lévy processes 'that may have positive and negative jumps' without this restriction, and the introduction advertises a general two-sided jump class. As written, Theorem 5.1 does not cover unbounded variation processes with infinite jump activity on both sides, and no argument is given that the density assumption holds there. This is a correctness-risk concern: if the density condition fails for some such process, the verification proof has no footing. The authors should either prove Assumption 2.1 in the general case or explicitly restrict the main theorem and abstract to the class where the assumption is known to hold.
  2. [Lemma 5.7 and Theorem 5.1] Lemma 5.7 begins with 'Suppose a* > 0', but Theorem 5.1 is stated for all a* defined by the infimum, and a* = 0 is possible for bounded variation processes (e.g., if beta nu(0+) <= 1). No separate proof is given for the case a* = 0. The verification lemmas, including the smoothness results in Lemma 5.6 and the inequality in Lemma 5.8, are developed under a* > 0, and the proof of Theorem 5.1 does not address the boundary case. If a* = 0, the strategy pi_0 is admissible only for bounded variation paths, and its value function is piecewise linear; the paper should either show that a* > 0 under Assumption 2.1 or supply a direct verification argument for a* = 0.
  3. [Proof of Lemma 5.8] In the proof of Lemma 5.8, after applying the Meyer-Ito formula and taking expectations, the text states 'By Lemma 5.8, we have' and then displays the key identity leading to (5.35). Since Lemma 5.8 is the very assertion being proved, this is a circular reference if read literally. It is likely a typo for Lemma 5.7, which justifies restricting the integral to [a* - epsilon, infinity), but as written the proof is self-referential and must be corrected.
minor comments (5)
  1. [Lemma 3.2, equation (3.6)] In the proof of Lemma 3.2, the chain of inequalities bounding E|inf_{t in [0,u]} sum J_i| introduces a discounted Poisson integral with e^{-qt} and integrates over [0,infinity). Since the sum in question is not discounted and the infimum is over t <= u, the equality with the discounted integral appears to have the wrong sign or a missing factor; the undiscounted bound would be finite and sufficient. Please recheck the displayed inequality.
  2. [Lemma 5.3, equation (5.7)] Equation (5.7) contains a typo: the last term should be (R^{(x)}_t - R^{(x+epsilon)}_t), not (R^{(x)}_t - R^{(x)}_t).
  3. [Lemma 5.5, step i)] The randomized stopping times K^{p*}_0 and T^{p*}_0 are constructed using i.i.d. random variables A^{[n]}_p, but the enlarged probability space and the independence of these variables from the Lévy process X are not stated. Please make the probabilistic setup explicit.
  4. [Section 4, proof of Lemma 4.2] The statement 'It is easy to check that nu and nu_x are right continuous' is used to pass from the inequalities (4.7) and (4.9) to the limit in (4.1). A brief justification of this right-continuity would improve readability.
  5. [Abstract and Introduction] The abstract and introduction claim optimality for Lévy processes with two-sided jumps without mentioning the extra density assumption for unbounded variation processes. Since the assumption is not verified in general, the claims should be qualified to match the actual hypotheses of Theorem 5.1.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the optimal barrier is derived from first-hit Laplace transforms and verified by an independent martingale/verification argument; the only self-citation is peripheral and non-load-bearing.

full rationale

The paper's derivation chain is self-contained and does not reduce any claimed prediction to an input or to a self-citation. The candidate barrier is a* = inf{a > 0 : beta E_a[e^{-q kappa_{a,0}^-}] <= 1}, defined directly from the Lévy model's first-hit quantities; it is not fitted from the value function or from the class of strategies. Lemma 4.2 derives the derivative of the expected NPV with respect to the barrier a as V'_x(a) = -nu_x(a)(1 - beta nu(a))/(1 - nu(a) nu_0(a)), so the special role of a* follows from a computation, not from an assumed equivalence. Lemma 5.3 derives the x-derivative v'_{pi_a}(x) = phi_{a,0}(x) + beta phi_{0,a}(x) by explicit sample-path couplings and limits; this formula is the starting point for regularity, not an imposed ansatz. Lemma 5.5 only uses the defining property beta nu(a*) <= 1 (with a randomized stopping time to obtain equality in the bounded-variation atomic case) to rewrite the already-derived derivative; this is standard smooth-fit rewriting, not circular. The verification lemma (Proposition 5.2) is an independent sufficient condition, and the proof that v_{pi_{a*}} satisfies it proceeds from the derived derivative formulas and the martingale property of the relevant discounted hitting probabilities. The only self-citation is [12], Noba/Pérez/Yamazaki/Yano, which appears in a literature list of related periodic-dividend works and is not used to justify any premise of the proof. The paper's main acknowledged weakness is Assumption 2.1: for unbounded-variation two-sided jump processes it assumes the Radon–Nikodym densities of phi_{a,0} and phi_{0,a} are continuous a.e. and locally bounded, and Section 6 verifies this only when Pi(-infinity,0) < infinity or Pi(0,infinity) < infinity. That is a substantive correctness/scope concern, but it is an explicit assumption rather than a hidden reuse of the conclusion, so it does not constitute circularity. Accordingly, the appropriate circularity score is 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No new physical entities, particles, forces, or conserved quantities are introduced. The mathematical constructs a*, the double barrier strategy π_a, and the randomized hitting time K_p^0 are defined from the model; they are not postulated entities with independent evidence obligations.

assumptions (5)
  • standard math Lévy process X has characteristic exponent of the form (2.1) and satisfies the Lévy-Itô decomposition used throughout, e.g., (3.4).
    The entire derivation is built on the standard Lévy process setup from Section 2.1.
  • domain assumption X does not have monotone paths and satisfies E0[|X1|] < ∞, equivalently ∫_{|x|≥1}|x|Π(dx) < ∞, as imposed in Assumption 2.1.
    This restricts the class of Lévy processes to those with finite absolute first moment and excludes deterministic monotone processes; it is needed for finiteness of dividend and injection values.
  • ad hoc to paper For unbounded variation X, the hitting-time maps φ_{a,0} and φ_{0,a} admit Radon-Nikodym densities that are locally bounded and continuous a.e. on (0,a), as imposed in Assumption 2.1.
    This smoothness condition is not proved for every unbounded variation Lévy process; Section 6 proves it only when one side of the Lévy measure has finite total mass.
  • standard math Scale function facts for spectrally negative Lévy processes, including existence, continuous differentiability, and the identities (6.1) and (6.2), are used in Section 6.
    Section 6 relies on standard scale function theory from Kyprianou's book and from Kuznetsov et al.; these are external benchmark results.
  • standard math The Meyer-Itô formula for semimartingales, as in Protter [16, Theorem IV.70 or IV.71], and localization of local martingales are used in the verification proofs.
    The verification lemma in Appendix B and the identity (5.36) rely on the standard semimartingale calculus.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the optimality of double barrier strategies for L\'evy processes." pith.science (2026). https://pith.science/paper/GBHGRVC5

@misc{pith2026190805906,
  author       = {Pith},
  title        = {Pith review of: On the optimality of double barrier strategies for L\'evy processes},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GBHGRVC5}},
  note         = {Machine review of arXiv:1908.05906}
}
read the original abstract

This paper studies de Finetti's optimal dividend problem with capital injection. We confirm the optimality of a double barrier strategy when the underlying risk model follows a L\'evy process that may have positive and negative jumps. The main result in this paper is a generalization of Theorem 3 in Avram et al.(2007), which is the spectrally negative case, and Theorem 3.1 in Bayraktar et al.(2013), which is the spectrally positive case. In contrast with the spectrally one-sided cases, double barrier strategies cannot be handled by using scale functions to obtain some properties of the expected net present values (NPVs) of dividends and capital injections. Instead, to obtain these properties, we observe changes in the sample path (and the associated NPV) when there is a slight change to the initial value or the barrier value.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

23 extracted references · 22 canonical work pages

  1. [1]

    Avanzi, J

    B. Avanzi, J. Shen, and B. Wong. Optimal dividends and capital inj ections in the dual model with diffusion. Astin Bull. , Vol. 41, No. 2, pp. 611–644, 2011

    work page 2011

  2. [2]

    Avram, Z

    F. Avram, Z. Palmowski, and M. R. Pistorius. On the optimal dividen d problem for a spectrally negative L´ evy process. Ann. Appl. Probab. , Vol. 17, No. 1, pp. 156–180, 2007

    work page 2007

  3. [3]

    E. J. Baurdoux and K. Yamazaki. Optimality of doubly reflected L´ evy processes in singular control. Stochastic Process. Appl. , Vol. 125, No. 7, pp. 2727–2751, 2015

    work page 2015

  4. [4]

    Bayraktar, A

    E. Bayraktar, A. E. Kyprianou, and K. Yamazaki. On optimal divid ends in the dual model. Astin Bull. , Vol. 43, No. 3, pp. 359–373, 2013

    work page 2013

  5. [5]

    Biffis and A

    E. Biffis and A. E. Kyprianou. A note on scale functions and the time value of ruin for L´ evy insurance risk processes. Insurance Math. Econom. , Vol. 46, No. 1, pp. 85–91, 2010

    work page 2010

  6. [6]

    L. Bo, R. Song, D. Tang, Y. Wang, and X. Yang. L´ evy risk model with two-sided jumps and a barrier dividend strategy. Insurance Math. Econom., Vol. 50, No. 2, pp. 280–291, 2012

    work page 2012

  7. [7]

    Czarna, J

    I. Czarna, J. L. P´ erez, and K. Yamazaki. Optimality of multi-ref raction control strategies in the dual model. Insurance Math. Econom. , Vol. 83, pp. 148–160, 2018

    work page 2018

  8. [8]

    Kuznetsov, A

    A. Kuznetsov, A. E. Kyprianou, and V. Rivero. The theory of sc ale functions for spectrally negative L´ evy processes. In L´ evy matters II, Vol. 2061 of Lecture Notes in Math., pp. 97–186. Springer, Heidelberg, 2012

    work page 2012

Show all 23 references
  1. [9]

    A. E. Kyprianou. Fluctuations of L´ evy processes with applications . Universitext. Springer, Heidelberg, second edition, 2014. Introductory lectur es

    2014

  2. [10]

    Li and G

    M. Li and G. Yin. Optimal threshold strategies with capital injec tions in a spectrally negative L´ evy risk model.J. Ind. Manag. Optim. , Vol. 15, No. 2, pp. 517–535, 2019

    2019

  3. [11]

    X. Li, D. Tang, Y. Wang, and X. Yang. Optimal processing rate a nd buffer size of a jump-diffusion processing system. Ann. Oper. Res. , Vol. 217, pp. 319–335, 2014

    2014

  4. [12]

    K. Noba, J. L. P´ erez, K. Yamazaki, and K. Yano. On optimal pe riodic dividend and capital injection strategies for spectrally negative L´ evy models. J. Appl. Probab. , Vol. 55, No. 4, pp. 1272–1286, 2018

    2018

  5. [13]

    J. L. P´ erez and K. Yamazaki. On the optimality of periodic barrie r strategies for a spectrally positive L´ evy process. Insurance Math. Econom. , Vol. 77, pp. 1–13, 2017

    2017

  6. [14]

    J. L. P´ erez, K. Yamazaki, and X. Yu. On the bail-out optimal div idend problem. J. Optim. Theory Appl. , Vol. 179, No. 2, pp. 553–568, 2018. 30

    2018

  7. [15]

    Refraction-reflection strategies in the dual model

    Jos´ e-Luis P´ erez and Kazutoshi Yamazaki. Refraction-reflection strategies in the dual model. Astin Bull. , Vol. 47, No. 1, pp. 199–238, 2017

    2017

  8. [16]

    P. E. Protter. Stochastic integration and differential equations , Vol. 21 of Stochastic Modelling and Applied Probability . Springer-Verlag, Berlin, 2005. Second edition. Version 2.1, Corrected third printing

    2005

  9. [17]

    Yamazaki

    K. Yamazaki. Optimality of two-parameter strategies in stocha stic control. In XII Symposium of Probability and Stochastic Processes , Vol. 73 of Progr. Probab., pp. 51–104. Birkh¨ auser/Springer, Cham, 2018

    2018

  10. [18]

    C. Yin, Y. Shen, and Y. Wen. Exit problems for jump processes w ith applications to dividend problems. J. Comput. Appl. Math. , Vol. 245, pp. 30–52, 2013

    2013

  11. [19]

    C. Yin, K. C. Yuen, and Y. Shen. Convexity of ruin probability and optimal dividend strategies for a general L´ evy process. Vol. 2015, pp. 1–9, 201 5

    2015

  12. [20]

    K. C. Yuen and C. Yin. On optimality of the barrier strategy for a general L´ evy risk process. Math. Comput. Modelling , Vol. 53, No. 9-10, pp. 1700–1707, 2011

    2011

  13. [21]

    Y. Zhao, P. Chen, and H. Yang. Optimal periodic dividend and cap ital injection problem for spectrally positive L´ evy processes. Insurance Math. Econom. , Vol. 74, pp. 135–146, 2017

    2017

  14. [22]

    Y. Zhao, R. Wang, D. Yao, and P. Chen. Optimal dividends and ca pital injections in the dual model with a random time horizon. J. Optim. Theory Appl. , Vol. 167, No. 1, pp. 272–295, 2015

    2015

  15. [23]

    Y. Zhao, R. Wang, and C. Yin. Optimal dividends and capital injec tions for a spectrally positive L´ evy process. J. Ind. Manag. Optim. , Vol. 13, No. 1, pp. 1–21, 2017. 31

    2017

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.