Convergence of a Power Series for Polylogarithm
This Demonstration shows the convergence behavior of the family of power series on the unit disk for , which for converges to the analytic function . The graphic on the left shows the graph of a partial sum approximation while the one on the right plots the analytic function that is the limit of the series. The little black dots on both surfaces represent the corresponding images of the same complex number on the unit disc, which you can move around the unit disk by varying its modulus and argument (the lowest two controls). By increasing the truncation parameter you can make the modulus of the error (the difference between and the approximation) arbitrarily small, except at points on the boundary where the series does not converge.
The graphic on the left shows the graph of the absolute values of the partial sums , where the value of is controlled by the parameter "truncation". The values of the arguments of the function are reflected in the hue of the graph. The graphic on the right (which you can hide to speed up updating) shows the graph of the limit function . While all the series converge in the interior of the unit disk, the behavior on the boundary depends on the value of . For the series never converges on the boundary, for it converges everywhere except at , and for it converges everywhere. In the case , large values of the truncation parameter give rise to graphs that appear to show discontinuity at the boundary (see the first snapshot). The functions defined by partial sums are, of course, continuous and the apparent discontinuities are due to numerical instability.
This Demonstration is inspired by and partly based on a Mathematica program from .
 W. T. Shaw, Complex Analysis with Mathematica, Cambridge: Cambridge University Press, 2006.