Volume 2012, Issue 1 436531
Research Article
Open Access

Extended Precise Large Deviations of Random Sums in the Presence of END Structure and Consistent Variation

Shijie Wang

Corresponding Author

Shijie Wang

School of Mathematic Sciences, Anhui University, Hefei, Anhui 230601, China ahut.edu.cn

Search for more papers by this author
Wensheng Wang

Wensheng Wang

Department of Mathematics, Hangzhou Normal University, Hangzhou 310036, China hztc.edu.cn

Search for more papers by this author
First published: 08 March 2012
Citations: 4
Academic Editor: Ying U. Hu

Abstract

The study of precise large deviations of random sums is an important topic in insurance and finance. In this paper, extended precise large deviations of random sums in the presence of END structure and consistent variation are investigated. The obtained results extend those of Chen and Zhang (2007) and Chen et al. (2011). As an application, precise large deviations of the prospective- loss process of a quasirenewal model are considered.

1. Introduction

In the risk theory, heavy-tailed distributions are often used to model large claims. They play a key role in some fields such as insurance, financial mathematics, and queueing theory. We say that a distribution function F belongs to the class š’ž if
(1.1)
Such a distribution function F is usually said to have a consistently varying tail. The heavy-tailed subclass š’ž was also studied by Cline and Samorodnitsky [1] who called it ā€œintermediate regular variation.ā€ Another well-known class is called the dominated variation class (denoted by š’Ÿ). A distribution function F supported on (āˆ’āˆž, āˆž) is in š’Ÿ if and only if
(1.2)
for any 0 < y < 1 (or equivalently for some 0 < y < 1). For more details of other heavy-tailed subclasses (e.g., ā„›, š’®, ā„’, and so on) and their relations, we refer the reader to [2] or [3].
Throughout this paper, let {Xk, k = 1,2, …} be a sequence of real-valued random variables with common distribution function and finite mean μ. Let {N(t), t ≄ 0} be a nonnegative integer valued counting process independent of {Xk, k = 1,2, …} with mean function Ī»(t) = EN(t), which tends to infinity as t → āˆž. In insurance and finance, {Xk, k = 1,2, …} and {N(t), t ≄ 0} always denote the claims and claim numbers respectively. Hence, randomly indexed sums (random sums), which denote the loss process of the insurer during the period [0, t], can be written as
(1.3)
Recently, for practical reasons, precise large deviations of random sums with heavy tails have received a remarkable amount of attention. The study of precise large deviations is mainly to describe the deviations of a random sequence or a stochastic process away from its mean. The mainstream research of precise large deviations of SN(t) focuses on the study of the asymptotic relation
(1.4)
which holds uniformly for some x-region š’Ÿ(t) as t → āˆž. The study of precise large deviations of random sums was initiated by Klüppelberg and Mikosch [4], who presented several applications in insurance and finance. For some latest works, we refer the reader to [2, 3, 5–11], among others.
In this paper, we are interested in the deviations of random sums SN(t) away from mĪ»(t) with any fixed real number m. We aim at proving the following asymptotic relation:
(1.5)
and the uniformity of (1.5). That is to say, in which x-region š’Ÿ(t) as t → āˆž (1.5) holds uniformly. It is interesting that (1.5) reduces to (1.4) with m replaced by μ. Hence, we call (1.5) the extended precise large-deviation probabilities. More interestingly, setting m = 0 and replacing Xk with Xk āˆ’ (1 + Ī“)μ in (1.5), where β denotes the safety loading coefficient, now (1.5) reduces to precise large-deviation probabilities for prospective-loss process. About precise large deviations for prospective-loss process, we refer the reader to [5].

The basic assumption of this paper is that {Xk, k = 1,2, …} is extended negatively dependent (END). The END structure was firstly introduced by Liu [12].

Definition 1.1. One calls random variables {Xk, k = 1,2, …} END if there exists a constant M > 0 such that

(1.6)
(1.7)
hold for each n = 1,2, …, and all x1, …, xn.

Recall that {Xk, k = 1,2, …} are called ND if both (1.6) and (1.7) hold with M = 1; they are called positively dependent (PD) if inequalities (1.6) and (1.7) hold both in the reverse direction with M = 1. According to Liu’s [12] interpretation, an ND sequence must be an END sequence. On the other hand, for some PD sequences, it is possible to find a corresponding positive constant M such that (1.6) and (1.7) hold. Therefore, the END structure is substantially more comprehensive than the ND structure in that it can reflect not only a negative dependence structure but also a positive one to some extent.

Under the assumption that {Xk, k = 1,2, …} is an ND sequence, Liu [6] and Chen and Zhang [7] investigated precise large deviations of random sums SN(t) of nonnegative random variables and real-valued random variables, respectively. For a slightly more general dependence of END structure, Chen et al. [11] obtained precise large deviations of random sums SN(t) of nonnegative random variables and random sums of real-valued random variables with mean zero centered by a constant c. Up to now, to the best of our knowledge, little is known about extended precise large deviations of random sums in the presence of END structure and heavy tails. Our obtained results extend those of Chen and Zhang [7] and Chen et al. [11].

The rest of this paper is organized as follows. Section 2 gives some preliminaries. Precise large deviations of random sums in the presence of END real-valued random variables are presented in Section 3. In Section 4 we consider precise large deviations of the prospective-loss process of a quasirenewal model as an application of our main results.

2. Preliminaries

Throughout this paper, by convention, we denote . For two positive infinitesimals f(Ā·) and g(Ā·) satisfying
(2.1)
we write f(Ā·) = O(g(Ā·)) if b < āˆž; f(Ā·) = o(g(Ā·)) if b = 0; f(Ā·)≲g(Ā·) if b = 1; f(Ā·) ≳ g(Ā·) if a = 1; f(Ā·) ~ g(Ā·) if both and write f(Ā·)ā‰g(Ā·) if 0 < liminf (f(Ā·)/g(Ā·)) ≤ limsup (f(Ā·)/g(Ā·)) < āˆž. For theoretical and practical reasons, we usually equip them with certain uniformity. For instance, for two positive bivariate functions f(t, x) and g(t, x), we say that f(t, x) ~ g(t, x) holds as t → āˆž uniformly for all x ∈ š’Ÿ(t) ≠ Ļ• in the sense that
(2.2)
For a distribution, set
(2.3)
where . In the terminology of Tang and Tsitsiashvili [13], is called the upper Matuszewska index of F. Clearly, if F ∈ š’ž, then . It holds for every that
(2.4)
Moreover, if the distribution F(x) = F(x)1{x≄0} has a finite mean. See [11].

Next we will need some lemmas in the proof of our theorems. From Lemma 2.3 of Chen et al. [11] with a slight modification, we have the following lemma.

Lemma 2.1. Let {Xk, k = 1,2, …} be a sequence of real-valued END random variables with common distribution function F. If , then, for every fixed ν > 0 and some C = C(ν) > 0, the inequality

(2.5)
holds for all n = 1,2, …, and x > 0.

Lemma 2.2 below is a reformulation of Theorem 2.1 of [12], which is one of the main results in [12].

Lemma 2.2. Let {Xk, k = 1,2, …} be a sequence of real-valued END random variables with common distribution function F(x) ∈ š’ž and finite mean μ, satisfying

(2.6)
Then, for any fixed γ > 0, relation
(2.7)
holds uniformly for all x ≄ γn.

3. Main Results and Their Proofs

In this sequel, all limiting relationships, unless otherwise stated, are according to t → āˆž. To state the main results, we need the following two basic assumptions on the counting process {N(t), t ≄ 0}.

Assumption 3.1. For any Ī“ > 0 and some ,

(3.1)

Assumption 3.2. The relation

(3.2)
holds for all 0 < Ī“ < 1.

Remark 3.3. One can easily see that Assumption 3.1 or Assumption 3.2 implies that

(3.3)
See [5, 11].

Theorem 3.4. Let {Xk, k = 1,2, …} be a sequence of END real-valued random variables with common distribution function F(x) ∈ š’ž having finite mean μ ≄ 0 and satisfying (2.6), and let {N(t), t ≄ 0} be a nonnegative integer-valued counting process independent of {Xk, k = 1,2, …} satisfying Assumption 3.1. Let m be a real number; then, for any γ > (μ āˆ’ m)∨0, the relation (1.5) holds uniformly for x ≄ γλ(t).

Theorem 3.5. Let {Xk, k = 1,2, …} be a sequence of END real-valued random variables with common distribution function F(x) ∈ š’ž having finite mean μ < 0 and satisfying (2.6), and let {N(t), t ≄ 0} be a nonnegative integer valued counting process independent of {Xk, k = 1,2, …}.

  • (i)

    Assume that {N(t), t ≄ 0} satisfies Assumption 3.1 and m is a real number (regardless of m ≄ 0 or m < 0), then for any fixed γ > āˆ’m∨0, the relation (1.5) holds uniformly for x ≄ γλ(t).

  • (ii)

    Assume that {N(t), t ≄ 0} satisfies Assumption 3.2 and m is a negative real number; then, for any fixed γ ∈ (μ āˆ’ m∨0, āˆ’m], the relation (1.5) holds uniformly for x ≄ γλ(t).

Remark 3.6. One can easily see that Theorem 3.4 extends Theorem 3.1 of [11] with m replaced by μ. On the other hand, replacing Xk with Xk āˆ’ μ + c, setting m = 0, and noticing that E(Xk āˆ’ μ + c) = c, (3.4) yields Theorem 4.1(i) of [11].

Remark 3.7. Under the conditions of Theorem 3.5, choosing m = μ, one can easily see that the relation (1.4) holds uniformly over the x-region x ≄ γλ(t) for arbitrarily fixed γ > 0. Hence, Theorem 3.5 extends Theorem 1.2 of [7].

Proof of Theorem 3.4. We use the commonly used method with some modifications to prove Theorem 3.4. The starting point is the following standard decomposition:

(3.4)
where we choose 0 < Ī“ < 1 such that (γ + m)/(1 + Ī“) āˆ’ μ > 0.

We first deal with I1(x, t). Note that x + mĪ»(t) āˆ’ nμ ≄ ((γ + m)/(1 āˆ’ Ī“) āˆ’ μ)n. Thus, as t → āˆž and uniformly for x ≄ γλ(t), it follows from Lemma 2.2 that

(3.5)

Next, for I2(x, t), noticing that x + mĪ»(t) āˆ’ nμ ≄ ((γ + m)/(1 + Ī“) āˆ’ μ)n, as t → āˆž and uniformly for x ≄ γλ(t), Lemma 2.2 yields that

(3.6)
On the other hand,
(3.7)

Finally, to deal with I3(x, t), we formulate the remaining proof into two parts according to m ≄ 0 and m < 0. In the case of m ≄ 0, setting ν = p in Lemma 2.1 with , for sufficiently large t and x ≄ γλ(t), there exists some constant C1 > 0 such that

(3.8)
In the case of m < 0, note that 1 + m/γ > 0 since γ > μ āˆ’ m ≄ āˆ’m > 0. Similar to (3.8), for sufficiently large t and x ≄ γλ(t), there exists some constant C2 > 0 such that
(3.9)
As a result, by (2.4), as t → āˆž and uniformly for x ≄ γλ(t), both (3.8) and (3.9) yield that
(3.10)
where in the last step, we used
(3.11)

Substituting (3.5), (3.6), (3.7), and (3.10) into (3.4), one can see that relation (1.5) holds by the condition F ∈ š’ž and the arbitrariness of Ī“.

Proof of Theorem 3.5. (i) We also start with the decomposition (3.4).

For I1(x, t) and I2(x, t), note that x + mĪ»(t) āˆ’ nμ ≄ ((γ + m)/(1 + Ī“) āˆ’ μ)n since n ≤ (1 + Ī“)Ī»(t). Hence, mimicking the proof of Theorem 3.4, we obtain, as t → āˆž and uniformly for x ≄ γλ(t),

(3.12)
where, in the last step, we used the relation
(3.13)
(3.14)

Again, as t → āˆž and uniformly for x ≄ γλ(t),

(3.15)

Finally, in I3(x, t), setting ν = p in Lemma 2.1 with , by (2.4) and Assumption 3.1, as t → āˆž and uniformly for x ≄ γλ(t), there exists a constant C2 > 0 such that

(3.16)
where in the last step we also used (3.14). Combining (3.12), (3.15), and (3.16), relation (1.5) holds by the condition F ∈ š’ž and the arbitrariness of Ī“.

(ii) We also start with the representation (3.4) in which we choose 0 < Ī“ < 1 such that (γ + m)/(1 āˆ’ Ī“) āˆ’ μ > 0.

To deal with I1(x, t), arbitrarily choosing γ1 > āˆ’m, we split the x-region into two disjoint regions as

(3.17)
For the first x-region x ≄ γ1Ī»(t), noticing that x + mĪ»(t) āˆ’ nμ>|μ | n, by Lemma 2.2, it holds uniformly for all x ≄ γ1Ī»(t) that
(3.18)
where the second step and the before the last before the step can be verified, respectively, as
(3.19)
For the second x-region γλ(t) ≤ x < γ1Ī»(t), note that
(3.20)
Hence, by Assumption 3.2, we still obtain
(3.21)
uniformly for all γλ(t) ≤ x < γ1Ī»(t). As a result, the relation
(3.22)
holds uniformly for all x ≄ γλ(t).

For I2(x, t), since γ ∈ (μ āˆ’ m∨0, āˆ’m], it holds that

(3.23)
It follows from Lemma 2.2 that for all x ≄ γλ(t)
(3.24)
Symmetrically,
(3.25)

Finally, in I3(x, t), note that x + mĪ»(t) āˆ’ nμ ≄ (γ + m)Ī»(t) āˆ’ μn ≄ ((γ + m)/(1 + Ī“) āˆ’ μ)n. Therefore, Lemma 2.2 implies, as t → āˆž and uniformly for x ≄ γλ(t), that

(3.26)

Substituting (3.22), (3.24), (3.25), and (3.26) into (3.4) and letting Ī“ ↓ 0, the proof of (ii) is now completed.

4. Precise Large Deviations of the Prospective-Loss Process of a Quasirenewal Model

In this section we consider precise large deviations of the prospective-loss process of a quasirenewal model, where the quasi-renewal model was first introduced by Chen et al. [11]. It is a nonstandard renewal model in which innovations, modeled as real-valued random variables, are END and identically distributed, while their interarrival times are also END, identically distributed, and independent of the innovations.

Let {Xk, k = 1,2, …} be a sequence of END real-valued random variables with common distribution function F(x) ∈ š’ž and finite mean μ, satisfying (2.7). Let {N(t), t ≄ 0} be a quasi-renewal process defined by
(4.1)
where {Yk, k = 1,2, …}, independent of {Xk, k = 1,2, …}, form a sequence of END nonnegative random variables with common distribution G nondegenerate at zero and finite mean 1/Ī» > 0. By Theorem 4.2 of [11], as t → āˆž,
(4.2)
By Chen et al. [11], for any Ī“ > 0, p > 0, and some b > 1,
(4.3)
where in the last step we use (4.10) in [11]. Thus, one can easily see that {N(t), t ≄ 0} satisfies Assumption 3.1. Assume that {N(t), t ≄ 0} also satisfies Assumption 3.2. Let β > 0 be the safety loading coefficient. Replacing Xk with Xk āˆ’ (1 + β)μ and setting m = 0 in Theorems 3.4 and 3.5, then, for any fixed γ > 0, the relation
(4.4)
holds uniformly for x ≄ γλt.

Acknowledgments

The authors would like to thank an anonymous referee for his/her constructive and insightful comments and suggestions that greatly improved the paper. This work was partially supported by NSFC Grant 11071076, the Talents Youth Fund of Anhui Province Universities (2011SQRL012ZD), the Project Sponsored by the Doctoral Scientific Research Foundation of Anhui University, and the 211 Project of Anhui University (2009QN020B).

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.