Model with random time horizon
64 T. Siegl, R.F. Tichy Insurance: Mathematics and Economics 26 2000 59–73
Table 1 Parameters for the numerical experiments
Parameter c
λ γ
α x
max
K Value
1110 1
110 910
10 1
Due to Eq. 17 and as R
i,j
→ 0 for j → ∞, the maximum norm of the remaining defect goes to 0 as j → ∞. Finally, we want to fit the solution to the boundary value and get the restriction
U x
max
= 1. 18
We have three arbitrary coefficients A
0,0
, A
1,0
and A
2,0
and three equations 18, 17 and 8. Thus, our solution is the only solution of the form 3. What remains is to show that the solution is unique.
The theory of differential equations with deviating arguments gives us uniqueness of the solution under the condition that the corresponding integral operator is contracting. We have chosen to prove existence and uniqueness
in this way as the integral operator for Eq. 2 is of interest itself for numerical simulation. The operator is defined by the integral equation U
= IU, where we define I as the expectation over time over
all events at time t, claims of size y and devaluations of the expected probability of survival in each case.
I U x
= Z
T
e
−λ+γ t
λ Z
x +ct
U x + ct − y dF y + γ Uαx + ct + K
dt + e
−λ+γ T
, 19
where T = x − x
max
c is the remaining time until the barrier is hit and the additive term corresponds to the case
where the barrier is reached before an event occurs. We prove that the operator is strictly contracting by using the maximum norm of the difference of two solutions U and V
kIU − IV k
∞
= max
≤xx
max
|IUx − IV x|.
We write U x − V x as U − V x and obtain:
kIU − IV k
∞
= max
≤xx
max
Z
T
e
−λ+γ t
λ Z
x +ct
U − V x + ct − y dF y + γ U − V αx + ct + K
dt ≤ max
0x
max
Z
T
e
−λ+γ t
λ Z
x +ct
dF y + γ
kU − V k
∞
dt ≤ max
≤xx
max
Z
T
e
−λ+γ t
λ + γ dtkU − V k
∞
≤ 1kU − V k
∞
, where 1
= 1 − exp−λ + γ x
max
c 1. Therefore, we have proved contraction with an explicit contraction
constant 1. Depending on the given cumulative distribution function F the contraction constant can in general be improved. In our analytic solution, we have the exponential distribution with parameter 1. This leads to a maximal
contraction constant of ≈ 0.991 for the parameters in Table 1.
Furthermore, due to the additive term exp −λ + γ T , we cannot have the trivial solution U ≡ 0 if x
max
is finite. By using Banach’s fixed point theorem on L
∞
R
+
we have proved that the solution of Eq. 3 is the only measurable bounded solution of Eq. 2 with Eq. 1.