In
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, a divergent series is an
infinite series
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 ...
that is not
convergent, meaning that the infinite
sequence
In mathematics, a sequence is an enumerated collection of objects in which repetitions are allowed and order matters. Like a set, it contains members (also called ''elements'', or ''terms''). The number of elements (possibly infinite) is calle ...
of the
partial sum
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 ...
s of the series does not have a finite
limit
Limit or Limits may refer to:
Arts and media
* ''Limit'' (manga), a manga by Keiko Suenobu
* ''Limit'' (film), a South Korean film
* Limit (music), a way to characterize harmony
* "Limit" (song), a 2016 single by Luna Sea
* "Limits", a 2019 ...
.
If a series converges, the individual terms of the series must approach zero. Thus any series in which the individual terms do not approach zero diverges. However, convergence is a stronger condition: not all series whose terms approach zero converge. A
counterexample
A counterexample is any exception to a generalization. In logic a counterexample disproves the generalization, and does so rigorously in the fields of mathematics and philosophy. For example, the fact that "John Smith is not a lazy student" is a ...
is the
harmonic series
:
The divergence of the harmonic series
was proven by the medieval mathematician
Nicole Oresme
Nicole Oresme (; c. 1320–1325 – 11 July 1382), also known as Nicolas Oresme, Nicholas Oresme, or Nicolas d'Oresme, was a French philosopher of the later Middle Ages. He wrote influential works on economics, mathematics, physics, astrology an ...
.
In specialized mathematical contexts, values can be objectively assigned to certain series whose sequences of partial sums diverge, in order to make meaning of the divergence of the series. A ''summability method'' or ''summation method'' is a
partial function
In mathematics, a partial function from a set to a set is a function from a subset of (possibly itself) to . The subset , that is, the domain of viewed as a function, is called the domain of definition of . If equals , that is, if is de ...
from the set of series to values. For example,
Cesàro summation
In mathematical analysis, Cesàro summation (also known as the Cesàro mean
) assigns values to some infinite sums that are not necessarily convergent in the usual sense. The Cesàro sum is defined as the limit, as ''n'' tends to infinity, of ...
assigns
Grandi's divergent series
:
the value . Cesàro summation is an ''
averaging
In ordinary language, an average is a single number taken as representative of a list of numbers, usually the sum of the numbers divided by how many numbers are in the list (the arithmetic mean). For example, the average of the numbers 2, 3, 4, 7, ...
'' method, in that it relies on the
arithmetic mean
In mathematics and statistics, the arithmetic mean ( ) or arithmetic average, or just the ''mean'' or the ''average'' (when the context is clear), is the sum of a collection of numbers divided by the count of numbers in the collection. The colle ...
of the sequence of partial sums. Other methods involve
analytic continuation
In complex analysis, a branch of mathematics, analytic continuation is a technique to extend the domain of definition of a given analytic function. Analytic continuation often succeeds in defining further values of a function, for example in a new ...
s of related series. In
physics
Physics is the natural science that studies matter, its fundamental constituents, its motion and behavior through space and time, and the related entities of energy and force. "Physical science is that department of knowledge which r ...
, there are a wide variety of summability methods; these are discussed in greater detail in the article on
regularization
Regularization may refer to:
* Regularization (linguistics)
* Regularization (mathematics)
* Regularization (physics)
In physics, especially quantum field theory, regularization is a method of modifying observables which have singularities in ...
.
History
Before the 19th century, divergent series were widely used by
Leonhard Euler
Leonhard Euler ( , ; 15 April 170718 September 1783) was a Swiss mathematician, physicist, astronomer, geographer, logician and engineer who founded the studies of graph theory and topology and made pioneering and influential discoveries in ma ...
and others, but often led to confusing and contradictory results. A major problem was Euler's idea that any divergent series should have a natural sum, without first defining what is meant by the sum of a divergent series.
Augustin-Louis Cauchy
Baron Augustin-Louis Cauchy (, ; ; 21 August 178923 May 1857) was a French mathematician, engineer, and physicist who made pioneering contributions to several branches of mathematics, including mathematical analysis and continuum mechanics. He ...
eventually gave a rigorous definition of the sum of a (convergent) series, and for some time after this, divergent series were mostly excluded from mathematics. They reappeared in 1886 with
Henri Poincaré
Jules Henri Poincaré ( S: stress final syllable ; 29 April 1854 – 17 July 1912) was a French mathematician, theoretical physicist, engineer, and philosopher of science. He is often described as a polymath, and in mathematics as "The ...
's work on asymptotic series. In 1890,
Ernesto Cesàro
__NOTOC__
Ernesto Cesàro (12 March 1859 – 12 September 1906) was an Italian mathematician who worked in the field of differential geometry. He wrote a book, ''Lezioni di geometria intrinseca'' (Naples, 1890), on this topic, in which he also ...
realized that one could give a rigorous definition of the sum of some divergent series, and defined
Cesàro summation
In mathematical analysis, Cesàro summation (also known as the Cesàro mean
) assigns values to some infinite sums that are not necessarily convergent in the usual sense. The Cesàro sum is defined as the limit, as ''n'' tends to infinity, of ...
. (This was not the first use of Cesàro summation, which was used implicitly by
Ferdinand Georg Frobenius
Ferdinand Georg Frobenius (26 October 1849 – 3 August 1917) was a German mathematician, best known for his contributions to the theory of elliptic functions, differential equations, number theory, and to group theory. He is known for the famous ...
in 1880; Cesàro's key contribution was not the discovery of this method, but his idea that one should give an explicit definition of the sum of a divergent series.) In the years after Cesàro's paper, several other mathematicians gave other definitions of the sum of a divergent series, although these are not always compatible: different definitions can give different answers for the sum of the same divergent series; so, when talking about the sum of a divergent series, it is necessary to specify which summation method one is using.
Theorems on methods for summing divergent series
A summability method ''M'' is ''
regular'' if it agrees with the actual limit on all
convergent series
In mathematics, a series is the sum of the terms of an infinite sequence of numbers. More precisely, an infinite sequence (a_0, a_1, a_2, \ldots) defines a series that is denoted
:S=a_0 +a_1+ a_2 + \cdots=\sum_^\infty a_k.
The th partial sum ...
. Such a result is called an ''
Abelian theorem In mathematics, Abelian and Tauberian theorems are theorems giving conditions for two methods of summing divergent series to give the same result, named after Niels Henrik Abel and Alfred Tauber. The original examples are Abel's theorem showing that ...
'' for ''M'', from the prototypical
Abel's theorem
In mathematics, Abel's theorem for power series relates a limit of a power series to the sum of its coefficients. It is named after Norwegian mathematician Niels Henrik Abel.
Theorem
Let the Taylor series
G (x) = \sum_^\infty a_k x^k
be a powe ...
. More subtle, are partial converse results, called ''
Tauberian theorems In mathematics, Abelian and Tauberian theorems are theorems giving conditions for two methods of summing divergent series to give the same result, named after Niels Henrik Abel and Alfred Tauber. The original examples are Abel's theorem showing that ...
'', from a prototype proved by
Alfred Tauber
Alfred Tauber (5 November 1866 – 26 July 1942) was a Hungarian-born Austrian mathematician, known for his contribution to mathematical analysis and to the theory of functions of a complex variable: he is the eponym of an important class of t ...
. Here ''partial converse'' means that if ''M'' sums the series ''Σ'', and some side-condition holds, then ''Σ'' was convergent in the first place; without any side-condition such a result would say that ''M'' only summed convergent series (making it useless as a summation method for divergent series).
The function giving the sum of a convergent series is ''
linear
Linearity is the property of a mathematical relationship (''function'') that can be graphically represented as a straight line. Linearity is closely related to '' proportionality''. Examples in physics include rectilinear motion, the linear r ...
'', and it follows from the
Hahn–Banach theorem
The Hahn–Banach theorem is a central tool in functional analysis.
It allows the extension of bounded linear functionals defined on a subspace of some vector space to the whole space, and it also shows that there are "enough" continuous linear f ...
that it may be extended to a summation method summing any series with bounded partial sums. This is called the ''
Banach limit
In mathematical analysis, a Banach limit is a continuous linear functional \phi: \ell^\infty \to \mathbb defined on the Banach space \ell^\infty of all bounded complex-valued sequences such that for all sequences x = (x_n), y = (y_n) in \ell^\inft ...
''. This fact is not very useful in practice, since there are many such extensions, inconsistent with each other, and also since proving such operators exist requires invoking the
axiom of choice
In mathematics, the axiom of choice, or AC, is an axiom of set theory equivalent to the statement that ''a Cartesian product of a collection of non-empty sets is non-empty''. Informally put, the axiom of choice says that given any collectio ...
or its equivalents, such as
Zorn's lemma. They are therefore nonconstructive.
The subject of divergent series, as a domain of
mathematical analysis
Analysis is the branch of mathematics dealing with continuous functions, limit (mathematics), limits, and related theories, such as Derivative, differentiation, Integral, integration, measure (mathematics), measure, infinite sequences, series (m ...
, is primarily concerned with explicit and natural techniques such as
Abel summation
In mathematics, a divergent series is an infinite series that is not convergent, meaning that the infinite sequence of the partial sums of the series does not have a finite limit.
If a series converges, the individual terms of the series mus ...
,
Cesàro summation
In mathematical analysis, Cesàro summation (also known as the Cesàro mean
) assigns values to some infinite sums that are not necessarily convergent in the usual sense. The Cesàro sum is defined as the limit, as ''n'' tends to infinity, of ...
and
Borel summation
In mathematics, Borel summation is a summation method for divergent series, introduced by . It is particularly useful for summing divergent asymptotic series, and in some sense gives the best possible sum for such series. There are several vari ...
, and their relationships. The advent of
Wiener's tauberian theorem In mathematical analysis, Wiener's tauberian theorem is any of several related results proved by Norbert Wiener in 1932. They provide a necessary and sufficient condition under which any function in or can be approximated by linear combinations ...
marked an epoch in the subject, introducing unexpected connections to
Banach algebra
In mathematics, especially functional analysis, a Banach algebra, named after Stefan Banach, is an associative algebra A over the real or complex numbers (or over a non-Archimedean complete normed field) that at the same time is also a Banach spa ...
methods in
Fourier analysis
In mathematics, Fourier analysis () is the study of the way general functions may be represented or approximated by sums of simpler trigonometric functions. Fourier analysis grew from the study of Fourier series, and is named after Josep ...
.
Summation of divergent series is also related to
extrapolation
In mathematics, extrapolation is a type of estimation, beyond the original observation range, of the value of a variable on the basis of its relationship with another variable. It is similar to interpolation, which produces estimates between know ...
methods and
sequence transformation
In mathematics, a sequence transformation is an operator acting on a given space of sequences (a sequence space). Sequence transformations include linear mappings such as convolution with another sequence, and resummation of a sequence and, more ...
s as numerical techniques. Examples of such techniques are
Padé approximant
In mathematics, a Padé approximant is the "best" approximation of a function near a specific point by a rational function of given order. Under this technique, the approximant's power series agrees with the power series of the function it is ap ...
s,
Levin-type sequence transformations, and order-dependent mappings related to
renormalization
Renormalization is a collection of techniques in quantum field theory, the statistical mechanics of fields, and the theory of self-similar geometric structures, that are used to treat infinities arising in calculated quantities by altering v ...
techniques for large-order
perturbation theory
In mathematics and applied mathematics, perturbation theory comprises methods for finding an approximate solution to a problem, by starting from the exact solution of a related, simpler problem. A critical feature of the technique is a middle ...
in
quantum mechanics
Quantum mechanics is a fundamental theory in physics that provides a description of the physical properties of nature at the scale of atoms and subatomic particles. It is the foundation of all quantum physics including quantum chemistry, ...
.
Properties of summation methods
Summation methods usually concentrate on the sequence of partial sums of the series. While this sequence does not converge, we may often find that when we take an average of larger and larger numbers of initial terms of the sequence, the average converges, and we can use this average instead of a limit to evaluate the sum of the series. A ''summation method'' can be seen as a function from a set of sequences of partial sums to values. If A is any summation method assigning values to a set of sequences, we may mechanically translate this to a ''series-summation method'' A
''Σ'' that assigns the same values to the corresponding series. There are certain properties it is desirable for these methods to possess if they are to arrive at values corresponding to limits and sums, respectively.
* Regularity. A summation method is ''regular'' if, whenever the sequence ''s'' converges to ''x'', Equivalently, the corresponding series-summation method evaluates
* Linearity. A is ''linear'' if it is a linear functional on the sequences where it is defined, so that for sequences ''r'', ''s'' and a real or complex scalar ''k''. Since the terms of the series ''a'' are linear functionals on the sequence ''s'' and vice versa, this is equivalent to A
''Σ'' being a linear functional on the terms of the series.
* Stability (also called ''translativity''). If ''s'' is a sequence starting from ''s''
0 and ''s''′ is the sequence obtained by omitting the first value and subtracting it from the rest, so that , then A(''s'') is defined if and only if A(''s''′) is defined, and Equivalently, whenever for all ''n'', then Another way of stating this is that the
shift rule
The shift rule is a mathematical rule for sequences and series.
Here n and N are natural numbers.
For sequences, the rule states that if (a_) is a sequence, then it converge
Converge may refer to:
* Converge (band), American hardcore punk ban ...
must be valid for the series that are summable by this method.
The third condition is less important, and some significant methods, such as
Borel summation
In mathematics, Borel summation is a summation method for divergent series, introduced by . It is particularly useful for summing divergent asymptotic series, and in some sense gives the best possible sum for such series. There are several vari ...
, do not possess it.
One can also give a weaker alternative to the last condition.
* Finite re-indexability. If ''a'' and ''a''′ are two series such that there exists a
bijection
In mathematics, a bijection, also known as a bijective function, one-to-one correspondence, or invertible function, is a function between the elements of two sets, where each element of one set is paired with exactly one element of the other s ...
such that for all ''i'', and if there exists some
such that for all ''i'' > ''N'', then (In other words, ''a''′ is the same series as ''a'', with only finitely many terms re-indexed.) This is a weaker condition than ''stability'', because any summation method that exhibits ''stability'' also exhibits ''finite re-indexability'', but the converse is not true.)
A desirable property for two distinct summation methods A and B to share is ''consistency'': A and B are
consistent
In classical deductive logic, a consistent theory is one that does not lead to a logical contradiction. The lack of contradiction can be defined in either semantic or syntactic terms. The semantic definition states that a theory is consistent i ...
if for every sequence ''s'' to which both assign a value, (Using this language, a summation method A is regular iff it is consistent with the standard sum Σ.) If two methods are consistent, and one sums more series than the other, the one summing more series is ''stronger''.
There are powerful numerical summation methods that are neither regular nor linear, for instance nonlinear
sequence transformation
In mathematics, a sequence transformation is an operator acting on a given space of sequences (a sequence space). Sequence transformations include linear mappings such as convolution with another sequence, and resummation of a sequence and, more ...
s like
Levin-type sequence transformations and
Padé approximant
In mathematics, a Padé approximant is the "best" approximation of a function near a specific point by a rational function of given order. Under this technique, the approximant's power series agrees with the power series of the function it is ap ...
s, as well as the order-dependent mappings of perturbative series based on
renormalization
Renormalization is a collection of techniques in quantum field theory, the statistical mechanics of fields, and the theory of self-similar geometric structures, that are used to treat infinities arising in calculated quantities by altering v ...
techniques.
Taking regularity, linearity and stability as axioms, it is possible to sum many divergent series by elementary algebraic manipulations. This partly explains why many different summation methods give the same answer for certain series.
For instance, whenever the
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 ...
:
can be evaluated regardless of convergence. More rigorously, any summation method that possesses these properties and which assigns a finite value to the geometric series must assign this value. However, when ''r'' is a real number larger than 1, the partial sums increase without bound, and averaging methods assign a limit of infinity.
Classical summation methods
The two classical summation methods for series, ordinary convergence and absolute convergence, define the sum as a limit of certain partial sums. These are included only for completeness; strictly speaking they are not true summation methods for divergent series since, by definition, a series is divergent only if these methods do not work. Most but not all summation methods for divergent series extend these methods to a larger class of sequences.
Absolute convergence
Absolute convergence defines the sum of a sequence (or set) of numbers to be the limit of the net of all partial sums , if it exists. It does not depend on the order of the elements of the sequence, and a classical theorem says that a sequence is absolutely convergent if and only if the sequence of absolute values is convergent in the standard sense.
Sum of a series
Cauchy's classical definition of the sum of a series defines the sum to be the limit of the sequence of partial sums . This is the default definition of convergence of a sequence.
Nørlund means
Suppose ''p
n'' is a sequence of positive terms, starting from ''p''
0. Suppose also that
:
If now we transform a sequence s by using ''p'' to give weighted means, setting
:
then the limit of ''t
n'' as ''n'' goes to infinity is an average called the ''
Nørlund mean'' N
''p''(''s'').
The Nørlund mean is regular, linear, and stable. Moreover, any two Nørlund means are consistent.
Cesàro summation
The most significant of the Nørlund means are the Cesàro sums. Here, if we define the sequence ''p
k'' by
:
then the Cesàro sum ''C''
''k'' is defined by Cesàro sums are Nørlund means if , and hence are regular, linear, stable, and consistent. ''C''
0 is ordinary summation, and ''C''
1 is ordinary
Cesàro summation
In mathematical analysis, Cesàro summation (also known as the Cesàro mean
) assigns values to some infinite sums that are not necessarily convergent in the usual sense. The Cesàro sum is defined as the limit, as ''n'' tends to infinity, of ...
. Cesàro sums have the property that if then ''C''
''h'' is stronger than ''C''
''k''.
Abelian means
Suppose is a strictly increasing sequence tending towards infinity, and that . Suppose
:
converges for all real numbers ''x'' > 0. Then the ''Abelian mean'' ''A''
''λ'' is defined as
:
More generally, if the series for ''f'' only converges for large ''x'' but can be analytically continued to all positive real ''x'', then one can still define the sum of the divergent series by the limit above.
A series of this type is known as a generalized
Dirichlet series
In mathematics, a Dirichlet series is any series of the form
\sum_^\infty \frac,
where ''s'' is complex, and a_n is a complex sequence. It is a special case of general Dirichlet series.
Dirichlet series play a variety of important roles in analyti ...
; in applications to physics, this is known as the method of ''
heat-kernel regularization''.
Abelian means are regular and linear, but not stable and not always consistent between different choices of ''λ''. However, some special cases are very important summation methods.
Abel summation
If , then we obtain the method of ''Abel summation''. Here
:
where ''z'' = exp(−''x''). Then the limit of ''f''(''x'') as ''x'' approaches 0 through
positive reals
In mathematics, the set of positive real numbers, \R_ = \left\, is the subset of those real numbers that are greater than zero. The non-negative real numbers, \R_ = \left\, also include zero. Although the symbols \R_ and \R^ are ambiguously used fo ...
is the limit of the power series for ''f''(''z'') as ''z'' approaches 1 from below through positive reals, and the Abel sum ''A''(''s'') is defined as
:
Abel summation is interesting in part because it is consistent with but more powerful than
Cesàro summation
In mathematical analysis, Cesàro summation (also known as the Cesàro mean
) assigns values to some infinite sums that are not necessarily convergent in the usual sense. The Cesàro sum is defined as the limit, as ''n'' tends to infinity, of ...
: whenever the latter is defined. The Abel sum is therefore regular, linear, stable, and consistent with Cesàro summation.
Lindelöf summation
If , then (indexing from one) we have
:
Then ''L''(''s''), the ''Lindelöf sum'' , is the limit of ''f''(''x'') as ''x'' goes to positive zero. The Lindelöf sum is a powerful method when applied to power series among other applications, summing power series in the
Mittag-Leffler star
In complex analysis, a branch of mathematics, the Mittag-Leffler star of a complex-analytic function is a set in the complex plane obtained by attempting to extend that function along rays emanating from a given point. This concept is named aft ...
.
If ''g''(''z'') is analytic in a disk around zero, and hence has a
Maclaurin series
Maclaurin or MacLaurin is a surname. Notable people with the surname include:
* Colin Maclaurin (1698–1746), Scottish mathematician
* Normand MacLaurin (1835–1914), Australian politician and university administrator
* Henry Normand MacLaurin ( ...
''G''(''z'') with a positive radius of convergence, then in the Mittag-Leffler star. Moreover, convergence to ''g''(''z'') is uniform on compact subsets of the star.
Analytic continuation
Several summation methods involve taking the value of an
analytic continuation
In complex analysis, a branch of mathematics, analytic continuation is a technique to extend the domain of definition of a given analytic function. Analytic continuation often succeeds in defining further values of a function, for example in a new ...
of a function.
Analytic continuation of power series
If Σ''a''
''n''''x''
''n'' converges for small complex ''x'' and can be analytically continued along some path from ''x'' = 0 to the point ''x'' = 1, then the sum of the series can be defined to be the value at ''x'' = 1. This value may depend on the choice of path. One of the first examples of potentially different sums for a divergent series, using analytic continuation, was given by Callet, who observed that if
then
Evaluating at
, one gets
However, the gaps in the series are key. For
for example, we actually would get
, so different sums correspond to different placements of the
's.
Euler summation
Euler summation is essentially an explicit form of analytic continuation. If a power series converges for small complex ''z'' and can be analytically continued to the open disk with diameter from to 1 and is continuous at 1, then its value at ''q'' is called the Euler or (E,''q'') sum of the series Σ''a''
''n''. Euler used it before analytic continuation was defined in general, and gave explicit formulas for the power series of the analytic continuation.
The operation of Euler summation can be repeated several times, and this is essentially equivalent to taking an analytic continuation of a power series to the point ''z'' = 1.
Analytic continuation of Dirichlet series
This method defines the sum of a series to be the value of the analytic continuation of the Dirichlet series
:
at ''s'' = 0, if this exists and is unique. This method is sometimes confused with zeta function regularization.
If ''s'' = 0 is an isolated singularity, the sum is defined by the constant term of the Laurent series expansion.
Zeta function regularization
If the series
:
(for positive values of the ''a''
''n'') converges for large real ''s'' and can be
analytically continued
In complex analysis, a branch of mathematics, analytic continuation is a technique to extend the domain of definition of a given analytic function. Analytic continuation often succeeds in defining further values of a function, for example in a ne ...
along the real line to ''s'' = −1, then its value at ''s'' = −1 is called the
zeta regularized sum of the series ''a''
1 + ''a''
2 + ... Zeta function regularization is nonlinear. In applications, the numbers ''a''
''i'' are sometimes the eigenvalues of a self-adjoint operator ''A'' with compact resolvent, and ''f''(''s'') is then the trace of ''A''
−''s''. For example, if ''A'' has eigenvalues 1, 2, 3, ... then ''f''(''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) > ...
, ''ζ''(''s''), whose value at ''s'' = −1 is −, assigning a value to the divergent series . Other values of ''s'' can also be used to assign values for the divergent sums , and in general
:
where ''B
k'' 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, ...
.
Integral function means
If ''J''(''x'') = Σ''p''
''n''''x''
''n'' is an integral function, then the ''J'' sum of the series ''a''
0 + ... is defined to be
:
if this limit exists.
There is a variation of this method where the series for ''J'' has a finite radius of convergence ''r'' and diverges at ''x'' = ''r''. In this case one defines the sum as above, except taking the limit as ''x'' tends to ''r'' rather than infinity.
Borel summation
In the special case when ''J''(''x'') = ''e''
''x'' this gives one (weak) form of
Borel summation
In mathematics, Borel summation is a summation method for divergent series, introduced by . It is particularly useful for summing divergent asymptotic series, and in some sense gives the best possible sum for such series. There are several vari ...
.
Valiron's method
Valiron's method is a generalization of Borel summation to certain more general integral functions ''J''. Valiron showed that under certain conditions it is equivalent to defining the sum of a series as
:
where ''H'' is the second derivative of ''G'' and ''c''(''n'') = ''e''
−''G''(''n''), and ''a''
0 + ... + ''a''
''h'' is to be interpreted as 0 when ''h'' < 0.
Moment methods
Suppose that ''dμ'' is a measure on the real line such that all the moments
:
are finite. If ''a''
0 + ''a''
1 + ... is a series such that
:
converges for all ''x'' in the support of ''μ'', then the (''dμ'') sum of the series is defined to be the value of the integral
:
if it is defined. (If the numbers ''μ''
''n'' increase too rapidly then they do not uniquely determine the measure ''μ''.)
Borel summation
For example, if ''dμ'' = ''e''
−''x'' ''dx'' for positive ''x'' and 0 for negative ''x'' then ''μ''
''n'' = ''n''!, and this gives one version of
Borel summation
In mathematics, Borel summation is a summation method for divergent series, introduced by . It is particularly useful for summing divergent asymptotic series, and in some sense gives the best possible sum for such series. There are several vari ...
, where the value of a sum is given by
:
There is a generalization of this depending on a variable ''α'', called the (B′,''α'') sum, where the sum of a series ''a''
0 + ... is defined to be
:
if this integral exists. A further generalization is to replace the sum under the integral by its analytic continuation from small ''t''.
Miscellaneous methods
BGN hyperreal summation
This summation method works by using an extension to the real numbers known as the
hyperreal numbers
In mathematics, the system of hyperreal numbers is a way of treating infinite and infinitesimal (infinitely small but non-zero) quantities. The hyperreals, or nonstandard reals, *R, are an extension of the real numbers R that contains numbers ...
. Since the hyperreal numbers include distinct infinite values, these numbers can be used to represent the values of divergent series. The key method is to designate a particular infinite value that is being summed, usually
, which is used as a unit of infinity. Instead of summing to an arbitrary infinity (as is typically done with
), the BGN method sums to the specific hyperreal infinite value labeled
. Therefore, the summations are of the form
:
This allows the usage of standard formulas for finite series such as
arithmetic progressions
An arithmetic progression or arithmetic sequence () is a sequence of numbers such that the difference between the consecutive terms is constant. For instance, the sequence 5, 7, 9, 11, 13, 15, . . . is an arithmetic progression with a common differ ...
in an infinite context. For instance, using this method, the sum of the progression
is
, or, using just the most significant infinite hyperreal part,
.
Hausdorff transformations
.
Hölder summation
Hutton's method
In 1812 Hutton introduced a method of summing divergent series by starting with the sequence of partial sums, and repeatedly applying the operation of replacing a sequence ''s''
0, ''s''
1, ... by the sequence of averages , , ..., and then taking the limit .
Ingham summability
The series ''a''
1 + ... is called Ingham summable to ''s'' if
:
Albert Ingham
Albert Edward Ingham (3 April 1900 – 6 September 1967) was an English mathematician.
Early life and education
Ingham was born in Northampton. He went to Stafford Grammar School and began his studies at Trinity College, Cambridge in January 1 ...
showed that if ''δ'' is any positive number then (C,−''δ'') (Cesàro) summability implies Ingham summability, and Ingham summability implies (C,''δ'') summability .
Lambert summability
The series ''a''
1 + ... is called
Lambert summable to ''s'' if
:
If a series is (C,''k'') (Cesàro) summable for any ''k'' then it is Lambert summable to the same value, and if a series is Lambert summable then it is Abel summable to the same value .
Le Roy summation
The series ''a''
0 + ... is called Le Roy summable to ''s'' if
:
Mittag-Leffler summation
The series ''a''
0 + ... is called Mittag-Leffler (M) summable to ''s'' if
:
Ramanujan summation
Ramanujan summation is a method of assigning a value to divergent series used by Ramanujan and based on the
Euler–Maclaurin summation formula. The Ramanujan sum of a series ''f''(0) + ''f''(1) + ... depends not only on the values of ''f'' at integers, but also on values of the function ''f'' at non-integral points, so it is not really a summation method in the sense of this article.
Riemann summability
The series ''a''
1 + ... is called (R,''k'') (or Riemann) summable to ''s'' if
:
The series ''a''
1 + ... is called R
2 summable to ''s'' if
:
Riesz means
If ''λ''
''n'' form an increasing sequence of real numbers and
: