Proving an inequality using maximum modulus

Click For Summary
SUMMARY

The discussion focuses on proving the inequality |f(z)| ≤ M |(z-a)/(1-a'z)| for an analytic function f on the unit disk |z|<1, where |f(z)|≤M. The maximum modulus principle is central to the proof, which involves manipulating the inequality and using properties of complex numbers. The user attempts to rewrite the inequality and simplify it using the substitution z = e^(iθ), leading to confusion regarding the modulus of e^(iθ). The solution involves multiplying by the complex conjugate of the denominator and applying the condition |z|<1 effectively.

PREREQUISITES
  • Understanding of analytic functions and their properties
  • Familiarity with the maximum modulus principle
  • Knowledge of complex conjugates and their applications
  • Basic skills in manipulating inequalities in complex analysis
NEXT STEPS
  • Study the maximum modulus principle in detail
  • Learn about analytic functions and their properties in complex analysis
  • Explore techniques for manipulating inequalities in complex variables
  • Investigate the implications of the modulus of complex numbers
USEFUL FOR

Students and researchers in complex analysis, mathematicians focusing on analytic functions, and anyone interested in understanding the maximum modulus principle and its applications in proving inequalities.

stgermaine
Messages
45
Reaction score
0

Homework Statement


Let f be an analytic function on the disc |z|<1 and satisfies |f(z)|≤M if |z|<1.
Show that |f(z)| \le M \left| \frac{z-a}{1-a&#039;z} \right| when |z|<1

where a' is the complex conjugate of a

Homework Equations


This section uses maximum modulus principle, but I really don't understand it.

The Attempt at a Solution


Since |z|<1 and consequently |f(z)|≤1, I rewrite the inequality to be proved as
|f(z)|/M ≤ |\frac{z-a}{1-a&#039;z}|
If M=0, the inequality holds, since it is a trivial case of 0 =< 0. If not, we can use the fraction above. Since |f(z)| \le M, \; \frac{|f(z)|}{M} \le 1

Then, I write z as e^iθ. Technically I should write e^(iθ) but for the sake of convenience, e^iθ means just that, not e^i * θ.

Now, \frac{e^{i\theta} - a}{1-a&#039;e^{i\theta}} = e^{i\theta} \frac{1-ae^{-i\theta}}{1-a&#039;e^{i\theta}}

Note that the numerator is the complex conjugate of the denominator. Then, we can reduce |f(z)| as |e^{i\theta}|

Here's where it gets confusing. |e^{i\theta}| was stipulated to be less than 1 in the problem, but I wish to show that it is greater than equal to one.

What should I do?
 
Physics news on Phys.org
Ok, here is how I did it:

1) Multiply with the complex conjugate of the denominator;
2) Use the fact that |z|<1 to get of an 'a';
3) Use |z|<1 again to get rid of the fraction.
 

Similar threads

Replies
1
Views
819
  • · Replies 6 ·
Replies
6
Views
2K
Replies
8
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
Replies
6
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K