Espaco
Espaco
Espaco
c
oes
e Equa
c
oes Diferenciais
Parciais
Jaime E. Munoz Rivera
Coordenaca
o de Matem
atica Aplicada e Computacional
Laborat
orio Nacional de Computaca
o Cientfica
Petr
opolis, Rio de Janeiro - Brasil
Instituto de Matem
atica
Universidade Federal de Rio de Janeiro
Serie de Textos de P
os graduac
ao
Rio de Janeiro, Petr
opolis 2004.
Laborat
orio Nacional de Computac
ao Cientfica
Textos de P
os Graduac
ao
Coordena
c
ao Editorial
Jaime E. Mu
noz Rivera (Coordenador)
Marcio Murad
Gustavo Perla Menzala
Gilson Antonio Giraldi
Marcelo Fragoso
Ficha catalogr
afica elaborada pela Area
de Biblioteca e Documentac
ao do
LNCC.
M967t
Mu
noz Rivera, Jaime Edilberto
Teoria das Distribuic
oes e Equac
oes
Diferenciais Parciais / Jaime E. Mu
noz Rivera.- Petr
opolis,
RJ.:/Laborat
orio Nacional de Computac
ao Cientfica, 2004.
242p. : il. 24 cm. (Textos de p
os graduac
ao)
ISBN 85-99961-06-3
1. Matem
atica Aplicada. 2. Equac
oes Diferenciais Parciais.
I. Ttulo. II.Serie.
CDD 519
ISBN 85-99961-06-3
LNCC - 2004 - 1a edic
ao
Rua Get
ulio Vargas, 333
Quitandinha - Petr
opolis - Rio de Janeiro
25651-070
Brasil
Fax : 55-24-2231-5603
Dep
osito Legal na Biblioteca Nacional
Impresso no Brasil
Pr
ologo
Nestas notas desenvolvemos os t
opicos de Teoria da Distribuic
oes e Espacos de
Sobolev, que s
ao lecionados no curso de Doutorado do Instituto de Matem
atica
da Universidade Federal do Rio de Janeiro e do Laborat
orio Nacional de Computacao Cientfica. O objetivo e facilitar aos alunos do curso o estudo dos
t
opicos da ementa da disciplina. Introduzindo novas demostrac
oes a teoremas
cl
assicos do An
alise Funcional, ou simplificacoes de demostrac
oes ja existentes
na literatura.
Este texto est
a dividido em seis captulos. O primeiro est
a dedicado a
demonstrac
ao de desigualdades b
asicas, onde a convexidade joga um papel
importante. A convexidade e um conceito chave no an
alise funcional. Como
veremos no segundo captulo este conceito est
a presente nas relac
oes entre
a topologia fraca e forte, nas aplicac
oes do Teorema de Hanh Banach e suas
conseq
uencias. Para mostrar a import
ancia da convexidade, no final do segundo
captulo introduzimos os espacos Lp para 0 < p < 1, dotamos a este espaco de
sua metrica natural e mostramos que ele e um espaco vetorial completo. estes
espacos tem a propriedade que as bolas abertas ou fechadas n
ao s
ao conjuntos
convexos. Isto tem uma implicac
ao curiosa: O dual topol
ogico de Lp se reduz a
zero o que mostra como os espacos Lp s
ao diferentes no caso em que 0 < p < 1
e p > 1, e a principal diferenca entre ambos e a convexidade.
No segundo Captulo estudamos os espacos Lp . O objetivo central e caraterizar os tipos de convergencia que est
ao definidos neste espaco, e encontrar
as condicoes para calcular limites do tipo
lim f(u ) = f(u)
quando a seq
uencia (u )N est
a limitada em Lp para p > 1.
No tercer Captulo fazemos uma breve introduc
ao aos espacos de Banach,
onde tenos selecionado alguns dos principais resultados que utilizaremos neste
texto.
No quarto Captulo fazemos um estudo das distribuic
oes, dando uma r
apida
introducao aos espacos vectoriais topol
ogicos. Introduzimos as topologias que
fazem do espaco de distribuic
oes um espaco de Frechet. Terminamos este
iii
iv
captulo estudando as distribuic
oes temperadas e fazendo uma aplicac
ao para
a equac
ao do calor. No quinto Captulo, introduzimos os espacos de Sobolev,
estudamos suas principais propriedades, como dualidade, aproximac
ao por
funcoes suaves, operadores de prolongamento e as princiapais desigualdades
e teoremas de imers
ao. Damos tambem uma introduc
ao as distribuic
oes vetoriais e estudamos teoremas de compacidade sobre os espacos W 1,p(a, b; X).
No Captulo sexto, fazemos aplicac
oes dos resultados dos captulos 4 e 5
para os problemas de equilibrio assim como tambem o problema de Signorini.
No Captulo 7, estudamos o teorema do traco nos espacos W m,p (). Finalmente, o captulo 8 est
ao dedicados ao estudo da compacidade compensada,
onde o principal resultado e o Teorema do Divergente - Rotacional. Finalmente,
no Captulo captulo 9 fazemos aplicac
oes ao problemas termo e viscoel
asticos.
Termino este pr
ologo agradecendo ao Laborat
orio Nacional de Computac
ao
Cientfica pela reproduc
ao parcial destas notas.
Finalmente, aceito a completa responsabilidade pelos erros ou possveis
pontos obscuros na exposic
ao destas notas e s
ao bem vindos coment
arios ou
correcoes por partes dos leitores.
O Autor
Conte
udo
1 Desigualdades B
asicas
1.1 Funcoes convexas . . . . . . .
1.2 Desigualdade de Jensen . . .
1.3 Desigualdade de H
older . . .
1.4 Desigualdade de Clarkson . .
1.5 Desigualdades tipo Gronwall
1.6 Exerccios . . . . . . . . . . .
2 Espa
cos de Banach
2.1 Espacos metricos . . . . .
2.2 Espacos normados . . . .
2.3 Minimizac
ao em dimens
ao
2.4 Minimizac
ao em dimens
ao
2.5 Teorema de Hanh-Banach
2.6 Convergencia fraca . . . .
2.7 Topologa fraca estrela . .
2.8 Espacos reflexivos . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5
5
9
12
12
14
17
. . . . .
. . . . .
finita .
infinita
. . . . .
. . . . .
. . . . .
. . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
19
19
22
24
26
30
33
35
38
.
.
.
.
.
.
.
.
.
.
.
.
41
42
44
46
48
53
54
56
57
59
62
64
69
.
.
.
.
.
.
.
.
.
.
.
.
3 Os Espa
cos Lp
3.1 Desigualdades de H
older . . . . . . . . . . .
3.2 Desigualdade de Minkowski . . . . . . . . .
3.3 Desigualdade de Young . . . . . . . . . . .
3.4 Convexidade e topologia fraca . . . . . . . .
3.5 Lema de Mazur . . . . . . . . . . . . . . . .
3.6 Teorema da representac
ao de Riesz para Lp
3.7 Convergencia fraca em Lp . . . . . . . . . .
3.8 Convergencia fraca em L1 . . . . . . . . . .
3.9 Convergencia forte em Lp . . . . . . . . . .
3.10 Conjuntos compactos em Lp . . . . . . . . .
3.11 Convexidade e semicontinuidade inferior . .
3.12 Os Espacos Lp com 0 < p < 1 . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Conte
udo
3.13 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4 Distribui
co
es
4.1 Introduc
ao . . . . . . . . . . . . . .
4.2 Espacos vetoriais topol
ogicos . . .
4.3 Espacos das func
oes testes . . . . .
4.4 Funcoes de decrescimento r
apido .
4.5 Transformada de Fourier . . . . . .
4.6 Transformada de Fourier em L2 . .
4.7 Aplicacao a equac
ao do calor . . .
4.7.1 Deduc
ao Fsica do Modelo .
4.8 Soluc
ao da equac
ao do calor no RN
4.9 Exerccios . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5 Espa
cos de Sobolev
5.1 Os espacos W m,p . . . . . . . . . . . .
5.2 Os espacos W m,p . . . . . . . . . . .
5.3 Partic
ao da unidade . . . . . . . . . .
5.4 Aproximac
oes por func
oes suaves . . .
5.5 Operadores de prolongamento . . . . .
5.6 Desigualdade de Poincare . . . . . . .
5.7 Desigualdades de Sobolev . . . . . . .
5.8 Teorema de Morrey . . . . . . . . . . .
5.9 Teorema das derivadas intermediarias
5.10 Desigualdades de interpolac
ao . . . . .
5.11 Distribuic
oes vetoriais . . . . . . . . .
5.12 Teoremas de compacidade . . . . . . .
5.13 Exerccios . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
71
.
.
.
.
.
.
.
.
.
.
73
73
75
77
84
86
91
94
94
96
97
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
99
99
106
108
109
120
125
129
134
140
148
155
158
161
6 Problemas de Equilibrio
6.1 Principio de Bernoulli . . . . . . . . . . . . . . . . . .
6.2 Aplicac
oes as equac
oes elticas . . . . . . . . . . . . . .
6.2.1 Problema de Dirichlet . . . . . . . . . . . . . .
6.2.2 Equac
ao geral de segunda ordem . . . . . . . .
6.2.3 Problema de Neumann . . . . . . . . . . . . . .
6.2.4 Equac
ao geral de Neumann de segunda ordem
6.2.5 Compatibilidade do problema de Neumann . .
6.3 Aplicacoes as desigualdades variacionais . . . . . . . .
6.4 O problema penalizado . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
165
165
169
169
170
170
171
173
175
177
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Conte
udo
7 Teorema do Tra
co
7.1 Os espacos H s () . . . . . . . .
7.2 Os espacos H s () . . . . . . . . .
7.3 Teorema do traco em H m (Rn1 )
7.4 Um caso simple em W m,p () . .
7.5 Espacos intermediarios . . . . . .
7.6 Os espacos W s,p . . . . . . . . .
7.7 Teorema do traco . . . . . . . . .
7.8 Espacos W s,p () . . . . . . . . .
7.9 Teorema do traco em W m,p () .
7.10 Exerccios . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
181
181
182
183
189
189
201
202
204
206
208
8 Extens
ao de Funcionais Convexos
8.1 Func
oes A-quase convexas . . . . .
8.2 Funcionais A-quase convexos . . .
8.3 Exercicios . . . . . . . . . . . . . .
8.4 Condicao pontual . . . . . . . . . .
8.5 Propriedades . . . . . . . . . . . .
8.6 Teorema do divergente - rotacional
8.7 Exercicios . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
211
211
214
217
218
219
224
226
9 Aplica
co
es
229
9.1 Desigualdades variacionais . . . . . . . . . . . . . . . . . . . . . 229
9.2 Problema de Signorini em elasticidade . . . . . . . . . . . . . . 229
9.3 Existencia de soluc
oes fracas . . . . . . . . . . . . . . . . . . . 229
A Decomposi
ca
o de campos vetoriais
239
Conte
udo
Captulo 1
Desigualdades B
asicas
Todo conhecimento e uma
resposta a uma quest
ao
G. Bachelard
Neste captulo estudaremos algumas desigualdades que ser
ao de utilidade
ao longo deste texto. Estas desigualdades est
ao baseadas em propriedades de
funcoes convexas que estudaremos a seguir. A import
ancia da convexidade na
estrutura topol
ogica dos espacos vetoriais ser
a visto no Captulo 2.
1.1
Fun
c
oes convexas
Defini
ca
o 1.1.1 Seja V um espaco normado e denotemos por F a funca
o
F : V R.
Diremos que F e uma funca
o convexa se satisfaz a seguinte desigualdade
F (u + (1 )v) F (u) + (1 )F (v),
u, v V,
[0, 1]
=
=
=
=
(x + (1 )y)2
2 x2 + 2(1 )xy + (1 )2 y2
x2 + (1 )y2
Captulo 1. Desigualdades B
asicas
=
=
=
F (u + (1 )v)
=
=
Portanto F e convexa.
Rb
Exemplo 1.1.3 Considere o espaco V = L1 (a, b), seja F (v) = a |v(x)|2 dx.
Nestas condico
es teremos que a funca
o F e convexa. De fato, consideremos
F (u + (1 )v) =
|u(x) + (1 )v(x)|2 dx
|u(x) + (1 )v(x)|2 dx
|u(x)|2 + (1 )|v(x)|2 dx
F (u) + (1 )F (v)
Observa
ca
o 1.1.1 O conceito de funco
es convexas pode ser estendido a funco
es
definidas sobre conjuntos e n
ao sobre espacos normados. Por exemplo podemos
definir a convexidade de uma funca
o
F :R
mas para isto devemos de verificar que para qualquer par de termos x e y a
funca
o este bem definida no ponto x + (1 )y. Isto e que x + (1 )y .
Os conjuntos com esta propriedade s
ao chamados de Conjuntos Convexos.
Defini
ca
o 1.1.2 Diremos que um conjunto Rn e um conjunto convexo se
x, y
x + (1 )y
A definic
ao anterior nos diz que um conjunto e convexo se e somente se, para
cada par de pontos no conjunto, o segmento de reta que une a esses pontos
tambem pertence ao conjunto. Considere os seguintes exemplos.
y
x
Conjunto Convexo
x
Conjunto n
ao Convexo
e
semi definida positiva
i xj
Demonstra
ca
o.- Do Teorema de Taylor temos que existe um ponto ]x, x +
h[ tal que
1
F (x + h) = F (x) + h F (x) + h HF () h
2
Tomemos x = u h1 e h1 = (1 )(u v), nestas condic
oes segue que existe
um ponto 0 ]u h1 , u[ satisfazendo
1
F (u) = F (u+(1)v)+(1)(uv)F (u+(1)v)+ hHF (0 )h (1.1)
2
Captulo 1. Desigualdades B
asicas
Fazendo 0 chegamos a
F (v) (u v) F (u) F (v).
Intercambiando as vari
avel u e v segue que
F (u) (v u) F (v) F (u).
Somando as duas desigualdades acima segue que
(F (u) F (v)) (u v) 0.
Fazendo 0 obtemos
t HF 0.
i 0 e
i=1
m
X
i = 1.
i=1
Demonstra
ca
o.- Raciocinemos por induc
ao sobre m. Suponhamos que a
desigualdade
k
k
X
X
F(
i ui )
i F (ui )
i=1
i=1
e v
alida para m = k. Provaremos que a identidade acima tambem e v
alida
para m = k + 1. De fato, note que
k+1
k+1
k+1
X
X
X
F(
i ui ) = F (1 u1 +
i ui ) = F (1 u1 + (1 1 )
i=1
i=2
i=2
i
ui ).
1 1
i=2
Como
k+1
X
i=2
i
ui ).
1 1
i
= 1.
1 1
Usando a hip
otese indutiva, chegamos ao nosso resultado
1.2
Desigualdade de Jensen
Demonstra
ca
o.- Denotemos Rpor R uma partic
ao de Pe por xi o i-esimo
retangulo da partic
ao. Como dx = 1, teremos que
xi = 1. Como a
func
ao F e convexa teremos que
m
m
X
X
F(
g(xi )xi )
F (g(xi ))xi
i=1
i=1
10
Captulo 1. Desigualdades B
asicas
dx = 1
Demonstra
ca
o.- De fato, denotando por
h(i )xi
i = Pm
j=1 h(j )xj
m
X
i = 1.
i=1
.
h(
)x
j
j
j=1
j=1 h(j )xj
i=1
Tomando limites quando xi 0 teremos que
R
R
g(x)h(x) dx
F (g(x))h(x) dx
R
F
R
.
h(x)
dx
h(x) dx
Observa
ca
o 1.2.2 Utilizando a densidade das func
oes contnuas em L1 , podemos extender o resultado anterior para toda func
ao integr
avel a Lebesgue, pois
sobre as func
oes contnuas a integral de Lebesgue e a integral de Riemann
coincidem.
Observa
ca
o 1.2.3 Tomemos Rn , seja F uma func
ao convexa e um
1
,g=
hipercubo ent
ao da desigualdade de Jensen 1.2.1 aplicada a h =
med
+ (x) obtemos
Z
tal que
(x) dx = 0
(1.3)
11
a relac
ao (1.3) e equivalente a
Z
f(h(x)) dx f
1
med ()
h L ().
(1.4)
Provaremos que
f(u + (1 )v) f(u) + (1 )f(v),
para toda u, v RN e 0 < < 1, o que mostrar
a que f e uma func
ao convexa.
Com efeito, denotemos por 0 a func
ao caraterstica sobre 0 e tomemos
tal que
med (0 )
:=
,
med ()
denotando por w a func
ao
w(x) := 0 (x)u + (1 0 (x))v,
e simples verificar que
f(w) = 0 (x)f(u) + (1 0 (x))f(v).
Integrando sobre e multiplicando o resultado por
f(u) + (1 )f(v)
=
=
med
temos
Z
1
0 (x)f(u) + (1 0 (x))f(v) dx
med ()
Z
1
f (0 (x)u + (1 0 (x))v) dx
med ()
Z
med ()
1
f
0 (x)u + (1 0 (x))vdx
med ()
med
f(u + (1 )v),
12
1.3
Captulo 1. Desigualdades B
asicas
Desigualdade de H
older
Ent
ao teremos que
m
Y
i=1
ai
m
X
1 pi
a
p
i=1 i
m
X
i=1
m
X
i=1
ln(ai )
1
ln(api )
pi
m
X
1 pi
a ).
ln(
pi i
i=1
1.4
Desigualdade de Clarkson
(m
X
i=1
Ent
ao a funca
o p 7 R(p) e decrescente.
api
) p1
13
ai
R(q)
p
ai
R(q)
q
= 1,
R(q)
R(q)
i=1
i=1
e portanto
m
X
i=1
api (R(q))p
R(p) R(q),
Demonstra
ca
o.- Para obter a primeira desigualdade tomemos
m = 2;
a1 =
a+b
;
2
a2 =
ab
;
2
1<p<2
2
2
!1
1
a + b 2 a b 2 2
1 2 1 2 2
+
=
|a| + |b|
.
2
2
2
2
14
Captulo 1. Desigualdades B
asicas
a1 =
a+b
;
2
a2 =
ab
;
2
p > 2,
1.5
2c1 t
e .
Derivando a func
ao obtemos
F 0 (t) = f 0 (t) 2c1 et c0 f(t) c1 et 0 F (t),
onde 0 = min c0 , 2 . Finalmente, integrando de 0 a t, temos
F (t) F (0) e0 t
onde c2 = f(0) +
2c1
.
f(t) c2 e0 t ,
1+ p1
k1
,
(1 + t)p+1
pf(0) + 2k1
.
(1 + t)p
15
Demonstra
ca
o.- Tomemos h(t) =
condic
oes teremos
0
g (t)
Nestas
2k1
k1
1+ 1p
k0 [f(t)]
+
= f (t)
(1 + t)p+1
k0 (1 + t)p+1
p 1+ 1p
1
1
1
1+ p
k0 [f(t)]1+ p +
[h(t)]
.
1
2
k kp
0
0 1
Seja a0 = min 1,
1
p 1+ p
2
k0 k1p
. Assim,
n
o
1
1
g0 (t) k0 a0 [f(t)]1+ p + [h(t)]1+ p .
g0 (t)
1
k 0 a0
[g(t)]1+ p ,
a1
g0 (t)
1
[g(t)]1+ p
k 0 a0
.
a1
Integrando de 0 a t, temos
g(t) n
p+
n
em que a2 = min p,
nosso resultado.
k0 a0
a1
pp g(0)
k0 a0
a1
1
p
[g(0)] t
op
o
1
[g(0)] p . Tomando k2 =
1
a2
p
a2
p1
, segue-se o
Ent
ao teremos que
(t) g(t) +
m(s)g(s)e
t
s
m() d
16
Captulo 1. Desigualdades B
asicas
Demonstra
ca
o.- Introduzamos o funcional
Z t
(t) =
m(s)(s) ds.
0
Fazendo
F (t) = e
Rt
0
m() d
(t),
obtemos
F 0 (t) =
=
m(t)e
Rt
m d
Rt
0
m() d
(t) + e
Rt
0
m() d
0 (t)
[m + 0 ]
portanto
F 0 (t) m(t)g(t)e
Rt
0
m() d
Rt
m( )g( )e
m(s) ds
(t) g(t)e
m() d
Demonstra
ca
o.- De fato, do Lema 1.5.3 segue que
Z t
Rt
(t) g(t) +
m(s)g(s)e s m() d ds
0
17
1.6. Exerccios
1.6
Exerccios
u = v)
i=1
8. Sejam b e c func
oes de classe C 1 , positivas e decrescentes em [0, [. Seja
f uma func
ao que decai para zero exponencialmente, (f(t) cet para
C, > 0). Mostre que a soluc
ao geral de
y00 (t) + b(t)y0 (t) + c(t)y(t) = f(t)
decai exponencialmente para zero.
9. No exerccio anterior suponha que f decai polinomialmente, isto e, existe
uma constante positiva C e um n
umero real p tais que
f(t)
C
.
(1 + t)p
18
Captulo 1. Desigualdades B
asicas
Mostre que a soluc
ao y da equac
ao ordinaria deve decaer tambem polinomialmente com taxa igual a f. Que pode afirmar da soluc
ao do exercico
8 quando f apenas satisfaz:
lim f(t) = 0
10. Sejam a e b n
umeros reais. Encontre uma condic
ao necess
aria e suficiente
para que a soluc
ao geral da equac
ao
y000 (t) + ay0 (t) + by(t) = 0
decaiga exponencialmente. Que relac
ao deve satisfazer a e b.
11. Encontre o conjunto dos dados iniciais y0 e y1 , de tal forma que a soluc
ao
da equacao diferencial ordinaria
y00 (t) + 2ay0 (t) 2a2 y(t) = 0
y(0) = y0 ,
y0 (0) = y1
decaiga exponencialmente.
12. Sejam b e c func
oes de classe C 1 , positivas e decrescentes em [0, [.
Mostre que a soluc
ao geral de
y00 (t) + b(t)|y0 (t)|p y0 (t) + c(t)y(t) = f(t)
satisfaz:
|y(t)|
Para alguma constante c > 0.
c
.
(1 + t)p+1
Captulo 2
Espa
cos de Banach
Faremos aqui uma introduc
ao aos espacos de Banach e as diferentes topologas
que se podem definir nelas.
2.1
Espa
cos m
etricos
19
20
Exemplo 2.1.1 Tomemos o conjunto de pontos P = {x1 , x2, , xn }. Definimos sobre este conjunto a funca
o
d : P P R
da seguinte forma
d(xi , xj ) = 1 ij
onde ij e o delta de Kronoeker, definida como
ij = 0,
se
i 6= j,
ii = 1.
Exemplo 2.1.2 Denotemos por X = x R3 ; kxk 1 . Sobre este conjunto
definimos a funca
o
d : X X R
da seguinte forma
d(x, y) = kx yk
claramente esta funca
o d satisfaz as condico
es de metrica, portanto o par (X, d)
e um espaco metrico.
Exemplo 2.1.3 Denotemos por X = C 1 (a, b) o conjunto de todas as funco
es
contnuas definidas sobre o conjunto fechado [a, b] com derivadas contnuas.
Sobre este conjunto definimos a funca
o
d(f, g) = sup |f(x) g(x)| + sup |f 0 (x) g0 (x)|
x[a,b]
x[a,b]
d(x , x ) <
21
|x x0 | <
2
+ =
2 2
Exemplo 2.1.6 O espaco metrico dado por X = C(a, b) o conjunto das funco
es
contnuas sobre o intervalo [a, b] com a metrica
d(f, g) = sup |f(x) g(x)|
x[a,b]
d(f , f ) <
isto e
, N
x[a,b]
22
|x y| <
3
+ + =
3 3 3
2.2
Espa
cos normados
x=0
23
kfk1 =
|f(x)| dx
f = 0.
kfk1 =
|f(x)| dx
24
|f(x)| dx = 0
f = 0.
|f(x) + g(x)| dx
|f(x)| dx +
|g(x)| dx
simples verificar
E
fn (x) f(x),
onde
f(x) =
0, 0 x < 1
1, x = 1.
xn dx =
1
0
n+1
2.3
Minimizac
ao em dimens
ao finita
v Uad
25
x R,
F (x) 0
x Uad
Primeiro note que como A e definida positiva, existe uma constante > 0 tal
que
xAxt kxk2 , x Rn
Somando a x a ambos termos da desigualdade anterior teremos que
q(x) = xAxt + a x kxk2 + a x kxk2
a2
kxk2
2
2
a2
a2
(2.1)
2
2
Portanto q(x) e limitado inferiormente em RN e em particular sobre Uad . Sabemos que toda func
ao limitada possui um infimo. Da definic
ao de infimo, existe
uma seq
uencia em x de elementos de Uad tais que
q(x) kxk2
2
Como o segundo membro da desigualdade acima e limitado concluimos que a
seq
uencia (x )Rn e limitada. Portanto pelo Teorema de Heine Borel, existe
um ponto x0 e uma subseq
uencia convergente tal que
xk x0
26
Como xk Uad para todo k e o conjunto Uad e fechado, teremos que x0 Uad .
Da continuidade de q obtemos que
I = lim q(xk ) = q(x0 )
k
2.4
Minimizac
ao em dimens
ao infinita
O metodo de resoluc
ao do problema anterior e bastante geral e pode ser estendido a casos mais gerais. Infelizmente n
ao pode ser estendido dessa forma para
problemas de minimizac
ao em dimens
ao infinita. Isto porque em pontos cruciais da demonstrac
ao utilizamos o fato que toda seq
uencia limitada possui uma
subseq
uencia convergente, isto e a compacidade. O problema deste resultado e
que somente e v
alido em espacos de dimens
ao finita.
Teorema 2.4.1 Uma seq
uencia limitada de elementos de um espaco de Banach E possui uma subseq
uencia convergente se e somente se E tem dimens
ao
finita.
Este teorema acaba com a posibilidade de aplicar o mesma ideia para minimizac
ao de funcionais em Espacos de Banach. Examinando mais de perto este
problema, concluimos que o problema n
ao radica no fato da dimens
ao ser finita
ou n
ao e sim na convergencia. Pois observe que n
ao e necessario que
lim q(xk ) = q(x0 )
Esta desigualdade nos da a posibilidade de enfraquecer nosso conceito de convergencia. Observe que ate agora temos tratado de convergencia no sentido
da norma. Isto e onde os conjuntos abertos est
ao definidos a partir de bolas
abertas do tipo
Br (x0 ) = {x E; kx x0 kE < r}
Com estes conjuntos em espacos de dimens
ao infinita o conceito de compacidade
e mais exigente. Veja por exemplo o teorema de Compacidade para conjuntos
de Lp ou o teorema de Arsela Ascoli que carateriza conjuntos compactos no
espaco das funcoes contnuas. A quest
ao agora e saber que tipo de topologa
podemos definir de tal forma que conjuntos limitados sejam precompactos em
espacos de dimens
ao infinita.
27
sup |f(x)|
x[0,2]
28
(2.2)
29
A demonstrac
ao segue os mesmos passos que o correspondente teorema para
func
oes reais.
Note que a norma de E e sempre uma func
ao contnua, portanto as bolas
Br (x0 ) = {x E; kx x0 k < r}
s
ao sempre conjuntos abertos, pois
Br (x0 ) = F 1 (]0, r[)
onde F (x) = kx x0 k.
Extens
ao do conceito de converg
encia
Extenderemos o conceito de convergencia a partir da seguinte propriedade propriedade das func
oes contnuas. Se a seq
uencia (x )N e convergente ent
ao
para toda funca
o contnua F teremos que F (x )N e tambem convergente.
Definiremos uma condic
ao mais fraca que a anterior se exigimos que a convergencia seja v
alida apenas para as func
oes lineares e contnuas. Diremos
ent
ao que uma seq
uencia xn converge fracamente para x, se f(xn ) converge
para f(x), para todas as func
oes lineares e contnuas. Para formalizar esta
definicao introduziremos o espaco dual.
Defini
ca
o 2.4.1 Denotemos por E o conjunto das funco
es f : E R lineares e contnuas, isto e
E = {f : E R; fe linear e contnua}
O conjunto E e chamado de espaco dual de E
Da definicao concluimos que E e um espaco vectorial. Mais ainda, E e um
espaco normado com a norma dada por
kfkE = sup |f(x)|
kxkE 1
O seguinte resultado nos diz que o espaco dual de um espaco normado qualquer
e completo.
Teorema 2.4.4 Seja E um espaco normado, e denotemos por E o espaco
dual de E. Ent
ao E e um espaco completo.
30
Demonstra
ca
o.- Seja (fm )mN uma seq
uencia de Cauchy em E , ent
ao teremos que para todo > 0 existe N > 0 tal que
m, n > N
kfm fn kE < .
3
1
3
Segue o resultado.
2.5
Teorema de Hanh-Banach
31
x E,
> 0
x, y E
x G
Ent
ao existe uma forma linear f : E R satisfazendo
g(x) = f(x),
x G
f(x) p(x)
x E
e ainda
Demonstra
ca
o.- Seja E um espaco normado e G um subespaco de E. Se
G 6= E, ent
ao existe um elemento x0 E e x0
/ G. Definimos assim o espaco
G1 = G + Rx0 . Mostraremos que f pode ser estendido a G1 satisfazendo
f(x) p(x),
x G1
(2.3)
x
x
+ x0 ) p( + x0 ),
t
t
ou
f1 (
x
x
x0 ) p( x0 )
t
t
f1 (y x0 ) p(y x0 )
y G
f(y) p(y x0 ) y G
32
yG
yG
Encontramos que
f(y) + p(y + x0 ),
f(y) p(y x0 ) y G
Isto e,
f1 (x) p(x),
x G1 .
Continuando com este mesmo reaciocinio encontramos uma cadeia de subespacos de E verificando
G1 G2 E.
e uma seq
uencias de func
oes f1 , f2 , , fn , onde fn est
a definido em Gn e fn
extende fn1 . Podemos construir uma relac
ao de ordem da seguinte forma:
Diremos que (Gi , fi ) (Gj , fj ) se Gi Gj e fj extende a fi . Claramente este
conjunto tem um maiorante, e portanto pelo Lema de Zorn possui um elemento
maximal, que e (E, f), Logo existe f satisfazendo as condic
oes do Teorema.
Observa
ca
o 2.5.1 Para o caso dos espacos de Dimens
ao finita o Teorema de
Hanh Banach e bastante simple. Seja E = RN e denotemos por G RN um
subespaco de E. Denotemos por g : G R uma funca
o linear satisfazendo
g(x) = kxk,
x G
Ent
ao construiremos uma funca
o f satisfazendo as condico
es do Teorema de
Hanh Banach. De fato, denotemos por {e1 , , er } a base ortonormal de G.
Esta base pode ser estendida ortonormalmente a uma base do RN , denotemos
por B = {e1 , , er , er+1 , en } esta base. Tomemos x = c1 e1 + + cn en e
f de tal forma que
f(er+1 ) = 0, , f(en ) = 0,
f(c1 e1 + + cr er ) = g(x)
A funca
o f assim definida satisfaz
f(x)
=
=
=
f(c1 e1 + + cn en )
f(c1 e1 + cr er ) + f(cr+1 er+1 + + cn en )
g(
x) k
xk kxk
33
kf0 k = kx0 k,
Demonstra
ca
o.- Seja G = Rx0 , e definamos por g ao funcional definido sobre
G da seguinte forma
g(x) = g(tx0 ) = tkx0 k2
kgk = kx0 k
f0 (x) = g(x),
sup
f(x)
fE ;kfk 1
Demonstra
ca
o.- Do teorema de Hanh Banach, existe uma aplicac
ao f0 tal
que
kf0 k = kxk,
f0 (x) = kxk2
Tomando f1 =
f0
kxk
concluimos que
kxk = f1 (x)
sup
f(x)
fE ;kfk 1
Como
sup
fE ;kfk 1
f(x)
sup
fE ;kfk 1
kfkkxk kxk
2.6
Converg
encia fraca
34
Defini
ca
o 2.6.1 Diremos que uma seq
uencia (xn )nN de elementos de um
espaco de Banach E, converge fraco para x E, se e somente se
f E
f(xn ) f(x),
Da definic
ao concluimos que se uma seq
uencia convergencia forte, ent
ao ela
converge fraco. De fato, se xn converge forte, ent
ao para toda func
ao contnua
f teremos que f(xn ) f(x), em particular para as func
oes f E. O recproco
n
ao e verdade em geral. A excec
ao e quando E tem dimens
ao finita. Isto e,
a convergencia fraca e forte s
ao equivalentes nos espacos de dimens
ao finita.
De fato, considere por exemplo o caso unidimensional. Toda func
ao linear e
contnua f : R R e da forma f(x) = x, para R. Tomando f tal que
6= 0 encontramos que
f(xn ) f(x)
xn x
xn x
No caso do RN a situac
ao e semelhante. Note que todo funcional contnuo
f : RN R e da forma f(x) = A x onde A Rn . Tomando A =
(0, , 0, 1, 0 , 0) encontramos que
f(x) = xi .
Portanto a condic
ao de convergencia fraca implica que
xni xi ,
i = 1, n.
f(x+ ) f(x).
35
Func
ao S.C.I.
N
ao
e S.C.I.
Demonstra
ca
o.- De fato como a x converge fraco, ent
ao temos que
f(x ) f(x),
f E
Do Corol
ario 2.5.1, encontramos que existe um funcional f satisfazendo
kfk 1,
f(x) = kxk.
2.7
x E.
36
Observa
ca
o 2.7.1 Os conjuntos abertos em E
O dual de E, denotado por E e um espaco normado, com a norma dada
por
kfk = sup f(x).
xB1 (0)
= {f E ; kfk < }
(
f E;
xB1 (0)
xB1 (0)
f fn (x) f(x),
x E.
Onde a convergencia n
ao e uniforme em x.
Em particular se Tomamos B apenas um conjunto finito, teremos assim
uma classe de vizinhancas de zero, e esta topologa e chamada de topologa
fraca estrela.
Defini
ca
o 2.7.1 Diremos que um espaco normado E e separ
avel, se existe um
subconjunto numer
avel e denso em E
O conceito de separabilidade e importante, pois nos diz que todo elemento x
de E pode ser escrito como limite de uma subseq
uencia do conjunto numer
avel
e denso.
Teorema 2.7.1 Toda seq
uencia limitada de funcionais lineares e contnuas
definidos sobre um espaco normado separ
avel, possui uma subseq
uencia que
converge fraco estrela
37
Demonstra
ca
o.- Seja {x1 , x2 , , xn, } um conjunto numer
avel e denso.
Seja (fn )nN uma seq
uencia limitada, ent
ao a seq
uencia de n
umeros reais dados
por
f1 (x1 ), f2 (x1 ), f3 (x1 ), fn (x1 ),
e limitada, portanto podemos extraer um subseq
uencia convergente, denotemos
ela por
(1)
(1)
(1)
(1)
(1)
(2)
(2)
f1 ,
(2)
f1 ,
(3)
f1 ,
(1)
f2
(2)
f2
(3)
f2
(1)
fn
(2)
fn
(3)
fn
,
,
,
kxk 1
pois a seq
uencia (fn )nN e limitada. Portanto f tambem e limitado. O que
completa a demonstrac
ao. Por outro lado, se E e um espaco separ
avel, temos
que a bola unit
aria em E e metriz
avel. Mais precissamente temos
38
n=0
2n |hf g , xn i|
2.8
Espa
cos reflexivos
e linear e contnua}
x 7 J(x) E
Onde
Definindo de forma natural
J(x) : E R
hJ(x) , fi = f(x)
fE ,kfk 1
39
Defini
ca
o 2.8.1 Seja E um espaco de Banach, diremos que E e um espaco
reflexivo quando a aplicaca
o J definida acima e sobrejetora.
Observa
ca
o 2.8.1 Como uma conseq
uencia imediata, temos que RN e um espaco reflexivo. Em geral podemos afirmar que todo espaco normado e completo
de dimens
ao finita e reflexivo.
e uma bijecao. Logo teremos que J(xn ) e limitada em E 0 . Portanto existe uma
subseq
uencia de xn tal que
J(xnk ) * F
fraco estrela em
E 00
Onde F E 00 . Pela reflexividade, existe x E tal que J(x) = F . Da convergencia fraca estrela temos
hJ(xnk ), fi hJ(x), fi
f E 0 .
40
Captulo 3
Os Espa
cos Lp
O espritu s
o usa sua facultade criadora
quando a experiencia lhe imp
oe tal necessidade
H. Poincare
Neste captulo estudaremos as principais propriedades dos espacos Lp tais
como o teorema da Representac
ao de Riesz, reflexividade, separabilidade e
a convexidade uniforme. Para isto utilizaremos essencialmente as desigualdades estudadas no captulo anterior. As propriedades mais importantes dos
espacos Lp est
ao estreitamente vinculadas com a convexidade da norma, consideraremos o caso Lp com 0 < p < 1. Como veremos ao final deste captulo
estes conjuntos s
ao espacos vetoriais metricos, com a propriedade que as bolas
abertas ou fechadas em Lp n
ao s
ao convexas. Este fato implica, surprendentemente, que os espacos duais se reduzem ao conjunto nulo.
Comecaremos este Captulo lembraremos alguns resultados importante da
Teria de integrac
ao
Lema 3.0.1 Seja (f ) uma seq
uencia n
ao negativa de funco
es, f 0 e suponhamos que
Z
sup
N
RN
f dx <
ent
ao a funca
o definida como
f(x) = lim inf f (x)
N
satisfaz,
1
f L (R ),
RN
f dx lim inf
N
41
RN
f dx
Captulo 3. Os Espacos Lp
42
xRn
xRn
f (x) dx =
f(x) dx
f f
Observa
ca
o 3.0.3 O Teorema 3.0.5 e muito u
til para mostrar desigualdades
para funco
es integr
aveis, pois o teorema anterior nos diz que basta mostrar que
a desigualdade e v
alida para funco
es contnuas com suporte compacto, que pela
densidade ela pode ser extendida para funco
es integr
aveis.
3.1
Desigualdades de H
older
m
Y
i=1
fi | dx
m Z
Y
i=1
Qm
i=1
fi L1 () e ainda
|fi (x)|pi dx
p1
43
3.1. Desigualdades de H
older
Demonstra
ca
o.- Denotemos por
ai := R
|fi (x)|
|f (x)|pi dx
i
p1 .
i
Aplicando a desigualdade de H
older e integrando sobre segue nossa conclus
ao
Como conseq
uencia das desigualdades de H
older enunciamos os seguintes corol
arios.
Corol
ario 3.1.1 Tomemos 0 < p < 1 e q tal que 1/p + 1/q = 1. Sejam f e
g funco
es tais que |f|p L1 (), g Lq (), |g|q L1 (). Nestas condico
es
teremos que
Z
|f(x)g(x)| dx
Z
|f(x)|p dx
p1 Z
|g(x)|q dx
1q
Demonstra
ca
o.- Aplicando as desigualdades de H
older as func
oes F (x) :=
1/g(x) and G(x) := g(x)f(x), teremos que
Z
Z
p
|f(x)| dx =
|F (x)G(x)|p dx
Z
1p Z
p
p
1 1p
dx
|g(x)f(x)| dx
|
g(x)
Z
1p Z
p
1 q
|
| dx
|g(x)f(x)| dx
g(x)
1
r
1
q
Demonstra
ca
o.- Note que
1
1
1
= p + q
r
1=
1
p
r
1
q
r(1)
Captulo 3. Os Espacos Lp
44
Por hip
otese temos que |f|r L r ,
duto |f|r |f|(1)r = |f|r L1 (RN )
Z
RN
|f|r dx =
RN
|f|r |f|(1)r dx
Aplicando a desigualdade de H
older para as potencias temos que
Z
RN
|f|r dx =
RN
|f|r |f|(1)r dx
Z
RN
|f|p dx
r
Z
p
RN
|f|q dx
r(1)
p
3.2
Desigualdade de Minkowski
Usando as desigualdades de H
older mostraremos a desigualdade de Minkowski
que prova que o funcional
f 7
Z
|f|p dx
1/p
|f(x) + g(x)| dx
1p
Z
|f(x)| dx
p1
Z
|g(x)| dx
p1
|f(x) + g(x)| dx
1p
Z
|f(x)| dx
p1
Z
|g(x)| dx
p1
Demonstra
ca
o.- Note que
Z
Z
|f(x) + g(x)|p dx =
|f(x) + g(x)||f(x) + g(x)|p1 dx
p1
|f(x)||f(x) + g(x)|
dx +
|g(x)||f(x) + g(x)|p1 dx
45
|f(x)| dx
p1
Z
|g(x)| dx
p1 ) Z
|f(x) + g(x)| dx
11/p
(Z
p1 Z
p1 ) Z
11/p
p
p
|f(x)| dx
+
|g(x)| dx
|f(x) + g(x)|p dx
|u| + |v| dx
,
2
2 dx
2
Demonstra
ca
o.- Consideremos o caso 1 p < 2. Note primeiro que
Z
Z
q
p
q
( |f|p dx) p = ( (|f| q )q dx) p = k |f|q k qp .
Lq
+ k |g|q k
Lq
k |f|q + |g|q k
Lq
dx
2 dx
2 + 2
2 dx
Z
qp
p
1
q
q q
(|u| + |v| ) dx
2
Z
qp
1
p
p
|u| + |v| dx
2
Captulo 3. Os Espacos Lp
46
Onde temos usado que
1
p q.
3.3
Desigualdade de Young
onde
1
1 1
= + 1
s
p q
RN
|f g| dx =
Z
p
N f(x s)g(s) ds dx
N
R
R
p
Z Z
1
1 p10
0
p
|g(s)| ds dx
|f(x s)| |f(x s)|
RN
RN
Z Z
p
p0
kfkL1 (RN )
|f(x s)||g(s)|p ds dx
RN RN
Z Z
p
0
kfkLp 1 (RN )
|f(x s)| dx|g(s)|p ds
Z
RN
1+ pp0
RN
47
RN
Z
s
|f g| dx =
N f(x s)g(s) ds dx
N
R
R
s
Z Z
a
1a
:=I
Este u
ltimo termo pertence a L (R ), portanto para aplicar a primeira parte
deste Teorema, devemos escolher a de tal forma que
s
|f|(1a)p L p (RN )
Isto e verdade quando a seja tal que [(1 a)p]s/p = q isto e
(1 a)s = q
a=1
q
s
a=
p1
q
p
RN
Portanto
|f|
RN
(1a)p
|g|
o ps
|f g| dx
dx
Z
RN
RN
|f| dx
|f| dx
sq Z
Z
RN
RN
|g| dx
|g| dx
sq
ps
Captulo 3. Os Espacos Lp
48
f
g
f
g
forte em Lq (RN )
forte em Lp (RN )
Como conseq
uencia das convergencias temos que as seq
uencias f e g possuem
subseq
uencias que convergem quase sempre em RN . Denotando da mesma
forma essas subseq
uencias e simples verificar que
|f g (x)|s
|f g(x)|s
RN
quase sempre em
RN
lim
RN
Z
RN
|f | dx
qs Z
RN
|g | dx
ps
3.4
Ent
ao p e uma seminorma satisfazendo
(i)
0 p(x) c0 kxk.
(ii) Mais ainda, C pode ser escrito como
C = {x E; p(x) < 1} .
49
Demonstra
ca
o.- Sem perda de generalidade podemos supor que 0 C e
portanto que existe um raio > 0 tal que a bola
B(0, ) C,
desta forma temos que para todo x E
x
=
kxk
kxk
1
x C,
kxk
.
Portanto (i) e v
alido c0 = 1 . Provaremos agora que o funcional p e uma
seminorma. Para isto tomemos x e y em E, e simples ver que
x
,
p(x) +
y
p(y) +
C.
Captulo 3. Os Espacos Lp
50
simples verificar que uma base para esta topologia e dado pela famlia de
E
conjuntos
Vf = {x E; f(x) < ; } ;
onde R e f E . Uma primeira pregunta neste ponto, e saber quais s
ao as
diferencas e semelhancas entre a Topologia fraca e a topologia forte. Por exemplo nos espacos de dimens
ao finita estas topologias coincidem. Mas isto n
ao e
verdade no caso geral. Pela definic
ao da Topologia fraca, podemos verificar que
todo aberto pode ser expressado como a uni
ao de preimagenes de elementos de
E de abertos de R, que s
ao abertos na topologia fraca. Portanto, todo aberto
fraco, e um aberto forte. Mas o recproco n
ao e verdadero. Equivalentemente,
podemos afirmar que todo fechado fraco e um fechado forte. O recproco e
falso. Mas se a isto acrescentamos a convexidade, ent
ao teriamos que todo
convexo fechado na topologia forte, e tambem um fechado na topologia fraca.
Resumimos esta discuss
ao no seguinte Teorema.
Teorema 3.4.2 Seja C e um conjunto convexo de E, ent
ao C e fechado na
topologia forte se e somente se C e fechado na topologia fraca.
Demonstra
ca
o.- Suponhamos que C e fechado na topologia forte. Sem perda
de generalidade podemos supor que 0 C, (se este n
ao for o caso, podemos
tomar C := C y0 , para y0 C). Provaremos que o conjunto complementario
C c e um aberto fraco. De fato, tomemos x0 C c e denotemos por
C := C + {y E; kyk < } .
simples verificar que C e um convexo aberto (na topologia forte) e para
E
suficientemente pequenho x0
/ C. De fato se x0 C para todo > 0
teriamos que x0 = y + z , onde y C and kz k . De onde concluimso que
kx y k = kz k < para todo . Fazendo 0 concluimos que y x0 , forte.
Como C e fechado, ent
ao x0 C, que e uma contradic
ao.
Denotemos por p o funcional de Minkowski associado a C. Pelo Teorema 3.4.1 temos que
p(x) < 1
se e somente se
x C .
g(tx0 ) := t p(tx0 ) t 0.
51
x Rx0 .
fraco em
ent
ao existe uma seq
uencia de combinaco
es convexas que convergem forte para
u.
Demonstra
ca
o.- Denotemos por C o fecho da capsula convexa do conjunto
simples verificar que C e convexo e que u e um ponto de
{u ; N}. E
acumulacao de C. Portanto existe uma seq
uencia v de combinac
oes convexas
de u , que convergem forte para u. A prova agora est
a completa
Lema 3.4.1 Seja V um subespaco vetorial de Rm , e seja x0 Rm tal que
x0 6 V , ent
ao existe uma funca
o linear f : Rm R tal que
f(x) = 0,
x V,
f(x0 ) = 1
Demonstra
ca
o.- Como x0 6 V , temos que dim(V )< m. Denotemos por
{w1 , , wj }
uma base de V . Como x0 6 V , denotando por wj+1 = x0 temos que o conjunto
{w1 , , wj , wj+1 }
Captulo 3. Os Espacos Lp
52
m
X
i wi
i=1
i 6= j,
f(wj ) = 1
1 i m,
(x) = 0.
Ent
ao existem n
umeros reais 1 , n tais que
=
m
X
i i
i=1
Demonstra
ca
o.- Denotemos por F o funcional
F (x) = [(x), 1 (x), , m (x)]
Claramente temos que
F : E Rm+1 .
53
x E.
Note que
[(x), 1 (x), , m (x)] = (x)e1 +
m
X
i (x)ei+1
i=1
3.5
m
X
i=1
i (x) g(ei+1 ) = 0
| {z }
:=1
Lema de Mazur
onde k satisfaz
m
X
k = 1
k=l
Demonstra
ca
o.- Do Teorema 3.4.3 existe uma seq
uencia (v ) de combinac
oes
convexas da seq
uencia u que convergem forte para u. Portanto, existe um
subseq
uencia de (v ) que a denotaremos da mesma forma que converge quase
sempre em . Isto significa que dado > 0 existe N tal que
|vN (x) u(x)| < .
Como v e uma conbinac
ao convexa de elementos de (u )N segue a relac
ao
(3.1). A prova est
a completa.
Captulo 3. Os Espacos Lp
54
3.6
Teorema da representa
c
ao de Riesz para Lp
Demonstra
ca
o.- Pela definic
ao de norma de um funcional linear limitado,
teremos que
Z
kT k = sup T (v);
|v|p dx = 1 .
|u | + |u | dx
dx
2
2
2
Z
qp Z
pq
u + u p
1
p
p
+
|u | + |u | dx
dx
2
2
q
1
kT kq
T (u + u ) + 1 0
Z
u + u p
dx
1
2
q
1
q
kT k
T (u + u ) + 1
2
55
Demonstra
ca
o.- Sem perda de generalidade, podemos supor que kT k = 1.
Do Lema 3.6.1 existe uma func
ao u tal que
Z
|u|p dx = T (u) = kT k = 1.
1+t
|v| dx =
Z
Z
u + tv u tv p
u + tv u tv p
2 + 2 dx +
2 2 dx
Z
Z
1
1
p
p
|u + tv| dx +
|u tv| dx
2
2
Z
p 1
1
p
1 + T (v)t +
|u tv| dx,
2
2
au
ltima desigualdade e v
alida porque kT k = 1. De onte obtemos que
Z
Z
1
p1
p
p
p
t
(|1 + tT (v)| 1) + ( |u tv| dx 1) .
|v| dx
2t
|u|p2uv dx v Lp (),
|u|p2 uv dx v Lp ().
|u|p2u
Captulo 3. Os Espacos Lp
56
3.7
Converg
encia fraca em Lp
Existe ent
ao um subseq
uencia de (u )N que denotaremos por u satisfazendo
Z
lim
uk dx = T .
k
lim
uk1 1 dx =
Z
lim
uk2 2 dx =
Z
lim
ukm m dx =
T1 ,
T2 ,
Tm .
A subseq
uencia (ukk ) e uma subseq
uencia de todas as seq
uencias anteriores de
(ukm ), de onde segue que
Z
lim
ukk k dx = Tk .
k
57
simples verificar
Denotemos por V o espaco generado pela seq
uencia ( ). E
que para todo v V teremos
Z
lim
u k v dx = Tv ,
(3.2)
k
onde
v=
l
X
ci i ,
Tv =
i=1
l
X
ci Ti .
i=1
T (v) := Tv
Note que T e continuo em V . De fato
Z
T (v) = lim
ukk k dx kukk kp kvkq
k
v Lq ()
3.8
Converg
encia fraca em L1
(A) = 0
A ,
Captulo 3. Os Espacos Lp
58
ent
ao existe uma u
nica funca
o f L1 (RN ) (unicidade exceto um conjunto de
medida nula) tal que
Z
(A) =
f(x) dx
fraco em
L1 ()
Demonstra
ca
o.- Seja v L (). Mostraremos que existe uma subseq
uencia
uk satisfazendo
Z
Z
uv dx| < .
(3.3)
|
uk v dx
segue ent
ao que
|(E)| ,
portanto (E) = 0. Do Teorema de Radon Nikodim existe uma func
ao u
L1 () tal que
Z
u dx.
() =
59
Lp (),
forte em
a.e. .
Do Teorema de Egorov, segue que para todo > 0 existe um conjunto mensur
avel E tal que med(E) < e ainda satisfaz
uniforme \ E.
De onde segue
Z
uk v dx
uv dx =
uk (v l ) dx +
(uk u)l dx
u(v l ) dx
Como
Z
Z
uk (v l ) dx +
uk (v l ) dx
E
E
Z
Z
|v l |L
|uk | dx +
|uk | dx;
uk (v l ) dx =
|u | dx < ,
que implica
(uk u)l dx ,
3.9
Converg
encia forte em Lp
Nesta sec
ao estabeleceremos condic
oes que uma seq
uencia deve satisfazer para
que ela convirja forte em Lp . Comecaremos com o seguinte teorema.
Captulo 3. Os Espacos Lp
60
Demonstra
ca
o.- Como
Z
Z
Z
u v uv dx
|(u u)v | dx + u(v v ) dx
Das hip
oteses sobre as seq
uencias, temos que para todo > 0 existe N > 0 tal
que
Z
Z
|u u| dx < , |
u(v v ) dx| < N
q.s. em
limitado em
Lp (),
fraco em
Lp ()
Demonstra
ca
o.- Pelo Teorema de Egorov existe um subconjunto de
satisfazendo
u u uniforme em ,
f(u ) f(u)
uniforme em
med ( ) q
onde 1/p + 1/q = 1. Assim temos que
f(u ) f(u)
forte em
Lp ( ),
para cada C0 (). Isto implica que para todo > 0 existe N > 0 tal que
Z
|f(u ) f(u)| || dx N
(Z
61
{f(u ) f(u)} dx +
q
CkkL +
|| dx
) q1 (Z
{f(u ) f(u)} dx
p
|f(u ) f(u)| dx
) p1
+
Ckv kLq () + c
0 fraco em L p ().
Captulo 3. Os Espacos Lp
62
3.10
Conjuntos compactos em Lp
Demonstra
ca
o.- Sem perda de generalizade podemos supor que = RN ,
e = {e
caso contrario podemos considerar o conjunto K
u, u K}. Suponhamos
p
que K seja um compacto de L , ent
ao dado > 0 existe um n
umero finito de
func
oes i satisfazendo:
K m
i=1 B (i )
N
em L (R ), podemos supor que i C0 (R ). Denotemos por
Br = x RN ; kxk < r .
i = 1, m.
RN \G
RN
x Br+1 .
/3
63
Z
p
N (y) {u(x y) u(x)} dy
R
Z
p
1
1 p1
p
N (y) (y) {u(x y) u(x)} dy
R
Z
q1 Z
dx
(y)| {u(x y) u(x)} |p dy
RN
RN
Z
(y)| {u(x y) u(x)} |p dy
=
=
B (0)
|h|
Da condic
ao (i) segue que
Z
lim
0
RN
| u(x) u(x)|p dx = 0.
Captulo 3. Os Espacos Lp
64
(1 + 2p+1 )
3.11
Demonstra
ca
o.- Nos restringiremos ao caso unidimensional, no intervalo
[0, 1]. A prova para o caso do RN e an
aloga. Note que
kf kL = kfkL .
Mostraremos que
f
f=
f(x) dx
f(x) dx
(x) dx.
65
[a,b] f (x) dx
(b a)
f(x) dx.
Como
Z
[a,b] f (x) dx =
f(x) dx
f(x) dx,
f (x) dx
f(x) dx,
f(x) dx =
f(x) dx.
[]
f (x) dx =
1
f(x) dx +
f(x) dx
[]
Note que
1 []
e como
[]
1
Z
Z
Z 1
[]+1
f dx
|f| dx =
|f| dx
[]
[]
0
lim
f(x) cos(kx) dx = 0.
Captulo 3. Os Espacos Lp
66
Demonstra
ca
o.- Basta observar que tanto o seno e o cosseno s
ao func
oes
perodicas de perodo T = 2. Como
Z 2
Z 2
sen (x) dx = 0,
cos(x) dx = 0.
0
Segue o resultado.
Exemplo 3.11.1 Seja f : [0, 2] R a funca
o dada por
x
se 0 x 1,
f(x) =
2 x se 1 x 2,
y = F (x)
6
?
Z
f(x) dx = 1.
g L (0, 2).
Ent
ao J e um funcional semicontnuo inferiormente se e somente se F e uma
funca
o convexa.
67
Demonstra
ca
o.- Suponhamos que J seja um funcional semicontnuo inferiormente e tomemos u tal que
u u fraco estrela em L (),
ent
ao da hip
otese segue que
lim inf
F (u ) dx
F (u) dx.
meas(D1 ) =
fraco estrela em
L ().
Definamos a seq
uencia
u := v + (1 )w.
Nestas condic
oes, e simples verificar que
u
u + (1 )w
fraco estrela em
L (R)
e ainda
F (u ) = F (v) + (1 )F (w)
Das hip
oteses sobre F e como meas(D) = 1 teremos
Z
lim inf
F (u ) dx = J(u) + (1 )J(w)
u em L ().
Captulo 3. Os Espacos Lp
68
Lp ()
fraco em
para todo p > 1. Como todo conjunto fechado e convexo na topologa forte
e tambem um conjunto fechado na topologa fraca, segue que existe uma
seq
uencia formada de combinac
oes convexas tal que para todo > 0, existe
N () > 0 satisfazendo
m
X
k uk u < q.s. em ,
k=j
para j grande suficiente onde os coeficientes k satisfazem
k 0,
m
X
k = 1;
k=j
F (u) dx
m
X
F(
k uk ) dx
k=j
m
X
F(
k uk ) dx +
m
X
k=j
k=j
F (uk ) dx.
m
X
k=j
F (u ) dx.
F (u ) dx + 2
Como e um n
umero positivo qualquer segue nosso resultado
69
3.12
Os espacos Lp para p 1 s
ao bastante ricos em propriedades, entre outras
coisas devido a desigualdade de Minkowski, que faz com que Lp seja um espaco
normado. A desigualdade de Miskowski, n
ao e v
alida para 0 < p < 1, mas
mesmo assim podemos dar uma estrutura de espaco metrico para os espacos
Lp com p ]0, 1[.
Proposi
ca
o 3.12.1 O espaco Lp e um espaco vetorial completo.
Demonstra
ca
o.- De fato, denotemos por (f) o seguinte funcional
Z
(f) =
|f|p dx
p
(a + b) ap + bp
portanto teremos que
(f + g) (f) + (g)
d(f, g) = (f g)
Com o auxilio do Lema 1.4.1 podemos verificar que de fato d(, ) e uma metrica
e de forma an
aloga ao caso p > 1 podemos mostrar que Lp e completo. (Veja
exerccios).
A deficiencia destes espacos e que sua topologia e bastante pobre. A
seguinte proposic
ao ilustra este fato
Captulo 3. Os Espacos Lp
70
Proposi
ca
o 3.12.2 Os u
nicos convexo abertos de Lp s
ao e o proprio Lp .
Demonstra
ca
o.- De fato, raciocinemos pelo absurdo. Suponhamos que V seja
um conjunto convexo e aberto. Sem perda de generalidade, podemos supor que
0 V. Ent
ao existe r > 0 tal que a bola
Br (0) = {v Lp ; (v) < r} V.
Tomemos f Lp . Mostraremos que f V, o que mostrar a proposic
ao. Como
p < 1 existe um n
umero inteiro positivo M suficientemente grande tal que
M p1 (f) < r.
Por simplicidade trataremos o caso unidimensional: =]a, b[. Com as mesmas
ideias pode-se mostrar o caso n-dimensional. Denotemos por P a uma partic
ao
de ]a, b[, P = {a = x0 < x1 < xM = b}satisfazendo:
Z
xi
xi1
1
(f)
M
|f(x)|p dx =
(3.5)
xi
xi1
|M f(x)|p dx = M p
xi
xi1
M
X
1
gi (t)
M
i=1
Portanto V = Lp
Este resultado traz como conseq
uencia um resultado curioso que resumimos na
seguinte proposic
ao
Proposi
ca
o 3.12.3 O dual do espaco Lp para 0 < p < 1 e {0}.
71
3.13. Exerccios
Demonstra
ca
o.- Seja T (Lp ) , isto e T e un funcional linear e contnou.
Portanto preimagenes de abertos convexos de R, devem ser convexos abertos
de Lp (veja exerccio). Pela Proposic
ao 3.12.2 teremos que
T (Lp ) ]a, b[
]a, b[ R
em particular
T (Lp ) ] , [
> 0
3.13
Exerccios
do RN . Mostre que
p 1
ent
ao teremos que u L () mais ainda
lim kukp = kuk
Captulo 3. Os Espacos Lp
72
Captulo 4
Distribui
c
oes
bem mais belo saber alguma coisa de tudo
E
do que saber tudo de alguma coisa
B. Pascal
4.1
Introduc
ao
Na figura acima o peso da corda pode ser considerada uma forca distribuida
constante a cada centrmetro quadrado. A forca resultante sobre a corda ser
a
igual a area do gr
afico, isto e L, atuando sobre o centro de masa da corda de
comprimento L. Em geral se a func
ao n
ao e homogenea ent
ao a func
ao n
ao
sera constante, portanto a forca resultante por cada unidade de comprimento
dx ser
a igual a f(x)dx, somando cada uma destas unidades, encontramos que
RL
a resultante estar
a dada pela integral 0 f(x) dx.
73
74
Captulo 4. Distribuicoes
Considere agora uma forca distribuida apenas numa parte de uma barra de
comprimento L, considere o comprimento da barra despresvel em comparac
ao
de uma outra massa colocada acima da barra.
f(x)=/L0
f(x)=/L0
L-L0 /2
L-L0 /2
L0
L-L0 /2
L-L0 /2
L0
f(x)=/L0
L-L0 /2
L-L0 /2
L0
L
Observe que para cada uma das figuras acima, a forca resultande aplicada
sobre a barra e igual a . De fato, tomando nosso sistema de referencia sobre
o extremo inicial da barra teremos que a forca resultande agindo sobre ela e
dada por
Y
f(x)=/L0
L-L0 /2 L+L0 /2
fL0 (x) =
/L0
0
se
se
L+L0 /2
LL0 /2
dx = .
L0
75
Au
nica diferenca e que ela esta aplicada sobre regi
oes de menores em amplitude
sobre a barra. Uma forca pontual sobre a barra ser
a o limite quando L0 0.
O que significa que a forca distribuida ou a densidade de forca estar
a dada por
se x = L/2
f0 (x) =
0 se x 6= L/2
Porem deacordo com o desenvolvido acima teremos que
Z L
Z L+L0 /2
dx = .
F=
f0 (x) dx = lim
L
0
L
0
0
0
LL0 /2
Uma funcao F satisfazendo as duas propriedades acima n
ao e uma func
ao
usual. Porem as propriedades de uma forca pontual agindo sobre uma barra
de comprimento L estar
a dada pelo limite da func
ao fL0 como definida acima.
Esta func
ao e chamada de delta de Dirac. Precisamos ent
ao extender nosso
conceito de funcoes, para as chamadas func
oes generalizadas, ou distribuic
oes
de Schwartz.
Antes de definir os espacos de Distribuic
oes faremos uma breve introduc
ao
aos Espacos vetoriais topol
ogicos.
4.2
Espa
cos vetoriais topol
ogicos
Defini
ca
o 4.2.1 Diremos que (X, ) e um espaco topol
ogico, se X e um conjunto n
ao vazio e e uma coleca
o de subconjuntos de X chamados de abertos
satisfazendo as seguintes propriedades:
(i) X e pertencem a
(ii) A interseca
o finita de abertos e aberta e a uni
ao arbitraria de abertos e
aberta.
A coleca
o e chamada de topologia de X.
A seguir enumeraremos os conceitos mais utilizados nos espacos topol
ogicos:
Diremos que um conjunto e Fechado se seu complemento e um aberto.
O Fecho E de E e a intersec
ao de todos os fechados que contem a E
76
Captulo 4. Distribuicoes
Um subconjunto K de X e chamado de Compacto se todo cobertura
aberto de K possui uma subcobertura finita.
Uma subcolec
ao G e chamada de base de uma topol
ogia se todo
membro de pode ser expressado como uni
ao dos elementos de G.
Uma colec
ao de vizinhancas de um ponto p e chamada de Base local
em p, se toda vizinhanca de p contem um membro de .
Um conjunto A e chamado de Absorvente se para todo x E existe
um t > 0 tal que tx A.
Um conjunto B e chamado de Balanceado se tB B, para todo |t| < 1.
Defini
ca
o 4.2.2 Diremos que E munido da topologia e um Espaco Vetorial
Topol
ogico se todo ponto de E e um conjunto fechado e as operaco
es, soma e
produto por um escalar, s
ao contnuas com respeito a
` topologia .
Definamos os operadores Ta e M como
Ta (x) = x + a,
M (x) = x
Os operadores Ta : E E e M : E E, s
ao bijec
oes lineares e contnuas,
portanto s
ao homeomorfismos topologicos de E sobre E. Como conseq
uencia,
toda topologia de um espaco vetorial topol
ogico e invariante por translac
oes.
Isto e S E e um aberto se e somente se a + S e um aberto. Portanto est
a
completamente definida por qualquer base local.
A seguir definiremos o conceito de conjunto limitados em espacos topol
ogicos,
onde n
ao necessariamente existe definida uma metrica.
Defini
ca
o 4.2.3 Diremos que um subconjunto B e um conjunto limitado de
um espaco vetorial topol
ogico X, se para toda vizinhanca V de 0 em X existe
s > 0 tal que
B tV, t > s
Faremos agora uma lista dos diferentes espacos topol
ogicos que aparecem
com mais freq
uencia.
Um EVT e chamado de Localmente Convexo se existe uma base local
cujos membros s
ao convexos.
Diremos que um EVT e Localmente Limitado, se 0 possui uma vizinhanca limitada no sentido da Definic
ao 4.2.3.
Diremos que um EVT e Localmente Compacto, se 0 possui uma vizinhanca cujo fecho e compacto.
Um EVT e Metriz
avel se sua topologia e inducida por uma metrica.
77
se todo fechado e
Defini
ca
o 4.2.4 Seja E um espaco vetorial e p uma funca
o a valores reais.
Diremos que p e uma seminorma se satisfaz as seguintes propriedades
(i) p(x + y) p(x) + p(y)
(ii) p(x) = ||p(x)
Se alem das propriedades acima tambem temos que
p(x) = 0
x=0
ent
ao diremos que p e uma norma.
Da definic
ao acima segue que p e n
ao negativo. Para verificar isto, veja
que do item (ii) segue que p(0) = 0. Assim aplicando a condic
ao (i) para
y = x teremos que 0 = p(0) p(x) + p(x). Aplicando a condic
ao (ii)
concluimos que p(x) 0. Outra propriedade imediata de verificar e que o
conjunto {x; p(x) = 0} e um subespaco vetorial de E, e que o conjunto B =
{x E; p(x) < 1} e convexo e absorvente. (Veja Exerccios)
4.3
Espa
cos das func
oes testes
Para facilitar a an
alise introduzimos as seguintes notac
oes, = (1 , ..., n)
Nn , x = (x1 , ..., xn) Rn e por
|| =
n
X
i=1
i ;
n
1 2
x = x
1 x2 xn ,
D = (
1
n
) (
) .
x1
xn
O conjunto C k ()
Denotaremos por C k () o espaco dado por
C k () = {f C(); D f C() Nn ,
|| k} .
78
Captulo 4. Distribuicoes
An
alogamente, seja O um conjunto aberto e limitado de RN , tomando K = O
o fecho do conjunto O, podemos definir o conjunto C k (K) de func
oes k vezes
diferenci
aveis. Neste caso, a norma k k
kfkk, =
sup
xK,||k
|D f(x)|,
Faz com que o espaco C k (K) seja completo. A ideia e utilizar estas normas
para definir uma metrica onde C k () seja completo quando aberto do RN .
Para isto decomporemos em componentes compactas. Isto e tomemos Ki
uma seq
uencia de conjuntos compactos satisfazendo
0
Ki Ki+1
(interior de Ki+1 ),
= iN Ki
X
2i pi (f g)
,
1 + pi (f g)
i=1
79
Fun
c
oes Infinitamente diferenci
aves
Denotaremos por C () ao conjunto de funcoes infinitamente diferenciais sobre , em simbolos:
C () = {f C(); D f C()
Nn } .
De forma an
aloga ao caso de func
oes k vezes diferenci
aveis podemos definir
uma topologia, e uma metrica, que faz de C () um espaco de Frechet, com
a propriedade de Heine Borel, isto e, todo fechado e limitado de C () e um
compacto. Para isto, tomemos uma colec
ao de compactos Ki , tais que
0
Ki Ki+1
(interior de Ki+1 ),
= iN Ki
X
2i i (f g)
.
1 + i (f g)
i=1
O espa
co C0 ()
As func
oes polin
omicas, exponenciais, trigonometricas s
ao exemplos de func
oes
infinitamente diferenciais. Mais func
oes que sejam infinitamente diferenci
aves
e que se anulem fora de um conjunto compacto n
ao s
ao func
oes elementares.
Considere por exemplo a func
ao
(
1
se |x| < 1
e 1|x|2
f(x) =
0
se |x| 1
simples verificar que f e infinitamente differenci
E
avel em todo R e se anula
conveniente introduzir o conceito de suporte de uma
fora do intervalo [0, 1]. E
func
ao.
80
Captulo 4. Distribuicoes
Defini
ca
o 4.3.1 Seja f : R uma funca
o contnua. Chamaremos de
soporte de f ao conjunto que denotaremos por Supp(f) e definiremos como
Supp f = {x ; f(x) 6= 0}.
Usando convoluc
oes encontramos uma variedade maior de func
oes infinitamente
diferenci
aveis com suporte compacto.
Exemplo 4.3.1 Denotemos por = R, e consideremos f : R R ent
ao
temos que
Se f(x) = ex ent
ao Supp f = R
81
C0 () quando
(i) Existe K tal que supp{ } K, e
em C
I
D(K)
e um distribuica
o de ordem zero.
82
Captulo 4. Distribuicoes
contnua em . Ent
ao a distribuica
o D Tv e um distribuica
o de ordem ||.
Exemplo 4.3.4 A funca
o Delta de Dirac, e uma distribuica
o de ordem zero.
A derivada de primeira ordem da funca
o Delta de Dirac, e uma distribuica
o
de primeira ordem.
Exemplo 4.3.5 Definamos a aplicaca
o T : D(R) R da seguinte forma
X
di
(i)
hTv , i =
dxi
i=1
Onde x0 e a funca
o de Dirac, dada por
hx0 , i = (x0 )
Demonstra
ca
o.- A condic
ao Supp(T ) {x0 }, significa que a distribuic
ao T
se anula sobre o conjunto \ {x0 }. Sem perda de generalidade podemos supor
83
00 (0) = 0,
000 (0) = 0
(4.1)
implica que
T () = 0.
De fato, pela continuidade dado > 0 existe uma vizinhanca ] , [ tal que
|000(x)| ,
|x| .
|0 (x)| c|x|2,
(4.2)
2
r > 0, x ] 1, 1[.
teremos que
Supp r B( , 0) B(, 0)
2
Usando as f
ormulas de Leibnizs teremos que
(r )(3)(x)
=
=
8
4
1
C|x|3 + 3 2 C|x|2 + 5 C|x| + C
3
C0 .
(4.3)
84
Captulo 4. Distribuicoes
00 (0) = 0,
000 (0) = 0
T () = 0.
Pelo Lema 3.4.2 segue o resultado, isto e existem constantes ci tais que
T () =
3
X
ci
i=1
4.4
di
(x).
dxi
Fun
c
oes de decrescimento r
apido
||N xRn
m N,
N N
e que
|x|
C0 (RN ) S
Sobre o conjunto S podemos definir uma metrica d, da seguinte forma:
d(u, v) =
mN
m (u v)
+ m (u v))
2m (1
sup (1 + |x|2 )m |(D f)(x)|
||m xRn
85
uniforme em
RN
T ( )
n
o
nm en/2 sup sup (1 + ||2 )m |(i)()|
im R
m n/2
cm n e
n 0 em
Por outro lado
Tf (n )
S(R).
ex n (x) dx
RN
portanto f 6 S (R)
ex n (x) dx
Z
n/2
e
(x/n) dx
xn
Z
nen/2
() d
xn
x1
86
4.5
Captulo 4. Distribuicoes
Transformada de Fourier
Demonstra
ca
o.- A propriedade (i) obtem-se fazendo integrac
ao por partes.
Demostraremos a identidade (ii). Para isto utilizaremos o Teorema de Fubini.
De fato,
Z
RN
f geix d
RN
RN
RN
=
=
=
RN
f( y)g(y) dyeix d
RN
f( y)g(y)eix ddy
RN
f( y )eix dg(y)dy
| {z }
:=
87
n Z
Note que
|gm (y)| |f(y)|,
RN
f(y)eiyxm dy
|
{z
}
:=gm (x)
f(y)eiyxm dy
f(y)eiyx dy
N
N
2
2
R
R
Isto e
F (f)(xm ) F (f)(x)
De onde segue a continuidade. Em resumo temos que
F : L1 (RN ) C(RN ) L (RN )
Proposi
ca
o 4.5.2 A transformada de Fourier de uma funca
o r
apidamente
decrescente e tambem uma funca
o r
apidamente decrescente. Isto e
F : S(RN ) S(RN )
Demonstra
ca
o.- Temos que provar que
(1 + ||2)m |F()()| Cm ,
Rn
|| M > 0.
88
Captulo 4. Distribuicoes
|| M > 0.
Em geral teremos
Z
(y)eiy dy 1 k(m) kL1
||m
R
|| M > 0.
(1 + ||2)m |F()()| =
(1 + ||2 )
n Z
(y)eiy dy
R
(1 + ||2 )m (2m)
k
kL1
||m
Ck(2m)kL1
|| M > 0.
Portanto, F () S.
2
Demonstra
ca
o.- Denotemos por f() = F (eax )(), e simples verificar que
a derivada da func
ao
Z
2
1
f() =
eay eiy dy
2 R
satisfaz
i
f 0 () =
2
f () =
2a 2
0
f()
2a
f() = f(0)e
/4a
89
eay dy =
segue o resultado.
Outra relac
ao importante e dada no seguinte Lema
Lema 4.5.2
sen x
dx =
x
2
Demonstra
ca
o.- Este valor pode ser calculado usando a func
ao
Z
sen x
F (t) =
ext
dx
x
0
De fato, note que o valor que desejamos calcular e dado por F (0). Por outro
lado e simples verificar que
lim F (t) = 0.
(4.4)
t
Derivando a func
ao F teremos que
F 0 (t) =
ext sen x dx
1 0
1
)F (t) = 2 ,
t2
t
F 0 (t) =
1
1 + t2
c = arctag =
n Z
f(x)eixy dx
RN
90
Captulo 4. Distribuicoes
RN
Demonstra
ca
o.- De fato, consideremos
Z
n Z Z
2
v(y)u()eiy eixy d dy
v(y)F (u)eixy dy =
N
N
N
R
R
R
Z
n Z
=
2
u()
v(y)ei(x)y dy d
RN
RN
Z
=
u()F v( x) d
RN
RN
Demonstra
ca
o.- Do Lema 4.5.3 temos que
Z
Z
v(y)F ()eixy dy =
( + x)F (v) d.
RN
RN
Seja
v(x) = e|x|
/2
v (y)F ()(y)eixy dy
RN
n
n
( + x)e
/22
RN
RN
/2
dy = (2)n
91
RN
Demonstra
ca
o.- De fato, considere
Z
RN
|| dx =
=
=
=
dx
n Z
2
Fe(F ()) dx
RN
Z
n
2
F ()Fe() dx
RN
n Z
2
F ()F () dx
RN
RN
4.6
Transformada de Fourier em L2
Para func
oes em L2 , o produto com eixy n
ao e em geral uma func
ao L1 .
Portanto a integral
Z
f(x)eix dx
RN
n
ao est
a definida neste espaco. Utilizando a identidade de Plancherel definiremos a transformada de Fourier no espaco L2 (RN ) por densidade. De fato, seja
u uma func
ao de L2 (RN ), ent
ao existe uma seq
uencia de func
oes em S(RN )
tais que
u forte em L2 (RN )
92
Captulo 4. Distribuicoes
Defini
ca
o 4.6.1 A transformada de Fourier de uma distribuica
o temperada
T , e definida como a distribuica
o T satisfazendo
T() = T ()
Antes de considerar alguns exemplos provaremos um conhecido Lema,
Lema 4.6.1 Seja F uma funca
o contnua, e com derivadas laterais. Ent
ao e
v
alido
Z b
sen k(x x0 )
lim
F (x)
dx = F (x0 )
k0 a
x x0
Demonstra
ca
o.- Consideremos a seguinte identidade
Z
sen k(x x0 )
F (x)
dx =
x x0
F (x) F (x0 )
sen k(x x0 ) dx (4.5)
x x0
a
Z b
sen k(x x0 )
+F (x0 )
dx
x x0
a
sen k(x x0 )
dx =
x x0
k(bx0)
k(ax0)
k(ax0)
sen
dx
sen
dx +
k(bx0)
sen
dx
sen k(x x0 )
dx =
x x0
T1 () = T1 ()
93
1=
sen x
dx = 2(0)
x
20
T1 () = T1 () =
dx = 2 Fe()(0)
= 2(0) = 20 ()
R
Portanto, T1 = 20 .
lim
2
lim
2
=
=
sen yeixy dy
( Z
)
Z
1
1 i(x1)y
1 i(x+1)y
lim
e
dy
e
dy
2i
2 2i
1
isen ((1 x) isen ((1 + x)
lim
1x
1+x
2
Tsen = i
1 i
1
2
2
94
Captulo 4. Distribuicoes
4.7
Aplicac
ao a equac
ao do calor
4.7.1
Deduc
ao Fsica do Modelo
y
= ku .
(4.6)
95
onde por dV estamos denotando o diferencial de volume. Portanto, a quantidade de calor em toda a regi
ao R e de
Z
QT otal =
c0 (y(x, t + h) y(x, t))dV.
R
]t, t + h[.
c0
y
(x, 0 ) dV =
t
y
dS.
Fazendo h 0 obtemos:
Z
Z
y
y
c0 (x, t) dV = k
(x, t) dS
t
R
S
Das f
ormulas de Green segue
Z
Z
y
c0 (x, t) dV = k
y(x, t) dV.
t
R
R
Sendo R uma regi
ao qualquer do material, conclumos que:
c0 yt = ky,
em
]0, T [.
Por outro lado, a temperatura inicial do material deve ser uma func
ao y0 conhecida, isto e,
y(x, 0) = y0 (x)
em
.
Devemos ter tambem informac
ao da soluc
ao na fronteira de . Por exemplo,
o valor da temperatura, isto e,
y(x, t)| = g(x, t).
onde g e uma func
ao conhecida. Esta condic
ao de contorno e chamada de
Condic
ao de Dirichlet.
Outra condic
ao de contorno caso n
ao seja conhecido o valor de y no bordo
de e a seguinte
y
k (x, t)| = q(x, t).
96
4.8
Captulo 4. Distribuicoes
Solu
c
ao da equac
ao do calor no RN
Rn ]0, [
em
Rn
y = e|| t y0 ().
Pela parte (ii) da proposic
ao 4.5.1 teremos que
n
2
1
y =
F (Fe(e|| t ) Fe(
y0 ))
2
n
|x|2
1
1
=
F (( )n e 4t y0 )).
t
2
Depois de tomar transformada inversa, segue que
Z
|x|2
1 n
y = (
)
e 4t y0 () d.
2t
RN
(4.8)
97
4.9. Exerccios
pois n
ucleo da convoluca
o,
S(x, t) := (
1 n |x|2
) e 4t
2t
e uma funca
o que pertence a L1 (RN ), e ainda satisfaz:
Z
|x|2
1 n
)
e 4t dx = 1
(
2t
RN
(ii) Se m y0 (x) M ent
ao a soluca
o da equaca
o do calor satisfaz: m
y(x, t) M para todo t > 0. Esta propriedade e conhecida como Principio do m
aximo da equaca
o do calor.
(iii) A norma de y em L2 (RN ), ky(, t)kL2(RN ) decai uniformente quando
t , isto e
C
ky(, t)kL2 (RN ) ky0 kL2 (RN )
t
o que define o Comportamento Asint
otico da soluca
o.
(iv) Como a funca
o S(x, t) e uma funca
o infinitamente diferenci
avel para x
RN e t > 0 a convoluca
o y = S y0 e tambem uma funca
o infinitamente
diferenci
avel para t > 0. Note que esta propriedade n
ao depende do dado
inicial. Isto e o dado inicial y0 pode ser irregular que a soluca
o y ser
a
infinitamente diferenci
avel para t > 0. Esta propriedade e conhecida
como Efeito Regularizante
4.9
Exerccios
2. Mostre que x 7 ex n
ao e uma distribuic
ao temperada, mais e uma
distribuicao de D(RN )
3. Seja D(RN ) e T D0 (RN ). Alguma das relac
oes
T = 0,
T () = 0
implica a outra
4. Seja u D0 (R), mostre que
u x u
Du,
x
em D0 (R)
98
Captulo 4. Distribuicoes
5. Mostre que a func
ao x 7 ex cos (ex ) e uma distribuic
ao temperada.
6. Mostre que C0 (RN ) e denso em S(RN )
ent
ao u Lp (RN ).
|x|
13. Seja p uma seminorma. Mostre que o conjunto {x; p(x) = 0} e um subespaco vetorial de E, e que o conjunto B = {x E; p(x) < 1} e convexo
e absorvente. (Veja Exerccios)
14. Seja Rn . Considere o espaco Lp () com 0 < p < 1. Mostre que as
bolas
Z
p
p
Br (0) = f L ();
|f| dx < r
Captulo 5
Espa
cos de Sobolev
Quando puder avaliar o que est
a falando
e exprimirlo por n
umeros, voce sabe algo
a respeito disso; mas quando n
ao conseguir avaliar,
nem exprimir por n
umeros, seu conhecimento e medocre
e n
ao pode lhe dar satisfaca
o
Sir W. Thomson
5.1
Os espacos W m,p
u
dx =
vi dx
xi
Seja m um n
umero n
ao negativo e p satisfazendo 1 p . Denotaremos
por k km,p , a express
ao
1/p
X Z
kukm,p =
|D u|p dx
, quando 1 p <
0||m
kukm,
max kD uk
0||m
D v Lp ()
|| m,
no sentido distribucional}
99
100
Uma conjetura que ficou em aberto por muitos anos foi se a igualdade
H m,p () = W m,p ()
era verdadera. Este resultado foi mostrado por Meyers e Serrin [28] em 1964.
Como conseq
uencia de que o espaco W m,p () e completo temos a seguinte
inclus
ao:
W m,p () H m,p ()
Denotemos agora por W0m,p () o fecho do espaco C0 () com respeito a`
0
norma de W m,p (). O dual deste espaco e denotado por W m,p ().
m,p
Uma das propriedades de W0 () est
a resumida no seguinte teorema.
Teorema 5.1.4 Se v W0m,p ()C m () ent
ao teremos que D v(x) = 0 para
x e para todo || m 1.
101
Demonstra
ca
o.- Como v W0m,p () teremos que existe uma seq
uencia de
func
oes v C0 () satisfazendo
v
v,
forte em W m,p ()
Usando as f
ormulas de Gauss encontramos que
Z
Z
v
dx =
v
dx C 1 ()
xi
xi
v
v
dx =
v
dx =
dx vi d.
xi
xi
xi
vi d = 0 C 1 ()
Demonstra
ca
o.- Fixemos Nn tal que || m. Se u e uma func
ao de
W m,p (), ent
ao existe uma func
ao v em Lp () tal que
Z
Z
uD dx = (1)||
v dx
| {z
}
=C
102
Da hip
otese temos que T e um operador linear e continuo definido sobre Lp (),
portanto pelo teorema da Representac
ao de Riez, existe uma func
ao v satisfazendo:
Z
Z
v dx = T () =
uD dx
Ent
ao existem funco
es j C0 (B) tais que
Z bj
j (x) dx = 0
aj
e ainda
(x) =
n
X
j (x)
j=1
Demonstra
ca
o.- Consideremos primeiro o caso n = 3. Definamos
Z b1
Z b1 Z b2
(t1 , t2 , x3) dt1 dt2 .
(t1 , x2 , x3 ) dt1 , 3 (x3 ) =
2 (x2 , x3 ) =
a1
a1
R bj
aj
2 = u1 2 ,
a2
uj dx = 1. Definamos
3 = u1 u2 3 .
Logo
1 = 2 ,
2 = 3 2 ,
3 = 3 .
Satisfaz as condic
oes do teorema. Cosideremos o caso geral. Para j N
Rb
tomemos uj satisfazendo uj C0 (aj , bj ) e ajj uj dx = 1. Denotemos por Bj
e j o conjunto e a func
ao dadas por
Bj =]aj , bj []aj+1 , bj+1 [ ]an , bn [
j (xj , , xn ) =
b1
a1
103
b2
a2
bj1
aj1
respectivamente. Tomemos
j (x) = u1 (x1 ) uj1 (xj1 )j (xj , , xn).
Note que j C0 (Bj ) e j C0(B). Alem disso teremos que
Z
Z
j (xj , , xn) dxj dxn =
(x) dx = 0
Bj
As funcoes j est
ao definidas por
1 (x) = 2 ,
n (x) = n ,
j (x) = j j+1 ,
para 2 j n 1
(5.1)
n
X
j .
j=1
Denotemos por
j (x) =
xj
aj
n
X
T (j ) =
j=1
n
X
j=1
T(
j
T
)=
(j ) = 0
xj
xj
104
Caso contrario pelo discutido acima teriamos que T = 0. Denotemos agora por
k1 e k2 os valores,
Z
T (0 ) = k1 ,
0 dx = k2
0 dx.
:=k
(x)
(x) dx
0 (x) = 0
k2
dx
T (0 ) = k
k2
dx
u forte em
W m,p ()
u
e forte em W m,p (RN )
Portanto, u
e pertence a W m,p (RN ).
A seguinte proposic
ao nos da uma condic
ao necess
aria e suficiente para que
uma funcao de Lp () pertenca a W 1,p ()
105
Proposi
ca
o 5.1.2 Seja u Lp (), ent
ao u W 1,p () se e somente se para
todo se verifica
|h| < dist(, c )
(5.2)
Demonstra
ca
o.- Da densidade de C01 () em Lp () podemos supor que u
1
C0 (). Denotando por v(t) = u(x + th), teremos que
u(x + h) u(x) =
=
d
v(t) dt
dt
Aplicando a desigualdade de H
older e elevando a potencia p temos
Z
|Th u u| dx
=
=
|h|
|h|p
|h|p
Z Z
0
1Z
1Z
|u(x + th)| dt dx
|u(x + th)| dx dt
+th
|u(y)| dydt
c|h|kkLp0 ()
para todo h tal que h < dist(, c ). Fazendo uma mudanca de vari
avel, obtemos
Z
Z
{u(x + h) u(x)} dx =
u(x) {(x + h) (x)} dx,
106
(x h) (x)
h
dx ckkLp0 () .
dx ckkLp0 ()
u
xi
Para todo C01 (). O resultado segue da Proposic
ao 5.1.1.
5.2
Os espacos W m,p
0
Demonstra
ca
o.- Denotemos por W a imagem do espaco W m,p () pela aplicac
ao
i. Definamos um operador T sobre W como sendo
T (i(u)) = T (u),
u W m,p ()
107
X Z
||N
u v dx.
Demonstra
ca
o.- Do Lema 5.2.1 podemos supor, usando o Teorema de Hanh
Banach se for necessario, que
X Z
T (u) =
D uv dx
||N
T () =
X Z
||N
D v dx
(1)||
||N
D v dx
Observa
ca
o 5.2.1 O resultado anterior nos diz que todo elemento de W m,p
e soma de derivadas de ate ordem m de elementos funco
es em Lp
108
5.3
Partic
ao da unidade
i+1 = (1 1 ) (1 i )i+1 ,
i 1.
Note que j = 0 fora de Bj , o que prova a parte (i). Por outro lado, para toda
i se verifica a identidade
1 + 2 + + m = 1 (1 1 ) (1 i1 )i
De fato, para n = 1 a identidade acima e v
alida. Para verificar que esta
identidade tambem e v
alida para i + 1 no lugar de i, basta somar as duas
identidades anteriores para obter
1 + 2 + + i+1 = 1 (1 1 ) (1 i )i+1
Portanto a identidade e v
alida para todo i N. Como = 1 em Vi segue que
1 (x) + 2 (x) + + m (x) = 1,
x m
i=1 Vi
109
5.4
Aproximac
oes por fun
c
oes suaves
e
0
1
1|x|2
se |x| < 1
se |x| 1
R
Onde e tomado de tal forma que RN (x) dx = 1. Definamos por a
seq
uencia
x
(x) = n ( ).
Esta seq
uencia e chamada de seq
uencia regularizante. As propriedades desta
seq
uencia est
ao resumidas nos seguintes Lemas.
Exemplo 5.4.1 Como uma aplicaca
o da seq
uencia regularizante podemos construir uma funca
o f C0(R) satisfazendo as seguinte propriedades:
|x| 1;
f(x) = 1,
Para isto definamos
h(x) =
f(x) = 0,
|x| 2
1 x ] 23 , 32 [
0 x 6 ] 32 , 32 [
es.
Fasendo f(x) = h(x), para < 12 , se verificam as condico
Lema 5.4.1 Seja u Lp (), ent
ao se verifica que
lim k u ukLp () = 0.
0
Demonstra
ca
o.- Mostraremos que para todo > 0 existe > 0 tal que
<
k u ukLp () < .
110
.
3
RN
|xy|<
Tomando suficientemente pequeno e lembrando que possui suporte compacto, podemos escrever
k kLp () <
.
3
D u = D u =
(y)D u(x y) dy.
O procedimento padr
ao nestes casos e extender a func
ao nula fora de , mais
isto cria problemas com as derivadas. Por enquanto somente mostraremos o
seguinte resultado.
Lema 5.4.2 Seja 0 , nestas condico
es teremos que
u
em
W m,p (0 )
111
Demonstra
ca
o.- Tomemos < dist(0 , ). A derivada no sentido das distribuicoes de u e dada por
Z
Z Z
uD (x) dx =
u
e(x y) (y)D (x) dxdy
0
N
N
R
R
Z Z
||
= (1)
D u
e(x y) (y)(x) dxdy
RN RN
Z
= (1)||
D u(x) dxdy
0
se
se
0 < x < 12
1
2 < x< 1
C ()
1
2
112
Integrando temos,
Z
Z
0
sinal(x) (x) dx =
(x) dx +
0 (x) dx = 0 C0 ()
d
sinal(x) = 0 e portanto x 7 sinal(x) W 1,p (). De
De onde segue que dx
forma an
aloga mostramos que f W 1,p (). Como a derivada e nula em ambos
casos, teremos que
x 7 sinal(x) C (),
f C ().
Portanto o espaco C () n
ao est
a formado apenas por func
oes suaves para
qualquer aberto Rn . Nosso seguinte paso e mostrar que C () e um
conjunto denso em W m,p ()
Teorema 5.4.1 Seja um aberto do RN , ent
ao teremos que
kkW m,p ()
C ()
= W m,p ().
Demonstra
ca
o.- Seja u W m,p (), mostraremos que dado > 0 existe uma
1
(k+1)(k+2)
(x) = 1,
i=1
x .
ent
ao teremos que
.
2k
113
k=1
k (k u)
k+2
X
j u.
j=1
k+1
X
j=1
z + tyx ,
t ]0, 1[
rz r Ux
x
R
@
'
r
yx
@
@
R
%@
114
r
@yx
@
R
@
%
Demonstra
ca
o.- A demonstrac
ao ser
a feita em tres etapas. A primera consiste em mostrar que toda func
ao de W m,p () pode ser aproximada por uma
funcao com suporte limitado que denotaremos por K. Na segunda etapa, explorando o fato que possui a Propriedade do Segmento, construiremos uma
famlia de abertos que cobrem ao conjunto K. Associada a esse cobrimento
utilizaremos as func
oes da partic
ao da unidade para definir as func
oes sobre
cada um dos abertos que cobrem K. O problema central e mostrar que existe
uma func
ao de C0(RN ) que aproximem estas componentes.
Seja f C0 (RN ), satisfazendo
f(x) = 1 se
f(x) = 0 se
|D f(x)| M
|x| 1
|x| 2
0 || m
se
|x|
1
,
|D f (x)| M || M,
para < 1
115
Definamos a func
ao u = f u, note que usando as f
ormulas de diferenciac
ao,
teremos que u W m,p (). Alem disso, o suporte de u e limitado em (n
ao
necessariamente um compacto de ), isto e Supp(u ) 6= . Denotemos
por
1
= x ; |x|
Lembrando a definic
ao de u obtemos que
ku ukW m,p ()
ku u kW m,p ( )
kukW m,p ( ) + kukW m,p ( )
CkukW m,p ( ) 0
6
Z
Z
Z
B
B
Z
Z
Z
C
C
U0
C
C
K
C
C
q
C
?
116
Uej Uj ,
K kj=1 Uej .
n
o
Denotemos por a partic
ao C da unidade subordinada aos abertos Ue0 , Ue1 , , Uek
e por uj = j u para j . Mostraremos que para cada j temos
kuj j kW m,p ()
fazendo =
Pk
j=0
,
k+1
(5.3)
j teriamos
ku kW m,p ()
k
X
j=0
kuj j kW m,p ()
Uej
Uj
Ent
ao, pela propriedade do Segmento, t Uj e ainda temos que t = .
Definamos a func
ao uj,t = uj (x + ty), ent
ao e simples verificar que uj,t
W m,p (RN \ t ). Como as translac
oes s
ao contnuas em Lp ent
ao teremos que
D uj,t
D uj
em
Lp ()
117
(5.4)
Observa
ca
o 5.4.2 Uma condic
ao necess
aria para que a indentidade (5.4) seja
v
alida e que o complemento c de tenha medida nula. De fato, suponhamos
que o complemento c de tenha medida positiva e que (5.4) seja v
alido.
Ent
ao existira um aberto limitado B que interseta e c em conjuntos de
medida positiva. Denotemos por C0 (RN ) tal que (x) = 1 se x B,
ent
ao a restricao de a , pertence a W m,p () e portanto W0m,p ().
Portanto podemos extender a todo o RN como sendo nula fora de . Neste
e
T =0
Observa
ca
o 5.4.3 Todo conjunto (m,p) polar deve ter medida nula. De fato,
se Med(F ) e positiva, denotemos por K um compacto K F tal que Med(K)
seja positiva. Assim definimos TK como sendo a distribuic
ao associada a K
em L1loc (RN ), onde por K estamos denotando a func
ao caraterstica sobre K.
Logo teriamos que
Supp(TK ) F
mas TK n
ao e nula.
Observa
ca
o 5.4.4 Os conjuntos (m,p) polares dependen da dimens
ao, de m
e p. Por exemplo, consideremos W m,p (RN ) tal que mp < n. Ent
ao todo ponto
x0 e um conjunto (m,p) polar. De fato, se
Supp(T ) {x0 }
118
Pelo Teorema 4.3.1 teremos que T deve ser o Delta de Dirac ou uma combinac
ao
linear das derivadas dele. Veremos mais adiante que quando mp < n
W m,p (RN ) 6 C(RN ),
0
isto e x0 6 W m,p (RN ). Mais ainda D x0 6 W m,p (RN ) para todo multi
indice . Logo a u
nica distribuic
ao em W m,p () com suporte em {x0 } e T = 0.
No caso em que mp > n, Teremos que
W m,p (RN ) C(RN ).
0
em W m,p (RN ).
u W m,p (RN )
119
p
N
1,p
^
Por outro lado, como (D
(RN ), portanto temos que
j u) L (R ) W
TDg
W 1,p(RN )
ju
Logo segue que
TDj ueDg
W 1,p(RN ).
ju
g
Como Dj u
eD
e nula em , ent
ao temos que
ju
120
5.5
Operadores de prolongamento
Nesta sec
ao estudaremos algumas das condicoes que deve satisfazer um aberto
para que exista um operador que possa extender func
oes de W m,p () para
m,p
N
W
(R ).
Defini
ca
o 5.5.1 Diremos que um operador P e de prolongamento se satisfaz
as seguintes propriedades:
P : W m,p ()
W m,p (RN ).
=
=
=
Q0
{x = (x0 , xn );
{x = (x0 , xn );
Q Rn+
{x = (x0 , xn );
xn > 0}
|x0 | < 1,
|x0 | < 1,
|xn | < 1}
xn = 0}
121
Y
6
Q+
Q0
X
Q
?
No gr
afico acima temos que Q = Q+ Q Q0 . Nesta sec
ao nos limitaremos
a estudar a existencia dos operadores Prolongamento para dominios de classe
C m , que definimos a seguir.
Defini
ca
o 5.5.2 Diz-se que um aberto e de classe C m , se para todo x ,
existe um entorno de x que denotaremos por Vx e uma aplicaca
o bijetiva
H:Q
Vx ,
H 1 C m (Vx ),
H(Q+ ) = Vx ,
H(Q0 ) = Vx ,
Y
6
Y
6
'
y = f(x)
&$
'%
y = f(x)
q
X
?
Grafico obtido por simetra
y = f(x)
#!
q
#!
!?
Gr
afico obtido por reflex
ao
122
Lema 5.5.1 Existe um operador p : W m,p (Q+ ) W m,p (Q), com as seguintes
propriedades:
pu(x) = u(x) para todo x Q+
kpukW m,p (Q) kukW m,p (Q+ )
oes de
Demonstra
ca
o.- Denotemos por D(Q+ ) o espaco de todas as restric
funcoes de C0 (RN ) ao conjunto Q+ . Pelo teorema de densidade, D(Q+ ) e
denso em W m,p (Q+ ). Definamos p da seguinte forma:
0
u(x
se 0 < xn < 1
0
Pn , xn )
pu(x , xn ) =
1
0
u(x
,
x
)
se 1 < xn < 0
k=1 k
k n
Onde os valores k s
ao escolhidos tais que
m
X
(1)j k j k = 1 j 0 j m 1.
k=1
mP
Lp (Q+ ).
xm
n
(5.5)
W m,p (Q).
quase sempre em
Q+ .
123
W m,p (RN )
H 1 C m (Ux ),
H(Q+ ) = Ux ,
H(Q0 ) = Ux ,
m
X
uj =
j=0
m
X
uj .
j=0
u0 W m,p (RN )
f
kf
u0 kW m,p (RN ) kf
u0 kW m,p () .
O nosso pr
oximo paso e extender as func
oes ui para i = 1, , m. Para este
prop
osito utilizaremos as aplicac
oes Hi . Definamos o operador Ri como
Ri (ui ) = ui (Hi (y))
y Q+
Pelas hip
oteses temos que Ri (ui ) W m,p (Q+ ). Usando o Lema anterior,
existe um operador prolongamento pi que extende a func
ao Ri (ui ) para todo o
quadrado Q e ainda satisfaz,
pi (Ri (ui )) = Ri (ui ) x Q+
124
para
Hi1
(5.6)
definindo
x Ui .
x Ui .
m
X
Ei (ui )
i=1
R3
R2 q
R4
R1
125
De forma an
aloga podemos definir um operador prolongamento de 1 para
2 onde
2 = 1 R2 (1 R2 ).
Seguidamente prolongamos de 2 ate 3 onde
3 = 2 R3 (2 R3 )
Indutivamente podemos prolongar de i1 para i , onde
i = i1 Ri (i1 Ri )
ate a 2n -eixo. Finalmente, tomamos uma func
ao C0 (RN ) tal que = 1
em , logo o operador
P = p2n op2n^
1 o op1 (u)
e um operador prolongamento.
5.6
Desigualdade de Poincar
e
Nesta sec
ao mostremos a desigualdade de Poincare para func
oes em W m,p (),
quando e limitado numa direc
ao. Quando o conjunto e limitado, ele est
a
contido num hipercubo, veja o gr
afico.
Y
6
R
@
@
@
q
-X
&
?
126
Bq
b -X
%
?
Quando a limitac
ao do aberto e dada numa direc
ao que n
ao e paralela
aos eixos temos por exemplo que e da forma
Y
6
q
&
?
u W01,p().
Demonstra
ca
o.- Primeiro assumiremos que e um conjunto limitado numa
direc
ao paralela aos eixos coordenados. Portanto, sem perda de generalidade
podemos supor que
{x Rn ; x = (x0 , xn ); a < xn < b} := C
Denotemos por a uma func
ao de C0 (), ent
ao teremos que ,
e a extens
ao de
nula fora de , pertence a C0 (RN ), mais ainda a restric
ao de
e ao conjunto
C pertence a C0 (C). Por outro lado, e simples verificar que
Z y
e
(x
e 1 , , xn1, y) =
(x1 , , xn1 , s) ds, x C.
x
n
a
127
1
q
(Z
) 1p
e
p
|
(x1 , , xn1 , s)| ds
.
xn
1+ q1
|(x
e 1 , , xn1, s)| ds (b a)
e
(x1 , , xn1, s)|p ds.
xn
e p
||p dx (b a)1+ q
|
| dx.
x
n
C
C
xn
Demonstra
ca
o.- Este resultado vale para qualquer aberto limitado regular,
faremos aqui a prova no caso em que e um hiperparaleleppedo. Suporemos
primeiro que u e uma func
ao C 1 () nosso resultado seguir
a por densidade.
128
u(y1 , x2 , x3 ) u(y1 , y2 , x3 ) =
u(y1 , y2 , x3 ) u(y1 , y2 , y3 ) =
Finalmente,
x2
y2
x3
y3
u
(y1 , w, x3) dw
x2
u
(y1 , y2 , w) dw
x3
Onde C e uma constante que depende de . Elevando a potencia p a desigualdade anterior e integrando novamente com relac
ao a obtemos
Z
Z
p
1p p
|u(x1, x2 , x3 )| dx med() C
|u|p dy
129
5.7
Desigualdades de Sobolev
kukLp CkukLp ,
Demonstra
ca
o.- Para mostrar este teorema utilizaremos o seguinte Lema
Lema 5.7.1 Tomemos N 2 e denotemos por f1 , f2 , , fN LN1 (RN1 ).
Para cada x = (x1 , x2 , , xN ) RN e para cada subndice 1 i N escrevemos
xi = (x1 , x2 , , xi1, xi+1 , , xN ) RN1 .
Ent
ao a funca
o definida por
f(x) = f1 (
x1 )f2 (
x2 ) fN (
xN )
pertence a L1 (RN ) e ainda temos:
kfkL1 (RN )
N
Y
i=1
Demonstra
ca
o.- O caso N = 2 e trivial. Consideremos o caso N = 3.
Z
Z
|f(x)| dx3 = |f3 (x1 , x2 )| |f1 (x2 , x3 )||f2 (x1 , x3 )| dx3
R
|f3 (x1 , x2 )|
Z
1/2 Z
1/2
Z
12 Z
1/2 Z
1/2
130
RN
RN
|f1 f2 fN ||fN+1 | dx
Z
RN
|f1 f2 fN |
N Z
Y
N
N1
dx1 dxN
N1
N
Aplicando as hip
otese indutivas para |f1 | N1 , |f2 | N1 , |fN | N1 resulta que
Z
RN
i=1
N
Y
i=1
RN1
|fi |N dx
1
N1
kfi kLN1
N (RN1 ) .
RN
N
Y
i=1
N+1
Y
i=1
x1
Z +
u
u
(t, x2 , , xN ) dt
(t, x2 , , xN ) dt
x1
x1
De forma an
aloga teremos que
Z +
u
|u(x1 , x2 , , xN )|
xi )
xi (x1 , x2 , , xi1, t, xi+1 , , xN ) dt := fi (
131
N
Y
fi (
xi )
i=1
|u(x)| N1
N
Y
fi (
xi ) N1
i=1
Do Lema 8.6.1
Z
RN
|u(x)|
N
N1
dx
N
Y
i=1
kfi k
1
N1
L1 (RN1 )
L N1 (RN )
L (R )
i=1
1
N
Y
u
N1
=
xi
1 N ,
1
N
Y
u
N
xi 1
L (RN )
i=1
kukL1(RN ) .
Que mostra o resultado para p = 1. Consideremos t 1 e tomemos na desigualdade anterior |u|t1u no lugar de u. Dai segue que
kuk
tN
L N1 (RN )
1
N
Y
t1 u
N
t
|u| xi
1
L (RN )
i=1
t1
t kukLp0 (t1) (RN )
1
N
Y
u
N
xi
p
1
N
Y
t1 u
N
t
|u| xi
1
L (RN )
i=1
t kukt1
Lp (RN )
L (RN )
i=1
N1
N p .
1
N
Y
u
N
xi
p
i=1
u C01 (RN )
u N1
k p N
xi L (R )
N 1 m u N1
p i=1 k
k p N
N
xi L (R )
N 1 m u N1
p k
k p N
N p i=1 xi L (R )
tm
i=1 k
L (RN )
Assim
(5.7)
132
Observa
ca
o 5.7.2 No caso unidimensional segue imediatamente que
W 1,p (R) L (R)
Com a imers
ao contnua. De fato, tomemos u W 1,p(R), sem perda de generalidade podemos supor que u C0 (R). Tomemos agora x R. Como
R = iN ] i, i + 1]]i, i + 1] teremos que x ]a, a + 1] portanto podemos
escrever
Z y
du
ds, para x, y ]a, a + 1].
(5.8)
u(x) u(y) =
x ds
Integrando a desigualdade anterior sobre ]a, a + 1] com respeito a
` y e usando o
teorema do valor intermediario teremos
u(x) =
a+1
u(y) dy +
y0
du
ds,
ds
x, y ]a, a + 1].
Usando a desigualdade de H
older, teremos
|u(x)|
Z
a+1
|u(y)| dy
1p
Z
a+1
1p
du p
| | ds
.
ds
du
kLp (R)
ds
Portanto as funco
es de W 1,p (R) s
ao contnuas.
Observa
ca
o 5.7.3 Como conseq
uencia do resultado anterior, temos que se
u W m,p (RN ) possui uma derivada parcial nula em Lp (RN ), ent
ao u = 0.
Corol
ario 5.7.1 Seja u W 1,p(RN ) para 1 p < N , ent
ao teremos que para
todo q [p, p] e valido
1
kukLq (RN ) Ckuk
Lp(RN ) kukW 1,p (RN )
133
q [p, p],
com a imers
ao contnua
Demonstra
ca
o.- Para todo q [p, p] e v
alido
1
1
= +
,
q
p
p
01
q [p, p]
kukLq kuk
Lp kukLp kukLp + kukLp
q [N, [
com imers
ao contnua.
Demonstra
ca
o.- Podemos supor que u C01 (RN ). Usando a desigualdade
encontrada na demonstrac
ao do Teorema 5.7.1,
N
Y
t1 u
N
t
|u| xi
1
1
kuk
tN
L N1 (RN )
i=1
L (RN )
t1
t kukLp0 (t1) (RN )
para p = N teremos
t1
kuktLtN/(N1) tkukL
(t1)N/(N1) kukLN ,
1
N
Y
u
N
xi
p
i=1
L (RN )
t 1
1
1 1t
t
tkukL(t1)N/(N1)
kukLt N ,
t 1
(5.9)
134
Tomando t = N encontramos
kukLN 2 /(N1) CkukW 1,N
Das desigualdades de interpolac
ao resulta que
kukLq CkukW 1,N ,
N q
N2
N 1
N q
5.8
Teorema de Morrey
n
p
(5.10)
Demonstra
ca
o.- Como antes suporemos que u C01 (RN ). Denotemos por Q
um cubo aberto de lado r que comtem ao 0, e tomemos x Q. Assim teremos
que
Z 1
d
u(x) u(0) =
u(tx) dt
dt
0
ent
ao e simples verificar que
|u(x) u(0)|
N
1X
i=1
u
|xi |
(tx) dt.
xi
135
R
1
Denotemos por u = |Q|
Q u(x) dx. Integrando a desigualdade anterior e multiplicando por 1/|Q| temos:
r
|u u(0)|
|Q|
Z Z
Q
N
1X
i=1
|u u(0)|
r N1
r N1
u (tx) dtdx.
xi
Z X
N
u
dxdt
(tx)
xi
0
Q i=1
Z 1
Z X
N
u
1
(x) dxdt.
N
xi
0 t
tQ
Z
i=1
Da desigualdade de H
older se verifica
p
Z
p1
u
u
1
|tQ| p0 ,
xi (y) dy
xi (y) dy
tQ
Q
1+N( p10 1)
kukLp (Q)
1 N/p0
tN
dt =
r 1N/p
kukLp (Q)
1 N/p
Por translac
ao a desigualdade acima e v
alida para todo cubo de lado r e de
aristas paralelas aos eixos coordenados. De onde segue:
|u u(x)|
r 1N/p
kukLp (Q)
1 N/p
(5.11)
2r 1N/p
kukLp (Q)
1 N/p
x Rn
136
|| k
e ainda temos
|D u(x) D u(y)| C|x y| kukW m,p .
Em particular temos que W m,p (RN ) C k (RN ).
Demonstra
ca
o.- A demonstrac
ao e baseada na seguinte f
ormula de recorrencia.
p0 = p,
1
1
1
= .
pi
pi1
N
= =
= .
q
pm1
n
pm2
N
p0
N
p N
Aplicando o Teorema 5.7.1 temos
kukLq CkukLpm1 Ck2ukLpm2 Ck3ukLpm3 Ckm ukLp0 .
Suponhamos agora que
1 m
=0
p N
1 m1
>0
p
N
137
u
W m1,p (RN ) Lp (RN ) onde
xi
1
1 m1
1
=
=
p
p
N
N
A ainda
kukLp (RN ) CkukW m1,p (RN ) ,
u
k p N CkukW m,p (RN )
xi L (R )
q [p, [.
Finalmente, consideremos
1 m
< 0.
p N
Sem perda de generalidade podemos supor que m e o menor n
umero para o
qual e verdadera a desigualdade acima. Caso que m = 1 o resultado segue
imediatamente. Suponhamos que m 2, ent
ao temos que
1 m1
1
=
> 0.
p
p
N
Da primeira parte deste Teorema segue que
u,
u
W m1,p (RN ) Lp (RN )
xi
1
1
1 m
=
< 0.
p N
p N
Pelo Teorema 5.8.1 segue que W 1,p (RN ) L (RN ) com imerss
ao contnua.
De onde segue o resultado
Corol
ario 5.8.2 Seja um aberto limitado de fronteira de classe C 1 , ou
tambem = RN
ao se verifica.
+ . Seja 1 p < , ent
p<N
p=N
p>N
1
1 1
=
q
p n
1,p
q
W () L () q [p, [
W 1,p() L () C(),
W 1,p() Lq ()
onde
138
Com as imers
oes contnuas. Alem disso se m Np > 0 n
ao e um n
umero
inteiro, denotamos por
N
N
e =m
k, 0 < < 1.
k = m
p
p
Verificamos que para toda u W m,p () e v
alido
kD ukL kukW m,p
|| k
e ainda temos
|D u(x) D u(y)| C|x y| kukW m,p .
Em particular W m,p () C k ().
Demonstra
ca
o.- A demonstrac
ao faz uso dos operadores de Prolongamento.
(Exerccio)
Teorema 5.8.2 (Rellich-Kondrachov) Suponhamos que seja um conjunto
limitado de classe C 1 , nestas condico
es teremos:
p<N
W 1,p() Lq ()
q [1, p[
p=N
W 1,p() Lq ()
q [1, [
p>N
1,p
() C(),
onde
1
1
1
=
p
p n
Com as imers
oes compactas.
Demonstra
ca
o.- No caso p > n aplicamos o Teorema 5.8.1 e o Teorema de
Arsel
a-Ascoli. Nos casos restantes se aplica o criterio de compacidade em Lp .
Denotemos por B a bola unit
aria de W 1,p . Seja 1 q p , pode-se escrever
1
1
= +
q
1
p
Sejam , u B, e h < dist(, c ). Das desigualdades de interpolac
ao
teremos
1
kh u ukLq () kh u uk
L1() kh u ukLp () .
Portanto
1
kh u ukLq () C|h|kuk
L1()) kukLp () C|h|.
139
Demonstra
ca
o.- Seja uma seq
uencia limitada em W m,p (), ent
ao teremos
que existe uma subseq
uencia dela, que a denotaremos da mesma forma, tal que
forte em Lp ()
Da mesma forma concluimos que para j < m que
D D
forte em Lp ()
(5.12)
|x|p dx
forte
Lp (]0, [)
Esta u
ltima convergencia implica existe uma subseq
uencia (que a denotaremos
da mesma forma) que converge quasi sempre em ]0, [, isto e
k (x) (x)
q.s.
]0, [
140
5.9
Nesta secao estudaremos o Teorema das derivadas intermediarias para abertos do RN satisfazendo a propriedade do cone. Para facilitar a exposic
ao
comecaremos considerando o caso unidimensional.
Teorema 5.9.1 Seja a e b n
umeros reais tais que a < b . Tomemos
1 p < e 0 < 0 < . Ent
ao existe uma contante K = K(0 , p, b a) tal
que para todo 0 < 0 e para toda f W 2,p(a, b) se verifica
Z
|f 0 (t)|p dt K
|f 00 (t)|p dt + K1
|f(t)|p dt
A desigualdade acima e v
alida para todo > 0 quando b a =
Demonstra
ca
o.- Usando argumentos de densidade, e suficiente mostrar a
desigualdade acima para func
oes de classe C 2 . Sem perda de generalidade
podemos supor que 0 = 1. Comecaremos analizando o caso a = 0 e b =
1. Tomemos uma func
ao g definida sobre [0, 1]. Do teorema fundamental do
calculo teremos que
Z
x
g0 (x) = g0 () +
g00 () d .
{z
}
:=G(x)
1
g() d g() + ( )G(x0 ).
2
141
1
1 1
( )g0 (x) =
4 8
2
1
g() d
2
1
2
1 1
g() d + ( )G(x0 ).
4 8
|g(s)|p ds + Kp
1
|g(s)| ds + Kp
x
),
1
x
g0 (
),
f 00 x =
1
x
g00 (
).
2
( )
|f 0 (s)|p ds =
( )
|f 00 (s)|p ds =
( )
teremos que
Z
Z
0
p
p
|f (s)| ds Kp ( )
|g0 (x)|p
dx,
( )p
|g00 (x)|p
dx.
( )2p
|f(s)| ds + Kp ( )
|f 00 (s)|p ds.
142
(5.13)
a = 1 2
b = 8
|f 0 (s)|p ds
n Z
X
j=1
n
X
|f 0 (s)|p ds
(
ba
n
p Z
n
Kp
|f (s)| ds +
ba
j
j=1
( Z
)
Z
b
1 b
K1
|f 00 (s)|p ds +
|f(s)|p ds
a
a
00
p Z
|f(s)| ds
Onde K1 = max {(b a)p , 2p(b a)p }. O que mostra o resultado no caso em
que b a seja finito. Caso em que b a seja infinito, subdividimos o intervalo,
na seguinte forma
]a, b[ =
]a, b[ =
]a, b[ =
iN ]a + (i 1), a + i],
se
a<eb=
143
Corol
ario 5.9.1 Seja ]a, b[ um intervalo n
ao limitado. Ent
ao existe uma constante positiva K tal que
1
Tomando =
|f 0 (t)|p dt K
kfkLp (a,b)
kf 00 kLp (a,b)
p/2
|f 00 (t)|p dt + K1
|f(t)|p dt
, segue o resultado.
Observa
ca
o 5.9.1 Denotemos por |||f|||p2,p = kfkpLp (a,b) + kf 00 kpLp (a,b). Do
Teorema 5.9.1 obtemos que
1
kf 0 kLp (a,b) K |||f|||2,p + kfkLp (a,b)
kfk
L (a,b)
, e substituindo na express
ao acima teremos que existe
Tomando = 0 |||f|||
2,p
uma constante positiva, tal que
1
2
2
e
kf 0 kLp (a,b) K|||f|||
2,pkfkLp (a,b)
Como conseq
uencia do Teorema 5.9.1 temos o seguinte resultado.
Corol
ario 5.9.2 Suponhamos que f Lp (a, b) e f (m) Lp (a, b) ent
ao existe
um 0 > 0 tal que para todo 0 se verifica
1
kf (j) kLp (a,b) K mj kf (m) kLp (a,b) + j kfkLp (a,b)
Para j = 1, , m. Se b a = pode ser qualquer n
umero real.
Demonstra
ca
o.- Por densidade podemos supor que f C0 ([a, b]). Do Teorema 5.9.1 temos
1
0 p
00 p
kf kLp (a,b) K kf kLp (a,b) + kfkLp (a,b) , 0 0 .
(5.14)
144
2K 2
K 2 00
K2
kf kLp (a,b) +
kfkLp (a,b)
< 0 teremos
1 00 p
1
kf kLp (a,b) K1 kf 000 kpLp (a,b) + 2 kfkLp (a,b)
2
Sustituindo a desigualdade na express
ao (5.14) segue que
1
kf 0 kpLp (a,b) K2 2 kf 000 kpLp (a,b) + kfkLp (a,b)
De onde e v
alida nossa afirmac
ao para m = 3. Usando induc
ao sobre m segue
o resultado.
Observa
ca
o 5.9.2 O Corol
ario anterior estima as derivadas intermediarias
em termos da func
ao e da u
ltima derivada. Isto e equivalente a afirmar que
dm
dj
p
p
se u Lp (a, b) e dt
ao teremos que dt
m u L (a, b) ent
j u L (a, b) para
j = 1, , m.
Observa
ca
o 5.9.3 O Teorema das derivadas intermediarias a podemos apresentar na forma de interpolac
ao da seguinte forma,
j/m
1j/m
1j/m
145
Cone
C
Cones
Cx
Conjunto com a propriedade do Cone
146
e ainda a intersec
ao de R + 1 Qj e vazia. Para cada Zn , denotemos por
H = x Rn ; k xk (k + 1) , para k = 1, , n
2 n
2 n
simples verificar que
E
RN = Z H
(1 , 2 )
2 2
(1 , 2 )
2 2
2 2
2 2 1
(1
2 2
+ 1)
2 2 2
(2
2 2
+ 1)
H
t
(1 , 2 )
2 2
(1 , 2 )
2 2
2 2
\ 0
1
2
K k ukLp (0 ) + kukLp (0)
147
1
kukLp(Uj ) K k2 ukLp(Uj ) + kukLp (Uj )
X
j=1
kukLp(Uj ) + kukLp(0 ) .
k
k
k
2
Integrando na direc
ao ortogonal de ek teremos
Z
Z
Z
1
|Dk u|p dxk K p
|Dk2 u|p dxk + p
|u|p dxk
H
H
H
Como as intersec
oes de H e vazio ou tem medida nula, teremos que
Z
|Dk u| dxk
X Z
Zn
Z
|Dk u| dxk K p
p
|Dk2 u|p
1
dxk + p
|u| dxk
Uj jv Qj
148
teremos que
Z x+v
x
|f 0 |p dt K
p
x+v
1
p
|2 u|p dt +
1
p
1
| u| dt + p
|f 00 |p dt +
x+v
|f|p dt .
x+v
Z
|Dv u|p dt K p
x+v
x+v
|f|p dt .
Integrando na direcc
ao ortogonal a v teremos que
Z
Uj
|Dv u| dt K
Uj
Uj
|f| dt .
X
u
=
ai Dvi u.
xj
i=1
1
| u| dx + p
Uj
Uj
Uj
|u| dx
5.10
Desigualdades de interpolac
ao
kukLp(a,b) kuk1
Lq (a,b) kukW 1,r (a,b)
onde
=
1
q
1
q
1
p
+1
1
r
149
Demonstra
ca
o.- Pela densidade de D([a, b]) podemos supor que u C0 (R).
Portanto podemos escrever
Z y
u(x) = u(y) +
u0 () d
x
u0 () d
y0
q
r1
q
1+
0
r
r
|u(y)| dy
|u | dx
( )|u(x)| ( ) q1
+ ( )
|u(x)|p 2p ( )
p
1+p+
+2 ( )
p(r1)
r
p(q1)
+1
q
(Z
(Z
0 r
|u | dx
|u(y)|q dy
) pq
) pr
(5.15)
No caso em que b a seja finito, tomemos > 0 tal que 0 < <
Decompomos o intervalo [a, b] da seguinte forma
[a, b] = m
i=1 [i , i+1 ],
onde
i = a +
ba
m1 .
(b a)i
m
No caso em que b a = , podemos supor que b = , (as outras posibilidades se mostram da mesma maneira), podemos decompor o intervalo [a, b] da
seguinte forma
[a, b] =
i=1 [i , i+1 ],
onde
i = a + i
Da express
ao 5.15 teremos que
Z
Z i+1
p(q1)
+1
p
p
p
q
(i+1 i )
|u(x)| 2 (i+1 i )
i
i+1
1+p+
+2 (i+1 i )
p(r1)
r
Z
|u(y)| dy
i+1
i
0 r
qp
|u | dx
rp
150
De onde obtemos
Z
i+1
|u(x)|p 2p
p(q1)
+1p
q
Z
i+1
|u(y)|q dy
qp
+2p 1+
p(r1)
r
Z
i+1
|u0 |r dx
tomando somat
orio teremos
Z
|u(x)| dx
2
p(q1)
+1p
q
p 1+
+2
p(r1)
r
m Z
X
i
i=1
Z
m
i+1
X
i=1
|u(x)|p dx 2p
p
q
1e
p(q1)
+1p
q
(Z
p
r
i+1
|u(y)| dy
qp
0 r
rp
1+ p(r1)
r
(Z
|u | dx
1 segue que
|u(y)|q dy
) pq
+2p
|u0 |r dx
) pr
Que implica
n 1 1
o
r1
1
kukLp (a,b) K p q kukLq (a,b) + p + r ku0 kLr (a,b)
(5.16)
+1=
+
p q
p
r
De onde obtemos
=
1
q
Tomando
=
1
+1
1
q
1
q
1
r
1
p
+1
1
r
rp
151
n
o
0
kukLp(a,b) 2K kuk1
ku
k
r
q
L (a,b)
L (a,b)
||u||Lp() C||u||1
u W 1,r ()
Lq() ||u||W 1,r () ,
com satisfazendo q1 + n1 1r = 1q 1p .
podemos supor que u C ().
Demonstra
ca
o.- Pela densidade de C ()
Assim teremos que
Z 1
d
u(x) = u(y) +
u(tx + (1 t)y) dt
dt
0
Z 1
= u(y) +
u(tx + (1 t)y) (x y) dt
0
(1 1 )|u(x)| (1 1 )
+(1 1 )
r1
r
(Z
q1
q
(Z
|u(y)| dy1
) q1
r
Tomando x e y no paraleleppedo :=
Qn
|x y| max {i i ,
i=1 [i , i ]
temos que
i = 1 n} := L,
) 1r
dt
152
obtemos
(1 1 )|u(x)| (1 1 )
+(1 1 )
r1
r
(Z
(Z
q1
q
|u(y)|q dy1
) 1q
r
) r1
dt
Note que
Z
|u(tx+(1t)y)| dy1 =
|u(tx+(1t)y)|r dy1 =
1
1t
tx1+(1t)1
tx1 +(1t)1
1
1t
De onde obtemos
(1 1 )|u(x)| (1 1 )
+(1 1 )
r1
r
1
0
(Z
q1
q
|u(y)| dy1
1
1
(1 t) r
(Z
) 1q
i=1
Z
2
Y
r1
+( (i i )) r L
i=1
1
2
(1 t) r
(Z
(Z
) q1
|u(1, 2 , , wn )|r d1 d2
) r1
dt
) 1r
dt
153
n
Y
i=1
Z
1q
n
Y
q1
q
q
(i i )|u(x)| ( (i i ))
|u(y)| dy1 dy2
Z
n
Y
r1
r
+( (i i ))
L
1
n
(1 t) r
i=1
com :=
i=1
Qn
i=1 [i , i ].
Z
|u(1 , 2 , , n )| d
1r
dt,
Ou equivalentemente
Z
q
n
Y
q1
1
q
q
|u(y)| dy1 dy2
|u(x)| ( (i i ))
i=1
Z
n
Y
r1
+( (i i )) r 1 L
i=1
1
0
Como
1
n
(1 t) r
1
Z
|u(1, 2 , , n)|r d
1r
dt,
dt
r
n =
rn
(1 t) r
n
q
Z
|u(y)| dy
1q
r r +1
+
rn
Z
|u| d
r1
dt.
|u(x)|
pn
q
Z
|u(y)| dy
pq
np
r r +p
+
rn
Z
pr
pr
|u| d
|u(x)|
Como =
que
Z
Pm
n pn
q
j=1 j ,
|u(x)|
Z
|u(y)| dy
pq
np
r r +p+n
+
rn
Z
|u| d
tomando somat
orio e aplicando o Lema 1.4.1 obtemos
n pn
q
Z
|u(y)| dy
pq
np
r r +p+n
+
rn
Z
|u| d
pr
154
( np
Z
rp
+p+n)
p
r
kukLq ()
r
r
+
|u| d
,
kukLr ()
(r n)p
Ou equivalentemente
Z
|u(x)|p
( pn +n)+p
kukLq ()q
+
( pn n)
q
kukLr()
rp
( np
( np
r +p+n)
r pn)+p
kuk
kuk
.
q
r ()
L
()
L
(r n)p
Nosso seguinte passo e encontrar de tal forma que as potencias fiquem uniformes. Com este prop
osito igualamos as potencias na norma de u,
np
pn np
pn
(
+ n) + p = (
+ p + n), p = (
+ p)
q
r
q
r
De onde
=
1
n
q
n
r
+1
Note que
q
pn
p
(
+ n) + p = p + p 1 1
q
q r +
Tomando
=
1
q
1
q
1
r
1
n
1
p
1
n
Encontramos que
(
pn
+ n) + p = p p,
q
pn
n) = p
q
n)
155
5.11
Distribuic
oes vetoriais
Nesta sec
ao introduziremos brevemente o conceito de Distribuic
oes vetoriais.
Seja X um espaco de Banach, com norma k kX . Seja f um funca
o definida a
valores em X.
Defini
ca
o 5.11.1 Diremos que f
f : [a, b]
e uma funca
o simple se a imagem de f e constituda por um n
umero finito
{x1 , , xm } de vetores de X. Diremos que uma funca
o simples f e mensur
avel
se para todo x X f 1 ({x}) e um conjunto mensur
avel de ]a, b[. Finalmente,
diremos que uma funca
o
g : [a, b] X
e uma funca
o mensur
avel se existe uma seq
uencia de funco
es simples f tal
que
f (s) g(s) q.s. em ]a, b[.
Uma caraterizacao das func
oes mensur
aveis e dada pelo seguinte Proposic
ao.
Proposi
ca
o 5.11.1 Uma funca
o F :]a, b[ X e mensur
avel se, e somente se
verificam as seguintes propriedades:
(i) A imagem de ]a, b[ por F e separ
avel quase sempre. Isto e existe um
conjunto S de medida nula tal que F (]a, b[\S) e separ
avel.
(ii) F e fracamente mensur
avel. Isto e para todo w X a funca
o s 7
hF (s) , wi e mesur
avel
Defini
ca
o 5.11.2 Diremos que uma funca
o F :]a, b[ X e integr
avel se F e
mensur
avel e
Z b
kF (s)kX ds <
a
f(s)
q.s. em
]a, b[
156
N.
kf (s)kX (s)
Ent
ao, f e integr
avel e ainda temos
Z b
lim
kf (s) f(s)kX ds = 0.
f(s)
fracamente q.s. em
]a, b[
Ent
ao f e integr
avel e ainda temos que
Z
Z b
kf(s)kX ds lim inf
kf (s)kX ds.
(Z
) 1p
kf(s)k ds
m
X
k=1
157
m
X
k=1
df
(s)k ds V ar(f; [a, b]),
dt
df
d
Vf (s),
k (s)k
dt
ds
q.s.
]a, b[.
Defini
ca
o 5.11.4 Diremos que uma funca
o f :]a, b[ X e absolutamente
contnua sobre X se para todo > 0 existe um > 0 tal que para toda seq
uencia
de subintervalos ]ai , bi [ disjuntos dois a dois se verifica
m
X
i=1
|ai bi | <
m
X
i=1
f(s)0 (s) ds =
v(s)(s) ds,
D(a, b).
158
Ent
ao as seguintes pro-
D(a, b; X ).
(ii) | a hf(s), d
ds (s)i| CkkL (a,b;X)
Proposi
ca
o 5.11.4 As propriedades seguintes s
ao equivalentes
(i) f W 1,p(a, b; X).
k( ) d.
5.12
Teoremas de compacidade
A imers
ao de
B0 em B
compacta.
(5.17)
Definamos o espaco
W = {v;
v Lp0 (0, T ; B0 ),
vt Lp1 (0, T ; B1 )} ,
159
(5.18)
(5.19)
kwk kB1
1
,
k
k,
(5.20)
Portanto, teremos
wk 0 em
B1 ,
wk * 0 fraco em
B0
Da imers
ao compacta de B0 em B segue que
wk 0
forte em B.
160
Demonstra
ca
o.- Seja u uma seq
uencia de func
oes limitadas em W. Mostraremos
que existe uma subseq
uencia, que a denotaremos da mesma forma, que converge forte em Lp0 (0, T ; B). Da reflexividade de W existe uma subseq
uencia
de u e uma func
ao u W tal que
u fraco em W,
(5.21)
p0
Note que u esta limitado em L (0, T ; B0 ). Assim podemos tomar tal que
+ c ku kLp0 (0,T ;B1 ) .
2
Finalmente, para provar que u converge forte para zero, bastar
a mostrar que
simples verificar que u pode
u converge forte para zero em Lp0 (0, T ; B1 ). E
ser identificada por uma func
ao contnua em C(0, T ; B1), portanto limitada
em [0, T ]. Do teorema de Lebesgue, falta apenas verificar que u converge
pontualmente. Integrando por partes temos a identidade
ku kLp0 (0,T ;B)
s+h
(s + h )u0 d = (s + h )u ( )|s+h
+
s
De onde segue
1
u (s) =
h
s+h
1
u ( ) d
h
s+h
s+h
u d.
(s + h )u0 ( ) d.
1
h
s+h
u ( ) d 0 forte em B1 ,
0,
s [0, T ]
161
5.13. Exerccios
Teorema 5.12.2 Seja u uma seq
uencia de funco
es tal que
u
u0
u0
L (0, T ; H ())
fraco * em
L (0, T ; H ())
fraco em
C(0, T ; H r ())
forte em
para todo r .
Demonstra
ca
o.- Sem perda de generalidade podemos supor que e s
ao
diferentes de 1/2. Denotemos por r = +(1). Ent
ao usando interpolac
ao
teremos para quase todo par de pontos t1 e t2 que
ku (t2 ) u (t1 )kH r ()
C |t1 t2 | 2
Conseq
uentemente u est
a em C([0, T ]; H r()) e como a imers
ao de H s ()
r
e compacta em H () para s > r, podemos usar o teorema de Ascoli para
concluir nosso resultado. A prova est
a completa
5.13
Exerccios
|| k
e ainda que
|D u(x) D u(y)| C|x y| kukW m,p .
Finalmente, que W m,p (RN ) C k (RN ).
162
u Lp (a, b; Lq ())
1
= +
,
0
p
p
q
1
1
= +
0
q
s
r
u Lp (a, b; H s+(1)r())
onde
1
= +
p0
p
q
163
5.13. Exerccios
16. Mostre que em H 2 (RN ) sua norma usual e equivalente a kuk2 = kuk2L2 (RN ) +
kuk2L2(RN ) que pode afirmar sobre a norma kuk2 = kuk2L2() +kuk2L2()
sobre o espaco H 2 ().
17. Considere o espaco: H = L2 (); L2 () munido da norma
kk2 = kk2L2 () + kk2L2() O espaco H e completo?. Justifique sua
resposta.
18. Encontre o menor n
umero m para que a k-esima derivada da distribuic
ao
0 (Delta de Dirac) pertenca a W m,p ()
19. Mostre que uma func
ao w pertence a W 1,p (), com p > 1 se e somente
se existe uma constante C > 0 verificando
kTh w wkLp (0 ) C|h| 0
e |h| < dist(0 , c)
20. Mostre atraves de um exemplo
que a imerss
ao W m,p () oLp () n
ao e
n
Pn1
n
compacta, quando = (x1 , , xn ) R ;
i=1 |xi | 1
22. Seja u C 2 (a, b). Mostre que para todo > 0 existe um C tal que
ux (x) C
(Z
|ux | dx
) 21
+
(Z
|uxx| dx
) 12
m Z
X
i=0
b
|w (i)|p dx
|w|p dx +
|w (m) |p dx
s
ao equivalentes. Por w (j) estamos denotando a j-esima derivada de w.
24. Seja u uma func
ao tal que sua m-esima derivada u(m) Lp (R). Em que
espaco se encuentra a propria funca
o u?. Que pode afirmar sobre suas
derivadas intermediarias?.
25. Seja u W m,p (RN ). Mostre que se uma derivada parcial de u e nula
ent
ao u = 0.
164
26. Considere o conjunto Lp (a, b) para 0 < p < 1. Mostre que Lp (a, b) e um
espaco vetorial e que o funcional
d(f, g) =
|f g|p dx
Define uma metrica sobre Lp (a, b) que faz o espaco completo. Verifique
que a bola
(
)
Z b
p
p
B(0) = f L (a, b),
|f| dx < 1
a
n
ao e convexa.
27. Defina os espacos W 1,p(a, b) com 0 < p < 1. Mostre que e um espaco
vetorial, um espaco metrico completo e que a bola unitaria
(
)
Z
B(0) =
f W 1,p(a, b),
|f|p + |f 0 |p dx < 1
n
ao e convexa.
28. Seja um hipercubo. Mostre que se u W 1,p () e tal que
Ent
ao e v
alida
kukLp() kukLp()
dx = 0.
Z
|f 00 |p dx
p1
Captulo 6
Problemas de Equilibrio
Neste captulo estudaremos alguns problemas de equilibrio. Comecaremos
fazendo uma deduc
ao fsica do problema utilizando o princpio Bernoulli, tambem
conhecido como princpio de trabalho virtual ou pequenhos deslocamentos.
6.1
Principio de Bernoulli
em
165
166
k(S x) =
k(x)
1 + |u|2 1 dx.
k(x)
np
1 + |u|2 1
a
dx + u2 (x) f(x)u(x) dx
2
x 1
1
1 + x = 1 + x2 + 3
2
8
12
onde ]0, x[. Assumindo que |u| seja pequeno, ent
ao podemos despreciar
os termos |u|4 e |u|6. Assim teremos que
p
1
1 + |u|2 1 |u|2.
2
Podemos ent
ao, aproximar J pela express
ao
Z
1
a
J(u) =
k(x)|u|2 dx + |u(x)|2 f(x)u(x) dx.
2
2
Portanto a posic
ao de equilibrio da membrana ser
a aquela que seja um ponto
crtico para o funcional J(u) sobre o conjunto de todas as func
oes admissiveis.
Neste caso o conjunto das func
oes admissiveis e o espaco:
K = H01 ().
Neste captulo estudaremos alguns teoremas de convergencias sobre os
espacos Lp e suas aplicac
oes as Equac
oes Diferenciais Parciais. Comecaremos
com o seguinte resultado de minimizac
ao
167
Teorema 6.1.1 Seja J um funcional semicontinuo inferiormemte definido sobre V , um espaco reflexivo com norma k k. E seja K um conjunto convexo e
fechado de V . Suponhamos que J satisfaz
J(v)
para todo
vV
J(v) .
(6.1)
Nestas condico
es teremos que existe u K tal que
J(u) J(v)
v K
Demonstra
ca
o.- Denotemos por
I = inf {J(v); v K}
Das hip
oteses sobre J concluimos que I R. Denotemos por v a seq
uencia
de vetores em V satisfazendo
J(v ) I,
(6.2)
da condicao (6.1) concluimos que existe uma constante positiva C tal que
kv k C
IN.
fraco em
V.
v K.
168
Demonstra
ca
o.- A domonstrac
ao e baseada no Teorema 6.1.1. Para isto
definimos
1
J(v) = a(v, v) hf, vi.
2
Verificamos que J satisfaz todas as hip
otese do Teorema 6.1.1, portanto existe
um u
nico elemento u K tal que
J(u) J(v),
v K.
=
=
1
a(u + (v u), u + (v u)) hf, u + (v u)i
2
1
a(u, u) + 2a(u, v u) + 2 a(v u, v u) hf, ui hf, v ui
2
a(u, v u) hf, v ui 0
v K.
v V.
Demonstra
ca
o.- Basta considerar K = V no teorema 6.1.2.
169
6.2
Aplicac
oes as equac
oes elticas
Nesta sec
ao estudaremos algumas aplicac
oes dos resultados obtidos na sec
ao
anterior para problemas elticos. Comecaremos com uma aplicac
ao do Teorema 6.1.1. Denotaremos por um aberto limitado do RN .
6.2.1
Problema de Dirichlet
em
(6.3)
em .
uv dx +
uv dx =
fv dx v V.
Tomando v
C0 (),
Z
concluimos que
{u + u f} v dx = 0 v C0 ().
Note que n
ao aparecem integrais de superfcie porque v C0 (). Portanto
no sentido das distribuic
oes temos que
u + u f = 0.
Como u H01 () ent
ao ela verifica a condic
ao de contorno.
170
6.2.2
Equac
ao geral de segunda ordem
i,j=1
i,j=1
i j aij 0 kk2
Usando integrac
ao por partes concluimos que a soluc
ao do problema acima
verifica a equacao
n
X
aij
= f em
xi
xj
i,j=1
u(x) = 0,
6.2.3
em
Problema de Neumann
em
(6.4)
u
= 0 em .
171
uw dx +
uw dx =
fw dx w C0().
(6.5)
Observa
ca
o 6.2.1 No problema de Neumann, a condica
o de contorno e uma
conseq
uencia da formulaca
o variacional.
6.2.4
Equac
ao geral de Neumann de segunda ordem
n Z
X
i,j=1
u v
aij
dx +
x
i xj
uv dx
i,j=1
i j aij 0 kk2
f dx,
(6.6)
172
Usando integrac
ao por partes concluimos que a soluc
ao do problema acima
verifica a equacao
n
X
aij
+ u = f em
xi
xj
i,j=1
No sentido das distribuic
oes. Por outro lado usando esta identidade em (6.8)
encontramos que
n Z
X
u
i w d = 0 w H 1 ()
aij
xj
i,j=1
i,j=1
Denotando por
n
X
u
u
=
aij
i
A
xj
i,j=1
aij
+ u = f em
xi
xj
i,j=1
u
= 0,
A
em
Observa
ca
o 6.2.2 A coercividade e uma propriedade necess
aria para que exista soluca
o do problema. Por exemplo, considere o problema de Newmann
dada por
uxx = 1, em ]0, L[,
ux (0) = ux (L) = 0.
L=0
173
A contradic
ao no exemplo anterior e devido a que na formulac
ao variacional
associada ao problema acima, devemos ter que
a(u, v) =
ux vx dx
6.2.5
em
]0, L[,
ux (0) = ux (L) = 0.
(6.7)
f(x) dx
A contradic
ao vem do fato de escolher uma func
ao que n
ao tem integral nula.
N
ao existira contradic
ao se a integral de f fosse nula. A pergunta que nos
podemos formular neste caso e se neste caso existe soluc
ao. Para isto temos
que verificar se a bilinear e coerciva no espaco das func
oes que tem media nula.
Isto e denotemos por
(
)
Z
V =
w H 1 (0, L);
w(x) dx = 0
ux vx dx
174
veja Teorema 5.6.2. Portanto do Lema de Lax Milgram Teorema 6.1.3 segue
que existe uma u
nica soluc
ao do problema
a(u, v) =
f L2 (0, L),
fv dx,
f(x) dx = 0.
v H 1 ();
v dx = 0
n Z
X
i,j=1
aij
u v
dx
xi xj
i,j=1
i j aij 0 kk2
f dx,
(6.8)
Usando integrac
ao por partes concluimos que a soluc
ao do problema acima
verifica a equac
ao
n
X
aij
=f
xi
xj
em
i,j=1
n Z
X
i,j=1
u
aij
i w d = 0 w H 1 ()
x
j
175
i,j=1
Denotando por
n
X
u
u
=
aij
i
A
xj
i,j=1
aij
=f
xi
xj
i,j=1
u
= 0,
A
6.3
em
em
Aplicac
oes as desigualdades variacionais
Barra el
astica
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
1
1+g
| {z }
salto
176
g(x)
Obst
aculo rgido
em
(6.9)
u
u
0; (u g)
= 0.
(6.10)
u g;
u(v u) dx +
u(v u) dx
f(v u) dx v V. (6.11)
em
(6.12)
u dx +
u dx
f dx, C0 (),
177
[u + u f] dx = 0,
C0 ().
(g u) d 0.
De forma an
aloga, tomando v H 1 () em (6.13), tal que v = 0 em 0 e
v = 2u g em 1 teremos
Z
u
u
(g u) d 0
(u g) = 0.
Em conclus
ao, se u e uma soluc
ao regular do problema de contato, ent
ao ela
deve satisfazer
u + u = f
u = 0 em
6.4
u g;
em
u
0;
(u g)
u
= 0.
(6.14)
O problema penalizado
178
em
(6.16)
u
1
= [u g]+ on
+
Onde [] = max {0, }. Nestas condic
oes teremos
u = 0;
0 .
(6.17)
Onde u e a soluc
ao do problema de contato. Como o funcional J e coercivo,
concluimos que a seq
uencia u e limitada em H 1 (). Portanto existe uma
subseq
uencia de u , que por comodidade a continuaremos denotando da mesma
forma, e uma func
ao u tal que
u
u fraco em
H 1 ()
179
u
u
Forte em
H 1 ()
0
180
Captulo 7
Teorema do Tra
co
Nesta secao mostraremos o Teorema do Traco para func
oes em W m,p ().
Comecaremos com o caso simples p = 2.
7.1
Os espacos H s()
onde por u
estamos denotando a transformada de Fourier de u. No que segue
denotaremos por H m (RN ) = W m,2 (RN ). Note que pela identidade de Parseval,
teremos que
Z
kuk2H m (RN ) =
(1 + ||2)m |
u()|2 d
RN
181
182
kukH s() = inf kvkH s (RN ) , v = u em
7.2
Os espacos H s()
X
u=
(i u)
i=1
v(hj (x)) se
0
se
x Q0
x 6 Q0
X
j=1
7.3
183
com x0 Rn1
(RN
+)
m1
Y
H mj 2 (Rn1 )
j=0
n
o
(u) = u(j)(x0 , 0); 0 j m 1
e uma aplicaca
o linear contnua e sobrejetiva.
Demonstra
ca
o.- Provaremos primeiro que a aplicac
ao e contnua. Sem
N
perda de generalidade podemos supor que u D(R+ ). Denotemos por
C0 (R) uma func
ao satisfazendo
(0) = 1,
(t) = 0,
para t >
1
2
Nestas condic
oes teremos que
Z t
d
1
0 0
2
|u (x , 0)| =
|u(x0 , )|2 d, t >
2
0 d
Z t
Z t
d
du(x0, )
=
|u(x0, )|2 d + 2
u(x0 , )
d
d
0 d
0
Tomando transformada de Fourier com respeito a` variavel x0 teremos
Z t
Z t
d
d
u(, )
0
2
2
|
u (, 0)| =
|
u(, )| d + 2
u(, )
d
d
d
0
0
184
u0 (, 0)|2
(1 + ||2 )m 2 |
(1 + ||2 )m 2
0
1
+2(1 + ||2 )m 2
d
|
u(, )|2 d
d
Z t
d
u(, )
d
u(, )
d
0
+C
ku(, )kH m (Rn1 ) ku (, )kH m1 (Rn1 ) d
0
Z tn
o
C
ku(, )k2H m (Rn1 ) + ku (, )k2H m1 (Rn1 ) d
Ckuk2H m (Rn ) .
De forma an
aloga teremos que
|
u
(j)
(, 0)| =
d
()|
u(j)(, )|2 d + 2
d
()
u(j+1) (, )
u(j)(, ) d
(1 + || )
+2
Integrando sobre R
ku
(j)
|
u
(, 0)| =
t
0
1
d
(1 + ||2 )mj 2 |
u(j)(, )|2 d
d
0
n1
(, 0)k2 mj 1
2
H
(j)
teremos
ku(j)(, )k2 mj 1 d
2
H
Z t
+C
ku(j)(, )kH mj ku(j+1)(, )kH mj1 d
0
Z t
ku(j)(, )k2H mj + ku(j+1)(, )k2H mj1 d
0
Ckuk2H m (RN )
+
185
m1
Y
H mj 2 (Rn1 ).
j=0
j (0) = 1.
Denotemos por wj (, t) a func
ao cuja transformada de Fourier e
w
j (, t) =
1
1 + ||2
j/2
1
a
j ()j (1 + ||2 ) 2 t .
Note que
(j)
wj (, 0) = a
j ().
Por outro lado e simples verificar que wj assim definido satisfaz:
wj H m (RN
+)
De fato,
Z tZ
RN
+
Z tZ
0
(m)
RN
+
|wj
|j |2 dkaj k2
H mj 2 (Rn1 )
(, t)|2 ddt =
Z tZ
1
(m)
(1 + ||2 )mj |
aj ()|2 |j
(1 + ||2 ) 2 t |2 ddt
0
Rn1
Z
Z t
1
(m)
2 mj j
2
=
(1 + || )
|
a ()|
|j
(1 + ||2 ) 2 t |2 dtd
Rn1
0
Z
Z t
1
1
(m)
2 mj 2 j
2
=
(1 + || )
|
a ()| d
|j
(1 + ||2 ) 2 t |2 dt
Rn1
k
aj k2 mj 1 n1 .
2 (R
H
)
186
m1
m
XX
j=0 r=1
r k crj =
r=1
0
1
se
se
k 6= j,
k = j.
0 k m 1.
m
X
(k)
r=1
f 0 L2 (0, ; L2(RN ))
Ent
ao teremos que
1
Usando traslac
oes podemos obter que
n
o
kf(s)k2H 1/2 (RN ) c kfk2L2 (0,;H 1 (RN )) + kf 0 k2L2 (0,;L2 (RN )) ,
s > 0.
N
2
de func
oes contnuas convergindo forte na norma de L (0, ; H (R )), de
onde segue nossa conclus
ao.
De forma geral temos
187
Corol
ario 7.3.2 Seja f uma funca
o satisfazendo:
f L2 (0, ; H m(RN )),
f 0 L2 (0, ; H r(RN ))
m+r
2
(RN )) L (0, ; H
m+r
2
(RN ))
Demonstra
ca
o.- Tomemos a ]0, [. Denotemos por C0 (R) uma func
ao
satisfazendo
1
(a) = 1, (t) = 0, para t > a +
2
Z t
d
1
|u0 (x0 , a)|2 =
|u(x0 , )|2 d, t > a +
d
2
a
Z t
Z t
du(x0 , )
d
|u(x0 , )|2 d + 2
u(x0 , )
d
=
d
a
a d
Tomando transformada de Fourier com respeito a` variavel x0 teremos
Z t
Z t
d
d
u(, )
|
u0 (, a)|2 =
|
u(, )|2 d + 2
u(, )
d
d
a d
a
Multiplicando por (1 + ||2 )
(1 + ||2 )
m+r
2
m+r
2
|
u0 (, a)|2
teremos
(1 + ||2 )
m+r
2
+2(1 + || )
m+r
2
d
|
u(, )|2 d
d
Z t
d
u(, )
u(, )
d
d
a
ku(, a)k
m+r
H 2
(RN )
+C
ku(, )kH m(RN ) ku (, )kH r (RN ) d
0
Z tn
o
C
ku(, )k2H m (RN ) + ku (, )k2H r (RN ) d
n0
o
C kuk2L2(0,;H m (RN )) + kut k2L2 (0,;H r (RN ))
C
kuk
+
ku
k
m+r
2
m
N
2
r
N
t
L (0,;H (R ))
L (0,;H (R ))
N
L
(0,;H
(R ))
188
onde
1
1
= +
,
l
p
q
= s + (1 )r,
[0, 1]
e ainda que
(Z
kuklH (RN )
)1/l
(Z
kukpH s (RN )
) p (Z
kukqH r (RN )
) 1
q
=
=
=
RN
(1 + kk2 ) k
uk2 d
RN
(1 + kk2 )s+(1)r k
uk2 d
RN
Z
1
(1 + kk2 )s k
uk2
(1 + kk2 )s k
uk2
d
2 s
RN
(1 + kk ) k
uk d
Z
RN
2 s
(1 + kk ) k
uk d
1
kuklH (RN ) d
l(1)
kukl
H s (RN ) kukH r (RN ) d
(Z
kukpH s (RN ) d
) lp (Z
kukqH r (RN ) d
) (1)l
q
7.4
189
Demonstra
ca
o.- Tomemos uma func
ao u C01 (RN ) e definamos g(t) =
p1
|t| t. Nestas condic
oes teremos:
Z +
Z +
g(u(x0 , xN ))
u(x0 , xN )
0
dxN =
dxN .
g(u(x , 0)) =
g0 (u(x0 , xN ))
xN
xN
0
0
Aplicando a desigualdade de H
older obtemos
Z +
0
0
p
0
p1 u(x , xN )
|u(x , 0)| p
|u(x , xN )|
dxN
xN
0
Z +
u(x0 , xN ) p
0
p
dxN .
C
|u(x , xN )| +
xN
0
Integrando sobre a vari
avel x0 segue o resultado
7.5
Espa
cos intermediarios
O seguinte Lema nos fornece os valores que deve tomar para que as func
oes
do espaco W p, possuam traco em t = 0.
190
lim f(t) = b,
em
t0
Demonstra
ca
o.- Se f e uma func
ao de W p, , ela satisfaz
f L1loc (0, ; B1),
Note que
Z t
k
f 0 ( ) d kB2
s
kf 0 ( )kB2 d
kf 0 ( )kB2 d
Z
k f
( )kpB2
s
ck f 0 kpLp (0,;B2 )
1p Z
p
p1
p1
p
p
<1
p1
p1 d < .
Portanto a integral e limitada numa vizinhanca de t = 0, logo o segundo membro da identidade (7.2) e limitada quando s < t 0. Portanto tomando limite
quando t 0 em (7.1) segue a nossa conclus
ao.
191
e denso em W ,p .
kukT ,p Kkuk1
B1 kukB2 .
Demonstra
ca
o.- Seja u T ,p , ent
ao dado > 0 existe f W p, tal que
kfkW ,p kukT ,p + .
simples verificar que
Denotemos por f (t) = f(t). E
f W ,p ,
f (0) = u.
(7.3)
192
kt f kLp (0,;B1 )p =
p kf ( )kB1 d
0
Z
=
p kf(|{z}
)kB1 d
0
1p
p kf()kB1 d
Tomando
>0
k fkLp (0,;B1 )
k f 0 kLp (0,;B2 )
obtemos que
max k fkLp (0,;B1 ) , 1 k f 0 kLp (0,;B2 )
0
= k fk1
Lp (0,;B1 ) k f kLp (0,;B2 )
Note que
0
,p
k fk1
Lp (0,;B1 ) k f kLp (0,;B2 ) kfkW
kfkW ,p + .
193
[T ,p (B1 , B2 )] = T ,p (B2 , B1 )
Para a demonstrac
ao veja [22].
No seguinte teorema mostramos atraves de um exemplo, como os espacos
T ,p se realizam como espacos de interpolacao. Este resultado tambem ser
a
importante para obter resultados de imers
oes dos espacos W s,p() sobre os
espacos Lr ().
Teorema 7.5.1 Denotemos por =
1
+,
p
1 p q ,
Ent
ao teremos que
T ,p (Lq (), Lp ()) Lr ()
onde
1
1
=
+
r
q
p
Demonstra
ca
o.- Tomemos um elemento f W ,p . Utilizando argumentos
de densidade podemos supor que f C ([0, [; Lq()), assim teremos
f(x, 0) = f(x, t)
f 0 (x, ) d
|f(x, t)| dt +
"Z
"Z
|f 0 (x, t)| dt
|f(x, t)| dt
p
1p
|f(x, t)| dt
p1
Z
|f (x, t)| dt
Z
p1 # Z
|f (x, t)| dt
1p #
p
p1
dt
1 p1
A u
ltima desigualdade e verdadera pelas hip
oteses sobre . Denotemos por
f (t) = f(t). Substituindo f por f na desigualdade acima obtemos
194
|f(x, 0)| C
"Z
|f (x, )| d
p1
Z
p1 #
ou equivalentemente
|f(x, 0)| C
"Z
p1
p |f(x, )|p d
Z
p1 #
|f(x, 0)| C
Z
|f(x, )| d
Tomando
nR
|f(x, 0)| 2C
Z
p |f 0 (x, )|p dt
|f(x, )| d
p Z
|f (x, )| dt
p1 #
o p1
1
p
|f (x, )| dt
o p1
1
0
Z
p |f(x, )|p d
1
0
= n
R
Obtemos que
p1
(1)
p
|f(x, 0)| 2C
Z
|f(x, )| d
r
Z
p
|f (x, )| dt
r(1)
p
2C
Z Z
p |f(x, )|p d
r
Z
p
1
0
Aplicando a desigualdade de H
older teremos que
Z
|f(x, 0)|r dx
r(1)
p
dx
195
Z Z
K
tp|f 0 (t)|p dt
s0pr
10
s
dx
Z Z
tp |f(t)|p dt
s(1)r
p
s1
dx
(1 )sr = q
teremos da definic
ao de r que
(1 )r
1
=
s
q
1
=
s0
r =1
10
Z Z
r
p
r
p
rs0 = p.
|f(x, 0)|r dx
K
Z Z
tp |f 0 (t)|p dtdx
Como
tp |f(t)|p dt
qp ! 1s
1
r
=
.
0
s
p
1
p
+ < 1 e v
alido
1
t |g(t)| dt
(1 )p
p
tp |f(t)|p dt
Demonstra
ca
o.- Fazendo a mudanca de vari
avel
t = e ;
f(e ) = f( )
= e ,
g(e ) = g( )
196
e equivalente mostrar
Z
ep |
g( )p e d
1
(1 )p
)|p d
tp |f(
onde
g( ) =
f() d
f()e d.
Denotemos por
E( ) = e ,
F ( ) =
e(1)
0
t>0
t < 0.
Note que
E.
g( )
Z
= e e
f()e d
Z
(1)+
=
f()e
d
Z
=
e(1)() f()e d
= F E f( )
kE gkLp
F (t) dt
|E f | dt
Z
1
p dt
=
|E f|
1
De onde segue a demonstrac
ao
A seguir vamos caraterizar os espacos T ,p. Por simplicidade tomaremos
B1 = W 1,p(R) e B2 = Lp (R). Um procedimento an
alogo e feito para o caso do
RN . Denotemos por T o espaco
Z
p
p
(1)p
T = v L (R);
t
kTt v vkLp (R) dt <
0
197
e um espaco de Banach.
Observa
ca
o 7.5.1 O espaco T e um espaco intermediario entre W 1,p(R) e
p
L (R). Isto e
W 1,p (R) T Lp (R).
De fato, Pela definica
o a segunda inclus
ao acima e imediata. Mostraremos a
primeira. Para isto tomemos w W 1,p(R), pela Proposica
o 5.1.2 teremos que
kTt v vkpLp (R) k
v p
k p tp
x L (R)
kvkpLp (R)
(1)p
v
kvkpLp (R) + k kpLp (R)
x
CkvkpW 1,p (R)
kTt v
Z
vkpLp (R) dt
t()p dt + 2
1
p
< 1. Ent
ao e v
alida a identidade:
T = T ,p
198
f(x + t, 0) +
=
=
f(x + t, 0)
f(x + t, 0)
{f(x + t , )} d
Z t
f(x + t , ) d +
f(x + t , ) d
x
0
h(x + t , ) d
onde
h(x, t) =
f(x, t) + f(x, t)
x
t
h(x + t , ) d
0
Z t
Z t
f
d
h(x + t , ) d.
0
0
Tt u u
kLp (R)
t
Z
Z
1 t 0
1 t
kf (, )kLp(R) d +
kTth h(, )kLp(R) d
t 0
t 0
Z
Z
1 t
1 t 0
kf (, )kLp(R) d +
kh(, )kLp(R) d.
t 0
t 0
Z t
p
1
kf 0 (, )kLp(R)
d
t 0
0
p
Z t
Z
1
kh(, )kLp(R)
d
+2p
tp
t 0
0
2p
tp
(1)p
kTt u
ukpLp(R)
Z
2p
tpkf 0 (, )kpLp(R) d
(1 )p 0
Z
2p
+
tp kh(, )kpLp(R) d
(1 )p 0
199
f
x (x, t)
obtemos
Z
2p+1
tp kf 0 (, )kpLp(R) d
(1 )p 0
Z
f
2p
+
tp k (, )kpLp(R) d
p
(1 ) 0
x
2p+1
kfkpW ,p
(1 )p
2p+1
kukpT ,p
(1 )p
1
g(x, t) =
t
Note que
g(x, t) =
x
=
=
=
u(x + ) d
Z t
1
u(x + ) d
t x 0
Z
1 t
u(x + ) d
t 0 x
Z t
1
u(x + ) d
t 0
1
{u(x + t) u(x)}
t
dt =
p
lembrando a definic
ao de g obtemos
Z 1
Z 1
Z
p
p
p
p
p
p
t kg(, t)kW 1,p (R) dt 2
t dtkukLp(R) +2
0
200
g (x, t) =
=
:=I2
:=I1
Pela definic
ao da norma em T temos que o termo I1 pode ser estimado da
seguinte forma
Z
tp k
Z 1
Tt u u p
kLp (R) dt
t(1)pkTt u ukpLp (R) dt
t
0
= kukpT
1
t k p
t
p
T u u
d kpLp (R)
dt
=
1
(2 )p
kukpT .
201
kukpLp (RN )
n Z
X
i=1
e um espaco de Banach. Usando os mesmos argumentos que no Teorema anterior podemos mostrar que
T = T ,p (W 1,p (RN ), Lp (RN ))
O que implica que os espacos T ,p s
ao espacos intermediarios entre W 1,p (RN )
p
N
e L (R ) esto e
W 1,p (RN ) T ,p Lp (RN ).
Agora estamos em condic
oes de definir os espacos W s,p (RN ) para s um n
umero
real. Isto sera realizado na seguinte sec
ao.
7.6
Os espacos W s,p
||=m
kD uk
1 1 ,p
p
e um espaco de Banach.
1
Pode-se mostrar que o espaco T 1 p ,p e um espaco reflexivo para 1 < p <
. Portanto utilizando o isomorfismo
P u = (u, (D u)||=m )
202
entre os espacos
W s,p (RN )
W m,p (RN )
T 1 p ,p
||=m
7.7
Teorema do traco
Nesta sec
ao mostraremos o Teorema do Traco para func
oes em W m,p (RN ).
Para isto introduziremos os espacos intermediarios de ordem superior.
Denotaremos por
(0)
T=T
1 p1 ,p
Note que
(0)
T
(k)
w L (R );
n Z
X
i=1
w W k,p (RN );
(1)p
n Z
X X
||=k i=1
kTti w
wkLp(RN ) dt <
0km
203
Demonstra
ca
o.- Tomemos f W e || < m k 1, ent
ao teremos que
t D f (k) Lp (0, ; W 1,p(RN );
(mk1)
0,p
w L (R );
= W ,p (RN )
n Z
X
i=1
kTt w
wkpLp (RN )
dt <
Onde 1 = |{z}
+ 1p de onde segue que = 1 1p . Portanto e v
alida a
identidade
=0
204
T 0,p = W 1 p ,p (RN )
De forma an
aloga e lembrando a definic
ao de W s,p (RN ) teremos
(k)
=
=
w W k,p (RN );
n
X
i=1,||k
W k+,p (RN ).
k+1 p ,p
(RN )
T=W
kw (k)(, 0)k
mk 1 ,p
p
(RN )
(7.4)
m1
Y
k=0
D(RN )
definida como
() = ((, 0), 0(, 0), , (m1) (, 0))
Pode ser estendida continuinamente aos espacos
: W m,p (Rn+1
+ )
m1
Y
W mk p ,p (RN )
k=0
Isto e, existe uma constante C > 0 que verifica a desigualdade (7.4) para toda
funca
o em W m,p (RN
+)
7.8
Espa
cos W s,p ()
205
X
u=
(i u)
i=1
v(hj (x)) se
0
se
x Q0
x 6 Q0
X
j=1
um espaco de Banach.
E
A seguir deixamos aos cuidados do leitor a demonstrac
ao dos seguintes
teoremas:
Teorema 7.8.1 C0(RN ) e denso em W s,p(RN )
Teorema 7.8.2 Seja s = m + com m inteiro e 0 < < 1. Seja de classe
C m+1 , ent
ao D() e denso em W s,p().
206
7.9
m1
Y
k=0
D()
definida como
() = (0 (), 1 (), , m1 ) = (| ,
(m1)
, , (m1) ).
|
Ent
ao pode ser estendida continuamente aos espacos
: W m,p ()
m1
Y
W mk p ,p ()
k=0
kk (w)k
mk 1 ,p
p
()
CkwkW m,p ()
h (u)(x0 , 0)k mk p1 ,p
W
()
xn j
ckukW m ()
f 0 Lp (0, ; Lp(RN ))
Ent
ao teremos que
1
207
Demonstra
ca
o.- Do Teorema de Fubini e a definic
ao dos espacos W s,p (RN )
segue que
p
1,p
W 1,p(Rn+1
(RN )), f 0 Lp (0, ; Lp(RN ))
+ ) = f; f L (0, ; W
Do Teorema do Traco segue que
kf(0)kp
1 1 ,p
p
(RN )
W
n
o
c kfkpLp (0,;W 1,p (RN )) + kf 0 k2Lp (0,;Lp (RN ))
1 1 ,p
p
W
(RN )
n
o
c kfkpLp (0,;W 1,p (RN )) + kf 0 k2Lp (0,;Lp (RN )) ,
s > 0.
onde
1
1
= +
,
l
r
s
]0, 1[
e ainda que
(Z
kfklW ,r (RN ) d
)1/l
(Z
) r (Z
kfksLp (RN ) d
1 1 ,p
p
1 1
p
ckfkW 1,p
kfkLp p (RN )
(RN )
) 1
s
208
De onde obtemos
kfk
1 1 ,p
p
kfklW ,p
l(1)
kfkl
W 1,p (RN ) kfkLp (RN ) d
(Z
) lr (Z
kfksLp (RN ) d
) (1)l
s
7.10
Exerccios
em
em =
Qual e o maior espaco que deve ser tomado g para que o problema tenha
uma solucao em H m (). Justifique sua resposta.
4. Mostre que se e um aberto limitado de classe C 3 ent
ao a aplicac
ao
traco esta bem definida nos seguintes espacos:
: W 2,p ()
W 2 p ,p () W 1 p ,p ()
f 7 (f| ,
f
)
|
e linear e contnua.
m1
Y
k=0
f 7 f|
H mk 2 ()
209
7.10. Exerccios
6. Seja um hipercubo do RN , mostre que
kukLp() Ckuk1
Lq () kukW 1,r ()
1
q
1
q
1
n
1
p
1
r
em
]0, L[]0, [
u Lp (a, b; Ls (RN ))
onde
1
= +
,
p0
p
q
1
1
= +
s0
s
r
1
= +
.
p0
p
q
210
=
onde
T ,p (W 1,p(RN ); Lp (RN ))
)
n Z
X
p
f Lp (RN );
t(1)pkTti w wkLp(RN ) dt <
i=1
Captulo 8
Extens
ao de Funcionais
Convexos
O Prop
osito deste captulo e introduzir o conceito de funcionais quase convexos
e A-quase convexos e encontrar condic
oes sobre as quais estes funcionais s
ao
seq
uencialmente contnuos, respecto a convergencia fraca, onde a seq
uencia
possui restricoes nas derivadas.
8.1
Fun
c
oes A-quase convexas
m
X
ai,j,k
j,k=1
uj
= 0.
xk
211
212
Captulo 8. Extens
ao de Funcionais Convexos
(x) dx = 0 e A = 0.
Z
L(D) = L (D);
(x) dx = 0, e A = 0 .
D
De onde segue que c = 0. Portanto, todo L(D) pode ser escrito como
L(D) := { L (D) L (D); 1 = 2 } .
(8.1)
213
Exemplo 8.1.2 Consideremos o mesmo operador do exemplo (8.1.1), e denotemos por f a func
ao
f(x, y) = x2 y2 .
Claramente f n
ao e uma func
ao convexa, muito menos uma func
ao linear. Mas
ela e uma funcao Aquase linear. De fato,
f(1 + 1 , 2 + 2 ) = f(1 , 2 ) + 21 1 22 2 + f(1 , 2 )
Como L(D) teremos
f(1 + 1 , 2 + 2 ) = f(1 , 2 ) + 21 1 22 2
Integrando sobre D e aplicando o fato que L(D) concluimos que
Z
f( + ) dx = f()meas(D).
D
Finalmente, como f e f s
ao A-quase convexos, concluimos que f e A-quase
linear. Portanto, temos um exemplo de uma func
ao n
ao linear que e uma
funcao A-quase linear.
Exemplo 8.1.3 Consideraremos o mesmo operador A que no exemplo 8.1.1
e denotemos por f uma func
ao quadr
atica de duas variaveis. Sem perda de
generalidade podemos supor que f e da forma
f(x, y) := ax2 + bxy + cy2 ;
Queremos determinar quais s
ao as relac
oes que deven satisfazer os coeficientes
a, b, e c para que f seja un funcional A-quase convexo e A-quase linear. Para
isto consideremos
f( + )
(8.2)
214
Captulo 8. Extens
ao de Funcionais Convexos
=v
Onde e um n
umero real. A seguir caraterizemos o espaco L(D). Primero
notemos que
A(1 , 2 , 3 , 4 ) = 0,
implica que existe um vetor constante C := (c1 , c2 ) R2 tal que
Como
u dx =
u v = C.
D
v dx = 0, ent
ao teremos que
u + v = 0.
2
L(D) = (u, v) [L (D)] [L (D)] ;
u dx =
v dx = 0, u = v .
D
Consideremos a func
ao determinante
det (u , v )
simples verificar que a func
E
ao (u, v) 7 det (u , v ) e n
ao linear, mas e uma
func
ao A-quase linear.
8.2
O prop
osito desta sec
ao e mostrar um resultado similar ao Teorema 3.11.1
para funcionais A-quase convexos. Infelizmente n
ao e possivel obter uma
condic
ao necessaria e suficiente com este grau de generalidade. Em compensac
ao mostraremos uma condic
ao necess
aria e logo outra suficiente. Comecaremos
mostrando uma condic
ao necess
aria para que uma func
ao f seja semicontnua
inferiormente.
Teorema 8.2.1 Suponhamos que para toda seq
uencia u satisfazendo
u
fraco estrela em
Au
teremos que
lim inf
L (D)
f(u ) dx
Ent
ao f e uma funca
o A-quase convexa.
f(u) dx.
215
Demonstra
ca
o.- Tomemos L(D), denotemos da mesma forma sua extens
ao perodica ao RN . Ponhamos
(x) := (x) x RN ,
ent
ao teremos que
aplicando as hip
oteses concluimos que
Z
Z
f()meas(D) lim inf
f( + (x)) dx =
f( + (x)) dx;
D
(8.3)
Demonstra
ca
o.- Denotemos por fl a
f(x)
fl (x) =
f(l)
f(l)
seq
uencia de func
oes dado por
if
l x l
if
xl
if
l x.
u forte em L2 ()
u(x) q.s. em .
216
Captulo 8. Extens
ao de Funcionais Convexos
Denotando por
1
meas()
=
teremos
dx,
em L (),
A = 0,
| |
0.
Z
+
fl (vk + ) fl (vk ) dx
Z
fl (vk + ) fl (vk ) dx
fl (vk + ) fl (vk ) dx =
L Z
X
i=1
Di
(8.4)
217
8.3. Exercicios
fl (u ) dx
fl (u) dx 2.
8.3
Exercicios
218
Captulo 8. Extens
ao de Funcionais Convexos
8.4
Condic
ao pontual
em [L ()]m
u *P u P
uj
m
n
(H)
Bounded in L2 ()
Au = j=1 k=1 aijk xk
?
f(u ) * l
em L ().
v
s
ao limitados em L2 .
y
Nestas condic
oes teremos que
u
v
f(u , v )
*
?
*
?
in
[L ()]m
in
[L ()]m
in
L ().
As condic
oes que impomos sobre as derivadas de u e v n
ao s
ao suficientes
para obter l = f(u, v), para toda func
ao contnua. Nosso prop
osito e encontrar
a maior classe the func
oes contnuas f para as quais seja v
alido f(u, v) = l?.
Para isto tomemos transformada de Fourier, assim obtemos
1 u
2 v s
ao limitados em L2 .
219
8.5. Propriedades
1 + ||2
1 + ||2
converge forte em L2 . A quest
ao aqui e como usar esta convergencia. Para que
tipos de funcoes teremos que f(u, v) = l?. Como as tecnicas que utilizaremos
s
ao baseadas na transformada de Fourier teremos que restringirnos a funcionais
quadr
aticos.
Nosso primeiro ponto e estabelecer uma condic
ao necessaria pontual que
uma func
ao f deve satisfazer para ter f(u, v) = l. Para isto introduziremos um
novo conceito de convexidade
Defini
ca
o 8.4.1 Diremos que uma funca
o f e convexa na direca
o de se
para todo x, y Rm tais que x y temos
f(x + (1 )y) f(x) + (1 )f(y)
Assim como a A-quase convexidade, a convexidade na direc
ao de tambem
extende a noc
ao usual de convexidade. Isto e toda func
ao convexa e convexa
em qualquer direc
ao. Analizemos as seguintes propriedades.
8.5
Propriedades
y+
.
1
(8.5)
220
Captulo 8. Extens
ao de Funcionais Convexos
para . Substituindo e em (8.5) obtemos
).
f(y) f( y + ) + (1 )f(y
| {z }
1
|
{z
}
:=x+t
(8.6)
:=x+s
x + t
x + s +
para todo
m X
n
m X
n
X
X
B(, ) :=
a1jk i k , ,
aqjk i k
j=1 k=1
j=1 k=1
8.5. Propriedades
221
2
q
X
X
2
Re g() || c
aijk j k
i=1 j,k
para todo C m e Rm tal que || = 1
Demonstra
ca
o.- Raciocinemos por reduc
ao ao absurdo. Suponhamos que
existe 0 tal que para todo N tenhamos
2
q
X
X
2
Re g( ) 0 | |
aijk j k
(8.7)
i=1 j,k
ijk j k
ijk j k = 0,
i=1 j,k
i=1 j,k
222
Captulo 8. Extens
ao de Funcionais Convexos
in [L ()]m
u uP
j
P
u
n
1
(H 0 )
Au = m
compact in Hloc
()
j=1
k=1 aijk xk
0
f(u ) l
in D ().
Ent
ao teremos que
f() 0
l f(u).
f() = 0
l = f(u).
Demonstra
ca
o.- Sem perda de generalidade podemos supor que u = 0. A
ideia e aplicar Transformada de Fourier. Para isto introduzimos a seq
uencia
w = u , onde C0 (), que consideraremos definida em todo o espaco
RN sendo zero fora de . e simples verificar que
in [L ()]m
w 0
j
Pm Pn
w
1
Aw = j=1 k=1 aijk xk 0 strong in Hloc
()
w
possui suporte compacto e fixo .
Nestas condicoes mostraremos que
Z
lim inf
RN
f(w ) dx 0.
223
8.5. Propriedades
Usando o Teorema de Lebesgue concluimos que
w 0 Forte em
L2loc (RN )
in
(8.8)
j,k
+ i
RN
Re f(w ) d
RN
Como
f(w
) d =
RN
RN
f(w ) d +
||1
||1
f(w
) d,
||1
f(w ) d 0
2
q X
X
k
Re f(w ()) |w
()|2 c
a
w
ijk j
||
i=1 j,k
Apois integrar sobre RN teremos
Z
RN
f(w
()) d
RN
|w
()|2 d c
RN
2
q X
X
k
a
w
d.
ijk j
||
i=1 j,k
224
Captulo 8. Extens
ao de Funcionais Convexos
RN
|w
()|2 d.
RN
8.6
v
y
fraco em
limitado em
L2 () L2 ()
L2 ()
Tomemos , ent
ao existe 6= 0 tal que
1 1 = 2 2 = 0.
(8.9)
Como 1 6= 0 ou 2 6= 0, ent
ao 1 6= 0 ou 2 6= 0. Portanto uma das componentes de deve ser nula. Reciprocamente, se uma das componentes de e
zero, por exemplo 1 , ent
ao existe = (1, 0) satisfazendo (8.9), ent
ao .
Portanto, podemos escrever como
= = (1 , 2 ) R2 ;
tal que 1 = 0, or 2 = 0 .
225
L2 () L2 ()
fraco em
L2 ()
limitado em
ent
ao teremos que
u v * uv
D0 ()
em
(u , v ) * (u, v)
fraco em
( div u , curl v )
limitado em
L2 () [L2 ()]n
n
X
B(, , ) :=
k k , i j j i
|
{z
}
k=1
n componentes
Tomemos , ent
ao existe 6= 0 tal que
n
X
k k = 0,
k=1
i j j i = 0,
isto e equivalente a
i
j
=
i
j
226
Captulo 8. Extens
ao de Funcionais Convexos
tal que
n
X
xi yi
i=1
fraco em
(div u , curl v )
limitado em
ent
ao teremos que
u v * u v
8.7
em
D0 ()
Exercicios
ux limitadas L2 (),
utt uxx = f ;
227
8.7. Exercicios
limitado em L2 ()m
Au
tenhamos que
lim inf
u fraco em Lp ()
f(u ) dx
Ent
ao f e uma func
ao A-quase convexa.
f(u) dx
:=
kcurl vk dx +
|div v|2 dx
228
Captulo 8. Extens
ao de Funcionais Convexos
Captulo 9
Aplica
c
oes
9.1
Desigualdades variacionais
9.2
em
(0, 1) (0, T ).
(9.1)
ux (1, t) 0,
(9.2)
(9.3)
e a condic
ao de valor inicial
u(x, 0) = u0 (x),
9.3
ut (x, 0) = u1 (x).
(9.4)
Existencia de soluc
oes fracas
229
230
Captulo 9. Aplicacoes
V = { H 1 (0, 1);
K = { V ;
(0) = 0}
(9.5)
(1) g}.
(9.6)
(9.7)
A formulac
ao variacional do sistema anterior e equivalente a encontrar uma
funcao u satisfazendo
u W 1,(0, T ; L2 (0, 1)) L (0, T ; K)
Z
utt (v u) dx +
ux(vx ux ) dx
f(v u) dx,
(9.8)
e tambem
Z
utt v + ux vx dx =
1
fv dx (u(1, t) g)+ v(1, t)
0
ut (1, t)v(1, t);
(9.9)
para todo v H 1 ((0, T ) (0, 1)), com v(0, t) = 0. Para mostrar a existencia
de solucoes utilizaremos os seguintes Lemas.
Lema 9.3.1 Suponhamos que {uk }
e uma seq
uencia de funco
es tais que
k=1
uk * u
t uk * t u
em
em
L (0, T ; H (0, 1)
L2 (0, T ; H (0, 1))
em
231
(9.10)
Demonstra
ca
o.- Denotemos por U
U = u u0 (x) tu1 (x),
(9.11)
F = f + u0,xx + tu1,xx
(9.12)
e
Portanto a equac
ao (9.9) e equivalente a
Z
Utt v + Ux vx dx =
1
F v dx (U (1, t) g)+ v(1, t)
0
Ut (1, t)v(1, t),
(9.13)
para toda v H 1 ((0, T ) (0, 1)), com v(0, t) = 0. Para mostrar a existencia
de soluc
oes para a equac
ao (9.9) utilizaremos o metodo de Galerkin.
Seja {zj }
j=1 C ([0, 1]) uma base ortonormal de V e denotemos por
V m = [z1 , . . . , zm ] o espaco generado pelos primeiros m vectores da base.
Tomemos U m tal que para todo t 0,
Um =
m
X
Vm
(9.14)
Uxm zj,x dx =
(9.15)
cj (t)zj (x)
j=1
Uttm zj dx +
1
F zj dx (U m (1, t) g)+ zj (1) Utm (1, t)zj (1)
Utm (x, 0) = 0,
0 < x < 1,
(9.16)
232
Captulo 9. Aplicacoes
1 d
{
2 dt
1
|Utm |2 + |Uxm |2 dx + |(U m (1, t) g)+ |2 } + |Utm (1, t)|2
Z L
=
F Utm dx.
(9.17)
0
t 0,
t 0,
(9.18)
(9.19)
em
Derivando a equac
ao (9.15) com respecto a t, e repetindo o mesmo razonamento
anterior teremos
Z L
1 d
m 2
{
|Uttm |2 + |Uxt
| dx + |Uttm (1, t)|2
(9.20)
2 dt 0
1
+ [(U m (1, t) g)+ ]t Uttm (1, t) = (Ft , Uttm ).
dx =
F (x, 0)Uttm(x, 0) dx
esta u
ltima identidade implica que, Uttm (x, 0) e limitado em L2 (0, 1). Por outro
lado, de (9.19) segue que
m
+
{U (1, t) g}t c|Utm (1, t)|.
m 2
|Uttm |2 + |Uxt
| dx +
(9.21)
233
Uttm v dx dt +
F v dx dt
Z
1
1
F v dx dt
Uxm vx dx dt
Z
T
0
(9.22)
Utm (1, t)v(1, t) dt.
Ux vx dx dt
(9.23)
(U (1, t) g) v(1, t) dt
Como r >
1
2
Um U
em
r < 1.
que implica
(U m (1, t) g)+ (U (1, t) g)+
in C([0, T ]).
ut (x, 0) = u1 (x).
ut (vt ut ) dx dt +
(9.24)
(9.25)
ux (vx ux) dx dt
(9.26)
234
Captulo 9. Aplicacoes
f(v u) dx dt
para todo v H 1 ((0, T ) (0, 1)) tal que v(, t) K, para todo t > 0.
Denotemos por u0 , u1 os dados iniciais satisfazendo (9.10) tais que
(u0 , u1 )
in V L2 (0, 1).
(u0 , u1 )
ent
ao teremos que u satisfaz
ut (vt ut ) dx dt +
ux (vx ux) dx dt
(9.27)
0
0
H1
fracamente
ent
ao teremos
Z TZ
lim
0
em
{|ut |2
|ux|2 } dx dt
0,
(9.28)
0,
(9.29)
t [0, T ],
0,
{|ut |2 |ux|2 } dx dt
(9.30)
(9.31)
Demonstra
ca
o.- Tomemos 0 < 0 < 12 fixo, e denotemos por p(x) a uma
func
ao suave n
ao decrescente igual a 1 para x [0, ) e 1 para x (1 , 1].
Como utt L2 (0, T ; L2 (0, 1)) de (9.29) segue que uxx L2 . Portanto para
todo < 0 , teremos
235
uxxpux
1
dx dt =
2
+
e
Z
T
0
(9.32)
1 0 2
p |ux| dx dt
2
utt pux dx dt =
(ut (1
, t))
+ (ut (, t))2 dt
1 0 2
p |ut | dxdt
(9.33)
2
+
+
T
0
1 0
p {(ut )2 + (ux)2 } dx dt
2
T
0
(0,)(1,1)
|ux|2 + |ut |2 dx dt C.
(9.34)
236
Captulo 9. Aplicacoes
denotemos por
U = (ut , ux),
W = (ut , ux)
Como
div U = utt uxx
in D0 ((0, 1) (0, T ))
(9.35)
(, 1 )
Z Z
Z TZ 1
T 1
2
2
2
2
{|ut| |ux | } dx dt
{|ut | |ux | } dx dt
0 0
0
0
Z Z
Z Z
T 1
T 1
2
2
2
2
{|ut | |ux| }(1 ) dx dt +
{|ut| |ux| }(1 ) dx dt
0 0
0 0
Z Z
Z TZ 1
T 1
2
2
2
2
+
{|ut | |ux| } dx dt
{|ut | |ux| } dx dt
0 0
0
0
1
0
{|ut|2 + |ux |2 }(1 ) dxdt C
portanto obtemos
Z Z
Z TZ 1
T 1
2
2
2
2
lim
{|ut | |ux| } dx dt
{|ut | |ux | } dx dt C
0 0
0
0
0
237
Demonstra
ca
o.- Mostraremos que as desigualdades (9.18) permanecen v
alidas
quando colocamos no lugar de m, para dados iniciais u0 , u1 , limitados em
V e L2 (0, 1) respectivamente. Note que u , satisfaz a equac
ao (9.1) com as
seguintes condic
oes de contorno
1
ux(1, t) = (u (1, t) g)+ ut (1, t),
u (0, t) = 0.
De (9.9) temos
Z 1
Z
utt v + ux vx dx =
(9.36)
(9.37)
1
fv dx (u (1, t) g)+ v(1, t) ut (1, t)v(1, t);
0
0
(9.38)
para todo v H 1 ((0, T ) (0, 1)). Tomando v = ut em (9.38) temos
1 d
2 dt
Z
1
|ut |2 + |ux|2 dx + |(u (1, t) g)+ |2 + |ut (1, t)|2 = (f, ut ),
(9.39)
* u em
ut
* ut
utt uxx = f.
(9.40)
(9.41)
(9.42)
Usando (9.40) e como f L (0, T ; L (0, 1)) das convergencias anteriores concluimos que
utt * utt
Do Lema 9.3.1 temos
ut ut
onde r > 0. Tambem temos
u u in C([0, T ]; H (0, 1))
onde < 12 . Tomando = r <
1
2
segue que
ut (, T ) ut (, T ) em
H r (0, 1),
238
Captulo 9. Aplicacoes
u (, T ) u(, T ) em H r (0, 1),
I1
:=
I2
I3
| ut |2 |ux |2 dx dt
:= (u (1, t))
1
(u (1, t) g)+ (v(1, t) u (1, t))
:=
Os outros termos s
ao simples. Do Lema 9.3.3 temos que
lim I1 =
T
0
| ut |2 |ux|2 dx dt
Respeito ao termo I2 , temos que u converge fraco em H 1 ((0, T ) (0, 1)) queu
implica u u forte em C([0, T ]; H (0, 1)), < 1. Para > 12 temos que
H (0, 1) C([0, 1]) com imers
ao compacta, portanto teremos
u (1, .) u(1, .) forte em
C([0, T ])
I3
0
=
Ap
endice A
Decomposi
c
ao de campos
vetoriais
Provaremos aqui que o vetor deslocamento pode ser decomposto em duas
partes: selenoidal e irrotacional, cujas correspondentes energias decaem para
zero com taxas que dependem da regularidade dos dados inicias. A seguir estabeleceremos as condic
oes para as quais esta decomposicao e v
alida. Denotemos
por = (1 , ..., n) Nn , x = (x1 , ..., xn) Rn e por
|| =
n
X
i=1
i ;
n
2
x = x11 x
2 xn ;
U (x) =
1
2
ln |x|
1
(n2)n|x|n2
= (
n
1
) (
)
x1
xn
se
n=2
se
n>2
RN
U (x )f()d
239
(A.1)
240
Ap
endice A. Decomposicao de campos vetoriais
Observa
ca
o A.0.1 Se F L1 (Rn ) Ls (Rn ) e , pertence a Ls (Rn ) e
1
n
L (R ) respectivamente ent
ao temos que
F Ls (Rn ) e F Ls (Rn )
RN
Z
| F | d
s
RN
| F | d
em particular,
1/s
1/s
Z
|| d
RN
Z
||d
RN
1/s Z
RN
Z
|F |d
s
RN
|F | d
1/s
{ + } F Ls (Rn )
e ainda,
Z
RN
Z
RN
|| d
1/s Z
RN
|{ + } F |s d
|F |d +
Z
RN
1/s
||d
Z
RN
|F | d
1/s
Z Z
|x y|
|x y|
1
2 |x
y| e fazendo a mudanca
Z Z
|v(t( x) + x)|dt d.
B 0
Z
1
2
tD
|v()|ddt
(A.2)
241
Onde D e o disco de centro no origem e raio t|x y|. Como t 1 e tD D,
segue que
Z
Z
2/p0 2/p0
1/p0
|v()|d
|x y|
t
( |v()|p d)1/p
tD
2
|x y| |v(x) v(y)|
4
Z
Z
v()d |x y|2 v(x) + v()d |x y|2 v(y)
4
4
B
B
de onde segue
|v(x) v(y)| 8
Z
p
|x y|12/p( |v()|pd)1/p
p2
D
(A.3)
> 2, para n = 2
ent
ao existe uma funca
o contnua u com u H 1 (R2 ) para || = 1, satisfazendo (A.1). Finalmente, se
f L1 (Rn ) Lp (Rn ) para n 3
242
Ap
endice A. Decomposicao de campos vetoriais
(x) = (x),
()d = 1 e (x) = 0 se
RN
|x|
1
.
satisfaz a equacao
u = f .
De onde facilmente segue
Z
Z
RN
RN
|u (x)| dx
|u (x) u (x)|2 dx
(A.4)
|u ||f (x)|dx
(A.5)
RN
|f (x) f (x)|2 dx
(A.6)
RN
Das hip
oteses sobre f temos que (f )N e uma seq
uencia de Cauchy em
L2 (Rn ) e portanto tambem (u )N . Em conseq
uencia para provar que
u H 1 (Rn ) para || = 1, temos apenas que mostrar que u L2 (Rn ).
Para isto e suficiente mostrar que o lado direito de (A.5) e limitado. Primero
consideraremos o caso n = 2, para o qual a derivada da func
ao u satisfaz
Z
u (x)
u (x)|
|x |1 |f () f ()|d
|
x i
x i
2 RN
As hip
oteses sobre f implicam que f Lr (R2 ), r 1. Como > 2, existe
p > 2 tal que (1 2p ) > 2. Aplicando a observac
ao A.0.1 para = ||1 , =
1
c || , F = f f e s = p, onde e c denotam as func
oes caracteristicas
sobre a bola B(0, 1) e seu complemento respectivamente, temos que
Z
1
x 7
|x | |f () f ()|d Lp (R2 )
RN
portanto
p
u (x) L (R2 )
x i
e
Z
|
u (x)
u (x)|pdx
x
x
2
i
i
R
1/p
243
1
2
||1 dx
R2
Z
R2
|f f |pdx
1/p
Z
Z
1
+
c ||pdx 1/p
|f f |dx
2 R2
R2
conseq
uentemente (u /xi )N e uma seq
uencia de Cauchy em Lp (Rn ), portanto limitada. Aplicando o lema A.0.4 a u (x) u (x) obtemos
a
Z
R2
|u () u ()| d
1/p
uencia de Cauchy em
onde a = 1 p2 . Para provar que (u )N e uma seq
C(RN ) somente necesitamos provar que a seq
uencia numerica (u (0))N e
convergente, pero isto segue imediato da definic
ao de u e das hip
oteses sobre
f, portanto existe uma func
ao contnua u tal que
u u
u u
forte em Lp (R2 )
R2 ,
|| = 1.
para p > 2,
Z
8p|x|12/p
(
|u ()|p d)1/p .
p2
R2
e aplique as hip
oteses sobre f. Portanto temos
+a
o(f u ) = o(|x|
) quando x ,
RN
|cU |dx[
RN
RN
|f f |q dx]1/q + C[
RN
|c U |q dx]
Z Z
R
n
Rn
|f f |dx.
244
Ap
endice A. Decomposicao de campos vetoriais
u u forte em
Lq (Rn )
L2 (Rn ),
|| = 1.
A demonstrac
ao est
a completa
Lema A.0.6 Seja F um campo vetorial em [H k (Rn )]n tal que o divergente de
F , (div F = f) satisfaz as condico
es do Lema A.0.4. Ent
ao podemos decompor
F em duas partes, ambas em [H k (Rn )]n , uma delas um gradiente e a outra
uma funca
o selenoidal (isto e, com divergente nulo).
Demonstra
ca
o.- Do lema A.0.5 existe uma func
ao p tal que p H 1 (Rn )
para || = 1, satisfazendo
p = div F
em
Rn
Indice
Aberto de classe C m , 117
Absorvente, 73
Base, 73
Local, 73
Can
onica, Projeca
o, 37
Capacidade t
ermica, 91
centro de masa, 71
Coercivo, 161
Compacidade, 152
Comportamento Asint
otico, 94
Condica
o
de Dirichlet, 92
de Neumann, 92
Condica
o de Dirichlet, 159
Condica
o de Signorini, 169
Condica
o Pontual, 211
Condica
o pontual, 208
Condutividade t
ermica, 91
Conjunto
limitado, 74
Absorvente, 73
Balanceado, 74
compacto, 73
Convexo, 6
Fechado, 73
Conjuntos
(m,p) polar, 113
compactos em Lp , 58
Continuidade Absoluta, 55
Converg
encia Fraca em L1 , 55
Converg
encia Fraca em Lp , 53
Convexa, Estritamente, 16
Convexidade e Topologia Fraca, 46
Efeito Regularizante, 94
Equaca
o de ondas, 217
Equaca
o do Calor, 91
Equaco
es Elticas, 162
Espaco
H s (), 174
W s,p (), 196
Hausdorff, 73
m
etrico
e completo, 20
Reflexivo, 37
Vetorial Topol
ogico, 73
Decaimento
Exponencial, 17
Polinomial, 17
Decomposica
o de campos vetoriais , 227
Decomposica
o: rotacional e selenoidal, 227
Definida negativa, 202
245
246
Espaco das funco
es testes, 78
Espaco Dual, 28
Espaco reflexivo, 37
Espaco Topol
ogico, 73
Espacos Lp com 0 < p < 1, 66
Espacos de Sobolev, 97
Espacos localmente convexos, 79
Espacos reflexivos, 36
Espacos Vetoriais Topol
ogicos, 73
Fatou
Lema, 150
Fecho, 73
Fr
echet, 74
Funca
o
Convexa, 5
Convexa, Estrictamente, 5
Estrictamente Convexa, 5
Integr
avel, 149
mensur
avel, 149
simple, 149
Funca
o estritamente convexa, 16
Funco
es A-quase convexas, 201
Funco
es infinitamente diferenciaveis, 75
Funcional de Minkowski, 46
Gagliardo-Nirenberg
Desigualdade, 142, 145
Gauss, 98
Gronwall, 13
Hausdorff, 73
Heine-Borel, 74
Identidade de Plancherel, 88
Interior, 73
Interpolaca
o real, 174
Irrotacional, 227
J.U. Kim, 155
Jensen
Desigualdade de, 9
Lei de Fourier, 91
Lei de Newton, 91
Leibniz, 81
Lema
Mazur, 51
de Fatou, 127
de Gronwall, 15
Lema de Fatou, 150
Lema de Rieman Lebesgue, 62
Limitada
Indice
Variaca
o, 151
Localmente compacto, 74
Localmente Convexo, 74
Localmente Limitado, 74
M
etrica, 19
Matriz
Hessiana, 7
Metriz
avel, 74
Meyers, 98
Minkowski, 66
Normas, 74
Ordem de Uma distribuica
o, 79
Ordem infinita de uma Distribuica
o, 79
Pequenhos deslocamentos, 159
Plancherel, 88
Principio de Bernoulli, 159
Principio de trabalho virtual, 159
Principio do M
aximo, 94
Problema de contato, 169
Problema de Signorini, 169, 217
Problemas de Obst
aculos, 217
Projeca
o Can
onica, 37
Propriedade de Heine-Borel, 74
Propriedade do Cone, 139
Propriedade do Segmento, 110
Propriedade do segmento, 111
Propriedade Uniforme do Cone , 140
Propriedade Uniforme do Cone, 139
Propriedade Uniforme do cone, 139
Quadratic Function, 203
Radon-Nikodim, 55
Reflexivo, 37
Reflexivos
Espacos, 36
Regularidade
rotacional e selenoidal, 227
Selenoidal, 227
Semicontinuidade Inferior, 33, 161
Seminormas, 74
Semipositiva Definida, 7
Serrin, 98
Teorema
Converg
encia Dominada, 150
da Representaca
o de Riesz, 52
Indice
da representa
ca
o de Riesz para Lp ,
51
de Egorov, 56
de Lions Stampachia, 161
de Morrey, 129
de Rellich-Kondrachov, 133
do Traco em H m (Rn1 ), 174
do Traco em Lp (Rn1 ), 180
Bochner, 150
de Hanh Banach, 31
de Sobolev, Gagliardo, Niremberg,
124
Lions, 152
Meyers-Serrin, 98
Radon-Nikodim, 55
Teorema da Converg
encia Dominada, 40
Teorema de Lusin, 39
Topologia
Forte, 47
Fraca, 47
Topologia Fraca, 47
Topologia fraca estrela, 79
Traco de funco
es em W 1,p , 180
Transformada de Fourier, 83
Transformada de um distribuica
o, 89
Transformada Inversa de Fourier, 87
Variaca
o
Limitada, 151
Total, 151
Vizinhanca, 73
247
248
Indice
Bibliografia
[1] R.A. Adams; Sobolev Spaces Academic Press, New York 1975
[2] J. Bergh and L. Lofstrom; Interpolation spaces Springer-Verlag N.
York/Berlin 1970
[3] H. Brezis Analisis Funcional teora e aplicaciones Alianza Editorial,
Madrid 1984.
[4] Carlson D.E.; Linear thermoelasticity. In Handbuch del Physic Bd. VIa/2,
edited by C. Truesdell. Berlin, Springer, 1972
[5] P.G. Ciarlet; Mathematical Elasticity, Volume II - Theory of Plates NorthHolland Publishing Co. Amsterdam, xiv+497 pp (1997)
[6] M.I.M. Copetti and C. M. Elliott - A one-dimensional quasi-static contact
problem in linear thermoelaticity. Eur. J. Appl. Math. 4, 151-174(1993).
[7] C. M. Dafermos. On the existence and the asymptotic stability of solution
to the equation of linear thermoelasticity. Arch. Rational Mech. Anal., vol
29 (1968), pp 241-271.
[8] B. Dacorogna; Weak continuity and weak lower semicontinuity of nonlinear
functionals Lec. Notes in Math., No 992, Springer-Verlag
[9] G. Duvaut and J.L. Lions; Les inequations en mecanique et en physique
Dunod, Paris, 1972
[10] L.C. Evans; Weak convergence methods for nonlinear partial differential
equations CBMS (AMS) Regional Conference Series in Math. 74 (1988)
[11] R.P. Gilbert, P. Shi and M. Shillor; A quasistatic contact problem in linear
thermoelasticity. Rendiconti di Mat. Vol 10, (1) pp 785 808 (1990).
[12] D. Huet; Decomposition spectrale et operateurs Presses Universitaires de
France (1977).
[13] R. Iorio & V. Magalhaes Iorio; Equac
oes Diferenciais Parciais: Uma introducao Projeto Euclides 372 pp. (1988)
249
250
Bibliografia
[14] Kim J. U.; A boundary thin obstacle problem for a wave equation . Comm.
Partial Diff. Equations, 14(8&9), 1011-1026 (1989).
[15] A.N. Komolgorov & S.V. Fomin; Elemento de la Teoria de Funciones y
del Analisis Funcional Editorial Mir, Moscu 1972
[16] V. Komornik; Exact controllability and stabilization (The multiplier
Method) Research in appl. Math. Ser. Eds. P.G. Ciarlet J.L. Lions, Masson 1994
[17] O. A. Ladyzhenskaya; The boundary value problems of mathematical
Phisics Springer-Verlag, (Appl. Math. Sc. v 49) New York (1985)
[18] O.A. Ladyzhenskaya; Linear and Quasilinear Elliptic Equations Academic
Press, NY-London, 495 pages (1968)
[19] J.E. Lagnese and J. L. Lions; Modelling analysis of thin plates Collection
Recherches en Math. Appl. 6. Masson, Paris 1989.
[20] J.E. Lagnese and J. L. Lions; Modelling analysis and control of thin plates
Masson-Springer-Verlag RMA 6 (1989), 175 pages
[21] P. Linz; Analytical and numerical methods for Volterra equation SIAM
Studies in Appl. Math. 7 (1985)
[22] J.L. Lions; Sur les espaces dinterpolation; dualite. Math. Scand. 9 (1961)
pp 147-177.
[23] J.L. Lions; Quelques m`ethodes de resolution de probl`emes aux limites non
lineares Dunod Gauthiers Villars, Paris 1969
[24] J.L. Lions and E. Magenes; Non-Homogeneous boundary value problems
and applications Springer-Verlag, New York 1972, Vol I.
[25] J.L. Lions, R. Dautray; Mathematical Analysis and Numerical Methods for Science and Technology Spectral Theory and Applications Vol.3,
Springer Verlag (1985).
[26] J.L. Lions; Contr
olabilite exacte, perturbations et stabilisation de
syst`emes distribues Masson Paris, 1988 (RMA 8)
[27] J.L. Lions; Contr
olabilite exacte perturbations et stabilisation de syst`emes
distribues, Tome 2 Masson Paris (1988) RMA 9 272 pages
[28] M. Meyers and J. Serrin; H=W Proc. Nat. Acad. Sci. USA. Vol. 51, pp
1055-1056 (1964)
[29] J.E. Mu
noz Rivera; Energy decay rates in linear thermoelasticity Funkcialaj Etvacioj 35, No1 pp 19-30 (1992)
Bibliografia
251
[30] J.E. Mu
noz Rivera; Introduc
ao as Equacoes Diferenciais Parciais. LNCC,
Petr
opolis 2004.
[31] J.E. Mu
noz Rivera; Decomposition of the displacement vector field and
decay rates in linear thermoelasticity SIAM J. Math. Anal. 24, No 2, pp
390-406 (1993)
[32] J.E. Mu
noz Rivera; Asymptotic Behaviour in Linear Viscoelasticity. Quarterly of Applied Mathematics, III, 4. pp 629-648 (1994)
[33] J.E. Mu
noz Rivera and R. Racke; Large solution and smoothing properties
for nonlinear thermoelastic systems Journal of Differential Equations 127,
No 2 pp 454-483 (1996)
[34] J.E. Mu
noz Rivera and E. Cabanillas; Decay rates of solutions of an
anisotropic inhomogeneous n-dimensional viscoelastic equation with polynomial decaying kernels Comm. in Math. Physics 177 pp 583-602 (1996)
[35] J.E. Mu
noz Rivera; Global solution and regularizing properties on a class
of nonlinear evolution equations Journal of Differential Equations 128, No
1, pp 103-124 (1996)
[36] J.E. Mu
noz Rivera and Y. Shibata; A Linear Thermoelastic Plate Equation with Dirichlet Boundary Condition Math. Met. Appl. Sc. Vol. 20 No.
11, pp 915-932 (1997)
[37] J.E. Mu
noz Rivera and G. P. Menzala; Decay rates of solutions of von
K
arman equations for Viscoelastic plates with memory Quarterly of Applied Mathematics Vol. LVII, No 1, pp 181-200 (1999)
[38] A. Pazy; Semigroup of linear operators and applications to partial diferential equations Springer-Verlag. New York 1983.
[39] M. Renardy, W. J. Hrusa and J. A. Nohel; Mathematical problems in
Viscoelasticity Pitman monograph in Pure and Applied Mathematics 35
(1987)
[40] S. Riesz and B.Nagy; Functional Analysis Frederic Ungar, New York
(1955).
[41] W. Rudin; Functinal Analysis MacGraw-Hill Book Company,388 pp. New
York 1973
[42] L. Schwartz; Theorie des distributions Hermann, Paris 1966, 418 pp
[43] M. E. Schonbek; Convergence of solutions to nonlinear dispersive equations Comm. in Partial Differential Equations, 7(8), 959-1000 (1982)
252
Bibliografia
[44] Shi P. & Shillor M.; Existence of a solution to the n dimensional problem
of thermoelastic contact. Commun. in Partial Diff. Equations, 17(9&10),
1597-1618 (1992).
[45] Shi, P. & Shillor, M.; Uniqueness and stability of the solution to a thermoelastic contact problem. Euro. J. Appl. Math. 1 (1990) 371-387.
[46] Shi, P. & Shillor, M.; A quasistatic contact problem in thermoelasticity
with a radiation condition for the temperature. to appear in J. Math. Anal.
Appl.
[47] Shi, P. & Shillor, M.; & Zou, X. L.; Numerical solution to the one dimensional problems of thermoelastic contact. Comput. Math. Appl. 22 (10)
(1991) 65-78.
[48] J. Simon; Caraterization dum espace fonctionnal intervvenant en controle
optimal Annales de la faculte des Sciences de Touluse. Vol V pp 149-169
(1983)
[49] J. Simon; Compact sets in the space Lp (0, T ; B) Annali di Matematica
Pura ed Applicata (IV). Vol CXLVI, pp 65-96 (1987)
[50] K. Yosida; Functional Analysis, Springer-Verlag, Berlin 1965.