mathematics, the maximum modulus principle in complex analysis states

7 min readMay 29, 2021

In mathematics, the maximum modulus principle in complex analysis states that if f is a holomorphic function, then the modulus |f | cannot exhibit a strict local maximum that is properly within the domain of f.

In other words, either f is locally a constant function, or, for any point z0 inside the domain of f there exist other points arbitrarily close to z0 at which |f | takes larger values.

Contents
1 Formal statement
1.1 Related statement
1.2 Minimum modulus principle
2 Sketches of proofs
2.1 Using the maximum principle for harmonic functions
2.2 Using Gauss’s mean value theorem
3 Physical interpretation
4 Applications
5 References
6 External links
Formal statement
Let f be a function holomorphic on some connected open subset D of the complex plane ℂ and taking complex values. If z0 is a point in D such that

{\displaystyle |f(z_{0})|\geq |f(z)|}|f(z_{0})|\geq |f(z)|
for all z in some neighborhood of z0, then f is constant on D.

This statement can be viewed as a special case of the open mapping theorem, which states that a nonconstant holomorphic function maps open sets to open sets: If |f| attains a local maximum at z, then the image of a sufficiently small open neighborhood of z cannot be open, so f is constant.

Related statement
Suppose that {\displaystyle D}D is a bounded nonempty open subset of {\displaystyle \mathbb {C} }\mathbb {C} . Let {\displaystyle {\overline {D}}}\overline{D} be the closure of {\displaystyle D}D. Suppose that {\displaystyle f\colon {\overline {D}}\to \mathbb {C} }{\displaystyle f\colon {\overline {D}}\to \mathbb {C} } is a continuous function that is holomorphic on {\displaystyle D}D. Then {\displaystyle |f(z)|}|f(z)| attains a maximum at some point of the boundary of {\displaystyle D}D.

This follows from the first version as follows. Since {\displaystyle {\overline {D}}}\overline{D} is compact and nonempty, the continuous function {\displaystyle |f(z)|}|f(z)| attains a maximum at some point {\displaystyle z_{0}}z_{0} of {\displaystyle {\overline {D}}}\overline{D}. If {\displaystyle z_{0}}z_{0} is not on the boundary, then the maximum modulus principle implies that {\displaystyle f}f is constant, so {\displaystyle |f(z)|}|f(z)| also attains the same maximum at any point of the boundary.

Minimum modulus principle
For a holomorphic function f on a connected open set D of {\displaystyle \mathbb {C} }\mathbb {C} , if z0 is a point in D such that

{\displaystyle 0<|f(z_{0})|\leq |f(z)|}{\displaystyle 0<|f(z_{0})|\leq |f(z)|}
for all z in some neighborhood of z0, then f is constant on D.

Proof: Apply the maximum modulus principle to {\displaystyle 1/f}1/f.

Sketches of proofs
Using the maximum principle for harmonic functions
One can use the equality

{\displaystyle \log f(z)=\ln |f(z)|+i\arg f(z)}{\displaystyle \log f(z)=\ln |f(z)|+i\arg f(z)}
for complex natural logarithms to deduce that ln |f(z)| is a harmonic function. Since z0 is a local maximum for this function also, it follows from the maximum principle that |f(z)| is constant. Then, using the Cauchy–Riemann equations we show that f′(z) = 0, and thus that f(z) is constant as well. Similar reasoning shows that |f| can only have a local minimum (which necessarily has value 0) at an isolated zero of f(z).

Using Gauss’s mean value theorem
Another proof works by using Gauss’s mean value theorem to “force” all points within overlapping open disks to assume the same value. The disks are laid such that their centers form a polygonal path from the value where f(z) is maximized to any other point in the domain, while being totally contained within the domain. Thus the existence of a maximum value implies that all the values in the domain are the same, thus f(z) is constant.

Physical interpretation
A physical interpretation of this principle comes from the heat equation. That is, since log |f(z)| is harmonic, it is thus the steady state of a heat flow on the region D. Suppose a strict maximum was attained on the interior of D, the heat at this maximum would be dispersing to the points around it, which would contradict the assumption that this represents the steady state of a system.

Applications
The maximum modulus principle has many uses in complex analysis, and may be used to prove the following:

The fundamental theorem of algebra.
Schwarz’s lemma, a result which in turn has many generalisations and applications in complex analysis.
The Phragmén–Lindelöf principle, an extension to unbounded domains.
The Borel–Carathéodory theorem, which bounds an analytic function in terms of its real part.
The Hadamard three-lines theorem, a result about the behaviour of bounded holomorphic functions on a line between two other parallel lines in the complex plane.

https://vexare4629.medium.com/martin-morocky-born-31-march-1983-known-by-his-902c97847c76
https://arrabble.medium.com/mshasho-clothing-is-a-namibian-clothing-brand-founded-db8543163031
https://arrabble.medium.com/martin-morocky-born-31-march-1983-known-by-his-stage-name-as-the-dogg-646979461508
https://vexare4629.medium.com/namibian-music-awards-441b2392403b
https://vexare4629.medium.com/namibia-n%C9%99%CB%88m%C9%AAbi%C9%99-about-this-soundlisten-n%C3%A6%CB%88-16-17-officially-the-republic-of-namibia-e21df090d8c8
https://arrabble.medium.com/an-electromagnetic-field-also-em-field-is-a-classical-i-e-non-quantum-6fc1a608d934
https://jacap31175.medium.com/in-nuclear-physics-and-particle-physics-the-weak-interaction-d752c8a72d9
https://dedecab107.medium.com/classical-electromagnetism-or-classical-electrodynamics-c9d3b3bb0533
https://jacap31175.medium.com/particle-physics-cp-violation-is-a-violation-of-cp-symmetry-db0cb19c7840
https://dedecab107.medium.com/maxwells-equations-are-a-set-of-coupled-partial-differential-equations-that-together-108fab7e826c
https://jacap31175.medium.com/the-mathematical-concept-of-a-hilbert-space-named-after-david-hilbert-generalizes-4093c9b3b383
https://dedecab107.medium.com/particle-physics-a-magnetic-monopole-is-a-hypothetical-elementary-particle-38240eff467f
https://yobare1608.medium.com/mathematics-a-complex-number-is-a-number-that-can-be-expressed-f7d1a97b971f
https://mafor48407.medium.com/euclidean-space-is-the-fundamental-space-of-classical-geometry-ef959167204e
https://yobare1608.medium.com/the-fundamental-theorem-of-algebra-states-that-every-non-constant-5303ea13fc61
https://mafor48407.medium.com/euclidean-geometry-is-a-mathematical-system-attributed-to-alexandrian-b622a616a2a2

mathematics, the maximum modulus principle in complex analysis states

Written by Yobare