Кольорування області: Як насправді бачити складну функцію

Малювання функції, яку неможливо нанести на графік

Реальна функція y = f(x) має графік, який можна намалювати на папері: одна вісь вхідних значень, одна вісь виходів. Комплексна функція w = f(z) відображає 2D площину вхідних даних у 2D площину вихідних даних, тому її повний графік потребував би чотирьох реальних вимірів — що неможливо намалювати безпосередньо. Domain colouring вирішує це, зберігаючи область як звичайну 2D картинку та кодуючи вихід f(z) як колір у кожній точці: відтінок кодує аргумент (фазовий кут) f(z), а яскравість або вторинний малюнок — його величину.

z = x + iy               a point in the domain
w = f(z) = u + iv         the (complex) output
hue        = arg(w)  = atan2(v, u)          mapped around a colour wheel
brightness = |w|     = √(u² + v²)           mapped to lightness (or log-scaled rings)

Інтерпретація зображення: нулі, полюси та зміщення кольорів

Оскільки відтінок циклом проходить через весь колірний круг, коли arg(w) змінюється на 2π, кожен нуль f — точка, де f(z) = 0 — з'являється як точка, де зустрічаються всі кольори колеса, оскільки фаза невизначена саме в точці нуля та обертається через кожне значення в навколишньому дуже малому районі. Підрахуйте, скільки разів цикл кольору повторюється, коли ви один раз обходите нуль, і безпосередньо прочитайте його кратність з зображення: простий нуль показує кольори один раз, подвійний нуль — двічі, і так далі. Полюс — точка, де f(z) розбігається до нескінченності — виглядає як та сама точка збурення веселки, але з яскравості, що наближається до білого або чорного замість того, щоб залишатися помірною, що дозволяє оцінити нуль від полюса здалеку, хоча обидва перемішують колір у одну точку.

Чому кольори кружляють так

Для f(z) = z, малювання областей просто є ідентичністю: колір дорівнює куту відносно початку координат, звичайне кольорове колесо. Для f(z) = z² вихідний кут подвоюється (оскільки arg(z²) = 2·arg(z)), тому кольорове колесо здається, що обертається навколо початку координат двічі, коли воно обертається один раз – зображення буквально показує місцеву заплутування області. Це геометричний зміст конформного відображення: далеко від нулів та полюсів гомогенна (комплексно диференційована) функція зберігає кути між пересікаючими кривими, хоча вона може їх розтягувати та обертати, а малювання областей робить це збереження кутів видимим як плавно змінювані, неперехресні смуги кольорів замість різких розривів.

Розрізи: де зображення змушене розірвутися

Деякі природні комплексні функції, такі як √z або log z, не є однозначними: обходячи початок один раз, √z множиться на -1 (оскільки аргументи додаються як √(re^{iθ}) = √r·e^{iθ/2}, і θ → θ + 2π відправляє θ/2 → θ/2 + π), тому функція не повертається до початкового значення після повного обходу. Для створення чіткого зображення необхідно зробити розріз – штучну лінію, яку домен заборонено перетинати – який відображається на графіку кольорового розподілу як різка, видима discontinuity у кольорі вздовж обраної лінії або кривої, незважаючи на те, що сама функція є ідеально гладкою з обох боків від розрізу. Розташування розрізу є вибором, а не властивістю самої функції; зміщення його зміщує видиму тріщину без зміни будь-якої аналітичної поведінки функції в інших місцях.

Які функції заслуговують на уважний погляд

Визначена функція exp(z) періодична в уявному напрямку (період 2πi), тому її зображення повторюється горизонтальними смужками, коли ви рухаєтесь вздовж уявної осі. Функції sin(z) та cos(z) є цілісні (не мають жодних полюсів) але не обмежені на осі дійсних чисел, тому їх яскравість швидко зростає віддаляючись від дійсної лінії, а їхні нулі розташовані точно на звичних дійсних коренях. 1/z має один простий полюс в точці початку координат і нічого іншого, що є чистим зображенням того, як виглядає полюс.

Раціональні функції, такі як (z²−1)/(z²+1), показують нулі та полюси поруч один з одним, а графік кольорового забарвлення області дзета-функції Рімана є способом візуального пошуку її нетривіальних нулів — серця ще нерозгаданої гіпотези Рімана — зазвичай ілюструється.

Frequently asked questions

Спробуйте наживо

Усе, що вище, працює прямо у вашому браузері — відкрийте Complex Functions і змінюйте параметри під час роботи. Нічого не встановлюється, нічого не завантажується на сервер, уся модель живе в одній вкладці.