Escolar Documentos
Profissional Documentos
Cultura Documentos
Abstract
In this work we use semigroup theory to prove some results of existence and unicity for
a class Ordinary Differential Equation, on Banach spaces, of the following way.
(
du
(t) = Au(t) + f (t, u(t))
dt
u(t0 ) = u0 ,
where A is unbounded linear operator and f is a fixed function. Using this tool, we show
the existence of solutions for wave and heat equations.
Campina Grande - PB
Dezembro/2006
Dezembro/2006
ii
Agradecimentos
"O Senhor meu pastor, nada me faltar". Obrigado DEUS por tudo.
Aos meus pais Adaiza (em memria) e Expedito que sempre lutaram pela minha educao. A minha esposa Sidnea e a meus irmos pelo apoio e compreenso.
Ao professor Claudianor que me acompanha desde a iniciao cientfica com tamanha
sabedoria, eficincia, dedicao, cobrana, confiana e amizade. Um orientador com
uma viso no futuro do seu orientando, dando-lhe muito trabalho com o suporte devido.
Obrigado Claudianor por toda matemtica que voc me fez aprender e por compartilhar
toda sua experincia.
Aos professores Daniel Cordeiro e Fgner Dias Araruna pelas sugestes e disposio
nesta tarefa de me avaliar, fazendo parte da banca examinadora.
Aos professores Daniel Cordeiro, Claudianor, Aparecido, Arimatia, Srgio Mota, Vanio,
Daniel Pellegrino, Rosana, Vandik, Miriam e Jaime por contriburem na minha formao.
Aos professores Marco Aurlio, Francisco Morais e Lindombergue pela disponibilidade
e ateno sempre que solicitados.
Aos colegas da Pos-Graduao em especial a Jamilson pela ajuda na minha defesa.
Aos funcionrios tcnicos-administrativos do DME, que sem exceo, fizeram o possvel
para me ajudar.
Ao professor Marcelo Moreira Cavalcanti e seu orientando Wellington Jos Corra do
departamento de matemtica da Universidade Estadual de Maring, pela contribuio.
CAPES, pela ajuda financeira.
Por fim, agradeo a todos que diretamente ou indiretamente contriburam para a realizao deste trabalho.
iii
Dedicatria
iv
SUMRIO
Notaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1 Introduo Teoria de Semigrupos
1.1 Operador Linear Ilimitado . . . . . . . . . . . .
1.2 C0 -Semigrupos . . . . . . . . . . . . . . . . . .
1.3 Teorema de Hille-Yosida . . . . . . . . . . . . .
1.4 Regularidade para Semigrupos de Contrao . .
1.5 Semigrupos de Contrao em Espaos de Hilbert
5
6
9
10
22
38
59
65
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
80
. 81
. 81
. 83
. 88
. 88
. 105
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
114
115
117
122
124
125
125
131
142
SUMRIO
ii
159
C Resultado Complementares
166
D A Aplicao Exponencial
173
Bibliografia
181
Notaes
Para um operador A : X Y , temos as seguintes notaes:
D(A) o domnio do operador A, que um subespao de X.
R(A) a imagem do operador A, que um subespao de Y .
Ker(A) o ncleo do operador A, que um subespao de D(A).
G(A) = (u, Au) X Y ; u D(A)} grfico do operador A.
X espao dual de X.
Funo Caracterstica
se s [t0 , t]
se s
/ [t0 , t],
1,
0,
[t0 , t] (s) =
quando t0 = 0 denotamos t (s).
Para uma funo f Lp ()
Z
|f (x)| dx
kf kp =
onde 1 p < .
Outras notaes que utilizaremos:
D() espao das funes testes.
p1
,
Introduo
Uma Equao Diferencial uma equao que envolve uma funo incgnita e suas derivadas.
O estudo das Equaes Diferenciais comeou com a criao do Clculo Diferencial e Integral,
descoberto por Newton e Leitnitz, e elaborados no ltimo quarto do sculo XVII para resolver
problemas motivados por consideraes fsicas e geomtricas, como por exemplo mecnica
das particulas. Nessas aplicaes, o uso de leis fsicas, como as trs leis de Newton da
Dinmica e a lei da gravitao universal, possibilita obter Equaes Diferenciais Ordinrias
que representa os fenmenos em estudo. O sucesso em tratar esses problemas utilizando o
Clculo Diferencial, na sua evoluo, conduziram gradualmente consolidao das Equaes
Diferenciais como um novo ramo da matemtica. Em meados do sculo XVIII foi um grande
estmulo aos fsicos e matemticos da poca procurar modelos para problema da Mecnica
do Contnuo e de outras cincias experimentais que expressem os fenmenos em termos de
Equaes Diferenciais. O conceito daquilo que era considerado soluo de uma Equao
Diferencial foi mudando gradualmente com o avano dos estudos, e perguntas pertinentes
sobre existncia, unicidade e regularidade surgiram motivando cada vez mais esta rea da
matemtica.
Neste trabalho estudaremos as Equaes Diferenciais Ordinrias da forma
(
du
(t) = Au(t) + f (t, u(t))
dt
u(t0 ) = u0 ,
onde A um operador linear ilimitado, sobre um espao de Banach X, e f uma funo
fixada. A principal ferramenta que utilizaremos a Teoria de Semigrupo, teoria esta que
teve seu grande avano no ano de 1948 com a demonstrao do Teorema de Hille-Yosida
que tem grande importncia no estudo de soluo para problemas de valor inicial, do tipo
(
du
(t) = Au(t) t 0
(P )
dt
u(0) = u0 D(A).
Com o Teorema de Hille-Yosida a soluo de (P ) se reduz ao estudo da existncia de soluo
da equao
u Au = v,
para algum > 0, aliada de uma estimativa adequada da mesma.
6
SUMRIO
du
(t) = Au(t) + f (t)
dt
u(0) = u0 D(A),
du
(t) = Au(t) + F u(t)
dt
u(0) = u0
estabelecendo duas situaes onde garantimos a existncia e unicidade de soluo generalizada para o dado inicial em X, e quando o mesmo pertence a D(A) mostramos que soluo
generalizada soluo clssica. Mostramos tambm alguns exemplos concretos em que a
funo f verifica as situaes estudadas.
com u0 X .
du
(t) = Au(t) + f (t, u(t))
dt
u(t0 ) = u0 ,
SUMRIO
No Apndice C, apresentamos alguns resultados gerais os quais foram usadas no decorrer desta dissertao.
CAPTULO 1
Introduo Teoria de Semigrupos
A teoria de semigrupos de operadores lineares
tem um papel importante no estudo de Equaes
Diferenciais Ordinrias em um espao de
Banach. Um dos ingredientes essenciais dessa
teoria a noo de operador linear ilimitado.
A teoria de semigrupo, historicamente, teve seu
grande avano a partir de 1948 com a demonstrao do famoso Teorema de Hille-Yosida, que
o principal resultado deste captulo. Este captulo tem como base o livro do Kesavan [21] e o
livro do Pazy [22].
SEO 1.1
1.1
10
quando n +.
Note que,
(1) A est bem definido, uma vez que Au independe da seqncia {un } escolhida , de fato
fixando outra seqncia {vn } D(A) com vn u, tem-se
kAun Avn kY = kA(un vn )kY ckun vn kX c(kun ukX + kvn ukX ).
CAPTULO 1
11
mostrando o desejado.
(2) A estende A, isto ,
u D(A).
A(u) = A(u)
(3) Unicidade de A:
e linear contnuo e A(u)
e
e : D(A) X Y com A
= A(u), u D(A).
Suponha que existe A
e contnuo, temos
Para u D(A), existe {un } D(A) tal que un u. Sendo A
e n Au,
e
Au
isto ,
e = lim Au
e n = lim Aun = w0 = Au
Au
n
e A, mostrando a unicidade.
de onde segue que A
(4) A linear, pela linearidade do limite e de A.
(5) A limitado, pois
kAuk = k lim Aun k = lim kAun k lim ckun k = ck lim un k = ckuk.
n
Observao 1.2 Se A um operdor linear fechado, com D(A) = X, ento pelo Teorema
do Grfico Fechado (Teorema C.5), A contnuo.
Observao 1.3 Se A um operador linear fechado, ento Ker(A) um subespao fechado
de D(A). Com efeito, seja {un } Ker(A) com un u0 em X. Mostraremos que
u0 Ker(A). Sendo un Ker(A) temos
A(un ) = 0
n N.
Claramente
(un , Aun ) G(A)
e mais
(un , Aun ) (u0 , 0)
em
X Y.
Sendo G(A) fechado, segue que (u0 , 0) G(A), da Au0 = 0, isto , u0 Ker(A). Mostrando
que Ker(A) fechado.
SEO 1.1
12
2
sin(nx), x , n N.
un (x) =
n
Note inicialmente que {un } H01 (). De fato, para cada n N, un C (), logo un e u0n
(derivada clssica igual a derivada fraca) so contnuas, da |un |2 e |u0n |2 so contnuas, e
como = (0, 1) segue que un , u0n L2 (). Portanto {un } H 1 (). Temos tambm
2
un (0) =
sin(0) = 0
n
e
2
sin(n) = 0.
n
Logo pelo Teorema B.8 segue que {un } H01 (). Note que, u0n (x) = 2 cos(nx). Assim
un (1) =
kAun k2 =
ku0n k2
Z
= 2
1
2
12
cos (nx)dx
= 1.
(1.1)
Observando que
kun k2 =
1
,
n
(1.2)
CAPTULO 1
13
em .
21
|n | dx
Z
21
| n | dx
Da
kAn k2 = n kn k2 = n .
Portanto
kAn k2
n
n
=
= n +,
kn k2
1
Z
|n n | dx
21
.
SEO 1.1
14
g2 (u) = f2 (Au).
CAPTULO 1
em
15
Seja
Y X ,
isto ,
fn f0
em
A fn g0
X .
em
u D(A),
g0 (u) = (A f0 )(u)
u X = D(A).
Logo
g0 (u) = g0 lim un = lim g0 (un ) = lim f0 (Aun ) = lim (A f0 )(un ),
n
o que implica
g0 (u) = (A f0 ) lim un = (A f0 )(u).
n
De qualquer forma
g0 (u) = (A f0 )(u)
u X = D(A).
SEO 1.1
16
f Y ,
u X com kukX 1,
CAPTULO 1
17
Se X = Y so espaos de Hilbert com produto interno dado por , X , podemos, pelo
Teorema da Representao de Riesz (Teorema C.11), identificar X com X da seguinte
forma, dado h X existe um nico u0 X tal que
h(u) = u0 , u X
u X.
O adjunto, deste modo, pode ser considerado como um operador linear definido em X, com
A u0 , u X = u0 , Au X .
Definio 1.6 Seja X um espao de Hilbert, com produto interno , X , e
A : D(A) X X um operador linear densamente definido. Dizemos que A simtrico
se para quaisquer u, v D(A)
Au, v X = u, Av X .
O operador A dito auto-adjunto se A = A.
Observao 1.4 Quando D(A) = X e A linear limitado, no existe distino entre
operadores simtricos e auto-adjunto. Entretanto se A um operador ilimitado densamente
definido, para que A seja simtrico necessitamos que D(A) D(A ) e que A |D(A) = A.
Porm se A auto-adjunto, temos D(A) = D(A ) e A = A.
Exemplo 1.3 Neste exemplo mostraremos que o operador Laplaciano auto-adjunto.
Seja RN um conjunto aberto limitado de classe C 2 e X = L2 (). Considere A como
sendo o operador do Exemplo 1.2. Sendo L2 () um espao de Hilbert, temos como conseqncia do Teorema da Representao de Riesz (Teorema C.11) que
Z
2
D(A ) = u L (); c > 0 tal que uv ckvk2
v D(A) .
SEO 1.1
Portanto
18
(1.3)
Z
Z
Z
u v = v u
|v u|
o que implica
Z
u v ckvk2 .
(1.4)
Z
u v =
Z
v u =
L2 ()
f
L2 ()
G(f ) = u,
Segue por resultados de regularidade para o problema de Dirichlet (Teorema B.2) que
u H 2 (), logo u H01 () H 2 () = D(A) conseqentemente R(I A) = X e
CAPTULO 1
19
Z
v +
g =
H01 (),
isto ,
Z
Z
(G(f )) +
f=
H01 ()
G(g)
H01 (),
Z
(G(g)) +
g =
G(f )
(G(g)) (G(f )) +
g G(f ) =
G(g) G(f ),
o que implica
G(f ), g
2
f G(g) = f, G(g) 2 ,
G(f ) g =
(u A u) v =
fv=
[uv (A u)v] =
Z
[u v u Av] =
(v Av)u
logo
Z
Z
fv=
w u.
Deste modo
Z
Z
G(f ) w =
Z
f G(w) =
Z
fv=
u w,
u D(A ).
SEO 1.1
Da
20
u D(A ).
(G(f ) u)w = 0,
q.t.p.
em
Logo
G(f ) = u
q.t.p.
em
i=1
i=1
v D(A).
CAPTULO 1
21
Conseqentemente
| u, Av
| = | Au, v
X
X
| kAukkvk ckvk
v D(A),
logo u D(A ), mostrando que D(A) D(A ). Por outro lado, defina
G :
X
f
D(A)
Gf = u,
v = Gv + AGv.
Assim
Gu, v
X
= Gu, Gv
X
+ Gu, AGv
X
= Gu, Gv
X
+ AGu, Gv
X
= u, Gv
X
Mostraremos seguir que D(A ) D(A). Dado w X, existe v D(A) tal que G(w) = v.
Seja u D(A ) e considere f = u + A u. Logo
f, v
X
= u + A u, v
X
= u, v
X
+ A u, v
X
= u, v
X
+ u, Av
X
= u, v + Av
X
isto ,
f, v
X
= u, w
X
Assim
Gf, w
X
= f, Gw
X
= f, v
X
= u, w
X
C0 -SEMIGRUPOS
SEO 1.2
22
em Y.
em X Y.
1.2
C0-Semigrupos
CAPTULO 1
23
k=1
logo
ku(t) u0 k
X
|t|j+1 kAkj+1 ku0 k
j=0
(j + 1)!
|t|kAkku0 k
X
|t|j kAkj
j=0
j!
isto ,
ku(t) u0 k |t|kAkku0 k e ktAk
da quando t 0 segue o desejado. Tambm temos que u(0) = u0 .
Propriedade 3: Para o problema
(
dv
(t) = Av(t) t 0
dt
v(0) = u(t0 ) X.
quando t 0.
Observao 1.6 Uma famlia {S(t)}t0 de operadores lineares limitados que verifica
(1)-(3) acima, tambm chamada semigrupo fortemente contnuo (Ver Pazy [22]).
SEO 1.2
C0 -SEMIGRUPOS
24
Exemplo 1.4 Se A um operador linear limitado em X, ento pelo estudo feito no Apndice
D, temos que S(t) = etA define um C0 -semigrupo. Com efeito,
1. S(0) = e0A = I;
2. S(t + s) = e(t+s)A = etA esA = S(t)S(s), para todo t, s 0;
3. Para cada u X S(t)u = etA u logo
X tk Ak u
X
j+1 j+1
t
A
u
kS(t)u uk = ketA u uk =
=
|t|kAkkuk e ktAk
k!
(j + 1)!
j=0
k=1
o que implica
kS(t)u uk 0
quando t 0,
isto ,
S(t)u u
quando t 0.
CAPTULO 1
25
ou seja,
|t| < kS(t)f (s) f (s)k <
conseqentemente
S(t)f (s) f (s)
quando t 0.
e ilimitada.
(1.5)
S(tn )u u
para cada u X
logo
n
para cada u X
para todo t 0.
C0 -SEMIGRUPOS
SEO 1.2
26
t [0, ].
(1.6)
Para t > , considere = 1 log M . Note que 0, pois M 1. Sendo t > pelo
Algoritmo de Euclides existem n N e 0 < tal que t = n + . Da
S(t) = S(n + ) = S(n)S() = (S())n S()
logo
kS(t)k = k(S())n S()k = kS()kn kS()k
o que implica
kS(t)k M n M.
(1.7)
(1.8)
t > .
(1.9)
CAPTULO 1
27
quando h 0,
portanto
lim f (s) = f (t).
st+
(1.10)
quando h 0,
isto ,
lim f (s) = f (t).
st
(1.11)
De (1.10) e (1.11) segue que f contnua, pois os limites laterais existem e so iguais.
Definio 1.12 Um C0 -semigrupo {S(t)}t0 dito uniformemente limitado se
kS(t)k M , e se kS(t)k 1, dizemos que um semigrupo de contrao.
Uma vez que a funo S()u contnua, a mesma integrvel no sentido de Bochner em
cada intervalo da semireta no-negativa. Assim usando algumas propriedades desta integral
(ver Apndice A) temos o seguinte resultado.
Lema 1.2 Para cada u X e h 0
lim
h0
1
h
t+h
S( )ud = S(t)u.
t
C0 -SEMIGRUPOS
SEO 1.2
28
para | t| < h.
S(t)u u
t
, u D(A).
= lim
f (t + s) f (s)
t0
= D+ f (s)
onde D+ f a derivada direita de f , quando tal limite existe. Deste modo, para que
f D(A), devemos ter D+ f X, o que implica em D+ f ser limitada e uniformemente
contnua. Note tambm que
f (x + t) f (x) = D+ f (x)t + r(t),
com
r(t)
t
t0
0.
CAPTULO 1
29
com
r(t)
t
t0
f (s) f (s t)
t
t0
= D+ f (s)
Au
quando h 0.
Conseqentemente
S(h)S(t)u S(t)u
h
S(t)S(h)u S(t)u
h
S(h)u u h0
= S(t)
S(t)Au.
h
(1.12)
Mas
AS(t)u = lim
h0
S(h)S(t)u S(t)u
h
= lim
h0
= D+ S(t)u.
(1.13)
C0 -SEMIGRUPOS
SEO 1.2
30
S(h)u u
S(t)Au = S(t h)
S(t)Au.
h
S(h)u u
S(t)Au = S(t h)
Au + (S(t h) S(t))Au. (1.14)
h
Mas
S(h)u u
S(h)u u
S(t h)
Au
kS(t h)k
Au
h
h
e desde que S(t h) limitado e u D(A), temos
h0
S(h)u u
0.
S(t h)
Au
h
(1.15)
k(S(t h) S(t))Auk 0.
(1.16)
S(t)Au
h
isto ,
D S(t)u = S(t)Au.
(1.17)
(1.18)
CAPTULO 1
31
Vimos que S()u D(A) quando u D(A), assim considerando D(A) com a norma do
grfico temos que
S()u C([0, ); D(A)),
(1.19)
tn t
em [0, ),
temos
kS(tn )u S(t)ukD(A) = kS(tn )u S(t)uk + kAS(tn )u AS(t)uk.
Mas, pelo Corolrio 1.11,
n
kS(tn )u S(t)uk 0
e
n
kS(tn )u S(t)ukD(A) 0,
mostrando (1.19). Portanto,
S()u C 1 ([0, ); X) C([0, ); D(A))
Como conseqncia do Teorema 1.14, usando o prximo corolrio, mostraremos a existncia e unicidade de soluo clssica para o seguinte problema de valor inicial
(
(P )
du
(t) = Au(t)
dt
u(0) = u0 .
t0
C0 -SEMIGRUPOS
SEO 1.2
32
Mostraremos que tal funo a nica soluo. De fato, suponha que v(t) soluo do
problema (P ). Definindo w(s) = S(t s)v(s), mostraremos que
dw
ds
(1.20)
CAPTULO 1
33
Com efeito,
S(t s h) S(t s) v(s + h)
S(t s h) S(t s h + h) v(s + h)
lim
= lim
h0
h0
h
h
logo
S(t s h) S(t s) v(s + h)
S(h) I
lim
= lim S(t s h)
v(s + h)
h0
h0
h
h
(1.22)
Observe que
S(h)
I
S(t s h)
v(s
+
h)
AS(t
s)v(s)
h
S(h) I
S(h) I
S(t s h)
v(s + h) S(t s h)
v(s)
h
h
|
{z
}
I1
S(h)
I
+
S(t
h)
v(s)
S(t
h)Av(s)
h
{z
}
|
I2
+
S(t s h)Av(s) S(t s)Av(s)
|
{z
}
I3
C0 -SEMIGRUPOS
SEO 1.2
34
conseqentemente
0
v(s
+
h)
v(s)
v(s
+
h)
v(s)
+ c1
S(h)v 0 (s) v 0 (s)
+ c1
v 0 (s)
,
I1 c2
v
(s)
h
h
usando a continuidade de S()v 0 (s) e a diferenciabilidade de v fica estabelecido (1).
Prova de (2):
S(h) I
I2 c1
v(s) Av(s)
h
logo sendo v(s) D(A) fica estabelecido (2).
Prova de (3): Segue pela continuidade da funo S(t s )Av(s).
De acordo com a Afirmao 2.1 temos
h0
S(h)
I
S(t s h)
0
v(s
+
h)
AS(t
s)v(s)
h
(1.23)
e
Z
A
= S(t)u u.
S( )u d
0
!Z
S( )u d =
0
"Z
Z
S(h)S( )u d
#
S( )u d .
CAPTULO 1
35
isto ,
S(h) I
!Z
S( )u d =
S( )u d
t+h
Z
h
S( )u d.
!Z
S( )u d =
S( )u d
t+h
Z
t
1
h
S( )u d.
0
lim
!Z
S( )u d = S(t)u u,
h0
mostrando que
t
S( )u d D(A)
0
com
S( )u d
= S(t)u u.
e, assim,
1
h
S( )u d D(A).
0
Do Lema 1.2
1
h
S( )u d u
quando h 0,
donde segue que D(A) denso em X, mostrando que A densamente definido. Agora, seja
{un } D(A) com
un u em X e Aun v em X.
C0 -SEMIGRUPOS
SEO 1.2
36
(1.24)
(S( )un ) d
dt
S( )Aun d =
0
conseqentemente
lim
S( )Aun d = lim
S(h)un un
h
(1.25)
De (1.24) e (1.25)
S(h)u u
h
= lim
S( )Aun d.
(1.26)
Note que,
Z
Z
Z
1 h
1 h
1 h
S( )Aun d
S( )v d
=
S( )(Aun v) d
.
h 0
h 0
h 0
Aplicando o Teorema A.6 e a limitao de S( ) obtemos
Z
Z h
Z h
1 h
1
1
h
S( )Aun d
S( )v d
M e
kAun vk d.
h 0
h
h 0
0
Como por hiptese Aun v, segue da ltima desigualdade
Z
Z
1 h
1 h
S( )Aun d =
S( )v d.
lim
n h 0
h 0
(1.27)
De (1.26) e (1.27)
S(h)u u
h
h
Por (1.28) e pelo Lema 1.2, conclumos que
S(h)u u
S( )v d.
(1.28)
v
quando h 0,
h
logo u D(A) e Au = v, mostrando que (u, v) G(A), conseqentemente A fechado.
CAPTULO 1
37
(s) =
ds
d
S1 (t s) S2 (s)u + S1 (t s)
S2 (s)u .
ds
ds
SEO 1.3
1.3
TEOREMA DE HILLE-YOSIDA
38
Teorema de Hille-Yosida
e S( )u d.
Esta integral est bem definida, pois a funo dada por f (t) = et S(t)u contnua, uma
vez que a exponencial e a funo S()u so funes contnuas, e [s, t] um intervalo fechado.
Sendo kS( )uk kuk para todo , segue que esta integral tende a zero (ao vetor nulo)
quando t, s , pois
Z
Z
Z t
t
t
ke S( )u kd
e kS( )ukd
e S( )u d
s
s
s
o que implica
Z
Z t
t
e S( )u d
kuk
e d.
s
s
Resolvendo a integral do lado direito obtemos
Z
t
1
t
s
e S( )u d
kuk e e
s
(1.29)
(1.30)
e S( )u d
CAPTULO 1
39
quando n, m
e S( )u d = lim
e S( )u d
t
7 R()u =
e S( )u d.
1
kuk,
(1.31)
Por (1.31),
kR()k
1
,
> 0.
Observao 1.8 O operador R() tambm denotado por R( : A) (ver Pazy [22]).
(1.32)
SEO 1.3
TEOREMA DE HILLE-YOSIDA
40
(1.33)
(1.34)
R()(I A)u = u.
(1.35)
e para u D(A)
Prova de (1.34): Mostraremos inicialmente que R()u D(A). De fato, para cada h > 0
!
"
#
Z
Z
S(h) I
1
R()u =
S(h)
e S( )u d
e S( )u d
h
h
0
0
o que implica
S(h) I
h
!
R()u =
"Z
e S( + h)u d
#
e S( )u d .
S(h) I
1
R()u =
e eh S( )u d
e S( )u d .
h
h h
0
Conseqentemente
!
" Z
#
Z
Z h
S(h) I
1 h
R()u =
e
e S( )u d
e S( )u d eh
e S( )u d .
h
h
0
0
0
Agrupando os termos direita da ltima igualdade, ficamos com
!
!Z
Z
S(h) I
eh 1
eh h
R()u =
e S( )u d
e S( )u d.
h
h
h 0
0
|
{z
}
R()u
(1.36)
CAPTULO 1
41
2.
eh 1
h
Z h
e S( )u d u
Tendo em vista que (1) um limite bastante conhecido, mostraremos apenas (2).
Prova de (2):
Z
Z
Z h
Z h
1 h
1 h
1
1
e S( )u d u
=
e S( )u d
S( )u d +
S( )u d u
h 0
h 0
h 0
h 0
o que implica
Z
Z
Z
1 h
1 h
1 h
e S( )u d u
(e 1)S( )ud
+
S( )u d u
h 0
h 0
h 0
usando propriedades de integral, o fato que o semigrupo de contrao e o Lema 1.2 obtemos
Z
Z
1 h
1 h
e
e S( )u d u
kuk
1 d + o(h).
(1.37)
h 0
h 0
Usando o Lema C.1
1
h
e
1 d e0 1 = 0,
e S( )Au d
SEO 1.3
TEOREMA DE HILLE-YOSIDA
42
e (S( )u)0 d,
R()Au =
0
isto ,
t
e (S( )u)0 d,
R()Au = lim
R()Au = lim e
t
S(t)u u +
S( )u d
o que implica
Z
R()Au =
e S( )u d u.
Logo
R()Au = R()u u,
ou seja,
R()(I A)u = u
mostrando (1.35).
De (1.34) e (1.35) segue (1.33).
Observao 1.9 Recordemos que se A um operador linear, no necessariamente limitado
em X, o conjunto resolvente, (A), de A o conjunto de todos os nmeros reais (ou
complexos) tais que (I A)1 existe. O operador (I A)1 chamado de operador
resolvente de A associado a . O conjunto complementar do resolvente, (A) = R\(A)
(ou (A) = C\(A)) chamado de espectro de A.
Deste modo, o gerador infinitesimal A de um semigrupo de contrao verifica as seguintes
condies
1. A fechado
2. A densamente definido
3. O operador (I A)1 existe linear e limitado para cada > 0, com
k(I A)1 k
1
.
CAPTULO 1
43
Observao 1.10 Na verdade o fechamento de A est implicito na condio (3), pois para
= 1 temos que o operador I A inversvel e com isso mostraremos que A fechado.
De fato, seja {un } D(A) com un u e Aun v. Ento se R = (I A)1 , temos
RAun Rv, uma vez que R contnua. Mas
RAun = Run un ,
(1.38)
pois
un = R(I A)un = R(un Aun ) = Run RAun .
Passando ao limite em (1.38) obtemos Rv = Ru u o que implica
u = Ru Rv = R(u v) D(A).
Por outro lado
u = R(I A)u = R(u Au) = Ru RAu,
logo RAu = Ru u. Donde segue que Rv = RAu, sendo R injetiva conclumos que v = Au.
Mostrando que A fechado.
Mostraremos agora que as condies (1)-(3) so suficientes para que A seja o gerador
infinitesimal de um semigrupo de contrao. No que segue assumiremos que A satisfaz as
condies (1)-(3) e R() = (I A)1 .
Lema 1.3 Seja A descrito acima. Ento
lim R()u = u
para cada u X.
Demonstrao: Faremos inicialmente para u D(A). Se u D(A), por (1.34) temos
R()u u = AR()u.
(1.39)
R()u u = R()Au.
(1.40)
R()u = R()u.
(1.41)
AR()u = R()Au.
(1.42)
Por (1.35)
Sendo R() linear temos
De (1.39)-(1.41) obtemos
Assim
kR()u uk = kAR()uk = kR()Auk
kAuk.
SEO 1.3
TEOREMA DE HILLE-YOSIDA
44
para cada u X.
em D(A),
da
A = 2 R() I.
(1.43)
Mostramos que, R()u D(A), para u X, da A est definido para todo u X. Alm
disso, por (1.43) temos que A um operador linear e limitado, pois R() e I so lineares
e limitados. A classe de operadores {A }, para > 0, conhecida na literatura como a
aproximao Yosida de A e ter um papel importante no nosso estudo.
Lema 1.4 Seja u D(A). Ento
lim A u = Au.
CAPTULO 1
45
(1.44)
Assim,
2 R()
et
2 R()
etI u = et
2 R()
et u = et et
uX
kuk1
uX
kuk1
mostrando que
t2 R() tI
e
= et
et2 R()
,
e
concluindo a demonstrao da Afirmao 1.
Segue de (1.44) e da Afirmao 1 que
tA
e
= et
et2 R()
et et2 kR()k
por (1.32)
tA
e
et et2 1 = et et
da
tA
e
1.
Portanto etA
t0
(1.45)
SEO 1.3
TEOREMA DE HILLE-YOSIDA
46
et(1(s+h))A et(1s)A
= et(s+h)A
+etsA
h
ethA I
h
!
u
!
et(1s)A u .
etsA et(1s)A u = etsA tA et(1s)A u + etsA tA e0tA et(1s)A u
ds
da
d
etsA et(1s)A u = t etsA A et(1s)A u + etsA A et(1s)A u .
ds
Sabendo que A e A comutam,
d
ds
etsA et(1s)A u = t etsA et(1s)A A u + etsA et(1s)A A u ,
isto ,
d
etsA et(1s)A u = tetsA et(1s)A A u + A u .
ds
Por outro lado, pelo Teorema A.8
Z
0
d
ds
etsA et(1s)A u ds = etA e0A u e0A etA u = etA u etA u
logo
Z
tA
e u etA u
=
d
ds
tsA t(1s)A
Z
u ds
d tsA t(1s)A
e
u
ds e
ds
por (1.46)
tA
e u etA u
Z
0
tsA t(1s)A
te e
A u + A u
ds
(1.46)
CAPTULO 1
47
o que implica
tA
e u etA u
t
etsA et(1s)A
A u A u
ds.
(1.47)
existe. Alm disso, por (1.48) conclumos que esta convergncia uniforme em intervalos
limitados com relao a t. Para v X, sendo D(A) denso em X, existe u D(A) tal que
kv uk suficientemente pequeno. Logo para , > 0
tA
e v etA v
etA v etA u
+
etA u etA u
+
etA u etA v
usando a linearidade de etA e a limitao dada em (1.45), para todo , obtemos
tA
e v etA v
2kv uk +
etA u etA u
o que implica na existncia do limite
lim etA u,
para todo u X, sendo esta convergncia uniforme em intervalos limitados com relao a t.
Definamos, para cada u X
S(t)u = lim etA u.
Mostraremos que {S(t)} um semigrupo de contrao. Com efeito, note inicialmente que
S(t) linear, pois etA e o limite so lineares. Alm disso, S(t) limitado, pois
S(t)u
=
lim etA u
= lim
etA u
lim
etA
kuk lim 1kuk = kuk
o que implica
S(t)
1. Agora mostraremos as propriedades de semigrupo.
SEO 1.3
TEOREMA DE HILLE-YOSIDA
48
1. Para todo u X
S(0)u = lim e0A u = lim Iu = u,
logo S(0) = I;
2. Note que
S(t + s)u = lim e(t+s)A u = lim etA esA u.
(1.49)
logo
S(t)S(s)u = lim etA esA u.
(1.50)
S(t + s) = S(t)S(s);
3. Segue da definio que para cada t 0 existe 1 tal que
ketA u S(t)uk <
2
para 1
2
t 0.
Sendo A1 um operador linear limitado temos que {etA1 }t0 um C0 -semigrupo, logo
para t prximo de zero, pela direita,
ketA1 u uk < .
2
Conseqentemente, para t prximo de zero, pela direita,
kS(t)u uk ketA1 u S(t)uk + ketA1 u uk < ,
isto ,
t0
S(t)u u.
CAPTULO 1
49
(1.51)
(etA u) = etA A u
dt
logo integrando sobre (0, t) e aplicando o Teorema A.8 obtemos
tA
e A A u d.
uu=
(1.52)
De (1.51) e (1.52)
Z
S(t)u u = lim
e A A u d = lim
"Z
e A A u Au d +
e A Au d . (1.53)
t
A
2.
0
Z
Au d
S( )Au d .
0
Z
t
A
e
A
u
Au
d
t
A u Au
.
(1.54)
SEO 1.3
TEOREMA DE HILLE-YOSIDA
50
isto ,
Z
lim
A
e Au S( )Au
d = 0.
(1.55)
Z
S(t)u u =
S( )Au d
0
da
S(t)u u
t
1
t
S( )Au d
0
S(0)Au = Au,
donde segue que u D(F ) e F u = Au. Deste modo D(A) D(F ) e F |D(A) = A. Seja
u D(F ). Considerando v = R(1)(I F )u, temos v D(A) e
(I A)v = (I A)(I A)1 (I F )u = (I F )u
o que implica
v Av = u F u = v F v = u F u = (I F )(v u) = 0.
Sendo (I F ) injetivo segue que v = u. Logo u D(A). Portanto D(F ) D(A). De onde
conclumos que D(F ) = D(A), o que implica F A.
Agora estamos aptos a enunciar o teorema mais importante deste captulo devido aos
matemticos Hille1 e Yosida2 , o qual uma conseqncia dos Teoremas 1.21 e 1.22.
1
Einar Hille (1894-1980): matemtico Americano que trabalhou na rea de equaes integrantes,
equaes diferenciais, funes especiais, sries de Dirichlet e srie de Fourier, depois se interessou por Anlise
Funcional.
2
Ksaku Yosida (1909-1990): matemtico Japones que trabalhou na rea de Anlise Funcional.
CAPTULO 1
51
S1 (t)u u
= Au u = (A I)u.
t
SEO 1.3
TEOREMA DE HILLE-YOSIDA
52
.
t
t
t
t
Logo
S(t)u u et S(t)u u et 1
=
S(t)u.
t
t
t
Passando ao limite com t 0 obtemos
lim
t0
S(t)u u
= Bu ()S(0)u = Bu + u = (B + I)u,
t
0,
t 0,
(1.56)
se, e somente se, fechado, densamente definido e para cada > , a inversa (I A)1
existe e
k(I A)1 k ( )1 .
(1.57)
Demonstrao: Suponha que A o gerador infinitesimal de um C0 -semigrupo com a propriedade (1.56), ento pelo Corolrio 1.18 temos que A fechado e densamente definido .
Falta mostrar que (I A)1 existe, para > , e que vale (1.57). Note que
I A = I I + I A = ( )I (A I).
Pelo estudo feito anteriormente A I o gerador infinitesimal de um semigrupo de contrao, logo (I (A I))1 existe para cada > 0 e
k(I (A I))1 k
CAPTULO 1
53
Por outro lado, suponha que A fechado densamente definido e que para cada > , a
inversa (I A)1 existe e vale (1.57). Considerando = , temos > 0, = + , e
por (1.57)
k(( + )I A)1 k 1 ,
isto ,
k(I (A + I))1 k 1 .
(1.58)
e
u An uk nkAu uk.
j=n
j=n
SEO 1.3
TEOREMA DE HILLE-YOSIDA
54
k
k
k
X
X
X
t(AI)
t
t
t
t
t
n
k
n
k
t
n
e
uA u =
e
A u A u
=
e
A u e
A u
.
k!
k!
k!
k=0
k=0
k=0
Logo
k
X
X
t(AI)
t
tk
k
n
t
k
n
t
e
A u An u
uA u =
e
(A u A u)
e
k!
k!
k=0
k=0
X
X
t(AI)
tk
tk
e
u An u
et
|k n|kAu uk et kAu uk
|k n|.
k!
k!
k=0
k=0
X
tk
k!
k=0
|k n|.
tk
! 21
e
k!
yk =
tk
k!
! 21
|k n|.
X
k=0
x2k
X
tk
k=0
k!
= et < ,
X
k=0
yk2
X
tk
k=0
k!
(k n) =
X
tk
k=0
k!
(k 2 2kn + n2 ).
(1.59)
CAPTULO 1
55
Afirmaes:
1. n
X
tk
k=0
2. 2n
X
tk
k=0
3.
<;
k!
X
tk
k=0
k!
k!
k < ;
k2 < .
Justificativa de (1):
n
X
tk
k=0
k!
= n2 et < .
Justificativa de (2):
X
tk
k=0
k!
k=
X
tk
k=1
k!
k=
k=1
Da
2n
tk
(k 1)!
X
tk
k!
k=0
(j+1)
X
t
j=0
j!
=t
X
tj
j=0
j!
= tet .
k = 2ntet < .
Justificativa de (3):
X
tk
k=0
k!
k =
X
tk
k=1
k!
k =
X
k=1
tk
(k 1)!
k=
(j+1)
X
t
j=0
j!
(j + 1).
X
tk
k=0
k!
k 2 = t2 et + tet < .
k=0
X
tk
k=0
k!
|k n| =
X
k=0
xk yk ,
(1.60)
SEO 1.3
TEOREMA DE HILLE-YOSIDA
56
X
tk
k=0
|k n|
k!
X
tk
k=0
! 12
X
tk
k!
k=0
k!
! 21
(k n)2
(1.61)
X
tk
k=0
k!
1
1
|k n| (et ) 2 (t2 (2n 1)t + n2 )et 2 .
Logo
X
tk
k=0
k!
1
|k n| (t2 (2n 1)t + n2 ) 2 et .
(1.62)
(1.63)
Teorema 1.25 Seja {S(t)} um semigrupo de contrao com gerador infinitesimal A. Ento,
para qualquer u X,
!n
!!n
t
n
n
u = lim
R
S(t)u = lim I A
u.
n
n
n
t
t
Demonstrao: Note que, para todo u D(A), temos
!
t n
t
u = v Av,
I A u=uA
n
n
t
para v =
t
n
u. Portanto
I
t
n
!
A u=
n
t
!
I A v,
CAPTULO 1
57
o que implica
I
t
n
A u=
!
I A u,
donde segue
I
t
n
A=
!
I A .
n
1
I A
existe, para todo t > 0, e sabendo
Pelo Teorema de Hille-Yosida, temos que
t
que
!!1
!1
t n
n n
I A
I A
=
n t
t t
t 1
temos que I A
existe para todo t > 0, e
n
!1
!1
t
n n
I A
I A
=
n
t t
implicando na igualdade
n
t
n
t
!
=
n n
t
!1
I A
t
n
!1
A
(1.64)
Sabemos que
S(t)u = lim etA u.
Considerando =
n
t
podemos escrever
tA n
S(t)u = lim e
n
u.
Mas
"
n2
n
tA nt = t 2 R
t
t
#
!
!
!
n
n2
n
n
n
I =
R
nI = n
R
I .
t
t
t
t
t
Agora
!
!1
n
n n
n
R
=
I
A
=
t
t
t t
!1
n
n
I
A
t
t
(1.65)
SEO 1.3
TEOREMA DE HILLE-YOSIDA
58
Logo
!
n
n
R
1.
t
t
"
(
!
!)#
n
n
R
I
u
exp n
t
t
n
R
obtemos
t
t
!!n
!
n
n
n
n
R
u u
.
u
n
R
t
t
t
t
e=
Assim, aplicando o Lema 1.5, para o operador A
(1.66)
Na demonstrao do Lema 1.3 vimos que se u D(A), ento para todo > 0
kR()u uk
Da para =
kAuk.
n
t
!
n
n
t
u u
kAuk.
R
t
n
t
(1.67)
R
u
para u D(A).
kAuk,
t
t
n
(1.68)
S(t)u = lim e
u = lim
n
t
n
t
!!n
u,
(1.69)
Agora para v X, existe u D(A), tal que kv uk suficientemente pequeno. Note que
!!n
!!n
tA n
n
n
n
n
tA nt
n
n
tA
tA
t
t
t
R
v
e v e u +
e u
R
u
e v
t
t
t
t
!!n
!!n
n
n
n
n
+
R
v
R
u
.
t
t
t
t
n
tA n
n
t
Sabendo que e
, t R nt
so operadores lineares limitados
tA nt
e v
n
t
!!n
tA n
tA n
v
e t kv uk +
e t u
t
!!n
n
n
+
R
kv uk.
t
t
n
t
!!n
u
t
CAPTULO 1
59
(1.70)
De (1.64) e (1.70)
S(t)v = lim
!n
I A
n
v = lim
n
t
!!n
v,
para todo v X.
(1.71)
1.4
(1.72)
Pelo Lema 1.4 e por (1.72) temos Au Au, para todo u D(A), quando . Assim
u u
Au Au,
quando ,
SEO 1.4
60
du
(t) = Au(t) t 0
dt
u(0) = u ,
0
satisfaz
u C 2 ([0, ); X) C 1 ([0, ); D(A)) C([0, ); D(A2 )).
De forma geral, se u0 D(Ak ), k 2, ento u tal que
u
k
\
j=0
onde A0 = I.
Demonstrao: Seja u0 D(A2 ), ento Au0 D(A). Conseqentemente a funo dada
por v(t) = S(t)Au0 diferencivel e verifica o problema de valor inicial
dv
(t) = Av(t) t 0
dt
u(0) = Au ,
0
com v(t) = S(t)Au0 D(A) para todo t 0. Mas
v(t) = S(t)Au0 = AS(t)u0 = Au(t) =
du
dt
(t),
logo Au D(A), da u D(A2 ). Note que, sendo Au0 D(A) temos pelo Teorema 1.14 que
v = S()Au0 C 1 ([0, ); X) C([0, ); D(A)),
isto ,
du
dt
de onde podemos concluir que
Au(t) Au(t0 ).
(1.73)
CAPTULO 1
61
Av(t) Av(t0 ),
A2 u(t) A2 u(t0 ),
o que implica
u C([0, ); D(A2 )).
(1.74)
k1
\
(1.75)
j=0
mas v(t) =
du
(t),
dt
da
u
k1
\
(1.76)
j=0
k
\
j=0
(1.77)
SEO 1.4
62
du
dt
(t) = v(t), da
du
(t)
= kv(t)k = kS(t)Au0 k kS(t)kkAu0 k kAu0 k.
dt
Se u0 D(A), ento pelo Lema 1.6, existe {un0 } D(A2 ) tal que
un0 u0
Aun0 Au0 .
(1.78)
dun
m
du
d
d
n
m
(t)
(t)
=
(S(t)u0 ) (S(t)u0 )
=
S(t)Aun0 S(t)Aum
0 .
dt
dt
dt
dt
Logo
dun
n
dum
m
(t)
(t)
=
S(t) Aun0 Aum
Au
Au
0
0
0 .
dt
dt
(1.79)
n
Sendo {un0 } e {Aun0 } seqncias de Cauchy, temos que as seqncias {un (t)} e { dudt (t)} so
seqncias de Cauchy para todo t 0. Uma vez que X um espao de Banach segue que
n
{un } e { dudt } so uniformemente convergente, pois as estimativas encontradas em (1.78) e
(1.79) no depende de t. Mais ainda
un u
dun
dt
du
dt
(1.80)
pois
un (t) = S(t)un0 S(t)u0 = u(t)
e
dun
dt
du
dt
(t).
CAPTULO 1
63
Recordando que limite uniforme implica em limite pontual, temos pela unicidade do limite
que (1.80) vlido. Note que
dun
(t)
=
S(t)Aun0
kAun0 k,
dt
e sendo k k uma funo contnua encontramos por passagem ao limite, com n , a
desigualdade
du
(t)
kAu0 k.
dt
du
(t) = A u (t)
dt
u(0) = Au ,
0
onde A aproximao de Yosida de A, tem-se
du
du
(t)
(t),
dt
dt
quando
dv
(t) = A v (t)
()
dt
v (0) = A u .
A u (t + h) A u (t)
h
= A
!
u (t + h) u (t)
.
h
SEO 1.4
64
desta forma usando um raciocnio anlogo ao que foi feito na primeira etapa da demonstrao
do Teorema 1.22, tem-se
kv (t) v (t)k =
etA A u0 etA A u0
t
A2 u0 A2 u0
.
(1.81)
(1.82)
Observe que
R()u u
=
R() R()A2 u0 R()A2 u0
=
R() R()A2 u0 A2 u0
o que implica
R()u u
R()
R()A2 u0 A2 u0
=
R()
R()A2 u0 A2 u0
sabendo que kR()k
conclumos que
R()u u
R()A2 u0 A2 u0
.
(1.83)
De (1.82) e (1.83)
2
A u0 A2 u0
2
R()A2 u0 A2 u0
.
Aplicando o Lema 1.3, obtemos
A2 u0 A2 u0
quando .
Sendo
2
A u0 A2 u0
A2 u0 A2 u0
+
A2 u0 A2 u0
obtemos
2
A u0 A2 u0
0
quando , .
(1.84)
CAPTULO 1
65
Portanto de (1.81) e (1.84), conclumos que para cada t > 0 a seqncia {v (t)} de Cauchy
em X, logo convergente, mais ainda, em intervalos limitados com relao a t, esta convergncia uniforme. Note que
v =
du
= A u = (AR())u = A((R())u .
dt
(1.85)
quando .
du
du
(t) Au(t) =
(t).
dt
dt
De fato, por (1.85) e sabendo que v = A(R())u converge para um certo ve, temos que
a seqncia {(R()u , A(R())u )} convergente em G(A), sendo A fechado segue que
(u, ve) G(A), logo ve = Au = du
. Portanto
dt
Afirmao: v (t) =
du
du
(t)
(t),
dt
dt
quando
1.5
Nesta
seo vamos considerar X um espao de Hilbert com produto interno denotado por
, X . Seja A o gerador infinitesimal de um semigrupo de contrao {S(t)}t0 e u D(A).
Ento,
S(t)u u, u X 0,
(1.86)
pois sendo X um espao de Hilbert temos para quaisquer dois vetores v1 , v2 X
kv1 + v2 k2 = kv1 k2 + 2 v1 , v2 X + kv2 k2 .
SEO 1.5
X
+ kuk2 ,
logo
2 S(t)u u, u
X
X
0.
(1.87)
X
u D(A),
X
F (v u), v u
X
=0
ou simplesmente
kv uk2 = F (v u), v u
X
CAPTULO 1
67
u D(A),
(1.88)
mostraremos que f 0, de onde podemos afirmar, pelo Teorema C.4, que D(A) = X.
Suponha por absurdo que existe f X , com f 6= 0, tal que (1.88) ocorre. Pelo Teorema da
Representao de Riesz (Teorema C.11), existe um nico v X tal que
u X
(1.89)
f (u) = v, u X
em particular para u D(A), temos por (1.88) e (1.89) que
u D(A).
v, u X = 0
(1.90)
Sendo A maximal dissipativo, temos R(I A) = X, logo existe w D(A) tal que
(I A)w = w Aw = v, da w Aw, w X = v, w X , implicando kwk2 Aw, w X = 0,
e sendo A dissipativo w = 0, conseqentemente v = w Aw = 0 A0 = 0, isto , v = 0.
Logo por (1.89) temos
u X
f (u) = v, u X = 0, u X = 0
o que implica f 0. Portanto D(A) = X, isto , A densamente definido.
Segunda Etapa: Seja v X, logo existe u D(A) tal que u Au = v, pois
R(I A) = X. Afirmamos que u nico, pois supondo que existe u
e D(A) tal que
u
e Ae
u = v, tem-se u Au = u
e Ae
u, da (u u
e) A(u u
e) = 0, considerando u
b=uu
e,
temos u
b Ab
u = 0, conseqentemente
u
b Ab
u, u
b X = 0, u
b X
o que implica
kb
uk2 Ab
u, u
b X =0
sendo A dissipativo obtemos u
b = 0, isto , u = u
e. Note que
kuk2 kuk2 Au, u = v, u X = v, u X
SEO 1.5
(1.91)
Assim a aplicao F : X D(A), dada por F (v) = u, est bem definida, linear e
limitada. De fato, uma vez mostrada a linearidade, a limitao segue por (1.91). Mostremos
a linearidade. Sejam R e v1 , v2 X, ento existem u1 , u2 D(A) tais que u1 Au1 = v1
e u2 Au2 = v2 , logo F (v1 ) = u1 e F (v2 ) = u2 . Sendo v1 + v2 X existe u
e D(A) tal que
u
e Ae
u = v1 + v2 .
(1.92)
u
e = u1 + u2 ,
(1.93)
Aun v.
CAPTULO 1
69
(1.95)
(1.96)
(1.97)
e desde que R((I A)1 ) = R(F ) D(A), temos u D(A). Logo por (1.97) uAu = uv,
da Au = v, mostrando que A fechado.
Quarta Etapa: Assuma que R(0 I A) = X, para algum 0 > 0. Considere para v X
a equao u Au = v, que podemos escrever da forma
0 u Au = (0 )u + v
ou seja,
u = (0 I A)1 [v + (0 )u].
Por um argumento
(0 I A)1 existe e
idntico
ao
da
segunda
k(0 I A)1 k
1
0
etapa,
(1.98)
podemos
mostrar
que
(1.99)
Por (1.98) temos que u um ponto fixo para a aplicao Fe : X D(A) dada por
Fe(u) = (0 I A)1 [v + (0 )u], ou seja, Feu = u. Se u1 , u2 X, ento
Feu1 Feu2
=
(0 I A)1 [v + (0 )u1 ] (0 I A)1 [v + (0 )u2 ]
por (1.99)
1
1
Feu1 Feu2
k(0 )(u1 u2 )k =
|0 |ku1 u2 k.
0
0
Logo Fe uma contrao, se |0 | < 0 , ou 0 < < 20 . Da pelo Teorema do Ponto
Fixo de Banach (Teorema C.9), a aplicao Fe possui um nico ponto fixo. Assim, para cada
v X, existe um nico u D(A) tal que
u Au = v
(0, 20 ).
SEO 1.5
Usando um raciocnio anlogo ao da segunda etapa, mostra-se que (I A)1 existe e verifica
k(I A)1 k
(0, 20 ).
Seguindo com este raciocnio, temos que dado > 0, existe i , com i = 0, 1, 2, . . . , tal que
(0, 2i ), (I A)1 existe e verifica
k(I A)1 k
De acordo com o Teorema 1.30 e Teorema de Hille-Yosida, observamos que todo operador maximal dissipativo o gerador de um semigrupo de contrao e a regularidade
para as solues dos problemas de valor inicial resulta do Teorema 1.26. As vantagens do
Teorema 1.30 so as seguintes, para verificar que A gera um C0 -semigrupo basta mostrar que:
(i)A dissipativo, (ii) R(0 I A) = X, para algum 0 > 0. O primeiro geralmente "fcil".
O segundo, resulta em encontrar soluo para uma equao do tipo u Au = v. Normalmente envolver um teorema de existncia e um teorema de regularidade como veremos
na prxima seo. Concluiremos esta seo com estudo de alguns resultados importantes
envolvendo operadores maximais dissipativo.
At o momento resolvemos problemas de valor inicial com t [0, ) quando o dado
inicial u0 D(A), e no para o caso geral u0 X; mostraremos que se A auto-adjunto
ento podemos resolver o problema para o caso geral com u0 X. Mas para isto perderemos
a diferenciabilidade em t = 0.
Teorema 1.31 Seja A um operador maximal dissipativo auto-adjunto. Se u0 X, ento
existe um nico u tal que
u C([0, ); X) C 1 ((0, ); X) C((0, ); D(A))
e
(1)
du
(t) = Au(t)
dt
u(0) = u .
0
t>0
CAPTULO 1
71
Alm disso
(2)
ku(t)k ku0 k t 0
du
1
(t)
=
Au(t)
ku0 k
dt
t
t > 0.
Considere
(t) = u1 (t) u2 (t), u1 (t) u2 (t) X .
Segue da definio de
"
#
!
d
du2
du1
(t) = 2
(t)
(t) , (u1 (t) u2 (t))
= 2 Au1 (t) Au2 (t), u1 (t) u2 (t) X
dt
dt
dt
X
o que implica
d
(t) = 2 A(u1 (t) u2 (t)), u1 (t) u2 (t) X
dt
sendo A dissipatido conclumos que d
(t) 0, logo decrescente em (0, ).
dt
Por outro lado, temos que no-negativa e contnua, pois composio de funes contnuas, alm disso
(0) = ku1 (0) u2 (0)k2 = ku0 u0 k2 = 0.
Portanto 0. Da u1 (t) = u2 (t) para todo t (0, ), isto , u1 u2 , mostrando a
unicidade.
Segunda Etapa: Suponha inicialmente que u0 D(A2 ), ento sendo A maximal dissipativo,
segue pelo Teorema 1.30 e do Teorema de Hille-Yosida, que existe uma nica u verificando
(1). Seja {S(t)} o semigrupo de contrao gerado por A, ento u(t) = S(t)u0 , logo
ku(t)k kS(t)u0 k ku0 k
e
para
du
(t)
=
Au(t)
.
dt
du
(t) = A u (t)
dt
u (0) = u ,
t0
t0
SEO 1.5
(t)
du
dt
(t),
quando
X
= (I A)1 u1 , u2
X
= v1 , u2
X
= v1 , v2 Av2
X
X
= u1 , (I A)1 u2
X
= u1 , R()u2
X
X
= u1 , R()Au2
X
X
= u1 , A u2
X
donde segue que A simtrico, sendo D(A ) = X e A limitado, temos pela Observao
1.4, que A auto-adjunto. Tambm temos que A montono, com efeito dado u X
existe v D(A) tal que v = R()u. Note que
A u, u X = AR()u, u X = AR()u, u X
da
A u, u
X
A u
X
CAPTULO 1
73
o que implica
A u, u
X
= AR()u, R()u
X
1
+ AR()u, A u X
e portanto
A u, u
X
= Av, v
X
1
1
+ AR()u, A u X = Av, v X + A u, A u X
logo
A u, u
X
= Av, v
X
1
+ kA k
X
u V,
du
(t) = Au(t) t 0
dt
u(0) = un ,
0
isto , un (t) = S(t)un0 , portanto un tem uma certa regularidade de acordo com o Teorema
1.26. Usando um raciocnio anlogo ao que foi feito na demonstrao do Corolrio 1.27,
temos
kun (t) um (t)k kun0 um
0 k
para t 0, e note que
dun
d
m
du
(t)
(t)
=
(un (t) um (t))
dt
dt
dt
SEO 1.5
para t > 0. De onde conclumos que {un (t)} converge uniformemente em [0, ) e { dudt (t)}
converge uniformemente em [, ), para qualquer > 0. Seja
u(t) = lim un (t).
n
Ento
dun
du
(t)
(t)
dt
dt
uniformemente em [, ), para qualquer > 0. Uma vez que os limites so uniformes, e
pela regularidade das un , obtemos
u C([0, ); X) C 1 ((0, ); X).
Quarta Etapa: Agora mostraremos que u(t) soluo de (1). Note que
u(0) = lim un (0) = lim un0 = u0 .
n
Alm disso, sabemos que as seqncias {un (t)} e {Aun (t)} = { dudt (t)} so convergentes,
un (t) D(A) e que A fechado, logo u(t) D(A) e
dun
du
(t) =
(t),
n dt
dt
isto ,
du
(t).
dt
Uma vez que {un (t)} e {Aun (t)} convergem uniformemente em [, ), para todo > 0,
temos que u C([, ); D(A)), para todo > 0. Assim u C((0, ); D(A)), pois dado
t (0, ), existe > 0 tal que t [, ) e sendo u C([, ); D(A)) segue que u contnua
em t, como t qualquer tem-se u C((0, ); D(A)).
Quinta Etapa: Sabemos que u(t) verifica (1), temos
Au(t) =
d
d
du
(ku(t)k2 ) =
u(t), u(t) X = 2
(t), u(t) X = 2 Au(t), u(t) X
dt
dt
dt
sendo A dissipativo, obtemos
d
(ku(t)k2 ) 0
dt
t > 0.
CAPTULO 1
75
Logo a funo ku()k2 no-crescente, em (0, ), implicando que a funo ku()k nocrescente.
Afirmao:ku(t)k ku0 k para todo t (0, ).
Com efeito, dado t (0, ), considere {tn } (0, ) tal que tn 0, quando n , logo
existe n0 N tal que t tn e assim
ku(t)k ku(tn )k
n n0 ,
t > 0,
mostrando a afirmao.
Alm disso, pela segunda etapa, temos para cada n N
dun
1
(t)
kun0 k
t > 0,
dt
t
logo passando ao limite com n , obtemos
du
1
(t)
= kAu(t)k ku0 k
dt
t
t > 0,
para u0 X.
Concluiremos o caso auto-adjunto com um resultado de regularidade.
Teorema 1.32 Seja A um operador maximal dissipativo auto-adjunto em X. Seja u a
soluo do problema de valor inicial
du
(t) = Au(t) t > 0
dt
u(0) = u ,
0
com u0 X. Ento
u C k ((0, ); D(Al ))
(1.100)
k
\
j=0
C kj ((0, ); D(Aj ))
(1.101)
SEO 1.5
para qualquer inteiro k 1. Tal fato segue por induo em k. Para k = 1, temos que (1.101)
satisfeito, pois pelo Teorema 1.31, uma vez que estamos sobre as suas hipteses, temos
u C([0, ); X) C 1 ((0, ); X) C((0, ); D(A)),
em particular
u C 1 ((0, ); X) C((0, ); D(A)),
isto ,
u
1
\
j=0
k1
\
(1.102)
j=0
com
k 2,
(1.103)
com
k 2.
(1.104)
dv
(t) = Av(t) t 0
()
dt
v(0) = u(),
para algum > 0. Sendo u(t) = S(t)u0 , temos
u(t + ) = S(t + )u0 = S(t)S()u0 .
Por (1.103), temos para k = 2, que u C((0, ); D(A)) da u() D(A), para > 0, isto
, S()u0 D(A). Assim pelo Teorema 1.14, temos
du
d
(t + ) = (S(t)S()u0 ) = AS(t)S()u0 = AS(t + )u0 = Au(t + ).
dt
dt
Note tambm que u(0 + ) = u(). Portanto u( + ) soluo do problema (), logo por
unicidade de soluo temos v(t) = u(t + ). Utilizando (1.104) temos que o dado inicial
v(0) = u() D(Ak ), logo pelo Teorema 1.26 temos
v
k
\
j=0
C kj ([0, ); D(Aj ))
CAPTULO 1
da
u
k
\
77
C kj ([, ); D(Aj ))
j=0
k
\
j=0
H
k1
X
Aj u , Aj v
X
j=0
e : D(A)
e H H definido por
Em H considere A
e = D(Ak )
D(A)
e = Au
Au
e
u D(A).
v
de
ev (t)
(t) = Ae
dt
ve(0) = ve ,
0
t>0
para todo ve0 H. Considerando ve0 = u(), observamos que v(t) = u(t + ) soluo do
Problema (1 ), logo
e
v C([0, ); H) C 1 ((0, ); H) C((0, ); D(A)),
em particular v C((0, ); D(Ak )), da u C([, ); D(Ak )) para todo > 0, donde segue
que u C((0, ); D(Ak )), mostrando (1.104) e conseqentemente (1.100), o que conclui a
demonstrao do teorema.
SEO 1.5
du
(t) = Au(t) t 0
dt
u(0) = u .
0
Ento
d
d
du
2
ku(t)k =
u(t), u(t) X = 2
(t), u(t)
= Au(t), u(t) X = 0
dt
dt
dt
X
o que implica
d
ku(t)k = 0,
t 0
dt
conseqentemente a funo ku()k constante em [0, ). Deste modo
ku(t)k = ku0 k
t 0.
Note que, se {S + (t)} o semigrupo de contrao gerado por A ento u(t) = S + (t)u0 ,
o que implica kS + (t)u0 k = ku0 k, para todo t 0, sendo u0 D(A), qualquer tem-se
kS + (t)uk = kuk, para todo t 0 e para todo u D(A). Mas D(A) denso em X, logo
kS + (t)uk = kuk, para todo t 0 e para todo u X, donde segue que S + (t) uma isometria.
De maneira anloga, se {S (t)} o semigrupo de contrao gerado por A ento S (t)
tambm uma isometria para todo t 0. Se definimos
(
S + (t),
t0
S(t) =
S (t), t 0,
temos que {S(t)}tR gerado por A e A, mais ainda S(t) uma isometria, para todo
t R. Faltando mostrar que {S(t)}tR um grupo. Claramente vale a associatividade em
{S(t)}tR e existe o elemento neutro em {S(t)}tR , que o operador identidade. Assim basta
mostrar que todo elemento de {S(t)}tR inversvel. Dado u0 D(A), considere o seguinte
problema
dv
(t) = Av(t) t > 0
dt
v(0) = u .
0
cuja soluo dada por v(t) = S + (t)u0 .
ve(t) = v(t0 t), ento em [0, t0 ]
dv
de
v
(t) = (t0 t) = Av(t0 t) = Ae
v (t)
dt
dt
Seja
CAPTULO 1
79
v
de
(t) = Ae
v (t) t > 0
dt
ve(0) = S + (t )u ,
0 0
da ve(t) = S (t)S + (t0 )u0 para todo t [0, t0 ], em particular ve(t0 ) = S (t0 )S + (t0 )u0 . Mas
ve(t0 ) = v(0) = u0 . Deste modo, para cada u0 D(A) S (t0 )S + (t0 )u0 = u0 . Sendo D(A)
denso em X, temos
S (t0 )S + (t0 )u0 = u0
u0 X.
Seguindo um raciocnio anlogo, obtemos
S + (t0 )S (t0 )u0 = u0
u0 X.
u0 X, t 0,
u0 X, t 0.
e
Desta forma, se t 0, ento
(S(t))1 = (S + (t))1 = S (t) = S(t),
se t 0, ento
(S(t))1 = (S (t))1 = S + (t) = S(t).
Portanto (S(t))1 = S(t), para todo t R. De onde conclumos que {S(t)}tR um grupo
de isometria.
CAPTULO 2
Aplicaes Envolvendo Teoria de Semigrupos
Neste Captulo utilizaremos a teoria estudada no
Captulo 1, para resolver problemas de valor inicial. Iniciaremos com problemas homogneos,
estudando a equao do calor e a equao da
onda, com condio de froteira de Dirichlet.
Depois estudaremos problemas no-homogneos,
comeando com o caso linear apresentaremos
trs situaes onde soluo generalizada ser
soluo clssica. Para o caso no-linear estudaremos duas situaes onde soluo generalizada ser soluo clssica. Um ponto importante que devemos observar que para obter
solues clssicas, com a teoria estudada at
o momento, precisamos que o dado inicial do
problema pertena ao domnio do operador relacionado ao problema.
80
CAPTULO 2
2.1
2.1.1
O Caso Homogneo
A equao do Calor
u(x, 0) = u0 (x), x .
Estudaremos este problema usando a teoria de semigrupos.
Teorema 2.1 Seja u0 L2 (). Ento existe uma nica soluo u de (P1 ) tal que
u C([0, ); L2 ()) C 1 ((0, ); L2 ()) C((0, ); H 2 () H01 ()).
(2.2)
Alm disso,
u C ( (0, )).
Demonstrao: Considere X = L2 () e A : D(A) X X com
)
D(A) = H 2 () H01 ()
Au = u, u D(A).
(2.3)
(2.4)
SEO 2.1
O CASO HOMOGNEO
82
Logo A dissipativo, isto , o operador Laplaciano dissipativo. Alm disso como foi
mostrado no Exemplo 1.3 A maximal dissipativo, isto , R(I A) = X, e A auto-adjunto.
Assim pelo Teorema 1.31, existe uma nica u que soluo do problema (P1 ) verificando
u C([0, ); L2 ()) C 1 ((0, ); L2 ()) C((0, ); H 2 () H01 ()),
mostrando (2.2), e pelo Teorema 1.32
u C k ((0, ); D(Al ))
(2.5)
para quaisquer inteiros no-negativos k e l. Note que, sendo D(A) = H 2 () H01 (), temos
por regularidade do domnio que
D(Ak ) = u H 2k (); u = u = . . . = k1 u = 0 em .
Por (2.5) temos, em particular que
u C k ((0, ); D(Ak )),
k 0.
Pelas imerses de Sobolev (Teorema B.4), sabemos que H 2k () C k (), para todo k >
logo D(Ak ) , C k (), para todo k > N2 , o que implica u((0, )) C k (). Logo
u C k (0, ); C k () ,
k>
N
,
2
N
,
2
e portanto
u C k (0, ) ,
k>
N
,
2
conseqentemente
u C (0, ) ,
mostrando (2.3).
Observao 2.1 Um ponto importante para mencionar que apesar do dado inicial no
ter uma regularidade "boa", u0 L2 (), temos que a soluo u(x, t) "bastante"suave,
u C ( (0, )). Isso conhecido na literatura como efeito de regularizao forte
do operador calor.
CAPTULO 2
2.1.2
A equao da Onda
A equao da Onda o exemplo mais simples de uma equao diferencial parcial hiperblica
de segunda ordem. Se x Rn representa a varivel espao e t a varivel tempo, a mesma
pode modelar ondas em transporte ou vibrao de cordas quando n = 1, ondas na superficie
de gua quando n = 2, e ondas em optica ou acstica quando n = 3. O problema de valor
inicial para a equao da onda dado por
2
u (x, t) u(x, t) = 0
t2
u(x, 0) = u0 (x)
(x, 0) = v0 (x),
t
onde e o operador Laplaciano apenas na varivel espacial e u0 e v0 so o deslocamento
inicial e a velocidade inicial respectivamente. No caso em que x , com RN , podemos
2
considerar condies de fronteira. Na literatura o operador t
2 as vezes denotado por
, sendo conhecido como operador DAlembertiano.
Teorema 2.2 Seja RN um conjunto aberto
u0 H 2 () H01 () e v0 H01 (). Ento o problema
2
u (x, t) u(x, t) = 0,
em
t2
u = 0,
em
(P2 )
u(x, 0) = u0 (x),
em
(x, 0) = v0 (x),
em
t
limitado de classe C .
Seja
[0, )
[0, )
u
2
(t)
+
u(t)
2 =
v0
2 +
u0
2 ,
t
2
2
2
2
t 0.
(2.6)
(2.7)
Suponha que os dados iniciais verificam u0 , v0 H k (), para todo inteiro no-negativo k e
em
u0 = u0 = . . . = j u0 = . . . = 0
e
v0 = v0 = . . . = j v0 = . . . = 0
para todo inteiro no-negativo j. Ento
u C [0, ) .
(2.8)
SEO 2.1
O CASO HOMOGNEO
84
v = 0,
em (0, )
t
f2 )
(P
v u = 0, em (0, ).
t
Definindo o operador A : D(A) X X por
(
D(A) = (H 2 () H01 ()) H01 ()
Au = (v, u),
com u = (u, v) D(A),
mostraremos que A maximal dissipativo. Note que, para u = (u, v) D(A) temos
Z
Z
v u + u v,
Au, u X =
(2.9)
v u = h2 .
|
{z
}
(2 )
(2.10)
CAPTULO 2
e verifica (1 ), de onde conclumos que dado h X existe u = (u, v) D(A) tal que
(I A)u = h, isto ,
R(I A) = X.
(2.11)
De (2.9) e (2.11) segue que A maximal dissipativo.
Portanto para u0 = (u0 , v0 ) D(A), existe uma nica soluo u = (u, v) X para o
problema
u
= Au,
t0
c
(P2 )
t
u(0) = u ,
0
com
u C 1 ([0, ); X) C([0, ); D(A)).
(2.12)
v 0 = u
logo
u00 = u,
donde segue que
2u
u = 0,
t2
Para (x, t) [0, ) temos
u(x, t) = u(t)x = 0
em [0, ).
x e t [0, ),
pois u(t) H01 (), para todo t [0, ), logo u(t)x = 0, para todo x , o que implica
u=0
em [0, ).
em
SEO 2.1
O CASO HOMOGNEO
86
e
v(x, 0) = v0 (x)
em ,
ou seja,
u
(x, 0) = v0 (x)
t
em .
(2.13)
(2.14)
e
f2 ), v = u , da por (2.14)
Mas por (P
t
u C 2 ([0, ); L2 ()) C 1 ([0, ); H01 ()).
(2.15)
0 00
uu
u0 u = 0,
isto ,
u0 , u00
2
u0 , u
2
= 0.
(2.16)
Note que
1 d
0
2 1 d
1
0
0
0
00
0
00
u
=
u
,
u
=
2
u
,
u
=
u
,
u
2
2
2
2
2 dt
2 dt
2
(2.17)
1 d
2 1 d
1
u
=
u, u 2 = 2 u, u = u0 , u 2 .
2
2 dt
2 dt
2
t
2
(2.18)
CAPTULO 2
1
u0
2 + 1
u
2
2
2
2
2
= 0,
isto ,
d
dt
2
1
u
2 1
= 0,
u 2
+
}
|2 t 2 {z 2
a funo E(t) constante com relao ao tempo t, o que implica E(t) = E(0) para todo
t 0, ou seja,
2 1
2 1
2
1
u
2 1
(t)
+
u(t)
2 =
v0
2 +
u0
2
2 t
2
2
2
2
t 0,
mostrando (2.7).
Prova de (2.8): Uma vez que, D(A) = (H 2 () H01 ()) H01 (), temos por resultados de
regularidade (Ver Teorema B.2) que
)
e em
u H k+1 (), v Hk ()
u = (u, v); j
,
k
k+1
u = 0, 0 j
, j v = 0, 0 j
1
2
2
(
D(Ak ) =
onde [b] := o maior inteiro menor do que ou igual a b. Assumindo as novas hiptese sobre
os dados iniciais temos que u0 = (u0 , v0 ) D(Ak ), para todo inteiro no-negativo k, logo
pelo Teorema 1.26
k
\
u
C kj ([0, ); D(Aj ))
j=0
da
u C k ([0, ); D(Al ))
para quaisquer k e l inteiros no-negativos. Em particular
u C k ([0, ); D(A2k1 ))
logo
u C k ([0, ); H 2k ())
e pelas imerses de Sobolev (Teorema B.4) obtemos
u C k ([0, ); C k ())
k >
N
2
SEO 2.2
O CASO NO-HOMOGNEO
88
k >
N
2
o que implica
u C ( [0, )),
mostrando (2.8) e com isto conclumos a demonstrao do teorema.
Observao 2.2 Fisicamente (2.7) significa que o sistema conservativo, isto , a energia
total do sistema permanece a mesma com o decorrer do tempo; o que j era de se esperar,
pois o sistema homogneo, uma vez que no h foras externas atuando.
2.2
O Caso No-Homogneo
2.2.1
A Equao Linear
dw
u(s + h) u(s)
I S(h)
(s) = lim S(t (s + h))
+
u(s)
h0
ds
h
h
o que implica
dw
du
(s) = S(t s)
(s) Au(s) .
ds
dt
CAPTULO 2
(2.19)
Note que, se f L1 ([0, T ]; X) ento, S(t s)f (s) integravl em [0, T ], pois
Z
kf (s)kX ds < .
f
kS(t s)f (s)kX ds M
0
Z
w(t) w(0) =
o que implica
Z
u(t) = S(t)u0 +
(2.20)
Deste modo uma soluo clssica do problema (P3 ), com f L1 ([0, T ]; X), tem a forma
dada em (2.20) e conseqentemente nica.
Definio 2.4 Seja u0 X e f L1 ([0, T ]; X). Dizemos que a funo u C([0, T ]; X)
dada por (2.20) a soluo generalizada do problema (P3 ).
Neste caso, para f L1 ([0, T ]; X) a soluo generalizada sempre existe. Como vimos,
soluo clssica sempre uma soluo generalizada, quando f L1 ([0, T ]; X). Mas a recproca no verdadeira. Veja o seguinte exemplo.
Exemplo 2.1 Seja x X tal que S(t)x 6 D(A) para algum t 0. Seja f (t) = S(t)x, ento
f contnua, conseqentemente f L1 ([0, T ]; X), assim a soluo clssica do problema (P3 )
com u0 = 0 D(A) caso exista, dada por
Z
Z
S(t s)S(s)x ds =
u(t) = S(t)0 +
0
S(t)x ds = tS(t)x,
0
isto ,
u(t) = tS(t)x.
Note que,
u(t + h) u(t)
(t + h)S(t + h)x tS(t)x hS(h)S(t)x
S(h)S(t)x =
h
h
logo
S(h) I
u(t + h) u(t)
S(h)S(t)x = t
S(t)x.
h
h
(2.21)
SEO 2.2
O CASO NO-HOMOGNEO
90
S(h) I
S(t)x
h
o que implicaria em S(t)x D(A), o que no ocorre, logo u(t) = tS(t)x no diferencivel.
Conseqentemente u no soluo clssica, pois u no verifica o problema.
Agora examinaremos situaes onde solues generalizadas so clssicas.
Teorema 2.5 Seja f : [0, T ] X contnua e
Z t
v(t) =
S(t s)f (s) ds,
0 t T.
Se o problema (P3 ) possui uma (nica) soluo clssica para u0 D(A), ento v possui as
seguintes propriedades:
(i) v(t) continuamente diferencivel em (0, T );
(ii) v(t) D(A) para todo t (0, T ) e Av(t) contnua em (0, T ).
Demonstrao: Seja u a soluo clssica do problema (P3 ), ento por definio u contnua
em [0, T ], continuamente diferencivel em (0, T ), u(t) D(A) para 0 < t < T e u satisfaz
(P3 ) em (0, T ). Sendo f contnua tem-se f L1 ([0, T ]; X), conseqentemente u tem a forma
dada em (2.20), o que implica
u(t) = S(t)u0 + v(t).
Sendo u0 D(A) temos S(t)u0 D(A), da
v(t) = u(t) S(t)u0 D(A)
Alm disso,
Av(t) = A(u(t) S(t)u0 ) = Au(t) AS(t)u0 =
du
d
(t) f (t) (S(t)u0 ).
dt
dt
Logo Av(t) contnua em (0, T ), pois soma de funes contnuas em (0, T ). Deste modo fica
estabelecido (ii). Note que, S(t)u0 soluo para o problema homogneo, isto , o problema
(P3 ) com f 0, logo S(t)u0 C 1 ([0, ); X) C([0, ); D(A)), conseqentemente v(t)
continuamente diferencivel em (0, T ), pois soma de funes continuamente diferenciveis,
mostrando (i).
CAPTULO 2
Z
0
t+h
Z t
Z
1 t+h
S(t+hs)f (s) ds S(ts)f (s) ds
S(t+hs)f (s) ds,
h t
0
isto ,
Z
v(t + h) v(t) 1 t+h
S(h) I
v(t) =
dv
(t) f (t)
dt
donde segue que Av(t) contnua em (0, T ), pois soma de funes contnuas, mostrando
(ii). Agora suponha que (ii) ocorre, por (2.24)
D+ v(t) = Av(t) + f (t),
SEO 2.2
O CASO NO-HOMOGNEO
92
logo D+ v contnua, pois soma de funo contnua. Pelo Teorema A.12, segue que v(t)
diferencivel e conseqentemente
dv
(t) = Av(t) + f (t)
dt
donde segue que v(t) continuamente diferencivel, mostrando (i).
Teorema 2.6 Se a condio (i) (ou, equivalentemente (ii)) do Teorema 2.5 verificada a
soluo generalizada do problema (P3 ) soluo clssica, para u0 D(A).
Demonstrao: Neste caso temos v(t) D(A). Sendo u0 D(A) temos S(t)u0 D(A).
Assim
u(t) = S(t)u0 + v(t) D(A).
Sendo v(t) e S(t)u0 continuamente diferenciveis em (0, T ), segue que u(t) continuamente
diferencivel em (0, T ). Note que
Au(t) = A(S(t)u0 + v(t)) = AS(t)u0 + Av(t) =
dv
d
(S(t)u0 ) +
(t) f (t),
dt
dt
logo
Au(t) =
d
du
(S(t)u0 + v(t)) f (t) =
(t) f (t)
dt
dt
o que implica
du
(t) = Au(t) + f (t).
dt
Note tambm que
u(0) = S(0)u0 + v(0) = u0 .
Mostraremos agora que u contnua em [0, T ]. Com efeito, para tn t em [0, T ], temos
ku(tn )u(t)k = kS(tn )u0 +v(tn )S(t)u0 v(t)k kS(tn )u0 S(t)u0 k+kv(tn )v(t)k. (2.25)
Pelo Corolrio 1.11
kS(tn )u0 S(t)u0 k 0
quando
n .
(2.26)
Por hiptese, temos que v(t) continuamente diferencivel em (0, T ), logo contnua em
(0, T ). O mesmo vale para as extremidade, isto , v contnua em 0 e em T . De fato,
suponha que t 0. Note que
Z t
Z t
kv(t)k =
S(t s)f (s)ds
kS(t s)kkf (s)kds.
0
CAPTULO 2
Sendo f contnua, temos que sobre o compacto [0, T ], kf k limitada por uma constante
C 0. Temos tambm, pelo Teorema 1.10, uma limitao para S(t s), o que implica
Z t
Z t
(ts)
t
e
ds CM e
es ds,
kv(t)k CM
0
donde
t
kv(t)k CM e
1
et
Fazendo t 0, obtemos
kv(t)k 0,
da
kv(t) v(0)k = kv(t)k 0,
quando
t 0,
Da
Z t
Z
kv(t) v(T )k =
S(s)f (t s) ds
0
S(s)f (T s) ds
logo
Z t
Z
kv(t) v(T )k
S(s) f (t s) f (T s) ds
+
0
S(s)f (T s) ds
o que implica
Z
kv(t) v(T )k
Z
kS(s)kkf (t s) f (T s)k ds +
kS(s)kkf (T s)k ds
t
kv(t) v(T )k M e
kf (t s) f (T s)k ds + CM eT (T t).
SEO 2.2
O CASO NO-HOMOGNEO
94
Corolrio 2.7 Se f C 1 ([0, T ]; X), o problema (P3 ) possui uma nica soluo clssica,
para todo u0 D(A).
Demonstrao: Seja
Z t
Z t
S(t s)f (s) ds =
S(s)f (t s) ds.
v(t) =
0
Observe que
Z
v(t + h) v(t)
=
h
t+h
Z
S(s)f (t + h s) ds
S(s)f (t s) ds
0
o que implica
v(t + h) v(t)
=
h
Z
0
Z
f (t + h s) f (t s)
1 t+h
S(s)
ds +
S(s)f (t + h s) ds.
h
h t
s)
f
(t
s)
0
S(s)
ds
S(s)f
(t
s)
ds
h
0
0
Z t
S(s)
f (t + h s) f (t s) f 0 (t s)
ds
h
0
Z t
f (t + h s) f (t s)
M eT
f 0 (t s)
ds.
h
0
Considerando, para cada t fixado, a funo
f (t + h s) f (t s)
0
gh (s) =
f (t s)
,
h
note que
gh (s) 0 quando h 0, pois f diferencivel.
gh (s) c1 , para todo s [0, T ], pois
f (t + h s) f (t s)
0
+
f (t s)
,
gh (s)
h
CAPTULO 2
e sendo f C 1 ([0, T ]; X), existe uma constante c1 0 tal que gh (t) c1 , para todo
s [0, T ].
Portanto pelo Teorema da Convergncia Dominada de Lebesgue (Teorema B.6) temos
Z t
lim
gh (s) ds = 0,
h0
isto ,
Z t
f (t + h s) f (t s)
0
ds 0,
f
(t
s)
h
0
h 0.
quando
Portanto
Z t
Z t
f
(t
+
h
s)
f
(t
s)
0
0,
S(s)
ds
S(s)f
(t
s)
ds
h
0
0
quando h 0.
t+h
1
S(s)f (t + h s) ds =
h
t+h
1
S(s) f (t + h s) f (0) ds +
h
t+h
(2.28)
Pelo Lema 1.2 temos que a segunda parcela do lado direito de (2.28) converge para S(t)f (0),
quando h 0, segue da continuidade da funo f e da limitao do semigrupo que a
primeira parcela do lado direito de (2.28) converge para zero, o que resulta na veracidade de
(b). Mostrando a Afirmao 1.
Da Afirmao 1 temos
Z t
+
D v(t) = S(t)f (0) +
S(s)f 0 (t s) ds,
0
ou seja,
Z
contnua em (0, T ).
De fato, seja t t0 em (0, T ), mostraremos que ve(t) ve(t0 ). Suponha que 0 t0 t, note
que
Z t
Z t0
0
0
ke
v (t) ve(t0 )k =
S(t s)f (s) ds
S(t0 s)f (s) ds
,
0
SEO 2.2
O CASO NO-HOMOGNEO
96
logo
t0
Z
ke
v (t) ve(t0 )k =
S(t s) S(t0 s) f 0 (s) ds
t0
S(t s)f 0 (s) ds
o que implica
t0
Z
ke
v (t) ve(t0 )k
S(t s) S(t0 s) f 0 (s)
ds +
S(t s)
kf 0 (s)k ds.
t0
Da
Z
ke
v (t) ve(t0 )k
t0
S(t s) S(t0 s) f 0 (s)
ds + M e(tt0 )
kf 0 (s)k ds.
(2.29)
t0
Considerando
get (s) =
S(t s) S(t0 s) f 0 (s)
,
note que
get (s) 0
quando t t0 ,
implicando que a funo get limitada por uma funo que pertence a L1 ([0, T ]). Portanto,
pelo Teorema da Convergncia Dominada de Lebesgue (Teorema B.6) temos
Z t0
lim
get (s)ds = 0,
tt0
isto ,
Z
t0
lim
tt0
S(t s) S(t0 s) f 0 (s)
ds = 0.
t
0
(tt0 )
kf (s)k ds = M e
Me
t0
t0
Considerando
gbt (s) = [t0 , t] (s)kf 0 (s)k,
temos
gbt (s) 0 quando t t0 ;
(2.30)
CAPTULO 2
|b
gt (s)| kf 0 (s)k L1 ([0, T ]).
Portanto pelo Teorema da Convergncia Dominada de Lebesgue (Teorema B.6)
Z t
gbt (s)ds = 0,
lim
tt0
t0
isto ,
Z
lim
tt0
t0
tt0
t0
(2.31)
t0
De (2.29)-(2.31)
lim ke
v (t) ve(t0 )k = 0
tt0
Z
0
t+h
1
S(t + h s)f (s) ds
h
logo
1
v(t + h) v(t)
=
h
h
Z
t
t+h
1
S(t + h s)f (s) ds +
h
Z
0
S(t s)S(h) S(t s) f (s) ds,
SEO 2.2
O CASO NO-HOMOGNEO
98
o que implica
v(t + h) v(t)
1
=
h
h
t+h
Z
S(t + h s)f (s) ds +
S(h) I
f (s) ds.
S(t s)
h
(2.32)
s)
f
(s)
ds
S(t
s)Af
(s)
ds
h
0
0
Z t
S(t s)
S(h)f (s) f (s) Af (s)
ds
h
0
Z t
t
s
S(h)f (s) f (s)
Me
e
Af (s)
ds
h
0
Z t
S(h)f (s) f (s)
T
ds.
Me
Af
(s)
h
0
Considerando a funo
S(h)f (s) f (s)
Af (s)
gh (s) =
,
h
note que
gh (s) 0
s [0, T ].
(2.33)
CAPTULO 2
Portanto para cada u D(A), existe uma constante c1 0 tal que kGh (u)k c1 . Da pelo
Teorema de Banach-Steinhaus (Teorema C.1) , existe uma constante e
c > 0 tal que
kGh (u)k e
c kukD(A)
u E e h > 0,
kGh f (s)k e
c kf (s)kD(A) ,
s [0, T ] e h > 0.
conseqentemente
(2.34)
Note que
gh (s) = gh (s) =
Gh f (s) Af (s)
Gh f (s)
+
Af (s)
por (2.34)
gh (s) e
c kf (s)kD(A) +
Af (s)
.
(2.35)
Af (s)
c3
s [0, T ].
(2.36)
isto ,
Z t
S(h)f (s) f (s)
ds = 0.
Af
(s)
lim
h0 0
h
Uma vez que M eT constante, segue do limite acima a prova de (b) e conseqentemente a
Afirmao 1. Portanto passando ao limite em (2.32), com h 0, obtemos
Z t
+
D v(t) = f (t) +
S(t s)Af (s) ds,
0
mostrando que D+ v contnuo e, portanto, pelo Teorema A.12 temos que v(t) continuamente diferencivel. Logo, pelo Teorema 2.6, a soluo generalizada do problema (P3 )
soluo clssica.
Corolrio 2.9 Sejam X um espao de Banach Reflexivo, A o gerador de um
C0 -semigrupo {S(t)}t0 e f : [0, T ] X uma funo Lipschitziana, isto , existe uma
constante L 0, chamada de constante de Lipschitz, tal que
kf (t1 ) f (t2 )k L |t1 t2 |
SEO 2.2
O CASO NO-HOMOGNEO
100
Ento para cada u0 D(A) o problema (P3 ) possui uma nica soluo clssica.
Demonstrao: Inicialmente observamos que sendo f Lipschitziana, segue por resultados
de Clculo Avanado (Ver Brzis [7]) que f diferencivel quase sempre e f 0 L1 ([0, T ]; X).
Seguiremos um raciocnio anlogo ao que foi feito no Corolrio 2.7 calculando D+ v. Observe
que
v(t + h) v(t)
=
h
Z
0
Z
f (t + h s) f (t s)
1 t+h
S(s)
ds +
S(s)f (t + h s) ds.
h
h t
t+h
s)
f
(t
s)
0
S(s)
ds
S(s)f
(t
s)
ds
h
0
0
Z t
f (t + h s) f (t s)
0
ds.
f
(t
s)
M eT
h
0
Considerando, para t fixo, a funo
f (t + h s) f (t s)
0
f (t s)
gh (s) =
,
h
temos
gh (s) 0 quase sempre, quando h 0, pois f diferencivel quase sempre.
Agora observe que
f (t + h s) f (t s)
0
gh (s)
+
f (t s)
,
h
sendo f Lipschitziana, obtemos
gh (s) L +
f 0 (t s)
,
CAPTULO 2
uma vez que f 0 L1 ([0, T ]; X) segue que gh limitada por uma funo que pertence ao
espao L1 ([0, T ]), logo pelo Teorema da Convergncia Dominada de Lebesgue (Teorema B.6)
temos
Z t
lim
h0
gh (s)ds = 0,
0
isto ,
Z t
f (t + h s) f (t s)
0
f (t s)
ds 0,
h
0
quando
Portanto
Z t
Z t
f
(t
+
h
s)
f
(t
s)
0
0,
S(s)f
(t
s)
ds
ds
S(s)
h
0
h 0.
quando h 0.
usando um raciocnio anlogo ao que foi feito no corrio 2.7 temos que v contnuamente
diferencivel. Portanto pelo Teorema 2.6 temos que a soluo generalizada soluo clssica.
De onde conclumos que o problema (P3 ) possui uma nica soluo clssica, para cada
u0 D(A).
Aplicaes:
Com os resultados demonstrados nesta seo, temos condies de resolver as seguintes
classes de E.D.P.:
1. A equao do calor no-homognea, isto , o sistema est recebendo calor de uma
fonte externa.
u(x, 0) = u0 (x)
x .
SEO 2.2
O CASO NO-HOMOGNEO
102
CAPTULO 2
Assim se u0 (x) H 2 () H01 ()) temos pelos Corolrios 2.7, 2.8 ou 2.9, dependendo
da condio sobre a f , temos que o problema (?1 ), possui uma nica soluo clssica.
2. A equao da onda no-homognea.
(?2 )
2
u
t
u = 0,
u(x, 0) = u0 (x),
u (x, 0) = v0 (x),
t
em [0, )
em [0, )
x
x .
U
(t) AU (t) = F (t)
t
U (0) = U0 .
SEO 2.2
O CASO NO-HOMOGNEO
104
CAPTULO 2
2.2.2
A Equao No-Linear
logo
Z t
ku1 (t) u2 (t)k =
S(t s) F u1 (s) F u2 (s) ds
0
o que implica
T
L
0
para t [0, T ], com T qualquer, logo pela Desigualdade de Gronwall na forma integral
(Teorema C.7), conclumos que u1 (t) = u2 (t) para todo t [0, T ], sendo T qualquer temos,
u1 (t) = u2 (t) para todo t 0, isto , u1 u2 .
Existncia: Para um constante k 0, que ser escolhida convenientemente, defina o
seguinte conjunto
Y =
SEO 2.2
O CASO NO-HOMOGNEO
106
Com relao ao conjunto Y sabemos que o mesmo um espao de Banach munido com a
seguinte norma
kukY = sup ekt ku(t)k.
(Ver Apendice A)
t0
Considerando a funo
: Y X
u 7 u : [0, ) X
t
Z
t
7 u(t) = S(t)u0 +
0
s)
ds
S(s)F
u(t
s)
ds
0
0
conseqentemente
Z
kg(t) g(t0 )k =
t0
S(s) F u(t s) F u(t0 s) ds
t0
S(s)F u(t s) ds
.
t0
[t0 ,t] (s)
F u(t s)
ds.
t0
(2.38)
Sabendo que as funes u, F u so contnuas mostra-se usando o Teorema da Convergncia Dominada de Lebesgue (Teorema B.6) que o lado direito de (2.38) converge para zero
quando t t0 , o que implica que g contnua direita em [0, T ], sendo T qualquer, segue
a continuidade direita em [0, ), e conseqentemente a continuidade direita de u em
[0, ). De maneira anloga mostra-se a continuidade esquerda de u em (0, ). Portanto
u C([0, ); X).
CAPTULO 2
s)F
u(s)
ds
S(t)u
+
0
0
o que implica
t
M e(ts)
F u(s)
ds
ku(t)k M e ku0 k +
0
logo
t
ku(t)k M e ku0 k + M e
F u(s) F 0(s)
ds + M et
e
0
es kF 0(s)k ds
da
t
t
s
ku(t)k M e ku0 k + LM e
es ds.
ku(s)k ds + M e kF 0k
0
Sendo u Y ,
t
ku(t)k M e ku0 k + L1 M e
t
(k)s
ds + M e kF 0k
es ds,
ku(t)k M e ku0 k + L1 M e
1
e(k)t
k
k
1
et
+
+ M e kF 0k
o que implica
kt
(k)t
ku(t)k M e
(k)t
ku0 k+L1 M e
t
e(k)t
1
1
e
(k)t
+
+M e
kF (0)k
k k
conseqentemente
ekt ku(t)k M e(k)t ku0 k +
L1 M
M (k)t
+
e
kF (0)k.
k
L1 M
M
+
kF (0)k
k
t [0, +)
portanto
sup ekt ku(t)k < ,
t0
mostrando a afirmao.
Assim, para k > , podemos redefinir a funo da seguinte forma
: Y Y
u 7 u : [0, ) X
Z
t
7 u(t) = S(t)u0 +
SEO 2.2
O CASO NO-HOMOGNEO
108
Mostraremos agora que, para certos valores de k a funo : Y Y uma contrao. Com
efeito, sejam u, v Y , ento u v Y e
ku(t) v(t)k ekt ku vkY ,
t 0.
(2.39)
Note que
Z
Z t
t
u(t) v(t)
=
S(t s)F v(s) ds
S(t s)F u(s) ds
0
de onde segue
u(t) v(t)
S(t s)
F u(s) F v(s)
ds
logo
t
u(t) v(t)
Let
es
u(s) v(s)
ds
e por (2.39)
u(t) v(t)
Let ku vkY
e(k)s ds
mostrando que
e(k)t
1
k
k
ekt
u(t) v(t)
L
ku vkY
k
u(t) v(t)
Let ku vkY
da
Let ku vkY
e(k)t
k
t 0.
u v
Y
Assim, fixando k > L + > , temos que : Y Y uma contrao. Portanto aplicando
o Teorema do Ponto Fixo de Banach (Teorema C.9), existe u C([0, ); X) tal que u = u,
isto ,
Z
t
u(t) = S(t)u0 +
0
u
e(t) = S(t)u(h) +
S(t s)F u
e(s) ds.
CAPTULO 2
Usando a definio de u
e, temos
Z
Z
S(h s)F u(s) ds +
u
e(t) = S(t)S(h)u0 + S(t)
isto ,
Z
Z
S(t + h s)F u(s) ds +
u
e(t) = S(t + h)u0 +
t+h
Z
S(t + h s)F u(s) ds +
ou seja,
t+h
Z
u
e(t) = S(t + h)u0 +
ou ainda,
Z
t+h
Assim
Z t
Z t
S(t
s)F
u(s)
ds
S(t
s)F
u
e
(s)
ds
S(t)u
ke
u(t) u(t)k =
S(t)u(h)
+
0
0
o que implica
ke
u(t) u(t)k
S(t)
u(h) u0
+
Z
0
S(t s)
F u
e(s) F u(s)
ds
e portanto
ke
u(t) u(t)k M e
u(h) u0
+ LM et
t
u
e(s) u(s)
ds.
ke
u(t) u(t)k M e
u(h) u0
+ LM eT
Z
0
u
e(s) u(s)
ds.
ke
u(t) u(t)k M eT 1 + LM eT eLM e
|
{z
c1 constante
u(h) u0
,
}
SEO 2.2
O CASO NO-HOMOGNEO
110
ou seja,
ku(t + h) u(t)k c1
u(h) u0
.
Rh
Por outro lado, pelo Teorema 1.17 segue que 0 S(s)u0 ds D(A) com
Z h
A
S(s)u0 ds = S(h)u0 u0
(2.40)
logo
Z
S(h)u0 u0
=
A
T eor.A.7
Z
z}|{
S(s)u0 ds
=
Z
AS(s)u0 ds
=
S(s)Au0 ds
de onde segue
S(h)u0 u0
M kAu0 k
es ds M kAu0 keh h.
(2.41)
S(h s)F u(s)ds
temos
u(h) u0
S(h)u0 u0
+
S(h s)
F u(s) F u0
ds +
S(h s)
F u0
ds.
da
u(h) u0
M kAu0 keh + M
F u0
eh h + LM eh
| {z }
|
{z
}
c3 constante
c2 constante
u(s) u0
ds.
(2.42)
c4 constante
De (2.40) e (2.42)
ku(t + h) u(t)k c5 h,
t [0, T ].
(2.43)
Note que, para t1 , t2 [0, T ], considerando t2 > t1 , existe h [0, T ] tal que t2 = t1 + h, da
(2.43)
z}|{
u(t1 ) u(t2 )
=
u(t1 ) u(t1 + h)
c5 h = c5 (t2 t1 ).
CAPTULO 2
Aplicaes:
Primeira Aplicao
u = arctan u
t
(?)
u(x, t) = 0
u(x, 0) = u0 (x)
em [0, )
em [0, )
x ,
para
X = L2 ();
A = , com D(A) = H 2 () H01 ();
F : L2 () L2 (), dada por F u = arctan u.
Mostraremos que F Lipschitziana. Com efeito, note inicialmente que considerando a funo
dada por f (t) = arctan t temos
f 0 (t) =
1
= |f 0 (t)| < 1
1 + t2
t [0, )
e pelo Teorema do Valor Mdio para quaisquer t1 , t2 [0, ), existe t0 (t1 , t2 ) tal que
|f (t1 ) f (t2 )| = |f 0 (t0 )| |t1 t2 | |t1 t2 |.
Assim para quaisquer u, v L2 (), considerando t1 = u(x) e t2 = v(x) obtemos
Z
Z
2
2
kF (u) F (v)k2 =
| arctan u(x) arctan v(x)| d x
|u(x) v(x)|2 d x = ku vk22
o que implica
kF (u) F (v)k2 ku vk2
mostrando que F Lipschitiziana. Portando pelo Teorema 2.12 o problema (?) possui soluo
generalizada quando u0 L2 () e soluo clssica se u0 H 2 () H01 ().
SEO 2.2
O CASO NO-HOMOGNEO
Segunda Aplicao
2
u
t
u = 0,
(??)
u(x, 0) = u0 (x),
u (x, 0) = v0 (x),
t
112
em [0, )
em [0, )
x
x ,
kF u F vk Lku vk.
Ento, para todo u0 X o problema (P4 ) possui uma nica soluo generalizada. Se
u0 D(A) a soluo clssica.
Demonstrao: Considere o seguinte conjunto
Y = u C([0, T ]; X) ; ku(t)k R, t [0, T ] ,
onde T e R sero escolhidos convenientemente. Note que Y um conjunto fechado, pois
uma bola fechada em C([0, T ]; X), e sendo C([0, T ]; X) um espao de Banach com a norma
do supremo, segue que Y munido desta norma um espao mtrico completo. Considere
: Y X
u 7 u : [0, T ] X
Z
7 u(t) = S(t)u0 +
S(t s)
F u(s)
ds
o que implica
T
ku(t)k M e
ku0 k + M e
F u(s) F 0(s)
ds + M eT
F 0(s)
T.
CAPTULO 2
e sendo u Y
ku(t)k M eT ku0 k + LM eT R T + M eT
F 0(s)
T.
Considerando T de tal forma que o lado direito da desigualdade acima seja menor do que
2M ku0 k + 1, temos
ku(t)k 2M ku0 k + 1 R
logo u Y , da (Y ) Y .
Afirmao: : Y Y uma contrao, para um T apropriado.
De fato, sejam u, v Y e s [0, T ]. Note que
Z t
Z t
T
S(t s)
F u(s) F v(s)
ds M Le
u(s) v(s)
ds.
u(t) v(t)
0
Assim
u(t) v(t)
M LeT
Z
0
u v
ds M T L eT
u v
,
| {z }
c1
u(t) = S(t)u0 +
0
t [0, T ]
o que implica kuk R. Assim, usando a hiptese (H), mostra-se de maneira anloga ao
que foi feito no Teorema 2.12, que F u Lipschitziana portanto pelo Corolrio 2.9 a soluo
generalizada clssica.
CAPTULO 3
Semigrupo Analtico e Aplicaes
No captulo 2 achamos solues clssicas (e generalizadas) de problemas de valores iniciais nohomogneos com dados iniciais no domnio do
operador em questo, no intuito de resolver os
mesmos tipos de problemas agora com dados iniciais menos regulares, estudaremos uma outra
classe de semigrupos e algumas das suas propriedades. Estudaremos tambm os Espaos de
Potncias Fracionrias X , com 0 1,
os quais so menos regulares do que o domnio
do operador em questo. Mostraremos que se o
operador A for um gerador de um semigrupo
analtico e verificar algumas estimativas para o
operador resolvende de A o problema em questo
ter soluo clssica com o dado inicial em X .
Este captulo tem com base Friedman [16], Pazy
[22], [8, 9, 10] e [24]. No que segue X um espao de Banach, sobre os complexos, com norma
k k.
114
CAPTULO 3
3.1
115
Semigrupo Analtico
3
S = C; 6= 0, < arg <
+ ,
2
2
e vale a seguinte estimativa para o operador resolvente
kR( : A)k
M
||
se S .
(3.1)
dS
() so operadores limitados para cada e para todo x X temos
d
S()x D(A)
com
dS
()x = AS()x
d
x X;
3. Para qualquer 0 < < existe uma constante c = c() tal que
kS()k c
kAS()k
c
||
se ;
se
0, .
(3.2)
SEO 3.1
SEMIGRUPO ANALTICO
116
(t > 0),
onde C uma constante que depende apenas de A e m, e {S(t)} o semigrupo gerado por
A.
Demonstrao: Pelo Teorema 3.2, para todo x X, temos S(t)x D(A), logo
S(t)x D(Am ) para qualquer inteiro m 1, pois se S(t)x D(A) ento faz sentido
AS(t)x e mais
t
t
t
t
AS(t)x = A S
S
x = AS
S
x
2
2
2
2
| {z }
D(A)
mvezes
CAPTULO 3
117
o que implica
t
AS
m
m
x = Am S(t) x.
(3.3)
kA S(t) xk
cm
t
m
kxk = C tm kxk.
donde
kAm S(t)k Ctm
3.2
para t > 0.
kAS(t)k c t1 e t .
t > 0.
(3.4)
kA S(t)k
c m t
e m
t
m
= C tm e t .
(3.5)
SEO 3.2
A =
s1 S(s) ds,
() 0
onde () a funo gama, a qual dada por
Z
x1 ex dx
() =
118
(3.6)
( > 0).
Observao 3.2 Uma vez que 0 (A) faz sentido falar na inversa de A. Para = 1,
A1 definido em (3.6) de fato a inversa do operador A. Com efeito, denotando por B a
inversa de A temos pelo Teorema 1.21
Z
1
B = (0 + A) =
S(s) ds.
0
ex dx = 1
(1) =
0
logo
A
Z
=
S(s)ds.
0
1
kA xk =
s S(s)xds
s1 kS(s)k kxkds.
() 0
() 0
Por (3.4)
kA
c
xk
kxk
()
1 s
c 2
ds =
kxk
()
conseqentemente
kA xk e
c kxk,
mostrando a limitao de A .
r1 er dr =
c 2
kxk ().
()
CAPTULO 3
119
)(x) = A
(A
logo
(A
1
)(x) =
()
x) = A
t
0
1
()
S(s) x ds
Z
1
1
S(t)
s S(s) x ds dt,
() 0
o que implica
(A
1
)(x) =
() ()
Z
S(t + s) x ds dt.
t1 (r t)1 S(r) x dr dt
(A A )(x) =
() () 0
t
mudando a ordem de integrao
(A
1
)(x) =
() ()
isto ,
Z Z r
1
1
1
(A A )(x) =
t (r t)
dt S(r) x dr.
() () 0
0
Note que pelo Teorema C.8 temos
Z r
() ()
t1 (r t)1 dt = r+1
.
( + )
0
1
)(x) =
( + )
r+1 S(r) x dr
de onde conclumos
(A A )(x) = A(+) (x)
isto ,
A A = A(+) .
x X,
(3.7)
(3.8)
SEO 3.2
120
1
Se
CAPTULO 3
121
1
S(t)x = S(t)A y =
S(t) s S(s)y ds =
s1 S(s) S(t)y ds,
() 0
() 0
logo
S(t)x = A S(t)y = A S(t)A x
o que implica
A S(t)x = S(t)A x
xD(A ),
mostrando (2). Sendo A fechado, temos que A S(t) fechado, pois considerando {un } X
com un u0 e A S(t)un v0 , precisamos mostrar que A S(t)u0 = v0 , e isto segue
facilmente, uma vez que S(t) contnuo temos S(t)un S(t)u0 , logo sendo A fechado
segue que A S(t)u0 = v0 . Pelo item (1) D(A S(t)) = X, logo pelo Teorema do Grfico
Fechado (Teorema C.5) segue que A S(t) contnuo, conseqentemente limitado. Agora
considere n N tal que n 1 < n. Note que
Z
1
n+n
n n
sn1 An S(t + s)ds.
A S(t) = A
S(t) = A A S(t) =
(n ) 0
Assim
1
kA S(t)k
(n )
n1
n s
(t + s)
s
t
n1
obtemos
C et
kA S(t)k
(n ) t
C et
ds
(n )
Z
0
rn1 (1 + r)n dr
n
s
t 1+
ds
t
SEO 3.3
122
o que implica
C et
kA S(t)k
(n ) t
(1 + r)n dr =
C
t et
(n )(n 1)
|
{z
}
M
logo
kA S(t)k M t et .
Por ltimo, para x D(A ) temos pelo Teorema 1.17 que
Z t
kS(t)x xk =
A
S(s)xds
0
sendo S()x : [0, t] D(A) contnua e A : D(A) X linear e contnua, visto com relao a
norma do grfico, temos pelo Teorema A.7, que
Z t
Z t
Z t
1
kA1 S(s)k kA xkds
kS(t)x xk =
AS(s)xds
=
A S(s)A xds
0
kS(t)x xk kA xk M
0
s1 ds =
M
t kA xk
|{z}
C
logo
kS(t)x xk C t kA xk.
3.3
para n, m n0
o que implica
kun um k <
kA un A um k <
para n, m n0
CAPTULO 3
123
em X
A u n v
em X.
em D(A ),
pois
kun ukD(A ) = kun uk + kA un A uk.
Portanto D(A ); k kD(A ) um espao de Banach. Em D(A ) podemos definir uma outra
norma, que denotaremos por k k , que equivalente a norma do grfico, tal norma dada
por
kuk = kA uk
com u D(A ).
O prximo lema trata das afirmaes acima .
Lema 3.2 A funo k k uma norma em D(A ), que equivalente a norma do grfico.
Demonstrao: Mostraremos inicialmente que a funo k k uma norma em D(A ).
Vejamos
1. kuk = kA uk 0, pois k k uma norma em X. Temos tambm que
kuk = 0 kA uk = 0 A u = 0 u = 0;
2. kauk = kaA uk = |a|kA uk = |a|kuk , para todo a R;
3. ku + vk = kA (u + v)k = kA u + A vk kA uk + kA vk = kuk + kvk .
Conseqentemente, k k uma norma em D(A ). Agora mostraremos a equivalncia.
Claramente
kuk kukD(A ) .
(3.9)
Sendo A limitado temos
kA vk ckvk
v D(A ),
u D(A ).
Assim
kukD(A ) = kuk + kA uk ckA uk + kA uk = (c + 1)kA uk,
isto ,
kukD(A ) (c + 1)kuk .
De (3.9) e (3.10) segue a equivalncia das normas.
(3.10)
SEO 3.3
124
3.3.1
Operador Laplaciano
Nesta seo justificaremos que o operador Laplaciano gera um semigrupo analtico e que faz
sentido falar em potncias fracionrias para o operador Laplaciano.
No que segue RN um domnio limitado, com fronteira suave. Considere um
operador diferencivel da forma
X
A(x, D) =
a (x)D
||2m
(1) Re
a (x0 )
>0
R\{0}.
||=2m
2
i=1 x2i ,
PN
para u D(Ap ).
CAPTULO 3
125
N
q
< 2m np , q p, com k N;
2. X , C () para 0 < 2m np ;
3. X , Lr () para r
Np
,
N 2p
0<
N
.
2p
Observao 3.4 Pelo Teorema 3.13 e sabendo que o operador A = fortemente elptico, segue que o operador Laplaciano o gerador infinitesimal de um semigrupo analtico.
Portanto para falar em potncias fracionrias para o operador A =
3.4
Aplicaes
Nesta seo temos como objetivo encontrar soluo clssica para alguns problemas de valores
iniciais semilineares com dados iniciais no espao de potncia fracionria com relao ao
operador A que gerador de um semigrupo analtico, tal espao menos regular do que
o domnio do operador, isto , D(A) est contido no espao em questo. Portanto, para
mostrar a existncia de soluo para problemas em que o dado inicial pertence a um conjunto
mais amplo, exigiremos mais do nosso operador A, que o fato de A gerar um semigrupo
analtico. Iniciaremos resolvendo o problema linear, que ser usado na demonstrao do
resultado principal.
3.4.1
O Caso Linear
Como foi visto no Captulo 2, uma funo u soluo clssica do problema linear
(
du
(t) = Au(t) + f (t),
t>0
(P3 )
dt
u(0) = u0
se u C([0, ); D(A)) C 1 ((0, ); X), u(t) D(A) para t > 0, e u verifica o problema (P3 )
para t > 0. Sabemos que o problema (P3 ) possui soluo generalizada, desde que S(t )f ()
seja integrvel, nosso objetivo mostrar que a mesma uma soluo clssica. No Captulo 2
vimos algumas situaes onde isso ocorre, mas naquele momento consideramos o dado inicial
SEO 3.4
APLICAES
126
u0 D(A), neste momento pediremos menos regularidade para o dado inicial e portanto os
resultados do Captulo 2 no podem ser repetidos. Com relao ao problema (P3 ) temos o
seguinte teorema.
Teorema 3.15 Seja A o gerador de um semigrupo analtico {S(t)}, com 0 (A). Sejam
u0 X e f : [0, ) X uma funo localmente Hlder contnua , isto ,
kf (t1 ) f (t2 )k k(t1 t2 ) ,
0 t2 t1 T,
v(t) =
t0
v2 (t)
Mostraremos que
(i) v1 (t) D(A) e Av1 (t) contnua em (0, );
(ii) v2 (t) D(A) e Av2 (t) contnua em (0, ).
Prova de (ii): Fazendo a mudana de varivel r = t s, obtemos
Z t
v2 (t) =
S(r)f (t)dr,
0
logo pelo Teorema 1.17 temos que v2 (t) D(A), para todo t (0, T ), com
A(v2 (t)) = S(t)f (t) f (t)
da pela continuidade de f e de S(t) segue que A(v2 (t)) contnua em (0, T ), sendo T
qualquer temos, v2 (t) D(A) para todo (0, ) e A(v2 (t)) contnua em (0, ).
Prova de (i): Para provar que (i) ocorre, precisamos mostrar que o limite
S(h) I
lim
v1 (t)
h0
h
CAPTULO 3
127
S(h) I
h
v1 (t).
S(h) I
h
Z
S(t s) f (s) f (t) ds
temos
que
AS(t s) f (s) f (t) ds.
(3.11)
Claramente o operador
S(h) I
: X X
h
linear contnua. Temos tambm, que a funo dada por s 7 S(t s) f (s) f (t)
contnua, logo pelo Teorema A.7 temos
Z t
Z t
S(h) I
S(h) I
S(t s) f (s) f (t) ds =
S(t s) f (s) f (t) ds
h
h
0
0
Assim, (3.11) segue se
Z t
S(h) I
A S(t s) f (s) f (t) ds
0
h
0
quando h 0.
Note que
Z t
Z t S(h) I
S(h) I
A S(ts) f (s)f (t) ds
A S(ts) f (s)f (t)
ds.
h
h
0
0
Claramente o operador linear A : D(A) X contnuo visto com relao a norma do
S(h) I
grfico. Temos tambm que, para cada h > 0, o operador Bh
: D(A) X
h
linear contnuo com relao a norma do grfico. Desta forma o operador
Fh : D(A) X
u
7 Fh u =
S(h) I
A u
h
linear contnuo com relao a norma do grfico. Logo, para cada h > 0, existe uma
constante e
ch > 0 tal que
kFh uk e
ch kukD(A) .
(3.12)
SEO 3.4
APLICAES
128
Assim {Fh }h>0 uma famlia de operadores lineares e contnuos de D(A) em X que verifica
(3.12). Portanto, pelo Teorema de Banach-Steinhaus (Teorema C.1), existe uma constante
c > 0 tal que
kFh k c
h > 0.
Definindo
gh : [0, t] R
u
S(h) I
7 gh (s) =
A S(t s) f (s) f (t)
,
h
note que
gh (s) 0
quando h 0,
pois para cada s fixado S(t s) f (s) f (t) D(A). Alm disso
|gh (s)| c
S(ts) f (s)f (t)
D(A) c
S(ts) f (s)f (t)
+
AS(ts) f (s)f (t)
o que implica
|gh (s)| c
S(t s)
f (s) f (t)
+ c
AS(t s)
f (s) f (t)
logo
|gh (s)| c k M eT (T t) + c M k|t s|1 g(s) L1 ([0, T ]).
Portanto pelo teorema da Convergncia Dominada de Lebesgue (Teorema B.6) temos
Z
lim
h0
gh (s) ds = 0,
0
isto ,
Z t
S(h) I
lim
A S(t s) f (s) f (t)
ds = 0
h0 0
h
implicando que (3.11) ocorre, donde segue que v1 (t) D(A) com
Z
Av1 (t) =
AS(t s) f (s) f (t) ds.
Agora mostraremos que Av1 (t) contnuo em (0, T ). Seja tn t em (0, T ) e suponha tn > t.
Note que
Z
Z t
tn
Av1 (tn ) Av1 (t)
=
AS(tn s) f (s) f (tn ) ds
AS(t s) f (s) f (t) ds
0
CAPTULO 3
129
o que implica
Av1 (tn ) Av1 (t)
tn (s)AS(tn s) f (s) f (tn ) t (s)AS(t s) f (s) f (t)
ds.
Considerando
fen (s) =
tn (s)AS(tn s) f (s) f (tn ) t (s)AS(t s) f (s) f (t)
temos
fen (s) 0
q. t. p.
em (0, T ),
pois
tn (s) t (s)
q. t. p.
em (0, T )
e
AS(tn s) f (s) f (tn ) AS(t s) f (s) f (t) .
Temos tambm que
|fen (s)|
tn (s)AS(tn s) f (s) f (tn )
+
t (s)AS(t s) f (s) f (t)
o que implica
|fen (s)|
k1 t (s)
k1 tn (s)
+
gen (s).
1
|tn s|
|t s|1
Claramente
2k1 t (s)
ge0 (s) L1 ([0, T ]);
|t s|1
Z t
Z t
2k1 tn
2k1 t
gen (s)ds =
ge0 (s)ds.
0
0
gen (s)
fen (s)ds = 0,
lim
de onde segue a continuidade de Av1 (t) em (0, T ), sendo T qualquer temos que
v(t) D(A) para todo t > 0 e Av1 (t) contnua em (0, ).
De onde conclumos que
v(t) = v1 (t) + v2 (t) D(A)
e
Av(t) = Av1 (t) + Av2 (t)
contnua em (0, ). Portanto pelo Teorema 2.6 temos que a soluo generalizada do
problema (P3 ) soluo clssica.
SEO 3.4
APLICAES
130
Observao 3.5 Note que na demostrao do Teorema 3.15, todo o raciocnio foi feito
estimando t por um T fixo, assim temos uma verso do Teorema 3.15 para a funo f
definida em intervalo limitado da semireta no-negativa.
u = f (t)
t
u(x, t) = 0
u(x, 0) = u0 (x)
(?)
em [0, )
em [0, )
x ,
Equao da Onda
(??)
2
u
t
u = 0,
u(x, 0) = u0 (x),
u (x, 0) = v0 (x),
t
em [0, )
em [0, )
x
x ,
onde f (t) = (x) sin t com L2 () fixado e x , com u0 H 2 ()H01 () e v0 H01 ().
CAPTULO 3
3.4.2
131
O Caso Semilinear
Nesta seo, temos como objetivo garantir a existncia e unicidade de soluo (clssica) para
a seguinte classe de problemas de evoluo semilineares
(
(P5 )
du
(t) = Au(t) + f (t, u(t)),
dt
u(t0 ) = u0 ,
t>0
t > 0,
logo
kA S(t)k M t
t > 0.
(3.13)
No que segue, suponha (t0 , u0 ) U , t01 > t0 e > 0. Considere a seguinte vizinhana de
(t0 , u0 )
V = (t, u); t0 t t01 , ku u0 k .
SEO 3.4
APLICAES
132
Note que a funo fe : [t0 , t01 ] X, dada por fe(t) = f (t, u0 ) contnua, da a funo
fb : [t0 , t01 ] R, dada por fb(t) = kfe(t)k = kf (t, u0 )k uma funo contnua sobre o
compacto [t0 , t01 ], o que implica na existncia de
B = max0 kf (t, u0 )k.
t0 tt1
quando t t0 ,
isto ,
S(t t0 )A u0 A u0
0
quando t t0 .
para t0 t t1
e
(1 )M1 (B + L)1
2
1
1
.
(3.14)
(3.15)
Seja Y o espao de Banach C([t0 , t1 ]; X) munido com a norma do supremo, denotada por
k kY . Defina a seguinte aplicao
F : Y X
y 7 F y : [t0 , t1 ] X
t
7 F y(t) = S(t t0 )A u0 +
t0
g(t) =
A S(t s)f (s, A y(s)) ds =
t0
t1
t0
CAPTULO 3
133
Considerando
hn (s) =
tn (s)A S(tn s)f (s, A y(s)) t (s)A S(t s)f (s, A y(s))
,
quando n , temos
hn (s) 0
q.t.p. em [t0 , t1 ],
pois
A S(tn s)f (s, A y(s)) A S(t s)f (s, A y(s))
e
tn (s) t (s)
q.t.p. em [t0 , t1 ].
Tambm temos
|hn (s)|
tn (s)A S(tn s)f (s, A y(s))
+
t (s)A S(t s)f (s, A y(s))
.
(3.16)
t [t0 , t1 ].
(3.17)
De (3.16) e (3.17)
|hn (s)| C
tn (s)
t (s)
+ C
gen (s).
(tn s)
(t s)
Claramente
t (s)
ge0 (s) L1 ([0, T ]);
(t s)
Z t1
Z t1
gen (s)ds
ge0 (s)ds.
gen (s) 2C
t0
t0
+ 1
t0
t0 |t s|
t0 |t s|
Assim aplicando o Teorema da Convergncia Dominada de Lebesgue Generalizado (Teorema
B.7), temos
Z
t1
lim
hn (s) ds = 0
t0
SEO 3.4
APLICAES
134
o que implica
kg(tn ) g(t)k 0,
mostando a continuidade de g em [t0 , t1 ] e conseqentemente a incluso F (Y ) Y . Claramente para cada y Y , temos F y(t0 ) = A u0 . Considerando o subconjunto de Y dada
por
Z = y Y ; y(t0 ) = A u0 , ky(t) A u0 k ,
note que
(i) Z 6= ,
(ii) Z limitado;
(iii) Z fechado.
Justificativa de (ii): Dado y Z temos
ky(t) A u0 k
t [t0 , t1 ]
logo
ky(t)k + kA u0 k K
t [t0 , t1 ]
da K cota superior para o conjunto {ky(t)k; t [t0 , t1 ]}, conseqentemente por definio
de supremo temos
kykY K
yZ
mostrando a limitao de Z.
Justificativa de (iii): Seja {yn } Z, tal que yn y em Y . Devemos mostrar que y Z.
Note que para cada n N
yn (t0 ) = A u0
(3.18)
e
kyn (t) A u0 k .
(3.19)
F y(t) A u0
=
S(t t0 )A u0 +
A
S(t
s)f
(s,
A
y(s))
ds
A
u
0
t0
CAPTULO 3
135
o que implica
F y(t) A u0
S(t t0 )A u0 A u0
|
{z
}
I1
+
| t0
Z
A S(t s)
f (s, A y(s)) f (s, u0 )
ds
{z
}
I2
+
| t0
A S(t s)
f (s, u0 )
ds .
{z
}
I3
.
2
Estimativa para (I2 ): Por (3.13) e sabendo que f verifica a hiptese (F), temos
Z t
Z t
I2 M L
(t s)
A y(s) u0 ds = M L
(t s)
y(s) A u0
ds
t0
t0
e sendo y Z obtemos
Z
I2 M L
(t s) ds = M L (1 )1 (t t0 )1 .
t0
Estimativa para (I3 ): Por (3.13) e sabendo que
f (s, u0 )
B temos
Z t
I3 B M
(t s) ds = B M (1 )1 (t t0 )1 .
t0
Assim
F y(t) A u0
+ M (1 )1 (t t0 )1 (L + B)
2
logo
F y(t) A u0
+ M (1 )1 (t1 t0 )1 (L + B)
2
e por (3.15)
F y(t) A u0
+ = .
2 2
Conseqentemente F y Z, sendo y Z qualquer conclumos F (Z) Z. Desta forma faz
sentido trabalhar com o operador F : Z Z e mostrar que o mesmo uma contrao.
Dados y1 , y2 Z temos
Z
t
F y1 (t) F y2 (t)
=
A S(t s) f (s, A y1 (s)) f (s, A y2 (s)) ds
t0
SEO 3.4
APLICAES
136
logo
F y1 (t) F y2 (t)
A S(t s)
f (s, A y1 (s)) f (s, A y2 (s))
ds
t0
t0
(t s)
A y1 (s) A y2 (s)
ds
o que implica
F y1 (t) F y2 (t)
M L
(t s)
y1 (s) y2 (s)
ds M L ky1 y2 kY
(t s) ds
t0
t0
logo
F y1 (t) F y2 (t)
M L (1 )1 (t1 t0 )1 ky1 y2 kY
|
{z
}
12
e por (3.15)
F y1 (t) F y2 (t)
1 ky1 y2 kY
2
t [t0 , t1 ],
o que implica
F y1 F y2
1 ky1 y2 kY
y1 , y2 Z,
Y
2
mostrando que F : Z Z uma contrao. Portanto pelo Teorema do Ponto Fixo de
Banach, (Teorema C.9), F possui um nico ponto fixo y Z, isto , y = F y, o que implica
Z t
y(t) = S(t t0 )A u0 +
A S(t s)f (s, A y(s)) ds
t0
du
(t) = Au(t) + (t),
t>0
f
(P5 )
dt
u(t ) = u ,
0
0
possui uma nica soluo clssica, para isto usaremos o Teorema 3.15 (Observao 3.5),
precisamos mostrar apenas que uma funo localmente Hlder contnua em (t0 , t1 ].
Pelo Teorema 3.9 para cada satisfazendo 0 < < 1 e para cada 0 < h < 1 temos
S(h) I A S(t s)
=
S(h)A S(t s) A S(t s)
C h
A A S(t s)
CAPTULO 3
137
logo
S(h) I A S(t s)
C h
A+ S(t s)
o que implica
e h (t s)(+) .
S(h) I A S(t s)
C
(3.21)
+
| t0
Z
+
|t
S(h) I A S(t s)f (s, A y(s))
ds
{z
}
I5
t+h
A S(t + h s) f (s, A y(s))
ds .
{z
}
I6
z}|{
e (t t0 )(+) ku0 k h
I4
S(h) I A S(t t0 )
ku0 k C
|
{z
}
M1 =M1 (t)
logo
I4 M1 h .
Note que se t t0 ento M1 +. Logo considerando t0 < t00 t t1 , temos M1 < .
Estimativa para (I5 ):
Z
(3.20) e (3.21)
I5
S(h) I A S(t s)
f (s, A y(s))
ds
z}|{
e h
CN
t0
t0
logo
I5 M2 h
(t s)(+) ds
SEO 3.4
APLICAES
138
com M2 independente de t.
Estimativa para (I6 ):
Z
t+h
A S(t + h s)
f (s, A y(s))
ds
I6
t
t+h
(t + h s) ds
M N 1
h
1
| {z }
M3
(3.22)
b
C
CAPTULO 3
139
Sendo u(t) D(A) temos que u(t) D(A ), pois D(A) , D(A ). Da aplicando A em
(3.23) obtemos
Z
y(s)) ds .
(3.24)
t0
Sabendo que S(t s)f (s, A y(s)) D(A) e que D(A) , D(A ), 0 < 1, obtemos
S(t s)f (s, A y(s)) D(A ). Usando a continuidade da funo f (, A y()) e sabendo
que A S() linear contnuo mostra-se facilmente que a funo de [t0 , t] em X dada por
s 7 S(t s)f (s, A y(s)) contnua. Temos tambm que A : X X linear contnua,
pois
kA uk = kuk
u X .
A
S(t s)f (s, A y(s)) ds =
A S(t s)f (s, A y(s)) ds.
t0
(3.25)
t0
De (3.24) e (3.25)
A u(t) = S(t t0 )A u0 +
t0
isto ,
A u(t) = y(t)
logo
u(t) = A y(t)
de onde conclumos que
Z
SEO 3.4
APLICAES
140
para 0 s < t T.
(3.27)
Se = 1, por (3.26)
t
Z
(t, s) A + B
(, s) d
s
logo
t
(t )
(t, s) A + AB
d + B
Z tZ
s
(t )1 ( )1 (, s) d d
o que implica
Z
(t, s) A + AB
(t )
d + B
Z tZ
da
(t s)
(t, s) A + AB
+ B2
Z tZ
(t )1 ( )1 (, s) d d
t
1
(t )
s
( )
d (, s) d
(2)
Z
s
(t )21 (, s) d.
CAPTULO 3
141
Se 2 1 > 0 ento
T B 2 2 () T 21
(t, s) A + AB
+
(2)
{z } |
|
{z
}
=C1
(, s) d
s
=C2
(2) s
()
Fazendo o mesmo tipo raciocnio para as constantes A1 = A T , B1 = B(2)
e 1 = 2
obtemos
Z
A1 B1 T 1 B12 2 (1 ) t
21 1
+
(t )
(, s) d .
(t, s) A + B A1 +
1
(21 ) s
t0
o que implica
ku(t)k kS(t t0 )A u0 k +
t0
SEO 3.4
APLICAES
142
logo
Z
ku(t)k M kA u0 k + M
(t s) k(s) 1 + ku(s)k ds
t0
da
Z
ku(t)k M kA u0 k + M k(T )
|
{z
(t s)
t0
c1
Z
ds + M k(T )
| {z }
}
=c2
(t s) ku(s)k ds.
t0
da aplicando o Lema 3.3 para a funo ku()k , existe uma constante c 0 tal que
ku(t)k c
em [0, T ].
3.4.3
Aplicaes
u = f (t, u)
t
u(x, t) = 0
u(x, 0) = u0 (x)
Iniciaremos com o seguinte problema
u = u3
t
()
u(x, t) = 0
u(x, 0) = u0 (x)
em [0, )
em [0, )
x ,
em [0, )
em [0, )
x ,
u, v Br (u0 )
(3.29)
CAPTULO 3
143
Para mostrar (3.29) precisamos garantir a existncia de algum [0, 1] tal que X esteja
imerso at L6 (), neste caso o expoente crtico 6. Podemos usar diretamente o item 3 do
Teorema 3.14, o qual nos garante que
X , L6 ()
para
1
3
< .
2
4
para k
3
3
< 2 , ou seja k < 2.
2
2
q [2, 6]
com
1
1 k
=
ou seja k = 1.
6
2 3
para
1
< 1,
2
SEO 3.4
APLICAES
144
logo
2
|v 3 (x) u3 (x)|2 9 |v 2 (x)| + |u2 (x)| |u(x) v(x)|2 .
(3.31)
De (3.30) e (3.31)
kf (u)
f (v)k22
2
|v 2 (x)| + |u2 (x)| |u(x) v(x)|2 dx.
(3.32)
Afirmaes:
1. |u(x) v(x)|2 L3 ();
2
3
2. |v 2 (x)| + |u2 (x)| L 2 ().
Justificativa de (1):
Z
2 3
|u(x) v(x)|
dx =
pois u, v X L6 ().
Justificativa de (2):
Z
Z
2
2 23
2
dx =
|u (x)| + |v (x)|
3
|u (x)| + |v (x)| dx 8
2
|u(x)|6 + |v(x)|6 dx < ,
o que implica
imerse
ao
kf (u)
f (v)k22
c1 kuk26
2
kvk26 ku
vk2
z}|{
2
c2 kuk2 + kvk2 ku vk2
logo
kf (u) f (v)k2 c3 ku vk ,
onde c3 uma constante que depende de r e ku0 k . Mostrando que f localmente Lipschitziana. Portanto pelo Teorema 3.16 o problema () possui uma nica soluo clssica
local.
CAPTULO 3
145
De forma mais geral, seguindo um raciocnio anlogo ao que foi feito para a funo
f (u) = u3 , resolve-se o seguinte problema de valor inicial
()
u = |u(t)|p1 u(t)
t
u(x, t) = 0
u(x, 0) = u0 (x)
em [0, )
em [0, )
x .
APNDICE A
Clculo em Espaos de Banach
Neste apndice estudaremos de forma introdutria, o conceito de integrais em espaos de
Banach, algumas de suas propriedades, e o teorema de existncia e unicidade para um
problema de valor inicial, dvido a Cauchy, Lipschitz e Picard. Para maiores detalhes ver,
por exemplo Lang [10,11], Adams [1], [23] para a parte de integrais, e Brezis [3] para o P.V.I..
No que segue, X um espao de Banach cuja norma denotamos por k k.
A.1
Considere E o espao das funes limitadas de [a, b] em X com norma dada por
kf kE = sup kf (t)k.
t[a,b]
Sejam a, b R tais que a < b, e P = {a0 , a1 , . . . , an } uma partio do intervalo [a, b], com
a = a0 a1 . . . an = b.
Definio A.1 Seja f : [a, b] X uma funo. Dizemos que f uma funo escada se
existem elementos w1 , w2 , . . . , wn X tais que
f (t) = wi
se
com i = 1, 2, . . . , n.
Observao A.1 Pela Definio A.1, f tem valor constante em cada intervalo aberto determinado pela partio.
Definio A.2 Seja f uma funo escada com respeito a partio P . O valor da integral
de f dado por
IP (f ) = (a1 a0 )w1 + . . . + (an an1 )wn =
n
X
i=1
146
CAPTULO A
147
Proposio A.3 Suponha que f uma funo escada com respeito a outra partio Q de
[a, b], ento IP (f ) = IQ (f ).
Demonstrao: Primeiro vamos considerar uma partio Pc obtida de P , inserindo um novo
ponto entre os pontos de P , assim Pc
=
{a0 , . . . , ak , c, ak+1 . . . , an } com
a0 . . . ak c ak+1 . . . an . Note que f possui valor constante wk+1 em
cada intervalo ak < t < c e c < t < ak+1 . Conseqentemente, a integral de f com respeito a
Pc dada por
IPc (f ) = (a1 a0 )w1 + . . . + (c ak )wk+1 + (ak+1 c)wk+1 + . . . + (an an1 )wn .
Mas
(c ak )wk+1 + (ak+1 c)wk+1 = (ak+1 ak )wk+1
da
IPc (f ) = IP (f ).
Lembrete: Uma partio R refina a partio P , se cada ponto da partio P ponto de R.
Assim, inserindo um nmero finito de pontos e usando induo, conclumos que se R um
refinamento de P , ento
IR (f ) = IP (f ).
(A.1)
Afirmao: Se Q uma outra partio, ento P e Q tem em comum um refinamento.
De fato, se Q = {b0 , . . . , bm }, ento basta considerar
R = { a0 , a1 , . . . , an , b1 , . . . , bm1 }
|{z}
|{z}
= b0
= bm
Observao A.2 A proposio A.3 mostra que a integral no depende da partio. Portanto
vamos denotar a integral de f por I(f ).
Observao A.3 Claramente f limitada, pois tem um nmero finito de valores e a norma
de f dada por
kf kE = max{kw1 k; i = 1, 2, . . . , n}.
Assim,
kI(f )k
n
X
i=1
n
X
i=1
SEO A.1
148
Da
kI(f )k (b a)kf kE .
Agora, vamos enunciar alguns resultados sem demonstrar e apartir destes, definir a integral em espao de Banach, que tambm conhecida como integral no sentido de Bochner.
Lema A.1 O conjunto das funes escadas f : [a, b] X um subespao do espao de
todas as funes limitadas de [a, b] em X, que denotaremos por St ([a, b], X). A funo
I : St ([a, b], X) X linear e limitada, isto , existe C R tal que
kI(f )k Ckf kE .
Teorema A.4 Toda funo contnua de [a, b] em X pode ser aproximada uniformemente
por funes escadas. Alm disso,
C([a, b]; X) St ([a, b], X).
Teorema A.5 (Extenso Linear) Seja Y um espao vetorial normado, e Z um subespao
de Y . Seja F : Z X uma funo linear contnua. Ento, F tem uma nica extenso
linear contnua F : Z X.
Agora, considere a seguinte notao
I : St ([a, b], X) X
Rb
f
7 I(f ) := a f (t) dt,
pelo Lema A.1, temos I linear e contnua.
Identificando Z = St ([a, b], X) e F = I, podemos aplicar o Teorema de Extenso Linear,
o que resulta na existncia de uma (nica) extenso linear contnua que tambm denotaremos
por I, com
I : St ([a, b], X) X
Rb
f
7 I(f ) := a f (t) dt,
da identificando I|C([a,b];X) tambm por I, definimos a integral de uma funo contnua por
I : C([a, b]; X) X
Rb
f
7 I(f ) := a f (t) dt
a qual linear e contnua.
Observao A.4 Pelo Teorema A.4, dado f C([a, b]; X) existe {fn } St ([a, b], X) tal
que fn f uniformemente, da sendo I contnua temos
I(fn ) I(f )
em
X,
isto ,
Z
Z
f (t) dt = lim
fn (t) dt.
a
CAPTULO A
149
Demonstrao: Sendo f contnua, pelo Teorema A.4 existe uma seqncia {fn } St ([a, b], X)
tal que fn f uniformemente e
Z b
Z b
f (t) dt = lim
fn (t) dt.
a
(A.2)
i=1
i=1
sendo F linear
Z
F
X
m
fn (t) dt =
(ai ai1 )F (wni ).
(A.3)
i=1
Note que, F fn uma funo escada de [a, b] em X, pois F (fn (t)) = F (wi ) para ai1 < t < ai ,
com i = 1, 2, . . . , m. Conseqentemente
I(F fn ) =
m
X
i=1
SEO A.1
150
isto ,
b
F (fn (t)) dt =
a
m
X
(A.4)
i=1
De (A.3) e (A.4)
Z b
F (fn (t)) dt
fn (t) dt =
Z
F
o que implica
b
Z
lim F
Z b
fn (t) dt = lim
F (fn (t)) dt.
n
(A.5)
Afirmamos que
b
F (fn (t)) dt =
lim
F (f (t)) dt.
(A.6)
n
a
e pela convergncia uniforme de {fn } para f , segue que a integral a direita na ltima desigualdade converge para zero, mostrando que (A.6) ocorre.
De (A.2), (A.5) e (A.6) conclumos
Z b
Z b
F (f (t))dt.
f (t)dt =
F
a
CAPTULO A
151
f ( )d = lim
f ( )d,
0
f (t) dt.
b
f (t) dt +
f (t) dt =
Assim
f+0 (c) = lim+
t0
f (c + t) f (c)
0.
t
f (b) f (a)
.
ba
SEO A.1
152
Demonstrao: Seja g(t) o polinmio de grau menor do que ou igual a 1, tal que g(a) = f (a)
e g(b) = f (b). Ento g 0 (t) constante com
g 0 (t) =
g(b) g(a)
f (b) f (a)
=
ba
ba
t [a, b].
Definamos a funo : [a, b] R, por (t) = f (t) g(t). Note que contnua, pois
soma de funes contnuas e derivvel direita com
0+ (t) = f+0 (t) g 0 (t)
sendo tambm contnua em (a, b). Observe que (a) = f (a)g(a) = 0 e (b) = f (b)g(b) =
0, logo (a) = (b). Da, pelo Lema A.2 existe c (a, b) tal que 0+ (c) = 0, isto ,
f+0 (c) = g 0 (c), ou ainda,
f (b) f (a)
.
f+0 (c) =
ba
Lema A.4 Seja f : [a, b] R contnua com derivada lateral direita contnua em (a, b).
Se f+0 (t) = 0, para todo t (a, b). Ento f constante.
Demonstrao: Para todo x (a, b], pelo Lema A.3, existe c (a, x) tal que
f+0 (c) =
f (x) f (a)
.
xa
x (a, b],
CAPTULO A
153
t (a, b).
(A.7)
Para cada X 0 considere g : [a, b] R dada por g(t) = (G(t)). Note que
g contnua, pois composio de funes contnuas;
g(a) = (G(a)) = (0) = 0 ;
g possui derivada direita contnua em (a, b), com
0
g+
(t) = (G0+ (t)),
pois
0
g+
(t) = lim+
tt0
(G(t)) (G(t0 ))
g(t) g(t0 )
= lim+
t t0
t t0
tt0
(A.8)
De (A.7) e (A.8)
0
g+
(t) = 0
t (a, b).
Logo pelo Lema A.4, temos g constante em [a, b]. Portanto g(t) = 0, para todo t [a, b],
isto , (G(t)) = 0, para todo t [a, b]. Sendo X 0 qualquer, temos por resultados de
Anlise Funcional, que G(t) = 0, para todo t [a, b], donde segue que f (t) = F (t), para
todo t [a, b], ou seja, f F . Uma vez que F diferencivel segue que f diferencivel.
SEO A.2
A.2
154
Note que Y 6= , pois a funo identicamente nula pertence a Y ; note tambm que se u Y ,
o conjunto {ekt ku(t)k; t 0} limitado, isto , se u Y existe uma constante c 0 tal
que ku(t)k c ekt para todo t 0.
Lema A.5 O conjunto Y um subespao vetorial de C([0, ); X).
Demonstrao: Como j foi mencionado temos u 0 Y . Agora dados u, v Y temos
sup ekt ku(t)k <
t0
t0
t0
t0
o que implica
sup ekt k(cu + v)(t)k <
t0
CAPTULO A
155
Observao A.5 Note que, se u Y ento ku(t)k ekt kukY , para todo t 0.
Lema A.7 O par (Y, k kY ) um espao de Banach.
Demonstrao: Seja {un } Y uma seqncia de Cauchy em Y , ento dado > 0, existe
n0 N tal que
kun um kY < ,
para n, m n0 ,
ou seja,
sup ekt kun (t) um (t)k <
para n, m n0 ,
t0
para n, m n0 ,
(A.9)
de onde conclumos que {un (t)} uma seqncia de Cauchy em X, sendo X um espao
de Banach, existe u X, tal que un (t) u(t) em X. Passando ao limite em (A.9), com
m , obtemos para todo t 0, fixado
ekt kun (t) u(t)k <
para n n0 ,
(A.10)
para n n0 .
(A.11)
t0
Afirmaes:
1. u Y ;
2. un u em Y , quando n .
Justificativa de (1): Por (A.10) temos, para todo t 0
ekt ku(t)k kun (t)k ekt kun (t) u(t)k <
para n n0
o que implica
ekt ku(t)k < + ekt kun0 (t)k
t 0
logo
sup ekt ku(t)k < .
t0
Tambm temos que u contnua, pois para cada T 0, temos que un u uniformemente
em [0, T ], logo u limite uniforme de uma seqncia de funes contnuas logo contnua.
SEO A.2
156
Portanto u Y .
Justificativa de (2): Por (A.11) segue que
kun ukY 0
quando n ,
isto , un u em Y , quando n .
Sendo a seqncia {un } qualquer temos que Y um espao de Banach.
Teorema A.14 (Cauchy, Lipschitz, Picard) Seja X um espao de Banach e seja F :
X X uma aplicao Lipschitziana, com constante de Lipschitz igual a L 0, isto ,
F u F v
Lku vk
u, v X.
Ento para todo u0 X, o problema (PA ) possui uma nica soluo.
Demonstrao: Existncia: Encontrar soluo para o problema (PA ) equivalente a
encontrar uma funo u C([0, ); X) tal que
Z t
u(t) = u0 +
F (u(s)) ds.
0
7 u(t) = u0 +
F (u(s)) ds.
0
t2
da
Z
F (u(s)) ds
=
t2
t1
F (u(s)) ds
t2
kg(t1 ) g(t2 )k
F (u(s))
ds
t1
Sendo F Lipschitziana e u C([0, ); X), segue que F u contnua, logo sobre o compacto
[t1 , t2 ] limitada por uma constante K 0. O que implica
kg(t1 ) g(t2 )k K|t1 t2 |
CAPTULO A
157
F
(0(s))
ds
+
F
(u(s))
ds
ku(t)k =
u
+
0
0
o que implica
Z
kF (0(s))k ds
kF (u(s)) F (0(s))k ds +
ku(t)k ku0 k +
logo
t
Z
ku(t)k ku0 k + L
sendo u Y temos
Z
ku(t)k ku0 k + L1
0
conseqentemente
kt
kt
ku(t)k e
kt
ku0 k + e
L1
o que implica
kt
kt
ku(t)k e
kt
ku0 k + e
L1
ekt 1
k
k
kt
+ t| e{z
} kF (0)k
0
da
L1
+ c1 kF (0)k <
k
sendo t qualquer temos, por definio de supremo
ekt ku(t)k ekt ku0 k +
Mostrando a afirmao.
Assim podemos redefinir a funo da seguinte forma
: Y Y
u 7 u : [0, ) X
Z
t
7 u(t) = u0 +
F (u(s)) ds.
0
Mostraremos agora que, para certos valores de k a funo : Y Y uma contrao. Com
efeito, sejam u, v Y , ento u v Y e pela Observao A.5, temos
ku(t) v(t)k ekt ku vkY ,
t 0.
(A.12)
SEO A.2
158
Note que
Z t
Z
Z t
t
u(t) v(t)
=
F (u(s)) ds
F (v(s)) ds
F (u(s)) F (v(s)) ds
=
0
o que implica
u(t) v(t)
F (u(s)) F (v(s))
ds L
u(s) v(s)
ds
por (A.12)
u(t) v(t)
Lku vkY
eks ds
o que implica
u(t) v(t)
Lku vkY
ekt 1
k
k
logo
u(t) v(t)
L ku vkY ekt
k
da
L
ekt
u(t) v(t)
ku vkY
k
Por definio de supremo temos
t 0.
u v
L ku vkY .
Y
k
Assim fixando k > L temos que : Y Y uma contrao. Portanto aplicando o Teorema
do Ponto Fixo de Banach (Teorema C.9), existe u C([0, ); X) tal que u = u, isto ,
Z t
u(t) = u0 +
F (u(s))ds.
0
F
(u
(s))
ds
1
2
0
o que implica
Z
ku1 (t) u2 (t)k L
lodo pela Desigualdade de Gronwall (Teorema C.7) conclumos que u1 (t) = u2 (t) para todo
t 0, isto , u1 u2 .
APNDICE B
Resultados envolvendo os espaos Lp() e
W m,p()
Neste captulo, enunciaremos alguns resultados clssicos envolvendo os espaos de funes
Lp () e W m,p ().
Ento u H 2 () e
kukH 2 () ckf k2 ,
onde c uma constante que s depende de . Alm disso, se de classe C m+2 e f H m ()
ento
u H m+2 ()
com
kukH m+2 () ckf kH m () ;
159
160
N
,
p
ento
W j+m,p () , W j,q (),
2. m =
N
,
p
q [p, q ],
N
p
1 m
1
=
;
q
p N
ento
W j+m,p () , W j,q (),
3. Se
onde
q [p, );
< m, ento
W j+m,p () , CBj ().
N
,
p
ento
W j+m,p () , W j,q (),
2. m =
N
,
p
q [1, q ),
N
p
1 m
1
=
;
q
p N
ento
W j+m,p () , W j,q (),
3. Se
onde
q [1, );
< m, ento
W j+m,p () , C j (),
CAPTULO B
Lp ()
em
Z
u v dx =
u v dx.
N
X
2u
i=1
e
v =
Sendo u
existe {n }
C0 ()
x2i
N
X
2v
i=1
H01 (),
(B.1)
x2i
tal que
kn ukH 1 () 0
quando n +
(B.2)
162
o que implica
kn ukL2 () 0
e
u
n
0
xi
xi L2 ()
quando n +
quando n +
i = 1, 2, 3, . . . ,
ou seja,
n
em L2 ()
n u
e
n n u
xi
xi
em L2 ()
N Z
X
i=1
(B.3)
i = 1, 2, 3, . . . .
(B.4)
2v
dx.
x2i
(B.5)
v
representa uma distribuio da forma T 2 v , da
x2i
x2
i
D 2v
, n =
2
xi
tambm temos que
distribuio tem-se
2v
n dx,
x2i
v
L2 () uma distribuio e por definio de derivada de uma
xi
D 2v
x2i
Z
D v E
v n
n
,
=
dx
= (1)
xi xi
xi xi
2v
n dx =
x2i
, n
o que implica
v n
dx
xi xi
(B.6)
N
X
i=1
v n
dx,
xi xi
n N.
(B.7)
v
L2 () e por (B.3) e
xi
N
X
i=1
v u
dx .
xi xi
(B.8)
CAPTULO B
quando n +.
N
X
i=1
u v
dx .
xi xi
(B.9)
Z
v u dx =
u v dx,
|f (x)g(x)| dx kf kp kgkq .
em R
n+
em R
Ento
Z
lim
n+
Z
fn (x) dx =
f (x) dx.
Existe uma verso mais geral para o Teorema da Convergncia Dominada de Lebesgue,
que a seguinte:
164
em R
n+
q.t.p em R.
n+
Ento, f integrvel e
Z
lim
n+
Z
fn (x) dx =
f (x) dx.
Teorema B.8 Seja u W 1,p ([a, b]), ento u W01,p ([a, b]) se, e somente se,
u(a) = u(b) = 0.
, = u
, C0 ().
xi
x
i
Por hiptese
u
,
xi
ckkLq ()
C0 ().
Assim a funo
u
, : C0 () R
xi
Z
u
7
, = u
xi
xi
CAPTULO B
u
, tal que
xi
feC () =
u
, .
xi
u
e
, = f () =
g,
xi
C0 (),
ou seja
u
, =
xi
Z
g,
C0 (),
donde segue
u
= g Lp (),
xi
u
Lp (), i = 1, 2, . . . , N , o que implica
mostrando que u, x
i
u W 1,p ().
APNDICE C
Resultado Complementares
Teorema C.1 (Banach-Steinhaus) Sejam E e F dois espaos de Banach. Seja {T }
uma famlia de operadores lineares limitados de E em F . Suponha que
sup kT xk < +
x E.
Ento
sup kT k < +.
h0
f ( ) d f (0).
0
Demonstrao: Sendo f contnua, temos pelo Teorema do Valor Mdio para Integral, que
existe c (0, h) tal que
Z h
f ( ) d = f (c) h
0
166
CAPTULO C
RESULTADO COMPLEMENTARES
167
da
1
f ( ) d = f (c)
h 0
assim fazendo h 0, tem-se c 0 e sendo f contnua obtemos f (c) f (0), conseqentemente
Z
1 h
h0
f ( ) d f (0).
h 0
Lema C.2 Se u0 D(A2 ) D(A). Ento
AR()u0 = R()Au0 .
Demonstrao: Sabemos que R() = (I A)1 . Uma vez que (I A)1 est bem
definido, temos que existe v V tal que
(I A)1 u0 = v
(C.1)
logo
A(I A)1 u0 = Av,
isto ,
AR()u0 = Av.
(C.2)
(C.3)
Mostraremos, agora que R()Au0 = Av. Vejamos, analogamente existe ve V tal que
(I A)1 Au0 = R()Au0 = ve
logo
e
v Ae
v = Au0
por (C.3) tem-se
e
v Ae
v = Av A(Av)
o que implica
(I A)e
v = (I A)(Av)
por injetividade de (I A) segue que ve = Av. De (C.2) e (C.4) conclumos que
AR()u0 = R()Au0 .
(C.4)
168
sup |f (x)|.
f X
kf kX 1
em [0, T ]
(0) = 0,
ento
0
Demonstrao: Multiplicando (C.5) por e
0 (s) e
Rs
0
(r)dr
em [0, T ].
Rs
0
(r)dr
(s) (s) e
Rs
0
, obtemos
(r)dr
Rs
0
(r)dr
(s),
CAPTULO C
RESULTADO COMPLEMENTARES
169
isto ,
Rs
R
d
0s (r)dr
e 0 (r)dr (s)
(s) e
ds
q. t. p.
em [0, T ].
o que implica
(t) e
Rt
0
(r)dr
(0)
(s)ds
0
donde
Rt
(t) e
(r)dr
Z t
(s)ds
(0) +
0
em [0, T ]
(0) = 0,
temos
Rt
(t) e
(r)dr
(0) = 0
logo
0
em [0, T ].
Teorema C.7 (Desigualdade de Gronwall -Forma Integrvel) Seja (t) uma funo
contnua, no-negativa em [0, T ] satisfazendo para quase todo t a desigualdade integral
Z t
(t) C1
(s) ds + C2
(C.6)
0
(s) ds
0
q. t. p. em [0, T ].
170
Demonstrao: Defina
Z
(t) =
(s) ds.
0
isto ,
0 (t) C1 (t) + C2
q. t. p. em [0, T ].
(C.7)
Demonstrao: A idia gerar uma funo Beta no lado direito de (C.7). Vejamos,
considere a seguinte funo
g : (s, t) (0, 1)
7 g( ) =
s
ts
r.
Note que
= r(t s) + s
d = (t s)dr
CAPTULO C
RESULTADO COMPLEMENTARES
171
logo
t = (t s)(1 r)
Da
Z
t
1
(t )
( s)
s = r(t s).
d =
0
o que implica
Z 1
Z t
1
1
+1
(1 r)1 r1 dr = (t s)+1 B(, )
(t ) ( s)
d = (t s)
0
conseqentemente
Z
(t )1 ( s)1 d = (t s)+1
() ()
.
( + )
Teorema C.9 (Teorema do Ponto Fixo de Banach) Sejam (X, d) um espao mtrico
completo e F : X X uma contrao, isto ,
d(F (x), F (y)) k d(x, y)
0 k < 1.
172
du
(t) = Au(t) + f (t, u(t)),
dt
u(t ) = u ,
0
0
t0
possui uma nica soluo generalizada u em [0, Tmax ). Alm disso, se Tmax < ento
lim ku(t)k = .
tTmax
APNDICE D
A Aplicao Exponencial
No que segue, X um espao de Banach com norma denotada por k k. Seja A : X X
um operador linear limitado, ento para quaisquer u, v X temos
kAu Avk = kA(u v)k kAk ku vk.
Logo A uma funo Lipschitziana. Considere o seguinte problema de valor inicial
(
du
(t) = Au(t) t 0
(1)
dt
u(0) = u0 X.
Pelo Teorema A.14 dvido a Cauchy, Lipschitz e Picard existe uma nica soluo u X do
problema (1).
Objetivo: Daremos a forma explicita da soluo do problema (1).
Note que a srie
X
Ak
k!
k=1
absolutamente convergente, pois
X
kAkk
k=1
k!
= ekAk < ,
n
X
Ak
k=1
k!
onde I o operador identidade, temos que para cada n N, sn um operador linear limitado,
e {sn } uma seqncia convergente, logo existe o limite de {sn }, que denotaremos por
lim sn = eA
n+
173
em X.
174
X
Ak
k!
k=1
Denotando A0 = I temos
A
e =
X
Ak
k=0
k!
(D.1)
u(0) = e u0 = u0 +
X
0k Ak u0
k=1
k!
= u0 .
etA u0 u0 X tk1 Ak u0
=
.
t
k!
k=1
o que implica
k1 k
X
etA u0 u0
t A u0
= Au0 +
.
t
k!
k=2
Note que
k1 k
X
t A u0
X tj+1 Aj+2 u0
X |t|j+1 kAkj+2 ku0 k
=
k!
(j + 2)!
(j + 2)!
j=0
j=0
k=2
logo
X tk1 Ak u
X
|t|j kAkj
0
= |t|kAk2 ku0 ke|t|kAk
|t|kAk2 ku0 k
k!
j!
j=0
k=2
conseqentemente
k1 k
X
t
A
u
0
0
k!
quando t 0.
k=2
Portanto
etA u0 u0
Au0
t
quando t 0.
(D.2)
CAPTULO D
A APLICAO EXPONENCIAL
175
o que implica
k
n
X
X
t A(Ak u0 )
tk A(Ak u0 )
du
(t) = Au0 +
= Au0 + lim
.
n+
dt
k!
k!
k=1
k=1
lim
n
X
tk Ak u0
n+
k=1
k!
!
= A u0 +
X
(tA)k u0
k=1
k!
donde segue
du
(t) = AetA u0 .
dt
Da
du
(t) = Au(t).
dt
Pelo estudo feito temos que a soluo do problema (1) tem a forma explicita dada em (D.1).
Lema D.2 Sejam A1 e A2 operadores lineares limitados, que verificam A1 A2 = A2 A1 . Ento
etA1 etA2 = et(A1 +A2 ) .
176
da
ye(t + h) ye(t)
h
o que implica
ye(t + h) ye(t)
h
e(t+h)A2 etA2
= e(t+h)A1
!
u0
+ etA1
ehA1 I
h
!
etA2 u0 .
Fazendo h 0, obtemos
d
dt
logo
d
dt
sabendo que A1 e A2 comutam obtemos
d
dt
isto ,
d
dt
ye(t) = (A1 + A2 )e
y (t).
Portanto ye(t) = etA1 etA2 u0 soluo do problema (). Pela unicidade da soluo conclumos
etA1 etA2 = et(A1 +A2 ) .
du
Para concluir esta seo, encontraremos uma estimativa para
(t) quando t > 0, X um
dt
espao de Hilbert e A : X X um operador linear limitado, auto-adjunto e montono.
CAPTULO D
A APLICAO EXPONENCIAL
177
Teorema D.1 Seja X um espao de Hilbert, com produto interno (, )X . Suponha que
A : X X um operador linear limitado, auto-adjunto, com A montono. Se
u(t) = etA u0 ,
ento
du
1
(t)
ku0 k
dt
t
t (0, ).
(D.3)
u(0) = u0 .
(D.4)
e
Conseqentemente
u0 (t), u(t) X = Au(t), u(t) X .
Note que
d
u(t), u(t) X = u0 (t), u(t) X + u(t), u0 (t) X
dt
o que implica
d
u(t), u(t) X = 2 u0 (t), u(t) X = 2 Au(t), u(t) X ,
dt
(D.5)
d
ku(t)k2 = 2 Au(t), u(t) X .
dt
(D.6)
isto ,
Sendo A montono
Au(t), u(t) X 0
logo
Au(t), u(t) X 0.
De (D.6) e (D.7) tem-se
d
ku(t)k2 0
dt
donde segue que ku(t)k2 decrescente, implicando que ku(t)k decrescente.
Por (D.5) tem-se
1d
u(t), u(t) X = u0 (t), u(t) X .
2 dt
(D.7)
178
1
1
u0 ( ), u( ) X d = ku(t)k2 ku0 k2 .
2
2
(D.8)
Au( ), u( ) X d.
(D.9)
d
Au(t), u(t) X = A u0 (t) , u(t) X + Au(t), u0 (t) X .
dt
Sendo A um operador auto-adjunto, obtemos
d
Au(t), u(t) X = 2 Au(t), u0 (t) X .
dt
Deste modo
Z
0
1
Au( ), u ( ) X d =
2
0
d
Au( ), u( ) X d.
dt
(D.10)
CAPTULO D
A APLICAO EXPONENCIAL
179
(D.11)
2
1
u0 ( )
d t Au(t), u(t) X = ku0 k2 .
2
Au, u
(D.12)
X
0 para
todo u X, obtemos
ku(t)k ku0 k
para todo t 0.
kv( )k d kv(t)k
0
d,
0
o que implica
t
2
2 t2
u0 ( )
d
u0 (t)
,
2
Z
logo
2
2
2
u0 ( )
d
u0 (t)
t2 .
(D.13)
para t 0.
(D.14)
180
REFERNCIAS BIBLIOGRFICAS
[1] Abramowitz, M., Stegun, I. A. Handbook of Mathematical Functions., New York, Dover
Pub 1970.
[2] Adams, R. A. Sobolev spaces., Academic Press, New York, 1975.
[3] Bahaj, M., Sidki, Omar Almost periodic solutions of semilinear equations with analytic
semigroups in Banach spaces, Electron. J. Diff. Eqns., Vol. 2002(2002), No. 98, pp. 1
11.
[4] Bahuguna, D. Integrodifferential equations with analytic semigroups., Journal of Applied
Mathematics and Stochastic Analysis, 16:2 (2003), 177-189.
[5] Bartle, Robert G., The Elements of Integration and Lebesgue Measure., Wiley, New
York, 1995.
[6] Brzis, Haim, Analyse fonctionelle., 2a ed. Masson, 1987.
[7] Brzis, Haim, Operateurs maximaux monotones., North-Holland Publishing Company Amsterdam, 1973.
[8] Carvalho, A. N., Equaes Parablicas Semilineares, ICMC-USP, notas de aula, 26 de
junho de 2001.
[9] Carvalho, ALexandre. N., Arrieta, Jos M., Abstract parabolic problems with critical
nonlinearities and applications to navier-stokes and heat equations. Transactions of the
American Mathematical Society, v. 352, n. 01, p. 285-310, 2000.
[10] Carvalho, ALexandre. N., Rodriguez-Bernal, Anibal, Arrieta, Jos M. Parabolic Problems With Nonlinear Boundary Conditions And Critical Nonlinearities. Journal Of Differential Equations, USA, v. 156, n. 2, p. 376-406, 1999.
[11] Corra, W., J. Existncia e dacaimento exponencial para equao da onda semilinear
com dissipao localmente distribuda. Dissertao de Mestrado. CCE-UEM, 2005 .
[12] Evans, L. C., Partial Differential Equations. Vol. 19, American Mathematical Society,
U.S.A., 1949.
181
REFERNCIAS BIBLIOGRFICAS
182
[13] Figueiredo, D. G., Positive solutions of semilinear elliptc problems, Escola LatinoAmericana de Equaes Diferenciais, So Paulo, Junho de 1981.
[14] Figueiredo, D. G., Equaes elpticas no lineares. 11o Colquio Brasileiro de
Matemtica, Poos de Caldas, julho de 1977.
[15] Figueiredo, D. G., Anlise de fourier e equaes diferenciais parciais. Projeto Euclides,
4 ed. Rio de Janeiro: IMPA, 2005.
[16] Friedman, Avner, Partial differential equations, Robert E. Kriger Publishing Company,
Inc, 1969.
[17] Kreyszig, E., Introductory functional analysis with applications., John Wiley, New York,
1989.
[18] Lang, Serg, Analysis I, Addison-Wesley, 1969.
[19] Lang, Serg, Analysis II, Addison-Wesley, 1969.
[20] Lima, Elon Lages, Espaos mtricos, Projeto Euclides, 3 ed. Rio de Janeiro: IMPA,
2003.
[21] Kesavan, S., Topics in functional analysis and applications, Johw Wiley e Sons. 1989.
[22] Pazy, A., Semigroups of linear operators and applications to partial differential equations, Springer-Verlag, New York Berlin Heidelberg Tokyo, 1983.
[23] dos Santos, M. D., Existncia de solues para uma classe de problemas elpticos via
mtodos variacionais. Dissertao de Mestrado. CCT-UFCG, 2005.
[24] Showalter,R. E., Hilbert Space Methods for Partial Differential Equations, Electron. J.
Diff. Eqns., Monograph 01, chapter IV, 1994.
[25] Sotomayor, Jorge, Lies de equaes diferenciais ordinrias, Projeto Euclides IMPA,
1979.
NDICE REMISSIVO
Aproximao Yosida de A, 44
Desigualdade de Gronwall
Forma Diferencivel, 168
Forma Integrvel, 169
Desigualdade de Hlder, 163
Efeito de regularizao forte do operador calor, 82
Equao
da onda, 83
do calor, 81
Frmula Exponencial, 59
Funo
beta, 170
gama, 118
Gerador infinitesimal, 28
Lema de Du Bois Raymond, 160
uniformemente limitado, 27
Soluo
clssica, 31, 88, 105
generalizada, 89, 105
Teorema
de Regularidade, 159
Grfico Fechado, 168
Hille-Yosida, 51
Banach-Steinhaus, 166
Cauchy, Lipschitz, Picard, 156
da Convergncia Dominada de Lebesgue Generalizado,
164
da Convergncia Dominada de Lebesgue, 163
da Representao de Riesz, 172
do Ponto Fixo de Banach, 171
do Valor Mdio para Integrais, 166
Imerses de Sobolev, 160
Rellich-Kondrachov, 160
Operador
adjunto, 14
auto-adjunto, 17
densamente definido, 10
dissipativo, 66
do tipo (, M ), 115
elptico, 124
fechado, 10
fortemente elptico, 124
ilimitado, 10
limitado, 10
maximal dissipativo, 66
maximal montono, 20
montono, 20
potncia fracionria, 120
resolvente, 42
simtrico, 17
Semigrupo
C0 -semigrupo, 23
analtico, 116
fortemente contnuo, 23
semigrupo de contrao, 27
183