Exist encia e Unicidade de Solu coes de Equa coes Diferenciais Ordin arias

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

10 de julho de 2010

1 INTRODUC AO

Sum ario
1 Introdu ca o
. Ordem 2 Equa coes de 1a 2.1 Exerc cios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Ordem 3 Sistemas Lineares de 1a . Ordem . 3.1 Exist encia e Unicidade de Soluc oes de Equac oes Lineares de 2a 3.2 Respostas dos Exerc cios . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2 3 6 8 11 12

1 Introdu ca o
Apresentamos aqui demonstrac oes auto-sucientes dos teoremas de exist encia e unicidade de soluc oes de equac oes diferenciais, sistemas de equac oes diferencias lineares . ordem que n e equac oes diferenciais lineares de 2a ao requerem o uso de continuidade uniforme.

3 . Ordem 2 Equa coes de 1a

Teorema 1 (Exist encia e Unicidade). Considere o problema de valor inicial dy = f ( t, y ) dt y ( t0 ) = y 0 Se f (t, y) e f s ao cont nuas no ret angulo y

(1)

R = { ( t , y ) 2 < t < , < y < } contendo (t0 , y0 ), ent ao o problema (1) tem uma unica solu ca o em um intervalo contendo t0 .

Demonstrac ao . 1. Exist encia: Dena a sequ encia de func oes yn (t) por y0 ( t ) = y0 , y n ( t ) = y0 +
t
t0

f (s, yn1 (s))ds,

para n = 1, 2, . . .

Como f (t, y) e cont nua no ret angulo R, existe uma constante positiva b tal que

f ( t, y ) b,
Assim

para (t, y) R.

y 1 ( t ) y 0 b t t0 ,
Como tal que

para < t < .

f e cont nua no ret angulo R, existe uma constante positiva a (por que?) y

f ( t, y ) f ( t, z ) a y z ,

para < t < e < y, z < .

4 Assim

. ORDEM 2 EQUAC OES DE 1A

y2 ( t ) y1 ( t )

t
t0

f (s, y1 (s)) f (s, y0 (s))ds a

t
t0

y1 (s) y0 ds ab

t
t0

s t0 ds = ab

t t0 2 2

y3 ( t ) y2 ( t )

t
t0

f (s, y2 (s)) f (s, y1 (s))ds a

t
t0

y2 (s) y1 (s)ds a b
2

t s t0 2
t0

ds = a2 b

t t0 3 . 6

Vamos supor, por induc a o, que

y n 1 (t) y n 2 (t) an 2 b
Ent ao

t t0 n 1 . ( n 1) !

y n (t) y n 1 (t)

t
t0

f (s, yn1 (s)) f (s, yn2 (s))ds a

t
t0

yn1 (s)) yn2 (s)ds a

t
t0

an 2 b

s t0 n 1 t t0 n ds = an1 b (2) ( n 1) ! n!

ao tais Estas desigualdades s ao v alidas para < t < em que e s que < yn (t) < sempre que < t < (por que existem e ?). Segue-se de (2) que
n =1

y n (t) y n 1 (t) b
que e convergente. Como y n ( t ) = y0 +

an 1 ( )n n! n =1

(yk (t) yk1 (t)),

k=1

5 ent ao y n ( t ) e convergente. Seja y(t) = lim yn (t).

n

Como
m

ym (t) yn (t)

k= n +1

y k (t) y k1 (t) b

ak1 ( )k , k! k= n +1

ent ao passando ao limite quando m tende a innito obtemos que ak1 ( )k y(t) yn (t) b k! k= n +1

(3)

Logo dado um > 0, para n sucientemente grande, y(t) yn (t) < /3, para < t < . Da segue-se que y(t) e cont nua, pois dado um > 0, para s sucientemente proximo de t, temos que yn (t) yn (s) < /3 e para n sucientemente grande y(t) yn (t) < /3 e y(s) yn (s) < /3, o que implica que

y ( t ) y ( s ) y ( t ) y n ( t ) + y n ( t ) y n ( s ) + y n ( s ) y ( s ) < .
Al em disso para < t < , temos que
n t0

lim

f (s, yn (s))ds =

t
t0

f (s, lim yn (s))ds =

n

t
t0

f (s, y(s))ds,

pois, por (3), temos que

t
t0

f (s, yn (s))ds

t
t0

f (s, y(s))ds

t
t0

f (s, yn (s)) f (s, y(s))ds

t
t0

yn (s) y(s)ds ab(t t0 )

ak1 ( )k k! k= n +1

que tende a zero quando n tende a innito. Portanto y(t) =

n

lim yn (t) = y0 + lim

t
t0 n

n t0

f (s, yn1 (s))ds =

t
t0

= y0 +

f (s, lim yn1 (s))ds = y0 +

f (s, y(s))ds

. ORDEM 2 EQUAC OES DE 1A

Derivando em relac a o a t esta equac a o vemos que y(t) e soluc a o do problema de valor inicial. 2. Unicidade: Vamos supor que y(t) e z(t) sejam soluc oes do problema de valor inicial. Seja u(t) = Assim, como y(t) = ent ao u (t) = y (t) z(t)
t
t0

t
t0

y(s) z(s)ds.

y (s)ds =

t
t0

f (s, y(s))ds,

z(t) =

t
t0

z (s)ds =

t
t0

f (s, z(s))ds,

t
t0

y (s) z (s)ds =

t
t0

f (s, y(s)) f (s, z(s))ds a

t
t0

y(s) z(s)ds

ou seja,

u (t) au(t).

Subtraindo-se au(t) e multiplicando-se por e at obtemos d at (e u(t)) 0, dt com u(t0 ) = 0.

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 Exerc cios

1. Mostre que se f e cont nua no ret angulo y R = { ( t , y ) 2 < t < , < y < } ,

2.1 Exerc cios

ent ao existe uma constante positiva a tal que

f ( t, y ) f ( t, z ) a y z ,

para < t < e < y, z < .

Sugest ao: Para t xo, use o Teorema do Valor M edio para f como func a o somente f de y. Escolha a como sendo o m aximo de no ret angulo. y 2. Mostre que se f (t, y) e f s ao cont nuas no ret angulo y

R = { ( t , y ) 2 < t < , < y < } e a e b s ao constantes positivas tais que

f ( t, y ) b,

f ( t, y ) f ( t, z ) a y z ,

para < t < e < y, z < ,

ent ao existem e com < t0 < tais que a sequ encia y0 ( t ) = y0 , y n ( t ) = y0 +

t
t0

f (s, yn1 (s))ds,

para n = 1, 2, . . .

ao: mostre que satisfaz < yn (t) < sempre que < t < . Sugest ( ) b y n ( t ) y0 1 e a t t0 . a

. ORDEM 3 SISTEMAS LINEARES DE 1A

. Ordem 3 Sistemas Lineares de 1a Considere o sistema de equac oes 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) nn n 2 n1 1 n

que pode ser escrito na forma de uma equac a o diferencial matricial (t) x1 a11 (t) a1n (t) x1 ( t ) f 1 (t) . . . . . . . . . . = . . . + . . xn (t) an1 (t) ann (t) xn (t) f n (t) ou em que a11 (t) . . A(t) = . an1 (t) a1n ( t ) . . , . ann (t) x1 ( t ) . X (t) = . . xn (t) f 1 (t) . F (t) = . . . f n (t) X ( t ) = A ( t ) X ( t ) + F ( t ), (4)

Teorema 2 (Exist encia e Unicidade). Considere o problema de valor inicial { X (t) = A(t) X (t) + F (t) X ( t0 ) = X (0)

(5)

Suponha que aij (t), f i (t) sejam fun co es cont nuas num intervalo I = [ a, b] contendo t0 . Ent ao o problema (5) tem uma unica solu ca o no intervalo I.

Demonstrac ao . 1. Exist encia: Dena a sequ encia X (k) (t) por X

(0)

(t) = X

(0)

(k)

(t) = X

(0)

t
t0

( A(s)X (k1) (s) + F(s))ds,

para k = 1, 2, . . .

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

(k)

= xi

(0)

t n

t0 j = 1

( aij (s) x j

( k 1)

(s) + f i (s))ds.

Sejam M, N > 0 tais que

aij (t) M,
(1) (0)

para i, j = 1, . . . n e t I para i = 1, . . . n e t I

(6)

xi ( t ) xi N ,
Ent ao
(2) (1) xi ( t ) xi ( t )

t n

t0 j = 1

0 aij (s) x1 j (s ) x j ds

t n

t0 j = 1

xj

(1)

(s) x j ds nMN (t t0 )

(0)

xi ( t ) xi ( t ) M

(3)

(2)

t n

t0 j = 1

aij (s) x j

(2)

(s) x j (s)ds nM N
2 n t

(1)

t n

t0 j = 1

(2) (1) x j (s) x j (s)ds

j = 1 t0

s t0 ds n2 M 2 N t t0 2 2

Por induc a o
( k + 1) (k) xi ( t ) xi ( t )

t n

t0 j = 1

aij (s) x j

(k)

(s ) x j

( k 1)

(s)ds s t0 k 1 ds ( k 1) !
k k

t n

t0 j = 1

(k) ( k 1) x j (s ) x j (s)ds

j = 1 t0

n t

nk1 M k1 N

t t0 k n M N k!
Usando o mesmo argumento usado na demonstrac a o do Teorema 1 na p agina 3 (k) temos que xi (t) e uma sequ encia convergente. Seja xi (t) = lim xi (t).
k

(k)

10

. ORDEM 3 SISTEMAS LINEARES DE 1A

Tamb em pelo mesmo argumento usado na demonstrac a o do Teorema 1 na p agina 3 temos que xi (t) e cont nua e vale lim
t
n

k t0 j = 1

( k 1) aij (s) x j (s) + f i (s))ds

t n

t0 j = 1

( aij (s) x j (s) + f i (s))ds.

Assim xi ( t ) =
(k) lim xi (t) k

(0) xi

+ lim

(0) xi

t0 j = 1

( aij (s) lim x j

k

k t0 j = 1 n

( aij (s) x j
( k 1)

( k 1)

(s) + f i (s))ds =

(s) + f i (s))ds = +
t n

(0) xi

t0 j = 1

( aij (s) x j (s) + f i (s))ds

soluc a o do problema de Derivando em relac a o a t esta equac a o vemos que xi (t) e valor inicial. 2. Unicidade: Sejam X (t) e Y (t) duas soluc oes do problema de valor inicial (5). Ent ao Z (t) = X (t) Y (t) e soluc a o 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

z1 ( t ) = ent ao por (6) temos

t
t0

z1 (s)ds,

. . . , zn (t) =

t
t0

z n (s )ds,

z1 ( t ) + + z n ( t )

t
0

( z1 (s ) + + z n (s ) )ds

t n

0 i =1 j =1

aij (s)z j (s)ds

t
0

nM

(z1 (s) + + zn (s))ds = nMu(t),

. Ordem 3.1 Exist encia e Unicidade de Soluc o es de Equac oes Lineares de 2a

11

para t I , ou seja,

u (t) nMu(t).

Multiplicando a inequac a o acima por enMt obtemos d nMt (e u(t)) 0, dt com u(t0 ) = 0.

Isto implica que u(t) = 0, para todo t (verique!) e portanto Z(t) = 0, para t I .

. 3.1 Exist encia e Unicidade de Solu coes de Equa coes Lineares de 2a Ordem

Como consequ encia do resultado que acabamos de provar temos o resultado abaixo . ordem. para exist encia e unicidade de soluc oes de equac oes lineares de 2a

para p(t), q(t) e f (t) fun co es cont nuas em um intervalo aberto I contendo t0 tem uma unica solu ca o neste intervalo.

Corol ario 3 (Exist encia e Unicidade). O problema de valor inicial 2 dy d y + p(t) + q(t)y = f (t) 2 dt dt y ( t0 ) = y 0 , y ( t0 ) = y 0

Demonstrac ao . 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 A(t) = [ 0 1 q(t) p(t) ] , X (t) = [ x1 ( t ) x2 ( t ) ] F (t) = [ 0 f (t) ] e X
(0)

y0 y0

A conclus ao segue-se da aplicac a o do Teorema 2.

12

. ORDEM 3 SISTEMAS LINEARES DE 1A

3.2 Respostas dos Exerc cios

1. Seja t xo, tal que < t < . Pelo Teorema do Valor M edio, dados y e z com < y, z < existe entre y e z tal que f ( t, y ) f ( t, z ) = Seja a = max f ( t, ) ( y z ). y

< w<

f (t, w) . Tomando-se o modulo da equac a o acima obtemos y

f ( t, ) y z a y z . y ( ) a t t0 1 = e o valor de 2. Seja o m aximo entre , o valor de t < t0 tal que b e a ( ) b a t t 0 1 t < t0 tal que a e = . Seja o m nimo entre , o valor de t > t0 tal ( ) ( ) a t t0 1 = e o valor de t > t tal que b e a t t0 1 = . Vamos que b e 0 a a mostrar, por induc a o, que ) b ( a t t0 e y n ( t ) y0 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! a n =1

f ( t, y ) f ( t, z ) =

Vamos supor, por induc a o, que

y n 1 (t) y n 2 (t) an 2 b
e

t t0 n 1 ( n 1) !

) 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 < . Ent ao por (2) na p agina 4, t t0 n y n (t) y n 1 (t) an 1 b n! e assim ) n a n 1 t t0 n b ( a t t0 y n ( t ) y0 y k ( t ) y k 1 ( t ) b = 1 , e n! a n =1 k=1

 REFERENCIAS

13

Refer encias
[1] William E. Boyce and Richard C. DiPrima. Equa co es Diferenciais Elementares e Problemas de Valores de Contorno. Livros T ecnicos e Cient cos Editora S.A., Rio de Janeiro, 7a. edition, 2002. [2] Djairo G. de Figueiredo and Aloisio F. Neves. Equa co es Diferenciais Aplicadas. SBM, Rio de Janeiro, 2a. edition, 2005. [3] Jorge Sotomayor. Li co es de Equa co es Diferenciais Ordin arias. IMPA, Rio de Janeiro, 1979.