Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $f(z)$ be analytic and nonzero in a region R. Show that $|f(z)|$ has a minimum value in R that occurs on the boundary.

I think you should use the Maximum-Modulus Theorem for the function $1/f(z)$

The Maximum-Modulus Theorem

share|cite|improve this question
ALternatively, $\log|f(z)|$ is harmonic, if you know about harmonic functions. – GEdgar Apr 29 '12 at 2:56
Do you know anything about $R$? – Brett Frankel Apr 29 '12 at 2:59
A region is an open set, so if $f$ nonzero in $R$, and $|f|$ has a minimum value in $R$, then by Strong Maximum-Modulus Theorem for $1/f$, $f$ must be constant. – Yuchen Liu Apr 29 '12 at 3:02

Since it is not clear what is meant by a "region" in the problem (and careless formulation leads to easy counterexamples), I will rephrase.

Claim. Suppose $f$ is holomorphic and nonzero in open connected bounded set $U$ and is continuous on $\overline{U}$. Then there exists $\zeta\in\partial U$ such that $$|f(\zeta)|=\min_{\overline U}|f| \tag1$$

Proof The existence of $\zeta \in \overline{U}$ with the property (1) follows by compactness of $\overline{U}$. Suppose $\zeta\in U$. Then $f(\zeta)\ne 0$ by assumption. Since the right-hand side of (1) is nonzero, the function $g(z)=1/f(z)$ is holomorphic in $U$. In terms of $g$ (1) becomes $$|g(\zeta)|=\max_{\overline U}|g| \tag2$$ which, by the strong maximum principle, implies $g$ is constant. Hence $f$ is constant, and for a constant function the claim is obviously true. $\Box$

share|cite|improve this answer

Your Answer


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.