Комплексні функції та доменне розфарбування: візуалізація невидимого

Q: Що таке доменне розфарбування в комплексному аналізі?

Доменне розфарбування — техніка візуалізації комплексних функцій f: ℂ → ℂ, при якій кожне вихідне значення відображається в колір. Аргумент (фаза) f(z) кодується відтінком, циклічно проходячи через кольори веселки при зростанні аргументу від 0 до 2π. Модуль |f(z)| кодується яскравістю або логарифмічними контурними кільцями. Результат — 2D-зображення, де нулі, полюси, розрізи гілок та аналітична структура негайно видимі.

Q: Як ідентифікувати нулі та полюси на діаграмі доменного розфарбування?

Нулі виглядають як точки, де сходяться всі кольори і яскравість прямує до нуля — відтінок обходить усі кольори рівно n разів проти годинникової стрілки для нуля n-го порядку. Полюси виглядають схоже, але відтінок обертається за годинниковою стрілкою n разів для полюсу n-го порядку, а яскравість прямує до білого (великий модуль). Суттєві особливості показують нескінченно багато циклів кольорів, що стискаються поблизу точки, відповідно до теореми Пікара.

Q: Що таке поверхня Рімана і як вона пов'язана з багатозначними функціями?

Поверхня Рімана — це одновимірне комплексне многовиддя, що вирішує проблему багатозначності функцій на кшталт √z або log(z). Квадратний корінь має дві гілки; замість довільного вибору однієї ми будуємо двохаркушеву поверхню Рімана, де кожен аркуш несе одну гілку, з'єднану в точці розгалуження z = 0. На цій поверхні √z є по-справжньому однозначною. Доменне розфарбування виявляє розрізи гілок як лінії розриву кольору.

Q: Що означає конформне відображення і чому воно корисне?

Конформне відображення — це комплексна функція, яка зберігає кути локально (але не відстані або площі) там, де f'(z) ≠ 0. Перетворення Жуковського відображає коло на форму аеродинамічного профілю, зберігаючи рівняння Лапласа для потенційного потоку. Перетворення Шварца-Крістоффеля розв'язує рівняння Лапласа в складних многокутних областях, трансформуючи їх у напівплощину.

Q: Як множина Мандельброта пов'язана з ітерацією комплексних функцій?

Множина Мандельброта — це множина комплексних чисел c, для яких ітерація z_{n+1} = z_n² + c, починаючи з z_0 = 0, не розходиться. Доменне розфарбування числа ітерацій до виходу (забарвлене за аргументом останнього ітерату перед виходом) розкриває фрактальну межу зі плавними колірними переходами. Множина Жулія для фіксованого c — динамічний аналог: межа між початковими точками, що виходять, і тими, що не виходять.

Q: Що таке принцип аргументу в комплексному аналізі?

Принцип аргументу стверджує: для меромофної функції f і простого замкненого контуру C, що не проходить через нулі чи полюси, (1/2πi) ∮_C f'(z)/f(z) dz = N − P, де N — кількість нулів усередині C, P — кількість полюсів. У доменному розфарбуванні це підрахунок нетто-кількості обертань кольорів проти годинникової стрілки вздовж C.

Q: Чому комплексна експоненціальна функція загортає площину в кільце?

Комплексна експонента e^z = e^(x+iy) = eˣ·(cos y + i sin y). Дійсна частина x керує модулем (eˣ), а уявна частина y — аргументом. Функція є 2πi-періодичною: горизонтальна смуга Im(z) ∈ [0, 2π) відображається на всю комплексну площину (крім початку). В доменному розфарбуванні вертикальні лінії стають колами, горизонтальні — радіальними ліній, а нескінченно багато однакових тайлів укладаються вертикально.

Q: Що таке рівняння Коші-Рімана і що вони гарантують?

Якщо f(z) = u(x,y) + iv(x,y) є комплексно-диференційованою в точці, мають виконуватися рівняння Коші-Рімана: ∂u/∂x = ∂v/∂y та ∂u/∂y = −∂v/∂x. Вони гарантують, що похідна однакова незалежно від напрямку підходу до z. Функції, що задовольняють цим рівнянням (з неперервними частковими), називаються голоморфними або аналітичними. Вони автоматично є нескінченно диференційованими, і їх дійсна та уявна частини задовольняють рівняння Лапласа ∇²u = 0.

Q: Як гамма-функція розширюється на комплексну площину?

Гамма-функція Γ(z) = ∫₀^∞ t^(z−1)e^(−t) dt визначена для Re(z) > 0 і розширюється на всю ℂ (крім невід'ємних цілих) за допомогою функціонального рівняння Γ(z+1) = z·Γ(z). Вона має прості полюси при z = 0, −1, −2, … Доменне розфарбування Γ(z) показує нескінченну послідовність полюсів на від'ємній дійсній осі, кожен оточений 'рожеткою' циклуючих кольорів.

Q: Що таке дзета-функція Рімана і чому вона важлива?

Дзета-функція Рімана ζ(s) = Σₙ₌₁^∞ n^(−s) збігається для Re(s) > 1 і аналітично продовжується на всю ℂ, крім s = 1 (простий полюс). Її нетривіальні нулі лежать у критичній смузі 0 < Re(s) < 1; гіпотеза Рімана стверджує, що всі вони лежать на критичній лінії Re(s) = 1/2. Доменне розфарбування ζ(s) яскраво показує нулі як точки зустрічі кольорів на критичній лінії та виявляє функціональну симетрію як дзеркальне відображення кольорового малюнка відносно Re(s) = 1/2.

3D Симуляції

Математика

Комплексний аналіз · Візуалізація · ⌛ ~16 хв читання · Останнє оновлення: 3 липня 2026 р.

Комплексні функції та доменне розфарбування: візуалізація невидимого

Комплексна функція відображає одну пару чисел на іншу, живучи в чотиривимірному просторі, що не піддається прямому побудові графіку. Доменне розфарбування — елегантне рішення: закодуй вихідне значення як колір і розфарбуй вхідну площину. Раптово полюси стають розетками з циклічними відтінками, нулі зникають у темряві, розрізи гілок стають колірними обривами, а нетривіальні нулі дзета-функції Рімана світяться наче намистини на нитці. Ця стаття пояснює математику за цією технікою та досліджує, що вона розкриває про деякі найглибші функції в математиці.

Автор: Команда MySimulator · Редакційна перевірка: Редакція MySimulator

1. Комплексні числа та функції

Комплексне число z = x + iy поєднує дійсну частину x та уявну частину y, де i = √(−1). Його полярна форма z = r e^iθ = r(cosθ + i sinθ) виражає ту саму інформацію через модуль r = |z| = √(x² + y²) і аргумент θ = arg(z) = arctg(y/x). Формула Ейлера e^iθ = cosθ + i sinθ поєднує тригонометрію та експоненційний ріст в одному виразі й лежить в основі всього доменного розфарбування.

Комплексне число: z = x + iy = r\cdote^(iθ) Модуль: |z| = r = \sqrt(x² + y²) Аргумент: θ = arg(z) = atan2(y, x) \in (-π, π] Спряжене: z̄ = x - iy, z\cdotz̄ = |z|² = r² Арифметика: (a+ib)(c+id) = (ac-bd) + i(ad+bc) 1/z = z̄ / |z|² = (x - iy) / (x² + y²) z^n = r^n \cdot e^(inθ) (теорема де Муавра) |z₁\cdotz₂| = |z₁|\cdot|z₂|, arg(z₁z₂) = arg(z₁) + arg(z₂) mod 2π Комплексна функція f: ℂ \to ℂ: f(z) = u(x,y) + i\cdotv(x,y) Приклади: f(z) = z² = (x²-y²) + i(2xy) f(z) = e^z = eˣ(cos y + i sin y) f(z) = sin z = sin x\cdotcosh y + i\cdotcos x\cdotsinh y f(z) = 1/z = x/(x²+y²) - i\cdoty/(x²+y²)

Комплексні функції набагато багатші за своїх дійсних аналогів. Функція дійсної змінної може лише зростати, спадати або коливатися; комплексна функція обертає, розтягує, стискає й згинає площину в патернах, контрольованих її аналітичною структурою. Похідна f'(z) має бути однаковою незалежно від напрямку підходу в комплексній площині — набагато сильніша вимога, ніж дійсна диференційованість, що призводить до рівнянь Коші–Рімана і, врешті-решт, до надзвичайно жорсткої геометричної поведінки.

2. Метод доменного розфарбування

Доменне розфарбування, запроваджене Франком Фаррісом та популяризоване Гансом Лундмарком та Еліасом Вегертом, перетворює кожне вихідне значення f(z) у колір. Канонічна схема використовує HSV (відтінок, насиченість, яскравість):

Для кожного пікселя в позиції z комплексної площини обчислюємо w = f(z): Відтінок: H = arg(w) / (2π) ∈ [0, 1) Відображає аргумент 0 → червоний, π/3 → жовтий, 2π/3 → зелений, π → блакитний, 4π/3 → синій, 5π/3 → пурпурний → червоний Яскравість (варіанти): (а) Кільця модуля: V = (log|w| mod 1)^0.5 — логарифмічні контури (б) Безперервна: V = |w| / (1 + |w|) — обмежена 0→1 (в) Шахова: накладка сітки |Im(z)| або |Re(z)| mod 1 Насиченість: S = 1 (повністю насичені, яскраві кольори) Читання діаграми: Кольори циклюють проти годинникової стрілки навколо точки → нуль f Кольори циклюють за годинниковою стрілкою → полюс n повних циклів кольорів → нуль або полюс n-го порядку Лінія розриву кольорів → розріз гілки Усі кольори сходяться без нетто-циклу → регулярна точка Рівномірний колір → стала функція в цій ділянці Реалізація на JavaScript (фрагмент): function domainColour(re, im, f) { const [wr, wi] = f(re, im); const arg = Math.atan2(wi, wr); const mod = Math.hypot(wr, wi); const hue = ((arg / (2*Math.PI)) + 1) % 1; const logMod = Math.log(mod + 1e-12); const val = 0.5 + 0.5 * Math.sin(Math.PI * (logMod % 1)); return hslToRgb(hue, 1.0, val); }

Логарифмічні контури яскравості є ключовими. Оскільки |f(z)| може змінюватися від 0 до ∞, лінійна шкала яскравості показала б лише малу частину структури. Взяття log|w| і застосування синусоїдальної модуляції виробляє кільця змінної яскравості, що підраховують порядок величини модуля — кожен повний цикл яскравості відповідає множнику e (≈ 2,718) у модулі.

Вдосконалене доменне розфарбування (фазові портрети Вегерта) іноді використовує лише аргумент, відкидаючи модуль, щоб отримати найчистіший вигляд фазової структури. Особливо вражаючими є фазові портрети функцій з багатьма нулями та полюсами, таких як дзета-функція Рімана, де нулі вишиковуються в ряд на критичній лінії.

3. Полюси, нулі та числа обмотування

Найважливішими рисами комплексної функції є її нулі та полюси. Доменне розфарбування робить їх негайно видимими без обчислень.

Нулі f(z): Простий нуль в z₀: f(z) \approx a(z - z₀) поблизу z₀ \to кольори роблять один оберт проти годинникової стрілки Нуль n-го порядку: f(z) \approx a(z - z₀)ⁿ \to n обертів проти годинникової стрілки Полюси f(z): Простий полюс в z₀: f(z) \approx A/(z - z₀) \to один оберт за годинниковою стрілкою (модуль \to \infty) Полюс n-го порядку: f(z) \approx A/(z - z₀)ⁿ \to n обертів за годинниковою стрілкою Число обмотування W(C, z₀) = (1/2πi) \oint_C dz/(z - z₀) Підраховує нетто-обертів кривої C навколо z₀ проти годинникової стрілки. Принцип аргументу: (1/2πi) \oint_C f'(z)/f(z) dz = N - P де N = нулі всередині C, P = полюси Приклад: f(z) = (z² - 1)(z + 2i) / ((z - i)³(z + 1)) Нулі: z = \pm1 (порядок 1), z = -2i (порядок 1) \to N = 3 Полюси: z = i (порядок 3), z = -1 (порядок 1) \to P = 4 Результат: N - P = -1 (один оберт за год. стрілкою по великому контуру) Суттєва особливість (велика теорема Пікара): Поблизу суттєвої особливості f приймає кожне комплексне значення (з щонайбільше одним винятком) нескінченно багато разів. Доменне розфарбування: нескінченно багато циклів кольорів поблизу точки. Приклад: f(z) = e^(1/z) при z = 0

Теорема про лишки є визначальним результатом цієї структури. Для меромофної функції з полюсами z_k всередині простого замкненого контуру C, контурний інтеграл дорівнює 2πi, помноженому на суму лишків. У термінах доменного розфарбування інтеграл “підраховує” нетто-обмотування вихідного кольору при проходженні по C. Ця геометрична інтерпретація робить інакше абстрактну теорему наочно очевидною.

4. Конформне відображення та аналітичне продовження

Голоморфні функції (комплексно-диференційовані всюди в областях) є конформними там, де їх похідна ненульова: вони зберігають кути між кривими, хоча розтягують і обертають локальні окраїни.

Рівняння Коші-Рімана (необхідні для голоморфності): f(z) = u(x,y) + iv(x,y) \partialu/\partialx = \partialv/\partialy та \partialu/\partialy = -\partialv/\partialx \to і u, і v задовольняють рівняння Лапласа: \nabla²u = \nabla²v = 0 \to u та v є гармонічними спряженими Конформні відображення та їх застосування: Перетворення Мебіуса: w = (az+b)/(cz+d), ad-bc \neq 0 Відображає кола/прямі в кола/прямі; білінійне перетворення в обробці сигналів Перетворення Жуковського: w = z + 1/z Відображає одиничне коло в плоску пластину; кола поблизу \to профілі аеродинамічних крил Перетворення Шварца-Крістоффеля: відображає верхню напівплощину в многокутники Застосовується в електростатиці, гідродинаміці, теплопровідності Логарифм: w = log(z) = ln|z| + i\cdotarg(z) Відображає кільце в прямокутник; використовується в конформному проектуванні антен Аналітичне продовження: Голоморфна функція на області D однозначно розширюється на будь-яку зв'язну D': Доменне розфарбування візуалізує це: кольоровий малюнок на D гладко продовжується в D'. Розрізи гілок — це шви, де продовження блокується багатозначністю.

Аналітичне продовження — один з найдивовижніших фактів у математиці: функція, відома на довільно малій відкритій множині, однозначно визначається всюди, де її можна аналітично продовжити. Ця жорсткість не має паралелей у дійсному аналізі — дійсна гладка функція може бути змінена на компактній множині, не впливаючи на поведінку поза нею. Для комплексних функцій вся глобальна структура закодована в будь-якій малій ділянці.

5. Спеціальні функції: гамма, дзета та еліптичні

Доменне розфарбування перетворює абстрактні спеціальні функції на яскраві зображення, що негайно розкривають їх структуру.

Гамма-функція Γ(z): Визначення: Γ(z) = ∫₀^∞ t^(z−1) e^(−t) dt для Re(z) > 0 Функціональне рівняння: Γ(z+1) = z·Γ(z) Полюси: прості полюси при z = 0, −1, −2, … з лишком (−1)ⁿ/n! при z = −n Формула відображення: Γ(z)Γ(1−z) = π / sin(πz) Доменне розфарбування: нескінченний ряд полюсів на від'ємній дійсній осі, кожен з однотурною кольоровою розеткою. Дзета-функція Рімана ζ(s): ζ(s) = Σₙ₌₁^∞ n^(−s) = ∏_p (1 − p^(−s))^(−1) для Re(s) > 1 Аналітичне продовження на ℂ \ {1}; простий полюс при s=1 (лишок 1) Функціональне рівняння: ζ(s) = 2^s π^(s−1) sin(πs/2) Γ(1−s) ζ(1−s) Тривіальні нулі: s = −2, −4, −6, … Нетривіальні нулі: Re(s) = ½ (гіпотеза Рімана, 1859 р.) Відомо: перші 10¹³ нулів лежать на Re(s) = ½ Перші нулі при t ≈ 14,1; 21,0; 25,0; 30,4; 32,9; … Еліптичні функції (Вейєрштрасс ℘): ℘(z; ω₁, ω₂) = 1/z² + Σ'_{m,n} [1/(z−mω₁−nω₂)² − 1/(mω₁+nω₂)²] Двоперіодична: ℘(z + ω₁) = ℘(z + ω₂) = ℘(z) Два полюси на фундаментальному паралелограмі (порядок 2 при z=0) Доменне розфарбування: ідеально повторюваний ґратковий патерн; фундаментальна область тайлить площину — робить періодичність наочно очевидною.

Гіпотеза Рімана — найвідоміша невирішена проблема математики: чи лежать усі нетривіальні нулі ζ(s) на лінії Re(s) = 1/2? Доменне розфарбування ζ поблизу критичної смуги робить це наочно інтуїтивним — темні точки зустрічі кольорів здаються маршируючими точно вздовж вертикальної лінії, утворюючи послідовність, що кодує розподіл простих чисел.

6. Практичне застосування

Комплексний аналіз і доменне розфарбування — не лише естетичні заняття; вони фундаментально підтримують інженерію, фізику та обчислення.

Проектування аеродинамічних профілів: Перетворення Жуковського w = z + 1/z відображає сімейство майже-кіл на форми аеродинамічних профілів. Розв'язання потенційної течії навколо циліндра (аналітично здійсненне) і застосування конформного відображення дає точний підйом та розподіл тиску для профілю.
Обробка сигналів: Білінійне перетворення w = (z − 1)/(z + 1) відображає одиничне коло у z-площині на уявну вісь у s-площині. Це стандартна техніка перетворення аналогових IIR-фільтрів на цифрові, зберігаючи форму частотної характеристики.
Електростатика та теплопровідність: Розв'язки рівняння Лапласа в двох вимірах є дійсними частинами голоморфних функцій. Перетворення Шварца–Крістоффеля трансформує складні геометрії електродів у прості напівплощини, де потенціал знаходиться тривіально.
Квантова механіка: Матриця розсіювання S(E) у квантовій механіці має полюси при енергіях пов'язаних станів і резонансах. Доменне розфарбування S як функції комплексної енергії E відображає структуру полюсів безпосередньо на кольорові розетки.
Фрактали та ітерація: Множина Мандельброта, множини Жулія та фрактали Ньютона виникають з ітерації комплексних функцій. Доменне розфарбування числа ітерацій до виходу (забарвленого за аргументом останнього ітерату) виробляє плавні, багато забарвлені фрактальні зображення, що виявляють самоподібну структуру.

Часті запитання

Чому ми не можемо просто побудувати графік комплексної функції як 3D поверхню?

Комплексна функція f: ℂ → ℂ приймає 2D вхід (комплексна площина) і виробляє 2D вихід (інша комплексна площина). Щоб побудувати її точно, нам знадобилися б чотири дійсних виміри — два для входу, два для виходу — що неможливо відобразити безпосередньо. Найкраще рішення — доменне розфарбування: воно кодує і аргумент, і модуль одночасно в одному 2D зображенні, не втрачаючи жодної інформації.

Що означає, що комплексна функція є “аналітичною”?

Функція є аналітичною (або голоморфною) в точці, якщо вона є комплексно-диференційованою в деякому відкритому околі цієї точки. Це набагато сильніша умова, ніж дійсна диференційованість: вона означає, що функція дорівнює своєму ряду Тейлора, є нескінченно диференційованою, задовольняє рівнянням Коші–Рімана, має гармонічні дійсну та уявну частини й є конформною там, де її похідна ненульова. У доменному розфарбуванні аналітичні ділянки показують плавну, неперервну зміну кольорів; ізольовані особливості виділяються як аномалії з циклуванням кольорів.

Як доменне розфарбування виявляє розрізи гілок?

Розрізи гілок — це лінії, вздовж яких багатозначна функція має бути зроблена однозначною вибором однієї гілки, вводячи розрив. У доменному розфарбуванні вони виглядають як різкі лінії, де відтінок різко стрибає, як правило, на половину колірного кола. Для √z зі стандартним розрізом гілки вздовж від'ємної дійсної осі, колір стрибає від блакитного до червоного через від'ємну вісь, відображаючи стрибок аргументу √z від −π/2 до +π/2 при перетині розрізу.