• 検索結果がありません。

-Mixing Random Variables

N/A
N/A
Protected

Academic year: 2022

シェア "-Mixing Random Variables"

Copied!
13
0
0

読み込み中.... (全文を見る)

全文

(1)

Volume 2010, Article ID 630608,13pages doi:10.1155/2010/630608

Research Article

Complete Convergence for Weighted Sums of ρ

-Mixing Random Variables

Soo Hak Sung

Department of Applied Mathematics, Pai Chai University, Taejon 302-735, South Korea

Correspondence should be addressed to Soo Hak Sung,[email protected] Received 2 August 2009; Accepted 24 March 2010

Academic Editor: Leonid Shaikhet

Copyrightq2010 Soo Hak Sung. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

We obtain the complete convergence for weighted sums ofρ-mixing random variables. Our result extends the result of Peligrad and Gut1999on unweighted average to a weighted average under a mild condition of weights. Our result also generalizes and sharpens the result of An and Yuan 2008.

1. Introduction

In many stochastic models, the assumption that random variables are independent is not plausible. So it is of interest to extend the concept of independence to dependence cases. One of these dependence structures isρ-mixing.

Let {Xn, n ≥ 1} be a sequence of random variables defined on a probability space Ω,F, P, and let Fmn denote the σ-algebra generated by the random variables Xn, Xn1, . . . , Xm.For any SN, defineFS σXi, iS.Given two σ-algebras A,B in F,put

ρA,B sup{corrX, Y;XL2A, Y ∈L2B}, 1.1

where corrX, Y EXY −EXEY/

varXvarY.Define theρ-mixing coefficients by

ρnsup

ρFS,FT;S, TNwith distS, T≥n

. 1.2

(2)

Obviously, 0≤ρn1ρnρ01.The sequence{Xn, n≥1}is calledρ-mixingorρ-mixing if there existskNsuch thatρk <1.Note that if{Xn, n ≥1}is a sequence of independent random variables, thenρn0 for alln≥1.

A number of limit results for ρ-mixing sequences of random variables have been established by many authors. We refer to Bradley1 for the central limit theorem, Bryc and Smole ´nski2 , Peligrad and Gut3 , and Utev and Peligrad4 for moment inequalities, Gan 5 , Kuczmaszewska6 , and Wu and Jiang7 for almost sure convergence, and An and Yuan 8 , Cai9 , Gan5 , Kuczmaszewska10 , Peligrad and Gut3 , and Zhu11 for complete convergence.

The concept of complete convergence of a sequence of random variables was introduced by Hsu and Robbins12 . A sequence{Xn, n≥1}of random variables converges completely to the constantθif

n1

P|Xnθ|> <∞ ∀ >0. 1.3

In view of the Borel-Cantelli lemma, this implies thatXnθalmost surely. Therefore, the complete convergence is a very important tool in establishing almost sure convergence of summation of random variables as well as weighted sums of random variables. Hsu and Robbins12 proved that the sequence of arithmetic means of independent and identically distributed random variables converges completely to the expected value if the variance of the summands is finite. Erd ¨os13 proved the converse. The result of Hsu-Robbins-Erd ¨os is a fundamental theorem in probability theory and has been generalized and extended in several directions by many authors. One of the most important generalizations is Baum and Katz14 strong law of large numbers.

Theorem 1.1 Baum and Katz 14 . Let p ≥ 1/α and 1/2 < α ≤ 1. Let {Xn, n ≥ 1} be a sequence of independent and identically distributed random variables with EX1 0. Then the following statements are equivalent:

iE|X1|p<∞;

ii

n1npα−2Pmax1≤j≤n|j

i1Xi|> nα<for all >0,

Peligrad and Gut [3] extended the result of Baum and Katz [14] toρ-mixing random variables.

Theorem 1.2Peligrad and Gut3 . Letp >1/αand 1/2< α≤1.Let{Xn, n≥1}be a sequence of identically distributedρ-mixing random variables withEX1 0.Then the following statements are equivalent:

iE|X1|p<∞;

ii

n1npα−2Pmax1≤j≤n|j

i1Xi|> nα<for all >0.

Cai [9] complementedTheorem 1.2whenp1/α.

Recently, An and Yuan [8] obtained a complete convergence result for weighted sums of identically distributedρ-mixing random variables.

(3)

Theorem 1.3An and Yuan8 . Letp >1/αand 1/2 < α≤1.Let{Xn, n≥1}be a sequence of identically distributedρ-mixing random variables withEX10.Assume that{ani,1≤in, n≥1}

is an array of real numbers satisfying

n i1

|ani|pO

nδ for some 0< δ <1, 1.4

#Ank#

1≤in:|ani|p>k1−1

ne−1/k ∀k≥1, n≥1. 1.5

Then the following statements are equivalent:

iE|X1|p<∞;

ii

n1npα−2Pmax1≤j≤n|j

i1aniXi|> nα<for all >0.

Note that the result of An and Yuan8 is not an extension of Peligrad and Gut’s3 result, since condition1.4does not hold for the array withani 1,1 ≤ in, n ≥ 1.An and Yuan8 proved the implicationi⇒iiunder condition1.4, and proved the converse under conditions1.4and1.5. However, the array satisfying both1.4and1.5does not exist. Noting that #Ank/k1 ≤ n

i1|ani|pOnδ,we have thatne−1/k ≤ #Ank ≤ k 1Onδ.But, this does not hold whenkis fixed andnis large enough.

In this paper, we obtain a new complete convergence result for weighted sums of identically distributedρ-mixing random variables. Our result extends the result of Peligrad and Gut3 , and generalizes and sharpens the result of An and Yuan8 .

Throughout this paper, the symbol C denotes a positive constant which is not necessarily the same one in each appearance,x denotes the integer part ofx,andab min{a, b}.

2. Main Result

To prove our main result, we need the following lemma which is a Rosenthal-type inequality forρ-mixing random variables.

Lemma 2.1Utev and Peligrad4 . Let{Xn, n≥1}be a sequence ofρ-mixing random variables with EXn 0 andE|Xn|r <for somer2 and all n ≥ 1.Then there exists a constant D Dr, k, ρkdepending only onr, k,andρksuch that for anyn≥1,

E

⎝max

1≤j≤n

j i1

Xi

r

⎠≤D

⎧⎨

n

i1

E|Xi|r n

i1

EXi2 r/2

, 2.1

whereρk<1.

Now we state the main result of this paper.

(4)

Theorem 2.2. Letp >1/αand 1/2< α≤1.Let{Xn, n≥1}be a sequence of identically distributed ρ-mixing random variables withEX1 0.Assume that{ani,1 ≤ in, n≥ 1}is an array of real numbers satisfying

n i1

|ani|qOn for some q > p. 2.2

IfE|X1|p<∞,then

n1

npα−2P

max1≤j≤n

j i1

aniXi > nα

<∞ ∀ >0. 2.3

Conversely, if2.3holds for any array{ani}satisfying2.2, thenE|X1|p<∞.

To proveTheorem 2.2, we first prove the following lemma which is the sufficiency of Theorem 2.2when the array is bounded.

Lemma 2.3. Let{Xn, n≥1}be a sequence of identically distributedρ-mixing random variables with EX1 0 andE|X1|p<for somep >1/αand 1/2< α≤1.Assume that{ani,1≤in, n≥1}is an array of real numbers satisfying|ani| ≤1 for 1inandn≥1.Then2.3holds.

Proof. For 1inandn≥1,defineXni XiI|Xi| ≤nα.SinceEXi0 andn

i1|ani| ≤n,we have that

n−αmax

1≤j≤n

j i1

aniEXni

n−αmax

1≤j≤n

j i1

aniEXiI|Xi|> nα

n−αn

i1

|ani|E|X1|I|X1|> nα

n1−αE|X1|I|X1|> nα

n1−pαE|X1|pI|X1|> nα−→0

2.4

asn → ∞.Hence fornlarge enough, we have

n−αmax

1≤j≤n

j i1

aniEXni <

2 . 2.5

(5)

It follows that

n1

npα−2P

max1≤j≤n

j i1

aniXi

> nα

n1

npα−2n

i1

P|Xi|> nα

n1

npα−2P

max1≤j≤n

j i1

aniXni > nα

n1

npα−1P|X1|> nα C

n1

npα−2P

max1≤j≤n

j i1

ani

XniEXni > nα

2

:ICJ.

2.6

Noting that

n1npα−1P|X1|> nαCE|X1|p<∞,we haveI <∞.Thus, it remains to show thatJ <∞.

We have by Markov’s inequality andLemma 2.1that for anyr ≥2,

J≤ 2

r

n1

npα−rα−2Emax

1≤j≤n

j i1

ani

XniEXni

r

C

n1

npα−rα−2

⎧⎨

n

i1

a2niEXni 2r/2 n

i1

|ani|rEXnir

C

n1

npα−rα−2r/2

E|X1|2I|X1| ≤nα r/2C

n1

npα−rα−1E|X1|rI|X1| ≤nα :CJ1CJ2.

2.7

In the last inequality, we used the fact that|ani| ≤1 for 1≤inandn≥1.

Ifp ≥2,then we take large enoughr such thatr > max{pα−1/α−1/2, p}.Since r >pα−1/α−1/2,we get

J1C

n1

npα−rα−2r/2<∞. 2.8

(6)

Sincer > p,we also get

J2

n1

npα−rα−1n

i1

E|X1|rI

i−1α<|X1| ≤iα

i1

E|X1|rI

i−1α<|X1| ≤iα

ni

npα−rα−1

C

i1

E|X1|rI

i−1α<|X1| ≤iα ipα−rα

CE|X1|p<∞.

2.9

Ifp <2,then we taker 2.Sincer > p,2.9still holds, and soJ1J2<∞.

We next prove the sufficiency ofTheorem 2.2when the array is unbounded.

Lemma 2.4. Let{Xn, n≥1}be a sequence of identically distributedρ-mixing random variables with EX1 0 andE|X1|p<for somep >1/αand 1/2< α≤1.Assume that{ani,1≤in, n≥1}is an array of real numbers satisfyingani0 or|ani|>1,and

n i1

|ani|qn for some q > p. 2.10

Then2.3holds.

Proof. Ifp <2,then we can takeδ >0 such thatp < pδ <min{2, q}.Sinceani0 or|ani|>1, we have thatn

i1|ani|n

i1|ani|qn.Thus we may assume that2.10holds for some p < q <2 whenp <2.

LetSnjj

i1aniXiI|aniXi| ≤nαfor 1≤jnandn≥1.In view ofEXi0,we get

n−αmax

1≤j≤n

ESnjn−αmax

1≤j≤n

j i1

aniEXiI|aniXi|> nα

n−αn

i1

E|aniXi|I|aniXi|> nα

n−pαn

i1

E|aniXi|pI|aniXi|> nα

n−pαn

i1

|ani|pE|X1|p

n−pα n

i1

|ani|q p/q

n1−p/qE|X1|p

n1−pαE|X1|p−→0,

2.11

(7)

sincepα >1.Hence fornlarge enough, we have thatn−αmax1≤j≤n|ESnj|< /2.It follows that

n1

npα−2P

max1≤j≤n

j i1

aniXi > nα

n1

npα−2P

max1≤i≤n|aniXi|> nα

n1

npα−2P

max1≤j≤n

Snj> nα

n1

npα−2n

i1

P|aniXi|> nα C

n1

npα−2P

max1≤j≤n

SnjESnj> nα 2

:ICJ.

2.12

For 1≤jn−1 andn≥2,let

Inj

1≤in:n1/q

j1−1/q

<|ani| ≤n1/qj−1/q

. 2.13

Then{Inj,1≤jn−1}are disjoint,n−1

j1Inj {1≤in:ani/0},andk

j1#Injk1 for 1≤kn−1,since

n

{1≤i≤n:ani/0}

|ani|qn−1

j1

i∈Inj

|ani|qnk

j1

1

j1#Injn k1

k j1

#Inj. 2.14

For convenience of notation, lett1/α−1/q.Sinceani 0 or|ani|>1,andn

i1|ani|qn, we havea11 0.It follows that

I

n2

npα−2n−1

j1

i∈Inj

P|aniXi|> nα

n2

npα−2n−1

j1

P

|X1|t> njt/q #Inj

n2

npα−2n−1

j1

#Inj

k≥njt/q

P

k <|X1|tk1

(8)

n2

npα−2

kn

P

k <|X1|tk1

n−1∧k1/n q/t

j1

#Inj

n2

npα−2

kn

P

k <|X1|tk1 nk1 n

q/t 1

n1

npα−2n 1t/q

kn

P

k <|X1|tk1 k1 n

q/t 1

n1

npα−1

kn1t/q 1

P

k <|X1|tk1

:I1I2.

2.15

Since−2−q/t−αq−p−1<−1,we obtain

I1C

n1

npα−2−q/tn 1t/q

kn

P

k <|X1|tk1 kq/t

C

k1

P

k <|X1|tk1 kq/t k

nkq/qt

npα−2−q/t

C

k1

P

k <|X1|tk1 kq/t−qαq−p/qt

CE|X1|p<∞.

2.16

We also obtain

I2

k1

P

k <|X1|tk1

kq/tq

n1

npα−1

C

k1

P

k <|X1|tk1 kpα−1/qCE|X1|p<∞.

2.17

FromI1<∞andI2 <∞,we haveI <∞.Thus, it remains to show thatJ <∞.

(9)

We have by Markov’s inequality andLemma 2.1that for anyr ≥2,

JC

n1

npα−rα−2Emax

1≤j≤n

SnjESnjr

C

n1

npα−rα−2 n

i1

E|aniXi|2I|aniXi| ≤nα r/2

C

n1

npα−rα−2n

i1

E|aniXi|rI|aniXi| ≤nα :J1J2.

2.18

Observe that forrqandn > m,

nn−1

j1

i∈Inj

|ani|qnn−1

j1

1

j1#Injnm1r/q−1n−1

jm

j1−r/q

#Inj. 2.19

Son−1

jmj−r/q#InjCm−r/q−1forrqandn > m.

ForJ1andJ2,we proceed with two cases.

iIfp≥2,then we takerlarge enough such thatr >max{pα−1/α−1/2, q}.Then we obtain that

J1C

n1

npα−rα−2 n

i1

|ani|2 r/2

C

n1

npα−rα−2 n

i1

|ani|q r/2

C

n1

npα−rα−2r/2<∞.

2.20

The second inequality follows by the fact thatani 0 or|ani|>1.

(10)

Noting thata110,we also obtain that

J2

n2

npα−rα−2n−1

j1

i∈Inj

E|aniXi|rI|aniXi| ≤nα

n2

npα−rα−2r/qn−1

j1

j−r/q#InjE|X1|rI

|X1|tn

j1t/q

n2

npα−rα−2r/qn−1

j1

j−r/q#Inj

0≤k≤nj1t/q

E|X1|rI

k <|X1|tk1

n2

npα−rα−2r/qn−1

j1

j−r/q#Inj2n

k0

E|X1|rI

k <|X1|tk1

n2

npα−rα−2r/qn−1

j1

j−r/q#Injnj1 t/q

k2n1

E|X1|rI

k <|X1|tk1

:J3J4.

2.21

Since−2r/q < qα−2r/q−r−−1/q−1<−1 andq > p,we have that

J3

n2

npα−rα−2r/q2n

k0

E|X1|rI

k <|X1|tk1

n−1

j1

j−r/q#Inj

C

n2

npα−rα−2r/q2n

k0

E|X1|rI

k <|X1|tk1

C

k1

E|X1|rI

k <|X1|tk1 nk/2

npα−rα−2r/q

C

k1

E|X1|rI

k <|X1|tk1 kpα−rα−1r/q

C

k1

P

k <|X1|tk1 kpα−1

CE|X1|p<∞.

2.22

(11)

Since 1/t1/q−α0 and−2−q/t−αq−p−1<−1,we also have that

J4

n2

npα−rα−2r/qn

qt/q

k2n1

E|X1|rI

k <|X1|tk1

n−1

jk/nq/t −1

j−r/q#Inj

C

n2

npα−rα−2r/qn

qt/q

k2n1

E|X1|rI

k <|X1|tk1 k n

q/t

−1

−r/q−1

C

k5

E|X1|rI

k <|X1|tk1 k−r−q/t k/2

nkq/qt

npα−2−q/t

C

k5

E|X1|rI

k <|X1|tk1 k−r−q/t−α−1/qq−p

CE|X1|p<∞.

2.23

FromJ3<∞andJ4<∞,we haveJ2<∞.

iiIfp <2,then we taker 2.As noted above, we may assume thatp < q <2.Since r > q,as in the casep≥2,we haveJ1J2CE|X1|p<∞.

We now proveTheorem 2.2by using Lemmas2.3and2.4.

Proof ofTheorem 2.2.

Sufficiency. Without loss of generality, we may assume thatn

i1|ani|qnfor someq > p.For n≥1,let

An{1≤in:|ani| ≤1}, Bn{1≤in:|ani|>1}, 2.24

and letanianiifiAn, ani0 otherwise, andanianiifiBn, ani0 otherwise. Then

max1≤j≤n

j i1

aniXi ≤max

1≤j≤n

j i1

aniXi max

1≤j≤n

j i1

aniXi

. 2.25

It follows that n1

npα−2P

max1≤j≤n

j i1

aniXi

> nα

n1

npα−2P

max1≤j≤n

j i1

aniXi

> nα

2

n1

npα−2P

max1≤j≤n

j i1

aniXi

> nα

2

:IJ.

2.26

ByLemma 2.3, we haveI <∞.ByLemma 2.4, we haveJ <∞.Hence2.3holds.

(12)

Necessity. Choose, for eachn≥ 1, an1 · · · ann 1.Then{ani}satisfies2.2. By2.3, we obtain that

n1

npα−2P

max1≤j≤n

j i1

Xi > nα

<∞ ∀ >0, 2.27

which implies that

n1

npα−2P

max1≤j≤nXj> nα

<∞ ∀ >0. 2.28

Observe that

>

i1 2i

n2i−11

npα−2P

max1≤j≤nXj> nα

⎧⎪

⎪⎪

⎪⎪

⎪⎪

⎪⎪

⎪⎩

i1

2i−1pα−2 2i−1P

1≤j≤2maxi−1Xj>

2iα

if≥2,

i1

2ipα−2 2i−1P

1≤j≤2maxi−1Xj>

2iα

if 1< pα <2,

⎧⎪

⎪⎪

⎪⎪

⎪⎪

⎪⎪

⎪⎩

i1

P

1≤j≤2maxi−1Xj>

2iα

if≥2,

2pα−2

i1

P

1≤j≤2maxi−1Xj>

2iα

if 1< pα <2.

2.29

Hence we have that for any > 0, Pmax1≤j≤2i−1|Xj| > 2iα → 0 as i → ∞, and so Pmax1≤j≤n|Xj| > nα → 0 as n → ∞. The rest of the proof is same as that of Peligrad and Gut3 and is omitted.

Remark 2.5. Takingani 1 for 1 ≤ inandn ≥ 1,we can immediately getTheorem 1.2 fromTheorem 2.2. If the array{ani}satisfies1.4, then it satisfies 2.2: takingqsuch that p < q < p/δ,we have

n i1

|ani|q≤max

1≤i≤n|ani|q−pn

i1

|ani|pCnδq−p/pnδCn. 2.30

So the implication i⇒ii of Theorem 1.3 follows from Theorem 2.2. As noted after Theorem 1.3, the implicationii⇒iofTheorem 1.3is not true. Therefore, our result extends the result of Peligrad and Gut3 to a weighted average, and generalizes and sharpens the result of An and Yuan8 .

(13)

Acknowledgments

The author is grateful to the editor Leonid Shaikhet and the referees for the helpful comments and suggestions that considerably improved the presentation of this paper. This work was supported by the Korea Science and Engineering FoundationKOSEFGrant funded by the Korea governmentMOST no. R01-2007-000-20053-0.

References

1 R. C. Bradley, “On the spectral density and asymptotic normality of weakly dependent random fields,” Journal of Theoretical Probability, vol. 5, no. 2, pp. 355–373, 1992.

2 W. Bryc and W. Smole ´nski, “Moment conditions for almost sure convergence of weakly correlated random variables,” Proceedings of the American Mathematical Society, vol. 119, no. 2, pp. 629–635, 1993.

3 M. Peligrad and A. Gut, “Almost-sure results for a class of dependent random variables,” Journal of Theoretical Probability, vol. 12, no. 1, pp. 87–104, 1999.

4 S. Utev and M. Peligrad, “Maximal inequalities and an invariance principle for a class of weakly dependent random variables,” Journal of Theoretical Probability, vol. 16, no. 1, pp. 101–115, 2003.

5 S. Gan, “Almost sure convergence forρ-mixing random variable sequences,” Statistics & Probability Letters, vol. 67, no. 4, pp. 289–298, 2004.

6 A. Kuczmaszewska, “On Chung-Teicher type strong law of large numbers forρ-mixing random variables,” Discrete Dynamics in Nature and Society, vol. 2008, Article ID 140548, 10 pages, 2008.

7 Q. Wu and Y. Jiang, “Some strong limit theorems forρ-mixing sequences of random variables,”

Statistics & Probability Letters, vol. 78, no. 8, pp. 1017–1023, 2008.

8 J. An and D. Yuan, “Complete convergence of weighted sums forρ-mixing sequence of random variables,” Statistics & Probability Letters, vol. 78, no. 12, pp. 1466–1472, 2008.

9 G.-H. Cai, “Strong law of large numbers forρ-mixing sequences with different distributions,”

Discrete Dynamics in Nature and Society, vol. 2006, Article ID 27648, 7 pages, 2006.

10 A. Kuczmaszewska, “On complete convergence for arrays of rowwise dependent random variables,”

Statistics & Probability Letters, vol. 77, no. 11, pp. 1050–1060, 2007.

11 M.-H. Zhu, “Strong laws of large numbers for arrays of rowwiseρ-mixing random variables,”

Discrete Dynamics in Nature and Society, vol. 2007, Article ID 74296, 6 pages, 2007.

12 P. L. Hsu and H. Robbins, “Complete convergence and the law of large numbers,” Proceedings of the National Academy of Sciences of the United States of America, vol. 33, pp. 25–31, 1947.

13 P. Erd ¨os, “On a theorem of Hsu and Robbins,” Annals of Mathematical Statistics, vol. 20, pp. 286–291, 1949.

14 L. E. Baum and M. Katz, “Convergence rates in the law of large numbers,” Transactions of the American Mathematical Society, vol. 120, pp. 108–123, 1965.

参照

関連したドキュメント

With respect to products of random variables, see Sakamoto [24] for uniform family, Harter [8] and Wallgren [30] for Student’s t family, Springer and Thompson [26] for normal

respect to products of random variables, see Sakamoto [22] for uniform family, Harter [7] and Wallgren [28] for Student’s t family, Springer and Thompson [24] for normal family,

With respect to products of random variables, see Sakamoto [24] for uniform family, Harter [8] and Wallgren [30] for Student’s t family, Springer and Thompson [26] for normal

With respect to products of random variables, see Sakamoto [24] for uniform family, Harter [8] and Wallgren [30] for Student’s t family, Springer and Thompson [26] for normal

Qiying (1995) and Aaronson, Burton, Dehling, Gilat, Hill, and Weiss (1996) studied the law of large numbers for U–statistics for stationary sequences of dependent

SOME RESULTS ON CONVERGENCE RATES FOR PROBABILITIES OF MODERATE DEVIATIONS FOR SUMS OF RANDOM VARIABLES..

Along the way, we prove a number of interesting results concerning elliptic random matrices whose entries have finite fourth moment; these results include a bound on the least

Thanh and Anh [11] established a strong law of large numbers for blockwise and pairwise m-dependent ran- dom variables which extends the result of Thanh [8] to the arbitrary blocks