Complex analysis: Counting zeros using the argument principle

Click For Summary

Homework Help Overview

The discussion revolves around a complex analysis problem involving the argument principle to count the number of solutions to the equation z^5 + 2z^3 - z^2 + z = a for a fixed number a, specifically focusing on solutions where Re z > 0.

Discussion Character

  • Exploratory, Assumption checking, Mathematical reasoning

Approaches and Questions Raised

  • Participants explore the use of the argument principle and consider the parametrization of paths in the complex plane. There is discussion about the change in argument along different paths and how it relates to the number of zeros. Questions arise regarding the contribution of specific paths to the total change in argument, particularly for certain values of a.

Discussion Status

Some participants have offered alternative approaches, such as using Rouche's Theorem, while others emphasize the importance of solving the problem without it. There is an acknowledgment of the challenges faced in applying the argument principle correctly, especially when zeros lie on the path of integration. One participant mentions a theoretical resolution to their confusion regarding the argument change.

Contextual Notes

There is a mention of the need to consider various cases for the fixed value of a, as well as the implications of having a zero on the path of integration, which complicates the application of the argument principle.

Wingeer
Messages
76
Reaction score
0

Homework Statement


Gamelin VIII.1.6 (8.1.6)
"For a fixed number a, find the number of solutions of
z^5+2z^3-z^2+z=a satisfying Re z > 0"

Homework Equations


The argument principle relating the change in the argument to the number of zeros and poles of the function on the domain.

The Attempt at a Solution


This is obviously equivalent to finding the number of zeros of f(z)= z^5+2z^3-z^2+z-a
So we consider the (open) half circle with radius R in the right half-plane. We break it up in two paths, 1) counterclockwise along the boundary of the half circle and 2) the one along the imaginary axis from R to -R. Along 1) we parametrize by:
z=Re^{it} where t ranges from -pi/2 to pi/2. Now the z^5 dominates the polynomial, so the increase in argument along this path is approx. equal to the increase in argument along z^5. The change in argument is therefore 5pi along this path.
Along 2) we parametrize by z=it and get that:
f(z) = t^2 - a + it(t^2-1)^2. Now obviously we have to consider several cases of the fixed value of a, as the roots of the real and imaginary parts are dependent of a. For a<=0 the change in argument is -pi, so that the total is 4pi => 2 zeros in the domain. for a>0, but different from 1, we get that the change of argument is pi, so that the total is 6pi => 3 zeros. For a=1 I am having problems. As t is positive and large, the values of f(z) is in the first quadrant. As the value of t is negative and large the values are in the fourth quadrant, and since t=-1 is origo we get another -pi/2. Now for t=1 the function maps to origo and so the change is -pi/2. For t=0 we get the point (-1,0), and here I am a bit uncertain of the change in argument.
1. Is it zero, since both the starting point and ending point are at the real axis?
2. Is it pi, since it is a counterclockwise rotation along a half circle-ish shape?

However, both of these reasonings are wrong, for the answer to be correct, I need the contribution of this circle-ish curve to be -2pi. I can't get it to work.
Also, second question: If one were to consider a horizontal strip-domain. How would one choose to parametrize it?
 
Physics news on Phys.org
Bump/revive from the dead.
 
Why not use Rouche's Theorem?
 
One could of course use Rouche's theorem, but this exercise is given in the section before Rouche's theorem. So it is possible to solve it without. Also, I've dived so deep into this exercise that I really want to know what I've done wrong.
Thanks for your answer, though!
 
Wingeer said:
However, both of these reasonings are wrong, for the answer to be correct, I need the contribution of this circle-ish curve to be -2pi. I can't get it to work.


Ok I got an option for you that you may not like: get the answer first and then fit the analysis to it. That means fire up Mathematica and analyze how the argument changes as you tract the contour for varous values of a. But keep in mind the ordinary Arg function in Mathematica only gives the principal value of the argument so that you have to manually code the analytically-continuous change in argument along the path. So do this for a while, get a feel for how it's changing, then try to justify that result through analytic means.
 
I actually solved this "theoretically". What I was doing wrong was using the argument principle where it cannot be used. The problem is that the function has a zero on the path of integration, so to say. If one translates the area by an epsilon value everything works out. :)
 

Similar threads

Replies
8
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 17 ·
Replies
17
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 13 ·
Replies
13
Views
3K
Replies
9
Views
2K
Replies
7
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 18 ·
Replies
18
Views
3K