The Maximum Modulus Principle: Peaks Live on the Boundary

The precise statement

Let Ω ⊆ ℂ be a domain — a non-empty open connected set — and let f: Ω → ℂ be holomorphic (complex-differentiable, equivalently analytic). The principle comes in two standard forms.

• Interior (rigidity) form: If |f| attains a local maximum at some point z₀ ∈ Ω — i.e. |f(z)| ≤ |f(z₀)| for all z in some disk around z₀ — then f is constant on all of Ω.
• Boundary form: If Ω is bounded and f is continuous on the closure Ω̄ and holomorphic on Ω, then max over Ω̄ of |f| is attained on the boundary ∂Ω, so max_{Ω̄} |f| = max_{∂Ω} |f|.

Connectedness is essential to the interior form: it is what upgrades "constant near z₀" to "constant on Ω." Note the conclusion is about constancy of f itself, not merely of |f| — although for holomorphic functions |f| constant already forces f constant.

The picture: analytic functions can't bulge

Think of the graph of |f| over the plane as a taut rubber surface. For a general smooth function you can push up a bump anywhere — a smooth interior peak is normal. Holomorphic functions forbid this. The real part u and imaginary part v of f are harmonic: they satisfy Laplace's equation Δu = 0, meaning the value at any point equals the average over any surrounding circle. A harmonic function is perfectly "balanced" — it cannot sit strictly above all its neighbors, because then it would exceed its own average.

|f| inherits a subharmonic version of this averaging: |f(z₀)| ≤ average of |f| on any small circle around z₀. If z₀ were a strict interior max, that average would be strictly less than |f(z₀)| — a contradiction. So the surface |f| behaves like a soap film stretched on a wire frame ∂Ω: its highest point is always on the wire. The only way to have a flat plateau at the top is for the whole film to be flat, i.e. f constant.

The key idea of the proof

The cleanest proof runs through the mean value property. By Cauchy's integral formula, for any disk of radius r inside Ω centered at z₀,

f(z₀) = (1/2π) ∫₀²π f(z₀ + r e^iθ) dθ.

Taking absolute values and using the triangle inequality for integrals,

|f(z₀)| ≤ (1/2π) ∫₀²π |f(z₀ + r e^iθ)| dθ ≤ max on the circle of |f|.

Now suppose |f(z₀)| is the maximum, M. Then the average of |f| on the circle is ≥ M, but every value on the circle is ≤ M, so the average is ≤ M. Both together force |f| ≡ M on the entire circle, for every small r — hence on a whole disk. A holomorphic function with constant modulus is constant (write f = M e^iφ; the Cauchy–Riemann equations kill φ). Finally, the identity theorem propagates constancy from that disk across the connected Ω. An alternative one-line proof: the open mapping theorem says f(Ω) is open, so f(z₀) can't be a maximum-modulus point unless the image is a single point.

A worked example and the canonical special case

Concrete example. Take f(z) = z² on the closed unit disk Ω̄ = {|z| ≤ 1}. Then |f(z)| = |z|², which is ≤ 1 everywhere and equals 1 exactly on the boundary circle |z| = 1. The maximum, 1, lives entirely on ∂Ω, precisely as promised — never at an interior point. The interior value at z = 0 is 0, the minimum, sitting at a zero of f.

Canonical special case — Schwarz lemma. The maximum modulus principle is the engine behind the Schwarz lemma: if f: 𝔻 → 𝔻 is holomorphic with f(0) = 0, then |f(z)| ≤ |z| and |f′(0)| ≤ 1. The trick: g(z) = f(z)/z is holomorphic (removable singularity at 0), and on |z| = r we have |g| ≤ 1/r. Letting r → 1 and applying the maximum modulus principle to g gives |g| ≤ 1 throughout 𝔻, i.e. |f(z)| ≤ |z|. Equality anywhere forces g constant, so f(z) = e^iθz, a rotation. This lemma classifies the automorphisms of the disk.

Why the hypotheses matter

Holomorphy is indispensable. The result is false for merely smooth, or even real-analytic, functions of a real variable. Consider g(x, y) = 1 − (x² + y²) on ℝ²: it is smooth and has a strict interior maximum of 1 at the origin, with no drama. What breaks is the averaging property — an ordinary smooth function need not equal its circle-average.

• Drop analyticity: f(z) = z̄ (complex conjugate) has |f| = |z|, still peaking on the boundary of a disk — but f(z) = 1 − |z|² peaks strictly at the interior origin. Non-holomorphic functions bulge freely.
• Drop connectedness: on a disjoint union of two disks, f could be one constant on one disk and larger elsewhere; the local max on the first disk needn't force global constancy.
• Drop boundedness (boundary form): f(z) = e^z on the right half-plane is bounded by 1 on the imaginary axis (the boundary) yet blows up inside — the boundary form fails on unbounded domains without a growth condition, which is exactly what the Phragmén–Lindelöf theorems repair.

Applications and significance

The maximum modulus principle is one of the most-used tools in analysis because it converts an interior estimate into a boundary estimate — usually a huge simplification.

• Schwarz lemma & disk automorphisms: as above, it pins down all holomorphic self-maps of the disk and underpins the Schwarz–Pick lemma and hyperbolic geometry.
• Hadamard three-lines / three-circles theorems: refinements bounding |f| on intermediate lines/circles by a log-convex interpolation of boundary bounds — foundational in interpolation theory and in bounding the Riemann zeta function.
• Uniqueness in PDE: because Re f is harmonic, the principle gives uniqueness for the Dirichlet problem — two harmonic functions with the same boundary data must coincide.
• Operator theory & functional analysis: the von Neumann inequality and spectral estimates lean on maximum-modulus reasoning; it also drives H^∞ control theory.
• Numerical estimates: to bound a holomorphic function on a region, one only needs to check the boundary — the workhorse behind countless a priori bounds.

Historically it crystallized in the work of Bernhard Riemann and was made precise by mathematicians including Carathéodory in the early 20th century, tightly linked to Schwarz (Schwarz lemma, 1869–1890s) and Hadamard (three-circles, 1896).

The maximum modulus principle and its close relatives — hypotheses and what each concludes.

Result	Hypotheses	Conclusion
Maximum modulus principle	f holomorphic on domain Ω; |f| has interior local max	f is constant on Ω
Boundary form	Ω bounded, f holomorphic on Ω and continuous on Ω̄	max_{Ω̄} |f| = max_{∂Ω} |f|
Minimum modulus principle	f holomorphic, non-vanishing on Ω; |f| has interior local min	f is constant (apply max principle to 1/f)
Open mapping theorem	f holomorphic and non-constant on domain Ω	f(Ω) is open — so f(z₀) is never a boundary point of the image
Schwarz lemma	f: 𝔻→𝔻 holomorphic, f(0)=0	|f(z)| ≤ |z| and |f′(0)| ≤ 1, equality ⟹ rotation
Real-variable analogue	u harmonic on Ω (real part of holomorphic)	u has no interior max or min unless constant