Next Article in Journal
Publishing Risks
Next Article in Special Issue
Catastrophe Insurance Modeled by Shot-Noise Processes
Previous Article in Journal / Special Issue
Impact of Climate Change on Heat Wave Risk

Metrics 0

## Export Article

Risks 2013, 1(3), 192-212; doi:10.3390/risks1030192

Article
Ruin Time and Severity for a Lévy Subordinator Claim Process: A Simple Approach
1
Mathématique, Université Libre de Bruxelles, Campus de la Plaine C.P. 210, Bruxelles B-1050, Belgium
2
Institut de Science Financière et d'Assurances, Université de Lyon, 50 Avenue Tony Garnier, Lyon F-69007, France
*
Author to whom correspondence should be addressed.
Received: 6 November 2013; in revised form: 2 December 2013 / Accepted: 5 December 2013 / Published: 13 December 2013

## Abstract

: This paper is concerned with an insurance risk model whose claim process is described by a Lévy subordinator process. Lévy-type risk models have been the object of much research in recent years. Our purpose is to present, in the case of a subordinator, a simple and direct method for determining the finite time (and ultimate) ruin probabilities, the distribution of the ruin severity, the reserves prior to ruin, and the Laplace transform of the ruin time. Interestingly, the usual net profit condition will be essentially relaxed. Most results generalize those known for the compound Poisson claim process.
Keywords:
Lévy subordinator; time reversal; ruin probability; (in)finite time horizon; ruin severity; reserves prior to ruin; ruin time

## 1. Introduction

Let us consider a continuous-time risk model, whose reserves $R t$ at time t are of the form:

$R t = u + c t - S t , t ≥ 0$
where u represents the initial reserves, c the (constant) premium rate and $S t$ the total claim amount over the period $( 0 , t ]$. Ruin of the insurance occurs at the first time, $T ( u )$, when the reserves become negative.

In the classical Cramér–Lundberg model, ${ S t }$ is modeled by a compound Poisson process. A large literature is devoted to the derivation of the ruin probabilities and other related ruin quantities, for this model and various extensions or modifications. Much can be found, e.g., in the comprehensive books [1,2,3].

The present paper is concerned with the case where ${ S t }$ is a Lévy subordinator without the drift, implying that ${ R t }$ is a spectrally negative Lévy process. This model and more general Lévy risk processes have been the object of much research work in recent years. The reader is referred, e.g., to the books [4,5] and the papers [6,7,8,9,10,11,12,13].

Our purpose is to present a direct approach for determining the finite time (and ultimate) ruin probabilities (Section 2), the distribution of the ruin severity and the reserves prior to ruin (Section 3) and the Laplace transform of the ruin time (Section 4). This method relies on simple probabilistic arguments. In particular, we will operate a time reversal that allows us to argue with a dual risk model for which ruin problems are more easily studied. The power of duality is well recognized in ruin theory (see, e.g., [14,15,16]), as well as for stochastic processes with independent stationary increments (see, e.g., the books [17,18,19]).

In the sequel, it is assumed that $μ ≡ E ( S 1 ) < ∞$. Special attention is paid to the standard case where $c > μ$, that is when the net profit condition holds, so that ultimate ruin is not a.s. Nevertheless, we also examine the case where $c < μ$, which could arise and be temporarily allowed for certain branches in a large insurance company. The case $c = μ$, quite different, will not be considered in Section 3 and Section 4; its practical relevance, however, is minor.

Most results obtained when $c > μ$ generalize those known for the compound Poisson claim process (see, e.g., [16,20]). This is in agreement with an observation of [21]. A main interest of our work comes from the direct and systematic study of the model made using simple probabilistic methods. Note that a similar approach could be applied to certain queueing and storage models (as, e.g., in [22]). Of course, other methods can be followed to analyze ruin problems with a subordinator. For instance, one can approximate the subordinator by a sequence of compound Poisson processes (a strategy adopted, e.g., in [8,11]). A powerful alternative is by using the fluctuation theory for Lévy processes (see, e.g., [5]).

In forthcoming work, we will show, for the classical compound Poisson risk model, that different results can be obtained by exploiting the analycity in time of the distribution of $S t$. For the ruin probabilities, the formulas are those obtained by [23,24,25]; see, also, [26].

Throughout the paper, we denote $P t ( A ) = P ( S t ∈ A )$ for any Borel set, A. In particular, $P t ( d y ) = P t ( ( y , y + d y ] ) = P ( y < S t ≤ y + d y )$ and $P t ( a + d y ) = P t ( ( a + y , a + y + d y ] )$, $a , y ≥ 0$. For clarity, the main results will be stated at the beginning of each Section, their proofs being presented afterwards. Some more technical results are also given in an Appendix.

## 2. Non-Ruin Probabilities

The claim process is a Lévy subordinator, ${ S t }$, without the drift and with $S 0 = 0$ (see, e.g., the books [19,27,28]). By the Lévy–Khintchine formula, the Laplace transform of its probability distribution, $P t$, is given by:

$E ( e - θ S t ) = exp t ∫ ] 0 , ∞ ) ( e - θ x - 1 ) Π ( d x ) , θ > 0$
where $t Π$ is a measure on $] 0 , ∞ )$, called the Lévy measure of $P t$. The tail of Π is the function $Π ¯ ( x ) = Π ( ] x , ∞ ) )$. Therefore, $Π ¯ ( ∞ ) = 0$ and an integration by parts shows that:
$∫ ] 0 , ∞ ) ( e - θ x - 1 ) Π ( d x ) = - θ ∫ ] 0 , ∞ ) e - θ x Π ¯ ( x ) d x$

A basic subordinator is the classical compound Poisson process with parameter λ and positive i.i.d. claim amounts (distributed as X, say); here, $Π ( x ) = λ P ( X ≤ x )$ and $Π ¯ ( 0 ) = λ$. For the other subordinators, $Π ¯ ( 0 ) = ∞$, i.e., the process has infinitely many small jumps. This is the case with the gamma process, the α-stable subordinator and the (generalized) inverse Gaussian process (see the Appendix).

#### 2.1. Results

As a preliminary, consider the case where there are no initial reserves ($u = 0$). Non-ruin probabilities then have a (known) explicit expression.

Proposition 1.

$P ( T ( 0 ) > t ) = ∫ [ 0 , c t [ 1 - y c t P t ( d y )$

Formula (4) was first derived by [29] in a special case. Later, it was obtained by [30] (Theorem 2) for a process with non-negative interchangeable increments. It was shown to hold, too, for a general spectrally negative Lévy process (see, e.g., [19] (Corollary 7.3), [31]). For this reason, a proof of Equation (4) will not be included here.

Let us now consider $u ≥ 0$. Non-ruin probabilities can then be evaluated by the (known) Formula (5) for a finite horizon and Equation (6) for an infinite horizon.

Proposition 2.

$P ( T ( u ) > t ) = P t ( [ 0 , u + c t [ ) - ∫ ] u , u + c t [ P y - u c ( d y ) ∫ [ 0 , u + c t - y [ ( 1 - z u + c t - y ) P u + c t - y c ( d z )$

Let $μ = E ( S 1 )$ be the expected claim amount per time unit, i.e.:

$μ = ∫ ] 0 , ∞ ] x Π ( d x ) = ∫ ] 0 , ∞ ] Π ¯ ( d x )$
Ultimate ruin is known to arise almost surely when $c ≤ μ$. Suppose now $c > μ$, and denote $ψ ( u ) = P ( T ( u ) < ∞ )$.

Corollary 3. If $c > μ$:

$ψ ( u ) = 1 - μ c ∫ ] u , ∞ ) P y - u c ( d y )$
In particular:
$ψ ( 0 ) = μ / c .$

For the compound Poisson model, these formulas can be found in most books on ruin theory (e.g., [2]). As shown by [30] (Theorems 3 and 4), Equation (5) holds, too, for a process with non-negative interchangeable increments and Equation (6) for a Lévy subordinator process. We will rederive Formulas (5) and (6) by arguing through the dual risk model.

It is worth mentioning that an alternative expression for $ψ ( u )$ is provided by a Pollaczek–Khintchine-type formula. This result is omitted here for brevity reasons. We refer, e.g., to [30] (Theorem 5) for the case of a Lévy subordinator and to [6,32] for a perturbed subordinator model.

Let $f T ( u )$ be the density function of $T ( u )$, if it exists.

Proposition 4.

$f T ( u ) ( t ) = ∫ [ 0 , u + c t [ Π ¯ ( u + c t - x ) P t ( d x ) - ∫ [ u , u + c t [ P y - u c ( d y ) ∫ [ 0 , u + c t - y [ Π ¯ ( u + c t - y - z ) ( 1 - z u + c t - y ) P u + c t - y c ( d z ) .$

#### 2.1.1. Special Cases

(i) Consider the Cramér–Lundberg model, i.e., $S t$ is a compound Poisson process with parameter λ and i.i.d. claim amounts $X i$. The case where the $X i$’s are positive arithmetic random variables was studied in [23] when the cumulated premium income is a linear function, $u + c t$, as here, but also for any non-decreasing deterministic function. Let us rather examine the case where the $X i$’s are valued in $] 0 , ∞ )$ with density $f ( x ) , x > 0$. Therefore, $S t$ has an atom at state 0, and otherwise, it is continuous with density:

$f t ( x ) = e - λ t ∑ i = 1 ∞ ( λ t ) i i ! f * i ( x ) , x > 0$
where $f * i$ is the i-th convolution of f.

Then, Equation (5) yields Seal’s relation:

$P ( T ( u ) > t ) = e - λ t + ∫ 0 u + c t f t ( y ) d y - ∫ u u + c t e - λ ( u + c t - y ) / c f y - u c ( y ) d y - ∫ u u + c t f y - u c ( y ) [ ∫ 0 u + c t - y 1 - z u + c t - y f u + c t - y c ( z ) d z ] d y$
and Equation (6) becomes, when $c > λ E ( X )$:
$ψ ( u ) = 1 - λ E ( X ) c ∫ u ∞ f y - u c ( d y ) .$

These results are given, e.g., in [33]. For the density, $f T ( u )$, an explicit formula is easily written from Equation (8) using $Π ¯ ( x ) = λ P ( X > x )$.

(ii) Suppose that the Lévy subordinator is a gamma process with parameters $a , b > 0$ (see the Appendix). Then, Equation (6) gives, when $c > a / b$:

$ψ ( u ) = 1 - a b c ∫ u ∞ b a ( y - u ) / c Γ ( a ( y - u ) / c ) x a ( y - u ) / c - 1 e - b y d y = c a - 1 b e - b u ∫ 0 ∞ ( b e - b c / a ) z ( u + c z / a ) z - 1 Γ ( z ) d z .$
For a study of this model, we refer, e.g., to [34,35,36].

(iii) If the Lévy subordinator is an inverse Gaussian process with parameter $b > 0$, then Equation (6) gives, when $c > 1 / b$:

$ψ ( u ) = 1 - 1 b c ∫ u ∞ y - u c 2 π y 3 e - ( b y - ( y - u ) / c ) 2 / 2 y d y .$
Such a model was investigated, e.g., in [11,37].

#### 2.2. Proofs

Non-ruin until time t means, of course, that over the period $[ 0 , t ]$, the process, ${ S τ }$, remains below the upper boundary, F, of equation $y = u + c τ$. It is easily seen that non-crossing through a lower boundary is an easier problem, because crossing here means necessarily meeting. Therefore, we choose to tackle the non-ruin problem by first studying the case of a lower boundary.

#### 2.2.1. Step 1: First-Meeting in a Lower Boundary.

Consider a point, $( t , x )$, with $x < u + c t$ and a trajectory $τ → S τ$ joining the origin $( 0 , 0 )$ to $( t , x )$. To construct the dual model, we make a rotation of $180 ∘$ with center $( t , x )$ and then reverse the two axes. In these new axes, the corresponding trajectory, $τ → S ˜ τ$, joins $( 0 , 0 )$ to $( t , x )$, and the straight line becomes a lower boundary, $F ˜$, for this trajectory. Clearly, $S ˜ τ = - ( S t - τ - S t ) , 0 ≤ τ ≤ t$, and $F ˜$ is of equation $y = x - u - c t + c τ$. Moreover, the process, ${ S ˜ τ }$, over $[ 0 , t ]$ is defined exactly as ${ S τ }$ (e.g., [19], p. 43).

Let us now pass to the whole positive quadrant in which ${ S ˜ τ , τ ≥ 0 }$ is again a Lévy subordinator. Two lower boundaries are considered: $F ˜ t$ defined by $F ˜$ for $τ ≤ t$ followed by a vertical line of abscissa t and $F ˜$ defined as before, but on $[ 0 , ∞ )$. The first-meeting times of ${ S ˜ τ }$ with these boundaries are denoted $T ˜ t$ and $T ˜$, respectively.

We want to determine $ν t ( d x )$, the probability that ${ S ˜ τ }$ meets $F ˜ t$ for the first time at the point $( t , x )$, i.e., $ν t ( d x ) = P ( x < S ˜ T ˜ t ≤ x + d x )$. For that, we will have to compute $ν ( d z )$, the probability that ${ S ˜ τ }$ meets $F ˜$ for the first time at the level, z, i.e., $ν ( d z ) = P ( z < S ˜ T ˜ ≤ z + d z )$.

The lemma below shows that the probability, ν, can be easily calculated.

Lemma 5. For $z ≥ 0$,

$ν ( d z ) = ( 1 - z z - x + u + c t ) P z - x + u + c t c ( d z )$

Proof. Consider a first-meeting of ${ S ˜ τ }$ with $F ˜$ at some point M of height z and, thus, at time $τ z = ( z - x + u + c t ) / c$; so, $M = ( τ z , z )$. Returning to the original axes, but with origin M, we observe that $ν ( d z )$ corresponds to the probability $P ( T ( 0 ) > τ z , S τ z = z )$. Formula (9) then follows directly from Equation (4). ☐

Thanks to ν, the probability $ν t$ can be determined from the result (10) below. Subsequently, a product measure between two measures $ν ˜$ and ν will be denoted by $ν ˜ ⊗ ν$ (this should not be confused with a convolution product, which has already been used and denoted by $*$).

Lemma 6. For $x ≥ 0$,

$ν t ( d x ) = P t ( d x ) - ∫ [ 0 , x - u [ P x - u - z c ( d x - z ) ⊗ ν ( d z )$
the integral vanishing, of course, for $x ≤ u$.

Proof. The argument is standard (see e.g., [1]). Any trajectory of $τ → S ˜ τ$ can reach the point $( t , x )$ either without meeting the boundary $F ˜$, or after a first meeting with $F ˜$ at some point of height z, thus at time $( z - x + u + c t ) / c$, followed by an increment of $x - z$ during the period $( ( z - x + u + c t ) / c , t )$. Therefore,

$P t ( d x ) = ν t ( d x ) + ∫ [ 0 , x - u [ P x - u - z c ( d x - z ) ⊗ ν ( d z )$
hence the Formula (10). ☐

Note that Equation (10) can be extended to any increasing lower boundary, $F ˜$ (i.e., linearity has no simplifying role at this step). The next lemma is straightforward.

Lemma 7. For $x ≥ 0$,

$P ( T ˜ t = t | S ˜ t = x ) = ν t ( d x ) P t ( d x )$

Proof. Evidently, $ν t ( A ) ≤ P t ( A )$ for all $A ⊂ ] u , ∞ )$, which implies that $ν t < < P t$. Given any probability measure ρ satisfying $ν t < < P t < < ρ$ (for instance, $ρ = P t$), the l.h.s. of Equation (11) corresponds to the quotient $ν t ′ ( x ) / P t ′ ( x )$ of the Radon–Nikodym derivatives with respect to ρ, which is equivalent to $ν t ′ ( x ) ρ ( d x ) / P t ′ ( x ) ρ ( d x ) = ν t ( d x ) / P t ( d x )$. ☐

#### 2.2.2. Step 2: Back to the Ruin Problem

We are now ready to derive the announced formulas for the ruin time distribution.

Lemma 8.

$P ( T ( u ) > t ) = ∫ [ 0 , u + c t [ ν t ( d x )$

Proof. Operating the rotation of axes described above, we get:

$P ( T ( u ) > t ) = ∫ [ 0 , u + c t [ P ( τ → S τ d o e s n o t c r o s s F | S t = x ) P t ( d x ) = ∫ [ 0 , u + c t [ P ( τ → S ˜ τ d o e s n o t c r o s s F ˜ | S ˜ t = x ) P t ( d x ) = ∫ [ 0 , u + c t [ P ( T ˜ t = t | S ˜ t = x ) P t ( d x ) = ∫ [ 0 , u + c t [ ν t ( d x ) P t ( d x ) P t ( d x )$
using Equation (11), which gives the desired result. ☐

Proof of Proposition 3. Inserting in Equation (12) Formulas (10) and (9) yields:

$P ( T ( u ) > t ) = P t ( [ 0 , u + c t [ ) - ∫ x ∈ [ 0 , u + c t [ ∫ z ∈ [ 0 , x - u [ P x - u - z c ( d x - z ) ⊗ ν ( d z ) = P t ( [ 0 , u + c t [ ) - ∫ x ∈ ] u , u + c t [ ∫ z ∈ [ 0 , x - u [ 1 - z z - x + u + c t P x - u - z c ( d x - z ) ⊗ P z - x + u + c t c ( d z )$
In Equation (13), let us substitute for x a new variable $y = x - z$. The integration is now over the domain ${ u < y < u + c t , 0 ≤ z < u + c t - y }$, and applying Fubini’s theorem leads to Equation (5). ☐

Proof of Corollary 4. Formula (5) can be rewritten as:

$P ( T ( u ) > t ) = P t ( [ 0 , u + c t [ ) - ∫ ] u , u + c t [ E 1 - S ( u + c t - y ) / c u + c t - y 1 { 0 ≤ S ( u + c t - y ) / c < u + c t - y } P y - u c ( d y ) .$
When $c > μ$, we have by the strong law of large numbers (SLLN) theorem:
$lim t → ∞ P t ( [ 0 , u + c t [ ) = lim t → ∞ E [ 1 { 0 ≤ S t / t < ( u + c t ) / t } ] = 1 .$
Thus, we can write that:
$ψ ( u ) = 1 - P ( T ( u ) = ∞ ) = lim t → ∞ [ P t ( [ 0 , u + c t [ ) - P ( T ( u ) > t ) ]$
Moreover, it is proved in Property 18 of the Appendix that, as $c > μ$:
$∫ ] u , ∞ ) P y - u c ( d y ) < ∞ a . e .$
From Equations (14) and (15), we then obtain, using the dominated convergence theorem:
$ψ ( u ) = lim t → ∞ ∫ ] u , u + c t [ E 1 - S ( u + c t - y ) / c u + c t - y 1 { 0 ≤ S ( u + c t - y ) / c < u + c t - y } P y - u c ( d y ) = ∫ ] u , ∞ ) E 1 - μ c 1 { 0 ≤ μ < c } P y - u c ( d y )$
which is Formula (6).

When $u = 0$, Equation (6) gives:

$ψ ( 0 ) = 1 - μ c ∫ ] 0 , ∞ ) P y c ( d y ) = 1 - μ c ∫ [ 0 , ∞ ) P y c ( d y ) - 1 .$
From Equation (A9) below, where $θ 0 = 0$ by Equation (20) and, thus, $l 0 = μ$ by Equation (45), we get:
$∫ [ 0 , ∞ ) P y c ( d y ) = 1 / 1 - μ c$
hence, Formula (7). ☐

Lemma 9.

$f T ( u ) ( t ) = ∫ ] u , u + c t [ Π ¯ ( u + c t - x ) ν t ( d x )$

Proof. By the independence and stationarity of the increments in $S t$, we have:

$P ( x < S t < x + d x , t < T ( u ) < t + d t ) = P ( x < S t < x + d x , T ( u ) > t , S t + d t - S t > u + c t - x ) = P ( S t ∈ ( x , x + d x ) , T ( u ) > t ) P ( S d t > u + c t - x ) = ν t ( d x ) P ( S d t > u + c t - x )$
as seen in proving Lemma 8. Now, by Property 17 of the Appendix:
$P ( S d t > u + c t - x ) = Π ¯ ( u + c t - x ) d t$
so that inserting Equation (18) in Equation (17) yields Equation (16). ☐

Proof of Proposition 4. It suffices to adapt the proof of Proposition 2, starting from Equation (16). ☐

## 3. Reserves at and Prior to Ruin

In this Section, we focus on the joint distribution of the reserves at and just prior to ruin (when it occurs) and some of its implications.

Before this, we introduce a useful parameter inside the subordinator model. For any $s > 0$, consider the equation in θ:

$E ( e - θ S t ) = e ( s - θ c ) t .$
Note that with such a θ, the process ${ exp ( θ R t - s t ) }$ is a martingale. By Equation (2), the previous equation becomes:
$∫ ] 0 , ∞ ) ( e - θ x - 1 ) Π ( d x ) = s - c θ$
which is referred to as Lundberg’s equation (see, e.g., [16]). It is easily checked that Equation (19) admits a unique non-negative root, $s → θ ( s )$, say. In this section, we will only need the limiting value $θ 0 = lim s → 0 θ ( s )$ (but $θ ( s )$ for $s > 0$ will be used in Section 4). From (19), we observe that:

#### 3.1. Results

Let $R T - 0$ be the reserves just prior to ruin and $| R T |$ the severity of ruin. Note that $Z = R T - 0 + | R T |$ is the claim amount that causes the ruin. Our main goal is to determine the probability:

$G ( u ; x , y ) = P ( T ( u ) < ∞ , R T - 0 < x , | R T | < y ) , x , y > 0 .$

The following function will have a key role. For any real v:

$χ ( v ) = ∫ [ 0 , ∞ ) ∩ ] v , ∞ ) P y - v c ( d y ) .$

Note that the domain of integration in Equation (21) is $] v , ∞ )$ if $v ≥ 0$, while it is $[ 0 , ∞ )$ if $v < 0$. In Property 18, we will show that if $c ≠ μ$, the function, $χ ( v )$, is finite a.e. On the contrary, when $c = μ$, $χ ( v )$ may be infinite (see the remark in the Appendix).

Proposition 10. If $c ≠ μ$:

$G ( u ; x , y ) = 1 c ∫ 0 x [ Π ¯ ( τ ) - Π ¯ ( τ + y ) ] [ χ ( u - τ ) - e - θ 0 τ χ ( u ) ] d τ .$
In particular:
$G ( 0 ; x , y ) = 1 c ∫ 0 x [ Π ¯ ( τ ) - Π ¯ ( τ + y ) ] e - θ 0 τ d τ$

Corollary 11. If $c > μ$:

$G ( u ; x , y ) = 1 c - μ ∫ 0 x [ Π ¯ ( τ ) - Π ¯ ( τ + y ) ] [ ψ ( u - τ ) - ψ ( u ) ] d τ .$
In particular:
$G ( 0 ; x , ∞ ) = G ( 0 ; ∞ , x ) = 1 c ∫ 0 x Π ¯ ( τ ) d τ$

Corollary 12. If $c ≠ μ$, for $z > 0$:

$P ( Z < z | T ( u ) < ∞ ) = 1 c ψ ( u ) ∫ 0 z [ Π ¯ ( τ ) - Π ¯ ( z ) ] [ χ ( u - τ ) - e - θ 0 τ χ ( u ) ] d τ$
and if $c > μ$:
$P ( Z < z | T ( u ) < ∞ ) = 1 ( c - μ ) ψ ( u ) ∫ 0 z [ Π ¯ ( τ ) - Π ¯ ( z ) ] [ ψ ( u - τ ) - ψ ( u ) ] d τ$

Corollary 13. If $c ≠ μ$, for $α ≥ 0$ and $β > 0$, and provided these moments exist:

$E ( R T - 0 α 1 { T ( u ) < ∞ } ) = 1 c ∫ 0 ∞ x α Π ¯ ( x ) [ χ ( u - x ) - e - θ 0 x χ ( u ) ] d x$
$E ( R T - 0 α | R T | β 1 { T ( u ) < ∞ } ) = β c ∫ 0 ∞ ∫ 0 ∞ x α y β - 1 Π ¯ ( x + y ) [ χ ( u - x ) - e - θ 0 x χ ( u ) ] d x d y$
$E ( Z 1 { T ( u ) < ∞ } ) = 1 c ∫ 0 ∞ [ ∫ x ∞ τ Π ( d τ ) ] [ χ ( u - x ) - e - θ 0 x χ ( u ) ] d x$

Formula (22) and its corollaries (especially Equation (25)) cover several results obtained in the compound Poisson model, mainly for the case where $c > μ$ (see, e.g., [38,39,40]).

#### 3.2. Proofs

The result below is proved by following the same argument as for Lemma 9.

Lemma 14.

$G ( u ; x , y ) = ∫ ∫ L ( x ) [ Π ¯ ( u + c t - ξ ) - Π ¯ ( u + c t - ξ + y ) ] ν t ( d ξ ) ⊗ d t$
where:
$L ( x ) = { ( t , ξ ) : t > 0 , ξ ≥ 0 , u + c t - x < ξ < u + c t }$

Proof. We have, for $y > 0$:

$P ( ξ < S t < ξ + d ξ , t < T ( u ) < t + d t , | R T | < y ) = P ( ξ < S t < ξ + d ξ , T ( u ) > t ) P ( u + c t - ξ < S t + d t - S t < u + c t - ξ + y ) = ν t ( d ξ ) ⊗ d t [ Π ¯ ( u + c t - ξ ) - Π ¯ ( u + c t - ξ + y ) ]$
by virtue of Equation (A1). Formula (31) then follows. Since $R T - 0 < x$, $x > 0$, requires $u + c T - x < ξ < u + c T$, the domain of integration is $( t , ξ ) ∈ L ( x )$, as stated. ☐

Proof of Proposition 10. Inserting Equations (9) and (10) inside Equation (31), we can write that:

$G ( u ; x , y ) = I 1 ( u ; x , y ) - I 2 ( u ; x , y )$
where:
$I 1 ( u ; x , y ) = ∫ ∫ L ( x ) [ Π ¯ ( u + c t - ξ ) - Π ¯ ( u + c t - ξ + y ) ] P t ( d ξ ) ⊗ d t$
$I 2 ( u ; x , y ) = ∫ ∫ ∫ L ′ ( x ) [ Π ¯ ( u + c t - ξ ) - Π ¯ ( u + c t - ξ + y ) ] P ξ - u - z c ( d ξ - z )$
$⊗ ( 1 - z z - ξ + u + c t ) P z - ξ + u + c t c ( d z ) ⊗ d t$
with:
$L ′ ( x ) = { ( t , ξ , z ) : t > 0 , ξ ≥ 0 , 0 ≤ z < ξ - u , u + c t - x < ξ < u + c t } .$
Let us make the change of variable $τ = u + c t - ξ$ in both integrals.

For Equation (33), we get:

$I 1 ( u ; x , y ) = ∫ ∫ M ( x ) [ Π ¯ ( τ ) - Π ¯ ( τ + y ) ] P τ - u + ξ c ( d ξ ) ⊗ d τ c$
where $M ( x ) = { ( τ , ξ ) : 0 < τ < x , ξ ≥ 0 , u - τ < ξ }$ (since $t > 0$ means $ξ + τ > u$). Thus:
$I 1 ( u ; x , y ) = 1 c ∫ 0 x [ Π ¯ ( τ ) - Π ¯ ( τ + y ) ] d τ ∫ [ 0 , ∞ ) ∩ ] u - τ , ∞ ) P ξ - ( u - τ ) c ( d ξ ) = 1 c ∫ 0 x [ Π ¯ ( τ ) - Π ¯ ( τ + y ) ] χ ( u - τ ) d τ$
using the definition Equation (21) of $χ ( v )$ (< a.e. by Equation (A4)).

For Equation (34), we have:

$I 2 ( u ; x , y ) = ∫ ∫ ∫ M ′ ( x ) [ Π ¯ ( τ ) - Π ¯ ( τ + y ) ] P ξ - u - z c ( d ξ - z ) ⊗ τ τ + z P τ + z c ( d z ) ⊗ d τ c$
where $M ′ ( x ) = { ( τ , ξ , z ) : 0 < τ < x , ξ ≥ 0 , 0 ≤ z < ξ - u }$ (since $t > 0$ means $ξ + τ > u$, which is less restrictive than $ξ > u + z$). Putting $ζ = ξ - z$, then $M ′ ( x )$ becomes $M ″ ( x ) = { ( τ , ζ , z ) : 0 < τ < x , ζ > u , z ≥ 0 }$, so that:
$I 2 ( u ; x , y ) = 1 c ∫ 0 x [ Π ¯ ( τ ) - Π ¯ ( τ + y ) ] d τ ∫ [ 0 , ∞ ) τ τ + z P τ + z c ( d z ) ∫ ] u , ∞ ) P ζ - u c ( d ζ ) .$
By Equation (21), the third integral is $χ ( u )$. From Equation (A7) below where $s = 0$, we know that the second integral is equal to $exp ( - θ 0 τ )$. Thus:
$I 2 ( u ; x , y ) = 1 c χ ( u ) ∫ 0 x [ Π ¯ ( τ ) - Π ¯ ( τ + y ) ] e - θ 0 τ d τ .$
Inserting Equations (35) and (36) in Equation (32) then yields Equation (22).

Finally, suppose that $u = 0$. In the r.h.s. of Equation (22), the second factor, $[ … ]$, becomes:

$χ ( - τ ) - e - θ 0 τ χ ( 0 + ) = χ ( - τ ) + e - θ 0 τ [ 1 - χ ( 0 - ) ] .$
It will be proven in Equation (A9) (with Equation (45)) that:
$χ ( v ) = e θ 0 v / [ 1 - 1 c ∫ 0 ∞ x e - θ 0 x Π ( d x ) ] when v < 0 .$
Thus, Equation (37) reduces to $exp ( - θ 0 τ )$, which leads to Equation (23). ☐

Proof of Corollary 11. Since $c > μ$, we know by Equation (20) that $θ 0 = 0$. From Equations (6) and (21), we have, as $u ≥ 0$:

$ψ ( u ) = ( 1 - μ c ) χ ( u ) .$
Obviously, an analogous identity Equation (39) holds for $ψ ( u - τ )$ when $u - τ ≥ 0$. This is also true when $u - τ < 0$, since in that case, $ψ ( u - τ ) = 1$ by definition, and from Equation (38) with $θ 0 = 0$, we see that:
$χ ( u - τ ) = 1 / ( 1 - μ c )$
as well. Formula (24) then follows, with Equation (25) as a direct consequence. ☐

Proof of Corollary 12. By Equation (22), we can write:

$P ( R T - 0 < x , | R T | < y | T ( u ) < ∞ ) = G ( u ; x , y ) P ( T ( u ) < ∞ ) ≡ ∫ 0 x g ( τ , y ) d τ = ∫ 0 x g ( τ , y ) g ( τ , ∞ ) g ( τ , ∞ ) d τ$
where a.e.:
$g ( τ , y ) = 1 c ψ ( u ) [ Π ¯ ( τ ) - Π ¯ ( τ + y ) ] [ χ ( u - τ ) - e - θ 0 τ χ ( u ) ]$
In particular:
$P ( R T - 0 < x | T ( u ) < ∞ ) = ∫ 0 x g ( τ , ∞ ) d τ$
which shows that the function, $τ → g ( τ , ∞ )$, is a conditional density for $R T - 0$. Thus, we see from Equation (40) that the function, $τ → g ( τ , y ) / g ( τ , ∞ )$, is a version of the conditional probability $P ( | R T | < y | T ( u ) < ∞ , R T - 0 = τ )$. As a consequence:
$P ( Z < z | T ( u ) < ∞ , R T - 0 = τ ) = P ( | R T | < z - τ | T ( u ) < ∞ , R T - 0 = τ ) = g ( τ , z - τ ) g ( τ , ∞ ) .$
From Equations (42) and (43), we then obtain:
$P ( Z < z | T ( u ) < ∞ ) = ∫ 0 z P ( Z < z | T ( u ) < ∞ , R T - 0 = τ ) g ( τ , ∞ ) d τ = ∫ 0 z g ( τ , z - τ ) d τ$
where $g ( τ , z - τ )$ is given by Equation (41) for $y = z - τ$. This yields Formulas (26) and (27) (using Equation (6)). ☐

Proof of Corollary 13. By Equation (22):

$E ( R T - 0 α | R T | β 1 { T ( u ) < ∞ } ) = ∫ 0 ∞ ∫ 0 ∞ x α y β d x , y G ( u ; x , y ) = 1 c ∫ 0 ∞ x α [ χ ( u - x ) - e - θ 0 x χ ( u ) ] [ ∫ 0 ∞ y β ( - 1 ) d y Π ¯ ( x + y ) ] d x .$
An integration by parts of the inner integral gives:
$[ - y β Π ¯ ( x + y ) ] 0 ∞ + ∫ 0 ∞ Π ¯ ( x + y ) d ( y β )$
which becomes:
$Π ¯ ( x ) i f β = 0 , a n d ∫ 0 ∞ β y β - 1 Π ¯ ( x + y ) d y i f β > 0 .$
This yields the desired Formulas (28) and (29).

For Equation (30), a similar argument leads to:

$E ( Z 1 { T ( u ) < ∞ } ) = 1 c ∫ 0 ∞ [ x Π ¯ ( x ) + ∫ 0 ∞ Π ¯ ( x + y ) d y ] [ χ ( u - x ) - e - θ 0 x χ ( u ) ] d x .$
Noting that the first factor, $[ … ]$, is equal to:
$x Π ¯ ( x ) + ∫ x ∞ Π ¯ ( τ ) d τ = ∫ x ∞ τ Π ( d τ )$
we deduce the announced formula. ☐

## 4. Ruin Time

In this Section, our main goal is to determine the expectation:

$H ( u ; s , x , y ) = E [ e - s T ( u ) 1 { R T - 0 < x , | R T | < y } ] , s , x , y > 0 .$

For that, we will use the non-negative root, $θ ( s )$, of Equation (19). Note that by Equation (3), $θ ( s )$ for $s > 0$ satisfies the relation:

$∫ ] 0 , ∞ ) e - θ ( s ) x Π ¯ ( x ) d x = c - s θ ( s ) .$
Moreover, differentiating Equation (3) with respect to s gives:
$- θ ′ ( s ) ∫ ] 0 , ∞ ) x e - θ ( s ) x Π ( d x ) = 1 - c θ ′ ( s )$
so that:
$θ ′ ( 0 ) = 1 c - l 0 and θ ′ ′ ( 0 ) = - k 0 ( c - l 0 ) 3$
where:
$l 0 = ∫ 0 ∞ x e - θ 0 x Π ( d x ) and k 0 = ∫ 0 ∞ x 2 e - θ 0 x Π ( d x ) .$
In particular, $l 0 = μ$ and $k 0 = E ( S 1 2 )$ when $θ 0 = 0$.

#### 4.1. Results

To begin with, we introduce a function that generalizes $χ ( v )$ defined in Equation (21): for any $s ≥ 0$ and real v, let:

$χ ( s , v ) = ∫ [ 0 , ∞ ) ∩ ] v , ∞ ) e - s y - v c P y - v c ( d y ) .$
Therefore, $χ ( 0 , v ) = χ ( v )$.

Proposition 15. If $c ≠ μ$:

$H ( u ; s , x , y ) = 1 c ∫ 0 x [ Π ¯ ( τ ) - Π ¯ ( τ + y ) ] [ χ ( s , u - τ ) - e - θ ( s ) τ χ ( s , u ) ] d τ .$
In particular:
$H ( 0 ; s , x , y ) = 1 c ∫ 0 x [ Π ¯ ( τ ) - Π ¯ ( τ + y ) ] e - θ ( s ) τ d τ$
$E ( e - s T ( u ) ) = 1 c ∫ 0 ∞ Π ¯ ( τ ) χ ( s , u - τ ) d τ + ( s c θ ( s ) - 1 ) χ ( s , u ) .$
Alternatively:
$E ( e - s T ( u ) ) = 1 - s c ∫ 0 ∞ χ ( s , u - τ ) d τ + s c θ ( s ) χ ( s , u )$

Corollary 16. If $c ≠ μ$:

$E ( T ( u ) 1 { T ( u ) < ∞ , X < x , Y < y } ) = - 1 c ∫ 0 x [ Π ¯ ( τ ) - Π ¯ ( τ + y ) ] χ s ′ ( s , u - τ ) d τ + χ s ′ ( 0 , u ) c ∫ 0 x [ Π ¯ ( τ ) - Π ¯ ( τ + y ) ] e - θ 0 τ d τ - χ ( u ) c ( c - l 0 ) ∫ 0 x τ [ Π ¯ ( τ ) - Π ¯ ( τ + y ) ] e - θ 0 τ d τ .$
In particular, when $c < μ$:
$E ( T ( u ) ) = 1 c ∫ 0 u χ ( τ ) d τ - 1 c θ 0 χ ( u ) + 1 θ 0 ( c - l 0 )$
and when $c > μ$:
$E ( T ( u ) 1 { T ( u ) < ∞ } ) = 1 c - μ ∫ 0 u ψ ( τ ) d τ - ( 1 - μ c ) χ s ′ ( 0 , u ) - k 0 ( 1 + ψ ( u ) ) 2 ( c - μ ) 2$

Formula (47) and its corollaries cover several results known for the compound Poisson case when $c > μ$ (see, e.g., [16,20]). Clearly, a similar approach would allow us to determine the expected discounted penalty function introduced in [16]. For a study of this function in a Lévy framework, see, e.g., [6,7,8,10].

#### 4.2. Proofs

Proof of Proposition 15. Starting with Equation (31), we have:

$H ( u ; s , x , y ) = ∫ ∫ L ( x ) e - s t [ Π ¯ ( u + c t - ξ ) - Π ¯ ( u + c t - ξ + y ) ] ν t ( d ξ ) ⊗ d t .$
We then proceed as with Proposition 10. Therefore, instead of Equation (32), we rewrite Equation (54) as:
$H ( u ; s , x , y ) = J 1 ( u ; s , x , y ) - J 2 ( u ; s , x , y )$
where $J 1$ and $J 2$ are defined by Equations (33) and (34) with the additional factor, $exp ( - s t )$, in the integrals. After the same changes of variable as before, we get:
$J 1 ( u ; s , x , y ) = 1 c ∫ 0 x [ Π ¯ ( τ ) - Π ¯ ( τ + y ) ] d τ ∫ [ 0 , ∞ ) ∩ ] u - τ , ∞ ) e - s ξ - ( u - τ ) c P ξ - ( u - τ ) c ( d ξ )$
instead of Equation (35) and:
$J 2 ( u ; s , x , y ) = 1 c ∫ 0 x [ Π ¯ ( τ ) - Π ¯ ( τ + y ) ] d τ ∫ [ 0 , ∞ ) e - s τ + z c τ τ + z P τ + z c ( d z ) ∫ ] u , ∞ ) e - s ζ - u c P ζ - u c ( d ζ )$
instead of Equation (36). It is proved in Equation (A7) of the Appendix that the second integral inside $J 2$ is equal to $exp ( - θ ( s ) τ )$. Using the notation Equation (46), we then deduce Formula (47).

When $u = 0$ in Equation (47), the second factor, $[ … ]$, reduces to:

$χ ( s , - τ ) - e - θ ( s ) τ χ ( s , 0 + ) = χ ( s , - τ ) + e - θ ( s ) τ [ 1 - χ ( s , 0 - ) ] ,$
a result that generalizes Equation (37). In Equation (A8) below, we will establish that:
$χ ( s , v ) = c θ ′ ( s ) e θ ( s ) v when v < 0 .$
Thus, Equation (55) reduces to $exp ( - θ ( s ) τ )$, and Formula (48) follows.

For Equation (49), putting $x = y = ∞$ in Equation (47) gives:

$E ( e - s T ( u ) ) = 1 c ∫ 0 ∞ Π ¯ ( τ ) χ ( s , u - τ ) - 1 c χ ( s , u ) ∫ 0 ∞ Π ¯ ( τ ) e - θ ( s ) τ d τ .$
It then remains to apply the identity Equation (44) to the second integral.

Formula (50) is obtained by a different method. Clearly:

$E ( e - s T ( u ) 1 { T ( u ) < ∞ } ) = 1 - s ∫ 0 ∞ e - s t P ( T ( u ) > t ) d t .$
Using (12) to express $P ( T ( u ) > t )$, we then get:
$1 s [ 1 - E ( e - s T ( u ) 1 { T ( u ) < ∞ } ) ] = ∫ 0 ∞ e - s t ∫ [ 0 , u + c t [ ν t ( d x ) .$
>By comparison with Equation (54), we note that the r.h.s. of Equation (57) corresponds to the r.h.s. of Equation (54) in which the factor, $[ … ]$, is deleted and $x = y = ∞$. By arguing as from Equation (54) to Equation (47), we rewrite the double integral in (57) as:
$1 c ∫ 0 ∞ χ ( s , u - τ ) d τ - χ ( s , u ) c ∫ 0 ∞ e - θ ( s ) τ d τ$
hence, the announced formula. ☐

Proof of Corollary 16. Let us differentiate Equation (47) with respect to s and put $s = 0$. Using the value of $θ ′ ( 0 )$ given in Equation (45), we then obtain Formula (51).

For Equations (52) and (53), we start with Formula (50). Note that:

$∫ 0 ∞ χ ( s , u - τ ) d τ = ∫ 0 u χ ( s , u - τ ) d τ + ∫ - ∞ 0 χ ( s , τ ) d τ$
and from Equation (56):
$∫ - ∞ 0 χ ( s , τ ) d τ = c θ ′ ( s ) θ ( s )$
so that:
$E ( e - s T ( u ) ) = 1 - s c ∫ 0 u χ ( s , u - τ ) d τ - s θ ′ ( s ) θ ( s ) + s c θ ( s ) χ ( s , u ) .$
By differentiation and L’Hospital’s rule as $s → 0$, we then deduce Equation (52) when $c < μ$, i.e., $θ 0 > 0$, and Equation (53) when $c > μ$, i.e., $θ 0 = 0$, using $θ 0 ′$ and $θ 0 ′ ′$ given by Equation (45). ☐

## Acknowledgments

We thank the two referees for useful remarks and suggestions. This work was conducted while C. L. was visiting the Institut de Science Financière et d’Assurances, Université de Lyon. C. L. received support from the Belgian FNRS and the ARC project IAPAS of the Fédération Wallonie-Bruxelles.

## Conflicts of Interest

The authors declare no conflict of interest.

## References

1. Seal, H.L. Survival Probabilities, the Goal of Risk Theory; Wiley: Chichester, UK, 1978. [Google Scholar]
2. Dickson, D.C.M. Insurance Risk and Ruin; Cambridge University Press: Cambridge, UK, 2005. [Google Scholar]
3. Asmussen, S.; Albrecher, H. Ruin Probabilities; World Scientific: Singapore, 2010. [Google Scholar]
4. Takács, L. Combinatorial Methods in the Theory of Stochastic Processes; Wiley: New York, NY, USA, 1967. [Google Scholar]
5. Kyprianou, A.E. Introductory Lectures on Fluctuations of Lévy Processes with Applications; Springer: Berlin, Germany, 2006. [Google Scholar]
6. Garrido, J.; Morales, M. On the expected discounted penalty function for Lévy risk processes. N. Am. Actuar. J. 2006, 10, 196–217. [Google Scholar] [CrossRef]
7. Doney, R.A.; Kyprianou, A.E. Overshoots and undershoots of Lévy processes. Ann. Appl. Probab. 2006, 16, 91–106. [Google Scholar] [CrossRef]
8. Morales, M. On the expected discounted penalty function for a perturbed risk process driven by a subordinator. Insur. Math. Econ. 2007, 40, 293–301. [Google Scholar] [CrossRef]
9. Loeffen, R.L.; Patie, P. Absolute Ruin in the Ornstein–Uhlenbeck Type Risk Model. arXiv.org e-Print archive, 2010. Available online at http://arxiv.org/abs/1006.2712 (accessed on 11 June 2010).
10. Kuznetsov, A.; Morales, M. Computing the finite-time expected discounted penalty function for a family of Lévy risk processes. Scand. Actuar. J. 2011. [Google Scholar] [CrossRef]
11. Michna, Z. Formula for the Supremum Distribution of a Spectrally Positive Lévy Process. arXiv.org e-Print archive, 2012. Available online at http://arxiv.org/abs/1104.1976 (accessed on 29 May 2012).
12. Kyprianou, A.E.; Ott, C. Spectrally negative Lévy processes perturbed by functionals of their running supremum. J. Appl. Probab. 2012, 49, 1005–1014. [Google Scholar] [CrossRef]
13. Zhang, Z.; Yang, H.; Yang, H. On a Sparre Andersen risk model perturbed by a spectrally negative Lévy process. Scand. Actuar. J. 2013, 3, 213–239. [Google Scholar] [CrossRef]
14. Dufresne, F.; Gerber, H.U. Three methods to caculate the probability of ruin. ASTIN Bull. 1989, 19, 71–90. [Google Scholar] [CrossRef]
15. Dickson, D.C.M.; Egídios dos Reis, A. Ruin problems and dual events. Insur. Math. Econ. 1994, 14, 51–60. [Google Scholar] [CrossRef]
16. Gerber, H.U.; Shiu, E.S.W. On the time value of ruin. N. Am. Actuar. J. 1998, 2, 48–78. [Google Scholar] [CrossRef]
17. Feller, W. An Introduction to Probability Theory and its Applications, 2nd ed.; Wiley: New York, NY, USA, 1971; Volume 2. [Google Scholar]
18. Asmussen, S. Applied Probability and Queues; Springer: New York, NY, USA, 2003. [Google Scholar]
19. Bertoin, J. Lévy Processes; Cambridge University Press: Cambridge, UK, 1996. [Google Scholar]
20. Gerber, H.U.; Shiu, E.S.W. The joint distribution of the time of ruin, the surplus immediately before ruin, and the deficit at ruin. Insur. Math. Econ. 1997, 21, 129–137. [Google Scholar] [CrossRef]
21. Gerber, H.U.; Shiu, E.S.W. Discussion on the paper by Garrido, J. and Morales, M. N. Am. Actuar. J. 2006, 10, 216–218. [Google Scholar] [CrossRef]
22. Perry, D.; Stadje, W.; Zacks, S. Contributions to the theory of first-exit times of some compound processes in queueing theory. Queueing Syst. 1999, 33, 369–379. [Google Scholar] [CrossRef]
23. Picard, P.; Lefèvre, C. The probability of ruin in finite time with discrete claim size distribution. Scand. Actuar. J. 1997, 1, 58–69. [Google Scholar] [CrossRef]
24. De Vylder, F.E. Numerical finite-time ruin probabilities by the Picard–Lefèvre formula. Scand. Actuar. J. 1999, 2, 97–105. [Google Scholar] [CrossRef]
25. De Vylder, F.E.; Goovaerts, M.J. Explicit finite-time and infinite time ruin probabilities in the continuous case. Insur. Math. Econ. 1999, 24, 155–172. [Google Scholar] [CrossRef]
26. Rullière, D.; Loisel, S. Another look at the Picard–Lefèvre formula for finite-time ruin probabilities. Insur. Math. Econ. 2004, 35, 187–203. [Google Scholar] [CrossRef]
27. Sato, K. Lévy Processes and Infinitely Divisible Distributions; Cambridge University Press: Cambridge, UK, 1999. [Google Scholar]
28. Appelbaum, D. Lévy Processes and Stochastic Calculus, 2nd ed.; Cambridge University Press: Cambridge, UK, 2009. [Google Scholar]
29. Kendall, D.G. Some problems in the theory of dams. J. R. Stat. Soc. B 1957, 19, 207–212. [Google Scholar]
30. Takács, L. On the distribution of the supremum for stochastic processes with interchangeable increments. Trans. Am. Math. Soc. 1965, 119, 367–379. [Google Scholar] [CrossRef]
31. Borovkov, K.; Burq, Z. Kendall’s identity for the first-crossing time revisited. Electr. Commun. Probab. 2001, 6, 91–94. [Google Scholar] [CrossRef]
32. Huzak, M.; Perman, M.; S̆ikić, H.; Vondrac̆ek, Z. Ruin probabilities and decompositions for general perturbed risk processes. Ann. Appl. Probab. 2004, 14, 1378–1397. [Google Scholar]
33. Gerber, H.U. Mathematical fun with ruin theory. Insur. Math. Econ. 1988, 7, 15–23. [Google Scholar] [CrossRef]
34. Dufresne, F.; Gerber, H.U.; Shiu, E.S.W. Risk theory with the gamma process. ASTIN Bull. 1991, 21, 177–192. [Google Scholar] [CrossRef]
35. Dickson, D.C.M.; Waters, H.R. Gamma processes and finite time survival probabilities. ASTIN Bull. 1993, 23, 259–272. [Google Scholar] [CrossRef]
36. Michna, Z. Ruin probability on a finite time horizon. Math. Econ. 2010, 6, 65–74. [Google Scholar]
37. Morales, M. Risk theory with the generalized inverse Gaussian Lévy process. ASTIN Bull. 2004, 34, 361–377. [Google Scholar] [CrossRef]
38. Dufresne, F.; Gerber, H.U. The surpluses immediately before and at ruin, and the amount of claim causing ruin. Insur. Math. Econ. 1988, 7, 193–199. [Google Scholar] [CrossRef]
39. Dickson, D.C.M. On the distribution of the surplus prior to ruin. Insur. Math. Econ. 1992, 11, 191–207. [Google Scholar] [CrossRef]
40. Willmot, G.E.; Lin, X.S. Exact and approximate properties of the distribution of surplus before and after ruin. Insur. Math. Econ. 1998, 23, 91–110. [Google Scholar] [CrossRef]

## A. Special Cases

It may be worth recalling a few (standard) examples of a Lévy subordinator that could be used to represent the claim process, ${ S t }$ (see, e.g., [19]).

#### A.1. Compound Poisson Process

For such a process with Poisson parameter λ and claim amounts distributed as X with distribution function F, then:

#### A.2. Gamma Process

For such a process with parameters $a , b > 0$, then:

#### A.3. α-Stable Subordinator

For such a process with parameter $α ∈ ( 0 , 1 )$, then:

The expected claim being infinite, this model is of less interest in practice.

#### A.4. Inverse Gaussian Process

For such a process with parameter $b > 0$, then:

A possible extension is the generalized inverse Gaussian process.

## B. Useful Properties

The following property is used in the proof of Lemmas 9 and 14. It is surely known, but we have no precise reference to give. A proof is presented below for completeness. Note that the result is easy to see in the compound Poisson case.

Property 17.

$lim t ↓ 0 P ( S t > y ) t = Π ¯ ( y ) a . e . , y > 0$

Proof. Define $σ t$ as a compound Poisson measure with parameter $1 / t$ and jump distribution $P t$ (so, $P ( S t > y ) = P t ( ] y , ∞ ) )$). For $θ > 0$, let $σ ^ t ( θ )$ and $P ^ t ( θ )$ denote the associated Laplace transforms. Observing that:

$σ ^ t ( θ ) = exp P ^ t ( θ ) - 1 t = exp ∫ ] 0 , ∞ ) ( e - θ x - 1 ) P t ( d x ) t$
we see that the Lévy measure of $σ t$ is given by $P t / t$.

Let $t ↓ 0$ in Equation (A2). Using $P ^ t = ( P ^ 1 ) t$, we get:

$lim t ↓ 0 σ ^ t ( θ ) = lim t ↓ 0 exp e t ln P ^ 1 ( θ ) - 1 t = exp ( ln P ^ 1 ( θ ) ) = P ^ 1 ( θ ) .$
By Lévy’s continuity theorem, this means that $lim t ↓ 0 σ t = P 1$. Thus, an analogous result holds for the corresponding Lévy measures (see, e.g., Theorem 8.7 in [27]), that is:
$lim t ↓ 0 P t t = Π .$
Equivalently:
$lim t ↓ 0 ∫ ] 0 , ∞ ) f ( x ) P t ( d x ) t = ∫ ] 0 , ∞ ) f ( x ) Π ( d x )$
for every bounded continuous function, f.

Now, let $y > 0$. For any $ϵ > 0$, we may consider the function:

Evidently:
$f y , ϵ ( x ) ≤ 1 ] y , ∞ ) ( x ) ≤ f y - ϵ , ϵ ( x )$
so that after multiplication by $P t / t$ and integration over $] 0 , ∞ )$, Equation (A3) yields:
$∫ ] 0 , ∞ ) f y , ϵ ( x ) Π ( d x ) ≤ lim inf t ↓ 0 P t ( ] y , ∞ ) ) t ≤ lim sup t ↓ 0 P t ( ] y , ∞ ) ) t ≤ ∫ ] 0 , ∞ ) f y - ϵ , ϵ ( x ) Π ( d x ) a . e .$
Moreover:
$Π ¯ ( y + ϵ ) = ∫ ] 0 , ∞ ) 1 ] y + ϵ , ∞ ) ( x ) Π ( d x ) ≤ ∫ ] 0 , ∞ ) f y , ϵ ( x ) Π ( d x ) Π ¯ ( y - ϵ ) = ∫ ] 0 , ∞ ) 1 ] y - ϵ , ∞ ) ( x ) Π ( d x ) ≥ ∫ ] 0 , ∞ ) f y - ϵ , ϵ ( x ) Π ( d x ) .$
Therefore, as $ϵ ↓ 0$:
$Π ¯ ( y + 0 ) ≤ lim inf t ↓ 0 P t ( ] y , ∞ ) ) t ≤ lim sup t ↓ 0 P t ( ] y , ∞ ) ) t ≤ Π ¯ ( y - 0 ) a . e .$
As the non-increasing function, Π, is continuous, except perhaps on a countable set, we deduce that $lim t ↓ 0 P t ( ] y , ∞ ) ) / t = Π ¯ ( y )$ a.e. ☐

The next property is used when proving Corollary 3 and Proposition 10.

Property 18. If $c ≠ μ$, then for any $u ≥ 0$:

$χ ( u ) ≡ ∫ ] u , ∞ ) P y - u c ( d y ) < ∞ a . e .$

Proof. First, suppose $c > μ$. By Equation (5) rewritten as Equation (14), we have:

$P ( S t < u + c t ) - P ( T ( u ) > t ) = ∫ ] u , u + c t [ E 1 - S τ c τ 1 { 0 ≤ S τ < c τ } P y - u c ( d y )$
Evidently, this difference of probabilities is in $[ 0 , 1 ]$. Thus, for any positive real $n 0$, such that $c t > n 0$:
$0 ≤ ∫ ] u , u + n 0 [ E 1 - S τ c τ 1 { 0 ≤ S τ < c τ } P y - u c ( d y ) ≤ 1 .$
Letting $t → ∞$, we get by the SLLN and the dominated convergence theorem:
$0 ≤ ∫ ] u , u + n 0 [ E 1 - μ c 1 { 0 ≤ μ < c } P y - u c ( d y ) ≤ 1 .$
As this holds for any $n 0$, we deduce that Equation (A4) is true in that case.

Now, consider $c < μ$. It is sufficient to establish that the Laplace transform of χ, i.e.:

$L θ ( χ ) = ∫ [ 0 , ∞ ) e - θ u χ ( u ) d u = ∫ ∫ { ( y , u ) : 0 ≤ u < y } e - θ u P y - u c ( d y ) ⊗ d u$
is finite for some $θ > 0$. Putting $z = y - u$, we have:
$L θ ( χ ) = ∫ ] 0 , ∞ ) e θ z ∫ [ 0 , ∞ ) e - θ y P z c ( d y ) d z$
and using Equation (2):
$L θ ( χ ) = ∫ ] 0 , ∞ ) exp θ z + z c ∫ 0 ∞ ( e - θ x - 1 ) Π ( d x ) d z .$
To get $L θ ( χ ) < ∞$, it suffices to choose θ, such that the term, ${ … }$, in Equation (A5) is negative, i.e.:
$∫ 0 ∞ ( e - θ x - 1 ) Π ( d x ) < - c θ$
By Equation (20), $c < μ$ implies $θ 0 > 0$ and from Equation (19), we see that any θ in $( 0 , θ 0 )$ will guarantee the validity of this condition. ☐

Remark. Property 18 is not true when $c = μ$. To show this, consider, for instance, the compound Poisson model with parameter λ and i.i.d. claim amounts $X i$ of the exponential law with parameter $α = 1 / E ( X )$. Of course, $μ = λ / α$. By definition:

$χ ( u ) = ∑ n = 1 ∞ ∫ ] u , ∞ ) e - λ ( y - u ) / c [ λ ( y - u ) / c ] n n ! e - α y α n y n - 1 ( n - 1 ) ! d y + ∫ ] u , ∞ ) e - λ ( y - u ) / c δ 0 ( d y )$
where $δ 0$ is the Dirac measure at zero. It is easily checked that $χ ( u ) < ∞$ iff $M ( u ) < ∞$, where:
$M ( u ) = ∑ n = 1 ∞ ∫ ] 0 , ∞ ) e - λ y / c ( λ y / c ) n n ! e - α y α n y n - 1 ( n - 1 ) ! d y .$
Now, we have:
$M ( u ) = ∑ n = 1 ∞ ( λ α / c ) n n ! ( n - 1 ) ! ∫ ] 0 , ∞ ) e - ( α + λ / c ) y y 2 n - 1 d y = ∑ n = 1 ∞ ( λ α / c ) n n ! ( n - 1 ) ! ( 2 n - 1 ) ! ( α + λ / c ) 2 n .$
By Stirling’s formula:
$( 2 n - 1 ) ! n ! ( n - 1 ) ! ≈ 2 π ( 2 n - 1 ) 2 π n 2 π ( n - 1 ) e - ( 2 n - 1 ) ( 2 n - 1 ) 2 n - 1 e - n n n e - ( n - 1 ) ( n - 1 ) n - 1 ≈ 1 π n 2 2 n - 1$
so that:
$M ( u ) ≈ ∑ n = 1 ∞ 4 λ α / c ( α + λ / c ) 2 n 1 2 π n .$
Denote by $h ( α )$ the factor, $[ … ]$, in the r.h.s. of Equation (A6). We see that $h ( α )$ has a maximum at $α = λ / c$, with $h ( λ / c ) = 1$. Consequently, the series, $M ( u )$, and, thus, $χ ( u )$, diverges when $c = λ / α$. Note that when $c ≠ λ / α$, then $h ( α ) < 1$, so that $χ ( u ) < ∞$, which is in agreement with Equation (A4).

The following identities involve $θ ( s )$, the non-negative root of Equation (19). They are used several times in Section 2, Section 3 and Section 4.

Property 19. For $s , u ≥ 0$,

$∫ [ 0 , ∞ ) e - s u + z c u u + z P u + z c ( d z ) = e - θ ( s ) u .$
As a consequence:
$χ ( s , - u ) = ∫ [ 0 , ∞ ) e - s u + z c P u + z c ( d z ) = c θ ′ ( s ) e - θ ( s ) u$
and in particular:
$χ ( - u ) = e - θ 0 u / ( 1 - l 0 / c )$

Proof. Let us go back to the dual model studied in Step 1 of Section 2. Take $x = c t$ (which is allowed). For the first-meeting level, $S ˜ T ˜$, Equation (9) then gives:

$ν ( d z ) = u u + z P u + z c ( d z ) .$

Thus, the l.h.s. of Equation (A7) can be written as:

$∫ [ 0 , ∞ ) e - s u + z c ν ( d z ) = E ( e - s u + S ˜ T ˜ c 1 { S ˜ T ˜ < ∞ } ) = E ( e - s u + S ˜ T ˜ c ) .$
Moreover, by construction, $S ˜ T ˜ = - u + c T ˜$, so that:
$∫ [ 0 , ∞ ) e - s u + z c u u + z P u + z c ( d z ) = E ( e - s T ˜ ) .$

Now, for $θ ( s )$ defined through Equation (19), we know that the process, ${ exp [ θ ( s ) ( c t - S ˜ t ) - s t ] }$, is a martingale. Applying the optional stopping theorem at time $T ˜$ then gives:

$E [ e θ ( s ) ( c T ˜ - S ˜ T ˜ ) - s T ˜ ] = 1$
which shows that:
$E ( e - s T ˜ ) = e - θ ( s ) u .$
Combining Equations (A10) and (A11) then yields Formula (A7).

By differentiating with respect to s, we have:

$∫ [ 0 , ∞ ) e - s u + z c u c P u + z c ( d z ) = - θ ′ ( s ) u e - θ ( s ) u$
and Formula (A8) follows. For $s = 0$, Equation (A8) becomes Equation (A9) after using Equation (45). ☐