List of mathematical series
   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 In mathematics, the Euler numbers are a sequence ''En'' of integers defined by the Taylor series expansion :\frac = \frac = \sum_^\infty \frac \cdot t^n, where \cosh (t) is the hyperbolic cosine function. The Euler numbers are related to a ...
. *\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 except ...
. *\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 natur ...
. * 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 *Exp ...
of x


Sums of powers

See
Faulhaber's formula In mathematics, Faulhaber's formula, named after the early 17th century mathematician Johann Faulhaber, expresses the sum of the ''p''-th powers of the first ''n'' positive integers :\sum_^n k^p = 1^p + 2^p + 3^p + \cdots + n^p as a (''p''&nb ...
. *\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 succ ...
) *\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 natur ...
): *\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 In mathematics, the moments of a function are certain quantitative measures related to the shape of the function's graph. If the function represents mass density, then the zeroth moment is the total mass, the first moment (normalized by total ma ...
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 The versine or versed sine is a trigonometric function found in some of the earliest (Sanskrit Āryabhaṭa's sine table , ''Aryabhatia'',
) *\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 seri ...
of the
Catalan numbers In combinatorics, combinatorial mathematics, the Catalan numbers are a sequence of natural numbers that occur in various Enumeration, counting problems, often involving recursion, recursively defined objects. They are named after the French-Belg ...
* \sum_^\infty z^k = \frac, , z, <\frac, generating function of the Central binomial coefficients * \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, \dot ...
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 In combinatorics, Vandermonde's identity (or Vandermonde's convolution) is the following identity for binomial coefficients: :=\sum_^r for any nonnegative integers ''r'', ''m'', ''n''. The identity is named after Alexandre-Théophile Vandermond ...
)


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 oppo ...
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 ''p ...
. *\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 rat ...
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 Technologies, Here Television * Here TV (form ...
. This fact can also be applied to finite series of rational functions, allowing the result to be computed in
constant time In computer science, the time complexity is the computational complexity that describes the amount of computer time it takes to run an algorithm. Time complexity is commonly estimated by counting the number of elementary operations performed by t ...
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 Integration is the basic operation in integral calculus. While differentiation has straightforward rules by which the derivative of a complicated function can be found by differentiating its simpler component functions, integration does not ...
* *
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 serie ...
*
Binomial theorem In elementary algebra, the binomial theorem (or binomial expansion) describes the algebraic expansion of powers of a binomial. According to the theorem, it is possible to expand the polynomial into a sum involving terms of the form , where the ...
*
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 the ...


Notes

{{Reflist, 30em


References

*Many books with a
list of integrals Integration is the basic operation in integral calculus. While differentiation has straightforward rules by which the derivative of a complicated function can be found by differentiating its simpler component functions, integration does not ...
also have a list of series.
Series Series may refer to: People with the name * Caroline Series (born 1951), English mathematician, daughter of George Series * George Series (1920–1995), English physicist Arts, entertainment, and media Music * Series, the ordered sets used in ...
Series Series may refer to: People with the name * Caroline Series (born 1951), English mathematician, daughter of George Series * George Series (1920–1995), English physicist Arts, entertainment, and media Music * Series, the ordered sets used in ...