TOPICS
Search

Improper Integral


An improper integral is a definite integral defined by a limit of proper integrals when the interval is unbounded or the integrand is unbounded near an endpoint or an interior point. The integrand must be Riemann integrable on the truncated intervals. The improper integral converges when all required limits exist and are finite. At an interior singularity, the two one-sided limits must exist separately (Hunter 2014, pp. 257-259).

The change of variables theorem can remove an integrable endpoint singularity or replace an infinite interval by a finite one. It preserves the corresponding improper limit, so it does not turn a divergent improper integral into a convergent one.

For example, the integral

 int_1^inftyx^(-2)dx
(1)

is an improper integral. Some such integrals can sometimes be computed by replacing infinite limits with finite values

 int_1^yx^(-2)dx=1-1/y
(2)

and then taking the limit as y->infty,

int_1^inftyx^(-2)dx=lim_(y->infty)int_1^yx^(-2)dx
(3)
=lim_(y->infty)1-1/y
(4)
=1.
(5)

Improper integrals of the form

 int_a^bf(x)dx
(6)

with one infinite limit can be expressed on finite intervals by transforming both the integrand and the limits. For the reciprocal substitution, assume that a>0 when b=infty, or that b<0 when a=-infty, so the interval does not cross zero. Let

t=1/x
(7)
dt=-(dx)/(x^2)
(8)
dx=-x^2dt
(9)
=-(dt)/(t^2),
(10)

and

int_a^bf(x)dx=-int_(1/a)^(1/b)1/(t^2)f(1/t)dt
(11)
=int_(1/b)^(1/a)1/(t^2)f(1/t)dt.
(12)

These identities are interpreted using the corresponding one-sided limits at zero. If |f(x)|<=C/x^2 for sufficiently large |x| and some C>0, the transformed integrand is bounded near zero.

For finite a<b and lower-endpoint behavior proportional to (x-a)^(-gamma) with 0<=gamma<1, let

x=t^(1/(1-gamma))+a
(13)
dx=1/(1-gamma)t^(1/(1-gamma)-1)dt
(14)
=1/(1-gamma)t^([1-(1-gamma)]/(1-gamma))dt
(15)
=1/(1-gamma)t^(gamma/(1-gamma))dt
(16)
t=(x-a)^(1-gamma),
(17)

and

 int_a^bf(x)dx=1/(1-gamma)int_0^((b-a)^(1-gamma))t^(gamma/(1-gamma))f(t^(1/(1-gamma))+a)dt.
(18)

For upper-endpoint behavior proportional to (b-x)^(-gamma) with 0<=gamma<1, let

x=b-t^(1/(1-gamma))
(19)
dx=-1/(1-gamma)t^(gamma/(1-gamma))dt
(20)
t=(b-x)^(1-gamma),
(21)

and

int_a^bf(x)dx=1/(1-gamma)×int_0^((b-a)^(1-gamma))t^(gamma/(1-gamma))f(b-t^(1/(1-gamma)))dt.
(22)

For an integrand that decays exponentially as x->infty, let

t=e^(-x)
(23)
dt=-e^(-x)dx
(24)
x=-lnt,
(25)

and

 int_a^inftyf(x)dx=int_0^(e^(-a))f(-lnt)(dt)/t.
(26)

See also

Definite Integral, Integral, Proper Integral, Singular Integral

Explore with Wolfram|Alpha

References

Hunter, J. K. An Introduction to Real Analysis. Davis, CA: University of California, 2014. https://www.math.ucdavis.edu/~hunter/intro_analysis_pdf/intro_analysis.pdf.Jeffreys, H. and Jeffreys, B. S. "Infinite and Improper Integrals." §1.104 in Methods of Mathematical Physics, 3rd ed. Cambridge, England: Cambridge University Press, pp. 33-34, 1988.Press, W. H.; Flannery, B. P.; Teukolsky, S. A.; and Vetterling, W. T. "Improper Integrals." §4.4 in Numerical Recipes in FORTRAN: The Art of Scientific Computing, 2nd ed. Cambridge, England: Cambridge University Press, pp. 135-140, 1992.

Referenced on Wolfram|Alpha

Improper Integral

Cite this as:

Weisstein, Eric W. "Improper Integral." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/ImproperIntegral.html

Subject classifications