Комплексні числа та функції
Комплексна змінна z = x + iy (x,y ∈ ℝ, i² = −1) живе у комплексній площині (площині Ґаусса). Функція f(z) = u(x,y) + iv(x,y), де u — дійсна, v — уявна частина.
z = x + iy = r·e^(iθ) = r·(cosθ + i·sinθ)
r = |z| = √(x²+y²) ← модуль
θ = arg(z) = arctan(y/x) ← аргумент
// Формула Ейлера:
e^(iθ) = cosθ + i·sinθ
e^(iπ) + 1 = 0 ← тотожність Ейлера
// Добуток у полярній формі:
z₁·z₂ = r₁r₂·e^(i(θ₁+θ₂)) ← модулі множаться, аргументи додаються
// Степінь (формула де Муавра):
zⁿ = rⁿ·(cos(nθ) + i·sin(nθ))
Основні функції комплексної змінної
| Функція | Визначення | Область значень |
|---|---|---|
| eᶻ | eˣ·(cosy + i·siny) | ℂ \ {0} |
| sin(z) | (e^(iz)−e^(−iz))/(2i) | ℂ |
| cos(z) | (e^(iz)+e^(−iz))/2 | ℂ |
| Ln(z) | ln|z| + i·arg(z) | ℂ \ {0} (багатозначна) |
| zᵅ | e^(α·Ln z) | ℂ \ {0} |
Умови Коші-Рімана та голоморфність
Функція f(z) = u(x,y) + iv(x,y) є диференційовною (голоморфною) в точці z₀ тоді і тільки тоді, коли виконуються умови Коші-Рімана:
∂u/∂x = ∂v/∂y
∂u/∂y = −∂v/∂x
// Якщо ці умови виконуються і частинні похідні неперервні →
// функція є голоморфною (аналітичною) у точці z₀
// Похідна через умови К-Р:
f'(z) = ∂u/∂x + i·∂v/∂x = ∂v/∂y − i·∂u/∂y
// Наслідок: якщо f голоморфна, то u і v — гармонічні:
∇²u = ∂²u/∂x² + ∂²u/∂y² = 0
∇²v = ∂²v/∂x² + ∂²v/∂y² = 0
Приклади перевірки умов К-Р
u = x²−y², v = 2xy
∂u/∂x = 2x = ∂v/∂y = 2x ✓
∂u/∂y = −2y = −∂v/∂x = −2y ✓
→ голоморфна скрізь, f'(z) = 2z ✓
// 2. f(z) = z̄ = x − iy
u = x, v = −y
∂u/∂x = 1 ≠ ∂v/∂y = −1 ✗
→ НЕ голоморфна (ніде!)
Інтегральна теорема та формула Коші
Виникає питання: що дає інтегрування комплексної функції вздовж контуру на площині?
Якщо f(z) голоморфна в просто зв'язній області D,
то для будь-якого замкненого контуру C ⊂ D:
∮_C f(z) dz = 0
// Формула Коші (відновлення значень через інтеграл):
f(z₀) = 1/(2πi) · ∮_C f(z)/(z−z₀) dz
// де C — контур, що охоплює z₀ проти год. стрілки
// Вища похідна n-го порядку:
f⁽ⁿ⁾(z₀) = n!/(2πi) · ∮_C f(z)/(z−z₀)^(n+1) dz
Нерівність Коші та теорема Ліувілля
|f⁽ⁿ⁾(z₀)| ≤ n!·M/Rⁿ
// де M = max|f(z)| на колі радіуса R навколо z₀
// Теорема Ліувілля:
Якщо f(z) голоморфна та обмежена скрізь у ℂ,
то f ≡ const
// Наслідок: основна теорема алгебри!
Будь-який поліном P(z) ступеня n ≥ 1 має рівно n
коренів у ℂ (з урахуванням кратності)
Ряд Лорана та класифікація особливостей
Якщо f(z) голоморфна в кільці 0 < |z−z₀| < R, то вона розкладається в ряд Лорана:
f(z) = Σ(n=−∞ до +∞) aₙ(z−z₀)ⁿ
= ... + a₋₂/(z−z₀)² + a₋₁/(z−z₀) + a₀ + a₁(z−z₀) + ...
// Головна частина: Σ(n<0) aₙ(z−z₀)ⁿ
// Правильна частина: Σ(n≥0) aₙ(z−z₀)ⁿ
// Коефіцієнти ряду Лорана:
aₙ = 1/(2πi) · ∮_C f(z)/(z−z₀)^(n+1) dz
Класифікація ізольованих особливостей
| Тип | Умова | Приклад |
|---|---|---|
| Усувна особливість | Головна частина = 0 (всі a₋ₙ = 0) | sin(z)/z при z=0 |
| Полюс порядку m | Скінченна кількість від'ємних членів (до a₋ₘ) | 1/z² при z=0 |
| Суттєва особливість | Нескінченна головна частина | e^(1/z) при z=0 |
| Точка розгалуження | Функція многозначна | √z, Ln(z) при z=0 |
Теорема лишків та обчислення інтегралів
Лишок (residue) функції f(z) в ізольованій особливій точці z₀ — це коефіцієнт a₋₁ ряду Лорана.
Res[f, z₀] = a₋₁
// Формули обчислення:
// 1. Для простого полюсу (m=1):
Res[f, z₀] = lim(z→z₀) (z−z₀)·f(z)
// 2. Для f=p/q, де q має простий нуль у z₀:
Res[f, z₀] = p(z₀)/q'(z₀)
// 3. Для полюсу порядку m:
Res[f, z₀] = 1/(m−1)! · lim(z→z₀) d^(m-1)/dz^(m-1) [(z−z₀)ᵐ·f(z)]
Теорема лишків (основна)
// f(z) голоморфна всередині і на C, крім точок z₁,...,zₖ:
∮_C f(z) dz = 2πi · Σ Res[f, zⱼ]
// Приклад: обчислити ∮|z|=2 (2z+1)/(z²−1) dz
Полюси: z=1, z=−1 (обидва всередині кола)|z|=2
Res[f, 1] = (2·1+1)/((1)−(−1)) = 3/2
Res[f,−1] = (2(−1)+1)/(−1−1) = (−1)/(−2) = 1/2
∮ = 2πi·(3/2 + 1/2) = 2πi·2 = 4πi
Застосування: обчислення дійсних інтегралів
Підстановка: z = e^(iθ), dz = iz dθ
cosθ = (z+1/z)/2, sinθ = (z−1/z)/(2i)
→ контурний інтеграл по |z|=1
// Тип 2: ∫[−∞ до ∞] P(x)/Q(x) dx (deg Q ≥ deg P+2)
= 2πi · Σ Res[P/Q, zⱼ в верхній півплощині]
// Приклад:
∫[−∞ до ∞] 1/(1+x²) dx = 2πi · Res[1/(1+z²), i]
= 2πi · 1/(2i) = π ✓
Конформні відображення
Голоморфна функція з ненульовою похідною зберігає кути між кривими — така властивість називається конформністю.
— Зберігає кути між кривими (включно з знаком)
— Локально є подібністю з масштабом |f'(z₀)| та поворотом arg f'(z₀)
// Дробово-лінійне (Мебіус) відображення:
w = (az+b)/(cz+d), ad−bc ≠ 0
Відображає кола та прямі → кола та прямі
// Відображення w = z²:
Верхня півплощина → {z: Re(z)≥0, Im(z)≥0} (перший квадрант)
// (подвоює кути, відображає прямокутник на область)
// Відображення Жуковського (аеродинаміка):
w = z + 1/z
Коло |z|=R → еліпс у площині w
Коло через z=1 → профіль крила!
✈ Профіль крила та відображення Жуковського
f(z) = U·(z + R²/z) ← комплексний потенціал
// Через відображення w = z + 1/z переходимо до крилового профілю
// Сила підйому (теорема Кутти-Жуковського):
L = ρ·U·Γ (на одиницю довжини)
де Γ = ∮ v·ds — циркуляція швидкості
Теорема Рімана про відображення
// можна конформно відобразити на одиничний круг |w| < 1.
Відображення однозначно визначається умовами:
f(z₀) = 0 та arg f'(z₀) = 0 для фіксованої z₀ ∈ D
Аналітичне продовження
Якщо f визначена в деякій області, то існує не більше одного способу розширити її до голоморфної функції на більшу область — це принцип аналітичного продовження.
Якщо дві голоморфні функції f і g збігаються
на множині з граничною точкою, то f ≡ g скрізь
в загальній зв'язній області
// Приклад: ряд Рімана Σ 1/nˢ збігається при Re(s)>1,
// але аналітично продовжується на все ℂ\{1}
// (зета-функція Рімана ζ(s))
Про цю статтю
Ця стаття є частиною бази знань calculator.party — освітнього ресурсу, що поєднує теорію з практичними інструментами. Матеріал орієнтований на студентів, учнів і фахівців, що прагнуть глибокого розуміння теми. Тут зібрані ключові концепції, формули та реальні приклади застосування.
Навіщо читати цю статтю
Після прочитання ви зможете впевнено пояснити тему, вирішувати практичні задачі та застосовувати знання у навчанні й роботі. Стаття охоплює теоретичне підґрунтя і числові приклади, що полегшують запам'ятовування матеріалу.