Complex Variables. Problem about complex sine.

Click For Summary
SUMMARY

The discussion focuses on proving that the complex sine function, defined as \( f: A \to B \) where \( A = \{ z \in \mathbb{C} \mid -\frac{\pi}{2} < \Re z < \frac{\pi}{2} \} \) and \( B = \mathbb{C} - \{ z \in \mathbb{C} \mid \Im z = 0, |\Re z| \geq 1 \} \), is a bijection. The user established that the complex sine function is injective on a vertical band of width \( \pi \) and demonstrated that it maps specific strips in the complex plane bijectively to the upper and lower half-planes. The remaining task is to analyze the mapping of the strip where \( y = 0 \).

PREREQUISITES
  • Understanding of complex analysis, specifically the properties of complex functions.
  • Familiarity with the concept of bijections in mathematical functions.
  • Knowledge of the complex sine function and its behavior in the complex plane.
  • Ability to work with complex numbers and their geometric interpretations.
NEXT STEPS
  • Study the properties of the complex sine function in detail, including its injectivity and surjectivity.
  • Learn about the geometric interpretation of complex functions, particularly how they map regions in the complex plane.
  • Explore the concept of multivalued functions and their inverses in complex analysis.
  • Investigate the mapping of horizontal and vertical strips in the complex plane by trigonometric functions.
USEFUL FOR

Students and researchers in complex analysis, mathematicians focusing on function theory, and anyone interested in the properties of complex functions and their mappings.

ELESSAR TELKONT
Messages
39
Reaction score
0
[SOLVED] Complex Variables. Problem about complex sine.

Homework Statement



Proof that the function
\begin{displaymath}<br /> \begin{array}{cccc}<br /> f: &amp;A=\left\{z\in\mathbb{C}\mid-\frac{\pi}{2}&lt;\Re z&lt;\frac{\pi}{2}\right\} &amp;\longrightarrow &amp;B=\mathbb{C}-\left\{z\in\mathbb{C}\mid \Im{z}=0,\,\left\vert\Re z\right\vert\geq 1\right\}\\<br /> &amp;z &amp;\mapsto &amp;\sin(z)<br /> \end{array}<br /> \end{displaymath}
is a biyection.

Homework Equations





The Attempt at a Solution



I have already proven (on the previous exercise of my book) that the complex sine is inyective on a vertical band of the complex plane of width \pi. Then I have only to proof that the function is surjective or that there exists left inverse (more difficult since its multivaluated in general).

My problem is that I have no idea how to proof that since I have saw that the complex sine maps vertical lines in the complex plane to hyperbolas and horizontal ones to ellipses. Then I think it's imposible that the sine could map the set A to the set B one-one because the hyperbolas and the ellipses I have mentioned get out from B.
 
Physics news on Phys.org
I did this very same problem recently. Fortunately, the book had already proven that sin(z) maps the strip \{x + iy : 0 \le x \le \pi/2 and y \ge 0\} in a one-to-one fashion onto the first quadrant.

Then, using the fact that \sin(-\bar{z}) = -\overline{\sin(z)}, one may show that sin(z) maps the strip \{x + iy : -\pi/2 \le x \le \pi/2 and y &gt; 0\} to the upper half-plane bijectively.

Similarly, one may show that sin(z) maps the strip \{x + iy : -\pi/2 \le x \le \pi/2 and y &lt; 0\} to the lower half-plane bijectively.

Now all that's left is to consider the strip \{x + iy : -\pi/2 \le x \le \pi/2 and y = 0\} which I leave to you.
 
Thanks for your help
 

Similar threads

Replies
7
Views
3K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 14 ·
Replies
14
Views
4K
Replies
9
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K