Understanding Complex Functions and Polynomials in the Complex Plane

  • Context: MHB 
  • Thread starter Thread starter Markov2
  • Start date Start date
  • Tags Tags
    Complex
Click For Summary
SUMMARY

The discussion focuses on the function \( f(z) = e^{-z} + z^2 - 4z + 4 \) and its zeroes within the disk defined by \( |z-2|<1 \). Using Rouché's Theorem, it is established that \( f \) has exactly two distinct zeroes in this region. The distinctness of the zeroes is confirmed by analyzing the derivative \( g'(u) = -e^{-u-2} + 2u \) and showing that a double root leads to a contradiction.

PREREQUISITES
  • Complex analysis fundamentals
  • Rouché's Theorem
  • Understanding of polynomials in the complex plane
  • Calculus of complex functions, including derivatives
NEXT STEPS
  • Study Rouché's Theorem in detail
  • Explore the properties of polynomials in complex analysis
  • Learn about the implications of distinct roots in complex functions
  • Investigate the behavior of exponential functions in the complex plane
USEFUL FOR

Students and professionals in mathematics, particularly those studying complex analysis, as well as researchers focusing on polynomial functions and their properties in the complex plane.

Markov2
Messages
149
Reaction score
0

1) Let $f(z)=e^{-z}+z^2-4z+4.$ Show that $f$ has exactly two zeroes on $\{z\in\mathbb C:|z-2|<1\}.$ Show that these zeroes are distinct, that is, it's not a zero of order two.

2) Let $f,g\in\mathcal H(\mathbb C)$ be no constant. Prove that $(f\circ g)(z)$ is a polynomial iff $f$ and $g$ are polynomials.

Attempts:

1) I know I have to use Rouché's Theorem, but I don't know how for this case, it annoys me the $|z-2|<1.$

2) The $\Longleftarrow$ implication is trivial, but not the another one. I don't know how to proceed though.
 
Physics news on Phys.org
Markov said:
1) Let $f(z)=e^{-z}+z^2-4z+4.$ Show that $f$ has exactly two zeroes on $\{z\in\mathbb C:|z-2|<1\}.$ Show that these zeroes are distinct, that is, it's not a zero of order two.

Hint Using the substitution $u=z-2$ we obtain $f(z)=e^{-u-2}+u^2$ and $|\;e^{-u-2}\;|<|u^2|$ on $|u|=1$ .
 

Very nice Fernando! Now let $|f(u)-u^2|=|e^{-u-2}|\le|u^2|=1\le|f(u)|+|u|^2,$ since $f(u)$ and $u^2$ have no zeroes for $|u|=1,$ then by Rouché's Theorem $f$ has two zeroes for $|u|<1,$ but how to justify that those zeroes are distincts? (Second part of the problem.)

Could you help me with second problem please?
 
Markov said:
but how to justify that those zeroes are distincts? (Second part of the problem.)

Suppose $a$ is a double root of $g(u)=e^{-u-2}+u^2$ in $|u|<1$ then, $a$ is also a root of $g'(u)=-e^{-u-2}+2u$, but $g(a)=0$ and $g'(a)=0$ implies $a^2+2a=0$ that is, $a=0$ or $a=-2$ (contradiction) .
 
Fernando last thing: is my solution correct by applying Rouché's Theorem?
 
Can anydoby check if my solution by using Rouché is correct?
 
Markov said:
Can anydoby check if my solution by using Rouché is correct?

I don't see any solution on your part. :)
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 14 ·
Replies
14
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K