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

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

Лекция 2

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


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

Утверждение. |z1 · z2 | = |z1 | · |z2 |


(обобщается на произвольное кол-во множителей по индукции)
Если определить сумму/разность множеств как множество попарных

Числовые последовательности и ряды


Определения.
1. C = C ∪ {inf}
(
{z ∈ C | |z − a| < ε}, a 6= inf
2. Полная окрестность: Bε =
{z ∈ C | |z| > ε} ∪ {inf}, a = inf

3. Проколотая окрестность: B̊ε (a) = Bε (a) \ {a}

Определение. Отображение из N в C называется числовой последовательностью {zn }.


Элемент этого отображения (n, zn ) называется n-м элементом последовательности, а zn —
значением n-го элемента.

Определение. Число a называется пределом последовательности {zn }, если

∀ε > 0 ∃N ∈ N ∀n ≥ N (zn ∈ Bε (a))

Обозначение: lim zn = a
n→∞

Если {a, z1 , . . . , zn , . . . } ⊂ C, то можно применить определение предела в нормированном


пространстве:
lim zn = a ⇔ lim |zn − a| = 0
n→∞ n→∞

Определение. Если последовательность имеет предел в C, то она называется сходя-


щейся.

Утверждение. Пусть zn = xn + iyn , a = b + ic, тогда



 lim xn = b
lim zn = a ⇔ n→∞
n→∞  lim yn = c
n→∞

1
Доказательство.

max{|xn − b|, |yn − c|} ≤ |zn − a| ≤ |xn − b| + |yn − c|

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

1. Числовой ряд :
P
zn
n=0

n
2. n-я частичная сумма ряда: Sn =
P
zk
k=0

3. Ряд сходится к числу S, если lim Sn = S. Число S называется суммой ряда.


n→∞

Обозначение:
P
zn = S
n=0

4. Если сумма ряда принадлежит C, то ряд называется сходящимся.


Утверждение. Пусть zn = xn + iyn , a = b + ic, тогда
P∞

X 
 xn = b
n=0
zn = a ⇔ ∞
P
n=0

 yn = c
n=0

∞ ∞
Определение. Ряд zn сходится абсолютно, если ряд |zn | сходится.
P P
n=0 n=0

Для сходящихся последовательностей можно определить арифметические операции, ана-


логичные вещественнозначным.

Признак Дирихле. Пусть zn и {an } имеют следующие свойства:
P
n=0


1. Частичные суммы ряда zn ограничены
P
n=0

2. {an } ⊂ R, и an монотонно стремятся к нулю



. . . тогда zn an сходится.
P
n=0
∞ ∞
Доказательство. Пусть zn = xn + iyn , тогда xn an и yn an сходятся по признаку
P P
n=0 n=0
Дирихле, поскольку
n n
n
X X X
xk = Re zk ≤ zk



k=0
n
k=0
n
k=0
n

X X X
yk = Im zk ≤ zk



k=0 k=0 k=0

2
Функции комплексного переменного
Предел и непрерывность
Определение. Пусть E ⊂ C. Функция комплексного переменного — отображение из E в C.
Определение. Пусть a, A ∈ C, и f определена в B̊δ0 (a). Число A называется пределом
функции f в точке a, если

∀ε > 0 ∃δ ∈ (0, δ0 ] (f (B̊δ (a)) ⊂ Bε (A))

Обозначение: lim f (z) = A


z→a

Всякая функция f : C → C представима функцией f˜ : R2 → R2 . В связи с этим мы


будем использовать запись f (z) = u(x, y) + i v(x, y), где z = x + iy.

Для пределов функций можно определить арифметические операции.

Определение. Пусть a ∈ C, f определена в Bδ0 (a), и f (Bδ0 (a)) ⊂ C. Функция f непре-


рывна в точке a, если lim f (z) = f (a).
z→a

Утверждение. Пусть a = b + ic, z = x + iy, A = B + iC, и f (z) = u(x, y) + i v(x, y), тогда

 lim u(x, y) = B
(x,y)→(b,c)
lim f (z) = A ⇔
z→a  lim v(x, y) = C
(x,y)→(b,c)

Дифференцируемость
Определение. Пусть f определена в Bδ (z). Функция f дифференцируема в точке z, если
существуют такие A ∈ C и α : C → C, что lim α(w) = 0, и для всех ∆z ∈ Bδ (0) выполняется
w→0
следующее равенство:

f (z + ∆z) = f (z) + A · ∆z + α(∆z) · |∆z|

Теорема. Функция f (z) = u(x, y) + iv(x, y) дифференцируема в точке z = x + iy тогда и


только тогда, когда u и v дифференцируемы в точке (x, y), и в этой же точке выполняются
условия Коши-Римана:
∂u ∂v ∂u ∂v
= , =−
∂x ∂y ∂y ∂x
Доказательство.
• (⇒) Пусть A = B + iC, α = β + iγ. Распишем определение дифференцируемости:

u(x + ∆x, y + ∆y) = u(x, y) + B · ∆x + (−C) · ∆y + β(∆x, ∆y) · |∆z|


v(x + ∆x, y + ∆y) = v(x, y) + C · ∆x + B · ∆y + γ(∆x, ∆y) · |∆z|

Отметим, что эти выражения означают дифференцируемость u и v, а также справед-


ливость условий Коши-Римана.
• (⇔) Достаточно расписать дифференцируемость u и v, после чего сложить выражения
так, чтобы слева получилось u + iv.

3
Определение. Производная функции f в точке a:

f (z) − f (a)
f 0 (a) = lim
z→a z−a
Отметим, что дифференцируемость эквивалентна существованию конечной производ-
ной.