25.01.2015 Views

Curso de Equações Diferenciais Ordinárias - Unesp

Curso de Equações Diferenciais Ordinárias - Unesp

Curso de Equações Diferenciais Ordinárias - Unesp

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

<strong>Curso</strong> <strong>de</strong> Equações <strong>Diferenciais</strong> Ordinárias<br />

1 Introdução<br />

——<br />

Definição: Uma equação diferencial é uma equação on<strong>de</strong> aparece uma ou<br />

mais <strong>de</strong>rivadas <strong>de</strong> uma função <strong>de</strong>sconhecida.<br />

Exemplos:<br />

1)<br />

t : tempo<br />

x (t) : posição<br />

.<br />

x (t) : velocida<strong>de</strong><br />

..<br />

x (t) : aceleração<br />

F ( t, x, ẋ) = m .ẋ<br />

2)<br />

Observe que<br />

y ′′ + y ′ = 0<br />

y 1 (x) = c, constante<br />

y 2 (x) = e −x<br />

são soluções.<br />

OBJETIVOS:<br />

-Encontrar as soluções (Análise).<br />

-Proprieda<strong>de</strong>s das soluções (Geometria e Topologia: Sistemas Dinâmicos).<br />

-Métodos Numéricos ( Matemática Aplicada).<br />

O Teorema Fundamental do Cálculo<br />

Se<br />

f : [a, b] → R<br />

é uma função contínua então a função dada por<br />

F (x) =<br />

∫ x<br />

a<br />

f (t) dt<br />

1


é <strong>de</strong>rivável e<br />

F ′ (x) = f (x) .<br />

Prova:<br />

Observe que o teorema está afirmando que F (x) é a solução do PVI (Problema<br />

<strong>de</strong> Valor Inicial) { y ′ (x) = f (x)<br />

.<br />

y (a) = 0<br />

Para provarmos o teorema basta calcularmos F ′ (x) :<br />

F ′ F (x + h) − F (x)<br />

(x) = lim<br />

=<br />

h→0 h<br />

∫ x+h<br />

x<br />

h→0<br />

= lim<br />

f (t) dt<br />

h<br />

f (c h ) h<br />

= lim = ∗<br />

h→0 h<br />

on<strong>de</strong> c h é um número entre x e x + h, conforme o Teorema do Valor Médio<br />

Integral. Assim a continuida<strong>de</strong> <strong>de</strong> f nos garante que<br />

<br />

∗ = f (x) .<br />

Classificação das Equações <strong>Diferenciais</strong>:<br />

-Quanto ao tipo: Chamamos <strong>de</strong> EDO (Equações <strong>Diferenciais</strong> Ordinárias)<br />

aquelas on<strong>de</strong> aparecem apenas as <strong>de</strong>rivadas ordinárias e chamamos <strong>de</strong> EDP<br />

(Equações <strong>Diferenciais</strong> Parciais) aquelas on<strong>de</strong> aparecem <strong>de</strong>rivadas parciais.<br />

-Quanto a or<strong>de</strong>m: A or<strong>de</strong>m <strong>de</strong> uma equação diferencial é a or<strong>de</strong>m da maior<br />

<strong>de</strong>rivada que aparece na equação.<br />

Exemplos:<br />

1)<br />

é uma EDO <strong>de</strong> 1 a or<strong>de</strong>m.<br />

2)<br />

é uma EDP <strong>de</strong> 2 a or<strong>de</strong>m.<br />

y ′ + y = sin x<br />

u t = u xx<br />

OBSERVAÇÃO: A Forma Geral das EDO’s que iremos estudar neste<br />

curso é<br />

(<br />

y (n) = f t, y, y ′ , ..., y (n−1)) .<br />

QUESTÕES QUE ABORDAREMOS:<br />

-Sempre têm soluções (Existência)<br />

-Quantas soluções (Unicida<strong>de</strong>)<br />

-É possível <strong>de</strong>terminá-las 2


2 Equações <strong>Diferenciais</strong> Ordinárias <strong>de</strong> Primeira<br />

Or<strong>de</strong>m<br />

Uma EDO <strong>de</strong> primeira or<strong>de</strong>m é uma equação da forma<br />

y ′ = f (t, y)<br />

Uma solução para a equação acima é uma função<br />

φ : I → R<br />

on<strong>de</strong> I ⊂ R é um intervalo aberto e φ satisfaz<br />

φ ′ (t) = f (t, φ (t)) , ∀t ∈ I.<br />

Um PVI <strong>de</strong> primeira or<strong>de</strong>m é uma equação <strong>de</strong> primeira or<strong>de</strong>m acompanhada<br />

<strong>de</strong> uma condição, chamada <strong>de</strong> condição inicial<br />

{ y ′ = f (t, y)<br />

y (t 0 ) = y 0<br />

.<br />

Uma solução do PVI é uma função φ como acima, satisfazendo ainda que<br />

a)<br />

t 0 ∈ I<br />

b)<br />

φ (t 0 ) = y 0 .<br />

INTERPRETAÇÃO GEOMÉTRICA DAS EDO’S DE PRIMEIRA<br />

ORDEM<br />

Dada a EDO<br />

temos que uma solução é uma curva<br />

que tem como vetor tangente<br />

Consi<strong>de</strong>re por exemplo a EDO<br />

y ′ = f(t, y)<br />

(t, y (t))<br />

(1, f (t, y)) .<br />

y ′ = 3 − y<br />

2<br />

Com o auxílio do MAPLE po<strong>de</strong>mos ”plotar” o campo <strong>de</strong> vetores<br />

(<br />

1, 3 − y )<br />

2<br />

e termos uma idéia do comportamento das soluções:<br />

3


2.1 EDO’s Lineares <strong>de</strong> Primeira Or<strong>de</strong>m<br />

Uma EDO linear <strong>de</strong> primeira or<strong>de</strong>m é uma equação do tipo<br />

Se<br />

y ′ + p (t) y = g (t) .<br />

g ≡ 0<br />

então a equação é dita HOMOGÊNEA.<br />

Exemplos:<br />

1)<br />

É óbvio que<br />

y ′ + y 2 = 3 2<br />

y = 3<br />

é uma solução. Vejamos como po<strong>de</strong>m ser as outras.<br />

Temos<br />

dy<br />

dt = 3 − y<br />

2<br />

e assim<br />

se<br />

1 dy<br />

3 − y dt = 1 2<br />

y ≠ 3.<br />

Então<br />

d<br />

dt (ln |y − 3|) = −1 2<br />

Segue que qualquer solução da equação <strong>de</strong>verá ser da forma<br />

on<strong>de</strong> k é uma constante real.<br />

Observe que se k > 0 então<br />

e se k < 0 então<br />

y = ke − t 2 + 3<br />

lim t→+∞ = 3<br />

lim t→−∞ = +∞<br />

lim t→+∞ = 3<br />

lim t→−∞ = −∞<br />

4


2) Da mesma forma como no anterior temos que as soluções <strong>de</strong><br />

dy<br />

dt<br />

= ry + k,<br />

on<strong>de</strong> r ≠ 0 e k são constantes reais, são dadas por<br />

on<strong>de</strong> M é uma constante real.<br />

3) Vamos resolver o PVI<br />

y = Me rt − k r<br />

{ y ′ − y 2 = e−t<br />

y (0) = −1<br />

Multipliquemos os dois lados da equação por µ (t) :<br />

µy ′ − µ y 2 = µe−t<br />

Suponhamos que<br />

−µ y 2 = µ′ y<br />

e temos<br />

(µy) ′ = µe −t<br />

∫<br />

µy = µe −t dt<br />

y =<br />

∫<br />

µe −t dt<br />

µ<br />

Concluímos que se for possível encontrar uma tal função µ então po<strong>de</strong>remos<br />

encontrar as soluções da equação. Mas encontrar uma tal função µ, que<br />

chamaremos <strong>de</strong> FATOR INTEGRANTE, é relativamente simples:<br />

yµ ′ = −µ y 2 (y ≠ 0) ⇒ µ′ = − µ 2 ⇒<br />

⇒ µ′<br />

µ = −1 2 ⇒ d dt ln |µ| = −1 2 ⇒<br />

⇒<br />

ln |µ| = − t 2 + c ⇒ |µ| = ke− t 2 , k > 0 ⇒<br />

⇒ µ = ke − t 2 , k ∈ R.<br />

Assim, voltando para o PVI, temos<br />

y =<br />

∫<br />

ke<br />

− t 2 e −t dt<br />

ke − t 2<br />

5<br />

= − 2 3t<br />

3e− 2 + c<br />

e − t 2


e como<br />

segue que<br />

y (0) = −1<br />

− 2 3 + c = −1<br />

e portanto<br />

e<br />

c = − 1 3<br />

y = − 2 3 e−t − 1 3 e t 2<br />

Teorema: Sejam p, g funções reais contínuas <strong>de</strong>finidas em um intervalo<br />

aberto I e t 0 ∈ I. O PVI<br />

{ y ′ + p (t) y = g (t)<br />

admite uma única solução<br />

y (t 0 ) = y 0<br />

φ : I → R.<br />

Prova:<br />

Vamos proce<strong>de</strong>r da mesma maneira que proce<strong>de</strong>mos no exemplo acima.<br />

Inicialmente encontremos uma função µ que satisfaça<br />

É trivial vermos que<br />

µ ′ = pµ.<br />

R t<br />

p(s)ds<br />

t<br />

µ (t) = e 0<br />

satisfaz o <strong>de</strong>sejado. µ é chamada <strong>de</strong> FATOR INTEGRANTE. Temos:<br />

Como<br />

segue que<br />

y ′ + py = g ⇒ y ′ µ + pµy = µg ⇒<br />

⇒<br />

y ′ µ + µ ′ y = µg ⇒ (yµ) ′ = µg ⇒<br />

∫ t<br />

⇒ yµ (t) = g (s) µ (s) ds + k ⇒<br />

t 0<br />

⇒ y = e − R (∫<br />

t<br />

t R<br />

)<br />

p(s)ds<br />

s<br />

t 0 t p(u)du 0 g (s) ds + k<br />

y (t 0 ) = y 0<br />

k = y 0<br />

t 0<br />

e<br />

e que a solução do PVI é<br />

y = e − R (∫<br />

t<br />

t R<br />

)<br />

p(s)ds<br />

s<br />

t 0 t<br />

e<br />

p(u)du 0 g (s) ds + y 0 .<br />

t 0<br />

6


Exemplos:<br />

1) {<br />

y ′ + 2ty = t<br />

y (0) = 0<br />

Aplicando a fórmula acima temos<br />

y = e − R (∫ t<br />

t<br />

0 2sds e R )<br />

s<br />

0 2udu sds = 1 2 − 1 .<br />

2 e−t2<br />

0<br />

2) { ty ′ + 2y = 4t 2<br />

y (1) = 2<br />

Inicialmente dividimos os dois lados da equação por t. O intervalo aberto<br />

on<strong>de</strong> as funções p e g estão <strong>de</strong>finidas e são contínuas é (0, +∞) (o maior aberto<br />

contendo o ponto da condição inicial t 0 = 1).<br />

Temos<br />

y = e − R t 2<br />

1<br />

s ds (∫ t<br />

1<br />

e R s<br />

1<br />

3) {<br />

y ′ − 2ty = 1<br />

y (0) = 1<br />

)<br />

2<br />

u du 4sds + 2 = t 2 + 1 t 2<br />

Aplicando a fórmula <strong>de</strong>duzida acima obtemos<br />

y = e − R (∫ t<br />

t<br />

0 (−2s)ds e R )<br />

s<br />

0 (−2u)du ds + 1 =<br />

(∫ t<br />

)<br />

= e t2 e −s2 ds + 1 .<br />

0<br />

0<br />

Observe que a função que aparece no integrando não possui primitiva elementar.<br />

Definindo a função<br />

temos que<br />

Erf (t) = √ 2 ∫ t<br />

e −s2 ds<br />

π<br />

y (t) = e t2 (√ π<br />

2 Erf (t) + 1 )<br />

Com a ajuda <strong>de</strong> métodos numéricos po<strong>de</strong>mos esboçar seu gráfico:<br />

Também po<strong>de</strong>mos obter algumas informações sobre o comportamento da<br />

solução. Por exemplo, calculemos o limite <strong>de</strong> y (t) quando t ten<strong>de</strong> a infinito.<br />

Para isso, inicialmente calculemos<br />

lim Erf (t) = lim<br />

t→+∞<br />

t→+∞<br />

∫<br />

2 t<br />

√ π<br />

0<br />

0<br />

e −s2 ds = 2 √ π<br />

7<br />

lim<br />

t→+∞<br />

∫ t<br />

0<br />

e −s2 ds = ∗


Chamando<br />

temos que<br />

Resta calcularmos L :<br />

L =<br />

∫ ∞<br />

−∞<br />

e −s2 ds<br />

2<br />

lim Erf (t) = √ . L<br />

t→+∞ π 2 = √ L . π<br />

L 2 =<br />

=<br />

∫ +∞ ∫ +∞<br />

−∞ −∞<br />

∫ +∞ ∫ 2π<br />

0<br />

= π.<br />

0<br />

e −x2 −y 2 dxdy =<br />

e −r2 rdrdθ =<br />

e<br />

Logo<br />

Assim<br />

L = √ π<br />

lim Erf (t) = 1<br />

t→+∞<br />

(√ )<br />

π<br />

lim y (t) = lim<br />

t→+∞ t→+∞ et2 2 Erf (t) + 1 = +∞.<br />

EXERCÍCIOS:<br />

1) Desenhe um campo <strong>de</strong> direções para a equação dada e com base em<br />

uma inspeção do campo <strong>de</strong>screva como as soluções se comportam para gran<strong>de</strong>s<br />

valores <strong>de</strong> t.<br />

a)y ′ + 3y = t + e −2t<br />

b)y ′ + y = te −t + 1<br />

c)y ′ − 2y = 3e t<br />

d)y ′ + 2ty = 2te −t2<br />

e)2y ′ + y = 3t<br />

f)y ′ + y = 5 sin 2t<br />

2) Determine as soluções gerais das equações acima e use-as para <strong>de</strong>terminar<br />

como as soluções se comportam para gran<strong>de</strong>s valores <strong>de</strong> t.<br />

3) Ache a solução do PVI proposto:<br />

{ y<br />

a)<br />

′ − y = 2te 2t<br />

{<br />

y (0) = 1<br />

y<br />

b)<br />

′ + 2 t y = cos t<br />

t 2<br />

{ y (π) = 0<br />

ty<br />

c)<br />

′ + 4t 2 y = t<br />

y (−1) = 0<br />

4) Consi<strong>de</strong>re o PVI {<br />

y ′ − 1 2 y = 2 cos t<br />

y (0) = a<br />

8


a) Desenhe um campo <strong>de</strong> direções. Qual o comportamento das soluções para<br />

gran<strong>de</strong>s valores <strong>de</strong> t O comportamento <strong>de</strong>pen<strong>de</strong> da escolha do valor inicial a<br />

Se <strong>de</strong>pen<strong>de</strong>r estime o valor <strong>de</strong> a 0 , valor <strong>de</strong> a para o qual ocorre a transição<br />

<strong>de</strong> um tipo <strong>de</strong> comportamento para o outro.<br />

b) Resolva o PVI e <strong>de</strong>termine a 0 .<br />

c) Descreva o comportamento da solução correspon<strong>de</strong>nte a a 0 .<br />

5) Consi<strong>de</strong>re o PVI<br />

{ ty ′ + (t + 1) y = 2te −t<br />

y (1) = a<br />

a) Desenhe um campo <strong>de</strong> direções. Qual o comportamento das soluções para<br />

t → 0 O comportamento <strong>de</strong>pen<strong>de</strong> da escolha do valor inicial a Se <strong>de</strong>pen<strong>de</strong>r<br />

estime o valor <strong>de</strong> a 0 , valor <strong>de</strong> a para o qual ocorre a transição <strong>de</strong> um tipo <strong>de</strong><br />

comportamento para o outro.<br />

b) Resolva o PVI e <strong>de</strong>termine a 0 .<br />

c) Descreva o comportamento da solução correspon<strong>de</strong>nte a a 0 .<br />

6) Consi<strong>de</strong>re o PVI {<br />

y ′ + 2 3 y = 1 − t 2<br />

y (0) = y 0<br />

Determine o valor <strong>de</strong> y 0 para o qual a solução toca, mas não cruza, o eixo t.<br />

7) Ache a solução geral<br />

a)y ′ + ( )<br />

1<br />

t y = sin t, t > 0 d)ty ′ + 2y = e t , t > 0<br />

b)y ′ + 2y = 2e −t + t e)3y ′ − 2y = cos t<br />

c)2y ′ + y = t − 1<br />

8) Consi<strong>de</strong>re os PVI’s<br />

{ ty<br />

i)<br />

′ + 2y = t 2 − t + 1<br />

{ y (1) = 1 2<br />

ty<br />

ii)<br />

′ + y = e t<br />

{<br />

y (1) = 1<br />

ty<br />

iii)<br />

′ + 2y = sin t<br />

y (π) = 1 π<br />

Para cada um dos problemas acima:<br />

a) Determine a solução do PVI.<br />

b) Faça um gráfico da solução.<br />

c) Determine o intervalo em que a solução é válida.<br />

d) Determine o comportamento da solução quando t se aproxima das extremida<strong>de</strong>s<br />

do intervalo.<br />

9


9) Consi<strong>de</strong>re o PVI {<br />

y ′ − 3 2y = 3t + 2et<br />

y (0) = y 0<br />

Determine o valor <strong>de</strong> y 0 que separa as soluções que crescem positivamente<br />

quando t → +∞ das que crescem negativamente. Como se comporta solução<br />

que correspon<strong>de</strong> a esse valor crítico <strong>de</strong> y 0 <br />

10) Mostre que se a e λ são constantes positivas e b é um número real<br />

qualquer , toda solução da equação<br />

y ′ + ay = be −λt<br />

tem a proprieda<strong>de</strong> <strong>de</strong> que y → 0 quando t → +∞.<br />

2.2 Equações Redutíveis a Forma Linear<br />

I- A Equação <strong>de</strong> Bernoulli<br />

y ′ + p (t) y = q (t) y n , n ∈ Z.<br />

Se n = 0 ou n = 1 então a equação é linear e já sabemos como resolvê-la.<br />

Para n ≠ 0 e para n ≠ 1 consi<strong>de</strong>ramos a seguinte mudança <strong>de</strong> coor<strong>de</strong>nadas<br />

v = y 1−n<br />

e temos<br />

dv<br />

−n dy<br />

= (1 − n) y<br />

dt<br />

dt<br />

dv<br />

dy<br />

dt<br />

=<br />

dt 1 − n yn<br />

dv<br />

dt<br />

1 − n yn + p (t) y = q (t) y n (÷y n )<br />

dv<br />

dt<br />

1 − n + p (t) y1−n = q (t)<br />

v ′ + (1 − n) p (t) v = (1 − n) q (t)<br />

sendo a última equação linear.<br />

Exemplo:<br />

Fazemos<br />

{<br />

y ′ + 1 t<br />

y = (cos t) y−2<br />

y (1) = 1<br />

v = y 3<br />

, t > 0<br />

10


e obtemos o problema<br />

{<br />

v ′ + 3 t v = 3 cos t<br />

v (1) = 1<br />

.<br />

II- A Equação <strong>de</strong> Riccati<br />

y ′ + p (t) y + q (t) y 2 = f (t)<br />

Teorema: Se y 1 e y 2 são soluções da equação <strong>de</strong> Riccati então<br />

é solução da equação <strong>de</strong> Bernoulli<br />

z = y 2 − y 1<br />

z ′ + (p (t) + 2y 2 q (t)) z = q (t) z 2 .<br />

Prova: Basta efetuar o cálculo para comprovar.<br />

Exemplo:Sabendo que<br />

é solução <strong>de</strong><br />

encontre outra solução.<br />

Pelo método acima temos que<br />

y 2 = t<br />

y ′ + t 3 y − t 2 y 2 = 1<br />

z = t − y 1<br />

é solução <strong>de</strong><br />

Fazendo<br />

z ′ − t 3 z = −t 2 z 2 .<br />

v = 1 z<br />

obtemos<br />

cuja solução é<br />

v = e − t4 4<br />

v ′ + t 3 v = t 2<br />

(∫<br />

)<br />

e t4 4 t 2 dt + c .<br />

Logo<br />

y 1 = t −<br />

e t4 4<br />

∫<br />

e<br />

t 4 4 t 2 dt + c<br />

é outra solução.<br />

11


2.3 Equações Separáveis<br />

Uma EDO <strong>de</strong> primeira or<strong>de</strong>m<br />

y ′ = f (x, y)<br />

é dita SEPARÁVEL se for possível escrevermos<br />

f (x, y) = M (x)<br />

N (y) .<br />

Exemplos:<br />

1)<br />

é separável.<br />

y ′ = x e y<br />

2)<br />

não é separável.<br />

y ′ = sin (xy)<br />

Soluções <strong>de</strong> Equações Separáveis:<br />

Dada a equação<br />

temos que<br />

e assim<br />

∫<br />

y ′ = M (x)<br />

N (y)<br />

N (y) y ′ = M (x)<br />

∫<br />

N (y) y ′ dx = M (x) dx<br />

Fazendo a mudança <strong>de</strong> variável, na primeira primitiva, dada por<br />

y = y (x)<br />

temos que<br />

e assim<br />

∫<br />

dy = y ′ dx<br />

∫<br />

N (y) dy = M (x) dx<br />

e as soluções da EDO são dadas implicitamente por<br />

g (y) − h (x) = c.<br />

12


Observação: É comum escrevermos uma EDO separável da seguinte forma<br />

M (x) dx + N (y) dy = 0<br />

Exemplos:<br />

1)<br />

y ′ =<br />

x2<br />

1 − y 2<br />

∫ (1<br />

− y<br />

2 ) ∫<br />

dy =<br />

x 2 dx<br />

2) {<br />

Temos<br />

y − 1 3 y3 = x3<br />

3 + c<br />

y ′ = 3x2 +4x+2<br />

2(y−1)<br />

y (0) = −1<br />

∫<br />

(2y − 2) dy = ( 3x 2 + 4x + 2 ) dx<br />

∫ (3x<br />

(2y − 2) dy =<br />

2 + 4x + 2 ) dx<br />

y 2 − 2y = x 3 + 2x 2 + 2x + c<br />

Como<br />

y (0) = −1<br />

temos<br />

c = 3<br />

e assim a solução é dada implicitamente por<br />

y 2 − 2y = x 3 + 2x 2 + 2x + 3<br />

3)<br />

y ′ = y cos x<br />

1 + 2y 2<br />

1 + 2y 2<br />

dy = cos xdx<br />

y<br />

ln |y| + y 2 − sin x = c<br />

13


2.4 Equações Exatas<br />

——–<br />

Antes <strong>de</strong> estudarmos as equações separáveis vamos inicialmente rever alguns<br />

pré-requisitos <strong>de</strong> Cálculo Vetorial e Álgebra Linear.<br />

Definição: Um campo <strong>de</strong> vetores em U ⊂ R 2 , aberto, é uma função<br />

F : U → R 2<br />

Exemplos:1)<br />

2) Dado uma função<br />

temos que<br />

∇V (x, y) =<br />

é o gradiente <strong>de</strong> V em (x, y) .<br />

F (x, y) = (x, −y)<br />

V : U → R<br />

( )<br />

∂V ∂V<br />

(x, y) ,<br />

∂x ∂y (x, y)<br />

é um campo <strong>de</strong> vetores.<br />

∇V : U → R 2<br />

Definição: Sejam<br />

um campo <strong>de</strong> vetores diferenciável e<br />

F : U → R 2<br />

α : [a, b] → U<br />

uma curva diferenciável. Definimos a integral <strong>de</strong> F ao longo <strong>de</strong> α por<br />

∫ ∫ b<br />

F dr = F (α (t)) α ′ (t) dt<br />

Notação:<br />

Denotando<br />

α<br />

a<br />

F (x, y) = (P (x, y) , Q (x, y))<br />

α ′ (t) = (x ′ (t) , y ′ (t))<br />

temos<br />

∫<br />

α<br />

F dr =<br />

=<br />

∫ b<br />

a<br />

∫ b<br />

a<br />

(P (x (t) , y (t)) , Q (x (t) , y (t))) (x ′ (t) , y ′ (t)) dt =<br />

[P (x (t) , y (t)) x ′ (t) + Q (x (t) , y (t)) y ′ (t)] dt = ∗<br />

14


temos<br />

Escrevendo<br />

x ′ (t) = dx<br />

dt , y′ (t) = dy<br />

dt<br />

∫<br />

∗ = P dx + Qdy<br />

α<br />

Definição: F : U → R 2 é dito GRADIENTE se existir V : U → R tal que<br />

F = ∇V. A função V é chamada <strong>de</strong> POTENCIAL.<br />

Exemplo:<br />

é gradiente. De fato, basta consi<strong>de</strong>rar<br />

F (x, y) = ( x 2 , 3y )<br />

V (x, y) = x3<br />

3 + 3y2<br />

2 .<br />

Definição: F : U → R 2 , F (x, y) = (P (x, y) , Q (x, y)) é dito FECHADO<br />

se P y = Q x .<br />

Teorema:<br />

a)<br />

b)<br />

F gradiente e C 1 ⇒ F é fechado.<br />

∫<br />

F gradiente e C 0 ⇒<br />

α<br />

F dr = V (α (b)) − V (α (a))<br />

on<strong>de</strong> α : [a, b] → R 2 é diferenciável e V é um potencial <strong>de</strong> F.<br />

c)<br />

∫<br />

F gradiente e C 0 ⇒ F dr = 0 on<strong>de</strong> α é uma curva diferenciável fechada.<br />

α<br />

d)<br />

∫<br />

F dr = 0 qualquer que seja α curva diferenciável fechada, F ∈ C 0 ⇒<br />

α<br />

e)<br />

⇒<br />

F é gradiente.<br />

F diferenciável, fechado e U simplesmente conexo ⇒ F é gradiente.<br />

15


Teorema <strong>de</strong> Green: Sejam<br />

F : U → R 2<br />

<strong>de</strong> classe C 1 e α uma curva fechada, simples e suave por partes. Então<br />

∫<br />

∫ ∫<br />

P dx + Qdy = (Q x − P y ) dA<br />

on<strong>de</strong> D é a região limitada pelo traço <strong>de</strong> α.<br />

Como<br />

α<br />

Prova do Teorema das Equivalências:<br />

a) Se F é gradiente então existe V tal que<br />

D<br />

F = (V x , V y )<br />

V yx = V xy<br />

temos que F é fechado.<br />

b) Sendo F gradiente temos<br />

∫<br />

∫<br />

F dr = V x dx + V y dy =<br />

α<br />

=<br />

=<br />

α<br />

∫ b<br />

a<br />

∫ b<br />

c) Imediato a partir <strong>de</strong> b).<br />

d) Definimos<br />

a<br />

(V x x ′ + V y y ′ )dt =<br />

d<br />

(V ◦ α)dt = V (α (b)) − V (α (a)) .<br />

dt<br />

∫<br />

V (x, y) =<br />

α<br />

F dr<br />

on<strong>de</strong> α é um caminho qualquer ligando um ponto (x 0 , y 0 ) fixado a (x, y) .<br />

V está bem <strong>de</strong>finida pois a hipótese garante que a integral não <strong>de</strong>pen<strong>de</strong> do<br />

caminho.<br />

Tomando o caminho α como a justaposição dos caminhos α 1 e α 2 on<strong>de</strong><br />

α 1 é o caminho retilíneo ligando (x 0 , y 0 ) a (x, y 0 )<br />

α 2 é o caminho retilíneo ligando (x, y 0 ) a (x, y)<br />

temos<br />

V (x, y) =<br />

=<br />

∫<br />

P dx + Qdy =<br />

α<br />

∫ x ∫ y<br />

P dx + Qdy<br />

x 0 y 0<br />

16


e assim<br />

<br />

V x = P, V y = Q.<br />

e) Basta aplicarmos o Teorema <strong>de</strong> Green<br />

∫ ∫ ∫<br />

F dr = (Q x − P y ) dA = 0.<br />

α<br />

D<br />

Exemplo: Observe a importância do aberto ser simpesmente conexo. Consi<strong>de</strong>re<br />

U = {(x, y) ∈ R 2 |ρ 2 1 ≤ x 2 + y 2 ≤ ρ 2 2}<br />

e<br />

É fácil verificar que<br />

F (x, y) =<br />

( )<br />

y<br />

x 2 + y 2 , −x<br />

x 2 + y 2<br />

P y = Q x<br />

e que portanto F é fechado. No entanto, consi<strong>de</strong>rando o caminho fechado<br />

α (t) = (r cos t, r sin t) , t ∈ [0, 2π] , ρ 1 < r < ρ 2<br />

temos que<br />

∫<br />

α<br />

F dr = 2π ≠ 0.<br />

Definição:<br />

T : R 2 → R<br />

é uma TRANSFORMAÇÃO LINEAR <strong>de</strong>s<strong>de</strong> que<br />

T (αu + βv) = αT (u) + βT (v) , ∀u, v ∈ R 2 , ∀α, β ∈ R.<br />

Definição:<br />

(<br />

R<br />

2 ) ∗<br />

= {T : R 2 → R|T é linear}<br />

é chamado <strong>de</strong> ESPAÇO DUAL <strong>de</strong> R 2 .<br />

Teorema:<br />

( ) R<br />

2 ∗<br />

é um espaço vetorial <strong>de</strong> dimensão 2 e uma base <strong>de</strong>sse<br />

espaço é {dx, dy} on<strong>de</strong><br />

dx (x, y) = x<br />

dy (x, y) = y<br />

Prova:<br />

17


Vamos provar apenas que<br />

é um conjunto LI.<br />

Se<br />

então<br />

Assim<br />

{dx, dy}<br />

αdx + βdy = 0<br />

(αdx + βdy) (x, y) = 0, ∀ (x, y) ∈ R 2 .<br />

(αdx + βdy) (1, 0) = α = 0<br />

(αdx + βdy) (0, 1) = β = 0<br />

<br />

Definição:<br />

Uma 1-FORMA DIFERENCIAL é uma aplicação<br />

ω : U ⊂ R 2 → ( R 2) ∗<br />

Escrevemos<br />

ω (x, y) = P (x, y) dx + Q (x, y) dy<br />

Um exemplo bem conhecido é a diferencial <strong>de</strong><br />

f : U ⊂ R 2 → R<br />

df (x, y) = ∂f<br />

∂f<br />

(x, y) dx + (x, y) dy<br />

∂x ∂y<br />

Definição:<br />

a)Uma 1-forma ω é chamada <strong>de</strong> EXATA se existe f tal que<br />

ω = df.<br />

b) ω = P dx + Qdy é dita FECHADA se<br />

P y = Q x<br />

c) A integral <strong>de</strong> uma 1-forma ω = P dx + Qdy ao longo <strong>de</strong> um caminho<br />

diferenciável<br />

α(t) = (x (t) , y (t)) , a ≤ t ≤ b<br />

é <strong>de</strong>finida por<br />

∫<br />

α<br />

P dx + Qdy =<br />

∫ b<br />

a<br />

[P (x (t) , y (t)) x ′ (t) + Q (x (t) , y (t)) y ′ (t)] dt<br />

18


Observação:<br />

É claro que<br />

ω = P dx + Qdy<br />

é exata se e somente se o campo <strong>de</strong> vetores<br />

F = (P, Q)<br />

for gradiente.<br />

O próximo teorem tem <strong>de</strong>monstração análoga ao teorema das equivalências:<br />

Teorema: Dados U ⊂ R 2 um aberto simplesmente conexo e ω = P dx+Qdy<br />

uma 1-forma diferencial <strong>de</strong> classe C 1 temos que são equivalentes:<br />

a) ω é exata;<br />

b) ω é fechada;<br />

c) ∫<br />

para qualquer caminho fechado em U.<br />

P dx + Qdy = 0<br />

α<br />

Uma equação diferencial<br />

Equações Exatas<br />

N (x, y) y ′ + M (x, y) = 0 (*)<br />

on<strong>de</strong> M, N ∈ C 1 em U ⊂ R 2 aberto simplesmente conexo é dita EXATA se<br />

Seja<br />

uma função tal que<br />

então<br />

M y = N x .<br />

f : U → R<br />

∂f ∂f<br />

= M,<br />

∂x ∂y = N<br />

N (x, y) y ′ + M (x, y) = 0 ⇒ ∂f<br />

∂y (x, y) y′ + ∂f (x, y) = 0 ⇒<br />

∂x<br />

⇒<br />

d (f (x, y (x))) = 0 ⇒ f (x, y (x)) = cte<br />

dx<br />

Concluímos que as soluções <strong>de</strong> (∗) possuem gráficos contidos nas curvas <strong>de</strong><br />

nível da f.<br />

19


Na notação diferencial temos<br />

Exemplo:<br />

Ny ′ + M = 0 ⇒ N dy<br />

dx + M = 0 ⇒<br />

⇒ Mdx + Ndy = 0 ⇒ df = 0.<br />

Como<br />

(2xy + 1) dx + ( x 2 + 4y ) dy = 0<br />

segue que a equação é exata.<br />

Resolvemos<br />

e obtemos<br />

M y = ∂ (2xy + 1) = 2x<br />

∂y<br />

N x = ∂ (<br />

x 2 + 4y ) = 2x<br />

∂x<br />

{<br />

∂f<br />

∂x = 2xy + 1<br />

∂f<br />

∂y = x2 + 4y<br />

f (x, y) = x 2 y + 2y 2 + x<br />

Logo as soluções são dadas implicitamente por<br />

Observação:<br />

a) Uma função f satisfazendo que<br />

x 2 y + 2y 2 + x = c<br />

F = (P, Q) =<br />

( ∂f<br />

∂x , ∂f )<br />

∂y<br />

é chamada <strong>de</strong> FUNÇÃO POTENCIAL do campo F.<br />

b) Se<br />

P = ∂f<br />

∂x , Q = ∂f<br />

∂y<br />

então f é dita uma INTEGRAL PRIMEIRA da equação<br />

P dx + Qdy = 0.<br />

Exemplo:<br />

não é exata. Multiplicando por<br />

−ydx + xdy = 0<br />

1<br />

x 2<br />

20


obtemos<br />

− y x 2 dx + 1 x dy = 0<br />

que é exata.<br />

Chamamos<br />

ϕ (x, y) = 1 x 2<br />

<strong>de</strong> fator integrante.<br />

Resolvendo<br />

obtemos<br />

{<br />

∂f<br />

∂x = − y x 2<br />

∂f<br />

∂y = 1 x<br />

f (x, y) = y x<br />

e as soluções são dadas implicitamente por<br />

Definição: Se<br />

não for exata mas<br />

y<br />

x = c<br />

Mdx + Ndy = 0<br />

µ (Mdx + Ndy) = 0<br />

for exata então µ é chamado <strong>de</strong> FATOR INTEGRANTE.<br />

DICAS DE COMO ENCONTRAR FATORES INTEGRANTES:<br />

1) É possível encontrar µ = µ (x) se<br />

não <strong>de</strong>pen<strong>de</strong>r <strong>de</strong> y. De fato se<br />

M y − N x<br />

N<br />

µ (Mdx + Ndy) = 0<br />

for exata então<br />

e assim<br />

µM y + µ y M = µN x + µ x N<br />

µ x<br />

µ = M y − N x<br />

⇒ (ln µ) ′ = M y − N x<br />

⇒ µ (x) = e R My −Nx<br />

N<br />

N<br />

N<br />

2) Analogamente é possível encontrar µ = µ (y) se<br />

N x − M y<br />

M<br />

21


não <strong>de</strong>pen<strong>de</strong>r <strong>de</strong> x<br />

µ (y) = e R Nx−My<br />

M<br />

Exemplos:<br />

1)<br />

não é exata.<br />

Como<br />

temos que<br />

ydx + ( x 2 y − x ) dy = 0<br />

M y − N x<br />

N<br />

= − 2 x<br />

µ (x) = e R − 2 x dx = 1 x 2<br />

é um fator integrante.<br />

Assim<br />

1 ( (<br />

ydx + x 2<br />

x 2 y − x ) dy ) = 0<br />

é exata. Resolvendo o sistema<br />

{<br />

∂f<br />

∂x = − y x 2<br />

∂f<br />

∂y = y − 1 x<br />

obtemos<br />

2)<br />

não é exata. Como<br />

<strong>de</strong>pen<strong>de</strong> só <strong>de</strong> y temos que<br />

é um fator integrante. Assim<br />

f (x, y) = − y x + y2<br />

2<br />

−2xydx + ( 3x 2 − y 2) dy = 0<br />

N x − M y<br />

M<br />

= − 4 y<br />

R<br />

µ (y) = e − 4<br />

y dy = 1 y 4<br />

− 2x<br />

y 3 dx + ( 3x<br />

2<br />

y 4 − 1 y 2 )<br />

dy = 0<br />

é exata e as soluções são dadas implicitamente por<br />

− x2<br />

y 3 + 1 y = c.<br />

22


Método Prático<br />

Algumas diferenciais po<strong>de</strong>m auxiliar na solução <strong>de</strong> certas equações:<br />

1)d (x α ) = αx α−1 dx<br />

2)d (xy) = ydx + xdy<br />

( ) x ydx − xdy<br />

3)d =<br />

y y 2<br />

4)d ( x 2 + y 2) = 2xdx + 2ydy<br />

(<br />

5)d ln x )<br />

ydx − xdy<br />

=<br />

y<br />

xy<br />

(<br />

6)d arctan x )<br />

ydx − xdy<br />

=<br />

y x 2 + y 2<br />

Exemplos:<br />

1)<br />

ydx + ( x 2 y − x ) dy = 0 ⇒<br />

⇒<br />

⇒<br />

⇒<br />

⇒<br />

⇒<br />

ydx + x 2 ydy − xdy = 0 ⇒<br />

ydx − xdy<br />

x 2 + ydy = 0 ⇒<br />

(<br />

d − y ) ( ) y<br />

2<br />

+ d = 0 ⇒<br />

x 2<br />

d<br />

(− y )<br />

x + y2<br />

= 0 ⇒<br />

2<br />

− y x + y2<br />

2 = c<br />

23


2)<br />

ydx + ( 1 + y 2 − x ) dy = 0 ⇒<br />

⇒<br />

⇒<br />

⇒<br />

⇒<br />

ydx + dy + y 2 dy − xdy = 0 ⇒<br />

( )<br />

ydx − xdy 1<br />

y 2 +<br />

y 2 + 1 dy = 0 ⇒<br />

( ) x<br />

d + d<br />

(− 1 )<br />

y y + y = 0 ⇒<br />

( x<br />

d<br />

y − 1 )<br />

y + y = 0 ⇒<br />

⇒ x y − 1 y + y = c.<br />

2.5 Equações Homogêneas<br />

Uma EDO<br />

é dita HOMOGÊNEA se<br />

f<br />

y ′ = f (x, y)<br />

( ) x<br />

(x, y) = F<br />

y<br />

para alguma função real <strong>de</strong> uma variável real F .<br />

Exemplos:<br />

1)<br />

é homogênea. De fato,<br />

2)<br />

é homogênea. De fato<br />

y ′ = y2 + 2xy<br />

x 2<br />

y 2 + 2xy<br />

( y<br />

) 2 x<br />

x 2 = + 2<br />

x y<br />

y ′ = ln x − ln y<br />

ln x − ln y = ln x y<br />

Como Resolver Equações Homogêneas<br />

24


Dada a equação<br />

( ) x<br />

y ′ = f (x, y) = F<br />

y<br />

fazemos<br />

v = y x<br />

e temos<br />

e assim nossa equação fica<br />

que é separável.<br />

y = vx<br />

dy<br />

dx = v + dv<br />

dx x<br />

v + dv<br />

dx x = F (v)<br />

dv<br />

dx = F (v) − v<br />

x<br />

Exemplo:<br />

Assim ficamos com<br />

y ′ = y2 + 2xy<br />

( y<br />

) 2 y<br />

x 2 = + 2<br />

x x<br />

F (v) = v 2 + 2v<br />

Temos<br />

e assim<br />

e portanto<br />

dv<br />

dx = v2 + 2v − v<br />

= v2 + v<br />

x x<br />

dv<br />

v (v + 1) = dx x<br />

v =<br />

y =<br />

cx<br />

1 − cx<br />

cx2<br />

1 − cx<br />

25


2.6 O Teorema <strong>de</strong> Existência e Unicida<strong>de</strong><br />

Teorema: Seja o PVI { y ′ = f (t, y)<br />

y (t 0 ) = y 0<br />

.<br />

Suponhamos que as funções f e ∂f<br />

∂y<br />

e que o ponto (t 0 , y 0 ) satisfaz<br />

R :<br />

são contínuas em<br />

α ≤ t ≤ β<br />

γ ≤ y ≤ δ<br />

α < t 0 < β, γ < y 0 < δ.<br />

Então existe h > 0 tal que em (t 0 − h, t 0 + h) ⊂ (α, β) existe uma única função<br />

φ solução do PVI.<br />

Antes <strong>de</strong> darmos uma idéia da prova do teorema vejamos alguns exemplos:<br />

e<br />

1) Consi<strong>de</strong>re o PVI { y ′ = 3√ y<br />

y (0) = 0 .<br />

Observe que as funções<br />

y 2 =<br />

y 1 ≡ 0<br />

{ √ ( 2<br />

3 t) 3<br />

, t ≥ 0<br />

0, t < 0<br />

são duas soluções distintas do PVI. isto não contradiz o teorema pois<br />

∂ ( √ 3<br />

y )<br />

= 1<br />

∂y 3 3√ y 2<br />

não é contínua em nenhum intervalo contendo (0, 0) .<br />

2) {<br />

y ′ = y 2<br />

y (0) = 1<br />

A equação é separável e facilmente obtemos<br />

y = 1<br />

1 − t .<br />

Note que encontramos uma solução, mas o fato <strong>de</strong>la não estar <strong>de</strong>finida em<br />

t = 1 é <strong>de</strong> certa forma inesperado. De fato, a equação não dá nenhuma pista<br />

26


sobre eventuais problemas em t = 1. De qualquer forma o teorema verifica-se, já<br />

que ele garante apenas que existe uma única função <strong>de</strong>finida em uma vizinhança<br />

<strong>de</strong> t 0 = 0 que é solução do PVI.<br />

O Método <strong>de</strong> Picard e uma idéia da prova do Teorema<br />

Para simplificar a apresentação, consi<strong>de</strong>remos o caso particular<br />

{ y ′ = f (t, y)<br />

e f e ∂f<br />

∂y contínuas em R :<br />

y (0) = 0<br />

−a ≤ t ≤ a<br />

−b ≤ y ≤ b<br />

A prova baseia-se no MÉTODO DAS APROXIMAÇÕES SUCESSIVAS (<br />

Método <strong>de</strong> Picard).<br />

Inicialmente observemos que se φ é uma solução do PVI então temos<br />

∫ t<br />

0<br />

φ ′ (s) = f (s, φ (s))<br />

φ ′ (s) ds =<br />

φ (t) − φ (0) =<br />

φ (t) =<br />

∫ t<br />

0<br />

∫ t<br />

0<br />

∫ t<br />

0<br />

f (s, φ (s)) ds<br />

f (s, φ (s)) ds<br />

f (s, φ (s)) ds<br />

Consi<strong>de</strong>remos uma sequência <strong>de</strong> funções dada por<br />

φ 0 (t) = 0<br />

φ 1 (t) =<br />

φ 2 (t) =<br />

φ n (t) =<br />

∫ t<br />

0<br />

∫ t<br />

0<br />

∫ t<br />

.......<br />

0<br />

f (s, φ 0 (s)) ds<br />

f (s, φ 1 (s)) ds<br />

f (s, φ n−1 (s)) ds<br />

Se a seqũencia for convergente então a função limite será uma solução. Para<br />

resolvermos tal problema <strong>de</strong>vemos antes <strong>de</strong> mais nada verificarmos se φ n está<br />

bem <strong>de</strong>finida.<br />

27


[−a, a] ⊂ Dom (φ n )<br />

ou equivalentemente<br />

I (φ n ) ⊂ [−b, b]<br />

|φ n (t)| ≤ b<br />

Como a função f é contínua em R temos que existe M > 0 tal que<br />

e assim, se<br />

então<br />

Tomando<br />

temos que<br />

|φ n (t)| =<br />

em (−h, h) .<br />

É trivial verificarmos que<br />

≤<br />

≤<br />

φ 0 +<br />

|f (t, y)| ≤ M<br />

∣<br />

|t| ≤ b M<br />

∫ t<br />

0<br />

∫ t<br />

0<br />

∫ t<br />

0<br />

h = min{a,<br />

f (s, φ n−1 (s)) ds<br />

∣ ≤<br />

|f (s, φ n−1 (s))| ds ≤<br />

Mds ≤ M |t| ≤ b.<br />

|φ n (t)| ≤ b<br />

b<br />

M }<br />

n∑<br />

(φ i − φ i−1 ) = φ n<br />

i=1<br />

Assim, para provarmos a convergência da sequência φ n basta verificarmos a<br />

convergência da série<br />

n∑<br />

(φ i − φ i−1 ) .<br />

i=1<br />

É suficiente verificarmos a convergência <strong>de</strong><br />

n∑<br />

|φ i − φ i−1 |<br />

i=1<br />

28


Como ∂f<br />

∂y é contínua temos que f é LIPSCHITZIANA com relação a variável<br />

y isto é<br />

∃k > 0, |f (t, y 1 ) − f (t, y 2 )| ≤ k |y 1 − y 2 |<br />

Assim<br />

|φ 2 (t) − φ 1 (t)| =<br />

Por indução temos<br />

≤<br />

≤<br />

≤<br />

∣<br />

∫ t<br />

0<br />

∫ t<br />

0<br />

∫ t<br />

0<br />

∫ t<br />

0<br />

[f (s, φ 1 (s)) − f (s, φ 2 (s))] ds<br />

∣ ≤<br />

|f (s, φ 1 (s)) − f (s, φ 2 (s))| ds ≤<br />

k |φ 1 (s) − φ 0 (s)| ds ≤<br />

kM |s| ≤ kM t2 2<br />

|φ n − φ n−1 | ≤ k n−1 M hn<br />

n! .<br />

Assim temos que verificar que a série<br />

é convergente.<br />

Como<br />

∞∑<br />

i=1<br />

k n−1 M hn<br />

n! = M k<br />

(hk) n+1<br />

(n+1)!<br />

(hk) n<br />

n!<br />

∞∑ (hk) n<br />

i=1<br />

= hk<br />

n + 1 → 0<br />

o teste da razão garante a convergência da série.<br />

Logo existe φ tal que<br />

φ n → φ.<br />

≤ kM<br />

h2<br />

2 .<br />

Provemos agora a unicida<strong>de</strong>.<br />

Suponhamos que φ e ψ sejam soluções do PVI. Assim<br />

Desta forma<br />

φ (t) =<br />

ψ (t) =<br />

|φ (t) − ψ (t)| ≤ k<br />

≤<br />

k<br />

∫ t<br />

0<br />

∫ t<br />

0<br />

∫ t<br />

0<br />

∫ t<br />

0<br />

n!<br />

f (s, φ (s)) ds<br />

f (s, ψ (s)) ds<br />

|f (s, φ (s)) − f (s, ψ (s))| ds ≤<br />

|φ (s) − ψ (s)| ds.<br />

29


temos<br />

Chamando<br />

u (t) =<br />

∫ t<br />

0<br />

|φ (s) − ψ (s)| ds<br />

u (0) = 0<br />

u ′ (t) = |φ (t) − ψ (t)|<br />

u ′ − ku ≤ 0<br />

e −kt (u ′ − ku) ≤ 0<br />

(<br />

e −kt u ) ′<br />

≤ 0<br />

Observe que concluímos que uma função positiva ou nula, passando pela origem<br />

tem <strong>de</strong>rivada negativa. A única possibilida<strong>de</strong> é que<br />

u ≡ 0<br />

e portanto<br />

logo<br />

∫ t<br />

0<br />

|φ (s) − ψ (s)| ds = 0, ∀t<br />

φ = ψ.<br />

Exemplo:<br />

Vamos utilizar o método das aproximações sucessivas para encontrarmos a<br />

solução do PVI { y ′ = 2t (1 + y)<br />

Temos<br />

y (0) = 0<br />

φ 0 (t) = 0<br />

φ 1 (t) =<br />

φ 2 (t) =<br />

φ n (t) =<br />

φ n (t)<br />

Exercícios:<br />

→<br />

∫ t<br />

0<br />

∫ t<br />

0<br />

...<br />

∫ t<br />

0<br />

∞∑<br />

n=0<br />

2s (1 + φ 0 (s)) ds = t 2<br />

2s (1 + φ 1 (s)) ds = t 2 + t4 2<br />

2s (1 + φ n−1 (s)) ds = t 2 + t4 2<br />

t 2n<br />

n!<br />

= e t2 − 1.<br />

+ ... +<br />

t2n<br />

n!<br />

30


1) Resolva a EDO:<br />

a)y ′ = x2<br />

y<br />

b)y ′ + y 2 sin x = 0<br />

c)y ′ = ( cos 2 x ) ( cos 2 2y )<br />

d) dy<br />

dx = x−e−x<br />

y+e y<br />

2) Resolva o PVI {<br />

y ′ = 1+3x2<br />

3y 2 −6y<br />

y (0) = 1<br />

e <strong>de</strong>termine o intervalo no qual a solução é válida.<br />

3) Resolva o PVI<br />

{ y ′ = 2−ex<br />

3+2y<br />

y (0) = 0<br />

e <strong>de</strong>termine em que ponto a solução atinge seu valor máximo.<br />

4) Resolva o PVI e <strong>de</strong>termine a <strong>de</strong>pendência , em relaão ao valor inicial y 0 ,<br />

do intervalo sobre o qual a solução existe:<br />

{ y ′ = −4t {<br />

a)<br />

y<br />

y<br />

b)<br />

′ + y 3 = 0<br />

y (0) = y 0 y (0) = y 0<br />

5) Determinar se as equações são ou não exatas. Para as exatas, achar a<br />

solução<br />

a) (2x + 3) + (2y − 2) y ′ = 0 d) dy<br />

dx = − ax−by<br />

bx−cy<br />

b) ( 3x 2 − 2xy + 2 ) dx + ( 6y 2 − x 2 + 3 ) dy = 0 e) ( y<br />

x + 6x) dx + (ln x − 2) dy = 0<br />

c) dy<br />

dx = − ax+by<br />

x<br />

y<br />

bx+cy<br />

f) dx + dy = 0<br />

(x 2 +y 2 ) 3 2 (x 2 +y 2 ) 3 2<br />

6) Prove que qualquer equação separável também é exata.<br />

7) Resolva as equações homogêneas:<br />

a) dy<br />

dx =<br />

2xy<br />

3y 2 −x 2<br />

b) dy<br />

dx = 3y2 −x 2<br />

2xy<br />

3 Aplicações <strong>de</strong> EDO’s <strong>de</strong> Primeira Or<strong>de</strong>m<br />

31


3.1 Famílias <strong>de</strong> Curvas Planas<br />

Sejam U ⊂ R 2 aberto , Λ ⊂ R e<br />

F : U × Λ → R.<br />

Uma família a um parâmetro <strong>de</strong> curvas planas é uma família <strong>de</strong> curvas<br />

obtidas implicitamente por<br />

F (x, y, λ) = 0.<br />

Exemplos:<br />

1)<br />

2)<br />

x 2 + y 2 = λ 2 , λ ≥ 0<br />

y = λx<br />

PROBLEMA: Dado uma família a um parâmetro <strong>de</strong> curvas planas, encontrar<br />

uma EDO tal que os gráficos das soluções estejam contidos nos traços<br />

das curvas da família.<br />

Exemplos:<br />

1)<br />

Derivando com relação a x obtemos<br />

y − x − λ = 0<br />

y ′ = 1.<br />

2)<br />

Temos<br />

y − 2λx 2 − λ = 0<br />

λ =<br />

y<br />

2x 2 + 1<br />

y ′ − 4λx = 0<br />

y ′ = 4λx<br />

y ′ =<br />

4xy<br />

2x 2 + 1<br />

Observação:<br />

Observe que, <strong>de</strong> acordo com o Teorema da Função Implícita, a equação<br />

<strong>de</strong>fine λ como função <strong>de</strong> (x, y) quando<br />

f (x, y, λ) = 0<br />

∂f<br />

∂λ ≠ 0.<br />

32


Definição:<br />

a) Duas funções diferenciáveis<br />

são ortogonais em x 0 ∈ I se<br />

φ, ψ : I ⊂ R → R<br />

φ ′ (x 0 ) ψ ′ (x 0 ) = −1<br />

b) Duas famílias a um parâmetro <strong>de</strong> curvas planas diferenciáveis<br />

F (x, y, λ) = 0<br />

G (x, y, µ) = 0<br />

são ditas ortogonais quando as λ− curvas forem ortogonais as µ−curvas em<br />

todos os pontos on<strong>de</strong> se encontrarem.<br />

PROBLEMA: Encontrar uma família <strong>de</strong> curvas ortogonais a uma família<br />

dada.<br />

Para resolvermos este problema proce<strong>de</strong>mos da seguinte maneira: Seja<br />

F (x, y, λ) = 0<br />

a família dada.<br />

Encontramos uma EDO que tenha suas soluções nos gráficos das curvas da<br />

família<br />

f (x, y, y ′ ) = 0<br />

Em seguida resolvemos a EDO<br />

f<br />

(x, y, − 1 )<br />

y ′ = 0<br />

A solução da EDO acima fornecerá a família ortogonal.<br />

Exemplos:<br />

1)<br />

Temos<br />

x 2 + y 2 + λ 2 = 0<br />

2x + 2yy ′ = 0<br />

x + yy ′ = 0<br />

y ′ = − x y<br />

Consi<strong>de</strong>ramos a nova EDO<br />

− 1 y ′ = −x y<br />

33


e temos, usando separação <strong>de</strong> variáveis, que as soluções são<br />

2)<br />

A EDO da família ortogonal é<br />

cuja solução é<br />

3.2 O Instante da Morte<br />

y = kx<br />

y − 2λx 2 − λ = 0<br />

y ′ =<br />

4xy<br />

2x 2 + 1<br />

− 1 y ′ =<br />

4xy<br />

2x 2 + 1<br />

2y 2 + x 2 + ln |x| = k<br />

Somos peritos policiais e encontramos em um local o corpo <strong>de</strong> um homem<br />

morto com temperatura igual a 30 graus.<br />

Precisamos <strong>de</strong>terminar o horário em que ocorreu a morte.<br />

Para isso precisamos <strong>de</strong> um pouco <strong>de</strong> Física.<br />

Lei <strong>de</strong> Resfriamento <strong>de</strong> Newton: A temperatura superficial <strong>de</strong> um corpo<br />

altera-se proporcionalmente a diferença <strong>de</strong> temperatura entre o corpo e a vizinhança<br />

do corpo.<br />

Voltemos para a nossa investigação policial. Suponhamos que a temperatura<br />

no local do crime seja<br />

T = 20 o<br />

Chamaremos<br />

a temperatura do corpo no instante t.<br />

A Lei <strong>de</strong> Resfriamento nos diz que<br />

y (t)<br />

y ′ (t) = −k (y (t) − 20)<br />

Assim<br />

Temos<br />

{ y ′ = −ky + 20k<br />

y (0) = 30 o<br />

∫<br />

y ′ = −ky + 20k ⇒<br />

∫<br />

dy<br />

y − 20 =<br />

−kdt ⇒<br />

⇒ y = 20 + ce −kt 34


Como<br />

segue que<br />

e assim<br />

y (0) = 30 = 20 + c<br />

c = 10<br />

y = 20 + 10e −kt<br />

Para que possamos <strong>de</strong>terminar a constante <strong>de</strong> proporcionalida<strong>de</strong> k, efetuamos<br />

após 2 horas outra medição da temperatura do cadáver e encontramos<br />

Assim<br />

Logo<br />

y (2) = 23 o<br />

23 = 20 + 10e −k2<br />

k = − ln 3<br />

10<br />

2<br />

= . 601 99<br />

−. 601 99t<br />

y = 20 + 10e<br />

e assim, admitindo que a temperatura <strong>de</strong> uma pessoa viva é <strong>de</strong> 37 o temos<br />

Usando uma regra <strong>de</strong> três temos<br />

37 = 20 + 10e −. 601 99t ⇒ t = −. 881 46<br />

1 hora = 60 minutos<br />

. 881 46 horas = x minutos<br />

x = 60 (. 881 46) = 52. 888<br />

que é aproximadamente 53 minutos.<br />

Concluímos que a morte ocorreu 53 minutos antes <strong>de</strong> chegarmos ao local do<br />

crime.<br />

3.3 Dinâmica <strong>de</strong> Populações<br />

A Dinâmica <strong>de</strong> Populações estuda a evolução do número <strong>de</strong> habitantes <strong>de</strong><br />

uma <strong>de</strong>terminada espécie quando o tempo passa.<br />

O caso mais elementar é aquele em que fazemos a hipótese<br />

A Taxa <strong>de</strong> crescimento é proporcional ao número <strong>de</strong> habitantes<br />

35


Mo<strong>de</strong>lemos tal situação<br />

t : tempo<br />

p (t) : população no tempo t<br />

p (0) = p 0 : populção inicial<br />

Assim { p ′ = kp<br />

p (0) = p 0<br />

É trivial obtermos<br />

p (t) = p 0 e kt<br />

Neste caso só temos duas possibilida<strong>de</strong>s: ou k > 0 e daí o crescimento da<br />

população é exponencial, o que irá ocasionar uma superpopulação; ou k < 0, o<br />

que provocará a extinção da população.<br />

Concluímos que este mo<strong>de</strong>lo não é razoável.<br />

O mo<strong>de</strong>lo conhecido como mo<strong>de</strong>lo logístico substitui a constante k por uma<br />

função que <strong>de</strong>pen<strong>de</strong> da população<br />

p ′ = h (p) p<br />

e satisfazendo que quando a população aumenta a taxa h(p) diminui. Um mo<strong>de</strong>lo<br />

razoável é<br />

{ p ′ = (r − ap) p<br />

on<strong>de</strong><br />

É comum escrevermos<br />

e assim nosso mo<strong>de</strong>lo é<br />

p (0) = p 0<br />

a, r > 0.<br />

k = r a<br />

{<br />

p ′ = r ( 1 − p )<br />

k p<br />

p (0) = p 0<br />

Observe o campo <strong>de</strong> direções<br />

A equação é separável e po<strong>de</strong> ser facilmente resolvida. Vamos proce<strong>de</strong>r uma<br />

análise qualitativa antes <strong>de</strong> resolvê-la.<br />

Como<br />

(<br />

p ′ = r 1 − p )<br />

p<br />

k<br />

temos<br />

e também<br />

0 < p < k ⇒ p ′ > 0 ⇒ p crescente<br />

p > k ⇒ p ′ < 0 ⇒ p <strong>de</strong>crescente<br />

p ′ =<br />

(<br />

r 1 − p )<br />

p = f (p)<br />

k<br />

p ′′ = f ′ (p) p ′ = f ′ (p) f (p)<br />

36


Assim<br />

0 < p < k { f<br />

2 ⇒ ′ (p) > 0<br />

⇒ p ′′ > 0 ⇒ concavida<strong>de</strong> para cima<br />

f (p) > 0<br />

{<br />

k<br />

f<br />

< p < k ⇒<br />

′ (p) < 0<br />

⇒ p ′′ < 0 ⇒ concavida<strong>de</strong> para baixo<br />

2<br />

f (p) > 0<br />

{ f<br />

p > k ⇒<br />

′ (p) < 0<br />

⇒ p ′′ > 0 ⇒ concavida<strong>de</strong> para cima<br />

f (p) < 0<br />

Po<strong>de</strong>mos esboçar as soluções<br />

A conclusão que chegamos é que existem duas popuções <strong>de</strong> equilíbrio (p = k, p = 0)<br />

e que quando a população inicial for diferente das populações <strong>de</strong> equilíbrio, ela<br />

ten<strong>de</strong>rá a população <strong>de</strong> equilíbrio, quando o tempo passar.<br />

É fácil resolvermos explicitamente, usando separação <strong>de</strong> variáveis<br />

( 1<br />

p + 1<br />

k<br />

1 − p k<br />

dp<br />

( )<br />

1 −<br />

p<br />

= rdt ⇒<br />

p<br />

k<br />

)<br />

dp = rdt ⇒<br />

⇒<br />

⇒<br />

3.4 Curvas <strong>de</strong> Perseguição<br />

p<br />

ln<br />

∣ 1 −<br />

p ∣ = rt + c ⇒<br />

k<br />

p<br />

∣ 1 −<br />

p ∣ = cert<br />

k<br />

Imaginemos que um rato está alegre e contente comendo seu queijo quando<br />

é avistado por um gato faminto. O gato foge, seguindo a direção vertical com<br />

uma velocida<strong>de</strong> ν e o gato persegue o rato, sempre em sua direção com uma<br />

velocida<strong>de</strong> ω.<br />

Fixamos um sistema <strong>de</strong> coor<strong>de</strong>nadas. O rato parte da origem (0, 0) e o gato<br />

<strong>de</strong> um ponto (a, 0) .<br />

Vamos estudar o movimento do gato.<br />

Denotamos<br />

y (x)<br />

a curva <strong>de</strong>scrita pelo gato em seu movimento.<br />

Suponhamos que após um tempo t o gato esteja no ponto (x, y) .<br />

Assim<br />

tempo =<br />

t =<br />

espaço<br />

velocida<strong>de</strong><br />

√<br />

1 + (y ′ (u)) 2 du<br />

∫ a<br />

x<br />

ϖ<br />

37


Estu<strong>de</strong>mos agora o movimento do rato<br />

velocida<strong>de</strong>= espaço<br />

tempo<br />

Suponhamos que após o tempo t o rato esteja no ponto (0, q) .<br />

Assim<br />

ν = q t<br />

t = q ν<br />

Lembrando que o gato corre na direção do rato, temos que<br />

Assim<br />

−y ′ = q − y<br />

x<br />

q − y = −xy ′<br />

q = y − xy ′<br />

t = y − xy′<br />

v<br />

Logo, a equação diferencial que a curva <strong>de</strong>scrita pelo gato satisfaz é<br />

∫<br />

√<br />

a<br />

y − xy ′ 1 + (y<br />

x<br />

′ (u)) 2 du<br />

=<br />

v<br />

ϖ<br />

Rescrevendo<br />

ν<br />

ϖ<br />

∫ a<br />

x<br />

√<br />

1 + (y ′ (u)) 2 du = y − xy ′<br />

e <strong>de</strong>rivando com relação a x dos dois lados<br />

− ν √<br />

1 + (y<br />

ϖ<br />

′ ) 2 = y ′ − xy ′′ − y ′<br />

Finalmente obtemos<br />

Chamamos<br />

e obtemos<br />

√<br />

ν<br />

1 + (y<br />

ϖ<br />

′ ) 2 = xy ′′<br />

y ′ = p<br />

ν √<br />

1 + p<br />

2<br />

= xp ′<br />

ϖ<br />

1 ν<br />

x ϖ = p ′<br />

√<br />

1 + p<br />

2<br />

38


Calculando a primitiva dos dois lados<br />

∫<br />

dp<br />

√<br />

1 + p<br />

2<br />

(√ )<br />

− ln 1 + p2 − p<br />

= ν ϖ ln x + c<br />

= ν ϖ ln x + c<br />

então<br />

Observe que se<br />

Assim<br />

x = a<br />

p = 0<br />

0 = ν ϖ ln a + c<br />

c = − ν ϖ ln a<br />

Assim<br />

(√ )<br />

− ln 1 + p2 − p<br />

ln<br />

1<br />

√<br />

1 + p2 − p<br />

= ν ϖ ln x − ν ϖ ln a<br />

( x<br />

) ν<br />

ϖ<br />

= ln<br />

a<br />

1<br />

√<br />

1 + p2 − p<br />

=<br />

( x<br />

a<br />

) ν<br />

ϖ<br />

1 =<br />

(√ ) ( x<br />

) ν<br />

ϖ<br />

1 + p2 − p<br />

a<br />

( x<br />

) ν<br />

√ (<br />

ϖ x<br />

) ν<br />

1 + p<br />

a 2 ϖ<br />

= 1 + p<br />

a<br />

√<br />

1 + p<br />

2<br />

=<br />

1 + p 2 =<br />

( a<br />

x) ν<br />

ϖ<br />

+ p<br />

( a<br />

x)2ν<br />

ϖ<br />

( a<br />

ν<br />

ϖ<br />

+ 2p + p<br />

x) 2<br />

1 =<br />

p = 1 2<br />

( a<br />

x)2ν<br />

ϖ<br />

( a<br />

ν<br />

ϖ<br />

+ 2p<br />

x)<br />

[ (x ) ν (<br />

ϖ a<br />

ν<br />

ϖ<br />

−<br />

a x)<br />

]<br />

1 o Caso:<br />

Chamando<br />

ν<br />

ϖ ≠ 1<br />

c = ν ϖ<br />

39


temos<br />

Como<br />

segue que<br />

e portanto<br />

p = 1 [ ] 1<br />

2 a c xc − ac<br />

x c<br />

y = 1 [ 1 x c+1<br />

]<br />

2 a c c + 1 +<br />

ac 1<br />

c − 1 x c−1 + d<br />

y = a [ 1<br />

( x<br />

)c+1<br />

+ 1 ( a<br />

) ] c−1<br />

+ d<br />

2 c + 1 a c − 1 x<br />

y = a 2<br />

d =<br />

y (a) = 0<br />

aϖν<br />

ϖ 2 − ν 2<br />

[ 1<br />

( x<br />

)c+1<br />

+ 1 ( a<br />

) ] c−1<br />

+ aϖν<br />

c + 1 a c − 1 x ϖ 2 − ν 2<br />

Para sabermos o <strong>de</strong>stino do rato precisamos calcular<br />

{<br />

lim y (x) = +∞, se c > 1<br />

aϖν<br />

x→0 + ϖ 2 −ν<br />

, se 0 < c < 1<br />

2<br />

Logo se<br />

c = ν ϖ > 1<br />

ou seja se a velocida<strong>de</strong> do rato for maior que a do gato, o ratinho está salvo.<br />

Porém, se<br />

0 < c = ν ϖ < 1<br />

ou seja, se a velocida<strong>de</strong> do gato for maior que a do rato então o tempo <strong>de</strong> vida<br />

do ratinho está contado e é igual a<br />

t = lim x→0 + y (x)<br />

ν<br />

=<br />

aϖν<br />

ϖ 2 −ν 2<br />

ν<br />

= aϖ<br />

ϖ 2 − ν 2<br />

2 o Caso:<br />

Neste caso temos<br />

e assim<br />

Neste caso temos<br />

e portanto o rato vence.<br />

c = ν ϖ = 1<br />

p = 1 [ x<br />

2 a x]<br />

− a<br />

y = 1 [ ]<br />

x<br />

2<br />

2 2a − a ln x + d<br />

lim y (x) = +∞<br />

x→0 +<br />

40


4 Equações <strong>Diferenciais</strong> Ordinárias <strong>de</strong> Segunda<br />

Or<strong>de</strong>m<br />

Uma EDO <strong>de</strong> Segunda Or<strong>de</strong>m é uma equação do tipo<br />

y ′′ = f(t, y, y ′ )<br />

Será chamada <strong>de</strong> EDO <strong>de</strong> Segunda Or<strong>de</strong>m Linear se for do tipo<br />

y ′′ + p (t) y ′ + q (t) y = g (t) .<br />

Se g ≡ 0 então é chamada <strong>de</strong> EDO <strong>de</strong> Segunda Or<strong>de</strong>m Linear Homogênea.<br />

Será chamada <strong>de</strong> EDO <strong>de</strong> Segunda Or<strong>de</strong>m Linear com Coeficeintes Constantes<br />

se for do tipo<br />

y ′′ + by ′ + cy = g (t) .<br />

Se g ≡ 0 então é chamada <strong>de</strong> EDO <strong>de</strong> Segunda Or<strong>de</strong>m Linear com Coeficientes<br />

Constantes Homogênea.<br />

O PVI <strong>de</strong> segunda or<strong>de</strong>m é do tipo<br />

{<br />

y ′′ = f (t, y, y ′ )<br />

y (t 0 ) = y 0 , y ′ (t 0 ) = y ′ 0<br />

4.1 EDO’s <strong>de</strong> Segunda Or<strong>de</strong>m Lineares<br />

Iremos admitir o seguinte Teorema <strong>de</strong> Existência e Unicida<strong>de</strong>:<br />

Teorema: O PVI<br />

{<br />

y ′′ + p (t) y ′ + q (t) y = g (t)<br />

y (t 0 ) = y 0 , y ′ (t 0 ) = y ′ 0<br />

on<strong>de</strong> p, q e g são contínuas em um intervalo aberto t 0 ∈ I admite uma única<br />

solução em I.<br />

Teorema: Se y 1 e y 2 são soluções <strong>de</strong><br />

y ′′ + p (t) y ′ + q (t) y = 0<br />

então qualquer combinação linear <strong>de</strong> y 1 e y 2 também é solução, isto é<br />

αy 1 + βy 2 é solução, ∀α, β ∈ R.<br />

Prova:<br />

41


Temos que<br />

y 1 ′′ + p (t) y 1 ′ + q (t) y 1 = 0<br />

y 2 ′′ + p (t) y 2 ′ + q (t) y 2 = 0<br />

Multiplicando a primeira equação por α, a segunda por β e somando obtemos<br />

(αy 1 + βy 2 ) ′′ + p (t) (αy 1 + βy 2 ) ′ + q (t) (αy 1 + βy 2 ) = 0<br />

e portanto segue o resultado.<br />

Definição:<br />

Um CONJUNTO FUNDAMENTAL DE SOLUÇÕES <strong>de</strong> soluções <strong>de</strong><br />

y ′′ + p (t) y ′ + q (t) y = 0<br />

é um conjunto formado por duas soluções y 1 e y 2 e satisfazendo que qualquer<br />

outra solução é uma combinação linear <strong>de</strong>stas.<br />

Definição:<br />

a) f e g são LINEARMENTE INDEPENDENTES (LI) em I ⊂ R se<br />

αf + βg = 0 ⇒ α = β = 0<br />

b) f e g são LINEARMENTE DEPENDENTES (LD) em I ⊂ R se<br />

∃α, β ∈ R, α 2 + β 2 ≠ 0tais que αf + βg = 0<br />

Exemplos:<br />

1)<br />

são LI. De fato<br />

f (t) = e t , g (t) = e 2t<br />

αf + βg = 0 ⇒ αe t + βe 2t = 0, ∀t ∈ R ⇒<br />

{ (fazendo t = 0) α + β = 0<br />

⇒<br />

(fazendo t = 1) α + eβ = 0 ⇒ α = β = 0<br />

2)<br />

são LD. De fato<br />

e 2 ≠ 0, −1 ≠ 0.<br />

f (t) = t, g (t) = 2t<br />

2f − g = 0<br />

Definição:<br />

42


Dadas duas funções diferenciáveis f, g : I → R e t 0 ∈ I chamamos <strong>de</strong><br />

WRONSKIANO o <strong>de</strong>terminante<br />

W (f, g) (t 0 ) =<br />

∣ f (t 0) g (t 0 )<br />

f ′ (t 0 ) g ′ (t 0 ) ∣<br />

Teorema (ABEL): Sejam y 1 e y 2 soluções <strong>de</strong><br />

y ′′ + p (t) y ′ + q (t) y = 0<br />

on<strong>de</strong> p, q são funções contínuas em I ⊂ R. Temos:<br />

a) Existe c ∈ R tal que<br />

ou<br />

b)<br />

W (y 1 , y 2 ) (t) = ce − R p(t)dt .<br />

W (y 1 , y 2 ) (t) ≠ 0, ∀t ∈ I<br />

W (y 1 , y 2 ) (t) = 0, ∀t ∈ I.<br />

Prova:<br />

Como y 1 e y 2 são soluções da EDO temos<br />

y 1 ′′ + p (t) y 1 ′ + q (t) y 1 = 0<br />

y 2 ′′ + p (t) y 2 ′ + q (t) y 2 = 0<br />

Multiplicando a primeira equação por (−y 2 ) , a segunda por (y 1 ) e somando<br />

obtemos<br />

(W (y 1 , y 2 ) (t)) ′ + p (t) W (y 1 , y 2 ) (t) = 0.<br />

Assim W (y 1 , y 2 ) (t) é uma solução <strong>de</strong><br />

e portanto existe c ∈ R tal que<br />

y ′ + p (t) y = 0<br />

W (y 1 , y 2 ) (t) = ce − R p(t)dt .<br />

b) É uma consequência direta <strong>de</strong> a).<br />

Teorema:<br />

Consi<strong>de</strong>remos a EDO<br />

y ′′ + p (t) y ′ + q (t) y = 0,<br />

on<strong>de</strong> p, q são funções contínuas em I ⊂ R,e y 1 e y 2 duas soluções. São equivalentes:<br />

43


a)<br />

{y 1 , y 2 }<br />

é um conjunto fundamental <strong>de</strong> soluções.<br />

b)<br />

{y 1 , y 2 }<br />

é um conjunto LI.<br />

c)<br />

para algum t 0 ∈ I.<br />

d)<br />

W (y 1 , y 2 ) (t 0 ) ≠ 0<br />

W (y 1 , y 2 ) (t) ≠ 0, ∀t ∈ I.<br />

Prova:<br />

O Teorema <strong>de</strong> Abel nos garante<br />

c) ⇔ d)<br />

c) ⇒ b)<br />

Sejam y 1 e y 2 soluções satisfazendo que W (y 1 , y 2 ) (t 0 ) ≠ 0 para algum t 0 ∈ I.<br />

Queremos provar que y 1 e y 2 são LI.<br />

Suponhamos que<br />

αy 1 + βy 2 = 0.<br />

Assim α e β são soluções do sistema<br />

{<br />

y1 (t 0 ) α + y 2 (t 0 )β = 0<br />

y ′ 1 (t 0 ) α + y ′ 2(t 0 )β = 0<br />

Como o <strong>de</strong>terminante da matriz dos coeficientes do sistema é não nulo, temos<br />

que tal sistema admite somente a solução trivial. Logo<br />

α = β = 0.<br />

b) ⇒ d) :<br />

Suponhamos que exista t 0 ∈ I tal que<br />

W (y 1 , y 2 ) (t 0 ) = 0<br />

Assim o sistema abaixo admite solução diferente da trivial<br />

{<br />

y1 (t 0 ) α + y 2 (t 0 )β = 0<br />

y ′ 1 (t 0 ) α + y ′ 2(t 0 )β = 0<br />

Seja<br />

φ = αy 1 + βy 2<br />

44


Observe que φ é uma solução da EDO que satisfaz<br />

φ (0) = φ ′ (0) = 0<br />

e portanto, pelo teorema <strong>de</strong> existência e unicida<strong>de</strong><br />

φ ≡ 0.<br />

Assim<br />

e isso é uma contradição.<br />

αy 1 + βy 2 = 0<br />

c) ⇒ a)<br />

Queremos provar que<br />

{y 1 , y 2 }<br />

é um conjunto fundamental <strong>de</strong> soluções.<br />

Seja φ uma solução da EDO. Queremos encontrar α, β ∈ R tais que<br />

φ = αy 1 + βy 2 .<br />

Como<br />

W (y 1 , y 2 ) (t 0 ) ≠ 0<br />

o sistema {<br />

y1 (t 0 ) α + y 2 (t 0 )β = φ (t 0 )<br />

y ′ 1 (t 0 ) α + y ′ 2(t 0 )β = φ ′ (t 0 )<br />

admite uma solução α, β.<br />

Daí, αy 1 + βy 2 é uma solução e<br />

(αy 1 + βy 2 ) (t 0 ) = φ (t 0 )<br />

(αy 1 + βy 2 ) ′ (t 0 ) = φ ′ (t 0 )<br />

O Teorema <strong>de</strong> Existência e Unicida<strong>de</strong> garante que<br />

φ = αy 1 + βy 2 .<br />

a) ⇒ b) :<br />

Observe que<br />

V = {y|y ′′ + p (t) y ′ + q (t) y = 0}<br />

é um espaço vetorial.<br />

A afirmação a) nos diz que as funções y 1 e y 2 geram V. Se tais funções não<br />

fossem LI então a dimensão <strong>de</strong> V seria menor que 2. Assim qualquer conjunto<br />

formado por duas soluções seria LD e isso não é verda<strong>de</strong>. De fato, observe que<br />

as soluções <strong>de</strong> { y ′′ + p (t) y ′ + q (t) y = 0<br />

y (t 0 ) = 1, y ′ (t 0 ) = 0<br />

45


e {<br />

y ′′ + p (t) y ′ + q (t) y = 0<br />

y (t 0 ) = 0, y ′ (t 0 ) = 1<br />

<strong>de</strong>notadas respectivamente por φ e ψ são LI pois, como provamos c)⇒b), temos<br />

W (φ, ψ) (t 0 ) =<br />

∣ 1 0<br />

0 1 ∣ = 1 ⇒ φ e ψ são LI<br />

<br />

Exemplos:<br />

1) y 1 = e t e y 2 = e −t formam um conjunto fundamental <strong>de</strong> soluções <strong>de</strong><br />

y ′′ − y = 0.<br />

De fato, é trivial checarmos que y 1 e y 2 são soluções e como<br />

∣ W (y 1 , y 2 ) (t) =<br />

∣ et e −t ∣∣∣<br />

e t −e −t = −2 ≠ 0<br />

basta aplicarmos o teorema.<br />

Assim a solução geral da equação é<br />

y = ae t + be −t<br />

Coloquemos uma condição inicial<br />

{<br />

y ′′ − y = 0<br />

y (0) = 1, y ′ (0) = 0<br />

Para encontrarmos a solução do PVI acima basta usarmos a solução geral e<br />

as condições iniciais<br />

y = ae t + be −t ⇒ 1 = a + b<br />

y ′ = ae t − be −t ⇒ 0 = a − b<br />

assim basta resolvermos o sistema<br />

{ a + b = 1<br />

a − b = 0<br />

Portanto<br />

a = b = 1 2<br />

e a solução do PVI é<br />

y = 1 2 et + 1 2 e−t = cosh t<br />

46


2) y 1 = √ t e y 2 = 1 t<br />

formam um conjunto fundamental <strong>de</strong> soluções <strong>de</strong><br />

2t 2 y ′′ + 3ty ′ − y = 0.<br />

De fato, é trivial checarmos que y 1 e y 2 são soluções e como<br />

√ ∣ W (y 1 , y 2 ) (t) =<br />

t<br />

1 ∣∣∣<br />

t<br />

∣<br />

1<br />

2 √ t<br />

W (y 1 , y 2 ) (1) = − 3 2 ≠ 0<br />

basta aplicarmos o teorema.<br />

Assim a solução geral da equação é<br />

− 1 t 2<br />

EXERCÍCIOS:<br />

y = a √ t + b 1 t<br />

1) Determine o intervalo <strong>de</strong> maior amplitu<strong>de</strong> <strong>de</strong>ntro do qual o PVI proposto<br />

tem, com certeza, uma solução única, duplamente <strong>de</strong>rivável<br />

{ (x − 3) y<br />

a)<br />

′′ + xy ′ + (ln |x|) y = 0<br />

y (1) = 0, y ′ (1) = 1<br />

{ (x − 2) y<br />

b)<br />

′′ + y ′ + (x − 2) (tan x) y = 0<br />

y (3) = 1, y ′ (3) = 2<br />

2) Verificar que<br />

y 1 (t) = 1<br />

e<br />

y 2 (t) = √ t<br />

são soluções da equação diferencial<br />

yy ′′ + (y ′ ) 2 = 0<br />

para t > 0. Depois mostrar que<br />

a + b √ t<br />

não é, em geral, solução <strong>de</strong>sta equação. Por quê<br />

3) É possível que y = sin ( t 2)<br />

seja uma solução da equação<br />

y ′′ + p (t) y ′ + q (t) y = 0<br />

cujos coeficientes são contínuos, em um intervalo que contenha t = 0<br />

47


4) Se y 1 e y 2 forem soluções LI <strong>de</strong><br />

ty ′′ + 2y ′ + te t y = 0<br />

e se<br />

achar o valor <strong>de</strong><br />

W (y 1 , y 2 ) (1) = 2<br />

W (y 1 , y 2 ) (5) .<br />

5) Se o wronskiano <strong>de</strong> duas soluções quaisquer <strong>de</strong><br />

y ′′ + p (t) y ′ + q (t) y = 0<br />

é constante, o que se po<strong>de</strong> concluir sobre p e q<br />

4.2 EDO’s Lineares Homogêneas <strong>de</strong> 2 a Or<strong>de</strong>m com Coeficientes<br />

Constantes<br />

Nesta seção estudaremos equações do tipo<br />

ay ′′ + by ′ + cy = 0<br />

Vamos aplicar a teoria da seção anterior.<br />

Para encontrarmos um conjunto fundamental <strong>de</strong> soluções precisamos encontrar<br />

duas candidatas a solução e em seguida verificarmos se <strong>de</strong> fato elas formam<br />

um conjunto fundamental <strong>de</strong> soluções.<br />

Buscamos soluções do tipo<br />

y = e rt .<br />

Temos<br />

y ′ = re rt<br />

y ′′ = r 2 e rt<br />

e assim será possível encontrarmos uma solução como a pretendida se e somente<br />

se<br />

ar 2 e rt + bre rt + ce rt = 0 ⇔ ( ar 2 + br + c ) e rt = 0 ⇔ ar 2 + br + c = 0<br />

A última equação é chamada <strong>de</strong> Equação Característica.<br />

48


As raízes da equação característica po<strong>de</strong>m ser<br />

ou 2 reais distintas<br />

ou 1 real dupla<br />

ou 1 par complexo conjugado<br />

1 o CASO: 2 REAIS DISTINTAS<br />

Sejam<br />

r 1 , r 2<br />

as raízes reais e distintas da equação característica.<br />

Afirmamos que<br />

{e r1t , e r2t }<br />

formam um conjunto fundamental <strong>de</strong> soluções. De fato<br />

W ( ∣<br />

e r1t , e r2t) (t) =<br />

∣ er1t e r2t ∣∣∣<br />

r 1 e r1t r 2 e r2t = (r 2 − r 1 ) e (r1+r1)t ≠ 0.<br />

Exemplo:<br />

Consi<strong>de</strong>remos o PVI<br />

⎧<br />

⎨<br />

⎩<br />

y ′′ + 5y ′ + 6y = 0<br />

y (0) = 2<br />

y ′ (0) = 1 2<br />

Inicialmente vamos encontrar a solução geral da EDO. Para isso vamos calcular<br />

as raízes da equação característica<br />

Assim<br />

r 2 + 5r + 6 = 0 ⇔ r = −2 ou r = −3<br />

{e −2t , e −3t }<br />

forma um conjunto fundamental <strong>de</strong> soluções e portanto a solução geral é<br />

y G = ae −2t + be −3t<br />

Usando as condições iniciais temos<br />

{<br />

a + b = 2<br />

−2a − 3b = 1 2<br />

e assim<br />

a = 13 2 , b = −9 2<br />

49


Logo a solução do PVI é<br />

y = 13 2 e−2t − 9 2 e−3t<br />

Suponhamos que a equação característica<br />

ar 2 + br + c = 0<br />

admita apenas uma raiz real. Neste caso<br />

e tal raiz é dada por<br />

Assim sabemos que<br />

∆ = b 2 − 4ac = 0<br />

r = − b<br />

2a<br />

y 1 = e − b<br />

2a t<br />

é uma solução.<br />

Precisamos encontrar uma segunda solução para montarmos um conjunto<br />

fundamental <strong>de</strong> soluções e então obtermos uma solução geral.<br />

Um método muito usual em EDO’s é tentar encontrar uma solução da forma<br />

Neste caso temos<br />

Assim<br />

y 2 = v (t) e − b<br />

2a t<br />

y ′ 2 = − b<br />

2a ve− b<br />

2a t + v ′ e − b<br />

2a t<br />

y ′′<br />

2 = b2<br />

4a 2 ve− b<br />

2a t − b a v′ e − b<br />

2a t + v ′′ e − b<br />

2a t<br />

y 2 é solução ⇔<br />

( b<br />

2<br />

⇔ a<br />

4a 2 ve− b<br />

2a t − b ) (<br />

a v′ e − b<br />

2a t + v ′′ e − b<br />

2a t + b − b<br />

)<br />

2a ve− b<br />

2a t + v ′ e − b<br />

2a t + ve − b<br />

2a t = 0 ⇔<br />

⇔ − ∆ 4a v + av′′ = 0 ⇔ v ′′ = 0<br />

Assim<br />

serve.<br />

Logo<br />

também é solução.<br />

v (t) = t<br />

y 2 = te − b<br />

2a t<br />

50


Resta verificarmos que<br />

{e − b<br />

2a t , te − b<br />

2a t }<br />

forma um conjunto fundamental <strong>de</strong> soluções. De fato, temos<br />

∣<br />

(<br />

W e − b<br />

2a t , te − b t) e<br />

2a (t) =<br />

− b<br />

2a t<br />

te − b<br />

2a t ∣∣∣∣ ∣ − b<br />

2a e− b<br />

2a t − b<br />

2a te− b<br />

2a t + e − b<br />

2a t = e − b a t ≠ 0.<br />

Exemplo:<br />

Consi<strong>de</strong>remos o PVI ⎧<br />

⎨ y ′′ − y ′ + 1 4 y = 0<br />

y (0) = 2<br />

⎩<br />

y ′ (0) = 1 3<br />

Inicialmente vamos encontrar a solução geral da EDO. Para isso vamos calcular<br />

as raízes da equação característica<br />

Assim<br />

r 2 − r + 1 4 = 0 ⇔ r = 1 2<br />

{e 1 2 t , te 1 2 t }<br />

forma um conjunto fundamental <strong>de</strong> soluções e portanto a solução geral é<br />

y G = ae 1 2 t + bte 1 2 t<br />

Usando as condições iniciais temos<br />

{ a<br />

2 + b = 1 3<br />

a = 2<br />

e assim<br />

Logo a solução do PVI é<br />

Sejam<br />

a = 2, b = − 2 3<br />

y = 2e 1 2 t − 2 3 te 1 2 t<br />

λ + µi, λ − µi<br />

as raízes da equação característica.<br />

Observe que, se ignorarmos o fato <strong>de</strong> ainda não termos estudado funções <strong>de</strong><br />

variável complexa, uma solução seria<br />

y = e (λ+µi)t<br />

Assim<br />

y = e λt e (µt)i<br />

51


temos<br />

Como<br />

e αi =<br />

+∞∑<br />

n=0<br />

(αi) n<br />

=<br />

n!<br />

Assim temos que<br />

e x = 1 + x + 1 2! x2 + 1 3! x3 + .. + xn<br />

n! + ...<br />

+∞∑<br />

n=0<br />

(−1) n α 2n +∞<br />

(2n)! + ∑<br />

(−1) n α 2n+1<br />

= cos α + i sin α<br />

(2n + 1)!<br />

n=0<br />

y 1 = e λt e µti = e λt (cos µt + i sin µt)<br />

y 1 = e λt e −µti = e λt (cos µt − i sin µt)<br />

são soluções da EDO.<br />

Como a EDO é linear sabemos que a soma das duas soluções e que a diferença<br />

das duas soluções também são soluções:<br />

y 3 = 2e λt cos µt<br />

y 4 = 2ie λt sin µt<br />

Novamente por ser linear, se multiplicarmos a primeira por 1 2 e a segunda<br />

por 1 2i ainda teremos duas soluções, que voltaremos a chamar <strong>de</strong> y 1 e y 2<br />

y 1 = e λt cos µt<br />

y 2 = e λt sin µt<br />

Provemos que as duas funções acima formam um conjunto fundamental <strong>de</strong><br />

soluções<br />

W ( e λt cos µt, e λt sin µt ) =<br />

e λt cos µt e λt sin µt<br />

∣ λe λt cos µt − µe λt sin µt µe λt cos µt + λe λt sin µt ∣ =<br />

= µe 2λt ≠ 0.<br />

Exemplo:<br />

Consi<strong>de</strong>remos o PVI<br />

⎧<br />

⎨<br />

⎩<br />

16y ′′ − 8y ′ + 145y = 0<br />

y (0) = −2<br />

y ′ (0) = 1<br />

Inicialmente vamos encontrar a solução geral da EDO. Para isso vamos calcular<br />

as raízes da equação característica<br />

16r 2 − 8r + 145 = 0 ⇔ r = 1 4 ± 3i<br />

Assim<br />

{e 1 4 t cos 3t, e 1 4 t sin 3t}<br />

52


forma um conjunto fundamental <strong>de</strong> soluções e portanto a solução geral é<br />

y G = e 1 4 t (a cos 3t + b sin 3t)<br />

Usando as condições iniciais temos<br />

{<br />

a = −2<br />

a<br />

4 + 3b = 1<br />

e assim<br />

Logo a solução do PVI é<br />

EXERCÍCIOS:<br />

a = −2, b = 1 2<br />

y = e 1 4 t (<br />

−2 cos 3t + 1 2 sin 3t )<br />

1) Encontre a solução geral para a equação diferencial dada:<br />

a)4y ′′ + y ′ = 0 f)2y ′′ − 5y ′ = 0<br />

b)y ′′ − 36y = 0 g)y ′′ − 8y = 0<br />

c)y ′′ + 9y = 0 h)3y ′′ + y = 0<br />

d) d2 y<br />

dx<br />

+ 8 dy<br />

2 dx + 16y = 0 i)y′′ − 3y ′ + 2y = 0<br />

e)y ′′ + 3y ′ − 5y = 0 j)y ′′ + 4y ′ − y = 0<br />

2) Resolva o PVI:<br />

{<br />

{<br />

y<br />

a)<br />

′′ + y = 0<br />

y ′ (0) = 0, y ( ) ′ π<br />

b)<br />

2 = 2<br />

y ′′ − y = 0<br />

y (0) = 1, y ′ (0) = 1<br />

4.3 EDO’s Lineares <strong>de</strong> Segunda Or<strong>de</strong>m com Coeficientes<br />

Constantes: O Método dos Coeficientes In<strong>de</strong>terminados<br />

——–<br />

Nesta seção resolveremos EDO’s lineares <strong>de</strong> 2 a Or<strong>de</strong>m com coeficientes constantes<br />

ay ′′ + by ′ + cy = g (t) (*)<br />

Teorema: Consi<strong>de</strong>remos a EDO (∗) on<strong>de</strong> g é uma função contínua em um<br />

intervalo aberto I. Se y 1 e y 2 são soluções <strong>de</strong> (∗) então (y 1 − y 2 ) é uma solução<br />

da homogênea associada<br />

ay ′′ + by ′ + cy = 0.<br />

53


Prova:<br />

Como y 1 e y 2<br />

são soluções <strong>de</strong> (∗) temos<br />

ay 1 ′′ + by 1 ′ + cy 1 = g (t)<br />

ay 2 ′′ + by 2 ′ + cy 2 = g (t)<br />

e subtraindo a segunda equação da primeira obtemos<br />

a (y 1 − y 2 ) ′′ + b (y 1 − y 2 ) ′ + c (y 1 − y 2 ) = 0<br />

Logo (y 1 − y 2 ) é uma solução da homogênea associada.<br />

Exercício: Verifique que o resultado continua valendo para EDO’s lineares,<br />

não necessariamente com coeficientes constantes e não necessariamente <strong>de</strong> segunda<br />

or<strong>de</strong>m.<br />

Observação:<br />

O teorema acima nos fornece o método para encontrarmos a solução geral<br />

<strong>de</strong> uma EDO do tipo (∗) .<br />

Sejam<br />

y p<br />

uma solução particular <strong>de</strong> (∗) , e<br />

{y 1 , y 2 }<br />

um conjunto fundamental <strong>de</strong> soluções da homogênea associada. Então qualquer<br />

solução y <strong>de</strong> (∗) <strong>de</strong>ve ser da forma<br />

y = y p + ay 1 + by 2 .<br />

De fato, se y é uma solução <strong>de</strong> (∗) então (y − y p ) é uma solução da homogênea<br />

associada. Assim <strong>de</strong>vem existir constantes a, b tais que<br />

y − y p = ay 1 + by 2 .<br />

PROBLEMA: Nosso problema agora será a obtenção <strong>de</strong> soluções particulares.<br />

Vamos procurar soluções particulares conforme a tabela abaixo:<br />

g (t)<br />

y p<br />

e αt At s e αt (s = 0, 1, 2)<br />

poli <strong>de</strong> grau n t s . (poli <strong>de</strong> grau n) (s = 0, 1, 2)<br />

e αt cos βt<br />

Ae αt cos βt + Be αt sin βt<br />

e αt sin βt<br />

Ae αt cos βt + Be αt sin βt<br />

(poli <strong>de</strong> grau n) .e αt (poli <strong>de</strong> grau n) .e αt<br />

(poli <strong>de</strong> grau n) sin αt (poli <strong>de</strong> grau n) (sin αt + cos αt)<br />

(poli <strong>de</strong> grau n) cos αt (poli <strong>de</strong> grau n) (sin αt + cos αt)<br />

54


Exemplos:<br />

1)<br />

A homogênea associada<br />

y ′′ − 3y ′ − 4y = 3e 2t<br />

tem como solução geral<br />

y ′′ − 3y ′ − 4y = 0<br />

y h = ae 4t + be −t<br />

Procuramos uma particular da forma<br />

Temos<br />

y p = Ae 2t<br />

y ′ p = 2Ae 2t<br />

y ′′<br />

p = 4Ae 2t<br />

Assim<br />

e portanto<br />

4Ae 2t − 6Ae 2t − 4Ae 2t = 3e 2t<br />

A = − 1 2 .<br />

Logo a solução geral é<br />

y = − 1 2 e2t + ae 4t + be −t .<br />

2)<br />

A homogênea associada<br />

y ′′ − 3y ′ − 4y = 2 sin t<br />

tem como solução geral<br />

y ′′ − 3y ′ − 4y = 0<br />

y h = ae 4t + be −t<br />

Procuramos uma particular da forma<br />

Temos<br />

y p = A sin t + B cos t<br />

y p ′ = A cos t − B sin t<br />

y p ′′ = −A sin t − B cos t<br />

55


Assim<br />

−A sin t − B cos t − 3A cos t + 3B sin t − 4A sin t − 4B cos t = 2 sin t<br />

e portanto<br />

Logo a solução geral é<br />

(−5A + 3B) sin t + (−5B − 3A) cos t = 2 sin t<br />

{ −5A + 3B = 2<br />

−3A − 5B = 0<br />

A = − 5<br />

17 , B = 3 17<br />

y = − 5<br />

17 sin t + 3 17 cos t + ae4t + be −t .<br />

3)<br />

y ′′ − 3y ′ − 4y = −8e t cos 2t<br />

A homogênea associada<br />

y ′′ − 3y ′ − 4y = 0<br />

tem como solução geral<br />

y h = ae 4t + be −t<br />

Procuramos uma particular da forma<br />

Temos<br />

Assim<br />

y p = Ae t cos 2t + Be t sin 2t<br />

y ′ p = (A + 2B) e t cos 2t + (−2A + B) e t sin 2t<br />

y ′′<br />

p = (−3A + 4B) e t cos 2t + (−4A − 3B) e t sin 2t<br />

Logo a solução geral é<br />

{ −10A − 2B = −8<br />

2A − 10B = 0<br />

A = 10<br />

13 , B = 2<br />

13<br />

y = 10<br />

13 et cos 2t + 2<br />

13 et sin 2t + ae 4t + be −t .<br />

4)<br />

y ′′ − 3y ′ − 4y = 3e 2t + 2 sin t − 8e t cos 2t<br />

56


A solução geral será da forma<br />

on<strong>de</strong><br />

y = y h + y p1 + y p2 + y p3<br />

são soluções particulares <strong>de</strong><br />

y p1<br />

, y p2 , y p3<br />

respectivamente.<br />

Assim<br />

5)<br />

y ′′ − 3y ′ − 4y = 3e 2t ;<br />

y ′′ − 3y ′ − 4y = 2 sin t;<br />

y ′′ − 3y ′ − 4y = −8e t cos 2t<br />

y = ae 4t + be −t − 1 2 e2t − 5<br />

17 sin t + 3 10<br />

cos t +<br />

17 13 et cos 2t + 2<br />

13 et sin 2t.<br />

A homogênea associada<br />

tem como solução geral<br />

y ′′ + 4y = 3 cos 2t<br />

y ′′ + 4y = 0<br />

y h = a cos 2t + b sin 2t<br />

Procuramos uma particular da forma<br />

y p = At cos 2t + Bt sin 2t<br />

Procuramos assim pois se não multiplicarmos por t será solução da homogênea.<br />

Deixamos como exercício verificar que a solução geral é<br />

y = a cos 2t + b sin 2t + 3 t sin 2t.<br />

4<br />

EXERCÍCIOS:<br />

Resolva as equações diferenciais :<br />

a)y ′′ + 3y ′ + 2y = 6 f)4y ′′ + 9y = 15<br />

b)y ′′ − 10y ′ + 25y = 30x + 3 g)y ′′ + 4y = ( x 2 − 3 ) sin (2x)<br />

c) 1 4 y′′ + y ′ + y = x 2 − 2x h)y ′′ + 2y ′ = 2x + 5 − e −2x<br />

d)y ′′ + 3y = −48x 2 e 3x i)y ′′ − 16y = 2e 4x<br />

e)y ′′ + 4y = 3 sin (2x) j)y ′′ + y = 2x sin x<br />

57


4.4 EDO’s Lineares <strong>de</strong> Segunda Or<strong>de</strong>m com Coeficientes<br />

Constantes: O Método da Variação dos Parâmetros<br />

Nesta seção <strong>de</strong>senvovlvemos um método para obtermos soluções particulares.<br />

Teorema: Se g é uma função contínua e se<br />

{y 1 , y 2 }<br />

é um conjunto fundamental <strong>de</strong> soluções <strong>de</strong><br />

y ′′ + by ′ + cy = 0<br />

então<br />

y p = −y 1<br />

∫<br />

gy 2<br />

∣ y 1 y 2<br />

y 1 ′ y 2<br />

′<br />

∫<br />

+ y 2 ∣<br />

gy 1<br />

∣ y 1 y 2<br />

y 1 ′ y 2<br />

′<br />

∣<br />

é uma solução particular <strong>de</strong><br />

y ′′ + by ′ + cy = g (t)<br />

temos<br />

Prova:<br />

Procurando uma solução particular do tipo<br />

y p = u 1 y 1 + u 2 y 2<br />

y ′ p = u 1 y ′ 1 + u 2 y ′ 2 + (u ′ 1y 1 + u ′ 2y 2 )<br />

e por um motivo técnico vamos exigir que a parte entre parênteses seja nula.<br />

Assim<br />

Substituindo na equação obtemos<br />

y p ′ = u 1 y 1 ′ + u 2 y 2<br />

′<br />

y p ′′ = u 1 y 1 ′′ + u ′ 1y 1 ′ + u 2 y 2 ′′ + u ′ 2y 2<br />

′<br />

u 1 (y ′′<br />

1 + by ′ 1 + cy 1 ) + u 2 (y ′′<br />

2 + by ′ 2 + cy 2 ) + u ′ 1y ′ 1 + u ′ 2y ′ 2 = g<br />

e como as partes nos parênteses são nulas, já que y 1 e y 2 são soluções da homogênea,<br />

temos { u<br />

′<br />

1 y 1 + u ′ 2y 2 = 0<br />

u ′ 1y ′ 1 + u ′ 2y ′ 2 = g<br />

Para o sistema acima ter solução basta que<br />

∣ y 1 y 2<br />

y 1 ′ y 2<br />

′ ∣ ≠ 0<br />

58


e isso é verda<strong>de</strong> já que y 1 e y 2 formam um conjunto fundamental <strong>de</strong> soluções da<br />

homogênea.<br />

Aplicando a regra <strong>de</strong> Cramer temos<br />

∣ 0 y 2<br />

u ′ g y 2<br />

′ ∣ gy<br />

1 =<br />

∣ y 1 y 2<br />

= −<br />

2<br />

y 1 ′ y 2<br />

′ ∣ ∣ y 1 y 2<br />

y 1 ′ y 2<br />

′ ∣<br />

<br />

e<br />

Logo<br />

∣ y 1 0<br />

u ′ y 1<br />

′ g ∣ gy<br />

2 =<br />

∣ y 1 y 2<br />

=<br />

1<br />

y 1 ′ y 2<br />

′ ∣ ∣ y 1 y 2<br />

y 1 ′ y 2<br />

′ ∣<br />

∫<br />

gy 2<br />

u 1 = −<br />

∣ y 1 y 2<br />

y 1 ′ y 2<br />

′ ∣<br />

∫<br />

gy 1<br />

u 2 =<br />

∣ y 1 y 2<br />

y 1 ′ y 2<br />

′ ∣<br />

Exercício: Verifique que o resultado continua valendo para EDO’s lineares,<br />

não necessariamente com coeficientes constantes.<br />

Exemplo:<br />

Vamos encontrar a solução geral <strong>de</strong><br />

A homogênea associada é<br />

que tem solução<br />

y ′′ + 4y = 3 csc t<br />

y ′′ + 4y = 0<br />

y h = a cos 2t + b sin 2t<br />

Utilizando o método da variação dos parâmetros obtemos<br />

cos 2t sin 2t<br />

∣ −2 sin 2t 2 cos 2t ∣ = 2<br />

∫<br />

cos 2t<br />

y p = −<br />

2<br />

3 csc t sin 2tdt +<br />

sin 2t<br />

2<br />

∫<br />

3 csc t cos 2tdt =<br />

= −3 sin t cos 2t + 3 sin 2t cos t + 3 sin 2t ln |csc t − cot t|<br />

2<br />

59


A solução geral é<br />

y = a cos 2t + b sin 2t − 3 sin t cos 2t + 3 sin 2t cos t + 3 sin 2t ln |csc t − cot t| .<br />

2<br />

EXERCÍCIOS:<br />

Resolva as equações, usando o método da variação dos parâmetros<br />

a)y ′′ + y = sec x<br />

b)y ′′ + y = sin x<br />

c)y ′′ + y = cos 2 x<br />

d)y ′′ − y = cosh x<br />

e)y ′′ − 9y = 9x<br />

e 3x<br />

f)y ′′ − 2y ′ + y = e −x ln x<br />

4.5 EDO’s Lineares <strong>de</strong> Segunda Or<strong>de</strong>m com Coeficientes<br />

Variáveis: Soluções dadas por Séries <strong>de</strong> Potências<br />

Nesta seção iremos estudar EDO’s da forma<br />

P (x) y ′′ + Q (x) y ′ + R (x) y = 0.<br />

As equações mais famosas que possuem a forma acima são as equações da<br />

Física-Matemática<br />

a) BESSEL : x 2 y ′′ + xy ′ + ( x 2 − ν 2) y = 0<br />

b) LEGENDRE :<br />

(<br />

1 − x<br />

2 ) y ′′ − 2xy ′ + α (α + 1) y = 0<br />

c) HERMITE : y ′′ − 2xy ′ + λy = 0<br />

d) EULER-CAUCHY : x 2 y ′′ + αxy ′ + βy = 0<br />

4.5.1 Soluções em Vizinhanças <strong>de</strong> Pontos Ordinários<br />

Consi<strong>de</strong>remos a EDO<br />

Usaremos a notação<br />

P (x) y ′′ + Q (x) y ′ + R (x) y = 0<br />

p (x) = Q (x)<br />

P (x)<br />

q (x) = R (x)<br />

P (x)<br />

60


Definição:Dizemos que x 0 é um PONTO ORDINÁRIO se p e q forem<br />

analíticas em x 0 . Caso contrário x 0 é dito PONTO SINGULAR.<br />

Exemplos:<br />

1)<br />

Todos os pontos são ordinários.<br />

y ′′ + y = 0<br />

2)<br />

Assim<br />

x 2 y ′′ + xy ′ = 0<br />

y ′′ + 1 x y′ = 0<br />

e x 0 = 0 é um ponto singular.<br />

3) (<br />

1 − x<br />

2 ) y ′′ − 2xy ′ + x 2 y = 0<br />

Assim<br />

y ′′ −<br />

e x 0 = 1 e x 0 = −1 são pontos singulares.<br />

2x<br />

1 − x 2 y′ + x2<br />

1 − x 2 y = 0<br />

Observação: Se P, Q, R são polinômios então p e q são analíticas em x 0<br />

<strong>de</strong>s<strong>de</strong> que<br />

P (x 0 ) ≠ 0.<br />

Teorema:<br />

Se x 0 for um ponto ordinário da EDO<br />

y ′′ + p (x) y ′ + q (x) y = 0<br />

po<strong>de</strong>mos sempre encontrar duas soluções LI na forma <strong>de</strong> série <strong>de</strong> potências<br />

centradas em x 0<br />

+∞∑<br />

y = c n (x − x 0 ) n .<br />

n=0<br />

Além disso as séries convergem para uma solução em<br />

|x − x 0 | < R<br />

on<strong>de</strong> R é a menor distância entre x 0 e os pontos singulares <strong>de</strong> p e q.<br />

Prova: Omitida.<br />

Exemplos:<br />

61


1) Consi<strong>de</strong>remos a EDO<br />

y ′′ + y = 0<br />

Não existem pontos singulares. Assim o teorema garante que existem soluções<br />

da forma<br />

convergentes em (−∞, +∞) .<br />

Temos<br />

y =<br />

+∞∑<br />

n=0<br />

a n x n<br />

y ′ =<br />

y ′′ =<br />

+∞∑<br />

n=1<br />

+∞∑<br />

na n x n−1<br />

n (n − 1) a n x n−2 =<br />

+∞∑<br />

n=2<br />

n=0<br />

(n + 2) (n + 1) a n+2 x n<br />

Assim<br />

e portanto<br />

+∞∑<br />

n=0<br />

(n + 2) (n + 1) a n+2 x n +<br />

+∞∑<br />

n=0<br />

+∞∑<br />

n=0<br />

a n x n = 0<br />

[(n + 2) (n + 1) a n+2 + a n ] x n = 0<br />

Observe que<br />

Temos<br />

e portanto<br />

(n + 2) (n + 1) a n+2 + a n = 0, ∀n ∈ N<br />

a n<br />

a n+2 = −<br />

(n + 2) (n + 1)<br />

a 0 = y (0)<br />

a 1 = y ′ (0)<br />

a 2 = − a 0<br />

2 , a 4 = a 0<br />

4.3.2 , ..., a 2n = (−1) n a 0<br />

(2n)!<br />

a 3 = − a 1<br />

3.2 , a 5 = a 1<br />

5.4.3.2 , ..., a 2n+1 = (−1) n a 1<br />

(2n + 1)!<br />

∑<br />

+∞<br />

y = a 0 (−1) n x 2n<br />

(2n)! + a 1<br />

n=0<br />

+∞∑<br />

n=0<br />

(−1) n x 2n+1<br />

(2n + 1)! = a 0 cos x + a 1 sin x<br />

62


2)Consi<strong>de</strong>remos a EDO<br />

y ′′ − xy = 0<br />

Não existem pontos singulares. Assim o teorema garante que existem soluções<br />

da forma<br />

convergentes em (−∞, +∞) .<br />

Temos<br />

y =<br />

+∞∑<br />

n=0<br />

a n x n<br />

y ′ =<br />

y ′′ =<br />

+∞∑<br />

n=1<br />

+∞∑<br />

na n x n−1<br />

n (n − 1) a n x n−2 =<br />

+∞∑<br />

n=2<br />

n=0<br />

(n + 2) (n + 1) a n+2 x n<br />

Assim<br />

logo<br />

+∞∑<br />

n=0<br />

⇒ 2a 2 +<br />

Temos então<br />

(n + 2) (n + 1) a n+2 x n −<br />

+∞∑<br />

⇒ 2a 2 +<br />

n=1<br />

+∞∑<br />

+∞∑<br />

n=0<br />

(n + 2) (n + 1) a n+2 x n −<br />

n=1<br />

a n x n+1 = 0 ⇒<br />

+∞∑<br />

n=1<br />

a n−1 x n = 0 ⇒<br />

[(n + 2) (n + 1) a n+2 − a n−1 ] x n = 0<br />

a 2 = a 5 = a 8 = ... = 0<br />

a n−1<br />

a n+2 =<br />

(n + 2) (n + 1)<br />

a 3n =<br />

a 3n+1 =<br />

y = a 0<br />

(<br />

1 + 1<br />

3.2 x3 + 1<br />

6.5.3.2 x6 + ...<br />

a 0<br />

(3n) (3n − 1) (3n − 3) (3n − 4) ...6.5.3.2<br />

a 1<br />

(3n + 1) (3n) (3n − 2) (3n − 3) ...7.6.4.3<br />

)<br />

+ a 1<br />

(<br />

x + 1<br />

4.3 x4 + 1 )<br />

7.6.4.3 x7 + ....<br />

Chamando<br />

y 1 = 1 + 1<br />

3.2 x3 + 1<br />

6.5.3.2 x6 + ...<br />

y 2 = x + 1<br />

4.3 x4 + 1<br />

7.6.4.3 x7 + ....<br />

63


temos que y 1 e y 2 são soluções dos PVI’S<br />

{<br />

y ′′ − xy = 0<br />

y (0) = 1, y ′ (0) = 0<br />

{<br />

y ′′ − xy = 0<br />

y (0) = 0, y ′ (0) = 1<br />

respectivamente.<br />

3) A EDO (<br />

x 2 − 2x + 2 ) y ′′ + y ′ = 0<br />

tem como pontos singulares<br />

1 + i, 1 − i<br />

Assim<br />

x 0 = 0<br />

é um ponto ordinário e po<strong>de</strong>mos garantir a existência <strong>de</strong> uma solução na forma<br />

y =<br />

convergente em ( − √ 2, √ 2 ) .<br />

+∞∑<br />

n=0<br />

a n x n<br />

4) A EDO (<br />

1 − x<br />

2 ) y ′′ − 2xy ′ + y = 0<br />

tem como pontos singulares<br />

1, −1<br />

Assim<br />

x 0 = 0<br />

é um ponto ordinário e po<strong>de</strong>mos garantir a existência <strong>de</strong> uma solução na forma<br />

y =<br />

convergente em (−1, 1) .<br />

+∞∑<br />

n=0<br />

a n x n<br />

5) A EDO<br />

(1 + x 2 )y ′′ + 2xy ′ + 4x 2 y = 0<br />

tem como pontos singulares<br />

i, −i<br />

64


Assim<br />

x 0 = 1 2<br />

é um ponto ordinário e po<strong>de</strong>mos garantir a existência <strong>de</strong> uma solução na forma<br />

convergente em<br />

EXERCÍCIOS:<br />

y =<br />

+∞∑<br />

n=0<br />

(<br />

1<br />

2 − √ 5<br />

2 , 1 2 + √ )<br />

5<br />

2<br />

.<br />

(<br />

a n x − 1 ) n<br />

2<br />

1) Encontre solução em série <strong>de</strong> potências:<br />

a) y ′′ − y = 0, x 0 = 0<br />

b) y ′′ − xy ′ − y = 0, x 0 = 0<br />

c) y ′′ − xy ′ − y = 0, x 0 = 1<br />

2) Use um computador para plotar diversas somas parciais da solução em<br />

série em torno <strong>de</strong> 0 { y ′′ − xy ′ − y = 0<br />

y (0) = 1, y ′ (0) = 0<br />

3) Calcule as 4 primeiras <strong>de</strong>rivadas da solução <strong>de</strong>:<br />

a) { y ′′ + xy ′ + y = 0<br />

y (0) = 1, y ′ (0) = 0<br />

b) { y ′′ + (sin x) y ′ + (cos x) y = 0<br />

y (0) = 0, y ′ (0) = 1<br />

4.5.2 Pontos Singulares Regulares e a Equação <strong>de</strong> Euler<br />

Dada a EDO<br />

vimos que x 0 é um ponto singular se<br />

P (x) y ′′ + Q (x) y ′ + R (x) y = 0<br />

ou<br />

não são analíticas em x 0 .<br />

p (x) = Q (x)<br />

P (x)<br />

q (x) = R (x)<br />

P (x)<br />

65


Definição: x 0 é dito PONTO SINGULAR REGULAR se<br />

i) x 0 for um ponto singular e<br />

ii) (x − x 0 ) p (x) e (x − x 0 ) 2 q (x) são analíticas em x 0 .<br />

Exemplos:<br />

1) (<br />

1 − x<br />

2 ) y ′′ − 2xy ′ + y = 0<br />

tem como pontos singulares<br />

Como<br />

1, −1.<br />

2x<br />

(x − 1) p (x) =<br />

x + 1<br />

(x − 1) 2 q (x) = 1 − x<br />

1 + x<br />

são analíticas em 1 segue que 1 é ponto singular regular.<br />

Analogamente verificamos que −1 também é ponto singular regular.<br />

2)<br />

tem como pontos singulares<br />

Como<br />

2 (x − 2) 2 xy ′′ + 3xy ′ + (x − 2) y = 0<br />

xp (x) =<br />

x 2 q (x) =<br />

0, 2<br />

3x<br />

2 (x − 2) 2<br />

x (x − 2)<br />

2 (x − 2) 2<br />

são analíticas em 0 segue que 0 é ponto singular regular.<br />

Como<br />

3<br />

(x − 2) p (x) =<br />

2 (x − 2)<br />

não é analítica em 2 segue que 2 não é ponto singular regular.<br />

A<br />

EQUAÇÃO DE EULER<br />

66


A Equação <strong>de</strong> Euler é a seguinte equação<br />

Inicialmente observemos que<br />

x 2 y ′′ + αxy ′ + βy = 0.<br />

x 0 = 0<br />

é um ponto singular regular da EDO. Assim não esperamos encontrar uma<br />

solução <strong>de</strong>finida em um intervalo contendo a origem. Uma boa esperança é que<br />

tenhamos soluções <strong>de</strong>finidas em x > 0 ou em x < 0.<br />

Busquemos uma solução do tipo<br />

Assim<br />

y = x r<br />

y ′ = rx r−1<br />

y ′′ = r (r − 1) x r−2<br />

r (r − 1) x r + αrx r + βx r = 0<br />

[r (r − 1) + αr + β] x r = 0<br />

Verificamos que isso é possível <strong>de</strong>s<strong>de</strong> que<br />

r (r − 1) + αr + β = 0<br />

(EQUAÇÃO CARACTERÍSTICA)<br />

temos<br />

Ou seja<br />

Denotando<br />

√<br />

r = (1 − α) ± (α − 1) 2 − 4β<br />

.<br />

2<br />

∆ = (α − 1) 2 − 4β<br />

1 o Caso: ∆ > 0<br />

Neste caso existem r 1 , r 2 raízes distintas e assim<br />

são soluções e como<br />

temos que<br />

y 1 = x r1<br />

y 2 = x r2<br />

W (y 1 , y 2 ) (x) = x r1+r2−1 (r 2 − r 1 ) ≠ 0<br />

{x r1 , x r2 }<br />

formam um conjunto fundamental <strong>de</strong> soluções.<br />

67


2 o Caso: ∆ = 0<br />

Neste caso temos que a equação característica tem uma raiz real dupla<br />

Assim<br />

r = 1 − α<br />

2<br />

y 1 = x r<br />

é uma solução.<br />

Buscamos uma segunda solução na forma<br />

Temos<br />

y ′ 2 = rux r−1 + u ′ x r<br />

y 2 = ux r<br />

y ′′<br />

2 = r (r − 1) ux r−2 + ru ′ x r−1 + u ′′ x r + ru ′ x r−1<br />

e substituindo na equação obtemos<br />

e portanto<br />

(r (r − 1) + αr + β) ux r + (2r + α) u ′ x r+1 + u ′′ x r+2 = 0<br />

u ′ x r+1 + u ′′ x r+2 = 0<br />

u ′ + u ′′ x = 0<br />

Fazendo<br />

obtemos<br />

v = u ′<br />

xv ′ + v = 0<br />

x dv<br />

dx = −v<br />

− dv<br />

v<br />

= dx x<br />

− ln v = ln x<br />

v = 1 x<br />

u = ln x<br />

Logo<br />

é a segunda solução.<br />

Como<br />

y 2 = (ln x) x r<br />

W (y 1 , y 2 ) (x) = x 2r−1 ≠ 0<br />

68


segue as soluções formam um conjunto fundamental.<br />

3 o Caso: ∆ < 0<br />

Neste caso temos que a equação característica possui um par complexo conjugado<br />

<strong>de</strong> raízes<br />

λ + µi, λ − µi<br />

Assim temos<br />

x λ+µi = x λ x µi = x λ e ln xµi = x λ e (µ ln x)i =<br />

As nossas duas soluções serão<br />

= x λ (cos (µ ln x) + i sin (µ ln x))<br />

y 1 = x λ cos (µ ln x)<br />

y 2 = x λ sin (µ ln x)<br />

Deixamos como exercício a verificação <strong>de</strong> que as duas funções acima formam<br />

um conjunto fundamental <strong>de</strong> soluções.<br />

Exemplo:<br />

2x 2 y ′′ + 3xy ′ − y = 0, x > 0<br />

A equação caracteristica é<br />

2r 2 + r − 1 = 0<br />

cujas raízes são<br />

Logo<br />

1<br />

2 , −1<br />

y 1 = √ x<br />

y 2 = 1 x<br />

EXERCÍCIOS:<br />

1) Determinar os pontos singulares e verificar se são regulares ou não:<br />

a)xy ′′ + (1 − x) y ′ + xy = 0 d)xy ′′ − 3 (sin x) y ′ + ( 1 + x 2) y = 0<br />

b) (x + 3) y ′′ − 2xy ′ + ( 1 − x 2) y = 0 e) (sin x) y ′′ + xy ′ + 4y = 0<br />

c) ( x 2 + x − 2 ) y ′′ + (x + 1) y ′ + 2y = 0 f) (x sin x) y ′′ + 3y ′ + xy = 0<br />

2) Resolva as equações:<br />

a)x 2 y ′′ + 4xy ′ + 2y = 0 c)x 2 y ′′ − 3xy ′ + 4y = 0<br />

b) (x + 1) 2 y ′′ + 3 (x + 1) y ′ + 0.75y = 0 d)x 2 y ′′ + 3xy ′ + 5y = 0<br />

69


4.5.3 Soluções em Vizinhanças <strong>de</strong> Pontos Singulares Regulares<br />

——–<br />

Suponhamos que x 0 seja um ponto singular regular <strong>de</strong><br />

y ′′ + p (x) y ′ + q (x) y = 0<br />

Assim<br />

xp (x) =<br />

x 2 q (x) =<br />

∞∑<br />

p n x n<br />

n=0<br />

∞∑<br />

q n x n<br />

n=0<br />

Multipliquemos a equação por x 2<br />

x 2 y ′′ + x [xp (x)] y ′ + [ x 2 q (x) ] y = 0<br />

e vamos procurar uma solução da forma<br />

y = x r<br />

∞<br />

∑<br />

n=0<br />

a n x n<br />

Substituindo na equação obtemos<br />

(<br />

∞∑<br />

∞<br />

) (<br />

∑<br />

∞<br />

)<br />

∑<br />

(n + r) (n + r − 1) a n x n+r + p n x n (n + r) a n x n+r +<br />

n=0<br />

n=0<br />

n=0<br />

( ∞<br />

) (<br />

∑<br />

∞<br />

)<br />

∑<br />

+ q n x n a n x n+r = 0<br />

n=0<br />

n=0<br />

Efetuando os produtos acima obtemos<br />

a 0 F (r) x r +<br />

F (r) = r (r − 1) + rp 0 + q 0<br />

[<br />

]<br />

∞∑<br />

n−1<br />

∑<br />

a n F (r + n) + a k ((k + r)p n−k + q n−k ) x n+r = 0<br />

n=0<br />

Assim procuramos<br />

k=0<br />

F (r) = 0(Lembre da Equação <strong>de</strong> Euler)<br />

n−1<br />

∑<br />

a n F (r + n) + a k ((k + r)p n−k + q n−k ) = 0<br />

k=0<br />

Ou seja , procuramos soluções da forma<br />

y = x r (a 0 +<br />

70<br />

∞∑<br />

a n x n )<br />

n=1


on<strong>de</strong> r é raiz <strong>de</strong><br />

r (r − 1) + rp 0 + q 0 = 0.<br />

Para sermos mais precisos <strong>de</strong>veríamos agora fazer uma analíse das raízes da<br />

equação acima. No entanto vamos parar nossa discussão por aqui.<br />

Exemplo:<br />

Consi<strong>de</strong>remos a EDO<br />

Os únicos pontos singulares são<br />

2x (x + 1) y ′′ + (3 + x) y ′ − xy = 0<br />

0, −1<br />

Então para x 0 ∈ R\{0, −1} encontramos soluções <strong>de</strong>finidas em vizinhanças<br />

<strong>de</strong> x 0 da forma<br />

∞∑<br />

y = a n (x − x 0 ) n<br />

n=0<br />

Verifique que x 0 = 0 é um ponto singular regular com p 0 = 3 2 e q 0 = 0.<br />

Assim obtemos a equação<br />

r (r − 1) + 3 2 r = 0<br />

cujas raízes são 0 e − 1 2 .<br />

Assim po<strong>de</strong>mos procurar soluções da forma<br />

)<br />

∞∑<br />

∞∑<br />

y 1 = x<br />

(a 0 0 + a n x n = a 0 + a n x n<br />

y 2 =<br />

1<br />

√ x<br />

(b 0 +<br />

n=1<br />

)<br />

∞∑<br />

b n x n<br />

n=1<br />

n=1<br />

Verifique agora que x 0 = −1 é um ponto singular regular<br />

q 0 = 0. Assim obtemos a equação<br />

com p 0 = −1 e<br />

r (r − 1) − r = 0<br />

cujas raízes são 0 e 2.<br />

Como as raízes diferem por um número inteiro po<strong>de</strong>mos encontrar somente<br />

uma solução que será da forma<br />

)<br />

∞∑<br />

y = (x + 1)<br />

(a 2 0 + a n x n<br />

n=1<br />

71


5 A Transformada <strong>de</strong> Laplace<br />

5.1 Preliminares<br />

Definição: Seja f uma função <strong>de</strong>finida em (0, +∞) . A TRANSFORMADA<br />

DE LAPLACE <strong>de</strong> f é <strong>de</strong>finida por<br />

L (f) (s) =<br />

caso a integral seja convergente.<br />

∫ +∞<br />

0<br />

e −st f (t) dt,<br />

Exemplo:<br />

Consi<strong>de</strong>remos<br />

Temos<br />

f (t) = e kt , k ∈ R.<br />

L (f) (s) =<br />

∫ +∞<br />

0<br />

= lim<br />

T →+∞<br />

e −st e kt dt =<br />

e (k−s)t ] T<br />

k − s<br />

0<br />

∫ +∞<br />

0<br />

= 1<br />

s − k<br />

e (k−s)t dt =<br />

para s > k.<br />

Definição: Uma função<br />

f : [a, b) → R<br />

é dita SECCIONALMENTE CONTÍNUA se existem<br />

a = t 0 < t 1 < ... < t n−1 < t n = b<br />

tais que f é contínua em (t i , t i+1 ) , i = 0, 1, ..., n − 1.<br />

Definição: Dizemos que<br />

f : [a, +∞) → R<br />

é SECCIONALMENTE CONTÍNUA se a restrição <strong>de</strong> f a [a, b), qualquer que<br />

seja b > a, for seccionalmente contínua.<br />

Teorema: Seja<br />

f : [a, +∞) → R<br />

72


seccionalmente contínua. Suponhamos que<br />

tais que<br />

a)<br />

b)<br />

∃M > 0, ∃g : [M, +∞) → R<br />

|f (x)| < g (x) , ∀x ≥ M;<br />

∫ +∞<br />

é convergente.<br />

Então ∫ +∞<br />

é convergente.<br />

Prova: Omitida (<strong>Curso</strong> <strong>de</strong> Análise)<br />

M<br />

a<br />

g (x) dx<br />

f (x) dx<br />

Teorema: Se f for seccionalmente contínua para t ≥ 0 e se existirem<br />

constantes k > 0, M > 0 e a ∈ R tais que<br />

então L (f) (s) converge para s > a.<br />

<br />

|f (t)| < ke at , ∀t ≥ M<br />

Prova: Basta aplicar o teorema anterior para<br />

g (t) = ke at<br />

TABELA BÁSICA<br />

f (t)<br />

L (f) (s)<br />

1<br />

1<br />

s , s > 0<br />

e at 1<br />

s−a , s > a<br />

t n n!<br />

, n ∈ N<br />

s<br />

, s > 0<br />

n+1<br />

a<br />

sin at<br />

s 2 +a<br />

, s > 0<br />

2<br />

s<br />

cos at<br />

s 2 +a<br />

, s > 0<br />

2<br />

a<br />

sinh at<br />

s 2 −a<br />

, s > |a|<br />

2<br />

s<br />

cosh at<br />

s 2 −a<br />

, s > |a|<br />

2<br />

e at b<br />

sin bt<br />

, s > a<br />

(s−a) 2 +b 2<br />

e at s−a<br />

cos bt<br />

, s > a<br />

(s−a) 2 +b 2<br />

t n e at n!<br />

, n ∈ N , s > a<br />

(s−a) n+1<br />

73


PROPRIEDADES DA TRANSFORMADA DE LAPLACE<br />

a)<br />

L (af + bg) (s) = aL (f) (s) + bL (g) (s)<br />

b) Se f for contínua , f ′ seccionalmente contínua e existirem constantes<br />

k, a, M tais que<br />

|f (t)| ≤ ke at , ∀t ≥ M<br />

então existe L (f ′ ) (s) para s > a e<br />

c)<br />

L (f ′ ) (s) = sL (f) (s) − f (0)<br />

L (f ′′ ) (s) = s 2 L (f) (s) − sf (0) − f ′ (0)<br />

d)<br />

(<br />

L f (n)) (s) = s n L (f) (s)−s n−1 f (0)−s n−2 f ′ (0)−...−sf (n−2) (0)−f (n−1) (0)<br />

A verificação das proprieda<strong>de</strong>s acima é imediata. Basta usar a <strong>de</strong>finição e<br />

efetuar o cálculo.<br />

5.2 Utilização da Transformada <strong>de</strong> Laplace na Resolução<br />

<strong>de</strong> PVI’s<br />

Exemplos:<br />

1) Consi<strong>de</strong>remos o PVI<br />

{ y ′′ + y = sin 2t<br />

y (0) = 2, y ′ (0) = 1<br />

Denotemos<br />

Assim<br />

L (y) (s) = Y (s)<br />

L (y ′′ ) (s) = s 2 Y (s) − sy (0) − y ′ (0) = s 2 Y (s) − 2s − 1<br />

L (sin 2t) (s) = 2<br />

s 2 + 4<br />

Temos então<br />

s 2 Y (s) − 2s − 1 + Y (s) = 2<br />

s 2 + 4<br />

74


e portanto<br />

e <strong>de</strong>compondo em frações parciais<br />

Y (s) = 2s3 + s 2 + 8s + 6<br />

(s 2 + 1) (s 2 + 4)<br />

Y (s) = 5 1<br />

3 s 2 + 1 + 2 s<br />

s 2 + 1 − 2 1<br />

3 (s 2 + 4)<br />

Calculando a transformada inversa<br />

y (t) = 5 3 sin t + 2 cos t − 2 sin 2t<br />

3<br />

2) Consi<strong>de</strong>remos o PVI<br />

{<br />

y (4) − y = 0<br />

y (0) = 0, y ′ (0) = 1, y ′′ (0) = 0, y ′′′ (0) = 0<br />

Denotemos<br />

L (y) (s) = Y (s)<br />

Assim<br />

(<br />

L y (4)) (s) = s 4 Y (s) − s 3 y (0) − s 2 y ′ (0) − y ′′′ (0) = s 4 Y (s) − s 2<br />

Temos então<br />

e portanto<br />

s 4 Y (s) − s 2 − Y (s) = 0<br />

Y (s) =<br />

Calculando a transformada inversa<br />

EXERCÍCIOS<br />

s2<br />

s 4 − 1 = 1<br />

4 (s − 1) − 1<br />

4 (s + 1) + 1<br />

2 (s 2 + 1)<br />

y (t) = 1 4 et − 1 4 e−t + 1 2<br />

sin t =<br />

sin t + sinh t<br />

2<br />

Use a transformada <strong>de</strong> Laplace para resolver os seguintes PVI’s<br />

{ y<br />

a)<br />

′′ − y ′ − 6y = 0<br />

{ y (0) = 1, y ′ (0) = −1<br />

y<br />

b)<br />

′′ + 3y ′ + 2y = 0<br />

y (0) = 1, y ′ (0) = 0<br />

{ y<br />

c)<br />

′′ − 2y ′ + 2y = 0<br />

{ y (0) = 0, y ′ (0) = 1<br />

y<br />

d)<br />

′′ − 4y ′ + 4y = 0<br />

y (0) = 1, y ′ (0) = 1<br />

75


5.3 Aplicação: PVI’s com Dados Descontínuos<br />

Definição: A função<br />

dada por<br />

é chamada <strong>de</strong> Função Degrau.<br />

u c (t) =<br />

u c : R → R<br />

{<br />

0 se t < c<br />

1 se t ≥ c<br />

Exemplo:<br />

Po<strong>de</strong>mos expressar a função dada por<br />

⎧<br />

⎨ 0 se 0 ≤ t < π<br />

h (t) = 1 se π ≤ t < 2π<br />

⎩<br />

0 se t ≥ 2π<br />

utilizando a função <strong>de</strong>grau<br />

h (t) = u π (t) − u 2π (t)<br />

Proposição<br />

a)<br />

b)<br />

c)<br />

L (u c ) (s) = e−cs<br />

s , s > 0<br />

L (u c (t) f (t − c)) (s) = e −cs L (f) (s)<br />

F (s) = L (f) (s) , s > a ≥ 0 ⇒ L −1 ( e −cs F (s) ) (t) = u c (t) f (t − c)<br />

d)<br />

F (s) = L (f) (s) , s > a ≥ 0 ⇒ L ( e ct f (t) ) (s) = F (s − a)<br />

e)<br />

F (s) = L (f) (s) , s > a ≥ 0 ⇒ L −1 (F (s − a)) = e ct f (t)<br />

Prova:<br />

Basta efetuar o cálculo.<br />

Exemplos:<br />

1) Vamos calcular a transformada <strong>de</strong><br />

{<br />

sin t, 0 ≤ t < π<br />

f (t) =<br />

4<br />

sin t + cos ( )<br />

t − π 4 , t ≥<br />

π<br />

4<br />

76


Inicialmente observamos que<br />

e aplicando as proprieda<strong>de</strong>s obtemos<br />

f (t) = sin t + u π<br />

4 (t) cos (t − π 4<br />

L (f) (s) = 1<br />

s 2 + 1 + e− π 4 s s<br />

s 2 + 1<br />

)<br />

2) Calculemos a transformada inversa <strong>de</strong><br />

Temos<br />

F (s) = 1 − e−2s<br />

s 2<br />

F (s) = 1 s 2 − e−2s 1 s 2<br />

e assim<br />

on<strong>de</strong><br />

Assim<br />

L −1 (F (s)) (t) = t − u 2 (t) f (t − 2)<br />

f (t) = L −1 ( 1<br />

s 2 )<br />

= t<br />

L −1 (F (s)) (t) = t − u 2 (t) (t − 2)<br />

3) Calculemos a transformada inversa <strong>de</strong><br />

on<strong>de</strong><br />

Temos<br />

Assim<br />

G (s) =<br />

1<br />

s 2 − 4s + 5<br />

1<br />

G (s) =<br />

(s − 2) 2 = F (s − 2)<br />

+ 1<br />

F (s) = 1<br />

s 2 + 1<br />

L −1 (G (s)) (t) = L −1 (F (s − 2)) (t) = e ct L −1 (F (s)) = e 2t sin t<br />

4) Vamos resolver o PVI<br />

{ 2y ′′ + y ′ + 2y = u 5 (t) − u 20 (t)<br />

y (0) = y ′ (0) = 0<br />

77


Usando transformada temos<br />

Y (s) = L (y (t)) (s)<br />

2s 2 Y (s) + sY (s) + 2Y (s) = e−5s<br />

− e−20s<br />

s s<br />

Y (s) =<br />

e−5s − e −20s<br />

s (2s 2 + s + 2) = ( e −5s − e −20s) 1 1<br />

s 2s 2 + s + 2<br />

Denotamos<br />

H (s) = 1 1<br />

1<br />

s 2s 2 + s + 2 = 2<br />

s − 1 ( )<br />

s +<br />

1<br />

4<br />

( )<br />

2 s +<br />

1 2<br />

− 1 1<br />

4<br />

(<br />

4 +<br />

15 2<br />

16 s +<br />

1<br />

4<br />

[<br />

1<br />

h (t) = L −1 2<br />

s − 1 ( )<br />

]<br />

s +<br />

1<br />

4<br />

( )<br />

2 s +<br />

1 2<br />

− 1 1<br />

4<br />

( )<br />

4 +<br />

15 2<br />

16 s +<br />

1 2<br />

=<br />

4 +<br />

15<br />

16<br />

Assim<br />

= 1 2 − e − t 4 cos<br />

2<br />

( √15<br />

4 t )<br />

−<br />

e − t 4 sin<br />

( √15<br />

4 t )<br />

2 √ 15<br />

.<br />

) 2<br />

+<br />

15<br />

16<br />

y (t) = L −1 [( e −5s − e −20s) H (s) ] = u 5 (t) h (t − 5) − u 20 (t) h (t − 20) .<br />

6 Sistemas <strong>de</strong> Equações <strong>Diferenciais</strong> Ordinárias<br />

no Plano<br />

6.1 Introdução<br />

Um sistema <strong>de</strong> Equações <strong>Diferenciais</strong> Ordinárias no plano é um sistema da<br />

forma { x ′ = f(x, y, t)<br />

y ′ = g(x, y, t)<br />

on<strong>de</strong> f, g estão <strong>de</strong>finidas em algum subconjunto U ⊂ R 3 .<br />

Uma solução <strong>de</strong> um sistema como acima é uma curva diferenciável<br />

α : I ⊂ R → R 2 dada por α(t) = (x(t), y(t)) satisfazendo<br />

x ′ (t) = f(x(t), y(t), t) e y ′ (t) = g(x(t), y(t), t)<br />

O estudo clássico <strong>de</strong> EDO’s propunha resolver explicitamente as equações e<br />

ao longo dos séculos, foi <strong>de</strong>senvolvida uma quantida<strong>de</strong> enorme <strong>de</strong> técnicas para<br />

78


esolver vários tipos <strong>de</strong> EDO’s. É interessante lembrar, por exemplo, que a<br />

função exponencial nasceu como solução do PC (Problema <strong>de</strong> Cauchy)<br />

{ ẋ = x<br />

x (0) = 1 .<br />

Teorias <strong>de</strong>senvolvidas para resolver algumas equações, como a da Transformada<br />

Integral, em particular a Transformada <strong>de</strong> Laplace, traduzem a EDO em<br />

uma equação algébrica: se esta for solúvel então a Transformada Integral Inversa<br />

produz as soluções da EDO. Abel (1802-1829), por exemplo, entre tantas outras<br />

coisas, trabalhou em tais transformadas; acontece que se a equação algébrica<br />

resultante da transformada for <strong>de</strong> grau maior ou igual a 5, Abel mostrou que<br />

não se po<strong>de</strong> encontrar soluções explícitas por meio <strong>de</strong> radicais, o que invalida<br />

o ataque. Inúmeros casos <strong>de</strong> EDO’s continuam sendo estudados até hoje, mas<br />

foi POINCARÉ (1854-1912) que unificou enormemente a teoria das EDO’s, <strong>de</strong>senvolvendo<br />

o que se passou a <strong>de</strong>nominar a Teoria Qualitativa. O problema<br />

<strong>de</strong> Poincaré era que para as EDO’s da Mecânica Celeste que estudadava, os<br />

métodos quantitativos não eram suficientes sequer para começar o estudo. O<br />

que Poincaré <strong>de</strong>tectou é que, se por um lado a quantida<strong>de</strong> <strong>de</strong> EDO’s que se<br />

po<strong>de</strong> resolver no sentido estrito é relativamente pequeno, por outro lado, em<br />

compensação, com novos conceitos <strong>de</strong> análise, geometria e topologia, po<strong>de</strong>-se<br />

resolver uma equação no sentido qualitativo; ou seja enten<strong>de</strong>r as leis gerais <strong>de</strong><br />

comportamento das soluções, mesmo quando estas não são obtidas explicitamente.<br />

A partir <strong>de</strong> Poincaré, Liapunov e Birkhoff, a Teoria Qualitativa dos Sistemas<br />

Dinâmicos tem ocupado a atenção <strong>de</strong> inúmeros matemáticos. Mas foi em anos<br />

recentes que ela teve suas metas gerais estabelecidas, tomou forma e experimentou<br />

um <strong>de</strong>senvolvimento marcante. Mais <strong>de</strong> duas décadas se passaram entre dois<br />

pólos importantes: o trabalho <strong>de</strong> Andronov e Pontryagin (1937), introduzindo<br />

o conceito básico <strong>de</strong> estabilida<strong>de</strong> estrutural, e os trabalhos <strong>de</strong> Peixoto (1958-<br />

1962), provando a <strong>de</strong>nsida<strong>de</strong> <strong>de</strong> campos <strong>de</strong> vetores estáveis em superfícies. Foi<br />

então que Smale enriqueceu substancialmente a teoria , <strong>de</strong>finindo, como objetivo<br />

central, a busca <strong>de</strong> proprieda<strong>de</strong>s genéricas e estáveis, obtendo resultados<br />

e propondo problemas da maior relevância. Nesta mesma época , Hartman<br />

e Grobman mostraram que a estabilida<strong>de</strong> local é uma proprieda<strong>de</strong> genérica.<br />

Logo a seguir , Kupka e Smale atacaram, com sucesso, o problema para órbitas<br />

periódicas.<br />

Definição: Um sistema <strong>de</strong> Equações <strong>Diferenciais</strong> Ordinárias no plano é<br />

dito AUTÔNOMO quando for do tipo<br />

{ x ′ = f(x, y)<br />

y ′ (*)<br />

= g(x, y)<br />

on<strong>de</strong> f, g estão <strong>de</strong>finidas em um subconjunto U ⊂ R 2 .<br />

79


{<br />

x<br />

Exemplo:<br />

′ = sin(x) + 2y<br />

y ′ = x 2 + y 3<br />

é autônomo.<br />

Neste curso vamos estudar sistemas do tipo (*) com f, g ∈ C 1 em um<br />

aberto U ⊂ R 2 . Uma solução <strong>de</strong> (*) é uma curva α : I ⊂ R → R 2 dada por<br />

α(t) = (x(t), y(t)) satisfazendo<br />

x ′ (t) = f(x(t), y(t)) e y ′ (t) = g(x(t), y(t)).<br />

Observe que (f(x, y), g(x, y)) é o vetor velocida<strong>de</strong> da curva α em (x, y). De<br />

fato, sendo α(t) = (x(t), y(t)) temos que<br />

(f(x(t), y(t)), g(x(t), y(t))) = (x ′ (t), y ′ (t)) = α ′ (t).<br />

Assim o par (f, g) <strong>de</strong>fine um campo <strong>de</strong> vetores.<br />

{ x<br />

Exemplo:<br />

′ = 2x<br />

y ′ = −y<br />

As soluções são curvas que apresentam vetores tangentes como acima. Por<br />

exemplo, α(t) = (exp(2t), exp(−t)) é uma solução que passa pelo ponto (1, 1)<br />

quando t = 0. Note também que α(t) = (− exp(2t), exp(−t)) é uma solução que<br />

passa por (−1, 1) quando t = 0.<br />

Definição: Um PROBLEMA DE VALOR INICIAL (PVI) é um sistema<br />

(∗) acompanhado <strong>de</strong> uma condição inicial : x(t 0 ) = x 0 , y(t 0 ) = y 0 .<br />

Observe que no exemplo temos que fixado um ponto do plano existe uma<br />

única curva que é solução do sistema e que passa por este ponto. Dizemos que<br />

uma solução do PVI é uma ”trajetória” ou ”órbita” que em tempo t 0 passa<br />

por (x 0 , y 0 ).<br />

É fácil vermos que o traço da curva que passa por (x 0 , y 0 ) no tempo t 0 é<br />

o mesmo que o da curva que passa por (x 0 , y 0 ) em um tempo t 1 . Desta forma<br />

vamos consi<strong>de</strong>rar somente PVI’s com condição inicial<br />

x(0) = x 0 , y(0) = y 0 . (**)<br />

Teorema (Existência e Unicida<strong>de</strong>): Suponhamos que f, g ∈ C 1 em<br />

U ⊂ R 2 aberto. Então, para qualquer (x 0 , y 0 ) ∈ U, existe uma única curva<br />

α : I → R 2 , on<strong>de</strong> I é um intervalo contendo 0, dada por α(t) = (x(t), y(t))<br />

satisfazendo (*) e (**).<br />

Não iremos <strong>de</strong>monstrar este teorema neste curso.<br />

80


Definição: O retrato <strong>de</strong> fase do sistema (*) é a união <strong>de</strong> todos os traços<br />

das trajetórias <strong>de</strong>ste sistema.<br />

Definição:Uma singularida<strong>de</strong> <strong>de</strong> (*) é um ponto que satisfaz<br />

f(x, y) = g(x, y) = 0.<br />

Exemplos: { x<br />

1)<br />

′ = 2x<br />

y ′ apresenta como soluções α(t) = (x<br />

= −y<br />

0 e 2t , y 0 e −t ).<br />

singularida<strong>de</strong> do sistema é o ponto (0, 0).<br />

A única<br />

2)<br />

{ x ′ = αx<br />

y ′ = βy<br />

apresenta como soluções α(t) = (x 0 e αt , y 0 e βt ).<br />

i) α = 0, β > 0 ou α = 0, β < 0 : Neste caso o eixo 0X é composto <strong>de</strong><br />

singularida<strong>de</strong>s do sistema.<br />

ii)α > 0, β = 0 ou α < 0, β = 0 : Neste caso o eixo 0Y é composto <strong>de</strong><br />

singularida<strong>de</strong>s.<br />

iii) α = β > 0 ou α > β > 0 ou 0 < α < β : Neste caso a origem (0, 0)<br />

é a única singularida<strong>de</strong>. O primeiro é conhecido como FONTE e os seguintes<br />

NÓS REPULSORES. Se α > β > 0 as trajetórias (exceto as que possuem traço<br />

contido no eixo 0X) tangenciam o eixo 0Y e se 0 < α < β as trajetórias (exceto<br />

as que possuem traço contido no eixo 0Y ) tangenciam o eixo 0X.<br />

iv) α = β < 0 ou α < β < 0 ou β < α < 0 : Neste caso a origem (0, 0)<br />

é a única singularida<strong>de</strong>. O primeiro é conhecido como POÇO e os seguintes<br />

NÓS ATRATORES. Se α < β < 0 as trajetórias (exceto as que possuem traço<br />

contido no eixo 0X) tangenciam o eixo 0Y e se β < α < 0 as trajetórias (exceto<br />

as que possuem traço contido no eixo 0Y ) tangenciam o eixo 0X.<br />

v) β < 0 < α ou α < 0 < β : Neste caso a origem (0, 0) é a única<br />

singularida<strong>de</strong>. Este caso é conhecido como SELA. No primeiro caso as trajetórias<br />

aproximam-se do eixo 0Y quando o parâmetro t aproxima-se <strong>de</strong> −∞ e<br />

aproximam-se do eixo 0X quando o parâmetro t aproxima-se <strong>de</strong> +∞; no segundo<br />

caso as trajetórias aproximam-se do eixo 0X quando o parâmetro t aproxima-se<br />

<strong>de</strong> −∞ e aproximam-se do eixo 0Y quando o parâmetro t aproxima-se <strong>de</strong> +∞.<br />

81


{<br />

x<br />

3)<br />

′ = y<br />

y ′ = 8xy<br />

. Temos que<br />

x ′ = y, y ′ = 8xy ⇒ y′ dy<br />

= 8x ⇒<br />

x<br />

′<br />

dx = 8x ⇒ y = 4x2 + C<br />

Assim as trajetórias possuem seus traços contidos nos gráficos das funções<br />

da família acima. Além disso é fácil verificar que o eixo 0X é composto <strong>de</strong><br />

singularida<strong>de</strong>s.<br />

Definição (FLUXO OU SISTEMA DINÂMICO): Uma família <strong>de</strong><br />

funções<br />

ϕ t : R 2 → R 2 , t ∈ R<br />

satisfazendo<br />

a) ϕ t é contínua,<br />

b) ϕ 0 = id,<br />

c) ϕ t+s = ϕ t ◦ ϕ s<br />

é um FLUXO ou SISTEMA DINÂMICO no plano.<br />

Exemplo: Suponhamos que as soluções <strong>de</strong><br />

{<br />

x ′ = f(x, y)<br />

y ′ = g(x, y)<br />

(*)<br />

estejam globalmente <strong>de</strong>finidas.<br />

Seja ϕ a aplicação<br />

ϕ : R 2 × R → R 2<br />

(P, t) ↦→ ϕ(P, t) = (x(t), y(t))<br />

on<strong>de</strong> (x(t), y(t)) é a solução <strong>de</strong> (∗) satisfazendo (x(0), y(0)) = P. É fácil verificar<br />

que a família ϕ t dada por ϕ t (P ) = ϕ(P, t) satisfaz a <strong>de</strong>finição <strong>de</strong> fluxo.<br />

6.2 Sistemas <strong>de</strong> EDO’S Lineares no Plano<br />

——-<br />

{ x<br />

Um sistema <strong>de</strong> edo’s lineares no plano é um sistema da forma<br />

′ = ax + by<br />

y ′ = cx + dy ,<br />

com x(0) = x 0 , y(0) = y 0 on<strong>de</strong> a, b, c, d ∈ R. Para simplificarmos a notação representaremos<br />

estes sistemas na forma matricial:<br />

[ ] [ ]<br />

x a b<br />

X = A = X ′ =<br />

y c d<br />

X ′ = AX, X(0) =<br />

[<br />

x0<br />

y 0<br />

]<br />

[ x<br />

′<br />

y ′ ]<br />

(∗)<br />

82


Nosso objetivo é estudar todos os tipos <strong>de</strong> sistemas lineares no plano. Para<br />

isto é necessário que façamos uma classificação das matrizes 2 × 2. O polinômio<br />

característico <strong>de</strong> A é o polinômio dado por<br />

p(λ) =<br />

∣ a − λ b<br />

c d − λ ∣ = λ2 − (trA)λ + <strong>de</strong>t A.<br />

Assim as soluções <strong>de</strong> p(λ) = 0 po<strong>de</strong>m ser: duas raízes reais e distintintas:<br />

λ 1 , λ 2 ; uma raiz real dupla: λ; ou um par complexo conjugado: α + iβ, α − iβ.<br />

No primeiro caso dizemos que λ 1 , λ 2 são auto-valores e po<strong>de</strong>mos encontrar<br />

uma base B do plano formada por auto-vetores <strong>de</strong> tal forma que<br />

[ ]<br />

λ1 0<br />

[A] B<br />

=<br />

.<br />

0 λ 2<br />

No segundo caso temos duas possibilida<strong>de</strong>s. Se a multiplicida<strong>de</strong> geométrica<br />

<strong>de</strong> λ for igual a 2 então po<strong>de</strong>mos encontrar uma base B do plano formada por<br />

auto-vetores <strong>de</strong> tal forma que<br />

[A] B<br />

=<br />

[ λ 0<br />

0 λ<br />

Se a multiplicida<strong>de</strong> geométrica <strong>de</strong> λ for igual a 1 então po<strong>de</strong>mos encontrar uma<br />

base B do plano formada por auto-vetores <strong>de</strong> tal forma que<br />

[ ] λ 1<br />

[A] B<br />

= .<br />

0 λ<br />

No terceiro caso encontramos um vetor <strong>de</strong> C 2 satisfazendo A(u + iv) =<br />

(α + iβ)(u + iv). Além disso B = {u, v} é uma base do plano satisfazendo<br />

[ ] α −β<br />

[A] B<br />

=<br />

.<br />

β α<br />

]<br />

.<br />

Consi<strong>de</strong>re o sistema (*). Temos:<br />

[ ]<br />

λ1 0<br />

i) Se [A] =<br />

então a solução <strong>de</strong> (*) é dada por (x(t), y(t)) =<br />

0 λ 2<br />

= (x 0 e λ1t , y 0 e λ2t ). Na seção anterior já esboçamos os possíveis retratos <strong>de</strong> fase.<br />

[ ] λ 1<br />

ii) Se [A] =<br />

então a solução <strong>de</strong> (*) é dada por (x(t), y(t)) =<br />

0 λ<br />

= ((x 0 + y 0 t)e λt , y 0 e λt ).<br />

Se λ < 0 , a única singularida<strong>de</strong> (0, 0) é chamada <strong>de</strong> NÓ IMPRÓPRIO<br />

ATRATOR:<br />

83


Se λ > 0 , a única singularida<strong>de</strong> (0, 0) é chamada <strong>de</strong> NÓ IMPRÓPRIO<br />

REPULSOR:<br />

[ ] α −β<br />

iii) Vamos analisar o caso A =<br />

.<br />

β α<br />

Vamos utilizar coor<strong>de</strong>nadas polares para encontrarmos explicitamente as<br />

soluções. Começamos com a mudança x = r cos θ e y = r sin θ .<br />

As condições iniciais r 0 , θ 0 serão dadas por x 0 = r 0 cos θ 0 e y 0 = r 0 sin θ 0 .<br />

Assim temos<br />

x = r cos θ ⇒ x ′ = r ′ cos θ − rθ ′ sin θ (1)<br />

y = r sin θ ⇒ y ′ = r ′ sin θ + rθ ′ cos θ<br />

Multiplicando a primeira linha por (cos θ) e a segunda por (sin θ) e em<br />

seguida somando as duas linhas obtemos<br />

x ′ cos θ + y ′ sin θ = r ′ (**)<br />

Multiplicando a primeira linha por (− sin θ) e a segunda por (cos θ) e em<br />

seguida somando as duas linhas obtemos<br />

Substituindo (*) em (**) e em (***) obtemos<br />

{ r ′ = αr<br />

θ ′ = β .<br />

A solução do sistema acima é dada por<br />

Voltando para x, y temos<br />

−x ′ sin θ + y ′ cos θ = rθ ′ (***)<br />

r = r 0 e αt<br />

θ = θ 0 + βt<br />

x(t) = e αt (x 0 cos βt − y 0 sin βt)<br />

y(t) = e αt (y 0 cos βt + x 0 sin βt)<br />

Se α = 0 a singularida<strong>de</strong> (0, 0) é chamada <strong>de</strong> CENTRO. Se β > 0 o campo<br />

<strong>de</strong> vetores é do tipo<br />

Note que a diferença entre este e o <strong>de</strong> cima está na orientação.<br />

Se α > 0 a singularida<strong>de</strong> (0, 0) é chamada <strong>de</strong> FOCO REPULSOR, no sentido<br />

anti-horário se β > 0 e no sentido horário se β < 0.<br />

Se β > 0 o campo <strong>de</strong> vetores é do tipo<br />

84


Se β < 0 o campo <strong>de</strong> vetores é do tipo<br />

Se α < 0 a singularida<strong>de</strong> (0, 0) é chamada <strong>de</strong> FOCO ATRATOR, no sentido<br />

anti-horário se β > 0 e no sentido horário se β < 0.<br />

Se β > 0 o campo <strong>de</strong> vetores é do tipo<br />

Se β < 0 então o campo <strong>de</strong> vetores é do tipo<br />

Observe que o sinal <strong>de</strong> α <strong>de</strong>termina se a singularida<strong>de</strong> é atratora ou repulsora.<br />

Já o sinal <strong>de</strong> β está relacionado com o sentido da rotação.<br />

Exemplos on<strong>de</strong> A não está na forma canônica:<br />

1) Consi<strong>de</strong>re o seguinte sistema<br />

[ ]<br />

X ′ 1 −1<br />

=<br />

X.<br />

−2 0<br />

Seu polinômio característico é dado por p(λ) = λ 2 − λ − 2 , e as raízes<br />

<strong>de</strong>ste polinômio são 2 e −1. Os auto-vetores associados aos auto-valores são<br />

respectivamente (1, −1) e (1, 2).<br />

Consi<strong>de</strong>ramos a base formada por estes auto-vetores: B = {(1, −1), (1, 2)}.<br />

Temos então<br />

[ ]<br />

[ ]<br />

[ ]<br />

y1<br />

x1<br />

Y = = P X = P , P −1 1 1<br />

=<br />

y 2 x 2 −1 2<br />

[<br />

Y ′ = P X ′ = P<br />

Assim<br />

1 −1<br />

−2 0<br />

]<br />

X = P<br />

[<br />

1 −1<br />

−2 0<br />

(y 1 (t), y 2 (t)) = (ae 2t , be −t )<br />

]<br />

P −1 Y =<br />

(x 1 (t), x 2 (t)) = (ae 2t + b −t , −ae 2t + 2be −t ).<br />

2) Consi<strong>de</strong>re o seguinte sistema<br />

X ′ =<br />

[ 0 −2<br />

1 2<br />

]<br />

X.<br />

[ 2 0<br />

0 −1<br />

Seu polinômio característico é dado por p(λ) = λ 2 − 2λ + 2 e as raízes <strong>de</strong>ste<br />

polinômio são 1 + i e 1 − i. O auto-vetor complexo associado ao auto-valor 1 + i<br />

é (1 + i, −i).<br />

Consi<strong>de</strong>ramos a base formada pelas partes real e imaginária: B = {(1, 0), (1, −1)}.<br />

Temos então<br />

[<br />

y1<br />

]<br />

Y = = P X = P<br />

y 2<br />

[<br />

Y ′ = P X ′ 0 −2<br />

= P<br />

1 2<br />

[<br />

x1<br />

]<br />

x 2<br />

]<br />

X = P<br />

[ ]<br />

, P −1 1 1<br />

=<br />

0 −1<br />

[ ] 0 −2<br />

P −1 Y =<br />

1 2<br />

[ 1 −1<br />

1 1<br />

]<br />

Y<br />

]<br />

Y.<br />

85


Logo<br />

(y 1 (t), y 2 (t)) = (ae t cos t − be t sin t, be t cos t + ae t sin t)<br />

(x 1 (t), x 2 (t)) = ((a + b)e t cos t + (a − b)e t sin t, −be t cos t − ae t sin t).<br />

Dado um sistema linear<br />

X ′ = AX<br />

po<strong>de</strong>mos classificar a singularida<strong>de</strong> (0, 0) a partir do polinômio característico <strong>de</strong><br />

A.<br />

p(λ) = λ 2 − (tra A)λ + <strong>de</strong>t A<br />

∆ = (tra A) 2 − 4 <strong>de</strong>t A<br />

∆ <strong>de</strong>t tra (0, 0)<br />

> 0 < 0 ∈ R SELA<br />

> 0 > 0 < 0 NÓ AT RAT OR<br />

> 0 > 0 > 0 NÓ REP ULSOR<br />

< 0 ∈ R = 0 CENT RO<br />

< 0 ∈ R < 0 F OCO AT RAT OR<br />

< 0 ∈ R > 0 F OCO REP ULSOR<br />

= 0 ∈ R > 0 NÓ REP ULSOR<br />

= 0 ∈ R < 0 NÓ AT RAT OR<br />

6.3 Noções <strong>de</strong> Estabilida<strong>de</strong> Local<br />

Consi<strong>de</strong> o sistema <strong>de</strong> EDO’s<br />

{ x ′ = f(x, y)<br />

y ′ = g(x, y)<br />

(*)<br />

on<strong>de</strong> f, g ∈ C 1 em um aberto U ⊂ R 2 .<br />

Definição: Uma singularida<strong>de</strong> (x 1 , y 1 ) <strong>de</strong> (*) é dita:<br />

a) ESTÁVEL se (∀ε > 0, ∃δ > 0)tal que<br />

(||(x(0), y(0)) − (x 1 , y 1 )|| < δ ⇒ ||(x(t), y(t)) − (x 1 , y 1 )|| < ε, ∀t > 0)<br />

b) INSTÁVEL se não for estável.<br />

c) ASSINTOTICAMENTE ESTÁVEL se<br />

∃ε > 0tal que<br />

(||(x(0), y(0)) − (x 1 , y 1 )|| < ε ⇒ lim<br />

t→+∞ (x(t), y(t)) = (x 1, y 1 ))<br />

86


d) ASSINTOTICAMENTE INSTÁVEL se<br />

∃ε > 0tal que<br />

(||(x(0), y(0)) − (x 1 , y 1 )|| < ε ⇒ lim<br />

t→−∞ (x(t), y(t)) = (x 1, y 1 ))<br />

Exemplos:<br />

{ x<br />

1) A singularida<strong>de</strong> (0, 0) <strong>de</strong><br />

′ = 2x<br />

y ′ = −4y é instável.<br />

{ x<br />

2) A singularida<strong>de</strong> (0, 0) <strong>de</strong><br />

′ = −y<br />

y ′ é estável.<br />

{<br />

= x<br />

x<br />

3) A singularida<strong>de</strong> (0, 0) <strong>de</strong><br />

′ = −x − y<br />

y ′ é assintoticamente estável.<br />

{<br />

= x − y<br />

x<br />

4) A singularida<strong>de</strong> (0, 0) <strong>de</strong><br />

′ = x − y<br />

y ′ é assintoticamente instável.<br />

{<br />

= x + y<br />

x<br />

5)A singularida<strong>de</strong> (0, 0) <strong>de</strong><br />

′ = −2x<br />

y ′ é assintoticamente estável.<br />

= −y<br />

Observação:<br />

Dado o campo <strong>de</strong> vetores linear<br />

X ′ = AX<br />

temos que :<br />

a) A singularida<strong>de</strong> (0, 0) é assintoticamente estável se e somente se os autovalores<br />

<strong>de</strong> A tiverem partes reais negativas.<br />

b) A singularida<strong>de</strong> (0, 0) é assintoticamente instável se e somente se os autovalores<br />

<strong>de</strong> A tiverem partes reais positivas.<br />

6.4 Sistemas <strong>de</strong> EDO’s não Lineares no Plano<br />

Nesta seção vamos dar uma pequena noção do comportamento qualitativo<br />

<strong>de</strong> alguns sistemas <strong>de</strong> edo’s não lineares no plano.<br />

Definição: Dois campos vetoriais X, Y <strong>de</strong>finidos em abertos U e V <strong>de</strong> R 2 ,<br />

respectivamente, são ditos TOPOLOGICAMENTE EQUIVALENTES quando<br />

existe um homeomorfismo h : U → V que leva órbitas <strong>de</strong> X em órbitas <strong>de</strong> Y<br />

preservando a orientação.<br />

Observações:<br />

1) Se a aplicação h da <strong>de</strong>finição acima for <strong>de</strong> classe C r dizemos que X e Y<br />

são C r −EQUIVALENTES.<br />

2) Denotando ϕ e ψ os fluxos <strong>de</strong> X e Y, respectivamente, dizemos que h é<br />

uma CONJUGAÇÃO TOPOLÓGICA se h(ϕ(t, x, y)) = ψ(t, h(x, y)).<br />

3) Se a aplicação h <strong>de</strong> 2) for <strong>de</strong> classe C r dizemos que X e Y são C r −CONJUGADOS.<br />

87


Exemplo: Consi<strong>de</strong>remos os campos <strong>de</strong> vetores dados por X = (x, −y) e<br />

Y = (x, −y + x 3 )<br />

Seus fluxos são dados respectivamente por ϕ(t, x, y) = (xe t , ye −t ) e ψ(t, x, y)<br />

= (xe t , (y − x3<br />

4 )e−t + x3<br />

4 e3t ) .<br />

A aplicação h : R 2 → R 2 dada por h(x, y) = (x, y + x3<br />

4<br />

) <strong>de</strong>fine uma<br />

C r −Conjugação.<br />

Teorema do Fluxo Tubular: Sejam X : U → R 2 , U ⊂ R 2 aberto e p ∈ U<br />

um ponto regular <strong>de</strong> X ∈ C k . Então existe um difeomorfismo <strong>de</strong> classe C k que<br />

conjuga X em uma vizinhança <strong>de</strong> p com o campo constante Y = (1, 0) restrito<br />

a uma vizinhança da origem (0, 0).<br />

Demonstração: Daremos apenas uma idéia <strong>de</strong> como construir o difeomorfismo<br />

. Como p é um ponto regular existe uma seção transversal ao campo por<br />

p isto é, existe uma aplicação<br />

satisfazendo<br />

<br />

A difeomorfismo será dado por<br />

ξ : (−δ, δ) → R 2<br />

ξ (0) = p<br />

Iξ ′ (s) ⊕ X (ξ (s)) = R 2 , ∀s ∈ (−δ, δ) .<br />

h (t, s) = ϕ(t, ξ (s)).<br />

Definição: Um ponto singular p <strong>de</strong> um campo vetorial X = (f, g) <strong>de</strong> classe<br />

C 1 chama-se HIPERBÓLICO se os auto-valores <strong>de</strong><br />

[ ∂f<br />

∂x<br />

JX(p) =<br />

(p) ∂f<br />

∂y (p)<br />

]<br />

∂g<br />

∂x (p) ∂g<br />

∂y (p)<br />

tem parte real diferente <strong>de</strong> zero.<br />

É imediato verificarmos que (0, 0) é uma singularida<strong>de</strong> hiperbólica do campo<br />

linear X ′ = AX se e somente se os auto-valores <strong>de</strong> A tem parte real não nula.<br />

Como vimos anteriormente, as fontes, os poços, os nós , as selas e os focos<br />

são hiperbólicos. Já o centro nos fornece um exemplo <strong>de</strong> singularida<strong>de</strong> não<br />

hiperbólica.<br />

Uma singularida<strong>de</strong> não <strong>de</strong>ixa <strong>de</strong> ser hiperbólica se perturbarmos ligeiramente<br />

o campo <strong>de</strong> vetores. O mesmo não ocorre com o centro, como vimos com o<br />

exemplo<br />

X(x, y) = (−x −<br />

X(0, 0) = (0, 0)<br />

y<br />

ln √ (x 2 + y 2 ) , −y + x<br />

ln √ (x 2 + y 2 ) )<br />

88


Note que a parte linear na origem é um centro e no entanto a origem é um<br />

foco do sistema acima.<br />

Teorema <strong>de</strong> Grobman & Hartman : Sejam X = (f, g) : U → R 2 ,<br />

U ⊂ R 2 aberto , um campo vetorial <strong>de</strong> classe C 1 e p ∈ U um ponto singular<br />

hiperbólico. Existem vizinhanças V <strong>de</strong> p em U e W <strong>de</strong> (0, 0) em R 2 tais que<br />

X|V é topologicamente conjugado a JX(p) restrito a W.<br />

Exemplos:<br />

⎧<br />

⎨ x ′ = −x −<br />

1) Consi<strong>de</strong>remos o seguinte sistema<br />

⎩ y ′ = −y +<br />

√ y<br />

ln (x 2 +y 2 )<br />

√ x<br />

ln (x 2 +y 2 )<br />

Vamos utilizar coor<strong>de</strong>nadas polares para enten<strong>de</strong>r seu retrato <strong>de</strong> fase:<br />

x = r cos θ<br />

y = r sin θ<br />

Assim temos<br />

r ′ cos θ − r sin θθ ′ = x ′ = −r cos θ − r sin θ<br />

ln r<br />

r ′ sin θ + r cos θθ ′ = y ′ = −r sin θ + r cos θ<br />

ln r<br />

Multiplicando a primeira equação por (cos θ) e a segunda por (sin θ) e finalmente<br />

somando as duas obtemos<br />

r ′ = −r.<br />

Multiplicando a primeira equação por (− sin θ) e a segunda por (cos θ) e<br />

finalmente somando as duas obtemos<br />

rθ ′ =<br />

θ ′ =<br />

r<br />

ln r<br />

1<br />

ln r<br />

e assim nosso sistema fica<br />

{ r ′ = −r<br />

θ ′ = 1<br />

ln r<br />

e temos<br />

r(t) = c exp(−t), c > 0<br />

θ ′ (t) =<br />

1<br />

ln c − t<br />

Claramente vemos que o retrato <strong>de</strong> fase apresenta um foco atrator com<br />

sentido horário na origem. Note que a parte linear do sistema apresenta um nó<br />

atrator na origem.<br />

89


{ x<br />

2) Consi<strong>de</strong>remos o seguinte sistema<br />

′ = −y − x √ (x 2 + y 2 )<br />

y ′ = x − y √ (x 2 + y 2 )<br />

coor<strong>de</strong>nadas polares temos<br />

. Utilizando<br />

r ′ cos θ − r sin θθ ′ = x ′ = −r sin θ − r 2 cos θ<br />

r ′ sin θ + r cos θθ ′ = y ′ = r cos θ − r 2 sin θ<br />

r ′ = −r 2<br />

rθ ′ = r<br />

e assim nosso sistema fica { r ′ = −r 2<br />

θ ′ = 1<br />

Assim<br />

r(t) = 1 , θ(t) = t + θ 0<br />

t + c<br />

Claramente vemos que o retrato <strong>de</strong> fase apresenta um foco atrator com<br />

sentido anti-horário na origem. Note que a parte linear do sistema apresenta<br />

um centro na origem.<br />

3) ( O Pêndulo Simples sem Atrito)<br />

Consi<strong>de</strong>remos um corpo <strong>de</strong> massa m preso na haste <strong>de</strong> um pêndulo.<br />

Suponhamos que a haste tenha comprimento l. Vamos <strong>de</strong>screver o movimento<br />

do corpo em cima da circunferência <strong>de</strong> raio l. Se o ângulo que a haste faz<br />

com a posição <strong>de</strong> equilíbrio é θ então o comprimento <strong>de</strong> circunferência percorrido<br />

é<br />

s (t) = lθ (t)<br />

A aceleração será dada por<br />

s ′′ (t) = lθ ′′ (t)<br />

Vamos supor que a única força que atua no corpo seja a componente tangencial<br />

da gravida<strong>de</strong> g:<br />

F (s, s ′ ) = −mg sin s l<br />

Assim temos, pela segunda Lei <strong>de</strong> Newton<br />

mlθ ′′ = −mg sin θ<br />

e portanto a equação diferencial que <strong>de</strong>screve o movimento do corpo é<br />

θ ′′ + g l<br />

sin θ = 0.<br />

Fazendo<br />

obtemos o sistema<br />

x = θ, y = θ ′<br />

{<br />

x ′ = y<br />

y ′ = − g l sin θ .<br />

90


Os pontos singulares do campo <strong>de</strong> vetores são (kπ, 0) , k ∈ Z.<br />

A matriz jacobiana <strong>de</strong> X é dada por<br />

[ ]<br />

0 1<br />

JX(x, y) =<br />

− g l<br />

0<br />

Para (x, y) = (kπ, 0) , k ∈ Z, par, a singularida<strong>de</strong> (0, 0) é um centro da<br />

jacobiana e para k ímpar a singularida<strong>de</strong> (0, 0) será uma sela.<br />

Para visualizarmos o retrato <strong>de</strong> fase dividimos y ′ por x ′ e obtemos<br />

dy<br />

dx = − g l sin x<br />

y<br />

e assim concluímos que as soluções estão contidas nas curvas <strong>de</strong> nível <strong>de</strong><br />

V (x, y) = y2<br />

2 − g l cos x<br />

Teorema: Seja p um ponto singular isolado <strong>de</strong> um campo <strong>de</strong> vetores X ∈<br />

C 1 . Se os auto-valores <strong>de</strong> JX(p) têm partes reais negativas então p é uma<br />

singularida<strong>de</strong> assintoticamente estável e se houver um auto-valor com parte real<br />

positiva então p é um ponto singular instável.<br />

Exemplos:<br />

1) Utilizando o teorema acima po<strong>de</strong>mos classificar as singularida<strong>de</strong>s <strong>de</strong><br />

X (x, y) = ( x 2 + y 2 − 6, x 2 − y ) .<br />

Temos que os pontos singulares são (√ 2, 2 ) e ( − √ 2, 2 ) . Temos<br />

(√ )<br />

JX 2, 2<br />

(<br />

JX − √ )<br />

2, 2<br />

=<br />

=<br />

[ √ ]<br />

2 2 4<br />

2 √ 2 −1<br />

[ √ ]<br />

−2 2 4<br />

−2 √ 2 −1<br />

Como o <strong>de</strong>terminante da primeira é negativo então JX (√ 2, 2 ) tem um autovalor<br />

positivo e portanto a singularida<strong>de</strong> (√ 2, 2 ) é instável. Como o <strong>de</strong>terminante<br />

da segunda é positivo e o traço é negativo então JX (√ 2, 2 ) tem ambos<br />

auto-valores com partes reais negativas e portanto a singularida<strong>de</strong> ( − √ 2, 2 ) é<br />

assintoticamente estável.<br />

2) Seja X : R 2 → R 2 o campo <strong>de</strong>finido por<br />

X (x, y) = ( −x, −y 3) .<br />

Observe que a origem é a única singularida<strong>de</strong> <strong>de</strong> X e obtemos uma boa idéia<br />

<strong>de</strong> como <strong>de</strong>ve ser o retrato <strong>de</strong> fase.<br />

A origem parece ser assintoticamente estável mas o teorema anterior permanece<br />

mudo a respeito já que<br />

91


[<br />

−1 0<br />

JX (0, 0) =<br />

0 0<br />

]<br />

.<br />

Como provar que a origem é <strong>de</strong> fato assintoticamente estável<br />

6.5 Funções <strong>de</strong> Lyapounov<br />

Definição: Sejam X : U → R 2 um campo e V : U 0 → R uma função<br />

diferenciável. Para cada x ∈ U ∩ U 0 <strong>de</strong>finimos a <strong>de</strong>rivada <strong>de</strong> V na direção <strong>de</strong><br />

X por<br />

V X ′ (x) = V ′ (x) .X (x) = 〈gradV (x) , X (x)〉.<br />

Definição: Sejam X : U → R n um campo <strong>de</strong> classe C 1 no aberto U ⊆ R n<br />

com uma singularida<strong>de</strong> p ∈ U e V : U 0 → R uma função qualquer.<br />

Dizemos que V é uma FUNÇÃO DE LYAPOUNOV para X em p se e<br />

somente se:<br />

a) p ∈ U 0 ∩ U e V é diferenciável no aberto U 0 ⊆ R n ;<br />

b) Para todo x ∈ U 0 tem-se V (x) ≥ 0 com V (x) = 0 se e somente se x = p;<br />

c) Para todo x ∈ U 0 tem-se V X ′ (x) ≤ 0.<br />

Dizemos que V é uma FUNÇÃO DE LYAPOUNOV ESTRITA para X em<br />

p se e somente se V é uma FUNÇÃO DE LYAPOUNOV para X em p e<br />

∀x ∈ U ∩ U 0 : V ′ X (x) = 0 ⇔ x = p.<br />

Teorema: Seja X : U → R 2 um campo <strong>de</strong> classe C 1 no aberto U ⊆ R 2<br />

com uma singularida<strong>de</strong> p ∈ U.<br />

a) Se existe uma FL para X em p então p é uma singularida<strong>de</strong> estável <strong>de</strong><br />

X.<br />

b) Se existe uma FLE para X em p então p é uma singularida<strong>de</strong> assintoticamente<br />

estável <strong>de</strong> X.<br />

Exemplo: Seja<br />

X (x, y) = ( −x − xy 2 , −xy 2 − y 3) .<br />

É fácil verificar que a origem é a única singularida<strong>de</strong> <strong>de</strong> X. Como<br />

[ ] −1 0<br />

JX (0, 0) =<br />

0 0<br />

o primeiro teorema não se aplica.<br />

92


É fácil verificar que<br />

V (x, y) = x2 + y 2<br />

2<br />

é uma FLE para X em (0, 0) . Logo (0, 0) é uma singularida<strong>de</strong> assintoticamente<br />

estável.<br />

Corolário: Seja X : U → R 2 um campo <strong>de</strong> classe C 1 no aberto U ⊆ R 2<br />

com uma singularida<strong>de</strong> p ∈ U. Suponhamos que V : U 0 → R é uma FL para X<br />

em p tal que o conjunto<br />

Z = {z ∈ U ∩ U 0 |V ′ X (z) = 0}<br />

não contém nenhuma órbita positiva <strong>de</strong> X, exceto p, então p é uma singularida<strong>de</strong><br />

assintoticamente estável.<br />

Exemplo: Seja<br />

X (x, y) = ( y − x 3 , −x 3) .<br />

É fácil verificar que<br />

V (x, y) = x 4 + 2y 2<br />

é uma FL que não é FLE. Porém o corolário acima garante que (0, 0) é uma<br />

singularida<strong>de</strong> assintoticamente estável.<br />

6.6 Conjuntos Limites e o Teorema <strong>de</strong> Poincaré-Bendixon<br />

{ x<br />

Consi<strong>de</strong>remos um sistema <strong>de</strong> edo’s no plano<br />

′ = f(x, y)<br />

y ′ = g(x, y)<br />

<strong>de</strong> classe C 1 em U ⊂ R 2 aberto.<br />

Dizemos que Q ∈ ϖ(P ) ( Q está no ϖ-limite <strong>de</strong> P ) se<br />

on<strong>de</strong> f, g são<br />

∃t n → +∞ tal que ϕ(P, t n ) → Q<br />

on<strong>de</strong> ϕ(P, t n ) <strong>de</strong>nota o fluxo .<br />

Dizemos que Q ∈ α(P ) ( Q está no α-limite <strong>de</strong> P ) se<br />

∃t n → −∞ tal que ϕ(P, t n ) → Q.<br />

Na verda<strong>de</strong> o ϖ-limite e o α-limite <strong>de</strong>pen<strong>de</strong>m da órbita γ que passa por P.<br />

Assim mudaremos nossa notação para ϖ(γ) e α(γ).<br />

Exemplos:<br />

1) Consi<strong>de</strong>re a órbita γ do exemplo 1 da seção anterior:<br />

γ = {(0, 0)} ⇒ ϖ(γ) = α(γ) = {(0, 0)}<br />

γ ≠ {(0, 0)} ⇒ ϖ(γ) = {(0, 0)} e α(γ) = ∅<br />

93


{<br />

x<br />

2) Consi<strong>de</strong>re o seguinte sistema linear<br />

′ = x<br />

y ′ = −y<br />

. Temos:<br />

ϖ(1, 0) = ∅, α(1, 0) = {(0, 0)}<br />

ϖ(0, 1) = {(0, 0)}, α(0, 1) = ∅<br />

Algumas Proprieda<strong>de</strong>s:<br />

Se a semi-órbita positiva γ + (P ) é limitada então:<br />

conexo e invariante isto é<br />

ϖ(γ) ≠ ∅, é compacto;<br />

Q ∈ ϖ(γ) ⇒ ϕ(Q, t) ∈ ϖ(γ)<br />

Proprieda<strong>de</strong>s semelhante são satisfeitas pelo α−limite.<br />

Teorema (Poincaré-Bendixon): Se a semi-órbita positiva é limitada e o<br />

ϖ-limite não contém singularida<strong>de</strong>s então ele é uma órbita periódica ( isto é, é<br />

o traço <strong>de</strong> uma curva fechada).<br />

Não iremos provar o teorema mas iremos dar um exemplo <strong>de</strong> aplicação.<br />

Ressaltamos também que este teorema somente é válido no plano. Indicamos<br />

[S 2 ].<br />

Exemplo: Consi<strong>de</strong>re a seguinte edo <strong>de</strong> 2 a or<strong>de</strong>m<br />

x ′′ + (2x 2 + (x ′ ) 2 − 2)x ′ + x = 0.<br />

Observemos que esta equação sequer é linear. No entanto somos capazes <strong>de</strong><br />

provar que existe uma solução periódica. Começamos transformando a equação<br />

em um sistema:<br />

y = x ′<br />

y ′ = x ′′ = −(2x 2 + y 2 − 2)y − x<br />

{ x ′ = y<br />

y ′ = −(2x 2 + y 2 − 2)y − x .<br />

Vamos provar que existe uma órbita periódica no anel Ω = {(x, y)|1 <<br />

x 2 + y 2 < 3}.<br />

A única singularida<strong>de</strong> do sistema é (0, 0). Assim em Ω não temos singularida<strong>de</strong>s.<br />

Vamos provar que o anel é invariante pelo fluxo do sistema. Temos<br />

Assim temos<br />

d<br />

dt (x2 + y 2 ) = −2y 2 (2x 2 + y 2 − 2) (*)<br />

x 2 + y 2 = 3 ⇒ ∗ < 0<br />

x 2 + y 2 = 1 ⇒ ∗ > 0<br />

94


Logo, consi<strong>de</strong>rando P ∈ Ω, pelo Teorema <strong>de</strong> Poincaré-Bendixon, ϖ(P ) é<br />

uma órbita periódica.<br />

Exercícios<br />

1) Faça um esboço do comportamento dos seguintes campos lineares<br />

a) [ 1<br />

]<br />

2<br />

2<br />

b) [ −2<br />

2<br />

]<br />

c) [ 0 1<br />

0 0<br />

d) [ 1<br />

2<br />

−2<br />

2 0<br />

e) [ 0 1<br />

1 0<br />

f) [ −1 −1<br />

1 −1<br />

]<br />

]<br />

]<br />

]<br />

g) ⎡<br />

⎣ 1<br />

−1<br />

0<br />

⎤<br />

⎦<br />

h) ⎡<br />

⎣<br />

1<br />

−2<br />

2<br />

⎤<br />

⎦<br />

i) ⎡<br />

⎣ 0<br />

−1<br />

0<br />

⎤<br />

⎦<br />

j) ⎡<br />

⎣ −1 −1<br />

1 −1<br />

1<br />

⎤<br />

⎦<br />

95


2) Faça um esboço do comportamento dos seguintes campos polinomiais:<br />

a)X (x, y) = ( −x 2 , −2y 2) d)X (x, y) = ( −4x 3 + 6x 2 − 2x, −2y )<br />

b)X (x, y) = ( x 2 − y 2 , 2xy ) e)X (x, y) = ( x, −y + x 3)<br />

c)X (x, y) = ( x, x 3)<br />

3) Obtenha explicitamente a trajetória maximal <strong>de</strong> X : R n → R n por x 0 ∈<br />

R n e t 0 ∈ R arbitrários, nos seguintes casos:<br />

a)n = 1 e X (x) = x 2 d)n = 2 e X (x, y) = (2x, y)<br />

b)n = 2 e X (x, y) = (−y, x) e)n = 2 e X (x, y) = ( x 2 , 2y )<br />

c)n = 2 e X (x, y) = (−x, y) f)n = 3 e X (x, y, z) = ( −y, x, − 1 2 z)<br />

4) Escreva a EDO <strong>de</strong> segunda or<strong>de</strong>m como sistema autônomo plano e ache<br />

todos os pontos singulares:<br />

a)x ′′ + 9 sin x = 0 d)x ′′ + (x ′ ) 2 + 2x = 0<br />

b)x ′′ + x ′ (1 − x 3 ) − x 2 = 0 e)x ′′ + 4x<br />

1+x<br />

+ 2x ′ = 0<br />

2<br />

c)x ′′ + x = εx 3 , ε > 0<br />

5) Encontre as trajetórias e esboce o retrato <strong>de</strong> fase dos seguintes campos<br />

lineares:<br />

[ ] 1 2<br />

a)<br />

4 3<br />

[ ] −4 2<br />

b)<br />

− 5 2<br />

2<br />

[ ] 10 −5<br />

c)<br />

8 −12<br />

[ ] 0 2<br />

d)<br />

8 0<br />

[ 1<br />

]<br />

e) 2<br />

9<br />

1<br />

f)<br />

2<br />

2<br />

[ −6 2<br />

−3 1<br />

6) Usando coor<strong>de</strong>nadas polares encontre as trajetórias dos campos dados,<br />

passando pelos pontos dados. Descreva o comportamento geométrico.<br />

(<br />

a)X (x, y) = −y − x ( x 2 + y 2) 2 (<br />

, x − y x 2 + y 2) ) 2<br />

, p = (4, 0)<br />

b)X (x, y) = ( y + x ( x 2 + y 2) , −x + y ( x 2 + y 2)) , p = (4, 0)<br />

c)X (x, y) = ( −y + x ( 1 − x 2 − y 2) , x + y ( 1 − x 2 − y 2)) , p = (1, 0)<br />

(<br />

x (<br />

d)X (x, y) = y − √ 4 − x 2 − y 2) y (<br />

, −x − √ 4 − x 2 − y 2)) ,<br />

x2 + y 2 x2 + y 2<br />

p = (1, 0) e p = (2, 0)<br />

]<br />

96


7) Classifique a singularida<strong>de</strong> (0, 0) dos campos:<br />

[ ] [ ]<br />

−5 3<br />

−5 3<br />

a)<br />

d)<br />

[<br />

2 7<br />

] [<br />

2 −7<br />

]<br />

−5 3<br />

−5 3<br />

b)<br />

e)<br />

[<br />

−2 5<br />

] [<br />

−7 4<br />

]<br />

−<br />

3 1<br />

3 1<br />

c) 2 4<br />

−1 − 1 g) 2 4<br />

1<br />

2<br />

−1<br />

2<br />

8) Estabeleça condições sobre a constante µ <strong>de</strong> modo que (0, 0) seja um<br />

centro [ ] −µ 1<br />

.<br />

−1 µ<br />

9) Estabeleça condições sobre a constante µ <strong>de</strong> modo que (0, 0) seja um foco<br />

atrator [<br />

0 1<br />

]<br />

−1 µ<br />

10) Prove que (0, 0) é sempre uma singularida<strong>de</strong> repulsora <strong>de</strong><br />

[<br />

µ<br />

]<br />

1<br />

−1 1<br />

on<strong>de</strong> µ é uma constante real e µ ≠ 1. Quando é que (0, 0) é um ponto <strong>de</strong> sela<br />

E foco repulsor<br />

11) Seja γ = γ (t) uma trajetória do campo linear<br />

[ ]<br />

α −β<br />

β<br />

α<br />

passando por um ponto p 0 . Estabeleça condições sobre α e β que garantam que<br />

lim γ (t) = 0<br />

t→+∞<br />

12) Prove que (0, 0) é uma singularida<strong>de</strong> atratora do campo<br />

X (x, y) = ( αx − βy + y 2 , βx + αy − xy ) .<br />

13) Classifique as singularida<strong>de</strong>s dos campos:<br />

a)X (x, y) = (1 − 2xy, 2xy − y) e)X (x, y) = ( x 2 − y 2 − 1, 2y )<br />

b)X (x, y) = ( y − x 2 + 2, x 2 − xy ) f)X (x, y) = ( 2x − y 2 , −y + xy )<br />

c)X (x, y) = ( −3x + y 2 + 2, x 2 − y 2) g)X (x, y) = ( xy − 3y − 4, y 2 − x 2)<br />

d)X (x, y) = ( −2xy, y − x + xy − y 3)<br />

14) Prove que a equação diferencial não linear <strong>de</strong> 2 a or<strong>de</strong>m<br />

(<br />

1 + α 2 x 2) x ′′ +<br />

(<br />

β 2 + (x ′ ) 2) x = 0<br />

97


tem um ponto <strong>de</strong> sela em (0, 0) , quando β < 0.<br />

15) Prove que o campo <strong>de</strong> vetores<br />

X (x, y) = ( −αx + xy, 1 − βy − x 2)<br />

tem uma única singularida<strong>de</strong> quando αβ > 1 e que essa singularida<strong>de</strong> é atratora<br />

quando β > 0.<br />

16) Prove que a solução do PVI<br />

{ x ′′ + 2x − x 2 = 0<br />

x (0) = 1, x ′ (0) = 0<br />

é periódica.<br />

17) O sistema {<br />

x ′ = 3 ( x + y − 1 3 x3 − k )<br />

y ′ = − 1 3<br />

(x + 0.8y − 0.7)<br />

é um caso especial das equações <strong>de</strong> Fitzhugh-Nagumo, que mo<strong>de</strong>lam a transmissão<br />

<strong>de</strong> impulsos nervosos ao longo <strong>de</strong> um axônio. O parâmetro k é o estímulo<br />

externo.<br />

a) Para k = 0, mostre que existe apenas um ponto singular. Determine-o<br />

e mostre que se trata <strong>de</strong> um foco atrator. Repita a análise para k = 0.5 e<br />

mostre que a singularida<strong>de</strong> agora é um foco repulsor. Desenhe retratos <strong>de</strong> fase<br />

do sistema para os dois valores <strong>de</strong> k.<br />

b) Determine o valor k 0 para o qual a singularida<strong>de</strong> muda <strong>de</strong> atratora para<br />

repulsora. Desenhe o retrato <strong>de</strong> fase do sistema para o valor k 0 .<br />

c) Mostre que para k ≥ k 0 o sistema admite uma órbita periódica.<br />

d) Verifique que a órbita periódica existe para uma faixa <strong>de</strong> valores <strong>de</strong> k<br />

menores que k 0 . Determine o menor valor <strong>de</strong> k para o qual existe uma órbita<br />

periódica.<br />

18)<br />

a)Utilizando o Teorema <strong>de</strong> Green prove que se U 0 ⊆ U é um aberto simplesmente<br />

conexo e tal que div (X) não é i<strong>de</strong>nticamente nulo e nem troca <strong>de</strong> sinal<br />

em U 0 então X não possui órbita periódica inteiramente contida em U 0 .<br />

b) Prove que<br />

X (x, y) = ( y − x 3 , −x 3)<br />

não possui órbita periódica alguma. Esboce o retrato <strong>de</strong> fase e verifique que a<br />

não existência <strong>de</strong> órbitas periódicas não é óbvia.<br />

19) Verifique se a origem é uma singularida<strong>de</strong> estável ou até assintoticamente<br />

estável <strong>de</strong> cada um dos campos seguintes:<br />

a)X (x, y) = ( −2x − y 2 , −y − x 2)<br />

b)X (x, y) = ( −x − 2y 2 , −y 3 + xy )<br />

c)X (x, y) =<br />

(−x + 2x (x + y) 2 , −y 3 + 2y 3 (x + y) 2)<br />

d)X (x, y) = ( y − xy 2 , x 3)<br />

e)X (x, y) = ( x 3 − x − y, x )<br />

(<br />

f)X (x, y) = −x − x3<br />

3<br />

− 2 sin y, −y −<br />

y3<br />

3<br />

)<br />

98

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!