How Does the Maximum Modulus Principle Apply to Polynomial Functions?

Click For Summary
SUMMARY

The discussion centers on the Maximum Modulus Principle as it applies to polynomial functions, specifically addressing the inequality |a_i| < M for coefficients of a polynomial p(z) when evaluated on the unit circle |z|=1. The participants clarify that the correct formulation should be |a_i| ≤ M for i = 0, 1, 2, especially when considering the case where p(z) is the zero polynomial. Additionally, the discussion touches on the order of the zero at infinity for rational functions of the form f(z) = p(z)/q(z), where deg(p) < deg(q).

PREREQUISITES
  • Understanding of the Maximum Modulus Principle in complex analysis
  • Familiarity with polynomial functions and their coefficients
  • Knowledge of rational functions and polynomial degrees
  • Basic concepts of complex integration and derivatives
NEXT STEPS
  • Study the implications of the Maximum Modulus Principle on analytic functions
  • Explore the relationship between polynomial coefficients and their maximum modulus
  • Learn about the behavior of rational functions at infinity
  • Investigate complex integration techniques, particularly Cauchy's integral formula
USEFUL FOR

Mathematicians, students of complex analysis, and anyone studying polynomial functions and their properties in relation to the Maximum Modulus Principle.

podboy6
Messages
12
Reaction score
0
So my professor threw in what he called an extra 'hard' question for a practice test. So naturally I have a question about it. It relates to the Maximum Modulus Principle:

a) Let p(z) = a_0 + a_1 z + a_2 z^2 + ...
and let M = max |p(z)| on |z|=1.
Show that |a_i|&lt; M for i = 0,1,2.

b) What is the order of the zero at infinity if f(z) is a rational function of the form

f(z) = \frac {p(z)}{q(z)}

where both p(z) and q(z) are both polynomials and deg(p) &lt; deg(q).
 
Last edited:
Physics news on Phys.org
podboy6 said:
a) Let p(z) = a_0 + a_1 z + a_2 z^2 + ...
and let M = max |p(z)| on |z|=1.
Show that |a_i|&lt; M for i = 0,1,2.
As you have it, that's not necessarily true.
Consider:
p(z) \equiv 0
That is, the polynomial is constant zero.
Then M=0,but
a_i = M = 0 which contradicts |a_i|&lt;M
 
okay, it should be |a_i| is less than or equal to M for i=0,1,2.
 
So, have you tried anything?
 
Well, for the first part, given that |p(z)| \leq|M| for |z|=1,
and with:
p(0)=a_0
p'(0)=a_1
p''(0)=2a_2,

then in general,

|p^k (0)| \geq \frac{k!}{2\pi i} \int_{|z|=1} \frac{f(z)}{z^(k+1)} dz \Rightarrow \frac{k!}{2\pi i} \int_{0}^{2\pi} f( e^(it) ) dt \leq k!M.

thats about as far for that one. the other one is

\frac{p(z)}{q(z)} = \frac{a_0 + a_1 z +...+a_k z^k}{b_0 + b_1 z +...+b_l z^l} for some l>k. After that, I'm still working.
 
Last edited:
a) check your inequalities a little more carefeully, specifically comparing the derivatives at 0 to the integral.

b) What is the order of the zero of f(1/z) at z=0?
 

Similar threads

Replies
1
Views
741
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
9
Views
2K