Maxmimum\Minimum modulus principle

  • Context: Graduate 
  • Thread starter Thread starter MMS
  • Start date Start date
  • Tags Tags
    Modulus Principle
Click For Summary

Discussion Overview

The discussion revolves around the maximum and minimum modulus principles in complex analysis, specifically addressing a question about the behavior of an analytic function within a specified ring. Participants explore the implications of given conditions regarding the minimum and maximum of the modulus of the function on the boundaries of the ring.

Discussion Character

  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant argues that since the function is analytic in the ring and on its boundary, the maximum modulus principle should apply, leading to the conclusion that 1 ≤ |f(z)| ≤ 2 for every z in the ring.
  • Another participant counters that the maximum modulus principle does not apply because the maximum and minimum values are given on different parts of the boundary, not on the same boundary.
  • A participant points out that there is no minimum modulus principle, providing an example of a function where the minimum modulus on the boundary does not reflect the minimum modulus in the interior.
  • Another example is provided where a specific function demonstrates that the minimum modulus can be achieved at a point within the domain, contradicting the initial claim.
  • There is a discussion about whether assuming the function is never zero would change the outcome, with one participant asserting that it would not affect the falsity of the original statement.

Areas of Agreement / Disagreement

Participants express disagreement regarding the application of the maximum modulus principle and the validity of the original statement. There is no consensus on the implications of the conditions provided in the question.

Contextual Notes

Participants highlight limitations in the original question's assumptions, particularly regarding the locations of the maximum and minimum modulus and the implications of the function potentially being zero.

MMS
Messages
146
Reaction score
4
Hey guys,

I'm studying for an exam that I have in Complex Analysis and I got stuck at the following question.

Question: True/False
f(z) is an analytical function in the ring 1 =< z =< 3. Also, the minimum of |f(z)| on |z|=1 equals to 1 and the maximum of |f(z)| on |z|=3 equals to 2.
Therefore, 1 =< |f(z)| =< 2 for every z in the ring 1 =< z =< 3.

the actual answer is false even though I don't get why I can't apply the maximum\minimum principle.

Here's my argument:

f is analytic in the ring and on its boundary (hence, bounded domain). Therefore, it is also continuous in the ring and up to its boundary. Then by the maximum modulus principle, it attains its maximum modulus on the boundary.
In other wording, |f(z)| on the boundary >= |f(z)| in the domain.
Same thing goes for the minimum modulus ---> |f(z)| on the boundary <= |f(z)| in the domain.
We're given that the maximum of the modulus is at |z|=3 and the minimum is at |z|=1. Hence, since those are the maximum and minimum of the modulus and it satisfies the principle,
1 =< |f(z)| =< 2 for every z in the ring 1 =< z =< 3.What am I missing out here?
 
Physics news on Phys.org
First, you are not given maximum and minims on the boundary, you are given max on one part of the boundary and min on another part. So, maximum modulus principle does not apply.

Second, there is no "minimum modulus principle": consider function ##f(z)=z## on the unit disc ##|z|<1##. Minimum of ##|f(z)|## of the circle ##|z|=1## is ##1##, but ##f(0)=0##.

Of course, to show that the statement is false, you need to construct a counterexample.
 
  • Like
Likes   Reactions: MMS
just to get an idea, notice that for the function f(z) = z-2, |f(z)| has minimum equal to 1 on |z| = 1, and maximum equal to 5 on |z| = 3. but f(2) =0.

by the way do you suppose it changes anything if we assume also that f(z) is never zero?
 
Last edited:
mathwonk said:
by the way do you suppose it changes anything if we assume also that f(z) is never zero?
Do you mean the original question? For the original question, even if we require that ##f(z)## is never zero, the statement is still false, so nothing changes.
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 7 ·
Replies
7
Views
5K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 17 ·
Replies
17
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K