Section 29

The Symmetry Principle

[20/5%]
Show
LaTeX
Problem 29.1

Denote by w(z)w(z) the function conformally mapping the angle {z:0<arg⁡z<π2}\left\{ z: 0 < \arg z < \frac{\pi }{2}\right\} onto the sector {w:∣w∣>1,0<arg⁡w<π2}\left\{ w:\left|w\right| > 1,0 < \arg w < \frac{\pi }{2}\right\} and satisfying the conditions w(1)=1,w(i)=i,w(∞)=∞w(1) = 1, w(i) = i, w(\infty ) = \infty. Having found the function w(z)w(z), verify that it:

?
(1)

conformally maps the domain shown in Fig. 29.12 onto the domain {w:Im(w)>0,∣w∣>1}\left\{ w: \mathrm{Im}\left(w\right) > 0,\left|w\right| > 1\right\};

Fig. 29.12Fig. 29.12

(2)

conformally maps the domain shown in Fig. 29.13 onto the domain {w:∣w∣>1}\left\{ w:\left|w\right| > 1\right\}.

Fig. 29.13Fig. 29.13

Problem 29.2

Denote by w(z)=w(z;z1,z2,z3)w(z) = w\left(z ; z_{1}, z_{2}, z_{3}\right) the function conformally mapping the half-disk {z:∣z∣<1,Im(z)>0}\left\{ z:\left|z\right| < 1, \mathrm{Im}\left(z\right) > 0\right\} onto the same half-disk in the ww-plane and satisfying the conditions

w(z1)=1,w(z2)=i,w(z3)=−1 w\left(z_{1}\right) = 1, \quad w\left(z_{2}\right) = i, \quad w\left(z_{3}\right) = -1

(the points z1,z2,z3z_{1}, z_{2}, z_{3} lie on the boundary of the half-disk {z:∣z∣<1,Im(z)>0}\left\{ z:\left|z\right| < 1, \mathrm{Im}\left(z\right) > 0\right\}). Determine what conditions the points z1,z2,z3z_{1}, z_{2}, z_{3} must satisfy in order for the function w(z)w(z) to conformally map the disk {z:∣z∣<1}\left\{ z:\left|z\right| < 1\right\} onto:

?
(1)

the disk {w:∣w∣<1}\left\{ w:\left|w\right| < 1\right\};

(2)

the half-plane {w:Im(w)>0}\left\{ w: \mathrm{Im}\left(w\right) > 0\right\};

(3)

the domain shown in Fig. 29.14;

Fig. 29.14Fig. 29.14

(4)

the domain shown in Fig. 29.15;

Fig. 29.15Fig. 29.15

(5)

the domain shown in Fig. 29.16;

Fig. 29.16Fig. 29.16

(6)

the domain shown in Fig. 29.17.

Fig. 29.17Fig. 29.17

Problem 29.3

Find some functions w(z)w(z) conformally mapping the domains shown in Figs. 29.18-29.29 onto the half-plane {w:Im(w)>0}\left\{ w: \mathrm{Im}\left(w\right) > 0\right\}.

?
(1)

Fig. 29.18Fig. 29.18

(2)

Fig. 29.19Fig. 29.19

(3)

Fig. 29.20Fig. 29.20

(4)

Fig. 29.21Fig. 29.21

(5)

Fig. 29.22Fig. 29.22

(6)

Fig. 29.23Fig. 29.23

(7)

Fig. 29.24Fig. 29.24

(8)

Fig. 29.25Fig. 29.25

(9)

Fig. 29.26Fig. 29.26

(10)

Fig. 29.27Fig. 29.27

(11)

Fig. 29.28Fig. 29.28

(12)

Fig. 29.29Fig. 29.29

Problem 29.4

Find some function w(z)w(z) conformally mapping the domain

{z=x+iy:x2cos⁡2α−y2sin⁡2α>1,x>0} \left\{ z = x+i y: \frac{x^{2}}{\cos ^{2} \alpha }-\frac{y^{2}}{\sin ^{2} \alpha } > 1, x > 0\right\}

(α\alpha is a constant, 0<α<π/20 < \alpha < \pi / 2) onto the half-plane {w:Im(w)>0}\left\{ w: \mathrm{Im}\left(w\right) > 0\right\}.

?
Problem 29.5

Find some function w(z)w(z) conformally mapping the domain

{z=x+iy:y2<2p(x+p2)},p>0 \left\{ z = x+i y: \quad y^{2} < 2 p\left(x+\frac{p}{2}\right)\right\} , \quad p > 0

onto the half-plane {w:Im(w)>0}\left\{ w: \mathrm{Im}\left(w\right) > 0\right\}.

?
Problem 29.6

Find some functions w(z)w(z) that conformally map the regions depicted in Fig. 29.30-29.33 onto the disk {w:∣w∣<1}\left\{ w:\left|w\right| < 1\right\}.

?
(1)

Fig. 29.30Fig. 29.30

(2)

Fig. 29.31Fig. 29.31

(3)

Fig. 29.32Fig. 29.32

(4)

Fig. 29.33Fig. 29.33

Problem 29.7

Find some function w(z)w(z) that conformally maps the region

{z:z∉[kπi,kπi+i∞](k=0,±1,±2,…)} \left\{ z: z \notin [k \pi i, k \pi i+i \infty ] \quad (k = 0, \pm 1, \pm 2, \ldots )\right\}

onto the half-plane {w:Im(w)>0}\left\{ w: \mathrm{Im}\left(w\right) > 0\right\}.

?
Problem 29.8

Find some function w(z)w(z) that conformally maps the region

{z:Im(z)>0,z∉[kπ,kπ+πi](k=0,±1,±2,…)} \left\{ z: \mathrm{Im}\left(z\right) > 0, z \notin [k \pi , k \pi +\pi i] \quad (k = 0, \pm 1, \pm 2, \ldots )\right\}

onto the half-plane {w:Im(w)>0}\left\{ w: \mathrm{Im}\left(w\right) > 0\right\}.

?
Problem 29.9

Find some function w(z)w(z) that conformally maps the region {z:Im⁡>0,z∉[2k,2k+2i],z∉[2k+1,2k+1+i](k=0,±1,…)}\left\{ z: \operatorname {Im} > 0, z \notin [2 k, 2 k+2 i], z \notin [2 k+1,2 k+1+i] \quad (k = 0, \pm 1, \ldots )\right\} onto the half-plane {w:Im(w)>0}\left\{ w: \mathrm{Im}\left(w\right) > 0\right\}.

?
Problem 29.10

Find some functions w(z)w(z) that conformally map the regions depicted in Fig. 29.34-29.36 onto the half-plane {w:Im(w)>0}\left\{ w: \mathrm{Im}\left(w\right) > 0\right\}.

?
(1)

Fig. 29.34Fig. 29.34

(2)

Fig. 29.35Fig. 29.35

(3)

Fig. 29.36Fig. 29.36

Problem 29.11

Let the function f(z)f(z) be regular on {z:Im(z)>0}\left\{ z: \mathrm{Im}\left(z\right) > 0\right\}, continuous on {z:Im(z)⩾0}\left\{ z: \mathrm{Im}\left(z\right) \geqslant 0\right\}, and take real values on the real axis. Prove that the function f(z)f(z) can be regularly continued to the entire complex plane.

?
Problem 29.12

Let the function f(z)f(z) be regular on {z:0<Re(z)<1}\left\{ z: 0 < \mathrm{Re}\left(z\right) < 1\right\}, continuous on {z:0⩽Re(z)⩽1}\left\{ z: 0 \leqslant \mathrm{Re}\left(z\right) \leqslant 1\right\}, and take real values on the lines {z:Re(z)=0}\left\{ z: \mathrm{Re}\left(z\right) = 0\right\} and {z:Re(z)=1}\left\{ z: \mathrm{Re}\left(z\right) = 1\right\}. Prove that the function f(z)f(z) can be regularly continued to the entire complex plane and that the function F(z)F(z) effecting this analytic continuation satisfies the condition F(z+2)=F(z)F(z+2) = F(z).

?
Problem 29.13

Let the function f(z)f(z) be regular on {z:0<Im(z)<1}\left\{ z: 0 < \mathrm{Im}\left(z\right) < 1\right\}, continuous on {z:0⩽Im(z)⩽1}\left\{ z: 0 \leqslant \mathrm{Im}\left(z\right) \leqslant 1\right\}, and satisfy the conditions

Re(f(z))=0(Im(z)=0);Im(f(z))=0(Im(z)=1) \mathrm{Re}\left(f(z)\right) = 0 \quad (\mathrm{Im}\left(z\right) = 0) ; \quad \mathrm{Im}\left(f(z)\right) = 0 \quad (\mathrm{Im}\left(z\right) = 1)

Prove that the function f(z)f(z) can be regularly continued to the entire plane and that the function F(z)F(z) effecting this analytic continuation satisfies the condition F(z+2i)=−F(z)F(z+2 i) = -F(z).

?
Problem 29.14

Let the function f(z)f(z) be regular in the rectangle

{z:∣Im(z)∣<h,0<Re(z)<1}, \left\{ z:\left|\mathrm{Im}\left(z\right)\right| < h, 0 < \mathrm{Re}\left(z\right) < 1\right\} ,

continuous in the closure of this rectangle, and satisfy the conditions

Im(f(z))=0(Re(z)=0,∣Im(z)∣<h);Im(f(z))=1(Re(z)=1,∣Im(z)∣<h) \begin{array}{ll} \mathrm{Im}\left(f(z)\right) = 0 & (\mathrm{Re}\left(z\right) = 0,\left|\mathrm{Im}\left(z\right)\right| < h) ; \\ \mathrm{Im}\left(f(z)\right) = 1 & (\mathrm{Re}\left(z\right) = 1,\left|\mathrm{Im}\left(z\right)\right| < h) \end{array}

Prove that the function f(z)f(z) can be regularly continued to the strip {z:∣Im(z)∣<h}\left\{ z:\left|\mathrm{Im}\left(z\right)\right| < h\right\} and that the function F(z)F(z) effecting this continuation has the form iz+F1(z)i z+F_{1}(z), where the function F1(z)F_{1}(z) is regular in the strip {z:∣Im(z)∣<h}\left\{ z:\left|\mathrm{Im}\left(z\right)\right| < h\right\} and periodic with period 2.

?
Problem 29.15

Let the function f(z)f(z) be regular in the half-annulus

{z:ρ<∣z∣<R,Im(z)>0}, \left\{ z: \rho < \left|z\right| < R, \mathrm{Im}\left(z\right) > 0\right\} ,

continuous in its closure, and take real values on the segments (−R,−ρ)(-R,-\rho ) and (ρ,R)(\rho , R). Prove that the function f(z)f(z) can be regularly continued into the annulus {z:ρ<∣z∣<R}\left\{ z: \rho < \left|z\right| < R\right\} to a function regular in this annulus.

?
Problem 29.16

Let the function f(z)f(z) conformally map the rectangle {z:∣Re(z)∣<h,∣Im(z)∣<h}\left\{ z:\left|\mathrm{Re}\left(z\right)\right| < h,\left|\mathrm{Im}\left(z\right)\right| < h\right\} onto some disk (or half-plane). Prove that the regular continuation of the function f(z)f(z) is a function meromorphic in the entire plane and periodic with periods 4h4 h and 4ih4 i h.

?
Problem 29.17

Let the function f(z)f(z) conformally map the sector

{z:∣z∣<1,0<arg⁡z<πn}, \left\{ z:\left|z\right| < 1,0 < \arg z < \frac{\pi }{n}\right\} ,

onto the triangle with the same vertices 0,1,eπi/n0,1, e^{\pi i / n}, in such a way that these vertices remain fixed. Prove that the function f(z)f(z) can be regularly continued into the disk {z:∣z∣<1}\left\{ z:\left|z\right| < 1\right\} and that the function F(z)F(z) effecting this analytic continuation conformally maps the disk {z:∣z∣<1}\left\{ z:\left|z\right| < 1\right\} onto a regular 2n2 n-gon (with center at the point 0 and one of its vertices at the point 1).

?
Problem 29.18

Prove that any conformal mapping of a disk onto a disk (or onto a half-plane) is a fractional-linear mapping.

?
Problem 29.19

Prove that there is no function conformally mapping the annulus {z:1<∣z∣<R1}\left\{ z: 1 < \left|z\right| < R_{1}\right\} onto the annulus {z:1<∣z∣<R2}\left\{ z: 1 < \left|z\right| < R_{2}\right\} if R1≠R2R_{1} \neq R_{2}.

?
Problem 29.20

Let the function f(z)f(z) conformally map the half-plane {z:Im(z)>0}\left\{ z: \mathrm{Im}\left(z\right) > 0\right\} onto the region:

{w:Im(w)>0,0<Re(w)<1,∣w−12∣>12} \left\{ w: \mathrm{Im}\left(w\right) > 0,0 < \mathrm{Re}\left(w\right) < 1,\left|w-\frac{1}{2}\right| > \frac{1}{2}\right\}

Prove that the regular continuation of the function f(z)f(z) leads to a function F(z)F(z) regular in the entire extended complex plane with three punctured points (the preimages of the points 0, 1, and ∞\infty).

?