1 Introduction
The notion of the renewal risk model traces back to Sparre Andersen [2], and it has played a key role in classical Risk Theory as a natural generalization of the classical Cramér–Lundberg risk model. In its standard framework both claims and interarrival times form two sequences of i.i.d. random variables, which are also assumed to be mutually independent. However, these independence assumptions can be too restrictive as far as actuarial applications are considered, and generalizations to dependence scenarios must be developed.
In practice, insurance portfolios tend to be inhomogeneous and a mixture of smaller homogeneous ones that are identified by the realizations of a random variable (or vector) Θ. Such portfolios are usually modelled via (compound) mixed counting processes, with the typical example being that of the (compound) mixed Poisson one (MPP for short). In the case of (compound) MPPs, the sequence of the interarrival times W is P-conditionally independent and P-conditionally exponentially distributed, something that leads to an interesting dependence structure between the interarrival times and reveals a connection between (compound) MPPs and exchangeability.
Mixed renewal processes (MRPs for short) serve as a proper generalization of MPPs, which has not been much considered in the literature, but they are interesting from both theoretical and applied point of view. Their study is mathematically challenging, as they are not, in general, Markov processes (see [14], Theorem 3, and [19], Proposition 3.2) and they have a close connection to exchangeable stochastic processes (see [14], Corollary on p. 20, and [17], Theorem 4.2). As far as practical models are considered, MRPs seem to have interesting applications in both life insurance (see, e.g., [8]) and nonlife insurance mathematics (see, e.g., [29] and [30]). It is worth noticing that Segerdahl [29] was the first who considered MRPs, in an actuarial context, as an alternative to the classical Pólya–Lundberg process (i.e. a mixed Poisson-gamma one).
The change of measures technique has been successfully applied to various theories such as queues and fluid flows (Asmussen [3, 4], Palmowski and Rolski [21, 22]), ruin theory (Dassios and Embrechts [9], Asmussen [3], Asmussen and Albrecher [5], Schmidli [25–27]), simulation (Boogaert and De Waegenaere [6], Ridder [23]) and pricing of insurance risks (premium calculation principles) (Delbaen and Haezendonck [10], Lyberopoulos and Macheras [16], Macheras and Tzaninis [20, 31]). The process of interest is usually Markovian and, under a suitably chosen new probability measure, it is again a Markov process with some “nicer” desired properties.
In [31], the same problem was investigated for the class of compound MRPs. In the same paper, given an aggregate claims process S being a MRP under P, a full characterization of all probability measures Q, which are progressively equivalent to P and preserve the structure of S, but with some better desired properties, was provided, see [31] Theorem 4.5 and Corollary 4.8 as well as Proposition 4.15. In the present paper by utilizing the aforementioned change of measures technique an explicit formula and bounds for the probability of ruin in a mixed renewal risk model are obtained.
Part of Proposition 4.15 from [31] is Proposition 3.1, formulated for the purposes of the present paper and being the starting point for applications to the ruin problem. Proposition 3.1, as well as Proposition 3.2, extend the corresponding results for the renewal risk model (see, e.g., [27], Lemmas 8.4 and 8.6, respectively) to the compound MRPs.
A first consequence of Proposition 3.1 is Proposition 4.1, where an upper bound for the ruin probability within finite time is obtained. Another implication of Proposition 3.1 is Proposition 4.2, where it is proven, that if the net profit condition is fulfilled under an original measure P, and S is a compound MRP under P then under the new measure resulting from Proposition 3.1 the process S will be of the same type, except that the net profit condition will no longer be fulfilled and ruin will always occur within finite time. Thus, the ruin problem becomes easier to handle, since by Proposition 4.2 under the new measure the probability of ruin is equal to 1, something that gives the opportunity to express the ruin probability under P as a quantity under the new measure, see Theorem 4.1, and to find upper and lower bounds for it, see Corollary 4.2.
2 Preliminaries
Throughout this paper, unless stated otherwise, $(\varOmega ,\varSigma ,P)$ is an arbitrary but fixed probability space. Given a topology $\mathfrak{T}$ on Ω write $\mathfrak{B}(\varOmega )$ for its Borel σ-algebra on Ω, i.e. the σ-algebra generated by $\mathfrak{T}$. The measure theoretic terminology is standard and generally follows [7]. For the definitions of real-valued random variables and random variables, cf., e.g., [7], p. 308. Notation ${P_{X}}:={P_{X}}(\theta ):=\mathbf{K}(\theta )$ denotes that X is distributed according to the law $\mathbf{K}(\theta )$, where $\theta \in D\subseteq {\mathbb{R}^{d}}$ ($d\in \mathbb{N}$) is the parameter of the distribution. Denote again by $\mathbf{K}(\theta )$ the distribution function induced by the probability distribution $\mathbf{K}(\theta )$. Notation $\mathbf{Ga}(b,a)$, where $a,b\in (0,\infty )$, stands for the law of gamma distribution (cf., e.g., [28], p. 180). In particular, $\mathbf{Ga}(b,1)=\mathbf{Exp}(b)$ stands for the law of exponential distribution. For two real-valued random variables X and Y write $X=Y$ P-a.s. if $\{X\ne Y\}$ is a P-null set. If $A\subseteq \varOmega $, then ${A^{c}}:=\varOmega \setminus A$, while ${\chi _{A}}$ denotes the indicator (or characteristic) function of the set A. For a map $f:D\to E$ and for a nonempty set $A\subseteq D$ denote by $f\upharpoonright A$ the restriction of f to A. Write ${\mathbb{E}_{P}}[X\mid \mathcal{F}]$ for a version of a conditional expectation (under P) of a P-integrable random variable X given a σ-subalgebra $\mathcal{F}$ of Σ. For $X:={\chi _{E}}$ with $E\in \varSigma $ set $P(E\mid \mathcal{F}):={\mathbb{E}_{P}}[{\chi _{E}}\mid \mathcal{F}]$. For the unexplained terminology of Probability and Risk Theory, see [28].
Given two measurable spaces $(\varOmega ,\varSigma )$ and $(\varUpsilon ,H)$, a function k from $\varOmega \times H$ into $[0,1]$ is a Σ-H-Markov kernel if it has the following properties:
In particular, given a real-valued random variable X on Ω and a d-dimensional random vector Θ on Ω, a conditional distribution of X over Θ is a $\sigma (\varTheta )$-$\mathfrak{B}$-Markov kernel denoted by ${P_{X\mid \varTheta }}:={P_{X\mid \sigma (\varTheta )}}$ and satisfying for each $B\in \mathfrak{B}$ the condition
Clearly, for every ${\mathfrak{B}_{d}}$-$\mathfrak{B}$-Markov kernel k, the map $K(\varTheta )$ from $\varOmega \times \mathfrak{B}$ into $[0,1]$ defined by means of
\[ K(\varTheta )(\omega ,B):=(k(\bullet ,B)\circ \varTheta )(\omega )\hspace{1em}\text{for any}\hspace{0.2778em}\hspace{0.2778em}(\omega ,B)\in \varOmega \times \mathfrak{B}\]
is a $\sigma (\varTheta )$-$\mathfrak{B}$-Markov kernel. Then for $\theta =\varTheta (\omega )$ with $\omega \in \varOmega $ the probability measures $k(\theta ,\bullet )$ are distributions on $\mathfrak{B}$ and so one may write $\mathbf{K}(\theta )(\bullet )$ instead of $k(\theta ,\bullet )$. Consequently, in this case $K(\varTheta )$ will be denoted by $\mathbf{K}(\varTheta )$.For any real-valued random variables $X,Y$ on Ω the conditional distributions ${P_{X|\varTheta }}$ and ${P_{Y|\varTheta }}$ are $P\upharpoonright \sigma (\varTheta )$-equivalent (in symbols, ${P_{X|\varTheta }}={P_{Y|\varTheta }}$ $P\upharpoonright \sigma (\varTheta )$-a.s.), if there exists a P-null set $M\in \sigma (\varTheta )$ such that for any $\omega \notin M$ and $B\in \mathfrak{B}$ the equality ${P_{X|\varTheta }}(\omega ,B)={P_{Y|\varTheta }}(\omega ,B)$ holds true.
For the definition of a P-conditionally (stochastically) independent process over $\sigma (\varTheta )$ as well as of a P-conditionally identically distributed process over $\sigma (\varTheta )$, cf., e.g., [31], p. 4. Recall that a process is P-conditionally (stochastically) independent or identically distributed given Θ, if it is conditionally independent or identically distributed over the σ-algebra $\sigma (\varTheta )$.
Henceforth, unless stated otherwise, Θ is a d-dimensional random vector on Ω with values in $D\subseteq {\mathbb{R}^{d}}$ ($d\in \mathbb{N}$). Furthermore, simply write “conditionally” in the place of “conditionally given Θ” whenever conditioning refers to Θ.
A family $N:={\{{N_{t}}\}_{t\in {\mathbb{R}_{+}}}}$ of random variables from $(\varOmega ,\varSigma )$ into $(\overline{\mathbb{R}},\mathfrak{B}(\overline{\mathbb{R}}))$ is called a counting (or claim number) process, if there exists a P-null set ${\varOmega _{N}}\in \varSigma $ such that the process N restricted on $\varOmega \setminus {\varOmega _{N}}$ takes values in ${\mathbb{N}_{0}}\cup \{\infty \}$, has right-continuous paths, presents jumps of size (at most) one, vanishes at $t=0$ and increases to infinity. Without loss of generality one may and do assume, that ${\varOmega _{N}}=\varnothing $. Denote by $T:={\{{T_{n}}\}_{n\in {\mathbb{N}_{0}}}}$ and $W:={\{{W_{n}}\}_{n\in \mathbb{N}}}$ the (claim) arrival process and (claim) interarrival process, respectively (cf., e.g., [28], Section 1.1, p. 6, for the definitions) associated with N. Note also that every arrival process induces a counting process, and vice versa (cf., e.g., [28], Theorem 2.1.1).
Furthermore, let $X:={\{{X_{n}}\}_{n\in \mathbb{N}}}$ be a sequence of positive real-valued random variables on Ω, and for any $t\ge 0$ define
\[ {S_{t}}:=\left\{\begin{array}{l@{\hskip10.0pt}l}{\textstyle\textstyle\sum _{k=1}^{{N_{t}}}}{X_{k}}\hspace{1em}& \text{if}\hspace{0.2778em}\hspace{0.2778em}t>0;\\ {} 0\hspace{1em}& \text{if}\hspace{0.2778em}\hspace{0.2778em}t=0.\end{array}\right.\]
Accordingly, the sequence X is said to be the claim size process, and the family $S:={\{{S_{t}}\}_{t\in {\mathbb{R}_{+}}}}$ of real-valued random variables on Ω is said to be the aggregate claims process induced by the pair $(N,X)$. Recall that a pair $(N,X)$ is called a risk process, if N is a counting process, X is P-i.i.d. and the processes N and X are P-independent (see [28], Chapter 6, Section 6.1).3 A change of measures technique for compound mixed renewal processes
Recall that a counting process N is a P-mixed renewal process with mixing parameter Θ and interarrival time conditional distribution $\mathbf{K}(\varTheta )$ (written P-MRP$(\mathbf{K}(\varTheta ))$ for short), if the induced interarrival process W is P-conditionally independent and
\[ \forall \hspace{0.2778em}n\in \mathbb{N}\hspace{2em}[{P_{{W_{n}}\mid \varTheta }}=\mathbf{K}(\varTheta )\hspace{1em}\mathbf{P}\upharpoonright \sigma (\varTheta )\text{-a.s.}]\]
(see also [17], Definition 3.1, or [19], Definition 3.2(b)). In particular, if the distribution ${P_{\varTheta }}$ of Θ is degenerate at some point ${\theta _{0}}\in D$, then the counting process N becomes a P-renewal process with interarrival time distribution $\mathbf{K}({\theta _{0}})$ (written P-RP$(\mathbf{K}({\theta _{0}}))$ for short).Accordingly, an aggregate claims process S induced by a P-risk process $(N,X)$ such that N is a P-MRP$(\mathbf{K}(\varTheta ))$ is called a compound mixed renewal process with parameters $\mathbf{K}(\varTheta )$ and ${P_{{X_{1}}}}$ (P-CMRP$(\mathbf{K}(\varTheta ),{P_{{X_{1}}}})$ for short). In particular, if ${P_{\varTheta }}$ is degenerate at ${\theta _{0}}\in D$, then S is called a compound renewal process with parameters $\mathbf{K}({\theta _{0}})$ and ${P_{{X_{1}}}}$ (P-CRP$(\mathbf{K}({\theta _{0}}),{P_{{X_{1}}}})$ for short).
Throughout what follows denote again by $\mathbf{K}(\varTheta )$ and $\mathbf{K}(\theta )$ the conditional distribution function and the distribution function induced by the conditional probability distribution $\mathbf{K}(\varTheta )$ and the probability distribution $\mathbf{K}(\theta )$, respectively.
Remark 3.1.
(a) For any $n\in \mathbb{N}$ the interarrival times ${W_{n}}$ of a P-MRP$(\mathbf{K}(\varTheta ))$ remain P-identically distributed (see [31], Remark 2.1) but they fail to be P-independent. In fact, assuming that ${\mathbb{E}_{P}^{2}}[{W_{1}}\mid \varTheta ]\in {\mathcal{L}^{1}}(P)$ and applying standard computations along with the fact that W is P-conditionally i.i.d., it follows that ${\text{Cov}_{P}}({W_{n}},{W_{m}})={\text{Var}_{P}}({\mathbb{E}_{P}}[{W_{1}}\mid \varTheta ])>0$ for any $n,m\in \mathbb{N}$ with $n\ne m$.
(b) Applying [17], Theorem 4.2, which holds true under some mild assumptions satisfied by the majority of the probability spaces appearing in applied Probability Theory, one gets that there exists a d-dimensional random vector Θ such that W is P-conditionally i.i.d. if and only if the sequence W is P-exchangeable (recall that a sequence of random variables is called exchangeable if the joint distribution of the sequence is invariant under the permutation of the indices); hence exchangeability seems to be an appealing way to introduce a dependence structure between the claim interarrival times of a counting process. Actually, exchangeability seems to be a natural assumption in the risk model context (see [1], Remark 2.7), implying that the assumption that N is a MRP may be seen also as a natural one, in order to model this kind of dependence between claim interarrival times.
The following conditions for the quadruplet $(P,W,X,\varTheta )$ (or, if no confusion arises, for the probability measure P) will be useful throughout the paper:
Since conditioning is involved in the definition of (compound) mixed renewal processes, it is natural to expect that regular conditional probabilities (or disintegrations) will play a key. To this purpose recall the following definition (cf., e.g., [31], Definition 3.2).
Definition 3.1.
The family ${\{{P_{\theta }}\}_{\theta \in D}}$ of probability measures on Σ is called a regular conditional probability (rcp for short) of P over ${P_{\varTheta }}$ if
The family ${\{{P_{\theta }}\}_{\theta \in D}}$ is consistent with Θ if, for each $B\in \mathfrak{B}(D)$, the equality ${P_{\theta }}({\varTheta ^{-1}}(B))=1$ holds for ${P_{\varTheta }}$-almost every $\theta \in B$.
A rcp ${\{{P_{\theta }}\}_{\theta \in D}}$ of P over ${P_{\varTheta }}$ consistent with Θ is essentially unique, if for any other rcp ${\{{\widetilde{P}_{\theta }}\}_{\theta \in D}}$ of P over ${P_{\varTheta }}$ consistent with Θ there exists a ${P_{\varTheta }}$-null set $N\in \mathfrak{B}(D)$ such that for any $\theta \notin N$ the equality ${P_{\theta }}={\widetilde{P}_{\theta }}$ holds true.
Regular conditional probabilities seem to have a bad reputation when it comes to applications, and that is probably due to the facts that their own existence is not always guaranteed (see [18], Examples 4 and 5) and their construction usually involves manipulations with Radon–Nikodým derivatives. Nevertheless, as the spaces used in applied Probability Theory are mainly Polish ones, such rcps always exist (see [11], Theorem 6), and in fact they can be explicitly constructed for the class of (compound) mixed renewal processes (see [31], Proposition 4.1).
From now on the family ${\{{P_{\theta }}\}_{\theta \in D}}$ is a rcp of P over ${P_{\varTheta }}$ consistent with Θ.
Let S be the aggregate claims process induced by the counting process N and the claim size process X. Fix on arbitrary $u\in \varUpsilon $ and $t\in {\mathbb{R}_{+}}$, and define the function ${r_{t}^{u}}:\varOmega \times D\to \mathbb{R}$ by means of ${r_{t}^{u}}(\omega ,\theta ):=u+c(\theta )\cdot t-{S_{t}}(\omega )$ for any $(\omega ,\theta )\in \varOmega \times D$, where c is a positive $\mathfrak{B}(D)$-measurable function. For arbitrary but fixed $\theta \in D$, the process ${r^{u}}(\theta ):={\{{r_{t}^{u}}(\theta )\}_{t\in {\mathbb{R}_{+}}}}$ defined by ${r_{t}^{u}}(\theta ):={r_{t}^{u}}(\omega ,\theta )$ for any $\omega \in \varOmega $, is called the reserve process induced by the initial reserve u, the premium intensity or premium rate $c(\theta )$ and the aggregate claims process S (see [28], Section 7.1, pp. 155–156, for the definition).
Define the real-valued function ${R_{t}^{u}}(\varTheta )$ on Ω by means of ${R_{t}^{u}}(\varTheta ):={r_{t}^{u}}\circ (i{d_{\varOmega }}\times \varTheta )$. The process ${R^{u}}(\varTheta ):={\{{R_{t}^{u}}(\varTheta )\}_{t\in {\mathbb{R}_{+}}}}$ is called the reserve process induced by the initial reserve u, the stochastic premium intensity or stochastic premium rate $c(\varTheta )$ and the aggregate claims process S.
Remark 3.2.
The most common choice for the premium rate in Risk Theory is that of a positive constant c (cf., e.g., [12], p. 215, [27], p. 83, or [28], p. 155). Nevertheless, mixed claim number processes are widely used in order to model claim counts in a portfolio of risks which is thought to be inhomogeneous and a mixture of smaller homogeneous ones which can be identified by the realization of the random vector Θ; hence the choice of a stochastic premium rate $c(\varTheta )$ instead of a constant premium rate c seems natural, as the homogeneous portfolios may have different premium rates.
Remark 3.3.
Assume that S is a P-CMRP$(\mathbf{K}(\varTheta ),{P_{{X_{1}}}})$, define the function $\kappa :D\times {\mathbb{R}_{+}}\to \mathbb{R}$ by means of
\[ \kappa (\theta ,r):={\kappa _{\theta }}(r)\hspace{1em}\text{for any}\hspace{1em}(\theta ,r)\in D\times {\mathbb{R}_{+}},\]
and for fixed $r\in {\mathbb{R}_{+}}$ denote by ${\kappa _{\varTheta }}$ the random variable defined by the formula
According to [31], Proposition 3.3, there exists a ${P_{\varTheta }}$-null set ${L_{P}}\in \mathfrak{B}(D)$ such that S is a ${P_{\theta }}$-CRP$(\mathbf{K}(\theta ),{({P_{\theta }})_{{X_{1}}}})$ with ${({P_{\theta }})_{{X_{1}}}}={P_{{X_{1}}}}$ for any $\theta \notin {L_{P}}$. For any $r\in {\mathbb{R}_{+}}$ such that ${\mathbb{E}_{P}}[{e^{r{X_{1}}}}]<\infty $ and any $\theta \in {L_{P}^{c}}$ let ${\kappa _{\theta }}(r)$ be the unique solution to the equation
where ${M_{{X_{1}}}}$ and ${({M_{\theta }})_{{W_{1}}}}$ are the moment generating function of ${X_{1}}$ and ${W_{1}}$ under the measures P and ${P_{\theta }}$, respectively (such a solution exists by, e.g., [24], Lemma 11.5.1(a)). Note that the latter condition is in fact a version of the well-known Cramér–Lundberg equation (cf., e.g., [27], p. 133). Condition (1), along with [31], Lemma 4.13, implies that ${\kappa _{\varTheta }}(r)$ is the $P\upharpoonright \sigma (\varTheta )$-a.s. unique solution to the equation
(1)
\[ {M_{{X_{1}}}}(r)\cdot {({M_{\theta }})_{{W_{1}}}}\big(-{\kappa _{\theta }}(r)-c(\theta )\cdot r\big)=1,\]
$\mathcal{F}:={\{{\mathcal{F}_{t}}\}_{t\in {\mathbb{R}_{+}}}}$, where ${\mathcal{F}_{t}}:=\sigma ({\mathcal{F}_{t}^{S}}\cup \sigma (\varTheta ))$, denotes the canonical filtration generated by S and Θ; ${\mathcal{F}_{\infty }^{S}}:=\sigma ({\textstyle\bigcup _{t\in {\mathbb{R}_{+}}}}{\mathcal{F}_{t}^{S}})$ and ${\mathcal{F}_{\infty }}:=\sigma ({\mathcal{F}_{\infty }^{S}}\cup \sigma (\varTheta ))$. For the definition of a $(P,\mathcal{Z})$-martingale, where $\mathcal{Z}={\{{\mathcal{Z}_{t}}\}_{t\in {\mathbb{R}_{+}}}}$ is a filtration for $(\varOmega ,\varSigma )$, cf., e.g., [28], p. 25. A $(P,\mathcal{Z})$-martingale ${\{{Z_{t}}\}_{t\in {\mathbb{R}_{+}}}}$ is P-a.s. positive, if ${Z_{t}}$ is P-a.s. positive for each $t\ge 0$. For $\mathcal{Z}=\mathcal{F}$ write “martingale” instead of “$(P,\mathcal{Z})$-martingale”, for simplicity.
Notations 3.1.
(a) The class of all real-valued $\mathfrak{B}(\varUpsilon )$-measurable functions γ such that ${\mathbb{E}_{P}}\left[{e^{\gamma ({X_{1}})}}\right]=1$ will be denoted by ${\mathcal{F}_{P}}:={\mathcal{F}_{P,{X_{1}},\ln }}$. The class of all real-valued $\mathfrak{B}(D)$-measurable functions ξ on D such that ${P_{\varTheta }}(\{\xi >0\})=1$ and ${\mathbb{E}_{P}}[\xi (\varTheta )]=1$ is denoted by ${\mathcal{R}_{+}}(D):={\mathcal{R}_{+}}(D,\mathfrak{B}(D),{P_{\varTheta }})$.
(b) Denote by ${\mathfrak{M}^{k}}(D)$ ($k\in \mathbb{N}$) the class of all $\mathfrak{B}(D)$-$\mathfrak{B}({\mathbb{R}^{k}})$-measurable functions on D. For each $\rho \in {\mathfrak{M}^{k}}(D)$, the class of all probability measures Q on Σ satisfying (a1) and (a2), being progressively equivalent to P, i.e. $Q\upharpoonright {\mathcal{F}_{t}}\sim P\upharpoonright {\mathcal{F}_{t}}$ for any $t\ge 0$ (in the sense of absolute continuity), and such that S is a Q-CMRP$(\boldsymbol{\Lambda }(\rho (\varTheta )),{Q_{{X_{1}}}})$ is denoted by ${\mathcal{M}_{S,\boldsymbol{\Lambda }(\rho (\varTheta ))}}:={\mathcal{M}_{S,\boldsymbol{\Lambda }(\rho (\varTheta )),P,{X_{1}}}}$. In the special case $d=k$ and $\rho :=i{d_{D}}$ write ${\mathcal{M}_{S,\boldsymbol{\Lambda }(\varTheta )}}:={\mathcal{M}_{S,\boldsymbol{\Lambda }(\rho (\varTheta ))}}$ for simplicity.
(c) For given $\rho \in {\mathfrak{M}^{k}}(D)$ and $\theta \in D$, denote by ${\mathcal{M}_{S,\boldsymbol{\Lambda }(\rho (\theta ))}}$ the class of all probability measures ${Q_{\theta }}$ on Σ, such that ${Q_{\theta }}\upharpoonright {\mathcal{F}_{t}}\sim {P_{\theta }}\upharpoonright {\mathcal{F}_{t}}$ for any $t\in {\mathbb{R}_{+}}$ and S is a ${Q_{\theta }}$-CRP$(\boldsymbol{\Lambda }(\rho (\theta )),{({Q_{\theta }})_{{X_{1}}}})$.
Henceforth, $\varUpsilon :=(0,\infty )$, $\varOmega :={\varUpsilon ^{\mathbb{N}}}\times {\varUpsilon ^{\mathbb{N}}}\times D$, $\varSigma :=\mathfrak{B}(\varOmega )$, $\mathbf{K}(\varTheta )$ and ${\{{P_{\theta }}\}_{\theta \in D}}$ are as in [31], Proposition 4.1, $P\in {\mathcal{M}_{S,\mathbf{K}(\varTheta )}}$, and assume that ${\mathbb{E}_{P}}[{W_{1}}|\varTheta ]\in \varUpsilon \hspace{2.5pt}P\upharpoonright \sigma (\varTheta )$-a.s.
The following proposition is a part of Proposition 4.15 from [31]. Since it is the basic tool for the proofs of the results, it is restated exactly in the form needed for the purposes of the present paper.
Proposition 3.1.
For any $r\in {\mathbb{R}_{+}}$ such that ${\mathbb{E}_{P}}[{e^{r{X_{1}}}}]<\infty $, and for any $\theta \notin {L_{P}}$, let ${\kappa _{\theta }}(r)$ be the unique solution to Equation (1), and let ${\kappa _{\varTheta }}(r)$ be as in Remark 3.3. Fix on arbitrary $r\in {\mathbb{R}_{+}}$ as above and put ${\rho _{r}}(\varTheta ):={\kappa _{\varTheta }}(r)+c(\varTheta )\cdot r$. For each pair $(\gamma ,\xi )\in {\mathcal{F}_{P}}\times {\mathcal{R}_{+}}(D)$ with $\gamma (x):=r\cdot x-\ln {\mathbb{E}_{P}}[{e^{r\cdot {X_{1}}}}]$ for any $x\in \varUpsilon $, there exists a unique probability measure ${Q^{r}}\in {\mathcal{M}_{S,\boldsymbol{\Lambda }({\rho _{r}}(\varTheta ))}}$, where
with ${M^{(\gamma ,r)}}(\varTheta ):={\{{M_{t}^{(\gamma ,r)}}(\varTheta )\}_{t\in {\mathbb{R}_{+}}}}$ being a P-a.s. positive martingale, fulfilling the condition
\[ \boldsymbol{\Lambda }({\rho _{r}}(\varTheta ))(B):=\frac{{\mathbb{E}_{P}}[{\chi _{{W_{1}^{-1}}[B]}}\cdot {e^{-{\rho _{r}}(\varTheta )\cdot {W_{1}}}}\mid \varTheta ]}{{\mathbb{E}_{P}}[{e^{-{\rho _{r}}(\varTheta )\cdot {W_{1}}}}\mid \varTheta ]}\hspace{1em}P\upharpoonright \sigma (\varTheta )\textit{-a.s.}\]
for any $B\in \mathfrak{B}(\varUpsilon )$, determined by the condition
(RRMξ)
\[ {Q^{r}}(A)={\int _{A}}{M_{t}^{(\gamma ,r)}}(\varTheta )\hspace{0.1667em}dP\hspace{1em}\textit{for all}\hspace{2.5pt}0\le u\le t\hspace{0.1667em}\hspace{0.1667em}\textit{and}\hspace{0.1667em}\hspace{0.1667em}A\in {\mathcal{F}_{u}},\]
Moreover, there exist an essentially unique rcp ${\{{Q_{\theta }^{r}}\}_{\theta \in D}}$ of ${Q^{r}}$ over ${Q_{\varTheta }^{r}}$ consistent with Θ and a ${P_{\varTheta }}$-null set ${L_{\ast \ast }}\in \mathfrak{B}(D)$, satisfying for any $\theta \notin {L_{\ast \ast }}$ the conditions ${Q_{\theta }^{r}}\in {\mathcal{M}_{S,\boldsymbol{\Lambda }({\rho _{r}}(\theta ))}}$ and
with
(RRMθ)
\[ {Q_{\theta }^{r}}(A)={\int _{A}}{\widetilde{M}_{t}^{(\gamma ,r)}}(\theta )\hspace{0.1667em}d{P_{\theta }}\hspace{1em}\textit{for all}\hspace{2.5pt}0\le u\le t\hspace{0.1667em}\hspace{0.1667em}\textit{and}\hspace{0.1667em}\hspace{0.1667em}A\in {\mathcal{F}_{u}},\]
\[ {\widetilde{M}_{t}^{(\gamma ,r)}}(\theta )={e^{r\cdot {S_{t}}-{\rho _{r}}(\theta )\cdot {T_{{N_{t}}}}+\ln {\mathbb{E}_{P}}[{e^{r\cdot {X_{1}}}}]}}\cdot \frac{{\textstyle\textstyle\int _{{J_{t}}}^{\infty }}{e^{-{\rho _{r}}(\theta )\cdot w}}\hspace{0.1667em}{({P_{\theta }})_{{W_{1}}}}(dw)}{1-\mathbf{K}(\theta )({J_{t}})},\]
where ${J_{t}}:=t-{T_{{N_{t}}}}$ and ${\widetilde{M}^{(\gamma ,r)}}(\theta ):={\{{\widetilde{M}_{t}^{(\gamma ,r)}}(\theta )\}_{t\in {\mathbb{R}_{+}}}}$ is a ${P_{\theta }}$-a.s. positive martingale.
In the following example Proposition 3.1 is applied for an initial probability measure $P\in {\mathcal{M}_{S,\mathbf{Exp}(\varTheta )}}$, where Θ is a positive real valued random variable, i.e. when S is a compound mixed Poisson process (cf., e.g., [16], p. 4, for its definition).
Example 3.1.
Take $D:=\varUpsilon $ and assume that $P\in {\mathcal{M}_{S,\mathbf{Exp}(\varTheta )}}$, where Θ is a positive real-valued random variable. For any $r\in {\mathbb{R}_{+}}$ such that ${M_{{X_{1}}}}(r):={\mathbb{E}_{P}}[{e^{r{X_{1}}}}]<\infty $, consider the functions γ and ξ, defined by means of $\gamma (x):=r\cdot x-\ln {M_{{X_{1}}}}(r)$ for any $x\in \varUpsilon $ and $\xi (\theta ):=\frac{{e^{-r\cdot \theta }}}{{\mathbb{E}_{P}}[{e^{-r\cdot \varTheta }}]}$ for any $\theta \in D$. An easy computation justifies that $(\gamma ,\xi )\in {\mathcal{F}_{P}}\times {\mathcal{R}_{+}}(D)$. Thus, applying Proposition 3.1, there exist a probability measure ${Q^{r}}\in {\mathcal{M}_{S,\boldsymbol{\Lambda }({\rho _{r}}(\varTheta ))}}$, determined by ($RR{M_{\xi }}$), an essentially unique rcp ${\{{Q_{\theta }^{r}}\}_{\theta \in D}}$ of ${Q^{r}}$ over ${Q_{\varTheta }^{r}}$ consistent with Θ and a ${P_{\varTheta }}$-null set ${L_{\ast \ast }}\in \mathfrak{B}(D)$ such that conditions ${Q_{\theta }^{r}}\in {\mathcal{M}_{S,\boldsymbol{\Lambda }({\rho _{r}}(\theta ))}}$ and ($RR{M_{\theta }}$) hold for any $\theta \notin {L_{\ast \ast }}$.
Fix an arbitrary $\theta \notin {L_{\ast \ast }}$. Since by [31], Proposition 3.3, the aggregate claims process S is a ${P_{\theta }}$-CPP$(\theta ,{P_{{X_{1}}}})$ with ${P_{{X_{1}}}}={({P_{\theta }})_{{X_{1}}}}$, it follows by [27], condition (5.3) on p. 89, that ${\kappa _{\theta }}(r)=\theta \cdot ({M_{{X_{1}}}}(r)-1)-c(\theta )\cdot r$, implying that ${\rho _{r}}(\theta ):={\kappa _{\theta }}(r)+c(\theta )\cdot r=\theta \cdot ({M_{{X_{1}}}}(r)-1)$. Thus,
\[ \boldsymbol{\Lambda }({\rho _{r}}(\theta ))(B)=\frac{{\mathbb{E}_{{P_{\theta }}}}[{\chi _{{W_{1}^{-1}}[B]}}\cdot {e^{-{\rho _{r}}(\theta )\cdot {W_{1}}}}]}{{\mathbb{E}_{{P_{\theta }}}}[{e^{-{\rho _{r}}(\theta )\cdot {W_{1}}}}]}=\frac{{\textstyle\int _{B}}{e^{-\theta \cdot ({M_{{X_{1}}}}(r)-1)\cdot w}}\hspace{0.1667em}{({P_{\theta }})_{{W_{1}}}}(dw)}{\textstyle\int {e^{-\theta \cdot ({M_{{X_{1}}}}(r)-1)\cdot w}}\hspace{0.1667em}{({P_{\theta }})_{{W_{1}}}}(dw)}\]
for any $B\in \mathfrak{B}(\varUpsilon )$. But since ${({P_{\theta }})_{{W_{1}}}}=\mathbf{Exp}(\theta )$, the latter equality becomes
\[ \boldsymbol{\Lambda }({\rho _{r}}(\theta ))(B)={\int _{B}}\theta \cdot {M_{{X_{1}}}}(r)\cdot {e^{-\theta \cdot {M_{{X_{1}}}}(r)\cdot w}}\hspace{0.1667em}\lambda (dw),\]
where λ denotes the Lebesgue probability measure; hence $\boldsymbol{\Lambda }({\rho _{r}}(\theta ))=\mathbf{Exp}(\theta \cdot {M_{{X_{1}}}}(r))$, or equivalently $\boldsymbol{\Lambda }({\rho _{r}}(\varTheta ))=\mathbf{Exp}(\varTheta \cdot {M_{{X_{1}}}}(r))\hspace{0.1667em}\hspace{0.1667em}P\upharpoonright \sigma (\varTheta )$-a.s. by [19], Lemma 3.2, implying that ${Q^{r}}\in {\mathcal{M}_{S,\mathbf{Exp}(\varTheta \cdot {M_{{X_{1}}}}(r))}}$. In this situation conditions ($RR{M_{\theta }}$) and ($RR{M_{\xi }}$) become
\[ {Q_{\theta }^{r}}(A)={\int _{A}}{e^{r\cdot {S_{t}}-\theta \cdot t\cdot ({M_{{X_{1}}}}(r)-1)}}\hspace{0.1667em}d{P_{\theta }}\hspace{1em}\hspace{2.5pt}\text{for all}\hspace{2.5pt}0\le u\le t\hspace{0.1667em}\hspace{0.1667em}\text{and}\hspace{0.1667em}\hspace{0.1667em}A\in {\mathcal{F}_{u}}\]
and
\[ {Q^{r}}(A)={\int _{A}}\frac{{e^{r\cdot {S_{t}}-\varTheta \cdot t\cdot ({M_{{X_{1}}}}(r)-1)-\varTheta \cdot r}}}{{\mathbb{E}_{P}}[{e^{-r\cdot \varTheta }}]}\hspace{0.1667em}dP\hspace{1em}\hspace{2.5pt}\text{for all}\hspace{2.5pt}0\le u\le t\hspace{0.1667em}\hspace{0.1667em}\text{and}\hspace{0.1667em}\hspace{0.1667em}A\in {\mathcal{F}_{u}},\]
respectively.Remark 3.4.
It is worth noticing that in the special case when ${P_{{W_{1}}}}$ is absolutely continuous with respect to the Lebesgue measure λ restricted to $\mathfrak{B}([0,1])$, the martingale ${L^{r}}(\theta ):={\{{L_{t}^{r}}(\theta )\}_{t\in {\mathbb{R}_{+}}}}$ for $r\in {\mathbb{R}_{+}}$, appearing in [27], Lemma 8.4, coincides with the martingale ${\widetilde{M}^{(\gamma ,r)}}(\theta )$ for any $\theta \notin {L_{\ast \ast }}$, and for any $t\in {\mathbb{R}_{+}}$ condition
holds true $P\upharpoonright \sigma (\varTheta )$-a.s.
Lemma 3.1.
For any $r\in {\mathbb{R}_{+}}$, $\theta \notin {L_{\ast \ast }}$, ${Q_{\theta }^{r}}$ and ${\kappa _{\theta }}(r)$ as in Proposition 3.1 condition
holds true.
Proof.
Fix an arbitrary $r\in {\mathbb{R}_{+}}$ and $\theta \notin {L_{\ast \ast }}$ as in Proposition 3.1.
Since ${L_{P}}\subseteq {L_{\ast \ast }}$ by [31], Theorem 4.5, it follows by [31], Proposition 3.3, that condition (1) can be rewritten in the form
Differentiation with respect to r gives
for all r in a neighbourhood of 0. The expectations ${\mathbb{E}_{{Q_{\theta }^{r}}}}[{X_{1}}]$ and ${\mathbb{E}_{{Q_{\theta }^{r}}}}[{W_{1}}]$ are given by
(3)
\[ {({M_{\theta }})_{{X_{1}}}}(r)\cdot {({M_{\theta }})_{{W_{1}}}}(-c(\theta )\cdot r-{\kappa _{\theta }}(r))=1.\](4)
\[\begin{aligned}{}& {\big({({M_{\theta }})_{{X_{1}}}}(r))^{\prime }}\cdot {({M_{\theta }})_{{W_{1}}}}(-c(\theta )\cdot r-{\kappa _{\theta }}(r)\big)\\ {} & \hspace{2em}+{({M_{\theta }})_{{X_{1}}}}(r)\cdot {\left({({M_{\theta }})_{{W_{1}}}}(-c(\theta )\cdot r-{\kappa _{\theta }}(r))\right)^{\prime }}\cdot (-c(\theta )-{\kappa ^{\prime }_{\theta }}(r))=0\end{aligned}\]
\[ {\mathbb{E}_{{Q_{\theta }^{r}}}}[{X_{1}}]=\frac{{\mathbb{E}_{{P_{\theta }}}}\left[{X_{1}}\cdot {e^{r\cdot {X_{1}}}}\right]}{{\mathbb{E}_{{P_{\theta }}}}[{e^{r\cdot {X_{1}}}}]}=\frac{{({({M_{\theta }})_{{X_{1}}}}(r))^{\prime }}}{{({M_{\theta }})_{{X_{1}}}}(r)}\]
and
\[ {\mathbb{E}_{{Q_{\theta }^{r}}}}[{W_{1}}]=\frac{{\mathbb{E}_{{P_{\theta }}}}\left[{W_{1}}\cdot {e^{-(r\cdot c(\theta )+{\kappa _{\theta }}(r))\cdot {W_{1}}}}\right]}{{\mathbb{E}_{{P_{\theta }}}}[{e^{-(r\cdot c(\theta )+{\kappa _{\theta }}(r))\cdot {W_{1}}}}]}=\frac{{\big({({M_{\theta }})_{{W_{1}}}}(-r\cdot c(\theta )-{\kappa _{\theta }}(r)\big))^{\prime }}}{\big({({M_{\theta }})_{{W_{1}}}}(-r\cdot c(\theta )-{\kappa _{\theta }}(r)\big)},\]
respectively, implying along with condition (4) that
\[\begin{aligned}{}& {\mathbb{E}_{{Q_{\theta }^{r}}}}[{X_{1}}]\cdot {({M_{\theta }})_{{X_{1}}}}(r)\cdot {({M_{\theta }})_{{W_{1}}}}(-c(\theta )\cdot r-{\kappa _{\theta }}(r))\\ {} & \hspace{1em}+{({M_{\theta }})_{{X_{1}}}}(r)\cdot {\mathbb{E}_{{Q_{\theta }^{r}}}}[{W_{1}}]\cdot {({M_{\theta }})_{{W_{1}}}}(-c(\theta )\cdot r-{\kappa _{\theta }}(r))\cdot (-c(\theta )-{\kappa ^{\prime }_{\theta }}(r))=0.\end{aligned}\]
The latter together with condition (3) gives
completing the proof. □The following proposition extends Lemma 8.6 of [27].
Proposition 3.2.
For any $r\in {\mathbb{R}_{+}}$, $\theta \notin {L_{\ast \ast }}$, ${Q_{\theta }^{r}}$ and ${\kappa _{\theta }}(r)$ as in Proposition 3.1, the following statements hold true:
-
(i) ${\lim \nolimits_{t\to \infty }}\frac{{r_{t}^{u}}(\theta )-u}{t}=-{\kappa ^{\prime }_{\theta }}(r)\hspace{2.5pt}{Q_{\theta }^{r}}\textit{-a.s.}$;
-
(ii) ${\lim \nolimits_{t\to \infty }}\frac{{R_{t}^{u}}(\varTheta )-u}{t}=-{\kappa ^{\prime }_{\varTheta }}(r)\hspace{2.5pt}{Q^{r}}\textit{-a.s.}$;
-
(iii) if there exists a ${P_{\varTheta }}$-null set ${\widehat{L}_{1}}$ in $\mathfrak{B}(D)$ such that for any $\theta \notin {\widehat{L}_{1}}$ the condition ${P_{\theta }}={Q_{\theta }^{r}}$ holds, then the measures P and ${Q^{r}}$ are equivalent on ${\mathcal{F}_{\infty }}$;
-
(iv) if there exists a ${P_{\varTheta }}$-null set ${\widehat{L}_{2}}$ in $\mathfrak{B}(D)$ such that for any $\theta \notin {\widehat{L}_{2}}$ the condition ${P_{\theta }}\ne {Q_{\theta }^{r}}$ holds, then the measures P and ${Q^{r}}$ are singular on ${\mathcal{F}_{\infty }}$, i.e. there exists a set $E\in {\mathcal{F}_{\infty }}$ such that $P(E)=0$ if and only if ${Q^{r}}(E)=1$.
Proof.
Fix an arbitrary $r\in {\mathbb{R}_{+}}$ as in Proposition 3.1.
Ad (i): Fix an arbitrary $\theta \notin {L_{\ast \ast }}$, and note that ${L_{P}}\subseteq {L_{\ast \ast }}$ by [31] T,heorem 4.5. Since S is a ${Q_{\theta }^{r}}$-CRP by [31], Proposition 3.3, the strong law of large numbers yields
\[ \underset{t\to \infty }{\lim }\frac{{S_{t}}}{t}=\frac{{\mathbb{E}_{{Q_{\theta }^{r}}}}[{X_{1}}]}{{\mathbb{E}_{{Q_{\theta }^{r}}}}[{W_{1}}]}\hspace{1em}{Q_{\theta }^{r}}\text{-a.s.}\]
(cf., e.g., [13], Section 1.2, Theorem 2.3), or equivalently that
\[ \underset{t\to \infty }{\lim }\frac{{r_{t}^{u}}(\theta )-u}{t}=\underset{t\to \infty }{\lim }\frac{c(\theta )\cdot t-{S_{t}}}{t}=c(\theta )-\frac{{\mathbb{E}_{{Q_{\theta }^{r}}}}[{X_{1}}]}{{\mathbb{E}_{{Q_{\theta }^{r}}}}[{W_{1}}]}\hspace{2em}{Q_{\theta }^{r}}\text{-a.s.},\]
implying along with Lemma 3.1, assertion (i).Ad (ii): Consider the function $v:={\chi _{\left\{{\lim \nolimits_{t\to \infty }}\frac{{r_{t}^{u}}-u}{t}=-{\kappa ^{\prime }_{\bullet }}(r)\right\}}}:\varOmega \times D\to [0,1]$ and put $g:=v\circ (i{d_{\varOmega }}\times \varTheta )={\chi _{\left\{{\lim \nolimits_{t\to \infty }}\frac{{r_{t}^{u}}(\varTheta )-u}{t}=-{\kappa ^{\prime }_{\varTheta }}(r)\right\}}}$. Since $v\in {\mathcal{L}^{1}}(M)$, where $M:=P\circ {(i{d_{\varOmega }}\times \varTheta )^{-1}}$, apply [15], Proposition 3.8(i), to get that
\[ {\mathbb{E}_{{Q^{r}}}}\left[g\mid \varTheta \right]={\mathbb{E}_{{Q_{\bullet }^{r}}}}\left[{v^{\bullet }}\right]\circ \varTheta \hspace{1em}{Q^{r}}\upharpoonright \sigma (\varTheta )\text{-a.s.}\]
or equivalently
\[\begin{aligned}{}{Q^{r}}\Big(& \left\{\underset{t\to \infty }{\lim }\frac{{R_{t}^{u}}(\varTheta )-u}{t}=-{\kappa ^{\prime }_{\varTheta }}(r)\right\}\mid \varTheta \Big)\\ {} & ={Q_{\bullet }^{r}}\left(\left\{\underset{t\to \infty }{\lim }\frac{{r_{t}^{u}}(\bullet )-u}{t}=-{\kappa ^{\prime }_{\bullet }}(r)\right\}\right)\circ \varTheta \hspace{1em}{Q^{r}}\upharpoonright \sigma (\varTheta )\text{-a.s.}\end{aligned}\]
Then for any $F\in \mathfrak{B}(D)$ it follows that
\[\begin{aligned}{}& {\int _{{\varTheta ^{-1}}[F]}}{Q^{r}}\left(\left\{\underset{t\to \infty }{\lim }\frac{{R_{t}^{u}}(\varTheta )-u}{t}=-{\kappa ^{\prime }_{\varTheta }}(r)\right\}\mid \varTheta \right)\hspace{0.1667em}d{Q^{r}}\\ {} & ={\int _{F\cap {L_{\ast \ast }^{c}}}}{Q_{\theta }^{r}}\left(\left\{\underset{t\to \infty }{\lim }\frac{{r_{t}^{u}}(\theta )-u}{t}=-{\kappa ^{\prime }_{\theta }}(r)\right\}\right)\hspace{0.1667em}{Q_{\varTheta }^{r}}(d\theta )\\ {} & ={\int _{{\varTheta ^{-1}}[F]}}\hspace{0.1667em}d{Q^{r}},\end{aligned}\]
where the last equality follows by (i); hence
implying that assertion (ii) holds true.4 Applications to the ruin problem
In this section the change of measures technique for compound mixed renewal processes appearing in Proposition 3.1 is applied to the ruin problem. In the first result a bound for the finite time ruin probability is proven. In order to present it denote by $\tau :={\tau _{u}}$ the ruin time of the reserve process ${R^{u}}(\varTheta )$ ($u\in {\mathbb{R}_{+}}$) (cf., e.g., [27], p. 84, for the definition) and by $\psi (u,t):=P(\{{\inf _{v\le t}}{R_{v}^{u}}(\varTheta )<0\})=P(\{\tau \le t\})$ the finite time ruin probability (cf., e.g., [5], p. 115) for the reserve process ${R^{u}}(\varTheta )$ with respect to P.
Proposition 4.1.
Let $r\in {\mathbb{R}_{+}}$ be as in Proposition 3.1 and $\underline{y},\overline{y}\in {\mathbb{R}_{+}}$ with $0\le \underline{y}<\overline{y}<\infty $. The finite time ruin probability satisfies the condition
\[ \psi (u,\overline{y}\cdot u)-\psi (u,\underline{y}\cdot u)\le {\mathbb{E}_{P}}\left[{e^{-{R_{\varTheta }}(\underline{y},\overline{y})\cdot u}}\right]\hspace{1em}\textit{for any}\hspace{2.5pt}u\in {\mathbb{R}_{+}},\]
where ${R_{\varTheta }}(\underline{y},\overline{y}):={\sup _{r\in {\mathbb{R}_{+}}}}\min \{r-{\kappa _{\varTheta }}(r)\cdot \underline{y},r-{\kappa _{\varTheta }}(r)\cdot \overline{y}\}$.
Proof.
Let $r\in {\mathbb{R}_{+}}$ be as in Proposition 3.1, fix arbitrary $u,\underline{y},\overline{y}\in {\mathbb{R}_{+}}$ with $0\le \underline{y}<\overline{y}<\infty $, and consider the functions $\gamma (x):=r\cdot x-\ln {\mathbb{E}_{P}}\left[{e^{r\cdot {X_{1}}}}\right]$ for any $x\in \varUpsilon $ and $\xi \in {\mathcal{R}_{+}}(D)$. Since $(\gamma ,\xi )\in {\mathcal{F}_{P}}\times {\mathcal{R}_{+}}(D)$, it follows by Proposition 3.1 that there exists a unique probability measure ${Q^{r}}\in {\mathcal{M}_{S,\boldsymbol{\Lambda }({\rho _{r}}(\varTheta ))}}$ determined by condition ($RR{M_{\xi }}$) and such that the family ${M^{(\gamma ,r)}}(\varTheta )$ is a P-a.s. positive martingale. But since τ is a stopping time for $\mathcal{F}$ it follows by [27], Lemma 8.1, that
\[\begin{aligned}{}\psi (u,\overline{y}\cdot u)-\psi (u,\underline{y}\cdot u)& ={\mathbb{E}_{{Q^{r}}}}\left[{\chi _{\{\underline{y}\cdot u\le \tau \le \overline{y}\cdot u\}}}\cdot \frac{1}{{M_{\tau }^{(\gamma ,r)}}(\varTheta )}\right]\\ {} & \le {\mathbb{E}_{{Q^{r}}}}\left[{\chi _{\{\underline{y}\cdot u\le \tau \le \overline{y}\cdot u\}}}\cdot \frac{{e^{-r\cdot u+\max \{{\kappa _{\varTheta }}(r)\cdot \underline{y}\cdot u,{\kappa _{\varTheta }}(r)\cdot \overline{y}\cdot u\}}}}{\xi (\varTheta )}\right]\\ {} & \le {\mathbb{E}_{{Q^{r}}}}\left[\frac{{e^{-\min \{r-{\kappa _{\varTheta }}(r)\cdot \underline{y},r-{\kappa _{\varTheta }}(r)\cdot \overline{y}\}\cdot u}}}{\xi (\varTheta )}\right]\\ {} & ={\mathbb{E}_{P}}\left[{e^{-\min \{r-{\kappa _{\varTheta }}(r)\cdot \underline{y},r-{\kappa _{\varTheta }}(r)\cdot \overline{y}\}\cdot u}}\right],\end{aligned}\]
where the first inequality follows by ${R_{\tau }^{u}}=u+c(\varTheta )\cdot \tau -{S_{\tau }}<0$, ${J_{\tau }}=\tau -{T_{{N_{\tau }}}}=0$ and condition (2). Choosing now the exponent as small as possible, one gets
\[ \psi (u,\overline{y}\cdot u)-\psi (u,\underline{y}\cdot u)\le {\mathbb{E}_{P}}\left[{e^{-{R_{\varTheta }}(\underline{y},\overline{y})\cdot u}}\right]\hspace{1em}\hspace{2.5pt}\text{for any}\hspace{2.5pt}u\in {\mathbb{R}_{+}},\]
where ${R_{\varTheta }}(\underline{y},\overline{y}):={\sup _{r\in {\mathbb{R}_{+}}}}\min \{r-{\kappa _{\varTheta }}(r)\cdot \underline{y},r-{\kappa _{\varTheta }}(r)\cdot \overline{y}\}$, completing in this way the proof. □Remark 4.1.
In the special case when ${P_{\varTheta }}$ is degenerate at some point ${\theta _{0}}\in D$, the inequality appearing in Proposition 4.1 reduces to the well-known finite time Lundberg inequality in a Sparre Andersen risk model
\[ \psi (u,\overline{y}\cdot u)-\psi (u,\underline{y}\cdot u)\le {e^{-{R_{{\theta _{0}}}}(\underline{y},\overline{y})\cdot u}}\]
for any $u\in {\mathbb{R}_{+}}$ and $\underline{y},\overline{y}\in {\mathbb{R}_{+}}$ with $0\le \underline{y}<\overline{y}<\infty $ (cf., e.g., [27], p. 147).Recall that for any arbitrary but fixed $\theta \in D$ the function ${\psi _{\theta }}:\varUpsilon \to [0,1]$ defined by ${\psi _{\theta }}(u):={P_{\theta }}(\{{\inf _{t\in {\mathbb{R}_{+}}}}{r_{t}^{u}}(\theta )<0\})$ is called the probability of ruin for the reserve process ${r^{u}}(\theta )$ with respect to ${P_{\theta }}$ (see [28], Section 7.1, p. 158, for the definition). The function $\psi :\varUpsilon \to [0,1]$ defined by $\psi (u):=P(\{{\inf _{t\in {\mathbb{R}_{+}}}}{R_{t}^{u}}(\varTheta )<0\})$ is called the probability of ruin for the reserve process ${R^{u}}(\varTheta )$ with respect to P.
When considering infinite time ruin probabilities in a mixed renewal risk model one has to assume that the conditional net profit condition
holds, in order to avoid a P-a.s. ruin (see [30], Lemma 5.3). Note that since S is a P-CMRP$(\mathbf{K}(\varTheta ),{P_{{X_{1}}}})$ and conditions (a1) and (a2) are valid, one may apply [31], Proposition 3.2, along with [15], Lemma 3.5, in order to show that condition ($NP{C_{\varTheta }}$) is equivalent to
where ${L_{\ast \ast }}\in \mathfrak{B}(D)$ is the ${P_{\varTheta }}$-null set appearing in Proposition 3.1. Fix an arbitrary $\theta \notin {L_{\ast \ast }}$. If condition ($NP{C_{\theta }}$) holds true for any $\theta \notin {L_{\ast \ast }}$ and $r\in {\mathbb{R}_{+}}$ is as in Proposition 3.1, it follows by, e.g., [27], p. 133, that there exists an adjustment coefficient $R(\theta )\in \varUpsilon $ with respect to ${P_{\theta }}$.
(NPCΘ)
\[ c(\varTheta )>\frac{{\mathbb{E}_{P}}[{X_{1}}]}{{\mathbb{E}_{P}}[{W_{1}}\mid \varTheta ]}\hspace{1em}P\upharpoonright \sigma (\varTheta )\text{-a.s.}\](NPCθ)
\[ c(\theta )>\frac{{\mathbb{E}_{{P_{\theta }}}}[{X_{1}}]}{{\mathbb{E}_{{P_{\theta }}}}[{W_{1}}]}\hspace{1em}\hspace{2.5pt}\text{for any}\hspace{2.5pt}\theta \notin {L_{\ast \ast }},\]
Throughout what follows assume that condition ($NP{C_{\varTheta }}$) holds true and that $R(\theta )\in \varUpsilon $ is an adjustment coefficient with respect to ${P_{\theta }}$ for any $\theta \notin {L_{\ast \ast }}$.
The next result is an immediate consequence of Proposition 4.1 and extends the celebrated Lundberg inequality to the case of CMRPs.
The proof follows immediately by Proposition 4.1 for $\underline{y}=0$, $\overline{y}\to \infty $ and $r=R(\theta )$.
Example 4.1.
Take $D:=(0,1)$, let Θ be a real-valued random variable on Ω, and assume that $P\in {\mathcal{M}_{S,\mathbf{Exp}(\varTheta )}}$ such that ${P_{{X_{1}}}}=\mathbf{Exp}(\eta )$, $\eta \in (1,\infty )$, and ${P_{\varTheta }}=\mathbf{Beta}(1,2)$ (cf., e.g., [28], p. 179, for the definition of a beta distribution). Since conditions (a1) and (a2) hold true, it follows by [31], Proposition 3.3, that there exists a ${P_{\varTheta }}$-null set ${L_{P}}\in \mathfrak{B}(D)$ such that ${P_{\theta }}\in {\mathcal{M}_{S,\mathbf{Exp}(\theta )}}$ with ${({P_{\theta }})_{{X_{1}}}}={P_{{X_{1}}}}$ for any $\theta \notin {L_{P}}$, implying that
\[ \frac{{\mathbb{E}_{{P_{\theta }}}}[{X_{1}}]}{{\mathbb{E}_{{P_{\theta }}}}[{W_{1}}]}=\frac{\frac{1}{\eta }}{\frac{1}{\theta }}=\frac{\theta }{\eta }\hspace{1em}\hspace{2.5pt}\text{for any}\hspace{2.5pt}\theta \notin {L_{P}}.\]
Put $c(\theta ):=\frac{\theta }{\eta -\theta }$ for any $\theta \in D$. Fix an arbitrary $\theta \notin {L_{\ast \ast }}$. Since ${P_{\theta }}\in {\mathcal{M}_{S,\mathbf{Exp}(\theta )}}$ with ${({P_{\theta }})_{{X_{1}}}}=\mathbf{Exp}(\eta )$ and condition ($NP{C_{\theta }}$) is fulfilled, one can apply [28], Theorem 7.4.5, to obtain that $R(\theta )=\eta -\frac{\theta }{c(\theta )}=\theta $. Applying now Corollary 4.1 it follows that
It should be clear by Proposition 4.1 and Corollary 4.1 that one cannot, in general, expect to obtain exponential bounds in the case of CMRPs, as the adjustment coefficient depends on the random vector Θ. However, applying Proposition 3.1 one can obtain an explicit formula for the probability of ruin in infinite time, see Theorem 4.1, which can lead to exponential bounds, see Corollary 4.2. In order to formulate Theorem 4.1, one needs to establish the validity of the following proposition, which is a consequence of Proposition 3.1, and allows one to construct a probability measure ${Q^{{R^{\ast }}}}$, being singular to the original probability measure P and such that ruin occurs ${Q^{{R^{\ast }}}}$-a.s.
Proposition 4.2.
Let $r\in {\mathbb{R}_{+}}$ and ${L_{\ast \ast }}$ be as in Proposition 3.1. If ${\sup _{\theta \in {L_{\ast \ast }^{c}}}}R(\theta )=:{R^{\ast }}$ exists in Υ and ${\mathbb{E}_{P}}\big[{e^{{R^{\ast }}\cdot {X_{1}}}}\big]<\infty $, then for any pair $(\gamma ,\xi )$ as in Proposition 3.1 there exist a unique probability measure ${Q^{{R^{\ast }}}}$ determined by condition ($RR{M_{\xi }}$) and a rcp ${\{{Q_{\theta }^{{R^{\ast }}}}\}_{\theta \in D}}$ of ${Q^{{R^{\ast }}}}$ over ${Q_{\varTheta }^{{R^{\ast }}}}$ consistent with Θ satisfying condition ($RR{M_{\theta }}$) for any $\theta \notin {L_{\ast \ast }}$, and such that for any $u>0$ the probabilities of ruin ${\psi ^{{Q_{\theta }^{{R^{\ast }}}}}}(u)$ and ${\psi ^{{Q^{{R^{\ast }}}}}}(u)$ with respect to ${Q_{\theta }^{{R^{\ast }}}}$ and ${Q^{{R^{\ast }}}}$, respectively, are equal to 1.
Proof.
Fix an arbitrary $\theta \notin {L_{\ast \ast }}$ and assume that ${R^{\ast }}\in \varUpsilon $ and ${\mathbb{E}_{P}}\big[{e^{{R^{\ast }}\cdot {X_{1}}}}\big]<\infty $. By Proposition 3.1 it follows that there exist a unique probability measure ${Q^{{R^{\ast }}}}\in {\mathcal{M}_{S,\boldsymbol{\Lambda }({\rho _{{R^{\ast }}}}(\varTheta ))}}$ determined by condition ($RR{M_{\xi }}$) and a rcp ${\{{Q_{\theta }^{{R^{\ast }}}}\}_{\theta \in D}}$ of ${Q^{{R^{\ast }}}}$ over ${Q_{\varTheta }^{{R^{\ast }}}}$ consistent with Θ satisfying conditions ${Q_{\theta }^{{R^{\ast }}}}\in {\mathcal{M}_{S,\boldsymbol{\Lambda }({\rho _{{R^{\ast }}}}(\theta ))}}$ and ($RR{M_{\theta }}$). Because ${\kappa ^{\prime\prime }_{\theta }}(r)>0$ by, e.g., [27], p. 133, it follows that the function ${\kappa _{\theta }}$ is strictly convex, or equivalently that ${\kappa ^{\prime }_{\theta }}$ is strictly increasing. Thus, since by, e.g., [27], p. 133, conditions ${\kappa _{\theta }}(0)={\kappa _{\theta }}(R(\theta ))=0$ and ${\kappa ^{\prime }_{\theta }}(0)<0$ are valid, it follows that there exists a point ${r_{0}}\in (0,R(\theta ))$ such that ${\kappa ^{\prime }_{\theta }}({r_{0}})=0$; hence ${\kappa ^{\prime }_{\theta }}(r)>0$ for any $r>{r_{0}}$. Because ${r_{0}}<R(\theta )\le {R^{\ast }}$ one deduces that ${\kappa ^{\prime }_{\theta }}({R^{\ast }})>0$. The latter, along with Lemma 3.1, yields that
\[ 0<\frac{{\mathbb{E}_{{Q_{\theta }^{{R^{\ast }}}}}}[{X_{1}}]}{{\mathbb{E}_{{Q_{\theta }^{{R^{\ast }}}}}}[{W_{1}}]}-c(\theta )\Longleftrightarrow c(\theta )<\frac{{\mathbb{E}_{{Q_{\theta }^{{R^{\ast }}}}}}[{X_{1}}]}{{\mathbb{E}_{{Q_{\theta }^{{R^{\ast }}}}}}[{W_{1}}]},\]
implying that the net profit condition is violated with respect to ${Q_{\theta }^{{R^{\ast }}}}$; hence by [28], Corollary 7.1.4, one has
\[ {\psi ^{{Q_{\theta }^{{R^{\ast }}}}}}(u)={Q_{\theta }^{{R^{\ast }}}}(\{\underset{t\in {\mathbb{R}_{+}}}{\inf }{r_{t}^{u}}(\theta )<0\})=1\hspace{1em}\hspace{2.5pt}\text{for any}\hspace{2.5pt}\hspace{0.1667em}\hspace{0.1667em}u>0,\]
implying along with [31], Remark 3.4(b), that
\[ {\psi ^{{Q^{{R^{\ast }}}}}}(u)={Q^{{R^{\ast }}}}(\{\underset{t\in {\mathbb{R}_{+}}}{\inf }{R_{t}^{u}}<0\})={\int _{D}}{\psi ^{{Q_{\theta }^{{R^{\ast }}}}}}(u)\hspace{0.1667em}{Q_{\varTheta }^{{R^{\ast }}}}(d\theta )=1\hspace{1em}\hspace{2.5pt}\text{for any}\hspace{2.5pt}\hspace{0.1667em}\hspace{0.1667em}u>0,\]
completing the whole proof. □In the following example, the assumptions ${R^{\ast }}<\infty $ and ${\mathbb{E}_{P}}\big[{e^{{R^{\ast }}{X_{1}}}}\big]<\infty $ of Proposition 4.2 hold.
Example 4.2.
Assume that S is a P-CMPP$(\varTheta )$ such that ${P_{{X_{1}}}}=\mathbf{Exp}(\eta )$, $\eta \in \varUpsilon $, and ${P_{\varTheta }}=\mathbf{Beta}(a,b)$, $a,b\in (0,\infty )$. According to [31], Proposition 3.3, there exists a ${P_{\varTheta }}$-null set ${L_{P}}\in \mathfrak{B}((0,1))$ such that S is a ${P_{\theta }}$-CPP$(\theta )$ for any $\theta \notin {L_{P}}$. Fix an arbitrary $\theta \notin {L_{P}}$ and assume that $c(\theta )=\frac{2\cdot \theta }{\eta \cdot (1+\theta )}$. By [28], Theorem 7.4.5, it follows that $R(\theta )=\eta -\frac{\theta }{c(\theta )}=\frac{\eta \cdot (1-\theta )}{2}\in (0,\eta )$ is an adjustment coefficient with respect to ${P_{\theta }}$. Note that ${R^{\ast }}\in \varUpsilon $, since ${\sup _{\theta \in {L_{P}^{c}}}}R(\theta )={\sup _{\theta \in {L_{P}^{c}}}}\frac{\eta \cdot (1-\theta )}{2}=\frac{\eta }{2}$. Furthermore, ${\mathbb{E}_{P}}\big[{e^{{R^{\ast }}{X_{1}}}}]=\frac{\eta }{\eta -{R^{\ast }}}<\infty $.
Theorem 4.1.
Let $(\gamma ,\xi )$ be as in Proposition 3.1, $u\in \varUpsilon $ and $\theta \notin {L_{\ast \ast }}$. Under the assumptions of Proposition 4.2 the following hold:
-
(i) ${\psi _{\theta }}(u)={\mathbb{E}_{{Q_{\theta }^{{R^{\ast }}}}}}\big[{e^{{R^{\ast }}{r_{\tau }^{u}}(\theta )+{\kappa _{\theta }}({R^{\ast }})\cdot \tau }}\big]\cdot {e^{-{R^{\ast }}u}}$;
-
(ii) $\psi (u)={\mathbb{E}_{{Q^{{R^{\ast }}}}}}\left[\frac{{e^{{R^{\ast }}\cdot {R_{\tau }^{u}}(\varTheta )+{\kappa _{\varTheta }}({R^{\ast }})\cdot \tau }}}{\xi (\varTheta )}\right]\cdot {e^{-{R^{\ast }}\cdot u}}$.
Proof.
Fix an arbitrary $u\in \varUpsilon $.
Ad (i): Let $\theta \notin {L_{\ast \ast }}$ be arbitrary but fixed. Since by Proposition 3.1 the family ${\widetilde{M}^{(\gamma ,{R^{\ast }})}}(\theta )$ is ${P_{\theta }}$-a.s. positive martingale and τ is a stopping time for $\mathcal{F}$, one may apply [27], Lemma 8.1, to get
\[\begin{aligned}{}{\psi _{\theta }}(u)& ={\int _{\{\tau <\infty \}}}\frac{1}{{\widetilde{M}_{\tau }^{(\gamma ,{R^{\ast }})}}(\theta )}\hspace{0.1667em}d{Q_{\theta }^{{R^{\ast }}}}\\ {} & ={\mathbb{E}_{{Q_{\theta }^{{R^{\ast }}}}}}\left[{\chi _{\{\tau <\infty \}}}\cdot {e^{{R^{\ast }}\cdot {r_{\tau }^{u}}(\theta )+{\kappa _{\theta }}({R^{\ast }})\cdot \tau }}\right]\cdot {e^{-{R^{\ast }}\cdot u}},\end{aligned}\]
where the second equality follows from condition (3) for $r={R^{\ast }}$ and the fact that ${J_{\tau }}=0$. Because the probability of ruin with respect to ${Q_{\theta }^{{R^{\ast }}}}$ is equal to 1, by Proposition 4.2, the previous condition yields
that is assertion (i) holds true.Ad (ii): Assertion (i) together with [31], Remark 3.4(b), implies
\[\begin{aligned}{}\psi (u)& =\int {\psi _{\theta }}(u)\hspace{0.1667em}{P_{\varTheta }}(d\theta )\\ {} & =\int {\mathbb{E}_{{Q_{\theta }^{{R^{\ast }}}}}}\left[\frac{{e^{{R^{\ast }}\cdot {r_{\tau }^{u}}(\theta )+{\kappa _{\theta }}({R^{\ast }})\cdot \tau }}}{\xi (\theta )}\right]\hspace{0.1667em}{Q_{\varTheta }^{{R^{\ast }}}}(d\theta )\cdot {e^{-{R^{\ast }}\cdot u}}\\ {} & =\int {\mathbb{E}_{{Q^{{R^{\ast }}}}}}\left[\frac{{e^{{R^{\ast }}\cdot {R_{\tau }^{u}}(\varTheta )+{\kappa _{\varTheta }}({R^{\ast }})\cdot \tau }}}{\xi (\varTheta )}\mid \varTheta \right]\hspace{0.1667em}d{Q^{{R^{\ast }}}}\cdot {e^{-{R^{\ast }}\cdot u}},\end{aligned}\]
where the last equality follows from [15], Proposition 3.8; hence
that is assertion (ii) holds true. □In the example that follows, an explicit formula for the probability of ruin in the interesting case of constant premiums is obtained by applying Theorem 4.1.
Example 4.3.
Let $r\in {\mathbb{R}_{+}}$ be as in Proposition 3.1, fix an arbitrary $u>0$, assume that $c(\theta )=c\in \varUpsilon $ for any $\theta \in D$ and put $G:=\Big\{\theta \in D:c>{\mathbb{E}_{{P_{\theta }}}}[{X_{1}}]/{\mathbb{E}_{{P_{\theta }}}}[{W_{1}}]\Big\}$. Since the net profit condition holds true for any $\theta \in {L_{\ast \ast }^{c}}\cap G$ there exists an adjustment coefficient $R(\theta )\in \varUpsilon $ with respect to ${P_{\theta }}$ for any $\theta \in {L_{\ast \ast }^{c}}\cap G$. Assume that ${R^{\ast }}={\sup _{\theta \in {L_{\ast \ast }^{c}}\cap G}}R(\theta )\in \varUpsilon $ and ${\mathbb{E}_{P}}[{e^{{R^{\ast }}\cdot {X_{1}}}}]<\infty $, and let $(\gamma ,\xi )$ be a pair of functions as in Proposition 3.1. It then follows as in Proposition 4.2, that there exist a unique probability measure ${Q^{{R^{\ast }}}}$ determined by condition ($RR{M_{\xi }}$) and a rcp ${\{{Q_{\theta }^{{R^{\ast }}}}\}_{\theta \in D}}$ of ${Q^{{R^{\ast }}}}$ over ${Q_{\varTheta }^{{R^{\ast }}}}$ consistent with Θ satisfying condition ($RR{M_{\theta }}$) for any $\theta \notin {L_{\ast \ast }}$, and such that ruin occurs ${Q_{\theta }^{{R^{\ast }}}}$-a.s. for any $\theta \in {L_{\ast \ast }^{c}}\cap G$; hence
\[\begin{aligned}{}& \psi (u)\\ {} & =\int {\psi _{\theta }}(u)\hspace{0.1667em}{P_{\varTheta }}(d\theta )\\ {} & ={\int _{{L_{\ast \ast }^{c}}\cap G}}{\psi _{\theta }}(u)\hspace{0.1667em}{P_{\varTheta }}(d\theta )+{\int _{{L_{\ast \ast }^{c}}\cap {G^{c}}}}{\psi _{\theta }}(u)\hspace{0.1667em}{P_{\varTheta }}(d\theta )\\ {} & ={\mathbb{E}_{{Q^{{R^{\ast }}}}}}\left[{\chi _{{\varTheta ^{-1}}(G)}}\cdot \frac{{e^{{R^{\ast }}\cdot {R_{\tau }^{u}}(\varTheta )+{\kappa _{\varTheta }}({R^{\ast }})\cdot \tau }}}{\xi (\varTheta )}\right]\cdot {e^{-{R^{\ast }}\cdot u}}+{\mathbb{E}_{{Q^{{R^{\ast }}}}}}\left[{\chi _{{\varTheta ^{-1}}({G^{c}})}}\cdot \frac{1}{\xi (\varTheta )}\right],\end{aligned}\]
where the third equality follows by Theorem 4.1 and the fact that ${\psi _{\theta }}(u)=1$ for any $\theta \in {L_{\ast \ast }^{c}}\cap {G^{c}}$. It is clear that ${\lim \nolimits_{u\to \infty }}\psi (u)={\mathbb{E}_{{Q^{{R^{\ast }}}}}}\left[{\chi _{{\varTheta ^{-1}}({G^{c}})}}\cdot \frac{1}{\xi (\varTheta )}\right]\ge 0$, a condition implying that in the situation of constant premium intensities, there might be cases where no matter how big is the initial capital u, the ruin probability ψ cannot be reduced beyond a certain level. The previous condition also reveals a connection between ψ and the choice of ξ, which clearly implies that a careful selection of ξ must be undertaken.The following result shows that Theorem 4.1, along with Proposition 3.1, yields upper and lower bounds of the probability of ruin under P.
Corollary 4.2.
In the situation of Theorem 4.1, the following hold true:
-
(i) ${\psi _{\theta }}(u)\ge {\mathbb{E}_{{Q_{\theta }^{{R^{\ast }}}}}}\left[{e^{{R^{\ast }}\cdot {r_{\tau }^{u}}(\theta )}}\right]\cdot {e^{-{R^{\ast }}\cdot u}}$;
-
(ii) $\psi (u)\ge {\mathbb{E}_{{Q^{{R^{\ast }}}}}}\left[\frac{{e^{{R^{\ast }}\cdot {R_{\tau }^{u}}(\varTheta )}}}{\xi (\varTheta )}\right]\cdot {e^{-{R^{\ast }}\cdot u}}$.
In particular, if condition ${\mathbb{E}_{P}}\big[{e^{{R^{\ast }}\varTheta }}\big]<\infty $ holds and if the function $\xi :D\to \mathbb{R}$ is defined by means of
\[ \xi (\theta ):=\frac{{e^{{R^{\ast }}\theta }}}{{\mathbb{E}_{P}}\big[{e^{{R^{\ast }}\varTheta }}\big]}\hspace{1em}\textit{for any}\hspace{1em}\theta \in D,\]
then there exist a unique probability measure ${\nu ^{{R^{\ast }}}}\in {\mathcal{M}_{S,\boldsymbol{\Lambda }(\rho (\varTheta ))}}$ determined by condition ($RR{M_{\xi }}$) with ${R^{\ast }}$ in the place of r and a rcp ${\{{\nu _{\theta }^{{R^{\ast }}}}\}_{\theta \in D}}$ of ${\nu ^{{R^{\ast }}}}$ over ${\nu _{\varTheta }^{{R^{\ast }}}}$ consistent with Θ satisfying conditions ${\nu _{\theta }^{{R^{\ast }}}}\in {\mathcal{M}_{S,\boldsymbol{\Lambda }(\rho (\theta ))}}$ and ($RR{M_{\theta }}$) for any $\theta \notin {L_{\ast \ast }}$, and such that
Proof.
Because ${\kappa _{\theta }}({R^{\ast }})>0$ for any $\theta \notin {L_{\ast \ast }}$, statements (i) and (ii) follow by statements (i) and (ii) of Theorem 4.1, respectively.
In particular, if condition ${\mathbb{E}_{P}}[{e^{{R^{\ast }}\varTheta }}]<\infty $ holds and ξ is defined as above then $\xi \in {\mathcal{R}_{+}}(D)$, implying according to Proposition 3.1 that there exist a unique probability measure ${\nu ^{{R^{\ast }}}}\in {\mathcal{M}_{S,\boldsymbol{\Lambda }(\rho (\varTheta ))}}$ determined by condition ($RR{M_{\xi }}$) and a rcp ${\{{\nu _{\theta }^{{R^{\ast }}}}\}_{\theta \in D}}$ of ${\nu ^{{R^{\ast }}}}$ over ${\nu _{\varTheta }^{{R^{\ast }}}}$ consistent with Θ satisfying conditions ${\nu _{\theta }^{{R^{\ast }}}}\in {\mathcal{M}_{S,\boldsymbol{\Lambda }(\rho (\theta ))}}$ and ($RR{M_{\theta }}$) for any $\theta \notin {L_{\ast \ast }}$. Applying now Theorem 4.1 one has
\[\begin{aligned}{}\psi (u)& ={\mathbb{E}_{{\nu ^{{R^{\ast }}}}}}\left[\frac{{e^{{R^{\ast }}\cdot {R_{\tau }^{u}}(\varTheta )+{\kappa _{\varTheta }}({R^{\ast }})\cdot \tau }}}{\xi (\varTheta )}\right]\cdot {e^{-{R^{\ast }}\cdot u}}\\ {} & \le {\mathbb{E}_{P}}\big[{e^{{R^{\ast }}\varTheta }}\big]\cdot {\mathbb{E}_{{\nu ^{{R^{\ast }}}}}}\left[{e^{{R^{\ast }}\cdot {R_{\tau }^{u}}(\varTheta )+{\kappa _{\varTheta }}({R^{\ast }})\cdot \tau }}\right]\cdot {e^{-{R^{\ast }}\cdot u}},\end{aligned}\]
completing in this way the proof. □It is worth noting that in the Cramér–Lundberg risk model one can construct exponential martingales, and using the stopping theorem one is able to prove upper bounds for the ruin probabilities. However, this technique does not give the opportunity to prove a lower bound. A method to find also lower bounds for the ruin probabilities is the “change of measure technique” for a compound mixed renewal process S developed above.
Remark 4.3.
Perhaps the most researched mixed renewal process is the mixed Poisson one. The most common definition encountered in the literature is that of a mixed Poisson process with mixing probability distribution U on $\mathfrak{B}(\varUpsilon )$ (cf., e.g., [12], Definition 4.2) (written MPP$(U)$ for short). Since every MPP$(\varTheta )$ is a MPP$(U)$ with $U={P_{\varTheta }}$ (see [18], Theorem 3.1) all the previous results can be transferred to that case. On the other hand, existing results for the class of MPP$(U)$ (cf., e.g., [12], Subsection 9.2.1, for ruin probabilities and mixed Poisson processes) cannot, in general, be transferred to the case of MPP$(\varTheta )$, since it is not always possible, given a MPP$(U)$, to construct a positive real-valued random variable Θ such that ${P_{\varTheta }}=U$. Furthermore, even if one assumes the existence of Θ, it is not in general possible to construct an rcp of P over U consistent with Θ, as the probability measure P may be nonperfect (see [11], Theorem 4).
In the next two examples, an explicit computation for the ruin probabilities of the reserve process with respect to the probability measures P and ${P_{\theta }}$ is undertaken by applying the change of measures technique of Proposition 3.1 and Theorem 4.1.
Example 4.4.
Take $D:=(1,2)$, let Θ be a real-valued random variable on Ω, and assume that $P\in {\mathcal{M}_{S,\mathbf{Ga}(\varTheta ,2),}}$ such that ${P_{{X_{1}}}}=\mathbf{Ga}(2,2)$ and ${P_{\varTheta }}=\mathbf{U}(1,2)$. Since conditions (a1) and (a2) hold true, it follows by [31], Proposition 3.3, that there exists a ${P_{\varTheta }}$-null set ${L_{P}}\in \mathfrak{B}((1,2))$ such that ${P_{\theta }}\in {\mathcal{M}_{S,\mathbf{Ga}(\theta ,2)}}$ with ${({P_{\theta }})_{{X_{1}}}}={P_{{X_{1}}}}$ for any $\theta \notin {L_{P}}$, implying that
\[ \frac{{\mathbb{E}_{{P_{\theta }}}}[{X_{1}}]}{{\mathbb{E}_{{P_{\theta }}}}[{W_{1}}]}=\frac{1}{\frac{2}{\theta }}=\frac{\theta }{2}\hspace{1em}\hspace{2.5pt}\text{for any}\hspace{2.5pt}\hspace{0.1667em}\hspace{0.1667em}\theta \notin {L_{P}}.\]
Put $c(\theta ):=\theta +1$ for any $\theta \in D$. As a first step the function ${\kappa _{\theta }}$ must be explicitly determined. For any $r\in (0,2)$ and $\theta \notin {L_{\ast \ast }}$, applying condition (1) and an easy computation one gets
\[\begin{aligned}{}{M_{{X_{1}}}}(r)\cdot {({M_{\theta }})_{{W_{1}}}}& \big(-{\kappa _{\theta }}(r)-c(\theta )\cdot r\big)=1\\ {} & \Longleftrightarrow {\left(\frac{2}{2-r}\right)^{2}}\cdot {\left(\frac{\theta }{\theta +{\kappa _{\theta }}(r)+c(\theta )\cdot r}\right)^{2}}=1\end{aligned}\]
which is equivalent to
or
respectively. Since condition ($NP{C_{\theta }}$) is valid for any $\theta \notin {L_{\ast \ast }}$ and ${\mathbb{E}_{P}}[{e^{r\cdot {X_{1}}}}]<\infty $ for any $r\in (0,2)$, it follows by, e.g., [27], p. 133, that there exists an adjustment coefficient $R(\theta )$ with respect to ${P_{\theta }}$ for any $\theta \notin {L_{\ast \ast }}$ being the solution to the equation ${\kappa _{\theta }}(r)=0$ on $(0,2)$. The latter along with Equations (5) and (6) yields $R(\theta )=\frac{\theta +2}{\theta +1}\in (0,2)$ and
or
respectively; hence $R(\theta )=\frac{\theta +2}{\theta +1}$ is the solution to (5) in $(0,2)$.But since $R(\theta )$ is a strictly decreasing function of θ it follows that ${R^{\ast }}={\sup _{\theta \in {L_{\ast \ast }^{c}}}}R(\theta )=\frac{3}{2}\in (0,2)$, implying that ${\mathbb{E}_{P}}[{e^{{R^{\ast }}\cdot {X_{1}}}}]=\frac{2}{2-\frac{3}{2}}=4<\infty $ as well as that
Put $\gamma (x):={R^{\ast }}\cdot x-\ln {\mathbb{E}_{P}}[{e^{{R^{\ast }}\cdot {X_{1}}}}]$ for any $x\in \varUpsilon $. By Proposition 4.2, for any $\xi \in {\mathcal{R}_{+}}(D)$ there exist a unique probability measure ${Q^{{R^{\ast }}}}\in {\mathcal{M}_{S,\boldsymbol{\Lambda }(\rho (\varTheta ))}}$ determined by condition ($RR{M_{\xi }}$) and a rcp ${\{{Q_{\theta }^{{R^{\ast }}}}\}_{\theta \in D}}$ of ${Q^{{R^{\ast }}}}$ over ${Q_{\varTheta }^{{R^{\ast }}}}$ consistent with Θ satisfying conditions ${Q_{\theta }^{{R^{\ast }}}}\in {\mathcal{M}_{S,\boldsymbol{\Lambda }(\rho (\theta ))}}$ and ($RR{M_{\theta }}$) for any $\theta \notin {L_{\ast \ast }}$, and such that for any $u>0$ the probabilities of ruin ${\psi ^{{Q_{\theta }^{{R^{\ast }}}}}}(u)$ and ${\psi ^{{Q^{{R^{\ast }}}}}}(u)$ with respect to ${Q_{\theta }^{{R^{\ast }}}}$ and ${Q^{{R^{\ast }}}}$, respectively, are equal to 1. It then follows by Theorem 4.1 that for any $u>0$ and $\theta \notin {L_{\ast \ast }}$, the ruin probabilities $\psi (u)$ and ${\psi _{\theta }}(u)$ satisfy conditions
\[ {\psi _{\theta }}(u)={\mathbb{E}_{{Q_{\theta }^{{R^{\ast }}}}}}\big[{e^{{R^{\ast }}{r_{\tau }^{u}}(\theta )+{\kappa _{\theta }}({R^{\ast }})\cdot \tau }}\big]\cdot {e^{-{R^{\ast }}u}}={\mathbb{E}_{{Q_{\theta }^{{R^{\ast }}}}}}\big[{e^{\frac{3}{2}\cdot {r_{\tau }^{u}}(\theta )+\frac{3}{2}\cdot (\theta -1)\cdot \tau }}\big]\cdot {e^{-\frac{3}{2}\cdot u}}\]
and
\[ \psi (u)={\mathbb{E}_{{Q^{{R^{\ast }}}}}}\left[\frac{{e^{{R^{\ast }}\cdot {R_{\tau }^{u}}+{\kappa _{\varTheta }}({R^{\ast }})\cdot \tau }}}{\xi (\varTheta )}\right]\cdot {e^{-{R^{\ast }}\cdot u}}={\mathbb{E}_{{Q^{{R^{\ast }}}}}}\left[\frac{{e^{\frac{3}{2}\cdot {R_{\tau }^{u}}+\frac{3}{2}\cdot (\varTheta -1)\cdot \tau }}}{\xi (\varTheta )}\right]\cdot {e^{-\frac{3}{2}\cdot u}}.\]
Example 4.5.
Take $D:=\varUpsilon $, let Θ be a real-valued random variable on Ω, and assume that $P\in {\mathcal{M}_{S,\mathbf{Ga}(\varTheta ,2)}}$, such that ${P_{{X_{1}}}}=\mathbf{Ga}(2,2)$ and ${P_{\varTheta }}=\mathbf{Ga}(b,a)$, where $(b,a)\in {\varUpsilon ^{2}}$. Since conditions (a1) and (a2) hold true, it follows by [31], Proposition 3.3, that there exists a ${P_{\varTheta }}$-null set ${L_{P}}\in \mathfrak{B}(D)$ such that ${P_{\theta }}\in {\mathcal{M}_{S,\mathbf{Ga}(\theta ,2)}}$ with ${P_{{X_{1}}}}={({P_{\theta }})_{{X_{1}}}}$ for any $\theta \notin {L_{P}}$, implying that
Put $c(\theta ):=\theta $ for any $\theta \in D$. For any $r\in (0,2)$ and $\theta \notin {L_{\ast \ast }}$, it follows as in Example 4.4 that there exists an adjustment coefficient $R(\theta )\in (0,2)$ with respect to ${P_{\theta }}$ being the solution to the equation
for any $\theta \notin {L_{\ast \ast }}$. Thus, ${R^{\ast }}\hspace{0.1667em}=\hspace{0.1667em}{\sup _{\theta \in {L_{\ast \ast }^{c}}}}R(\theta )\hspace{0.1667em}=\hspace{0.1667em}1\hspace{0.1667em}\in \hspace{0.1667em}(0,2)$, implying that ${\mathbb{E}_{P}}[{e^{{R^{\ast }}\cdot {X_{1}}}}]=\frac{2}{2-1}=2<\infty $.
Put $\gamma (x):={R^{\ast }}\cdot x-\ln {\mathbb{E}_{P}}[{e^{{R^{\ast }}\cdot {X_{1}}}}]$ for any $x\in \varUpsilon $. By Proposition 4.2 for any $\xi \in {\mathcal{R}_{+}}(D)$ there exist a unique probability measure ${Q^{{R^{\ast }}}}\in {\mathcal{M}_{S,\boldsymbol{\Lambda }(\rho (\varTheta ))}}$ determined by condition ($RR{M_{\xi }}$) and a rcp ${\{{Q_{\theta }^{{R^{\ast }}}}\}_{\theta \in D}}$ of ${Q^{{R^{\ast }}}}$ over ${Q_{\varTheta }^{{R^{\ast }}}}$ consistent with Θ satisfying conditions ${Q_{\theta }^{{R^{\ast }}}}\in {\mathcal{M}_{S,\boldsymbol{\Lambda }(\rho (\theta ))}}$ and ($RR{M_{\theta }}$) for any $\theta \notin {L_{\ast \ast }}$, and such that for any $u>0$ the probabilities of ruin ${\psi ^{{Q_{\theta }^{{R^{\ast }}}}}}(u)$ and ${\psi ^{{Q^{{R^{\ast }}}}}}(u)$ with respect to ${Q_{\theta }^{{R^{\ast }}}}$ and ${Q^{{R^{\ast }}}}$, respectively, are equal to 1. It then follows by Theorem 4.1 that for any $u>0$ and $\theta \notin {L_{\ast \ast }}$, the ruin probabilities $\psi (u)$ and ${\psi _{\theta }}(u)$ satisfy conditions
\[ {\psi _{\theta }}(u)={\mathbb{E}_{{Q_{\theta }^{{R^{\ast }}}}}}\big[{e^{{R^{\ast }}{r_{\tau }^{u}}(\theta )+{\kappa _{\theta }}({R^{\ast }})\cdot \tau }}\big]\cdot {e^{-{R^{\ast }}u}}={\mathbb{E}_{{Q_{\theta }^{{R^{\ast }}}}}}\big[{e^{{r_{\tau }^{u}}(\theta )}}\big]\cdot {e^{-u}}\le {e^{-u}}\]
and
\[ \psi (u)={\mathbb{E}_{{Q^{{R^{\ast }}}}}}\left[\frac{{e^{{R^{\ast }}\cdot {R_{\tau }^{u}}+{\kappa _{\varTheta }}({R^{\ast }})\cdot \tau }}}{\xi (\varTheta )}\right]\cdot {e^{-{R^{\ast }}\cdot u}}={\mathbb{E}_{{Q^{{R^{\ast }}}}}}\left[\frac{{e^{{R_{\tau }^{u}}}}}{\xi (\varTheta )}\right]\cdot {e^{-u}}\le {e^{-u}},\]
where the inequalities follow by Proposition 4.2.