Evaluating an Improper Integral or Stating That It Is Divergent
An improper integral is an integral in which one or both of the limits extend to infinity or the integrand becomes unbounded at some point within the interval; this article explains how to evaluate such integrals and how to determine when they diverge, providing clear steps, examples, and answers to common questions.
What Is an Improper Integral?
Definition
An improper integral occurs when the interval of integration is infinite or when the function being integrated has a discontinuity that makes the ordinary Riemann integral undefined. In symbols, we write
- (\displaystyle \int_{a}^{\infty} f(x),dx) or (\displaystyle \int_{-\infty}^{b} f(x),dx) for infinite limits,
- (\displaystyle \int_{a}^{b} f(x),dx) where (f(x)) is unbounded at some point (c\in[a,b]).
The value of an improper integral is defined as a limit of proper integrals. If that limit exists and is finite, the integral converges; otherwise it diverges.
Why It Matters
Understanding whether an improper integral converges is essential in probability theory, physics, and engineering, where integrals over infinite domains or with singularities frequently arise. Recognizing divergence early prevents wasted effort on futile calculations.
Types of Improper Integrals
Infinite Limits
When the interval stretches to infinity, we replace the infinite bound with a variable and take a limit:
[ \int_{a}^{\infty} f(x),dx = \lim_{t\to\infty}\int_{a}^{t} f(x),dx. ]
Unbounded Integrand
If (f(x)) blows up at a point (c) inside ([a,b]), we split the integral at (c) and evaluate each side as a limit:
[ \int_{a}^{b} f(x),dx = \lim_{\epsilon\to0^{+}}\left(\int_{a}^{c-\epsilon} f(x),dx + \int_{c+\epsilon}^{b} f(x),dx\right). ]
Both types can be handled with similar limit techniques, but the underlying cause of the problem differs That's the part that actually makes a difference..
Techniques for Evaluation
Limit Process
The core method is to express the improper integral as a limit of proper integrals and then compute the limit. If the limit exists, the integral converges to that value.
Comparison Test
When direct evaluation is cumbersome, we compare the given function to a simpler one whose behavior is known Simple, but easy to overlook..
- If (0 \le f(x) \le g(x)) for all (x \ge a) and (\int_{a}^{\infty} g(x),dx) converges, then (\int_{a}^{\infty} f(x),dx) also converges.
- Conversely, if (0 \le g(x) \le f(x)) and (\int_{a}^{\infty} g(x),dx) diverges, then (\int_{a}^{\infty} f(x),dx) diverges.
p‑Test
A classic result:
[ \int_{1}^{\infty} \frac{1}{x^{p}},dx \begin{cases} \text{converges} & \text{if } p>1,\[4pt] \text{diverges} & \text{if } p\le 1. \end{cases} ]
This test is especially handy for integrals involving powers of (x) It's one of those things that adds up..
Common Examples
Example 1: (\displaystyle \int_{1}^{\infty} \frac{1}{x^{2}},dx) Apply the limit process:
[ \int_{1}^{\infty} \frac{1}{x^{2}},dx = \lim_{t\to\infty}\int_{1}^{t} x^{-2},dx = \lim_{t\to\infty}\left[ -\frac{1}{x}\right]{1}^{t} = \lim{t\to\infty}\left(-\frac{1}{t}+1\right)=1. ]
Since the limit is finite, the integral converges to (1) Easy to understand, harder to ignore. Still holds up..
Example 2: (\displaystyle \int_{0}^{1} \frac{1}{\sqrt{x}},dx)
Here the integrand is unbounded at (x=0). Write it as a limit:
[ \int_{0}^{1} x^{-1/2},dx = \lim_{\epsilon\to0^{+}}\int_{\epsilon}^{1} x^{-1/2},dx = \lim_{\epsilon\to0^{+}}\left[2\sqrt{x}\right]_{\epsilon}^{1} = 2-2\sqrt{\epsilon}\xrightarrow[\epsilon\to0^{+}]{}2. ]
Thus the integral converges to (2).
Example 3: (\displaystyle \int_{0}^{\infty} e^{-x},dx)
Evaluate using a limit:
[ \int_{0}^{\infty} e^{-x},dx = \lim_{t\to\infty}\int_{0}^{t} e^{-x},dx = \lim_{t\to\infty}\left[-e^{-x}\right]{0}^{t} = \lim{t\to\infty}\left
[ \lim_{t\to\infty}\left(-e^{-t}+1\right)=1, ]
so the integral converges to (1) Worth keeping that in mind. No workaround needed..
Further Evaluation Strategies
While the limit definition and comparison tests cover many cases, a few additional tools are often useful when the integrand has a more involved structure Simple, but easy to overlook. Practical, not theoretical..
1. Integration by Parts for Improper Integrals
If the integrand can be expressed as a product (u(x)v'(x)) where one factor simplifies under differentiation and the other has a known antiderivative, integration by parts can turn a difficult limit into a more tractable one:
[ \int_{a}^{\infty} u(x)v'(x),dx = \Bigl[u(x)v(x)\Bigr]{a}^{\infty} - \int{a}^{\infty} u'(x)v(x),dx . ]
Key point: Both boundary terms (\displaystyle\lim_{x\to\infty}u(x)v(x)) and (\displaystyle\lim_{x\to a^+}u(x)v(x)) must exist (finite) for the manipulation to be legitimate And that's really what it comes down to..
Example: Evaluate (\displaystyle \int_{1}^{\infty} \frac{\ln x}{x^{2}},dx).
Take (u(x)=\ln x) (\Rightarrow) (u'(x)=\frac1x), and (v'(x)=x^{-2}) (\Rightarrow) (v(x)=-x^{-1}).
[ \begin{aligned} \int_{1}^{\infty} \frac{\ln x}{x^{2}},dx &= \Bigl[-\frac{\ln x}{x}\Bigr]{1}^{\infty} +\int{1}^{\infty}\frac{1}{x}\cdot\frac{1}{x},dx \ &= \bigl(0-(-0)\bigr)+\int_{1}^{\infty}x^{-2},dx = 0+1=1 . \end{aligned} ]
The boundary term vanishes because (\displaystyle\lim_{x\to\infty}\frac{\ln x}{x}=0) Turns out it matters..
2. Substitution (Change of Variables)
A judicious substitution can convert an improper integral into a standard form whose convergence is already known.
Example: (\displaystyle \int_{0}^{\infty} \frac{dx}{1+x^{3}}).
Let (x = t^{1/3}) ((t = x^{3}), (dx = \frac{1}{3}t^{-2/3}dt)):
[ \int_{0}^{\infty} \frac{dx}{1+x^{3}} = \int_{0}^{\infty} \frac{\frac{1}{3}t^{-2/3}}{1+t},dt = \frac13\int_{0}^{\infty} \frac{t^{-2/3}}{1+t},dt . ]
The integrand behaves like (t^{-2/3}) near (0) (integrable because (\frac23<1)) and like (t^{-5/3}) as (t\to\infty) (integrable because exponent (>1)). Hence the original integral converges; in fact, it evaluates to (\displaystyle \frac{2\pi}{3\sqrt{3}}) after applying the Beta‑function identity Simple, but easy to overlook. Nothing fancy..
3. Dirichlet and Abel Tests
These tests are the integral analogues of the series tests and are especially handy for oscillatory integrals such as those involving (\sin x) or (\cos x).
Dirichlet Test (Improper Integrals).
If
- (F(x)=\displaystyle\int_{a}^{x} f(t),dt) is bounded for all (x\ge a), and
- (g(x)) is monotonic decreasing to (0) as (x\to\infty),
then (\displaystyle\int_{a}^{\infty} f(x)g(x),dx) converges.
Example: (\displaystyle\int_{1}^{\infty}\frac{\sin x}{x},dx).
Here (f(x)=\sin x) has a bounded primitive (F(x)=-\cos x), and (g(x)=1/x) decreases to (0). By Dirichlet, the integral converges (its value is the well‑known (\frac{\pi}{2}) – the sine integral at infinity) That's the whole idea..
Abel Test.
If (\displaystyle\int_{a}^{\infty} f(x),dx) converges and (g(x)) is bounded and monotone, then (\displaystyle\int_{a}^{\infty} f(x)g(x),dx) also converges. This is useful when a convergent integral is multiplied by a bounded oscillatory factor.
4. Use of Special Functions
Sometimes the antiderivative cannot be expressed in elementary terms, yet convergence can be decided via known properties of special functions (Gamma, Beta, error function, etc.) It's one of those things that adds up. That alone is useful..
Example: (\displaystyle\int_{0}^{\infty} x^{\alpha-1}e^{-\beta x},dx) with (\alpha,\beta>0).
Recognizing the definition of the Gamma function,
[ \Gamma(\alpha)=\int_{0}^{\infty} x^{\alpha-1}e^{-x},dx, ]
we obtain
[ \int_{0}^{\infty} x^{\alpha-1}e^{-\beta x},dx = \beta^{-\alpha}\Gamma(\alpha), ]
which is finite for every (\alpha>0). Hence the integral converges for all positive (\alpha,\beta) Practical, not theoretical..
Summary of Convergence Criteria
| Situation | Test / Criterion | Condition for Convergence |
|---|---|---|
| Infinite interval, non‑negative (f) | Comparison Test | (f(x)\le g(x)) and (\int_a^\infty g) converges |
| Infinite interval, non‑negative (f) | (p)-Test | (\int_a^\infty x^{-p}) converges iff (p>1) |
| Unbounded integrand at interior point | Limit split | Both one‑sided limits exist and are finite |
| Oscillatory factor (\sin, \cos) | Dirichlet | Primitive of oscillatory part bounded, other factor monotone (\to0) |
| Product of convergent integral and bounded monotone factor | Abel | (\int f) converges, (g) bounded & monotone |
| General product (\displaystyle u,v') | Integration by parts | Boundary terms finite, resulting integral easier |
| Complex algebraic forms | Substitution / Beta‑Gamma | Transform to known convergent integral |
Concluding Remarks
Improper integrals extend the reach of the definite integral to situations where either the domain stretches without bound or the integrand misbehaves at some point. The unifying theme is recasting the problematic integral as a limit of proper ones and then applying a toolbox of convergence tests—comparison, (p)-test, Dirichlet, Abel, and the classical techniques of substitution and integration by parts Simple, but easy to overlook..
A solid grasp of these methods not only tells us whether an integral converges but often yields its exact value, especially when the limit can be evaluated analytically or expressed via special functions. In practice, the workflow typically follows these steps:
- Identify the source of impropriety (infinite bound or singularity).
- Rewrite the integral as a limit of proper integrals.
- Choose the simplest evaluation route: direct antiderivative, comparison, or a convergence test.
- Compute the limit; if it exists finitely, the integral converges to that value; otherwise, it diverges.
With these principles, the seemingly “improper’’ becomes perfectly manageable, allowing us to handle a wide variety of problems in analysis, physics, and engineering.
