fbpx
Wikipedia

Divergent series

Les séries divergentes sont en général quelque chose de bien fatal et c’est une honte qu’on ose y fonder aucune démonstration. ("Divergent series are in general something fatal, and it is a disgrace to base any proof on them." Often translated as "Divergent series are an invention of the devil …")

N. H. Abel, letter to Holmboe, January 1826, reprinted in volume 2 of his collected papers.

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 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 is the harmonic series

The divergence of the harmonic series was proven by the medieval mathematician Nicole Oresme.

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 from the set of series to values. For example, Cesàro summation assigns Grandi's divergent series

the value 1/2. Cesàro summation is an averaging method, in that it relies on the arithmetic mean of the sequence of partial sums. Other methods involve analytic continuations of related series. In physics, there are a wide variety of summability methods; these are discussed in greater detail in the article on regularization.

History Edit

... but it is broadly true to say that mathematicians before Cauchy asked not 'How shall we define 1 − 1 + 1...?' but 'What is 1 − 1 + 1...?', and that this habit of mind led them into unnecessary perplexities and controversies which were often really verbal.

G. H. Hardy, Divergent series, page 6

Before the 19th century, divergent series were widely used by Leonhard Euler 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 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é's work on asymptotic series. In 1890, Ernesto Cesàro realized that one could give a rigorous definition of the sum of some divergent series, and defined Cesàro summation. (This was not the first use of Cesàro summation, which was used implicitly by Ferdinand Georg Frobenius 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.

Examples Edit

  • 1 - 1 + 1 - 1 + ⋯ 
  • 1 − 2 + 3 − 4 +  
  • 1 − 1 + 2 − 6 + 24 − 120 +  
  • 1 − 2 + 4 − 8 + ⋯ 
  • 1 + 2 + 4 + 8 + ⋯ 
  • 1 + 1 + 1 + 1 +  
  • 1 + 2 + 3 + 4 +  

Theorems on methods for summing divergent series Edit

A summability method M is regular if it agrees with the actual limit on all convergent series. Such a result is called an Abelian theorem for M, from the prototypical Abel's theorem. More subtle, are partial converse results, called Tauberian theorems, from a prototype proved by Alfred Tauber. 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, and it follows from the Hahn–Banach theorem that it may be extended to a summation method summing any series with bounded partial sums. This is called the Banach limit. 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 or its equivalents, such as Zorn's lemma. They are therefore nonconstructive.

The subject of divergent series, as a domain of mathematical analysis, is primarily concerned with explicit and natural techniques such as Abel summation, Cesàro summation and Borel summation, and their relationships. The advent of Wiener's tauberian theorem marked an epoch in the subject, introducing unexpected connections to Banach algebra methods in Fourier analysis.

Summation of divergent series is also related to extrapolation methods and sequence transformations as numerical techniques. Examples of such techniques are Padé approximants, Levin-type sequence transformations, and order-dependent mappings related to renormalization techniques for large-order perturbation theory in quantum mechanics.

Properties of summation methods Edit

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, A(s) = x. Equivalently, the corresponding series-summation method evaluates AΣ(a) = x.
  • Linearity. A is linear if it is a linear functional on the sequences where it is defined, so that A(k r + s) = k A(r) + A(s) for sequences r, s and a real or complex scalar k. Since the terms an+1 = sn+1sn 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 s0 and s′ is the sequence obtained by omitting the first value and subtracting it from the rest, so that sn = sn+1s0, then A(s) is defined if and only if A(s′) is defined, and A(s) = s0 + A(s′). Equivalently, whenever an = an+1 for all n, then AΣ(a) = a0 + AΣ(a′).[1][2] Another way of stating this is that the shift rule 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, do not possess it.[3]

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   such that ai = af(i) for all i, and if there exists some   such that ai = ai for all i > N, then AΣ(a) = AΣ(a′). (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 if for every sequence s to which both assign a value, A(s) = B(s). (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 transformations like Levin-type sequence transformations and Padé approximants, as well as the order-dependent mappings of perturbative series based on renormalization 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 r ≠ 1, the geometric series

 

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 Edit

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 Edit

Absolute convergence defines the sum of a sequence (or set) of numbers to be the limit of the net of all partial sums ak1 + ... + akn, 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 Edit

Cauchy's classical definition of the sum of a series a0 + a1 + ... defines the sum to be the limit of the sequence of partial sums a0 + ... + an. This is the default definition of convergence of a sequence.

Nørlund means Edit

Suppose pn is a sequence of positive terms, starting from p0. Suppose also that

 

If now we transform a sequence s by using p to give weighted means, setting

 

then the limit of tn as n goes to infinity is an average called the Nørlund mean Np(s).

The Nørlund mean is regular, linear, and stable. Moreover, any two Nørlund means are consistent.

Cesàro summation Edit

The most significant of the Nørlund means are the Cesàro sums. Here, if we define the sequence pk by

 

then the Cesàro sum Ck is defined by Ck(s) = N(pk)(s). Cesàro sums are Nørlund means if k ≥ 0, and hence are regular, linear, stable, and consistent. C0 is ordinary summation, and C1 is ordinary Cesàro summation. Cesàro sums have the property that if h > k, then Ch is stronger than Ck.

Abelian means Edit

Suppose λ = {λ0, λ1, λ2,...} is a strictly increasing sequence tending towards infinity, and that λ0 ≥ 0. 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 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 Edit

If λn = n, 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 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: A(s) = Ck(s) whenever the latter is defined. The Abel sum is therefore regular, linear, stable, and consistent with Cesàro summation.

Lindelöf summation Edit

If λn = n log(n), then (indexing from one) we have

 

Then L(s), the Lindelöf sum (Volkov 2001), 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.

If g(z) is analytic in a disk around zero, and hence has a Maclaurin series G(z) with a positive radius of convergence, then L(G(z)) = g(z) in the Mittag-Leffler star. Moreover, convergence to g(z) is uniform on compact subsets of the star.

Analytic continuation Edit

Several summation methods involve taking the value of an analytic continuation of a function.

Analytic continuation of power series Edit

If Σanxn 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,[4] 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 Edit

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 −1/q + 1 to 1 and is continuous at 1, then its value at q is called the Euler or (E,q) sum of the series Σan. 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 Edit

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 Edit

If the series

 

(for positive values of the an) converges for large real s and can be analytically continued along the real line to s = −1, then its value at s = −1 is called the zeta regularized sum of the series a1 + a2 + ... Zeta function regularization is nonlinear. In applications, the numbers ai are sometimes the eigenvalues of a self-adjoint operator A with compact resolvent, and f(s) is then the trace of As. For example, if A has eigenvalues 1, 2, 3, ... then f(s) is the Riemann zeta function, ζ(s), whose value at s = −1 is −1/12, assigning a value to the divergent series 1 + 2 + 3 + 4 + .... Other values of s can also be used to assign values for the divergent sums ζ(0) = 1 + 1 + 1 + ... = −1/2, ζ(−2) = 1 + 4 + 9 + ... = 0 and in general

 

where Bk is a Bernoulli number.[5]

Integral function means Edit

If J(x) = Σpnxn is an integral function, then the J sum of the series a0 + ... 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 Edit

In the special case when J(x) = ex this gives one (weak) form of Borel summation.

Valiron's method Edit

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) = eG(n), and a0 + ... + ah is to be interpreted as 0 when h < 0.

Moment methods Edit

Suppose that is a measure on the real line such that all the moments

 

are finite. If a0 + a1 + ... is a series such that

 

converges for all x in the support of μ, then the () 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 Edit

For example, if  = ex dx for positive x and 0 for negative x then μn = n!, and this gives one version of Borel summation, 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 a0 + ... 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 Edit

BGN hyperreal summation Edit

This summation method works by using an extension to the real numbers known as the hyperreal 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 in an infinite context. For instance, using this method, the sum of the progression   is  , or, using just the most significant infinite hyperreal part,  .[6]

Hausdorff transformations Edit

Hardy (1949, chapter 11).

Hölder summation Edit

Hutton's method Edit

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 s0s1, ... by the sequence of averages s0 + s1/2, s1 + s2/2, ..., and then taking the limit (Hardy 1949, p. 21).

Ingham summability Edit

The series a1 + ... is called Ingham summable to s if

 

Albert Ingham showed that if δ is any positive number then (C,−δ) (Cesàro) summability implies Ingham summability, and Ingham summability implies (C,δ) summability Hardy (1949, Appendix II).

Lambert summability Edit

The series a1 + ... 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 Hardy (1949, Appendix II).

Le Roy summation Edit

The series a0 + ... is called Le Roy[citation needed] summable to s if

 

Hardy (1949, 4.11)

Mittag-Leffler summation Edit

The series a0 + ... is called Mittag-Leffler (M) summable to s if

 

Hardy (1949, 4.11)

Ramanujan summation Edit

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 Edit

The series a1 + ... is called (R,k) (or Riemann) summable to s if

 

Hardy (1949, 4.17) The series a1 + ... is called R2 summable to s if

 

Riesz means Edit

If λn form an increasing sequence of real numbers and

 

then the Riesz (R,λ,κ) sum of the series a0 + ... is defined to be

 

Vallée-Poussin summability Edit

The series a1 + ... is called VP (or Vallée-Poussin) summable to s if

 

where   is the gamma function. Hardy (1949, 4.17).

See also Edit

Notes Edit

  1. ^ "Summation methods". Michon's Numericana.
  2. ^ "Translativity". The Encyclopedia of Mathematics. Springer.
  3. ^ Muraev, E. B. (1978), "Borel summation of n-multiple series, and entire functions associated with them", Akademiya Nauk SSSR, 19 (6): 1332–1340, 1438, MR 0515185. Muraev observes that Borel summation is translative in one of the two directions: augmenting a series by a zero placed at its start does not change the summability or value of the series. However, he states "the converse is false".
  4. ^ Hardy 1949, p. 14.
  5. ^ Tao, Terence (10 April 2010). "The Euler-Maclaurin formula, Bernoulli numbers, the zeta function, and real-variable analytic continuation".
  6. ^ Bartlett, Jonathan; Gaastra, Logan; Nemati, David (January 2020). "Hyperreal Numbers for Infinite Divergent Series". Communications of the Blyth Institute. 2 (1): 7–15. arXiv:1804.11342. doi:10.33014/issn.2640-5652.2.1.bartlett-et-al.1. S2CID 119665957.

References Edit

  • Arteca, G.A.; Fernández, F.M.; Castro, E.A. (1990), Large-Order Perturbation Theory and Summation Methods in Quantum Mechanics, Berlin: Springer-Verlag.
  • Baker, Jr., G. A.; Graves-Morris, P. (1996), Padé Approximants, Cambridge University Press.
  • Brezinski, C.; Redivo Zaglia, M. (1991), Extrapolation Methods. Theory and Practice, North-Holland.
  • Hardy, G. H. (1949), Divergent Series, Oxford: Clarendon Press.
  • LeGuillou, J.-C.; Zinn-Justin, J. (1990), Large-Order Behaviour of Perturbation Theory, Amsterdam: North-Holland.
  • Volkov, I.I. (2001) [1994], "Lindelöf summation method", Encyclopedia of Mathematics, EMS Press.
  • Zakharov, A.A. (2001) [1994], "Abel summation method", Encyclopedia of Mathematics, EMS Press.
  • "Riesz summation method", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
  • Werner Balser: "From Divergent Power Series to Analytic Functions", Springer-Verlag, LNM 1582, ISBN 0-387-58268-1 (1994).
  • William O. Bray and Časlav V. Stanojević(Eds.): "Analysis of Divergence", Springer, ISBN 978-1-4612-7467-4 (1999).
  • Alexander I. Saichev and Wojbor Woyczynski:"Distributions in the Physical and Engineering Sciences, Volume 1", Chap.8 "Summation of divergent series and integrals",Springer (2018).

divergent, series, book, series, divergent, book, series, film, series, divergent, series, séries, divergentes, sont, général, quelque, chose, bien, fatal, honte, fonder, aucune, démonstration, general, something, fatal, disgrace, base, proof, them, often, tra. For the book series see Divergent book series For the film series see The Divergent Series Les series divergentes sont en general quelque chose de bien fatal et c est une honte qu on ose y fonder aucune demonstration Divergent series are in general something fatal and it is a disgrace to base any proof on them Often translated as Divergent series are an invention of the devil N H Abel letter to Holmboe January 1826 reprinted in volume 2 of his collected papers 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 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 is the harmonic series 1 1 2 1 3 1 4 1 5 n 1 1 n displaystyle 1 frac 1 2 frac 1 3 frac 1 4 frac 1 5 cdots sum n 1 infty frac 1 n The divergence of the harmonic series was proven by the medieval mathematician Nicole Oresme 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 from the set of series to values For example Cesaro summation assigns Grandi s divergent series 1 1 1 1 displaystyle 1 1 1 1 cdots the value 1 2 Cesaro summation is an averaging method in that it relies on the arithmetic mean of the sequence of partial sums Other methods involve analytic continuations of related series In physics there are a wide variety of summability methods these are discussed in greater detail in the article on regularization Contents 1 History 2 Examples 3 Theorems on methods for summing divergent series 4 Properties of summation methods 5 Classical summation methods 5 1 Absolute convergence 5 2 Sum of a series 6 Norlund means 6 1 Cesaro summation 7 Abelian means 7 1 Abel summation 7 2 Lindelof summation 8 Analytic continuation 8 1 Analytic continuation of power series 8 2 Euler summation 8 3 Analytic continuation of Dirichlet series 8 4 Zeta function regularization 9 Integral function means 9 1 Borel summation 9 2 Valiron s method 10 Moment methods 10 1 Borel summation 11 Miscellaneous methods 11 1 BGN hyperreal summation 11 2 Hausdorff transformations 11 3 Holder summation 11 4 Hutton s method 11 5 Ingham summability 11 6 Lambert summability 11 7 Le Roy summation 11 8 Mittag Leffler summation 11 9 Ramanujan summation 11 10 Riemann summability 11 11 Riesz means 11 12 Vallee Poussin summability 12 See also 13 Notes 14 ReferencesHistory Edit but it is broadly true to say that mathematicians before Cauchy asked not How shall we define 1 1 1 but What is 1 1 1 and that this habit of mind led them into unnecessary perplexities and controversies which were often really verbal G H Hardy Divergent series page 6 Before the 19th century divergent series were widely used by Leonhard Euler 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 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 Poincare s work on asymptotic series In 1890 Ernesto Cesaro realized that one could give a rigorous definition of the sum of some divergent series and defined Cesaro summation This was not the first use of Cesaro summation which was used implicitly by Ferdinand Georg Frobenius in 1880 Cesaro 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 Cesaro 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 Examples Edit1 1 1 1 1 2 displaystyle text frac 1 2 1 2 3 4 1 4 displaystyle text frac 1 4 1 1 2 6 24 120 0 e x 1 x d x 0 596 347 displaystyle text int 0 infty frac e x 1 x dx approx 0 596 347 ldots 1 2 4 8 1 3 displaystyle text frac 1 3 1 2 4 8 1 displaystyle text 1 1 1 1 1 1 2 displaystyle text frac 1 2 1 2 3 4 1 12 displaystyle text frac 1 12 Theorems on methods for summing divergent series EditA summability method M is regular if it agrees with the actual limit on all convergent series Such a result is called an Abelian theorem for M from the prototypical Abel s theorem More subtle are partial converse results called Tauberian theorems from a prototype proved by Alfred Tauber Here partial converse means that if M sums the series S and some side condition holds then S 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 and it follows from the Hahn Banach theorem that it may be extended to a summation method summing any series with bounded partial sums This is called the Banach limit 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 or its equivalents such as Zorn s lemma They are therefore nonconstructive The subject of divergent series as a domain of mathematical analysis is primarily concerned with explicit and natural techniques such as Abel summation Cesaro summation and Borel summation and their relationships The advent of Wiener s tauberian theorem marked an epoch in the subject introducing unexpected connections to Banach algebra methods in Fourier analysis Summation of divergent series is also related to extrapolation methods and sequence transformations as numerical techniques Examples of such techniques are Pade approximants Levin type sequence transformations and order dependent mappings related to renormalization techniques for large order perturbation theory in quantum mechanics Properties of summation methods EditSummation 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 AS 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 A s x Equivalently the corresponding series summation method evaluates AS a x Linearity A is linear if it is a linear functional on the sequences where it is defined so that A k r s k A r A s for sequences r s and a real or complex scalar k Since the terms an 1 sn 1 sn of the series a are linear functionals on the sequence s and vice versa this is equivalent to AS being a linear functional on the terms of the series Stability also called translativity If s is a sequence starting from s0 and s is the sequence obtained by omitting the first value and subtracting it from the rest so that s n sn 1 s0 then A s is defined if and only if A s is defined and A s s0 A s Equivalently whenever a n an 1 for all n then AS a a0 AS a 1 2 Another way of stating this is that the shift rule 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 do not possess it 3 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 f N N displaystyle f mathbb N rightarrow mathbb N such that ai a f i for all i and if there exists some N N displaystyle N in mathbb N such that ai a i for all i gt N then AS a AS a 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 if for every sequence s to which both assign a value A s B s Using this language a summation method A is regular iff it is consistent with the standard sum S 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 transformations like Levin type sequence transformations and Pade approximants as well as the order dependent mappings of perturbative series based on renormalization 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 r 1 the geometric series G r c k 0 c r k c k 0 c r k 1 stability c r k 0 c r k linearity c r G r c hence G r c c 1 r unless it is infinite displaystyle begin aligned G r c amp sum k 0 infty cr k amp amp amp c sum k 0 infty cr k 1 amp amp text stability amp c r sum k 0 infty cr k amp amp text linearity amp c r G r c amp amp text hence G r c amp frac c 1 r text unless it is infinite amp amp end aligned 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 EditThe 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 Edit Absolute convergence defines the sum of a sequence or set of numbers to be the limit of the net of all partial sums ak1 akn 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 Edit Cauchy s classical definition of the sum of a series a0 a1 defines the sum to be the limit of the sequence of partial sums a0 an This is the default definition of convergence of a sequence Norlund means EditSuppose pn is a sequence of positive terms starting from p0 Suppose also that p n p 0 p 1 p n 0 displaystyle frac p n p 0 p 1 cdots p n rightarrow 0 If now we transform a sequence s by using p to give weighted means setting t m p m s 0 p m 1 s 1 p 0 s m p 0 p 1 p m displaystyle t m frac p m s 0 p m 1 s 1 cdots p 0 s m p 0 p 1 cdots p m then the limit of tn as n goes to infinity is an average called the Norlund mean Np s The Norlund mean is regular linear and stable Moreover any two Norlund means are consistent Cesaro summation Edit The most significant of the Norlund means are the Cesaro sums Here if we define the sequence pk by p n k n k 1 k 1 displaystyle p n k n k 1 choose k 1 then the Cesaro sum Ck is defined by Ck s N pk s Cesaro sums are Norlund means if k 0 and hence are regular linear stable and consistent C0 is ordinary summation and C1 is ordinary Cesaro summation Cesaro sums have the property that if h gt k then Ch is stronger than Ck Abelian means EditSuppose l l0 l1 l2 is a strictly increasing sequence tending towards infinity and that l0 0 Suppose f x n 0 a n e l n x displaystyle f x sum n 0 infty a n e lambda n x converges for all real numbers x gt 0 Then the Abelian mean Al is defined as A l s lim x 0 f x displaystyle A lambda s lim x rightarrow 0 f x 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 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 l However some special cases are very important summation methods Abel summation Edit See also Abel s theorem If ln n then we obtain the method of Abel summation Here f x n 0 a n e n x n 0 a n z n displaystyle f x sum n 0 infty a n e nx sum n 0 infty a n z n where z exp x Then the limit of f x as x approaches 0 through positive reals 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 A s lim z 1 n 0 a n z n displaystyle A s lim z rightarrow 1 sum n 0 infty a n z n Abel summation is interesting in part because it is consistent with but more powerful than Cesaro summation A s Ck s whenever the latter is defined The Abel sum is therefore regular linear stable and consistent with Cesaro summation Lindelof summation Edit If ln n log n then indexing from one we have f x a 1 a 2 2 2 x a 3 3 3 x displaystyle f x a 1 a 2 2 2x a 3 3 3x cdots Then L s the Lindelof sum Volkov 2001 is the limit of f x as x goes to positive zero The Lindelof sum is a powerful method when applied to power series among other applications summing power series in the Mittag Leffler star If g z is analytic in a disk around zero and hence has a Maclaurin series G z with a positive radius of convergence then L G z g z in the Mittag Leffler star Moreover convergence to g z is uniform on compact subsets of the star Analytic continuation EditSeveral summation methods involve taking the value of an analytic continuation of a function Analytic continuation of power series Edit If Sanxn 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 4 who observed that if 1 m lt n displaystyle 1 leq m lt n then1 x m 1 x n 1 x x m 1 1 x x n 1 1 x m x n x n m x 2 n displaystyle frac 1 x m 1 x n frac 1 x dots x m 1 1 x dots x n 1 1 x m x n x n m x 2n dots Evaluating at x 1 displaystyle x 1 one gets1 1 1 1 m n displaystyle 1 1 1 1 dots frac m n However the gaps in the series are key For m 1 n 3 displaystyle m 1 n 3 for example we actually would get1 1 0 1 1 0 1 1 1 3 displaystyle 1 1 0 1 1 0 1 1 dots frac 1 3 so different sums correspond to different placements of the 0 displaystyle 0 s Euler summation Edit Main article 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 1 q 1 to 1 and is continuous at 1 then its value at q is called the Euler or E q sum of the series San 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 Edit This method defines the sum of a series to be the value of the analytic continuation of the Dirichlet series f s a 1 1 s a 2 2 s a 3 3 s displaystyle f s frac a 1 1 s frac a 2 2 s frac a 3 3 s cdots 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 Edit Main article Zeta function regularization If the series f s 1 a 1 s 1 a 2 s 1 a 3 s displaystyle f s frac 1 a 1 s frac 1 a 2 s frac 1 a 3 s cdots for positive values of the an converges for large real s and can be analytically continued along the real line to s 1 then its value at s 1 is called the zeta regularized sum of the series a1 a2 Zeta function regularization is nonlinear In applications the numbers ai 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 z s whose value at s 1 is 1 12 assigning a value to the divergent series 1 2 3 4 Other values of s can also be used to assign values for the divergent sums z 0 1 1 1 1 2 z 2 1 4 9 0 and in general z s n 1 n s 1 s 2 s 3 s B s 1 s 1 displaystyle zeta s sum n 1 infty n s 1 s 2 s 3 s cdots frac B s 1 s 1 where Bk is a Bernoulli number 5 Integral function means EditIf J x Spnxn is an integral function then the J sum of the series a0 is defined to be lim x n p n a 0 a n x n n p n x n displaystyle lim x rightarrow infty frac sum n p n a 0 cdots a n x n sum n p n x n 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 Edit In the special case when J x ex this gives one weak form of Borel summation Valiron s method Edit 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 lim n H n 2 p h Z e 1 2 h 2 H n a 0 a h displaystyle lim n rightarrow infty sqrt frac H n 2 pi sum h in Z e frac 1 2 h 2 H n a 0 cdots a h where H is the second derivative of G and c n e G n and a0 ah is to be interpreted as 0 when h lt 0 Moment methods EditSuppose that dm is a measure on the real line such that all the moments m n x n d m displaystyle mu n int x n d mu are finite If a0 a1 is a series such that a x a 0 x 0 m 0 a 1 x 1 m 1 displaystyle a x frac a 0 x 0 mu 0 frac a 1 x 1 mu 1 cdots converges for all x in the support of m then the dm sum of the series is defined to be the value of the integral a x d m displaystyle int a x d mu if it is defined If the numbers mn increase too rapidly then they do not uniquely determine the measure m Borel summation Edit For example if dm e x dx for positive x and 0 for negative x then mn n and this gives one version of Borel summation where the value of a sum is given by 0 e t a n t n n d t displaystyle int 0 infty e t sum frac a n t n n dt There is a generalization of this depending on a variable a called the B a sum where the sum of a series a0 is defined to be 0 e t a n t n a G n a 1 d t displaystyle int 0 infty e t sum frac a n t n alpha Gamma n alpha 1 dt if this integral exists A further generalization is to replace the sum under the integral by its analytic continuation from small t Miscellaneous methods EditBGN hyperreal summation Edit This summation method works by using an extension to the real numbers known as the hyperreal 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 w displaystyle omega which is used as a unit of infinity Instead of summing to an arbitrary infinity as is typically done with displaystyle infty the BGN method sums to the specific hyperreal infinite value labeled w displaystyle omega Therefore the summations are of the form x 1 w f x displaystyle sum x 1 omega f x This allows the usage of standard formulas for finite series such as arithmetic progressions in an infinite context For instance using this method the sum of the progression 1 2 3 displaystyle 1 2 3 ldots is w 2 2 w 2 displaystyle frac omega 2 2 frac omega 2 or using just the most significant infinite hyperreal part w 2 2 displaystyle frac omega 2 2 6 Hausdorff transformations Edit Hardy 1949 chapter 11 Holder summation Edit Main article Holder summation Hutton s method Edit 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 s0 s1 by the sequence of averages s0 s1 2 s1 s2 2 and then taking the limit Hardy 1949 p 21 Ingham summability Edit The series a1 is called Ingham summable to s if lim x 1 n x a n n x x n s displaystyle lim x rightarrow infty sum 1 leq n leq x a n frac n x left frac x n right s Albert Ingham showed that if d is any positive number then C d Cesaro summability implies Ingham summability and Ingham summability implies C d summability Hardy 1949 Appendix II Lambert summability Edit The series a1 is called Lambert summable to s if lim y 0 n 1 a n n y e n y 1 e n y s displaystyle lim y rightarrow 0 sum n geq 1 a n frac nye ny 1 e ny s If a series is C k Cesaro 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 Hardy 1949 Appendix II Le Roy summation Edit The series a0 is called Le Roy citation needed summable to s if lim z 1 n G 1 z n G 1 n a n s displaystyle lim zeta rightarrow 1 sum n frac Gamma 1 zeta n Gamma 1 n a n s Hardy 1949 4 11 Mittag Leffler summation Edit The series a0 is called Mittag Leffler M summable to s if lim d 0 n a n G 1 d n s displaystyle lim delta rightarrow 0 sum n frac a n Gamma 1 delta n s Hardy 1949 4 11 Ramanujan summation Edit Main article 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 Edit The series a1 is called R k or Riemann summable to s if lim h 0 n a n sin n h n h k s displaystyle lim h rightarrow 0 sum n a n left frac sin nh nh right k s Hardy 1949 4 17 The series a1 is called R2 summable to s if lim h 0 2 p n sin 2 n h n 2 h a 1 a n s displaystyle lim h rightarrow 0 frac 2 pi sum n frac sin 2 nh n 2 h a 1 cdots a n s Riesz means Edit Main article Riesz mean If ln form an increasing sequence of real numbers and A l x a 0 a n for l n lt x l n 1 displaystyle A lambda x a 0 cdots a n text for lambda n lt x leq lambda n 1 then the Riesz R l k sum of the series a0 is defined to be lim w k w k 0 w A l x w x k 1 d x displaystyle lim omega rightarrow infty frac kappa omega kappa int 0 omega A lambda x omega x kappa 1 dx Vallee Poussin summability Edit The series a1 is called VP or Vallee Poussin summable to s if lim m k 0 m a k G m 1 2 G m 1 k G m 1 k lim m a 0 a 1 m m 1 a 2 m m 1 m 1 m 2 s displaystyle lim m rightarrow infty sum k 0 m a k frac Gamma m 1 2 Gamma m 1 k Gamma m 1 k lim m rightarrow infty left a 0 a 1 frac m m 1 a 2 frac m m 1 m 1 m 2 cdots right s where G x displaystyle Gamma x is the gamma function Hardy 1949 4 17 See also EditSilverman Toeplitz theoremNotes Edit Summation methods Michon s Numericana Translativity The Encyclopedia of Mathematics Springer Muraev E B 1978 Borel summation of n multiple series and entire functions associated with them Akademiya Nauk SSSR 19 6 1332 1340 1438 MR 0515185 Muraev observes that Borel summation is translative in one of the two directions augmenting a series by a zero placed at its start does not change the summability or value of the series However he states the converse is false Hardy 1949 p 14 Tao Terence 10 April 2010 The Euler Maclaurin formula Bernoulli numbers the zeta function and real variable analytic continuation Bartlett Jonathan Gaastra Logan Nemati David January 2020 Hyperreal Numbers for Infinite Divergent Series Communications of the Blyth Institute 2 1 7 15 arXiv 1804 11342 doi 10 33014 issn 2640 5652 2 1 bartlett et al 1 S2CID 119665957 References EditArteca G A Fernandez F M Castro E A 1990 Large Order Perturbation Theory and Summation Methods in Quantum Mechanics Berlin Springer Verlag Baker Jr G A Graves Morris P 1996 Pade Approximants Cambridge University Press Brezinski C Redivo Zaglia M 1991 Extrapolation Methods Theory and Practice North Holland Hardy G H 1949 Divergent Series Oxford Clarendon Press LeGuillou J C Zinn Justin J 1990 Large Order Behaviour of Perturbation Theory Amsterdam North Holland Volkov I I 2001 1994 Lindelof summation method Encyclopedia of Mathematics EMS Press Zakharov A A 2001 1994 Abel summation method Encyclopedia of Mathematics EMS Press Riesz summation method Encyclopedia of Mathematics EMS Press 2001 1994 Werner Balser From Divergent Power Series to Analytic Functions Springer Verlag LNM 1582 ISBN 0 387 58268 1 1994 William O Bray and Caslav V Stanojevic Eds Analysis of Divergence Springer ISBN 978 1 4612 7467 4 1999 Alexander I Saichev and Wojbor Woyczynski Distributions in the Physical and Engineering Sciences Volume 1 Chap 8 Summation of divergent series and integrals Springer 2018 Retrieved from https en wikipedia org w index php title Divergent series amp oldid 1136004438, wikipedia, wiki, book, books, library,

article

, read, download, free, free download, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, picture, music, song, movie, book, game, games.