A Strong Law of Large Numbers for Weighted Sums of iid Random

Hindawi Publishing Corporation
Journal of Applied Mathematics
Volume 2014, Article ID 412758, 5 pages
http://dx.doi.org/10.1155/2014/412758
Research Article
A Strong Law of Large Numbers for Weighted Sums of
i.i.d. Random Variables under Capacities
Defei Zhang and Ping He
School of Mathematics, Honghe University, Mengzi 661199, China
Correspondence should be addressed to Ping He; [email protected]
Received 16 February 2014; Accepted 3 June 2014; Published 16 June 2014
Academic Editor: Abdel-Maksoud A. Soliman
Copyright © 2014 D. Zhang and P. He. 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.
With the notion of independent identically distributed (i.i.d.) random variables under sublinear expectations initiated by Peng,
a strong law of large numbers for weighted sums of i.i.d. random variables under capacities induced by sublinear expectations is
obtained.
1. Introduction
The strong law of large numbers plays important role in
the development of probability theory and mathematical
statistics; many studies about the extension of it have been
completed by many authors. For example, Chow and Lai
[1], Stout [2], Choi and Sung [3], Cuzick [4], Rosalsky and
Sreehari [5], Wu [6], Bai and Cheng [7], Bai et al. [8], and
so forth investigated the almost sure limiting behavior of
weighted sums of i.i.d. random variables. In fact, the additivity of probability and expectations is not reasonable in many
areas of applications because many uncertain phenomena
cannot be well modeled using additive probabilities or linear
expectations (see, e.g., Chen and Epstein [9], Huber and
Strassen [10], and Wakker [11]). In the case of nonadditive
probabilities, Marinacci [12] proved several limit laws for
nonadditive probabilities and Maccheroni and Marinacci [13]
obtained a strong law of large numbers for totally monotone
capacities.
Recently, motivated by the risk measures, superhedge
pricing, and modelling uncertainty in finance, Peng [14]
introduced the notion of sublinear expectation space, which
is a generalization of probability space. Together with the
notion of sublinear expectation, Peng also introduced the
notions about i.i.d., 𝐺-normal distribution, and 𝐺-Brownian
motion. Under this framework, the weak law of large numbers and the central limit theorems under sublinear expectations were obtained in the studies by Peng in [15, 16]. Soon
thereafter, Denis et al. [17] introduced the function spaces
and capacity related to a sublinear expectation. Chen et al.
[18] proved a strong law of large numbers for nonadditive
probabilities.
A natural question is the following: can we investigate
strong laws of large numbers for weighted sums of random
variables under capacities? Indeed, the goal of this paper is
to discuss the strong laws of large numbers for weighted
sums of i.i.d. random variables under capacities. Under some
assumptions, we obtain a strong law of large numbers for
weighted sums of i.i.d. random variables under capacities.
The paper is organized as follows: in Section 2, we give
some definitions and lemmas that are useful in this paper. In
Section 3, we give our main results including the proofs.
2. Preliminaries
In this section, we present some preliminaries in the theory
of sublinear expectations and capacities. More details of this
section can be found in the studies by Chen et al. [18] and
Peng [19].
Let (Ξ©, F) be a measurable space, and let H be the set of
random variables on (Ξ©, F).
Μ‚ is a functional E
Μ‚ :
Definition 1. A sublinear expectation E
H β†’ 𝑅 satisfying the following:
Μ‚
Μ‚
(i) monotonicity: E[𝑋]
β‰₯ E[π‘Œ]
if 𝑋 β‰₯ π‘Œ;
Μ‚
(ii) constant preserving: E[𝐢]
= 𝐢 for 𝐢 ∈ 𝑅;
2
Journal of Applied Mathematics
Μ‚ + π‘Œ] ≀ E[𝑋]
Μ‚
Μ‚
(iii) subadditivity: E[𝑋
+ E[π‘Œ];
Μ‚
Μ‚
(iv) positive homogeneity: E[πœ†π‘‹]
= πœ†E[𝑋]
for πœ† β‰₯ 0.
Artzner et al. [20] showed that a sublinear expectation can
be expressed as a supremum of linear expectations. That is, if
Μ‚ is a sublinear expectation on H, then there exists a set (say
E
P) of probability measures such that
Μ‚ [𝑋] = sup 𝐸𝑃 [𝑋] ,
E
Μ‚ [βˆ’π‘‹] = inf 𝐸𝑃 [𝑋] ,
βˆ’E
π‘ƒβˆˆP
π‘ƒβˆˆP
βˆ€π‘‹ ∈ H.
(1)
For this P, following Huber and Strassen [10], we define a
pair (𝐢, 𝐢) of capacities denoted by
𝐢 (𝐴) := sup 𝑃(𝐴) ,
𝐢 (𝐴) := inf 𝑃(𝐴) ,
π‘ƒβˆˆP
π‘ƒβˆˆP
βˆ€π΄ ∈ F. (2)
𝐢 (𝑋 ∈ 𝐷, π‘Œ ∈ 𝐺) = 𝐢 (𝑋 ∈ 𝐷) 𝐢 (π‘Œ ∈ 𝐺)
holds for both capacities 𝐢 and 𝐢.
Borel-Cantelli lemma is still true for capacities 𝐢 and 𝐢
under some assumptions.
Lemma 6 (see Chen et al. [18]). Let {𝐴 𝑛 , 𝑛 β‰₯ 1} be a sequence
of events in F.
∞
∞
(1) If βˆ‘βˆž
𝑛=1 𝐢(𝐴 𝑛 ) < ∞, then 𝐢(⋂𝑛=1 ⋃𝑖=𝑛 𝐴 𝑖 ) = 0.
(3)
where 𝐴 is the complement set of 𝐴.
It is easy to check that 𝐢 and 𝐢 are two continuous
capacities in the sense of the following definition.
Definition 2. A set function 𝐢: F β†’ [0, 1] is called a continuous capacity if it satisfies
(1) 𝐢(πœ™) = 0, 𝐢(Ξ©) = 1;
𝑖=1
𝑖=1
(7)
∞
∞
If βˆ‘βˆž
𝑛=1 𝐢(𝐴 𝑛 ) = ∞, then 𝐢(⋂𝑛=1 ⋃𝑖=𝑛 𝐴 𝑖 ) = 1.
3. Main Results
Theorem 7. Let {𝑋𝑖 , 𝑖 β‰₯ 1} be a sequence of i.i.d. random
Μ‚ 1 ], πœ‡ = βˆ’E[βˆ’π‘‹
Μ‚
variables in H satisfying πœ‡ = E[𝑋
1 ] and for
any β„Ž, π‘Ÿ > 0
(3) 𝐢(𝐴 𝑛 ) ↑ 𝐢(𝐴), if 𝐴 𝑛 ↑ 𝐴;
(4) 𝐢(𝐴 𝑛 ) ↓ 𝐢(𝐴), if 𝐴 𝑛 ↓ 𝐴, where 𝐴 𝑛 , 𝐴 ∈ F.
π‘Ÿ
Μ‚ [𝑒(β„Ž|𝑋𝑖 | ) ] < ∞.
E
Definition 3 (see Peng [19]).
Identical Distribution. Let 𝑋1 and 𝑋2 be two 𝑛-dimensional
random vectors in H. They are called identically distributed,
𝑑
denoted by 𝑋1 = 𝑋2 , if, for each measurable function πœ‘ on
𝑅𝑛 such that πœ‘(𝑋1 ), πœ‘(𝑋2 ) ∈ H, one has
(5)
Remark 4. A sequence of random variables {𝑋𝑖 , 𝑖 β‰₯ 1} is
said to be i.i.d., if 𝑋𝑖 = 𝑋1 and 𝑋𝑖+1 is independent of π‘Œ :=
(𝑋1 , . . . , 𝑋𝑖 ) for each 𝑖 β‰₯ 1.
The following lemma shows the relation between Peng’s
independence and pairwise independence in the study by
Marinacci in [12].
(8)
Let {π‘Žπ‘›π‘– , 1 ≀ 𝑖 ≀ 𝑛, 𝑛 β‰₯ 1} be an array of constants satisfying
𝐴 𝛼 = lim sup𝐴 𝛼,𝑛 < ∞,
π‘›β†’βˆž
𝐴𝛼𝛼,𝑛 =
(4)
Independence. A random vector π‘Œ := (π‘Œ1 , . . . , π‘Œπ‘› ), π‘Œπ‘– ∈ H,
is said to be independent of another random vector 𝑋 :=
Μ‚ if, for each measurable
(𝑋1 , . . . , π‘‹π‘š ), 𝑋𝑖 ∈ H, under E
function πœ‘ on π‘…π‘š × π‘…π‘› with πœ‘(𝑋, π‘Œ) ∈ H and πœ‘(π‘₯, π‘Œ) ∈ H
for each π‘₯ ∈ π‘…π‘š , one has
𝑑
∞
In this section, we give our main results including the proofs.
(2) 𝐢(𝐴) ≀ 𝐢(𝐡), whenever 𝐴 βŠ‚ 𝐡 and 𝐴, 𝐡 ∈ F;
Μ‚ [πœ‘ (𝑋, π‘Œ)] = E
Μ‚ [E[πœ‘
Μ‚ (π‘₯, π‘Œ)] ] .
E
π‘₯=𝑋
∞
𝐢 (⋂𝐴𝑐𝑖 ) = ∏𝐢 (𝐴𝑐𝑖 ) .
𝑐
Μ‚ [πœ‘ (𝑋1 )] = E
Μ‚ [πœ‘ (𝑋2 )] .
E
(6)
(2) Suppose that {𝐴 𝑛 , 𝑛 β‰₯ 1} are pairwise independent
with respect to 𝐢; that is,
Obviously,
𝐢 (𝐴) + 𝐢 (𝐴𝑐 ) = 1,
Lemma 5 (see Chen et al. [18]). Suppose that 𝑋, π‘Œ ∈ H are
Μ‚ is a sublinear expectation and (𝐢, 𝐢)
two random variables. E
Μ‚ If random variable 𝑋 is
is the pair of capacities induced by E.
Μ‚ then 𝑋 is also pairwise independent
independent of π‘Œ under E,
of π‘Œ under capacities 𝐢 and 𝐢; that is, for all subsets 𝐷 and
𝐺 βŠ‚ 𝑅,
󡄨 󡄨𝛼
βˆ‘π‘›π‘–=1 σ΅„¨σ΅„¨σ΅„¨π‘Žπ‘›π‘– 󡄨󡄨󡄨
,
𝑛
(9)
(1 < 𝛼 ≀ 2) .
Then, for 0 < π‘Ÿ ≀ 1, if
πœ‡ (1 βˆ’ lim sup
π‘›β†’βˆž
βˆ‘π‘›π‘–=1 π‘Žπ‘›π‘–
) β‰₯ 0,
𝑏𝑛
(10)
we have
𝐢 (πœ‡ ≀ lim inf
π‘›β†’βˆž
βˆ‘π‘›π‘–=1 π‘Žπ‘›π‘– 𝑋𝑖
𝑏𝑛
βˆ‘π‘› π‘Ž 𝑋
≀ lim sup 𝑖=1 𝑛𝑖 𝑖 ≀ πœ‡) = 1,
𝑏𝑛
π‘›β†’βˆž
where 𝑏𝑛 = 𝑛1/𝛼 log1/π‘Ÿ 𝑛.
(11)
Journal of Applied Mathematics
3
Moreover, for π‘Ÿ > 1, if πœ‡(1βˆ’lim sup𝑛 β†’ ∞ (βˆ‘π‘›π‘–=1 π‘Žπ‘›π‘– /𝑏𝑛 )) β‰₯ 0,
we have
βˆ‘π‘›π‘–=1 π‘Žπ‘›π‘– 𝑋𝑖
𝐢 (πœ‡ ≀ lim inf
π‘›β†’βˆž
𝑏𝑛
𝑛
𝐢 (lim supβˆ‘π‘Žπ‘›π‘– 𝑋𝑛𝑖 > πœ€) = 0 βˆ€πœ€ > 0.
𝑛 β†’ ∞ 𝑖=1
βˆ‘π‘› π‘Ž 𝑋
≀ lim sup 𝑖=1 𝑛𝑖 𝑖 ≀ πœ‡) = 1,
𝑏𝑛
π‘›β†’βˆž
(12)
(1+(π›Όβˆ’1)(π‘Ÿβˆ’1))/(1+𝛼(π‘Ÿβˆ’1))
1/𝛼
Using Lemma 6, we have
where 𝑏𝑛 = 𝑛 (log 𝑛)
.
In order to prove Theorem 7, we need the following lemma.
Lemma 8. Let {𝑋𝑖 , 𝑖 β‰₯ 1} be a sequence of i.i.d. random
variables satisfying (8), and let {π‘Žπ‘›π‘– , 1 ≀ 𝑖 ≀ 𝑛, 𝑛 β‰₯ 1} be an
array of constants. Truncate |𝑋𝑖 βˆ’ πœ‡| at Ξ” 𝑛 and denote 𝑋𝑛𝑖 :=
(𝑋𝑖 βˆ’ πœ‡)𝐼{|𝑋𝑖 βˆ’πœ‡|≀Δ 𝑛 } . Suppose that the following conditions hold:
(1) |π‘Žπ‘›π‘– 𝑋𝑛𝑖 | ≀ 𝐢|𝑋𝑖 |𝛽 / log 𝑛 π‘Ž.𝑠. 𝐢, for some 0 < 𝛽 ≀ π‘Ÿ
and some constant 𝐢 > 0;
2
2
βˆ‘π‘›π‘–=1 π‘Žπ‘›π‘–
≀ 𝑒𝑛 |𝑋𝑖 |𝛿 / log 𝑛 π‘Ž.𝑠. 𝐢, for some 𝛿 > 0
(2) 𝑋𝑛𝑖
and some sequence {𝑒𝑛 } of constants such that 𝑒𝑛 β†’ 0.
The proof is complete.
Proof of Theorem 7. The proof of (11) is similar to that of
σΈ€ 
:= (𝑋𝑖 βˆ’
(12); we only prove (12). We denote 𝑋𝑛𝑖
σΈ€ σΈ€ 
σΈ€ σΈ€ σΈ€ 
πœ‡)𝐼{|𝑋𝑖 βˆ’πœ‡|≀(log 𝑛)𝛿1 } , 𝑋𝑛𝑖 := (𝑋𝑖 βˆ’ πœ‡)𝐼{|𝑋𝑖 βˆ’πœ‡|≀(log 𝑛)1/π‘Ÿ } , and 𝑋𝑛𝑖
:=
(𝑋𝑖 βˆ’ πœ‡)𝐼{(log 𝑛)𝛿1 ≀|𝑋𝑖 βˆ’πœ‡|≀(log 𝑛)1/π‘Ÿ } for 1 ≀ 𝑖 ≀ 𝑛 and 𝑛 β‰₯ 1,
σΈ€ 
where 𝛿1 = 1/(1 + 𝛼(π‘Ÿ βˆ’ 1)). Denote π‘Žπ‘›π‘–
:= π‘Žπ‘›π‘– 𝐼{|π‘Žπ‘›π‘– |≀𝑛1/𝛼 (log 𝑛)𝛿2 }
σΈ€ σΈ€ 
σΈ€ 
and π‘Žπ‘›π‘– := π‘Žπ‘›π‘– βˆ’ π‘Žπ‘›π‘– for 1 ≀ 𝑖 ≀ 𝑛 and 𝑛 β‰₯ 1, where
𝛿2 = (π‘Ÿ βˆ’ 1)/(1 + 𝛼(π‘Ÿ βˆ’ 1)). Then,
σΈ€ 
𝑛
σΈ€ 
βˆ‘π‘›π‘–=1 π‘Žπ‘›π‘– (𝑋𝑖 βˆ’ πœ‡) βˆ‘π‘–=1 π‘Žπ‘›π‘– 𝑋𝑛𝑖
βˆ‘π‘› π‘ŽσΈ€ σΈ€  𝑋󸀠
=
+ 𝑖=1 𝑛𝑖 𝑛𝑖
𝑏𝑛
𝑏𝑛
𝑏𝑛
+
Then,
𝑛 β†’ ∞ 𝑖=1
(13)
Proof. From the inequality 𝑒π‘₯ ≀ 1 + π‘₯ + (1/2)π‘₯2 𝑒|π‘₯| for all
π‘₯ ∈ 𝑅, we have
Μ‚ [𝑋2 𝑒𝑑|π‘Žπ‘›π‘– 𝑋𝑛𝑖 | ]
Μ‚ [π‘’π‘‘π‘Žπ‘›π‘– 𝑋𝑛𝑖 ] ≀ 1 + 1 𝑑2 π‘Ž2 E
E
𝑛𝑖
2 𝑛𝑖
(14)
for any 𝑑 > 0. Let πœ€ > 0 be given. We set 𝑑 = 2 log 𝑛/πœ€ and
obtain by (1) and (2) in Lemma 8 and (8) that
󡄨󡄨 βˆ’1 σΈ€  σΈ€  󡄨󡄨
󡄨󡄨𝑏𝑛 π‘Žπ‘›π‘– 𝑋𝑛𝑖 󡄨󡄨 ≀
󡄨
󡄨
𝑛
σΈ€ 2
σΈ€ 2
𝑋𝑛𝑖
≀
βˆ‘π‘π‘›βˆ’2 π‘Žπ‘›π‘–
𝑖=1
≀
2
𝛽
2𝑒𝑛 log 𝑛 π‘Žπ‘›π‘–
Μ‚ [󡄨󡄨󡄨𝑋𝑖 󡄨󡄨󡄨𝛿 𝑒(2/πœ€)𝐢|𝑋𝑖 | ]
E
𝑛
󡄨
󡄨
2
2
πœ€
βˆ‘π‘–=1 π‘Žπ‘›π‘–
2
𝛽
2𝐢 𝑒 log 𝑛 π‘Žπ‘›π‘–
Μ‚ [𝑒𝐢(πœ€)|𝑋𝑖 | ]
E
≀ 1 + 1 𝑛2
𝑛
2
πœ€
βˆ‘π‘–=1 π‘Žπ‘›π‘–
󡄨 󡄨𝛼
𝑛(2βˆ’π›Ό)/𝛼 βˆ‘π‘›π‘–=1 σ΅„¨σ΅„¨σ΅„¨π‘Žπ‘›π‘– 󡄨󡄨󡄨
(2βˆ’π›Ό)𝛿2
𝑏𝑛2 (log 𝑛)
(2+𝛼(π‘Ÿβˆ’1))/(1+𝛼(π‘Ÿβˆ’1))
(log 𝑛)
(19)
𝑋𝑖2
𝐡𝑛 ≀
]
󡄨 󡄨𝛼
× βˆ‘σ΅„¨σ΅„¨σ΅„¨π‘Žπ‘›π‘– 󡄨󡄨󡄨 = 𝐴𝛼𝛼,𝑛
= π‘›βˆ’3/2 .
a.s. 𝐢.
Namely,
𝐢 (lim sup𝐡𝑛 ≀ 𝐴𝛼𝛼,𝑛 ) = 1.
(16)
(21)
𝑖=1
π‘›β†’βˆž
2
log 𝑛 π‘Žπ‘›π‘–
1 𝑛
exp
{
}
∏
2
𝑛2 𝑖=1
2 βˆ‘π‘›π‘–=1 π‘Žπ‘›π‘–
(20)
(1+(π›Όβˆ’1)(π‘Ÿβˆ’1))/(1+𝛼(π‘Ÿβˆ’1))
(log) 1 𝑛 󡄨󡄨 σΈ€ σΈ€  󡄨󡄨 (log 𝑛)
βˆ‘ σ΅„¨σ΅„¨π‘Ž 󡄨󡄨 ≀
𝑏𝑛 𝑖=1 󡄨 𝑛𝑖 󡄨
𝑏𝑛 𝑛(π›Όβˆ’1)/𝛼
𝑛
𝑖=1
≀
a.s. 𝐢.
For 𝐡𝑛 , we observe that
for all large 𝑛. For the large 𝑛, it follows by the Markov
inequality and (15) that
Μ‚ [𝑒
𝐢 (βˆ‘π‘Žπ‘›π‘– 𝑋𝑛𝑖 > πœ€) ≀ π‘’βˆ’π‘‘πœ€ E
σΈ€ 2
𝑋𝑛𝑖
𝐴𝛼𝛼,𝑛
𝛿
𝑑 βˆ‘π‘›π‘–=1 π‘Žπ‘›π‘– 𝑋𝑛𝑖
a.s. 𝐢,
πœ€
𝐢 (lim sup𝐴 𝑛 > ) = 0 βˆ€πœ€ > 0.
2
π‘›β†’βˆž
(15)
2
log 𝑛 π‘Žπ‘›π‘–
}
𝑛
2
2 βˆ‘π‘–=1 π‘Žπ‘›π‘–
𝑛
󡄨 󡄨
󡄨󡄨 󡄨󡄨 󡄨󡄨󡄨𝑋𝑖 󡄨󡄨󡄨
𝑋
=
󡄨
󡄨
𝑖
󡄨
󡄨
𝛿
log 𝑛
𝑏𝑛 (log 𝑛) 2
𝑛1/𝛼
Hence, by Lemma 8, we have
2
log 𝑛 π‘Žπ‘›π‘–
≀1+
2
2 βˆ‘π‘›π‘–=1 π‘Žπ‘›π‘–
≀ exp {
(18)
For 𝐴 𝑛 , we will apply Lemma 8 to the random variable
σΈ€ 
σΈ€ 
𝑋𝑛𝑖
and weight π‘π‘›βˆ’1 π‘Žπ‘›π‘–
. Note that
2
Μ‚ [π‘’π‘‘π‘Žπ‘›π‘– 𝑋𝑛𝑖 ] ≀ 1 + 2log 𝑛 π‘Ž2 E
Μ‚ 2 𝑑|π‘Žπ‘›π‘– 𝑋𝑛𝑖 | ]
E
𝑛𝑖 [𝑋𝑛𝑖 𝑒
πœ€2
≀1+
σΈ€ σΈ€ σΈ€ 
βˆ‘π‘›π‘–=1 π‘Žπ‘›π‘– 𝑋𝑛𝑖
βˆ‘π‘› π‘Ž 𝑋󸀠󸀠
+ 𝑖=1 𝑛𝑖 𝑛𝑖
𝑏𝑛
𝑏𝑛
:= 𝐴 𝑛 + 𝐡𝑛 + 𝐢𝑛 + 𝐷𝑛 .
𝑛
𝐢 (lim supβˆ‘π‘Žπ‘›π‘– 𝑋𝑛𝑖 > πœ€) = 0 βˆ€πœ€ > 0.
(17)
(22)
By replacing 𝑋𝑖 by πœƒπ‘‹π‘– (πœƒ > 0), we have
lim sup𝐡𝑛 ≀
π‘›β†’βˆž
𝐴𝛼𝛼,𝑛
πœƒ
a.s. 𝐢.
(23)
4
Journal of Applied Mathematics
Letting πœƒ β†’ ∞, we have
which implies
𝐢 (lim sup𝐡𝑛 ≀ 0) = 1.
(24)
π‘›β†’βˆž
󡄨󡄨 π‘Ž 𝑋󸀠󸀠󸀠 󡄨󡄨 𝐴
󡄨󡄨 𝑛𝑖 𝑛𝑖 󡄨󡄨
𝛼,𝑛 󡄨󡄨 σ΅„¨σ΅„¨π‘Ÿ
󡄨󡄨
󡄨
󡄨󡄨 𝑏𝑛 󡄨󡄨󡄨 ≀ log 𝑛 󡄨󡄨𝑋𝑖 󡄨󡄨
󡄨
󡄨
≀
βˆ‘π‘›π‘–=1 π‘Žπ‘›π‘– 𝑋𝑖
> πœ‡) = 0.
𝑏𝑛
(31)
𝐢 (lim sup
βˆ‘π‘›π‘–=1 π‘Žπ‘›π‘– 𝑋𝑖
≀ πœ‡) = 1.
𝑏𝑛
(32)
π‘›β†’βˆž
For 𝐢𝑛 , note that
σΈ€ σΈ€ σΈ€ 2 𝑛
2
𝑋𝑛𝑖
βˆ‘π‘–=1 π‘Žπ‘›π‘–
2
𝑏𝑛
𝐢 (lim sup
𝐴2𝛼,𝑛
2
log 𝑛
Also,
a.s. 𝐢,
󡄨󡄨 󡄨󡄨2π‘Ÿ
󡄨󡄨𝑋𝑖 󡄨󡄨
(25)
a.s. 𝐢.
π‘›β†’βˆž
Similarly, considering the sequence {βˆ’π‘‹π‘– , 𝑖 β‰₯ 1}, from
(29), we have
Then, by Lemma 8, we have
πœ€
𝐢 (lim sup𝐢𝑛 > ) = 0 βˆ€πœ€ > 0.
2
π‘›β†’βˆž
(26)
For 𝐷𝑛 , assumption (8) implies βˆ‘π‘›π‘–=1 𝐢(|𝑋𝑛 | > log1/π‘Ÿ ) <
σΈ€ σΈ€ 
| is bounded a.s. 𝐢. It
∞. Hence, by Lemma 6, βˆ‘π‘›π‘–=1 |𝑋𝑛𝑖
follows that
󡄨 σΈ€ σΈ€  󡄨󡄨
󡄨 󡄨
󡄨󡄨
βˆ‘π‘›π‘–=1 σ΅„¨σ΅„¨σ΅„¨π‘Žπ‘›π‘– 󡄨󡄨󡄨 βˆ‘π‘›π‘–=1 󡄨󡄨󡄨󡄨𝑋𝑛𝑖
󡄨
𝐷𝑛 ≀
𝑏𝑛
≀
𝐴 𝛼,𝑛
(1+(π›Όβˆ’1)(π‘Ÿβˆ’1))/(1+𝛼(π‘Ÿβˆ’1))
(log 𝑛)
(27)
𝑛
󡄨 σΈ€ σΈ€  󡄨󡄨
󡄨󡄨 󳨀→ 0 a.s. 𝐢
× βˆ‘ 󡄨󡄨󡄨󡄨𝑋𝑛𝑖
󡄨
𝐢 (lim sup
π‘›β†’βˆž
βˆ‘π‘›π‘–=1 π‘Žπ‘›π‘– (βˆ’π‘‹π‘– )
Μ‚ [βˆ’π‘‹1 ]) = 1.
≀E
𝑏𝑛
Μ‚
Note that πœ‡ = βˆ’E[βˆ’π‘‹
1 ]. So
𝐢 (lim sup
π‘›β†’βˆž
βˆ‘π‘›π‘–=1 π‘Žπ‘›π‘– 𝑋𝑖
β‰₯ πœ‡) = 1.
𝑏𝑛
(34)
Therefore, the proof of Theorem 7 is complete.
The following theorem shows that if the norming constant
𝑏𝑛 is stronger than that of Theorem 7, then condition (8) in
Theorem 7 can be replaced by a weaker condition.
Theorem 9. Let {𝑋𝑖 , 𝑖 β‰₯ 1} be a sequence of i.i.d. random
Μ‚ 1 ], πœ‡ = βˆ’E[βˆ’π‘‹
Μ‚
variables in H satisfying πœ‡ = E[𝑋
1 ] and for
some β„Ž, π‘Ÿ > 0
𝑖=1
as 𝑛 β†’ ∞.
Thus,
π‘Ÿ
𝐢 (lim sup𝐷𝑛 ≀ 0) = 1.
π‘›β†’βˆž
(28)
π‘›β†’βˆž
βˆ‘π‘›π‘–=1 π‘Žπ‘›π‘– 𝑋𝑖
β‰₯ πœ‡ + πœ€)
𝑏𝑛
≀ 𝐢 (lim sup
π‘›β†’βˆž
𝐢 (πœ‡ ≀ lim sup
βˆ‘π‘›π‘–=1 π‘Žπ‘›π‘–
(𝑋𝑖 βˆ’ πœ‡)
𝑏𝑛
β‰₯ πœ‡ (1 βˆ’ lim sup
π‘›β†’βˆž
βˆ‘π‘›π‘–=1 π‘Žπ‘›π‘–
) + πœ€)
𝑏𝑛
π‘›β†’βˆž
(29)
π‘›β†’βˆž
π‘›β†’βˆž
βˆ‘π‘›π‘–=1 π‘Žπ‘›π‘–
) + πœ€) ,
𝑏𝑛
π‘›β†’βˆž
βˆ‘π‘›π‘–=1 π‘Žπ‘›π‘– 𝑋𝑖
β‰₯ πœ‡ + πœ€) = 0 βˆ€πœ€ > 0,
𝑏𝑛
βˆ‘π‘› π‘Ž 𝑋
≀ lim sup 𝑖=1 𝑛𝑖 𝑖 ≀ πœ‡) = 1,
𝑏𝑛
π‘›β†’βˆž
𝐢 (πœ‡ ≀ lim sup
and the condition πœ‡(1 βˆ’ lim sup𝑛 β†’ ∞ βˆ‘π‘›π‘–=1 π‘Žπ‘›π‘– /𝑏𝑛 ) β‰₯ 0: from
(20), (24), (26), and (28), we conclude that
𝐢 (lim sup
(35)
βˆ‘π‘›π‘–=1 π‘Žπ‘›π‘– 𝑋𝑖
𝑏𝑛
where 𝑏𝑛 = 𝑛1/𝛼 (log 𝑛)1/π‘Ÿ+𝛽 .
Moreover, for π‘Ÿ > 1 and 𝛽
lim sup𝑛 β†’ ∞ (βˆ‘π‘›π‘–=1 π‘Žπ‘›π‘– /𝑏𝑛 )) β‰₯ 0, we have
= 𝐢 (lim sup (𝐴 𝑛 + 𝐡𝑛 + 𝐢𝑛 + 𝐷𝑛 )
β‰₯ πœ‡ (1 βˆ’ lim sup
Μ‚ [𝑒(β„Ž|𝑋𝑖 | ) ] < ∞.
E
Let {π‘Žπ‘›π‘– , 1 ≀ 𝑖 ≀ 𝑛, 𝑛 β‰₯ 1} be an array of constants satisfying
(9) in Theorem 7. Then, for 0 < π‘Ÿ ≀ 1 and 𝛽 > 0, if πœ‡(1 βˆ’
lim sup𝑛 β†’ ∞ (βˆ‘π‘›π‘–=1 π‘Žπ‘›π‘– /𝑏𝑛 )) β‰₯ 0, we have
On the other hand, βˆ€πœ€ > 0; and we note that
𝐢 (lim sup
(33)
(30)
π‘›β†’βˆž
>
0, if πœ‡(1 βˆ’
βˆ‘π‘›π‘–=1 π‘Žπ‘›π‘– 𝑋𝑖
𝑏𝑛
βˆ‘π‘› π‘Ž 𝑋
≀ lim sup 𝑖=1 𝑛𝑖 𝑖 ≀ πœ‡) = 1,
𝑏𝑛
π‘›β†’βˆž
where 𝑏𝑛 = 𝑛1/𝛼 (log 𝑛)(1+(π›Όβˆ’1)(π‘Ÿβˆ’1))/(1+𝛼(π‘Ÿβˆ’1))+𝛽 .
(36)
(37)
Journal of Applied Mathematics
5
Proof. We can prove that Lemma 8 is also true except that (8)
and (1) of Lemma 8 are replaced by (35) and the following
condition.
|π‘Žπ‘›π‘– 𝑋𝑛𝑖 | ≀ V𝑛 |𝑋𝑖 |𝛽 / log 𝑛 a.s. 𝐢, for some 0 < 𝛽 ≀ π‘Ÿ and
some sequence {V𝑛 } of constants such that V𝑛 β†’ 0.
σΈ€ 
= 𝑋𝑖 𝐼{|𝑋𝑖 |≀(β„Žβˆ’1 log 𝑛)1/π‘Ÿ } and
For the case 0 < π‘Ÿ ≀ 1, we let 𝑋𝑛𝑖
σΈ€ σΈ€ 
σΈ€ 
𝑋𝑛𝑖 = 𝑋𝑖 βˆ’ 𝑋𝑛𝑖 for 1 ≀ 𝑖 ≀ 𝑛 and 𝑛 β‰₯ 1. For the case π‘Ÿ > 1, we
σΈ€ 
σΈ€ σΈ€ 
let 𝑋𝑛𝑖
= 𝑋𝑖 𝐼{|𝑋𝑖 |≀(log 𝑛)1/(1+𝛼(π‘Ÿβˆ’1)) } , 𝑋𝑛𝑖
= 𝑋𝑖 𝐼{|𝑋𝑖 |>β„Žβˆ’1 log1/π‘Ÿ 𝑛} , and
σΈ€ σΈ€ σΈ€ 
𝑋𝑛𝑖 = 𝑋𝑖 𝐼{(log 𝑛)1/(1+𝛼(π‘Ÿβˆ’1)) <|𝑋𝑖 |≀(β„Žβˆ’1 log 𝑛)1/π‘Ÿ } . The rest of the proof
is similar to that of Theorem 7 and is omitted.
Remark 10. If πœ‡ = πœ‡ = 0 in Theorem 9, then, for 0 < π‘Ÿ ≀ 1
and 𝛽 > 0, we have
βˆ‘π‘›π‘–=1 π‘Žπ‘›π‘– 𝑋𝑖
󳨀→ 0 a.s.,
𝑏𝑛
(38)
where 𝑏𝑛 = 𝑛1/𝛼 (log 𝑛)1/π‘Ÿ+𝛽 . Moreover, if π‘Ÿ > 1, we have
βˆ‘π‘›π‘–=1 π‘Žπ‘›π‘– 𝑋𝑖
󳨀→ 0 a.s.,
𝑏𝑛
(39)
where 𝑏𝑛 = 𝑛1/𝛼 (log 𝑛)(1+(π›Όβˆ’1)(π‘Ÿβˆ’1))/(1+𝛼(π‘Ÿβˆ’1))+𝛽 . Since if 𝛼 > 1
and π‘Ÿ β‰₯ 1, then π‘Ÿ(𝛼 βˆ’ 1)/𝛼(1 + π‘Ÿ) > 0 and (1 + (𝛼 βˆ’ 1)(π‘Ÿ βˆ’
1))/(1 + 𝛼(π‘Ÿ βˆ’ 1)) < 1/π‘Ÿ + π‘Ÿ(𝛼 βˆ’ 1)/𝛼(1 + π‘Ÿ), we also have
βˆ‘π‘›π‘–=1 π‘Žπ‘›π‘– 𝑋𝑖
󳨀→ 0 a.s.,
𝑏𝑛
(40)
where 𝑏𝑛 = 𝑛1/𝛼 (log 𝑛)1/π‘Ÿ+π‘Ÿ(π›Όβˆ’1)/𝛼(1+π‘Ÿ) . The result is similar to
Theorem 2.2 of Bai and Cheng [7].
Remark 11. If πœ‡ = πœ‡ = 0 in Theorem 7, we can get the
classical strong law of large numbers for weighted sums of
i.i.d. random variables as follows:
βˆ‘π‘›π‘–=1 π‘Žπ‘›π‘– 𝑋𝑖
= 0) = 1.
π‘›β†’βˆž
𝑏𝑛
𝑃 ( lim
(41)
Conflict of Interests
The authors declare that there is no conflict of interests
regarding the publication of this paper.
Acknowledgments
The authors thank Professor Zengjing Chen for his helpful discussion and suggestions and the reviewers for their
valuable comments and suggestions to improve the presentation of this paper. This work is partially supported
by the National Science Foundation of China (11301160),
the Scientific Research Foundation of Yunnan Province
(2013FZ116), the Scientific Research Foundation of Yunnan
Province Education Committee (2011C120), the Reserve Talents Foundation of Honghe University (2014HB0204), and
the Curricula Construction Foundations of Honghe University (ZYDT1308, ZDKC1111).
References
[1] Y. S. Chow and T. L. Lai, β€œLimiting behavior of weighted sums
of independent random variables,” Annals of Probability, vol. 1,
no. 5, pp. 810–824, 1973.
[2] W. F. Stout, Almost Sure Convergence, Academic Press, New
York, NY, USA, 2nd edition, 1974.
[3] B. D. Choi and S. H. Sung, β€œAlmost sure convergence theorems
of weighted sums of random variables,” Stochastic Analysis and
Applications, vol. 5, no. 4, pp. 365–377, 1987.
[4] J. Cuzick, β€œA strong law for weighted sums of i.i.d. random
variables,” Journal of Theoretical Probability, vol. 8, no. 3, pp.
625–641, 1995.
[5] A. Rosalsky and M. Sreehari, β€œOn the limiting behavior of randomly weighted partial sums,” Statistics & Probability Letters,
vol. 40, no. 4, pp. 403–410, 1998.
[6] W. B. Wu, β€œOn the strong convergence of a weighted sum,”
Statistics & Probability Letters, vol. 44, no. 1, pp. 19–22, 1999.
[7] Z. D. Bai and P. E. Cheng, β€œMarcinkiewicz strong laws for linear
statistics,” Statistics & Probability Letters, vol. 46, no. 2, pp. 105–
112, 2000.
[8] Z. D. Bai, P. E. Cheng, and C. H. Zhang, β€œAn extension of the
Hardy-Littlewood strong law,” Statistica Sinica, vol. 7, no. 4, pp.
923–928, 1997.
[9] Z. Chen and L. Epstein, β€œAmbiguity, risk, and asset returns in
continuous time,” Econometrica, vol. 70, no. 4, pp. 1403–1443,
2002.
[10] P. Huber and V. Strassen, β€œMinimax tests and the NeymanPearson Lemma for capacities,” The Annals of Statistics, vol. 1,
no. 2, pp. 251–263, 1973.
[11] P. Wakker, β€œTesting and characterizing properties of nonadditive measures through violations of the sure-thing principle,”
Econometrica, vol. 69, no. 4, pp. 1039–1059, 2001.
[12] M. Marinacci, β€œLimit laws for non-additive probabilities and
their frequentist interpretation,” Journal of Economic Theory,
vol. 84, no. 2, pp. 145–195, 1999.
[13] F. Maccheroni and M. Marinacci, β€œA strong law of large numbers
for capacities,” The Annals of Probability, vol. 33, no. 3, pp. 1171–
1178, 2005.
[14] S. Peng, β€œG-Expectation, G-Brownian motion and related
stochastic calculus of ItoΜ‚ type,” in Stochastic Analysis and
Applications: The Abel Symposium 2005, vol. 2 of Abel Symposia,
pp. 541–567, Springer, Berlin, Germany, 2007.
[15] S. Peng, β€œLaw of large numbers and central limit theorem under nonlinear expectations,” In press, http://arxiv.org/
abs/math/0702358.
[16] S. Peng, β€œA new central limit theorem under sublinear expectations,” In press, http://arxiv.org/abs/0803.2656.
[17] L. Denis, M. Hu, and S. Peng, β€œFunction spaces and capacity
related to a sublinear expectation: application to G-Brownian
motion paths,” Potential Analysis, vol. 34, no. 2, pp. 139–161, 2011.
[18] Z. Chen, P. Wu, and B. Li, β€œA strong law of large numbers for
non-additive probabilities,” International Journal of Approximate Reasoning, vol. 54, no. 3, pp. 365–377, 2013.
[19] S. Peng, β€œNonlinear expectationsand stochastic calculus under
uncertainty-with robust central limit theorem and G-Brownian
motion,” In press, http://arxiv.org/abs/1002.4546.
[20] P. Artzner, F. Delbaen, J. Eber, and D. Heath, β€œThinking coherently,” Risk, vol. 10, no. 1, pp. 68–71, 1997.
Advances in
Operations Research
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Advances in
Decision Sciences
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Journal of
Applied Mathematics
Algebra
Hindawi Publishing Corporation
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Journal of
Probability and Statistics
Volume 2014
The Scientific
World Journal
Hindawi Publishing Corporation
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
International Journal of
Differential Equations
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Volume 2014
Submit your manuscripts at
http://www.hindawi.com
International Journal of
Advances in
Combinatorics
Hindawi Publishing Corporation
http://www.hindawi.com
Mathematical Physics
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Journal of
Complex Analysis
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
International
Journal of
Mathematics and
Mathematical
Sciences
Mathematical Problems
in Engineering
Journal of
Mathematics
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Discrete Mathematics
Journal of
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Discrete Dynamics in
Nature and Society
Journal of
Function Spaces
Hindawi Publishing Corporation
http://www.hindawi.com
Abstract and
Applied Analysis
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
International Journal of
Journal of
Stochastic Analysis
Optimization
Hindawi Publishing Corporation
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Volume 2014