Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

bilutapa-kurstfkp

.pdf
Скачиваний:
44
Добавлен:
06.06.2015
Размер:
1.33 Mб
Скачать

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ

Национальный исследовательский университет Новосибирский государственный университет Механико-математический факультет

УТВЕРЖДАЮ

2012 г.

Курс лекций

Курс теории функций комплексного переменного

Направление подготовки

Механика и математическое моделирование

Квалификация (степень) выпускника

Бакалавр

Форма обучения

Очная

Новосибирск 2012

Аннотация

Настоящая разработка представляет собой материал курса лекций дисциплины "Теория функций комплексного переменного читаемых студентам 2–3 курсов механико-математического факультета Новосибирского государственного университета по специальности "механика и математическое моделирование" и призвана способствовать решению задачи развития образовательного процесса

врамках Мероприятий по реализации Программы развития НИУ НГУ (ПНР-1, III, п.Б.3.9).

Материал разработки находится в полном соотвтствии с содержанием лекций, читаемых по инновационной программе третьего поколения ФГОС ВПО и отличается от имеющихся учебных пособий по теории функций комплексного переменного как по усовершенствованной методике изложения, так и по содержанию, ибо

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

Изложение материала учитывает уровень подготовки студентов в начале четвертого семестра, когда начинается чтение курса Теории функций крмплексного переменного.

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

3

 

ОГЛАВЛЕНИЕ

 

 

Предисловие . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

5

 

ВВЕДЕНИЕ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

6

0.1. Комплексные числа . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

6

0.2. Множества на расширенной комплексной плоскости. . . . . . . .

9

0.3. Предел. Ряды комплексных чисел . . . . . . . . . . . . . . . . . . . . . . . . .

12

0.4. Функции комплексного переменного . . . . . . . . . . . . . . . . . . . . . . .

15

0.5. Кривая Жордана. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

17

0.6. Функциональные ряды . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

22

Глава I. АНАЛИТИЧЕСКИЕ ФУНКЦИИ . . . . . . . . . . . . . . . . . . . . . . . . .

30

1.1. Дифференцирование функции комплексного переменного.

 

 

Аналитичность . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

30

1.2. Аналитичность суммы степенного ряда . . . . . . . . . . . . . . . . . . . .

33

1.3. Конформное отображение. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

34

1.4. Обращение некоторых элементарных функций. Понятия

 

 

римановой поверхности и точки ветвления . . . . . . . . . . . . . . . .

39

1.5. Дробно-линейное отображение . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

43

Глава 2.

ТЕОРИЯ ИНТЕГРАЛА КОШИ . . . . . . . . . . . . . . . . . . . . . . . . . . .

50

2.1. Комплексное интегрирование . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

50

2.2. Теорема Коши. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

53

2.3. Интеграл типа Коши . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

64

2.4. Теорема Морера. Понятие неопределенного интеграла . . . .

66

2.5. Ряд Тейлора. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

68

2.6. Принцип максимума модуля аналитической функции . . . . .

71

2.7. Теоремы Вейерштрасса о рядах аналитических функций. .

74

2.8. Принцип компактности . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

77

2.9. Интегральные формулы Шварца и Пуассона . . . . . . . . . . . . . .

80

2.10. Функции класса Гельдера . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

82

2.11. Интеграл в смысле главного значения по Коши . . . . . . . . . .

88

2.12. Граничные значения интеграла типа Коши. . . . . . . . . . . . . . .

89

Глава 3. РЯД ЛОРАНА. ЭЛЕМЕНТЫ ТЕОРИИ ВЫЧЕТОВ. . . . . .

103

3.1. Ряд Лорана. Изолированные особые точки . . . . . . . . . . . . . . . .

103

3.2. Понятия целой и меромофной функций . . . . . . . . . . . . . . . . . . .

111

3.3. Элементы теории вычетов . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

113

3.4. Принцип аргумента аналитической функции. . . . . . . . . . . . . .

120

3.4. Интегральная формула Коши для внешней области . . . . . .

124

4

Глава 4. ОСНОВНЫЕ ПРИНЦИПЫ КОНФОРМНОГО ОТОБРАЖЕНИЯ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127

5.1. Аналитическое продолжение . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127 5.2. Теорема Римана о конформном отображении

односвязных областей . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135 5.3. Соответствие границ при конформном отображении . . . . . . 143

Глава 5. КРАЕВЫЕ ЗАДАЧИ ТЕОРИИ ФУНКЦИЙ . . . . . . . . . . . . . . 148 6.1. Гармонические функции . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 148 6.2. Задача Дирихле . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152 6.3. Задача Неймана . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 159 6.4. Задачи сопряжения . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 163 6.5. Задача Римана – Гильберта . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 172 6.6. Сингулярные интегральные уравнения . . . . . . . . . . . . . . . . . . . . 174

СПИСОК ЛИТЕРАТУРЫ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 181

5

ПРЕДИСЛОВИЕ

В настоящий курс лекций внесены изменения в ряд доказательств, некоторые доказательства иллюстрируются рисунками.

25 сентябряя 2012 г.

П. А. Билута

г. Новосибирск

 

6

ВВ Е Д Е Н И Е

0.1.Комплексные числа

Напомним некоторые известные понятия и факты из теории комплексных чисел.

Комплексное число α определим как упорядоченную пару (a, b) действительных чисел a, b. Первая компонента a этой пары называется д е й с т в и т е л ь н о й ч а с т ь ю, а вторая компонента b м н и м о й

ч а с т ь ю комплексного числа α, и для

них приняты обозначения: a =

= <eα, b = =mα. Потребуем, чтобы (a, 0)

= a. Число вида (0, b) называет-

ся м н и м ы м.

Числа (0, 0) = 0, (1, 0) = 1 и (0, 1) = i называются н у л е м,

е д и н и ц е й и

м н и м о й е д и н и ц е й соответственно.

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

α = (a, b) = a + ib.

Обозначим через E2 евклидову плоскость с декартовыми ортогональными координатами x, y. Так как комплексное число z = x + iy является парой (x, y) действительных чисел, а множество всевозможных та-

ких пар находится во

в з а и м н о о д н о з н а ч н о м

с о о т в е т с т в и и

с точками E2, то

к а ж д у ю

т о ч к у E2 c координатами x, y можно

принять за и з о б р а ж е н и е

к о м п л е к с н о г о ч и с л а

z = x + iy.

В таком истолковании

E2

естественно называть

к о м п л е к с н о й

п л о с к о с т ь ю,

которую будем обозначать через C, а z

 

т о ч к о й

комплексной плоскости C. Множество C = C \{0} называется

п р о к о -

л о т о й (в нуле) к о м п л е к с н о й п л о с к о с т ь ю.

Так как оси x, y описываются уравнениями =mz = 0, <ez = 0 соответ-

ственно, то их называют д е й с т в и т е л ь н о й и м н и м о й о с я м и. Число x−iy называется к о м п л е к с н о с о п р я ж е н н ы м с числом

z = x+iy и обозначается через .

Число zz,¯ z C, называется м о д у л е м, а угол ϕ между радиусвектором точки z C и положительным направлением оси x а р г у - м е н т о м комплексного числа z, и для них приняты обозначения: zz¯= = | z |, ϕ = arg z.

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

7

Положение точки z на комплексной плоскости однозначно определяется как декартовыми координатами x, y, так и полярными r = | z |, ϕ = arg z. Обратно, по заданной точке z ее декартовы координаты и мо-

дуль определяются единственным образом, а аргумент с точностью до слагаемого 2kπ, k Z. Так, например, аргументом комплексного числа z служит как положительный угол ϕ (см. Рис. 1), так и отрицательный угол ψ = ϕ−2π.

6

 

 

 

 

 

 

 

z = (x, y) = x+iy

 

 

 

 

 

y

 

 

 

 

*

 

r

z1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

qJ]J

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

J

 

 

 

 

 

ψ

 

 

 

 

 

 

 

J z

1

z

2

-

 

 

ϕ = arg z

 

 

 

 

 

J

 

 

 

 

 

 

 

x

JJJ

 

r

2

 

 

 

 

 

 

 

z q

 

 

 

J

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Рис. 1

Значение arg z, удовлетворяющее условию −π < arg z ≤π, называется

г л а в н ы м.

Заметим, что аналогично тому, как комплексное число z можно изображать на комплексной плоскости радиус-вектором точки z, комплексное число вида z1 −z2 часто удобно изображать вектором с началом в точке z2 и концом в точке z1 , причем | z1−z2 | геометрически представ-

ляет собой расстояние между этими точками.

Для двух комплексных чисел z1

и z2 имеют место неравенства тре-

угольника

 

 

 

 

 

 

| z1 | − | z2 | .

 

 

 

 

 

 

| z1 + z2 | ≤ | z1 | + | z2 |, | z1 − z2 | ≥

 

 

 

 

 

 

Поскольку z1 + z2 = z1

(

z2 ), z1

z2 = z1 + (

z2 ), а

|−

z2

|

=

|

z2

|

, то

 

 

 

 

 

 

 

 

отсюда получим следующее двойное неравенство

 

 

 

 

 

 

 

 

| z1 | − | z2 | ≤ | z1 ± z2 | ≤ | z1 | + | z2 |.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

При этом легко увидеть, что верхняя граница для модуля суммы и нижняя для модуля разности достигаются, когда радиус-векторы точек z1 и z2 одинаково направлены, а нижняя граница для модуля суммы и верх-

няя для модуля разности, когда они противоположно направлены.

8

В евклидовом пространстве E3

 

с декартовыми ортогональными ко-

ординатами ξ, η, ζ

рассмотрим сферу S

радиуса 1 с центром в точке

0, 0, 21 :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

ξ2 + η2 + ζ2 − ζ = 0.

(0.1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Плоскость ζ = 0 совместим с

 

 

 

 

 

 

 

 

 

6ζ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

комплексной плоскостью C,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

действительная ось x

кото-

 

 

 

 

 

 

 

 

 

 

P (0, 0,1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

рой совпадает с осью

ξ, а

 

 

 

 

 

 

 

 

 

L

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

мнимая ось y с осью η.

 

 

 

 

 

 

 

 

 

rL

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Соединим точку z = x+iy

 

 

 

 

 

 

 

 

 

 

 

 

L

L M

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

комплексной плоскости C

 

 

 

 

 

 

 

 

 

 

 

 

 

ξ, η, ζ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

LrL (

 

 

 

 

 

)

 

 

 

 

 

 

 

 

 

c точкой P (0, 0,1) отрезком

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

LL

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

прямой. Он пересечет сферу

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S в отличной от P точке

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

M (ξ, η, ζ), которая называет-

 

 

 

 

 

 

 

 

 

 

 

 

LL

 

 

 

 

 

 

 

 

-

 

ся с т е р е о г р а ф и ч е с к о й

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

п р о е к ц и е й точки z на сфе-

 

 

 

 

 

 

0

 

 

 

 

L

 

 

 

 

 

 

 

 

η (y)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

LL

 

 

 

 

 

 

 

 

 

 

 

 

 

ру S с полюсом P (см. Рис. 2).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L

 

 

 

 

 

 

 

 

 

 

 

Стереографическая про-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L

 

 

 

 

 

 

 

 

 

 

екция устанавливает в з а-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L

 

 

 

 

 

 

 

 

и м н о о д н о з н а ч н о е с о-

= ξ(x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

LL

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

о т в е т с т в и е между точка-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

zr= x+iy

ми сферы S с выколотым

 

 

 

 

 

 

 

 

Рис. 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

полюсом P и точками ком-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

плексной плоскости C.

 

Из коллинеарности точек P (0, 0, 1), M (ξ, η, ζ) и z следует, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ξ

 

=

η

=

ζ −1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

y

 

 

 

или

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

−1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ξ

 

 

 

 

 

 

 

 

 

 

η

 

 

 

 

 

 

ξ +iη

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x =

 

,

 

 

 

y =

 

 

,

 

z =

.

(0.2)

 

 

 

 

 

 

 

 

 

 

 

 

 

−ζ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

1−ζ

 

 

 

1−ζ

 

В силу последнего из равенств (0.2) с учетом (0.1) имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

| z |2 =

 

ξ2 2

 

 

 

 

ζ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1−ζ)2

1−ζ

 

9

откуда

 

 

 

| z |2

 

 

 

 

 

ζ =

 

.

 

(0.3)

 

1+| z |2

 

 

 

 

 

 

 

Подставив значение ζ из (0.3) в (0.2), получим

 

 

x

 

 

 

y

(0.4)

ξ =

 

 

,

η =

 

 

.

1+| z |2

1+| z |2

Равенства (0.3) и (0.4) называются

ф о р м у л а м и с т е р е о г р а ф и ч е -

с к о й п р о е к ц и и.

Отметим без доказательства два свойства стереографической проекции:

1)она сопоставляет окружности (и прямой) на комплексной плоскости C окружность на сфере S и обратно;

2)она сохраняет углы.

Введем теперь в рассмотрение "и д е а л ь н о е" комплексное число

z = ∞ и "пополним"комплексную плоскость

присоединением к ней

е д и н с т в е н н о й б е с к о н е ч н о у д а л е н н о й

т о ч к и, соответствую-

щей числу z = ∞. Комплексная плоскость вместе с бесконечно удален-

ной точкой называется р а с ш и р е н н о й к о м п л е к с н о й п л о с к о с -

т ь ю и обозначается через C .

Дополняя соответствие, установленное стереографической проекцией, сопоставлением бесконечно удаленной точки полюсу P сферы S,

получим взаимно однозначное соответствие между расширенной ком-

плексной плоскостью C и сферой S.

Эта интерпретация комплексных чисел была предложена Риманом, поэтому S называют с ф е р о й Р и м а н а.

0.2.Множества на расширенной комплексной плоскости

Будем называть:

– о к р е с т н о с т ь ю (δ - о к р е с т н о с т ь ю) точки z0 C множество точек z C, удовлетворяющих неравенству | z−z0 |< δ, δ > 0, и обозначать

ее через C(δ, z0 );

10

– п р о к о л о т о й о к р е с т н о с т ь ю точки z0 множество C (δ, z0 ) =

=C(δ, z0 ) \ {z0 };

о к р е с т н о с т ь ю б е с к о н е ч н о у д а л е н н о й т о ч к и множество

точек z C , удовлетворяющих неравенству | z |> δ;

– точку z и з о л и р о в а н н о й точкой множества E C , если существует такое число δ > 0, что пересечение E ∩ C(δ, z) состоит из единственной точки z : E ∩ C(δ, z) = {z};

– точку z п р е д е л ь н о й точкой множества E, если в любой окрест-

ности точки z

имеется бесконечное множество точек этого множества;

– точку z

в н у т р е н н е й

точкой множества

E,

если существует

такое число δ > 0, что C(δ, z) E;

 

 

– точку z

в н е ш н е й точкой множества E, если существует такое

число δ > 0, что E ∩ C(δ, z) = ;

 

 

– точку z

г р а н и ч н о й

точкой множества

E,

если в любой ее

окрестности имеются как точки множества E, так и точки, не принадле-

жащие этому множеству. Заметим, что если граничная точка множества E не принадлежит E, то она является его предельной точкой;

– совокупность всех граничных точек множества E г р а н и ц е й этого множества и обозначать через ∂E;

– множество E о г р а н и ч е н н ы м, если все его точки лежат в некотором круге | z |< R, 0 < R < ∞;

– множество E з а м к н у т ы м, если оно содержит все свои предель-

ные точки. В частности, оно может не иметь предельных точек;

– з а м ы к а н и е м множества E множество E = E ∂E;

– д и а м е т р о м множества E число d (E) = sup | z −ζ |;

 

 

 

 

 

z, ζ E

– р а с с т о я н и е м м е ж д у м н о ж е с т в а м и E и G число ρ (E, G) =

inf

z

ζ

|

;

= z E, ζ G |

 

 

 

– множество

о т к р ы т ы м, если каждая точка этого множества яв-

ляется его внутренней точкой;

множество с в я з н ы м, если его нельзя представить в виде объединения двух непустых непересекающихся множеств, каждое из которых не содержит предельных точек другого;

о б л а с т ь ю открытое связное множество;

– з а м к н у т о й о б л а с т ь ю множество, состоящее из области и ее границы;

11

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]