Lição
A teoria — Campo de direções e solucionador de EDO
Uma equação diferencial de primeira ordem dy/dx = f(x,y) nunca indica o que y é. Indica a rapidez com que y varia em cada ponto. Uma solução é qualquer curva cujo declive em cada ponto seja igual a f nesse mesmo ponto — e existe toda uma família delas, uma a passar por cada ponto inicial.
O que significa cada símbolo
dy/dx- o declive de uma curva solução — a grandeza que a equação prescreve, em vez daquela que determina.
f(x,y)- o segundo membro: uma regra que devolve um declive para qualquer ponto. As cinco predefinições aqui disponíveis são
y,x*y,-y/x,y*(1-y)ex^2-y. (x₀,y₀)- uma condição inicial — um ponto pelo qual a solução tem obrigatoriamente de passar. É o que seleciona uma única curva da família e é o que um clique no gráfico fornece.
Como ler o que vê
O painel contabiliza o que foi desenhado em vez de o descrever: 21 x 21 = 441 marcas de declive na grelha predefinida, o maior declive finito atualmente visível, a janela do gráfico e quantas curvas de solução iniciou. Cada clique adiciona uma condição inicial, e o resolvedor RK4 traça depois a curva correspondente, tanto para a frente como para trás em x.
- Pressupõe
- Que a equação é de primeira ordem e já se encontra resolvida em ordem a
dy/dx, e quefdevolve exatamente um declive por ponto. A grelha é uma amostra do campo, não o campo em si — aumentar a densidade desenha mais marcas sem alterar uma única solução. - Falha quando
- Escolha
-y/xe o contador muda para421 finite, 20 vertical/singular. Estes são os pontos da grelha situados no eixo dos y, ondex = 0deixa o declive indefinido: o campo genuinamente não tem direção ali e nenhuma curva de solução o atravessa. Um campo de declives também não consegue mostrar onde uma solução escapa para o infinito num x finito — a imagem permanece perfeitamente calma enquanto a solução não o faz.
Prática
Verifique você mesmo
Preveja primeiro a resposta e depois use os controlos acima para confirmar. Revele a solução só depois de se ter comprometido com um palpite — é isso que torna isto prática.
-
A predefinição hipérboles resolve y′ = −y/x e indica uma «Maior |inclinação| finita» de 10. Sobe a densidade da grelha para 30 e lê essa linha outra vez — e faz o mesmo nas predefinições exponencial e parábolas.
Mostrar a resposta
Nas hipérboles a linha percorre 5 → 10 → 15 para as densidades 10, 20 e 30. Na exponencial fica nos 3 e nas parábolas nos 11, faças o que fizeres. Para um campo singular, essa linha descreve a tua grelha, não a equação: −y/x não tem declive máximo nenhum, pois dispara para infinito quando x → 0, portanto a ferramenta só pode indicar a marca mais íngreme onde calhou cair. A coluna mais próxima do eixo fica em 8/densidade, por isso com densidade 20 é x = 0.4, e 4/0.4 = 10 — o número no ecrã. As 20 marcas assinaladas como verticais são toda a coluna x = 0, onde o declive não é um número. Os outros dois campos são realmente limitados nas suas janelas, por isso a grelha encontra sempre o mesmo máximo. -
A predefinição logística resolve y′ = y(1−y), cujo crescimento é notoriamente mais rápido em y = 1/2, onde a taxa vale 0.25. O painel indica um maior |declive| de 0.75. Onde está a encontrar um declive três vezes mais íngreme?
Mostrar a resposta
Fora da população. A janela da predefinição vai de y = −0.5 a 1.5, e em y = −0.5 a taxa é (−0.5)(1.5) = −0.75 — mais íngreme do que tudo o que existe entre as retas de equilíbrio, e descendente, já que a linha indica o valor absoluto. Põe y min em 0 e y max em 1 e a linha cai para 0.25, encontrada em y = 0.5, onde a biologia a coloca. Nem sequer precisas de ser tão estrito: de −0.2 a 1.2 também dá 0.25, porque (−0.2)(1.2) são apenas 0.24. O número famoso descreve uma população logística; o painel descreve o retângulo que lhe pediste para desenhar.
Problemas resolvidos na íntegra
-
A família de curvas para y′ = −y/x 6 passos
y′ = −y/x, para −4 ≤ x ≤ 4 e −4 ≤ y ≤ 4, com uma densidade de grelha de 20. Antes de desenhar uma única curva de solução, conte quantas marcas podem ter sequer um declive, encontre a mais íngreme e, depois, determine de que família de curvas o campo é constituído.
-
A grelha tem 20 intervalos de largura, o que corresponde a 21 linhas de amostragem, e não 20 — os extremos contam. Uma janela de 8 unidades de largura faz, portanto, uma amostragem a cada 0,4, aplicando-se o mesmo espaçamento na vertical.
-
21 é ímpar, pelo que uma linha de amostragem cai exatamente no meio da janela, e o meio desta janela é x = 0. Essa coluna é aquela em que o membro direito tem um zero no denominador.
-
Nessa coluna, cada ponto com y ≠ 0 dá um quociente sem valor: uma direção, desenhada na vertical, mas nenhum número a indicar. São 20 das 21. A última é a origem, onde a razão é 0/0 e a ferramenta resolve a questão desenhando a marca na horizontal — uma escolha, não uma consequência, e é por isso que a contagem finita resulta em 421 em vez de 420.
-
A inclinação é |y|/|x|, pelo que a marca mais íngreme é o ponto mais elevado sobre a coluna não nula mais estreita: 4 dividido por 0,4. As marcas vencedoras situam-se imediatamente ao lado da linha singular, sendo esse o único aspeto interessante a seu respeito.
-
Passemos agora às curvas em si. A equação é de variáveis separáveis, e a integração de ambos os membros transforma uma soma de logaritmos num produto: xy é constante ao longo de cada solução, pelo que a família é a das hipérboles equiláteras.
-
Teste-se no ponto (1, 2), onde a marca tem declive −2. A hipérbole xy = 2 que passa por esse ponto tem aí declive −2, pelo que se ajusta. A circunferência x² + y² = 5 que passa pelo mesmo ponto tem declive −x/y = −0,5, pelo que não se ajusta — a condição de ser perpendicular ao raio é dada pela equação y′ = −x/y, com o x e o y trocados.
Resposta
421 marcas finitas, 20 verticais e um declive máximo de 10. Apenas duas dessas três informações dizem algo sobre a equação diferencial. Refaça-se a última mantendo a grelha como um símbolo: o declive máximo que a grelha consegue ver é 4 a dividir por 8/d, o que dá d/2 — o número é simplesmente metade da definição de densidade e nada mais. A equação não tem qualquer declive máximo; |y′| cresce sem limite quando x → 0, e o painel está a indicar o nível de detalhe com que observou, e não quão íngreme o campo se torna. Com uma densidade de 21, o efeito é ainda mais evidente: 22 linhas de amostragem por lado ladeiam x = 0 em vez de cair sobre ele, pelo que todas as 484 marcas resultam finitas e a coluna singular desaparece da contagem, continuando exatamente tão singular como antes.
-
-
Uma solução a passar por y = 0,1 para y′ = y(1 − y) 6 passos
y′ = y(1 − y), representada para −2 ≤ x ≤ 6 e −0,5 ≤ y ≤ 1,5, com uma densidade de grelha de 20. Sem resolver nada, indique onde o campo é plano, para que lado deve seguir uma solução que passa por y = 0,1 e em que zona desta janela as marcas são mais íngremes. Depois, atribua um valor à duração da subida.
-
Uma marca é horizontal exatamente onde o membro direito se anula, e um produto só se anula quando um dos fatores se anula. Há dois valores, e cada um deles é uma solução por si só: as funções constantes y ≡ 0 e y ≡ 1 satisfazem a equação para todo o x.
-
Ambas coincidem com linhas de amostragem. Os 21 valores de y começam em −0,5 e variam com um passo de 0,1, pelo que 0 e 1 estão entre eles e as duas filas horizontais são efetivamente desenhadas, em vez de serem apenas sugeridas pelas inclinações de cada lado.
-
Entre as filas horizontais, ambos os fatores são positivos, pelo que todas as marcas se inclinam para cima; fora delas, um dos fatores mudou de sinal e as marcas inclinam-se para baixo. Uma solução que comece em 0,1 sobe, e nunca pode atingir 1 — para ultrapassar essa linha teria de cruzar a solução constante situada sobre ela, e duas soluções desta equação não se podem cruzar.
-
Ser crescente e limitada não é o mesmo que ser estável, pelo que se deve perturbar ligeiramente cada equilíbrio e observar o sinal. Imediatamente acima de 0, o declive é cerca de +ε e afasta ainda mais; imediatamente acima de 1, é cerca de −ε e empurra em sentido contrário. Uma equação, duas linhas horizontais, conclusões opostas.
-
As marcas mais íngremes não se encontram onde ocorre o crescimento. No intervalo 0 ≤ y ≤ 1, a variação mais rápida ocorre em y = 0,5 e vale 0,25, mas a janela estende-se até −0,5 e 1,5, onde o produto é −0,75 — três vezes mais íngreme, em valores populacionais de que o modelo não trata.
-
Há uma grandeza que torna a curva reta. Derivando o logaritmo da razão de chances y/(1 − y): a regra da cadeia produz exatamente o fator y(1 − y) fornecido pela equação, os dois cancelam-se, e o que resta cresce a uma taxa constante de 1.
Resposta
Dois equilíbrios, 0 repulsor e 1 atrator, e um |declive| máximo de 0,75 que se situa inteiramente fora de 0 ≤ y ≤ 1. O último passo é aquele que se deve reter. O logaritmo da razão de chances avança a exatamente 1 por unidade de x, pelo que a subida de 10% a 90% demora ln(9 ÷ 1/9) = ln 81 = 4,394 em x, seja qual for o valor inicial. Nenhum elemento do painel indica esse valor, e no entanto é o número que um modelador realmente pretende: não a altura da curva, mas a duração da sua transição, determinada unicamente pela taxa de crescimento. Esta janela tem 8 de largura, pelo que uma solução que entre perto de zero à esquerda passa pouco mais de metade dela a fazer a subida completa e o restante tempo assente na horizontal contra y = 1.
-
Referências (1)
- Direction fields, initial-value problems and when a solution is guaranteed to exist: W. E. Boyce & R. C. DiPrima, Elementary Differential Equations and Boundary Value Problems, 10th ed. John Wiley & Sons, 2012. ISBN 978-0-470-45831-0.