Complex analysis: Counting zeros using the argument principle

Click For Summary
The discussion focuses on using the argument principle to determine the number of solutions to the equation z^5 + 2z^3 - z^2 + z = a in the right half-plane. The approach involves analyzing the change in argument along a half-circle contour and the imaginary axis, leading to different cases based on the value of a. For a ≤ 0, the total change in argument indicates 2 zeros, while for a > 0 (excluding 1), it suggests 3 zeros. A specific challenge arises when a = 1, where the contributor struggles with the change in argument due to the function's behavior near the origin. Ultimately, it is noted that the argument principle may not apply directly due to a zero on the integration path, and adjusting the contour can resolve the issue.
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. :)
 
Question: A clock's minute hand has length 4 and its hour hand has length 3. What is the distance between the tips at the moment when it is increasing most rapidly?(Putnam Exam Question) Answer: Making assumption that both the hands moves at constant angular velocities, the answer is ## \sqrt{7} .## But don't you think this assumption is somewhat doubtful and wrong?

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
2K
  • · Replies 18 ·
Replies
18
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K