Proving n = (x^n)(e^-x) integrated from 0 to infinity

  • Thread starter tainted
  • Start date
  • Tags
    Infinity
  • #1
28
0

Homework Statement


Prove [tex]\int_{0}^{\infty}x^{n}e^{-x} dx = n![/tex]


Homework Equations


[tex]0! = 1[/tex] (by convention)


The Attempt at a Solution


Basic step:
[tex]
n=0 \\
\int_{0}^{\infty}x^{0}e^{-x} dx\ = 0! = 1\\
\int_{0}^{\infty}e^{-x} dx\ = -[e^{-\infty}-e^{0}]\\
-[e^{-\infty}-e^{0}] = -[\frac{1}{e^{\infty}}-1]\\
-[\frac{1}{e^{\infty}}-1] = -[0-1] = 1[/tex]
Therefore the statement is true for n = 0.

Assuming that [tex]\int_{0}^{\infty}x^{n}e^{-x} dx = n![/tex] is true,
I need to show [tex]\int_{0}^{\infty}x^{n+1}e^{-x} dx = (n+1)![/tex]

I don't really know what to do from here. I emailed the TA and he said to integrate by parts, but we haven't been taught that , and he hasn't replied again so if someone could help me out that would be great! Thanks!
 

Answers and Replies

  • #3
Well I would assume it is integrating the parts that are multiplied together, but I do not know how to do that.
 
  • #4
Then refresh your memory, go to the high-school book teaching you the part integration.
 
  • #5

Homework Statement


Prove [tex]\int_{0}^{\infty}x^{n}e^{-x} dx = n![/tex]

Homework Equations


[tex]0! = 1[/tex] (by convention)

The Attempt at a Solution


Basic step:
[tex]
n=0 \\
\int_{0}^{\infty}x^{0}e^{-x} dx\ =
\int_{0}^{\infty}e^{-x} dx\ = -[e^{-\infty}-e^{0}] =
-[e^{-\infty}-e^{0}] = -[\frac{1}{e^{\infty}}-1] =
-[\frac{1}{e^{\infty}}-1] = -[0-1] = 1=0![/tex]
Therefore the statement is true for n = 0.

Assuming that [tex]\int_{0}^{\infty}x^{n}e^{-x} dx = n![/tex] is true,
I need to show [tex]\int_{0}^{\infty}x^{n+1}e^{-x} dx = (n+1)![/tex]
I don't really know what to do from here. I emailed the TA and he said to integrate by parts, but we haven't been taught that , and he hasn't replied again so if someone could help me out that would be great! Thanks!
Since you don't know integration by parts, you might try to integrate by trial & error. In other words, try to find the anti-derivative of [itex]\displaystyle x^{n+1}e^{-x}[/itex] by finding a function whose derivative is [itex]\displaystyle x^{n+1}e^{-x}\ .[/itex] In this case that's not a difficult as it may at first seem.

This step may strike you as a bit crazy, but what is the derivative of [itex]\displaystyle x^{n+1}e^{-x}\ ?[/itex] Well, the derivative of [itex]\displaystyle x^{n+1}e^{-x}\ [/itex] has a term which is also the same function, [itex]\displaystyle x^{n+1}e^{-x}\ .[/itex]

Integrate both sides of the result, & see where that takes you.

Added in Edit:

Now that I look at that, the result you want should be staring right at you.
 
Last edited:
  • #6
Thanks guys! I looked up integration by parts, and got to

[tex]
\int_{0}^{\infty} x^{n+1}e^{-x} dx,\ \\
u = x^{n+1} \\
du = (n+1)x^{n} dx\ \\
dv = e^{-x} dx \\
\frac{dv}{dx}\ = e^{-x} \\
v = -e^{-x}
[/tex]
 
Last edited:
  • #7
Thanks guys! I looked up integration by parts, and got to

[tex]
\int_{0}^{\infty} x^{n+1}e^{-x} dx\ \\
u = x^{n+1} \\
du = (n+1)x^{n} dx\ \\
dv = e^{-x} dx \\
\frac{dv}{dx}\ = e^{-x} \\
v = e^{-x}
[/tex]

Well, v = -e-x .
 
  • #8
Thanks, yeah I had that written, but I didn't get it down, can you tell me what was wrong with my LaTeX before I continue the rest of my work?
 
  • #9
Thanks, yeah I had that written, but I didn't get it down, can you tell me what was wrong with my LaTeX before I continue the rest of my work?

You have an underscore, _ , in the fraction command, \frac_{}{} .

Also, you were missing the ^ with the ∞.

Have you completed the integration part of the proof ?

Added in Edit:

I was going to say, just "QUOTE" my post, but that won't work.

What will work is to "Right click" on the LaTeX output of my post, then "Show math as" to look at the TEX commands.
 
  • #10
[tex]
\int_{0}^{\infty} x^{n+1}e^{-x} dx,\ \\
u = x^{n+1} \\
du = (n+1)x^{n} dx\ \\
dv = e^{-x} dx \\
\frac{dv}{dx}\ = e^{-x} \\
v = -e^{-x}\\
\int udv\ = uv - \int vdu\ \\
-x^{n+1}e^{-x} + (n+1)\int e^{-x}x^{n} dx\
[/tex]
 
Last edited:
  • #11
Yeah, ha I'm posting as I work on other problems, so I post a little bit, and then I update. It should be edited as far as I have gotten now. I'm not really sure what to do to prove that equals [tex] (n+1)n![/tex]
 
  • #12
Yeah, ha I'm posting as I work on other problems, so I post a little bit, and then I update. It should be edited as far as I have gotten now. I'm not really sure what to do to prove that equals [tex] (n+1)n![/tex]
Turn that indefinite integral into a definite integral with limits 0 to ∞ , & use your induction hypothesis.
 
  • #13
[tex]
-x^{n+1}e^{-x} + (n+1)n!
[/tex]
So do I have to prove the first part equals 0?
 
  • #14
[tex]
-x^{n+1}e^{-x} + (n+1)n!
[/tex]
So do I have to prove the first part equals 0?

Pretty simple using L'hopitals rule.
 
  • #15
mmk, but what would the limit approach?

[tex]
\lim_{x \to \ ?} \frac{-x^{(n+1)}}{e^{x}}
[/tex]
where
[tex]
f(x) = -x^{(n+1)}\\
g(x) = e^{x} [/tex]
 
  • #16
[tex]
-x^{n+1}e^{-x} + (n+1)n!
[/tex]
So do I have to prove the first part equals 0?
If [itex]\displaystyle\ \ \int x^{n+1}e^{-x} dx=
-x^{n+1}e^{-x} + (n+1)\int e^{-x}x^{n} dx\,,[/itex]

then [itex]\displaystyle\ \ \left.\int_{0}^{\infty} x^{n+1}e^{-x} dx=
-{\LARGE{(}}x^{n+1}e^{-x}\right|_0^\infty + (n+1)\int_0^\infty e^{-x}x^{n} dx\ .[/itex]
 
  • #17
[tex]\displaystyle\ \ \left.\int_{0}^{\infty} x^{n+1}e^{-x} dx=
-{\LARGE{(}}x^{n+1}e^{-x}\right|_0^\infty{\LARGE{)}} + (n+1)\int_0^\infty e^{-x}x^{n} dx\ \\
= {\LARGE{[}}-\frac{x^{n+1}}{e^{\infty}} + x^{(n+1)}{\LARGE{]}} + (n+1)n! \\
= {\LARGE{[}}x^{(n+1)}{\LARGE{]}} + (n+1)n! \\
= (n+1)n! + x^{(n+1)}
[/tex]

That wouldn't equal (n+1)n!...
Then what would I do? I'm not really sure what I'm doing, it just seems to be getting more complicated to me =/
Thanks for helping me though!
 
Last edited:
  • #18
mmk, but what would the limit approach?

[tex]
\lim_{x \to \ ?} \frac{-x^{(n+1)}}{e^{x}}
[/tex]
where
[tex]
f(x) = -x^{(n+1)}\\
g(x) = e^{x} [/tex]

Well clealy at zero it's zero, the infinity part you use Lhopitals rule for x-> infinity.
 

Suggested for: Proving n = (x^n)(e^-x) integrated from 0 to infinity

Back
Top