Livro Esp Sobolev (Ufrj)

Instituto de Matematica - UFRJ
ESPACOS DE SOBOLEV
Inicia cao aos Problemas Elticos nao Homogeneos
por
L. A. Medeiros M. Milla Miranda
Professor Emerito UFRJ Professor Titular UFRJ
Rio de Janeiro, RJ
2000
M488e
Medeiros, Luis Adauto da Justa, 1926 -
Espa cos de Sobolev : inicia cao aos problemas elticos nao
homogeneos/ Luis Adauto da Justa Medeiros, Manuel Anto-
lino Milla Miranda - Rio de Janeiro: UFRJ. IM, 2000.
151p.
Inclui bibliograa.
1. Espa cos de Sobolev. 2. Equa coes Diferenciais Parciais
Elpticas. I. Milla Miranda, Manuel Antolino. II. Universida-
de Federal do Rio de Janeiro. Instituto de Matematica. III.
Ttulo.
ISBN: 85-87674-03-X CDD-20
a
515.782
Que Stendhal confessasse haver escrito um de seus livros para cem leitores,
cousa e que admira e consterna. O que nao admira, nem provavelmente
consternara e se este outro livro nao tiver os cem leitores de Stendhal,
nem cinq uenta, nem vinte e, quando muito, dez. Dez? Talvez cinco.
Bras Cubas
i
Dedicado à memoria de nosso saudoso
Pedro Humberto Rivera Rodriguez
por seu talento matematico e
carater exemplar.
ii
Prefacio
O presente livro teve sua origem no incio dos anos setenta, cujo prefacio, reproduzido
a seguir traz informa coes historicas sobre sua origem.
Nesta edi cao, o Captulo III versa sobre os problemas de Dirichlet e Neumann, para
o Laplaciano, no caso nao homogeneo com escolhas gerais das condi coes de fronteira. Este
captulo segue as ideias de Lions [8] e Lions-Magenes [11], enriquecidos com as referencias da
Bibliograa Complementar, particularmente Aubin [18], Brezis [19], Chavent [21], Dautray-
Lions [22], Kesavan [23].
O conte udo deste livro inclui parte dos programas de disciplinas basicas sobre equa coes
diferenciais parciais do Instituto de Matematica da UFRJ.
Os autores agradecem aos colegas e aos seus alunos pelo estmulo para aperfei coar as
edi coes anteriores que convergiram para a atual. Em particular, gostaramos de deixar nossos
agradecimentos ao Marcos Ara ujo, pela cuidadosa revisao do texto acrescentado modica coes
que o tornaram mais inteligvel.
Ao Wilson Goes, agradecemos pelo perfeito trabalho de digita cao.
Rio de Janeiro, maio de 1997
L.A. Medeiros M. Milla Miranda
iii
iv
Prefacio (1
a
edicao)
A ideia de escrever este texto surgiu-nos quando em 1970 iniciamos um seminario
sobre espa cos de Sobolev e equa coes diferenciais parciais, realizado no Centro Brasileiro de
Pesquisas Fsicas, na esperan ca de despertar a aten cao de algum estudante para o aspecto
das equa coes diferenciais parciais formulado em termos destes espa cos. Aquele seminario
continuou no Instituto de Matematica da UFRJ, estimulado e fortalecido pela inclusao de
novos participantes. O plano de trabalho teve como base os textos [7] e [8] do Professor
J.L. Lions, complementado com alguns trabalhos mencionados na bibliograa dos mesmos.
Posteriormente, foram includas no Curso de Pos-Gradua cao do IM-UFRJ, certas discipli-
nas fundamentadas nos espa cos de Sobolev, para as quais este texto se adapta considera-
velmente. Deste modo, preparamos esta monograa, baseada nas exposi coes feitas no se-
minario de equa coes diferenciais parciais e em nossas aulas nas disciplinas de pos-gradua cao
do IM, tendo por objetivo introduzir estudantes interessados em linhas de pesquisa liga-
das às equa coes diferenciais parciais nao lineares, controle otimo de sistemas governados
por equa coes diferenciais parciais, inequa coes variacionais ou analise numerica de elementos
nitos.
A exposi cao divide-se em tres captulos. O Captulo I e um pequeno fascculo de
resultados sobre distribui coes a ser usado nos captulos seguintes. O Captulo II contem os
teoremas elementares sobre os espa cos de Sobolev e, com base neste, e possvel entender
varios aspectos do estudo de solu coes fracas de equa coes diferenciais parciais, o que e feito
no Captulo III e nos Apendices.
v
vi
No incio deste prefacio referimo-nos ao fortalecimento do Seminario de Equa coes Di-
ferenciais Parciais do IM-UFRJ e retornamos a ele, deixando aqui xada a nossa gratidao à
Beatriz, Eliana, Milla e Perla, pelo entusiasmo que sempre nos transmitiram quando men-
cionavamos a ideia de escrever este texto, bem como por suas valiosas crticas e sugestoes.
Resta-nos, portanto, a esperan ca de que possamos de fato atrair a aten cao daqueles interessa-
dos em matematica aplicada, para este aspecto das equa coes diferenciais parciais, lembrando,
todavia que, como diz Erich From, ter esperan ca, signica estar pronto a todo momento
para aquilo que ainda nao nasceu e, todavia, nao desesperar se nao ocorrer nascimento algum
durante nossa existencia.
Ao redigirmos este texto, recebemos apoio nanceiro do Fundo Nacional de Desen-
volvimento Cientco (FNDCT) e do CEPG-UFRJ.
Finalizando, lembramos uma vez mais que a boa impressao dos textos de Metodos
Matematicos, deve-se à dedica cao do Sr. Arlindo Coutinho de Azevedo, chefe da Se cao de
Reprograa do IM, bem como de seus auxiliares, enquanto a datilograa perfeita e trabalho
de arte do Sr. Wilson Goes.
Rio de Janeiro, agosto de 1975
L.A. Medeiros P.H. Rivera
Prefacio (2
a
edicao)
Esta introdu cao aos Espa cos de Sobolev que aqui apresentamos, e uma revisao dos
Captulos I e II de nossa monograa Espa cos de Sobolev e Equa coes Diferenciais Parciais
(Bibliograa n umero 11).
A presente edi cao alem das corre coes decorrente da revisao acima mencionada, vem
aumentada do estudo do tra co de ordem m e do tra co da derivada normal. Deste modo, a
exposi cao ca completa, servindo de base ao estudo de uma ampla variedade de problemas
relacionados aos sistemas governados por equa coes diferenciais parciais. Para uma exposi cao
completa consulte Lions-Magenes n umero 11 da Bibliograa.
Rio de Janeiro, janeiro de 1977
L.A. Medeiros P.H. Rivera
vii
viii
Sumario
1 Resultados Basicos Sobre Distribuicoes 1
1.1 Introdu cao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Espa co de Fun coes Testes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2.1 Os Espa cos L
p
() e Convolu cao de Fun coes . . . . . . . . . . . . . . 2
1.2.2 Exemplos de Fun coes Testes . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.3 Regulariza cao de Fun coes . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.4 Convergencia em T() . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3 Distribui coes sobre um aberto do R
n
. . . . . . . . . . . . . . . . . . . . . 10
1.3.1 Produto de Fun coes por Distribui coes . . . . . . . . . . . . . . . . . 15
1.3.2 Restri cao de Distribui coes . . . . . . . . . . . . . . . . . . . . . . . . 16
1.3.3 Distribui coes Temperadas . . . . . . . . . . . . . . . . . . . . . . . . 16
1.3.4 Transformada de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . 19
2 Espacos de Sobolev 23
2.1 Introdu cao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.2 Propriedades Elementares dos Espa cos de Sobolev . . . . . . . . . . . . . . . 23
2.2.1 Geometria dos Espa cos de Sobolev . . . . . . . . . . . . . . . . . . . 24
2.2.2 O Espa co W
m,p
0
() . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.2.3 O Espa co W
m,q
() . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
ix
x SUM
ARIO
2.2.4 Reexividade dos Espa cos de Sobolev . . . . . . . . . . . . . . . . . . 33
2.2.5 Os Espa cos H
m
() e H
m
() . . . . . . . . . . . . . . . . . . . . . . 34
2.3 Imersoes de Espa cos de Sobolev . . . . . . . . . . . . . . . . . . . . . . . . . 39
2.3.1 Caso mp < n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2.3.2 Caso mp = n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
2.3.3 Caso mp > n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
2.3.4 Caso n = 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
2.3.5 Caso p = . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
2.4 Prolongamento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
2.4.1 Caso = R
n
+
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
2.4.2 Caso Aberto Limitado . . . . . . . . . . . . . . . . . . . . . . . . . 68
2.5 Imersoes dos Espa cos W
m,p
() . . . . . . . . . . . . . . . . . . . . . . . . . . 75
2.5.1 Imersoes Contnuas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
2.5.2 Imersoes Compactas . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
2.6 Espa cos H
s
() . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
2.7 Teoremas de Tra co . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
2.8 Tra co da Derivada Normal . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118
2.9 Formula de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
3 Problemas Elticos nao Homogeneos 125
3.1 Introdu cao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
3.2 Problema de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
3.3 Problema de Neumann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 138
3.4 Teorema do Tra co. Formula de Green . . . . . . . . . . . . . . . . . . . . . . 145
Captulo 1
Resultados Basicos Sobre
Distribuicoes
1.1 Introducao
No presente captulo serao xadas terminologia, a nota cao e certos resultados sobre
integra cao e teoria das distribui coes, resultados estes a serem usados no desenvolver deste
texto.
Com a letra K representa-se, simultaneamente, o corpo dos n umeros reais R ou o dos
n umeros complexos C. Por N representa-se o monoide dos n umeros naturais e por Z o anel
dos inteiros.
Dados = (
1
,
2
, . . . ,
n
) N
n
e z = (z
1
, z
2
, . . . , z
n
) K
n
dene-se
[[ =
1
+
2
+ . . . +
n
, z
= z
1
1
z
2
2
. . . z
n
n
, ! =
1
!
2
! . . .
n
! .
Por D
denota-se o operador de deriva cao de ordem denido por
||
/x
1
1
x
2
2
. . . x
n
n
e para = (0, 0, . . . , 0) dene D
0
u = u para toda fun cao u. Por D
i
, para i = 1, 2, . . . , n,
representa-se a deriva cao parcial /x
i
.
1
2 CAP
ITULO 1. RESULTADOS B
ASICOS SOBRE DISTRIBUIC

OES
Se , N
n
, escreve-se quando
i

i
para todo i = 1, 2, . . . , n. Quando u e
v forem fun coes numericas sucientemente derivaveis, tem-se a regra de Leibniz dada por
D
(uv) =
!
!( )!
(D
u)(D
v).
Sejam E e F dois espa cos topologicos com E F. Para indicar que a imersao de E
em F e contnua sera usada a nota cao E F.
Por representa-se um subconjunto aberto do R
n
e por sua fronteira. Sera xada
em a medida de Lebesgue dx.
1.2 Espaco de Funcoes Testes
Inicia-se introduzindo alguns resultados e no coes previas.
1.2.1 Os Espacos L
p
() e Convolucao de Funcoes
Seja u uma fun cao numerica denida em , u mensuravel, e seja (O
i
)
iI
a famlia de
todos os subconjuntos abertos O
i
de tais que u = 0 quase sempre em O
i
. Considera-se o
subconjunto aberto O =
_
iI
O
i
. Entao u = 0 quase sempre em O. Como conseq uencia deste
fato, o suporte de u, o qual e denotado por supp u, e denido como sendo o subconjunto
fechado de ,
suppu = O.
Observe que se u e contnua em entao
supp u e igual ao fecho em do conjunto x ; u(x) ,= 0.
Sejam u e v fun coes numericas, mensuraveis em e K, ,= 0. Mostra-se que
supp (u + v) (supp u) (supp v)
supp (uv) (supp u) (supp v)
supp (u) = supp u
1.2. ESPAC O DE FUNC

OES TESTES 3
Seja u uma fun cao numerica, mensuravel no R
n
. A fun cao
y
u denida por (
y
u)(x) =
u(x y) denomina-se a transla cao de u por y. Mostra-se que
supp(
y
u) = y + supp u.
Representa-se por L
p
(), 1 p < , o espa co de Banach das fun coes numericas u
denidas em , mensuraveis cuja potencia p, [u[
p
, e integravel em , equipado com a norma
[[u[[
L
p
()
=
_
_
[u(x)[
p
dx
_
1/p
.
No caso p = 2, L
2
() e um espa co de Hilbert com o produto escalar
(u, v)
L
2
()
=
_
u(x) v(x) dx, v complexo conjugado de v.

Por L
() denota-se o espa co de Banach das fun coes numericas u, mensuraveis em e que

sao essencialmente limitadas em , equipado com a norma
[[u[[
L
()
= sup
x
ess [u(x)[.
Denota-se por L
p
loc
(), 1 p < , o espa co localmente convexo das fun coes
numericas u, mensuraveis em , equipado com a famlia de semi-normas
p
O
; O subconjunto aberto limitado de
onde
p
O
(u) =
_
_
O
[u(x)[
p
dx
_
1/p
.
Diz-se que a sucessao (u
) de fun coes de L
p
loc
() converge para zero em L
p
loc
() se
lim
p
O
(u
) = 0 para todo O aberto limitado de .

Seja u L
p
loc
() e (u
) uma sucessao de fun coes de L

p
loc
(). Diz-se que (u
) converge para
u em L
p
loc
() se (u
u) converge para zero em L

p
loc
().
4 CAP

OES
Proposicao 1.2.1 (Desigualdade de Interpolacao) Se u L
p
() L
q
() com
1 p q entao u L
r
() para todo p r q e se tem a desigualdade
[[u[[
L
r
()
[[u[[
L
p
()
[[u[[
1
L
q
()
(1.2.1)
onde 0 1 verica
1
r
=

p
+
1
q

Demonstracao: Se p = q entao = 1/2; se r = p, = 1 e se r = q, = 0. Nestes tres
casos tem-se uma igualdade em (1.2.1).
Considere-se o caso 1 p < r < q < . Observe que neste caso 0 < < 1. Tem-se,
pela desigualdade de Holder:
_
[u[
r
dx =
_
[u[
r+r(1)
dx
_
_
[u[
r
dx
_
1/
_
_
[u[
r(1)
_
1/
(1.2.2)
com = p/r,
= q/r(1 ) . Observe que

1
+
1
= 1. De (1.2.2) resulta
_
[u[
r
dx [[u[[
p/
L
p
()
[[u[[
q/
L
q .
Da, notando que
1
r
=

p
e
1
r
=
(1)
q
, obtem-se a desigualdade (1.2.1).
No caso 1 p < r < , segue-se que p = r e 0 < < 1. Portanto
_
[u[
r
dx =
_
[u[
r+r(1)
dx [[u[[
r(1)
L
()
[[u[[
p
L
p
()
implicando na desigualdade (1.2.1).
Sejam u e v fun coes numericas denidas no R
n
. Considera-se a convolu cao u v das
fun coes u e v, isto e,
(u v)(x) =
_
R
n
u(x y)v(y) dy =
_
R
n
v(y)v(x y) dy.
Tem-se o seguinte resultado:
Desigualdade de Young. Sejam u L
p
(R
n
) e v L
q
(R
n
) com 1 p ,
1 q , e r o n umero real vericando
1
r
=
1
p
+
1
q
1 0. Entao u v L
r
(R
n
)
e
[[u v[[
L
r
(R
n
)
[[u[[
L
p
(R
n
)
[[v[[
L
q
(R
n
)
. (1.2.3)

OES TESTES 5
Alem disso,
supp(u v) supp u + supp v. (1.2.4)
1.2.2 Exemplos de Funcoes Testes
Representa-se por C
0
() o espa co vetorial das fun coes numericas denidas em ,
com suporte compacto, possuindo em derivadas parciais contnuas de todas as ordens. Os
elementos de C
0
() sao denominados fun coes testes em .
Exemplo 1. Seja : R
n
R denida por:
(x) =
exp (1/(1 [[x[[

2
)) se [[x[[ < 1
0 se [[x[[ 1
sendo [[x[[
2
= x
2
1
+ x
2
2
+ . . . + x
2
n
. Mostra-se que pertence a C
0
(R
n
) e que supp = x
R
n
; [[x[[ 1.
Exemplo 2. Seja k
_
R
n
(x) dx sendo a fun cao do Exemplo 1. Para cada = 1, 2, . . . , n, . . .
considere a fun cao
: R
n
R denido por
(x) = (
n
/k)(x) para todo x R
n
.
Mostra-se que
e, para cada , uma fun cao teste no R

n
possuindo as seguintes propriedades:
a) 0
(x)
n
/ke
b)
_
R
n

(x) dx =
_
||x||1/

(x) dx = 1
c) supp
= x R
n
; [[x[[ 1/
Uma sucessao (
) de fun coes testes no R

n
com as propriedades a), b), c) e denomi-
nada uma sucessao regularizante.
Exemplo 3. Sejam u C
0
(R
n
) e v L
p
(R
n
), 1 p < . Entao u v pertence a
C
(R
n
) L
p
(R
n
) e D
(u v) = (D
u) v para todo N
n
. Quando v possui suporte
compacto, entao, por (4), u v e uma fun cao teste no R
n
.
6 CAP

OES
Exemplo 4. Considere-se dois subconjuntos K e F do R
n
, disjuntos, sendo K compacto e
F fechado. Entao existe uma fun cao teste no R
n
tal que
(x) = 1 em K, (x) = 0 em F e 0 (x) 1.
Para construir tal considere > 0 denido por = dist(K, F)/4 e construa os conjuntos
F
0
= x R
n
; dist(x, K) 2, K
0
= x R
n
; dist(x, K) . Considere N tal que
1. Entao se v: R
n
R e denida por v(x) = dist(x, F
0
)/(dist(x, F
0
) +dist(x, K
0
)) para
todo x R
n
, segue-se que =
v satisfaz todas as condi coes requeridas.

1.2.3 Regularizacao de Funcoes
O objetivo nesta se cao e mostrar que C
0
() e denso em L
p
(), 1 p < . Inicia-se,
para isto, com um resultado de continuidade.
Proposicao 1.2.2 Seja u L
p
(R
n
), 1 p < . Entao a aplicacao translacao
R
n
L
p
(R
n
)
y
y
u,
e contnua.
Demonstracao: Note-se que e suciente demonstrar que a aplica cao e contnua em y = 0.
Com efeito, seja y R
n
e (y
) uma sucessao de vetores de R

n
com y
y. Tem-se:
[[
y
u
y
u[[
p
L
p
(R
n
)
=
_
R
n
[u(x y
) u(x y)[
p
dx =
_
R
n
[u(x z
) u(x)[
p
dx
onde z
= y
y 0.
Provar-se-a, portanto, que a transla cao e contnua em y = 0. Seja (y
) uma sucessao
de vetores do R
n
com y
0. Primeiro mostra-se a continuidade para u =

O
onde
O
e a
fun cao caracterstica de um subconjunto aberto limitado O de R
n
. Tem-se:
[[
y
u u[[
p
L
p
(R
n
)
=
_
R
n
[
O
(x y
)
O
(x)[
p
dx. (1.2.5)

OES TESTES 7
Observe que
O
(x y
)
O
(x) para todo x R
n
O (O fronteira de O), logo
O
(x y
)
O
(x) quase sempre em R
n
. (1.2.6)
Por outro lado
[
O
(x y
)
U
(x)[
p

U
(x), x R
n
(1.2.7)
onde U e o conjunto U =
_
_
=1
O + y
_
O, U aberto limitado do R
n
. Aplicando o Teorema
da Convergencia Dominada de Lebesgue à integral da direita de (1.2.5), decorre de (1.2.6) e
(1.2.7) que
y
u u em L
p
(R
n
) quando .
Resulta da primeira parte que a transla cao e contnua em y = 0 para u fun cao escada
de R
n
, isto e, para u igual a uma combina cao linear nita de fun coes caractersticas de
subconjuntos abertos limitados de R
n
.
Note-se que o conjunto das fun coes escadas do R
n
e denso em L
p
(R
n
). Seja u L
p
(R
n
)
e > 0. Entao existe uma fun cao escada de R
n
tal que [[u [[
L
p
(R
n
)
< . Tem-se:
[[
y
u u[[
L
p [[
y
u
y
[[
L
p +[[
y
[[
L
p +[[ u[[
L
p =
= 2[[ u[[
L
p +[[
y
[[
L
p < 3 para
0
que prova, nalmente, o resultado desejado.
Teorema 1.2.1 Seja (
) a sucessao regularizante dada no Exemplo 2. Se u L

p
(R
n
),
1 p < , entao a sucessao (
u) converge para u em L
p
(R
n
).
Demonstracao: Tem-se:
(
u)(x) u(x) =
_
||y||1/
(y)u(x y) u(x) dy (1.2.8)

pois
_
||y||1/
(y) dy = 1. Se p = 1, do Teorema de Fubini, resulta

[[
u u[[
L
1
(R
n
)

_
||y||1/
(y)[[
y
u u[[
L
1
(R
n
)
dy,
8 CAP

OES
e o Teorema 1.2.1 e uma conseq uencia da continuidade da transla cao
y
u demonstrada na
Proposi cao 1.2.2.
No caso 1 < p < , considere q tal que
1
p
+
1
q
= 1. De (1.2.8) e da desigualdade de
Holder, obtem-se:
[(
u)(x) u(x)[
p
__
||y||1/
(y)
q
_
p/q
_
||y||1/
[u(x y) u(x)[
p
dx. (1.2.9)
Note que
_
||y||1/
(y)
q
dy

nq
k
q
e
q
_
||y||1/
dy =

nq
k
q
e
q
w
n
1
n
onde w
n
e o volume da esfera unitaria do R
n
. Portanto,
_
_
||y||1/
(y)
q
dy
_
p/q
w
p/q
n
k
p
e
p

(nqn)p/q
= C
np(1
1
q
)
= C
n
(1.2.10)
onde C = w
p/q
n
/k
p
e
p
. Considerando (1.2.10) em (1.2.9) e aplicando o Teorema de Fubini,
resulta
[[
u u[[
p
L
p
(R
n
)
C
n
_
||y||1/
[[
y
u u[[
p
L
p
(R
n
)
dy C w
n
sup
||y||1/
[[
y
u u[[
p
L
p
(R
n
)
.
Esta expressao e a continuidade da transla cao acarretam o Teorema 1.2.1.
Observacao 1 Para o conjunto aberto do R
n
, pode-se construir uma sucessao de conjun-
tos compactos K
tal que
K
K
+1
, , ; e =
_
=1
K
.
Com efeito, e suciente considerar K
como sendo
K
= x ; dist(x, )
1
x R
n
; [[x[[
onde e a fronteira de .

OES TESTES 9
Corolario 1 C
0
() e denso em L
p
() para 1 p < .
Demonstracao: Seja K
a sucessao de subconjuntos compactos de dada na Observa cao

1. Se u L
p
(), para cada = 1, 2, . . . seja K
a fun cao caracterstica de K
e considere
a fun cao u
= u K
. Segue-se que u
L
p
() para cada e a sucessao (u
) e convergente
para u na norma L
p
(), convergencia que decorre do Teorema da Convergencia Dominada
de Lebesgue. Desde que as fun coes u
possuem suporte compacto, para provar o corolario e

suciente aproximar as fun coes u
por fun coes de C
0
().
De fato, seja u L
p
(), u com suporte compacto, e considere r = dist(suppu, ),
que e um n umero positivo. Dena u: R
n
K por
u(x) =
u(x) se x
0 se x (
Diz-se que u e a extensao de u por zero fora de . Tem-se u L
p
(R
n
) e supp u = supp u e
um compacto de R
n
. Portanto, (
u) e uma sucessao de fun coes testes no R

n
que converge
para u em L
p
(R
n
). Represente por v
a restri cao a da fun cao
u. Resulta que v
e uma
fun cao teste em para cada 2/r e a sucessao (v
) converge para u em L
p
().
1.2.4 Convergencia em T()
Diz-se que uma sucessao (
) de fun coes de C
0
() e convergente para zero, quando
as seguintes condi coes forem satisfeitas:
a) Os suportes de todas as fun coes testes
, da sucessao dada, estao contidos num

compacto xo K.
b) Para cada N
n
, a sucessao (T
) converge para zero uniformemente em K.

Se C
0
(), diz-se que a sucessao (
) de elementos de C
0
() converge para em
C
0
(), quando a sucessao (
) converge para zero no sentido dado acima.

10 CAP

OES
O espa co vetorial C
0
() com esta no cao de convergencia e representado por T() e
denominado espaco das funcoes testes em .
1.3 Distribuicoes sobre um aberto do R
n
Dene-se como distribuicao sobre a toda forma linear T sobre T() que e contnua
no sentido da convergencia denida sobre T(). Isto signica que para toda sucessao (
) de
T(), convergente para zero no sentido denido em 1.2.4, ent ao a sucessao (T,
)) converge
para zero em K. (Note que K = R ou C e T,
) e o valor de T em
). O conjunto de
todas as distribui coes sobre e um espa co vetorial o qual representa-se por T
(). Neste
espa co vetorial diz-se que uma sucessao (T
) de vetores de T
() converge para zero em

T
(), quando para toda fun cao teste T(), a sucessao (T,
)) converge para zero em

K. Neste caso escreve-se lim
= 0 em T
(). Diz-se que

lim
= T em T
(),
quando lim
(T
T) = 0 em T
().
Exemplo 1. Seja u L
1
loc
(). Considere a forma linear T
u
denida em T() por:
T
u
, ) =
_
u(x)(x) dx
para toda T(). Mostra-se sem diculdades que T
u
e uma distribui cao sobre .
Proposicao 1.3.1 (Lema de Du Bois Raymond) Seja u L
1
loc
(). Entao T
u
= 0 se e
somente se u = 0 quase sempre em .
Demonstracao: Claramente se u = 0 quase sempre em entao T
u
= 0. Mostra-se, entao,
que a condi cao T
u
= 0 implica u = 0 quase sempre em . Com efeito, considere-se um
subconjunto aberto limitado O de . Sabe-se pelo Corolario 1 que T(O) e denso em L
1
(O).
Conseq uentemente, como u L
1
(O), vem que para cada > 0 existe v T(O) tal que
_
O
[u v[ dx < .
1.3. DISTRIBUIC

OES SOBRE UM ABERTO DO R
N
11
Da hipotese e desta ultima desigualdade, resulta:
_
O
vdx
_
O
(v u) dx
max [[ (1.3.11)
para toda T(O).
Considere-se os conjuntos
K
1
= x O; v(x) e K
2
= x O; v(x) ,
que sao subconjuntos compactos disjuntos de O. Do Exemplo 4 da Se cao 1.2.2, vem que
existem
1
,
2
em T(O) tais que:
1
= 1 em K
1
T
1
= 0 em K
2
0
1
1
2
= 0 em K
1

2
= 1 em K
2
0
2
1
Tomando-se =
1

2
, obtem-se:
= 1 em K
1
, = 1 em K
2
, 1 1.
Resulta, portanto,
_
O
v dx =
_
O\K
v dx +
_
K
v dx,
onde K = K
1
K
2
. Observando-se que [v[ em OK e levando em considera cao (1.3.11)
obtem-se:
_
K
v dx
_
O
v dx
_
O\K
v dx
+ med(O).
Da deni cao de e desta ultima desigualdade, encontra-se:
_
K
[v[ dx =
_
K
[v[ dx + med(O).
Portanto,
_
O
[u[ dx
_
O
[u v[ dx +
_
K
[v[ dx +
_
O\K
[v[ dx 2 + 2 med(O).
12 CAP

OES
Fazendo-se tender para zero obtem-se que u = 0 quase sempre em O. Sendo O arbitrario,
resulta que u = 0 quase sempre em .
A demonstra cao acima e valida para u tomando valores reais. Se u toma valores
complexos, observa-se que a condi cao
_
udx = 0 para toda em T(O), implica

_
(Re u)dx = 0,
_
(Im u) = 0, T(), uma fun cao real.

A proposi cao segue aplicando a demonstra cao feita acima a cada uma destas integrais.
Observacao 2 Do Lema de Du Bois Raymond segue-se que para cada u L
1
loc
(), tem-se
T
u
univocamente determinada por u sobre , quase sempre, no seguinte sentido: se u, v
L
1
loc
() entao T
u
= T
v
se e somente se u = v quase sempre em . Por esta razao, identica-
se u com a distribuicao T
u
por ela denida e diz-se a distribuicao u ao inves de dizer a
distribuicao T
u
.
E oportuno observar que existem distribuicoes nao denidas por funcoes de L

1
loc
(),
como pode ser visto no exemplo que se segue.
Exemplo 2. Seja x
0
um ponto de e
x
0
a forma linear denida em T() do seguinte
modo:
x
0
, ) = (x
0
) para toda T().
Facil e vericar que
x
0
e uma distribui cao sobre , denominada distribui cao de Dirac ou
medida de Dirac concentrada em x
0
. Quando x
0
= 0 escreve-se
0
.
Mostra-se que a distribui cao
x
0
nao e denida por uma fun cao u de L
1
loc
(), isto e,
nao existe u L
1
loc
() tal que
_
u(x)(x) dx = (x
0
) para toda T().
De fato, se existisse uma tal fun cao u, entao
_
u(x)[[x x
0
[[
2
(x) dx = [[x x
0
[[
2
(x)[
x=x
0
= 0
1.3. DISTRIBUIC

N
13
para toda T(). Pelo Lema de Du Bois Raymond tem-se [[x x
0
[[
2
u(x) = 0 quase
sempre em , mostrando que u(x) = 0 quase sempre em , isto e,
x
0
= 0 o que e uma
contradi cao.
Observacao 3 Existem sucessoes (u
) de funcoes de L
1
loc
() que convergem para distri-
buicoes T em T
(), mas o limite T nao pode ser denido por uma funcao de L
1
loc
().
De fato, seja x
0
e B
r
(x
0
) = x R
n
; [[x x
0
[[ r uma bola contida em . Para cada
0 < < r, seja
a fun cao teste
(x) =
1
k
n

_
x x
0
_
para todo x ,
sendo a fun cao teste denida no Exemplo 1 da Se cao 1.2 e k =
_
R
n
(y) dy. Tem-se, para
T(),
, ) =
1
k
n
_
_
x x
0
_
(x)dx =
1
k
_
(y)(y + x
0
)dy (x
0
) quando 0
+
.
Assim
lim
0
+
=
x
0
em T
().
Exemplo 3. Seja (u
) uma sucessao de fun coes de L

p
loc
(), 1 p < ; tal que
lim
= u em L
p
loc
().
Entao resulta que
lim
= u em T
().
De fato, seja T() e O um subconjunto aberto limitado de tal que supp O.
Se p = 1, tem-se:
[u
u, )[ =
(u
(x) u(x))(x)dx
max
xO
[(x)[ [(x)[
_
O
[u
(x) u(x)[ dx,

e se 1 < p < , considera-se o seu conjugado q, isto e,
1
p
+
1
q
= 1, obtendo-se:
[u
u, )[ [[u
u[[
L
p
(O)
[[[[
L
q
(O)
.
As desigualdades acima implicam nossa arma cao.
14 CAP

OES
Observacao 4 Tem-se a seguinte cadeia, para 1 p < ,
T() L
p
loc
() T
(),
sendo cada inclusao densa na seguinte.
Com efeito, a continuidade da imersao de T() em L
p
loc
() e facil de vericar e a continuidade
da imersao de L
p
loc
() em T
() foi mostrada no Exemplo 3. A densidade de T() em T
()
sera provada posteriormente. Para mostrar que T() e denso em L
p
loc
(), procede-se como
se segue. Seja u L
p
loc
() e (K
) a sucessao de subconjuntos compactos de dada na

Observa cao 1. Para cada aberto O
= int K
determina-se
T(O
) tal que
[[u
[[
L
p
(O)
<
1

A sucessao (
) de fun coes testes em converge para u em L

p
loc
() quando .
Considere uma distribui cao T sobre e N
n
. A derivada de ordem de T e, por
deni cao, a forma linear D
T denida em T() por:

T
T, ) = (1)
||
T, T
) para todo T().

Nao e difcil mostrar que T
T e uma distribui cao sobre .

Segue-se da deni cao acima que cada distribui cao T sobre possui derivadas de todas
as ordens. Assim, as fun coes de L
1
loc
() possuem derivadas de todas as ordens no sentido
das distribui coes. Observe que a aplica cao
T
: T
() T
(), T D
T
e linear e contnua no sentido da convergencia denida em T
(). Isto signica que se

lim
= T em T
() entao lim
= T
T em T
().
Outro resultado que vale a pena mencionar e que a derivada de uma fun cao de L
1
loc
(),
nao e, em geral, uma fun cao de L
1
loc
(), como mostra o exemplo que vem a seguir. Tal fato,
1.3. DISTRIBUIC

N
15
motivara a deni cao de uma classe signicativa de espa cos de Banach de fun coes, conhecidos
sob a denomina cao de Espa cos de Sobolev, tendo este texto como um dos objetivos fazer um
estudo introdutorio destes espa cos.
Exemplo 4. Seja u a fun cao de Heaviside, isto e, u e denida em R e tem a seguinte forma:
u(x) = 1 se x > 0 e u(x) = 0 se x < 0. Ela pertence a L
1
loc
(R) mas sua derivada u
=
0
nao
pertence a L
1
loc
(R). De fato, tem-se:
u
, ) = u,
) =
_

0
(x) dx = (0) =
0
, )
para todo T(R).
Exemplo 5. Se u C
k
(R
n
), para cada [[ k, a derivada D
u no sentido das distribui coes

e igual à derivada no sentido classico, isto e, T
T
u
= T
D
u
para todo [[ k. Isto e uma
conseq uencia simples da formula de integra cao de Gauss.
Exemplo 6. Seja u L
1
loc
(R
n
) e k N. Suponha que para cada [[ k, T
u perten ca a
L
1
loc
(R
n
). Entao, para toda em T(R
n
) e [[ k, tem-se:
T
( u) = T
u.
Note que T
u e a derivada no sentido das distribui coes. A igualdade acima e uma con-

seq uencia da deni cao de derivada e do Teorema de Fubini.
A seguir serao xados certos resultados sobre multiplica cao de uma distribui cao por
uma fun cao, restri cao de uma distribui cao, distribui cao temperada e transformada de Fourier.
1.3.1 Produto de Funcoes por Distribuicoes
Se C
() para cada T() tem-se T() e se lim
= 0 em T() isto
implica lim
= 0 em T() (segue-se da Formula de Leibniz para fun coes). Quando T e

uma distribui cao sobre , dene-se o produto T como a forma linear denida em T() do
seguinte modo:
T, ) = T, ) para toda em T().
16 CAP

OES
Segue-se que T e uma distribui cao sobre .
Se N
n
, tem-se a formula de Leibniz:
T
(T) =
!
!( )!
D
T.
Vericar-se-a esta formula no caso = e
i
= (0, . . . , 1, . . . , 0). Para todo em T() tem-se:
T
i
(T), ) = T, D
i
) = T, (T
i
)) = T, T
i
() + (T
i
)) =
= T, T
i
()) +T, (T
i
)) = T
i
T, ) +(T
i
)T, ) =
= T
i
T + (T
i
)T, ).
1.3.2 Restricao de Distribuicoes
Suponha-se e U subconjuntos abertos do R
n
tais que U. Para cada fun cao
em T() considere-se (x) = (x) se x e (x) = 0 se x U. Tem-se T(U) e
mais:
a) T
=

T
para todo N
n
b) Se lim
= 0 em T(), segue-se que lim
= 0 em T(U).
Como uma conseq uencia daqueles resultados, se T T
(U), a forma linear T [
denida em
T() por T [
, ) = T, ) para todo em T(), e uma distribui cao sobre denominada a

restri cao de T a . De a) prova-se que T
(T [
) = (T
T) [
para todo N
n
e T T
(U).
1.3.3 Distribuicoes Temperadas
Uma fun cao C
(R
n
) diz-se rapidamente decrescente no innito, quando para
cada k N tem-se
p
k
() = max
||k
sup
xR
n
(1 +[[x[[
2
)
k
[D
(x)[ < , (1.3.12)

que e equivalente a dizer que
lim
||x||
p(x)D
(x) = 0 (1.3.13)
1.3. DISTRIBUIC

N
17
para todo polinomio p de n variaveis reais e N
n
.
Considere o espa co vetorial o(R
n
) das fun coes rapidamente decrescentes no innito,
no qual deniremos a seguinte no cao de convergencia: uma sucessao (
) de fun coes de
o(R
n
) converge para zero, quando para todo k N a sucessao (p
k
(
)) converge para zero

em K. A sucessao (
) converge para em o(R

n
) se (p
k
(
)) converge para zero em K

para todo k N.
As formas lineares denidas em o(R
n
), contnuas no sentido da convergencia denida
em o(R
n
) sao denominadas distribuicoes temperadas. O espa co vetorial de todas as distri-
bui coes temperadas com a convergencia pontual de sucessoes sera representado por o
(R
n
).
Assim
lim
= T em o
(R
n
) se lim
, ) = T, ), o(R
n
).
Tem-se T(R
n
) o(R
n
). O espa co T(R
n
) e denso em o(R
n
). De fato, seja T(R
n
)
tal que
(x) = 1 se [[x[[ 1 e (x) = 0 se [[x[[ 2. (1.3.14)
Para cada N, dene-se
(x) = (x/) para todo x R

n
. Seja u o(R
n
) entao a
sucessao (
u) de fun coes de T(R

n
) converge para u em o(R
n
). Para mostrar a convergencia
observe que pela Formula de Leibniz para fun coes, resulta
D
(x)u(x)) D
u(x) = (
(x)D
u(x) D
u(x))+
+
>0
!
!( )!
1
||
D
(x/)D
u(x).
Portanto
p
k
(
u u) max
||k
sup
xR
n
(1 +[[x[[
2
)
k
[
(x)D
u(x) D
u(x)[ +
+max
||k
sup
xR
n
_
(1 +[[x[[
2
)
k

, >0
!
!( )!
1
||
[D
(x/)D
u(x)[
_
(1.3.15)
A segunda parcela do segundo membro de (1.3.15) converge para zero quando como
pode ser visto facilmente. A primeira parcela converge para zero como conseq uencia da
expressao (1.3.13) e do fato que
(x)D
u(x) = D
u(x) para [[x[[ .

18 CAP

OES
Observe-se que u(x) = e
||x||
2
pertence a o(R
n
) mas nao pertence a T(R
n
).
Como conseq uencia do exposto vem que se T e uma distribui cao temperada, sua
restri cao a T(R
n
) e uma distribui cao sobre R
n
, a qual ainda representa-se por T. Alem
disto, se S e uma distribui cao sobre R
n
tal que existe C > 0 e k N satisfazendo a condi cao:
[S, )[ C p
k
() para toda T(R
n
), (1.3.16)
segue-se da densidade de T(R
n
) em o(R
n
), que S pode ser estendida como uma distribui cao
temperada.
Exemplo 1. Como [
0
, )[ p
0
() para toda T(R
n
) segue-se de (1.3.16) que
0

o
(R
n
).
Exemplo 2. Seja u L
1
loc
(R
n
) tal que
C =
_
R
n
[u(x)[
(1 +[[x[[
2
)
k
dx <
para algum k N, k > 0. Entao [u, )[ C p
k
() para toda T(R
n
). Conseq uente-
mente, u e uma distribui cao temperada.
Como conseq uencia do Exemplo 2 e notando que
_
R
n
1
(1 +[[x[[
2
)
m
dx < para m > n/2,
vem que toda u L
p
(R
n
) 1 p , dene uma distribui cao temperada. Para 1 < p < ,
tem-se:
T(R
n
) o(R
n
) L
q
(R
n
)
_
1
p
+
1
q
= 1
_
sendo cada inclusao densa na seguinte. Entao por dualidade resulta
L
p
(R
n
) o
(R
n
) T
(R[g
n
) (1.3.17)
com cada inclusao densa na seguinte.
Exemplo 3. Se T o
(R
n
) e N
n
, entao a forma linear D
T denido em o(R
n
) por
D
T, ) = (1)
||
T, D
) para todo o(R

n
)
1.3. DISTRIBUIC

N
19
e uma distribui cao temperada.
Seja T o
(R
n
) e C
(R
n
). Entao o produto T nao e necessariamente uma
distribui cao temperada. Diz-se que e lentamente crescente no innito, quando para cada
N
N
, existe um polinomio p
, tal que
[T
(x)[ p
(x) para todo x R

n
.
Assim, se e lentamente crescente no innito, entao T e uma distribui cao temperada.
1.3.4 Transformada de Fourier
Dada uma fun cao u L
1
(R
n
), dene-se sua transformada de Fourier como sendo a
fun cao Tu denida no R
n
por
(Tu)(x) = (2)
n/2
_
R
n
e
i(x,y)
u(y) dy
sendo (x, y) = x
1
y
1
+ x
2
y
2
+ . . . + x
n
y
n
. A aplica cao (
Tu)(x) = (Tu)(x) para todo x no

R
n
, e denominada transformada de Fourier inversa de u. Obtem-se Tu =

T u, sendo v o
complexo conjugado de v.
Desde que o(R
n
) L
1
(R
n
), para cada o(R
n
), estao bem denidas T,

T e
mostra-se que elas sao rapidamente decrescentes no innito. Alem disto
T: o(R
n
) o(R
n
) e T: o(R
n
) o(R
n
)
sao isomorsmos contnuos e T
1
=

T.
Observe que T e
||x||
2
/2
= e
||x||
2
/2
.
Para todo , o(R
n
), tem-se:
T(D
) = i
||
x
T, D
(T) = T((i)
||
x
)
(T, T)
L
2
(R
n
)
= (, )
L
2
(R
n
)
= (
T,

T)
L
2
(R
n
)
.
20 CAP

OES
Dada uma distribui cao temperada T, dene-se a sua transformada de Fourier do
seguinte modo:
TT, ) = T, T) para todo o(R
n
)
TT, ) = T,

T) para todo o(R
n
).
Da continuidade da transformada de Fourier em o(R
n
), segue-se que TT e

TT sao distri-
bui coes temperadas. Mostra-se que
T: o
(R
n
) o
(R
n
) e

T: o
(R
n
) o
(R
n
)
sao isomorsmos contnuos sendo T
1
=

T. Tambem
T(D
T) = i
||
x
TT, D
(TT) = T((i)
T).
Seja u L
2
(R
n
) e Tu
, = 1, 2, . . ., as fun coes
(Tu
)(x) = (2)
n/2
_
||y||
e
i(x,y)
u(y) dy para todo x no R
n
.
Mostra-se que Tu
L
2
(R
n
) e que (Tu
) e uma sucessao de Cauchy no espa co de Hilbert

L
2
(R
n
). O limite em L
2
(R
n
) da sucessao (Tu
) e denotado por Tu. Observa-se que Tu e a

transformada de Fourier de u, u considerada como uma distribui cao temperada, coincidem.
Tem-se o seguinte resultado.
Teorema de Plancherel. As aplica coes
T: L
2
(R
n
) L
2
(R
n
) e

T: L
2
(R
n
) L
2
(R
n
)
sao isomorsmos de espa cos de Hilbert tais que
(Tu, Tv)
L
2
(R
n
)
= (u, v)
L
2
(R
n
)
= (
Tu,

Tv)
L
2
(R
n
)
para todo par u, v no L
2
(R
n
).
Serao usadas, tambem, as nota coes u e u no lugar de Tu e

Tu, respectivamente.
A demonstra cao dos resultados expostos nas duas ultimas se coes podem ser encon-
tradas em K. Yosida [16]
1.3. DISTRIBUIC

N
21
Exerccios
1. Seja u: R R uma fun cao contnua e periodica de perodo P > 0 e (
) uma sucessao
regularizante em R. Mostre que:
i) u
u e periodica com perodo P.

ii) u
u uniformemente em R quando .
2. Considere a sucessao de fun coes (u
), u
: R
n
R denida por
u
(x) =
0 se [[x[[ 1/
n+1
se [[x[[ < 1/
Prove que u
0 quase sempre em R
n
quando e que (u
) nao converge em
T
(R
n
).
3. Seja ]a, b[ um intervalo aberto nito da reta e A o operador d/dx com domnio
D(A) =
_
u L
2
(a, b);
du
dx
L
2
(a, b)
_
. Mostre que
A: D(A) L
2
(a, b) L
2
(a, b)
nao e contnuo.
4. Prove que as expressoes (1.3.12) e (1.3.13) da Se cao 1.3.3 sao equivalentes.
Sugestao: Primeiro mostre que (1.3.12) implica lim
||x||
x
(x) = 0. Para isto

observe que [a[
1
2
(1+a
2
), para todo a R, e que sup
xR
n
(1+[[x[[
2
)
k
[g(x)[ < implica
g(x) 0 quando [[x[[ .
5. Seja k N. Mostre que existem constantes positivas C
1
e C
2
tais que
C
1
(1 +[[x[[
2
)
k
||k
x
2
C
2
(1 +[[x[[
2
)
k
para todo x R
n
22 CAP

OES
6. Seja u a fun cao caracterstica do cubo U do R
n
:
U = x R
n
; [x
i
[ 1, i = 1, 2, . . . , n.
Prove que u L
1
(R
n
) mas Tu / L
1
(R
n
).
7. Seja u L
1
(R
n
) L
2
(R
n
). Mostre que
(Tu)(x) = (2)
n/2
_
R
n
e
i(x,y)
u(y) dy.
Captulo 2
Espacos de Sobolev
2.1 Introducao
Este e o captulo fundamental deste texto, pois nele serao demonstrados os resultados
basicos para aplica cao às equa coes diferenciais parciais. Inicialmente introduz-se a no cao
de espa co de Sobolev e certas propriedades elementares sao mencionadas. Com base nestes
conceitos demonstra-se os teoremas de imersao, incluindo as imersoes compactas; estuda-
se o prolongamento; nalizando o captulo com a demonstra cao de uma versao simples do
teorema do tra co e uma generaliza cao do teorema de Green.
2.2 Propriedades Elementares dos Espacos de Sobolev
Sao estudadas nesta se cao propriedades elementares da geometria dos espa cos de
Sobolev e alguns resultados simples de dualidade.
23
24 CAP
ITULO 2. ESPAC OS DE SOBOLEV

2.2.1 Geometria dos Espacos de Sobolev
Sejam um aberto do R
n
, 1 p e m N. Se u L
p
(), foi visto no captulo
anterior que u possui derivadas de todas as ordens no sentido das distribui coes. Viu-se
que D
u nao e, em geral, uma distribui cao denida por uma fun c ao de L

p
(). Quando
D
u e denida por uma fun cao de L

p
(), dene-se um novo espa co denominado espa co de
Sobolev. Representa-se por W
m,p
() o espa co vetorial de todas as fun coes u de L
p
() tais
que para todo [[ m, D
u pertence a L
p
(), sendo D
u a derivada de u no sentido das

distribui coes. Para cada u W
m,p
() dene-se a norma de u por:
[[u[[
m,p
=
_

||m
_
[D
u(x)[
p
dx
_
1/p
, 1 p <
[[u[[
m,
=
||m
sup
x
ess [D
u(x)[
Nao e difcil vericar que a fun cao [[u[[
m,p
, 1 p , e uma norma em W
m,p
(). Os
espa cos normados W
m,p
() sao denominados espacos de Sobolev.
Proposicao 2.2.1 O espaco de Sobolev W
m,p
() e um espaco de Banach.
Demonstracao: Seja (u
) uma sucessao de Cauchy de vetores de W

m,p
(). Sendo [[D
u[[
L
p
()

[[u[[
m,p
para todo u W
m,p
() e [[ m, segue-se que (D
) e uma sucessao de Cauchy

do espa co de Banach L
p
(), entao existe um vetor v
de L
p
() tal que
D
em L
p
(). (2.2.1)
Quando = (0, 0, . . . , 0), u = v
, entao
u
u em L
p
(). (2.2.2)
Para provar a proposi cao e suciente mostrar que D
u = v
no sentido das distribui coes,

para todo 0 < [[ m. Com efeito de (2.2.1) e (2.2.2) resulta
D
em T
(), 0 < [[ m (2.2.3)

2.2. PROPRIEDADES ELEMENTARES DOS ESPAC OS DE SOBOLEV 25
e
u
u em T
() (2.2.4)
pois L
p
() T
(). Como a deriva cao e contnua em T
(), obtem-se de (2.2.4):

D
u em T
(). (2.2.5)
De (2.2.3), (2.2.5) e a unicidade dos limites em T
() resulta D
u = v
, 0 < [[ m, que
mostra a proposi cao.
O caso particular p = 2 e util nas aplica coes e neste caso o espa co de Sobolev W
m,p
()
e representado por H
m
(). O espa co H
m
() e um espa co de Hilbert com o produto escalar
dado por:
(u, v)
m
=
||m
(D
u, D
v)
L
2
()
para todo u, v H
m
(), e e denominado espaco de Sobolev de ordem m.
2.2.2 O Espaco W
m,p
0
()
Quando m = 0, tem-se W
0,p
() = L
p
() e do Corolario 1 do Captulo 1, sabe-se que
T() e denso em L
p
(), mas nao e verdade que T() seja sempre denso em W
m,p
() para
m 1, como sera visto posteriormente. Motivado por este fato, dene-se o espa co W
m,p
0
()
como sendo o fecho de T() em W
m,p
(). Quando p = 2, escreve-se H
m
0
() em lugar de
W
m,2
0
().
Proposicao 2.2.2 Seja u W
m,p
0
() e u a extensao de u por zero fora de . Tem-se:
a) u W
m,p
(R
n
)
b) D
u =

D
u para todo [[ m
c) [[u[[
m,p
= [[ u[[
m,p
.
26 CAP

Demonstracao: Dada uma fun cao T(), tem-se T(R
n
) W
m,p
(R
n
) e as condi coes
a)c) sao satisfeitas por . Segue-se que a fun cao : T() W
m,p
(R
n
) e uma isometria
linear de espa cos normados e pode ser estendida por continuidade a uma isometria linear
: W
m,p
0
() W
m,p
(R
n
) denida do seguinte modo: se u W
m,p
0
() e (
) e uma sucessao
de fun coes testes em tais que
u em W
m,p
0
(), entao
u em W
m,p
(R
n
). Mostra-
se que u = u para todo u W
m,p
0
(). De fato, se
u em W
m,p
0
() entao a sucessao
(
) converge para u e tambem para u em L

p
(R
n
), logo u u. Pelo mesmo argumento
tem-se D
u =

D
u para todo [[ m o que prova a proposi cao.

Com base na proposi cao anterior, mostra-se que se e um conjunto aberto do R
n
,
pode acontecer que W
m,p
0
() seja diferente de W
m,p
().
Proposicao 2.2.3 Se W
m,p
0
() = W
m,p
(), o complemento de no R
n
, , possui medida
de Lebesgue igual a zero.
Demonstracao: Sejam U uma bola aberta tal que U ,= e T(R
n
) tal que = 1
em U . Considerando u(x) = 1, x em , entao v = u W
m,p
() = W
m,p
0
(), logo
v W
m,p
(R
n
) e D
i
v =
(D
i
v) (i = 1, . . . , n). Seja T(). Tem-se:
_
U
(D
i
v)dx =
_
U
(D
i
v)dx +
_
U
(D
i
v)dx =
_
U
(
D
i
v)dx = 0
para i = 1, 2, . . . , n, isto e, D
i
v = 0 em U para i = 1, 2, . . . , n, logo v[
U
e uma distribui cao
denida por uma fun cao constante. Conseq uentemente existe uma constante c tal que A =
x U; v ,= c e de medida zero. Como v(x) = 1 em U , que e um aberto nao vazio,
tem-se c = 1, portanto U A, donde U tem medida zero para qualquer bola
aberta U. De
=
_

_
=1
B
(0)
_
=
_
=1
[ B
(0)]
onde B
(0) e a bola aberta do R

n
de centro em x = 0 e raio , segue-se que med = 0
pois
med
=1
med[ B(0, )] = 0
e a demonstra cao da proposi cao esta concluda.
Observe-se que a recproca da Proposi cao 2.2.3 nem sempre e verdadeira, isto e, se (
ter medida de Lebesgue zero nao implica, necessariamente que, W
m,p
0
() = W
m,p
(). Para
um estudo das condi coes necessarias e sucientes sobre ( para que se tenha W
m,p
0
() =
W
m,p
() pode consultar-se J.L. Lions [8]. Segundo estes resultados observa-se que se
= R
n
x
0
, x
0
ponto de R
n
, e mp > n, 1 < p < , entao W
m,p
0
() esta contido
estritamente em W
m,p
().
Resulta da Proposi cao 2.2.3 que se o complemento de possui medida positiva, tem-
se W
m,p
0
() ,= W
m,p
(). Em particular, se e um conjunto aberto limitado do R
n
, tem-se
W
m,p
0
() ,= W
m,p
(). No caso extremo = R
n
, tem-se W
m,p
0
(R
n
) = W
m,p
(R
n
), como uma
conseq uencia do seguinte teorema:
Teorema 2.2.1 T(R
n
) e denso no W
m,p
(R
n
).
Demonstracao: A ideia da demonstra cao e primeiro aproximar os elementos de W
m,p
(R
n
)
por elementos do mesmo espa co mas com suporte compacto. A seguir, aproximar os elemen-
tos de W
m,p
(R
n
) com suporte compacto por fun coes testes em R
n
.
De fato, seja uma fun cao teste no R
n
tal que = 1 sobre a bola aberta B
1
(0) e
= 0 fora da bola aberta B
2
(0). Para todo N, suponha
(x) = (x/) para todo

x R
n
. Portanto, (
) e uma sucessao de fun coes testes em R

n
com a seguinte propriedade:
a)
= 1 sobre B
(0) e supp (
) B
2
(0).
b) Para todo N
n
, ,= (0, 0, . . . , 0), existe M
> 0 tal que:

[D
(x)[ M
/
||
para todo x R
n
e N.
Da parte a) e do teorema de Lebesgue sobre a convergencia limitada, para todo u L
p
(R
n
)
tem-se:
u u em L
p
(R
n
)
28 CAP

(D
)u 0 em L
p
(R
n
), se ,= 0.
Se u W
m,p
(R
n
), pela formula de Leibniz, tem-se:
D
u) =
u +
=0
!
!( )!
(D
)(D
u)
e dos limites acima, segue-se que para todo 0 < [[ m a sucessao (D
u)) converge para

D
u em L
p
(R
n
). Portanto, (
u) e uma sucessao de vetores de W

m,p
(R
n
) convergente para
u em W
m,p
(R
n
) e alem disto,
u possui suporte compacto contido na bola B

2
(0).
Suponha agora que u W
m,p
(R
n
) seja tal que seu suporte seja compacto. Se (
) e
uma sucessao regularizante no R
n
, segue-se que (
u) e uma sucessao de fun coes testes no

R
n
. Alem disto, para todo [[ m, tem-se:
D
u) =
u para todo N.
Portanto,
D
u) D
u em L
p
(R
n
),
como uma conseq uencia do Teorema 1.2.1 do Captulo 1 o que prova ser
u u em
W
m,p
(R
n
).
A seguir faz-se um comentario relativo ao suporte de fun c oes de W
m,p
() o qual sera
usado na demonstra cao da proxima proposi cao.
Observacao 5 Seja u W
m,p
(). Entao, note-se que supp (D
u) supp u, para todo

[[ m.
Com efeito, seja O = O
i
; i i a famlia de todos os subconjuntos abertos O
i
de
tais que u = 0 quase sempre em O
i
. Entao, por deni cao, ver Se cao 1.2.1 do Captulo 1,
supp u = O onde O =
_
iI
O
i
. A observa cao decorrera se mostrarmos que D
u = 0 quase
sempre em O
i
, para todo i I, com [[ m. Tem-se, para T(O
i
):
_
O
i
(D
u)dx = (1)
||
_
O
i
u D
dx = 0
que implica, pelo Lema de Du Bois Raymond, D
u = 0 quase sempre em O
i
.
Quando for um aberto arbitrario do R
n
, como foi provado, tem-se em geral W
m,p
() ,=
W
m,p
0
(). Entretanto, o seguinte resultado caracteriza os elementos de W
m,p
() que possuem
suporte compacto.
Proposicao 2.2.4 Se u W
m,p
() e possui suporte compacto, entao u W
m,p
0
().
Demonstracao: De fato, seja r = dist(suppu, ( ) > 0 e uma fun cao teste no R
n
tal que
= 1 numa vizinhan ca U do supp u, U . Para toda em T(R
n
), tem-se [
e uma
fun cao teste em , logo se [[ m tem-se:
D
u, ) = (1)
||
_
U
u(x)D
()(x) dx = (1)
||
u, D
([
)) =
= D
u, ([
)) =
_
U
D
u(x)(x)(x) dx =
u, )
provando que u W
m,p
(R
n
). Note-se que na ultima integral usa-se a Observa cao 5.
Tem-se tambem supp u = sup u, que e um compacto do R
n
, portanto (
u) e uma
sucessao de fun coes testes no R
n
que converge para u em W
m,p
(R
n
). Seja u
a restri cao de
u a . Segue-se entao que (u
) converge para u = u[
em W
m,p
(). Para > 2/r,
tem-se:
supp(
u) supp u + B
1/
(0) x R
n
; dist(x, supp u) r/2 ,
logo, supp u
= supp(
u) = supp(
u) e um compacto de . Este argumento signica

que (u
)
2/r
e uma sucessao de fun coes testes em convergindo para u em W
m,p
(), isto
e, u W
m,p
0
(), o que prova a proposi cao.
Observacao 6 Se supp u for compacto e u W
m,p
()W
s,q
(), entao existe uma sucessao
(
) de funcoes testes em convergente para u na topologia de W

m,p
() e tambem na
topologia de W
s,q
(). Isto pode ser deduzido a partir da demonstracao da Proposicao . Em
verdade, este fato e uma conseq uencia do seguinte resultado: Sejam Z um espaco vetorial
30 CAP

e X, Y subespacos vetoriais de Z. Dote a X e Y de estrutura de espacos de Banach e
considere o espaco de Banach X Y com norma
[[u[[
XY
= [[u[[
X
+[[u[[
Y
.
Seja D um subconjunto denso em X e em Y . Entao D e um subconjunto denso em X Y .
2.2.3 O Espaco W
m,q
()
Suponha 1 p < e 1 < q tal que
1
p
+
1
q
= 1. Representa-se por W
m,q
() o
dual topologico de W
m,p
0
(). O dual topologico de H
m
0
() denota-se por H
m
().
Seja f W
m,q
() e (
) uma sucessao de fun coes testes em tal que
0 em
T(). Resulta que
0 em W
m,p
0
(), portanto, f,
) 0, o que permite concluir que

a restri cao de f a T() e uma distribui cao. Considere a aplica cao linear
: W
m,q
() T
(),
tal que (f) = f[
D()
para todo f em W
m,q
(). Por ser T() denso em W
m,q
0
() resulta
que e injetora. Tambem se (f
) e uma sucessao de vetores de W

m,q
() tal que f
0 em
W
m,q
() entao (f
) 0 em T
(), isto e, e contnua. A aplica cao permite identicar

W
m,q
() a um subespa co vetorial de T
() e com esta identica cao tem-se:

W
m,q
() T
().
Quando se diz que uma distribui cao T pertence a W
m,q
(), signica dizer que T,
denida em T(), pode ser estendida como um funcional linear contnuo ao espa co W
m,p
0
().
Esta extensao contnua e representada por T. O resultado que segue caracteriza as distri-
bui coes de W
m,q
().
Lema 2.2.1 Seja k um inteiro positivo e E = (L
p
())
k
normado por:
[[[[
E
=
_
k
=1
[[
[[
p
L
p
()
_
1/p
,
para todo = (
1
,
2
, . . . ,
k
) E. Um funcional linear f denido em E e contnuo se e
somente se existem f
1
, f
2
, . . . , f
k
L
q
(), dual de L
p
(), tal que
f, ) =
k
=1
_
(x)
(x) dx
para todo E.
A demonstra cao ca como exerccio para o leitor.
Teorema 2.2.2 Seja T uma distribuicao sobre , entao T W
m,q
() se e somente se
existem funcoes g
L
q
(), [[ m, tais que
T =
||m
D
.
Demonstracao: Suponha T denida pelo somatorio acima. Entao, para todo T(),
tem-se:
[T, )[ [[[[
m,p
_

||m
[[g
[[
L
q
()
_
1/q
, 1 < p < .
Sendo T() denso em W
m,q
0
(), a ultima desigualdade diz ser possvel estender T, por
continuidade, ao espa co W
m,q
0
() e portanto, T W
m,q
(). O caso p = 1 se procede de
forma analoga.
Seja T W
m,q
() e k o n umero de ndices N
n
tais que [[ m. Os elementos
u de E = (L
p
())
k
podem ser escritos como (u
)
||m
, u
L
p
(). Desde que a aplica cao
: W
m,p
0
() E
tal que (u) = (D
u)
||m
e uma isometria linear, tem-se E
0
= (D
u)
||m
; W
m,q
0
() e
um subespa co fechado de E. Seja f
0
o funcional linear denido em E
0
por
f
0
, (D
u)
||m
) = T, u), u W
m,p
0
(),
32 CAP

isto e, f
0
= T
1
, e um funcional linear contnuo. Pelo teorema de Hahn-Banach, f
0
possui
uma extensao ao espa co E, que representa-se por f. Pelo Lema 2.2.1 existe um vetor
(g
)
||m
, g
L
q
(), dual de L
p
(), tal que:
f, (
)
||m
) =
||m
_
(x)
(x) dx
para todo (
)
||m
em E.
Para todo em T() tem-se:
T, ) = f
0
, (D
)
||m
) =
||m
_
(x)D
(x) dx =
=
|m
(1)
||
D
, ).
Tomando g
= (1)
||
g
, a ultima igualdade diz que

T =
||m
D
o que demonstra o teorema.

Observacao 7 O mesmo argumento usado na demonstracao do Teorema 2.2.2 mostra que
se T (W
m,p
())
, isto e, T pertence ao dual de W

m,p
(), existem funcoes g
L
q
(),
dual de L
p
(), [[ m, tais que
T, u) =
||m
_
(x)D
u(x) dx
para todo u em W
m,p
(). Tem-se T[
D()
pertence a T
(), mas a aplicacao

: (W
m,p
())
()
denida por (T) = T[
D()
nao e injetora se W
m,p
0
() esta contido estritamente em W
m,p
().
De fato, seja u
0
W
m,p
() tal que u
0
/ W
m,p
0
() e T o funcional identicamente nulo em
W
m,p
(). Considere, pelo Teorema de Hahn-Banach, S (W
m,p
())
tal que Su = 0 para

u W
m,p
0
() e S, u
0
) , = 0. Tem-se T[
D()
= S[
D()
mas T ,= S pois T, u
0
) = 0 e S, u
0
) , = 0.
Por esta razao diz-se que, se W
m,p
0
() _ W
m,p
(), o espa co (W
m,p
())
nao dene um espa co

de distribui coes sobre .
2.2.4 Reexividade dos Espacos de Sobolev
Para provar que os espa cos W
m,p
(), 1 < p < , sao reexivos, dois resultados sao
recordados: o primeiro e que os L
p
(), 1 < p < , sao reexivos e o segundo e o Teorema de
Alaoglu-Bourbaki; este teorema arma que um espa co de Banach E e reexivo se e somente
se toda sucessao limitada de vetores de E possui uma subsucessao fracamente convergente.
Teorema 2.2.3 Se 1 < p < + entao W
m,p
() e um espaco de Banach reexivo.
) uma sucessao limitada de vetores de W

m,p
(). Entao, para
todo [[ m, (D
) e limitada em L
p
(). Resulta a existencia de uma subsucessao
(u
) de (u
) que converge fracamente, logo (D

1
u
) e limitada em L
p
(), assim existe uma
subsucessao (u
) de (u
) tal que (D
1
u
) e fracamente convergente. Por sucessivas aplica coes

deste argumento encontra-se uma subsucessao (v
) de (u
) e uma fun cao v
L
p
() tal que
para todo [[ m a sucessao (D
) e fracamente convergente em L
p
() para um vetor v
.
Isto signica que para cada [[ m e L
q
(), tem-se:
_
(x)(x) dx
_
(x)(x) dx
sendo
1
p
+
1
q
= 1. Considerando-se v = v
(0,0,...,0)
, da convergencia acima, obtem-se que
v
v em T
() e D
em T
(), 0 < [[ m, portanto D
v em T
(),
[[ m. Da unicidade dos limites em T
() segue-se entao que D
v = v
, [[ m. Assim
v W
m,p
().
Resta somente provar que (v
) converge para v fracamente em W

m,p
(). De fato,
seja T uma forma linear contnua denida em W
m,p
(). Da Observa cao 2.2.3 desta se cao,
tem-se a existencia de fun coes g
L
q
() tais que
T, u) =
||m
_
(x)D
u(x) dx
34 CAP

para todo u W
m,p
(). Segue-se que:
lim
T, v
) = lim
||m
_
(x)D
(x) dx =
=
||m
_
(x)D
v(x) dx = T, v)
o que demonstra o teorema.
2.2.5 Os Espacos H
m
() e H
m
()
Se L for o operador diferencial
||m
(1)
||
D
2
, resulta que para u H
m
(), Lu e
uma distribui cao nao necessariamente denida por uma fun cao localmente integravel. Alem
disto, se u H
m
() e [[ m, g
= D
u pertence a L
2
() e Lu =
||m
(1)
||
D
pertence a H
m
() como uma conseq uencia do Teorema 2.2.3 deste paragrafo. Portanto,
podemos considerar a realiza cao de L como um operador linear de H
m
() em H
m
(). A
seguir caracteriza-se a imagem de H
m
0
() por L.
Proposicao 2.2.5 O complemento ortogonal de H
m
0
() em H
m
() e o n ucleo do operador
diferencial linear L.
Demonstracao: Para todo u em H
m
() e em T() tem-se:
Lu, ) = (u, )
m
.
Se u pertence ao ortogonal de H
m
0
() entao (u, v)
m
= 0 para todo v H
m
0
(), em particular,
(u, )
m
= 0 para toda fun cao teste em , portanto, Lu, ) = 0 para toda fun cao teste,
isto e, Lu = 0.
Suponha agora u H
m
() e Lu = 0. Entao (u, )
m
= Lu, ) = 0 par toda
T(). Sendo T() denso em H
m
0
(), tem-se (u, v)
m
= 0 para todo v em H
m
0
(), isto
e, u e ortogonal a H
m
0
().
Proposicao 2.2.6 O operador L transforma H
m
0
() sobre H
m
(), de maneira isometrica.
Demonstracao: Seja u H
m
0
() tal que Lu = 0. Pela Proposi cao 2.2.5 tem-se u
H
m
0
() (H
m
0
())
, portanto, u = 0. Se f H
m
(), pelo teorema de Riesz existe
u H
m
0
() tal que
f, v) = (v, u)
m
para todo v H
m
0
(),
e [[f[[
m
= [[u[[
m
. Segue-se que
f, ) = (, u)
m
= L u, ) para todo T(),
portanto, tem-se f = L u com u H
m
0
() e [[L u[[
m
= [[f[[
m
= [[u[[
m
= [[ u[[
m
.
Proposicao 2.2.7 T() e denso em H
m
().
Demonstracao: Dado f H
m
(), seja u H
m
0
() tal que Lu = f. Se (
) e uma
sucessao de T(), convergente para u em H
m
0
(), a sucessao (L
) converge para Lu = f
em H
m
(), porque L e uma isometria. Isto prova a proposi cao, desde que L
e uma
fun cao teste.
Proposicao 2.2.8 T() e denso em T
().
Demonstracao: Tem-se T() H
m
0
() com T() denso em H
m
0
(). Entao por dualidade
resulta H
m
() T
() com H
m
() denso em T
(). Desta densidade e da densidade

de T() em H
m
() dada pela Proposi cao 2.2.7, segue o corolario.
Para concluir esta se cao mostra-se a Desigualdade de Poincare da qual obtem-se sig-
nicantes propriedades para os espa cos H
m
0
(). Inicia-se introduzindo a seguinte deni cao.
Diz-se que o aberto do R
n
e limitado na dire cao x
i
se existe um intervalo aberto nito
]a, b[ da reta tal que
pr
i
]a, b[
onde pr
i
e a proje cao de R
n
sobre o eixo x
i
.
36 CAP

Teorema 2.2.4 (Desigualdade de Poincare) Seja um aberto do R
n
limitado em al-
guma direcao x
i
. Entao
_
[u[
2
dx (b a)
2
_
u
x
i
2
dx para todo u H
1
0
() (2.2.6)
onde pr
i
]a, b[ .
Demonstracao: Primeiro mostra-se a desigualdade (2.2.6) para T(). O resultado
geral seguira entao por densidade. Inicialmente considera-se T(]a, b[). Tem-se:
(t) =
_
t
a
(s) ds, a t b,
que acarreta, pela desigualdade de Schwarz, [(t)[
2
(b a)
_
b
a
[
(s)[
2
ds, a qual implica
_
b
a
[(t)[
2
dt (b a)
2
_
b
a
[
(t)[
2
dt. (2.2.7)
Sem perda de generalidade supoe-se que e limitado na dire cao x
1
. Considera-se a nota cao
x = (t, x
) onde x
= (x
2
, x
3
, . . . , x
n
) e seja T(), entao:
_
[(x)[
2
dx =
_
R
n1
_
_
b
a
[(t, x
)[
2
dt
_
dx
. (2.2.8)
Observa-se que
x
(t) = (t, x
) pertence a T(]a, b[) para cada x
R
n1
. Logo a desigual-
dade (2.2.7) com
x
implica
_
b
a
[(t, x
)[
2
dt (b a)
2
_
b
a
t
(t, x
2
dt.
Considerando esta desigualdade em (2.2.8) resulta:
_
[(x)[
2
dx (b a)
2
_
R
n1
_
_
b
a
t
(t, x
2
dt
_
dx
= (b a)
2
_
x
1
(x)
2
dx,
que e precisamente a desigualdade (2.2.6). Assim o teorema esta provado.
Observacao 8 Considere-se em H
1
0
(), limitado em alguma direcao x
i
de R
n
, a ex-
pressao
[[u[[ =
_
n
i=1
_
u
x
i
2
dx
_
1/2
.
Entao a desigualdade de Poincare diz que [[u[[ e uma norma em H
1
0
() e que em H
1
0
() as
normas [[u[[ e [[u[[
1
= [[u[[
H
1
()
sao equivalentes. Com base neste resultado, em H
1
0
(),
limitado em alguma direcao x
i
de R
n
, considera-se o produto escalar
((u, v)) =
n
i=1
_
u
x
i
v
x
i
dx.
Corolario 2 Em H
m
0
(), aberto limitado em alguma direcao x
i
de R
n
, as normas
[[u[[ =
_

||=m
_
[D
u[
2
dx
_
1/2
e [[u[[
1
sao equivalentes.
Demonstracao: Mostra-se que
[[u[[
2
1
=
||m
_
[D
u[
2
dx C[[u[[
2
(2.2.9)
onde C > 0 e uma constante independente de u H
m
0
(). A outra desigualdade e imediata.
Seja u H
m
0
() entao D
u H
1
0
() para todo [[ m1. Da Observa cao 8 resulta entao
_
[D
u[
2
dx C
n
i=1
_
x
i
D
2
dx.
Isto acarreta,
_
[D
u[
2
dx C
||=m
_
[D
u[
2
dx para todo [[ m1.
Esta desigualdade implica (2.2.9) e a demonstra cao esta concluda.
38 CAP

Corolario 3 Em W
m,p
0
i
de R
n
e 1 p < ,
as normas
[[u[[ =
_

||=m
_
[D
u[
p
dx
_
1/p
e [[u[[
m,p
sao equivalentes.
Demonstracao: Aplicando raciocnio analogo ao usado para obter (2.2.8), resulta
_
b
a
[(t)[
p
dt (b a)
p+q
q
_
b
a
[
(t)[
p
dt,
_
1 < p < ,
1
p
+
1
q
= 1
_
e
_
b
a
[(t)[ dt (b a)
_
b
a
[
(t)[ dt, T(]a, b[).

Com estas desigualdades e com argumentos semelhantes aos usados na demonstra cao do
Corolario 2, segue o corolario.
Observe que o Corolario 3 com limitado do R
n
tambem pode ser obtido usando as
desigualdades de Sobolev e serem demonstradas no proximo paragrafo.
Observacao 9 Considere-se em H
m
0
i
de R
n
,
a norma introduzida na Observacao 8. Entao pelos argumentos usados na demonstracao do
Teorema 2.2.4, obtem-se que
L: H
m
0
() H
m
(), L =
||m
(1)
||
D
2
e uma isometria linear. Em particular
: H
1
0
() H
1
(), =
n
i=1
2
x
2
i
e uma isometria linear.
2.3. IMERS
OES DE ESPAC OS DE SOBOLEV 39

2.3 Imersoes de Espacos de Sobolev
Neste paragrafo estuda-se a rela cao entre os espa cos de Sobolev W
m,p
(R
n
) e certos espa cos
classicos de fun coes em R
n
. Mostra-se certa regularidade dos objetos de um certo espa co
de Sobolev, isto e, mostra-se que quando a ordem m de W
m,p
(R
n
) e grande eles possuem
derivadas genuinas em R
n
.
O estudo e dividido em tres partes:
I) n 2 e 1 p <
II) n = 1 e 1 p <
III) n 1 e p =
Na parte I) analisa-se os tres casos possveis: mp < n, mp = n e mp > n. As partes II) e
III) sao estudadas nas Se coes 2.3.4 e 2.3.5, respectivamente. Assim todos os casos possveis
sao analisados.
No que se segue, nas tres primeiras se coes, estuda-se a parte I), isto e, quando n 2
e 1 p < .
2.3.1 Caso mp < n
Nesta se cao mostra-se a imersao contnua de W
m,p
(R
n
) em L
q
(R
n
), q especial.
Inicia-se o estudo com a obten cao de alguns resultados preliminares. Representa-se
por p
i
(i = 1, 2, . . . , n) a proje cao de R
n
em R
n1
dado por
p
i
x = (x
1
, . . . , x
i1
, x
i+1
, . . . , x
n
), x = (x
1
, x
2
, . . . , x
n
).
Os pontos do R
n+1
sao tambem escritos sob a forma (x, t) sendo x R
n
e t R; as proje coes
de R
n+1
em R
n
dadas por
i
(x, t) = (p
i
x, t), i = 1, 2, . . . , n e
n+1
(x, t) = x.
40 CAP

Proposicao 2.3.1 (Sobolev-Gagliardo) Se u
1
, u
2
, . . . , u
n
L
n1
(R
n1
) entao
a) u = (u
1
p
1
) (u
2
p
2
) . . . (u
n
p
n
) L
1
(R
N
)
b) [[u[[
L
1
(R
n
)

n
i=1
[[u
i
[[
L
n1
(R
n1
)
Demonstracao: Inicialmente, observe que se x R
n
, (u
i
p
i
)(x) = u
i
(x
1
, . . . , x
i1
, x
i+1
, . . . , x
n
).
No caso n = 2 vem u(x
1
, x
2
) = u
1
(x
1
)u
2
(x
2
) para todo (x
1
, x
2
) R
n
, portanto
[[u[[
L
1
(R
2
)
= [[u
1
[[
L
1
(R)
[[u
2
[[
L
1
(R)
.
Suponha a proposi cao verdadeira para n 2. Dados
1
,
2
, . . . ,
n
,
n+1
em L
n
(R
n
), seja
=
n+1
i=1
i
, isto e,
(x, t) =
n
i=1
i
(p
i
x, t)
n+1
(x) para todo (x, t) R
n+1
.
Para todo t R, considere:
u
i,t
(y) = [
i
(y, t)[
n/n1
, y R
n1
, i = 1, 2, . . . , n
u
t
(x) =
n
i=1
u
i,t
p
i
(x) =
n
i=1
[
i
(p
i
x, t)[
n/n1
, x R
n
.
Do teorema de Fubini obtem-se u
i,t
L
n1
(R
n1
) e da hipotese indutiva obtem-se
u
t
L
1
(R
n
) e tambem
[[u
t
[[
L
1
(R
n
)

n
i=1
[[u
i,t
[[
L
n1
(R
n1
)
. (2.3.10)
Observando que [(x, t)[ = u
t
(x)
(n1)/n
[
n+1
(x)[ e que
n 1
n
+
1
n
= 1, de (2.3.10) e da
desigualdade de Holder, obtem-se:
_
R
n
[(x, t)[dx =
_
R
n
(u
t
(x))
(n1)/n
[
n+1
(x)[ dx
__
R
n
u
t
(x)dx
_
(n1)/n
[[
n+1
[[
L
n
(R
n
)

i=1
[[u
i,t
[[
(n1)/n
L
n1
(R
n1
)
[[
n+1
[[
L
n
(R
n
)
(2.3.11)
2.3. IMERS

Obtem-se tambem,
[[u
i,t
[[
n1
L
n1
(R
n1
)
=
_
R
n1
[
i
(y, t)[
n
dy.
Se
i
(t) = [[u
i,t
[[
(n1)/n
L
n1
(R
n1
)
segue-se do teorema de Fubini que
i
L
n
(R) e que:
_
R
n
i
(t) dt =
_
R
n
[
i
(y, t)[
n
dydt,
isto e,
[[[[
L
n
(R)
= [[[[
L
n
(R
n
)
. (2.3.12)
De (2.3.11) e (2.3.12) obtem-se:
_
R
n+1
[(x, t)[ dxdt
_
R
n
i=1
i
(t)dt [[
n+1
[[
L
n
(R
n
)

i=1
__
R
n
i
(t) dt
_
1/n
[[
n+1
[[
L
n
(R
n
)

i=1
[[
i
[[
L
n
(R)
[[
n+1
[[
L
n
(R
n
)
=
=
n+1
i=1
[[
i
[[
L
n
(R
n
)
o que prova a proposi cao.
Proposicao 2.3.2 Dado 1 p < n, considere C
0
=
(n 1)p
n p
e s =
n(p 1)
n p
Entao, para
toda funcao teste sobre o R
n
, existem u
1
, u
2
, . . . , u
n
no L
n1
(R
n1
), sendo:
a) [[u
i
[[
n1
L
n1
(R
n1
)
C
0
_
R
n
[(x)[
s
[D
i
(x)[ dx, i = 1, 2, . . . , n
b) [(x)[
p/(np)
[u
i
(p
i
x)[, para x R
n
Demonstracao: Nao ha perda de generalidade admitir-se i = 1. Se u
1
(y) = sup
tR
[(t, y)[
p/(np)
,
y R
n1
, e simples concluir, notando que o suporte de u
1
e um compacto de R
n1
, que
42 CAP

u
1
L
n1
(R
n1
) e que u
1
satisfaz a condi cao b). Mostra-se que u
1
tambem satisfaz a
primeira condi cao a). Com efeito, para todo x R
n
tal que (x) ,= 0, tem-se:
D
1
[[
C
0
= D
1
( )
C
0
/2
= (C
0
/2)[[
C
0
2
(D
1
+ D
1
) = C
0
[[
C
0
2
Re(D
1
)
donde, notando que C
0
= s + 1,
D
1
[(x)[
C
0
C
0
[(x)[
s
[D
1
(x)[.
E simples vericar que se x pertence à fronteira de supp entao existe D

1
[(x)[
C
0
e
D
1
[(x)[
C
0
= 0. Claramente D
1
[(x)[
C
0
= 0 para todo x fora de supp. Da ultima
desigualdade obtem-se que D
1
[(x)[
C
0
e contnua para todo x pertencente à fronteira de
suppu. Resulta entao que D
1
[[
C
0
e uma fun cao contnua em R
n
. Portanto disto e da ultima
desigualdade vem:
[(t, y)[
C
0
=
_
t
D
1
[(, y)[
C
0
d C
0
_
R
[(, y)[
s
[D
1
(, y)[ d
que acarreta
[u
1
(y)[
n1
C
0
_
R
[(, y)[
s
[D
1
(, y)[ d
de onde conclui-se a parte a).
Proposicao 2.3.3 (Desigualdade de Sobolev) Suponha 1 p < n e considere
1
q
=
1
p

1
n
e C
0
=
(n 1)p
(n p)

Entao para cada T(R
n
) tem-se:
[[[[
L
q
(R
n
)

C
0
n
n
i=1
[[D
i
[[
L
p
(R
n
)
.
2.3. IMERS

Demonstracao: Quando p = 1, tem-se s = 0, C
0
= 1 e (n 1)q = n na Proposi cao 2.3.2.
Portanto,
[[[[
(n1)q
L
q
(R
n
)
=
_
_
R
n
[(x)[
n/(n1)
dx
_
n1
_
_
R
n
n
i=1
[u
i
(p
i
(x))[ dx
_
n1
.
Disto e das Proposi coes 2.3.1 e 2.3.2 decorre
[[[[
(n1)q
L
q
(R
n
)

n
i=1
[[u
i
[[
n1
L
n1
(R
n1
)

n
i=1
[[D
i
[[
L
1
(R
n
)
(2.3.13)
que implica a desigualdade de Sobolev, pois para n umeros reais nao negativos a
1
, a
2
, . . . , a
n
tem-se
_
n
i=1
a
i
_
1/n
1
n
n
i=1
a
i
. No caso p > 1, considere p
= p/(p 1). Desde que

p
s = np/(n p) = q, tem-se:
[[ [[
s
[[
p
L
p
(R
n
)
= [[[[
q
L
q
(R
n
)
.
Considere u
1
, u
2
, . . . , u
n
em L
n1
(R
n1
) como na Proposi cao 2.3.2. Pela parte a) desta
proposi cao e pela desigualdade de Holder, obtem-se:
[[u
i
[[
n1
L
n1
(R
n1
)
C
0
[[D
i
[[
L
p
(R
n
)
[[[[
q/p
L
q
(R
n
)
.
Da parte b) da Proposi cao 2.3.2, resulta:
[(x)[
q
= ([(x)[
p/(np)
)
n
i=1
[u
i
(p
i
(x))[, x R
n
.
Pela Proposi cao 2.3.1 e pelas duas ultimas desigualdades, obtem-se
[[[[
(n1)q
L
q
(R
n
)
=
__
R
n
[(x)[
q
dx
_
n1
_
_
R
n
n
i=1
[u
i
(p
i
(x))[ dx
_
n1
i=1
[[u
i
[[
n1
L
n1
(R
n1
)
C
n
0
[[[[
nq/p
L
q
(R
n
)
n
i=1
[[D
i
[[
L
p
(R
n
)
.
Note que sendo (n 1)q
nq
p
= n, a desigualdade anterior implica a de Sobolev quando

,= 0. Quando = 0 a desigualdade segue diretamente. Assim a demonstra cao esta
concluda.
44 CAP

Observacao 10 Note-se que a desigualdade de Sobolev dada na Proposicao 2.3.3 e valida
para toda C
1
0
(R
n
), isto e, para C
1
(R
n
) e com suporte compacto. Em particular
de (2.3.13) resulta com q = n/(n 1):
[[[[
n
L
n/(n1)
(R
n
)

n
n=1
[[D
i
[[
L
1
(R
n
)
para todo C
1
0
(R
n
).
Observacao 11 Note-se que se 1 p < e m, n sao n umeros naturais nao negativos
entao
a)
1
p

m
n
> 0 se e somente se mp < n
b)
1
q
=
1
p

m
n
> 0 implica p < q
A seguir mostra-se a imersao de W
m,p
(R
n
) em L
q
(R
n
).
Teorema 2.3.1 (Sobolev) Sejam 1 p < , mp < n e
1
q
=
1
p

m
n
Entao W
m,p
(R
n
)
esta contido em L
q
(R
n
) e se verica
[[u[[
L
q
(R
n
)

_
C
0
n
_
m
||=m
[[D
u[[
L
p
(R
n
)
, (2.3.14)
para todo u W
m,p
(R
n
), onde C
0
= (n 1)p/(n p).
Demonstracao: Prova-se primeiro a desigualdade para as fun coes em T(R
n
). Na prova
aplica-se o metodo de indu cao com rela cao a m. Com efeito, para m = 1 a desigualdade
(2.3.14) e a desigualdade obtida na Proposi cao 2.3.3. Suponha entao que (2.3.14) e valida
para m 1, isto e,
[[[[
L
q
1(R
n
)

_
C
0
n
_
m
||=m
[[D
[[
L
p
1(R
n
)
para todo T(R
n
)
2.3. IMERS

com mp
1
< n e
1
q
1
=
1
p
1
m
n
Deseja-se obter a desigualdade (2.3.14) para m + 1. Tem-se
entao (m+ 1)p < n e
1
q
=
1
p

m + 1
n
=
1
p

m
n

1
n
,
1
q
1
=
1
p

m
n
> 0,
1
q
=
1
q
1
1
n
Da hipotese de indu cao e da Proposi cao 2.3.3 resulta entao para T(R
n
):
[[[[
L
q
1(R
n
)

_
C
0
n
_
m
||=m
[[D
[[
L
p
(R
n
)
(2.3.15)
[[[[
L
q
(R
n
)

C
0
n
n
i=1
[[D
i
[[
L
q
1(R
n
)
. (2.3.16)
De (2.3.15) obtem-se:
[[D
i
[[
L
q
1(R
n
)

_
C
0
n
_
m
||=m
[[D
D
i
[[
L
p
(R
n
)
portanto
C
0
n
n
i=1
[[D
i
[[
L
q
1(R
n
)

_
C
0
n
_
m+1 n
i=1
||=m
[[D
D
i
[[
L
p
(R
n
)
=
=
_
C
0
n
_
m+1
||=m+1
[[D
[[
L
p
(R
n
)
.
(2.3.17)
De (2.3.16) e (2.3.17) segue a desigualdade (2.3.14) para m + 1. Assim o teorema esta
mostrado para em T(R
n
).
Seja u W
m,p
(R
n
). Entao existe uma sucessao (
) de fun coes de T(R

n
) tal que
u em W
m,p
(R
n
). Logo
D
u em L
p
(R
n
), para todo [[ m. (2.3.18)
Tem-se:
[[
[[
L
q
(R
n
)

_
C
0
n
_
m
||=m
[[D
[[
L
p
(R
n
)
.
46 CAP

Logo, pelas convergencias (2.3.18), segue-se que (
) e uma sucessao de Cauchy em L

q
(R
n
).
Resulta disto e de (2.3.18) que
v em L
q
(R
n
) e
u em L
p
(R
n
). (2.3.19)
Passando ambas as convergencias ao espa co T(R
n
) resulta u = v, portanto u L
q
(R
n
).
Assim W
m,p
(R
n
) esta contido em L
q
(R
n
). Tomando o limite em ambos os lados da desigual-
dade
[[
[[
L
q
(R
n
)

_
C
0
n
_
m
||=m
[[D
[[
L
p
(R
n
)
segue das convergencias (2.3.18) e (2.3.19), a desigualdade (2.3.14) para u W
m,p
(R
n
). Isto
prova o teorema.
Como uma conseq uencia direta do Teorema 2.3.1, segue o resultado:
Corolario 4 Seja 1 p < , mp < n e
1
q
=
1
p

m
n
Entao
W
m,p
(R
n
) L
q
(R
n
).
Corolario 5 Se 1 p < , mp < n e p q
np
n mp
entao
W
m,p
(R
n
) L
q
(R
n
).
Demonstracao: De fato, ponha q
0
=
np
n mp
e considere o espa co de Banach E = L
p
(R
n
)
L
q
0
(R
n
) com a norma
[[u[[
E
= [[u[[
L
p
(R
n
)
+[[u[[
L
q
0(R
n
)
.
Sendo p q q
0
, tem-se pela Proposi cao 1.2.1 do Captulo 1, que E L
q
(R
n
). Pelo
Corolario 4 resulta W
m,p
(R
n
) E. Destas duas imersoes contnuas segue o corolario.
Corolario 6 Se 1 p < , mp < n e
1
q
=
1
p

m
n
entao W
m+k,p
(R
n
) W
k,q
(R
n
) para
todo k inteiro nao negativo.
2.3. IMERS

Demonstracao: Seja [[ k entao pelo Teorema 2.3.1 resulta para em T(R
n
):
[[D
[[
L
q
(R
n
)

_
C
0
n
_
m
||=m
[[D
[[
L
p
(R
n
)
de onde
[[D
[[
L
q
(R
n
)
C
_
_

||m+k
[[D
[[
p
L
p
(R
n
)
_
_
1/p
que implica
[[[[
W
k,p
(R
n
)
C[[[[
W
m+k,p
(R
n
)
onde C > 0 e uma constante independente de . Desta desigualdade e da densidade de
T(R
n
) em W
m+k,p
(R
n
) segue o corolario.
Observacao 12 Seja 1 p < n. Note-se que se existem constantes C > 0 e 1 r
vericando a desigualdade
[[[[
L
r
(R
n
)
C
n
i=1
[[D
i
[[
L
p
(R
n
)
para todo T(R
n
).
Entao r = q onde
1
q
=
1
p

1
n

Com efeito, da desigualdade com
(x) = (x), > 0, resulta

[[[[
L
r
(R
n
)
C
(1+
n
r
n
p
)
n
i=1
[[D
i
[[
L
p
(R
n
)
para todo > 0
que implica 1 +
n
r

n
p
= 0.
2.3.2 Caso mp = n
Nesta se cao mostra-se que W
m,p
(R
n
) esta imerso continuamente em L
q
(R
n
) para todo
q [p, [ . Para isto prova-se inicialmente o seguinte resultado:
48 CAP

Lema 2.3.1 Seja q [n, [ . Entao existe uma constante C(n, q) > 0 tal que
[[[[
L
q
(R
n
)
C(n, q)[[[[
W
1,n
(R
n
)
para todo T(R
n
).
Demonstracao: De fato, da Observa cao 10 deste captulo resulta
[[[[
L
n/(n1)
(R
n
)

n
i=1
[[D
i
[[
1/n
L
1
(R
n
)
para todo C
1
0
(R
n
).
Seja > 1 e = [[
1
com T(R
n
). Entao desta desigualdade com resulta
[[[[
L
n/(n1)
(R
n
)

n
i=1
[[ [[
1
D
i
[[
1/n
L
1
(R
n
)
.
Tem-se, com
1
p
+
1
p
= 1:
_
R
n
[[
1
[D
i
[ dx = [[[[
1
L
(1)p
(R
n
)
[[D
i
[[
L
p
(R
n
)
.
Combinando as duas ultimas desigualdades resulta
[[[[
L
n/(n1)
(R
n
)
[[[[
1
L
(1)p
(R
n
)
n
i=1
[[D
i
[[
1/n
L
p
(R
n
)
.
Fazendo p = n, portanto p
= n/(n 1), nesta ultima desigualdade e notando que a media

geometrica e menor ou igual que a media aritmetica, obtem-se:
[[[[
L
n/(n1)
(R
n
)

n
[[[[
1
L
(1)n/(n1)
(R
n
)
n
i=1
[[D
i
[[
L
n
(R
n
)
.
Desta expressao e aplicando a desigualdade de Holder para n umeros reais nao negativos
ab
a
+
b
/(1)
/( 1)
resulta
[[[[
L
n/(n1)
(R
n
)

( 1)
[[[[
L
(1)n/(n1)
(R
n
)
+
1
n
n
i=1
[[D
i
[[
L
n
(R
n
)
. (2.3.20)
2.3. IMERS

A expressao (2.3.20) implicara a seguinte desigualdade:
[[[[
L
(n+k)n/(n1)
(R
n
)

(n 1)
n + k
[[[[
L
n
(R
n
)
+
+
(k + 1)(2n + k)
2n(n + k)
n
i=1
[[D
i
[[
L
n
(R
n
)
, k = 0, 1, 2, . . .
(2.3.21)
Mostra-se esta desigualdade por indu cao com rela cao a k. Com efeito, fazendo = n em
(2.3.20) resulta (2.3.21) com k = 0. Suponha (2.3.21) verdadeiro para k 0 e considere
k + 1. Fazendo = n + k + 1 em (2.3.20) e usando a hipotese de indu cao, obtem-se:
[[[[
L
(n+k+1)n/(n1)
(R
n
)

n + k
n + k + 1
_
n 1
n + k
[[[[
L
n
(R
n
)
+
(k + 1)(2n + k)
2n(n + k)
n
i=1
[[D
i
[[
L
n
(R
n
)
_
+
+
1
n
n
i=1
[[D
i
[[
L
n
(R
n
)
=
n 1
n + k + 1
[[[[
L
n
(R
n
)
+
+
(k + 2)(2n + k + 1)
2n(n + k + 1)
n
i=1
[[D
i
[[
L
n
(R
n
)
que da a desigualdade (2.3.21) com k + 1.
Seja q [n, [ entao existe k = 0, 1, . . . tal que n q
(n+k)n
n1
Pela desigualdade
de interpola cao, Proposi cao 1.2.1 do Captulo 1, resulta:
[[[[
L
q
(R
n
)
[[[[
L
n
(R
n
)
+ (1 )[[[[
L
(n+k)n/(n1)
(R
n
)
(2.3.22)
onde
1
q
=

n
+
1
(n + k)n/(n 1)
e 0 1. Combinando (2.3.21) e (2.3.22) obtem-se a
desigualdade do lema.
Teorema 2.3.2 Seja 1 p < , mp = n e q [p, [ . Entao
W
m,p
(R
n
) L
q
(R
n
).
50 CAP

Demonstracao: Mostra-se o teorema por indu cao com rela cao a m. Com efeito, se m = 1
entao p = n e o Lema 2.3.1 diz
[[[[
L
q
(R
n
)
C(n, q)[[[[
W
1,p
(R
n
)
para todo T(R
n
).
O teorema segue entao pela densidade de T(R
n
) em W
1,p
(R
n
). Suponha que o teorema e
valido para m 1 e considere m+1 com (m+1)p = n. Tem-se entao
1
n/m
=
1
p
1
n
> 0 que
implica, pelo Corolario 4, W
1,p
(R
n
) L
n/m
(R
n
), que por sua vez, pelo Corolario 6, acarreta
W
m+1,p
(R
n
) W
m,n/m
(R
n
). Pela hipotese de indu cao resulta W
m,n/m
(R
n
) L
q
(R
n
) para
todo q [n/m, [ . Das duas ultimas inclusoes contnuas segue
W
m+1,p
(R
n
) L
q
(R
n
) para todo q [n/m, [ . (2.3.23)
De (2.3.23) resulta W
m+1,p
(R
n
) L
n/m
(R
n
) e como W
m+1,p
(R
n
) L
p
(R
n
), p =
n
m+1
,
segue-se por interpola cao de espa cos que
W
m+1,p
(R
n
) L
q
(R
n
) para todo q [p, n/m]. (2.3.24)
De (2.3.23) e (2.3.24) segue o teorema.
No caso p = 1 tem-se o resultado suplementar W
n,1
(R
n
) C
0
b
(R
n
). C
0
b
(R
n
) e o
espa co de Banach das fun coes contnuas e limitadas em R
n
com valores em K, equipado com
a norma do supremo em R
n
(ver a se cao a seguir).
2.3.3 Caso mp > n
m,p
(R
n
) esta imerso continuamente num espa co de fun coes
regulares em R
n
.
Inicialmente introduz-se alguns espa cos que serao utilizados na formula cao dos resul-
tados. Com efeito, denota-se por C
k
b
(R
n
), k inteiro nao negativo, o espa co de Banach das
fun coes u: R
n
K de classe C
k
, limitadas assim como todas suas derivadas ate a ordem k,
2.3. IMERS

equipado com a norma
[[u[[
C
k
b
(R
n
)
= max
||k
sup
xR
n
[D
u(x)[,
e denota-se por C
k,
(R
n
), 0 < 1, o espa co de Banach das fun coes u C
k
b
(R
n
) tais
que u e todas suas derivadas ate a ordem k sao Holderianas com expoente em R
n
, mais
precisamente,
max
||k
sup
x,yR
n
x=y
[D
u(x) D
u(y)[
[[x y[[
< ,
[[u[[
C
k,
(R
n
)
= [[u[[
C
k
b
(R
n
)
+ max
||k
sup
x,yR
n
x=y
[D
u(x) D
u(y)[
[[x y[[

Observacao 13 Claramente C
k,
(R
n
) C
k
b
(R
n
). Tem-se tambem que
C
k,
(R
n
) C
k,
(R
n
) se 0 < < .
Com efeito, se x ,= y e [[x y[[ 1 entao
[D
u(x) D
u(y)[
[[x y[[

[D
u(x) D
u(y)[
[[x y[[
e se [[x y[[ > 1 entao

[D
u(x) D
u(y)[
[[x y[[
[D
u(x) D
u(y)[ 2 sup
zR
n
[D
u(z)[
de onde segue a arma cao.
Tem-se o seguinte resultado:
Lema 2.3.2 Seja
0
= m
n
p
com 0 <
0
1, U
r
um paraleleppedo do R
n
de lados
paralelos aos eixos coordenados e cada lado de comprimento r > 0 e x
0
U
r
. Entao
(x
0
)
1
r
n
_
Ur
(z) dz
i=1
[[D
i
[[
L
q
(R
n
)
para todo T(R
n
)
onde
52 CAP

a) =
0
e
1
q
=
1
p

m1
n
se
0
< 1
b) 0 < < 1 e q =
n
1
se
0
= 1
Observacao 14 No caso a) tem-se
1
p

m1
n
> 0 pois
0
< 1 e no caso b),
n
1
> p
pois
0
= 1.
Demonstracao do Lema: Seja z U
r
e u(t) = (tz + [1 t]x
0
), T(R
n
). Entao
(z) (x
0
) = u(1) u(0) =
_
1
0
u
(t) dt =
n
i=1
_
1
0
D
i
(tz + [1 t]x
0
)(z
i
x
oi
)
que implica
[(z) (x
0
)[ r
n
i=1
_
1
0
[D
i
(tz + [1 t]x
0
)[ dt.
Notando que (x
0
) =
1
r
n
_
Ur
(x
0
) dz e usando esta ultima desigualdade, obtem-se:
1
r
n
_
Ur
(z) dz (x
0
)
1
r
n
_
Ur
[(z) (x
0
)] dz
r
1n
n
i=1
_
1
0
_
Ur
[D
i
(tz + [1 t]x
0
)[dzdt.
(2.3.25)
Fazendo y = tz + (1 t)x
0
resulta
_
Ur
[D
i
(tz + [1 t]x
0
[ dz =
_
(1t)x
0
+tUr
[D
i
(y)[t
n
dy =
= t
n
_
R
n
[D
i
(y)[
(1t)x
0
+tUr
(y) dy
onde
(1t)x
0
+tUr
e a fun cao caracterstica do conjunto (1 t)x
0
+ tU
r
. Aplicando a desi-
gualdade de Holder
_
1
+
1
= 1
_
nesta ultima igualdade, vem:
_
Ur
[D
i
(tz + [1 t]x
0
)[ dz t
n
[[D
i
[[
L
(R
n
)
(t
n
r
n
)
1/
. (2.3.26)
2.3. IMERS

Combinando (2.3.25) e (2.3.26) resulta
(x
0
)
1
r
n
_
Ur
(z) dz
r
1n+
n
_
n
i=1
[[D
i
[[
L
(R
n
)
_
_
1
0
t
n+
n
dt.
Observando que 1 n +
n
= 1
n
obtem-se desta ultima desigualdade
(x
0
)
1
r
n
_
Ur
(z) dz
r
1
n
_
n
i=1
[[D
i
[[
L
(R
n
)
_
_
1
0
t
n/
dt. (2.3.27)
Fazendo = q em (2.3.27) obter-se-a o lema. Com efeito:
Caso a). Considere = q, q = np/(n [m 1]p), em (2.3.27). Entao notando que
1
n
q
= m
n
p
=
0
, portanto
_
1
0
t
n/q
dt = 1/
0
, obtem-se:
(x
0
)
1
r
n
_
Ur
(z) dz
0
r
0
n
i=1
[[D
i
[[
L
q
(R
n
)
.
Caso b). Seja 0 < < 1 e > 1 tal que 1
n
= . Entao = n/(1 ), = q e
_
1
0
t
n/
dt = 1/. Fazendo =
n
1
em (2.3.27) resulta entao
(x
0
)
1
r
n
_
Ur
(z) dz
i=1
[[D
i
[[
L
q
(R
n
)
concluindo-se a demonstra cao.
Lema 2.3.3 Sob as hipoteses do Lema 2.3.2, tem-se:
(x
0
)
1
r
n
_
Ur
(z) dz
C r
[[[[
W
m,p
(R
n
)
para todo T(R
n
)
onde C > 0 e uma constante independente de , r, x
0
e
a) =
0
se
0
< 1
b) 0 < < 1 se
0
= 1
54 CAP

O Lema 2.3.3 e uma conseq uencia direta do Lema 2.3.2 e do fato que W
m1,p
(R
n
)
L
q
(R
n
) em ambos os casos a) e b). Para o primeiro caso note que
1
q
=
1
p

m1
n
> 0 e
para o segundo caso, que (m1)p = n e q > p. (Ver Observa cao 14).
Teorema 2.3.3 Seja k < m
n
p
k + 1, k um inteiro nao negativo. Entao
W
m,p
(R
n
) C
k,
(R
n
)
onde
a) 0 < mk
n
p
se mk
n
p
< 1
b) 0 < < 1 se mk
n
p
= 1
Observacao 15 Quando se diz que se u W
m,p
(R
n
), k < m
n
p
k + 1, entao
u C
k,
(R
n
) signica dizer que u, depois de uma eventual modicacao num conjunto de
medida nula de R
n
, transforma-se numa funcao pertencente a C
k,
(R
n
).
Demonstracao do Teorema: Tem-se
0 < mk
n
p
=
0
1. (2.3.28)
Seja T(R
n
); x, y R
n
, x ,= y; e U
r
um paraleleppedo de R
n
de lados paralelos aos
eixos coordenados e cada lado de comprimento r = 2[[xy[[ contendo x, y. Pelo Lema 2.3.3,
para cada [[ k, obtem-se:
[D
(x) D
(y)[ =
(x)
1
r
n
_
Ur
D
(z)dz +
1
r
n
_
Ur
D
(z)dz D
(y)

2C(2[[x y[[)
[[D
[[
W
mk,p
(R
n
)
isto e,
[D
(x) D
(y)[ C
1
[[x y[[
[[[[
W
m,p
(R
n
)
para todo [[ k (2.3.29)
2.3. IMERS

onde C
1
> 0 e uma constante independente de , x, y e com
=
0
se
0
< 1 e 0 < < 1 se
0
= 1, (2.3.30)
0
denido por (2.3.28).
Por outro lado, seja T(R
n
), x R
n
e U
r
um paraleleppedo do R
n
, nas condi coes
do Lema 2.3.2, de volume igual a um e que contem x. Entao do Lema 2.3.3, com [[ k,
resulta:
[D
(x)[
(x)
_
Ur
D
(z)dz
_
Ur
D
(z)dz

C[[D
[[
W
mk,p
(R
n
)
+
__
Ur
[D
(z)[
p
_
1/p
isto e,
[D
(x)[ C
2
[[[[
W
m,p
(R
n
)
, x R
n
, [[ k (2.3.31)
onde C
2
> 0 e uma constante independente de e x.
Seja u W
m,p
(R
n
) entao pelo Teorema 2.2.1, existe uma sucessao (
) de fun coes de
T(R
n
) tal que
u em W
m,p
(R
n
) (2.3.32)
e
u quase sempre em R
n
. (2.3.33)
De (2.3.31) resulta
[D
(x) D
(x)[ C
2
[[
[[
W
m,p
(R
n
)
, x R
n
, [[ k.
Desta expressao, da convergencia (2.3.32) e da desigualdade (2.3.31) escrita com
vem que
(
) e uma sucessao de Cauchy no espa co de Banach C

k
b
(R
n
), portanto existe
v C
k
b
(R
n
) tal que
v em C
k
b
(R
n
). (2.3.34)
56 CAP

As convergencias (2.3.33) e (2.3.34) permitem identicar u com v, mais precisamente, u
depois de uma eventual modica cao num conjunto de medida nula em R
n
, transforma-se em
v. Assim
u em C
k
b
(R
n
). (2.3.35)
Escrevendo (2.3.29) e (2.3.31) com
e tomando o limite em ambas as expressoes, vem das

convergencias (2.3.32) e (2.3.35):
[D
u(x) D
u(y)[ C
1
[[x y[[
[[u[[
W
m,p
(R
n
)
para todo [[ k
com nas condi coes (2.3.30), e
[D
u(x)[ C
2
[[u[[
W
m,p
(R
n
)
, x R
n
, [[ k.
Estas duas ultimas desigualdades e a Observa cao 13 implicam o teorema.
O Teorema 2.3.3 e a Observa cao 13 acarretam:
Corolario 7 Sob as hipoteses do Teorema 2.3.3, tem-se:
W
m,p
(R
n
) C
k
b
(R
n
).
2.3.4 Caso n = 1
Neste caso obtem-se uma melhor regularidade para as fun c oes de W
m,p
(R).
Teorema 2.3.4 Tem-se com m 1:
a) W
m,p
(R) C
m1,
(R) com 0 < 1
1
p
se p > 1
b) W
m,p
(R) C
m1
b
(R) se p = 1
2.3. IMERS

Demonstracao: Seja T(R), y > x e j um inteiro nao negativo. Entao
[
(j)
(x)
(j)
(y)[
_
y
x
[
(j+1)
(t)[ dt =
_
R
[
(j+1)
(t)[
]x,y[
(t) dt (2.3.36)
onde
]x,y[
e a fun cao caracterstica do intervalo aberto ]x, y[ . Seja I um intervalo aberto da
reta de comprimento r e x I. Tem-se:
(j)
(x)
1
r
_
I
(j)
(z) dz
1
r
_
I
[
(j)
(x)
(j)
(z)[ dz
donde, por (2.3.36),
(j)
(x)
1
r
_
I
(j)
(z) dz
1
r
_
I
_
R
[
(j+1)
(t)[ ]x, z[ (t) dtdz. (2.3.37)
Caso a) De (2.3.36) segue
[
(j)
(x)
(j)
(y)[ [[
(j+1)
[[
L
p
(R)
[x y[
1/p
_
1
p
+
1
p
= 1
_
isto e,
[
(j)
(x)
(j)
(y)[ [[[[
W
m,p
(R)
[x y[
1
1
p
, j = 0, 1, . . . , m1. (2.3.38)
De (2.3.37) resulta
(j)
(x)
1
r
_
I
(j)
(z)dz
1
r
_
I
[[
(j+1)
[[
L
p
(R)
[x z[
1/p
dz
isto e,
(j)
(x)
1
r
_
I
(j)
(z)dz
r
1
1
p
[[
(j+1)
[[
L
p
(R)
.
Seja x R e I um intervalo aberto da reta de comprimento um e que contenha x. Da ultima
desigualdade resulta
[
(j)
(x)[
(j)
(x)
_
I
(j)
(z) dz
_
I
(j)
(z) dz

[[
(j+1)
[[
L
p
(R)
+[[
(j)
[[
L
p
(R)
58 CAP

isto e,
[
(j)
(x)[ [[[[
W
m,p
(R)
, x R, j = 0, 1, . . . , m1. (2.3.39)
A seguir, de posse das estimativas (2.3.38) e (2.3.39), procede-se como na demonstra cao do
Teorema 2.3.3.
Caso b) De (2.3.37) vem
(j)
(x)
1
r
_
I
(j)
(z) dz
[[
(j+1)
[[
L
1
(R)
.
Conseq uentemente considerando I de comprimento um e contendo x, resulta
[
(j)
(x)[
(j)
(x)
_
I
(j)
(z) dz
_
I
(j)
(z) dz

[[
(j+1)
[[
L
1
(R)
+[[
(j)
[[
L
1
(R)
isto e,
[
(j)
(x)[ [[[[
W
m,1
(R)
, x R, j = 0, 1, . . . , m1.
A demonstra cao prossegue como no Caso a).
2.3.5 Caso p =
1,
(R
n
) esta imerso continuamente no espa co das fun coes
Lipschitzianas e limitadas de R
n
com n 1, mais precisamente:
Teorema 2.3.5 Tem-se, para n 1 e m 1:
W
m,
(R
n
) C
m1,1
(R
n
).
Demonstracao: Mostra-se primeiro que se u W
m,
(R
n
) entao u C
m1
(R
n
) e vale a
desigualdade
[D
u(x) D
u(y)[ C[[x y[[ [[u[[

W
m,
(R
n
)
, x, y R
n
e [[ m1 (2.3.40)
2.3. IMERS

onde C > 0 e uma constante independente de u. Mostra-se este resultado por indu cao com
rela cao a m 1. Seja entao m = 1 e considere u W
1,
(R
n
). De incio analisa-se o caso
n 2. O caso n = 1 seguira de forma analoga. Seja T(R
n
) tal que
(x) = 1 para [[x[[ 1, (x) = 0 para [[x[[ 2 e 0 1.
Considere
(x) = (x/) para inteiro positivo. Entao
(x) = 1 para [[x[[ 1 e
(x) = 0 para [[x[[ 2.

Seja p > n entao 0 < 1
n
p
=
0
< 1. Tem-se que
u W
1,p
(R
n
), para todo , portanto,
pelo Teorema 2.3.3, resulta que
u C
0,
0
(R
n
), para todo . Disto vem que u e contnua
em R
n
. Observe-se tambem que e valida a desigualdade
u)(x
0
)
1
r
n
_
Ur
(
u)(z) dz
0
r
0
n
i=1
[[D
i
(
u)[[
L
p
(R
n
)
(2.3.41)
onde x
0
e um ponto qualquer do paraleleppedo U
r
. Este resultado e obtido quando se
considera a desigualdade do Lema 2.3.2 com
, (
) sucessao de fun coes testes em R

n
com
u em W
1,p
(R
n
), e toma-se o limite nesta desigualdade.
Sejam x, y R
n
, x ,= y, um inteiro nao negativo tal que [[x[[ , [[y[[ , e
r = 2[[x y[[. Entao por (2.3.41) resulta
[u(x) u(y)[ = [(
u)(x) (
u)(y)[
2
0
(2[[x y[[)
0
n
i=1
[[D
i
(
u)[[
L
p
(R
n
)
isto e,
[u(x) u(y)[
2
1+
0
0
[[x y[[
0
n
i=1
[[D
i
(
u)[[
L
p
(R
n
)
_
0
= 1
n
p
_
. (2.3.42)
Tem-se:
_
R
n
[D
i
(
u)[
p
dx
2
p
p
_
||x||<2
[D
i
(x/)[
p
[u(x)[
p
dx + 2
p
_
||x||<2
[
(x)[
p
[D
i
u(x)[
p
dx
60 CAP

onde B
2
(0) = x R
n
; [[x[[ < 2, que implica
[[D
i
(
u)[[
L
p
(R
n
)
2[ max
xR
n [D
i
(x)[][[u[[
L
p
(B
2
(0))
+ 2[[D
i
u[[
L
p
(B
2
(0))

C()[[u[[
L
p
(B
2
(0))
+ 2[[D
i
u[[
L
p
(B
2
(0))
Substituindo esta desigualdade em (2.3.42) resulta
[u(x) u(y)[
2
1+
0
0
[[x y[[
0
_
nC()[[u[[
L
p
(B
2
(0))
+ 2
n
i=1
[[D
i
u[[
L
p
(B
2
(0))
_
. (2.3.43)
Observe que se v L
(B
2
(0)) entao
_
_
B
2
(0)
[v[
p
dx
_
1/p
[[v[[
L
(B
2
(0))
(vol B
2
(0))
1/p
que implica
limsup
p
[[v[[
L
p
(B
2
(0))
[[v[[
L
(B
2
(0))
.
Tomando o limite superior em p na desigualdade (2.3.43) e levando em considera cao esta
ultima observa cao, obtem-se
[u(x) u(y)[ 4[[x y[[
_
nC()[[u[[
L
(B
2
(0))
+ 2
n
i=1
[[D
i
u[[
L
(B
2
(0))
_
que implica
[u(x) u(y)[ C[[x y[[ [[u[[
W
1,
(R
n
)
que mostra a desigualdade (2.3.40) para m1.
Para o caso n = 1, tem-se a desigualdade
[u(x) u(y)[ [(
u(x) (
u)(y)[ [x y[
0
_
_
_
_
d
dx
(
u)
_
_
_
_
L
p
(R)
_
0
= 1
1
p
_
a qual vem de (2.3.38). A demonstra cao de (2.3.40) prossegue entao como no caso n 2.
Suponha que a desigualdade (2.3.40) e valida para m 1. Considere m + 1 e
u W
m+1,
(R
n
). Seja p > n entao m < (m + 1)
n
p
< m + 1. Pelo Teorema 2.3.3 e
por analogo raciocnio ao feito acima vem que u C
m+1
(R
n
). Seja [[ m. Considere um
2.4. PROLONGAMENTO 61
multi-ndice tal que [[ = [[ 1 e D
D
i
u = D
u. Como D
i
u W
m,
(R
n
) e [[ m1
vem da hipotese de indu cao que
[D
(D
i
u)(x) D
(D
i
u)(y)[ C[[x y[[ [[D
i
u[[
W
m,
(R
n
)
isto e,
[D
u(x) D
u(y)[ C[[x y[[ [[u[[

W
m+1,
(R
n
)
, x, y R
n
que mostra (2.3.40) para m + 1.
Da desigualdade (2.3.40) e notando que [[u[[
C
m1
b
(R
n
)
[[u[[
W
m,
(R
n
)
segue o teorema.
2.4 Prolongamento
Seja um aberto de R
n
. Neste paragrafo estuda-se o prolongamento ao R
n
das fun coes
u denidas em , tudo no contexto dos espa cos de Sobolev, mais precisamente, determina-se
um operador linear e contnuo
P: W
m,p
() W
m,p
(R
n
) tal que Pu[
= u em .
Na Se cao 2.4.1 analiza-se o prolongamento para o caso em que e o semi-espa co R
n
+
e na Se cao 2.4.2, para o caso aberto-limitado de classe C
m
.
Por T() representa-se a restri cao a das fun coes de T(R
n
) e por C
m
0
() a restri cao
a das fun coes de C
m
(R
n
) que possuem suporte compacto.
2.4.1 Caso = R
n
+
Denota-se por R
n
+
ao semi espa co
R
n
+
= x R
n
; x
n
> 0.
Faz-se x = (x
1
, x
2
, . . . , x
n
) e x
= (x
1
, x
2
, . . . , x
n1
) R
n1
. Representa-se um vetor x do R
n
como sendo x = (x
, x
n
),
62 CAP

A seguir dar-se-a um resultado de densidade que e central no desenvolver das ideias
deste paragrafo.
Proposicao 2.4.1 T(R
n
+
) e denso em W
m,p
(R
n
+
), sendo 1 p < .
Demonstracao: Primeira Etapa - Aproxima cao por fun coes com suporte limitado.
Seja uma fun cao teste no R
n
tal que (x) = 1 se [[x[[ 1, (x) = 0 para [[x[[ 2 e
0 1. Para todo k = 1, 2, . . . considere-se
k
(x) = (x/k), x R
n
. Dada uma fun cao
u em W
m,p
(R
n
+
), seja
u
k
(x) =
k
(x)u(x) para todo x R
n
+
.
Repetindo o mesmo argumento usado no Teorema 2.2.1 da Se cao 2.2.2, conclui-se que a
sucessao (u
k
) converge para u no espa co W
m,p
(R
n
+
). Alem disso,
supp (u
k
) supp (
k
[
R
n
+
) x R
n
; x
n
> 0, [[x[[ 2k
isto e, supp (u
k
) e um conjunto limitado de R
n
+
, para todo k.
Segunda Etapa - Aproxima cao por fun coes de W
m,p
(R
n
).
Seja u W
m,p
(R
n
+
) tal que supp (u) seja um limitado de R
n
+
. Mostrar-se-a que existe uma
sucessao (
) de W
m,p
(R
n
) tal que
[
R
n
+
u em W
m,p
(R
n
+
). Sejam K
1
um compacto de
R
n1
e T > 0 tais que supp (u) K
1
[0, T]. Para todo = 1, 2, . . . sejam:
= x R
n
; x
n
> 1/ = R
n1
] 1/, [
T(R
n
) tal que
= 1 em K
1
[0, T] e supp (
) R
n1
[
1
2
, [
u
(x) = u
_
x
, x
n
+
1
_
para todo x
(x) =
(x)u
(x) para todo x
(x) = v
(x).
Gracamente teria-se
E
R
n1
1
2
K
1
[0, T]
T
x
n
r
r
r
Tem-se as seguintes propriedades:

a) D
(x
, x
n
) = (D
u)(x
, x
n
+
1
) para quase todo (x
, x
n
)
e para todo [[ m.
De fato, se T(
) seja (x) = (x
, x
n

1
) para x R
n
+
, entao e uma fun cao
teste em R
n
+
e
D
, ) = (1)
||
_
u(x
, x
n
+
1
)(D
)(x
, x
n
)dx
dx
n
=
= (fazendo y
n
= x
n
+
1
)(1)
||
_
R
n
+
u(x)D
(x) dx =
=
_
R
n
+
D
u(x)(x) dx =
_
(D
u)(x
, x
n
+
1
)(x) dx.
b) u
[
R
n
+
u em W
m,p
(R
n
+
).
Observe que se k
= (0, 0, . . . , 0,
1
) entao (
k
u)(x
, x
n
) = u(x
, x
n
+
1
) = u
(x
, x
n
),
isto e,
k
u = u
. Tem-se:
[[u
u[[
L
p
(R
n
+
)
[[
k
u u[[
L
p
(R
n
)
e sendo a transla cao contnua, resulta:
lim
[[u
u[[
L
p
(R
n
+
)
= 0.
64 CAP

De forma analoga, levando em considera cao a parte a), obtem-se
(
k
u)(x
, x
n
) =

D
u(x
, x
n
+
1
) =

D
(x
, x
n
)
isto e,
k
u =

D
, para todo [[ m. Por um raciocnio analogo ao feito acima

segue entao que
[[D
u[[
L
p
(R
n
)
0, [[ m
o que mostra a parte b).
c)
W
m,p
(R
n
) e
[ R
n
+
u em W
m,p
(R
n
).
De fato, sendo supp (u
) K
1
]
1
, T
1
[ e supp (
) x R
n
; x
n

1
2
tem-se
supp (v
) K
1
[
1
2
, T
1
] o que demonstra que supp (v
) e um compacto de
.
Alem disso, da parte a) decorre que v
W
m,p
(
), que implica
= v
W
m,p
(R
n
).
Sendo
[
R
n
+
= v
[
R
n
+
= u
[
R
n
+
, por ser
= 1 em K
1
[0, T], tem-se que
[
R
n
+
u
em W
m,p
(R
n
+
).
Sejam u W
m,p
(R
n
+
) e > 0. Da primeira etapa resulta a existencia de u
1
em
W
m,p
(R
n
+
) tal que [[u u
1
[[
m,p
<

3
e u
1
e de suporte limitado. Da segunda etapa,
obtem-se a existencia de u
2
W
m,p
(R
n
) tal que [[(u
2
[
R
n
+
)u
1
[[
m,p
< /3. Sendo T(R
n
)
denso em W
m,p
(R
n
), existe em T(R
n
) tal que [[ u
2
[[
m,p
< /3. Considerando
= [
R
n
+
em T(R
n
+
) e da desigualdade do triangulo decorre que [[u[[
m,p
< , o que
demonstra ser T(R
n
+
) denso em W
m,p
(R
n
+
).
Teorema 2.4.1 Seja 1 p < . Entao existe um operador de prolongamento
P: W
m,p
(R
n
+
) W
m,p
(R
n
)
linear tal que
[[Pu[[
W
m,p
(R
n
)
C[[u[[
W
m,p
(R
n
+
)
onde C e uma constante que depende apenas de m, e
Pu[
R
n
+
= u quase sempre em R
n
+
, u W
m,p
(R
n
+
).
Demonstracao: Na demonstra cao do teorema sera empregado o resultado que segue enun-
ciado sob forma de lema.
Lema 2.4.1 Seja u contnua em R
n
tal que a derivada classica
u
x
n
existe em R
n
+
e R
n
=
x R
n
; x
n
< 0 e
u
x
n
L
1
loc
(R
n
). Entao
x
n
T
u
= T u
xn
em T
(R
n
).
A demonstra cao do lema segue por integra cao por partes.
Seja v T(R
n
+
) e
(Pv)(x) =
_
_
v(x) se x
n
> 0
m
=1
c
v(x
, x
n
) se x
n
< 0
Dado = (
, k) em N
n
, com
em N
n1
e k em N, obtem-se:
D
(Pv) = P(D
v) quando k = 0.
Fazendo D
n
=

x
n
, vem:
D
k
n
(Pv)(x) =
_
_
(D
k
n
v)(x), x
n
> 0
m
=1
()
k
c
(D
k
n
v)(x
, x
n
), x
n
< 0.
66 CAP

Escolhendo os coecientes c
1
, c
2
, . . . , c
m
tais que
m
=1
()
k
c
= 1, k = 0, 1, . . . , m 1,
as fun coes D
k
n
(Pv) satisfazem as condi coes do Lema 2.4.1, logo D
k
n
(Pv) L
p
(R
n
) para
k = 1, 2, . . . , m, pois v T(R
n
+
). Observe que os coecientes c
1
, c
2
, . . . , c
m
sao as solu coes
do sistema de equa coes AC = 1 onde A e a matriz
A =
_
_
1 1 1 . . . 1
(1) (2) (3) . . . (m)
(1)
2
(2)
2
(3)
2
. . . (m)
2
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
(1)
m1
(2)
m1
(3)
m1
. . . (m)
m1
_
_
C = (c
1
, c
2
, . . . , c
m
)
e 1 = (1, 1, . . . , 1)
( = transposta). Este sistema possui solu cao

unica C pois det A e um determinante de Vandermonde. Como e conhecido o determinante
de Vandermonde
V (y
1
, y
2
, . . . , y
m
) =
1 1 1 . . . 1
y
1
y
2
y
3
. . . y
m
y
2
1
y
2
2
y
2
3
. . . y
2
m
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
y
m1
1
y
m1
2
y
m1
3
. . . y
m1
m
, y
1
, y
2
, . . . , y
m
R,
e igual a
i,j=1
i<j
(y
j
y
i
).
No caso geral = (
, k) com k +[
[ m, obtem-se
D
Pv = D
k
n
(P(D
v)) L
p
(R
n
)
ja que D
v e um elemento de T(R
n
+
). Resulta entao
_
R
n
[D
(Pv)(x)[
p
dx =
_
R
n
[D
k
n
(P(D
v))(x)[
p
dx =
=
_
R
n
+
[D
v(x)[
p
dx +
_
R
n
=1
()
k
c
D
k
n
D
v(x
, x
n
)
p
dx
dx
n
.
Notando que
_
1
m
m
=1
a
_
p
1
m
m
=1
a
p
, a
0, segue-se que
_
R
n
=1
()
k
c
D
k
n
D
v(x
, x
n
)
p
dx
dx
m
p1
m
=1
mp
[c
[
p
_
R
n1
_
0
[D
v(x
, x
n
)[
p
dx
dx
n

m
p1
m
=1
mp1
[c
[
p
_
R
n
+
[D
v(x)[
p
dx.
Combinando os dois ultimos calculos resulta
_
R
n
[D
(Pv)(x)[
p
dx
_
1 + m
p1
m
=1
mp1
[c
[
p
_
_
R
n
+
[D
v(x)[
p
dx
que acarreta
||m
_
R
n
[D
(Pv)(x)[
p
dx
_
1 +m
p
m
=1
mp
[c
[
p
_

||m
_
R
n
+
[D
v(x)[
p
dx.
Portanto
[[Pv[[
W
m,p
(R
n
)

_
1 +m
m
=1
m
[c
[
_
[[v[[
W
m,p
(R
n
+
)
, v T(R
n
+
).
Da Proposi cao 2.4.1 decorre entao que P estende-se a uma aplica cao linear contnua
P: W
m,p
(R
n
+
) W
m,p
(R
n
)
com P vericando
[[Pu[[
W
m,p
(R
n
)
C[[u[[
W
m,p
(R
n
+
)
com C = 1 +m
m
=1
m
[c
[. Resta apenas mostrar que P e um prolongamento.

Seja u em W
m,p
(R
n
+
) e seja (
) uma sucessao de fun coes de T(R

n
+
) tal que
u
em W
m,p
(R
n
+
), entao P
Pu em W
m,p
(R
n
), logo
(P
)[
R
n
+
(Pu)[
R
n
+
em W
m,p
(R
n
+
).
Da deni cao de P resulta que P
[
R
n
+
=
, portanto Pu[
R
n
+
= u, o que demonstra o
teorema.
68 CAP

Observacao 16 Sejam v T(R
n
+
) e K
1
compacto de R
n1
, T > 0 tal que sup (v[
R
n
+
)
K
1
[0, T]. Note que Pv(x
, x
n
) = 0 se x
n
< 0 e (x
, x
n
) K
1
[0, T]. Resulta disto que
supp Pv esta contido em K
1
[T, T].
2.4.2 Caso Aberto Limitado
Inicialmente xa-se algumas nota coes. Sejam Q o retangulo aberto
Q = y R
n
; 0 < y
i
< 1, i = 1, 2, . . . , n 1, 1 < y
n
< 1,
Q
+
e Q
os quadrados abertos
Q
+
= Q y
n
> 0, Q
= Q y
1
< 0,
e o segmento aberto Q y
n
= 0.
Seja um subconjunto aberto do R
n
. Diz-se que e de classe C
m
(m = 1, 2, . . .) se
sua fronteira e uma variedade de classe C
m
de dimensao n 1 e estando localmente de
um mesmo lado de . Se e de classe C
m
entao existe um sistema de cartas locais (U
j
,
j
),
j = 1, 2, . . . denindo tal que
U
j
e um aberto limitado do R
n
e os U
j
cobrem
j
: U
j
Q e uma bije cao de classe C
m
1
j
: Q U
j
e de classe C
m
j
(U
j
) = Q
+
,
j
(U
j
) =
Decorre da ultima expressao que
j
(U
j
() = Q
. Evidentemente as condi coes de compa-

tibilidade sao satisfeitas, isto e, se U
i
U
j
,= entao existe um homeomorsmo J
ij
de classe
C
m
com jacobiano positivo de
i
(U
i
U
j
) sobre
j
(U
i
U
j
) tal que
j
(x) = J
ij
(
i
(x)), para todo x U
i
U
j
.
Gracamente teria-se
x
r
U

j
T
E
R
n1
Q
+
Q
y
n
Nao sao de classe C
1
os seguintes abertos
T
E
x
1
x
2
&%
'$
r
x
0
T
E
x
1
x
2
&%
'$
r
M
N
No primeiro exemplo e o disco aberto menos o centro x
0
e no segundo, e o disco
aberto menos o raio MN. Claramente R
n
+
e um aberto de classe C
m
para todo m 1.
Se e um aberto limitado do R
n
de classe C
m
podemos escolher um sistema de cartas
locais nito
(U
1
,
1
), . . . , (U
N
,
N
)
denindo que satisfazem as condi coes acima.
O aberto do R
n
e denominado bem regular se e de classe C
m
para todo
m = 1, 2, . . .
A seguir xa-se um aberto limitado do R
n
, de classe C
m
, e denota-se por sua
fronteira. Mostrar-se-a que existe um operador de prolongamento P: W
m,p
() W
m,p
(R
n
).
Este resultado e obtido observando-se, por meio de cartas locais, que localmente as fun coes
70 CAP

denidas em , perto da fronteira comportam-se como se estivessem denidas em Q
+
.
Existindo um operador de prolongamento P: W
m,p
(R
n
+
) W
m,p
(R
n
), o prolongamento a
R
n
+
das fun coes denidas em Q
+
dara o resultado.
Antes de enunciar o teorema central desta se cao, introduz-se certas nota coes e demons-
tra-se alguns resultados previos. Com efeito, primeiro constroi-se um sistema nito
(U
j
,
j
)
1jN
de cartas locais para . Considerar que o sistema seja nito e possvel
pois e compacto em R
n
. De posse destas cartas locais, determina-se, aplicando-se o Teo-
rema da Parti cao C
da Unidade à cobertura U
j
do aberto
_
N
_
j=1
U
j
_
, uma cole cao
de fun coes
0
,
1
, . . . ,
N
tais que
j
T(R
N
)
supp (
0
) , supp
j
U
j
0
j
1
N
j=0
j
(x) = 1, x .
Seja u W
m,p
() entao u = u
0
+
N
j=1
u
j
. Observe que w
0
= u
0
tem o prolongamento
natural a R
n
por zero fora de . A diculdade esta com os w
j
= u
j
. Seja U
+
j
= U
j
e
v
j
(y) = w
j
(
1
j
(y)), y Q
+
.
Claramente, w
j
W
m,p
(U
+
j
). Tem-se o seguinte resultado:
Lema 2.4.2 Seja u W
m,p
() e v
j
, w
j
denidos como acima, entao v
j
W
m,p
(Q
+
) e
existe uma constante C
0
= C
0
(
j
,
j
, m, n) > 0 independente de u e p tal que
[[v
j
[[
W
m,p
(Q
+
)
C
0
[[w
j
[[
W
m,p
(U
+
j
)
.
Demonstracao: Para facilitar a escrita nao escrever-se-a o ndice j. Seja y = (x) e
(y) =
1
(y) = (
1
(y),
2
(y), . . . ,
n
(y)) = (x
1
, x
2
, . . . , x
n
).
Note que v((x)) = w(x) e [ det(J(x))[ = A(x) > 0, para todo x U. Tem-se:
_
Q
+
[v(y)[
p
dy =
_
U
+
[v((x))[
p
A(x)dx =
_
supp w
[w(x)[
p
A(x)dx
( max
xsupp
A(x))
_
U
+
[w(x)[
p
dx.
Tambem
v
y
i
(y) =
m
k=1
w
x
k
((y))

k
y
i
(y),
_
Q
+
v
y
i
(y)
p
dy n
p1
n
k=1
_
U
+
w
k
x
k
(x)
k
y
i
((x))
p
A(x)dx
n
p1
_
max
1kn
max
xsupp
k
y
i
((x))
p _
( max
xsupp
A(x))
m
k=1
_
U
+
w
x
k
p
dx.
Da mesma forma:
2
v
y
i
y
(y) =
k
_
2
w
x
k
x
r
((y))
r
y
(y)
_
k
y
i
(y) +
+
k
w
x
k
(y)

2
k
y
i
y
(y)
e por um procedimento analogo ao anterior, obtem-se
_
Q
+
2
v
y
i
y
(y)
p
dy n
2(p1)
C
i,
(
j
,
j
)
k,r
_
_
_
_
2
w
x
k
x
r
_
_
_
_
p
L
p
(U
+
)
+
+n
2(p1)
C
i,
(
j
,
j
)
k
_
_
_
_
w
x
k
_
_
_
_
p
L
p
(U
+
)
.
Repetindo os mesmos argumentos obtem-se desigualdades do mesmo tipo para as outras
derivadas parciais de v. Assim o lema esta demonstrado.
Seja W o espa co das fun coes g W
m,p
(Q
+
) tais que todas elas se anulam numa
vizinhan ca xa O de Q
+
. Dene-se h(x) = g(
j
(x)) entao tem-se o seguinte resultado:
Lema 2.4.3 Nas condicoes acima, h W
m,p
(U
+
j
) e existe uma constante C
1
= C
1
(O,
j
, m, n),
independente de g W e p, tal que
[[h[[
W
m,p
(U
+
j
)
C
1
[[g[[
W
m,p
(Q
+
)
.
72 CAP

Demonstracao: Seja x = (y) entao [ det(J(y))[ = B(y) > 0, para todo y Q. Tem-se:
_
U
+
j
[h(x)[
p
dx =
_
supp g
[g(y)[B(y) dy ( sup
yQ
+
\O
B(y))
_
Q
+
[g(y)[
p
dy.
Procedendo como no Lema 2.4.2, obtem-se os resultados desejados.
Se em lugar de Q
+
, considera-se Q e xa-se uma vizinhan ca O de Q, obtem-se, de
forma analoga ao Lema 2.4.3, o seguinte resultado:
Lema 2.4.4 Nas condicoes acima, h W
m,p
(U
j
) e existe uma constante C
2
= C
2
(O,
j
, m, n) >
0, independente de g W e p, tal que
[[h[[
W
m,p
(U
j
)
C
2
[[g[[
W
m,p
(Q)
.
Aplicando os tres ultimos lemas, obtem-se para resultados analogos aos obtidos
para R
n
+
. Com efeito:
Proposicao 2.4.2 Seja limitado de R
n
e de classe C
m
entao T() e denso em W
m,p
()
sendo 1 p < .
Demonstracao: Seja u W
m,p
() entao por cartas locais u = u
0
+
N
j=1
u
j
. Seja
w
j
= u
j
, j = 0, 1, . . . , N. Note que w
0
W
m,p
0
(). Com w
j
W
m,p
(U
+
j
) constroi-se
v
j
W
m,p
(Q
+
). Observe que v
j
anula-se numa vizinhan ca de Q
+
, entao pode-se con-
siderar v
j
como pertencendo a W
m,p
(R
n
+
). Pela se cao anterior existe uma sucessao (
) de
fun coes de T(R
n
+
) tal que
v
j
em W
m,p
(R
n
+
).
Seja T(Q) tal que = 1 no suporte de v
j
entao
v
j
= v
j
em W
m,p
(R
n
+
).
Observe que cada
se anula numa vizinhan ca xa de Q. Seja
(x) =
((x)) entao
os
restritos a formam uma sucessao de C

m
0
(), e pelo Lema 2.4.4, segue que
w
j
em W
m,p
().
Seja > 0 e
j
C
m
0
() tal que [[
j
w
j
[[ W
m,p
() <

N
, j = 0, 1, . . . , N entao
_
_
_
_
_
u
N
j=1
j
_
_
_
_
_
W
m,p
()
j=1
[[w
j

j
[[
W
m,p
()
<
que mostra a densidade de C
m
0
() em W
m,p
(). Regularizando as fun coes de C
m
0
()
(ver Teorema 2.2.1) segue que T() e denso em W
m,p
().
Teorema 2.4.2 Seja aberto limitado do R
n
, de classe C
m
, e 1 p < . Entao existe
um operador de prolongamento
P: W
m,p
() W
m,p
(R
n
) linear
tal que
[[Pu[[
W
m,p
(R
n
)
c[[u[[
W
m,p
()
onde c e uma constante independente de u W
m,p
() e p, e
Pu[
= u quase sempre em .
Demonstracao: Seja u T() entao por cartas locais u = u
0
+
N
j=1
u
j
. Com w
j
= u
j
constroi-se v
j
que se anula numa vizinhan ca de Q
+
. Tem-se que v
j
W
m,p
(R
n
+
) e
pelo Teorema 2.4.1, da se cao anterior, Pv
j
W
m,p
(R
n
). Pela propria constru cao de P
(ver Observa cao 16), note-se que Pv
j
tem suporte compacto em Q. Com Pv
j
constroi-se
h
j
W
m,p
(U
j
) que se anula numa vizinhan ca de U
j
e h
j
restrito a U
+
j
e igual a w
j
.
74 CAP

Denotando-se com

h
j
o prolongamento de h
j
ao R
n
por zero fora de U
j
, tem-se, entao, dos
tres ultimos lemas e do Teorema 2.4.1, que
[[
h
j
[[
W
m,p
(R
n
)
= [[h
j
[[
W
m,p
(U
i
)
C
1
[[Pv
j
[[
W
m,p
(Q)

C
2
[[v
j
[[
W
m,p
(Q
+
)
C
3
[[w
j
[[
W
m,p
(U
+
i
)
= C
3
[[w
j
[[
W
m,p
()
onde as diferentes constantes C
i
sao independentes de u e p. Seja P
j
w
j
=

h
j
entao P
j
e
linear e contnuo. Dene-se o operador de prolongamento P como sendo
Pu = w
0
+
N
j=1
P
j
w
j
.
Tem-se:
[[Pu[[
W
m,p
(R
n
)
[[w
0
[[
W
m,p
()
+
N
j=1
C[[w
j
[[
W
m,p
()
C[[u[[
W
m,p
()
sendo a constante C e independente de u e p. O teorema segue pelo resultado de densidade
da Proposi cao 2.4.2.
Sejam S
n1
= R
n
; [[[[ = 1 e
0
S
n1
, > 0. Denota-se por C(
0
, ) ao
cone
C(
0
, ) = t; 0 < t < e [[
0
[[ < , S
n1
.
Seja aberto limitado do R
n
. Diz-se que possui a propriedade do cone se existe uma
cobertura (U
i
)
1iN
da fronteira de vericando:
para cada U
i
existe um cone C(
0i
,
i
) tal que para todo
x U
i
, x + C(
0i
,
i
) nao intersepta U
i
.
Mostra-se (ver [8] e [17]) que os abertos limitados do R
n
com a propriedade do cone
possuem a propriedade do (m, p)-prolongamento para todo m 1 e 1 < p < . Este e
um resultado devido a A.P. Calderon e baseado em propriedades de integrais singulares de
Calderon-Zygmund. Observe que os paraleleppedos abertos do R
n
tem a propriedade do
cone. A desvantagem do operador de prolongamento de Calderon e de que este e construdo
especialmente para W
m,p
() e nao serve para prolongar simultaneamente os espa cos W
k,p
()
2.5. IMERS
OES DOS ESPAC OS W

M,P
() 75
com 0 < k < m, como e o caso do operador P estudado anteriormente. Esta propriedade de
P e importante na obten cao de desigualdades de intepola cao para os espa cos W
m,p
().
2.5 Imersoes dos Espacos W
m,p
()
Os teoremas de imersao de W
m,p
(R
n
) e o operador de prolongamento P: W
m,p
()
W
m,p
(R
n
) introduzido no Paragrafo 2.4, permitem obter resultados de imersao para os
espa cos W
m,p
().
Neste paragrafo estudar-se-a as imersoes contnuas e as imersoes compactas do espa co
W
m,p
() com limitado do R
n
.
2.5.1 Imersoes Contnuas
Denota-se por C
k,
() ao espa co de Banach das restri coes a das fun coes pertencentes
a C
k,
(R
n
) (ver Paragrafo 2.3), equipado com a norma induzida, isto e,
[[u[[
C
k,
()
= max
||k
sup
x
[D
u(x)[ + max
||k
sup
x,y
x=y
[D
u(x) D
u(y)[
[[x y[[

Teorema 2.5.1 Sejam um subconjunto limitado do R
n
, (n 2), de classe C
m
e
1 p < , entao
a) W
m,p
() L
q
(), 1 q
np
n mp
= p
se mp < n
b) W
m,p
() L
q
(), 1 q < e mp = n
c) W
m,p
() C
k,
() se mp > n.
No caso c), k e um inteiro vericando k < m
n
p
k + 1 e um real satisfazendo
0 < mk
n
p
=
0
se
0
< 1 e 0 < < 1 se
0
= 1.
76 CAP

Demonstracao: a) O Corolario 5 diz que W
m,p
(R
n
)
I
L
q
(R
n
) e contnua para p q p
.
Tem-se a seguinte cadeia de aplica coes lineares contnuas:
W
m,p
()
P
W
m,p
(R
n
)
I
L
q
(R
n
)
r
L
q
()
que mostra a) para p q p
. O caso 1 q p e obtido pelo fato de ter-se L

p
() L
q
()
pois e limitado.
Os casos b) e c) sao obtidos aplicando o raciocnio acima, o Teorema 2.3.2 e o Teorema
2.3.3, respectivamente.
Teorema 2.5.2 Seja I um intervalo aberto nito da reta e 1 p < . Entao
a) W
m,p
(I) C
m1,
(I) com 0 < 1
1
p
se p > 1
b) W
m,p
(I) C
m1
(I) se p = 1.
Este resultado e obtido aplicando o Teorema 2.3.4 e a demonstra cao do Teorema 2.5.1.
n
(n 1), de classe C
m
. Entao
W
m,
() C
m1,1
().
Demonstracao: Faz-se a demonstra cao por indu cao com rela cao a m. Seja entao m = 1.
Por ser limitado W
1,
() W
1,p
(), 1 p . O Teorema 2.4.2 diz que
[[Pu[[
W
1,p
(R
n
)
C[[u[[
W
1,p
()
(2.5.44)
onde C e uma constante independente de u W
1,p
() e 1 p < . Considere p > n. Entao
pelo Teorema 2.5.1, parte c), vem que W
1,p
() C
0
(), isto e, as fun coes u de W
1,
()
sao fun coes contnuas em . Aplicando os mesmos argumentos usados para obter (2.3.42),
na demonstra cao do Teorema 2.3.5, resulta para x, y , x ,= y,
[u(x) u(y)[ = [(Pu)(x) (Pu)(y)[
2
1+
0
0
[[x y[[
0
n
i=1
[[D
i
(Pu)[[
L
p
(R
n
)
2.5. IMERS
OES DOS ESPAC OS W

M,P
() 77
onde
0
= 1
n
p
(Para o caso n = 1, obtem-se desigualdade semelhante, ver demonstra cao
do Teorema 2.3.4). Isto implica
[u(x) u(y)[
2
1+
0
0
[[x y[[
0
n[[Pu[[
W
1,p
(R
n
)
.
Tomando o limite superior quando p , resulta entao
[u(x) u(y)[ 4[[x y[[nlimsup
p
[[Pu[[
W
1,p
(R
n
)
. (2.5.45)
Observando que limsup
p
[[u[[
W
1,p
()
[[u[[
W
1,
()
, vem entao de (2.5.44) e (2.5.45)
[u(x) u(y)[ 4nC[[x y[[ [[u[[
W
1,
()
, x, y
que mostra o teorema para m = 1.
Suponha o teorema valido para m 1. Considere m + 1. Seja p > n entao
m < (m+1)
n
p
< m+1. Isto implica pelo Teorema 2.5.1, parte c), que W
m,p
() C
m
().
Seja [[ m. Considere um multi-ndice tal que [[ = [[ 1 e D
D
i
u = D
u. Como
D
i
u W
m,
() vem da hipotese de inducao que
[D
(D
i
u)(x) D
(D
i
u)(y)[ C[[x y[[ [[D
i
u[[
W
m,
()
para x, y , portanto
[D
u(x) D
u(y)[ C[[x y[[ [[u[[

W
m+1,
()
para todo x, y e todo [[ m. Assim o teorema esta provado.
Corolario 8 Seja um aberto limitado do R
n
sem condicoes de regularidade na fronteira.
Entao
W
m,
0
() C
m1,1
().
Este resultado e obtido aplicando o raciocnio usado na demonstra cao do Teorema 2.5.3 com
Pu = u onde u e a extensao de u ao R
n
por zero fora de .
78 CAP

2.5.2 Imersoes Compactas
O resultado central desta se cao e o Teorema de Rellich-Kondrachov. Para demonstra-
lo, primeiro prova-se o seguinte resultado:
Lema 2.5.1 Se u W
1,1
() entao
[[
h
u u[[
L
1
(R
n
)
[[h[[
n
i=1
_
_
_
_
u
x
i
_
_
_
_
L
1
(R
n
)
onde (
h
u)(x) = u(x h).
Demonstracao: Mostra-se o resultado, inicialmente, para fun coes T(R
n
). Tem-se:
(x h) (x) =
_
1
0
d
dt
(x th) dt =
_
1
0
_
n
i=1
x
i
(x th)(h
i
)
_
dt
que implica
[(
h
)(x) (x)[ [[h[[
n
i=1
_
1
0
x
i
(x th)
dt
e isto acarreta,
_
R
n
[
h
(x) (x)[ dx = [[h[[
n
i=1
_
1
0
_
R
n
x
i
(x th)
dxdt =
= [[h[[
n
i=1
_
R
n
x
i
(x)
dx
isto e,
[[
h
[[
L
1
(R
n
)
[[h[[
n
i=1
_
_
_
_
x
i
_
_
_
_
L
1
(R
n
)
. (2.5.46)
Seja u W
1,1
(R
n
), entao existe uma sucessao (
) de fun coes de T(R

n
) tal que
u em W
1,1
(R
n
)
u quase sempre em R
n
[
(x)[ g(x) quase sempre em R

n
, g L
1
(R
n
)
Escrevendo (2.5.46) com
, tomando o limite a ambos os membros desta desigualdade e

aplicando o Teorema da Convergencia Dominada de Lebesgue no primeiro membro, obtem-se
o lema.
2.5. IMERS
OES DOS ESPAC OS W

M,P
() 79
Observacao 17 Seja aberto limitado do R
n
. Entao, dado > 0, existe K compacto de
tal que mes (K) < (ver Observacao 1 do Captulo 1).
Com efeito, seja K
o compacto de denido por K
= x ; dist(x, )
1
. Tem-se:
K
1
K
2
. . . ,
_
=1
K
= .
Portanto,
e lim
K
(x) =
(x), x
onde
O
e a fun cao caracterstica do conjunto O. Resulta, entao, pelo Teorema da Con-
vergencia Dominada de Lebesgue que
lim(mes K
) = lim
_
K
(x) dx =
_
(x) dx = mes
que mostra a observa cao.
Teorema 2.5.4 (Rellich-Kondrachov) Sejam um aberto limitado do R
n
, de classe
C
1
e 1 p . Entao as seguintes imersoes sao compactas:
a) W
1,p
() L
q
(), 1 q <
np
n p
= p
se p < n
b) W
1,p
() L
q
(), 1 q < se p = n
c) W
1,p
() C
0
() se p > n
Demonstracao: Estudar-se-a primeiro o caso a). O Teorema de Frechet-Kolmogorov
(ver K. Yosida [16]) diz que o subconjunto T de L
q
(), 1 q < , e relativamente
compacto em L
q
() se
i) T e limitado.
ii) Para todo > 0, existe um compacto K de tal que
_
\K
[u[
q
dx < , u T.
80 CAP

iii) Para todo
1
> 0, existe > 0 tal que se h R
n
, [[h[[ < , entao
[[
h
u u[[
L
q
(R
n
)
<
1
, u T,
onde u e a extensao de u a R
n
por zero fora de e (
h
u)(x) = u(x h).
Seja B um conjunto limitado de W
1,p
(). Mostrar-se-a que B satisfaz às tres condi coes de
Frechet-Kolmogorov em L
q
() com 1 q < p
.
A condi cao i) segue pelo Teorema 2.5.1, parte a). Estudar-se-a a condi cao ii). Por se
ter 0 < q < p
, existe > 1 tal que

q =
1
+
1
0 onde
1
+
1
= 1.
Tem-se, aplicando a desigualdade de Holder:
_
\K
[u[
q
dx
_
_
\K
[u[
q
_
1/
_
_
\K
dx
_
1/
[[u[[
q
L
p
()
mes(K)
1/
C mes(K)
1/
C
pois mes(K)
1/
pode ser escolhido arbitrariamente pequeno, ver Observa cao 2.5.2. Isto
mostra ii).
Verica-se iii). Seja
1
> 0. Escolha K compacto de tal que
_
_
\K
[u[
q
dx
_
1/q
<
1
/3 , u B. (2.5.47)
Este compacto K existe pela parte ii). Sejam = dist (K, ) e
K
1
= x R
n
; dist (x, K) /3, K
2
= x R
n
; dist(x, K) 2/3
Claramente K
1
e K
2
sao subconjuntos compactos de . Observa-se que se x (K
1
e
[[h[[ /3 entao x h (K. Logo para [[h[[ /3 resulta de (2.5.47)
_
_
CK
1
[ u(x h)[
q
dx
_
1/q
_
_
CK
[ u(x)[
q
dx
_
1/q
=
_
_
\K
[u(x)[
q
dx
_
1/q
<
1
/3
2.5. IMERS
OES DOS ESPAC OS W

M,P
() 81
isto e ,
[[
h
u[[
L
q
(CK
1
)

1
/3, u B, [[h[[ < /3. (2.5.48)
Seja T() tal que = 1 em K
2
, 0 1 e = 1 . Entao 0 1 e
1 = + . Tem-se:
[[
h
u u[[
L
q
(R
n
)
= [[
h
( u + u) ( u + u)[[
L
q
(R
n
)

[[
h
( u) u[[
L
q
(R
n
)
+[[
h
( u)[[
L
q
(R
n
)
+[[ u[[
L
q
(R
n
)
.
(2.5.49)
Mostra-se que cada um dos tres ultimos termos de (2.5.49) e pequeno para [[h[[ pequeno.
Com efeito, de = 0 em K
2
, resulta de (2.5.47):
[[ u[[
L
q
(R
n
)
=
_
_
CK
2
[ u[
q
_
1/q
_
_
CK
2
[ u[
q
_
1/q
_
_
\K
[u[
q
_
1/q
<
1
/3
isto e,
[[ u[[
L
q
(R
n
)
<
1
/3 , u B. (2.5.50)
Tambem, dos fatos se x K
1
entao x h K
2
com [[h[[ < /3 e de = 0 em K
2
, resulta:
[[
h
( u)[[
L
q
(R
n
)
=
_
_
CK
1
[(x h) u(x h)[
q
_
1/q
[[
h
u[[
L
q
(CK
1
)
.
Resulta de (2.5.48) que
[[
h
( u)[[
L
q
(R
n
)
<
1
/3 , u B, [[h[[ < /3. (2.5.51)
Aplicando o Lema 2.5.1 com u = u, obtem-se:
[[
h
( u) u[[
L
1
(R
n
)
[[h[[ [[u[[
W
1,1
(R
n
)
[[h[[ [[u[[
W
1,1
(supp )

[[h[[c(, p)[[u[[
W
1,p
(supp )
C
1
[[h[[
isto e,
[[
h
( u) u[[
L
1
(R
n
)
C
1
[[h[[, u B. (2.5.52)
Seja ]0, 1[ tal que
1
q
= +
1
p
, que existe por se ter 1 q < p
. Pela desigualdade de
interpola cao (Proposi cao 1.2.1 do Captulo 1), obtem-se:
[[
h
( u) u[[
L
q
(R
n
)
[[
h
( u) u[[
L
1
(R
n
)
[[
h
( u) u[[
1
L
p
(R
n
)
. (2.5.53)
82 CAP

Note que
[[
h
( u)[[
L
p
(R
n
)

_
_
R
n
[ u(x h)[
p
_
1/p
= [[u[[
L
p
()
portanto
[[
h
( u) u[[
1
L
p
(R
n
)
(2[[u[[
L
p
()
)
1
C, u B. (2.5.54)
De (2.5.53) e das desigualdades (2.5.52) e (2.5.54), obtem-se
[[
h
( u) u[[
L
q
(R
n
)
C[[h[[
, u B. (2.5.55)
Usando-se as desigualdades (2.5.50), (2.5.51) e (2.5.55) em (2.5.49) resulta
[[
h
u u[[
L
q
(R
n
)
< C
1
, u B, [[h[[ < ,
que mostra a parte iii). Assim B e relativamente compacto em L
q
(). Demonstra cao do
caso b): Aplique o raciocnio usado na demonstra cao do caso a), com, por exemplo, p
= 2q.
Demonstra cao do caso c): Tem-se 0 < 1
n
p
=
0
1. Entao pelo Teorema 2.5.1, parte c),
para n < p < , ou pelo Teorema 2.5.3, para p = , resulta
W
1,p
() C
0,
0
().
1,p
() entao, pela imersao acima vem que B e limitado
em C
0
() e
sup
x,y
x=y
[u(x) u(y)[ C[[x y[[
0
.
Esta desigualdade implica que B e equicontnuo em . Pelo Teorema de Arzela-Ascoli, segue
o caso c) do teorema.
n
, de classe C
m+1
, e 1 p . Entao as
seguintes imersoes sao compactas:
a) W
m+1,p
() W
m,q
(), 1 q <
np
n p
se p < n
2.5. IMERS
OES DOS ESPAC OS W

M,P
() 83
b) W
m+1,p
() W
m,q
(), 1 q < se p = n
c) W
m+1,p
() C
m
() se p > n.
) uma sucessao limitada de fun coes de W

m+1,p
(). Entao
(D
) e limitada em W
1,p
(), [[ m.
Aplicando o Teorema de Rellich-Kondrachov, vem que existe uma subsucessao de (u
), de-
notada tambem por (u
), e u W
m,q
(), para os casos a) e b), tal que
D
u em L
q
(), [[ m
que mostra a) e b). Para o caso c), existe u W
m+1,p
() tal que u
u fraco em
W
m+1,p
(), portanto u C
m
() pois m < m + 1
n
p
m + 1. Aplicando o Teorema de
Rellich-Kondrachov, obtem-se:
D
u em C
0
(), [[ m
que mostra a parte c) do corolario.
n
e 1 p . Entao
a) se e de classe C
m+1
a seguinte imersao e compacta:
W
m+1,p
() W
m,p
()
b) se nao possui condicoes de regularidade, a seguinte imers ao e compacta:
W
m+1,p
0
() W
m,p
0
().
Demonstracao: A parte a) e obtida aplicando o Corolario 9 para as diferentes possibilidades
de p e n. Note que se p < n entao p < np/(n p). Tambem C
m
() W
m,p
(). Para a
84 CAP

parte b), considere O uma bola aberto do R
n
que contenha propriamente . Considere as
aplica coes
W
m+1,p
0
()
ext
W
m+1,p
(O)
I
W
m,p
(O)
r
W
1,p
0
()
onde ext u = u, u a extensao de u a O por zero fora de e r
u = u[
. Notando que a
primeira e terceira aplica coes sao contnuas e a aplica cao I e compacta, pela parte a), segue
a parte b) do corolario.
n
, de classe C
m
, e 1 p . Entao as
seguintes imersoes sao compactas:
a) W
m,p
() L
q
(), 1 q <
np
n mp
se mp < n
b) W
m,p
() L
q
(), 1 q < se mp = n
c) W
m,p
() C
k
(). k < m
n
p
k+1 se mp > n onde k e um inteiro nao negativo.
Demonstracao: As partes a) e b) serao mostradas aplicando indu cao com rela cao a m.
Mostrar-se-a a). Para m = 1, o resultado e verdadeiro pelo Teorema de Rellich-
Kondrachov. Suponha a) valido para m 1. Sera provado que a) e valido para m + 1, isto
e, para (m + 1)p < n sera provado que a imersao
W
m+1,p
() L
q
(), 1 q <
np
n (m+ 1)p
= q
e compacta. Com efeito

1
q
=
1
p

m
n

1
n
=
1
p

1
n
com
1
p
=
1
p

m
n

Pelo Teorema de Rellich-Kondrachov, aplicado a
1
q
=
1
p

1
n
, obtem-se que a imersao
W
1,p
() L
q
(), 1 q < q
(2.5.56)
2.5. IMERS
OES DOS ESPAC OS W

M,P
() 85
e compacta e, pelo Teorema 2.5.1, aplicado a
1
p

1
p

m
n
,
W
m,p
() L
p
()
que acarreta
W
m+1,p
() W
1,p
(). (2.5.57)
As imersoes (2.5.56) e (2.5.57) implicam a parte a) para m+ 1.
Mostrar-se-a b). Para m = 1, o resultado e valido pelo Teorema de Rellich-Kondrachov.
Suponha b) valido para m 1. Sera provado que b) e valido para m + 1, isto e, para
(m+ 1)p = n demonstrar-se-a que a imersao
W
m+1,p
() L
q
(), 1 q <
e compacta. De fato, tem-se
1
n
=
1
p

m
n
que implica, pelo Teorema 2.5.1,
W
m,p
() L
n
(),
portanto:
W
m+1,p
() W
1,n
().
O Teorema de Rellich-Kondrachov garante a imersao
W
1,n
() L
q
(), 1 q <
e compacta. As duas ultimas imersoes implicam b) para m + 1.
Demonstrar-se-a c). Pelos Teoremas 2.5.1 e 2.5.3 vem que
W
m,p
() C
k,
1
()
para algum 0 <
1
1. Notando que C
k,
1
() C
k
() resulta
W
m,p
() C
k,
1
() C
k
().
86 CAP

m,p
() entao B e um conjunto limitado em C
k
() e
[D
u(x) D
u(y)[ C[[x y[[
1
, x, y , [[ k e u B.
Pelo Teorema de Arzela-Ascoli segue entao que B e relativamente compacto em C
k
().
Assim o teorema esta demonstrado.
Observacao 18 Grande parte dos resultados do Captulo 2 foram obtidos para funcoes a
valores reais, por exemplo, a Proposicao 2.3.2. Entretanto, todos os resultados do captulo
sao validos para funcoes a valores complexos. Isto deve-se ao fato de que sendo u(x) =
Re u(x) +i Im u(x) entao as funcoes Re u(x) e Im u(x) tem a mesma regularidade que u e
o suporte de cada uma delas esta contido no suporte de u. Tambem, por exemplo,
_
_
[u[
q
dx
_
1/q
2
_
_
[Re u[
q
dx
_
1/q
+ 2
_
_
[Im u[
q
dx
_
1/q
e
[[Re u[[
W
m,p [[u[[
W
m,p , [[Im u[[
W
m,p [[u[[
W
m,p .
Resultados analogos para q = p = . Entao a observacao decorre aplicando os resultados
obtidos para funcoes reais e as propriedades mencionadas.
2.6 Espacos H
s
()
Inicia-se o estudo com outra caracteriza cao dos espa cos H
m
(R
n
), m inteiro positivo,
que servira de motiva cao para a deni cao dos espa cos H
s
(), quando s e um real positivo
e um aberto do R
n
. Considera-se a fun cao J
m
(x) = (1 + [[x[[
2
)
m/2
, x R
n
. Note que
J
m
(x) e uma fun cao lentamente crescente no innito. Nesta se cao u estara representando a
transformada de Fourier de u e u a transformada de Fourier inversa.
Proposicao 2.6.1 H
m
(R
n
) coincide com u o
(R
n
); (1 + [[x[[
2
)
m/2
u L
2
(R
n
). De-
nindo
[[[u[[[
m
= [[(1 + [[x[[
2
)
m/2
u[[
L
2
(R
n
)
2.6. ESPAC OS H
S
() 87
a aplicacao u [[[u[[[
m
de H
m
(R
n
) R
+
e uma norma equivalente a norma de Sobolev
[[u[[
m
.
Demonstracao: Sejam C
1
, C
2
constantes positivas vericando a desigualdade:
C
1
||m
x
2
(1 +[[x[[
2
)
m
C
2
||m
x
2
, x R
n
(ver Exerccio 5 do Captulo 1). Observe que H
m
(R
n
) L
2
(R
n
) o
(R
n
) (ver Se cao 1.3.3
do Captulo 1). Se u H
m
(R
n
), para todo [[ m, resulta
u(x) = (ix)
u(x) quase sempre no R

n
.
Da e da ultima desigualdade elementar acima mencionada conclui-se que J
m
u L
2
(R
n
) e
[[[u[[[
2
m
=
_
R
n
(1 +[[x[[
2
)
m
[ u(x)[
2
dx
C
2
||m
_
R
n
[x
u(x)[
2
dx = C
2
||m
[

D
u(x)[
2
dx =
= C
2
||m
_
R
n
[D
u(x)[
2
dx = C
2
[[u[[
2
m
.
Reciprocamente, se u o
(R
n
) e J
m
u L
2
(R
n
), da desigualdade elementar resulta, que para
todo [[ m, (ix)
u L
2
(R
n
), isto e,

D
u L
2
(R
n
). Logo D
u L
2
(R
n
) e, alem disso,
[[u[[
2
m
=
||m
_
R
n
[

D
u(x)[
2
dx =
=
||m
_
R
n
x
2
[ u(x)[
2
dx
1
C
1
[[[u[[[
2
m
que demonstra a proposi cao.
A seguir, serao estudados os espa cos H
s
(R
n
) sendo s um n umero real nao negativo.
Para todo x R
n
e s real nao negativo, seja J
s
(x) = (1 +[[x[[
2
)
s/2
, semelhante a J
m
caso m
inteiro nao negativo. Dene-se H
s
(R
n
) como sendo o espa co vetorial
u o
(R
n
); (1 +[[x[[
2
)
s/2
u L
2
(R
n
)
88 CAP

com o produto escalar denido por:
(u, v)
H
s
(R
n
)
=
_
R
n
(1 +[[x[[
2
)
s
u(x)v(x) dx,
cuja norma por ele induzida e:
[[u[[
2
H
s
(R
n
)
=
_
R
n
(1 +[[x[[
2
)
s
[ u(x)[
2
dx.
Simples e mostrar que H
s
(R
n
) esta imerso continuamente em L
2
(R
n
).
Proposicao 2.6.2 H
s
(R
n
) e um espaco de Hilbert e o(R
n
) esta continuamente imerso em
H
s
(R
n
), sendo a denso.
) uma sucessao de Cauchy de H

s
(R
n
). Entao (u
) e (J
s
u
) sao
sucessoes de Cauchy de L
2
(R
n
), logo existem u e v em L
2
(R
n
) tais que u
u e J
s
u
v
em L
2
(R
n
). Para provar que H
s
(R
n
) e Hilbert, basta mostrar que v = J
s
u. Para toda fun cao
teste no R
n
, tem-se:
J
s
u, ) = u, J
s
) = lim
, J
s
) = lim
J
s
u
, ) = v, )
e do lema de Du Bois Raymond, obtem-se J
s
u = v.
Dada uma fun cao u H
s
(R
n
), seja (
) uma sucessao de fun coes testes no R

n
convergente para J
s
u em L
2
(R
n
). Para todo N, a fun cao
(x)/(1 + [[x[[
2
)
s/2
pertence
a T(R
n
) o(R
n
). Logo existe
o(R
n
) tal que

(x) =
(x)/(1 + [[x[[
2
)
s/2
para todo
x R
n
. Da
[[
u[[
2
H
s
(R
n
)
=
_
R
n
(1 + [[x[[
2
)
s
[
(x) u(x)[
2
dx =
=
_
R
n
[
(x) J
s
(x) u(x)[
2
dx,
isto e, (
) e uma sucessao de o(R

n
) convergente para u em H
s
(R
n
).
Resta demonstrar a continuidade da inclusao de o(R
n
) em H
s
(R
n
). Seja m um inteiro
positivo tal que
C =
_
R
n
(1 +[[x[[
2
)
(ms)
dx < +.
2.6. ESPAC OS H
S
() 89
Para todo u em o(R
n
) tem-se:
[[u[[
2
H
s
(R
n
)
=
_
R
n
(1 +[[x[[
2
)
m
(1 +[[x[[
2
)
(ms)
[ u(x)[
2
dx C p
m
( u)
sendo p
m
as seminormas que denem a topologia de o(R
n
). Se (u
) converge para zero em

o(R
n
), da continuidade da transforma cao de Fourier em o(R
n
) decorre que ( u
) converge
para zero em o(R). Logo, da e da ultima desigualdade decorre que (u
) converge para zero

em H
s
(R
n
).
Corolario 11 T(R
n
) e denso em H
s
(R
n
) e T(R
n
) H
s
(R
n
).
Seja s 0 e H
s
(R
n
) = (H
s
(R
n
))
o dual de H
s
(R
n
). Da proposi cao anterior resulta
que
o(R
n
) H
s
(R
n
) H
s
(R
n
) S
(R
n
)
Representa-se por [[f[[
H
s
(R
n
)
a norma de uma forma linear contnua f H
s
(R
n
),
isto e,
[[f[[
H
s
(R
n
)
= sup [f, u)[; u H
s
(R
n
), [[u[[
H
s
(R
n
)
= 1.
Proposicao 2.6.3 Sao verdadeiras as seguintes assertivas:
a) H
s
(R
n
) = f o
(R
n
); (1 +[[x[[
2
)
s/2
f L
2
(R
n
)
b) [[f[[
H
s
(R
n
)
= [[(1 +[[x[[
2
)
s/2
f[[
L
2
(R
n
)
para toda f em H
s
(R
n
).
Demonstracao: Dada f H
s
(R
n
), do teorema de Riesz decorre a existencia de u
0

H
s
(R
n
) tal que
[[f[[
H
s
(R
n
)
= [[u
0
[[
H
s
(R
n
)
e
f, u) = (u, u
0
)
H
s
(R
n
)
para todo u em H
s
(R
n
).
90 CAP

Para todo em o(R
n
) tem-se

(x) = (x), logo
f, ) = ( , u
0
)
H
s
(R
n
)
=
_
R
n
(1 +[[x[[
2
)
s
(x) u
0
(x) dx =
=
_
R
n
(1 +[[x[[
2
)
s
u(x) (x) dx,
logo,

f e denida pela fun cao (1 +[[x[[
2
)
s
u
0
(x), donde J
s
f(x) = (1 +[[x[[
2
)
s/2
u
0
(x) ou
seja, J
s

f L
2
(R
n
) e
[[J
s
f[[
L
2
(R
n
)
= [[J
s
u
0
[[
L
2
(R
n
)
= [[u
0
[[
H
s
(R
n
)
= [[f[[
H
s
(R
n
)
.
Seja f o
(R
n
) tal que J
s
f pertence a L
2
(R
n
). Dada uma fun cao o(R
n
) seja
(x) = (x), x R
n
. Notando que

(x) =

(x) = (x), vem que
= . Escrevendo
= J
s
pertencente a o(R
n
), tem-se
[[[[
H
s
(R
n
)
= [[J
s
[[
L
2
(R
n
)
= [[J
s
[[
L
2
(R
n
)
= [[[[
L
2
(R
n
)
e tambem, =
=

J
s
, logo:
f, ) = f,
J
s
) = J
s
f, ) =
_
R
n
(1 + [[x[[
2
)
s
2
f(x)(x) dx,
portanto,
[f, )[ [[J
s
f[[
L
2
(R
n
)
[[[[
L
2
(R
n
)
[[J
s
f[[
L
2
(R
n
)
[[[[
H
s
(R
n
)
,
desigualdade esta que demonstra ser f: o(R
n
) K contnua na topologia de H
s
(R
n
). Logo
f estende-se a um unico funcional linear contnuo ao H
s
(R
n
), isto e, f H
s
(R
n
).
A seguir mostra-se que para o(R
n
) a aplica cao linear
u u de H
s
(R
n
) H
s
(R
n
)
e contnua. Para isto observa-se que
Lema 2.6.1 Para e u em o(R
n
), tem-se
(2)
n/2
u = u.
2.6. ESPAC OS H
S
() 91
Demonstracao: De fato, nota-se que
((u)(x) = (2)
n/2
_
e
i(x,y)
(y)u(y) dy
e (y) =

(y), isto e,
(y) = (2)
n
_ _
e
i(y,z)i(z,w)
(w) dwdz
onde cada integral e tomado sobre R
n
. Segue entao
(u)(x) = (2)
3n/2
_ _ _
e
i(xz,y)
e
i(z,w)
u(y)(w) dydwdz =
= (2)
n
_ _
e
i(z,w)
(w) u(x z) dwdz =
= (2)
n/2
_
u(x z) (z) dz = (2)
n/2
( u )(x)
que mostra o lema.
Proposicao 2.6.4 Sejam o(R
n
) e u H
s
(R
n
) com s real 0, entao
a) u H
s
(R
n
)
b) A aplicacao linear
u u de H
s
(R
n
) H
s
(R
n
)
e contnua e verica:
[[u[[
H
s
(R
n
)
C[[[[
H
r
(R
n
)
[[u[[
H
s
(R
n
)
onde 2r 2s > n, C
2
= (2)
n
C
0
2
2s+1
e
C
0
=
_
R
n
1
(1 +[[y[[
2
)
rs
dy.
Demonstracao: De incio considera-se u o(R
n
). Entao pelo Lema 2.6.1 segue-se:
_
(1 +[[x[[
2
)
s
[ u(x)[
2
dx = (2)
n
_
(1 +[[x[[
2
)
s/2
[( u)(x)[
2
dx,
92 CAP

onde as integrais sao tomadas sobre R
n
. Por outro lado,
(1 +[[x[[
2
)
s/2
( u)(x)

_
(1 +[[x[[
2
)
s/2
(1 +[[y[[
2
)
r/2
[ u(x y)[(1 +[[y[[
2
)
r/2
[ (y)[ dy,
que implica, pela desigualdade de Cauchy-Schwarz,
(1 +[[x[[
2
)
s/2
( u)(x)
2
[[[[
2
H
r
(R
n
)
_
(1 +[[x[[
2
)
s
(1 +[[y[[
2
)
r
[ u(x y)[
2
dy.
Assim
[[[[
2
H
s
(R
n
)
(2)
n
[[[[
2
H
r
(R
n
)
_ _
(1 +[[x[[
2
)
s
(1 +[[y[[
2
)
r
[ u(x y)[
2
dydx. (2.6.58)
Observe que 1 +[[x[[
2
< 2(1 +[[x y[[
2
) + 2(1 +[[y[[
2
), portanto
(1 +[[x[[
2
)
s
2
2s
(1 +[[x y[[
2
)
s
+ 2
2s
(1 +[[y[[
2
)
s
,
donde pelo Teorema de Fubini,
_ _
(1 +[[x[[
2
)
s
(1 +[[y[[
2
)
r
[ u(x y)[
2
dxdy
2
2s
_
1
(1 +[[y[[
2
)
r
_
_
(1 +[[x y[[
2
)
s
[ u(x y)[
2
dx
_
dy +
+2
2s
_
1
(1 +[[y[[
2
)
rs
_
_
[ u(x y)[
2
dx
_
dy
C
0
2
2s
_
[[u[[
2
H
s
(R
n
)
+[[u[[
2
L
2
(R
n
)
_
C
0
2
2s+1
[[u[[
2
H
s
(R
n
)
.
De (2.6.58) e desta ultima desigualdade resulta
[[u[[
H
s
(R
n
)
C[[[[
H
r
(R
n
)
[[u[[
H
s
(R
n
)
. (2.6.59)
Seja u H
s
(R
n
) e (u
) uma sucessao de fun coes T(R

n
) tal que u
u em H
s
(R
n
)
(ver Corolario 11). Segue entao que
u
u em L
2
(R
n
).
Por (2.6.59) vem que (u
) e uma sucessao de Cauchy em H

s
(R
n
), logo, existe v H
s
(R
n
)
tal que u
v em H
s
(R
n
), portanto u
v em L
2
(R
n
). Da unicidade dos limites vem
que v = u e
u
u em H
s
(R
n
).
Isto mostra a parte a). A parte b) segue de (2.6.59) e desta ultima convergencia.
2.6. ESPAC OS H
S
() 93
A seguir serao introduzidos os espa cos H
s
(). Denota-se por H
s
(), s um n umero
real nao negativo e um aberto do R
n
, ao espa co vetorial
H
s
() = u = v[
; v H
s
(R
n
).
Dota-se a H
s
() de uma topologia. De fato, considera-se a aplica cao linear sobrejetiva
H
s
(R
n
) H
s
(), v rv = v[
.
Observe que o n ucleo N(r) de r e fechado. Com efeito, seja (v
) uma sucessao de elementos

de H
s
(R
n
) tal que rv
= 0 e v
v em H
s
(R
n
). Tem-se
[[v
v[[
2
H
s
(R
n
)
=
_
R
n
(1 +[[x[[
2
)
s
[v
(x) v(x)[
2
dx
_
R
n
[

(v
v)(x)[
2
dx =
_
R
n
[v
(x) v(x)[
2
dx
_
[v[
2
dx
logo
_
[v[
2
dx lim[[v
v[[
2
H
s
(R
n
)
= 0
isto e, v[
= 0 o que mostra que N(r) e fechado.

Considera-se
H
s
(R
n
)
r
H
s
()

H
s
(R
n
)/N(r)
(2.6.60)
onde e o homomorsmo canonico. Tem-se que e um isomorsmo de espa co vetorial e
X = H
s
(R
n
)/N(r) e um espa co de Hilbert com produto escalar
([v], [w])
X
= ([v], [w])
1
+ i([v], i[w])
1
,
onde
([v], [w])
1
= 4
1
([[[v + w][[
2
[[[v w][[
2
),
e norma
[[[v][[
X
= inf [[w[[
H
s
(R
n
)
; w [v]. (2.6.61)
94 CAP

Equipa-se H
s
() com a topologia dada por H
s
(R
n
)/N(r), via o isomorsmo . Assim
(u
1
, u
2
)
H
s
()
= ([v
1
], [v
2
])
X
onde v
1
[
= u
1
e v
2
[
= u
2
(2.6.62)
[[u[[
H
s
()
= [[[v][[
X
= inf [[v[[
H
s
(R
n
)
; v[
= u (2.6.63)
Com esse produto escalar, H
s
() torna-se um espa co de Hilbert.
Observacao 19 Com o intuito de tornar autosuciente a leitura destas notas, mostra-se
que a norma (2.6.61) do espaco X = H
s
(R
n
)/N(r) satisfaz a lei do paralelogramo.
Com efeito, sejam v
1
[v] e w
1
[w] entao v
1
w
1
[v w]. Tem-se
[[[v] + [w][[
2
X
+[[[v] [w][[
2
X
[[v
1
+ w
1
[[
2
H
s +[[v
1
w
1
[[
2
H
s = 2[[v
1
[[
2
H
s + 2[[w
1
[[
2
H
s
que implica, tomando o mnimo de cada um dos termos da ultima expressao,
[[[v] + [w][[
2
X
+[[[v] [w][[
2
X
2[[[v][[
2
X
+ 2[[[w][[
2
X
.
A desigualdade
2[[[v][[
2
X
+ 2[[[w][[
2
X
= [[[v] + [w][[
2
+[[[v] [w][[
2
e mostrada de forma analoga.
s
(), s real 0.
Demonstracao: Por constru cao a aplica cao r denida em (2.6.60) e contnua. Seja u
H
s
() entao existe v H
s
(R
n
) tal que rv = v[
= u. Como T(R
n
) e denso em H
s
(R
n
)
(Corolario 11) vem que existe (
) sucessao de fun coes de T(R

n
) tal que
v em H
s
(R
n
),
e pela continuidade de r, resulta rv
rv em H
s
(), que mostra a proposi cao.
No caso de ser s um inteiro nao negativo m e um aberto limitado, tem-se o seguinte
resultado:
2.6. ESPAC OS H
S
() 95
Proposicao 2.6.6 Seja um aberto limitado do R
n
, de classe C
m
. Entao
H
m
() = u = v[
; v H
m
(R
n
)
e as normas [[u[[
H
m
()
e [[[u[[[
H
m
()
sao equivalentes, onde [[[u[[[
H
m
()
e a norma denida
em (2.6.63) para s = m.
Demonstracao: Seja P: H
m
() H
m
(R
n
) o operador de prolongamento dado pelo Teo-
rema 2.4.2. Considere u H
m
(). Seja v = Pu entao rv = rPu = u onde rv = v[ . Isto
mostra uma das inclusoes dos conjuntos. Por outro lado, note que rD
v = D
rv, [[ m,
que mostra a outra inclusao.
Tem-se:
[[[u[[[
H
m
()
[[Pu[[
H
m
(R
n
)
C[[u[[
H
m
()
. (2.6.64)
Por outro lado, seja v H
m
(R
n
) tal que rv = u. Entao
[D
(rv)[[
L
2
()
= [[r(D
v)[[
L
2
()
[[D
v[[
L
2
(R
n
)
, [[ m
logo
[[u[[
H
m
()
[[v[[
H
m
(R
n
)
.
Como v foi arbitrario segue-se que
[[u[[
H
m
()
[[[u[[[
H
m
()
. (2.6.65)
De (2.6.64) e (2.6.65) obtem-se que as normas sao equivalentes.
Conclui-se da Proposi cao 2.6.6 que quando e um aberto limitado do R
n
com
de classe C
m
, a deni cao de espa co H
m
() dada no Paragrafo 2.2 coincide com a deni cao
dada por (2.6.60)(2.6.62). Em geral, isto e, quando nao e regular, tem-se que o espa co
denido por (2.6.60)(2.6.62) esta contido no espa co denido no Paragrafo 2.3. Para um
estudo deste caso o leitor pode consultar N. Meyers - J. Serrin [24].
Serao demonstradas algumas propriedades dos espa cos H
s
().
96 CAP

Proposicao 2.6.7 Se 0 s
1
s
2
entao
H
s
2
() H
s
1
().
Demonstracao: Do fato H
s
2
(R
n
) H
s
1
(R
n
) segue que H
s
2
() H
s
1
(). Tambem para
u H
s
2
(),
v H
s
2
(R
n
); v[
= u w H
s
1
(R
n
); w[
= u.
Desta inclusao e notando que [[z[[
H
s
1(R
n
)
[[z[[
H
s
2(R
n
)
para todo z H
s
2
(R
n
), vem que
inf [[w[[
H
s
1(R
n
)
; w[
= u inf [[v[[
H
s
2(R
n
)
; v[
= u
isto e,
[[u[[
H
s
1()
[[u[[
H
s
2()
, u H
s
2
()
que mostra a inclusao contnua de H
s
2
() em H
s
1
().
Denota-se por C
m
b
() ao espa co de Banach
C
m
b
() = u = v[
; v C
m
(R
n
) e D
u e limitado em , [[ m
[[u[[
C
m
b
()
= max
||m
_
sup
x
[D
u(x)[
_
.
Claramente se e limitado, C
m
b
() = C
m
().
Proposicao 2.6.8 Se s
n
2
> m, m inteiro nao negativo, entao
H
s
() C
m
b
().
Demonstracao: Faz-se a demonstra cao por indu cao com rela cao m. Mostra-se o resultado
para m = 0.
2.6. ESPAC OS H
S
() 97
Sejam u H
s
() e v H
s
(R
n
) tal que v[
= u. Tem-se que
v(x) = (1 +[[x[[
2
)
s/2
(1 +[[x[[
2
)
s/2
v(x) L
2
(R
n
) L
1
(R
n
)
e
[[v[[
L
1
(R
n
)
C
1/2
[[v[[
H
s
(R
n
)
com C =
_
R
n
(1 +[[x[[
2
)
s
dx < . Dados x, x
no R
n
, tem-se v(x) =

v(x), logo
v(x
) v(x) = (2)
n/2
_
R
n
[e
i(x,z)
e
i(x,z)
]v(z) dz.
Se x
x em R
n
, decorre desta ultima igualdade e do Teorema da Convergencia Dominada
de Lebesgue aplicado às fun coes w
(z) = e
i(x,z)
v(z), que v(x
) v(x), isto e, v e contnua

em x. Como x R
n
foi arbitrario segue-se que v e contnua em R
n
. Portanto u e contnua
em . Tambem
[v(x)[ (2)
n/2
[[v[[
L
1
(R
n
)
(2)
n/2
C
1/2
[[v[[
H
s
(R
n
)
, x R
n
que implica
[[u[[
C
0
b
()
(2)
n/2
C
1/2
[[v[[
H
s
(R
n
)
, v H
s
(R
n
), v[
= u
portanto
[[u[[
C
0
b
()
(2)
n/2
C
1/2
[[u[[
H
s
()
que mostra a proposi cao para m = 0.
Suponha o resultado valido para m 0. Mostra-se que ele tambem e valido para
m+1, isto e, para s
n
2
> m+1. De incio observe que se v H
s
(R
n
) entao
v
x
j
H
s1
(R
n
)
e
_
_
_
_
v
x
j
_
_
_
_
H
s1
(R
n
)
[[v[[
H
s
(R
n
)
, j = 1, 2, . . . , n. (2.6.66)
98 CAP

Com efeito,
v
x
j
(x) = ix
j
v(x) e
_
R
n
(1 + [[x[[
2
)
s1
v
x
j
(x)
2
dx =
_
R
n
(1 +[[x[[
2
)
s1
[x
j
[
2
[v(x)[
2
dx
_
R
n
(1 +[[x[[
2
)
s
[v(x)[
2
dx
que mostra a arma cao. Sejam u H
s
() e v H
s
(R
n
) tal que v[
= u. Pela primeira
parte vem que v C
0
b
(R
n
) e pela hipotese de indu cao pois
v
x
j
H
s1
(R
n
) e pode ser o
R
n
,
v
x
j
C
m
b
(R
n
) e
v
x
j
(x)
C
1
_
_
_
_
v
x
j
_
_
_
_
H
s1
(R
n
)
, x R
n
e [[ m
que implica por (2.6.66) e notando que v C
1
(R
n
) pois
v
x
j
C
0
(R
n
), j = 1, 2, . . . , n,
[D
a
v(x)[ C
1
[[v[[
H
s
(R
n
)
, x R
n
e [[ m + 1.
Assim
[[u[[
C
m+
b
()
C
1
[[v[[
H
s
(R
n
)
, v H
s
(R
n
), v[ = u
isto e
[[u[[
C
m+1
0
()
C
1
[[u[[
H
s
()
e a proposi cao esta demonstrada.
Observe que a Proposi cao 2.6.8 e uma generaliza cao, num certo sentido, do Teorema
2.3.3, Paragrafo 2.3, onde e estudado a imersao para o caso m
n
2
> k.
Existem outros metodos para denir H
s
(), todos coincidentes quando = R
n
, R
n
+
ou um aberto limitado regular. Como exemplo de algum desses metodos pode-se mencionar
os que usam a teoria de interpola cao de espa cos de Hilbert (ver J.L. Lions-E. Magenes [11]).
2.7. TEOREMAS DE TRAC O 99
2.7 Teoremas de Traco
A seguir estuda-se uma versao elementar do teorema de tra co. Considera-se = R
n
ou um aberto limitado bem regular do R
n
(isto e, e de classe C
m
para todo m = 1, 2, . . .),
com fronteira . Com T() representa-se o espa co vetorial das fun coes reais w denidas em
, possuindo derivadas parciais contnuas de todas as ordens. Dada uma fun cao u denida
em , representa-se por
0
u a restri cao de u a . A caracteriza cao do espa co ao qual pertence
0
u, quando u pertence a H
m
(), e conhecido sob a denomina cao de teorema de tra co. Note
que se u T() resulta que
0
u T(). Para a demonstra cao do teorema de tra co e preciso
dar sentido do espa co H
s
(), cuja constru cao faz-se a seguir.
No caso = R
n
+
, tem-se = (x
, 0); x
R
n1
, identicando-se toda fun cao u
denida em com a fun cao x
u(x
, 0) do R
n1
em R. Com tal identica cao tem-se
T() = T(R
n1
), L
p
() = L
p
(R
n1
). Portanto, neste caso simples, dene-se H
s
() como
sendo H
s
(R
n1
).
Suponha um aberto limitado do R
n
, suposto bem regular. Considere um sistema
de cartas locais de , isto e, (U
1
,
1
), (U
2
,
2
), . . . , (U
N
,
N
), e fun coes testes
1
,
2
, . . . ,
N
no R
n
tais que
supp (
j
) U
j
, j = 1, 2, . . . , N,
N
j=1
j
(x) = 1, x .
Dada uma fun cao w denida em , para todo j = 1, 2, . . . , N seja
w
j
(y) =
(
j
w)(
1
j
(y
, 0)) se y

0
=]0, 1[
n1
0 se y
R
n1
0
Sendo supp (
0
j
) = supp
j
U
j
e como
j
aplica U
j
sobre
0
0, tem-se
supp (w
j
)
j
(supp
j
)
0
0.
Decorre da que se w T(), entao w
j
pertence a T(R
n1
) para todo j = 1, 2, . . . , N.
100 CAP

Dado s > 0 considere-se H
s
() como sendo o espa co vetorial das fun coes w denidas
em tais que w
j
H
s
(R
n1
) para todo j = 1, 2, . . . , N, munido do produto escalar seguinte:
(w, v)
H
s
()
=
N
j=1
(w
j
, v
j
)
H
s
(R
n1
)
para todo par w, v H
s
(). Tem-se que H
s
() e um espa co de Hilbert sendo T() denso
em H
s
().
Proposicao 2.7.1 Existe uma constante positiva C tal que
[[
0
u[[
H
1/2
()
C[[u[[
H
1
()
para toda u T().
Observacao 20 Suponha demonstrada a Proposicao 2.7.1. Ela arma que considerando
T() com a topologia induzida por H
1
(), a aplicacao
0
: T() H
1/2
()
e contnua. Sendo T() denso em H
1
(), pois e bem regular, esta aplicacao prolonga-se
por continuidade a uma aplicacao linear e contnua, ainda representada por
0
, tal que:
0
: H
1
() H
1/2
(),
a qual denomina-se funcao traco e seu valor
0
u, para u em H
1
(), denomina-se o traco
de u sobre . Pode-se assim, enunciar o seguinte teorema, conhecido sob a denomina cao de
teorema de traco.
Teorema 2.7.1 A funcao traco aplica H
1
() sobre H
1/2
() e o n ucleo de
0
e o espaco
H
1
0
().
Observacao 21 Quando se diz que os objetos de H
1
0
() sao nulos na fronteira de , deseja-
se com isto dizer que o n ucleo do traco de
0
e o espaco H
1
0
().
Demonstracao da Proposicao 2.7.1:

E suciente considerar o caso = R
n
+
. De fato,
suponhamos que a proposi cao seja valida para = R
n
+
. Dado u T() e j = 1, 2, . . . , N,
seja
v
j
(x) =
(
j
u)(
1
j
(x)), x ]0, 1[
n1
[0, 1] = V
0 x R
n
+
V
Segue-se que v
j
(R
n
+
) e
0
v
j
=
0
u
j
, onde u
j
=
j
u, logo,
[[u
j
[[
H
1/2
(R
n1
)
= [[
0
v
j
[[
H
1/2
(R
n1
)
C[[v
j
[[
H
1
(R
n
+
)
CC
j
[[u[[
H
1
()
sendo C
j
uma constante que depende de
j
e
j
. Fazendo C
1
= C
_
n
j=1
C
2
j
_
1/2
, tem-se:
[[
0
u[[
H
1/2
()
C
1
[[u[[
H
1
()
para todo u T().
Demonstra-se a Proposi cao 2.7.1 no caso = R
n
+
. Represente-se por T
1
a transfor-
mada de Fourier no L
2
(R
n1
). Dado um elemento u T(R
n
+
), para todo t 0 seja u(t) a
fun cao de R
n1
em R dada por
u(t)(x
) = u(x
, t) para x
R
n1
w(t) = T
1
[u(t)]
w(x
, t) = w(t)(x
) = (2)
(n1)/2
_
R
n1
e
i(x
,y
)
u(y
, t) dy
Observe-se que (
0
u)(x
, 0) = u(x
, 0) = u(0)(x
), logo:
1. [[
0
u[[
2
H
1/2
()
= [[u(0)[[
2
H
1/2
(R
n1
)
=
=
_
R
n1
(1 +[[x
[[
2
)
1/2
[T
1
u(0)(x
)[
2
dx
=
=
_
R
n1
(1 +[[x
[[
2
)
1/2
[[w(x
, 0)[
2
dx
.
Tem-se, tambem:
2. [[u[[
2
L
2
(R
n
+
)
=
_

0
_
R
n1
[w(x
, t)[
2
dx
dt =
=
_

0
[[u(t)[[
2
L
2
(R
n1
)
dt =
_

0
[[T
1
[u(t)][[
2
L
2
(R
n1
)
dt =
=
_

0
_
R
n1
[w(x
, t)[
2
dx
dt.
102 CAP

Para j = 1, 2, . . . , n 1, seja D
j
=

x
j
Entao:
T
1
[D
j
u(t)](x
) = (ix
j
)T
1
[u(t)](x
) = (ix
j
)w(x
, t),
para (x
, t) R
n
+
. Tem-se, tambem:
(D
j
u(t))(x
) = (D
j
u)(x
, t).
Do calculo anterior obtem-se:
3. [[D
j
u[[
2
L
2
(R
n
+
)
=
_
1
0
_
_
R
n1
[(D
j
u(t))(x
)[
2
dx
_
dt =
=
_

0
[D
j
u(t)[[
2
L
2
(R
n
)
dt =
_

0
[[T
1
[D
j
u(t)][[
2
L
2
(R
n1
)
dt =
=
_

0
_
R
n1
[x
j
[
2
[w(x
, t)[
2
dx
dt.
Fazendo v(x
, t) =
u
t
(x
, t) tem-se que
w
t
(x
, t) = T
1
[v(t)](x
),
logo
4. [[D
n
u[[
2
L
2
(R
n
+
)
=
_

0
[[v(t)[[
2
L
2
(R
n1
)
dt =
=
_

0
[[T
1
v(t)[[
2
L
2
(R
n1
)
dt =
_

0
_
R
n1
w
t
(x
, t)
2
dx
dt.
Das tres ultimas rela coes conclui-se:
5. [[u[[
2
H
1
(R
n
+
)
=
_

0
_
R
n1
_
(1 +[[x
[[
2
)[w(x
, t)[
2
+
w
t
(x
, t)
2 _
dx
dt.
Fixando x
no R
n1
, seja (t) = w(x
, t), t 0, entao T([0, )) e
(t) =
w
t
(x
, t). Da desigualdade de Schwarz obtem-se:

[(0)[
2
=
_

0
d
dt
[(t)[
2
dt = 2Re
_

0
(t)
(t) dt
2
_
_

0
[(t)[
2
dt
_
1/2
_
_

0
[
(t)[
2
dt
_
1/2
,
ou seja,
[w(x
, 0)[
2
2
_
_

0
[w(x
, t)[
2
dt
_
1/2
_
_

0
w
t
(x
, t)
2
dt
_
1/2
6. (1 +[[x
[[
2
)
1/2
[w(x
, 0)[
2
2
_
_

0
(1 +[[x
[[
2
)[w(x
, t)[
2
dt
_
1/2
_
_

0
w
t
(x
, t)
2
dt
_
1/2
_

0
(1 +[[x
[[
2
)[w(x
, t)[
2
dt +
_

0
w
t
(x
, t)
2
dt.
Integrando sobre o R
n1
, aplicando o teorema de Fubini e levando em conta as rela coes 1. e
6. obtem-se:
[[
0
u[[
H
1/2
()
[[u[[
H
1
(R
n
+
)
o que demonstra a Proposi cao 2.7.1.
Demonstracao do Teorema 2.7.1 no caso = R
n
+
a)
0
e uma aplicacao sobre De fato, seja o(R
n1
) e considera-se
v(x
, x
n
) = (T
1
)(x
) exp (
_
1 +[[x
[[
2
[[ x
n
)
u(x
, x
n
) = T
1
1
[v(x
n
)](x
) = (2)
1n
2
_
R
n1
e
i(x
,y
)
v(y
, x
n
) dy
.
Sendo v(0)(x
) = v(x
, 0) = (T
1
)(x
) tem-se
0
u = T
1
1
[v(0)] = T
1
1
T
1
= .
Resulta da que para demonstrar que
0
e uma aplica cao sobre e suciente demonstrar
que u H
1
(R
n
+
).
Note-se que sendo
_

0
exp ( 2
_
1 +[[x
[[
2
x
n
) dx
n
=
1
2
_
1 +[[x
[[
2
,
obtem-se:
1.
_
R
n
+
(1 +[[x
[[
2
)[v(x
, x
n
)[
2
dx
dx
n
=
=
1
2
_
R
n1
(1 +[[x
[[
2
)
1/2
[T
1
(x
)[
2
dx
=
1
2
[[[[
2
H
1/2
(R
n1
)
.
104 CAP

Tambem:
v
x
n
(x
, x
n
) =
_
1 +[[x
[[
2
v(x
, x
n
)
e portanto:
2.
_
R
n
+
v
x
n
(x
, x
n
)
2
dx
dx
n
=
=
_
R
n
+
(1 +[[x
[[
2
)[v(x
, x
n
)[ dx
dx
n
=
1
2
[[[[
2
H
1/2
(R
n1
)
.
Fazendo:
w
j
(x
, x
n
) = i x
j
v(x
, x
n
), j = 1, 2, . . . , n 1
w
n
(x
, x
n
) =
v
xn
(x
, x
n
),
tem-se:
D
j
u(x
, x
n
) = T
1
1
[w
j
(x
n
)](x
), j = 1, 2, . . . , n 1
D
n
u(x
, x
n
) = T
1
1
[w
n
(x
n
)](x
).
Sendo T
1
1
uma isometria de L
2
(R
n1
) sobre L
2
(R
n1
) tem-se:
3.
_
R
n
+
([u(x
, x
n
)[
2
+
n1
j=1
[D
j
u(x
, x
n
)[
2
) dx
dx
n
=
=
_

0
_
[[v(x
n
)[[
2
L
2
(R
n1
)
+
n1
j=1
[[T
1
1
[w
j
(x
n
)][[
L
2
(R
n1
)
_
dx
n
=
=
_

0
_
[[v(x
n
)[[
2
L
2
(R
n1
)
+
n1
j=1
[[w
j
(x
n
)[[
2
L
2
(R
n1
)
_
dx
n
=
=
_
R
n
+
(1 +[[x
[[
2
)[v(x
, x
n
)[
2
dx
dx
n
=
1
2
[[[[
2
H
1/2
(R
n1
)
.
Tem-se tambem:
4.
_
R
n
+
[D
n
u(x
, x
n
)[
2
dx
dx
n
=
_
R
n
+
v
x
n
(x
, x
n
)
2
dx
dx
n
=
=
1
2
[[[[
2
H
1/2
(R
n1
)
.
Das rela coes 3. e 4. resulta que u H
1
(R
n
+
) e [[u[[
H
1
(R
n
+
)
= [[[[
H
1/2
(R
n1
)
. Desta
rela cao e da densidade de S(R
n1
) em H
1/2
(R
n1
) resulta que
0
e sobre.
Resta demonstrar que o n ucleo de
0
e o espa co H
1
0
(R
n
+
). Para tal usa-se o seguinte
resultado:
Lema 2.7.1 Dados u H
1
(R
n
+
) e T(R
n
+
), tem-se
o
(u) = (
0
)(
0
u).
Demonstracao: Observa-se que as aplica coes
1
: H
1
(R
n
+
) H
1
(R
n
+
) e
2
: H
1/2
(R
n1
) H
1/2
(R
n1
)
u u u (
0
)u
sao lineares e contnuas, (ver Proposi cao 2.6.4). Tambem, o lema e verdadeiro quando
u T(R
n
+
).
Seja (
k
) uma sucessao de T(R
n
+
), convergente para u em H
1
(R
n
+
). Da continuidade
das aplica coes
1
,
2
e
0
, sao verdadeiros os seguintes limites na topologia de H
1/2
(R
n1
):
(
0
)(
0
u) = lim
k
(
0
)(
0
k
) = lim
k
0
(
k
) =
0
(
u
).
b) O espaco H
1
0
() e o n ucleo de
0
Com efeito, sendo
0
u = 0 para todo u T(R
n
+
),
tem-se
0
u = 0 para todo u H
1
0
(R
n
+
) = T(R
n
+
)
H
1
(R
n
+
)
, o que demonstra estar H
1
0
(R
n
+
)
contido no n ucleo de
0
.
Considere u H
1
(R
n
+
) tal que
0
u = 0. Sera provado que u H
1
0
(R
n
+
).
Caso 1: S(u) = supp u
R
n
e um compacto do R
n
+
. Para k N considere as fun coes:
k
(t) =
0 se 0 t <
1
k
kt 1 se
1
k
t
2
k
1 se t >
2
k
E
T
0
1
k
2
k
t
k
1
q
e
u
k
(x
, x
n
) =
k
(x
n
)u(x
, x
n
), (x
, x
n
) R
n
+
,
106 CAP

entao supp (u
k
) S(u) R
n1
[1/k, [, sendo este ultimo um compacto do R
n
+
,
resulta que u
k
e um elemento de H
1
(R
n
+
) com suporte compacto contido no R
n
+
, logo
u
k
H
1
0
(R
n
+
). Demonstrando-se que (u
k
) converge para u na topologia de H
1
(R
n
+
)
cara provado que u H
1
0
(R
n
+
).
Realmente,
_
R
n
+
[u
k
(x) u(x)[
2
dx =
=
_
R
n1
dx
_
_

0
[
k
(x
n
)u(x
, x
n
) u(x
, x
n
)[
2
dx
n
_
=
=
_
R
n1
_
1/k
0
[u(x
, x
n
)[
2
dx
n
dx
+
+
_
R
n1
_
2/k
1/k
[(kx
n
2)
2
[u(x
, x
n
)[
2
dx
n
dx
,
logo,
[[u
k
u[[
2
L
2
(R
n
+
)

_
2/k
0
[[u(x
n
)[[
2
L
2
(R
n1
)
dx
n
,
demonstrando ser a sucessao (u
k
) convergente para u em L
2
(R
n
+
).
Dado j = 1, 2, . . . , n 1 tem-se:
D
j
u
k
(x
, x
n
) =
k
(x
n
)(D
j
u)(x
, x
n
).
Sendo D
j
u um elemento de L
2
(R
n
+
), tem-se que a sucessao (D
j
u
k
) converge para D
j
u
na topologia de L
2
(R
n
+
). Tem-se tambem:
D
n
u
k
(x
, x
n
) =
k
(x
n
)(D
n
u)(x
, x
n
) +
k
(x
n
)u(x
, x
n
).
Sendo D
n
u L
2
(R
n
+
) a sucessao de fun coes dada pela primeira parcela da expressao
anterior converge para D
n
u em L
2
(R
n
+
). Observe que u L
2
(0, T; L
2
(R
n1
)) e D
n
u
L
2
(0, T; L
2
(R
n1
)) onde 0 < T < , portanto u C
0
([0, T]; L
2
(R
n1
)) (ver J.L. Lions
[8]). Disto vem que u(0) =
0
u = 0, onde u(0)(x
) = u(x
, 0), s
R
n1
. Assim
u(x
, x
n
) = u(x
, x
n
) u(x
, 0) =
_
xn
0
u
x
n
(x
, t) dt,
de onde, aplicando a desigualdade de Schwarz, obtem-se:
[u(x
, x
n
)[
2
x
n
_
xn
0
u
x
n
(x
, t)
2
dt
2
k
_
2/k
0
u
x
n
(x
, t)
2
dt,
para 0 x
n
2/k. Logo,
_
R
n
+
[
k
(x
n
)u(x
, x
n
)[
2
dx
dx
n
=
=
_
R
n1
_
2/k
1/k
k
2
[u(x
, x
n
)[
2
dx
dx
n

_
R
n1
_
2/k
1/k
2k
_
2/k
0
u
x
n
(x
, t)
dt dx
n
dx
=
= 2
_
R
n1
_
2/k
0
u
x
n
(x
, t)
dtdx
,
provando que (D
n
u
k
) converge para D
n
u em L
2
(R
n
+
).
Caso 2: Tome u H
1
(R
n
+
). Seja uma fun cao teste no R
n
tal que (x) = 1 se
[[x[[ 1 e (x) = 0 se [[x[[ 2, 0 (x) 1. Para k N seja
k
(x) = (x/k), x R
n
e u
k
(x) =
k
(x)u(x), x R
n
+
. Entao, (u
k
) converge para u na topologia de H
1
(R
n
+
).
Do Lema 2.7.1 resulta que
0
(u
k
) = (
k
)
0
(u) = 0. Sendo S(u
k
) supp (
k
) R
n
+
,
do Caso 1 resulta que u
k
H
1
0
(R
n
+
), logo u H
1
0
(R
n
+
), o que completa a demonstra cao
do teorema de tra co no caso R
n
+
.
Demonstracao do Teorema 2.7.1 quando limitado
a)
0
e uma aplicacao sobre Dada uma fun cao w H
1/2
(), por deni cao,
tem-se que
w
j
(y
) =
(
j
w)(
1
j
(y
, 0)) se y

0
=]0, 1[
n1
0 se y
R
n1
0
e um objeto de H
1/2
(R
n1
) com suporte contido em
0
. Seja uma fun cao teste no R
n
tal
que supp ()
0
] 1, +1[ e (x
, 0) = 1 para todo y
supp (w
j
). Do caso = R
n
+
108 CAP

resulta a existencia de v
j
H
1
(R
n
+
) tal que
0
v
j
= w
j
. Do Lema 2.7.1 obtem-se:
0
(v
j
) = (
0
)(
0
v
j
) = (
0
)w
j
= w
j
(porque = 1 em supp (w
j
) 0). Alem disso, tem-se:
S(v
j
) supp () R
n
+

0
[0, 1),
logo a fun cao denida em por
u
j
(x) =
(v
j
)(
j
(x)) se x U
j

0 se x (U
j
)
T
E
y
n
1
-1
R
n1
E
j
U
j
tem suporte compacto em U

j
, sendo um elemento de H
1
(). Se x U
j
obtem-se:
u
j
(x) =
0
(v
j
)(
j
(x)) = w
j
(
j
(x)) = (
j
w)(x)
isto e,
(
0
u
j
)(x) =
(
j
w)(x) se x U
j

0 se x , x / U
j
Da rela cao anterior e do fato de ser supp (
j
) U
j
, tem-se que
N
j=1
0
u
j
=
N
j=1
j
w =
_
N
j=1
j
_
w = w.
Sendo u =
N
j=1
u
j
tem-se que u H
1
() e
0
u =
N
j=1
0
u
j
= w.
b) O n ucleo de
0
e H
1
0
() - Seja T(R
n
) tal que supp () e
(x) +
N
j=1
j
(x) = 1 para todo x .
Seja u H
1
() tal que
0
u = 0. Sendo
u = u +
N
j=1
j
u
e u um vetor de H
1
() com suporte compacto em , tem-se que u H
1
0
(). Logo para
provar a parte b) e suciente demonstrar que cada fun cao
j
u H
1
0
(). Do Lema 2.7.1 vem
que
0
(
j
u) =
0
(
j
)
0
u = 0 (observe que o Lema 2.7.1 tambem e valido para aberto
limitado bem regular do R
n
), da qual por meio de cartas locais e reduzindo ao caso = R
n
+
,
tem-se que
j
u H
1
0
(), j = 1, 2, . . . , N, demonstrando que o n ucleo de
0
esta contido em
H
1
0
().
A demonstra cao de que H
1
0
() esta contido no n ucleo de
0
e analoga a que foi feito
quando = R
n
+
.
Completando o estudo introdutorio do tra co
0
de uma fun cao, a etapa seguinte seria
a do estudo do tra co de suas derivadas, o que sera feito por meio do Teorema 2.7.2, o analogo
do Teorema 2.7.1. Antes, porem, sera xada a nota cao.
Inicia-se com o caso = R
n
+
, identicando sua fronteira = ao R
n1
, como ja
fora feito anteriormente. Seja u uma fun cao denida em uma vizinhan ca de , possuindo
derivadas parciais ate a ordem m. Dene-se
(
j
u)(x
) = (D
j
n
u)(x
, 0) =
0
(D
j
n
u)(x
)
para j = 0, 1, 2, . . . , m 1 e x
do R
n1
, sendo D
n
=

xn
Para j = 0, 1, 2, . . . , m 1,
representa-se por
m1
j=0
H
mj
1
2
()
110 CAP

o espa co de Hilbert
H
m
1
2
() H
m
3
2
() . . . H
1
2
(),
no qual (T())
m
e denso.
Teorema 2.7.2 A aplicacao linear
(
0
,
1
, . . . ,
m1
)
de T() em
m1
j=0
H
mj
1
2
(), prolonga-se por continuidade a uma aplicacao linear e contnua
de H
m
() sobre
m1
j=0
H
mj
1
2
(), cujo n ucleo e o espaco H
m
0
(). Tem-se ainda que
possui uma inversa à direita linear e contnua, isto e, existe uma aplicacao linear e contnua
de
m1
j=0
H
mj
1
2
() em H
m
() tal que (w) = w para todo w em
m1
j=0
H
mj
1
2
().
Observacao 22 A aplicacao denomina-se traco de ordem m. O traco da funcao e o traco
de ordem zero.
A demonstrado cao do Teorema 2.7.2 sera feita em tres etapas.
Na primeira demonstra-se que a aplica cao dada e contnua quando considera-se em
T() a topologia de H
m
(). Para isto, basta provar que existe uma constante C > 0 tal
que
[[
j
u[[
H
m
j
()
C[[u[[
H
m
()
para todo u em T(R
n
) e j = 0, 1, 2, . . . , m1. Continua-se representando por
j
a extensao
de
j
ao espa co H
m
().
Na segunda etapa, prova-se que o n ucleo de e o espa co H
m
0
(). Sendo T()
denso em H
m
0
() e u = 0 para todo u em T(), restara demonstrar que se u H
m
() e
j
u = 0, j = 0, 1, 2, . . . , m1, entao u H
m
0
(). Finalmente, na terceira e ultima etapa da
demonstra cao, constroi-se uma inversa à direita de , o que tambem provara que aplica
H
m
() sobre
m1
j=0
H
mj
1
2
().
Demonstracao do Teorema 2.7.2
Primeira Etapa: Da Proposi cao 2.7.1, decorre a existencia de uma constante C
0
> 0 tal
que
[[
0
u[[ H
1/2
()
2
C
0
[[u[[
H
1
()
, u T().
Fixe j = 1, 2, . . . , m1 e para todo multi-ndice
N
n1
, seja = (
, j) = (
1
,
2
, . . . ,
n1
, j)
pertencente a N
n
. Seja T
1
a transformada de Fourier no L
2
(R
n1
). Para todo u em T(R
n
),
tem-se:
[(x
T
1
(
j
u)(x
)[ = [T
1
(
0
(D
u)(x
))[.
Observe-se, tambem, que se [
[ mj 1, entao [[ m1, portanto,

[[D
u[[
2
H
1
()
[[u[[
2
H
m
()
.
Da resulta:
[[
j
u[[
2
H
m
j
()
=
_
R
n1
(1 +[[x
[[
2
)
1
2
(1 +[[x
[[
2
)
mj1
[T
1
(
j
u)(x
)[
2
dx
|mj1
_
R
n1
(1 +[[x
[[
2
)
1
2
[T
1
(
0
(D
u)(x
)[
2
dx
C
0
|mj1
[[D
u[[
2
H
1
()
C[[u[[
2
H
m
()
.
Segunda Etapa: Para provar que
1
(0) = H
m
0
() serao salientados certos resultados
enunciados e provados sob a forma de lema.
Lema 2.7.2 Se u H
m
() e
0
u =
1
u = . . . =
m1
u = 0, entao
[u(x
.x
n
)[
2
_
2
k
_
2m1
_ 2
k
0
[D
m
n
u(x
, t)[
2
dt,
para quase todo x
R
n1
e 0 x
n

2
k

Demonstracao: O caso m = 1 foi anteriormente demonstrado (ver Caso 1 do Teorema
2.7.1). Suponha o Lema 2.7.2 verdadeiro para m 1 e seja u H
m+1
() tal que
112 CAP
0
u =
1
u = . . . =
m1
u =
m
u = 0. Sendo
i
(D
m
u) =
i+1
u = 0, para i = 1, 2, . . . , m1
e D
n
u H
m
(), da hipotese indutiva vem:
[(D
n
v)(x
, t)[
2
_
2
k
_
2m1
_ 2
k
0
[D
m+1
n
u(x
, s)[
2
ds
para quase todo x
R
n1
e 0 t
2
k
Resulta, tambem,. do caso m = 1 que
[u(x
, x
n
)[
2
_
2
k
_
_ 2
k
0
[D
n
u(x
, t)[
2
dt
_
2
k
_
2m+1
_ 2
k
0
[(D
m+1
n
u)(x
, s)[
2
ds,
para quase todo x
R
n1
, 0 x
n

2
k

Lema 2.7.3 Dado um inteiro positivo p, seja C
p
(R) tal que 0 (t) 1 para todo
t R, (t) = 0 se t 1 e (t) = 1 se t 2. Para todo k = 1, 2, . . . , seja
k
(t) = (kt) para
todo t R. Entao:
a) Se u L
2
() seja u
k
(x) =
k
(x
n
)u(x) para x , resulta que (u
k
) converge para u
em L
2
().
b) Se u H
p
() e
0
u =
1
u = . . . =
p1
u = 0, entao a sucessao (v
k
) converge para
zero em L
2
(), onde v
k
e dada por:
v
k
(x) =
(p)
k
(x
n
)u(x), x .
Demonstracao: A primeira parte e uma conseq uencia direta do teorema de Lebesgue
sobre convergencia dominada. Para demonstrar a parte b), considere-se M > 0 tal que
[
(p)
(t)[ M, t R. Usando o Lema 2.7.2 obtem-se:
[[v
k
[[
2
L
2
()
M
_ 2
k
0
_
R
n1
[D
p
n
u(x
, t)[
2
dx
dt,
o que prova ser (v
k
) convergente para zero em L
2
().
Prova-se, a seguir, que
1
(0) H
m
0
(). Seja C
m
(R) tal que 0 (t) 1,
(t) = 0 se t 1 e (t) = 1 se t 2. Considere-se u H
m
() tal que
0
u =
1
u = . . . =
m1
u = 0. Se
k
(t) = (kt) k = 1, 2, . . . e t R, seja
u
k
(x
, x
n
) =
k
(x
n
)u(x
, x
n
), x
R
n1
, x
n
> 0.
Dado em N
n
com [[ m, sejam = (
1
,
2
, . . . ,
n1
, 0), j =
n
. No caso j = 0 tem-se:
(D
u
k
)(x
, x
n
) =
k
(x
n
)(D
u)(x
, x
n
),
portanto, (D
u
k
) converge para D
u em L
2
() (consulte Lema 2.7.3).
No caso 0 < j m, tem-se:
(D
u
k
)(x) =
k
(x
n
)(D
u)(x) +
j
p=1
_
j
p
_
(p)
k
(x
n
)(D
jp
n
D
u)(x).
Para continuar a demonstra cao, admite-se o seguinte resultado, o qual sera provado ao nal
da segunda etapa.
Lema 2.7.4 Seja q > 1 um inteiro. Entao
D
(
i
) =
i
(D
)
para toda H
q
(), i = 0, 1, . . . , q 1, N
n
tal que [[ + i q 1,
n
= 0.
Admitindo o Lema 2.7.4, obtem-se que
i
(D
jp
n
D
u) = 0, para p = 1, 2, . . . , j e i =
0, 1, 2, . . . , p1. Usando este resultado e o do Lema 2.7.3 decorre que a segunda parcela que
aparece na expressao para D
u
k
converge para zero em L
2
(). Logo, a sucessao (D
u
k
)
converge para D
u em L
2
(). Resulta, da, que a sucessao (u
k
) converge para u em H
m
().
Seja T(R
n
) tal que (x) = 1 se [[x[[ 1 e (x) = 0 se [[x[[ 2. Para todo
p = 1, 2, . . . seja u
k,p
(x) =
_
x
p
_
u
k
(x), para x R
n
+
. Entao u
k,p
e um vetor de H
m
() com
114 CAP

suporte em , logo, u
k,p
H
m
0
(). Sendo u
k,p
convergente para u
k
em H
m
(), quando p
tende para o innito, conclui-se que u
k
H
m
0
(), logo u H
m
0
().
Resta, para completar a demonstra cao da segunda etapa, provar o Lema 2.7.4, o que
sera feito a seguir.
Para demonstrar o Lema 2.7.4, suponha que ele seja verdadeiro para em T().
Dado v em H
q
(), seja (
j
) uma sucessao de T() convergente para v em H
q
(). Logo,
(
i
j
) converge para
i
v em H
qi
1
2
(), e como por hipotese [[ q i 1 q i
1
2
,
tem-se:
D
(
i
j
) converge para D
(
i
v)
em H
s
(), s = q[[i
1
2
Tem-se, tambem (D
j
) convergente para D
v em H
q||
(),
portanto:
i
(D
j
) converge para
i
(D
v)
em H
s
(). Conclui-se que
i
(D
v) = D
(
i
v) como se desejava provar.
Terceira Etapa: Deduz-se o argumento descrito para esta etapa, como nas anteriores, por
meio de lemas.
Lema 2.7.5 Para todo u o(R
n
) e j = 0, 1, 2, . . . , m1, vale a seguinte relacao:
T
1
(
j
u)(x
) = (2)
1
2
_
R
(it)
j
(Tu)(x
, t) dt,
para x
no R
n1
, sendo T a transformada de Fourier no L
2
(R
n
).
Demonstracao: Represente por

T e

T
1
, respectivamente, as transformadas de Fourier
inversas de T e T
1
. Sendo

T(Tu) = u, obtem-se:
u(x
, x
n
) = (2)
n
2
_
R
n1
dy
_
R
e
i{(x
,y
)+xnyn}
(Tu)(y
, y
n
) dy
n
.
Fazendo
w(x
) = (2)
1
2
_
R
(it)
j
(Tu)(x
, t) dt,
obtem-se, da ultima expressao:
(
j
u)(x
) = (D
j
n
u)(x
, 0) =
= (2)
n
2
_
R
n1
dy
_
R
(iy
n
)
j
e
i(x
,y
)
(Tu)(y
, y
n
) dy
n
=
= (2)
n1
2
_
R
n1
e
i(x
,y
)
w(y
) dy
= (
Tw)(x
),
de onde resulta T
1
(
j
u) = w, como se deseja demonstrar.
Prova-se, a seguir, que existe uma aplica cao linear
: (T())
m
H
m
(),
contnua relativamente à topologia de
m1
j=0
H
mj
1
2
(), tal que = para todo em
(T())
m
. Provada esta armativa, usa-se a densidade de (T())
m
em
m1
j=0
H
mj
1
2
() para
estender a este ultimo espa co, sendo, obviamente, tal extensao, linear, contnua e uma
inversa à direita de . Dado w = (w
0
, w
1
, . . . , w
m1
) em (T())
m
e para j = 0, 1, 2, . . . , m1,
considere-se
a
j
=
_
R
t
2j
(1 +t
2
)
(m+j)
dt
e
v
j
(x) =
1
(2)
1
2
a
j
i
j
(1 +[[x
[[
2
)
m
1
2
(1 +[[x
[[
2
)
m+j
x
j
n
(T
1
w
j
)(x
),
sendo x = (x
, x
n
) no R
n
.
Da escolha de a
j
resulta:
1.
(2)
1
2
_
R
(it)
j
v
j
(x
, t) dt = (T
1
w
j
)(x
)
e fazendo a mudan ca de variaveis x
n
= ht(1 +[[x
[[
2
)
1/2
segue
2.
_
R
n
(1 +[[x[[
2
)
m
v
j
_
x
,
x
n
h
_
2
dx C[[w
j
[[
2
H
m
j
()
,
116 CAP

para todo j = 0, 1, 2, . . . , m1, sendo C uma constante independente de w
m1
j=0
H
mj
1
2
(),
h = 1, 2, . . . , m.
Sejam C
hj
(h = 1, 2, . . . , m, j = 0, 1, . . . , m1), n umeros reais tais que:
3.
m
h=1
C
hk
h
j+1
=
jk
=
1 se j = k
0 se j ,= k
Considere u: R
n
K denida por
4. u(x) = u(x
, x
n
) =
m1
k=0
m
h=1
C
hk
v
k
_
x
,
x
n
h
_
,
5. w =

Tu [ .
De 2. decorre que

Tu H
m
(R
n
), logo w H
m
() e, alem disso,
[[w[[
H
m
()
C[[w[[Q
m1
j=0
H
mj
1
2 ()
.
Conclui-se, deste modo, que e uma aplica cao linear e contnua de (T())
m
, com a topo-
logia
m1
j=0
H
mj
1
2
(), em H
m
(). 0 Provar-se-a que w = w ou, equivalentemente, que
T
1
(
j
w) = T
1
w
j
, para j = 0, 1, 2, . . . , m1. Com efeito,
T
1
(
j
w)(x
) = (2)
1
2
_
R
(it)
j
u(x
, t) dt = (Lema 2.7.4)
= (2)
1
2
m1
k=0
m
h=1
C
hk
_
R
(it)
j
v
k
(x
,
t
h
_
dt =
= (2)
1
2
m1
k=0
_
m
h=1
C
hk
h
j+1
_
_
R
(it)
j
v
k
(x
, t) dt =
= (2)
1
2
_
R
(it)
j
v
j
(x
, t) dt = (T
1
w
j
)(x
),
concluindo, assim, a demonstra cao do Teorema 2.7.2.
Considere, agora, um aberto limitado do R
n
, com fronteira = bem regular, e
seja a normal unitaria exterior em . Escolhe-se um sistema de cartas locais
(U
1
,
1
), (U
2
,
2
), . . . , (U
N
,
N
)
de e fun coes testes no R
n
,
0
,
1
, . . . ,
N
tais que
supp (
0
) , supp (
j
) U
j
, j = 1, 2, . . . , N,
N
j=0
j
(x) = 1
para x em , de modo que para toda fun cao u denida em e j = 1, 2, . . . , N vale a seguinte
rela cao:
_

u
j
_
(
1
j
(y
)) =

x
n
u
j

1
j
(y
, 0), y

0
,
sendo u
j
=
j
u e
0
= (y
, 0) [ 0 y
i
1, i = 1, 2, . . . , n. A existencia das cartas locais
(U
1
,
1
), (U
2
,
2
), . . . , (U
N
,
N
) vericando a ultima igualdade esta garantida pela no cao
de vizinhan ca tubular, ver M.P. do Carmo [20].
Para todo j = 1, 2, . . . , m 1 e u T(), seja
j
u =

j
u
a derivada normal de
ordem j de u e
0
u = u[ . Do Teorema 2.7.2 e com auxlio do sistema de cartas locais,
obtem-se o seguinte resultado para o caso de um aberto limitado com fronteira bem regular
.
Teorema 2.7.3 Existe uma unica aplicacao linear e contnua do espaco H
m
() sobre o
espaco
m1
j=0
H
mj
1
2
() com n ucleo
1
(0) = H
m
0
(), vericando a seguinte condicao:
u = (
0
u,
1
u, . . . ,
m1
u), u T().
Tal aplicacao admite uma inversa à direita linear e contnua.
Observacao 23 O Teorema 2.7.3 e valido para limitado do R
n
com de classe C
m+1
.
Este fato decorre da demonstracao do teorema.
Corolario 12 Seja u L
2
(), aberto limitado bem regular do R
n
, tal que u, prolonga-
mento de u ao R
n
nulo fora de , esteja em H
m
(R
n
). Entao u pertence a H
m
0
().
Demonstracao: Seja (
k
) uma sucessao de fun coes testes no R
n
convergente para u em
H
m
(R
n
). Considere um aberto limitado U do R
n
, bem regular, tal que
U ( e = U = .
118 CAP

Sem perda de generalidade pode-se supor que
k
(x) = 0 se x , k = 1, 2, . . . . Sendo
(r
k
) k N e (r
U
k
) k N sucessoes de vetores de T() e T(U), respectivamente, e
r u = u, r U u = 0, temos as seguintes convergencias:
r
k
converge para u em H
m
()
r
U
k
converge para zero em H
m
(),
portanto,
j
u = lim
k
j
(r
k
) em H
mj
1
2
()
0 = lim
k
j
(r
U
k
) em H
mj
1
2
(), j = 0, 1, . . . , m1.
Sendo
j
(r
U
k
) =

j
j
(r
k
) em
0 em
,
conclui-se que
j
u = 0 para j = 0, 1, 2, . . . , m1, logo u H
m
0
().
Observacao 24 O Corolario 12 tambem e verdadeiro no caso = R
n
+
, sendo analoga a
demonstracao. Basta considerar
U = R
n
= (x
, x
n
) [ x
R
n1
, x
n
< 0.
2.8 Traco da Derivada Normal
Tome-se = R
n
+
ou um aberto limitado do R
n
, com fronteira bem regular, com normal
externa , de tal modo que a formula de Green
_
(vu uv) dx =
_
_
v
u
u
v
_
d,
seja verdadeira para todo par u, v de fun coes de C
2
().
Nesta se cao prova-se que tomando u num espa co conveniente, xado posteriormente,
resulta que o tra co da derivada normal de u, isto e, o tra co de
u
pertence a determinado
2.8. TRACO DA DERIVADA NORMAL 119
espa co de Sobolev H
s
(), s > 0. Este resultado e fundamental quando se estuda um
problema de contorno cujo dado na fronteira e a derivada normal, como o problema de
Neumann ou com vnculos unilaterais como problema de Signorini.
Considere o espa co vetorial H
0
() dado por:
H
0
() = u L
2
(); u L
2
().
Denindo em H
0
() o produto escalar
(u, v)
H
0 = (u, v)
L
2
()
+ (u, v)
L
2
()
,
para todo par u, v H
0
, resulta que ele e um espa co de Hilbert.
0
.
Demonstracao: Dado um vetor u
0
de H
0
() ortogonal a T(), devemos provar que u
0
= 0.
Para tal, consideremos u
1
= u
0
. As extensoes u
0
, u
1
de u
0
e u
1
nulas, respectivamente,
fora de , pertencem ao espa co L
2
(R
n
). Prova-se que u
1
H
2
(R
n
). Calcula-se u
1
no
sentido das distribui coes. De fato, se pertence a T(R
n
), sua restri cao , isto e, v = r
,
pertence a T(), logo:
u
1
, ) =
_
u
1
(x)(x) dx = (u
0
, v)
L
2
()
=
= (u
0
, v)
H
0 (u
0
, v)
L
2
()
= u
0
, ).
Conclui-se que u
1
= u
0
, logo pertence a L
2
(R
n
), portanto
(1 +[[x[[
2
)T u
1
= T( u
1
+ u
1
) L
2
(R
n
),
de onde resulta que u
1
H
2
(R
n
). Do Corolario 12 resulta que u
1
H
1
0
().
Para todo v em H
0
() e em T(), obtem-se:
(v, )
L
2
()
= v, ) = v, ) = (v, )
L
2
()
.
120 CAP

Sendo T() denso em H
1
0
() e u
1
um vetor deste espa co, tem-se:
(v, u
1
)
L
2
()
= (v, u
1
)
L
2
()
= (v, u
0
)
L
2
()
para todo v em H
0
(). Resulta da que
(v, u
0
)
H
0 = (v, u
0
)
L
2
()
+ (v, u
1
)
L
2
()
= 0
para todo v H
0
(), logo u
0
= 0.
Observacao 25 Quando considera-se H
s
(), s > 0, como espaco normado real, representa-
se por H
s
() o dual forte de H
s
(). No caso complexo, dado f (H
s
())
, dual forte de
H
s
(), dene-se o funcional conjugado

f por
f, u) = f, u) para u em H
s
(). Neste caso,
considera-se como H
s
() o espaco vetorial constitudo dos

f tais que f (H
s
())
, munido
da norma:
[[
f[[
H
s
()
= sup
||u||=1
[f, u)[.
Note-se que L
2
() H
s
() sendo a inclusao considerada no sentido seguinte: se
f L
2
(), identica-se f ao funcional f, u) = (f, u)
L
2
()
, sendo u H
s
(). Em particular,
se u T(), entao
0
u,
1
u podem ser considerados como vetores de H
s
() para todo
s > 0.
Teorema 2.8.1 A aplicacao
u (
0
u,
1
u)
de T() em H
1/2
() H
3/2
(), prolonga-se, por continuidade, a uma aplicacao linear e
contnua de H
0
() em H
1/2
() H
3/2
().
Demonstracao: Seja o tra co de ordem dois em . Foi demonstrada a existencia de uma
aplica cao linear e contnua T de H
3/2
() H
1/2
() em H
2
() tal que Tw = w para todo
w em H
3/2
() H
1/2
().
2.8. TRACO DA DERIVADA NORMAL 121
Fixemos u em T() e seja M o funcional denido em H
3/2
() H
1/2
() por
Mw = (u, Tw)
L
2
()
(u, Tw)
L
2
()
.
Representando-se por C > 0 a norma de T como objeto de L(H
3/2
() H
1/2
(), H
2
()),
obtem-se:
[Mw[ 2C[[u[[
H
0
()
[[w[[
H
3/2
()H
1/2
()
para todo w H
3/2
() H
1/2
().
Da formula de Green mencionada no incio desta se cao, verdadeira para todo v em
T(); sendo T() denso em H
2
() e os tra cos
0
,
1
contnuos de H
2
() em L
2
(), tem-se:
(u, v)
L
2
()
(u, v)
L
2
()
= (
1
u,
0
v)
L
2
()
(
0
u,
1
v)
L
2
()
para todo v em H
2
(). Dado w = (w
0
, w
1
) em H
3/2
() H
1/2
(), considere-se v = Tw,
sendo
0
v = w
0
e
1
v = w
1
. Combinando a formula de Green anterior e a deni cao de M,
obtem-se a seguinte expressao:
M(w
0
, w
1
) =
1
u, w
0
)
0
u, w
1
)
para todo w
0
H
3/2
() e w
1
H
1/2
(). Resulta, portanto,
[
1
u, w
0
)[ = [M(w
0
, 0)[ 2C[[u[[
H
0
()
+[[w
0
[[
H
3/2
()
[
0
u, w
1
) = [M(0, w
1
)[ 2C[[u[[
H
0
()
+[[w
1
[[
H
1/2
()
Da obtem-se:
[[
1
u[[
H
3/2
()
2C[[u[[
H
0
()
[[
0
u[[
H
1/2
()
2C[[u[[
H
0
()
Portanto, das desigualdades anteriores e da Proposi cao 88, conclui-se a demonstra cao do
teorema.
122 CAP

2.9 Formula de Green
Para todo u em H
0
() e v em H
2
() e verdadeira a Formula de Green:
(u, v)
L
2
()
(u, v)
L
2
()
=
1
u,
o
v)
0
u,
1
v)
onde , ) representa sempre dualidades. A demonstra cao resulta diretamente da formula de
Green para fun coes de T() e do Teorema 2.8.1. Observe que
1
u,
0
v) representa o valor
do funcional
1
u H
3/2
() no vetor
0
v H
3/2
(), o que por abuso de nota cao tambem
escreve-se:
_
v
u
d,
embora
1
u nao perten ca a L
2
().
Exerccio 1. Considere = R
n
+
e seja a transforma cao linear descrita na terceira etapa
da demonstra cao do Teorema 2.7.2. Considere n = 2 e prove que existe uma constante C > 0
tal que
[[(w
0
, 0)[[
H
1
()
C[[w
0
[[
H
1/2
()
, w
0
T().
Exerccio 2. No caso geral, um aberto limitado do R
n
, com fronteira bem regular,
prove que se for a fun cao tra co de ordem dois em , existe uma inversa à direita T de e
C
0
> 0 tais que:
[[T(w
0
, 0)[[
H
1
()
C
0
[[w
0
[[
H
1/2
()
para todo w
0
H
1/2
().
Proposicao 2.9.1 Se u H
0
() H
1
(), entao
1
u H
1/2
(). Considerando H
1
()
com a norma
[[u[[
2
H
1
()
= [[u[[
2
H
1
()
+[[u[[
2
L
2
()
,
a aplicacao
1
e contnua de H
0
() H
1
() em H
1/2
().
2.9. F
ORMULA DE GREEN 123

Demonstracao: Observe, inicialmente, que para todo u H
1
() e v em H
2
() vale a
formula de Gauss ou primeira formula de Green:
(u, v)
L
2
()
= (
0
u,
1
v)
L
2
()
i=1
(D
i
u, D
i
v)
L
2
()
.
Se u H
0
() H
1
() e T(), seja v = T(, 0) H
2
(). Entao
o
v = ,
1
v = 0 e
[[v[[
H
1
()
C
0
[[[[
H
1/2
()
. Da, da formula de Green e do caso em que as fun coes pertencem
a T(), obtem-se:
1
u, ) = (u, v)
L
2
()
(u, v)
L
2
()
=
= (u, v)
L
2
()
+
n
i=1
(D
i
u, D
i
v) L
2
() .
Resulta, portanto que
[
1
u, )[ [[u[[
H
0
H
1
()
[[v[[
H
1
()

C
0
[[u[[
H
0
H
1
()
[[[[
H
1
()
,
provando a proposi cao.
A Proposi cao 2.9.1 e um caso particular de um resultado geral que sera mostrado no
Captulo 3.
124 CAP

Captulo 3
Problemas Elticos nao Homogeneos
3.1 Introducao
No presente captulo sera feito um estudo introdutorio dos problemas elticos nao
homogeneos. Embora limitando-se ao caso do Laplaciano, , o metodo e geral podendo
ser adaptado a operadores elticos mais gerais.
Seja um aberto limitado do R
n
com fronteira regular. Representa-se por
0
e
1
,
respectivamente, os tra cos em H
m
() da fun cao u e de sua derivada normal
u
Note-se
que e o vetor unitario da normal externa a .
Pretende-se analisar os seguintes problemas de contorno:
(P
1
)
u = f em
u = g sobre
(P
2
)
u + u = f em
u
= h sobre
O problema (P
1
) denomina-se de Dirichlet e o (P
2
) de Neumann.
Inicia-se estudando determinado espa co de Hilbert Y que desempenha pepel funda-
mental no que se segue. Realmente, dene-se
Y = u L
2
; u H
1
(),
125
126 CAP
ITULO 3. PROBLEMAS EL
ITICOS N
AO HOMOG
ENEOS
munido do produto escalar
(u, v)
Y
= (u, v) + (u, v)
H
1
()
,
com o qual Y e um espa co de Hilbert. Como foi estabelecido nos captulos anteriores,
(u, v), [u[ e ((u, v)), [[u[[ denotarao o produto escalar e norma dos espa cos L
2
() e H
1
0
()
respectivamente.
Observacao 26 Considere-se a aplicacao:
: H
1
0
() H
1
()
e seja
G = ()
1
: H
1
() H
1
0
().
Dados os vetores u, v H
1
(), dene-se a forma bilinear [ , ] em H
1
() por:
[u, v] = Gu, v)
H
1
0
()H
1
()
= ((Gu, Gv)).
Segue-se que [ , ] e um produto escalar em H
1
(). O produto escalar denido em Y e
derivado do produto escalar em L
2
() em H
1
() por [ , ].
A proxima etapa consiste em denir o tra co
0
para objetos de Y . Segue um metodo
analogo ao adotado no Captulo 2 para se denir o tra co em H
0
(). Consulte-se a nota cao
al empregada.
Proposicao 3.1.1 T() e denso em Y .
Demonstracao: Embora semelhante a feita para H
0
() no Captulo 2, sera feita sucinta-
mente. Tem-se que Y e um subespa co de Hilbert de L
2
() H
1
(). Considere uma forma
linear contnua M: Y R. Se M, ) = 0 para todo T() implicar M = 0, resulta que
T() e denso em Y .

E conseq uencia do teorema de Hahn-Banach. Seja

M a extensao de
3.1. INTRODUC

AO 127
M ao espa co L
2
() H
1
(). Resulta da Observa cao 1 e do Teorema de Riesz-Frechet que
existe f, h L
2
() H
1
0
() tal que
M, ) = (f,
1
) +h,
2
)
H
1
0
()H
1
()
,
para todo =
1
,
2
L
2
() H
1
(). Em particular, se u Y obtem-se:
M, u) = (f, u) +h, u)
H
1
0
()H
1
()
. (3.1.1)
Sejam

f,

h extensoes de f e h nulas no complemento de em rela cao ao R
n
. Obtem-
se:
f +
h, ) = (

f, ) +
h, )
para toda T(R
n
). Da, de (3.1.1) e da hipotese M, ) = 0, resulta que
f +
h = 0 em T
(R
n
). (3.1.2)
Sendo

f L
2
() obtem-se
h L
2
(R
n
). Logo

h e
h pertencem a L
2
(R
n
), portanto por
transformada de Fourier, resulta que

h H
2
(R
n
). Sendo regular, obtem-se h H
2
0
().
Seja (
) uma sucessao com
T() tal que
h em H
2
0
().
Para u Y resulta:
, u)
H
1
0
()H
1
()
= (
, u).
Logo, quando obtem-se:
h, u)
H
1
0
()H
1
()
= (h, u).
Substituindo em (3.1.1) resulta:
M, u) = (f, u) + (h, u) = (f + h, u) = 0
para todo u Y , isto e, M = 0.
128 CAP
ITICOS N
AO HOMOG
ENEOS
Considere a aplica cao T denida por:
H
3/2
() H
1/2
() H
2
() H
1
0
()
tal que 0, w v. Ela e linear e contnua.
Para todo u Y e w H
1/2
(), considere-se a fun cao numerica Su denida por:
Su, w) = (u, Tw) u, Tw)
H
1
()H
1
0
()
. (3.1.3)
Tem-se que Su e uma forma linear em H
1/2
() para cada u Y . Prova-se que Su e contnua.
De fato, tem-se:
[Su, w)[ [u[ [Tw[ +[[u[[
H
1
()
[[Tw[[
_
[u[
2
+[[u[[
2
H
1
()
_
1/2
_
[Tw[
2
+[[Tw[[
2
_

C[[u[[
Y
[[Tw[[
H
2
()H
1
0
()
C[[T[[ [[u[[
Y
[[w[[
H
1/2
()
.
Conclui-se que a forma linear Su e contnua em H
1/2
(), logo um objeto de H
1/2
(). Tem-
se, tambem,
[[Su[[
H
1/2
()
C[[T[[ [[u[[
Y
.
No que se segue dar-se-a sentido ao tra co
0
de um objeto de Y . Realmente, seja
u T() e w H
1/2
() sendo v = Tw H
2
() H
1
0
(). Devido à Formula de Green,
resulta:
0
u,
1
v) = (u, v) (u, v) (3.1.4)
e
0
em T() e uma forma linear contnua na norma de Y . Sendo T() denso em Y ,
resulta que a forma linear contnua
0
possui uma unica extensao, por continuidade, a Y ,
representada tambem por
0
. Diz-se que esta extensao
0
e o tra co de ordem zero em Y .
Sendo v = Tw, resulta de (3.1.4) que:
0
u, w) = (u, Tw) u, Tw)
H
1
()H
1
0
()
,
que comparando com (3.1.3) resulta que para todo u Y tem-se
0
u T
1/2
().
Um resumo do exposto vem dado no seguinte resultado:
3.2. PROBLEMA DE DIRICHLET 129
Teorema 3.1.1 A aplicacao linear
u Y
o
u H
1/2
()
e contnua e e valida a formula de Green
0
u,
1
v) = (u, v) u, v), v H
2
() H
1
0
().
A seguir estuda-se o Problema (P
1
) com diferente escolha de regularidade para os dados f e
g.
3.2 Problema de Dirichlet
Reescrevendo, tem-se:
(P
1
)
u = f em
u = g sobre
Considere f e g nao regulares. Uma das primeiras diculdades que aparece no estudo de
(P
1
) nesse caso e denir uma solu cao u do problema.
Deduz-se, de forma heurstica, uma deni cao de solu cao de u de (P
1
) quando f e g
sao nao regulares. Claro esta que uma das diculdades e precisar em que espa cos devem
habitar f e g. Nesta parte e que serao utlizados os resultados obtidos na Introdu cao.
Formalmente, obtem-se:
_
(u)v dx =
_
u(v) dx
_
v d +
_
u
v
d
e levando em considera cao (P
1
), resulta
_
u(v) dx =
_
f v dx
_
g
v
d +
_
v d.
130 CAP
ITICOS N
AO HOMOG
ENEOS
Como nao se tem nenhuma informa cao sobre
u
e natural supor que v[
= 0. Portanto
_
u(v) dx =
_
fv dx
_
g
v
d com v[
= 0.
E natural considerar u L
2
(). Com esta hipotese, o primeiro membro da ultima
igualdade so faz sentido se v L
2
(). Isto e a primeira restri cao sobre v implicam que
v H
2
()H
1
0
(), que por sua vez acarreta,
1
v H
1/2
(). Portanto, no termo
_
g
v
d
pode-se escolher g H
1/2
(). Do exposto vem
(u, v) = f, v) g,
1
v)
H
1/2
()H
1/2
()
, v H
2
() H
1
0
().
Falta precisar em que espa co deve estar f. Se na ultima igualdade se tomar v T() resulta
u, v) = f, v)
isto e, u = f. Entao o Problema (P
1
) com g H
1/2
() tera um sentido, isto e,
0
u H
1/2
(), se por exemplo f H
1
() (ver Teorema 3.1.1 da Introdu cao).
O exposto motiva a seguinte deni cao: Sejam
f H
1
() e g H
1/2
().
Uma fun cao u L
2
() que verica
(u, v) = f, v)
H
1
()H
1
0
()
g,
1
v)
H
1/2
()H
1/2
()
v H
2
() H
1
0
() (3.2.5)
e denominada uma solucao denida por transposicao do Problema (P
1
).
Divide-se o estudo da existencia de solu coes do Problema (P
1
) em tres casos, segundo
os espa cos de Sobolev onde serao tomadas as fun coes f e g.
Caso I. Suponha-se f H
1
() e g H
1/2
().
Tem-se o seguinte resultado
Proposicao 3.2.1 Para todo par f, g pertencente a H
1
() H
1/2
() existe um unico
u L
2
(), solucao denida por transposicao de (P
1
). Tem-se, ainda mais, que a aplicacao
linear
f, g H
1
() H
1/2
() u L
2
()
e contnua, onde
u = f em H
1
()
u = g em H
1/2
()
(3.2.6)
Demonstracao: A aplica cao linear
: H
2
() H
1
0
() L
2
() (3.2.7)
e uma isometria bijetiva, isto e,
[[u[[
H
2
()H
1
0
()
= [u[.
Da, o adjunto ()
de , denido por:
()
: L
2
() (H
2
() H
1
0
())
(3.2.8)
()
u, v) = (u, v), v H
2
() H
1
0
() (3.2.9)
e, igualmente, uma isometria bijetiva.
Observe que ()
e uma extensao de , uma vez que D() D(()
).
Considere L um objeto do dual (H
2
() H
1
0
())
, denido por
L, v) = f, v) g,
1
v), v H
2
() H
1
0
() (3.2.10)
sendo
1
o tra co de ordem um em H
2
(). Resulta de (3.2.8):
Existe um unico u L
2
() tal que
()
u = L, no sentido de (H
2
() H
1
0
())
132 CAP
ITICOS N
AO HOMOG
ENEOS
De modo equivalente tem-se:
Existe um unico u L
2
() tal que
L, v) = ()
u, v) para todo v H
2
() H
1
0
()
(3.2.11)
De (3.2.9), (3.2.10) e (3.2.11), obtem-se:
(u, v) = f, v) g,
1
v) (3.2.12)
para todo v H
2
()H
1
0
(), isto e, u e uma solu cao denida por transposi cao do Problema
(P
1
). A unicidade de u segue notando que a aplica cao (3.2.7) e sobrejetora.
Mostra-se que u = f em H
1
().
De fato, tomando v T() em (3.2.12) segue a arma cao.
Verica-se que
0
u = g em H
1/2
().
Com efeito, como u L
2
() e u H
1
() vem pelo Teorema 3.1.1 da Introdu cao
que
0
u H
1/2
() e e valida a formula de Green:
0
u,
1
v) = (u, v) u, v), v H
2
() H
1
0
().
Por outro lado de (3.2.12) resulta
g,
1
u) = (u, v) u, v), v H
2
() H
1
0
().
As duas ultimas igualdades acarretam o resultado desejado.
Continuidade da aplica cao
f, g H
1
() H
1/2
() H
1/2
() u L
2
()
u solu cao de (3.2.1).
Sejam h L
2
() e v solu cao do problema
v = h em
u[
= 0
Entao v H
2
() H
1
0
() e
[[v[[
H
2
()H
1
0
()
C[h[. (3.2.13)
De (3.2.12) resulta
(u, h) = f, v) g,
1
v).
Logo
[(u, h)[ [[f[[
H
1
()
[[v[[
H
1
0
()
+[[g[[
H
1/2
()
[[
1
v[[
H
1/2
()
que implica de (3.2.13)
[(u, h)[
_
[[f[[
2
H
1
()
+[[g[[
2
H
1/2
()
_
1/2
[h[.
Da vem
[u[
L
2
()
C
_
[[f[[
2
H
1
()
+[[g[[
2
H
1/2
()
_
1/2
provando a continuidade da aplica cao.
Da unicidade de solu coes denidas por transposi cao de (P
1
) vem que os Problemas
(3.2.5) e (3.2.1) sao equivalentes.
Caso II Considere-se f H
1
() e g H
1/2
().
Denomina-se solu cao de (P
1
), neste caso, a uma fun cao u H
1
() tal que
((u, v)) = f, v) para todo v H

1
0
()
0
u = g em H
1/2
()
(3.2.14)
Demonstra-se, a seguir, existencia, unicidade e dependencia contnua, como foi feito
no Caso I.
De fato, considere a fun cao
T: H
1/2
() H
1
(),
tal que Tg = w sendo
o
w = g, e
0
o tra co em H
1
(). Da resulta que o problema variacional
z H
1
0
()
((z, v)) = f, v) ((w, v)) para cada v H
1
0
()
(3.2.15)
134 CAP
ITICOS N
AO HOMOG
ENEOS
e bem posto no sentido de Hadamard. Portanto u = z + w pertence a H
1
() e solu cao do
problema:
u = f em H
1
()
0
u = g em H
1/2
()
(3.2.16)
que e o problema (3.2.14).
A unicidade segue de forma usual.
Resta provar a dependencia contnua. Realmente, considere as sucessoes (f
) e (g
)
de H
1
() e H
1/2
(), respectivamente, convergentes nos respectivos espa cos para f e g.
Tem-se Tg
= w
Tg em H
1
(). Seja z
a solu cao de (3.2.15) correspondente ao par

f
, g
. Resulta que para cada , N, tem-se:

((z
, v)) = f
, v) ((u
, v)), para cada v H

1
0
().
Considerando-se v = z
em H
1
0
(), obtem-se:
[[z
[[
2
H
1
0
()
[[f
[[
H
1
()
[[z
[[
H
1
0
()
+
+[[w
[[
H
1
()
[[z
[[
H
1
0
()
.
Da resulta que (z
) e de Cauchy em H
1
0
(). Logo converge para z H
1
0
() e
((z, v)) = f, v) ((w, v)) para cada v H
1
0
().
Portanto, u
= z
+ w
u = z + w em H
1
(), provando-se que a aplica cao linear
f, g H
1
() H
1/2
() u H
1
(),
sendo u solu cao de (16), e contnua.
Caso III Neste caso examina-se a solu cao de (P
1
) quando f H
1
() e g H
(), sendo
1
2
< < +
1
2
O metodo consiste em aplicar determinados resultados de interpola cao de
espa cos de Sobolev (cf. J.L. Lions - E. Magenes [11]).
De fato, foi demonstrado nos Casos I e II que as aplica coes
f, g H
1
() H
1/2
() u H
1
(), linear, contnua;
f, g H
1
() H
1/2
() u L
2
(), linear, contnua,
sendo u solu cao do problema (P
1
), em cada caso. Interpolando-se os espa cos, obtem-se:
[H
1/2
(), H
1/2
()]
= H
(1)
1
2
+(
1
2
)
() = H
(1/2)
()
sendo 0 1. Portanto, tomando-se
1
2
= , obtem-se
1
2

1
2

Analogamente, obtem-se:
[H
1
(), L
2
()]
(1/2)
= H
(1/2)+
()
notando-se que L
2
() = H
0
().
Conseq uentemente:
f, g H
1
() H
() u H
(1/2)+
(),
1
2

1
2
,
e linear e contnua, sendo u a unica solu cao do problema
u = f em
u = g sobre
(3.2.17)
com f H
1
() e g H
(), para
1
2

1
2

Analise da Aplicacao Traco
0
Do Caso I resulta que
f, g H
1
() H
1/2
() u Y (3.2.18)
e uma aplica cao linear e contnua. Ela e sobrejetiva por propriedades do tra co
0
. Pela
unicidade da solu cao do (P
1
), no Caso I, resulta que a aplica cao (3.2.14) e injetiva. Do Caso
II, obtem-se, tambem, que a aplica cao:
f, g H
1
() H
1/2
() u H
1
() (3.2.19)
e linear, contnua e bijetiva.
Aplicando-se resultados de interpola cao resulta:
[H
1
() H
1/2
(), H
1
() H
1/2
()]
(1/2)
= H
1
() H
()
136 CAP
ITICOS N
AO HOMOG
ENEOS
e
[H
1
(), Y ]
(1/2)
= Y
= u H
(1/2)+
(), u H
1
(),
1
2

1
2
Logo, de (3.2.18) e (3.2.19) e dos resultados de interpola cao, acima xados,
obtem-se:
f, g H
1
() H
() u Y
,
1
2

1
2
,
sendo u solu cao do problema
u = f em
u = g sobre ,
e uma aplica cao linear, contnua e bijetiva. Pelo Teorema do Graco Fechado, resulta que a
aplica cao inversa:
u Y
f, g H
1
() H
(),
1
2

1
2
,
e linear, contnua e bijetiva. Portanto a aplica cao tra co
0
:
u Y

0
u H
(),
1
2

1
2
, (3.2.20)
e linear e contnua.
Observacao 27 Note que se u Y entao u L
2
(). Conseguintemente, existe uma
sucessao (
) de objetos de T() tal que
u em L
2
(). Nao se tem, entretanto,
necessariamente, que
u em Y . De modo preciso, nao resulta da, necessariamente,

que
u em H
1
(), pois isto acarretaria que (
) seria uma sucessao de Cauchy

em H
1
0
(), logo u pertenceria a H
1
0
(). Logo nao resulta, necessariamente, que
0

0
u
em H
1/2
(). Analogo raciocnio aplica-se ao espaco Y
0
= u H
1/2
(); u H
1
().
Neste caso, de (20) vem que
0
u L
2
(), u Y
0
. Note-se que T() e denso em H
1/2
(),
cf. J.L. Lions - E. Magenes [11].
Caso IV Analisa-se, no presente paragrafo, o problema (P
1
) de Dirichlet, quando
f L
2
(). As conclusoes, aqui obtidas, serao empregadas no estudo do Teorema de Tra co
e da Formula de Green da Se cao 3.4.
Do resultado de regularidade de solu coes de problemas elticos, cf. H. Brezis [19],
resulta que se v for solu cao do problema:
v = f em , f L
2
()
v = 0 sobre
entao v H
2
() e [[v[[
L
2
()
C[f[, sendo C > 0 uma constante independente de f. Isto
acarreta, como feito no Caso II, que a aplica cao
f, g L
2
() H
3/2
() u H
2
(), (3.2.21)
sendo u solu cao do problema:
u = f em
0
u = g,
e linear, contnua e bijetiva. Considera-se (3.2.18). Observe-se que para 0 1, tem-se:
[H
3/2
(), H
1/2
()]
= H
(3/2)2
() (3.2.22)
e
[H
2
(), L
2
()]
= H
2(1)
(). (3.2.23)
Considere o espa co H
0
, cf. Captulo 2, paragrafo 2.8,
H
0
= u L
2
(); u L
2
(), (3.2.24)
com a estrutura Hilberteana:
(u, v)
H
0 = (u, v) + (u, v).
Resulta, portanto, de (3.2.22) e (3.2.23) que para 0 1, tem-se:
[L
2
() H
3/2
(), L
2
() H
1/2
()]
= L
2
() H
(3/2)2
()
e
[H
2
(), H
0
]
= H
2(1)
.
138 CAP
ITICOS N
AO HOMOG
ENEOS
Observe que H
, 0 2, e o espa co de Hilbert
H
= u H
(); u L
2
() (3.2.25)
munido do produto escalar
(u, v)
H
= (u, v)
H
()
+ (u, v).
Considere = 2(1 ). Entao
3
2
2 =
1
2
+. Decorre do exposto e por aplica cao
de argumentos analogos aos empregados no Caso III, que a aplica cao linear
f, g L
2
() H
(1/2)+
() u H
, 0 2 (3.2.26)
sendo u a solu cao do problema
u = f em
u = g sobre
e contnua e bijetiva. Tambem a aplica cao tra co
0
:
u H

0
u H
(1/2)+
(), 0 2 (3.2.27)
e contnua.
3.3 Problema de Neumann
No presente paragrafo investiga-se a solu cao do problema
(P
2
)
u + u = f em
u
= h sobre
sendo f e h fun coes reais denidas, respectivamente, em e sobre .
De incio, como foi feito no Problema de Dirichlet, vai-se denir solu cao de (P
2
)
quando f e h sao fun coes nao regulares.
3.3. PROBLEMA DE NEUMANN 139
Procede-se de forma heurstica. Formalmente, obtem-se:
_
(u + u)v dx =
_
u(v + v) dx
_
v d +
_
u
v
d.
Como nao se tem informa cao sobre u restrito a deve-se impor a condi cao
v
= 0.
Supondo u L
2
() vem que v + v deve pertencer a L
2
(). Isto e a primeira restri cao
implicam que v deve pertencer ao espa co
W = v H
2
();
1
v = 0 (3.3.28)
que por sua vez acarreta v H
3/2
(), portanto pode-se considerar h H
3/2
(). Tambem
considere f L
2
().
O anterior motiva a seguinte deni cao: Sejam
f L
2
() e h H
3/2
().
Entao u L
2
() que verica
(u, v + v) = (f, v) +h,
0
v)
H
3/2
()H
3/2
()
(3.3.29)
para todo v W, e denominada solucao denida por transposicao do Problema (P
2
).
Proposicao 3.3.1 Sejam
f L
2
() e h H
3/2
().
Entao o Problema (P
2
) possui uma unica solucao u L
2
() denida por transposicao. Alem
disso, a aplicacao linear
f, h L
2
() H
3/2
() u L
2
()
onde u e solucao do problema
u + u = f em L
2
()
1
u = h em H
3/2
(),
(3.3.30)
e contnua.
140 CAP
ITICOS N
AO HOMOG
ENEOS
Demonstracao: Seja A o operador denido pela terna H
1
(), L
2
(), (u, v)
H
1
()
. Entao
A = + I e como e regular, vem que
D(A) = u H
2
();
1
u = 0 = W
onde W foi denido por (3.3.28). Tambem para cada f L
2
() o problema de Neumann
u + u = f em
u
= 0 sobre
(3.3.31)
admite uma unica solu cao u D(A), sendo
[[u[[
H
2
()
C[f[, (3.3.32)
C uma constante independente de f e u (ver H. Brezis [19]). O espa co vetorial D(A) com o
produto escalar
(u, v)
D(A)
= (u + u, v + v)
e um espa co de Hilbert.
Do exposto vem
A: D(A) L
2
() (3.3.33)
e uma isometria linear sobrejetiva. Resulta entao que o adjunto
A
: L
2
() D(A)
e uma isometria sobrejetiva, sendo:

( + I)
u, v)
D(A)
D(A)
= (u, v + v). (3.3.34)
Dene-se em D(A) a forma linear L dada por:
L, v) = (f, v) +h,
0
v)
H
3/2
()H
3/2
()
, v D(A). (3.3.35)
Tem-se:
[L, v)[ [f[ [v[ +[[h[[
H
3/2
()
[[
0
v[[
H
3/2
()
que implica de (3.3.32)
[L, v)[ C
_
[f[
2
+[[h[[
2
H
3/2
()
_
1/2
[[v[[
D(A)
provando a continuidade de L em D(A), portanto L e um objeto de D(A)
.
Decorre, da e da sobrejetividade de A
, que existe u L
2
() tal que
( + I)
u = L em D(A)
ou
( + I)
u, v) = L, v), v D(A). (3.3.36)

Combinando (3.3.34), (3.3.35) e (3.3.36) vem que
(u, v + v) = (f, v) +h,
0
v)
H
3/2
()H
3/2
()
, v D(A) (3.3.37)
isto e, u e uma solu cao denida por transposi cao de (P
2
). A unicidade de u e conseq uencia
da sobrejetividade da aplica cao A dada em (3.3.33).
Mostra-se que u + u = f em L
2
().
Com efeito, considerando v T() obtem-se o resultado.
Mostra-se que
1
u = h em H
3/2
().
De fato, considera-se o espa co H
0
, cf. Captulo 2, paragrafo 2.7. Resulta dos resulta-
dos a obtidos, que a aplica cao tra co
u H
0
u =
0
u,
1
u H
1/2
() H
3/2
()
e linear e contnua e vale a seguinte formula de Green:
(u, v) = (u, v)
1
u,
0
v)
H
3/2
()H
3/2
()
+
0
u,
1
v)
H
1/2
()H
1/2
()
para todo v H
2
() e u H
0
.
142 CAP
ITICOS N
AO HOMOG
ENEOS
Como u H
0
vem entao que
1
u H
3/2
() e
(u + u, v) = (u, v + v)
1
u,
0
v)
H
3/2
()H
3/2
()
para todo v D(A), ou
(f, v) = (u, v + v)
1
u,
0
v)
H
3/2
()H
3/2
()
, v D(A). (3.3.38)
De (3.3.37) e (3.3.38) vem o resultado desejado.
Continuidade da aplica cao linear
f, h L
2
() H
3/2
() u L
2
()
onde u e solu cao de (3.3.30).
De fato, seja L
2
() e v solu cao de (3.3.30) com em lugar de f. Da condi cao
(3.3.37) resulta
(u, ) = (f, v) +h,
0
v)
H
3/2
()H
3/2
()
para todo v D(A). Da estimativa (3.3.32) obtem-se [[v[[
H
2
()
C[[, portanto
[(u, )[ C[[f, g[[
L
2
()H
3/2
()
[[v[[
H
2
()
C[[f, g[[
L
2
()H
3/2
()
[[
o que implica
[u[ C[[f, g[[
L
2
()H
3/2
()
mostrando a continuidade da aplica cao.
Nota-se que pela unicidade das solu coes denidas por transposi cao do Problema (P
2
),
os problemas (3.3.29) e (3.3.30) sao equivalentes.
Observacao 28 Tem-se que a aplicacao linear
f, h L
2
() H
3/2
() u H
0
onde u e a solucao de (3.3.30), e contnua e bijetiva.
Considere-se, agora, f L
2
() e h H
1/2
(). Seja w H
2
() tal que
1
u = h.
Entao, do Teorema de Traco (cf. Captulo 2, paragrafo 2.8), resulta que w pode ser escolhido
de modo que
[[w[[
H
2
()
C[[h[[
H
1/2
()
. (3.3.39)
Para este w, seja v a solucao do problema:
v + v = f w w em
v
= 0 sobre .
Resulta que para esta escolha de w, a solucao v H
2
() e de (3.3.32) e (3.3.39) obtem-se:
[[v[[
H
2
()
C[[f[ +[w[ +[w[] C([f[ +[[h[[
H
1/2
()
). (3.3.40)
Tomando-se u = v + w, obtem-se:
u + u = f em
u
= h sobre ,
(3.3.41)
resultando de (3.3.39) e (3.3.40) que
[[u[[
H
2
()
C([f[ +[[h[[
H
1/2
()
).
Tem-se que u e unica.
Conclui-se, portanto, que a aplicacao linear
f, g L
2
() H
1/2
() u H
2
(), (3.3.42)
sendo u solucao de (3.3.41), e contnua e bijetiva.
No que se segue, serao aplicados resultados de interpola cao para a obten cao da solu cao
do problema de Neumann em outros espa cos de Sobolev (cf. J.L. Lions - E. Magenes,[11]).
De fato, para 0 1, obtem-se:
[H
1/2
(), H
3/2
()]
= H
(1/2)2
()
144 CAP
ITICOS N
AO HOMOG
ENEOS
e
[H
2
(), L
2
()]
= H
2(1)
().
Seja = 2(1 ) entao
1
2
2 =
3
2
+ . Resulta da Proposi cao 3.3.1 e (3.3.42) que a
aplica cao linear, com 0 2,
f, h L
2
() H
(3/2)+
() u H
(),
e contnua, sendo u a unica solu cao do problema:
u + u = f em
1
u = h sobre .
Igualmente da Proposi cao 3.3.1, (3.3.42) e do teorema do graco fechado, resulta que
a aplica cao linear, com 0 2,
u H
f, h L
2
() H
(3/2)+
()
e contnua.
O espa co H
foi denido em (3.2.25), isto e,

H
= u H
(); u L
2
().
Resulta, da, que a aplica cao tra co
1
dada por:
u H

1
u H
(3/2)+
() (3.3.43)
e contnua para 0 2.
Em particular, para =
3
2
, conclui-se que o tra co
1
dado por:
u H
3/2

1
u L
2
()
e contnua.
3.4. TEOREMA DO TRAC O. F
ORMULA DE GREEN 145

3.4 Teorema do Traco. Formula de Green
A nota cao desta se cao sera a que foi xada na se cao anterior. Verique as nota coes
H
, 0 2,
0
e
1
.
Teorema 3.4.1 A aplicacao traco
u H
u =
0
u,
1
u H
(1/2)+
() H
(3/2)+
(), (3.4.44)
para 0 2, e linear e contnua. Tem-se a seguinte Formula de Green:
(u, v) = (u, v)
1
u,
0
v)
H
(3/2)+
() H
(3/2)
()
+ (3.4.45)
+
0
u,
1
v)
H
(1/2)+
() H
(1/2)
()
,
para 0 2, u H
e v H
2
.
Demonstracao: Reescrevendo (3.2.27), Caso IV, vem que a aplica cao linear
0
u H

0
u H
(1/2)+
(), 0 2,
e contnua.
De (3.3.43), cf. Se cao 3.3, Problema de Neumann, resulta que a aplica cao linear
1
u H

1
u H
(3/2)+
(), 0 2,
e contnua.
Resulta que a aplica cao tra co =
1
,
2
e linear e contnua de H
em H
(1/2)+
()
H
(3/2)+
(), com 0 2. Permutando por 2 em (3.4.44) resulta que a aplica cao
tra co =
1
,
2
, tal que
v H
2
v =
0
v,
1
v H
(3/2)
() H
(1/2)
(),
0 2, e contnua.
146 CAP
ITICOS N
AO HOMOG
ENEOS
Considere-se u e v em H
2
(). Obtem-se:
(u, v) = (u, v) (
1
u,
0
v)
L
2
()
+ (
0
u,
1
v)
L
2
()
. (3.4.46)
Note-se que:
(
1
u,
0
v)
L
2
()
=
1
u,
0
v)
H
(3/2)+
() H
(3/2)
()
e
(
0
u,
1
v)
L
2
()
=
0
u,
1
v)
H
(1/2)+
() H
(1/2)
()
.
Portanto, modica-se (3.3.43), obtendo-se:
(u, v) = (u, v) =
1
u,
0
v)
H
(3/2)+
() H
(3/2)
()
+
+
0
u,
1
v)
H
(1/2)+
() H
(1/2)
()
, u, v H
2
().
(3.4.47)
Observe, tambem, que [H
2
(), H
0
]
1(/2)
= H
, com 0 2, implicando que H

2
() e
denso em H
. Desta densidade e da continuidade de denida em (3.4.44), resulta que a

igualdade (3.4.47) e valida para todo u H
e v H
2
(). Aplicando, novamente, o mesmo
raciocnio a resultado obtido, conclui-se que (3.4.47) e valida para todo u H
e v H
2
,
que e a Formula de Green procurada.
Considere-se o operador A denido na Se cao 3.3, Problema de Neumann, isto e,
A = + I com domnio
D(A) = u H
2
();
1
u = 0.
Sejam (w
) e (
) os vetores proprios e valores proprios, respectivamente, de A. Note-se que
1 para todo N. Tem-se, para 0 1,

D(()
) =
_
u L
2
();
=1
(
1)
2
[(u, w
)[
2
<
_
e
()
u =
=1
(
1)
(u, w
)w
(cf. M. Milla Miranda [25]).

E claro que D(()
) = D(A
), 0 1.
3.4. TEOREMA DO TRAC O. F
ORMULA DE GREEN 147

Proposicao 3.4.1 Tem-se:
(u, v) = (()
u, ()
1
v)
1
u,
0
v)
H
(3/2)+
() H
(3/2)
()
, (3.4.48)
para 0
1
2
e u H
2
, v D(A). Para =
1
2
, vale a formula:
(u, v) = (u, v)
1
u,
0
v)
H
1/2
() H
1/2
()
, (3.4.49)
sendo u H
1
e v H
1
(). (Esta expressao ja foi obtida no Captulo 2, Secao 2.5.2).
Demonstracao: Seja v D(A). Da Formula de Green (3.4.45), obtem-se:
(u, v) = (u, v) =
1
u,
0
v)
H
(3/2)+
() H
(3/2)
()
,
para v H
2
. Note-se queD(A) D(A
1
), e que para 0
1
2
, H
2
D(A
) =
H
2
(). Entao, sendo D(A
) = D(()
), 0 1, resulta que a ultima formula pode

ser escrita na forma (3.4.48). A expressao (3.4.49) e obtida aplicando (3.4.48) com =
1
2
e
observando que D(A) D(A
1/2
) = H
1
() e D(A) denso em D(A
1/2
).
148 CAP
ITICOS N
AO HOMOG
ENEOS
Bibliograa
[1] M. Artola Variational inequalities, Autumn course on mathematical and numerical
methods in uid dynammics, Trieste, 1973.
[2] R.A. Cipolati Uma aplicacao do teorema de Lions-Stampacchia a um problmea de
elasticidade, Tese de Mestrado, IM-UFRJ, 1976.
[3] D.G. Figueiredo e F. Treves Espacos vetoriais topologicos e distribuicoes, Notas de
Matematica n
0
41, Rio de Janeiro.
[4] E. Gagliardo Proprietà di alcune classi di funzioni in pi` u variabili, Ricerce di Mat.
vol. VIII (1958), 102137.
[5] D. Huet Distributions and Sobolev spaces, University of Maryland, 1970.
[6] C.H. Honig Aplicacoes da topologia à analise, IMPA-CNPq (Projeto Euclides), Rio
de Janeiro, 1976.
[7] V.K. Khoan Distributions, analyse de Fourier, operateurs aux derivees partielles,
Tome II, Vuibert, Paris 1972.
[8] J.L. Lions Problèmes aux limites dans les equations aux derivees partielles, Les Presses
de lUniversite de Montreal, Montreal, 1965.
[9] J.L. Lions Cours danalyse numerique, Hermann, Paris, 1974.
149
150 BIBLIOGRAFIA
[10] J.L. Lions

Equations aux derivees partielles et calcul des variations (Cours IHP) 1967,
Paris.
[11] J.L. Lions, E. Magenes Problèmes aux limites non homogènes, Vol. I, Dunod, Paris,
1968.
[12] L.A. Medeiros e P.H. Rivera Espacos de Sobolev e equacoes diferenciais parciais, IM-
UFRJ, 1965.
[13] R. Riesz, B.Sz. Nagy Functional Analysis, F. Ungak, N.Y. 1955.
[14] L. Schwartz Theorie des distributions, Vol. I, II, Hermann, Paris, 1951.
[15] S. Sobolev Applications of functional analysis in mathematical physics, A.M.S. 1963.
[16] K. Yosida Functional Analysis, Springer Verlag, 1965.
Bibliograa Complementar
[17] R.A. Adams Sobolev Spaces, Academic Press, N.Y., 1975.
[18] J.A. Aubin Approximation of Elliptic Boundary Value Problems, Wiley Interscience,
N.Y., 1972.
[19] H. Brezis Analyse Fonctionelle (Theorie et Aplications), Masson, Paris, 1973.
[20] M.P. do Carmo Dierential Geometry of Curves and Surfaces, Prentice-Hall, N.J.,
USA, 1976.
[21] G. Chavant Analyse Fonctionelle et Discretisation, INRIA, France, 1977.
[22] R. Dautray e J.L. Lions Mathematical Analysis and Numerical Methods for Science
and Technology, V.3, Springer-Verlag, 1983.
BIBLIOGRAFIA 151
[23] S. Kesavan Topics in Functional Analysis and Applications, Wiley Easten Limited,
New Delhi, 1990.
[24] N. Meyers and J. Serrin H = W, Proceedings Nat. Acad. Sci. USA, 51 (1964), 1055
1056.
[25] M. Milla Miranda Analise Espectral em Espacos de Hilbert, IM-UFRJ, Rio de Janeiro,
RJ, Brasil, 1990.
[26] R. Temam Navier-Stokes Equations (Theory and Numerical Analysis), North-Holland,
Amsterdam, 1979.
Instituto de Matematica, UFRJ
Caixa Postal 68530
CEP 21941909, Rio de Janeiro, RJ, Brasil

Livro Esp Sobolev (Ufrj)

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Livro Esp Sobolev (Ufrj)

Uploaded by

Copyright:

Available Formats

Instituto de Matematica - UFRJ

Inicia cao aos Problemas Elticos nao Homogeneos

denota-se o operador de deriva cao de ordem denido por

ASICOS SOBRE DISTRIBUIC

u(x) v(x) dx, v complexo conjugado de v.

() denota-se o espa co de Banach das fun coes numericas u, mensuraveis em e que

) = 0 para todo O aberto limitado de .

) uma sucessao de fun coes de L

u) converge para zero em L

ASICOS SOBRE DISTRIBUIC

= q/r(1 ) . Observe que

exp (1/(1 [[x[[

e, para cada , uma fun cao teste no R

) de fun coes testes no R

ASICOS SOBRE DISTRIBUIC

v satisfaz todas as condi coes requeridas.

) uma sucessao de vetores de R

0. Primeiro mostra-se a continuidade para u =

) a sucessao regularizante dada no Exemplo 2. Se u L

(y)u(x y) u(x) dy (1.2.8)

(y) dy = 1. Se p = 1, do Teorema de Fubini, resulta

ASICOS SOBRE DISTRIBUIC

a sucessao de subconjuntos compactos de dada na Observa cao

a fun cao caracterstica de K

possuem suporte compacto, para provar o corolario e

por fun coes de C

u) e uma sucessao de fun coes testes no R

a restri cao a da fun cao

, da sucessao dada, estao contidos num

) converge para zero uniformemente em K.

) converge para zero no sentido dado acima.

ASICOS SOBRE DISTRIBUIC

() converge para zero em

)) converge para zero em

(). Diz-se que

ASICOS SOBRE DISTRIBUIC

udx = 0 para toda em T(O), implica

(Im u) = 0, T(), uma fun cao real.

E oportuno observar que existem distribuicoes nao denidas por funcoes de L

a fun cao teste

) uma sucessao de fun coes de L

(x) u(x)[ dx,

ASICOS SOBRE DISTRIBUIC

() foi mostrada no Exemplo 3. A densidade de T() em T

) a sucessao de subconjuntos compactos de dada na

) de fun coes testes em converge para u em L

T denida em T() por:

) para todo T().

T e uma distribui cao sobre .

(). Isto signica que se

u no sentido das distribui coes

u e a derivada no sentido das distribui coes. A igualdade acima e uma con-

() para cada T() tem-se T() e se lim

= 0 em T() (segue-se da Formula de Leibniz para fun coes). Quando T e

ASICOS SOBRE DISTRIBUIC

= 0 em T(), segue-se que lim

(U), a forma linear T [

, ) = T, ) para todo em T(), e uma distribui cao sobre denominada a

(x)[ < , (1.3.12)

)) converge para zero

) converge para em o(R

)) converge para zero em K

(x) = (x/) para todo x R