Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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 want to show that $\coth=\frac{e^{2z}+1}{e^{2z}-1}$ is a conformal mapping of the horizontal strip $S=\{z\in C: \pi/4<\text{Im}(z)<3\pi/4\}$ onto the unit disc U, but I can't seem to get the right idea?

share|cite|improve this question

First of all, notice that $\coth$ is the composition of the maps $f(z)=e^{2z}$ and $g(z)=\dfrac{z+1}{z-1}$, i.e. $\coth=g\circ f:\{z\in C: \pi/4<\text{Im}(z)<3\pi/4\}\longrightarrow \mathbb C $

Now, where does $f$ map the strip $S=\{z\in C: \pi/4<\text{Im}(z)<3\pi/4\} $?

First $z$ is mapped conformally to $2z$, i.e. the strip is mapped to $$S'=\{z\in C: \pi/2<\text{Im}(z)<3\pi/2\}$$ Then $S'$ is mapped via $e^z$ conformally to the left half plane $$H=\{z\in\mathbb C:\mathrm{Re}(z)<0\}\mathbf{\text { (Check it!) }}$$ Finally, where, does $g$ map the left half plane H?

$g$ is a Möbius transform, which maps conformally the boundary of $H$ to the boundary of the unit disk, and the interior of $H$ to the interior of the disk (Check it!!)

share|cite|improve this answer
I cannot see how $S^{'}$ is mapped via $e^z$ conformally to H? Don't we want to show that S can be mapped to U? – Maja May 19 '13 at 11:00
Take a horizonal line $y=c, c\in(\pi/2,3\pi/2)$. Where is it mapped through $e^z$?(keep $y$ constant and $x$ takes values from $-\infty $ to $+\infty$) $$e^z=e^{x+iy}=e^x\cdot e^{iy}$$ Note that $|e^z|=e^x\in(0,\infty),\forall z\in S'$, and $\arg(z)\in (\pi/2,3\pi/2)$ . Can you see now what is the image of $S'$? – Dimitrios Nt May 19 '13 at 11:15
No, I think I get confused when we introduce $S^{'}$. We want to send f composed with g: $S\longrightarrow H \longrightarrow U$, and so I get confused when we have $S^{'}$. – Maja May 19 '13 at 11:42
Look how it is : $$S\overset{2z}{\longrightarrow}S'\overset{e^z}{\longrightarrow}H\overset{\frac{‌​z+1}{z-1}}{\longrightarrow}U$$ We just use $S'$ as the image of $S$ through the function $2z$, in order to make it simpler – Dimitrios Nt May 19 '13 at 11:44

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.