Enunciado
Cálculo - Boyce - Equações Diferenciais - Ed: 10º - Capítulo 9.6 - Ex. 11
11. Neste problema, vamos mostrar que a função de Liapunov construída no problema precedente também é uma função de Liapunov para o sistema localmente linear . Precisamos mostrar que existe alguma região contendo a origem na qual é negativa definida.
(a) Mostre que
(b) Lembre que e quando . Isso significa que, dado qualquer , existe um círculo em torno da origem tal que, se , então e |. Escolhendo como o máximo entre , mostre, usando coordenadas polares, que pode ser escolhido de modo que para.
Sugestão: Escolha suficientemente pequeno em função de .
Passo 1
No item da questão anterior, vimos que para o sistema :
Onde
Definimos , e de modo que:
Onde:
Aqui, estamos trabalhando com o sistema , onde:
Para encontrar , podemos usar a fórmula:
No nosso caso então...
Como o problema é exatamente o anterior (10b), mas com e incluídos, de fato é válida a relação:
Onde a parte em negrito é referente a conclusão da questão 10 !
Passo 2
Bem, seguindo a nossa dica, se escolhermos como um número muito pequenho em função de :
Onde, Então, como...
E
Vai então existir um para um escolhido, tal que...
As contribuições de e de se tornem basicamente nulas comparadas a .
Em outras palavras, bem para algum muito grande ou pra um muito pequeno, é válida a relação...
O que prova que .
Resposta
Ei, a resposta está no passo a passo :)