- Research
- Open Access
- Published:

# Limit properties for ratios of order statistics from exponentials

*Journal of Inequalities and Applications*
**volume 2017**, Article number: 11 (2017)

## Abstract

In this paper, we study the limit properties of the ratio for order statistics based on samples from an exponential distribution and obtain the expression of the density functions, the existence of the moments, the strong law of large numbers for \(R_{nij}\) with \(1\leq i< j< m_{n}=m\). We also discuss other limit theorems such as the central limit theorem, the law of iterated logarithm, the moderate deviation principle, the almost sure central limit theorem for self-normalized sums of \(R_{nij}\) with \(2\leq i< j< m_{n}=m\).

## Introduction and main results

Throughout this note, let \(\{X_{ni}, 1\leq i\leq m_{n}\}\) be a sequence of independent exponential random variable with mean \(\lambda_{n}\), let \(\{X_{n},n\geq1\}=:\{(X_{ni}, 1\leq i\leq m_{n}),n\geq1\}\) be an independent random sequence, where \(\{m_{n}\geq2\} \) denotes the sample size. Denote the order statistics be \(X_{n(1)}\leq X_{n(2)} \leq\cdots\leq X_{n(m_{n})}\), and the ratios of those order statistics

As we know, the exponential distribution can describe the lifetimes of the equipment, and the ratios \(R_{nij}\) can measure the stability of equipment, it shows whether or not our system is stable. Adler [1] established the strong law of the ratio \(R_{n1j}\) for \(j\geq2\) with fixed sample size \(m_{n}=m\), and the strong law of \(R_{n12}\) for \(m_{n}\to\infty\) as follows.

### Theorem A

*For fixed sample size*
\(m_{n}=m\)
*and all*
\(\alpha>-2\), \(2\leq j\leq m\), *we know*

*For*
\(m_{n}\to\infty\)
*and all*
\(\alpha>-2\),

Later on, Miao *et al.* [2] proved the central limit theorem and the almost sure central limit for \(R_{n23}\) with fixed sample size, we state their results as the following theorem.

### Theorem B

*For fixed sample size*
\(m_{n}=m\),

*for all*
\(X\in R\), *where*
\(\Phi(\cdot)\)
*denotes the distribution function of*
\(N(0,1)\), \(\eta_{n}=1\vee\sup\{r>0; nL(r)\geq r^{2}\}\), \(L(r)=ER_{n23}^{2}I\{|R_{n23}|\leq r\}\).

In this paper, we will make a further study on the limit properties of \(R_{nij}\). In the next section, firstly, we give the expression of the density functions of \(R_{nij}\) for all \(1\leq i< j< m_{n}\), it is more interesting that the density function is free of the sample mean \(\lambda_{n}\), this allows us to change the equipment from sample to sample as long as the underlying distribution remains an exponential. Also we discuss the existence of the moments for fixed sample size \(m_{n}=m\). Secondly, we establish the strong law of large number for \(R_{nij}\) with \(1=i< j< m\) and \(2\leq i< j< m\), respectively. At last we give some limit theorems such as the central limit theorem, the law of iterated logarithm, the moderate deviation principle, the almost sure central limit theorem for self-normalized sums of \(R_{nij}\) with \(2\leq i< j< m\).

In the following, C denotes a positive constant, which may take different values whenever it appears in different expressions. \(a_{n}\sim b_{n}\) means that \(a_{n}/b_{n}\rightarrow1\) as \(n\rightarrow \infty\).

## Main results and proofs

### Density functions and moments of \(R_{nij}\)

The first theorem gives the expression of the density functions.

### Theorem 2.1

*For*
\(1\leq i< j\leq m_{n}\), *the density function of the ratios*
\(R_{nij}\)
*is*

### Proof

It is easy to check that the joint density function of \(X_{n(i)}\) and \(X_{n(j)}\) is

Let \(w=x_{i}\), \(r=x_{j}/{x_{i}}\), then the Jacobian is *w*, so the joint density function of *w* and *r* is

Therefore the density function of \(R_{nij}\) is

□

The next theorem treats the moments of \(R_{nij}\) with fixed sample size \(m_{n}=m\).

### Theorem 2.2

*For fixed sample size*
\(m_{n}=m\)
*and*
\(1=i< j\leq m\), *we know*

*and with*
\(2\leq i< j\leq m\),

*Let*
\(L(r)=E(R_{nij}-ER_{nij})^{2}I\{|R_{nij}-ER_{nij}|\leq r\}\), \(2\leq i< j\leq m\), *then*
\(L(r)\)
*is a slowly varying function at* ∞.

### Proof

For \(1=i< j\leq m\), by (2.1), it is easy to check that

where \(c_{m,j}\) is a constant depend only on *m* and *j*. Obviously the *γ*-order moment is finite for \(0<\gamma<1\) and is infinite for \(\gamma\geq1\).

For \(2\leq i< j\leq m\), similarly we can obtain \(f_{nij}(r)\sim\frac{d_{m,i,j}}{r^{3}}\), where \(d_{m,i,j}\) is a constant depend only on *m*, *i* and *j*, so the *γ*-order moment is finite for \(0<\gamma<2\) and is infinite for \(\gamma\geq2\). Furthermore it is not difficult to verify that \(L_{1}(r)=E R_{nij}^{2}I\{|R_{nij}|\leq r\}\) varies slowly at ∞, then by the fact that if \(L(x)=E|X|^{2}I\{|X|\leq x\}\) is a slowly varying function at ∞, then \(L_{a}(x)=E|X-a|^{2}I\{|X-a|\leq x\}\) also varies slowly at ∞ for any \(a\in R\), the proof is completed. □

### Remark 2.3

Miao *et al.* [2] obtained the density function for \(R_{n2j}\) for fixed sample size \(m_{n}=m\), they also proved that the expectation of \(R_{n2j}\) is finite and the truncated second moment is slowly varying at ∞. Adler [1] also claimed that all the \(R_{n1j}\) have infinite expectations for fixed sample size, so our theorems extended their results.

### Strong law of large numbers of \(R_{nij}\)

From our assumptions, we know that \(\{R_{nij},n\geq1\}\) is an independent sequence with the same distribution for fixed sample size \(m_{n}=m\). As Theorem 2.2 states that the \(R_{n1j}\) do not have the expectation, so the strong law of large numbers with them is not typical. Here we give the weighted strong law of large number as follows. At first, we list the following lemma, that is, Theorem 2.6 from De la Peña *et al.* [3], which will be used in the proof.

### Lemma 2.4

*Let*
\(\{X_{n},n\geq1\}\)
*be a sequence of independent random variables*, *denote*
\(S_{n}=\sum_{i=1}^{n}X_{i}\), *if*
\(b_{n}\nearrow\infty\), *and*
\(\sum_{i=1}^{\infty}\operatorname{Var}(X_{i})/{b_{i}^{2}}<\infty\), *then*
\((S_{n}-ES_{n})/{b_{n}}\to 0\)
*a*.*s*.

### Theorem 2.5

*Let*
\(\{a_{n},n\geq1\}\)
*be a sequence of positive real numbers and*
\(\{ b_{n},n\geq1\}\)
*be a sequence of nondecreasing positive real numbers with*
\(\lim_{n\to\infty}b_{n}=\infty\)
*and*

*Then*, *for the fixed sample size*
\(m_{n}=m\)
*and*
\(2\leq j\leq m\), *we have*

*For*
\(m_{n}\to\infty\),

### Proof

By (2.2) we get \(c_{n}=b_{n}/{a_{n}}\to\infty\), so without loss of generality we assume that \(c_{n}\geq1\) for any \(n\geq1\). Notice that

By (2.1) and (2.2), it is easy to show

then by Lemma 2.4, we have

For any \(0<\varepsilon<1\),

Then by the Borel-Cantelli lemma, we get

By (2.2) and (2.3), we can obtain

Therefore combining (2.8) with (2.9), we can easily conclude

For \(I_{3}\), by (2.1) and noting \(c_{n}\to\infty\), we get

then combining with (2.3), we show

So the proof of (2.4) is completed by combining (2.6), (2.7), (2.10), and (2.11).

By the same argument as in the proof of (2.4), we can get (2.5), so we omit it here. □

### Remark 2.6

If we take \(a_{n}=\frac{(\log n)^{\alpha}}{n}\), \(b_{n}=(\log n)^{\alpha +2}\), \(\alpha>-2\), it is easy to check that conditions (2.2) and (2.3) hold with \(\lambda=\frac{1}{\alpha+2}\), so Theorems 2.1 and 2.2 and 4.1 from Adler [1] are special cases of our Theorem 2.5. There are some other sequences satisfying conditions (2.2) and (2.3), such as (a) \(a_{n}=1\), \(b_{n}=n^{\beta}\), \(\beta>1\), \(\lambda=0\); (b) \(a_{n}=1\), \(b_{n}=n(\log n)^{\gamma}\), \(\gamma>1\), \(\lambda=0\); (c) \(a_{n}=1\), \(b_{n}=n(\log n)(\log\log n)^{\delta}\), \(\delta>1\), \(\lambda =0\); (d) \(a_{n}=\frac{(\log\log n)^{\theta}}{n}\), \(b_{n}=(\log n)^{2}(\log \log n)^{\theta}\), \(\theta\in R\), \(\lambda=\frac{1}{2}\), so the conditions (2.2) and (2.3) are mild conditions. At the end of this remark, we point out that only when \(a_{n}=L(n)/n\), where \(L(n)\) is a slowly varying function, the limit value *λ* will be \(\lambda>0\), this is known as an exact strong law, one can refer to Adler [4] for more details. For the weak law, *i.e.*, convergence in probability, one can see Feller [5] for full details.

For \(R_{nij}\), \(i\geq2\), since the expectation is finite, by the classical strong law of large numbers, we have the following.

### Theorem 2.7

*For fixed*
\(m_{n}=m\), *we have for*
\(2\leq i< j\leq m\),

### Other limit properties for \(R_{nij}\), \(2\leq i< j\leq m\)

By the above discussion, we know that, for fixed sample size \(m_{n}=m\) and \(2\leq i< j\leq m\), \(\{R_{nij},n\geq1\}\) is a sequence of independent and identically distributed random variables with finite mean, and \(L(r)=E(R_{nij}-ER_{nij})^{2}I\{|R_{nij}-ER_{nij}|\leq r\}\) is a slowly varying function at ∞. Therefore the limit properties of \(R_{nij}\) for fixed sample size can easily be established by those of the self-normalized sums. We list some of them, such as the central limit theorem (CLT), the law of iterated logarithm (LIL), the moderate deviation principle (MDP), the almost sure central limit theorem (ASCLT). Denote \(S_{N}=\sum_{n=1}^{N}(R_{nij}-ER_{nij})\), \(V_{N}^{2}=\sum_{n=1}^{N}(R_{nij}-ER_{nij})^{2}\).

### Theorem 2.8

CLT

*For fixed sample size*
\(m_{n}=m\), *we know*

### Proof

By Theorem 3.3 from Giné *et al.* [6], we can obtain the CLT for \(R_{nij}\). □

### Theorem 2.9

LIL

*For fixed sample size*
\(m_{n}=m\), *we get*

### Proof

By Theorem 1 from Griffin and Kuelbs [7], the LIL for \(R_{nij}\) holds. □

### Theorem 2.10

MDP

*Let*
\(\{x_{n},n\geq1\}\)
*be a sequence of positive numbers with*
\(x_{n}\to \infty\)
*and*
\(x_{n}=o(\sqrt{n})\), *as*
\(n\to\infty\), *then*, *for fixed sample size*
\(m_{n}=m\), *we conclude*

### Proof

By Theorem 3.1 from Shao [8], we can prove the MDP for \(R_{nij}\). □

### Theorem 2.11

ASCLT

*Suppose that*
\(0\leq\alpha<1/2\)
*and set*
\(d_{k}=\exp\{(\log k)^{\alpha}\}/k\)
*and*
\(D_{n}=\sum_{k=1}^{n} d_{k}\). *Then*, *for fixed sample size*
\(m_{n}=m\)
*and any*
\(x\in R\),

*where*
\(\Phi(\cdot)\)
*is the distribution function of the standard normal random variable*.

### Proof

By Corollary 1 from Zhang [9], we know ASCLT for \(R_{nij}\) holds. □

### Remark 2.12

It is easy to check that \(\eta_{N}/{V_{N}}\stackrel{\mathrm{{p}}}{\rightarrow}1\), then by the Slutsky lemma and Theorem 2.8, we can get Theorem 2.1 from Miao *et al.* [2].

## References

Adler, A: Strong laws for ratios of order statistics from exponentials. Bull. Inst. Math. Acad. Sin. (N.S.)

**10**(1), 101-111 (2015)Miao, Y, Wang, RJ, Adler, A: Limit theorems for order statistics from exponentials. Stat. Probab. Lett.

**110**, 51-57 (2016)De la Peña, VH, Tai, TL, Shao, QM: Self-Normalized Process: Limit Theory and Statistical Applications. Springer, New York (2009)

Adler, A: Exact strong laws. Bull. Inst. Math. Acad. Sin.

**28**(3), 141-166 (2000)Feller, W: An Introduction to Probability Theory and Its Applications, vol. 1, 3rd edn. Wiley, New York (1968)

Giné, E, Götze, F, Mason, DM: When is the Student

*t*-statistic asymptotically standard normal? Ann. Probab.**25**, 1514-1531 (1997)Griffin, PS, Kuelbs, JD: Self-normalized laws of the iterated logarithm. Ann. Probab.

**17**, 1571-1601 (1989)Shao, QM: Self-normalized large deviations. Ann. Probab.

**25**, 285-328 (1997)Zhang, Y: A general result on almost sure central limit theorem for self-normalized sums for mixing sequences. Lith. Math. J.

**53**(4), 471-483 (2013)

## Acknowledgements

This work was supported by National Natural Science Foundation of China (Grant Nos. 11101180, 11201175); the Science and Technology Development Program of Jilin Province (Grant Nos. 20130522096JH, 20140520056JH).

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declares that they have no competing interests.

### Authors’ contributions

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

## 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., Ding, X. Limit properties for ratios of order statistics from exponentials.
*J Inequal Appl* **2017, **11 (2017). https://doi.org/10.1186/s13660-016-1287-6

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s13660-016-1287-6

### Keywords

- exponential distribution
- order statistics
- strong law of large numbers
- central limit theorem
- law of iterated logarithm