# Convergence properties of the maximum partial sums for moving average process under $$\rho^{-}$$-mixing assumption

## Abstract

In this paper, we assume that the sequence $$\{Y_{n},-\infty< n<+\infty\}$$ is a $$\rho^{-}$$-mixing random variables which are stochastically dominated by a random variable Y. Moreover, a real number sequence $$\{a_{n},-\infty< n<+\infty\}$$ is assumed to be absolute summable. Then, complete convergence and complete γ-order moment convergence of the maximum partial sums for the moving average process $$\{X_{n}=\sum_{j=-\infty}^{+\infty}a_{j}Y_{n+j},n\geq1\}$$ are obtained. The results in this paper extend and improve the corresponding ones under NA and ρ-mixing conditions in the literature.

## Introduction

Let the $$\{Y_{n},-\infty< n<+\infty\}$$ be a random variable sequence and assume that a real number sequence $$\{a_{n},-\infty< n<+\infty\}$$ is absolute summable, i.e., $$\sum_{j=-\infty}^{+\infty}|a_{j}|<\infty$$. Then $$\{X_{n},n\geq1\}$$ is called a moving average process of the sequence $$\{Y_{n},-\infty< n<+\infty\}$$, if

$$X_{n}=\sum_{j=-\infty}^{+\infty}a_{j}Y_{j+n}, \quad n\geq1,$$
(1.1)

and $$S_{n}=\sum_{i=1}^{n}X_{i}$$, $$n\geq1$$ are the partial sums of $$\{ X_{n},n\geq1\}$$.

The complete convergence plays a very important role in the probability theory and mathematical statistics, which was introduced by Hsu and Robbins [1]. A sequence $$\{X_{n},n\geq1\}$$ of random variables is said to converge completely to a constant θ, if

$$\sum_{n=1}^{\infty}P\bigl( \vert X_{n}-\theta \vert >\varepsilon\bigr) < \infty,\quad \forall \varepsilon>0.$$

In view of the Borel–Cantelli lemma, the complete convergence implies that $$X_{n}\rightarrow\theta$$ almost surely. Therefore, complete convergence is a very important tool in establishing almost sure convergence for partial sums of random variables, as well as weighted sums of random variables.

Let $$\{X_{n},n\geq1\}$$ be a sequence of random variables and $$a_{n} > 0$$, $$b_{n} > 0$$, $$\gamma> 0$$. If

$$\sum_{n=1}^{\infty}a_{n}E\bigl\{ b^{-1}_{n}|X_{n}|-\varepsilon\bigr\} _{+}^{\gamma} < \infty,\quad \forall\varepsilon>0,$$

then the above result was called the complete γ-order moment convergence by Chow [2]. We observe that the complete γ-order moment convergence is more general than complete convergence.

After the moving average process was defined, many conclusions about its convergence properties have been obtained. When the sequence $$\{Y_{n},-\infty< n<+\infty\}$$ is identically distributed, many results about the moving average process $$\{X_{n},n\geq1\}$$ are known. For example, Ibragimov [3] obtained several limit theorems, Burton and Dehling [4] established a large deviation result, Li et al. [5] got the complete convergence property, Chen and Wang [6] obtained convergence rates of moderate deviations, and so on. Recently, several results have been obtained under the assumption that the sequence $$\{Y_{n},-\infty< n<+\infty\}$$ is dependent. For example, Zhang [7] and Chen et al. [8] discussed the limiting behavior of moving average processes under φ-mixing assumptions; Baek et al. [9] and Yu and Wang [10] established complete convergence under NA assumptions; Li and Zhang [11], Kim and Ko [12,13,14] and Zhou [15, 16] discussed the complete moment convergence under NA, φ-mixing and ρ-mixing random variables, and Qiu and Chen [17] obtained the complete moment convergence under END.

In this paper, we aim to study some convergence properties of the maximum partial sums for a moving average process under $$\rho ^{-}$$-mixing sequence assumption.

Let T and S be two nonempty disjoint sets of integers, and then define $$\operatorname{dist}(T,S)=:\min\{|j-k|;j\in T,k\in S\}$$, and let the σ-field $$\sigma(T)$$ ($$\sigma(S)$$) be generated by $$\{Y_{k},k\in T\}$$ ($$\{Y_{k},k\in S\}$$).

### Definition 1.1

A sequence $$\{Y_{n},-\infty< n<+\infty\}$$ is said to be $$\rho^{-}$$-mixing, if

\begin{aligned}& \rho^{-}(s)=\sup\bigl\{ \rho^{-}(T,S); T, S\subset Z, \operatorname{dist}(T,S)\geq s\bigr\} \rightarrow0 , \quad \text{as } s \rightarrow \infty, \\& \rho^{-}(T,S)=0\vee \sup\bigl\{ \operatorname{corr}\bigl(f(Y_{i},i\in T),g(Y_{j},j\in S)\bigr)\bigr\} , \end{aligned}

where the supremum is taken over all increasing real functions f on $$R^{T}$$ and g on $$R^{S}$$.

### Definition 1.2

A sequence $$\{Y_{n},-\infty< n<+\infty\}$$ is said to be ρ-mixing, if

$$\rho(s)=\sup\bigl\{ \rho(T,S); T, S\subset Z, \operatorname{dist}(T,S)\geq s\bigr\} \rightarrow0, \quad \text{as } s \rightarrow\infty,$$

where

$$\rho(T,S)=\sup\bigl\{ \bigl\vert \operatorname{corr}(f,g) \bigr\vert ;f\in L_{2}\bigl(\sigma(T)\bigr),f\in L_{2}\bigl(\sigma(S)\bigr) \bigr\} .$$

### Definition 1.3

A sequence $$\{Y_{n},-\infty< n<+\infty\}$$ is said to be negatively associated (NA), if

$$\operatorname{Cov} \bigl\{ f(Y_{i},i\in S),g(Y_{j},j\in T)\bigr\} \leq 0,$$

holds for every pair of disjoint subsets $$T,S\subset Z$$, and coordinatewise increasing functions f on $$R^{S}$$ and g on $$R^{T}$$.

From the above definitions, we see that $$\rho^{-}$$-mixing includes both ρ-mixing and the NA sequence. Recently many scholars have focused on the convergence properties of moving average processes under ρ-mixing and NA condition. For example, Wang and Lu [18] obtained weak convergence and Rosenthal-type moment inequality; Budsaba et al. [19, 20] and Zhang [21] got complete convergence for the moving average process under ρ-mixing and $$\rho^{-}$$-mixing conditions; Tan et al. [22] gained the central limit theorem of partial sums for ρ-mixing sequences. However, to the best of our knowledge, there have been few results about the complete γ-order moment convergence for the moving average process under $$\rho^{-}$$-mixing condition. The main aim of this paper is to present some results about complete convergence and complete γ-order moment convergence for the maximum partial sums of $$\{X_{n},n\geq1\}$$ under $$\rho^{-}$$-mixing condition.

### Definition 1.4

The sequence $$\{Y_{n},-\infty< n<+\infty\}$$ is called be stochastically dominated by a random variable Y, if for all $$x>0$$

$$P\bigl( \vert Y_{n} \vert >x\bigr)\leq D P\bigl( \vert Y \vert >x\bigr),\quad -\infty< n< +\infty,$$

where the constant $$D>0$$; we denote $$\{Y_{n},-\infty< n<+\infty\} \prec Y$$.

Throughout this paper, $$I(A)$$ denotes the indicator function of an event A, the symbol C represents a positive constant, which can take different values in different places, even in the same formula.

## Several lemmas and main results

### Lemma 2.1

(Wang and Lu [18])

Let $$p\geq2$$ and consider a $$\rho^{-}$$-mixing random variables sequence of $$\{Y_{n},-\infty< n<+\infty\}$$. For every $$j\geq1$$, assume $$EY_{j}=0$$ and $$E|Y_{j}|^{p}<\infty$$. Then, there exists a positive constant $$C=C(q,\rho^{-}(\cdot))$$ such that

$$E\Biggl(\max_{1\leq k\leq n} \Biggl\vert \sum _{j=1}^{k}Y_{j} \Biggr\vert ^{p} \Biggr)\leq C \Biggl\{ \sum_{j=1}^{n}E \vert Y_{j} \vert ^{p}+\Biggl(\sum _{j=1}^{n}EY_{j}^{2} \Biggr)^{p/2}\Biggr\} .$$
(2.1)

### Lemma 2.2

(Wang and Lu [18])

Let the sequence $$\{Y_{n},-\infty < n<+\infty\}$$ be $$\rho^{-}$$-mixing. If the functions of the sequence $$\{ f_{n},-\infty< n<+\infty\}$$ are all non-decreasing (non-increasing), then the sequence $$\{ f_{n}(Y_{n}),-\infty< n<+\infty\}$$ is still $$\rho^{-}$$-mixing.

### Lemma 2.3

(Wu [23])

Let $$\{Y_{n},-\infty< n<+\infty\} \prec Y$$. Then for all constants $$s,t>0$$, there exist positive constants $$C_{1}$$, $$C_{2}$$ such that the following inequalities are true:

\begin{aligned}& E \vert Y_{n} \vert ^{s}I\bigl( \vert Y_{n} \vert \leq t \bigr)\leq C_{1}\bigl(E \vert Y \vert ^{s}I\bigl( \vert Y \vert \leq t\bigr)+t^{s}P\bigl( \vert Y \vert >t\bigr)\bigr), \\& E \vert Y_{n} \vert ^{s}I\bigl( \vert Y_{n} \vert > t \bigr)\leq C_{2}E \vert Y \vert ^{s}I\bigl( \vert Y \vert > t\bigr). \end{aligned}

We now present our main results, their proofs will be given in the next section.

### Theorem 2.1

Let $$1\leq p<2$$, $$\alpha>1$$. Assume that $$\{X_{n},n\geq 1\}$$ is a moving average process of a $$\rho^{-}$$-mixing random variable sequence $$\{Y_{n},-\infty< n<+\infty\}$$, and $$\{Y_{n},-\infty < n<+\infty\} \prec Y$$. If $$EY_{j}=0$$ for every j and $$E|Y|^{ap}<\infty$$, then

$$\sum_{n=1}^{\infty} n^{\alpha-2}P\Bigl\{ \max_{1\leq k\leq n}|S_{k}|\geq \varepsilon n^{1/p} \Bigr\} < \infty \quad \forall\varepsilon>0.$$
(2.2)

If $$\alpha=1$$, we have the following result.

### Theorem 2.2

Let $$1\leq p<2$$. Suppose the $$\sum_{i=-\infty }^{+\infty}|a_{i}|^{\theta}<\infty$$, where $$\theta\in(0,1)$$ if $$p=1$$, and $$\theta=1$$ if $$1< p<2$$. Let $$\{X_{n},n\geq1\}$$ be a moving average process of a $$\rho^{-}$$-mixing random variable sequence $$\{Y_{n},-\infty< n<+\infty\}$$, and $$\{Y_{n},-\infty< n<+\infty\} \prec Y$$. If $$EY_{j}=0$$ for every j and $$E|Y|^{p}<\infty$$, then

$$\sum_{n=1}^{\infty} n^{-1}P\Bigl\{ \max _{1\leq k\leq n}|S_{k}|\geq \varepsilon n^{1/p}\Bigr\} < \infty \quad \forall\varepsilon>0.$$
(2.3)

### Theorem 2.3

Let $$\gamma>0$$, $$1\leq p<2$$, $$\alpha>1$$. Assume that $$\{ X_{n},n\geq1\}$$ is a moving average process of a $$\rho^{-}$$-mixing random variable sequence $$\{Y_{n},-\infty< n<+\infty\}$$, and $$\{ Y_{n},-\infty< n<+\infty\} \prec Y$$. If $$EY_{j}=0$$ for every j, and

$$\textstyle\begin{cases} E|Y|^{\alpha p }< \infty, &\textit{if } \gamma< \alpha p, \\ E|Y|^{\alpha p }\log(1+|Y|)< \infty, &\textit{if } \gamma= \alpha p, \\ E|Y|^{\gamma}< \infty, &\textit{if } \gamma>\alpha p, \end{cases}$$

then

$$\sum_{n=1}^{\infty} n^{\alpha-2-\gamma/p}E\Bigl\{ \max_{1\leq k\leq n}|S_{k}|-\varepsilon n^{1/p}\Bigr\} _{+}^{\gamma}< \infty\quad \forall\varepsilon >0$$
(2.4)

and

$$\sum_{n=1}^{\infty} n^{\alpha-2}E\Bigl\{ \sup_{ k\geq n} \bigl\vert k^{-1/p}S_{k} \bigr\vert -\varepsilon\Bigr\} _{+}^{\gamma}< \infty \quad \forall \varepsilon >0.$$
(2.5)

If $$\alpha=1$$, we have the following result.

### Theorem 2.4

Let $$\gamma>0$$, $$1\leq p<2$$, Suppose $$\sum_{i=-\infty }^{+\infty}|a_{i}|^{\theta}<\infty$$, as well as $$\theta\in(0,1)$$ if $$p=1$$, and $$\theta=1$$ if $$1< p<2$$. Let $$\{X_{n},n\geq1\}$$ be a moving average process of a $$\rho^{-}$$-mixing random variable sequence $$\{Y_{n},-\infty< n<+\infty\}$$, and $$\{Y_{n},-\infty< n<+\infty\} \prec Y$$. If $$EY_{j}=0$$ for every j, and

$$\textstyle\begin{cases} E|Y|^{p }< \infty, &\textit{if } \gamma< p, \\ E|Y|^{p }\log(1+|Y|)< \infty, &\textit{if } \gamma=p, \\ E|Y|^{\gamma}< \infty, &\textit{if } \gamma>p, \end{cases}$$

then

$$\sum_{n=1}^{\infty} n^{-1-\gamma/p}E\Bigl\{ \max_{1\leq k\leq n}|S_{k}|-\varepsilon n^{1/p}\Bigr\} _{+}^{\gamma}< \infty\quad \forall\varepsilon >0.$$
(2.6)

### Remark 2.1

Theorems 2.1 and 2.2 give complete convergence of the moving average processes $$\{X_{n},n\geq1\}$$ for $$\rho^{-}$$-mixing random variable sequences. It is worth pointing out that slowly varying functions are not needed in this paper, so our Theorems 2.1 and 2.2 extend and improve those in Chen [8], Budsaba [19, 20] and Zhang [21].

### Remark 2.2

Theorems 2.3 and 2.4 give complete γ-order moment convergence of the moving average processes $$\{X_{n},n\geq1\}$$ for $$\rho^{-}$$-mixing random variable sequences. Noting that the $$\rho^{-}$$-mixing condition generalizes both NA and ρ-mixing conditions, our Theorems 2.3 and 2.4 also extend and improve the corresponding results of Li and Zhang [11], Budsaba [19, 20] and Tan [22].

### Remark 2.3

It should be mentioned that our condition $$\{ Y_{n},-\infty< n<+\infty\} \prec Y$$ is weaker than the assumption of identical distribution for $$\{Y_{n},-\infty< n<+\infty\}$$. Thus, our results still hold for identically distributed random variables.

### Remark 2.4

Many dependent random variables satisfy condition (2.1). For example, one can consider NA, ρ-mixing and φ-mixing random variable sequences. Therefore, our results extend and improve the corresponding results of Zhou [15, 16] and Qiu [17].

## Proof of theorems

### Proof of Theorem 2.1

Write

\begin{aligned}& Y_{j}'=-n^{1/p}I\bigl(Y_{j}< -n^{1/p} \bigr)+Y_{j}I\bigl(|Y_{j}|\leq n^{1/p} \bigr)+n^{1/p}I\bigl(Y_{j}>n^{1/p}\bigr), \\& Y_{j}''=Y_{j}-Y_{j}'= \bigl(Y_{j}+n^{1/p}\bigr)I\bigl(Y_{j}< -n^{1/p} \bigr)+\bigl(Y_{j}-n^{1/p}\bigr)I\bigl(Y_{j}>n^{1/p} \bigr). \end{aligned}

Note that

$$\sum_{k=1}^{n}X_{k}=\sum _{k=1}^{n}\sum_{j=-\infty}^{+\infty }a_{j}Y_{k+j}= \sum_{j=-\infty}^{+\infty}a_{j}\sum _{i=j+1}^{j+n}Y_{i}.$$

Since $$\sum_{j=-\infty}^{+\infty}|a_{j}|<\infty$$, $$EY_{i}=0$$, it follows from Lemma 2.3 that

\begin{aligned}& n^{-1/p} \Biggl\vert E\max_{1\leq k\leq n}\sum _{j=-\infty}^{+\infty}a_{j}\sum _{i=j+1}^{j+k}Y_{i}' \Biggr\vert \quad (\text{since } EY_{i}=0) \\& \quad \leq n^{-1/p}\sum_{j=-\infty}^{+\infty} \vert a_{j} \vert \sum_{i=j+1}^{j+n} \bigl(n^{1/p}P\bigl( \vert Y_{i} \vert >n^{1/p} \bigr)+E \vert Y_{i} \vert I\bigl( \vert Y_{i} \vert >n^{1/p}\bigr)\bigr) \\& \quad \leq Cn^{1-1/p}E \vert Y \vert I\bigl( \vert Y \vert >n^{1/p}\bigr) \\& \quad \leq CE \vert Y \vert ^{p}I\bigl( \vert Y \vert >n^{1/p}\bigr)\rightarrow0,\quad n\rightarrow\infty. \end{aligned}

Therefore, for large enough n, we obtain

$$n^{-1/p} \Biggl\vert E\max_{1\leq k\leq n}\sum _{j=-\infty}^{+\infty}a_{j}\sum _{i=j+1}^{j+k}Y_{i}' \Biggr\vert < \varepsilon/4.$$
(3.1)

By (3.1), we have

\begin{aligned}& \sum_{n=1}^{\infty} n^{\alpha-2}P\Bigl\{ \max_{1\leq k\leq n} \vert S_{k} \vert \geq \varepsilon n^{1/p}\Bigr\} \\& \quad = \sum_{n=1}^{\infty} n^{\alpha-2}P \Biggl\{ \max_{1\leq k\leq n} \Biggl\vert \sum _{j=-\infty}^{+\infty}a_{j}\sum _{i=j+1}^{j+k}Y_{i} \Biggr\vert \geq \varepsilon n^{1/p}\Biggr\} \\& \quad \leq \sum_{n=1}^{\infty} n^{\alpha-2}P\Biggl\{ \max_{1\leq k\leq n} \Biggl\vert \sum _{j=-\infty}^{+\infty}a_{j}\sum _{i=j+1}^{j+k}Y''_{i} \Biggr\vert \geq \varepsilon n^{1/p}/2\Biggr\} \\& \qquad {} + \sum_{n=1}^{\infty} n^{\alpha-2}P\Biggl\{ \max_{1\leq k\leq n} \Biggl\vert \sum _{j=-\infty}^{+\infty}a_{j}\sum _{i=j+1}^{j+k}\bigl(Y'_{i}-EY'_{i} \bigr) \Biggr\vert \geq\varepsilon n^{1/p}/4\Biggr\} \\& \quad =: I_{1}+I_{2}. \end{aligned}

For $$I_{1}$$, noting $$\alpha p>1$$, it follows from Lemma 2.3 and the Markov inequality that

\begin{aligned} I_{1} \leq& C\sum_{n=1}^{\infty} n^{\alpha-2-1/p}E\max_{1\leq k\leq n} \Biggl\vert \sum _{j=-\infty}^{\infty}a_{j}\sum _{i=j+1}^{j+k}Y''_{i} \Biggr\vert \\ \leq& C\sum_{n=1}^{\infty} n^{\alpha-2-1/p} \sum_{j=-\infty}^{+\infty } \vert a_{j} \vert \sum_{i=j+1}^{j+n}E \vert Y_{i} \vert I\bigl( \vert Y_{i} \vert >n^{1/p}\bigr) \\ \leq& C\sum_{n=1}^{\infty} n^{\alpha-1-1/p}E \vert Y \vert I\bigl( \vert Y \vert >n^{1/p}\bigr) \\ =& C\sum_{n=1}^{\infty} n^{\alpha-1-1/p}\sum _{l=n}^{\infty }E \vert Y \vert I \bigl(l^{1/p}< \vert Y \vert \leq(l+1)^{1/p}\bigr) \\ \leq& C\sum_{l=1}^{\infty}E \vert Y \vert I\bigl(l^{1/p}< \vert Y \vert \leq(l+1)^{1/p}\bigr)\sum _{n=1}^{l} n^{\alpha-1-1/p} \\ \leq& C\sum_{l=1}^{\infty}l^{\alpha-1/p}E \vert Y \vert I\bigl(l^{1/p}< \vert Y \vert \leq(l+1)^{1/p} \bigr) \leq E \vert Y \vert ^{\alpha p}< \infty. \end{aligned}
(3.2)

For $$I_{2}$$, from Lemma 2.2, we see that $$\{Y'_{j}-EY'_{j}\}$$ is still a $$\rho^{-}$$-mixing random variable sequence. By Lemma 2.1, Markov and Hölder inequalities, we have that for any $$v\geq2$$,

\begin{aligned} I_{2} \leq&{C}\sum_{n=1}^{\infty} n^{\alpha-2-v/p}E\Biggl\{ \max_{1\leq k\leq n} \Biggl\vert \sum _{j=-\infty}^{+\infty}a_{j}\Biggl(\sum _{i=j+1}^{j+k}\bigl(Y'_{i}-EY'_{i} \bigr)\Biggr) \Biggr\vert \Biggr\} ^{v} \\ \leq&{C}\sum_{n=1}^{\infty}n^{\alpha-2-v/p}E \Biggl\{ \sum_{j=-\infty }^{+\infty} \vert a_{j} \vert \max_{1\leq k\leq n} \Biggl\vert \sum _{i=j+1}^{j+k}\bigl(Y'_{i}-EY'_{i} \bigr) \Biggr\vert \Biggr\} ^{v} \\ =&{C}\sum_{n=1}^{\infty}n^{\alpha-2-v/p}E \Biggl\{ \sum_{j=-\infty}^{+\infty } \vert a_{j} \vert ^{1-1/v}\Biggl( \vert a_{j} \vert ^{1/v}\max_{1\leq k\leq n} \Biggl\vert \sum _{i=j+1}^{j+k}\bigl(Y'_{i}-EY'_{i} \bigr) \Biggr\vert \Biggr)\Biggr\} ^{v} \\ \leq&{C}\sum_{n=1}^{\infty} n^{\alpha-2-v/p} \Biggl(\sum_{j=-\infty }^{+\infty} \vert a_{j} \vert \Biggr)^{v-1}\Biggl(\sum _{j=-\infty}^{+\infty} \vert a_{j} \vert E\Biggl( \max_{1\leq k\leq n} \Biggl\vert \sum_{i=j+1}^{j+k} \bigl(Y'_{i}-EY'_{i}\bigr) \Biggr\vert ^{v}\Biggr)\Biggr) \\ \leq& C\sum_{n=1}^{\infty} n^{\alpha-2-v/p} \sum_{j=-\infty}^{+\infty } \vert a_{j} \vert \Biggl\{ \sum_{i=j+1}^{j+n}E \bigl\vert Y'_{i} \bigr\vert ^{v}+\Biggl(\sum _{i=j+1}^{j+n}E \bigl\vert Y'_{i} \bigr\vert ^{2} \Biggr)^{v/2}\Biggr\} \\ =& C\sum_{n=1}^{\infty} n^{\alpha-2-v/p}\sum _{j=-\infty}^{+\infty } \vert a_{j} \vert \Biggl\{ \sum_{i=j+1}^{j+n}\bigl\{ E \vert Y_{i} \vert ^{v}I\bigl( \vert Y_{i} \vert \leq n^{1/p}\bigr)+n^{v/p}P\bigl( \vert Y_{i} \vert >n^{1/p}\bigr)\bigr\} \Biggr\} \\ &{}+ C\sum_{n=1}^{\infty} n^{\alpha-2-v/p}\sum _{j=-\infty}^{+\infty } \vert a_{j} \vert \Biggl\{ \sum_{i=j+1}^{j+n}\bigl\{ E \vert Y_{i} \vert ^{2}I\bigl( \vert Y_{i} \vert \leq n^{1/p}\bigr)+n^{2/p}P\bigl( \vert Y_{i} \vert >n^{1/p}\bigr)\bigr\} ^{v/2}\Biggr\} \\ \leq& C\sum_{n=1}^{\infty} n^{\alpha-1-v/p} \bigl\{ E \vert Y \vert ^{v}I\bigl( \vert Y \vert \leq n^{1/p}\bigr)+n^{v/p}P\bigl( \vert Y \vert >n^{1/p}\bigr)\bigr\} \\ &+ C\sum_{n=1}^{\infty} n^{\alpha-2-v/p+v/2}\bigl\{ E \vert Y \vert ^{2}I\bigl( \vert Y \vert \leq n^{1/p}\bigr)+n^{2/p}P\bigl( \vert Y \vert >n^{1/p}\bigr)\bigr\} ^{v/2} \\ =:&I_{21}+I_{22}. \end{aligned}

For $$I_{21}$$, taking $$v\geq\alpha p$$, we have

\begin{aligned} I_{21} =&C\sum_{n=1}^{\infty} n^{\alpha-1-v/p}E \vert Y \vert ^{v}I\bigl( \vert Y \vert \leq n^{1/p}\bigr)+C\sum_{n=1}^{\infty} n^{\alpha-1}P\bigl( \vert Y \vert >n^{1/p}\bigr) \\ =&C\sum_{n=1}^{\infty} n^{\alpha-1-v/p}\sum _{l=1}^{n}E \vert Y \vert ^{v}I\bigl((l-1)^{{1/p}}< \vert Y \vert \leq l^{1/p}\bigr) \\ &{}+C\sum_{n=1}^{\infty }n^{\alpha-1} \sum_{l=n}^{\infty}P\bigl(l^{1/p}< \vert Y \vert \leq(l+1)^{1/p}\bigr) \\ =&C\sum_{l=1}^{\infty}E \vert Y \vert ^{v}I\bigl((l-1)^{{1/p}}< \vert Y \vert \leq l^{1/p}\bigr)\sum_{n=l}^{\infty} n^{\alpha-1-v/p} \\ &{}+C\sum_{l=1}^{\infty}l^{\alpha} P\bigl(l^{1/p}< \vert Y \vert \leq(l+1)^{1/p}\bigr) \\ \leq& C\sum_{l=1}^{\infty}l^{\alpha -v/p}E \vert Y \vert ^{v}I\bigl((l-1)^{{1/p}}< \vert Y \vert \leq l^{1/p}\bigr) +CE \vert Y \vert ^{\alpha p} \\ \leq& CE \vert Y \vert ^{\alpha p}< \infty. \end{aligned}
(3.3)

For $$I_{22}$$, we will prove the claim based on two cases.

If $$\alpha p<2$$, setting $$v=2$$, similar to the proof of $$I_{21}$$, we obtain

$$I_{22}=C\sum_{n=1}^{\infty} n^{\alpha-1-2/p}\bigl\{ E \vert Y \vert ^{2}I\bigl( \vert Y \vert \leq n^{1/p}\bigr)+n^{2/p}P\bigl( \vert Y \vert >n^{1/p}\bigr)\bigr\} < \infty.$$
(3.4)

If $$\alpha p\geq2$$, noting that $$E|Y|^{2}<\infty$$, choosing $$v>\max\{ 2,(\alpha-1)2p/(2-p)\}$$, we have that $$\alpha-v/p+v/2<1$$, and therefore

$$I_{22}\leq C\sum_{n=1}^{\infty} n^{\alpha-2-v/p+v/2}\bigl\{ E|Y|^{2}\bigr\} ^{v/2}< \infty.$$
(3.5)

Thus, from (3.2)–(3.5), we see that (2.2) is satisfied. □

Next, we prove Theorem 2.2.

### Proof of Theorem 2.2

From the proof of Theorem 2.1, we only need to prove $$I_{1}<\infty$$, $$I_{2}<\infty$$.

For $$I_{1}$$, noting $$\theta\in(0,1)$$ if $$p=1$$, and $$\theta=1$$ if $$1< p<2$$, by the Markov and $$C_{r}$$-inequalities, we have

\begin{aligned} I_{1} \leq& C\sum_{n=1}^{\infty} n^{-1-\theta/p}E\max_{1\leq k\leq n} \Biggl\vert \sum _{j=-\infty}^{+\infty}a_{j}\sum _{i=j+1}^{j+k}Y''_{i} \Biggr\vert ^{\theta} \\ \leq& C\sum_{n=1}^{\infty} n^{-1-\theta/p} \sum_{j=-\infty}^{+\infty } \vert a_{j} \vert ^{\theta}\sum_{i=j+1}^{j+n}E \vert Y_{i} \vert ^{\theta }I\bigl( \vert Y_{i} \vert >n^{1/p}\bigr) \\ \leq& C\sum_{n=1}^{\infty} n^{-\theta/p}E \vert Y \vert ^{\theta}I\bigl( \vert Y \vert >n^{1/p}\bigr) \\ =&C\sum_{n=1}^{\infty} n^{-\theta/p}\sum _{l=n}^{\infty}E \vert Y \vert ^{\theta }I\bigl(l^{1/p}< \vert Y \vert \leq(l+1)^{1/p} \bigr) \\ =& C\sum_{l=1}^{\infty}E \vert Y \vert ^{\theta}I\bigl(l^{1/p}< \vert Y \vert \leq (l+1)^{1/p}\bigr)\sum_{n=1}^{l}n^{-\theta/p} \\ \leq& C\sum_{l=1}^{\infty}l^{1-\theta/p}E \vert Y \vert ^{\theta }I\bigl(l^{1/p}< \vert Y \vert \leq(l+1)^{1/p}\bigr) < CE \vert Y \vert ^{p}< \infty. \end{aligned}
(3.6)

For $$I_{2}$$, by Markov and Hölder inequalities, as well as Lemmas 2.12.3, we obtain

\begin{aligned} I_{2} =&\sum_{n=1}^{\infty} n^{-1-2/p}E\Biggl\{ \max_{1\leq k\leq n} \Biggl\vert \sum _{j=-\infty}^{+\infty}a_{j}\Biggl(\sum _{i=j+1}^{j+k}\bigl(Y'_{i}-EY'_{i} \bigr)\Biggr) \Biggr\vert ^{2}\Biggr\} \\ =&\sum_{n=1}^{\infty}n^{-1-2/p}E\Biggl\{ \sum_{j=-\infty}^{+\infty } \vert a_{j} \vert ^{1/2}\Biggl( \vert a_{j} \vert ^{1/2} \max_{1\leq k\leq n} \Biggl\vert \sum_{i=j+1}^{j+k} \bigl(Y'_{i}-EY'_{i}\bigr) \Biggr\vert \Biggr)\Biggr\} ^{2} \\ \leq&\sum_{n=1}^{\infty} n^{-1-2/p} \Biggl(\sum_{j=-\infty}^{+\infty } \vert a_{j} \vert \Biggr) \Biggl(\sum_{j=1}^{\infty} \vert a_{j} \vert E\Biggl(\max_{1\leq k\leq n} \Biggl\vert \sum_{i=j+1}^{j+k}\bigl(Y'_{i}-EY'_{i} \bigr) \Biggr\vert ^{2}\Biggr)\Biggr) \\ \leq& C\sum_{n=1}^{\infty} n^{-1-2/p} \sum_{j=-\infty}^{+\infty } \vert a_{j} \vert \sum_{i=j+1}^{j+n}E \bigl\vert Y'_{i} \bigr\vert ^{2} \\ \leq& C\sum_{n=1}^{\infty} n^{-1-2/p} \sum_{j=-\infty}^{+\infty } \vert a_{j} \vert \Biggl\{ \sum_{i=j+1}^{j+n}\bigl\{ E \vert Y_{i} \vert ^{2}I\bigl( \vert Y_{i} \vert \leq n^{1/p}\bigr)+n^{2/p}P\bigl( \vert Y_{i} \vert >n^{1/p}\bigr)\bigr\} \Biggr\} \\ \leq& C\sum_{n=1}^{\infty} n^{-2/p} \bigl\{ E \vert Y \vert ^{2}I\bigl( \vert Y \vert \leq n^{1/p}\bigr)+n^{2/p}P\bigl( \vert Y \vert >n^{1/p}\bigr)\bigr\} \\ \leq& C\sum_{n=1}^{\infty} n^{-2/p} \sum_{l=1}^{n}E \vert Y \vert ^{2}I\bigl((l-1)^{1/p}< \vert Y \vert \leq l^{1/p}\bigr)+CE \vert Y \vert ^{p} \\ \leq& C\sum_{l=1}^{\infty} l^{1-2/p}E \vert Y \vert ^{2}I\bigl((l-1)^{1/p}< \vert Y \vert < l^{1/p}\bigr)+CE \vert Y \vert ^{p} \\ \leq& CE \vert Y \vert ^{p}< \infty. \end{aligned}
(3.7)

Combing (3.6) and (3.7), we see that Theorem 2.2 holds. □

### Proof of Theorem 2.3

Let $$x>n^{\gamma/p}$$ and consider

\begin{aligned}& Y_{j}'=-x^{1/\gamma}I\bigl(Y_{j}< -x^{1/\gamma} \bigr)+Y_{j}I\bigl( \vert Y_{j} \vert \leq x^{1/\gamma}\bigr)+x^{1/\gamma}I\bigl(Y_{j}>x^{1/\gamma} \bigr), \\& Y_{j}''=Y_{j}-Y_{j}'= \bigl(Y_{j}+x^{1/\gamma}\bigr)I\bigl(Y_{j}< -x^{1/\gamma } \bigr)+\bigl(Y_{j}-x^{1/\gamma}\bigr)I\bigl(Y_{j}>x^{1/\gamma} \bigr). \end{aligned}

Similarly to the proof of (3.1), for large enough x, we get

$$x^{-1/\gamma} \Biggl\vert E\max_{1\leq k\leq n}\sum _{j=-\infty}^{+\infty }a_{j}\sum _{i=j+1}^{j+k}Y_{i}' \Biggr\vert < \varepsilon/4.$$
(3.8)

Then, we have

\begin{aligned}& \sum_{n=1}^{\infty} n^{\alpha-2-\gamma/p}E\Bigl\{ \max_{1\leq k\leq n} \vert S_{k} \vert -\varepsilon n^{1/p}\Bigr\} _{+}^{\gamma} \\& \quad = \sum_{n=1}^{\infty} n^{\alpha-2-\gamma/p} \int_{0}^{\infty}P\Bigl(\max_{1\leq k\leq n} \vert S_{k} \vert >\varepsilon n^{1/p}+x^{1/\gamma} \Bigr)\,dx \\& \quad \leq \sum_{n=1}^{\infty} n^{\alpha-2-\gamma/p} \int_{0}^{n^{\gamma /p}}P\Bigl(\max_{1\leq k\leq n} \vert S_{k} \vert >\varepsilon n^{1/p}\Bigr)\,dx \\& \qquad {} +\sum_{n=1}^{\infty} n^{\alpha-2-\gamma/p} \int_{n^{\gamma /p}}^{\infty}P\Bigl(\max_{1\leq k\leq n} \vert S_{k} \vert >x^{1/\gamma}\Bigr)\,dx \\& \quad \leq \sum_{n=1}^{\infty} n^{\alpha-2}P\Bigl(\max_{1\leq k\leq n} \vert S_{k} \vert >\varepsilon n^{1/p}\Bigr) \\& \qquad {} +\sum_{n=1}^{\infty} n^{\alpha-2-\gamma/p} \int_{n^{\gamma /p}}^{\infty}P\Bigl(\max_{1\leq k\leq n} \vert S_{k} \vert >x^{1/\gamma}\Bigr)\,dx. \end{aligned}

It follows from Theorem 2.1 that

$$\sum_{n=1}^{\infty} n^{\alpha-2}P\Bigl(\max _{1\leq k\leq n} \vert S_{k} \vert >\varepsilon n^{1/p}\Bigr)< \infty.$$
(3.9)

To prove (2.4) of Theorem 2.3, we only need to prove

$$I_{3}=:\sum_{n=1}^{\infty} n^{\alpha-2-\gamma/p} \int_{n^{\gamma /p}}^{\infty}P\Bigl(\max_{1\leq k\leq n}|S_{k}|>x^{1/\gamma} \Bigr)\,dx< \infty.$$

By (3.8), we get

\begin{aligned} I_{3} \leq& C\sum_{n=1}^{\infty} n^{\alpha-2-\gamma/p} \int_{n^{\gamma /p}}^{\infty}P\Biggl\{ \max_{1\leq k\leq n} \Biggl\vert \sum_{j=-\infty}^{+\infty }a_{j} \sum_{i=j+1}^{j+k}Y''_{i} \Biggr\vert \geq x^{1/\gamma}/2\Biggr\} \,dx \\ &{}+C\sum_{n=1}^{\infty} n^{\alpha-2-\gamma/p} \int_{n^{\gamma /p}}^{\infty}P\Biggl\{ \max_{1\leq k\leq n} \Biggl\vert \sum_{j=-\infty}^{+\infty }a_{j} \sum_{i=j+1}^{j+k}\bigl(Y'_{i}-EY'_{i} \bigr) \Biggr\vert \geq x^{1/\gamma}/4\Biggr\} \,dx \\ =:&I_{31}+I_{32}. \end{aligned}

For $$I_{31}$$, by Markov inequality and Lemma 2.3, we get

\begin{aligned} I_{31} \leq& C\sum_{n=1}^{\infty} n^{\alpha-2-\gamma/p} \int_{n^{\gamma /p}}^{\infty}x^{-1/\gamma}E\max _{1\leq k\leq n} \Biggl\vert \sum_{j=-\infty }^{+\infty}a_{j} \sum_{i=j+1}^{j+k}Y''_{i} \Biggr\vert \,dx \\ \leq& C\sum_{n=1}^{\infty} n^{\alpha-2-\gamma/p} \int_{n^{\gamma /p}}^{\infty}x^{-1/\gamma}\sum _{j=-\infty}^{+\infty} \vert a_{j} \vert \sum _{i=j+1}^{j+n}E \bigl\vert Y''_{i} \bigr\vert \,dx \\ \leq& C\sum_{n=1}^{\infty} n^{\alpha-2-\gamma/p} \int_{n^{\gamma /p}}^{\infty}x^{-1/\gamma}\sum _{j=-\infty}^{+\infty} \vert a_{j} \vert \sum _{i=j+1}^{j+n}E \vert Y_{i} \vert I\bigl( \vert Y_{i} \vert >x^{1/\gamma}\bigr)\,dx \\ \leq& C\sum_{n=1}^{\infty} n^{\alpha-1-\gamma/p} \int_{n^{\gamma /p}}^{\infty}x^{-1/\gamma}E \vert Y \vert I \bigl( \vert Y \vert >x^{1/\gamma}\bigr)\,dx \\ =& C\sum_{n=1}^{\infty} n^{\alpha-1-\gamma/p}\sum _{l=n}^{\infty} \int _{l^{\gamma/p}}^{(l+1)^{\gamma/p}}x^{-1/\gamma}E \vert Y \vert I \bigl( \vert Y \vert >x^{1/\gamma }\bigr)\,dx \\ \leq& C\sum_{n=1}^{\infty} n^{\alpha-1-\gamma/p} \sum_{l=n}^{\infty }l^{\gamma/p(1-1/\gamma)-1}E \vert Y \vert I\bigl( \vert Y \vert >{l^{1/p}}\bigr) \\ =& C\sum_{l=1}^{\infty}l^{\gamma/p-1/p-1}E \vert Y \vert I\bigl( \vert Y \vert >l^{1/p}\bigr)\sum _{n=1}^{l} n^{\alpha-1-\gamma/p} \\ \leq& \textstyle\begin{cases} C\sum_{l=1}^{\infty}l^{\gamma/p-1/p-1}E|Y|I(|Y|>l^{1/p})l^{\alpha -\gamma/p}, & \text{if } \gamma< \alpha p, \\ C\sum_{l=1}^{\infty}l^{\gamma/p-1/p-1}E|Y|I(|Y|>l^{1/p})\log(l+1), & \text{if } \gamma= \alpha p, \\ C\sum_{l=1}^{\infty}l^{\gamma/p-1/p-1}E|Y|I(|Y|>l^{1/p}), & \text{if } \gamma> \alpha p \end{cases}\displaystyle \\ \leq& \textstyle\begin{cases} C\sum_{l=1}^{\infty}l^{\alpha-1/p}E|Y|I(|Y|>l^{1/p}), & \text{if } \gamma< \alpha p, \\ C\sum_{l=1}^{\infty}l^{\alpha-1/p}\log(l+1)E|Y|I(|Y|>l^{1/p}),& \text{if } \gamma=\alpha p, \\ C\sum_{l=1}^{\infty}l^{\gamma/p-1/p}E|Y|I(|Y|>l^{1/p}), & \text{if } \gamma> \alpha p \end{cases}\displaystyle \\ \leq& \textstyle\begin{cases} CE|Y|^{\alpha p}< \infty, & \text{if } \gamma< \alpha p, \\ CE|Y|^{\alpha p}\log(|Y|+1)< \infty, & \text{if } \gamma=\alpha p, \\ CE|Y| ^{\gamma}< \infty, &\text{if } \gamma>\alpha p. \end{cases}\displaystyle \end{aligned}
(3.10)

For $$I_{32}$$, from Lemmas 2.12.3, Markov and Hölder inequalities, we have that for any $$v\geq2$$,

\begin{aligned} I_{32} \leq& C\sum_{n=1}^{\infty} n^{\alpha-2-\gamma/p} \int_{n^{\gamma /p}}^{\infty}x^{-v/\gamma}E\Biggl\{ \max _{1\leq k\leq n} \Biggl\vert \sum_{j=-\infty }^{+\infty}a_{j} \sum_{i=j+1}^{j+k}\bigl(Y'_{i}-EY'_{i} \bigr) \Biggr\vert \Biggr\} ^{v}\,dx \\ \leq& C\sum_{n=1}^{\infty} n^{\alpha-2-\gamma/p} \int_{n^{\gamma /p}}^{\infty}x^{-v/\gamma}E\Biggl\{ \sum _{j=-\infty}^{+\infty} \vert a_{j} \vert \max _{1\leq k\leq n} \Biggl\vert \sum_{i=j+1}^{j+k} \bigl(Y'_{i}-EY'_{i}\bigr) \Biggr\vert \Biggr\} ^{v}\,dx \\ \leq& C\sum_{n=1}^{\infty} n^{\alpha-2-\gamma/p} \int_{n^{\gamma /p}}^{\infty}x^{-v/\gamma}E\Biggl\{ \sum _{j=-\infty}^{+\infty } \vert a_{j} \vert ^{1-1/v}\Biggl( \vert a_{j} \vert ^{1/v}\max _{1\leq k\leq n} \Biggl\vert \sum_{i=j+1}^{j+k} \bigl(Y'_{i}-EY'_{i}\bigr) \Biggr\vert \Biggr)\Biggr\} ^{v}\,dx \\ \leq& C\sum_{n=1}^{\infty} n^{\alpha-2-\gamma/p} \int_{n^{\gamma /p}}^{\infty}x^{-v/\gamma}\Biggl(\sum _{j=-\infty}^{+\infty } \vert a_{j} \vert \Biggr)^{v-1} \\ &{}\times\Biggl(\sum_{j=-\infty}^{+\infty} \vert a_{j} \vert E\Biggl(\max_{1\leq k\leq n} \Biggl\vert \sum_{i=j+1}^{j+k}\bigl(Y'_{i}-EY'_{i} \bigr) \Biggr\vert ^{v}\Biggr)\Biggr)\,dx \\ \leq& C\sum_{n=1}^{\infty} n^{\alpha-2-\gamma/p} \int_{n^{\gamma /p}}^{\infty}x^{-v/\gamma}\sum _{j=-\infty}^{+\infty} \vert a_{j} \vert \Biggl\{ \sum_{i=j+1}^{j+n}E \bigl\vert Y'_{i} \bigr\vert ^{v}+\Biggl(\sum _{i=j+1}^{j+n}E \bigl\vert Y'_{j} \bigr\vert ^{2} \Biggr)^{v/2}\Biggr\} \,dx \\ \leq& C\sum_{n=1}^{\infty} n^{\alpha-2-\gamma/p} \int_{n^{\gamma /p}}^{\infty}x^{-v/\gamma}\sum _{j=-\infty}^{+\infty} \vert a_{j} \vert \\ &{}\times\Biggl\{ \sum _{i=j+1}^{j+n}\bigl\{ E \vert Y_{i} \vert ^{v}I\bigl( \vert Y_{i} \vert \leq x^{1/\gamma}\bigr)+x^{v/\gamma }P\bigl( \vert Y_{i} \vert >x^{1/\gamma}\bigr)\bigr\} \Biggr\} \,dx \\ &{} + C\sum_{n=1}^{+\infty} n^{\alpha-2-\gamma/p} \int_{n^{\gamma /p}}^{\infty}x^{-v/\gamma}\sum _{j=-\infty}^{+\infty} \vert a_{j} \vert \\ &{}\times \Biggl\{ \sum _{i=j+1}^{j+n}\bigl\{ E \vert Y_{i} \vert ^{2}I\bigl( \vert Y_{i} \vert \leq x^{1/\gamma}\bigr)+x^{2/\gamma }P\bigl( \vert Y_{i} \vert >x^{1/\gamma}\bigr)\bigr\} \Biggr\} ^{v/2}\,dx \\ \leq& C\sum_{n=1}^{\infty} n^{\alpha-1-\gamma/p} \int_{n^{\gamma /p}}^{\infty}x^{-v/\gamma}\bigl\{ E \vert Y \vert ^{v}I\bigl( \vert Y \vert \leq x^{1/\gamma} \bigr)+x^{v/\gamma }P\bigl( \vert Y \vert >x^{1/\gamma}\bigr)\bigr\} \,dx \\ &{}+C\sum_{n=1}^{\infty} n^{\alpha-2-\gamma/p+v/2} \int_{n^{\gamma /p}}^{\infty}x^{-v/\gamma}\bigl\{ E \vert Y \vert ^{2}I\bigl( \vert Y \vert \leq x^{1/\gamma} \bigr)+x^{2/\gamma }P\bigl( \vert Y \vert >x^{1/\gamma}\bigr)\bigr\} ^{v/2}\,dx \\ =:&I_{321}+I_{322}. \end{aligned}

For $$I_{321}$$, taking $$v> \alpha p$$, we have

\begin{aligned} I_{321} =&C\sum_{n=1}^{\infty} n^{\alpha-1-\gamma/p}\sum_{l=n}^{\infty } \int_{l^{\gamma/p}}^{(l+1)^{\gamma/p}}\bigl[x^{-v/\gamma}E \vert Y \vert ^{v}I\bigl( \vert Y \vert \leq x^{1/\gamma}\bigr)+P \bigl( \vert Y \vert >x^{1/\gamma}\bigr)\bigr]\,dx \\ \leq& C\sum_{n=1}^{\infty} n^{\alpha-1-\gamma/p} \sum_{l=n}^{\infty }\bigl[l^{(\gamma/p(1-v/\gamma)-1)}E \vert Y \vert ^{v}I\bigl( \vert Y \vert \leq(l+1)^{1/p} \bigr)+l^{\gamma /p-1}P\bigl( \vert Y \vert >l^{1/p}\bigr)\bigr] \\ \leq& C\sum_{l=1}^{\infty} \bigl[l^{(\gamma/p-v/p-1)}E \vert Y \vert ^{v}I\bigl( \vert Y \vert \leq (l+1)^{1/p}\bigr)+l^{\gamma/p-1}P\bigl( \vert Y \vert >l^{1/p}\bigr)\bigr]\sum_{n=1}^{l} n^{\alpha -1-\gamma/p} \\ \leq& \textstyle\begin{cases} C\sum_{l=1}^{\infty}[l^{\alpha-v/p-1}E|Y|^{v}I(|Y|\leq (l+1)^{1/p})+l^{\alpha-1}P(|Y|>l^{1/p})], \\ \quad \text{if } \gamma< \alpha p, \\ C\sum_{l=1}^{\infty}[l^{\alpha-v/p-1}E|Y|^{v}I(|Y|\leq (l+1)^{1/p})+l^{\alpha-1}P(|Y|>l^{1/p})]\log(l+1), \\ \quad \text{if } \gamma =\alpha p, \\ C\sum_{l=1}^{\infty}[l^{\gamma/p-v/p-1}E|Y|^{v}I(|Y|\leq (l+1)^{1/p})+l^{\gamma/p-1}P(|Y|>l^{1/p})], \\ \quad \text{if } \gamma>\alpha p \end{cases}\displaystyle \\ \leq& \textstyle\begin{cases} C\sum_{k=1}^{\infty}k^{\alpha-v/p}E|Y|^{v}I((k-1)^{1/p}< |Y|\leq k^{1/p})+CE|Y|^{\alpha p}, \\ \quad \text{if } \gamma< \alpha p, \\ C\sum_{k=1}^{\infty}k^{\alpha-v/p}E|Y|^{v}I((k-1)^{1/p}< |Y|\leq k^{1/p})\log(k+1)+CE|Y|^{\alpha p}\log(|Y|+1), \\ \quad \text{if } \gamma =\alpha p, \\ C\sum_{k=1}^{\infty}k^{\gamma/p-v/p}E|Y|^{v}I((k-1)^{1/p}< |Y|\leq k^{1/p})+CE|Y| ^{\gamma}, \\ \quad \text{if } \gamma> \alpha p \end{cases}\displaystyle \\ \leq& \textstyle\begin{cases} CE|Y|^{\alpha p}< \infty, &\text{if } \gamma< \alpha p, \\ CE|Y|^{\alpha p}\log(|Y|+1)< \infty, & \text{if } \gamma=\alpha p, \\ CE|Y| ^{\gamma}< \infty, & \text{if } \gamma>\alpha p. \end{cases}\displaystyle \end{aligned}
(3.11)

For $$I_{322}$$, we prove the claim by considering two cases.

If $$\alpha p<2$$, setting $$v=2$$, we have

$$I_{322}=C \sum_{n=1}^{\infty} n^{r-1-\gamma/p} \int_{n^{\gamma /p}}^{\infty}x^{-2/\gamma}\bigl\{ E \vert Y \vert ^{2}I\bigl( \vert Y \vert \leq x^{1/\gamma} \bigr)+x^{2/\gamma }P\bigl( \vert Y \vert >x^{1/\gamma}\bigr)\bigr\} \,dx.$$

Similarly to the proof of $$I_{321}$$, we have

$$I_{322}< \infty.$$
(3.12)

If $$\alpha p\geq2$$, noting that $$E|Y|^{2}<\infty$$, choosing $$v>\max\{ 2,\gamma,(\alpha-1)2p/(2-p)\}$$, we obtain $$\alpha-v/p+v/2<1$$. Therefore, we have

\begin{aligned} I_{322} \leq& C\sum_{n=1}^{\infty} n^{\alpha-2-\gamma/p+v/2} \int _{n^{\gamma/p}}^{\infty}x^{-v/\gamma}\bigl\{ E|Y|^{2}\bigr\} ^{v/2}\,dx \\ \leq& C\sum_{n=1}^{\infty} n^{\alpha-2+v/2-v/p} \bigl\{ E|Y|^{2}\bigr\} ^{v/2}< \infty. \end{aligned}
(3.13)

Then, by (3.6)–(3.13), we see that (2.4) is true.

Next, we prove (2.5).

\begin{aligned}& \sum_{n=1}^{\infty} n^{\alpha-2}E\Bigl\{ \sup_{ k\geq n} \bigl\vert k^{-1/p}S_{k} \bigr\vert -\varepsilon\Bigr\} _{+}^{\gamma} \\& \quad = \sum_{n=1}^{\infty} n^{\alpha-2} \int_{0}^{\infty}P\Bigl(\sup_{ k\geq n} \bigl\vert k^{-1/p}S_{k} \bigr\vert >\varepsilon+x^{1/\gamma} \Bigr)\,dx \\& \quad = \sum_{j=1}^{\infty}\sum _{n=2^{j-1}}^{2^{j}-1} n^{\alpha-2} \int _{0}^{\infty}P\Bigl(\sup_{ k\geq n} \bigl\vert k^{-1/p}S_{k} \bigr\vert >\varepsilon+x^{1/\gamma } \Bigr)\,dx \\& \quad \leq C \sum_{j=1}^{\infty} \int_{0}^{\infty}P\Bigl(\sup_{ k\geq 2^{j-1}} \bigl\vert k^{-1/p}S_{k} \bigr\vert >\varepsilon+x^{1/\gamma} \Bigr)\,dx\sum_{n=2^{j-1}}^{2^{j}-1} 2^{j(\alpha-2)} \\& \quad \leq C\sum_{j=1}^{\infty}2^{j(\alpha-1)} \int_{0}^{\infty}P\Bigl(\sup_{ k\geq2^{j-1}} \bigl\vert k^{-1/p}S_{k} \bigr\vert >\varepsilon+x^{1/\gamma} \Bigr)\,dx \\& \quad \leq C\sum_{j=1}^{\infty}2^{j(\alpha-1)} \sum_{l=j}^{\infty} \int _{0}^{\infty}P\Bigl(\max_{2^{l-1}\leq k\leq 2^{l}} \bigl\vert k^{-1/p}S_{k} \bigr\vert >\varepsilon+x^{1/\gamma} \Bigr)\,dx \\& \quad \leq C\sum_{l=1}^{\infty} \int_{0}^{\infty}P\Bigl(\max_{2^{l-1}\leq k\leq 2^{l}} \bigl\vert k^{-1/p}S_{k} \bigr\vert >\varepsilon+x^{1/\gamma} \Bigr)\,dx\sum_{j=1}^{l}2^{j(\alpha-1)} \\& \quad \leq C\sum_{l=1}^{\infty}2^{l(\alpha-1)} \int_{0}^{\infty}P\Bigl(\max_{2^{l-1}\leq k\leq2^{l}} \vert S_{k} \vert >\bigl(\varepsilon+x^{1/\gamma } \bigr)2^{(l-1)/p)}\Bigr)\,dx \\& \qquad \bigl(\mbox{Let }y=2^{(l-1)\gamma/p}x\bigr) \\& \quad \leq C\sum_{l=1}^{\infty}2^{l(\alpha-1-\gamma/p)} \int_{0}^{\infty }P\Bigl(\max_{1\leq k\leq2^{l}} \vert S_{k} \vert >\varepsilon2^{(l-1)/p}+y^{1/\gamma } \Bigr)\,dy \\& \quad \leq C\sum_{n=1}^{\infty}n^{(\alpha-2-\gamma/p)} \int_{0}^{\infty }P\Bigl(\max_{1\leq k\leq n} \vert S_{k} \vert >\varepsilon n^{1/p}2^{-1/p}+y^{1/\gamma } \Bigr)\,dy \\& \qquad \bigl(\mbox{Let }\varepsilon_{0}=2^{-1/p}\varepsilon \bigr) \\& \quad \leq C\sum_{n=1}^{\infty}n^{(\alpha-2-\gamma/p)}E \Bigl\{ \max_{1\leq k\leq n} \vert S_{k} \vert - \varepsilon_{0} n^{1/p}\Bigr\} _{+}^{\gamma}< \infty. \end{aligned}

Thus, (2.5) holds. □

Next, we prove Theorem 2.4.

### Proof of Theorem 2.4

Since the proof of Theorem 2.4 is similar to that of Theorem 2.3, we only give the proof outline as follows.

By (3.1), we have

\begin{aligned}& \sum_{n=1}^{\infty} n^{-1-\gamma/p}E\Bigl\{ \max_{1\leq k\leq n} \vert S_{k} \vert -\varepsilon n^{1/p}\Bigr\} _{+}^{\gamma} \\& \quad \leq \sum_{n=1}^{\infty} n^{-1}P \Bigl(\max_{1\leq k\leq n} \vert S_{k} \vert >\varepsilon n^{1/p}\Bigr) +\sum_{n=1}^{\infty} n^{-1-\gamma/p} \int_{n^{\gamma/p}}^{\infty}P\Bigl(\max_{1\leq k\leq n} \vert S_{k} \vert >x^{1/\gamma}\Bigr)\,dx \\& \quad =: J_{1} +J_{2}. \end{aligned}

For $$J_{1}$$, by Theorem 2.2, we have

$$J_{1}=\sum_{n=1}^{\infty} n^{-1}P\Bigl(\max_{1\leq k\leq n} \vert S_{k} \vert >\varepsilon n^{1/p}\Bigr)< \infty.$$
(3.14)

For $$J_{2}$$, similar to the proof of $$I_{3}$$, we have

\begin{aligned} J_{2} \leq& C\sum_{n=1}^{\infty} n^{-1-\gamma/p} \int_{n^{\gamma /p}}^{\infty}P\Biggl\{ \max_{1\leq k\leq n} \Biggl\vert \sum_{j=-\infty}^{ +\infty}a_{j} \sum_{i=j+1}^{j+k}Y''_{i} \Biggr\vert \geq x^{1/\gamma}/2\Biggr\} \,dx \\ &{} +C\sum_{n=1}^{\infty} n^{ -1-\gamma/p} \int_{n^{\gamma/p}}^{\infty }P\Biggl\{ \max_{1\leq k\leq n} \Biggl\vert \sum_{j=-\infty}^{+\infty}a_{j} \sum_{i=j+1}^{j+k}\bigl(Y'_{i}-EY'_{i} \bigr) \Biggr\vert \geq x^{1/\gamma}/4\Biggr\} \,dx \\ =:&J_{21}+J_{22}. \end{aligned}

For $$J_{21}$$, by Lemma 2.3, Markov and $$C_{r}$$ inequalities, similarly to the proof of $$I_{31}$$, we get

\begin{aligned} J_{21} \leq& C\sum_{n=1}^{\infty} n^{-1-\gamma/p} \int_{n^{\gamma /p}}^{\infty}x^{-\theta/\gamma}E\max _{1\leq k\leq n} \Biggl\vert \sum_{j=-\infty }^{+\infty}a_{j} \sum_{i=j+1}^{j+k}Y''_{i} \Biggr\vert ^{\theta} \,dx \\ \leq& C\sum_{n=1}^{\infty} n^{-\gamma/p} \sum_{l=n}^{\infty} \int _{l^{\gamma/p}}^{(l+1)^{\gamma/p}}x^{-\theta/\gamma}E \vert Y \vert ^{\theta }I\bigl( \vert Y \vert >x^{1/\gamma}\bigr)\,dx \\ \leq& C\sum_{n=1}^{\infty} n^{-\gamma/p} \sum_{l=n}^{\infty}l^{\gamma /p(1-\theta/\gamma)-1}E \vert Y \vert ^{\theta}I\bigl( \vert Y \vert >l^{/p}\bigr) \\ \leq& \textstyle\begin{cases} C\sum_{l=1}^{\infty}l^{-\theta/p}E|Y|^{\theta}I(|Y|>l^{1/p}),& \text{if } \gamma< p, \\ C\sum_{l=1}^{\infty}l^{-\theta/p}E|Y|^{\theta}I(|Y|>l^{1/p})\log(l+1), & \text{if } \gamma=p, \\ C\sum_{l=1}^{\infty}l^{\gamma/p-\theta/p-1}E|Y|^{\theta }I(|Y|>l^{1/p}), & \text{if } \gamma> p \end{cases}\displaystyle \\ \leq& \textstyle\begin{cases} CE|Y|^{p}< \infty, & \text{if } \gamma< p, \\ CE|Y|^{p}\log(|Y|+1)< \infty,& \text{if } \gamma=p, \\ CE|Y| ^{\gamma}< \infty,& \text{if } \gamma>p. \end{cases}\displaystyle \end{aligned}
(3.15)

For $$J_{22}$$, similar to the proof of $$I_{32}$$, taking $$v=2$$, we obtain

\begin{aligned} J_{22} \leq& C\sum_{n=1}^{\infty} n^{-1-\gamma/p} \int_{n^{\gamma /p}}^{\infty}x^{-2/\gamma}E\Biggl\{ \max _{1\leq k\leq n}\Biggl|\sum_{j=-\infty }^{+\infty}a_{j} \sum_{i=j+1}^{j+k}\bigl(Y'_{i}-EY'_{i} \bigr)\Biggr|^{2}\Biggr\} \,dx \\ \leq& C\sum_{n=1}^{\infty} n^{-1-\gamma/p} \int_{n^{\gamma/p}}^{\infty }x^{-2/\gamma}E\Biggl\{ \sum _{j=-\infty}^{+\infty }|a_{j}|^{1/2} \Biggl(|a_{j}|^{1/2}\max_{1\leq k\leq n}\Biggl|\sum _{i=j+1}^{j+k}\bigl(Y'_{i}-EY'_{i} \bigr)\Biggr|\Biggr)\Biggr\} ^{2}\,dx \\ \leq& C\sum_{n=1}^{\infty} n^{-1-\gamma/p} \int_{n^{\gamma/p}}^{\infty }x^{-2/\gamma}\sum _{j=-\infty}^{+\infty}|a_{j}|\sum _{i=j+1}^{i+n}E\bigl|Y'_{i}\bigr|^{2} \,dx \\ \leq& C\sum_{n=1}^{\infty} n^{-\gamma/p} \int_{n^{\gamma/p}}^{\infty }x^{-2/\gamma}\bigl\{ E|Y|^{2}I\bigl(|Y|\leq x^{1/\gamma}\bigr)+x^{2/\gamma }P \bigl(|Y|>x^{1/\gamma}\bigr)\bigr\} \,dx \\ =& C\sum_{n=1}^{\infty} n^{-\gamma/p}\sum _{l=n}^{\infty} \int _{l^{\gamma/p}}^{(l+1)^{\gamma/p}}\bigl[x^{-2/\gamma}E|Y|^{2}I \bigl(|Y|\leq x^{1/\gamma}\bigr)+P\bigl(|Y|>x^{1/\gamma}\bigr)\bigr]\,dx \\ \leq& C\sum_{l=1}^{\infty} \bigl[l^{(\gamma/p-2/p-1)}E|Y|^{2}I\bigl(|Y|\leq (l+1)^{1/p} \bigr)+l^{\gamma/p-1}P\bigl(|Y|>l^{1/p}\bigr)\bigr]\sum _{n=1}^{l} n^{-\gamma /p} \\ \leq& \textstyle\begin{cases} C\sum_{k=1}^{\infty}[k^{1-2/p}E|Y|^{2}I((k-1)^{1/p}< |Y|\leq k^{1/p})]+CE|Y|^{p}, \\ \quad \text{if } \gamma< p, \\ C\sum_{k=1}^{\infty}[k^{1-2/p}E|Y|^{2}I((k-1)^{1/p}< |Y|\leq k^{1/p})]\log(l+1)+CE|Y|^{p}\log(|Y|+1), \\ \quad \text{if } \gamma= p, \\ C\sum_{k=1}^{\infty}[k^{\gamma/p-2/p}E|Y|^{2}I((k-1)^{1/p}< |Y|\leq k^{1/p})]+CE|Y|^{\gamma}, \\ \quad \text{if } \gamma> p \end{cases}\displaystyle \\ \leq& \textstyle\begin{cases} CE|Y|^{p}< \infty, & \text{if } \gamma< p, \\ CE|Y|^{p}\log(|Y|+1)< \infty, &\text{if } \gamma=p, \\ CE|Y| ^{\gamma}< \infty, & \text{if } \gamma>p. \end{cases}\displaystyle \end{aligned}
(3.16)

Therefore, from (3.15)–(3.16), we see that (2.6) holds. □

## References

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

2. Chow, Y.S.: On the rate of moment complete convergence of sample sums and extremes. Bull. Inst. Math. Acad. Sin. 16, 177–201 (1988)

3. Ibragimov, I.A.: Some limit theorem for stationary processes. Theory Probab. Appl. 7, 349–382 (1962)

4. Burton, R.M., Dehling, H.: Large deviations for some weakly dependent random processes. Stat. Probab. Lett. 9, 397–401 (1990)

5. Li, D., Bhaskara Rao, M., Wang, X.: Complete convergence of moving average processes. Stat. Probab. Lett. 14, 111–114 (1992)

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

7. Zhang, L.: Complete convergence of moving average processes under dependence assumptions. Stat. Probab. Lett. 30, 165–170 (1996)

8. Chen, P.-Y., Hu, T.-C., Volodin, A.: Limiting behaviour of moving average processes under φ-mixing assumption. Stat. Probab. Lett. 75, 105–111 (2009)

9. Baek, J.I., Kim, T.S., Liang, H.Y.: On the convergence of moving average processes under dependent conditions. Aust. N. Z. J. Stat. 45(3), 331–342 (2003)

10. Yu, D.-M., Wang, Z.-J.: Complete convergence of moving average processes under negative dependence assumptions. Math. Appl. 15(1), 30–34 (2002)

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

12. Kim, T.S., Ko, M.H.: Complete moment convergence of moving average processes under dependence assumptions. Stat. Probab. Lett. 78(7), 839–846 (2008)

13. Kim, T.S., Ko, M.H., Choi, Y.K.: Complete moment convergence of moving average processes with dependent innovations. J. Korean Math. Soc. 45(2), 355–365 (2008)

14. Ko, M.H., Kim, T.S., Ryu, D.H.: On the complete moment convergence of moving average processes generated by ρ-mixing sequences. Commun. Korean Math. Soc. 23(4), 597–606 (2008)

15. Zhou, X.-C.: Complete moment convergence of moving average processes under φ-mixing assumptions. Stat. Probab. Lett. 80, 285–292 (2010)

16. Zhou, X.-C., Lin, J.-G.: Complete moment convergence of moving average processes under ρ-mixing assumption. Math. Slovaca 61(6), 979–992 (2011)

17. Qiu, D.-H., Chen, P.-Y.: Convergence for moving average processes under END set-up. Acta Math. Sci. Ser. A 35(4), 756–768 (2018)

18. Wang, J.-F., Lu, F.-B.: Inequalities of maximum of partial sums and weak convergence for a class of weak dependent random variables. Acta Math. Sin. 22, 693–700 (2006)

19. Budsaba, K., Chen, P.-Y., Volodin, A.: Limiting behavior of moving average processes based on a sequence of ρ-mixing random variables. Thail. Stat. 5, 69–80 (2007)

20. Budsaba, K., Chen, P.-Y., Volodin, A.: Limiting behavior of moving average processes based on a sequence of ρ-mixing and NA random variables. Lobachevskii J. Math. 26, 17–25 (2007)

21. Zhang, Y.: Complete moment convergence for moving average processes generated $$\rho ^{-}$$-mixing random variable. J. Inequal. Appl. (2015). https://doi.org/10.1186/s13660-015-0766-5

22. Tan, X.-L., Zhang, Y.: An almost sure central limit theorem of products of partial sums for ρ-mixing sequences. J. Inequal. Appl. (2012). https://doi.org/10.1186/1029-242X-2012-51

23. Wu, Q.Y.: Probability Limit Theory for Mixing Sequences. Science Press of China, Beijing (2006)

### Acknowledgements

The authors would like to thank the referees for their valuable comments and suggestions, which improved the manuscript.

Not applicable.

## Funding

This work was jointly supported by the National Natural Science Foundation of China (No. 61773217), the Scientific Research Fund of Hunan Provincial Education Department (18A013), the Construct Program of the Key Discipline in Hunan Province, the Key University Science Research Project of Anhui Province (No. KJ2016A705), the Key Program in the Youth Talent Support Plan in Universities of Anhui Province (No. gxyqZD2016317).

## Author information

Authors

### Contributions

The authors contributed equally and significantly in writing this paper. Both authors read and approved the final manuscript.

### Corresponding author

Correspondence to Quanxin Zhu.

## Ethics declarations

### Competing interests

The authors declare that they have no competing interests.

### Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

## Rights and permissions

Reprints and Permissions

Song, M., Zhu, Q. Convergence properties of the maximum partial sums for moving average process under $$\rho^{-}$$-mixing assumption. J Inequal Appl 2019, 90 (2019). https://doi.org/10.1186/s13660-019-2038-2

• Accepted:

• Published:

• DOI: https://doi.org/10.1186/s13660-019-2038-2

• 60F15
• 62G05

### Keywords

• Moving average process
• $$\rho^{-}$$-mixing sequence
• Complete convergence
• Maximum partial sums
• Complete γ-order moment convergence