In matematica , chimica o fisica , un sistema dinamico è i dati di un sistema e una legge che descrive l'evoluzione di questo sistema. Può essere l'evoluzione di una reazione chimica nel tempo, il movimento dei pianeti nel sistema solare (governato dalla legge di gravitazione universale di Newton ) o l'evoluzione della memoria di un computer sotto l'azione di un programma per computer . Formalmente, viene fatta una distinzione tra sistemi dinamici a tempo discreto (come un programma per computer) da sistemi dinamici a tempo continuo (come una reazione chimica).
Due aspetti importanti di un sistema dinamico sono che è:
Una nozione importante è quella di un sistema dinamico reversibile per il quale si può anche descrivere uno stato passato del sistema dal suo presente e dal suo futuro. In altre parole, invertendo la freccia del tempo, abbiamo ancora un sistema dinamico. Matematicamente, un sistema dinamico reversibile è un caso particolare di azione di gruppo (il gruppo è quello degli interi relativi Z nel caso discreto e l'insieme dei numeri reali R nel caso continuo).
Dobbiamo prestare attenzione al significato molto particolare che la nozione di stato assume per la teoria dei sistemi dinamici. Un paradosso di Zenone può presentare difficoltà. Zenone ha chiesto: "Siamo una freccia in volo. In un momento è a riposo o in movimento? Se rispondessimo che è in movimento, direbbe: "Ma essere in movimento è cambiare posizione. In un momento, la freccia ha una posizione, non cambia. Non è quindi in movimento. Se rispondessimo che è a riposo, direbbe "Ma se è a riposo in questo momento, è a riposo anche in tutti gli altri momenti, quindi è sempre a riposo". Non è mai in movimento. Ma come può allora passare da una posizione all'altra? Ha concluso che non è possibile dire la verità su ciò che è in movimento. Qualsiasi cosa in movimento sarebbe intrinsecamente falsa e non ci sarebbero verità sulla materia ma solo sulle grandi idee, a condizione che siano immutabili. Il buon senso è esattamente l'opposto. Crediamo più comunemente nella verità di ciò che vediamo che nelle verità metafisiche . La teoria dei sistemi dinamici concorda con il buon senso su questo punto.
La nozione di stato dinamico fornisce una soluzione al paradosso di Zenone: in un dato momento la freccia si muove, ha una posizione ma cambia posizione, ha velocità istantanea. I numeri che misurano la sua posizione e velocità sono i valori delle sue variabili di stato . Le variabili di stato sono tutte le grandezze fisiche che determinano lo stato istantaneo del sistema e che non sono costanti a priori. Sono anche chiamate variabili dinamiche. Se scattiamo una foto con il flash, non vediamo che la freccia si sta muovendo, ma possiamo rilevarla con altri mezzi, ad esempio con l' effetto Doppler , senza dover misurare un cambiamento di posizione. Lo stato dinamico di un sistema è uno stato istantaneo, ma è uno stato di movimento. È determinato dai valori di tutte le variabili di stato in quel momento.
Lo spazio delle fasi è una struttura corrispondente all'insieme di tutti i possibili stati del sistema considerato. Può essere uno spazio vettoriale , una varietà differenziale o un fascio vettoriale , uno spazio misurabile ...
Per un sistema avente n gradi di libertà , ad esempio, lo spazio delle fasi del sistema ha n dimensioni, così che lo stato completo del sistema al tempo t è generalmente un vettore con n componenti.
Un sistema dinamico discreto è generalmente definito da una mappa biiettiva dello spazio delle fasi su se stesso (studiamo anche la dinamica di mappe non necessariamente biettive, in particolare nelle dinamiche olomorfe ). Funziona come segue: data una condizione iniziale dello stato del sistema, il seguente primo stato è:
Il secondo stato, che segue immediatamente il primo, è:
e così via, in modo che l' n -esimo stato sia dato da:
Per tornare indietro nel tempo è sufficiente invertire la funzione , cosa sempre possibile per una biiezione.
Un sistema dinamico è una terzina ( T , M , Φ) dove T è un monoide , indicato in modo additivo, M un insieme e Φ una funzione
con
, per tutto .La funzione Φ ( t , x ) è detta funzione di evoluzione del sistema dinamico: associa ad ogni punto di M una singola immagine, dipendente dalla variabile t , detta parametro di evoluzione. M è chiamato spazio delle fasi o spazio degli stati e la variabile x rappresenta lo stato iniziale del sistema. Scriviamo anche:
Se impostiamo una delle variabili.
Si chiama flusso in x e il suo grafico di traiettoria rispetto a x . Tutti
si chiama orbita rispetto a x .
Il sottoinsieme S dello spazio degli stati M è Φ- invariante se per ogni x in S e per ogni t in T
In particolare, in modo che S è Φ- invariante , 'un necessario che I ( x ) = T per tutti x in S .
Esistono diversi tipi principali di dinamiche a seconda della natura matematica dello spazio delle fasi:
La funzione logistica è un'applicazione del segmento [0, 1] in sé che funge da ricorrenza della sequenza:
dove n = 0, 1,… denota il tempo discreto, la variabile dinamica unica e r un parametro reale compreso tra 0 e 4.
Le dinamiche di questa applicazione mostrano comportamenti molto diversi a seconda del valore del parametro r :
Si ottiene così un susseguirsi di biforcazioni della regolarità verso il caos all'aumentare del parametro, riassunte nella figura allegata.
L'app "gatto" di Arnold (1968)Il nome dell'applicazione " gatto " deriva da un gioco di parole inglese che non può essere tradotto in francese: infatti, " chat " è " gatto " in inglese, e Vladimir Arnold usò questa parola come acronimo di: " Continuous Automorphisms of the Torus , letteralmente : " automorfismi continui del toro ".
L'applicazione "gatto" è un'applicazione del quadrato [0, 1] × [0, 1] di per sé definita da:
dove ( mod 1) significa: fino a un numero intero. Questa condizione significa che il quadrato [0, 1] × [0, 1] ha i bordi incollati insieme a due a due per formare il "toro" del titolo. È un sistema dinamico conservativo, che preserva la misura di Lebesgue d x d y .
Questa applicazione ha proprietà interessanti che permettono di illustrare concetti fondamentali della teoria dei sistemi dinamici.
L'applicazione di Hénon (1976)La mappa di Michel Hénon è una biiezione del quadrato [0, 1] × [0, 1] in sé definito da:
dove un e b sono due parametri, valori tipici di cui e . Con questi valori la dinamica presenta uno strano attrattore di natura frattale, di tipo Cantor.
Hénon ha ottenuto le sue equazioni cercando una versione semplificata del sistema dinamico di Lorenz a tempo continuo introdotto nel 1963 ( vedi sotto ). Il sistema dinamico di Hénon non è conservatore , perché lo giacobiano della trasformazione è costante e vale , che è diverso dall'unità in casi interessanti.
L'applicazione di Hénon è anche studiata e generalizzata come un sistema dinamico complesso (in ).
Altri esempiDal lavoro di Isaac Newton ( 1687 ), l'idea che l'evoluzione temporale di qualsiasi sistema fisico sia ben modellata da un'equazione differenziale (o dalle sue generalizzazioni alla teoria dei campi, equazioni alle derivate parziali ) è accettata. Da allora questa modellazione differenziale è stata estesa con successo ad altre discipline come chimica , biologia , economia, ecc.
Tipicamente consideriamo un sistema differenziale del primo ordine del tipo:
dove la funzione f definisce il sistema dinamico studiato (per un sistema con n gradi di libertà, si tratta in senso stretto di un campo di vettori con n dimensioni, cioè da un punto di vista prosaico, un insieme di n funzioni scalari) .
Ci poniamo la seguente domanda, chiamata problema di Cauchy : data una condizione iniziale che rappresenta lo stato completo del sistema fisico nel suo spazio delle fasi in un momento iniziale , trovare lo stato completo del sistema nel suo spazio delle fasi per un istante successivo . La soluzione a questo problema fondamentale sta nel teorema di Cauchy-Lipschitz , che assicura (sotto un'ipotesi abbastanza ampia) l'esistenza locale e l'unicità della soluzione di un'equazione differenziale.
L'ipotesi che il futuro sia determinato dal presente è molto audace. Il suo successo non è ovvio a priori. Eppure tutte le grandi teorie fondamentali della fisica l'hanno adottata, seguendo quella di Newton.
Determinismo di un sistema conservatoreSaremo d'accordo nel dire che un sistema fisico conservatore è deterministico se e solo se la dinamica del sistema associa a ciascuna condizione iniziale uno e solo uno stato finale . Ciò implica che esiste una biiezione dello spazio delle fasi di se stesso come:
Quando il tempo varia, questo bijection genera un flusso a , vale a dire un gruppo continuo con un parametro come:
. |
Questa descrizione corrisponde ad esempio al flusso hamiltoniano della meccanica classica , nonché al flusso geodetico .
Caso di un sistema non conservatoreQuando il sistema fisico considerato non è conservativo, la mappa non è biiettiva e generalmente esistono uno (o più) attrattori nello spazio delle fasi del sistema, cioè un sottoinsieme dello spazio delle fasi invariante sotto il quale il punto rappresentativo del sistema converge quando il tempo tende verso l'infinito, e questo per quasi tutte le condizioni iniziali .
L'oscillatore di van der Pol libero ( cioè senza eccitazione esterna) è un sistema a un grado di libertà, descritto dalla coordinata x (t) , che ha due parametri:
La sua equazione differenziale è scritta:
Questo sistema dissipativo ha una dinamica regolare quando è libero, caratterizzato da un attrattore sotto forma di ciclo limite rappresentato nella figura a fianco (dove abbiamo posto ):
Il sistema Lorenz (1963)Nel 1963, Edward Lorenz proposto un sistema differenziale avente tre gradi di libertà, osservato , e , che è scritto:
In queste equazioni , e sono tre parametri reali positivi. Per i seguenti valori , e questo differenziale ha un attrattore di sistema dinamico strano, mostrato nella figura contro.
Si distingue tra sistemi dinamici lineari di sistemi dinamici non lineari . Nel primo, il lato destro dell'equazione è una funzione che dipende linearmente da x , tale che:
.Anche la somma di due soluzioni di un sistema lineare è soluzione ("principio di sovrapposizione"). Le soluzioni di un'equazione lineare formano uno spazio vettoriale , che consente l'uso dell'algebra lineare e semplifica notevolmente l'analisi. Per i sistemi a tempo continuo, la trasformata di Laplace trasforma le equazioni differenziali in equazioni algebriche.
I primi due esempi sopra riportati sono sistemi non lineari. La loro analisi è generalmente molto difficile. D'altra parte, i sistemi non lineari hanno spesso i cosiddetti comportamenti caotici , il che li rende apparentemente imprevedibili.
I sistemi dinamici non lineari, o semplicemente lineari a tratti , possono esibire comportamenti completamente imprevedibili, che possono anche sembrare casuali (sebbene siano sistemi perfettamente deterministici). Questa imprevedibilità si chiama caos . Il ramo dei sistemi dinamici che si concentra sulla definizione e lo studio del caos in modo chiaro è chiamato teoria del caos .
Questa branca della matematica descrive qualitativamente i comportamenti a lungo termine dei sistemi dinamici. In questo quadro, l'enfasi non è sulla ricerca di soluzioni precise alle equazioni del sistema dinamico (che, in ogni caso, è spesso senza speranza), ma piuttosto sulla risposta a domande come "Il sistema convergerà - verso uno stato stazionario a lungo termine e, in caso affermativo, quali sono i possibili stati stazionari? "Oppure" Il comportamento a lungo termine del sistema dipende dalle condizioni iniziali? ".
Un obiettivo importante è la descrizione dei punti fissi , o stati stazionari, del sistema; questi sono i valori della variabile per cui non cambia più nel tempo. Alcuni di questi punti fissi sono attraenti , il che significa che se il sistema raggiunge il loro vicinato, converge verso il punto fisso.
Allo stesso modo, ci interessano i punti periodici , gli stati del sistema che si ripetono dopo un certo numero di passaggi (il loro periodo ). Anche i punti periodici possono essere attraenti. Il teorema di Charkovski fornisce un vincolo sull'insieme di possibili periodi di punti di una variabile reale in un sistema dinamico basato sull'evoluzione continua; in particolare, se c'è un punto del periodo 3, ci sono punti di qualsiasi periodo (spesso riassunti in "periodo 3 implica caos", secondo il titolo di un articolo fondatore).
Il comportamento caotico dei sistemi complessi non è una sorpresa: è noto da tempo che la meteorologia include comportamenti complessi e persino caotici. Piuttosto, la vera sorpresa è la scoperta del caos in sistemi quasi banali; quindi, la funzione logistica è un semplice polinomio di secondo grado, tuttavia il comportamento delle sue soluzioni è caotico.
Teoria dei sistemi dinamici (articolo più generale)