Register to reply 
A complex series need not be defined for all z within the circle of convergence ? 
Share this thread: 
#1
Jan613, 05:18 AM

P: 57

The (complex) radius of convergence represents the radius of the circle (centered at the center of the series) in which a complex series converges.
Also, a theorem states that a (termwise) differentiated series has the same radius of convergence as the original series. Now, Ln z is obviously singular (at least) at the negative real axis which is a distance 1 away from the z_{0}=1 + i. But the Taylor series of Ln z centered at z_{0}=1 + i has a radius of convergence equal to 2^{0.5}. Thus, the derivative of Ln z is not defined on negative real axis, but according to the theorem it has radius of convergence R=2^{0.5}. This implies that a series need not be defined everywhere a distance less than R from the center of the series. However, the definition of convergence of a complex series is that that the limit of the partial sums converge to some finite value. How can this contradiction be eliminated? My own thoughts about this is that this contradiction would not rise from the above definitions and theorems if the derivative of Ln z does not equal the termwise differentiated complex series representation of Ln z. If this is the case, then why? Thanks //Freddy 


#2
Jan613, 08:04 AM

HW Helper
P: 2,263

The trouble logarithms have on the (by convention) negative real axis (apart from the origin) is not a pole, but a branch cut. The series expansions are perfectly well defined, but they will not reflect any branch cuts. For example a series centered at z0=1 + i defines a function inside a circle of radius sqrt(2) centered at 1 + i but this function only agrees with the usual logarithm (having a branch cut on the negative real axis) up to the branch cut. The series will not have the discontinuity across the cut.
log(1+0^{+}i)log(1+0^{}i)=2 π i while f(1+0^{+}i)f(1+0^{}i)=0 If f is the series you describe 


#3
Jan613, 08:34 AM

P: 1,666

But a singlevalued power series is convergent in a disc extending to the nearest singular point of the function. It's convergent for all points inside that disc. So I could just as well center a series for Log(z) at some point along the negative real axis and it will converge to Log(z) for every single point inside a disc the size of which is equal to the distance to the origin and what determination of Log(z) is used to construct the series will determine which singlevalued branch of Log(z) the series converges to. 


#4
Jan613, 01:00 PM

P: 57

A complex series need not be defined for all z within the circle of convergence ?
Thank you guys. That one I should have seen through! What a stupid mistake of me.
Anyway, thanks again :) 


Register to reply 
Related Discussions  
Working with functions defined by Interpolation in Mathematica  Math & Science Software  1  
Finding a and b in an infinite series limit comparison test  Calculus & Beyond Homework  10  
Complex series: Circle of convergence  Calculus & Beyond Homework  2  
Alternating Series and Pseries convergence  Calculus & Beyond Homework  6  
Complex analysis: having partials is the same as being well defined?  Calculus & Beyond Homework  4 