Theorem 7.14  (Division of Power Series).  Suppose f(z) and g(z) are analytic at [Graphics:Images/TaylorLaurentApplicationMod_gr_23.gif] with power series representations  

            [Graphics:Images/TaylorLaurentApplicationMod_gr_24.gif]   and   [Graphics:Images/TaylorLaurentApplicationMod_gr_25.gif]   for all   [Graphics:Images/TaylorLaurentApplicationMod_gr_26.gif].

If  [Graphics:Images/TaylorLaurentApplicationMod_gr_27.gif],  then the quotient  [Graphics:Images/TaylorLaurentApplicationMod_gr_28.gif]  has the power series representation  

            [Graphics:Images/TaylorLaurentApplicationMod_gr_29.gif]   for all   [Graphics:Images/TaylorLaurentApplicationMod_gr_30.gif],

where the coefficients satisfy the equations  [Graphics:Images/TaylorLaurentApplicationMod_gr_31.gif].  

In other words, the series for the quotient  [Graphics:Images/TaylorLaurentApplicationMod_gr_32.gif]  can be obtained by the familiar process of dividing the series for f(z) by the series for g(z) using the standard long division algorithm.

Proof.

Proof of Theorem 7.14 is an exercise in the book.

 

Complex Analysis for Mathematics and Engineering