arxiv: v1 [math.pr] 28 Nov 2007

Transcription

1 Lower limits for distributions of randomly stopped sums D. Denisov, 2 S. Foss, 3 and D. Korshunov 4 Eurandom, Heriot-Watt University, and Sobolev Institute of Mathematics arxiv:7.449v [math.pr] 28 Nov 27 Abstract We study lower limits for the ratio F τ (x) of tail distributions where F τ is a distribution F(x) of a sum of a random size τ of i.i.d. random variables having a common distribution F, and a random variable τ does not depend on summands. AMS classification: Primary 6E5; secondary 6F Keywords: Convolution tail; Random sums of random variables; Lower limit; Heavy- and light-tailed distributions. Introduction. Let ξ, ξ, ξ 2,... be independent identically distributed random variables. We assume that their common distribution F is unbounded from the right, that is, F(x) F(x, ) > for all x. Put S = and S n = ξ ξ n, n =, 2,.... Let τ be a counting random variable which does not depend on {ξ n } n. Denote by F τ the distribution of a random sum S τ = ξ ξ τ. In this paper we study lower limits (as x ) for the ratio F τ (x) F(x). We distinguish two types of distributions, heavy- and light-tailed. A random variable η has a heavy-tailed distribution if Ee εη = for all ε >, and light-tailed otherwise. We consider only non-negative random variables and, in the case of heavy-tailed F, study conditions for F τ (x) F(x) = Eτ () to hold. This problem has been given a complete solution in [5] for τ = 2, and then in [3] for τ with a light-tailed distribution and for heavy-tailed summands. In the present work, we generalise results of [3] onto classes of distributions of τ which include all light-tailed distributions and also some heavy-tailed distributions. With each heavy-tailed distribution F, we associate a corresponding class of distributions of τ. For earlier studies on lower limits and on a related problem of justifying a constant K in the equivalence F 2 (x) KF(x), see e.g. [, 2, 4, 7, 8] and further references therein. Since the inequality in () is valid for non-negative {ξ n } without any further assumptions (see, e.g., [9] or [3]), we immediately get the equality if Eτ =. Therefore, in the rest of the paper, we consider the case Eτ < only. Our first result is The research of Denisov and Foss was partially supported by the EPSRC Grant EP/E3377/. The research of Foss and Korshunov was partially supported by the Royal Society International Joint Project Grant 25/R2-JP. The research of Korshunov was partially supported by Russian Science Support Foundation. 2 Address: School of MACS, Heriot-Watt University, Edinburgh EH4 4AS, UK. address: Denisov@ma.hw.ac.uk 3 Address: School of MACS, Heriot-Watt University, Edinburgh EH4 4AS, UK; and Sobolev Institute of Mathematics, 4 Koptyuga Pr., Novosibirsk 639, Russia. address: S.Foss@ma.hw.ac.uk 4 Address: Sobolev Institute of Mathematics, 4 Koptyuga pr., Novosibirsk 639, Russia. address: Korshunov@math.nsc.ru

2 Theorem. Assume that ξ is heavy-tailed and Eξ <. Let, for some c > Eξ, Then () holds. P{cτ > x} = o(f(x)) as x. (2) The proof of Theorem is based on a study of moments Ee f(ξ) for appropriately chosen concave function f. More precisely, we deduce Theorem from the following general result which explores some ideas from [9, 5, 3]. Theorem 2. Assume that ξ is heavy-tailed and Eξ <. Let there exists a function f : R + R such that and, for some c > Eξ, Ee f(ξ) =, (3) Ee f(cτ) <. (4) If f(x) ln x for all sufficiently large x and if the difference f(x) ln x is an eventually concave function, then () holds. In particular, the equality () is valid provided Eξ k = and Eτ k < for some k ; it is sufficient to consider the function f(x) = k ln x. Earlier this was proved in [3, Theorem ] by a more simple method. If we consider instead the function f(x) = γx, γ >, then we obtain the equality () provided ξ is heavy-tailed but τ is light-tailed. This is Theorem 2 from [3]. Finally, the equality () is valid if F is a Weibull distribution with parameter β (,), F(x) = e xβ and f(x) = x β or, more generally, f(x) = x β cln x for x where c β is any fixed constant. The counterpart of Theorem in the light-tailed case is stated next. But first we need some notations. By the Laplace transform of F at the point γ R we mean Put ϕ(γ) = e γx F(dx) (, ]. γ = sup{γ : ϕ(γ) < } [, ]. Note that the function ϕ(γ) is monotone continuous in the interval (, γ), and ϕ( γ) = lim γ bγ ϕ(γ) [, ]. Theorem 3. Let γ (, ], so that ϕ( γ) (, ]. If (2) holds and, for any fixed y >, F(x y) F(x) e bγy, (5) then F τ (x) F(x) = Eτϕ τ ( γ). 2

3 The paper is organised as follows. In Section 2, we formulate and prove a general result on characterisation of heavy-tailed distributions on the positive half-line. Section 3 is devoted to the estimation of the functional Ee h(sn) for a concave function h. Sections 4 and 5 contain proofs of Theorems 2 and respectively. Section 6 is devoted to the proof in light-tailed case. 2. Characterisation of heavy-tailed distributions. It was proved in [3, Lemma 2] that, for any heavy-tailed random variable ξ and for any real δ >, there exists an increasing concave function h : R + R + such that Ee h(ξ) + δ and Eξe h(ξ) =. In the present section, we obtain some generalisation of it. Lemma. Let ξ be a random variable with a heavy-tailed distribution. Let f : R + R be a concave function such that Ee f(ξ) =. (6) Let a function g : R + R be such that g(x) as x. Then there exists a concave function h : R + R such that h f and Ee h(ξ) <, Ee h(ξ)+g(ξ) =. Proof. Without loss of generality assume f() =. We will construct a function h(x) on the successive intervals. For that we introduce two positive sequences, x n as n and ε n (,]. We put x =, h() = f() =, h () = f (), and h(x) = h(x n ) + ε n min(h (x n )(x x n ),f(x) f(x n )) for x (x n,x n ]; here h is the left derivative of the function h. The function h is increasing, since ε n > and f is increasing. Moreover, this function is concave, due to ε n and concavity of f. Since h(x) h(x n ) f(x) f(x n ) for x (x n,x n ], we have h f. Now proceed with the very construction of x n and ε n. By conditions g(x) and (6), we can choose x so large that e g(x) 2 for all x x and E{e min(h ()ξ,f(ξ)) ;ξ (x,x ]} + e min(h ()x,f(x )) F(x ) > F(x ) +. Choose ε (,] so that E{e ε min(h ()ξ,f(ξ)) ;ξ (x,x ]} + e ε min(h ()x,f(x )) F(x ) = F(x ) +. Put h(x) = ε min(x,f(x)) for x (,x ]. Then the latter equality is equivalent to E{e h(ξ) ;ξ (x,x ]} + e h(x ) F(x ) = e h(x ) F(x ) + /2, By induction we construct an increasing sequence x n and a sequence ε n (,] such that e g(x) 2 n for all x x n, and E{e h(ξ) ;ξ (x n,x n ]} + e h(xn) F(x n ) = e h(x n ) F(x n ) + /2 n for any n. For n = this is already done. Make the induction hypothesis for some n 2. For any x > x n, denote δ(x,ε) e h(xn)( E{e εmin(h (x n)(ξ x n),f(ξ) f(x n)) ;ξ (x n,x]} ) +e ε min(h (x n)(x x n),f(x) f(x n)) F(x). 3

4 By the convergence g(x), by heavy-tailedness of ξ, and by the condition (6), there exists x n+ so large that e g(x) 2 n+ for all x x n+ and δ(x n+,) > e h(xn) F(x n ) +. Note that the function δ(x n+,ε) is continuously decreasing to e h(xn) F(x n ) as ε. Therefore, we can choose ε n+ (,] so that Then δ(x n+,ε n+ ) = e h(xn) F(x n ) + /2 n+. E{e h(ξ) ;ξ (x n,x n+ ]} + e h(x n+) F(x n+ ) = e h(xn) F(x n ) + /2 n+. Our induction hypothesis now holds with n + in place of n as required. Next, for any N, E{e h(ξ) ;ξ x N+ } = = N E{e h(ξ) ;ξ (x n,x n+ ]} n= N (e h(xn) F(x n ) e h(xn+) F(x n+ ) + /2 n+) n= e h(x ) F(x ) +, so that Ee h(ξ) is finite. On the other hand, since e g(x) 2 k for all x x k, E{e h(ξ)+g(ξ) ;ξ > x n } 2 n( ) E{e h(ξ) ;ξ (x n,x n+ ]} + e h(xn+) F(x n+ ) = 2 n (e h(xn) F(x n ) + /2 n+ ). Then, for any n, E{e h(ξ)+g(ξ) ;ξ > x n } /2, which implies Ee h(ξ)+g(ξ) =. The proof is complete. Lemma 2. Let ξ be a random variable with a heavy-tailed distribution. Let f : R + R be any measurable function and f 2 : R + R a concave function such that Ee f (ξ) < and Ee f (ξ)+f 2 (ξ) =. Let a function g : R + R be such that g(x) as x. Then there exists a concave function h : R + R such that h f 2 and Ee f (ξ)+h(ξ) < and Ee f (ξ)+h(ξ)+g(ξ) =. Proof. Consider a new governing probability measure P defined in the following way: Then P {dω} = ef(ξ(ω)) P{dω} Ee f. (ξ) E e f 2(ξ) = Eef (ξ)+f 2 (ξ) Ee f (ξ) =. 4

5 In particular, ξ is heavy-tailed against the measure P. Now it follows from Lemma that there exists a concave function h : R + R such that h f 2, h(x) = o(x), E e h(ξ) <, and E e h(ξ)+g(ξ) =. Equivalently, and Ee f (ξ)+h(ξ) = Ee f (ξ) E e h(ξ) < Ee f (ξ)+h(ξ)+g(ξ) = Ee f (ξ) E e h(ξ)+g(ξ) =. The proof is complete. 3. Growth rate of sums in terms of generalised moments. According to the Law of Large Numbers, the sum S n growths like neξ. In the following lemma we provide conditions on a function h(x), guaranteeing an appropriate rate of growth for the functional Ee h(sn). Lemma 3. Let ξ be a non-negative random variable. Let h : R + R be a non-decreasing eventually concave function such that h(x) = o(x) as x and h(x) ln x for all sufficiently large x. If Ee h(ξ) <, then, for any c > Eξ, there exists a constant K(c) such that Ee h(sn) K(c)e h(nc), for all n. To prove this lemma, we need the following assertion, which generalises the corresponding estimate from [6]: Lemma 4. Let η be a random variable with Eη <. Let h : R R be a non-decreasing and eventually concave function such that h(x) = o(x) as x and h(x) ln x for all sufficiently large x. If Ee h(η) <, then there exists x such that the inequality Ee h(x+η) e h(x) holds for all x > x. Proof. Since h is increasing, without loss of generality we may assume that η is bounded from below, that is, η M for some M. Also, we may assume that h is non-negative and concave on the whole half-line [, ). Since h is concave, h (x) is non-increasing function. With necessity h (x) as x, otherwise the condition h(x) = o(x) is violated. If ultimately h (x) =, then h is ultimately a constant function and the proof of the theorem is obvious. Consider now the case h (x) as x but h (x) > for all x. Put g(x) /h (x), then g(x) as x. Since Eη <, we can choose sufficiently large A such that ε E{η;η [M,A]} + ee{η;η > A} <. (7) By concavity of h, for any x and y R we have the inequality h(x+y) h(x) h (x)y. Hence, Ee h(x+η) h(x) E{e h (x)η ;η [M,A]} + E{e h (x)η ;η (A,g(x)]} +E{e h(x+η) h(x) ;η > g(x)} E + E 2 + E 3. (8) Since h (x), the Taylor s expansion for the exponent up to the linear term implies, as x, E = P{η [M,A]} + h (x)e{η;η [M,A]} + o(h (x)). (9) On the event η (A,g(x)] we have h (x)η and, thus, e h (x)η + eh (x)η. Then E 2 P{η (A,g(x)]} + eh (x)e{η;η (A,g(x)]}. () 5

6 We have E 3 = E{e h(η) e h(x+η) h(x) h(η) ;η > g(x)}. () By concavity of h, for x >, the difference h(x + y) h(y) is non-increasing in y. Therefore, for any y > g(x), h(x + y) h(x) h(y) h(x + g(x)) h(x) h(g(x)) h (x)g(x) h(g(x)) = h(g(x)) ln g(x), due to the condition h(x) ln x for all sufficiently large x. This estimate and () imply E 3 E{e h(η) ln g(x) ;η > g(x)}e = o()/g(x) = o(h (x)) as x, (2) by the condition Ee h(η) <. Substituting (9), () and (2) into (8) and taking into account the choice (7) of A, we get Ee h(x+η) = e h(x) Ee h(x+η) h(x) e h(x) ( + h (x)ε + o(h (x))) as x. Since ε <, the latter estimate implies Ee h(x+η) < e h(x) for all sufficiently large x. The proof is complete. Proof of Lemma 3. Put η n = ξ n c. We have Eη n < and Ee h(ηn) <. By Lemma 4, there exists x > such that Ee h(x+ηn) Ee h(x) for x > x. Then, by monotonicity of h(x) and by non-negativity of S n, Ee h(sn) Ee h(sn+x ) = Ee h(s n +x +c+η n) Ee h(s n +x +c). Now, by the induction arguments, Ee h(sn) e h(cn+x ) e h(cn) e h(x ). The proof is complete. 4. Proof of Theorem 2. Before starting the proof of Theorem 2, we formulate the following proposition from [3, Corollary ]: Proposition. Let there exist a concave function r : R + R such that Ee r(ξ) < and Eξe r(ξ) =. If F is heavy-tailed and Eτe r(s τ ) <, then () holds. We also need two auxiliary technical results. Lemma 5. Let χ be any random variable. Then there exists a differentiable concave function g : R + R +, g() =, such that g (x) for all x, g(x) as x, and Ee g(χ) <. Proof. Consider an increasing sequence {x n } such that x =, x =, x n+ x n > x n x n, and P{χ > x n } e n. Put g (x n ) = n/2 and continiously linear between these points. Then, for any x (x n,x n+ ) and y (x n+,x n+2 ) we have g (x) = 2(x n+ x n ) > 2(x n+2 x n+ ) = g (y), 6

7 so that g is concave. By the construction, g (x) as x and g (x) where the derivative exists. Finally, Ee g (χ) e g (x n+ ) P{χ > x n } n= e (n+)/2 e n <. A procedure of smoothing, say g(x) = x+ x g (y)dy g (y)dy, completes the proof. Lemma 6. Let χ be a random variable such that, for some concave function f : R + R +, Ee f(χ) =. Then there exists a concave function f : R + R + such that f f, f (x) = o(x) as x, and Ee f (χ) =. Proof. Take x so large that E{e min(χ,f(χ)) ;χ x } and put f (x) = min(x,f(x)) for x [,x ]. Then by induction, for any n, we can choose x n+ such that n= E{e f (x n)+min(n f (xn)(χ xn),f(χ) f(xn)) ;χ (x n,x n+ ]}. Let f (x) = f (x n ) + min(n f (x n)(x x n ),f(x) f(x n )) for x (x n,x n+ ]. By construction, f is concave, f f, and f (x n+) f (x n)/n as n. Proof of Theorem 2. Without loss of generality, assume that f(x) ln x for all x and that f 2 (x) f(x) lnx is concave on the whole posititive half-line. By Lemma 6 and by measure change arguments like in the proof of Lemma 2 we may assume from the very beginning that f(x) = o(x) as x. Next we state the existence of a concave function g : R + R such that g(x) as x, g(x) ln x for all sufficiently large x, the difference ln x g(x) is a non-decreasing function, and Ee f(cτ)+g(cτ) <. Indeed, by Lemma 5 and again measure change technique, there exists a differentiable concave function g : R + R + such that g () =, g (x), g (x), and Eef(cτ)+g (cτ) <. Put g(x) = g (ln(x+)). Then g is a monotone function increasing to infinity and g(x) ln x for all sufficiently large x. In addition, (ln x g(x)) = /x g (ln(x + ))/(x + ), so that the difference ln x g(x) is a non-decreasing function as needed. Since the function f 2 (x) is concave, by Lemma 2 with f (x) = ln x, there exists a concave function h such that h f 2, h(x) = o(x), Eξe h(ξ) < and Eξe h(ξ)+g(ξ) =. Since ln x + h(x) + g(x) f(x) + g(x), by (4) and by the choice of g, Eτe h(cτ)+g(cτ) <. (3) The concave function r(x) = h(x) + g(x) satisfies all conditions of Proposition. Indeed, due to the inequality g(x) ln x for all sufficiently large x, we have Ee r(ξ) < because Eξe h(ξ) <. It remains to check that Eτe r(s τ ) <. Since, by (3), E{τe r(sτ) ;S τ cτ} Eτe r(cτ) <, 7

8 it suffices to prove that We proceed in the following way: E{τe r(sτ) ;S τ > cτ} <. E{cτe r(sτ) ;S τ > cτ} = = P{τ = n}cne{e r(sn) ;S n > cn} n= P{τ = n}e g(cn)+ln(cn) g(cn) E{e h(sn)+g(sn) ;S n > cn}. n= By the monotonicity of the difference ln x g(x), we obtain the following estimate E{cτe r(sτ) ;S τ > cτ} P{τ = n}e g(cn) E{e ln Sn+h(Sn) ;S n > cn}, n= Since the function ln x + h(x) is concave and ln x + h(x) ln x, by Lemma 3, for some K(c) <. Therefore, Ee ln Sn+h(Sn) K(c)e ln(nc)+h(cn) E{cτe r(sτ) ;S τ > cτ} K(c) P{τ = n}e g(cn) e ln(cn)+h(nc) n= = K(c)cEτe h(cτ)+g(cτ) <, from (3). The proof of Theorem 2 is complete. 5. Proof of Theorem. Denote by G the distribution function of cτ. We will construct an increasing concave function f : R + R such that Eξe f(ξ) = and Eτe f(cτ) <. (4) Then the desired relation ) will follow by applying Theorem 2. If G is light-tailed then one can take f(x) = λx for a sufficiently small λ >. From now on we assume G to be heavy-tailed. Consider new random variables ξ and τ with the following distributions: P{ξ dx} = xf(dx) Eξ and P{τ = n} = Denote by F and G the distributions of ξ and cτ respectively. heavy-tailed and np{τ = n}. Eτ Then both F and G are G (x) = o(f (x)) as x. (5) The heavy-tailedness of G is equivalent to the following condition: for any ε >, G (ε ln x)dx 8 e x G (x/ε)dx =. (6)

9 In terms of new distributions F and G, conditions (4) nay be reformulated as follows: we need to construct an increasing concave function f such that Ee f(ξ ) = and Ee f(cτ ) <, or, equivalently, F (f (ln x))dx = and G (f (ln x))dx <. (7) The concavity of f is equivalent to the convexity of its inverse, h = f. So, conditions (7) may be rewritten as: we have to present an increasing convex function h such that e x F (h(x))dx = and e x G (h(x))dx <. (8) We will construct h(x) as a piece-wise linear function. For this, we will introduce two increasing sequences, say x n and a n, and let h(x) = h(x n ) + a n (x x n ) for x (x n,x n+ ]. Then the convexity of f will follow from the increase of {a n }. Put x = and f(x ) =. Due to (5) and (6), we can choose x so large that F (y) G (y) 2 for all y > x and x e x G (h(x ) + (x x ))dx. Then there exists a sufficiently large a such that x e x G (h(x ) + a (x x ))dx =. Now we use the induction argument to construct increasing sequences {x n } and {a n } such that F (y) G (y) 2 n+ (9) for all y > x n+ and xn+ x n e x G (h(x))dx = 2 n. For n = this is already done. Make the induction hypothesis for some n. For any x > x n+, denote δ(x, a) x x n+ e y G (h(x n+ + a(y x n+ )))dy. 9

10 Due to (5) and (6), we can choose x n+2 so large that F (y) G (y) 2 n+2 for all y > x n+2 and δ(x n+2,a n ). Since the function δ(x n+2,a) continuously decreases to as a, we can choose a n+ > a n such that Then xn+2 δ(x n+2,a n+ ) = 2 (n+). x n+ e x G (h(x))dx = 2 (n+). Our induction hypothesis now holds with n + in place of n as required. Now the inequalities (8) follow since, from the construction of function h, e x G (h(x))dx = = n= xn+ x n 2 n <. n= e x G (h(x))dx and, by (9), e x F (h(x))dx = = n= xn+ x n e x F (h(x))dx xn+ 2 n e x G (h(x))dx n= x n 2 n 2 n =. n= The proof of Theorem is complete. 6. Proof of Theorem 3. We apply the exponential change of measure with parameter γ and consider the distribution G(du) = e bγu F(du)/ϕ( γ) and the stopping time ν with the distribution P{ν = k} = ϕ k ( γ)p{τ = k}/eϕ τ ( γ). Then it was proved in [3, Lemma 3] that G ν (x) G(x) F Eϕ τ τ (x) (γ) F(x). (2) From the definition of γ, the distribution G is heavy-tailed. Let us prove that P{cν > x} = o(g(x)) as x. (2)

11 Indeed, put λ ln ϕ( γ) > ; then x/c P{cν > x} = Eϕ τ ( γ) Eϕ τ ( γ) k>x/c x/c e λk P{τ = k} e λy P{τ dy}. (22) Integration by parts implies e λy P{τ dy} = e λy P{τ > y} + λ e λy P{τ > y}dy x/c = e λx/c P{cτ > x} + λ c x/c x e λy/c P{cτ > y}dy, because Eϕ τ ( γ) < and, thus, e λy P{τ > y} as y. Now applying the condition (2) we obtain that the latter sum is of order ( o e λx/c F(x) + λ ) ( e λy/c ) F(y)dy = o e λy/c F(dy) as x. c x Together with (22) it implies (2). Therefore, by Theorem we have the equality and, due to (2), G ν (x) G(x) The result now follows from Lemma. References F τ (x) F(x) x = Eν = Eτϕτ ( γ) Eϕ τ ( γ), Eτϕ τ ( γ). (23). Chover, J., Ney, P. and Wainger, S., 973. Functions of probability measures. J. Anal. Math. 26, Cline, D., 987. Convolutions of distributions with exponential and subexponential tailes. J. Aust. Math. Soc. 43, Denisov, D., Foss, S. and Korshunov, D. On lower limits and equivalences for tails of randomly stopped sums. To appear in Bernoulli. 4. Embrechts, P. and Goldie, C. M., 982. On convolution tails. Stochastic Process. Appl. 3, Foss, S. and Korshunov, D., 27. Lower limits and equivalences for convolution tails. Ann. Probab. 35, Foss, S. and Sapozhnikov, A., 24. On the existence of moments for the busy period in the single-server queue. Math. Oper. Research 29, Pakes, A. G., 24. Convolution equivalence and infinite divisibility. J. Appl. Probab. 4, Rogozin, B. A., 2. On the constant in the definition of subexponential distributions. Theory Probab. Appl. 44, Rudin, W., 973. Limits of ratios of tails of measures. Ann. Probab.,