The integration of e^(x^2)

  • #1
i am tryaing to find the integral of "e" raise to power "x" square. by conventional method by dividing e^x^2 with derivative of the power of "e" i.e. "2x". But i am not confident on my answer. Please tell me am i right???:surprised
 

Answers and Replies

  • #2
arildno
Science Advisor
Homework Helper
Gold Member
Dearly Missed
9,970
132
You won't be able to find a nice anti-derivative to the function [itex]e^{x^{2}}[/itex]
 
  • Like
Likes Zacarias Nason
  • #3
HallsofIvy
Science Advisor
Homework Helper
41,833
956
I don't know how many times we have to say this- it's given in any good calculus book. The anti-derivative of [itex]e^{x^2}[/itex] is not an "elementary" function. Because [itex]e^{-x^2}[/itex] is used so much in statistics, the "error" function, erf(x), is defined as an anti-derivative of [itex]e^{-x^2}[/itex] but I don't believe anyone has ever bothered to give a name to the anti-derivative of [itex]e^{x^2}[/itex].

That "conventional" method you talk about, only works when the derivative of the power is a constant.
 
  • #4
D H
Staff Emeritus
Science Advisor
Insights Author
15,393
685
No need to give the integral of [itex]e^{x^2}[/itex] a new name, as it already has one: erf(ix).
Since
[tex]\int_0^x{\mathrm e}^{-t^2}{\mathrm d}t =
\sqrt{\frac{\pi}2}\operatorname{erf}(x)[/tex]

[tex]\int_0^x{\mathrm e}^{t^2}{\mathrm d}t =
-i\sqrt{\frac{\pi}2}\operatorname{erf}(ix)[/tex]
 
  • #5
JasonRox
Homework Helper
Gold Member
2,314
3
The best way to know if you are right is to take the derivative of the anti-derivative.

The derivative of e^(x^2)*2*x, with respect to x, does not equal e^(x^2).
 
  • Like
Likes Zacarias Nason
  • #6
95
0
Polar coordinates

Use polar coordinates and you'll make progress
 
  • #7
4
0
If you want a series representation you can expand e^x to taylor series near 0, substitute x with x^2, integrate.
 
  • #9
what on erf are you talking about?
 
  • Haha
Likes diaaa2
  • #10
811
6
It's called the gaussian function.

http://en.wikipedia.org/wiki/Gaussian_integral

It's integral is non-elementary, meaning you can't find a polynomial, trigonomic, or exponential function (or combination of those functions) which describe it. The integral is sometimes called "erf" (though it might be scaled differently), also called the "error function".

The proof of why the integral is the square root of pi is really interesting, and is mentioned on the wiki article.
 
  • #11
D H
Staff Emeritus
Science Advisor
Insights Author
15,393
685
what on erf are you talking about?
Why on earth are you necromancing a three year old thread just to make a bad pun?
 
  • Like
Likes Mayela Arreola Barba and fahraynk
  • #12
1,707
5
hahahahaha what a good reason to bring back and old thread
 
  • Like
Likes fahraynk
  • #13
115
0
what dose erf stand for?
 
  • #14
64
0
I was wondering if it would in fact be possible to express the integral of e^(x^2) in terms of elementary functions. Couldn't I just use a bilateral Laplace transform on e^(x^2) and convert it into the s domain. Then, I would integrate with respect to s (since switching functions from the time domain to the s domain makes it linear, thus making it easy to integrate), and then convert that function back to the time domain using the Bromwich Integral?
 
  • #15
Mute
Homework Helper
1,388
10
I was wondering if it would in fact be possible to express the integral of e^(x^2) in terms of elementary functions. Couldn't I just use a bilateral Laplace transform on e^(x^2) and convert it into the s domain. Then, I would integrate with respect to s (since switching functions from the time domain to the s domain makes it linear, thus making it easy to integrate), and then convert that function back to the time domain using the Bromwich Integral?
What confidence do you have that finding the antiderivative of the laplace transform of f(t) with respect to s then inverse laplace transforming it would give you the antiderivative of f(t)? Even if it did, I would wager that you wouldn't be able to do the resulting inverse laplace transform in terms of elementary functions!

For instance, if we calculate the bilateral laplace transform for [itex]\exp(-t^2/2) [/itex]:

[tex]F(s) = \int_{-\infty}^{\infty}dt~e^{-st}e^{-t^2/2}[/tex]

Complete the square in the exponent:

[tex]\int_{-\infty}^{\infty}dt~e^{-\frac{1}{2}(t^2 + 2st + s^2 - s^2)} = \int_{-\infty}^{\infty}dt~e^{-\frac{1}{2}(t+s)^2}e^{s^2/2}[/tex]

which gives
[tex]\sqrt{2\pi}e^{s^2/2}.[/tex]

So, it looks like in order to integrate the bilateral laplace transform, you still need to integrate a Gaussian! (Well, Gaussian-like, due to the sign of the exponent).

(Edit: I'm pretty sure the integrating thing wouldn't work anyways. If you take the regular laplace transform for t from 0 to infinity, then consider L[t] = 1/s^2. Integrating with respect to s gives -1/s. Taking the inverse lapace transform of that gives the step function -H(t), which is certainly not the derivative of t.)
 
Last edited:
  • #16
64
0
I know it sounds like a stupid question but, instead of setting f(t)=e^(-t^2/2), why can't we set it to be e^(t^2), and see if we can integrate its Laplace transform (since e^(-t^2/2) is completely different from e^(t^2))? I especially pose this problem to Mute.
 
  • #17
64
0
i guess you are right, Mute, e^(x^2) doesn't have a true integral in elementary terms. Thus, I agree with the others, that the only way to solve Iftikhar's problem is by expressing the integral of the function in terms of erf.

THAT'S THE ONLY WAY, for now at least.
 
  • #18
99
0
Correct me if I am wrong, but can't you integrate the series expansion of e^x^2 term by term? Using numerical methods, the area under the curve of e^x^2 is very close to about 6 iterations of the term-by-term integration of the series.
 
  • #19
107
0
Correct me if I am wrong, but can't you integrate the series expansion of e^x^2 term by term? Using numerical methods, the area under the curve of e^x^2 is very close to about 6 iterations of the term-by-term integration of the series.
An approximation with this particular function where the terms increase for real [itex]x[/tex], makes any such process largely meaningless.

As has been said, there is no elementary anti-derivative (barring the infinite series version), for e^(-x^2) from 0 to infinity this is handled by converting to a polar integral, but for this one, that will obviously be infinite.
 
  • #20
HallsofIvy
Science Advisor
Homework Helper
41,833
956
I know it sounds like a stupid question but, instead of setting f(t)=e^(-t^2/2), why can't we set it to be e^(t^2), and see if we can integrate its Laplace transform (since e^(-t^2/2) is completely different from e^(t^2))? I especially pose this problem to Mute.
Why would you think that changing from t2/2 to t2 would make a difference in integrating? A simple subtitution can obviously change either one into the other. If one cannot be integrated in terms of elementary functions, the other clearly cannot either.
 
  • #21
Do a little research on the Chain Rule. This is how you solve these kinds of problems.
 
  • #22
arildno
Science Advisor
Homework Helper
Gold Member
Dearly Missed
9,970
132
Do a little research on the Chain Rule. This is how you solve these kinds of problems.
Wrong.
 
  • #23
164
0
How about integration using summation of (x^n)/n! ?
 
  • #24
arildno
Science Advisor
Homework Helper
Gold Member
Dearly Missed
9,970
132
How about integration using summation of (x^n)/n! ?
That is definitely an option; however, we do not regard an infinite power series as a nice anti-derivative, nor as a finite combination of elementary functions.

We get then, as an anti-derivative F(x):
[tex]F(x)=C+\sum_{n=0}^{\infty}\frac{x^{2n+1}}{(2n+1)n!}[/tex]
This is most definitely not a nice function!
 
  • #25
402
1
It´s not possible to express the primitive of [tex]e^{x^{2}}[/tex] in terms of algebraic combinations of "elementary" functions (polynomials, trignometric, exponentials and their inverses). The reason is far from trivial and lies in a field called Differential Galois Theory, that is an analogue for differential equations of the algebraic Galois Theory for polynomials. The inexpressability of this primitive (and many others), is akin to the one regarding roots of polynomials with degree greater than four.
 

Related Threads on The integration of e^(x^2)

Replies
2
Views
1K
  • Last Post
Replies
10
Views
6K
  • Last Post
Replies
4
Views
3K
  • Last Post
Replies
10
Views
22K
  • Last Post
Replies
1
Views
4K
  • Last Post
Replies
22
Views
61K
  • Last Post
Replies
2
Views
4K
Replies
20
Views
4K
  • Last Post
Replies
12
Views
99K
  • Last Post
Replies
1
Views
2K
Top