Limit properties for ratios of order statistics from exponentials

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 Rnij\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$R_{nij}$\end{document} with 1≤i<j<mn=m\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$1\leq i< j< m_{n}=m$\end{document}. 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 Rnij\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$R_{nij}$\end{document} with 2≤i<j<mn=m\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$2\leq i< j< m_{n}=m$\end{document}.


Introduction and main results
Throughout this note, let {X ni ,  ≤ i ≤ m n } be a sequence of independent exponential random variable with mean λ n , let {X n , n ≥ } =: {(X ni ,  ≤ i ≤ m n ), n ≥ } be an independent random sequence, where {m n ≥ } denotes the sample size. Denote the order statistics be X n() ≤ X n() ≤ · · · ≤ X n(m n ) , and the ratios of those order statistics R nij = X n(j) X n(i) , ≤ i < j ≤ m n .
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 [] established the strong law of the ratio R nj for j ≥  with fixed sample size m n = m, and the strong law of R n for m n → ∞ as follows.
Theorem A For fixed sample size m n = m and all α > -,  ≤ j ≤ m, we know For m n → ∞ and all α > -, Later on, Miao et al.
[] proved the central limit theorem and the almost sure central limit for R n with fixed sample size, we state their results as the following theorem.
Theorem B For fixed sample size m n = m, 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  ≤ i < j < m n , it is more interesting that the density function is free of the sample mean λ 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  = i < j < m and  ≤ 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  ≤ i < j < m.
In the following, C denotes a positive constant, which may take different values whenever it appears in different expressions. a n ∼ b n means that a n /b n →  as n → ∞.

Density functions and moments of R nij
The first theorem gives the expression of the density functions.
Theorem . For  ≤ i < j ≤ 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.
where c m,j is a constant depend only on m and j. Obviously the γ -order moment is finite for  < γ <  and is infinite for γ ≥ .
where d m,i,j is a constant depend only on m, i and j, so the γ -order moment is finite for  < γ <  and is infinite for γ ≥ . Furthermore it is not difficult to verify that L  (r) = ER  nij I{|R nij | ≤ r} varies slowly at ∞, then by the fact that if L(x) = E|X|  I{|X| ≤ x} is a slowly varying function at ∞, then L a (x) = E|X -a|  I{|X -a| ≤ x} also varies slowly at ∞ for any a ∈ R, the proof is completed.

Remark . Miao et al.
[] obtained the density function for R nj for fixed sample size m n = m, they also proved that the expectation of R nj is finite and the truncated second moment is slowly varying at ∞. Adler [] also claimed that all the R nj 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 ≥ } is an independent sequence with the same distribution for fixed sample size m n = m. As Theorem . states that the R nj 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 . from De la Peña et al. [], which will be used in the proof. Proof By (.) we get c n = b n /a n → ∞, so without loss of generality we assume that c n ≥  for any n ≥ . Notice that N n= a n R nj I{R nj > c n } N n= a n ER nj I{ ≤ R nj ≤ c n } = I  + I  + I  .

By (.) and (.), it is easy to show
then by Lemma ., we have Then by the Borel-Cantelli lemma, we get R nj I{R nj > c n } →  a.s. n → ∞. For I  , by (.) and noting c n → ∞, we get then combining with (.), we show So the proof of (.) is completed by combining (.), (.), (.), and (.). By the same argument as in the proof of (.), we can get (.), so we omit it here.
Remark . If we take a n = (log n) α n , b n = (log n) α+ , α > -, it is easy to check that conditions (.) and (.) hold with λ =  α+ , so Theorems . and . and . from Adler [] are special cases of our Theorem .. There are some other sequences satisfying conditions (.) and (.), such as (a) a n = , b n = n β , β > , λ = ; (b) a n = , b n = n(log n) γ , γ > , λ = ; (c) a n = , b n = n(log n)(log log n) δ , δ > , λ = ; (d) a n = (log log n) θ n , b n = (log n)  (log log n) θ , θ ∈ R, λ =   , so the conditions (.) and (.) 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 λ > , this is known as an exact strong law, one can refer to Adler [] for more details. For the weak law, i.e., convergence in probability, one can see Feller [] for full details.
For R nij , i ≥ , since the expectation is finite, by the classical strong law of large numbers, we have the following.

Theorem . For fixed m n = m, we have for
(.)

Other limit properties for R nij , 2 ≤ i < j ≤ m
By the above discussion, we know that, for fixed sample size m n = m and  ≤ i < j ≤ m, {R nij , n ≥ } is a sequence of independent and identically distributed random variables with finite mean, and L(r) = E(R nij -ER nij )  I{|R nij -ER nij | ≤ 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 where (·) is the distribution function of the standard normal random variable.