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.

The mean-value property for holomorphic functions states that if $f$ is holomorphic in an open disc centered at $z_{0}$ of radius $R$, then $$f(z_{0}) = \frac{1}{2\pi}\int_{0}^{2\pi}f(z_{0} + re^{i\theta})\, d\theta$$ for any $0 < r < R$. When can I say this is true for $r = R$?

share|improve this question
1  
By continuity, it ought to be enough that $f$ is continuous on the closed disc of radius $R$. (This might be relevant, for example, if $f(z)=\sqrt{z}$ and $R=z_0\in\mathbb R$). –  Henning Makholm Oct 15 '11 at 20:05

1 Answer 1

up vote 2 down vote accepted

As Henning mentions in his comment, the condition is that $f$ is continuous on the closed disk $\{z:|z-z_0|\le R\}$. When that is the case, $f$ is uniformly continuous (because it is continuous on a compact set) and so for any $\epsilon>0$, there is a $\delta>0$ so that if $0<R-r<\delta$, then $$ |f(z_0+Re^{i\theta})-f(z_0+re^{i\theta})|<\epsilon $$ Therefore, $$ \left|\frac{1}{2\pi}\int_0^{2\pi}\left(f(z_0+Re^{i\theta})-f(z_0+re^{i\theta})\right)\;\mathrm{d}\theta\right|<\epsilon $$

share|improve this answer

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.