Stabilità interna: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
mNessun oggetto della modifica
Riga 36:
 
== Teoremi di Lyapunov ==
I due teoremicriteri di [[Aleksandr Michajlovič Ljapunov|Lyapunov]] forniscono condizioni sufficienti per la stabilità in prossimità di un punto di equilibrio., Sonoe sono estesi da un vasto numero di risultati,. adIl esempioprimo criterio riconduce l'analisi del sistema a quella della sua [[approssimazione lineare]] nel punto di equilibrio, il secondo utilizza una particolare funzione, la [[teoremafunzione di LaSalleLyapunov]], per "confinare" le soluzioni in una regione dello [[spazio delle fasi]].
 
===Primo teoremacriterio di Lyapunov===
Si consideri il sistema dinamico rappresentato dalla seguente [[equazione differenziale]]:
 
Riga 44:
:<math> f(x_0)=0</math>
 
dove il vettore di funzioni <math>\dot y</math> indica la [[derivata]] del vettore di funzioni <math>y</math>. Il punto di equilibrio <math>\ x_0</math> è asintoticamente stabile se gli [[Autovettore e autovalore|autovalori]] della [[matrice jacobiana]] di <math>\operatorname D f(</math> calcolata in <math>x_0</math>, ovvero la [[Approssimazione lineare|linearizzazione]] del sistema in <math>x_0)</math>, hanno [[parte reale]] negativa.
 
Il risultato è analogo a quanto avviene per i sistemi lineari del tipo <math> \dot x = Ax </math>, per i quali la stabilità dipende dagli autovalori della matrice <math> A</math>, ed era notoun benrisultato primagià dellanoto nascitaai della Teoriatempi di Stabilità secondo Lyapunov. Infatti, può essere ottenuto sviluppando in [[serie di Taylor]] il campo vettoriale del sistema:
 
:<math> f(x) = f(x_0) + D f(x_0)(x - x_0) + O(x - x_0)^2 </math>
Riga 60:
Dunque si ottiene un sistema dinamico lineare (detto linearizzato), che approssima il comportamento del sistema non lineare in un intorno del punto di equilibrio. La dimensione dell'intorno dipende dalle caratteristiche del campo vettoriale ed è tanto maggiore, quanto maggiore è la possibilità di trascurare i termini di ordine superiore che compaiono nello sviluppo in serie. Il risultato è ottenuto per deduzione logica, ma non fu verificato che la stabilità del sistema linearizzato fosse legata al sistema non lineare di partenza fino all'avvento della teoria di Lyapunov.
 
=== Secondo teoremacriterio di Lyapunov ===
Facendo riferimento al sistema dinamico precedente, si consideri una funzione <math>V(x): \R^n \to \R</math> definita positiva e con derivata definita negativa:
 
Riga 66:
:<math> \dot{V}(x) \le 0 \quad \dot{V}(x_o) = 0 \qquad \forall{x}</math>
 
Allora <math>V(x)</math> è detta [[funzione di Lyapunov]] candidata e il sistema è asintoticamente stabile nel senso di [[Aleksandr Michajlovič Ljapunov|Lyapunov]].
 
È semplice visualizzare questo metodo di analisi pensando ad un sistema fisico (ad esempio, una massa oscillante collegata a una molla) e considerando l'energia di questo sistema. Se il sistema perde energia nel tempo e l'energia non è mai rimpiazzata allora alla fine il sistema deve fermarsi in un determinato stato finale. Questo stato finale è definito [[attrattore]]. In generale, trovare una funzione che rappresenti esattamente l'energia di un sistema fisico può essere difficile, e per modelli matematici astratti, sistemi economici o biologici, il concetto di energia potrebbe non essere applicabile.