Universidade Estadual Vale do Acara -UVA u Centro de Cincias Exatas e Tecnolgicas-CCET e o Curso de Licenciatura em Matemtica a

Usando o Software Maxima na Resoluo de EDOs1 de 1a ca a e 2 Ordem

Maria Ilsangela da Silva

Sobral-Cear a Junho-2009
1 Equaoes c

Diferenciais Ordinrias a

Maria Ilsangela da Silva

Usando o Software Maxima na Resoluo de EDOs de 1a ca e 2a Ordem

Monograa apresentada ` Universidade a Estadual Vale do Acara como requisito u parcial para obteno do t ca tulo de graduao com Licenciatura Plena em ca Matemtica sob a orientao do professor a ca Ps-Doutor Tarcisio Praciano Pereira. o

Sobral-Cear a Junho-2009

Monograa apresentada como requisito parcial para obteno do ca t tulo de graduao com Licenciatura Plena em Matemtica. ca a

Orientanda: Maria Ilsangela da Silva

Monograa aprovada em: -/ 06 / 2009

Orientador: Prof. Phd Tarcisio Praciano Pereira (UVA)

1o Examinador: Prof. Ms. Delano Klinger Alves de Souza (UVA)

2 Examinador: Prof. Esp. Francisco Antnio de Alencar Menezes (UVA) o

o

Coordenador do curso

Agradecimentos
1. A Deus por ter me dado fora e persistncia nos momentos c e dif cies que passei durante o curso. 2. Ao professor Tarcisio Praciano Pereira que tanto me ajudou nessa jornada e que considero como um amigo sincero e verdadeiro. Em qualquer lugar que eu esteja, lebrarei sempre dessa gura que marcou minha vida. 3. A meus pais: Francisco Edmar da Silva e Benedita Rosa da Silva, por todo apoio e dedicaao. c 4. Aos professores que conquistaram minha conana. c 5. A meus colegas pelos momentos de convivncia durante esses anos. e

Dedicatria o

Esta monograa dedicada ao meu av e o e ao professor Tarcisio Praciano Pereira.

A vida como uma partida de xadrez, e um lance errado, pode ser fatal.

Resumo

Este trabalho apenas uma pequena introduo sobre o software Maxima, e ca dando nfase a uma de suas potencialidades de clculo, resolver EDOs de 1a e 2a e a ordem. Escrevi de forma bem simples, possibilitando aos leitores, o entendimento do texto e a reproduo dos exemplos no ambiente Maxima. Da mesma forma, ca contribuir, para que posteriormente outros alunos possam ter o mesmo interesse que tive e, partindo deste pequeno trabalho, desenvolvam outros mais aprofundados. O cap tulo 1 faz uma apresentao do software, mostra o ambiente Maxima, ca principais comando, construo de grcos 2D e 3D, entre outas facilidades disca a pon veis, as quais, so essenciais para o desenvolvimento dos prximos cap a o tulo. O cap tulo 2, mostra como usar o software Maxima para resolver equaes diferencico ais de primeira ordem, apresenta as funes dispon co veis no software para resolver analiticamente estas equaes diferenciais e paralelamente, aborda um pouco da co teoria sobre EDOs de primeira ordem. O cap tulo 3 mostra como usar o Maxima para resolver EDOs de segunda ordem, com abordagem da teoria.

Sumrio a
Intoduo ca 1 Maxima, um Ambiente de Computao Simblica ca o 1.1 O Ambiente do Maxima . . . . . . . . . . . . . . . 1.2 Alguns Comandos Bsicos . . . . . . . . . . . . . . a 1.3 Derivando com o Maxima . . . . . . . . . . . . . . 1.4 Integrando com o Maxima . . . . . . . . . . . . . . 1.5 Desenhando Grcos com o maxima . . . . . . . . a . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 11 12 14 18 18 19 23 23 24 27 28 38 39 44 44 45 46 49 49 50 52 53 54 56

2 Usando Maxima para Resolver EDOs de 1a Ordem 2.1 Equaes Diferenciais Ordinrias de 1a Ordem . . . . . . . . co a 2.2 Campo de Direes e Trajetrias das Equaes de 1a Ordem co o co a 2.3 Equaes Lineares de 1 Ordem . . . . . . . . . . . . . . . . co 2.4 Equaes Separveis . . . . . . . . . . . . . . . . . . . . . . co a 2.5 Equaes Diferenciais Exatas . . . . . . . . . . . . . . . . . co 2.5.1 Fator Integrante . . . . . . . . . . . . . . . . . . . . .

3 Usando Maxima para Resolver EDOs de 2a Ordem 3.1 Equaes Diferenciais de 2a Ordem . . . . . . . . . . . . . . . . . . co 3.2 Equaes Lineares de 2a Ordem . . . . . . . . . . . . . . . . . . . . co 3.2.1 Equaes Homognias com Coecientes Constantes . . . . . co e 3.3 Equaes No-Homogneas- Mtodos dos Coecientes Indeterminados co a e e 3.4 Sries de Potncia no Maxima . . . . . . . . . . . . . . . . . . . . . e e 3.4.1 Soluo Usando Srie de Potncia . . . . . . . . . . . . . . . ca e e Considerao Final ca Referncias Bibliogrcas e a Apndices A e Apndices B e

Lista de Figuras
1.1 1.2 1.3 1.4 1.5 1.6 1.7 1.8 1.9 2.1 2.2 2.3 2.4 2.5 2.6 2.7 2.8 2.9 2.10 2.11 3.1 . . . . . . . . . . . xmaxima- interface grca do maxima. . . . . . . . . . . . . a wxmaxima- outra alternativa para interface grca do maxima. . . a Grco de duas curvas gerado com o openmath. . . . . . . . . a Grco da funao f (x) = x2 . . . . . . . . . . . . . . . . a c Grco de vrias funoes em um mesmo plano. . . . . . . . . . a a c Grco gerado no Maxima com o openmath. . . . . . . . . . . a Grco gerado no Maxima com o Gnuplot. . . . . . . . . . . a
maxima-interface por linha de comandos.

. . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . .

Grco da funao f (x, y) = sin(x)sin(y) gerado no Maxima com o Gnuplot. a c

. . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . .

13 14 14 20 20 20 21 21 22 24 24 25 27 29 31 31 32 34 37 37

. . . . . . . . . . . . . Argumentos da funao plotdf . . . . . . . . . . . . . . . . c Trajetria de uma soluao da Eq.(3.32) no ponto x = 0 e y = 0. . . o c Algumas Soluoes da Eq.(3.32). . . . . . . . . . . . . . . . c Foras atuando no objeto em queda livre. . . . . . . . . . . . c Campo de direoes da Eq.(2.11). . . . . . . . . . . . . . . . c Campo de direoes e soluao de equil c c brio da Eq.(2.11). . . . . . Trajetria de uma soluao da Eq.(2.11). . . . . . . . . . . . . o c Algumas curvas integrais da Eq.(2.11). . . . . . . . . . . . . Trajetria de uma soluao da Eq.(2.13). . . . . . . . . . . . . o c Algumas curvas integrais da Eq.(2.13). . . . . . . . . . . . .
Campo de direoes da equaao y=2x c c Algumas soluoes de y + 5y + 6y = 0. c

. . . . . . . . . . . . . . . . . . . . . . 48

Introduo ca

A maioria dos princ pios, ou leis, que regem o comportamento do mundo f sico so relaes(equaes) que envolvem a taxa(derivada) segundo a qual as coisas a co co acontecem. Portanto, para compreender e investigar problemas envolvendo a queda de um objeto na atmosfera, o aumento ou diminuio de populaes, o ca co movimento dos uidos, entre outros, necessrio ter noes de equaes difee a co co renciais. Se uma equao diferencial capaz de descrever algum processo f ca e sico, qu mico, biolgico, etc, chamada modelo matemtico do processo em questo e, o e a a chegar a esta equao a partir das descries desses processos o que chamamos ca co e modelagem do problema. O uso de um programa de computador necessrio na investigao de solues e a ca co de equaes diferenciais, desde os problemas mais simples, que envolve equaes dico co ferenciais, aos mais complexos, os quais, s so poss o a veis com a ajuda da tecnologia computacional, principalmente quando precisa de grcos, clculos complicados e a a manipulao simblica. ca o O Maxima um exemplo de tal porgrama de computador, este software e e capaz de considerado um ambiente de computao simblica muito poderoso. E ca o resolver equaes diferenciais rapidamente, mesmo as mais complicadas, que deco moraria muito tempo se resolvidas manualmente. Como se no bastasse, ainda a e poss vizualizarmos os grcos das solues, assim como, os capos de direes. vel a co co Sendo este trabalho uma introduo do software com nfase nas solues de ca e co a a equaes diferenciais, procuramos as EDOs de 1 e 2 ordem mais simples poss co veis de resolver manualmente. Sabendo que, mesmo as mais simples, precisamos de muito tempo para resolv-las e os clculos so cansativos pois, na maioria das e a a vezes, so fceis e repetitivo. Nestas condies, nos deparamos com a necessidade a a co de usar o Maxima.

10

Cap tulo 1

Maxima, um Ambiente de Computao Simblica ca o

Uma categoria de software muito util para o ensino da Matemtica so os deno a a minados sistemas de computao simblica, ao contrrio da computao numrica, ca o a ca e tais sistemas permitem manipulao anal ca tica de s mbolos matemticos, possibia litando a construo de sequncia de clculos algbricos. A caracter ca e a e stica mais importante de um sistema de computao simblica, como o Maxima, a habica o e lidade que o programa tem de lidar com s mbolos e obter respostas exatas para muitos problemas matemticos e ainda permitir gerar e exportar grcos em duas a a e trs dimenses. Todas estas qualidades fazem do Maxima um laboratrio excepe o o cional para estudar matemtica. a Foi desenvolvido na dcada de sessenta pelo grupo de Matemtica Aplicada e e a 1 2 Computao do MIT . Antes era chamado de Macsyma alm do mais era um proca e duto comercial. Alguns anos depois o Professor da Universidade do Texas, William F. Shelter, obteve uma autorizao para estudar e ao mesmo tempo desenvolver ca o cdigo do programa original, feito isso, tornou o programa open-source com o o nome que conhecemos at hoje, Maxima. Com a morte de Shelter, um grupo de e utilizadores e programadores juntaram-se para continuar o projeto. a Est dispon na forma GPL3 e possui verso para os sistemas linux e windows. a vel O Maxima uma ferramenta matemtica muita usada para a manipulao de e a ca expresses algbricas que envolvem constantes, variveis ou funes alm de pero e a co e mitir diferenciar, integrar, fatorar polinmios, resolver sistemas lineares, expandir o sries de Taylor ou Laurent, resolver equaes diferenciais com ou sem condies e co co iniciais, fazer manipulao de matrizes, plotar grcos em duas e trs dimenses, ca a e o entre outras possibilidades de clculo. Esse software bem completo e ao mesmo a e tempo, uma tima opo para quem precisa e no quer gastar com programas o ca a pagos.
1 Massachusetts 2 MACs

Institute of Technology SYmbolic MAnipulator 3 General Public License(Licena P blica Geral) c u

11

 CAP ITULO 1. MAXIMA, UM AMBIENTE DE COMPUTACAO SIMBOLICA

12

Nesse cap tulo mostraremos o ambiente Maxima, principais comando, construo de grcos 2D e 3D, entre outas facilidades dispon ca a veis, as quais, achamos essenciais para o desenvolvimento dos prximos cap o tulo, que vamos dedicar a solues de EDOs de 1a e 2a ordem. co O objetivo mostrar um pouco as potencialidades desse software, capaz de e resolver clculos considerados tediosos, se fossem resolvidos manualmente. a

1.1

O Ambiente do Maxima

Sua interface por linha de comandos. No sistema linux, executando o comando e maxima em um terminal veremos a tela (1.1), que usamos para incluir e executar os comandos do maxima, ou seja, temos acesso ao prompt. Para sair desse prompt s digitar quit();, assim: e o ilsangela@math:~$ maxima Maxima 5.10.0 http://maxima.sourceforge.net Using Lisp GNU Common Lisp (GCL) GCL 2.6.7 (aka GCL) Distributed under the GNU Public License. See the file COPYIN Dedicated to the memory of William Schelter. This is a development version of Maxima. The function bug_rep provides bug reporting information. (%i1) diff(x*sin(x),x); (%o1) sin(x)+x cos(x) (%i2) diff(%o1,x); (%o2) 2cos(x)-x sin(x) (%i3) quit(); ilsangela@math:~$

G. ort()

A parte superior da tela (1.1) como a que vemos acima, mostra a verso do e a maxima que estamos usando, informaes sobre a licena-GNU-GPL- e a pgina co c a ocial do programa. No canto esquerdo ver que o prompt do programa algo a e do tipo (%i1), (%i2) ... (%iN) onde N um n mero natural. O i deve ser e u lembrado como input, que no ingls usado para designar algo como entrada. e e J a resposta dada em linhas com nomes da seguinte forma: (%o1), (%o2) ... a e (%oN). O o deve ser lembrado como output, termo que lembra sa da. Estes nomes so variveis tambm, que esto com as sa a a e a das de cada comando. A vantagem que pode-se fazer referncia a um resultado que foi obtido h algum e e a s fazer referncia ` sa tempo. E o e a da, como mostra o exemplo abaixo: Digitamos a expresso a (%i1) diff(x*sin(x),x);

 CAP ITULO 1. MAXIMA, UM AMBIENTE DE COMPUTACAO SIMBOLICA

13

para que o Maxima calcule a derivada, em seguida, aparece na tela como resposta (%o1) com o comando (%i2) diff(%o1,x); Maxima entende que queremos a derivada da expresso que ele mostrou como a resposta ` primeira equao, e retorna a ca (%o2) 2 cos(x) - x sin(x) sin(x) + x cos(x)

Podemos ter usado simplismente o s mbolo % em vez de %o1, quando queremos fazer referncia ao ultimo resultado. e Quando queremos atribuir um valor a uma varivel, devemos fazer essa atribuio a ca com dois pontos e no com o sinal de igualdade. a (%i3) x:3$ (%i4) y:7$ (%i5) x+y; (%o5) 10 Essas atribuies permanecem valendo at nalizarmos o Maxima com quit(); co e portanto, temos que tomar cuidado para no cometer algum tipo de erro. a Temos acima um exemplo simples de como usar maxima para calcularmos derivada de uma funo. Como os comandos so lidos linha a linha, o ponto e v ca a rgula serve para executar e imprimir na tela o resultado da operao ao apertar a tecla ca enter. Caso no queira que o resultado da operao seja impresso na tela, pode-se a ca usar o $ (cifro) ao nal da sentena. a c

Figura 1.1: maxima-interface por linha de comandos.

A sa do Maxima escrita usando caracteres, ou melhor, a imagem que apada e rece na tela no muito boa mas, alm dessa interface por linha de comandos, a e e podemos ter uma interface grca, melhorando assim, o acesso ao prgrama. O a

 CAP ITULO 1. MAXIMA, UM AMBIENTE DE COMPUTACAO SIMBOLICA

14

Maxima disponibiliza de interfaces gracas como xMaxima e wxMaxima. O wxMaxima e xmaxima so plataformas grcas onde o software Maxima pode a a ser executado sem o uso de linhas de comando. Esses programas fazem com que o Maxima que com uma aparncia grca, da forma que a maioria gosta de usar. e a Digitando xmaxima em um terminal aparecer a tela (1.2) e wxmaxima aparecer a a uma imagem como a Figura (1.3). Como podemos observar, a interface grca do xMaxima apresenta duas divises: a o

Figura 1.2: xmaxima- interface grca do maa

xima.

Figura 1.3: wxmaxima- outra alternativa para

interface grca do maxima. a

1a -tela para digitar os comandos; 2a - tela para termos acesso ao manual do maxima como se fosse diretamente pela internet.

1.2

Alguns Comandos Bsicos a

Denindo Variveis a O nome atribuido a uma varivel poder ser qualquer combinao de letras, a a ca a u n meros e os s u mbolos % e . O primeiro caracter no pode ser um n mero e uma varivel no pode ter o mesmo nome de alguns comandos do Maxima. O Maxima a a diferencia entre letras mai sculas e min sculas. u u Para denir variveis usamos :(dois pontos). A lgica a seguinte: Quando digia o e tamos por exemplo x : 2, isso quer dizer que queremos atribuir o valor 2 ` varivel a a x. Essa atribuio pode no ser n meros. ca a u %i1) /*Definindo Variveis*/ a x:5$ /*atribui 5 a x*/ (%i2) y:4$ /*atribui 4 a y*/ (%i3) x+y; /*mostra o valor de x+y*/ (%o3) 9 (%i4) a:3*2$

 CAP ITULO 1. MAXIMA, UM AMBIENTE DE COMPUTACAO SIMBOLICA

15

(%i5) b:(6+4)$ (%i6) a+b; (%o6)

16

Operaes Aritmticas co e Os operadores usados no maxima so os normalmentes usados em outros softa ware como o octave, scilab, matlab, gnuplot. So os simbolos, +, , , / e que a so respectivamente adio, subtrao, multiplicao, diviso e potenciao. a ca ca ca a ca A prioridade nos clculos das operaes a mesma mesma usada na Matemtica, a co e a parnteces, potenciaes, multiplicaes e divises e por ultimo, as adies e sube co co o co traes. Maxima no aceita agrupar as expresses com colchetes [ ] e chaves { }, co a o temos que usar os parnteses (). e (%i9) /*Opera~es Aritmticas*/ co e (4+5)*3; (%o9) 27 (%i10) (4+5)*3^2; (%o10) 81 (%i11) ((4+5)*3)^2; (%o11) 729 Manipulao Algbrica ca e Uma das capacidades mais importantes do Maxima sua facilidade de mae nipular expresses algbricas. Vamos mostrar atravs do prximo exemplo esse o e e o processo: Vamos atribuir a varivel q1 uma expresso e ver o que acontece a a (%i1) q1: (x+a)^2+(x-4)^4; 2 (%o1) (x + a) 4 + (x - 4)

Se observa que o Maxima no realizou nenhum clculo. A funo expand desena a ca volve as potncias, e %i2) expand(q1); 4 (%o2) x - 16 x 3 2 2 + 97 x + 2 a x - 256 x + a + 256

ainda poss substituir alguma letra por outra expresso, por exemplo, subse vel a tituir a por 3 (%i3) %,a=3; (%o3) 4 3 2 x - 16 x + 97 x - 250 x + 265

 CAP ITULO 1. MAXIMA, UM AMBIENTE DE COMPUTACAO SIMBOLICA

16

Equaes co O Maxima resolve uma equao de muitas formas diferentes, temos a equao ca ca (%i4) eq: 4*x=3+x; (%o4) (%i5) %-x; (%o5) (%i6) %/3; (%o6) 4 x = x + 3 3 x = 3

x = 1

que subtraimos x nos dois lados da equao e a seguir dividimos o reto por 3, ca obtendo desta forma a soluo da equao como se estivssemos feito manualmente. ca ca e A mesma equao pode ser resolvida de um modo mais rpido, usando a funo ca a ca solve (%i9) solve(eq); (%o9) [x = 1]

E poss resolver equaes polinomiais de grau 4, porm, como de se espevel co e e rar, Maxima no dispe de um mtodo algbrico que permita resolver equaes a o e e co polinomiais de grau maior que quatro, retornando a mesma equao sem resolver. ca %i15) solve(x^5+2*x^4+6=0); 5 (%o15) [0 = x + 2 x 4 + 6]

Existe outras funes diferentes de solve que resolve equaes e sistemas, como co co por exemplo, algsys. Funes Matemticas co a No Maxima esto denidas muitas funes matemticas. Temos na tabela a a co a seguir algumas delas.

 CAP ITULO 1. MAXIMA, UM AMBIENTE DE COMPUTACAO SIMBOLICA

17

sqrt(x) exp(x) log(x) sin(x) cos(x) tan(x) sec(x) cot(x) asin(x) acos(x) atan(x) abs(x) x! sinh(x) cosh(x) tanh(x)

(x) e ln(x) sin(x) cos(x) tan(x) sec(x) cot(x) arcsin(x) arccos(x) arctan(x) abs(x) x! sinh = 1 (ex ex ) 2 cosh = 1 (ex + ex ) 2
sinh(x) cosh(x) x

O Maxima sempre devolve resultados exatos em seus clculos, mas podemos solia citar em formato decimal, com uma determinada precisso, a (%i4) asin(1); (%o4) %pi --2

(%i5) %,numer; (%o5) 1.570796326794897 \end{vrbatim} ou, definir a preciss~o com a \begin{verbatim} (%i6) fpprec:60$ bfloat(%i4); (%o7) 1.57079632679489661923132169163975144209858469968755291048747b0 No terminam aqui as funes do Maxima, temos ainda as funes de Airy, a co co el pticas, de Bessel entre outras. Estrutura de Programao do Maxima ca O Maxima possui uma estrutura de programao muito verstil para repeties ca a co for/do. Exemplo: (%i1) for i:1 thru 8 do print(i^3); 1 8 27 64 125 216

 CAP ITULO 1. MAXIMA, UM AMBIENTE DE COMPUTACAO SIMBOLICA

18

343 512 (%o1) done (%i2) /* A varivel de repeti~o "i", uma varivel local. Essa varivel a ca e a a varia de 1 a 8 com passo 1. Esse programa simplismente imprime o valor de "i" ao cubo.*/

1.3

Derivando com o Maxima

O Maxima muito util para o clculo diferencial e integral. A funo di usada e a ca e para calcular derivadas. A sintaxe usada no Maxima para derivar a seguinte e diff(express~o,varivel);. Para uma derivada de ordem superior a sintaxe a a ser: diff(express~o, varivel, ordem);. Se as funes, as quias queremos a a a co derivar forem colocadas de forma genrica, o maxima simplismente explita as dee rivadas como veremos abaixo: (%i22) diff(f(x)*g(x)*h(x),x); d d d (%o22) f(x) g(x) (-- (h(x))) + f(x) h(x) (-- (g(x))) + g(x) h(x) (-- (f(x))) dx dx dx Se tinvssemos colocado na funo diff teria cado assim: e ca (%i23) (%o23) diff(f(x)*g(x)*h(x),x); d -- (f(x) g(x) h(x)) dx

1.4

Integrando com o Maxima

A funo integrate usada para calcular integrais denidas e indenidas. Quando ca e queremos calcular a integral indenida de uma funo no Maxima devemos digica tar os seguintes comandos no prompt: integrate(express~o,varivel);. Intea a 2 grando a funo y = x temos: ca (%i24) integrate(x^2,x); 3 x -3

(%o24)

Mas tambm podemos calcular a integral denida usando a sintaxe: integrate(express~o, e a varivel,incio,fim);. Para a mesma funo no intervalo [0, 1], a ca %i25) integrate(x^2,x,0,1); 1 -3

(%o25)

 CAP ITULO 1. MAXIMA, UM AMBIENTE DE COMPUTACAO SIMBOLICA

19

1.5

Desenhando Grcos com o Maxima a

O software Maxima no est totalmente habilitado para construir grcos, pora a a tanto, faz-se uso de um programa externo que realize esta tarefa. Ns, a partir o do Maxima, nos encarregaremos de ordenar que tipo de grco nos interessa e a Maxima se encarregar de comunic-lo ` aplicao grca que est ativa no moa a a ca a a 4 mento, que por padro, ser o Gnuplot . Veremos alguns exemplos de como gerar a a grcos a partir do Maxima com Gnuplot e depois trataremos brevemente sobre a como podemos modicar algumas das opes padro do ambiente grco. co a a O controle das opes grcas se consegue manipulando a varivel global plot options, co a a cujo estado padro , a e %i7) plot_options; (%o7) [[x, - 1.75555970201398E+305, 1.75555970201398E+305], [y, - 1.75555970201398E+305, 1.75555970201398E+305], [t, - 3, 3], [grid, 30, 30], [view_direction, 1, 1, 1], [colour_z, false], [transform_xy, false], [run_viewer, true], [plot_format, gnuplot], [gnuplot_term, default], [gnuplot_out_file, false], [nticks, 10], [adapt_depth, 10], [gnuplot_pm3d, false], [gnuplot_preamble, ], [gnuplot_curve_titles, [default]], [gnuplot_curve_styles, [with lines 3, with lines 1, with lines 2, with lines 5, with lines 4, with lines 6, with lines 7]], [gnuplot_default_term_command, ], [gnuplot_dumb_term_command, set term dumb 79 22], [gnuplot_ps_term_command, se\ t size 1.5, 1.5;set term postscript eps enhanced color solid 24], [logx, false], [logy, false], [plot_realpart, false]] A funo plot2d faz grcos de f (x) versus x, bidimensionais, que so exibidos ca a a em uma janela separada. plot2d([f(x1),f(x2),...,f(xn)],[x,a,b],[y,c,d],opes) co sendo: f(x1),f(x2),...,f(xn) funes de uma varivel; co a [x,a,b] intervalo de variao da varivel x; ca a [y,c,d] intervalo de variao da varivel y; ca a a, b, c, d R. A Figura 1.4 mostra o grco de duas curvas usando pontos grandes. a openplot_curves ([["{plotpoints 1} {pointsize 6} {label curva1}"], [1, 2, 3, 4, 5, 6, 7, 8], ["{label curva2} {color pink }"], [3, -1, 4, 2, 5, 7]]); Este grco no foi gerado com o gnuplot. a a
4 http://www.gnuplot.info

 CAP ITULO 1. MAXIMA, UM AMBIENTE DE COMPUTACAO SIMBOLICA

20

7.5

curva1 curva2

2.5

Figura 1.4: Grco de duas curvas gerado com o openmath. a

Na Figura 1.5 temos o grco da funo f (x) = x2 gerado no Maxima com o a ca gnuplot e na Figura 1.6, o grco de vrias funes em um mesmo plano cartesiano. a a co plot2d(exp(-x^2),[x,-2,5]); plot2d([exp(-x^2),-x^2,sin(x),0],[x,-2,5],[y,-10,2]);
2 1 %e^-x^2 0.9 0.8 0.7 0.6 -4 0.5 0.4 0.3 0.2 0.1 -10 0 -2 -1 0 1 2 3 4 5 -2 -1 0 1 2 3 4 5 -8 -2 0 %e^-x^2 -x^2 sin(x) 0

-6

Figura 1.5: Grco da funao f (x) = x2 . a c

Figura 1.6: Grco de vrias funoes em um mesmo a a c

plano.

J a funo plot3d faz grcos de f (x, y) versus (x, y), sendo superf a ca a cies tridimensionais. O comando plot3d no admite vrias funes simultaneamente. a a co Existem dois aplicativos responsveis para desenhar o grco, o Gnuplot(padro a a a no Maxima) e o Openmath(opcional no Maxima). A opo plot format com o valor openmath, permite escolher uma janela 3D mais ca interativa:

 CAP ITULO 1. MAXIMA, UM AMBIENTE DE COMPUTACAO SIMBOLICA

21

plot3d(x^2-y^2,[x,-4,4],[y,-4,4],[plot\_format,openmath])\$

Figura 1.7: Grco gerado no Maxima com o openmath. a

Os grcos que esto sendo mostrados neste trabalho foram gerado por um a a arquivo grco em Postscript, da seguinte forma: a (%i16) plot3d(exp(-x^2-y^2),[x,-2,2],[y,-2,0], [gnuplot_preamble,"set terminal postscript eps; set out graf05.eps"]);

%e^(-y^2-x^2)

1 0.9 0.8 0.7 0.6 0.5 0.4 0.3 0.2 0.1 0 -0.2 -0.4 -0.6 -0.8 0

-2

-1.5

-1

-0.5

0.5

1.5

2 -2

-1.2 -1.4 -1.6 -1.8

-1

Figura 1.8: Grco gerado no Maxima com o Gnuplot. a

salvos no formato .eps. Podemos tambm construir grcos tridimencionais e a com a malha denida atravs o Gnuplot como mostra a Figura 1.9: e

 CAP ITULO 1. MAXIMA, UM AMBIENTE DE COMPUTACAO SIMBOLICA

22

plot3d(sin(x)*sin(y), [x, 0, 2*%pi], [y, 0, 2*%pi], [grid,50,50],[gnuplot_preamble,"set terminal postscript eps;set out graf06.eps"]);

sin(x)*sin(y)

1 0.8 0.6 0.4 0.2 0 -0.2 -0.4 -0.6 -0.8 -1 7 6 5 0 1 4 2 3 3 4 2 5 6 1 7 0

Figura 1.9: Grco da funao f (x, y) = sin(x)sin(y) gerado no Maxima com o Gnuplot. a c

O parmetro gnuplot preamble permite passar a este programa uma srie de a e comandos que aperfeioam os detalhes; estes comandos devem ir separados por c ponto e v rgula e devem ser os prprios da linguagem do Gnuplot. o Tambm podemos fazer com que o programa grco gere diretamente um are a quivo PNG em lugar de mostrar no monitor com: (%i15) plot3d(exp(-x^2-y^2),[x,-2,2],[y,-2,0], [gnuplot_preamble,"set terminal png size 420,320; set out graf05.png"])\$ Para um melhor dom destes detalhes aconselhvel recorrer ` documentao nio e a a ca deste programa (www.gnuplot.info).

Cap tulo 2

Usando Maxima para Resolver EDOs de 1a Ordem

O objetivo desse cap tulo usar o software Maxima para resolver equaes difee co renciais de primeira ordem, entender tais solues e paralelamente, apresentar as co funes dispon co veis no software para resolver analiticamente essas equaes difeco renciais, nos livrando assim, de clculos montonos e cansativos. Para obter uma a o soluo numrica de um sistema de equaes diferenciais, temos um pacote chaca e co mado dynamics e para as representaes grcas o pacote plotdf. co a

2.1

Equaes Diferenciais Ordinrias de 1a Ordem co a

Uma equao diferencial de primeira ordem possui a forma ca dy = f (x, y). dx (2.1)

Existem vrios mtodos para resolver equaes diferenciais de primeira ordem. a e co Essas equaes foram divididas em vrias subclasses com mtodos de soluo dico a e ca ferente. Como por exemplo, equaes lineares, equaes separveis e equaes co co a co exatas. Para resolver analiticamente uma equao diferencial ordinria de primeira ca a e segunda ordem usando o software Maxima, faz-se o uso da funo ode2(eq, ca var-dep, var-ind). Esta funo usa trs argumentos: a equao diferencial, ca e ca a varivel dependente, e a varivel independente. Quando ode2 encontra uma a a soluo, retorna uma soluo expl ca ca cita ou impl cita. Se a equao for de primeira ca ordem, %c usado para representar a constante de integrao, e %k1 e %k2 as e ca constantes para equaes de segunda ordem. Ao usar a funo ode2 para enconco ca trar a soluo de equaes diferenciais, a varivel independente deve sempre ser ca co a fornecida como o terceiro argumento.

23

CAP ITULO 2. USANDO MAXIMA PARA RESOLVER EDOS DE 1a ORDEM

24

No caso de ode2 no conseguir obter uma soluo por qualquer razo, retorna a ca a false, ao imprimir uma mensagem de erro. Os mtodos para equaes de primeira e co ordem na sequncia em que vamos apresentar so: linear, separvel, exato - fator e a a de integrao. ca

2.2

Campo de Direes e Trajetrias das Equaes de 1a co o co Ordem

O campo de direo fundamental para a avaliao de equaes diferenciais, ca e ca co pois, apresentam uma melhor viso dos valores que as solues dessas equaes a co co tendem. Esses campos so formados por vetores tangentes `s solues nos pontos a a co do plano xy. Podemos usar o Maxima para desenhar tais campos direcionais, para isso necessrio ativar a biblioteca plotdf utilizando o comando load(plotdf). e a Examplo: Traar o campo de direes para a Eq.(3.32) usando o Maxima. c co O primeiro passo ativar a biblioteca plotdf. Como a funo que desenha os e ca campos de direes plotdf temos: co e (%i1) load(plotdf); (%o1) /usr/share/maxima/5.10.0/share/contrib/plotdf.lisp (%i2) plotdf(2*x); Que tem como resultado a Figura (2.1). Na Figura (2.2) podemos ver os argumentos da funo plotdf. A funo plotdf possui alguns argumentos que servem ca ca

-4

-8

-8

-4

Figura 2.1: Campo de direoes da equaao y=2x c c

Figura 2.2: Argumentos da funao plotdf c

para a construo de campos de direes como, ca co

CAP ITULO 2. USANDO MAXIMA PARA RESOLVER EDOS DE 1a ORDEM

25

Argumento xradius yradius xcenter ycenter nsteps trajectory at

Parmetros a 1(real) 1(real) 1(real) 1(real) 1(inteiro) 2(real,real)

Valor Padro a 0 0 0 0 100 vazio

Signicado Magnitude do eixo x. Magnitude do eixo y Centro do eixo x Centro do eixo y No de passos p/ traar a trajetria c o Ponto em que traado a trajetria e c o

Usando esses argumento podemos construir a trajetria de uma, ou mais, solues o co da Eq.(3.32) que ser mostrado na Figura 2.3. a (%i1) /*Trajetria de uma solu~o da equa~o dy/dx=2x no o ca ca ponto x=0 e y=0. */ eq1:diff(y,x)=2*x; dy (%o1) -- = 2 x dx (%i2) load(plotdf); (%o2) /usr/share/maxima/5.10.0/share/contrib/plotdf.lisp (%i3) plotdf(2*x,[trajectory_at,0,0]); pt.utf8

-4

-8

-8

-4

Figura 2.3: Trajetria de uma soluao da Eq.(3.32) no ponto x = 0 e y = 0. o c

Para mostrarmos mais de uma soluo no Maxima, devemos traar o campo de ca c direes e, ao clicar em Config podemos ver o campo Trajectory at, ao inserirco mos os valores da coordenada do ponto desejado mostramos solues adicionais. co Geometricamente, a soluo da Eq.(3.32) uma fam de parbolas paralelas, ca e lia a com curvatura constante. Ver Figura (2.4). Com plot2d, construiremos essas parbolas para algumas condies iniciais dadas, a co

CAP ITULO 2. USANDO MAXIMA PARA RESOLVER EDOS DE 1a ORDEM

26

(%i1) /*Solu~o da equa~o dy/dx=2x e algumas curvas integrais.*/ ca ca eq1:diff(y,x)=2*x; dy (%o1) -- = 2 x dx (%i2) ode2(eq1,y,x); 2 (%o2) y = x + %c (%i3) /*Uma solu~o particular. */ ca ic1(%o2,x=0,y=0); 2 (%o3) y = x (%i4) y1:rhs(%o3); 2 (%o4) x (%i5) ic1(%o2,x=0,y=1); 2 (%o5) y = x + 1 (%i6) y2:rhs(%o5); 2 (%o6) x + 1 (%i7) ic1(%o2,x=0,y=2); 2 (%o7) y = x + 2 (%i8) y3:rhs(%o7); 2 (%o8) x + 2 (%i9) ic1(%o2,x=0,y=3); 2 (%o9) y = x + 3 (%i10) y4:rhs(%o9); 2 (%o10) x + 3 (%i11) ic1(%o2,x=-1,y=-2); 2 (%o11) y = x - 3 (%i12) y5:rhs(%o11); 2 (%o12) x - 3 (%i17) plot2d([y1,y2,y3,y4,y5],[x,-10,10],[y,-10,10], [gnuplot_preamble," set terminal postscript eps;set out campo03.eps"])\$

CAP ITULO 2. USANDO MAXIMA PARA RESOLVER EDOS DE 1a ORDEM

10 x^2 x^2+1 x^2+2 x^2+3 x^2-3

27

-2

-4 -4 -3 -2 -1 0 1 2 3 4

Figura 2.4: Algumas Soluoes da Eq.(3.32). c

2.3

Equaes Lineares de 1a Ordem co

Podemos dizer que a Eq.(2.1) linear de primeira ordem se f depender linee armente da varivel depentente y. O movimeto de um objeto em queda livre na a atmosfera pode ser modelado por uma equao diferencial linear ca dy = ay + b (2.2) dx onde a e b so coecientes constantes. De forma mais geral uma equao diferencial a ca linear de primeira ordem da forma e dy + p(x)y = q(x), (2.3) dx onde p(x) e q(x) so funes da varivel independente x. a co a O problema consiste em resolver essas equaes. A Eq.(2.2) pode ser facilmente co e a resolvida por um mtodo de integrao direta1 mas, o mesmo mtodo no pode e ca ser aplicado para resolver a Eq.(2.3) pois, nem toda equaao linear separvel. c e a Diante disto, temos que recorre a outro mtodo para encontrar a soluo, que e ca vamos mostrar por meio de um exemplo, como o Maxima faz isso. A equao diferencial (2.4) pode ser calculada facilmente no Maxima, veja: ca dy + 2y = xe2x dx (%i1) /*equa~o diferencial linear de primeira ordem*/ ca ode2(diff(y,t)+2*y=t*exp(-2*t),y,t); 2 t - 2 t (%o1) y = (-- + %c) %e 2
1 assunto

(2.4)

da prxima subseao o c

CAP ITULO 2. USANDO MAXIMA PARA RESOLVER EDOS DE 1a ORDEM

28

O maxima apresenta a soluo geral da equao, com isso podemos construir o ca ca campo vetorial atribuindo arbitrariamente valores para a constante c que dependem das condies iniciais do problema. co A funo ic1 (solu~o, xini, yini), de initial conditions (condies inicica ca co ais), resolve problemas de valor inicial para equaes diferenciais de primeira orco dem. Aqui solu~o uma soluo geral para a equao, como a que encontramos ca e ca ca acima, usando ode2. xini fornece um valor inicial para a varivel independente na a forma x = x0, e yini fornece o valor inicial para a varivel dependente na forma a y = y0. Sendo as condies iniciais t = 2 e y = 1 para a equao resolvida acima, podeco ca mos encontrar o valor da constante c atravs da funo ic1, da seguinte forma: e ca (solu~o, valor inicial de t, valor incial de y) ca %i3) ic1(y=(t^2/2+%c)*%e^(-2*t),y=1,t=2); 2 4 - 2 t (t + 2 %e - 4) %e (%o3) y = -----------------------2

2.4

Equaes Separveis co a

Como vimos na seo anterior nem toda equao linear de primeira ordem ca ca e separvel. Mas existe equaes de primeira ordem que podem ser resolvidas por a co um mtodo de integrao direta. e ca ` poss reescrever a Eq.(2.1) na forma E vel dy =0 (2.5) dx supondo P (x, y) = f (x, y) e Q(x, y) = 1. Quando a funo P depende apenas ca de x e a funo Q depende apenas de y, chamamos de equaes separveis e so ca co a a expressas na forma dy =0 (2.6) P (x) + Q(y) dx Estas equaes podem ser resolvidas por integrao direta, integrando ambos os co ca lados pois, podemos separar sem nenhum problema as variveis para que que: a P (x, y) + Q(x, y) P (x)dx = Q(y)dy (2.7)

A soluo geral destas equaes uma fam de curvas. O Maxima ser basca co e lia a tante util na construo dessas curvas, assim como nos clculos, que so fceis de ca a a a fazer sem o uso da tecnologia computacional mas, cansativos. Um exemplo bem simples destas equaes diferenciais encontramos na F co sica, a que descreve o movimento de um corpo em queda livre.

CAP ITULO 2. USANDO MAXIMA PARA RESOLVER EDOS DE 1a ORDEM

29

Exemplo 1: Um Objeto em Queda Livre-[2] Deixe cair um corpo de massa m de uma certa altura, considerando a resistncia e do ar e chamando de v sua velocidade, podemos estabelecer a lei de variao da veca locidade da queda v, sendo a resistncia do ar proporcional ` velocidade(coeciente e a de proporcionalidade k), isto , encontrar v = f (t). e Pela segunda lei de Newton m dv = F, dt

(2.8)

dv a acelerao do corpo em movimento e F a fora que atua sobre o ca e c sendo dt corpo no sentido do movimento. Nesse caso temos duas foras atuando sobre o c corpo, portanto a fora F formada pela fora da gravidade (mg) e pela resistncia c e c e do ar (kv ), nesse caso vamos considerar que a resistncia do ar proporcional a e e velocidade. Sendo assim: dv m = mg kv, (2.9) dt Fazendo g = 10m/s2 k dv = 10 v, (2.10) dt m A Eq.(2.9) considerada a equao de um objeto caindo na atmosfera, cuja soluo e ca ca de equil brio v(t) = mg/k. e

kv g m

p=mg

Figura 2.5: Foras atuando no objeto em queda livre. c

Vamos determinar a soluo dessa equao diferencial com o apoio do software ca ca Maxima. Temos na Eq.(2.9) trs constantes sendo que m e k dependem unicamente e do objeto que est caindo. Supondo que o objeto em queda tem m = 10 e k = 2 a a Eq.(2.10) ca v dv = 9.8 . (2.11) dt 5 Ento, com o apoio do Maxima vamos gerar o campo de direes (Figura 2.6), a a co soluo de equil ca brio (Figura 2.7) e nalmente encontrar as solues da Eq.(2.11). co (%i1) /* objeto em queda livre- no Maxima vamos usar

CAP ITULO 2. USANDO MAXIMA PARA RESOLVER EDOS DE 1a ORDEM

30

y no lugar de v e x no lugar de t pois, n~o possvel gerar os grficos a e a usando as variveis v e t nesse software.*/ a m:10$ (%i2) k:2$ (%i3) eq: diff(v,t)=10-k/m*v; dv v (%o3) -- = 10 - dt 5 (%i6) /*vamos tentar entender o comportamento das solu~es dessa co equa~o diferencial sem encontrar de fato, a solu~o. Supondo ca ca v=40 e portanto, encontrar dv/dt.*/ v:40$ (%i7) eq1:rhs(%o3); v (%o7) 10 - 5 (%i8) /*rhs usado no maxima quando queremos separar o lado direito e da equa~o, para resolver.*/ ca (%i9) eq1: 10-k/m*v; (%o9) 2 (%i8) /*isso significa que o coeficiente angular da reta tangente ao grfico de uma solu~o v=v(t) vale 2 para v=40. a ca Para outros valores de v: */ (%i9) v:45; (%o9) 45 (%i44) eq1: 10-k/m*v; (%o44) 1 (%i41) v:49; (%o41) 49 (%i42) eq1: 10-k/m*v; (%o42) 1 5 v:50$ (%i10) eq1: 10-k/m*v; (%o10) (%i11) v:60$ (%i12) eq1: 10-k/m*v; (%o12) (%i13) v:65$

0.0

- 2

CAP ITULO 2. USANDO MAXIMA PARA RESOLVER EDOS DE 1a ORDEM

31

(%i14) eq1: 10-k/m*v; (%o14) - 3 (%i15) /* Quando v<50 todos os segmentos de reta t^m coeficiente e angulares positivos e v>50, coeficientes angulares negativos. Quando v=50, teremos uma solu~o de equilbrio entre a gravidade ca e a resist^ncia do ar, j que v(t)=50 n~o varia com o tempo. Com e a a esses valores de v e consequentemente dv/dt, podemos formar um campo de dire~o que, mesmo sem saber a solu~o da equa~o, podemos ca ca ca analisar o comportamento das mesmas. Gerar o campo de dire~o */ ca load(plotdf); (%o15) /usr/share/maxima/5.10.0/share/contrib/plotdf.lisp (%i37) plotdf(10-y/5,[xradius, 15 ],[yradius, 80],[ycenter, 50]); pt.utf8 (%o37) 0 /* Analisando o campo de dire~o, conclui-se que todas as solu~es parecem ca co convergir para a solu~o de equilbrio na propor~o em que t aumenta. Gerar ca ca a solu~o de equilbrio.*/ ca (%i40) plotdf(10-y/5,[xradius, 15 ],[yradius, 80], [ycenter, 50],[trajectory_at, 0,50]); pt.utf8 (%i41)/*Uma trajetria de uma solu~o no ponto (-4,69) e desenhada por:*/ o ca plotdf(10-y/5,[xradius, 15 ],[yradius, 80], [ycenter, 50],[trajectory_at, -4,69]); pt.utf8

100 100

50 50

0 0

-12 -12 -8 -4 0 4 8 12

-8

-4

12

Figura 2.6: Campo de direoes da Eq.(2.11). c

Figura 2.7: Campo de direoes e soluao de equil c c brio

da Eq.(2.11).

At agora o que zemos foi uma anlise do comportamento das solues da e a co Eq.(2.11) por meio dos campos de direes. Vamos ento, encontrar a soluo co a ca

CAP ITULO 2. USANDO MAXIMA PARA RESOLVER EDOS DE 1a ORDEM

32

100

50

-12

-8

-4

12

Figura 2.8: Trajetria de uma soluao da Eq.(2.11). o c

geral dessa equao diferencial que uma fam innita de curvas, chamadas ca e lia 2 curvas integrais . Cada curva integral est associada a um valor particular de c, a que somos capazes de descobrir a partir de uma condio inicial dada. ca (%i1) /*Solu~o da equa~o de um objeto em queda livre*/ ca ca m:10$ (%i2) k:2$ (%i3) eq: diff(v,t)=10-k/m*v; (%o3) (%i4) ode2(eq,v,t); - t/5 (%o4) v = %e (50 %e t/5 + %c) dv v -- = 10 - dt 5

O Maxima tem uma funo que permite exportar expresses tex. Quando ca o estamos usando o Maxima para fazer algum clculo, o qual, queremos exportar a para um documento em latex, fazemos o uso da funo tentex da seguinte forma: ca primeiro devemos ativ-la com load(tentex) e em seguida usar tex(expressao) a para exportar a expresso para o latex. Por exemplo: vamos exportar a soluo a ca geral da Eq.(2.11) para latex da seguinte forma,
2 Representaao c

geomtrica da soluoa geral de uma EDO. e c

CAP ITULO 2. USANDO MAXIMA PARA RESOLVER EDOS DE 1a ORDEM

33

(%i8) load(tentex); (%o8) /usr/share/maxima/5.10.0/share/tensor/tentex.lisp (%i9) tex(%o4); $$v=e^ {- {{t}\over{5}} }\,\left(50\,e^{{{t}\over{5}}}+{\it \%c} \right)\leqno{\tt (\%o4)}$$ (%o9) (\%o4) que ca assim (%o4) e podemos representar por, v = 50 + ce 5 .
t

v = e 5

50 e 5 + %c (2.12)

j que o software Maxima no imprime as solues das equaes diferenciais de a a co co forma simplicada. Nos resta encontra as solues da Eq.(2.11) e represent-las co a gracamente com a ajuda do Maxima. Ver Figura (2.9), (%i3) eq1: diff(v,t)=10-v/5; (%o3) (%i5) /*Solu~o geral*/ ca ode2(eq1,v,t); - t/5 t/5 (%o5) v = %e (50 %e + %c) (%i6) /*Solu~es particulares para certas condi~es iniciais dadas. */ co co ic1(%o5,t=0,v=0); - t/5 t/5 (%o6) v = %e (50 %e - 50) (%i7) y1:rhs(%o6); - t/5 t/5 (%o7) %e (50 %e - 50) (%i8) ic1(%o5,t=0,v=1); - t/5 t/5 (%o8) v = %e (50 %e - 49) (%i9) y2:rhs(%o8); - t/5 t/5 (%o9) %e (50 %e - 49) (%i10) ic1(%o5,t=0,v=3); - t/5 t/5 (%o10) v = %e (50 %e - 47) (%i11) y3:rhs(%o10); - t/5 t/5 (%o11) %e (50 %e - 47) (%i27) ic1(%o5,t=1,v=3); - t/5 1/5 t/5 dv v -- = 10 - dt 5

CAP ITULO 2. USANDO MAXIMA PARA RESOLVER EDOS DE 1a ORDEM

34

(%o27) (%i28) y4:rhs(%o27); (%o28) ic1(%o5,t=-10,v=6); (%o30) y5:rhs(%o30); (%o33) ic1(%o5,t=-6,v=6);

v = - %e - t/5 - %e

(47 %e

- 50 %e

1/5 t/5 (47 %e - 50 %e ) t/5 + 2 (50 %e t/5 + 2 (50 %e - 44) t/5 + 6/5 - 44)

- t/5 - 2 v = %e - t/5 - 2 %e

- t/5 - 6/5

(%o35) v = %e (50 %e - 44) (%i36) y6:rhs(%o35); - t/5 - 6/5 t/5 + 6/5 (%o36) %e (50 %e - 44) ic1(%o5,t=-3,v=6); - t/5 - 3/5 t/5 + 3/5 (%o38) v = %e (50 %e - 44) (%i39) y7:rhs(%o38); - t/5 - 3/5 t/5 + 3/5 (%o39) %e (50 %e - 44) (%i44) plot2d([y1,y2,y3,y4,y5,y6,y7],[t,-10,15],[y,-10,60],[gnuplot_preamble, "set terminal postscript eps;set out Bcurvas01.eps"])\$
50 %e^-(t/5)*(50*%e^(t/5)-50) %e^-(t/5)*(50*%e^(t/5)-49) %e^-(t/5)*(50*%e^(t/5)-47) -%e^-(t/5)*(47*%e^(1/5)-50*%e^(t/5)) %e^(-t/5-2)*(50*%e^(t/5+2)-44) %e^(-t/5-6/5)*(50*%e^(t/5+6/5)-44) %e^(-t/5-3/5)*(50*%e^(t/5+3/5)-44)

40

30

20

10

-10 -10

-5

10

15

Figura 2.9: Algumas curvas integrais da Eq.(2.11).

CAP ITULO 2. USANDO MAXIMA PARA RESOLVER EDOS DE 1a ORDEM

35

Exemplo 2: O Maxima resolve a equao 2.13, traa o campo de direes e ca c co algumas curvas integrais para as condies de valor inicial dadas. Na Figura (2.10) co temos o campo de direes e a trajetria de uma poss soluo para x = 0 e co o vel ca y = 1. E, na Figura (2.11) temos algumas curvas integrais. dy = xy dx (%i1) /*Solu~o da equa~o dy/dx=xy.*/ ca ca eq1: diff(y,x)=x*y; dy (%o1) -- = x y dx (%i2) /**Solu~o geral*/ ca ode2(eq1,y,x); 2 x -2 (%o2) y = %c %e (%i3) /*Campo de dire~es e trajetria de uma solu~o para x=0 e y=1.*/ co o ca load(plotdf); (%o3) /usr/share/maxima/5.10.0/share/contrib/plotdf.lisp (%i4) plotdf(x*y,[trajectory_at,0,1]); pt.utf8 (%o4) 0 (%i5) /*Solu~o particular*/ ca ic1(%o2,x=0,y=0); (%o5) y = 0 (%i6) y1:rhs(%o5); (%o6) 0 (%i7) ic1(%o2,x=0,y=1); 2 x -2 (%o7) y = %e (%i8) y2:rhs(%o7); 2 x -2 (%o8) %e (%i9) ic1(%o2,x=0,y=2); (2.13)

CAP ITULO 2. USANDO MAXIMA PARA RESOLVER EDOS DE 1a ORDEM

36

2 x -2 (%o9) (%i10) y3:rhs(%o9); y = 2 %e 2 x -2 2 %e 2 x -- - 1/2 2 (%o11) (%i12) y4:rhs(%o11); y = 2 %e 2 x -- - 1/2 2 (%o12) (%i13) ic1(%o2,x=-1,y=-2); 2 %e

(%o10) (%i11) ic1(%o2,x=1,y=2);

2 x -- - 1/2 2 y = - 2 %e 2 x -- - 1/2 2 (%o14) (%i15) ic1(%o2,x=-2,y=-2); - 2 %e 2 x -- - 2 2 (%o15) (%i16) y6:rhs(%o15); y = - 2 %e

(%o13) (%i14) y5:rhs(%o13);

CAP ITULO 2. USANDO MAXIMA PARA RESOLVER EDOS DE 1a ORDEM

37

2 x -- - 2 2 (%o16) (%i17) ic1(%o2,x=-2,y=-3); - 2 %e 2 x -- - 2 2 (%o17) (%i18) y7:rhs(%o17); y = - 3 %e 2 x -- - 2 2 (%o18) - 3 %e (%i19) /*Grfico das curvas */ a plot2d([y1,y2,y3,y4,y5,y6,y7],[x,-5, 5],[y,-5, 5],[gnuplot_preamble,"set terminal postscript eps;set out Bcurvas02.eps"])\$

5
8

4 3
4

0 %e^(x^2/2) 2*%e^(x^2/2) 2*%e^(x^2/2-1/2) -2*%e^(x^2/2-1/2) -2*%e^(x^2/2-2) -3*%e^(x^2/2-2)

2 1
0

0 -1
-4

-2 -3 -4 -5
-8 -4 0 4 8

-8

-6

-4

-2

Figura 2.10: Trajetria de uma soluao da Eq.(2.13). o c

Figura 2.11: Algumas curvas integrais da Eq.(2.13).

Para expressar essa equao usamos o comando diff, sendo obrigatrio o uso ca o do apstrofo () antes de diff com o objetivo de evitar o clculo da derivada, que o a por outro lado daria zero por no ter declarado a varivel y como dependente de x. a a Para determinar a soluo particular que satisfaa a condio inicial dada, usamos ca c ca o comando ic1.

CAP ITULO 2. USANDO MAXIMA PARA RESOLVER EDOS DE 1a ORDEM

38

2.5
[5]

Equaes Diferenciais Exatas co

Nesta seo vamos resolver as chamadas equaes diferenciais exatas com a ca co ajuda do software Maxima. Resolver equaes diferenciais exatas, embora as mais simples, pode ser exco tremamente trabalhoso, por exemplo a determinao de um fator integrante que ca nos conduz a resolver uma outra equao diferencial. E por outro lado, no h ca a a absolutamente nenhum segredo ou novidade nas solues destas equaes, puro co co e clculo. Neste ponto, o Maxima se transforma numa excelente ferramenta complea mentar para o ensino das equaes diferenciais uma vez que nos libera dos clculos co a mecnicos que poderiamos levar horas para fazer, no esquecendo as m ltiplas posa a u sibilidades de erro. Com Maxima, ou qualquer outro programa de Computao ca Algbrica, podemos encontrar a soluo e passar ao principal que entender o que e ca e representam as solues de equaes diferenciais exatas - curvas, superf co co cies de n vel, ou variedades diferenciveis de dimenso n-1 quando a equao diferencial a a ca representar uma variedade3 diferencivel de dimenso n. a a Uma equao diferencial exata de primeira ordem da forma ca e P (x, y) + Q(x, y) em que Py (x, y) = Qx (x, y) (2.15) Caso a condio acima seja satisfeita, a soluo geral da equao dada pela ca ca ca e funo F , de forma que ca Fx (x, y) = P (x, y) e Fy (x, y) = Q(x, y) Exemplo: [2] Resolver, com a ajuda do Maxima, a equao ca 2x + y 2 + 2xyy = 0. (2.17) (2.16) dy =0 dx (2.14)

A Eq.(2.17) no linear nem separvel, logo os mtodos que resolve esses tipos a e a e de equaes no so aplicveis. Vamos vericar como o Maxima resolve: co a a a /*equa~o exata*/ ca (%i1) ode2((2*x+y^2)+2*x*y*diff(y,x)=0,y,x); 2 2 (%o1) x y + x = %c Como podemos perceber, o Maxima imprime na tela simplismente a soluo geca ral da equao, no temos acesso aos clculos que geraram esta soluo. Portanto, ca a a ca para usar o software necessrio saber a teoria. e a
3 generalidade

para as nooes geomtricas c e

CAP ITULO 2. USANDO MAXIMA PARA RESOLVER EDOS DE 1a ORDEM

39

2.5.1 [3]

Fator Integrante

Em muitos casos a equao no se encontra na forma exata, e em muitas vezes, ca a podemos trasform-la em uma equao exata, multiplicando a equao por uma a ca ca funo (x, y) ca Exemplo: Vamos consirerar a equao ca dy =0 (2.18) dx e analisar se a mesma uma equao diferencial exata. Neste exemplo temos que e ca (y 2 + 3xy) + (xy + x2 ) P (x, y) = y 2 + 3xy Q(x, y) = xy + x2 P = 2y + 3x y (2.19)

Q = y + 2x (2.20) x P Q = (2.21) y x conclu ndo assim, que a Eq.(2.18) no exata. Este exemplo serve para mostra a e que ao vericarmos se uma determinada equao exata, o resultado pode no ser ca e a positivo simplismente pela falta de um fator que multiplique a equao, tornando-a ca em uma equao exata. Tal fator chamamos de fator integrante. Nos resta agora ca mostrar como encontr-lo, a m de tornar uma equao diferencial a ca P (x, y) + Q(x, y) numa equao diferencial exata. ca Como no sabemos qual o fator, vamos express-lo por (x, y) e escrever a a e a Eq.(2.22) na forma (x, y)P (x, y) + (x, y)Q(x, y) dy =0 dx (2.23) dy =0 dx (2.22)

e fazer com que a Eq.(2.23) seja exata e assim, encontrar (x, y). Pelo que vimos anteriormente, a Eq.(2.22) exata se, e somente se, e (P )y = (Q)x ento temos: a P = y P + Py y Q = x Q + Qx x y P + Py = x Q + Qx (2.24) (2.25) (2.26) (2.27)

ento a

CAP ITULO 2. USANDO MAXIMA PARA RESOLVER EDOS DE 1a ORDEM

40

y P + Py x Q Qx = 0 y P x Q + (Py Qx ) = 0

(2.28) (2.29)

Sendo P e Q funes dadas, a Eq.(2.23) diz que o fator integrante tem que satisco fazer a Eq.(2.29). Se for poss encontrar essa funo , ento a Eq.(2.23) exata. vel ca a e A Eq.(2.29) pode ter mais de uma soluo, se esse for o caso, qualquer uma ca dessas solues pode ser usada como fator integrante para a Eq.(2.22). Isso aconco tece devido a possibilidade de no unicidade do fator integrante. a Diante disto, podemos fazer por exemplo, y = 0, que torna uma funo apenas ca de x. Se isto no for uma boa opo, tentamos para x = 0, que torna uma a ca funo apenas de y. Existe casos em que a soluo ser encontrada de forma bem ca ca a complicada. Infelizmente a Eq.(2.23), que determina o fator integrante , tem a mesma diculdade para resolver quanto a equao original(2.22). Embora fatores ca integrantes sejam ferramentas poderosas para a soluo de equaes diferenciais, ca co os mesmos s podem ser encontrados em casos especiais. Podemos encontrar fao tores integrantes simples quando uma funo de apenas uma das variveis x e ca a ou y, em vez de depender de ambas. Supondo que y = 0 temos, y P x Q + (Py Qx ) = 0 (Py Qx ) x Q = 0 (Py Qx ) = x Q x Py Qx = Q d (Py Qx )dx = Q ln() = (Py (x, y) Qx (x, y))dx Q(x, y) (2.30) (2.31) (2.32) (2.33) (2.34) (2.35)

A Eq.(2.35), calculada exatamente, expressa a funo . ca Agora poss continuar a resolver a Eq.(2.18) e vel P (x, y) = y 2 + 3xy e Q(x, y) = xy + x2 (2.36) (2.37)

Q P = 2y + 3x = = y + 2x y x Queremos encontrar uma funo tal que ca P + Q seja exata. dy =0 dx

(2.38)

P P = +P = y y y

(2.39)

CAP ITULO 2. USANDO MAXIMA PARA RESOLVER EDOS DE 1a ORDEM

41

[(y 2 + 3xy)] = (2y + 3x) + (y 2 + 3xy) y y Q Q = +Q = x x x [(xy + x2 )] = (y + 2x) + (xy + x2 ) x x Pela Eq.(2.24) temos (2y + 3x) + (y 2 + 3xy) = (y + 2x) + (xy + x2 ) y x

(2.40) (2.41) (2.42)

(2.43) (2.44) (2.45)

(2y + 3x) (y + 2x) + (y 2 + 3xy)

(xy + x2 ) y x (y + x) + (y 2 + 3xy) (xy + x2 ) y x

` E nesse ponto que temos uma complicao na resoluo da Eq.(2.45), para ca ca facilitar, temos que supor , uma funo apenas de x ou apenas de y para que ca possamos anular uma das parcelas. Supondo y = 0(funo apenas de x) temos, ca (y + x) + (y 2 + 3xy) (xy + x2 ) y x (2.46) (2.47) (2.48) (2.49)

(y + x) (xy + x2 )

x (xy + x2 ) = (y + x)

x+y x+y 1 = = = xy + x2 x(y + x x

1 = (2.50) x d 1 = (2.51) dx x Logo, existe um fator integrante que funo s de x e satisfaz a equao e ca o ca diferencial d dx = (2.52) x integrando a Eq.(2.52) temos, ln() = ln(x) Portanto, (x) = x (2.54) (2.53)

CAP ITULO 2. USANDO MAXIMA PARA RESOLVER EDOS DE 1a ORDEM

42

Multiplicando a Eq.(2.18) por esse fator integrante, obtemos (xy 2 + 3x2 y) + (x2 y + x3 ) dy = 0. dx (2.55)

A Eq.(2.55) uma equao diferencial exata com soluo da forma e ca ca F (x, y) = c (2.56)

O Maxima resolve normalmente a Eq.(2.18), ou melhor, a Eq.(2.55) como veremos abaixo. %i1) ode2((3*x*y+y^2)+(x^2+x*y)*diff(y,x)=0,y,x); 2 2 3 x y + 2 x y (%o1) -------------- = %c 2 Para saber se o Maxima usou um fator integrante para fazer a transformao da ca Eq.(2.18) em uma equao exata, usa-se a funo intfactor. Nesse caso, a funo ca ca ca intfactor retorna x, ou melhor, multiplica a equao diferencial por (x) = x. ca Veja o que acontece no Maxima quando usamos a funo intfactor ca (%i2) intfactor (%i1); (%o2) 2 dy 2 x(ode2((x y + x ) -- + y + 3 x y = 0, y, x)) dx

Ou seja, a equao exata que o maxima resolveu foi ca (x2 y + x3 ) dy + xy 2 + 3x2 y = 0. dx (2.57)

Com este exemplo podemos notar o quanto importante saber usar um softe ware como o Maxima, que nos auxili na soluo de equaes diferenciais para no ca co a perder tempo nos clculos que, por muitas vezes so fceis de fazer mas, cansativos. a a a Vamos mostrar outros exemplos de equaes diferenciais que no so exatas co a a mas o Maxima encontra um fator integrante e em seguida multiplica pelos termos da equao original e produz uma equao diferencial exata, a qual ele resolve. ca ca y + (2x yey ) A soluo encontrada usando o Maxima foi ca (%i41) ode2(y+(2*x-y*exp^y)*diff(y,x)=0,y,x); dy =0 dx (2.58)

CAP ITULO 2. USANDO MAXIMA PARA RESOLVER EDOS DE 1a ORDEM

43

2 2 log(exp) y 3 2 (log (exp) y - 2 log(exp) y + 2) %e - log (exp) x y (%o41) - --------------------------------------------------------------- = %c 3 log (exp) e o fator de integrao para tornar a Eq.(2.58) exata = y. Na verdade o ca e Maxima resolveu a equao ca (%i42) intfactor (%i41); y dy y(ode2((2 x - exp y) -- + y = 0, y, x)) dx

(%o42)

Vamos resolver a equao ca (2y 2 + 3x) + 2xy dy = 0. dx (2.59)

Esta equao tambm no exata e o procedimento o mesmo, o Maxima vai ca e a e e encontrar o fator integrante e depois resolver a equao. ca (%i6) ode2(2*y^2+3*x+(2*x*y)*diff(y,x)=0,y,x); 2 2 3 (%o6) x y + x = %c Quando digitamos intfactor no prompt do Maxima temos como resposta (%i7) intfactor (%i6); (%o7) dy 2 x(ode2(2 x y -- + 2 x + 1 = 0, y, x)) dx

que a equao resolvida pelo Maxima. e ca

Cap tulo 3

Usando Maxima para Resolver EDOs de 2a Ordem

Nesse cap tulo vamos resolver equaes diferenciais ordinrias de 2a ordem com co a a ajuda do software Maxima.

3.1

Equaes Diferenciais de 2a Ordem co

Uma equao diferencial dita de segunda ordem quando o maior grau de suas ca e derivadas 2. Esse tipo de equao tem sua importncia, possui muitos mtodos e ca a e de resolues com um n matemtico relativamente elementar. So essenciais co vel a a para qualquer investigao sria nas reas clssicas da f ca e a a sica matemtica, como a mecnica dos u a dos, conduo de calor, movimento ondulatrio entre outros. ca o A forma de uma equao diferencial de segunda ordem ca e d2 y dy = f (x, y, ). dx2 dx (3.1)

Alguns tipos de equaes de segunda ordem que podem ser resolvidos com a utico lizao do software Maxima so: coecientes constantes, exato, linear homogneo ca a e com coecientes no constantes que podem ser transformados em coecientes consa tantes, equaes resolv co veis pelo mtodo de variao de parmetros e equaes que e ca a co possam ser reduzidas a duas equaes lineares de primeira ordem para serem reco solvidas em seguida. Nessa seo vamos apresentar apenas as equaes homogneas com coecientes ca co e constantes e as equaes no-homogneas com o mtodo dos coecintes indeterco a e e e minados. O Maxima tambm faz o uso da funo ode2 para resolver, equaes de segunda e ca co ordem. A funo: ic2 (soluo, xval, yval, dval) resolve o problema de valor inicial ca ca
44

CAP ITULO 3. USANDO MAXIMA PARA RESOLVER EDOS DE 2a ORDEM

45

para equao diferencial de segunda ordem. Aqui, soluao uma soluo geral para ca c e ca a equao, xval uma equao para a varivel independente na forma x = x0, ca e ca a yval uma equao para a varivel dependente na forma y = y0, e dval uma e ca a e equao para a derivada da varivel dependente com relao ` varivel indepenca a ca a a dente avaliada no ponto xval.

3.2

Equaes Lineares de 2a Ordem co

Sendo f uma funo dada. A Eq.(3.1) linear se f assume a forma: ca e f (x, y, dy dy ) = g(x) p(x) q(x)y dx dx (3.2) (3.3) (3.4)

dy d2 y = g(x) p(x) q(x)y dx dx y + p(x)y + q(x)y = g(x)

ou seja, se f linear em y e y as funes g, p e q dependem apenas da varivel e co a independente x. Podemos encontrar tambm a equao e ca P (x)y + Q(x)y + R(x)y = G(x) (3.5)

Nesse caso, se P (x) = 0, podemos dividir a Eq.(3.5) por P (x) e obter a Eq.(3.4) com Q(x) R(x) G(x) p(x) = , q(x) = , g(x) = , (3.6) P (x) P (x) P (x) obs: Vamos considerar apenas os casos em intervalos que as funes g, p e q so co a cont nuas. As condies iniciais para uma equao de segunda ordem indicam um ponto co ca particular (x0 , y0 ) pertencente ao grco da soluo e o coeciente angular y0 a ca da reta tangente ao grco naquele ponto. Ento, um problema de valor inicial a a consite em uma equao diferencial, como por exemplo a Eq.(3.1), com um par de ca condies iniciais co y(x0 ) = y0 , y (x0 ) = y (x0 ), (3.7)
onde y0 e y0 so n meros dados. Uma explicao para isso que uma equao de a u ca e ca segunda ordem precisa de duas integraes para se encontrar a soluo e cada inco ca tegrao produz uma constante arbitrria. Portanto, espera-se que duas condies ca a co iniciais sejam sucientes para determinar os valores dessas suas constantes.

CAP ITULO 3. USANDO MAXIMA PARA RESOLVER EDOS DE 2a ORDEM

46

3.2.1

Equaes Homognias com Coecientes Constantes co e

Uma equao diferencial linear de segunda ordem homognea quando a funo ca e e ca g(x) = 0. Reescrevendo a Eq.(3.5), fazendo g(x) = 0, temos uma equao hoca mognea que escrevemos na forma: e P (x)y + Q(x)y + R(x)y = 0 (3.8)

Quando adquirirmos mais experincia vamos perceber que o problema de resolver e uma equao homognea o mais fundamental, ou melhor, o passo inicial para ca e e e resolvermos a no-homognea. a e Nesse primeiro momento vamos considerar apenas equaes que possuem as co funes P , Q e R constantes. Sendo assim a Eq.(3.8) ca co ay + by + cy = 0 com a, b e c constantes. A Eq.(3.9) no muito dif de ser resolvida por meio de funes elementares. a e cil co Mas, se os coecientes dessa equao no so constantes, temos diculdades de ca a a encontrar a soluo sendo preciso usar sries de potncias. ca e e Exemplo: Vamos usar o Maxima para resolver a equao ca 6y y y = 0 (%i1) /*equa~o homog^nea*/ ca e eq: 6*diff(y,x,2)-diff(y,x)-y=0; 2 d y dy (%o1) 6 --- - -- - y = 0 2 dx dx (%i2) /*solu~o geral equa~o homog^nea*/ ca ca e ode2(eq,y,x); x/2 - x/3 (%o2) y = %k1 %e + %k2 %e (%i3) method(%i2); 2 d y dy (%o3) constcoeff(ode2(6 --- - -- - y = 0, y, x)) 2 dx dx (%i4) /*solu~o particular da equa~o homog^nea*/ ca ca e ic2(%o2,x=0,y=1,diff(y,x)=2); (3.10) (3.9)

CAP ITULO 3. USANDO MAXIMA PARA RESOLVER EDOS DE 2a ORDEM

47

x/2 (%o4)

- x/3

14 %e 9 %e y = -------- - --------5 5

Como podemos perceber, o Maxima usa a funo ode2 para encontrar a soluo ca ca geral de equaes diferenciais de primeira e segunda ordem. No caso que vimos co acima a funo method retorna constcoeff, mtodo usado pelo Maxima para ca e resolver a equao diferencial. ca Resolver a Eq.(3.11) e encontrar algumas curvas solues. co y + 5y + 6y = 0 (%i1) /*equa~o homog^nea*/ ca e eq: diff(y,x,2)+5*diff(y,x)+6*y=0; 2 d y dy (%o1) --- + 5 -- + 6 y = 0 2 dx dx (%i2) /*solu~o geral da equa~o homog^nea*/ ca ca e ode2(eq,y,x); - 2 x - 3 x (%o2) y = %k1 %e + %k2 %e (%i3) /*mtodo usado pelo Maxima para resolver a equa~o*/ e ca method(%i2); 2 d y dy (%o3) constcoeff(ode2(--- + 5 -- + 6 y = 0, y, x)) 2 dx dx (%i4) /*solu~o particular da equa~o homog^nea*/ ca ca e ic2(%o2,x=0,y=2,diff(y,x)=3); - 2 x - 3 x (%o4) y = 9 %e - 7 %e (%i5) y1:rhs(%o4); (3.11)

- 2 x (%o5) 9 %e (%i6) ic2(%o2,x=0,y=1,diff(y,x)=3);

- 3 x - 7 %e

(%o6)

- 2 x y = 6 %e

- 3 x - 5 %e

CAP ITULO 3. USANDO MAXIMA PARA RESOLVER EDOS DE 2a ORDEM

48

(%i7) y2:rhs(%o6); - 2 x (%o7) 6 %e (%i8) ic2(%o2,x=0,y=1,diff(y,x)=2); (%o8) (%i9) y3:rhs(%o8); - 3 x - 5 %e

- 2 x - 3x y = 5 %e - 4 %e - 2 x - 3 x - 4 %e

(%o9) 5 %e (%i10) ic2(%o2,x=1,y=1,diff(y,x)=2); 2 - 2 x 3 -3x (%o10) y = 5 %e - 4 %e (%i11) y4:rhs(%o10); 2 - 2 x 3 - 3x (%o11) 5 %e - 4 %e (%i12) /*famlia de curvas solu~es da equa~o*/ co ca plot2d([y1,y2,y3,y4],[x,0, 5],[y,-3, 3],[gnuplot_preamble,"set terminal postscript eps;set out Dcurvas01.eps"])\$
3 9*%e^-(2*x)-7*%e^-(3*x) 6*%e^-(2*x)-5*%e^-(3*x) 5*%e^-(2*x)-4*%e^-(3*x) 5*%e^(2-2*x)-4*%e^(3-3*x) 2

-1

-2

-3 0 1 2 3 4 5

Figura 3.1: Algumas soluoes de y + 5y + 6y = 0. c

CAP ITULO 3. USANDO MAXIMA PARA RESOLVER EDOS DE 2a ORDEM

49

3.3

Equaes No-Homogneas- Mtodos dos Coecientes co a e e Indeterminados

So consideradas equaes no-homogneas aquelas que tem a forma da Eq.(3.4), a co a e onde, p, q e g so funes cont a co nuas no intervalo considerado e, g(x) = 0. As equaes no-homogneas tem uma equao homognea associada, da forma: co a e ca e y + p(x)y + q(x)y = 0 A soluo geral de uma equao no-homognea pode ser escrita na forma: ca ca a e y = c1 y1 (x) + c2 y2 (x) + Y (x). (3.13) (3.12)

em que y1 e y2 formam um conjunto de solues da equao homognea associada co ca e (3.12), c1 , c2 so constantes e Y uma soluo espec a e ca ca da soluo da equao ca ca original, no-homognea. a e

3.4

Sries de Potncia no Maxima e e

Uma funcionalidade bastante util das sries de potncias, a utilizao das mes e e e ca mas como um mtodo alternativo para resolver equaes diferenciais. O Maxima e co disponibiliza muitas funes para tratar expanses em srie, como por exemplo, co o e taylor(srie de taylor) e powerseries(srie de potncia). e e e Muitas equaes diferenciais lineares de segunda ordem, como por exemplo co y + xy = 0, (3.14)

possuem solues que no podem ser expressas de forma simples, usando funes co a co algbricas, logar e tmicas ou trigonomtricas. Para obter uma representao que e ca seja vlida das solues de muitas dessas equaes, usamos as sries de potncias. a co co e e Em alguns cursos de Matemtica a expanso em srie de Taylor programa da a a e e disciplina clculo II, no curso que z, o primeiro contato com essa expanso foi na a a disciplina clculo numrico computacional. a e Nesse seo vamos usar a srie de Taylor para resolver equaes diferenciais ca e co a ordinrias lineares de 2 ordem. Podemos observar no livro de clculo avanado a a c do autor Wilfred Kaplan uma pequena explicao sobre as sries de Taylor, onde ca e est desenvolvida uma aplicao sobre equao diferencial ordinria no-linear. a ca ca a a Analisando o exemplo dado por Kaplan, y = x + y 2 em que sua soluo em srie de Taylor : ca e e 1 5 y = 1 + 2(x 1) + (x 1)2 + (x 1)3 + (x 1)4 + ..., 6 2 (3.16) (3.15)

CAP ITULO 3. USANDO MAXIMA PARA RESOLVER EDOS DE 2a ORDEM

50

onde as condies iniciais so: y = 1 e y = 2 no instante x = 1, temos que co a esse mtodo depende das condies iniciais ou de contornos, ou melhor, do ponto e co (x0 , y(x0 )) e da derivada nesse ponto (x0 , y(x0 )). 3.4.1 Soluo Usando Srie de Potncia ca e e

Seja a equao diferencial linear de segunda ordem homognea ca e y y = 0 (3.17)

Queremos encontrar uma soluo em forma de srie de potncia (polinmio de ca e e o Taylor) em torno do ponto x = 0,

y = a0 + a1 x + a2 x + a3 x + a4 x + ... + an x + ... =
n=0

an xn

(3.18)

Diferenciando a Eq.(3.18) termo a termo, obtemos y = a1 + 2a2 x + 3a3 x2 + 4a4 x3 + ... + nan xn1 + ... que tambm podemos representar por: e

(3.19)

nan xn1
n=1

(3.20)

Diferenciando pela segunda vez a Eq.(3.18), temos

y = 2a2 + 6a3 x + 12a4 x ... + n(n 1)an x

n2

+ ... =
n=2

n(n 1)an xn2 (3.21)

Substituindo as Eq.(3.18) e (3.21) na Eq.(3.17), obtemos: (2a2 +6a3 x+12a4 x2 +...+n(n1)an xn2 +...)(a0 +a1 x+a2 x2 +a3 x3 +a4 x4 +...+an xn +...) = 0 (3.22) ou n(n 1)an xn2 +
n=2 n=0

an xn = 0.

(3.23)

Para associarmos as duas sries, precisamos reescrever de forma que ambas tenham e o mesmo termo geral. Assim, devemos mudar o ndice de somatrio na primeira o srie substituido n por n + 2 e comear em 0 em vez de 2. e c

(n+2)(n+1)an+2x
n=0 n=0

an x = 0
n=0

[(n+2)(n+1)an+2 an ]xn = 0. (3.24)

Como a soma dessa srie(polinmio de Taylor) nula, ento todos os coecientes e o e a da srie sero nulos para que essa equao seja satisfeita para todo x, temos aquir e a ca uma combinao linear independente. Logo, podemos obter as equaes ca co 2a2 a0 = 0, 6a3 a1 = 0, 12a4 a2 = 0, ... (3.25)

CAP ITULO 3. USANDO MAXIMA PARA RESOLVER EDOS DE 2a ORDEM

51

dado pela equao ca (n + 2)(n + 1)an+2 an = 0 (3.26) quando n = 0, 1, 2, 3, 4, ... que expressa uma frmula de recorrncia para os coeo e cientes: an an+2 = (3.27) (n + 2)(n + 1) Assim, a0 , ... 24 (3.28) Podemos perceber que a0 e a1 so constantes arbitrrias, na verdade, so valores a a a iniciais de y e y em x = 0. As solues podem ser escritas na seguinte forma: co 2a2 a0 = 0 a2 = a0 , 2 6a3 a1 = 0 a3 = 12a4 a2 = 0 a4 = x2n x3 x5 x7 x2n+1 x2 x4 x6 ]+a1 [x+ + + +...+ ] y = a0 [1+ + + +...+ 2! 4! 6! (2n)! + ... 3! 5! 7! (2n + 1)! + ... (3.29)

a1 , 6

n=0

x2n x2n+1 + (2n)! n=0 (2n + 1)!

(3.30)

Aqui temos a soluo geral. Para encontrar a soluo particular devemos ter ca ca ondies iniciais para a equao. co ca Mesmo para uma equao diferencial simples, necessrio muito clculo para ca e a a resolv-la manualmente por srie. Digo-lhe que poss e, sem d vidas, muito e e e vel u interessante, usar o Software Maxima para fazer estes clculos. Ento, deixo como a a uma curiosidade, para que algum tenha interesse em desenvolver algo a respeito. e

Considerao Final ca
De forma alguma um programa1 de computador pode ser visto como uma forma de substituir por completo os clculos manuais e, principalmente, o esforo de a c compreendermos os conceito matemticos. Tal programa deve ser visto como uma a ferramenta de grande ajuda no processo de aprendizagem. Porm, o dom e nio do computador assim como um programa computacional, Maxima, so fundamentais a quando nos deparamos com problemas que no podem ser resolvidos simplesmente a com lpis e papel por demorar muito tempo para serem resolvidos se comparado a com o tempo que um programa de computador levaria para resolver o mesmo problema. Erros tambm esto presentes em qualquer software, possuem seus limites e, e a quando alcanados, poss obtermos respostas incorretas. c e vel

1 Maxima

52

Referncias Bibliogrcas e a
[1] BUTKOV, E.,Mathematical Physics. New York:Addison-Wesley Publishing Company,1968. [2] Boyce, William. E e Diprima, Richard C. Equaes Diferenciais Elementaco a res e Problema de Valores de Contorno. 8 ed. Rio de janeiro: LTC, 2006. [3] Praciano-Pereira, T. Notas de Aula de Equaes Diferenciais Ordinrias co a http://www.edo-metodos.sobralmatematica.org/textos [4] Silva, M. Ilsangela. Primeiros Exemplos de Equaes Diferenciais. co Dispon em: www.sobralmatematica.org/preprints/ilsangela02.pdf vel Acesso em: 12 maio.2009 [5] Silva, M. Ilsangela; Oliveira, F. Vagner. Equaes Diferenciais Exatas. co http://www.sobralmatematica.org/preprints [6] http://maxima.sourceforge.net/

53

Apndices A e
Notas Histricas[2] o As equaes diferenciais comearam com o estudo de clculo por Isaac Newton(1642co c a 1727) e Gottfried W. Leibniz(1646-1716) durante o sculo XVII. Newton atuou e pouco na rea de equaes diferenciais, mas, seu desenvolvimento do clculo e a a co a elucidao dos princ ca pios bsicos da mecnica forneceram a base para a aplicao a a ca das equaes diferenciais no sculo XVIII, especialmente por Euler. co e dy = f (x, y), no caso dx em que f (x, y) um polinmio em x e y, usando sries innitas. e o e Newton desenvolveu um mtodo para resolver a equao e ca Leibniz descobriu o mtodo de separao de variveis em 1691, a reduo de e ca a ca equaes homogneas a equaes separveis em 1691 e o procedimento para resolco e co a ver equaes lineares de primeira ordem em 1694. co Os irmo Bernoulli, Jakob (1654-1705) e Johann (1667-1748), contribuiram a muito para o desenvolvimento de mtodos para resolver equaes diferenciais e e co ampliar o campo de suas aplicaes. Com a ajuda do clculo, resolveram diversos co a problemas em mecnica, formulando-os como equaes diferenciais. Jakob Bera co 3 2 noulli resolveu a equao diferencial y = [a /(b y a3 )]1/2 em 1690. No ano de ca 1694 Johann Bernoulli foi capaz de resolver a equao dy/dx = y/ax. ca Um problema que ambos os irmo resolveram e gerou atrito entre eles foi o a problema da braquistcrona resolvido tambm por Newton, Leibniz e LHpital. o e o Equaes Diferenciais co Equaes diferenciais um tpico da matemtica que tem aplicaes em pratico e o a co camente todos os ramos da cincia. Muitos problemas que encontramos na F e sica, Quimica, Economia e Biologia podem ser reduzidos a equaes diferenciais. Por co serem equaes que contm derivadas de funes, precisamos ter uma boa noo de co e co ca alguns tpicos estudados no Clculo Diferencial e Integral para estud-las. Na eso a a cola, quando estudamos lgebra, trigonometria somos levados a resolver equaes a co do tipo x2 + 6x + 9 = 0 (3.31) na varivel x, ou seja, encontrar um valor real ou complexo para a varivel x. Este a a
54

CAP ITULO 3. USANDO MAXIMA PARA RESOLVER EDOS DE 2a ORDEM

55

processo parecido quando queremos encontrar a soluo de uma equao diferene ca ca cial, sendo que, em vez de encontrarmos n meros para ser a soluo, encontramos u ca uma funo. Por exemplo, seja a equao diferencial ca ca y = 2x a soluo geral dessa equao a funo ca ca e ca y = x2 + c. (3.33) (3.32)

Esta equao considerada uma das mais simples poss ca e veis de encontrar a soluo. ca Denio: ca Equao Diferencial uma equao que envolve uma funo desconhecida, ca e ca ca incgnita da equao, e uma ou mais de suas prprias derivadas. o ca o Nosso primeiro contato com equaes diferenciais foi quando resolvemos a seco guinte equao estudada no Clculo I: ca a F = f f (x)dx = F (x) (3.34)

Resolvendo a integral de f (x) encontramos uma primitiva F da funo dada, ou ca melhor, encontramos uma funo F tal que, F = f . Sendo assim, a primitiva F ca nada mais que uma soluo para esta equao diferencial. e ca ca Para ilustrar temos: F (x) = sin(x) (3.35) que equivalente a e F (x) = sin(x) = cos(x) + c, (3.36)

devido a constante c, esta equao diferencial possui innitas solues. ca co

Apndices B e
Sries no Maxima e A Funo sum() ca A funo sum() usada para representar uma expansso em srie num soca e a e matrio com a sintaxe: sum(expressao, var, ini, fim). No Maxima represeno tamos assim: %i1) sum(c[n]*x^n,n,0,inf); inf ==== \ n > c x / n ==== n = 0

(%o1)

A Funo diff() ca A funo diff() como vimos acima, usada no Maxima para diferenciar exca e presses mas tambm, podemos usar a mesma para diferenciar expanses em sries o e o e com a sintaxe: diff(expressao, var, ordem da derivada). Vamos diferenciar a srie e cn xn
n=0

no Maxima: %i1) sum(c[n]*x^n,n,0,inf); inf ==== \ > / ==== n=0 inf

56

(%o1)

c n

n x

(%i2) diff(%o1,x,2);

CAP ITULO 3. USANDO MAXIMA PARA RESOLVER EDOS DE 2a ORDEM

57

(%o2)

==== \ n - 2 > (n - 1) n c x / n ==== n = 0 inf ==== \ n - 3 > (n - 2) (n - 1) n c x / n ==== n = 0

(%i3) diff(%o1,x,3);

(%o3)

Que so as derivadas de segunda e terceira ordem. a A Funo taylor() ca A funo taylor() usada quando queremos apresentar uma expresso em ca e a srie de Taylor para uma dada funo. A sintaxe taylor(f(x), var, ini, e ca e fim). Encontramos a expanso da funo sin(x) no ponto 0 e grau 9 e da seguinte a ca forma: (%i1) taylor(sin(x),x,0,9); 3 5 7 9 x x x x (%o1)/T/ x - -- + --- - ---- + ------ + . . . 6 120 5040 362880 A Funo solve rec() ca Essa funo usada para resolver a relao de recorrncia no processo de reca e ca e soluo de uma equao diferencial por meio de sries de potncias. Antes de ca ca e e utilizarmos tal funo preciso ativ-la com o aux da funo load. A sintaxe ca e a lio ca solve rec(relacao de recorrencia, a[n]). e