Professional Documents
Culture Documents
Federica Spoto
10 Gennaio 2011
Sommario
Determinazione orbitale caotica Congettura di Wisdom La mappa standard Risultati degli esperimenti numerici Conclusioni
Congettura di Wisdom
Nel 1984 Wisdom e Peale hanno messo in evidenza che lo stato di rotazione di Iperione caotico. Nel 1987 Wisdom ha congetturato:
In fact because of the exponential variety of trajectories which exists, the rotation state at the midpoint of the interval covered by the observations, and the principal moments of inertia, are determined with exponential accuracy.
Thus the knowledge gained from measurements on a chaotic dynamical system grows exponentially with the time span covered by the observations.
Risultato ottenuto Il nostro risultato stato quello di mostrare che la conoscenza dei parametri da cui dipendono le equazioni del sistema dinamico non pu crescere esponenzialmente nel tempo, ma solo in modo polinomiale, come nel caso di orbite non caotiche
Mostreremo il risultato ottenuto prima con un test numerico su un problema modello dato dalla mappa standard e poi come corollario dello Shadowing Lemma.
Problema modello
Per gli esperimenti numerici abbiamo usato il problema modello della mappa standard del pendolo, la cui espressione data da:
S=
xk +1 = xk + yk +1 yk +1 = yk sin(xk ).
1 Semplica notevolmente i tempi di calcolo. 2 E' un sistema dinamico conservativo che ha sia orbite regolari
che orbite caotiche.
Figura: Orbite della mappa standard ottenute con = 0.5. Si tratta di uno zoom attorno al punto sso iperbolico.
I minimi quadrati
La matrice di transizione :
Ak =
che risolve:
(xk , yk ) (x0 , y0 )
Ak +1 = DS Ak .
(xk , yk ) S +
(xk +1 , yk +1 )
= DS
Il procedimento
Processo di osservazioni
k k
C =
n k =1
T Bk Bk
Il procedimento
D =
dove
n k =1
T Bk
k k
Bk =
(xk , yk ) (k , k ) = Ak | (x0 , y0 , )
dx0 dy0 = D d
Esperimenti numerici
Centro dell'intervallo Tutti gli esperimenti sono stati eettuati con le condizioni iniziali poste nel centro dell'intervallo di osservazione. Se infatti una delle due si trovasse sulla variet stabile e l'altra sulla variet instabile, riusciremmo a determinare peggio la prima della seconda. Se cerchiamo di determinarle entrambe, abbiamo bisogno di porle nel centro dell'intervallo.
Min. autovalori
Figura: Determinante e autovalori della matrice di transizione in scala semilogaritmica con dati iniziali x0 = 3, y0 = 0 e = 0.5.
Osservazione Problemi nel momento in cui il numero di condizionamento della matrice diventa maggiore dell'inverso dell'errore di arrotondamento. Intorno a
19TL
dell'instabilit numerica. Il valore dell'esponente di Lyapunov 0.1. Rapporto tra massimo e minimo degli autovalori troppo elevato intorno alle 200 iterate.
Figura: Determinante e autovalori della matrice di transizione in scala semilogaritmica con dati iniziali x0 = 3, y0 = 0 e = 0.25.
Figura: Determinante e autovalori della matrice di transizione in scala semilogaritmica con dati iniziali x0 = 2.8, y0 = 0 e = 0.5.
Osservazione Abbiamo una crescita esponenziale anche in questo caso, anche se minore della precedente. Il fatto che la crescita sia esponenziale mostra che la congettura di Wisdom vera nel caso unidimensionale, cio se cerchiamo di determinare soltanto un parametro ().
calcoliamo:
calcoliamo:
Figura: Condizionamento delle matrici normali C e G e inverso dell'incertezza delle condizioni iniziali nel caso x0 = 3, y0 = 0 e = 0.5 nel caso in cui la matrice normale sia G .
Figura: Condizionamento delle matrici normali C e G e inverso dell'incertezza delle condizioni iniziali e del parametro nel caso x0 = 3, y0 = 0 e = 0.5 nel caso in cui la matrice normale sia C .
esponenzialmente ma polinomialmente.
La causa del cattivo comportamento dei parametri data dalla presenza di una correlazione.
10
2 0
Figura: Inverso dell'incertezza del parametro dinamico e funzione log (ii 1.8) in scala logaritmica e riferiti al caso in cui x0 = 3, y0 = 0 e = 0.5 e se la matrice normale C .
Nel nostro caso la congettura di Wisdom falsa. Se cerchiamo di determinare simultaneamente le condizioni iniziali e il parametro dinamico esponenzialmente. Se gli unici parametri da determinare sono invece le condizioni iniziali, la loro accuratezza cresce esponenzialmente nel tempo.
Sommario
Determinazione orbitale caotica Congettura di Wisdom La mappa standard Risultati degli esperimenti numerici Conclusioni
Denizioni di base
denita da = {xk X : k K} -pseudo orbita o -pseudo traiettoria di un sistema dinamico su K se vale la disuguaglianza
d ((xk ), xk +1 ) < ,
k K
(1)
Denizioni di base
Denizione Diciamo che un punto x X un -pedinamento di una -pseudotraiettoria = {xk } su K se vale la disuguaglianza
d (k (x ), xk ) < ,
k K.
(2)
Propriet fondamentali
Y X se > 0 > 0 tale che per ogni -pseudotraiettoria su Z, con Y , esiste un punto x -pedinamento di su Z.
Denizione Diciamo che il sistema dinamico ogni -pseudotraiettoria = {xk : k Z} Y ha x X. soddisfa la SUP (Shadowing
Y X
se esiste
>0
tale che
-pedinamento
al pi un punto
Propriet fondamentali
Y X
{xk Y : k Z}
L, m0
tali che
d ((xk ), xk +1 ) m m0 , k Z,
esiste un punto
d (k (x ), xk ) Lm, k Z
Insiemi iperbolici
Denizione Sia
su
M.
compatto e
-invariante;
0 (0, 1)
sottospazi lineari di
esistono
C > 0,
e
Sx
Ux
e che
(b.1) Sx Ux = Tx M (dove Tx M lo spazio tangente alla variet M nel punto x ); (b.2) d x (Sx ) = S(x ) , d x (Ux ) = U(x ) x ; (b.3)
||d m v || x ||d m v || x
C m ||v || x , v 0 C m ||v || x , v 0
Sx ,
m0 Ux , m 0.
Enunciato
Teorema
Se un insieme iperbolico per un dieomorsmo , allora esiste W intorno di tale che gode della POTP su W . Inoltre possiamo trovare W1 intorno di tale che gode della SUP su W1 .
Teorema
Se un insieme iperbolico per un dieomorsmo , allora esiste W intorno di tale che gode della LpSp su W . Inoltre, possiamo scegliere m0 tale che m m0 esiste un unico x che gode della LpSP.
1 La dimostrazione si basa sul teorema di punto sso. 2 La dimostrazione non costruttiva perch usa come
condizione iniziale l'orbita vera e in pi l'orbita vera compare anche nell'equazione di punto sso.
Sommario
Determinazione orbitale caotica Congettura di Wisdom La mappa standard Risultati degli esperimenti numerici Conclusioni
Ricordiamo le notazioni
sono le osservazioni;
x = x0 + dx0 , y = y0 + dy0
e poniamo
= 0 + d
-pedinamento
Sia
la successione delle
-pedinamento
di
cio dobbiamo
tale che
k =
e abbiamo
2 2 k + k k = 1, . . . , n
k =1,...,n
max
-pseudotraiettoria
una
-pseudotraiettoria.
Shadowing Lemma
(x , y )
>0
esiste
tale che
> 0 tale che per ogni -pseudotraiettoria esiste (x , y ) un -pedinamento della -pseudotraiettoria.
Osservazione Scelto
valore di
d , tale per cui, qualunque sia la scelta fatta (x , y ) in modo da ottenere un'orbita (xk (), yk ()) tale per cui i residui
,
quindi di delle osservazioni, possiamo determinare le condizioni iniziali
sono minori di
parametro dinamico
Shadowing Lemma
L'esistenza di insiemi iperbolici garantita dal teorema di Smale del punto omoclinico trasversale. Ci saranno sempre degli insiemi iperbolici sui quali applicare lo Shadowing Lemma e contraddire quindi la congettura di Wisdom. La congettura di Wisdom non vera quasi ovunque perch l'insieme su cui non vale non di misura 0 ma contiene un aperto.
Grazie.