Can the exponential integral $\int e^{x^2}dx$ be evaluated exactly?

  • Context: MHB 
  • Thread starter Thread starter mathworker
  • Start date Start date
  • Tags Tags
    Exponential Integral
Click For Summary

Discussion Overview

The discussion revolves around the evaluation of the integral $\int e^{x^2}dx$. Participants explore whether this integral can be expressed in a closed form, examining various approaches and related functions.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant attempts to evaluate the integral using substitution but finds that integration by parts does not yield a solution.
  • Another participant asserts that the integral does not have a closed form but can be expressed in terms of the Error function, specifically relating it to $\text{erfi}(x)$.
  • A different participant agrees with the previous assertion and suggests differentiating $\frac{1}{2} \sqrt{\pi} \text{erfi}(x)$ to show it results in $e^{x^2}$, proposing the use of power series for this proof.
  • Another participant discusses properties of the Error function, including its behavior under complex conjugation and negation.
  • One participant reiterates the lack of a closed form solution and proposes a series solution for the integral, providing a detailed expansion using the Taylor series for $e^{x^2}$.
  • A participant draws a parallel to the Gaussian function $e^{-x^2}$, noting that while it also lacks an elementary antiderivative, it has a well-known definite integral over the entire real line.

Areas of Agreement / Disagreement

Participants generally agree that the integral $\int e^{x^2}dx$ does not have a closed form solution in terms of elementary functions. However, multiple views exist regarding its representation in terms of the Error function and series solutions, leaving the discussion unresolved on the best approach.

Contextual Notes

Some limitations include the dependence on definitions of special functions like the Error function and the series expansion, as well as unresolved mathematical steps in the proposed approaches.

mathworker
Messages
110
Reaction score
0
I am trying to evaluate the following integral. Any help would be appreciated.
$$\int e^{x^2}dx$$
i tried the following,
$$x^2=t$$
$$2xdx=dt$$
$$\int\frac{e^t}{2\sqrt{t}}dt$$
i tried doing by parts but it didn't work
 
Physics news on Phys.org
Re: an exponential integral

Unfortunately this integral has no closed form , we can define the integral in terms of the Error function

Let the following

$$\int^x_0 e^{t^2} \, dt $$

Now use the sub $$t=iu $$

$$ i\int^{-ix }_0 e^{-u^2} \, du = i \frac{\sqrt{\pi}}{2}\, \text{erf}(-ix) =- i \frac{\sqrt{\pi}}{2}\, \text{erf}(ix) = \frac{\sqrt{\pi}}{2} \, \text{erfi}(x) $$
 
Re: an exponential integral

I agree with ZaidAlyafey. If you want, you can try to show that differentiating $\frac{1}{2} \sqrt{\pi} \text{erfi}(x)$ gives $e^{x^2}$. To do this, use the power series representation of $\text{erfi}(x)$. Differentiate using the properties of derivatives, and equate it to the power series of $e^{x^2}$ :)

That would be a valid proof thanks to the FTC (somewhat uninsightful, though, since $\text{erf}(x)$ and variants are defined in terms of the Gaussian integral).​
 
Re: an exponential integral

What is so nice about the Error function is the following properties

  • $$\text{erf}(\bar{z}) = \overline { \text{erf}(z) }\\$$
  • $$\text{erf}(-z) = - \text{erf(z) }$$

where the bar represents the complex conjugate .
 
Re: an exponential integral

mathworker said:
how to find the following integral,help would be appreciated
$$\int e^{x^2}dx$$
i tried,
$$x^2=t$$
$$2xdx=dt$$
$$\int\frac{e^t}{2\sqrt{t}}dt$$
i tried doing by parts but it didn't work

It doesn't have a closed form solution in terms of the elementary functions, but if you want, you can get a series solution.

[math]\displaystyle \begin{align*} e^X &= \sum_{n = 0}^{\infty} { \frac{X^n}{n!} } \\ \textrm{ so } e^{x^2} &= \sum_{n = 0}^{\infty} { \frac{\left( x^2 \right) ^n }{n!} } \\ &= \sum_{n = 0}^{\infty} { \frac{x^{2n}}{n!} } \\ \int{ e^{x^2}\,dx} &= \int{ \sum_{n = 0}^{\infty} {\frac{x^{2n}}{n!}} \, dx } \\ &= \sum_{n = 0}^{\infty} { \frac{x^{2n+1}}{\left( 2n + 1 \right) \, n!} } + C \end{align*}[/math]
 
Just because the OP might find this interesting, even though this function does not have an elementary antiderivative, a similar function, the Gaussian Function [math]\displaystyle \begin{align*} e^{-x^2} \end{align*}[/math] also does not have an elementary antiderivative, and so in general can not be exactly integrated over two values, but DOES have an exact definite integral over the entire real number line, [math]\displaystyle \begin{align*} \int_{-\infty}^{\infty}{e^{-x^2}\,dx} = \sqrt{\pi} \end{align*}[/math]

Proof: Consider integrating over the real plane [math]\displaystyle \begin{align*} \int{ \int_{\mathbf{R}^2}{e^{-\left( x^2 + y^2 \right) }} \, dA } \end{align*}[/math]. If we convert to polars, since we are integrating over the entire plane, the radii can extend out indefinitely and all angles can be swept out. So

[math]\displaystyle \begin{align*} \int{ \int_{\mathbf{R}^2} {e^{-\left( x^2 + y^2 \right) } }\,dA } &= \int_{-\infty}^{\infty}{\int_{-\infty}^{\infty}{ e^{-\left( x^2 + y^2 \right) } \,dx}\,dy} \\ &= \int_0^{2\pi}{\int_0^{\infty}{e^{-r^2}\,r\,dr}\,d\theta} \\ &= -\frac{1}{2}\int_0^{2\pi}{\int_0^{\infty}{e^{-r^2} \left( -2r \right) \, dr}\,d\theta} \\ &= -\frac{1}{2}\int_0^{2\pi}{\int_0^{-\infty}{e^u\,du}\,d\theta} \textrm{ after substituting } u = -r^2 \\ &= \frac{1}{2}\int_0^{2\pi}{\int_{-\infty}^0{e^u\,du}\,d\theta} \\ &= \frac{1}{2}\int_0^{2\pi}{\lim_{\epsilon \to -\infty}\int_{\epsilon}^0{e^u\,du}\,d\theta} \\ &= \frac{1}{2}\int_0^{2\pi}{\lim_{\epsilon \to -\infty} \left[ e^u \right]_{\epsilon}^0 \,d\theta} \\ &= \frac{1}{2}\int_0^{2\pi}{e^0 - \lim_{\epsilon \to -\infty}e^{\epsilon}\,d\theta} \\ &= \frac{1}{2}\int_0^{2\pi}{1 - 0\,d\theta} \\ &= \frac{1}{2}\int_0^{2\pi}{1\,d\theta} \\ &= \frac{1}{2} \left[ \theta \right] _0^{2\pi} \\ &= \frac{1}{2} \left( 2\pi - 0 \right) \\ &= \frac{1}{2} \left( 2\pi \right) \\ &= \pi \end{align*}[/math]

But if we attempt to integrate using Cartesians

[math]\displaystyle \begin{align*} \int{\int_{\mathbf{R}^2}{e^{-\left( x^2 + y^2 \right) }}\,dA} &= \int_{-\infty}^{\infty}{\int_{-\infty}^{\infty}{e^{-\left( x^2 + y^2 \right) }\,dx}\,dy} \\ &= \int_{-\infty}^{\infty}{\int_{-\infty}^{\infty}{e^{-x^2 - y^2}\,dx}\,dy} \\ &= \int_{-\infty}^{\infty}{\int_{-\infty}^{\infty}{e^{-x^2}e^{-y^2}\,dx}\,dy} \\ &= \left( \int_{-\infty}^{\infty}{e^{-x^2}\,dx} \right) \left( \int_{-\infty}^{\infty}{e^{-y^2}} \, dy \right) \\ &= \left( \int_{-\infty}^{\infty}{e^{-x^2}\,dx} \right) ^2 \textrm{ as the two integrals are identical and so are numerically equal} \end{align*}[/math]

Equating the two results, we find

[math]\displaystyle \begin{align*} \left( \int_{-\infty}^{\infty}{e^{-x^2}\,dx} \right) ^2 &= \pi \\ \int_{-\infty}^{\infty}{e^{-x^2}\,dx} &= \sqrt{\pi} \end{align*}[/math]

Q.E.D.
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 27 ·
Replies
27
Views
2K
  • · Replies 5 ·
Replies
5
Views
4K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 19 ·
Replies
19
Views
5K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 5 ·
Replies
5
Views
1K