Abstract
Let \(\{X, X_{n}, n\geq1\}\) be a sequence of i.i.d. random variables with \(EX=0\), \(EX^{2}=\sigma^{2}\). Set \(S_{n}=\sum_{k=1}^{n}X_{k}\) and let \({\mathcal {N} }\) be the standard normal random variable. Let \(g(x)\) be a positive and twice differentiable function on \([n_{0},\infty)\) such that \(g(x)\nearrow\infty \), \(g'(x)\searrow0\) as \(x\to\infty\). In this short note, under some suitable conditions on both X and \(g(x)\), we establish the following convergence rates in precise asymptotics
where \(\gamma=\lim_{n\to\infty}(\sum_{k=n_{0}}^{n}g'(k)-g(n))\), \(\eta=\sum_{n=n_{0}}^{\infty}g'(n)P\{S_{n}=0\}\). It can describe the relations among the boundary function, weighting function, convergence rate and the limit value in studies of complete convergence. The result extends and generalizes the corresponding results of Gut and Steinebach (Ann. Univ. Sci. Budapest. Sect. Comput. 39:95–110, 2013), Kong (Lith. Math. J. 56(3):318–324, 2016), Kong and Dai (Stat. Probab. Lett. 119(10):295–300, 2016).
Similar content being viewed by others
1 Introduction and main results
Throughout this note, let \(\{X, X_{n}, n\geq1\}\) be a sequence of i.i.d. random variables with \(EX=0\), \(EX^{2}=\sigma^{2}\) and set \(S_{n}=\sum_{k=1}^{n}X_{k}\). Let \({\mathcal {N}}\) be the standard normal random variable; C denotes a positive constant, possibly varying from place to place, the notions \(a_{n}\sim b_{n}\) \(a_{n}=O(b_{n})\), \(a_{n}\asymp b_{n}\) stand for \(\lim_{n\to\infty}\frac{a_{n}}{b_{n}}=1\), \(\limsup_{n\to\infty}\frac{a_{n}}{b_{n}}<\infty\) and \(0<\liminf_{n\to \infty}\frac{a_{n}}{b_{n}}\leq\limsup_{n\to\infty}\frac{a_{n}}{b_{n}}<\infty \), respectively. We define \(\log x=\ln{\max\{e,x\}}\) and \(\log\log x=\ln\ln{\max\{e^{e},x\}}\).
The concept of complete convergence was first introduced by Hsu and Robbins [4], since then there have been extensions in several directions. One of them is to discuss the precise rate and limit value of \(\sum_{n=n_{0}}^{\infty}\varphi(n)P\{|S_{n}|\geq\varepsilon g(n)\}\) as \(\varepsilon\searrow a\), \(a\geq0\), where the weighting function \(\varphi(x)\) and boundary function \(g(x)\) are positive functions defined on \([n_{0},\infty)\). A first result in this direction was given by Heyde [5], who proved that
The research in this field is called the precise asymptotics. For analogous results in more general case, see [6,7,8,9] and the references therein.
Another interesting direction is to consider the convergence rate for the precise asymptotic problems. Klesov [10] obtained the following result:
where \(\{X, X_{n}, n\geq1\}\) is a sequence of i.i.d. normal random variables with \(EX=0\), \(EX^{2}=\sigma^{2}\), \(S_{n}=\sum_{k=1}^{n}X_{k}\).
Recently, Gut and Steinebach [1] obtained the following results:
where \(1\leq p<2\), \(p< r<3p/2\), \(E|X|^{\frac{2r}{p}}<\infty\), \(\gamma _{\theta}=\lim_{n\to\infty}(\sum_{j=1}^{n} j^{\theta}-\frac{n^{\theta +1}}{\theta+1})\), \(\eta_{r,p}=\sum_{n=1}^{\infty} n^{\frac{r}{p}-2} P\{S_{n}=0\}\).
Later, Kong [2] proved the convergence rate in precise asymptotics for the law of iterated logarithm as follows:
where \(E|X|^{q}<\infty\), \(2< q\leq3\), \(\gamma=\lim_{n\to\infty}(\sum_{j=3}^{n}\frac{1}{j\log j}-\log\log n)\), and \(\eta=\sum_{n=3}^{\infty }\frac{1}{n\log n}P\{S_{n}=0\}\).
Also Kong and Dai [3] established the following convergence rate in precise asymptotics for the Davis law of large numbers with \(EX^{2}(\log(1+|X|))^{1+\delta}<\infty\):
where \(\gamma_{\delta}=\lim_{n\to\infty}(\sum_{j=1}^{n}\frac{(\log j)^{\delta}}{j}-\frac{(\log n)^{\delta+1}}{\delta+1})\), \(\eta_{\delta}=\sum_{n=1}^{\infty}\frac{(\log n)^{\delta}}{n}P\{S_{n}=0\} \), and \(\delta\geq0\).
In this note we will extend the scope of the weighting and boundary functions, and give more general convergence rates in precise asymptotics of i.i.d. random variables, which extends and generalizes the above results. The main result of this note is the following.
Theorem 1.1
Let \(g(x)\) be a positive and twice differentiable function defined on \([n_{0},\infty)\), which is strictly increasing to ∞. Assume \(g'(x)\) is strictly decreasing to 0 and \(g'(n)\asymp\frac {1}{n^{\alpha_{1}}(\log n)^{\alpha_{2}}(\log\log n)^{\alpha_{3}}}\) where \(\alpha_{i}\), \(i=1,2,3\) are defined later. Assume that
-
(1)
\(EX^{2}(\log(1+|X|))<\infty\), for \(\alpha_{1}=1\), \(\alpha_{2}>0\), \(\alpha _{3}\in{\mathbb {R}}\);
-
(2)
\(EX^{2}(\log(1+|X|))^{1-\alpha_{2}}<\infty\), for \(\alpha_{1}=1\), \(\alpha _{2}\leq0\), \(\alpha_{3}\geq0\);
-
(3)
\(E|X|^{4-2\alpha_{1}}<\infty\), for \(1/2<\alpha_{1}<1\), \(\alpha_{2}\geq0\), \(\alpha_{3}\geq0\).
Then for any \(s>0\), we have
where \(\gamma_{g}=\lim_{n\to\infty}(\sum_{k=n_{0}}^{n}g'(k)-g(n))\), \(\eta_{g}=\sum_{n=n_{0}}^{\infty}g'(n)P\{S_{n}=0\}\).
Remark 1.2
There are many functions satisfying the assumptions of \(g(x)\), such as \(g(x)=x^{\beta_{1}}(\log x)^{\beta_{2}}(\log\log x)^{\beta_{3}} \) with some suitable conditions of \(\beta_{i}\), \(i=1,2,3\). The following corollaries are some typical examples.
Corollary 1.3
Let \(g(x)=(\log x)^{\delta+1}\), \(\delta>-1\), and \(s>0\) in Theorem 1.1. If \(EX^{2}(\log(1+|X|))^{\max\{1,1+\delta\}}<\infty\), then
where \(\gamma_{\delta}=\lim_{n\to\infty}(\sum_{j=1}^{n}\frac{(\log j)^{\delta}}{j}-\frac{(\log n)^{\delta+1}}{\delta+1})\), \(\eta_{\delta}=\sum_{n=1}^{\infty}\frac{(\log n)^{\delta}}{n}P\{S_{n}=0\}\).
Corollary 1.4
Let \(g(x)=(\log\log x)^{b+1}\), \(b>-1\), and \(s>0\) in Theorem 1.1. If \(EX^{2}(\log(1+|X|))<\infty\), then
where \(\gamma_{b}=\lim_{n\to\infty}(\sum_{j=1}^{n}\frac{(\log j)^{b}}{j\log j}-\frac{(\log\log n)^{b+1}}{b+1})\), \(\eta_{b}=\sum_{n=1}^{\infty}\frac{(\log n)^{b}}{n\log n}P\{S_{n}=0\}\).
Corollary 1.5
Let \(g(x)=x^{\frac{r}{p}-1}\), \(0< p<2\), \(p< r<3p/2\), and \(s>0\) in Theorem 1.1. If \(E|X|^{\frac{2r}{p}}<\infty\), then
where \(\gamma_{\theta}=\lim_{n\to\infty}(\sum_{j=1}^{n} j^{\theta}-\frac {n^{\theta+1}}{\theta+1})\), \(\varrho_{r,p}=\sum_{n=1}^{\infty} n^{\frac {r}{p}-2}P\{S_{n}=0\}\).
Corollary 1.6
Let \(g(x)=\frac{x^{a}}{(\log x)^{b}}\), \(0< a<1/2\), \(b>0\), and \(s>0\) in Theorem 1.1. If \(E|X|^{2(1+a)}<\infty\), then
where \(\gamma_{a,b}=\lim_{n\to\infty}(\sum_{j=1}^{n} [a-\frac{b}{\log j}]\frac{1}{j^{1-a}(\log j)^{b}}-\frac{n^{a}}{(\log n)^{b}})\) and \(\varrho_{a,b}=\sum_{n=1}^{\infty} [a-\frac{b}{\log n}]\frac {1}{n^{1-a}(\log n)^{b}} P\{S_{n}=0\}\).
Remark 1.7
Obviously, Corollary 1.3 with \(s=\frac{1}{2(\delta+1)}\) extends Theorem 1.1 in Kong and Dai [3] with the scope of δ from \(\delta\geq0\) to \(\delta>-1\); Corollary 1.4 with \(s=\frac{1}{2(b+1)}\) extends Theorem 1 from Kong [2] with the scope of b from \(b=0\) to \(b>-1\) and the moment condition from \(E|X|^{q}<\infty\) (\(2< q\leq3\)) to \(EX^{2}(\log(1+|X|))<\infty\); Corollary 1.5 with \(s=\frac{2-p}{2(r-p)}\) extends Theorem 2.2(a) from Gut and Steinebach [1] with the scope of r, p from \(1\leq p<2\), \(p< r<3p/2\) to \(0< p<2\), \(p< r<3p/2\). Therefore our results extend the known results.
2 Proof of Theorem 1.1
The following lemmas are useful for the proof of Theorem 1.1.
Lemma 2.1
Let \(\{X, X_{n}, n\geq1\}\) be a sequence of i.i.d. random variables with \(EX=0\), \(EX^{2}=\sigma^{2}\) and set \(S_{n}=\sum_{k=1}^{n}X_{k}\). Then
if and only if \(E|X|^{2+\delta}<\infty\) for \(0<\delta<1\). Also
if and only if \(E|X|^{2}(\log(1+|X|))^{1+\delta}<\infty\) for \(\delta\geq0\).
Proof
The first part can be found in a theorem from Heyde [11] or Theorem 1 from Heyde and Leslie [12] (with \(k=0\)), the second part can be found in Proposition 3.2 from Kong and Dai [3]. □
Lemma 2.2
Under the conditions of Theorem 1.1, we have
Proof
If \(\alpha_{1}=1\), \(\alpha_{2}>0\), \(\alpha_{3}\in{\mathbb {R}}\), we know that \(EX^{2}\log(1+|X|)<\infty\), and then, by the second part of Lemma 2.1 (with \(\delta=0\)),
If \(\alpha_{1}=1\), \(\alpha_{2}\leq0\), \(\alpha_{3}\geq0\), we know that \(EX^{2}(\log(1+|X|))^{1-\alpha_{2}}<\infty\), and then, by the second part of Lemma 2.1 (with \(\delta=-\alpha_{2}\geq0\)),
If \(1/2<\alpha_{1}<1\), \(\alpha_{2}\geq0\), \(\alpha_{3}\geq0\), we know that \(E|X|^{4-2\alpha_{1}}=E|X|^{2+\delta}<\infty\) (with \(\delta =2(1-\alpha_{1})\in(0,1)\)), and then, by the first part of Lemma 2.1,
The proof of Lemma 2.2 is completed. □
The existence and finiteness of \(\gamma_{g}\) and \(\eta_{g}\) can be obtained by the following two lemmas.
Lemma 2.3
Under the conditions of Theorem 1.1, we have
where \(\gamma_{n,g}=\sum_{k=n_{0}}^{n}g'(k)-g(n)\) and \(\gamma_{g}\) is a constant depending only on function g satisfying
Proof
Note that \(g(x)\) is a positive and twice differentiable function defined on \([n_{0},\infty)\), which is strictly increasing to ∞; \(g'(x)\) is strictly decreasing to 0. Then, by the mean value theorem for \(g(x)\), we know
where \(n<\xi_{n}<n+1\), then we obtain that \(\{\gamma_{n,g},n\geq n_{0}\}\) is a decreasing sequence. Note that \(g'(x)\) is strictly decreasing to 0, and then we have
and
The above two inequalities mean that \(\{\gamma_{n,g},n\geq n_{0}\}\) is a bounded sequence, so, by the monotone bounded sequence theorem, also that \(\{\gamma_{n,g},n\geq n_{0}\}\) is a convergent sequence, and therefore \(-g(n_{0})\leq\gamma_{g}\leq g'(n_{0})-g(n_{0})\).
Finally, for any \(m>n\), by the monotonicity of \(g'(x)\), we have
which means that Lemma 2.3 holds since the sequence \(\{\gamma _{n,g},n\geq n_{0}\}\) is decreasing. □
Lemma 2.4
Under the conditions of Theorem 1.1, we have
Proof
Note that
so, by Lemma 2.2 and the monotonicity of \(g'(x)\), we know
□
Remark 2.5
Obviously, if X is a continuous random variable, then \(\eta_{g}=0\). For the simplest discrete case, if we take \(P(X=1)=P(X=-1)=\frac{1}{2}\), it is easy to check that \(P\{S_{2n+1}=0\}=0\) and \(P\{S_{2n}=0\}=C_{2n}^{n}\frac{1}{2^{2n}}\sim \frac{1}{\sqrt{\pi}}\frac{1}{n^{1/2}}\); therefore, \(0<\eta_{g}<\infty\).
Lemma 2.6
Under the conditions of Theorem 1.1, we have
Proof
By the mean value theorem for integrals, there exists a constant \(\xi _{k}\in(k,k+1)\) such that
Using Taylor expansion, we know
Therefore we have
By the monotonicity of \(g(x)\) and \(g'(x)\), we have
Since \(g'(x)\) is strictly decreasing to 0, there exists a constant \(k_{0}\) such that \(g'(k)<\delta\), for any \(k>k_{0}\). Then by monotonicity of \(g(x)\) and \(g'(x)\), we obtain
and
Then, by the arbitrariness of δ and letting \(\delta\to0\), we derive
From the fact that \(g'(x)\) is strictly decreasing to 0, we know \(g''(x)\leq0\), and then, by using integration by parts, similar to the above discussion, one can get
Then, by letting \(\delta\to0\), we can derive
Finally, (2.1) can be obtained by combining (2.4)–(2.9).
It is obvious that
thus (2.2) is proved.
Since \(g'(x)\) is strictly decreasing to 0, there exists a constant \(k_{0}\) such that \(g'(k)<\delta\), for any \(k>k_{0}\), and
Thus (2.3) holds in view of the arbitrariness of δ. This completes the proof. □
Lemma 2.7
Under the conditions of Theorem 1.1, we have
Proof
By Fubini’s theorem, Lemmas 2.3 and 2.6, we derive that
□
Lemma 2.8
Under the conditions of Theorem 1.1, we have
Proof
By Lemma 2.2, we have
Then, by the dominated convergence theorem and continuity of \({\mathcal {N}}\), we have
□
Proof of Theorem 1.1
3 Conclusions
In this paper, using the rate of convergence to the normal distribution and Fubini theorem, under some suitable conditions, the convergence rates in precise asymptotics for the complete convergence have been discussed with more general boundary functions. The result extends and generalizes the corresponding results of Gut and Steinebach [1], Kong [2], and Kong and Dai [3]. However, this paper has only studied the convergence rates for complete convergence. In the future research, we will discuss the convergence rates in precise asymptotics for complete moment convergence, which was first studied by Liu and Lin [13], as it is more difficult to handle the moment terms.
References
Gut, A., Steinebach, J.: Convergence rates in precise asymptotics II. Ann. Univ. Sci. Budapest. Sect. Comput. 39, 95–110 (2013)
Kong, L.T.: Convergence rate in precise asymptotics for the law of the iterated logarithm. Lith. Math. J. 56(3), 318–324 (2016)
Kong, L.T., Dai, H.S.: Convergence rate in precise asymptotics for Davis law of large numbers. Stat. Probab. Lett. 119(10), 295–300 (2016)
Hsu, P.L., Robbins, H.: Complete convergence and the law of large numbers. Proc. Natl. Acad. Sci. USA 33(2), 25–31 (1947)
Heyde, C.C.: A supplement to the strong law of large numbers. J. Appl. Probab. 12(1), 173–175 (1975)
Gut, A., Spătaru, A.: Precise asymptotics in the law of the iterated logarithm. Ann. Probab. 28(4), 1870–1883 (2000)
Gut, A., Spătaru, A.: Precise asymptotics in the Baum–Katz and Davis laws of large numbers. J. Math. Anal. Appl. 248(1), 233–246 (2000)
Gut, A., Steinebach, J.: Precise asymptotics—a general approach. Acta Math. Hung. 138(4), 365–385 (2013)
Xie, T.F., He, J.J.: Rate of convergence in a theorem of Heyde. Stat. Probab. Lett. 82(8), 1576–1582 (2012)
Klesov, O.I.: On the convergence rate in a theorem of Heyde. Theory Probab. Math. Stat. 49, 83–87 (1994)
Heyde, C.C.: On the influence of moments on the rate of convergence to the normal distribution. Z. Wahrscheinlichkeitstheor. Verw. Geb. 8(1), 12–18 (1967)
Heyde, C.C., Leslie, J.R.: On the influence of moments on approximations by portion of a Chebyshev series in central limit convergence. Z. Wahrscheinlichkeitstheor. Verw. Geb. 21(4), 255–268 (1972)
Liu, W.D., Lin, Z.Y.: Precise asymptotics for a new kind of complete moment convergence. Stat. Probab. Lett. 76(16), 1787–1799 (2006)
Acknowledgements
The author greatly appreciates both the Editors and the referees for their valuable comments and some helpful suggestions that improved the clarity and readability of this paper.
Funding
The paper was supported by National Natural Science Foundation of China (Grant No. 11771178); the Science and Technology Development Program of Jilin Province (Grant No. 20170101152JC) and Science and Technology Program of Jilin Educational Department during the “13th Five-Year” Plan Period (Grant No. JJKH20180110KJ).
Author information
Authors and Affiliations
Contributions
This is a single-authored paper. The author read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares to have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Zhang, Y. A note on the convergence rates in precise asymptotics. J Inequal Appl 2019, 15 (2019). https://doi.org/10.1186/s13660-019-1972-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-019-1972-3