Complex Analysis: Showing abs{f(z)} ≤ abs{z^k}

Click For Summary
SUMMARY

The discussion focuses on proving the inequality |f(z)| ≤ |z^k| for an analytic function f(z) mapping the open unit disk D to itself, with the first (k-1) derivatives at zero vanishing. The participants suggest using the Schwarz lemma and the maximum modulus theorem to approach the proof. One participant attempts a brute force method by expanding the power series but struggles to show that g(z) = f(z)/z^k is bounded by 1. The conversation emphasizes the necessity of leveraging established theorems rather than relying solely on power series expansion.

PREREQUISITES
  • Understanding of complex analysis, specifically analytic functions
  • Familiarity with the Schwarz lemma and its applications
  • Knowledge of the maximum modulus theorem
  • Experience with power series expansions in complex functions
NEXT STEPS
  • Study the proof of the Schwarz lemma in detail
  • Research the maximum modulus theorem and its implications for analytic functions
  • Explore the properties of power series in complex analysis
  • Investigate examples of functions mapping the unit disk to itself
USEFUL FOR

Mathematicians, students of complex analysis, and anyone interested in the properties of analytic functions and inequalities in the context of the unit disk.

esisk
Messages
43
Reaction score
0
1. If f(z) : D--->D is analytic where D is the open unit disk, and

the first (k-1) derivatives at zero vanish i.e (f(0)=0,f'(0)=0,f''(0)=0...f^k-1(0)=0



2.I would like to show that

abs{f(z)} \leq abs{z^k}





3. I believe one can (an the question is possibly intended to be solved this way) approach it using Schwarz, I was trying to do it by brute force whereby expanding the power series and saying
f(x)=z^k g(z) and somehow show that I g(z) I <= 1. I am failing as of now.
Any help? I thank you for your time
 
Physics news on Phys.org
g(z)=f(z)/z^k is analytic in the disk, right? Look at the limit as |z|->1 and apply the maximum modulus theorem, just like in the proof of the Schwarz lemma. I don't see how you can 'brute force' the power series. You need to use that f:D->D.
 
I thank you for the response Dick...I appreciate the hint, I am working on it. I know it is elementary, but I am having difficulty.
 

Similar threads

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