Improper integral convergence and implications of infinite limits

Click For Summary
SUMMARY

The discussion centers on the convergence of the improper integral \(\int_{1}^{\infty} f(x)dx\) for a continuous function \(f\) on the interval \([1, \infty)\) where \(\lim_{x \to \infty} f(x) = \alpha\). It is established that if the integral converges, then \(\alpha\) must be 0. The participants explore the epsilon-delta definition of limits and the implications of assuming \(\alpha \neq 0\), leading to a contradiction in the context of integral convergence.

PREREQUISITES
  • Understanding of improper integrals and their definitions
  • Familiarity with the epsilon-delta definition of limits
  • Knowledge of convergence criteria for integrals
  • Basic calculus concepts, particularly limits and continuity
NEXT STEPS
  • Study the properties of improper integrals in detail
  • Learn about the epsilon-delta definition of limits in calculus
  • Research the implications of limits at infinity on function behavior
  • Explore examples of continuous functions and their integral convergence
USEFUL FOR

Students of calculus, mathematicians interested in analysis, and educators teaching improper integrals and limits.

Szichedelic
Messages
28
Reaction score
0

Homework Statement



Let f be a continuous function on [1,∞) such that [itex]\lim_{x\rightarrow ∞}[/itex]f(x)=α. Show that if the integral [itex]\int^{∞}_{1} f(x)dx[/itex] converges, then α must be 0.

Homework Equations


Definition of an Improper Integral
Let f be a continuous function on an interval [a,∞). then we define [itex]\int^{∞}_{a} f(x)dx[/itex] to be [itex]\lim_{b \rightarrow ∞}\int^{b}_{a} f(x)dx[/itex] if this limit exists. In this case, the integral is said to be convergent.

The Attempt at a Solution



My attempt at this solution was first to start with the epsilon-delta version of a limit of a function. That is, since [itex]\lim_{x\rightarrow ∞}[/itex]f(x)=α, then [itex]\forall \epsilon[/itex]>0 with [itex]x_{0}\in[/itex] [1,∞) [itex]\exists~ \delta[/itex]>0 s.t. |f(x) - α | whenever |x-[itex]x_{0}[/itex]|<[itex]\delta[/itex]. Then, I assumed that α was not equal to zero. From there I split up my inequality so that

-ε<f(x) - α< ε [itex]\Rightarrow[/itex] α - ε<f(x)< ε + α [itex]\Rightarrow[/itex] [itex]\int^{∞}_{1}[/itex](α - ε)dx < [itex]\int^{∞}_{1} f(x)dx[/itex] < [itex]\int^{∞}_{1} (α + ε)dx[/itex]

From here, I am getting stuck in my logic and I think that perhaps this is not the route I want to go. I would appreciate it if I could be offered any hints on where to go from here, or on whether or not I should start over. Thanks!
 
Last edited by a moderator:
Physics news on Phys.org
Hi Szichedelic! :smile:
Szichedelic said:
My attempt at this solution was first to start with the epsilon-delta version of a limit of a function. That is, since lim[itex]_{x\rightarrow∞}[/itex]f(x)=α, then [itex]\forall[/itex] [itex]\epsilon[/itex]>0 with x[itex]_{o}[/itex] [itex]\in[/itex] [1,∞) [itex]\exists[/itex] [itex]\delta[/itex]>0 s.t. |f(x) - α | whenever |x-x[itex]_{o}[/itex]|<[itex]\delta[/itex].

No, for ∞, your δ is a number "near ∞" …

we usually use N instead, and we look for an N such that x > N => |f(x) - α| < ε :wink:
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
Replies
7
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 105 ·
4
Replies
105
Views
11K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
6
Views
3K
Replies
19
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
2
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K