Is There a Closed-Form Antiderivative for e^(-x^2)?

[kennis]

integral of e^(-x^2)dx?

 

[AKG]

I'm guessing this can't be defined using elementary functions. Look up functions like Erf(x), Erfi(x), etc.

 

[whozum]

Usually done as a double integral with polar coordinates. I think its Fubini's Theorem.

 

[Jameson]

Usually done as a double integral with polar coordinates. I think its Fubini's Theorem.

Here's a nice Wikipedia link to show you the double integral. It's a page on the Gaussian Integral, which is the same integral as yours, but a definite one. It converts

\int_{-\infty}^{\infty} e^{-x^2}dx

to polar coordinates to show how it is evaluated.

 

[LeonhardEuler]

It can't be done with elementary functions. Switching to polar coordinates only gives you definite integrals on the intervals from 0 to +/-infinity or from -infinity to infinty. To find the integral in practice one defines a function as that integral. You can find the taylor series for the function by integrating the taylor series of the integrand. This will give you as good an approximation of the function as you want.

 

[AKG]

If you want to find the definite integral, then yes, you use some neat tricks with polar co-ordinates and double integrals. He's just asked for the indefinite integral, and I don't believe that it's an elementary function.

 

[Watts]

Mathematical Proof

Does there exist a proof that says that it is impossible to produce a closed anti derivative of f(x)=e^-x^2? I would like to see it if it does exist. If it is impossible to generate an anti derivative through the use of elementary functions could some one please produce an anti derivative with non-elementary functions?

 

[LeonhardEuler]

Does there exist a proof that says that it is impossible to produce a closed anti derivative of f(x)=e^-x^2? I would like to see it if it does exist.

I have not seen it myself, but I heard that it is quite long (a dozen pages, I heard)

If it is impossible to generate an anti derivative through the use of elementary functions could some one please produce an anti derivative with non-elementary functions?

Well, there's an answer to that question, but it's kind of disapointing. By definition:
erf(z) \equiv \frac{2}{\sqrt{\pi}}\int_{0}^{z} e^{t^2}dt
So then:
\int e^{x^2}dx=\frac{\sqrt{\pi}}{2}erf(z) +C
Kind of disapointing because it just is basically defined as the answer to the question. But it is not so much different from other functions. It doesn't give exact answers, but niether do most functions. For example look at sin(x). It is defined by an integral, but in fact, in some books the real natural logarithm is defined by:
\ln{x} \equiv \int_{1}^{x}\frac{1}{t}dt
The erf function could as well be defined by a taylor series as some other functions are, by integrating e^(x^2)'s Taylor series.

 

[shmoe]

Does there exist a proof that says that it is impossible to produce a closed anti derivative of f(x)=e^-x^2? I would like to see it if it does exist.

Yes, it is impossible. This is important enough that it's in just about every treatment I've seen on "integration in finite terms" (<-buzzwords for google), so there will be many options, such as

http://www.claymath.org/programs/outreach/academy/LectureNotes05/Conrad.pdf