Abstract
Rychlik [Appl Math (Warsaw) 29:15–32, 2002] presented positive sharp upper bounds on the expectations of order statistics with sufficiently large ranks, based on i.i.d. samples from the decreasing density and failure rate populations (DDA and DFRA, for short). They were expressed in terms of the population mean and standard deviation. Here we provide respective non-positive upper tight evaluations for expected small order statistics centered about the population mean, measured in various scale units.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We assume that \(X_1,\ldots ,X_n\) are i.i.d. random variables, and \(X_{1:n} \le \cdots \le X_{n:n}\) stand for the respective order statistics. We denote by \(F\), \(\mu = \mathbb{E }X_1\), and \(\sigma _p^p = \mathbb{E }|x_1-\mu |^p\) for some \( p \ge 1\), the respective parent distribution function, mean, and \(p\)th absolute central moment. Writing \(\sigma _p^p\) or \(\sigma _p= (\sigma _p^p)^{1/2}\) below, we tacitly assume that they are positive and finite. Let
be the upper quantile function of \(F\). We also assume that \(a_F= F^{-1}(0) > - \infty \), i.e., \(F\) has a support bounded below, and
is a non-decreasing function. An equivalent condition is that \(F(x)/(x-a_F)\), \(x > a_F\), is non-increasing which means that \(F\) has a possible jump at \(a_F\), and a density function \(f\) such that \(\frac{1}{x-a_F} [F(a_F) + \int _{a_F}^x f(t)dt]\) does not increase for \(x > a_F\). If \(F(a_F)=0\), one could say that the density function is non-increasing on the average. We extend the definition to the distributions with atoms described above in order to make the family of decreasing density on the average distributions (DDA) closed.
Moreover, we consider a narrower family of decreasing failure rate on the average distribution functions (DFRA) for which functions
are non-decreasing. Note that the latter fraction of the RHS is decreasing, and so (2) is indeed a stronger condition than (1). In other words, for the DFRA distributions the function
does not increase. Usually the DFRA family is treated as a subfamily of life distributions with \(a_F=0\). Here we drop this restrictive assumption.
We aim at providing precise upper evaluations on \(\mathbb{E }_{F}X_{j:n}-\mu \), expressed in various scale units \(\sigma _p\), \(p \ge 1\), when the parent distributions come from the DDA and DFRA families. It is intuitively obvious that these bounds can be positive for large \(j\) (with respect to \(n\)), and negative for small ones. Rychlik (2002) presented conditions on the pairs \((j,n)\) such that \(\mathbb{E }_{F}X_{j:n} \le \mu \) when the marginal distribution is either DDA or DFRA. We recall them below. Since relations \(\mathbb{E }_{F}X_{1:n} \le \mu \le \mathbb{E }_{F}X_{n:n}\) are valid for arbitrary distributions of \(X_i\)’s, we focus now on \(2 \le j \le n-1\). Formula
defines the density function of the \(j\)th order statistic based on \(n\) i.i.d. standard uniform random variables. If \(2 \le j \le n-1\), it continuously increases from \(f_{j:n}(0)=0\) to \(f_{j:n}\left( \frac{j-1}{n-1}\right) >1\), and ultimately decreases to \(f_{j:n}(1)=0\). Let \(0 < a_{j:n} < \frac{j-1}{n-1} < b_{j:n} <1\) denote the smaller and greater arguments at which \(f_{j:n}\) amounts to 1. Let
denote the distribution and survival functions of of the \(j\)th order statistic from the standard uniform sample. We also define
Proposition 1
(Rychlik 2002, Propositions 1 and 2) Let random variables \(X_1,\ldots ,X_n\) be i.i.d. with a common distribution function \(F\) and mean \(\mu \). If either
-
(a)
\(F\) is DDA and either \(j=1\) or \(K_{j:n}(a_{j:n}) \le 0\) for \(j \ge 2\), or
-
(b)
\(F\) is DFRA and either \(j=1\) or \(L_{j:n}(a_{j:n}) \le 0\) for \(j \ge 2\), then \(\mathbb{E }_{F}X_{j:n} \le \mu \).
Rychlik (2002) established positive sharp upper bounds on \(\mathbb{E }_{F}(X_{j:n} - \mu )/\sigma _2\) when either \(F\) is DDA and \(K_{j:n}(a_{j:n}) > 0\) or \(F\) is DFRA and \(L_{j:n}(a_{j:n}) > 0\). Here we focus on calculating sharp non-positive bounds on \(\mathbb{E }_{F}(X_{j:n} - \mu )/\sigma _p\) under assumptions (a) and (b) of Proposition 1. The DDA and DFRA families of distributions are treated in Sects. 2 and 3, respectively. We show that in both the cases these bounds amount trivially to 0 when \(p>1\). For \(p=1\), we describe strictly negative evaluations. We also determine (sequences of) distributions which attain the bounds (possibly in the limit). We conclude Sects. 2 and 3 with presenting numerical values of negative sharp bounds on \(\mathbb{E }_{F}(X_{j:n} - \mu )/\sigma _1\) in the DDA and DFRA cases, respectively, for the samples of sizes \(n= 10,20 \hbox { and } 30\).
We notice that the families of DDA and DFRA distributions can be defined in a coherent way by use of the star order of distributions, introduced by Barlow et al. (1969) (see also Shaked and Shantikumar 2007 for a comprehensive study). We say that \(F\) succeeds \(G\) in the order iff the composition \(F^{-1} \circ G\) is starshaped, i.e. function \([F^{-1}(G(x)) - F^{-1}(G(a_G))]/(x-a_G)\) is non-decreasing. The DDA and DFRA distribution functions are the ones that succeed the uniform and exponential distributions in the star ordering. Our results can be extended onto the families of distributions succeeding a general fixed distribution in the star order.
The expectations of order statistics coming from general i.i.d. samples were evaluated in terms of the population mean and standard deviation by Moriguti (1953). Analytic formulae for respective bounds on the sample maxima were determined by Gumbel (1954) and Hartley and David (1954). Analogous results for more general scale units, generated by central absolute moments of various orders were determined by Arnold (1985) for the sample maxima, and Rychlik (1998) for the other order statistics. The first optimal evaluations of the expectations of order statistics from the decreasing density and failure rate populations (DD and DFR, respectively) are due to Gajek and Rychlik (1998). They were represented in the scale units connected with the second raw moments of the parent distribution. Positive sharp mean-standard deviation estimates of the expected order statistics and spacings from the DD and DFR families were determined by Danielak (2003) and Danielak and Rychlik (2004), respectively.
Barlow and Proschan (1966) and Barlow et al. (1969) derived some inequalities for \(L\)-statistics implied by the star ordering of the distributions of observations [see also Arnold nad Balakrishnan (1989, Section 3.4)]. Rychlik (2002) determined positive tight upper mean-standard deviation bounds on the expectations of order statistics with sufficiently large ranks, coming from DDA and DFRA populations. Similar results for the spacings are due to Danielak and Rychlik (2003). Bieniek (2006, 2008) presented analogous evaluations for the generalized order statistics based on the DFR, DFRA, DD and DDA populations.
Tight positive lower (and negative upper) bounds on the expectations of positive (negative) \(L\)-statistics with general parent distributions, expressed in various scale units, were obtained by Goroncy (2009). Negative upper estimates for order statistics less than the sample median, based on symmetric and symmetric unimodal distributions can be found in Rychlik (2009a). Rychlik (2009b, c) provided analogous results for small order statistics coming from DD and DFR populations, respectively. Negative sharp upper evaluations for the expectations of generalized order statistics coming from arbitrary populations were studied in Goroncy (2013).
2 DDA distributions
Here we collect the assumptions valid throughout this section.
Assumptions \(DDA(p)\): Random variables \(X_1,\ldots ,X_n\) are i.i.d. with a common distribution function \(F\) which is DDA, i.e. it has a finite left end-point \(a_F\) of the support, and function \(F(x)/(x-a_F)\), \(x>a_F\), is non-increasing. \(X_1\) has a finite expectation \(\mathbb{E }_{F}X_{1}= \mu \) and positive finite \(p\)th central absolute moment \(0< \sigma _p^p = \mathbb{E }_{F}|X_{1}- \mu |^p < \infty \) for some \(1 \le p <\infty \). We also assume that either \(j=1\) or \(2 \le j \le n-1\) is such that \(K_{j:n}(a_{j:n}) \le 0\) (cf. Proposition \(1a\)), where function \(K_{j:n}\) is defined in (4), and \(a_{j:n}\) is the smaller of two roots of equation \(f_{j:n}(x)=1\) in \((0,1)\) [see (3)]. We put
for \(0 \le \alpha < 1\) and \(p \ge 1\). In particular, for \(p=1\) we have
Proposition 2
(Case \({p}>{1}\)) If the above assumptions \(DDA(p)\) hold for some \(p>1\) and \(1 \le j <n\), then the bound
is sharp, and it is attained in the limit by the family of mixtures of atoms at \( \mu -\frac{\sigma _p}{2M_p(\alpha )}(1-\alpha ^2)\) and uniform distributions on the intervals \(\left[ \mu \!+\! \frac{\sigma _p}{2M_p(\alpha )}(2 \alpha \!-\!1\!+\!\alpha ^2),\right. \) \(\left. \mu + \frac{\sigma _p}{2M_p(\alpha )}(1+\alpha ^2)\right] \) with weights \(\alpha \) and \(1-\alpha \), respectively, as \(\alpha \nearrow 1\).
Proof
Inequality (8) is obvious in view of Proposition 1. It merely suffices to check that the distributions defined in the latter claim are DDA, satisfy the moment conditions, and attain the zero bound in the limit. Note that the respective quantile functions satisfy
Therefore
are non-decreasing, and so \(F_\alpha \), \(0 \le \alpha <1\), are DDA. Since
we have \(\mathbb{E }_{\alpha } X_{1} = \mu \). Now we calculate
Therefore
as claimed. Furthermore
and the expression in the square brackets tends to \(-\)1, as \( \alpha \nearrow 1\). Indeed, the sum does not converge there only for \(j=n\). However, this case is excluded from our study because \(\mathbb{E }_{F}X_{n:n} \ge \mu \). So we have \(K_{j:n}(\alpha ) \sim -(1-\alpha ) \) as \( \alpha \nearrow 1\).
For \( \alpha \ge \sqrt{2}-1\), we have
Applying the Taylor expansions, we obtain
Hence \(M_p^p(\alpha ) = (1- \alpha ) + \mathcal O ((1-\alpha )^{\min \{2,p\}})\), and so
which is the desired statement. \(\square \)
Proposition 3
(Case \({p}={1}\)) If assumptions \(DDA(p)\) are satisfied for \(p=1\) and \( 1 \le j < n\), then
[see (4) and (7)]. If the supremum in (9) is attained at some \(0 \le \alpha = \alpha _{j:n} <1\), then the bound is attained by the mixture of the pole at \( \mu -\frac{\sigma _1}{2M_1(\alpha )}(1-\alpha ^2)\) and the uniform distribution on \(\left[ \mu + \frac{\sigma _1}{2M_1(\alpha )}(2 \alpha -1+\alpha ^2), \mu + \frac{\sigma _1}{2M_1(\alpha )}(1+\alpha ^2)\right] \) with weights \(\alpha \) and \(1-\alpha \), respectively. If
then the bound is attained in the limit by the sequences of mixtures described above as \(\alpha \nearrow 1\).
Proof
By Proposition 1, we have
where \(DDA(1)\) denotes the family of non-degenerate \(DDA\) distributions with a finite first moment. Below we prove the implications
which together imply that both (10) and (11) are equivalence relations.
We first observe that the mixtures defined in the statements of the proposition are DDA, and satisfy both the moment conditions. It suffices to recall respective arguments of the proof of Proposition 2 for specific \(p=1\). We also get
Moreover,
This means that for \(2 \le j \le n-1\) function \(K_{j:n}(\alpha )\) increases from \(\frac{j}{n+1} - \frac{1}{2}\) at 0 to \(K_{j:n}(a_{j:n})\), then decreases to \(K_{j:n}(b_{j:n})\), and ultimately increases to 0 at 1. Function (7) is strictly positive for \(0 \le \alpha <1\), and tends to 0 as \(\alpha \nearrow 1\). By the de l’Hospital rule, we also have
Therefore \(K_{j:n}(a_{j:n}) =0\) implies
which verifies (10). One should note, though, that equality \(K_{j:n}(a_{j:n})=0\) for some \((j,n)\) is very unlikely, because \(a_{j:n}\) is usually an irrational number, and \(K_{j:n}\) is a polynomial with rational coefficients.
Now we prove that
implies
We can write
Function \(f= f_{j:n}-1\) is fixed and integrates to \(0\). Functions \(g =\frac{F^{-1} - \mu }{\sigma _1} \), \(F \in DDA(1)\), belong to the subset \(\mathcal G \) of elements of \(L^1([0,1), dx)\) which are (right-continuous versions of) non-decreasing, starshaped functions with unit norms satisfying
In particular,
Since \(T_f(g) <0\) for \(f \in DDA(1)\), the simple linear operator \( g \mapsto \tilde{g} = \frac{g}{-T_f(g)}\) transforms \(\mathcal G \) onto the convex subset \(\tilde{\mathcal{G }}\) of \( L^1([0,1), dx)\) whose elements are right-continuous, non-decreasing, star-shaped, and satisfy
In particular,
Note that \(||\tilde{g}|| = \frac{1}{-T_f(g)}\), \( \tilde{g}\in \tilde{\mathcal{G }}\), and the problem of maximizing \(T_f(g)\), \( g \in \mathcal G \), is equivalent with that of maximizing \(|| \tilde{g}||\), \( \tilde{g}\in \tilde{\mathcal{G }}\). The norm functional is convex, and so
for arbitrary \( \tilde{g}_1, \tilde{g}_2 \in \tilde{\mathcal{G }}\) and \(0 \le \alpha \le 1\).
Suppose that for some \(0 < \alpha _1 < \cdots < \alpha _k < \alpha _{k+1} =1\), and \(\beta _{-1} <\beta _0=0 < \beta _1 < \cdots < \beta _{k}\),
We show that \(h_{\alpha , \beta }\) is a convex combination of functions \( \tilde{g}_{\alpha _i}\), \(i=1,\ldots ,k\). Firstly, \( \tilde{g}_{\alpha _i}\), \(i=1,\ldots ,k\), are linearly independent. Their linear combinations \( \tilde{h}_{\alpha , \gamma } (x) = \sum _{i=1}^k \gamma _i \tilde{g}_{\alpha _i}(x)\) satisfy
and
for \(\delta _j = \sum _{i=1}^j \frac{\gamma _i}{K_{j:n}(\alpha _i)}\), \(j=1, \ldots ,k\). In particular,
Starshapedness of \(h_{\alpha , \beta }\) and condition
imply that \( \gamma _i\), \(i=1,\ldots ,k\), are non-negative, and sum up to \(1\). In consequence,
Consider now arbitrary \(\tilde{g} \in \tilde{\mathcal{G }}\). For \(k=1,2\ldots \), define
The functions are non-decreasing, starshaped, and tend monotonously to \(\tilde{g}\) on \([0,1)\). By the Lebesgue monotone convergence theorem,
and in consequence \(T_1(g_k) \rightarrow 0\), and \(T_f(g_k) \rightarrow -1\) as \( k \rightarrow \infty \). Furthermore, each
and so is a convex combination of \(\tilde{g}_{i/2^{k}}\), \(i=1, \ldots , 2^k-1\), and
By continuity of the norm functional,
and in consequence
So we proved that (13) implies (14).
If \(j=1\) and \(\sigma _1 >0\), we have (13). By (12), \(K_{1:n}(\alpha ) <0\), \(0 \le \alpha <1\), and so \(\sup _{0 \le \alpha <1}\frac{K_{1:n}(\alpha )}{M_1(\alpha )}<0\). If \(j \ge 2\) and \(K_{j:n}(a_{j:n})=0\), then condition (13) does not hold. Then
Summing up, under condition \(K_{j:n}(a_{j:n}) \le 0\), we have
and the attainability conditions coincide with ones presented in Proposition 3. \(\square \)
By Proposition 3,
It occurs that the supremum is equal to \(- \frac{1}{2}\) for some small \(j\) close to 1. These bounds are attained in the limit. For larger \(j\), the negative bounds fall between \( - \frac{1}{2}\) and 0, and they are attained by particular combinations of the degenerate and uniform distributions. These combinations always contain atoms, because for the uniform distribution we have
when \(n \ge 2\). Observe that condition \(\frac{K_{j:n}(0)}{M_1(0)} = 4 \left( \frac{j}{n+1} - \frac{1}{2} \right) \le 0\) is necessary for non-positivity of the bounds in the DD case. This is the necessary and sufficient for non-positivity of \(\mathbb{E }_{F}X_{j:n} -\mu \) for the parent distributions with decreasing density functions (cf Rychlik 2009b). Numerical examples show that conditions \(K_{j:n}(a_{j:n}) \le 0\) and \( j \le \frac{n+1}{2}\) do not differ much for small \(n\).
Table 1 contains exemplary values of negative, greater than \(- \frac{1}{2}\), tight upper bounds on the expectations of standardized order statistics \( \mathbb{E }_{F}(X_{j:n} -\mu )/\sigma _1\) for \(n =10,20, 30\). If for a given \(n\), the numerical bounds are presented for \(j= j_1(n), \ldots ,j_2(n)\), one should conclude that the respective bounds are equal to \(- \frac{1}{2}\) for \(j < j_1(n)\), and are positive for \(j > j_2(n)\). Each bound is accompanied by the value of argument \(\alpha \) which maximizes the RHS of (9) for a given pair \((j,n)\). It fully determines the mixture distribution for which the bound is attained. The simplest interpretation of this parameter is that it is equal to the probability of the atom in the optimal mixture. In the cases of our numerical analysis the atom probabilities range between 0.1817 and 0.2988.
3 DFRA distributions
The assumptions in Sect. 3 are following.
Assumptions \(DFRA(p)\): Let \(X_1,\ldots ,X_n\) be i.i.d. random variables with a parent distribution function \(F\) which has the DFRA property, i.e. its support starts at a finite point \(a_F\), and the ratio \(-\ln (1-F(x))/(x-a_F)\) is nonincreasing for \(x >a_F\). Each \(X_i\) has a mean \(\mu \in \mathbb R \), and \(p\)th central absolute moment \(0< \sigma _p^p < \infty \) for some \(1 \le p < \infty \). Further we assume that either \(j=1\) or \(2 \le j \le n-1\) which satisfies \(L_{j:n}(a_{j:n})\le 0\), where \(L_{j:n}\) is defined in (5), and \(a_{j:n}\) is the smaller of two roots of \(f_{j:n}(x)=1\) belonging to (0,1). We define \(N_p(\alpha ) = (N_p^p(\alpha ))^{1/p}\), \( p \ge 1\), \( \alpha \ge 0\), where
with \(\alpha _{*} \approx 0.80647\) uniquely determined by the equation \( \alpha e^\alpha = \alpha +1\). We also use here
with \(\beta _* = 1-e^{-\alpha _*} \approx 0.408156\) being the solution to the equation \(- \ln (1- \beta ) = \frac{1}{\beta }- 1\).
Proposition 4
(Case \({p}>{1}\)) If assumptions \(DFRA(p)\) are satisfied for some \(p>1\) and \(1 \le j <n\), then the evaluation
is sharp, and the equality is attained in the limit by the family of mixtures of the atom at \(\mu - \frac{ \sigma _p (1-\beta )[1-\ln (1-\beta )]}{N_p(-\ln (1-\beta ))}\) with probability \(\beta \), and the exponential distribution with location \(\mu + \frac{ \sigma _p [-(1-\beta )-\ln (1-\beta )]}{N_p(-\ln (1-\beta ))}\) and scale \( \frac{ \sigma _p }{N_p(-\ln (1-\beta ))}\) with probability \(1-\beta \), as \(\beta \nearrow 1\).
Proof
It only suffices to check the attainability conditions. For the family of mixture distributions, the the quantile functions satisfy
Substituting \(x = -\ln (1-y)\) and setting \(\alpha = -\ln (1-\beta )\), we obtain
This shows that \(F_\beta \), \( 0 \le \beta <1\), are DFRA. Since
and
distribution functions \(F_\beta \), \( 0 \le \beta <1\), satisfy both the moment conditions. Furthermore, we calculate
Accordingly, it remains to prove that for \(p>1\)
We observe that
because
Also,
because
Therefore
which ends the proof. \(\square \)
Proposition 5
(Case \({p}={1}\)) Under the assumptions \(DFRA(p)\) with \(p=1\), we have
where the numerator and denominator of the RHS are defined in (5) and (15), respectively. If the supremum of the RHS of (16) is attained at some \( 0 \le \beta <1\), then the bound is attained by the mixture of the pole at \(\mu - \frac{ \sigma _1 (1-\beta )[1-\ln (1-\beta )]}{Q_1(\beta ))}\) with probability \(\beta \), and the exponential distribution with location \(\mu + \frac{ \sigma _1 [-(1-\beta )-\ln (1-\beta )]}{Q_1(\beta )}\) and scale \( \frac{ \sigma _1 }{Q_1(\beta )}\) with probability \(1-\beta \). Otherwise, i.e. when
then the bound is attained in the limit by the sequences of the mixture distributions as \( \beta \nearrow 1\).
Proof
It is similar to that of Proposition 3, and we describe only the main ideas. Recalling the arguments of the proof of Proposition 4, we observe that the mixture distributions described in Proposition 5 are DFRA, and have first raw and central absolute moments \(\mu \) and \(\sigma _1\), respectively, for all \( 0 \le \beta <1\). Moreover,
holds. Since
function \(L_{j:n}\) itself is first decreasing, and then increasing for \(j=1\), and it is increasing on \([0,a_{j:n}]\), decreasing on \([a_{j:n},b_{j:n}]\), and ultimately increasing for \(j \ge 2\). Function (15) is strictly positive. Since
the supremum of the RHS in (16) is non-negative iff \(L_{j:n}(a_{j:n}) \ge 0\), and this certainly implies that
Now we show that under the condition
(that implies \(L_{j:n}(a_{j:n}) < 0\) in particular), we have
First we note that
where \(f(x) = f_{j:n}(1-e^{-x})-1\), and \(h(x) = \frac{F^{-1}(1-e^{-x})-\mu }{\sigma _1}\) is an arbitrary element of the set \(\mathcal H \subset L^2(\mathbb R _+, e^{-x}dx)\), which contains the (right-continuous versions of) non-decreasing, starshaped functions such that
We also have
The family \( \tilde{\mathcal{H }}\) of functions \(\tilde{h}(x) = \frac{h(x) }{- S_f(h)}\) is a convex set in \( L^2(\mathbb R _+, e^{-x}dx)\) which consists of non-decreasing starshaped functions with \(S_1(\tilde{h})=0\) and \(S_f(\tilde{h})=-1\). Since \(||\tilde{h}|| = - \frac{1}{S_f(h)}\), the problems of maximizing \(S_f\) over \(\mathcal H \) and that of maximizing the norm over \(\tilde{\mathcal{H }}\) are equivalent.
Using the convexity property of the norm functional, we prove that the latter problem is solved by the elements
of a parametric class contained in \( \tilde{\mathcal{H }}\). Every \(\tilde{h} \in \tilde{\mathcal{H }}\) can be approximated by piecewise linear discontinuous functions
\(k=1,2,\ldots ,\) so that \(h_k \nearrow \tilde{h}\) and \(||\tilde{h}-h_k|| \searrow 0\) as \( k \rightarrow \infty \). Functions
and are convex combinations of \( \tilde{h}_{\frac{i}{2^k}}\), \(i=1, \ldots , 4^k\). We have
This allows us to deduce (17) which ends the proof. \(\square \)
As in the DDA case, under condition (5) yields
The supremum is not attained by the exponential distribution (without any contribution of the atom) because
for all \(n \ge 2\). The sign of \(\frac{L_{j:n}(0)}{Q_1(0)}\) is identical with the sign of the upper bound on \( \frac{\mathbb{E }_{F} X_{j:n}-\mu }{\sigma _1}\) for the DFR populations (cf Rychlik 2002, 2009c).
Table 2 provides the tight upper negative and different from \(-\frac{1}{2}\) bounds on the standardized expectations of order statistics from DFRA populations, when the sample size \(n=10, 20\), and \(30\). If for a given \(n\), the bounds are presented for \(j=j_1(n), \ldots , j_2(n)\), then the respective evaluations amount to \(-\frac{1}{2}\) for \(j=1, \ldots , j_1(n)-1\), and are positive for \(j_2(n)+1, \ldots , n\). Together with the bounds values, there are listed the probabilities of atoms in the DFRA distributions attaining the bounds. They are essentially greater than the respective values in Table 1 for the DDA distributions, and greater than the contributions of the uniform distributions in the mixtures as well.
We finally note that we presented simple examples of families of distributions which attain in the limit the zero bounds in Propositions 2 and 4, and \(-\frac{1}{2}\) in Propositions 3 and 5. Slight modifications of the distributions would not violate these asymptotic properties. The other bounds determined in Propositions 3 and 5 are attained by the distributions uniquely determined up to the location and scale transformations.
References
Arnold BC (1985) \(p\)-Norm bounds on the expectation of the maximum of possibly dependent sample. J Multivar Anal 17:316–332
Arnold BC, Balakrishnan N (1989) Relations, bounds and approximations for order statistics. Lecture notes in statistics, vol 53. Springer, New York
Barlow RE, Proschan F (1966) Inequalities for linear combinations of order statistics from restricted families. Ann Math Stat 37:1574–1592
Barlow RE, Marshall AW, Proschan F (1969) Some inequalities for starshaped and convex functions. Pac J Math 29:19–42
Bieniek M (2006) Projection bounds on expectations of generalized order statistics from DFR and DFRA families. Statistics 40:339–352
Bieniek M (2008) Projection bounds on expectations of generalized order statistics from DD and DDA families. J Stat Plan Inference 138:971–981
Danielak K (2003) Sharp upper bounds on trimmed means from restricted families. Statistics 37:305–324
Danielak K, Rychlik T (2003) Sharp bounds for expectations of spacings from DDA and DFRA families. Stat Probab Lett 65:303–316
Danielak K, Rychlik T (2004) Sharp bounds for expectations of spacings from decreasing density and failure rate families. Appl Math (Warsaw) 31:369–395
Gajek L, Rychlik T (1998) Projection method for moment bounds on order statistics from restricted families. II. Independent case. J Multivar Anal 64:156–182
Goroncy A (2009) Lower bounds on positive \(L\)-statistics. Commun Stat Theory Meth 38:1989–2002
Goroncy A (2013) Bounds on expected generalized order statistics. Statistics. doi.10.1080/02331888.2013.800073
Gumbel EJ (1954) The maxima of the mean largest value and of the range. Ann Math Stat 25:76–84
Hartley HO, David HA (1954) Universal bounds for mean range and extreme observation. Ann Math Stat 25:85–99
Moriguti S (1953) A modification of Schwarz’s inequality with applications to distributions. Ann Math Stat 24:107–113
Rychlik T (1998) Bounds for expectations of \(L\)-estimates. In: Balakrishnan N, Rao CR (eds) Order statistics: theory & methods. Handbook of statistics, vol 16. North-Holland, Amsterdam, pp 105–145
Rychlik T (2002) Optimal mean-variance bounds on order statistics from families determined by star ordering. Appl Math (Warsaw) 29:15–32
Rychlik T (2009a) Tight evaluations for expectations of small order statistics from symmetric and symmetric unimodal populations. Stat Probab Lett 79:1488–1493
Rychlik T (2009b) Bounds on expectations of small order statistics from decreasing density populations. Metrika 70:369–381
Rychlik T (2009c) Non-positive upper bounds on expectations of low rank order statistics from DFR populations. Statistics 43:53–63
Shaked M, Shantikumar JG (2007) Stochastic orders. Springer series in statistics. Springer, New York
Acknowledgments
The research was supported by the Polish National Science Center Grant no. N N201 416739.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
About this article
Cite this article
Rychlik, T. Non-positive upper bounds on expectations of small order statistics from DDA and DFRA populations. Metrika 77, 539–557 (2014). https://doi.org/10.1007/s00184-013-0452-x
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00184-013-0452-x