Some inequalities for a LNQD sequence with applications

Abstract

In this paper, some inequalities for a linearly negative quadrant dependent (LNQD) sequence are obtained. As their application, the asymptotic normality of the weight function estimate for a regression function is established, which extends the results of Roussas et al. (J. Multivar. Anal. 40:162-291, 1992) and Yang (Acta. Math. Sin. Engl. Ser. 23(6):1013-1024, 2007) for the strong mixing case to the LNQD case.

MSC:60E15, 62G08, 62E20.

1 Introduction

We first recall the definitions of some dependent sequences.

Definition 1.1 (Lehmann [1])

Two random variables X and Y are said to be negative quadrant dependent (NQD) if

$$P(X\le x,Y\le y)\le P(X\le x)P(Y\le y)\text{for any }x,y\in R.$$

A sequence of random variables $\{X_n,n\ge 1\}$ is said to be pairwise negatively quadrant dependent (PNQD) if every pair of random variables in the sequence is NQD.

Definition 1.2 (Newman [2])

A sequence $\{X_n,n\ge 1\}$ of random variables is said to be linearly negative quadrant dependent (LNQD) if for any disjoint subsets $A,B\subset Z^{+}$ and positive $r_j$’s, ${\sum }_{k\in A}{r}_k{X}_k$ and ${\sum }_{j\in B}{r}_j{X}_j$ are NQD.

Definition 1.3 (Joag-Dev and Proschan [3])

Random variables $X_1,X_2,\dots ,X_n$ are said to be negatively associated (NA) if for every pair of disjoint subsets $A_1$ and $A_2$ of $\{1,2,\dots ,n\}$,

$$Cov(f_1(X_i;i\in A_1),f_2(X_j;j\in A_2))\le 0,$$

where $f_1$ and $f_2$ are increasing for every variable (or decreasing for every variable) so that this covariance exists. An infinite sequence of random variables $\{X_n;n\ge 1\}$ is said to be NA if every finite subfamily is NA.

Remark 1.1 (i) If $\{X_n,n\ge 1\}$ is a sequence of LNQD random variables, then $\{a{X}_n+b,n\ge 1\}$ is still a sequence of LNQD random variables, where a and b are real numbers. (ii) NA implies LNQD from the definitions, but LNQD does not imply NA.

Because of wide applications of LNQD random variables, the concept of LNQD random variables has received more and more attention recently. For example, Newman [2] established the central limit theorem for a strictly stationary LNQD process; Wang and Zhang [4] provided uniform rates of convergence in the central limit theorem for LNQD sequence; Ko et al.[5] obtained the Hoeffding-type inequality for LNQD sequence; Ko et al.[6] studied the strong convergence for weighted sums of LNQD arrays; Wang et al.[7] obtained some exponential inequalities for a linearly negative quadrant dependent sequence; Wu and Guan [8] obtained the mean convergence theorems for weighted sums of dependent random variables. In addition, from Remark 1.1, it is shown that LNQD is much weaker than NA and independent random variables. So, it is interesting to study some inequalities and their applications to a regression function for LNQD sequence.

The main results of this paper depend on the following lemmas.

Lemma 1.1 (Lehmann [1])

Let random variables X and Y be NQD, then

• (i) $\mathrm{E}XY\le \mathrm{E}X\mathrm{E}Y$;

• (ii) If f and g are both nondecreasing (or both nonincreasing) functions, then $f(X)$ and $g(Y)$ are NQD.

Lemma 1.2 (Zhang [4])

Suppose that$\{X_n;n\ge 1\}$is a sequence of LNQD random variables with$\mathrm{E}{X}_n=0$. Then for any$p>1$, there exists a positive constant D such that

$$\mathrm{E}|\sum _{i=1}^n{X}_i{|}^p\le D\mathrm{E}{\left(\sum _{i=1}^n{X}_i^2\right)}^{p/2}.$$

2 Main results

Now, we state our main results with their proofs.

Theorem 2.1 Let X and Y be NQD random variables with finite second moments. If f and g are complex-valued functions defined on R with bounded derivatives$f^{\mathrm{\prime }}$and$g^{\mathrm{\prime }}$, then

$$|Cov(f(X),g(Y))|\le {\parallel f^{\mathrm{\prime }}\parallel }_{\mathrm{\infty }}{\parallel g^{\mathrm{\prime }}\parallel }_{\mathrm{\infty }}|Cov(X,Y)|.$$

Proof The proof follows easily from the brief outline of the main points of the proof of Theorem 4.1 in Roussas [9], p.773]. □

By Theorem 2.1, we establish an inequality for characteristic function (c.f.) as follows:

Theorem 2.2 If$X_1,\dots ,X_m$are LNQD random variables with finite second moments, let${\phi }_j(t_j)$and$\phi (t_1,\dots ,t_m)$be c.f.’s of$X_j$and$(X_1,\dots ,X_m)$, respectively, then for all nonnegative (or nonpositive) real numbers$t_1,\dots ,t_m$,

$$|\phi (t_1,\dots ,t_m)-\prod _{j=1}^m{\phi }_j(t_j)|\le 4\sum _{1\le k<l\le m}|t_k{t}_l||Cov(X_k,X_l)|.$$

Proof Write

$$\begin{array}{rl}|\phi (t_1,\dots ,t_m)-\prod _{j=1}^m{\phi }_j(t_j)|\le & |\phi (t_1,\dots ,t_m)-\phi (t_1,\dots ,t_{m-1}){\phi }_m(t_m)|\\ +|\phi (t_1,\dots ,t_{m-1})-\prod _{j=1}^{m-1}{\phi }_j(t_j)|=:I_1+I_2.\end{array}$$

(2.1)

Further notice that $e^{ix}=cos(x)+isin(x)$. Thus,

$$\begin{array}{rl}{I}_1=& |\mathrm{E}exp\left(i\sum _{j=1}^m{t}_j{X}_j\right)-\mathrm{E}exp\left(i\sum _{j=1}^{m-1}{t}_j{X}_j\right)\mathrm{E}exp(i{t}_m{X}_m)|\\ \le & |Cov(cos\left(\sum _{j=1}^{m-1}{t}_j{X}_j\right),cos(t_m{X}_m))|+|Cov(sin\left(\sum _{j=1}^{m-1}{t}_j{X}_j\right),sin(t_m{X}_m))|\\ +|Cov(sin\left(\sum _{j=1}^{m-1}{t}_j{X}_j\right),cos(t_m{X}_m))|+|Cov(cos\left(\sum _{j=1}^{m-1}{t}_j{X}_j\right),sin(t_m{X}_m))|\\ =:& I_{11}+I_{12}+I_{13}+I_{14}.\end{array}$$

(2.2)

By the definition of LNQD, it is easy to see that $t_m{X}_m$ and ${\sum }_{j=1}^{m-1}{t}_j{X}_j$ are NQD for $t_1,\dots ,t_m>0$. Then by Theorem 2.1, we can obtain that

$$I_{11}\le |Cov(\sum _{j=1}^{m-1}{t}_j{X}_j,t_m{X}_m)|\le \sum _{j=1}^{m-1}{t}_j{t}_m|Cov(X_j,X_m)|.$$

(2.3)

Similarly as above, we have

$$I_{1i}\le \sum _{j=1}^{m-1}{t}_j{t}_m|Cov(X_j,X_m)|,i=2,3,4.$$

(2.4)

From (2.2) to (2.4), we obtain

$$I_1\le 4\sum _{j=1}^{m-1}{t}_j{t}_m|Cov(X_j,X_m)|.$$

(2.5)

Therefore, in view of (2.1) and (2.5), we obtain that

$$|\phi (t_1,\dots ,t_m)-\prod _{j=1}^m{\phi }_j(t_j)|\le 4\sum _{j=1}^{m-1}{t}_j{t}_m|Cov(X_j,X_m)|+I_2.$$

(2.6)

For $I_2$, using the same decomposition as in (2.1) above, we obtain

$$\begin{array}{rl}{I}_2& \le |\phi (t_1,\dots ,t_{m-1})-\phi (t_1,\dots ,t_{m-1}){\phi }_{m-1}(t_{m-1})|+|\phi (t_1,\dots ,t_{m-2})-\prod _{j=1}^{m-2}{\phi }_j(t_j)|\\ =:I_{21}+I_{22}.\end{array}$$

Similarly to the calculation of $I_1$, we get

$$I_2\le 4\sum _{j=1}^{m-2}{t}_j{t}_{m-1}|Cov(X_j,X_{m-1})|+I_{22}.$$

(2.7)

Thus, from (2.6) and (2.7), constantly repeating the above procedure, we get

$$\begin{array}{r}|\phi (t_1,\dots ,t_m)-\prod _{j=1}^m{\phi }_j(t_j)|\\ \le 4\sum _{j=1}^{m-1}{t}_j{t}_m|Cov(X_j,X_m)|+4\sum _{j=1}^{m-2}{t}_j{t}_{m-1}|Cov(X_j,X_{m-1})|\\ +4\sum _{j=1}^{m-3}{t}_j{t}_{m-2}|Cov(X_j,X_{m-2})|+\cdots +4|Cov(X_1,X_2)|\\ =4\sum _{l=2}^m\sum _{k=1}^{l-1}{t}_k{t}_l|Cov(X_k,X_l)|=4\sum _{1\le k<l\le m}{t}_k{t}_l|Cov(X_k,X_l)|.\end{array}$$

(2.8)

Note that for $t_1,\dots ,t_m<0$, $-t_m{X}_m$ and ${\sum }_{j=1}^{m-1}-t_j{X}_j$ are NQD by the definition of LNQD. Similarly as above, we obtain that

$$|\phi (t_1,\dots ,t_m)-\prod _{j=1}^m{\phi }_j(t_j)|\le 4\sum _{1\le k<l\le m}|t_k{t}_l||Cov(X_k,X_l)|.$$

This result, along with (2.8), completes the proof of the theorem. □

Theorem 2.3 Let$X_1,\dots ,X_n$be a sequence of LNQD random variables, and let$t_1,\dots ,t_n$be all nonnegative (or nonpositive) real numbers. Then

$$\mathrm{E}[exp\left(\sum _{j=1}^n{t}_j{X}_j\right)]\le \prod _{j=1}^n\mathrm{E}[exp(t_j{X}_j)].$$

Remark 2.1 Let $t_j=1$, $\mathrm{\forall }j\ge 1$ in Theorem 2.3, we can get Lemma 3.1 of Ko et al.[5]; let $t_j=t>0$, $\mathrm{\forall }j\ge 1$, we also get Lemma 1.4 of Wang et al.[7]. Thus, our Theorem 2.3 improves and extends Lemma 3.1 in Ko et al.[5] and Lemma 1.4 in Wang et al.[7].

Proof For $t_1,\dots ,t_n>0$, it is easy to see that ${\sum }_{j=1}^{i-1}{t}_j{X}_j$ and $t_i{X}_i$ are NQD by the definition of LNQD, which implies that $exp({\sum }_{j=1}^{i-1}{t}_j{X}_j)$ and $exp(t_i{X}_i)$ are also NQD for $i=2,3,\dots ,n$ by Lemma 1.1(ii). Then by Lemma 1.1(i) and induction,

$$\begin{array}{rcl}\mathrm{E}[exp\left(\sum _{j=1}^n{t}_j{X}_j\right)]& \le & \mathrm{E}[exp\left(\sum _{j=1}^{n-1}{t}_j{X}_j\right)]\mathrm{E}[exp(t_n{X}_n)]\\ =& \mathrm{E}[exp\left(\sum _{j=1}^{n-2}{t}_j{X}_j\right)exp(t_{n-1}{X}_{n-1})]\mathrm{E}[exp(t_n{X}_n)]\\ \le & \mathrm{E}[exp\left(\sum _{j=1}^{n-2}{t}_j{X}_j\right)]\mathrm{E}[exp(t_{n-1}{X}_{n-1})]\mathrm{E}[exp(t_n{X}_n)]\\ \le & \cdots \le \prod _{j=1}^n\mathrm{E}[exp(t_j{X}_j)].\end{array}$$

(2.9)

For $t_1,\dots ,t_n<0$, it is easy to see that $-t_1,\dots ,-t_n>0$ and ${\sum }_{j=1}^{i-1}-t_j{X}_j$ and $-t_i{X}_i$ are NQD by the definition of LNQD, which implies that $exp(-{\sum }_{j=1}^{i-1}-t_j{X}_j)$ and $exp(-(-t_i{X}_i))$ are also NQD for $i=2,3,\dots ,n$ by Lemma 1.1(ii). Similar to the proof of (2.9), we obtain

$$\mathrm{E}[exp\left(\sum _{j=1}^n{t}_j{X}_j\right)]=\mathrm{E}[exp(-\sum _{j=1}^n-t_j{X}_j)]\le \prod _{j=1}^n\mathrm{E}\{exp[-(-t_j{X}_j)]\}=\prod _{j=1}^n\mathrm{E}[exp(t_j{X}_j)].$$

(2.10)

Therefore, the proof is complete by (2.9) and (2.10). □

Theorem 2.4 Suppose that$\{X_j:j\ge 1\}$is a LNQD random variable sequence with zero mean and$|X_j|\le d_j$a.s. ($j=1,2,\dots$). Let$t>0$and$t\cdot {max}_{1\le j\le n}{d}_j\le 1$. Then for any$\epsilon >0$,

$$\mathrm{P}\left(\right|\sum _{j=1}^n{X}_j|\ge \epsilon )\le 2exp\{-t\epsilon +t^2\sum _{i=1}^n\mathrm{E}{X}_j^2\}.$$

Proof We obtain the result from the proving process of Theorem 2.3 in Wang et al.[7]. □

Theorem 2.5 Let$\{X_j:j\ge 1\}$be a LNQD random variable sequence with zero mean and finite second moment, ${sup}_{j\ge 1}\mathrm{E}(X_j^2)<\mathrm{\infty }$. Assume that$\{a_j,j\ge 1\}$is a real constant sequence satisfying$a:={sup}_{j\ge 1}|a_j|<\mathrm{\infty }$. Then for any$r>1$, $\mathrm{E}|{\sum }_{j=1}^n{a}_j{X}_j{|}^r\le D{a}^r{n}^{r/2}$.

Proof Let $a_i^{+}:=max\{a_i,0\}$, $a_i^{-}:=max\{-a_i,0\}$. Notice that

$$\begin{array}{r}\mathrm{E}|\sum _{j=1}^n{a}_j{X}_j{|}^r\le C\left\{\mathrm{E}\right|\sum _{j=1}^n{a}_j^{+}{X}_j{|}^r+\mathrm{E}\left|\sum _{j=1}^n{a}_j^{-}{X}_j{|}^r\right\},\\ \mathrm{E}|\sum _{j=1}^n{a}_j^{+}{X}_j{|}^r=a^r\mathrm{E}|\sum _{j=1}^n{a}_j^{+}{a}^{-1}{X}_j{|}^r.\end{array}$$

(2.11)

Let $Y_j=a_j^{+}{a}^{-1}{X}_j$. Then $\{Y_n,n\ge 1\}$ is still a sequence of LNQD random variables with $\mathrm{E}{Y}_n=0$ by Remark 1.1. Note that $0<a_j^{+}{a}^{-1}\le 1$. By Lemma 1.2, we obtain

$$\mathrm{E}|\sum _{j=1}^n{Y}_j{|}^r\le D{a}^r{n}^{r/2},\text{this implies that}\mathrm{E}|\sum _{j=1}^n{a}_j^{+}{X}_j{|}^r\le D{a}^r{n}^{r/2}.$$

(2.12)

Similarly as above, we have

$$\mathrm{E}|\sum _{j=1}^n{a}_j^{-}{X}_j{|}^r\le D{a}^r{n}^{r/2}.$$

(2.13)

Combining (2.11)-(2.13), we get the result of the theorem. □

3 Application

To show the application of the inequalities in Section 2, in this section we discuss the asymptotic normality of the general linear estimator for the following regression model:

$$Y_{ni}=g(x_{ni})+{\epsilon }_{ni},1\le i\le n,$$

(3.1)

where the design points $x_{ni},\dots ,x_{nn}\in A$, which is a compact set of $R^d$, g is a bounded real valued function on A, and the $\{{\epsilon }_{ni}\}$ are regression errors with zero mean and finite variance ${\sigma }^2$. As an estimate of $g(\cdot )$, we consider the following general linear smoother:

$$g_n(x)=\sum _{i=1}^n{w}_{ni}(x)Y_{ni},$$

(3.2)

where a weight function $w_{ni}(x)$, $i=1,\dots ,n$, depends on the fixed design points $x_{n1},\dots ,x_{nn}$ and on the number of observations n.

Here, our purpose is to use the inequalities in Section 2 to establish asymptotic normality for the estimate (3.2) under LNQD condition. The results obtained generalize the results of Roussas et al.[10] and Yang [11] based on strong mixing sequence to LNQD sequence. Adopting the basic assumptions of Yang [11], we assume the following:

Assumption (A1) (i) $g:A\to R$ is a bounded function defined on the compact subset A of $R^d$; (ii) $\{{\xi }_t:t=0,\pm 1,\dots \}$ is a strictly stationary and LNQD time series with $\mathrm{E}{\xi }_1=0$, $Var({\xi }_1)={\sigma }^2\in (0,\mathrm{\infty })$; (iii) For each n, the joint distribution of $\{{\epsilon }_{ni}:1\le i\le n\}$ is the same as that of $\{{\xi }_1,\dots ,{\xi }_n\}$.

Denote

$$w_n(x):=max\{|w_{ni}(x)|:1\le i\le n\},{\sigma }_n^2(x):=Var(g_n(x)).$$

(3.3)

Assumption (A2) (i) ${\sum }_{i=1}^n|w_{ni}(x)|\le C$ for all $n\ge 1$; (ii) $w_n(x)=O({\sum }_{i=1}^n{w}_{ni}^2(x))$; (iii) ${\sum }_{i=1}^n{w}_{ni}^2(x)=O({\sigma }_n^2(x))$.

Assumption (A3)$\mathrm{E}{|{\xi }_1|}^r<\mathrm{\infty }$ for $r>2$ and $u(1)={sup}_{j\ge 1}{\sum }_{|i-j|\ge 1}|Cov({\xi }_i,{\xi }_j)|<\mathrm{\infty }$.

Assumption (A4) There exist positive integers $p:=p(n)$ and $q:=q(n)$ such that $p+q\le n$ for sufficiently large n and as $n\to \mathrm{\infty }$,

$$\text{(i) }q{p}^{-1}\to 0;\text{(ii) }nq{p}^{-1}{w}_n\to 0;\text{(iii) }p{w}_n\to 0;\text{(iv) }n{p}^{\frac{r}{2}-1}{w}_n^{\frac{r}{2}}\to 0.$$

Here, we will prove the following result.

Theorem 3.1 Let Assumptions (A1)∼(A4) be satisfied. Then

$${\sigma }_n^{-1}(x)\{g_n(x)-\mathrm{E}{g}_n(x)\}\stackrel{d}{\to }N(0,1).$$

Proof We first give some denotations. For convenience of writing, omit everywhere the argument x and set $S_n={\sigma }_n^{-1}(g_n-\mathrm{E}{g}_n)$, $Z_{ni}={\sigma }_n^{-1}{w}_{ni}{\epsilon }_{ni}$ for $i=1,\dots ,n$, so that $S_n={\sum }_{i=1}^n{Z}_{ni}$. Let $k=[n/(p+q)]$. Then $S_n$ may be split as $S_n=S_n^{\mathrm{\prime }}+S_n^{\mathrm{\prime }\mathrm{\prime }}+S_n^{\mathrm{\prime }\mathrm{\prime }\mathrm{\prime }}$, where

$$\begin{array}{c}{S}_n^{\mathrm{\prime }}=\sum _{m=1}^k{y}_{nm},S_n^{\mathrm{\prime }\mathrm{\prime }}=\sum _{m=1}^k{y}_{nm}^{\mathrm{\prime }},S_n^{\mathrm{\prime }\mathrm{\prime }\mathrm{\prime }}=y_{nk+1}^{\mathrm{\prime }},\hfill \\ y_{nm}=\sum _{i=k_m}^{k_m+p-1}{Z}_{ni},y_{nm}^{\prime }=\sum _{i=l_m}^{l_m+q-1}{Z}_{ni},y_{nk+1}^{\prime }=\sum _{i=k(p+q)+1}^n{Z}_{ni},\hfill \\ k_m=(m-1)(p+q)+1,l_m=(m-1)(p+q)+p+1,m=1,\dots ,k.\hfill \end{array}$$

Thus, to prove the theorem, it suffices to show that

$$\mathrm{E}{\left(S_n^{\mathrm{\prime }\mathrm{\prime }}\right)}^2\to 0,\mathrm{E}{\left(S_n^{\mathrm{\prime }\mathrm{\prime }\mathrm{\prime }}\right)}^2\to 0,$$

(3.4)

$$S_n^{\mathrm{\prime }}\stackrel{d}{\to }N(0,1).$$

(3.5)

By Theorem 2.5, Assumptions (A2)(ii)∼(iii) and (A4)(i)∼(iii), we have

$$\begin{array}{c}\mathrm{E}{\left(S_n^{\mathrm{\prime }\mathrm{\prime }}\right)}^2=\mathrm{E}{\left(\sum _{m=1}^k\sum _{i=l_m}^{l_m+q-1}{\sigma }^{-1}{w}_{ni}{\xi }_i\right)}^2\le Dkq{\sigma }^{-2}{w}_n^2\le C{(1+q{p}^{-1})}^{-1}nq{p}^{-1}{w}_n\to 0,\hfill \\ \mathrm{E}{\left(S_n^{\mathrm{\prime }\mathrm{\prime }\mathrm{\prime }}\right)}^2=\mathrm{E}{\left(\sum _{i=k(p+q)+1}^n{\sigma }^{-1}{w}_{ni}{\xi }_i\right)}^2\le D(n-k(p+q)){\sigma }^{-2}{w}_n^2\le C(1+q{p}^{-1})p{w}_n\to 0.\hfill \end{array}$$

Thus (3.4) holds.

We now proceed with the proof of (3.5). Let ${\mathrm{\Gamma }}_n={\sum }_{1\le i<j\le k}Cov(y_{ni},y_{nj})$ and $s_n^2={\sum }_{m=1}^{k}Var(y_{nm})$, then $s_n^2=\mathrm{E}{(S_{1n}^{\mathrm{\prime }})}^2-2{\mathrm{\Gamma }}_n$. Apply relation (3.4) to obtain $\mathrm{E}{(S_n^{\mathrm{\prime }})}^2\to 1$. This would also imply that $s_n^2\to 1$, provided we show that ${\mathrm{\Gamma }}_n\to 0$.

Indeed, by Assumption (A3) and $u(1)<\mathrm{\infty }$, we obtain $u(q)\to 0$. Then by stationarity and Assumption (A2), it can be shown that

$$\begin{array}{rl}|{\mathrm{\Gamma }}_n|& \le \sum _{1\le i<j\le k}\sum _{\mu =k_i}^{k_i+p-1}\sum _{\nu =k_j}^{k_j+p-1}|Cov(Z_{n\mu },Z_{n\nu })|\\ \le \sum _{1\le i<j\le k}\sum _{\mu =k_i}^{k_i+p-1}\sum _{\nu =k_j}^{k_j+p-1}{\sigma }_n^{-2}|w_{n\mu }{w}_{n\nu }|\cdot |Cov({\xi }_{\mu },{\xi }_{\nu })|\\ \le C{\sigma }_n^{-2}{w}_n\sum _{i=1}^{k-1}\sum _{\mu =k_i}^{k_i+p-1}|w_{n\nu }|\cdot \underset{j\ge 1}{sup}\sum _{t:|t-j|\ge q}|Cov({\xi }_j,{\xi }_t)|\le Cu(q)\to 0.\end{array}$$

(3.6)

Next, in order to establish asymptotic normality, we assume that $\{{\eta }_{nm}:m=1,\dots ,k\}$ are independent random variables, and the distribution of ${\eta }_{nm}$ is the same as that $y_{nm}$ for $m=1,\dots ,k$. Then $\mathrm{E}{\eta }_{nm}=0$ and $Var({\eta }_{nm})=Var(y_{nm})$. Let $T_{nm}={\eta }_{nm}/s_n$, $m=1,\dots ,k$, then $\{T_{nm},m=1,\dots ,k\}$ are independent random variables with $\mathrm{E}{T}_{nm}=0$ and $Var(T_{nm})=1$. Let ${\phi }_X(t)$ be the characteristic function of X, then

$$\begin{array}{r}|{\varphi }_{{\sum }_{m=1}^k{y}_{nm}}(t)-e^{-\frac{t^2}{2}}|\\ \le |\mathrm{E}exp\left(it\sum _{m=1}^k{y}_{nm}\right)-\prod _{m=1}^k\mathrm{E}exp(it{y}_{nm})|+|\prod _{m=1}^k\mathrm{E}exp(it{y}_{nm})-e^{-\frac{t^2}{2}}|\\ \le |\mathrm{E}exp\left(it\sum _{m=1}^k{y}_{nm}\right)-\prod _{m=1}^k\mathrm{E}exp(it{y}_{nm})|+|\prod _{m=1}^k\mathrm{E}exp(it{\eta }_{nm})-e^{-\frac{t^2}{2}}|=:I_3+I_4.\end{array}$$

(3.7)

By Theorem 2.2, relation (3.6) and Assumption (A2), we obtain that

$$I_3\le 4t^2\sum _{1\le i<j\le k}\sum _{\mu =k_i}^{k_i+p-1}\sum _{\nu =k_j}^{k_j+p-1}|Cov(Z_{n\mu },Z_{n\nu })|\le Cu(q)\to 0.$$

(3.8)

Thus, it suffices to show that ${\eta }_{nm}\stackrel{d}{\to }N(0,1)$ which, on account of $s_n^2\to 1$, will follow from the convergence ${\sum }_{m=1}^k{T}_{nm}\stackrel{d}{\to }N(0,1)$. By the Lyapunov condition, it suffices to show that for some $r>2$,

$$\frac{1}{s_n^r}\sum _{m=1}^k\mathrm{E}{|{\eta }_{nm}|}^r\to 0.$$

(3.9)

Using Theorem 2.5 and Assumptions (A2) and (A4)(iv), we have

$$\begin{array}{rl}\sum _{m=1}^k\mathrm{E}{|{\eta }_{nm}|}^r& =\sum _{m=1}^k\mathrm{E}{|y_{nm}|}^r=\sum _{m=1}^k\mathrm{E}{\left|\sum _{i=k_m}^{k_m+p-1}{\sigma }_n^{-1}{w}_{ni}{\xi }_i\right|}^r\\ \le Dk{\sigma }_n^r{w}_n^r{p}^{\frac{r}{2}}\le Cn{p}^{\frac{r}{2}-1}{w}_n^{\frac{r}{2}}\to 0.\end{array}$$

So, (3.9) holds. Thus, the proof is complete. □