Часть 5

Комплексный анализ

[128/100%]
Показать
LaTeX
§
Задача 5.1.1

Верно-неверно. Если утверждение верно, приведите соответствующую теорему или обоснование; если неверно, приведите контрпример или иное обоснование.

?
(a)

Если f(z)=u+ivf(z) = u + iv непрерывна в точке z=0z = 0, и частные производные ux,uy,vx,vyu_x, u_y, v_x, v_y существуют в точке z=0z = 0, причём ux=vyu_x = v_y и uy=−vxu_y = -v_x в точке z=0z = 0, то f′(0)f'(0) существует.

(b)

Если f(z)f(z) аналитична в Ω\Omega и имеет бесконечно много нулей в Ω\Omega, то f≡0f \equiv 0.

(c)

Если ff и gg аналитичны в Ω\Omega и f(z)⋅g(z)≡0f(z) \cdot g(z) \equiv 0 в Ω\Omega, то либо f≡0f \equiv 0, либо g≡0g \equiv 0.

(d)

Если f(z)f(z) аналитична в Ω={z;Re(z)>0}\Omega = \left\{ z; \mathrm{Re}\left(z\right) > 0\right\}, непрерывна на Ω‾\overline{\Omega } и ∣f(iy)∣≤1\left|f(iy)\right| \leq 1 (−∞<y<+∞-\infty < y < +\infty), то ∣f(z)∣≤1\left|f(z)\right| \leq 1 (z∈Ωz \in \Omega).

(e)

Если ∑anzn\sum a_n z^n имеет радиус сходимости, в точности равный RR, то ∑n3anzn\sum n^3 a_n z^n имеет радиус сходимости, в точности равный RR.

(f)

sin⁡z\sin \sqrt{z} — целая функция.

Задача 5.1.2
?
(a)

Пусть f(z)f(z) — комплекснозначная функция комплексной переменной. Если и f(z)f(z), и zf(z)zf(z) гармоничны в области Ω\Omega, докажите, что ff там аналитична.

(b)

Пусть ff аналитична и ∣f(z)∣<1\left|f(z)\right| < 1 при ∣z∣<1\left|z\right| < 1, причём f(±a)=0f(\pm a) = 0, где aa — комплексное число с 0<∣a∣<10 < \left|a\right| < 1. Покажите, что ∣f(0)∣≤a2\left|f(0)\right| \leq a^2. Что можно заключить, если здесь достигается равенство.

(c)

Найдите все целые функции ff такие, что ∣f′(z)∣<∣f(z)∣\left|f'(z)\right| < \left|f(z)\right|.

Задача 5.1.3

Пусть GG — область в C\mathbb {C}, и предположим, что u:G→Ru : G \to \mathbb {R} — гармоническая функция.

?
(a)

Покажите, что ∂u∂x−i∂u∂y\dfrac {\partial u}{\partial x} - i \dfrac {\partial u}{\partial y} — аналитическая функция на GG.

(b)

Покажите, что uu имеет гармонически сопряжённую на GG тогда и только тогда, когда ∂u∂x−i∂u∂y\dfrac {\partial u}{\partial x} - i \dfrac {\partial u}{\partial y} имеет первообразную на GG.

Задача 5.1.4

Пусть uu и vv — вещественнозначные гармонические функции на области Ω\Omega, причём uu и vv удовлетворяют условиям Коши-Римана на подмножестве SS множества Ω\Omega, имеющем предельную точку в Ω\Omega. Докажите, что u+ivu + iv обязательно аналитична на Ω\Omega.

?
Задача 5.1.5

Пусть Q=[0,1]×[0,1]⊂CQ = [0,1] \times [0,1] \subset \mathbb {C} — единичный квадрат, и пусть ff голоморфна в окрестности QQ. Предположим, что

f(z+1)−f(z) вещественно и≥0при z∈[0,i]. f(z + 1) - f(z) \text{ вещественно и} \geq 0 \quad \text{при } z \in [0, i]. f(z+i)−f(z) вещественно и≥0при z∈[0,1]. f(z + i) - f(z) \text{ вещественно и} \geq 0 \quad \text{при } z \in [0, 1].

Покажите, что ff постоянна.

?
Задача 5.1.6

Пусть ff непрерывна на замыкании S‾\overline{S} единичного квадрата

S={z=x+iy∈C:0<x<1,0<y<1}, S = \left\{ z = x + iy \in \mathbb {C} : 0 < x < 1, 0 < y < 1\right\} ,

и пусть ff аналитична на SS. Если Re(f)=0\mathrm{Re}\left(f\right) = 0 на S‾∩({y=0}∪{y=1})\overline{S} \cap (\left\{ y = 0\right\} \cup \left\{ y = 1\right\} ), и если Im(f)=0\mathrm{Im}\left(f\right) = 0 на S‾∩({x=0}∪{x=1})\overline{S} \cap (\left\{ x = 0\right\} \cup \left\{ x = 1\right\} ), докажите, что f≡0f \equiv 0 всюду на S‾\overline{S}.

?
Задача 5.1.7
?
(a)

Найдите константу cc, такую что функция

f(z)=1z4+z3+z2+z−4−cz−1 f(z) = \frac{1}{z^4 + z^3 + z^2 + z - 4} - \frac{c}{z-1}

голоморфна в окрестности z=1z = 1.

(b)

Покажите, что функция ff голоморфна на открытом множестве, содержащем замкнутый круг {z:∣z∣≤1}\left\{ z : \left|z\right| \leq 1\right\}.

Задача 5.1.8

Пусть P(z)P(z) — многочлен степени dd с простыми корнями z1,z2,…,zdz_1, z_2, \ldots , z_d. ``Разложение на простейшие дроби'' для 1P\dfrac {1}{P} имеет вид:

1P(z)=∑n=1dcnz−zn.(*) \frac{1}{P(z)} = \sum _{n=1}^{d} \frac{c_n}{z - z_n}. \tag {*}
?
(a)

Дайте прямую формулу для cnc_n через PP.

(b)

Покажите, что 1P(z)\dfrac {1}{P(z)} действительно допускает представление вида (*).

(c)

Дайте формулу, аналогичную (*), для случая z1=z2z_1 = z_2, когда все остальные корни простые.

Задача 5.1.9

Пусть ff мероморфна в окрестности D‾\overline{D} (D={∣z∣<1}D = \left\{ \left|z\right| < 1\right\}), и её единственная особая точка — простой полюс в z=a∈Dz = a \in D. Если f(∂D)⊆Rf(\partial D) \subseteq \mathbb {R}, покажите, что существуют комплексная константа AA и вещественная константа BB, такие что

f(z)=Az2+Bz+A‾(z−a)(1−a‾z). f(z) = \frac{Az^2 + Bz + \overline{A}}{(z-a)(1-\overline{a}z)}.
?
Задача 5.1.10

Пусть K1,K2,…,KnK_1, K_2, \ldots , K_n — попарно непересекающиеся круги в C\mathbb {C}, и пусть ff — аналитическая функция в C∖⋃j=1nKj\mathbb {C} \setminus \bigcup_{j=1}^{n} K_j. Покажите, что существуют функции f1,f2,…,fnf_1, f_2, \ldots , f_n, такие что

?
(a)

fjf_j аналитична в C∖Kj\mathbb {C} \setminus K_j, и

(b)

f(z)=∑j=1nfj(z)f(z) = \sum_{j=1}^{n} f_j(z) при z∈C∖⋃j=1nKjz \in \mathbb {C} \setminus \bigcup_{j=1}^{n} K_j.

Задача 5.1.11

Напомним, что дивизор DfD_f рациональной функции f(z)f(z) на C\mathbb {C} — это множество {p∈C∪{∞}}\left\{ p \in \mathbb {C} \cup \left\{ \infty \right\} \right\}, состоящее из нулей и полюсов pp функции f(z)f(z) (включая точку ∞\infty), взятых с кратностями np∈Zn_p \in \mathbb {Z}. Пусть ff и gg — две рациональные функции с непересекающимися дивизорами. Докажите, что

∏p∈Dfg(p)np=∏q∈Dgf(q)nq. \prod _{p \in D_f} g(p)^{n_p} = \prod _{q \in D_g} f(q)^{n_q}.
?
Задача 5.1.12

Пусть f(z)f(z) — ``ветвь'' log⁡z\log z, определённая вне отрицательной вещественной полуоси так, что f(1)=0f(1) = 0.

?
(a)

Найдите многочлен Тейлора функции ff степени 22 в точке −4+3i-4+3i, упростив коэффициенты.

(b)

Найдите радиус сходимости RR ряда Тейлора T(z)T(z) функции f(z)f(z) в точке −4+3i-4+3i.

(c)

Отметьте на рисунке все точки zz, в которых T(z)T(z) сходится, но T(z)≠f(z)T(z) \neq f(z), и опишите соотношение между ff и TT в таких точках. Если таких точек нет, является ли это особенностью данного примера или общей невозможностью? Объясните и/или приведите примеры.

Задача 5.1.13

Пусть ff — аналитическая функция, определённая в круге Δ={z:∣z−4∣<4}\Delta = \left\{ z : \left|z-4\right| < 4\right\} так, что f(z)=z1/3(z+1)1/2f(z) = z^{1/3}(z+1)^{1/2} в Δ\Delta, и f(x)f(x) положительна при 0<x<80 < x < 8. Аналитическая функция gg в Δ\Delta получается из ff путём аналитического продолжения вдоль пути, начинающегося и заканчивающегося в точке z=4z = 4 (см. рис. 5.2). Выразите gg через ff.

?
Задача 5.1.14

Определим

f(z)=ez−e−zsin⁡z. f(z) = \frac{e^{\sqrt z} - e^{-\sqrt z}}{\sin \sqrt z}.
?
(a)

Где ff однозначна и аналитична?

(b)

Классифицируйте особенности ff.

(c)

Вычислите ∫∣z∣=25f(z) dz\int_{\left|z\right|=25} f(z)\, dz.

Задача 5.1.15

Пусть Ω\Omega — плоскость с удалённым отрезком {−1≤x≤1,y=0}\left\{ -1 \leq x \leq 1, y = 0\right\}. Для каких из многозначных функций

?
(a)

f(z)=z1−z2f(z) = \dfrac {z}{\sqrt{1-z^2}},

(b)

g(z)=11−z2g(z) = \dfrac {1}{\sqrt{1-z^2}},

можно выбрать однозначные ветви, голоморфные в Ω\Omega. Какие из этих ветвей являются (является) производной однозначной голоморфной функции в Ω\Omega. Почему?

Задача 5.1.16
?
(a)

Пусть D⊂CD \subset \mathbb {C} — дополнение односвязного замкнутого множества {eθ+iθ:θ∈R}∪{0}\left\{ e^{\theta +i\theta } : \theta \in \mathbb {R}\right\} \cup \left\{ 0\right\}. Пусть log⁡\log — ветвь логарифма на DD, такая что log⁡e=1\log e = 1. Найдите log⁡e15\log e^{15}. Обоснуйте ответ.

(b)

Пусть γ\gamma обозначает единичную окружность с положительной ориентацией. Поднимая интегрирование на подходящее накрывающее пространство, придайте точный смысл интегралу ∫γ(log⁡z)2 dz\int_\gamma (\log z)^2\, dz и найдите все возможные значения, которые можно ему присвоить.

Задача 5.1.17

Найдите наиболее общую гармоническую функцию вида f(∣z∣)f(\left|z\right|), z∈C∖0z \in \mathbb {C} \setminus 0. Какие из этих f(∣z∣)f(\left|z\right|) имеют однозначную гармонически сопряжённую?

?
Задача 5.1.18

Рассмотрим правильную пентаграмму с центром в начале координат на комплексной плоскости. Пусть uu — гармоническая функция во внутренности пентаграммы, принимающая граничные значения 11 на двух показанных отрезках и 00 на остальной части границы. Чему равно значение uu в начале координат? Обоснуйте свой ответ.

?
Задача 5.1.19

Пусть GG — область в C\mathbb {C}, [0,1]⊂G[0,1] \subset G, и h:G→Rh : G \to \mathbb {R} непрерывна. h∣G∖[0,1]h|_{G \setminus [0,1]} гармонична — следует ли отсюда, что hh гармонична на GG?

?
Задача 5.1.20

Пусть γ\gamma — дуга единичной окружности. Предположим, что uu и vv гармоничны в D={z:∣z∣<1}D = \left\{ z : \left|z\right| < 1\right\} и непрерывно дифференцируемы на D∪γD \cup \gamma. Если граничные значения удовлетворяют u=vu = v на γ\gamma, а радиальные производные удовлетворяют ∂u∂r=∂v∂r\dfrac {\partial u}{\partial r} = \dfrac {\partial v}{\partial r} на γ\gamma, докажите, что u=vu = v в DD.

?
Задача 5.1.21

С помощью конформного отображения найдите гармоническую функцию U(z)U(z), определённую в единичном круге {∣z∣<1}\left\{ \left|z\right| < 1\right\}, такую что

lim⁡r→1−U(reiθ)={+1,при 0<θ<π,−1,при π<θ<2π. \lim _{r \to 1^-} U(re^{i\theta }) = \begin{cases} +1, & \text{при } 0 < \theta < \pi , \\ -1, & \text{при } \pi < \theta < 2\pi . \end{cases}

Укажите правильное определение любых многозначных функций, появляющихся в вашем ответе.

?
Задача 5.1.22

Определите все непрерывные функции на {z∈C:0≤∣z∣≤1}\left\{ z \in \mathbb {C} : 0 \leq \left|z\right| \leq 1\right\}, гармонические на {z:0<∣z∣<1}\left\{ z : 0 < \left|z\right| < 1\right\} и тождественно равные 00 на {z∈C:∣z∣=1}\left\{ z \in \mathbb {C} : \left|z\right| = 1\right\}.

?
Задача 5.1.23
?
(a)

Пусть f(z)f(z) — голоморфная функция в круге ∣z∣<r\left|z\right| < r, чьи нули в этом круге суть a1,a2,…,ana_1, a_2, \ldots , a_n, взятые с кратностью. Предположим далее, что ∣aj∣<r\left|a_j\right| < r для всех j=1,2,…,nj = 1, 2, \ldots , n, и ∣f(0)∣=1\left|f(0)\right| = 1. Формула Йенсена утверждает, что

12π∫02πlog⁡∣f(reiθ)∣ dθ=∑j=1nlog⁡r∣aj∣. \frac{1}{2\pi } \int _0^{2\pi } \log \left|f(re^{i\theta })\right|\, d\theta = \sum _{j=1}^{n} \log \frac{r}{\left|a_j\right|}.

Докажите это.

(b)

При условиях и обозначениях пункта (a) пусть n(t)n(t) — число aja_j (j=1,2,…,nj = 1, 2, \ldots , n), таких что ∣aj∣<t\left|a_j\right| < t. Используя формулу Йенсена, покажите, что

∫0rn(t)t dt=12π∫02πlog⁡∣f(reiθ)∣ dθ. \int _0^r \frac{n(t)}{t}\, dt = \frac{1}{2\pi } \int _0^{2\pi } \log \left|f(re^{i\theta })\right|\, d\theta .
(c)

Для r<Rr < R выведите оценку на n(r)n(r) через max⁡0≤θ≤2πlog⁡∣f(Reiθ)∣\max_{0 \leq \theta \leq 2\pi } \log \left|f(Re^{i\theta })\right|.

(d)

Что можно сказать о нулях ограниченных голоморфных функций в единичном круге?

Задача 5.1.24

Пусть B(z)=∏k=1nak−z1−ak‾zB(z) = \displaystyle \prod_{k=1}^{n} \dfrac {a_k - z}{1 - \overline{a_k} z}, где a1,a2,…,ana_1, a_2, \ldots , a_n — различные точки в D∖{0}D \setminus \left\{ 0\right\}. Покажите, что

B(z)=∏k=1n1ak‾+∑k=1n1ak‾ B′(ak)‾(1−ak‾z). B(z) = \prod _{k=1}^{n} \frac{1}{\overline{a_k}} + \sum _{k=1}^{n} \frac{1}{\overline{a_k} \, \overline{B'(a_k)} (1 - \overline{a_k} z)}.
?
Задача 5.1.25

Существует ли аналитическая функция в ∣z∣<1\left|z\right| < 1, такая что 0<∣f(1n)∣<e−n0 < \left|f(\frac{1}{n})\right| < e^{-n} для n=2,3,4,…n = 2, 3, 4, \ldots? Обоснуйте ответ.

?
Задача 5.1.26

Пусть D={z∈C:∣z∣<1}D = \left\{ z \in \mathbb {C} : \left|z\right| < 1\right\}. Найдите все голоморфные функции f:D→Cf : D \to \mathbb {C}, такие что f ⁣(1n+ie−n)f\! \left(\frac{1}{n} + ie^{-n}\right) вещественно для всех целых n≥2n \geq 2.

?
§
Задача 5.2.1

Найдите взаимно однозначное голоморфное отображение единичного круга {∣z∣<1}\left\{ \left|z\right| < 1\right\} на разрезанный круг {∣w∣<1}−[0,1)\left\{ \left|w\right| < 1\right\} - [0,1).

?
Задача 5.2.2
?
(a)

Найдите функцию ff, конформно отображающую область {z:∣arg⁡z∣<1}\left\{ z : \left|\arg z\right| < 1\right\} взаимно однозначно на область {w:∣w∣<1}\left\{ w : \left|w\right| < 1\right\}. Покажите, что найденная вами функция удовлетворяет требуемым условиям.

(b)

Можно ли потребовать, чтобы f(1)=0f(1) = 0 и f(2)=12f(2) = \frac{1}{2}? Если да, приведите явное отображение; если нет, объясните почему.

Задача 5.2.3
?
(a)

Найдите одно взаимно однозначное конформное отображение ff, переводящее открытый квадрант {(x,y):x>0 и y>0}\left\{ (x,y) : x > 0 \text{ и } y > 0\right\} на открытый нижний полукруг {(x,y):x2+y2<1 и y<0}\left\{ (x,y) : x^2+y^2 < 1 \text{ и } y < 0\right\}.

(b)

Найдите все такие ff.

Задача 5.2.4

Отобразите круг {∣z∣<1}\left\{ \left|z\right| < 1\right\} с разрезами вдоль отрезков [a,1],[−1,−b][a,1], [-1,-b] (0<a<10 < a < 1, 0<b<10 < b < 1) конформно на полный круг {∣w∣<1}\left\{ \left|w\right| < 1\right\} с помощью функции w=f(z)w = f(z) с f(0)=0f(0) = 0, f′(0)>0f'(0) > 0. Вычислите f′(0)f'(0) и длины дуг, соответствующих разрезам.

?
Задача 5.2.5

Пусть 0<ε<π0 < \varepsilon < \pi, пусть γε\gamma_\varepsilon обозначает дугу {eit:ε≤t≤2π−ε}\left\{ e^{it} : \varepsilon \leq t \leq 2\pi -\varepsilon \right\}, и пусть Ωε\Omega_\varepsilon — дополнение γε\gamma_\varepsilon на сфере Римана. Если ff — конформное отображение единичного круга на Ωε\Omega_\varepsilon, f(0)=0f(0) = 0, f′(0)>0f'(0) > 0, опишите ту часть единичного круга, которую ff отображает на {∣z∣>1}\left\{ \left|z\right| > 1\right\}.

?
Задача 5.2.6

Пусть w=f(z)w = f(z) отображает односвязную область GG взаимно однозначно и конформно на круг DrD_r с центром w=0w = 0, радиусом rr, так что f(a)=0f(a) = 0 и ∣f′(a)∣=1\left|f'(a)\right| = 1 для некоторой точки a∈Ga \in G.

?
(a)

Докажите, что радиус r=r(G,a)r = r(G,a) круга DrD_r однозначно определяется GG и aa.

(b)

Определите r(G,a)r(G,a), если GG — область между гиперболой xy=1xy = 1 (x>0,y>0x>0, y>0) и положительными полуосями, и a=1+i2a = 1+\frac{i}{2}.

Задача 5.2.7

Пусть T(z)=az+bcz+dT(z) = \dfrac {az+b}{cz+d} — преобразование Мёбиуса.

?
(a)

Пусть z1,z2∈Cz_1, z_2 \in \mathbb {C} — две различные неподвижные точки TT, т.е. T(zi)=ziT(z_i) = z_i, i=1,2i=1,2. Покажите, что существует константа cc, такая что

T(z)−z1T(z)−z2=c z−z1z−z2. \frac{T(z)-z_1}{T(z)-z_2} = c\, \frac{z-z_1}{z-z_2}.
(b)

Используя (a), найдите выражение для Tn(z)T^n(z), n=1,2,3,…n=1,2,3,\ldots, если

T(z)=1−3zz−3. T(z) = \frac{1-3z}{z-3}.
Задача 5.2.8
?
(a)

Обоснуйте утверждение, что ``кривые

x2a2+λ+y2b2+λ=1 \frac{x^2}{a^2+\lambda } + \frac{y^2}{b^2+\lambda } = 1

образуют семейство софокусных коник''.

(b)

Докажите, что такие софокусные коники пересекаются ортогонально, если вообще пересекаются.

(c)

Покажите, что преобразование w=12(z+1z)w = \frac12\left(z+\frac1z\right) переводит прямые, проходящие через начало координат, и окружности с центром в начале координат в семейство софокусных коник.

Задача 5.2.9

Если f:D(0,1)={∣z∣<1}→Cf : D(0,1) = \left\{ \left|z\right| < 1\right\} \to \mathbb {C} — аналитическая функция, удовлетворяющая f(0)=0f(0) = 0, и если

∣Re(f(z))∣<1для всех z∈D(0,1), \left|\mathrm{Re}\left(f(z)\right)\right| < 1 \quad \text{для всех } z \in D(0,1),

докажите, что

∣f′(0)∣≤4π. \left|f'(0)\right| \leq \frac4\pi .
?
Задача 5.2.10

Пусть Ω={z∈C;−1<\imz<1}\Omega = \left\{ z \in \mathbb {C}; -1 < \im z < 1\right\}, и пусть F\mathcal F — семейство всех аналитических функций f:Ω→Cf : \Omega \to \mathbb {C}, таких что ∣f∣<1\left|f\right| < 1 на Ω\Omega и f(0)=0f(0) = 0. Найдите

sup⁡f∈F∣f(1)∣. \sup _{f \in \mathcal F} \left|f(1)\right|.
?
Задача 5.2.11

Пусть ff — аналитическая функция на D={z;∣z∣<1}D = \left\{ z; \left|z\right| < 1\right\}, такая что f(0)=1f(0) = 1, и пусть ∣1+f(z)∣≤1+∣f(z)∣\left|1+f(z)\right| \leq 1 + \left|f(z)\right| при ∣z∣<1\left|z\right| < 1. Докажите, что ∣f′(0)∣≤4\left|f'(0)\right| \leq 4.

?
Задача 5.2.12

Пусть PP — множество голоморфных функций ff на открытом единичном круге, такое что (i) и вещественная, и мнимая части f(z)f(z) положительны при ∣z∣<1\left|z\right| < 1, (ii) f(0)=1+if(0) = 1+i. Пусть E={f(12):f∈P}E = \left\{ f(\frac12) : f \in P\right\}. Опишите EE явно.

?
Задача 5.2.13

Пусть Ω={z:∣z−4∣<4}\Omega = \left\{ z : \left|z-4\right| < 4\right\}. Если F\mathcal F — семейство всех аналитических функций на Ω\Omega, таких что ∣f∣<1\left|f\right| < 1 в Ω\Omega и lim⁡w→∞f(w)=0\lim_{w \to \infty } f(w) = 0, найдите sup⁡f∈F∣f(8)∣\sup_{f \in \mathcal F} \left|f(8)\right|. Ваш ответ должен быть явным числом, и вы должны доказать своё утверждение.

?
Задача 5.2.14

Пусть DD — верхняя полуплоскость, и пусть f≠idf \neq \mathrm{id} — конформное отображение DD на себя, такое что f∘f=idf \circ f = \mathrm{id}. Докажите, что ff имеет единственную неподвижную точку внутри DD.

?
Задача 5.2.15

Пусть Ω\Omega — выпуклое открытое подмножество C\mathbb {C}, и пусть f:Ω→Cf : \Omega \to \mathbb {C} — аналитическая функция, удовлетворяющая Re(f′(z))>0\mathrm{Re}\left(f'(z)\right) > 0, z∈Ωz \in \Omega. Докажите, что ff взаимно однозначна в Ω\Omega (т.е. ff инъективна).

?
Задача 5.2.16

Покажите, что если многочлен P(z)=anzn+an−1zn−1+⋯+a1z+a0P(z) = a_n z^n + a_{n-1} z^{n-1} + \cdots + a_1 z + a_0, n>1n > 1, взаимно однозначен в единичном круге ∣z∣<1\left|z\right| < 1 и a1=1a_1 = 1, то ∣nan∣≤1\left|na_n\right| \leq 1.

?
Задача 5.2.17

Пусть P(z)P(z) — многочлен на комплексной плоскости, не равный тождественно нулю; пусть H={z:\rez>0}H = \left\{ z : \re z > 0\right\}.

?
(a)

Если все корни P(z)P(z) лежат в HH, покажите, что то же верно для корней dP/dzdP/dz.

(b)

Для произвольного не обращающегося в нуль многочлена P(z)P(z), используя результат (a), покажите, что выпуклая оболочка корней P(z)P(z) содержит корни dP/dzdP/dz.

Задача 5.2.18

Пусть f(z)f(z) — ряд Лорана с центром в 00, сходящийся в C∖{0}\mathbb {C} \setminus \left\{ 0\right\}, с вычетом bb в точке z=0z=0.

?
(a)

Покажите, что существует ζ\zeta на {z∈C:∣z∣=1}\left\{ z \in \mathbb {C} : \left|z\right| = 1\right\} такое, что

∣f(ζ)−ζ−1∣≥∣b−1∣. \left|f(\zeta ) - \zeta ^{-1}\right| \geq \left|b-1\right|.
(b)

Охарактеризуйте те функции, для которых

max⁡∣ζ∣=1∣f(ζ)−ζ−1∣=∣b−1∣. \max _{\left|\zeta \right|=1} \left|f(\zeta )-\zeta ^{-1}\right| = \left|b-1\right|.
Задача 5.2.19

Пусть ff аналитична в окрестности \closureD\closure D, ff отображает DD в DD, и ff отображает ∂D\partial D в ∂D\partial D, где D={z:∣z∣<1}D = \left\{ z : \left|z\right| < 1\right\}.

?
(a)

Покажите, что ∀z∈∂D\forall z \in \partial D, f′(z)≠0f'(z) \neq 0.

(b)

Покажите, что ddθ[arg⁡f(eiθ)]≥0\dfrac {d}{d\theta }[\arg f(e^{i\theta })] \geq 0 для θ∈R\theta \in \mathbb {R}.

(c)

Пусть f(0)=f′(0)=0f(0) = f'(0) = 0, и f∣∂Df|_{\partial D} — двулистное отображение ∂D\partial D на ∂D\partial D. Покажите, что f(z)≠0f(z) \neq 0 при 0<∣z∣<10 < \left|z\right| < 1.

Задача 5.2.20

Если f(z)f(z) — однолистная (взаимно однозначная аналитическая) функция с областью определения единичный круг, такая что f(z)=z∑n=2∞anznf(z) = z\sum_{n=2}^{\infty } a_n z^n, докажите, что

g(z)=f(z2) g(z) = \sqrt{f(z^2)}

— однолистная функция в единичном круге.

?
Задача 5.2.21

Рассмотрим единичный круг DD и аналитическую функцию f:D→Df : D \to D. Если f(0)=a≠0f(0) = a \neq 0, покажите, что ff не имеет нуля в круге {z:∣z∣<∣a∣}\left\{ z : \left|z\right| < \left|a\right|\right\}.

?
Задача 5.2.22

Пусть f(z)=z(1+z)2f(z) = \dfrac {z}{(1+z)^2}. Пусть V={z∈C:0<∣z∣<12,34π<arg⁡z<54π}V = \left\{ z \in \mathbb {C} : 0 < \left|z\right| < \frac12, \frac{3}{4}\pi < \arg z < \frac54\pi \right\}.

?
(a)

Покажите, что если z∈Vz \in V, то ∣f(z)∣<∣z∣\left|f(z)\right| < \left|z\right| и f(z)∈Vf(z) \in V.

(b)

Докажите, что если z∈Vz \in V, то lim⁡n→∞f(n)(z)=0\lim_{n \to \infty } f^{(n)}(z) = 0, где f(n)(z)=f∘f∘⋯∘ff^{(n)}(z) = f \circ f \circ \cdots \circ f — nn-кратная композиция ff.

§
Задача 5.3.1

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

∫∣z∣=1eez dz. \int _{\left|z\right|=1} e^{e^z}\, dz.
?
Задача 5.3.2

Вычислите

∫γdzsin⁡3z, \int _\gamma \frac{dz}{\sin ^3 z},

где γ\gamma — положительно ориентированная окружность {∣z∣=1}\left\{ \left|z\right| = 1\right\}.

?
Задача 5.3.3

При каком значении aa функция

f(z)=∫(1z+az2)cos⁡z dz f(z) = \int \left(\frac{1}{z} + \frac{a}{z^2}\right) \cos z\, dz

однозначна?

?
Задача 5.3.4

Определим

h(z)=∫0∞cos⁡(t2)et−zt dt. h(z) = \int _0^\infty \frac{\cos (t^2)}{e^t - zt}\, dt.

Каково наибольшее возможное PP, при котором h(z)h(z) аналитична при ∣z∣<P\left|z\right| < P?

?
Задача 5.3.5

Пусть f(z)f(z) аналитична в S={z∈C;∣z∣<2}S = \left\{ z \in \mathbb {C}; \left|z\right| < 2\right\}. Покажите, что

2π∫0π/2f(eit)cos⁡2t2 dt=2f(0)+f′(0). \frac{2}{\pi } \int _0^{\pi /2} f(e^{it}) \cos ^2\frac t2\, dt = 2f(0) + f'(0).
?
Задача 5.3.6

Пусть вещественнозначная функция uu гармонична в круге {∣z∣<2}\left\{ \left|z\right| < 2\right\}, vv — её гармонически сопряжённая, и u(0)=v(0)=0u(0) = v(0) = 0. Покажите, что

∫γu2(z)v2(z)dzz=16∫γ(u4(z)+v4(z))dzz, \int _\gamma u^2(z) v^2(z) \frac{dz}{z} = \frac16 \int _\gamma (u^4(z) + v^4(z)) \frac{dz}{z},

где γ(t)=e2πit\gamma (t) = e^{2\pi i t}, t∈[0,1]t \in [0,1].

?
Задача 5.3.7

Пусть ff — аналитическая функция на открытом множестве, содержащем D(0,1)‾={z;∣z∣≤1}\overline{D(0,1)} = \left\{ z; \left|z\right| \leq 1\right\}.

?
(a)

Докажите, что

dnfdzn(0)=n!π∫02πe−niθ[Re(f(eiθ))] dθ. \frac{d^n f}{dz^n}(0) = \frac{n!}{\pi } \int _0^{2\pi } e^{-ni\theta } [\mathrm{Re}\left(f(e^{i\theta })\right)]\, d\theta .
(b)

Если f(0)=1f(0) = 1 и Re(f(z))>0\mathrm{Re}\left(f(z)\right) > 0 для всех точек z∈D(0,1)z \in D(0,1), докажите, что

∣dnfdzn(0)∣≤2(n!). \left|\frac{d^n f}{dz^n}(0)\right| \leq 2(n!).
Задача 5.3.8

Если ff аналитична в единичном круге и её производная удовлетворяет

∣f′(z)∣≤(1−∣z∣2)−1, \left|f'(z)\right| \leq (1-\left|z\right|^2)^{-1},

покажите, что коэффициенты в разложении

f(z)=∑n=0∞anzn f(z) = \sum _{n=0}^{\infty } a_n z^n

удовлетворяют ∣an∣≤e\left|a_n\right| \leq e при n≥1n \geq 1, где ee — основание натуральных логарифмов.

?
Задача 5.3.9

Пусть f=u+ivf = u+iv — целая функция.

?
(a)

Покажите, что если u2(z)≥v2(z)u^2(z) \geq v^2(z) для всех z∈Cz \in \mathbb {C}, то ff обязательно постоянна.

(b)

Покажите, что если ∣f(z)∣≤A+B∣z∣h\left|f(z)\right| \leq A + B\left|z\right|^h для всех z∈Cz \in \mathbb {C} при некоторых положительных числах A,B,hA, B, h, то f(z)f(z) — многочлен степени, ограниченной hh.

Задача 5.3.10

Пусть ff — целая функция, удовлетворяющая ∣Re(f(z))∣≤∣z∣n\left|\mathrm{Re}\left(f(z)\right)\right| \leq \left|z\right|^n для всех zz, где nn — натуральное число. Покажите, что ff — многочлен степени не выше nn.

?
Задача 5.3.11

Вычислите двойной интеграл

∬Dcos⁡z dx dy \iint _D \cos z\, dx\, dy

где DD — круг {z=x+iy∈C:x2+y2<1}\left\{ z = x+iy \in \mathbb {C} : x^2+y^2 < 1\right\}.

?
Задача 5.3.12

Пусть

f(z)=∑n=0∞anzn f(z) = \sum _{n=0}^{\infty } a_n z^n

аналитична в D={∣z∣<1}D = \left\{ \left|z\right| < 1\right\}, и предположим, что интеграл

A=∬D∣f′(z)∣2 dx dy A = \iint _D \left|f'(z)\right|^2\, dx\, dy

конечен.

?
(a)

Выразите AA через коэффициенты ana_n.

(b)

Докажите, что

∣f(z)−f(0)∣≤Aπlog⁡11−∣z∣2 \left|f(z) - f(0)\right| \leq \sqrt{\frac{A}{\pi } \log \frac{1}{1-\left|z\right|^2}}

для z∈Dz \in D.

Задача 5.3.13

Пусть ff аналитична в {0<∣z∣<1}\left\{ 0 < \left|z\right| < 1\right\} и принадлежит L2L^2 относительно плоской меры Лебега. Является ли 00 устранимой особенностью? Докажите или приведите контрпример.

?
Задача 5.3.14

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

∫02πdθ(ρ−cos⁡θ)2+sin⁡2θ,ρ – положительная константа, \int _0^{2\pi } \frac{d\theta }{(\rho - \cos \theta )^2 + \sin ^2\theta }, \qquad \rho \text{ -- положительная константа},

рассматривая отдельно случаи ρ<1\rho < 1, ρ>1\rho > 1.

?
Задача 5.3.15

Вычислите

∫0πdxa+sin⁡2x,a>1, \int _0^\pi \frac{dx}{a+\sin ^2 x}, \qquad a > 1,

методом вычетов.

?
Задача 5.3.16

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

g(z,θ)=11+z2−2zsin⁡θ. g(z,\theta ) = \frac{1}{1+z^2-2z\sin \theta }.
?
(a)

Используя теорему о вычетах, найдите явную формулу для

f(z)=∫02πg(z,θ) dθ f(z) = \int _0^{2\pi } g(z,\theta )\, d\theta

при ∣z∣<1\left|z\right| < 1.

(b)

Проинтегрируйте почленно разложение Тейлора

g(z,θ)=∑n=0∞an(θ)zn g(z,\theta ) = \sum _{n=0}^{\infty } a_n(\theta ) z^n

чтобы найти коэффициенты в разложении Тейлора

f(z)=∑n=0∞fnzn. f(z) = \sum _{n=0}^{\infty } f_n z^n.
(c)

Проверьте непосредственно, что (a) и (b) согласуются при ∣z∣<1\left|z\right| < 1.

Задача 5.3.17

Если aa вещественно, покажите, что

lim⁡R→∞∫−RRe−(x+ia)2 dx \lim _{R\to \infty } \int _{-R}^{R} e^{-(x+ia)^2}\, dx

существует и не зависит от aa.

?
Задача 5.3.18

Пусть n≥2n \geq 2 — целое число. Вычислите

∫0∞11+xn dx. \int _0^\infty \frac{1}{1+x^n}\, dx.
?
Задача 5.3.19

Вычислите

∫0∞cos⁡(x2) dx \int _0^\infty \cos (x^2)\, dx

с полным обоснованием.

?
Задача 5.3.20

Вычислите

∫0∞sin⁡2xx2 dx. \int _0^\infty \frac{\sin ^2 x}{x^2}\, dx.
?
Задача 5.3.21

Пусть f(z)f(z) голоморфна в единичном круге ∣z∣<1\left|z\right| < 1. Докажите, что

∫01f(x) dx=12πi∫∣z∣=1f(z)log⁡z dz, \int _0^1 f(x)\, dx = \frac{1}{2\pi i} \int _{\left|z\right|=1} f(z) \log z\, dz,

где соответствующие интегрирования идут вдоль прямой от 00 до 11 и вдоль положительно ориентированной единичной окружности, начиная с точки z=1z=1. Ветвь log⁡\log выбрана вещественной при положительных zz.

?
Задача 5.3.22

Найдите значение

∫02πlog⁡∣a+beiϕ∣ dϕ \int _0^{2\pi } \log \left|a+be^{i\phi }\right|\, d\phi

где aa и bb — комплексные константы, не равные одновременно нулю.

?
Задача 5.3.23

Вычислите

∫0∞log⁡x(1+x)3 dx. \int _0^\infty \frac{\log x}{(1+x)^3}\, dx.
?
Задача 5.3.24

Вычислите следующие интегралы:

?
(a)

∫−i∞i∞dz(z2−4)log⁡(z+1)\displaystyle \int_{-i\infty }^{i\infty } \frac{dz}{(z^2-4)\log (z+1)} (интегрирование вдоль мнимой оси),

(b)

∫0∞xαx3+1 dx\displaystyle \int_0^\infty \frac{x^\alpha }{x^3+1}\, dx для α\alpha в диапазоне −1<α<2-1 < \alpha < 2.

Задача 5.3.25

Покажите, что

∫0∞xα(1+x2)2 dx=π(1−α)4cos⁡(πα2), \int _0^\infty \frac{x^\alpha }{(1+x^2)^2}\, dx = \frac{\pi (1-\alpha )}{4\cos \left(\frac{\pi \alpha }{2}\right)},

для −1<α<3-1 < \alpha < 3, α≠1\alpha \neq 1. Что происходит при α=1\alpha = 1?

?
Задача 5.3.26
?
(a)

Докажите, что

∫0∞eixx−α dx \int _0^\infty e^{ix} x^{-\alpha }\, dx

сходится при 0<α<10 < \alpha < 1.

(b)

С помощью комплексного интегрирования покажите, что

∫0∞x−αcos⁡x dx=sin⁡πα2⋅Γ(1−α). \int _0^\infty x^{-\alpha } \cos x\, dx = \sin \frac{\pi \alpha }{2} \cdot \Gamma (1-\alpha ).
Задача 5.3.27

Используя изменение контура, покажите, что

∫0∞cos⁡(αx)x+β dx=∫0∞e−αx(x−β)x2+β2 dx, \int _0^\infty \frac{\cos (\alpha x)}{x+\beta }\, dx = \int _0^\infty \frac{e^{-\alpha x}(x-\beta )}{x^2+\beta ^2}\, dx,

при условии, что α\alpha и β\beta положительны. Определите левую часть как предел собственного интеграла и покажите, что этот предел существует.

?
Задача 5.3.28
?
(a)

Пусть cc — единичная окружность на комплексной плоскости, и пусть ff — непрерывная C\mathbb {C}-значная функция на cc. Покажите, что

Ff(z)=12πi∫cf(ζ)ζ−z dζ F_f(z) = \frac{1}{2\pi i} \int _c \frac{f(\zeta )}{\zeta - z}\, d\zeta

— голоморфная функция zz во внутренности единичного круга.

(b)

Найдите непрерывную ff на cc, не равную тождественно нулю, но такую, что соответствующая функция FfF_f тождественно равна нулю.

Задача 5.3.29

Пусть [a,b][a,b] — конечный интервал в R\mathbb {R}, и определим для zz в D=C−[a,b]D = \mathbb {C} - [a,b]

f(z)=∫abdtt−z. f(z) = \int _a^b \frac{dt}{t-z}.

Покажите, что f(z)f(z) аналитична в DD. При заданном cc, a<c<ba < c < b, вычислите предел f(z)f(z) при стремлении zz к cc из верхней полуплоскости и из нижней полуплоскости.

?
Задача 5.3.30

Для каждого z∈U={z:\imz>0}z \in U = \left\{ z : \im z > 0\right\} определим

g(z)=12πi∫−11sin⁡2tt−z dt. g(z) = \frac{1}{2\pi i} \int _{-1}^{1} \frac{\sin ^2 t}{t-z}\, dt.

Определите, какие точки a∈Ra \in \mathbb {R} обладают следующим свойством: существуют ε>0\varepsilon > 0 и аналитическая функция ff на D(a,ε)D(a,\varepsilon ), такие что f(z)=g(z)f(z) = g(z) для всех z∈U∩D(a,ε)z \in U \cap D(a,\varepsilon ).

?
Задача 5.3.31

Докажите, что существует константа CC, такая что для любого многочлена PP

∫−1212P(x) dx≤C∫∣z∣=1∣P(z)∣⋅∣dz∣. \int _{-\frac12}^{\frac12} P(x)\, dx \leq C \int _{\left|z\right|=1} \left|P(z)\right| \cdot \left|dz\right|.
?
Задача 5.3.32

Пусть p(z)=zn+an−1zn−1+⋯+a1z+a0p(z) = z^n + a_{n-1}z^{n-1} + \cdots + a_1 z + a_0 — комплексный многочлен. Покажите, что обязательно найдётся хотя бы одна точка с ∣z∣=1\left|z\right| = 1 и ∣p(z)∣≥1\left|p(z)\right| \geq 1.

?
Задача 5.3.33

Пусть ff аналитична и абсолютно интегрируема относительно меры Лебега на плоскости dA=dx dydA = dx\, dy в единичном круге Δ\Delta. Докажите, что при a∈Δa \in \Delta

f′(a)=1π∫Δf(z)(1−aˉz)3 dA(z). f'(a) = \frac{1}{\pi } \int _\Delta \frac{f(z)}{(1-\bar a z)^3}\, dA(z).
?
Задача 5.3.34

Если ff аналитична в единичном круге Δ\Delta, непрерывна в \closureΔ\closure \Delta и отображает Δ\Delta в себя, докажите, что для каждой точки a∈Δa \in \Delta

∣f′(a)∣≤6(1+∣a∣)(1−∣a∣)3. \left|f'(a)\right| \leq \frac{6(1+\left|a\right|)}{(1-\left|a\right|)^3}.
?
Задача 5.3.35

Пусть ff голоморфна в окрестности \closureU\closure U, U={z:∣z∣<1}U = \left\{ z : \left|z\right| < 1\right\}. Пусть f(z)=∑k=0∞akzkf(z) = \sum_{k=0}^{\infty } a_k z^k и sn(z)=∑k=0nakzks_n(z) = \sum_{k=0}^{n} a_k z^k. Покажите, что среди всех многочленов PP степени не выше nn интеграл 12π∫02π∣f(eiθ)−P(eiθ)∣2 dθ\dfrac {1}{2\pi }\displaystyle \int_0^{2\pi } \left|f(e^{i\theta }) - P(e^{i\theta })\right|^2\, d\theta достигает минимума при P=snP = s_n.

?
Задача 5.3.36

Пусть ff аналитична в единичном круге DD. Для z∈Dz \in D и 0<r<1−∣z∣0 < r < 1-\left|z\right| пусть B(z,r)={w∈D:∣w−z∣<r}B(z,r) = \left\{ w \in D : \left|w-z\right| < r\right\}. Покажите, что ∣f(z)∣n≤1πr2∫B(z,r)∣f(w)∣n dA(w)\left|f(z)\right|^n \leq \dfrac {1}{\pi r^2}\displaystyle \int_{B(z,r)} \left|f(w)\right|^n\, dA(w), где dA(w)dA(w) — мера площади на DD.

?
Задача 5.3.37

Пусть ff — гладкая ограниченная функция в единичном круге Δ\Delta, и F(z)F(z) задана как

F(z)=1π∬Δf(w)w−z dA(w). F(z) = \frac1\pi \iint _\Delta \frac{f(w)}{w-z}\, dA(w).

Докажите, что F(z)F(z) аналитична вне Δ\Delta и для каждой z∈Δz \in \Delta

∂F∂zˉ=f(z). \frac{\partial F}{\partial \bar z} = f(z).
?
§
Задача 5.4.1

Пусть a∈Ca \in \mathbb {C}, ∣a∣≤1\left|a\right| \leq 1, и рассмотрим многочлен

P(z)=a2+(1−∣a∣2)z−aˉ2z2. P(z) = \frac a2 + (1-\left|a\right|^2) z - \frac{\bar a}2 z^2.

Покажите, что ∣P(z)∣≤1\left|P(z)\right| \leq 1 при ∣z∣≤1\left|z\right| \leq 1.

?
Задача 5.4.2

Пусть ff голоморфна в единичном круге {∣z∣<1}\left\{ \left|z\right| < 1\right\}, непрерывна в {∣z∣≤1}\left\{ \left|z\right| \leq 1\right\}, и ∣f(z)∣=1\left|f(z)\right| = 1 при ∣z∣=1\left|z\right| = 1. Докажите, что ff — рациональная функция.

?
Задача 5.4.3

Пусть ff — непрерывная функция на U={z:∣z∣≤1}U = \left\{ z : \left|z\right| \leq 1\right\}, аналитическая в U∘U^\circ. Если f≡1f \equiv 1 на полуокружности γ={eiθ:0≤θ≤π}\gamma = \left\{ e^{i\theta } : 0 \leq \theta \leq \pi \right\}, докажите, что f≡1f \equiv 1 всюду в UU.

?
Задача 5.4.4

Пусть SS обозначает сектор на комплексной плоскости, заданный как S={z:−π4<arg⁡z<π4}S = \left\{ z : -\frac\pi 4 < \arg z < \frac\pi 4\right\}. Пусть \closureS\closure S обозначает замыкание SS. Пусть ff — непрерывная комплексная функция на \closureS\closure S, голоморфная в SS. Предположим далее

  1. ∣f(z)∣≤1\left|f(z)\right| \leq 1 для всех zz на границе SS;

  2. ∣f(x+iy)∣≤eεx\left|f(x+iy)\right| \leq e^{\varepsilon x} для всех x+iy∈Sx+iy \in S. Докажите, что ∣f(z)∣≤1\left|f(z)\right| \leq 1 для всех z∈Sz \in S.

?
Задача 5.4.5

Пусть KK — компактное связное подмножество C\mathbb {C}, содержащее более одной точки, и пусть ff — взаимно однозначное конформное отображение C∖K\mathbb {C} \setminus K на Δ={z:∣z∣<1}\Delta = \left\{ z : \left|z\right| < 1\right\} с f(∞)=0f(\infty ) = 0. Если pp — многочлен степени nn, такой что ∣p(z)∣≤1\left|p(z)\right| \leq 1 при z∈Kz \in K, докажите, что

∣p(z)∣≤∣f(z)∣−nпри z∈C∖K. \left|p(z)\right| \leq \left|f(z)\right|^{-n} \quad \text{при } z \in \mathbb {C} \setminus K.
?
Задача 5.4.6

Пусть ff и gg (непостоянные функции) аналитичны в области GG и непрерывны на замыкании \closureG\closure G области. Пусть \closureG\closure G компактно. Докажите, что ∣f∣+∣g∣\left|f\right| + \left|g\right| достигает своего максимального значения на границе GG.

?
Задача 5.4.7

Пусть f(z)f(z) — целая функция с

∣f(z)∣≤1∣\rez∣,для всех z с \rez≠0. \left|f(z)\right| \leq \frac{1}{\left|\re z\right|}, \qquad \text{для всех } z \text{ с } \re z \neq 0.

Покажите, что f(z)f(z) тождественно равна 00.

?
Задача 5.4.8

Пусть ff аналитична на {z;0<∣z∣<1}\left\{ z; 0 < \left|z\right| < 1\right\} и

∣f(z)∣≤log⁡1∣z∣. \left|f(z)\right| \leq \log \frac{1}{\left|z\right|}.

Покажите, что f≡0f \equiv 0.

?
Задача 5.4.9

Пусть ff — аналитическая функция на D={z:∣z∣<1}D = \left\{ z : \left|z\right| < 1\right\}, f(D)⊂Df(D) \subset D и f(0)=0f(0) = 0.

?
(a)

Докажите, что ∣f(z)+f(−z)∣≤2∣z∣2\left|f(z) + f(-z)\right| \leq 2\left|z\right|^2 для всех zz в DD, и если равенство достигается для некоторого ненулевого zz в DD, то f(z)=eiαz2f(z) = e^{i\alpha } z^2.

(b)

Докажите, что

∣∫−11f(x) dx∣≤23. \left|\int _{-1}^{1} f(x)\, dx\right| \leq \frac23.
Задача 5.4.10

Если ff аналитична и ∣f(z)∣≤1\left|f(z)\right| \leq 1 на {z:∣z∣<1}\left\{ z : \left|z\right| < 1\right\}, докажите, что f(z)f(z) имеет неподвижную точку.

?
Задача 5.4.11

Пусть f(z)=z+e−zf(z) = z + e^{-z}, A>1A > 1. Докажите или опровергните: f(z)f(z) принимает значение AA ровно один раз в правой полуплоскости. Если ответ положительный, обязательно ли эта точка вещественна? Обоснуйте.

?
Задача 5.4.12

Пусть ff аналитична в области, содержащей замкнутый единичный круг {z:∣z∣≤1}\left\{ z : \left|z\right| \leq 1\right\}. Пусть ff не обращается в нуль на единичной окружности {∣z∣=1}\left\{ \left|z\right| = 1\right\}. Пусть CC обозначает единичную окружность, проходимую против часовой стрелки. Предположим, что

12πi∫Czf′(z)f(z) dz=2. \frac{1}{2\pi i} \int _C \frac{zf'(z)}{f(z)}\, dz = 2.

Найдите расположение нулей ff в открытом единичном круге {z:∣z∣<1}\left\{ z : \left|z\right| < 1\right\}.

?
Задача 5.4.13
?
(a)

Сколько корней имеет уравнение

z4+z+5=0 z^4 + z + 5 = 0

в первой четверти?

(b)

Сколько из них имеют аргумент между π4\frac\pi 4 и π2\frac\pi 2?

Задача 5.4.14

Докажите, что уравнение sin⁡z=z\sin z = z имеет бесконечно много решений в C\mathbb {C}.

?
Задача 5.4.15
?
(a)

Пусть ff — непостоянная аналитическая функция в кольце {1<∣z∣<2}\left\{ 1 < \left|z\right| < 2\right\}, и предположим, что ∣f∣=5\left|f\right| = 5 на границе. Покажите, что ff имеет не менее двух нулей.

(b)

Если ff мероморфна в кольце, остаётся ли утверждение пункта (a) верным?

Задача 5.4.16

Пусть nn — натуральное число, и пусть PP — многочлен точной степени 2n2n:

P(z)=a0+a1z+a2z2+⋯+a2nz2n, P(z) = a_0 + a_1 z + a_2 z^2 + \cdots + a_{2n} z^{2n},

где каждое aj∈Ca_j \in \mathbb {C}, и a2n≠0a_{2n} \neq 0. Пусть не существует вещественного числа xx, такого что P(x)=0P(x) = 0, и пусть

lim⁡r→∞∫−rrP′(x)P(x) dx=0. \lim _{r\to \infty } \int _{-r}^{r} \frac{P'(x)}{P(x)}\, dx = 0.

Докажите, что PP имеет ровно nn корней (с учётом кратности) в открытой верхней полуплоскости {z∈C:\imz>0}\left\{ z \in \mathbb {C} : \im z > 0\right\}.

?
Задача 5.4.17

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

f(z)=1+1z+12!(1z)2+⋯+1n!(1z)n. f(z) = 1 + \frac1z + \frac{1}{2!}\left(\frac1z\right)^2 + \cdots + \frac{1}{n!}\left(\frac1z\right)^n.
?
(a)

Что подсчитывает интеграл

12πi∫∣z∣=rf′(z)f(z) dz \frac{1}{2\pi i} \int _{\left|z\right|=r} \frac{f'(z)}{f(z)}\, dz
(b)

Каково значение этого интеграла при больших nn и фиксированном rr?

(c)

Что это говорит о нулях f(z)f(z) при больших nn?

Задача 5.4.18
?
(a)

Пусть f(z)f(z) аналитична в замкнутом круге ∣z∣≤R\left|z\right| \leq R, и пусть уравнение f(z)=wf(z) = w имеет единственное простое решение z1z_1 в {∣z∣<R}\left\{ \left|z\right| < R\right\}. Покажите, что это решение задаётся формулой

z1=12πi∫∣z∣=Rzf′(z)f(z)−w dz. z_1 = \frac{1}{2\pi i} \int _{\left|z\right|=R} \frac{zf'(z)}{f(z)-w}\, dz.
(b)

Покажите, что при достаточно большом целом nn уравнение

z=1+zn2 z = 1 + \frac{z^n}{2}

имеет ровно одно решение с ∣z∣<2\left|z\right| < 2.

(c)

Если z1z_1 — решение из (b), покажите, что

lim⁡n→∞(z1−1)1/n=12. \lim _{n\to \infty } (z_1-1)^{1/n} = \frac12.
Задача 5.4.19

Пусть

Ω=D(0,1)∖{12,−12}. \Omega = D(0,1) \setminus \left\{ \frac12, -\frac12\right\} .

Найдите все аналитические функции f:Ω→Ωf : \Omega \to \Omega со следующим свойством: если γ\gamma — любой цикл в Ω\Omega, не гомологичный нулю (по модулю Ω\Omega), то f∗γf * \gamma также не гомологичен нулю (по модулю Ω\Omega).

?
Задача 5.4.20

Пусть f(z)f(z) — голоморфная функция на {∣z∣<1}\left\{ \left|z\right| < 1\right\}, непрерывная вплоть до {∣z∣≤1}\left\{ \left|z\right| \leq 1\right\}. Пусть MM — супремум ∣f∣\left|f\right| на {∣z∣≤1}\left\{ \left|z\right| \leq 1\right\}. Пусть LL — пересечение {∣z∣≤1}\left\{ \left|z\right| \leq 1\right\} и {\rez=0}\left\{ \re z = 0\right\}. Пусть mm — супремум ∣f∣\left|f\right| на LL. Покажите, что

∣f(0)∣3≤mM2. \left|f(0)\right|^3 \leq mM^2.
?
Задача 5.4.21

Если f:D→Cf : D \to \mathbb {C}, где D={z∈C:∣z∣<1}D = \left\{ z \in \mathbb {C} : \left|z\right| < 1\right\}, — ограниченная аналитическая функция, покажите, что

sup⁡z∈D{(1−∣z∣2)∣f′(z)∣}≤sup⁡z∈D{∣f(z)∣}. \sup _{z\in D}\left\{ (1-\left|z\right|^2)\left|f'(z)\right|\right\} \leq \sup _{z\in D}\left\{ \left|f(z)\right|\right\} .
?
Задача 5.4.22

Пусть ff — ограниченная аналитическая функция в правой полуплоскости. Докажите, что если f(n)=0f(n) = 0 для n=1,2,3,…n = 1,2,3,\ldots, то f≡0f \equiv 0.

?
Задача 5.4.23

Пусть ff и gg аналитичны на области Ω\Omega и непрерывны на Ω∪∂Ω\Omega \cup \partial \Omega. Если ∣f(z)+g(z)∣<∣f(z)∣+∣g(z)∣\left|f(z)+g(z)\right| < \left|f(z)\right|+\left|g(z)\right| на ∂Ω\partial \Omega, докажите, что ff и gg имеют одинаковое число нулей в Ω\Omega, с учётом кратности.

?
§
Задача 5.5.1

Пусть

f(z)=∑n=0∞anzn f(z) = \sum _{n=0}^{\infty } a_n z^n

имеет радиус сходимости rr, и пусть функция f(z)f(z), к которой он сходится, имеет ровно одну особую точку z0z_0 на ∣z∣=r\left|z\right| = r, являющуюся простым полюсом. Докажите, что

lim⁡n→∞anan+1=z0. \lim _{n\to \infty } \frac{a_n}{a_{n+1}} = z_0.
?
Задача 5.5.2
?
(a)

Покажите, что ряд

∑n≥1ann \sum _{n\geq 1} \frac{a^n}{n}

сходится для a∈Ca \in \mathbb {C} с a≠1a \neq 1, ∣a∣=1\left|a\right| = 1.

(b)

Покажите, что этот ряд сходится к −log⁡(1−a)-\log (1-a) для такого aa.

Задача 5.5.3

Рассмотрим степенной ряд

∑n=1∞zn!. \sum _{n=1}^{\infty } z^{n!}.

Покажите, что этот ряд сходится к голоморфной функции на открытом единичном круге с центром в начале координат. Докажите, что граница круга является естественной границей этой функции.

?
Задача 5.5.4

Пусть ff аналитична в U={∣z∣<1}U = \left\{ \left|z\right|<1\right\}, f(0)=0f(0)=0 и ∣f(z)∣<1\left|f(z)\right|<1 для всех z∈Uz \in U. Если последовательность {fn}\left\{ f_n\right\} определена композицией

fn(z)=f(f(⋯f(z))⋯ )⏟n f_n(z) = \underbrace{f(f(\cdots f(z))\cdots )}_{n}

и

fn(z)→g(z) f_n(z) \to g(z)

для всех z∈Uz \in U, докажите, что либо g(z)≡0g(z) \equiv 0, либо g(z)≡zg(z) \equiv z.

?
Задача 5.5.5

Пусть {fn}\left\{ f_n\right\} — последовательность аналитических функций в области DD, сходящаяся равномерно на компактных подмножествах DD к функции ff на DD.

?
(a)

Докажите, что если fn(z)≠0f_n(z) \neq 0 для всех n≥1n\geq 1 и z∈Dz \in D, то либо ff тождественно равна нулю в DD, либо f(z)≠0f(z)\neq 0 для всех z∈Dz \in D.

(b)

Если каждая fnf_n взаимно однозначна на DD, покажите, что ff либо постоянна, либо взаимно однозначна на DD.

Задача 5.5.6

Пусть D⊂CD \subset \mathbb {C} — ограниченная область, и пусть {fn}\left\{ f_n\right\} — последовательность аналитических автоморфизмов DD, такая что

lim⁡n→∞fn(a)=b∈∂D \lim _{n\to \infty } f_n(a) = b \in \partial D

для некоторой точки a∈Da \in D. Докажите, что

lim⁡n→∞fn(z)=b \lim _{n\to \infty } f_n(z) = b

для каждой z∈Dz \in D.

?
Задача 5.5.7

Какие из следующих семейств нормальны, а какое компактно? Обоснуйте свои ответы.

?
(a)

F={f:f аналитична в D, f(0)=0, diam⁡f(D)≤2}\mathcal F = \left\{ f : f \text{ аналитична в } D, \ f(0)=0, \ \operatorname {diam} f(D) \leq 2\right\}

(b)

G={g:g аналитична в D, g(0)=1, \re{g}>0, diam⁡g(D)≥1}\mathcal G = \left\{ g : g \text{ аналитична в } D, \ g(0)=1, \ \re \left\{ g\right\} > 0, \ \operatorname {diam} g(D) \geq 1\right\}.

Здесь диаметр множества SS есть diam⁡S=sup⁡{∣z−ζ∣:z,ζ∈S}\operatorname {diam} S = \sup \left\{ \left|z-\zeta \right| : z,\zeta \in S\right\}.

Задача 5.5.8

Пусть 1<p<∞1<p<\infty и c>0c>0 — вещественное число. Пусть F\mathcal F — множество всех аналитических функций ff на {∣z∣<1}\left\{ \left|z\right|<1\right\}, таких что

sup⁡0<r<1∫02π∣f(reiθ)∣p dθ≤c. \sup _{0<r<1} \int _0^{2\pi } \left|f(re^{i\theta })\right|^p\, d\theta \leq c.

Покажите, что F\mathcal F — нормальное семейство.

?
Задача 5.5.9
?
(a)

Пусть ff голоморфна при ∣z∣<R\left|z\right|<R и удовлетворяет f(0)=0f(0)=0, f′(0)≠0f'(0)\neq 0, f(z)≠0f(z)\neq 0 при 0<∣z∣<r<R0<\left|z\right|<r<R. Пусть CC — окружность ∣z∣=ρ\left|z\right|=\rho, где ρ<r\rho <r. Покажите, что

g(w)=12πi∫Ctf′(t) dtf(t)−w g(w) = \frac{1}{2\pi i}\int _C \frac{tf'(t)\, dt}{f(t)-w}

задаёт голоморфную функцию ww при

∣w∣<m=min⁡∣z∣=ρ∣f(ρeiθ)∣ \left|w\right| < m = \min _{\left|z\right|=\rho } \left|f(\rho e^{i\theta })\right|

и что z=g(w)z=g(w) — единственное решение f(z)=wf(z)=w, стремящееся к нулю вместе с ww.

(b)

Найдите разложение Тейлора g(w)g(w) и примените его, чтобы найти явное разложение в ряд для корня уравнения

z3+3z−w=0 z^3 + 3z - w = 0

стремящегося к нулю вместе с ww.

Задача 5.5.10

Найдите явную формулу для мероморфной функции ff, единственными особенностями которой являются простые полюсы в −1,−2,−3,…-1,-2,-3,\ldots с вычетом nn в точке z=−nz=-n. Подробно докажите, что ваша функция обладает всеми требуемыми свойствами.

?
Задача 5.5.11
?
(a)

Существует ли последовательность многочленов {Pn}\left\{ P_n\right\}, такая что Pn(z)→1z2P_n(z) \to \dfrac 1{z^2} равномерно на кольце 1≤∣z∣≤21 \leq \left|z\right| \leq 2? Если да, дайте явную формулу для PnP_n; если нет, объясните почему.

(b)

Существует ли целая функция gg, множество нулей которой есть {n(1+i):n=0,1,2,3,…}\left\{ \sqrt n(1+i) : n=0,1,2,3,\ldots \right\}? Если да, дайте явную формулу для gg; если нет, объясните почему.

Задача 5.5.12

Определите, верно или неверно следующее утверждение, и докажите своё заключение.

Для каждого натурального nn существует целая функция fnf_n, такая что

max⁡1≤∣z∣≤2∣\refn(z)−log⁡∣z∣∣<1n. \max _{1\leq \left|z\right|\leq 2} \left|\re f_n(z) - \log \left|z\right|\right| < \frac1n.
?
Задача 5.5.13

Пусть G=D∖(−1,0]G = D \setminus (-1,0], где D={z:∣z∣<1}D = \left\{ z:\left|z\right|<1\right\}.

?
(a)

Дайте однозначное определение ziz^i в GG.

(b)

Почему должна существовать последовательность многочленов PnP_n, такая что

lim⁡n→∞Pn(z)=zi \lim _{n\to \infty } P_n(z) = z^i

для всех zz в GG?

(c)

Можно ли выбрать многочлены так, чтобы существовала константа MM с ∣Pn(z)∣≤M\left|P_n(z)\right|\leq M для всех z∈Gz \in G и всех nn? Обоснуйте ответ.

Задача 5.5.14
?
(a)

Докажите, что

π2sin⁡2πz=∑n=−∞∞1(z−n)2. \frac{\pi ^2}{\sin ^2\pi z} = \sum _{n=-\infty }^{\infty } \frac{1}{(z-n)^2}.
(b)

Используя это, покажите, что

πcot⁡πz=1z+∑n=1∞2zz2−n2. \pi \cot \pi z = \frac1z + \sum _{n=1}^{\infty } \frac{2z}{z^2-n^2}.

Обоснуйте свои шаги.

(c)

Разложите πcot⁡πz\pi \cot \pi z в ряд Лорана вокруг начала координат непосредственно и с помощью (b), с достаточным числом членов, чтобы найти значения ∑n=1∞1n2\sum_{n=1}^{\infty } \frac{1}{n^2} и ∑n=1∞1n4\sum_{n=1}^{\infty } \frac{1}{n^4}.

Задача 5.5.15

Пусть z1,…,znz_1,\ldots ,z_n — различные комплексные числа. Пусть ff и gg — многочлены, ff степени ≤n−2\leq n-2 и

g(z)=(z−z1)⋯(z−zn). g(z) = (z-z_1)\cdots (z-z_n).
?
(a)

Покажите, что

∑j=1nf(zj)g′(zj)=0. \sum _{j=1}^{n} \frac{f(z_j)}{g'(z_j)} = 0.
(b)

Покажите, что существует многочлен степени ≤n−2\leq n-2 с f(zj)=ajf(z_j) = a_j тогда и только тогда, когда ∑j=1najg’(zj)=0\sum_{j=1}^n \dfrac {a_j}{g’(z_j)} = 0.

(c)

Дана последовательность комплексных чисел z1,z2,…z_1,z_2,\ldots, такая что ∣zn∣→∞\left|z_n\right|\to \infty; существует ли целая функция ff с f(zj)=ajf(z_j)=a_j? Можете ли вы записать эту функцию явно?

Задача 5.5.16

При ∣an∣<1\left|a_n\right|<1,

f(z)=∏n=1∞an−z1−aˉnz. f(z) = \prod _{n=1}^{\infty } \frac{a_n-z}{1-\bar a_n z}.
?
(a)

Покажите, что ff задаёт голоморфную функцию на D={z:∣z∣<1}D = \left\{ z : \left|z\right|<1\right\}.

(b)

Докажите, что ff не допускает аналитического продолжения ни на какой больший круг {z:∣z∣<r}\left\{ z:\left|z\right|<r\right\}, где r>1r>1.

Задача 5.5.17

Пусть ff голоморфна в окрестности 00, и пусть ряд ∑k=0∞f(k)(0)\sum_{k=0}^{\infty } f^{(k)}(0) сходится. Покажите, что ff можно продолжить до целой функции.

?
Задача 5.5.18

Пусть F\mathcal F обозначает семейство функций f(z)=∑n=0∞anznf(z) = \sum_{n=0}^{\infty } a_n z^n, голоморфных в единичном круге DD и удовлетворяющих ∣an∣≤n\left|a_n\right| \leq n при n=0,1,2,…n=0,1,2,\ldots. Докажите, что любая последовательность в F\mathcal F имеет подпоследовательность, сходящуюся равномерно на компактных подмножествах DD.

?
Задача 5.5.19

Пусть f(z)f(z) — ограниченная аналитическая функция на открытой правой полуплоскости {z=x+iy:x>0}\left\{ z=x+iy:x>0\right\}, такая что f(z)→0f(z) \to 0 при стремлении zz к 00 вдоль положительной вещественной полуоси. Докажите, что f(z)→0f(z) \to 0 при z→0z\to 0 равномерно в секторе ∣arg⁡z∣≤∣θ∣0<π2\left|\arg z\right| \leq \left|\theta \right|_0 < \frac\pi 2.

?
Задача 5.5.20

Пусть DD — область (связное открытое множество) в C\mathbb {C}, и пусть {un}\left\{ u_n\right\} — последовательность гармонических функций un:D→(0,+∞)u_n : D \to (0,+\infty ). Покажите, что если un(z0)→0u_n(z_0) \to 0 для некоторой z0∈Dz_0 \in D, то un→0u_n \to 0 равномерно на компактных подмножествах DD.

?