2

Последовательности и ряды комплексных чисел. Комплекснозначные функции действительного переменного. Кривые и области на комплексной плоскости

[50/22%]
Показать
LaTeX
Задача 2.1

Доказать сходимость последовательности и найти ее предел:

?
(1)

{an1+a2n},∣a∣<1\left\{ \frac{a^{n}}{1+a^{2 n}}\right\} ,\left|a\right| < 1;

(2)

{an1+a2n},∣a∣>1\left\{ \frac{a^{n}}{1+a^{2 n}}\right\} ,\left|a\right| > 1;

(3)

{1n(1+eiφ+…+einφ)},0<φ<2π\left\{ \frac{1}{n}\left(1+e^{i \varphi }+\ldots +e^{i n \varphi }\right)\right\} , 0 < \varphi < 2 \pi;

(4)

{1n(1−eiφ+e2iφ−…+(−1)neinφ)},−π<φ<π\left\{ \frac{1}{\sqrt{n}}\left(1-e^{i \varphi }+e^{2 i \varphi }-\ldots +(-1)^{n} e^{i n \varphi }\right)\right\} ,-\pi < \varphi < \pi.

Задача 2.2

Доказать, что если ∣zn∣⩽M<∞\left|z_{n}\right| \leqslant M < \infty при n>n0n > n_{0}, то из последовательности {zn}\left\{ z_{n}\right\} можно выбрать подпоследовательность {znk}\left\{ z_{n_{k}}\right\}, сходящуюся к конечному пределу.

?
Задача 2.3

Пусть lim⁡n→∞zn=A≠∞\lim_{n \rightarrow \infty } z_{n} = A \neq \infty. Доказать, что

lim⁡n→∞z1+z2+…+znn=A. \lim _{n \rightarrow \infty } \frac{z_{1}+z_{2}+\ldots +z_{n}}{n} = A.
?
Задача 2.4

Пусть lim⁡n→∞zn=A≠∞,lim⁡n→∞ζn=B≠∞\lim_{n \rightarrow \infty } z_{n} = A \neq \infty , \lim_{n \rightarrow \infty } \zeta_{n} = B \neq \infty. Доказать, что

lim⁡n→∞z1ζn+z2ζn−1+…+znζ1n=AB. \lim _{n \rightarrow \infty } \frac{z_{1} \zeta _{n}+z_{2} \zeta _{n-1}+\ldots +z_{n} \zeta _{1}}{n} = A B.
?
Задача 2.5

Пусть числа λ1,λ2,…\lambda_{1}, \lambda_{2}, \ldots положительны и пусть

lim⁡n→∞(λ1+λ2+…+λn)=+∞ \lim _{n \rightarrow \infty }\left(\lambda _{1}+\lambda _{2}+\ldots +\lambda _{n}\right) = +\infty

Доказать, что из равенства lim⁡n→∞zn=A≠∞\lim_{n \rightarrow \infty } z_{n} = A \neq \infty следует равенство

lim⁡n→∞λ1z1+λ2z2+…λnznλ1+λ2+…+λn=A. \lim _{n \rightarrow \infty } \frac{\lambda _{1} z_{1}+\lambda _{2} z_{2}+\ldots \lambda _{n} z_{n}}{\lambda _{1}+\lambda _{2}+\ldots +\lambda _{n}} = A.
?
Задача 2.6

Доказать, что для сходимости последовательности {zn}\left\{ z_{n}\right\} к бесконечности необходимо и достаточно, чтобы сходилась к +∞+\infty последовательность действительных чисел {∣zn∣}\left\{ \left|z_{n}\right|\right\}.

?
Задача 2.7

Доказать, что lim⁡n→∞zn=∞\lim_{n \rightarrow \infty } z_{n} = \infty в том и только в том случае, когда lim⁡n→∞1zn=0\lim_{n \rightarrow \infty } \frac{1}{z_{n}} = 0.

?
Задача 2.8

Выберем в пространстве систему координат ξ,η,ζ\xi , \eta , \zeta таким образом, чтобы оси OξO \xi и OηO \eta совпадали с осями OxO x и OyO y комплексной плоскости, а ось OζO \zeta была направлена по диаметру сферы Римана (рис. 2.2). Пусть x=Re(z)x = \mathrm{Re}\left(z\right), y=Im(z)y = \mathrm{Im}\left(z\right), а точка M(z)M(z) имеет пространственные координаты (ξ,η,ζ)(\xi , \eta , \zeta ). Доказать формулы:

Рис. 2.2Рис. 2.2

ξ=x1+∣z∣2,η=y1+∣z∣2,ζ=∣z∣21+∣z∣2x=ξζξ2+η2,y=ηζξ2+η2 \begin{gathered} \xi = \frac{x}{1+\left|z\right|^{2}}, \quad \eta = \frac{y}{1+\left|z\right|^{2}}, \quad \zeta = \frac{\left|z\right|^{2}}{1+\left|z\right|^{2}} \\ x = \frac{\xi \zeta }{\xi ^{2}+\eta ^{2}}, \quad y = \frac{\eta \zeta }{\xi ^{2}+\eta ^{2}} \end{gathered}
?
Задача 2.9

Пусть точка M(z)M(z) имеет пространственные координаты (ξ,η,ζ)(\xi , \eta , \zeta ). Найти пространственные координаты точки MM:

?
(1)

M(−z)M(-z);

(2)

M(zˉ)M(\bar{z});

(3)

M(1z)M\left(\frac{1}{z}\right).

Задача 2.10

Дать геометрическое описание множеств сферы Римана, отвечающих следующим множествам комплексной плоскости:

?
(1)

Re(z)>0\mathrm{Re}\left(z\right) > 0;

(2)

Im(z)<0\mathrm{Im}\left(z\right) < 0;

(3)

∣z∣>1\left|z\right| > 1;

(4)

∣z∣<1\left|z\right| < 1.

Задача 2.11

Доказать, что отличные от точек OO и NN точки M(z1)M\left(z_{1}\right) и M(z2)M\left(z_{2}\right) сферы Римана диаметрально противоположны в том и только в том случае, когда точки z1z_{1} и z2z_{2} связаны условием z1zˉ2=−1z_{1} \bar{z}_{2} = -1.

?
Задача 2.12

Доказать, что окружности на сфере Римана отвечает на комплексной плоскости или окружность, или прямая, причем прямая получается в том и только в том случае, когда окружность на сфере Римана проходит через ее верхний полюс NN.

?
Задача 2.13

Найти значения параметра aa, при которых окружности комплексной плоскости отвечают большим кругам на сфере Римана:

?
(1)

∣z−a∣=a(a>0)\left|z-a\right| = a \quad (a > 0);

(2)

∣z+a2∣=a(a>0)\left|z+\frac{a}{2}\right| = a \quad (a > 0);

(3)

∣z−i∣=a(a>0)\left|z-i\right| = a \quad (a > 0);

(4)

∣z−2ai∣=a(a>0)\left|z-2 a i\right| = a \quad (a > 0).

Задача 2.14

Расстояние в пространстве между точками M(z1)M\left(z_{1}\right) и M(z2)M\left(z_{2}\right) называется xopx o p дальным расстоянием между точками z1z_{1} и z2z_{2} расширенной комплексной плоскости и обозначается символом k(z1,z2)k\left(z_{1}, z_{2}\right). Доказать формулы:

?
(1)

k(z1,z2)=∣z1−z2∣1+∣z1∣2⋅1+∣z2∣2(z1≠∞,z2≠∞)k\left(z_{1}, z_{2}\right) = \frac{\left|z_{1}-z_{2}\right|}{\sqrt{1+\left|z_{1}\right|^{2}} \cdot \sqrt{1+\left|z_{2}\right|^{2}}} \quad \left(z_{1} \neq \infty , z_{2} \neq \infty \right);

(2)

k(z1,∞)=11+∣z1∣2k\left(z_{1}, \infty \right) = \frac{1}{\sqrt{1+\left|z_{1}\right|^{2}}}.

Задача 2.15

Дать геометрическое описание множества точек zz комплексной плоскости, удовлетворяющих неравенству:

?
(1)

k(z,0)<R,0<R<1k(z, 0) < R, 0 < R < 1;

(2)

k(z,∞)<R,0<R<1k(z, \infty ) < R, \quad 0 < R < 1;

(3)

k(z,i)>12k(z, i) > \frac{1}{\sqrt{2}};

(4)

12<k(z,1)<12\frac{1}{2} < k(z, 1) < \frac{1}{\sqrt{2}}.

Задача 2.16

Доказать, что ряд ∑n=1∞zn\sum_{n = 1}^{\infty } z_{n} абсолютно сходится, если выполнено одно из условий:

?
(1)

∣zn∣<Mρn(n>n0,M>0,0<ρ<1)\left|z_{n}\right| < M \rho^{n} \quad \left(n > n_{0}, \quad M > 0, \quad 0 < \rho < 1\right);

(2)

lim⁡n→∞∣zn+1zn∣=ρ<1\lim_{n \rightarrow \infty }\left|\frac{z_{n+1}}{z_{n}}\right| = \rho < 1;

(3)

∣zn∣<Mn−α(n>n0,M>0,α>1)\left|z_{n}\right| < M n^{-\alpha } \quad \left(n > n_{0}, \quad M > 0, \alpha > 1\right);

(4)

∣zn∣<Mn(ln⁡n)α(n>n0,M>0,α>1)\left|z_{n}\right| < \frac{M}{n(\ln n)^{\alpha }}\left(n > n_{0}, \quad M > 0, \quad \alpha > 1\right).

Задача 2.17

Доказать абсолютную сходимость ряда:

?
(1)

∑n=1∞nαzn,∣z∣<1,α∈R;\sum_{n = 1}^{\infty } n^{\alpha } z^{n}, \quad \left|z\right| < 1, \quad \alpha \in \mathbb {R} ;

(2)

∑n=1∞n!nnzn,∣z∣<e\sum_{n = 1}^{\infty } \frac{n!}{n^{n}} z^{n},\left|z\right| < e;

(3)

∑n=1∞(2n−1)!(n!)2zn1+zn,∣z∣⩽14\sum_{n = 1}^{\infty } \frac{(2 n-1)!}{(n!)^{2}} \frac{z^{n}}{1+z^{n}}, \quad \left|z\right| \leqslant \frac{1}{4}.

Задача 2.18

Пусть {λn}\left\{ \lambda_{n}\right\} — последовательность положительных чисел таких, что λk+1⩽λk(k∈N),lim⁡n→∞λn=0\lambda_{k+1} \leqslant \lambda_{k} \quad (k \in \mathbb {N}), \quad \lim_{n \rightarrow \infty } \lambda_{n} = 0, а {zn}\left\{ z_{n}\right\} — такая последовательность комплексных чисел, что ∣∑k=1nzk∣⩽M,M>0,n∈N\left|\sum_{k = 1}^{n} z_{k}\right| \leqslant M, M > 0, n \in \mathbb {N}. Доказать, что ряд ∑n=1∞λnzn\sum_{n = 1}^{\infty } \lambda_{n} z_{n} сходится.

?
Задача 2.19

Найти все значения α∈R\alpha \in \mathbb {R}, при которых сходится ряд:

?
(1)

∑n=1∞n−αein\sum_{n = 1}^{\infty } n^{-\alpha } e^{i n};

(2)

∑n=1∞n−αeiπ/n\sum_{n = 1}^{\infty } n^{-\alpha } e^{i \pi / n};

(3)

∑n=1∞(n2+1)−α(eiπ/n−1)\sum_{n = 1}^{\infty }\left(n^{2}+1\right)^{-\alpha }\left(e^{i \pi / n}-1\right).

Задача 2.20

Убедиться в дифференцируемости следующих функций и найти их производные:

?
(1)

(1+it)2,t∈R(1+i t)^{2}, t \in \mathbb {R};

(2)

1t+i,t∈R\frac{1}{t+i}, t \in \mathbb {R};

(3)

(1+it)3,t>0(1+i \sqrt{t})^{3}, t > 0;

(4)

eit,t∈Re^{i t}, t \in \mathbb {R}.

Задача 2.21

Вычислить интеграл:

?
(1)

∫01(1+it)2dt\int_{0}^{1}(1+i t)^{2} d t;

(2)

∫01(a+(b−a)t)ndt,n=0,1,…\int_{0}^{1}(a+(b-a) t)^{n} d t, \quad n = 0,1, \ldots;

(3)

∫01dt1+it\int_{0}^{1} \frac{d t}{1+i t};

(4)

∫011+it1−itdt\int_{0}^{1} \frac{1+i t}{1-i t} d t;

(5)

∫0πe−itdt\int_{0}^{\pi } e^{-i t} d t;

(6)

∫−ππeintdt,n=±1,±2,…\int_{-\pi }^{\pi } e^{i n t} d t, \quad n = \pm 1, \pm 2, \ldots

Задача 2.22

Пусть функции z1(t)z_{1}(t) и z2(t)z_{2}(t) дифференцируемы. Доказать формулы:

?
(1)

ddt[z1(t)+z2(t)]=z1′(t)+z2′(t)\frac{d}{d t}\left[z_{1}(t)+z_{2}(t)\right] = z_{1}^{\prime }(t)+z_{2}^{\prime }(t);

(2)

ddt[z1(t)z2(t)]=z1(t)z2′(t)+z1′(t)z2(t)\frac{d}{d t}\left[z_{1}(t) z_{2}(t)\right] = z_{1}(t) z_{2}^{\prime }(t)+z_{1}^{\prime }(t) z_{2}(t);

(3)

ddt[z1(t)]n=n[z1(t)]n−1z1′(t),n=0,±1,±2,…\frac{d}{d t}\left[z_{1}(t)\right]^{n} = n\left[z_{1}(t)\right]^{n-1} z_{1}^{\prime }(t), n = 0, \pm 1, \pm 2, \ldots;

(4)

ddtz1(t)z2(t)=z2(t)z1′(t)−z2′(t)z1(t)[z2(t)]2,z2(t)≠0\frac{d}{d t} \frac{z_{1}(t)}{z_{2}(t)} = \frac{z_{2}(t) z_{1}^{\prime }(t)-z_{2}^{\prime }(t) z_{1}(t)}{\left[z_{2}(t)\right]^{2}}, \quad z_{2}(t) \neq 0.

Задача 2.23

Пусть φ(t)\varphi (t) — действительная функция, дифференцируемая в точке t0t_{0}, а z(t)z(t) — комплекснозначная функция, дифференцируемая в точке φ(t0)\varphi \left(t_{0}\right). Доказать, что функция z1(t)=z(φ(t))z_{1}(t) = z(\varphi (t)) дифференцируема в точке t0t_{0} и что z1′(t0)=z′(φ(t0))φ′(t0)z_{1}^{\prime }\left(t_{0}\right) = z^{\prime }\left(\varphi \left(t_{0}\right)\right) \varphi^{\prime }\left(t_{0}\right).

?
Задача 2.24

Пусть функция z(t)z(t) дифференцируема и отлична от нуля. Доказать формулы:

?
(1)

ddt∣z(t)∣=∣z(t)∣Re(z′(t)z(t));\frac{d}{d t}\left|z(t)\right| = \left|z(t)\right| \mathrm{Re}\left(\frac{z^{\prime }(t)}{z(t)}\right) ;

(2)

ddtarg⁡z(t)=Im(z′(t)z(t))\frac{d}{d t} \arg z(t) = \mathrm{Im}\left(\frac{z^{\prime }(t)}{z(t)}\right);

(3)

ddtz(t)∣z(t)∣=iz(t)∣z(t)∣Im(z′(t)z(t))\frac{d}{d t} \frac{z(t)}{\left|z(t)\right|} = i \frac{z(t)}{\left|z(t)\right|} \mathrm{Im}\left(\frac{z^{\prime }(t)}{z(t)}\right).

Задача 2.25

Пусть действительная функция φ(t)\varphi (t) монотонна и непрерывно дифференцируема на отрезке [a,b][a, b], а комплекснозначная функция z(t)z(t) непрерывна на отрезке [φ(a),φ(b)][\varphi (a), \varphi (b)]. Доказать, что

∫abz(φ(t))φ′(t)dt=∫φ(a)φ(b)z(t)dt \int _{a}^{b} z(\varphi (t)) \varphi ^{\prime }(t) d t = \int _{\varphi (a)}^{\varphi (b)} z(t) d t
?
Задача 2.26

Пусть комплекснозначная функция z(t)z(t) непрерывна на отрезке a⩽t⩽ba \leqslant t \leqslant b. Доказать неравенства:

?
(1)

∣∫abz(t)dt∣⩽∫ab∣z(t)∣dt;\left|\int_{a}^{b} z(t) d t\right| \leqslant \int_{a}^{b}\left|z(t)\right| d t ;

(2)

∣∫abz(t)dt∣⩽(b−a)max⁡a⩽t⩽b∣z(t)∣\left|\int_{a}^{b} z(t) d t\right| \leqslant (b-a) \max_{a \leqslant t \leqslant b}\left|z(t)\right|;

(3)

∣∫abz(t)dt∣⩾∣∫abRe(z(t))dt∣\left|\int_{a}^{b} z(t) d t\right| \geqslant \left|\int_{a}^{b} \mathrm{Re}\left(z(t)\right) d t\right|;

(4)

∣∫abz(t)dt∣⩾∣∫abIm(z(t))dt∣\left|\int_{a}^{b} z(t) d t\right| \geqslant \left|\int_{a}^{b} \mathrm{Im}\left(z(t)\right) d t\right|.

Задача 2.27

Пусть z(t)z(t) и ζ(t)\zeta (t) — комплекснозначные функции, непрерывные на отрезке a⩽t⩽ba \leqslant t \leqslant b. Доказать, что:

?
(1)

справедливо неравенство Коши-Буняковского-Шварца:

∣∫abz(t)ζ(t)dt∣2⩽∫ab∣z(t)∣2dt⋅∫ab∣ζ(t)∣2dt \left|\int _{a}^{b} z(t) \zeta (t) d t\right|^{2} \leqslant \int _{a}^{b}\left|z(t)\right|^{2} d t \cdot \int _{a}^{b}\left|\zeta (t)\right|^{2} d t
(2)

при p>1,q>1,1p+1q=1p > 1, q > 1, \frac{1}{p}+\frac{1}{q} = 1 выполняется неравенство Гёльдера:

∣∫abz(t)ζ(t)dt∣⩽{∫ab∣z(t)∣pdt}1/p⋅{∫ab∣ζ(t)∣qdt}1/q \left|\int _{a}^{b} z(t) \zeta (t) d t\right| \leqslant \left\{ \int _{a}^{b}\left|z(t)\right|^{p} d t\right\} ^{1 / p} \cdot \left\{ \int _{a}^{b}\left|\zeta (t)\right|^{q} d t\right\} ^{1 / q}
(3)

при p>1p > 1 справедливо неравенство Минковского:

{∫ab∣z(t)+ζ(t)∣pdt}1/p⩽{∫ab∣z(t)∣pdt}1/p+{∫ab∣ζ(t)∣pdt}1/p \left\{ \int _{a}^{b}\left|z(t)+\zeta (t)\right|^{p} d t\right\} ^{1 / p} \leqslant \left\{ \int _{a}^{b}\left|z(t)\right|^{p} d t\right\} ^{1 / p}+\left\{ \int _{a}^{b}\left|\zeta (t)\right|^{p} d t\right\} ^{1 / p}
(4)

при 0<p<10 < p < 1 выполняется другое неравенство Минковского:

∫ab∣z(t)+ζ(t)∣pdt⩽∫ab∣z(t)∣pdt+∫ab∣ζ(t)∣pdt \int _{a}^{b}\left|z(t)+\zeta (t)\right|^{p} d t \leqslant \int _{a}^{b}\left|z(t)\right|^{p} d t+\int _{a}^{b}\left|\zeta (t)\right|^{p} d t
Задача 2.28

Пусть комплекснозначная функция z(t)z(t) непрерывна на отрезке [0,1][0,1] и пусть z(0)≠0z(0) \neq 0. Доказать, что несобственный интеграл ∫01z(t)t−αdt\int_{0}^{1} z(t) t^{-\alpha } d t сходится при α<1\alpha < 1 и расходится при α⩾1\alpha \geqslant 1.

?
Задача 2.29

Пусть комплекснозначная функция z(t)z(t) непрерывна при t⩾1t \geqslant 1 и пусть существует отличный от нуля предел этой функции при t→+∞t \rightarrow +\infty. Доказать, что несобственный интеграл ∫1∞z(t)t−αdt\int_{1}^{\infty } z(t) t^{-\alpha } d t сходится при α>1\alpha > 1 и расходится при α⩽1\alpha \leqslant 1.

?
Задача 2.30

Пусть комплекснозначная функция z(t)z(t) непрерывна при t⩾1t \geqslant 1 и пусть функции Re(z(t))\mathrm{Re}\left(z(t)\right) и Im(z(t))\mathrm{Im}\left(z(t)\right) неотрицательны и монотонны при t⩾1t \geqslant 1. Доказать, что несобственный интеграл ∫1∞z(t)dt\int_{1}^{\infty } z(t) d t и ряд ∑n=1∞z(n)\sum_{n = 1}^{\infty } z(n) сходятся или расходятся одновременно.

?
Задача 2.31

Пусть φ(t)\varphi (t) — действительная функция, непрерывно дифференцируемая при t⩾1t \geqslant 1 и монотонно стремящаяся к нулю при t→+∞t \rightarrow +\infty, а z(t)z(t) — комплекснозначная функция, непрерывная при t⩾1t \geqslant 1 и обладающая тем свойством, что

∣∫1tz(u)du∣⩽M<∞,t⩾1. \left|\int _{1}^{t} z(u) d u\right| \leqslant M < \infty , \quad t \geqslant 1.

Доказать, что несобственный интеграл ∫1∞z(t)φ(t)dt\int_{1}^{\infty } z(t) \varphi (t) d t сходится.

?
Задача 2.32

Выяснить, при каких действительных значениях параметра α\alpha сходится несобственный интеграл:

?
(1)

∫01eit2t−αdt\int_{0}^{1} e^{i t^{2}} t^{-\alpha } d t;

(2)

∫1∞1−it21+it2t−αdt\int_{1}^{\infty } \frac{1-i t^{2}}{1+i t^{2}} t^{-\alpha } d t;

(3)

∫01(1+it1−it)2tα(1−t)1−αdt\int_{0}^{1}\left(\frac{1+i t}{1-i t}\right)^{2} t^{\alpha }(1-t)^{1-\alpha } d t;

(4)

∫0∞(1+it21+it)4e−αtdt\int_{0}^{\infty }\left(\frac{1+i t^{2}}{1+i t}\right)^{4} e^{-\alpha t} d t;

(5)

∫01eitt−α(ln⁡t)2dt\int_{0}^{1} e^{i t} t^{-\alpha }(\ln t)^{2} d t;

(6)

∫2∞1+it1−it⋅t−αdtln⁡2t\int_{2}^{\infty } \frac{1+i t}{1-i t} \cdot t^{-\alpha } \frac{d t}{\ln^{2} t}.

Задача 2.33

Доказать, что несобственный интеграл ∫1∞eitβt−αdt\int_{1}^{\infty } e^{i t^{\beta }} t^{-\alpha } d t при действительных значениях постоянных α\alpha и β\beta сходится в том и только в том случае, когда эти постоянные связаны соотношением α>min⁡(1,1−β)\alpha > \min (1,1-\beta ).

?
Задача 2.34

Пусть f(t)f(t) — комплекснозначная функция, непрерывная на отрезке [a,b][a, b] и дифференцируемая в каждой внутренней точке этого отрезка. Доказать, что число λ=f(b)−f(a)b−a\lambda = \frac{f(b)-f(a)}{b-a} принадлежит выпуклой оболочке множества значений, принимаемых функцией f′(t)f^{\prime }(t) на интервале (a,b)(a, b).

?
Задача 2.35

Пусть функция f(t)f(t) удовлетворяет тем же условиям, что и в задаче 34, а g(t)g(t) — действительная функция, непрерывная на отрезке [a,b][a, b] и имеющая отличную от нуля производную в каждой внутренней точке этого отрезка. Доказать, что число λ=f(b)−f(a)g(b)−g(a)\lambda = \frac{f(b)-f(a)}{g(b)-g(a)} принадлежит выпуклой оболочке множества значений, принимаемых функцией f′(t)g′(t)\frac{f^{\prime }(t)}{g^{\prime }(t)} на интервале (a,b)(a, b).

?
Задача 2.36

Рассмотрев функции

f(t)=t,g(t)=eit f(t) = t, \quad g(t) = e^{i t}

на отрезке [0,π][0, \pi ], убедиться, что условие действительности функции g(t)g(t) в задаче 35 существенно.

?
Задача 2.37

Пусть f(t)f(t) и g(t)g(t) — комплекснозначные функции, непрерывные на отрезке [a,b][a, b] и дифференцируемые в каждой внутренней точке этого отрезка. Доказать, что можно подобрать три точки τ1,τ2,τ3\tau_{1}, \tau_{2}, \tau_{3} интервала (a,b)(a, b) и три неотрицательных числа λ1,λ2,λ3\lambda_{1}, \lambda_{2}, \lambda_{3}, для которых λ1+λ2+λ3=1\lambda_{1}+\lambda_{2}+\lambda_{3} = 1, таким образом, чтобы выполнялось равенство

f(b)−f(a)g(b)−g(a)⋅∑k=13λkg′(τk)=∑k=13λkf′(τk) \frac{f(b)-f(a)}{g(b)-g(a)} \cdot \sum _{k = 1}^{3} \lambda _{k} g^{\prime }\left(\tau _{k}\right) = \sum _{k = 1}^{3} \lambda _{k} f^{\prime }\left(\tau _{k}\right)
?
Задача 2.38

Доказать, что lim⁡t→b−0f(t)g(t)=A\lim_{t \rightarrow b-0} \frac{f(t)}{g(t)} = A, если f(t)f(t) и g(t)g(t) — непрерывные комплекснозначные функции, удовлетворяющие условиям:

?
(1)

g(t)≠0g(t) \neq 0 при a⩽t<ba \leqslant t < b;

(2)

lim⁡t→b−0f(t)=lim⁡t→b−0g(t)=0\lim_{t \rightarrow b-0} f(t) = \lim_{t \rightarrow b-0} g(t) = 0;

(3)

функции f(t)f(t) и g(t)g(t) дифференцируемы при a⩽t<ba \leqslant t < b;

(4)

lim⁡t→b−0f′(t)g′(t)=A≠∞\lim_{t \rightarrow b-0} \frac{f^{\prime }(t)}{g^{\prime }(t)} = A \neq \infty;

(5)

∣arg⁡g′(t)∣⩽α<π2,a⩽t<b\left|\arg g^{\prime }(t)\right| \leqslant \alpha < \frac{\pi }{2}, \quad a \leqslant t < b.

Задача 2.39

Выяснить, какая кривая определяется параметрическим уравнением (указать множество точек плоскости и порядок их прохождения):

?
(1)

z=a+(b−a)t,0⩽t⩽1z = a+(b-a) t, \quad 0 \leqslant t \leqslant 1;

(2)

z=Reit,0⩽t⩽π,R>0z = R e^{i t}, 0 \leqslant t \leqslant \pi , R > 0;

(3)

z=t+it2,t⩾0z = t+i t^{2}, t \geqslant 0;

(4)

z=t+it,t⩾1z = t+\frac{i}{t}, t \geqslant 1;

(5)

z=1+e−it,0⩽t⩽2πz = 1+e^{-i t}, 0 \leqslant t \leqslant 2 \pi;

(6)

z=tcos⁡t,0⩽t⩽2πz = t \cos t, 0 \leqslant t \leqslant 2 \pi.

Задача 2.40

Пусть кривая γ\gamma задана параметрическим уравнением z=z(t),a⩽t⩽bz = z(t), a \leqslant t \leqslant b и пусть функция z(t)z(t) имеет в точке t0t_{0} отличную от нуля производную z′(t0)z^{\prime }\left(t_{0}\right). Доказать, что кривая γ\gamma имеет в точке z(t0)z\left(t_{0}\right) касательную и что комплексное число z′(t0)z^{\prime }\left(t_{0}\right) изображает на комплексной плоскости вектор, направленный по этой касательной.

?
Задача 2.41

Пусть кривая γ\gamma задана параметрическим уравнением z=z(t),a⩽t⩽bz = z(t), a \leqslant t \leqslant b, где z(t)z(t) — функция, имеющая две непрерывные производные на отрезке [a,b][a, b]. Обозначим через τ(t)\tau (t) комплексное число, изображающее единичный вектор касательной к кривой γ\gamma в точке z(t)z(t) (направленный в ту же сторону, что и сама кривая в этой точке); через ν(t)\nu (t) обозначим комплексное число, изображающее единичный вектор нормали к кривой γ\gamma в точке z(t)z(t) (направленный вправо от кривой); через ρ(t)\rho (t) обозначим кривизну кривой γ\gamma в точке z(t)z(t). Доказать формулы:

?
(1)

τ(t)=z′(t)∣z′(t)∣\tau (t) = \frac{z^{\prime }(t)}{\left|z^{\prime }(t)\right|};

(2)

ν(t)=−iz′(t)∣z′(t)∣\nu (t) = -i \frac{z^{\prime }(t)}{\left|z^{\prime }(t)\right|};

(3)

ρ(t)=1∣z′(t)∣∣Im(z′′(t)z′(t))∣\rho (t) = \frac{1}{\left|z^{\prime }(t)\right|}\left|\mathrm{Im}\left(\frac{z^{\prime \prime }(t)}{z^{\prime }(t)}\right)\right|.

Задача 2.42

Пусть кривая γ\gamma задана параметрическим уравнением z=z(t),a⩽t⩽bz = z(t), a \leqslant t \leqslant b, где z(t)z(t) — функция, непрерывно дифференцируемая на отрезке [a,b][a, b]. Доказать, что кривая γ\gamma спрямляема и что для ее длины λ(γ)\lambda (\gamma ) справедлива формула

λ(γ)=∫ab∣z′(t)∣dt \lambda (\gamma ) = \int _{a}^{b}\left|z^{\prime }(t)\right| d t
?
Задача 2.43

Доказать, что любая кусочно-гладкая кривая спрямляема.

?
Задача 2.44

Пусть z=ϰ(t),0⩽t⩽lz = \varkappa (t), \quad 0 \leqslant t \leqslant l, — натуральное уравнение кривой γ\gamma и пусть функция ϰ(t)\varkappa (t) дважды непрерывно дифференцируема на отрезке [0,l][0, l], а величины τ(t),ν(t),ρ(t)\tau (t), \nu (t), \rho (t) имеют тот же смысл, что и в задаче 41. Доказать формулы:

?
(1)

τ(t)=ϰ′(t)\tau (t) = \varkappa^{\prime }(t);

(2)

ν(t)=−iϰ′(t)\nu (t) = -i \varkappa^{\prime }(t);

(3)

ρ(t)=∣ϰ′′(t)∣\rho (t) = \left|\varkappa^{\prime \prime }(t)\right|.

Задача 2.45

Описать с помощью неравенств область DD, если ее граница ∂D\partial D состоит из одной замкнутой кривой, определяемой параметрическим уравнением:

?
(1)

z=a+ρeit,0⩽t⩽2πz = a+\rho e^{i t}, 0 \leqslant t \leqslant 2 \pi;

(2)

z=a+ρe−it,0⩽t⩽2πz = a+\rho e^{-i t}, 0 \leqslant t \leqslant 2 \pi;

(3)

z=−it,−∞<t<∞z = -i t,-\infty < t < \infty;

(4)

z=t+it2,−∞<t<∞z = t+i t^{2},-\infty < t < \infty;

(5)

z=t2,−∞<t<∞z = t^{2},-\infty < t < \infty.

Задача 2.46

Пусть DD — конечная область, а ее граница ∂D\partial D состоит из одной замкнутой кривой, заданной параметрическим уравнением z=z(t),a⩽t⩽bz = z(t), a \leqslant t \leqslant b, где функция z(t)z(t) непрерывно дифференцируема на отрезке [a,b][a, b]. Доказать, что для площади σ(D)\sigma (D) области DD справедлива формула

σ(D)=12∫ab∣z(t)∣2Im(z′(t)z(t))dt \sigma (D) = \frac{1}{2} \int _{a}^{b}\left|z(t)\right|^{2} \mathrm{Im}\left(\frac{z^{\prime }(t)}{z(t)}\right) d t
?
Задача 2.47

Пусть DD-конечная область, а ее граница ∂D\partial D состоит из mm замкнутых кривых, заданных параметрическими уравнениями

z=zk(t),ak⩽t⩽bk,k=1,2,…,m, z = z_{k}(t), \quad a_{k} \leqslant t \leqslant b_{k}, \quad k = 1,2, \ldots , m,

где zk(t)z_{k}(t) — функции, непрерывно дифференцируемые на отрезках [ak,bk]\left[a_{k}, b_{k}\right] соответственно. Доказать, что для площади σ(D)\sigma (D) области DD справедлива формула

σ(D)=12∑k=1m∫akbk∣zk(t)∣2Im(zk′(t)zk(t))dt \sigma (D) = \frac{1}{2} \sum _{k = 1}^{m} \int _{a_{k}}^{b_{k}}\left|z_{k}(t)\right|^{2} \mathrm{Im}\left(\frac{z_{k}^{\prime }(t)}{z_{k}(t)}\right) d t
?
Задача 2.48

Доказать, что для выпуклости области DD необходимо и достаточно, чтобы она была звездообразна относительно каждой своей точки.

?
Задача 2.49

Пусть граница ∂D\partial D области DD состоит из одной гладкой замкнутой кривой с параметрическим уравнением z=z(t),a⩽t⩽bz = z(t), a \leqslant t \leqslant b, где функция z(t)z(t) имеет на отрезке [a,b][a, b] непрерывную и отличную от нуля производную. Доказать, что:

?
(1)

область DD выпукла в том и только в том случае, когда

Im(z′′(t)z′(t))⩾0,a⩽t⩽b \mathrm{Im}\left(\frac{z^{\prime \prime }(t)}{z^{\prime }(t)}\right) \geqslant 0, \quad a \leqslant t \leqslant b
(2)

область DD звездообразна относительно точки z0∈Dz_{0} \in D в том и только в том случае, когда

Im(z′(t)z(t)−z0)⩾0,a⩽t⩽b \mathrm{Im}\left(\frac{z^{\prime }(t)}{z(t)-z_{0}}\right) \geqslant 0, \quad a \leqslant t \leqslant b
Задача 2.50

Доказать, что область DD, звездообразная относительно одной из своих точек (в частности, выпуклая область), односвязна.

?