PUBLICATIONS DE L’INSTITUT MATHÉMATIQUE Nouvelle série, tome 86(100) (2009), 41–53 DOI: 10.2298/PIM0900041O DOMAINS OF ATTRACTION OF THE REAL RANDOM VECTOR (π, π 2 ) AND APPLICATIONS Edward Omey and Stefan Van Gulck Communicated by Slobodanka JankoviΔ Abstract. Many statistics are based on functions of sample moments. Important examples are the sample variance π 2 (π), the sample coefficient of variation ππ (π), the sample dispersion ππ·(π) and the non-central π‘-statistic π‘(π). The definition quantities makes clear that the vector defined (οΈ ∑οΈ )οΈ ∑οΈπ of 2these π by π, π plays an important role. In the paper we obtain π=1 π π=1 π conditions under which the vector (π, π 2 ) belongs to a bivariate domain of attraction of a stable law. Applying simple transformations then leads to a full discussion of the asymptotic behaviour of ππ (π) and π‘(π). 1. Introduction Let πΉ (π₯) = π (π 6 π₯) and πΉ2 (π₯) = π (π 2 6 π₯) denote the distribution function (d.f.) of a real random variable π and π 2 respectively. Let πΊ(π₯, π¦) denote the d.f. of the random vector (r.v.) (π, π 2 ). We find that √ √ √ πΊ(π₯, π¦) = π (− π¦ 6 π 6 min(π₯, π¦ )), π¦ > 0, π₯ > − π¦. Clearly this relationship can be used to transfer properties from πΉ to πΊ. Studying the random vector (π, π 2 ) can be interesting because it is linked to many statistical estimators. To estimate the mean π = πΈ(π) and the variance π 2 = π ππ(π) for example, one uses the sample mean π and the sample variance 2 π 2π = π 2 − π or π 2π−1 = ππ 2π /(π − 1). Other related statistical measures are √ the non-central π‘-statistic π‘(π) = π π/π π , the coefficient of variation ππ (π) = π π /π and the sample dispersion ππ·(π) = π 2π /π. Many asymptotic properties of these statistics are known if the mean π and the variance π 2 are finite. On the other hand, if the variance or the mean is not finite, it also makes sense to study asymptotic properties of these quantities. For a recent paper devoted to π‘(π), we refer to Bentkus et al. (2007) and the references given there. In Albrecher and 2000 Mathematics Subject Classification: Primary 60E05, 60F05; Secondary 62E20, 91B70. 41 42 OMEY, VAN GULCK Teugels (2004) and Ladoucette and Teugels (2006), the authors discuss asymptotic properties of ππ (π) and ππ·(π). In the case where π > 0, Omey (2008a) obtained a detailed and complete analysis of ππ·(π), ππ (π) and π‘(π). out, cf. Section 3, )οΈ (οΈ ∑οΈπIt turns∑οΈ π 2 π , π and by that a key role is played by the real random vector π=1 π π=1 π π (π), where ∑οΈπ π2 π (π) = ∑οΈππ=1 π 2 ( π=1 ππ ) In the present paper we remove the restriction that π > 0. To avoid difficulties with the definition of π (π), in section 3 below we assume that πΉ (π₯) is continuous. The structure of the paper is as in Omey (2008a), where in each step we remove the restriction that π > 0. In the real case, it turns out that the case where π = πΈ(π) = 0 needs a special treatment. In section 2 we briefly recall univariate and bivariate domains of attraction and we discuss domains of attraction of the real random vector (π, π 2 ). In section 3 we use transformations to recover many results concerning π (π), ππ (π) and π‘(π). We finish the paper with some concluding remarks. We assume the reader is familiar with regular variation. For further use, recall the definition of regular variation: a positive and measurable function π(π₯) is regularly varying with real index πΌ (notation π ∈ π π (πΌ)) if as π‘ → ∞, π(π‘π¦)/π(π‘) → π¦ πΌ , ∀π¦ > 0. It can be proved that the defining convergence holds locally uniformly (l.u.) with respect to π¦ > 0. For this and other properties and applications of π π (πΌ), we refer to Seneta (1976), Geluk and de Haan (1987) and Bingham et.al. (1989). For a recent survey paper, see Jessen and Mikosch (2006). 2. Domains of attraction In this section we briefly discuss known results about univariate and bivariate domains of attraction. 2.1. Univariate case. Recall that the random variable π belongs to the domain of attraction of a stable law π (πΌ) with parameter πΌ, 0 < πΌ 6 2, if there exist positive numbers π(π) and real numbers π(π) so that (2.1) π(π) − π(π) π =⇒ π (πΌ). π(π) Notation: π ∈ π·(π (πΌ)). Here π(π) = π1 + π2 + · · · + ππ is the sequence of partial π sums generated by i.i.d. copies of π and =⇒ denotes convergence in distribution, i.e., (2.1) is the same as )οΈ (οΈ π(π) − π(π) (οΈ )οΈ lim π 6 π₯ = π π (πΌ) 6 π₯ . π→∞ π(π) Let πΉ (π₯) = π (π 6 π₯), πΉ|π| (π₯) = π (|π| 6 π₯) and let πΎπ (π₯) denote the truncated second moment function, i.e. ∫οΈ π₯ (οΈ )οΈ πΎπ (π₯) = π¦ 2 ππΉ (π¦) = πΈ π 2 πΌ{|π| 6 π₯} . −π₯ DOMAINS OF ATTRACTION OF (π, π 2 ) 43 The tails are given by πΉ (π₯) = π (π > π₯) = 1 − πΉ (π₯) and by πΉ |π| (π₯) = π (|π| > π₯) = πΉ (π₯) + πΉ (−π₯). The following result is well known, cf. Feller (1971), Petrov (1995). Theorem 2.1. (i) For 0 < πΌ < 2, we have π ∈ π·(π (πΌ)) iff πΎπ (π₯) ∈ π π (2 − πΌ) and lim πΉ (π₯)/πΉ |π| (π₯) = π, lim πΉ (−π₯)/πΉ |π| (π₯) = π, π₯→∞ π₯→∞ where 0 6 π = 1 − π 6 1. (ii) If π is not concentrated in 1 point, then π ∈ π·(π (2)) iff πΎπ (π₯) ∈ π π (0). (iii) For 0 < πΌ 6 2, πΎπ (π₯) ∈ π π (2 − πΌ) holds iff lim π₯2 πΉ |π| (π₯)/πΎπ (π₯) = (2 − πΌ)/πΌ, π₯→∞ and for 0 < πΌ < 2, this holds iff πΉ |π| (π₯) ∈ π π (−πΌ). Remark 2.1. 1) Note that πΎπ (π₯) = πΎ|π| (π₯). It follows that for 0 < πΌ < 2, π ∈ π·(π (πΌ)) implies that |π| ∈ π·(π * (πΌ)) for some πΌ-stable law π * (πΌ). 2) If πΌ = 2, πΉ |π| (π₯) ∈ π π (−2) implies that π ∈ π·(π (2)) and |π| ∈ π·(π * (2)). We have some freedom in choosing the normalizing sequences {π(π)} and {π(π)}. In our paper, we use the normalizing constants by replacing π₯ by π in the functions π(π₯) and π(π₯) defined as follows: β For πΌ = 2, π(π₯) ∈ π π (1/2) is determined by the asymptotic relation (2.2) π₯πΎπ (π(π₯))/π2 (π₯) → 1. If π2 = πΈ(π 2 ) < ∞, then πΎπ (π₯) → π2 and π2 (π) ∼ ππ2 . β If 0 < πΌ < 2, π(π₯) ∈ π π (1/πΌ) is determined by the asymptotic relation (2.3) π₯πΉ |π| (π(π₯)) → 1. β If 0 < πΌ < 1, we choose π(π₯) = 0. If 1 < πΌ 6 2, we have πΈ|π| < ∞ and we choose π(π₯) = π₯π = π₯πΈ(π). (οΈ )οΈ β If πΌ = 1, then π(π₯) is given by the relation π(π₯) = π₯π(π₯)πΈ sin(π/π(π₯)) , where π(π₯) is determined by (2.3). If π > 0, we can use π(π₯) = π₯π(π(π₯)) where π(π₯) is given by (2.3) and where π(π₯) denotes the integrated tail ∫οΈ π₯ π(π₯) = πΉ (π‘) ππ‘. 0 Note that if πΌ = 1 and πΈ|π| < ∞, then π(π₯)/π₯ → πΈ(π). 2.2. Multivariate case. The random vector (π, π ) belongs to a multivariate domain of attraction of a bivariate stable vector (π1 (πΌ), π2 (π½)) if we can find sequences of constants π(π) > 0, π(π) > 0 and π(π), π(π) such that (οΈ π (π) − π(π) π (π) − π(π) )οΈ )οΈ π (οΈ π π (2.4) , =⇒ π1 (πΌ), π2 (π½) π(π) π(π) where ππ (π) (οΈ and ππ (π) are )οΈ partial sums of independent copies of (π, π ). Notation (π, π ) ∈ π· π1 (πΌ), π2 (π½) . Assuming that π1 (πΌ) and π2 (π½) are nondegenerate, the normalizing constants are determined by the convergence of the marginals in (2.4) 44 OMEY, VAN GULCK and we use the normalizing constants given as before. We denote the d.f. of (π, π ) by πΉ (π₯, π¦). In the multivariate case, the following result was initiated by Rvaceva (1962) and further analyzed by Greenwood and Resnick (1979), see also de Haan et al. (1984). For a point process approach we refer to Resnick (1986). Theorem 2.2. Suppose π ∈ π·(π1 (πΌ)), π ∈ π·(π2 (π½)) and 0 < πΌ, π½ 6 2. (i) Let π(.) denote the Lévy-measure of the bivariate stable law (π1 (πΌ), π2 (π½)). If 0 < πΌ, π½ < 2, then (π, π ) ∈ π·(π1 (πΌ), π2 (π½)) iff for all Borel sets π ∈ π΅(R2 r{(0, 0)}) with π(πΏπ ) = 0 and π(π ) < ∞ we have )οΈ (οΈ(οΈ π π )οΈ ∈ π = π(π ). lim π‘π , π‘→∞ π(π‘) π(π‘) (οΈ )οΈ (ii) If πΌ = π½ = 2, then (π, π ) ∈ π· π1 (2), π2 (2) iff for each π₯, π¦ > 0 we have (οΈ )οΈ π‘π π(π‘)π₯, π(π‘)π¦ lim =πΆ π‘→∞ π(π‘)π(π‘) where πΆ denotes a constant and where π (π₯, π¦) is given by ∫οΈ ∫οΈ π (π₯, π¦) = π’π£ ππΉ (π’, π£), π₯, π¦ > 0. |π’|6π₯ |π£|6π¦ (οΈ )οΈ (iii) If 0 < πΌ < 2 and π½ = 2, then (π, π ) ∈ π· π1 (πΌ), π2 (2) and π1 (πΌ) and π2 (2) are independent. 2.3. The case where π = (π, π 2 ). We can apply Theorem 2.2 to obtain the following result for the vector (π, π 2 ). (οΈ )οΈ Theorem 2.3. (i) For 0 < πΌ < 2 we have (π, π 2 ) ∈ π· π1 (πΌ), π2 (πΌ/2) iff π ∈ π·(π1 (πΌ)). (οΈ )οΈ (ii) For 2 6 πΌ < 4 we have (π, π 2 ) ∈ π· π1 (2), π2 (πΌ/2) iff π 2 ∈ π·(π2 (πΌ/2)) and also, if πΌ = 2, π ∈ π·(π1 (2)). Moreover, π1 (2) and π2 (πΌ/2) are independent. (οΈ )οΈ (iii) We have (π, π 2 ) ∈ π· π1 (2), π2 (2) if and only if π 2 ∈ π·(π2 (2)) (οΈ )οΈ Proof. (i) If (π, π 2 ) ∈ π· π1 (πΌ), π2 (πΌ/2) then we automatically have π ∈ π·(π1 (πΌ)). To prove the converse, suppose first that π₯, π¦ > 0. In this case we have (οΈ π )οΈ (οΈ π π2 √ )οΈ π‘π > π₯, 2 > π¦ = π‘π > max(π₯, π¦) π(π‘) π (π‘) π(π‘) It follows from Theorem 2.1 (i) and our choice of π(π‘) that (οΈ π )οΈ (οΈ π2 √ )οΈ−πΌ π‘π > π₯, 2 > π¦ → π max(π₯, π¦) . π(π‘) π (π‘) For π₯ < 0 < π¦ we have (οΈ π )οΈ (οΈ π2 √ )οΈ−πΌ < π₯, 2 > π¦ → π min(π₯, − π¦) . π‘π π(π‘) π (π‘) Now the result follows. (ii) This is case (iii) of Theorem 2.2. DOMAINS OF ATTRACTION OF (π, π 2 ) 45 (iii) If π 2 ∈ π·(π2 (2)), then πΈπ 3 < ∞, π ∈ π·(π1 (2)) and π2 (π‘) ∼ π‘πΈ(π 2 ). For π(π‘) we have π2 (π‘) ∼ π‘πΎ2 (π(π‘)) (οΈwhere{οΈπΎ2 (π₯) = πΎπ Now consider π (π₯, π¦). (οΈ 2 (π₯). √ )οΈ}οΈ)οΈ 3 In our case we (οΈhave π (π₯, π¦) = πΈ π πΌ |π| 6 min π₯, π¦ , π₯, π¦ > 0, and it )οΈ follows that π π(π‘)π₯, π(π‘)π¦ → πΈ(π 3 ). On the other hand, using the convention that 1/∞ = 0, we have √οΈ 1 π‘ → . π(π‘)π(π‘) πΈ(π 2 )πΈ(π 4 ) We conclude that πΈ(π 3 ) π‘π (π(π‘)π₯, π(π‘)π¦) . → πΆ = √οΈ π(π‘)π(π‘) πΈ(π 2 )πΈ(π 4 ) Remark 2.2. In case (ii) of Theorem 2.3 note that π 2 ∈ π·(π2 (πΌ/2)), 2 < πΌ < 4 implies that πΈ(π 2 ) < ∞ so that π ∈ π·(π1 (2)). Remark 2.3. Theorem 2.3 gives conditions under which ∑οΈπ )οΈ (οΈ ∑οΈπ π 2 − π(π) π π=1 ππ − π(π) , π=1 π =⇒ (π1 (π’), π2 (π£)) (2.5) π(π) π(π) for some numbers π’ and π£. For further use, in this remark we give the precise form of the normalizing sequences. (i) If 0 < πΌ < 2, then in (2.5) we have π’ = πΌ and π£ = πΌ/2. We can use (2.3) to see that π(π) = π2 (π). Since πΌ/2 < 1, we can take π(π) = 0 and π(π) according to the different cases of Section 2.1. (ii) If 2 < πΌ < 4, then in (2.5) we have π’ = 2 and π£ = πΌ/2. We take π(π) = ππ and π(π) is determined by (2.2). The sequence π(π) is determined by the relation π(1 − πΉ2 (π(π))) → 1. Finally, we have π(π) = ππ2 . (iii) If πΌ = 2 we have π’ = 2 and π£ = 1. The sequences π(π), π(π), π(π) are 2 determined as in ∫οΈ π₯(ii). For π(π) we take (recall that π > 0) π(π) = ππ2 (π(π)) where π2 (π₯) = 0 πΉ 2 (π’)ππ’. (iv) In case (iii) of Theorem 2.3, in (2.5) we have π’ = π£ = 2. Now we take π(π) = ππ and π(π) = ππ2 . The sequence π(π) is determined by (2.2) (οΈ )οΈ and π(π) is determined by π2 (π) ∼ ππΎ2 (π(π)), where πΎ2 (π₯) = πΈ π 4 πΌ{π 2 6 π₯} . 3. Applications based (οΈAs )οΈ introduction, many characteristics in statistics are ∑οΈπmentioned ∑οΈπ in the 2 2 on π , π . As examples we mention the sample variance π (π), the π π=1 π=1 π sample coefficient of variation ππ (π) = π π /π, and the non-central π‘-statistic π‘(π) = √ π π/π π . In this section, we assume that π is a continuous random variable and, as in Ladoucette and Teugels (2006), we define π (π) as follows: ∑οΈπ π2 π (π) = (οΈ ∑οΈππ=1 π)οΈ2 . π=1 ππ 46 OMEY, VAN GULCK Note that ππ 2 (π) = ππ (π) − 1 and π‘2 (π) = π/(ππ (π) − 1). Clearly π (π) plays an important role in studying ππ (π) and π‘(π). Without loss of generality, if the mean π is finite, then we assume that π > 0. Otherwise we replace π by −π. 3.1. The asymptotic behaviour of π (π). Using the notations of Theorem 2.3 and Remark 2.3, we have the following result. The result completes the proofs of the corresponding results of Albrecher and Teugels (2004) or Ladoucette and Teugels (2006), Ladoucette (2007), Omey (2008a). In Theorem 3.1 below we consider the case where πΌ ΜΈ= 1. The case where πΌ = 1 follows in Remark 3.1 below. Theorem 3.1. (i) Suppose that π ∈ π·(π1 (πΌ)) with 0 < πΌ < 1 or with 1 < πΌ < 2 and π = 0. Then π π2 (πΌ/2) . π (π) =⇒ π12 (πΌ) (ii) Suppose that π ∈ π·(π1 (πΌ)) with 1 < πΌ < 2 and π ΜΈ= 0. Then π2 1 π π (π) =⇒ 2 π2 (πΌ/2). 2 π (π) π (iii) Suppose that π 2 ∈ π·(π2 (1)) and π ∈ π·(π1 (2)). π (οΈ π(π) )οΈ π 1 (a) If π ΜΈ= 0, then ππ (π) − =⇒ 2 π2 (1). π(π) ππ2 π 1 π2 (π) π π (π) =⇒ 2 . (b) If π = 0, then π(π) π1 (2) (iv) Suppose that π 2 ∈ π·(π2 (πΌ/2)) with 2 < πΌ < 4 and with π ΜΈ= 0. Then π (οΈ π2 )οΈ π 1 ππ (π) − 2 =⇒ 2 π2 (πΌ/2). π(π) π π (v) Suppose that π 2 ∈ π·(π2 (2)) and π ΜΈ= 0. Then π (οΈ π2 )οΈ π ππ (π) − 2 =⇒ π3 (2) π(π) π √ π2 π2 π 1 π where π3 (2) = 2 π2 (2) − 2 3 √ π1 (2) if π4 = πΈ(π 4 ) < ∞ and π3 (2) = π2 (2)/π2 π π π4 otherwise. π (vi) If π2 < ∞ and π = 0, then π (π) =⇒ 1/π12 (2). Proof. (i) If 0 < πΌ < 1 we have ∑οΈπ )οΈ (οΈ ∑οΈπ ππ2 π π=1 ππ , π=1 =⇒ (π1 (πΌ), π2 (πΌ/2)). (3.1) π(π) π2 (π) Now it follows that (οΈ (οΈ )οΈ2 )οΈ π π 1 ∑οΈ 2 1 ∑οΈ π (π (π) 6 π₯) = π π 6π₯ ππ π2 (π) π=1 π π(π) π=1 so that (3.2) π (π (π) 6 π₯) → π (π2 (πΌ/2) 6 π₯π12 (πΌ)). If 1 < πΌ < 2 and π = 0, we still have (3.1) and then again (3.2) follows. DOMAINS OF ATTRACTION OF (π, π 2 ) 47 (ii) Since π < ∞, we have ∑οΈπ (οΈ ∑οΈπ )οΈ ππ2 π π=1 ππ , π=1 =⇒ (π, π2 (πΌ/2)) π π2 (π) and the result follows as in (i). (iii) (a) Using the notations ∑οΈπ ∑οΈπ π 2 − π(π) ( π=1 ππ )2 − (ππ)2 , π΅(π) = π=1 π , π΄(π) = ππ(π) π(π) in this case we have π (π΄(π), π΅(π)) =⇒ (2ππ1 (2), π2 (1)). (3.3) To prove the result, we consider )οΈ )οΈ (οΈ (οΈ π(π) π2 π (π) 1 πΌ=π − 2 6π₯ . π(π) π(π) π Using the definition of π (π), we obtain that (οΈ ∑οΈ π )οΈ(οΈ ∑οΈ )οΈ2 )οΈ π π(π) π₯π(π) − ππ πΌ=π + 60 π2 π2 π2 π=1 π=1 (οΈ (οΈ π(π) )οΈ π₯π(π) )οΈ 2 = π π΅(π)π(π) − + π΄(π)ππ(π) 6 π₯π(π)π π2 π2 π2 (οΈ (οΈ π(π)π(π) π(π)π₯ )οΈ )οΈ = π π΅(π) − + π΄(π) 6 π₯π2 . 2 π π(π)π π ππ2 (οΈ π Now recall that π΄(π) =⇒ 2ππ2 (2) and observe that π(π₯) ∈ π π (1/2). Also note that π(π₯) ∈ π π (1) and that π(π₯) ∈ π π (1). It follows that π(π₯)/π₯ → 0 and that π(π₯)π(π₯)/(π₯π(π₯)) → 0. Using (3.3) we conclude that πΌ → π (π2 (1) 6 π₯π2 ). (iii)(b) In this case we have ∑οΈπ (οΈ ∑οΈπ )οΈ 2 ( π=1 ππ )2 π π=1 ππ , =⇒ (π12 (2), 1) π2 (π) π(π) and the result follows as in (i). (iv) In this case we have π(π) = ππ2 and (3.4) (οΈ )οΈ π (οΈ )οΈ π΄(π), π΅(π) =⇒ 2ππ1 (2), π2 (πΌ/2) where π2 (π) ∼ ππ2 and π(π₯) ∈ π π (2/πΌ). Now consider (οΈ π (οΈ )οΈ π2 )οΈ πΌ=π ππ (π) − 2 6 π₯ . π(π) π 48 OMEY, VAN GULCK By using the definition of π (π), we find that (οΈ ∑οΈ )οΈ (οΈ ∑οΈ )οΈ2 (οΈ π π π2 )οΈ π₯π(π) πΌ=π ππ2 − + 6 0 ππ π2 ππ2 π=1 π=1 )οΈ (οΈ (οΈ π₯π(π) π2 )οΈ 2 + ππ(π)π΄(π) 6 π₯π(π)π = π π΅(π)π(π) − π2 ππ2 (οΈ (οΈ π(π)π₯ π(π)π )οΈ )οΈ 2 2 = π π΅(π) − π΄(π) 6 π π₯ . + π π(π)π2 Since π(π)/π → 0 and π(π)/π(π) → 0, using (3.4), we conclude that πΌ → π (π2 (πΌ/2)− 0 6 π2 π₯) and this proves the result. (οΈ )οΈ π (οΈ )οΈ (v) Now we have π΄(π), π΅(π) =⇒ 2ππ1 (2), π2 (2) where, cf. (2), π2 (π) ∼ ππ2 . As in case (iv) we consider πΌ and again we find that )οΈ (οΈ (οΈ π(π)π₯ π(π)π )οΈ 2 π΄(π) 6 π2 π₯ . πΌ = π π΅(π) − + 2 π π(π)π Now we have to distinghuish between two cases. If π4 < ∞, we have π2 (π) ∼ ππ4 and it follows that √ )οΈ (οΈ π2 π2 πΌ → π π2 (2) − 2 √ 2ππ1 (2) 6 π2 π₯ . π π4 In the case where π4 = ∞, we have π2 (π) ππ2 π2 ∼ 2 ∼ → 0. 2 π (π) π (π) π2 (π(π)) and we find that πΌ → π (π2 (2) 6 π2 π₯). (vi) In this case we have ∑οΈπ (οΈ ∑οΈπ )οΈ 2 ( π=1 ππ )2 π π=1 ππ , =⇒ (π12 (2), π2 ) π2 (π) π and π2 (π) ∼ ππ2 . Now the result follows. Remark 3.1. 1) If π 2 ∈ π·(π2 (πΌ/2)) with 2 < πΌ 6 4 and π = 0, then π2 < ∞ and case (vi) applies. 2) In the case where πΌ = 1, we have to be more careful. If π = πΈ(π) is finite, ∑οΈπ π we have π=1 ππ /π → π and if π ΜΈ= 0, we can proceed as in case (ii) to obtain that 1 π2 π π (π) =⇒ 2 π2 (1/2). π2 (π) π If π = 0 or if π = ∞, we assume that either π is symmetric around 0 so that ∑οΈπ π π(π) = 0, or that π=1 ππ /π(π) → 1. In the first case, as in case (i), we obtain that π π (π) =⇒ π2 (1/2) . π12 (1) In the second case, we obtain that π2 (π) π π (π) =⇒ π2 (1/2). π2 (π) DOMAINS OF ATTRACTION OF (π, π 2 ) 49 3.2. The asymptotic behaviour of ππ (π). Now we use Theorem 3.1 to obtain the precise asymptotic behaviour of the sample coefficient of variation. Recall that ππ 2 (π) = ππ (π) − 1 and that √οΈif π is finite, we assume that π > 0. If π > 0 it follows that for π → ∞, ππ (π) = ππ (π) − 1 > 0. In the result below we use the notation π 2 = π2 − π2 . In the case where π > 0, the result was obtained in Omey (2008a) and partially in Ladoucette and Teugels (2006). Theorem 3.2. (i) Suppose that π ∈ π·(π1 (πΌ)) with 0 < πΌ < 1 or π ∈ π·(π1 (πΌ)) with 1 < πΌ < 2 and π = 0. Then ππ 2 (π) π π2 (πΌ/2) . =⇒ π π12 (πΌ) (ii) Suppose that π ∈ π·(π1 (πΌ)) with 1 < πΌ < 2 and π ΜΈ= 0. Then √ π π 1 √οΈ ππ (π) =⇒ π2 (πΌ/2). π(π) π (iii) Suppose that π 2 ∈ π·(π2 (1)) and π ∈ π·(π1 (2)). (a) If π ΜΈ= 0, then √οΈ √οΈ )οΈ π π π(π) (οΈ 1 ππ (π) − π(π) =⇒ π2 (1) π(π) 2π2 where π(π) is given by π(π) = π(π)/ππ2 − 1. (b) If π = 0, then π2 (π) 1 π ππ 2 (π) =⇒ 2 . ππ(π) π1 (2) (iv) Suppose that π 2 ∈ π·(π2 (πΌ/2)) with 2 < πΌ < 4 and π ΜΈ= 0. Then π (οΈ 1 π )οΈ π =⇒ ππ (π) − π2 (πΌ/2). π(π) π 2ππ (v) Suppose that π 2 ∈ π·(π2 (2)) and π ΜΈ= 0, then π )οΈ π π π (οΈ =⇒ ππ (π) − π3 (2) π(π) π 2π where π3 (2) is given in Theorem 3.1(v). (vi) If π2 < ∞ and π = 0. Then ππ 2 (π) π 1 =⇒ 2 π π1 (2) Proof. (i) and (ii) follow immediately from Theorem 3.1 (i),(ii). (iii) (a) From Theorem 3.1 (iii) we obtain that )οΈ π 1 π (οΈ 2 ππ (π) − π(π) =⇒ 2 π2 (1) π(π) π where π(π) = π(π)/ππ2 − 1. Since π(π)/π(π) → ∞ and π(π)/π → ∞, we obtain that ππ (π) π √οΈ −→ 1. π(π) 50 OMEY, VAN GULCK Now observe that √οΈ (οΈ )οΈ √οΈ √οΈ )οΈ π ππ 2 (π) − π(π) π π(π) (οΈ π(π) 1 π √οΈ π (1) ππ (π) − π(π) = =⇒ 2 2 π(π) π(π) 2π ππ (π) + π(π) (b) In this case, Theorem 3.1 (vi) gives π2 (π) 1 + ππ 2 (π) π 1 =⇒ 2 . π(π) π π1 (2) Since π2 (π)/ππ(π) → 0, we obtain the result. π (iv) First note that Theorem 3.1(iv) shows that ππ (π) −→ π2 /π2 so that π ππ (π) −→ π/π where π 2 = π2 − π2 . Now we have ππ (π) − ππ (π) − π2 /π2 π = . π π/π + ππ (π) Theorem 3.1(iv) can now be used to obtain the desired result. π π (v) Theorem 3.1(v) shows that ππ (π) −→ π2 /π2 so that ππ (π) −→ π/π where π 2 = π2 − π2 . Now we have ππ (π) − ππ (π) − π2 /π2 π = . π π/π + ππ (π) Theorem 3.1(v) can be used to obtain the desired result. (vi) Theorem 3.1(vi) shows that 1 ππ 2 (π) + 1 π =⇒ 2 . π π1 (2) Now the result follows. Remark 3.2. Also here, the case where πΌ = 1 can be treated as in Remark 3.1. 3.3. The asymptotic behaviour of π‘(π). Using the definition of π‘(π) we see that π‘2 (π) = π/ππ 2 (π) and this relation can by used to transfer the asymptotic properties of ππ (π) to π‘(π). Our Theorem 3.3 should be compared to the results of Bentkus et al. (2007). As before, if π < ∞, we assume that π > 0. Theorem 3.3. (i) Suppose that π ∈ π·(π1 (πΌ)) with 0 < πΌ < 1 or with 1 < πΌ < 2 and π = 0. Then π 2 (πΌ) π π‘2 (π) =⇒ 1 . π2 (πΌ/2) (ii) Suppose that π ∈ π·(π1 (πΌ)) with 1 < πΌ < 2 and π ΜΈ= 0. Then √οΈ π(π) 1 π π‘(π) =⇒ π . π π2 (πΌ/2) (iii) Suppose that π ∈ π·(π1 (2)) and π 2 ∈ π·(π2 (1)). (a) If π ΜΈ= 0, then √οΈ (οΈ )οΈ ππ(π) π(π) 1 π‘(π) 1 π √οΈ =⇒ − √ π2 (1) π(π) 2π2 π π(π) DOMAINS OF ATTRACTION OF (π, π 2 ) 51 where π(π) = π(π)/ππ2 − 1. (b) If π = 0, then π(π) 2 π π‘ (π) =⇒ π12 (2). π2 (π) (iv) Suppose that π 2 ∈ π·(π2 (πΌ/2)) with 2 < πΌ < 4 and with π ΜΈ= 0. Then (οΈ )οΈ π π π π‘(π) 1 π π2 (πΌ/2) − √ =⇒ π(π) π π 2π 2 π (v) Suppose that π 2 ∈ π·(π2 (2)) with π ΜΈ= 0. Then )οΈ (οΈ π π π π‘(π) π 1 =⇒ π3 (2) − √ π(π) π π 2 π where π3 (2) is given in Theorem 3.1(v). π (vi) If π2 < ∞ and π = 0, then π‘(π) =⇒ π1 (2). Proof. (i), (ii) This follows immediately from √ Theorem 3.2 (i), (ii). (iii) (a) To prove this result, recall that π‘(π)/ π = 1/ππ (π). Now we write √οΈ ππ (π) − π(π) 1 π‘(π) √οΈ √οΈ − √ = π π(π) ππ (π) π(π) √οΈ π From Theorem 3.2 (iii)(a), we know that ππ (π)/ π(π) −→ 1 and then we obtain that √οΈ (οΈ )οΈ ππ(π) π(π) π‘(π) 1 √οΈ √ − π(π) π π(π) √οΈ √οΈ )οΈ π π(π) (οΈ π(π) 1 π √οΈ ππ (π) − π(π) π2 (1) = =⇒ π(π) 2π2 ππ (π) π(π) (b) Now we use π‘2 (π) = π/ππ 2 (π) and Theorem 3.2 (iii)(b) (iv) To prove this result, as in the proof of (iii)(a) we write π π‘(π) ππ (π) − π/π − √ = π ππ (π)π/π π and then we obtain (οΈ )οΈ π π π π‘(π) π ππ (π) − π/π π 1 √ − = =⇒ π2 (πΌ/2) π(π) π π π(π) ππ (π) 2π 2 π (v) Similar as the proof of part (iv). (vi) If π2 < ∞ and π = 0 we have π 2π → π2 and result follows. √ √ π ππ/ π2 =⇒ π1 (2). The 52 OMEY, VAN GULCK 4. Concluding remarks 1) The reader can formulate similar asymptotic results for the sample dispersion ππ·(π) = π 2π /π. 2) The case where πΌ = 1 needs to be investigated further. In the case of π‘(π), Bentkus et al. (2007) use the results of Griffin (2002) and obtain the asymptotic behaviour of π΄(π)(π‘(π) − π΅(π)) for suitable sequences π΄(π) and π΅(π). 3) There are many statistics that use higher sample moments. In a forthcoming paper Omey (2008b) we analyze domains of attraction of the random vector (π, π 2 , . . . , π π ) and then apply the results to these statistics. 4) The coefficient of variation and the sample dispersion are widely used measures of variation. For applications in the context of insurance and actuarial risk, we refer to Albrecher and Teugels (2004), Ladoucette (2007) and the references given there. In portfolio theory, the very popular ratio of Sharpe turns out to be given by 1/ππ (π), cf. Sharpe (1966), Knight and Satchell (2005). The coefficient of variation is also used as a performance measure in queueing systems and in simulation, cf. Krishnamurthy and Suri (2006). References [1] H. Albrecher and J. L. Teugels, Asymptotic analysis of measures of variation, Technical Report 2004-042, EURANDOM, T.U. Eindhoven, Netherlands, 2004. [2] V. Bentkus, B. Y. Jing, Q. M. Shao and W. Zhou, Limiting distributions of the non-central π‘-statistic and their applications to the power of π‘-tests under non-normality, Bernoulli, 13(2)(2007), 346–364. [3] N. H. Bingham, C. M. Goldie and J. L. Teugels, Regular Variation, in: G. C. Rota (ed.), Encycl. Math. Appl., 27, Cambridge University Press, 1989. [4] W. Feller, An Introduction to Probability Theory and its Applications, Vol. II (2nd edition), John Wiley and Sons, New York, 1971. [5] J. Geluk and L. de Haan, Regular Variation, Extensions and Tauberian Theorems, CWI Tracts 40, Centre for Mathematics and Computer Science, Amsterdam, Netherlands, 1987. [6] P. Greenwood and S. Resnick, A bivariate stable characterization and domains of attraction, J. Multivariate An. 9 (1979), 206–221. [7] P. S. Griffin, Tightness of the Student π‘-statistic, Electron. Commun. Probab. 7 (2002), 181– 190. [8] L. de Haan and S. Resnick, Derivatives of regularly varying functions in Rπ and domains of attraction of stable distributions, Stoch. Proc. Their Appl. 8 (1979), 349–355. [9] L. de Haan, E. Omey and S. Resnick, Domains of attraction and regular variation in Rπ , J. Multivariate An. 14 (1984), 17–33. [10] A. H. Jessen and T. Mikosch, Regularly varying functions, Publ. Inst. Math. Béograd (N.S) 80 (94)(2006), 171–192. [11] J. Knight and S. Stachell, A re-examination of Sharpe’s ratio for log-normal prices, Appl. Math. Finance, 12 (1) (2005), 87–100. [12] A. Krishnamurthy and R. Suri, Performance analysis of single stage Kanban controlled production systems using parametric decomposition, Queueing Systems, 54 (2006), 141–162. [13] S. A. Ladoucette and J. L. Teugels, Asymptotic analysis for the ratio of the random sum of squares to the square of the random sum with applications to risk measures, Publ. Inst. Math. Béograd (N.S), 80 (94) (2006), 219–240. [14] S. A. Ladoucette, Analysis of Heavy-Tailed Risks, Ph.D. Thesis, Catholic University of Leuven, 2007. DOMAINS OF ATTRACTION OF (π, π 2 ) 53 [15] E. Omey, Domains of attraction of the random vector (π, π 2 ) and applications, Stochastics: An International Journal of Probability and Stochastic Processes, 80 (2) (2008a), 211–227. [16] E. Omey, Domains of attraction of the random vector (π, π 2 , . . . , π π ) and applications, Forthcoming, 2008b. [17] V. V. Petrov, Limit theorems of probability theory, Oxford Science Publications, Oxford Studies in Probability Series, Clarendon Press, Oxford, 1995. [18] S. Resnick, Point processes, regular variation and weak convergence, Adv. Appl. Probab., 18 (1986), 66–138. [19] E. Rvaceva, On the domains of attraction of multidimensional distributions, Selected Transl. Math. Stat. Prob., 2 (1962), 183–207. [20] E. Seneta, Regularly varying functions, Lect. Notes Math. 508, Springer, New York, 1976. [21] W. F. Sharpe, Mutual fund performance, J. Business 39(1/2) (1966), 119–138. Department of Mathematics and Statistics HUB Brussels Belgium edward.omey@hubrussel.be stefan.vangulck@hubrussel.be (Received 17 12 2008) (Revised 24 07 2009)