Maximum Modulus Principle on Compact Domains

Hello! Welcome to the second module of our course.

In this lesson, we will explore a cornerstone of complex analysis: the Maximum Modulus Principle (MMP). Our learning outcome is to "Explain the Maximum Modulus Principle for analytic functions on compact domains."

This principle is the first major tool we'll use to simplify the paper's core problem. The paper seeks to maximize the amplitude |x_t|, which depends on a set of characteristic roots z_k constrained to a disk |z| ≤ r. The MMP will provide a powerful argument for why we only need to search for the optimal roots on the boundary of this disk (|z| = r), dramatically reducing the complexity of the problem.

We'll start by defining the principle, then delve into why it holds true, and finally, formulate the version for compact domains that is most relevant to our goal.

1. The Principle: No Peaks in the Interior

In single-variable real calculus, functions like cos(x) or -(x-2)^2 can have local maxima anywhere inside an interval. Complex analysis is different. The Maximum Modulus Principle states, informally, that for a well-behaved complex function (a holomorphic one), the landscape of its magnitude |f(z)| cannot have a peak anywhere in the middle of its domain. Any peak must be on the edge.

Let's get a more precise definition.

As you've read, if a non-constant holomorphic function f on a connected open domain D has a point z_0 in D where |f(z_0)| is a local maximum, it forces the function f to be constant everywhere on D. This is a remarkably strong constraint with no direct parallel in real analysis.

A Physical Analogy

Your background in physics provides a powerful intuition for this. The real and imaginary parts of any holomorphic function are harmonic functions, meaning they satisfy Laplace's equation, ${\nabla }^{2}u=0$. This is the same equation that governs steady-state temperature distributions.

Just as heat would naturally flow outward from an interior hot spot until the temperature evens out, the rigid structure imposed by the Cauchy-Riemann equations on a holomorphic function prevents its modulus from peaking at an interior point unless the function is flat (constant) everywhere.

2. The Proof: The Averaging Property

The mathematical reason behind the MMP is an elegant consequence of Cauchy's Integral Formula. This formula implies that the value of a holomorphic function at a point is the average of its values on any circle centered at that point. A point cannot be strictly greater than all its neighbors if it is also their average.

Let's summarize the logical steps of the proof you just saw:

1. Assumption: Suppose a non-constant holomorphic function f has a local maximum modulus at an interior point z_0. This means |f(z)| ≤ |f(z_0)| for all z in a small disk around z_0.
2. Mean Value Property: From Cauchy's Integral Formula, we can show that for a circle C of radius r around z_0:
   $f(z_0)=\frac{1}{2\pi }{\int }_0^{2\pi }f(z_0+r{e}^{i\theta })d\theta$
   The value at the center is the average of the values on the circle.
3. Triangle Inequality: Taking the modulus of both sides and applying the integral triangle inequality:
   $|f(z_0)|=\left|\frac{1}{2\pi }{\int }_0^{2\pi }f(z_0+r{e}^{i\theta })d\theta \right|\le \frac{1}{2\pi }{\int }_0^{2\pi }|f(z_0+r{e}^{i\theta })|d\theta$
4. The Contradiction: By our initial assumption, |f(z_0 + re^{i\theta})| ≤ |f(z_0)|. So, the average value of |f| on the circle must be less than or equal to |f(z_0)|.
   $\frac{1}{2\pi }{\int }_0^{2\pi }|f(z_0+r{e}^{i\theta })|d\theta \le \frac{1}{2\pi }{\int }_0^{2\pi }|f(z_0)|d\theta =|f(z_0)|$
   Combining these inequalities gives:
   $|f(z_0)|\le \frac{1}{2\pi }{\int }_0^{2\pi }|f(z_0+r{e}^{i\theta })|d\theta \le |f(z_0)|$
   This forces all the inequalities to be equalities. The only way for the integral of a non-negative function |f(z_0)| - |f(z_0 + re^{i\theta})| to be zero is if the function itself is zero everywhere.
5. Conclusion: This means |f(z)| must be constant on the circle. Since this holds for any small radius r, |f(z)| is constant in a neighborhood of z_0. For a holomorphic function, if its modulus is constant, the function itself must be constant. By analytic continuation, f must be constant over its entire connected domain, contradicting our initial assumption.

Therefore, a non-constant holomorphic function cannot attain a maximum modulus in the interior of its domain.

3. The Main Result: Maximum on the Boundary of a Compact Domain

So far, we've discussed open domains. The paper, however, constrains the roots to a compact (closed and bounded) set: the disk D_r = {z ∈ C : |z| ≤ r}. This is where the principle becomes a practical optimization tool.

Let's combine two key ideas:

1. From real analysis, a continuous function on a compact set (like |f(z)| on D_r) is guaranteed by the Extreme Value Theorem to attain its maximum value somewhere in that set.
2. From complex analysis, we just proved that if f is non-constant, this maximum cannot be in the interior of the set.

The logical conclusion is that the maximum must lie on the boundary.

To be precise, let f be a function that is holomorphic on a bounded open set D and continuous on its closure D_bar (which is a compact set).

• If f is constant, its maximum modulus is attained everywhere, including the boundary ∂D.
• If f is not constant, its maximum modulus is attained only on the boundary ∂D.

This is the key takeaway for our course. When we are asked to maximize the modulus of a holomorphic function over a compact set, we can ignore the interior and focus our search exclusively on the boundary.

Conclusion

In this lesson, we have established the Maximum Modulus Principle and its direct consequences for optimization problems in the complex plane.

Key Takeaways:

• A non-constant holomorphic function cannot attain a maximum modulus at an interior point of its domain.
• This principle is a result of the "averaging property" of holomorphic functions, which is a direct consequence of Cauchy's Integral Formula.
• For a function that is holomorphic on a bounded domain and continuous on its closure (a compact set), the maximum value of its modulus is always attained on the boundary of that domain.

Preview of the Next Lesson:
We will now apply this principle to the paper's problem. We will show that the amplitude x_t can be viewed as a holomorphic function of the characteristic roots z_k. The Maximum Modulus Principle will then allow us to conclude that to maximize |x_t|, we only need to consider roots that lie on the boundary circle, |z_k| = r. This is the first major simplification of the problem.