Mappa a ferro di cavallo

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.

La mappa a ferro di cavallo di Smale è la composizione di tre trasformazioni geometriche.
Mescolamento in una palla reale di stucco colorato dopo interazioni consecutive della mappa a ferro di cavallo.

Descrizione modifica

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

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.

 
Varianti della mappa a ferro di cavallo

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

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

È 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

 
Immagini e controimmagini della regione quadrata applicando la mappa di Smale

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

 
Intersezioni che convergono all'insieme invariante
 
Esempio di una misura invariante

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

 
I domini base della mappa a ferro di cavallo

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

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

  1. ^ 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

Voci correlate modifica

Altri progetti modifica

Collegamenti esterni modifica

  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica