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
[modifica | modifica wikitesto]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
[modifica | modifica wikitesto]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
[modifica | modifica wikitesto]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
[modifica | modifica wikitesto]È 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
[modifica | modifica wikitesto]![](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
[modifica | modifica wikitesto]![](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
[modifica | modifica wikitesto]![](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
[modifica | modifica wikitesto]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
[modifica | modifica wikitesto]- ^ David Ruelle, What is a strange attractor? (PDF), in Notices of the American Mathematical Society, vol. 53, n. 7, 2006, pp. 764–765.
Bibliografia
[modifica | modifica wikitesto]- 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
[modifica | modifica wikitesto]Altri progetti
[modifica | modifica wikitesto]Wikimedia Commons contiene immagini o altri file su mappa a ferro di cavallo
Collegamenti esterni
[modifica | modifica wikitesto]- Smale Horseshoe Scholarpedia
- ChaosBook.org Capitolo "Stretch, fold, prune"