Barwienie Domeny: Jak Rzeczywiście Zobaczyć Funkcję Złożoną

Rysowanie funkcji, których nie da się narysować

Funkcja rzeczywista y = f(x) ma wykres, który można narysować na papierze: jedną oś wejściową i jedną oś wyjściową. Funkcja zespolona w = f(z) mapuje 2-wymiarową płaszczyznę wejściową na 2-wymiarową płaszczyznę wyjściową, więc jej pełny wykres wymagałby czterech wymiarów rzeczywistych – niemożliwego do bezpośredniego narysowania. Koloryzacja domeny rozwiązuje to, poprzez utrzymanie domeny jako zwykłego obrazu 2D i kodowanie wyniku f(z) jako koloru w każdym punkcie: odcienie koloru kodują argument (kąt fazowy) f(z), a jasność lub wzór pomocniczy kodują jego wartość bezwzględną.

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)

Interpretacja obrazu: pierwiastki zerowe, bieguny i skręcanie się kolorów

Ponieważ odcień cykluje raz przez cały koło barw, gdy arg(w) przechodzi przez 2π, każde pierwiastek zera f — punkt, w którym f(z) = 0 — pojawia się jako punkt, w którym wszystkie kolory koła spotykają się, ponieważ fazę definiuje się nieokreślona dokładnie w zerze i obraca ona przez każdą wartość w dowolnie małym sąsiedztwie wokół niego. Zlicz, ile razy cykl kolorów powtarza się podczas okrążenia zera raz, a jej wielomian odczytasz bezpośrednio z obrazu: prosty pierwiastek pokazuje kolory raz, podwójny pierwiastek dwa razy, i tak dalej. Biegun — punkt, w którym f(z) dąży do nieskończoności — wygląda jak ten sam punkt konwergencji tęczowej, ale z jasnością przesuwającą się ku białemu lub czarnemu zamiast utrzymywać się na umiarkowanym poziomie, co pozwala oku odróżnić pierwiastek od bieguna jednym spojrzeniem, chociaż oba pomieszają każdy odcień w jeden punkt.

Dlaczego kolory wirują w ten sposób

Dla funkcji f(z) = z, kolorowanie domeny jest tożsamościowe: kolor odpowiada kątowi odległości od początku, prosta koło kolorów. Dla funkcji f(z) = z² wynikowy kąt jest podwójny w stosunku do kąta wejściowego (ponieważ arg(z²) = 2·arg(z)), więc koło kolorów wydaje się owijać wokół początku dwa razy, gdy obracamy się raz wokół niego – obraz dosłownie pokazuje lokalną liczbę węzłów mapy, a nie jej geometryczny przekrój. Jest to treść geometryczna odwzorowania konformalnego: z dala od zer i biegunów, funkcja holomorficzna (differentiowalna w sensie zespolonym) zachowuje kąty między przecinającymi się krzywymi, nawet jeśli może je rozciągać i obracać, a kolorowanie domeny sprawia, że ​​to zachowanie kątowe jest widoczne jako gładko zmieniające się paski bez przecięcia zamiast ostrych przerw.

Przecięcia ramieni: gdzie obraz zmuszany jest do rozerwania

Niektóre naturalne funkcje zespolone, takie jak √z lub log z, nie są jednowartościowe: obiegając raz pojęcie o początku, √z otrzymuje wartość -1 (ponieważ argumenty sumują się jako √(re^{iθ}) = √r·e^{iθ/2}, a θ → θ + 2π przekształca θ/2 → θ/2 + π), co powoduje, że funkcja nie wraca do swojej początkowej wartości po pełnym obrocie. Aby uzyskać dobrze zdefiniowany obraz, należy wprowadzić przecięcie ramienia – sztuczną linię, której dziedzina jest zabroniona przekraczać – które w wykresie kolorowania domeny pojawia się jako ostra, widoczna discontynuacja koloru na wybranym promieniu lub krzywej, nawet jeśli podlegająca funkcji jest idealnie gładka po obu stronach cięcia. Lokalizacja cięcia jest wyborem, a nie właściwością samej funkcji; jej przesunięcie powoduje przemieszczenie widocznego szwu bez zmiany zachowania funkcjonalnego w analizie rzeczywistej gdzie indziej.

Które funkcje zasługują na bliższe przyjrzyjcie się

exp(iz) jest okresowy w kierunku wyobrażonym (okres 2πi), więc jego obraz powtarza się poziomo, gdy przemieszczamy się wzdłuż osi wyimaginowanej. Funkcje sin(z) i cos(z) są całkowite (nie mają żadnych biegunów) ale nieograniczone poza osią rzeczywistą, co powoduje, że ich jasność szybko rośnie, oddalając się od linii rzeczywistej, a ich pierwiastki zerowe znajdują się dokładnie w znanych korzeniach rzeczywistych. Funkcja 1/z ma pojedynczy prosty biegun w punkcie pochodzenia i nic więcej, co stanowi najczystszy możliwy obraz tego, jak wygląda błąd. Funkcje racjonalne, takie jak (z²−1)/(z²+1), pokazują pierwiastki zerowe i bieguny obok siebie, a wykres kolorowania domeny funkcji zeta Riemanna jest sposobem ilustracji poszukiwania jej nieliniowych zer – serca wciąż nierozwiązanego hipotezy Riemanna.

Frequently asked questions

Wypróbuj na żywo

Wszystko powyżej działa bezpośrednio w Twojej przeglądarce — otwórz Complex Functions i zmieniaj parametry podczas działania. Nic nie jest instalowane ani przesyłane na serwer, cały model działa w jednej karcie.