Complex analysis question (Roche theorem)

Click For Summary
SUMMARY

The discussion centers on applying Rouché's theorem to demonstrate that the analytic function f, defined on the closed circle |z|<=1 with f(0)=1 and |f(z)|>3/2 on |z|=1, has at least one root and one fixed point within |z|<1. The user defines g(z)=f(z)-z and aims to show that |f(z)|<|z-f(z)| for every |z|<1. The analysis confirms that |z-f(z)| is bounded by |z| + |f(z)|, leading to the conclusion that there are no zeros on the unit circle, thus ensuring the existence of roots inside the unit disk.

PREREQUISITES
  • Understanding of Rouché's theorem
  • Knowledge of analytic functions
  • Familiarity with complex analysis concepts
  • Proficiency in using the triangle inequality
NEXT STEPS
  • Study Rouché's theorem in detail to understand its applications
  • Explore properties of analytic functions in complex analysis
  • Learn about fixed points in the context of complex functions
  • Investigate the triangle inequality and its implications in complex analysis
USEFUL FOR

Mathematicians, students of complex analysis, and anyone interested in the properties of analytic functions and their roots.

MathematicalPhysicist
Science Advisor
Gold Member
Messages
4,662
Reaction score
372
Let R be domain which contains the closed circle:
|z|<=1, Let f be analytic function s.t f(0)=1, |f(z)|>3/2 in |z|=1, show that in |z|<1 f has at least 1 root, and and one fixed point, i.e s.t that f(z0)=z0.


now here what I did, let's define g(z)=f(z)-z, and we first need to show that the number of roots of f(z) is at least as z (i.e 1), by roche theorem, if |f(z)|<|z-f(z)| for every |z|<1 then the number of roots of f(z) are the same as those of (z-f(z))+f(z), now the pesky task to show this.
|z-f(z)|<=|z|+|f(z)|<1+|f(z)|
here is where I'm stuck, don't know how to follow.
 
Physics news on Phys.org
If all you want to do is show that |z-f(z)|<=|z|+|f(z)|<1+|f(z)| is true inside the unit circle then:

|z-f(x)| <= |z|+|-f(z)| = |z|+|f(z)| by the triangle inequality

since we are inside the circle, |z| < 1. add |f(z)| to both sides, it is positive so the inequality remains.
|z| + |f(z)| < 1 + |f(z)|

On the unit circle, |z|=1 and |f(z)| > 3/2 so there are definitely no zeroes there.
 

Similar threads

Replies
8
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
7
Views
3K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K