Você está na página 1de 55

Equaes Diferenciais Ordinrias

Soluo Numrica de EDOs


Mtodos Numricos Adicionais

Problemas de Valor Inicial para Equaes


Diferenciais Ordinrias
Carlos Balsa
balsa@ipb.pt

Departamento de Matemtica
Escola Superior de Tecnologia e Gesto de Bragana

Matemtica Aplicada - Mestrados Eng. Qumica e Industrial

Carlos Balsa

Matemtica Aplicada

1/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Outline
1

Equaes Diferenciais Ordinrias


Equaes Diferenciais
Problemas de Valor Inicial
Estabilidade

Soluo Numrica de EDOs


Mtodo de Euler
Exactido e Estabilidade
Mtodos Implcitos

Mtodos Numricos Adicionais


Mtodos da Srie de Taylor
Mtodos de Runge-Kutta
Mtodos de Mltiplos Passos
Carlos Balsa

Matemtica Aplicada

2/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Equaes Diferenciais
Problemas de Valor Inicial
Estabilidade

Equaes Diferenciais

Equaes diferenciais envolvem derivadas de uma funo


desconhecida
Equao Diferencial Ordinria(EDO): todas as derivadas so
relativas a uma nica varivel independente, por vezes
representando o tempo
Soluo numrica de equaes diferencias baseada numa
aproximao de dimenso finita
Equao Diferencial substituda por uma equao algbrica
cuja soluo aproxima a soluo da equao diferencial

Carlos Balsa

Matemtica Aplicada

3/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Equaes Diferenciais
Problemas de Valor Inicial
Estabilidade

Ordem de uma EDO

Ordem de uma EDO determinada pela ordem da mais alta


derivada da funo soluo que ocorre na EDO
Exemplos
y 00 + 3y 0 + 6y = sin(t) de ordem 2
y 00 + 3yy 0 = et de ordem 2
(y 0 )3 + 6y = 1 de ordem 1
EDO de ordem superior pode ser transformada num sistema
equivalente de equaes de primeira ordem
Analisaremos apenas mtodos numricos para EDOs de
primeira ordem
Grande parte do software para EDOs foi desenhado apenas
para a resoluo de EDOs de primeira ordem

Carlos Balsa

Matemtica Aplicada

4/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Equaes Diferenciais
Problemas de Valor Inicial
Estabilidade

EDOs de Ordem Superior


Para uma EDO de ordem k
y (k ) (t) = f (t, y , y 0 , . . . , y (k 1) )
define-se k novas funes incgnitas
u1 (t) = y (t), u2 (t) = y 0 (t), . . . , uk (t) = y (k 1) (t)

A EDO original ento equivalente ao sistema de primeira


ordem

u10 (t)
u2 (t)

u20 (t)
u3 (t)

..
.
.
=

.
.

u 0 (t)

uk (t)
k 1
0
f (t, u1 , u2 , . . . , uk )
uk (t)
Carlos Balsa

Matemtica Aplicada

5/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Equaes Diferenciais
Problemas de Valor Inicial
Estabilidade

Exemplo: Segunda lei de Newton

A lei do movimento, F = ma, uma EDO de 2a ordem, pois a


acelerao a a segunda derivada da posio, que designamos
por y
Assim, a EDO tem a forma
y 00 = F /m
Definindo u1 = y e u2 = y 0 obtemos o sistema equivalente de
duas EDO de primeira ordem
 0  

u1
u2
=
u20
F /m

Carlos Balsa

Matemtica Aplicada

6/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Equaes Diferenciais
Problemas de Valor Inicial
Estabilidade

Exemplo (continuao)

Podemos agora usar mtodos para equaes de primeira ordem


para resolver este sistema
A primeira componente da soluo u1 a soluo y da equao
de 2a ordem original
A segunda componente da soluo u2 a velovidade y 0

Carlos Balsa

Matemtica Aplicada

7/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Equaes Diferenciais
Problemas de Valor Inicial
Estabilidade

Exerccio

Transforme a seguinte EDO de 3a ordem num sistema


equivalente de equaes de primeira ordem
2y 000 y 00 + 5y = 0

Soluo:

0
u10
u20 = 0
u20
52

1
0
0

Carlos Balsa

0
u1
1 . u2 u0 = Au
1
u3
2

Matemtica Aplicada

8/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Equaes Diferenciais
Problemas de Valor Inicial
Estabilidade

Equaes Diferenciais Ordinrias


Sistemas genricos de EDOs de primeira ordem tm a seguinte
forma
y0 = f(t, y)
em que y : IR IRn , f : IRn+1 IRn , e y0 = dy/dt designa a
derivada relativa a t,
0

y1 (t)
dy1 (t)/dt
y 0 (t) dy2 (t)/dt
2

.. =

..
.

.
0
dyn (t)/dt
yn (t)
Funo f dada e queremos determinar a funo incgnita y
que verifica a EDO
Para simplificar, vamos apenas considerar casos especiais de
uma nica equao (ODE escalar)
Carlos Balsa

Matemtica Aplicada

9/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Equaes Diferenciais
Problemas de Valor Inicial
Estabilidade

Problemas de Valor Inicial

Por si s a EDO y0 = f(t, y) no determina uma funo soluo


nica
Isto porque a EDO apenas especifica o declive y0 (t) da funo
soluo em cada ponto, mas no especifica o valor de y(t) para
algum ponto
Em geral, existe uma infinidade de funes que satisfazem a
ODE.
Para obter uma soluo particular, o valor y0 da funo soluo
tem de ser conhecido para algum ponto t0

Carlos Balsa

Matemtica Aplicada

10/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Equaes Diferenciais
Problemas de Valor Inicial
Estabilidade

Problemas de Valor Inicial (continuao)

necessrio que os dados do problema indiquem y(t0 ) = y0 , o


que determina a soluo nica da EDO
Se considerarmos a varivel independente t como o tempo,
podemos pensar em t0 como o tempo inicial e em y0 como o
valor inicial da funo incgnita
Por isso, designado por Problema de Valor Inicial, ou PVI
A EDO governa a evoluo do sistema ao longo do tempo
desde o seu estado inicial y0 no tempo t0 , e ns procuramos
uma funo y(t) que descreve o estado do sistema em funo
do tempo

Carlos Balsa

Matemtica Aplicada

11/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Equaes Diferenciais
Problemas de Valor Inicial
Estabilidade

Exemplo: Problema de Valor Inicial

Considere a seguinte EDO escalar


y0 = y
O conjunto das solues tem a forma geral y = cet , em que c
uma constante real qualquer
Impondo a condio inicial y (t0 ) = y0 permite obter a soluo
nica correspondente a este caso particular
Para este exemplo, se t0 = 0, ento c = y0 , significando que a
soluo y (t) = y0 et

Carlos Balsa

Matemtica Aplicada

12/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Equaes Diferenciais
Problemas de Valor Inicial
Estabilidade

Exemplo: Problema de Valor Inicial


Famlia das solues para a EDO y 0 = y

Carlos Balsa

Matemtica Aplicada

13/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Equaes Diferenciais
Problemas de Valor Inicial
Estabilidade

Estabilidade das Solues

A soluo de uma EDO


Estvel se solues resultantes da perturbao do valor inicial
se mantiverem prximas da soluo original
Assimptoticamente estvel se solues resultantes da
perturbao do valor inicial convergem para a soluo original
Instvel se solues resultantes da perturbao do valor inicial
divergem da soluo original sem limites

Carlos Balsa

Matemtica Aplicada

14/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Equaes Diferenciais
Problemas de Valor Inicial
Estabilidade

Exemplo: Solues Estveis


Famlia das solues para a EDO y 0 =

Carlos Balsa

1
2

Matemtica Aplicada

15/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Equaes Diferenciais
Problemas de Valor Inicial
Estabilidade

Exemplo: Solues Assimptoticament Estveis


Famlia das solues para a EDO y 0 = y

Carlos Balsa

Matemtica Aplicada

16/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Equaes Diferenciais
Problemas de Valor Inicial
Estabilidade

Exemplo: Solues Instveis


Famlia das solues para a EDO y 0 = y

Carlos Balsa

Matemtica Aplicada

17/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Equaes Diferenciais
Problemas de Valor Inicial
Estabilidade

Exemplo: Estabilidade das Solues

Considere uma EDO escalar y 0 = y , com constante


Considerando t0 = 0 o tempo inicial e y (0) = y0 o valor inicial, a
soluo dada por y (t) = y0 et
Para real
> 0: todas as solues no nulas crescem exponencialmente,
logo cada soluo instvel
< 0: todas as solues no nulas decaem exponencialmente,
logo cada soluo para alm de ser estvel tambm
assimptoticamente estvel

Para complexo
Re()> 0: instvel
Re()< 0: assimptoticamente estvel
Re()= 0: estvel mas no assimptoticamente estvel

Carlos Balsa

Matemtica Aplicada

18/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Equaes Diferenciais
Problemas de Valor Inicial
Estabilidade

Exemplo: Sistema linear de EDOs

Um sistema linear de EDOs homogneo com coeficientes


constantes tem a forma
y0 = Ay
em que A uma matriz n n e a condio inicial y(0) = y0
Supondo que A diagonizvel com valores prprios i e
correspondentes vectores prprios vi , i = 1, 2, . . . , n
Pn
Exprimindo y0 como combinao linear dos vi : y0 = i=1 i vi
Ento
y(t) =

n
X

i vi ei t

i=1

a soluo da EDO que satisfaz a condio inicial y(0) = y0

Carlos Balsa

Matemtica Aplicada

19/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Equaes Diferenciais
Problemas de Valor Inicial
Estabilidade

Exemplo: Sistema linear de EDOs (continuao)

Valores prprios de A com parte real positiva conduzem a um


crescimento exponencial dos componentes da soluo
Valores prprios de A com parte real negativa conduzem a um
decrescimento exponencial dos componentes da soluo
Valores prprios de A com parte real nula (i.e. imaginrios
puros) conduzem a oscilaes dos componentes da soluo
A soluo
Estvel se Re(i ) 0 para todos os valores prprios
Assimptoticamente estvel se Re(i )< 0 para todos os valores
prprios
Instvel se Re(i )> 0 para pelo menos um dos valores prprios

Carlos Balsa

Matemtica Aplicada

20/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Equaes Diferenciais
Problemas de Valor Inicial
Estabilidade

Exerccio
Determine a soluo e analise a estabilidade do seguinte
problema de valor inicial

(
0 1 0
y0 = Ay
0 0
com A = 1
T
y0 = [1 0 0]
0
0 2
Soluo geral
y(t) = 1 v1 e1 t + 2 v2 e2 t + 3 v3 e3 t
com 1 , 2 , 3 os valores prprios de A e v1 , v2 , v3 os vectores
prprios de A
Resoluo:
1 Calcular os valores prprios: |I A| = 0
2 Calcular os vectores prprios: v a equao (A I) v = 0
Carlos Balsa

Matemtica Aplicada

21/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Equaes Diferenciais
Problemas de Valor Inicial
Estabilidade

Exerccio, resoluo

1 Valores prprios:
|I A| = 0
3 22 + 2 = 0
= 2 = i = i

Sistema instvel, existe um valor prprio real positivo


2 Vectores prprios:
T

(A 2I) v1 = 0 v1 = [0 0 1]

(A + iI) v2 = 0 v2 = [1 i 0]

(A iI) v3 = 0 v3 = [1 i 0]

Carlos Balsa

Matemtica Aplicada

22/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Equaes Diferenciais
Problemas de Valor Inicial
Estabilidade

Resoluo (continuao)

Soluo geral:




it
it

0
1
1
y1 (t) = 2 e + 3 e
2t
it
it
y(t) = 1 0e +2 i e +3 i e y2 (t) = 2 ieit 3 ieit

1
0
0
y3 (t) = 1 e2t

Soluo original para y(0) = 1


1
it
it

y1 (t) = 2 e + e

y2 (t) = 2i eit eit

y3 (t) = 0

Carlos Balsa

T

y1 (t) = cos(t)
y2 (t) = sin(t)

y3 (t) = 0

Matemtica Aplicada

23/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Mtodo de Euler
Exactido e Estabilidade
Mtodos Implcitos

Soluo Numrica de EDOs

Soluo analtica de EDO uma funo bem definida que pode


ser avaliada para qualquer valor de t
Soluo numrica de EDO uma tabela de valores aproximados
da funo soluo para num conjunto discretos de pontos
Comeando em t0 com o valor dado y0 , procuramos seguimos
ditada pela EDO
Calculo de f(t0 , y0 ) indica o declive da trajectria nesse ponto
Usamos esta informao para prever o valor y1 da soluo no
tempo futuro t1 = t0 + h para um determinado incremento de
tempo h

Carlos Balsa

Matemtica Aplicada

24/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Mtodo de Euler
Exactido e Estabilidade
Mtodos Implcitos

Soluo Numrica de EDOs, continuao

Valores aproximados da soluo so gerados passo a passo em


incrementos dentro do intervalo no qual procuramos a soluo
Ao deslocar-nos de um ponto discreto para o outro, cometemos
um erro, significando que o valor da prxima soluo
aproximada pertence a uma outra soluo diferente daquela de
onde partimos
Estabilidade ou instabilidade da soluo determina, em parte,
se tais erros so ampliados ou reduzidos com o tempo

Carlos Balsa

Matemtica Aplicada

25/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Mtodo de Euler
Exactido e Estabilidade
Mtodos Implcitos

Mtodo de Euler
Sistema genrico de EDOs f(t, y), consideramos a srie de
Taylor
h2 00
y (t) + . . .
2
h2
= y(t) + hf(t, y(t)) + y00 (t) + . . .
2

y(t + h) = y(t) + hy0 (t) +

Mtodo de Euler consite em eliminar os termos de ordem maior


ou igual a dois
yk +1 = yk + hk f(tk , yk )
Mtodo de Euler prev soluo atravs da extrapolao ao
longo de uma linha recta cujo declive f(tk , yk )
Mtodo de Euler de passo-simples porque depende apenas
da informao num nico ponto do tempo para avanar para o
prximo
Carlos Balsa

Matemtica Aplicada

26/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Mtodo de Euler
Exactido e Estabilidade
Mtodos Implcitos

Exemplo: Mtodo de Euler

Aplicando o mtodo de Euler EDO y 0 = y com um passo h,


prevemos a soluo no tempo t1 = t0 + h a partir da soluo em
t0
y1 = y0 + hy00 = y0 + hy0 = (1 + h) y0
O valor da soluo obtido em t1 no exacto, y1 6= y (t1 )
Por exemplo, se t0 = 0, y0 = 1 e h = 0.5, ento y1 = 1.5,
enquanto que a soluo exacta para esta condio inicial
y (0.5) = exp(0.5) 1.649
Consequentemente, y1 pertence a uma outra soluo diferente
daquela de onde partimos

Carlos Balsa

Matemtica Aplicada

27/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Mtodo de Euler
Exactido e Estabilidade
Mtodos Implcitos

Exemplo, continuao

Para continuar o processo numrico, damos um novo passo de


t1 para t2 = t1 + h = 1.0, obtendo
y2 = y1 + hy1 = 1.5 + (0.5)(1.5) = 2.25
Agora y2 difere no s da soluo exacta do problema original
em t = 1, y (1) = exp(1) 2.718, mas tambm difere da
soluo que passa no ponto anterior (t1 , y1 ), que tem o valor
aproximado 2.473 em t = 1
Pelo que nos deslocamos novamente para uma outra soluo
desta EDO

Carlos Balsa

Matemtica Aplicada

28/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Mtodo de Euler
Exactido e Estabilidade
Mtodos Implcitos

Exemplo, continuao

Para solues instveis os erros numricos aumentam com o tempo


Carlos Balsa

Matemtica Aplicada

29/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Mtodo de Euler
Exactido e Estabilidade
Mtodos Implcitos

Exemplo, continuao

Para solues estveis os erros numricos podem diminuir com o


tempo
Carlos Balsa

Matemtica Aplicada

30/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Mtodo de Euler
Exactido e Estabilidade
Mtodos Implcitos

Erros na soluo numrica de EDOs

Mtodos numricos para resolver EDOs incorrem em dois tipos


de erros distintos
Erros de arredondamento devidos preciso finita da
aritmtica de ponto flutuante
Erros de truncatura (discretizao) devidos aos mtodos
de aproximao usados e que permaneceriam mesmo que
se usasse uma aritmtica exacta
Na prtica os erros de truncatura so o factor dominante e
determinam a exactido da soluo numrica de uma EDO, pelo
que vamos focar a nossa ateno nos erros de truncatura

Carlos Balsa

Matemtica Aplicada

31/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Mtodo de Euler
Exactido e Estabilidade
Mtodos Implcitos

Erro Global e Erro Local

Erro de truncatura em qualquer ponto tk pode ser decomposto em


Erro global: diferena entre soluo calculada yk e soluo
verdadeira y (tk ) que passa pelo ponto (t0 , y0 )
ek = yk y(tk )
Erro local: erro efectuado num nico passo do mtodo numrico
`k = yk uk 1 (tk )
em que uk1 (t) a soluo verdadeira que passa pelo ponto
(tk 1 , yk 1 )

Carlos Balsa

Matemtica Aplicada

32/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Mtodo de Euler
Exactido e Estabilidade
Mtodos Implcitos

Erro Global e Erro Local, continuao

Erro global no necessariamente a soma dos erros locais


Erro global geralmente maior do que a soma dos erros locais
se a soluo for instvel, mas pode ser inferior soma se a
soluo for estvel
Queremos ter um pequeno erro global mas apenas podemos
controlar o erro local directamente

Carlos Balsa

Matemtica Aplicada

33/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Mtodo de Euler
Exactido e Estabilidade
Mtodos Implcitos

Erro Global e Erro Local, continuao

Carlos Balsa

Matemtica Aplicada

34/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Mtodo de Euler
Exactido e Estabilidade
Mtodos Implcitos

Erro Global e Erro Local, continuao

Carlos Balsa

Matemtica Aplicada

35/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Mtodo de Euler
Exactido e Estabilidade
Mtodos Implcitos

Ordem de Exactido de um Mtodo Numrico

Ordem de exactido: de um mtodo numrico p se




`k = O hkp+1
Ento o erro local por unidade de passo: `k /hk = O hkp

Sob certas condies razoveis


ek = O (hp )
em que h o comprimento mdio do passo.

Carlos Balsa

Matemtica Aplicada

36/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Mtodo de Euler
Exactido e Estabilidade
Mtodos Implcitos

Ordem de Exactido do Mtodo de Euler


Para o sistema genrico de EDOs y0 = f(t, y), consideramos a
srie de Taylor

y(t + h) = y(t) + hy0 (t) + O h2

= y(t) + hf(t, y(t)) + O h2
Se tomar-mos t = tk e h = hk obtemos
y (tk +1 ) = y (tk ) + hk f (tk , yk ) + O hk2

Subtraindo esta expresso ao mtodo de Euler


(yk +1 = yk + hk f (tk , yk )) obtemos
ek +1 = yk +1 y (tk +1 )
= [yk y (tk )] + hk [f (tk , yk ) f (tk , y (tk ))] O hk2

Carlos Balsa

Matemtica Aplicada

37/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Mtodo de Euler
Exactido e Estabilidade
Mtodos Implcitos

Mtodo de Euler, continuao

No havendo erros anteriores temos que yk = y (tk ), a diferena


entre parntesis rectos do lado direito tambm ser nula, ficar
apenas o termo O hk2 representando o erro local
Isto significa que o mtodo de Euler de primeira ordem

Carlos Balsa

Matemtica Aplicada

38/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Mtodo de Euler
Exactido e Estabilidade
Mtodos Implcitos

Estabilidade de um Mtodo Numrico

Mtodo numrico estvel se pequenas perturbaes


resultarem em solues numricas diferentes mas no
divergentes dentro certos limites
Tais diferenas nas solues numricas podem ser provocadas
pela instabilidade da soluo da EDO, mas pode tambm ser
devida ao prprio mtodo numrico, mesmo quando a soluo
da EDO estvel
O erro global resulta da acumulao dos erros locais e dos
erros propagados

Carlos Balsa

Matemtica Aplicada

39/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Mtodo de Euler
Exactido e Estabilidade
Mtodos Implcitos

Estabilidade do Mtodo de Euler


Pelo teorema do valor mdio
f (tk , yk ) f (tk , y (tk )) = Jf (tk , ) (yk y (tk ))
= Jf (tk , yk + (1 ) y (tk )) (yk y (tk ))
em que Jf a matriz Jacobiana de f e [0, 1]
Podemos ento expressar o erro global no passo k + 1 como
ek +1 = (I + hk Jf ) ek + `k +1
Erro global multiplicado em cada passo pelo factor de
amplificao I + hk Jf
Erros no vo crescer se o raio espectral (I + hk Jf ) 1, o que
equivale a dizer que todos os valores prprios de hk Jf
pertencem a um circulo do plano complexo com raio 1 e
centrado em 1
Carlos Balsa

Matemtica Aplicada

40/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Mtodo de Euler
Exactido e Estabilidade
Mtodos Implcitos

Mtodo de Euler, continuao

Em geral o factor de crescimento do erro global depende de


Mtodo numrico, determina a forma do factor de amplificao
Passo h
Jacobiana Jf , que determinada pela EDO

Carlos Balsa

Matemtica Aplicada

41/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Mtodo de Euler
Exactido e Estabilidade
Mtodos Implcitos

Mtodos Implcitos

Mtodo de Euler explcito porque apenas usa a informao no


tempo tk para avanar a soluo no tempo tk +1
Embora posso parecer desejvel, o mtodo de Euler apresenta
uma regio de estabilidade muito limitada
Maiores regies de estabilidade podem ser obtidas usando
informao do tk +1 , o que torna o mtodo implcito
O exemplo mais simples o mtodo de Euler implcito
yk +1 = yk + hk f (tk +1 , yk +1 )
O mtodo implcito porque necessitamos de avaliar f com
argumento yk +1 antes de conhecer o seu valor

Carlos Balsa

Matemtica Aplicada

42/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Mtodo de Euler
Exactido e Estabilidade
Mtodos Implcitos

Exemplo: Mtodo de Euler Implcito


Considere a EDO escalar e no linear y 0 = y 3 com condio
inicial y (0) = 1
Usando o mtodo de Euler Implcito com passo h = 0.5,
obtemos a equao implcita
y1 = y0 + hf (t1 , y1 ) = 1 0.5y 3
do valor da soluo no proximo ponto
Esta equao no linear em y1 pode ser resolvida atravs de
um mtodo como o das bissees, ponto fixo ou de Newton
Como aproximao inicial pode usar-se a soluo anterior
y0 = 1, ou um mtodo explcito como o de Euler, com o qual
obtemos y1 = y0 0.5y03 = 0.5
As iterae podero ento convergir para o valor final
y1 = 0.7709
Carlos Balsa

Matemtica Aplicada

43/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Mtodo de Euler
Exactido e Estabilidade
Mtodos Implcitos

Estabilidade e exactido do Mtodo de Euler Implcito


Factor de crescimento do mtodo de Euler implcito para um
1
sistema de EDOs genrico y0 = f(t, y) (I hJf ) cujo raio
espectral menor do que 1 se todos os valores prprios de hJf
pertencerem regio do plano complexo fora do circulo de raio
1 centrado em 1
Regio de estabilidade constituda por todo o semiplano
complexo esquerdo: valores prprios de Jf com parte real
negativa
Para EDOs com solues estveis este mtodo estvel para
qualquer dimenso do passo, isto incondicionalmente estvel
Grande vantagem dos mtodos incondicionalmente estveis
que a exactido pretendida apenas condicionada pela escolha
do passo
Apesar do mtodo de Euler implcito ser incondicionalmente
estvel, um mtodo de primeira ordem de exactido
(ek = O(h)) o que limita muito a sua utilidade
Carlos Balsa

Matemtica Aplicada

44/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Mtodo de Euler
Exactido e Estabilidade
Mtodos Implcitos

Mtodo de Euler Modificado

Ordem de exactido superior pode ser obtida fazendo a mdia


das solues previstas pelos mtodos de Euler e Euler implcito
para obter o mtodo de Euler modificado
yk +1 = yk + hk (f (tk , yk ) + f (tk +1 , yk +1 )) /2
Factor de crescimento do mtodo de Euler modificado para um

1
sistema de EDOs genrico y0 = f(t, y) I + h2 Jf I h2 Jf
cujo raio espectral menor do que 1 se todos os valores
prprios de hJf estiverem do lado esquerdo do plano complexo
Mtodo de Euler modificado incondicionalmente estvel e de
segunda ordem de exactido (ek = O(h2 )) o que faz dele um
mtodo mais eficiente do que os dois anteriores

Carlos Balsa

Matemtica Aplicada

45/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Mtodos da Srie de Taylor


Mtodos de Runge-Kutta
Mtodos de Mltiplos Passos

Mtodos Numricos para EDOs

Existem muitos mtodos diferentes para resolver EDOs, a maior


parte pertence a um das seguintes tipos
- Srie de Taylor
- Runge-Kutta
- Mltiplos Passos
Vamos considerar de forma breve cada um destes tipos de
mtodos

Carlos Balsa

Matemtica Aplicada

46/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Mtodos da Srie de Taylor


Mtodos de Runge-Kutta
Mtodos de Mltiplos Passos

Mtodos da Srie de Taylor

O mtodo de Euler pode ser derivado do desenvolvimento em


srie de Taylor
Retendo mais termos na srie de Taylor podemos gerar
mtodos de passo simples de ordem superior ao de Euler
Por exemplo, retendo um termo adicional na srie de Taylor
y(t + h) = y(t) + hy0 (t) +

h2 00
h3
y (t) + y000 (t) +
2
6

obtemos um mtodo de segunda ordem


yk +1 = yk + hk y0k +

Carlos Balsa

hk2 00
y
2 k

Matemtica Aplicada

47/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Mtodos da Srie de Taylor


Mtodos de Runge-Kutta
Mtodos de Mltiplos Passos

Mtodos da Srie de Taylor, continuao


Esta aproximao requer o clculo de derivadas de ordem
superior de y, o que pode ser obtido derivando y0 = f (t, y) pela
regar da cadeia:
y00 = ft (t, y) + fy (t, y) y0
= ft (t, y) + fy (t, y) ft (t, y)
em que os subscritos indicam derivadas parciais relativamente
varivel dada
medida que a ordem das derivadas aumenta aumenta
tambm a complexidade das expresses para as derivadas,
sendo cada vez mais difcil calcul-las. Pelo que os mtodos
baseados na serie de taylor de ordem superior no tem sido
muito usados na prtica
Carlos Balsa

Matemtica Aplicada

48/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Mtodos da Srie de Taylor


Mtodos de Runge-Kutta
Mtodos de Mltiplos Passos

Mtodos de Runge-Kutta

Em vez de calcular as derivadas, os mtodos de Runge-Kutta


simulam o efeito das derivadas de ordem superior determinando
o valor de f vrias vezes entre tk e tk +1
O exemplo mais simples o mtodo de Euler modificado
yk +1 = yk +

hk
(k1 + k2 )
2

em que
k1 =f (tk , yk )
k2 =f (tk + hk , yk + hk k1 )

Carlos Balsa

Matemtica Aplicada

49/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Mtodos da Srie de Taylor


Mtodos de Runge-Kutta
Mtodos de Mltiplos Passos

Mtodos de Runge-Kutta, continuao


O mtodo de Euler modificado um mtodo de Runge-Kutta de
segunda ordem
O mtodo de Runge-Kutta mais conhecido o de quarta ordem
yk +1 = yk +

hk
(k1 + 2k2 + 2k3 + k4 )
6

em que
k1 =f (tk , yk )
k2 =f (tk + hk /2, yk + (hk /2) k1 )
k3 =f (tk + hk /2, yk + (hk /2) k2 )
k4 =f (tk + hk , yk + hk k3 )

Carlos Balsa

Matemtica Aplicada

50/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Mtodos da Srie de Taylor


Mtodos de Runge-Kutta
Mtodos de Mltiplos Passos

Mtodos de Runge-Kutta, continuao

Para avanar para o tempo tk +1 , os mtodos de Runge-Kutta


no precisam de informaes sobre as solues anteriores a tk ,
o que faz deles mtodos auto-iniciantes no principio da
integrao e torna fcil a mudana do comprimento do passo ao
longo da integrao
Estes factos tornam tambm estes mtodos relativamente
fceis de programar, da tambm a sua grande popularidade
Infelizmente os mtodos de Runge-Kutta no propiciam uma
estimativa do erro sobre a qual se possa basear a escolha do
comprimento do passo

Carlos Balsa

Matemtica Aplicada

51/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Mtodos da Srie de Taylor


Mtodos de Runge-Kutta
Mtodos de Mltiplos Passos

Mtodos de Mltiplos Passos

Mtodos de Mltiplos Passos usam a informao em mais do


que um ponto anterior para estimar a soluo no proximo ponto
Multi-Passos Lineares tm a forma
yk +1 =

m
X

i yk +1i + h

i=1

m
X

i f (tk +1i , yk +1i )

i=0

Parmetros i e i so determinados por interpolao


polinomial
Se 0 = 0 o mtodo explcito, se 0 6= 0 o mtodo implcito
Mtodo implcitos so normalmente mais correctos e estveis
do que os explcitos, mas requerem uma estimativa inicial de
yk +1

Carlos Balsa

Matemtica Aplicada

52/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Mtodos da Srie de Taylor


Mtodos de Runge-Kutta
Mtodos de Mltiplos Passos

Mtodos de Mltiplos Passos

Como a estimativa inicial pode ser convenientemente fornecida


por um mtodo explcito, ento os dois podem ser usados como
um par preditor-corrector
Em cada passo pode-se efectuar a correco uma vez nica ou
repetidas vezes at se obter determinada tolerncia
Em alternativa ao esquema previso-correco pode usar-se
mtodos de resoluo de equaes no lineares, como o de
Newton, para resolver a equao no-linear em yk +1 resultante
do mtodo implcito

Carlos Balsa

Matemtica Aplicada

53/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Mtodos da Srie de Taylor


Mtodos de Runge-Kutta
Mtodos de Mltiplos Passos

Exemplos: Mtodos de Mltiplos Passos


O mais simples dos mtodos multi-passos explcito de segunda
ordem

h
3y0k y0k 1
yk +1 = yk +
2
O mais simples dos mtodos multi-passos implcito de segunda
ordem o mtodo de Euler modificado

h 0
yk +1 + y0k
yk +1 = yk +
2
Um dos mais conhecidos pares de mtodos multi-passo
consiste no Adams-Bashforth, preditor de quarta ordem

h
yk +1 = yk +
55y0k 59y0k 1 + 37y0k 2 9y0k 3
24
e o implcito de quarta ordem Adams-Moulton corrector

h
yk +1 = yk +
9y0k +1 + 19y0k 5y0k 1 + y0k 2
24
Carlos Balsa

Matemtica Aplicada

54/ 55

Equaes Diferenciais Ordinrias


Soluo Numrica de EDOs
Mtodos Numricos Adicionais

Mtodos da Srie de Taylor


Mtodos de Runge-Kutta
Mtodos de Mltiplos Passos

Propriedades dos Mtodos de Mltiplos Passos

No so auto-iniciantes pelo que necessrio obter vrias


estimativas do valor de yk para iniciar o processo de integrao
Difcil de mudar o comprimento do passo de ponto para ponto
Boa estimativa do erro local pode ser obtida partir da
diferena entre valor predito e corrigido
Relativamente mais difceis de programar
Mtodos implcitos tm maiores regies de estabilidade do que
os explcitos, mas necessitam de serem iterados para beneficiar
plenamente dessa propriedade
Apesar dos mtodos implcitos serem mais estveis do que os
explcitos, eles no so necessariamente incondicionalmente
estveis

Carlos Balsa

Matemtica Aplicada

55/ 55

Você também pode gostar