## Complex #30: sin(z)=z^2 solutions

One of the problems we talked about was the proof of the fact that the equation has an infinite number of complex number solutions. I thought of a couple of ways to do this. Here is one way.

Let . In rectangular coordinates, the function is

.

For a large positive integer , consider the rectangle

, where is a large constant to be chosen conveniently later. We will show that as we go counterclockwise around the boundary of , the argument of increases at least by . Then, by the argument principle, the number of zeros inside is (at least) (and there are no poles). So that is all we need for the proof, cause can be chosen to be arbitrarily large.

Increasing of the argument of :

**On the lower part of the boundary, , and

. For , this is a negative real number, so there is no change in argument as moves along the lower edge.

**On the left side of the boundary, , and

.

As moves down from (the large) to zero, the real part decreases from positive to negative, and the imaginary part also goes from positive to negative to zero. (Note: you can tell that it is still negative near zero by taking a limit — use Taylor series.) So this tells us that the argument goes from the first to the third quadrant and ends up at the negative real axis, without looping around too much. Without analyzing further, we have no idea if it goes above or below the origin, so we don’t know if the argument is increasing or decreasing. Either way, we know the argument increases or decreases by at most .

**On the right side of the boundary, , and

.

As moves up from to (the large) , the real part goes from negative to positive, and the imaginary part starts at zero, gets negative, then eventually goes positive (since increases exponentially). So in this case, we move from negative real axis to the first quadrant. Again we can conclude that the argument has changed by no more than (plus or minus).

**On the top part of the boundary, , a large number, and

.

As decreases from to , because of the largeness of , the graph looks like a small perturbation of the graph of , which is an ellipse, so we see that the goes around the origin counterclockwise (notice and switched from usual roles) times.

Thus, the total change in argument of as goes counterclockwise around the boundary of is bounded by , and since

must be an integral multiple of , we must have that the argument of makes between and revolutions counterclockwise around the origin. By the argument principle, there must be at least zeros inside .

One minor point: how large do we pick ? As long as we choose it so that is way bigger than and is way bigger than , we are fine. And we can definitely pick such a , since and increase exponentially in .

QED