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.

Let $D$ be an open set in the complex plane and $f(z)$ be a non-constant holomorphic function on D. Then $|f(z)|$ has no local maximum on D.

I can follow the proof fine - usually if I don't understand a theorem intuitively beforehand, the proof will offer the insight necessary. Here, however, I can't see the reason for the Maximum Principle to hold - or perhaps I was just too shallow in my grasp of the proof. Does anybody have any shillings of wisdom that they would be willing to offer? Cheers.

share|improve this question
    
My Dear S. Valera, you look surprisingly like the late great physicist Robert Oppenheimer! What a surprise! Especially considering your year of birth! –  Robert Lewis May 2 at 4:31
1  
Ha - nicely noticed. My apologies for any disappointment you may feel to hear that I am but a fan of Mr Oppenheimer and not a reincarnation. –  S Valera May 2 at 22:04

2 Answers 2

up vote 10 down vote accepted

Think about what the mean value property of analytic functions says: $f(z_0) = \dfrac{1}{2\pi} \int_0^{2\pi} f(z_0 + re^{i\theta}) d\theta$, where $f$ is analytic in the disk $B_r(z_0)$. This says that $f$ is equal to the average of the boundary points. How can $|f(z_0)|$ be larger than every single point of which it is the average? Thinking discretely, if $a= \dfrac{a_1 + \cdots + a_n}{n}$, can $a$ be larger than every point in this sum? No, this is not possible.

share|improve this answer
2  
This speaks to me, thank you. –  S Valera Apr 20 at 22:54

holomorphic means, among other things, that the map is open. This is immediate when $f'(z_0) \neq 0,$ the Inverse Function Theorem says that an open neighborhood of $f(z_0)$ is covered surjectively. Even when $f'(z_0) = 0,$ the surjective part still holds, it is just that the map is locally $k$ to one, where $k$ is the first derivative such that $f^{(k)} (z_0) \neq 0.$ So, there it acts the way $z^3$ acts around the origin, for example.

Anyway, your $D$ is open; assume that the modulus takes its maximum at some point $z_0 \in D.$ Well then $f$ maps a neighborhood of $z_0$ onto a neighborhood of $f(z_0),$ including points with larger modulus than $f(z_0)$

share|improve this answer
2  
Brilliant, that ties up a few things nicely. Thanks for your time. –  S Valera Apr 20 at 22:55

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.