Skip to main content

Complete moment convergence for maximal partial sums under NOD setup

Abstract

The sufficient and necessary conditions of complete moment convergence for negatively orthant dependent (NOD) random variables are obtained, which improve and extend the well-known results.

1 Introduction

The concept of complete convergence of a sequence of random variables was introduced by Hsu and Robbins [1] as follows. A sequence \(\{U_{n}, n\ge1\}\) of random variables converges completely to the constant θ if

$$\sum_{n=1}^{\infty}P\bigl(|U_{n}-\theta|> \varepsilon \bigr)< \infty \quad\mbox{for all } \varepsilon > 0. $$

Moreover, they proved that the sequence of arithmetic means of independent and identically distributed (i.i.d.) random variables converges completely to the expected value if the variance of the summands is finite. This result has been generalized and extended in several directions, one can refer to [2–13] and so forth.

When \(\{X_{n},n\ge1\}\) is a sequence of i.i.d. random variables with mean zero, Chow [14] first investigated the complete moment convergence, which is more exact than complete convergence. He obtained the following result.

Theorem A

Let \(\{X_{n},n\ge1\}\) be a sequence of i.i.d. random variables with \(EX_{1}=0\). For \(1\le p <2\) and \(r>1\), if \(E\{|X_{1}|^{rp}+|X_{1}|\log(1+|X_{1}|)\} <\infty\), then

$$\sum_{n=1}^{\infty}n^{r-2-1/p}E \Biggl\{ \Biggl\vert \sum_{k=1}^{n} X_{k} \Biggr\vert -\varepsilon n^{1/p} \Biggr\} _{+} < \infty\quad\textit{for all } \varepsilon >0, $$

where (as in the following) \(x_{+}=\max\{0,x\}\).

Theorem A has been generalized and extended in several directions. One can refer to Wang and Su [15] and Chen [16] for random elements taking values in a Banach space, Wang and Zhao [17] for NA random variables, Chen et al. [5], Li and Zhang [18] for moving-average processes based on NA random variables, Chen and Wang [19] for φ-mixing random variables, Qiu and Chen [20] for weighted sums of arrays of rowwise NA random variables.

The aim of this paper is to extend and improve Theorem A to negatively orthant dependent (NOD) random variables. The sufficient and necessary conditions are obtained. In fact, the paper is the continued work of Qiu et al. [11] in which the complete convergence is obtained for NOD sequence. It is worth to point that Sung [21] has discussed the complete moment convergence for NOD, but the main result in our paper is more exact and the method is completely different.

The concepts of negatively associated (NA) and negatively orthant dependent (NOD) were introduced by Joag-Dev and Proschan [22] in the following way.

Definition 1.1

A finite family of random variables \(\{X_{i}, 1\le i\le n\}\) is said to be negatively associated (NA) if for every pair of disjoint nonempty subset \(A_{1}\), \(A_{2}\) of \(\{1,2,\ldots,n\}\),

$$\mathrm{Cov} \bigl(f_{1}(X_{i},i\in A_{1}), f_{2}(X_{j},j\in A_{2}) \bigr)\le0, $$

where \(f_{1}\) and \(f_{2}\) are coordinatewise nondecreasing such that the covariance exists. An infinite sequence of \(\{X_{n},n\ge1\} \) is NA if every finite subfamily is NA.

Definition 1.2

A finite family of random variables \(\{X_{i}, 1\le i\le n\}\) is said to be

  1. (a)

    negatively upper orthant dependent (NUOD) if

    $$P(X_{i}>x_{i},i=1,2,\ldots,n)\le\prod _{i=1}^{n}P(X_{i}>x_{i}) $$

    \(\forall x_{1},x_{2},\ldots,x_{n}\in R\),

  2. (b)

    negatively lower orthant dependent (NLOD) if

    $$P(X_{i}\le x_{i},i=1,2,\ldots,n)\le\prod _{i=1}^{n}P(X_{i}\le x_{i}) $$

    \(\forall x_{1},x_{2},\ldots,x_{n}\in R\),

  3. (c)

    negatively orthant dependent (NOD) if they are both NUOD and NLOD.

A sequence of random variables \(\{X_{n},n\ge1\}\) is said to be NOD if for each n, \(X_{1},X_{2},\ldots,X_{n}\) are NOD.

Obviously, every sequence of independent random variables is NOD. Joag-Dev and Proschan [22] pointed out NA implies NOD, neither NUOD nor NLOD implies being NA. They gave an example which possesses NOD, but does not possess NA. So we can see that NOD is strictly wider than NA. For more convergence properties about NOD random variables, one can refer to [2, 11, 20, 23–26], and so forth.

In order to prove our main result, we need the following lemmas.

Lemma 1.1

(Bozorgnia et al. [23])

Let \(X_{1},X_{2},\ldots,X_{n}\) be NOD random variables.

  1. (i)

    If \(f_{1},f_{2},\ldots,f_{n}\) are Borel functions all of which are monotone increasing (or all monotone decreasing), then \(f_{1}(X_{1}),f_{2}(X_{2}),\ldots,f_{n}(X_{n})\) are NOD random variables.

  2. (ii)

    \(E\prod_{i=1}^{n} (X_{i})_{+}\le\prod_{i=1}^{n} E(X_{i})_{+}\), \(\forall n\ge2\). 

Lemma 1.2

(Asadian et al. [27])

For any \(v\ge2\), there is a positive constant \(C(v)\) depending only on v such that if \(\{X_{n}, n\ge1\}\) is a sequence of NOD random variables with \(EX_{n}=0\) for every \(n\ge1\), then for all \(n\ge1\),

$$E\Biggl\vert \sum_{i=1}^{n} X_{i}\Biggr\vert ^{v}\le C(v) \Biggl\{ \sum _{i=1}^{n} E|X_{i}|^{v} + \Biggl( \sum_{i=1}^{n} EX_{i}^{2} \Biggr)^{v/2} \Biggr\} . $$

We reason by Lemma 1.2 and a similar argument to Theorem 2.3.1 of Stout [28].

Lemma 1.3

For any \(v\ge2\), there is a positive constant \(C(v)\) depending only on v such that if \(\{X_{n}, n\ge1\}\) is a sequence of NOD random variables with \(EX_{n}=0\) for every \(n\ge1\), then for all \(n\ge1\),

$$E\max_{1\le j\le n}\Biggl\vert \sum_{i=1}^{j} X_{i}\Biggr\vert ^{v} \le C(v) \bigl(\log(4n) \bigr)^{v} \Biggl\{ \sum_{i=1}^{n} E|X_{i}|^{v} + \Biggl(\sum_{i=1}^{n} EX_{i}^{2} \Biggr)^{v/2} \Biggr\} , $$

where \(\log x=\max\{1, \ln x\}\), and lnx denotes the natural logarithm of x.

Lemma 1.4

(Kuczmaszewska [8])

Let β be positive constant, \(\{X_{n},n\ge1\}\) be a sequence of random variables and X be a random variable. Suppose that

$$ \sum_{i=1}^{n} P\bigl(|X_{i}|>x\bigr)\le Dn P\bigl(|X|>x\bigr),\quad \forall x>0, \forall n\ge1, $$
(1.1)

holds for some \(D>0\), then there exists a constant \(C>0\) depending only on D and β such that

  1. (i)

    If \(E|X|^{\beta}<\infty\), then \(\frac{1}{n}\sum_{j=1}^{n} E|X_{j}|^{\beta}\le CE|X|^{\beta}\);

  2. (ii)

    \(\frac{1}{n}\sum_{j=1}^{n} E|X_{j}|^{\beta}I(|X_{j}|\le x)\le C \{E|X|^{\beta}I(|X|\le x)+x^{\beta}P(|X|>x) \}\);

  3. (iii)

    \(\frac{1}{n}\sum_{j=1}^{n} E|X_{j}|^{\beta}I(|X_{j}|>x) \le C E|X|^{\beta}I(|X|>x) \).

Throughout this paper, C will represent positive constants; their value may change from one place to another.

2 Main results and proofs

Theorem 2.1

Let \(\gamma>0\), \(\alpha>1/2\), \(p>0\), \(\alpha p>1\). Let \(\{X_{n},n\ge1\}\) be a sequence of NOD random variables and X be a random variables possibly defined on a different space satisfying the condition (1.1). Moreover, assume that \(EX_{n}=0\) for all \(n\ge1\) in the case \(\alpha\leq1\). Suppose that

$$ \begin{cases} E|X|^{p}< \infty,& \gamma<p,\\ E|X|^{p}\log(1+|X|)<\infty,& \gamma=p,\\ E|X|^{\gamma}<\infty,& \gamma>p. \end{cases} $$
(2.1)

Then the following statements hold:

$$\begin{aligned}& \sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-2 } E \Bigl\{ \max_{1\le k \le n} |S_{k}|-\varepsilon n^{\alpha}\Bigr\} _{+}^{\gamma}< \infty, \quad\forall \varepsilon >0, \end{aligned}$$
(2.2)
$$\begin{aligned}& \sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-2 } E \Bigl\{ \max_{1\le k \le n} \bigl|S_{n}^{(k)}\bigr|-\varepsilon n^{\alpha}\Bigr\} _{+}^{\gamma}< \infty, \quad\forall \varepsilon >0, \end{aligned}$$
(2.3)
$$\begin{aligned}& \sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-2 } E \Bigl\{ \max_{1\le k \le n} |X_{k}|-\varepsilon n^{\alpha}\Bigr\} _{+}^{\gamma}< \infty,\quad \forall \varepsilon >0, \end{aligned}$$
(2.4)
$$\begin{aligned}& \sum_{n=1}^{\infty}n^{\alpha p-2 } E \Bigl\{ \sup_{ k \ge n}k^{-\alpha} |S_{k}|-\varepsilon \Bigr\} _{+}^{\gamma}< \infty,\quad \forall \varepsilon >0, \end{aligned}$$
(2.5)
$$\begin{aligned}& \sum_{n=1}^{\infty}n^{\alpha p-2 } E \Bigl\{ \sup_{ k \ge n}k^{-\alpha} |X_{k}|-\varepsilon \Bigr\} _{+}^{\gamma}< \infty, \quad\forall \varepsilon >0, \end{aligned}$$
(2.6)

where \(S_{n}=\sum_{i=1}^{n} X_{i}\), \(S_{n}^{(k)}=S_{n}-X_{k}\), \(k=1,2,\ldots,n\).

Proof

Firstly, we prove (2.2). Note that for all \(\varepsilon>0\)

$$\begin{aligned}& \sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-2 } E \Bigl\{ \max_{1\le k \le n} |S_{k}|-\varepsilon n^{\alpha}\Bigr\} _{+}^{\gamma}\\& \quad= \sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-2 }\int _{0}^{\infty}P \Bigl(\max_{1\le k\le n}|S_{k}|- \varepsilon n^{\alpha}>t^{1/\gamma} \Bigr)\,dt \\& \quad= \sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-2 }\int _{0}^{n^{\gamma\alpha }} P \Bigl(\max_{1\le k\le n}|S_{k}|- \varepsilon n^{\alpha}>t^{1/\gamma } \Bigr)\,dt \\& \quad\quad{} + \sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-2 }\int _{n^{\gamma\alpha }}^{\infty}P \Bigl(\max_{1\le k\le n}|S_{k}|- \varepsilon n^{\alpha}>t^{1/\gamma} \Bigr)\,dt \\& \quad\le \sum_{n=1}^{\infty}n^{\alpha p-2}P \Bigl(\max_{1\le k\le n}|S_{k}|>\varepsilon n^{\alpha}\Bigr) \\& \quad\quad{}+\sum_{n=1}^{\infty}n^{\alpha(p-\gamma)-2}\int _{n^{\gamma\alpha }}^{\infty}P\Bigl(\max_{1\le k\le n}|S_{k}|>t^{1/\gamma} \Bigr)\,dt. \end{aligned}$$

Hence by Theorem 2.1 of Qiu et al. [11], in order to prove (2.2), it is enough to show that

$$\sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-2 }\int _{n^{\gamma\alpha }}^{\infty}P \Bigl(\max_{1\le k\le n}|S_{k}|>t^{1/\gamma} \Bigr)\,dt< \infty. $$

Choose q such that \(1/(\alpha p)< q<1\). \(\forall j\ge1\), \(t>0\), let

$$\begin{aligned}& X_{j}^{(t,1)}=-t^{q/\gamma}I\bigl(X_{j}< -t^{q/\gamma} \bigr)+X_{j} I\bigl(|X_{j}|\le t^{q/\gamma} \bigr)+t^{q/\gamma}I\bigl(X_{j}>t^{q/\gamma}\bigr), \\& X_{j}^{(t,2)}=\bigl(X_{j}-t^{q/\gamma}\bigr)I \bigl(t^{q/\gamma}<X_{j}\le t^{q/\gamma }+t^{1/\gamma} \bigr)+t^{1/\gamma}I\bigl(X_{j}>t^{q/\gamma}+t^{1/\gamma} \bigr), \\& X_{j}^{(t,3)}=\bigl(X_{j}-t^{q/\gamma}-t^{1/\gamma} \bigr)I\bigl(X_{j}>t^{q/\gamma }+t^{1/\gamma}\bigr), \\& X_{j}^{(t,4)}=\bigl(X_{j}+t^{q/\gamma}\bigr)I \bigl(-t^{q/\gamma}-t^{1\gamma}\le X_{j}<-t^{q/\gamma} \bigr)-t^{1/\gamma}I\bigl(X_{j}<-t^{q/\gamma}-t^{1\gamma} \bigr), \\& X_{j}^{(t,5)}=\bigl(X_{j}+t^{q/\gamma}+t^{1/\gamma} \bigr)I\bigl(X_{j}<-t^{q/\gamma }-t^{1/\gamma}\bigr), \end{aligned}$$

then \(X_{j}=\sum_{l=1}^{5} X_{j}^{(t, l)}\). Note that

$$\begin{aligned}& \sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-2 } \int_{n^{\gamma \alpha}}^{\infty}P \Bigl(\max_{1\le k\le n}|S_{k}|>t^{1/\gamma} \Bigr)\,dt \\& \quad\le \sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-2 }\int _{n^{\gamma\alpha }}^{\infty}P \Biggl(\max_{1\le k\le n} \Biggl\vert \sum_{j=1}^{k}X_{j}^{(t,1)} \Biggr\vert >t^{1/\gamma}/5 \Biggr)\,dt \\& \quad\quad{} +\sum_{l=2}^{3} \sum _{n=1}^{\infty}n^{\alpha( p-\gamma)-2 }\int_{n^{\gamma\alpha}}^{\infty}P \Biggl( \sum_{j=1}^{n}X_{j}^{(t,l)}>t^{1/\gamma}/5 \Biggr)\,dt \\& \quad\quad{} +\sum_{l=4}^{5} \sum _{n=1}^{\infty}n^{\alpha( p-\gamma)-2 }\int_{n^{\gamma\alpha}}^{\infty}P \Biggl(-\sum_{j=1}^{n}X_{j}^{(t,l)}>t^{1/\gamma}/5 \Biggr)\,dt \\& \quad\stackrel{\mathrm{def}}{=} \sum_{l=1}^{5} I_{l}. \end{aligned}$$

Therefore to prove (2.2), it suffices to show that \(I_{l}<\infty\) for \(l=1, 2, 3, 4, 5\).

For \(I_{1}\), we first prove that

$$ \sup_{t\ge n^{\gamma\alpha}}t^{-1/\gamma}\max_{1\le k\le n}\Biggl\vert E\sum_{j=1}^{k}X_{j}^{(t,1)} \Biggr\vert \to0,\quad n\to\infty. $$
(2.7)

When \(\alpha\le1\). Since \(\alpha p>1\) implies \(p>1\), by Lemma 1.4 and \(EX_{j}=0\), \(j\ge1\), we have

$$\begin{aligned}& \sup_{t\ge n^{\gamma\alpha}}t^{-1/\gamma}\max_{1\le k\le n} \Biggl\vert E\sum_{j=1}^{k}X_{j}^{(t,1)} \Biggr\vert \\& \quad\le\sup_{t\ge n^{\gamma\alpha}}t^{-1/\gamma}\sum _{j=1}^{n}E \bigl\{ |X_{j}|I \bigl(|X_{j}|>t^{q/\gamma}\bigr)+t^{q/\gamma}I \bigl(|X_{j}|>t^{q/\gamma}\bigr) \bigr\} \\& \quad\le2\sup_{t\ge n^{\gamma\alpha}}t^{-1/\gamma}\sum _{j=1}^{n}E|X_{j}|I\bigl(|X_{j}|>t^{q/\gamma} \bigr) \\& \quad\le Cn\sup_{t\ge n^{\gamma\alpha}}t^{-1/\gamma}E|X|I\bigl(|X|> t^{q/\gamma}\bigr) \\& \quad\le Cn^{1-\alpha}E|X| I\bigl(|X|> n^{\alpha q}\bigr) \\& \quad \le Cn^{1-\alpha p q -\alpha(1-q)}E|X|^{p}\to0,\quad n\to\infty. \end{aligned}$$

When \(\alpha>1\) and \(p\ge1\).

$$\begin{aligned}& \sup_{t\ge n^{\gamma\alpha}}t^{-1/\gamma}\max_{1\le k\le n} \Biggl\vert E\sum_{j=1}^{k}X_{j}^{(t,1)} \Biggr\vert \\& \quad\le \sup_{t\ge n^{\gamma\alpha}}t^{-1/\gamma}\sum _{j=1}^{n} E|X_{j}| \le Cn \sup _{t\ge n^{\gamma\alpha}}t^{-1/\gamma}E|X| \le Cn^{1-\alpha }\to0,\quad n\to \infty. \end{aligned}$$

When \(\alpha>1\) and \(p< 1\),

$$\begin{aligned}& \sup_{t\ge n^{\gamma\alpha}}t^{-1/\gamma}\max_{1\le k\le n} \Biggl\vert E\sum_{j=1}^{k}X_{j}^{(t,1)} \Biggr\vert \\& \quad\le \sup_{t\ge n^{\gamma\alpha}}t^{-1/\gamma}\sum _{j=1}^{n}E \bigl\{ |X_{j}|I \bigl(|X_{j}|\le t^{q/\gamma}\bigr)+t^{q/\gamma}I \bigl(|X_{j}|>t^{q/\gamma}\bigr) \bigr\} \\& \quad\le \sup_{t\ge n^{\gamma\alpha}}t^{-1/\gamma}\sum _{j=1}^{n} t^{q(1-p)/\gamma} E|X_{j}|^{p} \le Cn \sup_{t\ge n^{\gamma\alpha}}t^{\{ q(1-p)-1\}/\gamma} E|X|^{p} \\& \quad\le Cn ^{1-\alpha p q-(1-q)\alpha}\to0,\quad n\to\infty. \end{aligned}$$

Therefore (2.7) holds. By (2.7), in order to prove \(I_{1}<\infty\), it is enough to show that

$$I_{1}^{*}:=\sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-2 }\int_{n^{\gamma\alpha }}^{\infty}P \Biggl(\max _{1\le k\le n}\Biggl\vert \sum_{j=1}^{k} \bigl(X_{j}^{(t,1)}-EX_{j}^{(t,1)} \bigr)\Biggr\vert >t^{1/\gamma}/10 \Biggr)\,dt< \infty. $$

Fix any \(v\ge2\) and \(v>\max\{p/(1-q), \gamma/(1-q), 2\gamma /[2-(2-p)q], 2(\alpha p-1)/[2\alpha(1-q)+(\alpha p q-1)], (\alpha p-1)/(\alpha-1/2)\}\), by Markov’s inequality, Lemma 1.1, Lemma 1.3, and \(C_{r}\)-inequality, we have

$$\begin{aligned} I_{1}^{*} \le& C\sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-2 } \\ &{}\times\int_{n^{\gamma\alpha}}^{\infty}t^{-v/\gamma} \bigl(\log(4n)\bigr)^{v} \Biggl\{ \sum_{j=1}^{n}E \bigl\vert X_{j}^{(t,1)}\bigr\vert ^{v}+ \Biggl( \sum_{j=1}^{n}E \bigl(X_{j}^{(t,1)} \bigr)^{2} \Biggr)^{v/2} \Biggr\} \,dt \\ \le & C\sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-2 } \bigl(\log(4n)\bigr)^{v}\\ &{}\times\int_{n^{\gamma\alpha}}^{\infty}t^{-v/\gamma} \sum_{j=1}^{n} \bigl\{ E|X_{j}|^{v}I\bigl(|X_{j}|\le t^{\frac{q}{\gamma}} \bigr)+t^{qv/\gamma} P\bigl(|X_{j}|>t^{\frac {q}{\gamma}}\bigr) \bigr\} \,dt \\ &{} + C\sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-2 }\bigl( \log(4n)\bigr)^{v} \\ &{}\times\int_{n^{\gamma\alpha}}^{\infty}t^{\frac{-v}{\gamma}} \Biggl\{ \sum_{j=1}^{n} \bigl(EX_{j}^{2}I\bigl(|X_{j}|\le t^{\frac{q}{\gamma}} \bigr)+t^{\frac {2q}{\gamma}} P\bigl(|X_{j}|>t^{\frac{q}{\gamma}}\bigr) \bigr) \Biggr\} ^{\frac {v}{2}}\,dt \\ \stackrel{\mathrm{def}}{=} &I_{11}+I_{12}. \end{aligned}$$

Note that

$$\begin{aligned} I_{11} \le & C\sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-1 }\bigl(\log (4n)\bigr)^{v}\int_{n^{\gamma\alpha}}^{\infty}t^{-(1-q)v/\gamma} \,dt \\ \le & C\sum_{n=1}^{\infty}n^{\alpha p-\alpha(1-q)v-1 } \bigl(\log(4n)\bigr)^{v} < \infty. \end{aligned}$$

If \(\max\{p,\gamma\}< 2\), by Lemma 1.4, we have

$$\begin{aligned} I_{12} \le & C\sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-2 }\bigl(\log(4n)\bigr)^{v} \int_{n^{\gamma\alpha}}^{\infty}t^{\frac{-v}{\gamma}} \Biggl\{ t^{(2-p)q/\gamma}\sum_{j=1}^{n}E|X_{j}|^{p} \Biggr\} ^{\frac{v}{2}}\,dt \\ \le & C\sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-2+v/2 } \bigl(\log(4n)\bigr)^{v} \int_{n^{\gamma\alpha}}^{\infty}t^{\frac{-[2-(2-p)q]v}{2\gamma}} \bigl(E|X|^{p} \bigr)^{\frac{v}{2}}\,dt \\ \le & C\sum_{n=1}^{\infty}n^{\alpha p-2-[\alpha(1-q)+(\alpha p q-1)/2]v } \bigl(\log(4n)\bigr)^{v} < \infty. \end{aligned}$$

If \(\max\{p,\gamma\}\ge 2\), note that \(E|X|^{2}<\infty\), by Lemma 1.4, we have

$$\begin{aligned} I_{12} \le & C\sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-2+v/2 }\bigl(\log (4n)\bigr)^{v}\int_{n^{\gamma\alpha}}^{\infty}t^{-v/\gamma} \,dt \\ \le & C\sum_{n=1}^{\infty}n^{\alpha p-2-(\alpha-1/2)v } \bigl(\log (4n)\bigr)^{v}< \infty. \end{aligned}$$

Therefore, \(I_{1}^{*}<\infty\), so \(I_{1}<\infty\).

For \(I_{2}\), we first prove

$$ \sup_{t\ge n^{\gamma\alpha}} \Biggl\{ t^{-1/\gamma}\sum _{j=1}^{n}EX_{j}^{(t,2)} \Biggr\} \to0,\quad n \to\infty. $$
(2.8)

When \(p>1\), we have by Lemma 1.4 that

$$\begin{aligned}& \sup_{t\ge n^{\gamma\alpha}} \Biggl\{ t^{-1/\gamma}\sum _{j=1}^{n}EX_{j}^{(t,2)} \Biggr\} \\& \quad\le \sup_{t\ge n^{\gamma\alpha}}t^{-1/\gamma}\sum _{j=1}^{n} \bigl\{ EX_{j}I \bigl(X_{j}>t^{q/\gamma}\bigr)+t^{1/\gamma}P \bigl(X_{j}>t^{q/\gamma}+t^{1/\gamma }\bigr) \bigr\} \\& \quad\le \sup_{t\ge n^{\gamma\alpha}}t^{-1/\gamma}\sum _{j=1}^{n} \bigl\{ EX_{j}I \bigl(X_{j}>t^{q/\gamma}\bigr)+EX_{j}I \bigl(X_{j}>t^{q/\gamma}+t^{1/\gamma}\bigr) \bigr\} \\& \quad\le Cn\sup_{t\ge n^{\gamma\alpha}}t^{-1/\gamma }E|X|I\bigl(|X|>t^{q/\gamma} \bigr) \le Cn^{1-\alpha}E |X| I\bigl(|X|>n^{q\alpha}\bigr) \\& \quad\le Cn^{1-q \alpha p-\alpha(1-q)} E|X|^{p} \to0,\quad n\to\infty. \end{aligned}$$

When \(0< p\le1\), we have by Lemma 1.4

$$\begin{aligned}& \sup_{t\ge n^{\gamma\alpha}} \Biggl\{ t^{-1/\gamma}\sum _{j=1}^{n}EX_{j}^{(t,2)} \Biggr\} \\& \quad\le \sup_{t\ge n^{\gamma\alpha}}t^{-1/\gamma}\sum _{j=1}^{n} \bigl\{ E|X_{j}|I \bigl(|X_{j}|\le2 t^{1/\gamma}\bigr)+t^{1/\gamma}P \bigl(|X_{j}|>2t^{q/\gamma }\bigr) \bigr\} \\& \quad\le Cn\sup_{t\ge n^{\gamma\alpha}}t^{-1/\gamma} \bigl\{ E|X|I\bigl(|X|\le 2 t^{1/\gamma}\bigr)+2 t^{1/\gamma} P\bigl(|X|> 2 t^{1/\gamma}\bigr)+ t^{1/\gamma }P\bigl(|X|>2t^{q/\gamma}\bigr) \bigr\} \\& \quad\le Cn\sup_{t\ge n^{\gamma\alpha}} \bigl\{ t^{-p/\gamma }E|X|^{p}+t^{-pq/\gamma} E|X|^{p} \bigr\} \\& \quad\le Cn^{1-\alpha p q} \to0,\quad n\to\infty. \end{aligned}$$

Therefore (2.8) holds. By (2.8), in order to prove \(I_{2}<\infty\), it is enough to show that

$$I_{2}^{*} := \sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-2 }\int_{n^{\gamma \alpha}}^{\infty}P \Biggl( \sum _{j=1}^{n} \bigl(X_{j}^{(t,2)}-EX_{j}^{(t,2)} \bigr)>t^{1/\gamma}/10 \Biggr)\,dt < \infty. $$

Fix any \(v\ge2\) (to be specified later), by Markov’s inequality, Lemma 1.1, Lemma 1.2, \(C_{r}\)-inequality, Jensen’s inequality, and Lemma 1.4, we have

$$\begin{aligned} I_{2}^{*} \le & C\sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-2 }\int_{n^{\gamma\alpha}}^{\infty}t^{-v/\gamma} \Biggl\{ \sum_{j=1}^{n}E\bigl\vert X_{j}^{(t,2)}\bigr\vert ^{v}+ \Biggl(\sum _{j=1}^{n}E \bigl(X_{j}^{(t,2)} \bigr)^{2} \Biggr)^{v/2}\,dt \Biggr\} \\ \le & C\sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-2 }\int _{n^{\gamma \alpha}}^{\infty}t^{-v/\gamma} \sum _{j=1}^{n} \bigl\{ E|X_{j}|^{v}I \bigl(|X_{j}|\le 2t^{1/\gamma}\bigr)+t^{v/\gamma} P \bigl(X_{j}>t^{1/\gamma}\bigr) \bigr\} \,dt \\ &{} + C\sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-2 }\int _{n^{\gamma\alpha }}^{\infty}t^{-v/\gamma} \Biggl\{ \sum _{j=1}^{n}E \bigl(X_{j}^{2}I \bigl(|X_{j}|\le 2t^{1/\gamma}\bigr)+t^{2/\gamma} P \bigl(X_{j}>t^{1/\gamma}\bigr) \bigr) \Biggr\} ^{v/2}\,dt \\ \le & C\sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-1 }\int _{n^{\gamma \alpha}}^{\infty}t^{-v/\gamma} E|X|^{v}I \bigl(|X|\le2t^{1/\gamma}\bigr)\,dt \\ &{} +C\sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-1 }\int _{n^{\gamma\alpha }}^{\infty}P\bigl(|X|>t^{1/\gamma}\bigr)\,dt \\ &{} + C\sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-2+v/2 }\int _{n^{\gamma \alpha}}^{\infty}t^{-v/\gamma} \bigl\{ E|X|^{2}I\bigl(|X|\le2t^{1/\gamma }\bigr) \bigr\} ^{v/2}\,dt \\ &{} +C\sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-2+v/2 }\int _{n^{\gamma \alpha}}^{\infty}\bigl( P\bigl(|X|>t^{1/\gamma}\bigr) \bigr)^{v/2}\,dt \\ \stackrel{\mathrm{def}}{=} &I_{21}+I_{22}+I_{23}+I_{24}. \end{aligned}$$

We get by the mean-value theorem and a standard computation

$$\begin{aligned} I_{22} = & C\sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-1 }\sum_{j=n}^{\infty}\int _{j^{\gamma\alpha}}^{(j+1)^{\gamma\alpha}} P\bigl(|X|>t^{1/\gamma}\bigr)\,dt \\ \le & C\sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-1 }\sum _{j=n}^{\infty}j^{\gamma\alpha-1} P \bigl(|X|>j^{\alpha}\bigr) \\ = & C\sum_{j=1}^{\infty}j^{\gamma\alpha-1} P \bigl(|X|>j^{\alpha}\bigr) \sum_{n=1}^{j} n^{\alpha( p-\gamma)-1 } \\ \le & \begin{cases} C\sum_{j=1}^{\infty}j^{\alpha p -1} P(|X|>j^{\alpha}), & \gamma< p,\\ C\sum_{j=1}^{\infty}j^{\alpha p-1} \log j P(|X|>j^{\alpha}) , & \gamma =p,\\ \sum_{j=1}^{\infty}j^{\gamma\alpha-1} P(|X|>j^{\alpha}) , & \gamma>p \end{cases} \\ \le & \begin{cases} CE|X|^{p}, & \gamma<p,\\ CE|X|^{p}\log(1+|X|) , & \gamma=p,\\ CE|X|^{\gamma},& \gamma>p \end{cases} \\ < & \infty. \end{aligned}$$

When \(\max\{p,\gamma\}< 2\), let \(v=2\). We have \(I_{24}=I_{22}<\infty\) and

$$\begin{aligned} I_{21} =& I_{23} = C\sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-1 }\sum_{j=n}^{\infty}\int _{j^{\gamma\alpha}}^{(j+1)^{\gamma\alpha}} t^{-2/\gamma} E|X|^{2}I \bigl(|X|\le2t^{1/\gamma}\bigr)\,dt \\ \le & C\sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-1 } \sum_{j=n}^{\infty}j^{(-2+\gamma)\alpha-1} E|X|^{2}I\bigl(|X|\le2(j+1)^{\alpha}\bigr) \\ = & C\sum_{j=1}^{\infty}j^{(-2+\gamma)\alpha-1} E|X|^{2}I\bigl(|X|\le 2(j+1)^{\alpha}\bigr) \sum _{n=1}^{j} n^{\alpha( p-\gamma)-1 } \\ \le & \begin{cases} C\sum_{j=1}^{\infty}j^{\alpha(p-2)-1} E|X|^{2}I(|X|\le2(j+1)^{\alpha}), & \gamma< p,\\ C\sum_{j=1}^{\infty}j^{\alpha(p-2)-1} \log j E|X|^{2}I(|X|\le 2(j+1)^{\alpha}) , & \gamma=p,\\ C\sum_{j=1}^{\infty}j^{\alpha(\gamma-2) -1} E|X|^{2}I(|X|\le 2(j+1)^{\alpha}) , & \gamma>p \end{cases} \\ \le & \begin{cases} CE|X|^{p}, & \gamma<p,\\ CE|X|^{p}\log(1+|X|) , & \gamma=p,\\ CE|X|^{\gamma},& \gamma>p \end{cases} \\ < & \infty. \end{aligned}$$
(2.9)

When \(\max\{p,\gamma\}\ge 2\), let \(v>\max\{\gamma, (\alpha p -1)/(\alpha-1/2)\}\). Note that \(E|X|^{2}<\infty\)

$$I_{23} \le C\sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-2+v/2 }\int_{n^{\gamma\alpha}}^{\infty}t^{-v/\gamma}\, dt = C\sum_{n=1}^{\infty}n^{\alpha p-2-(\alpha-1/2)v}< \infty, $$

and by the Markov inequality, we have

$$I_{24} \le C\sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-2+v/2 }\int_{n^{\gamma\alpha}}^{\infty}t^{-v/\gamma} \,dt< \infty. $$

The proof of \(I_{21}<\infty\) is similar to that (2.9), so it is omitted. Therefore, \(I_{2}^{*}<\infty\), so \(I_{2}<\infty\).

For \(I_{3}\), we get

$$\begin{aligned} I_{3} \le& \sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-2 }\int_{n^{\gamma \alpha}}^{\infty}P \Biggl\{ \bigcup_{j=1}^{n}\bigl(X_{j}^{(t,3)}>0\bigr) \Biggr\} \,dt \\ = & \sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-2 }\int _{n^{\gamma\alpha }}^{\infty}\sum_{j=1}^{n} P \bigl( X_{j}>t^{1/\gamma}+t^{q/\gamma} \bigr)\,dt \\ \le & C \sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-1 } \int_{n^{\gamma \alpha}}^{\infty}P\bigl(|X|>t^{1/\gamma}\bigr)\,dt =CI_{22}< \infty. \end{aligned}$$

By similar proofs to \(I_{2}<\infty\) and \(I_{3}<\infty\), we have \(I_{4}<\infty \) and \(I_{5}<\infty\), respectively. Therefore, (2.2) holds.

Equation (2.2) ⇒ (2.3). Note that \(|S_{n}^{(k)}|=|S_{n}-X_{k}|\le |S_{n}|+|X_{k}|=|S_{n}|+|S_{k}-S_{k-1}|\le|S_{n}|+|S_{k}|+|S_{k-1}|\le 3\max_{1\le j\le n}|S_{j}|\), \(\forall 1\le k\le n\), hence

$$\begin{aligned}& \sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-2 } E \Bigl\{ \max_{1\le k \le n} \bigl|S_{n}^{(k)}\bigr|-\varepsilon n^{\alpha}\Bigr\} _{+}^{\gamma} \\& \quad= \sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-2 }\int _{0}^{\infty}P \Bigl(\max_{1\le k\le n}\bigl|S_{n}^{(k)}\bigr|- \varepsilon n^{\alpha}>t^{1/\gamma} \Bigr)\,dt \\& \quad\le \sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-2 }\int _{0}^{\infty}P \Bigl(\max_{1\le k\le n}|S_{n}|> \varepsilon n^{\alpha}/3+t^{1/\gamma}/3 \Bigr)\,dt \\& \quad= 3^{\gamma}\sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-2 }\int_{0}^{\infty}P \Bigl(\max _{1\le k\le n}|S_{n}|>\varepsilon n^{\alpha}/3+t^{1/\gamma} \Bigr)\,dt \\& \quad= 3^{\gamma}\sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-2 }E \Bigl\{ \max_{1\le k\le n}|S_{n}|- \varepsilon n^{\alpha}/3 \Bigr\} ^{\gamma}< \infty. \end{aligned}$$
(2.10)

Equation (2.3) holds.

Equation (2.3) ⇒ (2.4). Since \(\frac{1}{2} \vert S_{n} \vert \le\frac{n-1}{n}\vert S_{n} \vert =\vert \frac{1}{n}\sum_{k=1}^{n} S_{n}^{(k)} \vert \le\max_{1\le k\le n} \vert S_{n}^{(k)} \vert \), \(\forall n\ge2\), and \(|X_{k}|=\vert S_{n}-S_{n}^{(k)}\vert \le|S_{n}|+|S_{n}^{(k)}|\le3\max_{1\le k\le n}|S_{n}^{(k)}|\), we have (2.4) by a similar argument to (2.10).

Equation (2.2) ⇒ (2.5). The proof of (2.2) ⇒ (2.5) is similar to that (1.6) ⇒ (1.7) of Chen and Wang [19], so it is omitted.

Equation (2.5) ⇒ (2.6). Since \(k^{-\alpha} |X_{k} |= k^{-\alpha } |S_{k}-S_{k-1}|\le k^{-\alpha} ( |S_{k}|+|S_{k-1}|)\le\sup_{j\ge k}j^{-\alpha} ( |S_{j}|+|S_{j-1}|)\le2\sup_{j\ge k-1}j^{-\alpha} |S_{j}|\), \(\forall k\ge 2\), we have (2.6) by the similar argument of (2.10). □

Theorem 2.2

Let \(\gamma>0\), \(\alpha>1/2\), \(p>0\), \(\alpha p>1\). Let \(\{X_{n},n\ge1\}\) be a sequence of NOD random variables and X be a random variables possibly defined on a different space. Moreover, assume that \(EX_{n}=0\) for all \(n\ge1\) when \(\alpha\le1\). If there exist constants \(D_{1}>0\) and \(D_{2}>0\) such that

$$\frac{D_{1}}{n} \sum_{i=n}^{2n-1} P\bigl(|X_{i}|>x\bigr) \le P\bigl(|X|>x\bigr)\le\frac {D_{2}}{n} \sum _{i=n}^{2n-1} P\bigl(|X_{i}|>x\bigr),\quad \forall x>0, n \ge1. $$

Then (2.1)-(2.6) are equivalent.

Proof

By Theorem 2.1, in order to prove Theorem 2.2, it is enough to show that (2.4) ⇒ (2.1) and (2.6) ⇒ (2.1). We only prove (2.4) ⇒ (2.1), the proof of (2.6) ⇒ (2.1) is similar and omitted. Note that

$$\begin{aligned} \infty > & \sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-2 } E \Bigl\{ \max_{1\le k \le n} |X_{k}|-\varepsilon n^{\alpha}\Bigr\} _{+}^{\gamma}\\ = & \sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-2 } \int _{0} ^{\infty}P \Bigl(\max_{1\le k \le n} |X_{k}|-\varepsilon n^{\alpha}>t^{1/\gamma}\Bigr)\,dt \\ \ge & \sum_{n=1}^{\infty}n^{\alpha( p-\gamma)-2 } \int _{0} ^{\varepsilon ^{\gamma}n^{\alpha\gamma}} P \Bigl(\max_{1\le k \le n} |X_{k}|>\varepsilon n^{\alpha}+t^{1/\gamma}\Bigr)\,dt \\ \ge & \gamma^{\alpha}\sum_{n=1}^{\infty}n^{\alpha p-2 } P \Bigl(\max_{1\le k \le n} |X_{k}|>2 \varepsilon n^{\alpha}\Bigr) \end{aligned}$$

by Theorem 2.2 of Qiu et al. [11], the proof of (2.4) ⇒ (2.1) is completed. □

References

  1. Hsu, P, Robbins, H: Complete convergence and the law of large numbers. Proc. Natl. Acad. Sci. USA 33, 25-31 (1947)

    Article  MATH  MathSciNet  Google Scholar 

  2. Baek, J, Park, ST: Convergence of weighted sums for arrays of negatively dependent random variables and its applications. J. Stat. Plan. Inference 140, 2461-2469 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  3. Bai, ZD, Su, C: The complete convergence for partial sums of i.i.d. random variables. Sci. China Ser. A 5, 399-412 (1985)

    Google Scholar 

  4. Baum, IE, Katz, M: Convergence rates in the law of large numbers. Trans. Am. Math. Soc. 120, 108-123 (1965)

    Article  MATH  MathSciNet  Google Scholar 

  5. Chen, P, Hu, TC, Volodin, A: Limiting behavior of moving average processes under negative association. Teor. Imovir. Mat. Stat. 77, 154-166 (2007)

    Google Scholar 

  6. Chen, P, Wang, D: Convergence rates for probabilities of moderate deviations for moving average processes. Acta Math. Sin. Engl. Ser. 24, 611-622 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  7. Gut, A: Complete convergence for arrays. Period. Math. Hung. 25, 51-75 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  8. Kuczmaszewska, A: On complete convergence in Marcinkiewica-Zygmund type SLLN for negatively associated random variables. Acta Math. Hung. 128(1-2), 116-130 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  9. Liang, H, Wang, L: Convergence rates in the law of large numbers for B-valued random elements. Acta Math. Sci. 21B, 229-236 (2001)

    MathSciNet  Google Scholar 

  10. Peligrad, M, Gut, A: Almost-sure results for a class of dependent random variables. J. Theor. Probab. 12, 87-104 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  11. Qiu, D, Wu, Q, Chen, P: Complete convergence for negatively orthant dependent random variables. J. Inequal. Appl. 2014, 145 (2014)

    Article  MathSciNet  Google Scholar 

  12. Sung, SH: Complete convergence for weighted sums of random variables. Stat. Probab. Lett. 77, 303-311 (2007)

    Article  MATH  Google Scholar 

  13. Zhang, L, Wang, J: A note on complete convergence of pairwise NQD random sequences. Appl. Math. J. Chin. Univ. Ser. A 19, 203-208 (2004) (in Chinese)

    Article  MATH  Google Scholar 

  14. Chow, YS: On the rate of moment complete convergence of samples sums and extremes. Bull. Inst. Math. Acad. Sin. 16, 177-201 (1988)

    MATH  Google Scholar 

  15. Wang, D, Su, C: Moment complete convergence for B-valued i.i.d. random elements sequence. Acta Math. Appl. Sin. 27, 440-448 (2004) (in Chinese)

    MATH  MathSciNet  Google Scholar 

  16. Chen, P: Complete moment convergence for sequences of independent random elements in Banach spaces. Stoch. Anal. Appl. 24, 999-1010 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  17. Wang, D, Zhao, W: Moment complete convergence for sums of a sequence of NA random variables. Appl. Math. J. Chin. Univ. Ser. A 21, 445-450 (2006) (in Chinese)

    MATH  Google Scholar 

  18. Li, Y, Zhang, L: Complete moment convergence of moving average processes under dependence assumptions. Stat. Probab. Lett. 70, 191-197 (2004)

    Article  MATH  Google Scholar 

  19. Chen, P, Wang, D: Complete moment convergence for sequence of identically distributed φ-mixing random variables. Acta Math. Sin. Engl. Ser. 26, 679-690 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  20. Qiu, D, Chen, P: Complete moment convergence for weighted sums of arrays of rowwise NA random variables. J. Math. Res. Appl. 32, 723-734 (2012)

    MATH  MathSciNet  Google Scholar 

  21. Sung, SH: Complete qth moment convergence for arrays of random variables. J. Inequal. Appl. 2013, 24 (2013). doi:10.1186/1029-242X-2013-24

    Article  Google Scholar 

  22. Joag-Dev, K, Proschan, F: Negative association of random variables with applications. Ann. Stat. 11, 286-295 (1983)

    Article  MATH  MathSciNet  Google Scholar 

  23. Bozorgnia, A, Patterson, RF, Taylor, RL: Limit theorems for dependent random variables. In: Proc. of the First World Congress of Nonlinear Analysts 92(11), pp. 1639-1650. de Gruyter, Berlin (1965)

    Google Scholar 

  24. Ko, MH, Han, KH, Kim, TS: Strong laws of large numbers for weighted sums of negatively dependent random variables. J. Korean Math. Soc. 43, 1325-1338 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  25. Ko, MH, Kim, TS: Almost sure convergence for weighted sums of negatively dependent random variables. J. Korean Math. Soc. 42, 949-957 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  26. Taylor, RL, Patterson, R, Bozorgnia, A: A strong law of large numbers for arrays of rowwise negatively dependent random variables. Stoch. Anal. Appl. 20, 643-656 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  27. Asadian, N, Fakoor, V, Bozorgnia, A: Rosenthal’s type inequalities for negatively orthant dependent random variables. J. Iran. Stat. Soc. 5(1-2), 69-75 (2006)

    Google Scholar 

  28. Stout, WF: Almost Sure Convergence. Academic Press, New York (1974)

    MATH  Google Scholar 

Download references

Acknowledgements

The authors would like to thank the referees and the editors for the helpful comments and suggestions. The work of Qiu was supported by the National Natural Science Foundation of China (Grant No. 61300204), the work of Liu was supported by the National Natural Science Foundation of China (Grant No. 71471075), the work of Chen was supported by the National Natural Science Foundation of China (Grant No. 11271161).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Xiangdong Liu.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Rights and permissions

Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Qiu, D., Liu, X. & Chen, P. Complete moment convergence for maximal partial sums under NOD setup. J Inequal Appl 2015, 58 (2015). https://doi.org/10.1186/s13660-015-0577-8

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13660-015-0577-8

MSC

Keywords