# Convergence radius of power series for different centers

This is a solution to an exercise in complex analysis:

I don't quite understand the argument in the red box. In a deleted neighborhood of $z_0$, say $B(z_0,r)\setminus\{z_0\}\subset\{z\in{\Bbb C}:|z|<R\}$, we have a Laurent series of $f$: $$f(z)=\sum_{k=1}^m\frac{A_k}{(z-z_0)^k}+\sum_{n=0}^\infty c_n(z-z_0)^n.$$ Here $g(z)=\sum_{n=0}^\infty c_n(z-z_0)^n$ is a holomorphic function in $B(z_0,r)\setminus\{z_0\}$.

Here are my questions:

• Why can it be written as $g(z)=\sum_{n=0}^\infty b_n(z-0)^n$? (Binomial theorem?)
• How can I know the radius of convergence of this expansion (since change of centers might lead to change of radius of convergence of a power series, I don't see why it is "at least equal to $R$")?
-

The idea is that after subtracting off the pole at $z=z_0$, you are left with something holomorphic. After expanding in a Laurent series around $z=z_0$ as you suggest, and subtracting off $P(z):=\sum_{k>0} A_k (z-z_0)^{-k}$ from $f(z)$, you are left with something that is holomorphic at $z=z_0$ (since you removed the singular part) and also holomorphic in the remainder of the region $\{z\mid |z|<R\}$ (since both $f(z)$ and $P(z)$ are holomorphic in $\{z\mid z\ne z_0,\ |z|<R\}$). Therefore, $g(z)=f(z)-P(z)$ is holomorphic on $\{z\mid |z|<R\}$, so it has a power series around $0$ with radius of convergence at least $R$.

-
Thank you very much for your clear answer! –  Jack Jan 29 '13 at 1:54

You can think inversely: you want $g$ with radius of convergence at least $R$. Multiplying both sides by $(z-z_0)^m$ we get

$$h(z)=\sum_{k=1}^mA_k(z-z_0)^{m-k}+g(z)(z-z_0)^m$$

$$=\sum_{j=0}^{m-1}\frac{j!A_{m-j}}{j!}\,(z-z_0)^j+(z-z_0)^mg(z)\,,$$

which implies (looking at the local expansion of $h$ around $z_0$) $A_{m-j}=h^{(j)}(z_0)/j!$ for $j=0,\dots,m-1$. Incidentally, the $A'$s are uniquely determined. Now proceed conversely and convince yourself that the function $$h-\text{constructed polynomial}$$ is holomorphic on $\{|z|<R\}$ (clear!) and it has a zero of order at least $m$ at the point $z_0$.

-