Isolating a logarithmic singularity to test a power-series endpoint
ID: isolating-a-logarithmic-singularity-to-test-a-power-series-endpoint
Suppose and , and is an analytic function on a disk of radius strictly larger than . The Taylor series at zero of has radius of convergence . Its coefficients are the sum of and the more rapidly decreasing coefficients of . At , the logarithmic part is an alternating harmonic series and converges conditionally; at it diverges. The power series for converges absolutely at both endpoints and therefore cannot change either conclusion. The real convergence interval is .
For , take and , with its branch normalized by . The quotient has nonzero removable value at . Its next zeros are at , so a holomorphic logarithm exists on a larger disk. This shows why the Taylor series converges at even though its singular positive endpoint is excluded.
New to topics? Read the docs here!