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

Discussion Overview

The discussion revolves around the analysis of complex functions and polynomials in the complex plane, specifically focusing on the function $f(z)=e^{-z}+z^2-4z+4$. Participants are tasked with demonstrating the existence of two distinct zeroes within a specified region and exploring the implications of Rouché's Theorem in this context. Additionally, a second problem regarding the composition of holomorphic functions is introduced.

Discussion Character

  • Technical explanation
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • Some participants propose using Rouché's Theorem to show that $f(z)$ has exactly two zeroes within the disk defined by $|z-2|<1$.
  • One participant suggests a substitution $u=z-2$ to simplify the analysis of $f(z)$, leading to the expression $f(z)=e^{-u-2}+u^2$.
  • Another participant discusses the application of Rouché's Theorem, noting that $|f(u)-u^2|=|e^{-u-2}|\le|u^2|$ on the boundary $|u|=1$.
  • Concerns are raised about justifying the distinctness of the zeroes, with a participant exploring the implications of assuming a double root and deriving contradictions.
  • Several participants seek validation of their solutions and reasoning regarding the application of Rouché's Theorem.

Areas of Agreement / Disagreement

Participants express uncertainty regarding the justification for the distinctness of the zeroes and the correctness of their application of Rouché's Theorem. There is no consensus on these points, and multiple viewpoints are presented.

Contextual Notes

Limitations include the need for further clarification on the conditions under which Rouché's Theorem applies and the assumptions made regarding the nature of the zeroes of the function.

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
3K
  • · 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