Recognition: no theorem link
Existence of a classical solution to the integro-differential equation arising in the Cram\'er--Lundberg non-life insurance model with proportional investment
Pith reviewed 2026-05-10 18:44 UTC · model grok-4.3
The pith
The survival probability in the Cramér-Lundberg model with proportional investment is a classical C²-solution to the integro-differential equation when claim sizes are continuous with a finite moment.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
In the non-life Cramér-Lundberg insurance model with proportional investment, the survival probability is a classical C²-solution of the associated integro-differential equation. This is established under the minimal conditions that the claim size distribution is continuous and possesses a finite moment of some positive order.
What carries the argument
The integro-differential equation associated with the survival probability, verified to be satisfied in the classical sense by the probability itself.
If this is right
- The survival probability can be analyzed using classical techniques for integro-differential equations.
- Numerical methods for solving such equations can be applied to compute survival probabilities.
- The result applies to practical insurance models with limited claim data regularity.
- Further properties like asymptotics can be derived from the equation directly.
Where Pith is reading between the lines
- This suggests that similar minimal conditions could suffice in related risk models with different investment rules.
- If claim sizes have discontinuities, the classical solution property may fail, requiring distributional solutions instead.
- The approach might extend to time-dependent or multi-dimensional versions of the model.
Load-bearing premise
The claim size distribution is continuous and possesses a finite moment of some positive order.
What would settle it
A continuous claim size distribution with only a finite first moment for which the survival probability fails to be twice continuously differentiable or to satisfy the integro-differential equation at some point.
read the original abstract
This paper establishes that the survival probability in the non-life Cram\'{e}r--Lundberg insurance model with proportional investment is a classical $C^2$-solution of the associated integro-differential equation under minimal moment conditions: it suffices that the claim size distribution is continuous and possesses a finite moment of some positive order.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper establishes that the survival probability ψ(x) in the Cramér-Lundberg non-life insurance model with proportional investment is a classical C² solution to the associated integro-differential equation, provided only that the claim-size distribution F is continuous and possesses a finite moment of some order ε > 0.
Significance. If the result holds under the stated minimal conditions, it strengthens the mathematical foundation for ruin theory by relaxing the moment assumptions typically required for regularity of survival probabilities (often finite variance or exponential moments). This would allow analysis of models with heavier-tailed claims while preserving the classical C² property needed for further asymptotic or numerical work.
major comments (1)
- [Proof of the main existence theorem (regularity step)] The proof that ψ is C² must justify twice differentiating under the integral sign in the term ∫[ψ(x) − ψ(x − y)] dF(y) (or its investment-adjusted analogue). With only an arbitrary ε-moment on F, no integrable dominant for the second-order difference quotients is immediate, particularly when the effective drift is state-dependent due to proportional investment. The manuscript needs to supply an explicit domination, truncation, or approximation argument that works uniformly for any ε > 0; without it the C² conclusion does not follow from the hypotheses.
Simulated Author's Rebuttal
We thank the referee for their careful reading and for identifying the need for greater explicitness in the regularity argument of the main theorem. We have revised the manuscript to address this point directly.
read point-by-point responses
-
Referee: [Proof of the main existence theorem (regularity step)] The proof that ψ is C² must justify twice differentiating under the integral sign in the term ∫[ψ(x) − ψ(x − y)] dF(y) (or its investment-adjusted analogue). With only an arbitrary ε-moment on F, no integrable dominant for the second-order difference quotients is immediate, particularly when the effective drift is state-dependent due to proportional investment. The manuscript needs to supply an explicit domination, truncation, or approximation argument that works uniformly for any ε > 0; without it the C² conclusion does not follow from the hypotheses.
Authors: We agree that the original proof sketch was insufficiently explicit on this point. In the revised manuscript we have inserted a new lemma that supplies the required domination via truncation: the integral is split at a fixed large radius R chosen so that the tail integral is controlled by the given ε-moment of F (uniformly in the difference-quotient parameter). On the compact interval |y| ≤ R the already-established C¹ regularity of ψ, combined with local boundedness of the proportional investment rate, yields an integrable majorant independent of the second-difference parameter. The argument is uniform for every ε > 0 and fully accounts for the state-dependent drift. The revised proof of Theorem 3.1 now invokes this lemma before differentiating under the integral. revision: yes
Circularity Check
No circularity detected; existence result is derived independently of its own inputs
full rationale
The paper proves existence of a classical C² solution to the IDE for the survival probability under the stated minimal assumptions on the claim-size distribution (continuity plus finite positive-order moment). No load-bearing step reduces by construction to a fitted parameter, self-definition, or self-citation chain; the derivation relies on standard analytic techniques for integro-differential equations (e.g., differentiation under the integral justified by the given moment condition and truncation arguments) rather than renaming or presupposing the target regularity. The central claim therefore retains independent mathematical content and is self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
Forward citations
Cited by 1 Pith paper
-
Exact solution of the ruin problem in the Cram\'er--Lundberg model with proportional investment
The survival probability in the Cramér-Lundberg model with exponential claims and proportional investment is expressed explicitly using Heun functions after the governing integro-differential equation reduces to a dou...
Reference graph
Works this paper leans on
-
[1]
Mathematics14, 1035 (2026)
Antipov, V., Kabanov, Y.: On the integro-differential equation arising in the ruin prob- lem for non-life insurance models with investment. Mathematics14, 1035 (2026)
2026
-
[2]
Theory Probab
Belkina, T.A., Kabanov, Yu.M.: Viscosity solutions of integro-differential equations for non-ruin probability. Theory Probab. Appl.60(4), 802–810 (2015)
2015
-
[3]
Academic Press, New York (1983)
Burton, T.A.: Volterra Integral and Differential Equations. Academic Press, New York (1983)
1983
-
[4]
Finance Stoch.6(2), 227–235 (2002)
Frolova, A., Kabanov, Y., Pergamenshchikov, S.: In the insurance business risky invest- ments are dangerous. Finance Stoch.6(2), 227–235 (2002)
2002
-
[5]
Insurance Math
Grandits, P.: A Karamata-type theorem and ruin probabilities for an insurer investing proportionally in the stock market. Insurance Math. Econom.34, 297–305 (2004)
2004
-
[6]
Kabanov, Y., Pukhlyakov, N.: Ruin probabilities with investments: smoothness, IDE and ODE, asymptotic behavior. J. Appl. Probab.59, 556–570 (2022)
2022
-
[7]
Stochastic Process
Paulsen, J.: Risk theory in a stochastic economic environment. Stochastic Process. Appl. 46(2), 327–361 (1993)
1993
-
[8]
arXiv preprint arXiv:2601.01447 (2026)
Promyslov, P.: On the integro-differential equation arising in the ruin problem for an- nuity payment models. arXiv preprint arXiv:2601.01447 (2026)
-
[9]
Promyslov, P.: Viscosity solutions of the integro-differential equation for the Cram´ er–Lundberg model with annuity payments and investments. arXiv preprint arXiv:2604.02518 (2026)
work page internal anchor Pith review Pith/arXiv arXiv 2026
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.