Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Show that:

$$\frac{1}{2\pi}\int_0^{2\pi}\log|re^{i\theta} - z_0|d\theta = \begin{cases} \log|z_0| & if & |z_0| < r \\ \log|r| & if & |z_0| > r \end{cases}.$$

I know $\log|z|$ is a harmonic function in the slit plane since it is the real part of the analytic function $\log(z)$ on the slit plane. What I don't understand is that for $|z_0| > r$ this integral is exactly the average of a harmonic function along the boundary of a disk upon which $\log|z|$ is harmonic, thus by the Mean-Value Property it should be equal to $\log|z_0|$, yet it's supposed to be $\log|r|$. What is going on?

share|improve this question
    
The conditions must be reversed! If $|z_0|$ is enormous, $\log|r e^{i\theta}-z_0|$ should be large. If $z_0 = 0$, $\log|r e^{i\theta}-z_0| = \log |r|$. –  Robert Israel Apr 21 '12 at 1:08
    
Can you expand on this? Are you saying that the problem as stated is incorrect, and that I should switch the inequalities? Because that would make a lot more sense. –  cactuar Apr 21 '12 at 1:11
    
Yes, that's what I am saying. –  Robert Israel Apr 22 '12 at 5:51

1 Answer 1

up vote 4 down vote accepted

It's the average value of $\log|rz - z_0|$ over the unit circle $|z| = 1$. If $|z_0| > r$, the function is harmonic throughout the interior of the circle and is continuous on the boundary. So by the mean value theorem this average value is the value of the function at the center $z = 0$, namely $\log|z_0|$.

In the case where $|z_0| < r$, since $|re^{i\theta} - z_0| = |r - z_0e^{-i\theta}|$, your integral is the same as $${1 \over 2\pi}\int_0^{2\pi} \log|r - z_0e^{-i\theta}|\,d\theta$$ Changing variables from $\theta$ to $-\theta$, this equals $${1 \over 2\pi}\int_0^{2\pi} \log|r - z_0e^{i\theta}|\,d\theta$$ Now we have the average value of the function $\log|r - z_0z|$ over the unit circle, and since $|z_0| < r$ this function is harmonic inside the circle and continuous on the boundary. Thus the average value is that at the origin, namely $\log|r|$.

(Note as some commenters mentioned you have the values reversed.)

share|improve this answer
    
Great, thanks for the detailed response Zarrax! +1. –  cactuar Apr 21 '12 at 1:48

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.