Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I need to find the Image of the region $\{z\in\mathbb{C}:\Re(z)>\Im(z)>0\}$ under the map $z\to e^{z^2}$

$z=x+iy\Rightarrow z^2=x^2-y^2+2ixy \Rightarrow e^{z^2}=e^{x^2-y^2}[\cos(2xy)+i\sin(2xy)]$

What I know is $x>y\Rightarrow x^2-y^2>0\Rightarrow e^{x^2-y^2}>0$ and infact as $x^2=y^2$ so $e^{x^2-y^2}>1$ and the modulas of any complex number in the image plane is always $=e^{x^2-y^2}>1$ so can I conclude the image set as $\{w\in\mathbb{C}:|w|>1\}$?

Please tell If I am wrong in my logic anywhere. Thank you for discussion.

share|cite|improve this question
up vote 1 down vote accepted

This is incorrect. Note that $x > y$ does not imply that $x^2 > y^2$. (Take $x = 0$, $y=-1$.) Also, you haven't argued why the image is all of $\{ |w| > 1 \}$, just that it's a subset thereof.

The easiest way to do this is to map $\Omega = \{ x > y \}$ first using $z \mapsto z^2$ and then using $z \mapsto e^z$. To do this, observe that $\Omega$ is bounded by the rays $re^{i\pi/4}$ and $re^{-3i\pi/4}$. Hence (how does $z \mapsto z^2$ map rays from the origin?), by mapping $\Omega$ with $z \mapsto z^2$, we get the entire complex plane with the execption of the positive imaginary axis.

Finally $z \mapsto e^z$ maps the complex plane onto $\mathbb{C} \setminus{0}$, and since $e^z$ is periodic with period $2\pi i$, removing the positive imaginary axis doesn't change the image. In conclusion, $z \mapsto e^{z^2}$ maps $\Omega$ onto $\mathbb{C} \setminus{0}$.

share|cite|improve this answer
I have edited my question! Thank you for your explanation, could you just tell me if my logic is now correct? – Un Chien Andalou Aug 8 '13 at 9:46
It's hardly fair to edit your question in a way that makes my answer wrong. I already pointed out the logic flaws in your argument. You haven't showed that all points in $\{ |w| > 1 \}$ are included in the image. – mrf Aug 8 '13 at 10:10
@TaxiDriver You can, however, adapt my argument above to cover the new situation. – mrf Aug 8 '13 at 10:11

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.