Derivata direzionale - criterio diretto di Lyapunov

DavideDaSerra
Ciao, ho un problemone, devo applicare il criterio 'diretto' di Lyapunov per la stabilità di un sistema non lineare tempo continuo.

Nello specifico il sistema è:

$ {(dot(x_1)=x_2),(dot(x_2)=alphax_2-x_1-x_2^3):} $

Devo linearizzare A nell'intorno del punto di equilibrio (0,0), qui semplicemente devo calcolare il gradiente e sostituire le coordinate del punto. Ottengo:

$ A=[ ( 0 , 1 ),( -1 , alpha ) ] $

Ora valuto la stabilità col criterio ridotto di Lyapunov
(calcolo il segno degli autovalori di A al variare di alfa), scoprio che per:
$ alpha>0 $ il sistema è instabile (perchè ha autovalori a parte reale positiva)
$ alpha<0$ il sistema è stabile (perchè ha autovalori a parte reale negativa)
se tuttavia $alpha=0$ il criterio ridotto non mi da risposta (autovalori sull'asse immaginario), e qui iniziano i miei problemi.

Per questo caso devo applicare il criterio 'diretto', ho la funzione $V(x)=x_1^2+x_2^2$ definita positiva in un intorno di (0,0)
ora con il criterio devo verificare che:
$dot(V) $sia definita negativa in un intorno del punto.

Il mio problema è che non so calcolare $dot(V) $ (dovrebbe essere la deivata direzionale del sistema)

La soluzione è $ 2x_1x_2+2x_2(-x_1-x_2^3) = -2x_2^4<=0 $

ma non ho idea di come sia stata calcolata (praticamente), mi servirebbe un metodo 'pratico' dato che ho l'esame l'11/2

Risposte
Rigel1
Usando l'equazione nell'ultimo passaggio, hai che
\[
\dot{V} = \nabla V \cdot \dot{x} = (2x_1, 2x_2) \cdot(\dot{x}_1, \dot{x}_2) =
(2x_1, 2x_2) \cdot ( x_2, -x_1 - x_2^3).
\]

DavideDaSerra
Grazie 1000 per la risposta,
Per chiarire, il prodotto è un prodotto riga per colonna, vero?
$ [ a \ \ b ] dot() [ ( c ),( d ) ] = ac+bd $



edit:
Mi rispondo da solo: sì

Grazie ancora

ri-edit (per completezza finisco l'esercizio):

poichè $ dot(V) $ è semi-definita negativa fin qui posso dire che il sistema è stabile (non asintoticamente) in un intorno di $ (0,0) $

Posso verificare la asintotica stabilità col criterio di La Salle-Krasowsky quindi.

poichè $ dot(V) = 0 hArr x_2=0 $
ovvero non esistono traiettorie perturbate stabili nell'intorno del punto di lavoro.

Pertanto il sistema, nell'intorno del punto di lavoro è ASINTOTICAMENTE STABILE

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.