Lists of integrals

From Infogalactic: the planetary knowledge core
Jump to: navigation, search

<templatestyles src="Module:Hatnote/styles.css"></templatestyles>

Lua error in package.lua at line 80: module 'strict' not found. Lua error in package.lua at line 80: module 'strict' not found.

Integration is the basic operation in integral calculus. While differentiation has easy rules by which the derivative of a complicated function can be found by differentiating its simpler component functions, integration does not, so tables of known integrals are often useful. This page lists some of the most common antiderivatives.

Historical development of integrals

A compilation of a list of integrals (Integraltafeln) and techniques of integral calculus was published by the German mathematician Meyer Hirsch in 1810. These tables were republished in the United Kingdom in 1823. More extensive tables were compiled in 1858 by the Dutch mathematician David de Bierens de Haan. A new edition was published in 1862. These tables, which contain mainly integrals of elementary functions, remained in use until the middle of the 20th century. They were then replaced by the much more extensive tables of Gradshteyn and Ryzhik. In Gradshteyn and Ryzhik, integrals originating from the book by de Bierens are denoted by BI.

Not all closed-form expressions have closed-form antiderivatives; this study forms the subject of differential Galois theory, which was initially developed by Joseph Liouville in the 1830s and 1840s, leading to Liouville's theorem which classifies which expressions have closed form antiderivatives. A simple example of a function without a closed form antiderivative is ex2, whose antiderivative is (up to constants) the error function.

Since 1968 there is the Risch algorithm for determining indefinite integrals that can be expressed in term of elementary functions, typically using a computer algebra system. Integrals that cannot be expressed using elementary functions can be manipulated symbolically using general functions such as the Meijer G-function.

Lists of integrals

More detail may be found on the following pages for the lists of integrals:

Gradshteyn, Ryzhik, Jeffrey, Zwillinger's Table of Integrals, Series, and Products contains a large collection of results. An even larger, multivolume table is the Integrals and Series by Prudnikov, Brychkov, and Marichev (with volumes 1–3 listing integrals and series of elementary and special functions, volume 4–5 are tables of Laplace transforms). More compact collections can be found in e.g. Brychkov, Marichev, Prudnikov's Tables of Indefinite Integrals, or as chapters in Zwillinger's CRC Standard Mathematical Tables and Formulae, Bronstein and Semendyayev's Handbook of Mathematics (Springer) and Oxford Users' Guide to Mathematics (Oxford Univ. Press), and other mathematical handbooks.

Other useful resources include Abramowitz and Stegun and the Bateman Manuscript Project. Both works contain many identities concerning specific integrals, which are organized with the most relevant topic instead of being collected into a separate table. Two volumes of the Bateman Manuscript are specific to integral transforms.

There are several web sites which have tables of integrals and integrals on demand. Wolfram Alpha can show results, and for some simpler expressions, also the intermediate steps of the integration. Wolfram Research also operates another online service, the Wolfram Mathematica Online Integrator.

Integrals of simple functions

C is used for an arbitrary constant of integration that can only be determined if something about the value of the integral at some point is known. Thus each function has an infinite number of antiderivatives.

These formulas only state in another form the assertions in the table of derivatives.

Integrals with a singularity

When there is a singularity in the function being integrated such that the antiderivative becomes undefined or at some point (the singularity), then C does not need to be the same on both sides of the singularity. The forms below normally assume the Cauchy principal value around a singularity in the value of C but this is not in general necessary. For instance in

\int {1 \over x}\,dx = \ln \left|x \right| + C

there is a singularity at 0 and the antiderivative becomes infinite there. If the integral above would be used to compute a definite integral between -1 and 1, one would get the wrong answer 0. This however is the Cauchy principal value of the integral around the singularity. If the integration is done in the complex plane the result depends on the path around the origin, in this case the singularity contributes −iπ when using a path above the origin and iπ for a path below the origin. A function on the real line could use a completely different value of C on either side of the origin as in:

 \int {1 \over x}\,dx = \ln|x| + \begin{cases} A & \text{if }x>0; \\ B & \text{if }x < 0. \end{cases}

Rational functions

More integrals: List of integrals of rational functions

These rational functions have a non-integrable singularity at 0 for a ≤ −1.

\int k\,dx = kx + C
\int x^a\,dx = \frac{x^{a+1}}{a+1} + C \qquad\text{(for } a\neq -1\text{)}\,\! (Cavalieri's quadrature formula)
\int (ax + b)^n \, dx= \frac{(ax + b)^{n+1}}{a(n + 1)} + C \qquad\text{(for } n\neq -1\text{)}\,\!
\int {1 \over x}\,dx = \ln \left|x \right| + C
More generally,[1]
\int {1 \over x}\,dx = \begin{cases}\ln \left|x \right| + C^- & x < 0\\
\ln \left|x \right| + C^+ & x > 0
\end{cases}
\int\frac{c}{ax + b} \, dx= \frac{c}{a}\ln\left|ax + b\right| + C

Exponential functions

More integrals: List of integrals of exponential functions
\int e^{ax}\,dx = \frac{1}{a}e^{ax} + C
\int f'(x)e^{f(x)}\,dx = e^{f(x)} + C
\int a^x\,dx = \frac{a^x}{\ln a} + C

Logarithms

More integrals: List of integrals of logarithmic functions
\int \ln x\,dx = x \ln x - x + C
\int \log_a x\,dx = x\log_a x - \frac{x}{\ln a} + C

Trigonometric functions

More integrals: List of integrals of trigonometric functions
\int \sin{x}\, dx = -\cos{x} + C
\int \cos{x}\, dx = \sin{x} + C
\int \tan{x} \, dx = -\ln{\left| \cos {x} \right|} + C = \ln{\left| \sec{x} \right|} + C
\int \cot{x} \, dx = \ln{\left| \sin{x} \right|} + C
\int \sec{x} \, dx = \ln{\left| \sec{x} + \tan{x}\right|} + C
(See Integral of the secant function. This result was a well-known conjecture in the 17th century.)
\int \csc{x} \, dx = \ln{\left| \csc{x} - \cot{x}\right|} + C
\int \sec^2 x \, dx = \tan x + C
\int \csc^2 x \, dx = -\cot x + C
\int \sec{x} \, \tan{x} \, dx = \sec{x} + C
\int \csc{x} \, \cot{x} \, dx = -\csc{x} + C
\int \sin^2 x \, dx = \frac{1}{2}\left(x - \frac{\sin 2x}{2} \right) + C = \frac{1}{2}(x - \sin x\cos x ) + C
\int \cos^2 x \, dx = \frac{1}{2}\left(x + \frac{\sin 2x}{2} \right) + C = \frac{1}{2}(x + \sin x\cos x ) + C
\int \sec^3 x \, dx = \frac{1}{2}\sec x \tan x + \frac{1}{2}\ln|\sec x + \tan x| + C
(see integral of secant cubed)
\int \sin^n x \, dx = - \frac{\sin^{n-1} {x} \cos {x}}{n} + \frac{n-1}{n} \int \sin^{n-2}{x} \, dx
\int \cos^n x \, dx = \frac{\cos^{n-1} {x} \sin {x}}{n} + \frac{n-1}{n} \int \cos^{n-2}{x} \, dx

Inverse trigonometric functions

More integrals: List of integrals of inverse trigonometric functions
\int \arcsin{x} \, dx = x \arcsin{x} + \sqrt{1 - x^2} + C , \text{ for } \vert x \vert \le +1
\int \arccos{x} \, dx = x \arccos{x} - \sqrt{1 - x^2} + C , \text{ for } \vert x \vert \le +1
\int \arctan{x} \, dx = x \arctan{x} - \frac{1}{2} \ln { \vert 1 + x^2 \vert } + C , \text{ for all real } x
\int \arccot{x} \, dx = x \arccot{x} + \frac{1}{2} \ln { \vert 1 + x^2 \vert } + C , \text{ for all real } x
\int \arcsec{x} \, dx = x \arcsec{x} - \ln \vert x \, ( 1 + \sqrt{ 1 - x^{-2} } \, ) \vert + C , \text{ for } \vert x \vert \ge +1
\int \arccsc{x} \, dx = x \arccsc{x} + \ln \vert x \, ( 1 + \sqrt{ 1 - x^{-2} } \, ) \vert + C , \text{ for } \vert x \vert \ge +1

Hyperbolic functions

More integrals: List of integrals of hyperbolic functions
\int \sinh x \, dx = \cosh x + C
\int \cosh x \, dx = \sinh x + C
\int \tanh x \, dx = \ln \cosh x + C
\int \coth x \, dx = \ln| \sinh x | + C , \text{ for } x \neq 0
\int \operatorname{sech}\,x \, dx = \arctan\,(\sinh x) + C
\int \operatorname{csch}\,x \, dx = \ln\left| \tanh {x \over2}\right| + C , \text{ for } x \neq 0

Inverse hyperbolic functions

More integrals: List of integrals of inverse hyperbolic functions
\int \operatorname{arsinh} \, x \, dx = x \, \operatorname{arsinh} \, x - \sqrt{ x^2 + 1 } + C , \text{ for all real } x
\int \operatorname{arcosh} \, x \, dx = x \, \operatorname{arcosh} \, x - \sqrt{ x^2 - 1 } + C , \text{ for } x \ge 1
\int \operatorname{artanh} \, x \, dx = x \, \operatorname{artanh} \, x + \frac{\ln\left(\,1-x^2\right)}{2} + C , \text{ for } \vert x \vert < 1
\int \operatorname{arcoth} \, x \, dx = x \, \operatorname{arcoth} \, x + \frac{\ln\left(x^2-1\right)}{2} + C , \text{ for } \vert x \vert > 1
\int \operatorname{arsech} \, x \, dx = x \, \operatorname{arsech} \, x + \arcsin x + C , \text{ for } 0 < x \le 1
\int \operatorname{arcsch} \, x \, dx = x \, \operatorname{arcsch} \, x + \vert \operatorname{arsinh} \, x \vert + C , \text{ for } x \neq 0

Products of functions proportional to their second derivatives

\int \cos ax\, e^{bx}\, dx = \frac{e^{bx}}{a^2+b^2}\left( a\sin ax + b\cos ax \right) + C
\int \sin ax\, e^{bx}\, dx = \frac{e^{bx}}{a^2+b^2}\left( b\sin ax - a\cos ax \right) + C
\int \cos ax\, \cosh bx\, dx = \frac{1}{a^2+b^2}\left( a\sin ax\, \cosh bx+ b\cos ax\, \sinh bx \right) + C
\int \sin ax\, \cosh bx\, dx = \frac{1}{a^2+b^2}\left( b\sin ax\, \sinh bx- a\cos ax\, \cosh bx \right) + C

Absolute-value functions

Let f be a function which has at most one root on each interval on which it is defined, and g an antiderivative of f that is zero at each root of f (such an antiderivative exists if and only if the condition on f is satisfied), then

\int \left| f(x)\right|\,dx = \sgn(f(x))g(x)+C,

where sgn(x) is the sign function, which takes the values -1, 0, 1 when x is respectively negative, zero or positive. This gives the following formulas (where a≠0):

\int \left| (ax + b)^n \right|\,dx = \sgn(ax + b) {(ax + b)^{n+1} \over a(n+1)} + C \quad [\,n\text{ is odd, and } n \neq -1\,] \,.
\int \left| \tan{ax} \right|\,dx = \frac{-1}{a}\sgn(\tan{ax}) \ln(\left|\cos{ax}\right|) + C

when ax \in \left( n\pi - \frac{\pi}{2}, n\pi + \frac{\pi}{2} \right) \, for some integer n.

\int \left| \csc{ax} \right|\,dx = \frac{-1}{a}\sgn(\csc{ax}) \ln(\left| \csc{ax} + \cot{ax} \right|) + C

when ax \in \left( n\pi, n\pi + \pi \right) \, for some integer n.

\int \left| \sec{ax} \right|\,dx = \frac{1}{a}\sgn(\sec{ax}) \ln(\left| \sec{ax} + \tan{ax} \right|)  + C

when ax \in \left( n\pi - \frac{\pi}{2}, n\pi + \frac{\pi}{2} \right) \, for some integer n.

\int \left| \cot{ax} \right|\,dx = \frac{1}{a}\sgn(\cot{ax}) \ln(\left|\sin{ax}\right|) + C

when ax \in \left( n\pi, n\pi + \pi \right) \, for some integer n.

If the function f does not has any continuous anti-derivative which takes the value zero at the zeros of f (this is the case for the sine and the cosine functions), then \sgn(f(x)) \int f(x)dx is an anti-derivative of f on every interval on which f is not zero, but may be discontinuous at the points where f(x)=0. For having a continuous anti-derivative, one has thus to add a well chosen step function. If we also use the fact that the absolute values of sine and cosine are periodic with period π, then we get:

\int \left| \sin{ax} \right|\,dx = {2 \over a} \left\lfloor \frac{ax}{\pi} \right\rfloor - {1 \over a} \cos{\left( ax - \left\lfloor \frac{ax}{\pi} \right\rfloor \pi \right)} + C\;[citation needed]
\int \left|\cos {ax}\right|\,dx = {2 \over a} \left\lfloor \frac{ax}{\pi} + \frac12 \right\rfloor + {1 \over a} \sin{\left( ax - \left\lfloor \frac{ax}{\pi} + \frac12 \right\rfloor \pi \right)} + C\;[citation needed]

Special functions

Ci, Si: Trigonometric integrals, Ei: Exponential integral, li: Logarithmic integral function, erf: Error function

\int \operatorname{Ci}(x) \, dx = x \operatorname{Ci}(x) - \sin x
\int \operatorname{Si}(x) \, dx = x \operatorname{Si}(x) + \cos x
\int \operatorname{Ei}(x) \, dx = x \operatorname{Ei}(x) - e^x
\int \operatorname{li}(x) \, dx = x \operatorname{li}(x)-\operatorname{Ei}(2 \ln x)
\int \frac{\operatorname{li}(x)}{x}\,dx = \ln x\, \operatorname{li}(x) -x
\int \operatorname{erf}(x)\, dx = \frac{e^{-x^2}}{\sqrt{\pi }}+x \operatorname{erf}(x)

Definite integrals lacking closed-form antiderivatives

There are some functions whose antiderivatives cannot be expressed in closed form. However, the values of the definite integrals of some of these functions over some common intervals can be calculated. A few useful integrals are given below.

\int_0^\infty \sqrt{x}\,e^{-x}\,dx = \frac{1}{2}\sqrt \pi (see also Gamma function)
\int_0^\infty e^{-a x^2}\,dx = \frac{1}{2} \sqrt \frac {\pi} {a} for a > 0 (the Gaussian integral)
\int_0^\infty{x^2 e^{-a x^2}\,dx} = \frac{1}{4} \sqrt \frac {\pi} {a^3} for a > 0
\int_0^\infty x^{2n} e^{-a x^2}\,dx
= \frac{2n-1}{2a} \int_0^\infty x^{2(n-1)} e^{-a x^2}\,dx
= \frac{(2n-1)!!}{2^{n+1}} \sqrt{\frac{\pi}{a^{2n+1}}}
= \frac{(2n)!}{n! 2^{2n+1}} \sqrt{\frac{\pi}{a^{2n+1}}}
for a > 0, n is 1, 2, 3, ... and !! is the double factorial.
\int_0^\infty{x^3 e^{-a x^2}\,dx} = \frac{1}{2 a^2} when a > 0
\int_0^\infty x^{2n+1} e^{-a x^2}\,dx
= \frac {n} {a} \int_0^\infty x^{2n-1} e^{-a x^2}\,dx
= \frac{n!}{2 a^{n+1}}
for a > 0, n = 0, 1, 2, ....
\int_0^\infty \frac{x}{e^x-1}\,dx = \frac{\pi^2}{6} (see also Bernoulli number)
\int_0^\infty \frac{x^2}{e^x-1}\,dx = 2\zeta(3) \simeq 2.40
\int_0^\infty \frac{x^3}{e^x-1}\,dx = \frac{\pi^4}{15}
\int_0^\infty \frac{\sin{x}}{x}\,dx = \frac{\pi}{2} (see sinc function and Sine integral)
\int_0^\infty\frac{\sin^2{x}}{x^2}\,dx = \frac{\pi}{2}
\int_0^\frac{\pi}{2}\sin^n{x}\,dx = \int_0^\frac{\pi}{2} \cos^n{x}\,dx = \frac{1 \cdot 3 \cdot 5 \cdot \cdots \cdot (n-1)}{2 \cdot 4 \cdot 6 \cdot \cdots \cdot n}\frac{\pi}{2} (if n is an even integer and n ≥ 2)
\int_0^\frac{\pi}{2}\sin^n{x}\,dx = \int_0^\frac{\pi}{2}\cos^n{x}\,dx = \frac{2 \cdot 4 \cdot 6 \cdot \cdots \cdot (n-1)}{3 \cdot 5 \cdot 7 \cdot \cdots \cdot n} (if n is an odd integer and n ≥ 3)
\int_{-\pi}^\pi \cos(\alpha x)\cos^n(\beta x) dx = \begin{cases}
\frac{2 \pi}{2^n} \binom{n}{m} & |\alpha|= |\beta (2m-n)| \\
0 & \text{otherwise}
\end{cases} (for α , β, m, n integers with β ≠ 0 and m, n ≥ 0, see also Binomial coefficient)
\int_{-\pi}^\pi \sin(\alpha x) \cos^n(\beta x) dx = 0 (for α , β real and n non-negative integer, see also Symmetry)
\int_{-\pi}^\pi \sin(\alpha x) \sin^n(\beta x) dx = \begin{cases}
(-1)^{(n+1)/2} (-1)^m \frac{2 \pi}{2^n} \binom{n}{m} & n \text{ odd},\ \alpha = \beta (2m-n) \\
0 & \text{otherwise}
\end{cases} (for α , β, m, n integers with β ≠ 0 and m, n ≥ 0, see also Binomial coefficient)
\int_{-\pi}^{\pi} \cos(\alpha x) \sin^n(\beta x) dx = \begin{cases}
(-1)^{n/2} (-1)^m \frac{2 \pi}{2^n} \binom{n}{m} & n \text{ even},\ |\alpha| = |\beta (2m-n)| \\
0 & \text{otherwise}
\end{cases} (for α , β, m, n integers with β ≠ 0 and m, n ≥ 0, see also Binomial coefficient)
\int_{-\infty}^\infty e^{-(ax^2+bx+c)}\,dx = \sqrt{\frac{\pi}{a}}\exp\left[\frac{b^2-4ac}{4a}\right] (where exp[u] is the exponential function eu, and a > 0)
\int_0^\infty  x^{z-1}\,e^{-x}\,dx = \Gamma(z) (where \Gamma(z) is the Gamma function)
\int_0^1 x^{\alpha-1}(1-x)^{\beta-1} dx = \frac{\Gamma(\alpha)\Gamma(\beta)}{\Gamma(\alpha+\beta)} (for Re(α ) > 0 and Re(β) > 0, see Beta function)
\int_0^{2 \pi} e^{x \cos \theta} d \theta = 2 \pi I_{0}(x) (where I0(x) is the modified Bessel function of the first kind)
\int_0^{2 \pi} e^{x \cos \theta + y \sin \theta} d \theta = 2 \pi I_{0} \left(\sqrt{x^2 + y^2}\right)
\int_{-\infty}^\infty (1 + x^2/\nu)^{-(\nu + 1)/2}\,dx = \frac { \sqrt{\nu \pi} \ \Gamma(\nu/2)} {\Gamma((\nu + 1)/2)} (for ν > 0 , this is related to the probability density function of the Student's t-distribution)

If the function f has bounded variation on the interval [a,b], then the method of exhaustion provides a formula for the integral:

\int_a^b{f(x)\,dx} = (b - a) \sum\limits_{n = 1}^\infty  {\sum\limits_{m = 1}^{2^n  - 1} {\left( { - 1} \right)^{m + 1} } } 2^{ - n} f(a + m\left( {b - a} \right)2^{-n} ).
\int_0^1 \ln(1/x)^p\,dx = p!\;

<templatestyles src="Template:Hidden begin/styles.css"/>

(Click "show" at right to see a proof or "hide" to hide it.)

The change of variable x = e^{-t} gives

I_p = \int_0^1 \ln(1/x)^p\;dx = \int_0^\infty t^pe^{-t}dt,

and, under this form the result appears in List of integrals of exponential functions#Definite integrals


The "sophomore's dream"

\begin{align}
\int_0^1 x^{-x}\,dx &= \sum_{n=1}^\infty n^{-n}        &&(= 1.29128599706266\dots)\\
\int_0^1 x^x   \,dx &= -\sum_{n=1}^\infty (-n)^{-n} &&(= 0.78343051071213\dots)
\end{align}

attributed to Johann Bernoulli.

See also

References

  1. "Reader Survey: log|x| + C", Tom Leinster, The n-category Café, March 19, 2012
  • M. Abramowitz and I.A. Stegun, editors. Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables.
  • I.S. Gradshteyn (И.С. Градштейн), I.M. Ryzhik (И.М. Рыжик); Alan Jeffrey, Daniel Zwillinger, editors. Table of Integrals, Series, and Products, seventh edition. Academic Press, 2007. ISBN 978-0-12-373637-6. Errata. (Several previous editions as well.)
  • A.P. Prudnikov (А.П. Прудников), Yu.A. Brychkov (Ю.А. Брычков), O.I. Marichev (О.И. Маричев). Integrals and Series. First edition (Russian), volume 1–5, Nauka, 1981−1986. First edition (English, translated from the Russian by N.M. Queen), volume 1–5, Gordon & Breach Science Publishers/CRC Press, 1988–1992, ISBN 2-88124-097-6. Second revised edition (Russian), volume 1–3, Fiziko-Matematicheskaya Literatura, 2003.
  • Yu.A. Brychkov (Ю.А. Брычков), Handbook of Special Functions: Derivatives, Integrals, Series and Other Formulas. Russian edition, Fiziko-Matematicheskaya Literatura, 2006. English edition, Chapman & Hall/CRC Press, 2008, ISBN 1-58488-956-X.
  • Daniel Zwillinger. CRC Standard Mathematical Tables and Formulae, 31st edition. Chapman & Hall/CRC Press, 2002. ISBN 1-58488-291-3. (Many earlier editions as well.)

Historical

External links

Tables of integrals

Derivations

Online service

Open source programs