Vous êtes sur la page 1sur 57

UNIVERSIDADE FEDERAL RURAL DO SEMIRIDO UFERSA

DEPARTAMENTO DE CINCIAS EXATAS, TECNOLGICAS E


HUMANAS DCETH
CAMPUS ANGICOS
BACHARELADO EM CINCIA E TECNOLOGIA

PEDRO THIAGO VILELA DE MENDONA

COMPARATIVO ENTRE OS MTODOS NUMRICOS DE EULER, HEUN E


RUNGE-KUTTA NA RESOLUO DE PROBLEMAS DE VALOR INICIAL DE
PRIMEIRA ORDEM

ANGICOS RN
2016

PEDRO THIAGO VILELA DE MENDONA

COMPARATIVO ENTRE OS MTODOS NUMRICOS DE EULER, HEUN E


RUNGE-KUTTA NA RESOLUO DE PROBLEMAS DE VALOR INICIAL DE
PRIMEIRA ORDEM

Trabalho de concluso de curso apresentado


a Universidade Federal Rural do Semi-rido
UFERSA, Campus Angicos para a
obteno do ttulo de Bacharelado em
Cincia e Tecnologia.
Orientador: Prof. Dr. Matheus da Silva
Menezes - UFERSA

Todos os direitos esto reservados a Universidade Federal Rural do Semi-rido. O contedo desta obra de inteira
responsabilidade do (a) autor (a), sendo o mesmo, passvel de sanes administrativas ou penais, caso sejam infringidas as leis
que regulamentam a Propriedade Intelectual, respectivamente, Patentes: Lei n 9.279/1996 e Direitos Autorais: Lei n 9.610/1998.
O contedo desta obra tomar-se- de domnio pblico aps a data de defesa e homologao da sua respectiva ata. A mesma
poder servir de base literria para novas pesquisas, desde que a obra e seu (a) respectivo (a) autor (a) sejam devidamente
citados e mencionados os seus crditos bibliogrficos.

O servio de Gerao Automtica de Ficha Catalogrfica para Trabalhos de Concluso de Curso (TCCs) foi
desenvolvido pelo Instituto de Cincias Matemticas e de Computao da Universidade de So Paulo (USP) e
gentilmente cedido para o Sistema de Bibliotecas da Universidade Federal Rural do Semi-rido (SISBI-UFERSA),
sendo customizado pela Superintendncia de Tecnologia da Informao e Comunicao(SUTIC) sob orientao dos
bibliotecrios da instituio para ser adaptado s necessidades dos alunos dos Cursos de Graduao e Programas
de Ps-Graduao da Universidade.

Dedico primeiramente a Deus que em todo momento esteve comigo, me


dando fora, sustento, conforto e sabedoria.
A toda minha famlia. Em especial, meu pai Pedro Segundo de Mendona e
minha me Vera Lcia Cmara Vilela de Mendona por serem minha base.

AGRADECIMENTOS

Agradeo primeiramente a Deus, por todo seu amor e misericrdia, que me


possibilitou estar nesta caminhada, dando todo sustento e sabedoria necessrios para
que essa conquista pudesse ser realizada.

Agradeo a meus pais, Pedro Segundo de Mendona, Vera Lcia Cmara Vilela,
e meu irmo Joo Victor Vilela de Mendona, por fazerem parte da base da minha
vida, contribuindo para a minha formao, e sempre me suprindo com o apoio
necessrio.

Ao restante de minha famlia, em especial, ao meu tio Paulo Srgio Cmara Vilela,
que sempre me ajudou e incentivou nos estudos da matemtica e lgica, despertando
em mim a curiosidade pela rea da engenharia.

Ao meu orientador Matheus da Silva Menezes, primeiramente como professor, onde


me despertou o desejo pela rea de matemtica computacional, e principalmente pelo
comprometimento, compreenso e pacincia, que foram fundamentais neste trabalho.

Aos professores que compem a minha banca Ivan Mezzomo e Stefeson Bezerra
Melo. Que tambm deram uma grande colaborao minha formao acadmica
como professores.

Aos irmos da Igreja em Angicos, que durante todo esse perodo acadmico, tem
sido minha segunda famlia e contriburam grandemente durante todo o perodo que
passei em Angicos, com suas oraes e apoio.

Aos companheiros da repblica Arthur Mathaus, Diego Zacarias, Gabriel Gomes,


Paulo Norberto e Ian Patrick, que estiveram durante todo esse tempo, sempre com
companheirismo e suporte.

Aos tambm companheiros de caminhada, Jos Rivaelton, Antnio Ricarte, Quezia


Lima, Raquel Torquato, Pedro Vinicius, Felipe Augusto e Junior Alburquerque,

que estiveram comigo, sofrendo juntos, em madrugadas de estudos, que certamente


foram recompensadas.

Ao corpo docente da UFERSA Angicos, que foi fundamental na minha formao


acadmica, por todo conhecimento

Por fim, a toda comunidade acadmica da UFERSA Angicos, por ter possibilitado a
concluso deste trabalho e a todos que acreditaram e me apoiaram nesta luta.

No que por ns mesmos, sejamos


capazes de pensar alguma coisa, como se
partisse de ns; pelo contrrio, a nossa
suficincia vem de Deus.
(2 Corinthios 3:5 Bblia Sagrada)

RESUMO

Com o avano da cincia e da engenharia, cada vez mais nos deparamos com
fenmenos de taxas de variaes de grandezas como tempo e espao. A modelagem
destes fenmenos feita com Equaes Diferenciais (ED), o que torna de grande
importncia o estudo destas equaes. Os mtodos numricos oferecem um
importante recurso para trabalhar com essas equaes diferenciais, que muitas vezes
no podem ser resolvidas analiticamente. O presente trabalho apresenta 3 mtodos
numrico, classificados como de passo nico, para resolver Problemas de Valor Inicial
de primeira ordem. Estes mtodos so, o mtodo de Euler, mtodo de Heun e mtodo
de Runge-Kutta. Foi feita uma anlise comparativa entre esses mtodos, atravs de
um experimento computacional, utilizando um software denominado Scilab, em 5
problemas encontrados na literatura, a partir dos quais foi constatado, tanto pela
anlise terica quanto pelo teste computacional, que o mtodo de Runge-Kutta
apresenta maior preciso dentre os mtodos analisados. Destaca-se tambm que o
mtodo de Heun foi analisado na sua forma direta e iterativa, onde foi constatado que
a forma iterativa no garante o aumento da preciso numrica em relao ao mesmo
mtodo na forma direta, mas na maioria dos problemas, se mostrou mais eficiente.

Palavras-chave: Equao Diferenciais. Mtodos Numricos. Mtodos de Passo


nico. Scilab.

LISTA DE FIGURAS

Figura 1: Grfico de () e (), onde () a reta tangente a () no ponto


(0 ,0 ). ....................................................................................................................... 23
Figura 2: Grfico mostrando a inclinao nos pontos ( , ) e (+1 , +1 ). ............... 25
Figura 3: Grfico mostrando a nova inclinao em ( , ) gerando uma nova reta
() .......................................................................................................................... 25
Figura 4: Curvas das solues analticas e numricas do problema A1 ................... 43
Figura 5: Curvas das solues analticas e numricas do problema A2 ................... 45
Figura 6: Curvas das solues analticas e numricas do problema A3 ................... 47
Figura 7: Curvas das solues analticas e numricas do problema A4 ................... 49
Figura 8: Curvas das solues analticas e numricas do problema A5 ................... 51

LISTA DE QUADROS

Quadro 1: Dados referentes ao computador utilizado nos testes .............................. 33


Quadro 2: Dados referentes ao sistema operacional utilizado nos testes ................. 33
Quadro 3: Algoritmo usado para o mtodo de Euler ................................................. 34
Quadro 4: Algoritmo usado para o mtodo de Heun direto ....................................... 35
Quadro 5: Algoritmo usado para o mtodo de Heun iterativo.................................... 36
Quadro 6: Algoritmo usado para o mtodo de Runge-Kutta ..................................... 37
Quadro 7: Dados do problema A1 ............................................................................. 38
Tabela 8: Soluo analtica para valores em , do problema A1 ............................... 38
Quadro 9: Dados do problema A2 ............................................................................ 39
Quadro 10: Soluo analtica para valores em , do problema A2 ............................ 39
Quadro 11: Dados do problema A3 ........................................................................... 39
Quadro 12: Soluo analtica para valores em , do problema A3 ............................ 40
Quadro 13: Dados do problema A4 ........................................................................... 40
Quadro 14: Soluo analtica para valores em , do problema A4 ............................ 40
Quadro 15: Dados do problema A5 ........................................................................... 41
Quadro 16: Soluo analtica para valores em , do problema A5 ............................ 41
Quadro 17: Solues analticas e numricas do problema A1 .................................. 42
Quadro 18: Erro relativo das solues numricas do problema A1........................... 42
Quadro 19: Solues analticas e numricas do problema A2 .................................. 44
Quadro 20: Erro relativo das solues numricas do problema A2........................... 44
Quadro 21: Solues analticas e numricas do problema A3 .................................. 46
Quadro 22: Erro relativo das solues numricas do problema A3........................... 46
Quadro 23: Solues analticas e numricas do problema A4 .................................. 48
Quadro 24: Erro relativo das solues numricas do problema A4........................... 48

Quadro 25: Solues analticas e numricas do problema A5 .................................. 50


Quadro 26: Erro relativo das solues numricas do problema A5........................... 50

SUMRIO

1 INTRODUO ....................................................................................................... 13
1.1 OBJETIVOS ........................................................................................................ 14
1.2 ORGANIZAO DO TRABALHO ....................................................................... 14
2 FUNDAMENTAO TERICA ............................................................................. 15
2.1 CONCEITOS BSICOS DE EQUAES DIFERENCIAIS ................................. 15
2.1.1 Classificao de uma ED ................................................................................. 15
2.1.2 Soluo de uma ED ......................................................................................... 17
2.2 CONCEITOS INTRODUTRIOS DOS MTODOS NUMRICOS DE PASSO
NICO PARA SOLUO DE PVI DE 1 ORDEM .................................................... 18
2.3 POLINMIO DE TAYLOR ................................................................................... 19
2.3.2 Erro de truncamento local ................................................................................ 21
2.3.3 Polinmio de Taylor para funes de duas variveis ....................................... 22
2.4 MTODOS DE EULER, HEUN E RUNGE-KUTTA ............................................. 22
2.4.1 Mtodo de Euler ............................................................................................... 23
2.4.2 Mtodo de Heun ............................................................................................... 24
2.4.3 Mtodos de Runge-Kutta.................................................................................. 26
2.4.4 Anlise do erro ................................................................................................. 31
3 MATERIAIS E MTODOS ..................................................................................... 32
3.1 METODOLOGIA .................................................................................................. 32
3.2 ALGORTIMOS ................................................................................................... 33
3.3 PROBLEMAS ...................................................................................................... 38
3.3.1 Problema A1..................................................................................................... 38
3.3.2 Problema A2..................................................................................................... 39
3.3.3 Problema A3..................................................................................................... 39
3.3.4 Problema A4..................................................................................................... 40

3.3.5 Problema A5..................................................................................................... 41


4 RESULTADOS E DISCUSSES ........................................................................... 42
4.1 COMENTRIO SOBRE OS RESULTADOS ENCONTRADOS .......................... 52
5 CONSIDERAES FINAIS ................................................................................... 53
REFERNCIAS ......................................................................................................... 54

13

1 INTRODUO

Muitos problemas fundamentais da mecnica, biologia, fsica, qumica,


economia, e nas diversas reas da engenharia so dados em termos de variaes
espaciais e/ou temporais, e definem mecanismos de variao (CHAPRA 2013, p.
547). A abordagem de tais problemas feita atravs de equaes diferenciais, que
envolve uma funo desconhecida e suas derivadas.

Para a cincia, a inveno do clculo diferencial foi um passo


gigantesco. Pela primeira vez na histria humana, a concepo de
infinito, que tinha intrigado filsofos e poeta desde tempos imemoriais,
tinha recebido uma definio matemtica precisa, que abria inmeras
possibilidades novas para a anlise dos fenmenos naturais. (CAPRA
2006, p. 104).

Para trabalhar com tais mecanismos de variao dentro de uma funo, h


vrios mtodos analticos para encontrar a soluo de equaes diferenciais.
Contudo, segundo Barroso et al (1987, p. 275), nem sempre possvel obter uma
soluo analtica.
Neste caso, os mtodos numricos so uma alternativa vlida para se
encontrar uma soluo aproximada. Segundo Chapra (2013, p. 1), os mtodos
numricos so ferramentas extremamente poderosas para resolver problemas de
modelagem matemtica, devido a sua capacidade em lidar com um grande nmero
de equaes, no linearidades e geometrias complexas. Portanto, uma boa
alternativa para se trabalhar com soluo numrica de equaes diferenciais.
Outro desafio, presente nos mtodos numricos, obter uma soluo numrica
que se encaixe dentro de limites razoveis, com o mnimo de erro possvel. Portanto,
muito importante ter conhecimento dos fatores que geram erros dentro da soluo
numrica, para procurar obter uma soluo cada vez mais precisa.
Nesse contexto, os mtodos de Euler, Heun e Runge-Kutta surgem como
alternativas viveis para resoluo de alguns tipos de equaes diferenciais. Neste
trabalho ser feito um estudo desses mtodos atravs de sua descrio terica,
seguida de um experimento computacional envolvendo a implementao desses
mtodos e finalmente uma anlise comparativa de seu desempenho.

14

Dessa forma, fica evidente a importncia do presente trabalho que vislumbra o


estudo e implementao de mtodos numricos, que so de suma importncia, pois
envolve a rea de clculo diferencial e integral, que uma rea fundamental para a
engenharia e possibilita a mesma resolver problemas de modelagem matemtica
virtualmente impossveis de se resolver analiticamente.

1.1 OBJETIVOS

Objetivo Geral
Estudar a aplicao do mtodo de Euler, mtodo de Heun, e o mtodo de

Runge-Kutta na resoluo de problemas de valor inicial, analisando os erros, e


comparando os resultados.

Objetivos Especficos

Analisar os aspectos tericos e prticos referentes aos mtodos numricos


de Euler, Heun e Runge-Kutta em sua formulao tradicional;

Efetuar um experimento computacional em problemas de teste j


consolidados na literatura, de forma a verificar o desempenho numrico, de
cada um dos mtodos estudados e comparar com os resultados analticos.

1.2 ORGANIZAO DO TRABALHO

O presente trabalho ser realizado com base em uma pesquisa bibliogrfica,


com o auxlio computacional, para a aplicao dos mtodos apresentados. Neste
captulo 1 foi introduzido o trabalho, apresentando a justificativa e objetivos do mesmo.
O captulo 2 apresenta a fundamentao terica, que ser a base do estudo. O
captulo 3 mostra os procedimentos metodolgicos adotados na realizao dos
experimentos computacionais executados no trabalho, as caractersticas do
computador utilizado nos testes, os algoritmos utilizados e os problemas abordados.
No captulo 4, esto os resultados dos experimentos, assim como a anlise, atravs
de grficos e tabelas. Por fim, o captulo 5 apresenta as consideraes finais do
trabalho.

15

2 FUNDAMENTAO TERICA

Neste tpico sero apresentados o problema abordado, conceitos tericos


bsicos de equaes diferenciais, classificao de equaes diferenciais, definio do
campo de estudo desse trabalho, apresentao dos mtodos numricos de Euler,
Heun e Runge-Kutta e a definio de alguns conceitos elementares que so
necessrios para a formulao matemtica destes mtodos.

2.1 CONCEITOS BSICOS DE EQUAES DIFERENCIAIS

A definio formal de equaes diferenciais, em sua etimologia, varia um pouco


de acordo com os autores. As definies apresentadas a seguir, contudo, preservam
a sua essncia.
Para Stewart (2013, p. 539), uma equao diferencial aquela que contm uma
funo desconhecida e uma ou mais de suas derivadas. J para Boyce e DiPrima
(2006, p. 1), Equaes que contm derivadas so chamadas de equaes
diferenciais.
Uma definio mais completa pode ser vista em Zill (1993, p. 2), que diz: Uma
equao que contm as derivadas ou diferencias de uma ou mais varveis
dependentes, em relao a uma ou mais variveis independentes, chamada de
Equao Diferencial (ED). Segundo Bronson e Costa (2006), essas variveis
dependentes podem tambm ser chamadas de funes incgnitas, visto que elas se
apresentam como desconhecidas no incio do problema.

2.1.1 Classificao de uma ED

As equaes diferenciais possuem caractersticas que nos permitem classificlas de acordo com suas propriedades especficas. Podemos classific-las de forma
geral, quanto ao seu tipo, ordem e linearidade:

16

Quanto ao tipo:

Uma ED pode ser classificada quanto ao tipo em: Equao Diferencial Ordinria
(EDO) e Equao Diferencial Parcial (EDP), onde o nmero de variveis na funo
incgnita iro definir seu tipo.
Bronson e Costa (2006, p. 15), mostra que uma EDO aquela em que a funo
incgnita depende de apenas uma varivel independente. Ou seja, a varivel
dependente da equao diferencial derivada em uma s varivel independente.
A forma geral de uma EDO, segundo Zill (1993, p. 5), dada por:
()

(1)

= (, , , , (1) )

(1)

Bronson e Costa (2006, p. 15) ainda, define a EDP como sendo aquela em que
a funo incgnita depende de duas ou mais variveis independentes, portanto uma
equao que envolve uma funo incgnita de mais de uma varivel e suas derivadas
parciais. Neste trabalho, entretanto, iremos abordar apenas as equaes diferenciais
ordinrias.

Quanto a ordem:

Tambm podemos classificar as equaes diferenciais quanto ordem das


derivadas, onde a ordem da equao diferencial , por definio, a ordem da derivada
de maior grau da equao. Portanto, uma EDO de n-sima ordem representada pela
equao (1).

Quanto a linearidade:

Boyce e DiPrima (2006, p. 12) definem como crucial a classificao quanto a


linearidade, ou seja, definir se uma equao diferencial linear ou no-linear. Essa
classificao toma como base os coeficientes que acompanham a funo incgnita e
suas derivadas.

17

Uma ED dita linear se a funo incgnita e suas derivadas, tem como


coeficientes, funes lineares. Portanto, uma EDO linear geral, de ordem , dada
por:
0 () + 1 () 1 + + () = ()

(2)

onde 0 () no nulo e (), para = 0,1, , , so funes que dependem


exclusivamente das variveis independentes. Alm disso, a varivel dependente e
todas as suas derivadas so de primeiro grau. Se a equao no atender a esses
critrios, classificada como no-linear.

2.1.2 Soluo de uma ED


Para Zill (1993, p. 4), quando analisamos uma ED em um intervalo , temos
que, quando uma funo (derivvel no intervalo ) substituda na equao
diferencial, reduz a mesma a uma identidade, dizemos que a funo soluo da
equao diferencial no intervalo .
Portanto, dada uma EDO de primeira ordem, da forma:

= (, )

(3)

onde (, ) uma funo implcita de na varivel , temos que, a soluo desta


equao diferencial dada por uma funo: = (), suficientemente derivvel, que
satisfaa a equao (3) em um dado intervalo.
A soluo geral de uma equao diferencial composta por uma famlia de
solues que dependem de um parmetro , que por sua vez gera uma famlia de
curvas, suficientemente derivveis, que satisfaam a equao diferencial no dado
intervalo. Quando resolvemos uma equao de -sima ordem, da forma da equao
(1), esperamos uma famlia a -parmetros de solues G(x, y, c1 , cn ) = 0.
Para obter uma soluo nica so necessrios parmetros ou condies
auxiliares para redefinir essa famlia de curvas em uma s curva. Segundo Barroso et
al (1987, p. 276), podem existir condies auxiliares cujo nmero coincide com a

18

ordem da EDO. Se essas condies se referem a um nico valor da varivel


independente, temos um Problema de Valor Inicial (PVI).
Se as condies auxiliares so especificadas para mais de um valor da varivel
independente, temos um problema de valores de contorno, onde as condies
auxiliares so condies de contorno.
Uma EDO da forma da equao (3), cuja condio inicial : (0 ) = 0 , um
exemplo de um PVI. Portanto, a soluo geral da EDO, que abrange uma famlia de
curvas, passa a ser uma soluo particular, representado pela curva () que passa
pelo ponto (0 , 0 ).

2.2 CONCEITOS INTRODUTRIOS DOS MTODOS NUMRICOS DE PASSO


NICO PARA SOLUO DE PVI DE 1 ORDEM

O campo de estudo desse trabalho consiste em analisar alguns tipos de


mtodos numricos para resoluo de equaes diferenciais. Para fins de anlise,
sero tratados aqui como problema, EDs do tipo: ordinria; de primeira ordem, linear;
e com PVI conhecido. Portanto, sero abordados problemas representados pela
seguinte equao:

= (, )
(4)

(0 ) = 0
onde (0 ) = 0 a condio inicial.
Segundo Chapra (2006, p. 551), [...] as condies iniciais, em geral, tm
interpretao fsica tangvel nas equaes diferenciais provenientes de situaes de
problemas fsicos reais. Portanto, a modelagem com equaes diferenciais
acompanhadas de condies auxiliares so uma ocorrncia muito comum na cincia.
Para resoluo desse tipo de problema, na abordagem numrica, mtodos
numricos so utilizados para aproximar solues de PVI. Existem diversos mtodos
que so aplicados nesta problemtica, utilizando de vrios artifcios matemticos.

19

Segundo Chapra (2006, p. 551), mtodos de passo nico trabalham com base
apenas na informao de um nico ponto, e calculam uma predio futura. Tomando
a equao (4) como base, os mtodos de passo nico calculam um valor para +1
(predio futura), com base no valor inicial .
A seguir, estudaremos alguns mtodos de passo nico, que so: o mtodo de
Euler; o mtodo de Heun; e mtodos de Runge-Kutta. Segundo Franco (2006, p. 405),
temos que um mtodo geral explcito de passo nico, representado pela seguinte
expresso:
+1 = + ( , , )

(5)

para = 0,1, , ( 1), onde uma funo que depende de , , chamada


funo incremento e o tamanho de passo.
Uma vez resolvida a equao (5), encontramos um valor aproximado para +1 .
Portanto, os mtodos que sero estudados a seguir, fornecero uma soluo
aproximada

para

EDO,

na

forma

de

pares

ordenados

do

tipo:

(1 ; 1 ), (2 , 2 ), , ( , ), onde = 1 + .
Para analisar a eficincia dos mtodos que sero estudados, necessrio
observar a diferena entre a soluo numrica encontrada e a soluo analtica. Para
tal anlise, a soluo real ou analtica ser representada pelo conjunto de pontos
((1 ), (2 ), , ( )). Portanto o erro relativo local definido como:
( )
|
( )

= |

100

(6)

onde = 0,1, , .

2.3 POLINMIO DE TAYLOR

Antes de introduzir os mtodos numricos a serem trabalhados, importante


conceituar o Polinmio de Taylor, pois o mesmo tem aplicao importante na
resoluo numricas de equaes diferenciais.

20

Representar funes em sries de potncia um passo importante na anlise


numrica. Chapra (2013, p.104) diz que, [...] o teorema de Taylor afirma que qualquer
funo suave pode ser aproximada por um polinmio. Essa uma ttica vlida, visto
que os polinmios apresentam derivadas e integrais elementares.
Segundo Stewart (2013, p. 680), se uma funo () possuir uma
representao em srie de potncias em , podemos representar a funo () por:

() =
=0

() = () +

()
1!

( ) +

() ()
( )
!

()
2!

( )2 + +

() ()
!

( )

(7)

A equao (7) chamada srie de Taylor de () em torno de .

Quando a equao (7) limitada em um termo finito, temos um Polinmio de


Taylor (()), de ordem , que dado por:

() = =0

() ()
!

( )

(8)

onde () representa um polinmio que tende a se aproxima da funo ().

Os mtodos numricos que sero estudados neste trabalho, como j foi citado,
apresentam a soluo em um conjunto de pontos , +1 , , , onde o ponto inicial
( ) sempre conhecido. Portanto, podemos usar o polinmio de Taylor para
aproximar +1 em torno de , por (+1 ), como segue na equao:

(+1 ) = =0

() ( )
!

( +1 )

(9)

Fazendo ( +1 ) = , temos:

(+1 ) = =0

() ( )
!

(10)

21

2.3.2 Erro de truncamento local

Chapra (2013, p. 106) mostra que, para fins prticos, a utilizao do polinmio
de Taylor resulta na incluso de apenas poucos termos da srie. A avaliao de
quantos termos so necessrios para encontrar um polinmio que obtenha uma boa
representao de uma dada funo baseada no resto da srie de Taylor.
Esse resto da srie de Taylor, que foi truncado, chamado Erro de
Truncamento Local ( ), onde o ndice , indica a ordem a ordem da srie de Taylor,
a partir de qual a mesma foi truncada.
Usando esse conceito, podemos, uma que seja conhecido o valor exato do
encontrar a soluo precisa de +1 , como segue na equao:
+1 = (+1 ) + ,

(11)

onde, segundo Barroso et al (1987, p. 283), temos que esse erro truncamento local,
dado pela seguinte equao:
+1

= (+1)! (+1) ()

(12)

para = 0,1, , ( 1), onde, algum valor de localizado em algum ponto entre
e +1 . Para mais informaes ver Barroso et al (1987, p. 283)
Nesta equao, temos dois impertinentes, que impedem a obteno de um
valor exato do . O primeiro o fato de no ser conhecido, e o segundo que
para calcular a equao (12) necessrio a ( + 1)-sima derivada da funo (),
enquanto a mesma desconhecida no contexto atual.
Contudo, segundo Chapra (2006), a equao (12) ainda til para a anlise do
erro presente em um polinmio de Taylor. Pois, h controle sobre o termo presente
na equao, onde o erro de truncamento local da ordem +1. Portanto, o mesmo
pode ser escrito como:

22

= (+1 )

(13)

onde = 0,1, , ( 1).


O termo da equao (13), indica apenas que a anlise do erro de truncamento
local ser feita a partir da quantificao da ordem do mesmo, pois o valor de
conhecido na anlise numrica. Deste modo podemos estabelecer um valor finito que
representa a ordem deste erro.

2.3.3 Polinmio de Taylor para funes de duas variveis

Podemos ainda determinar, de maneira anloga, a srie de Taylor para funes


de duas variveis. Dada uma funo (, ), que possui uma representao em srie
de potncia, podemos represent-la por:

(, ) = (0 , 0 ) + (0 , 0 ) ( 0 ) + (0 , 0 ) ( 0 ) + 2! ( 2 (0 , 0 ) (

2
2
1
0 )2 + 2 (0 , 0 ) ( 0 ) ( 0 ) + 2 (0 , 0 ) ( 0 )2 ) + + ! =0( )
()

( (0 , 0 ) ( 0 ) ( 0 ) )

(14)

onde a equao (14) chamada srie de Taylor de (, ) em torno de .

Os conceitos de polinmio de Taylor e erro de truncamento local, vistos nas


subsees anteriores, em relao a srie de Taylor para funes de uma varivel,
tambm se aplicam a srie de Taylor para funes de duas variveis.

2.4 MTODOS DE EULER, HEUN E RUNGE-KUTTA

Este tpico mostrar conceitos e definies relacionados a cada mtodo


apresentado a seguir. Conforme ser visto, os mtodos de Runge-Kutta de ordem
apresentam uma abordagem matemtica mais completa. Entretanto, os mtodos de
Euler e Heun possuem sua importncia.

23

2.4.1 Mtodo de Euler

O mtodo de Euler o mtodo mais antigo e simples para resoluo de


equaes diferenciais ordinrias. Desenvolvido por Euler (1707 1783) por volta de
1768, esse mtodo tambm chamado de mtodo da reta tangente, pois sua
abordagem feita a partir da equao da reta tangente.
Dado o PVI, definido na equao (4), deseja-se obter as aproximaes
1 , 2 , , para as solues exatas (1 ), (2 ), , ( ), uma vez que estas ltimas
so desconhecidas. Segundo Chapra (2006, p. 555), a primeira derivada da funo
= () em 0 , fornece uma estimativa direta da inclinao em 0 . Portanto, para
determinar a projeo aproximada de um ponto seguinte (1 ) em , feita uma
estimativa atravs desta inclinao, que definida pela funo da reta tangente a
curva no ponto (0 , 0 ), como pode ser visto graficamente:

Figura 1: Grfico de L(x) e f(x), onde L(x) a reta tangente a f(x) no ponto (0 , 0 ).
()
= ( )
( )

()

( ) =

Fonte: Autoria prpria (2016)

De acordo com Barroso et al (1987, p. 280), temos que, uma vez desconhecido
o valor de (1 ), adotamos 1 como aproximao para (1 ). Para determinar seu
valor, utilizada a equao da reta tangente (()), cuja equao definida por:
() = (0 ) + (0 ) (1 0 )

(15)

24

Portanto, dada a equao (15), podemos projetar o ponto seguinte (1 , 1 ).


Fazendo (1 0 ) = , (0 ) = (0 , 0 ) e (1 ) = 1, temos:
1 = 0 + (0 , 0 )

(16)

Para determinar o valor de 2 , avanam-se os ndices em (16), em uma


unidade. Portanto, por induo, a equao (16), pode ser escrita em relao ao ndice
, como segue:
+1 = + ( , )

(17)

onde = 0,1, , ( 1).

A equao (17) a forma explcita do mtodo de Euler, onde o mesmo


caracterizado como um mtodo de passo nico, com ( , , ) = ( , ).

2.4.2 Mtodo de Heun

Segundo Chapra (2013, p. 561), uma grande fonte de erro, no mtodo de Euler,
considerar que a derivada no incio do intervalo pode ser usada em todo o intervalo.
O mtodo de Heun, que tambm chamado de mtodo de Euler melhorado,
apresenta uma estratgia para melhorar a preciso da soluo numrica.
Uma das estratgias abordadas nesse mtodo, consiste em envolver a
determinao de duas derivadas, uma no ponto inicial e outra no ponto final, onde a
nova inclinao ser dada pela mdia das duas derivadas. As figuras 2 e 3 ilustram
essa abordagem:

25

Figura 2: Grfico mostrando a inclinao nos pontos ( , ) e


(+1 , +1 ).
()
+ = (+ )

Inclinao = (+ , + )

(+ )

()
Inclinao = ( , )
( ) =

Fonte: Autoria prpria (2016)

Figura 3: Grfico mostrando a nova inclinao em ( , ) gerando uma


nova reta ()

()
(+ )
+ = (+ )

()

( ) =

Inclinao =

Fonte: Autoria prpria (2016)

( , )+(+ ,+ )

Deste modo, tomando a equao (17), e substituindo ( , ) por

( , )+( , )
2

temos:

+1 = + 2 (( , ) + (+1 , +1 ))

(18)

Com = 0,1, , ( 1).

A equao (18) a forma explcita do mtodo de Heun, que pode ser obtida
fazendo ( , , ) =

( , )+(+1 ,+1 )
2

na equao (5).

26

Com o auxlio da figura 2 e 3, observamos que a distncia de (+1 ) e +1


tende a diminuir ao aplicar a nova estimativa de inclinao. Deste modo, de acordo
com a equao (6), o erro relativo local tambm tende a diminuir, aumentando,
portanto, a preciso da soluo numrica.
Segundo Chapra (2013, p. 563), h ainda uma possibilidade de abordar de
forma iterativa o mtodo de Heun, visto que na equao (18), o termo +1 se repete
em ambos os lados do sinal de igualdade.
Essa nova abordagem, consiste em utilizar o valor estimado de +1 , na
equao (18), para fornecer uma estimativa melhorada da soluo, de forma
sucessiva, dado um critrio de parada. Essa nova abordagem mostrada na equao
a seguir:

+1 = + 2 (( , ) + (+1 , +1 ))

(19)

para = 1,2, , e = 0,1, , ( 1)

Nesta equao, o ndice se refere as iteraes. Portanto, a medida que +1

for calculado, uma nova iterao feita, onde o valor encontrado de +1 devolvido
+1

a equao, para encontrar um novo valor, +1 . Esse processo repetido at =


ou quando um critrio de parada seja atingido.

2.4.3 Mtodos de Runge-Kutta

Os mtodos de Runge-Kutta so os mais populares e eficientes mtodos para


encontrar a soluo de problemas de valor inicial. Desenvolvidos pelos matemticos
Carl David Runge e M. Wilhelm Kutta, estes mtodos so muito atrativos devido a sua
fcil implementao, entre outros motivos.
Barroso et al (1987, p. 288), mostra que os mtodos que utilizam a frmula de
Taylor exibem alguns impertinentes computacionais, como complexas funes
analticas envolvendo derivadas de grau elevado. Entretanto, segundo Chapra (2013,
p.567), [...] os mtodos de Runge-Kutta (RK) alcanam a acurcia de uma abordagem

27

por srie de Taylor sem exigir clculos de derivadas de ordem superior, o que justifica
sua popularidade.
Os mtodos de RK, tomam como base a representao por polinmio de Taylor
e so classificados quanto a ordem, que definida atravs do ndice na funo
incremento, da equao (5), que dada por:
( , , ) = 1 1 + 2 2 + +

(20)

Os termos e sero ilustrados na sequncia.

Juntando as equaes (5) e (20), temos que, o mtodo de RK de n-sima ordem


dado por:
+1 = + (=1 )

(21)

Com = 0,1, , ( 1), onde so constantes e so funes dadas por:


1 = ( , )

(21.a)

2 = ( + 1 , + 11 1 )

(21.b)

3 = ( + 2 , + 21 1 + 22 2 )

(21.c)

(...)
= ( + 1 , + 1,1 1 + 1,2 2 + + 1,1 1 )

(21.d)

em que os termos e so constantes arbitrrias.

Para chegar na expresso final, aplicvel numericamente, necessrio seguir


uma srie de passos, conforme ser visto a seguir. Primeiro ser demostrado como o
Mtodo de RK de ordem 1 o prprio mtodo de Euler.
Fazendo = 1 em (21), temos que:
+1 = + (1 1 )

(22)

28

Expandindo +1 ( + ) em srie de Taylor em torno de , at (), temos:


+1 = ( ) + ( , ) + ()

(23)

Substituindo (21.a) em (22) e comparando as equaes (23) e (22), temos 1 =


1, resultando novamente na equao (17). Deste modo, temos que o mtodo de
Runge-Kutta de ordem 1, o mtodo de Euler, definido na subseo 2.4.1, onde o
erro de truncamento local dado por ().
Para os mtodos de RK de grau superior a um, teremos o acrscimo de
constantes e funes , conforme o grau do mtodo aumentado. Porm, a
sequncia de operaes para determinar estes termos, a mesma, conforme ser
visto na demonstrao do mtodo de Runge-Kutta de 2 ordem.
Seja, +1 dado pela equao (21), fazendo = 2 temos como incgnitas para
o mtodo, 1 , 2 , 1 2 , onde os dois primeiros so constantes e os dois ltimos so
funes, dadas respectivamente pelas equaes (21.a) e (21.b).
Primeiro, expandimos 2 em srie de Taylor de duas variveis, centrado em ( , )
at O(2 ):

2 = ( , ) + 1

( , )

+ 11 ( , )

( , )

+ (2 )

(24)

Substituindo as equaes (24) e (21.a) em (21), para = 2, temos:

+1 = + (1 ( , ) + 2 [( , ) + 1

( , )

+ 11 ( , )

( , )

]) + (3 )

+1 = + ( , ) (1 + 2 ) + 1 2 2
( , )

+ (3 )

( , )

+ 11 2 2 ( , )
(25)

Para determinar as constantes 1 , 2 , 1 2 , necessrio comparar com a


soluo terica, Barroso et al (1987, p. 289) sugere que, o prximo passo consiste em

29

expandir, em srie de Taylor, a soluo terica (+1 ) ( + ) em torno de at


o termo (3 ), como segue na equao:
( , )

( + ) = ( ) + ( , ) + 2! [

( + ) = ( ) + ( , ) +

+ ( , )

( , )
2

( , )

] + (3 )

( , ) ( , )
2

+ (3 )

(26)

Comparando os termos de mesma potncia nas equaes (25) e (26), temos o


sistema:
1 + 2 = 1
1

{ 1 2 = 2
1
11 2 = 2

(27)

O sistema (27) tem 4 variveis para 3 equaes. Deste modo, tomamos uma
1

das incgnitas arbitrariamente, com o objetivo de resolver o sistema. Para 2 = 2,


temos, 1 = 1 e 11 = 1 e 1 = 1. Logo o RK de segunda ordem para esses valores
ser:

+1 = + 2 (1 + 2 )

(28)

para = 0,1, , ( 1), onde, 1 = ( , ) e 2 = ( + , + ( , ))


Observamos para esses termos que 1 e 2 , se referem respectivamente a
inclinao no incio e no final do intervalo. Portanto, o mtodo de Runge-Kutta de
segunda ordem para esses valores das constantes na realidade o mtodo de Heun,
sem iterao, definido na subseo 2.4.2, onde este apresenta um erro de (3 ).
1

J para 2 = 1, temos, 1 = 2, 11 = 2 e 1 = 0, logo, temos:


+1 = + 2

(29)

30

para = 0,1, , ( 1), onde:


1 = ( , )

(29.a)

2 = ( + 2 , + 1 )

(29.b)

Como observado, podemos escolher arbitrariamente infinitos valores para 2 ,


resultando em infinitas formas de representar o mtodo de RK de 2 ordem.
Mostramos, a ttulo de ilustrao, apenas 2 exemplos de verses mais utilizadas na
prtica.
Segundo Chapra (2013, p. 570) e Barroso et al (1987, p. 292), dentre os
mtodos de Runge-Kutta, os de quarta ordem so os mais populares, por
apresentarem maior preciso na prtica.
A obteno da expresso destes mtodos segue os mesmos passos vistos na
deduo das frmulas do RK de ordem 2, porm, aumentando dois termos, na srie
de Taylor truncada.
Repetindo os passos algbricos, descritos nessa subseo, temos que o
mtodo de Runge-Kutta de quarta ordem fornece um sistema de 11 equaes e 13
variveis, onde cada soluo deste sistema define um mtodo de RK de ordem 4, com
um erro de truncamento local de (5 ).
Portanto, assim como nos mtodos de RK de segunda ordem, existem infinitas
formas de representar o mtodo de RK de quarta ordem. Neste trabalho, entretanto,
utilizaremos apenas a forma mais popular, chamada Mtodo de Runge-Kutta de
quarta ordem clssico, cuja equao dada por:

+1 = + 6 (1 + 22 + 23 + 4 )

(30)

para = 0,1, , ( 1), onde:


1 = ( , )

(30.a)

2 = ( + 2 , + 2 1 )

(30.b)

3 = ( + 2 , + 2 2 )

(30.c)

4 = ( + , + 3 )

(30.d)

31

2.4.4 Anlise do erro

Uma vez definido os mtodos de Euler, Heun e Runge-Kutta importante ter


conhecimento sobre a fonte de erro resultante de suas formulaes matemticas. Na
subseo 2.4.3 foi mostrado que o mtodo de Euler e Heun referem-se
respectivamente, aos mtodos de RK de ordem 1 e 2. Portanto, podemos relacionar
a preciso dos mtodos ao nmero de termos da srie de Taylor usado na formulao
de cada mtodo.
Na subseo 2.3.2 foi mostrado uma anlise do erro de truncamento local. Essa
abordagem extremamente til quando se utiliza mtodos numricos com base em
expanso em srie de Taylor, uma vez que se tem controle no valor de . Por exemplo:
para um erro de (), ao dividir o tamanho de passo para a metade, o erro tambm
ser reduzido a metade, j para um erro de (2 ), dividir o tamanho de passo pela
metade, far com que o erro seja reduzido a um quarto.
A partir deste procedimento, podemos observar que o mtodo de Runge-Kutta
de quarta ordem clssico tende a apresentar uma soluo numrica mais precisa, pois
apresenta um erro de (5 ) em sua formulao matemtica, ao passo que os mtodos
de Heun e Euler, apresentam respectivamente um erro de (2 ) e (3 ). Os
experimentos computacionais envolvendo os mtodos sero teis para comprovar
essa tese, como ser visto nos prximos captulos.

32

3 MATERIAIS E MTODOS

3.1 METODOLOGIA

Este trabalho objetiva estudar mtodos numricos, cujo finalidade aproximar


a soluo de Equaes Diferenciais Ordinrias de primeira ordem. A metodologia do
presente trabalho consiste na implementao e anlise de destes mtodos numricos
atravs da resoluo de problemas registrados na literatura.
Os mtodos utilizados foram: o mtodo de Euler; mtodo de Heun, na forma
direta e iterativa; e o mtodo de Runge-Kutta de quarta ordem clssico. Estes mtodos
so classificados como de passo nico, onde sua abordagem exclui o clculo de
derivadas e integrais, que por sua vez so impertinentes computacionais.
Os parmetros necessrios para implementao destes mtodos so: intervalo
de pontos em , onde se deseja analisar a soluo; O valor inicial de , cuja
informao vinculada ao PVI; e o tamanho de passo. Estes parmetros so
especficos para cada problema, conforme ser visto.
No caso especfico do mtodo de Heun na forma iterativa, necessrio um
parmetro extra, que o critrio de parada. Neste trabalho, iremos usar como critrio
de parada = 104 , onde:

=|

+1 +1

+1

| 100.

(31)

para = 0,1, , ( 1), e variando de 1, passo 1 at o critrio de parada ser


atingido.

A aplicao dos mtodos nos problemas selecionados, foram feitos com auxlio
computacional. As configuraes do computador utilizado no teste esto indicadas
nos quadros a seguir:

33

Quadro 1: Dados referentes ao computador utilizado nos testes


Fabricante:
Modelo:
Processador:
Memria RAM:
HD:

CARACTERSTICAS GERAIS
Acer
Aspire E1-471
Intel(R) Core(TM) i3-2348M CPU @ 2.30GHz 2.30 GHz
2 GB
249 GB

Fonte: Manual do fabricante 2012.

Quadro 2: Dados referentes ao sistema operacional utilizado nos testes


CARACTERSTICAS GERAIS
Fabricante:
Microsoft
Modelo:
Windows 10 Profissional 64 bits
Fonte: Manual do fabricante 2012.

Para a realizao dos testes, o software utilizado foi o Scilab, que um software
livre para computao numrica. O mesmo encontrado para download no site do
desenvolvedor em: < http://www.scilab.org/ >, onde encontra-se tambm, informaes
referentes ao software como manuais e caractersticas da verso. Para
implementao neste trabalho foi usado a verso 5.5.2, para Windowns 64 bits.

3.2 ALGORTIMOS

Os algoritmos usados nos testes computacionais, so mostrados a seguir, nos


quadros 3, 4 e 5, onde cada algoritmo se refere um mtodo, definido na descrio
terica. Os cdigos nestes quadros so mostrados em portugus estruturado, para
fins ilustrativos.

34

Quadro 3: Algoritmo usado para o mtodo de Euler


Algoritmo: Mtodo de Euler
Declare
_
_
_

(inicio do intervalo em x)
(fim do intervalo em x)
(valor inicial de y)
(tamanho de passo)
(vetor com os valores de x)
(vetor com os valores da soluo numrica)
(funo na varivel x e y, da equao diferencial)

Numrico
Leia _, _, _, ,
[_: : _]
_
_(1) _
Para de 1 at (_ _)/ faa
_( + 1) _() + ((), _())
Fim para
Escreva _
Fonte: Autoria prpria (2016)

35

Quadro 4: Algoritmo usado para o mtodo de Heun direto


Algoritmo: Mtodo de Heun (direto)
Declare
_
_
_

__

(varivel com o inicio do intervalo em x)


(varivel com o fim do intervalo em x)
(varivel com o valor inicial de y)
(varivel com o tamanho de passo)
(varivel auxiliar)
(vetor com os valores de x)
(vetor com os valores da soluo numrica)
(funo na varivel x e y, da equao diferencial)

Numrico
Leia _, _, _, ,
[_: : _]
__
__(1) _
Para de 1 at (_ _)/ faa
_ () + ((), ())
__( + 1) __() + (/2) (((), __) +
+(( + 1), _))
Fim para
Escreva __
Fonte: Autoria prpria (2016)

36

Quadro 5: Algoritmo usado para o mtodo de Heun iterativo


Algoritmo: Mtodo de Heun (iterativo)
Declare
_
_
_

_
_2

__

(varivel com o inicio do intervalo em x)


(varivel com o fim do intervalo em x)
(varivel com o valor inicial de y)
(varivel com o tamanho de passo)
(varivel auxiliar)
(varivel auxiliar)
(varivel auxiliar)
(vetor com os valores de x)
(vetor com os valores da soluo numrica)
(funo na varivel x e y, da equao diferencial)
(varivel que mede o nmero de iteraes)

Numrico
Leia _, _, _, ,
[_: : _]
__
__(1) _
Para de 1 at (_ _)/ faa
_ __() + ((), __())
_2 _
1000
Enquanto > 0,0001 faa
__( + 1) __() + (/2)
(((), __()) +
+(( + 1), _2))
|((__( + 1) _2)/(__( + 1))| 100
_2 __( + 1)
Fim enquanto
1000
Fim para
Escreva __
Fonte: Autoria prpria (2016)

37

Quadro 6: Algoritmo usado para o mtodo de Runge-Kutta


Algoritmo: Mtodo de Runge-Kutta
Declare
_
_
_

1
2
3
4

(varivel com o inicio do intervalo em x)


(varivel com o fim do intervalo em x)
(varivel com o valor inicial de y)
(varivel com o tamanho de passo)
(varivel auxilar)
(varivel auxilar)
(varivel auxilar)
(varivel auxilar)
(vetor com os valores de x)
(vetor com os valores da soluo numrica)
(funo na varivel x e y, da equao diferencial)

Numrico
Leia _, _, _, ,
[_: : _]
_
_(1) _
Para de 1 at (_ _)/ faa
1 ((), _())
2 ((() + 0.5 ), (_() + 0.5 1 ))
3 ((() + 0.5 ), (_() + 0.5 2 ))
4 ((() + ), (_() + 3 )
_( + 1) _() + (/6) (1 + 2 2 + 2 3 + 4)
Fim para
Escreva _rk
Fonte: Autoria prpria (2016)

38

3.3 PROBLEMAS

Para a anlise dos mtodos numricos estudados at ento, foram separados


5 problemas, cujo objetivo determinar em todos, a soluo numrica do problema
de valor inicial dado, em um determinado intervalo.
Os dados dos problemas sero dados em um quadro, conforme ser visto,
contendo: a equao diferencial ordinria; o intervalo de pontos em ; o ponto inicial
em ; o tamanho de passo ; bem como um quadro contendo os pontos da soluo

analtica no intervalo analisado. Para todos os problemas ser adotado = .

3.3.1 Problema A1

O problema A1 foi retirado do Chapra (2013, p. 557) e possui as seguintes


caractersticas:

Quadro 7: Dados do problema A1


Caractersticas Gerais
EDO: = (, )
= 4 0,8 0,5
Intervalo: = [ ; ]
= [0; 4]
Ponto inicial: ( ) =
(0) = 2
Tamanho de passo:
=1
Fonte: Chapra (2013)

Para esse problema de valor inicial, temos como soluo analtica, a funo:
4

= 1,3 ( 0,8 0,5 ) + 2 0,5 . Aplicando a soluo para alguns valores em , e


adotando 5 casas decimais, obtemos:

Tabela 8: Soluo analtica para valores em I, do problema A1

0
2

1
6,19463

Fonte: Autoria prpria (2016)

2
14,84392

3
33,67717

4
75,33896

39

3.3.2 Problema A2

O problema A2 foi retirado do Burden (2013, p.248) e possui as seguintes


caractersticas:

Quadro 9: Dados do problema A2


Caractersticas Gerais
EDO: = (, )
Intervalo: = [ ; ]
Ponto inicial: ( ) =
Tamanho de passo:

= + 1
= [0; 2]
(0) = 0,5
= 0,2

Fonte: Burden (2013)

Para esse problema de valor inicial, temos como soluo analtica, a funo:
= ( + 1)2 0,5 . Aplicando a soluo para alguns valores em , e adotando 5
casas decimais, obtemos:

Quadro 10: Soluo analtica para valores em I, do problema A2


0,2
0,4
0,6
0,8
1
1,2
1,4
1,6
1,8
2
0
0,5 0,8293 1,21409 1,64894 2,12723 2,64086 3,17994 3,7324 4,28348 4,81518 5,30547

Fonte: Autoria prpria (2016)

3.3.3 Problema A3

O problema A3 foi retirado do Franco (2006, p. 404) e possui as seguintes


caractersticas:
Quadro 11: Dados do problema A3
Caractersticas Gerais

EDO: = (, )
Intervalo: = [ ; ]
Ponto inicial: ( ) =
Tamanho de passo:
Fonte: Franco (2006)

= 2 +
= [0; 2]
(0) = 1
= 0.2

40

Para esse problema de valor inicial, temos como soluo analtica, a funo:
=

2 1

. Aplicando a soluo para alguns valores em , e adotando 5 casas

decimais, obtemos:

Quadro 12: Soluo analtica para valores em I, do problema A3


0,2
0,4
0,6
0,8
1
1,2
1,4
1,6
1,8
2
0
1 1,22408 1,515474 1,90636 2,43662 3,15485 4,12035 5,40560 7,09910 9,30894 12,16717

Fonte: Autoria prpria (2016)

3.3.4 Problema A4

O problema A4 foi retirado do Stewart (2013, p.545) e possui as seguintes


caractersticas:

Quadro 13: Dados do problema A4


Caractersticas Gerais

EDO: = (, )
Intervalo: = [ ; ]
Ponto inicial: ( ) =
Tamanho de passo:

= +
= [0; 1]
(0) = 1
= 0,1

Fonte: Stewart (2013)

Para esse problema de valor inicial, temos como soluo analtica, a funo:
= 1 + 2 . Aplicando a soluo para alguns valores em , e adotando 5
casas decimais, obtemos:

Quadro 14: Soluo analtica para valores em I, do problema A4


0,1
0,2
0,3
0,4
0,5
0,6
0,7
0,8
0,9
1
0
1 1,11034 1,24281 1,39972 1,58365 1,79744 2,04424 2,32751 2,65108 3,01921 3,43656

Fonte: Autoria prpria (2016)

41

3.3.5 Problema A5

O problema A5 foi retirado do Boyce e DiPrima (2006, p. 236) e possui as


seguintes caractersticas:

Quadro 15: Dados do problema A5


Caractersticas Gerais

EDO: = (, )
Intervalo: = [ ; ]
Ponto inicial: ( ) =
Tamanho de passo:

= 1 + 4
= [0; 0.5]
(0) = 1
= 0,05

Fonte: Boyce e DiPrima (2006)

Para esse problema de valor inicial, temos como soluo analtica, a funo:
1

19

= 4 16 + 16 4 . Aplicando a soluo para alguns valores em , e adotando 5


casas decimais, obtemos:

Quadro 16: Soluo analtica para valores em I, do problema A5


0,1
0,2
0,3
0,4
0,5
0,6
0,7
0,8
0,9
1
0
1 1,27542 1,60904 2,01377 2,50533 3,10296 3,83014 4,71555 5,79423 7,10896 8,712

Fonte: Autoria prpria (2016)

42

4 RESULTADOS E DISCUSSES

Sero mostrados a seguir os resultados obtidos a partir da implementao dos


mtodos numricos discutidos nesse trabalho, em cada problema citados no captulo
anterior, utilizando os algoritmos mostrados nos quadros 3, 4, 5 e 6.
A anlise dos resultados ser feita a partir de 2 quadros e 1 figura. O primeiro
quadro contm, respectivamente, em suas colunas: os pontos analisados; os valores
da soluo analtica; seguidas das solues numricas de Euler, Heun na forma
direta, Heun na forma iterativa e Runge-Kutta de quarta ordem.
No segundo quadro ser mostrada, respectivamente, os pontos analisados e
os erros relativos dos mtodos numricos citados na primeira tabela, em relao a
soluo analtica. Por fim, ser mostrado uma figura, contendo um grfico que
apresenta a curva da soluo analtica e das solues numricas, no intervalo de
pontos analisados em cada problema.

Resultados do problema A1:

Quadro 17: Solues analticas e numricas do problema A1

0
1
2
3
4

()
2,00000
6,19463
14,84392
33,67717
75,33896

()
2,00000
5,00000
11,40216
25,51321
56,84931

( ) ( ) ()
2,00000
2,00000
2,00000
6,70108
6,36087
6,20104
16,31978
15,30224
14,86248
37,19925
34,74327
33,72135
83,33777
77,73508
75,43917

Fonte: Fonte prpria (2016)

Quadro 18: Erro relativo das solues numricas do problema A1


%() %( ) %( )
0
0,00000
0,00000
0,00000
1 19,28495
8,17564
2,68352
2 23,18631
9,94252
3,08756
3 24,24182
10,45835
3,16564
4 24,54195
10,61709
3,18044
Fonte: Fonte prpria (2016)

%()
0,00000
0,10341
0,12505
0,13118
0,13301

43

Figura 4: Curvas das solues analticas e numricas do problema A1

PROBLEMA A1
Analtico

Euler

Heun direto

Heun iterativo

Runge-Kutta

90,0
80,0
70,0

EIXO Y

60,0
50,0

40,0
30,0
20,0

10,0
0,0
0

EIXO X

Fonte: Autoria prpria (2016)

De acordo com os resultados obtidos nos testes, podemos observar que o


mtodo de Runge-Kutta de quarta ordem clssico obteve maior xito, pois apresentou
valores da soluo numrica mais prximas da analtica e consequentemente, um erro
relativo menor, conforme visto nos quadros 17 e 18. Nessa anlise tambm podemos
destacar o refinamento na preciso numrica do mtodo de Heun na forma iterativa
em relao a forma direta.
A figura 4 nos mostra o comportamento das solues numricas e analtica
dentro do intervalo analisado no problema. Nesta figura, podemos observar que os
mtodos de Euler e Heun direto, fornecem uma soluo que converge para uma
estimativa de erro cada vez maior, enquanto os mtodos de Heun iterativo e RungeKutta obtiveram uma aproximao melhor.

44

Resultados do problema A2:

Quadro 19: Solues analticas e numricas do problema A2


()
0,50000
0,82930
1,21409
1,64894
2,12723
2,64086
3,17994
3,73240
4,28348
4,81518
5,30547

0
0,2
0,4
0,6
0,8
1
1,2
1,4
1,6
1,8
2

()
0,50000
0,80000
1,15200
1,55040
1,98848
2,45818
2,94981
3,45177
3,95013
4,42815
4,86578

( ) ( )
0,50000
0,50000
0,82600
0,82889
1,20692
1,21309
1,63724
1,64711
2,11024
2,12424
2,61769
2,63629
3,14958
3,17325
3,69369
3,72286
4,23510
4,27016
4,75562
4,79686
5,23305
5,28061

()
0,50000
0,82929
1,21408
1,64892
2,12720
2,64082
3,17989
3,73234
4,28341
4,81509
5,30536

Fonte: Autoria prpria (2016)

Quadro 20: Erro relativo das solues numricas do problema A2

0
0,2
0,4
0,6
0,8
1
1,2
1,4
1,6
1,8
2

%()
0,00000
3,53294
5,11393
5,97599
6,52255
6,91756
7,23694
7,51866
7,78235
8,03756
8,28743

Fonte: Autoria prpria (2016)

%( )
0,00000
0,39776
0,59037
0,70944
0,79887
0,87742
0,95482
1,03724
1,12961
1,23688
1,36496

%( )
0,00000
0,04941
0,08247
0,11129
0,14054
0,17290
0,21053
0,25568
0,31108
0,38037
0,46865

%()
0,00000
0,00064
0,00094
0,00113
0,00126
0,00138
0,00149
0,00161
0,00173
0,00188
0,00205

45

Figura 5: Curvas das solues analticas e numricas do problema A2

PROBLEMA A2
Analtico

Euler

Heun direto

Heun iterativo

Runge-Kutta

6,0

5,0

4,0

3,0

2,0

1,0

0,0
0

0,2

0,4

0,6

0,8

1,2

1,4

1,6

1,8

Fonte: Autoria prpria (2016)

Com vista os resultados obtidos nos testes, observamos, que o mtodo de


Runge-Kutta alcanou maior preciso, na soluo numrica, conforme visto no quadro
20, em relao aos demais mtodos analisados. Destacamos tambm que o mtodo
de Heun na forma iterativa foi mais preciso que na forma direta.
A figura 5 nos mostra o comportamento das solues numricas e analtica
dentro do intervalo analisado no problema. Podemos observar na figura que a curva
da soluo numrica de Euler fornece uma soluo que converge para uma estimativa
de erro cada vez maior em relao aos outros mtodos.

46

Resultados do problema A3:

Quadro 21: Solues analticas e numricas do problema A3


()
1,00000
1,22421
1,51547
1,90636
2,43662
3,15485
4,12035
5,40560
7,09910
9,30894
12,16717

0
0,2
0,4
0,6
0,8
1
1,2
1,4
1,6
1,8
2

()
1,00000
1,20000
1,44800
1,76960
2,19552
2,76262
3,51515
4,50618
5,79941
7,47130
9,61356

( ) ( ) ()
1,00000
1,00000
1,00000
1,22400
1,22667
1,22421
1,51408
1,52148
1,51547
1,90238
1,91737
1,90634
2,42810
2,45456
2,43660
3,13908
3,18224
3,15481
4,09368
4,16051
4,12029
5,36309
5,46285
5,40550
7,03417
7,17904
7,09895
9,21289
9,41882
9,30873
12,02852
12,31634
12,16686

Fonte: Autoria prpria (2016)

Quadro 22: Erro relativo das solues numricas do problema A3

0
0,2
0,4
0,6
0,8
1
1,2
1,4
1,6
1,8
2

%()
0,00000
1,97746
4,45234
7,17371
9,89496
12,43235
14,68812
16,63870
18,30772
19,74064
20,98772

Fonte: Autoria prpria (2016)

%( )
0,00000
0,01701
0,09199
0,20871
0,34975
0,49963
0,64727
0,78636
0,91457
1,03185
1,13950

%( )
0,00000
0,20081
0,39640
0,57753
0,73609
0,86827
0,97473
1,05907
1,12606
1,18038
1,22601

%()
0,00000
0,00013
0,00036
0,00064
0,00096
0,00128
0,00158
0,00186
0,00210
0,00233
0,00253

47

Figura 6: Curvas das solues analticas e numricas do problema A3

PROBLEMA A3
14

Analtico

Euler

Heun direto

Heun iterativo

Runge-Kutta

12

10

0
0

0,2

0,4

0,6

0,8

1,2

1,4

1,6

1,8

Fonte: Autoria prpria (2016)

Neste problema o mtodo de Runge-Kutta, tambm se sobressaiu em relao


aos demais mtodos, conforme observado no quadro 22. Entretanto, neste problema,
destacamos o fato que o mtodo de Heun na forma direta obteve uma soluo
numrica mais prxima da analtica, em comparativo com a forma iterativa. Desta
forma, fica evidente que o nmero de iteraes realizadas no refinou a soluo.
A figura 6 nos mostra o comportamento das solues numricas e analtica
dentro do intervalo analisado no problema, onde podemos observar que a estimativa
de soluo, pelo mtodo de Euler, mais uma vez, converge para um erro relativo cada
vez maior. Enquanto os demais mtodos obtiveram uma aproximao melhor.

48

Resultados do problema A4:

Quadro 23: Solues analticas e numricas do problema A4


()
1,00000
1,11034
1,24281
1,39972
1,58365
1,79744
2,04424
2,32751
2,65108
3,01921
3,43656

0
0,1
0,2
0,3
0,4
0,5
0,6
0,7
0,8
0,9
1

()
1,00000
1,10000
1,22000
1,36200
1,52820
1,72102
1,94312
2,19743
2,48718
2,81590
3,18748

( ) ( )
1,00000
1,00000
1,11000
1,11053
1,24205
1,24321
1,39847
1,40039
1,58180
1,58465
1,79489
1,79882
2,04086
2,04606
2,32315
2,32986
2,64558
2,65405
3,01236
3,02290
3,42816
3,44110

()
1,00000
1,11034
1,24281
1,39972
1,58365
1,79744
2,04424
2,32750
2,65108
3,01921
3,43656

Fonte: Autoria prpria (2016)

Quadro 24: Erro relativo das solues numricas do problema A4

0
0,1
0,2
0,3
0,4
0,5
0,6
0,7
0,8
0,9
1

%()
0,00000
0,93141
1,83500
2,69466
3,50137
4,25174
4,94637
5,58844
6,18254
6,73392
7,24790

Fonte: Autoria prpria (2016)

%( )
0,00000
0,03079
0,06079
0,08947
0,11652
0,14181
0,16535
0,18724
0,20761
0,22664
0,24449

%( )
0,00000
0,01661
0,03281
0,04830
0,06290
0,07657
0,08929
0,10111
0,11213
0,12241
0,13206

%()
0,00000
0,00002
0,00003
0,00004
0,00006
0,00007
0,00008
0,00009
0,00010
0,00011
0,00012

49

Figura 7: Curvas das solues analticas e numricas do problema A4

PROBLEMA 4
Analtico

Euler

Heun direto

Heun iterativo

Runge-Kutta

4,0
3,5
3,0

2,5
2,0
1,5
1,0
0,5
0,0
0

0,1

0,2

0,3

0,4

0,5

0,6

0,7

0,8

0,9

Fonte: Autoria prpria (2016)

Neste problema, mais uma vez o mtodo de Runge-Kutta obteve a melhor


preciso na sua soluo numrica, com um erro relativo tendendo a aproximadamente
104 %. Em relao ao mtodo de Heun, a maior preciso pode ser vista na sua forma
iterativa.
A figura 7 nos mostra o comportamento das solues numricas e analtica
dentro do intervalo analisado no problema. Nesta figura podemos observar que os
mtodos de Euler, fornecem uma soluo que converge para uma estimativa de erro
cada vez maior, ao passo que os outros mtodos alcanaram, segundo a figura, uma
preciso melhor.

50

Resultados do problema A5:

Quadro 25: Solues analticas e numricas do problema A5

0
0,05
0,1
0,15
0,2
0,25
0,3
0,35
0,4
0,45
0,5

()
1,00000
1,27542
1,60904
2,01377
2,50533
3,10296
3,83014
4,71555
5,79423
7,10896
8,71200

()
1,00000
1,25000
1,54750
1,90200
2,32490
2,82988
3,43336
4,15503
5,01853
6,05224
7,29019

( ) ( )
1,00000
1,00000
1,27375
1,27639
1,60498
1,60904
2,00632
2,01377
2,49321
2,51243
3,08447
3,11380
3,80305
3,84604
4,67697
4,73821
5,74040
5,82587
7,03504
7,15245
8,61175
8,77105

()
1,00000
1,27541
1,60903
2,01375
2,50531
3,10292
3,83009
4,71547
5,79412
7,10881
8,71181

Fonte: Autoria prpria (2016)

Quadro 26: Erro relativo das solues numricas do problema A5

0
0,05
0,1
0,15
0,2
0,25
0,3
0,35
0,4
0,45
0,5

%()
0,00000
1,99274
3,82475
5,55010
7,20184
8,80062
10,35949
11,88669
13,38735
14,86459
16,32021

Fonte: Autoria prpria (2016)

%( )
0,00000
0,13061
0,25275
0,36978
0,48377
0,59600
0,70730
0,81816
0,92892
1,03975
1,15076

%( )
0,00000
0,07630
0,14778
0,21641
0,28337
0,34943
0,41506
0,48056
0,54611
0,61182
0,67776

%()
0,00000
0,00026
0,00050
0,00073
0,00095
0,00117
0,00139
0,00161
0,00183
0,00205
0,00227

51

Figura 8: Curvas das solues analticas e numricas do problema A5

PROBLEMA A5
Analtico

Euler

Heun direto

Heun iterativo

Runge-Kutta

10,0
9,0

8,0
7,0

6,0
5,0
4,0
3,0
2,0
1,0
0,0
0

0,05

0,1

0,15

0,2

0,25

0,3

0,35

0,4

0,45

0,5

Fonte: Autoria prpria (2016)

O problema A5, nos mostra mais uma vez, o mtodo de Runge-Kutta de quarta
ordem clssico, como a melhor aproximao da soluo analtica, dentre os mtodos
analisados, seguido pelo mtodo de Heun iterativo, mtodo de Heun direto e, por fim,
o mtodo de Euler.
A figura 8 nos mostra o comportamento das solues numricas e analtica
dentro do intervalo analisado no problema. Nesta figura vemos que a curva
representando a soluo numrica de Euler se distancia cada vez mais da soluo
analtica, enquanto os outros mtodos possuem um erro menor, confirmando os dados
do quadro 26.

52

4.1 COMENTRIO SOBRE OS RESULTADOS ENCONTRADOS

Comparando os resultados de todos os problemas, podemos constar que o


mtodo de Runge-Kutta de quarta ordem clssico, em todos os problemas, obteve a
melhor aproximao, em sua soluo numrica, portanto se mostrou como o mtodo
mais eficiente para resolver problema de valor incial de primeira ordem.
Em relao ao mtodo de Heun, com exceo do problema A1, A2, A4 e A5,
vimos que o mtodo que obteve a segunda melhor aproximao, em sua soluo
numrica, foi o mtodo de Heun iterativo, seguido do mtodo de Heun direto. No
problema A3, entretanto, vimos atravs dos resultados obtidos, que o mtodo de Heun
na forma direta obteve uma preciso numrica maior que na forma iterativa. J em
relao ao mtodo de Euler, foi visto que este alcanou a preciso mais baixa, em
relao aos mtodos analisados, em todos os problemas.
Os resultados obtidos, conforme foi mostrado, atenderam ao que se era
esperado, uma vez que foi analisado o erro de truncamento local de cada mtodo. A
partir da anlise na subseo 2.4.4, foi constatado que o mtodo de Runge-Kutta de
quarta ordem, tendia a apresentar uma maior preciso numrica, seguido do mtodo
de Heun, que tendia a apresentar uma estimativa de soluo mais precisa do que o
mtodo de Euler. Ambas as teses foram comprovadas com sucesso no experimento
computacional realizado.

53

5 CONSIDERAES FINAIS

Neste trabalho foi apresentado um estudo e implementao de 3 mtodos


numricos para resoluo de problemas de valor inicial, que foram, o mtodo de Euler,
o mtodo de Heun (direto e iterativo) e o mtodo de Runge-Kutta de quarta ordem
clssico, onde estes so classificados como de passo nico. Foi discutida a
importncia destes mtodos, visto que no h o clculo de derivadas e integrais em
suas formulaes matemticas, e possuem fcil implementao computacional.
O objetivo deste trabalho foi alcanado, uma vez que foi demostrado a
eficincia destes mtodos a partir da resoluo de 5 problemas. Vimos tambm, a
partir da anlise dos resultados obtidos, que o mtodo de Runge-Kutta apresentou
uma maior preciso numrica em todos os problemas analisados, como j era
esperado, devido ao estudo do erro de truncamento local.
Tendo em vista a abordagem matemtica mais simples, os outros mtodos
tambm alcanaram resultados razoveis, destacando-se o mtodo de Heun, que
mesmo com poucas modificaes na formulao matemtica em relao ao mtodo
de Euler, apresentou uma estimativa de erro consideravelmente menor em todos os
problemas analisados.
Ainda sobre o mtodo de Heun, neste trabalho, foi realizado o experimento
computacional deste mtodo, tanto na forma direta, quanto iterativa. Foi constatado
nos problemas A1, A2, A4 e A5 que as iteraes realizadas conseguiram aproximar
mais a soluo numrica da soluo analtica, entretanto, no problema A4 o mtodo
direto obteve uma soluo numrica mais precisa. Desta forma ficou evidente que o
mtodo de Heun na forma iterativa no garante o refinamento da soluo numrica
do mtodo de Heun direto.

Sugestes para trabalhos futuros:

Neste trabalho foram utilizados mtodos numricos, classificados como de


passo nico. Segue como sugesto de trabalhos futuros, analisar resolues de
problemas de valor inicial, utilizando mtodos de passo mltiplo, comparando a
eficincia numrica com os mtodos demonstrados neste trabalho.

54

REFERNCIAS

BARROSO, Lenidas C. et al. Clculo Numrico (com aplicaes). 2. ed. So


Paulo: Habra, 1987.

BOYCE, William E; DIPRIMA, Richard C. Equao Diferenciais Elementares e


Problema de Valores de Contorno. 8.ed. Rio de Janeiro: LTC, 2006.

BRONSON, Richard; COSTA, Gabriel. Equaes Diferenciais. 3. ed. So Paulo:


Bookman, 2006. (Coleo Schaum)

BURDEN, Richard L; FAIRES, Douglas. Anlise Numrica. So Paulo: Cengage


Learning, 2013.

CAPRA, Fritjof. A teia da vida: uma nova compreenso cientfica dos sistemas vivos.
So Paulo: Cultrix, 2006.

CHAPRA, Steven C. Mtodos Numricos Aplicados com MATLAB para


Engenheiros e Cientistas. 3. ed. Porto Algre: Bookman, 2013.

FRANCO, Neide Bertoldi. Clculo Numrico. So Paulo: Prentice Hall, 2006.

KREYSZIG, Erwin. Matemtica Superior para Engenharia. 9. ed. Rio de Jeneiro:


LTC, 2008. 3v.

STEWART, James. Clculo. 7. ed., So Paulo, Cengage Learning, 2013. 2v.

VALLE, Karine, Nayara F. Mtodos numricos de Euler e Runge-Kutta. 2012. 40f.


Monografia (Especializao em educao matemtica) Universidade Federal de
Minas

Gerais,

Belo

Horizonte,

2012.

Disponvel

em:

<

http://www.mat.ufmg.br/~espec/Monografias_Noturna/Monografia_KarineNayara.pdf
>. Acesso em: 10 abr. 2016.

55

ZILL, Dennis G; CULLEN, Michael R. Equaes Diferenciais 3 ed. So Paulo:


Pearson, 1993. 1v.

ZILL, Dennis G; CULLEN, Michael R. Equaes Diferenciais 3. ed. So Paulo:


Pearson, 2001. 3v

Vous aimerez peut-être aussi