Evaluating Improper Integrals - Homework Statement

  • Thread starter kingwinner
  • Start date
  • Tags
    Integrals
In summary: It is true that if the integral of an odd function converges, it must be zero. This is because the integral from -a to a is equal to the integral from -a to 0 plus the integral from 0 to a. Since the function is odd, these two integrals are equal, and so their sum is 2 times one of them. But this must be equal to the integral from -a to a, and so it must be zero if it converges.To show that the integral converges, you can use the normal distribution's symmetry to reduce the integral to half its size. Specifically, you can make the substitution u=-x in the integral from 0 to infinity, and then double the result to
  • #1
kingwinner
1,270
0

Homework Statement


Evaluate


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


∫ [1/sqrt(2 pi)] x2 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.
Code:
∞
∫ 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!
 
Physics news on Phys.org
  • #2
Suppose you had this integral.

[tex]
\int_{=\infty}^\infty \frac 1 {1 + x^2} \, dx
[/tex]

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

Step 1.
[tex]
\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
[/tex]

You would then integrate each one of these, getting one expression involving [tex] a [/tex], another [tex] b [/tex]. Calculating the two limits (as [tex] a \to -\infty [/tex] and
as [tex] b \to \infty [/tex]) 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

[tex]
\int_{-\infty}^\infty f(x) \, dx = \lim_{a \to \infty} \int_{-a}^a f(x) \, dx
[/tex]

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

For your integrals:

try integration by substitution on
[tex]
\frac{1}{\sqrt{2 \pi}} \int_{-\infty}^\infty x e^{{-x^2}/2} \, dx
[/tex]

and integration by parts on

[tex]
\frac 1 {\sqrt{2 \pi}} \int_{-\infty}^\infty x^2 e^{{-x^2}/2} \, dx
[/tex]

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.
 
Last edited:
  • #3
LaTex error? Those integrals should be
[tex]\frac{1}{\sqrt{2}\pi}\int_{-\infty}^\infty xe^{-x^2}dx[/tex]
and
[tex]\frac{1}{\sqrt{2}\pi}\int_{-\infty}^\infty x^2e^{-x^2}dx[/tex]

Thanks, statdad.
 
Last edited by a moderator:
  • #4
I think the OP had [tex] \pi [/tex] inside the square roots in his integrals?
 
  • #5
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!
 
  • #6
statdad said:
I think the OP had [tex] \pi [/tex] inside the square roots in his integrals?

Yes, you are right! It's the standard normal density
 
  • #7
"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 [tex] \pi [/tex] 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

[tex]
\int_{-\infty}^\infty f(x) \, dx = 0
[/tex]

when the integrand is odd. First, do this:

[tex]
\int_{-\infty}^{\infty} f(x) \, dx = \int_{-\infty}^0 f(x) \, dx + \int_0^\infty f(x) \,dx
[/tex]

Make the following substitution in the first integral.

[tex]
w = -x \Rightarrow dw = -dx \Rightarrow dx = -dw
[/tex]

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

[tex]
\int_{\infty}^0 f(-w) \, (-1) dw = \int_{\infty}^0 f(w) dw
[/tex]

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

[tex]
\int_{\infty}^0 f(w) \, dw = - \int_0^{\infty} f(w) \,dw
[/tex]

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

[tex]
\int_{-\infty}^\infty f(x) \, dx = -\int_0^{\infty} f(x) \, dx + \int_0^{\infty} f(x) \, dx = 0
[/tex]

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?

[tex]
x e^{{-x^2}/2}
[/tex]

For the second integral, write the integrand as

[tex]
x \cdot \left(x e^{{-x^2}/2}\right)
[/tex]

this, with my suggestion for the first integral, should guide you to appropriate choices for the integration by parts.
 
  • #8
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 [tex]x e^{{-x^2}/2}[/tex] is [tex]-e^{{-x^2}/2} + C[/tex]



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


Thank you!
 
  • #9
kingwinner said:
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 [tex] g(x) = x [/tex]. This is an odd function, and

[tex]
\int_{-\infty}^\infty x \, dx
[/tex]

does not exist. It is true that if the function [tex] f [/tex] 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 [tex]x e^{{-x^2}/2}[/tex] is [tex]-e^{{-x^2}/2} + C[/tex]
So now use this to compute

[tex]
\int_a^0 x e^{{-x^2}/2} \, dx + \int_0^b x e^{{-x^2}/2} \, dx
[/tex]
using your antiderivative, then take limits as [tex] a \to -\infty [/tex] and [tex] b \to \infty [/tex] 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 [tex]e^{{-x^2}/2}[/tex], 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

[tex]
\frac 1 {\sqrt{2 \pi}} \int_{-\infty}^\infty e^{{-x^2}/2} \, dx = 1
[/tex]

correct? That should allow you to finish the integration.
 
  • #10
On more comment about showing why this integral

[tex]
\int_{-\infty}^\infty x e^{{-x^2}/2} \, dx
[/tex]

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

[tex]
\int_0^\infty x e^{{-x^2}/2} \, dx
[/tex]

converges, we'll be done.

Break this integral into these portions.

[tex]
\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
[/tex]

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

[tex]
xe^{{-x^2}/2} \le e^{-x}
[/tex]

on it. Since (easy to verify)

[tex]
\int_3^\infty e^{-x} \, dx < \infty
[/tex]

we conclude that

[tex]
\int_3^\infty x e^{{-x^2}/2} \, dx < \infty
[/tex]

and we're done.

Similar ideas work for any integral of the form

[tex]
\int_{-\infty}^\infty x^n e^{{-x^2}/2} \, dx
[/tex]

for any positive integer [tex] n [/tex], which shows the normal distribution has finite moments of every order (hence the moment generating function exists)
 
Last edited:

1. What are improper integrals?

Improper integrals are integrals that cannot be evaluated using the basic rules of integration because they involve functions that are undefined or infinite in the interval of integration.

2. How do you determine if an integral is improper?

An integral is improper if one or both of the following conditions are met:

  • The interval of integration is infinite
  • The integrand has a discontinuity within the interval of integration

3. How do you evaluate improper integrals?

To evaluate an improper integral, you must first break it into smaller integrals and then evaluate each integral separately. This can be done by taking the limit as the upper or lower bound of integration approaches infinity or the point of discontinuity.

4. What are the two types of improper integrals?

The two types of improper integrals are Type 1 and Type 2. Type 1 improper integrals have an infinite interval of integration, while Type 2 improper integrals have a discontinuity within the interval of integration.

5. What is the purpose of evaluating improper integrals?

Evaluating improper integrals allows us to find the exact value of a function over an infinite interval or at a point of discontinuity. This is important in many areas of science, such as physics and engineering, where functions may have infinite or discontinuous behavior.

Similar threads

  • Calculus and Beyond Homework Help
Replies
7
Views
934
  • Calculus and Beyond Homework Help
Replies
3
Views
276
  • Calculus and Beyond Homework Help
Replies
10
Views
444
  • Calculus and Beyond Homework Help
Replies
3
Views
346
  • Calculus and Beyond Homework Help
Replies
9
Views
759
  • Calculus and Beyond Homework Help
Replies
2
Views
423
  • Calculus and Beyond Homework Help
Replies
3
Views
583
  • Calculus and Beyond Homework Help
Replies
1
Views
287
  • Calculus and Beyond Homework Help
Replies
2
Views
842
  • Calculus and Beyond Homework Help
Replies
5
Views
797
Back
Top