Sumrio

Aula 1: Equaes Diferenciais Ordinrias (E.D.O.)

IFI IFP IFQ IFR IFS IFT IFU IFV
Introduo F F F F F F F F F F F F F F F F F F F F F F F O que uma E.D.O.? F F F F F F F F F F F F F F F F F Classicao das Equaes Diferenciais F F F F F F F Motivao F F F F F F F F F F F F F F F F F F F F F F F Denies e terminologia F F F F F F F F F F F F F F F Equaes Diferenciais Ordinrias e o Teorema Fundamental do Clculo

7
V V W IH IS IU IW PI PP PP PP PR PR

F F F F F F F F F F F F F F F F F

Exemplo de um estudo qualitativo de uma E.D.O. F F Concluso F F F F F F F F F F F F F F F F F F F F F F F

RESUMO F F F F F F F F F F F F F F PRXIMA AULA F F F F F F F F F ATIVIDADES F F F F F F F F F F F LEITURA COMPLEMENTAR

IFW

F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F

Referncias Bibliogrcas F F F F F F F F F F F F F F F

Aula 2: Teorema de Existncia e Unicidade

PFI PFP PFQ PFR
Introduo F F F F F F F F F F F F F F F F F F F F F F F Problema de valor inicial ou problema de Cauchy F F Teorema de existncia e unicidade F F F F F F F F F F Concluso F F F F F F F F F F F F F F F F F F F F F F F

25
PT PT PV QP

RESUMO F F F F F F F F F F F F F F PRXIMA AULA F F F F F F F F F ATIVIDADES F F F F F F F F F F F LEITURA COMPLEMENTAR

PFS

F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F

QR QR QS QT QT

Referncias Bibliogrcas F F F F F F F F F F F F F F F

AULA
Equaes Diferenciais Ordinrias (E.D.O.)
META:
sntroduzir s de(nies preliminres referentes o ontedo iques hifereniis yrdinris e dr motives pr o estudo desss equesF

OBJETIVOS:
eo (m d ul os lunos devero ser pzes deX eonheer e lssi(r um iquo hiferenil yrdinriY gompreender importni prti de tis equesY sdenti(r um soluo de um iquo hiferenil yrdinriY intender o que um estudo qulittivo de um iquo hiferenE il yrdinriF

PR-REQUISITOS
ys onheimentos de derivd e integris de funes de vlores reis om domnio em RD d disiplin glulo sF herivo imE plitF gonheimentos sios sore vetores e de gr(os de funes de um vrivelF

Equaes Diferenciais Ordinrias (E.D.O.)

1.1

Introduo

gro lunoD sej emEvindo noss primeir ul de iques hifereniis yrdinris3 ispero que juntos prendmos um pouo sore o universo desss to importntes equesF x ul de hoje onheeremos o que um iquo hiferenil yrdinri @reE viremos esse nome por iFhFyF de gor por dinteAD omo esto dividids tis equesD lgums motives prtis pr seu esE tudoD o que um soluo de um iFhFyF eD por (mD onheeremos um pouo sore teori qulittiv pr iFhFyFD tingindo ssim
A histria das Equaes Diferenciais to antiga quanto a do clculo diferencial, a qual data do sculo XVII. Desde o momento que os inventores do clculo, Newton e Leibniz, tiveram o entendimento necessrio sobre a derivada de uma funo, esta comeou a aparecer em equaes e logo descobriu-se que as solues para tais equaes no eram to simples assim. Algumas dessas solues podiam ser obtidas por meio da antiderivada, mas a maioria das equaes no podiam ser resolvidas por esse processo.

o ojetivo (nl pr ess ulF

1.2

O que uma E.D.O.?

fem resumidmenteD um iquo hiferenil um equo que envolve derivdsF welhor dizendo

Denio 1.1.

ghmmos por iquo hiferenil @iFhFA um

equo que ontm derivds de um ou mis vriveis depenE dentes em relo um ou mis vriveis independentesF

Exemplo 1.1.

dx + 3x = senxY @x vrivel dependente dt pois x vist omo funo de t e t vrivel independenteA

IF

PF 3 QF x

dy dx +x =y+x dt dt dx dx + =5 dt ds

Denio 1.2. ghmmos por iquo hiferenil yrdinri @iFhFyFA

um equo que ontm derivds de um ou mis vriveis deE pendentes em relo pens um vrivel independenteF

Equaes Diferenciais Ordinrias

xos exemplos imD os de nmero I e P pens so iFhFy9sF y exemplo Q onheido omo iquo hiferenil ril @iFhFFAD pois possue derivds em relo mis de um vrivel indepenE denteF wtemtimente flndo podemos representr um iFhFy em um vrivel dependente n form gerl

AULA

1
O que uma E.D.P.? Uma E.D.P. uma equao que contm derivadas de uma ou mais variveis dependentes em relao a DUAS OU MAIS variveis independentes. Elas possuem a mesma classicao das E.D.O.'s.

F (x, y, y , y , , y (n) ) = 0,
onde F um funo de vlores reis de n + 2 vriveisD x vrivel independenteD y vrivel dependente e y , y , , y (n) so s derivds de y om respeito x t ordem nF im um iFhFyF F (x, y, y , y , , y (n) ) = 0D qundo for possvel expressr derivd de ordem mior y (n) em funo dos outros termos d equoD ou sej

y (n) = f (x, y, y , y , , y (n1) )

dizemos que iFhFyF est n su form normlF

Observao 1.1.

IF edmitiremos queD pelo menos lolmenteD

tod iFhFyF pode ser esrit n su form normlF @isso possvel devido o eorem d funo implitA PF oderemos usr tmm noto

dn y lm de y (n) pr dxn representr derivd de ordem n de y om respeito xF

1.3

Classicao das Equaes Diferenciais

es iques difereniis se lssi(m qunto o tipoD ordem e lineriddeF unto o tipo els podem ser iques hifereniis

Equaes Diferenciais Ordinrias (E.D.O.)

yrdinris ou iques hifereniis risF istudremos dinte lssi(o om respeito s iFhFyF9sF

Quanto ordem
e ordem de um iFhFyF dd pelo ndie d mior derivd existente n equoF or exemplo s eques

3xy + y + 3x5 y = 5, (y )5 + y = 0, y (5) + 5xy (7) + y = 2

so eques de ordem QD P e UD respetivmenteF

Quanto linearidade
m iFhFyF de ordem nD F (x, y, y , , y (n) ) = 0D dit liner se el puder ser esrit n form

an (x)y (n) + an1 (x)y (n1) + + a1 (x)y + a0 (x)y = g(x).

Exemplo 1.2.

IA x2 y + y = 7 @ iFhFyF linerA

PA (sen x)y + y (4) = lnx @ iFhFyF linerA QA y y + y (4) = lnx @ iFhFyF no liner por us do termo y y A RA y (5) + 3x2 y + lny = 0 @iFhFyF no liner devido o termo ln y AF

1.4

Motivao

or que estudr iFhFyFc es iFhFyF9s modelm prolems reisD tis omoX

gresimento populionl wovimento de um pndulo ropgo de doens vnmento e movimento de foguetes wovimento de orpos elestes

10

Equaes Diferenciais Ordinrias

wovimento de orpos em plnos inlindos gorpos em movimento hrmnio simples heimento rdiotivo ees e misturs qumis giruitos eltrios gorpos em qued
e seguir vmos onheer mis de perto omo s iFhFyF9s preem em lguns desses prolemsF

AULA

Movimento de um corpo em um plano inclinado

gonsidere um orpo de mss m movendoEseD sem tritoD num plno inlindoD omo mostr (gur ixoF emos que

A modelagem matemtica uma rea do conhecimen to que busca trazer para a linguagem matemtica problemas muitas vezes reais a m de estudlos. o que acontece, por exemplo, no estudo dos movimentos dos corpos celestes e na datao da idade de um fssil.

pigur IFIX gorpo de mss m num plno inlindoF resultnte ds fors n direo y D dd por Fry = N Py =

N P cos D nulD um vez que no h movimento n direo y F

gontudoD resultnte ds fors n direo xD dd por Frx = Px =

P sen D no nulF el segund vei de xewtonD semos que

for resultnte que ge em um orpo de mss onstnte igul o produto de su mss por su eleroD ou sejD Fr = m a. hess mneirD omo for resultnte que ge no orpo de mss

11

Equaes Diferenciais Ordinrias (E.D.O.)

m no plno inlindo im Frx + Fry = P sen + 0 = mg sen
temos que o movimento desse orpo desrito pel equo

P sen = m ax = m x ,
onde x represent posio do orpoD ax represent elero desse orpo n direo xD e ( ) represent derivo om respeito o tempo tF essimD o movimento do orpoD sore o plno inlindoD o longo do tempo ddo pel soluo d iFhFyF

x = gsen .

Observao 1.2.

IE e elero de um orpo num instnte de

tempo t onheid omo tx de vrio d veloidde desse dv orpo o longo do tempoD ou sejD a = e omo veloidde num dt instnte de tempo t tx de vrio d posio desse orpo d2 x o longo do tempoD temos que a = 2 D onde v e x representmD dt respetivmenteD veloidde e posio do orpoF PE xo prolem imD se = 0D o orpo estr em repouso n horizontl @onsiderndo veloidde iniil nulAF e = 90o D o orpo estr em qued livreF

Movimento de um pndulo simples

gonsidere o pndulo ixo gonsideremos s medid do ro formdo pelo pndulo @desloE mento do pnduloA qundo este form om linh vertil um ngulo D omo mostr (gur imF emos que s = l, onde

l o omprimento do (o do pnduloF essimD omo l um onE

stnteD elero do pndulo o longo do tempo t dd por d2 d2 s a= 2 =l 2F dt dt

12

Equaes Diferenciais Ordinrias

AULA

pigur IFPX ndulo simplesF e for resultnte n direo y nulD um vez que troD

T D no (o igul omponente d for peso P n direo y F

gontudoD for resultnte n direo x no nul e dd por

mg sen D @o sinl negtivo porque ess for resultnte um

for resturdorAF essimD d segund vei de xewtonD otemos d2 que mgsen = ml 2 ou melhor dt

d2 g = sen . dt2 l
ortntoD pr desrevermos o movimento desse pndulo o longo do tempoD stEnos hr soluo dess iFhFyFF

Sistema massa-mola (Movimento Harmnico simples).

gonsidere (gur ixo onde desrevemos o movimento de um orpo de mss m preso um mol om onstnte de elstiidde
O Movimento Harmnico simples-

kF
e molD prinpio se enontr sem nenhum orpo preso elF undo prendemos o orpo de mss mD mol se distende s uniddes de omprimento e o orpo ( prdoD ou sejD o sistem mssEmol est n su posio de equilrioF xesse estdo temos iguldde entre for peso e for resturdor d mol @Lei

M.H.S.- um movimento oscilatrio que se caracteriza pela ao de foras restauradoras do tipo elsticas.

13

Equaes Diferenciais Ordinrias (E.D.O.)

pigur IFQX istem mssEmolF

de HookeA queD mtemtimenteD desrit pel equo

ks = mg.
e soltrmos mss m de um posio x ixo d su posio de equilrio temosD pel segund lei de xewton que

Fr = m a,
onde Fr for resultnte gindo n mss mD qul nesse so ser som ds fors peso e resturdor d molD ou sejD

Fr = mg k(s + x)F hess mneirD equo Fr = m a ssume

form

mg k(x + s) = m. x
gomo g e s so onstntesD otemos um equo diferenil orE dinri liner de segund ordem dd por

x=
Lei de Hooke (16351703)A fora restau-

k x, m

um vez que ks = mg F y mpo de plies pr s iFhFyF9s imensoD podermos (r qui listndo inmeros modelos mtemtios onde tis eques preemD ms optmos por flr mis deles dinteD qundo tiverE mos exposto lgums tnis de resoluo de iFhFyF9sF

radora exercida pela mola proporcional disteno da mola. Esta fora oposta direo do alongamento.

14

Equaes Diferenciais Ordinrias

1.5

AULA

Denies e terminologia
m soluo de um iFhFyF de ordem n um

Denio 1.3.

funo de(nid em um intervlo I R qul tem pelo menos

n derivds em I e que stisfz iFhFyF ddF

or exemploD onsidere iFhFyFD F (x, y, y , , y (n) ) = 0D um soluo dess iFhFyF um funo de(nid em um intervlo

I R que tem pelo menos n derivds em I tl que F (x, (x), (x), , (n) (x)) = 0D pr todo x I F x4 Exemplo 1.3. e funo y dd por y(x) = , x R soluo 16 d iFhFyF 4y x3 = 0 um vez que diferenivel em R e stisfz
iFhFyF ddD vmos veri(rc herivndo y om respeito xD otemos y = x3 /4F ustituindo em 4y x3 segue que 4y x3 = 0F ws ser que ess ni soluoc yserve que tod expresso x4 + c, c R um soluo pr ess iFhFyFF d form y(x) = 16 undo isso ontee dizemos que iFhFyF possue um famlia

de solues um prmetroD que nesse so cF Observao 1.3.

y intervlo de de(nio de um soluo lgo que meree uiddoD pois em gerl onfundeEse domnio de um funo om intervlo de de(nio de um soluoF or exemploD 1 funo y = soluo d iFhFyF xy +y = 0 pr x pertenente x qulquer intervlo dos nmeros reis que no ontm o zeroD omo 1 omo funo est de(nid por exemploD (0, )F gontudoD y = x em R F

Observao 1.4. trivialF

IF m soluo de um iFhFyF identiE

mente nul no seu intervlo de de(nio I hmd soluo

15

Equaes Diferenciais Ordinrias (E.D.O.)

PF im gerlD um iFhFyF possue um nmero in(nito de soluesF QF odemos ter solues de um iFhFyF que no veem de

um fmli de solues dess iFhFyFF gomo por exemploD dy iFhFyF = y 2 4 possue seguinte fmli de solues dx (1 + ce4x ) y(x) = 2 , c RD ontudo y(x) = 2 soluo (1 ce4x ) dess iFhFyF e no provm dess fmliD um vez que no existe vlor do prmetro c tl que y(x) = y(x) = 2. RF undo um soluo de um iFhFyF vem de um fmli de solues enontrdD denominmos soluo particular d iFhFyF ddF SF @Soluo de um

implcita)E xem sempre enontrremos soluo

iFhFyF em su form explitD y = (x)F es

solues de lgums iFhFyF9sD qundo for possvel hrE mos tis soluesD em gerl sero dds n form G(x, y) =

0D qul de(ne impliitmente soluoF

or exemploD

G(t, E, c) = 0, onde G(t, E, c) = c t + E sen E um

fmli de solues implits @ um prmetroA d iFhFyF 1 dE = . @pr veri(r derive impliitmente om dt 1 cos E respeito t expresso G(t, E) = 0A m outro exemploD onsidere G(x, y) = 0D onde G(x, y) =

x2 + y 2 4 e 2 < x < 2 um soluo mpliit d iFhFyF dy x = F dx y

TF hd um iFhFyF

dy = f (x, y), dx
um soluo d form (x) = c, c R dit

soluo de

equilbrio d

iFhFyF dd se f (x, ) = 0F

16

Equaes Diferenciais Ordinrias

or exemploD (x) = 2 soluo de equilrio d iFhFyF

AULA

dy = y 2 4. dx

Denio 1.4. y gr(o de hmdo de curva integralF

um soluo de um iFhFyF m vez que diferenivel em

seu intervlo de de(nio I D su urv integrl ontnu em I F eixo desrevemos lgums urvs integris d fmli de solues do ixemplo IFQF

pigur IFRX rte de lgums urvs integris de y = x3 /4F

1.6

Equaes Diferenciais Ordinrias e o Teorema Fundamental do Clculo

Teorema Fundamental do Clculo- Parte I: Seja f : [a, b] R uma funo contnua. A funo F : [a, b] R denida pela expresso
x

m prolem sio do glulo sntegrl determino do vlor d integrl de(nid

f (x)dx

de um funo f : [, ] RF undo f ontnu e no negtiv podemos relionr o oneito de integrl de(nid om idi de re y eorem pundmentl do glulo interlig os oneitos de inE tegrl e derivd e nos mostr um mneir de resolver lgums

F (x) =
a

f (x)dx (1.1)

derivvel e F (x) = f (x) para todo x (a, b).

17

Equaes Diferenciais Ordinrias (E.D.O.)

pigur IFSX re ixo do gr(o d funo f F integris de(nidsF

yserve que funo F de(nid em @IFIA um soluo d equo diferenil

dy = f (x). dx

@IFPA

es solues dess iF hF yF so hmds s primitivs de f F xesse so dizemos que iFhFyF foi resolvid por qudrturD ou sejD foi possvel hr um primitiv pr funo f F od prte do glulo hmd de lulo de primitivs nd mis do que determino de solues d equo diferenil @IFPA pr diferentes funes f F essimD o prolem de resolvermos um integrlD ou sejD hrmos um primitivD equivlente o prolem de resolvermos um iFhFyFF gomo semos do gluloD um vez que nem tod funo possui primitivD nem tod iFhFyF possuir soluo dd expliitmenteF y nmero de eques que podem ser resolvids em termos de funes elementres @ou por qudrturA muito pequenoD mesmo depois d introduo de funes representds por integrisD omo o so ds funes elptisF egundoD pigueiredo @PHHUA ess

18

Equaes Diferenciais Ordinrias

onstto gerou us de novos mtodos e surgiu ssim o uso de sries de funes n resoluo de um iF hF yFD o eorem de ixistni e niidde de soluesD teori qulittivD qul se preoup em extrir o mximo de informes possveis sore soluo de um iFhFyF sem onheer expliitmente soluo d mesm e mtodos numriosF x seo seguinte dremos um exemplo de um estudo qulittivo de um iFhFyFF

AULA

1.7

Exemplo de um estudo qualitativo de uma E.D.O.

O matemtico Henri Poincar foi uma das gonsideremos um iFhFyF de 1a ordem n su form norml grandes mentes pensantes da matemtica de sua dy = f (x, y) @IFQA poca e porque no dizer da histria dessa cincia dx at ento. Suas pesquisas uponhmos que no sej possvel enontrr soluo dess iFhFyFD foram e so de grande importncia em vrias por mtodos nltiosF undo nos deprmos om prolems sE reas da matemtica, tais como: anlise, lgesim e tentmos oter informes sore s solues diretmente d bra, geometria e teoria dos nmeros. Ele foi o prpri iFhFyF ddD estmos relizndo um estudo qulittivo grande precursor da teoria qualitativa para E.D.O.'s ds eques do prolemF no linear e suas idias dy de um funo diferenivel nessa rea contriburam emos do lulo que derivd para uma nova maneira dx y = y(x) nos d inlino d ret tngente em um ponto (x, y) de abordar muitos dos problemas em mecnica sore o gr(o d tl funoF essimD tomemos um ponto (x0 , y0 ) celeste.

sore urv integrl de um soluo de @IFQAD o vlor f (x0 , y0 ) nos d inlino d ret tngente urv integrl no ponto (x0 , y0 )F welhor dizendo f (x0 , y0 ) nos d inlino de um segmento de retD denomindo elemento linerD tngente urv integrl no ponto (x0 , y0 )F or exemploD onsideremos equo

y dy = , dx x

19

Equaes Diferenciais Ordinrias (E.D.O.)

y onde f (x, y) = F xo ponto (4, 7)D por exemploD inlino do x elemento liner f (4, 7) = 7/4F e (gur ixo nos mostr
represento desse elemento liner n urv integrl d soluoF

pigur IFTX ilemento liner n urv integrlF

Denio 1.5.

gonsidere iFhFyF@IFQA e lule todos os vlores

de f (x, y) sore um mlh retngulr de pontos (x, y) no plno

xy F r d ponto (x0 , y0 ) dess mlhD ssoie um vetor @ou

um elemento linerA om inlino f (x0 , y0 )F e oleo de todos esses vetores ser hmd de

campo de direes

de @IFQAF

por est rzo que dd um iFhFyF omo @IFQA hmmos muits vezes funo f (x, y) de mpo ssoido iFhFyF ddF xo so d iFhFyFD

y dy = , temos o seguinte mpo de vetores dx x

pigur IFUX gmpo de vetoresF isulmenteD o mpo de direes de um iFhFyF sugere prnE

20

Equaes Diferenciais Ordinrias

i ou form de um fmli de urvs integris dess iFhFyFF esE simD podemos responder pergunts omoD existe solues peridiE s ou existe solues que resem ou diminuem inde(nidmente @solues de espeA sem que onhemos de fto expresso d fmli de soluesF

AULA

1.8

Concluso

es iques hifereniis esto muito presentes no nosso di di eD em prtiulrD s iques hifereniis yrdinrisF gom o uxlio ds leis d pis desoriuEse um in(nidde de plies pr esss equesF snfelizmenteD nem tod iFhFyF possui um soluo dd expliitmenteF ssso fez om que surgissem tnis que nos dessem informes sore s solues sem que neessriE mente tivssemos sus expresses lgrisD esss tnis esto inserids no que hmmos de istudo ulittivo ds iFhFyFsF y mtemtio renri oinr foi o preursor desse estudoF

21

Equaes Diferenciais Ordinrias (E.D.O.)

RESUMO
x ul de hoje vimos o que so iques hifereniis yrE dinrisD omo se lssi(m e omo esto relionds om outrs inisF imos tmm o que um soluo de um iFhFyFD que s solues de um iFhFyF podem ser dds de mneir explit @qundo onheemos su expresso lgriA ou de mneir imE plitF imos o que so solues de equilrioD soluo prtiulr e urv integrlF eprendemos que um iFhFyFD em gerlD no possui pens um soluo e omo o oneito de soluo de um iFhFyF est ligdo o lulo de primitivs de um funoD termo que vem l do glulo sntegrlF imos que pr se resolver o prolem de no se poder oter um soluo explit pr tod iFhFyF podeE se usr s ferrments d teori qulittivD onde possvel oter informes sore soluo de um iFhFyF sem que onhemos su expresso lgriF

PRXIMA AULA
im noss prxim ul veremos o que um prolem de vlor iniil ou prolem de guhy e quis s ondies pr que um iFhFyF tenh soluo ni pssndo por um pontoF

ATIVIDADES

Atividade. 1.1. glssi(que s eques diferenis ixo qunto

o tipoD ordem e lineriddeF

22

Equaes Diferenciais Ordinrias

A3x2 y (4) + (y )6 = 1. A3x

AULA

dz dy + = x5 . dx dx d3 x dx +5 x = 0. dt3 dt

A(lnx)

dA (1 x)y 4xy + 5y = cos x.

dy 4 d3 y 2 + y = 0. dx3 dx fA yy + 2y = 1 + x2 .
eAx gA x2 dy + (y xy xex )dx = 0. dx dy hA + 3x + 1 = 90. dt ds Atividade. 1.2. eri(que que funo g(x) = c1 cos(4x) +

c2 sen (4x), c1 , c2 R um fmli de solues d iFhFyF y + 16y = 0.

Atividade. 1.3.
solues pr

eri(que que um fmli um prmetro de

y = xy + (y )2 y = cx + c2 .
hetermine um vlor de k pr que y = kx2 sej um soluo prE tiulr pr equo diferenilF

Atividade. 1.4.

inontre um soluo de equilrio pr s

iFhFyF9s @enontre ess soluo sem resolver iFhFyFA A y = 8xy dx = (1 t2 )(1 x2 ) A dt Atividade. 1.5. wostre que y1 = 2x + 2 e y2 = x2 /2 so ms solues de

y = xy + (y )2 /2.

23

Equaes Diferenciais Ordinrias (E.D.O.)

es funesD c1 y1 e c2 y2 onde c1 , c2 R so tmm soluesc hesenhe s urvs integrisF

Atividade. 1.6.

im erts irunstnisD um orpo f de mss

m em qued enontr resistni do r proporionl su veloiE

dde v F se segund lei de xewton pr enontrr equo diferenil pr veloidde v do orpo em qulquer instnteF vemreEse de que elero a = dv/dtF uponh neste so que direo positiv pr ixoF hepois lssi(que equo enontrdF

LEITURA COMPLEMENTAR
psqisihyD hjiro quedesD iques hifereniis eplidsF goleo mtemti universitriF sweD PHHUF yyweyD torgeD vies de eques difereniis ordinrisF sweF svvD hennis qFD iques hifereniis om plies em modeE lgemF homsonD PHHQF

1.9

Referncias Bibliogrcas

psqisihyD hjiro quedesD iques hifereniis eplidsF goleo mtemti universitriF sweD PHHUF svvD hennis qFD iques hifereniis om plies em modeE lgemF homsonD PHHQF

24

AULA
Teorema de Existncia e Unicidade
META:
inunir o eorem de ixistni e niidde pr iFhFyFF

OBJETIVOS:
eo (m d ul os lunos devero ser pzes deX eonheer um prolem de vlor iniilF sdenti(r qundo um prolem de vlor iniil tem soluo ni ou noF

PR-REQUISITOS
ys onheimentos de integris de funes de vlores reis om domnio em R e diferenio de funes de vlores reis om domnio em R2 F elm de lgum onheimento sore urvs em

R2 F

Teorema de Existncia e Unicidade

2.1

Introduo

gros lunos noss segund ul tem omo tem 4y eorem de ixistni e niidde4 pr iFhFyF9sF iste teorem no nos diz omo expresso d soluo de um iFhFyFD ms nos jud muito no sentido que ele nos ssegurD so erts ondiesD que existe solues d iFhFyF estudd pssndo por um determindo pontoF

2.2

Problema de valor inicial ou problema de Cauchy

Sabemos que o movimento dos corpos celestes so modelados por E.D.O.. Quando procuramos um ponto no espao para colocar em rbita um satlite, por exemplo, resolve-se um determinado P.V.I.. E nesse problema relevante buscar um ponto no espao no qual a soluo do problema que passe por ele no escape ao innito, caso contrrio o satlite ser mandado para o espao sideral!!!

undo prourmos resolver um iFhFyFD por exemplo do tipoD

dn y = f (x, y, y , , y (n) ) dxn

que stisf s ondies y(x0 ) = y0 , y (x0 ) = y1 , , y (n1) =

yn1 D onde x0 , y0 , y1 , , yn1 so onstntesD estmos resolvendo

Problema de Valor Inicial (P.V.I.) ou um problema de CauchyF es ondies y(x0 ) = y0 , y (x0 ) = y1 , , y(n1) = yn1
um so hmds de ondies iniiis do prolemF im prtiulr qundo n = 1D otemos o seguinte FFsF

dy = f (x, y), y(x0 ) = y0 . dx

Exemplo 2.1.

inontre soluo do FFsF

dy y = , y(1) = 3. dx x
yu sejD nesse exemplo queremos enontrr soluo d iFhFyF im que stisf ondio y(1) = 3D ou melhorD queremos

26

Equaes Diferenciais Ordinrias

enontrr soluo d iFhFyF tl que que o ponto (1, 3) sej ponto do gr(o dess soluoF

AULA

c F @ereE x mos omo lulr tl fmli n ul seguinteAF xoss pergunt X

m fmli de solues pr iFhFyF dd y(x) = ser que dentre ess fmli de solues existe um soluo tl que c y(1) = 3? yserve que y(1) = e pr que y(1) = 3 temos que ter 1 3 c = 3F vogoD soluo prtiulr y(x) = stisfz o FFsFddoF x ws ser que ess ni soluo que stisfz esse FFsFou tem outrsc i se mudrmos ondio iniilD por exemploD o dy y FFsF = , y(0) = 0 tem soluoc e se tiver nic y dx x eorem que veremos n prxim seo nos judr responder tods esss perguntsF

Exemplo 2.2.

gonsidere iFhFyF

dy = 3y 2/3 F e fmli de dx

funes c : R R dd por (x c)3 , x c c (x) = , 0, xc onde c R um fmli de solues pr ess iFhFyFF gomprove ess (rmo3 @pr isso st veri(r que c (x) pr x c stisfz iFhFyF e depois fzer o mesmo pr c (x) pr x c um vez que ess funo diferenivel em RFA x pigur PFID desrevemos lgums urvs integris dos memros dess fmli de soluesF yserve que vris solues stisfzem o FFsF

dy = 3y 2/3 , y(0) = 0. dx
o pode me dizer quisc ixiste outr soluo que stisf esse FFsFe no se enontr n fmli de solues ddc

27

Teorema de Existncia e Unicidade

pigur PFIX gurv integrl ds soluesF ixiste soluo que stisfz o FFsF que est soluo nic es resposts s pergunts feits im soD n ordemD s seguintesX tods s solues d fmli dd pr vlores d onstnte c miores do que ou iguis zeroF im existeD soluo identiE mente nul @soluo trivilAF im existeD st esolher soluo prtiulr qundo c = 0 n fmli de solues dd imF essimD soluo ser dd por 0 (x) = x3 , se x 0 e 0 (x) = 0 se x 0F i sore ltim perguntD deixemoE 4suspens4e voltemos pr el n prxim seoF

dy = 3y 2/3 , y(1) = 1c er dx

Voltando a questo de se colocar satlites em rbita, o teorema de existncia e unicidade nos garante que escolhido um ponto no espao, no haver duas rbitas passando por aquele ponto. Isso, por exemplo, pode evitar possveis colises entre satlites!

2.3

Teorema de existncia e unicidade

y teorem ixoD devido irdD nos d ondies su(ientes pr grntir existni e uniidde do FFsF

dy = f (x, y), y(x0 ) = y0 . dx

@PFRA

Teorema 2.1. Seja R uma regio retangular no plano xy, denida

por a x b, c y d, que contm o ponto (x0 , y0 ) em seu inf (x, y) so contnuas em R, ento existe um y intervalo I centrado em x0 e uma nica funo y = y(x) denida

terior. Se f (x, y) e

em I que satisfaz o P.V.I.(2.4).

28

Equaes Diferenciais Ordinrias Exemplo 2.3.

omemos o FFsF do exemplo nterior

AULA

dy = 3y 2/3 , y(0) = 0. dx
t semos que esse FFsFno tem soluo niF ueremos ser gor pr quis pontos do plno xy o FFsForrespondente tem soluo niF r isso pliremos o teorem imF f r esse FFsF temos f (x, y) = 3y 2/3 , ento (x, y) = 2y 1/3 . y r sermos regio R do plno xy onde podemos enontrr soluo niD st nlisrmosD segundo o teorem imD em f so ontnusF quis pontos do plno xy s funes f e y yserve que pr todos os pontos (x, y) no plno xy tis que y = 0 f so ontnusF eixo representmos lgums s funes f e y regies onde o eorem de ird ou o eorem de existni e uniidde de solues seri vlidoF

pigur PFPX egies de existni e uniidde de solues d iFhFyF imF ortnto respondendo ltim pergunt d seo nteriorD o FFsF

dy = 3y 2/3 , y(1) = 1 dx

29

Teorema de Existncia e Unicidade

tem soluo e est ni segundo o eorem de existni e uniidde PFIF yserve ind nesse exemplo que o ponto (0, 0) est extmente n ret y = 0D lol onde o eorem de existni e uniidde PFI no tem sus hipteses stisfeitsF undo ontee ftos ssimD o FFsF em questo pode ter soluo ni ou noD no dy nosso so o FFsF n = 3y 2/3 , y(0) = 0 no tem soluo niF dx Observao 2.1. IE y eorem de irdD eorem PFID @ou teoE rem de existni e uniiddeA nos grnte pens que soluo existe e niD no nos mostr omo enontrElF PE ixiste um fmoso teoremD devido enoD hmdo eorem de existniD no qul somente ontinuidde de f (x, y) exigidF isse teorem nos grnte pens existni d soluo e no uniidde delF QE e s hipteses do teorem de ird no forem stisfeitsD podeE mos ter ou no existni e uniidde d soluoF o so do exemplo PFP e do exerio resolvido desrito seguirF RE e estmos trtndo om iFhFyF9s lineresD em prtiulr de primeir ordem

a1 (x)y + a0 (x)y = g(x) y =

g(x) a0 (x) y+ = f (x, y) a1 (x) a1 (x)

s ondies do teorem de ird so stisfeits qundo a1 (x), a0 (x) e g(x) so ontnus num intervlo I tl que a1 (x) = 0. im gerl pr iFhFyF9s lineres de ordem n

an (x)y (n) + + a1 (x)y + a0 (x)y = g(x)

s ondies do teorem de ird so stisfeits qundo an (x), , a0 (x) e g(x) so ontnus em I e an (x) = 0 pr todo x I F

30

Equaes Diferenciais Ordinrias Exerccio Resolvido 2.1.

inontre um soluo pr o FFsF

AULA

y = |y 1|, y(0) = 1.
x prour de solues pr um FFsFD prourmos primeirmente um soluo dentre s mis feis e imedits solues possveis pr um iFhFyFX solues de equilrio e soluo trivilF xo difil ver que soluo trivil @identimente nulA no stisfz iFhFyF ddD logo no pode ser soluo do FFsFF elm do mis soluo trivil no stisfz ondio iniil ddF xesse soD prouremos um soluo de equilrio pr o prolemF yserve que soluo y = 1 soluo de equilrio d iFhFyF dd e stisfz o FFsFF he ftoD note que y = 1 nul o mpo f (x, y) =

|y 1| ssoido o FFsFF xos perguntemos gor se ess soluo

nic er que o teorem de ird pode nos responderc e funo f (x, y) = |y 1| tl que

f (x, y) =

y 1,

se y 1

(y 1), se y < 1 1, se y 1 f f essimD (x, y) = F ortntoD um vez que 1, se y < 1 y y no ontnu em (0, 1)D este ponto no pertene regio ds
hipteses do teorem de irdF hess mneir poss ser que o FFsFddo tenh ou no soluo niD o teorem de ird no pode nos judr ness deisoF entremos mostrr de outr form que o FFsFddo tem soluo niF esolvendo iFhFyF dd y = |y 1| pelo mtodo ds vriveis seprveisD o qul prenderemos n ul seguinteD temos seguinte

31

Teorema de Existncia e Unicidade

soluo

cex + 1, se c > 0 , y(x) = 1 ex + 1, se c < 0 c onde c um onstnte positivF eixo desrevemos tods s
possveis urvs integris d iFhFyF ddF yservndo que esE

pigur PFQX gurv integrl ds soluesF ss urvs integris so tods s urvs integris possveis pr iFhFyF dd e pel ontinuidde d vrio ds solues de um iFhFyF onluiEse que soluo de equilrio y = 1 ni soluo do FFsFddoF

2.4

Concluso

h ul de hoje onlumos que ddo um prolem de vlor iniE il pode oorrer que vris solues stisfm esse prolemD onE tudo existe um teoremD denomindo por eorem de irdD que nos jud deidir se lguns FFsF9s tem soluo niF tisfeits

32

Equaes Diferenciais Ordinrias

s ondies desse teoremD ele nos grnte que um ddo FFsFtem soluoD ms no nos diz quem soluoF hess mneirD pode ser queD primeir vistD esse teorem pre intilD ms no o F m vez que tenhmos ertez que tl soluo existe em um dd regioD podemos gstr esforos om tnis omputionisD se os mtodos nltios no resolveremD pr prourr tl soluo pois el existeF

AULA

33

Teorema de Existncia e Unicidade

RESUMO
m rolem de lor sniil nd mis do que um iFhFyF sujeit um determind ondioF e serD o prolem

dn y = f (x, y, y , , y (n) ), y(x0 ) = y0 , , y (n1) (x0 ) = yn1 dxn

dito prolem de vlor iniil @FFsFA ou prolem de guhyF es ondies y(x0 ) = y0 , , y (n1) (x0 ) = yn1 so dits ondies iniis do prolemF imos que os FFsF9s tem su plio prtiF y eorem de irdD ou eorem de existni e uniiE ddeD nos jud deidir sore questes omo existni e uniiE dde de solues stisfzendo determindos FFsF9sF iste teorem nos diz que

Teorema 2.2. Seja R uma regio retangular no plano xy, denida

por a x b, c y d, que contm o ponto (x0 , y0 ) em seu inf (x, y) so contnuas em R, ento existe um y intervalo I centrado em x0 e uma nica funo y = y(x) denida

terior. Se f (x, y) e

em I que satisfaz o P.V.I.

dy = f (x, y), y(x0 ) = y0 . dx

PRXIMA AULA
im noss prxim ul omeremos prender lgums tnis pr resolues de iFhFyF9sF gomeremos om s iFhFyF9s de primeir ordemF

ATIVIDADES

34

Equaes Diferenciais Ordinrias Atividade. 2.1.

hdo o FFsF

AULA

y = 1 + y 2 , y(0) = 0.
A eri(que que y = tan(x + c) um fmli de solues um prmetro pr iFhFyF y = 1 + y 2 F Ay FFsFim tem soluo nic tusti(que su respostF A istele o mior intervlo de de(nio pr soluo d letr nteriorF

Atividade. 2.2.

gonsidere o FFsF

dy = xy 1/2 , y(2) = 1. dx
Aisse FFsFtem soluo nic A eri(que que s funes y(x) =
x4 16 ,

<x<e

y(x) =

0,

se x < 0

x4 /16, se x 0

so solues do FFsFimF ssso quer dizer que o FFsFno tem soluo nic or que isso no ontrdiz o eorem de irdc

Atividade. 2.3.
FFsF

inontre @sA regio@esA do plno xy onde o

y sec(x) + xy +

x2

1 y = 1, y(x0 ) = y0 1

tem soluo niF ixplique su respost

LEITURA COMPLEMENTAR

35

Teorema de Existncia e Unicidade

psqisihyD hjiro quedesD iques hifereniis eplidsF goleo mtemti universitriF sweD PHHUF yyweyD torgeD vies de eques difereniis ordinrisF sweF svvD hennis qFD iques hifereniis om plies em modeE lgemF homsonD PHHQF

2.5

Referncias Bibliogrcas

yyweyD torgeD vies de eques difereniis ordinrisF sweF svvD hennis qFD iques hifereniis om plies em modeE lgemF homsonD PHHQF

36