HOME

TheInfoList



OR:

This list of mathematical series contains formulae for finite and infinite sums. It can be used in conjunction with other tools for evaluating sums. *Here, 0^0 is taken to have the value 1 *\ denotes the fractional part of x *B_n(x) is a
Bernoulli polynomial In mathematics, the Bernoulli polynomials, named after Jacob Bernoulli, combine the Bernoulli numbers and binomial coefficients. They are used for series expansion of functions, and with the Euler–MacLaurin formula. These polynomials occur ...
. *B_n is a
Bernoulli number In mathematics, the Bernoulli numbers are a sequence of rational numbers which occur frequently in analysis. The Bernoulli numbers appear in (and can be defined by) the Taylor series expansions of the tangent and hyperbolic tangent functions, ...
, and here, B_1=-\frac. *E_n is an Euler number. *\zeta(s) is the
Riemann zeta function The Riemann zeta function or Euler–Riemann zeta function, denoted by the Greek letter (zeta), is a mathematical function of a complex variable defined as \zeta(s) = \sum_^\infty \frac = \frac + \frac + \frac + \cdots for \operatorname(s) > ...
. *\Gamma(z) is the
gamma function In mathematics, the gamma function (represented by , the capital letter gamma from the Greek alphabet) is one commonly used extension of the factorial function to complex numbers. The gamma function is defined for all complex numbers excep ...
. *\psi_n(z) is a
polygamma function In mathematics, the polygamma function of order is a meromorphic function on the complex numbers \mathbb defined as the th derivative of the logarithm of the gamma function: :\psi^(z) := \frac \psi(z) = \frac \ln\Gamma(z). Thus :\psi^(z) ...
. *\operatorname_s(z) is a
polylogarithm In mathematics, the polylogarithm (also known as Jonquière's function, for Alfred Jonquière) is a special function of order and argument . Only for special values of does the polylogarithm reduce to an elementary function such as the nat ...
. * n \choose k is
binomial coefficient In mathematics, the binomial coefficients are the positive integers that occur as coefficients in the binomial theorem. Commonly, a binomial coefficient is indexed by a pair of integers and is written \tbinom. It is the coefficient of the t ...
*\exp(x) denotes
exponential Exponential may refer to any of several mathematical topics related to exponentiation, including: *Exponential function, also: **Matrix exponential, the matrix analogue to the above *Exponential decay, decrease at a rate proportional to value *Expo ...
of x


Sums of powers

See Faulhaber's formula. *\sum_^m k^=\frac The first few values are: *\sum_^m k=\frac *\sum_^m k^2=\frac=\frac+\frac+\frac *\sum_^m k^3 =\left frac\right2=\frac+\frac+\frac See zeta constants. *\zeta(2n)=\sum^_ \frac=(-1)^ \frac The first few values are: *\zeta(2)=\sum^_ \frac=\frac (the
Basel problem The Basel problem is a problem in mathematical analysis with relevance to number theory, concerning an infinite sum of inverse squares. It was first posed by Pietro Mengoli in 1650 and solved by Leonhard Euler in 1734, and read on 5 December 1735 ...
) *\zeta(4)=\sum^_ \frac=\frac *\zeta(6)=\sum^_ \frac=\frac


Power series


Low-order polylogarithms

Finite sums: *\sum_^ z^k = \frac, (
geometric series In mathematics, a geometric series is the sum of an infinite number of terms that have a constant ratio between successive terms. For example, the series :\frac \,+\, \frac \,+\, \frac \,+\, \frac \,+\, \cdots is geometric, because each suc ...
) *\sum_^ z^k = \frac *\sum_^ z^k = \frac-1 = \frac *\sum_^n k z^k = z\frac *\sum_^n k^2 z^k = z\frac *\sum_^n k^m z^k = \left(z \frac\right)^m \frac Infinite sums, valid for , z, <1 (see
polylogarithm In mathematics, the polylogarithm (also known as Jonquière's function, for Alfred Jonquière) is a special function of order and argument . Only for special values of does the polylogarithm reduce to an elementary function such as the nat ...
): *\operatorname_n(z)=\sum_^ \frac The following is a useful property to calculate low-integer-order polylogarithms recursively in closed form: *\frac\operatorname_n(z)=\frac *\operatorname_(z)=\sum_^\infty \frac=-\ln(1-z) *\operatorname_(z)=\sum_^\infty z^k=\frac *\operatorname_(z)=\sum_^\infty k z^k=\frac *\operatorname_(z)=\sum_^\infty k^2 z^k=\frac *\operatorname_(z)=\sum_^\infty k^3 z^k =\frac *\operatorname_(z)=\sum_^\infty k^4 z^k =\frac


Exponential function

*\sum_^\infty \frac = e^z *\sum_^\infty k\frac = z e^z (cf. mean of
Poisson distribution In probability theory and statistics, the Poisson distribution is a discrete probability distribution that expresses the probability of a given number of events occurring in a fixed interval of time or space if these events occur with a known co ...
) *\sum_^\infty k^2 \frac = (z + z^2) e^z (cf. second moment of Poisson distribution) *\sum_^\infty k^3 \frac = (z + 3z^2 + z^3) e^z *\sum_^\infty k^4 \frac = (z + 7z^2 + 6z^3 + z^4) e^z *\sum_^\infty k^n \frac = z \frac \sum_^\infty k^ \frac\,\! = e^z T_(z) where T_(z) is the
Touchard polynomials The Touchard polynomials, studied by , also called the exponential polynomials or Bell polynomials, comprise a polynomial sequence of binomial type defined by :T_n(x)=\sum_^n S(n,k)x^k=\sum_^n \left\x^k, where S(n,k)=\left\is a Stirling numbe ...
.


Trigonometric, inverse trigonometric, hyperbolic, and inverse hyperbolic functions relationship

*\sum_^\infty \frac=\sin z *\sum_^\infty \frac=\sinh z *\sum_^\infty \frac=\cos z *\sum_^\infty \frac=\cosh z *\sum_^\infty \frac=\tan z, , z, <\frac *\sum_^\infty \frac=\tanh z, , z, <\frac *\sum_^\infty \frac=\cot z, , z, <\pi *\sum_^\infty \frac=\coth z, , z, <\pi *\sum_^\infty \frac=\csc z, , z, <\pi *\sum_^\infty \frac=\operatorname z, , z, <\pi *\sum_^\infty \frac=\operatorname z, , z, <\frac *\sum_^\infty \frac=\sec z, , z, < \frac *\sum_^\infty \frac=\operatornamez ( versine) *\sum_^\infty \frac=\operatornamez (
haversine The versine or versed sine is a trigonometric function found in some of the earliest (Sanskrit ''Aryabhatia'', *\sum^_ \frac z^ = \left(\arcsin\right)^2, , z, \le1 *\sum^_ \frac z^ + \sum^_ \frac z^ = e^, , z, \le1


Binomial coefficients

*(1+z)^\alpha = \sum_^\infty z^k, , z, <1 (see ) * \sum_^\infty z^k = \frac, , z, <1 * \sum_^\infty \frac z^k = \frac, , z, \leq\frac,
generating function In mathematics, a generating function is a way of encoding an infinite sequence of numbers () by treating them as the coefficients of a formal power series. This series is called the generating function of the sequence. Unlike an ordinary serie ...
of the Catalan numbers * \sum_^\infty z^k = \frac, , z, <\frac, generating function of the
Central binomial coefficient In mathematics the ''n''th central binomial coefficient is the particular binomial coefficient : = \frac = \prod\limits_^\frac \textn \geq 0. They are called central since they show up exactly in the middle of the even-numbered rows in Pascal ...
s * \sum_^\infty z^k = \frac\left(\frac\right)^\alpha, , z, <\frac


Harmonic numbers

(See
harmonic number In mathematics, the -th harmonic number is the sum of the reciprocals of the first natural numbers: H_n= 1+\frac+\frac+\cdots+\frac =\sum_^n \frac. Starting from , the sequence of harmonic numbers begins: 1, \frac, \frac, \frac, \frac, \do ...
s, themselves defined H_n = \sum_^ \frac ) * \sum_^\infty H_k z^k = \frac, , z, <1 * \sum_^\infty \frac z^ = \frac\left ln(1-z)\right2, \qquad , z, <1 * \sum_^\infty \frac z^ = \frac \arctan \log, \qquad , z, <1 * \sum_^\infty \sum_^ \frac \frac = \frac \arctan \log,\qquad , z, <1


Binomial coefficients

*\sum_^n = 2^n *\sum_^n (-1)^k = 0, \textn\geq 1 *\sum_^n = *\sum_^n = (see
Multiset In mathematics, a multiset (or bag, or mset) is a modification of the concept of a set that, unlike a set, allows for multiple instances for each of its elements. The number of instances given for each element is called the multiplicity of that e ...
) *\sum_^n = (see Vandermonde identity)


Trigonometric functions

Sums of
sine In mathematics, sine and cosine are trigonometric functions of an angle. The sine and cosine of an acute angle are defined in the context of a right triangle: for the specified angle, its sine is the ratio of the length of the side that is opp ...
s and cosines arise in
Fourier series A Fourier series () is a summation of harmonically related sinusoidal functions, also known as components or harmonics. The result of the summation is a periodic function whose functional form is determined by the choices of cycle length (or '' ...
. *\sum_^\infty \frac=-\frac\ln(2-2\cos\theta)=-\ln \left(2\sin\frac \right), 0<\theta<2\pi *\sum_^\infty \frac=\frac, 0<\theta<2\pi *\sum_^\infty \frac\cos(k\theta)=\frac\ln(2+2\cos\theta)=\ln \left(2\cos\frac\right), 0\leq\theta<\pi *\sum_^\infty \frac\sin(k\theta)=\frac, -\frac\leq\theta\leq\frac *\sum_^\infty \frac=-\frac\ln(2\sin\theta), 0<\theta<\pi *\sum_^\infty \frac=\frac, 0<\theta<\pi *\sum_^\infty \frac=\frac\ln \left(\cot\frac\right), 0<\theta<\pi *\sum_^\infty \frac=\frac, 0<\theta<\pi, *\sum_^\infty \frac= \pi \left(\dfrac - \\right), \ x \in \mathbb *\sum\limits_^ \frac = (-1)^\frac B_(\), \ x \in \mathbb, \ n \in \mathbb *\sum\limits_^ \frac = (-1)^\frac B_(\), \ x \in \mathbb, \ n \in \mathbb *B_n(x)=-\frac\sum_^\infty \frac\cos\left(2\pi kx-\frac\right), 0 *\sum_^n \sin(\theta+k\alpha)=\frac *\sum_^n \cos(\theta+k\alpha)=\frac *\sum_^ \sin\frac=\cot\frac *\sum_^ \sin\frac=0 *\sum_^ \csc^2\left(\theta+\frac\right)=n^2\csc^2(n\theta) *\sum_^ \csc^2\frac=\frac *\sum_^ \csc^4\frac=\frac


Rational functions

*\sum_^ \frac = \frac H_ *\sum_^\infty\frac=\frac *\displaystyle \sum_^\infty \frac = \dfrac+\dfrac *An infinite series of any
rational function In mathematics, a rational function is any function that can be defined by a rational fraction, which is an algebraic fraction such that both the numerator and the denominator are polynomials. The coefficients of the polynomials need not be ...
of n can be reduced to a finite series of
polygamma function In mathematics, the polygamma function of order is a meromorphic function on the complex numbers \mathbb defined as the th derivative of the logarithm of the gamma function: :\psi^(z) := \frac \psi(z) = \frac \ln\Gamma(z). Thus :\psi^(z) ...
s, by use of
partial fraction decomposition In algebra, the partial fraction decomposition or partial fraction expansion of a rational fraction (that is, a fraction such that the numerator and the denominator are both polynomials) is an operation that consists of expressing the fraction as ...
, as explained
here Here is an adverb that means "in, on, or at this place". It may also refer to: Software * Here Technologies, a mapping company * Here WeGo (formerly Here Maps), a mobile app and map website by Here Television * Here TV (formerly "here!"), a ...
. This fact can also be applied to finite series of rational functions, allowing the result to be computed in constant time even when the series contains a large number of terms.


Exponential function

* \displaystyle \dfrac\sum_^\exp \left(\frac \right)=\dfrac\sum_^\exp \left(-\frac \right)(see the Landsberg–Schaar relation) * \displaystyle \sum_^\infty e^ = \frac


Numeric series

These numeric series can be found by plugging in numbers from the series listed above.


Alternating harmonic series

*\sum^_\frac=\frac-\frac+\frac-\frac+\cdots=\ln 2 *\sum^_\frac=\frac-\frac+\frac-\frac+\frac-\cdots=\frac


Sum of reciprocal of factorials

*\sum^_ \frac=\frac+\frac+\frac+\frac+\frac+\cdots=e *\sum^_ \frac=\frac+\frac+\frac+\frac+\frac+\cdots=\frac\left(e+\frac\right)=\cosh 1 *\sum^_ \frac=\frac+\frac+\frac+\frac+\frac+\cdots=\frac\left(e+\frac\cos \frac\right) *\sum^_ \frac=\frac+\frac+\frac+\frac+\frac+\cdots=\frac\left(\cos 1+\cosh 1\right)


Trigonometry and π

*\sum^_ \frac=\frac-\frac+\frac-\frac+\frac+\cdots=\sin 1 *\sum^_ \frac=\frac-\frac+\frac-\frac+\frac+\cdots=\cos 1 *\sum^_ \frac=\frac+\frac+\frac+\frac+\cdots=\frac(\pi \coth \pi - 1) *\sum^_ \frac=-\frac+\frac-\frac+\frac+\cdots=\frac(\pi \operatorname \pi - 1) * 3 + \frac - \frac + \frac - \frac + \cdots = \pi


Reciprocal of triangular numbers

*\sum^\infty_ \frac=\frac+\frac+\frac+\frac+\frac+\cdots=2 Where T_n=\sum^n_ k


Reciprocal of tetrahedral numbers

*\sum^_ \frac=\frac+\frac+\frac+\frac+\frac+\cdots=\frac Where Te_n=\sum^_ T_k


Exponential and logarithms

*\sum^_ \frac=\frac+\frac+\frac+\frac+\frac+\cdots=\ln 2 *\sum^_ \frac=\frac+\frac+\frac+\frac+\frac+\cdots=\ln 2 *\sum^_ \frac+\sum^_ \frac=\Bigg(\frac+\frac\Bigg)-\Bigg(\frac+\frac\Bigg)+\Bigg(\frac+\frac\Bigg)-\Bigg(\frac+\frac\Bigg)+\cdots=\ln 2 *\sum^_ \frac+\sum^_ \frac=\Bigg(\frac+\frac\Bigg)+\Bigg(\frac+\frac\Bigg)+\Bigg(\frac+\frac\Bigg)+\Bigg(\frac+\frac\Bigg)+\cdots=\ln 2


See also

*
Series (mathematics) In mathematics, a series is, roughly speaking, a description of the operation of adding infinitely many quantities, one after the other, to a given starting quantity. The study of series is a major part of calculus and its generalization, math ...
* List of integrals * *
Taylor series In mathematics, the Taylor series or Taylor expansion of a function is an infinite sum of terms that are expressed in terms of the function's derivatives at a single point. For most common functions, the function and the sum of its Taylor ser ...
* Binomial theorem *
Gregory's series Gregory's series, is an infinite Taylor series expansion of the inverse tangent function. It was discovered in 1668 by James Gregory. It was re-rediscovered a few years later by Gottfried Leibniz, who re obtained the Leibniz formula for π as the ...
*
On-Line Encyclopedia of Integer Sequences The On-Line Encyclopedia of Integer Sequences (OEIS) is an online database of integer sequences. It was created and maintained by Neil Sloane while researching at AT&T Labs. He transferred the intellectual property and hosting of the OEIS to t ...


Notes

{{Reflist, 30em


References

*Many books with a list of integrals also have a list of series. Series Series