logo

Definition of Improper Integrals 📂Analysis

Definition of Improper Integrals

Definition1

Assume that the function ff is integrable over every interval [a,b][a,b] with fixed aa and b>ab>a. If the following limit exists, then it is defined as the improper integral of ff.

af(x)dx=limbabf(x)dx \int _{a}^{\infty} f(x) dx = \lim \limits_{b \to \infty} \int _{a}^{b} f(x)dx

In this case, if the integration on the left-hand side converges, and if replacing ff with f\left| f \right| the limit still exists, it is said to converge absolutely.

Explanation

Regarding improper integrals, there is a theorem called the Integral Test.

Theorem

Assume that the function ff is f(x)0f(x) \ge 0 and is monotonically decreasing on the interval [1,)[1, \infty). Then the following holds.

1f(x)dx converges    n=1f(n) converges \int_{1}^{\infty}f(x)dx \text{ converges} \iff \sum\limits_{n=1}^{\infty}f(n) \text{ converges}


  1. Walter Rudin, Principles of Mathematical Analysis (3rd Edition, 1976), p138 ↩︎