home | index | units | counting | geometry | algebra | trigonometry & functions | calculus
analysis | sets & logic | number theory | recreational | misc | nomenclature & history | physics
 border
 border

Final Answers
© 2000-2009 Gérard P. Michon, Ph.D.

Power Series

 

Related articles on this site:

Related Links (Outside this Site)

Complex Variables, Complex Analysis   by  John H. Mathews  (2000).
Complex Variables, Contour Integration  by  Joceline Lega  (1998).

Wikipedia :   Power Series   |   Formal Power Series   |   Taylor Series   |   Analytic Continuation
The Bieberbach conjecture (1916) was proven by Louis de Branges in 1985.

 
border
border

Power Series and Analytic Continuations


 Brook Taylor 
 1685-1731 (2009-01-07)   Taylor's Expansion   (1712, 1715)
Smooth functions as sums of power series.

Brook Taylor (1685-1731) invented the  calculus of finite differences  and came up with the fundamental technique of  integration by parts.

 Come back later, we're
 still working on this one...


(2008-12-23)   Radius of Convergence of a Complex Power Series
A complex power series converges inside a disk and diverges outside of it  (the situation at different points of the boundary circle may vary).

 Come back later, we're
 still working on this one...


(2008-12-23)   Function Defined by  Analytic Continuation
Power series that coincide whenever their disks of convergence overlap.

 Come back later, we're
 still working on this one...


Dimitrina Stavrova  (2008-12-22; e-mail)   Decimated Power Series
What is the sum of  8n / (3n)!  over all natural integers  n ?

Answer :   1/3 ( e2  +  2 cos (Ö3) / e )   =   2.423641733185364535425...

This is a special case  (for  z = 2,  k = 3,  an = 1/n! )  of the following problem:

For an integer  k  and a known series   f (z)  =  ån az n ,  find the value of:

    fk (z)  =  å n  a kn z kn    

The key idea is to introduce a primitive  kth  root of unity, like  w = exp (2pi / k).

1  +  w  +  w2  +  ...  +  wk-1   =   0             wk   =   1

This lets the quantity   1  +  wj  +  ...  +  w(k-1) j   be  k  when  j  is a multiple of  k  and  vanish  otherwise.  Equating corresponding coefficients of  az j , we obtain:

    f (z)  +  f (w z)  +  f (w2 z)  +  ...  +  f (wk-1 z)     =     k  fk (z)    

For  f (z)  =  e z   this gives the advertised result as  f3 (2)  in the form:

1/3 [ exp (2)  +  exp (2w)  +  exp (2w2 ) ]     where   w  =  ½ (-1 + i Ö3 )

On 2008-12-26,  Dimitrina Stavrova  wrote:   [edited summary]
I am greatly impressed by the quick and accurate generalization of my question, which gave me a deeper understanding of the related material.  Thank you for creating such a great site!
Dimitrina Stavrova, Ph.D.
Sofia, Bulgaria

Thanks for the kind words, Dimitrina.

å  xn / 3n!   in closed form

border
border
visits since Dec. 23, 2008
 (c) Copyright 2000-2009, Gerard P. Michon, Ph.D.