1
$\begingroup$
  1. Observe that $e^{-x^2} = \sum_{n = 0}^{\infty} \frac{(-1)^n}{n!} x^{2n}$ for $x$ an element of the reals.
  2. Express $F(x) = \int_{0}^x e^{-t^2}\,dt$ as a power series

For part 1, I don't understand the purpose, are we just suppose to look at the power series for $e^x$ and substitute $x$ with $x^2$ to get the result to be proven? It seems rather trivial, and I am not understanding why we can do that. It makes sense, intuitively.

For part 2, all I got to do is to put in $\sum_{n = 0}^{\infty} \frac{(-1)^n}{n!} x^{2n}$ and integrate this with respect to $dx$, right? Also, when they say express, what else can I do for this.

BTW, this is 26.4 in Ross Analysis Elementary Calculus.

  • 2
    I suspect that 1 is just an excuse for stating the formula. Note that you must substitute $-x^2$ for $x$ For 2 you're basically right (but use the variable $t$!), however, you need to think about why you can interchange summation and integration.2011-04-23
  • 0
    So in the value of sigma of (-1)^n*x^2n/n!, I should use t instead of x? Also, how can we integrate this, since this format I am not sure about: u-subs not nice.2011-04-23
  • 0
    What better justification can you give other than the fact that we look at infinitely many rectangles, upon which we approximate the sigma summation with an integral?2011-04-23
  • 0
    The formal computation starts with writing $\int \sum = \sum \int$ and then integrate term by term. This first equality is more subtle than you state in your second comment. This should be discussed justified somewhere after p.184 in Ross's book (google doesn't let me look at the relevant pages). I don't understand the second part of the first comment. Concerning the first part, note that you should write $F(x) = \int_{0}^x (\text{something depending on }t)\,dt$ (the integrand shouldn't depend on the boundaries of integration!).2011-04-23
  • 0
    ALSO, in part b, we should still have a sigma in our answer, or should we get the taylor series expansion for it?2011-04-23
  • 0
    The first comment is how to integrate (-1)^n *x^2n/n!, since it is not a nice format2011-04-23
  • 0
    I've edited my last comment in the meantime. Yes, you want a power series and you obtain this by interchanging summation and integration and then integrating term by term. Note that you can pull the constant $\frac{(-1)^n}{n!}$ out of the integral and you're left with $\int_{0}^{x} t^{2n}\,dt = \left. \frac{1}{2n+1} t^{2n+1} \right\vert_{0}^{x}$. What's not nice about that?2011-04-23
  • 0
    I think I may be understanding what you're saying. So, part a is just to replace x with -x^2.2011-04-23
  • 0
    And part b, we get that F(x) = (-1)^n/n! * 1/(2n+1) *t^2n+1, right?2011-04-23
  • 0
    Why don't we use a taylor series expansion for e^(-x^2) anywhere?2011-04-23
  • 0
    Very good. Yes about part a. I'll write a short answer to your question in a few minutes.2011-04-23
  • 0
    Can you explain why to use the chain rule and the taylor formula for part a? Does part a need it?2011-04-25

1 Answers 1

1

For the first part use the fact that $e^{x} = \sum_{n=0}^{\infty} \frac{1}{n!} x^{n}$ and replace $x$ by $-x^2$ in this formula. This yields $$e^{-x^2} = \sum_{n=0}^{\infty} \frac{1}{n!} (-x^2)^n = \sum_{n=0}^{\infty} \frac{(-1)^n}{n!} x^{2n}.$$ This is the Taylor series expansion for $e^{-x^2}$ around $0$. To see this, you need to use the chain rule and the Taylor formula: Write $g(x) = f(-x^2)$ and derive a formula for $g^{(n)}(x)$ in terms of $f^{(n)}(x)$.

The second part can be done purely formally first: $$F(x) = \int_{0}^{x} e^{-t^2}\,dt = \int_{0}^{x} \sum_{n=0}^{\infty} \frac{(-1)^n}{n!} t^{2n}\,dt = \sum_{n=0}^{\infty} \frac{(-1)^n}{n!} \int_{0}^{x} t^{2n}\,dt$$ and, as you computed correctly, this last expression evaluates to $$F(x) = \sum_{n=0}^{\infty} \frac{(-1)^n}{n!(2n+1)} x^{2n+1}$$ which solves the exercise. However, we need to justify the third equation sign above, the one equating $\int \sum = \sum \int$. As I said, this is a bit subtle (and certainly the main part of the exercise!). The key here is uniform convergence of the power series of $e^{-t^2}$ on the interval $[0,x]$, and this should be discussed in detail in §25 or §26 of Ross's book.

Added. You can also go backwards and test that differentiating the power series $\sum_{n=0}^{\infty} \frac{(-1)^n}{n!(2n+1)} x^{2n+1}$ term by term yields the power series for $e^{-x^2}$. Again, this involves interchanging two operators $\frac{d}{dx} \sum = \sum \frac{d}{dx}$ formally. The formal computation yields what you want, but it must be justified rigorously, and again this involves uniform convergence of the power series on compact intervals and somewhat subtle analysis.

  • 0
    I only dealt with the formal part of the question because that's what seemed to cause problems here. I can expand on the (more interesting) theoretical part if you ask me to, but I'd appreciate if you had a closer look at the sections of Ross first and ask specific questions.2011-04-23
  • 0
    can you please expand on the more theoretical part please?2011-04-27
  • 0
    @user8917: Have a look a [this question](http://math.stackexchange.com/questions/35524/continuity-of-functions-uniform-convergence) and the hints given by Eric Naslund.2011-04-28