Low basis theorem

Template:More footnotes In the mathematics of convergent and divergent series, Euler summation is a summability method. That is, it is a method for assigning a value to a series, different from the conventional method of taking limits of partial sums. Given a series Σa_n, if its Euler transform converges to a sum, then that sum is called the Euler sum of the original series. As well as being used to define values for divergent series, Euler summation can be used to speed the convergence of series.

Euler summation can be generalized into a family of methods denoted (E, q), where q ≥ 0. The (E, 0) sum is the usual (convergent) sum, while (E, 1) is the ordinary Euler sum. All of these methods are strictly weaker than Borel summation; for q > 0 they are incomparable with Abel summation.

Definition

Euler summation is particularly used to accelerate the convergence of alternating series and allows evaluating divergent sums.

${E_y}_{}\sum _{j=0}^{\mathrm{\infty }}{a}_j:=\sum _{i=0}^{\mathrm{\infty }}\frac{1}{(1+y{)}^{i+1}}\sum _{j=0}^i(\genfrac{}{}{0ex}{}{i}{j})y^{j+1}{a}_j.$

To justify the approach notice that for interchanged sum, Euler's summation reduces to the initial series, because

$y^{j+1}\sum _{i=j}^{\mathrm{\infty }}(\genfrac{}{}{0ex}{}{i}{j})\frac{1}{(1+y{)}^{i+1}}=1.$

This method itself cannot be improved by iterated application, as

${E_{y_1}}_{}{}_{E_{y_2}}\sum ={}_{E_{\frac{y_1{y}_2}{1+y_1+y_2}}}\sum .$

Examples

• We have $\sum _{j=0}^{\mathrm{\infty }}{x}^j{P}_k(j)=\sum _{i=0}^k\frac{x^i}{(1-x{)}^{i+1}}\sum _{j=0}^i(\genfrac{}{}{0ex}{}{i}{j})(-1{)}^{i-j}{P}_k(j)$, if $P_k$ is a polynomial of degree k. Note that in this case Euler summation reduces an infinite series to a finite sum.

• The particular choice $P_k(j):=(j+1{)}^k$ provides an explicit representation of the Bernoulli numbers, since $\zeta (-k)=-\frac{B_{k+1}}{k+1}$. Indeed, applying Euler summation to the zeta function yields $\frac{1}{1-2^{k+1}}\sum _{i=0}^k\frac{1}{2^{i+1}}\sum _{j=0}^i(\genfrac{}{}{0ex}{}{i}{j})(-1{)}^j(j+1{)}^k$, which is polynomial for $k$ a positive integer; cf. Riemann zeta function.

• $\sum _{j=0}^{\mathrm{\infty }}{z}^j=\sum _{i=0}^{\mathrm{\infty }}\frac{1}{(1+y{)}^{i+1}}\sum _{j=0}^i(\genfrac{}{}{0ex}{}{i}{j})y^{j+1}{z}^j=\frac{y}{1+y}\sum _{i=0}{\left(\frac{1+yz}{1+y}\right)}^i$. With an appropriate choice of $y$ this series converges to $\frac{1}{1-z}$.

See also

• Borel summation
• Cesàro summation
• Lambert summation
• Perron's formula
• Abelian and tauberian theorems
• Abel–Plana formula
• Abel's summation formula
• Van Wijngaarden transformation

References

• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534