Escolar Documentos
Profissional Documentos
Cultura Documentos
Banca Examinadora:
Sem a presenca contnua de Deus em minha vida eu nada seria. Por isso, meu
primeiro e maior agradecimento e a Deus.
Agradeco profundamente a minha famlia, meus pais, Manoel e Josefa, e a
minha irma Cristiane, por serem meu porto seguro durante esta fase difcil e, ao
mesmo tempo, maravilhosa. Agradeco de todo coracao a Karina, minha noiva, pela
paciencia, compreensao e apoio ao longo de todo este perodo. Sem voces, tenho
certeza que eu nao conseguiria chegar ate aqui. Amo todos voces.
Obrigado, Prof. Dr. Waldemar Donizete Bastos e Profa. Dra. Andrea Cristina
Prokopczyk Arita pela orientacao e acolhida, pela paciencia e amizade durante este
perodo, por todo o aprendizado e conselhos academicos e prossionais.
Agradeco a banca examinadora: Profa. Dra. Suzi, pela disponibilidade e a
Profa. Dra. Juliana Precioso, tambem pela disponibilidade.
Aos professores do Departamento de Matematica do Ibilce, por todo aprendizado
transmitido e pela disponibilidade nas horas de precisao.
A todos os amigos da pos-graduacao, em especial, Rodrigo, Leandro, Everton e
Admar pelos momentos de descontracao e tambem pelas tardes e ate noites em que
passamos juntos estudando.
Agradeco, aos meus colegas de republica, Wanderson e Rafael, pela agradavel
convivencia e companheirismo. E a Dona Mercedes, pela acolhida e pelo carinho.
Ao CNPQ, pelo apoio nanceiro.
A todos que de alguma forma contriburam para a conclusao deste trabalho.
Resumo
Este trabalho tem como objetivo aplicar o metodo das aproximacoes sucessivas
na demonstracao do Teorema do ponto xo de Banach e em resultados que garantem
a existencia e unicidade de solucoes de equacoes diferenciais denidas em espacos
de Banach.
2 Teoremas de ponto xo 23
3 Aplicacoes 29
3.1 Equacoes diferenciais . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
3.2 Equacoes de evolucao abstratas . . . . . . . . . . . . . . . . . . . . . 34
3.3 Equacoes diferenciais funcionais com retardo . . . . . . . . . . . . . . 59
3.4 Equacoes de evolucao com retardo . . . . . . . . . . . . . . . . . . . . 64
A Resultados complementares 73
B O operador derivada 80
Referencias bibliogracas 83
10
Introducao
b) xE = 0 se e so se x = 0;
13
14
Denicao 1.3 Seja (X, d) um espaco metrico. Uma sequencia (xn ) em (X, d) e
chamada de sequencia de Cauchy se, para cada > 0, existe N N tal que
d(xn , xm ) < para todo m, n N . Se (xn ) e uma sequencia em um espaco vetorial
normado (E, .E ), entao (xn ) e uma sequencia de Cauchy se, e somente se, para
cada > 0, existe N N tal que xn xm E < para todo m, n N .
Denicao 1.4 Um espaco metrico (X, d) e dito ser completo se toda sequencia de
Cauchy converge em X.
Sejam (E, .E ) um espaco de Banach sobre o corpo dos numeros reais e I um
intervalo da reta.
f (t + h) f (t)
lim
h0 h
Note que
Logo,
|(x)| xE
= sup = sup = 1,
xZ
xE xZ
xE
x=0 x=0
Assim,
g(t + h) g(t) f (t + h) f (t)
lim = lim = [f (t)],
h0 h h0 h
implicando que g e contnua em [a, b] e diferenciavel em (a, b). Logo, pelo Teorema
do valor medio no caso real, existe c (a, b) tal que g(b) g(a) = g (c)(b a).
Portanto,
n
S(P ) = f (i )(xi xi1 )
i=1
b
Denotaremos a integral de Riemann de f por f (t)dt.
a
b
Teorema 1.13 Se f C([a, b], E), entao a integral de Riemann f (t)dt existe.
a
Pm = {P ; P e particao de [a, b] e P m }.
2
Note que F1 F2 Fm . . .. Alem disso, diam(Fm ) m
(b a). De fato,
sejam P e Q particoes de [a, b] tais que P Pm , P Q.
18
e
Q = {a = x0 < x1 < < xr1 < t < xr < < xnP = b}.
Logo,
nP
S(P ) = f (i )(xi xi1 )
i=1
nP
= f (i )(xi xi1 ) + f (r )(xr t ) + f (r )(t xr1 ),
i=1
i=r
i [xi1 , xi ], i = 1, , nP , e
nP
S(Q) = f (i )(xi xi1 ) + f ()(t xr1 ) + f ( )(xr t ),
i=1
i=r
np
1 1
S(Q) S(P )E (xi xi1 ) + (t xr1 ) + (xr t ) = (b a).
m m
i=1
i=r
2
S(P ) S(P )E S(P ) S(Q)E + S(Q) S(P )E (b a).
m
Portanto,
2
diam(Fm ) = sup{S(P ) S(P )E , P, P Fm } (b a).
m
19
Agora, usando o teorema de Cantor (ver Apendice A), temos que existe um unico
elemento I F m.
m=1
2
Por m, dado > 0, tomemos m N tal que m > (b a) e seja = m > 0.
Entao, para toda particao P de [a, b] tal que P < , temos que S(P ) e I pertencem
a F m e assim,
2
I S(P )E diam(F m ) (b a) < ,
m
b
garantindo que a funcao f e integravel, com f (t)dt = I.
a
Como f e contnua no compacto [a, b], f e uniformemente contnua em [a, b]. Entao,
dado > 0, existe > 0 tal que, para todo s, t [a, b] com 0 < |s t| < ,
f (s) f (t)E < . Logo, para h R tal que 0 < |h| < e t + h [a, b],
t+h t
F (t + h) F (t) 1
f (t) = f (s)ds f (s)ds f (t)
h h
E a a E
t+h
1
=
h f (s)ds f (t)
t E
t+h t+h
1 1
= f (s)ds f (t)ds
h t h t
E
t+h
1
f (s) f (t)E ds
h t
1 t+h
ds = .
h t
Portanto,
F (t + h) F (t)
lim f (t)
h0 h = 0,
E
ou seja,
t
d F (t + h) F (t)
f (s)ds = lim = f (t).
dt a h0 h
Logo, t
f (s)ds f (t) = c, para algum c E e todo t [, ].
e entao,
f (s)ds = f () f ().
Captulo 2
Teoremas de ponto xo
Alem disso, dizemos que T e uma aplicacao nao expansiva se k 1 e dizemos que T
e uma contracao quando 0 k < 1. Neste caso, a constante de Lipschitz e chamada
constante de contracao.
O proximo resultado e conhecido como Teorema do ponto xo de Banach e e
provado usando o metodo das aproximacoes sucessivas.
x0 = y,
xn = T (xn1 ), n 1.
22
23
Logo,
nm1
nm1
m+i m
d(xm , xn ) k d(x0 , x1 ) = d(x0 , x1 )k ki
i=0 i=0
km
d(x0 , x1 )k m ki = d(x0 , x1 ).
i=0
1k
ou seja, x e ponto xo de T .
Para provarmos a unicidade do ponto xo, suponhamos, por absurdo, que
existam x, z M, x = z, tais que x e z sao pontos xos de T . Entao, d(x, z) > 0.
Mas, por outro lado
x0 = z
xn = T (xn1 ), n 1,
Logo, exite uma vizinhanca U de (, T ()) em Y e existe R (0, 1) tal que, para
todo (x, y) U , 0 f (x, y) < R.
Sejam B1 = B(, ) e B2 = B(T (), ), bolas abertas centradas em e T (),
respectivamente, e com raio > 0 sucientemente pequeno para que
1
< d(, T ()) e B1 B2 U. (2.1)
3
26
d(T ni (z), T ni +1 (z)) d(, T ()) d(, T ni (z)) d(T ni +1 (z), T ())
> 3 = , i > N. (2.2)
e assim,
d(T ni +1 (z), T ni +2 (z))
f (T ni (z), T ni +1 (z)) = < R,
d(T ni (z), T ni +1 (z))
ou seja,
d(T ni +1 (z), T ni +2 (z)) < Rd(T ni (z), T ni +1 (z)), i > N. (2.3)
Note ainda que, se nl1 e nl sao consecutivos, entao nl = nl1 +1, nl +1 = nl1 +2
e
d(T nl (z), T nl +1 (z)) = d(T nl1 +1 (z), T nl1 +2 (z)).
Ja, se nl1 e nl nao sao consecutivos, podemos supor que existam k elementos
entre nl1 e nl , assim nl = nl1 + (k + 1) e nl + 1 = nl1 + (k + 2) e
d(T nl (z), T nl +1 (z)) = d(T nl1 +(k+1) (z), T nl1 +(k+2) (z))
= d(T k (T nl1 +1 )(z), T k (T nl1 +2 )(z))
< d(T nl1 +1 (z), T nl1 +2 (z)).
Portanto,
Logo, como R (0, 1), Rlj d(T nj (z), T nj +1 (z)) 0, quando l . Assim,
tomando i sucientemente grande,
x0 = z
xn = T (xn1 ), n 1,
Aplicacoes
28
29
i) u e de classe C 1 em I;
Dessa forma, uma solucao u para (3.2) e uma solucao de (3.1) que, alem das
condicoes (i) (iii), satisfaz u(t0 ) = x0 , com t0 I.
Como u (.) e f (., u(.)) sao contnuas, integrando a primeira igualdade acima de t0
a t, para t I, temos t t
u (s)ds = f (s, u(s))ds.
t0 t0
30
ou ainda, t
u(t) = x0 + f (s, u(s))ds, t I.
t0
Em particular, para t = t0
t0
u(t0 ) = x0 + f (s, u(s))ds = x0 .
t0
Portanto,
u (t) = f (t, u(t)), t I,
u(t ) = x .
0 0
e assim,
Logo, como C(I, E) e um espaco de Banach com a norma . , C(I, E) tambem
sera um espaco de Banach com a norma . .
Agora, denamos o operador T : C(I, E) C(I, E) por
t
T u(t) = x0 + f (s, u(s))ds.
0
Mostraremos primeiramente que T esta bem denida, isto e, T e uma aplicacao que
leva C(I, E) em C(I, E). Para isso, basta provarmos que T u e uma funcao contnua,
para todo u C(I, E).
Entao, dado u C(I, E), como f e contnua por hipotese, a funcao s
f (s, u(s)) e contnua para todo s I. Desse modo, esta funcao e integravel em
32
qualquer intervalo da forma [0, t], com t I, e e limitada em I. Seja Nu > 0 tal que
f (s, u(s))E Nu , para todo s I. Logo, para t, t I, com t t,
t
t
T u(t ) T u(t)E = f (s, u(s))ds f (s, u(s))ds
0 0
E
t t t
= f (s, u(s))ds + f (s, u(s))ds f (s, u(s))ds
0 t 0
E
t
f (s, u(s))E ds
t
Nu (t t).
Logo,
= (1 eb )u v ,
isto e,
T u T v (1 eb )u v , u, v C(I, E).
Sx
SL(E) = sup = sup Sx, S L(E).
xE
x xE
x=0 x=1
Isso implica que o conjunto {S(tn )x; n N} e limitado para todo x E, ou seja,
sup S(tn )xE < para todo x E. Logo, pelo Teorema de Banach-Steinhaus
nN
(ver Apendice A)
sup S(tn )L(E) < ,
nN
S(t)L(E) M, t [0, ].
35
1
onde w = ln M.
z(t + h) z(t)E
t+h t
= S((t + h) s)f (s, u(s))ds S(t s)f (s, u(s))ds
t0 t+h 0
= S(t + h s)f (s, u(s))ds + S(t + h s)f (s, u(s))ds
0 t t
S(t s)f (s, u(s))ds
0t E t+h
[S(t + h s) S(t s)]f (s, u(s))ds + S(t + h s)f (s, u(s))ds
0 t Et+h t E
[S(h) I]S(t s)f (s, u(s))ds +
S(t + h s)f (s, u(s))E ds
0
t E t
t+h
[S(h) I] S(t s)f (s, u(s))ds +
S(t + h s)L(E) f (s, u(s))E ds
0 t+h E t
z(t h) z(t)E
th t
= S((t h) s)f (s, u(s))ds S(t s)f (s, u(s))ds
0 th th
0 E
= S(t h s)f (s, u(s))ds + S(t s)f (s, u(s))ds
0 t 0
S(t s)f (s, u(s))ds
thth E t
[S(t h s) S(t s)]f (s, u(s))E ds + S(t h)L(E) f (s, u(s))E ds
0 th th
t
[S(t h s) S(t s)]f (s, u(s))E ds + M ew(ts) f (s, u(s))E ds
0 th th
t
wh
[S(t h s) S(t s)]f (s, u(s))E ds + M e f (s, u(s))E ds
0 th
= I 3 + I4 ,
onde
th
t
wh
I3 = [S(ths)S(ts)]f (s, u(s))E ds e I4 = M e f (s, u(s))E ds .
0 th
[S(t h s) S(t s)]f (s, u(s))E (M ew(ths) + M ew(ts) )f (s, u(s))E
2M ew(ts) f (s, u(s))E ,
S(h)x x
Ah x = , x E.
h
Seja D(A) o conjunto de todo x E tal que lim+ Ah x existe. Denimos tambem
h0
o operador A : D(A) E por
Ax = lim+ Ah x, x D(A).
h0
n n
t A
tA
Lema 3.7 Sejam A L(E) e e := . Entao, {etA ; t [0, )} e um
n=0
n!
semigrupo uniformemente contnuo.
Demonstracao: Seja
n
tk Ak
Sn = , n N.
k=0
k!
38
|t|k Ak
|t|k Ak
tA
Como a serie =e , existe n0 N tal que < .
k=0
k! k=n +1
k!
0
Dessa forma, se m, n n0 , entao a sequencia (Sn ) e uma sequencia de Cauchy
em L(E). Consequentemente, visto que L(E) e um espaco de Banach, (Sn ) converge
n n
t A
tA
para algum elemento de L(E), seja, e = .
n=0
n!
Por outro lado, usando o Binomio de Newton, temos
n
(t + s) An n
1 nk k
n!t s
= An
n! n! k=0 k!(n k)!
n
tnk Ank sk Ak
= .
k=0
(n k)! k!
(t)n An
Dessa forma, como a serie converge absolutamente para t R, podemos
n! n=0
mostrar (como para o produto de Cauchy de series escalares) que
(t + s)n An n
tnk Ank sk Ak
=
n=0
n! n=0
(n k)! k!
k=0
tn An sn An
= ,
n=0
n! n=0
n!
(t h)n An
e(th)A
n=0
n!
n
t An
= etA ,
n=0
n!
n n
t A
S(t) = etA = .
n=0
n!
1 1 1
S(s)ds I S(s) I ds .
0 2
0
1
Logo, do Teorema A.7 (ver apendice), S(s)ds existe e e um operador linear
0
41
e
h+ h
1
(S(h) I) 1 1
= h S(s)ds h S(s)ds S(s)ds . (3.4)
h 0 0
S(t)L(E) ewt , t 0;
42
1
R( : A)xE xE , > w, x E.
( w)
S(t)L(E) M ewt , t 0;
M
(I A)n L(E) , com Re > w e n 1.
(Re w)n
Denicao 3.13 Um espaco vetorial H, com produto interno, e dito ser um espaco
de Hilbert se e um espaco de Banach com a norma derivada do produto interno.
Segue diretamente de Denicao 3.14 que uma base ortonormal de Z e uma base
de Riesz para Z. Alem disso, existe um resultado garantindo que toda base de
Riesz pode ser obtida de uma base ortonormal atraves de uma transformacao linear
limitada invertvel (pagina 38, [7]).
2 2
m | < z, n > | z M | < z, n > |2 . (3.5)
n=1 n=1
Dessa forma,
(n m ) < n , m > = 0.
p p
p
< z , j > = < np n , j >= np < n , j > = jp .
n=1 n=1
Mostraremos agora que (< z, j >)j1 e uma sequencia quadrado somavel. Para
isto, tomemos N N.
Usando a desigualdade triangular no espaco l2 , temos
N 12 N 12 N 12
| < z, j > |2 | < z, j > < z p , j > |2 + | < z p , j > |2
j=1 j=1 j=1
N 12
1
| < z, j > < z p , j > |2 + z p .
j=1
m
Portanto,
N 12
N
2 1
| < z, j > |2 + z p
j=1 j=1
N m
1
+ z p < ,
m
z = lim z p = lim < z p , m > n = < z, n > n .
p p
n=1 n=1
p
< z , n > n < z, n > n , quando p .
n=1 n=1
Dessa forma, z = < z, n > n .
n=1
Para concluirmos a desigualdade (3.5), e assim completarmos a demonstracao
do lema, basta tomarmos o limite quando p na equacao (3.6).
1 1
2 2
| < z, n > | z | < z, n > |2 . (3.7)
M n=1 m n=1
N
N
|n |2 | < n , y > |2
sup
n=1 n=1
yZ
y2
y=0
N
1
2 2
|n | y
m
sup
n=1
yZ
y2
y=0
1
N
= |n |2 .
m n=1
N
n
Por outro lado, se tomarmos y0 = n , entao
N
n=1
n=1 |n |2
N 2
N 2
n < n , y0 >
n=1
n n
y0 2
n=1
2
N
N
n < n , n
n >
n=1 n=1
N
|n |2
n=1
=
y0 2
48
2
N
|n | 2
< n , n >
n=1 N
|n |2
n=1
=
y0 2
N 2
1 1
=
2 |n |2
y0 2
N n=1
n=1 |n |2
N
|n |2
=
n=1
y0 2
1
N
|n |2 .
M n=1
Logo, {n ; n 1} e uma base de Riesz para Z e assim, pelo Lema 3.16, para
todo z Z, z = < z, n > n e a desigualdade (3.7) e vericada.
n=1
1
(I A)1 = < ., n > n ;
n=1
n
49
Az = n < z, n > n , z D(A),
n=1
onde D(A) = {z Z; |n |2 | < z, n > |2 < };
n=1
S(t) = en t < ., n > n , t 0.
n=1
N
1
Seja yN = < z, n > n . Entao, yN A z quando N e,
n=1
n
como n e autovetor associado a n , temos
N
1
(I A)yN = (I A) < z, n > n
n=1
n
N
< z, n >
= (I A)n
n=1
n
50
N
< z, n >
= ( n )n
n=1
n
N
= < z, n > n .
n=1
(b) Seja S = {z Z; |n |2 | < z, n > |2 < }. Mostraremos, primeiramente,
n=1
que S D(A) e que Az = n < z, n > n , para todo z S. Dado z S,
n=1
N
dena zN := < z, n > n . Dessa forma, zN z quando N . Note
n=1
51
ainda que
N
N
AzN = < z, n > An = n < z, n > n ,
n=1 n=1
e assim, AzN n < z, n > n quando N . Logo, como A
n=1
e fechado, z D(A) e Az = n < z, n > n . Portanto, S D(A) e
n=1
Az = n < z, n > n , para todo z S.
n=1
Mostraremos agora a outra inclusao, isto e, D(A) S. Seja x D(A). Dado
(A), consideremos y = (I A)x. Pelo item (a) deste teorema e pelo Lema
3.16, respectivamente, segue que
1
1
x = (I A) y = < y, n > n e x = < x, n > n .
n=1
n n=1
1
< y, n > = < x, n > .
n
|n |2 | < y, n > |2
2 2
|n | | < x, n > | =
n=1 n=1
| n |2
2
= 1 | < y, n > |2
n
n=1
2
1 ||
+ 1 y2 < ,
m
entao (A). Dessa forma, visto que n (A) para n 1, sup Re(n ) < .
n1
(=) Suponha agora que sup Re(n ) < . Seja w = sup Re(n ) e tomemos
n1 n1
C tal que Re() > sup Re(n ). Assim, (A) e portanto, pelo item (a),
n1
1
1
(I A) z = < z, n > n , para todo z Z.
n=1
n
1
(I A)1 (I A)1 z = < (I A)1 z, n > n
n=1
n
1
1
= < < z, m > m , n > n
n=1
n m=1 m
1
= < z, n >< n , n > n
n=1
( n )2
1
= < z, n > n .
n=1
( n )2
1
(I A)r z = < z, n > n .
n=1
( n )r
Alem disso,
< z, > 2 < z, n > 2
n
(I A)r z2 = M
r n ( n )r
( n )
n=1 n=1
| < z, n > |2
| < z, n > |2
= M M
n=1
|( n )2r | n=1
|(Re w)2r |
M z2
.
m(Re w)2r
Portanto,
M z
(I A)r z .
m (Re w)r
eAt z := en t < z, n > n , para todo z Z.
n=1
2
eAt z2 = n t
e < z, n > n M |en t < z, n > |2
n=1 n=1
M 2wt
M e2wt | < z, n > |2 e z2
n=1
m
= < z, n > n e(n )t dt
n=1 0
< z, n > n
=
n=1
n
= (I A)1 z
= R( : A)z.
onde {S(t);
t 0} e o semigrupo gerado por A.
! "
Logo, et eAt z S(t)z dt = 0 e assim, pela unicidade da Transformada
0
54
At
S(t)z = e z = en t < z, n > n , z Z, t 0.
n=1
$ %
2
Sejam Z = L2 ([0, ]) = h : [0, ] R; |h()| d < e
0
A : D(A) Z Z o operador Az com = z ,
D(A) = {z Z; z Z, z(0) = z() = 0}. Para cada t 0, denimos a funcao
v : [0, ] R por v(t) = w(t, .), isto e, v(t)() = w(t, ), para todo [0, ].
Denimos tambem, para cada t 0, a funcao f : [0, ] R por f (t) = g(t, .).
Dessa forma, podemos reescrever a equacao (3.8) na forma abstrata
v (t) = Av(t) + f (t), t 0,
(3.9)
v(0) = x.
estudaremos e mais geral que a equacao (3.9) e pode ser descrito na forma
v (t) = Av(t) + f (t, v(t)), t > 0,
(3.10)
v(0) = x E,
Por outro lado, se w e uma funcao que satisfaz a equacao (3.11) entao, w e
contnua. Porem, nao podemos garantir que w seja continuamente diferenciavel.
Assim, e natural considerarmos este tipo de funcao como um solucao generalizada
de (3.10).
Denicao 3.21 Uma funcao contnua u : [0, ) E e dita ser solucao fraca de
(3.10) se satisfaz a equacao integral (3.11).
Observacao 3.22 Em [2], Ball demonstra que uma solucao da equacao integral
(3.11) e, de fato, uma solucao no sentido fraco (atraves do espaco dual).
O proximo resultado nos fornece condicoes para que o problema de valor inicial
(3.10) possua uma solucao fraca.
Entao, o problema de valor inicial (3.10) possui uma unica solucao fraca em
[0, ).
56
e entao,
ou seja,
e(L+w) u uL u .
e entao,
t
(L+w)t (L+w)t
e T u(t) T v(t)E e S(t s)f (s, u(s)) f (s, v(s))E ds
0
t
(L+w)t
e M e(ts)w Lu(s) v(s)E ds
0 t
= e(L+w)t M etw esw Lu(s) v(s)E ds
0
t
(L+w)t tw
= e M Le esw u(s) v(s)E ds
0
t
= M LeLt esw e(L+w)s e(L+w)s u(s) v(s)E ds
0
t
Lt
M Le u vL esw e(L+w)s ds
0
Lt
e 1
= M LeLt u vL
L L
ML
= 1 eLt u vL
L
ML
u vL .
L
Assim,
ML
max {e(L+w)t T u(t) T v(t)E } u vL ,
t[0, ] L
isto e,
ML
T u T vL u vL ,
L
ML
com < 1, pois L foi tomado de modo que L > M L.
L
58
Sejam r > 0, E um espaco de Banach e C([a, b], E) o espaco das funcoes contnuas
de [a, b] em E, com a norma da convergencia uniforme. Denotaremos por C o
conjunto C([r, 0], E), com a norma
= max ()E , C.
[r,0]
onde R, C e f : D R C E e contnua.
59
Se C, entao existe uma unica solucao em C([r, R], E) para a equacao (3.12).
onde L e uma constante positiva tal que L > L. Note que .L e equivalente a
61
Mostraremos que T esta bem denido, isto e, mostraremos que para todo u
C([r, R], E), T u C([r, R], E). Dado u C([r, R], E), note que T u = em
[r, 0], com C([r, 0], E), e T u(0) = (0). Entao, basta vericarmos que T u e
contnua em [0, R]. Pelo Lema 3.25, a aplicacao t (t, ut ) e contnua em [0, R].
Logo, t f (t, ut ) tambem e contnua em [0, R] e portanto, existe Nu > 0 tal que
f (t, ut )E Nu , para todo t [0, R]. Desse modo, para t, t [0, R], com t t,
temos
t
t
T u(t ) T u(t)E = f (s, us )ds f (s, us )ds
0 0
E
t t
t
= f (s, us )ds + f (s, us )ds f (s, us )ds
0 t 0
E
t
f (s, us )E ds
t
Nu (t t).
e assim,
A seguir apresentaremos condicoes para que o problema (3.17) possua uma unica
solucao fraca.
= N ewR (s ), se s + + R.
67
Assim,
N ewR (s ), para s t.
(t )n
un (t) un1 (t)E N M n1 enw(R) .
n!
(t )n
Pelo teste de DAlembert, a serie N M n1 enwR e convergente, para todo
n=1
n!
t [, +R]. Alem disso, note que esta convergencia e uniforme em [, +R]. Dessa
forma, a sequencia de funcoes (un ) e uma sequencia de Cauchy em C([r, +R], E).
Logo, existe u C([ r, + R], E) tal que lim un = u.
n
Mostremos agora que u(t) satisfaz a equacao (3.18). Para isso, seja
= M Re + 1 (N + 1). Dado t [ r, ], por denicao, un (t) = (t ),
wR
un u = max {un (t) u(t)E } <
t[r,+R]
e
(t )k
M k1 ekwR < ,
k=n
k!
para todo n n0 .
Logo, tomando t [, + R] e m, n N tais que n > m e m 1 n0 ,
t
u(t) S(t )(0) S(t s)F (s, u(s), u )ds
s
E
t
=
u(t) un+1
(t) + un+1
(t) S(t )(0) S(t s)F (s, u(s), us )ds
E
t
u(t) u n+1
(t)E + S(t s)L(E) F (s, un (s), uns ) F (s, u(s), us )E ds
t
u(t) u n+1
(t)E + ew(ts) M uns us ds
t
= u(t) u n+2
(t) + u n+2
(t) u n+1
(t)E + ew(ts) M uns un+1
s + un+1
s us ds
t
+e w(t)
M uns un+1
s + un+1
s us ds
t
+e w(t)
M (uns un+1
s + + um1
s us )ds
(t )n+2
+ + N M n+1 e(n+2)wR
(n + 2)!
t
n (n+1)wR (s )n+1
+ew(t) M NM e + .... + ds
(n + 1)!
69
wR n (n+1)wR (t )(n+1)
NMe (t ) M e +
(n + 1)!
n+2
(t )
+ N M (n+1) e(n+2)wR + .... + + ewR M R
(n + 2)!
(t )k
= N M ewR (t ) M k1 ekwR
k=n+1
k!
(t )p
+N M p1 epwR + + ewR M R
p=n+2
p!
(t )k
N M ewR (t ) M k1 ekwR
k=n+1
k!
(t ) p
+N M p1 epwR + + ewR M R
p=n+1
p!
(t )k
= [1 + M ewR (t )]N M k1 ekwR + + M RewR
k=n+1
k!
1 + M ewR (t ) N + + M RewR
(N + N M ewR R + 1 + M RewR )
= ,
t
garantindo que u(t) = S(t )(0) + S(t s)F (s, u(s), us )ds, para todo
t [, + R].
Dessa forma, garantimos que o problema (3.17) possui uma solucao fraca em
[ r, + R]. Mostraremos ainda que esta solucao e unica.
Suponhamos, por absurdo, que v(.) tambem e uma solucao fraca de (3.17)
em [ r, + R]. Note que, para t [, + R], as funcoes u e v sao
70
t
u(t) v(t)E =
S(t )[F (s, u(s), us ) F (s, v(s), vs )]ds
E
t
ew(ts) F (s, u(s), us ) F (s, v(s), vs )E
ewR (t ).
Alem disso, existe > 0 tal que F (s, u(s), us )E , para todo s [, + R].
Usando as desigualdades anteriores, para todo t [, + R], conclumos que
e entao,
(s )2
vs u1s M M e2wR , para todo s [, + R].
2
(s )n
vs us(n1) M M (n1) enwR , s [, + r].
n!
(t )k+1
Como a serie M k e(k+1)wR e convergente (pelo teste de DAlembert),
k=1
(k + 1)!
(t )n+1
o termo M M n e(n+1)wR 0, quando n , implicando que
(n + 1)!
lim un (t) = v(t), para todo t [, + R]. Portanto, pela unicidade do limite,
n
v(t) = u(t), para t [, + R]. Alem disso, como v(t) = (t ) = u(t), para
t [ r, ], v = u, ou seja, a solucao obtida e unica.
Apendice A
Resultados complementares
p(x) = p(x),
(A.1)
p(x + y) p(x) + p(y),
72
73
(Y, h) (Y , h)
com a ser determinada. Para que (Y, h) P, precisamos que f (x)+t p(x+tx0 )
para todo x Z e todo t R.
Se t > 0, isso se reduz a
1 1
f x +p x + x0 ,
t t
ou equivalentemente,
f (x) + p(x + x0 ), x Z.
74
f (x) p(x x0 ), x Z.
ou equivalentemente,
entao,
sup[f (z) p(z x0 )] inf [p(z + x0 ) f (z)].
zZ zZ
Portanto, e possivel escolher tal que (A.2) seja valida e assim, obtemos h : Y R
de modo que h e uma extensao de f . Entao, como (Y, h) P e (Z, f ) e o elemento
maximal de P, conclumos que Z = V , como queramos.
f V = gW .
sup T x < , x E,
entao
sup T < .
T x T x T ak + T ak < + n.
Logo, pelo Lema de Baire, existe n0 tal que int(Xn0 ) = . Seja x0 int(Xn0 )
entao, existe r > 0 tal que B(x0 , r) Xn0 e assim, para todo y B(x0 , r),
T y n0 , .
isto e,
r
T z n0 + T x0 ,
2
r 4n0
o que implica que T 2n0 , ou ainda, T z para todo . Logo,
2 r
4n0
T = sup T z , .
zE
r
z1
n+1
n+1
Sn+1 = Tk = I + Tk
k=0 k=1
n
= I +T T k = I + T Sn = I + Sn T.
k=0
S = I + ST = I + T S.
Assim,
I = S(I T ) = (I T )S,
o que mostra que (I T ) e invertvel e T n = S = (I T )1 .
n=0
Teorema A.8 Um espaco metrico (X, d) e completo se, e somente se, para qualquer
sequencia (Fn )nN de subconjuntos fechados e nao-vazios de X, com F1 F2
e diam(Fn ) 0, quando n , Fn consiste de um unico elemento.
n=1
Demonstracao: (=) Suponha que (X, d) seja um espaco completo e seja (Fn )nN
uma sequencia de subconjuntos fechados e nao vazios de X, tais que F1 F2
e lim diam(Fn ) = 0.
n
Para cada n N, seja xn um ponto arbitrario de Fn . Se n, m N , entao
xn , xm FN e d(xn , xm ) diam(FN ). Por hipotese, dado > 0, podemos escolher
N , sucientemente grande, de modo que diam(FN ) < . Isso mostra que (xn )nN
e uma sequencia de Cauchy em X. Como X e completo, existe x0 X tal que
lim xn = x0 .
n
Alem disso, para n > N , xn FN . E portanto, podemos concluir que x0 FN .
Pelo fato da sequencia (Fn )nN ser encaixantes, segue que x0 Fn =: F . Entao,
n=1
F contem pelo menos um elemento.
78
O operador derivada
Sabemos, da teoria de equacoes diferenciais, que o sistema (B.1) tem uma unica
solucao dada por
1 ! (|xy|) "
fg (x) = e e(|xy|) e(xy) e(xy) g(y)dy
2(e e ) 0
1
= h(x, y)g(y)dy.
2(e e ) 0
79
80
Alem disso, se C > 0 e tal que |h(x, y)| C para todo x, y [0, ], da
desigualdade de Holder obtemos a desigualdade
1
(I A) g22 = fg 22 = |fg (x)|2 dx
0
2
1
= h(x, y)g(y)dy dx
2(e e )
0 0
2
2
C
|g(y)|dy dx
4(e e )2 0 0
2
C2 2 2
1 dy |g(y)| dy dx
4(e e )2 0 0 0
C 23
= g22 ,
4(e e )
2
o que implica que (I A)1 L(Z). Agora, do Lema B.1, conclumos que (I A)
e fechado e portanto A e tambem fechado.
Mostraremos tambem que A e um operador espectral de Riesz. Consideremos
para isso a seguinte equacao diferencial
z (x) z(x) = 0, 0 < x < ,
(B.2)
z(0) = z() = 0.
[1] Agarwal, R. P.; Meehan, M.; Oregan, D.:Fixed Point Theory and
Applications, Cambridge University Press, 2004.
[6] Brooks, R. M.; Schmitt K.: The Contraction Mapping Principle And
Some Applications Electronic Journal of Dierential Equations, 2009.
82
83