Espaços de Sobolev. Iniciação Aos Problemas Elíticos Não Homogêneos (2000) - Medeiros, Miranda

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 informacoes historicas sobre sua origem.
Nesta edicao, o Captulo III versa sobre os problemas de Dirichlet e Neumann, para
o Laplaciano, no caso nao homogeneo com escolhas gerais das condicoes 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 equacoes
diferenciais parciais do Instituto de Matematica da UFRJ.
Os autores agradecem aos colegas e aos seus alunos pelo estmulo para aperfeicoar as
edicoes anteriores que convergiram para a atual. Em particular, gostaramos de deixar nossos
agradecimentos ao Marcos Ara ujo, pela cuidadosa revisao do texto acrescentado modicacoes
que o tornaram mais inteligvel.
Ao Wilson Goes, agradecemos pelo perfeito trabalho de digitacao.
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 espacos de Sobolev e equacoes diferenciais parciais, realizado no Centro Brasileiro de
Pesquisas Fsicas, na esperanca de despertar a atencao de algum estudante para o aspecto
das equacoes diferenciais parciais formulado em termos destes espacos. 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 espacos de Sobolev, para as quais este texto se adapta considera-
velmente. Deste modo, preparamos esta monograa, baseada nas exposicoes feitas no se-
minario de equacoes diferenciais parciais e em nossas aulas nas disciplinas de pos-graduacao
do IM, tendo por objetivo introduzir estudantes interessados em linhas de pesquisa liga-
das às equacoes diferenciais parciais nao lineares, controle otimo de sistemas governados
por equacoes diferenciais parciais, inequacoes variacionais ou analise numerica de elementos
nitos.
A exposicao divide-se em tres captulos. O Captulo I e um pequeno fascculo de
resultados sobre distribuicoes a ser usado nos captulos seguintes. O Captulo II contem os
teoremas elementares sobre os espacos de Sobolev e, com base neste, e possvel entender
varios aspectos do estudo de solucoes fracas de equacoes 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 Equacoes 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 esperanca de que possamos de fato atrair a atencao daqueles interessa-
dos em matematica aplicada, para este aspecto das equacoes diferenciais parciais, lembrando,
todavia que, como diz Erich From, ter esperanca, 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 à dedicacao do Sr. Arlindo Coutinho de Azevedo, chefe da Secao 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 introducao aos Espacos de Sobolev que aqui apresentamos, e uma revisao dos
Captulos I e II de nossa monograa Espacos de Sobolev e Equacoes Diferenciais Parciais
(Bibliograa n umero 11).
A presente edicao alem das correcoes decorrente da revisao acima mencionada, vem
aumentada do estudo do traco de ordem m e do traco da derivada normal. Deste modo, a
exposicao ca completa, servindo de base ao estudo de uma ampla variedade de problemas
relacionados aos sistemas governados por equacoes diferenciais parciais. Para uma exposicao
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 Introducao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Espaco de Funcoes Testes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2.1 Os Espacos L
p
() e Convolucao de Funcoes . . . . . . . . . . . . . . 2
1.2.2 Exemplos de Funcoes Testes . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.3 Regularizacao de Funcoes . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.4 Convergencia em T() . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3 Distribuicoes sobre um aberto do R
n
. . . . . . . . . . . . . . . . . . . . . 10
1.3.1 Produto de Funcoes por Distribuicoes . . . . . . . . . . . . . . . . . 15
1.3.2 Restricao de Distribuicoes . . . . . . . . . . . . . . . . . . . . . . . . 16
1.3.3 Distribuicoes Temperadas . . . . . . . . . . . . . . . . . . . . . . . . 16
1.3.4 Transformada de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . 19
2 Espacos de Sobolev 23
2.1 Introducao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.2 Propriedades Elementares dos Espacos de Sobolev . . . . . . . . . . . . . . . 23
2.2.1 Geometria dos Espacos de Sobolev . . . . . . . . . . . . . . . . . . . 24
2.2.2 O Espaco W
m,p
0
() . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.2.3 O Espaco W
m,q
() . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
ix
x SUM
ARIO
2.2.4 Reexividade dos Espacos de Sobolev . . . . . . . . . . . . . . . . . . 33
2.2.5 Os Espacos H
m
() e H
m
() . . . . . . . . . . . . . . . . . . . . . . 34
2.3 Imersoes de Espacos 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 Espacos W
m,p
() . . . . . . . . . . . . . . . . . . . . . . . . . . 75
2.5.1 Imersoes Contnuas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
2.5.2 Imersoes Compactas . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
2.6 Espacos H
s
() . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
2.7 Teoremas de Traco . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
2.8 Traco da Derivada Normal . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118
2.9 Formula de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
3 Problemas Elticos nao Homogeneos 125
3.1 Introducao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
3.2 Problema de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
3.3 Problema de Neumann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 138
3.4 Teorema do Traco. Formula de Green . . . . . . . . . . . . . . . . . . . . . . 145
Captulo 1
Resultados Basicos Sobre
Distribuicoes
1.1 Introducao
No presente captulo serao xadas terminologia, a notacao e certos resultados sobre
integracao e teoria das distribuicoes, 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 derivacao 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 funcao u. Por D
i
, para i = 1, 2, . . . , n,
representa-se a derivacao 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 funcoes numericas sucientemente derivaveis, tem-se a regra de Leibniz dada por
D
(uv) =
!
!( )!
(D
u)(D
v).
Sejam E e F dois espacos topologicos com E F. Para indicar que a imersao de E
em F e contnua sera usada a notacao 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 nocoes previas.
1.2.1 Os Espacos L
p
() e Convolucao de Funcoes
Seja u uma funcao 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 funcoes 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 funcao numerica, mensuravel no R
n
. A funcao
y
u denida por (
y
u)(x) =
u(x y) denomina-se a translacao de u por y. Mostra-se que
supp(
y
u) = y + supp u.
Representa-se por L
p
(), 1 p < , o espaco de Banach das funcoes 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 espaco 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 espaco de Banach das funcoes 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 espaco localmente convexo das funcoes
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 funcoes 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 funcoes 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 funcoes numericas denidas no R
n
. Considera-se a convolucao u v das
funcoes 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 espaco vetorial das funcoes numericas denidas em ,
com suporte compacto, possuindo em derivadas parciais contnuas de todas as ordens. Os
elementos de C
0
() sao denominados funcoes 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 funcao do Exemplo 1. Para cada = 1, 2, . . . , n, . . .
considere a funcao
: R
n
R denido por
(x) = (
n
/k)(x) para todo x R
n
.
Mostra-se que
e, para cada , uma funcao 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 funcoes 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 funcao 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 funcao 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 condicoes requeridas.

1.2.3 Regularizacao de Funcoes
O objetivo nesta secao 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 aplicacao 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 translacao 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
funcao 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 translacao e contnua em y = 0 para u funcao escada
de R
n
, isto e, para u igual a uma combinacao linear nita de funcoes caractersticas de
subconjuntos abertos limitados de R
n
.
Note-se que o conjunto das funcoes escadas do R
n
e denso em L
p
(R
n
). Seja u L
p
(R
n
)
e > 0. Entao existe uma funcao 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 translacao
y
u demonstrada na
Proposicao 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 translacao 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 Observacao

1. Se u L
p
(), para cada = 1, 2, . . . seja K
a funcao caracterstica de K
e considere
a funcao 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 funcoes u
possuem suporte compacto, para provar o corolario e

suciente aproximar as funcoes u
por funcoes 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 funcoes testes no R

n
que converge
para u em L
p
(R
n
). Represente por v
a restricao a da funcao
u. Resulta que v
e uma
funcao 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 funcoes de C
0
() e convergente para zero, quando
as seguintes condicoes forem satisfeitas:
a) Os suportes de todas as funcoes 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 espaco vetorial C
0
() com esta nocao 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 distribuicoes sobre e um espaco vetorial o qual representa-se por T
(). Neste
espaco vetorial diz-se que uma sucessao (T
) de vetores de T
() converge para zero em

T
(), quando para toda funcao 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 distribuicao 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 condicao 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 Secao 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 consideracao (1.3.11)
obtem-se:
_
K
v dx
_
O
v dx
_
O\K
v dx
+ med(O).
Da denicao 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 demonstracao acima e valida para u tomando valores reais. Se u toma valores
complexos, observa-se que a condicao
_
udx = 0 para toda em T(O), implica

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

A proposicao segue aplicando a demonstracao 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 distribuicao sobre , denominada distribuicao de Dirac ou
medida de Dirac concentrada em x
0
. Quando x
0
= 0 escreve-se
0
.
Mostra-se que a distribuicao
x
0
nao e denida por uma funcao 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 funcao 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
contradicao.
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 funcao teste
(x) =
1
k
n
_
x x
0
_
para todo x ,
sendo a funcao teste denida no Exemplo 1 da Secao 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 funcoes 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 armacao.
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

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

A sucessao (
) de funcoes testes em converge para u em L

p
loc
() quando .
Considere uma distribuicao T sobre e N
n
. A derivada de ordem de T e, por
denicao, 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 distribuicao sobre .

Segue-se da denicao acima que cada distribuicao T sobre possui derivadas de todas
as ordens. Assim, as funcoes de L
1
loc
() possuem derivadas de todas as ordens no sentido
das distribuicoes. Observe que a aplicacao
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 funcao de L
1
loc
(),
nao e, em geral, uma funcao de L
1
loc
(), como mostra o exemplo que vem a seguir. Tal fato,
1.3. DISTRIBUIC

N
15
motivara a denicao de uma classe signicativa de espacos de Banach de funcoes, conhecidos
sob a denominacao de Espacos de Sobolev, tendo este texto como um dos objetivos fazer um
estudo introdutorio destes espacos.
Exemplo 4. Seja u a funcao 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 distribuicoes

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 integracao de Gauss.
Exemplo 6. Seja u L
1
loc
(R
n
) e k N. Suponha que para cada [[ k, T
u pertenca 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 distribuicoes. A igualdade acima e uma con-

seq uencia da denicao de derivada e do Teorema de Fubini.
A seguir serao xados certos resultados sobre multiplica cao de uma distribuicao por
uma funcao, restricao de uma distribuicao, distribuicao 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 funcoes). Quando T e

uma distribuicao 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 distribuicao 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 funcao
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 distribuicao sobre denominada a

restricao 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 funcao 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 espaco vetorial o(R
n
) das funcoes rapidamente decrescentes no innito,
no qual deniremos a seguinte nocao de convergencia: uma sucessao (
) de funcoes 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 espaco vetorial de todas as distri-
buicoes 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 espaco 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 funcoes de T(R
n
) converge para u em o(R
n
). Para mostrar a convergencia
observe que pela Formula de Leibniz para funcoes, 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 distribuicao temperada, sua
restricao a T(R
n
) e uma distribuicao sobre R
n
, a qual ainda representa-se por T. Alem
disto, se S e uma distribuicao sobre R
n
tal que existe C > 0 e k N satisfazendo a condicao:
[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 distribuicao
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 distribuicao 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 distribuicao 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 distribuicao temperada.
Seja T o
(R
n
) e C
(R
n
). Entao o produto T nao e necessariamente uma
distribuicao 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 distribuicao temperada.
1.3.4 Transformada de Fourier
Dada uma funcao u L
1
(R
n
), dene-se sua transformada de Fourier como sendo a
funcao 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 aplicacao (
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 distribuicao 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-
buicoes 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 funcoes
(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 espaco 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 distribuicao temperada, coincidem.
Tem-se o seguinte resultado.
Teorema de Plancherel. As aplicacoes
T: L
2
(R
n
) L
2
(R
n
) e

T: L
2
(R
n
) L
2
(R
n
)
sao isomorsmos de espacos 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 notacoes u e u no lugar de Tu e

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

N
21
Exerccios
1. Seja u: R R uma funcao 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 funcoes (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 Secao 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 funcao 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 aplicacao às equacoes diferenciais parciais. Inicialmente introduz-se a nocao
de espaco 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 traco e uma generalizacao do teorema de Green.
2.2 Propriedades Elementares dos Espacos de Sobolev
Sao estudadas nesta secao propriedades elementares da geometria dos espacos 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 distribuicoes. Viu-se
que D
u nao e, em geral, uma distribuicao denida por uma func ao de L

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

p
(), dene-se um novo espaco denominado espaco de
Sobolev. Representa-se por W
m,p
() o espaco vetorial de todas as funcoes 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

distribuicoes. 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 funcao [[u[[
m,p
, 1 p , e uma norma em W
m,p
(). Os
espacos 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 espaco 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 proposicao e suciente mostrar que D
u = v
no sentido das distribuicoes,

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 derivacao 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 proposicao.
O caso particular p = 2 e util nas aplicacoes e neste caso o espaco de Sobolev W
m,p
()
e representado por H
m
(). O espaco H
m
() e um espaco 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 espaco 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 funcao T(), tem-se T(R
n
) W
m,p
(R
n
) e as condicoes
a)c) sao satisfeitas por . Segue-se que a funcao : T() W
m,p
(R
n
) e uma isometria
linear de espacos 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 funcoes 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 proposicao.

Com base na proposicao 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 distribuicao
denida por uma funcao 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 demonstracao da proposicao esta concluda.
Observe-se que a recproca da Proposicao 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 condicoes 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 Proposicao 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 demonstracao e primeiro aproximar os elementos de W
m,p
(R
n
)
por elementos do mesmo espaco mas com suporte compacto. A seguir, aproximar os elemen-
tos de W
m,p
(R
n
) com suporte compacto por funcoes testes em R
n
.
De fato, seja uma funcao 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 funcoes 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 funcoes 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 func oes de W
m,p
() o qual sera
usado na demonstracao da proxima proposicao.
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 denicao, ver Secao 1.2.1 do Captulo 1,
supp u = O onde O =
_
iI
O
i
. A observacao 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 funcao teste no R
n
tal que
= 1 numa vizinhanca U do supp u, U . Para toda em T(R
n
), tem-se [
e uma
funcao 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 Observacao 5.
Tem-se tambem supp u = sup u, que e um compacto do R
n
, portanto (
u) e uma
sucessao de funcoes testes no R
n
que converge para u em W
m,p
(R
n
). Seja u
a restricao 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 funcoes testes em convergindo para u em W
m,p
(), isto
e, u W
m,p
0
(), o que prova a proposicao.
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 funcoes testes em tal que
0 em
T(). Resulta que
0 em W
m,p
0
(), portanto, f,
) 0, o que permite concluir que

a restricao de f a T() e uma distribuicao. Considere a aplicacao 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 aplicacao permite identicar

W
m,q
() a um subespaco vetorial de T
() e com esta identicacao tem-se:

W
m,q
() T
().
Quando se diz que uma distribuicao T pertence a W
m,q
(), signica dizer que T,
denida em T(), pode ser estendida como um funcional linear contnuo ao espaco W
m,p
0
().
Esta extensao contnua e representada por T. O resultado que segue caracteriza as distri-
buicoes 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 demonstracao 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 espaco 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 aplicacao
: 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 subespaco 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 espaco 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 espaco (W
m,p
())
nao dene um espaco

de distribuicoes sobre .
2.2.4 Reexividade dos Espacos de Sobolev
Para provar que os espacos 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 espaco 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 aplicacoes

deste argumento encontra-se uma subsucessao (v
) de (u
) e uma funcao 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 Observacao 2.2.3 desta secao,
tem-se a existencia de funcoes 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 distribuicao nao necessariamente denida por uma funcao 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 realizacao 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 funcao teste em , portanto, Lu, ) = 0 para toda funcao 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 Proposicao 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 proposicao, desde que L
e uma
funcao 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 Proposicao 2.2.7, segue o corolario.
Para concluir esta secao mostra-se a Desigualdade de Poincare da qual obtem-se sig-
nicantes propriedades para os espacos H
m
0
(). Inicia-se introduzindo a seguinte denicao.
Diz-se que o aberto do R
n
e limitado na direcao x
i
se existe um intervalo aberto nito
]a, b[ da reta tal que
pr
i
]a, b[
onde pr
i
e a projecao 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 direcao x
1
. Considera-se a notacao
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 Observacao 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 demonstracao 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
s ao 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 demonstracao 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 relacao entre os espacos de Sobolev W
m,p
(R
n
) e certos espacos
classicos de funcoes 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 Secoes 2.3.4 e 2.3.5, respectivamente. Assim todos os casos possveis
sao analisados.
No que se segue, nas tres primeiras secoes, estuda-se a parte I), isto e, quando n 2
e 1 p < .
2.3.1 Caso mp < n
Nesta secao mostra-se a imersao contnua de W
m,p
(R
n
) em L
q
(R
n
), q especial.
Inicia-se o estudo com a obtencao de alguns resultados preliminares. Representa-se
por p
i
(i = 1, 2, . . . , n) a projecao 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 projecoes
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 proposicao 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 proposicao.
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 condicao b). Mostra-se que u
1
tambem satisfaz a
primeira condicao 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 funcao 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 Proposicao 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 Proposicoes 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 Proposicao 2.3.2. Pela parte a) desta
proposicao 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 Proposicao 2.3.2, resulta:
[(x)[
q
= ([(x)[
p/(np)
)
n
i=1
[u
i
(p
i
(x))[, x R
n
.
Pela Proposicao 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 demonstracao 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 funcoes em T(R
n
). Na prova
aplica-se o metodo de inducao com relacao a m. Com efeito, para m = 1 a desigualdade
(2.3.14) e a desigualdade obtida na Proposicao 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 inducao e da Proposicao 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 funcoes 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 espaco 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 espaco 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 Proposicao 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 secao 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 Observacao 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 inducao com relacao 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 inducao, 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 interpolacao, Proposicao 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 inducao com relacao 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 inducao 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 interpolacao de espacos 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
espaco de Banach das funcoes contnuas e limitadas em R
n
com valores em K, equipado com
a norma do supremo em R
n
(ver a secao a seguir).
2.3.3 Caso mp > n
m,p
(R
n
) esta imerso continuamente num espaco de funcoes
regulares em R
n
.
Inicialmente introduz-se alguns espacos que serao utilizados na formulacao dos resul-
tados. Com efeito, denota-se por C
k
b
(R
n
), k inteiro nao negativo, o espaco de Banach das
funcoes 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 espaco de Banach das funcoes 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 armacao.
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 funcao 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 demonstracao.
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 Observacao 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 condicoes
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 funcoes 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 espaco 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 modicacao 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 condicoes (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 Observacao 13 implicam o teorema.
O Teorema 2.3.3 e a Observacao 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 func 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 funcao 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 demonstracao 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 demonstracao prossegue como no Caso a).
2.3.5 Caso p =
1,
(R
n
) esta imerso continuamente no espaco das funcoes
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 inducao com
relacao 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 funcoes 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 consideracao esta
ultima observacao, 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 demonstracao 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 inducao 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 funcoes
u denidas em , tudo no contexto dos espacos 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 Secao 2.4.1 analiza-se o prolongamento para o caso em que e o semi-espaco R
n
+
e na Secao 2.4.2, para o caso aberto-limitado de classe C
m
.
Por T() representa-se a restricao a das funcoes de T(R
n
) e por C
m
0
() a restricao
a das funcoes de C
m
(R
n
) que possuem suporte compacto.
2.4.1 Caso = R
n
+
Denota-se por R
n
+
ao semi espaco
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 - Aproximacao por funcoes com suporte limitado.
Seja uma funcao 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 funcao
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 Secao 2.2.2, conclui-se que a
sucessao (u
k
) converge para u no espaco 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 - Aproximacao por funcoes 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
-
R
n1
1
2
K
1
[0, T]
6
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 funcao
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 translacao contnua, resulta:
lim
[[u
u[[
L
p
(R
n
+
)
= 0.
64 CAP

De forma analoga, levando em consideracao 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 demonstracao 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 demonstracao do lema segue por integracao 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 funcoes D
k
n
(Pv) satisfazem as condicoes 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 solucoes
do sistema de equacoes 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 solucao

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 Proposicao 2.4.1 decorre entao que P estende-se a uma aplicacao 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 funcoes 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 denicao 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 notacoes. 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 bijecao 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 condicoes 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
6
-
R
n1
Q
+
Q
y
n
Nao sao de classe C
1
os seguintes abertos
6
-
x
1
x
2
&%
'$
r
x
0
6
-
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 condicoes 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 funcoes
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 funcoes denidas em Q
+
dara o resultado.
Antes de enunciar o teorema central desta secao, introduz-se certas notacoes 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 Particao C
da Unidade à cobertura U
j
do aberto
_
N
_
j=1
U
j
_
, uma colecao
de funcoes
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 espaco das funcoes g W
m,p
(Q
+
) tais que todas elas se anulam numa
vizinhanca 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 vizinhanca 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 vizinhanca de Q
+
, entao pode-se con-
siderar v
j
como pertencendo a W
m,p
(R
n
+
). Pela secao anterior existe uma sucessao (
) de
funcoes 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 vizinhanca 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 funcoes 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 vizinhanca de Q
+
. Tem-se que v
j
W
m,p
(R
n
+
) e
pelo Teorema 2.4.1, da secao anterior, Pv
j
W
m,p
(R
n
). Pela propria construcao de P
(ver Observacao 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 vizinhanca 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 Proposicao 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 espacos 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 obtencao de desigualdades de intepolacao para os espacos 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
espacos W
m,p
().
Neste paragrafo estudar-se-a as imersoes contnuas e as imersoes compactas do espaco
W
m,p
() com limitado do R
n
.
2.5.1 Imersoes Contnuas
Denota-se por C
k,
() ao espaco de Banach das restricoes a das funcoes 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 aplicacoes 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 demonstracao do Teorema 2.5.1.
n
(n 1), de classe C
m
. Entao
W
m,
() C
m1,1
().
Demonstracao: Faz-se a demonstracao por inducao com relacao 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 funcoes u de W
1,
()
sao funcoes contnuas em . Aplicando os mesmos argumentos usados para obter (2.3.42),
na demonstracao 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 demonstracao
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 demonstracao 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 secao 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 funcoes 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 funcoes 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 funcao 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 observacao.
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 condicoes de
Frechet-Kolmogorov em L
q
() com 1 q < p
.
A condicao i) segue pelo Teorema 2.5.1, parte a). Estudar-se-a a condicao 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 Observacao 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
interpolacao (Proposicao 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
(). Demonstracao do
caso b): Aplique o raciocnio usado na demonstracao do caso a), com, por exemplo, p
= 2q.
Demonstracao 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 funcoes 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
aplicacoes
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 aplicacoes sao contnuas e a aplicacao 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 inducao com relacao 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 caracterizacao dos espacos H
m
(R
n
), m inteiro positivo,
que servira de motivacao para a denicao dos espacos H
s
(), quando s e um real positivo
e um aberto do R
n
. Considera-se a funcao J
m
(x) = (1 + [[x[[
2
)
m/2
, x R
n
. Note que
J
m
(x) e uma funcao 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 Secao 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 proposicao.
A seguir, serao estudados os espacos 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 espaco 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 funcao
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 funcao u H
s
(R
n
), seja (
) uma sucessao de funcoes testes no R

n
convergente para J
s
u em L
2
(R
n
). Para todo N, a funcao
(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 transformacao 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 proposicao 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 funcao (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 funcao 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 aplicacao 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 funcoes 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 espacos H
s
(). Denota-se por H
s
(), s um n umero
real nao negativo e um aberto do R
n
, ao espaco vetorial
H
s
() = u = v[
; v H
s
(R
n
).
Dota-se a H
s
() de uma topologia. De fato, considera-se a aplicacao 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 espaco vetorial e
X = H
s
(R
n
)/N(r) e um espaco 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 espaco 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 construcao a aplicacao 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 funcoes 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 proposicao.
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 Proposicao 2.6.6 que quando e um aberto limitado do R
n
com
de classe C
m
, a denicao de espaco H
m
() dada no Paragrafo 2.2 coincide com a denicao
dada por (2.6.60)(2.6.62). Em geral, isto e, quando nao e regular, tem-se que o espaco
denido por (2.6.60)(2.6.62) esta contido no espaco denido no Paragrafo 2.3. Para um
estudo deste caso o leitor pode consultar N. Meyers - J. Serrin [24].
Serao demonstradas algumas propriedades dos espacos 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 espaco 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 demonstracao por inducao com relacao 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 funcoes 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 proposicao 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 armacao. 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 inducao 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 proposicao esta demonstrada.
Observe que a Proposicao 2.6.8 e uma generalizacao, 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 interpolacao de espacos 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 traco. 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 espaco vetorial das funcoes reais w denidas em
, possuindo derivadas parciais contnuas de todas as ordens. Dada uma funcao u denida
em , representa-se por
0
u a restricao de u a . A caracterizacao do espaco ao qual pertence
0
u, quando u pertence a H
m
(), e conhecido sob a denominacao de teorema de traco. Note
que se u T() resulta que
0
u T(). Para a demonstracao do teorema de traco e preciso
dar sentido do espaco H
s
(), cuja construcao faz-se a seguir.
No caso = R
n
+
, tem-se = (x
, 0); x
R
n1
, identicando-se toda funcao u
denida em com a funcao x
u(x
, 0) do R
n1
em R. Com tal identicacao 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 funcoes 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 funcao 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 espaco vetorial das funcoes 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 espaco 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 denominacao 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 espa co
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 proposicao 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 Proposicao 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
funcao 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 relacoes 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 relacoes 1. e
6. obtem-se:
[[
0
u[[
H
1/2
()
[[u[[
H
1
(R
n
+
)
o que demonstra a Proposicao 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 aplicacao 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 relacoes 3. e 4. resulta que u H
1
(R
n
+
) e [[u[[
H
1
(R
n
+
)
= [[[[
H
1/2
(R
n1
)
. Desta
relacao 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 espaco 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 aplicacoes
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 Proposicao 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 aplicacoes
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 funcoes:
k
(t) =
0 se 0 t <
1
k
kt 1 se
1
k
t
2
k
1 se t >
2
k
-
6
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 funcoes 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 funcao 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 demonstracao
do teorema de traco no caso R
n
+
.
Demonstracao do Teorema 2.7.1 quando limitado
a)
0
e uma aplicacao sobre Dada uma funcao w H
1/2
(), por denicao,
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 funcao 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 funcao denida em por
u
j
(x) =
(v
j
)(
j
(x)) se x U
j

0 se x (U
j
)
6
-
y
n
1
-1
R
n1
-
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 relacao 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 funcao
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 demonstracao 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 traco
0
de uma funcao, a etapa seguinte seria
a do estudo do traco 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 notacao.
Inicia-se com o caso = R
n
+
, identicando sua fronteira = ao R
n1
, como ja
fora feito anteriormente. Seja u uma funcao denida em uma vizinhanca 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 espaco 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 tra co
de ordem zero.
A demonstradocao do Teorema 2.7.2 sera feita em tres etapas.
Na primeira demonstra-se que a aplicacao 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 espaco H
m
().
Na segunda etapa, prova-se que o n ucleo de e o espaco 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
demonstracao, 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 Proposicao 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 demonstracao, 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 demonstracao 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 aplicacao 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 espaco, 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 mudanca 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 aplicacao 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 demonstracao 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 funcoes 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 funcao u denida em e j = 1, 2, . . . , N vale a seguinte
relacao:
_

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 nocao
de vizinhanca 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 funcoes 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
demonstra cao. 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 funcoes de C
2
().
Nesta secao prova-se que tomando u num espaco conveniente, xado posteriormente,
resulta que o traco da derivada normal de u, isto e, o traco de
u
pertence a determinado
2.8. TRACO DA DERIVADA NORMAL 119
espaco 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 espaco 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 espaco 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 espaco L
2
(R
n
). Prova-se que u
1
H
2
(R
n
). Calcula-se u
1
no
sentido das distribuicoes. De fato, se pertence a T(R
n
), sua restricao , 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 espaco, 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 traco de ordem dois em . Foi demonstrada a existencia de uma
aplicacao 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 secao, verdadeira para todo v em
T(); sendo T() denso em H
2
() e os tracos
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 denicao 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 Proposicao 88, conclui-se a demonstracao 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 demonstracao resulta diretamente da formula de
Green para funcoes 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 notacao tambem
escreve-se:
_
v
u
d,
embora
1
u nao pertenca a L
2
().
Exerccio 1. Considere = R
n
+
e seja a transformacao linear descrita na terceira etapa
da demonstracao 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 funcao traco 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 funcoes 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 proposicao.
A Proposicao 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 tracos em H
m
() da funcao 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 espaco 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 espaco de Hilbert. Como foi estabelecido nos captulos anteriores,
(u, v), [u[ e ((u, v)), [[u[[ denotarao o produto escalar e norma dos espacos 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 traco
0
para objetos de Y . Segue um metodo
analogo ao adotado no Captulo 2 para se denir o traco em H
0
(). Consulte-se a notacao
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 subespaco 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 espaco L
2
() H
1
(). Resulta da Observacao 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 relacao 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 aplicacao 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 funcao 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 traco
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 traco 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 solucao u do problema.
Deduz-se, de forma heurstica, uma denicao de solucao de u de (P
1
) quando f e g
sao nao regulares. Claro esta que uma das diculdades e precisar em que espacos devem
habitar f e g. Nesta parte e que serao utlizados os resultados obtidos na Introducao.
Formalmente, obtem-se:
_
(u)v dx =
_
u(v) dx
_
v d +
_
u
v
d
e levando em consideracao (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 informacao 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 restricao 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 espaco 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 Introducao).
O exposto motiva a seguinte denicao: Sejam
f H
1
() e g H
1/2
().
Uma funcao 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 solucoes do Problema (P
1
) em tres casos, segundo
os espacos de Sobolev onde serao tomadas as funcoes 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 aplica cao
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 aplicacao 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 traco 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 solucao denida por transposicao do Problema
(P
1
). A unicidade de u segue notando que a aplicacao (3.2.7) e sobrejetora.
Mostra-se que u = f em H
1
().
De fato, tomando v T() em (3.2.12) segue a armacao.
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 Introducao
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 aplicacao
f, g H
1
() H
1/2
() H
1/2
() u L
2
()
u solucao de (3.2.1).
Sejam h L
2
() e v solucao 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 aplicacao.
Da unicidade de solucoes denidas por transposicao 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 solucao de (P
1
), neste caso, a uma funcao 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 funcao
T: H
1/2
() H
1
(),
tal que Tg = w sendo
o
w = g, e
0
o traco 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 solucao 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 solucao 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 aplicacao linear
f, g H
1
() H
1/2
() u H
1
(),
sendo u solucao de (16), e contnua.
Caso III Neste caso examina-se a solucao de (P
1
) quando f H
1
() e g H
(), sendo
1
2
< < +
1
2
O metodo consiste em aplicar determinados resultados de interpolacao de
espacos de Sobolev (cf. J.L. Lions - E. Magenes [11]).
De fato, foi demonstrado nos Casos I e II que as aplicacoes
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 solucao do problema (P
1
), em cada caso. Interpolando-se os espacos, 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 solucao 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 aplicacao linear e contnua. Ela e sobrejetiva por propriedades do traco
0
. Pela
unicidade da solucao do (P
1
), no Caso I, resulta que a aplicacao (3.2.14) e injetiva. Do Caso
II, obtem-se, tambem, que a aplicacao:
f, g H
1
() H
1/2
() u H
1
() (3.2.19)
e linear, contnua e bijetiva.
Aplicando-se resultados de interpolacao 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 interpolacao, acima xados,
obtem-se:
f, g H
1
() H
() u Y
,
1
2

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

1
2
,
e linear, contnua e bijetiva. Portanto a aplicacao traco
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 Traco
e da Formula de Green da Secao 3.4.
Do resultado de regularidade de solucoes de problemas elticos, cf. H. Brezis [19],
resulta que se v for solucao 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 aplicacao
f, g L
2
() H
3/2
() u H
2
(), (3.2.21)
sendo u solucao 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 espaco 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 espaco 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 aplicacao
de argumentos analogos aos empregados no Caso III, que a aplicacao linear
f, g L
2
() H
(1/2)+
() u H
, 0 2 (3.2.26)
sendo u a solucao do problema
u = f em
u = g sobre
e contnua e bijetiva. Tambem a aplicacao traco
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 solucao do problema
(P
2
)
u +u = f em
u
= h sobre
sendo f e h funcoes reais denidas, respectivamente, em e sobre .
De incio, como foi feito no Problema de Dirichlet, vai-se denir solucao de (P
2
)
quando f e h sao funcoes 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 informacao sobre u restrito a deve-se impor a condicao
v
= 0.
Supondo u L
2
() vem que v + v deve pertencer a L
2
(). Isto e a primeira restricao
implicam que v deve pertencer ao espaco
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 denicao: 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 solucao 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 espaco vetorial D(A) com o
produto escalar
(u, v)
D(A)
= (u +u, v +v)
e um espaco 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 solucao denida por transposicao de (P
2
). A unicidade de u e conseq uencia
da sobrejetividade da aplicacao 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 espaco H
0
, cf. Captulo 2, paragrafo 2.7. Resulta dos resulta-
dos a obtidos, que a aplicacao traco
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 aplicacao linear
f, h L
2
() H
3/2
() u L
2
()
onde u e solucao de (3.3.30).
De fato, seja L
2
() e v solucao de (3.3.30) com em lugar de f. Da condicao
(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 aplicacao.
Nota-se que pela unicidade das solucoes denidas por transposicao 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 interpolacao para a obtencao da solucao
do problema de Neumann em outros espacos 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 Proposicao 3.3.1 e (3.3.42) que a
aplicacao linear, com 0 2,
f, h L
2
() H
(3/2)+
() u H
(),
e contnua, sendo u a unica solucao do problema:
u +u = f em
1
u = h sobre .
Igualmente da Proposicao 3.3.1, (3.3.42) e do teorema do graco fechado, resulta que
a aplicacao linear, com 0 2,
u H
f, h L
2
() H
(3/2)+
()
e contnua.
O espaco H
foi denido em (3.2.25), isto e,

H
= u H
(); u L
2
().
Resulta, da, que a aplicacao traco
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 traco
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 notacao desta secao sera a que foi xada na secao anterior. Verique as notacoes
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 aplicacao linear
0
u H

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

1
u H
(3/2)+
(), 0 2,
e contnua.
Resulta que a aplicacao traco =
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 aplicacao
traco =
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 Secao 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

Espaços de Sobolev. Iniciação Aos Problemas Elíticos Não Homogêneos (2000) - Medeiros, Miranda

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Espaços de Sobolev. Iniciação Aos Problemas Elíticos Não Homogêneos (2000) - Medeiros, Miranda

Caricato da

Copyright:

Formati disponibili

Instituto de Matematica - UFRJ

Inicia cao aos Problemas Elticos nao Homogeneos

denota-se o operador de derivacao de ordem denido por

ASICOS SOBRE DISTRIBUIC

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

() denota-se o espaco de Banach das funcoes numericas u, mensuraveis em e que

) = 0 para todo O aberto limitado de .

) uma sucessao de funcoes de L

u) converge para zero em L

ASICOS SOBRE DISTRIBUIC

= q/r(1 ) . Observe que

exp (1/(1 [[x[[

e, para cada , uma funcao teste no R

ASICOS SOBRE DISTRIBUIC

v satisfaz todas as condicoes 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 Observacao

possuem suporte compacto, para provar o corolario e

u) e uma sucessao de funcoes testes no R

, 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

(), quando para toda funcao teste T(), a sucessao (T,

)) converge para zero em

(). Diz-se que

ASICOS SOBRE DISTRIBUIC

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

(Im u) = 0, T(), uma funcao real.

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

) uma sucessao de funcoes 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 funcoes testes em converge para u em L

T denida em T() por:

) para todo T().

T e uma distribuicao sobre .

(). Isto signica que se

u no sentido das distribuicoes

u e a derivada no sentido das distribuicoes. 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 funcoes). 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 distribuicao 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

u(x) para [[x[[ .

ASICOS SOBRE DISTRIBUIC

) para todo o(R

(x) para todo x R

Tu)(x) = (Tu)(x) para todo x no