- #1

LAHLH

- 409

- 1

I was hoping someone may be able to help me understand what Arfken is doing in sec 7.2 when he does the pole expansion of meromorphic functions (he says this proof is due to Mittag-Leffler).

So he starts off with a function f(z) that is analytic except at some isolated poles. These poles are at isolated [itex]z=a_n[/itex] with [itex]0<|a_1|<|a_2|<...[/itex] and are all simple with residues [itex] b_n[/itex]. He then considers a series of concentric circles C_n about the origin so that C_n contains poles [itex]a_1,a_2,...a_n[/itex] but no others. Finally he assumes that [itex]|f(z)|<\epsilon R_n[/itex] where R_n is radius of C_n and [itex]\epsilon>0[/itex] is small constant. He says then that:

[tex] f(z)=f(0)+\sum_0^{\infty} b_n\{(z-a_n)^{-1}+a_n^{-1}\} [/tex]

converges to f(z).

To prove this he says to prove this we use residue theorem to evaluate the contour integral for z inside C_n:

[tex]I_n:=(2\pi i)^{-1}\int_{C_n}\,\frac{f(w)}{w(w-z)}\mathrm{d}w [/tex]

[tex]I_n=\sum_{m=1}^{n}\frac{b_m}{a_m(a_m-z)}+\frac{f(z)-f(0)}{z}[/tex]

My first question is how to prove this second equality using the residue theorem? I just don't seem to be able to get it out..