1 Statement of the Maximum Modulus Principle
1.1 Classical form on bounded domains
| Let \(f\) be holomorphic on a bounded domain \(D\subset\mathbb C\). If \(f\) is non-constant, then the maximum of \( | f | \) on the closure \(\overline D\) is attained only on the boundary \(\partial D\). In particular, \( | f | \) cannot achieve a local maximum at an interior point of \(D\). |
|---|
| A typical formulation assumes that \(f\) extends continuously to \(\overline D\), so that \( | f | \) is continuous on \(\overline D\) and thus has a maximum there. |
|---|
1.2 Interior maxima and non-constancy
| The core assertion is local: if \(z_0\in D\) is such that \( | f(z) | \le | f(z_0) | \) for all \(z\) in a neighborhood of \(z_0\), then \(f\) must be constant. Therefore, for a non-constant holomorphic function, no interior point can be a point of maximum modulus, even in the weaker “local” sense. |
|---|
1.3 Boundary behavior and attainment of the maximum
| When \(f\) is non-constant and holomorphic on \(D\), the only way \( | f | \) can reach a maximum value is through boundary phenomena. Depending on the geometry of \(D\) and the regularity of the extension, this means either: |
|---|
- the maximum is realized by boundary values when \(f\) is continuous up to \(\partial D\), or
| - the supremum of \( | f | \) over \(D\) is approached along sequences tending to \(\partial D\). |
|---|
1.3.1 Continuous extension to the boundary
| If \(f\) extends continuously to \(\overline D\), then \( | f | \) attains a maximum on \(\overline D\) by compactness. The maximum modulus principle then forces every maximizing point to lie on \(\partial D\) unless \(f\) is constant. This continuous-extension version is frequently the one used in applications requiring explicit “attainment” rather than merely “no interior maximum.” |
|---|
Several statements are logically equivalent or closely linked in standard settings. Common equivalents include:
| - A non-constant holomorphic function cannot have a local maximum of \( | f | \) in \(D\). |
|---|
| - The function \(\log | f | \) is subharmonic (on the set where \(f\neq 0\)), so it also cannot have an interior maximum. |
| - For bounded \(f\) on a domain, boundary control implies interior control: if \( | f | \le M\) on \(\partial D\), then \( | f | \le M\) on \(D\). |
| These forms emphasize either the geometric behavior of maxima or the analytic property of \(\log | f | \). |
|---|
2 Proof Strategies
2.1 Reduction to the subharmonicity of log|f|
| A standard proof route uses that for holomorphic \(f\), the quantity \(\log | f | \) behaves subharmonically away from zeros. Subharmonic functions satisfy a mean-value inequality and cannot have strict interior maxima unless they are constant. |
|---|
2.1.1 Using the mean value property
| If \(f\) is non-constant and holomorphic, then for points where \(f\neq 0\), one can show that \(\log | f | \) satisfies |
|---|
\[
| \log | f(z_0) | \le \frac{1}{2\pi}\int_0^{2\pi} \log | f(z_0+re^{it}) | \,dt |
|---|
\]
| for small \(r\) such that the disk lies in \(D\). If \( | f | \) had an interior maximum at \(z_0\), the right-hand side would be \(\log | f(z_0) | \) as well, forcing rigidity in the inequality. That rigidity ultimately implies \(f\) is constant. |
|---|
2.1.2 Relation to harmonic functions
| Where \(f\) has no zeros, \(\log | f | \) is harmonic precisely when \( | f | \) has the “no growth” structure compatible with harmonicity. The maximum modulus principle can thus be viewed as a consequence of the fact that harmonic (or subharmonic) functions have controlled extremal behavior. Intuitively, holomorphicity restricts the radial averages of \(\log | f | \), preventing an interior “peak” in modulus. |
|---|
2.2 Proof via contradiction and local arguments
Another common approach assumes an interior maximum and derives constancy from holomorphic structure.
2.2.1 Construction of auxiliary functions
| Suppose \( | f | \) has a local maximum at \(z_0\). One can normalize by considering \(g(z)=f(z)/f(z_0)\) (when \(f(z_0)\neq 0\)) so that \( | g(z) | \le 1\) near \(z_0\) and \( | g(z_0) | =1\). Then one studies the Taylor expansion of \(g\) at \(z_0\) to show that the only way \( | g | \) stays within the unit disk while hitting the boundary value at \(z_0\) is for \(g\) to be constant. |
|---|
2.2.2 Use of holomorphicity and local power series
Expanding \(g\) in a power series around \(z_0\), one observes that if \(g\) has a nonzero higher-order term, then near \(z_0\) the modulus must deviate from \(1\) in directions determined by the first non-vanishing coefficient. That deviation contradicts the assumed maximality. Hence all higher-order terms vanish, and \(f\) is constant.
Cauchy’s integral formula provides another route by expressing \(f\) (or \(g\)) as integrals over circles.
| One version compares values of \(f\) at interior points to boundary averages of \(f\). Combined with inequalities between \( | \int h | \) and \(\int | h | \), this forces a control of \( | f | \) by boundary behavior. If a strict interior maximum existed, the integral representation would conflict with that maximality unless \(f\) is constant. |
|---|
These proofs often resemble the subharmonic strategy in disguise: both exploit that holomorphic functions are determined by their boundary data, and maxima are incompatible with interior oscillation unless the function is rigid.
3.1 Maximum principle for holomorphic functions
| The maximum modulus principle is frequently presented as the maximum principle for holomorphic functions: the modulus \( | f | \) of a holomorphic function cannot have a strict interior maximum unless \(f\) is constant. |
|---|
It can be stated in several levels of generality:
| - local version (no local interior maximum of \( | f | \)), |
|---|
- global version (maximum on \(\overline D\) attained on \(\partial D\) for non-constant \(f\)),
| - boundedness version (if \( | f | \le M\) on \(\partial D\), then \( | f | \le M\) on \(D\)). |
|---|
3.2 Minimum modulus principle (and its connection)
| A related result controls the minimum of \( | f | \). For a holomorphic function without zeros on \(D\), apply the maximum modulus principle to \(1/f\). This yields a minimum modulus principle: if \(f\) is holomorphic and non-vanishing in \(D\), then \( | f | \) cannot achieve a strict interior minimum unless \(f\) is constant. |
|---|
| When \(f\) has zeros, the “minimum modulus” behavior changes because \( | f | \) may vanish inside \(D\), and the reciprocal argument is no longer valid on the whole domain. |
|---|
3.3 Maximum modulus for harmonic functions
| Harmonic functions admit a maximum principle: a real-valued harmonic function on a domain cannot attain a strict maximum inside unless it is constant. For holomorphic functions, the modulus is not harmonic in general, but \(\log | f | \) is subharmonic, and \(\Re(\phi)\) for analytic \(\phi\) is harmonic. |
|---|
3.3.1 Modulus as a harmonic/ subharmonic quantity
The relationship between holomorphic functions and harmonic/subharmonic functions explains why maxima behave rigidly. In broad terms:
| - \(\log | f | \) is subharmonic (and harmonic where \(f\neq 0\) and no branching effects occur), |
|---|
- subharmonic functions satisfy “average ≤ value” inequalities that forbid interior maxima except in constant cases.
3.4 Versions for unbounded or entire functions
For unbounded domains or entire functions, “attainment of a maximum” is replaced by statements about growth and boundedness.
3.4.1 Growth conditions and generalized statements
| If \(f\) is entire and bounded, then \( | f | \) cannot grow beyond its global bound. Applying the maximum modulus principle through exhaustion by bounded domains yields that \(f\) must be constant. This is the standard route to Liouville’s theorem and illustrates how boundedness substitutes for boundary maxima in the unbounded setting. |
|---|
More generally, one can infer constraints on the order of growth of entire functions by combining maximum modulus behavior with auxiliary majorants.
4 Corollaries and Applications
4.1 Liouville’s theorem and bounded entire functions
| Liouville’s theorem states that a bounded entire holomorphic function is constant. To see this from the maximum modulus principle, apply the bounded-domain version to \(f\) on disks of radius \(R\). Since \( | f | \) is bounded by the same constant everywhere, the maximum on each closed disk equals that constant; hence \(f\) cannot vary, forcing constancy. |
|---|
4.2 Uniqueness theorems for holomorphic functions
Maximum modulus arguments often underpin uniqueness: if two holomorphic functions agree on a sufficiently rich set, their difference is holomorphic and vanishes on that set. Extremal control of the modulus of the difference then prevents nontrivial behavior, leading to conclusions that the functions are identical on the domain.
This philosophy is echoed in several classical uniqueness results, including those based on analytic continuation and the impossibility of “peaked” holomorphic behavior without global constraints.
| The Schwarz lemma concerns holomorphic self-maps of the unit disk. While its hypotheses are different, it is conceptually linked: consider a holomorphic function \(f:\mathbb D\to\mathbb D\) with \(f(0)=0\). The maximum modulus principle applied to appropriate auxiliary functions yields inequalities that bound \( | f(z) | \) in terms of \( | z | \). Equality cases correspond to rigid rotational symmetries, reflecting the same “no interior maxima unless constant” theme. |
|---|
4.4 Open mapping and rigidity consequences
Holomorphic non-constant functions map open sets to open sets. While the open mapping theorem is not merely a one-line consequence of maximum modulus, the underlying rigidity is consistent with it: if a holomorphic function were to behave too “flat” at a point (e.g., attaining a nontrivial extremum in modulus in a way incompatible with local expansion), it would force constancy. Thus maximum modulus reasoning contributes to the broader toolkit that proves qualitative behavior such as openness and non-degeneracy.
4.5 The identity theorem via maximum modulus arguments
The identity theorem asserts that if a holomorphic function vanishes on a set with a limit point inside the domain, then it is identically zero. One can use maximum modulus ideas by considering the quotient of a difference function by a power of \(z-z_0\) or by applying local maximum principles to show that vanishing “forces” rigidity. The result is that analytic functions cannot have isolated “islands” of agreement without matching everywhere.
5 Extensions and Technical Considerations
5.1 Domains with different boundary regularity
The simplest global statements assume access to the boundary via continuous extension. For domains with irregular boundaries, one must interpret maxima carefully, often using supremum and limiting processes rather than direct attainment.
5.1.1 Simply connected vs. general domains
The principle itself holds in broad generality for complex domains, but related tools—such as constructing holomorphic branches of logarithms or using certain conformal maps—may be simpler in simply connected regions. In general domains, proofs often rely on local arguments combined with covering or exhaustion methods, ensuring that local holomorphic behavior still constrains global extremal behavior.
5.2 Behavior near isolated zeros and poles
| Zeros affect \(\log | f | \) because it tends to \(-\infty\) near zeros. Nevertheless, the subharmonic framework remains valid by interpreting \(\log | f | \) as a subharmonic function that may take the value \(-\infty\). Near isolated zeros, \( | f | \) can be very small, but maximum modulus claims are about maxima, not minima, and the subharmonic properties still prevent interior peaks of \( | f | \) for non-constant holomorphic functions. |
|---|
| If one considers meromorphic functions with poles, \( | f | \) becomes unbounded near poles, and maximum modulus statements must be reformulated on compact sets avoiding poles. |
|---|
5.3 Meromorphic functions: maximum modulus for |f| on compact sets
| For meromorphic functions, holomorphicity fails only at isolated poles. On a compact subset that does not intersect the poles, the function behaves holomorphically, and maximum modulus reasoning applies to \( | f | \) restricted to that set. In this way, one obtains versions stating that on such compacta, \( | f | \) achieves its maximum at the boundary of the compact set (in the appropriate sense) unless the function is constant on the considered region. |
|---|
5.4 Maximum modulus on compact subsets
| Many applications use the fact that holomorphic functions are bounded on compact subsets away from singularities. By covering a compact set with finitely many bounded subdomains and applying the maximum modulus principle on each, one derives practical estimates: the maximum of \( | f | \) on a compact set can be controlled by its values on “outer” parts of the set’s boundary relative to those subdomains. |
|---|
6.1 Constant vs. non-constant holomorphic functions
| If \(f\) is constant, then \( | f | \) is constant everywhere and every point is a maximum point. The maximum modulus principle asserts that this is the only scenario in which interior points can be maxima. For a non-constant holomorphic function, any attempt to create an interior maximum in \( | f | \) is incompatible with the analytic constraints, reflecting the theorem’s rigidity. |
|---|
6.2 Typical examples on disks and annuli
| On the unit disk \(\mathbb D\), holomorphic functions are constrained by boundary behavior. A standard family is given by bounded analytic functions where \( | f | \) reaches or approaches its largest values near \( | z | =1\). |
|---|
| On annuli, one can use the principle in each component region after appropriate transformations or by considering holomorphic functions on the annulus and applying local maximum principles. The boundary comprises the two circles \( | z | =r\) and \( | z | =R\), and maxima of \( | f | \) are forced to occur on these boundary components (subject to the function being holomorphic up to them in the required sense). |
|---|
6.2.1 Functions with prescribed boundary magnitude
If a holomorphic function on \(\mathbb D\) has boundary values with a certain modulus pattern and extends continuously, then the maximum modulus principle implies that the interior modulus cannot exceed the boundary maximum. Thus, among functions respecting prescribed boundary magnitude upper bounds, the interior behavior is automatically dominated.
6.3 Example demonstrating impossibility of an interior maximum
| Consider a non-constant holomorphic function on a disk, such as \(f(z)=z^n\) with \(n\ge 1\). On \(\overline{\mathbb D}\), \( | f(z) | = | z | ^n\), whose maximum occurs at \( | z | =1\). There is no interior point where \( | z | ^n\) attains its maximum because \( | z | <1\) strictly inside the disk. |
|---|
If one attempted to replace \(z^n\) by a function that has a larger modulus in the interior, the theorem guarantees that such a construction would necessarily fail: holomorphicity would force either constancy or boundary attainment of the maximum.
7 Connections to Broader Complex Analysis
7.1 Links to the maximum principle for harmonic functions
| The maximum modulus principle is tightly connected to the classical maximum principle for harmonic functions via subharmonicity. Since \(\log | f | \) is subharmonic for holomorphic \(f\), extremal principles for subharmonic functions yield the modulus result. This bridge helps unify proofs across different objects in complex analysis: analytic, harmonic, and subharmonic. |
|---|
7.2 Consequences for analytic continuation and normal families
In analytic continuation, one repeatedly uses that holomorphic behavior is determined by data on sets with accumulation points. Maximum modulus arguments contribute to this by constraining how holomorphic functions can grow or oscillate. In the theory of normal families, similar estimates (often derived from maximum modulus and related inequalities) help show that sequences of holomorphic functions either form relatively compact families or diverge in controlled ways.
7.3 Use in boundary-value reasoning and estimates
| Many boundary-value problems in complex analysis rely on controlling \( | f | \) inside a region by boundary values. The maximum modulus principle provides a fundamental estimate: once a bound is known on the boundary, the same bound holds in the interior for holomorphic functions. This principle is therefore a central tool in deriving a priori bounds, in studying stability of solutions, and in comparing analytic functions through their boundary data. |
|---|
