Can an Entire Function with Given Conditions Have a Zero in a Specific Region?

  • Context: Graduate 
  • Thread starter Thread starter huyichen
  • Start date Start date
  • Tags Tags
    Complex Variable
Click For Summary

Discussion Overview

The discussion revolves around the properties of an entire function under specific conditions, particularly whether such a function can have a zero in a defined region based on its boundedness on the unit circle and the existence of a fixed point within the unit disk.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant proposes that if an entire function \( f \) satisfies \( 1 \leq |f| \leq 2 \) for all \( |z| = 1 \) and has a fixed point \( z_0 \) within the unit disk where \( f(z_0) = z_0 \), then there exists a \( z_1 \) with \( |z_1| < 1 \) such that \( f(z_1) = 0.
  • Another participant suggests using Rouche's Theorem but expresses doubt about its utility in this context.
  • One participant states that a bounded entire function must be constant, but another counters that this only applies if the function is bounded on the entire complex plane, not just on a line.
  • A later reply acknowledges a misunderstanding regarding the problem's conditions and reiterates the initial proposition about the existence of a zero in the specified region.
  • Another participant elaborates on the application of Rouche's Theorem, suggesting that if \( z_0 = 0 \), there is nothing to prove, but if \( z_0 \) is not zero, they define a new function \( g(z) = f(z) - z_0 \) and argue that \( f \) and \( g \) have the same number of roots inside the unit circle.
  • There is uncertainty expressed about the necessity of \( f \) being entire for the argument to hold.

Areas of Agreement / Disagreement

Participants express differing views on the implications of boundedness for entire functions, and there is no consensus on the application of Rouche's Theorem or the necessity of the function being entire. The discussion remains unresolved regarding the existence of a zero in the specified region.

Contextual Notes

The discussion highlights limitations in the assumptions about boundedness and the specific conditions under which the properties of entire functions apply. There are unresolved mathematical steps regarding the application of Rouche's Theorem and the implications of the function being entire.

huyichen
Messages
28
Reaction score
0
If f is entire, and 1<=[tex]\left|f\right|[/tex] <=2 for all [tex]\left|z\right|[/tex] =1, and there is a z0 with [tex]\left|z0\right|[/tex] <1 and f(z0)=z0, then prove or disprove that there exist a z1 with [tex]\left|z1\right|[/tex]<1 such that f(z1)=0.
 
Physics news on Phys.org
I am thinking of using Rouche's Theorem, but find it not that useful.
 
a bounded entire function is a constant
 
wofsy said:
a bounded entire function is a constant

This is only true if it was bounded on the entire complex-plane, here f is not even bounded in a domain, but on a line.
 
elibj123 said:
This is only true if it was bounded on the entire complex-plane, here f is not even bounded in a domain, but on a line.

right I misread your problem
 
huyichen said:
If f is entire, and 1<=[tex]\left|f\right|[/tex] <=2 for all [tex]\left|z\right|[/tex] =1, and there is a z0 with [tex]\left|z0\right|[/tex] <1 and f(z0)=z0, then prove or disprove that there exist a z1 with [tex]\left|z1\right|[/tex]<1 such that f(z1)=0.

I think your idea of using Rouche' Theorem is right.

If z0 = 0 there is nothing to prove.
If z0 is not zero then

let g(z) = f(z) - z0. |f - g| = |z0| < 1 <= min(f(z) on the unit circle.

So f and g have the same number of roots inside the unit circle ( f has no roots on the unit circle.)

I am not sure why you need f to be entire.
 
That's right, thanks!
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K