Теории функций комплексного переменного
Выбери формат для чтения
Загружаем конспект в формате pdf
Это займет всего пару минут! А пока ты можешь прочитать работу в формате Word 👇
МИНИСТЕРСТВО ОБЩЕГО И
ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ
РОССИЙСКОЙ ФЕДЕРАЦИИ
ВОЛГОГРАДСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ
ВОЛЖСКИЙ ГУМАНИТАРНЫЙ ИНСТИТУТ
В.В. Горяйнов
Курс лекций
по теории функций
комплексного переменного
Волгоград 1998
ББК 22.161.5
Г 71
Рецензенты: доктор физ.-мат. наук, профессор В.М. Миклюков, доктор физ.-мат. наук, профессор Д.В. Прохоров, кандидат физ.-мат. наук, доцент В.А. Ботвинник
Печатается по решению учебно-методической комиссии ВГИ
ВолГУ
Г 71
Горяйнов В.В. Курс лекций по теории функций
комплексного переменного.– Волгоград: Издательство Волгоградского государственного университета,
1998.-124 с.
ISBN 5-85534-147-X
Пособие содержит курс лекций по теории аналитических
функций для студентов университетов математических специальностей.
Систематическое использование понятия индекса точки
относительно замкнутой кривой делает изложение более строгим и позволяет дать более наглядную трактовку основным
принципам теории.
Может быть использовано преподавателями в формировании курсов лекций и в методической работе.
ISBN 5-85534-147-X
c В.В.Горяйнов, 1998
°
c Издательство Волгоградского госу°
дарственного университета, 1998
Введение
Настоящий курс лекций рассчитан на 70 лекционных часов. Он
неоднократно читался в Донецком государственном университете и
Волжском гуманитарном институте ВолГУ. Мотивом к его написанию было желание изложить достаточно лаконично доказательства
основных теорем теории аналитических функций, не используя традиционные нечеткие геометрические описания, которые существенно снижают уровень строгости рассуждений. Как правило, уровень
строгости изложения теории аналитических функций определяется
доказательством теоремы Коши. По существу, в этой теореме требуется осуществить переход от локального результата к глобальному.
Поэтому на первый план выступают топологические рассмотрения. В
данном пособии необходимые рассуждения проводятся на основе понятия индекса точки относительно замкнутой кривой. В значительной
мере эти рассуждения являются обработкой изложения из монографии Л.Альфорса, влияние которой можно заметить на протяжении
всего курса. Понятие индекса делает также более наглядными доказательства принципа аргумента и теорем о локальных свойствах
аналитических функций. При изучении локально равномерной сходимости последовательностей аналитических функций используются
некоторые результаты из курса функционального анализа. В частности, теорема Арцела позволяет значительно сократить доказательство
принципа компактности Монтеля.
Считаю своим приятным долгом выразить искреннюю благодарность А.А.Полковникову, который взял на себя труд по редактированию и оформлению этого пособия. Автор будет также признателен
всем за критические замечания относительно данного курса лекций.
5
Глава I
Комплексные числа и функции
§ 1.
Алгебра комплексных чисел
Из элементарной алгебры уже известны такие понятия, как мнимая единица i, удовлетворяющая условию i2 = −1, и комплексное
число α + iβ = a. К такой записи комплексных чисел приводит желание расширить поле R вещественных чисел решением уравнения
x2 + 1 = 0. Дополняя R числом i и выполняя произвольно операции
сложения и умножения (при этом мы считаем, что арифметические
операции над комплексными числами подчиняются тем же законам,
что и над вещественными числами), мы получаем выражения вида
α + iβ, где α, β ∈ R. Легко проверяется, что и операция деления (когда знаменатель отличен от нуля) разрешима в множестве чисел с
такой записью. Кроме того, если предположить, что α + iβ и α0 + iβ 0
выражают одно и то же комплексное число, то
(α − α0 ) = i(β 0 − β)
(α − α0 )2 = −(β 0 − β)2 ,
и
что влечет за собой равенства α = α0 , β = β 0 .
Итак, под комплексным числом мы понимаем выражение a =
α + iβ, где α ∈ R называется вещественной частью числа a и
обозначается Re a, а β ∈ R — мнимой частью и обозначается Im a.
Равенство комплексных чисел означает одновременное равенство их
вещественных и мнимых частей. Совокупность всех комплексных чисел образует, как и R, поле и обозначается C.
Под комплексным сопряжением понимается преобразование, которое каждому a = α + iβ ∈ C ставит в соответствие сопряженное
число a = α − iβ. Комплексное сопряжение является инволюцией, что
6
§ 1.
Алгебра комплексных чисел
7
выражается равенством:
a = a.
Вещественная и мнимая части комплексного числа a алгебраически выражаются через a и a :
Re a =
a+a
,
2
Im a =
a−a
.
2i
Фундаментальным свойством сопряжения является то, что
a + b = a + b,
ab = a b.
Поскольку частное a/b является решением уравнения z b = a и z b = a
(в силу второго равенства), то
Ã
!
a
a
=
.
b
b
Более того, если R(a, b, . . .) — рациональное выражение, составленное
из комплексных чисел a, b, . . . , то
R(a, b, . . .) = R(a, b, . . .).
Отсюда сразу же следует, что если ζ — корень уравнения
c0 z n + c1 z n−1 + · · · + cn−1 z + cn = 0,
то ζ — корень уравнения
c0 z n + c1 z n−1 + · · · + cn−1 z + cn = 0.
В частности, если коэффициенты вещественны, то ζ и ζ являются
корнями одновременно.
Заметим теперь, что произведение aa = α2 + β 2 всегда положительно или нуль. Его неотрицательный квадратный корень называется модулем , или абсолютной величиной комплексного числа a, и
обозначается |a|. Отметим основные свойства модуля. Из определения
следует, что aa = |a|2 и |a| = |a|. Для произведения получаем
|ab|2 = ab ab = a b a b = |a|2 · |b|2
8
Глава I .
Комплексные числа и функции
и, следовательно,
|ab| = |a| · |b|.
Если b 6= 0, то для частного a/b, выполняя очевидные преобразования
b (a/b) = a ⇒ |b| ·
получаем
¯ ¯
¯a¯
¯ ¯
¯ ¯
¯b¯
¯ ¯
¯a¯
¯ ¯
¯ ¯
¯b¯
= |a|,
|a|
.
|b|
Отметим теперь некоторые неравенства, которые постоянно используются в комплексном анализе. При этом нужно иметь в виду, что
множество комплексных чисел не упорядочено. Поэтому все неравенства должны быть между вещественными числами.
Из определения модуля сразу же следуют неравенства:
=
−|a| ≤ Re a ≤ |a|,
−|a| ≤ Im a ≤ |a|.
Равенство Re a = |a| имеет место в том и только в том случае, если
a вещественно и ≥ 0. Далее
|a + b|2 = |a|2 + |b|2 + 2 Re ab ≤ |a|2 + |b|2 + 2|a||b| = (|a| + |b|)2 ,
и мы получаем неравенство треугольника :
|a + b| ≤ |a| + |b|.
Из хода доказательства видно, что равенство в нем достигается в том
и только в том случае, если ab ≥ 0.
Применяя неравенство треугольника, получаем также:
|a| = |(a − b) + b| ≤ |a − b| + |b|
⇔
|a| − |b| ≤ |a − b|.
Аналогично получается неравенство |b| − |a| ≤ |a − b|. Это вместе с
предыдущим дает:
¯
¯
¯
¯
¯|a| − |b|¯ ≤ |a − b|.
¯
¯
В заключение докажем комплексный вариант неравенства Коши:
¯
¯2
¯ n
¯
¯X
¯
¯
ai bi ¯¯
¯
¯i=1
¯
≤
n
X
i=1
|ai |
n
2 X
i=1
2
|bi |
.
§ 1.
Алгебра комплексных чисел
9
Для его доказательства заметим, что для любого λ ∈ C
0≤
n
X
2
|ai − λbi | =
i=1
n
X
|ai |2 + |λ|
n
2X
i=1
Полагая здесь
λ=
n
X
i=1
ai bi /
i=1
n
X
|bi |2 − 2 Re λ
|bi |
2
n
X
i=1
a i bi
,
i=1
получаем требуемое.
Упражнения
1. Вычислить значения (1 + i)n + (1 − 1)n .
2. Если z = x + iy, найдите вещественные и мнимые части выражений:
1
z−1
1
z4,
,
,
.
z
z+1
z2
3. Покажите, что
√ 3
3
−1
±
i
= 1.
2
4. Докажите тождество:
|a + b|2 + |a − b|2 = 2(|a|2 + |b|2 ).
5. Найдите абсолютные величины чисел
−2i(3 + i)(2 + 4i)(1 + i),
6. Докажите, что
¯
¯
¯ a−b ¯
¯
¯
¯
¯
¯ 1 − ab ¯
(3 + 4i)(−1 + 2i)
.
(−1 − i)(3 − i)
= 1,
если либо |a| = 1, либо |b| = 1.
7. Найдите условия, при которых в неравенстве Коши достигается
равенство.
8. Докажите, что
если |a| < 1 и |b| < 1.
¯
¯
¯ a−b ¯
¯
¯
¯
¯
¯ 1 − ab ¯
< 1,
10
§ 2.
Глава I .
Комплексные числа и функции
Геометрическое представление комплексных чисел
В координатной плоскости комплексное число a = α + iβ можно
интерпретировать либо как точку с координатами (α, β), либо как
вектор, выходящий из начала координат в эту точку. Саму плоскость
в этом случае будем называть комплексной плоскостью.
Сложение комплексных чисел вполне согласуется с векторным
сложением. Кроме того, простое геометрическое содержание получают модуль комплексного числа |a|, тождество |a + b|2 + |a − b|2 =
2(|a|2 + |b|2 ) и неравенство |a + b| ≤ |a| + |b|.
Точка a и ее комплексное сопряжение a симметричны относительно вещественной оси. Точка, симметричная к a относительно
мнимой оси, выражается в комплексной записи как −a. Это является
основой для аналитической записи симметрии относительно прямых.
Легко выражается аналитически и симметрия относительно окружности. Для этого, а также для геометрической интерпретации произведения комплексных чисел, удобно ввести полярные координаты.
Если (r, ϕ) — полярные координаты точки (α, β), то α =
r cos ϕ, β = r sin ϕ. Это приводит нас к тригонометрической форме комплексного числа:
a = α + iβ = r(cos ϕ + i sin ϕ).
При этом r = |a|, а полярный угол ϕ называется аргументом комплексного числа и обозначается arg a.
Рассмотрим два комплексных числа a1 = r1 (cos ϕ1 + i sin ϕ1 ) и
a2 = r2 (cos ϕ2 + i sin ϕ2 ). Их произведение записывается в виде
a1 a2 = r1 r2 [(cos ϕ1 cos ϕ2 − sin ϕ1 sin ϕ2 ) + i(sin ϕ1 cos ϕ2 + cos ϕ1 sin ϕ2 )].
Используя теперь теоремы косинусов и синусов суммы углов, получаем:
a1 a2 = r1 r2 [cos(ϕ1 + ϕ2 ) + i sin(ϕ1 + ϕ2 )].
Это равенство приводит к правилу:
Аргумент произведения равен
сумме аргументов сомножителей
§ 2.
Геометрическое представление комплексных чисел
11
В этом правиле заложена некоторая условность, которая со временем все больше и больше себя проявляет. По существу, в наших
рассмотрениях соотношение arg(a1 a2 ) = arg a1 + arg a2 выражает скорее равенство углов, чем равенство чисел. Значение arg a определяется, вообще говоря, неоднозначно. К этому вопросу нам придется
неоднократно возвращаться. Пусть a = r(cos ϕ + i sin ϕ) 6= 0. Тогда
1
1
1
1
1
= ·
= (cos ϕ − i sin ϕ) = [cos(−ϕ) + i sin(−ϕ)].
a
r cos ϕ + i sin ϕ
r
r
Применяя теперь правило для произведения, получаем:
При делении комплексных чисел
аргументы вычитаются
Заметим, что для нуля аргумент не определен вовсе. Легко видеть, что a и 1/a являются точками, симметричными относительно
единичной окружности. Эффективность тригонометрической записи
комплексных чисел особенно проявляется при исследовании биномиального уравнения z n = a. Из правил умножения сразу же получаем
для z = ρ(cos θ + i sin θ) :
z n = ρn (cos nθ + i sin θ).
В случае ρ = 1 эта формула носит имя Муавра. Таким образом, уравнение z n = a = r(cos ϕ + i sin ϕ) полностью эквивалентно равенствам:
ρn = r,
nθ = ϕ + 2kπ,
k ∈ Z.
Это позволяет все решения уравнения z n = a записать формулой:
z=
√
n
"
Ã
!
Ã
2π
ϕ
2π
ϕ
+k
+ i sin
+k
r cos
n
n
n
n
!#
,
k = 0, 1, . . . , n − 1. Это — все корни n-й степени из числа a 6= 0. Они
имеют один и тот же модуль, а их аргументы равномерно распределены.
В частности, при a = 1 получаем корни из единицы:
1, w, . . . , wn−1 ,
12
Глава I .
где
w = cos
Комплексные числа и функции
2π
2π
+ i sin .
n
n
Аналитическая геометрия. В классической аналитической геометрии геометрическое место точек выражается в виде соотношений
между x и y. Их легко перевести в термины z и z. При этом нужно
помнить, что комплексное уравнение обычно эквивалентно двум вещественным, и при выделении кривой они должны выражать одно и
то же.
Например, уравнение окружности |z − a| = r в алгебраической
форме может быть записано в виде (z − a)(z − a) = r2 . То, что это
уравнение инвариантно при комплексном сопряжении, указывает на
факт представления вещественного уравнения.
Прямая в комплексной плоскости задается параметрическим
уравнением z = a + bt, где a и b 6= 0 — комплексные числа, а параметр t пробегает все вещественные числа. Два уравнения z = a + bt
и z = a0 + b0 t представляют одну и ту же прямую в том и только
в том случае, когда a0 − a и b0 отличаются от b только вещественными множителями. Направление прямой можно идентифицировать
с arg b. Угол между прямыми z = a + bt и z = a0 + b0 t выражается
числом arg b0 /b (он зависит от порядка перечисления прямых). Ортогональность прямых эквивалентна тому, что b0 /b чисто мнимое.
Неравенство |z − a| < r описывает внутренность круга. Аналогично, прямая z = a + bt определяет правую полуплоскость неравенством Im{(z − a)/b} < 0 и левую полуплоскость неравенством
Im{(z − a)/b} > 0.
Стереографическая проекция. По разным причинам полезно расширение системы C комплексных чисел введением бесконечно удаленной точки ∞. Ее связь с конечными числами выражается соотношениями a+∞ = ∞+a = ∞ для конечных a и b·∞ = ∞·b = ∞ для всех
b 6= 0, включая b = ∞. Однако невозможно определить ∞ + ∞ и 0 · ∞
без потери правил арифметики. Тем не менее специально выделяются
случаи a/0 = ∞ для a 6= 0 и b/∞ = 0 при b 6= ∞.
Наглядным пополнение плоскости C до C = C∪∞ становится при
стереографической проекции. Для этого рассмотрим сферу S, которая
§ 2.
Геометрическое представление комплексных чисел
13
в трехмерном пространстве задается уравнением x21 + x22 + x23 = 1. С
каждой точкой на сфере S, исключая (0,0,1), можно ассоциировать
комплексное число
x1 + ix2
z=
.
1 − x3
Это — взаимно однозначное соответствие. Действительно,
x21 + x22
1 + x3
|z| =
=
(1 − x3 )2
1 − x3
2
и, следовательно,
|z|2 − 1
x3 = 2
.
|z| + 1
Дальнейшие вычисления дают
z−z
z+z
,
x
=
.
x1 =
2
1 + |z|2
i(1 + |z|2 )
Это отображение дополняется соответствием (0, 0, 1) → ∞. Заметим,
что полусфера x3 < 0 соответствует кругу |z| < 1 и полусфера x3 > 0
— внешности |z| > 1.
Геометрически очевидно, что стереографическая проекция преобразует каждую окружность на сфере в окружность или прямую в
z-плоскости. Для доказательства этого заметим, что окружность на
сфере лежит в плоскости α1 x1 + α2 x2 + α3 x3 = α0 , где можно считать
α12 + α22 + α32 = 1 и 0 ≤ α0 < 1. В терминах z и z это уравнение
принимает вид:
α1 (z + z) − α2 i(z − z) + α3 (|z|2 − 1) = α0 (|z|2 + 1),
или, если z = x + iy, в виде
(α0 − α3 )(x2 + y 2 ) − 2α1 x − 2α2 y + α0 + α3 = 0.
При α0 6= α3 это уравнение задает окружность, а при α0 = α3 —
прямую.
Сферическая метрика. Можно в комплексной плоскости ввести
расстояние d(z, z 0 ), которое выражало бы евклидово расстояние между их образами на сфере Римана. Если (x1 , x2 , x3 ) и (x01 , x02 , x03 ) — соответствующие точки на сфере S, то
(x1 − x01 )2 + (x2 − x02 )2 + (x3 − x03 )2 = 2 − 2(x1 x01 + x2 x02 + x3 x03 ).
14
Глава I .
Комплексные числа и функции
Из формул, связывающих точки плоскости и точки сферы, получаем:
x1 x01 + x2 x02 + x3 x03 =
(z + z)(z 0 + z 0 ) − (z − z)(z 0 − z 0 ) + (|z|2 − 1)(|z 0 |2 − 1)
=
=
(1 + |z|2 )(1 + |z 0 |2 )
(1 + |z|2 )(1 + |z 0 |2 ) − 2|z − z 0 |2
.
=
(1 + |z|2 )(1 + |z 0 |2 )
Следовательно,
d(z, z 0 ) =
2|z − z 0 |
.
(1 + |z|2 )(1 + |z 0 |2 )
q
При z 0 = ∞ формула принимает вид:
d(z, ∞) =
2
.
1 + |z|2
q
Упражнения
1. Найдите точки, симметричные к a относительно биссектрис углов, образованных координатными осями.
2. Докажите, что точки a1 , a2 , a3 являются вершинами равностороннего треугольника в том и только в том случае, если a21 +a22 +a33 =
a1 a2 + a2 a3 + a3 a1 .
3. Допустим, что a и b — две вершины квадрата. Найдите две другие вершины во всех возможных вариантах.
4. Упростите выражения 1 + cos ϕ + . . . + cos nϕ и sin ϕ + sin 2ϕ +
. . . + sin nϕ.
5. Найдите центр и радиус окружности, проходящей через точки
a1 , a2 , a3 .
6. Запишите уравнения эллипса, гиперболы и параболы в комплексной форме.
7. Докажите, что все окружности, проходящие через a и 1/a, пересекают окружность |z| = 1 под прямым углом.
§ 3.
Комплексная дифференцируемость
§ 3.
Комплексная дифференцируемость
15
Теория функций комплексного переменного расширяет исчисление на комплексную область. При этом и дифференцирование и интегрирование приобретают некоторое новое значение. Кроме того,
область применения их существенно сужается и приводит к классу аналитических или голоморфных функций.
В основном мы будем придерживаться традиционного понимания функции как отображения одного множества комплексных чисел
в другое. В таком представлении функция должна быть однозначной. Хотя более глубокое проникновение в природу аналитических
функций заставляет нас отступить от однозначности.
Определение.
Говорят, что функция f (z) имеет предел A при z → a и пишут
lim f (z) = A,
z→a
(1)
если
∀ε > 0
∃δ > 0 : |f (z) − A| < ε при 0 < |z − a| < δ.
Формулировка легко видоизменяется для случая, когда a =
∞ или A = ∞ (или оба вместе). Например, при a = ∞ нужно писать |z| > R вместо 0 < |z − a| < δ.
Хорошо известные из вещественного анализа результаты, касающиеся предела суммы, произведения и частного остаются верными
и в комплексном анализе. Действительно, их доказательства основываются только на свойствах модуля:
|ab| = |a| |b|
и
|a + b| ≤ |a| + |b|.
Заметим также, что условие (1) эквивалентно
lim f (z) = A.
z→a
Из (1) и (2) следуют также соотношения:
lim Re f (z) = Re A,
z→a
lim Im F (z) = Im A.
z→a
(2)
16
Глава I .
Комплексные числа и функции
Обратно, если выполнены последние соотношения, то выполняются
и (1), (2). Функция f (z) называется непрерывной в точке a, если
limz→a f (z) = f (a). Термин непрерывная функция будем применять в
случае, когда f непрерывна во всех точках, где она определена.
Сумма f (z) + g(z) и произведение f (z)g(z) двух непрерывных
функций являются непрерывными; частное f (z)/g(z) определено и
непрерывно в a, если g(a) 6= 0. Кроме того, если f (z) непрерывна,
то таковыми являются Re f (z), Im f (z) и |f (z)|.
Производная функции определяется как предел отношения приращений независимой и зависимой переменных. Таким образом, по
форме комплексное дифференцирование вполне аналогично вещественному:
f (z) − f (a)
f 0 (a) = z→a
lim
.
z−a
Это определение и совпадение правил арифметики комплексных и
вещественных чисел показывают, что обычные правила дифференцирования суммы, произведения и частного выполняются и в комплексном случае. Выполняется также правило дифференцирования сложной функции.
Однако, в отличие от понятия непрерывности, которое сводится просто к непрерывности вещественной и мнимой частей, условие дифференцируемости влечет совершенно неожиданные свойства
функции.
Теорема 1. Для дифференцируемости функции w = f (z) = u(x, y) +
iv(x, y) в точке z в комплексном смысле необходимо и достаточно, чтобы она была дифференцируема в вещественном смысле (т.е.
дифференцируемы функции u(x, y) и v(x, y)) и выполнялись соотношения:
∂v
∂u
∂v
∂u
=
,
=− .
(3)
∂x
∂y
∂y
∂x
Доказательство. Вещественная дифференцируемость функции f в
точке z = x + iy означает представление приращений:
u(x + ξ, y + η) − u(x, y) = u0x ξ + u0y η + o(|ζ|),
v(x + ξ, y + η) − v(x, y) = vx0 ξ + vy0 η + o(|ζ|),
§ 3.
Комплексная дифференцируемость
17
где ζ = ξ + iη. С другой стороны, комплексная дифференцируемость
функции f в точке z эквивалентна представлению
f (z + ζ) − f (z) = f 0 (z)ζ + o(|ζ|).
Отделяя в этом равенстве вещественную и мнимую части, получаем
(f 0 (z) = α + iβ):
u(x + ξ, y + η) − u(x, y) = αξ − βη + o(|ζ|),
v(x + ξ, y + η) − v(x, y) = αη + βξ + o(|ζ|).
В силу единственности дифференциала получаем
u0x = α,
u0y = −β,
vx0 = β,
vy0 = α,
что эквивалентно (3).
Таким образом, из комплексной дифференцируемости следует вещественная дифференцируемость и выполнения условий (3). Обратно, если f дифференцируема в вещественном смысле и выполняющая
равенства (3), то, очевидно, имеет место и комплексная дифференцируемость.
2
Заметим, что из хода доказательства теоремы следует равенство:
f 0 (z) =
∂f
∂u
∂v
∂v
∂u
∂f
=
+i
=
−i
= −i .
∂x
∂x
∂x
∂y
∂y
∂y
В действительности, мы можем записать четыре различных выражения для f 0 (z). Приведенные два равенства дают комплексную запись
уравнений (3):
∂f
∂f
= −i .
(4)
∂x
∂y
Определение. Функцию f, определенную на открытом множестве
D будем называть аналитической, или голоморфной, в D, если она
дифференцируема в комплексном смысле в каждой точке D.
Будем говорить, что f аналитична на произвольном множестве
E ⊂ C, если она аналитична в некотором открытом множестве
D, содержащем E.
18
Глава I .
Комплексные числа и функции
Система уравнений (3), которой удовлетворяют вещественная и мнимая части голоморфной функции называется системой уравнений
Коши-Римана и обладает рядом интересных свойств. В частности,
если предположить, что функции u и v являются дважды непрерывно дифференцируемыми, то из (3) следует:
∂ 2u ∂ 2u
∂ 2v
∂ 2v
−
= 0,
+
=
∂x2 ∂y 2
∂x∂y ∂y∂x
т. е. u — гармоническая функция. Аналогично проверяется гармоничность функции v.
Отметим еще одно важное равенство, вытекающее из системы (3):
!
Ã
!
Ã
∂u 2 ∂u ∂v ∂u ∂v
∂u 2
2
+
=
|f (z)| =
−
.
∂x
∂y
∂x ∂y ∂y ∂x
Это равенство показывает, что |f 0 (x)|2 является якобианом отображения (x, y) → (u, v).
Отметим еще одно формальное представление условий (3) или
(4), которое проливает некоторым образом свет на природу аналитических функций. Сразу же оговоримся, что это представление имеет
лишь формальное, а не доказательное значение. Воспользуемся инвариантностью формы первого дифференциала и формальной заменой
dx, dy на dz, dz :
df =
∂f
∂f
1 ∂f
1 ∂f
dx +
dy =
(dz + dz) +
(dz − dz) =
∂x
∂y
2 ∂x
2i ∂y
Ã
!
Ã
!
1 ∂f
∂f
∂f
1 ∂f
=
−i
+i
dz +
dz.
2 ∂x
∂y
2 ∂x
∂y
Эта запись побуждает ввести формальные дифференциальные операторы ∂/∂z и ∂/∂z :
Ã
!
1 ∂f
∂f
∂f
=
−i
,
∂z
2 ∂x
∂y
Ã
!
∂f
1 ∂f
∂f
=
+i
.
∂z
2 ∂x
∂y
Из (4) видно, что уравнения Коши–Римана можно записать в виде
∂f /∂z = 0.
§ 3.
Комплексная дифференцируемость
19
Это наводит на высказывание, что аналитическая функция не зависит от z, а является лишь функцией от z.
Теорема 2. Пусть f — аналитическая в круге |z − a| < r функция
и f 0 (z) = 0 в нем. Тогда f (z) ≡ const.
Доказательство. Если f (z) = u(x, y)+iv(x, y), то в силу сделанного
предположения u0x = u0y = vx0 = vy0 = 0. Применяя одномерную теорему, получаем постоянство u и v на всех горизонтальных и вертикальных прямых. Отсюда и из того, что каждые две точки круга можно
соединить ломанной с вертикальными и горизонтальными звеньями,
следует утверждение теоремы.
2
Выделим теперь некоторые простейшие аналитические функции.
Каждая константа является аналитической в C функцией с производной, равной нулю. Поскольку сумма и произведение двух аналитических функций снова аналитическая функция, то полином
P (z) = a0 + a1 z + · · · + an z n
представляет собой аналитическую в C функцию. Если an 6= 0, то
число n называется степенью полинома P. При этом его производная
P 0 (z) = a1 + 2a2 z + · · · + nan z n−1
является полиномом степени n − 1. Нулевую константу можно рассматривать как полином. Однако по многим причинам ее приходится
исключать из алгебры полиномов.
При n > 0 уравнение P (z) = 0 по основной теореме алгебры
имеем, по крайней мере, один корень α1 . Тогда P (z) = (z − α1 )P1 (z),
где P1 — полином степени n − 1. Повторение этого процесса приводит
к представлению
P (z) = an (z − α1 ) . . . (z − αn ),
(5)
где корни α1 , . . . , αn не обязательно различные. Из разложения P (z)
на множители и отсутствия делителей нуля в поле комплексных чисел следует, что P (z) не может обращаться в нуль ни в одной точке,
отличной от α1 , . . . , αn . Более того, приведенная факторизация единственна с точностью до порядка сомножителей.
20
Глава I .
Комплексные числа и функции
Если αj повторяется в представлении (5) kj раз, то kj называется
порядком нуля αj полинома P (z). Таким образом, считая каждый
нуль столько раз, какова его кратность, можно сказать, что полином
степени n имеет ровно n корней.
Порядок нуля можно выразить в терминах производных. Действительно, если α — нуль k-того порядка полинома P (z), то P (z) =
(z − α)k Pk (z), где Pk — полином степени n − k и Pk (α) 6= 0. Последовательное дифференцирование показывает, что
P (α) = P 0 (α) = · · · = P (k−1) (α) = 0,
в то время как P (k) (α) 6= 0. Другими словами, порядок нуля равен
порядку первой отличной от нуля производной в этой точке. Нуль
первого порядка называется простым нулем и характеризуется условиями: P (α) = 0, P 0 (α) 6= 0.
Следующий шаг в расширении класса аналитических функций
приводит к рассмотрению рациональных функций
R(z) =
P (z)
,
Q(z)
представляющих собой отношение двух полиномов. Будем предполагать, что P (z) и Q(z) не имеют общих множителей, а следовательно, и
нулей. Кроме того, рассматривая R(z) как функцию со значениями из
расширенной комплексной плоскости, можно считать ее непрерывной.
Нули Q(z) называются полюсами функции R(z) и им приписывается
тот же порядок. Производная
P 0 (z)Q(z) − Q0 (z)P (z)
R (z) =
(Q(z))2
существует во всех точках z, где Q(z) 6= 0. Однако, она определена
как рациональная функция с теми же полюсами, что и R(z). Порядок
каждого полюса функции R0 (z) возрастает на единицу в сравнении с
функцией R(z).
Большее единство достигается, когда позволяют z пробегать всю
расширенную комплексную плоскость C (R : C → C является непрерывной в сферической метрике). При этом R(∞) можно определить
предельным переходом. Однако это не дает возможность определить
§ 3.
Комплексная дифференцируемость
21
порядок нуля или полюса в ∞. Поэтому предпочтительнее рассмотреть функцию R1 (z) = R(1/z), которая также является рациональной
функцией, и положить
R(∞) = R1 (0).
Если R1 (0) = 0 или ∞, то порядок нуля или полюса в ∞ определяется как соответствующий порядок нуля или полюса функции R1 (z) в
точке z = 0. Если
a0 + a1 z + · · · + an z n
R(z) =
,
b0 + b1 z + · · · + bm z m
то
n
n−1
+ · · · + an
m−n a0 z + a1 z
R1 (z) = z
,
m
m−1
b0 z + b1 z
+ · · · + bm
где z m−n в зависимости от знака m − n попадает в числитель или
знаменатель дроби. Если m > n, то R(z) имеет нуль порядка m − n в
∞, а если m < n, то — полюс порядка n − m. В случае m = n имеем
R(∞) = an /bn .
Можно теперь подсчитать общее количество нулей и полюсов рациональной функции в расширенной плоскости. При сделанных предположениях относительно бесконечно удаленной точки общее число
нулей равно наибольшему из чисел m и n и равно общему числу полюсов. Это общее число для нулей и полюсов называется порядком
рациональной функции.
Если a — произвольная константа, то рациональная функция
R(z) − a имеет то же общее количество полюсов (они просто совпадают), что и R(z). Таким образом, их порядки совпадают. Однако
нули функции R(z) − a являются корнями уравнения R(z) = a, и мы
приходим к следующему результату.
Теорема 3. Рациональная функция R(z) порядка k имеет k нулей и
k полюсов. Кроме того, каждое уравнение R(z) = a имеет в точности k корней.
Упражнения
1. Покажите, что постоянная аналитическая в круге |z−a| < r функция не может иметь тождественно постоянную абсолютную величину.
22
Глава I .
Комплексные числа и функции
2. Покажите, что гармоническая функция u(x, y) удовлетворяет
дифференциальному уравнению с формальными производными
∂ 2u
= 0.
∂z∂z
3. Докажите, что функции f (z) и f (z) являются аналитическими
одновременно.
§ 4.
Степенные ряды
Понятие предела последовательности, как и предела функции, в
комплексном анализе вводится посредством модуля совершенно аналогично вещественному случаю. При исследовании вопроса сходимости также важную роль играет понятие фундаментальной последовательности и имеет место критерий Коши. Совершенно аналогично вещественному случаю строится теория абсолютно сходящихся рядов с
комплексными членами. Что касается условно сходящихся рядов, то в
комплексном случае эта теория богаче, но мы не имеем возможности
на ее детальное обсуждение. Некоторые особенности условно сходящихся рядов с комплексными членами отражены в упражнениях.
Совершенно без изменений формулируется понятие равномерной сходимости функциональных последовательностей и рядов. При
этом предел равномерно сходящейся последовательности непрерывных функций является непрерывной функцией, и если функциональный ряд мажорируется абсолютно сходящимся числовым рядом, то
он равномерно сходится (признак Вейерштрасса).
Под степенным рядом понимается функциональный ряд вида
a0 + a1 z + · · · + an z n + . . . ,
(1)
где an — комплексные числа, называемые коэффициентами ряда, а
z — комплексная переменная. Можно рассмотреть более общий вид
P
n
степенного ряда ∞
n=0 an (z − z0 ) , но при его изучении не возникает
существенных особенностей. Он сразу же принимает вид (1) после
замены переменной ζ = (z − z0 ).
Почти тривиальный, но важный пример степенного ряда представляет так называемый геометрический ряд 1 + z + z 2 + . . . . Его
§ 4.
Степенные ряды
23
частные суммы можно записать в виде
1 + z + . . . + z n−1 =
1 − zn
.
1−z
Поскольку z n → 0 при |z| < 1 и |z n | ≥ 1 при |z| ≥ 1, то геометрический
ряд сходится к 1/(1 − z) при |z| < 1 и расходится при |z| ≥ 1. Оказывается, что ситуация с геометрическим рядом является типичной.
В действительности, для каждого степенного ряда существует свой
круг сходимости.
Теорема (Абеля). Для каждого степенного ряда (1) число
µ
¶
q
R = 1/ n→∞
lim |an | ,
(2)
n
называемое радиусом сходимости, удовлетворяет следующим условиям:
(i) В каждом круге |z| ≤ ρ < R ряд (1) сходится абсолютно и равномерно;
(ii) Если |z| > R, то ряд (1) расходится;
(iii) Сумма ряда является аналитической в круге |z| < R функцией и
ее производная представляет собой сумму почленно продифференцированного ряда (1).
Доказательство. Пусть ρ < R. Выберем ρ0 ∈ (ρ, R). Поскольку
q
1
1
n
>
=
lim
|an |,
n→∞
ρ
R
q
то найдется такой номер N, что n |an | < 1/ρ0 , при всех n ≥ N. Следовательно, для всех z из круга |z| ≤ ρ
Ã
ρ
|an z | = |an | · |z | ≤ 0
ρ
n
n
!n
,
при n ≥ N. Это означает, что в круге |z| ≤ ρ ряд (1) мажорируется
геометрической прогрессией. Поскольку ρ/ρ0 < 1, то мажорантный
ряд сходится и (i) доказано.
24
Глава I .
Комплексные числа и функции
Для доказательства (ii) заметим, что если |z| > R, то можно
выбрать ρ с условием |z| > ρ > R и в силу
q
lim n |an | =
n→∞
1
1
>
R
ρ
найдется бесконечное число индексов n, для которых
тогда для этих индексов
q
n
|an | > 1/ρ. Но
n
|z|
|an z n | > .
ρ
P
Это означает, что необходимое условие сходимости ряда
an z n
(стремление к нулю общего члена) не выполняется и он расходится.
Приступая к доказательству (iii), заметим, что почленно проP
n−1
дифференцированный ряд ∞
имеет тот же радиус сходиn=1 nan z
мости, что и исходный ряд (1). Это следует из формулы (2) и условия
√
n
n → 1, при n → ∞. Обозначим
Sn =
n
X
ak z k ,
f (z) =
∞
X
n=0
k=0
an z n ,
g(z) =
∞
X
n=1
nan z n−1 .
Тогда f (z) = limn→∞ Sn (z) и g(z) = limn→∞ Sn0 (z), поскольку Sn0 (z) —
частные суммы ряда g(z).
Фиксируем теперь произвольно z0 , |z0 | < R, и выберем ρ > 0 из
условия |z0 | < ρ < R. Тогда для любого z 6= z0 из круга |z| ≤ ρ будем
иметь:
¯
¯
¯ f (z)
¯
¯
¯
z
¯
¯
− f (z0 )
¯
− g(z0 )¯¯ ≤
¯
− z0
+|SN
(z0 ) − g(z0 )| +
=
+|Sn0 (z0 ) − g(z0 )| +
≤
¯
¯
¯ SN (z)
¯
¯
¯
z
¯
¯
− SN (z0 )
¯
− SN (z0 )¯¯ +
¯
− z0
¯
¯
¯
¯
¯
¯ SN (z) − SN (z0 )
¯
− SN (z0 )¯¯ +
¯
¯
¯
z − z0
¯
¯
¯
¯
∞
X
1
¯
n
n ¯¯
¯
an (z − z0 )¯ =
¯
¯
¯ z − z0 n=N +1
¯
¯
¯
¯
¯ SN (z) − SN (z0 )
¯
¯
− SN (z0 )¯¯ +
¯
¯
¯
z − z0
¯
¯
¯ ∞
¯
¯ X
¯
n−1
n−1
¯
an (z
+ · · · + z0 )¯¯ ≤
¯
¯n=N +1
¯
∞
X
|SN
(z0 ) − g(z0 )| +
n|an |ρn−1 .
n=N +1
§ 4.
Степенные ряды
25
P
n−1
Для произвольного ε > 0 выберем N так, чтобы ∞
<
n=N +1 n|an |ρ
ε/3 и |SN (z0 ) − g(z0 )| < ε/3. Существование такого N следует из схоP
димости ряда n|an |ρn−1 и условия Sn0 (z0 ) → g(z0 ), при n → ∞. Затем,
в силу аналитичности SN как полинома, можно выбрать δ, 0 < δ <
ρ − |z0 |, так, чтобы выполнялось неравенство
¯
¯
¯ SN (z)
¯
¯
¯
z
¯
¯
− SN (z0 )
ε
¯
− SN (z0 )¯¯ < ,
¯
− z0
3
при 0 < |z − z0 | < δ. Но тогда при этих z будем иметь
¯
¯
¯ f (z)
¯
¯
¯
z
¯
¯
− f (z0 )
ε ε ε
¯
− g(z0 )¯¯ < + + = ε.
¯
− z0
3 3 3
Заметим, что формула (2) носит имя Коши–Адамара. Из хода доказательства видно также, что допускаются случаи R = 0 и ∞.
Упражнения
1. Пусть limn→∞ an = A. Докажите, что
1
lim
(a + a2 + · · · + an ) = A.
n→∞ n 1
2. Докажите, что ряд из комплексных членов, каждая часть которого сходится, должен сходиться абсолютно.
P
3. Докажите, что если ряд |an | расходится, то существует по крайней мере одно направление сгущения α, обладающее тем свойством, что, каково бы ни было ε > 0, ряд абсолютных величин тех
P
членов ряда an , которые расположены в угле α − ε < arg z <
α + ε, является расходящимся.
4. Найдите радиусы сходимости следующих степенных рядов:
X
np z n ,
X n2 n
q z
(|q| < 1),
X n!
z .
P
5. Если ряд an z n имеет радиус сходимости R, то каковы радиусы
P
P
сходимости рядов an z 2n и a2n z n ?
6. Если f (z) =
P
an z n , то что можно сказать о ряде
P
n3 an z n ?
26
Глава I .
Комплексные числа и функции
7. Для каких z сходится ряд
∞ Ã
X
n=0
z
1+z
!n
?
8. Если числа z1 , z2 , . . . лежат в угле
−α ≤ arg z ≤ α,
α < π/2,
то ряды
z1 + z2 + · · ·
и
|z1 | + |z2 | + · · ·
либо оба сходятся, либо оба расходятся.
9. Пусть числа z1 , z2 , . . . лежат в полуплоскости Re z ≥ 0. Если сходятся оба ряда
z1 + z2 + . . .
и
z12 + z22 + . . . ,
то сходится также ряд |z1 | + |z2 | + . . . .
§ 5.
Экспонента и тригонометрические функции
Один из мотивов введения экспоненциальной функции связан с
решением дифференциального уравнения f 0 (z) = f (z) с начальным
условием f (0) = 1. Полагая
f (z) =
X
an z n ,
f 0 (z) =
X
nan z n−1 ,
мы приходим к следующим соотношениям на коэффициенты: an−1 = nan
и a0 = 1. Индуктивное рассуждение приводит к равенствам an =
1/n!, n = 1, 2, . . . . Таким образом, решение должно определяться степенным рядом
∞ zn
X
z
e =
.
n=0 n!
√
Из формулы Коши–Адамара и предельного соотношения n n! → ∞,
при n → ∞, следует сходимость этого ряда во всей комплексной плоскости.
§ 5.
Экспонента и тригонометрические функции
27
Отметим некоторые свойства экспоненты. Из определяющего ее
дифференциального уравнения следует так называемая теорема сложения:
ez1 +z2 = ez1 · ez2 ∀z1 , z2 ∈ C.
Действительно, для любого фиксированного a ∈ C имеем
(ez · ea−z )0 = ez · ea−z − ez · ea−z = 0
и, следовательно, ez · ea−z ≡ ea (значение при z = 0). Полагая в этом
тождестве a = z1 +z2 и z = z1 , получаем равенство теоремы сложения.
Применение теоремы сложения, в частности, дает ez · e−z ≡ 1, откуда
следует, что ez 6= 0 ни при каком z ∈ C. Далее, из вида степенного
ряда видно, что ex > 1 при x > 0, а из равенства ex e−x = 1 получаем также 0 < ex < 1 при x < 0. Наконец, в силу вещественности
коэффициентов разложения имеет место равенство:
ez = ez .
Следовательно, для любого y ∈ R имеем |eiy |2 = eiy e−iy = 1 и
|ex+iy | = ex |eiy | = ex .
Одним из преимуществ комплексного анализа является то, что в нем
наиболее полно раскрываются связи между элементарными функциями. Заметим, что степенной ряд экспоненты можно рассматривать
как продолжение в комплексную плоскость ее вещественного ряда. В
связи с этим оправдано введение тригонометрических функций посредством равенств:
eiz + e−iz
,
cos z =
2
eiz − e−iz
sin z =
.
2i
При этом
z2 z4
z3 z5
cos z = 1 −
+
− ···,
sin z = z −
+
− ···.
2!
4!
3!
5!
Для вещественных z мы получаем ряды Тейлора соответствующих
функций вещественного переменного. Непосредственно из определения косинуса и синуса следует формула Эйлера:
eiz = cos z + i sin z,
28
Глава I .
Комплексные числа и функции
а также основное тригонометрическое тождество:
(cos z)2 + (sin z)2 = 1.
Используя теорему сложения для экспоненты, легко выводятся формулы:
cos(a + b) = cos a cos b − sin a sin b,
sin(a + b) = cos a sin b + sin a cos b.
Из вида разложений sin z и cos z (или просто из определения и формулы (ez )0 = ez ) следуют формулы дифференцирования:
(sin z)0 = cos z,
(cos z)0 = − sin z.
Обычным образом через sin z и cos z определяются другие тригонометрические функции tg z, ctg z, sec z и cosec z. Заметим лишь, что все
они являются рациональными функциями от eiz .
Периодичность. Говорят, что функция f имеет период c, если f (z +
c) = f (z) при всех z ∈ C. Условие на c быть периодом экспоненты
выражается равенством
ez+c = ez ⇒ ec = 1.
Полагая c = α + iβ, получаем α = 0 и cos β + i sin β = 1, откуда β =
2kπ, где k — целое. Таким образом, периоды функции ez определяются
равенством
c = i2kπ,
k ∈ Z.
С алгебраической точки зрения экспонента устанавливает гомоморфизм, действующий из аддитивной группы комплексных чисел в
мультипликативную. В частности, w = eiy — гомоморфизм между аддитивной группой вещественных чисел и мультипликативной
группой комплексных чисел с абсолютной величиной, равной 1.
Вместе с экспонентой нужно изучить обратную к ней функцию —
логарифм. Поскольку ez не обращается в нуль, то уравнение w = ez
(его решение — z = ln w) не имеет решения при w = 0. Другими
словами, логарифм нуля не существует. При w 6= 0 уравнение ex+iy =
w эквивалентно системе
w
ex = |w|,
eiy =
.
|w|
§ 5.
Экспонента и тригонометрические функции
29
Первое уравнение имеет единственное решение:
x = ln |w|,
где справа стоит вещественный логарифм положительного числа.
Второе уравнение имеет бесконечно много решений, отличающихся друг от друга на число, кратное 2πi. Таким образом, каждое
комплексное число, отличное от нуля, имеет бесконечно много логарифмов, отличающихся друг от друга на слагаемое, кратное 2π.
Мнимая часть ln w называется также аргументом числа w и обозначается arg w. Геометрически он выражает угол между положительным направлением вещественной оси и лучом (0, w). Согласно этому
определению аргумент имеет бесконечно много значений и
ln w = ln |w| + i arg w.
Если обозначить |z| = r и arg z = θ, то мы придем к очень распространенной записи комплексного числа:
z = reiθ .
Из теоремы сложения для экспоненциальной функции следует также,
что
ln(z1 z2 ) = ln z1 + ln z2 (mod 2πi),
arg(z1 z2 ) = arg z1 + arg z2 (mod 2π).
Используя логарифм, можно ввести понятие комплексной степени:
ab = exp(b ln a),
если a 6= 0. Как и логарифм, ab имеет, вообще говоря, бесконечно
много значений, отличающихся множителями e2πinb .
Рассмотрим теперь область D = C \ R− . Фиксируя для каждой
точки z ∈ D одно значение ln z, мы получим однозначную функцию,
которая называется ветвью логарифма. Среди них выделяется главная ветвь, которая определяется условием | Im ln z| < π. Будем ее
обозначать w = ln z. Легко видеть, что так определенная функция
30
Глава I .
Комплексные числа и функции
ln z будет непрерывной в D. Следовательно, ∆w → 0 при ∆z → 0.
Поэтому
dw
∆w
1
1
1
1
= lim
= lim
=
= w = .
w→0 ∆z/∆w
∆z→0 ∆z
dz
dz/dw
e
z
Т. е. ln z является в D аналитической функцией и
1
(ln z)0 = .
z
Любая другая непрерывная ветвь ln z в D отличается на аддитивную
константу 2πin и имеет ту же производную: 1/z.
Аналогично выделяются однозначные ветви показательной функции :
az , a 6= 0.
Упражнения
1. Найдите значения sin i, cos i.
2. Найдите значения тех z, для которых ez равно 2, −1, i.
3. Определите все значения 2i , ii .
Глава II
Аналитические функции как
отображения
§ 1.
Топология комплексной плоскости
Здесь мы рассмотрим некоторые свойства множеств комплексной плоскости (или расширенной комплексной плоскости), которые
инвариантны относительно непрерывных отображений.
Пусть ε > 0 — произвольное число. Под ε-окрестностью точки
a ∈ C будем понимать круг
Oε (a) = O(a, ε) = {z ∈ C : |z − a| < ε},
если a 6= ∞, и
(
)
1
O(∞, ε) = z ∈ C : |z| >
.
ε
С каждым множеством E ⊆ C можно связать разбиение C на три
непересекающихся множества.
Точка a ∈ E называется внутренней, если она принадлежит E
вместе с каждой своей ε-окрестностью. Совокупность всех внутренних точек называется внутренностью множества E и обозначается
Int E.
Внешностью множества E называется внутренность его дополнения C \ E и обозначается Ext E.
Множество точек C, не принадлежащих ни внутренности, ни
внешности множества E называется границей множества E и обозначается ∂E. Очевидно, что a ∈ ∂E в том и только в том случае,
если всякая ее ε-окрестность содержит одновременно как точки множества E, так и точки ее дополнения.
31
32
Глава II .
Аналитические функции как отображения
Множество E называется открытым, если каждая его точка является внутренней, т.е. E = Int E. Совокупность открытых множеств
определяет топологию.
Дополнительные к открытым множества называются замкнутыми. Их можно определить посредством операции замыкания. Точка
a ∈ C называется предельной для множества E, если ее всякая εокрестность O(a, ε) содержит бесконечно много точек из E. Операция
замыкания состоит в присоединении к E всех его предельных точек, а
ее результат обозначается E. Множество E замкнуто в том и только
в том случае, если E = E. Заметим, что ∂E = E \ Int E.
Фундаментальными свойствами открытых и замкнутых множеств являются следующие.
Объединение любого числа и пересечение конечного числа открытых множеств является открытым множеством. Пересечение любого
числа и объединение конечного числа замкнутых множеств является
замкнутым множеством. Пустое множество и вся расширенная комплексная плоскость являются одновременно открытыми и замкнутыми
множествами.
Как известно из вещественного анализа (C можно рассматривать
2
как R ), всякое ограниченное замкнутое множество E ⊂ C является компактным. Свойство компактности выражается в двух фундаментальных результатах: лемме Гейне–Бореля и принципе Больцано–
Вейерштрасса. Согласно первому, из всякого открытого покрытия
компактного множества можно выбрать конечное подпокрытие.
Согласно второму, всякое бесконечное подмножество компактного
множества имеет хотя бы одну предельную точку.
В расширенной комплексной плоскости C всякое замкнутое множество является компактным.
Обычно в вещественном анализе (и в курсе топологии) доказывается инвариантность компактности при непрерывных отображениях. Хорошо известны также свойства непрерывных вещественнозначных функций, определенных на компакте. В частности, каждая
такая функция является равномерно непрерывной и достигает своего
максимума и минимума.
Остановимся более подробно на топологическом понятии ”связность”.
§ 1.
Топология комплексной плоскости
33
Определение. Множество E ⊆ C называется связным, если не существует двух открытых множеств G1 и G2 , удовлетворяющих
условиям:
S
(i) E ⊆ G1 G2 ;
T
T
(ii) E G1 G2 = ∅
T
T
(iii) G1 E 6= ∅, G2 E 6= ∅.
Интуитивно связность означает, что E состоит из одного ”куска”.
Теорема 1. Отрезок прямой — связное множество. При этом допускается, чтобы один из концов отрезка был бесконечно удаленной
точкой, а сам отрезок был открытым, замкнутым или полуоткрытым.
Доказательство. Допустим противное, т. е. найдутся два открытых множества G1 и G2 , для которых выполнены условия (i)–(iii), где
E — наш отрезок. Тогда на E найдутся две конечные точки a ∈ G1
и b ∈ G2 . Очевидно, что условия (i)–(iii) также выполняются при замене E на подынтервал E1 = [a, b]. Разобьем E1 пополам и выберем
ту его часть E2 , которая представляет собой интервал с концами в
разных множествах G1 и G2 . Продолжая этот процесс, получим последовательность замкнутых вложенных отрезков E1 ⊃ E2 ⊃ . . . длины
которых стремятся к нулю. По теореме Кантора, существует единственная точка ξ, принадлежащая всем отрезкам последовательности
{En }. Из условий (i), (ii) следует, что ξ принадлежит одному из множеств G1 или G2 . Пусть это для определенности будет G1 . В силу
открытости G1 и стремления длин En к нулю следует, что En ⊂ G1
при достаточно больших номерах n. Однако это противоречит условиям выбора En .
2
Определение. Непустое связное открытое множество называется областью.
Приведенное выше определение связности в случае открытого
множества E означает, что не существует непустых непересекающихся открытых множеств G1 и G2 .
34
Глава II .
Аналитические функции как отображения
Замечание. Мы можем теперь усилить теорему 2 из параграфа 3
предыдущей главы, заменив круг |a−z| < r на произвольную область.
Следующий результат дает характеристическое свойство области в других терминах.
Теорема 2. Непустое открытое множество E связно в том и
только в том случае, если любые две ее точки можно соединить
ломаной, расположенной в E. При этом ломаную можно выбрать
так, чтобы ее звенья были параллельны координатным осям.
Доказательство. Пусть E связно и a ∈ E — произвольная точка. Обозначим через G1 множество тех точек из E, которые можно
соединить в E с точкой a ломаной со звеньями, параллельными координатным осям. Через G2 обозначим те точки из E, которые не
удовлетворяют этому условию. Очевидно, что G1 и G2 являются отS
крытыми множествами и E = G1 G2 . В силу связности E одно из
множеств, G1 или G2 , должно быть пустым. Легко видеть также, что
G1 6= ∅, и в одну сторону утверждение доказано.
Обратно, пусть E — открытое множество и любые две ее точки
можно соединить ломаной, расположенной в E. Тогда связность E
легко устанавливается рассуждением от противного. Действительно,
если G1 и G2 — два открытых непустых непересекающихся множесS
тва и E = G1 G2 , то для точек a ∈ G1 , b ∈ G2 найдется ломаная,
соединяющая их и расположенная в E. На этой ломаной найдется отрезок, концы которого расположены в разных множествах G1 и G2 .
Но это будет противоречить связности этого отрезка.
2
Следующий результат позволяет конструировать связные множества и сравнительно просто определять связность в ряде случаев.
Теорема 3. Пусть {Eα }α∈A — совокупность (семейство) связных
T
S
множеств и α Eα 6= ∅. Тогда E = α Eα — связное множество.
Доказательство. Допустим противное, т. е. найдутся такие открыS
тые множества G1 и G2 , что для E = Eα выполнены условия (i)–(iii).
T
Выберем произвольную точку a из Eα . В силу (i) она принадлежит
§ 1.
Топология комплексной плоскости
35
одному из множеств: G1 или G2 . Пусть для определенности a ∈ G1 . В
T
E G2 выберем произвольную точку b. По определению E, найдется
такое α0 ∈ A, что b ∈ Eα0 . Но тогда для Eα0 и множеств G1 и G2 выполнены все условия (i)–(iii), что противоречит связности множества
Eα0 .
2
В ряде случаев приходится иметь дело с множествами произвольной структуры. При их анализе первой ступенькой является разложение его на компоненты связности. Компонентой K множества E будем называть связное подмножество, которое не является собственным подмножеством никакой другой связной части множества
E.
Теорема 4. Каждое множество единственным образом может
быть представлено как объединение своих компонент.
Доказательство. Пусть E — произвольное множество. Для каждой
точки a ∈ E через C(a) обозначим объединение всех связных подмножеств в E, содержащих a. В силу предыдущей теоремы C(a) связно,
а непосредственно из определения следует ее максимальность. Таким
образом, C(a) — компонента множества E. Для завершения доказательства остается показать, что две компоненты C(a) и C(b) либо
совпадают, либо не пересекаются.
T
Пусть d ∈ C(a) C(b). Тогда из определения C(d) следует, что
C(a) ⊆ C(d). Отсюда получаем: a ∈ C(d) и в силу определения C(a)
имеем включение C(d) ⊆ C(a). Таким образом, C(a) = C(d). Аналогично устанавливается равенство C(b) = C(d).
2
Определение. Область D ⊆ C называется односвязной, если C \ D
связно.
Другими словами, область D называется односвязной, если ее
дополнение C \ D состоит из одной компоненты. Следует отметить,
что здесь важно условие пополненной комплексной плоскости. На это
указывает пример полосы.
Теорема 5. При непрерывных отображениях образ связного множества является связным.
36
Глава II .
Аналитические функции как отображения
Доказательство. Пусть w = f (z) — непрерывная функция, которая переводит связное множество E в Q. Допустим, что H1 и H2 —
S
открытые множества, удовлетворяющие условиям Q ⊆ H1 H2 и
T
T
Q H1 H2 = ∅. Нам нужно доказать, что тогда одно из множеств,
T
T
Q H1 или Q H2 , пусто.
Определим множества E1 = {z ∈ E : f (z) ∈ H1 }, E2 = {z ∈
T
E : f (z) ∈ H2 }. В силу сделанных предположений E1 E2 = ∅ и
S
E1 E2 = E. Далее, если z0 — произвольная точка в E1 и w0 = f (z0 ),
то в силу открытости H1 найдется такое ε > 0, что O(w0 , ε) ⊆ H1 .
Согласно непрерывности f найдется такое δ > 0, что |f (z)−f (z0 )| < ε
T
при |z − z0 | < δ, т. е. O(z0 , δ) E ⊆ E1 . Таким образом, существует
T
открытое множество G1 , для которого G1 E = E1 . Аналогично устанавливается существование открытого множества G2 , для которого
T
G2 E = E2 . Но тогда в силу связности E одно из множеств, E1 или
E2 , должно быть пустым. Пусть это будет E1 . Но с ним будет пустым
T
множеством Q H1 .
2
Замечание. Среди многих приложений доказанной теоремы отметим следующие два:
1. Не обращающаяся в нуль непрерывная вещественнозначная функция, определенная на связном множестве, сохраняет знак.
2. Отрезок и квадрат не являются топологически эквивалентными.
Упражнения
1. Доказать, что E является связным в том и только в том случае,
если его нельзя представить в виде объединения двух непустых
T
непересекающихся множеств E1 и E2 так, чтобы E1 E2 = ∅ и
T
E1 E2 = ∅.
2. Доказать, что класс связных множеств не изменится, если в опреT
делении связности условие (ii) заменить на G1 G2 = ∅.
3. Докажите, что замыкание связного множества является связным
множеством.
§ 2.
Конформность
§ 2.
Конформность
37
В этом параграфе мы рассмотрим геометрические следствия аналитичности. Как отмечалось ранее, мы не можем получить наглядного представления о функции комплексного переменного посредством
графика. Этот недостаток можно компенсировать наблюдением за образами семейств кривых.
Уточним вначале понятийный аппарат, связанный с кривыми.
В аналитической геометрии под кривой обычно понимают множество точек, координаты которых удовлетворяют некоторому уравнению
либо задаются параметрическим способом. Для наших целей ближе
второе представление, которое позволяет интерпретировать кривую
как траекторию движущейся точки. Кроме того, в наших рассмотрениях будет несущественной скорость прохождения траектории, но
будет важным направление и кратность прохождения участков траектории. Перейдем теперь к точным определениям и формулировкам.
Определение. Путем мы будем называть непрерывное отображение z = z(t) отрезка [α, β] ⊂ R в C (или C). Точки z(α) = a и z(β) = b
называются началом и концом пути, соответственно. Путь называется замкнутым, если a = b.
Понятие пути является исходным. Понятие кривой связано с
тем, что мы будем не различать некоторые пути. Будем говорить,
что пути z = z1 (t), α1 ≤ t ≤ β1 , и z = z2 (t), α2 ≤ t ≤ β2 ,
эквивалентны, если существует непрерывная возрастающая функция τ = τ (t), α1 ≤ t ≤ α2 , такая, что τ (α1 ) = α2 , τ (β1 ) = β2
и z1 (t) = z2 (τ (t)) при t ∈ [α1 , β1 ]. Легко видеть, что введенное понятие эквивалентности путей обладает свойствами рефлексивности,
симметрии и транзитивности. Следовательно, все множество путей
распадается на непересекающиеся классы эквивалентности.
Определение. Кривой γ называется класс эквивалентных путей.
Представитель z = z(t), α ≤ β, из класса эквивалентности будем
называть параметризацией кривой γ.
Заметим, что все пути, которые представляют одну и ту же кривую γ, имеют общие начало и конец. Кроме того, всегда можно в качестве параметризующего отрезка выбрать [0, 1]. Итак, начало, конец
38
Глава II .
Аналитические функции как отображения
и направление движения по траектории являются характеристиками
всей кривой, а не отдельно взятого пути из класса эквивалентности.
В частности, кривая называется замкнутой, если ее параметризации
замкнуты, т.е. совпадают начало и конец кривой.
Кривая γ называется жордановой,если параметризация z =
z(t), α ≤ t ≤ β, осуществляет топологическое отображение отрезка
[α, β]. Кривая называется замкнутой жордановой, если параметризация осуществляет топологическое отображение полуинтервала [α, β)
и z(α) = z(β). Другими словами, замкнутая жордановая кривая —
это топологическое отображение окружности в плоскость.
Определим теперь на множестве кривых две операции. Под сменой ориентации кривой γ с параметризацией z = z(t), α ≤ t ≤ β,
понимается кривая −γ (часто пишут также ”γ − ”), которая определяется параметризацией z = z(−t), −β ≤ t ≤ −α. Грубо говоря, при
смене ориентации меняется направление обхода.
Далее, если конец кривой γ1 : z = z1 (t), α1 ≤ t ≤ β1 , совпадает с
началом кривой γ2 : z = z2 (t), α2 ≤ t ≤ β2 , то под суммой кривых γ1
и γ2 будем понимать кривую γ1 + γ2 с параметризацией
z=
z1 (α1 + 2t(β1 − α1 ))
при 0 ≤ t ≤ 1/2,
z2 (α2 + (2t − 1)(β2 − α2 )) при 1/2 ≤ t ≤ 1.
Очевидным образом (по индукции) определяется конечная сумма кривых. Заметим, что сумма определена не для каждой пары кривых и
не обладает свойством коммутативности. Однако так определенная
операция обладает свойством ассоциативности.
Выделим теперь совокупность гладких кривых. Путь
z = z(t) = x(t) + iy(t),
α ≤ t ≤ β,
называется гладким, если функции x(t) и y(t) являются непрерывно дифференцируемыми на [α, β] и z 0 (t) = x0 (t) + iy 0 (t) 6= 0 при
t ∈ [α, β]. Эквивалентность гладких путей определяется посредством
замены τ = τ (t), которая непрерывно дифференцируема и τ 0 (t) > 0
при всех t. Производные в концевых точках, например z 0 (α), понимаются как односторонние. Класс эквивалентности гладких путей
называется гладкой кривой.
§ 2.
Конформность
39
Заметим, что у гладкой кривой γ : z = z(t), α ≤ t ≤ β, в каждой
точке z(t) существует касательная с направлением arg z 0 (t). Очевидно, что ориентация кривой индуцирует ориентацию касательной. Под
кусочно–гладкой кривой будем понимать конечную сумму гладких
кривых.
Пусть теперь w = f (z) — аналитическая в области D функция.
Будем говорить, что f однолистна в D, если f (z1 ) = f (z2 ), влечет
z1 = z2 для любой пары точек из D. Допустим теперь, что f 0 (z) 6= 0 в
D. Поскольку |f 0 (z0 )|2 — якобиан отображения w = f (z) в точке z0 , то
в силу теоремы о неявных функциях в окрестности точки w0 = f (z0 )
существует обратная функция z = f −1 (w). Очевидно, что она также
будет аналитической и
³
f
´
−1 0
∆z
1
1
= lim
= 0 .
∆w→0 ∆w
∆z→0 ∆w/∆z
f (z)
(w) = lim
Таким образом, аналитическая в области D функция с необращающейся в нуль производной является локально однолистной. Из локальной однолистности не следует еще глобальная (т. е. во всей области D). Примером этому может служить функция f (z) = z 2 , рассматриваемая в кольце 1 < |z| < 2.
Рассмотрим гладкую кривую γ : z = z(t), α ≤ t ≤ β, расположенную в области D. Тогда уравнение w = f (z(t)) будет определять
некоторую гладкую кривую γ ∗ в w-плоскости. Действительно, из равенства
w0 (t) = f 0 (z(t)) · z 0 (t)
(1)
и условий на γ и f следует, что w0 (t) 6= 0. Кроме того, из равенства (1)
следует, что направление касательной к кривой γ ∗ в точке w0 = w(t0 )
связано с направлением касательной к кривой γ в точке z0 = z(t0 )
равенством:
arg w0 (t0 ) = arg f 0 (z0 ) + arg z 0 (t0 ).
(2)
Равенство (2) выясняет геометрический смысл аргумента производной и показывает, что угол между направлениями касательных к
кривым γ и γ ∗ в соответствующих точках z0 и w0 равен arg f 0 (z0 ).
Следовательно, этот угол не зависит от выбора кривой γ, а кривые,
проходящие через точку z0 и имеющие в ней общую касательную,
переходят посредством f в кривые, проходящие через точку w0 и
40
Глава II .
Аналитические функции как отображения
имеющие в ней общую касательную. Более того, две кривые γ1 и
γ2 , образующие в точке z0 угол θ, переходят в кривые γ1∗ и γ2∗ , которые пересекаются в точке w0 под тем же углом θ (с учетом направления отсчета). Это свойство называют консерватизмом углов или
конформностью отображения w = f (z) в точке z0 .
Выяснение геометрического смысла модуля производной также
приводит к некоторому свойству отображения. Из равенства
|f (z) − f (z0 )|
= |f 0 (z0 )|
|z − z0 |
lim
z→z
видно, что при отображении w = f (z) бесконечно малый элемент
длины в точке z0 растягивается или сжимается в |f 0 (z0 )| раз. Другими словами, |f 0 (z0 )| является коэффициентом искажения масштаба на
кривых в точке z0 , и этот коэффициент не зависит от направления.
Вообще говоря, этот коэффициент меняется от точки к точке.
Пусть теперь w = f (z) определена в области D и непрерывно
дифференцируема в вещественном смысле, т. е. существуют и непрерывны в D частные производные ∂f /∂x и ∂f /∂y. Рассмотрим
вопрос, какими свойствами будет обладать f , если предположить
конформность отображения w = f (z) или постоянство искажения
масштаба. При сделанных предположениях производную от функции
w(t) = f (z(t)) можно представить в виде
w0 (t0 ) =
∂f
∂f
(z0 )x0 (t0 ) +
(z0 )y 0 (t0 ).
∂x
∂y
В терминах z 0 (t0 ) = x0 (t0 ) + iy 0 (t0 ) это равенство принимает вид
Ã
!
Ã
!
∂f 0
1 ∂f
∂f 0
1 ∂f
−i
z (t0 ) +
+i
w (t0 ) =
z (t0 ),
2 ∂x
∂y
2 ∂x
∂y
откуда получаем
Ã
!
Ã
!
w0 (t0 )
1 ∂f
∂f
1 ∂f
∂f z 0 (t0 )
=
−
i
+
+
i
.
z 0 (t0 )
2 ∂x
∂y
2 ∂x
∂y z 0 (t0 )
(3)
Консерватизм углов отображения w = f (z) в точке z0 означает, что
w0 (t0 )
arg 0
z (t0 )
§ 3.
Дробно–линейные преобразования
41
не зависит от arg z 0 (t0 ). Это эквивалентно тому, что правая часть (3)
имеет постоянный аргумент. Однако при полном изменении arg z 0 (t0 )
правая часть равенства (3) описывает окружность с центром в точке
1
1
2 [∂f /∂x − i∂f /∂y] и радиусом 2 [∂f /∂x + i∂f /∂y]. Таким образом, консерватизм углов влечет равенство нулю радиуса этой окружности,
что выражается в виде
∂f
∂f
= −i .
∂x
∂y
Это, как мы видели ранее, и есть уравнения Коши–Римана, записанные в комплексной форме.
Аналогично постоянство искажения линейного элемента приводит к условию независимости модуля правой части (3) от arg z 0 (t0 ).
Это возможно лишь при условии вырождения окружности, которую
описывает правая часть (3), либо условии попадания ее центра в начало координат. Следствием первого условия, как мы только что показали, является система уравнений Коши–Римана, т. е. аналитичность
функции f . Второе условие эквивалентно равенству
∂f
∂f
=i .
∂x
∂y
Это равенство выражает тот факт, что f (z) является аналитической
функцией. В этом случае углы сохраняются по величине, но меняется
их направление. Такое свойство называется антиконформностью.
Отображение, осуществляемое аналитической однолистной в области D функцией f , называют конформным отображением этой
области. Отображение, осуществляемое функцией f , называют антиконформным отображением области D.
§ 3.
Дробно–линейные преобразования
Общие свойства. Среди всех аналитических функций наиболее
простые отображающие свойства имеют рациональные функции 1го порядка. Они обладают многочисленными замечательными свойствами, которые выводят их далеко за рамки элементарной теории.
Кроме того, свободное владение их свойствами составляют основу
достаточно эффективной вычислительной техники.
42
Глава II .
Аналитические функции как отображения
Любое дробно–линейное преобразование записывается в виде
L(z) =
az + b
,
cz + d
(1)
где a, b, c, d — комплексные числа, называемые коэффициентами
дробно–линейного преобразования, удовлетворяют условию
ad − bc 6= 0,
(2)
Это условие отвечает за невырожденность отображения w = L(z).
Действительно, числа −b/a и −d/c являются нулями числителя и
знаменателя дроби (1). Условие (2) означает, что это различные числа.
Как невырожденная рациональная функция первого порядка
дробно–линейное преобразование L осуществляет топологическое
отображение расширенной комплексной плоскости C на себя, поскольку для любого ζ ∈ C уравнение L(z) = ζ имеет в C единственное
решение. При этом L(∞) = a/c и L(−d/c) = ∞. Замечая также, что
L0 (z) =
ad − bc
,
(cz + d)2
приходим к выводу о конформности L в C\{−d/c}.
Отметим теперь свойства совокупности всех дробно–линейных
преобразований. Если
L1 (z) =
a1 z + b1
,
c1 z + d1
L2 (z) =
a2 z + b2
c2 z + d 2
— произвольные два дробно-линейные преобразования, то их композиция
az + b
L(z) = L1 ◦ L2 (z) =
cz + d
также является дробно-линейным преобразованием и ad−bc = (a1 d1 −
b1 c1 )(a2 d2 − b2 c2 ). Таким образом, дробно-линейные преобразования
замкнуты относительно операции композиции. Кроме того, обратная
функция
dw − b
z = L−1 (w) =
−cw + a
§ 3.
Дробно–линейные преобразования
43
также является дробно–линейным преобразованием. Следовательно,
совокупность всех дробно–линейных преобразований образует группу относительно операции композиции. Следует отметить, что это
некоммутативная группа.
Ангармоническое отношение. Установим вначале результат, согласно которому соответствие трех точек вполне определяет дробно–
линейное отображение.
Теорема 1. Пусть z1 , z2 , z3 — различные точки в C. Тогда существует и единственно дробно–линейное преобразование T , которое переводит эти точки соответственно в 1, 0 и ∞.
Доказательство. В случае конечных точек z1 , z2 и z3 это отображение можно предъявить формулой:
z − z2
T (z) =
z − z3
,
z1 − z2
.
z1 − z3
В случае когда одна из этих точек бесконечно удаленная, требуемое
отображение задается одной из формул:
T =
z − z2
z − z3
z1 − z3
z − z3
z − z2
z1 − z3
при
z1 = ∞,
при
z2 = ∞,
при
z3 = ∞,
которые получаются соответствующими предельными переходами.
Докажем теперь единственность этого отображения. Действительно, пусть S — дробно–линейное преобразование с теми же свойствами. Тогда дробно–линейное преобразование L = S ◦ T −1 оставляет
неподвижными точки 1,0 и ∞. Из условия L(∞) = ∞ следует, что
L(z) = az + b. Используя теперь условия L(0) = 0 и L(1) = 1, приходим к тождеству L(z) = z. Отсюда сразу же следует, что S(z) = T (z).
2
Следствие. Для любых различных трех точек z1 , z2 , z3 в z-плоскости
и различных трех точек w1 , w2 , w3 в w-плоскости существует и единственно дробно-линейное преобразование L, такое что L(zk ) = wk , k =
44
Глава II .
Аналитические функции как отображения
1, 2, 3. Требуемое отображение определяется из соотношения
(z, z1 , z2 , z3 ) = (w, w1 , w2 , w3 ).
Определение. Под ангармоническим отношением (z1 , z2 , z3 , z4 ) четырех различных точек z1 , z2 , z3 и z4 понимается образ точки z1 при
отображении ее посредством дробно-линейного преобразования, которое переводит точки z2 , z3 и z4 в 1,0 и ∞ соответственно.
Важность ангармонического отношения обусловлена уже тем,
что оно является инвариантом для дробно–линейных преобразований.
Теорема 2. Пусть z1 , z2 , z3 , z4 — четыре различные точки и L —
дробно–линейное преобразование. Тогда
(L(z1 ), . . . , L(z4 )) = (z1 , . . . , z4 ).
Доказательство. Пусть T (z) = (z1 , z2 , z3 , z4 ). Тогда T ◦ L−1 переводит точки L(z2 ), L(z3 ) и L(z4 ) соответственно в 1,0 и ∞. Следовательно,
(L(z1 ), L(z2 ), L(z3 ), L(z4 )) = T ◦ L−1 = T (z1 ) = (z1 , z2 , z3 , z4 ).
2
Круговое свойство. Отметим вначале, что окружности на сфере
Римана при стереографической проекции соответствует на комплексной плоскости окружность или прямая. Это приводит к мысли
о целесообразности рассматривать прямую в C как окружность, проходящую через бесконечно удаленную точку. Поэтому в дальнейшем
под окружностью в C будем понимать такое расширенное ее значение.
Предложение 1. Прообразом вещественной оси для любого дробно–линейного преобразования является окружность в C.
Доказательство. Пусть L определяется равенством (1) с условием
(2) на его коэффициенты. Нам нужно найти множество точек z, для
которых Im L(z) = 0, т. е. удовлетворяющих условию
az + b a z + b
−
= 0.
cz + d c z + d
§ 3.
Дробно–линейные преобразования
45
Это равенство можно переписать в эквивалентной форме
(ac − ca)|z|2 + (ad − cb)z + (bc − da)z + (bd − db) = 0.
(3)
Если ac − ca = 0, то уравнение (3) определяет в комплексной
плоскости прямую, т. е. окружность в C.
Допустим теперь, что ac − ca 6= 0. Тогда уравнение (3) переписывается в эквивалентном виде
|z|2 +
ad − bc
bc − ad
bd − bd
z+
z+
=0
ac − ca
ac − ca
ac − ca
или после выделения полного квадрата модуля в виде
¯
¯
¯
¯z
¯
¯
¯
¯
¯
bc − ad ¯¯¯ ¯¯ ad − bc ¯¯
¯,
+
¯= ¯
ac − ca ¯ ¯ ac − ca ¯
что определяет окружность.
2
Предложение 2. Ангармоническое отношение (z1 , z2 , z3 , z4 ) вещественно в том и только в том случае, если точки z1 , z2 , z3 , z4 лежат
на одной окружности в C.
Доказательство. Утверждение следует из предыдущего результата, примененного к дробно–линейному преобразованию T (z) =
(z1 , z2 , z3 , z4 ).
2
Теорема 3. При дробно–линейных преобразованиях окружности в C
переходят в окружности в C.
Доказательство. Пусть L — произвольное дробно-линейное преобразование и C — окружность в z-плоскости. Выберем на ней три
различные точки z1 , z2 , z3 . В силу инвариантности ангармонического
отношения
(z, z1 , z2 , z3 ) ≡ (L(z), L(z1 ), L(z2 ), L(z3 )).
В силу предложения 2 левая часть последнего тождества вещественна
в том и только в том случае, когда z ∈ C. Применение предложения 2
46
Глава II .
Аналитические функции как отображения
к правой части тождества показывает, что L(z) пробегает окружность, проходящую через L(z1 ), L(z2 )L(z3 ) и L(z3 ), когда z пробегает
C.
2
Принцип симметрии. Если дробно–линейное преобразование определяется вещественными коэффициентами, то оно переводит вещественную ось на себя, а точки z и z, симметричные относительно вещественной оси, в симметричные. В виду кругового свойства можно
ожидать выполнения этого и в более общей ситуации. Чтобы рассуждения были одинаково применимыми к прямой и окружности, естественно использовать ангармоническое отношение. Как видно из
предложения 2, в его терминах легко определяется попадание текущей точки на окружность, определяемую тремя своими точками.
Оказывается, ангармоническое отношение отражает и более точное
расположение точек относительно окружности.
Предложение 3. Пусть z1 , z2 , z3 — три различные точки в C и
C — окружность (или прямая), проходящая через них. Тогда точки
z и z ∗ симметричны относительно C в том и только в том случае,
если выполняется соотношение
(z ∗ , z1 , z2 , z3 ) = (z, z1 , z2 , z3 ).
(4)
Доказательство. Поскольку T (z) = (z, z1 , z2 , z3 ) является взаимнооднозначным отображением C на себя, то достаточно показать, что
условие (4) влечет симметрию точек z и z ∗ . Выделим в доказательстве
два случая.
1) Пусть С — прямая. В этом случае (z1 − z2 )/(z1 − z3 ) вещественно и условие (4) принимает вид:
z ∗ − z2
z − z2
=
.
∗
z − z3
z − z3
Но тогда из равенств
z ∗ − z2
z − z2
arg ∗
= − arg
,
z − z3
z − z3
|z ∗ − z2 |
|z − z2 |
=
∗
|z − z3 |
|z − z3 |
следует подобие треугольников с вершинами z ∗ , z2 , z3 и z, z2 , z3 . Поскольку у них еще общая сторона, то они равны. Отсюда сразу же
следует симметричность z ∗ и z.
§ 3.
Дробно–линейные преобразования
47
2) Пусть C — окружность с центром в a и радиуса R. Систематическое использование инвариантности ангармонического отношения
дает:
(z ∗ , z1 , z2 , z3 ) = (z, z1 , z2 , z3 ) = (z − a, z1 − a, z2 − a, z3 − a)
R2
R2
R2
= z − a,
,
,
=
z
−
a
z
−
a
z
−
a
1
2
3
2
R
=
, z1 − a, z2 − a, z3 − a
z
−
a
2
R
=
+ a, z1 , z2 , z3 ,
z−a
откуда следует, что
z ∗ = a + R2 /(z − a)
(z ∗ − a)(z − a) = R2 .
и
Таким образом,
arg(z ∗ − a) = arg(z − a)
и
|z ∗ − a| · |z − a| = R2 .
2
Теорема 4. Если дробно–линейное преобразование L переводит
окружность C1 в окружность C2 (в расширенном смысле), то оно
преобразует каждую пару точек, симметричных относительно C1 ,
в пару точек, симметричных относительно C2 .
Доказательство. Пусть z1 , z2 , z3 — три различные точки на окружности C1 . Тогда симметричность точек z и z ∗ относительно C1 выражается равенством
(z ∗ , z1 , z2 , z3 ) = (z, z1 , z2 , z3 ) .
В силу инвариантности ангармонического отношения имеем
(L(z ∗ ), L(z1 ), L(z2 ), L(z3 )) = (L(z), L(z1 ), L(z2 ), L(z3 )) ,
48
Глава II .
Аналитические функции как отображения
что означает симметричность точек L(z ∗ ) и L(z) относительно
окружности, определяемой точками L(z1 ), L(z2 ) и L(z3 ), т. е. C2 .
2
Подытоживая полученные результаты, мы видим, что любые два
круга в C (т. е. круг или полуплоскость) являются конформно эквивалентными. Требуемое конформное отображение осуществляется
дробно–линейным преобразованием. Для его отыскания можно воспользоваться соответствием трех точек и искать его, разрешая уравнение
(w, w1 , w2 , w3 ) = (z, z1 , z2 , z3 ) ,
где z1 , z2 , z3 — точки на одной окружности, а w1 , w2 , w3 — точки на ее
образе. Однако этот путь приводит к громоздким формулам. Более
изящным является путь, использующий принцип симметрии.
Найдем для примера все дробно–линейные преобразования, которые отображают верхнюю полуплоскость на единичный круг и отображения единичного круга на себя. В первом случае допустим, что
A, Im A > 0, — точка, которая переходит в начало координат. В силу
принципа симметрии z = A будет переводить в точку w = ∞. Однако
точками, которые переходят в нуль и бесконечность, дробно–линейное
преобразование определяется однозначно с точностью до постоянного
множителя
z−A
w=k
.
(5)
z−A
Поскольку |x − A| = |x − A| при x ∈ R, то условие соответствия
вещественной оси и единичной окружности приводит к равенству
|k| = 1. Таким образом, общий вид требуемого отображения определяется формулой (5), в которой комплексные числа A и k играют
роль параметров и удовлетворяют условиям Im A > 0 и |k| = 1.
Аналогично устанавливается, что общий вид дробно–линейного
преобразования, отображающего единичный круг на себя, определяется формулой:
z−a
w=k
,
1 − az
где |a| < 1 и |k| = 1.
§ 4.
Элементарные конформные отображения
49
Упражнения
1. Докажите, что отображение
L −→
a b
c d
,
действующее из группы всех дробно–линейных преобразований в
группу матриц 2 × 2 относительно умножения, является гомоморфизмом.
2. Покажите, что отображения вида
w = z + a,
w = bz,
w = 1/z,
где a и b 6= 0 — комплексные числа, можно рассматривать как
систему образующих в группе всех дробно–линейных преобразований.
3. Докажите, что всякое дробно–линейное преобразование, которое
переводит вещественную ось в себя, можно записать с вещественными коэффициентами.
4. Пусть дробно–линейное преобразование переводит пару концентрических окружностей в другую пару концентрических окружностей. Докажите, что отношение радиусов окружностей при
этом сохраняется.
5. Найдите дробно–линейное преобразование, которое переводит
|z| = 1 и Re z = 2 в концентрические окружности. Чему равняется отношение их радиусов ?
§ 4.
Элементарные конформные отображения
Конформное отображение, ассоциированное с аналитической
функцией, позволяет получить наглядное представление о ней, подобно графику в случае функции вещественного пременного. Кроме
того, во многие области математики теория функции комплексного
переменного входит через конформное отображение. Одной из наиболее важных проблем, возникающих при этом, является задача отыскания конформного отображения одной области на другую. Чтобы
50
Глава II .
Аналитические функции как отображения
иметь представление о разрешимости этого вопроса в рамках элементарных функций, нужно хорошо знать их отображающие свойства. Последнее достигается, как правило, выяснением вопроса, как
преобразуются те или иные семейства кривых. Наиболее общий подход состоит в изучении образов координатных прямых x = x0 или
y = y0 . Если записать f (z) = u(x, y) + iv(x, y), то образом прямой
x = x0 будет кривая, которая задается параметрическими уравнениями u = u(x0 , y), v = v(x0 , y), −∞ < y < ∞. Образы прямой y = y0
описываются аналогично. Вместе они образуют ортогональную сетку
в w-плоскости. В некоторых случаях удобно использовать полярные
координаты и изучать образы концентрических окружностей и прямолинейных лучей, выходящих из начала координат.
Основным инструментом в практике конформного отображения
являются дробно–линейные преобразования, степенная функция, экспонента и логарифм.
Степенная функция. w = z α , 0 < α < ∞. Ранее мы видели, что в
−
C \ R выделяется однозначная ветвь функции z α . Поскольку
|w| = |z|α ,
arg w = α arg z,
то концентрические окружности с центром в начале координат переводятся в окружности этого же семейства, а лучи, выходящие из
начала координат, переводятся в такие же лучи. Из равенства
(z α )0 = α
w
z
следует, что степенная функция осуществляет отображение, конформное во всех точках z 6= 0, а угол θ в начале координат преобразуется в угол раствора αθ.
Таким образом, в случае 0 < α ≤ 1 степенная функция од−
нолистна в области C \ R и конформно отображает ее на сектор
{w : −απ < arg w < απ}. В случае α > 1 степенная функция не яв−
ляется однолистной в C \ R . Однако она будет однолистной в любом
секторе {w : −π/α < arg w < π/α}.
Экспонента. w = ez переводит прямые x = x0 и y = y0 в окружности с центром в начале координат и в лучи, выходящие из начала
§ 4.
Элементарные конформные отображения
51
координат соответственно. Всякая другая прямая в z-плоскости переходит в логарифмическую спираль. Экспонента является однолистной в каждой области, которая не содержит ни одной пары точек,
разность которых кратна 2πi. В частности, горизонтальная полоса
{z : y1 < Im z < y2 } при y2 − y1 < 2π отображается на сектор
{w : y1 < arg w < y2 }, который в случае y2 − y1 = π является полуплоскостью.
В заключение этого параграфа рассмотрим рациональную функцию
Ã
!
1
1
1 + z2
w=
z+
=
,
2
z
2z
которая носит имя Жуковского, применившего ее для аэродинамического расчета крыльев. Она имеет два простых полюса в точках
z = 0 и ∞. Ее производная
Ã
dw
1
1
=
1− 2
dz
2
z
!
отлична от нуля всюду в C \ {0}, кроме точек z = ±1.
Выясним теперь условия однолистности функции Жуковского в
какой–либо области D ⊂ C. Пусть z1 , z2 — произвольные две точки в
C \ {0}. Тогда
Ã
!
Ã
1
1
1
= (z1 − z2 ) 1 −
z1 + − z2 +
z1
z2
z1 z2
!
и мы видим, что D является областью однолистности функции Жуковского в том и только в том случае, если она не содержит пары
точек z1 , z2 , для которых z1 · z2 = 1. Простейшими такими областями являются внутренность и внешность единичного круга. Чтобы
наглядно представить отображение, осуществляемое функцией Жуковского, положим z = r eiθ , w = u + iv. Тогда
Ã
!
1
1
u=
r+
cos θ,
2
r
Ã
!
1
1
v=
r−
sin θ.
2
r
Из этих равенств видно, что окружности |z| = r0 , r0 > 1, переходят
в эллипсы с полуосями
Ã
!
1
1
a=
r0 +
,
2
r0
Ã
1
1
b=
r0 −
2
r0
!
52
Глава II .
Аналитические функции как отображения
и фокусами в точках w = ±1, поскольку a2 − b2 = 1. При r + 0 → 1
имеем b → 1 и эллипсы стягиваются к отрезку [−1, 1]. Лучи θ = θ0 ,
1 < r < ∞, преобразуются в части гипербол
u2
v2
=1
−
cos2 θ0 sin2 θ0
с теми же фокусами ±1. В силу конформности семейство этих гипербол ортогонально описанному выше семейству эллипсов.
Глава III
Комплексное интегрирование
§ 1.
Определение и основные свойства интеграла
Пусть γ : z = z(t), α ≤ t ≤ β, — некоторая кривая в C. Под ее
длиной понимается величина
length(γ) = sup
n
X
|z(ti ) − z(ti−1 )|,
i=1
где супремум берется по всем разбиениям α = t0 < t1 < . . . < tn =
β интервала [α, β] (или кривой γ). Если этот супремум конечен, то
кривая γ называется спрямляемой. Для каждого разбиения кривой
γ и функции f , определенной на этой кривой (точнее на множестве
{z = z(t) : t ∈ [α, β]}), рассмотрим два типа интегральных сумм:
n
X
n
X
f (z(τi ))(z(ti ) − z(ti−1 )),
i=1
f (z(τi ))|z(ti ) − z(ti−1 )|,
i=1
где τi ∈ [ti−1 , ti ], i = 1, . . . , n. Из теории криволинейных интегралов первого и второго рода, примененной к вещественной и мнимой
частям этих сумм, следует существование их пределов при условии
спрямляемости γ и непрерывности f , когда max i |ti − ti−1 | → 0. Эти
пределы будем соответственно обозначать:
Z
Z
Z
f (z) dz = (u dx − v dy) + i (u dy + v dx),
γ
γ
Z
γ
Z
f (z) |dz| =
γ
Z
u ds + i
γ
53
v ds,
γ
54
Глава III .
Комплексное интегрирование
где f (z) = u(x, y) + iv(x, y), z = x + iy, а ds — элемент длины. В
случае кусочно–гладкой кривой имеем также
Zβ
Z
f (z) dz =
γ
Zβ
Z
f (z(t))z (t) dt,
f (z) |dz| =
α
γ
f (z(t))|z 0 (t)| dt.
α
Из свойств криволинейных интегралов сразу же следуют аналогичные свойства введенных интегралов:
Z
Z
(af + bg) dz = a
γ
Z
f dz + b
Z γ
Z
f dz =
γ1 +γ2
γ
Z
f dz +
γ1
g dz (линейность),
f dz
(аддитивность).
γ2
В этих двух равенствах dz можно заменить на |dz|. Однако
Z
Z
f dz = −
Z
f dz,
f |dz| =
γ
−γ
Z
−γ
f |dz|.
γ
Применяя неравенство треугольника к интегральным суммам, получаем следующее неравенство:
¯
¯Z
¯
¯
¯
¯
¯γ
¯
¯
¯
f (z) dz ¯¯¯
¯
Z
≤
|f (z)| · |dz|.
γ
Заметим, что при f (z) ≡ 1 последний интеграл равняется длине кривой γ, т. е.
Z
|dz| = length(γ).
γ
Другой аспект интегрального исчисления связан, как и в вещественном анализе, с рассмотрением интегрирования как операции, обратной к дифференцированию. В связи с этим аналитическую в области D функцию F будем называть первообразной функции f , если
F 0 (z) = f (z) для всех z ∈ D. Другими словами, f (z) dz является полным дифференциалом в области D.
Эти две концепции интегрирования связывает следующая теорема.
Теорема 1. Пусть f — непрерывная в области D функция. Тогда
интеграл
Z
f (z) dz
γ
§ 1.
Определение и основные свойства интеграла
55
определяется только концевыми точками кривой γ, расположенной
в области D, и не зависит от ее формы в том и только в том
случае, когда f (z) dz — полный дифференциал в области D.
Доказательство. Пусть f (z) dz — полный дифференциал, т. е. существует такая аналитическая в области D функция F , что F 0 (z) =
f (z) при z ∈ D. Если γ : z = z(t), α ≤ t ≤ β, — кусочно–гладкая
кривая в области D, то
Zβ
Z
f (z) dz =
γ
Zβ
d
F (z(t)) dt = F (z(β)) − F (z(α)).
dt
f (z(t))z (t) dt =
α
α
Случай произвольной спрямляемой кривой легко достигается путем
аппроксимации ее ломаными. Однако мы не будем активно этим
пользоваться и всюду в дальнейшем будем иметь дело в основном
с кусочно–гладкими кривыми.
R
Обратно, пусть интеграл γ f (z) dz не зависит от формы кривой
в области D. Фиксируем произвольную точку z0 ∈ D и определим
функцию
Z
F (z) = f (z) dz,
γ
где γ — ломаная, соединяющая z0 с текущей точкой z. В силу сделанных предположений функция F корректно определена. Покажем,
что она голоморфна в D и F 0 (z) = f (z). Действительно, пусть z —
произвольная точка области D и ε > 0. В силу открытости D и непрерывности f найдется такое δ > 0, что (z +ζ) ∈ D и |f (z +ζ)−f (z)| < ε
при |ζ| < δ. Тогда
Z
F (z + ζ) − F (z) =
f (ξ) dξ,
[z,z+ζ]
где [z, z + ζ] — отрезок, соединяющий z и z + ζ. Поскольку
Z
Z
f (ξ) dξ = ζ · f (z) +
[z,z+ζ]
то
¯
¯
¯ F (z
¯
¯
¯
+ ζ) − F (z)
−
ζ
[f (ξ) − f (z)] dξ,
[z,z+ζ]
¯
¯
¯
f (z)¯¯
¯
=
1
|ζ|
¯
¯
¯ Z
¯
¯
¯
¯
¯[z,z+ζ]
[f (ξ) − f (z)]
¯
¯
¯
¯
dξ ¯¯
¯
¯
≤
56
Глава III .
≤
Комплексное интегрирование
ε
length ([z, z + ζ]) = ε.
|ζ|
2
В качестве приложения доказанной теоремы отметим, что для
любой замкнутой кривой γ и целого неотрицательного n
Z
(z − a)n dz = 0.
γ
Действительно, функция (z − a)n+1 /(n + 1) является первообразной
подынтегральной функции во всей комплексной плоскости, а в силу замкнутости γ ее начальная и конечная точки совпадают. Если
n отрицательно, но не равно −1, то аналогичный результат имеет
место для любой замкнутой кривой γ, не проходящей через точку a,
поскольку в области C\{a} приведенная выше функция является первообразной. При n = −1 это уже выполняется не всегда. Рассмотрим
круг ∆ = {z : |z − a| < r}. Через ∂∆ обозначим положительно ориентированную границу этого круга. В дальнейшем в случае таких
простых областей, как круг, треугольник, прямоугольник, будем под
положительно ориентированной границей понимать окружность или
соответствующую ломаную, которая однократно обходится так, что
ограниченная ею область остается слева. Часто такое определение
положительно ориентированной границы распространяют вплоть до
жордановых областей, хотя в этом случае оно лишено смысла.
Итак, параметризацию ∂∆ : z = a + reit , 0 ≤ t ≤ 2π, можно рассматривать как представитель положительно ориентированной
границы круга ∆. Тогда z 0 = ireit dt и
Z
∂∆
dz
=
z−a
Z2π
i dt = 2πi.
В случае когда кривая γ содержится в некоторой полуплоскости, не
содержащей точки a, имеет место равенство:
Z
γ
dz
= 0,
z−a
поскольку в этой полуплоскости можно выделить однозначную ветвь
ln(z − a), которая будет первообразной подынтегральной функции.
§ 1.
Определение и основные свойства интеграла
57
Упражнения
1. Используя представление
1
1
r2
x = (z + z) =
z+
2
2
z
на окружности |z| = r, вычислите интеграл
Z
x dz,
∂∆
где ∆ = {z : |z| < r}.
2. Вычислите интеграл
Z
|z − 1| · |dz|,
∂∆
где ∆ = {z : |z| < 1}.
3. Допустим, что функция f аналитична на замкнутой кривой γ и
f 0 непрерывна на ней. Докажите, что
Z
f (x)f 0 (z) dz
γ
является чисто мнимым.
R
R
Решение. Поскольку f f 0 dz = w dw и (u−iv) d(u+iv) = (u du+
R
R
R
v dv)−i(v du−u dv), то Re f f 0 dz = u du+v dv = 12 d(u2 +v 2 ) = 0
(замкнутость кривой).
4. Допустим, что f аналитична в области D и удовлетворяет неравенству |f (z) − 1| < 1 при z ∈ D. Предполагая для удобства
непрерывность f 0 , докажите, что
Z
γ
f 0 (z)
dz = 0
f (z)
для любой замкнутой кривой γ в D.
R
R
γ
γ
5. Пусть по определению f dz = f dz. Покажите, что если P (z) —
полином и ∆ = {z : |z − a| < r}, то
Z
∂∆
P (z) dz = −2πir2 P 0 (a).
58
Глава III .
Комплексное интегрирование
Решение. Пусть
r2k
P (z) =
bk (z − a) ⇒ P (z) =
bk
(z − a)k
k=0
k=0
n
X
и
n
X
k
Z
P dz = 2πib1 r2 .
∂∆
§ 2.
Теорема Коши в выпуклой области
В предыдущем параграфе мы установили, что существование
первообразной функции f в области D эквивалентно условию незавиR
симости интеграла γ f dz от формы кривой. Последнее равносильно
обращению в нуль этого интеграла по любой замкнутой кривой γ в D.
Действительно, если γ1 и γ2 — две кривые в D с одними и теми же концевыми точками, то γ1 −γ2 будет замкнутой кривой и равенство нулю
R
R
R
интеграла γ1 −γ2 приводит к равенству γ1 = γ2 . Результаты, устанавливающие равенство нулю интегралов от аналитических функций
вдоль кривых или систем кривых, носят название теорем Коши.
В этом параграфе мы установим теорему Коши для выпуклой
области. Случай более сложных областей потребует развития дополнительных топологических средств. Следующий результат принадлежит Гурса и иногда называется основной леммой интегрального
исчисления.
Лемма. Пусть f — аналитическая в области D функция и треугольник ∆ содержится в D вместе со своим замыканием. Тогда
Z
f (z) dz = 0.
∂∆
Доказательство. Введем для интеграла вдоль положительно ориентированной границы треугольника ∆ обозначение:
Z
η(∆) =
f (z) dz.
∂∆
§ 2.
Теорема Коши в выпуклой области
59
Соединяя середины сторон треугольника ∆, разобьем его на четыре
конгруентных треугольника ∆(1) , . . . ∆(4) . Очевидно, что
η(∆) = η(∆(1) ) + . . . + η(∆(4) ),
поскольку интегрирования вдоль общих сторон взаимно уничтожаются. Из этого равенства следует, что найдется среди ∆(1) , . . . , ∆(4)
треугольник, обозначим его ∆1 , для которого |η(∆1 )| ≥ 41 |η(∆)|. Те(4)
(1)
перь разобьем ∆1 на четыре конгруентных треугольника ∆1 , . . . , ∆1
и выберем из них ∆2 так, чтобы выполнялось неравенство |η(∆2 )| ≥
1
4 |η(∆1 )|. Продолжая этот процесс, получим последовательность вложенных треугольников ∆ ⊃ ∆1 ⊃ ∆2 ⊃ . . . удовлетворяющих условию
|η(∆n )| ≥ 14 |η(∆n−1 )|. Следовательно, при всех натуральных n
1
|η(∆)|.
(1)
4n
Легко видеть, что центры треугольников ∆n образуют сходящуюся
последовательность и в силу замкнутости треугольников мы получаем существование точки z ∗ ∈ ∆, которая принадлежит всем треугольникам последовательности.
Для произвольного ε > 0 выберем δ > 0 так, чтобы окрестность
∗
O(z , δ) содержалась в области D и при z ∈ O(z ∗ , δ) выполнялось
неравенство
¯
¯
¯
¯
∗
¯ f (z) − f (z )
0 ∗ ¯¯
¯
−
f
(z
)
(2)
¯
¯ < ε.
¯
¯
z − z∗
Поскольку периметры треугольников ∆n связаны с периметром исходного треугольника соотношением
|η(∆n )| ≥
1
λ,
2n
где λ = length(∂∆), то найдется такой номер n, что ∆n ⊂ O(z ∗ , δ).
Заметим также, что
length(∂∆n ) =
Z
Z
dz = 0,
∂∆n
z dz = 0,
∂∆n
поскольку dz и z dz являются полными дифференциалами в C. Но
тогда
Z
η(∆n ) =
[f (z) − f (z ∗ ) − (z − z ∗ )f 0 (z ∗ )] dz
∂∆n
60
Глава III .
и в силу (2)
Z
|η(∆n )| ≤ ε
Комплексное интегрирование
|z − z ∗ | · |dz|.
∂∆n
Подынтегральное выражение не превышает периметра треугольника
∆n , т. е. величины λ/2n , и мы можем продолжить оценку:
λ2
|η(∆n )| ≤ ε n .
4
Сравнивая ее с неравенством (1), получаем
|η(∆)| ≤ ελ2 .
Поскольку ε было произвольным, то η(∆) = 0 и лемма доказана.
2
Теорема 1. Пусть f —аналитическая в выпуклой области D функция. Тогда f(z) dz — полный дифференциал в D и
Z
f (z) dz = 0
γ
для любой замкнутой кривой γ в D.
Доказательство. Фиксируем произвольно в области D точку a и
определим в D функцию
Z
F (z) =
f (ζ) dζ.
[a,z]
Из доказанной леммы следует, что
Z
F (z + ζ) − F (z) =
f (ξ) dξ
[z,z+ζ]
при любых z ∈ D и ζ, для которого (z + ζ) ∈ D. Здесь мы используем
также выпуклость области D.
Повторяя теперь рассуждения, проведенные при доказательстве
теоремы предыдущего параграфа, придем к заключению о дифференцируемости функции F и выполнению равенства F 0 (z) = f (z). Таким
§ 3.
Индекс. Цепи и циклы
61
образом, f (z) dz является полным дифференциалом в области D и
теорема доказана.
2
Замечание. Полученный результат влечет локальную теорему существования первообразной голоморфной функции. Если f голоморфна в произвольной области D, то в любом круге ∆ ⊂ D она
имеет первообразную. Вопрос существования глобальной первообразной существенно зависит от топологических свойств области D. В
предыдущем параграфе мы видели, что уже в кольце он может решаться отрицательно. С другой стороны, выпуклость области вовсе
не обязательна.
§ 3.
Индекс. Цепи и циклы
Чтобы активнее включить аналитический аппарат в изучении
свойств, введем сразу понятие индекса для кусочно–гладких кривых,
хотя это — чисто топологическое понятие. Кроме того, аналитическое определение индекса позволит в дальнейшем эффективнее его использовать в вычислениях.
Определение. Пусть γ — кусочно–гладкая замкнутая кривая, не
проходящая через точку a. Тогда индексом J(γ, a) точки a относительно кривой γ называется число
1 Z dz
J(γ, a) =
.
2πi γ z − a
Иногда J(γ, a) называют порядком кривой γ относительно точки
a. Выясним геометрический смысл индекса. Пусть z = z(t), α ≤ t ≤
β, — параметризация кривой γ. Поскольку расстояние от a до γ положительно, то найдется такое разбиение α = t0 < t1 < . . . < tn = β
интервала [α, β], что каждая из кривых γk : z = z(t), tk−1 ≤ t ≤
tk , k = 1, . . . , n, содержится в некотором круге ∆k (каждая в своем),
не содержащем точку a. Очевидно, что γ = γ1 + . . . + γn и
n Z
1 Z dz
1 X
dz
J(γ, a) =
=
.
2πi γ z − a
2πi k=1γk z − a
62
Глава III .
Комплексное интегрирование
C другой стороны, в каждом круге ∆k можно выделить однозначную
ветвь функции ln(z − a) и
Z
γk
¯
¯
¯
¯
dz
z(tk ) − a
¯ z(tk ) − a ¯
¯
¯ + i arg
= ln ¯
.
¯
¯ z(tk−1 ) − a ¯
z−a
z(tk−1 ) − a
Выражение в правой части этого равенства не зависит от выбора
ветви ln(z − a) в круге ∆k , а мнимая часть его равна приращению
(в радианной мере) угла, который описывает вектор z − a на дуге
γk . Суммируя эти равенства по k от 1 до n, получаем чисто мнимое
число, которое выражает полное приращение угла поворота вектора
z − a на всей кривой γ. Учитывая нормирующий множитель в определении J(γ, a), приходим к выводу, что индекс точки a относительно
кривой γ выражает число оборотов вектора, соединяющего a с точкой
z(t), когда она обходит кривую γ. Отсюда следует, в частности, что
индекс принимает только целочисленные значения.
Отметим теперь другие свойства индекса. Непосредственно из
определения следует, что
J(−γ, a) = −J(γ, a).
Теорема 1. Как функция точки a индекс J(γ, a) является постоянным в каждой компоненте связности множества C \ γ и обращается в нуль во внешней компоненте связности.
Доказательство. Пусть две точки a и b принадлежат одной компоненте связности множества C \ γ. Тогда в этой компоненте связности
их можно соединить ломаной. Таким образом, первая часть утверждения будет доказана, если мы покажем, что J(γ, a) = J(γ, b) в случае,
когда отрезок [a, b] не пересекается с γ.
Поскольку отображение w = (z − a)/(z − b) переводит внешность
−
отрезка [a, b] на C \ R , то во внешности этого отрезка выделяется
z−a
. При этом
однозначная ветвь функции ln
z−b
Ã
z−a
ln
z−b
и, следовательно,
Z Ã
γ
!0
=
1
1
−
z−a z−b
!
1
1
−
dz = 0,
z−a z−b
§ 3.
Индекс. Цепи и циклы
63
что означает равенство J(γ, a) = J(γ, b).
Осталось показать, что во внешней компоненте J(γ, a) = 0. Это
следует из постоянства индекса в ней и того, что интеграл
Z
γk
dz
z−a
стремится к нулю, когда a → ∞.
Рассмотрим случай, когда γ = ∂∆ — положительно ориентированная граница круга ∆ = {z : |z − a| < r}. Из геометрического
смысла (или из вычислений, проведенных в конце § 1) следует, что
J(∂∆, a) = 1. В силу доказанной теоремы J(∂∆, ζ) = 1 ∀ζ ∈ ∆ и
J(∂∆, ζ) = 0 при ζ ∈ C \ ∆. Этим оправдывается термин ”положительно ориентированная граница”. Сделаем еще одно важное наблюдение. Если кривую γ непрерывно деформировать, не задевая точку
a, то J(γ, a) будет меняться непрерывно. Однако, в силу целочисленности индекса, J(γ, a) будет оставаться при этом постоянным. Это
может быть эффективно использовано при вычислении индекса относительно сложных кривых.
Отмечая, наконец, топологический характер индекса, наметим
путь определения J(γ, a) в случае произвольной замкнутой кривой
γ, не проходящей через точку a. Для этого кривая γ разбивается на
дуги γ1 , . . . , γn , каждая из которых содержится в некотором круге,
не содержащем точки a. Обозначая через σk отрезок, соединяющий
начало и конец дуги γk , определим ломаную σ1 + . . . + σn и положим
J(γ, a) = J(σ, a).
Упражнения
1. Покажите, что приведенное выше определение J(γ, a) не зависит
от ломаной σ.
2. Покажите, что новое определение индекса совпадает с прежним
на кусочно–гладких кривых.
3. Докажите теорему 1 для произвольных замкнутых кривых.
Как уже отмечалось, обобщение теоремы Коши будем развивать
в двух направлениях. С одной стороны, будем искать наиболее широкий класс областей, для которых утверждение теоремы остается
64
Глава III .
Комплексное интегрирование
в силе. С другой стороны, считая область произвольной, будем искать системы кривых, на которых результат интегрирования любой
аналитической функции будет нулем.
Вначале рассмотрим расширение понятия кривой в рамках интегрирования. В качестве отправного пункта возьмем равенство
Z
Z
f (z) dz =
γ1 +...+γn
Z
f (z) dz + . . . +
γ1
f (z) dz,
(1)
γ2
которое имеет место в случае, когда γ1 , . . . , γn , образуют разбиение
кривой γ = γ1 +. . .+γn . Заметим, что правая часть в (1) имеет смысл и
тогда, когда γ1 , . . . , γn — произвольная совокупность кривых. В этом
случае формальную сумму
γ1 + γ2 + . . . + γn = γ
(2)
назовем цепью. Очевидно, что различные формальные суммы (2) могут представлять одну и ту же цепь. Другими словами, под цепью
следует понимать класс эквивалентных формальных сумм (2), а эквивалентными читать те цепи, которые дают одно и то же значение
интегралу (1) при любой непрерывной функции f . Очевидно, что следующие операции не выводят за класс эквивалентности:
(i) перестановка двух кривых γi и γj ;
(ii) разбиение кривой на дуги и объединение дуг в одну общую кривую;
(iii) аннулирование двух противоположно ориентированных дуг.
Очевидным образом определяется сумма двух цепей. Это достигается соединением двух сумм в одну общую сумму. В случае суммы
эквивалентных цепей удобно обозначить результат как кратное. В
такой терминологии каждую цепь можно представить в виде
γ = m1 γ1 + . . . + mn γn ,
(3)
где mj — положительные целые, а γj — различные кривые. Для противоположно ориентированных кривых можно писать
m(−γ) = −mγ,
§ 3.
Индекс. Цепи и циклы
65
и тогда (3) преобразуется в сумму, в которой отсутствуют пары противоположно ориентированных кривых, но коэффициенты mj могут
быть отрицательными целыми. Допуская также нулевые коэффициенты, можно любые две цепи представить в виде (3) с одними и теми
же кривыми γj . Тогда их сумма будет получаться простым суммированием коэффициентов при одноименных кривых. Под нулевой цепью
будем понимать либо пустую сумму, либо сумму с нулевыми коэффициентами.
Цепь γ будем называть циклом, если ее можно представить в
виде (3), где все γj являются замкнутыми кривыми. Будем также
говорить, что цепь (или цикл) содержится в области D, если она
допускает представление (3), в котором все кривые γj расположены в D. В этом контексте циклы играют роль замкнутых кривых.
В частности, для любого цикла γ и точки a 6∈ γ (т. е. γ допускает
представление (3), каждая кривая γj которого не проходит через a)
определен индекс
J(γ, a) =
n
X
mj J(γj , a).
j=1
Он обладает теми свойствами, что были установлены выше, если
кривые заменить на циклы.
Определение. Цикл γ в области D называется гомологичным нулю
относительно области D, если J(γ, a) = 0 для любой точки a 6∈
D. При этом пишут γ ∼ 0(mod D) или просто γ ∼ 0, если ясно,
относительно какой области.
Понятие γ1 ∼ γ2 (mod D) означает, что γ1 − γ2 ∼ 0(mod D). Запас
циклов в области D, гомологичных нулю, зависит от ее топологических свойств, т. е. является топологической характеристикой области.
Можно пойти немного дальше и ввести в рассмотрение группу гомологий.
Теорема 2. Область D ⊆ C односвязна в том и только в том случае, если всякий цикл γ в D является гомологичным нулю относительно области D.
66
Глава III .
Комплексное интегрирование
Доказательство. Допустим вначале, что D односвязна и цикл γ
расположен в D. Поскольку C \ D связно и содержит ∞, то оно содержится во внешней компоненте связности множества C \ γ. Следовательно, по теореме 1 имеем J(γ, a) = 0 для всех a 6∈ D, что означает
γ ∼ 0(mod D).
Обратно, допустим, что A = C \ D не является связным. Это
означает существование таких открытых множеств G1 и G2 , что A1 =
A ∩ G1 и A2 = A ∩ G2 не пусты A = A1 ∪ A2 , и
G1 ∩ G2 ∩ A 6= 0.
(4)
Замкнутость множества A влечет замкнутость A1 и A2 . Действительно, если, например, предположить, что ζ ∈ A2 является предельной
точкой множества A1 , то O(ζ, ε) ∩ A1 6= 0 для любого ε > 0. Однако, в силу открытости множества G2 , найдется такое ε > 0, что
O(ζ, ε) ⊆ G2 . В результате мы приходим в противоречие с условием
(4).
Одно из множеств, пусть это будет для определенности A2 , содержит ∞. Тогда множество A1 будет ограниченным и пусть δ > 0
меньше расстояния от A1 до A2 . Выберем точку a ∈ A1 и выполним
разбиение плоскости на квадраты со сторонами δ/2 проведением сетки прямых, параллельных координатным осям, так, чтобы a являлось
центром одного из квадратов Q0 . Занумеруем также все остальные
квадраты Q1 , . . . , Qn , замыкание которых имеет непустое пересечение
с A1 . Поскольку A1 ограничено, то их будет конечное число, а в силу выбора δ пересечение любого с множеством A2 пусто. Рассмотрим
цикл
γ=
n
X
∂Qj .
(5)
j=0
Поскольку для каждого из квадратов, кроме Q0 , точка a является
внешней, то
J(γ, a) =
n
X
J(∂Qj , a) = J(∂Q0 , a) = 1.
j=0
При этом, после аннулирования сторон квадратов, входящих в γ с
противоположной ориентацией, цикл γ будет расположен в D. Действительно, каждая сторона, имеющая непустое пересечение с A1 , входит в сумму (5) в качестве частей границ двух смежных квадратов с
§ 4.
Общая форма теоремы Коши
67
противоположной ориентацией. Таким образом, мы нашли цикл γ в
D, который не является гомологичным нулю относительно D.
2
§ 4.
Общая форма теоремы Коши
Понятие цикла, гомологичного нулю, позволяет сформулировать
наиболее общий вид теоремы Коши.
Теорема 1. Пусть f — голоморфная в области D функция и цикл
γ гомологичен нулю относительно области D. Тогда
Z
f (z) dz = 0.
γ
Доказательство. Выполним вначале разбиение γ на дуги γ1 , . . . , γn
так, чтобы каждая γj содержалась в круге ∆j ⊂ D. Поскольку
f (z) dz — полный дифференциал в ∆j , то
Z
Z
f (z) dz,
f (z) dz =
γj
λj
где λj — ломаная, соединяющая в ∆j концы дуги γj и имеющая звенья,
P
параллельные координатным осям. Сумма λ = nj=1 λj представляет
собой цикл, состоящий из замкнутых ломаных со звеньями, параллельными координатным осям. При этом
Z
Z
f (z) dz =
λ
f (z) dz.
(1)
γ
Заметим, что (1) имеет место для любой аналитической в D функции
f . В частности, если a 6∈ D, то 1/(z − a) является аналитической в D
и J(λ, a) = J(γ, a) = 0, т. е. λ ∼ 0.
Далее, через каждую вершину λ проведем прямые, параллельные координатным осям. В результате мы получим сетку, разбивающую всю плоскость на конечное число прямоугольников Q1 , . . . , Qn0 и
неограниченных областей H1 , . . . Hn00 типа полуполос или углов. Исключая тривиальный случай, когда λ расположено на одной прямой,
существует хотя бы один прямоугольник, т. е. n0 6= 0. Обозначим
68
Глава III .
Комплексное интегрирование
через aj центры прямоугольников Qj и покажем, что λ можно представить в виде
λ=
n0
X
J(λ, aj )∂Qj .
(2)
j=1
Для этого нам нужно показать, что
σ =λ−
n0
X
J(λ, aj )∂Qj
j=1
является нулевым циклом.
Допустим вначале, что σij — сторона, общая для двух прямоугольников Qi и Qj . Будем считать, что σij ориентирована как в ∂Qi .
Допустим также, что σij входит в σ с коэффициентом k. Тогда цикл
σ − k∂Qi не содержит σij и точки ai , aj принадлежат одной и той
же компоненте связности множества C \ (σ − k∂Qi ). По теореме 1
предыдущего параграфа
J(σ − k∂Qi , ai ) = J(σ − k∂Qi , aj )
(3)
С другой стороны, используя равенство J(∂Qr , as ) = δrs — символ
Кронекера, получаем
Ã
J(σ − k∂Qi , ai ) = J λ −
n0
P
r=1
!
J(λ, ar )∂Qr − k∂Qi , ai =
= J(λ, ai ) − J(λ, ai ) · J(∂Qi , ai ) − kJ(∂Qi , ai ) = −k
и
J(σ − k∂Qi , aj ) = J(λ, aj ) − J(λ, aj ) · 1 − k · 0 = 0.
Таким образом, в силу равенства (3) имеем k = 0 и отрезок σij не
входит в σ.
Аналогично рассматривается случай, когда σij является смежной
стороной прямоугольника Qi и неограниченной области Hj . В этом
случае из точки ai можно провести луч, расположенный в Qi ∪ Hj .
Это означает, что ai находится во внешней компоненте множества
C\(σ −k∂Qi ) и, следовательно, J(σ −k∂Qi , ai ) = 0. С другой стороны,
проведенные выше вычисления дают J(σ −k∂Qi , ai ) = −k, и мы снова
получаем k = 0.
§ 4.
Общая форма теоремы Коши
69
Таким образом, представление (2) доказано. Покажем теперь, что
это представление является внутренним относительно области D. Более точно, что в сумму (2) входят с ненулевыми коэффициентами
лишь те ∂Qi , для которых Qi ⊂ D. Действительно, пусть a ∈ Qi и
a 6∈ D. Поскольку λ ∼ 0(mod D), то J(λ, a) = 0. Кроме того, в рассматриваемом случае отрезок [ai , a] не пересекает λ и по теореме 1
предыдущего параграфа J(λ, ai ) = J(λ, a) = 0, т. е. коэффициент
перед ∂Qi в сумме (2) равен нулю.
Из теоремы Коши для выпуклой области для прямоугольников
Qi ⊂ D имеет место равенство
Z
f (z) dz = 0,
∂Qi
откуда следует равенство
Z
f (z) dz = 0,
λ
которое в силу (1) доказывает теорему.
2
Из доказанной теоремы и гомологического описания односвязной
области (теорема 2 предыдущего параграфа) сразу же следует
Теорема 2. Если f — аналитическая в односвязной области D
функция и γ — замкнутая кривая в D, то
Z
f (z) dz = 0.
γ
В традиционных курсах теории аналитических функций нет упоминания о гомологиях и не используется явно понятие индекса. Обычно под γ понимают систему кривых, образующих полную границу некоторой подобласти в D и ориентированных так, что при их обходе
выделяемая подобласть остается слева. Однако при строгом изложении нужны значительные усилия, чтобы придать точный смысл этому интуитивному представлению. Основное возражение против такого подхода1 состоит в необходимости очень большую часть времени
1
см.: Ahlfors L.V., Complex analysis, New York: McGraw–Hill, 1966, стр. 150.
70
Глава III .
Комплексное интегрирование
посвятить периферийным с точки зрения предмета исследований вопросам. В контексте наших рассмотрений легко выделить классический случай путем введения следующего понятия.
Определение. Будем говорить, что цикл γ ограничивает область
D, если индекс J(γ, a) определен и равен 1 для любой точки a ∈ D и
либо не определен, либо равен нулю для точек a 6∈ D.
Заметим, что если γ ограничивает D и D ∪ γ содержится в более
широкой области D0 , то γ ∼ 0(mod D0 ).
Теорема 3. Пусть цикл γ ограничивает область D и f — аналитическая на множестве D ∪ γ функция. Тогда
Z
f (z) dz = 0.
γ
§ 5.
Интегральная формула Коши и некоторые ее следствия
Теорема 1. Пусть f — аналитическая в области D функция и γ —
цикл гомологичный нулю относительно области D. Тогда для любой
точки a ∈ D \ γ выполняется равенство
1 Z f (z) dz
J(γ, a) · f (a) =
.
2πi γ z − a
(1)
Доказательство. Поскольку D \ γ является открытым множеством,
то для достаточно малых r > 0 круг ∆ = {z : |z − a| ≤ r} содержится
в D \ γ. Легко видеть, что цикл γ − J(γ, a) · ∂∆ будет гомологичен
нулю относительно проколотой области D \ {a}. Заметим также, что
в проколотой области функция f (z)/(z − a) является аналитической,
и применяя теорему Коши, получим
1 Z f (z) dz
1 Z f (z) dz
= J(γ, a) ·
.
2πi γ z − a
2πi ∂∆ z − a
(2)
Однако
¯
¯
¯ 1 Z
¯
¯
¯ 2πi
¯
∂∆
f (z) dz
−
z−a
¯
¯
¯
f (a)¯¯¯
¯
1
=
2π
¯
¯Z
¯
¯
¯
¯
¯∂∆
f (z) − f (a)
z−a
¯
¯
¯
dz ¯¯¯
¯
≤r·
¯
¯
¯ f (z)
max ¯¯
z∈∂∆ ¯
z
¯
− f (a) ¯¯¯
¯
−a ¯
§ 5.
Интегральная формула Коши и некоторые ее следствия
71
и может быть сделано сколь угодно малым при r → 0. Осуществляя
в (2) предельный переход при r → 0, получаем (1).
2
Замечание. Наиболее частое применение доказанной теоремы относится к случаю, когда цикл γ ограничивает область D и функция f
является аналитической на множестве D ∪ γ. В этом случае для всех
z ∈ D имеет место равенство:
1 Z f (ζ) dζ
f (z) =
.
2πi γ ζ − z
(3)
Его называют интегральной формулой Коши. Она позволяет найти
значения функции f внутри области D по ее значениям на границе
γ.
Интегральная формула Коши дает идеальный инструмент для
исследования локальных свойств аналитических функций. При этом в
качестве γ мы можем брать окружность, которая ограничивает круг,
расположенный в D. В частности, мы можем теперь доказать, что
аналитическая функция имеет производные всех порядков, которые
сами являются аналитическими функциями. Для этого выделим отдельно конструкцию, содержащуюся в (1) и (3).
Пусть γ — некоторая кривая и ϕ — заданная на ней непрерывная
функция. Тогда выражение
1 Z ϕ(ζ) dζ
F (z) =
2πi γ ζ − z
называют интегралом Коши с плотностью ϕ. Формула (3) выражает
тот факт, что f представляет собой внутри D интеграл Коши.
Лемма. Пусть ϕ непрерывна на кривой γ. Тогда функции
Z
Fn (z) =
γ
ϕ(ζ) dζ
,
(ζ − z)n
n = 1, 2, . . ., являются аналитическими в каждой из областей, определяемых γ, и
Fn0 (z) = nFn+1 (z).
72
Глава III .
Комплексное интегрирование
Доказательство. Докажем вначале непрерывность F1 . Для произвольной точки z0 ∈ C \ γ выберем δ > 0 так, чтобы O(z0 , δ) не пересекалось с γ. Тогда для z ∈ O(z0 , δ/2) будем иметь
|F1 (z) − F1 (z0 )| = |z −
¯
¯Z
¯
z0 | ¯¯¯
¯γ
¯
¯
¯
2 Z
ϕ(ζ) dζ
¯
¯ ≤ |z − z0 |
|ϕ(ζ)||dζ|,
(ζ − z)(ζ − z0 ) ¯¯
δ2 γ
откуда следует непрерывность F1 в точке z0 .
Заметим теперь, что отношение разностей
F1 (z) − F1 (z0 ) Z
ϕ(ζ) dζ
=
z − z0
γ (ζ − z)(ζ − z0 )
имеет ту же структуру, что и F1 , с плотностью ϕ/(ζ −z0 ). Поэтому, по
доказанному, ее предел при z → z0 существует и равен F2 (z0 ). Таким
образом, равенство F10 (z) = F2 (z) установлено.
Воспользуемся теперь методом индукции и допустим, что дока0
зано соотношение Fn−1
(z) = (n − 1)Fn (z). Тогда из представления
Fn (z) − Fn (z0 ) =
Z
γ
Z ϕ(ζ) dζ
ϕ(ζ) dζ
+
−
n−1
n
(ζ − z) (ζ − z0 ) γ (ζ − z0 )
Z
+(z − z0 )
γ
ϕ(ζ) dζ
(ζ − z)n (ζ − z0 )
можно получить непрерывность Fn . Действительно, при z → z0 выражение в квадратных скобках стремится к нулю по предположению индукции, примененному к плотности ϕ/(ζ − z0 ), а интеграл при (z − z0 )
является ограниченным. Поделив теперь обе части равенства на z−z0
и используя предположение индукции и непрерывность Fn с плотностью ϕ/(ζ − z0 ), получаем:
Fn (z) − Fn (z0 )
= (n − 1)Fn+1 (z0 ) + Fn+1 (z0 ) = nFn+1 (z0 ),
z − z0
lim
z→z
что и следовало доказать.
2
Следствие. Из леммы и замечания к теореме 1 следует бесконечная дифференцируемость аналитической функции. Кроме того, в
§ 5.
Интегральная формула Коши и некоторые ее следствия
73
условиях справедливости формулы (3) выполняется также равенство:
n! Z f (ζ) dζ
f (n) (z) =
,
(4)
2πi γ (ζ − z)n+1
которое доказывается из леммы индукцией и также называется
интегральной формулой Коши для производных.
Приведем еще несколько следствий интегральной формулы Коши.
Теорема 2 (Морера). Если f определена и непрерывна в области
R
D и если f dz = 0 для любой замкнутой кусочно–гладкой кривой γ
γ
в D, то f аналитична в D.
Доказательство. Условие теоремы означает, что f dz — полный
дифференциал в D. Следовательно, найдется аналитическая в D
функция F , для которой F 0 (z) = f (z). Таким образом, f аналитична
как производная аналитической функции.
2
Следующий результат часто используется в приложениях.
Теорема 3. Пусть f — аналитическая в односвязной области D
функция и f (z) 6= 0 при z ∈ D. Тогда в D выделяются однозначные
ветви ln f (z) и (f (z))a , a ∈ C.
Доказательство. Поскольку f 0 также аналитична в D и f не обращается в нуль в D, то f 0 /f является аналитичной в D и по теореме
Коши для односвязной области имеет в D первообразную F , т. е.
F 0 = f 0 /f . Для некоторой точки z0 ∈ D фиксируем значение ln f (z0 ) и
нормируем F с условием F (z0 ) = ln f (z0 ). Тогда поскольку
³
´0
f (z)e−F (z) = f 0 (z)e−F (z) − F 0 (z)f (z)e−F (z) = 0
всюду в D и f (z0 )e−F (z0 ) = 1, то f (z)e−F (z) ≡ 1 и f (z) ≡ eF (z) . Последнее равенство означает, что F (z) = ln f (z). Выделение степени
f a определяется по формуле f a = ea ln f .
2
Следующий классический результат известен как теорема Лиувилля.
74
Глава III .
Комплексное интегрирование
Теорема 4. Если функция f голоморфна во всей плоскости C и
ограничена, то она тождественно постоянна.
Доказательство. Пусть |f (z)| ≤ M при всех z ∈ C. Полагая в (4)
z = z0 и выбирая в качестве γ положительно ориентированную границу круга |z − z0 | < r, получим
|f (n) (z0 )| ≤ n!M r−n .
(5)
Осуществляя предельный переход при r → ∞, получаем f (n) (z0 ) = 0.
Поскольку точка z0 выбиралась произвольной, то f (n) (z) ≡ 0. При
n = 1 мы получаем требуемое.
2
Доказанный результат сразу же влечет основную теорему алгебры. Неравенства (5) носят имя Коши. Приведем еще одно геометрическое свойство аналитических функций.
Теорема 5 (О среднем). Пусть f голоморфна в области D и
O(a, r) ⊂ D. Тогда
1
f (a) =
2π
Z2π
f (a + reiθ ) dθ.
Доказательство. Выбирая в (3) z = a и γ : ζ = a + reiθ , 0 ≤ θ ≤ 2π,
приходим к утверждению теоремы.
2
Глава IV
Изолированные особые точки и
разложения в ряды
§ 1.
Локально равномерная сходимость
В дальнейшем для области D ⊂ C через H(D) будем обозначать
совокупность всех голоморфных в D функций.
Определение. Будем говорить, что последовательность функций
fn ∈ H(Dn ), n = 1, 2, . . ., сходится локально равномерно в области D
к функции f , если для каждой точки z0 ∈ D найдутся окрестности
Oε (z0 ) и натуральное число N , такие, что Oε (z0 ) ⊂ Dn при n ≥ N
и fn (z) → f (z) равномерно в Oε (z0 ) при n → ∞.
Замечание. Приведенное определение можно дать в терминах компактных подмножеств области D : fn → f локально равномерно в
D ⇔ ∀ компактного множества K ⊂ D найдется номер N , такой,
что K ⊂ Dn при n ≥ N и fn (z) → f (z) равномерно на K.
Пример. fn (z) = z/(1 + 2z n ), n = 1, 2, . . . Здесь функция fn является
аналитической в круге Dn = {z : |z| < 2−1/n } и fn 6∈ H(D). С другой
стороны, fn (z) → z локально равномерно в D. Интересно также обратить внимание на то, что предельная функция f (z) ≡ z является
аналитической во всей комплексной плоскости C.
Теорема 1 (Вейерштрасса). Пусть fn ∈ H(Dn ), n = 1, 2, . . . , и
fn (z) → f (z) локально равномерно в D. Тогда f ∈ H(D) и fn0 (z) →
f 0 (z) локально равномерно в D.
75
76 Глава IV .
Изолированные особые точки и разложения в ряды
Доказательство. Учитывая локальный характер наших утверждений, фиксируем произвольную точку z0 и выберем 0 < r <
dist(z0 , ∂D). Тогда Or (z0 ) содержится в D вместе со своим замыканием и по условию теоремы найдется номер N , такой, что Or (z0 ) ⊂ Dn
при n ≥ N . При этом fn → f равномерно на Or (z0 ). Следовательно, f является непрерывной функцией и для любой кусочно–гладкой
замкнутой кривой γ ⊂ Or (z0 ) имеем:
Z
lim
n→∞
Z
fn (z) dz =
γ
f (z) dz.
γ
Однако по теореме Коши интегралы слева равны нулю. Но тогда в
силу произвольности кривой γ функция f является аналитической в
Or (z0 ) на основании теоремы Морера. Поскольку z0 была произвольной точкой в D, то f ∈ H(D).
Для доказательства второй части утверждения воспользуемся
интегральными формулами Коши:
1 Z fn (ζ) dζ
1 Z f (ζ) dζ
, f (z) =
,
f (z) =
2πi Γ (ζ − z)2 n
2πi Γ (ζ − z)2
z ∈ Or (z0 ), n ≥ N . Здесь Γ — положительно ориентированная окружность |z − z0 | = r. В круге Or/2 (z0 ) будем иметь:
¯
|f (z) −
fn0 (z)|
¯
1 ¯¯¯Z f (ζ) − fn (ζ) ¯¯¯ 4
=
dζ ¯ ≤ max{|f (ζ) − fn (ζ)|}
¯
¯
2π ¯ Г (ζ − z)2
r ζ∈Γ
Поскольку правая часть неравенства не зависит от z ∈ Or/2 (z0 )
и стремится к нулю при n → ∞, то f 0 n → f 0 равномерно в круге
Or/2 (z0 ).
2
Ранее мы доказали аналитичность суммы степенного ряда. Теорема Вейерштрасса позволяет расширить этот результат.
P
Теорема 2. Если ряд f (z) = ∞
n=1 fn (z), составленный из аналитических в области D функций, сходится локально равномерно в D,
то его сумма является аналитической в D функцией, и его можно
почленно дифференцировать.
§ 2.
Тейлоровское разложение и теорема единственности
77
§ 2.
Тейлоровское разложение и теорема единственности
Как было показано ранее, сумма степенного ряда представляет
собой аналитическую функцию в круге сходимости. Оказывается, что
локально каждую аналитическую функцию можно представить в виде
суммы степенного ряда.
Теорема 1. Если f ∈ H(D) и z0 — произвольная точка области D,
то в любом круге Or (z0 ) ⊆ D эту функцию можно представить в
виде суммы сходящегося степенного ряда
f (z) =
∞
X
n=0
cn (z − z0 )n .
(1)
Доказательство. Пусть Or (z0 ) ⊆ D и z ∈ Or (z0 ). Обозначим через
γr положительно ориентированную границу круга Or (z0 ). Тогда по
интегральной формуле Коши имеем
f (z) =
Разложим теперь ядро Коши
1 Z f (ζ)
dζ.
2πi γr ζ − z
1
в ряд:
ζ −z
∞ (z − z )n
X
1
1
!
Ã
=
=
.
n+1
z
−
z
ζ −z
(ζ
−
z
)
n=0
(ζ − z0 ) 1 −
ζ − z0
Поскольку для всех ζ ∈ γr имеем
|z − z0 |
|z − z0 |
=
< 1,
|ζ − z0 |
r
то полученный ряд мажорируется сходящейся прогрессией и потому
сам сходится равномерно на γr . Равномерная сходимость не нарушается при умножении его на непрерывную на γr (а следовательно, и
1
ограниченную) функцию
f (ζ). Поэтому можно выполнить почлен2πi
ное интегрирование, что дает представление (1), в котором
cn =
1 Z
f (n) (z0 )
f (ζ)
dζ
=
.
2πi γr (ζ − z0 )n+1
n!
(2)
78 Глава IV .
Изолированные особые точки и разложения в ряды
Поскольку коэффициенты (2) ряда (1) не зависят ни от точки z, ни от
выбора окружности γr , то ряд (1) сходится и представляет функцию
f , по-крайней мере в круге Oρ (z0 ), где ρ = dist(z0 , ∂D).
2
Ряд (1), коэффициенты которого вычисляются по формулам (2),
называется рядом Тейлора функции f в точке z0 .
Теорема 2. Если f в круге Or (z0 ) представима как сумма степенного ряда (1), то его коэффициенты определяются однозначно равенствами cn = f (n) /n!, n = 0, 1, 2, . . .
Доказательство. Подставляя в (1) z = z0 , находим f (z0 ) = c0 . Равенство в случае n = 1, 2, . . . получается в результате n-кратного
дифференцирования и последующей подстановки z = z0 .
2
Доказанная теорема утверждает единственность разложения
функции в степенной ряд с данным центром. Ее иногда формулируют
в виде: всякий сходящийся степенной ряд является рядом Тейлора
своей суммы. В вещественном анализе недостаточно даже бесконечной дифференцируемости, чтобы она была суммой своего ряда Тей2
лора. Классическим примером является f (x) = e−1/x .
Точка a ∈ C называется нулем функции f , если f (a) = 0.
Определение. Порядком (или кратностью) нуля a ∈ C функции f ,
голоморфной в этой точке, называется наименьший номер отличной от нуля производной f (n) (a). Другими словами, точка a называется нулем f порядка m, если
f (a) = . . . = f (m−1) = 0 , f (m) (a)6=0.
Из формул для коэффициентов ряда Тейлора следует, что порядок нуля совпадает с наименьшим номером отличного от нуля коэффициента тейлоровского разложения функции в этой точке. При этом,
если a — нуль бесконечного порядка, то f (z) ≡ 0 в некоторой окрестности Or (a). С другой стороны, если a — нуль конечного порядка m,
§ 3.
Ряды Лорана
79
то найдется окрестность Oδ (a), в которой нет нулей функции f , отличных от a. Действительно, в некоторой окрестности Or (a) функция
f представима рядом Тейлора:
f (z) = (z − a)m
∞
X
n=0
cm+k (z − a)k = (z − a)m ϕ(z).
Здесь ϕ — голоморфная в Or (a) функция и ϕ(a) = cm 6= 0. В силу
непрерывности ϕ найдется окрестность Oδ (a), в которой ϕ не обращается в ноль. Ввиду отсутствия делителей нуля в поле комплексных
чисел f (z) 6= 0 при z ∈ Oδ (a) \ {a}.
Теорема 3 (Единственности). Если две голоморфные в области
D функции f и g совпадают на множестве E, которое имеет хотя
бы одну предельную точку a, принадлежащую D, то f (z) ≡ g(z)
всюду в D.
Доказательство. Нам нужно доказать, что h(z) = f (z) − g(z) обращается в нуль в D тождественно. По условию теоремы h обращается
в нуль на E. В силу непрерывности a также является нулем функции
h. Из предыдущего видно, что его порядок не может быть конечным
и, следовательно, h обращается в нуль в некоторой окрестности Oδ (a).
Пусть теперь A — внутренность множества нулей функции h.
Очевидно, что A открыто и a ∈ A. Покажем, что B = D \ A также
является открытым. Действительно, если b ∈ B не является внутренней точкой, то в любой ее окрестности найдутся точки из A, т. е. b —
предельная точка нулей функции h. Но по доказанному она должна
тогда принадлежать A. Таким образом, D = A ∪ B, где A и B —
открытые непересекающиеся множества. В силу связности D одно из
этих множеств пусто. Однако A 6= ∅. Следовательно, B = ∅ и D = A.
2
Следствие. Если f (z) 6≡ 0 голоморфна в области D, то все ее нули
изолированы и конечного порядка.
§ 3.
Ряды Лорана
Рассмотрим вначале ряд вида:
b0 + b1 z −1 + b2 z −2 + . . . .
80 Глава IV .
Изолированные особые точки и разложения в ряды
Простая замена переменной z = 1/ζ приводит его к обычному
P
n
степенному ряду ∞
которого, как мы
n=0 bn ζ , областью сходимости
q
n
знаем, является круг |ζ| < R, где R = 1/(n→∞
lim |bn |). Следовательно, областью сходимости исходного ряда является внешность круга
|z| > 1/R, где его сумма представляет собой аналитическую функцию. Если скомбинировать такой ряд с обычным степенным рядом,
P
n
то получим более общую форму степенного ряда: ∞
n=−∞ cn z , или
P∞
n
n=−∞ cn (z − a) , областью сходимости которого (если она не пуста) является кольцо.
Теорема 1 (Лорана). Любую функцию f , голоморфную в кольце
K = {z : r < |z − a| < R},
можно представить как сумму сходящегося в K ряда
f (z) =
∞
X
n=−∞
cn (z − a)n ,
(1)
коэффициенты которого определяются по формуле:
1 Z f (ζ)dζ
cn =
,
2πi γρ (ζ − a)n+1
(2)
где γρ — положительно ориентированная окружность |ζ − a| =
ρ, r < ρ < R.
Доказательство. Заметим прежде всего, что интервалы в правой
части (2) не зависят от значения ρ ∈ (r, R). Действительно, если
ρ0 , ρ00 ∈ (r, R), то γρ0 − γρ00 ∼ 0(mod K) и по теореме Коши, примененной к функции f (z)/(z − a)n+1 , n = 0, ±1, ±2, . . . , получаем
Z
γρ0
Z
f (ζ) dζ
f (ζ) dζ
=
.
n+1
n+1
(ζ − a)
γρ00 (ζ − a)
Пусть теперь r < r0 < R0 < R. Тогда цикл γR0 − γr0 ограничивает
кольцо
K 0 = {z : r0 < |z − a| < R0 }.
§ 3.
Ряды Лорана
81
В силу интегральной формулы Коши имеем в K 0 представление
1 Z f (ζ) dζ
1 Z f (ζ) dζ
f (z) =
−
= f1 (z) + f2 (z)
2πi γR0 ζ − z
2πi γr0 ζ − z
Функцию f1 можно рассматривать как интеграл Коши в круге
|z − a| < R0 . Ее разложение в ряд Тейлора (см., например, доказательство теоремы 1 предыдущего параграфа) имеет вид:
f1 (z) =
∞
X
n=0
cn (z − a)n ,
где коэффициенты cn определяются по формуле (2).
Для получения разложения функции f2 во внешности круга |z −
a| > r0 представим ядро Коши в виде
−
1
=
ζ −z
Ã
1
(z − a) 1 −
ζ −a
z−a
!
=
(ζ − a)n−1
.
n
(z
−
a)
n=1
∞
X
Поскольку при |z − a| > z 0 и ζ ∈ γr0 выполняется неравенство
¯
¯ζ
¯
¯
¯z
¯
r0
− a ¯¯
¯=
< 1,
− a ¯ |z − a|
то полученный ряд сходится равномерно по ζ ∈ γr0 и его можно
почленно интегрировать. Умножая его на ограниченную функцию
1
f (ζ) и интегрируя почленно, получим
2πi
f2 (z) =
где
bn =
∞
X
bn
,
n
n=1 (z − a)
1 Z
(ζ − a)n−1 f (ζ) dζ = c−n .
2πi γr0
Складывая теперь полученные разложения для f1 и f2 , получим разложение (1) для функции f в кольце K 0 . Поскольку r0 и R0 выбирались
произвольно и коэффициенты cn не зависят от этого выбора, то полученное представление имеет место во всем K.
82 Глава IV .
Изолированные особые точки и разложения в ряды
Определение. Ряд (1), коэффициенты которого вычисляются по
формулам (2), называется рядом Лорана функции f в кольце K. Совокупность членов этого ряда с неотрицательными степенями называется его правильной частью, а совокупность членов с отрицательными степенями — главной частью.
Теорема 2 (Единственности). Если функция f в кольце
K = {z : r < |z − a| < R}
представима рядом вида (1), то коэффициенты этого ряда определяются по формулам (2).
Доказательство. Фиксируем ρ ∈ (r, R). Ряд (1) сходится равномерно на окружности γρ . Поэтому его можно почленно интегрировать.
Равномерная сходимость не нарушается, если его умножить на ограниченную функцию. Умножая равенство (1) на (z − a)−m−1 , где m —
произвольное целое, и переходя к почленному интегрированию, получим
Z
Z
∞
X
f (z) dz
n−m−1
cn (z − a)
dz =
.
m+1
n=−∞
γρ
γρ (z − a)
Однако в левой части все слагаемые, кроме соответствующего индексу n = m, обращаются в нуль и мы получаем
Z
cm · 2πi =
γρ
f (z) dz
.
(z − a)m+1
2
Теорему 2 можно сформулировать так: всякий сходящийся ряд
(1) является рядом Лорана своей суммы. Формулы (2) для вычисления коэффициентов ряда Лорана на практике применяются довольно
редко ввиду громоздкости сопутствующих вычислений. На основании
доказанной теоремы для получения лорановского разложения можно
использовать любой корректный прием. Результат будет один и тот
же.
§ 4.
Изолированные особые точки
83
§ 4.
Изолированные особые точки
Если для a ∈ C найдется такая окрестность Or (a), что f является голоморфной в проколотой окрестности Ȯr (a) = Or (a) \ {a}, то
a называется изолированной особой точкой функции f . В зависимости от поведения функции при приближении к особой точке проведем
следующую классификацию.
Определение. Изолированная особая точка a функции f называется:
(I) устранимой особой точкой, если существует конечный предел
lim f (z) = A;
z→a
(II) полюсом, если f (z) → ∞ при z → a;
(III) существенно особой точкой, если f не имеет ни конечного,
ни бесконечного предела при z → a.
Теорема 1. Изолированная особая точка a функции f является
устранимой в том и только в том случае, если f ограничена в
некоторой проколотой окрестности Ȯr (a).
Доказательство. Необходимость очевидна.
Для доказательства достаточности допустим, что |f (z)| ≤ M при
всех z ∈ Ȯr (a) и некотором M > 0. По теореме Лорана f представима
в Ȯr (a) рядом вида:
f (z) =
∞
X
n=−∞
где
cn =
cn (z − a)n ,
1 Z f (ζ) dζ
,
2πi γρ (ζ − a)n+1
γρ — положительно ориентированная окружность |z − a| = ρ, а ρ
можно выбрать любым в интервале (0, r). Поскольку
|cn | ≤
1
M · ρ−n 2π = M ρ−n ,
2π
84 Глава IV .
Изолированные особые точки и разложения в ряды
то cn = 0 при всех отрицательных номерах n. Таким образом, ряд
Лорана функции f в Ȯr (a) является, по существу, обычным степенным рядом и определяет в Or (a) голоморфную функцию g, которая
совпадает с f в Ȯr (a).
2
Замечание. Из доказательства теоремы видно, что переопределение (или доопределение) функции f в устранимой особой точке a
делает ее аналитической в полной окрестности Or (a). Этим объясняется название.
Следствие. Пусть f ∈ H(D) и a (a ∈ D) — нуль порядка m функции
f . Тогда в D имеет место равенство:
f (z) = (z − a)m g(z),
где g ∈ H(D) и g(a) 6= 0.
Доказательство. Функция g, определенная равенством g(z) =
f (z)
, является аналитической в D\{a}. Легко видеть также, что a
(z − a)n
является для g устранимой особой точкой. Следовательно, g ∈ H(D).
Условие g(a) = 0 обозначало бы, что f имеет в a нуль более высокого
порядка, чем m. Таким образом, g(a) 6= 0.
Теорема 2 (Сохоцкого, Вейерштрасса). Множество значений,
принимаемых аналитической функцией в любой окрестности существенно особой точки, является всюду плотным в C.
Доказательство. Допустим противное. Тогда найдется комплексное число A ∈ C и ε > 0 такие, что |f (z) − A| > ε при z ∈ Ȯr (a),
где a — существенно особая точка функции f , а Or (a) — некоторая
ее окрестность. Функция g(z) = 1/(f (z) − A) будет аналитической и
ограниченной в Ȯr (a). По теореме 1 a является устранимой особой
точкой функции g. Если g(a) 6= 0, то f (z) → 1/g(a) + A при z → a и a
будет устранимой особой точкой и для f . В случае же g(a) = 0 должно
§ 4.
Изолированные особые точки
85
выполнятся предельное соотношение f (z) → ∞ при z → a, что означает — a является полюсом функции f . Полученное противоречие с
условием теоремы завешает доказательство.
2
При доказательстве теоремы 1 мы установили также, что a является устранимой особой точкой функции f в том и только в том
случае, если лорановское разложение в проколотой окрестности этой
точки не содержит главной части. Оказывается главная часть лорановского разложения полностью определяет характер особой точки.
Теорема 3. Изолированная особая точка a ∈ C функции f является
полюсом (существенно особой) в том и только том случае, если
главная часть ряда Лорана функции f в проколотой окрестности
Ȯr (a) содержит конечное (бесконечное) число отличных от нуля
членов.
Доказательство. Пусть лорановское разложение функции f в
окрестности Ȯr (a) имеет вид
f (z) = c−m (z − a)−m + c−m+1 (z − a)−m+1 + . . . ,
c−m 6= 0.
Функция ϕ, представимая рядом
ϕ(z) =
∞
X
ck−m (z − a)k ,
k=0
является аналитической в Or (a) и ϕ(a) = c−m 6= 0. Из равенства f (z) = (z − a)−m ϕ(z) следует, что f (z) → ∞ при z → a. Таким
образом, a — полюс функции.
Допустим теперь, что a — полюс. Тогда f не обращается в
нуль в некоторой проколотой окрестности Ȯr (a) и, следовательно, в
этой окрестности является аналитической функция 1/f . Кроме того,
1/f (z) → 0 при z → a. Из теоремы 1 следует, что a является устранимой особой точкой для 1/f . Пусть m — порядок нуля функции 1/f
в точке a. Тогда
1
= (z − a)m g(z),
f (z)
86 Глава IV .
Изолированные особые точки и разложения в ряды
где g ∈ H(Or (a)) и g не имеет нулей в Or (a). Функция 1/g также
будет аналитической в Or (a) и ее разложение в ряд Тейлора можно
записать в виде
∞
X
1
=
cn (z − a)n ,
g(z) n=0
c0 6= 0.
Теперь получаем представление
f (z) = (z − a)−m
∞
X
n=0
cn (z − a)n ,
которое в силу теоремы 2 предыдущего параграфа и есть лорановское
разложение функции f .
Из доказанного и заключений относительно устранимой особой
точки следует утверждение о существенно особой точке.
2
Определение. Порядком (или кратностью) полюса a функции f называется порядок этой точки как нуля функции 1/f .
Из доказательства теоремы 3 видно, что порядок полюса совпадает с номером старшего члена главной части лорановского разложения
функции в окрестности полюса.
Голоморфная в C функция называется целой. В этом случае, как
и в случае голоморфности f во внешности круга |z| > R, естественно
рассмотреть бесконечность как изолированную особую точку. Классификация особых точек на этот случай распространяется путем замены z = 1/ζ и переноса характера особенности точки ζ = 0 функции
f (1/ζ) на точку z = ∞ функции f (z). Если в лорановском разложении в окрестности бесконечности, т. е. по степеням z во внешности
круга |z| > R, под главной частью понимать совокупность членов с
положительными степенями, то связь между классификацией и видом
главной части будет такой же, как и в конечных точках.
Характер особенности на бесконечности во многом определяет
целую функцию. Действительно, если бесконечность является устранимой особой точкой, то, по теореме Лиувилля, целая функция сводится к тождественной постоянной. Если это — полюс, то главная
§ 5.
Вычеты
87
часть лорановского разложения f в окрестности бесконечно удаленной точки является полиномом P (z) = c1 z + . . . + cm z m , cm 6= 0. Но
тогда g = f − P также будет целой функцией, и бесконечно удаленная
точка для g будет устраняемой. Следовательно, g(z) ≡ const и f —
полином.
Целые функции с существенной особенностью на бесконечности
называются целыми трансцендентными функциями. Таковыми являются ez , sin z, cos z.
§ 5.
Вычеты
Пусть a — изолированная особая точка функции f и Ȯr (a) — проколотая окрестность, в которой f аналитична. Тогда в силу теоремы
Коши, интеграл
1 Z
f (z) dz,
2πi γρ
где γρ = ∂Oρ (a), 0 < ρ < r, не зависит от ρ. Его значение называется
вычетом функции f в точке a и обозначается Res
f или Res
f (z).
a
z=a
Теорема 1. Вычет функции f в изолированной особой точке a ∈
C равен коэффициенту при (z − a)−1 лорановского разложения f в
окрестности точки a.
P
n
Доказательство. Поскольку ряд Лорана f (z) = ∞
n=−∞ cn (z − a)
сходится равномерно на окружности γρ , то его можно почленно интегрировать:
1 Z
f (z) dz = c−1 J(γρ , a) = c−1 .
2πi γρ
2
Замечание. Из хода доказательства видно, что если γ — замкнутая кусочно–гладкая кривая, расположенная в Ȯr (a), то
1 Z
f (z) dz = c−1 J(γ, a) = J(γ, a) Res
f.
a
2πi γ
Следствие. В устранимой особой точке вычет равен нулю.
88 Глава IV .
Изолированные особые точки и разложения в ряды
В случае когда a — полюс, можно привести формулу для вычисления вычета, которая не требует отыскания лорановского разложения. Пусть m ≥ 1 — порядок полюса. Тогда f имеет в проколотой
окрестности Ȯr (a) разложение вида
f (z) = c−m (z − a)−m + c−m+1 (z − a)−m+1 + . . .
где c−m 6= 0. Функция g(z) = (z − a)m f (z) будет иметь a устранимой
особой точкой, а c−1 будет коэффициентом ее ряда Тейлора при (z −
a)m−1 . Из формул для коэффициентов ряда Тейлора получаем
Res
f = c−1
a
g m−1 (a)
1
d(m−1)
=
=
lim
(z − a)m f (z) .
m−1
z→a
(m − 1)!
(m − 1)!
dz
Особенно просто эта формула выглядит при m = 1 :
Res
f = z→a
lim(z − a)f (z).
a
Теорема 2. Пусть D — область, ограниченная циклом γ, и f —
голоморфная на D функция, исключая конечное число особых точек
a1 , . . . , aN , расположенных в D. Тогда
N
X
1 Z
f (z) dz =
Res
f.
ak
2πi γ
k=1
Доказательство. Пусть ρ > 0 таково, что Oρ (ak ) ⊂ D при всех
P
k = 1, . . . , N и Oρ (ai ) ∩ Oρ (aj ) = ∅ при i 6= j. Тогда цикл γ − N
k=1 σk ,
где σk = ∂Oρ (ak ), будет гомологичным нулю относительно области
голоморфности функции f . Следовательно, по теореме Коши имеем:
N Z
1 X
1 Z
f (z) dz −
f (z) dz = 0,
2πi γ
2πi k=1 σk
что эквивалентно доказываемому равенству.
2
Как уже отмечалось выше, в случае голоморфности f во внешности некоторого круга |z| > R бесконечно удаленную точку естественно
причислить к особым. Определим вычет в бесконечности посредством
равенства:
1 Z
Res
f=
f (z) dz,
∞
2πi −γρ
§ 5.
Вычеты
89
где γρ — положительно ориентированная окружность |z| = ρ, ρ > R.
P
n
Интегрируя почленно лорановское разложение f (z) = ∞
n=−∞ cn z на
γρ , получаем
Res
f = −c−1 .
∞
Члены с отрицательными степенями входят в правильную, а не в
главную часть лорановского разложения в бесконечности. В отличие
от конечных точек вычет в бесконечности может оказаться не равным
нулю даже в случае, когда бесконечность является устранимой особой
точкой.
Теорема 3. Пусть f — аналитическая в C функция, исключая конечное число особых точек a1 , . . . , aN . Тогда
Res
f+
∞
N
X
k=1
Res
f = 0.
a
k
Доказательство. Пусть γ — окружность с центром в начале координат и такая, что все ak , k = 1, . . . , N , попадают внутрь круга,
ограниченного γ. Применение предыдущей теоремы дает требуемый
результат.
2
Теория вычетов — эффективный инструмент для вычисления
определенных интегралов. Следует при этом иметь в виду, что
подынтегральная функция должна быть близка к аналитической. Это
на практике, как правило, выполняется. Более существенным является то, что теория вычетов связана с интегрированием по замкнутому контуру, в то время как в вещественном анализе интегрирование
ведется по отрезку. Рассмотрим на примерах, как эти трудности преодолеваются.
Пример 1. Интеграл вида
Z2π
R(cos θ, sin θ) dθ,
где R — рациональная функция, можно вычислять посредством вычетов. Введение комплексной переменной z = eiθ преобразует наш
90 Глава IV .
Изолированные особые точки и разложения в ряды
интеграл к виду
Z
−i
|z|=1
Ã
Ã
!
Ã
1
1
1
1
R
z+
,
z−
2
z 2i
z
!!
dz
.
z
Остается найти вычеты в полюсах, попадающих внутрь единичного
круга.
Например, вычислим интеграл
Zπ
dθ
,
a + cos θ
a > 1.
Замечая, что расширение интервала интегрирования до (0, 2π) приводит к удвоению результата, получаем
Zπ
Z
dθ
1 Z2π
dθ
dz
=
= −i
.
2
a + cos θ
2 0 a + cos θ
z
+
2az
+
1
|z|=1
Поскольку
z 2 + 2az + 1 = (z − z1 )(z − z2 ),
√
где zk = −a + (−1)k a2 − 1, и |z1 | > 1, |z2 | < 1, то
Zπ
(
)
dθ
−i
π
√
.
= 2π Res
=
z=z2 z 2 + 2az + 1
a + cos θ
a2 − 1
Пример 2. Интеграл вида
Z∞
R(x) dx,
−∞
где R — рациональная функция, сходится в том и только в том случае, если R не имеет полюсов на вещественной оси, и степень знаменателя, по–крайней мере на 2 порядка выше степени числителя. Выберем ρ > 0 так, чтобы все полюсы функции R содержались в круге
Oρ (0). Пусть γ+ρ — часть положительно ориентированной окружности |z| = ρ, расположенная в верхней полуплоскости. По теореме о
вычетах
ρ
Z
Z
R(x) dx +
−ρ
R(z) dz = 2πi
γ+
ρ
X
Im a>0
Res
R(z).
z=a
§ 5.
Вычеты
91
Однако при достаточно больших ρ и некоторой константе M будет
выполнятся на γρ неравенство |R(z)| ≤ M/ρ2 . Следовательно, для
этих ρ имеем
¯
¯
¯Z
¯
¯
¯
¯
¯γ+
ρ
¯
¯
¯
¯
R(z) dz ¯¯
¯
¯
Z
≤
|R(z)| · |dz| ≤
γ+
ρ
πM
→0
ρ
при
Таким образом,
Z∞
R(x) dx = 2πi
−∞
X
Im a>0
Res
R(z).
z=a
Например,
Z∞
−∞
1
1
dx
=
2πi
Res
=
2πi
= π.
z=i 1 + z 2
1 + x2
2i
ρ → ∞.
Глава V
Основные принципы
§ 1.
Принцип аргумента
Совокупность H(D) всех голоморфных в области D функций образует кольцо, т. е. замкнуто относительно суммы, разности и произведения функций. Что касается частного f /g двух функций из H(D),
то оно голоморфно в D, за исключением нулей знаменателя g. Допустим, что g(a) = 0, a ∈ D. В силу изолированности нулей найдется
такая окрестность Or (a) ⊂ D, в которой f и g будут иметь представление f (z) = (z − a)n f1 (z) , g(z) = (z − a)m g1 (z), где f1 и g1 —
аналитические не обращающиеся в нуль в Or (a) функции. Но тогда
в Ȯr (a) будем иметь:
f1 (x)
f (z)
= (z − a)n−m
g(z)
g1 (x)
Поскольку f1 /g1 ∈ H(Or (a)), то f /g имеет в a устранимую особенность при n ≥ m и полюс при n < m. При этом кратность полюса
будет равна m − n.
Будем говорить, что функция f мероморфна в области D, если
она голоморфна всюду в D, за исключением, быть может, некоторого множества полюсов. Очевидно, совокупность M(D) всех мероморфных в области D функций образует поле. Под мероморфностью
функции в точке естественно понимать мероморфность в некоторой
ее окрестности.
Поскольку полюсы, как и нули, мероморфной в области D функции являются изолированными, то на любом компакте K ⊂ D их
может быть лишь конечное число. Под числом полюсов (или нулей)
92
§ 1.
Принцип аргумента
93
на множестве K с учетом их кратности будем понимать сумму кратностей полюсов (соответственно, нулей), попадающих на K.
Теорема 1. Пусть D — область, ограниченная циклом γ, и f —
мероморфная на D функция, не имеющая нулей и полюсов на γ. Тогда число N ее нулей и число P полюсов в области D с учетом их
кратности удовлетворяют соотношению
N −P =
1 Z f 0 (z)
dz.
2πi γ f (z)
(1)
Доказательство. Поскольку D является компактом в области мероморфности функции f , то в D содержится лишь конечное число нулей
и полюсов. Пусть a1 , . . . , an — её нули в D с кратностями s1 , . . . , sn , а
b1 , . . . , bm — её полюсы с кратностями q1 , . . . , qm соответственно. Тогда N = s1 + · · · + sn и P = q1 + · · · + qm . Далее рассмотрим функцию
g(z) =
n
Y
(z − aj )−sj ·
j=1
m
Y
(z − bj )qj · f (z).
j=1
Очевидно, что изолированные особые точки a1 , . . . , an , b1 , . . . , bm
функции g являются устранимыми. Следовательно, функция g является голоморфной и не обращается в нуль на D. Поскольку
f (z) = (z − a1 )s1 · . . . · (z − an )sn · (z − b1 )−q1 · . . . · (z − bn )−qm g(z)
и
m
n
X
X
f 0 (z)
sj
qj
g 0 (z)
=
−
+
,
f (z)
g(z)
j=1 z − aj
j=1 z − bj
то, применяя теорему Коши к аналитической на D функции g 0 /g, получаем
n
m
X
X
1 Z f 0 (z)
dz =
sj · J(γ, aj ) −
qj · J(γ, bj ) = N − P.
2πi γ f (z)
j=1
j=1
2
Замечание. Пусть Γ — цикл, полученный из γ преобразованием
w = f (z). Тогда
1 Z f 0 (z)
1 Z dw
dz =
= J(Γ, 0).
2πi γ f (z)
2πi Γ w
94
Глава V .
Основные принципы
Другими словами, интеграл в правой части (1) выражает приращение (деленное на 2π) аргумента точки w, совершающей обход
цикла Γ. В связи с этим соотношение (1) называется также принципом аргумента в теории аналитических функций.
На практике принцип аргумента чаще всего применяется через
следующий результат.
Теорема 2 (Руше́). Пусть D — область, ограниченная циклом γ,
и f, g — аналитические на D функции, удовлетворяющие условию
|f (z)| < |g(z)| при z ∈ γ. Тогда g и g +f имеют в D одинаковое число
нулей с учетом их кратности.
Доказательство. Из условия теоремы следует, что g и g + f не
обращаются в нуль на γ. Пусть N1 — число нулей g, а N2 — число
нулей g + f в D с учетом их кратности. Тогда функция F = (g + f )/g
является мероморфной на D и разность между числом N её нулей
и числом P её полюсов в D с учетом их кратности равна N − P =
N2 − N1 . Однако, как отмечалось выше,
N − P = J(Γ, 0),
где Γ = F (γ). С другой стороны, из условия |F (z) − 1| < 1 при z ∈ γ
следует, что Γ содержится в круге |w − 1| < 1 и J(Γ, 0) = 0. Таким
образом, N2 − N1 = 0 и N2 = N1 .
2
В заключение приведем результат, касающийся локально равномерной сходимости.
Теорема 3 (Гурвица). Пусть функции fn ∈ H(D), n = 1, 2, . . . , не
обращаются в нуль в D и fn → f локально равномерно в D. Тогда
либо f (z) ≡ 0 в D, либо f не обращается в нуль в D.
Доказательство. Пусть f (z) 6≡ 0. Фиксируем произвольно точку
a ∈ D. В силу изолированности нулей найдется r > 0 такое, что
Or (a) ⊂ D и f не обращается в нуль на γ = ∂Or (a). Как непрерывная
на компакте функция |f | отделена от нуля на γ, т. е. |f (z)| ≥ δ > 0 при
§ 1.
Принцип аргумента
95
z ∈ γ. Отсюда и из локально равномерной сходимости последовательности {fn } следует, что 1/fn → 1/f равномерно на γ. Следовательно,
1 Z fn0 (z)
1 Z f 0 (z)
lim
dz =
dz.
n→∞ 2πi
2πi γ f (z)
γ fn (z)
Однако интегралы слева выражают числа нулей функций fn в Or (a)
и, следовательно, равны нулю. Поэтому равен нулю интеграл справа
и f не обращается в нуль в Or (a). В частности, f (a) 6= 0.
2
Следствие. Пусть последовательность однолистных в области D
функций fn ∈ H(D) сходится локально равномерно в D к функции
f (z) 6≡ const. Тогда f также однолистна в D.
Доказательство. Допустим, что для некоторых z1 6= z2 в D имеет
место равенство f (z1 ) = f (z2 ) = A. Пусть U1 и U2 — две непересекающиеся окрестности точек z1 и z2 соответственно, расположенные
в D. В силу однолистности функции fn в одной из окрестностей, U1
или U2 , она не принимает значение A. Следовательно, можно выделить подпоследовательность {fnk } функций, которые не принимают
значение A в одной из окрестностей. Пусть для определенности ею
будет U1 . Применяя теорему Гурвица к последовательности функций
fnk (z) − A в области U1 , получаем, что f (z) − A не обращается в нуль
в U1 . Это противоречит предположению, что f (z1 ) = A.
2
Другое доказательство теоремы Гурвица. Допустим f (z) 6≡ 0
и f (a) = 0 для некоторой a ∈ D. В силу изолированности нулей
найдется такое r > 0, что в проколотой окрестности Ȯr (a) функция
f не обращается в нуль. Можно также считать, что f не обращается в нуль и на γ = ∂Or (a). Поскольку γ является компактом, то
min
|f (z)| = δ > 0. В силу локально равномерной сходимости последоz∈γ
вательности {fn } найдется номер N такой, что |fn (z) − f (z)| < δ/2
при всех n ≥ N и z ∈ γ. Но тогда по теореме Руше́ функция
fn = f + (fn − f ) будет иметь в Or (a) столько же нулей, сколько
их имеет там f , т.е. по крайней мере один. Полученное противоречие
с условиями теоремы доказывает требуемое утверждение.
2
96
§ 2.
Глава V .
Основные принципы
Принцип открытости
Вначале установим один результат, который даёт представление
о локальной структуре отображения, осуществляемого непостоянной
аналитической функцией.
Теорема 1 (О локальной структуре отображения). Пусть f голоморфна в области D и f (z0 ) = w0 , z0 ∈ D. Допустим также, что
функция f (z) − w0 имеет в z0 нуль порядка n, т.е. f 0 (z0 ) = . . . =
f (n−1) (z0 ) = 0 и f (n) (z0 ) 6= 0. Тогда найдутся также окрестности
Or (z0 ) и Oρ (w0 ), что уравнение w0 = f (z) имеет ровно n различных
корней в Ȯr (z0 ) при любом w0 ∈ Ȯρ (w0 ).
Доказательство. Из условия теоремы следует, что f (z) 6≡ const.
В силу изолированности нулей аналитической функции найдется
окрестность Or (z0 ), которая вместе с замыканием содержится в области D и функции f (z) − w0 , f 0 (z) не обращаются в нуль в Or (z0 )\{z0 }.
Пусть γ = ∂Or (z0 ) и Γ = f (γ). Замечая, что Γ не проходит через
точку w0 , выберем число ρ > 0 меньше, чем расстояние от w0 до Γ.
Фиксируем произвольное w0 ∈ Ȯρ (w0 ). Из условия выбора ρ следует
выполнение неравенства
|w0 − w0 | < |f (z) − w0 |
при всех z ∈ γ. Но тогда по теореме Руше́ функции
f (z) − w0
и
f (z) − w0 = (f (z) − w0 ) + (w0 − w0 )
имеют в Or (z0 ) одинаковое число нулей с учетом их кратности. Однако функция f (z) − w0 имеет в Or (z0 ) один нуль z = z0 порядка n.
Поскольку f 0 (z) 6= 0 при z ∈ Ȯr (z0 ), то все нули функции f (z) − w0
в Or (z0 ) являются простыми. Таким образом, в Or (z0 ) содержится
ровно n точек z1 , . . . , zn , которые являются решениями уравнения
f (z) = w0 .
2
Следствие. Условие f 0 (z) 6= 0 является необходимым для однолистности функции f в области D.
§ 2.
Принцип открытости
97
Теорема 2 (Принцип открытости или сохранения области).
Непостоянная аналитическая функция переводит открытые множества в открытые, а область — в область.
Доказательство. Утверждение сразу же следует из теоремы 1.
2
Теорема 3 (Принцип максимума модуля). Если f — непостоянная аналитическая в области D функция, то максимум модуля
|f |, а также максимумы и минимумы Ref и Imf не могут достигаться во внутренних точках области D.
Задача. В какой точке квадрата достигается максимум произведений
четырех расстояний от точек до вершин квадрата.
Теорема 4 (Лемма Шварца). Пусть аналитическая в единичном
круге D функция f удовлетворяет условиям: f (0) = 0 и |f (z)| ≤ 1
при z ∈ D. Тогда
|f 0 (0)| ≤ 1 и |f (z)| ≤ |z| при z ∈ D.
При этом знак равенства достигается лишь в случае, когда f (z) ≡
eiα z, α ∈ R.
Доказательство. Из предположений теоремы следует аналитичность в D функции ϕ(z) = f (z)/z. Для каждого r ∈ (0, 1) в силу
принципа максимума имеем
max |ϕ(z)| = max |ϕ(z)| =
|z|≤r
|z|=r
1
1
max |f (z)| ≤ .
r |z|=r
r
Для фиксированного z ∈ D можно осуществить предельный переход в
неравенстве |ϕ(z)| ≤ 1/r при r → 1. Таким образом, |ϕ(z)| ≤ 1 при z ∈
D, что эквивалентно неравенству |f (z)| ≤ |z|. Неравенство |f 0 (0)| ≤ 1
следует из полученного неравенства и замечания, что ϕ(0) = f 0 (0).
Допустим теперь, что в одном из доказанных неравенств достигается знак равенства. Это означало бы, что |ϕ(z0 )| = 1 для некоторой z0 ∈ D. В силу принципа максимума тогда следовало бы, что
ϕ(z) ≡ eiα z.
2
98
§ 3.
Глава V .
Основные принципы
Принцип компактности
В этом параграфе мы рассмотрим вопрос об условиях на семейство голоморфных в области D функций, которые позволяли бы из
любой её последовательности выделять сходящуюся локально равномерно в D подпоследовательность.
Определение. Семейство F ⊂ H(D) называется локально равномерно ограниченным в D, если для всякой z0 ∈ D найдутся окрестность Or (z0 ) ⊂ D и число M > 0, такие, что |f (z)| ≤ M при всех
z ∈ Or (z0 ) и f ∈ F.
Другими словами, для каждого компактного множества K ⊂ D семейство F является равномерно ограниченным на K.
Теорема 1. Пусть F ⊂ H(D) — локально равномерно ограниченное
в D семейство. Тогда F 0 = {f 0 : f ∈ F} также является локально
равномерно ограниченным в D семейством.
Доказательство. Пусть z0 — произвольная точка области D. По
условию найдутся r > 0 и M > 0, такие, что Or (z0 ) ⊂ D и |f (z)| ≤ M
для любых z ∈ Or (z0 ) и f ∈ F . Пусть γ = ∂Or (z0 ). Тогда, используя
интегральную формулу Коши для производных, получаем для любого
z ∈ Or/2 (z0 ) и любой f ∈ F :
1
|f (z)| =
2π
¯
¯Z
¯
¯
¯
¯
¯γ
¯
¯
f (ς) dς ¯¯
¯
(ς − z)2 ¯¯
4M
1 Z M
≤
|dς|
=
.
2π γ r2 /4
r
2
Теорема 2. Пусть F ⊂ H(D) — локально равномерно ограниченное
в D семейство. Тогда на любом компакте K ⊂ D это семейство
является равностепенно непрерывным.
Доказательство. Пусть K — компактное подмножество в области
D. Выберем r > 0 меньшим расстояния от K до ∂D. Тогда множество
K1 = {z : dist(z, K) ≤ r}
§ 3.
Принцип компактности
99
также будет компактным подмножеством области D. По предыдущей
теореме найдется такое M > 0, что
|f 0 (z)| ≤ M при всех z ∈ K1 и f ∈ F.
Пусть теперь ε > 0 произвольное. Выберем δ < min{r, ε/M }. Тогда для любых z 0 , z 00 принадлежащих K и удовлетворяющих условию
|z 0 − z 00 | < δ будем иметь [z 0 , z 00 ] ⊂ K1 и
|f (z 0 ) − f (z 00 )| =
¯
¯
¯ Z
¯
¯
¯
¯
¯ [z 0 ,z 00 ]
¯
¯
¯
¯
f (z) dz ¯¯
¯
¯
≤ M · |z 0 − z 00 | < M δ ≤ ε.
2
Теорема 3 (Монтеля). Если F ⊂ H(D) — локально равномерно
ограниченное в D семейство, то из всякой последовательности
{fn } ⊂ F можно выбрать подпоследовательность {fnk }, сходящуюся локально равномерно в D.
Доказательство. Пусть K1 ⊂ K2 ⊂ · · · — компактное исчерпание
∞
S
области D, т. е. Kj — компактные подмножества в D и
Kj = D.
j=1
Такую последовательность компактных множеств можно построить,
например, следующим образом. Выберем R > 0 и натуральное N так,
чтобы множество
{z ∈ D : dist(z, ∂D) ≥
1
, |z| ≤ R}
N
было не пусто. Тогда в качестве искомой последовательности можно
взять множества
Kj = {z ∈ D : dist(z, ∂D) ≥
1
, |z| ≤ R + j},
N +j
j = 1, 2, . . . .
В силу предыдущей теоремы семейство F удовлетворяет на каждом компакте Kj условиям теоремы Арцела, т. е. оно является на
каждом Kj равномерно ограниченным и равностепенно непрерывным семейством функций. Следовательно, если {fn } — произвольная
последовательность функций из F, то из неё можно выделить подпоследовательность {f1,k }, сходящуюся равномерно на K1 . Из этой
100
Глава V .
Основные принципы
подпоследовательности, в свою очередь, можно выделить подпоследовательность {f2,k }, которая будет сходиться равномерно на K2 .
Продолжая этот процесс, получим подпоследовательности
f1,1 , f1,2 , f1,3 , . . .
f2,1 , f2,2 , f2,3 , . . .
... ... ... ...
Для каждого j = 2, 3, . . . выполняются следующие условия. {fj,k }∞
k=1 —
∞
подпоследовательность из {fj−1,k }k=1 и {fj,k } сходится равномерно на
Kj .
Заметим теперь, что диагональная последовательность fnk = fk,k
будет, начиная с некоторого номера, подпоследовательностью каждой
из {fj,k }. Следовательно, {fnk } будет сходиться равномерно на каждом
Kj . Поскольку {Kj } является исчерпанием области D, то для любого
компакта K ⊂ D найдется такое j, что K ⊂ Kj . Это означает, что
{fnk } сходится локально равномерно в области D.
2
§ 4.
Теорема Римана об отображении
В геометрически ориентированной части теории аналитических
функций проблема конформного отображения играет доминирующую
роль. Теоремы существования и единственности позволяет определить аналитические функции с важными свойствами, минуя аналитическую их запись.
В 1851 г. Риман объявил о фундаментальной теореме, согласно
которой каждую односвязную область, отличную от всей плоскости,
можно конформно отобразить на единичный круг. Однако его доказательство оказалось не лишенным недостатков, на которые обращал внимания Вейерштрасс. Около половины века понадобилось для
отыскания строгого доказательства этой теоремы. Одним из первых
его получил Кебе. Приведенный здесь вариант доказательства близок
к предложенному им.
Заметим вначале, что в силу теоремы Лиувилля не существует
конформного отображения всей плоскости на единичный круг.
§ 4.
Теорема Римана об отображении
101
Теорема 1. Пусть D — односвязная область, отличная от всей
плоскости, и z0 ∈ D. Тогда существует единственная аналитическая в D функция f , которая отображает взаимно однозначно область D на единичный круг D и удовлетворяет условиям f (z0 ) = 0,
f 0 (z0 ) > 0.
Доказательство. Докажем вначале единственность. Допустим, мы
имеем две функции f1 и f2 , удовлетворяющие условиям из формулировки теоремы. Тогда функция ϕ = f2 ◦ f1−1 будет конформно отображать единичный круг D на себя и ϕ(0) = 0, ϕ0 (0) > 0. В силу
леммы Шварца |ϕ(w)| ≤ |w|. С другой стороны, обратная функция
ϕ−1 (ζ) также удовлетворяет условиям леммы Шварца и |ϕ−1 (ζ)| ≤ |ζ|.
Подставляя в последнее неравенство вместо ζ выражение ζ = ϕ(w),
получаем |w| ≤ |ϕ(w)|. Таким образом, |ϕ(w)| ≡ |w| и ϕ(w) = eiα w.
Из условия ϕ0 (0) > 0 следует ϕ(w) ≡ w и f1 (z) ≡ f2 (z).
Для доказательства существования отображающей функции f
введем в рассмотрение класс F однолистных в D функций g, удовлетворяющих условиям: g(z0 ) = 0, g 0 (z0 ) > 0 и |g(z)| ≤ 1 при z ∈ D.
Покажем вначале непустоту введенного класса функций. По условию D 6= C и найдется точка a 6∈ D. Поскольку D — односвязная
область, то в ней выделяются однозначные ветви функций ln(z − a) и
Q(z) =
√
1
z − a = e 2 ln(z−a)
(см. последний параграф главы III). Заметим, что для любой пары
точек z1 , z2 из D любое из равенств
Q(z1 ) = ±Q(z2 )
влечет равенство z1 = z2 . Это означает, что Q однолистна в D и
Q(D) не содержит пары точек, симметричных относительно начала
координат. Поскольку Q(z0 ) = w0 принадлежит Q(D) вместе с некоторой окрестностью Or (w0 ), то Or (−w0 ) ∩ Q(D) = ∅. Следовательно,
|Q(z) + w0 | > r для всех z ∈ D и функция
h(z) =
r
w0 + Q(z)
102
Глава V .
Основные принципы
является однолистной в области D со значениями из D. Условия нормировки можно добиться дополнительным дробно–линейным преобразованием
h0 (z0 ) h(z) − h(z0 )
g(z) = 0
.
|h (z0 )| 1 − h0 (z0 )h(z)
Заметим, что в силу однолистности функции h ее производная h0 (z) в
нуль не обращается. Таким образом, g ∈ F и непустота F доказана.
Пусть теперь
α = sup {g 0 (z0 ) : g ∈ F } .
Мы не исключаем здесь возможности α = ∞. Из определения супремума следует существование такой последовательности {fn } ⊂ F,
что fn0 (z0 ) → α при n → ∞. Поскольку F является равномерно–
ограниченным в D семейством, то в силу принципа компактности можно выделить подпоследовательность {fnk }, сходящуюся
локально–равномерно в D к некоторой функции f . Из теоремы Вейерштрасса следует аналитичность функции f и равенство f 0 (z0 ) = α,
что, в частности, означает конечность α. По следствию из теоремы
Гурвица имеем также однолистность функции f . В результате f ∈ F
и является решением поставленной выше экстремальной задачи.
Покажем теперь, что f — искомая функция. При этом мы воспользуемся ее экстремальным свойством.
Допустим, что некоторая точка w∗ из D не принадлежит области
f (D). Тогда выделяется однозначная ветвь
1/2
f (z) − w∗
H(z) =
1 − w∗ f (z)
,
которая представляет собой однолистную
в D функцию. При этом
√
∗
∗
|H(z)| < 1 при z ∈ D и H(z0 ) = −w = ζ Дифференцируя равенство
f (z) − w∗
2
(H(z)) =
,
1 − w∗ f (z)
получаем также
1 − |w∗ |2
1 − |w∗ |2
H (z0 ) =
α= √
α.
2ζ ∗
2 −w∗
§ 5.
Аналитическое продолжение и принцип симметрии
103
Перейдем теперь к нормированной функции
F (z) =
H 0 (z0 ) H(z) − ζ ∗
.
|H 0 (z0 )| 1 − ζ ∗ H(z)
Очевидно, что F ∈ F . Кроме того,
F 0 (z0 ) =
|H 0 (z0 )|
α(1 − |w∗ |2 )
1 + |w∗ |
q
q
=
=
α
>α,
1 − |ζ ∗ |2
2 |w∗ |(1 − |w∗ |)
2 |w∗ |
что противоречит определению α.
2
Заметим, что полученное в конце доказательства неравенство не
является совсем неожиданным. Действительно, из построения функции F видно, что f (z) = Φ(F (z)), где
Ã
!
æW + ζ ∗ 2
+ w∗
1 + ζ ∗ æW
Φ(W ) =
,
Ã
∗ !2
æW
+
ζ
1 + w∗
1 + ζ ∗ æW
æ=
H 0 (z0 )
.
|H 0 (z0 )|
Поскольку Φ удовлетворяет условиям леммы Шварца, то |Φ0 (0)| < 1.
Отсюда
f 0 (z0 ) = Φ0 (0)F 0 (z0 ) < F 0 (z0 ), т.е. f 0 (z0 ) < F 0 (z0 ) .
§ 5.
Аналитическое продолжение и принцип симметрии
Согласно теореме единственности голоморфная функция однозначно определяется ее значениями в сколь угодно малой окрестности какой–либо одной точки. Во времена Ньютона считалось, что
все функции только такие, а трудности видели лишь в вычислении
значений там, где исходная формула ее не определяла, т. е. в аналитическом продолжении. Основная логическая трудность, связанная
с аналитическим продолжением, состоит в его неоднозначности. Напомним, что ранее при определении однозначной ветви ln f (z) функции f (z), не обращающейся в нуль в односвязной области D, мы
продолжали ее из точки z0 ∈ D путем интегрирования f 0 (z)/f (z).
104
Глава V .
Основные принципы
Односвязность области D гарантировала нам однозначность такого
продолжения.
Опишем кратко понятийный аппарат, связанный с представлением об аналитической функции как о совокупности ее продолжений.
Аналитическая функция f в области Dобразует функциональный элемент и обозначается (f, D). Два функциональных элемента
(f1 , D1 ) и (f2 , D2 ) называются прямыми аналитическими продолжениями друг друга, если D1 ∩ D2 6= ∅ и f1 (z) = f2 (z) при z ∈ D1 ∩ D2 .
Более конкретно говорят, что (f2 , D2 ) является аналитическим продолжением (f1 , D1 ) в область D2 . Такое продолжение может и не существовать, но если оно существует, то оно единственно.
Если (f1 , D1 ) и (f2 , D2 ) являются прямыми аналитическими продолжениями друг друга, то можно было бы рассмотреть функциональный элемент (f, D), где D = D1 ∪D2 , а f совпадает с f1 иf2 вD1 иD2
соответственно. Таким образом, рассмотрение только пар функциональных элементов нового содержания не дает.
Более общим понятием является цепь функциональных элементов (f1 , D1 ), (f2 , D2 ), . . . ,(fn , Dn ), в которой (fk , Dk ) является
прямым аналитическим продолжением функционального элемента
(fk−1 , Dk−1 ). Элементы в такой цепи называются аналитическими
продолжениями друг друга.
√
Пример функции z и областей
D1 = {z : Im z > 0}, D2 = {z : Re z > 0},
D3 = {z : Im z < 0}, D4 = {z : Re z < 0}
показывает, что в результате аналитического продолжения мы можем
вернуться в некоторую область, но с другой функцией.
Отметим также, что, как и в случае прямого аналитического продолжения, продолжение посредством цепи с фиксированным набором
областей определяется однозначно.
Определение. Глобальной аналитической функцией является непустое семейство f функциональных элементов (f, D), в котором
каждая пара элементов представляет собой аналитическое продолжение друг друга посредством цепи с элементами из f.
§ 5.
Аналитическое продолжение и принцип симметрии
105
Полная аналитическая функция — глобальная аналитическая
функция, которая содержит все аналитические продолжения каждого своего элемента.
Полная аналитическая функция является, очевидно, максимальной в том смысле, что ее нельзя расширить. Очевидно также, что
каждый функциональный элемент принадлежит единственной (а следовательно, и полностью определяет ее) полной аналитической функции. Глобальные аналитические функции являются более произвольными. Разные семейства функциональных элементов могут определять одну и ту же глобальную аналитическую функцию. Например,
однозначная аналитическая функция f , определенная в области D,
может идентифицироваться либо с семейством, состоящим из одного функционального элемента (f, D), либо с семейством элементов
(f, D0 ), D0 ⊂ D.
Глобальная аналитическая функция f имеет однозначно определяемую производную f0 , определяемую функциональными элементами (f 0 , D). Действительно, если (f1 , D1 ) и (f2 , D2 ) — прямые аналитические продолжения друг друга, то таковыми же являются
(f10 , D1 ) и (f20 , D2 ).
Аналогичное соотношение может существовать между двумя
глобальными аналитическими функциями f и g. Мы предполагаем,
что каждому (f, D) ∈ f сопоставляется единственный функциональный элемент (g, D) ∈ g так, что прямые аналитические продолжения
переходят в прямые аналитические продолжения. В этом случае мы
говорим, что f подчинена g, и можно определить f + g и f · g как семейства, состоящие из элементов (f + g, D) и (f · g, D), соответствующих
элементам (f, D) из f. Например, f подчинена любой целой функции
h, откуда следует, что f + h и f · h корректно определены.
Приведенное понятие полной аналитической функции называют
”в смысле Вейерштрасса”. Оно далеко отходит от обычного понятия
функции. Однако есть другой подход, основанный на понятии римановой поверхности, который рассматривает полную аналитическую
функцию как однозначную, но определенную уже не на плоскости.
Рассмотрим теперь специальный случай аналитического продолжения, когда области D1 и D2 не пересекаются, а имеют общий учас-
106
Глава V .
Основные принципы
ток границы. Приводимый ниже результат известен как принцип симметрии Римана–Шварца.
Теорема 1. Пусть D — область, симметричная относительно вещественной оси, D+ — ее часть, расположенная в верхней полуплоскости, и σ — часть вещественной оси, расположенная в D.
Допустим, что f является непрерывной в D+ ∪ σ, голоморфной в
D+ и принимает вещественные значения на σ. Тогда она имеет
аналитическое продолжение во всю область D, где удовлетворяет
соотношению симметрии:
f (z) = f (z).
(1)
Доказательство. Определим в области D функцию F , полагая
F (z) = f (z) при z ∈ D+ ∪ σ и F (z) = f (z) при z ∈ D− = D ∩ {z :
Im z < 0}. Если мы покажем, что F аналитична в D, то (F, D) будет
прямым аналитическим продолжением (f, D+ ).
Из определения F и вещественности f на σ следует, что F непрерывна в D. Легко также показать аналитичность F в D− . Действительно, если z0 ∈ D− , то z0 ∈ D+ и
F (z) − F (z0 )
f (z) − f (z0 )
f (z) − f (z0 )
lim
=
lim
=
lim
= f 0 (z0 ).
z→z0
z→z
z→z
z − z0
z − z0
z − z0
Пусть x0 ∈ σ. Тогда найдется r > 0, такое, что Or (x0 ) ⊂ D. Обозначим γ = ∂Or (x0 ) и определим
1 Z F (ζ) dζ
ϕ(z) =
.
2πi γ ζ − z
Как интеграл Коши с непрерывной плотностью F (ζ) функция ϕ(z)
является аналитической в Or (x0 ). Если γ ± = γ ∩ D± , то
1
1 Z F (ζ) dζ
+
ϕ(z) =
2πi γ + ζ − z
2πi [x
Z
0 −r,x0
F (ζ) dζ
1
+
ζ −z
2πi [x
+r]
Z
0 +r,x0
F (ζ) dζ
+
ζ
−
z
−r]
1 Z F (ζ) dζ
1 Z F (ζ) dζ
1 Z F (ζ) dζ
+
=
+
= ϕ+ (z) + ϕ− (z) ,
2πi γ − ζ − z
2πi Γ+ ζ − z
2πi Γ− ζ − z
§ 5.
Аналитическое продолжение и принцип симметрии
107
где Γ± — ориентированная граница Or (x0 )∩D± . Если z ∈ D+ ∩Or (x0 ),
то ϕ+ (z) = f (z) по интегральной формуле Коши, а ϕ− = 0 по интегральной теореме Коши, примененной к функции F (ζ)/(ζ − z), ζ ∈ D− .
В действительности, для применения этих результатов мы должны
отступить от отрезка [x0 − r, x0 + r] внутрь области аналитичности
функции F и затем совершить предельный переход. Аналогично, если z ∈ D− ∩ Or (x0 ), то ϕ+ (z) = 0 и ϕ− (z) = f (z). Таким образом,
ϕ(z) = F (z) в Or (x0 ), что означает аналитичность F .
2
Доказанная теорема имеет очевидные обобщения. Область D
можно выбирать симметричной относительно окружности C и предполагать, что f (z) приближается к другой окружности C 0 , когда z
стремится к C. При этих условиях f имеет аналитическое продолжение, которое отображает точки, симметричные относительно C,
в точки, симметричные относительно C 0 . Принцип симметрии часто
используется для построения конформных отображений.
Глава VI
Гармонические функции
§ 1.
Основные свойства гармонических функций
Как уже ранее отмечалось, под гармонической в области D
функцией понимается дважды непрерывно дифференцируемая функция
u(z) = u(x, y), z = x + iy,
удовлетворяющая уравнению Лапласа
∂2 u ∂2 u
+
=0
∆u =
∂ x2 ∂ y 2
Непосредственно из линейности оператора Лапласа ∆ следует,
что совокупность h(D) всех гармонических в области D функций образует линейное пространство.
Уместно провести аналогию с линейными функциями одного переменного, поскольку в этом случае уравнение Лапласа приводит нас
именно к ним. Отметим, что для линейных функций выполняются
теоремы о среднем и принцип максимума.
Если f (z) = u(z) + iv(z) — аналитическая в области D функция, то в силу уравнений Коши–Римана функции u и v являются
гармоническими в D.
Теорема 1. Пусть D — односвязная область и u ∈ h(D).Тогда найдется такая функция f ∈ H(D), что u(z) = Re f (z).
108
§ 1.
Основные свойства гармонических функций
109
Доказательство. Пусть u ∈ h(D). Рассмотрим функцию g, определенную в области D равенством:
g(z) =
∂u
∂u
−i ,
∂x
∂y
x + iy = z.
Поскольку u удовлетворяет уравнению Лапласа, для функции g выполнено условие комплексной дифференцируемости, т. е. g ∈ H(D).
В силу односвязности области D однозначно определена также голоморфная функция
Z
f (z) = U (z) + iV (z) = g(ζ) dζ,
которую мы нормируем условием U (z0 ) = u(z0 ), z0 ∈ D. В этом случае
f определена с точностью до мнимой константы.
Равенство f 0 (z) = g(z) влечет
∂u
∂U
=
,
∂x
∂x
∂U
∂V
∂u
=−
=
.
∂y
∂x
∂y
Таким образом, U (z) ≡ u(z).
2
Применение этой теоремы сразу же дает локальные свойства гармонических функций:
a) Бесконечная дифференцируемость.
b) Конформная инвариантность. Если u — гармоническая в области G функция, а g — аналитическая в области D функция
и g(D) ⊆ G, то v = u ◦ g является гармонической в области D.
c) Принцип экстремума. Непостоянная гармоническая в области D
функция u не может достигать локального максимума или минимума во внутренней точке.
Доказательство. a) Пусть u ∈ h(D) и z0 ∈ D. Тогда найдется
r > 0 такое, что Or (z0 ) ⊂ D. По теореме 1, найдется f ∈ H(Or (z0 )),
для которой Re f (z) = u(z). Отсюда следует бесконечная дифференцируемость функции u в Or (z0 ).
110
Глава VI .
Гармонические функции
b) Если g(z) ≡ const, то доказывать нечего. Поэтому допустим,
что g(z) 6≡ const. Фиксируем произвольно z0 ∈ D. Пусть Or (z0 ) ⊂ D.
В силу принципа открытости g(Or (z0 )) содержит некоторую окрестность точки w0 = g(z0 ). Допустим, Oρ (w0 ) ⊂ g(Or (z0 )). По теореме 1,
найдется функция f ∈ H (Oρ (w0 )), такая, что u(w) = Re f (w) при
w ∈ Oρ (w0 ). Сужая окрестность Or (z0 ) до Or0 (z0 ) так, чтобы выполнялось включение g(Or0 (z0 )) ⊂ Oρ (w0 ), мы получим v(z) = Re f ◦ g(z)
в Or0 (z0 ). Таким образом, v гармонична в окрестности точки z0 как
вещественная часть аналитической функции.
c) Допустим, что u(z0 ) является наибольшим (или наименьшим) значением функции u в окрестности Or (z0 ) ⊂ D. По теореме
1, найдется функция f ∈ H(Or (z0 )), для которой u(z) = Re f (z) в
Or (z0 ). Но тогда по принципу экстремума для вещественной части аналитической функции будем иметь f (z) ≡ const, что влечет
u(z) ≡ const в Or (z0 ). Чтобы распространить это на всю область D,
снова рассмотрим функцию
g(z) =
∂u
∂u
−i ,
∂x
∂y
которая определена и аналитична во всей области D. Однако в Or (z0 )
мы имеем g(z) = f 0 (z) = 0. По теореме единственности для аналитических функций g(z) ≡ 0 в D, что влечет u(z) ≡ const в области
D.
2
Принцип экстремума сразу же влечет два варианта теоремы
единственности для гармонических функций.
Теорема 2 (Единственности). Пусть u ∈ h(D) и выполнено одно
из следующих условий:
(i) u(z) = 0 в некоторой окрестности Or (z0 ) ⊂ D;
(ii) u непрерывно продолжается в замыкание D ограниченной области D и u(z) = 0 на ∂ D.
Тогда u(z) ≡ 0 в D.
§ 1.
Основные свойства гармонических функций
111
Из теоремы единственности, в частности, следует, что граничные значения вполне определяют гармоническую функцию в области.
Задача восстановления гармонической функции по ее граничным значениям известна как задача Дирихле. В последующих двух параграфах она будет решена в случае, когда в качестве области выступает
единичный круг.
Теорема 3 (О среднем). Пусть u — гармоническая в Or (z0 ) и непрерывная в Or (z0 ) функция. Тогда
1
u(z0 ) =
2π
Z2π
1 Z
u(z0 + ræ)| dæ|.
u(z0 + re ) dθ =
2π T
iθ
Здесь и в дальнейшем через T будем обозначать ориентированную
границу ∂ D.
Доказательство. Поскольку u — непрерывная в Or (z0 ) функция, то
достаточно доказать равенство:
1
u(z0 ) =
2π
Z2π
u(z0 + ρeiθ ) dθ
для всех ρ ∈ (0, r). Однако в круге Or (z0 ) функция u представима как
вещественная часть аналитической функции. Применяя к последней
теорему о среднем и отделяя в полученном равенстве вещественную
часть, приходим к требуемому утверждению.
2
Упражнение. Покажите, что гармоническая функция u, зависящая
только от r = |z − z0 |, имеет вид:
u(z) = α ln |z − z0 | + β.
Решение. Если u(z) = λ(r), то
∂u
∂r
x
= λ0 (r)
= λ0 (r),
∂x
∂x
r
и
∂2 u
x2 00
y2 0
= 2 λ (r) + 3 λ (r)
∂ x2
r
r
1
∆u = λ00 (r) + λ0 (r).
r
112
Глава VI .
Гармонические функции
Решая уравнение
1
λ00 (r) + λ0 (r) = 0,
r
приходим к требуемому утверждению.
2
§ 2.
Интегральные формулы Пуассона и Шварца
Теорема 1. Пусть u ∈ h(D) и непрерывно продолжается в D. Тогда
для любого a ∈ D выполняется равенство:
1
u(a) =
2π
Z2π
1 − |a|2
1 − |a|2
1 Z
iθ
u(æ)
u(e ) dθ =
| dæ|.
|eiθ − a|2
2π T
|æ − a|2
(1)
Доказательство. В случае a = 0 равенство (1) выражает теорему о
среднем. В случае a 6= 0 рассмотрим дробно–линейное отображение
`(z) = (z − a)/(1 − az)
и определим функцию v = u◦`−1 . В силу конформной инвариантности
свойства гармоничности v ∈ h(D) и также непрерывно продолжается
в D. По теореме о среднем
u(a) = v(0) =
1 Z
u(`−1 (ζ)) |dζ|.
2π T
Выполним в этом интеграле замену переменной:
`−1 (ζ) = æ,
и
ζ = `(æ),
dζ = `0 (æ) dæ,
1 Z
1 Z
1 − |a|2
u(a) =
u(æ)|` (æ)||dæ| =
u(æ)
|dæ|.
2π T
2π T
|1 − aæ|2
Поскольку при u ∈ T имеет место равенство
|1 − aæ| = |1 − aæ| = |æ − a|,
то мы приходим к равенству (1).
2
§ 2.
Интегральные формулы Пуассона и Шварца
113
Теорема 2. Пусть f — голоморфная в D функция, вещественная
часть которой u(z) = Re f (z) непрерывно продолжается в D . Тогда
для любого z ∈ D выполняется равенство:
1 Z æ+z
f (z) =
u(æ) |dæ| + i Im f (0)
2π T æ − z
1 Z æ+z
dæ
=
u(æ)
+ i Im f (0).
2πi T æ − z
æ
(2)
Доказательство. По теореме 1 функция u имеет представление в
виде
u(z) =
½
¾
1 − |z|2
1 Z
1 Z æ+z
u(æ)
|dæ|
=
Re
u(æ)
|dæ|
.
2π T
|æ − z|2
2π T æ − z
Заметим теперь, что функция в фигурных скобках является аналитической в единичном круге. Чтобы убедиться в этом, представим u
в виде (|dæ| = |iæ dθ| = dθ, æ = eiθ ) :
1 Z æ+z
1 Z
u(æ) |dæ| =
2π T æ − z
2πi T
1 Z
=
2πi T
æ+z
dæ
u(æ)
=
æ−z
æ
u(æ)
1 Z u(æ) dæ
dæ + z
æ−z
2πi T æ − z æ
Выражение в правой части последнего равенства является интегралом Коши с плотностью
æ+z
u(æ)
æ
и потому представляет собой аналитическую в D функцию. Следовательно, функция f , определенная равенством (2), аналитична в D и
Re f (z) = u(z). Остается заметить, что мнимая часть аналитической
функции восстанавливается однозначно с точностью до аддитивной
константы по вещественной части.
2
Замечание. Формулы (1) и (2) называются соответственно формулами Пуассона и Шварца.
114
§ 3.
Глава VI .
Гармонические функции
Интегралы Пуассона и Шварца. Задача Дирихле
Пусть ϕ — интегрируемая на T вещественнозначная функция.
Тогда для z ∈ D определен интеграл
1 Z 1 − |z|2
1
P (z; ϕ) =
ϕ(æ)
|dæ|
=
2π T |æ − z|2
2π
Z2π
1 − |z|2
ϕ(eiθ ) dθ,
iθ
2
|e − z|
который называется интегралом Пуассона с плотностью ϕ. Определим также интеграл Шварца
S(z; ϕ) =
1 Z æ+z
ϕ(æ) |dæ|.
2π T æ − z
Легко видеть, что между интегралами Пуассона и Шварца с одной и
той же плотностью ϕ имеет место соотношение
Re S(z; ϕ) = P (z; ϕ).
Теорема 1. Пусть ϕ ∈ L1 (T) — вещественнозначная функция. Тогда S(z; ϕ) является аналитической в D функцией. Кроме того, если
ϕ обращается в нуль на некоторой открытой дуге γ ∈ T, то S(z; ϕ)
аналитически продолжается через γ во внешность единичного круга и принимает на γ чисто мнимое значение.
Доказательство. Пусть z0 — произвольная точка круга D. Выберем
δ > 0 меньше половины расстояния от z0 до T = ∂ D. Тогда
1 Z
2 æ ϕ(æ)
S(z; ϕ) − S(z0 ; ϕ)
=
|dæ|
z − z0
2π T (æ − z)(æ − z0 )
и в силу неравенства
¯
¯
¯
¯
¯
¯ (æ
¯
¯
æ ϕ(æ)
1
¯
¯ ≤
|ϕ(æ)|
¯
− z)(æ − z0 ) ¯ δ 2
под знаком интеграла можно совершить предельный переход при z →
z0 . Это означает комплексную дифференцируемость функции S(z; ϕ)
в D. Пусть теперь ϕ(æ) = 0 на открытой дуге γ ⊂ T. Для любого
§ 3.
Интегралы Пуассона и Шварца. Задача Дирихле
115
z0 ∈ γ расстояние от z0 до T \ γ будет положительным и поскольку в
этом случае
1 Z æ+z
S(z; ϕ) =
ϕ(æ) |dæ|,
2π T\γ æ − z
то рассуждения, аналогичные проведенным в случае z0 ∈ D, дают
непрерывность и комплексную дифференцируемость функции S(z; ϕ)
на дуге γ. Аналитическое продолжение S(z; ϕ) через γ во внешность
единичного круга следует из принципа симметрии Римана–Шварца.
Отметим при этом, что условие Re S(z; ϕ) = 0 при z ∈ γ следует из
равенства:
1 − |z|2
æ+z
=
= 0,
Re
æ−z
|æ − z|2
z, æ ∈ T,
z 6= æ.
2
Отметим теперь некоторые свойства интеграла Пуассона, характеризующие его как оператор, действующий из L1 (T) в пространство
h(D).
(а) Линейность
P ( · ; ϕ1 + ϕ2 ) = P ( · ; ϕ1 ) + P ( · ; ϕ2 ),
P ( · ; αϕ) = αP ( · ; ϕ).
(б) Монотонность
P (z; ϕ) ≥ 0,
если
ϕ ≥ 0.
(в) P (z; 1) ≡ 1 и
inf ϕ ≤ P (z; ϕ) ≤ sup ϕ.
Доказательство. Линейность является следствием свойств интеграла. Для доказательства монотонности достаточно отметить, что
ядро Пуассона неотрицательно в D. Равенство P (z; 1) ≡ 1 следует из
интегральной формулы Пуассона для функции u(z) ≡ 1. Наконец,
неравенство для P (z; ϕ) следует из монотонности и линейности.
2
116
Глава VI .
Гармонические функции
Теорема 2 (Шварца). Пусть ϕ — функция, интегрируемая на T и
непрерывная в точке æ0 ∈ T. Тогда
lim P (z; ϕ) = ϕ(æ0 ).
z→æ0
Доказательство. Пусть ε > 0 задано. Выберем дугу γ ⊂ T c центром в точке æ0 так, чтобы неравенство
ε
|ϕ(æ) − ϕ(æ0 )| <
2
выполнялось для всех æ ∈ γ. Обозначим через γ ∗ дополнительную
дугу T \ γ и определим
(
ϕ1 (æ) =
(
ϕ2 (æ) =
ϕ(æ) − ϕ(æ0 ) при æ ∈ γ,
при æ ∈ γ ∗ ;
при æ ∈ γ,
ϕ(æ) − ϕ(æ0 ) при æ ∈ γ ∗ .
Тогда
P (z; ϕ) − ϕ(æ0 ) = P (z; ϕ1 ) + P (z; ϕ2 ).
Заметим теперь, что P (z; ϕ2 ) непрерывно продолжается на дугу γ и
обращается на ней в нуль (см. теорему 1). Следовательно, найдется
такое δ > 0, что
ε
|P (z; ϕ2 )| <
2
при |z − æ0 | < δ. Кроме того, из свойств интеграла Пуассона следует,
что
ε
|P (z; ϕ1 )| ≤ sup |ϕ(æ) − ϕ(æ0 )| ≤ .
æ∈γ
2
Таким образом, для любого z ∈ D, удовлетворяющего условию |z −
æ0 | < δ получаем
|P (z; ϕ) − ϕ(æ0 )| ≤ |P (z; ϕ1 )| + |P (z; ϕ2 )| < ε.
2
Доказанная теорема показывает, что задача Дирихле (отыскание
гармонической функции по ее непрерывным граничным значениям)
всегда разрешима в случае круга. Этот результат можно перенести с
помощью конформного отображения на другие односвязные области,
ограниченные жордановыми кривыми.
§ 4.
Характеристическое свойство гармонических функций
117
§ 4.
Характеристическое свойство гармонических функций
Ранее было установлено, что гармонические функции обладают
свойством среднего значения. Оказывается, что это свойство является
для них характеристическим.
Определение. Будем говорить, что непрерывная в области D
функция u обладает локально свойством среднего значения, если
для каждой точки z0 ∈ D найдется такое r > 0, что Or (z0 ) ⊂ D и
1
u(z0 ) =
2π
Z2π
u(z0 + ρeiθ ) dθ =
1 Z
u(z0 + ρæ) |dæ|
2π T
(1)
для всех ρ ∈ (0, r).
Теорема 1. Непостоянная непрерывная в области D функция u, обладающая в D локально свойством среднего значения, не может
достигать внутри D ни минимума, ни максимума.
Доказательство. Допустим, что функция u достигает в точке z0 ∈
D своего максимума (или минимума). По определению свойства найдется такое r > 0, что при всех ρ ∈ (0, r) выполняется равенство (1).
Поскольку для всех æ ∈ T имеет место неравенство u(z0 + ρæ) ≤ u(z0 )
(или u(z0 + ρæ) ≥ u(z0 )), то равенство (1) вместе с непрерывностью
функции u дает u(z0 + ρæ) = u(z0 ) при всех ρ ∈ (0, r) и æ ∈ T. Таким образом, множество A точек области D, в которых u достигает
своего максимума (или минимума) открыто. С другой стороны, множество B = D \ A в силу непрерывности функции u также должно
быть открытым. Поскольку D связно, то одно из множеств A или
B должно быть пустым. По предположению A 6= ∅. Следовательно,
B = ∅ и A = D. Однако это влечет условие u(z) ≡ u(z0 ), которое
противоречит непостоянности функции u.
2
Теорема 2. Непрерывная в области D функция u, обладающая в D
локально свойством среднего значения, является гармонической.
118
Глава VI .
Гармонические функции
Доказательство. Пусть z0 ∈ D и r > 0, такие, что Or (z0 ) ⊂ D.
Определим
1 Z 1 − |z|2
V (z) = P (z; ur ) =
u(z0 + ræ) |dæ|.
2π T |æ − z|2
Из свойств интеграла Пуассона следует, что функция V является гармонической в D и непрерывной в D. Кроме того, V (æ) = u(z0 + ræ)
для всех æ ∈ T.
Рассмотрим теперь функцию
Ã
v(z) = V
!
z − z0
,
r
которая гармонична в Or (z0 ), непрерывна в Or (z0 ) и совпадает с u на
∂ Or (z0 ). Очевидно, что разность u(z) − v(z) является непрерывной в
Or (z0 ) функцией, обладающей в Or (z0 ) локально свойством среднего
значения. Следовательно, по предыдущей теореме u−v не достигает в
Or (z0 ) ни максимума, ни минимума, если только она не тождественно
постоянна. Однако u(z) − v(z) = 0 при z ∈ ∂ Or (z0 ) и потому u(z) ≡
v(z) в Or (z0 ).
2
Полученное характеристическое свойство гармонических
функций делает интуитивно понятным, почему установившееся распределение температур в однородной плоской пластине D есть гармоническая функция. В противном случае в какой–нибудь точке z0 ∈ D
значение температуры было бы строго больше или строго меньше,
чем среднее температуры на достаточно малой окружности с центром в z0 . Следовательно, в этой точке происходило бы соответственно
уменьшение или увеличение температуры.
§ 5.
Неравенства и принцип Гарнака
В этом параграфе мы приведем два результата Гарнака, касающиеся сходимости гармонических функций и неравенств для ограниченных гармонических функций.
§ 5.
Неравенства и принцип Гарнака
119
Теорема 1. Пусть u — неотрицательная гармоническая в Or (z0 ) и
непрерывная в Or (z0 ) функция. Тогда для всех z ∈ Or (z0 ) выполняются неравенства
r − |z − z0 |
r + |z − z0 |
u(z0 ) ≤ u(z) ≤
u(z0 ).
r + |z − z0 |
r − |z − z0 |
(1)
Доказательство. Рассмотрим функцию v(ζ) = u(z0 + rζ). Для нее
выполнены условия применимости формулы Пуассона, согласно которой
1 Z 1 − |ζ|2
v(ζ) =
v(æ) |dæ|.
2π T |æ − ζ|2
Замечая, что
1 − |ζ|
1 − |ζ|2
1 + |ζ|
≤
≤
,
1 + |ζ|
|æ − ζ|2
1 − |ζ|
и учитывая неотрицательность v(æ), получаем
1 − |ζ| 1 Z
1 + |ζ| 1 Z
v(æ) |dæ| ≤ v(ζ) ≤
v(æ) |dæ|.
1 + |ζ| 2π T
1 − |ζ| 2π T
В силу теоремы о среднем эти неравенства переписываются в виде:
1 − |ζ|
1 + |ζ|
v(0) ≤ v(ζ) ≤
v(0).
1 + |ζ|
1 − |ζ|
Остается в этих неравенствах положить ζ = (z−z0 ) / r и заметить,что
Ã
v(0) = u(z0 ),
!
z − z0
= u(z).
v
r
2
Упражнение. Покажите, что неотрицательная гармоническая во
всей плоскости функция тождественно постоянная.
Теорема 2 (Гарнака). Пусть последовательность гармонических
в области D функций un удовлетворяет условию un (z) ≤ un+1 (z) при
всех z ∈ D и n = 1, 2, . . . . Тогда выполняется одно из следующих
утверждений:
(i) un (z) → ∞ локально равномерно в D при n → ∞;
120
Глава VI .
Гармонические функции
(ii) последовательность {un } сходится локально равномерно в D
при n → ∞ к некоторой гармонической в D функции u.
Доказательство. Пусть z0 — произвольная точка области D. В силу открытости D найдется такое r > 0, что Or (z0 ) ⊂ D. Поскольку
при любых натуральных n и p функция un+p − un является неотрицательной, то в силу (1)
r−|z−z0 |
r+|z−z0 | (un+p (z0 )
− un (z0 )) ≤ un+p (z) − un (z) ≤
r+|z−z0 |
r−|z−z0 | (un+p (z0 )
− un (z0 ))
при всех z ∈ Or (z0 ). В круге же Or/2 (z0 ) будет выполняться неравенство
1
(un+p (z0 ) − un (z0 )) ≤ un+p (z) − un (z) ≤ 3(un+p (z0 ) − un (z0 )).
(2)
3
Левая часть неравенства (2) показывает, что если un (z0 ) → ∞ при
n → ∞, то un (z) → ∞ равномерно в Or/2 (z0 ) при n → ∞. Правая часть неравенства (2) показывает, что если {un (z0 )} сходится,
то {un (z)} также сходится равномерно в круге Or/2 (z0 ) к некоторой
функции u(z). Очевидно, что предельная функция u(z) будет непрерывной в Or/2 (z0 ).
Таким образом, область D распадается на два открытых непересекающихся множества: D1 , на котором un (z) → ∞ локально равномерно при n → ∞, и D2 , на котором un (z) сходится к некоторой
непрерывной функции u(z) также локально равномерно. В силу связности области D одно из этих множеств должно быть пустым.
Остается доказать, что в случае D2 = D предельная функция u(z)
является гармонической. Пусть z0 ∈ D и r > 0, такое, что Or (z0 ) ⊂
D и un (z) → u(z) равномерно в Or (z0 ) при n → ∞. Тогда для всех
ζ ∈ D получаем
u(z0 + rζ) = n→∞
lim un (z0 + rζ) =
1 Z 1 − |ζ|2
1 Z 1 − |ζ|2
= n→∞
lim
un (z0 + ræ) |dæ| =
u(z0 + ræ) |dæ|.
2π T |æ − ζ|2
2π T |æ − ζ|2
Поскольку в правой части равенства мы имеем интеграл Пуассона,
то u(z0 + rζ) является гармонической в D функцией. Следовательно,
u(z) гармонична в Or (z0 ).
2
) + 4" ) - '(
! ' ! & . 6
%!- &4 4
- & . ))66
3 !',&4! .&* "&
) - '(
6 &0 4# ) 6 - )
& .
U &0 4# ) -6 ,(
0 ' & .
& 11 G 4 $/ ! 4102-
(
&
. ) )
) 6) I + - & $ #.
1! #&#"
)
-
'
!
'
(
)
666
.
* " " ' + )
!
' ! & . )
) H D D )
))
Содержание
Введение . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5
Глава I
§ 1.
§ 2.
§ 3.
§ 4.
§ 5.
Комплексные числа и функции . . . . . . . .
Алгебра комплексных чисел . . . . . . . . . . . . . .
Геометрическое представление комплексных чисел .
Комплексная дифференцируемость . . . . . . . . . .
Степенные ряды . . . . . . . . . . . . . . . . . . . . .
Экспонента и тригонометрические функции . . . . .
6
6
10
15
22
26
Глава II
§ 1.
§ 2.
§ 3.
§ 4.
Аналитические функции как отображения
Топология комплексной плоскости . . . . . . . . .
Конформность . . . . . . . . . . . . . . . . . . . .
Дробно–линейные преобразования . . . . . . . . .
Элементарные конформные отображения . . . . .
31
31
37
41
49
.
. .
. .
. .
. .
Глава III Комплексное интегрирование . . . . . . . . .
§ 1. Определение и основные свойства интеграла . . . . .
§ 2. Теорема Коши в выпуклой области . . . . . . . . . .
§ 3. Индекс. Цепи и циклы . . . . . . . . . . . . . . . . . .
§ 4. Общая форма теоремы Коши . . . . . . . . . . . . . .
§ 5. Интегральная формула Коши и некоторые ее следствия
53
53
58
61
67
70
Глава IV Изолированные особые точки и разложения в
ряды . . . . . . . . . . . . . . . . . . . . . . . . . . . .
§ 1. Локально равномерная сходимость . . . . . . . . . .
§ 2. Тейлоровское разложение и теорема единственности
§ 3. Ряды Лорана . . . . . . . . . . . . . . . . . . . . . . .
§ 4. Изолированные особые точки . . . . . . . . . . . . . .
§ 5. Вычеты . . . . . . . . . . . . . . . . . . . . . . . . . .
75
75
77
79
83
87
122
Содержание
123
Глава V
§ 1.
§ 2.
§ 3.
§ 4.
§ 5.
Основные принципы . . . . . . . . . . . . . . . 92
Принцип аргумента . . . . . . . . . . . . . . . . . . . 92
Принцип открытости . . . . . . . . . . . . . . . . . . 96
Принцип компактности . . . . . . . . . . . . . . . . . 98
Теорема Римана об отображении . . . . . . . . . . . 100
Аналитическое продолжение и принцип симметрии . 103
Глава VI
§ 1.
§ 2.
§ 3.
§ 4.
§ 5.
Гармонические функции . . . . . . . . . . . . 108
Основные свойства гармонических функций . . . . . 108
Интегральные формулы Пуассона и Шварца . . . . . 112
Интегралы Пуассона и Шварца. Задача Дирихле . . 114
Характеристическое свойство гармонических функций117
Неравенства и принцип Гарнака . . . . . . . . . . . . 118
Список использованной и рекомендуемой литературы . 121
Учебное издание
Горяйнов Виктор Владимирович
Курс лекций
по теории функций
комплексного переменного
Главный редактор А.В. Шестакова
Редактор О.С. Кашук
Технический редактор
ЛР N 020406 от 12.02.97
Подписано в печать 30.10.98. Формат 60 × 84/16.
Бумага типографская N 1. Гарнитура Таймс. Усл. печ. л. 7,2
Уч. изд. л. 7,8 Тираж 100 экз. Заказ 116. ”С” 25.
Издательство Волгоградского государственного университета
400062, Волгоград, ул. 2-я Продольная, 30.