Determine the number of zeros of in the first quadrant.
(1)
(2)
(3)
I really can't follow along in the book of how they do this. I was wondering if there was a simpler way of figuring out these problems. Any help would be appreciated, thanks!
Determine the number of zeros of in the first quadrant.
(1)
(2)
(3)
I really can't follow along in the book of how they do this. I was wondering if there was a simpler way of figuring out these problems. Any help would be appreciated, thanks!
Here is the example they give me to follow:
Find the number of zeros of the function in the first quadrant
Solution: On the segment , is real and greater than 2. On the quartercircle , ,
,
where for large. Thus, arg is approx. arg for large , so arg increases from 0 to about as increases from 0 to
On the segment , ,
For , this point lies in the fourth quadrant, since
Re
Im
Hence, as y decreases from R to 0, f(iy) lies in the fourth quadrant and moves toward the point w=4. COnsequently, as z traverses the contour, arg f(z) increases by exactly 2 , so has precisely one zero in the first quadrant.
--------------------------------------------------------------------
I can follow these steps up until where .
Thanks
That's a nice analysis Shadow. Thanks. This is how I'd interpret it: We're of course using the Argument Principle: .
In the case of the quarter circle you have:
Now: and so for large R,we have in parenthesis, one minus a very small number which approaches one in the limit so that we have over the quarter circle which is just .
On the leg going down the imaginary axis you noted:
So for very large , the argument of this point tends to since it's in the 4th quad and the term dominates for large y. As we go towards the origin, so the change in argument is .
Then the total change in argument is which implies there is only one root in the first quadrant.
You might be interested to know that Riemann did a similar, albeit slightly more complicated, analysis of the zeta function around a square contour encircling the critical region and likewise using the argument principle, conjectured all the (non-trivial) zeros of zeta were on the critical line.
You mean the other two right? You just did the first one. I struggle with them too. As far as the answers well, got Mathematica?
Yea, yea I know it's cheezy to do that. I ain't proud. It does provide a check of the work we do using the Argument Principle though.Code:In[69]:= N[Solve[z^2 + I*z + 2 + I == 0, z], 4] N[Solve[z^7 + 6*z^3 + 7 == 0, z], 4] Out[69]= {{z -> -0.3257 + 1.0350 I}, {z -> 0.326 - 2.035 I}} Out[70]= {{z -> -1.000}, {z -> -1.122 - 1.201 I]}, {z -> -1.122 + 1.201 I}, {z -> 0.4644 - 0.9559 I}, {z -> 0.4644 + 0.9559 I]}, {z -> 1.157 - 0.978 I}, {z -> 1.157 + 0.978 I}}
Ok, I didn't notice. That's good though. Gives us more practice. Also, can use Rouche's Theorem to find the roots. But to be honest, the lot of them would take me a while unless I really get the hang of it. Guess that's a bit of a contradiction since I added that bit about Riemann but I digress. Don't wait on me. Try and apply what we did above to those three. Mathematica is a program for doing math. Just like I typed in those commands and it output the roots. Tons more. Do a search on the web for Mathematica and also look down in the computer forum below. We have mathematica (and Matlab) problems that are solved. Everyone who does math should do Mathematica:
Code:In[81]:= N[Solve[z^4 - 3 z^2 + 3 == 0, z], 4] N[Solve[z^2 + I*z + 2 + I == 0, z], 4] N[Solve[z^7 + 6*z^3 + 7 == 0, z], 4] Out[81]= {{z -> -1.2712 + 0.3406 I}, {z -> 1.2712 - 0.3406 I}, {z -> -1.2712 - 0.3406 I}, {z -> 1.2712 + 0.3406 I}} Out[82]= {{z -> -0.3257 + 1.0350 I}, {z -> 0.326 - 2.035 I}} Out[83]= {{z -> -1.000}, {z -> -1.122 - 1.201 I}, {z -> -1.122 + 1.201 I}, {z -> 0.4644 - 0.9559 I}, {z -> 0.4644 + 0.9559 I}, {z -> 1.157 - 0.978 I}, {z -> 1.157 + 0.978 I}}
Ok, I'm sorry. If you don't know Mathematica, than that output I'm showing is probably very cryptic. The input lines in my post above solved for the roots of the three equations. These roots are given in the form {{r1},{r2},...{rn}} for each Solve I executed. So the first output for the first equation yielded four roots:
{{z -> -1.2712 + 0.3406 I}, {z ->
1.2712 - 0.3406 I}, {z -> -1.2712 -
0.3406 I}, {z -> 1.2712 + 0.3406 I}}
First is -1.2712+0.3406i (given by that z-> notation)
Second is: 1.2712-0.3406i
Third is -1.2712-0.3406i
Fourth: 1.2712+0.3406i
You can interpret the rest.
First is -1.2712+0.3406i (given by that z-> notation)
Second is: 1.2712-0.3406i
Third is -1.2712-0.3406i
Fourth: 1.2712+0.3406i
So, it seems to me that the Fourth root is the only one in the first quadrant, so we have one zero. This cooresponds with the answer I got, /hurray!
Ok good. Here's my work for #1: Call the legs of the contour as we go around them in the first quad, c1, c2, c3.
On c1 we have and for large R, (cake)
On c2 we have a similar situation as the example exercise:
and using the same argument, we get
However on c3, let z=yi so that for all y so that
So that over the entire contour, which means there is only a single root in this contour. Hey, I think I'm getting it too!