Show limit of improper integral is 0

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
3 replies · 2K views
tjkubo
Messages
41
Reaction score
0

Homework Statement


Suppose [itex]f[/itex] is real-valued, bounded, continuous, and non-negative and suppose [itex]\int_x^\infty f(t)\,dt[/itex] is convergent (is finite) for all [itex]x[/itex]. Is it true that
[tex]\lim_{x\rightarrow \infty} {\int_x^\infty f(t)\,dt} = 0 \ ?[/tex]

Homework Equations



The Attempt at a Solution


I can't think of a counterexample and it seems true intuitively, so I'm trying to prove it's true.
Given [itex]\epsilon >0[/itex], I want to show there is [itex]M[/itex] such that
[tex]\int_M^\infty f(t)\,dt < \epsilon \ .[/tex]
I think [itex]\lim_{t\rightarrow \infty} {f(t)} = 0[/itex] although I am not sure how to prove this. Specifically, how would you prove that the improper integral would not exist if this limit did not exist?
I'm not sure what to do at this point.
 
Physics news on Phys.org
tjkubo said:

Homework Statement


Suppose [itex]f[/itex] is real-valued, bounded, continuous, and non-negative and suppose [itex]\int_x^\infty f(t)\,dt[/itex] is convergent (is finite) for all [itex]x[/itex]. Is it true that
[tex]\lim_{x\rightarrow \infty} {\int_x^\infty f(t)\,dt} = 0 \ ?[/tex]

Homework Equations



The Attempt at a Solution


I can't think of a counterexample and it seems true intuitively, so I'm trying to prove it's true.
Given [itex]\epsilon >0[/itex], I want to show there is [itex]M[/itex] such that
[tex]\int_M^\infty f(t)\,dt < \epsilon \ .[/tex]
I think [itex]\lim_{t\rightarrow \infty} {f(t)} = 0[/itex] although I am not sure how to prove this. Specifically, how would you prove that the improper integral would not exist if this limit did not exist?
I'm not sure what to do at this point.

Try looking at the dominated convergence theorem.
 
I don't know how that would help since the set we're integrating over is changing with the limit.
 
Ah, so you can use that theorem??

Note that

[tex]\int_x^{+\infty}{f(t)dt}=\int_{-\infty}^{+\infty}{I_{[x,+\infty[}(t)f(t)dt}[/tex]

with

[tex]I_{[x,+\infty[}:\mathbb{R}\rightarrow \mathbb{R}:t\rightarrow \left\{\begin{array}{cc} 0 & \text{if}~t<x\\ 1 & \text{if}~t\geq x \end{array}\right.[/tex]

So what does the dominated convergence theorem tell you?