Skip to main content
Minor Math Jaxing (formula hyperlinking)
Source Link
Daniele Tampieri
  • 6.4k
  • 7
  • 30
  • 45

Paradoxically, it is quite easier to prove stronger bounds. Let $X$ be a random variable with gaussian distribution and density $$ f(x)=\frac{1}{\sqrt{2\pi}}\exp(-x^2/2).$$ Now let, for any $k\in\mathbb{R}^+$, $$A_k = \sqrt{2\pi}\;\exp(k^2/2)\;\mathbb{P}[X>k] = \sqrt{\frac{\pi}{2}}\;\exp(k^2/2)\;\operatorname{Erfc}\left(\frac{k}{\sqrt{2}}\right).$$ Since $\mathbb{E}\left[\left(X-\mathbb{E}[X]\right)^2\right]\geq 0$, $\mathbb{E}[X^2]\geq\mathbb{E}[X]^2$, and the same holds for the conditional expected values, under the hypothesis $X>k$. That gives, in terms of $A_k$: $$ (1-k\; A_k)^2 \leq A_k\;\left(-k+(1+k^2)\; A_k\right), $$ that can be restated as: $$(\heartsuit)\quad A_k^2+k\;A_k-1\geq 0.$$$$\label{1}\tag{$\heartsuit$}\quad A_k^2+k\;A_k-1\geq 0.$$ From: $$ A_k \geq \frac{2}{k+\sqrt{k^2+4}}, $$ we immediately have a lower bound for the $\operatorname{erfc}$ function: $$ e^{k^2}\;\operatorname{erfc}(k) \geq \frac{2}{\sqrt{\pi}}\left(\frac{1}{k+\sqrt{k^2+2}}\right).$$ An interesting fact is that the "reverse inequality" $$(\spadesuit)\quad (1-k\; A_k)^2 \geq \frac{2}{\pi}\;A_k\;\left(-k+(1+k^2)\; A_k\right), $$$$\label{2}\tag{$\spadesuit$}\quad (1-k\; A_k)^2 \geq \frac{2}{\pi}\;A_k\;\left(-k+(1+k^2)\; A_k\right), $$ equivalent to: $$(\spadesuit_2)\quad\pi\left(\int_{k}^{+\infty}(x-k)\;e^{-x^2/2}\;dx\right)^2\geq 2\int_{k}^{+\infty}e^{-x^2/2}\;dx\int_{k}^{+\infty}(x-k)^2\;e^{-x^2/2}\;dx,$$$$\label{3}\tag{$\spadesuit_2$}\quad\pi\left(\int_{k}^{+\infty}(x-k)\;e^{-x^2/2}\;dx\right)^2\geq 2\int_{k}^{+\infty}e^{-x^2/2}\;dx\int_{k}^{+\infty}(x-k)^2\;e^{-x^2/2}\;dx,$$ holds, too. Since: $$A_k =\int_{0}^{+\infty}\exp\left(-x^2/2-kx\right)\,dx, $$ by using the Fubini-Tonelli theorem and switching to polar coordinates one can see that $(\spadesuit_2)$\eqref{3} is equivalent to: $$\int_{0}^{+\infty}\rho^3 e^{-\rho^2/2}\int_{0}^{\pi/4}(\pi\cos(2\theta)-2)\; e^{-k\rho\sqrt{2}\cos\theta}\;d\theta \; d\rho\geq 0, $$ also equivalent to (by integrating by parts): $$\int_{0}^{+\infty}\rho^3 e^{-\rho^2/2}\int_{0}^{\pi/4}(\pi\sin\theta\cos\theta-2\theta)\;k\rho\sqrt{2}\sin\theta\; e^{-k\rho\sqrt{2}\cos\theta}\;d\theta \; d\rho\geq 0, $$ that is trivial since over $[0,\pi/2]$, by the concavity of the sine function, we have $\sin\phi\geq\frac{2\phi}{\pi}$. Following the line of the previous proof, the $(\spadesuit)$\eqref{2}-inequality can be used to have tight upper bound for the $e^{k^2}\;\operatorname{erfc}(k)$ - function. Moreover, from the $(\spadesuit_2)$\eqref{3}-inequality the convexity of $\frac{1}{A_k}$ follows.

Paradoxically, it is quite easier to prove stronger bounds. Let $X$ be a random variable with gaussian distribution and density $$ f(x)=\frac{1}{\sqrt{2\pi}}\exp(-x^2/2).$$ Now let, for any $k\in\mathbb{R}^+$, $$A_k = \sqrt{2\pi}\;\exp(k^2/2)\;\mathbb{P}[X>k] = \sqrt{\frac{\pi}{2}}\;\exp(k^2/2)\;\operatorname{Erfc}\left(\frac{k}{\sqrt{2}}\right).$$ Since $\mathbb{E}\left[\left(X-\mathbb{E}[X]\right)^2\right]\geq 0$, $\mathbb{E}[X^2]\geq\mathbb{E}[X]^2$, and the same holds for the conditional expected values, under the hypothesis $X>k$. That gives, in terms of $A_k$: $$ (1-k\; A_k)^2 \leq A_k\;\left(-k+(1+k^2)\; A_k\right), $$ that can be restated as: $$(\heartsuit)\quad A_k^2+k\;A_k-1\geq 0.$$ From: $$ A_k \geq \frac{2}{k+\sqrt{k^2+4}}, $$ we immediately have a lower bound for the $\operatorname{erfc}$ function: $$ e^{k^2}\;\operatorname{erfc}(k) \geq \frac{2}{\sqrt{\pi}}\left(\frac{1}{k+\sqrt{k^2+2}}\right).$$ An interesting fact is that the "reverse inequality" $$(\spadesuit)\quad (1-k\; A_k)^2 \geq \frac{2}{\pi}\;A_k\;\left(-k+(1+k^2)\; A_k\right), $$ equivalent to: $$(\spadesuit_2)\quad\pi\left(\int_{k}^{+\infty}(x-k)\;e^{-x^2/2}\;dx\right)^2\geq 2\int_{k}^{+\infty}e^{-x^2/2}\;dx\int_{k}^{+\infty}(x-k)^2\;e^{-x^2/2}\;dx,$$ holds, too. Since: $$A_k =\int_{0}^{+\infty}\exp\left(-x^2/2-kx\right)\,dx, $$ by using the Fubini-Tonelli theorem and switching to polar coordinates one can see that $(\spadesuit_2)$ is equivalent to: $$\int_{0}^{+\infty}\rho^3 e^{-\rho^2/2}\int_{0}^{\pi/4}(\pi\cos(2\theta)-2)\; e^{-k\rho\sqrt{2}\cos\theta}\;d\theta \; d\rho\geq 0, $$ also equivalent to (by integrating by parts): $$\int_{0}^{+\infty}\rho^3 e^{-\rho^2/2}\int_{0}^{\pi/4}(\pi\sin\theta\cos\theta-2\theta)\;k\rho\sqrt{2}\sin\theta\; e^{-k\rho\sqrt{2}\cos\theta}\;d\theta \; d\rho\geq 0, $$ that is trivial since over $[0,\pi/2]$, by the concavity of the sine function, we have $\sin\phi\geq\frac{2\phi}{\pi}$. Following the line of the previous proof, the $(\spadesuit)$-inequality can be used to have tight upper bound for the $e^{k^2}\;\operatorname{erfc}(k)$ - function. Moreover, from the $(\spadesuit_2)$-inequality the convexity of $\frac{1}{A_k}$ follows.

Paradoxically, it is quite easier to prove stronger bounds. Let $X$ be a random variable with gaussian distribution and density $$ f(x)=\frac{1}{\sqrt{2\pi}}\exp(-x^2/2).$$ Now let, for any $k\in\mathbb{R}^+$, $$A_k = \sqrt{2\pi}\;\exp(k^2/2)\;\mathbb{P}[X>k] = \sqrt{\frac{\pi}{2}}\;\exp(k^2/2)\;\operatorname{Erfc}\left(\frac{k}{\sqrt{2}}\right).$$ Since $\mathbb{E}\left[\left(X-\mathbb{E}[X]\right)^2\right]\geq 0$, $\mathbb{E}[X^2]\geq\mathbb{E}[X]^2$, and the same holds for the conditional expected values, under the hypothesis $X>k$. That gives, in terms of $A_k$: $$ (1-k\; A_k)^2 \leq A_k\;\left(-k+(1+k^2)\; A_k\right), $$ that can be restated as: $$\label{1}\tag{$\heartsuit$}\quad A_k^2+k\;A_k-1\geq 0.$$ From: $$ A_k \geq \frac{2}{k+\sqrt{k^2+4}}, $$ we immediately have a lower bound for the $\operatorname{erfc}$ function: $$ e^{k^2}\;\operatorname{erfc}(k) \geq \frac{2}{\sqrt{\pi}}\left(\frac{1}{k+\sqrt{k^2+2}}\right).$$ An interesting fact is that the "reverse inequality" $$\label{2}\tag{$\spadesuit$}\quad (1-k\; A_k)^2 \geq \frac{2}{\pi}\;A_k\;\left(-k+(1+k^2)\; A_k\right), $$ equivalent to: $$\label{3}\tag{$\spadesuit_2$}\quad\pi\left(\int_{k}^{+\infty}(x-k)\;e^{-x^2/2}\;dx\right)^2\geq 2\int_{k}^{+\infty}e^{-x^2/2}\;dx\int_{k}^{+\infty}(x-k)^2\;e^{-x^2/2}\;dx,$$ holds, too. Since: $$A_k =\int_{0}^{+\infty}\exp\left(-x^2/2-kx\right)\,dx, $$ by using the Fubini-Tonelli theorem and switching to polar coordinates one can see that \eqref{3} is equivalent to: $$\int_{0}^{+\infty}\rho^3 e^{-\rho^2/2}\int_{0}^{\pi/4}(\pi\cos(2\theta)-2)\; e^{-k\rho\sqrt{2}\cos\theta}\;d\theta \; d\rho\geq 0, $$ also equivalent to (by integrating by parts): $$\int_{0}^{+\infty}\rho^3 e^{-\rho^2/2}\int_{0}^{\pi/4}(\pi\sin\theta\cos\theta-2\theta)\;k\rho\sqrt{2}\sin\theta\; e^{-k\rho\sqrt{2}\cos\theta}\;d\theta \; d\rho\geq 0, $$ that is trivial since over $[0,\pi/2]$, by the concavity of the sine function, we have $\sin\phi\geq\frac{2\phi}{\pi}$. Following the line of the previous proof, the \eqref{2}-inequality can be used to have tight upper bound for the $e^{k^2}\;\operatorname{erfc}(k)$ - function. Moreover, from the \eqref{3}-inequality the convexity of $\frac{1}{A_k}$ follows.

Source Link

Paradoxically, it is quite easier to prove stronger bounds. Let $X$ be a random variable with gaussian distribution and density $$ f(x)=\frac{1}{\sqrt{2\pi}}\exp(-x^2/2).$$ Now let, for any $k\in\mathbb{R}^+$, $$A_k = \sqrt{2\pi}\;\exp(k^2/2)\;\mathbb{P}[X>k] = \sqrt{\frac{\pi}{2}}\;\exp(k^2/2)\;\operatorname{Erfc}\left(\frac{k}{\sqrt{2}}\right).$$ Since $\mathbb{E}\left[\left(X-\mathbb{E}[X]\right)^2\right]\geq 0$, $\mathbb{E}[X^2]\geq\mathbb{E}[X]^2$, and the same holds for the conditional expected values, under the hypothesis $X>k$. That gives, in terms of $A_k$: $$ (1-k\; A_k)^2 \leq A_k\;\left(-k+(1+k^2)\; A_k\right), $$ that can be restated as: $$(\heartsuit)\quad A_k^2+k\;A_k-1\geq 0.$$ From: $$ A_k \geq \frac{2}{k+\sqrt{k^2+4}}, $$ we immediately have a lower bound for the $\operatorname{erfc}$ function: $$ e^{k^2}\;\operatorname{erfc}(k) \geq \frac{2}{\sqrt{\pi}}\left(\frac{1}{k+\sqrt{k^2+2}}\right).$$ An interesting fact is that the "reverse inequality" $$(\spadesuit)\quad (1-k\; A_k)^2 \geq \frac{2}{\pi}\;A_k\;\left(-k+(1+k^2)\; A_k\right), $$ equivalent to: $$(\spadesuit_2)\quad\pi\left(\int_{k}^{+\infty}(x-k)\;e^{-x^2/2}\;dx\right)^2\geq 2\int_{k}^{+\infty}e^{-x^2/2}\;dx\int_{k}^{+\infty}(x-k)^2\;e^{-x^2/2}\;dx,$$ holds, too. Since: $$A_k =\int_{0}^{+\infty}\exp\left(-x^2/2-kx\right)\,dx, $$ by using the Fubini-Tonelli theorem and switching to polar coordinates one can see that $(\spadesuit_2)$ is equivalent to: $$\int_{0}^{+\infty}\rho^3 e^{-\rho^2/2}\int_{0}^{\pi/4}(\pi\cos(2\theta)-2)\; e^{-k\rho\sqrt{2}\cos\theta}\;d\theta \; d\rho\geq 0, $$ also equivalent to (by integrating by parts): $$\int_{0}^{+\infty}\rho^3 e^{-\rho^2/2}\int_{0}^{\pi/4}(\pi\sin\theta\cos\theta-2\theta)\;k\rho\sqrt{2}\sin\theta\; e^{-k\rho\sqrt{2}\cos\theta}\;d\theta \; d\rho\geq 0, $$ that is trivial since over $[0,\pi/2]$, by the concavity of the sine function, we have $\sin\phi\geq\frac{2\phi}{\pi}$. Following the line of the previous proof, the $(\spadesuit)$-inequality can be used to have tight upper bound for the $e^{k^2}\;\operatorname{erfc}(k)$ - function. Moreover, from the $(\spadesuit_2)$-inequality the convexity of $\frac{1}{A_k}$ follows.