Solving Roots with Rouche's Theorem - Finding Solutions in Complex Plane

  • Context: Graduate 
  • Thread starter Thread starter soofjan
  • Start date Start date
  • Tags Tags
    Theorem
Click For Summary
SUMMARY

The discussion focuses on applying Rouche's Theorem to determine the number of roots of the function f(z) = 6z² - 6 + Log(1+z) within the domain D = { z is complex : |z-1| < 1 }. The user proposes using g(z) = 6z² - 6 and seeks to verify if |f(z) - g(z)| ≤ |g(z)| on the boundary of D. The conclusion drawn is that f(z) has one zero in the specified domain, supported by a Mathematica plot of the argument change around the circle.

PREREQUISITES
  • Understanding of complex analysis and analytic functions
  • Familiarity with Rouche's Theorem and its application
  • Proficiency in using Mathematica for plotting complex functions
  • Knowledge of logarithmic functions in the complex plane
NEXT STEPS
  • Study the application of Rouche's Theorem in various contexts
  • Learn how to analyze complex functions using Mathematica
  • Explore the properties of logarithmic functions in complex analysis
  • Investigate other methods for finding roots of complex functions
USEFUL FOR

Mathematicians, students of complex analysis, and anyone interested in root-finding techniques in the complex plane.

soofjan
Messages
18
Reaction score
0
I have been trying to solve the following question for a while now. I need to find the number of roots of:
f(z) = 6z^2 - 6 + Log(1+z)
in the area
D = { z is complex : |z-1| < 1 }

I assume this is solved by Rouche's theorem that requires me to find 2 analytic functions, h(z) and g(z) in D, where | g(z) | < | h(z) | on the verge of D, and f(z) = g(z) + h(z).

So I tried all possibilites, but none of them seem to work. Am I missing something?
Thanks.
 
Physics news on Phys.org
How about letting:

[tex]g=6z^2-6[/tex]
[tex]f=6z^2-6+Log[1+z][/tex]

Then is [itex]|f-g|\leq |g|[/itex] for [itex]z=1+e^{it}[/itex]
If so then [itex]f[/itex] has one zero in that domain.

Also, you can confirm this by plotting the argument change around the circle. This is the Mathematica code to see this:

Code:
Plot[Arg[6 z^2 - 6 + Log[1 + z]] /. 
  z -> 1 + Exp[I t], {t, -\[Pi], \[Pi]}]
 
Last edited:
If you draw the circle, you can see that it is possible for the distance from (0,0) to a z on the circle to be 1 (when the argument is 60 degrees), and then | 6z^2 - 6 | = 0. In that case, g(z) won't be bigger than f(z) - g(z) for every z, as Rouche requires.

This is what buffles me about this question. Maybe I'm missing something in the pure definition and I'll be happy if someone could point out my mistake. Thanks again.
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K