Sunday, 7 January 2018

complex analysis - Proving surjectivity of cos(z) and sin(z) and find all z:cos(z)inmathbbR and all z:sin(z)inmathbbR



I am trying to solve the following two problems:



1) Prove that the functions cos(z), sin(z) are surjective over the complex numbers.



2) Find all zC: cos(z)R and find all zC: sin(z)R.




For 1),I've tried to prove it for the function cos(z) (I suppose the other one is analogue) so I've used the fact that cos(z)=eiz+eiz2.



Let wC, I want to show there exists zC:f(z)=w, i.e., eiz+eiz2=w, multiplying by 2 and then by eiz yields e2iz+1=2weiz iff e2iz2weiz+1=0.



I don't know if this approach is the correct one but here I've replaced eiz by x, so the solutions of the equation would be the roots of the polynomial p(x)=x22wx+1, by the quadratic formula, I get that x{2w+w02,2ww02}, where w20=4w24.



Then, eiz{2w+w02,2ww02}. At this point I got lost, I would like to explicitly show that z exists and I can't see existence directly from the fact that eiz=2w+w02 or eiz=2ww02.



First I thought of taking logarithm of both sides of the equation ir order to solve for z, but this is not a legitimate operation unless eizR.




I couldn't go any farther.



For point 2) I have no idea what to do, should I use the identity cos(z)=eiz+eiz2?



I would appreciate some help with the two points (specially with point 2), at least in 1) I could do something).



Btw, Happy new year!


Answer



1) Note that one of 2w+w02,2ww02 must be nonzero, and that eiz achieves all values except 0, since for any reiθC we have
reiθ=ei(θilnr)

thus we have some z such that eiz=2w+w02 or eiz=2ww02.



2) If we write z=x+iy then
cos(z)=eixy+eix+y2=eyeix+ey¯eix2


which has conjugate
ey¯eix+eyeix2

so cos(z) is real iff
eyeix+ey¯eix=ey¯eix+eyeix.

If eix is real then x=nπ for some nN. Otherwise eix and ¯eix are linearly independent over R, so ey=ey thus y=0.




The case of sin is similar for both problems.


No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find limh0sin(ha)h without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...