Funkcje całkowite przenoszące okrąg w okrąg

Analiza funkcjonalna, operatory liniowe. Analiza na rozmaitościach. Inne zagadnienia analizy wyższej
Awatar użytkownika
max
Gość Specjalny
Gość Specjalny
Posty: 3306
Rejestracja: 10 gru 2005, o 17:48
Płeć: Mężczyzna
Lokalizacja: Lebendigentanz
Podziękował: 37 razy
Pomógł: 778 razy

Funkcje całkowite przenoszące okrąg w okrąg

Post autor: max » 27 sie 2010, o 13:13

Niech \(\displaystyle{ C_{1},C_{2}}\) będą okręgami na płaszczyźnie zespolonej.
Znajdź wszystkie funkcje całkowite \(\displaystyle{ f}\) takie, że \(\displaystyle{ f(C_{1}) \subset C_{2}}\).

Wasilewski
Użytkownik
Użytkownik
Posty: 3921
Rejestracja: 10 gru 2007, o 20:10
Płeć: Mężczyzna
Lokalizacja: Warszawa
Podziękował: 36 razy
Pomógł: 1194 razy

Funkcje całkowite przenoszące okrąg w okrąg

Post autor: Wasilewski » 7 wrz 2010, o 13:50

Może poratujesz jakąś wskazówką?
Na razie mam tylko pewne poszlaki; jestem prawie przekonany, że to zawieranie musi być równością, bowiem \(\displaystyle{ f(C_{1})}\), musi być domkniętym łukiem w \(\displaystyle{ C_{2}}\) (spójność i zwartość), a ponadto \(\displaystyle{ C_{2}}\) musi być w obrazie cały poza najwyżej jednym punktem (twierdzenie Picarda), więc jakby coś spoza \(\displaystyle{ C_{1}}\) przechodziło na część \(\displaystyle{ C_{2}}\), to pewnie gładkość tego przekształcenia nie byłaby zachowana. Jeśli to jest prawda, to ze spójności wynika, że obraz koła otwartego zawartego w \(\displaystyle{ C_{1}}\) musi być w całości zawarty albo w kole otoczonym przez \(\displaystyle{ C_{2}}\) bądź poza nim, ale ten drugi przypadek też wydaje mi się nieprawdopodobny (na oko psułaby się gdzieś holomorficzność).
Jak widać jednak są to jedynie luźne przemyślenia w ogóle niezwiązane ze ścisłym rozumowaniem.

Awatar użytkownika
max
Gość Specjalny
Gość Specjalny
Posty: 3306
Rejestracja: 10 gru 2005, o 17:48
Płeć: Mężczyzna
Lokalizacja: Lebendigentanz
Podziękował: 37 razy
Pomógł: 778 razy

Funkcje całkowite przenoszące okrąg w okrąg

Post autor: max » 7 wrz 2010, o 14:02

Luźna wskazówka:    

xiikzodz
Użytkownik
Użytkownik
Posty: 1874
Rejestracja: 4 paź 2008, o 02:13
Płeć: Kobieta
Lokalizacja: Lost Hope
Podziękował: 28 razy
Pomógł: 502 razy

Funkcje całkowite przenoszące okrąg w okrąg

Post autor: xiikzodz » 20 wrz 2010, o 19:01

Luźna próba rozwiązania:

Za wskazówką niech \(\displaystyle{ C_1=C_2=S}\) będzie okręgiem jednostkowym, zaś \(\displaystyle{ f}\) funkcją całkowitą spełniającą \(\displaystyle{ f(S)\subseteq S}\).

Rozważmy na sferze Riemanna inwersję:

\(\displaystyle{ \iota(z)=\overline{z^{-1}}}\).

Nie jest to funkcja holomorficzna, ale ma miłe własności, np. \(\displaystyle{ \iota\circ\iota=\mbox{id}}\) oraz \(\displaystyle{ \iota|S=\mbox{id}|S}\). Co więcej funkcja:

\(\displaystyle{ g=\iota\circ f\circ\iota}\)

jest meromorficzna, o czym łatwo się przekonać wypisując równania C-R. Zauważmy teraz, że \(\displaystyle{ f|S=g|S}\), zatem \(\displaystyle{ f=g}\). Skąd krotność bieguna \(\displaystyle{ f}\) w nieskończoności, równa krotności zera \(\displaystyle{ f}\) w zerze jest liczbą skończoną, zatem \(\displaystyle{ f}\) jest wielomianem, a dokładniej \(\displaystyle{ f(z)=\varepsilon z^n}\) dla \(\displaystyle{ |\varepsilon|=1}\).

Awatar użytkownika
max
Gość Specjalny
Gość Specjalny
Posty: 3306
Rejestracja: 10 gru 2005, o 17:48
Płeć: Mężczyzna
Lokalizacja: Lebendigentanz
Podziękował: 37 razy
Pomógł: 778 razy

Funkcje całkowite przenoszące okrąg w okrąg

Post autor: max » 20 wrz 2010, o 23:21

: )
To jest najbardziej eleganckie rozwiązanie jakie znam (oczywiście przypadek ogólny załatwia się dalej sam).

ODPOWIEDZ