Section 3

Limit and Continuity of a Function of a Complex Variable. Integration of a Function of a Complex Variable

[27/59%]
Show
LaTeX
Problem 3.1

Prove that the sum and product of functions continuous on a set EE are also functions continuous on this set. The quotient of two functions continuous on a set EE is also a function continuous on this set, provided the denominator does not vanish at any point of the set EE.

?
Problem 3.2

Determine whether the following functions are uniformly continuous in the domain 0<∣z∣<10 < \left|z\right| < 1:

?
(1)

f=e−1/∣z∣f = e^{-1 /\left|z\right|};

(2)

f=Re(z)∣z∣f = \frac{\mathrm{Re}\left(z\right)}{\left|z\right|};

(3)

f=(Re(z2))2z2f = \frac{\left(\mathrm{Re}\left(z^{2}\right)\right)^{2}}{z^{2}};

(4)

f=e−1/z2f = e^{-1 / z^{2}}.

Problem 3.3

Let the function f(z)f(z) be defined and continuous on a closed bounded set EE. Prove that:

?
(1)

the function ∣f(z)∣\left|f(z)\right| is bounded on the set EE and attains its greatest and least values;

(2)

the function f(z)f(z) is uniformly continuous on the set EE.

Problem 3.4

The functions f(z)f(z) and g(z)g(z) are uniformly continuous on a set EE. Can one assert that the function f(z)g(z)f(z) g(z) is uniformly continuous on the set EE?

?
Problem 3.5

Let the function f(z)f(z) be defined and uniformly continuous in a bounded domain DD. Prove that at each boundary point of the domain DD the function f(z)f(z) has a limit, and that the function f(z)f(z), extended to the boundary of the domain by these limiting values, is continuous in the closed domain Dˉ\bar{D}.

?
Problem 3.6

Let the domain DD be bounded by a simple piecewise-smooth curve. Prove that a function continuous in the domain DD up to its boundary is uniformly continuous in this domain.

?
Problem 3.7

Let the domain DD be capable of being divided into a finite number of domains D1,D2,…,DnD_{1}, D_{2}, \ldots , D_{n}, each of which is bounded by a simple piecewise-smooth curve. Prove that for the continuity of the function f(z)f(z) up to the boundary of the domain DD it is necessary and sufficient that the function f(z)f(z) be uniformly continuous in each of the domains D1,…,DnD_{1}, \ldots , D_{n}.

?
Problem 3.8

Compute the values of the function eze^{z} at the points:

?
(1)

z=2πiz = 2 \pi i;

(2)

z=πiz = \pi i;

(3)

z=πi/2z = \pi i / 2;

(4)

z=−πi/2z = -\pi i / 2;

(5)

z=πi/4z = \pi i / 4.

Problem 3.9

Prove the formulas:

?
(1)

cos⁡(−z)=cos⁡z\cos (-z) = \cos z;

(2)

sin⁡(−z)=−sin⁡z\sin (-z) = -\sin z;

(3)

sin⁡(z+π2)=cos⁡z\sin \left(z+\frac{\pi }{2}\right) = \cos z;

(4)

sin⁡(π+z)=−sin⁡z\sin (\pi +z) = -\sin z;

(5)

sin⁡(z+2π)=sin⁡z\sin (z+2 \pi ) = \sin z;

(6)

cos⁡(z+π2)=−sin⁡z\cos \left(z+\frac{\pi }{2}\right) = -\sin z;

(7)

sin⁡(z1+z2)=sin⁡z1cos⁡z2+cos⁡z1sin⁡z2\sin \left(z_{1}+z_{2}\right) = \sin z_{1} \cos z_{2}+\cos z_{1} \sin z_{2};

(8)

cos⁡(z1+z2)=cos⁡z1cos⁡z2−sin⁡z1sin⁡z2\cos \left(z_{1}+z_{2}\right) = \cos z_{1} \cos z_{2}-\sin z_{1} \sin z_{2}.

Problem 3.10

Prove the formulas:

?
(1)

ch⁡(−z)=ch⁡z\operatorname {ch}(-z) = \operatorname {ch} z;

(2)

sh⁡(−z)=−sh⁡z\operatorname {sh}(-z) = -\operatorname {sh} z;

(3)

ch⁡2z−sh⁡2z=1\operatorname {ch}^{2} z-\operatorname {sh}^{2} z = 1;

(4)

ch⁡(z1+z2)=ch⁡z1ch⁡z2+sh⁡z1sh⁡z2\operatorname {ch}\left(z_{1}+z_{2}\right) = \operatorname {ch} z_{1} \operatorname {ch} z_{2}+\operatorname {sh} z_{1} \operatorname {sh} z_{2};

(5)

sh⁡(z+πi2)=ich⁡z\operatorname {sh}\left(z+\frac{\pi i}{2}\right) = i \operatorname {ch} z;

(6)

ch⁡(z+πi2)=ish⁡z\operatorname {ch}\left(z+\frac{\pi i}{2}\right) = i \operatorname {sh} z;

(7)

sh⁡(z+πi)=−sh⁡z\operatorname {sh}(z+\pi i) = -\operatorname {sh} z;

(8)

ch⁡(z+πi)=−ch⁡z\operatorname {ch}(z+\pi i) = -\operatorname {ch} z;

(9)

th⁡(z+πi)=th⁡z\operatorname {th}(z+\pi i) = \operatorname {th} z;

(10)

ch⁡(z+2πi)=ch⁡z\operatorname {ch}(z+2 \pi i) = \operatorname {ch} z.

Problem 3.11

Prove the formulas:

?
(1)

sh⁡z=−isin⁡(iz)\operatorname {sh} z = -i \sin (i z);

(2)

sh⁡(iz)=isin⁡z\operatorname {sh}(i z) = i \sin z;

(3)

cos⁡(iz)=ch⁡z\cos (i z) = \operatorname {ch} z;

(4)

ch⁡(iz)=cos⁡z\operatorname {ch}(i z) = \cos z;

(5)

tg⁡(iz)=ith⁡z\operatorname {tg}(i z) = i \operatorname {th} z;

(6)

th⁡(iz)=itg⁡z\operatorname {th}(i z) = i \operatorname {tg} z;

(7)

ctg⁡(iz)=−icth⁡z\operatorname {ctg}(i z) = -i \operatorname {cth} z;

(8)

cth⁡(iz)=−ictg⁡z\operatorname {cth}(i z) = -i \operatorname {ctg} z.

Problem 3.12

Let x=Re(z),y=Im(z)x = \mathrm{Re}\left(z\right), y = \mathrm{Im}\left(z\right). Prove that:

?
(1)

Re(sin⁡z)=sin⁡x⋅ch⁡y,Im(sin⁡z)=cos⁡x⋅sh⁡y;\mathrm{Re}\left(\sin z\right) = \sin x \cdot \operatorname {ch} y, \quad \mathrm{Im}\left(\sin z\right) = \cos x \cdot \operatorname {sh} y ;

(2)

Re(cos⁡z)=cos⁡x⋅ch⁡y,Im(cos⁡z)=−sin⁡x⋅sh⁡y\mathrm{Re}\left(\cos z\right) = \cos x \cdot \operatorname {ch} y, \quad \mathrm{Im}\left(\cos z\right) = -\sin x \cdot \operatorname {sh} y;

(3)

Re(sh⁡z)=sh⁡x⋅cos⁡y,Im(sh⁡z)=ch⁡x⋅sin⁡y\mathrm{Re}\left(\operatorname {sh} z\right) = \operatorname {sh} x \cdot \cos y, \quad \mathrm{Im}\left(\operatorname {sh} z\right) = \operatorname {ch} x \cdot \sin y;

(4)

Re(ch⁡z)=ch⁡x⋅cos⁡y,Im(ch⁡z)=sh⁡x⋅sin⁡y\mathrm{Re}\left(\operatorname {ch} z\right) = \operatorname {ch} x \cdot \cos y, \quad \mathrm{Im}\left(\operatorname {ch} z\right) = \operatorname {sh} x \cdot \sin y;

(5)

Re(tg⁡z)=sin⁡2xcos⁡2x+ch⁡2y,Im(tg⁡z)=sh⁡2ycos⁡2x+ch⁡2y\mathrm{Re}\left(\operatorname {tg} z\right) = \frac{\sin 2 x}{\cos 2 x+\operatorname {ch} 2 y}, \quad \mathrm{Im}\left(\operatorname {tg} z\right) = \frac{\operatorname {sh} 2 y}{\cos 2 x+\operatorname {ch} 2 y};

(6)

Re(ctg⁡z)=sin⁡2xch⁡2y−cos⁡2x,Im(ctg⁡z)=−sh⁡2ych⁡2y−cos⁡2x\mathrm{Re}\left(\operatorname {ctg} z\right) = \frac{\sin 2 x}{\operatorname {ch} 2 y-\cos 2 x}, \quad \mathrm{Im}\left(\operatorname {ctg} z\right) = \frac{-\operatorname {sh} 2 y}{\operatorname {ch} 2 y-\cos 2 x}.

Problem 3.13

Let x=Re(z),y=Im(z)x = \mathrm{Re}\left(z\right), y = \mathrm{Im}\left(z\right). Prove that:

?
(1)

∣sin⁡z∣=ch⁡2y−cos⁡2x\left|\sin z\right| = \sqrt{\operatorname {ch}^{2} y-\cos^{2} x};

(2)

∣cos⁡z∣=ch⁡2y−sin⁡2x\left|\cos z\right| = \sqrt{\operatorname {ch}^{2} y-\sin^{2} x};

(3)

∣sh⁡z∣=ch⁡2x−cos⁡2y\left|\operatorname {sh} z\right| = \sqrt{\operatorname {ch}^{2} x-\cos^{2} y};

(4)

∣ch⁡z∣=ch⁡2x−sin⁡2y\left|\operatorname {ch} z\right| = \sqrt{\operatorname {ch}^{2} x-\sin^{2} y};

(5)

∣tg⁡z∣=ch⁡2y−cos⁡2xch⁡2y+cos⁡2x\left|\operatorname {tg} z\right| = \sqrt{\frac{\operatorname {ch} 2 y-\cos 2 x}{\operatorname {ch} 2 y+\cos 2 x}};

(6)

∣cth⁡z∣=ch⁡2x+cos⁡2ych⁡2x−cos⁡2y\left|\operatorname {cth} z\right| = \sqrt{\frac{\operatorname {ch} 2 x+\cos 2 y}{\operatorname {ch} 2 x-\cos 2 y}}.

Problem 3.14

Describe the points zz at which the following functions take real values:

?
(1)

cos⁡z\cos z;

(2)

ch⁡z\operatorname {ch} z;

(3)

sin⁡z\sin z;

(4)

tg⁡z\operatorname {tg} z;

(5)

cth⁡z\operatorname {cth} z.

Problem 3.15

Describe the points zz at which the following functions take purely imaginary values:

?
(1)

sin⁡z\sin z;

(2)

sh⁡z\operatorname {sh} z;

(3)

cos⁡z\cos z;

(4)

ctg⁡z\operatorname {ctg} z;

(5)

th⁡z\operatorname {th} z.

Problem 3.16

Find all points at which the following functions vanish:

?
(1)

sin⁡z\sin z;

(2)

cos⁡z\cos z;

(3)

sh⁡z\operatorname {sh} z;

(4)

ch⁡z\operatorname {ch} z.

Problem 3.17

Find all solutions of the following equations:

?
(1)

sin⁡z=4i3\sin z = \frac{4 i}{3};

(2)

sin⁡z=53\sin z = \frac{5}{3};

(3)

cos⁡z=3i4\cos z = \frac{3 i}{4};

(4)

cos⁡z=3+i4\cos z = \frac{3+i}{4};

(5)

tg⁡z=5i3\operatorname {tg} z = \frac{5 i}{3};

(6)

ctg⁡z=−3i5\operatorname {ctg} z = -\frac{3 i}{5};

(7)

sh⁡z=i2\operatorname {sh} z = \frac{i}{2};

(8)

ch⁡z=12\operatorname {ch} z = \frac{1}{2}.

Problem 3.18

Prove that for ∣z∣⩽R\left|z\right| \leqslant R the following inequalities hold:

?
(1)

∣ch⁡z∣⩽ch⁡R\left|\operatorname {ch} z\right| \leqslant \operatorname {ch} R;

(2)

∣sh⁡z∣⩽sh⁡R\left|\operatorname {sh} z\right| \leqslant \operatorname {sh} R;

(3)

∣cos⁡z∣⩽ch⁡R\left|\cos z\right| \leqslant \operatorname {ch} R;

(4)

∣sin⁡z∣⩽sh⁡R\left|\sin z\right| \leqslant \operatorname {sh} R.

Problem 3.19

Let x=Re(z),y=Im(z)x = \mathrm{Re}\left(z\right), \quad y = \mathrm{Im}\left(z\right). Prove that:

?
(1)

The function eze^{z} tends to infinity as xx tends to +∞+\infty, and this tendency is uniform in yy.

(2)

The function eze^{z} tends to zero as x→−∞x \rightarrow -\infty, and this tendency is uniform in yy.

(3)

The functions sin⁡z\sin z and cos⁡z\cos z tend to infinity as y→±∞y \rightarrow \pm \infty, and this tendency is uniform in xx.

Problem 3.20

Prove that:

?
(1)

The function ez2e^{z^{2}} tends to infinity as z→∞z \rightarrow \infty in any angle of the form

∣arg⁡z−π∣⩽α \left|\arg z-\pi \right| \leqslant \alpha

and in any angle of the form ∣arg⁡z∣⩽α\left|\arg z\right| \leqslant \alpha, provided only that α<π4\alpha < \frac{\pi }{4}.

(2)

The function ez2e^{z^{2}} tends to zero as z→∞z \rightarrow \infty in any angle of the form

∣arg⁡z±π2∣⩽α<π4 \left|\arg z \pm \frac{\pi }{2}\right| \leqslant \alpha < \frac{\pi }{4}
Problem 3.21

Let P(z)=zn+a1zn−1+…+anP(z) = z^{n}+a_{1} z^{n-1}+\ldots +a_{n}. Prove that the function eP(z)e^{P(z)} tends to infinity as z→∞z \rightarrow \infty in the angles

∣arg⁡z−2kπn∣⩽α<π2n(k=0,1,…,n−1), \left|\arg z-\frac{2 k \pi }{n}\right| \leqslant \alpha < \frac{\pi }{2 n} \quad (k = 0,1, \ldots , n-1),

and tends to zero as z→∞z \rightarrow \infty in the angles

∣arg⁡z−(2k+1)πn∣⩽α<π2n(k=0,1,…,n−1). \left|\arg z-\frac{(2 k+1) \pi }{n}\right| \leqslant \alpha < \frac{\pi }{2 n} \quad (k = 0,1, \ldots , n-1).
?
Problem 3.22

Let x=Re(z),y=Im(z)x = \mathrm{Re}\left(z\right), y = \mathrm{Im}\left(z\right). Prove the inequalities:

?
(1)

2e−2y1+e−2y⩽∣tg⁡z−i∣⩽2e−2y1−e−2y(y>0)\frac{2 e^{-2 y}}{1+e^{-2 y}} \leqslant \left|\operatorname {tg} z-i\right| \leqslant \frac{2 e^{-2 y}}{1-e^{-2 y}} \quad (y > 0);

(2)

2e2y1+e2y⩽∣tg⁡z+i∣⩽2e2y1−e−2y(y<0)\frac{2 e^{2 y}}{1+e^{2 y}} \leqslant \left|\operatorname {tg} z+i\right| \leqslant \frac{2 e^{2 y}}{1-e^{-2 y}} \quad (y < 0);

(3)

2e−2y1+e−2y⩽∣ctg⁡z+i∣⩽2e−2y1−e−2y(y>0)\frac{2 e^{-2 y}}{1+e^{-2 y}} \leqslant \left|\operatorname {ctg} z+i\right| \leqslant \frac{2 e^{-2 y}}{1-e^{-2 y}} \quad (y > 0);

(4)

2e2y1+e2y⩽∣ctg⁡z−i∣⩽2e2y1−e2y(y<0)\frac{2 e^{2 y}}{1+e^{2 y}} \leqslant \left|\operatorname {ctg} z-i\right| \leqslant \frac{2 e^{2 y}}{1-e^{2 y}} \quad (y < 0).

Problem 3.23

Compute the integral ∫C∣z∣dz\int_{C}\left|z\right| d z in the cases when the curve CC is:

?
(1)

the straight-line segment going from the point z=−iz = -i to the point z=iz = i;

(2)

the semicircle

∣z∣=1,Re(z)⩾0 \left|z\right| = 1, \quad \mathrm{Re}\left(z\right) \geqslant 0

going from the point z=−iz = -i to the point z=iz = i.

Problem 3.24

Compute the integral ∫Czsin⁡z  dz\int_{C} z \sin z \; d z, where CC is the straight-line segment going from the point z=0z = 0 to the point z=iz = i.

?
Problem 3.25

Let the function f(z)f(z) be continuous on the whole extended plane. Denote by CaC_{a} the straight-line segment going from the point aa to the point a+1a+1. Prove that

lim⁡a→∞∫Caf(z)dz=f(∞) \lim _{a \rightarrow \infty } \int _{C_{a}} f(z) d z = f(\infty )
?
Problem 3.26

Let the function f(z)f(z) be continuous in the half-plane Im(z)⩾0\mathrm{Im}\left(z\right) \geqslant 0 and satisfy the inequality

∣f(z)∣⩽M∣z∣m \left|f(z)\right| \leqslant M\left|z\right|^{m}

Denote by CRC_{R} the semicircle ∣z∣=R,Im(z)⩾0\left|z\right| = R, \mathrm{Im}\left(z\right) \geqslant 0, going from the point z=Rz = R to the point z=−Rz = -R. Prove the inequality

∣∫CRf(z)eizdz∣⩽πMRm \left|\int _{C_{R}} f(z) e^{i z} d z\right| \leqslant \pi M R^{m}
?
Problem 3.27

Let the function f(z)f(z) be continuous in the angle

−α⩽arg⁡z⩽α(0<α<π), -\alpha \leqslant \arg z \leqslant \alpha \quad (0 < \alpha < \pi ),

and let zf(z)→Az f(z) \rightarrow A as z→∞,∣arg⁡z∣⩽αz \rightarrow \infty , \quad \left|\arg z\right| \leqslant \alpha. Denote by CRC_{R} the arc of the circle ∣z∣=R,∣arg⁡z∣⩽α\left|z\right| = R, \quad \left|\arg z\right| \leqslant \alpha, going from the point z=Re−iαz = R e^{-i \alpha } to the point z=Reiαz = R e^{i \alpha }. Prove that

lim⁡R→∞∫CRf(z)dz=2iαA \lim _{R \rightarrow \infty } \int _{C_{R}} f(z) d z = 2 i \alpha A
?