arxiv: 2604.08745 · v1 · submitted 2026-04-09 · 🧮 math.PR

Recognition: 2 theorem links

· Lean Theorem

Exact solution of the ruin problem in the Cram\'er--Lundberg model with proportional investment

Platon Promyslov , Maxim Romanov , Goluba Yurieva

Authors on Pith no claims yet

Pith reviewed 2026-05-10 16:40 UTC · model grok-4.3

classification 🧮 math.PR

keywords ruin probabilityCramér-Lundberg modelHeun functionssurvival probabilityproportional investmentexponential claimsintegro-differential equation

0 comments

The pith

The survival probability in the Cramér-Lundberg model with exponential claims and proportional investment is given explicitly by Heun functions after the governing equation reduces to a doubly confluent Heun equation.

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

The paper establishes an exact solution for the survival probability in a classical insurance risk model that includes proportional investment in a risky asset. For exponentially distributed claims, the usual integro-differential equation transforms directly into a doubly confluent Heun equation whose solutions are known special functions. The resulting closed-form expression is verified to satisfy the original boundary-value problem, and the dependence of ruin probability on the investment fraction is examined analytically. If correct, this supplies actuaries with a precise formula rather than numerical approximations or simulations whenever claim sizes are exponential and investment is proportional.

Core claim

In the Cramér-Lundberg model with exponential claims and proportional investment, the integro-differential equation for the survival probability reduces to a doubly confluent Heun equation. The general solution of this equation is constructed from Heun functions and specialized to meet the boundary conditions of the ruin problem, yielding an explicit representation of the survival probability. A verification theorem confirms that this representation solves the original equation, and the paper derives qualitative properties of the ruin probability as a function of the investment share.

What carries the argument

The doubly confluent Heun equation, obtained by a change of variables from the integro-differential equation that governs survival probability under exponential claims and proportional investment; its solutions in terms of Heun functions supply the explicit survival probability.

If this is right

The ruin probability equals one minus the explicit Heun-function expression and can be evaluated directly for any initial surplus and any investment share.
Monotonicity or extremal properties of ruin probability with respect to the investment share follow from differentiation of the closed-form solution.
The same reduction technique supplies exact ruin probabilities for related models whenever the claim distribution remains exponential and investment remains proportional.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The explicit formula could serve as a benchmark to test numerical schemes or approximation methods designed for non-exponential claim distributions.
Insurers could optimize the investment share analytically by minimizing the closed-form ruin probability subject to regulatory constraints on allocation.
The appearance of Heun functions suggests that similar integro-differential equations arising in other Lévy-driven risk models might admit reductions to known special-function equations.

Load-bearing premise

Claim sizes follow an exponential distribution, which is required for the integro-differential equation to reduce exactly to the doubly confluent Heun equation.

What would settle it

Fix concrete parameter values for premium rate, claim intensity, investment proportion, and initial capital; numerically integrate the original integro-differential equation on a fine grid and compare the resulting survival-probability values pointwise against the closed-form expression built from Heun functions.

read the original abstract

The Cram\'er-Lundberg model with exponential claims and proportional investment is solved exactly: the integro-differential equation for the survival probability reduces to a doubly confluent Heun equation, yielding an explicit solution in terms of Heun functions, a verification theorem, and a qualitative analysis of ruin probability versus investment share.

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.

Desk Editor's Note private letter to a colleague

This paper reduces the ruin equation with proportional investment to a doubly confluent Heun equation and gives an explicit solution, but only under exponential claims.

read the letter

The core advance is the exact reduction of the survival-probability integro-differential equation to a doubly confluent Heun equation under exponential claims, followed by an explicit Heun-function solution, a verification theorem, and some qualitative plots on how ruin probability moves with the investment share. That reduction is new in the cited literature on this model and supplies a clean benchmark that earlier numerical or asymptotic work lacked. The verification step directly confirms the candidate satisfies the original equation plus the boundary conditions at zero and infinity, which is the right way to close the argument. The qualitative analysis is straightforward but useful for seeing the sensitivity to investment proportion. The exponential-claims assumption is the necessary price for collapsing the integral term into an ODE; without it the reduction does not hold and one stays with the full integro-differential equation. The paper does not claim generality beyond that case, so the limitation is stated rather than hidden. The derivation steps themselves are standard transformations once the claim distribution is fixed, and no circularity or fitted parameters appear. This is the kind of result that specialists in ruin theory and insurance mathematics will want to cite for comparisons or as a check on approximations. A reader who already works with special functions or exact solutions in stochastic processes will get immediate value; others may find the Heun functions opaque without extra background. The work is solid enough on its own terms to merit a serious referee rather than a desk rejection.

Referee Report

0 major / 3 minor

Summary. The paper claims an exact solution to the ruin (survival probability) problem in the Cramér-Lundberg model with proportional investment, under the assumption of exponentially distributed claims. The integro-differential equation is reduced to a doubly confluent Heun equation via a standard transformation, yielding an explicit solution in terms of Heun functions; this is accompanied by a verification theorem and a qualitative analysis of the ruin probability as a function of the investment share.

Significance. If the reduction and verification hold, the result supplies a rare closed-form expression in ruin theory with investment, enabling precise qualitative statements about the effect of the investment proportion on ruin probabilities without numerical approximation or parameter fitting. The explicit Heun-function form and verification theorem constitute a parameter-free derivation within the exponential-claims setting and provide a concrete, falsifiable representation that can be checked against the original integro-differential equation and boundary conditions at 0 and infinity.

minor comments (3)

[§3] §3 (reduction step): the change of variables that converts the integro-differential equation into the doubly confluent Heun equation is only sketched; an explicit display of the intermediate ODE before the final substitution would improve readability and allow direct verification of the coefficient matching.
[Verification theorem] Verification theorem (likely §4): while the theorem states that the Heun-function candidate satisfies the original equation and the boundary conditions, the proof sketch for the behavior at infinity relies on the known asymptotics of the Heun function; a one-line reference to the precise asymptotic formula used would remove any ambiguity.
[Figure 2] Figure 2 (qualitative plots): the curves for different investment shares are shown but the axis scaling and the precise value of the exponential claim parameter used in the numerical evaluation are not stated in the caption; this makes direct comparison with the closed-form expression slightly harder.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and accurate summary of our work, the assessment of its significance, and the recommendation for minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation starts from the standard integro-differential equation for survival probability in the Cramér-Lundberg model with proportional investment. Under the exponential-claims assumption it reduces mathematically to the doubly confluent Heun equation, whose solutions are independent of the target ruin probability. An explicit Heun-function candidate is then verified by a direct substitution theorem that confirms it satisfies the original integro-differential equation together with the boundary conditions at 0 and infinity. No parameters are fitted and then relabeled as predictions, no self-citation supplies a load-bearing uniqueness result, and no ansatz or renaming is smuggled in. The steps are ordinary differential-equation manipulations and verification; the result is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The solution rests on the standard Cramér-Lundberg model setup together with the known theory of the doubly confluent Heun equation; no new entities are postulated.

axioms (2)

domain assumption The integro-differential equation for survival probability is correctly formulated from the model dynamics.
Standard derivation of the ruin equation under proportional investment.
standard math Solutions of the doubly confluent Heun equation are known and satisfy the required boundary conditions at infinity and zero.
Relies on established properties of Heun functions.

pith-pipeline@v0.9.0 · 5345 in / 1330 out tokens · 43022 ms · 2026-05-10T16:40:07.639801+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

After integrating by parts … we obtain a second-order linear homogeneous ODE … (6). … the resulting equation (7) is … a doubly confluent Heun equation.

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

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

[1]

Stochastic Process

Albrecher, H., Constantinescu, C., Thomann, E.: Asymptotic results for renewal risk models with risky investments. Stochastic Process. Appl.122(11), 3767–3789 (2012)

2012
[2]

Mathematics.14(6), 1035 (2026)

Antipov V ., Kabanov Y .: On the integro-differential equation arising in the ruin problem for non-life insurance models with investment. Mathematics.14(6), 1035 (2026)

2026
[3]

Stochastic Process

Eberlein, E., Kabanov, Y ., Schmidt, T.: Ruin probabilities for a Sparre Andersen model with invest- ments. Stochastic Process. Appl.144, 72–84 (2022)

2022
[4]

Finance Stoch.6(2), 227–235 (2002)

Frolova, A., Kabanov, Y ., Pergamenshchikov, S.: In the insurance business risky investments are dan- gerous. Finance Stoch.6(2), 227–235 (2002)

2002
[5]

Goldie, C.M.: Implicit renewal theory and tails of solutions of random equations. Ann. Appl. Probab. 1(1), 126–166 (1991)

1991
[6]

Grandits, P.: A Karamata-type theorem and ruin probabilities for an insurer investing proportionally in the stock market. Insur. Math. Econ.34(2), 297–305 (2004)

2004
[7]

Extremes29, 65–87 (2026)

Kabanov, Y ., Legenkiy, D., Promyslov, P.: Distributional equations and the ruin problem for the Sparre Andersen model with investments. Extremes29, 65–87 (2026)

2026
[8]

Finance Stoch.27, 887–902 (2023)

Kabanov, Y ., Promyslov, P.: Ruin probabilities for a Sparre Andersen model with investments: the case of annuity payments. Finance Stoch.27, 887–902 (2023)

2023
[9]

Kabanov, Y ., Pukhlyakov, N.: Ruin probabilities with investments: smoothness, IDE and ODE, asymp- totic behavior. J. Appl. Probab.59(2), 556–570 (2020)

2020
[10]

Stochastic Process

Kalashnikov, V ., Norberg, R.: Power tailed ruin probabilities in the presence of risky investments. Stochastic Process. Appl.98(2), 211–228 (2002)

2002
[11]

Springer, New York (1991)

Karatzas, I., Shreve, S.E.: Brownian Motion and Stochastic Calculus, 2nd edn. Springer, New York (1991)

1991
[12]

Stochastic Process

Paulsen, J.: Risk theory in a stochastic economic environment. Stochastic Process. Appl.46(2), 327– 361 (1993)

1993
[13]

Stochastic Process

Paulsen, J.: Sharp conditions for certain ruin in a risk process with stochastic return on investments. Stochastic Process. Appl.75(1), 135–148 (1998)

1998
[14]

Stochastic Process

Pergamenshchikov, S., Zeitouni, O.: Ruin probability in the presence of risky investments. Stochastic Process. Appl.116(2), 267–278 (2006)

2006
[15]

Existence of a classical solution to the integro-differential equation arising in the Cram\'er--Lundberg non-life insurance model with proportional investment

Promyslov P.: Existence of a classical solution to the integro-differential equation arising in the Cram ´er–Lundberg non-life insurance model with proportional investment. arXiv preprint arXiv:2604.05143v1 (2026)

work page internal anchor Pith review Pith/arXiv arXiv 2026
[16]

Springer, Berlin (2005)

Protter, P.: Stochastic Integration and Differential Equations, 2nd edn. Springer, Berlin (2005)

2005
[17]

Oxford Uni- versity Press, Oxford (2000)

Slavyanov, S.Y ., Lay, W.: Special Functions: A Unified Theory Based on Singularities. Oxford Uni- versity Press, Oxford (2000)

2000