Abstract
In this paper, we obtain equivalent conditions of complete moment convergence of the maximum for partial weighted sums of independent identically distributed random variables under sublinear expectations space. The results obtained in the paper are extensions of the equivalent conditions of complete moment convergence of the maximum under classical linear expectation space.
Similar content being viewed by others
1 Introduction
Peng [7, 8] initiated an important concept of the sublinear expectation space to study the uncertainty of probability and distribution. The seminal works of Peng [7, 8] attracted people to study inequalities and limit theorems under sublinear expectation space. Zhang [12–14] obtained important inequalities including exponential and Rosenthal’s inequalities and studied Donsker’s invariance principle under sublinear expectations. Inspired by the works of Zhang [12–15], Huang and Wu [5] and Zhong and Wu [16] studied some limits theorems under sublinear expectation space. Recently, under sublinear expectations, Wu [10] proved precise asymptotics for complete integral convergence, and Xu and Cheng [11] established precise asymptotics in the law of iterated logarithm. Under sublinear expectations for more limit theorems, the interested reader can refer to Chen [1], Xu [2], Hu et al. [3], Hu and Yang [4], and references therein.
Recently, Meng et al. [6] studied the convergence for sums of asymptotically almost negatively associated random variables. For references on complete convergence in linear expectation space, the interested reader can refer to Meng et al. [6], Shen and Wu [9], and references therein. The work of Meng et al. [6] motivates us to wonder whether or not the equivalent conditions of complete moment convergence of the maximum for partial weighted sums of independent identically distributed random variables under sublinear expectations hold. Here we get that the equivalent conditions of complete moment convergence of the maximum for partial weighted sums of independent identically distributed random variables hold under sublinear expectations, which complement the results of Meng et al. [6] to those under sublinear expectations.
We organize the rest of this paper as follows. In the next section, we recall necessary notions, concepts, and relevant properties and present necessary lemmas under sublinear expectations. In Sect. 3, we present our main results, Theorems 3.1 and 3.2, whose proofs are given in Sect. 4.
2 Preliminaries
We use the notations as in the work by Peng [8]. Let \((\Omega ,\mathcal{F})\) be a measurable space, and let \(\mathcal{H}\) be a subset of all random variables on \((\Omega ,\mathcal{F})\) such that \(I_{A}\in \mathcal{H}\), where \(A\in \mathcal{F}\), and \(X_{1},\ldots ,X_{n}\in \mathcal{H}\) implies that \(\varphi (X_{1},\ldots ,X_{n})\in \mathcal{H}\) for each (locally Lipschitz) function \(\varphi \in \mathcal{C}_{l,\mathrm{Lip}}(\mathbb{R}^{n})\) satisfying
for some \(C>0\) and \(m\in \mathbb{N}\), which depend on φ.
Definition 2.1
A sublinear expectation \(\mathbb{E}\) on \(\mathcal{H}\) is a functional \(\mathbb{E}:\mathbb{H}\mapsto \bar{\mathbb{R}}:=[-\infty ,\infty ]\) satisfying the following properties: for all \(X,Y\in \mathcal{H}\), we have
-
(a)
If \(X\ge Y\), then \(\mathbb{E}[X]\ge \mathbb{E}[Y]\);
-
(b)
\(\mathbb{E}[c]=c\), \(\forall c\in \mathbb{R}\);
-
(c)
\(\mathbb{E}[\lambda X]=\lambda \mathbb{E}[X]\), \(\forall \lambda \ge 0\);
-
(d)
\(\mathbb{E}[X+Y]\le \mathbb{E}[X]+\mathbb{E}[Y]\) whenever \(\mathbb{E}[X]+\mathbb{E}[Y]\) is not of the form \(\infty -\infty \) or \(-\infty +\infty \).
We refer to (a)–(d) as monotonicity, constant preserving, positive homogeneity, and subadditivity of \(\mathbb{E}[\cdot ]\) respectively.
A set function \(V:\mathcal{F}\mapsto [0,1]\) is called a capacity if
-
(a)
\(V(\emptyset )=0\), \(V(\Omega )=1\);
-
(b)
\(V(A)\le V(B)\), \(A\subset B\), \(A,B\in \mathcal{F}\).
A capacity V is said to be subadditive if \(V(A+B)\le V(A)+V(B)\), \(A,B\in \mathcal{F}\).
In this paper, given a sublinear expectation space \((\Omega , \mathcal{H}, \mathbb{E})\), we set the capacity \(\mathbb{V}(A):=\mathbb{E}[I_{A}]\) for \(A\in \mathcal{F}\). Clearly, \(\mathbb{V}\) is subadditive. We set the Choquet expectations \(\mathcal{C}_{\mathbb{V}}\) by
Given two random vectors \(\mathbf{X}=(X_{1},\ldots , X_{m})\), \(X_{i}\in \mathcal{H}\), and \(\mathbf{Y}=(Y_{1},\ldots ,Y_{n})\), \(Y_{i}\in \mathcal{H}\), on \((\Omega , \mathcal{H}, \mathbb{E})\), Y is said to be independent of X if for each Borel-measurable function ψ on \(\mathbb{R}^{m}\times \mathbb{R}^{n}\) with \(\psi (\mathbf{X},\mathbf{Y})\) such that \(\psi (\mathbf{x},\mathbf{Y})\in \mathcal{H}\) for each \(\mathbf{x}\in \mathbb{R}^{m}\), we have \(\mathbb{E}[\psi (\mathbf{X},\mathbf{Y})]=\mathbb{E}[\mathbb{E} \psi (\mathbf{x},\mathbf{Y})|_{\mathbf{x}=\mathbf{X}}]\) whenever \(\mathbb{E}[|\psi (\mathbf{x},\mathbf{Y})|]<\infty \) for each x and \(\mathbb{E}[|\mathbb{E}\psi (\mathbf{x},\mathbf{Y})|_{\mathbf{x}=\mathbf{X}}|]<\infty \) (cf. Definition 2.5 in Chen [1]). \(\{X_{n}\}_{n=1}^{\infty }\) is said to be a sequence of independent random variables if \(X_{n+1}\) is independent of \((X_{1},\ldots ,X_{n})\) for each \(n\ge 1\).
Let \(\mathbf{X}_{1}\) and \(\mathbf{X}_{2}\) be two n-dimensional random vectors defined, respectively, in sublinear expectation spaces \((\Omega _{1},\mathcal{H}_{1},\mathbb{E}_{1})\) and \((\Omega _{2},\mathcal{H}_{2},\mathbb{E}_{2})\). They are said to be identically distributed if for every Borel-measurable function ψ such that \(\psi (X_{1}), \psi (X_{2})\in \mathcal{H}\),
whenever the sublinear expectations are finite. \(\{X_{n}\}_{n=1}^{\infty }\) is said to be identically distributed if for each \(i\ge 1\), \(X_{i}\) and \(X_{1}\) are identically distributed.
Throughout this paper, we assume that \(\mathbb{E}\) is countably subadditive, that is, \(\mathbb{E}(X)\le \sum_{n=1}^{\infty }\mathbb{E}(X_{n})\) whenever \(X\le \sum_{n=1}^{\infty }X_{n}\), \(X,X_{n}\in \mathcal{H}\), and \(X\ge 0\), \(X_{n}\ge 0\), \(n=1,2,\ldots \) . By C we denote positive constants, which may differ in different places; \(I(A)\) or \(I_{A}\) stands for the indicator function of A; \(a_{n}\ll b_{n}\) means that there exists a constant \(C>0\) such that \(a_{n}\le C b_{n}\) for n large enough, and \(a_{n}\approx b_{n}\) means that \(a_{n}\ll b_{n}\) and \(b_{n}\ll a_{n}\). We denote \(\log x:=\ln \max \{\mathrm{e}, x\}\).
To establish our results, we need the following lemmas.
Lemma 2.1
Let Y be a random variable under sublinear expectation space \((\Omega ,\mathcal{H},\mathbb{E})\). Then for any \(\alpha >0\), \(\gamma >0\), and \(\beta >-1\),
Proof
(i)
(ii) As in the proof of Lemma 2.2 in Zhong and Wu [16], let \(Z(x)=x^{(\beta +1)/\gamma +\alpha }\ln (1+x)\), and let \(Z^{-1}(x)\) be the inverse function of \(Z(x)\). Then
□
Denote \(S_{k}=X_{1}+\cdots +X_{k}\), \(S_{0}=0\).
Lemma 2.2
(cf. Corollary 2.2 and Theorem 2.3 in Zhang [14])
Suppose that \(X_{k+1}\) is independent of \((X_{1},\ldots ,X_{k})\) under sublinear expectation space \((\Omega ,\mathcal{H},\mathbb{E})\) with \(\mathbb{E}(X_{i})\le 0\), \(k=1,\ldots ,n-1\). Then
We also cite Lemma 4.5(iii) in Zhang [13] as follows.
Lemma 2.3
(Lemma 4.5 (iii) in Zhang [13])
If \(\mathbb{E}\) is countably subadditive and \(\mathcal{C}_{\mathbb{V}}(|X|)<\infty \), then
Lemma 2.4
Let Y be a random variable under sublinear expectation space \((\Omega ,\mathcal{H},\mathbb{E})\). Then for any \(\alpha >0\), \(\gamma >0\), and \(\beta <-1\),
Proof
(i) By Lemma 2.3 we have
(ii) By Lemma 2.3 and the proof of Lemma 2.2 in Zhong and Wu [16] we have
□
Lemma 2.5
Let \(\{X_{n};n\ge 1\}\) be a sequence of independent random variables under sublinear expectation space \((\Omega ,\mathcal{H},\mathbb{E})\). Then for all \(n\ge 1\) and \(x>0\),
Proof
We borrow the idea from Shen and Wu [9]. Write \(A_{k}=(|X_{k}|>x)\) and
Without loss of generality, we may assume that \(\beta _{n}>0\). Since \(\{I(|X_{k}|>x)-\mathbb{E}I(|X_{k}|>x), k\le 1\}\) is a sequence of independent random variables under sublinear expectations, combining \(C_{r}\)’s inequality and Lemma 2.2 results in
By (2.5), the independence of \(I(A_{k})\), \(k=1,\ldots , n\), the subadditivity of sublinear expectations, and Hölder’s inequality under sublinear expectations, and the equality \(\mathbb{E}(X+c)=\mathbb{E}(X)+c\) for constant c and \(X\in \mathcal{H}\), we conclude that
which immediately results in (2.4). The proof is finished. □
3 Main results
Throughout the rest of this paper, we assume that \(\{X_{n},n\ge 0\}\) is a sequence of independent random variables, identically distributed as X under sublinear expectation space \((\Omega ,\mathcal{H},\mathbb{E})\) with \(\mathbb{E}(X_{i})=-\mathbb{E}(-X_{i})= 0\), \(i=0,1,2,\ldots \) . Our main results are as follows.
Theorem 3.1
Let \(\beta >-1\) and \(r>1\). Let \(\{b_{ni}\approx (i/n)^{\beta }(1/n), 1\le i\le n, n\ge 1\}\) satisfy \(\sum_{i=1}^{n}b_{ni}=1\) for all \(n\ge 1\). Let for \(r>1\),
Then for all \(\varepsilon >0\),
Property (3.2) also implies (3.1).
Corollary 3.1
Let \(\beta >-1\) and \(r>1\). Assume that \(\{b_{ni}\approx [(n-i)/n]^{\beta }(1/n), 0\le i\le n-1, n\ge 1\}\) satisfies \(\sum_{i=0}^{n-1}b_{ni}=1\) for all \(n\ge 1\). Let (3.1) hold. Then for all \(\varepsilon >0\),
Property (3.4) also implies (3.1).
For \(\alpha >0\), we write the Cesàro summation
Theorem 3.2
Let \(0<\alpha \le 1\), \(r\ge 1\). Let
Then for all \(\varepsilon >0\),
Property (3.8) also implies (3.7).
In Theorem 3.2, taking \(\alpha =1\), we get the following corollary.
Corollary 3.2
Let \(r>1\). Suppose \(\mathcal{C}_{\mathbb{V}}(|X|^{r})<\infty \). Then for all \(\varepsilon >0\),
Property (3.10) also implies \(\mathcal{C}_{\mathbb{V}}(|X|^{r})<\infty \).
Remark 3.1
Under the same assumptions of Theorem 3.1, we obtain for all \(\varepsilon >0\),
By (3.12) we can deduce that (3.2) implies (3.3). Similarly, (3.4) implies (3.5). Hence we complement the results of Meng et al. [6] to those under sublinear expectations.
4 Proofs of Theorems 3.1 and 3.2
Proof of Theorem 3.1
Here we borrow the idea of the proof of Theorem 16 in Meng et al. [6]. We first prove that (3.1) implies (3.2). For all \(1\le i\le n\), \(n\ge 1\), write
Since \(\mathbb{E}(X_{i})=-\mathbb{E}(-X_{i})= 0\), we conclude that
and
Then
Thus, to prove (3.2), we need to establish \(\mathrm{I}<\infty \), \(\mathrm{II}<\infty \), and \(\mathrm{III}<\infty \). We first prove \(\mathrm{I}<\infty \). For fixed \(n\ge 1\), since \(\{Y_{ni}-\mathbb{E}Y_{ni},1\le i\le n\}\) is a sequence of independent identically distributed random variables under sublinear expectation space \((\Omega ,\mathcal{H},\mathbb{E})\), for \(M\ge 2\), combining Lemma 2.2, \(C_{r}\)’s inequality, Markov’s inequality, and Jensen’s inequality under sublinear expectations results in
By \(b_{ni}\approx (i/n)^{\beta }(1/n)\), Lemma 2.1 (or Lemma 2.2 in Zhong and Wu [16]), and (3.1) we see that
Taking M large enough satisfying \((r-1)/(1+\beta )-1-M<-1\), \(r-1-M<-1\), we combine Lemma 2.4 and (3.1) to obtain
We next prove \(\mathrm{I}_{2}<\infty \). By \(C_{r}\)’s inequality we see that
Taking M large enough satisfying \(r-2-(r-1)M/2<-1\) and combining Markov’s inequality under sublinear expectations and (3.1) result in
We next establish \(\mathrm{I}_{22}<\infty \) in the following two cases.
(i) If \(1< r<2\), then taking M large satisfying \(r-2-Mr(1+\beta )/2<-1\), \(r-2-M(r-1)/2<-1\), by \(\mathbb{E}(|X|^{r})\le \mathcal{C}_{\mathbb{V}}(|X|^{r})<\infty \) we see that
(ii) If \(r\ge 2\), then (3.1) yields \(\mathbb{E}(X^{2})<\infty \). Taking M large enough to satisfy \(r-2-M(1+\beta )<-1\), \(r-1-p/2<-1\), we deduce that
By the proof of \(\mathrm{I}_{11}<\infty \) we see that \(\mathrm{II}<\infty \). We finally establish \(\mathrm{III}<\infty \). Since \(b_{ni}\approx (i/n)^{\beta }(1/n)\), combining Lemmas 2.1, and 2.3 results in
We now prove that (3.2) implies (3.1). By Remark 3.1 we see that (3.2) gives
Observing that
by (4.4) we obtain
By Lemma 2.5 and (4.7) we see that
Hence combining (4.8) and (4.6) results in
As in the proof of \(\mathrm{I}_{11}<\infty \), we obtain
Consequently, this finishes the proof of Theorem 3.1. □
Proof of Corollary 3.1
The proofs here are similar to that of Theorem 16 in Meng et al. [6]. For reader’s convenience, we give a brief explanation here. For \(0\le i\le n-1\), \(n\ge 1\), write
As in the proof of Theorem 3.1, we obtain
For instance, combining Lemmas 2.1 and 2.3 results in
The rest of proof is similar to that of Theorem 3.1, so they are omitted. □
Proof of Theorem 3.2
The proof is similar to that of Theorem 18 in Meng et al. [6]. Taking \(b_{ni}=A_{n-i}^{\alpha -1}/A_{n}^{\alpha }\), \(0\le i\le n\), \(n\ge 1\), we note that for \(\alpha >-1\), \(A_{\alpha }^{n}\approx n^{\alpha }/\Gamma (\alpha +1)\). Hence for \(\alpha >0\), we see that
From \(A_{n}^{\alpha }=\sum_{i=0}^{n-1}A_{n-i}^{\alpha -1}\) it follows that
It follows from (4.10) and (4.11) that the assumptions of Corollary 3.1 hold. Hence (3.8) follows from (3.4). The proof of Theorem 3.2 is finished. □
Availability of data and materials
No data were used to support this study.
References
Chen, Z.J.: Strong laws of large numbers for sub-linear expectations. Sci. China Math. 59(5), 945–954 (2016)
Gao, F.Q., Xu, M.Z.: Large deviations and moderate deviations for independent random variables under sublinear expectations. Sci. Sin., Math. 41(4), 337–352 (2011) (in Chinese)
Hu, F., Chen, Z.J., Zhang, D.F.: How big are the increments of G-Brownian motion. Sci. China Math. 57(8), 1686–1700 (2014)
Hu, Z.C., Yang, Y.Z.: Some inequalities and limit theorems under sublinear expectations. Acta Math. Appl. Sin. Engl. Ser. 33(2), 451–462 (2017)
Huang, W.H., Wu, P.Y.: Strong laws of large numbers for general random variables in sublinear expectation spaces. J. Inequal. Appl. 2019, Article ID 143 (2019)
Meng, B., Wang, D.C., Wu, Q.Y.: Convergence for sums of asymptotically almost negatively associated random variables. Chinese J. Appl. Probab. Statist. 35(4), 345–359 (2019)
Peng, S.G.: G-expectation, G-Brownian motion and related stochastic calculus of Itô type. Stoch. Anal. Appl. 2(4), 541–567 (2007)
Peng, S.G.: Nonlinear expectations and stochastic calculus under uncertainty (2010) arXiv:1002.4546v1
Shen, A.T., Wu, R.C.: Strong convergence for sequences of asymptotically almost negatively associated random variables. Stochastics 86(2), 291–303 (2014)
Wu, Q.Y.: Precise asymptotics for complete integral convergence under sublinear expectations. Math. Probl. Eng. 2020, Article ID 3145935 (2020)
Xu, M.Z., Cheng, K.: Precise asymptotics in the law of the iterated logarithm under sublinear expectations. Math. Probl. Eng. 2021, Article ID 6691857 (2021)
Zhang, L.X.: Donsker’s invariance principle under the sub-linear expectation with an application to Chung’s law of the iterated logarithm. Commun. Math. Stat. 3(2), 187–214 (2015)
Zhang, L.X.: Exponential inequalities under sub-linear expectations with applications. Sci. China Math. 59(12), 2503–2526 (2016)
Zhang, L.X.: Rosenthal’s inequalities for independent and negatively dependent random variables under sub-linear expectations with applications. Sci. China Math. 59(4), 759–768 (2016)
Zhang, L.X.: Strong limit theorems for extended independent and extended negatively random variables under non-linear expectations (2016) arXiv:1608.0071v1
Zhong, H.Y., Wu, Q.Y.: Complete convergence and complete moment convergence for weighted sums of extended negatively dependent random variables under sub-linear expectation. J. Inequal. Appl. 2017, Article ID 261 (2017). https://doi.org/10.1186/s13660-017-1538-1
Acknowledgements
The authors are very grateful to the referees, whose comments helped to correct some mistakes and improve the quality of the paper.
Funding
This research was supported by Doctoral Scientific Research Starting Foundation of Jingdezhen Ceramic University (No. 102/01003002031), Scientific Program of Department of Education of Jiangxi Province of China (Nos. GJJ190732, GJJ180737), Natural Science Foundation Program of Jiangxi Province 20202BABL211005, and National Natural Science Foundation of China (No. 61662037).
Author information
Authors and Affiliations
Contributions
Both authors contributed equally and read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Xu, M., Cheng, K. Convergence for sums of i.i.d. random variables under sublinear expectations. J Inequal Appl 2021, 157 (2021). https://doi.org/10.1186/s13660-021-02692-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-021-02692-x