Você está na página 1de 14

Sumrio

Prefcio ix Agradecimentos

1 INTRODUO S EQUAES DIFERENCIAIS


1.1 Definies e Terminologia 2 1.2 Problemas de Valor Inicial 15

1.3 Equaes Diferenciais como Modelos Matemticos 22 Reviso do Captulo 1 37

2 EQUAES DIFERENCIAIS DE PRIMEIRA ORDEM 39


2.1 Curvas de Soluo sem a Soluo 40 2.2 Variveis Separveis 51 2.3 Equaes Lineares 60 2.4 Equaes Exatas 72 2.5 Solues por Substituio 80 2.6 Uma Soluo Numrica 86 Reviso do Captulo 2 92

3 MODELAGEM COM EQUAES DIFERENCIAIS DE PRIMEIRA ORDEM 95


3.1 Equaes Lineares 96 3.2 Equaes No-Lineares 109 3.3 Sistemas de Equaes Diferenciais Lineares e No-Lineares 121 Reviso do Captulo 3 130 Mdulo de Projeto: Colhendo Recursos Naturais Renovveis, por Gilbert N. Lewis 133

4 EQUAES DIFERENCIAIS DE ORDEM SUPERIOR


4.1 Teoria Preliminar: Equaes Lineares 139 4.1.2 Equaes Homogneas 142 4.1.3 Equaes No Homogneas 148 4.2 Reduo de Ordem 154

138

4.1.1 Problemas de Valor Inicial e de Contorno 139

4.3 Equaes Lineares Homogneas com Coeficientes Constantes 158 4.4 Coeficientes Indeterminados Abordagem da Superposio 167 4.5 Coeficientes Indeterminados Abordagem do Anulador 178 4.6 Variao de Parmetros 188 4.7 Equao de Cauchy-Euler 193

4.8 Resoluo de Sistemas de Equaes Lineares por Eliminao 201 4.9 Equaes No-Lineares 207 Reviso do Captulo 4 212

5 MODELAGEM COM EQUAES DIFERENCIAIS


DE ORDEM SUPERIOR 215
5.1 Equaes Lineares: Problemas de Valor Inicial 216 5.1.1 Sistemas Massa-Mola: Movimento Livre No Amortecido 216 5.1.2 Sistemas Massa-Mola: Movimento Livre Amortecido 220 5.1.3 Sistemas Massa-Mola: Movimento Forado 224 5.1.4 Anlogo do Circuito em Srie 227 5.2 Equaes Lineares: Problemas de Contorno 237 5.3 Equaes No-Lineares 247 Reviso do Captulo 5 259 Mdulo de Projeto: Desmoronamento da Ponte Suspensa Tacoma Narraws, por Gilbert N. Lewis, 263

6 SOLUES EM SRIE DAS EQUAES LINEARES


6.1 Solues em torno de Pontos Ordinrios 268 6.1.1 Reviso das Sries de Potncias 268 6.1.2 Solues em Srie de Potncias 271 6.2 Solues em torno de Pontos Singulares 280 6.3 Duas Equaes Especiais 292 Reviso do Captulo 6 304

267

7.1 Definio da Transformada de Laplace 307 7.2 Transformada Inversa e Transformadas de Derivadas 314 7.3 Teoremas da Translao 324 7.3.1 Translao sobre o Eixo s 324 7.3.2 Translao sobre o Eixo t 328 7.4 Outras Propriedades Operacionais 338 7.5 Funo Delta de Dirac 351 7.6 Sistemas de Equaes Lineares 354 Reviso do Captulo 7 361

7 A TRANSFORMADA DE LAPLACE

306

8.1 Teoria Preliminar 365

8 SISTEMAS DE EQUAES DIFERENCIAIS LINEARES DE PRIMEIRA ORDEM 364


8.2.1 Autovalores Reais Distintos 376 8.2.2 Autovalores Repetidos 380 8.2.3 Autovalores Complexos 384

8.2 Sistemas Lineares Homogneos com Coeficientes Constantes 375

8.3 Variao de Parmetros 393

8.4 Exponencial de Matriz 399 Reviso do Captulo 8 404 Mdulo de Projeto: Efeito de um Terremoto sobre um Prdio de Vrios Andares, por Gilbert N. Lewis, 406

9 SOLUES NUMRICAS DE EQUAES DIFERENCIAIS


ORDINRIAS 410
9.1 Mtodo de Euler e Anlise de Erro 411 9.2 Mtodos de Runge-Kutta 417 9.3 Mtodos de Vrios Passos 424 9.4 Equaes de Ordem Superior e Sistemas 427 9.5 Problemas de Contorno de Segunda Ordem 433 Reviso do Captulo 9 438

APNDICES APP-1
I Funo Gama AP-1 II Introduo s Matrizes AP- 3 III Transformada de Laplace AP-25 RESPOSTAS SELECIONADAS DE PROBLEMAS MPARES RESP-1 NDICE I-1

Prefcio
Na reviso de um livro-texto, o autor puxado em vrias direes por diversas influncias. Ele espera satisfazer s solicitaes dos revisores e editores para acrescentar e mudar tpicos de tal forma que o livro continue competitivo e atual. Ao mesmo tempo, espera-se que o autor no ceda o tamanho especificado do livro (a solicitao para cortar algum tpico rara) e certamente no faa nada que possa desagradar os leitores da edio anterior. Assim sendo, tentei satisfazer todas essas exigncias ou pelo menos encontrar uma soluo conciliatria. Entretanto (na minha opinio), no me desviei dos princpios estabelecidos nos prefcios anteriores ao longo de todos esses anos em que este texto foi reimpresso isto , um texto de graduao deve ser escrito levando em conta firmemente o entendimento do estudante, o que significa para mim que o material deve ser apresentado de uma forma direta, legvel e proveitosa, mantendo a teoria consistente com o fato de ser um primeiro curso. Nos ltimos anos, em parte por causa da evoluo tecnolgica e sua crescente importncia na pedagogia e do movimento de reforma em clculo, ocorreram mudanas no curso denominado Equaes Diferenciais. Os professores que lecionam esse curso vm questionando os mtodos tradicionais de lecion-lo, bem como seu contedo usual. Essa introspeco sadia faz com que o assunto em pauta fique no somente mais interessante para o aluno, mas tambm mais relevante para o mundo no qual ele vive.

O Que H De Novo Nesta Edio?


Nesta edio esto delineadas mais claramente as trs grandes abordagens das equaes diferenciais: a analtica, a qualitativa e a numrica. Antes de buscar solues analticas de equaes de primeira ordem, o Captulo 2 inicia-se com uma nova seo. Nessa seo, o comportamento qualitativo de solues de equaes diferenciais de primeira ordem examinado por meio de campos de direo e anlise de fase. No tenho dvida de que uma quantidade razovel de anlise quantitativa deva ser, e ser, parte permanente de um primeiro curso tpico. Uma vez que esta a stima edio americana, foi feito um esforo no sentido de tornar mais estimulante os conjuntos de exerccios acrescentado-se novos tipos de problema. Alguns problemas requerem o uso de um sistema algbrico por computador, o que novo nesta edio. Por estar ciente de que muitas instituies de ensino no tm recursos computacionais adequados a esses problemas, coloquei a maior parte no fim do conjunto de exerccios, sob o ttulo Exerccios Destinados a Laboratrio de Computao. Isso foi feito de tal forma que esse tipo de problema no ficasse no meio do caminho; isto , que precisassem ser depurados dos tipos mais padronizados de problema se o professor desejasse omiti-los inteiramente ou cobri-los posteriormente. Os problemas que requerem tecnologia mais simples,

como calculadoras grficas ou software grfico, esto marcados por um cone na margem. Finalmente, muitos dos problemas conceituais e controversos foram acrescentados na maior parte dos conjuntos de exerccios. Em alguns casos, reduzi ligeiramente o nmero de problemas para treinamento rotineiros - problemas que requerem a manipulao formal de algum mtodo de soluo. Da mesma forma que os problemas destinados a laboratrio de computador e os problemas que enfatizam a compreenso de conceitos e os que so adequados a uma discusso em grupo ou em classe, por convenincia e reconhecimento, foram colocados prximos dos conjuntos de exerccios. So apresentados trs novos projetos, todos eles elaborados pelo professor Gilbert N. Lewis, nos Captulos 3, 5 e 8, respectivamente. Esses projetos exploram modelos matemticos relacionados com a conservao de fontes naturais, o desmoronamento da ponte Tacoma Narrows e os modos de vibrao de um edifcio comercial durante um terremoto. Esses projetos so mais que um ensaio, pois cada um contm um conjunto de questes que podem ser usadas como uma tarefa a ser feita em um laboratrio de computao, se assim for desejado.

O Que Mudou Nesta Edio?


Embora haja mudanas em quase todos os captulos, a maior parte foi nos Captulos 2, 6 e 7. Captulo 2: Equaes Diferenciais de Primeira Ordem Os tpicos desse captulo foram ligeiramente rearranjados e foi acrescentada uma nova seo. Antes de comear a procurar solues de equaes diferenciais de primeira ordem, um pouco de anlise quantitativa foi inserido na Seo 2.1, com o ttulo Curvas de Soluo sem a Soluo. A se discute como o comportamento das solues e o aspecto da curva de soluo podem ser discernidos por meio de campos de direo e anlise de reta de fase. Praticamente metade do material desta seo nova; o material sobre campos de direo foi apresentado no Captulo 9, na sexta edio. Ao testar em minhas aulas, durante vrios anos, o novo material sobre equaes autnomas de primeira ordem durante, usando meu texto alternativo Differential Equations with Computer Lab Experiments, descobri que os estudantes realmente apreciam uma breve excurso em aspectos qualitativos de equaes diferenciais autnomas de primeira ordem, pois no envolvem procedimentos complicados e so construdos simplesmente com base na interpretao de derivada - um conceito j familiar aos estudantes por seu estudo de clculo diferencial. Essa breve introduo s noes de pontos crticos, solues de equilbrio e classificao de estabilidade dos pontos crticos como atratores, repulsores e sem--instveis feita do ponto de vista no terico e no contestador. Nesta edio apresento a discusso sobre equaes lineares (Seo 2.3) antes da seo sobre equaes exatas (Seo 2.4). Na Seo 2.3, mantive o formato de Propriedades, Procedimento e Variao de Parmetros, embora essa abordagem de equaes diferenciais

XI

lineares de primeira ordem no tenha sido aclamada universalmente pelos usurios da sexta edio. Alguns textos apresentam operaes de primeira ordem lineares (por exemplo, obtendo a forma geral do fator integrante invocando a exatido) como se as equaes lineares de primeira ordem fossem, de alguma forma, diferentes das equaes lineares de ordem superior. Tenha em mente que estou tentando tornar bem claro desde j que o mesmo procedimento para equaes lineares de ordem superior aplicvel a equaes lineares de primeira ordem, conforme o que ser apresentado no Captulo 4. Na discusso sobre equaes exatas da sexta edio, o conceito de fator integrante foi relegado ao conjunto de exerccios. O procedimento pelo qual o fator integrante pode ser determinado para determinados tipos de equao no exata foi agora acrescentado na Seo 2.4. O intuitivo mtodo de Euler foi transferido do Captulo 9 para a Seo 2.6. Isso foi feito por duas razes: para obter um melhor equilbrio entre as abordagens analtica, qualitativa e numrica de equaes diferenciais e para ilustrar melhor os aspectos grficos do software conhecido genericamente como solucionador numrico. Alm disso, a apresentao do mtodo de Euler no Captulo 2 est de acordo com o aparecimento precoce desse tpico na maior parte dos textos atuais de clculo. Captulo 6: Solues em Srie de Equaes Lineares A longa discusso sobre os vrios casos de soluo de equaes diferenciais lineares com coeficientes variveis por meio do mtodo de Frobenius foi resumida sua ess6encia. Captulo 7: Transformada de Laplace O Captulo 7 foi completamente reorganizado para abordar o quanto antes, em relao s edies anteriores, seu ponto principal - isto , que a transformada de Laplace uma ferramenta utl na soluo de determinados tipos de equao. A transformada de Laplace de derivadas e a forma como esse resultado usado na soluo de problemas simples de valor inicial linear so agora introduzidos na Seo 7.2. Nas sees subseqentes desse captulo, problemas de valor inicial de complexidade crescente, bem como solues de outros tipos de equao, so examinados paralelamente exposio de vrias propriedades operacionais da transformada. Em edies anteriores, todas as aplicaes foram consideradas em uma nica, eu admito, em vez de ser uma imensa seo. Captulo 8: Sistemas de Equaes Diferenciais Lineares de Primeira Ordem Foram acrescentados ao Captulo 8 mais figuras e grficos. Os grficos de solues de sistemas planos so dados nos planos tx, ty e zx. Embora tenha sido introduzido o plano de fase, nenhuma anlise qualitativa de equaes autnomas de segunda ordem ou do sistema

XII

plano autnomo apresentada nessa parte do texto. Uma discusso de como a transformada de Laplace pode ser usada para determinar uma exponencial de matriz foi acrescentada na Seo 8.4.

O Que Permanece?
A disposio dos captulos por tpicos e a filosofia bsica subjacente permanece a mesma. Da mesma forma que as anteriores, esta edio contm um generoso suprimento de exemplos, exerccios e aplicaes. Nuanas como a apresentao de aplicaes de equaes diferenciais em captulos distintos tambm continuam nesta reviso. Para cada revisor que solicita que sejam incorporadas aplicaes com a discusso de equaes diferenciais h um outro revisor que requisita a manuteno de aplicaes em separado dos mtodos de soluo. Em geral concordo com esse ltimo ponto de vista. Sinto que apresentar aplicaes das equaes diferenciais ordinrias de primeira e de ordem superior em captulos separados no somente aumenta a flexibilidade do texto, mas tambm permite ao leitor colocar os ps no cho, focalizando um nmero menor de conceitos no incio do curso. Do ponto de vista do estudante, a mistura de aplicaes com mtodos de soluo pode ser um excesso e, do ponto de vista do instrutor, parece difcil omitir os tpicos aplicados se eles no fizerem parte do programa do curso. Mas essa filosofia no rgida; intercalei aplicaes em vrias sees do Captulo 7 sobre a transformada de Laplace. Estou convencido disso por duas razes: os estudantes j se sentiram de certa forma confortveis com problemas aplicados da maneira como o Captulo 7 em geral coberto e, como observado anteriormente, a alternativa (isto , reunir todas as aplicaes em uma nica seo) no aceitvel. Concluindo, resisti s recomendaes de apresentar a soluo das equaes diferenciais lineares de segunda ordem e a soluo das equaes lineares de ordem superior a dois em sees separadas.

Uma famlia de solues de ED; veja a pgina 8

1.1 Definies e Terminologia 1.2 Problemas de Valor Inicial 1.3 Equaes Diferenciais como Modelos Matemticos Reviso do Captulo 1

Introduo
As palavras equao e diferencial sugerem certamente algum tipo de equao que envolve derivadas. Da mesma forma que em um curso de lgebra e trigonometria, em que um bom tempo gasto na soluo de equaes como x+ 5x + 4 = 0 para a incgnita x, neste curso uma de nossas tarefas ser resolver equaes diferenciais como y+2y+ y = 0 para a funo incgnita y = f(x). O primeiro pargrafo acima nos fala um pouco, mas no tudo, sobre o curso que voc est prestes a comear. No decorrer do curso, voc ver que h mais no estudo de equaes diferenciais que to-somente o domnio de mtodos idealizados por algum para resolv-las. Mas em primeiro lugar, para ler, estudar e familiarizar-se nesse assunto to especializado, necessrio entender a terminologia, jargo, dessa disciplina.

Equaes Diferenciais Ordinrias e Parciais Ordem de uma ED EDs Lineares e No-linear Forma Normal Soluo de uma EDO Solues Explcitas e Implcitas Soluo Trivial Famlia de Solues Soluo Singular
Voc aprendeu, em clculo, que a derivada dy/dx de uma funo y = f(x) em si uma outra funo f (x) encontrada por uma regra apropriada. A funo y = e0.1x diferencivel no intervalo ( , ), e a sua derivada dy/dx = 0.2xe0.1x. Se substituirmos e0.1x no lado direito da derivada pelo smbolo y, obteremos (1) Imagine agora que um amigo simplesmente passasse a voc a equao (1) voc no faz idia de como ela foi construda e perguntasse: qual a funo representada por y? Voc est de frente para um dos problemas bsicos deste curso: como resolver essa equao na funo de incgnita y = f(x)? O problema mais ou menos equivalente ao familiar problema inverso do clculo diferencial: dada uma derivada, encontrar uma antiderivada.

Equao Diferencial A equao construda em (1) chamada de equao diferencial. Antes de prosseguir, consideremos uma definio mais precisa desse conceito.

Equao Diferencial Uma equao que contm as derivadas (ou diferenciais) de uma ou mais variveis dependentes em relao a uma ou mais variveis independentes chamada de equao diferencial (ED). Para aprofundarmos, classificaremos as equaes diferencias por tipo, ordem e linearidade. Classificao por Tipo Se uma equao contiver somente derivadas ordinrias de uma ou mais variveis dependentes em relao a uma nica varivel independente, ser chamada de equao diferencial ordinria (EDO). Por exemplo,

(2) so equaes diferenciais ordinrias. Uma equao que envolve as derivadas parciais de uma ou mais variveis dependentes de duas ou

mais variveis independentes chamada de equao diferencial parcial (EDP). Por exemplo,

(3) so equaes diferenciais parciais. As derivadas ordinrias sero escritas ao longo deste texto com a notao de Leibniz dy/dx, dy/dx, d3y/dx3 ou com a notao linha y, y, y,... . Usando a ltima notao, podemos escrever as duas primeiras equaes diferenciais em (2) um pouco mais compactamente como y+ 5y = e'x e y y + 6y = 0. Na realidade a notao linha usada para denotar somente as trs primeiras derivadas; a quarta derivada escrita como y(4), em vez de y. Em geral, a n-sima derivada escrita como d'ny/dx'n ou y(n). Embora seja menos conveniente para escrever e imprimir, a notao de Leibniz tem uma vantagem sobre a notao linha porque dispe claramente as variveis dependentes e independentes. Por exemplo, na equao d'2x/dt'2 + 16x = 0 v-se imediatamente que o smbolo x representa uma varivel dependente e t, uma varivel independente. Voc deve tambm estar ciente de que a notao ponto de Newton usada em fsica e engenharia para denotar a derivada em relao ao tempo (depreciativamente conhecida por notao sujeira de mosca). Assim sendo, a equao diferencial d'2s/dt'2 . Derivadas parciais so freqentemente denotadas = 32 torna-se por uma notao em subscrito, indicando as variveis independentes. Por exemplo, com a notao em subscrito, a segunda equao em (3) torna-se uxx = ytt 2ut.. Classificao por Ordem A ordem de uma equao diferencial (EDO ou EDP) a ordem da maior derivada na equao. Por exemplo,

uma equao diferencial ordinria de segunda ordem. Equaes diferenciais ordinrias de primeira ordem so ocasionalmente escritas na forma diferencial M(x, y) dy + N(x, y) dx = 0. Por exemplo, supondo que y seja a varivel dependente em (y x)dx + 4x dy = 0, ento y = dy/dx; portanto, dividindo-a pela diferencial dx, obtemos a forma alternativa 4xy + y = x). Veja Observaes no fim desta seo. Em smbolos, podemos expressar uma equao diferencial ordinria de ordem n em uma varivel dependentepela forma geral F(x, y, y, ..., y(n)) = 0, (4)

onde F uma funo de valores reais de n + 2 variveis, x, y, y, ....y(n), onde y(n) = dn y /dxn. Por razes prticas e tericas, daqui em diante tambm vamos considerar que sempre possvel resolver uma equao diferencial ordinria na forma (4) unicamente para a derivada mais alta y(n) em termos das n + 1 variveis remanescentes. A equao diferencial (5)

onde f uma funo contnua de valores reais, conhecida por forma normal de (4). Assim sendo, quando servir aos nossos propsitos, usaremos a forma normal

para representar equaes diferenciais ordinrias gerais de primeira e segunda ordem. Por exemplo, a forma normal da equao de primeira ordem 4xy' + y = x y' = (x y)4x. Veja Observaes, no fim desta seo. Classificao por Linearidade Dizemos que uma equao diferencial ordinria de ordem n (4) linear se F for linear em y, y', ..., y(n 1). Isso significa que uma EDO de n-sima ordem linear quando (4) for an(x)y(n) + an1(x)y(n 1) + ... + a1(x)y' + a0(x)y g(x) ou

(6) Em (6) vemos as duas propriedades caractersticas de uma equao diferencial linear: primeiramente, a varivel dependente e todas as suas derivadas so do primeiro grau isto , a potncia de cada termo envolvendo y 1. Segundo, cada coeficiente depende no mximo da varivel independente x. As equaes

so, por sua vez, equaes diferenciais ordinrias lineares de primeira, segunda e terceira ordem. Acabamos de demonstrar que a primeira equao linear na varivel y por meio da forma alternativa 4xy+ y = x. A equao diferencial ordinria no-linear obviamente a que no linear. Funes no-lineares da varivel dependente ou de suas derivadas, como sen y ou ey, no podem aparecer em uma equao linear. Assim sendo,

so exemplos de equao diferencial ordinria no-linear de primeira, segunda e quarta ordem, respectivamente. Solues Conforme mencionado anteriormente, uma das metas deste curso resolver ou encontrar solues para equaes diferenciais. Na definio a seguir vamos considerar o conceito de uma soluo de uma equao diferencial ordinria. Soluo de uma EDO Toda funo f, definida em um intervalo I e tendo pelo menos n derivadas contnuas em I, as quais quando substitudas em uma equao diferencial ordinria de ordem n, reduzem a equao a uma identidade, considerada uma soluo da equao diferencial no intervalo.

Em outras palavras, uma soluo de equao diferencial ordinria de ordem n (4) uma funo f que tm pelo menos n derivadas e para a qual F(x, f(x), f(x), ..., f(n)(x)) = 0 para todo x em I. Dizemos que f satisfaz a equao diferencial em I. Para nossos propsitos, vamos supor tambm que uma soluo f seja uma funo de valores reais. Em nossa discusso introdutria, vimos que y = e0.1.x uma soluo de dy/dx = 0.2xy no intervalo (, ). Ocasionalmente, ser conveniente denotar uma soluo pelo smbolo alternativo y(x). Intervalos de Definio Voc no pode pensar em uma soluo de equao diferencial ordinria sem simultaneamente, pensar no intervalo. O intervalo I na Definio 1.2 alternativamente conhecido por intervalo de definio, intervalo de existncia, intervalo de validade ou domnio da soluo e pode ser um intervalo aberto (a, b), um intervalo fechado [a, b], um intervalo infinito (a, ), e assim por diante. EXEMPLO 1 Verificao de uma Soluo

Verifique se a funo indicada uma soluo da equao diferencial dada no intervalo ( , ). (a) (b)

Soluo Uma maneira de verificar se a funo dada uma soluo observar depois de substituir, se ambos os lados da equao so iguais para cada x no intervalo. (a) Em lado esquerdo: lado direito: vemos que ambos os lados so iguais para cada nmero real x. Note que y1/2 = x2 , por definio, a raiz quadrada no negativa de x4. (b) nas derivadas y = xex + ex e y = xex + 2ex, temos, para cada nmero real x4, lado esquerdo: y 2y + y = (xex + 2ex) 2(xex + ex) + xex = 0 lado direito: 0. Observe, ainda que, no Exemplo 1 cada equao diferencial tem a soluo constante y = 0, < x < . Uma soluo de equao diferencial identicamente nula no intervalo I chamada de soluo trivial. Curva de Soluo O grfico de uma soluo f de uma EDO chamado de curva de soluo. Uma vez que f uma funo diferencivel, contnua no intervalo de definio I. Assim sendo, pode haver uma diferena entre o grfico da funo f e o grfico da soluo f. Posto de outra forma, o

domnio da funo f no precisa ser igual ao intervalo I de definio (ou domnio) da soluo f. O Exemplo 2 ilustra a diferena. EXEMPLO 2 Domnio versus Intervalo I de Definio O domnio de y = 1/x, considerado simplesmente como uma funo, o conjunto de todos os nmeros reais x, exceto zero. Ao fazer o grfico de y = 1/x, plotamos os pontos no plano xy correspondentes a uma amostragem criteriosa de nmeros tomados em seu domnio. A funo racional y = 1/x descontnua em zero e seu grfico, em uma vizinhana da origem, apresentado na Figura 1.1(a). A funo y = 1/x no diferencivel em x = 0, uma vez que o eixo y (cuja equao x = 0) uma assntota vertical do grfico. Entretanto, y = 1/x tambm uma soluo da equao diferencial linear de primeira ordem xy+ y =0. (Verifique.) Mas quando afirmamos que y = 1/x uma soluo dessa ED, queremos dizer que uma funo definida em um intervalo I no qual diferencivel e satisfaz a equao. Em outras palavras, y = 1/x uma soluo da ED em todo intervalo que no contenha 0, como (3, 1), ( , 10), (, 0) ou (0, ). Como a curva de soluo definida por y = 1/x nos intervalos 3 < x < 1 e < x < 10 so simplesmente segmentos, ou partes, da curva de soluo definida por y = 1/x em < x < 0 e 0 , x < , respectivamente, faz sentido tomar o intervalo I to grande quanto possvel. Portanto, tomamos I como sendo (, 0) ou (o, ). A curva de soluo em (0, ) apresentada na Figura 1.1(b). Solues Explcitas e Implcitas Voc deve estar familiarizado com os termos funo explcita e funo implcita no estudo de clculo. Uma soluo na qual a varivel dependente expressa somente em termos da varivel independente e das constantes chamada de soluo explcita. Para nossos propsitos, vamos pensar que uma soluo explcita seja da forma y = f(x), a qual pode ser manipulada, calculada e ser diferenciada por meio das regras-padro. Acabamos de ver nos dois ltimos exemplos que y = x4, y = xex e y = 1/x so, por sua vez, solues explcitas de dy/dx = xy1/2, y 2y + y = 0 e xy + y = 0. Alm disso, a soluo trivial y = 0 uma soluo explcita de todas as trs equaes. Quando de fato formos resolver uma equao diferencial ordinria, veremos que os mtodos de soluo nem sempre nos levam diretamente a uma soluo explcita y = f(x). Isso particularmente verdadeiro quando tentamos resolver equaes diferenciais no-lineares de primeira ordem. Em geral temos de nos contentar com uma relao ou expresso G(x, y) = 0, quel define implicitamente uma soluo f.

(a) Funo y = 1/x, x 0.

(b) Soluo y = 1/x, (0, ). Figura 1.1

DEFINIO 1.3 Soluo Implcita de uma EDO Dizemos que uma relao G(x, y) uma soluo implcita de uma equao diferencial ordinria (4), em um intervalo I, desde que exista pelo menos uma funo f que satisfaa a relao, bem como a equao diferencial em I.

Est alm do escopo deste curso investigar as condies sob as quais a relao G(x, y) = 0 define uma funo diferencivel f. Assim sendo, vamos supor que, se a implementao formal de um mtodo de soluo levar a uma relao G(x, y) = 0, haver pelo menos uma funo f que satisfaz tanto a relao (isto , G(x, f (x))= 0) quanto a equao diferencial em um intervalo I. Se a soluo implcita G(x, y) = 0 for bem simples, poderemos resolver y em termos de x e obter uma ou mais solues explcitas. Veja Observaes.

EXEMPLO 3 A relao x2

Verificao de uma Soluo Implcita + y2 = 25 uma soluo implcita da equao diferencial (7)

no intervalo 5 < x < 5. Por diferenciao implcita, obtemos


(a) Soluo implcita. x2 + y2 = 25

. Resolvendo a ltima equao para o smbolo dy/dx obtemos (7). Alm disso, resolvendo x2 + y2 = 25 para y em termos de x, obtemos y = . As duas funes, y = f1(x) = e y = f2(x) = , satisfazem a relao (isto , x2 + f12 = 25 e x2 + f22 = 25) e so solues explcitas definidas no intervalo 5 < x < 5. A curva de soluo apresentada nas Figuras 1.2(b) e (c) so segmentos do grfico da soluo implcita na Figura 1.2(a).

(b) Soluo explcita.

Toda relao da frmula x2 + y2 c = 0 formalmente satisfaz (7) para toda constante c. Porm, deve ser entendido que a relao faz sentido no sistema de nmeros reais; dessa forma, por exemplo, se c = 25 no poderemos dizer que x2 + y2 + 25 = 0 uma soluo implcita da equao. (Por que no?) Uma vez que uma soluo explcita e uma implcita so facilmente diferenciadas, no discutiremos elaboradamente a questo por meio de afirmaes do tipo eis uma soluo explcita (implcita).

Famlia de Solues O estudo de equaes diferenciais anlogo ao de clculo integral. Em alguns textos, a soluo f s vezes chamada de integral da equao e seu grfico, de curva integral. Em clculo, quando computamos uma antiderivada ou integral indefinida, usamos uma nica (c) Soluo explcita. constante de integrao c. Da mesma forma, quando estivermos resolvendo uma equao diferencial de primeira ordem F(x, y, y) = 0, obteremos usualmente uma soluo contendo uma nica constante arbitrria ou um parmetro c. Uma soluo contendo uma constante arbitrria representa Figura 1.2 Uma soluo implcita e um conjunto G(x, y, c) = 0 de solues chamado famlia de solues de duas explcitas de y= x/y. um parmetro. Quando estivermos resolvendo uma equao diferencial de ordem n F(x, y, y, ...y(n)) = 0, procuraremos uma famlia de solues de n parmetros G(x, y, c1, c2, ..., cn) = 0. Isso significa que uma