An improper integral of the first kind. The integral may need to be defined on an unbounded domain.
An improper Riemann integral of the second kind. The integral may fail to exist because of a
vertical asymptote in the function.
Part of a series about

Calculus




Definitions


Integration by








In calculus, an improper integral is the limit of a definite integral as an endpoint of the interval(s) of integration approaches either a specified real number or \infty or \infty or, in some cases, as both endpoints approach limits. Such an integral is often written symbolically just like a standard definite integral, perhaps with infinity as a limit of integration.
Specifically, an improper integral is a limit of the form

\lim_{b\to\infty} \int_a^bf(x)\, \mathrm{d}x, \qquad \lim_{a\to \infty} \int_a^bf(x)\, \mathrm{d}x,
or of the form

\lim_{c\to b^} \int_a^cf(x)\, \mathrm{d}x,\quad \lim_{c\to a^+} \int_c^bf(x)\, \mathrm{d}x,
in which one takes a limit in one or the other (or sometimes both) endpoints (Apostol 1967, §10.23). When a function is undefined at finitely many interior points of an interval, the improper integral over the interval is defined as the sum of the improper integrals over the intervals between these points.
By abuse of notation, improper integrals are often written symbolically just like standard definite integrals, perhaps with infinity among the limits of integration. When the definite integral exists (in the sense of either the Riemann integral or the more advanced Lebesgue integral), this ambiguity is resolved as both the proper and improper integral will coincide in value.
Often one is able to compute values for improper integrals, even when the function is not integrable in the conventional sense (as a Riemann integral, for instance) because of a singularity in the function, or poor behavior at infinity. Such integrals are often termed "properly improper", as they cannot be computed as a proper integral.
Contents

Examples 1

Convergence of the integral 2

Types of integrals 3

Improper Riemann integrals and Lebesgue integrals 4

Singularities 5

Cauchy principal value 6

Summability 7

Multivariable improper integrals 8

Improper integrals over arbitrary domains 8.1

Improper integrals with singularities 8.2

Functions with both positive and negative values 8.3

Notes 9

Bibliography 10

External links 11
Examples
The original definition of the Riemann integral does not apply to a function such as 1/{x^2} on the interval [1, ∞), because in this case the domain of integration is unbounded. However, the Riemann integral can often be extended by continuity, by defining the improper integral instead as a limit

\int_1^\infty \frac{1}{x^2}\,\mathrm{d}x=\lim_{b\to\infty} \int_1^b\frac{1}{x^2}\,\mathrm{d}x = \lim_{b\to\infty} \left(\frac{1}{b} + \frac{1}{1}\right) = 1.
The narrow definition of the Riemann integral also does not cover the function 1/\sqrt{x} on the interval [0, 1]. The problem here is that the integrand is unbounded in the domain of integration (the definition requires that both the domain of integration and the integrand be bounded). However, the improper integral does exist if understood as the limit

\int_0^1 \frac{1}{\sqrt{x}}\,\mathrm{d}x=\lim_{a\to 0^+}\int_a^1\frac{1}{\sqrt{x}}\, \mathrm{d}x = \lim_{a\to 0^+}(22\sqrt{a})=2.
Convergence of the integral
An improper integral converges if the limit defining it exists. Thus for example one says that the improper integral

\lim_{t\to\infty} \int_a^t f(x)\, \mathrm{d}x
exists and is equal to L if the integrals under the limit exist for all sufficiently large t, and the value of the limit is equal to L.
It is also possible for an improper integral to diverge to infinity. In that case, one may assign the value of ∞ (or −∞) to the integral. For instance

\lim_{b\to\infty}\int_1^b \frac{1}{x}\,\mathrm{d}x = \infty.
However, other improper integrals may simply diverge in no particular direction, such as

\lim_{b\to\infty}\int_1^b x\sin x\, \mathrm{d}x,
which does not exist, even as an extended real number. This is called divergence by oscillation.
A limitation of the technique of improper integration is that the limit must be taken with respect to one endpoint at a time. Thus, for instance, an improper integral of the form

\int_{\infty}^\infty f(x)\, \mathrm{d}x
can be defined by taking two separate limits; to wit

\int_{\infty}^\infty f(x)\, \mathrm{d}x = \lim_{a\to \infty} \lim_{b\to \infty} \int_a^bf(x) \, \mathrm{d}x
provided the double limit is finite. It can also be defined as a pair of distinct improper integrals of the first kind:

\lim_{a\to \infty}\int_a^cf(x)\, \mathrm{d}x + \lim_{b\to \infty} \int_c^b f(x) \, \mathrm{d}x
where c is any convenient point at which to start the integration. This definition also applies when one of these integrals is infinite, or both if they have the same sign.
An example of an improper integrals where both endpoints are infinite is the Gaussian integral \int_{\infty}^\infty e^{x^2}\,\mathrm{d}x = \sqrt{\pi}. An example which evaluates to infinity is \int_{\infty}^\infty e^{x}\,\mathrm{d}x. But one cannot even define other integrals of this kind unambiguously, such as \int_{\infty}^\infty x\,\mathrm{d}x, since the double limit is infinite and the twointegral method

\lim_{a\to \infty}\int_a^cx\,\mathrm{d}x + \lim_{b\to\infty} \int_c^b x\,\mathrm{d}x
yields \infty\infty. In this case, one can however define an improper integral in the sense of Cauchy principal value:

\operatorname{p.v.} \int_{\infty}^\infty x\,\mathrm{d}x = \lim_{b\to\infty}\int_{b}^b x \, \mathrm{d}x = 0.
The questions one must address in determining an improper integral are:

Does the limit exist?

Can the limit be computed?
The first question is an issue of mathematical analysis. The second one can be addressed by calculus techniques, but also in some cases by contour integration, Fourier transforms and other more advanced methods.
Types of integrals
There is more than one theory of integration. From the point of view of calculus, the Riemann integral theory is usually assumed as the default theory. In using improper integrals, it can matter which integration theory is in play.

For the Riemann integral (or the Darboux integral, which is equivalent to it), improper integration is necessary both for unbounded intervals (since one cannot divide the interval into finitely many subintervals of finite length) and for unbounded functions with finite integral (since, supposing it is unbounded above, then the upper integral will be infinite, but the lower integral will be finite).

The Lebesgue integral deals differently with unbounded domains and unbounded functions, so that often an integral which only exists as an improper Riemann integral will exist as a (proper) Lebesgue integral, such as \int_1^\infty \frac{1}{x^2}\,\mathrm{d}x. On the other hand, there are also integrals that have an improper Riemann integral but do not have a (proper) Lebesgue integral, such as \int_0^\infty \frac{\sin x}{x}\,\mathrm{d}x. The Lebesgue theory does not see this as a deficiency: from the point of view of measure theory, \int_0^\infty \frac{\sin x}{x}\,\mathrm{d}x = \infty  \infty and cannot be defined satisfactorily. In some situations, however, it may be convenient to employ improper Lebesgue integrals as is the case, for instance, when defining the Cauchy principal value. The Lebesgue integral is more or less essential in the theoretical treatment of the Fourier transform, with pervasive use of integrals over the whole real line.

For the Henstock–Kurzweil integral, improper integration is not necessary, and this is seen as a strength of the theory: it encompasses all Lebesgue integrable and improper Riemann integrable functions.
Improper Riemann integrals and Lebesgue integrals
Figure 1
Figure 2
In some cases, the integral

\int_a^c f(x)\,\mathrm{d}x\,
can be defined as an integral (a Lebesgue integral, for instance) without reference to the limit

\lim_{b\to c^}\int_a^b f(x)\,\mathrm{d}x\,
but cannot otherwise be conveniently computed. This often happens when the function f being integrated from a to c has a vertical asymptote at c, or if c = ∞ (see Figures 1 and 2). In such cases, the improper Riemann integral allows one to calculate the Lebesgue integral of the function. Specifically, the following theorem holds (Apostol 1974, Theorem 10.33):

If a function f is Riemann integrable on [a,b] for every b ≥ a, and the partial integrals


\int_a^bf(x)\,\mathrm{d}x

are bounded as b → ∞, then the improper Riemann integrals

\int_a^\infty f(x)\, \mathrm{d}x,\quad\mbox{and}\ \int_a^\infty f(x)\, \mathrm{d}x

both exist. Furthermore, f is Lebesgue integrable on [a, ∞), and its Lebesgue integral is equal to its improper Riemann integral.
For example, the integral

\int_0^\infty\frac{\mathrm{d}x}{1+x^2}
can be interpreted alternatively as the improper integral

\lim_{b\to\infty}\int_0^b\frac{\mathrm{d}x}{1+x^2}=\lim_{b\to\infty}\arctan{b}=\frac{\pi}{2},
or it may be interpreted instead as a Lebesgue integral over the set (0, ∞). Since both of these kinds of integral agree, one is free to choose the first method to calculate the value of the integral, even if one ultimately wishes to regard it as a Lebesgue integral. Thus improper integrals are clearly useful tools for obtaining the actual values of integrals.
In other cases, however, a Lebesgue integral between finite endpoints may not even be defined, because the integrals of the positive and negative parts of f are both infinite, but the improper Riemann integral may still exist. Such cases are "properly improper" integrals, i.e. their values cannot be defined except as such limits. For example,

\int_0^\infty\frac{\sin(x)}{x}\,\mathrm{d}x
cannot be interpreted as a Lebesgue integral, since

\int_0^\infty\left\frac{\sin(x)}{x}\right\,\mathrm{d}x=\infty.
But f(x)=\sin(x)/x is nevertheless integrable between any two finite endpoints, and its integral between 0 and ∞ is usually understood as the limit of the integral:

\int_0^\infty\frac{\sin(x)}{x}\,\mathrm{d}x=\lim_{b\rightarrow\infty}\int_0^b\frac{\sin(x)}{x}\,\mathrm{d}x=\frac{\pi}{2}.
Singularities
One can speak of the singularities of an improper integral, meaning those points of the extended real number line at which limits are used.
Cauchy principal value
Consider the difference in values of two limits:

\lim_{a\rightarrow 0+}\left(\int_{1}^{a}\frac{\mathrm{d}x}{x}+\int_a^1\frac{\mathrm{d}x}{x}\right)=0,

\lim_{a\rightarrow 0+}\left(\int_{1}^{a}\frac{\mathrm{d}x}{x}+\int_{2a}^1\frac{\mathrm{d}x}{x}\right)=\ln 2.
The former is the Cauchy principal value of the otherwise illdefined expression

\int_{1}^1\frac{\mathrm{d}x}{x}{\ } \left(\mbox{which}\ \mbox{gives}\ \infty+\infty\right).
Similarly, we have

\lim_{a\rightarrow\infty}\int_{a}^a\frac{2x\,\mathrm{d}x}{x^2+1}=0,
but

\lim_{a\rightarrow\infty}\int_{2a}^a\frac{2x\,\mathrm{d}x}{x^2+1}=\ln 4.
The former is the principal value of the otherwise illdefined expression

\int_{\infty}^\infty\frac{2x\,\mathrm{d}x}{x^2+1}{\ } \left(\mbox{which}\ \mbox{gives}\ \infty+\infty\right).
All of the above limits are cases of the indeterminate form ∞ − ∞.
These pathologies do not affect "Lebesgueintegrable" functions, that is, functions the integrals of whose absolute values are finite.
Summability
An indefinite integral may diverge in the sense that the limit defining it may not exist. In this case, there are more sophisticated definitions of the limit which can produce a convergent value for the improper integral. These are called summability methods.
One summability method, popular in Fourier analysis, is that of Cesàro summation. The integral

\int_0^\infty f(x)\,\mathrm{d}x
is Cesàro summable (C, α) if

\lim_{\lambda\to\infty}\int_0^\lambda\left(1\frac{x}{\lambda}\right)^\alpha f(x)\, \mathrm{d}x
exists and is finite (Titchmarsh 1948, §1.15). The value of this limit, should it exist, is the (C, α) sum of the integral.
An integral is (C, 0) summable precisely when it exists as an improper integral. However, there are integrals which are (C, α) summable for α > 0 which fail to converge as improper integrals (in the sense of Riemann or Lebesgue). One example is the integral

\int_0^\infty\sin x\, \mathrm{d}x
which fails to exist as an improper integral, but is (C,α) summable for every α > 0. This is an integral version of Grandi's series.
Multivariable improper integrals
The improper integral can also be defined for functions of several variables. The definition is slightly different, depending on whether one requires integrating over an unbounded domain, such as \mathbb R^2, or is integrating a function with singularities, like f(x,y)=\log(x^2+y^2).
Improper integrals over arbitrary domains
If f:\mathbb R^n\to\mathbb R is a nonnegative function that is Riemann integrable over every compact cube of the form [a,a]^n, for a>0, then the improper integral of f over \mathbb R^n is defined to be the limit

\lim_{a\to\infty}\int_{[a,a]^n}f,
provided it exists.
A function on an arbitrary domain A in \mathbb R^n is extended to a function \tilde{f} on \mathbb R^n by zero outside of A:

\tilde{f}(x)=\begin{cases}f(x)& x\in A\\ 0 & x\not\in A \end{cases}
The Riemann integral of a function over a bounded domain A is then defined as the integral of the extended function \tilde{f} over a cube [a,a]^n containing A:

\int_A f = \int_{[a,a]^n}\tilde{f}.
More generally, if A is unbounded, then the improper Riemann integral over an arbitrary domain in \mathbb R^n is defined as the limit:

\int_Af=\lim_{a\to\infty}\int_{A\cap [a,a]^n}f=\lim_{a\to\infty}\int_{[a,a]^n}\tilde{f}.
Improper integrals with singularities
If f is a nonnegative function which is unbounded in a domain A, then the improper integral of f is defined by truncating f at some cutoff M, integrating the resulting function, and then taking the limit as M tends to infinity. That is for M>0, set f_M=\min\{f,M\}. Then define

\int_A f = \lim_{M\to\infty}\int_A f_M
provided this limit exists.
Functions with both positive and negative values
These definitions apply for functions that are nonnegative. A more general function f can be decomposed as a difference of its positive part f_+=\max\{f,0\} and negative part f_=\max\{f,0\}, so

f=f_+f_
with f_+ and f_ both nonnegative functions. The function f has an improper Riemann integral if each of f_+ and f_ has one, in which case the value of that improper integral is defined by

\int_Af = \int_Af_+  \int_A f_.
In order to exist in this sense, the improper integral necessarily converges absolutely, since

\int_Af = \int_Af_+ + \int_Af_.^{[1]}^{[2]}
Notes

^ Cooper 2005, p. 538: "We need to make this stronger definition of convergence in terms of f(x) because cancellation in the integrals can occur in so many different ways in higher dimensions."

^ Ghorpade & Limaye 2010, p. 448: "The relevant notion here is that of unconditional convergence." ... "In fact, for improper integrals of such functions, unconditional convergence turns out to be equivalent to absolute convergence."
Bibliography

.

.

Autar Kaw, Egwu Kalu (2008), Numerical Methods with Applications (1st ed.), autarkaw.com

.

Cooper, Jeffery (2005), Working analysis, Gulf Professional

Ghorpade, Sudhir; Limaye, Balmohan (2010), A course in multivariable calculus and analysis, Springer
External links

Numerical Methods to Solve Improper Integrals at Holistic Numerical Methods Institute

Improper integrals – chapter from an online textbook
This article was sourced from Creative Commons AttributionShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, EGovernment Act of 2002.
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a nonprofit organization.