Maximum modulus principle

Maximum modulus principle
Geek3 · CC BY-SA 3.0 · source
Name	Maximum modulus principle
Field	Complex analysis
Introduced	19th century
Notable for	boundary behavior of holomorphic functions

Maximum modulus principle The maximum modulus principle is a central result in complex analysis describing how the absolute value of a holomorphic function behaves on a connected open set. It asserts that a non-constant holomorphic function cannot attain a strict maximum of its modulus in the interior of its domain, tying together properties of Augustin-Louis Cauchy, Bernhard Riemann, Karl Weierstrass, Sofia Kovalevskaya, Ludwig Schläfli and later contributors such as Émile Picard, Rolf Nevanlinna, Hermann Weyl, and institutions like the École Normale Supérieure. The principle underlies many results about analytic continuation, conformal mapping, and potential theory developed at University of Göttingen, Trinity College, Cambridge, and Princeton University.

Statement

Let D be a connected open subset of the complex plane and f a holomorphic function on D. If |f| attains a local maximum at an interior point of D, then f is constant on D. Equivalently, if f is non-constant and holomorphic on D, then |f| has no interior maxima; any global maximum of |f| on a compact closure must occur on the boundary. This formulation connects work of Cauchy, Riemann, Weierstrass, and later expositions at Harvard University and University of Cambridge where foundational lectures propagated these ideas.

Proofs

Classical proofs use tools introduced by Cauchy: integrate f around small circles and apply the mean-value property derived from the Cauchy integral formula and related lemmas taught at ETH Zurich. The standard argument shows that if |f(z0)| is maximal then the derivatives at z0 vanish, invoking expansions from Weierstrass and the power series methods developed at University of Paris and University of Göttingen. Another approach uses subharmonic function theory associated with Riemann and Green's theorem and exploits the maximum principle for harmonic functions familiar from courses at Massachusetts Institute of Technology and Princeton University. A third proof employs the open mapping theorem, proven by techniques of G. H. Hardy and John Edensor Littlewood, showing that a non-constant holomorphic map is open and therefore cannot map a neighborhood to a set where modulus is maximal. Variants of these proofs appear in literature from Cambridge University Press and expositions by Serge Lang and Walter Rudin.

Consequences and corollaries

Important corollaries include the minimum modulus principle (for non-vanishing holomorphic functions), the maximum principle for harmonic functions linked to Laplace’s equation and applied in works at École Polytechnique, and the Schwarz lemma, closely connected to contributions by Hermann Amandus Schwarz and deployed in proofs related to Riemann mapping theorem and Kleinian groups. The principle implies uniqueness theorems such as analytic continuation results used by Bernhard Riemann in his study of Riemann surfaces and exploited in research at Institute for Advanced Study. It yields Hadamard three-circle theorems and Phragmén–Lindelöf type estimates appearing in the work of Jacques Hadamard and Erhard Schmidt and informs growth classifications studied by Rolf Nevanlinna.

Applications

Applications pervade classical and modern mathematics: conformal mapping problems pursued at Imperial College London and École Normale Supérieure; boundary behavior of holomorphic automorphisms in research at University of California, Berkeley; stability analyses in complex dynamical systems following ideas of Pierre Fatou and Gaston Julia; control of zeros in entire function theory as in results by Edmund Landau and Léonard Euler; and estimate techniques in partial differential equations taught at New York University and Stanford University. The maximum modulus principle is used in mathematical physics contexts addressed at CERN and Los Alamos National Laboratory when analytic continuation or complex-variable techniques are invoked. It also informs numerical methods and approximation theory developed in institutes such as Courant Institute and Max Planck Institute.

Generalizations and related results

Generalizations include versions for several complex variables developed by researchers at University of Geneva and University of Chicago, the maximum modulus principle for holomorphic vector-valued functions and operator-valued holomorphic maps studied in functional analysis programs at University of Bonn and Brown University, and variants for subharmonic and plurisubharmonic functions central to pluripotential theory pioneered by Henri Cartan and Kiyoshi Oka. Related results encompass the open mapping theorem, the identity theorem, Schwarz–Pick lemma associated with Ludwig Schläfli and Émile Picard, and boundary maximum principles for elliptic operators discussed in seminars at University of Michigan and ETH Zurich. Advanced research directions tie the principle to Nevanlinna theory, value distribution studied at Institute of Mathematics of the Polish Academy of Sciences, and complex dynamics programs at California Institute of Technology.

Category:Complex analysis