Вы находитесь на странице: 1из 3

Комплексный анализ (ТФКП).

Лекция 3

Бунаков Андрей Эрикович


21 сентября 2020 г.

Кривые. Области. Регулярные функции


Определения.
• Параметрически заданная кривая в C — непрерывная (покомпонентно) функция f :
[α, β] → C.
• Две функции f и g, определённые на [α1 , β1 ] и [α2 , β2 ] соответственно, задают одну
и ту же кривую, если существует такая строго монотонная h : [α1 , β1 ] → [α2 , β2 ], что
h(α1 ) = α2 , h(β1 ) = β2 , и f = g ◦ h.1 Функция h называется заменой параметра.
• Дуга кривой — сужение кривой (как функции) на подотрезок области определения.
• Замкнутая и простая кривые определяются аналогично курсу мат. анализа.
• Кривая называется непрерывно дифференцируемой, если некоторая её параметризация
непрерывно дифференцируема.
• Непрерывно дифференцируемая кривая называется гладкой, если производные её ком-
понент нигде не обнуляются одновременно.
• Кусочно-гладкая кривая — кривая, составленная (в известном смысле) из конечного
набора гладких кривых.
• Неограниченная кривая — кривая, соединяющая точку z0 с точкой ∞, т. е. непрерыв-
ная функция f , определённая на [α, +∞) и имеющая следующие свойства: f (α) = z0 ,
lim f (t) = ∞.
t→+∞

• Носитель кривой γ (M (γ)) — область прибытия кривой как функции. (Пусть γ :


[α, β] → C, тогда M (γ) = γ([α, β]).)
(Иногда простая кривая будет отождествляться с её носителем.)

Определение. Множество M ⊂ C открыто, если для каждой его точки найдётся


окрестность, лежащая в этом множестве:

∀z ∈ M ∃ε > 0 (Bε (z) ⊂ M )

Определение. Множество M ⊂ C линейно связно, если для любых двух его точек
найдётся кривая (возможно, неограниченная), лежащая в M и соединяющая эти точки.
1 Заметим, что h — это непрерывная биекция.

1
Определение. Область — непустое открытое линейно связное множество.
Определение. Точка z ∈ C называется граничной для M ⊂ C, если любая её окрест-
ность содержит как точки, принадлежащие M , так и точки, не принадлежащие M .
Определение. Граница множества M (∂M ) — множество граничных точек M .
Определение. Замыкание множества M : M = M ∪ ∂M .
Определение. Множество M ⊂ C связно, если не существует разбиения M на M1 и
M2 , обладающего следующими свойствами: M1 6= ∅, M2 6= ∅, M1 ∩ M2 = ∅, M1 ∩ M2 = ∅.
Определение Область G ⊂ C односвязна, если ∂G связно.

Определения.

• Функция f регулярна в области G ⊂ C, если f ∈ C 1 (G).


• Функция f регулярна в точке z, если f регулярна в некоторой полной окрестности z.
• Функция f регулярна на множестве A, если она регулярна в некоторой области,
содержащей A.

• Функция, регулярная в C, называется целой (entire).


Регулярность сохраняется при арифметических операциях и композиции.

Интеграл вдоль кривой


(Все кривые считаются кусочно-гладкими.)

Пусть γ — кусочно-гладкая кривая, f — функция, непрерывная на M (γ).


Определение. Интеграл I рода определяется как интеграл Римана для следующих
интегральных сумм (здесь {(tk , ξk )} — помеченное разбиение области определения γ):
X
S= f (γ(ξk )) · |γ(tk ) − γ(tk−1 )|
k

Можно ввести определение через интегралы компонент: если f = u + iv, то


Z Z
I = u ds + i v ds
γ γ
R
Обозначение: f (z) |dz|
γ

Свойства:
R
0. 1 |dz| = L(γ) — длина кривой
γ

1. Линейность (по функциям)

2. Аддитивность по кривым
3. Неориентированность (разворот кривой не меняет интеграл)

2
4. Переход к обычному интегралу Римана:

Z Zβ
f (z) |dz| = f (γ(t)) |γ 0 (t)| dt
γ α

5. Интеграл не изменяется при непрерывно дифференцируемой замене параметра, со-


храняющей ориентацию2 (т. е. имеющей положительную производную).

Определение. Интеграл II рода определяется как интеграл Римана для следующих


интегральных сумм (здесь {(tk , ξk )} — помеченное разбиение области определения γ):
X
Sb = f (γ(ξk )) · (γ(tk ) − γ(tk−1 ))
k

Можно ввести определение через интегралы компонент: если f = u + iv, то


Z Z
I = (u dx − v dy) + i (v dx + u dy)
γ γ
R
Обозначение: f (z) dz
γ

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