Existencia e Unicidade de Solucoes de Equacoes

Diferenciais Ordinarias

Reginaldo J. Santos
Departamento de Matematica-ICEx
Universidade Federal de Minas Gerais
http://www.mat.ufmg.br/regi

10 de julho de 2010
2 1 INTRODUCAO

Sumario
1 Introducao 2

2 Equacoes de 1a. Ordem 3

2.1 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6

3 Sistemas Lineares de 1a. Ordem 8

3.1 Existencia e Unicidade de Solucoes de Equacoes Lineares de 2a. Ordem . 11
3.2 Respostas dos Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12

1 Introducao
Apresentamos aqui demonstracoes auto-suficientes dos teoremas de existencia e uni-
cidade de solucoes de equacoes diferenciais, sistemas de equacoes diferencias lineares
e equacoes diferenciais lineares de 2a. ordem que nao requerem o uso de continuidade
uniforme.
 3

2 Equacoes de 1a. Ordem

Teorema 1 (Existencia e Unicidade). Considere o problema de valor inicial

dy
= f (t, y)
dt (1)
y ( t0 ) = y 0

f
Se f (t, y) e sao contnuas no retangulo
y

R = {(t, y) 2 < t < , < y < }

contendo (t0 , y0 ), entao o problema (1) tem uma unica solucao em um intervalo contendo t0 .

Demonstracao.

1. Existencia:
Defina a sequencia de funcoes yn (t) por
t
y0 ( t ) = y0 , y n ( t ) = y0 + f (s, yn1 (s))ds, para n = 1, 2, . . .
t0

Como f (t, y) e contnua no retangulo R, existe uma constante positiva b tal que

f (t, y) b, para (t, y) R.

Assim
y 1 ( t ) y 0 b t t0 , para < t < .
f
Como e contnua no retangulo R, existe uma constante positiva a (por que?)
y
tal que

f (t, y) f (t, z) a y z, para < t < e < y, z < .

4 2 EQUACOES DE 1A. ORDEM

Assim
t
y2 (t) y1 (t) f (s, y1 (s)) f (s, y0 (s))ds
t0
t t0 2
t t
a y1 (s) y0 ds ab s t0 ds = ab
t0 t0 2
e
t
y3 (t) y2 (t) f (s, y2 (s)) f (s, y1 (s))ds
t0
t
a y2 (s) y1 (s)ds
t0
s t0 2 t t0 3
t
2
a b ds = a2 b .
t0 2 6
Vamos supor, por inducao, que

t t0 n 1
yn1 (t) yn2 (t) an2 b .
( n 1) !
Entao
t
yn (t) yn1 (t) f (s, yn1 (s)) f (s, yn2 (s))ds
t0
t
a yn1 (s)) yn2 (s)ds
t0
s t0 n 1 t t0 n
t
a an 2 b ds = an1 b (2)
t0 ( n 1) ! n!
Estas desigualdades sao validas para < t < em que e sao tais
que < yn (t) < sempre que < t < (por que existem e ?).
Segue-se de (2) que

an 1 ( )n
yn (t) yn1(t) b n!
n =1 n =1

que e convergente. Como

n
y n ( t ) = y0 + (yk (t) yk1 (t)),
k=1
 5

entao yn (t) e convergente. Seja

y(t) = lim yn (t).
n

Como
m m
ak1 ( )k
ym (t) yn (t) yk (t) yk1 (t) b k!
,
k= n +1 k= n +1

entao passando ao limite quando m tende a infinito obtemos que

ak1 ( )k
y(t) yn (t) b (3)
k= n +1
k!

Logo dado um > 0, para n suficientemente grande, y(t) yn (t) < /3, para
< t < . Da segue-se que y(t) e contnua, pois dado um > 0, para s suficien-
temente proximo de t, temos que yn (t) yn (s) < /3 e para n suficientemente
grande y(t) yn (t) < /3 e y(s) yn (s) < /3, o que implica que
y(t) y(s) y(t) yn (t) + yn (t) yn (s) + yn (s) y(s) < .
Alem disso para < t < , temos que
t t t
lim f (s, yn (s))ds = f (s, lim yn (s))ds = f (s, y(s))ds,
n t0 t0 n t0

pois, por (3), temos que

 t t 
 
 f ( s, y n ( s )) ds f ( s, y ( s )) ds 
t0 t0
 
t
f (s, yn (s)) f (s, y(s))ds
t0
t
a yn (s) y(s)ds
t0

ak1 ( )k
ab(t t0 ) k!
k= n +1

que tende a zero quando n tende a infinito. Portanto

t
y(t) = lim yn (t) = y0 + lim f (s, yn1 (s))ds =
n n t0
t t
= y0 + f (s, lim yn1 (s))ds = y0 + f (s, y(s))ds
t0 n t0
6 2 EQUACOES DE 1A. ORDEM

Derivando em relacao a t esta equacao vemos que y(t) e solucao do problema de

valor inicial.

2. Unicidade:
Vamos supor que y(t) e z(t) sejam solucoes do problema de valor inicial. Seja
t
u(t) = y(s) z(s)ds.
t0

Assim, como
t t t t

y(t) = y (s)ds = f (s, y(s))ds, z(t) = z (s)ds = f (s, z(s))ds,
t0 t0 t0 t0

entao

u (t) = y(t) z(t)

t t
y (s) z (s)ds = f (s, y(s)) f (s, z(s))ds
t0 t0
t
a y(s) z(s)ds
t0

ou seja,
u (t) au(t).
Subtraindo-se au(t) e multiplicando-se por e at obtemos

d at
(e u(t)) 0, com u(t0 ) = 0.
dt
Isto implica que e at u(t) = 0 (lembre-se que u(t) 0) e portanto que u(t) = 0,
para todo t. Assim y(t) = z(t), para todo t.

2.1 Exerccios
f
1. Mostre que se e contnua no retangulo
y

R = {(t, y) 2 < t < , < y < },

2.1 Exerccios 7

entao existe uma constante positiva a tal que

f (t, y) f (t, z) a y z, para < t < e < y, z < .

Sugestao: Para t fixo, use o Teorema do Valor Medio para f como funcao somente
f
de y. Escolha a como sendo o maximo de no retangulo.
y
f
2. Mostre que se f (t, y) e sao contnuas no retangulo
y

R = {(t, y) 2 < t < , < y < }

e a e b sao constantes positivas tais que

f (t, y) b, f (t, y) f (t, z) a y z, para < t < e < y, z < ,

entao existem e com < t0 < tais que a sequencia

t
y0 ( t ) = y0 , y n ( t ) = y0 + f (s, yn1 (s))ds, para n = 1, 2, . . .
t0

satisfaz < yn (t) < sempre que < t < . Sugestao: mostre que
( )
b
y n ( t ) y0 1 e a t t0 .
a
8 3 SISTEMAS LINEARES DE 1A. ORDEM

3 Sistemas Lineares de 1a. Ordem

Considere o sistema de equacoes diferenciais lineares


x1 (t) = a11 (t) x1 (t) + + a1n (t) xn (t) + f 1 (t)

.. ..
. .
x (t) = a (t) x (t) + + a (t) x (t) + f (t)

n n1 1 nn n 2

que pode ser escrito na forma de uma equacao diferencial matricial

x1 (t)

a11 (t) a1n (t) x1 ( t ) f 1 (t)
.. .. .. .. ..
. = . . . + .
xn (t) an1 (t) ann (t) xn (t) f n (t)

ou
X ( t ) = A ( t ) X ( t ) + F ( t ), (4)
em que

a11 (t) a1n (t) x1 ( t ) f 1 (t)
A(t) = .. .. X (t) = ... F(t) = ... .
, e

. .
an1 (t) ann (t) xn (t) f n (t)

Teorema 2 (Existencia e Unicidade). Considere o problema de valor inicial

{
X (t) = A(t) X (t) + F (t)
(5)
X ( t0 ) = X (0)

Suponha que aij (t), f i (t) sejam funcoes contnuas num intervalo I = [ a, b] contendo t0 . Entao
o problema (5) tem uma unica solucao no intervalo I.

Demonstracao.

1. Existencia:
Defina a sequencia X (k) (t) por
t
(0) (0) (k) (0)
X (t) = X , X (t) = X + ( A(s)X (k1) (s) + F(s))ds, para k = 1, 2, . . .
t0
 9

Assim, cada componente X (k) (t) e dada por

t n
(k) (0) ( k 1)
xi = xi + ( aij (s) x j (s) + f i (s))ds.
t0 j = 1

Sejam M, N > 0 tais que

aij (t) M, para i, j = 1, . . . n e t I (6)
(1) (0)
xi (t) xi N, para i = 1, . . . n e t I
Entao
t n
(2) (1)
xi (t) xi (t) aij (s) x1j (s) x0j ds
t0 j = 1
t n
(1) (0)
M xj
t0 j = 1
(s) x j ds nMN (t t0 )

t n
(3) (2) (2) (1)
xi (t) xi (t) aij (s) x j
t0 j = 1
(s) x j (s)ds
t n n t
(2) (1) 2
M
t0 j = 1
x j (s) x j (s)ds nM N s t0 ds
j = 1 t0

t t0 2
n2 M 2 N
2
Por inducao
t n
( k + 1) (k) (k) ( k 1)
xi (t) xi (t) aij (s) x j
t0 j = 1
(s ) x j (s)ds
t n n t
(k) ( k 1) s t0 k 1
M x j (s ) x j (s)ds M nk1 M k1 N ds
t0 j = 1 j = 1 t0
( k 1) !

k t t0 k
k
n M N
k!
Usando o mesmo argumento usado na demonstracao do Teorema 1 na pagina 3
(k)
temos que xi (t) e uma sequencia convergente. Seja
(k)
xi (t) = lim xi (t).
k
10 3 SISTEMAS LINEARES DE 1A. ORDEM

Tambem pelo mesmo argumento usado na demonstracao do Teorema 1 na pagina

3 temos que xi (t) e contnua e vale
t n t n
( k 1)
lim ( aij (s) x j (s) + f i (s))ds = ( aij (s) x j (s) + f i (s))ds.
k t0 j = 1 t0 j = 1

Assim
t n
(k) (0) ( k 1)
xi ( t ) = lim xi (t) = xi + lim ( aij (s) x j (s) + f i (s))ds =
k k t0 j = 1
t n
(0) ( k 1)
= xi + ( aij (s) lim x j (s) + f i (s))ds =
t0 j = 1 k
t n
(0)
= xi + ( aij (s) x j (s) + f i (s))ds
t0 j = 1

Derivando em relacao a t esta equacao vemos que xi (t) e solucao do problema de

valor inicial.

2. Unicidade:
Sejam X (t) e Y (t) duas solucoes do problema de valor inicial (5). Entao

Z (t) = X (t) Y (t)

e solucao do problema de valor inicial (5) com X (0) = 0 e F(t) = 0. Assim temos
que mostrar que Z(t) = 0, para todo t.
t
Seja u(t) = t (z1 (s) + + zn (s))ds. Como
0

t t
z1 ( t ) = z1 (s)ds, . . . , zn (t) = zn (s)ds,
t0 t0

entao por (6) temos

t
z1 (t) + + zn (t) (z1 (s) + + zn (s))ds
0
t n n
aij (s)z j (s)ds
0 i =1 j =1
t
nM (z1 (s) + + zn (s))ds = nMu(t),
0
3.1 Existencia e Unicidade de Solucoes de Equacoes Lineares de 2a. Ordem 11

para t I, ou seja,
u (t) nMu(t).
Multiplicando a inequacao acima por enMt obtemos
d nMt
(e u(t)) 0, com u(t0 ) = 0.
dt
Isto implica que u(t) = 0, para todo t (verifique!) e portanto Z(t) = 0, para t I.

3.1 Existencia e Unicidade de Solucoes de Equacoes Lineares de 2a.

Ordem
Como consequencia do resultado que acabamos de provar temos o resultado abaixo
para existencia e unicidade de solucoes de equacoes lineares de 2a. ordem.

Corolario 3 (Existencia e Unicidade). O problema de valor inicial

2
d y dy
2
+ p(t) + q(t)y = f (t)
dt dt
y(t0 ) = y0 , y (t0 ) = y0

para p(t), q(t) e f (t) funcoes contnuas em um intervalo aberto I contendo t0 tem uma unica
solucao neste intervalo.

Demonstracao. Sejam x1 (t) = y(t) e x2 (t) = y (t). O problema de valor inicial e

equivalente ao problema
{
X (t) = A(t) X (t) + F (t)
X ( t0 ) = X (0)
em que
[ ] [ ] [ ] [ ]
0 1 x1 ( t ) 0 (0) y0
A(t) = , X (t) = F (t) = e X = .
q(t) p(t) x2 ( t ) f (t) y0

A conclusao segue-se da aplicacao do Teorema 2.

12 3 SISTEMAS LINEARES DE 1A. ORDEM

3.2 Respostas dos Exerccios

1. Seja t fixo, tal que < t < . Pelo Teorema do Valor Medio, dados y e z com
< y, z < existe entre y e z tal que
f
f (t, y) f (t, z) = (t, ) (y z).
y
 
f 
Seja a = max  (t, w). Tomando-se o modulo da equacao acima obtemos

< w< y
 
f 
f (t, y) f (t, z) =  (t, ) y z a y z.
y
( )
2. Seja o maximo entre , o valor de t < t0 tal que ba e att0 1 = e o valor de
( )
t < t0 tal que ba e att0 1 = . Seja o mnimo entre , o valor de t > t0 tal
( ) ( )
que ba e att0 1 = e o valor de t > t0 tal que ba e att0 1 = . Vamos
mostrar, por inducao, que
b ( a t t0 )
y n ( t ) y0 e 1 , para < t <
a
e assim que < yn (t) < , para < t < .

a n 1 t t0 n b ( a t t0 )
y 1 ( t ) y 0 b t t0 b = e 1
n =1
n! a

Vamos supor, por inducao, que

t t0 n 1
yn1 (t) yn2 (t) an2 b
( n 1) !
e
b ( a t t0 )
y k ( t ) y0 e 1 , para k = 1, . . . , n 1 e < t <
a
e assim que < yk (t) < , para k = 1, . . . , n 1 e < t < . Entao por (2) na
pagina 4,
t t0 n
yn (t) yn1 (t) an1 b
n!
e assim
n
a n 1 t t0 n b ( a t t0 )
yn (t) y0 yk (t) yk1 (t) b = e 1 ,
k=1 n =1
n! a
REFERENCIAS 13

Referencias
[1] William E. Boyce and Richard C. DiPrima. Equacoes Diferenciais Elementares e Proble-
mas de Valores de Contorno. Livros Tecnicos e Cientficos Editora S.A., Rio de Janeiro,
7a. edition, 2002.

[2] Djairo G. de Figueiredo and Aloisio F. Neves. Equacoes Diferenciais Aplicadas. SBM,
Rio de Janeiro, 2a. edition, 2005.

[3] Jorge Sotomayor. Licoes de Equacoes Diferenciais Ordinarias. IMPA, Rio de Janeiro,
1979.