Entendendo equações diferenciais de forma intuitiva (um campo de direções)

Uma equação algébrica pede um número. Ela apresenta uma igualdade como 2x + 3 = 11 e pergunta qual valor a torna verdadeira. Uma equação diferencial pede uma curva. Ela apresenta uma regra local de mudança e pergunta quais trajetórias completas podem segui-la.

Essa mudança de perspectiva é o que faz o assunto parecer estranho no começo. A incógnita é uma função, a resposta muitas vezes contém uma constante arbitrária e um ponto da curva não basta. A equação descreve como a curva deve se mover ao longo de todo um intervalo.

A imagem que torna legíveis as equações diferenciais explícitas de primeira ordem é um campo de pequenas inclinações. Para uma equação escrita como y' = F(x, y), cada ponto em que F está definida recebe um segmento curto que mostra para que lado uma curva deve se inclinar. Uma solução é uma trajetória que segue essas direções. Quando você enxerga esse campo, famílias de soluções, condições iniciais e crescimento exponencial deixam de parecer truques separados.

Uma equação diferencial é uma regra de mudança

Uma derivada diz com que rapidez uma grandeza está mudando. Uma equação diferencial inverte essa ideia. Ela fornece uma relação que envolve a derivada e pede que você recupere a grandeza.

Considere

$$y' = 2y$$

O apóstrofo indica a derivada de y em relação a x. A equação diz que a taxa de variação é sempre o dobro do valor atual. Quando y é 1, a inclinação precisa ser 2. Quando y é 3, precisa ser 6. Quando y é negativo, a inclinação também precisa ser negativa. A regra não informa diretamente a altura da curva em nenhum valor específico de x. Ela diz como a altura e a inclinação devem avançar juntas.

Esta é a inversão central:

• No cálculo, você conhece a função e calcula sua taxa de variação.
• Em uma equação diferencial, você conhece uma regra para a taxa de variação e reconstrói a função.

A equação y' = 2y é de primeira ordem porque sua derivada de maior ordem é a primeira derivada. Uma equação que envolve y'' é de segunda ordem. A palavra ordem diz quantas camadas de mudança a regra alcança, não o quanto a equação parece difícil.

Ela também é uma equação diferencial ordinária, ou EDO, porque y depende de uma variável independente. Se uma temperatura depende tanto da posição quanto do tempo, seu modelo usa derivadas parciais e se torna uma equação diferencial parcial, ou EDP. A ideia geral continua a mesma, mas este artigo se limita às EDOs: uma entrada, uma trajetória em evolução.

A solução é uma função, não um número

Para resolver y' = 2y, você precisa de uma função cuja derivada seja o dobro dela mesma. Funções exponenciais têm exatamente esse comportamento. Experimente

$$y = Ce^{2x}$$

em que C é uma constante qualquer. Derive a função:

$$y' = 2Ce^{2x}$$

Como a própria função y é $Ce^{2x}$, isso mostra que y' = 2y. A função proposta satisfaz a equação para todo x, então é uma solução.

Observe como funciona a verificação. Em uma equação algébrica, você substitui um número. Em uma equação diferencial, você deriva uma função e substitui o resultado. Uma solução correta precisa obedecer à regra em todo o intervalo considerado, não apenas passar por um ponto conveniente.

A constante C não representa trabalho inacabado. Ela faz parte da resposta. A equação descreve uma família de curvas:

• $C = 1$ dá $y = e^{2x}$.
• $C = 3$ dá $y = 3e^{2x}$.
• $C = -2$ dá $y = -2e^{2x}$.
• C = 0 dá a solução constante y = 0.

Cada membro segue a mesma regra de crescimento, mas começa em uma altura diferente. Uma lei de mudança não pode dizer onde a história começou. Essa informação inicial que falta é exatamente o que a constante armazena.

É também por isso que a integração introduz uma constante aditiva. A derivação apaga deslocamentos verticais constantes porque sua derivada é zero, então inverter o processo exige manter todos os deslocamentos possíveis. A álgebra feita depois pode mudar a aparência desse parâmetro. Neste exemplo, ao exponenciar, $e^{C}$ vira uma constante multiplicativa na frente de $e^{2x}$.

Campos de direções transformam a regra em uma paisagem

Você pode entender uma equação explícita de primeira ordem y' = F(x, y) antes de resolvê-la simbolicamente. Pegue uma grade de pontos onde F esteja definida. Em cada um deles, calcule a inclinação exigida e desenhe um segmento curto com essa inclinação. O resultado é chamado de campo de direções ou campo de inclinações.

Para y' = 2y, a inclinação depende apenas da altura:

• Ao longo de y = 0, todos os segmentos são horizontais.
• Ao longo de y = 1, todos os segmentos têm inclinação 2.
• Ao longo de y = -1, todos os segmentos têm inclinação -2.
• As linhas positivas mais altas se inclinam para cima com mais intensidade.
• As linhas negativas mais baixas se inclinam para baixo com mais intensidade.

O campo parece formado por faixas horizontais de inclinação igual. Uma curva solução pode começar em qualquer ponto, mas depois precisa seguir os segmentos locais. Soluções positivas se curvam para cima e crescem. Soluções negativas se afastam de zero para baixo. A solução nula permanece horizontal porque todas as setas sobre essa linha também são horizontais.

Essa imagem separa a equação de qualquer solução específica. A equação diferencial cria o campo inteiro. Cada solução é um fio que passa por ele.

Ela também permite prever o comportamento sem encontrar uma fórmula. Se os segmentos apontam para cima em uma região, as soluções crescem ali. Se eles são horizontais ao longo de y = c para todo x relevante, então y = c é uma solução de equilíbrio constante. Se os segmentos próximos apontam para essa linha, as soluções vizinhas são atraídas de volta para ela. Se apontam na direção oposta, pequenas perturbações crescem. Grande parte das equações diferenciais aplicadas envolve esse tipo de leitura qualitativa: entender o que as trajetórias podem fazer antes de obter suas fórmulas exatas.

Em y' = 2y, o lado direito varia suavemente com y, então as condições usuais de existência e unicidade garantem uma única solução passando por cada ponto. O campo de direções ilustra esse resultado, mas não o prova. Ter um ponto e uma inclinação em comum não basta para todas as equações: regras menos regulares podem permitir que soluções se encontrem e depois voltem a se separar.

Condições iniciais escolhem uma trajetória

Agora acrescente a condição y(0) = 3 à mesma equação. Essa é uma condição inicial: em x = 0, a curva passa pela altura 3. Comece com a família de soluções

$$y = Ce^{2x}$$

e substitua o ponto conhecido:

$$3 = Ce^{0} = C$$

Logo, a solução particular é

$$y = 3e^{2x}$$

A equação diferencial forneceu a forma da família. A condição inicial selecionou um membro. Na imagem do campo de direções, ela colocou seu dedo no ponto (0, 3), deixando apenas a trajetória que passa por esse ponto.

Em problemas regulares de valor inicial, o número de condições que você costuma precisar acompanha a ordem da equação. Uma lei de velocidade de primeira ordem y' = v(x, y), na qual a velocidade já está especificada, geralmente precisa de uma posição inicial. Uma lei de aceleração de segunda ordem normalmente precisa de uma posição inicial e de uma velocidade inicial.

Por exemplo, a equação normalizada de uma mola sem amortecimento é

$$y'' + y = 0$$

Ela diz que a aceleração aponta de volta para o equilíbrio. A forma física é m y'' + k y = 0. Escolher unidades com k/m = 1 produz a equação normalizada acima. Suas soluções combinam seno e cosseno. Saber apenas a posição inicial não diz se a mola foi solta do repouso ou se já estava em movimento. Acrescente a velocidade inicial, e o movimento fica determinado.

Separar as variáveis significa desfazer a ligação

A equação y' = 2y pode ser resolvida de forma sistemática, não apenas por adivinhação. Escreva a derivada como $\frac{dy}{dx}$:

$$\frac{dy}{dx} = 2y$$

Mova a parte com y para junto de dy e a parte com x para junto de dx:

$$\frac{dy}{y} = 2 dx$$

Agora integre os dois lados:

$$\ln|y| = 2x + C$$

Ao exponenciar, obtemos

$$y = Ae^{2x}$$

Neste ponto, A não pode ser zero, pois a divisão por y excluiu y = 0. Teste a função excluída na equação original: y = 0 funciona. Assim, a família completa pode ser escrita como y = $Ae^{2x}$ para qualquer constante real A, incluindo zero.

O método se chama separação de variáveis porque separa tudo o que envolve y de tudo o que envolve x antes da integração. Ele funciona para equações que podem ser reorganizadas na forma

$$\frac{dy}{dx} = f(x)g(y)$$

mas a álgebra traz uma armadilha. Dividir por g(y) pode descartar soluções nas quais g(y) = 0. No exemplo, dividir por y excluiu temporariamente o equilíbrio y = 0.

Nas equações suaves normalmente apresentadas com a separação, restaurar os equilíbrios excluídos completa a família. Equações menos regulares também podem ter soluções definidas por partes que permanecem em um equilíbrio por algum tempo antes de deixá-lo, então a separação não é uma prova universal de que a família está completa. Depois de dividir ou reorganizar, teste na equação original tanto a família obtida quanto cada valor excluído.

Crescimento, decaimento e oscilação seguem regras diferentes

Pequenas mudanças em uma equação diferencial produzem movimentos muito diferentes.

O modelo

$$y' = ky$$

descreve crescimento exponencial para grandezas positivas quando k é positivo e decaimento exponencial em direção a zero quando k é negativo. De forma mais geral, a magnitude de qualquer solução não nula cresce para k positivo e diminui para k negativo. O modelo aparece sempre que a taxa é proporcional à quantidade atual: crescimento populacional idealizado, capitalização contínua e decaimento radioativo são exemplos conhecidos. A mesma fórmula não faz com que toda população ou investimento real permaneça exponencial para sempre. Ela diz que o comportamento exponencial decorre da hipótese de uma taxa proporcional constante enquanto essa hipótese continuar válida.

A equação da mola y'' + y = 0 produz oscilação. Suas soluções são construídas com seno e cosseno porque derivar duas vezes inverte seus sinais. Compare com

$$y'' - y = 0$$

cujas soluções são construídas com exponenciais ou, de forma equivalente, com funções hiperbólicas. O sinal determina se o sistema é puxado de volta para um movimento repetido ou empurrado para o crescimento e o decaimento.

Modelos reais acrescentam termos para representar forças externas, atrito, recursos limitados ou interações entre várias grandezas. Um modelo logístico de população desacelera o crescimento perto de uma capacidade de suporte. Uma mola amortecida perde amplitude com o tempo. Um sistema de equações diferenciais pode acompanhar várias grandezas que mudam juntas. Cada termo adicionado altera a regra local e, portanto, as trajetórias que o sistema pode seguir.

De onde vêm os erros

O primeiro erro é procurar um número. Em uma equação diferencial, a incógnita costuma ser uma função. Se sua resposta é um único valor de y sem que tenha sido pedido um ponto de avaliação, você provavelmente parou cedo demais.

O segundo é verificar apenas a condição inicial. Passar por (0, 3) não transforma uma curva em solução de y' = 2y. Infinitas curvas passam por esse ponto. A curva também precisa satisfazer a regra da derivada em todo o intervalo.

O terceiro é esquecer a constante arbitrária. Uma equação diferencial sem condições suficientes normalmente descreve uma família. Escrever um membro como se fosse a resposta completa descarta trajetórias válidas.

O quarto é perder um equilíbrio ao dividir. Se você divide por y, y - 1 ou qualquer expressão que envolva a função desconhecida, pare e teste na equação original os valores que zeram essa expressão.

O quinto é tratar um modelo como se fosse a realidade. A equação y' = ky produz crescimento ou decaimento exponencial porque pressupõe uma taxa proporcional constante. Um sistema real só segue essa curva enquanto a hipótese for uma aproximação útil. Resolver a equação corretamente não prova que ela era o modelo certo.

Como o Math Zen ajuda

Equações diferenciais combinam várias habilidades que costumam ser aprendidas em capítulos separados. Você precisa interpretar uma derivada como uma taxa de variação, reorganizar a álgebra sem perder casos, reconhecer quando a derivada de uma exponencial é um múltiplo da própria função, integrar os dois lados e usar uma condição inicial para determinar a constante restante. Uma dificuldade em qualquer uma dessas habilidades pode fazer o método inteiro parecer misterioso.

O Math Zen inclui exercícios com equações diferenciais separáveis, lineares de primeira ordem, de segunda ordem, homogêneas, exatas e de Bernoulli, além de sistemas de equações diferenciais ordinárias. Antes de calcular, faça as três perguntas deste artigo: que mudança a equação exige, que família de trajetórias poderia obedecer a ela e quais condições selecionam a trajetória de que você precisa?

O ciclo de prática útil é simples: classifique uma equação, preveja a direção de suas soluções, resolva-a ou verifique-a, depois confira a condição inicial e qualquer equilíbrio excluído. Volte a essa mistura depois de um intervalo, seguindo a mesma abordagem de repetição espaçada usada no restante do Math Zen. O objetivo não é memorizar uma coleção de receitas, mas reconhecer qual regra de mudança está diante de você.

Em resumo

Uma equação diferencial descreve uma relação entre uma grandeza e a maneira como ela muda. Sua solução é uma função, não um valor isolado, e muitas vezes pertence a uma família. A constante arbitrária registra onde a trajetória poderia ter começado, e uma condição inicial escolhe a trajetória que corresponde ao verdadeiro ponto de partida.

Para equações explícitas de primeira ordem, a imagem do campo de direções unifica o tema. A regra local preenche seu domínio com direções permitidas, e uma solução as segue. Separação de variáveis, problemas de valor inicial, crescimento, decaimento e oscilação são maneiras diferentes de ler ou percorrer essa paisagem. Uma equação diferencial transforma uma regra local de mudança em uma curva global.