O que é uma solução de equilíbrio em uma equação diferencial? Explique também o que significa dizer que uma solução é um atrator.
Passo 1
O que o enunciado pede:
- Explicar o que é uma solução de equilíbrio (ou ponto de equilíbrio) em uma equação diferencial.
- Explicar o que significa dizer que uma solução é um atrator.
Informações que já temos (pedido do aluno): quer explicação didática, passo a passo, sem pular etapas.
Passo 2
Primeiro, lembrar o que é uma equação diferencial e sua solução (rapidinho e claro).
- Uma equação diferencial ordinária (EDO) em forma geral pode aparecer como
, onde: -
é a derivada de em relação ao tempo . -
pode ser um número (caso unidimensional) ou um vetor (caso multidimensional). -
é uma função que diz como muda no tempo.
-
- Uma solução é uma função
que, quando substituída na equação, satisfaz para os tempos considerados. Exemplos simples ajudam a fixar: - Se
, então (com constante) é uma solução. - Se
, então é solução.
- Se
Passo 3
O que é uma solução de equilíbrio (definição e como achar).
- Definição informal: uma solução de equilíbrio (ou ponto de equilíbrio) é uma solução constante, isto é, uma solução
que não muda com o tempo. - Definição em fórmulas:
- Para uma EDO autônoma
, um ponto é um equilíbrio se
- Então
(a função constante) satisfaz a EDO porque .
- Para uma EDO autônoma
- Como encontrar equilibria na prática: resolver a equação algébrica
. - Exemplo 1 (1D):
. Resolva ⇒ equilibria em e . - Exemplo 2 (linear):
. O único equilíbrio é (se não depende de tempo).
- Exemplo 1 (1D):
Passo 4
Intuição e representação gráfica — linha de fase (caso 1D).
- Para dimensão 1, desenhar o eixo
e marcar pontos onde . Entre esses pontos, o sinal de dita a direção das setas (se , cresce; se , decresce). - Isso mostra se as trajetórias se aproximam ou se afastam do equilíbrio: se as setas apontam para o ponto, ele é “atraente”; se apontam para fora, é “repulsivo”.
- Aplicando ao exemplo
: - Para
: ⇒ seta para a esquerda. - Entre
: ⇒ seta para a direita. - Para
: ⇒ seta para a esquerda. - Resultado:
é repulsor (setas saem dele), é atrator (setas apontam para ele).
- Para
Passo 5
Tipos de estabilidade — definição precisa (mas em linguagem simples).
- Estabilidade no sentido de Lyapunov (ideia): um equilíbrio
é estável se trajetórias que começam perto de ficam perto de para todo . - Em palavras: pequenos erros na condição inicial não explodem com o tempo.
- Estabilidade assintótica (ou assintoticamente estável): além de ser estável, as trajetórias que começam perto de
tendem a quando . - Em fórmulas: para soluções
com suficientemente próximo de , vale .
- Em fórmulas: para soluções
- Instável: existe alguma perturbação pequena que faz a solução se afastar do equilíbrio.
Passo 6
Como testar estabilidade na prática (caso unidimensional e linearização).
- Para
com suave, lineariza-se em torno de : - Escreva
, então . - Para
pequeno, aproximamos por série de Taylor:
- Assim o comportamento local é semelhante ao de
com .
- Escreva
- Resultado prático (caso 1D):
- Se
⇒ é assintoticamente estável (atrai soluções próximas). - Se
⇒ é instável. - Se
⇒ análise de ordem superior é necessária (caso especial).
- Se
- Aplicando ao exemplo
: - Em
: ⇒ ⇒ instável. - Em
: ⇒ assintoticamente estável (atrai vizinhança).
- Em
Passo 7
Casos multidimensionais e definição de atrator mais geral.
- Para sistemas
em , um equilíbrio satisfaz . - Linearização: colar
, obter , onde é a matriz jacobiana. - Se todos os autovalores de
têm parte real negativa ⇒ equilíbrio é assintoticamente estável. - Se algum autovalor tem parte real positiva ⇒ equilíbrio é instável.
- Se todos os autovalores de
- Agora, o que é um atrator no sentido mais amplo:
- Um conjunto
(pode ser um ponto, um ciclo fechado, ou algo mais complicado) é um atrator se: -
é invariante: se uma trajetória começa em , ela permanece em . - Existe uma vizinhança
(chamada de bairro ou domínio de atração) tal que qualquer trajetória que comece em tende a quando . - (Opcional em algumas definições)
é minimal com essas propriedades (não contém subconjunto menor com as mesmas propriedades).
-
- O equilíbrio assintoticamente estável é um exemplo simples de atrator (o conjunto
atrai uma vizinhança). - Outros exemplos de atratores:
- Ciclo-limite (limit cycle): uma órbita periódica que atrai trajetórias próximas (ex.: circuito oscilador que, independente da pequena perturbação, retorna ao mesmo ciclo).
- Atratores estranhos (caóticos): conjuntos complicados que atraem trajetórias e exibem comportamento sensível às condições iniciais (ex.: attractor de Lorenz).
- Um conjunto
- Definição do domínio (ou bacia) de atração:
- A bacia de atração de um atrator
é o conjunto de pontos iniciais cujas trajetórias convergem para . - É importante: um atrator pode atrair somente uma vizinhança pequena ou quase todo o espaço, depende do sistema.
- A bacia de atração de um atrator
Passo 8
Exemplos concretos para fixar (passo a passo, com contas simples).
- Exemplo linear 1D já visto:
. - Equilíbrio:
(pois ). - Solução geral:
. - Se
⇒ quando ⇒ é atrator (assintoticamente estável). - Se
⇒ explode ⇒ é instável.
- Equilíbrio:
- Exemplo limite periódico (em coordenadas polares, demonstração simples):
- Considere o sistema em
:
- Aqui
e são equilibria da equação radial. A solução para com condição satisfaz (igual ao exemplo logístico), portanto se . - Isso significa que todas as trajetórias com
tendem a uma órbita circular de raio — um ciclo-limite. Esse ciclo-limite é um atrator (todas as órbitas próximas convergem para ele).
- Considere o sistema em
- Esses exemplos mostram que “atrator” não precisa ser só um ponto fixo; pode ser qualquer conjunto invariante que puxe trajetórias próximas.
Passo 9
Observações práticas para a prova (o que fazer, passo a passo, sem perder tempo).
- Se pedirem “encontre pontos de equilíbrio”: resolva
(ou em vetores). - Para testar estabilidade rápido:
- Em 1D: calcule
. Sinal negativo ⇒ estável; positivo ⇒ instável. - Em nD (matriz jacobiana): calcule autovalores de
. Todas as partes reais negativas ⇒ assintoticamente estável.
- Em 1D: calcule
- Para identificar um atrator: verifique invariância e que trajetórias na vizinhança convergem para o conjunto. Se for um ponto e é assintoticamente estável, já é um atrator.
Passo 10
Recapitulando em linguagem simples (motivação e encorajamento).
- Equilíbrio = solução constante
tal que . - Atrator = conjunto (ponto, ciclo, conjunto mais complicado) que puxa trajetórias próximas para si quando
; o equilíbrio assintoticamente estável é o caso mais simples de atrator. - Você já consegue: ao ver uma EDO, primeiro ache
, depois linearize e verifique sinais/autovalores. Isso resolve a maioria das perguntas de prova. Força — dá pra fazer!
Resposta
Uma solução de equilíbrio é uma solução constante
tal que
.
Dizer que uma solução (ou conjunto invariante) é um atrator significa que existe uma vizinhança de pontos iniciais cujas trajetórias, ao evoluírem no tempo, convergem para esse conjunto quando (no caso de um ponto, isso equivale a ser assintoticamente estável).
Dizer que uma solução (ou conjunto invariante) é um atrator significa que existe uma vizinhança de pontos iniciais cujas trajetórias, ao evoluírem no tempo, convergem para esse conjunto quando