288 Chapter 7
1,0,
()
0, 0,
x
ex
Ax
x
λ
−
⎧
≥
=
⎨
⎩
(1.36)
so that, by relation (1.2):
1
α
. (1.37)
Condition (1.13) or (1.32) becomes:
.c
β
> (1.38)
So, if in general, any Andersen model is defined by two general d.f. A and B on
0,∞[), which, as we already know, justifies the notation G/G model where letter
G stands for "general", on the other hand, any Cramer-Lundberg model is defined
by a strictly positive parameter
, defining the Poisson process of claim arrivals
and by a general d.f. B on
)
0,
for claim amounts. This also explains the
notation P/G (P for "Poisson" and G for "general") for this particular model.
1.2.2 The Ruin Probability
Now we will see how it is possible to build specific mathematical treatments to
obtain simple results concerning the non-ruin probability function
.
From now on, we will suppose that condition (1.38) is satisfied; otherwise,
is
identically 0.
From standard rules of probability, we get, by conditioning with respect to the
first claim occurrence time,
00
() ( ) () , 0.
uct
t
ue uctydBydtu
λ
φλφ
∞+
−
=+−>
∫∫
(1.39)
By the change of variables z=u+ct, we get:
0
() ( ) () .
uz
z
cc
c
uee zydBydz
c
λλ
λ
φφ
−
∞
=−
∫∫
(1.40)
From classical theorems of analysis, it follows from this last expression that
is
derivable and that its derivative can be computed as follows:
0
0
'( ) ' ( ) ( )
()().
uz
z
cc
u
uu
u
cc
ue e zydBydz
c
ee zydBy
c
λλ
λλ
λ
φφ
λ
φ
−
∞
⎛⎞
=−
⎜⎟
⎝⎠
⎛⎞
+− −
⎜⎟
⎝⎠
∫∫
∫
(1.41)
Using relation (1.40) again, we get:
0
'( ) ( ) ( ) ( ).
u
uu uydBy
cc
λλ
φφ φ
=− −
∫
(1.42)
We will now integrate this last equality term by term on [0,t] to obtain: