Teoria da Estabilidade de EDOs

A teoria da estabilidade estuda se as soluções de uma equação diferencial que começam perto de um equilíbrio permanecem perto dele ou retornam a ele ao longo do tempo.

Definition

Um equilíbrio é estável no sentido de Lyapunov se as soluções que começam suficientemente próximas permanecem arbitrariamente próximas para todo o tempo posterior, e assintoticamente estável se, adicionalmente, elas convergem para o equilíbrio; instabilidade significa que pelo menos algumas soluções próximas se afastam.

Scope

Este tópico abrange as definições de estabilidade de Lyapunov, estabilidade assintótica e instabilidade, linearização e o teorema de Hartman-Grobman, o método direto das funções de Lyapunov, o princípio de invariância de LaSalle e a classificação dos equilíbrios de sistemas planares como nós, selas, focos e centros.

Core questions

• Pequenas perturbações de um equilíbrio irão crescer, persistir ou decair?
• Quando a linearização prevê corretamente a estabilidade de um equilíbrio não linear?
• Como a estabilidade pode ser estabelecida sem resolver a equação explicitamente?
• Como os equilíbrios planares são classificados por seus retratos de fase locais?

Key theories

Método direto de Lyapunov

Se uma função definida positiva diminui ao longo das trajetórias, o equilíbrio é estável, e a diminuição estrita de tal função força a estabilidade assintótica, tudo sem resolver a equação diferencial.

Linearização e o teorema de Hartman-Grobman

Perto de um equilíbrio hiperbólico, o fluxo não linear é topologicamente conjugado à sua linearização, de modo que os autovalores do Jacobiano determinam a estabilidade local.

Princípio de invariância de LaSalle

Quando uma função de Lyapunov é apenas não crescente, as trajetórias convergem para o maior conjunto invariante dentro da região onde sua derivada se anula, estendendo as conclusões de estabilidade assintótica.

Clinical relevance

A análise de estabilidade é a base da engenharia de controle, onde certifica que um sistema projetado retorna ao seu ponto de operação após perturbações, e explica a persistência de equilíbrios em modelos ecológicos, fisiológicos e econômicos.

History

A dissertação de Lyapunov de 1892 fundou a teoria geral da estabilidade do movimento e introduziu tanto a linearização quanto o método direto baseado em funções. A análise qualitativa de Poincaré de sistemas planares forneceu a imagem geométrica, e meados do século XX adicionou o teorema de Hartman-Grobman e o princípio de invariância de LaSalle.

Key figures

• Aleksandr Lyapunov
• Henri Poincare
• Philip Hartman
• Joseph LaSalle

Seminal works

• perko2001
• khalil2002

Frequently asked questions

Qual é a diferença entre estabilidade de Lyapunov e estabilidade assintótica?

A estabilidade de Lyapunov significa que soluções próximas permanecem próximas por todo o tempo, mas não precisam se aproximar do equilíbrio. A estabilidade assintótica adiciona a exigência de que soluções próximas realmente convergem para o equilíbrio à medida que o tempo aumenta.

Quando a linearização falha em decidir a estabilidade?

A linearização é conclusiva apenas em equilíbrios hiperbólicos, onde o Jacobiano não possui autovalores no eixo imaginário. No caso não hiperbólico limítrofe, como um centro puro, os termos não lineares podem determinar a estabilidade, e uma função de Lyapunov ou análise de variedade central é necessária.