Abstract
In the article, we present several sharp bounds for the Mills ratio \(R(x)=e^{x^{2}/2}\int_{x}^{\infty}e^{-t^{2}/2}\,dt\) (\(x>0\)) in terms of the functions \(I_{a}(x)=a/[\sqrt{x^{2}+2a}+(a-1)x]\) and \(J(x)=a/[\sqrt{x^{2}+2a^{2}/\pi}+2ax/\pi]\) with parameter \(a>0\).
Similar content being viewed by others
1 Introduction
The Mills ratio [1] is the function
where \(\phi(x)=e^{-x^{2}/2}/\sqrt{2\pi}\) is the density function of a standard Gaussian law and \(\Phi(x)=\int_{-\infty}^{x}\phi(t)\,dt\) its cumulative distribution function. The study of the Mills ratio is much older than the work of Mills [1], and through its relation with the function \(F(x)=e^{x^{2}}\int_{x}^{\infty}e^{-t^{2}}\,dt\) given by \(R(x)=\sqrt{2}F(x/\sqrt{2})\), its introduction can be traced back to Laplace [2], Livre X, Chapter 1, no5, while he was analyzing different hypotheses related to the refraction of the light in the atmosphere. Laplace gave many of the essential results, like the continued fraction and the asymptotic expansion. Since the function F is related to the error function, and also to the upper incomplete Gamma function of parameter \(1/2\), the properties of the Mills ratio are spread over papers and books of probability and statistics, mathematical analysis, numerical analysis, etc., and many results have been discovered and rediscovered by different authors.
It is well known that the function Φ cannot be expressed as the composition of elementary functions, therefore, it is valuable to find sharp bounds for the Mills ratio by certain simple and elementary functions.
Gordon [3] proved that the double inequality
holds for all \(x> 0\).
Birnbaum [4] and Komatu [5] proved that the double inequality
holds for all \(x>0\).
An improvement for the upper bound of Mills ratio,
is due to Sampford [6] and Shenton [7].
Pollak [8] proved that \(b=4/\pi\) is the best possible parameter such that \(2/[\sqrt{x^{2}+b}+x]\) is the upper bound of Mills ratio. Boyd [9] dealt with the bounds for the Mills ratio of the form
with \(a, b, c>0\) such that
and proved that
Very recently, Gasull and Utzet [10] proved the double inequality
for all \(x>0\), where
More inequalities involving the Mills ratio \(R(x)\) can be found in the literature [11–21] and the references therein.
Let \(\psi(x)\) be defined by (1.2). Then making use of the asymptotic expansion of the Mills ratio \(R(x)\) at infinity (see [22], p. 44)
we get
if \(\psi(x)\) satisfies
and
if \(\psi(0)=R(0)\) and \(\psi^{\prime}(0)=R^{\prime}(0)\).
The main purpose of this paper is to present the sharp bounds for the Mills ratio \(R(x)\) in terms of \(I_{a}(x)\) and \(J_{a}(x)\).
2 Lemmas
In order to prove our main results we need several lemmas, which we present in this section.
Lemma 2.1
(See [23], Proposition 1.1 or [24], Proposition 1.2)
Let \(-\infty\leq a< b\leq\infty\), \(f, g: (a, b)\rightarrow\mathbb{R}\) be differentiable on \((a, b)\) with \(f(a^{+})=g(a^{+})=0\) or \(f(b^{-})=g(b^{-})=0\), and \(g^{\prime}(x)\neq0\) on \((a,b)\). If \(f^{\prime}(x)/g^{\prime}(x)\) is increasing (decreasing) on \((a,b)\), then so is \(f(x)/g(x)\).
Lemma 2.2
(See [25], Theorem 9)
Let \(-\infty\leq a< b\leq\infty\), \(f, g: (a, b)\rightarrow\mathbb{R}\) be differentiable on \((a, b)\) with \(f(b^{-})=g(b^{-})=0\), \(g^{\prime}(x)\neq0\) on \((a,b)\), and
If there exists \(c\in(a,b)\) such that \(f^{\prime}/g^{\prime}\) is increasing (decreasing) on \((a,c)\) and decreasing (increasing) on \((c, b)\). Then the follows statements are true:
-
(i)
\(f/g\) is decreasing (increasing) on \((a, b)\) if \(g^{\prime}>0\) on \((a,b)\) and \(H_{f, g}(a^{+})\leq(\geq)0\) or \(g^{\prime}<0\) on \((a, b)\) and \(H_{f, g}(a^{+})\geq(\leq)0\);
-
(ii)
there exists \(c_{0}\in(a, b)\) such that \(f/g\) is increasing (decreasing) on \((a, c_{0})\) and decreasing (increasing) on \((c_{0}, b)\) if \(g^{\prime}>0\) on \((a,b)\) and \(H_{f, g}(a^{+})>(<)0\) or \(g^{\prime }<0\) on \((a,b)\) and \(H_{f, g}(a^{+})<(>)0\).
Lemma 2.3
Let \(a, b\in\mathbb{R}\) with \(a< b\) and \(f: [a, b]\rightarrow\mathbb{R}\) be continuous and strictly convex (concave) with \(f(a)f(b)<0\). Then there exists \(c\in(a,b)\) such that \(f(x)f(a)>0\) for \(x\in(a, c)\) and \(f(x)f(b)>0\) for \(x\in(c, b)\).
Proof
We only prove the case of f being convex with
other cases can be proved by similar methods. Let \(x\in(a,b)\) and
Then from the convexity of f on \([a, b]\) we know that F is increasing on \((a,b)\).
We divide the proof into two cases.
Case 1 \(F(a^{+})\geq0\). Then \(F(x)>F(a^{+})\geq0\) for \(x\in (a,b)\). It follows from the convexity of f on \([a, b]\) that
for all \(x_{1}, x_{2}\in(a, b)\) with \(x_{1}\neq x_{2}\).
Inequality (2.4) implies that f is increasing on \((a,b)\), which together with (2.2) leads to the desired result.
Case 2 \(F(a^{+})<0\). Then from the monotonicity of F given by (2.3) we clearly see that \(F(b)>0\) and there exists \(c^{\ast}\in (a,b)\) such that \(F(x)<0\) for \(x\in(a, c^{\ast})\) and \(F(x)>0\) for \(x\in(c^{\ast}, b)\).
From (2.2) and (2.3) together with Case 1 we know that
for \(x\in(a, c^{\ast})\) and f is increasing on \((c^{\ast}, b)\).
Therefore, the desired assertion follows from (2.5) and the monotonicity of f on \((c^{\ast}, b)\) together with (2.2). □
Lemma 2.4
Let
Then the equation \(h^{\prime}(t)=0\) has the unique solution
on \((0, 1)\) such that \(h(t_{0})>0\) if \(a\in(\pi/\sqrt{2(4-\pi)}, \sqrt {\pi+1}+1)\).
Proof
It follows from (2.6) that
From (2.8) and (2.9) we know that \(t_{0}=t_{0}(a)\) given by (2.7) is the unique positive solution of the equation \(h^{\prime}(t)=0\). Equation (2.7) gives
for \(a\in(\pi/\sqrt{2(4-\pi)}, \sqrt{\pi+1}+1)\).
Inequality (2.10) leads to
for \(a\in(\pi/\sqrt{2(4-\pi)}, \sqrt{\pi+1}+1)\).
Next, we prove that \(h(t_{0})>0\) for \(a\in(\pi/\sqrt{2(4-\pi)}, \sqrt {\pi+1}+1)\). From (2.6) and (2.7) we have
It is enough to prove that
for \(u\in(\pi^{2}/[2(4-\pi)], (\sqrt{\pi+1}+1)^{2})\).
Let \(v=u-\pi^{2}/[2(4-\pi)]>0\). Then \(h_{1}(u)\) can be rewritten as
due to all the coefficients of the quintic polynomial being positive. □
Lemma 2.5
Let \(h(t)\) be defined by (2.6). Then the following statements are true:
-
(i)
there exists \(t_{1}\in(0, 1)\) such that \(h(t)>0\) for \(t\in(0, t_{1})\) and \(h(t)<0\) for \(t\in(t_{1}, 1)\) if \(a\in(0, \pi/\sqrt {2(4-\pi)}]\);
-
(ii)
there exists \(t_{11}, t_{12}\in(0, 1)\) with \(t_{11}< t_{12}\) such that \(h(t)<0\) for \(t\in(0, t_{11})\cup(t_{12}, 1)\) and \(h(t)>0\) for \(t\in(t_{11}, t_{12})\) if \(a\in(\pi/\sqrt{2(4-\pi)}, \sqrt{\pi+1}+1)\);
-
(iii)
there exists \(t_{1}^{\ast}\in(0, 1)\) such that \(h(t)<0\) for \(t\in(0, t_{1}^{\ast})\) and \(h(t)>0\) for \(t\in(t_{1}^{\ast}, 1)\) if \(a\in[\sqrt{\pi+1}+1, \infty)\).
Proof
It follows from (2.6) that
From (2.14) we clearly see that \(h^{\prime}(t)\) is decreasing and \(h(t)\) is strictly concave on \((0, 1)\). We divide the proof into five cases.
Case 1 \(a\in(0, \pi/\sqrt{2(4-\pi}))\). Then (2.12) and (2.13) lead to
Therefore, the desired assertion follows easily from (2.17) and the concavity of h on \((0, 1)\) together with Lemma 2.3.
Case 2 \(a=\pi/\sqrt{2(4-\pi})\). Then (2.12), (2.13), (2.15), and (2.16) give
From (2.19) and the monotonicity of \(h^{\prime}(t)\) on \((0, 1)\) we know that there exists \(\lambda\in(0, 1)\) such that \(h(t)\) is increasing on \((0, \lambda]\) and decreasing on \([\lambda, 1)\). Therefore, the desired result follows from (2.18) and the piecewise monotonicity of \(h(t)\) on \((0, 1)\).
Case 3 \(a\in(\pi/\sqrt{2(4-\pi)}, \sqrt{\pi+1}+1)\). Then (2.12) and (2.13) imply that
Therefore, the desired assertion follows from (2.20) and Lemma 2.4 together with the concavity of h on \((0, 1)\).
Case 4 \(a=\sqrt{\pi+1}+1\). Then (2.12), (2.13), (2.15), and (2.16) lead to
and (2.19) again holds. From (2.19) and the monotonicity of \(h^{\prime }(t)\) on \((0, 1)\) we know that there exists \(\mu\in(0, 1)\) such that \(h(t)\) is increasing on \((0, \mu]\) and decreasing on \([\mu, 1)\). Therefore, the desired result follows from (2.21) and the piecewise monotonicity of \(h(t)\) on \((0, 1)\).
Case 5 \(a\in(\sqrt{\pi+1}+1, \infty)\). Then (2.12) and (2.13) imply that
Therefore, the desired assertion follows from Lemma 2.3 and (2.22) together with the concavity of f on \((0, 1)\). □
3 Main results
Theorem 3.1
The following statements are true for all \(x>0\):
-
(1)
if \(a\in(0, (\sqrt{\pi+1}+1)^{2}/\pi]\), then
$$ \frac{a}{\sqrt{x^{2}+2a}+(a-1)x}< R(x)< \sqrt{\frac{\pi}{a}} \frac{a}{\sqrt {x^{2}+2a}+(a-1)x}; $$(3.1) -
(2)
if \(a\in[4, \infty)\), then
$$ \sqrt{\frac{\pi}{a}}\frac{a}{\sqrt{x^{2}+2a}+(a-1)x}< R(x)< \frac {a}{\sqrt{x^{2}+2a}+(a-1)x}; $$(3.2) -
(3)
if \(a\in((\sqrt{\pi+1}+1)^{2}/\pi, 4)\), then
$$ \min \biggl\{ 1, \sqrt{\frac{\pi}{a}} \biggr\} \frac{a}{\sqrt {x^{2}+2a}+(a-1)x}< R(x)< \lambda(a)\frac{a}{\sqrt{x^{2}+2a}+(a-1)x} $$(3.3)
with \(\lambda(a)= (\sqrt{x_{0}^{2}+2a}+(a-1)x_{0} )R(x_{0})/a\), where \(x_{0}\) is the unique solution of the equation
on the interval \((0, \infty)\). In particular, if \(a=\pi\), then \(x_{0}=0.590\cdots\), \(\lambda(\pi)=1.011\cdots\), and
Proof
Let
and \(I_{a}(x)\) be defined by (1.6). Then simple computations lead to
and
Let \(t=x/\sqrt{x^{2}+2a}\in(0, 1)\) or \(x=\sqrt{2a}t/\sqrt{1-t^{2}}\). Then (3.8) can be rewritten as
Differentiating (3.9) gives
where
Next, we divide our analysis into three cases to determine the sign of \(l(t)\) on the interval \((0, 1)\).
Case 1 \(a=1\). We clearly see that \(l(t)=3(t+1)>0\) for \(t\in (0, 1)\).
Case 2 \(a>1\). It follows from (3.11) that \(l(t)\) is strictly convex on \((0, 1)\).
We divide the discussions into three subcases.
Subcase 2.1 \(a\in(1, (3+\sqrt{7})/2]\). Then (3.11) and (3.12) lead to \(l(t)>l(0)\geq0\) for \(t\in(0, 1)\).
Subcase 2.2 \(a\in((3+\sqrt{7})/2, 4)\). Then (3.12) gives
It follows from Lemma 2.3 and the convexity of \(l(t)\) on \((0, 1)\) together with (3.13) that there exists \(t_{1}\in(0, 1)\) such that \(l(t)<0\) for \(t\in(0, t_{1})\) and \(l(t)>0\) for \(t\in(t_{1}, 1)\).
Subcase 2.3 \(a\in[4, \infty)\). Then (3.12) gives
Making use of the convexity of \(l(t)\) on \((0, 1)\) and (3.14) we get
for \(t\in(0, 1)\).
Case 3 \(0< a<1\). Then from (3.11) we clearly see that \(l(t)\) is strictly concave on \((0, 1)\).
We divide the discussions into two subcases.
Subcase 3.1 \(a\in(0, (3-\sqrt{7})/2)\). Then (3.12) and Lemma 2.3 lead to the conclusion that (3.13) again holds and there exists \(t_{2}\in(0, 1)\) such that \(l(t)<0\) for \(t\in(0, t_{2})\) and \(l(t)>0\) for \(t\in(t_{2}, 1)\).
Subcase 3.2 \(a\in[(3-\sqrt{7})/2, 1)\). Then (3.12) leads to
Making use of the concavity of \(l(t)\) on \((0, 1)\) and (3.15) we have
for \(t\in(t, 1)\).
Now, we divide the discussion into three cases to prove the desired results.
Case A \(a\in[(3-\sqrt{7})/2, (3+\sqrt{7})/2]\). Then Subcases 2.1 and 3.2 together with (3.10) and (3.11) lead to the conclusion that \(f_{1}^{\prime}(x)/g^{\prime}(x)\) is increasing on \((0, \infty)\). From the monotonicity of \(f_{1}^{\prime}(x)/g^{\prime}(x)\) on \((0, \infty)\) and (3.6) together with Lemma 2.1 and the fact that \(g^{\prime }(x)=-e^{-x^{2}/2}\neq0\) we know that \(f_{1}(x)/g(x)\) is also increasing on \((0, \infty)\). Therefore, (3.1) follows easily from (3.5), (3.7), and the monotonicity of \(f_{1}(x)/g(x)\) on \((0, \infty)\).
Case B \(a\in[4, \infty)\). Then (3.10) and (3.11) together with Subcase 2.3 lead to the conclusion that \(f_{1}^{\prime}(x)/g^{\prime}(x)\) is decreasing on \((0, \infty)\). Making use of (3.6) and Lemma 2.1 together with \(g^{\prime}(x)\neq0\) we know that \(f_{1}(x)/g(x)\) is also decreasing on \((0, \infty)\). Therefore, (3.2) follows easily from (3.5), (3.7), and the monotonicity of \(f_{1}(x)/g(x)\) on \((0, \infty)\).
Case C \(a\in(0, (3-\sqrt{7})/2)\cup((3+\sqrt{7})/2, 4)\). Then from Subcases 2.2 and 3.1 we know that there exists \(t^{\ast}\in (0, 1)\) such that \(l(t)<0\) for \(t\in(0, t^{\ast})\) and \(l(t)>0\) for \(t\in(t^{\ast}, 1)\), and (3.10) and (3.11) lead to the conclusion that there exists \(x^{\ast}=\sqrt{2a}t^{\ast}/\sqrt{1-{t^{\ast}}^{2}}\in(0, \infty)\) such that \(f_{1}^{\prime}(x)/g^{\prime}(x)\) is decreasing on \((0, x^{\ast})\) and increasing on \((x^{\ast}, \infty)\).
Note that
We divide the discussion into two subcases.
Subcase \(C(1)\) \(a\in(0, (3-\sqrt{7})/2)\cup((3+\sqrt{7})/2, (\pi+2\sqrt{\pi+1}+2)/\pi]\). Then (3.16) leads to
It follows from (3.6), (3.17), and \(g^{\prime}(x)=-e^{-x^{2}/2}<0\) together with the piecewise monotonicity of \(f_{1}^{\prime}/g^{\prime}\) and Lemma 2.2(i) that \(f_{1}/g\) is increasing on \((0, \infty)\). Therefore, (3.1) follows easily from (3.5), (3.7), and the monotonicity of \(f_{1}(x)/g(x)\) on \((0, \infty)\).
Subcase \(C(2)\) \(a\in((\pi+2\sqrt{\pi+1}+2)/\pi, 4)\). Then (3.16) gives
From (3.6), (3.18), and \(g^{\prime}(x)<0\) together with the piecewise monotonicity of \(f_{1}^{\prime}/g^{\prime}\) and Lemma 2.2(ii) we know that there exists \(x_{0}\in(0, \infty)\) such that \(f_{1}/g\) is decreasing on \((0, x_{0})\) and increasing on \((x_{0}, \infty)\). Consequently, we get
Therefore, (3.3) follows from (3.7) and (3.19). We clearly see that \(x_{0}\) satisfies the equation \((f_{1}(x)/g(x))^{\prime}=0\) or \(d [ (\sqrt{x^{2}+2a}+(a-1)x )R(x) ]/dx=0\), and \(\lambda (a)= (\sqrt{x_{0}^{2}+2a}+(a-1)x_{0})R(x_{0} )/a\).
If \(a=\pi\), then numerical computations show that \(x_{0}=0.590\cdots\) and \(\lambda(\pi)=1.011\cdots\). □
Theorem 3.2
The following statements are true for all \(x>0\):
-
(1)
if \(a\in(0, \pi/\sqrt{2(4-\pi)}]\), then
$$ \frac{a}{\sqrt{x^{2}+\frac{2a^{2}}{\pi}}+\frac{2ax}{\pi}} < R(x)< \frac{\pi +2a}{\pi a}\frac{a}{\sqrt{x^{2}+\frac{2a^{2}}{\pi}}+\frac{2ax}{\pi}}; $$(3.20) -
(2)
if \(a\in[\sqrt{\pi+1}+1, \infty)\), then
$$ \frac{\pi+2a}{\pi a}\frac{a}{\sqrt{x^{2}+\frac{2a^{2}}{\pi}}+\frac {2ax}{\pi}}< R(x)< \frac{a}{\sqrt{x^{2}+\frac{2a^{2}}{\pi}}+\frac{2ax}{\pi}}; $$(3.21) -
(3)
if \(a\in(\pi/\sqrt{2(4-\pi)}, \sqrt{\pi+1}+1)\), then
$$ \frac{a\theta(a)}{\sqrt{x^{2}+\frac{2a^{2}}{\pi}}+\frac{2ax}{\pi }}< R(x)< \max \biggl\{ \frac{\pi+2a}{\pi a}, 1 \biggr\} \frac{a}{\sqrt {x^{2}+\frac{2a^{2}}{\pi}}+\frac{2ax}{\pi}}, $$(3.22)
where
and \(x_{0}\) is the unique solution of the equation
on \((0, \infty)\). In particular, if \(a=a_{0}=\pi/(\pi-2)=2.7519\cdots\), then \(x_{0}=1.6108\cdots\), \(\theta(a_{0})=0.9909\cdots\), and
Proof
Let
and \(J_{a}(x)\) be defined by (1.7). Then simple computations lead to
Let \(t=x/\sqrt{x^{2}+2a^{2}/\pi}\in(0, 1)\) or \(x=\sqrt{2}at/\sqrt{\pi (1-t^{2})}\). Then (3.26) becomes
Differentiating (3.28) gives
where \(h(t)\) is defined by Lemma 2.4.
We divide the proof into three cases.
Case 1 \(a\in(0, \pi/\sqrt{2(4-\pi)}]\). Then from Lemma 2.5(i) and (3.29) we know that there exists \(x_{1}=\sqrt {2}at_{1}/\sqrt{\pi(1-t_{1})^{2}}\in(0, \infty)\) such that \(f^{\prime }_{2}/g^{\prime}\) is increasing on \((0, x_{1})\) and decreasing on \((x_{1}, \infty)\). It follows from the piecewise monotonicity of \(f^{\prime}_{2}/g^{\prime}\), (3.24), (3.27), \(g^{\prime }(x)=-e^{-x^{2}/2}<0\), and Lemma 2.2(i) that \(f_{2}/g\) is decreasing on \((0, \infty)\). Therefore, (3.20) follows from (3.23) and (3.25) together with the monotonicity of \(f_{2}/g\).
Case 2 \(a\in[\sqrt{\pi+1}+1, \infty)\). Then from Lemma 2.5(iii) and (3.29) we know that there exists \(x^{\ast}_{1}=\sqrt {2}at^{\ast}_{1}/\sqrt{\pi(1-t^{\ast}_{1})^{2}}\in(0, \infty)\) such that \(f^{\prime}_{2}/g^{\prime}\) is decreasing on \((0, x^{\ast}_{1})\) and increasing on \((x^{\ast}_{1}, \infty)\). It follows from the piecewise monotonicity of \(f^{\prime}_{2}/g^{\prime}\), (3.24), (3.27), \(g^{\prime}(x)<0\), and Lemma 2.2(i) that \(f_{2}/g\) is increasing on \((0, \infty)\). Therefore, (3.21) follows from (3.23) and (3.25) together with the monotonicity of \(f_{2}/g\).
Case 3 \(a\in(\pi/\sqrt{2(4-\pi)}, \sqrt{\pi+1}+1)\). Then from Lemma 2.5(ii) and (3.29) together with \(g>0\) and \((H_{f_{2}, g})^{\prime}=(f^{\prime}_{2}/g^{\prime})^{\prime}g\) we know that there exists \(x_{11}=\sqrt{2}at_{11}/\sqrt{\pi(1-t_{11})^{2}}, x_{12}=\sqrt {2}at_{12}/\sqrt{\pi(1-t_{12})^{2}}\in(0, \infty)\) with \(x_{11}< x_{12}\) such that \(H_{f_{2}, g}\) is decreasing on \((0, x_{11})\cup(x_{12}, \infty)\) and increasing on \((x_{11}, x_{12})\).
Making use of the piecewise monotonicity of \(H_{f_{2}, g}\) and (3.27) we conclude that there exists \(x_{0}\in(0, \infty)\) such that \(H_{f_{2}, g}(x)<0\) for \(x\in(0, x_{0})\) and \(H_{f_{2}, g}(x)>0\) for \(x\in(x_{0}, \infty)\), then the identity \((f_{2}/g)^{\prime}=g^{\prime }H_{f_{2}, g}/g^{2}\) and \(g^{\prime}<0\) lead to the conclusion that \(f_{2}/g\) is increasing on \((0, x_{0})\) and decreasing on \((x_{0}, \infty)\). Therefore, (3.22) follows easily from (3.23) and (3.25) together with the piecewise monotonicity of \(f_{2}/g\), where
We clearly see that \(x_{0}\) satisfies the equation \((f_{2}/g)^{\prime }=0\), namely \(x_{0}\) is the unique solution of the equation
on \((0, \infty)\). In particular, if \(a=a_{0}=\pi/(\pi-2)=2.7519\cdots\), then numerical computations show that \(x_{0}=1.6108\cdots\) and \(\theta (a_{0})=0.9909\cdots\). □
Remark 3.1
Let \(x>0\), and \(I_{a}(x)\) and \(J_{a}(x)\) be defined by (1.6) and (1.7), respectively. Then the functions \(a\rightarrow I_{a}(x)\) and \(a\rightarrow J_{a}(x)\) are increasing on \((0, \infty)\), and the functions \(a\rightarrow\sqrt{\pi /a}I_{a}(x)\) and \(a\rightarrow(\pi+2a)J_{a}(x)/(\pi a)\) are decreasing on \((0, \infty)\) due to
From Theorems 3.1 and 3.2, and their proofs together with Remark 3.1 we get Corollary 3.1.
Corollary 3.1
Let \(a_{1}, b_{1}, a_{2}, b_{2}>0\). Then the double inequalities
and
hold for all \(x>0\) if and only if \(a_{1}\leq\pi\), \(b_{1}\geq4\), \(a_{2}\leq\pi/\sqrt{2(4-\pi)}=2.3976\cdots\), and \(b_{2}\geq\pi/(\pi -2)=2.7516\cdots\).
Remark 3.2
Letting \(a_{1}=\pi\), \(b_{1}=4\), \(a_{2}=\pi/\sqrt{2(4-\pi)}\), and \(b_{2}=\pi/(\pi-2)\). Then (3.30) and (3.31) lead to
for all \(x>0\), which implies inequality (1.3), where \(W_{3, 0}(x)\), \(W_{1, 2}(x)\), \(W_{2, 1}(x)\), and \(W_{0, 3}(x)\) are defined by (1.4) and (1.5).
Letting \(a=0^{+}, 1, 2, (\sqrt{\pi+1}+1)^{2}/\pi\) in Theorem 3.1(1), \(a=4, 5, \infty\) in Theorem 3.1(2), \(a=0^{+}, 1, 2, \pi/\sqrt{2(4-\pi )}\) in Theorem 3.2(1) and \(a=\sqrt{\pi+1}+1, \pi, 4, \infty\) in Theorem 3.2(2), respectively. Then we get Corollary 3.2 immediately.
Corollary 3.2
The following inequalities for the Mills ratio \(R(x)\):
hold for all \(x>0\).
Change history
03 June 2021
An Editorial Expression of Concern to this paper has been published: https://doi.org/10.1186/s13660-021-02627-6
References
Mills, JP: Table of the ratio: area to bounding ordinate, for any portion of normal curve. Biometrika 18(3-4), 395-400 (1926)
Laplace, PS: Traité de Mécanique Céleste, Tome IV. Chez Courcier, Paris (1805)
Gordon, RD: Values of Mills’ ratio of area to bounding ordinate and of the normal probability integral for large values of the argument. Ann. Math. Stat. 12, 364-366 (1941)
Birnbaum, ZW: An inequality for Mill’s ratio. Ann. Math. Stat. 13, 245-246 (1942)
Komatu, Y: Elementary inequalities for Mills ratio. Rep. Stat. Appl. Res. UJSE 4, 69-70 (1955)
Sampford, MR: Some inequalities on Mill’s ratio and related functions. Ann. Math. Stat. 24, 130-132 (1953)
Shenton, LR: Inequalities for the normal integral including a new continued fraction. Biometrika 41, 177-189 (1954)
Pollak, HO: A remark on ‘Elementary inequalities for Mills’ ratio’ by Yûsaku Komatu. Rep. Stat. Appl. Res. UJSE 4, 110 (1956)
Boyd, AV: Inequalities for Mills’ ratio. Rep. Stat. Appl. Res. UJSE 6, 44-46 (1959)
Gasull, A, Utzet, F: Approximating Mills ratio. J. Math. Anal. Appl. 420(2), 1832-1853 (2014)
Gautschi, W: Some elementary inequalities relating to the gamma and incomplete gamma function. J. Math. Phys. 38, 77-81 (1959/1960)
Mitrinović, DS: Analytic Inequalities. Springer, New York (1970)
Börjesson, PO, Sundberg, C-EW: Simple approximations of the error function \(Q(x)\) for communications applications. IEEE Trans. Commun. 27(3), 639-643 (1979)
Alzer, H: On some inequalities for incomplete gamma function. Math. Comput. 66(218), 771-778 (1997)
Pinelis, I: Monotonicity properties of the relative error of a Padé approximation for Mills’ ratio. JIPAM. J. Inequal. Pure Appl. Math. 3(2), 20 (2002)
Karagiannidis, GK, Lioumpas, AS: An improved approximation for the Gaussian Q-function. IEEE Commun. Lett. 11(8), 644-646 (2007)
Aludaat, KM, Alodat, MT: A note on approximating the normal distribution function. Appl. Math. Sci. 2(9-12), 425-429 (2008)
Baricz, Á: Mills’ ratio: monotonicity patterns and functional inequalities. J. Math. Anal. Appl. 340(2), 1362-1370 (2008)
Baricz, Á: Mills’ ratio: reciprocal convexity and functional inequalities. Acta Univ. Sapientiae Math. 4(1), 26-35 (2012)
Choudhury, A: A simple approximation to the area under standard normal curve. Math. Stat. 2(3), 147-149 (2014)
Alessandro, S, Emanuela, E: Very simply explicitly invertible approximations of normal cumulative and normal quantile function. Appl. Math. Sci. 8(87), 4323-4341 (2014)
Small, CG: Expansions and Asymptotics for Statistics. CRC Press, Boca Raton (2010)
Pinelis, I: l’Hospital type results for monotonicity, with applications. JIPAM. J. Inequal. Pure Appl. Math. 3(1), 5 (2002)
Pinelis, I: l’Hospital type rules for oscillation, with applications. JIPAM. J. Inequal. Pure Appl. Math. 2(3), 33 (2001)
Yang, Z-H: A new way to prove l’Hospital monotone rules with applications. arXiv:1409.6408 [math. CA]
Acknowledgements
The research was supported by the Natural Science Foundation of China under Grants 61374086 and 11171307, and the Natural Science Foundation of Zhejiang Province under Grant LY13A010004.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All 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
Yang, ZH., Chu, YM. On approximating Mills ratio. J Inequal Appl 2015, 273 (2015). https://doi.org/10.1186/s13660-015-0792-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-015-0792-3