Język Arnolda
W matematyce , szczególnie w systemach dynamicznych , języki Arnolda (nazwane na cześć Vladimira Arnolda ) są zjawiskiem obrazowym, które występuje podczas wizualizacji, jak liczba obrotów układu dynamicznego lub inna związana z nim niezmienna właściwość zmienia się zgodnie z dwoma lub więcej jego parametrami. Zaobserwowano, że obszary o stałej liczbie rotacji w niektórych układach dynamicznych tworzą geometryczne kształty przypominające języki, w którym to przypadku nazywane są językami Arnolda.
Języki Arnolda obserwuje się w wielu różnych zjawiskach naturalnych, które obejmują oscylujące wielkości, takie jak stężenie enzymów i substratów w procesach biologicznych i falach elektrycznych serca . Czasami częstotliwość oscylacji zależy od jakiejś wielkości lub jest ograniczona (tj. synchronizacja fazowa lub modowa , w niektórych kontekstach) w oparciu o pewną wielkość i często warto zbadać tę zależność. Na przykład początek guza wyzwala w okolicy serię oscylacji substancji (głównie białek), które oddziałują ze sobą; symulacje pokazują, że te interakcje powodują pojawienie się języków Arnolda, to znaczy częstotliwość niektórych oscylacji ogranicza inne, co można wykorzystać do kontrolowania wzrostu guza.
Inne przykłady, w których można znaleźć języki Arnolda, obejmują nieharmoniczność instrumentów muzycznych, rezonans orbitalny i blokowanie pływów orbitujących księżyców, blokowanie modów w światłowodach i pętlach synchronizacji fazowej oraz innych oscylatorach elektronicznych , a także w rytmach serca , zaburzeniach rytmu serca i cykl komórkowy .
Jeden z najprostszych modeli fizycznych, który wykazuje blokowanie modów, składa się z dwóch obracających się dysków połączonych słabą sprężyną. Jeden dysk może się swobodnie obracać, a drugi jest napędzany silnikiem. Blokowanie trybu występuje, gdy swobodnie obracający się dysk obraca się z częstotliwością, która jest racjonalną wielokrotnością częstotliwości napędzanego rotatora.
Najprostszym modelem matematycznym, który wykazuje blokowanie modów, jest mapa kołowa, która próbuje uchwycić ruch wirujących dysków w dyskretnych odstępach czasu.
Standardowa mapa okręgu
Języki Arnolda pojawiają się najczęściej podczas badania interakcji między oscylatorami , szczególnie w przypadku, gdy jeden oscylator napędza drugi. Oznacza to, że jeden oscylator zależy od drugiego, ale nie odwrotnie, więc nie wpływają na siebie nawzajem, jak to ma miejsce na przykład w modelach Kuramoto . Jest to szczególny przypadek napędzanych oscylatorów , z siłą napędową, która ma zachowanie okresowe. Jako praktyczny przykład, komórki serca (oscylator zewnętrzny) wytwarzają okresowe sygnały elektryczne, aby stymulować skurcze serca (oscylator napędzany); tutaj przydałoby się określić zależność między częstotliwościami oscylatorów, być może do zaprojektowania lepszych sztucznych rozruszników serca . Rodzina map kołowych służy jako użyteczny model matematyczny tego zjawiska biologicznego, jak również wielu innych.
Rodzina map okręgów to funkcje (lub endomorfizmy ) koła względem siebie. Matematycznie prościej jest uznać punkt na za punkt na linii rzeczywistej, który należy interpretować modulo , reprezentujący kąt, pod którym znajduje się punkt okrąg. Kiedy modulo przyjmuje się z wartością inną niż wynik nadal reprezentuje kąt, ale musi być znormalizowany, aby cały zakres można przedstawić. Mając to na uwadze, rodzina map kołowych jest dana przez:
gdzie jest „naturalną” częstotliwością oscylatora, a , która daje wpływ powodowany przez zewnętrzny oscylator że jeśli dla wszystkich po prostu krąży po okręgu w raz; w szczególności, jeśli jest mapa redukuje się do irracjonalnego obrotu .
Konkretna mapa okręgu pierwotnie badana przez Arnolda, która nadal okazuje się użyteczna nawet w dzisiejszych czasach, to:
gdzie nazywa się sprzężenia i interpretować modulo . Ta mapa wyświetla bardzo zróżnicowane zachowanie w zależności od parametrów Ω ; zmieniać , otrzymujemy bifurkacji wokół tego akapitu, na którym możemy obserwować orbity okresowe , bifurkacje podwajające okres, a także możliwe chaotyczne zachowanie .
Wyprowadzanie mapy okręgu
Inny sposób przeglądania mapy okręgu jest następujący. funkcję która . Gdy osiągnie zero, jego wartość jest resetowana do pewnej oscylującej wartości, opisanej funkcją . Jesteśmy teraz sekwencją czasów, y ( t ) osiąga
t ważne jest, że . Od tego momentu się zmniejszać liniowo, aż do , w którym funkcja wynosi zero, otrzymując w ten sposób:
a wybierając i wybierając i otrzymujemy omówioną wcześniej mapę okręgu:
Glass, L. (2001) do niektórych systemów biologicznych, takich jak regulacja stężenia substancji w komórkach lub krwi, przy czym reprezentuje stężenie substancja.
tym modelu blokada fazowa oznaczałaby, że co { okresy sinusoidy . Z kolei liczba rotacji byłaby ilorazem. .
Nieruchomości
Rozważ ogólną rodzinę endomorfizmów okręgu:
gdzie dla standardowej mapy okręgu mamy to . Czasami wygodnie będzie również przedstawić mapę okręgu w kategoriach odwzorowania : :
Przejdziemy teraz do wyliczenia kilku interesujących właściwości tych endomorfizmów okręgu.
P1. monotonicznie dla , więc dla tych wartości iteracje poruszają się tylko do przodu w K < 1 { \ koło, nigdy wstecz. Aby to zobaczyć, zauważ, że pochodna z to:
co jest dodatnie, o ile .
P2. Rozszerzając relację powtarzalności, otrzymujemy wzór na: :
P3. Załóżmy, że okresowe punkty stałe okresu z częstotliwością 1 Hz, liczba oscylacji sinusa na cykl wynosić , charakteryzując w ten sposób blokowanie fazy n .
P4. ∈ prawdą jest, że , co z kolei oznacza, że . Z tego powodu dla wielu celów nie ma znaczenia, czy iteracje moduł czy nie
P5 (symetria translacyjna). danego istnieje blokada Wtedy dla z n blokowanie fazy. Oznacza to również jeśli orbitą okresową jest okresowa orbita dla dowolnego .
P6. Dla blokowanie faz . Co więcej, niech , wtedy blokowanie fazy wynosi .
a moduł równości wtedy, gdy a pierwszym spełnia . W konsekwencji:
co fazy
W przypadku irracjonalnego co prowadzi do irracjonalnego obrotu konieczne byłoby posiadanie liczb całkowitych i ale wtedy co sprzeczne z pierwotną hipoteząBlokada trybu
Dla małych i pośrednich wartości K (tj. w zakresie od K = 0 do około K = 1) i pewnych wartości Ω, mapa wykazuje zjawisko zwane blokowaniem modów lub blokowaniem fazy . W obszarze synchronizacji fazowej wartości θ n rosną zasadniczo jako wymierna wielokrotność n , chociaż mogą to robić chaotycznie na małą skalę.
Zachowanie ograniczające w regionach z blokadą modów jest określone przez liczbę rotacji .
który jest również czasami określany jako numer uzwojenia mapy .
Regiony synchronizacji fazowej lub języki Arnolda są pokazane na żółto na rysunku po prawej stronie. Każdy taki region w kształcie litery V dotyka do wartości wymiernej Ω = p / q w granicy K → 0. Wartości ( K , Ω) w jednym z tych obszarów spowodują ruch taki, że liczba rotacji ω = p / q . Na przykład wszystkie wartości ( K , Ω) w dużym obszarze w kształcie litery V w dolnej środkowej części figury odpowiadają liczbie obrotów ω = 1 / 2 . Jednym z powodów, dla których używa się terminu „blokowanie”, jest to, że poszczególne wartości θn K mogą być zakłócane przez dość duże przypadkowe zakłócenia (aż do szerokości języka, dla danej wartości ) , bez naruszania granicznej liczby obrotów. Oznacza to θn , że sekwencja pozostaje „zablokowana” w sygnale, pomimo dodania znacznego szumu do szeregu . Ta zdolność do „blokowania się” w obecności szumu ma kluczowe znaczenie dla użyteczności obwodu elektronicznego z pętlą synchronizacji fazowej. [ potrzebne źródło ]
p / q istnieje region z blokadą modów . Czasami mówi się, że mapa kołowa odwzorowuje wymierne, zbiór miary zerowej przy K = 0, na zbiór miary niezerowej dla K ≠ 0. Największe języki, uporządkowane według wielkości, występują u ułamków Fareya . Ustalenie K i pobranie przekroju przez ten obraz, tak że ω jest wykreślone jako funkcja Ω, daje „diabelskim schodom”, kształt, który jest ogólnie podobny do funkcji Cantora . Można pokazać, że dla K<1 , mapa kołowa jest dyfeomorfizmem, istnieje tylko jedno stabilne rozwiązanie. Jednak ponieważ K>1 to już nie obowiązuje i można znaleźć regiony dwóch nakładających się regionów blokujących. W przypadku mapy kołowej można wykazać, że w tym regionie nie więcej niż dwa regiony blokujące w trybie stabilnym mogą się nakładać, ale nie jest znane żadne ograniczenie liczby nakładających się języków Arnolda dla ogólnych systemów zsynchronizowanych. [ potrzebne źródło ]
Mapa okręgu pokazuje również podharmoniczne drogi prowadzące do chaosu, czyli okresowe podwojenie postaci 3, 6, 12, 24,....
Standardowa mapa Czirikowa
Standardowa mapa Chirikowa jest powiązana z mapą kołową, mającą podobne relacje powtarzalności, które można zapisać jako
z obiema iteracjami wziętymi modulo 1. W istocie mapa standardowa wprowadza pęd p n , który może się dynamicznie zmieniać, zamiast być wymuszonym, jak ma to miejsce na mapie kołowej. Standardowa mapa jest badana w fizyce za pomocą hamiltonianu wirnika kopniętego .
Aplikacje
Języki Arnolda zostały zastosowane do badania
- Rytmy serca – patrz Glass, L. i in. (1983) i McGuinness, M. i in. (2004)
- Synchronizacja rezonansowych oscylatorów z diodą tunelową
Galeria
Zobacz też
Notatki
- Weisstein, Eric W. „Mapa okręgu” . MathWorld .
- Boyland, PL (1986). „Rozwidlenia map okręgów: języki Arnola, bistabilność i interwały rotacji” . Komunikacja w fizyce matematycznej . 106 (3): 353–381. Bibcode : 1986CMaPh.106..353B . doi : 10.1007/BF01207252 . S2CID 121088353 .
- Gilmore, R.; Lefranc, M. (2002). Topologia chaosu: Alice in Stretch and Squeezeland . John Wiley & Synowie. ISBN 0-471-40816--6 . - Zawiera krótki przegląd podstawowych faktów w sekcji 2.12 .
- Szkło, L. ; Guevara, MR; Shrier, A.; Perez, R. (1983). „Rozwidlenie i chaos w okresowo stymulowanym oscylatorze serca”. Physica D: Zjawiska nieliniowe . 7 (1–3): 89–101. Bibcode : 1983PhyD....7...89G . doi : 10.1016/0167-2789(83)90119-7 . - Wykonuje szczegółową analizę rytmu serca w kontekście mapy kołowej.
- McGuinness, M.; Hong, Y.; Galletly, D.; Larsen, P. (2004). „Języki Arnolda w układach krążeniowo-oddechowych człowieka”. Chaos . 14 (1): 1–6. Bibcode : 2004Chaos..14....1M . doi : 10.1063/1.1620990 . PMID 15003038 .
Linki zewnętrzne
- Mapa kołowa z interaktywnym apletem Java