arxiv: v2 [math.pr] 18 Mar 2010

Transcription

1 arxiv: v2 [math.pr] 18 Mar 2010 A Cluster Limit Theorem for Ifiitely Divisible Poit Processes Raluca Bala a Saa Louhichi Abstract I this article, we cosier a sequece (N ) 1 of poit processes, whose poits lie i a subset E of R\{0}, a satisfy a asymptotic iepeece coitio. Our mai result gives some ecessary a sufficiet coitios for the covergece i istributio of (N ) 1 to a ifiitely ivisible poit process N. As applicatios, we iscuss the eceeace processes a poit processes base o regularly varyig sequeces. MSC 2000 subject classificatio: Primary 60G55; secoary 60G70 Keywors: poit process, ifiite ivisibility, weak epeece, eceeace process, etremal ie 1 Itrouctio, otatio a mai assumptios Let E be a locally compact Hausorff space with a coutable basis (abbreviate LCCB) a M p (E) be the set of Rao measures o E with values i Z +. (Recall that a measure µ is Rao if µ(b) < for ay B B, where B is the class of relatively compact Borel sets i E.) The space M p (E) is eowe with v the topology of vague covergece. (Recall that µ µ if µ (f) µ(f) for ay f C + K (E), where µ(f) = E fµ a C+ K (E) is the class of cotiuous fuctios f : E [0, ) with compact support.) A measurable map N : Ω M p (E) efie o a probability space (Ω,K,P) is calle a poit process. The law of N is uiquely etermie by its Laplace fuctioal: L N (f) = E(e N(f) ),f F, where F is the class of measurable fuctios f : E [0, ) (see e.g. [5]). A poit process N is ifiitely ivisible (ID) if for ay iteger 1, there eist some i.i.. poit processes (N i, ) 1 i such that N = N i,. A ID Correspoig author. Departmet of Mathematics a Statistics, Uiversity of Ottawa, 585 Kig Ewar Aveue, Ottawa, ON, K1N 6N5, Caaa. aress: rbala@uottawa.ca Supporte by a grat from the Natural Scieces a Egieerig Research Coucil of Caaa. Laboratoire e mathématiques, Équipe e Probabilités, Statistique et moélisatio, Uiversité e Paris-Su, Bât. 425, F Orsay Cee, Frace. aress: Saa.Louhichi@math.u-psu.fr Partially supporte by the ANR grat ANR-08-BLAN

2 poit process ejoys may properties similar to those of ID raom vectors. I particular, a poit process N is ID if a oly if there eists a (uique) measure λ o M p (E) (calle the caoical measure), satisfyig λ({o}) = 0, (o beig the ull measure o E), a (1 e µ(b) )λ(µ) < B B, (1) M p(e) such that: { } L N (f) = ep (1 e µ(f) )λ(µ), f F. (2) M p(e) A sequece (N ) 1 of poit processescovergesi istributio to N if their laws coverge weakly (i M p (E)) to the law of N. We write N N. The stuy of poit process covergece is importat from the theoretical poit of view (by applyig the cotiuous mappig theorem, oe ca obtai various limit theorems for some fuctioals of the poits) a practical (see for istace [6] a the refereces therei). The purpose of the preset article is to establish miimal coitios for the covergece N N, whe N is a ID poit process a E is a subspace of R\{0}. This questio has bee stuie by several authors i ifferet cotets (see e.g. [3], [4]). Our cotributio cosists i proviig a geeral (uifyig) result, which cotais the results of [3] a [4], establishe i two ifferet situatios. Sice the limit poit process N is ID (i.e. it is the superpositio of a fiite umber of i.i.. poit process), the followig coitio of asymptotic ifiite ivisibility is atural. Defiitio 1.1 A sequece (N ) 1 of poit processes satisfies (AI) if for ay 1, there eist a sequece ( ) of positive itegers with, a some poit processes (N i, ) 1 i k, such that lim E(e N(f) ) E(e Ni,(f) ) = 0, f C + K (E). Coitio (AI) is i fact a asymptotic iepeece requiremet: it says that N behaves asymptotically (i istributio) as the superpositio of iepeet poit processes. This coitio is weaker tha various coitios ecoutere i the literature relate to asymptotic results for triagular arrays (see coitio ({u }) of [4], coitio A({a }) of [3], or coitio (AD-1) of [1]). More precisely, if N = j=1 δ X j,, where (X j, ) 1 j, 1 is a triagular array of raom variables, the (AI) hols uer suitable epeece coitios impose o the array (see e.g. [1]). AIDpoitprocesscabevieweasthelimitoftherow-sumsequeceN = k N i, ofatriagulararrayofpoitprocesses,proviethat(n i, ) 1 i k, 1 2

3 is a ull-array, i.e. (N i, ) 1 i k are iepeet for ay 1, a lim ma P(N i, (B) > 0) = 0, B B. (3) i I the preset article, we rela the iepeece assumptio betwee the compoets (N i, ) i k, by requirig that (AI) hols. The followig result is a immeiate cosequece of Theorem 6.1 of [5]. Theorem 1.2 Let (N ) 1 be a sequece of poit processes satisfyig (AI). Suppose that (3) hols. The N some N if a oly if there eists a measure λ o M p (E) satisfyig λ({o}) = 0 a (1), such that (1 e µ(f) )λ (µ) (1 e µ(f) )λ(µ), f C + K (E), (4) M p(e) M p(e) where λ = P N 1 i,. I this case, N is a ifiitely ivisible poit process with caoical measure λ. This article is orgaize as follows. Sectio 2 is eicate to our mai result (Theorem 2.3) a its cosequeces for triagular arrays of raom variables. This result is base o Theorem 1.2 a gives some ecessary a sufficiet coitios for the covergece of (N ) 1 to a ID poit process N, i terms of the asymptotic behavior of the pair {(Y i,,n i, )} 1 i k, where (N i, ) 1 i k are give by (AI), a Y i, is the largest poit of N i, (i moulus). We apply our mai result to triagular arrays of the form (ξ i /a ) i, (cf. Propositio 2.5 below). A relatioship betwee the caoical measure λ of N a the etremal ie of the sequece ( ξ i ) i whe it eists, is establishe i Corollary 2.8. I Sectio 3, we apply our result to the case of eceeace processes a processes base o regularly varyig sequeces, a thus recover the results of [4] a [3], respectively. 2 Our framework a result I the preset article, we assume that E is a LCCB subspace of R = R {± }, which satisfies the followig coitios: for ay > 0, [,] c := {y E; y > } is relatively compact i E, (5) for ay compact set K E, there eists > 0 such that K [,] c. (6) There are two classes of spaces which satisfy this assumptio: (i) E = [ b, a) (a,b], E = (a,b] or E = [ b, a) for some 0 a < b < ; (ii) E = [, a) (a, ], E = (a, ] or E = [, a) for some 0 a <. Let N be a ifiitely ivisible poit process o E, with caoical measure λ. We assume that: if the space E cotais ±, the N({± }) = 0 a.s. (7) 3

4 Remark 2.1 (a) The Poisso process N o [0,1] of itesity 1 is iclue i our framework. I this case, we ca eclue 0 from the space, sice the poits of the process are strictly positive. The space E = (0,1] satisfies (5) a (6) a N is a well-efie poit process o E. (b) The Poisso process o [0, ) of itesity 1 is ot iclue i our framework. It is kow that N = ı 1 δ Γ i, where Γ i = i j=1 E j a (E j ) j 1 are i.i.. epoetial raom variables of mea 1. As i eample (a) above, we ca eclue 0 from the space. Clearly, we may assume that the poits of N lie i the space E = (0, ], which satisfies (5) a (6). But the poits of N accumulate at, a so, N is ot a poit process o E: the umber of poits i the (relatively compact) set (, ) is, a.s. (c) The Poisso process o (0, ) of itesity ν() = α α 1 (for some α > 0) is iclue i our framework. I this case, N = i 1 δ, a the Γ 1/α i poits of N accumulate at 0. This oes ot cotraict the efiitio of a poit process, sice a set of the form (0,ε) is ot relatively compact i (0, ). I this case, N is a (well-efie) poit process o the space E = (0, ]. where I aitio, we assume that: λ(m c 0) = 0, (8) M 0 = {µ M p (E)\{o}; there eists (0, ) such that µ([,] c ) = 0} Remark 2.2 If E [ b,b] for some 0 < b <, the (8) is satisfie by the caoical measure of ay ifiitely ivisible poit process N o E, sice [ b,b] c = {y E; y > b} =, M 0 = M p (E)\{o}, a λ(m0 c ) = λ({o}) = 0. For ay > 0, we let M = {µ M 0 ;µ([,] c ) > 0}. If µ = j 1 δ t j M 0, we let µ := sup j 1 t j. The, µ M if a oly if µ >. Usig (1) with B = [,] c (which is permitte ue to (5)), the fact that µ([,] c ) 1forallµ M,athefuctiof(y) = 1 e y iso-ecreasig, we obtai: > (1 e µ([,]c) )λ(µ) = c) )λ(µ) (1 e 1 )λ(m ). M p(e) Hece λ(m ) < for all > 0. M (1 e µ([,] Recall that is a fie atom of a poit process N if P(N{} > 0) > 0. (Cosequetly, is ot a fie atom of N, if N{} = 0 a.s.) It is kow that the set D of all fie atoms of ay poit process is coutable. LetM p (E)betheclassofBorelsetsiM p (E), am 0 = {M M p (E);M M 0 }. We cosier the measurable map Φ : M 0 (0, ), efie by Φ(µ) = µ. The followig theorem is the mai result of the preset article. 4

5 Theorem 2.3 Let (N ) 1 be a sequece of poit processes o E satisfyig (AI) a (3). Suppose that N i, M 0 a.s. for all 1. Let Y i, = Φ(N i, ). Let N be a ifiitely ivisible poit process o E, satisfyig (7), a suppose that its caoical measure λ satisfies (8). Let D be the set of fie atoms of N a D = { > 0; D or D}. Assume that (a) (b) lim sup P(Y i, > ) <, > 0, D. (9) The N N if a oly if the followig two coitios hol: P(Y i, > ) λ(m ), for ay > 0, D P(Y i, >,N i, M) λ(m M ), for ay > 0, D for which λ(m ) > 0, a for ay set M M 0 such that λ( M M ) = 0. Proof: The ieas of this proof are borrowe from the proof of Theorem 2.5 of [3]. Suppose that N N. We first prove (a). Let Ñ = Ñi, where (Ñi,) i k are iepeet poit processes, a Ñi, = N i,. Usig (AI) a the fact that N N, it follows that Ñ N. Let > 0, D be arbitrary. We prove that (a) hols. By Lemma 4.4 of [5]), Ñ ([,] c ) N([,] c ), sice N{} = N{ } = 0 a.s. Hece, Note that logp(ñ([,] c ) = 0) logp(n([,] c ) = 0). (10) E(e un([,]c) ) = ep a hece { } (1 e uµ([,] c) )λ(µ), u R +, M 0 logp(n([,] c ) = 0) = λ({µ M 0 ;µ([,] c ) > 0}) = λ(m ). (11) From (10) a (11), we obtai that: P(Ñ([,] c ) = 0) e λ(m). (12) Let a i, := P(Y i, > ) = P(N i, ([,] c ) > 0). Usig the iepeece of (Ñi,) i k, a the fact that N i, = Ñ i,, we obtai: P(Ñ([,] c ) = 0) = = P(Ñi,([,] c ) = 0) = P(N i, ([,] c ) = 0) (1 a i, ). (13) 5

6 From (12) a (13), we ifer that (1 a i,) e λ(m), a hece k log(1 a i, ) λ(m ). By (3), ma i k a i, 0. Usig (9) a the fact that log(1 ) = +O( 2 ) as 0, we ifer that a i, λ(m ), i.e. coitio (a) hols. We ow prove (b). Let > 0, D be such that λ(m ) > 0. Let P, a P be probability measures o M 0, efie by: P, (M) = λ (M M ) λ (M ) a P (M) = λ(m M ), λ(m ) where λ = P Ni, 1. By (a), λ (M ) = P(N i, M ) = P(Y i, > ) λ(m ). As i the proof of Theorem 2.5 of [3], usig (4), oe ca prove that: P, w P. This is equivalet to sayig that P, (M) P (M), (14) for ay M M 0 with λ( M M ) = 0. Coitio (b) follows, sice P, (M) = k P(N k i, M M ) k P(N = P(Y i, >,N i, M) k i, M ) P(Y. i, > ) Suppose that (a) a (b) hol. Usig Theorem 1.2, it suffices to prove that (4) hols. Let f C + K (E) be arbitrary. Pick > 0, D such that λ(m ) > 0 a the support of f is cotaie i [,] c. (This choice is possible ue to (6).) LetP, ap beefieasabove. LetM M 0 besuchthatp ( M) = 0. w Due to (a) a (b), (14) hols. Hece P, P. It follows that for ay boue cotiuous fuctio h : M 0 R 1 λ (M ) M h(µ)λ (µ) 1 λ(m ) M h(µ)λ(µ). Takig h(µ) = e µ(f) a usig the fact that λ (M ) λ(m ) (which is coitio (a)), we obtai that: (1 e µ(f) )λ (µ) (1 e µ(f) )λ(µ). M M Note that if µ M, the µ([,] c ) = 0, µ(f) = 0 (sice the support of f is cotaie i [,] c ), a hece (1 e µ(f) )λ (µ) = (1 e µ(f) )λ (µ) M 0 M 6

7 (1 e µ(f) )λ(µ) = (1 e µ(f) )λ(µ). M 0 M Relatio (4) follows usig the fact that λ (M0 c) = λ(mc 0 ) = 0. Remark 2.4 As it is see from the proof, i coitio (b), oe may replace M by M = M M, where M M 0 a λ( M M ) = 0. The followig result illustrates a typical applicatio of the Theorem 2.3. Propositio 2.5 For each 1, let (X j, ) 1 j be a strictly statioary sequece of raom variables with values i E, such that lim supp( X 1, > ε) < for all ε > 0. Suppose that there eists a sequece (r ) of positive itegers such that = [/r ], such that lim E(e j=1 f(xj,) ) {E(e r j=1 f(x j,) )} k = 0, f C + K (E). (15) Let N = j=1 δ X j, a N r, = r j=1 δ X j,. Let N be a ifiitely ivisible poit process o E, satisfyig (7), a suppose that its caoical measure λ satisfies (8). Let D be the set of fie atoms of N a D = { > 0; D or D}. (a) (b) The N N if a oly if the followig two coitios hol: P(ma j r X j, > ) λ(m ), for ay > 0, D P(ma j r X j, >,N r, M) λ(m M ), for ay > 0, D for which λ(m ) > 0, a for ay set M M 0 such that λ( M M ) = 0. Remark 2.6 Foreach 1, let(x j, ) 1 j beasequeceofraomvariables with values i E fulfillig all the requiremets of Propositio 2.5. We claim that if (a) hols with r = 1 a = the the limit poit process N is a Poisso process. To see this, let µ be a measure o E such that λ(m) = µ({y E;δ y M}). Coitio (a) of Propositio 2.5 becomes P( X 1, > ) µ([,] c ) for all > 0, D, which is equivalet to P(X 1, ) v µ( ). (16) Let N = j=1 δ Xj, where (X j, ) j are i.i.. copies of X 1,. By Propositio 3.21 of [7], N N where N is a Poisso process o E of itesity µ, such that N({± }) = 0 a.s. Combiig thi with (15), we ifer that N N. The et result gives a epressio for the limits which appear i coitios (a) a (b) of Theorem 2.3, usig a pair (ν,k), where ν is a measure o (0, ) a K is a trasitio kerel from (0, ) to M p (E) (i.e. K(, ) is a probability measure o M p (E) for all > 0, a K(,M) is Borel measurable for ay M M p (E)). I Sectio 3, we will ietify the pair (ν,k) i some particular cases. 7

8 Lemma 2.7 Let λ be the caoical measure of a ifiitely ivisible poit process o E, such that (8) hols. The there eists a measure ν o (0, ) a a trasitio kerel K from (0, ) to M p (E), such that for ay M M p (E) a for ay > 0, λ(m) = λ(m ) = ν(, ) a λ(m M ) = 0 K(y,M)ν(y), (17) K(y,M)ν(y). (18) Proof: Let Ψ : M 0 (0, ) M 0 be the measurable map efie by: Ψ(µ) = (Φ(µ),µ) = ( µ,µ). Let Λ = λ Ψ 1. Sice λ is σ-fiite, the measure Λ is σ-fiite o (0, ) M p (E). The space M p (E) is Polish (by of [5]), a hece it has the isitegratio property (see e.g of [5]). More precisely, for ay Borel set B (0, ) a for ay set M M p (E), Λ(B M) = K(y,M)ν(y), B where ν = λ Φ 1 is the first margial of Λ, a K is a trasitio kerel from (0, ) to M p (E). I particular, (17) hols. We have: λ(m ) = λ({µ; µ > }) = (λ Φ 1 )(, ) = ν(, ) λ(m M ) = λ(µ; µ >,µ M) = (λ Ψ 1 )((, ) M) = Λ((, ) M) = K(y,M)ν(y). The et result is a applicatio of Propositio 2.5 to triagular arrays of the form X j, = ξ j /a, where (ξ j ) j 1 is a statioary sequece. This result gives the relatioship betwee the caoical measure λ of the limit process N, a the etremal ie of the sequece ( ξ j ) j 1, whe it eists. Corollary 2.8 Let (ξ j ) j 1 be a statioary sequece of real-value raom variables. Suppose that the etremal ie γ of the sequece ( ξ j ) j 1 eists. Let (a ) 1 be a sequece of positive real umbers such that P( ξ 1 > a ) µ(, ), where µ is a measure o (0, ). Suppose that the triagular array X j, = ξ j /a satisfies coitio (15). Let N = j=1 δ ξ j/a a N r, = r j=1 δ ξ j/a. Let N a D be as i Propositio 2.5. The N N if a oly if the followig two coitios hol: (a) (b) P(ma ξ j > a ) γµ(, ), for ay > 0, D j r P(ma ξ j > a,n r, M) λ(m M ), for ay > 0 with j r µ(, ) > 0, a for ay set M M 0 such that λ( M M ) = 0. 8

9 Remark 2.9 Uer the hypothesis of Corollary 2.8, by Lemma 2.7, there eists a trasitio probability K from (0, ) to M p (E) such that λ(m) = γ K(y, M)µ(y). Coitio (b) of Corollary 2.8 becomes: 0 K (y,m)p(ma j r ξ j /a y) γ where K (y,m) = P(N r, M ma j r ξ j /a = y). 3 Applicatios 3.1 Eceeace processes K(y, )µ(y), Let (ξ j ) j 1 be a statioary sequece of raom variables, a (u ) be a sequece of real umbers such that: lim P(ξ 1 > u ) = 1. (19) Supposig that ξ j represets a measuremet mae at time j, we efie the process N which couts the ormalize times j/ whe the measuremet ξ j ecees the level u, i.e. N ( ) = δ j/ ( )1 {ξj>u }. (20) j=1 N is a poit process o (0,1], calle the (time ormalize) eceeace process. The followig miig coitio was itrouce i [4]. We say that (ξ j ) j 1 satisfies coitio ({u }) if there eists a sequece (m ) 1 of positive itegers, such that m = o() a α (m ) 0, where α (m) := sup{ P(A B) P(A)P(B) ;A F k 1 (u ),F k+m (u ),k +m }, a F j i (u ) = σ({{ξ s u };i s j}). Lemma 2.2 of [4] shows that if (ξ j ) j satisfies ({u }), the (N ) 1 satisfies (AI) with N i, ( ) = where J i, = ((i 1)r,ir ], r = [/ ] a. δ j/ ( )1 {ξj>u }, (21) Theorem 4.1 a Theorem 4.2 of [4] show that uer ({u }), N N if a oly if the followig two coitios hol: P( ma ξ j > u ) a, for some a > 0 (22) j J 1, π (k) := P( 1 {ξj>u } = k ma ξ j > u ) π k, k 1. (23) j J 1, j J 1, 9

10 Ithiscase,aistheetremalieof(ξ j ) j an isacompoupoissoprocess o (0,1] with Poisso rate a a the istributio of multiplicities (π k ) k 1, i.e. 1 L N (f) = ep a (1 k 1e kf() )π k. 0 However, as our et result shows, coitio ({u }) is much stroger tha eeeforthecovergeceof(n ) 1. Ifact, thiscovergececabeobtaie uer (AI) aloe. Propositio 3.1 Suppose that (N ) 1 satisfies (AI) with (N i, ) i k give by (21). If (22) a (23) hol, the coitios (a) a (b) of Theorem 2.3 are satisfie, a (18) hols with ν(y) = a1 (0,1] (y)y a K(y,M) = k 1π k 1 M (kδ y ). Proof: I this case, D = (sice N oes ot have fie atoms), a Y i, = ma{j/;j J i,,ξ j > u }, for all i = 1,...,. To verify coitio (a) of Theorem 2.3, we show that for ay (0,1]: P(Y i, > ) a(1 ) = ν(, ). (24) Let (0,1] be arbitrary. The r / for large eough (sice r / 1). It follows that for large eough, (0, r ] = k J i,, a there eists i such that J i,, i.e. (i 1)r /+1/ < i r /. We write P(Y i, > ) = i 1 P(Y i, > )+P(Y i, > )+ =: I 1 ()+I 2 ()+I 3 (). i=i +1 P(Y i, > ) Note that {Y i, > } = for all i i 1, a hece I 1 () = 0. We have {Y i, > } j Ji, {ξ j > u } a hece, by (19), I 2 () j J i, P(ξ j > u ) = r P(ξ 1 > u ) 1 P(ξ 1 > u ) 0. Fially, we claim that {Y i, > } = {ma j Ji, ξ j > u } for ay i i +1. This is true sice for ay j J i, a i i +1, we have: j (i 1)r +1 i r + 1 > + 1 >. Usig the statioary of the sequece (ξ j ) j, the fact that i /, a (22), we obtai: ( I 3 () = P(ma ξ j > u ) = 1 i ) P( ma ξ j > u ) (1 )a. j J 1, i=i +1 10

11 Relatio (24) follows To verify coitio (b) of Theorem 2.3, we will show that for ay (0,1] a for ay M M 0, P(N i, M,Y i, > ) a k 1 1 π k 1 M (kδ y )y = K(y,M)ν(y). Let (0,1] a M M 0 be arbitrary. The J i, for some i, a large eough. We write P(N i, M,Y i, > ) = J 1 ()+J 2 ()+ J 3 (), where J 1 () := i 1 P(N i, M,Y i, > ) I 1 () = 0 J 2 () := P(N i, M,Y i, > ) I 2 () 0 J 3 () := i=i +1 P(N i, M,Y i, > ) = Hece, it suffices to show that: J 3 () := i=i +1 i=i +1 P(N i, M, ma ξ j > u ) a 1 π k k 1 By the statioary of the sequece (ξ j ) j J 3() = where = r i=i +1k=1 r k=1 i=i +1 P(N i, M, ma ξ j > u, P(N i, M = r P(ma j r ξ j > u ) p (k,m) := r r k=1 i=i +1 P(N i, M, ma ξ j > u ) 1 {ξj>u } = k) 1 M (kδ y )y. (25) 1 {ξj>u } = k)p(ma ξ j > u )π (k) p (k,m)π (k), (26) P(N i, M 1 {ξj>u } = k). Let D be the class of sets M M 0, for which there eists a set I M {1,..., } (which oes ot epe o ) such that for ay 1, for ay i {1,..., }\I M a for ay k {1,...,r }, we have: P( δ j/ ( )1 {ξj>u } M 1 {ξj>u } = k) = P( δ y ( )1 {ξj>u } M 1 {ξj>u } = k), y J i, /. (27) 11

12 Usig a mootoe class argumet, oe ca prove that: D = M 0. (28) This shows that if i {1,..., }\I M, the f i, (y) := P( δ y ( )1 {ξj>u } M 1 {ξj>u } = k) = P( δ j/ ( )1 {ξj>u } M 1 {ξj>u } = k) = P(N i, M 1 {ξj>u } = k), for all y J i, /, a hece f i, (y)y = r J i,/ P(N i, M 1 {ξj>u } = k). O the other ha, f i, (y) = 1 M (kδ y ) a hece f i, (y)y = 1 M (kδ y )y. J i,/ J i,/ It follows that if i {1,..., }\I M, r P(N i, M 1 {ξj>u } = k) = J i,/ 1 M (kδ y )y. We retur ow to the calculatio of p (k,m). We split the sum over i = i +1,..., ito two sums, which cotai the terms correspoig to iices i I M, respectively i I M. The seco sum is boue by car(i M )r /. More precisely, we have: p (k,m) = r P(N ( r ) i, M 1 {ξj>u } = k)+o i I M = ( r ) 1 M (kδ y )y +O = = i I M J i,/ i=i J +1 i,/ kr / i r / 1 M (kδ y )y ( r 1 M (kδ y )y +O Usig (26) a (30), we obtai: { J 3() = r P(maξ j > u ) π (k) r j r k=1 12 i +1 i,i I M 1 ) = 1 J i,/ ( r 1 M (kδ y )y +O ( r ) } 1 M (kδ y )y +O (29) ( r ) 1 M (kδ y )y +O ). (30)

13 Usig (22) a(23), it followsthat: J 3() a k 1 π 1 k 1 M(kδ y )y. Here, we use the fact that r 1 π (k) 1 M (kδ y )y 1 π k 1 M (kδ y )y k=1 k 1 (1 ) π (k) π k 0, k 1 where the last covergece is justifie by Scheffé s theorem (see e.g. Theorem of [2]), sice k 1 π (k) = k 1π(k) = 1. This coclues the proof of (25). 3.2 Processes base o regularly varyig sequeces Let (ξ j ) j 1 be a statioary sequece of raom variables with values i E = R\{0}, a (a ) be a sequece of positive real umbers such that: lim P( ξ 1 > a ) = 1. (31) We cosier the followig poit process o R\{0}: N = j=1 δ ξ j/a. The miig coitio itrouce i [3] is the followig. We say that (ξ j ) j 1 satisfies coitio A({a }) if there eists a sequece with r = [/ ] such that: lim E(e j=1 f(ξj/a) ) {E(e r j=1 f(ξ j/a ) } k = 0, f C + K (E). Note that A({a }) is equivalet to sayig that (N ) 1 satisfies (AI), with N i, = δ ξj/a, (32) aj i, = ((i 1)r,ir ]. Iparticular,if(ξ j ) j isstroglymiig, thea({a }) hols (see e.g. Lemma 5.1 of [1]). I aitio, suppose that ξ 1 has regularly varyig tail probabilities of orer α > 0, i.e. P( ξ 1 > ) = α L(), lim P(ξ 1 > ) P(ξ 1 < ) = p, lim P( ξ 1 > ) P( ξ 1 > ) = q, (33) where L is a slowly varyig fuctio, p [0,1] a q = 1 p. Let M = {µ Mp (E);µ([ 1,1] c ) = 0,µ({ 1,1}) > 0}, a cosier the followig poit process with values i M, ξ 1, = r j=1 δ ξ j/ma i r ξ i. Theorem 2.3 a Theorem 2.5 of [3] show that uer (33) a A({a }), N N if a oly if the followig two coitios hol: P(ma j r ξ j > a ) γ α, > 0, (34) P(ξ 1, ma j r ξ j > a ) w Q( ), > 0, (35) 13

14 where γ (0,1] a Q is a probability measure o M. I this case, γ is the etremal ie of ( ξ j ) j 1, a N is a ID poit process (without fie atoms), whose caoical measure λ satisfies (8). Sice λ Ω 1 = ν Q, where ν(y) = γαy α 1 y (36) a Ω : M 0 (0, ) M is efie by Ω(µ) = ( µ,µ( µ )), it follows that: { L N (f) = ep 0 } (1 e µ(f(y )) )Q(µ)ν(y). (37) M O the other ha, by Lemma 2.7, the Laplace fuctioal of N is give by: { } L N (f) = ep (1 e µ(f) )K(y,µ)ν(y). 0 M 0 This allows us to ietify the relatioship betwee the probability measure Q a the kerel K, amely: K(y,M) = Q(π 1 y (M) M), (38) where π y : M 0 M 0 is efie by π y (µ) = µ(y 1 ), i.e. π y ( j δ t j ) = j δ yt j. The et result shows that coitios (34) a (35) are equivalet to coitios (a) a (b) of Theorem 2.3. Propositio 3.2 Suppose that the sequece (N ) satisfies (AI) with (N i, ) i k give by (32). The (34) a (35) are equivalet to coitios (a) a (b) of Theorem 2.3, with λ(m ),λ(m M ) give by (18), a ν,k give by (36) a (38). Proof: I this case, D = a Y 1, = ma j r ξ j /a. Coitio (a) of Theorem 2.3 is i fact (34). Assumig ow that (a) hols, we show that coitio (b) of Theorem 2.3 is equivalet to (35). Let λ = P N1, 1. Defie the followig probability measures o M 0 : P, (M) = λ (M M ) λ (M ) P (M) = λ(m M ) λ(m ) = P(N 1, M,Y 1, > ) P(Y 1, > ) = 1 ν(, ) K(y,M)ν(y). By (a), P(Y 1, > ) ν(, ). Hece, coitio (b) of Theorem 2.3 is equivalet to P, w P, for all > 0. (39) O the other ha, for ay M M, P(ξ 1, M,Y 1, > ) = P(N 1, {µ M 0 ; µ >,µ( µ ) M},N 1, M ) = (P N 1 1, )({µ M 0; µ >,µ( µ ) M} M ) = λ (Ω 1 ((, ) M) M ), 14

15 a hece P(ξ 1, M Y 1, > ) = λ (Ω 1 ((, ) M) M ) λ (M ) Sice λ Ω 1 = ν Q, Q(M) = λ(ω 1 ((, ) M)) ν (, ) Therefore, relatio (35) is equivalet to: = (P, Ω 1 )((, ) M). = (P Ω 1 )((, ) M), M M. P, Ω 1 ((, ) ) w P Ω 1 ((, ) ), for all > 0. (40) Usig the argumet o page 888 of [3], oe ca show that (39) is equivalet to (40). (This argumet uses the cotiuous mappig theorem, a the fact that both Ω a Ω 1 are cotiuous.) Refereces [1] Bala, R. M. a Louhichi, S. (2009). Covergece of poit processes with weakly epeet poits. J. Theoret. Probab. 22, [2] Billigsley, P. (1995). Probability a Measure. Thir Eitio. Joh Wiley, New York. [3] Davis, R. A. a Hsig, T. (1995). Poit process a partial sum covergece for weakly epeet raom variables with ifiite variace. A. Probab. 23, [4] Hsig, T., Hüsler, J. a Leabetter, M. R. (1988). O the eceeace process for a statioary sequece. Probab. Th. Rel. Fiels 78, [5] Kalleberg, O. (1983). Raom Measures. Thir eitio. Spriger, New York. [6] Joes, M. O. a Serfozo, R.F. (2007). Poisso limits of sums of poit processes a a particle-survivor moel. A. Appl. Probab. 17, [7] Resick, S. I. (1987). Etreme Values, Regular Variatio, a Poit Processes. Spriger, New York. 15