[ Home ] [ Up ] [ Info ] [ Mail ]

A full statement of Poisson’s integral formulas for a circle is as follows:


Theorem. Let f(z) be analytic inside and on the circle C defined by |z| = R, and let z = re be any point inside C. See Fig. 2 below. Then


ole.gif


If u(r, θ) and v u(r, θ) are the real and imaginary parts of f(re) while u(R, θ) and v(R, θ) are the real and imaginary parts of f(Re), then


ole1.gif



ole2.gif



ole3.gif

Proof. The proof utilizes the following concept:


Def. Inverse of a point with respect to a circle. Let C be a circle with center at O and let P be any point inside or outside C. See Fig. 1. Draw line OA through point P. Then the inverse of point P is the point P' located on line OA whose distance from O is such that


              ole4.gif


Either of the points P and P' is called the inverse of the other and the center of the circle is called the center of inversion.   


Since z = re is any point inside C, we have by Cauchy’s integral formula


ole5.gif



The inverse of the point P with respect to C lies outside C and is given by R2/ ole6.gif . Thus by Cauchy’s theorem,

ole7.gif

ole8.gif


We now subtract 5) from 4) to obtain


ole9.gif


             ole10.gif


Now let z = re and w = Re. Then since ole11.gif = re-iθ, we have


ole12.gif


             ole13.gif


             ole14.gif


             ole15.gif


which is 1) above.


Since f(re) = u(r,θ) + i v(r,θ) and f(R ole16.gif ) = u(R, ole17.gif ) + i v(R, ole18.gif ) we obtain from 1)



             ole19.gif


 

             ole20.gif


Thus we have 2) and 3) above

 

             ole21.gif


             ole22.gif



                                                            Source: Spiegel. Complex Variables (Schaum). p. 129-130


[ Home ] [ Up ] [ Info ] [ Mail ]