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!

Printable View

- Oct 23rd 2008, 10:25 AMshadow_2145The zeros of an analytic function (Complex Analysis)
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! - Oct 23rd 2008, 02:26 PMshadow_2145
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 - Oct 23rd 2008, 03:52 PMshawsend
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. :) - Oct 23rd 2008, 04:07 PMshadow_2145
Thanks a lot! I'm going to try these on my own. Is there any chance you could tell me the answer to at least one of these so I can see if I'm going on the right track? Just the answer is fine, no ned to explain if you don't want to. :)

- Oct 23rd 2008, 04:19 PMshawsend
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?

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}}

- Oct 23rd 2008, 04:33 PMshadow_2145
Actually, the first one is different from the example I provided. What is this mathematica?! I don't understand it, lol.

- Oct 23rd 2008, 04:38 PMshadow_2145
- Oct 23rd 2008, 04:43 PMshawsend
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}}

- Oct 23rd 2008, 04:58 PMshawsend
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. - Oct 23rd 2008, 05:04 PMshadow_2145

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, :o /hurray! - Oct 23rd 2008, 05:21 PMshawsend
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! :)