Cavalcanti, M. M. e Cavalcanti, V. - Introdução Às EDP S

Introducao às
EQUAC

OES DIFERENCIAIS PARCIAIS
ii
Expediente da Editora
iii
MARCELO MOREIRA CAVALCANTI

VAL
ERIA NEVES DOMINGOS CAVALCANTI

Introducao às
EQUAC

iv
Ficha Catalograca
Cavalcanti, Marcelo M. e Domingos Cavalcanti, Valeria N.
Introducao às Equacoes Diferenciais Parciais/ Marcelo M. Caval-
canti e Valeria Neves Domingos Cavalcanti/ Maringa:
UEM/DMA, 2010.
iii, 460p. il.
Livro Texto - Universidade Estadual de Maringa, DMA.
1. Equacoes diferenciais parciais.
2. Metodo da compacidade e metodo da monotonia.
3. Faedo Gaelrkin.
v
SUM
ARIO
Captulo 1 - O Metodo da Compacidade
A equacao linear u
tt
u = f (caso fraco) . . . . . . . . . . . . . . . . . . . . . 8
A equacao u
tt
u +[u[
u = f (caso fraco) . . . . . . . . . . . . . . . . . . . . 24
A equacao u
tt
u +[u[
u = f (caso forte) . . . . . . . . . . . . . . . . . . . . 48
A equacao u
tt
u +u
3
= f (base especial) . . . . . . . . . . . . . . . . . . . . 62
A equacao u
tt
u +[u[
u = f (base especial) . . . . . . . . . . . . . . . . . . 68
A equacao de Schrodinger u
t
iu +[u[
2
u = f . . . . . . . . . . . . . . . . . . 69
A equacao de Schrodinger u
t
iu +[u[
u = f . . . . . . . . . . . . . . . . . 81
A equacao u
tt
u +[u
t
[
u
t
= f . . . . . . . . . . . . . . . . . . . . . . . . . 88
Sistema de Von-Karman (evolucao) . . . . . . . . . . . . . . . . . . . . . . . . 95
Sistema de Von-Karman (estacionario) . . . . . . . . . . . . . . . . . . . . . . 109
Sistema de Navier-Stokes (evolucao) . . . . . . . . . . . . . . . . . . . . . . . 122
Solucoes periodicas do sistema de Navier-Stokes . . . . . . . . . . . . . . . . . 159
Sistema de Navier-Stokes (estacionario) . . . . . . . . . . . . . . . . . . . . . 167
Sistema de Klein-Gordon . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 174
Captulo 2 - O Metodo da Monotonia
O Teorema de Browder-Minty-Visik . . . . . . . . . . . . . . . . . . . . . . . 189
Aplicacoes de Dualidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 206
Problema Parabolico Monotono . . . . . . . . . . . . . . . . . . . . . . . . . . 270
Problema Hiperbolico com Viscosidade . . . . . . . . . . . . . . . . . . . . . . 297
Sistema de Elasticidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 328
Problema Hiperbolico Parabolico . . . . . . . . . . . . . . . . . . . . . . . . . 367
Problema em Domnios Nao Cilndricos . . . . . . . . . . . . . . . . . . . . . . 403
Problemas com Vibracoes Nao Lineares . . . . . . . . . . . . . . . . . . . . . . 428
Referencias 468
vi
APRESENTAC

AO
Sob o nome de Introducao às Equacoes Diferenciais Parciais apresentamos al-
guns metodos de resolucao de problemas classicos governados pelas equacoes diferenciais
parciais.
A motivacao de escrever este texto surgiu quando cursavamos o Doutorado na
UFRJ, sob a orientacao dos professores Manuel Milla Miranda e Luiz Adauto Medeiros,
aos quais somos eternamente gratos pela nossa formacao. Agora, que nos encontramos
engajados à UEM e em virtude da implantacao do Mestrado em Matematica em nossa
instituicao, nos sentimos impelidos nalmente em tornar esta motiva cao uma realidade.
Este texto nao pretende, evidentemente, comparar-se ao classico J.L. Lions [9],
mas abordar de maneria mais detalhada alguns resultados nele contido. No Captulo
1 apresentamos o metodo da compacidade e sua aplicacao na passagem ao limite dos
seguintes modelos: modelos nao-lineares da mecanica quantica relativista, a equacao de
Schrodinger, sistema de Von-Karman, equacao de Navier-Stokes e o sistema de Klein-
Gordon. Usamos o metodo de Faedo-Galerkin na resolucao de tais problemas e obser-
vamos que este metodo simples e eciente, baseado aparentemente em desigualdades,
esta sedimentado numa poderosa Analise Funcional.
No Captulo 2 apresentamos o metodo da monotonia e suas aplicacoes aos pro-
blemas estacionarios como, por exemplo, no caso do operador pseudo-laplaciano. Uti-
lizamos tambem este metodo combinado com o metodo da compacidade na resolucao de
alguns problemas de evolucao envolvendo equacoes parabolicas e hiperbolicas monotonas.
Abordamos, ainda, neste captulo, o sistema de elasticidade, problemas hiperbolico-
parabolicos degenerados, problemas em domnios nao cilndricos e o problema da onda
vii
com vibracoes nao lineares.
Para uma boa leitura deste manuscrito sao necessarios, por parte do leitor,
conhecimento previo de Analise Funcional, da Teoria das Distribuicoes e dos Espacos
de Sobolev.
Esperamos que este material auxilie àqueles que ingressam na area de Equacoes
Diferenciais Parciais, ou ainda, àqueles que por ela se interessem.
Deixamos aqui registrado que e de nossa inteira responsabilidade todo e qualquer
erro encontrado neste manuscrito e agradecemos, antecipadamente, toda e qualquer
manifestacao de correcao do mesmo.
Gostaramos de expressar nossa gratidao ao querido Mestre Alvercio Moreira
Gomes pelo seu incentivo constante e pelo seu grande exemplo de vida.
Finalmente, gostaramos de agradecer ao amigo Wilson Goes pelo excelente tra-
balho de digitacao e estetica.
Maringa, Novembro de 2010
Os Autores.
8
CAP
ITULO 1
O M
ETODO DA COMPACIDADE
No que segue neste livro, adotaremos as mesmas notacoes como em Lions [9],
representara um aberto limitado do R
n
com fronteira bem regular, T > 0 e um
n umero real positivo arbitrario, porem xado e Q e o cilindro ]0, T [ cuja fronteira
lateral e dada por ]0, T [. Denotaremos, respectivamente, por (, ) e [ [, o produto
interno e a norma em L
2
(). Da mesma forma, denotaremos, respectivemente, por
((, )) e [[ [[, o produto interno e a norma em H
1
0
().
O Problema linear
(1)
2
u
t
2
u = f em Q
u = 0 em
u(0) = u
0
(x);
u
t
(0) = u
1
(x); x
onde
(2) u
0
H
1
0
(); u
1
L
2
() e f L
1
(0, T; L
2
())
admite uma unica solucao fraca u: Q R, na classe
(3) u L
(0, T; H
1
0
()); u
=
u
t
L
(0, T; L
2
()).
Mais precisamente, temos
(4)
d
dt
(u
(t), v) + ((u(t), v)) = (f(t), v)

M
ETODO DA COMPACIDADE 9
em T
(0, T) para toda v H

1
0
().
(5) u(0) = u
0
; u
(0) = u
1
.
Prova:
1
a
Etapa: Problema Aproximado

Seja
N
uma base de H
1
0
(), ortonormal em L
2
() (para se conseguir tal
propriedade basta aplicarmos na base de H
1
0
() o processo de ortogonalizacao de Gram-
Schmidt). Denimos
V
m
= [
1
, ,
m
] ,
o subespaco gerado pelos primeiros m elementos da base e consideremos o problema
aproximado em [0, T]:
(6) Determinar u
m
(t) V
m
u
m
(t) =
m
i=1
g
im
(t)
i
,
(7) (u
m
(t),
j
) + ((u
m
(t),
j
)) = (f(t),
j
); j = 1, 2, . . . , m,
(8) u
m
(0) = u
0m
u
0
em H
1
0
(),
(9) u
m
(0) = u
1m
u
1
em L
2
().
Temos, em virtude de (6) que
u
0m
=
m
i=1
im
i
= u
m
(0) =
m
i=1
g
im
(0)
i
,
u
1m
=
m
i=1
im
i
= u
m
(0) =
m
i=1
g
im
(0)
i
.
10 INTRODUC

AO
`
AS EQUAC

e, da, de (6)-(9) podemos escrever
(10)
_
_
m
i=1
g
im
(t)(
i
,
j
) +
m
i=1
g
im
(t)((
i
,
j
)) = (f(t),
j
),
g
jm
(0) =
jm
, g
jm
(0) =
jm
, j = 1, , m.
ou ainda
(11)
_
_
(
1
,
1
) (
1
,
m
)
(
2
,
1
) (
2
,
m
)
.
.
.
.
.
.
(
m
,
1
) (
m
,
m
)
_
_
. .
=A
_
_
g
1m
(t)
g
2m
(t)
.
.
.
g
mm
(t)
_
_
+
_
_
((
1
,
1
)) ((
1
,
m
))
((
2
,
1
)) ((
2
,
m
))
.
.
.
.
.
.
((
m
,
1
)) ((
m
,
m
))
_
_
. .
=B
=
_
_
(f(t),
1
)
(f(t),
2
)
.
.
.
(f(t),
m
)
_
_
.
. .
=F(t)
Denimos
(12) z(t) =
_
_
g
1m
(t)
g
2m
(t)
.
.
.
g
mm
(t)
_
_
z(0) =
_
1m
2m
.
.
.
mm
_
_
= z
0
e z
(0) =
_
1m
2m
.
.
.
mm
_
_
= z
1
.
Observe que sendo
N
ortonormal em L
2
() resulta que a matriz A e a matriz
identidade, e, portanto, de (11) e (12) vem que
(13)
_
_
_
z
(t) +Bz(t) = F(t)

z(0) = z
0
, z
(0) = z
1
Denindo
Y
1
(t) = z(t), Y
2
(t) = z
(t) e Y (t) =
_
_
Y
1
(t)
Y
2
(t)
_
_
,
M
de (13) resulta que
Y
(t) =
_
_
Y
1
(t)
Y
2
(t)
_
_
=
_
_
z
(t)
z
(t)
_
_
=
_
_
z
(t)
F(t) Bz(t)
_
_
=
_
_
Y
2
(t)
F(t) BY
1
(t)
_
_
,
ou seja,
Y
(t) =
_
_
0 I
B 0
_
_
_
_
Y
1
(t)
Y
2
(t)
_
_
+
_
_
0
F(t)
_
_
,
ou ainda,
Y
(t) =
_
_
0 I
B 0
_
_
. .
=D
Y (t) +
_
_
0
F(t)
_
_
.
. .
=G(t)
Obtemos, entao, o seguinte sistema:
(14)
_
_
_
Y
(t) = DY (t) +G(t)

y(0) = Y
0
,
onde Y
0
=
_
_
z
1
z
0
_
_
, o qual possui solucao em [0, T] dada por
Y (t) = e
tD
Y
0
+e
tD
_
t
0
e
sD
G(s) ds, lembrando que e
tD
=
k=0
t
k
k!
D
k
.
Note que a representa cao integral acima esta bem denida pois as componentes
de G() pertencem a L
1
(0, T) uma vez que f L
1
(0, T; L
2
()). Alem disso, Y, Y

L
1
(0, T), ou seja, Y W
1,1
(0, T). Assim Y () identica-se com um representante abso-
lutamente contnuo em [0, T]. Da resulta que z(t) e z
(t) sao absolutamente contnuas

com z
(t) existindo quase sempre em (0, T), o mesmo valendo para g

jm
(t), para todo
12 INTRODUC

AO
`
AS EQUAC

j = 1, , m. Conclumos, entao que, as derivadas à Dini e as derivadas distribu-
cionais de g
jm
(t) com respeito a variavel t coincidem ate a segunda ordem, para todo
j = 1, , m.
2
a
Etapa: Estimativa a Priori

Multiplicando (7) por g
jm
(t) e somando em j de 1 ate m, obtemos
(15) (u
m
(t), u
m
(t)) + ((u
m
(t), u
m
(t))) = (f(t), u
m
(t)).
Note que
(16)
(u
m
(t), u
m
(t)) =
_
_
m
i=1
g
im
(t)
i
,
m
j=1
g
jm
(t)
j
_
_
=
m
i=1
g
im
(t)g
im
(t)[
i
[
2
=
1
2
d
dt
m
i=1
(g
im
(t))
2
[
i
[
2
=
1
2
d
dt
_
_
m
i=1
g
im
(t)
i
,
m
j=1
g
jm
(t)
j
_
_
=
1
2
d
dt
[u
m
(t)[
2
.
Da mesma forma temos
(17) ((u
m
(t), u
m
(t))) =
1
2
d
dt
[[u
m
(t)[[
2
.
Combinando (15), (16) e (17) obtemos
(18)
1
2
d
dt
[u
m
(t)[
2
+
1
2
d
dt
[[u
m
(t)[[
2
= (f(t), u
m
(t))
[f(t)[
1/2
[f(t)[
1/2
[u
m
(t)[,
M
onde usando a ultima desigualdade decorre da desigualdade de Cauchy-Schwarz. Inte-
grando (18) de (0, t) com t [0, T] e usando a desigualdade 2ab a
2
+b
2
, obtemos
(19)
[u
m
(t)[
2
+[[u
m
(t)[[
2
[u
m
(0)[
2
+[[u
m
(0)[[
2
+
_
t
0
[f(s)[ ds +
_
t
0
[f(s)[ [u
m
(s)[
2
ds,
e, consequentemente, de (8), (9) e (19), temos
(20)
[u
m
(t)[
2
+[[u
m
(t)[[
2
[u
0m
[
2
+[[u
1m
[[
2
+
_
T
0
[f(s)[ ds +
_
t
0
[f(s)[
_
[u
m
(s)[
2
+[[u
m
(s)[[
2
ds,
para todo t [0, T]. Como u
0m
u
0
em H
1
0
(), u
1m
u
1
em L
2
() e f
L
1
(0, T; L
2
()), entao existe uma constante K > 0, independente de m tal que
(21) [u
0m
[
2
+[[u
1m
[[
2
+[[f[[
L
1
(0,T;L
2
()
K.
Combinando (20) e (21) resulta que
(22) [u
m
(t)[
2
+[[u
m
(t)[[
2
K +
_
t
0
[f(s)[
_
[u
m
(s)[
2
+[[u
m
(s)[[
2
ds.
Empregando a desigualdade de Gronwall em (22) obtemos
(23) [u
m
(t)[
2
+[[u
m
(t)[[
2
Ke
_
T
0
|f(s)| ds
. .
=C
, para todo t [0, T] e para todo m N.
A desigualdade em (23) nos diz que
(24)
u
m
e limitada em L
(0, T; H
1
0
())
_
L
1
(0, T; H
1
())
_
,
u
m
e limitada em L
(0, T; L
2
())
_
L
1
(0, T; L
2
())
_
.
14 INTRODUC

AO
`
AS EQUAC

Consequentemente, de (24) existe uma subsequencia u
N
de u
N
tal que
(25)
u
u fraco estrela em L
(0, T; H
1
0
())
_
L
1
(0, T; H
1
())
_
,
u
v fraco estrela em L
(0, T; L
2
())
_
L
1
(0, T; L
2
())
_
.
Armamos que v = u
. Com efeito, notemos que da cadeia de injecoes

L
(0, T; H
1
0
()) L
(0, T; L
2
()) L
2
(Q) D
(Q),
e sendo o operador deriva cao contnuo em D
(Q) de (25) resulta que

(26)
u
u em D
(Q) u
em D
(Q),
u
v em D
(Q).
Da unicidade do limite em D
(Q) e de (26) resulta que u
= v.
3
a
Etapa: Passagem ao Limite

Das convergencias dadas em (25) podemos escrever
(26)
_
T
0
u
(t), w(t)
H
1
0
,H
1
dt
_
T
0
u(t), w(t)
H
1
0
,H
1
dt, quando +,
para todo w L
1
(0, T; H
1
(). Tomando, em particular, w = (v), v H
1
0
() e
D(0, T), temos, observando que u, v = ((u, v)), para todo u, v H
1
0
(), que
(27)
_
T
0
((u
(t), v))(t) dt
_
T
0
((u(t), v))(t) dt, quando +.
Analogamente, de (25) obtemos
(28)
_
T
0
(t), w(t)
_
L
2
,(L
2
)
dt
_
T
0
u
(t), w(t)
L
2
,(L
2
)
dt, quando +,
M
para todo w L
1
(0, T; (L
2
()
). Tomando, em particular, w = v
, v H
1
0
() e
D(0, T), temos
(29)
_
T
0
(u
(t), v)
(t) dt
_
T
0
(u
(t), v)
(t) dt, quando +.

Seja j N arbitrario porem xado e consideremos > j. Entao de (7) resulta
que
(30) (u
(t),
j
) + ((u
(t),
j
)) = (f(t),
j
).
Multiplicando (30) por D(0, T) e integrando de 0 T, obtemos
(31)
_
T
0
(u
(t),
j
)(t) dt +
_
T
0
((u
(t),
j
))(t) dt =
_
T
0
(f(t),
j
)(t) dt.
Mas,
(32)
_
T
0
(u
(t),
j
)(t) dt =
_
T
0
d
dt
(u
(t),
j
)(t) dt =
_
T
0
(u
(t),
j
)
(t) dt.
Combinando (31) e (32) resulta que
(33)
_
T
0
(u
(t),
j
)
(t) dt +
_
T
0
((u
(t),
j
))(t) dt =
_
T
0
(f(t),
j
)(t) dt.
Passando o limite em (33) quando + levando em consideracao as con-
vergencias em (27) e (29) inferimos
(34)
_
T
0
(u
(t),
j
)
(t) dt +
_
T
0
((u(t),
j
))(t) dt =
_
T
0
(f(t),
j
)(t) dt, para todo j N.
Consideremos, agora, v H
1
0
(). Como as combinacoes lineares nitas dos
elementos da base
N
sao densas em H
1
0
(), existe uma sequencia z
k
kN
, z
k
=
(k)
i=1

ik
ik
tal que z
k
v em H
1
0
() quando k +.
16 INTRODUC

AO
`
AS EQUAC

Logo, de (34), para todo k N, temos
(35)
_
T
0
(u
(t), z
k
)
(t) dt +
_
T
0
((u(t), z
k
))(t) dt =
_
T
0
(f(t), z
k
)(t) dt, para todo k N.
Da convergencia forte z
k
v em H
1
0
() e da imersao H
1
0
() L
2
(), resultam
as convergencias fracas
(36)
_
_
_
((z
k
, )) ((v, )), quando k para todo H
1
0
(),
(z
k
, ) (v, ), quando k para todo L
2
().
De (35) e (36) obtemos
(37)
_
T
0
(u
(t), v)
(t) dt+
_
T
0
((u(t), v))(t) dt =
_
T
0
(f(t), v)(t) dt, para todo v H
1
0
()
e para todo D(0, T), ou ainda,
(38)
d
dt
(u
(t), v), +((u(t), v)), = (f(t), v), para todo v H

1
0
(),
e para todo D(0, T).
4
a
Etapa: Localizacao da 2
a
derivada
Observemos, incialmente que o operador denido pela terna H
1
0
(), L
2
(), ((, )),
satisfaz a condicao:
(u, v) = ((u, v)), para todo u D() = H
1
0
() H
2
() e para todo v H
1
0
(),
uma vez que e um aberto limitado com fronteira bem regular. Mais ainda, o operador
admite uma unica extensao contnua, em verdade uma isometria de H
1
0
() em
H
1
(). Desta forma, : H
1
0
() H
1
() e uma bijecao isometrica, ou seja,
(39) [[u[[
H
1
()
= [[u[[
H
1
0
()
, para todo u H
1
0
().
M
Mais alem, tal extensao verica a identidade
(40) u, v
H
1
,H
1
0
= ((u, v)), para todo u, v H
1
0
().
Feitas as consideracoes acima, de (37) e (40) podemos escrever
_
T
0
(u
(t), v)
(t) dt =
_
T
0
u(t), v (t) dt+
_
T
0
(f(t), v)(t) dt, para todo v H
1
0
()
e para todo D(0, T), ou ainda,
_
_
_
_
_
_
T
0
u
(t)
(t) dt
. .
L
2
()
, v
_
_
_
_
_
=
_
_
T
0
u(t)(t) dt
. .
H
1
()
, v
_
+
_
_
_
_
_
_
T
0
f(t)(t) dt
. .
L
2
()
, v
_
_
_
_
_
,
para toda v H
1
0
() e para toda D(0, T). Identicando o L
2
() com o seu dual,
via Teorema de Riez, da ultima identidade decorre que
(41)
_
_
T
0
u
(t)
(t) dt, v
_
=
_
_
T
0
u(t)(t) dt, v
_
+
_
_
T
0
f(t)(t) dt, v
_
.
para toda v H
1
0
() e para toda D(0, T).
Denindo
g(t) = u(t) +f(t),
de (41) resulta que
(42)
_
T
0
u
(t)
(t) dt =
_
T
0
g(t)(t) dt em H
1
().
Alem disso, como f L
1
(0, T; H
1
()) de (39) obtemos
_
T
0
[[u(t)[[
H
1
()
dt =
_
T
0
[[u(t)[[
H
1
0
()
dt < +,
18 INTRODUC

AO
`
AS EQUAC

o que implica que g L
1
(0, T; H
1
()).
Denamos:
v(t) = u
(t)
_
t
0
g(s) ds H
1
().
Como v L
1
(0, T; H
1
()) temos que v
dene uma distribuicao vetorial e, alem

disso,
v
, = v,
= u
+
__
t
0
g(s) ds,
_
.
Mas,
__
t
0
g(s) ds,
_
=
_
T
0
_
t
0
g(s) ds
. .
=h(t)
(t) dt
= h(t)(t)[
T
0
. .
=0
_
T
0
g(t)(t) dt =
_
T
0
g(t)(t) dt,
o que implica
(43) v
, = u

_
T
0
g(t)(t) dt.
De (42) e (43) vem entao que
v
, = 0, para todo D(0, T),

e, consequentemente, v
= 0. Logo, v(t) =
x
= constante com respeito à t.
Assim,
u
(t) =
x
+
_
t
0
g(s) ds u
(t) = g(t),
o que nos leva a
(44) u
L
1
(0, T; H
1
()).
M
5
a
Etapa: Condicoes Iniciais

Notemos inicialmente que pelo fato de
u L
(0, T; H
1
0
()), u
(0, T; L
2
(), u
(0, T; H
1
()),
resulta, em virtude do Lema 1.2 em Lions [10] e do Lema 8.1 em Lions e Magenes [9],
que
u C([0, T]; L
2
()), u C
s
(0, T; H
1
0
()),
u
C([0, T]; H
1
()), u
C
s
(0, T), L
2
().
Desta forma, faz sentido falarmos em u(t) e u
(t) qualquer que seja t [0, T].

Provaremos que:
(i) u(0) = u
0
Com efeito, ja estabelecemos anteriormente que
u
em L
(0, T; L
2
()) quando .
Sejam C
1
([0, T]) e v L
2
(. Entao, identicando o L
2
() com o seu dual,
da ultima convergencia resulta que
_
T
0
(u
(t), v)(t) dt
_
T
0
(u
(t), v)(t) dt, quando ,

ou seja,
_
T
0
d
dt
(u
(t), v)(t) dt
_
T
0
d
dt
(u(t), v)(t) dt, quando ,
ou ainda,
(u
(t), v)(t)[
T
0

_
T
0
(u
(t), v)
(t) dt (u(t), v)(t)[

T
0

_
T
0
(u(t), v)
(t) dt,
20 INTRODUC

AO
`
AS EQUAC

quando .
Escolhendo de modo que (T) = 0 e (0) = 1, e, observando que
_
T
0
(u
(t), v)
(t) dt
_
T
0
(u(t), v)
(t) dt, quando ,

obtemos
(u
(0), v) (u(0), v), quando , para todo v L

2
().
Logo,
u
(0) = u
0
u(0), fracamente em L
2
().
Por outro lado, u
0
u
0
forte em H
1
0
() L
2
(). Pela unicidade do limite
fraco em L
2
() conclumos que u(0) = u
0
, como queramos provar.
Provaremos, a seguir, que
(ii) u
(0) = u
1
.
De fato, seja C
1
([0, T]) tal que (0) = 1 e (T) = 0. Retornando ao problema
aproximado podemos escrever
_
T
0
(u
(t),
j
)(t) dt +
_
T
0
((u
,
j
))(t) dt =
_
T
0
(f(t),
j
)(t) dt, j(xo).
Integrando a identidade acima por partes chegamos a
(u
(t),
j
)(t)[
T
0

_
T
0
(u
(t),
j
)
(t) dt +
_
T
0
((u
(t),
j
))(t) dt =
_
T
0
(f(t),
j
)(t) dt,
ou ainda, em funcao das caractersticas de ,
(u
(0),
j
)
_
T
0
(u
(t),
j
)
(t) dt +
_
T
0
((u
(t),
j
))(t) dt =
_
T
0
(f(t),
j
)(t) dt.
M
Passando o limite na identidade acima quando + vem que
(u
1
,
j
)
_
T
0
(u
(t),
j
)
(t) dt +
_
T
0
((u(t),
j
))(t) dt =
_
T
0
(f(t),
j
)(t) dt.
Integrando novamente por partes, da identidade acima resulta que
(45)
(u
1
,
j
) (u
(t),
j
)(t)[
T
0
+
_
T
0
d
dt
(u
(t),
j
)(t) dt +
_
T
0
((u(t),
j
))(t) dt
=
_
T
0
(f(t),
j
)(t) dt.
Como u e solucao fraca do problema em questao de (38) e (45) conclumos que
(u
1
,
j
) = (u
(0),
j
), para todo j N. Como [
j
]
jN
H
1
0
()
= H
1
0
()), H
1
0
()
L
2
()
=
L
2
() e H
1
0
() L
2
() temos que
(u
1
, v) = (u
(0), v), para todo v L

2
(),
o que prova o desejado.
6
a
Etapa: Unicidade
Sejam u e u solucoes do problema (1) e denamos w = u u. Temos,
_
_
w
w = 0 em L
1
(0, T; H
1
())
w = 0 sobre = (0, T)
w(0) = w
(0) = 0.
Observe que nao tem sentido compormos w
(t) com w
(t) na dualidade
,
H
1
(),H
1
0
()
uma vez que w
(t) pertence quase sempre a L

2
(). Para contornar este
problema usamos o seguinte truque: como u, u L
(0, T; H
1
0
()) entao
_
w(t) dt
22 INTRODUC

AO
`
AS EQUAC

H
1
0
() para todo , [0, T]. Tomemos, entao, s [0, T] e denamos a seguinte funcao
auxiliar:
(t)
_
_
s
t
w() d , 0 t s,
0, s t T
Observemos que para cada t [0, T], (t) H
1
0
() e, alem disso,
_
T
0
[[(t)[[ dt =
_
s
0
_
s
t
w() d
dt
_
s
0
_
s
0
[[w()[[ ddt supess[[w[[
_
s
0
(s t) dt
= supess[[w[[
_
st
t
2
2
_
s
0
= supess[[w[[
_
s
2
s
2
2
_
T
2
2
supess[[w[[ < +.
Logo, L
1
(0, T; H
1
0
()). Alem diso, como
= w C([0, s]; H
1
0
()) resulta
que C([0, s]; H
1
0
()).
Por outro lado, observando que w
(0, T; H
1
()) e compondo a equacao
w
w = 0 com a funcao na dualidade L
(0, T; H
1
0
()) L
1
(0, T; H
1
0
()) obtemos
_
T
0
w
(t), (t) dt
_
T
0
w(t), (t) dt = 0,
ou ainda,
_
T
0
w
(t), (t) dt +
_
T
0
((w(t), (t))) dt = 0.
Como (t) = 0 para t [s, T] da ultima identidade podemos escrever
(46)
_
s
0
w
(t), (t) dt +
_
s
0
((w(t), (t))) dt = 0.
Mas,
(47)
d
dt
w
(t), (t) = w
(t), (t) +w
(t),
(t) .
M
Observemos, porem, que
(t) = w(t) quase sempre em [0, s] temos

(48) w
(t),
(t) = w
(t), w(t) = (w
(t), w(t)) =
1
2
d
dt
[w(t)[
2
.
Tambem, w
(t), (t) = (w
(t), (t)) e, portanto de (48) obtemos

(49)
d
dt
(w
(t), (t)) = w
(t), (t) +
1
2
d
dt
[w(t)[
2
.
Integrando a identidade (49) de 0 à s vem que
(w
(s), (s))[
s
0

_
s
0
w
(t), (t) dt +
1
2
_
[w(t)[
2
s
0
,
o que implica
(w
(s), (s)
..
=0
) (w
(0)
. .
=0
, (0)) =
_
s
0
w
(t), (t) dt +
1
2
_
_
[w(s)[
2
+[w(0)[
2
. .
=0
_
_
,
e, assim:
(49)
_
s
0
w
(t), (t) dt =
1
2
[w(s)[
2
.
Por outro lado, como
= w quase sempre em [0, s] temos que

((w(t), (t))) = ((
(t), (t))) =
1
2
d
dt
[[(t)[[
2
,
e, ent ao,
(50)
_
s
0
((w(t), (t))) dt =
1
2
_
_
[[(s)[[
2
. .
=0
[[(0)[[
2
_
_
.
24 INTRODUC

AO
`
AS EQUAC

Donde, de (46), (49) e (50) resulta que
1
2
[w(s)[
2
1
2
[[(0)[[
2
= 0,
o que implica que [w(s)[ = 0, para todo s [0, T], ou seja, w = 0, o que encerra a
unicidade.
Observacao: Como w C([0, T]; H
1
0
()), w
C([0, T]; L
2
() e w
C([0, T]; H
1
())
e ,
C
[
0, T]; H
1
0
()) temos que as aplicacoes t (w(t), (t)) e t (w
(t), (t))
sao de classe C
1
em [0, T] e, portanto, permissvel fazer as integra coes por partes. Alem
disso, as funcoes [w(t)[
2
e [(t)[
2
sao absolutamente contnuas o que nos permite fazer
os calculos acima.
O Problema 1
(1)
2
u
t
2
u +[u[
u = f em Q ( > 0)
u = 0 em
u(0) = u
0
(x);
u
t
(0) = u
1
(x); x
onde
(2) u
0
H
1
0
() L
+2
(); u
1
L
2
() e f L
2
(0, T; L
2
())
admite pelo menos uma solucao fraca u: Q R, na classe
(3) u L
(0, T; H
1
0
() L
+2
()); u
=
u
t
L
(0, T; L
2
()).
Mais precisamente, pondo p = + 2, temos
(4)
d
dt
(u
(t), v) + ((u(t), v)) +[u[
u, v
L
p
(),L
p
()
= (f(t), v)
M
em T
(0, T) para toda v H

1
0
() L
p
().
(5) u(0) = u
0
; u
(0) = u
1
.
Alem disso, se 0 < <
2
n 2
(n 3) a solucao e unica.
Prova:
1
a

Muniremos H
1
0
()L
p
() da topologia natural [[u[[
H
1
0
L
p
= [[u[[
H
1
0
()
+[[u[[
L
p
()
de modo que a aplicacao linear
T: H
1
0
() L
p
() L
p
() L
2
() L
2
()
u Tu =
_
u,
u
x
1
, . . . ,
u
x
n
_
e claramente uma isometria. Pondo
W = T(H
1
0
() L
p
())
resulta que W e um subespaco de um espaco separavel e portanto, tambem e separavel.
Sendo T isometria vem que T
1
(W) possui um subconjunto enumeravel e denso em
H
1
0
() L
p
() o que prova que este ultimo e da mesma forma separavel. Seja (
)
N
uma base de H
1
0
() L
p
(), ou seja:
m,
1
, . . . ,
m
sao linearmente independentes
As combina coes lineares nitas dos
i
s sao densas em H
1
0
() L
p
().
Ponhamos
V
m
= [
1
, . . . ,
m
]
o subespaco gerado pelos m primeiros vetores da base. Denotando por ( , ) e (( , )),
respectivamente, os produtos internos em L
2
() e H
1
0
(), consideremos em V
m
o prob-
lema aproximado
26 INTRODUC

AO
`
AS EQUAC

(6) u
m
(t) V
m
u
m
(t) =
m
i=1
g
im
(t)
i
(7) (u
m
(t),
j
) + ((u
m
(t),
j
)) +
_
[u
m
(t)[
u
m
(t)
j
dx = (f(t),
j
); j = 1, 2, . . . , m.
(8) u
m
(0) = u
0m
u
0
em H
1
0
() L
p
()
(9) u
m
(0) = u
1m
u
1
em L
2
()
que, por Caratheodory possui solucao local em um intervalo [0, t
m
) onde u
m
e u
m
sao
absolutamente contnuas e u
m
existe q.s. As estimativas a priori servirao pra estender a
solucao à todo intervalo [0, T]. Com efeito, de (6) e (7) e assumindo, via Gram-Schmidt,
que
j
jN
e, ortonormal em L
2
() obtemos
g
jm
(t) +
m
i=1
g
im
(t)((
i
,
j
)) = (f,
j
)
_
i=1
g
im
(t)
i
_
m
i=1
g
im
(t)
i
_
j
dx.
Denotando F() = [[
, da ultima identidade podemos escrever

g
jm
(t) +
m
i=1
g
im
(t)((
i
,
j
)) = (f,
j
)
_
F
_
m
i=1
g
im
(t)
i
_
j
dx,
ou ainda,
_
_
g
1m
(t)
g
2m
(t)
.
.
.
g
mm
(t)
_
_
+
_
_
((
1
,
1
)) ((
1
,
m
))
((
2
,
1
)) ((
2
,
m
))
.
.
.
.
.
.
((
m
,
1
)) ((
m
,
m
))
_
_
. .
=A
_
_
g
1m
(t)
g
2m
(t)
.
.
.
g
mm
(t)
_
_
. .
=Z(t)
M
+
_
_
_
F
_
m
i=1
g
im
(t)
i
_
1
dx
_
F
_
m
i=1
g
im
(t)
i
_
2
dx
.
.
.
_
F
_
m
i=1
g
im
(t)
i
_
m
dx
_
_
=
_
_
(f(t),
1
)
(f(t),
2
)
.
.
.
(f(t),
m
)
_
_
. .
=G
2
(t)
Observando que
F
_
m
i=1
g
im
(t)
i
_
= F
_
_
_
_
_
_
_
_
_
_
_
[
1
, ,
m
]
_
_
g
1m
(t)
g
2m
(t)
.
.
.
g
mm
(t)
_
_
_
_
_
_
_
_
_
_
_
_
_
e denotando [
1
, ,
m
] = B resulta que
Z
(t) +AZ(t) +
_
_
_
F(BZ(t))
1
dx
_
F(BZ(t))
2
dx
.
.
.
_
F(BZ(t))
m
dx
_
_
. .
=G
1
(Z(t))
= G
2
(t).
Denindo
Y
1
(t) = Z(t), Y
2
(t) = Z
(t) e Y (t) =
_
_
Y
1
(t)
Y
2
(t)
_
_
,
28 INTRODUC

AO
`
AS EQUAC

obtemos
Y
(t) =
_
_
Y
1
(t)
Y
2
(t)
_
_
=
_
_
Z
(t)
Z
(t)
_
_
=
_
_
Y
2
(t)
G
2
(t) G
1
(Y
1
(t)) AY
1
(t)
_
_
=
_
_
0
G
2
(t)
_
_
+
_
_
0
G
1
(Y
1
(t))
_
_
+
_
_
0 I
A 0
_
_
_
_
Y
1
(t)
Y
2
(t)
_
_
=
_
_
0
G
2
(t)
_
_
+
_
_
0
G
1
(Y
1
(t))
_
_
+
_
_
0 I
A 0
_
_
Y (t).
Consideremos a seguinte aplicacao:
h : [0, T] R
2m
R
2m
(t, Y ) h(t, Y ) =
_
_
0
G
2
(t)
_
_
+
_
_
0
G
1
(Y
1
)
_
_
+
_
_
0 I
A 0
_
_
Y,
onde Y
1
= (
1
, ,
m
) e Y = (
1
, ,
m
,
m+1
, ,
2m
).
Notemos que:
(i) Para cada Y xo, h(t, Y ) e mensuravel posto que f e mensuravel.
(ii) Para quase todo t, h(t, Y ) e contnua uma vez que F e contnua.
(iii) Sejam U [0, T] R
2m
um conjunto compacto e (t, Y ) U. Entao:
[[h(t, Y )[[
R
2m [[G
2
(t)[[
R
m +C,
onde C e uma constante, pois como Y U temos que F(BY
1
) e Y sao limitados em R
e R
2m
, respectivamente. Alem disso,
_
T
0
[[G
2
(t)[[
R
m dt +CT < +.
M
Logo,
[[h(t, Y )[[
R
2m m
U
(t), onde m
U
(t) = [[G
2
(t)[[
R
m +C, e m
U
L
1
(0, T).
Entao, por (i), (ii) e (iii) temos que h satisfaz as condicoes de Caratheodory, ou
seja, existe uma solucao do problema
(PO)
_
_
_
Y
(t) = h(t, Y (t))

Y (0) = Y
0
,
onde
Y
0
=
_
_
Z(0)
Z
(0)
_
_
.
Assim, existe uma solucao Y (T) do problema (PO) em algum intervalo [0, t
m
],
t
m
> 0, t
m
T, onde Y (t) e absolutamente contnua. Logo, as aplicacoes g
jm
(t) e g
jm
(t)
tambem sao absolutamente contnuas e denidas no intervalo [0, t
m
]. As estimativas a
pripri a seguir, servirao para estender a solucao Y (t) à todo intervalo [0, T].
2
a
Etapa: Estimativa a priori

jm
(10) (u
m
(t), u
m
(t)) + ((u
m
(t), u
m
(t))) +
_
[u
m
(t)[
u
m
(t)u
m
(t)dx = (f(t), u
m
(t)).
Observamos que a terceira expressao à esquerda da igualdade tem sentido pois
[u
m
(t)[
u
m
(t) L
p
(). Com efeito, como p = + 2, entao

1
p
= 1
1
+ 2
o que
implica que
1
p
=
+ 1
+ 2
e portanto p
=
+ 2
+ 1
Logo:
(10)
| [u
m
(t)[
u
m
(t)|
p
L
p
()
=
_
[[u
m
(t)[
u
m
(t)[
+2
+1
dx =
_
[u
m
(t)[
+2
dx = [[u
m
(t)[[
p
L
p
()
< +
30 INTRODUC

AO
`
AS EQUAC

o que prova a armacao. Resulta da, de (6), do fato que g
j
(t) e g
j
(t) sao absolutamente
contnuas e em virtude da desigualdade de Holder que:
(11)
_
[u
m
(t)[
u
m
(t)u
m
(t) dx L
1
(0, t
m
).
Consequentemente de (10) e (11) vem que
(12) (u
m
(t), u
m
(t)) L
1
(0, t
m
).
Armamos que
(13) (u
m
(t), u
m
(t)) =
1
2
d
dt
[u
m
(t)[
2
,
onde
d
dt
e entendida como sendo no sentido distribucional em T
(0, t
m
). Com efeito
seja T(0, t
m
). De (12) obtemos
(u
m
(t), u
m
(t)),
=
_
t
m
0
_
m
(x, t)u
m
(x, t) dx(t) dt =
_
_
t
m
0
1
2
d
dt
(u
m
(x, t))
2
(t) dtdx
=
1
2
_
_
(u
m
(x, t))
2
(t)
t=t
m
t=0

_
t
m
0
(u
m
(x, t))
2
(t) dt
_
dx
=
1
2
_
t
m
0
_
(u
m
(x, t))
2
(t) dt =
1
2
d
dt
[u
m
(t)[
2
L
2
()
,
_
o que prova (13). Da mesma forma, provamos que
(14) ((u
m
(t), u
m
(t))) =
1
2
d
dt
[[u
m
(t)[[
2
.
(15)
_
[u
m
(t)[
u
m
(t)u
m
(t) dx =
1
+ 2
d
dt
_
[u
m
(t)[
+2
dx.
M
De fato, inicialmente notemos que dado
F() = [[
, R
temos
F
() = ( + 1) [[
.
Resulta da que
(16) (F u
m
)
=
d
dt
([u
m
[
u
m
) = F
(u
m
) u
m
= ( + 1)[u
m
[
m
e de (16) obtemos
d
dt
_
([u
m
[
u
m
)u
m
= ( + 1)[u
m
[
m
u
m
+[u
m
[
u
m
u
m
= ( + 2)[u
m
[
u
m
u
m
ou seja,
(17) [u
m
[
u
m
u
m
=
1
+ 2
d
dt
_
([u
m
[
u
m
)u
m
=
1
+ 2
d
dt
[u
m
[
+2
.
Seja T(0, t
m
). Temos de (11) e (17) que
[u
m
(x, t)[
u
m
(x, t)u
m
(x, t)dx,
_
=
_
t
m
0
_
[u
m
(x, t)[
u
m
(x, t)[u
m
(x, t)(t)dxdt
=
1
+ 2
_
_
t
m
0
d
dt
_
([u
m
(x, t)[
+2
(t) dtdx
=
1
+ 2
_
_
[u
m
(x, t)[
+2
(t)
t=t
m
t=0

_
t
m
0
[u
m
(x, t)[
+2
(t)dt
_
dx
=
1
+ 2
_
t
m
0
_
[u
m
(x, t)[
+2
dx
(t)dt =
_
1
+ 2
d
dt
_
[u
m
(t)[
+2
dx,
_
32 INTRODUC

AO
`
AS EQUAC

o que prova (15). De (10), (13), (14) e (15) resulta que
1
2
d
dt
[u
m
(t)[
2
+
1
2
d
dt
[[u
m
(t)[[
2
+
1
+ 2
d
dt
_
[u
m
(x, t)[
+2
dx = (f(t), u
m
(t))
para q.t. t [0, t
m
).
Multiplicando por 2 a igualdade acima e integrando em [0, t), t (0, t
m
) obtemos
[u
m
(t)[
2
+[[u
m
(t)[[
2
+
2
p
[[u
m
(t)[[
p
L
p
()
= [u
m
(0)[
2
+[[u
m
(0)[[
2
+
2
p
[[u
m
(0)[[
p
L
p
()
+ 2
_
t
0
(f(s), u
m
(s)) ds.
Usando a desigualdade de Schwarz e o fato que 2ab a
2
+b
2
(a, b > 0) da ultima
igualdade vem que
[u
m
(t)[
2
+[[u
m
(t)[[
2
+
2
p
[[u
m
(t)[[
p
L
p
()
[u
m
(0)[
2
+[[u
m
(0)[[
2
+
2
p
[[u
m
(0)[[
p
L
p
()
+
_
T
0
[f(s)[
2
ds +
_
t
0
[u
m
(s)[
2
dx.
Donde
(18) [u
m
(t)[
2
+[[u
m
(t)[[
2
+
2
p
[[u
m
(t)[[
p
L
p
()
[u
m
(0)[
2
+[[u
m
(0)[[
2
+
2
p
[[u
m
(0)[[
p
L
p
()
+[[f[[
2
L
2
(Q)
+
_
t
0
_
[u
m
(s)[
2
+[[u
m
(s)[[
2
+
2
p
[[u
m
(s)[[
p
L
p
()
_
ds.
Agora, de (8) e (9) obtemos a existencia de uma constante c
0
> 0 tal que
(19) [u
m
(0)[
2
+[[u
m
(0)[[
2
+
2
p
[[u
m
(0)[[
p
L
p
()
c
0
; t [0, t
m
); m N.
De (18) e (19) conclumos que
[u
m
(t)[
2
+[[u
m
(t)[[
2
+
2
p
[[u
m
(t)[[
p
L
p
()
c
1
+
_
t
0
_
[u
m
(s)[
2
+[[u
m
(s)[[
2
+
2
p
[[u
m
(s)[[
p
L
p
()
_
ds
M
onde c
1
> 0. Resulta da em virtude da desigualdade de Gronwall, que c > 0 (inde-
pendente de t e m) tal que
(20) [u
m
(t)[
2
+[[u
m
(t)[[
2
+
2
p
[[u
m
(t)[[
p
L
p
()
c; t [0, t
m
); m N.
Da desigualdade acima resulta que
(i)
m
j=1
_
g
jm
(t)
2
=
j=1
g
jm
(t)
j
2
= [u
m
(t)[
2
c.
Analogamente, como H
1
0
() L
2
() obtemos
(ii)
m
j=1
[g
jm
(t)]
2
=
j=1
g
jm
(t)
j
2
= [u
m
(t)[
2
[[u
m
(t)[[
2
c,
onde c e uma constante positiva.
Por (i) e (ii) temos que Y (t) e limitada em R
2m
independentemente de t e de m,
pois
[[Y (t)[[
2
R
2m =
m
j=1
g
jm
(t)
2
+
m
j=1
g
jm
(t)
2
k
1
,
onde k
1
e uma constante positiva, para todo t [0, t
m
] e m N. Desta forma, podemos
prolongar Y à todo intervalo [0, T] e a desigualdade em (20) permanece valida para todo
t [0, T] e para todo m N.
Portanto de (20) podemos estender u
m
à todo intervalo [0, T] e alem disso temos
tambem que
(u
m
) e limitada em L
(0, T; H
1
0
()) (21)
(u
m
) e limitada em L
(0, T; L
p
()) (22)
(u
m
) e limitada em L
(0, T; L
2
()). (23)
34 INTRODUC

AO
`
AS EQUAC

Notemos tambem que de (10) e de (22) resulta que
(24)
_
[u
m
[
u
m
_
e limitada em L
p
(0, T; L
p
()) = L
p
(Q).
De (21), (22), (23) e (24) obtemos a existencia de uma subseq uencia (u
) de (u
m
)
tal que
u
u fraco-* em L
(0, T; H
1
0
()) (25)
u
u fraco em L
p
(0, T; L
p
()) (26)
u
v = u
fraco-* em L
(0, T; L
2
())
1
(27)
[u
fraco em L
p
(0, T; L
p
()) (28)
3
a

Pondo
B
0
= H
1
0
()
comp.
B = L
2
() B
1
= L
2
()
e
W = u L
2
(0, T; B
0
); u
L
2
(0, T; B
1
)
munido da topologia
[[u[[
W
= [[u[[
L
2
(0,T;H
1
0
)
+[[u
[[
L
2
(0,T;L
2
())
resulta de (21) e (23) que
(29) (u
) e limitada em W.
1
Convem observar que sendo u
C
1
([0, T]; L
2
()) resulta que a derivada classica e a distribu-
cional coincidem no sentido das distribuicoes vetoriais em D
(0, T; L
2
()). Logo podemos considerar
u
no sentido das distribuicoes vetoriais e consequentemente v = u
em D
(0, T; L
2
()).
M
Logo, pelo Teorema de Aubin-Lions (veja Teorema 5.1 em Lions [10]) obtemos
uma subseq uencia (u
) de (u
) tal que
(30) u
u forte em L
2
(0, T; L
2
()).
Da ultima convergencia obtemos a existencia de uma subseq uencia, que ainda
denotaremos pela mesma notacao tal que
(31) [u
[u[
u q.s. em Q.
Pondo
g
= [u
e g = [u[
u
resulta de (24) e (31) que
g
g q.s. em Q
e
[[g
[[
L
p
(Q)
c; N.
Logo, pelo Lema de Lions (veja Lema 1.3 em Lions [10]) conclumos que
g
g fraco em L
p
(Q)
ou seja,
(32) [u
[u[
u fraco em L
p
(Q).
De (28) e (32) pela unicidade do limite conclumos que
(33) = [u[
u.
36 INTRODUC

AO
`
AS EQUAC

Seja j N e N tal que j e consideremos T(0, T). Multiplicando (7)
por e integrando em [0, T], obtemos
_
T
0
(u
(t),
j
)(t)dt +
_
T
0
((u
(t),
j
))(t)dt
+
_
T
0
_
[u
(t)[
(t)
j
(x)dx(t) dt
=
_
T
0
(f(t),
j
)(t) dt,
o que implica que
(34)
_
T
0
(u
(t),
j
)
(t)dt +
_
T
0
((u
(t),
j
))(t)dt
+
_
T
0
_
[u
(t)[
(t)
j
(x)dx(t) dt
=
_
T
0
(f(t),
j
)(t) dt.
Agora, de (25), (27), (23) e (32) temos
(35)
_
T
0
u
(t), (t)
H
1
0
,H
1dt
_
T
0
u(t), (t)
H
1
0
,H
1 dt
L
1
(0, T; H
1
()),
(36)
_
T
0
(u
(t), (t))dt
_
T
0
(u
(t), (t))dt L
1
(0, T; L
2
()),
(37)
_
T
0
_
[u
(x, t)[
(x, t)(x, t)dxdt
_
T
0
_
[u(x, t)[
u(x, t)(x, t)dxdt L

p
(Q).
M
Tomando em particular
=
j
; =
j
e =
j
obtemos de (35), (36) e (37)

_
T
0
u
(t),
j
(t) dt
_
T
0
u(t),
j
(t) dt,
i.e.
(38)
_
T
0
((u
(t),
j
))(t)
_
T
0
((u(t),
j
))(t) dt,
(39)
_
T
0
(u
(t),
j
)
(t) dt
_
T
0
(u
(t),
j
)
(t) dt,
(40)
_
T
0
_
[u
(x, t)[
(x, t)
j
dx(t)dt
_
T
0
_
[u(x, t)[
u(x, t)
j
dx(t) dt.
De (34), (38), (39) e (40) no limite; obtemos
(41)
_
T
0
(u
(t),
j
)
(t) dt +
_
T
0
((u(t),
j
))(t) dt
+
_
T
0
_
[u(x, t)[
u(x, t)
j
dx(t)dt =
_
T
0
(f(t),
j
)(t) dt.
Como as combinacoes lineares nitas dos
j
s sao densas em H
1
0
() L
p
() a
igualdade em (41) permanece valida para toda v H
1
0
() L
p
(), i.e.,
(42)
_
T
0
(u
(t), v)
(t) dt +
_
T
0
((u(t), v))(t) dt
+
_
T
0
_
[u(x, t)[
u(x, t)v(s)ds (t) dt =

_
T
0
(f(t), v)(t) dt,
38 INTRODUC

AO
`
AS EQUAC

para toda v H
1
0
() L
p
(), ou ainda,
d
dt
(u
(t), v),
_
+((u(t), v)), +
__
[u(t)[
u(t)v dx,
_
= (f(t), v), , D(0, T)
o que nos leva a concluir que
(43)
d
dt
(u
(t), v) + ((u(t), v)) +

_
[u(t)[
u(t)v dx = (f(t), v) em T
(0, T).
Identicando o L
2
() com o seu dual temos as cadeias
H
1
0
L
p
() H
1
0
() L
2
() H
1
() H
1
() +L
p
()
H
1
0
L
p
() L
p
() L
2
() L
p
() H
1
() +L
p
()
Em virtude da identicacao acima de (42) podemos escrever,
_
_
T
0
u
(t)
(t)dt, v
_
+
__
T
0
u(t)(t)dt, v
_
+
__
T
0
[u(t)[
u(t)(t)dt, v
_
=
__
T
0
f(t)(t)dt, v
_
onde , designa a dualidade H
1
() +L
p
(), H
1
0
() L
p
(). Da vem entao que
(44) u
u +[u[
u = f em T
(0, T; H
1
() +L
p
()).
Contudo como
f L
2
(0, T; L
2
()) L
2
(0, T; H
1
+L
p
())
u L
(0, T; H
1
()) L
(0, T; H
1
() +L
p
())
[u[
u L
(0, T; L
p
()) L
(0, T; H
1
() +L
p
())
(2)
(2)
Note que de (10) e (22) temos |u
e limitada em L
(0, T; L
p
()).
M
de (44) vem que
(45) u
L
2
(0, T; H
1
() +L
p
())
e
(46) u
u +[u[
u = f em L
2
(0, T; H
1
() +L
p
()).
4
a

Notemos inicialmente que de (25), (27) e (45) temos
u C
0
([0, T]; L
2
()) C
s
(0, T; H
1
0
())
u
C
0
([0, T]; H
1
() +L
p
()) C
s
(0, T; L
2
())
tendo sentido pois falarmos em u(0), u(T), u
(0) e u
(T). Provaremos inicialmente que

(47) u(0) = u
0
.
Com efeito, seja C
1
([0, T]) tal que (0) = 1 e (T) = 0. De (27) vem que se
> j (j arbitrario porem xado)
_
T
0
(u
(t),
j
)(t) dt
_
T
0
(u
(t),
j
)(t) dt.
Integrando por partes
(u
(0),
j
)
_
T
0
(u
(t),
j
)
(t) dt (u(0),
j
)
_
T
0
(u(t),
j
)
(t) dt.
Agora de (25) resulta que
_
T
0
(u
(t),
j
)
(t) dt
_
T
0
(u(t),
j
)
(t) dt,
40 INTRODUC

AO
`
AS EQUAC

o que implica que
(u
(0),
j
) (u(0),
j
) j N.
Resulta da que
u
(0) u(0) fraco em L

2
().
Por outro lado, de (8) temos que
u
(0) u
0
fraco em L
2
()
o que nos leva, face a unicidade do limite fraco a concluir o desejado em (47).
Provaremos, a seguir que:
(48) u
(0) = u
1
.
Seja C([0, T]) tal que (0) = 1 e (T) = 0 e consideremos j N. Logo para
> j de (7) obtemos
_
T
0
(u
(t),
j
)(t) dt +
_
T
0
((u
(t),
j
))(t) dt
+
_
T
0
_
[u
(x, t)[
[u
(x, t)[
j
dx(t)dt =
_
T
0
(f(t),
j
)(t) dt.
Integrando por partes
(u
(0),
j
)
_
T
0
(u
(t),
j
)
(t) dt +
_
T
0
((u
(t),
j
))(t) dt
+
_
T
0
_
[u
(t)[
[u
(t)[
j
dx(t)dt =
_
T
0
(f(t),
j
)(t) dt.
Tomando o limite obtemos conforme anteriormente
(u
1
,
j
)
_
T
0
(u
(t),
j
)
(t) dt +
_
T
0
((u(t),
j
))(t) dt
+
_
T
0
_
[u(x, t)[
u(x, t)
j
dx(t)dt =
_
T
0
(f(t),
j
)(t) dt.
M
Pela totalidade dos
j
s em H
1
0
() L
p
() obtemos
(u
1
, v)
_
T
0
(u
(t), v)
(t) dt +
_
T
0
((u(t), v))(t) dt
+
_
T
0
_
Om
[u(x, t)[
u(x, t)v dx(t)dt =

_
T
0
(f(t), v)(t) dt, v H
1
0
L
p
.
Integrando por partes novamente, resulta que
(49)
(u
1
, v) + (u
(0), v) +
_
T
0
u
(t), v(t)dt +
_
T
0
((u(t), v))(t)dt
+
_
T
0
_
[u(x, t)[
u(x, t)v dx(t) dt =

_
T
0
(f(t), v)(t) dt,
onde , designa a dualidade H
1
+L
p
, H
1
0
L
p
.
Agora, como
(50) u
(t), v =
d
dt
(u
(t), v) L
2
(0, T),
resulta de (43), (49) e (50) que
(u
1
, v) = (u
(0), v); v H
1
0
() L
p
(),
donde se conclui (48).
42 INTRODUC

AO
`
AS EQUAC

5
a
Etapa: Unicidade
Armamos que o problema 1 admite uma unica solucao fraca desde que 0 <
2
n 2
Com efeito, sejam u e v solucoes fracas de (1) e consideremos = u v. Entao
conforme vimos anteriormente
(51)
L
(0, T; H
1
0
() L
p
());
(0, T; L
2
())
e
L
2
(0, T; H
1
() +L
p
())
e satisfaz ao problema
(52)
= (f [u[
u) (f [v[
v) = [v[
v [u[
u em L
2
(0, T; H
1
+L
p
)
= 0 em
(0) =
(0) = 0
Utilizaremos o metodo de Visik-Ladyzenskaya. Consideramos, para cada
s [0, T] a seguinte funcao
(53) (t) =
_
_
s
t
()d; 0 t s
0; s t T
Sendo
a derivada no sentido das distribuicoes vetoriais de , temos

(54)
(t) =
_
_
_
(t); 0 t s
0; s t T
Das expressoes acima e de (51) ca evidente que
(55) ,
(0, T; H
1
0
() L
p
())
M
o que implica que
(56) C
0
([0, T]; H
1
0
() L
p
()).
Compondo (52)
1
com na dualidade L
2
(0, T; H
1
+L
p
) L
2
(0, T; H
1
0
L
p
) e
observando que = 0 em [s, T] obtemos
(57)
_
s
0
(t), (t)dt +
_
s
0
(t), (t)dt =
_
s
0
[v[
v [u[
u, (t)dt.
Integrando por partes e usando o fato que , = ((, )) de (57) vem que
(s), (s)
(0), (0)
_
s
0
(
(t),
(t))dt
+
_
s
0
(((t), (t))) =
_
s
0
[v[
v [u[
u, (t)dt,
ou ainda de (52)
3
, (53) e (54) temos
_
s
0
(
(t), (t))dt +
_
s
0
((
(t), (t))) =
_
s
0
[v[
v [u[
u, (t)dt,
ou seja,
1
2
_
s
0
d
dt
[(t)[
2
dt +
1
2
_
s
0
d
dt
[[(t)[[
2
dt =
_
s
0
[v[
v [u[
u, (t)dt,
o que nos leva a seguinte expressao
1
2
[(s)[
2
+
1
2
[(0)[
2
+
1
2
[[(s)[[
2
1
2
[[(0)[[
2
=
_
s
0
[v[
v [u[
u, (t)dt,
e de novo gracas a (52)
3
e (53) conclumos que
(58)
1
2
[(s)[
2
1
2
[[(0)[[
2
=
_
s
0
_
([v[
v [u[
u)(t)dxdt.
44 INTRODUC

AO
`
AS EQUAC

Por outro lado, pondo
F() = [[
, R
entao
F
() = ( + 1)[[
, R,
o que implica que F C
1
(R). Logo, dados , R existe, em virtude do Teorema do
Valor Medio (T.V.M.), ], [ tal que
[F() F()[ [F
()[ [ [,
ou ainda,
(59) [F() F()[ ( + 1)[[
[ [.
Agora do fato que ], [ , = (, ) ]0, 1 [ tal que
(60) = (1 ) + = + ( ) .
No caso particular em que (x, t) = u(x, t), (x, t) = v(x, t) resulta de (59) e
(60) que
[ [v(x, t)[
v(x, t) [u(x, t)[
u(x, t)[
( + 1)[u(x, t) + (v(x, t) u(x, t)) (x, t)[
[v(x, t) u(x, t)[

( + 1)
_
[u(x, t)[ +[v(x, t)[ +[u(x, t)[
_
[(x, t)[
( + 1)
_
2[u(x, t)[ + 2[v(x, t)[
_
[(x, t)[
= ( + 1) 2
_
[u(x, t)[ +[v(x, t)[
_
[(x, t)[
( + 1) 2
_
2
[v(x, t)[
[(x, t)[ se [u(x, t)[ [v(x, t)[

2
[u(x, t)[
[(x, t) se [u(x, t)[ [v(x, t)[

( + 1)2
_
[u(x, t)[
+[v(x, t)[
_
[(x, t)[
M
i.e,
(61) [ [v(x, t)[
v(x, t) [u(x, t)[
u(x, t)[ ( + 1)2

2
_
[u(x, t)[
+[v(x, t)[
_
[(x, t)[.
De (58) e (61) resulta que
(62)
1
2
[(s)[
2
+
1
2
[[(0)[[
2
c()
_
s
0
_
_
[u(x, t)[
+[v(x, t)[
_
[(x, t)[ [(x, t)[ dxdt.
Notemos que de acordo com o Teorema de imersao de Sobolev temos
H
1
0
() L
q
(),
onde
(63)
1
q
=
1
2

1
n

Convem observar que
(t) L
2
() q.s. em ]0, T[ (64)
(t) L
q
() q.s. em ]0, T[ (65)
isto porque , L
(0, T; H
1
0
()) e H
1
0
() L
q
(). Armamos que:
(66) [u(t)[
, [v(t)[
L
n
() q.s. em ]0, T[ .
Com efeito, temos, por hipotese que 0 <
2
n 2
o que implica que 0 < n
2n
n 2
= q. Logo
_
[u(x, t)[
n
dx
_
([u(x, t)[ + 1)
n
dx
_
([u(x, t) + 1)
q
dx
c
__
[u(x, t)[
q
dx + med()
_
.
46 INTRODUC

AO
`
AS EQUAC

Sendo limitado resulta que
(67) H
1
0
() L
q
() L
n
().
Agora como u(t), v(t) H
1
0
() q.s. em ]0, T[, da cadeia acima vem que u(t)
L
n
() q.s. em ]0, T[ e portanto
[u(t)[
, [v(t)[
L
n
() q.s. em ]0, T[
o que prova (66). Mas de (63) temos que
(68)
1
q
+
1
n
+
1
2
= 1.
Resulta de (62), (64), (65), (66), (68) e pela desigualdade de Holder generalizada
que
(69)
1
2
[(s)[
2
+
1
2
[[(0)[[
2
c
1
_
s
0
__
[[ u(t)[
[[
L
n
()
+[[ [v(t)[
[[
L
n
()
_
[(t)[
L
2
()
[[(t)[[
_
dt.
Mas de (67) e do fato que u L
(0, T; H
1
0
()) temos
suppess [[ [u(t)[
[[
L
n
()
= suppess
t[0,T]
__
[u(t)[
n
dx
_
1/n
k
1
suppess
t[0,T]
[[u(t)[[
< +
e de (69) conclumos que
(70)
1
2
[(s)[
2
+
1
2
[[(0)[[
2
c
2
_
s
0
[(t)[ [[(t)[[ dt.
Finalmente, pondo
(71)
1
(t) =
_
t
0
() d
M
temos de (53), para todo t [0, s],
(72) (t) =
_
s
t
() d =
_ _
s
0
()d
. .
1
(s)
_
t
0
()d
. .
1
(t)
_
=
1
(t)
1
(s).
Desta forma, de (72) podemos escrever
(73) (0) =
1
(0)
=0
1
(s) =
1
(s).
Substituindo (72) e (73) em (70) resulta que
1
2
[(s)[
2
+
1
2
[[
1
(s)[[
2
c
2
_
s
0
[(t)[ [[
1
(t)
2
(s)[[ dt
c
2
__
s
0
[(t)[ [[
1
(t)[[ dt +
_
s
0
[(t) [[
1
(s)[[ dt
_
= c
2
__
s
0
[(t)[ [[
1
(t)[[ dt +
_
s
0
2sc
2
[(t)[
1
2sc
2
[[
1
(s)[[ dt
_
c
2
2
__
s
0
[(t)[
2
dt +
_
s
0
[[
1
(t)[[
2
dt + 2sc
2
_
s
0
[(t)[
2
dt +
1
2sc
2
[[
1
(s)[[
2
__
s
0
ds
__
c
2
2
_
s
0
[(t)[
2
dt +
c
2
2
_
s
0
[[
1
(t)[[
2
dt +Tc
2
2
_
s
0
[(t)[
2
dt +
1
4
[[
1
(s)[[
2
1
4
[[
1
(s)[[
2
+c
3
_
s
0
_
[(t)[
2
+[[
1
(t)[[
2
_
dt,
o que implica que
1
2
[(s)[
2
+
1
2
[[
1
(s)[[
2
c
3
_
s
0
_
[(t)[
2
+[[
1
(t)[[
2
_
dt.
Da desigualdade acima em virtude da desigualdade de Gronwall vem que
1
4
[(s)[
2
+
1
4
[[
1
(s)[[
2
0.
48 INTRODUC

AO
`
AS EQUAC

Assim, obtemos
(s) = 0 em L
2
(); s (0, T)
e do fato que (0) = 0 temos
(s) = 0 em L
2
(); s [0, T]
o que encerra a prova.
O Problema 2
(1)
2
u
t
2
u +[u[
u = f em Q
u = 0 em
u(0) = u
0
(x);
u
t
(0) = u
1
(x)
sujeito às condicoes iniciais
(2) u
0
H
1
0
() H
2
(); u
1
H
1
0
() e f,
f
t
L
2
(0, T; L
2
())
admite uma unica solucao forte se 0 <
2
n 2
(n 3), na classe
(3) u L
(0, T; H
1
0
() H
2
()); u
(0, T; H
1
0
()) e u
(0, T; L
2
()).
Mais precisamente, pondo p = + 2 temos
(4) (u
(t), v) + ((u(t), v)) + ([u(t)[
u(t), v) = (f(t), v)
em T
(0, T), para toda v H

1
0
() H
2
().
(5) u(0) = u
0
, u
(0) = u
1
.
M
Prova:
1
a

Inicialmente observamos que pelo Teorema de imersao de Sobolev, temos
(6) H
1
0
() L
q
(); q
2n
n 2

Como
2
n 2
por hipotese entao
2
4
n 2
2 + 2
4
n 2
+ 2 2 + 2
2n
n 2

Portanto,
(7) H
1
0
() L
2+2
() L
+2
()
e consequentemente
(8) [v[
+2
L
1
() e [v[
v L
2
(); v H
1
0
().
Seja (
) base de H
1
0
() H
2
(). Ponhamos
V
m
= [
1
, . . . ,
m
].
Em V
m
consideremos o problema aproximado
(9) u
m
(t) V
m
u
m
(t) =
n
i=1
g
im
(t)
i
(10) (u
m
(t),
j
) + ((u
m
(t),
j
)) + ([u
m
(t)[
u
m
(t),
i
)
(3)
= (f(t), v)
(3)
Note que em virtude de (8) resulta que |u
m
|
u
m
L
2
().
50 INTRODUC

AO
`
AS EQUAC

(11) u
m
(0) = u
0m
u
0
em H
1
0
() H
2
(),
(12) u
m
(0) = u
1m
u
1
em H
1
0
(),
que pelo Teorema de Caratheodory possui solucao local em algum intervalo [0, t
m
),
onde u
m
(t), u
m
(t) sao absolutamente contnuas e u
m
(t) existe q.s. As estimativas a
priori servirao para estender a solucao à todo intervalo [0, T] (A prova do teorema
de Caratheodory pode ser encontrada na seguinte referencia: Coddington e Levinson,
Theory of Ordinary Dierential Equations, Mc Graw-Hill, New York, 1955).
2
a
Etapa: Estimativas a priori

(i) Estimativa I
jm
1
2
d
dt
[u
m
(t)[
2
+
1
2
d
dt
[[u
m
(t)[[
2
+
1
p
d
dt
[[u
m
(t)[[
p
L
p
()
= (f(t), u
m
(t))
conforme ja zemos no Problema 1.
Integrando a expressao acima de 0 à t com t (0, t
m
), temos
(13)
[u
m
(t)[
2
+[[u
m
(t)[[
2
+
2
p
[[u
m
(t)[[
p
L
p
= [u
1m
[
2
+[[u
0m
[[
2
+
2
p
[[u
0m
[[
p
L
p
()
+ 2
_
t
0
(f(s), u
m
(s))ds
[u
1m
[
2
+[[u
0m
[[
2
+
2
p
[[u
0m
[[
p
L
p
()
+[[f[[
2
L
2
(Q)
+
_
t
0
[u
m
(s)[
2
ds.
Contudo de (11) e (12) obtemos a existencia de uma constante c
1
> 0 tal que
(14) [u
1m
[
2
+[[u
0m
[[
2
+
2
p
[[u
0m
[[
p
L
p
()
+[[f[[
2
L
2
(Q)
c
1
.
M
Logo, de (13) e (14) vem que
[u
m
(t)[
2
+[[u
m
(t)[[
2
+
2
p
[[u
m
(t)[[
p
L
p
()
c
1
+
_
t
0
_
[u
m
(s)[
2
+[[u
m
(s)[[
2
+
2
p
[[u
m
(s)[[
p
L
p
()
_
ds.
Agora, pela desigualdade de Gronwall desta ultima desigualdade conclumos que
(15) [u
m
(t)[
2
+[[u
m
(t)[[
2
+
2
p
[[u
m
(t)[[
p
L
p
()
c
2
; t [0, t
m
); m N,
o que nos permite estender u
m
à todo intervalo [0, T]. Alem disso,
(u
m
) e limitada em L
(0, T; H
1
0
()), (16)
(u
m
) e limitada em L
(0, T; L
p
()), (17)
(u
m
) e limitada em L
(0, T; L
2
()). (18)
De (7) e de (16) resulta tambem que
(19) ([u
m
[
u
m
) e limitada em L
(0, T; L
2
()).
(ii) Estimativa II
Podemos, sem perda da generalidade, considerar a base (
) como sendo ortonor-

mal em L
2
(). Resulta da e de (10) que
(20) g
jm
(t) = (u
m
(t),
j
) = (f(t),
j
) ((u
m
(t),
j
)) ([u
m
(t)[
u
m
(t),
j
).
Como o lado direito da igualdade acima pertence a L
2
(0, T) resulta que g
jm

L
2
(0, T), onde aqui as derivadas sao entendidas no sentido de Dini. Logo
_
T
0
[[u
m
(t)[[
2
L
2
()
dt =
_
T
0
_
_
_
_
_
_
m
j=1
g
jm
(t)
j
_
_
_
_
_
_
2
L
2
()
dt
c(m)
m
j=1
[[
j
[[
2
L
2
()
_
T
0
[g
jm
(t)[
2
dt < +
52 INTRODUC

AO
`
AS EQUAC

ou seja,
(21) u
m
L
2
(0, T; L
2
())
onde aqui, novamente, as derivadas sao entendidas no sentido de Dini. Por outro lado,
sendo
d
dt
a derivada no sentido distribucional em T
(0, T; L
2
()) e T(0, T), temos
_
d
dt
u
m
,
_
=
_
T
0
u
m
(t)
(t)dt =
_
T
0
_
m
j=1
g
jm
(t)
j
_
(t) dt
=
m
j=1
_
_
T
0
g
jm
(t)
(t)dt
_
j
=
m
j=1
_
g
jm
(t)(t)
T
0

_
T
0
g
jm
(t)(t)dt
(4)
_
j
=
_
m
j=1
_
T
0
g
jm
(t)(t)dt
_
j
=
_
T
0
u
m
(t)(t)dt = u
m
,
o que prova que a derivada distribucional de u
m
e a derivada classica coincidem. De
maneira analoga prova-se que
d
dt
u
m
,
_
= u
m
,
ou seja, que as derivadas distribucionais e classicas de 1
a
e 2
a
ordem coincidem.
Por outro lado, usando propriedades da integral de Bochner nao e difcil constatar
que
d
dt
(f(t),
j
),
_
= (f
(t),
j
),
d
dt
((u
m
(t),
j
)),
_
= ((u
m
(t),
j
)),
d
dt
([u
m
(t)[
u
m
(t),
j
),
_
=
_
( + 1)
_
[u
m
(t)[
m
(t)
j
dx,
_
.
(4)
Aqui usou-se o fato que (g
jm
(t) (t)) e absolutamente contnuo.
M
Das relacoes acima e de (10) resulta que
(22)
d
dt
(u
m
(t),
j
) = (f
(t),
j
) ((u
m
(t),
j
)) ( + 1)
_
[u
m
(t)[
m
(t)
j
dx
em L
2
(0, T), ou seja, de (20) vem que
g
jm
L
2
(0, T)
(5)
onde as tres derivadas sao distribucionais. Da vem que
_
T
0
[[u
m
(t)[[
L
2
()
dt =
_
T
0
_
_
_
_
_
_
m
j=1
g
jm
(t)
j
_
_
_
_
_
_
2
L
2
()
dt < +
i.e,
(22) u
m
L
2
(0, T; L
2
())
e de (22) obtemos
(23) (u
m
(t),
j
) + ((u
m
(t),
j
)) + ( + 1)
_
[u
m
(t)[
m
(t)
j
dx = (f
(t),
j
).
Multiplicando por g
jm
e somando em j, chegamos a
1
2
d
dt
[u
m
(t)[
2
+
1
2
d
dt
[[u
m
(t)[[
2
+ ( + 1)
_
[u
m
(t)[
m
(t)u
m
(t) dx = (f
(t), u
m
(t)).
Donde
(24)
d
dt
_
[u
m
(t)[
2
+[[u
m
(t)[[
2
_
2(+1)
_
[u
m
(t)[
[u
m
(t)[ [u
m
(t)[dx+2(f
(t), u
m
(t)).
(5)
Note que as derivadas classicas e distribucionais ate segunda ordem de g
j
(t) coincidem no
sentido das distribuicoes em D
(0, T).
54 INTRODUC

AO
`
AS EQUAC

Lembrando que H
1
0
() L
q
() onde
1
q
=
1
2

1
n
, entao, do fato que [u
m
[
L
n
(), [u
m
[ L
q
() e [u
m
[ L
2
() e, alem disso, como
1
q
+
1
2
+
1
n
= 1 temos, de
acordo com a desigualdade de Holder generalizada que
(25)
_
[u
m
(t)[
[u
m
(t)[ [u
m
(t)[dx [[ [u
m
(t)[
[[
L
n
()
[[u
m
(t)[[
L
q
()
[u
m
[
L
2
()
= [[u
m
(t)[[
L
n
()
[[u
m
[[
L
q
()
[u
m
(t)[
L
2
()
.
Temos
0 <
2
n 2
n
2n
n 2
= q.
Donde, sendo limitado
(26) H
1
0
() L
q
() L
n
().
De (25) e (26) temos a existencia de uma constante c
1
> 0 tal que
_
[u
m
(t)[
[u
m
(t)[ [u
m
(t)[dx c
1
[[u
m
(t)[[
[[u
m
(t)[[ [u
m
(t)[
que por (16) e ainda menor ou igual a
c
2
[[u
m
(t)[[ [u
m
(t)[
isto e,
(27)
_
[u
m
(t)[
[u
m
(t)[ [u
m
(t)[ dx
c
2
2
_
[[u
m
(t)[[
2
+[u
m
(t)[
2
_
.
Agora, de (24) e (27) conclumos que
d
dt
_
[u
m
(t)[
2
+[[u
m
(t)[[
2
_
c
3
_
[[u
m
(t)[[
2
+[u
m
(t)[
2
_
+[f
(t)[
2
+[u
m
(t)[
2
.
M
Integrando-se de 0 à t; t [0, T], obtemos
(28)
[u
m
(t)[
2
+[[u
m
(t)[[
2
[u
m
(0)[
2
+[[u
1m
[[
2
+[[f
[[
L
2
(Q)
+c
4
_
t
0
_
[[u
m
(s)[[
2
+[u
m
(s)[
2
_
ds.
Por outro lado, em virtude de (16), (18), (21) e (22) temos
u
m
C
s
(0, T; H
1
0
()) C
0
([0, T], L
2
()); u
m
, u
m
C
0
([0, T]; L
2
())
tendo sentido pois falarmos em u
m
(0). De (20), em particular, podemos escrever que
(29) [u
m
(0)[
2
= (f(0), u
m
(0)) ((u
m
(0), u
m
(0)) + ([u
m
(0)[
u
m
(0), u
m
(0)).
De (29) resulta que
[u
m
(0)[
2
L
2

_
[f(0)[
L
2
()
+[u
0m
[
L
2
()
+[ [u
0m
[
u
0m
[
L
2
()
[u
m
(0)[
onde aqui usamos o Teorema de Green e Schwarz, i.e,
(30) [u
m
(0)[
L
2
()

_
[f(0)[
L
2
()
+[u
0m
[
L
2
()
+[[u
0m
[[
+1
L
2+2
()
.
Resulta de (7) e (11) que existe c
5
> 0 tal que
(31) [u
m
(0)[
2
L
2
()
c
5
; m N
e de (12), (28) e (31) resulta que
[u
m
(t)[
2
+[[u
m
(t)[[
2
c
6
+
_
t
0
_
[[u
m
(s)[[
2
+[u
m
(s)[
2
ds
e pela desigualdade de Gronwall temos
(32) [u
m
(t)[
2
+[[u
m
(t)[[
2
c; t [0, T]; m N.
56 INTRODUC

AO
`
AS EQUAC

De (32) vem entao que
(u
m
) e limitada em L
(0, T; H
1
0
()), (33)
(u
m
) e limitada em L
(0, T; L
2
()). (34)
3
a
Etapa: Passagem ao limite

Das estimativas feitas em (16), (17), (18), (19), (33) e (34) podemos extrair uma
subseq uencia (u
) de (u
m
) de modo que
u
u fraco estrela em L
(0, T; H
1
0
()), (35)
u
u fraco em L
p
(Q), (36)
u
fraco estrela em L
(0, T; L
2
()), (37)
u
fraco estrela em L
(0, T; H
1
0
()), (38)
u
fraco estrela em L
(0, T; L
2
()). (39)
Seja T(0, T) e consideremos j N e > j. De (10) podemos escrever
(40)
_
T
0
(u
(t),
j
)(t) dt +
_
T
0
((u
(t),
j
))(t) dt
+
_
T
0
([u
(t)[
(t),
j
)(t) dt =
_
T
0
(f(t),
j
)(t) dt.
Convem observar que de (16), (18) e em virtude do Teorema de Aubin-Lions
podemos extrair uma subseq uencia de (u
), que ainda denotaremos pela mesma notacao

de modo que
u
u forte em L
2
(0, T; L
2
()) = L
2
(Q).
Resulta da a existencia de uma subseq uencia de (u
), que persistimos em denotar

pela mesma notacao, tal que
u
u q.s. em Q.
M
Pela continuidade da aplicacao R F() = [[
e desta ultima con-

vergencia vem que
(41) [u
[u[
u q.s. em Q.
De (19), (41) e em virtude do Lema de Lions vem que
(42) [u
[u[
u em L
2
(Q).
Finalmente, as convergencias dadas em (35), (39) e (42) permite-nos passar o
limite em (40) pra obter
_
T
0
(u
(t),
j
)(t) dt +
_
T
0
((u(t),
j
))(t) dt
+
_
T
0
([u(t)[
u(t),
j
)(t) dt =
_
T
0
(f(t),
j
)(t) dt.
Pela totalidade dos
j
s em H
1
0
() H
2
() obtemos
(43)
_
T
0
(u
(t), v)(t) dt +
_
T
0
((u(t), v))(t) dt
+
_
T
0
([u(t)[
u(t), v)(t) dt =
_
T
0
(f(t), v)(t) dt,
para toda v H
1
0
() H
2
(). Resulta da que
u
u +[u[
u = f em T
(0, T; L
2
())
e pela regularidade das funcoes envolvidas conclumos que
(42) u
u +[u[
u = f em L
2
(Q).
De (42) e (35) temos
u(t) L
2
() q.s. em ]0, T[
u(t) H
1
0
()
58 INTRODUC

AO
`
AS EQUAC

o que implica, face aos resultados de regularidade dos problemas elpticos
(6)
que
(43) u(t) H
2
() para q.t. t ]0, T[ .
Por outro lado como
f C
0
([0, T]; L
2
()), [u[
u L
(0, T; L
2
()) e u
(0, T; L
2
())
de (42) temos
(44) u L
(0, T; L
2
())
o que nos leva a concluir que
u
u +[u[
u = f em L
(0, T; L
2
()).
Assim, pondo
g = f u
[u[
u
temos ainda face a regularidade dos problemas elpticos que
suppess
t]0,T[
[[u(t)[[
H
2
()
= c suppess
t]0,T[
[g(t)[
L
2
()
< +.
Portanto,
(45) u L
(0, T; H
2
() H
1
0
()).
(6)
Note que e bem regular.
M
4
a

Sao provadas de maneira analoga ao 1
o
problema.
5
a
Etapa: Unicidade
Sejam u e v solucoes fortes de (1) e consideremos = u v. Entao verica
(46)
= [v[
v [u[
u em L
2
(Q)
= 0 em
(0) =
(0) = 0.
Compondo (46)
1
com
resulta que
(
(t),
(t)) + ((t),
(t)) = ([v(t)[
v(t) [u(t)[
u(t),
(t)).
Como L
(0, T; H
1
0
() H
2
()) e
(0, T; H
1
0
()) temos como con-
sequencia do Teorema de Green
(47)
1
2
d
dt
[
(t)[
2
+
1
2
d
dt
[[(t)[[
2
= ([v(t)[
v(t) [u(t)[
u(t),
(t))
=
_
([v(x, t)
v(x, t) [u(x, t)[
u(x, t))
(x, t)dx.
Pondo
F() = [[
; R
e como
F
() = ( + 1)[[
60 INTRODUC

AO
`
AS EQUAC

temos que F C
1
(R). Logo, dados , R temos, em virtude do T.V.M. a existencia
de ], [ de modo que
[F() F()[ = ( + 1)[[
[ [.
Como ], [ entao = (1 )+ para algum ]0, 1[ . Da vem entao que
[F() F()[ = ( + 1) [(1 ) +[
[ [( + 1) [ + ( )[
[ [.
Em particular tomando = u(x, t) e = v(x, t) resulta que
(48)
[ [v(x, t)[
v(x, t) [u(x, t)[
u(x, t)[
= ( + 1)[v(x, t) + (u(x, t) v(x, t))(x, t)[
[(x, t)[
( + 1)
_
2[v(x, t)[ +[u(x, t)[
_
[(x, t)[
2
( + 1)
_
[v(x, t)[ +[u(x, t)[
_
[(x, t)[
2
2
( + 1)
_
[v(x, t)[
+[u(x, t)[
_
[(x, t)[
De (47) e (48) podemos escrever
(49)
1
2
d
dt
[
(t)[
2
+
1
2
d
dt
[[(t)[[
2
c
1
_
_
[v(x, t)[
+[u(x, t)[
_
[(x, t)[ [
(x, t)[ dx.

Lembremos que
H
1
0
() L
q
(), q
2n
n 2

Agora, como <
2
n 2
entao n <
2n
2 n
e de (50) vem que
(51) H
1
0
() L
n
().
M
u(t), v(t) L
n
(); (t) L
q
() q.s. em ]0, T[ .
Agora, como
1
q
=
1
2

1
n
resulta que
1
q
+
1
2
+
1
n
= 1 e utilizando a desigualdade
de Holder generalizada vem de (49) que
1
2
d
dt
[
(t)[
2
+
1
2
d
dt
[[(t)[[
2
c
1
_
[[v(t)[[
L
n
()
+[[u(t)[[
L
n
()
_
[[(t)[[
L
q
()
[
(t)[
L
2
()
q.s. em ]0, T[ .
Agora, de (50), (51) e do fato que u, v L
(0, T; H
1
0
) resulta que
1
2
d
dt
[
(t)[
2
+
1
2
d
dt
[[(t)[[
2
c
2
[[(t)[[ [
(t)[
L
2
()
q.s. em ]0, T[ .
Integrando esta ultima desigualdade de 0 à t; t [0, T] obtemos
[
(t)[
2
+[[(t)[[
2
[
(0)[
2
+[[(0)[[
2
+c
2
_
t
0
[[(s)[[ [
(s)[
L
2
()
ds
c
3
_
t
0
_
[[(s)[[
2
+[
(s)[
2
ds
e pela desigualdade de Gronwall
[
(t)[
2
+[[(t)[[
2
0; t [0, T]
(6)
o que prova que
(t) = 0 em H
1
0
() t [0, T]
(6)
Note que C
0
([0, T]; H
1
0
()) e
C
0
([0, T]; L
2
()).
62 INTRODUC

AO
`
AS EQUAC

i.e; = 0 em L
(0, T; H
1
0
()), o que encerra prova.
O Problema 3 em dimensao n = 3
(1)
2
u
t
2
u +u
3
= f em Q
u = 0 em
u(x, 0) = u
0
(x);
u
t
(x, 0) = u
1
(x); x
onde
(2) u
0
H
1
0
() H
2
(); u
1
H
1
0
() e f L
2
(0, T; H
1
0
())
possui uma unica solucao forte na classe
(3) u L
(0, T; H
1
0
() H
2
()); u
(0, T; H
1
0
()) e L
2
(0, T; L
2
()).
Prova:
1
a

Consideremos (
)
N
base de H
1
0
() H
2
(), constituda pelas auto-funcoes
do operador denido pela terna H
1
0
(), L
2
(), (( , )), logo:
(4)
; N
0
(
) = 0; N
E bem sabido, cf. Teorema Espectral, que:

(
)
N
constitui um sistema ortonormal completo em L
2
(). (5)
_

1/2
_
N
constitui um sistema ortonormal completo em H
1
0
(). (6)
_
_
N
constitui um sistema ortonormal completo em H
1
0
() H
2
(). (7)
M
Alem disso, sendo aberto limitado bem regular, em virtude da regularidade
dos problemas elpticos resulta de (4) que
(8)
H
m
(); m N, N.
Por outro lado, o Teorema de imersao de Sobolev nos diz que se m >
n
2
e k N
e tal que k < m
n
2
k + 1, entao
(9) H
m
() C
k,
(),
onde
(i) 0 < < m
n
2
k se m
n
2
k < 1
(ii) 0 < < 1 se m
n
2
k = 1
Ora, dados n N e k N podemos escolher, em virtude de (8), m sucientemente
grande de modo que k < m
n
2
k + 1 e de (9) vem que
C
k
(); k N, N,
ou seja,
(10)
(); N.
De acordo com o Teorema de imersao de Sobolev
H
1
0
() L
q
(); q
2n
n 2

Nesse caso, como n = 3 resulta que
(11) H
1
0
() H
1
() L
q
(); q 6.
64 INTRODUC

AO
`
AS EQUAC

Seja
V
m
= [
1
, . . . ,
m
].
Em V
m
consideremos o problema aproximado:
(12) u
m
(t) V
m
u
m
(t) =
m
i=1
g
im
(t)
i
(13) (u
m
(t),
j
) + ((u
m
(t),
j
)) + (u
3
m
(t),
j
)
(7)
= (f(t),
j
)
u
m
(0) = u
0m
u
0
em H
1
0
() H
2
() (14)
u
m
(0) = u
1m
u
1
em H
1
0
() (15)
que tem solucao local em algum intervalo [0, t
m
) por Caratheodory. As estimativas
servirao para estender a solucao à todo intervalo [0, T].
2
a

Estimativa a priori I
Compondo (13) com u
m
(t), obtemos, conforme problemas anteriores
(16) [u
m
(t)[
2
+[[u
m
(t)[[
2
+
1
4
[[u
m
(t)[[
4
L
4
()
c; t [0, t
m
); m N
o que nos permite estender u
m
à todo intervalo [0, T] com u
m
(t), u
m
(t) funcoes abso-
lutamente contnuas em t e u
m
(t) existindo q.s. em ]0, T[ . Resulta de (16) que
(u
m
) e limitada em L
(0, T; H
1
0
()), (17)
(u
m
) e limitada em L
(0, T; L
2
()), (18)
(u
m
) e limitada em L
(0, T; L
4
()). (19)
(7)
Note que de (11) temos que u
3
m
L
2
().
M
Estimativa a priori II
jm
(t)
j
e somando em j, de (4)
1
vem
(u
m
(t), u
m
(t)) + ((u
m
(t), u
m
(t))) + (u
3
m
(t), u
m
(t)) = (f(t), u
m
(t)).
Agora, em virtude da regularidade da base (
) e pelo Teorema de Green obtemos

((u
m
(t), u
m
(t)) + (u
m
(t), u
m
(t)) = ((f(t), u
m
(t))) + (u
3
m
(t), u
m
(t))
ou seja,
(20)
1
2
d
dt
[[u
m
(t)[[
2
+
1
2
d
dt
[u
m
(t)[
2
= ((f(t), u
m
(t))) + (u
3
m
(t), u
m
(t)).
Contudo, de (10) e (12) temos que
u
m
(t), u
3
m
(t) C
() para todo t [0, T].

Assim, pelo Teorema de Green resulta que
(21)
_
u
3
m
(t)u
m
(t) dx =
_
u
3
m
(t) u
m
(t) dx +
_
u
3
m
d.
Entretanto, de (4)
2
, (10) e do fato que
0
(
) =
vem que u
3
m
[
0
(u
3
m
) = 0. Resulta da e de (21) que
(22)
u
3
m
(t)u
m
(t)dx
i=1
_
x
i
(u
3
m
(t))

x
i
(u
m
(t))dx
i=1
_
3 u
2
m
(t)
u
m
x
i
(t)
u
m
x
i
(t)
.
Agora, de (11) vem que
u
2
m
(t) L
3
(),
u
m
x
i
L
6
() e
u
m
x
i
L
2
().
66 INTRODUC

AO
`
AS EQUAC

Notando ainda que
1
6
=
1
2

1
3

1
6
+
1
3
+
1
2
= 1
obtemos, pela desigualdade integral de Holder generalizada que
(23)
u
2
m
(t)
u
m
x
i
(t)
u
m
x
i
(t) dx
[[u
2
m
[[
L
6
()
_
_
_
_
u
m
x
i
(t)
_
_
_
_
L
6
()
m
x
i
(t)
L
2
()
= [[u
m
(t)[[
6
L
6
()
_
_
_
_
u
m
x
i
(t)
_
_
_
_
L
6
()
m
x
i
(t)
L
2
()
.
Assim, de (11), (22) e (23) resulta que
(24)
u
3
m
(t)u
m
(t)dx
c
1
3
i=1
[[u
m
(t)[[
6
_
_
_
_
u
m
x
i
(t)
_
_
_
_
H
1
()
m
x
i
L
2
()
.
Agora de (16), (24) e da desigualdade numerica de Holder
(25)
u
3
m
(t)u
m
(t)dx
c
2
3
i=1
_
_
_
_
u
m
x
i
(t)
_
_
_
_
H
1
()
m
x
i
(t)
L
2
()
c
2
_
3
i=1
_
_
_
_
u
m
x
i
(t)
_
_
_
_
2
H
1
()
_
1/2
_
3
i=1
m
x
i
(t)
2
L
2
()
_
1/2
c
3
[[u
m
(t)[[
H
2
()
[[u
m
(t)[[
c
4
[u
m
(t)[
L
2
()
[[u
m
(t)[[,
onde a ultima desigualdade decorre do fato que em H
1
0
() H
2
() as normas [[u[[
H
2
()
e [u[
L
2
()
sao equivalentes.
M
Logo de (20) e (25) conclumos
d
dt
[[u
m
(t)[[
2
+
d
dt
[u
m
(t)[
2
[[f(t)[[
2
+[[u
m
(t)[[
2
+c
4
_
[[u
m
(t)[[
2
+[u
m
(t)[
2
.
Integrando de 0 à t com t [0, T] resulta que
(26)
[[u
m
(t)[[
2
+[u
m
(t)[
2
[[u
1m
[[
2
+[u
0m
[
2
+[[f[[
2
L
2
(0,T;H
1
0
())
+c
5
_
t
0
_
[[u
m
(s)[[
2
+[u
m
(s)[
2
_
ds.
Contudo, de (14) e (15) existe c
6
> 0 tal que
(27) [[u
1m
[[
2
+[u
m
[
2
+[[f[[
2
L
2
(0,T;H
1
0
())
c
6
;
e de (26) e (27) resulta que
[[u
m
(t)[[
2
+[u
m
(t)[
2
c
6
+c
5
_
t
0
_
[[u
m
(s)[[
2
+[u
m
(s)[
2
_
ds
(28) [[u
m
(t)[[
2
+[u
m
(t)[
2
c; t [0, T], m N.
De (28) chegamos a
(u
m
) e limitada em L
(0, T; H
1
0
()) (29)
(u
m
) e limitada em L
(0, T; H
1
0
() H
2
()) (30)
Tambem, de (17) e (11) obtemos
(31) (u
3
m
) e limitada em L
(0, T; L
2
()).
68 INTRODUC

AO
`
AS EQUAC

As etapas seguintes, a saber, passagem ao limite, condicoes iniciais e unicidade
sao feitas de modo analogo ao que zemos nos problemas anteriores.
De maneira analoga ao que foi feito anteriormente, tratamos de maneira analoga
o seguinte problema
O Problema 4
(1)
2
u
t
2
u +[u[
u = f em Q
u = 0 em
u(x, 0) = u
0
(x);
u
t
(x, 0) = u
1
(x)
onde
(2) 0 < <
2
n 2
, u
0
H
1
0
() H
2
(), u
1
H
1
0
() e f L
2
(0, T; H
1
0
())
u L
(0, T; H
1
0
() H
2
()); u
(0, T; H
1
0
()), u
L
2
(0, T; L
2
()).
Considerando (
)
N
a base dada pelas auto-funcoes de , temos a seguinte
estimativa
[u
m
(t)[
2
+[[u
m
(t)[[
2
+
2
p
[[u
m
(t)[[
p
L
p
()
c; t [0, T] e m N,
obtida exatamente como antes. Agora, temos tambem
1
2
d
dt
[[u
m
(t)[[
2
+
1
2
d
dt
[u
m
(t)[
2
= ((f(t), u
m
(t))) +
_
[u
m
(t)[
u
m
(t), u
m
(t)
_
.
M
Contudo
[u
m
(t)[
u
m
(t)u
m
(t)dx
i=1
_
x
i
_
[u
m
(t)[
u
m
(t)
_

x
i
(u
m
(t))dx
i=1
_
( + 1)[u
m
(t)[

x
i
u
m
(t)

x
i
u
m
(t)dx
c
1
n
i=1
[[u
m
(t)[[
L
n
()
_
_
_
_
u
m
x
i
_
_
_
_
L
q
()
m
(t)
x
i
L
2
()
c
2
n
i=1
_
_
_
_
u
m
x
i
_
_
_
_
m
(t)
x
i
c
2
_
n
i=1
_
_
_
_
u
m
(t)
x
i
_
_
_
_
2
_
1/2
_
n
i=1
m
(t)
x
i
2
_
1/2
c
2
[[u
m
(t)[[
H
2
()
[[u
m
(t)[[ c
3
[u
m
(t)[ [[u
m
(t)[[.
Donde
[[u
m
(t)[[
2
+[u
m
(t)[
2
c; t [0, T]; m N.
EQUAC

AO DE SCHR
ODINGER
No que segue e um subconjunto aberto limitado e bem regular do R
3
.
O Problema 5:
(1)
u
t
iu +[u[
2
u = f em Q
u = 0 em
u(x, 0) = u
0
(x); x
70 INTRODUC

AO
`
AS EQUAC

onde
(2) u
0
H
1
0
() H
2
(); f L
2
(0, T; H
1
0
()) e
f
t
L
2
(0, T; L
2
())
u L
(0, T; H
1
0
() H
2
()); u
(0, T; L
2
()).
Prova:
1
a

Seja (
)
N
a base hilbertiana do L
2
() dada pelas auto-funcoes do operador
denido pela terna H
1
0
(), L
2
(), (( , )). Desta forma,
(
) e um sistema ortonormal completo em L

2
() (3)
_

_
e um sistema ortonormal completo em H
1
0
() (4)
_
_
1
0
() H
2
() (5)
e (
) e solucao fraca de
(6)
= 0
onde (
) e uma seq uencia de autovalores que verica:

(7) 0 <
1
<
2
< <
< . . . e
quando +.
Lembremos que de (6) e do fato que e bem regular, resulta em virtude da
regularidade dos problemas elpticos que
(8) (
) H
m
(); m N.
M
Resulta de (3) e do Teorema de Imersao de Sobolev que
(9) (
) C
k
(); k N.
Seja
V
m
= [
1
,
2
, . . . ,
m
].
Em V
m
u
m
(t) V
m
u
m
(t) =
m
j=1
g
jm
(t)
j
(10)
(u
m
(t),
j
) +i((u
m
(t),
j
)) + ([u
m
(t)[
2
u
m
(t),
j
) = (f(t),
j
) (11)
u
m
(0) = u
0m
u
0
em H
1
0
() H
2
() (12)
que tem solucao local em algum intervalo [0, t
m
), em virtude de Caratheodory.
2
a

Multiplicando a equacao (11) por g
jm
(t) e somando em j; temos:
(13) (u
m
(t), u
m
(t)) +i((u
m
(t), u
m
(t))) + ([u
m
(t)[
2
u
m
(t), u
m
(t)) = (f(t), u
m
(t)).
Seja T(0, t
m
). Provamos que
d
dt
(u
m
(t), u
m
(t)),
_
= (u
m
(t), u
m
(t)) + (u
m
(t), u
m
(t)),
ou seja,
(14)
d
dt
[u
m
(t)[
2
= (u
m
(t), u
m
(t)) + (u
m
(t), u
m
(t)) = 2 Re(u
m
(t), u
m
(t)).
72 INTRODUC

AO
`
AS EQUAC

Tambem
(15)
_
[u
m
(t)[
2
u
m
(t), u
m
(t)
_
=
_
[u
m
(t)[
2
u
m
(t)u
m
(t) dx =
_
[u
m
(t)[
2
[u
m
(t)[
2
dx
=
_
[u
m
(t)[
4
dx.
Considerando a parte real em (13) resulta de (13), (14) e (15) que
1
2
d
dt
[u
m
(t)[
2
+[[u
m
(t)[[
4
L
4
()
= Re(f(t), u
m
(t)) [(f(t), u
m
(t))[.
Da desigualdade acima vem que
d
dt
[u
m
(t)[
2
+ 2[[u
m
(t)[[
4
L
4
()
[f(t)[
2
+[u
m
(t)[
2
.
Integrando de 0 à t, t [0, t
m
) obtemos
[u
m
(t)[
2
+ 2
_
t
0
[[u
m
(s)[[
4
L
4
()
ds [u
0m
[
2
+[[f[[
2
L
2
(Q)
+
_
t
0
[u
m
(s)[
2
dx.
De (12) vem que c
1
> 0 tal que [u
0m
[
2
c
1
e portanto
[u
m
(t)[
2
+ 2
_
t
0
[[u
m
(s)[[
4
L
4
()
ds c
2
+
_
t
0
_
[u
m
(s)[
2
+ 2
_
s
0
[[u
m
()[[
4
L
4
d
_
ds.
Da desigualdade acima e da desigualdade de Gronwall, conclumos que
(15) [u
m
(t)[
2
+ 2
_
t
0
[[u
m
(s)[[
4
L
4
()
ds c; t [0, t
m
); m N.
A estimativa acima permite-nos estender a solucao u
m
à todo intervalo [0, T],
com u
m
(t) absolutamente contnua em [0, T] e u
m
existindo q.s. em ]0, T[ . Alem disso,
(u
m
) e limitada em L
(0, T; L
2
()) (16)
(u
m
) e limitada em L
4
(0, T; L
4
()) = L
4
(Q). (17)
M
Como a dimensao n = 3 vem do Teorema de Imersao de Sobolev
(18) H
1
0
() L
q
(); q 6.
Por outro lado de (17) temos ainda que
(19)
_
[u
m
[
2
u
m
_
e limitada em L
4/3
(0, T; L
4/3
()).
Multiplicando (11) por
j
g
jm
(t) e somando em j temos
(u
m
(t), u
m
(t))+i((u
m
(t), u
m
(t)))+
_
[u
m
(t)[
2
u
m
(t), u
m
(t)
_
= (f(t), u
m
(t)).
Em virtude da regularidade da base e do fato que f(t) H
1
0
() para q.t.
t ]0, T[ pela formula de Green podemos escrever
((u
m
(t), u
m
(t))) +i(u
m
(t), u
m
(t)) +([u
m
(t)[
2
u
m
(t), u
m
(t)) = ((f(t), u
m
(t))).
Tomando a parte real em ambos os lados da igualdade acima obtemos
(20)
1
2
d
dt
[[u
m
(t)[[
2
+ Re([u
m
(t)[
2
u
m
(t), u
m
(t)) = Re((f(t), u
m
(t)))
[((f(t), u
m
(t)))[
1
2
[[f(t)[[
2
+
1
2
[[u
m
(t)[[
2
.
Contudo de (9) temos por Green que
(21)
_
[u
m
(t)[
2
u
m
(t)(u
m
(t)) dx
=
3
i=1
_
x
i
_
[u
m
(t)[
2
u
m
(t)
_
u
m
(t)
x
i
dx
_
(u
m
(t))[u
m
(t)[
2
u
m
(t) d.
74 INTRODUC

AO
`
AS EQUAC

Como u
m
(t) H
1
0
() C
() para q.t. t ]0, T[ , entao

u
m
(t)[
=
0
(u
m
(t)) = 0 q.s. em ]0, T[
e da vem que
(22) [u
m
(t)[
2
u
m
(t) = 0 q.s. em ]0, T[
e de (21) e (22) conclumos que
(23)
_
[u
m
(t)[
2
u
m
(t)(u
m
(t))dx =
3
i=1
_
x
i
_
[u
m
(t)[
2
u
m
(t)
_
u
m
(t)
x
i
dx
=
3
i=1
_
_

x
i
([u
m
(t)[
2
)u
m
(t) +[u
m
(t)[
2
u
m
(t)
x
i
_
u
m
(t)
x
i
dx
=
3
i=1
_
_

x
i
(u
m
(t)u
m
(t))u
m
(t)
u
m
(t)
x
i
+[u
m
(t)[
2
u
m
(t)
x
i
u
m
(t)
x
i
_
dx
=
3
i=1
_
_
u
m
(t)
x
i
u
m
(t)u
m
(t)
u
m
(t)
x
i
+u
m
(t)
u
m
(t)
x
i
u
m
(t)
u
m
(t)
x
i
+[u
m
(t)[
2
u
m
(t)
x
i
u
m
(t)
x
i
_
dx
=
3
i=1
_
_
[u
m
(t)[
2
u
m
(t)
x
i
2
+
_
u
m
(t)
u
m
(t)
x
i
_
2
+[u
m
(t)[
2
u
m
(t)
x
i
2
_
dx.
Por outro lado, armamos que
(24) [z
1
[
2
[z
2
[
2
+ Re
_
(z
1
z
2
)
2
= 2
_
Re(z
1
z
2
)
2
; z
1
, z
2
C.
M
Com efeito, pondo z
1
= a +bi e z
2
= c +di, obtemos
(25)
[z
1
[
2
[z
2
[
2
+ Re
_
(z
1
z
2
)
2
= (a
2
+b
2
)(c
2
+d
2
) + Re[((a +bi)(c di))
2
]
= a
2
c
2
+a
2
d
2
+b
2
c
2
+b
2
d
2
+ Re[((ac +bd) + (bc ad)i)
2
]
= a
2
c
2
+a
2
d
2
+b
2
c
2
+b
2
d
2
+ (ac +bd)
2
(bc ad)
2
= a
2
c
2
+a
2
d
2
+b
2
c
2
+b
2
d
2
+a
2
c
2
+ 2abcd +b
2
d
2
b
2
c
2
+ 2abcd a
2
d
2
= 2(a
2
c
2
+b
2
d
2
) + 4abcd
Por outro lado
(26)
2(Re(z
1
z
2
))
2
= 2[Re((ac +bd) + (bc ad)i)]
2
= 2(ac +bd)
2
= 2(a
2
c
2
+b
2
d
2
) + 4abcd.
De (25) e (26) conclumos o desejado em (24). Logo, resulta de (23) e (24) que
(27)
Re
_
[u
m
(t)[
2
u
m
(t)(u
m
(t)) dx
=
3
i=1
_
_
2
_
Re
_
u
m
(t)
u
m
(t)
x
i
__
2
+[u
m
(t)[
2
u
m
(t)
x
i
2
_
dx 0.
De (20) e (27) chegamos a
d
dt
[[u
m
(t)[[
2
[[f(t)[[
2
+[[u
m
(t)[[
2
.
Integrando em [0, t]; t [0, T], obtemos
(28) [[u
m
(t)[[
2
[[u
0m
[[
2
+[[f[[
2
L
2
(0,T;H
1
0
())
+
_
t
0
[[u
m
(s)[[
2
ds.
76 INTRODUC

AO
`
AS EQUAC

Agora de (12) c
1
> 0 tal que
(29) [[u
0m
[[
2
+[[f[[
2
L
2
(0,T;H
1
0
())
c
1
; m N
[[u
m
(t)[[
2
c
1
+
_
t
0
[[u
m
(s)[[
2
ds.
Da desigualdade de Gronwall vem que
(30) [[u
m
(t)[[ c; t [0, T] e m N
o que implica que:
(31) (u
m
) e limitada em L
(0, T; H
1
0
())
()
Estimativa a priori III
De (3) e de (11) temos
(32) g
jm
(t) = (u
m
(t),
j
) = i((u
m
(t),
j
)) ([u
m
(t)[
2
u
m
(t),
j
) + (f(t),
j
).
Agora, de (10) e do fato que g
jm
e absolutamente contnua em [0, T], resulta que
o lado direito da igualdade em (32) pertence a L
2
(0, T) o que implica em
(33) u
m
L
2
(0, T; L
2
()).
Contudo, de (32) temos
(34)
d
dt
(u
m
(t),
j
) = g
j
(t) = i((u
m
(t),
j
))
__
[u
m
(t)[
2
u
m
(t)
,
j
_
+ (f
(t),
j
).
()
Note que de (18) e (31) resulta que (|u
m
|
2
u
m
) e limitada em L
(0, T; L
2
()).
M
Notemos que
(35)
__
[u
m
(t)[
2
u
m
(t)
,
j
_
=
__
u
m
(t)u
m
(t)u
m
(t)
,
j
_
=
_
(u
m
(t)u
m
(t)
_
u
m
(t) +u
m
(t)u
m
(t)u
m
(t),
j
_
=
_
u
m
(t)u
m
(t)u
m
(t) +u
m
(t)u
m
(t)u
m
(t) +u
m
(t)u
m
(t)u
m
(t),
j
_
=
_
u
m
(t)[u
m
(t)[
2
+u
2
m
(t)u
m
(t) +[u
m
(t)[
2
u
m
(t),
j
_
.
De (10), (33) e (35) resulta que o lado direito da igualdade em (34) pertence a
L
2
(0, T), isto e, g
j
(t) L
2
(0, T) o que implica em
(36) u
m
L
2
(0, T; L
2
()),
onde estamos usando argumentos analogos aos empregados no Problema 2.
Assim, de (34), (35), (36) e do fato que
d
dt
(u
m
(t),
j
),
_
= (u
m
,
j
), ,
T(0, T), resulta que
(u
m
(t),
j
) = i((u
m
(t),
j
))(u
m
(t)[u
m
(t)[
2
+u
2
m
(t)u
m
(t)+[u
m
(t)[
2
u
m
(t),
j
)+(f
(t),
j
).
Multiplicando a igualdade acima por
j
g
jm
(t) obtemos
(u
m
(t), u
m
(t)) = i((u
m
(t), u
m
(t)))
(u
m
(t)[u
m
(t)[
2
+u
2
m
u
m
(t) +[u
m
(t)[
2
u
m
(t), u
m
(t)) + (f
(t), u
m
(t)).
Tomando a parte real em ambos os lados da igualdade acima, obtemos
1
2
d
dt
[u
m
(t)[
2
=
_
_
[u
m
(t)[
2
[u
m
(t)[
2
+ Re(u
m
u
m
(t))
2
+[u
m
(t)[
2
[u
m
(t)[
2
_
dx
+ (f
(t), u
m
(t))
e de (24) vem que
1
2
d
dt
[u
m
(t)[
2
=
_
0
..
2[Re(u
m
(t)u
m
(t))]
2
+[u
m
(t)[
2
[u
m
(t)[
2
dx + (f
(t), u
m
(t))
1
2
[f
(t)[
2
+
1
2
[u
m
(t)[
2
.
78 INTRODUC

AO
`
AS EQUAC

Integrando em [0, t], t [0, T] conclumos que
(37) [u
m
(t)[
2
[u
m
(0)[
2
+[[f
[[
2
L
2
(Q)
+
_
t
0
[u
m
(s)[
2
ds, t [0, T], m N.
(u
m
(0),
j
) = i((u
m
(0),
j
)) ([u
0m
[
2
u
0m
,
j
) + (f(0),
j
)
o que implica pelo Teorema de Green
[u
m
(0)[
2
= i(u
0m
, u
m
(0)) ([u
0m
[
2
u
0m
, u
m
(0)) + (f(0), u
m
(0)).
Tomando a parte real na igualdade acima
[u
m
(0)[
2
= Re[(u
0m
, u
m
(0))i] Re([u
0m
[
2
[u
0m
[, u
m
(0)) + Re(f(0), u
m
(0))
_
[u
0m
[
L
2
()
+[ [u
0m
[
2
u
0m
[
L
2
()
+[f(0)[
L
2
()
[u
m
(0)[,
ou seja,
(38)
[u
m
(0)[ [u
0m
[
L
2
+[ [u
0m
[
2
u
0m
[
L
2
()
+[f(0)[
L
2
()
= [u
0m
[
2
L
2
()
+[[u
0m
[[
6
L
6
()
+[f(0)[
L
2
()
c
1
,
onde c
1
e uma constante positiva decorrente de (12) e (13).
De (37) e (38) vem que
[u
m
(t)[
2
c
2
+
_
t
0
[u
m
(s)[
2
ds; t [0, T], m N,
e da desigualdade de Gronwall obtemos
(39) [u
m
(t)[
2
c; t [0, T], m N.
M
Logo,
(40) (u
m
) e limitada em L
(0, T; L
2
()).
As estimativas obtidas sao sucientes para passar o limite e o procedimento e
analogo ao que ja zemos anteriormente, o mesmo acontecendo para a condicao inicial.
Sendo u a solucao obtida, o fato de u L
(0, T; H
2
()) e obtido de maneira analoga
ao que zemos no Problema 2.
Unicidade
Sejam u e v solucoes fracas do Problema (1). Entao w = u v verica
(41)
iw = [v[
2
v [u[
2
u em L
(0, T; L
2
())
w = 0 em
w(0) = 0
Compondo (41)
1
com w resulta que
(w
(t), w(t) +i((w(t), w(t))) = ([v(t)[

2
v(t) [u(t)[
2
u(t), w(t)).
Tomando a parte real em ambos os lados da igualdade acima obtemos
(42)
1
2
d
dt
[w(t)[
2
= Re([v(t)[
2
v(t) [u(t)[
2
u(t), u(t) v(t)).
80 INTRODUC

AO
`
AS EQUAC

Mas
(43)
Re
_
_
[v(x, t)[
2
v(x, t) [u(x, t)[
2
u(x, t)
__
v(x, t) u(x, t)
_
dx
=
_
_
[v(x, t)[
4
Re
_
[v(x, t)[
2
v(x, t)u(x, t)
_
Re
_
[u(x, t)[
2
u(x, t)v(x, t)
_
+[u(x, t)[
4
_
dx
=
_
_
[v(x, t)[
4
[v(x, t)[
2
Re(v(x, t)u(x, t))
[u(x, t)[
2
Re(u(x, t)v(x, t)) +[u(x, t)[
4
_
dx
=
_
_
[v(x, t)[
4
Re(u(x, t)v(x, t))
(8)
_
[u(x, t)[
2
+[v(x, t)[
2
_
+[u(x, t)[
4
_
dx
_
[u(x, t)[
4
[u(x, t)v(x, t)[([u(x, t)[
2
+[v(x, t)[
2
) +[v(x, t)[
4
_
dx
=
_
_
[u(x, t)[
4
[u(x, t)[
3
[v(x, t)[ [u(x, t)[ [v(x, t)[
3
+[v(x, t)[
4
_
dx
=
_
_
[u(x, t)[
3
_
[u(x, t)[ [v(x, t)[
_
[v(x, t)[
3
_
[u(x, t)[ [v(x, t)
__
dx
=
_
_
[u(x, t)[
3
[v(x, t)[
3
__
[u(x, t)[ [v(x, t)[
_
dx 0
pois (s) = [s[
e crescente, para > 0 e s 0, posto que
(s) = [s[
2
s 0, s 0.
1
2
d
dt
[w(t)[
2
0; t [0, T].
Integrando de 0 à t, com t [0, T], obtemos
[(t)[
2
[(0)[
2
. .
=0
0
(8)
Aqui usamos o fato que Re(u v) = Re( uv).
M
isto e,
w(t) = 0 em L
2
(), t [0, T]
o que encerra a prova.
De maneira analoga, o Problema 6
(1)
u
t
iu +[u[
u = f em Q ( > 0)
u = 0 em
u(x, 0) = u
0
(x)
sujeito aos dados
(2) u
0
H
1
0
() H
2
() L
2(+1)
(), f L
2
(0, T; H
1
0
()) e f
L
2
(0, T; L
2
())
admite uma unica solucao fraca na classe
(3) u L
(0, T; H
1
0
()) L
+2
(Q), u
(0, T; L
2
()).
Com efeito, seja (
)
N
os vetores proprios do operador A = denido pela
terna H
1
0
(), L
2
(), (( , )). Conforme sabemos, face aos resultados de regularidade
dos problemas elpticos
(4) D(A
k
) H
2k
(), k = 1, 2, . . .
e, alem disso, as normas
(5) [A
k
u[
L
2
()
e [[u[[
H
2k
()
; k = 1, 2, . . .
sao equivalentes em D(A
k
). Tambem
(6) (
) e total em D(A
k
); k = 1, 2, . . . .
82 INTRODUC

AO
`
AS EQUAC

Provaremos que
(7) (
) e total em L
q
(); 1 q < +.
Com efeito, temos de (4) e (6)
[(
)] D(A
k
) H
2k
(); k = 1, 2, . . .
Contudo, pelo Teorema de Imersao de Sobolev
H
2k
() L
() se k >
n
4
.
Nestas condicoes temos
(8) [(
)] D(A
k
) H
2k
() L
() L
q
(); q [1, +)
pois e limitado. Por outro lado,
(9) C
0
() D(A
k
) L
q
(); q [1, +) e k = 1, 2, . . . .
Logo, de (5) e (8) podemos escrever que
(10) [(
)]
H
2k
()
= D(A
k
)
e, de (9) e do fato que C
0
() e denso em L
q
(), temos que
(11) D(A
k
)
L
q
()
= D(A
k
).
Sejam > 0 dado e u L
q
(). De (11) u
0
D(A
k
) tal que:
(12) [[u u
0
[[
L
q
()
<

2
e de (10)
] tal que
(13) [[u
0

[[
H
2k
()
<

2c
,
M
onde c > 0 e tal que
[[v[[
L
q
()
c[[v[[
H
2k
()
; v H
2k
()
em virtude das imersoes dadas em (8). Portanto, de (12) e (13) obtemos
[[
u[[
L
q
()
[[
u
0
[[
L
q
()
+[[u
0
u[[
L
q
()
c[[
u
0
[[
H
2k
()
+

2
< ,
o que prova (7).
Seja
V
m
= [
1
,
2
, . . . ,
m
].
Em V
m
u
m
(t) V
m
u
m
(t) =
m
i=1
g
im
(t)
i
(14)
(u
m
(t),
j
) +i((u
m
(t),
j
)) + ([u
m
(t)[
u
m
(t),
j
) = (f(t),
j
) (15)
u
m
(0) = u
0m
u
0
em H
1
0
() H
2
() L
2(+1)
()
(9)
(16)
Temos as seguintes estimativas
(17) [u
m
(t)[
2
+ 2
_
t
0
[[u
m
(t)[[
p
L
p
()
dt c, t [0, T]; m N.
Donde
(u
m
) e limitada em L
(0, T; L
2
()) (18)
(u
m
) e limitada em L
p
(0, T; L
p
()) = L
p
(Q). (19)
(9)
Note que (
) e total em L
q
(); q 1 c.f. (7) e como e total em H
1
0
() H
2
() e total
na intersec ao H
1
0
() H
2
() L
q
().
84 INTRODUC

AO
`
AS EQUAC

Agora do fato que
[[ [u
m
[
u
m
[[
p
L
p
()
=
_
_
[u
m
[
u
m
_
+2
+1
dx
=
_
[u
m
[
+2
dx = [[u
m
[[
+2
L
+2
()
= [[u
m
[[
p
L
p
()
,
resulta de (19) que
(20) ([u
m
[
u
m
) e limitada em L
p
(0, T; L
p
()) = L
p
(Q).
Tambem
(21)
1
2
d
dt
[[u
m
(t)[[
2
+ Re([u
m
(t)[
u
m
(t), u
m
(t))
1
2
[[f(t)[[
2
+
1
2
[[u
m
(t)[[
2
.
Contudo; pelo Teorema de Green
(22)
_
[u
m
(t)[
u
m
(t)[u
m
(t)] dx
=
n
i=1
_
x
i
([u
m
(t)[
u
m
(t))
u
m
(x)
x
i
dx
=
n
i=1
_
x
i
_
(u
m
(t)u
m
(t))
/2
u
m
(t)
u
m
(t)
x
i
dx
=
n
i=1
_
_

x
i
[(u
m
(t)u
m
(t))
/2
] u
m
(t)
u
m
(t)
x
i
+[u
m
(t)[
u
m
(t)
x
i
u
m
(t)
x
i
_
dx
=
n
i=1
_
2
(u
m
(t)u
m
(t))
2
2
x
i
(u
m
(t)u
m
(t))u
m
(t)
u
m
(t)
x
i
+[u
m
(t)[
u
m
(t)
x
i
u
m
(t)
x
i
_
dx
=
n
i=1
_
2
[u
m
(t)[
2
_
u
m
(t)
x
i
u
m
(t) +u
m
(t)
u
m
(t)
x
i
_
u
m
(t)
u
m
(t)
x
i
+[u
m
(t)[
u
m
(t)
x
i
u
m
(t)
x
i
_
dx
M
=
n
i=1
_
2
[u
m
(t)[
2
[u
m
(t)[
2
u
m
(t)
x
i
2
+

2
[u
m
(t)[
2
_
u
m
(t)
u
m
(t)
x
i
_
2
+[u
m
(t)[
u
m
(t)
x
i
2
_
dx
=
n
i=1
_
2
[u
m
(t)[
2
_
[u
m
(t)[
2
u
m
(t)
x
i
2
+
_
u
m
(t)
u
m
(t)
x
i
_
2
_
+[u
m
(t)[
u
m
(t)
x
i
2
_
dx
Lembrando que
(23) [z
1
[
2
[z
2
[
2
+ Re[(z
1
z
2
)
2
] = 2[Re(z
1
z
2
)]
2
z
1
, z
2
C
entao tomando a parte real em (22) resulta que
(24)
Re
_
[u
m
(t)[
u
m
(t)[u
m
(t)] dx
=
n
i=1
_
_
[u
m
(t)[
2
_
Re
_
u
m
(t)
u
m
(t)
x
i
__
2
+[u
m
(t)[
u
m
(t)
x
i
2
_
dx 0.
De (21), (24) e por Gronwall vem que
(25) (u
m
) e limitada em L
(0, T; H
1
0
()).
Finalmente, de (15) temos
(u
m
(t), u
m
(t)) +i((u
m
(t), u
m
(t))) + (([u
m
(t)[
u
m
(t))
, u
m
(t)) = (f
(t), u
m
(t)).
Considerando a parte real em ambos os lados da igualdade acima, obtemos
(26)
1
2
d
dt
[u
m
(t)[
2
+ Re(([u
m
(t)[
u
m
(t))
, u
m
(t))
1
2
[f
(t)[
2
+
1
2
[u
m
(t)[
2
.
86 INTRODUC

AO
`
AS EQUAC

Procedendo-se de maneira analoga ao que zemos em (22) e usando o argumento
dado em (23) obtemos
(27) Re(([u
m
(t)[
u
m
(t))
, u
m
(t)) 0
e de (26) e (27) conclumos que
(28) [u
m
(t)[
2
[u
m
(0)[
2
+[[f
[[
2
L
2
(Q)
+
_
t
0
[u
m
(s)[
2
ds.
Agora de (15) temos
[u
m
(0)[ [u
0m
[
L
2
()
+[ [u
0m
[
u
0m
[
L
2
()
+[f(0)[
L
2
()
e de (16) temos que
(29) [u
m
(0)[ c
1
.
Logo, de (28), (29) e pela desigualdade de Gronwall resulta que
(30) (u
m
) limitada em L
(0, T; L
2
()).
As estimativas (18), (19), (20) e (30) permite-nos passar o limite conforme Pro-
blema 1. A prova da condicao inicial e analoga ao que ja foi feito.
Unicidade
Sejam u e v solucoes fracas do Problema (1). Entao w = u v verica
(31)
iw = [v[
v [u[
u em L
(0, T; H
1
())
w = 0
w(0) = 0
M
Compondo (31)
1
com w resulta que
(w
(t), w(t)) +i(((t), (t))) =

_
([v(t)[
v(t) [u(t)[
u(t))w(t) dx.
Donde
1
2
d
dt
[w(t)[
2
= Re
_
([v(t)[
v(t) [u(t)[
u(t))(u(t) v(t)) dx.

Contudo
Re
_
_
[v[
v [u[
u
_
( v u) dx
=
_
_
[v[
+2
Re([v[
v u) Re([u[
u v) +[u[
+2
_
dx
=
_
_
[v[
+2
[v[
Re(v u) [u[
Re(u v) +[u[
+2
_
dx
=
_
_
[v[
+2
Re(u v)
(10)
([v[
+[u[
) +[u[
+2
_
dx
_
[v[
+2
[u v[
(11)
([v[
+[u[
) +[u[
+2
_
dx
=
_
_
[v[
+2
[u[ [v[
+1
[v[ [u[
+1
+[u[
+2
_
dx
=
_
_
[v[
+1
([v[ [u[) [u[
+1
([v[ [u[)
_
dx
=
_
([v[
+1
[u[
+1
)([v[ [u[)dx 0
pois F() = [[
+1
e crescente. Logo
1
2
d
dt
[(t)[
2
0.
(10)
Aqui usamos o fato que Re(u v) = Re( uv).
(11)
Note que | v| = |v|.
88 INTRODUC

AO
`
AS EQUAC

Integrando a desigualdade acima, temos
[(t)[
2
=
=0
..
[(0)[
2
0
o que prova que = 0.
O Problema 7
(1)
2
u
t
2
u +[u
= f em Q ( > 0)
u = 0 em
u(x, 0) = u
0
(x);
u
t
(0) = u
1
(x); x
sujeito aos dados
(2)
u
0
H
1
0
()H
2
(), u
1
H
1
0
()L
2(+1)
(), f L
2
(0, T; H
1
0
()) e f
L
2
(0, T; L
2
())
possui uma unica solucao forte na classe:
(3)
u L
(0, T; H
1
0
() H
2
()), u
(0, T; H
1
0
()) L
+2
(Q),
u
(0, T; L
2
()).
Prova:
Seja (
)
N
base de H
1
0
() H
2
() dada pelas auto-funcoes do operador
denido pela terna H
1
0
(), L
2
(), (( , )). Conforme sabemos
(4)

_

mN
H
m
()
_
C
().
M
Alem disso, conforme zemos no Problema 6 temos que
(5) (
) e total em L
q
(); q 1.
1
a

Ponhamos:
V
m
= [
1
, . . . ,
m
].
Em V
m
u
m
(t) V
m
u
m
(t) =
m
i=1
g
im
(t)
i
(6)
(u
m
(t),
j
) + ((u
m
(t),
j
)) + ([u
m
(t)[
m
(t),
j
) = (f(t),
j
) (7)
u
m
(0) = u
0m
u
0
em H
1
0
() H
2
() (8)
u
m
(0) = u
1m
u
1
em H
1
0
() L
2(+1)
() (9)
que tem solucao local, em virtude do criterio de Caratheodory em algum intervalo
[0, t
m
).
2
a

De (7) vem que
1
2
d
dt
[u
m
(t)[
2
+
1
2
d
dt
[[u
m
(t)[[
2
+
_
[u
m
(t)[
+2
dx = (f(t), u
m
(t))
1
2
[f(t)[
2
+
1
2
[u
m
(t)[
2
.
Integrando de 0 à t; t [0, t
m
), obtemos
(10)
[u
m
(t)[
2
+[[u
m
(t)[[
2
+ 2
_
t
0
[[u
m
(s)[[
p
L
p
()
ds = [u
1m
[
2
+[[u
0m
[[
2
+[[f[[
2
L
2
(Q)
+
_
t
0
[u
m
(s)[
2
ds.
90 INTRODUC

AO
`
AS EQUAC

De (8) e (9) c
1
> 0 tal que
(11) [u
1m
[
2
+[[u
0m
[[
2
+[[f[[
2
L
2
(Q)
c
1
; m N
[u
m
(t)[
2
+[[u
m
(t)[[
2
+ 2
_
t
0
[[u
m
(s)[[
p
L
p
()
ds c
1
+
_
t
0
[u
m
(s)[
2
ds
e por Gronwall obtemos
(12) [u
m
(t)[
2
+[[u
m
(t)[[
2
+ 2
_
t
0
[[u
m
(s)[[
p
L
p
()
ds c; t [0, t
m
); m N
o que permite-nos estender a solucao u
m
(t) à todo intervalo [0, T], com u
m
(t), u
m
(t)
m
(t) existindo q.s. em ]0, T[ . De (12) vem que
(u
m
) e limitada em L
(0, T; L
2
()) (13)
(u
m
) e limitada em L
(0, T; H
1
0
()) (14)
(u
m
) e limitada em L
p
(0, T; L
p
()) = L
p
(Q) (15)
([u
m
[
m
) e limitada em L
p
(0, T; L
p
()) = L
p
(Q) (16)
Compondo (7) com (u
m
(t)) pela formula de Green vem que
((u
m
(t), u
m
(t))) + (u
m
(t), u
m
(t)) + ([u
m
(t)[
m
(t), u
m
(t)) = ((f(t), u
m
(t))).
Agora de (4), (6) e novamente pelo Teorema de Green
(17)
1
2
d
dt
[[u
m
(t)[[
2
+
1
2
d
dt
[u
m
(t)[
2
+
n
i=1
_
x
i
([u
m
(t)[
m
(t))
u
m
(t)
x
i
dx
1
2
[[f(t)[[
2
+
1
2
[[u
m
(t)[[
2
.
M
Contudo,
(18)
_
x
i
([u
m
(t)[
m
(t))
u
m
(t)
x
i
dx
= ( + 1)
_
[u
m
(t)[
m
(t)
x
i
u
m
(t)
x
i
dx
= ( + 1)
_
_
[u
m
(t)[
/2
u
m
(t)
x
i
_
2
dx.
Agora, pelo fato de termos
(19)

x
i
_
[u
m
(t)[
/2
u
m
(t)) =
_
2
+ 1
_
[u
m
(t)[
/2
u
m
(t)
x
i
de (18) e (19) vem que
(20)
_
x
i
_
[u
m
(t)[
m
(t)
_
u
m
(t)
x
i
dx =
( + 1)
(/2 + 1)
2
_
_

x
i
_
[u
m
(t)[
/2
u
m
(t)
_
_
2
dx.
Substituindo (20) em (17) obtemos
1
2
d
dt
_
[[u
m
(t)[[
2
+[u
m
(t)[
2
_
+
( + 1)
(/2 + 1)
2
n
i=1
_
_

x
i
_
[u
m
(t)[
/2
u
m
(t)
_
_
2
dx
1
2
[[f(t)[[
2
+
1
2
[[u
m
(t)[[
2
.
Integrando de 0 à t com t [0, T] chegamos a
(21)
[[u
m
(t)[[
2
+[u
m
(t)[
2
+
2( + 1)
(
2
+ 1)
n
i=
1
_
t
0
_
_

x
i
_
[u
m
(t)[
/2
u
m
(t)
_
_
2
dxdt
[[u
1m
[[
2
+[u
0m
[
2
+[[f[[
2
L
2
(0,T;H
1
0
)
+
_
t
0
[[u
m
(s)[[
2
ds.
Entretanto, de (8) c
1
> 0 tal que
(22) [[u
1m
[[
2
+[u
0m
[
2
+[[f[[
2
L
2
(0,T;H
1
0
)
c
1
; m N
92 INTRODUC

AO
`
AS EQUAC

e de (21) e (22) obtemos
[[u
m
(t)[[
2
+[u
m
(t)[
2
+
2( + 1)
(
2
+ 1)
n
i=
1
_
t
0
_
_

x
i
_
[u
m
(t)[
/2
u
m
(t)
_
_
2
dxdt
c
1
+
_
t
0
[[u
m
(s)[[
2
ds
(23) [[u
m
(t)[[
2
+[u
m
(t)[
2
+
2( + 1)
(
2
+ 1)
n
i=1
_
t
0
_
_

x
i
_
[u
m
(t)[
/2
u
m
(t)
_
_
2
dxdt c,
para todo t [0, T]; m N, o que implica que
(24) (u
m
) e limitada em L
(0, T; H
1
0
())
(25) (u
m
) e limitada em L
(0, T; H
1
0
() H
2
())
(26)
_

x
i
([u
m
(t)[
/2
u
m
(t)
_
e limitada em L
2
(0, T; L
2
()); i = 1, . . . , n
Estimativa a priori III
De (7) obtemos
(u
m
(t), u
m
(t)) + ((u
m
(t), u
m
(t))) + (([u
m
(t)[
m
(t))
, u
m
(t)) = (f
(t), u
m
(t))
ou seja,
1
2
d
dt
[u
m
(t)[
2
+
1
2
d
dt
[[u
m
(t)[[
2
+ ( + 1)
_
[u
m
(t)[
m
(t)u
m
(t)dx
1
2
[f
(t)[
2
+
1
2
[u
m
(t)[
2
.
M
Integrando de 0 à t; com t [0, T]
(27)
[u
m
(t)[
2
+[[u
m
(t)[[
2
+ 2( + 1)
_
t
0
_
[u
m
(x, s)[
(u
m
(x, s))
2
dxds
[u
m
(0)[
2
+[[u
1m
[[
2
+[[f
[[
L
2
(Q)
+
_
t
0
[u
m
(s)[
2
ds.
Entretanto, de (7) obtemos
[u
m
(0)[
2
= (f(0), u
m
(0)) (u
0m
, u
m
(0)) ([u
1m
[
u
1m
, u
m
(0))
_
[f(0)[ +[u
0m
[ +[ [u
1m
[
u
1m
[
L
2
()
[u
m
(0)[
e de (8) e (9) c
1
> 0 tal que:
(28) [u
m
(0)[
_
[f(0)[ +[u
0m
[ +[[u
1m
[[
+1
L
2
(+1)
c
1
.
Logo, de (9), (27) e (28) conclumos que
[u
m
(t)[
2
+[[u
m
(t)[[
2
+ 2( + 1)
_
t
0
_
[u
m
(x, s)[
(u
m
(x, s))
2
dt c
2
+
_
t
0
[u
m
(s)[
2
ds
e por Gronwall resulta que:
(u
m
) e limitada em L
(0, T; L
2
()) (29)
(u
m
) e limitada em L
(0, T; H
1
0
()). (30)
Das estimativas acima obtemos uma subseq uencia (u
) de (u
m
) tal que
(31)
u
u fraco-* em L
(0, T; H
1
0
())
u
fraco-* em L
(0, T; L
2
())
u
fraco em L
p
(Q)
u
fraco-* em L
(0, T; H
1
0
())
u
u fraco-* em L
(0, T; H
1
0
() H
2
())
94 INTRODUC

AO
`
AS EQUAC

e de (29) e (30) em virtude do Teorema de Aubin-Lions decorre que
u
em L
2
(0, T; L
2
()).
Logo,
u
(x, t) u
(x, t) q.s. em Q
o que implica que
(32) [u
(x, t)[
(x, t) [u
(x, t)[
(x, t) q.s. em Q.
Agora de (16) e (32) em virtude do Lema de Lions vem que
(33) [u
[u
fraco em L
p
(Q).
As convergencias em (31) e (33) sao sucientes para passar o limite na equacao
conforme Problema 1. As condicoes iniciais prova-se de maneira usual.
Unicidade
Sejam u e v solucoes de (1) e ponhamos = u v. Entao w satisfaz
(34)
= [v
[u
em L
(0, T; L
2
())
= 0 em
(0) =
(0) = 0
Compondo (34)
1
com
resulta que
(
(t),
(t)) + (((t),
(t))) = ([v
[u
, u
(t) v
(t))
i.e,
(35)
1
2
d
dt
[
(t)[
2
+
1
2
d
dt
[[(t)[[
2
=
_
_
[v
[u
_
(u
) dx.
M
Como a funcao F(s) = [s[
s e nao decrescente posto que F
(s) = ( + 1)[s[
0
temos
(36)
_
_
[v
[u
_
(u
) dx 0
1
2
d
dt
[
(t)[
2
+
1
2
d
dt
[[(t)[[
2
0.
Integrando de 0 à t, obtemos de (34)
3
[
(t)[
2
+[[(t)[[
2
0, t [0, T].
Logo,
[[(t)[[
2
= 0, t [0, T]
o que prova que = 0.
SISTEMA DE VON-KARMAN
No que segue representara um aberto limitado bem regular do R
2
.
O Problema 8
(1)
2
u
t
2
+
2
u [u, v] = f em Q = ]0, T[
2
v + [u, u] = 0 em Q
u = 0, v = 0 em = ]0, T[
u
= 0;
v
= 0 em
u(0) = u
0
(x); x
u
t
(0) = u
1
(x); x
96 INTRODUC

AO
`
AS EQUAC

onde
(2) [u, v] =

2
u
x
2
2
v
y
2
+

2
u
y
2
2
v
x
2
2

2
u
xy
2
v
xy
sujeito aos dados
(3) u
0
H
2
0
(), u
1
L
2
() e f L
2
(0, T; L
2
()),
possui pelo menos um par (u, v), solucao fraca de (1) na classe
(4) u, v L
(0, T; H
2
0
()); u
=
u
t
L
(0, T; L
2
()).
Prova:
1
a
Etapa: Solucao Aproximada

Seja (
)
N
base de auto-funcoes do operador
2
denido pela terna
H
2
0
(), L
2
(); (( , ))
H
2
0
()
, onde:
(5) ((u, v))
H
2
0
()
=
_
uv dx.
Sendo (
) a seq uencia de autovalores correspondente, temos:

0 <
1

2

+ quando + e
(6)
= 0
= 0
M
Agora de (6) em virtude da regularidade dos problemas elpticos de ordem 2, do
fato de ser bem regular, de (6) e das imersoes de Sobolev, temos:
(7)

_

mN
H
m
()
_
C
() H
2
0
().
Da Teoria Espectral sabemos que
(

2
() (8)
_

_
2
0
() (9)
_
_
2
0
() H
4
() (10)
Conforme e bem sabido, o operador
(11)
2
: H
2
0
() H
4
() L
2
()
e uma bijecao. Identicando o L
2
() com o seu dual podemos estender o operador
bilaplaciano dado em (11) a uma unica extensao isometrica
(1)

2
: H
2
0
() H
2
().
Ponhamos:
(13) G: L
2
() H
2
0
() H
4
() e

G: H
2
() H
2
0
()
os inversos de (11) e (12), respectivamente; i.e, G = (
2
)
1
e

G = (
2
)
1
. Para nao
sobrecarregar a notacao, de agora em diante nao usaremos o til ().
Seja,
V
m
= [
1
, . . . ,
m
].
Em V
m
(14) u
m
(t) V
m
u
m
(t) =
m
i=1
g
im
(t)
i
,
98 INTRODUC

AO
`
AS EQUAC

(15)
(u
m
(t),
j
) + (u
m
(t),
j
)
+ ([u
m
(t), G[u
m
(t), u
m
(t)]]
()
,
j
) = (f(t),
j
) j = 1, . . . , m
(16) u
m
(0) = u
0m
u
0
em H
2
0
()
(17) u
m
(0) = u
1m
u
1
em L
2
(),
que por Caratheodory possui solucao local em algum intervalo [0, t
m
). Notemos que de
(1)
1
e (1)
2
podemos escrever
(18) v
m
(t) = G[u
m
(t), u
m
(t)]
(12)
2
a

Compondo (15) com u
m
resulta de (18) que
(u
m
(t), u
m
(t)) + (u
m
(t), u
m
(t))
_
[u
m
(t), v
m
(t)], u
m
(t)
_
= (f(t), u
m
(t))
i.e,
(19)
1
2
d
dt
[u
m
(t)[
2
+
1
2
d
dt
[u
m
(t)[
2
_
[u
m
(t), v
m
(t)], u
m
(t)
_
= (f(t), u
m
(t)).
Analise do Termo Nao Linear
Consideremos a aplicacao trilinear
(20)
b: H
2
0
() H
2
0
() H
2
0
() R
(u, v, ) b(u, v, ) =
_
[u, v] dx
()
Convem notar que da regularidade em (7) tem sentido G[u
m
, u
m
].
(12)
Note que de (2), (7), (14), [u
m
, u
m
] C
() L
2
(), pois e limitado.
M
Armamos que tal aplicacao e simetrica. Com efeito, inicialmente observemos
que tal aplicacao esta bem denida. De (2) e do fato que u, v H
2
0
() temos
(21) [u, v] L
1
().
Agora como n = 2, temos que:
(22) H
2
0
() C
0
() L
().
Desta forma de (21) e (22) ca provado que a aplicacao (20) esta bem denida.
Agora, para provar a simetria observemos que do fato que [u, v] = [v, u] e suciente
provarmos que
(23)
_
[u, v] dx =
_
[u, ]v dx
De fato, sejam u, v T(). Entao:
2
x
2
_
2
u
y
2
v
_
2

2
xy
_

2
u
xy
v
_
+

2
y
2
_

2
x
2
v
_
=

4
u
x
2
y
2
v +

2
u
y
2
2
v
x
2
2

4
u
x
2
y
2
v 2

2
u
xy
2
v
xy
+

4
v
y
2
x
2
v +

2
u
x
2
2
v
y
2
= [u, v].
Logo:
(24)
_
[u, v]wdx
=
_
2
x
2
_
2
u
y
2
v
_
2
_
2
xy
_

2
u
xy
v
_
dx +
_
2
y
2
_
2
u
x
2
v
_
dx.
Utilizando duas vezes a formula de Gauss a igualdade acima pode ser reescrita
como
_
2
u
y
2
x
2
v dx 2
_
2
u
xy
xy
v dx +
_
2
u
x
2
y
2
v dx
100 INTRODUC

AO
`
AS EQUAC

isto e,
(24)
_
[u, v] dx =
_
[u, ]v; u, v, T().

Sejam (u
), (v
) e (
) T() tais que

(25) u
u; v
v e
em H
2
0
().
Ora de (2) e (25) vem que
(26) [u
, v
] [u, v] em L
1
()
e de (22) e (25) temos tambem que
(27)
em L
()
e das convergencias em (26) e (27) obtemos
_
[u
, v
dx
_
[u, v] dx.
Analogamente
_
[u
]v
dx
_
[u, ]v dx
o que prova (23). Resulta da em particular que
(28)
_
[u
m
(t), v
m
(t)]u
m
(t) dx =
_
[u
m
(t), u
m
(t)]v
m
(t) dx.
Substituindo (28) em (19) resulta que
1
2
d
dt
[u
m
(t)[
2
+
1
2
d
dt
[u
m
(t)[
2
_
[u
m
(t), u
m
(t)], v
m
(t)
_
= (f(t), u
m
(t))
M

ou ainda,
(29)
1
2
d
dt
[u
m
(t)[
2
+
1
2
d
dt
[u
m
(t)[
2
1
2
_
d
dt
[u
m
(t), u
m
(t)], v
m
(t)
_
= (f(t), u
m
(t)).
Mas de (13) e (18) podemos escrever
2
v
m
(t) = [u
m
(t), u
m
(t)]
o que implica
(30)
2
v
m
(t) =
d
dt
[u
m
(t), u
m
(t)].
1
2
d
dt
[u
m
(t)[
2
+
1
2
d
dt
[u
m
(t)[
2
+
1
2
(v
m
(t), v
m
(t))
1
2
[f(t)[
2
+
1
2
[u
m
(t)[
2
ou seja,
1
2
d
dt
[u
m
(t)[
2
+
1
2
d
dt
[u
m
(t)[
2
+
1
4
d
dt
[v
m
(t)[
2
1
2
[f(t)[
2
+
1
2
[u
m
(t)[
2
.
m
) obtemos
(31)
[u
m
(t)[
2
+[u
m
(t)[
2
+
1
2
[v
m
(t)[
2
[u
1m
[
2
+[u
0m
[
2
+
1
2
[v
m
(0)[
2
+[[f[[
2
L
2
(Q)
+
_
t
0
[u
m
(s)[
2
ds.
Analise do termo [v
m
(0)[
2
[v
m
(0)[
2
[v
m
(0)[
2
Sendo n = 2, provaremos que
(32) L
1
() H
2
().
102 INTRODUC

AO
`
AS EQUAC

Com efeito, denindo o operador
T: L
1
() H
2
()
g Tg
dado por
(33) Tg, v =
_
gv dx; v H
2
0
(),
temos, em virtude de (22), que
[Tg, v[
_
[g[ [v[ dx = [[g[[

L
1
()
[[v[[
L
()
c[[g[[
L
1
()
[[v[[
H
2
0
()
.
Portanto,
(34) [[Tg[[
H
2
()
c[[g[[
L
1
()
o que prova que
T /(L
1
(); H
2
()).
Notamos tambem que se g
1
, g
2
L
1
() e T
g
1
= T
g
2
obtemos
_
(g
1
g
2
)v dx = 0, v H
2
0
().
Em particular
g
1
g
2
, = 0, T()
o que implica que g
1
= g
2
em T
() e portanto g
1
= g
2
q.s. em , o que prova a
injetividade da aplicacao T. Neste sentido ca provado (32).
Provaremos a seguir que a aplicacao bilinear
(35)
[ , ]: H
2
0
() H
2
0
() H
2
()
(u, v) [u, v]
M

e contnua. De fato, em virtude de (21) e (32)
[[[u, v][[
H
2
()
c
1
[[[u, v][[
L
1
()
= c
1
_
[[u, v][ dx
c
1
_
2
u
x
2
2
v
y
2
+ 2
2
u
xy
2
v
xy
2
u
y
2
2
v
x
2
_
dx
c
1
___

2
u
x
2
2
_
1/2
__
2
v
y
2
2
_
1/2
+ 2
__
2
u
xy
2
_
1/2
__
2
v
xy
2
_
1/2
+
__
2
u
y
2
2
_
1/2
__
2
v
x
2
2
_
1/2
_
c
2
_
[[u[[
H
2
0
()
[[v[[
H
2
0
()
+ 2[[u[[
H
2
0
()
[[v[[
H
2
o
()
+[[u[[
H
2
0
()
[[v[[
H
2
0
()
(13)
_
c
3
[[u[[
H
2
0
()
[[v[[
H
2
0
()
o que prova o desejado. Resulta da que
[[[u
0m
, u
0m
][[
H
2
()
c
2
[[u
0m
[[
H
2
0
()
[[u
0m
[[
H
2
0
()
.
De (16) garantimos a existencia de uma constante c
3
> 0 tal que
(36) [[[u
0m
, u
0m
][[
H
2
()
c
3
; m N
e portanto, de (13) decorre que
[[v
m
(0)[[
H
2
0
()
= [[G[u
om
, u
0m
][[
H
2
0
()
c
4
[[[u
0m
, u
0m
][[
H
2
()
c
5
, m N
isto e,
(37) [v
m
(0)[
L
2
()
c
6
; m N.
(13)
Aqui estamos usando o fato de que emH
2
0
() as normas |u|
L
2 e ||u||
H
2
()
sao equivalentes.
104 INTRODUC

AO
`
AS EQUAC

Desta forma, de (16), (17), (31) e (37) obtemos
[u
m
(t)[
2
+[u
m
(t)[
2
+
1
2
[v
m
(t)[
2
c
7
+
_
t
0
[u
m
(s)[
2
ds
e por Gronwall
(38) [u
m
(t)[
2
+[u
m
(t)[
2
+
1
2
[v
m
(t)[
2
c; t [0, t
m
) m N.
A estimativa acima permite-nos estender u
m
(t), a todo intervalo [0, T], e de (18)
temos o mesmo para v
m
(t). Alem disso, conclu
imos que
(u
m
) e limitada em L
(0, T; L
2
()) (39)
(u
m
) e limitada em L
(0, T; H
2
0
()) (40)
(v
m
) e limitada em L
(0, T; H
2
0
()). (41)
3
a

Das estimativas em (39), (40) e (41) podemos extrair subseq uencias (u
) de (u
m
)
e (v
) de (v
m
) tais que
u
u fraco-* em L
(0, T; H
2
0
()) (42)
u
fraco-* em L
(0, T; L
2
()) (43)
v
v fraco-* em L
(0, T; H
2
0
()) (44)
Por outro lado, de (39) e (40) temos, em virtude do Teorema de Aubin-Lions, a
existencia de uma subseq uencia de (u
), que ainda denotaremos por (u
), tal que
(45) u
u forte em L
2
(0, T; L
2
()).
M

Sejam j N e T(0, T). Entao, para > j de (15) e (18) vem que
(46)
_
T
0
(u
(t),
j
)
(t) dt +
_
T
0
(u
(t),
j
)(t) dt
_
T
0
([u
(t), v
(t)],
j
) dt =
_
T
0
(f(t),
j
)(t) dt.
De (42) vem que
w, u
L
1
(0,T;H
2
),L
(0,T;H
2
0
)
w, u
L
1
(0,T;H
2
),L
(0,T;H
2
0
)
;
w L
1
(0, T; H
2
()).
Em particular, se denirmos
(47)
j
=
j
C
( [0, T]) = C
(Q)
e considerarmos w =
2
j
=
2
j
L
1
(0, T; H
2
()) obtemos
_
T
0
j
(t), u
(t)
H
2
();H
2
0
()
dt
_
T
0
j
(t), u(t)
H
2
();H
2
0
()
dt
ou seja,
(48)
_
T
0
(
j
(t), u
(t))dt
_
T
0
(
j
(t), u(t)) dt.
De (43) obtemos imediatamente que
(49)
_
T
0
(u
(t),
j
(t)) dt
_
T
0
(u
(t),
j
(t)) dt.
Passagem ao Limite do Termo Nao-Linear
Temos a seguinte relacao
(50)
_
T
0
([u
, v
],
j
) dt =
_
T
0
([u
,
j
], v
) dt
=
_
T
0
([
j
, u
], v
) dt =
_
T
0
([
j
, v
], u
) dt.
106 INTRODUC

AO
`
AS EQUAC

Armamos que
(51) [
j
, v
] [
j
, v] fraco em L
2
(Q).
Com efeito, como
[
j
, v
] =

2
j
x
2
2
v
y
2
2

2
xy
2
v
xy
+

2
j
y
2
2
v
x
2
e suciente provarmos, por exemplo, que
(52)
_
Q
j
x
2
2
v
y
2
dxdt
_
Q
j
x
2
2
v
y
2
dxdt; L
2
(Q).
posto que para as outras parcelas o raciocnio e analogo.
De (38) resulta que
(v
),
_
2
v
x
2
_
,
_
2
v
y
2
_
,
_
2
v
xy
_
,
_
2
v
yx
_
sao limitadas em L
(0, T; L
2
()).
Logo,
(53)

2
v
y
2

2
v
y
2
fraco em L
2
(Q).
Contudo de (467) temos que
j
C
(Q)
o que implica que
j
x
2
=
j
j
x
2
C
(Q)
M

e, consequentemente,
(54)

2
j
x
2
L
2
(Q).
Assim, de (53) e (54) resulta a convergencia (52) e por conseguinte (51). Resulta
da e de (45) que
_
T
0
([
j
, v
], u
) dt
_
T
0
([
j
, v], u) dt,
ou ainda
(55)
_
T
0
([u
, v
],
j
) dt
_
T
0
([u, v],
j
) dt.
Finalmente, de (46), (48), (49) e (55) temos provado que
_
T
0
(u
(t),
j
)
(t) dt +
_
T
0
(u(t),
j
)(t) dt
_
T
0
([u(t), v(t)],
j
)(t) dt =
_
T
0
(f(t),
j
) dt.
Pela totalidade da sequ uencia (
) em H
2
0
() decorre que a ultima expressao e
valida para todo v H
2
0
() e, portanto,
u
+
2
u [u, v] = f em T
(0, T; H
2
()).
Como f L
2
(0, T; L
2
()),
2
u L
(0, T; H
2
()) e [u, v]
L
(0, T; L
1
()) temos
(56) u
L
2
(0, T; H
2
())
e
(57) u
+
2
u [u, v] = f em L
2
(0, T; H
2
()).
108 INTRODUC

AO
`
AS EQUAC

4
a
Etapa: Condicao Inicial

de (42), (43) e (57) resulta que
u C
0
([0, T]; L
2
()) C
s
(0, T; H
2
0
())
u
C
0
([0, T]; H
2
()) C
s
(0, T; L
2
())
tendo sentido, portanto calcularmos u(0) e u
(0). A partir da, provamos que u(0) = u

0
e u
(0) = u
1
de maneira usual.
Observacao: Sabemos que H
s
() C
0
() se s >
n
2
No presente caso n = 2 e,
portanto,
H
s
() C
0
(); s > 1.
Logo, se 0 < < 1 temos
H
1+
0
() C
0
(); ]0, 1[.
Repetindo os argumentos anteriores provamos que
L
1
() H
(1+)
()
e como
2
v = [u, u]
segue que
2
v L
(0, T; L
1
()) L
(0, T; H
(1+)
()).
Utilizando os resultados de regularidade dos problemas elpticos de ordem 2 nos
espacos H
s
() resulta que
v L
(0, T; H
4(1+)
()) = L
(0, T; H
3
()); ]0, 1[.
M

Note que de (45) resulta que
[u
, u
] [u, u] em T
(Q)
(14)
,ou ainda,
2
v
[u, u] em T
(Q).
De (44) decorre que
2
v

2
v em T
(Q) e, pela unicidade do limite, conclui-se que:
2
v = [u, u].
SISTEMA DE VON-KARMAN
(Caso Estacionario)
O Problema 9 dado por
(1)
2
u [u, v] = f em
2
v + [u, u] = 0 em
u = 0, v = 0 sobre
u
= 0,
v
= 0 sobre
onde
(2) f H
2
()
admite pelo menos um par (u, v) como solucao fraca, na classe,
(3) u, v H
2
0
().
(14)
Em verdade, [u
, ] [u, ] em L
2
(Q) e ent ao
_
[u
, u
] =
_
[u
, ]u
[u, ]u =
_
[u, u].
110 INTRODUC

AO
`
AS EQUAC

Prova:
1
a

Seja (
)
N
base de auto-funcoes do operador
2
H
2
0
(); L
2
(); (( , ))
H
2
0
)
onde:
((u, v))
H
2
0
()
=
_
uv dx.
Conforme vimos no Problema 3 se (
) e a seq uencia de auto-valores correspon-

dente ent ao
0 <
1

2

+.
Alem disso,
(

2
() (3)
_

1/2
_
2
0
() (4)
(

2
0
() H
4
(). (5)
Considerando que
e solucao do problema
= 0
= 0,
entao, em virtude da regularidade dos problemas elpticos de ordem 2, do fato que e
um aberto limitado bem regular e do Teorema de Imersao de Sobolev, resulta que
(6) (
)
_

mN
H
m
()
_
C
() H
2
0
().
M

Como os operadores
2
: H
2
0
() H
4
() L
2
(),

2
: H
2
0
() H
2
()
sao bijecoes, sendo que a segunda e uma isometria denamos
(7)
G: L
2
() H
2
0
() H
4
()

G: H
2
() H
2
0
()
G = (
2
)
1
e

G = (
2
)
1
Consideremos
V
m
= [
1
, . . . ,
m
].
Em V
m
(8) u
m
V
m
u
m
=
m
i=1
i
(9) (u
m
,
j
) + ([u
m
, G[u
m
, u
m
]],
j
) = f,
j
; j = 1, 2, . . . , m.
Observamos que de (1)
2
podemos escrever que
(10) v
m
= G[u
m
, u
m
].
Provaremos, a seguir, que o sistema algebrico (8)(9) possui solucao. Note que
nao podemos usar o Teorema de Caratheodory uma vez que o problema e estacionario.
Substituindo-se (8) em (9) resulta que
(11)
_
_
m
i=1
i

i
_
j
dx +
_
_
m
i=1
i
, G
_
m
i=1
i
,
m
i=1
i
__
j
dx
= f,
j
, j = 1, . . . , m
112 INTRODUC

AO
`
AS EQUAC

Pondo
(12) a
ij
=
_
i

j
dx; i, j = 1, . . . , m; f
j
= f,
j
; j = 1, . . . , m
e
(13) b
j
(
1
, . . . ,
m
) =
_
_
m
i=1
i
, G
_
m
i=1
i
,
m
i=1
i
__
j
dx; j = 1, . . . , m,
obtemos de (11), (12) e (13)
(14)
m
i=1
i
a
ij
+b
j
(
1
, . . . ,
m
) = f
j
; 1 j m.
Para provar a existencia de solucao de (14) necessitamos de um resultado que
passamos a enunciar
Lema (Visik): Seja P() de R
n
R
n
uma aplicacao contnua tal que para algum
> 0 tenhamos (P(), )
R
n
0, R
n
com [[[[ = . Entao,
0
B
(0) tal que

P(
0
) = 0.
Prova: Suponhamos, por contradicao, que
(15) P() ,= 0; B
(0).
Como a aplicacao R
n
P() R
n
e contnua, entao a aplicacao
(16)
Q: B
(0) R
n
Q() =

[[P()[[
P(),
que esta bem denida em virtude de (15), tambem o e. Alem disso, para todo B
(0)
temos
(17) [[Q()[[ =
_
_
_
_

[[P()[[
P()
_
_
_
_
= ,
M

o que prova que Q aplica B
(0) em B
(0). Logo, pelo teorema do ponto xo de Brouwer,

0
B
(0) tal que

(18) Q(
0
) =
0
,
isto e, de (16) temos equivalentemente que
(19)
P(
0
)
[[P(
0
)[[
=
0
.
Observamos que de (17) e (18) resulta que
(20) [[
0
[[ = > 0.
Segue de (19) e (20) que
_
P(
0
),
0
_
=
[[P(
0
)[[
(
0
,
0
) =
[[P(
0
)[[
[[
0
[[
2
< 0
o que e absurdo!
Retornando a (14) denamos para cada j = 1, . . . , m
j
=
m
i=1
i
a
ij
+b
j
(
1
, . . . ,
m
) f
j
e
= (
1
, . . . ,
m
).
Devemos provar que a aplicacao P: R
m
R
m
dada por
(21) u
m
=
m
i=1
i

114 INTRODUC

AO
`
AS EQUAC

isto e, R
m
P() = e contnua, e alem disso, que
0
> 0 tal que:
(22) (P(), ) 0; R
m
[[ =
0
.
Com efeito, provaremos inicialmente a continuidade de P. Para isso e suciente
provarmos que
P
j
: R
m
R
P
j
() =
j
e contnua. De fato, seja
0
R
m
e consideremos (
) R
m
tal que
(23)

0
em R
m
.
Temos
(24)
[P
j
(
) P
j
(
0
)[
=
i=1
a
ij
(
i

0i
) b
j
(
1
, . . . ,
m
) +b
j
(
01
, . . . ,
0m
)
i=1
[a
ij
[ [
i

0i
[ +[b
j
(
1
, . . . ,
m
) b
j
(
01
, . . . ,
0m
)[.
[
i

0i
[
_
m
i=1
(
i

0i
)
2
= [[

0
[[ 0, i = 1, . . . , m,
o que implica que
i

0i
em R, i = 1, , m.
Portanto
(25.)
m
i=1
i

m
i=1
0i
i
em H
2
0
()
M

Donde
_
m
i=1
i
,
m
i=1
i
_
_
m
i=1
0i
i
,
m
i=1
0i
i
_
em L
1
() H
2
()
e consequentemente
G
_
m
i=1
i
,
m
i=1
i
_
G
_
m
i=1
0i
i
,
m
i=1
0i
i
_
em H
2
0
()
Da convergencia acima e de (25) decorre que
_
m
i=1
i
, G
_
m
i=1
i
,
m
i=1
i
__
_
m
i=1
0i
i
, G
_
m
i=1
0i
i
,
m
i=1
0i
i
__
em L
1
().
Como
j
H
2
0
() C
0
() L
() (pois n = 2) vem que

_
_
m
i=1
i
, G
_
m
i=1
i
,
m
i=1
i
__
j
dx
_
m
i=1
0i
i
, G
_
m
i=1
0i
i
,
m
i=1
0i
i
__
j
dx
ou seja,
(26) [b
j
(
1
, . . . ,
m
) b
j
(
01
, . . . ,
0m
)[ 0.
Desta forma, ca provada a continuidade da aplicacao P. Provaremos, a seguir,
116 INTRODUC

AO
`
AS EQUAC

a veracidade de (22). Com efeito, de (13) temos
(27)
(P, ) = (, ) =
m
j=1
j
=
m
j=1
_
m
i=1
i
a
ij
+b
j
(
1
, . . . ,
m
) f
j
_
j
=
m
j=1
_
m
i=1
i
(
i
,
j
)
L
2
()
+
_
[u
m
, G[u
m
, u
m
]]
j
dx f,
j
j
=
_
_
m
i=1
i
_
,
_
m
j=1
j
__
L
2
()
+
_
[u
m
, G[u
m
, u
m
]]
_
m
j=1
j
_
dx
f,
_
m
j=1
j
_
_
= (u
m
, u
m
)
_
[u
m
, v
m
]u
m
dx f, u
m
= [u
m
[
2
[u
m
, v
m
]u
m
dx f, u
m
.
Contudo
(28)
_
[u
m
, v
m
]u
m
dx =
_
[u
m
, u
m
]v
m
dx.
De (10) temos:
(29)
2
v
m
= [u
m
, u
m
].
Portanto, de (28) e (29) conclumos que:
(30)
_
[u
m
, v
m
]u
m
dx =
_
2
v
m
v
m
dx.
M

(P, )
= [u
m
[
2
+ (
2
v
m
, v
m
) f, u
m
= [u
m
[
2
+[v
m
[
2
f, u
m
[u
m
[
2
+[v
m
[
2
[[f[[
H
2
[[u
m
[[
H
2
0
()
[u
m
[
2
+[v
m
[
2
c
1
[u
m
[
isto e,
(31) (P, ) [u
m
[
2
+[v
m
[
2
c
1
[u
m
[ [u
m
[
2
c
1
[u
m
[.
Temos dois casos a considerar
(i) Se [u
m
[ = 0, entao de (31) vem que (P, ) 0 o que prova o desejado em
(22) qualquer que seja o > 0.
(ii) Se [u
m
[ ,= 0, entao (P, ) 0 desde que [u
m
[ c
1
. Provaremos que

0
> 0 tal que se [[[[ =
0
R
m
entao [u
m
[ c
1
e temos o desejado em (22).
Com efeito, temos de (3) que
(32) [u
m
[
2
L
2
()
= (u
m
, u
m
) =
_
m
i=1
i
,
m
i=1
i
_
=
m
i=1
2
i
[
i
[
2
L
2
()
.
Pondo
m
= min[
1
[
2
, . . . , [
m
[
2
de (32) vem que

[u
m
[
2
L
2
()

m
m
i=1
2
i
=
m
[[[[
2
,
o que implica que
(33) [u
m
[
L
2
()

_
m
[[[[.
118 INTRODUC

AO
`
AS EQUAC

Escolhendo
0
> 0 tal que
0
>
c
1
m
obtemos de (33), para todo R
m
com
[[[[ =
0
, que:
[u
m
[
L
2
()

_
0
>
_
m

c
1
m
= c
1
o que prova o desejado em (22). Assim, pelo Lema de Visik
0
B
0
(0) tal que
P(
0
) = 0, isto e, o sistema dado em (11) admite solucao.
2
a

Multiplicando (9) por
j
e somando-se em j de t ate m, obtemos de (10) que
(u
m
, u
m
) + ([u
m
, v
m
], u
m
) = f, u
m
ou ainda,
[u
m
[
2
+ ([u
m
, u
m
], v
m
) [[f[[
H
2
[[u
m
[[
H
2
0
.
Donde, de (29)
[u
m
[
2
+ (
2
v
m
, v
m
) c
1
[[f[[
H
2
()
[u
m
[
e, portanto,
(34) [u
m
[
2
+[v
m
[
2
c
1
[[f[[
H
2
()
[u
m
[; m N.
Para o m N tal que [u
m
[ = 0 entao [u
m
[ e trivialmente limitada. Quando
[u
m
[ ,= 0 temos de (34) que
(35) [u
m
[ c
2
; m N
e de (34) e (35) vem que
(36) [v
m
[ c
3
; m N.
M

Logo, de (35) e (36) temos
(u
m
) e limitada em H
2
0
() (37)
(v
m
) e limitada em H
2
0
(). (38)
Resulta de (37) e (38) a existencia de subseq uencias (u
) de (u
m
) e (v
) de (v
m
)
tais que
u
u fraco em H
2
0
() (39)
v
v fraco em H
2
0
(). (40)
Por outro lado, em virtude de H
2
0
()
comp.
L
2
() e de (37), podemos extrair de
(u
) uma subseq uencia, que ainda denotaremos pela mesma notacao, que verica
(41) u
u em L
2
().
3
a

Seja j N e consideremos j. De (9) e (10) resulta que:
(42) (u
,
j
) ([u
, v
],
j
) = f,
j
.
De (39) resulta que
w, u
H
2
,H
2
0
w, u
H
2
,H
2
0
, w H
2
().
Em particular,
j
, u
j
, u
isto e,
(43) (u
,
j
) (u,
j
).
120 INTRODUC

AO
`
AS EQUAC

Temos
(44) ([u
, v
],
j
) = ([u
,
j
], v
) = ([
j
, u
], v
) = ([
j
, v
], u
).
Armamos que
(45) [
j
, v
] [
j
, v] em L
2
().
Com efeito, temos
(46) [
j
, v
] =

2
j
x
2
2
v
y
2
2

2
j
xy
2
v
xy
+

2
j
x
2
2
v
y
2
e
(47) [
j
, v] =

2
j
x
2
2
v
y
2
2

2
j
xy
2
v
xy
+

2
j
x
2
2
v
y
2
.
Portanto, de (6), (10) e (40) resulta que [
j
, v
], [
j
, v] L
2
(). Para provarmos
(45) entao, em virtude de (46) e (47), e suciente provarmos por exemplo que
(48)
_
j
x
2
2
v
y
2
dx
_
j
x
2
2
v
y
2
dx, L
2
(),
posto que para as outras parcelas o procedimento e analogo.
Com efeito, de (36) vem que
(50)
_
2
v
y
2
_
e limitada em L
2
().
Consequentemente, de (50) conclumos que
(51)

2
v
y
2

2
v
y
2
em L
2
().
M

Contudo como
(52)
_
j
x
2

_
L
2
(),
pois de (6) temos que
_
j
x
2

2
dx c
_
[[
2
dx < +
de (51) e (52) resulta a convergencia em (48) cando provado (45). Resulta da e da
convergencia em (41) que
([
j
, v
], u
) ([
j
, v], u)
Logo, de (44) podemos escrever
(53) ([u
, v
],
j
) = ([
j
, v
], u
) ([
j
, v), u) = ([u, v],
j
).
Desta forma, de (42), (43) e (53) resulta, na situacao limite,
(u,
j
)
_
[u, v]
j
dx = f,
j
, j N.
Pela totalidade da seq uencia
j
em H
2
0
() resulta que
(54) (u, )
_
[u, v] dx = f, ; H
2
0
().
Tomando = T() em (54) obtemos
2
u [u, v] = f em T
(),
ou ainda,
(55)
2
u [u, v] = f em H
2
().
122 INTRODUC

AO
`
AS EQUAC

Por outro lado, de (41) temos que
[u
, u
] [u, u] em L
1
() H
2
(),
o que implica que
G[u
, u
] G[u, u] em H
2
0
(),
ou ainda, de (10),
(56) v
G[u, u] em H
2
0
().
Das convergencias em (40) e (56) e pela unicidade do limite conclumos que
(57) v = G[u, u].
SISTEMA DE NAVIERSTOKES
Seja um subconjunto aberto limitado bem regular do R
2
.
Denamos
(1) 1 = (T())
2
; div = 0
(2) V = 1
(H
1
())
2
(3) H = 1
(L
2
())
2
O conjunto V denido em (2) pode ser reescrito como
(4) V = u (H
1
0
())
2
; div u = 0.
M

Muniremos H e V , respectivamente, dos produtos internos em (L
2
())
2
e (H
1
0
())
2
.
Mais precisamente, temos
(5) (u, v)
(L
2
())
2
=
2
i=1
(u
i
, v
i
)
e
(6) ((u, v))
(H
1
0
())
2
=
2
i=1
((u
i
, v
i
)) =
2
i=1
2
j=1
_
u
i
x
j
v
i
x
j
_
L
2
()
.
O Problema 10 dado por
(7)
u
t
u +
2
j=1
u
x
j
u
j
= f p em Q ( > 0)
div u = 0 em Q
u = 0 em
u(x, 0) = u
0
(x); x ,
onde
u = (u
1
, u
2
);
u
x
j
=
_
u
1
x
j
,
u
2
x
j
_
;
u
t
= (u
1
, u
2
), u = (u
1
, u
2
),
sujeito aos dados
(8) u
0
H e f L
2
(0, T; V
)
possui uma unica solucao fraca na classe
u L
2
(0, T; V ) L
(0, T; H); u
L
2
(0, T; V
).
124 INTRODUC

AO
`
AS EQUAC

Formulacao Variacional
Compondo a equac ao (7)
1
com uma funcao admissvel , obtemos
(u
, ) (u, ) +
_
2
j=1
u
x
j
u
j
,
_
= (f, ) (p, ).
Aplicando formalmente o Teorema de Green decorre que
2
i=1
(u
i
,
i
)
L
2
()
+
2
i=1
((u
i
,
i
))
H
1
0
()
+
2
i=1
_
u
i

i
d +
2
i=1
2
j=1
_
u
i
x
j
u
j
,
i
_
L
2
()
=
2
i=1
(f
i
,
i
)
2
i=1
_
p
x
i
,
i
_
L
2
()
.
Agora considerando
i
= 0 em e usando formalmente o Teorema de Gauss
resulta que
2
i=1
(u
i
,
i
)
L
2
()
+
2
i=1
((u
i
,
i
))
H
1
0
()
+
2
i=1
2
j=1
_
u
i
x
j
u
j
,
i
_
L
2
()
=
2
i=1
(f
i
,
i
) +
_
p
_
2
i=1
i
x
i
_
dx
2
i=1
_
p
i
i
d.
Considerando div =
2
i=1
i
x
i
= 0 e
i
= 0 em vem que
(9)
2
i=1
(u
i
,
i
)
L
2
()
+
2
i=1
((u
i
,
i
))
H
1
0
()
+
2
i=1
2
j=1
_
u
i
x
j
u
j
,
i
_
L
2
()
=
2
i=1
(f
i
,
i
).
Em verdade, a formula cao variacional dada em (9) se cumpre para toda funcao
V dada em (4).
M

Antes de passarmos à resolucao do problema (7) faremos algumas consideracoes
iniciais que necessitaremos no desenrolar do problema. Temos os seguintes resultados
Lema 1: A forma trilinear:
b: V V V R
(u, v, ) b(u, v, ) =
2
i,j=1
_
u
j
v
i
x
j
i
dx
e contnua.
Prova. Como n = 2, temos pelo Teorema de Imersao de Sobolev que
H
1
0
() L
q
(); q [1, +[ .
Desta forma e, em particular, H
1
0
() L
4
(). Donde
u
j
L
4
();
v
i
x
j
L
2
() e
i
L
4
().
Agora, como
1
2
+
1
4
+
1
4
= 1
resulta da formula de Holder genralizada que b(u, v, ) esta bem denida e, alem disso,
u
j
v
i
x
j
i
dx
[u
j
[
L
4
()
v
i
x
j
L
2
()
[
i
[
L
4
()
c
1
[[u
j
[[
H
1
0
()
[[v
i
[[
H
1
0
()
[[
i
[[
H
1
0
()
.
126 INTRODUC

AO
`
AS EQUAC

Logo:
[b(u, v, )[
2
i=1
2
j=1
_
[u
j
[
v
i
x
j
[
i
[ dx
c
1
2
i=1
2
j=1
[[u
j
[[
H
1
0
()
[[v
i
[[
H
1
0
()
[[
i
[[
H
1
0
()
c
1
_
2
j=1
[[u
j
[[
2
H
1
0
()
_
1/2
_
2
i=1
[[v
i
[[
H
1
0
()
[[
i
[[
H
1
0
()
_
c
1
_
2
j=1
[[u
j
[[
2
H
1
0
()
_
1/2
_
2
i=1
[[v
i
[[
H
1
0
()
_
1/2
_
2
i=1
[[
i
[[
H
1
0
()
_
1/2
,
isto e,
[b(u, v, )[ c
1
[[v[[ [[u[[ [[[[, u, v, V
o que prova o lema.
Lema 2. Temos que b(u, v, ) = b(u, , v), u, v, V .
Prova. Consideremos, inicialmente, u, v, 1. Entao, pela formula de Gauss:
M

b(u, v, ) +b(u, , v)
=
2
i,j=1
__
u
j
v
i
x
j
i
dx +
_
u
j
i
x
j
v
i
dx
_
=
n
i,j=1
__
u
j
x
j
(v
i
i
) dx
_
=
n
i,j=1
_
u
j
x
j
v
i
i
dx +
=0
..
_
u
j
v
i
i
d
_
=
_
_
n
j=1
u
j
x
j
. .
=0
__
n
i=1
v
i
i
_
dx = 0,
o que prova o desejado para funcoes de 1. Consideremos, entao, u, v , V . Logo, de
(2) vem que existem (u
), (v
) e (
) 1 tais que
u
u; v
v e
em V.
Contudo
(10) b(u
, v
) = b(u
, v
).
Resulta de (10) e da continuidade de b( , , ) (cf. Lema 1) o desejado.
Lema 3. Seja R
2
aberto limitado bem regular. Entao para toda u H
1
0
() temos
[[u[[
2
L
4
()

2 [[u[[
H
1
0
()
[u[
L
2
()
.
Prova. Seja T() e consideremos sua extensao pondo zero fora em R
n
. Entao,
2
(x
1
, x
2
) =
_
x
1
s
(
2
(s, x
2
)) ds = 2
_
x
1
(s, x
2
)

s
(s, x
2
) ds, (x
1
, x
2
) R
2
.
128 INTRODUC

AO
`
AS EQUAC

Logo
[
2
(x
1
, x
2
)[
2
_
x
1
[(s, x
2
)[
s
(s, x
2
)
ds
2
_
+
[(s, x
2
)[
s
(s, x
2
)
ds.
Denindo
(11) v(x
2
) = 2
_
+
[(s, x
2
)[
s
(s, x
2
)
ds
resulta que
(12) [
2
(x
1
, x
2
)[ v(x
2
); (x
1
, x
2
) R
2
.
Analogamente, pondo
v(x
1
) = 2
_
+
[(x
1
, s)[
s
(x
1
, s)
ds
temos
(13) [
2
(x
1
, x
2
)[ v(x
1
); (x
1
, x
2
) R
2
.
(14) [
4
(x
1
, x
2
)[ v(x
1
) v(x
2
); (x
1
, x
2
) R
2
.
Observando que v
1
, v
2
L
1
(R) entao pelo Teorema de Tonelli (v
1
v
2
) L
1
(R
2
) e
de (14) obtemos
_
R
2
[(x
1
, x
2
[
4
dx
_
R
2
v(x
1
)v(x
2
) dx < +; x = (x
1
, x
2
).
M

Resulta da desigualdade acima, pelo Teorema de Fubini, que
(14)
_
R
2
[(x
1
, x
2
)[
4
dx
__
R
v(x
1
)dx
1
___
R
v(x
2
)dx
2
_
.
Contudo de (11) e da desigualdade de Cauchy-Schwarz obtemos
_
R
v(x
2
)dx
2
= 2
_
R
_
R
[(x
1
, x
2
)[
x
1
(x
1
, x
2
)
dx
1
dx
2
2
__
R
2
[(x
1
, x
2
)[
2
dx
_
1/2
__
R
2
x
1
(x
1
, x
2
)
2
dx
_
2
= 2[[
L
2
(R
2
)
x
1
L
2
(R
2
)
,
isto e,
(15)
_
R
v(x
2
)dx
2
2[[
L
2
(R
2
)
x
1
L
2
(R
2
)
.
Analogamente,
(16)
_
R
v(x
1
)dx
1
2[[
L
2
(R
2
)
x
2
L
2
(R
2
)
.
Desta forma, de (14), (15) e (16) conclumos que
_
R
2
[(x
1
, x
2
)[
4
dx
4[[
2
L
2
(R
2
)
x
1
L
2
(R
2
)
x
2
L
2
(R
2
)
2[[
2
L
2
(R
2
)
_
x
1
2
L
2
(R
2
)
+
x
2
2
L
2
(R
2
)
_
,
130 INTRODUC

AO
`
AS EQUAC

ou seja,
[[[[
4
L
4
(R
2
)
2[[
2
L
2
(R
2
)
[[[[
2
H
1
0
(R
2
)
.
Restrigindo a temos
[[[[
2
L
4
()

2 [[
L
2
()
[[[[
H
1
0
()
; T().
Por argumentos de densidade e do fato que H
1
0
() L
4
() segue o desejado.
Resulta do Lema 1 para u, v V xados que a aplicacao

(17)
B(u, v): V R
B(u, v), = b(u, v, )
e uma forma bilinear e contnua, isto e, B(u, v) V
.
Lema 4. Se u, v L
2
(0, T; V ) L
(0, T; H) entao B(u, v) L

2
(0, T; V
).
Prova. Para todo w V temos pelo Lema 2 e pela desigualdade de Holder generalizada
[B(u(t), v(t)), w[
= [b(u(t), v(t), w)[ = [b(u(t), w, v(t))[
= c
1
[[u(t)[[
(L
4
())
2
[[[[
V
[[v(t)[[
(L
4
())
2
.
Donde
(18)
B(u(t), v(t)) V
q.s. em ]0, T[ e
[[B(u(t), v(t))[[
V
c
2
[[u(t)[[
(L
4
())
2
[[v(t)[[
(L
4
())
2
para quase todo t [0, T [ .
Por outro lado, em virtude da desigualdade de Holder numerica
[[u(t)[[
(L
4
())
2
=
2
i=1
[[u
i
(t)[[
L
4
()
2
1/2
_
2
i=1
[[u
i
(t)[[
2
L
4
()
_
1/2
.
M

Pelo Lema 3, obtemos
[[u(t)[[
(L
4
())
2
2
1/2
_
2
i=1
2
1/2
[u
i
(t)[
L
2
()
[[u
i
(t)[[
H
1
0
()
_
1/2
= 2
1/2
2
1/4
_
2
i=1
[u
i
(t)[
L
2
()
[[u
i
(t)[[
H
1
0
()
_
1/2
2
3/4
_
[[u(t)[[
V
2
i=1
[u
i
(t)[
L
2
()
_
1/2
= 2
3/4
[[u(t)[[
1/2
_
2
i=1
[u
i
(t)[
L
2
()
_
1/2
2
3/4
[[u(t)[[
1/2
2
1/2
__
2
i=1
[u
i
(t)[
2
L
2
()
_
1/2
_
1/2
= 2[[u(t)[[
1/2
V
[u(t)[
1/2
H
.
Como por hipotese u L
(0, T; H) temos
(19) [[u(t)[[
(L
4
())
2
2
_
suppess
t]0,T[
[u(t)[
H
_
1/2
[[u(t)[[
1/2
V
c
3
[[u(t)[[
1/2
V
.
Analogamente
(20) [[v(t)[[
(L
4
())
2
c
4
[[u(t)[[
1/2
V
.
(21) [[u(t)[[
(L
4
())
2 [[v(t)[[
(L
4
())
2
c
5
[[u(t)[[
1/2
V
[[v(t)[[
1/2
V
q.s. em ]0, T[ .
(21) [[B(u(t), v(t))[[
V
c
5
[[u(t)[[
1/2
V
[[v(t)[[
1/2
V
o que implica na desigualdade
[[B(u(t), v(t))[[
2
V
c
2
5
[[u(t)[[
V
[[v(t)[[
V

c
2
5
2
_
[[u(t)[[
2
V
+[[v(t)[[
2
V
.
132 INTRODUC

AO
`
AS EQUAC

Logo
_
T
0
[[B(u(t), v(t))[[
2
V
dt c
6
_ _
T
0
[[u(t)[[
2
V
dt +
_
T
0
[[v(t)[[
2
V
dt
_
< +
o que prova o lema.
Lema 5. Sejam X e Y espacos de Banach separaveis tais que X Y e consideremos
a, b [, +] com a < b. Pondo
W(a, b) = u [ u L
p
(a, b, X), u
L
q
(a, b, Y ) 1 p, q < +
munido da topologia
[[u[[
W(a,b)
= [[u[[
L
p
(a,b;X)
+[[u
[[
L
q
(a,b;Y )
onde u
e entendida no sentido das distribuicoes vetoriais em T
(a, b; X), temos:

T([a, b]; X)
(15)
e denso em W(a, b).
Prova:
1
o
caso: a = ; b = +.
(a) Truncamento
Seja u W(, +) e denamos
(t) =
_
_
_
1 se [t[ 1
0 se [t[ 2
onde C
0
(R) e 0 (t) 1, t R.
(15)
D([a, b]; X) = {u|
[a,b]
; u D(, +, X)}, < a < b < +
M

Armamos que
(22)
u u em W(, +).
onde (t) = (t/); N
.
Com efeito, por um lado temos que
[[
u u[[
p
L
p
(,+,X)
=
_
+
[[(
u)(t) u(t)[[
p
X
dt 0 quando +,
em virtude do Teorema da Convergencia Dominada de Lebesgue, isto e,
(23)
u u em L
p
(, +, X) quando +.
Por outro lado, notemos que para T(, +) temos
d
dt
(
u),
_
=
u,
=
_
+
u(t)
(t)
(t) dt
=
_
+
u(t)
_
(
(t)
(t)(t)
dt
(16)
=
_
+
(t)
(t)(t) dt +
_
+
u(t)
(t)(t) dt
= u
+u
, .
Logo
(24)
[[(
u)
[[
q
L
q
(,+,Y )
=
_
+
[[
+u
[[
q
Y
dt
c
1
__
+
[[
[[
q
Y
dt +
_
+
[[u
[[
q
Y
dt
_
.
(16)
Note que (
) D(, +).
134 INTRODUC

AO
`
AS EQUAC

De maneira analoga a (23) provamos que
(25)
_
+
[[
[[
q
Y
dt 0 quando +.
Tambem, do fato que
(t) =
1
_
t
_
e
e tambem limitada em toda a reta,

resulta que
(26)
_
+
[[u
(t)[[
q
Y
dt 0 quando +.
De (24), (25) e (26) vem que
(27) (
u)
em L
q
(, +, Y ).
Consequentemente de (23) e (27) temos provado (22). Notemos que
supp(
u) supp(
) supp(u) supp(
)
o que prova que para cada N
a funcao (
u) tem suporte compacto em R.

O proximo passo e aproximar uma funcao u de suporte compacto por funcoes de
T(, +, X).
(b) Regularizacao
Seja u W(, +) com suporte compacto e consideremos (
)
N
uma
sucessao regularizante. Denimos
(28) u
(t) = (
u)(t) =
_
+
(s)u(t s) ds.
Provaremos que
(29) u
u em W(, +).
M

De fato, dos resultados classicos de integra cao (de Bochner) de funcoes vetoriais
sabemos que
(30) u
u em L
p
(, +, X).
Resta-nos provar que
(31) u
= (
u)
em L
q
(, +, Y ),
onde aqui a derivada e no sentido de T
(, +, X). Contudo, para provarmos (31)

e suciente provarmos que
(32) (
u)
.
Com efeito, seja T(, +). Temos
(
u)
, =
u,
=
_
+
__
+
(s)u(t s)ds
_
(t) dt
=
_
+
__
+
u(t s)
(t)dt
_
(s)ds
(17)
=
_
+
__
+
(t s)(t)dt
_
(s) ds
=
_
+
__
+
(s)u
(t s)ds
_
(t) dt =
, ,
o que prova (32) e consequentemente (31). De (31) e (30) ca provado (29). Alem disto,
como
u
(, +, X) e supp(
u) supp(
) + supp(u)
(17)
pondo f(t) = u(t s) ent ao f
(t) = u
(t s) e portanto
_
+
u(t s)
(t)dt =
_
+
f(t)
(t)dt = +
_
+
(t)(t)dt =
_
+
(t s)(t)dt.
136 INTRODUC

AO
`
AS EQUAC

temos que u
T(, +, X). De (a) e (b) ca provado o 1

o
Caso.
2
o
Caso: a nito e b = +.
Sem perda da generalidade consideraremos a = 0. Seja u W(0, +) e h > 0.
Provaremos que
(33)
h
u u em W(0, +) quando h 0,
onde
h
u(t) = u(t +h).
Provaremos inicialmente que
(34)
h
v v em L
r
(0, +, V )
onde V e um espaco de Banach separavel, 1 r < +e v L
r
(0, +; V ). De fato, seja
> 0 dado. Como T(0, +, V ) e denso em L
r
(0, +, V ) temos que T(0, +, V )
tal que
(35) [[ v[[
L
r
(0,+,V )
<

3

Logo,
(36)
[[
h
v v[[
L
r
(0,+,V )
[[
h
v
h
[[
L
r
(0,+,V )
+[[
h
[[
L
r
(0,+,V )
+[[ v[[
L
r
(0,+,V )
.
No entanto, pelo fato de T(0, +, V ) temos que
[[
h
[[
L
r
(0,+,V )
0 quando h 0
e, portanto,
(37) [[
h
[[
L
r
(0,+,V )
<

3
; 0 < h < .
M

Tambem, por uma mudanca de variaveis decorre que
(38) [[
h
v
h
[[
L
r
(0,+,V )
[[v [[
L
r
(0,+,V )
3
; h > 0.
De (35), (36), (37) e (38) obtemos
[[
h
v v[[
L
r
(0,+,V )
< ; 0 < h <
o que prova (34). Resulta da que
h
u u em L
p
(0, +, X) quando h 0
e, portanto, para provarmos (33) e suciente provarmos que
(39) (
h
u)
em L
q
(0, +, V ) quando h 0.
Entretanto
(40) (
h
u)
=
h
u
em T
(0, +, X).
De fato, seja T(0, +). Temos
(
h
u)
, =
h
u,
=
_
+
0
u(t +h)
(t) dt =
_
+
h
u(t)
(t h) dt.
Denindo
(t) = (t h),
vem que T(h, +) pois supp = h + supp() e da igualdade acima podemos
escrever
(
h
u)
, =
_
+
h
u(t)
(t) dt =
_
+
h
u
(t)(t) dt
=
_
+
h
u
(t)(t h)dt =
_
+
0
u
(t +h)(t) dt =
h
u
, ,
138 INTRODUC

AO
`
AS EQUAC

o que prova (40). Logo, de (40) e de (34), ca provado (39) e consequentemente (33).
O proximo passo e mostrar que para h > 0 xado podemos aproximar (
h
u) por funcoes
de T([0, +); X). De fato, ponhamos para h > 0 xado
(t) =
_
_
1, t
h
2
0, t h
; 0 (t) 1, 0
(t) 1 tal que C
(R)
cf. gura abaixo:
Figura 1
Consideremos, agora, u W(0, +) e denamos
v(t) =
_
_
_
(t)(
h
u)(t); t h
0; t < h.
Armamos que
(41) v(t) = (
h
u)(t) q.s. em ]0, +[ e v W(, +).
M

De fato, se t > 0
h
2
entao (t) = 1 e portanto v(t) = (
h
u)(t). Agora, do
fato que [(t)[ 1; t R, vem que
[[v[[
p
L
p
(,+,X)
=
_
+
h
[(t)[
p
[[(
h
u)(t)[[
p
X
dt
_
+
h
[[(
h
u)(t)[[
p
X
dt
=
_
+
h
[[u(t +h)[[
p
X
dt =
_
+
0
[[u(s)[[
p
X
ds < +.
Alem disso, pelo fato de
v
(t) =
_
_
_
(t)(
h
u)(t) +(t)(
h
u
)(t); t h
0; t < h
e, ainda, como
(t) = 0; t
h
2
, X Y e [[ 1, [
[ 1, temos
[[v
[[
q
L
q
(,+,Y )
c
1
__

h
2
h
[[(
h
u)(t)[[
q
X
dt +
_
+
h
[[(
h
u
)(t)[[
q
Y
dt
_
c
1
__
h/2
h
dt
_
1/(p/q)
__
h/2
h
[[(
h
u)(t)[[
p
X
dt
_
q/p
+c
1
_
+
h
[[(
h
u
)(t)[[
q
Y
dt
c
1
_
h
2
_
pq
p
__
+
h
[[u(t +h)[[
p
X
dt
_
q/p
+c
1
_
+
h
[[u
(t +h)[[
q
Y
dt
c
2
(h)
___
+
0
[[u(s)[[
p
X
ds
_
q/p
+
_
+
0
[[u
(s)[[
q
Y
ds
_
< +
o que prova (41). Resulta da desigualdade acima e do 1
o
Caso, a existencia de (v
)
T(, +, X) tal que:
v
v em W(, +)
o que implica em,
(42) v
[0,+)
v
[0,+)
=
h
u em W(0, +).
140 INTRODUC

AO
`
AS EQUAC

De (42) e do fato que v
[0,+)
T([0, +); X) temos o desejado.
3
o
Caso: a, b nitos
Sejam , : [a, b] R tais que
, T([a, b]); (t) +(t) = 1; t [a, b] (43)
(resp. ) se anula em uma vizinhanca de b (resp. a) (44)
conforme gura abaixo:
Figura 2
Para todo u W(a, b) podemos escrever de (43) que
u = u +u.
M

Denamos
u =
_
_
_
(u)(t); t [a, b]
0; t > b
e

u =
_
_
_
(u)(t); t [a, b]
0; t < a.
Temos
u W(a, +) e

u W(, b).
Pelo 2
o
Caso, existem (
) T([a, +); X) e (
) T(] , b]; X) tal que
u em W(a, +) e

u em W(, b).
Portanto
[a,b]
u
[a,b]
= u e
[a,b]

u
[a,b]
= u em W(a, b),
ou seja,
(
[a,b]
(u +u) = u em W(a, b).
Como
(
[a,b]
T([a, b]; X)
temos provado o desejado.
Passaremos a seguir à demonstracao do teorema.
Prova: De (1), (2) e (3), temos
1 V H
o que implica que
1
(L
2
())
2
V
(L
2
())
2
H,
isto e.,
(45) H = 1
(L
2
())
2
.
142 INTRODUC

AO
`
AS EQUAC

Nao e difcil provar, em virtude da caracterizacao dada em (4) que
(46) V
comp.
H.
Consideremos, entao, o operador A denido pela terna V, H, (( , ))
V
. Con-
forme sabemos
D(A) = v V ; f H tq (f, v)
H
= ((u, v))
V
; v V , f = Au.
Seja u D(A). Temos
(47) (Au, v)
H
= ((u, v))
V
; v V.
Pondo
Au = (
1
,
2
)
temos
2
i=1
(
i
, v
i
)
L
2
()
=
2
i=1
((u
i
, v
i
)).
Em particular, tomando v = 1 resulta que
2
i=1
i
,
i
(),D()
=
2
i=1
u
i
,
i
(),D()
.
Donde
Au,
V
,V
= u,
V
,V
e, portanto,
(48) Au = u em 1
; u D(A)
onde u = (u
1
, u
2
).
M

Por outro lado, conforme o Teorema Espectral, temos a existencia de uma seq uencia
(
)
N
formada por auto-funcoes do operador A cujos valores proprios (
)
N
satis-
fazem:
0 <
1

2

+ quando +.
Alem disso,
(
) e um sistema ortonormal completo em H (49)

_

1/2
_
e um sistema ortonormal completo em V (50)
_
_
e um sistema ortonormal completo em D(A). (51)
Em virtude de (47), temos
(A
, v)
H
= ((
, v))
V
; v V
isto e.,
(52)
, v)
H
= ((
, v))
V
; v V.
De (49) podemos escrever que
(53) u =
+
=1
(u,
; u H
e
(54) [u[
2
=
+
=1
[(u,
)[
2
; u H.
De (50) temos
(55) v =
+
=1
__
u,

__
V
; u V
144 INTRODUC

AO
`
AS EQUAC

e de (52) vem que
(56) [[v[[
2
V
=
+
=1
__
u,

__
V
2
=
+
=1
[(v,
)
H
[
2
; u V.
Convem lembrar que o operador A admite uma extensao
A: V V
u

Au
denida por
Au, v
V
,V
= ((u, v))
V
, v V ;
extens ao essa que e uma bijecao isometrica, auto-adjunta e portanto admite inversa
isometrica tambem auto-adjunta
[
A]
1
: V
V.
Temos, do exposto acima, que se v V
entao de (56)
[[v[[
V
= [[A
1
v[[
V
=
+
=1
[(A
1
v,
)
H
[
2
=
+
=1
[v, A
1
[
2
=
+
=1
v,

2
=
+
=1
1
[v,
[
2
ou seja,
(57) [[v[[
V
=
+
=1
1
[v,
,V
[
2
.
1
a
Etapa: Sistema Aproximado

Consideremos a base (
)
N
, formada pelas autofuncoes de A, mencionada
acima. Ponhamos
V
m
= [
1
,
2
, . . . ,
m
].
M

Em V
m
(58) u
m
(t) V
m
u
m
(t) =
m
i=1
g
im
(t)
i
(59) (u
m
(t),
j
) +((u
m
(t),
j
)) +b(u
m
(t), u
m
(t),
j
) = f(t),
j
,V
(60) u
m
(0) = u
0m
u
0
em H,
que por Caratheodory tem solucao local em algum intervalo [0, t
m
).
2
a

Estimativa I
Compondo (59) com u
m
resulta que
1
2
d
dt
[u
m
(t)[
2
+[[u
m
(t)[[
2
V
+b(u
m
(t), u
m
(t), u
m
(t)) = f(t), u
m
(t).
Contudo, do Lema 2 conclumos que
b(u
m
(t), u
m
(t), u
m
(t)) = 0.
Logo
1
2
d
dt
[u
m
(t)[
2
+[[u
m
(t)[[
2
V
[[f(t)[[
V
[[u
m
(t)[[
V
=
1
[[f(t)[[
V
[[u
m
(t)[[
V

1
2
[[f(t)[[
2
V
+

2
[[u
m
(t)[[
2
V
.
Donde
1
2
d
dt
[u
m
(t)[
2
+

2
[[u
m
(t)[[
2
V

1
2
[[f(t)[[
2
V
.
146 INTRODUC

AO
`
AS EQUAC

m
) resulta que
(61) [u
m
(t)[
2
+
_
t
0
[[u
m
(s)[[
2
V
[u
0m
[
2
+
1
_
t
0
[[f(t)[[
2
V
dt.
Mas de (60) vem que
(62) [u
0m
[
2
c
1
; m N.
(63) [u
m
(t)[
2
+
_
t
0
[[u
m
(s)[[
2
V
ds c
1
+
1
[[f[[
2
L
2
(0,T;V
)
; t [0, t
m
), m N.
Da desigualdade acima resulta que podemos estender u
m
a todo intervalo [0, T]
com u
m
absolutamente contnua e u
m
existindo quase sempre. Alem disso, conforme
provado em outros problemas temos que a derivada classica e distribucional de u
m
coincidem e,
(64) u
m
L
2
(0, T; H), m N.
Agora de (63) temos que
(u
m
) e limitada em L
(0, T; H) (65)
(u
m
) e limitada em L
2
(0, T; V ) (66)
Estimativa II
Identicando H com o seu dual H
temos de (59)
u
m
(t),
j
,V
+
Au
m
(t),
j
,V
+B(u
m
(t), u
m
(t)),
j
,V
= f(t),
j
,V
, j = 1, 2, . . . , m.
M

Pondo para cada m N
(67) h
m
(t) = f(t)

Au
m
(t) B(u
m
(t), u
m
(t)) V
temos
h
m
(t),
j
,V
= u
m
(t),
j
; j = 1, 2, . . . m e m N.
Logo
m
j=1
1
j
[h
m
(t),
j
,V
[
2
=
m
j=1
1
j
[u
m
(t),
j
,V
[
2
=
m
j=1
1
j
[(u
m
(t),
j
)[
2
; m N.
Como
(u
m
(t),
j
) = 0 se j m+ 1
obtemos de (57)
[[u
m
(t)[[
2
V
=
+
j=1
1
j
[u
m
(t),
j
[
2
=
+
j=1
1
j
[(u
m
(t),
j
)[
2
=
m
j=1
1
j
[(u
m
(t),
j
)[
2
=
m
j=1
1
j
[h
m
(t),
j
[
2
j=1
1
j
[h
m
(t),
j
[
2
= [[h
m
(t)[[
2
V
isto e,
(68) [[u
m
(t)[[
2
V
[[h
m
(t)[[
2
V
; m N.
148 INTRODUC

AO
`
AS EQUAC

Por outro lado, de (67) e (21) resulta que
[[h
m
(t)[[
V
[[f(t)[[
V
+[[
Au
m
(t)[[
V
+[[B(u
m
(t), u
m
(t))[[
V
(18)
[[f(t)[[
V
+[[u
m
(t)[[
V
+c
1
[[u
m
(t)[[
1/2
V
[[u
m
(t)[[
1/2
V
[[f(t)[[
V
+ ( +c
1
)[[u
m
(t)[[
V
.
Resulta da desigualdade acima que
[[h
m
(t)[[
2
V
c
2
[[f(t)[[
2
V
+[[u
m
(t)[[
2
V
.
Integrando de 0 à T
(69)
_
T
0
[[h
m
(t)[[
2
V
dt c
2
__
T
0
[[f(t)[[
2
V
dt +
_
T
0
[[u
m
(t)[[
2
V
dt
_
; m N
e de (66) resulta que
(70) (h
m
) e limitada em L
2
(0, T; V
).
_
T
0
[[u
m
(t)[[
2
V
dt
_
T
0
[[h
m
(t)[[
2
V
dt < c; m N.
Donde
(71) (u
m
) e limitada em L
2
(0, T; V
).
(18)
Note que

A: V V
e uma isometria.
M

3
a

De (65), (66) e (71) obtemos a existencia de uma subseq uencia (u
) de (u
m
) tal
que
u
u em L
(0, T; H) (72)
u
u em L
2
(0, T; V ) (73)
u
em L
2
(0, T; V
). (74)
Seja T(0, T) e consideremos j N. Multiplicando (59) por e integrando
em [0, T], obtemos para j que
(75)
_
T
0
u
m
(t),
j
,V
(t) dt +
_
T
0
((u
m
(t),
j
))
V
(t) dt
+
_
T
0
b(u
m
(t), u
m
(t),
j
)(t) dt =
_
T
0
f(t),
j
,V
(t) dt.
As convergencias em (73) e (74) sao sucientes para passar o limite na parte
linear. Vejamos a parte nao linear.
Pelo Lema 2 temos que
b(u
(t), u
(t),
j
) = b(u
(t),
j
, u
(t)) =
2
i,k=1
_
u
,i
(t)

jk
x
i
u
,k
dx.
Identicando H H
temos
V
comp.
H H
.
Agora, de (66) e (71) resulta que
(u
m
) e limitada em W = [ L
2
(0, T; V ); ,
L
2
(0, T; V
).
150 INTRODUC

AO
`
AS EQUAC

Pelo Teorema de Aubin-Lions existira uma subseq uencia de (u
) que ainda de-

notaremos por (u
) tal que
(76) u
u forte em L
2
(0, T; H).
Portanto
u
,i
u
i
forte em L
2
(0, T; L
2
()) = L
2
(Q), i = 1, 2
o que implica que
(77) u
,i
u
,k
u
i
u
k
q.s. em Q; i, k = 1, 2.
Armamos que
(78) (u
,i
u
,k
) e limitada em L
2
(Q).
Com efeito, por Schwarz, pelo Lema 3 e pelo fato de H
1
0
() L
4
() temos para
i, k = 1, 2
(79)
_
[u
,i
u
,k
[
2
dx =
_
[u
,i
[
2
[u
,k
[
2
dx
__
[u
,i
[
4
dx
_
1/2
__
[u
,k
[
4
dx
_
1/2
= [[u
,i
[[
2
L
4
()
[[u
,k
[[
2
L
4
()
_
2[u
,i
[
L
2
()
[[u
,i
[[
H
1
0
()
__
2[u
,k
[
L
2
()
[[u
,k
[[
H
1
0
()
_
= 2[u
,i
[
L
2
()
[u
,k
[
L
2
()
[[u
,i
[[
H
1
0
()
[[u
,k
[[
H
1
0
()
.
Resulta de (65) e (79) que c
1
> 0 tal que
_
[u
,i
u
,k
[
2
dx 2c
1
[[u
,i
[[
H
1
0
()
[[u
,k
[[
H
1
0
()
.
M

Integrando de 0 à T, obtemos
_
T
0
_
[u
,i
u
,k
[
2
dxdt c
1
__
T
0
[[u
,i
(t)[[
2
H
1
0
()
dt +
_
T
0
[[u
,k
(t)[[
2
H
1
0
()
dt
_
c
2
onde tal limitacao vem do fato que (u
) e limitada em V (cf. (66)) e, portanto, cada

componente e limitada em L
2
(0, T; H
1
0
()), o que prova a armacao em (78).
Desta forma, de (77) e (78) resulta pelo lema de Lions que
u
,i
u
,k
u
k
u
i
em L
2
(Q), i, k = 1.2.
Decorre da convergencia acima e do fato que

j,k
x
i
L
2
() que
(80)
_
u
,i
j,k
x
i
u
,k
dx
_
u
i
j
x
i
u
k
, dx i, k = 1, 2.
Assim, de (73), (74), (75) e (80), na situacao limite, obtemos
(81)
_
T
0
u
(t),
j
,V
(t) dt +
_
T
0
((u(t),
j
))
V
(t) dt
+
_
T
0
b(u(t), u(t),
j
)(t) dt =
_
T
0
f(t),
j
,V
(t) dt, j N
e pela totalidade dos
s
j
em V resulta que a identidade em (81) e valida para toda
v V . Donde
(82)
__
T
0
u
dt, v
_
V
,V
+
__
T
0
Au dt, v
_
V
,V
+
__
T
0
B(u, u) dt, v
_
V
,V
(19)
=
__
T
0
f dt, v
_
V
,V
, v V,
(19)
Resulta do Lema 4.
152 INTRODUC

AO
`
AS EQUAC

o que implica que
(83) u
+

Au +B(u, u) = f em T
(0, T; V
)
ou ainda, face a regularidade das funcoes envolvidas
(84) u
+

Au +B(u, u) = f em L
2
(0, T; V
).
Antes de prosseguirmos nas proximas etapas, consideremos o resultado abaixo
Lema 6: Sejam u, v W(0, T) = u; u L
2
(0, T; V ), u
L
2
(0, T; V
). Entao
d
dt
(u(t), v(t)) = u
(t), v(t)
V
,V
+u(t), v
(t)
V,V
em L
2
(0, T)
onde
d
dt
e tomada no sentido de T
(0, T).
Prova: Pelo Lema 5, existem (u
), (v
) T(0, T; V ) tais que

u
u em L
2
(0, T; V ) e u
em L
2
(0, T; V
) (85)
v
v em L
2
(0, T; V ) e v
em L
2
(0, T; V
) (86)
Ora, para cada N, temos em virtude da regularidade das u
s e v
s:
(87)
d
dt
(u
(t), v
(t)) = u
(t), v
(t) +u
(t), v
(t).
Agora de (85) e (86) temos
(u
(t), v
(t)) (u(t), v(t)) em L

2
(0, T) (88)
u
(t), v
(t) u
(t), v(t)) em L
2
(0, T) (89)
u
(t), v
(t) u(t), v
(t) em L
2
(0, T). (90)
M

De (88) vem que
(91)
d
dt
(u
(t), v
(t))
d
dt
(u(t), v(t)) em T
(0, T)
e de (89) e (90) temos
(92) u
(t), v
(t) +u
(t), v
(t) u
(t), v(t) +u(t), v
(t) em L
2
(0, T).
Finalmente de (87), (91), (92) e pela unicidade do limite em T
(0, T) temos o
desejado.
4
a
Etapa: Condicao Inicial

Inicialmente, notemos que pelo fato de
u L
(0, T; H) L
2
(0, T; V ) e u
L
2
(0, T; V
)
entao
u C
0
([0, T]; V
) C
s
(0, T; V )
tendo sentido pois falarmos em u(0) e u(T). Provaremos que
(93) u(0) = u
0
.
De fato, seja C
1
([0, T]) tal que (0) = 1 e (T) = 0. De (73) em particular
para
j
L
1
(0, T; H), temos
(94)
_
T
0
(u
(t),
j
)
(t) dt
_
T
0
(u(t),
j
)
(t) dt.
Pelo Lema 6
d
dt
(u(t),
j
) = u
(t),
j
(t) +u(t),
j

(t).
154 INTRODUC

AO
`
AS EQUAC

Integrando a igualdade acima de 0 à T, obtemos
(95) (u(0),
j
) =
_
T
0
u
(t),
j
(t) dt +
_
T
0
(u(t),
j
)
(t) dt.
Analogamente
(96) (u
0
,
j
) =
_
T
0
u
(t),
j
(t) dt +
_
T
0
(u
(t),
j
)
(t) dt.
De (94), (95) e (96) conclumos que
(97) (u
0
,
j
)
_
T
0
u
(t),
j
(t) dt (u(0),
j
)
_
T
0
u
(t),
j
)(t) dt.
Mas de (74) resulta que
_
T
0
u
(t),
j
(t) dt
_
T
0
u
(t),
j
(t) dt
e de (97) vem
(u
0,
,
j
) (u(0),
j
), j N.
Pela totalidade dos
j
s em H conclumos que
(98) (u
0
, v) (u(0), v), v H.
Por outro lado, de (60) obtemos
(99) (u
0
, v) (u
0
, v), v H.
De (98) e (99) resulta o desejado em (93).
M

5
a
Etapa: Unicidade
Sejam u e v solucoes do sistema em questao. Entao = u v satisfaz
(100)
+

A +B(u, u) B(u, v) = 0 em L
2
(0, T; V
)
= 0 em
(0) = 0
Compondo (100)
1
com (t) obtemos
(101)
(t), (t)
V
,V
+(((t), (t)))
V
= b(v(t), v(t), (t)) b(u(t), u(t), (t)).
No entanto,
b(v(t), v(t), (t)) b(u(t), u(t), (t))
= b(v(t), v(t), u(t) v(t)) b(u(t), u(t), u(t) v(t))
= b(v(t), v(t), u(t))
=0
..
b(v(t), v(t), v(t))
=0
..
b(u(t), u(t), u(t)) +b(u(t), u(t), v(t))
= b(v(t), v(t), u(t)) b(u(t), v(t), u(t))
= b(v(t) u(t), v(t), u(t)) = b((t), v(t), u(t))
= b((t), v(t), u(t) v(t) +v(t)) = b((t), v(t), (t) +v(t))
= b((t), v(t), (t)) +b((t), v(t), v(t)),
. .
=0
ou seja,
(102) b(v(t), v(t), (t)) b(u(t), u(t), (t)) = b((t), v(t), (t)).
De (101), (102) e do Lema 6 obtemos
(103)
1
2
d
dt
[(t)[
2
H
+[[(t)[[
2
V
[[(t)[[
(L
4
())
2
[[v(t)[[
V
[[(t)[[
(L
4
())
2
.
156 INTRODUC

AO
`
AS EQUAC

Contudo, pelo Lema 3
[[
i
(t)[[
2
L
4
()

2[[
i
(t)[[
H
1
0
()
[
i
(t)[
L
2
()
; i = 1, 2.
Logo
[[(t)[[
2
(L
4
())
2
=
2
i=1
[[
i
(t)[[
2
L
4
()

2
2
i=1
[[
i
(t)[[
H
1
0
()
[
i
(t)[
L
2
()
2
__
2
i=1
[[
i
(t)[[
2
H
1
0
()
. .
||(t)||
V
_
1/2
_
2
i=1
[
i
(t)[
2
L
2
()
. .
|(t)|
H
_
1/2
_
=
2[[(t)[[
V
[(t)[
H
,
isto e,
(104) [[(t)[[
2
(L
4
())
2

2[[(t)[[
V
[(t)[
H
.
Assim, de (103) e (104) chegamos a
1
2
d
dt
[(t)[
2
H
+[[(t)[[
2
V

2[[(t)[[
V
[(t)[
H
[[v(t)[[
V
=
2
[[(t)[[
V
[(t)[
H
[[v(t)[[
V
[[(t)[[
2
V
+
2
[(t)[
2
H
[[v(t)[[
2
V
.
Portanto
1
2
d
dt
[(t)[
2
H

2
[(t)[
2
H
[[v(t)[[
2
V
.
Integrando a desigualdade acima, obtemos
[(t)[
2
H

4
_
t
0
[(s)[
2
H
. .
L
(0,T)
[[v(s)[[
2
V
. .
L
2
(0,T)
ds.
Logo, pelo Lema de Gronwall-Bellman, resulta que
[(t)[
2
H
= 0; t [0, T]
o que implica que
= 0
e consequentemente que u = v.
M

Recuperacao da Pressao
No que segue consideraremos dois resultados que podem ser encontrados em R.
Teman [13].
Lema 7: Seja R
n
um aberto e consideremos T = (T
1
, . . . , T
n
) onde T
i
T
(),
i = 1, . . . , n. Entao
T,
(D
())
n
,(D())
n
= 0, 1 p T
() tal que T = p em T
().
Temos tambem
Lema 8: Seja R
n
um aberto lipschitziano.
(i) Se uma distribuicao p possui todas as derivadas parciais primeiras
p
x
i
L
2
() ent ao p L
2
() e alem disso,
[[p[[
L
2
()/R
n
c() [p[
L
2
()
.
(20)
.
(ii) Se uma distribuicao p possui todas as derivadas parciais primeiras
p
x
i
H
1
() entao p L
2
() e, alem disso,
[[p[[
L
2
()/R
c[p[
H
1
()
.
Observacao: Decorre dos Lemas 7 e 8 que se T (H
1
())
n
e T, = 0 para toda
1 ent ao T = p, com p L
2
().
Decorre de (84) que
(105) u
(t) +

Au(t) +B(u(t), u(t)) = f(t) em V
q.s. em ]0, T[ .
(20)
Convem lembrar que L
2
()/R
n
e isomorfo ( limitado) ao subespaco ortogonal as con-
stantes L
2
()/R = {p L
2
();
_
p(x) dx = 0}.
158 INTRODUC

AO
`
AS EQUAC

Ponhamos:
U(t) =
_
t
0
u(s) ds, F(t) =
_
t
0
f(s) ds e (t) =
_
t
0
B(u(s), u(s)) ds V
.
Como u, f, B(u, u) L
2
(0, T; V
) entao
(106) U, F e C
0
([0, T], V
) (em verdade so absolutamente contnuas).

Integrando (105), obtemos em virtude de (106) que
u(t) u(0) +
_
t
0
Au(s) ds +
_
t
0
B(u(s), u(s)) ds =
_
t
0
f(s) ds em V
.
Logo:
u(t) u
0
+

AU(t) +(t) = F(t) em V
; t [0, T].
Portanto, para toda 1 V temos
(107) u(t) u
0
+

AU(t) +(t) F(t),
V
,V
= 0.
Deanimos
(108) S(t) = u(t) u
0
+

AU(t) +(t) F(t) V
.
Pelo fato de V ser um subespaco fechado de (H
1
0
())
2
podemos, gracas ao Teo-
rema de Hahn-Banach, e para cada t [0, T] estender S(t) a um funcional T(t)
(H
1
())
2
tal que
(109) T(t), v
(H
1
())
n
,(H
1
0
())
n
= S(t), v
V
,V
; v V.
Mas de (107) e (109) conclumos que
T(t),
(H
1
())
2
,(H
1
0
())
2
= 0, 1.
M

Pela observacao apos o Lema 8 resulta que P(t) L
2
() satisfazendo
(110) T(t) = P(t) em (H
1
())
n
.
Logo, de (109) e (110) obtemos
(111) P(t)[
V
S(t) em V
, t [0, T].
Substituindo (111) em (108) decorre que
u(t) u
0
+

AU(t) +(t) F(t) = P(t) em V
; t [0, T].
Como a expressao à esquerda da igualdade acima pertence a C
0
([0, T], V
) temos
que P C
0
([0, T], V
) e, portanto, podemos derivar a equacao acima distribucional-

mente obtendo
u
+

Au f +B(u, u) =
P
t
em L
2
(0, T; V
).
Consequentemente a igualdade acima se da q.s. em ]0, T[ . Pondo
p(x, t) =
P
t
(x, t)
resulta que
u
+

Au f +B(u, u) = p em L
2
(0, T; V
),
isto e,
u
+

Au +B(u, u) = f p em L
2
(0, T; V
).
SOLUC

OES PERI
ODICAS DO SISTEMA DE NAVIERSTOKES

Seja R
2
um aberto limitado com fronteira bem regular.
160 INTRODUC

AO
`
AS EQUAC

O Problema 11
(1)
u
t
u +
m
j=1
u
j
u
x
j
+p = f em Q
div u = 0 em Q
u = 0 em
u(x, 0) = u(x, T), x ,
onde
(2) f L
2
(0, T; V
),
admite solucao fraca u: Q R na classe
(3) u L
2
(0, T; V ) L
(0, T; H), u
L
2
(0, T; V
).
Mais precisamente
(4)
u
(t), v
V
,V
+((u(t), v))
V
+b(u(t), u(t), v)
= f(t), v em T
(0, T), v V
(5) u(0) = u(T).
Prova:
1
a
Etapa: Solucao Aproximada

Seja (
)
N
a base formada pelas auto-funcoes do operador
A V, H; (( , ))
V
conforme vimos no Problema 10. Ponhamos

V
m
= [
1
, . . . ,
m
]
M

e em V
m
(6) u
m
(t) V
m
u
m
(t) =
m
i=1
g
im
(t)
i
(7) (u
m
(t),
j
) +((u
m
(t),
j
)) +b(u
m
(t), u
m
(t),
j
) = f(t),
j
; j = 1, . . . , m
(8) u
m
(0) = v V
m
.
Evidentemente o sistema aproximado acima possui uma solucao global
(21)
(que
depende de v), seja qual for o v V
m
. O nosso objetivo e mostrar que dentre todas
as solucoes da equacao aproximada existe uma solucao u
m
(pelo menos) que satisfaz a
periodicidade
u
m
(0) = u
m
(T).
Para isto, basta provarmos que para cada m N, a aplicacao
(9)
m
: V
m
V
m
v
m
(v) = u
m
(T)
possui um unico ponto xo, pois, neste caso, existira uma unica funcao v V
m
tal que
(10) u
m
(T) =
m
(v) = v = u
m
(0), m N.
Desta forma de (10) temos uma seq uencia (u
m
) de solucoes aproximadas tais que
todas as u
m
satisfazem a condicao de periodicidade.
Lema 1: Existe
0
> 0 tal que
m
(B
0
(0)) B
0
(0).
Prova: Usando em V
m
a topologia induzida por H e suciente provarmos que
(11)
0
> 0 tal que [
m
(v)[
H

0
; v V
m
com [v[
H

0
.
(21)
Note que: |u
m
(t)|
2
+
_
t
0
||u
m
(s)||
2
ds |v|
2
+
1
||f||
L
2
(0,T;V
)
c(m). Como m esta xo
podemos estender u
m
(t) a todo intervalo [0, T].
162 INTRODUC

AO
`
AS EQUAC

De fato, compondo (7) com u
m
(t) obtemos
1
2
d
dt
[u
m
(t)[
2
H
+[[u
m
(t)[[
2
V
+
=0
..
b(u
m
(t), u
m
(t), u
m
(t)) = f(t), u
m
(t)
V
,V
[[f(t)[[
V
[[u
m
(t)[[
V
=
1
[[f(t)[[
V
[[u
m
(t)[[
V
.
Donde
1
2
d
dt
[u
m
(t)[
2
+[[u
m
(t)[[
2
1
2
[[f(t)[[
2
V
+

2
[[u
m
(t)[[
2
,
ou seja,
(12)
1
2
d
dt
[u
m
(t)[
2
+

2
[[u
m
(t)[[
2
1
2
[[f(t)[[
2
V
.
Agora, como V H; c
0
> 0 tal que
(13) c
0
[u
m
(t)[
2
[[u
m
(t)[[
2
.
Portanto de (12) e (13) chegamos a
d
dt
[u
m
(t)[
2
+c
2
0
[u
m
(t)[
2
[[f(t)[[
2
V
.
Multiplicando ambos os lados da desigualdade acima por e
c
2
0
t
vem que
d
dt
_
[u
m
(t)[
2
e
c
2
0
t
_
[[f(t)[[
2
V
e
c
2
0
t
.
Integrando de 0 à T, resulta que
[u
m
(T)[
2
e
c
2
0
t
[u
m
(0)[
2
+
1
_
T
0
_
[[f(t)[[
2
V
e
c
2
0
t
_
dt,
M

o que implica que
[u
m
(T)[
2
e
c
2
0
T
[u
m
(0)[
2
+
1
e
c
2
0
T
e
c
2
0
T
_
T
0
[[f(t)[[
2
V
dt,
ou seja,
(14) [u
m
(T)[
2
e
c
2
0
T
[u
m
(0)[
2
+
1
[[f[[
2
L
2
(0,T;V
)
.
Denotando
= e
c
2
0
T
e c =
1
[[f[[
2
L
2
(0,T;V
)
de (14) podemos escrever
[u
m
(T)[
2
[u
m
(0)[
2
+c,
ou ainda,
[
m
(v)[
2
[v[
2
+c, v V
m
.
Agora como 0 < < 1 entao 0 < 1 < 1. Desta forma
0
> 0, sucientemente
grande tal que c < (1 )
2
0
. Logo, se [v[ <
0
entao
[v[
2
L
2
()
+c
2
0
+ (1 )
2
0
=
2
0
.
Donde
[
m
(v)[
2

2
0
; m N
o que prova o desejado.
Lema 2: A aplicacao
m
: V
m
V
m
denida em (9) e contnua.
Prova: Sejam v
1
, v
2
V
m
e u
1
m
e u
2
m
as solucoes do problema aproximado com dados
iniciais v
1
e v
2
, respectivamente. Entao, de (7) temos
((u
1
m
)
(t),
j
) +((u
1
m
(t),
j
)) +b(u
1
m
(t), u
2
m
(t),
j
) = f(t),
j
((u
2
m
)
(t),
j
) +((u
2
m
(t),
j
)) +b(u
2
m
(t), u
2
m
(t),
j
) = f(t),
j
.
164 INTRODUC

AO
`
AS EQUAC

Considerando W
m
(t) = u
1
m
(t) u
2
m
(t) entao subtraindo uma equacao da outra
resulta que
(W
m
(t),
j
)
H
+((W
m
(t),
j
))
j
+b(u
1
m
(t), u
1
m
(t),
j
) b(u
2
m
(t), u
2
m
(t),
j
) = 0.
Em particular
(15)
1
2
d
dt
[W
m
(t)[
2
H
+[[W
m
(t)[[
2
V
+b(u
1
m
(t), u
1
m
(t), W
m
(t))
b(u
2
m
(t), u
2
m
(t), W
m
(t)) = 0.
Contudo, conforme vimos na unicidade do Problema 10
(16) b(u
1
m
(t), u
1
m
(t), W
m
(t)) b(u
2
m
(t), u
2
m
(t), W
m
(t)) = b(W
m
(t), u
1
m
(t), W
m
(t)).
Logo, substituindo (16) em (11) obtemos
(17)
1
2
d
dt
[W
m
(t)[
2
H
+[[W
m
(t)[[
2
V
[b(W
m
(t), u
1
m
(t), W
m
(t))[
[[W
m
(t)[[
(L
4
())
2
[[u
1
m
(t)[[
V
[[W
m
(t)[[
(L
4
())
2
= [[W
m
(t)[[
2
(L
4
())
2
[[u
1
m
(t)[[
V
.
Mas, pelo Lema 3 da secao precedente e por Holder numerica
(18)
[[W
m
(t)[[
2
(L
4
())
2
=
2
i=1
[[W
m,i
[[
2
L
4
()

2
2
i=1
[[W
m,i
[[
H
1
0
()
[W
m,i
[
L
2
()
2
_
2
i=1
[[W
m,i
[[
2
H
1
0
()
_
1/2
_
2
i=1
[W
m,i
[
2
L
2
()
_
1/2
=
2[[W
m
[[
V
[W
m
[
H
.
1
2
d
dt
[W
m
(t)[
2
H
+[[W
m
(t)[[
2
V

2[[W
m
(t)[[
V
[W
m
(t)[
H
[[u
1
m
(t)[[
V
=
[[W
m
(t)[[
V
1
[W
m
(t)[
H
[[u
1
m
(t)[[
V
[[W
m
(t)[[
2
V
+
1
2
[W
m
(t)[
2
H
[[u
1
m
(t)[[
2
V
.
M

Donde
1
2
d
dt
[W
m
(t)[
2
H

1
2
[W
m
(t)[
2
H
[[u
2
m
(t)[[
2
V
e, portanto,
d
dt
[W
m
t)[
2
H

1
[W
m
(t)[
2
H
[[u
1
m
(t)[[
2
V
0.
Denindo
m
(t) =
1
[[u
1
m
(t)[[
2
V
L
1
(0, T)
obtemos
d
dt
[W
m
(t)[
2
H

m
(t)[W
m
(t)[
2
H
0.
Multiplicando ambos os membros da desigualdade acima por e
_
t
0
m
(s)ds
vem
que
d
dt
_
[W
m
(t)[
2
H
e
_
t
0
m
(s)ds
_
0.
Integrando a desigualdade acima de 0 à T resulta que
[W
m
(T)[
2
H
e
_
T
0
m
(s)ds
[W
m
(0)[
2
H
0.
isto e,
(19) [W
m
(T)[
2
H
e
_
T
0
m
(s)ds
[W
m
(0)[
2
H
.
Denotando
c
m
= e
_
T
0
m
(s)ds
de (19) obtemos
[u
1
m
(T) u
2
m
(T)[
2
H
c
m
[u
1
m
(0) u
2
m
(0)[
H
,
166 INTRODUC

AO
`
AS EQUAC

ou ainda,
[
m
(v
1
)
m
(v
2
)[
H
c
m
[v
1
v
2
[
o que conclui a prova.
Resulta dos Lemas 1 e 2 em virtude do Teorema de Brouwer que a aplicacao
m
: B
0
(0) B
0
(0) admite um ponto xo, isto e, v B
0
(0) tal que
m
(v) = v, ou
seja, u
v
m
(0) = u
v
m
(T).
Entao, para cada m N, u
m
: [0, T] V
m
tal que u
m
(0) B
0
(0), i.e,
[u
m
(0)[
0
e
(u
m
(t),
j
) + ((u
m
(t),
j
)) +b(u
m
(t), u
m
(t),
j
) = f(t),
j
, j = 1, . . . , m
u
m
(0) = u
m
(T).
Do fato que u
m
(0) B
0
(0) podemos repetir as estimativas obtendo uma sub-
seq uencia (u
) de (u
m
) tal que
u
u em L
(0, T; H)
u
u em L
2
(0, T; V )
u
em L
2
(0, T; V
)
Das convergencias acima resulta, por passagem ao limite na equacao aproximada,
o desejado em (4). De maneira analoga à prova da condicao inicial no caso anterior,
M

provamos (5). Isto conclui o problema.
SISTEMA DE NAVIERSTOKES
(Caso Estacionario)
O Problema 12
(1)
u +
2
j=1
u
x
j
u
j
= f p em
div u = 0 em
u = 0 em ,
onde
(2) f V
possui pelo menos uma solucao fraca na classe

(3) u V.
Prova: Seja (
)
N
base de autofuncoes do operador
A V, H, (( , ))
V
conforme problemas anteriores. Ponhamos

V
m
= [
1
, . . . ,
m
].
Em V
m
(4) u
m
V
m
u
m
=
m
i=1
i
168 INTRODUC

AO
`
AS EQUAC

(5) ((u
m
,
j
))
V
+b(u
m
, u
m
,
j
) = f,
j
V,V
; j = 1, 2, . . . , m.
i=1
i
((
i
,
j
)) +b
_
m
i=1
i
,
m
i=1
i
,
j
_
= f,
j
, j = 1, . . . , m
isto e,

j
j
+b
_
m
i=1
i
,
m
i=1
i
,
j
_
= f,
j
, j = 1, . . . , m.
Denamos, para cada j,
j
=
j
j
+b
_
m
i=1
i
,
m
i=1
i
,
j
_
f,
j
e consideremos a aplicacao
P: R
m
R
m
= (
1
, . . . ,
m
) P() = = (
1
, . . . ,
m
)
que e claramente contnua em virtude da continuidade da forma trilinear
b(u, v, ): V V V R.
(6)
0
> 0 tal que (P, )
R
m
0, R
m
com [[[[ =
0
.
M

Com efeito, temos:
(7)
(P, ) = (, ) =
m
j=1
j
=
m
j=1
(
j
j
+b(u
m
, u
m
,
j
) f,
j
)
j
=
m
j=1
2
j
+b
_
u
m
, u
m
,
m
j=1
j
_
_
f,
m
j=1
j
_
=
m
j=1
2
j
+b(u
m
, u
m
, u
m
)
. .
=0
f, u
m
.
Lembremos que
(8) [[u
m
[[
2
V
= ((u
m
, u
m
)) =
__
m
j=1
j
,
m
i=1
i
__
=
m
j=1
2
j
j
.
Assim, de (7) e (8) conclumos que
(9) (P, ) [[u
m
[[
2
V
[[f[[
V
[[u
m
[[
V
.
Temos dois casos a considerar:
(i) Se [[u
m
[[ = 0 entao de (9) vem que (P, ) 0 o que prova o desejado em (6)
seja qual for > 0.
(ii) Se [[u
m
[[ , = 0 entao (P, ) 0 desde que [[u
m
[[
V

1
[[f[[
V
= c
1
. Provare-
mos que
0
> 0 tal que R
m
com [[[[ =
0
entao [[u
m
[[
V
c
1
. Com efeito,
pondo
m
= min
1
, . . . ,
m
de (8) vem que

[[u
m
[[
2
V
=
m
j=1
2
j
j

m
_
2
j=1
2
j
_
=
m
[[[[
2
.
170 INTRODUC

AO
`
AS EQUAC

Portanto, se
0
> 0 e tal que
0
> c
1
/
m
entao R
m
com [[[[
R
m
=
0
temos
[[u
m
[[
2
V

m
2
0
>
m
c
2
1
m
= c
2
1
o que prova o desejado e consequentemente (6). Resulta da, em virtude do lema do
angulo agudo de Visik, que
0
B
0
(0) tal que P(
0
) = 0, isto e, o sistema (4) e (5)
possui solucao.
Compondo (5) com u
m
resulta que
[[u
m
[[
2
V
+b(u
m
, u
m
, u
m
)
. .
=0
= f, u
m
[[f[[
V
[[u
m
[[
1
2
[[f[[
2
V
+

2
[[u
m
[[
2
,
o que implica que
2
[[u
m
[[
2
V

1
2
[[f[[
2
V
; m N.
Logo
(10) (u
m
) e limitada em V
e portanto, existe uma subseq uencia (u
) de (u
m
) tal que
(11) u
u fraco em V.
Tambem, de (10) e do fato que V
comp.
H temos a existencia de uma subseq uencia
de (u
), que ainda denotaremos pela mesma notacao, tal que

(12) u
u em H.
Resulta de (12) que
(13) u
,i
u
,k
u
i
u
k
q.s. em , i, k = 1, 2.
M

No entanto, do Lema 3 da secao anterior
(14)
_
[u
,i
u
,k
[
2
dx
__
[u
,i
[
4
dx
_
1/2
__
[u
,k
[
4
dx
_
1/2
[[u
,i
[[
2
L
4
()
[[u
,k
[[
2
L
4
()
2[[u
,i
[[
H
1
0
()
[u
,i
[
L
2
()
[[u
,k
[[
H
1
0
()
[u
,k
[
L
2
()
2[[u
[[
2
V
[u
[
2
H
.
Agora de (10), (12) e (14) obtemos
(15)
_
[u
,i
u
,k
[
2
dx c; N, i, k = 1, 2.
De (13) e (15), pelo Lema de Lions, vem que
(16) u
,i
u
,k
u
i
u
k
fraco em L
2
(), i, k = 1, 2.
Resulta de (16) e do fato que

j
x
i
L
2
() que
(17)
2
i,k=1
_
u
,i
j,k
x
i
u
,k
dx
2
i,k=1
_
u
i
j,k
x
i
u
k
dx.
Mas
(18)
b(u
, u
,
j
) = b(u
,
j
, u
),
b(u, u,
j
) = b(u,
j
, u).
De (17), (18) e da continuidade de b(u, v, ) resulta que
(19) b(u
, u
,
j
) b(u, u,
j
).
172 INTRODUC

AO
`
AS EQUAC

Seja j N e consideremos j. Entao, de (5), (11) e (19) obtemos, na situacao
limite
((u,
j
))
V
+b(u, u,
j
) = f,
j
,V
; j N.
Pela totalidade dos
j
s em V conclumos que
(20) ((u, v))
V
+b(u, u, v) = f, v
V
,V
; v V,
ou ainda
Au, v
V
,V
+B(u, u), v
V
,V
= f, v
V
,V
; v V,
o que implica que
(21)

Au +B(u, u) = f em V
.
Recuperacao da pressao:
Denamos:
(22) S =

Au +B(u, u) f em V
.
Como S V
e V e um subespaco fechado de (H
1
0
())
2
temos, em virtude do
Teorema de Hahn-Banach a existencia de T (H
1
())
2
tal que
(23) T,
(H
1
())
2
,(H
1
0
())
2
= S,
V
,V
, V.
T, = 0, 1.
Pela observacao apos o Lema 8 (do sistema de Navier-Stokes) P L
2
() tal
que
(24) T = P em H
1
().
M

Logo, de (23) e (24) obtemos
P[
V
= S em V
e de (22) conclumos que:

Au +B(u, u) = f +P.
Pondo p = P podemos reescrever a igualdade acima como

Au +B(u, u) = f p.
Observacao:
O problema linear
(1)
u = f p em
div u = 0 em
u = 0 em ,
onde
(2) f V
,
admite uma unica solucao fraca u: R na classe
(3) u V.
Com efeito, denindo
a(u, v) = ((u, v))
V
; u, v V ; > 0
e facil constatar que a(u, v) e uma forma bilinear, contnua e coerciva em V . Como
L(v) = f, v
V
,V
; v V
174 INTRODUC

AO
`
AS EQUAC

pertence a V
resulta, em virtude do Lema de Lax-Milgram, que ! u V que verica

((u, v))
V
= f, v ; v V,
ou ainda,

Au = f em V
.
A recuperacao da pressao e obtida de maneira analoga aos casos anteriores.
SISTEMA DE KLEINGORDON (n 3) (n 3) (n 3)
Seja um subconjunto aberto limitado bem regular do R
n
(n 3).
O Problema 13
(1)
2
u
t
2
u +v
2
u = f
1
em Q
2
v
t
2
v +u
2
v = f
2
em Q
u = 0 e v = 0 em
u(0) = u
0
(x), u
(0) = u
1
(x), x
v(0) = v
0
(x), v
(0) = v
1
(x), x
sujeito às condicoes iniciais
(2) u
0
, v
0
H
1
0
(), u
1
, v
1
L
2
() e f
1
, f
2
L
2
(0, T; L
2
())
admite um unico par (u, v) de solucoes fracas de (1) na classe
(3) u, v L
(0, T; H
1
0
()), u
, v
(0, T; L
2
()).
M

Prova:
1
a

Seja (
)
N
base de H
1
0
(). Ponhamos
V
m
= [
1
, . . . ,
m
].
Em V
m
consideremos o problema aproximado:
(4) u
m
(t), v
m
(t) V
m
u
m
(t) =
m
i=1
g
im
(t)
i
, v
m
(t) =
m
i=1
h
im
(t)
i
(5) (u
m
(t),
j
) + ((u
m
(t),
j
)) + (v
2
m
(t)u
m
(t),
j
) = (f
1
(t),
j
), j = 1, 2, . . . , m
(6) (v
m
(t),
j
) + ((v
m
(t),
j
)) + (u
2
m
(t)v
m
(t),
j
) = (f
2
(t),
j
), j = 1, 2, . . . , m
(7) u
m
(0) = u
0m
u
0
em H
1
0
()
(8) v
m
(0) = v
0m
v
0
em H
1
0
()
que possui solucao local em algum invervalo [0, t
m
) em virtude do Teorema de Caratheodory,
com u
m
, v
m
, u
m
e v
m
m
e v
m
existindo q.s. A estimativa
a priori servira para estender a solucao à todo [0, T].
Dos Teoremas de Imersao de Sobolev temos:
H
1
0
() L
6
() se n = 3,
H
1
0
() L
q
(), q [2, +) se n = 2,
H
1
0
() C
0
() se n = 1
176 INTRODUC

AO
`
AS EQUAC

Em qualquer caso
(9) H
1
0
() L
6
() e n 3.
Consequentemente
(10) u
2
v L
2
(); u, v H
1
0
().
Com efeito, de (9) vem que
(11) u
4
L
3/2
() e v
2
L
3
(); u, v H
1
0
().
Agora, como
2
3
+
1
3
= 1 entao de (11) e da desigualdade de Holder segue que
u
4
v
2
L
1
()
o que prova o desejado em (10). Desta forma cam bem denidas as expressoes nao
lineares em (5) e (6).
3
a

jm
(t) e (6) por h
jm
(t) e somando em j de 1 ate m vem
que
(12)
1
2
d
dt
[u
m
(t)[
2
+
1
2
d
dt
[[u
m
(t)[[
2
+ (v
2
m
(t)u
m
(t), u
m
(t)) = (f
1
(t), u
m
(t))
(13)
1
2
d
dt
[v
m
(t)[
2
+
1
2
d
dt
[[v
m
(t)[[
2
+ (u
2
m
(t)v
m
(t), v
m
(t)) = (f
2
(t), v
m
(t))
Contudo
(14)
_
v
2
m
(t)u
m
(t)u
m
(t) dx =
1
2
_
v
2
m
(t)(u
2
m
(t))
dx
M

(15)
_
u
2
m
(t)v
m
(t)v
m
(t) dx =
1
2
_
u
2
m
(t)(v
2
m
(t))
dx
Substituindo (14) e (15) em (12) e (13), respectivamente, e somando estas duas
ultimas expressoes obtemos
1
2
d
dt
_
[u
m
(t)[
2
+[v
m
(t)[
2
+[[u
m
(t)[[
2
+[[v
m
(t)[[
2
_
+
1
2
_
_
v
2
m
(t)(u
2
m
(t))
+u
2
m
(t)(v
2
m
(t))
dx
= (f
1
(t), u
m
(t)) + (f
2
(t), v
m
(t)),
ou ainda
(16)
1
2
d
dt
_
[u
m
(t)[
2
+[v
m
(t)[
2
+[[u
m
(t)[[
2
+[[v
m
(t)[[
2
_
+
1
2
_
(v
2
m
(t)u
2
m
(t))
dx [f
1
(t)[ [u
m
(t)[ +[f
2
(t)[ [v
m
(t)[.
Observando que
(17)
_
d
dt
_
v
2
m
u
2
m
dx,
_
=
__
(v
2
m
u
2
m
)
dx,
_
, T(0, t
m
)
entao de (16) conclumos que
d
dt
_
[u
m
(t)[
2
+[v
m
(t)[
2
+[[u
m
(t)[[
2
+[[v
m
(t)[[
2
+
_
v
2
m
(t)u
2
m
(t) dx
_
[f
1
(t)[
2
+[u
m
(t)[
2
+[f
2
(t)[
2
+[v
m
(t)[
2
.
Integrando a desigualdade acima de 0 à t; t [0, t
m
) resulta que
(18)
[u
m
(t)[
2
+[v
m
(t)[
2
+[[u
m
(t)[[
2
+[[v
m
(t)[[
2
+
_
(v
2
m
(t)u
2
m
(t)) dx
[u
1m
[
2
+[v
1m
[
2
+[[u
0m
[[
2
+[[v
0m
[[
2
+
_
v
2
0m
u
2
0m
dx
+[[f
1
[[
2
L
2
(Q)
+[[f
2
[[
2
L
2
(Q)
+
_
t
0
_
[u
m
(s)[
2
+[v
m
(s)[
2
_
ds.
178 INTRODUC

AO
`
AS EQUAC

Mas
(19)
_
v
2
0m
u
2
0m
dx
__
[v
0m
[
4
dx
_
1/2
__
[u
0m
[
4
dx
_
1/2
= [[v
0m
[|
2
L
4
()
[[u
0m
[[
2
L
4
()
.
Agora de (7), (8), (9) e (10) resulta a existencia de uma constante c
1
> 0 tal que
(20) [u
1m
[
2
+[v
1m
[
2
+[[u
0m
[[
2
+[[v
0m
[[
2
+
_
u
2
0m
v
2
0m
dx c
1
; m N,
e de (18) e (20) obtemos
(21)
[u
m
(t)[
2
+[v
m
(t)[
2
+[[u
m
(t)[[
2
+[[v
m
(t)[[
2
+
_
u
2
m
(t)v
2
m
(t) dx
c
2
+
_
t
0
_
[u
m
(s)[
2
+[v
m
(s)[
2
_
ds.
Observando que
_
u
2
m
v
2
m
dx 0 e em virtude da desigualdade de Gronwall, de
(21) vem que
(22) [u
m
(t)[
2
+[v
m
(t)[
2
+[[u
m
(t)[[
2
+[[v
m
(t)[[
2
c; t [0, t
m
) e m N
onde c > 0 e uma constante independente de t e m. Da limitacao acima decorre que
podemos prolongar u
m
(t), v
m
(t) a todo intervalo [0, T] e a estimativa em (22) permanece
valida agora para todo t [0, T]. Portanto,
(23) (u
m
) e (v
m
) sao limitadas em L
(0, T; H
1
0
())
(24) (u
m
) e (v
m
) sao limitadas em L
(0, T; L
2
()).
M

3
a

De (23) e (24) obtemos subseq uencias (u
) e (v
) de (u
m
) e (v
m
), respectiva-
mente, tais que
u
u em L
(0, T; H
1
0
()) (25)
v
v em L
(0, T; H
1
0
()) (26)
u
em L
(0, T; L
2
()) (27)
v
em L
(0, T; L
2
()). (28)
Seja T(0, T) e consideremos j N. Multiplicando (5) e (6) por e integrando
em [0, T] obtemos para j que
(29)
_
T
0
(u
(t),
j
)
(t) dt +
_
T
0
((u
(t),
j
))(t) dt
+
_
T
0
(v
2
(t)u
(t),
j
)(t) dt =
_
T
0
(f
1
(t),
j
)(t) dt
e
(30)
_
T
0
(v
(t),
j
)
(t) dt +
_
T
0
((v
(t),
j
))(t) dt
+
_
T
0
(u
2
(t)v
(t),
j
)(t) dt =
_
T
0
(f
2
(t),
j
)(t) dt.
Faremos a convergencia em (29) ja que em (30) o procedimento e analogo. As
convergencais em (25) e (27) sao sucientes para passarmos o limite na parte linear.
180 INTRODUC

AO
`
AS EQUAC

Vejamos a parte nao linear.
Analise do Termo Nao Linear
u
m
, v
m
sao limitadas em W = u [ u L
2
(0, T; H
1
0
()); u
L
2
(0, T; L
2
()).
Logo, em virtude do Teorema de Aubin-Lions, existira uma subseq uencia de (u
),
que ainda denotaremos pela mesma notacao tal que
u
u em L
2
(0, T; L
2
()) (31)
v
v em L
2
(0, T; L
2
()) (32)
(33) v
2
v
2
u q.s. em Q.
Provaremos a seguir que
(34) (v
2
) e limitada em L
2
(Q).
Com efeito, temos, em virtude de (9), (10), (11) e da desigualdade de Holder
_
Q
[v
2
[
2
dxdt =
_
T
0
_
[v
[
4
[u
[
2
dxdt
_
T
0
[[v
4
[[
L
3/2
()
[[u
2
[[
L
3
()
dt =
_
T
0
[[v
[[
4
L
6
()
[[u
[[
2
L
6
()
dt
c
1
_
T
0
[[v
(t)[[
4
H
1
0
()
[[u
(t)[[
2
H
1
0
()
dt (c
1
T) [[v
[[
4
L
(0,T;H
1
0
())
[[u
[[
4
L
(0,T;H
1
0
())
.
Agora, de (23) e da desigualdade acima obtemos o desejado em (34). Resulta de
(33) e (34) e do Lema de Lions que
(35) v
2
v
2
u fraco em L
2
(Q).
M

De maneira analoga provamos que
(36) u
2
u
2
v fraco em L
2
(Q)
o que e suciente para passarmos o limite na parte nao linear. Entao, de (29) e (30) na
situacao limite vem que
(37)
_
T
0
(u
(t),
j
)
(t) dt +
_
T
0
((u(t),
j
))(t) dt
+
_
T
0
(v
2
(t)u(t),
j
)(t) dt =
_
T
0
(f
1
(t),
j
)(t) dt
e
(38)
_
T
0
(v
(t),
j
)
(t) dt +
_
T
0
((v(t),
j
))(t) dt
+
_
T
0
(u
2
(t)v(t),
j
)(t) dt =
_
T
0
(f
2
(t),
j
)(t) dt,
e pela totalidade dos
j
s, as expressoes acima sao validas para todo H
1
0
(). De
(37) e (38) resulta entao que
u
u +v
2
u = f
1
em T
(0, T; H
1
())
v
v +u
2
v = f
2
em T
(0, T; H
1
()),
ou ainda,
u
u +v
2
u = f
1
em L
2
(0, T; H
1
()) (39)
v
v +u
2
v = f
2
em L
2
(0, T; H
1
()). (40)
182 INTRODUC

AO
`
AS EQUAC

4
a

Obtidas de maneiras usual.
5
a
Etapa: Unicidade
Sejam (u
1
, v
1
) e (u
2
, v
2
) solucoes de (1). Entao
(41) w = u
1
u
2
e w = v
1
v
2
vericam
(42)
w = v
2
2
u
2
v
2
1
u
1
em L
2
(0, T; H
1
())
w
w = u
2
2
v
2
u
2
1
v
1
em L
2
(0, T; H
1
())
w = 0, w = 0 em
w(0) = 0, w(0) = 0 em
w
(0) = 0, w
(0) = 0 em .
Seja s [0, T]. Denimos
(43) (t) =
_
_
s
t
w()d; 0 t s
0; s t T
(t) =
_
_
s
t
w()d; 0 t s
0; s t T.
Sendo
as derivadas distribucionais de e , temos

(44) (t) =
_
_
_
w(t); 0 t s
0; s t T
(t) =
_
_
_
w(t); 0 t s
0; s t T
M

Das expressoes em (43) e (44) temos que
, ,
(0, T; H
1
0
())
o que implica que
, C
0
([0, T]; H
1
0
()).
Compondo (42)
1
com e (42)
2
com vem que
(45)
_
s
0
w
(t), (t)
H
1
,H
1
0
dt +
_
s
0
((w(t), (t))) dt
=
_
s
0
(v
2
2
(t)u
2
(t) v
2
1
(t)u
1
(t), (t)) dt
e
(46)
_
s
0
w
(t), (t)
H
1
,H
1
0
dt +
_
s
0
(( w(t), (t))) dt
=
_
s
0
(u
2
2
(t)v
2
(t) u
2
1
(t)v
1
(t), (t)) dt
Integrando por partes as primeiras integrais em (45) e (46) decorre que
(47)
w
(t), (t)
t=s
t=0

_
s
0
(w
(t),
(t)) dt +
_
s
0
((
(t), (t))) dt
=
_
s
0
(v
2
2
u
2
v
2
1
u
1
, ) dt
(48)
w
(t), (t)
t=s
t=0

_
s
0
( w
(t),
(t)) dt +
_
s
0
((
(t), (t))) dt
=
_
s
0
(u
2
2
v
2
u
2
1
v
1
, ) dt,
184 INTRODUC

AO
`
AS EQUAC

onde nas segundas integrais usamos o fato de
= w e
= w em [0, s]. Agora como

(s) = 0, (s) = 0, w
(0) = 0 e w
(0) = 0 de (47) e (48) obtemos
_
s
0
(w
(t), w(t)) dt +
_
s
0
((
(t), (t))) dt =
_
s
0
(v
2
2
u
2
v
2
1
u
1
, ) dt
_
s
0
( w
(t), w(t)) dt +
_
s
0
((
(t), (t))) dt =
_
s
0
(u
2
2
v
2
u
2
1
v
1
, ) dt
onde nas primeiras integrais usamos o fato que
= w e
= w em [0, s].
Donde
_
s
0
1
2
d
dt
[w(t)[
2
dt +
_
s
0
1
2
d
dt
[[(t)[[
2
dt =
_
s
0
(v
2
2
u
2
v
2
1
u
1
, ) dt
_
s
0
1
2
d
dt
[ w(t)[
2
dt +
_
s
0
1
2
d
dt
[[(t)[[
2
dt =
_
s
0
(u
2
2
v
2
u
2
1
v
1
, ) dt,
ou ainda,
1
2
[w(s)[
2
+
1
2
[w(0)[
2
+
1
2
[[(s)[[
2
1
2
[[(0)[[
2
=
_
s
0
(v
2
2
u
2
v
2
1
u
1
, )dt
1
2
[ w(s)[
2
+
1
2
[ w(0)[
2
+
1
2
[[(s)[[
2
1
2
[[(0)[[
2
=
_
s
0
(u
2
2
v
2
u
2
1
v
1
, )dt
o que implica:
[w(s)[
2
+[[(0)[[
2
= 2
_
s
0
(v
2
1
u
1
v
2
2
u
2
, ) dt
[ w(s)[
2
+[[(0)[[
2
= 2
_
s
0
(u
2
1
v
1
u
2
2
v
2
, ) dt.
Logo,
[w(s)[
2
+[[(0)[[
2
= 2
_
s
0
(v
2
1
u
1
v
2
1
u
2
+v
2
1
u
2
v
2
2
u
2
, ) dt (49)
[ w(s)[
2
+[[(0)[[
2
= 2
_
s
0
(u
2
1
v
1
u
2
1
v
2
+u
2
1
v
2
u
2
2
v
2
, ) dt. (50)
M

Contudo
2
_
(v
2
1
u
1
v
2
1
u
2
+v
2
1
u
2
v
2
2
u
2
) dx
= 2
_
v
2
1
(u
1
u
2
) + (v
2
1
v
2
2
)u
2
dx
[v
1
[
2
[[ [(t)[ dx +
_
[u
2
v
1
+u
2
v
2
[ [ (t)[ [(t)[ dx
k
_
[[v
1
[[
3
L
6
()
[[
L
2
()
[[(t)[[ +[[u
2
v
1
+u
2
v
2
[[
L
3
()
[ [
L
2
()
[[(t)[[
.
Como v
1
, v
2
e u
2
L
(0, T; H
1
0
()) entao de (9) e da desigualdade acima resulta
que c
1
> 0 tal que
(51) 2
_
(v
2
1
u
1
v
2
1
u
2
+v
2
1
u
2
v
2
2
u
2
) dx 2c
1
_
[w[ +[ w[
[[[[.
Analogamente
2
_
(u
2
1
v
1
u
2
1
v
2
+u
2
1
v
2
u
2
2
v
1
)dx
2
_
_
[u
2
1
[ [ v
1
v
2
. .
w
[ +[v
2
[ [u
1
+u
2
[ [ u
1
u
2
. .
w
[
_
_
[.
Logo, c
2
> 0 tal que:
(52) 2(u
2
1
v
1
u
2
1
v
2
+u
2
1
v
2
u
2
2
v
2
, )
L
2
()
2c
2
_
[w[ +[ w[
[[[[.
De (49), (50), (51) e (52) vem que
[w(s)[
2
+[[(0)[[
2
2c
1
_
s
0
_
[w(t)[ [[(t)[[ +[ w(t)[ [[(t)[[
dt (53)
[ w(s)[
2
+[[(0)[[
2
2c
2
_
s
0
_
[w(t)[ [[(t)[[ +[ w(t)[ [[(t)[[
dt (54)
Denamos:
1
(t) =
_
s
0
(() d.
186 INTRODUC

AO
`
AS EQUAC

Temos, para todo t [0, s],
(55) (t) =
_
s
t
() d =
_ _
s
0
() d
_
t
0
() d
_
=
1
(t)
1
(s).
Desta forma
(56) (0) =
1
(0)
. .
=0
1
(s) =
1
(s).
Substituindo (56) e (55) em (53) vem que
(57)
[w(s)[
2
+[[w
1
(s)[[
2
2c
1
_
s
0
_
[w(t)[ [[w
1
(t) w
1
(s)[[ +[ w(t)[ [[w
1
(t) w
1
(s)[[
dt.
Analogamente, pondo

1
(t) =
_
t
0
() d
temos
(58)
[ w(s)[
2
+[[ w
1
(s)[[
2
2c<

Idioma

Cavalcanti, M. M. e Cavalcanti, V. - Introdução Às EDP S

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Cavalcanti, M. M. e Cavalcanti, V. - Introdução Às EDP S

Enviado por

Direitos autorais:

Formatos disponíveis

Introducao `as

MARCELO MOREIRA CAVALCANTI

ERIA NEVES DOMINGOS CAVALCANTI

(t), v) + ((u(t), v)) = (f(t), v)

(0, T) para toda v H

Etapa: Problema Aproximado

(t) +Bz(t) = F(t)

(t) = DY (t) +G(t)

(t) sao absolutamente contnuas

(t) existindo quase sempre em (0, T), o mesmo valendo para g

Etapa: Estimativa a Priori

. Com efeito, notemos que da cadeia de injecoes

(Q) de (25) resulta que

(Q) e de (26) resulta que u

Etapa: Passagem ao Limite

(t) dt, quando +.

(t), v), +((u(t), v)), = (f(t), v), para todo v H

dene uma distribuicao vetorial e, alem

, = 0, para todo D(0, T),

Etapa: Condicoes Iniciais

(t) qualquer que seja t [0, T].

(t), v)(t) dt, quando ,

(t) dt (u(t), v)(t)[

(t) dt, quando ,

(0), v) (u(0), v), quando , para todo v L

(0), v), para todo v L

(t) pertence quase sempre a L

w = 0 com a funcao na dualidade L

(t) = w(t) quase sempre em [0, s] temos

(t), (t)) e, portanto de (48) obtemos

= w quase sempre em [0, s] temos que

(t), v) + ((u(t), v)) +[u[

(0, T) para toda v H

Etapa: Problema Aproximado

, da ultima identidade podemos escrever

(t) = h(t, Y (t))

Etapa: Estimativa a priori

(). Com efeito, como p = + 2, entao

Etapa: Passagem ao Limite

no sentido das distribuicoes vetoriais e consequentemente v = u

(x, t)(x, t)dxdt

u(x, t)(x, t)dxdt L

obtemos de (35), (36) e (37)

u(x, t)v(s)ds (t) dt =

(t), v) + ((u(t), v)) +

Etapa: Condicoes Iniciais

(T). Provaremos inicialmente que

(0) u(0) fraco em L

u(x, t)v dx(t)dt =

u(x, t)v dx(t) dt =

a derivada no sentido das distribuicoes vetoriais de , temos

v(x, t) [u(x, t)[

[v(x, t) u(x, t)[

[(x, t)[ se [u(x, t)[ [v(x, t)[

[(x, t) se [u(x, t)[ [v(x, t)[

v(x, t) [u(x, t)[

u(x, t)[ ( + 1)2

(t), v) + ((u(t), v)) + ([u(t)[

(0, T), para toda v H

Etapa: Problema Aproximado

Etapa: Estimativas a priori

) como sendo ortonor-