Prove $1.43 < \int_0^1 e^{x^2}\,\mathrm{d}x < \frac{e+1}{2}$

Question

Prove $$1.43<\int_0^1 e^{x^2}\,\mathrm{d}x<\frac{e+1}{2}$$

What I did:

As I have no idea how to approach the left inequality I work with $$\int_0^1 e^{x^2} \mathrm{d}x<\frac{e+1}{2} \iff \int_0^1 e^{x^2} \mathrm{d}x<\int_0^1 \frac12 (e+x)\mathrm{d}x \iff e^{x^2}<\frac12(e+x) \iff x^2<\log (e+x)-\log 2$$

I don't know how to proceed.

Answer 1

Hint: You should be able to get the inequality $1.43\lt\int_0^1 e^{x^2}dx$ from

$$e^{x^2}\gt1+x^2+{1\over2}x^4+{1\over6}x^6+{1\over24}x^8+\cdots+{1\over n!}x^{2n}$$

for some truncation $n$.

Added later: Here's a way to get the upper bound. Using the fact that $x^2\le x$ for $0\le x\le1$ and $e\lt3$, one has

$$\int_0^1e^{x^2}\,dx\le\int_0^1e^x\,dx=e-1\lt{e+1\over2}$$

Answer 2

We have: $$\int_{0}^{1}e^{x^2}\,dx = e\cdot\int_{0}^{1}e^{1-x^2}\,dx = e\cdot\int_{0}^{1}e^{x(2-x)}\,dx=2e\cdot\int_{0}^{1/2}e^{4x(1-x)}\,dx$$ and since: $$ e^z = \sum_{j=0}^{+\infty}\frac{z^j}{j!} $$ we have: $$\begin{eqnarray*}\int_{0}^{1}e^{x^2}\,dx &=& 2e\cdot\int_{0}^{1/2}\sum_{j=0}^{+\infty}\frac{(-1)^j(4x(1-x))^j}{j!}\,dx =2e\cdot\sum_{j=0}^{+\infty}\frac{(-4)^j B(1/2,j+1,j+1)}{j!}\\&=&\frac{e}{2}\sum_{j=1}^{+\infty}\frac{(-1)^{j+1}4^j}{j!\binom{2j}{j}}=\frac{e\sqrt{\pi}}{2}\sum_{j=0}^{+\infty}\frac{(-1)^j}{\Gamma(j+3/2)}.\end{eqnarray*}$$ (see this question about an identity for the incomplete Beta function)

By summing the terms up to $j=5$ in the last series we get: $$1.469\ldots = \frac{73}{135}e\geq \int_{0}^{1} e^{x^2}\,dx \geq \frac{207}{385}e = 1.461\ldots. $$

Answer 3

Right inequality actually follows from that $f(x)=e^{x^2}$ is convex and $f(0)=1$, $f(1)=e$.

As to the left inequality, I believe the best approach is to ask WolframAlpha because no good solution seems possible. In fact, $\int_0^1 f(x)dx$ differs from $1.43$ only by $0.03$.

Answer 4

You can also obtain the upper bound integrating the easy inequality $e^{x^2}\le 1+xe^{x^2}$ on $[0,1]$ (the latter is equivalent to $e^{x^2}\le 1/(1-x)$ on $[0,1]$ which is clear in terms of power series expansions).