Evaluating Improper Integrals - Homework Statement

[kingwinner]

Homework Statement

Evaluate

∞
∫ [1/sqrt(2 pi)] x e^-x2/2 dx
-∞

∞
∫ [1/sqrt(2 pi)] x² e^-x2/2 dx
-∞

2. Relevant concepts
Improper integrals

The Attempt at a Solution

In my notes, it says the the first integral is 0 since
∞
∫ odd function =0
-∞
But I am having a lot of trouble understanding this.

∞
∫ f(x)dx   
-∞
by definition is equal to
        0                b
lim    ∫ f(x)dx + lim    ∫ f(x)dx 
a->-∞  a          b->∞  0

a and b are different, so how can it be true that
∞
∫ odd function =0 ? Is this even correct?
-∞
What is the correct way to evalaute the integral?


Also, how can I compute the second integral?



Thanks for any help!

 

[statdad]

Suppose you had this integral.

<br /> \int_{=\infty}^\infty \frac 1 {1 + x^2} \, dx<br />

Your quoted definition, applied literally, would result in work I would organize this way.

Step 1.
<br /> \int_a^b \frac 1 {1+x^2} \, dx = \int_a^0 \frac 1 {1+x^2} \, dx + \int_0^b \frac 1 {1+x^2} \, dx<br />

You would then integrate each one of these, getting one expression involving a, another b. Calculating the two limits (as a \to -\infty and
as b \to \infty) would give the first improper integral.

The item you quoted is more of a definition than a guide for calculating integrals. It is meant to provide a distinction between the Cauchy value of an integral, which is defined as

<br /> \int_{-\infty}^\infty f(x) \, dx = \lim_{a \to \infty} \int_{-a}^a f(x) \, dx<br />

- this type of integral can exist when the one you asked about does not.

For your integrals:

try integration by substitution on
<br /> \frac{1}{\sqrt{2 \pi}} \int_{-\infty}^\infty x e^{{-x^2}/2} \, dx<br />

and integration by parts on

<br /> \frac 1 {\sqrt{2 \pi}} \int_{-\infty}^\infty x^2 e^{{-x^2}/2} \, dx<br />

In the second case you will encounter an integral that has no closed form but whose value can be found in many books.

I don' know what your statistics background is, but both of these integrals relate to the normal distribution.

 

[HallsofIvy]

LaTex error? Those integrals should be
\frac{1}{\sqrt{2}\pi}\int_{-\infty}^\infty xe^{-x^2}dx
and
\frac{1}{\sqrt{2}\pi}\int_{-\infty}^\infty x^2e^{-x^2}dx

Thanks, statdad.

 

[statdad]

I think the OP had \pi inside the square roots in his integrals?

 

[kingwinner]

For the first integral, I was asked to prove that the expected value E(Z) of the standard normal is 0
So by definition, the expcted value is
∞
∫ [1/sqrt(2 pi)] x e^-x2/2 dx
-∞
The definition doesn't even use the Cauchy value, it is about the usual definition of (improper) integrals...I believe. Does this integral converge in the usual sense?
I am not totally convinced by the argument
∞
∫ odd function = 0 thus E(Z)=0
-∞
How can I prove more rigorously that E(Z)=0 ?

=======================

For the second integral, what should u and dv be when you do integration by parts? I tried it and ran into some trouble...


Thanks a lot!

 

[kingwinner]

I think the OP had \pi inside the square roots in his integrals?

Yes, you are right! It's the standard normal density

 

[statdad]

"Yes, you are right! It's the standard normal density"

I know that. My comment was made out of confusion, as Halls seemed to be saying that I'd screwed up my latex. It's happened to me before, but I knew the \pi should be there.

I realize your original question does not require the second definition for the integral - I gave in an attempt to explain why the definition you gave is the way it is.

Concerning why

<br /> \int_{-\infty}^\infty f(x) \, dx = 0<br />

when the integrand is odd. First, do this:

<br /> \int_{-\infty}^{\infty} f(x) \, dx = \int_{-\infty}^0 f(x) \, dx + \int_0^\infty f(x) \,dx<br />

Make the following substitution in the first integral.

<br /> w = -x \Rightarrow dw = -dx \Rightarrow dx = -dw<br />

Further, when x = 0 we have w = 0, and as x \to -\infty we have w \to \infty (note the sign change).
The first integral looks like this.

<br /> \int_{\infty}^0 f(-w) \, (-1) dw = \int_{\infty}^0 f(w) dw<br />

(I used the fact that f(-w) = -f(w).)
Here is the final step: use the fact that reversing the limits of integration on an integral changes the sign of the integral.

<br /> \int_{\infty}^0 f(w) \, dw = - \int_0^{\infty} f(w) \,dw<br />

Since the variable of integration is arbitrary, the final integral above could be written with x as well as w. Going back to the start of this,

<br /> \int_{-\infty}^\infty f(x) \, dx = -\int_0^{\infty} f(x) \, dx + \int_0^{\infty} f(x) \, dx = 0<br />

Appealing to the fact that the integrand in E[Z] is an odd function is a rigorous proof of the fact that the expectation is zero. If you want to carry out the integration, think about this question: What is the anti-derivative of this function?

<br /> x e^{{-x^2}/2}<br />

For the second integral, write the integrand as

<br /> x \cdot \left(x e^{{-x^2}/2}\right)<br />

this, with my suggestion for the first integral, should guide you to appropriate choices for the integration by parts.

 

[kingwinner]

Looking back to my calculus textbook, it says that it is entirely possible that
∞
∫ odd function will diverge so it's not always equal to zero.
-∞
The book also provided many counterexamples.

So back to our integral,
∞
∫ [1/sqrt(2 pi)] x e^-x2/2 dx
-∞
Saying that the integrand is an odd function, and thus the integral is 0 doesn't look quite right to me. The integral might not even converge. How can I prove that the integral converges in the first place? Secondly, is it true in general that IF the integral of an odd function converges, it must equal 0?


And the antiderivative of x e^{{-x^2}/2} is -e^{{-x^2}/2} + C



For the second integral, after letting u=x, dv=xe^-x2/2 and integrating by parts, I have to end up integrating e^{{-x^2}/2}, how can I do so?


Thank you!

 

[statdad]

Looking back to my calculus textbook, it says that it is entirely possible that
∞
∫ odd function will diverge so it's not always equal to zero.
-∞
The book also provided many counterexamples.

So back to our integral,
∞
∫ [1/sqrt(2 pi)] x e^-x2/2 dx
-∞
Saying that the integrand is an odd function, and thus the integral is 0 doesn't look quite right to me. The integral might not even converge. How can I prove that the integral converges in the first place? Secondly, is it true in general that IF the integral of an odd function converges, it must equal 0?

It is true that the fact a function is odd does not, by itself, mean an integral of the type
you are working with will converge. Consider g(x) = x. This is an odd function, and

<br /> \int_{-\infty}^\infty x \, dx<br />

does not exist. It is true that if the function f is odd, and
the integral converges, the value of the integral is zero. The demonstration is the one I gave you.
How do you prove the integral exists? At this level begin to evaluate it. If, when you work through the limits you find they exist, the integral converges. If the limits don't exist, the integral doesn't converge.

And the antiderivative of x e^{{-x^2}/2} is -e^{{-x^2}/2} + C

So now use this to compute

<br /> \int_a^0 x e^{{-x^2}/2} \, dx + \int_0^b x e^{{-x^2}/2} \, dx<br />
using your antiderivative, then take limits as a \to -\infty and b \to \infty to finish the calculation of the improper integral.

For the second integral, after letting u=x, dv=xe^-x2/2 and integrating by parts, I have to end up integrating e^{{-x^2}/2}, how can I do so?


Thank you!

You've already stated that part of the integrand is the standard normal density, so you know that

<br /> \frac 1 {\sqrt{2 \pi}} \int_{-\infty}^\infty e^{{-x^2}/2} \, dx = 1<br />

correct? That should allow you to finish the integration.

 

[statdad]

On more comment about showing why this integral

<br /> \int_{-\infty}^\infty x e^{{-x^2}/2} \, dx<br />

converges. I think my comment in my previous post was a little terse.

There are comparison tests for integrals, and their use is similar to the use of comparison tests for infinite series. From what I said in my previous post, if we can show that

<br /> \int_0^\infty x e^{{-x^2}/2} \, dx<br />

converges, we'll be done.

Break this integral into these portions.

<br /> \int_0^\infty x e^{{-x^2}/2} \, dx = \int_0^3 x e^{{-x^2}/2} \, dx + \int_3^\infty x e^{{-x^2}/2} \, dx<br />

The first integral is finite since the region of integration is finite and the integrand is continuous. Since the second integral covers the region x \ge 3 we know

<br /> xe^{{-x^2}/2} \le e^{-x}<br />

on it. Since (easy to verify)

<br /> \int_3^\infty e^{-x} \, dx &lt; \infty<br />

we conclude that

<br /> \int_3^\infty x e^{{-x^2}/2} \, dx &lt; \infty<br />

and we're done.

Similar ideas work for any integral of the form

<br /> \int_{-\infty}^\infty x^n e^{{-x^2}/2} \, dx<br />

for any positive integer n, which shows the normal distribution has finite moments of every order (hence the moment generating function exists)