Stabilità interna

(Reindirizzamento da Stabilità secondo Lyapunov)

In matematica, la stabilità interna o stabilità di Ljapunov di un sistema dinamico è un modo per caratterizzare la stabilità delle traiettorie compiute dal sistema nello spazio delle fasi in seguito ad una sua perturbazione in prossimità di un punto di equilibrio. Un punto di equilibrio è detto stabile (secondo Ljapunov) se ogni orbita del sistema che parte sufficientemente vicina al punto di equilibrio rimane nelle vicinanze del punto di equilibrio, ed è detto asintoticamente stabile se l'orbita converge al punto al crescere infinito del tempo.

Una palla nel fondo di una valle è in una posizione di equilibrio stabile, mentre una in cima ad una collina è in posizione di equilibrio instabile.

Descrizione

modifica

L'analisi della stabilità interna di un sistema dinamico è di grande importanza nello studio dei fenomeni naturali, in cui ad una condizione di equilibrio stabile corrisponde un minimo dell'energia posseduta dal sistema, come conseguenza del fatto che esso tende spontaneamente a minimizzarla. Il teorema di Lagrange-Dirichlet, che considera sistemi olonomi soggetti a forze conservative e con vincoli perfetti (bilaterali) indipendenti dal tempo, stabilisce in particolare che l'energia potenziale ha un minimo relativo proprio quando il sistema assume una configurazione di equilibrio meccanico stabile (secondo Ljapunov).

Punti di equilibrio

modifica
 
Stabilità in un sistema dinamico in prossimità del punto di equilibrio  : le soluzioni che partono dentro   rimangono in   per tutta l'evoluzione del sistema.
 
Instabilità in un sistema dinamico.

Si consideri un sistema dinamico:

 

dove   è una funzione lipschitziana in   e continua in  .

Sia   un punto di equilibrio, cioè  . Allora:[1]

  • Il punto di equilibrio   è detto stabile (secondo Ljapunov) se per ogni intorno   del punto   esiste un intorno   tale che le orbite che partono da punti interni a   rimangono dentro   per tutti i tempi  .
Esplicitamente, per ogni   esiste   tale che, se  , allora per ogni   si ha  .
  • Il punto di equilibrio   è detto attrattivo se esiste un intorno   di   tale che per ogni orbita   che parta da un punto interno ad   si ha:
 
Il più grande intorno   per cui ciò avviene è chiamato bacino di attrazione del punto  .
  • Il punto di equilibrio   è detto asintoticamente stabile se è stabile e attrattivo. Ovvero, esiste   tale che se   allora  .
  • Un punto di equilibrio   è detto esponenzialmente stabile se è asintoticamente stabile ed esistono   tali per cui, se  , si ha:
 
  • Un punto di equilibrio si dice instabile se non è stabile, ovvero se esiste un intorno   di   tale che, comunque si scelga un intorno   di   contenuto in  , si può sempre trovare una posizione iniziale   la cui orbita si allontana da   abbastanza da uscire da  .

Da un punto di vista geometrico, l'insieme (invariante) dei punti che si avvicinano a   (la cui orbita converge a   per  ) è detto varietà stabile, mentre per "varietà instabile" ci si riferisce all'insieme di quelli che si allontanano.

Attrattività e stabilità

modifica
 
Sistema dinamico con punto di equilibrio attrattivo e instabile

Un punto di equilibrio stabile in generale non è attrattivo, e un punto di equilibrio attrattivo non è necessariamente stabile. La proprietà di stabilità è una proprietà locale, potendo essere osservata considerando intorni arbitrariamente piccoli del punto di equilibrio, mentre la proprietà di attrattività non lo è: anche se il bacino di attrazione è molto piccolo, o contiene intorni arbitrariamente piccoli, per verificare se un punto vi appartiene occorre seguire tutta la sua traiettoria che potrebbe allontanarsi arbitrariamente da  .

Un esempio di sistema dinamico con un punto di equilibrio che è attrattivo ma non stabile è quello definito sulla circonferenza da:

 

Qui   è un punto di equilibrio e le soluzioni che partono da qualsiasi altro punto della circonferenza vi convergono "dal basso" girando in senso orario. Il punto è attrattivo ed il suo bacino di attrazione è l'intera circonferenza, ma il punto ha un equilibrio instabile dal momento che tutte le soluzioni che partono da punti "sopra" di esso (arbitrariamente vicini) si allontanano uscendo da qualsiasi intorno prefissato.

Criteri di Ljapunov

modifica

I criteri di Ljapunov forniscono condizioni sufficienti per la stabilità in prossimità di un punto di equilibrio, e sono estesi da un vasto numero di risultati. Il primo criterio riconduce l'analisi del sistema a quella della sua approssimazione lineare in un intorno del punto di equilibrio, il secondo utilizza una particolare funzione scalare, la funzione di Ljapunov, per "confinare" le soluzioni in una regione dello spazio delle fasi. Nello studio dei sistemi meccanici, a tale funzione si fa solitamente corrispondere l'energia potenziale del sistema.

Primo criterio di Ljapunov

modifica

Dato il sistema dinamico:

 

con   un punto di equilibrio, ovvero:

 

la linearizzazione del sistema in un intorno di   si ottiene considerando la traiettoria perturbata:

 

e inserendola nell'equazione:

 

dove trascurando i termini di ordine superiore al primo si ha:

 

Il criterio di Ljapunov stabilisce che:[2]

  • se il punto di equilibrio   del sistema linearizzato   è asintoticamente stabile allora   è un punto di equilibrio asintoticamente stabile del sistema non linearizzato
  • se   è instabile allora   è un punto di equilibrio instabile del sistema non linearizzato
  • se   è stabile non si può dire nulla del sistema non linearizzato.

Secondo criterio di Ljapunov

modifica
  Lo stesso argomento in dettaglio: Funzione di Ljapunov.

Sia   una funzione continua tale che   per ogni  , con   un intorno di  . Si dice che   è definita positiva in   se esiste una funzione continua   definita positiva (cioè   per ogni  ) tale che   e:

 

La definizione per una funzione delle variabili   definita negativa si ottiene analogamente, rimpiazzando   con  .

Si dice che   è semidefinita positiva in   se esiste una funzione   semidefinita positiva (cioè   per ogni  ) tale che   e:

 

Invertendo il verso della disuguaglianza si definisce analogamente una funzione semidefinita negativa.

Dato un intorno   del punto di equilibrio   per il sistema:

 

se esiste una funzione   di classe   definita positiva e con derivata orbitale:

 

semidefinita negativa, allora   è stabile nel senso di Ljapunov.

Il punto di equilibrio   è asintoticamente stabile nel senso di Ljapunov se esiste inoltre una funzione   definita positiva tale per cui:[3]

 

La stabilità così definita è una condizione sufficiente ma non necessaria, cioè un punto di equilibrio può essere stabile anche se non esistono funzioni di Ljapunov definite in un suo intorno.

Sistemi lineari

modifica
  Lo stesso argomento in dettaglio: Sistema dinamico lineare.

Nelle scienze applicate, specialmente in elettronica e nella teoria del controllo, è comune studiare la stabilità dei sistemi dinamici lineari. Spesso vengono studiati nel dominio di Laplace  , ovvero si analizza la loro risposta in frequenza, che per sistemi stazionari è data dalla funzione di trasferimento. Un sistema lineare di   stati  ,   input   e   uscite   viene descritto da un'equazione del tipo:

 
 

ed è detto stabile se tutti gli autovalori di   hanno parte reale negativa.[4]

In particolare, è possibile mostrare che se l'ingresso è un'oscillazione del tipo  , con   un vettore arbitrario, ed il sistema è stabile, allora per un tempo che tende ad infinito l'uscita è un'oscillazione della stessa frequenza della perturbazione in ingresso:

 

dove il guadagno  , con   la matrice identità, produce uno sfasamento ed un'amplificazione dell'input (senza variarne la frequenza).

Esempio: l'oscillatore armonico

modifica

L'oscillatore armonico è un classico esempio utilizzato per chiarire i concetti di stabilità. Il sistema è costituito da una molla che da un lato è vincolata ad un piano e dall'altro è collegata ad una massa. Se si suppone che nel sistema non ci sia attrito, dopo aver compresso (o allungato) la molla, la massa inizierà ad oscillare per un tempo indefinito, senza mai fermarsi. Se si provano ad immaginare le traiettorie del sistema, queste oscilleranno intorno al punto di equilibrio: si tratta di un sistema stabile, e le traiettorie non si allontanano mai eccessivamente dal punto di equilibrio. Se si suppone che nel sistema sia presente attrito, le oscillazioni saranno smorzate e dopo un po' di tempo il sistema si arresterà nella posizione di riposo (di equilibrio). Dunque le traiettorie inizialmente oscilleranno in un intorno del punto di equilibrio, per poi arrestarsi nella posizione di equilibrio. Si tratta di un sistema asintoticamente stabile, le traiettorie non si allontanano mai eccessivamente e dopo un certo tempo convergono al punto di equilibrio, arrestandosi in esso.

Bibliografia

modifica
  • (EN) A.M. Lyapunov, Stability of motion , Acad. Press (1966)
  • (DE) O. Perron, Ueber Stabilität und asymptotisches Verhalten der Integrale von Differentialgleichungssystemen Math. Z. , 29 (1928) pp. 129–160
  • (EN) R.E. Bellman, Stability theory of differential equations , Dover, reprint (1969)
  • (EN) Jean-Jacques E. Slotine and Weiping Li, Applied Nonlinear Control, Prentice Hall, NJ, 1991
  • (EN) Parks P.C: "A. M. Lyapunov's stability theory - 100 years on", IMA Journal of Mathematical Control & Information 1992 9 275-303
  • (EN) G. Teschl, Ordinary Differential Equations and Dynamical Systems, Providence, American Mathematical Society, 2012, ISBN 978-0-8218-8328-0.
  • (EN) S. Wiggins, Introduction to Applied Nonlinear Dynamical Systems and Chaos, 2ª ed., New York, Springer Verlag, 2003, ISBN 0-387-00177-8.

Voci correlate

modifica

Altri progetti

modifica

Collegamenti esterni

modifica
Controllo di autoritàLCCN (ENsh95003362 · GND (DE4167992-1 · BNF (FRcb14457946x (data) · J9U (ENHE987007544468205171