In this paper, we obtain the equivalent relations between Kolmogorov maximal inequality and Hájek–Rényi maximal inequality both in moment and capacity types in sublinear expectation spaces. Based on these, we establish several strong laws of large numbers for general random variables and obtain the growth rate of the partial sums. In a first application, a strong law of large numbers for negatively dependent random variables is obtained. In a second application, we consider the normalizing sequence \(\{\log n\} _{n\ge 1}\) and get some special limit properties in sublinear expectation spaces.
Hinweise
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
1 Introduction and notations
The general framework of the sublinear expectation space was introduced by Peng [13] and it is a natural extension of the classical linear expectation space with the linear property being replaced by the subadditivity and positive homogeneity. This simple generalization provides a very flexible framework to model uncertainty problems in statistics or finance. Peng [14] introduced the independent and identically distributed random variables, G-normal distribution and obtained the weak law of large numbers and the central limit theorem in sublinear expectation spaces. Since then, many authors began to investigate the limit properties, especially the law of large numbers in sublinear expectation spaces. For instance, Chen, Wu and Li [5] gave a strong law of large numbers for non-negative product independent random variables; Chen [2] obtained the Kolmogorov strong law of large numbers for independent and identically distributed random variables; Zhang [21] gave the necessary and sufficient conditions of Kolmogorov strong law of larger numbers holding for independent and identically distributed random variables under a continuous sublinear expectation; Zhang [22] obtained a strong law of large numbers for a sequence of extended independent random variables; Chen, Hu and Zong [3] gave several strong laws of large numbers under some moment conditions with respect to the partial sum and some conditions similar to Petrov’s; Chen, Huang and Wu [4] established an extension of the strong law of large numbers under exponential independence. There are also many results on law of large numbers under different non-additive probability framework. The reader can see [1, 6, 12, 18] and the references therein.
However, none of these papers investigate the growth rate of the partial sums. The main purpose of this paper is to explore the growth rate of the partial sums and investigate the strong law of large numbers for general random variables in sublinear expectation spaces.
Anzeige
In classical probability or expectation space, Fazekas and Klesov [9] gave a general approach of obtaining the strong law of large numbers for sequences of random variables by using a Hájek–Rényi type maximal inequality. This general approach made no restriction on the dependence structure of random variables. Under the same conditions as those in Fazekas and Klesov [9], Hu and Hu [10] obtained the growth rate for the sums of random variables. Sung, Hu and Volodin [17] improved these results and applied this approach to the weak law of large numbers for tail series. Tómács and Líbor [20] used the probability Hájek–Rényi type maximal inequality to prove the strong law of large numbers. More results and applications of this approach in classical probability space can be found in Fazekas [8] and the references therein.
In this paper, we will extend the approach used by Fazekas and Klesov [9] and Hu and Hu [10] to sublinear expectation spaces. In Sect. 2, we firstly show the equivalent relations between Kolmogorov maximal inequality and Hájek–Rényi maximal inequality both in the moment and capacity types in sublinear expectation spaces. Based on these, we establish several strong laws of large numbers for general random variables in sublinear expectation spaces and obtain the growth rate of the partial sums in Sect. 3. As an application, a strong law of large numbers for negatively dependent random variables is obtained since the Kolmogorov type maximal inequality for negatively dependent random variables has been proved in Sect. 2. In Sect. 4, we give another application. We consider the normalizing sequence \(\{\log n\}_{n\ge 1}\) and get some limit properties in sublinear expectation spaces.
In the remainder of this section, we give some notations in sublinear expectation spaces. We use the framework and notations in Peng [14] and [15]. Let \((\varOmega ,\mathcal{F})\) be a given measurable space and \(\mathscr{H}\) be a linear space of real measurable functions defined on \((\varOmega , \mathcal{F})\) such that if \(X_{1},\ldots , X_{n} \in \mathscr{H}\) then \(\psi (X_{1},\ldots ,X_{n})\in \mathscr{H}\), for each \(\psi \in C_{l,\mathrm{Lip}}( \mathbb{R}^{n})\), where \(C_{l,\mathrm{Lip}}(\mathbb{R}^{n})\) denotes the linear space of functions ψ satisfying
$$\begin{aligned}& \bigl\vert \psi (y)-\psi (z) \bigr\vert \leq C\bigl(1+ \vert y \vert ^{m}+ \vert z \vert ^{m}\bigr) \vert y-z \vert , \\& \quad \mbox{for all } y,z\in \mathbb{R}^{n}, \mbox{for some } C>0, m \in \mathbb{N} \mbox{ depending on } \psi . \end{aligned}$$
Here and in the sequel, \(\mathbb{N}\) denotes the set of all non-negative integers and \(\mathbb{N}^{*}\) denotes the set of all positive integers. In general, \(C_{l,\mathrm{Lip}}(\mathbb{R}^{n})\) can be replaced by \(C_{b,\mathrm{Lip}}( \mathbb{R}^{n})\), which is the space of all bounded and Lipschitz continuous functions on \(\mathbb{R}^{n}\). The space \(\mathscr{H}\) is considered as a space of random variables.
Definition 1.1
A sublinear expectation \(\mathbb{E}\) on \(\mathscr{H}\) is a functional \(\mathbb{E}: \mathscr{H}\to \mathbb{R}\cup \{-\infty ,\infty \}\) satisfying the following properties: for all \(X, Y \in \mathscr{H}\), we have
(a)
monotonicity: \(\mathbb{E} [X]\ge \mathbb{E} [Y]\), if \(X \ge Y\);
(b)
constant preserving: \(\mathbb{E} [c] = c\), for \(c \in \mathbb{R}\);
(c)
subadditivity: \(\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 \);
The triple \((\varOmega , \mathscr{H}, \mathbb{E})\) is called a sublinear expectation space. Given a sublinear expectation \(\mathbb{E} \), let us denote the conjugate expectation \(\mathcal{E}\) of \(\mathbb{E}\) by
$$ \mathcal{E}[X]:=-\mathbb{E}[-X],\quad \mbox{for all } X\in \mathscr{H}. $$
A functional\(\mathbb{E}\)defined on\((\varOmega ,\mathscr{H})\)is a sublinear expectation if and only if, there exists a family of linear expectations (finite additive) \(\{ E_{\theta }: \theta \in \varTheta \}\)such that
Obviously, for all \(X\in \mathscr{H}\), \(\mathcal{E}[X]\le \mathbb{E}[X]\). Furthermore, \((\mathbb{E}, \mathcal{E})\) can generate a pair \((V,v)\) of capacities by
where \(\{E_{\theta }: \theta \in \varTheta \}\) is the family of linear expectations in Lemma 1.2 and \(A^{c}\) is the complement set of A. It is easy to check that V is subadditive, monotonic and
Moreover, if \(I_{A}\in \mathscr{H}\), then \(V(A)=\mathbb{E}[I_{A}]\) and \(v(A)=\mathcal{E}[I_{A}]\).
Remark 1.3
Zhang [21] introduced another way to define the capacities generated by \((\mathbb{E},\mathcal{E})\), that is,
$$ \bar{V}(A):=\inf \bigl\{ \mathbb{E}[X]: I_{A}\le X, X\in \mathscr{H} \bigr\} , \qquad \bar{v}(A):=1-V\bigl(A^{c}\bigr),\quad \mbox{for all } A \in \mathcal{F}. $$
Under this definition, V̄ is also subadditive, monotonic and \((\bar{V},\bar{v})\) satisfy (1). The relation of these two pair of capacities satisfy \(\bar{v}(A)\le v(A)\le V(A)\le \bar{V}(A)\), for all \(A\in \mathcal{F}\). More properties about \((\bar{V},\bar{v})\) can be found in Zhang [21]. It is easy to see that Theorem 2.2, Proposition 2.5 and Theorem 2.7 in this paper still hold when \((V,v)\) is replaced by \((\bar{V},\bar{v})\), respectively.
Definition 1.4
(i)
In a sublinear expectation space \((\varOmega , \mathscr{H}, \mathbb{E})\), a n-dimensional random vector Y is said to be independent on another m-dimensional random vector X under \(\mathbb{E}\) if for each test function \(\psi \in C_{l,\mathrm{Lip}}(\mathbb{R} ^{m+n})\) we have
whenever \(\overline{\psi }(\mathbf{x}):=\mathbb{E} [|\psi (\mathbf{x}, \mathbf{Y} )| ]<\infty \) for all x and \(\mathbb{E} [|\overline{ \psi }(\mathbf{X})| ]<\infty \).
(ii)
A sequence of random variables \(\{X_{n}\}_{n\ge 1}\) is said to be independent, if \(X_{n+1}\) is independent on \((X_{1},\ldots , X _{n})\) for each \(n\ge 1\).
In a sublinear expectation space \((\varOmega ,\mathscr{H},\mathbb{E})\), a n-dimensional random vector Y is said to be negatively dependent on another m-dimensional random vector X under \(\mathbb{E}\), if for each pair of test function \(\psi _{1}\in C_{l,\mathrm{Lip}}(\mathbb{R}^{m})\) and \(\psi _{2}\in C_{l,\mathrm{Lip}}(\mathbb{R}^{n})\), we have \(\mathbb{E}[\psi _{1}( \mathbf{X})\psi _{2}(\mathbf{Y})]\le \mathbb{E}[\psi _{1}(\mathbf{X})] \mathbb{E}[\psi _{2}(\mathbf{Y})]\), whenever \(\psi _{1}(\mathbf{X}) \ge 0\) and \(\mathbb{E}[\psi _{2}(\mathbf{Y})]\ge 0\), \(\mathbb{E}[|\psi _{1}(\mathbf{X})\psi _{2}(\mathbf{Y})|]<\infty \), \(\mathbb{E}[|\psi _{1}(\mathbf{X})|]<\infty \), \(\mathbb{E}[|\psi _{2}(\mathbf{Y})|]< \infty \) and either \(\psi _{1}\) and \(\psi _{2}\) are coordinatewise nondecreasing or \(\psi _{1}\) and \(\psi _{2}\) are coordinatewise non-increasing.
2 Kolmogorov type and Hájek–Rényi type maximal inequalities
For convenience, let \(\max_{i\in A} a_{i}=0\) and \(\sum_{i\in A} a_{i}=0\) if \(A=\emptyset \).
Let \(\{X_{i}\}_{i\ge 1}\) denote a sequence of random variables in the sublinear expectation space \((\varOmega ,\mathscr{H},\mathbb{E})\) and the partial sums of random variables be \(S_{n}=\sum_{i=1}^{n}X_{i}\) for all \(n\in \mathbb{N}^{*}\) and \(S_{0}=0\). The constant c may be different in different places.
Theorem 2.1
Let\(\{\alpha _{l}\}_{l=1}^{n}\)be a sequence of non-negative numbers and\(r>0\). Then the following two statements are equivalent:
(i)
there exists a constant\(c>0\), such that, for any\(k=1,\ldots ,n\),
In (ii), for \(l=1,\ldots ,n\), let \(\beta _{l}\equiv 1\), then we can get (i) from (ii). Now we turn to the proof of (i) ⇒ (ii). The proof is based on the idea of the proof of Theorem 1.1 by Fazekas and Klesov [9].
Fix any nondecreasing positive numbers \(\{\beta _{l}\}_{l=1}^{n}\). Without loss of generality we can assume \(\beta _{1}=1\). For any fixed \(k\in \{1,\ldots ,n\}\), define the following notations:
It is easy to see that \(I<\infty \), \(m(0)\ge 1\) and \(\{m(i)\}_{i=-1} ^{\infty }\) is nondecreasing. Then, by the subadditivity of \(\mathbb{E}\) and inequality (2), we have
there exists a constant\(c>0\), such that, for any nondecreasing positive numbers\(\{\beta _{l}\}_{l=1}^{n}\)and any\(k=1,\ldots ,n\), any\(\epsilon >0\),
In (ii), for \(l=1,\ldots ,n\), let \(\beta _{l}\equiv 1\), then we can get (i) from (ii). Now we focus on the proof of (i) ⇒ (ii).
Fix any nondecreasing positive numbers \(\{\beta _{l}\}_{l=1}^{n}\) and fix any \(k\in \{1,\ldots ,n\}\). Without loss of generality we can assume \(\beta _{1}=1\). We use the same notations \(A_{i}\), I and \(m(i)\) defined in the proof of Theorem 2.1. Then, by the subadditivity and monotonicity of V and inequality (4), we have
Inequalities (2) and (4) are Kolmogorov maximal inequalities in the moment and capacity types, respectively. As well, inequalities (3) and (5) are Hájek–Rényi maximal inequalities in the moment and capacity types, respectively.
At the end of this section, we give two Kolmogorov type maximal inequalities for negatively dependent random variables in sublinear expectation spaces. Before we do this, we prove two propositions which will be used in the proof of Kolmogorov type maximal inequality.
Proposition 2.4
Let\(\{f_{i}\}_{i=1}^{n_{1}}\subset C_{l,\mathrm{Lip}}(\mathbb{R}^{n})\)and\(\{g_{i}\}_{i=1}^{m_{1}}\subset C_{l,\mathrm{Lip}}(\mathbb{R}^{m})\)be coordinatewise nondecreasing or coordinatewise non-increasing functions. Ifn-dimensional random vectorYis negatively dependent onm-dimensional random vectorXunder\(\mathbb{E}\), then\((f_{1}(\mathbf{Y}),\ldots ,f_{n_{1}}(\mathbf{Y}))\)is negatively dependent on\((g_{1}(\mathbf{X}),\ldots ,g_{m_{1}}(\mathbf{X}))\). In particular, −Yis negatively dependent on −X.
Proof
For any test functions \(\psi _{1}\in C_{l,\mathrm{Lip}}( \mathbb{R}^{m_{1}})\) and \(\psi _{2}\in C_{l,\mathrm{Lip}}(\mathbb{R}^{n_{1}})\) such that \(\psi _{1}(g_{1}(\mathbf{X}),\ldots , g_{m_{1}}(\mathbf{X})) \ge 0\) and \(\mathbb{E}[\psi _{2}(f_{1}(\mathbf{Y}),\ldots ,f_{n_{1}}( \mathbf{Y}))]\ge 0\),
\(\mathbb{E}[|\psi _{1}(g_{1}(\mathbf{X}),\ldots ,g_{m_{1}}(\mathbf{X}))|]< \infty \), \(\mathbb{E}[|\psi _{2}(f_{1}(\mathbf{Y}),\ldots ,f_{n_{1}}( \mathbf{Y}))|]<\infty \) and either \(\psi _{1}\) and \(\psi _{2}\) are coordinatewise nondecreasing or \(\psi _{1}\) and \(\psi _{2}\) are coordinatewise non-increasing, define \(\tilde{\psi }_{1}(\cdot )=\psi _{1}(g_{1}(\cdot ),\ldots ,g_{m_{1}}(\cdot ))\) and \(\tilde{\psi }_{2}( \cdot )=\psi _{1}(f_{1}(\cdot ),\ldots ,f_{n_{1}}(\cdot ))\). Then \(\tilde{\psi }_{1}\in C_{l,\mathrm{Lip}}(\mathbb{R}^{m})\) and \(\tilde{\psi } _{2}\in C_{l,\mathrm{Lip}}(\mathbb{R}^{n})\) are coordinatewise nondecreasing or \(\tilde{\psi }_{1}\) and \(\tilde{\psi }_{2}\) are coordinatewise non-increasing. Meanwhile \(\tilde{\psi }_{1}(\mathbf{X})\ge 0\) and \(\mathbb{E}[\tilde{\psi }_{2}(\mathbf{Y})]\ge 0\), \(\mathbb{E}[| \tilde{\psi }_{1}(\mathbf{X})\tilde{\psi }_{2}(\mathbf{Y})|]<\infty \), \(\mathbb{E}[|\tilde{\psi }_{1}(\mathbf{X})|]<\infty \), \(\mathbb{E}[| \tilde{\psi _{2}}(\mathbf{Y})|]<\infty \). Therefore, by the definition of negatively dependence, we have
Hence \((f_{1}(\mathbf{Y}),\ldots ,f_{n_{1}}(\mathbf{Y}))\) is negatively dependent on \((g_{1}(\mathbf{X}),\ldots ,g_{m_{1}}(\mathbf{X}))\) under \(\mathbb{E}\). □
The following proposition gives the Chebyshev inequalities in sublinear expectation spaces which have been proved in Chen, Wu and Li [5]. But the proof there is not valid for the capacities defined by Zhang [21] (see Remark 1.3 in this paper). We give a new proof here which is also valid for the capacities defined by Zhang [21].
Proposition 2.5
(Chebyshev inequalities)
LetXbe any random variable in\(\mathscr{H}\)andfbe any nondecreasing positive function in\(C_{l,\mathrm{Lip}}(\mathbb{R})\). Then, for any\(\epsilon \in \mathbb{R}\),
By Proposition 2.4, we know that \(-X_{k}\) is negatively dependent on \((-X_{k+1},\ldots ,-X_{n})\) for all \(k=1,\ldots ,n-1\). So by Theorem 2.1 in Zhang [21], we have
Clearly, V is inner continuous and v is outer continuous, that is, \(V (A_{n})\uparrow V (A)\), if \(A_{n}\uparrow A\); and \(v(A_{n})\downarrow v(A)\), if \(A_{n}\downarrow A\), where \(A_{n}, A\in {\mathcal{F}}\), \(n\ge 1\) (see Lemma 2.1 in Chen, Wu and Li [5]). Theorem 3.2 shows that these properties also hold for \(\mathbb{E}\) and \(\mathcal{E}\).
A set B is a polar set if \(V (B)=0\) and a property holds quasi-surely if it holds outside a polar set.
Theorem 3.2
(The monotone convergence theorem)
(i)
If random variables\(X_{n} \uparrow X\)and there exists a constantcsuch that\(X_{n}\ge c\)quasi-surely for all\(n\ge 1\), then\(\mathbb{E}[X_{n}] \uparrow \mathbb{E}[X]\).
(ii)
If random variables\(Y_{n} \downarrow Y\)and there exists a constantcsuch that\(Y_{n}\le c\)quasi-surely for all\(n\ge 1\), then\(\mathcal{E}[Y_{n}]\downarrow \mathcal{E}[Y]\).
Proof
It is easy to see that (i) is equivalent to (ii). So we only prove (i). By the monotonicity of \(\mathbb{E}\), we know \(\mathbb{E}[X_{n}]\) nondecreasing and \(\mathbb{E}[X]\ge \lim_{n\to \infty }\mathbb{E}[X_{n}]\). On the other hand, it follows from the classical monotone convergence theorem that
Let\(\{a_{n}\}_{n\ge 1}\)be a sequence of non-negative real numbers such that\(a_{n}>0\)for infinitely manyn. Let\(v_{n}=\sum_{i=n}^{\infty } a_{i}\)for\(n\in \mathbb{N}^{*}\)andφbe a positive function satisfying (8). If\(\sum_{n=1}^{\infty }a_{n}<\infty \), then\(\sum_{n=1}^{\infty } a_{n}\varphi (\frac{1}{v_{n}} )< \infty \).
Proposition 3.5
Let\(\{b_{n}\}_{n\ge 1}\)be a nondecreasing unbounded sequence of positive numbers, \(\{\alpha _{n}\}_{n\ge 1}\)be a sequence of non-negative real numbers, andφbe a positive function satisfying (8). Letrbe any fixed positive number and for\(n\in \mathbb{N}^{*}\),
Firstly, we consider that there exists an integer m such that \(\alpha _{n}=0\) for all \(n\ge m\), thus \(\beta _{n}= \max_{1\le i\le m}b_{i}\varphi (\frac{1}{v_{i}} )^{-1/r}\) for \(n\ge m\). Obviously, \(\sum_{n=1}^{\infty }\alpha _{n} \beta _{n} ^{-r}<\infty \) and we can get \(\lim_{n\to \infty }\frac{\beta _{n}}{b _{n}}=0\) from \(\lim_{n\to \infty }b_{n}=\infty \).
Secondly, we consider that \(\alpha _{n}>0\) for infinitely many n. It is easy to see that \(\beta _{n}\le \beta _{n+1}\) and \(\beta _{n}\ge b _{n}\varphi (\frac{1}{v_{n}})^{-1/r}\), for \(n\in \mathbb{N}^{*}\). Then, by Lemma 3.4, we have
Let \(n\to \infty \), we get \(\limsup_{n\to \infty }\frac{\beta _{n}}{b _{n}}\le \varphi (\frac{1}{v_{k}} )^{-1/r}\) since \(\lim_{n\to \infty }b_{n}=\infty \). Then let \(k\to \infty \), we have \(\limsup_{n\to \infty }\frac{\beta _{n}}{b_{n}}\le 0\) since \(\lim_{n\to \infty }v_{n}=0\) and \(\varphi (x)\uparrow \infty \) as \(x\uparrow \infty \). Hence \(\lim_{n\to \infty } \frac{\beta _{n}}{b_{n}}=0\). The proof of this proposition is completed. □
Theorems 3.6, 3.8 and 3.9 give several strong laws of large numbers and the growth rate of the partial sums for general random variables in sublinear expectation spaces.
Theorem 3.6
Let\(\{b_{n}\}_{n\ge 1}\)be a nondecreasing unbounded sequence of positive numbers and\(\{\alpha _{n}\}_{n\ge 1}\)be a sequence of non-negative numbers. Letrandcbe any fixed positive numbers andφbe any positive function satisfying (8). For\(n\in \mathbb{N}^{*}\), let
and\(\sum_{n=1}^{\infty }\alpha _{n} b_{n}^{-r}<\infty \), then\(\lim_{n\to \infty }\frac{S_{n}}{b_{n}}=0\)quasi-surely with the convergence rate\(\frac{S_{n}}{b_{n}}= O(\frac{\beta _{n}}{b_{n}}) \)quasi-surely.
Proof
Step 1. We firstly consider that there exists an integer m such that \(\alpha _{n}=0\) for all \(n\ge m\), then \(\beta _{n}=\max_{1\le i\le m}b_{i}\varphi (\frac{1}{v_{i}} ) ^{-1/r}\) for \(n\ge m\).
In this case, the sequence \(\{\beta _{n}\}_{n\ge 1}\) is bounded and it follows from the monotone convergence theorem (Theorem 3.2) that
Therefore \(\lim_{n\to \infty }\frac{S_{n}}{b_{n}}=0\) quasi-surely since \(\lim_{n\to \infty }b_{n}=\infty \). Because of \(\frac{S_{n}}{b_{n}}=\frac{S _{n}}{\beta _{n}}\frac{\beta _{n}}{b_{n}}\), we obtain the convergence rate of \(\frac{S_{n}}{b_{n}}= O (\frac{\beta _{n}}{b_{n}} ) \) quasi-surely.
Step 2. We consider that \(\alpha _{n}>0\) for infinitely many n. By Proposition 3.5, we have \(\sum_{n=1}^{\infty }\alpha _{n}\beta _{n}^{-r}<\infty \), and \(\lim_{n\to \infty }\beta _{n} b_{n} ^{-1}=0\). It follows from Theorem 2.1 that
Hence, \(\lim_{n\to \infty }\frac{S_{n}}{b_{n}}=0\) quasi-surely and \(\frac{S_{n}}{b_{n}}=O (\frac{\beta _{n}}{b_{n}} )\) quasi-surely. The proof of this theorem is completed. □
Proposition 3.7
Under the assumptions of Theorem 3.6, the following statements hold:
(i)
if the sequence\(\{\beta _{n}\}_{n\ge 1}\)is bounded, then\(\frac{S_{n}}{\beta _{n}}=O(1)\)quasi-surely;
(ii)
if the sequence\(\{\beta _{n}\}_{n\ge 1}\)is unbounded, then\(\frac{S_{n}}{\beta _{n}}=o(1)\)quasi-surely.
Proof
(i) Assume that \(\{\beta _{n}\}_{n\ge 1}\) is bounded by a constant \(D>0\). Then
Therefore \(\sup_{n\ge 1}|S_{n}|<\infty \) quasi-surely. Since \(\{\beta _{n}\}_{n\ge 1}\) is bounded, we obtain \(\frac{S_{n}}{\beta _{n}}=O(1)\) quasi-surely.
(ii) We turn to the case that \(\{\beta _{n}\}_{n\ge 1}\) is unbounded. Now \(\{\beta _{n}\}_{n\ge 1}\) is a nondecreasing unbounded sequence of positive numbers. It follows from Proposition 3.5 that \(\sum_{n=1}^{\infty }\alpha _{n}\beta _{n}^{-r}<\infty \). Then, by Theorem 3.6, we get \(\lim_{n\to \infty }\frac{S_{n}}{\beta _{n}}=0\) quasi-surely, that is, \(\frac{S_{n}}{\beta _{n}}=o(1)\) quasi-surely. □
Theorem 3.8
Under the assumptions of Theorem 3.6, the following statements hold:
(i)
if the sequence\(\{\beta _{n}\}_{n\ge 1}\)is bounded, then\(\frac{S_{n}}{b_{n}}=O(\frac{\beta _{n}}{b_{n}}) \)quasi-surely;
(ii)
if the sequence\(\{\beta _{n}\}_{n\ge 1}\)is unbounded, then\(\frac{S_{n}}{b_{n}}=o(\frac{\beta _{n}}{b_{n}}) \)quasi-surely.
Proof
Due to \(\frac{S_{n}}{b_{n}}=\frac{S_{n}}{\beta _{n}}\frac{ \beta _{n}}{b_{n}}\), these two statements can easily be got from Theorem 3.6 and Proposition 3.7. □
Theorem 3.9
Let\(\{b_{n}\}_{n\ge 1}\)be a nondecreasing unbounded sequence of positive numbers and\(\{\alpha _{n}\}_{n\ge 1}\)be a sequence of non-negative numbers andrbe any fixed positive number. For\(n\in \mathbb{N}\), let
Assume that\(\sum_{n=1}^{\infty }\alpha _{n} b_{n}^{-r}<\infty \)and there exists a constant\(c>0\)such that for any\(n\in \mathbb{N}^{*}\)and any\(\epsilon >0\)
From (i) of this theorem, we get \(\lim_{n\to \infty }S_{n}/\beta _{n}=0\) quasi-surely, and thus \(S_{n}/b_{n}=o(\beta _{n}/b_{n}) \) quasi-surely. □
The result of Theorem 3.8 is more precise than Theorem 3.6. When the sublinear expectation space degenerates to the classical probability space, Theorem 3.8 and Theorem 3.9 give more precise results than Theorem 2.1 in Fazekas and Klesov [9], Lemma 1.2 in Hu and Hu [10], Theorem 3.4 in Tómács [19] and Theorem 2.4 in Tómács and Líbor [20].
Theorem 3.10
(Strong law of large numbers for negatively dependent random variables)
Let\(1\le p\le 2\), \(\{X_{n}\}_{n\ge 1}\)be a sequence of random variables in sublinear expectation space\((\varOmega ,\mathscr{H}, \mathbb{E})\)with\(\mathbb{E}[X_{n}]=\mathcal{E}[X_{n}]=0\)for all\(n\in \mathbb{N}^{*}\). If\(X_{k}\)is negatively dependent on\((X_{k+1},\ldots ,X_{k+n})\)for all\(n,k\in \mathbb{N}^{*}\)and\(\{b_{n}\}_{n\ge 1}\)is a nondecreasing unbounded sequence of positive numbers with
we can deduce this theorem from Theorem 3.6 and 3.8. □
4 An application to the logarithmically weighted sums
By using Theorem 3.6 and 3.8 to the logarithmically weighted sums, we can get Theorem 4.2, which sharpens the result of Theorem 8.1 in Fazekas and Klesov [9] and Theorem 2.5 in Hu and Hu [10] under the same condition in the classical probability theory and extends it to the sublinear expectation space. Some of our idea for obtaining Theorem 4.2 come from these papers.
where \(A_{2,\gamma }\) is a constant defined in Theorem 1 of Longnecker and Serfling [11]. Since \(\sum_{k=1}^{n} 1/k=O(1) \log n\) as \(n\to \infty \), we denote
where \(c_{1}\) is a positive constant. Due to \(\lim_{n\to \infty } \gamma n^{-1}(\log n)^{\gamma -1}/\alpha _{n}=1\), there exists \(n_{0}\ge 3\), \(c_{2}>0\) and \(c_{3}>0\) such that, for all \(n\ge n_{0}\),
which implies \(\{\beta _{n}\}_{n\ge 1}\) is unbounded since \(1-(2- \gamma )\delta /2\in (0,1/2)\). Therefore, by Theorem 3.8, the convergence rate of \(\frac{1}{\log n}\sum_{k=1}^{n}\frac{X_{k}- \mathbb{E}[X_{k}]}{k}\) is \(o(\beta _{n}/b_{n}) \) quasi-surely.
where \(c_{4}= (\frac{c_{3}}{2-\gamma } )^{\delta /2} (\frac{ \log 3}{\log 2} )^{(2-\gamma )\delta /2}\). Let \(\epsilon =(2- \gamma )\delta /2\), then ϵ can be any value in \((0,1/2)\) since δ is an arbitrary number in \((0,1)\) and \(\frac{1}{\log n} \sum_{k=1}^{n}\frac{X_{k}-\mathbb{E}[X_{k}]}{k}=o (\frac{1}{( \log n)^{\epsilon }} ) \) quasi-surely. □
Throughout the sequel of this section, the sublinear expectation spaces and the random variable sequence \(\{X_{n}\}_{n\ge 1}\) are further supposed to satisfy the following two assumptions.
Assumption 1
The sublinear expectation spaces \((\varOmega ,\mathscr{H},\mathbb{E})\) and \((\widetilde{\varOmega },\widetilde{\mathscr{H}},\widetilde{\mathbb{E}})\) satisfy for all \(X\in \mathscr{H}(\mbox{or }\widetilde{\mathscr{H}})\) and \(f_{n}\in C_{b,\mathrm{Lip}}(\mathbb{R})\), \(f_{n}\downarrow 0\): \(\mathbb{E}(\mbox{or }\widetilde{\mathbb{E}})[f_{n}(X)]\downarrow 0\).
Assumption 2
Having fixed the ratio \(\lambda \geq 1\) as a constant, the sequence \(\{X_{n}\}_{n\ge 1}\) is a sequence of independent random variables in any fixed sublinear expectation space \((\varOmega , \mathscr{H}, \mathbb{E})\) with \(\mathbb{E}[X_{n}]=\mathcal{E}[X_{n}]=0\), \(\overline{\sigma }_{n}=\sqrt{\mathbb{E}[X_{n}^{2}]}\) and \(\underline{\sigma }_{n}=\sqrt{\mathcal{E}[X_{n}^{2}]}\), for \(n\geq 1\), and \(0< \inf_{n\geq 1}\underline{\sigma }_{n}^{2} \leq \sup_{n\geq 1}\overline{\sigma }_{n}^{2} < \infty \). For \(n\ge 1\), denote \(S_{0}=0\), \(S_{n}= \sum_{i=1}^{n} X_{i}\) and \(\sigma _{n}:= \frac{\underline{\sigma }_{n} +\overline{\sigma }_{n}}{2}\), \(\lambda _{n}:= \frac{\overline{\sigma }_{n}}{\underline{\sigma }_{n}} \equiv \lambda \), \(B_{n}:= \sqrt{\sum_{i=1}^{n} \sigma _{i} ^{2}}\), \(W_{n}:= \frac{S_{n}}{B_{n}}\).
A random variable ξ is G-normal distributed (denoted by \(\xi \sim N(0, [\underline{ \sigma }^{2}, \overline{\sigma }^{2}])\)) under a sublinear expectation \(\widetilde{\mathbb{E}}\), if and only if for any \(f \in C_{b,\mathrm{Lip}}( \mathbb{R})\), the function \(u(t,x)=\widetilde{\mathbb{E}} [f (x+\sqrt{t} \xi ) ]\) (\(x\in \mathbb{R}\), \(t\ge 0\)) is the unique viscosity solution of the following G-heat equation:
where \(G(a)=\frac{1}{2}\widetilde{\mathbb{E}}[a\xi ^{2}]\), \(a\in \mathbb{R}\), is determined by the variances \(\bar{\sigma }^{2}:= \widetilde{\mathbb{E}}[\xi ^{2}]\) and \(\underline{\sigma }^{2}:= \widetilde{\mathcal{E}}[\xi ^{2}]\). If \(\bar{\sigma }^{2}=\underline{ \sigma }^{2}\), then G-normal distribution is just the classical normal distribution \(N(0, \bar{\sigma }^{2})\).
Let\((\varOmega ,\mathscr{H},\mathbb{E})\)and\((\widetilde{\varOmega }, \widetilde{\mathscr{H}},\widetilde{\mathbb{E}})\)be sublinear expectation spaces satisfying Assumption 1and\(\{X_{n}\} _{n\ge 1}\)be a sequence of random variables in\((\varOmega ,\mathscr{H}, \mathbb{E})\)satisfying Assumption 2. Then there exist a constant\(\alpha \in (0,1)\), depending onλ, and a constant\(C_{\alpha ,\lambda }>0\), depending onα, λsuch that, for any\(n\ge 1\),
Consequently, we can get (17) and the convergence rate. □
Acknowledgements
The authors would like to thank the editor and referees for their valuable comments.
Availability of data and materials
Data sharing not applicable to this paper as no data sets were generated or analyzed during the current study.
Competing interests
The authors declare that they have no competing interests.
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.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.