Mappa a ferro di cavallo
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/4a/Smale_Horseshoe_Map.svg/220px-Smale_Horseshoe_Map.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/4f/Ergodic_mixing_of_putty_ball_after_repeated_Smale_horseshoe_map.jpg/170px-Ergodic_mixing_of_putty_ball_after_repeated_Smale_horseshoe_map.jpg)
Nella teoria del caos, una mappa a ferro di cavallo è un qualsiasi elemento di una classe di mappe caotiche del quadrato in se stesso, fondamentale nello studio dei sistemi dinamici. La mappa fu introdotta da Stephen Smale mentre stava studiando il comportamento delle orbite dell'oscillatore di van der Pol. L'azione della mappa è definita geometricamente come la contrazione del quadrato, il successivo allungamento del risultato in una lunga striscia e infine la piega nella forma di un ferro di cavallo.
Descrizione
La maggior parte dei punti alla fine escono dal quadrato dopo l'applicazione della mappa. Iterando la mappa, quest'ultimi andranno nei semidischi attaccati al quadrato dove convergeranno ad un punto fisso in uno dei semicerchi. I punti che rimangono nel quadrato dopo ripetute iterazioni formano un insieme frattale e fanno parte dell'insieme invariante della mappa.
La contrazione, la dilatazione e la piega della mappa a ferro di cavallo sono tipiche dei sistemi caotici, ma non necessarie e nemmeno sufficienti.[1] Nella mappa di Smale, la contrazione e la dilatazione sono uniformi. Si compensano a vicenda così l'area del quadrato non cambia. La piega fatta semplice e ordinata, così si possono facilmente descrivere le orbite che rimangono per sempre nel quadrato.
Per una mappa a ferro di cavallo:
- ci sono un numero infinito di orbite periodiche;
- esistono orbite periodiche di periodo arbitrariamente grande;
- il numero di orbite periodiche cresce esponenzialmente con il periodo;
- vicino ad ogni punto dell'insieme invariante c'è un punto di un'orbita periodica.
Caratteristiche
La mappa a ferro di cavallo è un diffeomorfismo definito da una regione del piano in se stesso. La regione è un quadrato affiancato da due semicerchi. L'azione di è definita attraverso la composizione di tre trasformazioni geometriche. Prima il quadrato è contratto verticalmente di un fattore . I semicerchi sono contratti in modo da rimanere tali e inoltre da essere attaccati al rettangolo risultante. Contrarre di un fattore minore di assicura che ci sarà uno spazio vuoto fra i due bracci del ferro di cavallo. Successivamente il rettangolo è dilatato orizzontalmente di un fattore ; i semidischi rimangono invariati. Infine la striscia risultante è piegata nella forma di un ferro di cavallo e riposizionata in .
La parte interessante è l'immagine del quadrato in se stesso. Una volta che questa parte è definita, la mappa può essere estesa ad un diffeomorfismo descrivendo la sua azione sui semicerchi. I semidischi sono per contrarre e alla fine mappare dentro a uno dei due semicerchi (il sinistro nella figura). L'estensione di ai semicerchi attaccati aggiunge un punto fisso all'insieme non vagante della mappa. Per mantenere la classe delle mappe di Smale semplice, la regione curva del ferro di cavallo non dovrebbe ritornare nel quadrato.
La mappa a ferro di cavallo è iniettiva, che significa che esiste l'inversa quando ci si restringe all'immagine di rispetto a .
Piegando la striscia in modi differenti, sono possibili altri tipi di mappe a ferro di cavallo.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/c/ce/DifferentHS.svg/220px-DifferentHS.svg.png)
Per assicurare che la mappa rimanga iniettiva, il quadrato contratto non si deve sovrapporre. Quando l'azione sul quadrato è estesa ad un diffeomorfismo, l'estensione non può essere sempre fatta nel piano. Per esempio, per estendere la mappa sulla destra ad un diffeomorfismo bisogna usare un "cappuccio" che avvolge l'equatore.
La mappa a ferro di cavallo è un diffeomorfismo che soddisfa l'assioma A di Smale e che inoltre serve da modello per il comportamento generale in un punto omoclino trasversale, dove le varietà stabili e instabili di un punto periodico si intersecano.
Dinamica
La mappa a ferro di cavallo fu creata per la dinamica caotica di un flusso in un intorno di una data orbita periodica. L'intorno scelto è un piccolo disco perpendicolare all'orbita. Con l'evoluzione del sistema, i punti de disco rimangono vicini all'orbita periodica, tracciando le orbite che alla fine intersecheranno di nuovo il disco, e le altre orbite invece divergeranno.
Il comportamento di tutte le orbite nel disco può essere determinato considerando che cosa succede nel disco. L'intersezione tra il disco e la data orbita periodica ritorna ogni periodo in se stessa e così i punti nel suo intorno. Quando questo intorno ritorna, la sua forma è cambiata. Tra i punti mappati nel quadrato ci sono dei punti che lasceranno il disco e altri che continueranno a ritornare. L'insieme dei punti che non lasciano mai l'intorno della orbita periodica forma un frattale.
Si può dare un nome simbolico alle orbite che rimangono nell'intorno. Il disco iniziale può essere diviso in un numero piccolo di regioni. Sapendo la successione delle visite dell'orbita in queste regioni, l'orbita può essere localizzata esattamente. La successione delle visite fornisce una rappresentazione simbolica della dinamica, conosciuta come dinamica simbolica.
Orbite
È possibile descrivere il comportamento di tutte le condizioni iniziali della mappa a ferro di cavallo. Un punto iniziale è mappato nel punto . La sua iterazione è il punto , e continuando si genera l'orbita ,, ,
Con interazione ripetute della mappa di Smale, la maggior parte delle orbite finiscono nel punto fisso del semidisco sinistro. Questo succede poiché la mappa manda il semidisco in se stesso attraverso una trasformazione affine, che ha esattamente un punto fisso. Ogni orbita che finisce nel semidisco sinistro non lo lascerà mai e convergerà al punto fisso. I punti sul semicerchio destro vengono mappati su quello sinistro alla successiva iterazione, e la maggior parte dei punti vengono mandati nei semidischi.
Iterare il quadrato
![](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f2/Foldings2.png/220px-Foldings2.png)
Attraverso interazioni in avanti della mappa a ferro di cavallo, il quadrato originale viene mandato in una serie di strisce orizzontali. I punti di queste strisce orizzontali provengono da strisce verticali del quadrato iniziale. Detto il quadrato originale, sia mappato in avanti volte si consideri solo i punti rimandati nel quadrato, che è un insieme di strisce orizzontali
I punti delle strisce orizzontali vengono da strisce verticali del quadrato
- ,
che sono le strisce orizzontali mappati all'indietro volte. Cioè, un punto in finirà nell'insieme delle strisce verticali dopo interazioni.
Insieme invariante
![](http://upload.wikimedia.org/wikipedia/commons/thumb/c/c3/Invariant.png/170px-Invariant.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/7/7d/Ising-tartan.png/170px-Ising-tartan.png)
Se un punto rimane indefinitamente nel quadrato, alla deve appartenere all'insieme che viene mappato in se stesso. È da determinare se questo insieme è vuoto o no. Le strisce verticali vengono mandate in quelle orizzontali , ma non tutti i punti di rivengono mandati in se stesso. Solo i punti nell'intersezione tra e possono appartenere a , come si può controllare seguendo i punti fuori dall'intersezione nella successiva iterazione.
L'intersezione delle strisce verticali e orizzontali, , sono quadrati che nel limite converge all'insieme invariante . La struttura di questo insieme può essere meglio compresa introducendo un sistema di etichette per ogni intersezione- una dinamica simbolica.
Dinamica simbolica
![](http://upload.wikimedia.org/wikipedia/commons/thumb/f/ff/HMstrips.svg/170px-HMstrips.svg.png)
Poiché , ogni punto che appartiene a deve essere mappato nella striscia verticale sinistra di , o in quella a destra . La striscia orizzontale inferiore di è l'immagine di mentre quella superiore è l'immagine di , cioè . Si possono allora usare le strisce e per etichettare i quattro quadrati nell'intersezione tra e :
L'insieme consiste di punti della striscia che sono in nella precedente iterazione. Si è usato il punto per separare la regione in cui il punto dell'orbita si trova da quella in cui si trovava precedentemente.
La notazione può essere estesa anche a maggiori interazioni della mappa di Smale. Le strisce verticale possono essere chiamate secondo la sequenza delle visite alla striscia o . Per esempio, l'insieme consiste di punti provenienti da che saranno mandati in con una iterazione e che ci rimarranno nell'iterazione successiva:
Le strisce orizzontali sono indicate dalle strisce verticali che sono loro controimmagini. Con questa notazione, l'intersezione di e è composto da 16 quadrati, di cui uno è
Tutti i punti in sono in e continueranno ad esserlo per almeno una iterazione successiva. La loro precedente traiettoria prima di essere mappati in è stata seguita da .
Orbite periodiche
Qualunque delle intersezioni di una striscia orizzontale con una verticale, dove e sono sequenze di e , è un'affinità della piccola regione . Se è composto da simboli, e se e si intersecano, la regione avrà un punto fisso. Questo succede quando e sono uguali, infatti ha almeno un punto fisso, che è anche lo stesso di . Includendo sempre più in e , l'area dell'intersezione può essere resa arbitrariamente piccola che convergerà ad un punto che è parte di un'orbita periodica della mappa a ferro di cavallo. L'orbita periodica può essere descritta dalla più semplice sequenza di e che indica le regioni visitate dall'orbita.
Per ogni sequenza di e c'è un'orbita periodica.
Note
- ^ David Ruelle, What is a strange attractor? (PDF), in Notices of the American Mathematical Society, vol. 53, n. 7, 2006, pp. 764–765.
Bibliografia
- David Ruelle, What is a strange attractor? (PDF), in Notices of the American Mathematical Society, vol. 53, n. 7, 2006, pp. 764–765.
- Stephen Smale, Differentiable dynamical systems, in Bulletin of the American Mathematical Society, vol. 73, n. 6, 1967, pp. 747–817, DOI:10.1090/S0002-9904-1967-11798-1.
- P. Cvitanović, G. Gunaratne e I. Procaccia, Topological and metric properties of Hénon-type strange attractors, in Physical Review A, vol. 38, n. 3, 1988, pp. 1503–1520, DOI:10.1103/PhysRevA.38.1503, PMID 9900529.
- André de Carvalho, Pruning fronts and the formation of horseshoes, in Ergodic theory and dynamical systems, vol. 19, n. 4, 1999, pp. 851–894, DOI:10.1017/S0143385799133972.
- André de Carvalho e Toby Hall, How to prune a horseshoe, in Nonlinearity, vol. 15, n. 3, 2002, pp. R19–R68, DOI:10.1088/0951-7715/15/3/201.
Voci correlate
Altri progetti
Altri progetti
- Wikimedia Commons
Wikimedia Commons contiene immagini o altri file su mappa a ferro di cavallo
Collegamenti esterni
- Smale Horseshoe Scholarpedia
- ChaosBook.org Capitolo "Stretch, fold, prune"
V · D · M ![]() | ||
---|---|---|
Teoria delle biforcazioni | Biforcazione a forcone · Biforcazione a nodo sella · Biforcazione imperfetta · Biforcazione transcritica · Biforcazione di Hopf · Larva del pino (sistema dinamico) | ![]() |
Frattali | Arte frattale · Buddhabrot · Burning ship · Compressione frattale · Curva di Koch · Curva di Peano · Curva di Sierpiński · Dimensione di Hausdorff · Dimensione frattale · Funzione di Cantor · Insieme di Cantor · Insieme di Julia · Insieme di Mandelbrot · Frattali per dimensione di Hausdorff · Polvere di Cantor · Sterling · Triangolo di Sierpiński · Dimensione di Minkowski-Bouligand | |
Attrattori | Attrattore di Lorenz · Attrattore di Hénon · Mappa di Poincaré · Mappa logistica · Mappa a ferro di cavallo · Spazio delle fasi | |
Teorici del caos | Edward Norton Lorenz · Aleksandr Michajlovič Ljapunov · Benoît Mandelbrot · Edward Ott · Henri Poincaré · David Ruelle · Stephen Wolfram · James Yorke |
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/af/Crystal128-kmplot.svg/25px-Crystal128-kmplot.svg.png)