Maximum Modulus Principle: The Key Complex Analysis Idea

The maximum modulus principle says that a non-constant analytic function can never attain its largest absolute value at an interior point of its domain. If f is analytic on a bounded region D and continuous on its closure, then the maximum of |f| over the closed region must occur on the boundary — never strictly inside.

This is a striking rigidity property with no real-variable analogue: a smooth real function like sin x happily peaks in the interior of [0, π]. For analytic functions, an interior maximum of |f| forces f to be constant. The principle is a workhorse for proving uniqueness theorems and bounding analytic functions.

Key Concepts

• Statement: if f is analytic and non-constant on a domain D, then |f| has no local maximum at any interior point of D.
• Closed-region version: on a bounded closed region, max |f| is attained on the boundary.
• Mean value property: f(a) equals the average of f over any circle centred at a inside D — the engine of the proof.
• Minimum modulus principle: if f is analytic and never zero on D, then |f| also has no interior minimum; zeros are the only way |f| can dip to 0 inside.
• Open mapping theorem: the stronger statement behind it — a non-constant analytic map sends open sets to open sets.

How It Works

• Proof idea: suppose |f(a)| is maximal at an interior point a. By the mean value property, f(a) is the average of f over a small circle around a. If the average of complex numbers has the same modulus as the maximum modulus, all values on the circle must equal f(a).
• Propagation: repeating the argument shows f is constant on a disc around a, and a connectedness argument spreads constancy to all of D — contradicting non-constancy.
• Why the boundary wins: on a closed bounded region, the continuous function |f| attains a maximum somewhere; the principle rules out the interior, leaving only the boundary.
• Step-by-step use: to bound |f| on a region, parametrize the boundary, maximise |f| there with ordinary calculus, and conclude the same bound holds inside.

Worked Example

Find the maximum of |f(z)| for f(z) = z² + 1 on the closed unit disc |z| ≤ 1, and verify it lies on the boundary.

1. f is a polynomial, hence analytic and non-constant, so the maximum modulus principle applies.
2. On the boundary z = e^{iθ}: f = e^{2iθ} + 1, so |f| = |e^{2iθ} + 1| = 2|cos θ|.
3. 2|cos θ| is maximised at θ = 0 (z = 1), giving |f(1)| = |1 + 1| = 2.
4. Inside the disc, e.g. at z = 0: |f| = 1 < 2; at z = i/2: |−1/4 + 1| = 0.75 < 2.
5. The maximum value 2 occurs on the boundary at z = 1, exactly as the principle guarantees.

Common Misconceptions

• "The minimum of |f| is also on the boundary." Only if f has no zeros inside: |f| = 0 at a zero is an interior minimum. The minimum principle requires f ≠ 0 throughout D.
• "Constant functions are a counterexample." No — the principle explicitly assumes non-constant f; a constant function attains its maximum everywhere, interior included.
• "Real differentiable functions satisfy this too." They do not: f(x) = sin x on [0, π] is smooth and attains its maximum 1 at the interior point π/2. Complex analyticity is essential.

Real-World Applications

• Uniqueness theorems: proving that bounded analytic functions with given boundary values are unique, used in PDE theory.
• Control theory: the Nyquist stability criterion leans on maximum-modulus ideas to bound transfer functions.
• Hadamard three-circles theorem: a refined quantitative version controlling how |f| grows between concentric circles.

The maximum modulus principle turns interior questions into boundary questions: for non-constant analytic f, the largest value of |f| on a closed region always sits on the boundary. The proof flows from the mean value property, and the worked example shows the standard technique — maximise on the boundary curve, and the interior follows for free.