Professional Documents
Culture Documents
Lectures On Risk Theory PDF
Lectures On Risk Theory PDF
Klaus D. Schmidt
Lehrstuhl f
ur Versicherungsmathematik
Technische Universitat Dresden
Peter Hess
and
Horand St
ormer
Preface
Twentyfive years ago, Hans B uhlmann published his famous monograph Mathe-
matical Methods in Risk Theory in the series Grundlehren der Mathematischen
Wissenschaften and thus established nonlife actuarial mathematics as a recognized
subject of probability theory and statistics with a glance towards economics. This
book was my guide to the subject when I gave my first course on nonlife actuarial
mathematics in Summer 1988, but at the same time I tried to incorporate into my
lectures parts of the rapidly growing literature in this area which to a large extent
was inspired by B uhlmanns book.
The present book is entirely devoted to a single topic of risk theory: Its subject is
the development in time of a fixed portfolio of risks. The book thus concentrates on
the claim number process and its relatives, the claim arrival process, the aggregate
claims process, the risk process, and the reserve process. Particular emphasis is
laid on characterizations of various classes of claim number processes, which provide
alternative criteria for model selection, and on their relation to the trinity of the
binomial, Poisson, and negativebinomial distributions. Special attention is also paid
to the mixed Poisson process, which is a useful model in many applications, to the
problems of thinning, decomposition, and superposition of risk processes, which are
important with regard to reinsurance, and to the role of martingales, which occur
in a natural way in canonical situations. Of course, there is no risk theory without
ruin theory, but ruin theory is only a marginal subject in this book.
The book is based on lectures held at Technische Hochschule Darmstadt and later at
Technische Universitat Dresden. In order to raise interest in actuarial mathematics
at an early stage, these lectures were designed for students having a solid background
in measure and integration theory and in probability theory, but advanced topics like
stochastic processes were not required as a prerequisite. As a result, the book starts
from first principles and develops the basic theory of risk processes in a systematic
manner and with proofs given in great detail. It is hoped that the reader reaching
the end will have acquired some insight and technical competence which are useful
also in other topics of risk theory and, more generally, in other areas of applied
probability theory.
I am deeply indebted to J
urgen Lehn for provoking my interest in actuarial mathe-
matics at a time when vector measures rather than probability measures were on my
viii Preface
mind. During the preparation of the book, I benefitted a lot from critical remarks
and suggestions from students, colleagues, and friends, and I would like to express
my gratitude to Peter Amrhein, Lutz K usters, and Gerd Waldschaks (Universitat
Mannheim) and to Tobias Franke, KlausThomas He, Wolfgang Macht, Beatrice
Mensch, Lothar Partzsch, and Anja Voss (Technische Universitat Dresden) for the
various discussions we had. I am equally grateful to Norbert Schmitz for several
comments which helped to improve the exposition.
Last, but not least, I would like to thank the editors and the publishers for accepting
these Lectures on Risk Theory in the series Skripten zur Mathematischen Stochastik
and for their patience, knowing that an authors estimate of the time needed to
complete his work has to be doubled in order to be realistic.
Introduction 1
1 The Claim Arrival Process 5
1.1 The Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 The Erlang Case . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3 A Characterization of the Exponential Distribution . . . . . . . . . . 12
1.4 Remarks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2 The Claim Number Process 17
2.1 The Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.2 The Erlang Case . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.3 A Characterization of the Poisson Process . . . . . . . . . . . . . . . 23
2.4 Remarks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
3 The Claim Number Process as a Markov Process 43
3.1 The Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.2 A Characterization of Regularity . . . . . . . . . . . . . . . . . . . . 51
3.3 A Characterization of the Inhomogeneous Poisson Process . . . . . . 56
3.4 A Characterization of Homogeneity . . . . . . . . . . . . . . . . . . . 62
3.5 A Characterization of the Poisson Process . . . . . . . . . . . . . . . 76
3.6 A Claim Number Process with Contagion . . . . . . . . . . . . . . . . 77
3.7 Remarks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
4 The Mixed Claim Number Process 85
4.1 The Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
4.2 The Mixed Poisson Process . . . . . . . . . . . . . . . . . . . . . . . 87
4.3 The PolyaLundberg Process . . . . . . . . . . . . . . . . . . . . . . 93
4.4 Remarks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
5 The Aggregate Claims Process 103
5.1 The Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
5.2 Compound Distributions . . . . . . . . . . . . . . . . . . . . . . . . . 109
5.3 A Characterization of the Binomial, Poisson, and Negativebinomial
Distributions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
5.4 The Recursions of Panjer and DePril . . . . . . . . . . . . . . . . . . 119
5.5 Remarks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 124
x Contents
Modelling the development in time of an insurers portfolio of risks is not an easy task
since such models naturally involve various stochastic processes; this is especially
true in nonlife insurance where, in constrast with whole life insurance, not only the
claim arrival times are random but the claim severities are random as well.
The sequence of claim arrival times and the sequence of claim severities, the claim
arrival process and the claim size process, constitute the two components of the
risk process describing the development in time of the expenses for the portfolio
under consideration. The claim arrival process determines, and is determined by,
the claim number process describing the number of claims occurring in any time
interval. Since claim numbers are integervalued random variables whereas, in the
continuous time model, claim arrival times are realvalued, the claim number process
is, in principle, more accessible to statistical considerations.
As a consequence of the equivalence of the claim arrival process and the claim
number process, the risk process is determined by the claim number process and
the claim size process. The collective point of view in risk theory considers only
the arrival time and the severity of a claim produced by the portfolio but neglects
the individual risk (or policy) causing the claim. It is therefore not too harmful to
assume that the claim severities in the portfolio are i. i. d. so that their distribution
can easily be estimated from observations. As noticed by Kupper(1) [1962], this
means that the claim number process is much more interesting than the claim size
process. Also, Helten and Sterk(2) [1976] pointed out that the separate analysis of
the claim number process and the claim size process leads to better estimates of the
(1)
Kupper [1962]: Die Schadenversicherung . . . basiert auf zwei stochastischen Gr ossen, der
Schadenzahl und der Schadenh ohe. Hier tritt bereits ein fundamentaler Unterschied zur Lebensver-
sicherung zutage, wo die letztere in den weitaus meisten F allen eine zum voraus festgelegte, feste
Zahl darstellt. Die interessantere der beiden Variablen ist die Schadenzahl.
(2)
Helten and Sterk [1976]: Die Risikotheorie befat sich also zun achst nicht direkt mit der
stochastischen Gesetzm aigkeit des Schadenbedarfs, der aus der stochastischen Gesetzm aigkeit
der Schadenh aufigkeit und der Schadenausbreitung resultiert, denn ein Schadenbedarf . . . kann
ja in sehr verschiedener Weise aus Schadenh aufigkeit und Schadenh ohe resultieren . . . F
ur die
KHaftpflicht zeigt eine Untersuchung von Tr oblinger [1975 ] sehr deutlich, da eine Aufspaltung
des Schadenbedarfs in Schadenh aufigkeit und Schadenh ohe wesentlich zur besseren Schatzung des
Schadenbedarfs beitragen kann.
2 Introduction
aggregate claims amount, that is, the (random) sum of all claim severities occurring
in some time interval.
The present book is devoted to the claim number process and also, to some extent, to
its relatives, the aggregate claims process, the risk process, and the reserve process.
The discussion of various classes of claim number processes will be rather detailed
since familiarity with a variety of properties of potential models is essential for model
selection. Of course, no mathematical model will ever completely match reality, but
analyzing models and confronting their properties with observations is an approved
way to check assumptions and to acquire more insight into real situations.
The book is organized as follows: We start with the claim arrival process (Chapter 1)
Chapter 1
The Claim
Arrival Process
Chapter 2
The Claim
Number Process
Chapter 3 Chapter 5
The Claim Number Process The Aggregate
as a Markov Process Claims Process
Chapter 6
The Risk Process
in Reinsurance
Chapter 4 Chapter 7
The Mixed Claim The Reserve Process
Number Process and the Ruin Problem
Interdependence Table
Introduction 3
and then turn to the claim number process which will be studied in three chapters,
exhibiting the properties of the Poisson process (Chapter 2) and of its extensions
to Markov claim number processes (Chapter 3) and to mixed Poisson processes
(Chapter 4). Mixed Poisson processes are particularly useful in applications since
they reflect the idea of an inhomogeneous portfolio. We then pass to the aggregate
claims process and study some methods of computing or estimating aggregate claims
distributions (Chapter 5). A particular aggregate claims process is the thinned claim
number process occurring in excess of loss reinsurance, where the reinsurer assumes
responsibility for claim severities exceeding a given priority, and this leads to the
discussion of thinning and the related problems of decomposition and superposition
of risk processes (Chapter 6). Finally, we consider the reserve process and the ruin
problem in an infinite time horizon when the premium income is proportional to
time (Chapter 7).
The Interdependence Table given above indicates various possibilities for a selective
reading of the book. For a first reading, it would be sufficient to study Chapters 1,
2, 5, and 7, but it should be noted that Chapter 2 is almost entirely devoted to the
Poisson process. Since Poisson processes are unrealistic models in many classes of
nonlife insurance, these chapters should be complemented by some of the material
presented in Chapters 3, 4, and 6. A substantial part of Chapter 4 is independent
of Chapter 3, and Chapters 6 and 7 contain only sporadic references to definitions
or results of Chapter 3 and depend on Chapter 5 only via Section 5.1. Finally, a
reader who is primarily interested in claim number processes may leave Chapter 5
after Section 5.1 and omit Chapter 7.
The reader of these notes is supposed to have a solid background in abstract measure
and integration theory as well as some knowledge in measure theoretic probability
theory; by contrast, particular experience with special distributions or stochastic
processes is not required. All prerequisites can be found in the monographs by
Aliprantis and Burkinshaw [1990], Bauer [1991, 1992], and Billingsley [1995].
Almost all proofs are given in great detail; some of them are elementary, others
are rather involved, and certain proofs may seem to be superfluous since the result
is suggested by the actuarial interpretation of the model. However, if actuarial
mathematics is to be considered as a part of probability theory and mathematical
statistics, then it has to accept its (sometimes bothering) rigour.
The notation in this book is standard, but for the convenience of the reader we fix
some symbols and conventions; further details on notation may be found in the List
of Symbols.
Throughout this book, let (, F, P ) be a fixed probability space, let B(Rn ) denote
the algebra of Borel sets on the Euclidean space Rn , let denote the counting
measure concentrated on N0 , and let n denote the Lebesgue measure on B(Rn );
in the case n = 1, the superscript n will be dropped.
4 Introduction
The indicator function of a set A will be denoted by A . A family of sets {Ai }iI is
saidPto be disjoint if it is pairwise disjoint, and in this case its union will be denoted
by iI Ai . P A family of sets {Ai }iI is said to be a partition of A if it is disjoint
and satisfies iI Ai = A.
For a sequence of random variables {Zn }nN which are i. i. d. (independent and
identically distributed), a typical random variable of the sequence will be denoted
by Z. As a rule, integrals are Lebesgue integrals, but occasionally we have to switch
to Riemann integrals in order to complete computations.
In some cases, sums, products, intersections, and unions extend over the empty
index set; in this case, they are defined to be equal to zero, one, the reference set,
and the empty set, respectively. The terms positive, increasing, etc. are used in the
weak sense admitting equality.
It has been pointed out before that the present book addresses only a single topic of
risk theory: The development in time of a fixed portfolio of risks. Other important
topics in risk theory include the approximation of aggregate claims distributions,
tariffication, reserving, and reinsurance, as well as the wide field of life insurance or,
more generally, insurance of persons. The following references may serve as a guide
to recent publications on some topics of actuarial mathematics which are beyond
the scope of this book:
Life insurance mathematics: Gerber [1986, 1990, 1995], Wolfsdorf [1986], Wolt-
huis [1994], and Helbig and Milbrodt [1995].
Life and nonlife insurance mathematics: Bowers, Gerber, Hickman, Jones, and
Nesbitt [1986], Panjer and Willmot [1992], and Daykin, Pentikainen and Pesonen
[1994].
Nonlife insurance mathematics: B uhlmann [1970], Gerber [1979], Sundt [1984,
1991, 1993], Heilmann [1987, 1988], Straub [1988], Wolfsdorf [1988], Goovaerts,
Kaas, van Heerwaarden, and Bauwelinckx [1990], Hipp and Michel [1990], and
Norberg [1990].
Since the traditional distinction between life and nonlife insurance mathematics is
becoming more and more obsolete, future research in actuarial mathematics should,
in particular, aim at a unified theory providing models for all classes of insurance.
Chapter 1
We first state the general model which will be studied troughout this book and
which will be completed later (Section 1.1). We then study the special case of a
claim arrival process having independent and identically exponentially distributed
waiting times between two successive claims (Section 1.2). We finally show that the
exponential distribution is of particular interest since it is the unique distribution
which is memoryless on the interval (0, ) (Section 1.3).
We assume that the insurer is primarily interested in the overall performance of the
portfolio, that is, the balance of premiums and claim payments aggregated over all
risks. (Of course, a surplus of premiums over claim payments would be welcome!)
In the case where the portfolio consists of several risks, this means that the insurer
does not care which of the risks in the portfolio causes a particular claim. This is
the collective point of view in risk theory.
6 Chapter 1 The Claim Arrival Process
We assume further that in the portfolio claims occur at random in an infinite time
horizon starting at time zero such that
no claims occur at time zero, and
no two claims occur simultaneously.
The assumption of no two claims occurring simultaneously seems to be harmless.
Indeed, it should not present a serious problem when the portfolio is small; however,
when the portfolio is large, it depends on the class of insurance under consideration
whether this assumption is really acceptable. (For example, the situation is certainly
different in fire insurance and in (third party liability) automobile insurance, where in
certain countries a single insurance company holds about one quarter of all policies;
in such a situation, one has to take into account the possibility that two insurees
from the same large portfolio produce a car accident for which both are responsible
in parts.)
A sequence of random variables {Tn }nN0 is a claim arrival process if there exists a
null set T F such that, for all \T ,
T0 () = 0 and
Tn1 () < Tn () holds for all n N.
Then we have Tn () > 0 for all n N and all \T . The null set T is said
to be the exceptional null set of the claim arrival process {Tn }nN0 .
For a claim arrival process {Tn }nN0 and for all n N, define the increment
Wn := Tn Tn1 .
E[Wn ] > 0
for all n N. The sequence {Wn }nN is said to be the claim interarrival process
induced by the claim arrival process {Tn }nN0 .
1.1 The Model 7
Interpretation:
Tn is the occurrence time of the nth claim.
Wn is the waiting time between the occurrence of claim n1 and the occurrence
of claim n.
With probability one, no claim occurs at time zero and no two claims occur
simultaneously.
For the remainder of this chapter, let {Tn }nN0 be a fixed claim arrival process and
let {Wn }nN be the claim interarrival process induced by {Tn }nN0 . Without loss of
generality, we may and do assume that the exceptional null set of the claim arrival
process is empty.
P
Since Wn = Tn Tn1 and Tn = nk=1 Wn holds for all n N, it is clear that the
claim arrival process and the claim interarrival process determine each other. In
particular, we have the following obvious but useful result:
The assumptions of our model do not exclude the possibility that infinitely many
claims occur in finite time. The event
{supnN Tn < }
is called explosion.
1.1.3 Lemma. If supnN E[Tn ] < , then the probability of explosion is equal to
one.
We conclude this section with a construction which in the following chapter will
turn out to be a useful technical device:
The measure will be called the claim measure induced by the claim arrival process
{Tn }nN0 .
as was to be shown. 2
The previous result connects the claim measure with the claim number process which
will be introduced in Chapter 2.
1.2 The Erlang Case 9
Most results in this book involving special distributions concern the case where the
distributions of the claim arrival times are absolutely continuous with respect to
Lebesgue measure; this case will be referred to as the continuous time model. It is,
however, quite interesting to compare the results for the continuous time model with
corresponding ones for the case where the distributions of the claim arrival times
are absolutely continuous with respect to the counting measure concentrated on N0 .
In the latter case, there is no loss of generality if we assume that the claim arrival
times are integervalued, and this case will be referred to as the discrete time model.
The discrete time model is sometimes considered to be an approximation of the
continuous time model if the time unit is small, but we shall see that the properties
of the discrete time model may drastically differ from those of the continuous time
model. On the other hand, the discrete time model may also serve as a simple
model in its own right if the portfolio is small and if the insurer merely wishes to
distinguish claimfree periods from periods with a strictly positive number of claims.
Results for the discrete time model will be stated as problems in this and subsequent
chapters.
Another topic which is related to our model is life insurance. In the simplest case, we
consider a single random variable T satisfying P [{T > 0}] = 1, which is interpreted
as the time of death or the lifetime of the insured individual; accordingly, this model
is called single life insurance. More generally, we consider a finite sequence of random
variables {Tn }n{0,1,...,N } satisfying P [{T0 = 0}] = 1 and P [{Tn1 < Tn }] = 1 for all
n {1, . . . , N }, where Tn is interpreted as the time of the nth death in a portfolio
of N insured individuals; accordingly, this model is called multiple life insurance.
Although life insurance will not be studied in detail in these notes, some aspects of
single or multiple life insurance will be discussed as problems in this and subsequent
chapters.
Problems
1.1.A If the sequence of claim interarrival times is i. i. d., then the probability of explo-
sion is equal to zero.
1.1.B Discrete Time Model: The inequality Tn n holds for all n N.
1.1.C Discrete Time Model: The probability of explosion is equal to zero.
1.1.D Multiple Life Insurance: Extend the definition of a claim arrival process as
to cover the case of multiple (and hence single) life insurance.
1.1.E Multiple Life Insurance: The probability of explosion is equal to zero.
= 0,
which proves (a).
Assertion (b) is immediate from Corollary 1.1.4. 2
In the case of independent claim interarrival times, the following result is also of
interest:
1.2.2 Lemma. Let (0, ). If the sequence of claim interarrival times {Wn }nN
is independent, then the following are equivalent:
(a) PWn = Exp() for all n N.
(b) PTn = Ga(, n) for all n N.
In this case, E[Wn ] = 1/ and E[Tn ] = n/ holds for all n N, and the probability
of explosion is equal to zero.
1.2 The Erlang Case 11
Proof. The simplest way to prove the equivalence of (a) and (b) is to use charac-
teristic functions. P
Assume first that (a) holds. Since Tn = nk=1 Wk , we have
n
Y
Tn (z) = Wk (z)
k=1
Yn
=
k=1
iz
n
= ,
iz
and thus PTn = Ga(, n). Therefore, (a) implies (b).
Assume now that (b) holds. Since Tn1 + Wn = Tn , we have
n1
Wn (z) = Tn1 (z) Wn (z)
iz
= Tn (z)
n
= ,
iz
hence
Wn (z) = ,
iz
and thus PWn = Exp(). Therefore, (b) implies (a).
The final assertion is obvious from the distributional assumptions and the zero
one law on explosion.
For readers not familiar with characteristic functions, we include an elementary
proof of the implication (a) = (b); only this implication will be needed in the
sequel. Assume that (a) holds. We proceed by induction.
Obviously, since T1 = W1 and Exp() = Ga(, 1), we have PT1 = Ga(, 1).
Assume now that PTn = Ga(, n) holds for some n N. Then we have
Z
n x n1
PTn [B] = e x (0,) (x) d(x)
B (n)
and
Z
PWn+1 [B] = ex (0,) (x) d(x)
B
for all B B(R). Since Tn and Wn+1 are independent, the convolution formula
yields
PTn+1 [B] = PTn +Wn+1 [B]
= PTn PWn+1 [B]
12 Chapter 1 The Claim Arrival Process
Z Z
n (ts) n1 s
= e (ts) (0,) (ts) e (0,) (s) d(s) d(t)
B R (n)
Z Z
n+1 t n1
= e n(ts) (0,t) (s) d(s) (0,) (t) d(t)
B (n+1) R
Z Z t
n+1 t n1
= e n(ts) ds (0,) (t) d(t)
B (n+1) 0
Z
n+1 t n
= e t (0,) (t) d(t)
B (n+1)
Z
n+1 t (n+1)1
= e t (0,) (t) d(t)
B (n+1)
for all B B(R), and thus PTn+1 = Ga(, n+1). Therefore, (a) implies (b). 2
The particular role of the exponential distribution will be discussed in the following
section.
Problems
1.2.A Let Q := Exp() for some (0, ) and let Q0 denote the unique distribution
satisfying Q0 [{k}] = Q[(k1, k]] for all k N. Then Q0 = Geo(1e ).
1.2.B Discrete Time Model: Let (0, 1). If the sequence {Wn }nN is independent,
then the following are equivalent:
(a) PWn = Geo() for all n N.
(b) PTn = Geo(n, ) for all n N.
In this case, E[Wn ] = 1/ and E[Tn ] = n/ holds for all n N.
In the model considered here, it is sufficient to specify the distribution of the claim
interarrival process. This problem is considerably reduced if the claim interarrival
times are assumed to be independent, but even in that case the appropriate choice
of the distributions of the single claim interarrival times is not obvious. In what
follows we shall characterize the exponential distribution by a simple property which
1.3 A Characterization of the Exponential Distribution 13
If PW = Exp(), then the survival function R [0, 1] : w 7 P [{W > w}] of the
distribution of W satisfies P [{W > w}] = ew for all w R+ , and this yields
or, equivalently,
for all s, t R+ . The first identity reflects the fact that the survival function of the
exponential distribution is selfsimilar on R+ in the sense that, for each s R+ ,
the graphs of the mappings t 7 P [{W > s+t}] and t 7 P [{W > t}] differ only by
a scaling factor. Moreover, if W is interpreted as a waiting time, then the second
identity means that the knowledge of having waited more than s time units does
not provide any information on the remaining waiting time. Loosely speaking, the
exponential distribution has no memory (or does not use it). The question arises
whether the exponential distribution is the unique distribution having this property.
hence
Q[(0, )] = 0 ,
and thus
for all t S.
Define t := inf S and choose a sequence {tn }nN S which decreases to t. Then we
have
Q[(, t)] = 0 .
Therefore, we have
Q[{t}] = 1 ,
Q[{t}] Q[(2t, )]
= Q[(t, )] Q[(t, )]
= Q[(t, )]2 ,
1.3.2 Theorem. For a distribution Q : B(R) [0, 1], the following are equivalent:
(a) Q is memoryless on (0, ).
(b) Q = Exp() for some (0, ).
In this case, = log Q[(1, )].
Q[(t, )] = et
1.3.3 Corollary. For a distribution Q : B(R) [0, 1], the following are equivalent:
(a) Q is memoryless on R+ .
(b) Either Q = 0 or Q = Exp() for some (0, ).
Proof. The assertion is immediate from Theorems 1.3.1 and 1.3.2. 2
With regard to the previous result, note that the Dirac distribution 0 is the limit
of the exponential distributions Exp() as .
1.3.4 Corollary. There is no distribution which is memoryless on R.
Proof. If Q : B(R) [0, 1] is a distribution which is memoryless on R, then
either Q = 0 or Q = Exp() for some (0, ), by Theorem 1.3.1 and Corollary
1.3.3. On the other hand, none of these distributions is memoryless on R. 2
Problems
1.3.A Discrete Time Model: For a distribution Q : B(R) [0, 1], the following are
equivalent:
(a) Q is memoryless on N.
(b) Either Q = 1 or Q = Geo() for some (0, 1).
Note that the Dirac distribution 1 is the limit of the geometric distributions
Geo() as 0.
1.3.B Discrete Time Model: For a distribution Q : B(R) [0, 1], the following are
equivalent:
(a) Q is memoryless on N0 .
(b) Either Q = 0 or Q = 1 or Q = Geo() for some (0, 1).
In particular, the negativebinomial distribution fails to be memoryless on N0 .
1.3.C There is no distribution which is memoryless on (, 0).
1.4 Remarks
Since the conclusions obtained in a probabilistic model usually concern probabilities
and not single realizations of random variables, it is natural to state the assump-
tions of the model in terms of probabilities as well. While this is a merely formal
justification for the exceptional null set in the definition of the claim arrival process,
there is also a more substantial reason: As we shall see in Chapters 5 and 6 below,
it is sometimes of interest to construct a claim arrival process from other random
variables, and in that case it cannot in general be ensured that the exceptional null
set is empty.
Theorem 1.3.2 is the most famous characterization of the exponential distribution.
Further characterizations of the exponential distribution can be found in the mono-
graphs by Galambos and Kotz [1978] and, in particular, by Azlarov and Volodin
[1986].
Chapter 2
In the previous chapter, we have formulated a general model for the occurrence of
claims in an insurance business and we have studied the claim arrival process in
some detail.
In the present chapter, we proceed one step further by introducing the claim number
process. Particular attention will be given to the Poisson process.
We first introduce the general claim number process and show that claim number
processes and claim arrival processes determine each other (Section 2.1). We then
establish a connection between certain assumptions concerning the distributions of
the claim arrival times and the distributions of the claim numbers (Section 2.2). We
finally prove the main result of this chapter which characterizes the (homogeneous)
Poisson process in terms of the claim interarrival process, the claim measure, and a
martingale property (Section 2.3).
Interpretation:
Nt is the number of claims occurring in the interval (0, t].
Almost all paths of {Nt }tR+ start at zero, are rightcontinuous, increase with
jumps of height one at discontinuity points, and increase to infinity.
18 Chapter 2 The Claim Number Process
Our first result asserts that every claim arrival process induces a claim number
process, and vice versa:
2.1.1 Theorem.
(a) Let {Tn }nN0 be a claim arrival process. For all t R+ and , define
X
Nt () := {Tn t} () .
n=1
Then {Nt }tR+ is a claim number process such that N = T , and the identity
Tn () = inf{t R+ | Nt () = n}
holds for all n N0 and all \T .
(b) Let {Nt }tR+ be a claim number process. For all n N0 and , define
Tn () := inf{t R+ | Nt () = n} .
Then {Tn }nN0 is a claim arrival process such that T = N , and the identity
X
Nt () = {Tn t} ()
n=1
n
6
5 Nt ()
0 - t
0 T1 () T2 () T3 () T4 () T5 ()
For the remainder of this chapter, let {Nt }tR+ be a claim number process, let
{Tn }nN0 be the claim arrival process induced by the claim number process, and let
{Wn }nN be the claim interarrival process induced by the claim arrival process. We
assume that the exceptional null set is empty.
2.1 The Model 19
By virtue of the assumption that the exceptional null set is empty, we have two
simple but most useful identities, showing that certain events determined by the
claim number process can be interpreted as events determined by the claim arrival
process, and vice versa:
The following result expresses in a particularly concise way the fact that the claim
number process and the claim arrival process contain the same information:
2.1.3 Lemma.
({Nt }tR+ ) = ({Tn }nN0 ) .
In view of the preceding discussion, it is not surprising that explosion can also be
expressed in terms of the claim number process:
= {supnN Tn < } ,
2.1.5 Corollary. Assume that the claim number process has finite expectations.
Then the probability of explosion is equal to zero.
Proof. By assumption, we have E[Nt ] < and hence P [{Nt = }] = 0 for all
t (0, ). The assertion now follows from Lemma 2.1.4. 2
20 Chapter 2 The Claim Number Process
The discussion of the claim number process will to a considerable extent rely on the
properties of its increments which are defined as follows:
For s, t R+ such that s t, the increment of the claim number process {Nt }tR+
on the interval (s, t] is defined to be
X
Nt Ns := {s<Tn t} .
n=1
Since N0 = 0 and Tn > 0 for all n N, this is in accordance with the definition
of Nt ; in addition, we have
Nt () = (Nt Ns )() + Ns () ,
even if Ns () is infinite.
The final result in this section connects the increments of the claim number process,
and hence the claim number process itself, with the claim measure:
Proof. The assertion follows from Lemma 1.1.5 and the definition of Nt Ns . 2
In the discrete time model, we have Nt = Nt+h for all t N0 and h [0, 1) so that
nothing is lost if in this case the index set of the claim number process {Nt }tR+ is
reduced to N0 ; we shall then refer to the sequence {Nl }lN0 as the claim number
process induced by {Tn }nN0 .
Problems
2.1.A Discrete Time Model: The inequalities
(a) Nl Nl1 +1 and
(b) Nl l
hold for all l N.
2.1.B Discrete Time Model: P The identities
(a) {Nl Nl1 = 0} = lj=1 {Tj1 < l < Tj },
P
{Nl Nl1 = 1} = lj=1 {Tj = l}, and
(b) {Tn = l} = {n Nl }\{n Nl1 } = {Nl1 < n Nl }
hold for all n N and l N.
2.2 The Erlang Case 21
P
2.1.C Multiple Life Insurance: For all t R+ , define Nt := N n=1 {Tn t} . Then
there exists a null set N F such that, for all \N ,
N0 () = 0,
Nt () {0, 1, . . . , N } for all t (0, ),
Nt () = inf s(t,) Ns () for all t R+ ,
sups[0,t) Ns () Nt () sups[0,t) Ns () + 1 for all t R+ , and
suptR+ Nt () = N .
This yields
Z
n s n1
P {Tn t} = e s (0,) (s) d(s)
(,t] (n)
for all t R, and hence PTn = Ga(, n). Therefore, (b) implies (a).
The final assertion is obvious. 2
By Lemma 1.2.2, the equivalent conditions of Lemma 2.2.1 are fulfilled whenever the
claim interarrival times are independent and identically exponentially distributed;
that case, however, can be characterized by a much stronger property of the claim
number process involving its increments, as will be seen in the following section.
Problem
2.2.A Discrete Time Model: Let (0, 1). Then the following are equivalent:
(a) PTn = Geo(n, ) for all n N.
(b) PNl = B(l, ) for all l N.
In this case, E[Tn ] = n/ holds for all n N and E[Nl ] = l holds for all l N;
moreover, for each l N, the pair (Nl Nl1 , Nl1 ) is independent and satisfies
PNl Nl1 = B().
2.3 A Characterization of the Poisson Process 23
The following result exhibits a property of the Poisson process which is not captured
by Lemma 2.2.1:
PNt = P(t)
m
Y k m
n! tj tj1 j Y (tj tj1 ) kj tnm
= Qm e
j=1 kj ! j=1 tm j=1
n!
m
Y ((tj tj1 ))kj
= e(tj tj1 ) .
j=1
kj !
PNt = P(t)
as well as
" m
#
\
" # P {Ntj Ntj1 = kj }
m
\
j=1
P {Ntj Ntj1 = kj }{Ntm = n} =
P [{Ntm = n}]
j=1
m
Y
P [{Ntj Ntj1 = kj }]
j=1
=
P [{Ntm = n}]
m
Y ((tj tj1 ))kj
e(tj tj1 )
j=1
kj !
=
(tm )n
etm
n!
n! Y tj tj1 kj
m
= Qm .
j=1 kj ! j=1 tm
Comparing the previous result with Lemmas 2.2.1 and 1.2.2 raises the question
whether the Poisson process can also be characterized in terms of the claim arrival
process or in terms of the claim interarrival process. An affirmative answer to this
question will be given in Theorem 2.3.4 below.
While the previous result characterizes the Poisson process with parameter in the
class of all claim number processes satisfying PNt = P(t) for all t (0, ), we
shall see that there is also a strikingly simple characterization of the Poisson process
in the class of all claim number processes having independent increments; see again
Theorem 2.3.4 below.
Theorem 2.3.4 contains two further characterizations of the Poisson process: one in
terms of the claim measure, and one in terms of martingales, which are defined as
follows:
2.3 A Characterization of the Poisson Process 25
Let I be any subset of R+ and consider a family {Zi }iI of random variables having
finite expectations and an increasing family {Fi }iI of subalgebras of F such
that each Zi is Fi measurable. The family {Fi }iI is said to be a filtration, and it
is said to be the canonical filtration for {Zi }iI if it satisfies Fi = ({Zh }hI(,i] )
for all i I. The family {Zi }iI is a
submartingale for {Fi }iI if it satisfies
Z Z
Zi dP Zj dP
A A
Let us now return to the claim number process {Nt }tR+ . For the remainder of this
section, let {Ft }tR+ denote the canonical filtration for the claim number process.
The following result connects claim number processes having independent incre-
ments and finite expectations with a martingale property:
2.3.2 Theorem. Assume that the claim number process {Nt }tR+ has indepen-
dent increments and finite expectations. Then the centered claim number process
{Nt E[Nt ]}tR+ is a martingale.
Proof. Since constants are measurable with respect to any algebra, the natural
filtration for the claim number process coincides with the natural filtration for the
centered claim number process. Consider s, t R+ such that s < t.
(1) The algebras Fs and (Nt Ns ) are independent:
For m N and s0 , s1 , . . . , sm , sm+1 R+ such that 0 = s0 < s1 < . . . < sm = s < t = sm+1 ,
define
Gs1 ,...,sm := {Nsj }j{1,...,m}
= {Nsj Nsj1 }j{1,...,m} .
26 Chapter 2 The Claim Number Process
By assumption, the increments {Nsj Nsj1 }j{1,...,m+1} are independent, and this
implies that the algebras Gs1 ,...,sm and (Nt Ns ) are independent.
The system of all such algebras Gs1 ,...,sm is directed upwards by inclusion. Let
Es denote the union of these algebras. Then Es and (Nt Ns ) are independent.
Moreover, Es is an algebra, and it follows that (Es ) and (NtNs ) are independent.
Since Fs = (Es ), this means that the algebras Fs and (NtNs ) are independent.
(2) Consider now A Fs . Because of (1), we have
Z Z
Nt E[Nt ] Ns E[Ns ] dP = A (Nt Ns ) E[Nt Ns ] dP
A
Z Z
= A dP (Nt Ns ) E[Nt Ns ] dP
= 0,
and hence
Z Z
Nt E[Nt ] dP = Ns E[Ns ] dP .
A A
(3) It now follows from (2) that {Nt E[Nt ]}tR+ is a martingale. 2
2.3.3 Corollary. Assume that the claim number process {Nt }tR+ is a Poisson
process with parameter . Then the centered claim number process {Nt t}tR+ is
a martingale.
We now turn to the main result of this section which provides characterizations of
the Poisson process in terms of
the claim interarrival process,
the increments and expectations of the claim number process,
the martingale property of a related process, and
the claim measure.
With regard to the claim measure, we need the following definitions: Define
E := A(s, t] | s, t R+ , s t, A Fs
and let
H := (E)
n nNs ()
6 6
Nt () Ns ()
5 3
Nt ()
4 2
3 1
2 - ts
0 T1s () T2s () T3s ()
1
0 - t
0 T1 () T2 () s T3 () T4 () T5 ()
P [{Nt = }] = 0
for all t R+ , and it now follows from Lemma 2.1.4 that the probability of explosion
is equal to zero. Thus, without loss of generality, we may and do assume that
Nt () < holds for all t R+ and all , and this yields
X
= {Nt = k}
k=0
for all t R+ .
(3) For s R+ , define
T0s := 0
for all n N. Therefore, {Tns }nN0 is a claim arrival process. Let {Wns }nN denote
the claim interarrival process induced by {Tns }nN0 .
(4) For each s R+ , the finite dimensional distributions of the claim interarrival
processes {Wns }nN and {Wn }nN are identical ; moreover, Ns and {Wns }nN are
independent:
Consider first t R+ and k N0 . Then we have
Using the transformation formula for integrals, independence of Tk and Wk+1 , and
Fubinis theorem, we obtain
Using this formula twice together with the fact that the distribution of each Wn is
Exp() and hence memoryless on R+ , we obtain
Z
s
P [{Ns = k}{t < W1 }] = P [{sr+t < Wk+1 }] dPTk (r)
(,s]
Z
= P [{sr < Wk+1 }] P [{t < Wk+1 }] dPTk (r)
(,s]
Z
= P [{sr < Wk+1 }] dPTk (r) P [{t < Wk+1 }]
(,s]
Therefore, we have
Since the sequence {Wn }nN is independent and identically distributed, the previous
identities yield
" n
#
\
P {Ns = k} {tj < Wjs }
j=1
" n
#
\
= P {Ns = k}{tj < Wjs }
j=1
30 Chapter 2 The Claim Number Process
" #
\n
s s
= P {Ns = k}{t1 < W1 } {Ns = k}{tj < Wj }
j=2
" #
\n
= P {Ns = k}{t1 < W1s } {Ns = k}{tj < Wk+j }
j=2
" #
\
n
= P {Ns = k}{t1 < W1s } {tj < Wk+j }
j=2
" #
\
n
= P {Tk s}{sTk +t1 < Wk+1 } {tj < Wk+j }
j=2
n
Y
= P [{Tk s}{sTk +t1 < Wk+1 }] P [{tj < Wk+j }]
j=2
n
Y
= P [{Ns = k}{t1 < W1s }] P [{tj < Wk+j }]
j=2
n
Y
= P [{Ns = k}] P [{t1 < W1 }] P [{tj < Wj }]
j=2
n
Y
= P [{Ns = k}] P [{tj < Wj }]
j=1
" n
#
\
= P [{Ns = k}] P {tj < Wj } .
j=1
Therefore, we have
" n
# " n
#
\ \
P {Ns = k} {tj < Wjs } = P [{Ns = k}] P {tj < Wj } .
j=1 j=1
The last two identities show that the finite dimensional distributions of the claim in-
terarrival processes {Wns }nN and {Wn }nN are identical, and that Ns and {Wns }nN
are independent. In particular, the sequence {Wns }nN is independent and satisfies
PWns = Exp() for all n N.
2.3 A Characterization of the Poisson Process 31
= {Tns s
h < Tn+1 }.
Because of (4), the finite dimensional distributions of the claim interarrival processes
{Wns }nN and {Wn }nN are identical, and it follows that the finite dimensional
distributions of the claim arrival processes {Tns }nN0 and {Tn }nN0 are identical as
well. This yields
P [{Ns+h Ns = n}] = P [{Tns h < Tn+1
s
}]
= P [{Tn h < Tn+1 }]
= P [{Nh = n}]
for all n N0 .
(6) The claim number process {Nt }tR+ has independent increments:
Consider first s R+ . Because of (4), Ns and {Wns }nN are independent and
the finite dimensional distributions of the claim interarrival processes {Wns }nN
and {Wn }nN are identical; consequently, Ns and {Tns }nN0 are independent and,
as noted before, the finite dimensional distributions of the claim arrival processes
{Tns }nN0 and {Tn }nN0 are identical as well.
Consider next s R+ , m N, h1 , . . . , hm R+ , and k, k1 , . . . , km N0 . Then we
have
" m
#
\
P {Ns = k} {Ns+hj Ns = kj }
j=1
" m
#
\
= P {Ns = k} {Tksj hj < Tksj +1 }
j=1
" m
#
\
= P [{Ns = k}] P {Tksj hj < Tksj +1 }
j=1
" m
#
\
= P [{Ns = k}] P {Tkj hj < Tkj +1 }
j=1
" m
#
\
= P [{Ns = k}] P {Nhj = kj } .
j=1
32 Chapter 2 The Claim Number Process
which is the assertion for m + 1. This proves our claim, and it follows that the claim
number process {Nt }tR+ has independent increments.
(7) It now follows from (6), (5), and (1) that the claim number process {Nt }tR+ is
a Poisson process with parameter . Therefore, (a) implies (b).
Assume now that (b) holds. Since {Nt }tR+ is a Poisson process with parameter ,
it is clear that {Nt }tR+ has independent increments and satisfies E[Nt ] = t for
all t R+ . Therefore, (b) implies (c).
n
"
"
t
6 "
"
"
5 " Nt ()
"
"
"
4 "
"
"
"
"
3 "
"
"
"
2 ""
"
"
"
1 ""
"
"
"
0 " - t
0 T1 () T2 () T3 () T4 () T5 ()
Assume next that (c) holds. Since {Nt }tR+ has independent increments and
satisfies E[Nt ] = t for all t R+ , it follows from Theorem 2.3.2 that {Nt t}tR+
is a martingale. Therefore, (c) implies (d).
34 Chapter 2 The Claim Number Process
Assume now that (d) holds. For all s, t R+ such that s t and for all A Fs ,
Lemma 2.1.6 together with the martingale property of {Nr r}rR+ yields
Z
[A(s, t]] = (Nt Ns ) dP
ZA
= (ts) dP
A
= (ts) P [A]
= [(s, t]] P [A]
= (P )[A(s, t]] .
|E = (P )|E .
P
Since (0, ) = n=1 (n1, n], the set (0, ) is the union of countably
many sets in E such that P is finite on each of these sets. This means that
the measure |E = (P )|E is finite. Furthermore, since the family {Fs }sR+
is increasing, it is easy to see that E is stable under intersection. Since (E) = H,
it now follows from the uniqueness theorem for finite measures that
|H = (P )|H .
A {t < Wn }
A {t < Wn }
Then we have
Un1 (Hn,t (A)) = A {Tn1 +t < Tn }
= A {t < Wn } ,
as well as
Uk1 (Hn,t (A)) =
for all k N such that k 6= n. This gives
X
A {t < Wn } = Uk1 (Hn,t (A)) .
k=1
Now the problem is to show that Hn,t (A) H; if this is true, then we can apply the
assumption on the claim measure in order to compute P [A {t < Wn }].
(3) The relation Hn,t (A) H holds for all n N, t R+ , and A En1 :
First, for all k, m N0 such that k m and all p, q, s, t R+ such that s+t < p < q,
we have
{s < Tk }{Tm +t p} (p, q] = {Ns < k}{m Npt } (p, q] ,
which is a set in E and hence in H.
Next, for all k, m N such that k m and all s, t R+ , define
Hk,m;s,t := {(, u) | s < Tk (), Tm ()+t < u} .
Then we have
[
Hk,m;s,t = {s < Tk }{Tm +t p} (p, q] ,
p,qQ, s+t<p<q
(4) Consider n N, t R+ , and A En1 . Because of (2) and (3), the assumption
on the claim measure yields
" #
X
1
P [A {t < Wn }] = P Uk (Hn,t (A))
k=1
X
= P [Uk1 (Hn,t (A))]
k=1
X
= PUk [Hn,t (A)]
k=1
= [Hn,t (A)]
= (P )[Hn,t (A)] .
Thus, using the fact that the Lebesgue measure is translation invariant and vanishes
on singletons, we have
Z Z
(Tn1 ()+t,Tn ()] (s) d(s) = [t,Wn ()) (s) d(s)
R R
hence
1
P [A {t < Wn }] = (P )[Hn,t (A)]
Z
= Hn,t (A) (, s) d(P )(, s)
R
Z
= A () (Tn1 ()+t,Tn ()] (s) d(P )(, s)
R
Z Z
= A () (Tn1 ()+t,Tn ()] (s) d(s) dP ()
R
Z Z
= A () [t,Wn ()) (s) d(s) dP ()
R
Z
= A () [t,Wn ()) (s) d(P )(, s)
R
Z
= [t,) (s) A{s<Wn } () d(P )(, s)
R
Z Z
= [t,) (s) A{s<Wn } dP () d(s)
R
Z
= P [A {s < Wn }] d(s) ,
[t,)
and thus
Z
P [A {t < Wn }] = P [A {s < Wn }] d(s) .
[t,)
2.3 A Characterization of the Poisson Process 37
and thus
Z
g(t) g(0) = g(s) d(s)
[0,t)
Z t
= g(s) ds .
0
This implies that the restriction of g to R+ is differentiable and satisfies the differ-
ential equation
g 0 (t) = g(t)
with initial condition g(0) = P [A].
For all t R+ , this yields
g(t) = P [A] et ,
and thus
P [A {t < Wn }] = g(t)
= P [A] et .
(6) Consider n N. Since En1 , the previous identity yields
P [{t < Wn }] = et
for all t R+ . Inserting this identity into the previous one, we obtain
P [A {t < Wn }] = P [A] P [{t < Wn }]
for all t R+ and A En1 . This shows that ({W1 , . . . , Wn1 }) and (Wn ) are
independent.
38 Chapter 2 The Claim Number Process
(7) Because of (6), it follows by induction that the sequence {Wn }nN is independent
and satisfies
PWn = Exp()
for all n N. Therefore, (e) implies (a). 2
To conclude this section, let us consider the prediction problem for claim number
processes having independent increments and finite second moments:
2.3.5 Theorem (Prediction). Assume that the claim number process {Nt }tR+
has independent increments and finite second moments. Then the inequality
E[(Nt (Ns +E[Nt Ns ]))2 ] E[(Nt Z)2 ]
holds for all s, t R+ such that s t and for every random variable Z satisfying
E[Z 2 ] < and (Z) Fs .
Thus, for a claim number process having independent increments and finite second
moments, the best prediction under expected squared error loss of Nt by a random
variable depending only on the history of the claim number process up to time s is
given by Ns + E[Nt Ns ].
2.3.6 Corollary (Prediction). Assume that the claim number process {Nt }tR+
is a Poisson process with parameter . Then the inequality
E[(Nt (Ns +(ts)))2 ] E[(Nt Z)2 ]
holds for all s, t R+ such that s t and for every random variable Z satisfying
E[Z 2 ] < and (Z) Fs .
As in the case of Corollary 2.3.3, the previous result can be considerably improved:
2.3 A Characterization of the Poisson Process 39
2.3.7 Theorem (Prediction). Let (0, ). Then the following are equivalent:
(a) The claim number process {Nt }tR+ has finite second moments and the inequal-
ity
E[(Nt (Ns +(ts)))2 ] E[(Nt Z)2 ]
holds for all s, t R+ such that s t and for every random variable Z satisfying
E[Z 2 ] < and (Z) Fs .
(b) The claim number process {Nt }tR+ is a Poisson process with parameter .
n
6 Ns () + (ts)
"
"
5 "
" Nt ()
"
"
"
4 "
"
"
"
"
3 "
"
"
"
2 "
0 - t
0 T1 () T2 () s T3 () T4 () T5 ()
hence
E[(Nt (Ns +(ts)))A ] = 0 ,
and thus
Z Z
Nt t Ns s dP = Nt (Ns +(ts)) dP
A A
= 0.
Of course, the previous identity is also valid for A Fs satisfying P [A] = 0.
This shows that the process {Nt t}tR+ is a martingale, and it now follows from
Theorem 2.3.4 that the claim number process {Nt }tR+ is a Poisson process with
parameter . Therefore, (a) implies (b).
The converse implication is obvious from Corollary 2.3.6. 2
Problems
2.3.A Discrete Time Model: Adopt the definitions given in this section to the dis-
crete time model. The claim number process {Nl }lN0 is a binomial process
or Bernoulli process with parameter (0, 1) if it has stationary independent
increments such that PNl = B(l, ) holds for all l N.
2.3.B Discrete Time Model: Assume that the claim number process {Nl }lN0 has in-
dependent increments. Then the centered claim number process {NlE[Nl ]}lN0
is a martingale.
2.3.C Discrete Time Model: Let (0, 1). Then the following are equivalent:
(a) The claim number process {Nl }lN0 satisfies
PNl = B(l, )
for all l N as well as
\m 1
m
P {Nj Nj1 = kj }{Nm = n} =
n
j=1
Pm
for all m N and for all n N0 and k1 , . . . , km {0, 1} such that j=1 kj = n.
(b) The claim number process {Nl }lN0 satisfies
PNl = B(l, )
for all l N as well as
m m 1
\ Y lj l j1 lm
P {Nlj Nlj1 = kj }{Nlm = n} =
kj n
j=1 j=1
2.3.D Discrete Time Model: Let (0, 1). Then the following are equivalent:
(a) The sequence of claim interarrival times {Wn }nN is independent and satis-
fies PWn = Geo() for all n N.
(b) The claim number process {Nl }lN0 is a binomial process with parameter .
(c) The claim number process {Nl }lN0 has independent increments and satis-
fies E[Nl ] = l for all l N0 .
(d) The process {Nl l}lN0 is a martingale.
Hint: Prove that (a) (b) (c) (d).
2.3.E Discrete Time Model: Assume that the claim number process {Nl }lN0 has
independent increments. Then the inequality
holds for all l, m N0 such that l m and for every random variable Z satisfying
(Z) Fl .
2.3.F Discrete Time Model: Let (0, 1). Then the following are equivalent:
(a) The inequality
holds for all l, m N0 such that l m and for every random variable Z
satisfying (Z) Fl .
(b) The claim number process {Nl }lN0 is a binomial process with parameter .
2.3.G Multiple Life Insurance: Adopt the definitions given in this section to multiple
life insurance. Study stationarity and independence of the increments of the
process {Nt }tR+ as well as the martingale property of {Nt E[Nt ]}tR+ .
2.3.H Single Life Insurance:
(a) The process {Nt }tR+ does not have stationary increments.
(b) The process {Nt }tR+ has independent increments if and only if the distri-
bution of T is degenerate.
(c) The process {Nt E[Nt ]}tR+ is a martingale if and only if the distribution
of T is degenerate.
2.4 Remarks
The definition of the increments of the claim number process suggests to define, for
each and all B B(R),
X
N ()(B) := {Tn B} () .
n=1
[1977], Neveu [1977], Matthes, Kerstan, and Mecke [1978], Cox and Isham [1980],
Bremaud [1981], Kallenberg [1983], Karr [1991], Konig and Schmidt [1992], Kingman
[1993], and Reiss [1993]; see also Mathar and Pfeifer [1990] for an introduction into
the subject.
The implication (a) = (b) of Theorem 2.3.4 can be used to show that the Poisson
process does exist: Indeed, Kolmogorovs existence theorem asserts that, for any
sequence {Qn }nN of probability measures B(R) [0, 1], there exists a probability
space (, F, P ) and a sequence {Wn }nN of random variables R such that the
sequence
P {Wn }nN is independent and satisfies
P PWn = Qn for all n N. Letting
Tn := nk=1 Wk for all n N0 and Nt := n=1 {Tn t} for all t R+ , we obtain a
claim arrival process {Tn }nN0 and a claim number process {Nt }tR+ . In particular,
if Qn = Exp() holds for all n N, then it follows from Theorem 2.3.4 that
{Nt }tR+ is a Poisson process with parameter . The implication (d) = (b) of
Theorem 2.3.4 is due to Watanabe [1964]. The proof of the implications (d) = (e)
and (e) = (a) of Theorem 2.3.4 follows Letta [1984].
Theorems 2.3.2 and 2.3.4 are typical examples for the presence of martingales in
canonical situations in risk theory; see also Chapter 7 below.
In the case where the claim interarrival times are independent and identically (but
not necessarily exponentially) distributed, the claim arrival process or, equivalently,
the claim number process is said to be a renewal process; see e. g. Gut [1988],
Alsmeyer [1991], Grandell [1991], and Resnick [1992]. This case will be considered,
to a limited extent, in Chapter 7 below.
The case where the claim interarrival times are independent and exponentially (but
not necessarily identically) distributed will be studied in Section 3.4 below.
We shall return to the Poisson process at various places in this book: The Poisson
process occurs as a very special case in the rather analytical theory of regular claim
number processes satisfying the ChapmanKolmogorov equations, which will be
developed in Chapter 3, and it also occurs as a degenerate case in the class of
mixed Poisson processes, which will be studied in Chapter 4. Moreover, thinning,
decomposition, and superposition of Poisson processes, which are important with
regard to reinsurance, will be discussed in Chapters 5 and 6.
Chapter 3
The characterizations of the Poisson process given in the previous chapter show that
the Poisson process is a very particular claim number process. In practical situations,
however, the increments of the claim number process may fail to be independent or
fail to be stationary or fail to be Poisson distributed, and in each of these cases the
Poisson process is not appropriate as a model. The failure of the Poisson process
raises the need of studying larger classes of claim number processes.
We first introduce several properties which a claim number process may possess,
which are all related to its transition probabilities, and which are all fulfilled by the
Poisson process (Section 3.1). We next give a characterization of regularity of claim
number processes satisfying the ChapmanKolmogorov equations (Section 3.2). Our
main results characterize claim number processes which are regular Markov processes
with intensities which are all identical (Section 3.3) or all constant (Section 3.4).
Combining these results we obtain another characterization of the Poisson process
(Section 3.5). We also discuss a claim number process with contagion (Section 3.6).
In the present section we introduce several properties which a claim number process
may possess and which are all fulfilled by the Poisson process. We consider two
44 Chapter 3 The Claim Number Process as a Markov Process
lines of extending the notion of a Poisson process: The first one is based on the
observation that, by definition, every Poisson process has independent increments,
and this leads to the more general notion of a Markov claim number process and
to the even more general one of a claim number process satisfying the Chapman
Kolmogorov equations. The second one, which has a strongly analytical flavour
and is quite different from the first, is the notion of a regular claim number process.
Regular claim number processes satisfying the ChapmanKolmogorov equations will
provide the general framework for the discussion of various classes of claim number
processes and for another characterization of the Poisson process.
The claim number process {Nt }tR+ is a Markov claim number process, or a Markov
process for short, if the identity
" #
\m
P {Ntm+1 = nm+1 } {Ntj = nj } = P [{Ntm+1 = nm+1 }|{Ntm = nm }]
j=1
as well as
and thus
" #
\m
P {Ntm+1 = nm+1 } {Ntj = nj } = P [{Ntm+1 = nm+1 }|{Ntm = nm }] .
j=1
We shall see later that the claim number process may be a Markov process without
being a Poisson process.
Let A denote the set consisting of all (k, n, r, t) N0N0R+R+ such that (k, r)
is admissible, k n, and r t. A map
p : A [0, 1]
is a transition rule for the claim number process {Nt }tR+ if it satisfies
X
p(k, n, r, t) 1
n=k
for all (k, n, r, t) A such that P [{Nr = k}] > 0. It is easy to see that a transition
rule always exists but need not be unique. However, all subsequent definitions and
results involving transition rules will turn out to be independent of the particular
choice of the transition rule.
example, for each admissible pair (k, r) and all t [r, ) such that P [{Nr = k}] > 0,
we have
X
P [{Nt = }|{Nr = k}] = 1 p(k, n, r, t) .
n=k
Also, since every path of a claim number process is increasing in time, there is no
return from infinity. In particular, for all r (0, ) and t [r, ) such that
P [{Nr = }] > 0, we have
P [{Nt = }|{Nr = }] = 1 .
These observations show that, as in the definition of Markov claim number processes,
infinite claim numbers can be disregarded in the definitions of admissible pairs and
transition rules.
The claim number process {Nt }tR+ satisfies the ChapmanKolmogorov equations
if there exists a transition rule p such that the identity
n
X
pk,n (r, t) = pk,m (r, s) pm,n (s, t)
m=k
holds for all (k, n, r, t) A and s [r, t] such that P [{Nr = k}] > 0. The validity of
the ChapmanKolmogorov equations is independent of the particular choice of the
transition rule: Indeed, for m {k, . . . , n} such that P [{Ns = m}{Nr = k}] > 0,
we have P [{Ns = m}] > 0, and thus
pk,m (r, s) pm,n (s, t) = P [{Nt = n}|{Ns = m}] P [{Ns = m}|{Nr = k}] ;
also, for m {k, . . . , n} such that P [{Ns = m}{Nr = k}] = 0, we have pk,m (r, s) =
P [{Ns = m}|{Nr = k}] = 0, and thus
pk,m (r, s) pm,n (s, t) = 0 ,
whatever the value of pm,n (s, t) was defined to be.
3.1.3 Theorem. If the claim number process is a Markov process, then it satisfies
the ChapmanKolmogorov equations.
3.1 The Model 47
Proof. Consider (k, n, r, t) A and s [r, t] such that P [{Nr = k}] > 0. Then
we have
pk,n (r, t) = P [{Nt = n}|{Nr = k}]
n
X
= P [{Nt = n}{Ns = m}|{Nr = k}]
m=k
Xn
= P [{Nt = n}|{Ns = m}{Nr = k}] P [{Ns = m}|{Nr = k}]
m=k
Xn
= P [{Nt = n}|{Ns = m}] P [{Ns = m}|{Nr = k}]
m=k
Xn
= pk,m (r, s) pm,n (s, t) ,
m=k
where the second and the third sum are to be taken only over those m {k, . . . , n}
for which P [{Ns = m}{Nr = k}] > 0. 2
3.1.4 Corollary. If the claim number process has independent increments, then it
satisfies the ChapmanKolmogorov equations.
3.1.5 Corollary. If the claim number process is a Poisson process, then it satisfies
the ChapmanKolmogorov equations.
The claim number process {Nt }tR+ is homogeneous if there exists a transition rule
p such that the identity
pn,n+k (s, s+h) = pn,n+k (t, t+h)
holds for all n, k N0 and s, t, h R+ such that (n, s) and (n, t) are admissible and
satisfy P [{Ns = n}] > 0 and P [{Nt = n}] > 0. Again, homogeneity is independent
of the particular choice of the transition rule.
3.1.6 Theorem. If the claim number process has stationary independent incre-
ments, then it is a homogeneous Markov process.
Proof. By Theorem 3.1.1, the claim number process is a Markov process.
To prove homogeneity, consider k N0 and h R+ and an admissible pair (n, t)
satisfying P [{Nt = n}] > 0. Then we have
pn,n+k (t, t+h) = P [{Nt+h = n+k}|{Nt = n}]
= P [{Nt+h Nt = k}|{Nt N0 = n}]
= P [{Nt+h Nt = k}]
= P [{Nh N0 = k}]
= P [{Nh = k}] .
Therefore, {Nt }tR+ is homogeneous. 2
48 Chapter 3 The Claim Number Process as a Markov Process
ChapmanKolmogorov
Markov
Stationary
Independent Increments
Poisson
We now turn to another property which a claim number process may possess:
The claim number process {Nt }tR+ is regular if there exists a transition rule p
and a sequence {n }nN of continuous functions R+ (0, ) such that, for each
admissible pair (n, t),
(i)
P [{Nt = n}] > 0 ,
(ii) the function R+ [0, 1] : h 7 pn,n (t, t+h) is continuous,
(iii)
1
lim 1 pn,n (t, t+h) = n+1 (t)
h0 h
1
= lim pn,n+1 (t, t+h) .
h0 h
3.1 The Model 49
In this case, {n }nN is said to be the sequence of intensities of the claim number
process. Because of (i), regularity is independent of the particular choice of the
transition rule.
Comment:
Condition (i) means that at any time t (0, ) every finite number of claims is
attained with strictly positive probability.
Condition (ii) means that, conditionally on the event {Nt = n}, the probability of
no jumps in a finite time interval varies smoothly with the length of the interval.
Condition (iii) means that, conditionally on the event {Nt = n}, the tendency for
a jump of any height is, in an infinitesimal time interval, equal to the tendency
for a jump of height one.
3.1.8 Theorem. If the claim number process is a Poisson process with para-
meter , then it is a homogeneous regular Markov process with intensities {n }nN
satisfying n (t) = for all n N and t R+ .
The previous result shows that the properties introduced in this section are all
fulfilled by the Poisson process.
50 Chapter 3 The Claim Number Process as a Markov Process
Problems
3.1.A Discrete Time Model: Adopt the definitions given in this section, as far as
this is reasonable, to the discrete time model.
3.1.B Discrete Time Model: If the claim number process has independent incre-
ments, then it is a Markov process.
3.1.C Discrete Time Model: If the claim number process is a binomial process, then
it is a homogeneous Markov process.
3.1.D Multiple Life Insurance: Adopt the definitions given in the section to mul-
tiple life insurance. Study the Markov property and regularity of the process
{Nt }tR+ .
3.1.E Single Life Insurance: The process {Nt }tR+ is a Markov process.
3.1.F Single Life Insurance: Assume that P [{T > t}] (0, 1) holds for all t (0, ).
Then every transition rule p satisfies p0,0 (r, t) = P [{T > t}]/P [{T > r}] as well
as p0,1 (r, t) = 1 p0,0 (r, t) and p1,1 (r, t) = 1 for all r, t R+ such that r t.
3.1.G Single Life Insurance: Assume that the distribution of T has a density f with
respect to Lebesgue measure and that f is continuous on R+ and strictly positive
on (0, ). For all t R+ , define
f (t)
(t) := .
P [{T > t}]
In particular, we have
Rt
pk,k (r, t) = e r
k+1 (s) ds
> 0.
(2) Assume now that k < n. Then we have
n
X
pk,n (r, t+h) pk,n (r, t) = pk,m (r, t) pm,n (t, t+h) pk,n (r, t)
m=k
n2
X
= pk,m (r, t) pm,n (t, t+h)
m=k
For m {k, . . . , n2}, we have pm,n (t, t+h) 1 pm,m (t, t+h) pm,m+1 (t, t+h),
hence
1
lim pm,n (t, t+h) = 0 ,
h0 h
and
1
lim 1 pn,n (t, t+h) = n+1 (t)
h0 h
yields
1 n2
X 1
lim pk,n (r, t+h) pk,n (r, t) = pk,m (r, t) lim pm,n (t, t+h)
h0 h h0 h
m=k
1
+ pk,n1 (r, t) lim pn1,n (t, t+h)
h h0
1
pk,n (r, t) lim 1 pn,n (t, t+h)
h0 h
n1
X
pk,m (r, s) pm,n (s, t) + pk,n (r, s) 1pn,n (s, t)
m=k
Xn
1 pm,m (s, t)
m=k
Xn
pm,m (r, t)
= 1 ,
m=k
pm,m (r, s)
and thus
limpk,n (r, s) pk,n (r, t) = 0 ,
st
which means that the function t 7 pk,n (r, t) is also left continuous on (r, ) and
hence continuous on [r, ). But then the right derivative of t 7 pk,n (r, t) is con-
tinuous, and this implies that the derivative of t 7 pk,n (r, t) exists and satisfies the
differential equation
d
pk,n (r, t) = pk,n1 (r, t) n (t) pk,n (r, t) n+1 (t)
dt
with initial condition pk,n (r, r) = 0.
(3) Because of (1) and (2), (a) implies (b).
Assume now that (b) holds and consider a transition rule p satisfying the differ-
ential equations and (k, n, r, t) A.
(1) We have already noticed in the preceding part of the proof that the differential
equation
d
pk,k (r, t) = pk,k (r, t) k+1 (t)
dt
with initial condition pk,k (r, r) = 1 has the unique solution
Rt
pk,k (r, t) = e r
k+1 (s) ds
.
(2) Assume now that k < n. Then the function t 7 0 is the unique solution of the
homogeneous differential equation
d
pk,n (r, t) = pk,n (r, t) n+1 (t)
dt
with initial condition pk,n (r, r) = 0. This implies that the inhomogeneous differential
equation
d
pk,n (r, t) = pk,n1 (r, t) n (t) pk,n (r, t) n+1 (t)
dt
with initial condition pk,n (r, r) = 0 has at most one solution.
54 Chapter 3 The Claim Number Process as a Markov Process
Assume that the function t 7 pk,n1 (r, t) is already given (which because of (1) is
the case for n = k + 1) and define
Z t
pk,n (r, t) := pk,n1 (r, s) n (s) pn,n (s, t) ds .
r
Since
Z t
d d
pk,n (r, t) = pk,n1 (r, s) n (s) pn,n (s, t) ds + pk,n1 (r, t) n (t)
dt r dt
Z t
= pk,n1 (r, s) n (s) (pn,n (s, t) n+1 (t)) ds + pk,n1 (r, t) n (t)
r
Z t
= pk,n1 (r, s) n (s) pn,n (s, t) ds (n+1 (t)) + pk,n1 (r, t) n (t)
r
Then we have
Rt
n+1 (s) ds
pn,n (r, t) = e r
= en+1 (r,t)
> 0
for each admissible pair (n, r) and all t [r, ).
First, for all t R+ , we have
P [{Nt = 0}] = P [{Nt = 0}|{N0 = 0}]
= p0,0 (0, t)
> 0.
3.2 A Characterization of Regularity 55
Consider now t (0, ) and assume that p0,n1 (0, t) = P [{Nt = n1}] > 0 holds
for some n N and all t R+ (which is the case for n = 1). Then we have
P [{Nt = n}] = P [{Nt = n}|{N0 = 0}]
= p0,n (0, t)
Z t
= p0,n1 (0, s) n (s) pn,n (s, t) ds
0
> 0.
This yields
P [{Nt = n}] > 0
for each admissible pair (n, t), which proves (i).
Second, for each admissible pair (n, t) and for all h R+ , we have
pn,n (t, t+h) = en+1 (t,t+h) ,
showing that the function h 7 pn,n (t, t+h) is continuous, which proves (ii).
Finally, for each admissible pair (n, t), we have
1 1
lim 1 pn,n (t, t+h) = lim 1 en+1 (t,t+h)
h0 h h0 h
= n+1 (t) ,
and because of
Z t+h
pn,n+1 (t, t+h) = pn,n (t, u) n+1 (u) pn+1,n+1 (u, t+h) du
t
Z t+h
= pn,n (t, u) n+1 (u) en+2 (u,t+h) du
t
Z t+h
n+2 (t,t+h)
= e pn,n (t, u) n+1 (u) en+2 (t,u) du
t
we also have
1
limpn,n+1 (t, t+h)
h0 h
Z
1 n+2 (t,t+h) t+h n+2 (t,u)
= lim e pn,n (t, u) n+1 (u) e du
h0 h t
3.3.1 Lemma. Assume that the claim number process {Nt }tR+ satisfies the
ChapmanKolmogorov equations and is regular. Then the following are equivalent:
(a) The identity
p0,k (t, t+h) = pn,n+k (t, t+h)
holds for all n, k N0 and t, h R+ such that (n, t) is admissible.
(b) The intensities of {Nt }tR+ are all identical.
holds for some k N0 and for each admissible pair (n, t) and all h R+ (which
because of (1) is the case for k = 0). Then we have
Z t+h
p0,k+1 (t, t+h) = p0,k (t, u) k+1 (u) pk+1,k+1 (u, t+h) du
t
Z t+h
= pn,n+k (t, u) n+k+1 (u) pn+k+1,n+k+1 (u, t+h) du
t
= pn,n+k+1 (t, t+h) .
Let : R+ (0, ) be a continuous function. The claim number process {Nt }tR+
is an inhomogeneous Poisson process with intensity if it has independent incre-
ments satisfying
R
t+h
PNt+h Nt = P t (s) ds
3.3 A Characterization of the Inhomogeneous Poisson Process 57
for all t R+ and h (0, ). Thus, the claim number process is an inhomogeneous
Poisson process with constant intensity t 7 if and only if it is a Poisson process
with parameter .
3.3.2 Theorem. Let : R+ (0, ) be a continuous function. Then the
following are equivalent:
(a) The claim number process {Nt }tR+ is a regular Markov process with intensities
{n }nN satisfying n (t) = (t) for all n N and t R+ .
(b) The claim number process {Nt }tR+ has independent increments and is regular
with intensities {n }nN satisfying n (t) = (t) for all n N and t R+ .
(c) The claim number process {Nt }tR+ is an inhomogeneous Poisson process with
intensity .
Proof. Each of the conditions implies that the claim number process satisfies the
ChapmanKolmogorov equations. Therefore, Theorem 3.2.1 applies.
For all r, t R+ such that r t, define
Z t
(r, t) := (s) ds .
r
We prove the assertion according to the following scheme:
(a) = (c) = (b) = (a)
Assume first that (a) holds.
(1) For each admissible pair (n, r) and all t [r, ), we have
Rt
pn,n (r, t) = e r
n+1 (s) ds
Rt
= e r
(s) ds
= e(r,t) .
(2) Assume now that the identity
((r, t))k
pn,n+k (r, t) = e(r,t)
k!
holds for some k N0 and for each admissible pair (n, r) and all t [r, ) (which
because of (1) is the case for k = 0). Then we have
Z t
pn,n+k+1 (r, t) = pn,n+k (r, s) n+k+1 (s) pn+k+1,n+k+1 (s, t) ds
r
Z t
((r, s))k
= e(r,s) (s) e(s,t) ds
r k!
Z t
(r,t) ((r, s))k
= e (s) ds
r k!
((r, t))k+1
= e(r,t)
(k+1)!
for each admissible pair (n, r) and all t [r, ).
58 Chapter 3 The Claim Number Process as a Markov Process
(6) The claim number process {Nt }tR+ has independent increments:
Consider m N, t0 , t1 , . . . , tm R+ such that 0 = t0 < t1 < . . . < tm , and
k1 , . . . , km N0 . For j {0, 1, . . . , m}, define
j
X
nj := ki .
i=1
T Tm1
If P [ m1
j=1 {Ntj Ntj1 = kj }] = P [ j=1 {Ntj = nj }] > 0, then the Markov property
together with (3) and (5) yields
" #
m1
\
P {Ntm = nm } {Ntj = nj } = P [{Ntm = nm }|{Ntm1 = nm1 }]
j=1
= pnm1 ,nm (tm1 , tm )
((tm1 , tm ))nm nm1
= e(tm1 ,tm )
(nm nm1 )!
= P [{Ntm Ntm1 = nm nm1 }]
= P [{Ntm Ntm1 = km }]
and hence
"m # "m #
\ \
P {Ntj Ntj1 = kj } = P {Ntj = nj }
j=1 j=1
" m1 # "m1 #
\ \
= P {Ntm = nm } {Ntj = nj } P {Ntj = nj }
j=1 j=1
"m1 #
\
= P [{Ntm Ntm1 = km }] P {Ntj = nj }
j=1
"m1 #
\
= P [{Ntm Ntm1 = km }] P {Ntj Ntj1 = kj } .
j=1
T
is also valid if P [ m1
j=1 {Ntj Ntj1 = kj }] = 0.
It now follows by induction that {Nt }tR+ has independent increments.
(7) Because of (5) and (6), {Nt }tR+ is an inhomogeneous Poisson process with
intensity . Therefore, (a) implies (c).
60 Chapter 3 The Claim Number Process as a Markov Process
Assume now that (c) holds. Of course, {Nt }tR+ has independent increments.
Furthermore, for each admissible pair (n, r) and all k N0 and t [r, ), we have
((r, t))k
pn,n+k (r, t) = e(r,t)
k!
Z t
((r, s))k1
= e(r,t) (s) ds
r (k1)!
Z t
(r,s) ((r, s))k1
= e (s) e(s,t) ds
r (k1)!
Z t
= pn,n+k1 (r, s) (s) pn+k,n+k (s, t) ds .
r
It now follows from Theorem 3.2.1 that {Nt }tR+ is regular with intensities {n }nN
satisfying n (t) = (t) for all n N and t R+ . Therefore, (c) implies (b).
Assume finally that (b) holds. Since {Nt }tR+ has independent increments, it
follows from Theorem 3.1.1 that {Nt }tR+ is a Markov process. Therefore, (b) im-
plies (a). 2
3.3.3 Lemma (Multinomial Criterion). If the claim number process {Nt }tR+
is an inhomogeneous Poisson process with intensity , then the identity
" # R tj !kj
m
\ n!
m
Y (s) ds
tj1
P {Ntj Ntj1 = kj }{Ntm = n} = Qm R tm
j=1 kj ! (s) ds
j=1 j=1 0
Problems
3.3.A Assume that the claim number process has independent increments and is regular.
Then its intensities are all identical.
3.3.B The following are equivalent:
(a) The claim number process is a regular Markov process and its intensities are
all identical.
(b) The claim number process has independent increments and is regular.
(c) The claim number process is an inhomogeneous Poisson process.
R
3.3.C Consider a continuous function : R+ (0, ) satisfying 0 (s) ds = . For
all t R+ , define Z t
%(t) := (s) ds
0
as well as
Nt. := N%(t)
and
Nt/ := N%1 (t) .
(a) If the claim number process {Nt }tR+ is a Poisson process with parameter 1,
then {Nt. }tR+ is an inhomogeneous Poisson process with intensity .
(b) If the claim number process {Nt }tR+ is an inhomogeneous Poisson process
with intensity , then {Nt/ }tR+ is a Poisson process with parameter 1.
62 Chapter 3 The Claim Number Process as a Markov Process
R
3.3.D Consider a continuous function : R+ (0, ) satisfying 0 (s) ds = . For
all t R+ , define
Z t
%(t) := (s) ds .
0
holds for all t, h R+ and for every random variable Z satisfying E[Z 2 ] <
and (Z) Ft .
3.4.1 Lemma. Assume that the claim number process {Nt }tR+ satisfies the
ChapmanKolmogorov equations and is regular. Then the following are equivalent:
(a) {Nt }tR+ is homogeneous.
(b) The intensities of {Nt }tR+ are all constant.
Proof. Assume first that (a) holds and consider n N0 . For all s, t (0, ),
we have
1
n+1 (s) = lim pn,n+1 (s, s+h)
h
h0
1
= lim pn,n+1 (t, t+h)
h0 h
= n+1 (t) .
(1) For all n N0 and s, t, h R+ such that (n, s) and (n, t) are admissible, we
have
R s+h
pn,n (s, s+h) = e s
n+1 (u) du
R s+h
= e s
n+1 du
= en+1 h ,
and hence
pn,n (s, s+h) = pn,n (t, t+h) .
(2) Assume now that the identity
pn,n+k (s, s+h) = pn,n+k (t, t+h)
holds for some k N0 and for all n N0 and s, t, h R+ such that (n, s) and (n, t)
are admissible (which because of (1) is the case for k = 0). Then we have
Z s+h
pn,n+k+1 (s, s+h) = pn,n+k (s, u) n+k+1 (u) pn+k+1,n+k+1 (u, s+h) du
s
Z s+h
= pn,n+k (t, ts+u) n+k+1 pn+k+1,n+k+1 (ts+u, t+h) du
s
Z t+h
= pn,n+k (t, v) n+k+1 pn+k+1,n+k+1 (v, t+h) dv
t
Z t+h
= pn,n+k (t, v) n+k+1 (v) pn+k+1,n+k+1 (v, t+h) dv
t
= pn,n+k+1 (t, t+h)
for all n N0 and s, t, h R+ such that (n, s) and (n, t) are admissible.
(3) Because of (1) and (2), (b) implies (a). 2
The main result of this section is the following characterization of homogeneous
regular Markov processes:
3.4.2 Theorem. Let {n }nN be a sequence of real numbers in (0, ). Then the
following are equivalent:
(a) The claim number process {Nt }tR+ is a regular Markov process with intensities
{n }nN satisfying n (t) = n for all n N and t R+ .
(b) The sequence of claim interarrival times {Wn }nN is independent and satisfies
PWn = Exp(n ) for all n N.
Proof. For n N, let Tn and Wn denote the random vectors Rn with
coordinates Ti and Wi , respectively, and let Mn denote the (n n)matrix with
entries
1 if i j
mij :=
0 if i < j .
64 Chapter 3 The Claim Number Process as a Markov Process
as well as T1 1 1
n = Wn Mn . Furthermore, let 1n denote the vector in R with all
n
coordinates being equal to one, and let h. , .i denote the inner product on Rn .
Assume first that (a) holds. Since the claim arrival process is more directly related
to the claim number process than the claim interarrival process is, we shall first
determine the finite dimensional distributions of the claim arrival process and then
apply the identity Wn = M1 n Tn to obtain the finite dimensional distributions of
the claim interarrival process.
Consider two sequences {rj }jN and {tj }jN0 of real numbers satisfying t0 = 0 and
tj1 rj < tj for all j N. We first exploit regularity and then the Markov property
in order to determine the finite dimensional distributions of the claim arrival process.
(1) For each admissible pair (j, r) and all t [r, ), we have
pj,j (r, t) = ej+1 (tr) .
Indeed, regularity yields
Rt
j+1 (s) ds
pj,j (r, t) = e r
Rt
= e r
j+1 ds
= ej+1 (tr) .
(2) For all j N and r, t (0, ) such that r t, we have
j
ej (tr) ej+1 (tr) if j 6= j+1
pj1,j (r, t) = j+1 j
(tr) ej (tr)
j if j = j+1 .
Indeed, if j 6= j+1 , then regularity together with (1) yields
Z t
pj1,j (r, t) = pj1,j1 (r, s) j (s) pj,j (s, t) ds
r
Z t
= ej (sr) j ej+1 (ts) ds
r
Z t
(j rj+1 t)
= j e e(j+1 j )s ds
r
1
= j e(j rj+1 t) e(j+1 j )t e(j+1 j )r
j+1 j
j
= ej (tr) ej+1 (tr) ;
j+1 j
3.4 A Characterization of Homogeneity 65
= j (tr) ej (tr) .
and
" n
#
\
P {Ntj = j}{Nrj = j 1} > 0.
j=1
This follows by induction, using (1) and (2) and the Markov property:
For n = 1, we have
and
Assume now that the assertion holds for some n N. Then we have
" n
#
\
P {Nrn+1 = n} {Ntj = j}{Nrj = j 1}
j=1
" n #
\
= P {Nrn+1 = n} {Ntj = j}{Nrj = j 1}
j=1
"n #
\
P {Ntj = j}{Nrj = j 1}
j=1
> 0
3.4 A Characterization of Homogeneity 67
and
"n+1 #
\
P {Ntj = j}{Nrj = j 1}
j=1
" #
\n
= P {Ntn+1 = n+1} {Nrn+1 = n} {Ntj = j}{Nrj = j 1}
j=1
" n
#
\
P {Nrn+1 = n} {Ntj = j}{Nrj = j 1}
j=1
> 0.
Indeed, using (4), the Markov property, (3), and (1), we obtain, for all h (0, ),
" n #
\
P {rj < Tj tj }
j=1
" n
#
\
= P {Nrj < j Ntj }
j=1
" n1
#
\
= P {Ntn n}{Nrn = n1} {Ntj = j}{Nrj = j 1}
j=1
= P [{Ntn n}|{Nrn = n1}]
Y
n1
P [{Nrj+1 = j}|{Ntj = j}] P [{Ntj = j}|{Nrj = j 1}]
j=1
P [{Nr1 = 0}|{N0 = 0}]
n1
Y
= p0,0 (0, r1 ) pj1,j (rj , tj ) pj,j (tj , rj+1 ) 1 pn1,n1 (rn , tn )
j=1
68 Chapter 3 The Claim Number Process as a Markov Process
n1
Y
= p0,0 (h, h+r1 ) pj1,j (rj , tj ) pj,j (tj , rj+1 ) 1 pn1,n1 (rn , tn )
j=1
Y Z tj
n1
= j e(j+1 j )sj dsj pn1,n1 (h, h+rn ) 1 pn1,n1 (rn , tn )
j=1 rj
Y Z tj
n1
(j+1 j )sj n rn n (tn rn )
= j e dsj e 1e
j=1 rj
Y Z tj
n1
= j e(j+1 j )sj dsj en rn en tn
j=1 rj
Y Z tj
n1 Z tn
(j+1 j )sj
= j e dsj n en sn dsn .
j=1 rj rn
"n #
\
P [{Tn A}] = P {rj < Tj tj }
j=1
Y Z tj
n1 Z tn
(j+1 j )sj
= j e dsj n en sn dsn
j=1 rj rn
YZ
n1 Z
(j+1 j )sj
= j e d(sj ) n en sn d(sn )
j=1 (rj ,tj ] (rn ,tn ]
Z n1
Y
!
n
= j e(j+1 j )sj n en sn d (s)
A j=1
Z Y
n
!
n
= j ej (sjsj1 ) (0,) (sj sj1 ) d (s)
A j=1
Z
n
= fn (M1
n (s)) d (s) .
A
(7) Since the sequence {Tn }nN0 is strictly increasing with T0 = 0, it follows from (6)
that the identity
Z
n
P [{Tn A}] = fn (M1
n (s)) d (s)
A
n
holds for all A B(R ).
3.4 A Characterization of Homogeneity 69
= P [{Tn Mn (B)}]
Z
n
= fn (M1
n (s)) d (s)
Mn (B)
Z
n
= fn (w) dM1
n
(w)
B
Z
1 n
= fn (w) 1
d (w)
B | det Mn |
Z
n
= fn (w) d (w)
B
Z Y n
!
n
= j ej wj (0,) (wj ) d (w)
B j=1
n Z
Y
= j ej wj (0,) (wj ) d(wj ) .
j=1 Bj
(9) Because of (8), the sequence {Wn }nN is independent and satisfies
PWn = Exp(n )
l
!
\
{Tkj tj < Tkj +1 } {Tn tl+1 } = T1
n (B) .
j=1
70 Chapter 3 The Claim Number Process as a Markov Process
= Wn1 (A) .
Using independence of Wn and Wn+1 , the transformation formula for integrals, and
Fubinis theorem, we obtain
"m # " l ! #
\ \
P {Ntj = kj } = P {Ntj = kj } {Ntl+1 = n}{Ntm = n}
j=1 j=1
" l
! #
\
= P {Tkj tj < Tkj +1 } {Tn tl+1 }{tm < Tn+1 }
j=1
as well as
P [{Ntm+1 k}{Ntm = km }]
= P [{Ntm+1 k}{Ntm = n}]
= P [{Tn tm < Tn+1 }{Tk tm+1 }]
= P [{Tn tm }{tm Tn < Wn+1 }{U tm+1 Tn Wn+1 }]
Z Z Z
= dPU (u) dPWn+1 (w) dPTn (s)
(,tm ] (tm s,) (,tm+1 sw]
Z Z
= P [{U tm+1 sw}] dPWn+1 (w) dPTn (s)
(,tm ] (tm s,)
Z Z
n+1 w
= P [{U tm+1 sw}] n+1 e d(w) dPTn (s)
(,tm ] (tm s,)
Z Z
n+1 s n+1 v
= e P [{U tm+1 v}] n+1 e d(v) dPTn (s)
(,tm ] (tm ,)
Z Z
n+1 s
= e dPTn (s) P [{U tm+1 v}] dPWn+1 .
(,tm ] (tm ,)
72 Chapter 3 The Claim Number Process as a Markov Process
This yields
" #
\m
P {Ntm+1 k} {Ntj = kj }
j=1
" m
#
\
P {Ntm+1 k} {Ntj = kj }
j=1
= " m
#
\
P {Ntj = kj }
j=1
Z Z
n+1 h1n ,si
e dPWn (s) P [{U tm+1 v}] dPWn+1 (v)
A (tm ,)
= Z Z
n+1 h1n ,si
e dPWn (s) dPWn+1 (v)
A (tm ,)
Z
P [{U tm+1 v}] dPWn+1 (v)
(tm ,)
= Z
dPWn+1 (v)
(tm ,)
Z Z
n+1 s
e dPTn (s) P [{U tm+1 v}] dPWn+1 (v)
(,tm ] (tm ,)
= Z Z
n+1 s
e dPTn (s) dPWn+1 (v)
(,tm ] (tm ,)
P [{Ntm+1 k} {Ntm = km }]
=
P [{Ntm = km }]
= P [{Ntm+1 k}|{Ntm = km }] .
Therefore, we have
" #
\m
P {Ntm+1 k} {Ntj = kj } = P [{Ntm+1 k}|{Ntm = km }]
j=1
holds for all km+1 N0 such that km km+1 , which means that {Nt }tR+ is a
Markov process.
3.4 A Characterization of Homogeneity 73
(2) To prove the assertion on regularity, consider an admissible pair (n, t). As before,
we obtain
P [{Nt+h = n}{Nt = n}] = P [{Tn t}{t+h < Tn+1 }]
= P [{Tn t}{t+hTn < Wn+1 }]
Z Z
= dPWn+1 (w) dPTn (s)
(,t] (t+hs,]
Z Z
n+1 w
= n+1 e d(w) dPTn (s)
(,t] (t+hs,]
Z
= en+1 (t+hs) dPTn (s)
(,t]
Z
n+1 (t+h)
= e en+1 s dPTn (s)
(,t]
> 0,
and thus
pn,n (t, t+h) = P [{Nt+h = n}|{Nt = n}]
P [{Nt+h = n}{Nt = n}]
=
P [{Nt = n}]
Z
n+1 (t+h)
e en+1 s dPTn (s)
= Z (,t]
en+1 t en+1 s dPTn (s)
(,t]
= en+1 h
for all h R+ .
By what we have shown so far, we have
P [{Nt = n}] > 0 ,
which proves (i).
It is also clear that the function h 7 pn,n (t, t+h) is continuous, which proves (ii).
Furthermore, we have
1 1 n+1 h
lim 1 pn,n (t, t+h) = lim 1e
h0 h h0 h
= n+1 .
74 Chapter 3 The Claim Number Process as a Markov Process
Also, we have
P [{Nt+h = n+1}{Nt = n}]
= P [{Tn t < Tn+1 t+h < Tn+2 }]
= P [{Tn t}{tTn < Wn+1 t+hTn }{t+hTn Wn+1 < Wn+2 }]
Z Z Z
= dPWn+2 (u) dPWn+1 (w) dPTn (s)
(,t] (ts,t+hs] (t+hsw,]
Z Z Z
n+2 u
= n+2 e d(u) dPWn+1 (w) dPTn (s)
(,t] (ts,t+hs] (t+hsw,]
Z Z
n+2 (t+hsw)
= e dPWn+1 (w) dPTn (s)
(,t] (ts,t+hs]
Z Z
n+2 (t+hsw) n+1 w
= e n+1 e d(w) dPTn (s)
(,t] (ts,t+hs]
Z Z
n+2 (t+hv) n+1 (vs)
= e n+1 e d(v) dPTn (s)
(,t] (t,t+h]
Z Z
n+2 (t+h) n+1 s
= n+1 e e dPTn (s) e(n+2 n+1 )v d(v) ,
(,t] (t,t+h]
and thus
P [{Nt+h = n+1}|{Nt = n}]
P [{Nt+h = n+1}{Nt = n}]
=
P [{Nt = n}]
Z Z
n+2 (t+h) n+1 s
n+1 e e dPTn (s) e(n+2 n+1 )v d(v)
(,t] (t,t+h]
= Z
en+1 t en+1 s dPTn (s)
(,t]
Z
= n+1 en+1 t en+2 (t+h) e(n+2 n+1 )v d(v) .
(t,t+h]
and thus
1 1 n+1
lim pn,n+1 (t, t+h) = lim en+1 h en+2 h
h0 h h0 h n+2 n+1
= n+1 ;
and thus
1 1
lim pn,n+1 (t, t+h) = lim n+1 h en+1 h
h0 h h0 h
= n+1 .
Problems
3.4.A The following are equivalent:
(a) The claim number process is a regular Markov process and its intensities are
all constant.
(b) The claim interarrival times are independent and exponentially distributed.
3.4.B Let % : R+ R+ be a continuous function which is strictly increasing and
satisfies %(0) = 0 and limt %(t) = . For all t R+ , define
Then {Nt% }tR+ is a claim number process. Moreover, if {Nt }tR+ has indepen-
dent increments or is a Markov process or satisfies the Chapman-Kolmogorov
equations or is regular, then the same is true for {Nt% }tR+ .
3.4.C Operational Time: A continuous function % : R+ R+ which is strictly
increasing and satisfies %(0) = 0 and limt %(t) = is an operational time for
the claim number process {Nt }tR+ if the claim number process {Nt% }tR+ is
homogeneous.
Assume that the claim number process {Nt }tR+ satisfies the ChapmanKolmo-
gorov equations and is regular with intensities {n }nN , and let {n }nN be a
sequence of real numbers in (0, ). Then the following are equivalent:
(a) There exists an operational time % for the claim number process {Nt }tR+
such that %n (t) = n holds for all n N and t R+ . R
(b) There exists a continuous function : R+ (0, ) satisfying 0 (s) ds =
and such that n (t) = n (t) holds for all n N and t R+ .
Hint: Use
R t Theorem 3.2.1 and choose and %, respectively, such that the identity
%(t) = 0 (s) ds holds for all t R+ .
3.4.D Operational Time: RIf {Nt }tR+ is an inhomogeneous Poisson process with
intensity satisfying 0 (s) ds = , then there exists an operational time %
%
such that {Nt }tR+ is a homogeneous Poisson process with parameter 1.
3.4.E Operational Time: Study the explosion problem for claim number processes
which are regular Markov processes and possess an operational time.
In the first case, the intensities are related to the parameters of the distributions of
the increments of the claim number process; in the second case, they are related to
the parameters of the distributions of the claim interarrival times. It is therefore
not surprising that the Poisson process is the only regular Markov process whose
intensities are all identical and constant:
Proof. The equivalence of (a), (b), and (c) follows from Theorem 3.3.2, and the
equivalence of (a) and (d) follows from Theorem 3.4.2. 2
The equivalence of (c) and (d) in Theorem 3.5.1 is the same as the equivalence of
(a) and (b) in Theorem 2.3.4, which was established by entirely different arguments;
in particular, Theorem 2.3.4 was not used in the proof of Theorem 3.5.1.
Problems
3.5.A Assume that the claim number process has stationary independent increments
and is regular. Then its intensities are all identical and constant.
3.5.B The following are equivalent:
(a) The claim number process is a regular Markov process and its intensities are
all identical and constant.
(b) The claim number process has stationary independent increments and is
regular.
(c) The claim number process is a Poisson process.
(d) The claim interarrival times are independent and identically exponentially
distributed.
(2) To prove the assertion on regularity, consider an admissible pair (n, t).
First, since
P [{Nt = n}] = p0,n (0, t)
+ n 1 t n
= e 1 et ,
n
we have P [{Nt = n}] > 0, which proves (i).
Second, since
+n
pn,n (t, t+h) = eh
= e(+n)h ,
the function h 7 pn,n (t, t+h) is continuous, which proves (ii).
Finally, we have
1 1 (+n)h
lim 1 pn,n (t, t+h) = lim 1e
h0 h h0 h
= +n ,
as well as
1 1 +n
lim pn,n+1 (t, t+h) = lim + n eh 1 eh
h0 h h0 h
= +n .
This proves (iii).
We have thus shown that {Nt }tR+ is regular with intensities {n }nN satisfying
n (t) = ( + n 1) for all n N and t R+ .
(3) Because of (1) and (2), (b) implies (a).
Let us now prove the final assertions.
(1) Consider t R+ . For all n N0 , we have
P [{Nt = n}] = p0,n (0, t)
+ n 1 t n
= e 1 et .
n
This yields
PNt = NB , et .
(2) Consider now t, h R+ . Because of (1), we have, for all k N0 ,
P [{Nt+h Nt = k}]
X
= P [{Nt+h Nt = k}{Nt = n}]
n=0
3.6 A Claim Number Process with Contagion 81
X
= P [{Nt+h = n + k}|{Nt = n}] P [{Nt = n}]
n=0
X
= pn,n+k (t, t+h) p0,n (0, t)
n=0
X + n + k 1 h +n k
= e 1 eh
n=0
k
!
+ n 1 t n
e 1 et
n
k
X +k1 e(t+h) 1 eh
=
n=0
k 1 eh + e(t+h) 1 eh + e(t+h)
!
+k+n1 +k n
1 eh + e(t+h) eh e(t+h)
n
k
+k1 e(t+h) 1 eh
=
k 1 eh + e(t+h) 1 eh + e(t+h)
X
+k+n1 +k h n
1 eh + e(t+h) e e(t+h)
n=0
n
k
+k1 e(t+h) 1 eh
=
k 1 eh + e(t+h) 1 eh + e(t+h)
(t+h) k
+k1 1 e et
= .
k e(t+h) et + 1 e(t+h) et + 1
This yields
1
PNt+h Nt = NB , .
1 + e(t+h) et
(3) It is clear that {Nt }tR+ is homogeneous.
(4) It is clear from the formula for the transition probabilities that {Nt }tR+ cannot
have independent increments. 2
Comment: The previous result illustrates the fine line between Markov claim
number processes and claim number processes which only satisfy the Chapman
Kolmogorov equations: By Theorem 3.4.2, the sequence of claim interarrival times
{Wn }nN is independent and satisfies PWn = Exp(( + n 1) ) for all n N if
and only if the claim number process {Nt }tR+ is a regular Markov process with
intensities {n }nN satisfying n = ( + n 1) for all n N; in this case the
claim number process clearly satisfies the equivalent conditions of Theorem 3.6.1.
82 Chapter 3 The Claim Number Process as a Markov Process
On the other hand, the equivalent conditions of Theorem 3.6.1 involve only the
twodimensional distributions of the claim number process, which clearly cannot
tell anything about whether the claim number process is a Markov process or not.
3.6.2 Corollary (Positive Contagion). Let , (0, ) and assume that the
claim number process {Nt }tR+ satisfies the ChapmanKolmogorov equations and is
regular with intensities {n }nN satisfying
n (t) = ( + n 1)
Thus, in the situation of Corollary 3.6.2, the conditional probability of at least one
claim occurring in the interval (t, t+h] increases with the number of claims already
occurred up to time t.
The claim number process considered in this section illustrates the importance of
the negativebinomial distribution.
Another regular claim number process which is not homogeneous but has station-
ary increments and which is also related to the negativebinomial distribution and
positive contagion will be studied in Chapter 4 below.
Problems
3.6.A Negative Contagion: For N, modify the definitions given in Section 3.1
by replacing the set N0 {} by {0, 1, . . . , }.
Let N and (0, ). Then the following are equivalent:
(a) The claim number process {Nt }tR+ satisfies the ChapmanKolmogorov
equations and is regular with intensities {n }nN satisfying
n (t) = ( + 1 n)
holds for each admissible pair (n, t) and all k {0, 1, . . . , n} and h R+ .
3.6 A Claim Number Process with Contagion 83
In this case, {Nt }tR+ is homogeneous, the increments are neither independent
nor stationary, and
PNt+h Nt = B , et 1eh
n (t) = ( + 1 n)
for all n {1, . . . , } and t R+ . Then, for all t, h (0, ), the function
PW1 = Exp() .
Compare this result with Theorem 3.4.2 and try to compute PWn for arbitrary
n N or n {1, . . . , }, respectively.
3.6.D If the claim number process has positive or negative contagion, change parameters
by choosing 0 (0, ) and 0 R\{0} such that
n (t) = 0 + (n1) 0
or
n (t) = (t) (n+1)
3.7 Remarks
The relations between the different classes of claim number processes studied in this
chapter are presented in the following table:
ChapmanKolmogorov
n (t)
Markov Homogeneous CK
n (t) n (t) = n
Homogeneous Poisson
n (t) =
Of course, the different classes of regular claim number processes appearing in one
line are not disjoint.
In Chapter 4 below, we shall study another, and rather important, claim number
process which turns out to be a regular Markov process with intensities depending
on time and on the number of claims already occurred; this is an example of a claim
number process which is not homogeneous and has dependent stationary increments.
The choice of appropriate assumptions for the claim number process describing a
portfolio of risks is a serious problem. In the present chapter we discuss a general
method to reduce the problem. The basic idea is to interpret an inhomogeneous
portfolio of risks as a mixture of homogeneous portfolios. The claim number process
describing the inhomogeneous portfolio is then defined to be a mixture of the claim
number processes describing the homogeneous portfolios such that the mixing distri-
bution represents the structure of the inhomogeneous portfolio. We first specify the
general model (Section 4.1) and then study the mixed Poisson process (Section 4.2)
and, in particular, the PolyaLundberg process (Section 4.3).
The prerequisites required for the present chapter exceed those for the previous ones
in that conditioning will be needed not only in the elementary setting but in full
generality. For information on conditioning, see Bauer [1991], Billingsley [1995], and
Chow and Teicher [1988].
Accordingly, the random variable and its distribution P are said to be the struc-
ture parameter and the structure distribution of the portfolio, respectively, and the
claim number process {Nt }tR+ is said to be a mixed claim number process.
The claim number process {Nt }tR+ has
conditionally independent increments with respect to if, for all m N and
t0 , t1 , . . . , tm R+ such that 0 = t0 < t1 < . . . < tm , the family of increments
{Ntj Ntj1 }j{1,...,m} is conditionally independent with respect to , and it has
conditionally stationary increments with respect to if, for all m N and
t0 , t1 , . . . , tm , h R+ such that 0 = t0 < t1 < . . . < tm , the family of increments
{Ntj +h Ntj1 +h }j{1,...,m} has the same conditional distribution with respect to
as {Ntj Ntj1 }j{1,...,m} .
It is immediate from the definitions that a claim number process having condition-
ally independent increments with respect to has conditionally stationary incre-
ments with respect to if and only if the identity PNt+h Nt | = PNh | holds for all
t, h R+ .
4.1.1 Lemma. If the claim number process has conditionally stationary increments
with respect to , then it has stationary increments.
Proof. For all m N and t0 , t1 , . . . , tm , h R+ such that 0 = t0 < t1 < . . . < tm and
for all k1 , . . . , km N0 , we have
"m # Z \ !
\ m
P {Ntj +h Ntj1 +h = kj } = P {Ntj +h Ntj1 +h = kj } () dP ()
j=1 j=1
Z \ !
m
= P {Ntj Ntj1 = kj } () dP ()
j=1
"m #
\
= P {Ntj Ntj1 = kj } ,
j=1
as was to be shown. 2
By contrast, a claim number process having conditionally independent increments
with respect to need not have independent increments; see Theorem 4.2.6 below.
The following lemma is immediate from the properties of conditional expectation:
4.1.2 Lemma. If the claim number process {Nt }tR+ has finite expectations, then
the identities
E[Nt ] = E[E(Nt |)]
and
var [Nt ] = E[var (Nt |)] + var [E(Nt |)]
hold for all t R+ .
The second identity of Lemma 4.1.2 is called the variance decomposition.
4.2 The Mixed Poisson Process 87
4.2.1 Lemma. If the claim number process {Nt }tR+ is a mixed Poisson process,
then it has stationary increments and satisfies
P [{Nt = n}] > 0
for all t (0, ) and n N0 .
Proof. By Lemma 4.1.1, the claim number process {Nt }tR+ has stationary
increments. Moreover, we have
Z
(t())n
P [{Nt = n}] = et() dP ()
n!
Z
(t)n
= et dP () ,
R n!
and thus P [{Nt = n}] > 0. 2
An obvious question to ask is whether or not a mixed Poisson process can have
independent increments. We shall answer this question at the end of this section.
4.2.2 Lemma (Multinomial Criterion). If the claim number process {Nt }tR+
is a mixed Poisson process, then the identity
" m #
\ m
Y k
n! tj tj1 j
P {Ntj Ntj1 = kj }{Ntm = n} = Qm
j=1 kj ! tm
j=1 j=1
Proof. We have
"m #
\
P {Ntj Ntj1 = kj } {Ntm = n}
j=1
" m
#
\
= P {Ntj Ntj1 = kj }
j=1
88 Chapter 4 The Mixed Claim Number Process
Z !
m
\
= P {Ntj Ntj1 = kj } () dP ()
j=1
Z Y
m
= P ({Ntj Ntj1 = kj }|()) dP ()
j=1
Z Y m
((tj tj1 )())kj
= e(tj tj1 )() dP ()
j=1 kj !
Ym k Z
n! tj tj1 j (tm ())n
= Qm etm () dP ()
j=1 kj ! j=1 tm n!
as well as
Z
(tm ())n
P [{Ntm = n}] = etm () dP () ,
n!
and thus
" #
m
\
P {Ntj Ntj1 = kj } {Ntm = n}
j=1
" m
#
\
P {Ntj Ntj1 = kj } {Ntm = n}
j=1
=
P [{Ntm = n}]
m
Y k Z
n! tj tj1 j (tm ())n
Qm etm () dP ()
j=1 kj ! j=1 tm n!
= Z
(tm ())n
etm () dP ()
n!
Ym k
n! tj tj1 j
= Qm ,
j=1 kj ! j=1 tm
as was to be shown. 2
The multinomial criterion allows to check the assumption that the claim number
process is a mixed Poisson process and is useful to compute the finite dimensional
distributions of a mixed Poisson process.
As a first consequence of the multinomial criterion, we show that every mixed Poisson
process is a Markov process:
4.2.3 Theorem. If the claim number process is a mixed Poisson process, then it
is a Markov process.
4.2 The Mixed Poisson Process 89
Proof. Consider m N, t1 , . . . , tm , tT
m+1 (0, ), and n1 , . . . , nm , nm+1 N0
such that t1 < . . . < tm < tm+1 and P [ m j=1 {Ntj = nj }] > 0. Define t0 := 0 and
n0 := 0. Because of the multinomial criterion, we have
" #
\ m
P {Ntm+1 = nm+1 } {Ntj = nj }
j=1
"m+1 #
\
P {Ntj = nj }
j=1
= " m
#
\
P {Ntj = nj }
j=1
"m+1 #
\
P {Ntj Ntj1 = nj nj1 }
j=1
= " m
#
\
P {Ntj Ntj1 = nj nj1 }
j=1
" m+1 #
\
P {Ntj Ntj1 = nj nj1 } {Ntm+1 = nm+1 } P [{Ntm+1 = nm+1 }]
j=1
= " #
\m
P {Ntj Ntj1 = nj nj1 } {Ntm = nm } P [{Ntm = nm }]
j=1
4.2.4 Theorem. If the claim number process is a mixed Poisson process with
parameter such that has finite moments of any order, then it is regular and
satisfies
hk E[e(t+h) n+k ]
pn,n+k (t, t+h) =
k! E[et n ]
for each admissible pair (n, t) and all k N0 and h (0, ) and with intensities
{n }nN satisfying
E[et n ]
n (t) =
E[et n1 ]
for all n N and t R+ .
Proof. Because of the multinomial criterion, we have
pn,n+k (t, t+h) = P [{Nt+h = n + k}|{Nt = n}]
P [{Nt+h = n + k}]
= P [{Nt = n}|{Nt+h = n + k}]
P [{Nt = n}]
Z
((t+h))n+k
n k e(t+h) dP
n+k t h (n+k)!
= Z
n t+h t+h (t)n
et dP
n!
hk E[e(t+h) n+k ]
= .
k! E[et n ]
Let us now prove the assertion on regularity.
First, Lemma 4.2.1 yields P [{Nt = n}] > 0, which proves (i).
Second, since
E[e(t+h) n ]
pn,n (t, t+h) = ;
E[et n ]
the function h 7 pn,n (t, t+h) is continuous, which proves (ii).
Finally, we have
!
1 1 E[e (t+h) n
]
lim 1 pn,n (t, t+h) = lim 1 t
h0 h h0 h E[e n ]
E[et n+1 ]
=
E[et n ]
as well as
1 1 E[e(t+h) n+1 ]
lim pn,n+1 (t, t+h) = lim h
h0 h h0 h E[et n ]
E[et n+1 ]
= .
E[et n ]
This proves (iii).
4.2 The Mixed Poisson Process 91
We have thus shown that {Nt }tR+ is regular with intensities {n }nN satisfying
E[et n ]
n (t) =
E[et n1 ]
for all n N and t R+ . 2
The following result provides another possibility to check the assumption that the
claim number process is a mixed Poisson process and can be used to estimate the
expectation and the variance of the structure distribution of a mixed Poisson process:
4.2.5 Lemma. If the claim number process {Nt }tR+ is a mixed Poisson process
with parameter such that has finite expectation, then the identities
E[Nt ] = t E[]
and
var [Nt ] = t E[] + t2 var []
hold for all t R+ ; in particular, the probability of explosion is equal to zero.
Proof. The identities for the moments are immediate from Lemma 4.1.2, and the
final assertion follows from Corollary 2.1.5. 2
Thus, if the claim number process {Nt }tR+ is a mixed Poisson process such that
the structure distribution is nondegenerate and has finite expectation, then, for all
t (0, ), the variance of Nt strictly exceeds the expectation of Nt ; moreover, the
variance of Nt is of order t2 while the expectation of Nt is of order t.
We can now answer the question whether a mixed Poisson process can have inde-
pendent increments:
4.2.6 Theorem. If the claim number process {Nt }tR+ is a mixed Poisson pro-
cess with parameter such that has finite expectation, then the following are
equivalent:
(a) The distribution of is degenerate.
(b) The claim number process {Nt }tR+ has independent increments.
(c) The claim number process {Nt }tR+ is an inhomogeneous Poisson process.
(d) The claim number process {Nt }tR+ is a (homogeneous) Poisson process.
Proof. Obviously, (a) implies (d), (d) implies (c), and (c) implies (b).
Because of Lemma 4.2.5 and Theorem 2.3.4, (b) implies (d).
Assume now that {Nt }tR+ is a Poisson process. Then we have
for all t R+ , and Lemma 4.2.5 yields var [] = 0, which means that the structure
distribution is degenerate. Therefore, (d) implies (a). 2
92 Chapter 4 The Mixed Claim Number Process
Problems
4.2.A Assume that the claim number process is a mixed Poisson process with parameter
such that has finite moments of any order. Then it has differentiable inten-
sities {n }nN satisfying
0n (t)
= n (t) n+1 (t)
n (t)
for all n N and t R+ .
4.2.B Assume that the claim number process is a mixed Poisson process with parameter
such that has finite moments of any order. Then the following are equivalent:
(a) The intensities are all identical.
(b) The intensities are all constant.
(c) The claim number process is a homogeneous Poisson process.
4.2.C Estimation: Assume that the claim number process {Nt }tR+ is a mixed
Poisson process with parameter such that has a nondegenerate distribution
and a finite second moment, and define = E[]/var [] and = E[]2 /var [].
Then the inequality
" #
+ Nt 2
E E[( (a + bNt ))2 ]
+t
holds for all m N and l0 , l1 , . . . , lm N0 such that 0 = l0 < l1 < . . . < lm and
for all n N0 and
P k1 , . . . , km N0 such that kj lj lj1 for all j {1, . . . , m}
and such that m j=1 kj = n.
4.3 The P
olyaLundberg Process 93
4.2.G Discrete Time Model: If the claim number process is a mixed binomial pro-
cess, then it is a Markov process.
4.2.H Discrete Time Model: If the claim number process {Nl }lN0 is a mixed bino-
mial process with parameter , then the identities
E[Nl ] = l E[]
and
var [Nl ] = l E[2 ] + l2 var []
hold for all l N0 .
4.2.I Discrete Time Model: If the claim number process {Nl }lN0 is a mixed bino-
mial process with parameter , then the following are equivalent:
(a) The distribution of is degenerate.
(b) The claim number process {Nl }lN0 has independent increments.
(c) The claim number process {Nl }lN0 is a binomial process.
4.2.J Discrete Time Model: Assume that the claim number process {Nl }lN0 is a
mixed binomial process with parameter such that has a nondegenerate dis-
tribution, and define = E[2 ]/var [] and = E[]. Then the inequality
" #
+ Nl 2
E E[( (a + bNl ))2 ]
+l
holds for all l N0 and for all a, b R.
4.3 The P
olyaLundberg Process
The claim number process {Nt }tR+ is a P olyaLundberg process with parameters
and if it is a mixed Poisson process with parameter such that P = Ga(, ).
4.3.1 Theorem. If the claim number process {Nt }tR+ is a PolyaLundberg
process with parameters and , then the identity
"m # Y
m n n
\ ( + nm ) tj tj1 j j1
P {Ntj = nj } = Qm
j=1
() j=1 (nj nj1 )! + tm j=1 + tm
holds for all m N, for all t0 , t1 , . . . , tm R+ such that 0 = t0 < t1 < . . . < tm ,
and for all n0 , n1 , . . . , nm N0 such that 0 = n0 n1 . . . nm ; in particular, the
claim number process {Nt }tR+ has stationary dependent increments and satisfies
PNt = NB ,
+t
for all t (0, ) and
+t
PNt+h Nt |Nt = NB + Nt ,
+t+h
for all t, h (0, ).
94 Chapter 4 The Mixed Claim Number Process
Proof. Because of Lemma 4.2.1 and Theorem 4.2.6, is it clear that the claim
number process has stationary dependent increments.
Let us now prove the remaining assertions:
(1) We have
P [{Nt = n}]
Z
= P ({Nt = n}|()) dP ()
Z
(t())n
= et() dP ()
n!
Z
t (t)n
= e dP ()
R n!
Z
(t)n 1
= et e (0,) () d()
R n! ()
n Z
( + n) t ( + t)+n (+t) +n1
= e (0,) () d()
() n! + t +t R ( + n)
n
+n1 t
= ,
n +t +t
and hence
PNt = NB , .
+t
Ym n n nm
nm ! tj tj1 j j1 + nm 1 tm
= Qm
j=1 (nj nj1 )! j=1 tm nm + tm + tm
Y
m nj nj1
( + nm ) tj tj1
= Qm .
() j=1 (nj nj1 )! + tm j=1
+ tm
4.3 The P
olyaLundberg Process 95
By Theorem 4.3.1, the PolyaLundberg process is not too difficult to handle since
its finite dimensional distributions are completely known although its increments
are not independent.
4.3.2 Corollary (Positive Contagion). If the claim number process {Nt }tR+
is a PolyaLundberg process, then, for all t, h (0, ), the function
is strictly increasing.
96 Chapter 4 The Mixed Claim Number Process
Thus, for the PolyaLundberg process, the conditional probability of at least one
claim occurring in the interval (t, t+h] increases with the number of claims already
occurred up to time t.
We complete the discussion of the PolyaLundberg process by showing that it is a
regular Markov process which is not homogeneous:
4.3.3 Corollary. If the claim number process {Nt }tR+ is a PolyaLundberg
process with parameters and , then it is a regular Markov process satisfying
+n k
+n+k1 +t h
pn,n+k (t, t+h) =
k +t+h +t+h
for each admissible pair (n, t) and all k N0 and h R+ and with intensities
{n }nN satisfying
+n1
n (t) =
+t
for all n N and t R+ ; in particular, the claim number process {Nt }tR+ is not
homogeneous.
Proof. By Theorems 4.2.3 and 4.2.4, the PolyaLundberg process is a regular
Markov process.
By Theorem 4.3.1, we have
pn,n+k (t, t+h) = P [{Nt+h = n+k}|{Nt = n}]
= P [{Nt+h Nt = k}|{Nt = n}]
+n k
+n+k1 +t h
= .
k +t+h +t+h
This yields
1
n+1 (t) = lim pn,n+1 (t, t+h)
h
h0
+n
1 +t h
= lim ( + n)
h0 h +t+h +t+h
+n
= ,
+t
and thus
+n1
n (t) = .
+t
Since the intensities are not constant, it follows from Lemma 3.4.1 that the claim
number process is not homogeneous. 2
In conclusion, the PolyaLundberg process is a regular Markov process which is
not homogeneous and has stationary dependent increments. The discussion of the
PolyaLundberg process thus completes the investigation of regular claim number
processes satisfying the ChapmanKolmogorov equations.
4.3 The P
olyaLundberg Process 97
Problems
4.3.A Let , (0, ). Then the following are equivalent:
(a) The claim number process {Nt }tR+ satisfies the ChapmanKolmogorov
equations and is regular with intensities {n }nN satisfying
+n1
n (t) =
+t
for all t, h (0, ) and all n, k N0 ; in particular, the claim number process
has dependent increments and is not homogeneous.
Compare the result with Theorem 4.3.1 and Corollary 4.3.3.
4.3.B If the claim number process {Nt }tR+ is a PolyaLundberg process with para-
meters and , then
PW1 = Par(, ) .
holds for all t, h (0, ) and for every random variable Z satisfying E[Z 2 ] <
and (Z) Ft .
Interpret the quotient / and compare the result with Theorem 2.3.5.
98 Chapter 4 The Mixed Claim Number Process
4.3.D Prediction: If the claim number process {Nt }tR+ is a PolyaLundberg process
with parameters and , then the identity
t Nt
E(Nt+h Nt |Nt ) = + h
+t +t t
P|Nt = Ga( + t, + Nt )
and hence
+ Nt
E(|Nt ) =
+t
holds for all t R+ .
Compare the result with Problems 4.3.D and 4.2.C.
4.3.F Assume that P = Ga(, , ) with (0, ). If the claim number process
{Nt }tR+ is a mixed Poisson process with parameter , then the identity
m
\ Ym
nm !
P {Ntj = nj } = Qm (tj tj1 )nj nj1
e tm
holds for all m N, for all t0 , t1 , . . . , tm R+ such that 0 = t0 < t1 < . . . < tm
and for all n0 , n1 , . . . , nm N0 such that 0 = n0 n1 . . . nm ; in particular,
the claim number process {Nt }tR+ has stationary dependent increments and
satisfies
PNt = Del t, ,
+t
for all t (0, ).
4.3.G Assume that P = Ga(, , ) with (0, ). If the claim number process
{Nt }tR+ is a mixed Poisson process with parameter , then it is a regular
Markov process satisfying
n + k k h +t
pn,n+k (t, t+h) = h e
k +t+h
X j + n + k j 1
n+k
1
n+kj
j! n+kj +t+h
j=0
n nj
X j + n j 1 1
j! nj +t+h
j=0
4.3 The P
olyaLundberg Process 99
for each admissible pair (n, t) and all k N0 and h R+ and with intensities
{n }nN satisfying
Xn nj
j + n j 1 1
j! nj +t
j=0
n (t) = n n1
X j + n 1 j 1 1 n1j
j! n1j +t
j=0
for all n N and t R+ ; in particular, the claim number process {Nt }tR+ is
not homogeneous.
4.3.H Assume that {Nt0 }tR+ and {Nt00 }tR+ are independent claim number processes
such that {Nt0 }tR+ is a homogeneous Poisson process with parameter and
{Nt00 }tR+ is a PolyaLundberg process with parameters and . For all t R+ ,
define
Nt := Nt0 + Nt00 .
Show that {Nt }tR+ is a claim number process and compute its finite dimensional
distributions.
4.3.I Discrete Time Model: Assume that P = Be(, ). If the claim number
process {Nl }lN0 is a mixed binomial process with parameter , then the identity
Ym
lj lj1 + nm 1 + lm nm 1
m
\ nj nj1 nm lm nm
j=1
P {Nlj = nj } =
lm + + lm 1
j=1
nm lm
holds for all m N, for all l0 , l1 , . . . , lm N0 such that 0 = l0 < l1 < . . . < lm ,
and for all n0 , n1 , . . . , nm N0 such that 0 = n0 n1 . . . nm and such
that nj lj holds for all j {1, . . . , m}; in particular, the claim number process
{Nl }lN0 has stationary dependent increments and satisfies
PNm = NH(m, , )
B(+1, +k1)
PW1 [{k}] =
B(, )
4.3.K Discrete Time Model: Assume that P = Be(, ). If the claim number
process {Nl }lN0 is a mixed binomial process with parameter , then it is a
Markov process satisfying
+n+k1 +mn+lk1
k lk
pn,n+k (m, m+l) =
++m+l1
l
holds for all m, l N and for every random variable Z satisfying E[Z 2 ] < and
(Z) Fm .
Compare the result with Problem 2.3.F.
4.3.M Discrete Time Model: Assume that P = Be(, ). If the claim number
process {Nl }lN0 is a mixed binomial process with parameter , then the identity
+ m Nm
E(Nm+l Nm |Nm ) = E[] + l
++m ++m m
P|Nm = Be( + Nm , + m Nm )
and hence
+ Nm
E(|Nm ) =
++m
holds for all m N0 .
4.4 Remarks
The background of the model discussed in this chapter may become clearer if we
agree to distinguish between insurers portfolios and abstract portfolios. An insurers
portfolio is, of course, a group of risks insured by the same insurance company; by
contrast, an abstract portfolio is a group of risks which are distributed among one or
more insurance companies. Homogeneous insurers portfolios tend to be small, but
homogeneous abstract portfolios may be large. Therefore, it seems to be reasonable
4.4 Remarks 101
to combine information from all insurance companies engaged in the same insurance
business in order to model the claim number processes of homogeneous abstract
portfolios. This gives reliable information on the conditional distribution of the
claim number process of each insurers portfolio. The single insurance company is
then left with the appropriate choice of the structure distribution of its own portfolio.
The interpretation of the mixed claim number process may be extended as follows:
Until now, we have assumed that an inhomogeneous insurers portfolio is a mixture
of abstract portfolios which are homogeneous. In some classes of nonlife insurance
like industrial fire risks insurance, however, it is difficult to imagine portfolios which
are homogeneous and sufficiently large to provide reliable statistical information. It
is therefore convenient to modify the model by assuming that a rather inhomoge-
neous insurers portfolio is a mixture of rather homogeneous abstract portfolios the
mathematics of mixing does not change at all. Once this generalization is accepted,
we may also admit more than two levels of inhomogeneity and mix rather homoge-
neous portfolios to describe more and more inhomogeneous portfolios. In any case,
the level of inhomogeneity of a portfolio is reflected by the variance of the structure
distribution, which is equal to zero if and only if the portfolio is homogeneous.
There is still another variant of the interpretations given so far: The mixed claim
number process may interpreted as the claim number process of a single risk selected
at random from an inhomogeneous portfolio of risks which are similar but distinct
and which can be characterized by a realization of the structure parameter which is
not observable. This interpretation provides a link between claim number processes
or aggregate claims processes and experience rating a theory of premium calculation
which, at its core, is concerned with optimal prediction of future claim numbers or
claim severities of single risks, given individual claims experience in the past as well
as complete or partial information on the structure of the portfolio from which the
risk was selected. An example of an optimal prediction formula for future claim
numbers is given in Problem 4.3.C. For an introduction to experience rating, see
Sundt [1984, 1991, 1993] and Schmidt [1992].
According to Seal [1983], the history of the mixed Poisson process dates back to
a paper of Dubourdieu [1938] who proposed it as a model in automobile insurance
but did not compare the model with statistical data. Two years later, the mixed
Poisson process became a central topic in the famous book by Lundberg [1940]
who developed its mathematical theory and studied its application to sickness and
accident insurance. Still another application was suggested by Hofmann [1955] who
studied the mixed Poisson process as a model for workmens compensation insurance.
For further details on the mixed Poisson process, it is worth reading Lundberg
[1940]; see also Albrecht [1981], the surveys by Albrecht [1985] and Pfeifer [1986],
and the recent manuscript by Grandell [1995]. Pfeifer [1982a, 1982b] and Gerber
[1983] studied asymptotic properties of the claim arrival process induced by a Polya
Lundberg process, and Pfeifer and Heller [1987] and Pfeifer [1987] characterized the
102 Chapter 4 The Mixed Claim Number Process
In order to select a claim number process as a model for given data, it is useful to
recall some criteria which are fulfilled for certain claim number processes but fail for
others. The following criteria refer to the inhomogeneous Poisson process and the
mixed Poisson process, each of them including the homogeneous Poisson process as
a special case:
Independent increments: The inhomogeneous Poisson process has independent
increments, but the mixed Poisson process with a nondegenerate structure dis-
tribution has not.
Stationary increments: The mixed Poisson process has stationary increments,
but the inhomogeneous Poisson process with a nonconstant intensity has not.
Multinomial criterion: The multinomial criterion with probabilities propertional
to time intervals holds for the mixed Poisson process, but it fails for the inhomo-
geneous Poisson process with a nonconstant intensity.
Moment inequality: The moment inequality,
for all t (0, ), is a strict inequality for the mixed Poisson process with a
nondegenerate structure distribution, but it is an equality for the inhomogeneous
Poisson process.
Once the type of the claim number process has been selected according to the
previous criteria, the next step should be to choose parameters and to examine the
goodness of fit of the theoretical finite dimensional distributions to the empirical
ones.
Automobile insurance was not only the godfather of the mixed Poisson process when
it was introduced in risk theory by Dubourdieu [1938] without reference to statistical
data; it still is the most important class of insurance in which the mixed Poisson
process seems to be a good model for the empirical claim number process. This is
indicated in the papers by Thyrion [1960], Delaporte [1960, 1965], Troblinger [1961],
Derron [1962], Bichsel [1964], and Ruohonen [1988], and in the book by Lemaire
[1985]. As a rule, however, these authors considered data from a single period only
and hence compared onedimensional theoretical distributions with empirical ones.
In order to model the development of claim numbers in time, it would be necessary
to compare the finite dimensional distributions of selected claim number processes
with those of empirical processes.
Chapter 5
In the present chapter we introduce and study the aggregate claims process. We first
extend the model considered so far (Section 5.1) and then establish some general
results on compound distributions (Section 5.2). It turns out that aggregate claims
distributions can be determined explicitly only in a few exceptional cases. However,
the most important claim number distributions can be characterized by a simple
recursion formula (Section 5.3) and admit the recursive computation of aggregate
claims distributions and their moments when the claim size distribution is discrete
(Section 5.4).
Of course, we have S0 = 0.
Interpretation:
Xn is the claim amount or claim severity or claim size of the nth claim.
St is the aggregate claims amount of the claims occurring up to time t.
Accordingly, the sequence {Xn }nN is said to be the claim size process, and the
family {St }tR+ is said to be the aggregate claims process induced by the claim
number process and the claim size process.
104 Chapter 5 The Aggregate Claims Process
For the remainder of this chapter, we assume that the sequence {Xn }nN is i. i. d.
and that the claim number process {Nt }tR+ and the claim size process {Xn }nN
are independent.
s
6 St ()
0 - t
0 T1 () T2 () T3 () T4 () T5 ()
Our first result gives a formula for the computation of aggregate claims distributions:
Proof. We have
"( Nt
)#
X
P [{St B}] = P Xk B
" k=1 ( n )#
X X
= P {Nt = n} Xk B
n=0 k=1
"( n
)#
X X
= P [{Nt = n}] P Xk B ,
n=0 k=1
as was to be shown. 2
5.1 The Model 105
Nt
X
St Ss := Xk .
k=Ns +1
St () = (St Ss )() + Ss () ,
even if Ss () is infinite. For the aggregate claims process, the properties of having
independent or stationary increments are defined in the same way as for the claim
number process.
5.1.2 Theorem. If the claim number process has independent increments, then
the same is true for the aggregate claims process.
This yields
"m #
\
P Stj Stj1 Bj
j=1
" m
( tj N )#
\ X
= P Xk Bj
j=1 k=Ntj1 +1
106 Chapter 5 The Aggregate Claims Process
" X
m
! m( Nj
)!#
X X \ \ X
= P Ntj = nj Xk Bj
n1 =0 n2 =n1 nm =nm1 j=1 j=1 k=Nj1 +1
" m
! m ( nj )!#
X X X \ \ X
= P Nt j = n j Xk Bj
n1 =0 n2 =n1 nm =nm1 j=1 j=1 k=nj1 +1
X
m
"(nj nj1 )#!
X X Y X
= P [{Ntj Ntj1 = nj nj1 }] P Xk Bj
n1 =0 n2 =n1 nm =nm1 j=1 k=1
X
Y
m
"( lj
)#!
X X X
= P [{Ntj Ntj1 = lj }] P Xk Bj
l1 =0 l2 =0 lm =0 j=1 k=1
m
"( lj
)#!
Y X X
= P [{Ntj Ntj1 = lj }] P Xk Bj .
j=1 lj =0 k=1
5.1.3 Theorem. If the claim number process has stationary independent incre-
ments, then the same is true for the aggregate claims process.
Proof. By Theorem 5.1.2, the aggregate claims process has independent incre-
ments.
Consider t, h R+ . For all B B(R), Lemma 5.1.1 yields
P St+h St B
"( Nt+h )#
X
= P Xk B
k=N +1
" t ( n+m
)#
XX X
= P {Nt = n}{Nt+h Nt = m} Xk B
n=0 m=0 k=n+1
X
"( n+m
)#
X X
= P [{Nt = n}] P [{Nt+h Nt = m}] P Xk B
n=0 m=0 k=n+1
"( m )#
X X X
= P [{Nt = n}] P [{Nh = m}] P Xk B
n=0 m=0 k=1
"( m )#
X X
= P [{Nh = m}] P Xk B
m=0 k=1
= P [{Sh B}] .
The assumption of Theorem 5.1.3 is fulfilled when the claim number process is
a Poisson process; in this case, the aggregate claims process is also said to be a
compound Poisson process.
Interpretation: For certain claim size distributions, the present model admits
interpretations which differ from the one presented before. Of course, if the claim
size distribution satisfies PX [{1}] = 1, then the aggregate claims process is identical
with the claim number process. More generally, if the claim size distribution satisfies
PX [N] = 1, then the following interpretation is possible:
Nt is the number of claim events up to time t,
Xn is the number of claims occurring at the nth claim event, and
St is the total number of claims up to time t.
This shows the possibility of applying our model to an insurance business in which
two or more claims may occur simultaneously.
Further interesting interpretations are possible when the claim size distribution is a
Bernoulli distribution:
5.1.4 Theorem (Thinned Claim Number Process). If the claim size dis-
tribution is a Bernoulli distribution, then the aggregate claims process is a claim
number process.
Xn () {0, 1}
holds for all n N and \ X . Furthermore, since E[X] > 0, the ChungFuchs
theorem yields the existence of a null set F such that
X
Xk () =
n=1
S := X .
It now follows from the properties of the claim number process {Nt }tR+ and the
previous remarks that the aggregate claims process {St }tR+ is a claim number
process with exceptional null set S . 2
Proof. By Theorem 5.1.3, the aggregate claims process has stationary independent
increments.
Consider t (0, ). By Lemma 5.1.1, we have
"( n )#
X X
P [{St = m}] = P [{Nt = n}] P Xk = m
n=0 k=1
X n
(t) n m
= et (1)nm
n=m
n! m
X
(t)m (1)t ((1)t)nm
= et e
n=m
m! (nm)!
t (t)m X (1)t ((1)t)j
= e e
m! j=0 j!
(t)m
= et
m!
for all m N0 , and hence PSt = P(t).
Therefore, the aggregate claims process is a Poisson process with parameter . 2
Problem
5.1.A Discrete Time Model (Thinned Binomial Process): If the claim number
process is a binomial process with parameter and if the claim size distribution
is a Bernoulli distribution with parameter , then the aggregate claims process
is a binomial process with parameter .
5.2 Compound Distributions 109
Again, the random variables N and S will be referred to as the claim number and
the aggregate claims amount, respectively.
We assume throughout that N and {Xn }nN are independent, and we maintain
the assumption made before that the sequence {Xn }nN is i. i. d. In this case, the
aggregate claims distribution PS is said to be a compound distribution and is denoted
by
C(PN , PX ) .
Compound distributions are also named after the claim number distribution; for
example, if PN is a Poisson distribution, then C(PN , PX ) is said to be a compound
Poisson distribution.
Although this formula is useful in certain special cases, it requires the computa-
tion of convolutions which may be difficult or at least time consuming. For the
most important claim number distributions and for claim size distributions satis-
fying PX [N0 ] = 1, recursion formulas for the aggregate claims distribution and its
moments will be given in Section 5.4 below.
In some cases, it is also helpful to look at the characteristic function of the aggregate
claims distribution.
S (z) = mN (X (z)) .
110 Chapter 5 The Aggregate Claims Process
as was to be shown. 2
Thus, the compound Poisson distributions of Corollaries 5.2.4 and 5.2.5 are nothing
else than a Poisson or a negativebinomial distribution, which are easily computed
by recursion; see Theorem 5.3.1 below.
Corollaries 5.2.8 and 5.2.9 are of interest since the compound binomial distribution
is determined by a finite sum.
Let us now turn to the discussion of moments of the aggregate claims distribution:
5.2.10 Lemma (Walds Identities). Assume that E[N ] < and E|X| < .
Then the expectation and the variance of S exist and satisfy
and
var [S] = E[N ] var [X] + var [N ] E[X]2 .
112 Chapter 5 The Aggregate Claims Process
Proof. We have
" N #
X
E S = E Xk
" k=1
n
#
X X
= E {N =n} Xk
n=1 k=1
" n #
X X
= P [{N = n}] E Xk
n=1 k=1
X
= P [{N = n}] n E[X]
n=1
= E[N ] E[X] ,
and thus
The following general inequalities provide upper bounds for the tail probabilities
P [{S c}] of the aggregate claims distribution:
5.2.12 Lemma. Let Z be a random variable and let h : R R+ be a measurable
function which is strictly increasing on R+ . Then the inequality
E[h(|Z|)]
P [{Z c}]
h(c)
holds for all c (0, ).
Proof. By Markovs inequality, we have
P [{Z c}] P [{|Z| c}]
= P [{h(|Z|) h(c)}]
E[h(|Z|)]
,
h(c)
as was to be shown. 2
5.2.13 Lemma (Cantellis Inequality). Let Z be a random variable satisfying
E[Z 2 ] < . Then the inequality
var [Z]
P [{Z E[Z] + c}]
c2 + var [Z]
holds for all c (0, ).
Proof. Define Y := Z E[Z]. Then we have E[Y ] = 0 and var [Y ] = var [Z]. For
all x (c, ), Lemma 5.2.12 yields
P {Z E[Z] + c} = P {Y c}
= P {Y + x c + x}
E (Y + x)2
(c + x)2
E[Y 2 ] + x2
=
(c + x)2
var [Y ] + x2
=
(c + x)2
var [Z] + x2
= .
(c + x)2
114 Chapter 5 The Aggregate Claims Process
The last expression attains its minimum at x = var [Z]/c, and this yields
2
var [Z]
var [Z] +
c
P {Z E[Z] + c} 2
var [Z]
c+
c
2
c2 var [Z] + var [Z]
= 2
c2 + var [Z]
var [Z]
= 2 ,
c + var [Z]
as was to be shown. 2
Problems
5.2.A Let Q denote the collection of all distributions Q : B(R) [0, 1] satisfying
Q[N0 ] = 1. For Q, R Q, define C(Q, R) by letting
X
C(Q, R)[B] := Q[{n}] Rn [B]
n=0
Proof. The first part of the proof will give the following decomposition of the
(a, b)plane, which in turn will be used in the second part:
b
@ 6
@
@
0 B(m, ) P() NB(, )
@
@
@
@
@
@
@
@
0 @ - a
@
@
@
@
0 1
and thus
n
!
Y c+k1
qn = an q0
k
k=1
c+n1 n
= a q0 .
n
P
In particular, we have qn (1/n)can q0 . Since n=0 qn = 1, we must have a < 1.
Summation yields
X
1 = qn
n=0
X
c+n1
= an q0
n=0
n
= (1 a)c q0 ,
Therefore, we have
a+b
Q = NB ,1 a .
a
Theorem 5.3.1 and its proof suggest to consider the family of all distributions Q
satisfying Q[N0 ] = 1 and for which there exist a, b R satisfying b < a < 1 and
b
qn = a+ qn1
n
Problems
5.3.A Let Q be a nondegenerate distribution satisfying Q[N0 ] = 1 and
b
qn = a + qn1
n
for suitable a, b R and all n N. Then the expectation and the variance of Q
exist and satisfy
a+b
E[Q] =
1a
and
a+b
var [Q] = ,
(1 a)2
and hence
var [Q] 1
= .
E[Q] 1a
Interpret this last identity with regard to Theorem 5.3.1 and its proof, and illus-
trate the result in the (a, b)plane. Show also that
1
v 2 [Q] = .
a+b
and interpret the result.
5.3.B If Q is a geometric or logarithmic distribution, then there exist a, b R satisfying
b
qn = a + qn1
n
for all n N such that n 2.
5.3.C If Q is a Delaporte distribution, then there exist a1 , b1 , b2 R satisfying
b1 b2
qn = a1 + qn1 + qn2
n n
for all n N such that n 2.
5.3.D If Q is a negativehypergeometric distribution, then there exist c0 , c1 , d0 , d1 R
satisfying
c0 + c1 n
qn = qn1
d0 + d1 n
for all n N.
PX [N0 ] = 1 .
Comment: At the first glance, it may seem a bit confusing to assume PX [N0 ] = 1
instead of PX [N] = 1. Indeed, claim severities should be strictly positive, and this is
also true for the number of claims at a claim event. However, our assumption allows
PX to be an aggregate claims distribution, and this opens the possibility of applying
Panjers recursion repeatedly for a class of claim number distributions which are
compound distributions; see Problem 5.4.D below.
pn := P [{N = n}]
fn := P [{X = n}]
gn := P [{S = n}] .
Note that the sum occurring in this formula actually extends only over a finite
number of terms.
and m
n n X (n1)
fm = kf f
m k=1 mk k
hold for all n, m N.
(n1)
= fmk fk .
5.4 The Recursions of Panjer and DePril 121
This yields
"( n
)#
X
n
fm = P Xi = m
i=1
m
"( n
) #
X X
= P Xi = m {Xj = k}
k=0 i=1
Xm
(n1)
= fmk fk ,
k=0
" n
#
1 X
= E {Pn Xi =m} Xj
i=1 m j=1
n
" #
1 X
= E {Pn Xi =m} Xj
m i=1
j=1
Xn Xm
1 (n1)
= k fmk fk
m j=1 k=1
Xm
n (n1)
= k fmk fk ,
m k=1
An analogous result holds for the moments of the aggregate claims distribution:
and hence
n
X n1
X
n nj j n1
= a E[S ] E[X ] + b E[S n1j ] E[X j+1 ]
j=0
j j=0
j
n
X Xn
n n nj j n1
= aE[S ] + a E[S ] E[X ] + b E[S nj ] E[X j ]
j=1
j j=1
j 1
n
X n
j
= aE[S n ] + a+b E[S nj ] E[X j ] ,
j=1
j n
Problems
5.4.A Use DePrils recursion to solve Problem 5.3.A.
5.4.B Use DePrils recursion to obtain Walds identities in the case where PX [N0 ] = 1.
5.4.C Discuss the Ammeter transform in the case where PX [N0 ] = 1.
5.4.D Assume that PX [N0 ] = 1. If PN is nondegenerate and satisfies PN = C(Q1 , Q2 ),
then
5.5 Remarks
Corollary 5.2.5 is due to Quenouille [1949].
Corollary 5.2.8 is due to Panjer and Willmot [1981]; for the case m = 1, see also
Lundberg [1940].
For an extension of Walds identities to the case where the claim severities are not
i. i. d., see Rhiel [1985].
Because of the considerable freedom in the choice of the function h, Lemma 5.2.12
is a flexible instrument to obtain upper bounds on the tail probabilities of the
aggregate claims distribution. Particular bounds were obtained by Runnenburg and
Goovaerts [1985] in the case where the claim number distribution is either a Poisson
or a negativebinomial distribution; see also Kaas and Goovaerts [1986] for the case
where the claim size is bounded. Under certain assumptions on the claim size
5.5 Remarks 125
Theorem 5.3.1 is wellknown; see Johnson and Kotz [1969] and Sundt and Jewell
[1981].
Theorem 5.4.2 is due to Panjer [1981]; for the Poisson case, see also Shumway and
Gurland [1960] and Adelson [1966]. Computational aspects of Panjers recursion
were discussed by Panjer and Willmot [1986], and numerical stability of Panjers
recursion was recently studied by Panjer and Wang [1993], who defined stability in
terms of an index of error propagation and showed that the recursion is stable in
the Poisson case and in the negativebinomial case but unstable in the binomial case;
see also Wang and Panjer [1994].
for all n N, where l N and cj , dj R such that dj 6= 0 for some j {0, . . . , l};
see also Panjer and Willmot [1982] and Willmot and Panjer [1987], who intro-
duced this class and obtained recursions for l = 1 and l = 2, and Wang and
126 Chapter 5 The Aggregate Claims Process
for all n N such that n m, where k, l, m N, cij , dij R such that for each
i {1, . . . , k} there exists some j {0, . . . , l} satisfying dij 6= 0, and pni := 0 for all
i {1, . . . , k} such that i > n. A recursion for the aggregate claims distribution in
this general case is not yet known; for the case l = m = 2, which applies to certain
mixed Poisson distributions, see Willmot [1986] and Willmot and Panjer [1987].
Theorem 5.4.3 is due to DePril [1986]; for the Poisson case, see also Goovaerts,
DeVylder, and Haezendonck [1984]. DePril actually obtained a result more general
than Theorem 5.4.3, namely, a recursion for the moments of Sc with c R. Also,
Kaas and Goovaerts [1985] obtained a recursion for the moments of the aggregate
claims distribution when the claim number distribution is arbitrary.
Let us finally remark that Scheike [1992] studied the aggregate claims process in the
case where the claim arrival times and the claim severities may depend on the past
through earlier claim arrival times and claim severities.
Chapter 6
In the present chapter we introduce the notion of a risk process (Section 6.1) and
study the permanence properties of risk processes under thinning (Section 6.2),
decomposition (Section 6.3), and superposition (Section 6.4). These problems are
of interest in reinsurance.
First, for a risk process ({Nt }tR+ , {Xn }nN ) and a set C B(R), we study the
number and the (conditional) claim size distribution of claims with claim size in C.
These quantities, which will be given an exact definition in Section 6.2, are of interest
in excess of loss reinsurance where the reinsurer is concerned with a portfolio of large
claims exceeding a priority c (0, ).
Second, for a risk process ({Nt }tR+ , {Xn }nN ) and a set C B(R), we study the
relation between two thinned risk processes, one being generated by the claims with
claim size in C and the other one being generated by the claims with claim size in
the complement C. This is, primarily, a mathematical problem which emerges quite
naturally from the problem mentioned before.
Finally, for risk processes ({Nt0 }tR+ , {Xn0 }nN ) and ({Nt00 }tR+ , {Xn00 }nN ) which are
independent, we study the total number and the claim size distribution of all claims
which are generated by either of these risk processes. These quantities, which will
be made precise in Section 6.4, are of interest to the reinsurer who forms a portfolio
128 Chapter 6 The Risk Process in Reinsurance
and " #
l
\
P {j = nj } = l (1)nl l
j=1
T
It is clear that, for each l N, the family { lj=1 {j = nj }}HH(l) is disjoint. The
following lemma shows that it is, up to a null set, even a partition of :
The basic idea for proving the principal results of this section will be to compute
the probabilities of the events of interest
T from their conditional probabilities with
respect to events from the partition { lj=1 {j = nj }}HH(l) with suitable l N.
The following lemma provides the technical tool for the proofs of all further results
of this section:
holds for all k, l N such that k l, for all B1 , . . . , Bk B(R), and for every
sequence {nj }j{1,...,l} H(l).
as was to be shown. 2
6.2.5 Theorem (Thinned Claim Size Process). The sequence {Xn0 }nN is
i. i. d. and satisfies
P [{X 0 B}] = P [{X B}|{X C}]
for all B B(R).
6.2.6 Theorem (Thinned Risk Process). The pair ({Nt0 }tR+ , {Xn0 }nN ) is a
risk process.
Proof. By Theorems 6.2.1 and 6.2.5, we know that {Nt0 }tR+ is a claim number
process and that the sequence {Xn0 }nN is i. i. d.
6.2 Thinning a Risk Process 131
To prove that the pair ({Nt0 }tR+ , {Xn0 }nN ) is independent, consider m, n N,
B1 , . . . , Bn B(R), t0 , t1 , . . . , tm R+ such that 0 = t0 < t1 < . . . < tm , and
k0 , k1 , . . . , km N0 such that 0 = k0 k1 . . . km .
Consider also l0 , l1 , . . . , lm N0 satisfying 0 = l0 l1 . . . lm as well as
kj kj1 lj lj1 for all j {1, . . . , m}. Define n0 := 0 and l := max{n, km +1},
and let H denote the collection of all sequences {nj }j{1,...,l} H(l) satisfying
nkj lj < nkj +1 for all j {1, . . . , m}. By Lemma 6.2.4 and Theorem 6.2.5, we
have
"n m
( lj )#
\ \ X
P {Xi0 Bi } {Xh C} = kj
i=1 j=1 h=1
" n m
#
\ \
= P {Xi0 Bi } {kj lj < kj +1 }
i=1 j=1
" n l
#
X \ \
= P {Xi0 Bi } {j = nj }
HH i=1 j=1
n !
X Y
= P [{X Bi }|{X C}] l (1)nl l
HH i=1
" n
#
X \
= P {Xi0 Bi } l (1)nl l
HH i=1
" n
#
\ X
= P {Xi0 Bi } l (1)nl l ,
i=1 HH
hence
" n m m
#
\ \ \
P {Xi0 Bi } {Nt0j = kj } {Ntj = lj }
i=1 j=1 j=1
" n m
( Ntj ) m
#
\ \ X \
= P {Xi0 Bi } {Xh C} = kj {Ntj = lj }
i=1 j=1 h=1 j=1
" n m
(
lj
) m
#
\ \ X \
= P {Xi0 Bi } {Xh C} = kj {Ntj = lj }
i=1 j=1 h=1 j=1
" n m
( lj )# " m
#
\ \ X \
= P {Xi0 Bi } {Xh C} = kj P {Ntj = lj }
i=1 j=1 h=1 j=1
" n
# " m
#
\ X \
= P {Xi0 Bi } l (1)nl l P {Ntj = lj } ,
i=1 HH j=1
132 Chapter 6 The Risk Process in Reinsurance
and thus
" n m m
#
\ \ \
P {Xi0 Bi } {Nt0j = kj } {Ntj = lj }
i=1 j=1 j=1
" n
# " m m
#
\ \ \
= P {Xi0 Bi } P {Nt0j = kj } {Ntj = lj } .
i=1 j=1 j=1
Summation yields
"n m
# "n # "m #
\ \ \ \
P {Xi0 Bi } {Nt0j = kj } = P {Xi0 Bi } P {Nt0j = kj } .
i=1 j=1 i=1 j=1
Problems
6.2.A The sequence {l }lN0 is a claim arrival process (in discrete time) satisfying
Pl = Geo(l, )
for all l N. Moreover, the claim interarrival times are i. i. d. Study also the
claim number process induced by the claim arrival process {l }lN0 .
6.2.B For c (0, ) and C := (c, ), compute the distribution of X 0 for some specific
choices of the distribution of X.
6.2.C Discrete Time Model: The risk process ({Nl }lN0 , {Xn }nN ) is a binomial
risk process if the claim number process {Nl }lN0 is a binomial process.
Study the problem of thinning for a binomial risk process.
6.3 Decomposition of a Poisson Risk Process 133
:= P [{X C}] .
We assume that the probability of explosion is equal to zero and that (0, 1).
Let us first consider the thinned claim number processes generated by the claims
with claim size in C or in C, respectively.
and
Nt
X
Nt00 := {Xn C} .
n=1
By Theorem 6.2.1, {Nt0 }tR+ and {Nt00 }tR+ are claim number processes.
Ym
kj 0 00
= 0
kj (1)kj
j=1
kj
as well as
" m
# m
\ Y
P {Ntj Ntj1 = kj } = P [{Ntj Ntj1 = kj }]
j=1 j=1
m
Y ((tj tj1 ))kj
= e(tj tj1 ) ,
j=1
kj !
and hence
"m #
\
P {Nt0j Nt0j1 = kj0 } {Nt00j Nt00j1 = kj00 }
j=1
" m #
m
\ \
= P {Nt0j Nt0j1 = kj0 } {Nt00j Nt00j1 = kj00 } {Ntj Ntj1 = kj }
j=1 j=1
" m
#
\
P {Ntj Ntj1 = kj }
j=1
m
Y m
Y
kj kj0 kj00 ((tj tj1 ))kj
= (1) e(tj tj1 )
j=1
kj0 j=1
kj !
Ym m
((tj tj1 ))kj Y (1)(tj tj1 ) ((1)(tj tj1 ))kj
0 00
(tj tj1 )
= e e .
j=1
kj0 ! j=1
k 00
j !
This implies that {Nt0 }tR+ and {Nt00 }tR+ are Poisson processes with parameters
and (1), respectively, and that {Nt0 }tR+ and {Nt00 }tR+ are independent. 2
and
00
l00 := inf{n N | l1 < n, Xn C} .
For m, n N0 such that m + n N, let D0 (m, n) denote the collection of all pairs
of strictly increasing sequences {mi }i{1,...,k} N and {nj }j{1,...,l} N satisfying
6.3 Decomposition of a Poisson Risk Process 135
and " #
k
\ l
\
P {i0 = mi } {j00 = nj } = k (1)l
i=1 j=1
hold for all m, n N0 such that m+n N and for all ({mi }i{1,...,k} , {nj }j{1,...,l} )
D(m, n).
ItTis clear that, forTevery choice of m, n N0 such that m + n N, the family
{ ki=1 {i0 = mi } lj=1 {j00 = nj }}DD(m,n) is disjoint; the following lemma shows
that it is, up to a null set, even a partition of :
6.3.3 Corollary. The identity
"k l
#
X \ \
P {i0 = mi } {j00 = nj } = 1
DD(m,n) i=1 j=1
By Corollary 6.2.3, each n0 and each n00 is finite. For all n N, define
X
Xn0 := {n0 =k} Xk
k=1
and
X
Xn00 := {n00 =k} Xk .
k=1
holds for all n N, for all B10 , . . . , Bn0 B(R) and B100 , . . . , Bn00 B(R), and for every
pair ({mi }i{1,...,k} , {nj }j{1,...,l} ) D(n, n).
Proof. By Lemma 6.3.2 and Theorem 6.2.5, we have
" n n k l
#
\ \ \ \
P {Xh0 Bh0 } {Xh00 Bh00 } {i0 = mi } {j00 = nj }
h=1 h=1 i=1 j=1
" n n k l
#
\ \ \ \
= P {Xmi Bh0 } {Xnj Bh00 } {i0 = mi } {j00 = nj }
h=1 h=1 i=1 j=1
" n n k l
#
\ \ \ \
= P {Xmi Bh0 } {Xnj Bh00 } {Xmi C} {Xnj C}
h=1 h=1 i=1 j=1
" n n k l
#
\ \ \ \
= P {Xmi Bh0 C} {Xnj Bh00 C} {Xmi C} {Xnj C}
h=1 h=1 i=n+1 j=n+1
n
Y n
Y
= P [{X Bh0 C}] P [{X Bh00 C}]
h=1 h=1
k
Y l
Y
P [{X C}] P [{X C}]
i=n+1 j=n+1
n
Y Yn
= P [{X Bh0 }|{X C}] P [{X Bh00 }|{X C}]
h=1 h=1
k
Y l
Y
P [{X C}] P [{X C}]
i=1 j=1
6.3 Decomposition of a Poisson Risk Process 137
n
Y n
Y
= P [{Xh0 Bh0 }] P [{Xh00 Bh00 }] k (1)l
h=1 h=1
n n
" k l
#
Y Y \ \
= P [{Xh0 Bh0 }] P [{Xh00 Bh00 }] P {i0 = mi } {j00 = nj } ,
h=1 h=1 i=1 j=1
as was to be shown. 2
6.3.5 Theorem (Decomposition of a Claim Size Process). The claim size
processes {Xn0 }nN and {Xn00 }nN are independent.
Proof. Consider n N, B10 , . . . , Bn0 B(R), and B100 , . . . , Bn00 B(R). By Lemma
6.3.4, we have, for every pair ({mi }i{1,...,k} , {nj }j{1,...,l} ) D(n, n),
" n n k l
#
\ \ \ \
P {Xh0 Bh0 } {Xh00 Bh00 } {i0 = mi } {j00 = nj }
h=1 h=1 i=1 j=1
n n
" k l
#
Y Y \ \
= P [{Xh0 Bh0 }] P [{Xh00 Bh00 }] P {i0 = mi } {j00 = nj } .
h=1 h=1 i=1 j=1
" n m
( kj )#
\ \ X
P {Xh0 Bh0 }{Xh00 Bh00 } {Xr C} = kj0
h=1 j=1 r=1
" n m
#
X \ \
= P {Xh0 Bh0 }{Xh00 Bh00 } {max{k0 j0 , k00j00 } = kj }
DD h=1 j=1
" n k l
#
X \ \ \
= P {Xh0 Bh0 }{Xh00 Bh00 } {i0 = mi } {j00 = nj }
DD h=1 i=1 j=1
n n
!
X Y Y
= P [{Xh0 Bh0 }] P [{Xh00 Bh00 }] k (1)l
DD h=1 h=1
" n
#
X \
= P {Xh0 Bh0 }{Xh00 Bh00 } k (1)l
DD h=1
" n
#
\ X
= P {Xh0 Bh0 }{Xh00 Bh00 } k (1)l ,
h=1 DD
hence
" n m
#
\ \
P {Xh0 Bh0 }{Xh00 Bh00 } {Nt0j = kj0 }{Nt00j = kj00 }
h=1 j=1
" n m
#
\ \
= P {Xh0 Bh0 }{Xh00 Bh00 } {Nt0j = kj0 }{Ntj = kj }
h=1 j=1
" n m
( Ntj ) #
\ \ X
= P {Xh0 Bh0 }{Xh00 Bh00 } {Xr C} = kj0 {Ntj = kj }
h=1 j=1 r=1
" n m kj
( ) #
\ \ X
= P {Xh0 Bh0 }{Xh00 Bh00 } {Xr C} = kj0 {Ntj = kj }
h=1 j=1 r=1
" n m kj
( ) " m
#
\ \ X \
= P {Xh0 Bh0 }{Xh00 Bh00 } {Xr C} = kj0 P {Ntj = kj }
h=1 j=1 r=1 j=1
" n
# " m
#
\ X \
= P {Xh0 Bh0 }{Xh00 Bh00 } k (1)l P {Ntj = kj } ,
h=1 DD j=1
and thus
" n m
#
\ \
P {Xh0 Bh0 }{Xh00 Bh00 } {Nt0j = kj0 }{Nt00j = kj00 }
h=1 j=1
" n
# " m
#
\ \
= P {Xh0 Bh0 }{Xh00 Bh00 } P {Nt0j = kj0 }{Nt00j = kj00 } .
h=1 j=1
6.3 Decomposition of a Poisson Risk Process 139
Therefore, the algebras ({Nt0 }tR+ {Nt00 }tR+ ) and ({Xn0 }nN {Xn00 }nN ) are
independent.
The assertion follows. 2
Let {St0 }tR+ and {St00 }tR+ denote the aggregate claims processes induced by the
risk processes ({Nt0 }tR+ , {Xn0 }nN ) and ({Nt00 }tR+ , {Xn00 }nN ), respectively. In the
case where ({Nt }tR+ , {Xn }nN ) is a Poisson risk process, one should expect that
the sum of the aggregate claims processes {St0 }tR+ and {St00 }tR+ agrees with the
aggregate claims process {St }tR+ . The following result asserts that this is indeed
true:
6.3.7 Theorem. Assume that ({Nt }tR+ , {Xn }nN ) is a Poisson risk process.
Then the aggregate claims processes {St0 }tR+ and {St00 }tR+ are independent, and
the identity
St = St0 + St00
holds for all t R+ .
Proof. By Theorem 6.3.6, the aggregate claims processes {St0 }tR+ and {St00 }tR+
are independent.
For all {Nt0 = 0} {Nt00 = 0}, we clearly have
St0 () + St00 () = St () .
Thus, for ({mi }i{1,...,k} , {nj }j{1,...,l} ) D(k 0 , k 00 ) satisfying max{mk0 , nk00 } > k 0 +k 00
T T
the set {Nt0 = k 0 } {Nt00 = k 00 } ki=1 {i0 = mi } lj=1 {j00 = nj } is empty, and for
({mi }i{1,...,k} , {nj }j{1,...,l} ) D(k 0 , k 00 ) satisfying max{mk0 , nk00 } = k 0 +k 00 we have,
T T
for all {Nt0 = k 0 } {Nt00 = k 00 } ki=1 {i0 = mi } lj=1 {j00 = nj },
Nt0 () Nt00 ()
X X
St0 () + St00 () = Xi0 () + Xj00 ()
i=1 j=1
k0
X k00
X
= Xi0 () + Xj00 ()
i=1 j=1
k0
X k
X
00
= Xmi () + Xnj ()
i=1 j=1
0 +k 00
kX
= Xh ()
h=1
140 Chapter 6 The Risk Process in Reinsurance
Nt
X
= Xh ()
h=1
= St () .
This yields
St0 () + St00 () = St ()
St0 + St00 = St ,
as was to be shown. 2
Problems
6.3.A Let ({Nt }tR+ , {Xn }nN ) be a Poisson risk process satisfying PX = Exp(),
and let C := (c, ) for some c (0, ).
Compute the distributions of X 0 and X 00 , compare the expectation, variance and
coefficient of variation of X 0 and of X 00 with the corresponding quantities of X,
and compute these quantities for St0 , St00 , and St (see Problem 5.2.G).
6.3.B Extend the results of this section to the decomposition of a Poisson risk process
into more than two Poisson risk processes.
6.3.C Let ({Nt }tR+ , {Xn }nN ) be a Poisson risk process satisfying PX [{1, . . . , m}] = 1
for some m N. For all j {1, . . . , m} and t R+ , define
Nt
X
(j)
Nt := {Xn =j} .
n=1
(1) (m)
Then the claim number processes {Nt }tR+ , . . . , {Nt }tR+ are independent,
and the identity
m
X (j)
St = j Nt
j=1
Since the claim number processes {Nt0 }tR+ and {Nt00 }tR+ are independent and
since the distributions of their claim arrival times are absolutely continuous with
respect to Lebesgue measure, we have
P [N ] = 0 .
It is now easy to see that {Nt }tR+ is a claim number process with exceptional null
set N .
(2) For all t R+ , we have
E[Nt ] = E[Nt0 ] + E[Nt00 ]
= 0 t + 00 t
= t .
142 Chapter 6 The Risk Process in Reinsurance
(3) Let {Ft0 }tR+ and {Ft00 }tR+ denote the canonical filtrations of {Nt0 }tR+ and
{Nt00 }tR+, respectively, and let {Ft }tR+ denote the canonical filtration of {Nt }tR+ .
Using independence of the pair ({Nt0 }tR+ , {Nt00 }tR+ ) and the martingale property
of the centered claim number processes {Nt0 0 t}tR+ and {Nt00 00 t}tR+ , which
is given by Theorem 2.3.4, we see that the identity
Z
(Nt+h Nt h) dP
A0 A00Z
0 00
= (Nt+h +Nt+h ) (Nt0 +Nt00 ) (0 +00 )h dP
0 00
ZA A Z
0 0 0 00
= (Nt+h Nt h) dP + (Nt+h Nt00 00 h) dP
0
A A Z00 0
A A 00
Z
00 0 0 0 0 00
= P [A ] (Nt+h Nt h) dP + P [A ] (Nt+h Nt00 00 h) dP
A0 A00
= 0
holds for all t, h R+ and for all A0 Ft0 and A00 Ft00 . Thus, letting
holds for all t, h R+ and A Ft . Therefore, the centered claim number process
{Nt t}tR+ is a martingale, and it now follows from Theorem 2.3.4 that the claim
number process {Nt }tR+ is a Poisson process with parameter . 2
Let {Tn }nN0 denote the claim arrival process induced by the claim number pro-
cess {Nt }tR+ and let {Wn }nN denote the claim interarrival process induced by
{Tn }nN0 .
To avoid the annoying discussion of null sets, we assume henceforth that the excep-
tional null set of the claim number process {Nt }tR+ is empty.
The following result shows that each of the distributions PW 0 and PW 00 has a density
with respect to PW :
6.4 Superposition of Poisson Risk Processes 143
For l N and k {0, 1, . . . , l}, let C(l, k) denote the collection of all pairs of strictly
increasing sequences {mi }i{1,...,k} N and {nj }j{1,...,lk} N with union {1, . . . , l}
(such that one of these sequences may be empty).
For l N, define
l
X
C(l) = C(l, k) .
k=0
The collections C(l) correspond to the collections H(l) and D(m, n) considered in
the preceding sections on thinning and decomposition.
For l N, k {0, 1, . . . , l}, and C = ({mi }i{1,...,k} , {nj }j{1,...,lk} ) C(l, k), let
\ \
AC := {Tmi = Ti0 } {Tnj = Tj00 } .
i{1,...,k} j{1,...,lk}
holds for all l N and k {0, 1, . . . , l} and for all C C(l, k).
144 Chapter 6 The Risk Process in Reinsurance
Proof. Consider C = ({mi }i{1,...,k} , {nj }j{1,...,lk} ) C(l, k). We prove several
auxiliary results from which the assertion will follow by induction over l N.
(1) If l = 1 and mk = l, then
0
P [{T1 = T10 }] = .
0 + 00
We have
[
{T1 < T10 } = {T1 t < T10 }
tQ
[
= {Nt 1}{Nt0 = 0}
tQ
[
= {Nt00 1}{Nt0 = 0}
tQ
[
= {T100 t < T10 }
tQ
This means that elimination of the event {Tmk = Tk0 } produces the factor 0 /(0+00 ).
To prove our claim, we consider separately the cases mk1 < l1 and mk1 = l1.
Let us first consider the case mk1 < l 1. For all s, t (0, ) such that s t,
Lemma 6.4.2 yields
Z Z Z
00
dPW 00 (w) dPW 0 (v) = e (s+vt) dPW 0 (v)
(ts,) (s+vt,) (ts,)
Z
00 0 00
= e (s+vt) 0 00
e v dPW (v)
(ts,) +
Z
0 00
= 0 00
e (st) dPW (v)
+ (ts,)
0 00 0 00
= 0 00
e (st) e( + )(ts)
+
0 0
= 0 00
e (ts)
+ Z
0
= dPW 0 (v) .
0 + 00 (ts,)
For integration variables v1 , . . . , vk1 R and w1 , . . . , wlk R, define
k1
X
s := vh
h=1
and
lk
X
t := wh .
h=1
With suitable domains of integration where these are not specified, the identity
established before yields
" #
\ \
P {Tmi = Ti0 } {Tnj = Tj00 }
i{1,...,k} j{1,...,lk}
0 00
= P [{. . . < Tk1 . . . < Tlk < Tk0 < Tlk+1
00
}]
0 00 0
= P [{. . . < Tk1 . . . < Tlk < Tk1 00
+ Wk0 < Tlk 00
+ Wlk+1 }]
146 Chapter 6 The Risk Process in Reinsurance
Z ZZ Z
= ... ... dPWlk+1
00 (w) dPWk0 (v) dPWlk
00 (wlk ) . . . dPW 0
k1
(vk1 ) . . .
(ts,) (s+vt,)
Z Z Z !
0
= ... ... dPWk0 (v) dPWlk00 (wlk ) . . . dPW 0 (vk1 ) . . .
0 + 00 (ts,) k1
Z Z Z !
0
= ... ... dPWk0 (v) dPWlk
00 (wlk ) . . . dPW 0 (vk1 ) . . .
0 + 00 (ts,)
k1
0 0 00 0
= P [{. . . < Tk1 . . . < Tlk < Tk1 + Wk0 }]
0 + 00
0 0 00
= P [{. . . < Tk1 . . . < Tlk < Tk0 }]
0 + 00 " #
0 \ \
= P {Tmi = Ti0 } {Tnj = Tj00 } .
0 + 00
i{1,...,k1} j{1,...,lk}
Let us now consider the case mk1 = l 1. For all s, t (0, ) such that t s,
Lemma 6.4.2 yields
Z Z Z
00
dPW 00 (w) dPW 0 (v) = e (s+vt) dPW 0 (v)
(0,) (s+vt,) (0,)
Z
00 0 00
= e (s+vt) 0 00
e v dPW (v)
(0,) +
0
00
= 0 00
e (st)
+ Z
0
= dPW 00(w) .
0 + 00 (st,)
00 0
= P [{. . . < Tlk . . . < Tk1 < Tk0 < Tlk+1
00
}]
00 0 0
= P [{. . . < Tlk . . . < Tk1 < Tk1 + Wk0 < Tlk00 00
+ Wlk+1 }]
Z ZZ Z
= ... ... dPWlk+1
00 (w) dPWk0 (v) dPWk1
0 (vk1 ) . . . dPWlk
00 (wlk ) . . .
(0,) (s+vt,)
Z Z Z !
0
= ... ... dPWlk+1
00 (v) dPWk1
0 (vk1 ) . . . dPWlk
00 (wlk ) . . .
0 + 00 (st,)
Z Z Z !
0
= ... ... dPWlk+1
00 (v) dPWk1
0 (vk1 ) . . . dPWlk
00 (wlk ) . . .
+ 00
0
(st,)
6.4 Superposition of Poisson Risk Processes 147
0 00 0 00 00
= 0 00
P [{. . . < Tlk . . . < Tk1 < Tlk + Wlk+1 }]
+
0 00 0 00
= P [{. . . < Tlk . . . < Tk1 < Tlk+1 }]
0 + 00 " #
0 \ \
0 00
= P {Tmi = Ti } {Tj = Tj } .
0 + 00
i{1,...,k1} j{1,...,lk}
This means that elimination of {Tnlk = Tl00 } produces the factor 00 /(0 +00 ). The
identity follows from (3) by symmetry.
(5) Using (1), (2), (3), and (4), the assertion now follows by induction over l N. 2
It is clear that, for each l N, the family {AC }CC(l) is disjoint; we shall now show
that it is, up to a null set, even a partition of .
X l
X X
P [AC ] = P [AC ]
CC(l) k=0 CC(l,k)
l
X k lk
l 0 00
=
k=0
k 0 + 00 0 + 00
= 1,
as was to be shown. 2
148 Chapter 6 The Risk Process in Reinsurance
and
l
X 00
P [{Tl = Tk00 }] =
k=1
0 + 00
Proof. For l N and k {1, . . . , l}, let C(l, k, k) denote the collection of all pairs
({mi }i{1,...,k} , {nj }j{1,...,lk} ) C(l) satisfying mk = l. Then we have
l
X l
X X
P [{Tl = Tk0 }] = P [AC ]
k=1 k=1 CC(l,k,k)
l
X X 0
k
00
lk
=
k=1 CC(l,k,k)
0 + 00 0 + 00
l
X k lk
l1 0 00
=
k=1
k1 0 + 00 0 + 00
l1
X j (l1)j
0 l1 0 00
=
0 + 00 j=0 j 0 + 00 0 + 00
0
= ,
0 + 00
which is the first identity. The second identity follows by symmetry. 2
The sequence {Xn }nN is said to be the superposition of the claim size processes
{Xn0 }nN and {Xn00 }nN .
0 00
PX = PX 0 + PX 00 .
0 + 00 0 + 00
6.4 Superposition of Poisson Risk Processes 149
then we have
" l # " l # " l #
\ \ \
P {Xh Bh } {Th Dh } = P {Xh Bh } P {Th Dh } .
h=1 h=1 h=1
and
j
X
tj := wh .
h=1
and hence
Z Z k1
Y
00 s 0
... e k
dPWk0 (vk ) . . . dPW10 (v1 ) = PW [D l ] 0 [Dmj ] .
Dm1 s0 Dmk sk1 0 + 00 i=1
This yields
" l
#
\
P {Th Dh } AC
h=1
" k lk
#
\ \
= P {Ti0 Dmi } {Tj00 Dnj } {Tk0 00
Tlk+1 }
i=1 j=1
" k lk
#
\ \
= P {Ti0 Dmi } {Tj00 Dnj } {Tk0 Tlk
00 00
+ Wlk+1 }
i=1 j=1
Z Z Z Z Z
= ... ... dPWlk+1
00 (wlk+1 )
Dm1 s0 Dmk sk1 Dn1 t0 Dnlk tlk1 (sk tlk ,)
dPWlk
00 (wlk ) . . . dPW 00 (w1 ) dPW 0 (vk ) . . . dPW 0 (v1 )
1 k 1
Z Z Z Z
00
= ... ... e (sk tlk )
Dm1 s0 Dmk sk1 Dn1 t0 Dnlk tlk1
dPWlk
00 (wlk ) . . . dPW 00 (w1 ) dPW 0 (vk ) . . . dPW 0 (v1 )
1 k 1
Z Z Z Z
00 s 00 t
= ... e k
... e lk
Z Z lk !
00 s
Y
= ... e k
00 [Dnj ] dPWk0 (vk ) . . . dPW10 (v1 )
Dm1 s0 Dmk sk1 j=1
k1
Y lk
Y
0 0
= PW [Dl ] [Dmj ] 00 [Dnj ]
0 + 00 i=1 j=1
k lk Y l1
0 00
= 0 00 0 00
(0 +00 ) [Dh ] PW [Dl ]
+ + h=1
0
k 00
lk
= .
0 + 00 0 + 00
as was to be shown.
(3) We have
" l # " l #
\ \
P {Xh Bh } {Th Dh } = P {Xh Bh } .
h=1 h=1
as was to be shown.
(4) We have
" l l
# " l # " l #
\ \ \ \
P {Xh Bh } {Th Dh } = P {Xh Bh } P {Th Dh } .
h=1 h=1 h=1 h=1
= St0 () + St00 () .
By Corollary 6.4.4, this yields
St () = St0 () + St00 ()
for all {Nt = l}.
We conclude that
St = St0 + St00 ,
as was to be shown. 2
Problems
6.4.A Extend the results of this section to more than two independent Poisson risk
processes.
6.4.B Study the superposition problem for independent risk processes which are not
Poisson risk processes.
6.4.C Discrete Time Model: The sum of two independent binomial processes may
fail to be a claim number process.
6.5 Remarks
For theoretical considerations, excess of loss reinsurance is probably the simplest
form of reinsurance. Formally, excess of loss reinsurance with a priority held by the
direct insurer is the same as direct insurance with a deductible to be paid by the
insured.
For further information on reinsurance, see Gerathewohl [1976, 1979] and Dienst
[1988]; for a discussion of the impact of deductibles, see Sterk [1979, 1980, 1988].
The superposition problem for renewal processes was studied by Stormer [1969].
Chapter 7
In the present chapter we introduce the reserve process and study the ruin problem.
We first extend the model considered so far and discuss some technical aspects of
the ruin problem (Section 7.1). We next prove Kolmogorovs inequality for positive
supermartingales (Section 7.2) and then apply this inequality to obtain Lundbergs
inequality for the probability of ruin in the case where the excess premium process
has a superadjustment coefficient (Section 7.3). We finally give some sufficient
conditions for the existence of a superadjustment coefficient (Section 7.4).
Furthermore, let {Xn }nN be a claim size process, let {St }tR+ be the aggregate
claims process induced by the claim number process and the claim size process, and
let (0, ). For u (0, ) and all t R+ , define
Rtu := u + t St .
Interpretation:
is the premium intensity so that t is the premium income up to time t.
u is the initial reserve.
Rtu is the reserve at time t when the initial reserve is u.
Accordingly, the family {Rtu }tR+ is said to be the reserve process induced by the
156 Chapter 7 The Reserve Process and the Ruin Problem
claim number process, the claim size process, the premium intensity, and the initial
reserve.
s
6 St ()
u + t
u
0 - t
0 T1 () T2 () T3 () T4 () T5 ()
r
6
u + t
u
0 - t
T1 () T2 () T3 () T4 () T5 ()
Rtu ()
In order to give a precise formulation of the ruin problem, we need the following
measuretheoretic consideration:
Let {Zt }tR+ be family of measurable functions [, ]. A measurable
function Z : [, ] is said to be an essential infimum of {Zt }tR+ if it has
the following properties:
P [{Z Zt }] = 1 holds for all t R+ , and
every measurable function Y : [, ] such that P [{Y Zt }] = 1 holds
for all t R+ satisfies P [{Y Z}] = 1.
The definition implies that any two essential infima of {Zt }tR+ are identical with
probability one. The almost surely unique essential infimum of the family {Zt }tR+
is denoted by inf tR+ Zt .
7.1.1 Lemma. Every family {Zt }tR+ of measurable functions [, ]
possesses an essential infimum.
Proof. Without loss of generality, we may assume that Zt () [1, 1] holds for
all t R+ and .
Let J denote the collection of all countable subsets of R+ . For J J , consider the
measurable function ZJ satisfying
ZJ () = inf tJ Zt () .
Define
c := inf JJ E[ZJ ] ,
choose a sequence {Jn }nN satisfying
c = inf nN E[ZJn ] ,
S
and define J := nN Jn . Then we have J J . Since c E[ZJ ] E[ZJn ]
holds for all n N, we obtain
c = E[ZJ ] .
For each t R+ , we have ZJ {t} = ZJ Zt , hence
c E[ZJ {t} ]
= E[ZJ Zt ]
E[ZJ ]
= c,
whence
P [{ZJ Zt = ZJ }] = 1 ,
and thus
P [{ZJ Zt }] = 1 .
The assertion follows. 2
158 Chapter 7 The Reserve Process and the Ruin Problem
Let us now return to the reserve process {Rtu }tR+ . By Lemma 7.1.1, the reserve
process has an essential infimum which is denoted by
In particular, we have {inf tR+ Rtu < 0} F . The event {inf tR+ Rtu < 0} is called
ruin of the reserve process and its probability is denoted by
in order to emphasize the dependence of the probability of ruin on the initial reserve.
In practice, an upper bound for the probability of ruin is given in advance and
the insurer is interested to choose the initial reserve u such that
(u) .
(u) = ,
but the problem of computing the probability of ruin is even harder than the problem
of computing the accumulated claims distribution. It is therefore desirable to have
an upper bound 0 (u) for the probability of ruin when the initial reserve is u, and
to choose u such that
0 (u) = .
Since
(u) 0 (u) ,
the insurer is on the safe side but possibly binds too much capital.
It is intuitively clear that the time when the reserve process first falls beyond zero for
the first time must be a claim arrival time. To make this point precise, we introduce
a discretization of the reserve process: For n N, define
Gn := Wn Xn ,
The sequence {Gn }nN is said to be the excess premium process, and the sequence
{Unu }nN0 is said to be the modified reserve process.
7.1 The Model 159
The following result shows that the probability of ruin is determined by the modified
reserve process:
and thus
as was to be shown. 2
160 Chapter 7 The Reserve Process and the Ruin Problem
In the case where the excess premiums are i. i. d. with finite expectation, the previous
lemma yields a first result on the probability of ruin which sheds some light on the
different roles of the initial reserve and the premium intensity:
7.1.3 Theorem. Assume that the sequence {Gn }nN is i. i. d. with nondegenerate
distribution and finite expectation. If E[G] 0, then, for every initial reserve, the
probability of ruin is equal to one.
Proof. By the ChungFuchs Theorem, we have
"( n
)#
X
1 = P lim inf nN Gk =
k=1
"( n
)#
X
P lim inf nN Gk < u
k=1
"( n
)#
X
P inf nN Gk < u
k=1
Consider a sequence {Zn }nN0 of random variables having finite expectations and
let {Fn }nN0 be the canonical filtration for {Zn }nN0 .
For T, define
X
Z := { =n} Zn .
n=0
as well as
Z
X
E[Z ] = Zn dP .
n=0 { =n}
Note that the sums occurring in the definition of Z and in the formulas for |Z |
and E[Z ] actually extend only over a finite number of terms.
1
P [{supnN0 |Zn | > }] sup T E|Z |
holds for all (0, ).
Proof. Define
n1
\
An := {|Zn | > } {|Zk | } .
k=1
162 Chapter 7 The Reserve Process and the Ruin Problem
P
Then we have {supN0 |Zn | > } = n=0 An and hence
X
P [{supnN0 |Zn | > }] = P [An ] .
n=0
Proof. Assume first that (a) holds and consider , T such that . For all
k, n N0 such that n k, we have { = k}{ n+1} = { = k}\{ n} Fn ,
and thus
Z Z Z
Zn dP = Zn dP + Zn dP
{=k}{ n} {=k}{ =n} {=k}{ n+1}
Z Z
Zn dP + Zn+1 dP .
{=k}{ =n} {=k}{ n+1}
7.2 Kolmogorovs Inequality for Positive Supermartingales 163
Induction yields
Z Z
Zk dP = Zk dP
{=k} {=k}{ k}
Z
X
Zn dP ,
n=k {=k}{ =n}
and thus
Z Z
Zn dP Zn+1 dP .
A A
for all n N, and it is an adjustment coefficient for the excess premium process if
it satisfies
E e%Gn = 1
for all n N. The excess premium process need not possess a superadjustment
coefficient; if the distribution of some excess premium is nondegenerate, then the
excess premium process has at most one adjustment coefficient.
Let {Fn }nN0 denote the canonical filtration for {Unu }nN0 .
Problem
7.3.A Assume that the sequence {Xn }nN is independent. If there exists some % (0, )
satisfying E[e%Xn ] 1 for all n N, then the inequality
We first consider the case where the excess premiums are i. i. d. According to the
following result, we have to assume that the safety loading is strictly positive:
7.4.1 Theorem. Assume that the sequence {Gn }nN is i. i. d. with nondegenerate
distribution and finite expectation. If the excess premium process has a superadjust-
ment coefficient, then E[G] > 0.
7.4.2 Corollary. Assume that the sequences {Wn }nN and {Xn }nN are inde-
pendent and that each of them is i. i. d. with nondegenerate distribution and finite
expectation. If the excess premium process has a superadjustment coefficient, then
> E[X]/E[W ].
and hence
By assumption, there exists some z 0 (0, ) such that the moment generating
functions of W and of X are both finite on the interval (, z 0 ). Differentiation
gives
MG0 (z) = MW
0
(z) MX (z) + MW (z) MX0 (z)
In Corollary 7.4.2 and Theorem 7.4.3, the claim interarrival times are i. i. d., which
means that the claim number process is a renewal process. A particular renewal
process is the Poisson process:
Proof. By Lemmas 2.1.3 and 1.1.1, the claim interarrival process {Wn }nN and
the claim size process {Xn }nN are independent.
By Theorem 2.3.4, the sequence {Wn }nN is i. i. d. with PW = Exp(), and this
yields sup{z R+ | E[ezW ] < } = and E[W ] = 1/.
The assertion now follows from Theorem 7.4.3. 2
which means that % is an adjustment coefficient for the excess premium process.
The inequality for the probability of ruin follows from Theorem 7.3.4. 2
In the previous result, the bound for the probability of ruin decreases when either
the initial reserve or the premium intensity increases.
Let us finally turn to a more general situation in which the excess premiums are still
independent but need not be identically distributed. In this situation, the existence
of an adjustment coefficient cannot be expected, and superadjustment coefficients
come into their own right:
7.4.6 Theorem. Let {n }nN and {n }nN be two sequences of real numbers in
(0, ) such that := supnN n < and := inf nN n > 0. Assume that
(i) {Nt }tR+ and {Xn }nN are independent,
(ii) {Nt }tR+ is a regular Markov process with intensities {n }nN satisfying
n (t) = n for all n N and t R+ , and
(iii) {Xn }nN is independent and satisfies PXn = Exp(n ) for all n N.
If > /, then / is a superadjustment coefficient for the excess premium
process. In particular,
Proof. By Theorem 3.4.2, the sequence {Wn }nN is independent and satisfies
PWn = Exp(n ) for all n N. Define
% := .
As in the proof of Theorem 7.4.5, we obtain
E e%Gn = E e%Wn E e%Xn
7.5 Remarks 169
= E e%W ] E[e%X
n n
=
n + % n %
n n
=
n n + %(n % n )
n n
=
n n + %((n ) + (n ))
1,
which means that % is a superadjustment coefficient for the excess premium process.
The inequality for the probability of ruin follows from Theorem 7.3.4. 2
The previous result, which includes Theorem 7.4.5 as a special case, is a rather
exceptional example where a superadjustment coefficient does not only exist but
can even be given in explicit form.
Problems
7.4.A In Theorem 7.4.3 and Corollary 7.4.4, the condition on MX is fulfilled whenever
PX = Exp(), PX = Geo(), or PX = Log().
7.4.B Discrete Time Model: Assume that
(i) {Nl }lN0 and {Xn }nN are independent,
(ii) {Nl }lN0 is a binomial process with parameter , and
(iii) {Xn }nN is i. i. d. and satisfies sup{z R+ | E[ezX ] < } (0, ) as well
as PX [R+ ] = 1.
If > E[X], then the excess premium process has an adjustment coefficient.
7.5 Remarks
In the discussion of the ruin problem, we have only considered a fixed premium
intensity and a variable initial reserve. We have done so in order not to overburden
the notation and to clarify the role of (super)adjustment coefficients, which depend
on the premium intensity but not on the initial reserve. Of course, the premium
intensitiy may be a decision variable as well which can be determined by a given
upper bound for the probability of ruin, but the role of the initial reserve and the
role of the premium intensity are nevertheless quite different since the former is
limited only by the financial power of the insurance company while the latter is to
a large extent constrained by market conditions.
The (super)martingale approach to the ruin problem is due to Gerber [1973, 1979]
and has become a famous method in ruin theory; see also DeVylder [1977], Delbaen
and Haezendonck [1985], Rhiel [1986, 1987], Bjork and Grandell [1988], Dassios and
170 Chapter 7 The Reserve Process and the Ruin Problem
Embrechts [1989], Grandell [1991], Mller [1992], Embrechts, Grandell, and Schmidli
[1993], Embrechts and Schmidli [1994], Mller [1995], and Schmidli [1995].
The proof of Kolmogorovs inequality is usually based on the nontrivial fact that a
supermartingale {Zn }nN0 satisfies E[Z0 ] E[Z ] for arbitrary stopping times ;
see Neveu [1972]. The simple proof presented here is wellknown in the theory of
asymptotic martingales; see Gut and Schmidt [1983] for a survey and references.
For a discussion of the estimation problem for the (super)adjustment coefficient, see
Herkenrath [1986], Deheuvels and Steinebach [1990], Csorgo and Steinebach [1991],
Embrechts and Mikosch [1991], and Steinebach [1993].
Although Theorem 7.4.3 provides a rather general condition under which an adjust-
ment coefficient exists, there are important claim size distributions which do not
satisfy these conditions; an example is the Pareto distribution, which assigns high
probability to large claims. For a discussion of the ruin problem for such heavy tailed
claim size distributions, see Thorin and Wikstad [1977], Seal [1980], Embrechts and
Veraverbeke [1982], Embrechts and Villase nor [1988], Kluppelberg [1989], and Beir-
lant and Teugels [1992].
A natural extension of the model considered in this chapter is to assume that the
premium income is not deterministic but stochastic; see B
uhlmann [1972], DeVylder
[1977], Dassios and Embrechts [1989], Dickson [1991], and Mller [1992].
While the (homogeneous) Poisson process still plays a prominent role in ruin theory,
there are two major classes of claim number processes, renewal processes and Cox
processes, which present quite different extensions of the Poisson process and for
which the probability of ruin has been studied in detail. Recent work focusses on Cox
processes, or doubly stochastic Poisson processes, which are particularly interesting
since they present a common generalization of the inhomogeneous Poisson process
and the mixed Poisson process; see e. g. Grandell [1991] and the references given
there.
Let us finally remark that several authors have also studied the probability that the
reserve process attains negative values in a bounded time interval; for a discussion
of such finite time ruin probabilities, see again Grandell [1991].
Appendix: Special Distributions
In this appendix we recall the definitions and some properties of the probability
distributions which are used or mentioned in the text. For comments on applications
of these and other distributions in risk theory, see Panjer and Willmot [1992].
Auxiliary Notions
The Gamma Function
The map : (0, ) (0, ) given by
Z
() := ex x1 dx
0
(n+1) = n!
holds for all n N0 . Roughly speaking, the values of the gamma function correspond
to factorials.
is called the beta function. The fundamental identity for the beta function is
() ()
B(, ) = ,
(+)
172 Appendix: Special Distributions
showing that the properties of the beta function follow from those of the gamma
function. Roughly speaking, the inverted values of the beta function correspond to
binomial coefficients.
For (0, ), the properties of the gamma function yield the identity
+m1 ( + m)
=
m () m!
which is particularly useful.
Measures
We denote by : B(R) R the counting measure concentrated on N0 , and we
denote by : B(R) R the Lebesgue measure. These measures are finite, and
the most important probability measures B(R) [0, 1] are absolutely continuous
wiht respect to either or .
For n N, we denote by n : B(Rn ) R the ndimensional Lebesgue measure.
Generalities on Distributions
A probability measure Q : B(Rn ) [0, 1] is called a distribution.
A distribution Q is degenerate if there exists some y Rn satisfying
Q[{y}] = 1 ,
and it is nondegenerate if it is not degenerate.
In the remainder of this appendix, we consider only distributions B(R) [0, 1].
For y R, the Dirac distribution y is defined to be the (degenerate) distribution
Q satisfying
Q[{y}] = 1 .
Because of the particular role of the Dirac distribution, all parametric classes of
distributions considered below are defined as to exclude degenerate distributions.
Let Q and R be distributions B(R) [0, 1].
Generalities on Distributions 173
or, equivalently,
Z
|x| dQ(x) < ,
R
then the expectation of Q exists and is said to be finite. In this case, Q is said to
have finite expectation.
More generally, if, for some n N,
Z
|x|n dQ(x) < ,
R
then Q is said to have a finite moment of order n or to have a finite nth moment
and the nth moment of Q is defined to be
Z
xn dQ(x) .
R
If Q has a finite moment of order n, then it also has a finite moment of order k for
all k {1, . . . , n 1}. The distribution Q is said to have finite moments of any
order if
Z
|x|n dQ(x) <
R
holds for all n N.
Characteristic Function
The characteristic function or Fourier transform of Q is defined to be the map
Q : R C given by
Z
Q (z) := eizx dQ(x) .
R
1 d n mQ
(0) = Q[{n}]
n! dz n
holds for all n N0 , the distribution Q is uniquely determined by its probability
generating function mQ . The probability generating function has a unique extension
to the closed unit disc in the complex plane.
Discrete Distributions 175
Convolution
If + : R2 R is defined to be the map given by +(x, y) := x + y, then
Q R := (Q R)+
is a distribution which is called the convolution of Q and R. The convolution satisfies
QR = Q R ,
and hence Q R = R Q, as well as
MQR = MQ MR ;
also, if Q[N0 ] = 1 = R[N0 ], then
mQR = mQ mR .
If Q and R have finite expectations, then
E[Q R] = E[Q] + E[R] ,
and if Q and R both have a finite second moment, then
var [Q R] = var [Q] + var [R] .
Furthermore, the identity
Z
(QR)[B] = Q[B y] dR(y)
R
holds for
R all B B(R);Rin particular, Q y = y Q is the
R translation of Q by y.
If Q = f d and R = g d for {, }, then Q R = f g d, where the map
f g : R R+ is defined by
Z
(f g)(x) := f (xy)g(y) d(y) .
R
For n N0 , the nfold convolution of Q is defined to be
n 0 if n = 0
Q := (n1)
QQ if n N
R
If Q = f d for {, }, then the density of Qn with respect to is denoted f n .
Discrete Distributions
A distribution Q : B(R) [0, 1] is discrete if there exists a countable set S B(R)
satisfying Q[S] = 1. If Q[N0 ] = 1, then Q is absolutely continuous with respect to .
For detailed information on discrete distributions, see Johnson and Kotz [1969] and
Johnson, Kotz, and Kemp [1992].
176 Appendix: Special Distributions
Expectation:
E[Q] = m
Variance:
Characteristic function:
MQ (z) = ((1) + ez )m
Q := P() NB(, ) .
Q := m NB(m, ) .
for all x N.
Expectation:
1
E[Q] =
| log(1)| 1
Variance:
| log(1)|
var [Q] =
| log(1)| (1)2
2
Characteristic function:
log(1eiz )
Q (z) =
log(1)
log(1ez )
MQ (z) =
log(1)
log(1z)
mQ (z) =
log(1)
for all x N0 .
Expectation:
1
E[Q] =
178 Appendix: Special Distributions
Variance:
1
var [Q] =
2
Characteristic function:
Q (z) =
1 (1)eiz
Moment generating function for z (, log(1)):
MQ (z) =
1 (1)ez
Probability generating function:
mQ (z) =
1 (1)z
Special case: The Pascal distribution NB(m, ) with m N.
Expectation:
E[Q] = m
+
Variance:
++m
var [Q] = m 2
( + ) + + 1
Expectation:
E[Q] =
Variance:
var [Q] =
Characteristic function:
iz 1)
Q (z) = e(e
mQ (z) = e(z1)
Continuous Distributions
A distribution Q : B(R) [0, 1] is continuous if it is absolutely continuous with
respect to . For detailed information on continuous distributions, see Johnson and
Kotz [1970a, 1970b].
Expectation:
E[Q] =
+
Variance:
var [Q] =
( + )2 ( + + 1)
Special cases:
The Erlang distribution Ga(, m) with m N.
The exponential distribution Exp() := Ga(, 1).
The chisquare distribution 2m := Ga(1/2, m/2) with m N.
Q := Ga(, ) .
Adelson, R. M.
[1966] Compound Poisson distributions. Oper. Res. Quart. 17, 7375.
Albrecht, P.
[1981] Dynamische statistische Entscheidungsverfahren f ur Schadenzahlprozesse.
Karlsruhe: Verlag Versicherungswirtschaft.
[1985] Mixed Poisson process. In: Encyclopedia of Statistical Sciences, Vol. 6, pp.
556559. New York Chichester: Wiley.
Aliprantis, C. D., and Burkinshaw, O.
[1990] Principles of Real Analysis. Second Edition. Boston New York: Academic
Press.
Alsmeyer, G.
[1991] Erneuerungstheorie. Stuttgart: Teubner.
Ambagaspitiya, R. S.
[1995] A family of discrete distributions. Insurance Math. Econom. 16, 107127.
Ambagaspitiya, R. S., and Balakrishnan, N.
[1994] On the compound generalized Poisson distributions. ASTIN Bull. 24, 255
263.
Ammeter, H.
[1948] A generalization of the collective theory of risk in regard to fluctuating basic
probabilities. Scand. Actuar. J. 31, 171198.
Azlarov, T. A., and Volodin, N. A.
[1986] Characterization Problems Associated with the Exponential Distribution.
Berlin Heidelberg New York: Springer.
Balakrishnan, N. (see R. S. Ambagaspitiya)
Bauer, H.
[1991] Wahrscheinlichkeitstheorie. 4. Auflage. Berlin: DeGruyter.
[1992] Ma und Integrationstheorie. 2. Auflage. Berlin: DeGruyter.
182 Bibliography
Pentik
ainen, T. (see C. D. Daykin)
Pesonen, M. (see C. D. Daykin)
Pfeifer, D. (see also R. Mathar)
[1982a] The structure of elementary birth processes. J. Appl. Probab. 19, 664667.
[1982b] An alternative proof of a limit theorem for the PolyaLundberg process.
Scand. Actuar. J. 176178.
[1986] PolyaLundberg process. In: Encyclopedia of Statistical Sciences, Vol. 7,
pp. 6365. New York Chichester: Wiley.
[1987] Martingale characteristics of mixed Poisson processes. Blatter DGVM 18,
107100.
Pfeifer, D., and Heller, U.
[1987] A martingale characterization of mixed Poisson processes. J. Appl. Probab.
24, 246251.
Quenouille, M. H.
[1949] A relation between the logarithmic, Poisson and negative binomial series.
Biometrics 5, 162164.
Reiss, R. D.
[1993] A Course on Point Processes. Berlin Heidelberg New York: Springer.
Resnick, S. I.
[1992] Adventures in Stochastic Processes. Boston Basel Berlin: Birkhauser.
Rhiel, R.
[1985] Zur Berechnung von Erwartungswerten und Varianzen von zufalligen Sum-
men in der kollektiven Risikotheorie. Blatter DGVM 17, 1518.
[1986] A general model in risk theory. An application of modern martingale theory.
Part one: Theoretic foundations. Blatter DGVM 17, 401428.
[1987] A general model in risk theory. An application of modern martingale theory.
Part two: Applications. Blatter DGVM 18, 119.
Runnenburg, J. T., and Goovaerts, M. J.
[1985] Bounds on compound distributions and stoploss premiums. Insurance
Math. Econom. 4, 287293.
Ruohonen, M.
[1988] On a model for the claim number process. ASTIN Bull. 18, 5768.
Scheike, T. H.
[1992] A general risk process and its properties. J. Appl. Probab. 29, 7381.
Schmidli, H. (see also P. Embrechts)
[1995] CramerLundberg approximations for ruin probabilities of risk processes per-
turbed by diffusion. Insurance Math. Econom. 16, 135149.
190 Bibliography
Seal, H. L.
[1980] Survival probabilities based on Pareto claim distributions. ASTIN Bull. 11,
6171.
[1983] The Poisson process: Its failure in risk theory. Insurance Math. Econom. 2,
287288.
Stormer, H.
[1969] Zur Uberlagerung von Erneuerungsprozessen. Z. Wahrscheinlichkeitstheorie
verw. Gebiete 13, 924.
[1970] SemiMarkovProzesse mit endlich vielen Zustanden. Berlin Heidelberg
New York: Springer.
Bibliography 191
Straub, E.
[1988] NonLife Insurance Mathematics. Berlin Heidelberg New York:
Springer.
Sundt, B. (see also G. E. Willmot)
[1984] An Introduction to NonLife Insurance Mathematics. First Edition. Karls-
ruhe: Verlag Versicherungswirtschaft.
[1991] An Introduction to NonLife Insurance Mathematics. Second Edition. Karls-
ruhe: Verlag Versicherungswirtschaft.
[1992] On some extensions of Panjers class of counting distributions. ASTIN Bull.
22, 6180.
[1993] An Introduction to NonLife Insurance Mathematics. Third Edition. Karls-
ruhe: Verlag Versicherungswirtschaft.
Sundt, B., and Jewell, W. S.
[1981] Further results on recursive evaluation of compound distributions. ASTIN
Bull. 12, 2739.
Teicher, H. (see Y. S. Chow)
Teugels, J. L. (see J. Beirlant)
Thorin, O., and Wikstad, N.
[1977] Calculation of ruin probabilities when the claim distribution is lognormal.
ASTIN Bull. 9, 231246.
Thyrion, P.
[1960] Contribution `a letude du bonus pour non sinistre en assurance automobile.
ASTIN Bull. 1, 142162.
Troblinger, A.
[1961] Mathematische Untersuchungen zur Beitragsr uckgewahr in der Kraftfahr-
versicherung. Blatter DGVM 5, 327348.
[1975] Analyse und Prognose des Schadenbedarfs in der Kraftfahrzeughaftpflicht-
versicherung. Karlsruhe: Verlag Versicherungswirtschaft.
Van Heerwaarden, A. E. (see M. J. Goovaerts)
Veraverbeke, N. (see P. Embrechts)
Villase
nor, J. A. (see P. Embrechts)
Volodin, N. A. (see T. A. Azlarov)
Wang, S. (see also H. H. Panjer)
Wang, S., and Panjer, H. H.
[1994] Proportional convergence and tailcutting techniques in evaluating aggregate
claim distributions. Insurance Math. Econom. 14, 129138.
192 Bibliography
Sets
A
P indicator function of the set A
iI Ai union of the (pairwise) disjoint family {Ai }iI
Algebras
(E) algebra generated by the class E
({Zi }iI ) algebra generated by the family {Zi }iI
B((0, )) Borel algebra on (0, )
B(R) Borel algebra on R
B(Rn ) Borel algebra on Rn
Measures
Z transformation of under Z
|E restriction of to E
product measure of and
convolution of (the measures or densities) and
Lebesgue measure on B(R)
n Lebesgue measure on B(Rn )
counting measure concentrated on N0
Integrals
R
RAc f (x) d(x) Lebesgue integral of f on A with respect to
a
f (x) dx Riemann integral of f on [a, c]
194 List of Symbols
Distributions
y Dirac distribution
B() Bernoulli distribution
B(m, ) binomial distribution
Be(, ) beta distribution
C(Q, R) compound distribution
Del(, , ) Delaporte distribution
Exp() exponential distribution
Ga(, ) gamma distribution
Ga(, , ) gamma distribution
Geo() geometric distribution
Geo(m, ) geometric distribution
Log() logarithmic distribution
NB(, ) negativebinomial distribution
NH(m, , ) negativehypergeometric distribution
P() Poisson distribution
Par(, ) Pareto distribution
Probability
E[Z] expectation of (the random variable or distribution) Z
var [Z] variance of Z
v[Z] coefficient of variation of Z
Z characteristic function of Z
MZ moment generating function of Z
mZ probability generating function of Z
Conditional Probability
PZ| conditional distribution of Z with respect to ()
E(Z|) conditional expectation of Z with respect to ()
var (Z|) conditional variance of Z with respect to ()
Stochastic processes
{Gn }nN excess premium process
{Nt }tR+ claim number process
{Rt }tR+ reserve process
{St }tR+ aggregate claims process
{Tn }nN0 claim arrival process
{Un }nN0 modified reserve process
{Wn }nN claim interarrival process
{Xn }nN claim size process
Author Index
B
E
Balakrishnan, N., 126
Bauer, H., 3, 85 Embrechts, P., 170
Bauwelinckx, T., 4
Beirlant, J., 170 G
Bichsel, F., 102
Billingsley, P., 3, 85 Galambos, J., 16
Bjork, T., 169 Gerathewohl, K., 154
Bowers, N. L., 4 Gerber, H. U., 4, 101, 102, 125, 126, 169
Bremaud, P., 42 Goovaerts, M. J., 4, 124, 126
B
uhlmann, H., 4, 84, 170 Grandell, J., 41, 42, 101, 169, 170
Burkinshaw, O., 3 Gurland, J., 125
Gut, A., 42, 170
C
H
Chow, Y. S., 85
Cox, D. R., 42 Haezendonck, J., 126, 169
Csorgo, M., 170 Heilmann, W. R., 4
Helbig, M., 4
D Heller, U., 101
Helten, E., 1
Dassios, A., 169, 170 Herkenrath, U., 170
Daykin, C. D., 4 Hesselager, O., 125
DeDominicis, R., 84 Hickman, J. C., 4
196 Author Index
J
P
Janssen, J., 84
Jewell, W. S., 125 Panjer, H. H., 4, 124, 125, 126, 171
Johnson, N. L., 125, 175, 179 Pentikainen, T., 4
Jones, D. A., 4 Pesonen, M., 4
Pfeifer, D., 42, 101
K
Kaas, R., 4, 124, 126 Q
Kallenberg, O., 42
Karr, A. F., 42 Quenouille, M. H., 124
Kemp, A. W., 175
Kerstan, J., 41, 42
Kingman, J. F. C., 42 R
Kling, B., 126
Kluppelberg, C., 170 Reiss, R. D., 42
Konig, D., 42 Resnick, S. I., 42
Kotz, S., 16, 125, 175, 179 Rhiel, R., 124, 169
Kupper, J., 1, 102 Runnenburg, J. T., 124
Ruohonen, M., 102
L
Lemaire, J., 102 S
Letta, G., 42
Lin, X., 125 Scheike, T. H., 126
Lundberg, O., 101, 124 Schmidli, H., 170
Schmidt, K. D., 101, 170
Schmidt, V., 42
M
Schroter, K. J., 125, 126
Mammitzsch, V., 84, 170 Seal, H. L., 101, 170
Mathar, R., 42 Shumway, R., 125
Matthes, K., 41, 42 Sobrero, M., 126
Mecke, J., 41, 42 Steinebach, J., 170
Michel, R., 4, 125, 126 Sterk, H. P., 1, 154
Mikosch, T., 170 Stormer, H., 84, 154
Milbrodt, H., 4 Straub, E., 4
Mller, C. M., 170 Sundt, B., 4, 84, 101, 125, 126
Author Index 197
T
Teicher, H., 85
Teugels, J. L., 170
Thorin, O., 170
Thyrion, P., 102
Troblinger, A., 1, 102
V
Van Heerwaarden, A. E., 4
Veraverbeke, N., 170
Villase
nor, J. A., 170
Volodin, N. A., 16
W
Wang, S., 125
Watanabe, S., 42
Wikstad, N., 170
Willmot, G. E., 4, 124, 125, 126, 171
Wolfsdorf, K., 4
Wolthuis, H., 4
Subject Index
E K
Erlang distribution, 180 Kolmogorovs inequality, 164
essential infimum, 157
estimation, 98
L
exceptional null set, 6, 17
excess of loss reinsurance, 108 layer, 132
excess premium process, 158 Lebesgue measure, 172
expectation, 173 life insurance, 9
experience rating, 101 lifetime, 9
explosion, 7, 10, 75 logarithmic distribution, 177
exponential distribution, 180 Lundbergs binomial criterion, 88
Lundbergs inequality, 165
F
failure rate, 50 M
filtration, 25 Markov (claim number) process, 44
finite expectation, 173 martingale, 25
finite moment, 173 maximal inequality, 161
finite time ruin probability, 170 memoryless distribution, 13
Fourier transform, 174 mixed binomial process, 92
mixed claim number process, 86
G mixed Poisson process, 87
modified reserve process, 158
gamma distribution, 180
moment, 173
gamma function, 171
moment generating function, 174
generalized binomial coefficient, 172
multinomial criterion, 23, 60, 87
geometric distribution, 176
multiple life insurance, 9
H
N
heavy tailed distribution, 170
homogeneous claim number process, 47 negative contagion, 82, 83
homogeneous Poisson process, 23 negativebinomial distribution, 177
negativehypergeometric distribution, 178
net premium, 160
I
nondegenerate distribution, 172
increasing, 4 number of claim events, 107
increment, 20, 105 number of claims, 17
independent increments, 23, 105 number of claims occurring at a claim
inhomogeneous Poisson process, 56 event, 107
initial reserve, 155 number of large claims, 108
200 Subject Index