Métodos de Lyapunov: mudanças entre as edições

De Física Computacional
Ir para navegação Ir para pesquisar
Sem resumo de edição
Sem resumo de edição
 
(Uma revisão intermediária pelo mesmo usuário não está sendo mostrada)
Linha 1: Linha 1:
{{Ecologia| [[Linearização de sistemas de equações não lineares]] |[[Análise de estabilidade de equações diferenciais lineares atrasadas | Equações diferenciais com atrasos]]}}
{{Ecologia| [[Linearização de sistemas de equações não lineares]] |[[Introdução à equações diferenciais com atraso]]}}


Os critérios de Lyapunov para analisar a estabilidade em sistemas não lineares são:
Os critérios de Lyapunov para analisar a estabilidade em sistemas não lineares são:
Linha 47: Linha 47:


Temos os seguintes autovalores <math>\left\{ -0.37,5.37\right\} </math> com os seguintes autovetores correspondentes <math>\left\{ \left(1,-0.69\right),\left(1,2.19\right)\right\} </math>. Então significa que na direção <math>\left(1,-0.69\right)</math> o sistema evolui de forma a se aproximar da origem (autovalor negativo) e na direção <math>\left(1,2.19\right)</math> se afasta da da origem (autovalor positivo).
Temos os seguintes autovalores <math>\left\{ -0.37,5.37\right\} </math> com os seguintes autovetores correspondentes <math>\left\{ \left(1,-0.69\right),\left(1,2.19\right)\right\} </math>. Então significa que na direção <math>\left(1,-0.69\right)</math> o sistema evolui de forma a se aproximar da origem (autovalor negativo) e na direção <math>\left(1,2.19\right)</math> se afasta da da origem (autovalor positivo).
Ou ainda em uma explicação mais geral, uma matriz <math>A</math> qualquer que tenha os autovalores <math>\lambda_{i}</math> associado aos autovetores <math>\left|\lambda_{i}\right\rangle</math>:
<math display="block">A=\sum_{i}\lambda_{i}\left|\lambda_{i}\right\rangle \left\langle \lambda_{i}\right|</math>
Então escrevendo nosso sistema linear de equações diferenciais como:
<math display="block">\left|\dot{x}\right\rangle =A\left|x\right\rangle </math>
Ou ainda:
<math display ="block"> \left|\dot{x}\right\rangle =\sum_{i}\lambda_{i}\left|\lambda_{i}\right\rangle \left\langle \lambda_{i}|x\right\rangle </math>
Podemos pensar então que o termo <math>\left\langle \lambda_{i}|x\right\rangle</math>  nos dá uma medida de ortogonalidade entre nosso ponto atual <math> \left|x\right\rangle  </math> e o autovetor <math>\left|\lambda_{i}\right\rangle</math> , o que implica em 'quanto' nosso sistema vai se mover na direção apontada pelo autovalor. Como um extremo, podemos ver que se forem perpendiculares entre si, então <math>\left\langle \lambda_{i}|x\right\rangle =0 </math> logo o termo inteiro do somatório é zerado. Uma vez que <math>\left\langle \lambda_{i}|x\right\rangle \neq0</math>, então resta o vetor <math>\left|\lambda_{i}\right\rangle</math>, que vai dar efetivamente a direção no qual o ponto vai se mover. E ainda por fim, temos <math>\lambda_{i}</math> que vai regular o sentido no qual o sistema vai se 'mover'. Podemos perceber aqui, para valores reais, a necessidade de que todos os autovalores sejam negativos para termos um sistema estável, assim como o motivo de que os autovalores reais positivos configuram um sistema instável.
Obs. Esta é uma notação emprestada da mecânica quântica, a notação de dirac. Onde <math>\left\langle \lambda_{i}\right|</math> é o transposto conjugado de <math>\left|\lambda_{i}\right\rangle</math>  e <math>\left\langle \lambda_{i}|\lambda_{j}\right\rangle</math>  denota o produto interno entre os vetores <math>\left|\lambda_{i}\right\rangle</math>  e <math>\left|\lambda_{j}\right\rangle</math>.
[[Ficheiro:Wolfafa.gif|miniaturadaimagem|Diagrama de fase gerado no [https://www.wolframalpha.com/input/?i=StreamPlot%5B+%7Bx%2B2y%2C3x%2B4y%7D+%2C%7Bx%2C-1%2C1%7D%2C%7By%2C-0.69%2C2.19%7D%5D WolframAlpha] para o sistema formado por <math>\dot{x}=x+2y</math> e <math>\dot{y}=3+4y</math>.|alt=]]
[[Ficheiro:Wolfafa.gif|miniaturadaimagem|Diagrama de fase gerado no [https://www.wolframalpha.com/input/?i=StreamPlot%5B+%7Bx%2B2y%2C3x%2B4y%7D+%2C%7Bx%2C-1%2C1%7D%2C%7By%2C-0.69%2C2.19%7D%5D WolframAlpha] para o sistema formado por <math>\dot{x}=x+2y</math> e <math>\dot{y}=3+4y</math>.|alt=]]


Linha 190: Linha 207:
<references />
<references />


{{Ecologia| [[Linearização de sistemas de equações não lineares]] |[[Análise de estabilidade de equações diferenciais lineares atrasadas | Equações diferenciais com atrasos]]}}
{{Ecologia| [[Linearização de sistemas de equações não lineares]] |[[Introdução à equações diferenciais com atraso]]}}

Edição atual tal como às 23h39min de 9 de novembro de 2022

Anterior: Linearização de sistemas de equações não lineares | Índice: Ecologia | Próximo: Introdução à equações diferenciais com atraso

Os critérios de Lyapunov para analisar a estabilidade em sistemas não lineares são:

  • Primeiro critério de Lyapunov (método reduzido, método indireto ou teorema da linearização): a análise de estabilidade de um ponto de equilíbrio é feito estudando a estabilidade do sistema linearizado correspondente na vizinhança deste ponto de equilíbrio.
  • Segundo critério de Lyapunov (método direto): a análise de estabilidade de um ponto de equilíbrio é feito usando funções escalares apropriadas definidas no espaço de estados.
Primeiro critério

Considerando uma função contínua:

Considerando a vizinhança do ponto de equilíbrio na origem (qualquer ponto pode ser transladado para a origem), temos o seguinte correspondente sistema linearizado:

  • Se todos os autovalores da matriz tem parte real negativa o ponto de equilíbrio é assintoticamente estável;
  • Se ao menos um dos auto valores da matriz da matriz tem parte real positiva então o ponto instável;
  • Se um dos autovalores está localizado no eixo imaginário, isto é, tem parte real nula, mas todos os outros autovalores são negativos (não há autovalor positivo e nem todos são negativos), não é possível concluir nada sobre a estabilidade do ponto.
    • Para 2 dimensões se temos uma estabilidade não assintótica e se temos um caso degenerado.

Olhando um exemplo simples para entendermos melhor, vamos considerar um sistema autônomo em duas dimensões. Especificamente:

Considerando que os autovalores sejam números reais, a magnitude não é a característica mais importante dos autovalores, mas sim o sinal. Se ambos os autovalores tem sinal positivo, então o sistema vai se afastar da origem. Por exemplo, se o sistema está em um ponto do espaço de estados vai sofrer uma variação positiva na coordenada x, e negativa na coordenada y. Agora se ambos os autovalores são negativos temos um deslocamento no sentido contrário, ou seja, o sistema vai se aproximar da origem. E por fim, se o sistema tem um autovalor com cada sinal, então significa que em um eixo ele se aproxima e no outro se afasta (ponto de sela).

Olhando para os autovetores da nossa matriz, eles apontam exatamente na direção dos eixos (), que foram as direções em que discutimos o comportamento do sistema. De maneira geral, tivéssemos uma matriz qualquer, analisaríamos então o comportamento do sistema na direção dos autovetores. Por exemplo para o sistema:

Temos os seguintes autovalores com os seguintes autovetores correspondentes . Então significa que na direção o sistema evolui de forma a se aproximar da origem (autovalor negativo) e na direção se afasta da da origem (autovalor positivo).


Ou ainda em uma explicação mais geral, uma matriz qualquer que tenha os autovalores associado aos autovetores :

Então escrevendo nosso sistema linear de equações diferenciais como:

Ou ainda:

Podemos pensar então que o termo nos dá uma medida de ortogonalidade entre nosso ponto atual e o autovetor , o que implica em 'quanto' nosso sistema vai se mover na direção apontada pelo autovalor. Como um extremo, podemos ver que se forem perpendiculares entre si, então logo o termo inteiro do somatório é zerado. Uma vez que , então resta o vetor , que vai dar efetivamente a direção no qual o ponto vai se mover. E ainda por fim, temos que vai regular o sentido no qual o sistema vai se 'mover'. Podemos perceber aqui, para valores reais, a necessidade de que todos os autovalores sejam negativos para termos um sistema estável, assim como o motivo de que os autovalores reais positivos configuram um sistema instável.

Obs. Esta é uma notação emprestada da mecânica quântica, a notação de dirac. Onde é o transposto conjugado de e denota o produto interno entre os vetores e .

Diagrama de fase gerado no WolframAlpha para o sistema formado por e .
Segundo critério

O segundo critério de Lyapunov geralmente é utilizando quando não podemos utilizar o primeiro (com autovalores negativos). Precisamos de algumas definições adicionais para estudá-lo, sendo um subconjunto aberto de contendo a origem (qualquer ponto de equilíbrio pode ser transladado para a origem), então uma função

É [semi]positiva definida em se:

  • , sendo

E [semi]definida negativa se:

  • , sendo .

Vale a pena um olhar especial para funções quadráticas.

  • 1 variável:
  • 2 variáveis:
  • N-variáveis:

De forma que podemos representá-la matricialmente como:

Onde:

Além disso, qualquer forma quadrática pode ser representada por uma matriz simétrica[1], substituindo para quando . Ou de maneira genérica:

Então só precisamos nos preocupar com para classificar a função quadrática. Se os menores principais líderes são maiores que zero, temos um positivo definido. Isto é:

Lembrando que denota o determinante da matriz . Para um positivo semidefinido, precisamos levar em conta todos os menores. Isto é, quando a matriz que obtemos não corresponde necessariamente ao quadrante superior esquerdo da matriz. Neste caso se todos os menores principais são maiores ou iguais a () temos uma função semidefinida positiva.

Já para o negativo definido, temos a seguinte condição para os menores principais líderes:

Ou seja uma alternância de sinal começando com negativo. Para o negativo semidefinido temos algo análogo porém com todas as matrizes menores, as ímpares são e as pares . Uma forma mais fácil de classificarmos a matriz é olhando para seus autovalores. Se todos os autovalores da matriz são:

  • : positivo definido
  • : negativo definido
  • : positivo semidefinido
  • : negativo semidefinido

Retornando ao sistema não linear:

Considerando um sistema autônomo:

Pelo segundo critério de Lyapunov, se na vizinhança de existe uma função positiva definida e:

  • , então o ponto é estável;
  • for negativo definido, o ponto é assintoticamente estável;
    • Ainda há um ’refinamento’ para determinar estabilidade assintótica quando Lyapunov garante apena estabilidade (critério de La Salle-Krasowski).
  • for positivo definido, o ponto é instável.
    • Se for um ponto de acumulação para um conjunto de pontos em que , o critério também pode ser usado se a função não for positiva definida em todo .

Aqui talvez vale a pena fazer uma breve discussão sobre o que é ser um ponto de acumulação e alguns conceitos relacionado.

  • Ponto de acumulação: Um ponto é um ponto de acumulação do conjunto se todas as suas vizinhanças abertas contém ao menos um ponto de distinto de .
  • Vizinhança aberta: a vizinhança aberta de um ponto é todo conjunto aberto que contém o ponto.
  • Conjunto aberto:
    • Uma bola aberta é , onde é a distância entre dois pontos. Então é uma bola aberta centrada em com raio .
    • Um conjunto aberto é uma união de bolas abertas. Ou seja um conjunto é um conjunto aberto se , em palavras, para todo que pertence a , existe um raio maior que em que temos uma bola aberta centrada em com raio que é um subconjunto de .
    • Conjunto aberto é uma generalização de intervalos abertos.
    • Como exemplo de conjunto aberto, podemos citar o interior de um disco com a fronteira delimitada por . Este conjunto de pontos que satisfazem é um conjunto aberto.

Para compreender melhor o critério, devemos lembrar que o segundo método de Lyapunov é uma generalização baseada em dois princípios físicos básicos:

  • Um sistema conservativo é estável somente se sua energia potencial tem um mínimo local no ponto de equilíbrio;
  • A energia total de um sistema conservativo é constante durante a evolução do sistema.


Então podemos voltar a física clássica e encarar como uma energia potencial, logo é a variação da energia potencial ao longo do tempo. Ou melhor, se considerarmos um sistema mecânico em que a energia é total dada pela soma da potencial e a cinética, então se tivermos uma energia cinética inicial nula, representa a energia inicial total do sistema.

Podemos pensar em um poço potencial em 2 dimensões, potencial em formato de uma "bacia" por exemplo, caso o sistema seja conservativo (não retiramos nem acrescentarmos energia ao sistema), se largarmos uma bolinha em um ponto qualquer, ela ficará oscilando oscilando em torno da origem, que é um ponto de equilíbrio estável. Se tivermos , podemos ver facilmente que e se . Nesse caso a força que atuando sobre a bolinha é . Então analisando por exemplo sobre o eixo x (), se estiver no sentido positivo (negativo) de x, vai sentir uma força em direção a origem, isto é

negativa (positiva), uma força restaurativa, neste caso também temos . Para uma dimensão temos , esta é uma equação da onda e tem como solução uma soma de senos e cossenos, ou seja periódica.

Porém se o sistema estiver perdendo energia, então o estado do sistema vai se aproximar do ponto de equilíbrio uma vez que ele seja um mínimo local. Nesta situação temos um ponto de equilíbrio assintoticamente estável. No caso da bolinha poderia ser representado por exemplo pelo atrito que retira energia do sistema, porém ele retira energia cinética. Vamos usar uma analogia diferente: um sistema massa mola em uma dimensão. Neste caso temos e , onde é a constante da mola, onde quanto maior a constante, maior a força restauradora e maior a energia potencial. Se consideramos que a mola "cansa" com o tempo, e utilizarmos por exemplo , ficamos com e . Podemos ver que ainda temos as condições satisfeitas para a função de Lyapunov ( e se ), porém agora temos . Isso acontece pois o sistema está perdendo energia na forma de uma diminuição na energia potencial do sistema como um todo. Observando quando a bolinha se desloca entre um extremo e o ponto de origem, temos que a energia potencial está parte sendo convertida em energia cinética, mas parte está simplesmente sendo retirada do sistema. A cada oscilação o ponto extremo ponto possui uma energia cada vez menor e consequentemente uma força restaurativa também cada vez menor. Até que a massa atinge o equilíbrio. O sistema físico em questão, , temo como solução funções de Bessel. Estas funções tem comportamento similares a funções senos (ou cossenos) amortecidas[2].

Antes de avançar para a discussão da instabilidade, vamos lembrar que quando queremos demonstrar que um ponto de equilíbrio é estável, precisamos analisar toda a vizinhança do ponto de equilíbrio, pois precisamos garantir que em qualquer estado inicial próximo ao ponto de equilíbrio, o sistema não se afaste do mesmo. Porém para o critério de instabilidade, não temos a mesma exigência, uma vez que se ele se afastar em um eixo, é o suficiente para ser classificado como um ponto instável. E agora também temos que , isto é, o sistema está recebendo energia, o que permite que se afaste do ponto de equilíbrio. Fisicamente isso pode ser, por exemplo, um sistema que aumente a energia potencial de acordo com a temperatura, e colocamos o sistema sobre o fogo.

Para ilustrar esse último exemplo, vamos utilizar um potencial , podemos notar que se não fosse explicitamente dependente do tempo, teríamos , porém o potencial não é positivo definido na vizinhança da origem, dessa forma, não podemos garantir a estabilidade. Temos então novamente satisfeito porém agora temos apenas um subconjunto de pontos em que , especificamente quando . E a variação de energia neste ponto é , então temos um ponto de instabilidade. Podemos observar ainda que é um ponto de sela para a função , para se reduz a , então se reduzíssemos o problema a uma dimensão sobre o eixo x, o potencial poderia ser classificado como uma função positiva definida. Resolvendo o sistema físico sobre em uma dimensão, temos , a solução deste sistema é escrita em termos de funções de Airy, e tende a infinito quando a variável independente tende a infinito.

Sendo uma função de , então temos:

E como e , reescrevemos:

Como exemplo, se temos o seguinte sistema:

Um ponto de equilíbrio é . Considerando a seguinte função de Lyapunov:

Temos . além disso temos um conjunto de pontos em que quando e é um ponto de acumulação de . Então calculando a derivada da função de Lyapunov:

Como estamos avaliando a região próxima ao ponto do equilíbrio, que neste caso está localizado na origem, podemos assumir que há uma região em que e logo é positivo definido em . Sendo assim, temos um ponto de instabilidade.

Principais materiais utilizados
Citações
  1. Quadratic Forms (Tornike Kadeishvili, Universidade Estatal de Tbilisi)
  2. Bessel Function and Damped Simple Harmonic Motion (Masoud Asadi-Zeydabadi, Revista de Física e Matemática Aplicada)


Anterior: Linearização de sistemas de equações não lineares | Índice: Ecologia | Próximo: Introdução à equações diferenciais com atraso