Escolar Documentos
Profissional Documentos
Cultura Documentos
Liv Ro Esp Sobolev
Liv Ro Esp Sobolev
ESPACOS DE SOBOLEV
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 `a memoria de nosso saudoso
Pedro Humberto Rivera Rodriguez
por seu talento matematico e
carater exemplar.
ii
Prefacio
O presente livro teve sua origem no incio dos anos setenta, cujo prefacio, reproduzido
a seguir traz informa coes historicas sobre sua origem.
Nesta edi cao, o Captulo III versa sobre os problemas de Dirichlet e Neumann, para
o Laplaciano, no caso nao homogeneo com escolhas gerais das condi coes de fronteira. Este
captulo segue as ideias de Lions [8] e Lions-Magenes [11], enriquecidos com as referencias da
Bibliograa Complementar, particularmente Aubin [18], Brezis [19], Chavent [21], Dautray-
Lions [22], Kesavan [23].
O conte udo deste livro inclui parte dos programas de disciplinas basicas sobre equa coes
diferenciais parciais do Instituto de Matematica da UFRJ.
Os autores agradecem aos colegas e aos seus alunos pelo estmulo para aperfei coar as
edi coes anteriores que convergiram para a atual. Em particular, gostaramos de deixar nossos
agradecimentos ao Marcos Ara ujo, pela cuidadosa revisao do texto acrescentado modica coes
que o tornaram mais inteligvel.
Ao Wilson Goes, agradecemos pelo perfeito trabalho de digita cao.
Rio de Janeiro, maio de 1997
L.A. Medeiros M. Milla Miranda
iii
iv
Prefacio (1
a
edicao)
A ideia de escrever este texto surgiu-nos quando em 1970 iniciamos um seminario
sobre espa cos de Sobolev e equa coes diferenciais parciais, realizado no Centro Brasileiro de
Pesquisas Fsicas, na esperan ca de despertar a aten cao de algum estudante para o aspecto
das equa coes diferenciais parciais formulado em termos destes espa cos. Aquele seminario
continuou no Instituto de Matematica da UFRJ, estimulado e fortalecido pela inclusao de
novos participantes. O plano de trabalho teve como base os textos [7] e [8] do Professor
J.L. Lions, complementado com alguns trabalhos mencionados na bibliograa dos mesmos.
Posteriormente, foram includas no Curso de Pos-Gradua cao do IM-UFRJ, certas discipli-
nas fundamentadas nos espa cos de Sobolev, para as quais este texto se adapta considera-
velmente. Deste modo, preparamos esta monograa, baseada nas exposi coes feitas no se-
minario de equa coes diferenciais parciais e em nossas aulas nas disciplinas de pos-gradua cao
do IM, tendo por objetivo introduzir estudantes interessados em linhas de pesquisa liga-
das `as equa coes diferenciais parciais nao lineares, controle otimo de sistemas governados
por equa coes diferenciais parciais, inequa coes variacionais ou analise numerica de elementos
nitos.
A exposi cao divide-se em tres captulos. O Captulo I e um pequeno fascculo de
resultados sobre distribui coes a ser usado nos captulos seguintes. O Captulo II contem os
teoremas elementares sobre os espa cos de Sobolev e, com base neste, e possvel entender
varios aspectos do estudo de solu coes fracas de equa coes diferenciais parciais, o que e feito
no Captulo III e nos Apendices.
v
vi
No incio deste prefacio referimo-nos ao fortalecimento do Seminario de Equa coes Di-
ferenciais Parciais do IM-UFRJ e retornamos a ele, deixando aqui xada a nossa gratidao `a
Beatriz, Eliana, Milla e Perla, pelo entusiasmo que sempre nos transmitiram quando men-
cionavamos a ideia de escrever este texto, bem como por suas valiosas crticas e sugestoes.
Resta-nos, portanto, a esperan ca de que possamos de fato atrair a aten cao daqueles interessa-
dos em matematica aplicada, para este aspecto das equa coes diferenciais parciais, lembrando,
todavia que, como diz Erich From, ter esperan ca, signica estar pronto a todo momento
para aquilo que ainda nao nasceu e, todavia, nao desesperar se nao ocorrer nascimento algum
durante nossa existencia.
Ao redigirmos este texto, recebemos apoio nanceiro do Fundo Nacional de Desen-
volvimento Cientco (FNDCT) e do CEPG-UFRJ.
Finalizando, lembramos uma vez mais que a boa impressao dos textos de Metodos
Matematicos, deve-se `a dedica cao do Sr. Arlindo Coutinho de Azevedo, chefe da Se cao de
Reprograa do IM, bem como de seus auxiliares, enquanto a datilograa perfeita e trabalho
de arte do Sr. Wilson Goes.
Rio de Janeiro, agosto de 1975
L.A. Medeiros P.H. Rivera
Prefacio (2
a
edicao)
Esta introdu cao aos Espa cos de Sobolev que aqui apresentamos, e uma revisao dos
Captulos I e II de nossa monograa Espa cos de Sobolev e Equa coes Diferenciais Parciais
(Bibliograa n umero 11).
A presente edi cao alem das corre coes decorrente da revisao acima mencionada, vem
aumentada do estudo do tra co de ordem m e do tra co da derivada normal. Deste modo, a
exposi cao ca completa, servindo de base ao estudo de uma ampla variedade de problemas
relacionados aos sistemas governados por equa coes diferenciais parciais. Para uma exposi cao
completa consulte Lions-Magenes n umero 11 da Bibliograa.
Rio de Janeiro, janeiro de 1977
L.A. Medeiros P.H. Rivera
vii
viii
Sumario
1 Resultados Basicos Sobre Distribuicoes 1
1.1 Introdu cao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Espa co de Fun coes Testes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2.1 Os Espa cos L
p
() e Convolu cao de Fun coes . . . . . . . . . . . . . . 2
1.2.2 Exemplos de Fun coes Testes . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.3 Regulariza cao de Fun coes . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.4 Convergencia em T() . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3 Distribui coes sobre um aberto do R
n
. . . . . . . . . . . . . . . . . . . . . 10
1.3.1 Produto de Fun coes por Distribui coes . . . . . . . . . . . . . . . . . 15
1.3.2 Restri cao de Distribui coes . . . . . . . . . . . . . . . . . . . . . . . . 16
1.3.3 Distribui coes Temperadas . . . . . . . . . . . . . . . . . . . . . . . . 16
1.3.4 Transformada de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . 19
2 Espacos de Sobolev 23
2.1 Introdu cao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.2 Propriedades Elementares dos Espa cos de Sobolev . . . . . . . . . . . . . . . 23
2.2.1 Geometria dos Espa cos de Sobolev . . . . . . . . . . . . . . . . . . . 24
2.2.2 O Espa co W
m,p
0
() . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.2.3 O Espa co W
m,q
() . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
ix
x SUM
ARIO
2.2.4 Reexividade dos Espa cos de Sobolev . . . . . . . . . . . . . . . . . . 33
2.2.5 Os Espa cos H
m
() e H
m
() . . . . . . . . . . . . . . . . . . . . . . 34
2.3 Imersoes de Espa cos de Sobolev . . . . . . . . . . . . . . . . . . . . . . . . . 39
2.3.1 Caso mp < n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2.3.2 Caso mp = n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
2.3.3 Caso mp > n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
2.3.4 Caso n = 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
2.3.5 Caso p = . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
2.4 Prolongamento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
2.4.1 Caso = R
n
+
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
2.4.2 Caso Aberto Limitado . . . . . . . . . . . . . . . . . . . . . . . . . 68
2.5 Imersoes dos Espa cos W
m,p
() . . . . . . . . . . . . . . . . . . . . . . . . . . 75
2.5.1 Imersoes Contnuas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
2.5.2 Imersoes Compactas . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
2.6 Espa cos H
s
() . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
2.7 Teoremas de Tra co . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
2.8 Tra co da Derivada Normal . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118
2.9 Formula de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
3 Problemas Elticos nao Homogeneos 125
3.1 Introdu cao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
3.2 Problema de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
3.3 Problema de Neumann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 138
3.4 Teorema do Tra co. Formula de Green . . . . . . . . . . . . . . . . . . . . . . 145
Captulo 1
Resultados Basicos Sobre
Distribuicoes
1.1 Introducao
No presente captulo serao xadas terminologia, a nota cao e certos resultados sobre
integra cao e teoria das distribui coes, resultados estes a serem usados no desenvolver deste
texto.
Com a letra K representa-se, simultaneamente, o corpo dos n umeros reais R ou o dos
n umeros complexos C. Por N representa-se o monoide dos n umeros naturais e por Z o anel
dos inteiros.
Dados = (
1
,
2
, . . . ,
n
) N
n
e z = (z
1
, z
2
, . . . , z
n
) K
n
dene-se
[[ =
1
+
2
+ . . . +
n
, z
= z
1
1
z
2
2
. . . z
n
n
, ! =
1
!
2
! . . .
n
! .
Por D
||
/x
1
1
x
2
2
. . . x
n
n
e para = (0, 0, . . . , 0) dene D
0
u = u para toda fun cao u. Por D
i
, para i = 1, 2, . . . , n,
representa-se a deriva cao parcial /x
i
.
1
2 CAP
ITULO 1. RESULTADOS B
(uv) =
!
!( )!
(D
u)(D
v).
Sejam E e F dois espa cos topologicos com E F. Para indicar que a imersao de E
em F e contnua sera usada a nota cao E F.
Por representa-se um subconjunto aberto do R
n
e por sua fronteira. Sera xada
em a medida de Lebesgue dx.
1.2 Espaco de Funcoes Testes
Inicia-se introduzindo alguns resultados e no coes previas.
1.2.1 Os Espacos L
p
() e Convolucao de Funcoes
Seja u uma fun cao numerica denida em , u mensuravel, e seja (O
i
)
iI
a famlia de
todos os subconjuntos abertos O
i
de tais que u = 0 quase sempre em O
i
. Considera-se o
subconjunto aberto O =
_
iI
O
i
. Entao u = 0 quase sempre em O. Como conseq uencia deste
fato, o suporte de u, o qual e denotado por supp u, e denido como sendo o subconjunto
fechado de ,
suppu = O.
Observe que se u e contnua em entao
supp u e igual ao fecho em do conjunto x ; u(x) ,= 0.
Sejam u e v fun coes numericas, mensuraveis em e K, ,= 0. Mostra-se que
supp (u + v) (supp u) (supp v)
supp (uv) (supp u) (supp v)
supp (u) = supp u
1.2. ESPAC O DE FUNC
OES TESTES 3
Seja u uma fun cao numerica, mensuravel no R
n
. A fun cao
y
u denida por (
y
u)(x) =
u(x y) denomina-se a transla cao de u por y. Mostra-se que
supp(
y
u) = y + supp u.
Representa-se por L
p
(), 1 p < , o espa co de Banach das fun coes numericas u
denidas em , mensuraveis cuja potencia p, [u[
p
, e integravel em , equipado com a norma
[[u[[
L
p
()
=
_
_
[u(x)[
p
dx
_
1/p
.
No caso p = 2, L
2
() e um espa co de Hilbert com o produto escalar
(u, v)
L
2
()
=
_
()
= sup
x
ess [u(x)[.
Denota-se por L
p
loc
(), 1 p < , o espa co localmente convexo das fun coes
numericas u, mensuraveis em , equipado com a famlia de semi-normas
p
O
; O subconjunto aberto limitado de
onde
p
O
(u) =
_
_
O
[u(x)[
p
dx
_
1/p
.
Diz-se que a sucessao (u
) de fun coes de L
p
loc
() converge para zero em L
p
loc
() se
lim
p
O
(u
) converge para
u em L
p
loc
() se (u
ITULO 1. RESULTADOS B
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,
+
1
= 1. De (1.2.2) resulta
_
[u[
r
dx [[u[[
p/
L
p
()
[[u[[
q/
L
q .
Da, notando que
1
r
=
p
e
1
r
=
(1)
q
, obtem-se a desigualdade (1.2.1).
No caso 1 p < r < , segue-se que p = r e 0 < < 1. Portanto
_
[u[
r
dx =
_
[u[
r+r(1)
dx [[u[[
r(1)
L
()
[[u[[
p
L
p
()
implicando na desigualdade (1.2.1).
Sejam u e v fun coes numericas denidas no R
n
. Considera-se a convolu cao u v das
fun coes u e v, isto e,
(u v)(x) =
_
R
n
u(x y)v(y) dy =
_
R
n
v(y)v(x y) dy.
Tem-se o seguinte resultado:
Desigualdade de Young. Sejam u L
p
(R
n
) e v L
q
(R
n
) com 1 p ,
1 q , e r o n umero real vericando
1
r
=
1
p
+
1
q
1 0. Entao u v L
r
(R
n
)
e
[[u v[[
L
r
(R
n
)
[[u[[
L
p
(R
n
)
[[v[[
L
q
(R
n
)
. (1.2.3)
1.2. ESPAC O DE FUNC
OES TESTES 5
Alem disso,
supp(u v) supp u + supp v. (1.2.4)
1.2.2 Exemplos de Funcoes Testes
Representa-se por C
0
() o espa co vetorial das fun coes numericas denidas em ,
com suporte compacto, possuindo em derivadas parciais contnuas de todas as ordens. Os
elementos de C
0
() sao denominados fun coes testes em .
Exemplo 1. Seja : R
n
R denida por:
(x) =
0
(R
n
) e que supp = x
R
n
; [[x[[ 1.
Exemplo 2. Seja k
_
R
n
(x) dx sendo a fun cao do Exemplo 1. Para cada = 1, 2, . . . , n, . . .
considere a fun cao
: R
n
R denido por
(x) = (
n
/k)(x) para todo x R
n
.
Mostra-se que
(x)
n
/ke
b)
_
R
n
(x) dx =
_
||x||1/
(x) dx = 1
c) supp
= x R
n
; [[x[[ 1/
Uma sucessao (
0
(R
n
) e v L
p
(R
n
), 1 p < . Entao u v pertence a
C
(R
n
) L
p
(R
n
) e D
(u v) = (D
u) v para todo N
n
. Quando v possui suporte
compacto, entao, por (4), u v e uma fun cao teste no R
n
.
6 CAP
ITULO 1. RESULTADOS B
0
() e denso em L
p
(), 1 p < . Inicia-se,
para isto, com um resultado de continuidade.
Proposicao 1.2.2 Seja u L
p
(R
n
), 1 p < . Entao a aplicacao translacao
R
n
L
p
(R
n
)
y
y
u,
e contnua.
Demonstracao: Note-se que e suciente demonstrar que a aplica cao e contnua em y = 0.
Com efeito, seja y R
n
e (y
y. Tem-se:
[[
y
u
y
u[[
p
L
p
(R
n
)
=
_
R
n
[u(x y
) u(x y)[
p
dx =
_
R
n
[u(x z
) u(x)[
p
dx
onde z
= y
y 0.
Provar-se-a, portanto, que a transla cao e contnua em y = 0. Seja (y
) uma sucessao
de vetores do R
n
com y
)
O
(x)[
p
dx. (1.2.5)
1.2. ESPAC O DE FUNC
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 `a integral da direita de (1.2.5), decorre de (1.2.6) e
(1.2.7) que
y
u u em L
p
(R
n
) quando .
Resulta da primeira parte que a transla cao e contnua em y = 0 para u fun cao escada
de R
n
, isto e, para u igual a uma combina cao linear nita de fun coes caractersticas de
subconjuntos abertos limitados de R
n
.
Note-se que o conjunto das fun coes escadas do R
n
e denso em L
p
(R
n
). Seja u L
p
(R
n
)
e > 0. Entao existe uma fun cao escada de R
n
tal que [[u [[
L
p
(R
n
)
< . Tem-se:
[[
y
u u[[
L
p [[
y
u
y
[[
L
p +[[
y
[[
L
p +[[ u[[
L
p =
= 2[[ u[[
L
p +[[
y
[[
L
p < 3 para
0
que prova, nalmente, o resultado desejado.
Teorema 1.2.1 Seja (
u) converge para u em L
p
(R
n
).
Demonstracao: Tem-se:
(
u)(x) u(x) =
_
||y||1/
u u[[
L
1
(R
n
)
_
||y||1/
(y)[[
y
u u[[
L
1
(R
n
)
dy,
8 CAP
ITULO 1. RESULTADOS B
u)(x) u(x)[
p
__
||y||1/
(y)
q
_
p/q
_
||y||1/
[u(x y) u(x)[
p
dx. (1.2.9)
Note que
_
||y||1/
(y)
q
dy
nq
k
q
e
q
_
||y||1/
dy =
nq
k
q
e
q
w
n
1
n
onde w
n
e o volume da esfera unitaria do R
n
. Portanto,
_
_
||y||1/
(y)
q
dy
_
p/q
w
p/q
n
k
p
e
p
(nqn)p/q
= C
np(1
1
q
)
= C
n
(1.2.10)
onde C = w
p/q
n
/k
p
e
p
. Considerando (1.2.10) em (1.2.9) e aplicando o Teorema de Fubini,
resulta
[[
u u[[
p
L
p
(R
n
)
C
n
_
||y||1/
[[
y
u u[[
p
L
p
(R
n
)
dy C w
n
sup
||y||1/
[[
y
u u[[
p
L
p
(R
n
)
.
Esta expressao e a continuidade da transla cao acarretam o Teorema 1.2.1.
Observacao 1 Para o conjunto aberto do R
n
, pode-se construir uma sucessao de conjun-
tos compactos K
tal que
K
K
+1
, , ; e =
_
=1
K
.
Com efeito, e suciente considerar K
como sendo
K
= x ; dist(x, )
1
x R
n
; [[x[[
onde e a fronteira de .
1.2. ESPAC O DE FUNC
OES TESTES 9
Corolario 1 C
0
() e denso em L
p
() para 1 p < .
Demonstracao: Seja K
e considere
a fun cao u
= u K
. Segue-se que u
L
p
() para cada e a sucessao (u
) e convergente
para u na norma L
p
(), convergencia que decorre do Teorema da Convergencia Dominada
de Lebesgue. Desde que as fun coes u
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. Resulta que v
e uma
fun cao teste em para cada 2/r e a sucessao (v
) converge para u em L
p
().
1.2.4 Convergencia em T()
Diz-se que uma sucessao (
) de fun coes de C
0
() e convergente para zero, quando
as seguintes condi coes forem satisfeitas:
a) Os suportes de todas as fun coes testes
0
(), diz-se que a sucessao (
) de elementos de C
0
() converge para em
C
0
(), quando a sucessao (
ITULO 1. RESULTADOS B
0
() com esta no cao de convergencia e representado por T() e
denominado espaco das funcoes testes em .
1.3 Distribuicoes sobre um aberto do R
n
Dene-se como distribuicao sobre a toda forma linear T sobre T() que e contnua
no sentido da convergencia denida sobre T(). Isto signica que para toda sucessao (
) de
T(), convergente para zero no sentido denido em 1.2.4, ent ao a sucessao (T,
)) converge
para zero em K. (Note que K = R ou C e T,
) e o valor de T em
). O conjunto de
todas as distribui coes sobre e um espa co vetorial o qual representa-se por T
(). Neste
espa co vetorial diz-se que uma sucessao (T
) de vetores de T
(), quando para toda fun cao teste T(), a sucessao (T,
= 0 em T
= T em T
(),
quando lim
(T
T) = 0 em T
().
Exemplo 1. Seja u L
1
loc
(). Considere a forma linear T
u
denida em T() por:
T
u
, ) =
_
u(x)(x) dx
para toda T(). Mostra-se sem diculdades que T
u
e uma distribui cao sobre .
Proposicao 1.3.1 (Lema de Du Bois Raymond) Seja u L
1
loc
(). Entao T
u
= 0 se e
somente se u = 0 quase sempre em .
Demonstracao: Claramente se u = 0 quase sempre em entao T
u
= 0. Mostra-se, entao,
que a condi cao T
u
= 0 implica u = 0 quase sempre em . Com efeito, considere-se um
subconjunto aberto limitado O de . Sabe-se pelo Corolario 1 que T(O) e denso em L
1
(O).
Conseq uentemente, como u L
1
(O), vem que para cada > 0 existe v T(O) tal que
_
O
[u v[ dx < .
1.3. DISTRIBUIC
OES SOBRE UM ABERTO DO R
N
11
Da hipotese e desta ultima desigualdade, resulta:
_
O
vdx
_
O
(v u) dx
max [[ (1.3.11)
para toda T(O).
Considere-se os conjuntos
K
1
= x O; v(x) e K
2
= x O; v(x) ,
que sao subconjuntos compactos disjuntos de O. Do Exemplo 4 da Se cao 1.2.2, vem que
existem
1
,
2
em T(O) tais que:
1
= 1 em K
1
T
1
= 0 em K
2
0
1
1
2
= 0 em K
1
2
= 1 em K
2
0
2
1
Tomando-se =
1
2
, obtem-se:
= 1 em K
1
, = 1 em K
2
, 1 1.
Resulta, portanto,
_
O
v dx =
_
O\K
v dx +
_
K
v dx,
onde K = K
1
K
2
. Observando-se que [v[ em OK e levando em considera cao (1.3.11)
obtem-se:
_
K
v dx
_
O
v dx
_
O\K
v dx
+ med(O).
Da deni cao de e desta ultima desigualdade, encontra-se:
_
K
[v[ dx =
_
K
[v[ dx + med(O).
Portanto,
_
O
[u[ dx
_
O
[u v[ dx +
_
K
[v[ dx +
_
O\K
[v[ dx 2 + 2 med(O).
12 CAP
ITULO 1. RESULTADOS B
(Re u)dx = 0,
_
x
0
, ) = (x
0
) para toda T().
Facil e vericar que
x
0
e uma distribui cao sobre , denominada distribui cao de Dirac ou
medida de Dirac concentrada em x
0
. Quando x
0
= 0 escreve-se
0
.
Mostra-se que a distribui cao
x
0
nao e denida por uma fun cao u de L
1
loc
(), isto e,
nao existe u L
1
loc
() tal que
_
u(x)(x) dx = (x
0
) para toda T().
De fato, se existisse uma tal fun cao u, entao
_
u(x)[[x x
0
[[
2
(x) dx = [[x x
0
[[
2
(x)[
x=x
0
= 0
1.3. DISTRIBUIC
OES SOBRE UM ABERTO DO R
N
13
para toda T(). Pelo Lema de Du Bois Raymond tem-se [[x x
0
[[
2
u(x) = 0 quase
sempre em , mostrando que u(x) = 0 quase sempre em , isto e,
x
0
= 0 o que e uma
contradi cao.
Observacao 3 Existem sucessoes (u
) de funcoes de L
1
loc
() que convergem para distri-
buicoes T em T
(), mas o limite T nao pode ser denido por uma funcao de L
1
loc
().
De fato, seja x
0
e B
r
(x
0
) = x R
n
; [[x x
0
[[ r uma bola contida em . Para cada
0 < < r, seja
(x) =
1
k
n
_
x x
0
_
para todo x ,
sendo a fun cao teste denida no Exemplo 1 da Se cao 1.2 e k =
_
R
n
(y) dy. Tem-se, para
T(),
, ) =
1
k
n
_
_
x x
0
_
(x)dx =
1
k
_
(y)(y + x
0
)dy (x
0
) quando 0
+
.
Assim
lim
0
+
=
x
0
em T
().
Exemplo 3. Seja (u
= 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
u, )[ [[u
u[[
L
p
(O)
[[[[
L
q
(O)
.
As desigualdades acima implicam nossa arma cao.
14 CAP
ITULO 1. RESULTADOS B
(),
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
()
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
= int K
determina-se
T(O
) tal que
[[u
[[
L
p
(O)
<
1
A sucessao (
T, ) = (1)
||
T, T
: T
() T
(), T D
T
e linear e contnua no sentido da convergencia denida em T
= T em T
() entao lim
= T
T em T
().
Outro resultado que vale a pena mencionar e que a derivada de uma fun cao de L
1
loc
(),
nao e, em geral, uma fun cao de L
1
loc
(), como mostra o exemplo que vem a seguir. Tal fato,
1.3. DISTRIBUIC
OES SOBRE UM ABERTO DO R
N
15
motivara a deni cao de uma classe signicativa de espa cos de Banach de fun coes, conhecidos
sob a denomina cao de Espa cos de Sobolev, tendo este texto como um dos objetivos fazer um
estudo introdutorio destes espa cos.
Exemplo 4. Seja u a fun cao de Heaviside, isto e, u e denida em R e tem a seguinte forma:
u(x) = 1 se x > 0 e u(x) = 0 se x < 0. Ela pertence a L
1
loc
(R) mas sua derivada u
=
0
nao
pertence a L
1
loc
(R). De fato, tem-se:
u
, ) = u,
) =
_
0
(x) dx = (0) =
0
, )
para todo T(R).
Exemplo 5. Se u C
k
(R
n
), para cada [[ k, a derivada D
T
u
= T
D
u
para todo [[ k. Isto e uma
conseq uencia simples da formula de integra cao de Gauss.
Exemplo 6. Seja u L
1
loc
(R
n
) e k N. Suponha que para cada [[ k, T
u perten ca a
L
1
loc
(R
n
). Entao, para toda em T(R
n
) e [[ k, tem-se:
T
( u) = T
u.
Note que T
= 0 em T() isto
implica lim
ITULO 1. RESULTADOS B
(T) =
!
!( )!
D
T.
Vericar-se-a esta formula no caso = e
i
= (0, . . . , 1, . . . , 0). Para todo em T() tem-se:
T
i
(T), ) = T, D
i
) = T, (T
i
)) = T, T
i
() + (T
i
)) =
= T, T
i
()) +T, (T
i
)) = T
i
T, ) +(T
i
)T, ) =
= T
i
T + (T
i
)T, ).
1.3.2 Restricao de Distribuicoes
Suponha-se e U subconjuntos abertos do R
n
tais que U. Para cada fun cao
em T() considere-se (x) = (x) se x e (x) = 0 se x U. Tem-se T(U) e
mais:
a) T
=
T
para todo N
n
b) Se lim
= 0 em T(U).
Como uma conseq uencia daqueles resultados, se T T
denida em
T() por T [
(T [
) = (T
T) [
para todo N
n
e T T
(U).
1.3.3 Distribuicoes Temperadas
Uma fun cao C
(R
n
) diz-se rapidamente decrescente no innito, quando para
cada k N tem-se
p
k
() = max
||k
sup
xR
n
(1 +[[x[[
2
)
k
[D
(x) = 0 (1.3.13)
1.3. DISTRIBUIC
OES SOBRE UM ABERTO DO R
N
17
para todo polinomio p de n variaveis reais e N
n
.
Considere o espa co vetorial o(R
n
) das fun coes rapidamente decrescentes no innito,
no qual deniremos a seguinte no cao de convergencia: uma sucessao (
) de fun coes de
o(R
n
) converge para zero, quando para todo k N a sucessao (p
k
(
(R
n
).
Assim
lim
= T em o
(R
n
) se lim
, ) = T, ), o(R
n
).
Tem-se T(R
n
) o(R
n
). O espa co T(R
n
) e denso em o(R
n
). De fato, seja T(R
n
)
tal que
(x) = 1 se [[x[[ 1 e (x) = 0 se [[x[[ 2. (1.3.14)
Para cada N, dene-se
(x)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
ITULO 1. RESULTADOS B
(R
n
).
Exemplo 2. Seja u L
1
loc
(R
n
) tal que
C =
_
R
n
[u(x)[
(1 +[[x[[
2
)
k
dx <
para algum k N, k > 0. Entao [u, )[ C p
k
() para toda T(R
n
). Conseq uente-
mente, u e uma distribui cao temperada.
Como conseq uencia do Exemplo 2 e notando que
_
R
n
1
(1 +[[x[[
2
)
m
dx < para m > n/2,
vem que toda u L
p
(R
n
) 1 p , dene uma distribui cao temperada. Para 1 < p < ,
tem-se:
T(R
n
) o(R
n
) L
q
(R
n
)
_
1
p
+
1
q
= 1
_
sendo cada inclusao densa na seguinte. Entao por dualidade resulta
L
p
(R
n
) o
(R
n
) T
(R[g
n
) (1.3.17)
com cada inclusao densa na seguinte.
Exemplo 3. Se T o
(R
n
) e N
n
, entao a forma linear D
T denido em o(R
n
) por
D
T, ) = (1)
||
T, D
(R
n
) e C
(R
n
). Entao o produto T nao e necessariamente uma
distribui cao temperada. Diz-se que e lentamente crescente no innito, quando para cada
N
N
, existe um polinomio p
, tal que
[T
(x)[ p
) = 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
ITULO 1. RESULTADOS B
TT, ) = T,
T) para todo o(R
n
).
Da continuidade da transformada de Fourier em o(R
n
), segue-se que TT e
TT sao distri-
bui coes temperadas. Mostra-se que
T: o
(R
n
) o
(R
n
) e
T: o
(R
n
) o
(R
n
)
sao isomorsmos contnuos sendo T
1
=
T. Tambem
T(D
T) = i
||
x
TT, D
(TT) = T((i)
T).
Seja u L
2
(R
n
) e Tu
, = 1, 2, . . ., as fun coes
(Tu
)(x) = (2)
n/2
_
||y||
e
i(x,y)
u(y) dy para todo x no R
n
.
Mostra-se que Tu
L
2
(R
n
) e que (Tu
Tu,
Tv)
L
2
(R
n
)
para todo par u, v no L
2
(R
n
).
Serao usadas, tambem, as nota coes u e u no lugar de Tu e
Tu, respectivamente.
A demonstra cao dos resultados expostos nas duas ultimas se coes podem ser encon-
tradas em K. Yosida [16]
1.3. DISTRIBUIC
OES SOBRE UM ABERTO DO R
N
21
Exerccios
1. Seja u: R R uma fun cao contnua e periodica de perodo P > 0 e (
) uma sucessao
regularizante em R. Mostre que:
i) u
u uniformemente em R quando .
2. Considere a sucessao de fun coes (u
), u
: R
n
R denida por
u
(x) =
0 se [[x[[ 1/
n+1
se [[x[[ < 1/
Prove que u
0 quase sempre em R
n
quando e que (u
) nao converge em
T
(R
n
).
3. Seja ]a, b[ um intervalo aberto nito da reta e A o operador d/dx com domnio
D(A) =
_
u L
2
(a, b);
du
dx
L
2
(a, b)
_
. Mostre que
A: D(A) L
2
(a, b) L
2
(a, b)
nao e contnuo.
4. Prove que as expressoes (1.3.12) e (1.3.13) da Se cao 1.3.3 sao equivalentes.
Sugestao: Primeiro mostre que (1.3.12) implica lim
||x||
x
||k
x
2
C
2
(1 +[[x[[
2
)
k
para todo x R
n
22 CAP
ITULO 1. RESULTADOS B
u pertence a L
p
(), sendo D
[D
u(x)[
p
dx
_
1/p
, 1 p <
[[u[[
m,
=
||m
sup
x
ess [D
u(x)[
Nao e difcil vericar que a fun cao [[u[[
m,p
, 1 p , e uma norma em W
m,p
(). Os
espa cos normados W
m,p
() sao denominados espacos de Sobolev.
Proposicao 2.2.1 O espaco de Sobolev W
m,p
() e um espaco de Banach.
Demonstracao: Seja (u
u[[
L
p
()
[[u[[
m,p
para todo u W
m,p
() e [[ m, segue-se que (D
de L
p
() tal que
D
em L
p
(). (2.2.1)
Quando = (0, 0, . . . , 0), u = v
, entao
u
u em L
p
(). (2.2.2)
Para provar a proposi cao e suciente mostrar que D
u = v
em T
u em T
() (2.2.4)
pois L
p
() T
u em T
(). (2.2.5)
De (2.2.3), (2.2.5) e a unicidade dos limites em T
() resulta D
u = v
, 0 < [[ m, que
mostra a proposi cao.
O caso particular p = 2 e util nas aplica coes e neste caso o espa co de Sobolev W
m,p
()
e representado por H
m
(). O espa co H
m
() e um espa co de Hilbert com o produto escalar
dado por:
(u, v)
m
=
||m
(D
u, D
v)
L
2
()
para todo u, v H
m
(), e e denominado espaco de Sobolev de ordem m.
2.2.2 O Espaco W
m,p
0
()
Quando m = 0, tem-se W
0,p
() = L
p
() e do Corolario 1 do Captulo 1, sabe-se que
T() e denso em L
p
(), mas nao e verdade que T() seja sempre denso em W
m,p
() para
m 1, como sera visto posteriormente. Motivado por este fato, dene-se o espa co W
m,p
0
()
como sendo o fecho de T() em W
m,p
(). Quando p = 2, escreve-se H
m
0
() em lugar de
W
m,2
0
().
Proposicao 2.2.2 Seja u W
m,p
0
() e u a extensao de u por zero fora de . Tem-se:
a) u W
m,p
(R
n
)
b) D
u =
D
u para todo [[ m
c) [[u[[
m,p
= [[ u[[
m,p
.
26 CAP
) e uma sucessao
de fun coes testes em tais que
u em W
m,p
0
(), entao
u em W
m,p
(R
n
). Mostra-
se que u = u para todo u W
m,p
0
(). De fato, se
u em W
m,p
0
() entao a sucessao
(
u =
D
(D
i
v) (i = 1, . . . , n). Seja T(). Tem-se:
_
U
(D
i
v)dx =
_
U
(D
i
v)dx +
_
U
(D
i
v)dx =
_
U
(
D
i
v)dx = 0
para i = 1, 2, . . . , n, isto e, D
i
v = 0 em U para i = 1, 2, . . . , n, logo v[
U
e uma distribui cao
denida por uma fun cao constante. Conseq uentemente existe uma constante c tal que A =
x U; v ,= c e de medida zero. Como v(x) = 1 em U , que e um aberto nao vazio,
tem-se c = 1, portanto U A, donde U tem medida zero para qualquer bola
aberta U. De
=
_
_
=1
B
(0)
_
=
_
=1
[ B
(0)]
onde B
=1
med[ B(0, )] = 0
2.2. PROPRIEDADES ELEMENTARES DOS ESPAC OS DE SOBOLEV 27
e a demonstra cao da proposi cao esta concluda.
Observe-se que a recproca da Proposi cao 2.2.3 nem sempre e verdadeira, isto e, se (
ter medida de Lebesgue zero nao implica, necessariamente que, W
m,p
0
() = W
m,p
(). Para
um estudo das condi coes necessarias e sucientes sobre ( para que se tenha W
m,p
0
() =
W
m,p
() pode consultar-se J.L. Lions [8]. Segundo estes resultados observa-se que se
= R
n
x
0
, x
0
ponto de R
n
, e mp > n, 1 < p < , entao W
m,p
0
() esta contido
estritamente em W
m,p
().
Resulta da Proposi cao 2.2.3 que se o complemento de possui medida positiva, tem-
se W
m,p
0
() ,= W
m,p
(). Em particular, se e um conjunto aberto limitado do R
n
, tem-se
W
m,p
0
() ,= W
m,p
(). No caso extremo = R
n
, tem-se W
m,p
0
(R
n
) = W
m,p
(R
n
), como uma
conseq uencia do seguinte teorema:
Teorema 2.2.1 T(R
n
) e denso no W
m,p
(R
n
).
Demonstracao: A ideia da demonstra cao e primeiro aproximar os elementos de W
m,p
(R
n
)
por elementos do mesmo espa co mas com suporte compacto. A seguir, aproximar os elemen-
tos de W
m,p
(R
n
) com suporte compacto por fun coes testes em R
n
.
De fato, seja uma fun cao teste no R
n
tal que = 1 sobre a bola aberta B
1
(0) e
= 0 fora da bola aberta B
2
(0). Para todo N, suponha
= 1 sobre B
(0) e supp (
) B
2
(0).
b) Para todo N
n
, ,= (0, 0, . . . , 0), existe M
(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
)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 em L
p
(R
n
). Portanto, (
) e
uma sucessao regularizante no R
n
, segue-se que (
u) =
u para todo N.
Portanto,
D
u) D
u em L
p
(R
n
),
como uma conseq uencia do Teorema 1.2.1 do Captulo 1 o que prova ser
u u em
W
m,p
(R
n
).
A seguir faz-se um comentario relativo ao suporte de fun c oes de W
m,p
() o qual sera
usado na demonstra cao da proxima proposi cao.
Observacao 5 Seja u W
m,p
(). Entao, note-se que supp (D
u = 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
2.2. PROPRIEDADES ELEMENTARES DOS ESPAC OS DE SOBOLEV 29
que implica, pelo Lema de Du Bois Raymond, D
u = 0 quase sempre em O
i
.
Quando for um aberto arbitrario do R
n
, como foi provado, tem-se em geral W
m,p
() ,=
W
m,p
0
(). Entretanto, o seguinte resultado caracteriza os elementos de W
m,p
() que possuem
suporte compacto.
Proposicao 2.2.4 Se u W
m,p
() e possui suporte compacto, entao u W
m,p
0
().
Demonstracao: De fato, seja r = dist(suppu, ( ) > 0 e uma fun cao teste no R
n
tal que
= 1 numa vizinhan ca U do supp u, U . Para toda em T(R
n
), tem-se [
e uma
fun cao teste em , logo se [[ m tem-se:
D
u, ) = (1)
||
_
U
u(x)D
()(x) dx = (1)
||
u, D
([
)) =
= D
u, ([
)) =
_
U
D
u(x)(x)(x) dx =
u, )
provando que u W
m,p
(R
n
). Note-se que na ultima integral usa-se a Observa cao 5.
Tem-se tambem supp u = sup u, que e um compacto do R
n
, portanto (
u) e uma
sucessao de fun coes testes no R
n
que converge para u em W
m,p
(R
n
). Seja u
a restri cao de
) 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(
)
2/r
e uma sucessao de fun coes testes em convergindo para u em W
m,p
(), isto
e, u W
m,p
0
(), o que prova a proposi cao.
Observacao 6 Se supp u for compacto e u W
m,p
()W
s,q
(), entao existe uma sucessao
(
0 em
T(). Resulta que
0 em W
m,p
0
(), portanto, f,
(),
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
0 em
W
m,q
() entao (f
) 0 em T
().
Quando se diz que uma distribui cao T pertence a W
m,q
(), signica dizer que T,
denida em T(), pode ser estendida como um funcional linear contnuo ao espa co W
m,p
0
().
Esta extensao contnua e representada por T. O resultado que segue caracteriza as distri-
bui coes de W
m,q
().
Lema 2.2.1 Seja k um inteiro positivo e E = (L
p
())
k
normado por:
[[[[
E
=
_
k
=1
[[
[[
p
L
p
()
_
1/p
,
2.2. PROPRIEDADES ELEMENTARES DOS ESPAC OS DE SOBOLEV 31
para todo = (
1
,
2
, . . . ,
k
) E. Um funcional linear f denido em E e contnuo se e
somente se existem f
1
, f
2
, . . . , f
k
L
q
(), dual de L
p
(), tal que
f, ) =
k
=1
_
(x)
(x) dx
para todo E.
A demonstra cao ca como exerccio para o leitor.
Teorema 2.2.2 Seja T uma distribuicao sobre , entao T W
m,q
() se e somente se
existem funcoes g
L
q
(), [[ m, tais que
T =
||m
D
.
Demonstracao: Suponha T denida pelo somatorio acima. Entao, para todo T(),
tem-se:
[T, )[ [[[[
m,p
_
||m
[[g
[[
L
q
()
_
1/q
, 1 < p < .
Sendo T() denso em W
m,q
0
(), a ultima desigualdade diz ser possvel estender T, por
continuidade, ao espa co W
m,q
0
() e portanto, T W
m,q
(). O caso p = 1 se procede de
forma analoga.
Seja T W
m,q
() e k o n umero de ndices N
n
tais que [[ m. Os elementos
u de E = (L
p
())
k
podem ser escritos como (u
)
||m
, u
L
p
(). Desde que a aplica cao
: W
m,p
0
() E
tal que (u) = (D
u)
||m
e uma isometria linear, tem-se E
0
= (D
u)
||m
; W
m,q
0
() e
um subespa co fechado de E. Seja f
0
o funcional linear denido em E
0
por
f
0
, (D
u)
||m
) = T, u), u W
m,p
0
(),
32 CAP
)
||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
||m
D
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
()
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
())
) e limitada em L
p
(). Resulta a existencia de uma subsucessao
(u
) de (u
) e limitada em L
p
(), assim existe uma
subsucessao (u
) de (u
) tal que (D
1
u
) de (u
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
v em T
(),
[[ m. Da unicidade dos limites em T
v = v
, [[ m. Assim
v W
m,p
().
Resta somente provar que (v
L
q
() tais que
T, u) =
||m
_
(x)D
u(x) dx
34 CAP
T, v
) = lim
||m
_
(x)D
(x) dx =
=
||m
_
(x)D
v(x) dx = T, v)
o que demonstra o teorema.
2.2.5 Os Espacos H
m
() e H
m
()
Se L for o operador diferencial
||m
(1)
||
D
2
, resulta que para u H
m
(), Lu e
uma distribui cao nao necessariamente denida por uma fun cao localmente integravel. Alem
disto, se u H
m
() e [[ m, g
= D
u pertence a L
2
() e Lu =
||m
(1)
||
D
pertence a H
m
() como uma conseq uencia do Teorema 2.2.3 deste paragrafo. Portanto,
podemos considerar a realiza cao de L como um operador linear de H
m
() em H
m
(). A
seguir caracteriza-se a imagem de H
m
0
() por L.
Proposicao 2.2.5 O complemento ortogonal de H
m
0
() em H
m
() e o n ucleo do operador
diferencial linear L.
Demonstracao: Para todo u em H
m
() e em T() tem-se:
Lu, ) = (u, )
m
.
Se u pertence ao ortogonal de H
m
0
() entao (u, v)
m
= 0 para todo v H
m
0
(), em particular,
(u, )
m
= 0 para toda fun cao teste em , portanto, Lu, ) = 0 para toda fun cao teste,
isto e, Lu = 0.
Suponha agora u H
m
() e Lu = 0. Entao (u, )
m
= Lu, ) = 0 par toda
T(). Sendo T() denso em H
m
0
(), tem-se (u, v)
m
= 0 para todo v em H
m
0
(), isto
e, u e ortogonal a H
m
0
().
2.2. PROPRIEDADES ELEMENTARES DOS ESPAC OS DE SOBOLEV 35
Proposicao 2.2.6 O operador L transforma H
m
0
() sobre H
m
(), de maneira isometrica.
Demonstracao: Seja u H
m
0
() tal que Lu = 0. Pela Proposi cao 2.2.5 tem-se u
H
m
0
() (H
m
0
())
, portanto, u = 0. Se f H
m
(), pelo teorema de Riesz existe
u H
m
0
() tal que
f, v) = (v, u)
m
para todo v H
m
0
(),
e [[f[[
m
= [[u[[
m
. Segue-se que
f, ) = (, u)
m
= L u, ) para todo T(),
portanto, tem-se f = L u com u H
m
0
() e [[L u[[
m
= [[f[[
m
= [[u[[
m
= [[ u[[
m
.
Proposicao 2.2.7 T() e denso em H
m
().
Demonstracao: Dado f H
m
(), seja u H
m
0
() tal que Lu = f. Se (
) e uma
sucessao de T(), convergente para u em H
m
0
(), a sucessao (L
) converge para Lu = f
em H
m
(), porque L e uma isometria. Isto prova a proposi cao, desde que L
e uma
fun cao teste.
Proposicao 2.2.8 T() e denso em T
().
Demonstracao: Tem-se T() H
m
0
() com T() denso em H
m
0
(). Entao por dualidade
resulta H
m
() T
() com H
m
() denso em T
[u[
2
dx (b a)
2
_
u
x
i
2
dx para todo u H
1
0
() (2.2.6)
onde pr
i
]a, b[ .
Demonstracao: Primeiro mostra-se a desigualdade (2.2.6) para T(). O resultado
geral seguira entao por densidade. Inicialmente considera-se T(]a, b[). Tem-se:
(t) =
_
t
a
(s) ds, a t b,
que acarreta, pela desigualdade de Schwarz, [(t)[
2
(b a)
_
b
a
[
(s)[
2
ds, a qual implica
_
b
a
[(t)[
2
dt (b a)
2
_
b
a
[
(t)[
2
dt. (2.2.7)
Sem perda de generalidade supoe-se que e limitado na dire cao x
1
. Considera-se a nota cao
x = (t, x
) onde x
= (x
2
, x
3
, . . . , x
n
) e seja T(), entao:
_
[(x)[
2
dx =
_
R
n1
_
_
b
a
[(t, x
)[
2
dt
_
dx
. (2.2.8)
Observa-se que
x
(t) = (t, x
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.
2.2. PROPRIEDADES ELEMENTARES DOS ESPAC OS DE SOBOLEV 37
Observacao 8 Considere-se em H
1
0
(), limitado em alguma direcao x
i
de R
n
, a ex-
pressao
[[u[[ =
_
n
i=1
_
u
x
i
2
dx
_
1/2
.
Entao a desigualdade de Poincare diz que [[u[[ e uma norma em H
1
0
() e que em H
1
0
() as
normas [[u[[ e [[u[[
1
= [[u[[
H
1
()
sao equivalentes. Com base neste resultado, em H
1
0
(),
limitado em alguma direcao x
i
de R
n
, considera-se o produto escalar
((u, v)) =
n
i=1
_
u
x
i
v
x
i
dx.
Corolario 2 Em H
m
0
(), aberto limitado em alguma direcao x
i
de R
n
, as normas
[[u[[ =
_
||=m
_
[D
u[
2
dx
_
1/2
e [[u[[
1
sao equivalentes.
Demonstracao: Mostra-se que
[[u[[
2
1
=
||m
_
[D
u[
2
dx C[[u[[
2
(2.2.9)
onde C > 0 e uma constante independente de u H
m
0
(). A outra desigualdade e imediata.
Seja u H
m
0
() entao D
u H
1
0
() para todo [[ m1. Da Observa cao 8 resulta entao
_
[D
u[
2
dx C
n
i=1
_
x
i
D
2
dx.
Isto acarreta,
_
[D
u[
2
dx C
||=m
_
[D
u[
2
dx para todo [[ m1.
Esta desigualdade implica (2.2.9) e a demonstra cao esta concluda.
38 CAP
[D
u[
p
dx
_
1/p
e [[u[[
m,p
sao equivalentes.
Demonstracao: Aplicando raciocnio analogo ao usado para obter (2.2.8), resulta
_
b
a
[(t)[
p
dt (b a)
p+q
q
_
b
a
[
(t)[
p
dt,
_
1 < p < ,
1
p
+
1
q
= 1
_
e
_
b
a
[(t)[ dt (b a)
_
b
a
[
||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
i
(x, t) = (p
i
x, t), i = 1, 2, . . . , n e
n+1
(x, t) = x.
40 CAP
i=1
[[u
i
[[
L
n1
(R
n1
)
Demonstracao: Inicialmente, observe que se x R
n
, (u
i
p
i
)(x) = u
i
(x
1
, . . . , x
i1
, x
i+1
, . . . , x
n
).
No caso n = 2 vem u(x
1
, x
2
) = u
1
(x
1
)u
2
(x
2
) para todo (x
1
, x
2
) R
n
, portanto
[[u[[
L
1
(R
2
)
= [[u
1
[[
L
1
(R)
[[u
2
[[
L
1
(R)
.
Suponha a proposi cao verdadeira para n 2. Dados
1
,
2
, . . . ,
n
,
n+1
em L
n
(R
n
), seja
=
n+1
i=1
i
, isto e,
(x, t) =
n
i=1
i
(p
i
x, t)
n+1
(x) para todo (x, t) R
n+1
.
Para todo t R, considere:
u
i,t
(y) = [
i
(y, t)[
n/n1
, y R
n1
, i = 1, 2, . . . , n
u
t
(x) =
n
i=1
u
i,t
p
i
(x) =
n
i=1
[
i
(p
i
x, t)[
n/n1
, x R
n
.
Do teorema de Fubini obtem-se u
i,t
L
n1
(R
n1
) e da hipotese indutiva obtem-se
u
t
L
1
(R
n
) e tambem
[[u
t
[[
L
1
(R
n
)
n
i=1
[[u
i,t
[[
L
n1
(R
n1
)
. (2.3.10)
Observando que [(x, t)[ = u
t
(x)
(n1)/n
[
n+1
(x)[ e que
n 1
n
+
1
n
= 1, de (2.3.10) e da
desigualdade de Holder, obtem-se:
_
R
n
[(x, t)[dx =
_
R
n
(u
t
(x))
(n1)/n
[
n+1
(x)[ dx
__
R
n
u
t
(x)dx
_
(n1)/n
[[
n+1
[[
L
n
(R
n
)
i=1
[[u
i,t
[[
(n1)/n
L
n1
(R
n1
)
[[
n+1
[[
L
n
(R
n
)
(2.3.11)
2.3. IMERS
n
i
(t) dt =
_
R
n
[
i
(y, t)[
n
dydt,
isto e,
[[[[
L
n
(R)
= [[[[
L
n
(R
n
)
. (2.3.12)
De (2.3.11) e (2.3.12) obtem-se:
_
R
n+1
[(x, t)[ dxdt
_
R
n
i=1
i
(t)dt [[
n+1
[[
L
n
(R
n
)
i=1
__
R
n
i
(t) dt
_
1/n
[[
n+1
[[
L
n
(R
n
)
i=1
[[
i
[[
L
n
(R)
[[
n+1
[[
L
n
(R
n
)
=
=
n+1
i=1
[[
i
[[
L
n
(R
n
)
o que prova a proposi cao.
Proposicao 2.3.2 Dado 1 p < n, considere C
0
=
(n 1)p
n p
e s =
n(p 1)
n p
Entao, para
toda funcao teste sobre o R
n
, existem u
1
, u
2
, . . . , u
n
no L
n1
(R
n1
), sendo:
a) [[u
i
[[
n1
L
n1
(R
n1
)
C
0
_
R
n
[(x)[
s
[D
i
(x)[ dx, i = 1, 2, . . . , n
b) [(x)[
p/(np)
[u
i
(p
i
x)[, para x R
n
Demonstracao: Nao ha perda de generalidade admitir-se i = 1. Se u
1
(y) = sup
tR
[(t, y)[
p/(np)
,
y R
n1
, e simples concluir, notando que o suporte de u
1
e um compacto de R
n1
, que
42 CAP
D
1
[(x)[
C
0
C
0
[(x)[
s
[D
1
(x)[.
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
_
_
R
n
n
i=1
[u
i
(p
i
(x))[ dx
_
n1
.
Disto e das Proposi coes 2.3.1 e 2.3.2 decorre
[[[[
(n1)q
L
q
(R
n
)
n
i=1
[[u
i
[[
n1
L
n1
(R
n1
)
n
i=1
[[D
i
[[
L
1
(R
n
)
(2.3.13)
que implica a desigualdade de Sobolev, pois para n umeros reais nao negativos a
1
, a
2
, . . . , a
n
tem-se
_
n
i=1
a
i
_
1/n
1
n
n
i=1
a
i
. No caso p > 1, considere p
s = np/(n p) = q, tem-se:
[[ [[
s
[[
p
L
p
(R
n
)
= [[[[
q
L
q
(R
n
)
.
Considere u
1
, u
2
, . . . , u
n
em L
n1
(R
n1
) como na Proposi cao 2.3.2. Pela parte a) desta
proposi cao e pela desigualdade de Holder, obtem-se:
[[u
i
[[
n1
L
n1
(R
n1
)
C
0
[[D
i
[[
L
p
(R
n
)
[[[[
q/p
L
q
(R
n
)
.
Da parte b) da Proposi cao 2.3.2, resulta:
[(x)[
q
= ([(x)[
p/(np)
)
n
i=1
[u
i
(p
i
(x))[, x R
n
.
Pela Proposi cao 2.3.1 e pelas duas ultimas desigualdades, obtem-se
[[[[
(n1)q
L
q
(R
n
)
=
__
R
n
[(x)[
q
dx
_
n1
_
_
R
n
n
i=1
[u
i
(p
i
(x))[ dx
_
n1
i=1
[[u
i
[[
n1
L
n1
(R
n1
)
C
n
0
[[[[
nq/p
L
q
(R
n
)
n
i=1
[[D
i
[[
L
p
(R
n
)
.
Note que sendo (n 1)q
nq
p
n=1
[[D
i
[[
L
1
(R
n
)
para todo C
1
0
(R
n
).
Observacao 11 Note-se que se 1 p < e m, n sao n umeros naturais nao negativos
entao
a)
1
p
m
n
> 0 se e somente se mp < n
b)
1
q
=
1
p
m
n
> 0 implica p < q
A seguir mostra-se a imersao de W
m,p
(R
n
) em L
q
(R
n
).
Teorema 2.3.1 (Sobolev) Sejam 1 p < , mp < n e
1
q
=
1
p
m
n
Entao W
m,p
(R
n
)
esta contido em L
q
(R
n
) e se verica
[[u[[
L
q
(R
n
)
_
C
0
n
_
m
||=m
[[D
u[[
L
p
(R
n
)
, (2.3.14)
para todo u W
m,p
(R
n
), onde C
0
= (n 1)p/(n p).
Demonstracao: Prova-se primeiro a desigualdade para as fun coes em T(R
n
). Na prova
aplica-se o metodo de indu cao com rela cao a m. Com efeito, para m = 1 a desigualdade
(2.3.14) e a desigualdade obtida na Proposi cao 2.3.3. Suponha entao que (2.3.14) e valida
para m 1, isto e,
[[[[
L
q
1(R
n
)
_
C
0
n
_
m
||=m
[[D
[[
L
p
1(R
n
)
para todo T(R
n
)
2.3. IMERS
m
n
Deseja-se obter a desigualdade (2.3.14) para m + 1. Tem-se
entao (m+ 1)p < n e
1
q
=
1
p
m + 1
n
=
1
p
m
n
1
n
,
1
q
1
=
1
p
m
n
> 0,
1
q
=
1
q
1
1
n
Da hipotese de indu cao e da Proposi cao 2.3.3 resulta entao para T(R
n
):
[[[[
L
q
1(R
n
)
_
C
0
n
_
m
||=m
[[D
[[
L
p
(R
n
)
(2.3.15)
[[[[
L
q
(R
n
)
C
0
n
n
i=1
[[D
i
[[
L
q
1(R
n
)
. (2.3.16)
De (2.3.15) obtem-se:
[[D
i
[[
L
q
1(R
n
)
_
C
0
n
_
m
||=m
[[D
D
i
[[
L
p
(R
n
)
portanto
C
0
n
n
i=1
[[D
i
[[
L
q
1(R
n
)
_
C
0
n
_
m+1 n
i=1
||=m
[[D
D
i
[[
L
p
(R
n
)
=
=
_
C
0
n
_
m+1
||=m+1
[[D
[[
L
p
(R
n
)
.
(2.3.17)
De (2.3.16) e (2.3.17) segue a desigualdade (2.3.14) para m + 1. Assim o teorema esta
mostrado para em T(R
n
).
Seja u W
m,p
(R
n
). Entao existe uma sucessao (
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
v em L
q
(R
n
) e
u em L
p
(R
n
). (2.3.19)
Passando ambas as convergencias ao espa co T(R
n
) resulta u = v, portanto u L
q
(R
n
).
Assim W
m,p
(R
n
) esta contido em L
q
(R
n
). Tomando o limite em ambos os lados da desigual-
dade
[[
[[
L
q
(R
n
)
_
C
0
n
_
m
||=m
[[D
[[
L
p
(R
n
)
segue das convergencias (2.3.18) e (2.3.19), a desigualdade (2.3.14) para u W
m,p
(R
n
). Isto
prova o teorema.
Como uma conseq uencia direta do Teorema 2.3.1, segue o resultado:
Corolario 4 Seja 1 p < , mp < n e
1
q
=
1
p
m
n
Entao
W
m,p
(R
n
) L
q
(R
n
).
Corolario 5 Se 1 p < , mp < n e p q
np
n mp
entao
W
m,p
(R
n
) L
q
(R
n
).
Demonstracao: De fato, ponha q
0
=
np
n mp
e considere o espa co de Banach E = L
p
(R
n
)
L
q
0
(R
n
) com a norma
[[u[[
E
= [[u[[
L
p
(R
n
)
+[[u[[
L
q
0(R
n
)
.
Sendo p q q
0
, tem-se pela Proposi cao 1.2.1 do Captulo 1, que E L
q
(R
n
). Pelo
Corolario 4 resulta W
m,p
(R
n
) E. Destas duas imersoes contnuas segue o corolario.
Corolario 6 Se 1 p < , mp < n e
1
q
=
1
p
m
n
entao W
m+k,p
(R
n
) W
k,q
(R
n
) para
todo k inteiro nao negativo.
2.3. IMERS
[[
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
n
p
)
n
i=1
[[D
i
[[
L
p
(R
n
)
para todo > 0
que implica 1 +
n
r
n
p
= 0.
2.3.2 Caso mp = n
Nesta se cao mostra-se que W
m,p
(R
n
) esta imerso continuamente em L
q
(R
n
) para todo
q [p, [ . Para isto prova-se inicialmente o seguinte resultado:
48 CAP
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
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
i=1
[[D
i
[[
L
n
(R
n
)
, k = 0, 1, 2, . . .
(2.3.21)
Mostra-se esta desigualdade por indu cao com rela cao a k. Com efeito, fazendo = n em
(2.3.20) resulta (2.3.21) com k = 0. Suponha (2.3.21) verdadeiro para k 0 e considere
k + 1. Fazendo = n + k + 1 em (2.3.20) e usando a hipotese de indu cao, obtem-se:
[[[[
L
(n+k+1)n/(n1)
(R
n
)
n + k
n + k + 1
_
n 1
n + k
[[[[
L
n
(R
n
)
+
(k + 1)(2n + k)
2n(n + k)
n
i=1
[[D
i
[[
L
n
(R
n
)
_
+
+
1
n
n
i=1
[[D
i
[[
L
n
(R
n
)
=
n 1
n + k + 1
[[[[
L
n
(R
n
)
+
+
(k + 2)(2n + k + 1)
2n(n + k + 1)
n
i=1
[[D
i
[[
L
n
(R
n
)
que da a desigualdade (2.3.21) com k + 1.
Seja q [n, [ entao existe k = 0, 1, . . . tal que n q
(n+k)n
n1
Pela desigualdade
de interpola cao, Proposi cao 1.2.1 do Captulo 1, resulta:
[[[[
L
q
(R
n
)
[[[[
L
n
(R
n
)
+ (1 )[[[[
L
(n+k)n/(n1)
(R
n
)
(2.3.22)
onde
1
q
=
n
+
1
(n + k)n/(n 1)
e 0 1. Combinando (2.3.21) e (2.3.22) obtem-se a
desigualdade do lema.
Teorema 2.3.2 Seja 1 p < , mp = n e q [p, [ . Entao
W
m,p
(R
n
) L
q
(R
n
).
50 CAP
1
n
> 0 que
implica, pelo Corolario 4, W
1,p
(R
n
) L
n/m
(R
n
), que por sua vez, pelo Corolario 6, acarreta
W
m+1,p
(R
n
) W
m,n/m
(R
n
). Pela hipotese de indu cao resulta W
m,n/m
(R
n
) L
q
(R
n
) para
todo q [n/m, [ . Das duas ultimas inclusoes contnuas segue
W
m+1,p
(R
n
) L
q
(R
n
) para todo q [n/m, [ . (2.3.23)
De (2.3.23) resulta W
m+1,p
(R
n
) L
n/m
(R
n
) e como W
m+1,p
(R
n
) L
p
(R
n
), p =
n
m+1
,
segue-se por interpola cao de espa cos que
W
m+1,p
(R
n
) L
q
(R
n
) para todo q [p, n/m]. (2.3.24)
De (2.3.23) e (2.3.24) segue o teorema.
No caso p = 1 tem-se o resultado suplementar W
n,1
(R
n
) C
0
b
(R
n
). C
0
b
(R
n
) e o
espa co de Banach das fun coes contnuas e limitadas em R
n
com valores em K, equipado com
a norma do supremo em R
n
(ver a se cao a seguir).
2.3.3 Caso mp > n
Nesta se cao mostra-se que W
m,p
(R
n
) esta imerso continuamente num espa co de fun coes
regulares em R
n
.
Inicialmente introduz-se alguns espa cos que serao utilizados na formula cao dos resul-
tados. Com efeito, denota-se por C
k
b
(R
n
), k inteiro nao negativo, o espa co de Banach das
fun coes u: R
n
K de classe C
k
, limitadas assim como todas suas derivadas ate a ordem k,
2.3. IMERS
u(x)[,
e denota-se por C
k,
(R
n
), 0 < 1, o espa co de Banach das fun coes u C
k
b
(R
n
) tais
que u e todas suas derivadas ate a ordem k sao Holderianas com expoente em R
n
, mais
precisamente,
max
||k
sup
x,yR
n
x=y
[D
u(x) D
u(y)[
[[x y[[
< ,
equipado com a norma
[[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[[
u(x) D
u(y)[
[[x y[[
[D
u(x) D
u(y)[ 2 sup
zR
n
[D
u(z)[
de onde segue a arma cao.
Tem-se o seguinte resultado:
Lema 2.3.2 Seja
0
= m
n
p
com 0 <
0
1, U
r
um paraleleppedo do R
n
de lados
paralelos aos eixos coordenados e cada lado de comprimento r > 0 e x
0
U
r
. Entao
(x
0
)
1
r
n
_
Ur
(z) dz
i=1
[[D
i
[[
L
q
(R
n
)
para todo T(R
n
)
onde
52 CAP
(t) dt =
n
i=1
_
1
0
D
i
(tz + [1 t]x
0
)(z
i
x
oi
)
que implica
[(z) (x
0
)[ r
n
i=1
_
1
0
[D
i
(tz + [1 t]x
0
)[ dt.
Notando que (x
0
) =
1
r
n
_
Ur
(x
0
) dz e usando esta ultima desigualdade, obtem-se:
1
r
n
_
Ur
(z) dz (x
0
)
1
r
n
_
Ur
[(z) (x
0
)] dz
r
1n
n
i=1
_
1
0
_
Ur
[D
i
(tz + [1 t]x
0
)[dzdt.
(2.3.25)
Fazendo y = tz + (1 t)x
0
resulta
_
Ur
[D
i
(tz + [1 t]x
0
[ dz =
_
(1t)x
0
+tUr
[D
i
(y)[t
n
dy =
= t
n
_
R
n
[D
i
(y)[
(1t)x
0
+tUr
(y) dy
onde
(1t)x
0
+tUr
e a fun cao caracterstica do conjunto (1 t)x
0
+ tU
r
. Aplicando a desi-
gualdade de Holder
_
1
+
1
= 1
_
nesta ultima igualdade, vem:
_
Ur
[D
i
(tz + [1 t]x
0
)[ dz t
n
[[D
i
[[
L
(R
n
)
(t
n
r
n
)
1/
. (2.3.26)
2.3. IMERS
(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
(x
0
)
1
r
n
_
Ur
(z) dz
r
1
n
_
n
i=1
[[D
i
[[
L
(R
n
)
_
_
1
0
t
n/
dt. (2.3.27)
Fazendo = q em (2.3.27) obter-se-a o lema. Com efeito:
Caso a). Considere = q, q = np/(n [m 1]p), em (2.3.27). Entao notando que
1
n
q
= m
n
p
=
0
, portanto
_
1
0
t
n/q
dt = 1/
0
, obtem-se:
(x
0
)
1
r
n
_
Ur
(z) dz
0
r
0
n
i=1
[[D
i
[[
L
q
(R
n
)
.
Caso b). Seja 0 < < 1 e > 1 tal que 1
n
= . Entao = n/(1 ), = q e
_
1
0
t
n/
dt = 1/. Fazendo =
n
1
em (2.3.27) resulta entao
(x
0
)
1
r
n
_
Ur
(z) dz
i=1
[[D
i
[[
L
q
(R
n
)
concluindo-se a demonstra cao.
Lema 2.3.3 Sob as hipoteses do Lema 2.3.2, tem-se:
(x
0
)
1
r
n
_
Ur
(z) dz
C r
[[[[
W
m,p
(R
n
)
para todo T(R
n
)
onde C > 0 e uma constante independente de , r, x
0
e
a) =
0
se
0
< 1
b) 0 < < 1 se
0
= 1
54 CAP
(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
0
denido por (2.3.28).
Por outro lado, seja T(R
n
), x R
n
e U
r
um paraleleppedo do R
n
, nas condi coes
do Lema 2.3.2, de volume igual a um e que contem x. Entao do Lema 2.3.3, com [[ k,
resulta:
[D
(x)[
(x)
_
Ur
D
(z)dz
_
Ur
D
(z)dz
C[[D
[[
W
mk,p
(R
n
)
+
__
Ur
[D
(z)[
p
_
1/p
isto e,
[D
(x)[ C
2
[[[[
W
m,p
(R
n
)
, x R
n
, [[ k (2.3.31)
onde C
2
> 0 e uma constante independente de e x.
Seja u W
m,p
(R
n
) entao pelo Teorema 2.2.1, existe uma sucessao (
) de fun coes de
T(R
n
) tal que
u em W
m,p
(R
n
) (2.3.32)
e
u quase sempre em R
n
. (2.3.33)
De (2.3.31) resulta
[D
(x) D
(x)[ C
2
[[
[[
W
m,p
(R
n
)
, x R
n
, [[ k.
Desta expressao, da convergencia (2.3.32) e da desigualdade (2.3.31) escrita com
vem que
(
v em C
k
b
(R
n
). (2.3.34)
56 CAP
u em C
k
b
(R
n
). (2.3.35)
Escrevendo (2.3.29) e (2.3.31) com
u(x) D
u(y)[ C
1
[[x y[[
[[u[[
W
m,p
(R
n
)
para todo [[ k
com nas condi coes (2.3.30), e
[D
u(x)[ C
2
[[u[[
W
m,p
(R
n
)
, x R
n
, [[ k.
Estas duas ultimas desigualdades e a Observa cao 13 implicam o teorema.
O Teorema 2.3.3 e a Observa cao 13 acarretam:
Corolario 7 Sob as hipoteses do Teorema 2.3.3, tem-se:
W
m,p
(R
n
) C
k
b
(R
n
).
2.3.4 Caso n = 1
Neste caso obtem-se uma melhor regularidade para as fun c oes de W
m,p
(R).
Teorema 2.3.4 Tem-se com m 1:
a) W
m,p
(R) C
m1,
(R) com 0 < 1
1
p
se p > 1
b) W
m,p
(R) C
m1
b
(R) se p = 1
2.3. IMERS
(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
(j)
(x)
1
r
_
I
(j)
(z) dz
[[
(j+1)
[[
L
1
(R)
.
Conseq uentemente considerando I de comprimento um e contendo x, resulta
[
(j)
(x)[
(j)
(x)
_
I
(j)
(z) dz
_
I
(j)
(z) dz
[[
(j+1)
[[
L
1
(R)
+[[
(j)
[[
L
1
(R)
isto e,
[
(j)
(x)[ [[[[
W
m,1
(R)
, x R, j = 0, 1, . . . , m1.
A demonstra cao prossegue como no Caso a).
2.3.5 Caso p =
Nesta se cao mostra-se que W
1,
(R
n
) esta imerso continuamente no espa co das fun coes
Lipschitzianas e limitadas de R
n
com n 1, mais precisamente:
Teorema 2.3.5 Tem-se, para n 1 e m 1:
W
m,
(R
n
) C
m1,1
(R
n
).
Demonstracao: Mostra-se primeiro que se u W
m,
(R
n
) entao u C
m1
(R
n
) e vale a
desigualdade
[D
u(x) D
u 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
, (
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
u)[[
L
p
(R
n
)
2[ max
xR
n [D
i
(x)[][[u[[
L
p
(B
2
(0))
+ 2[[D
i
u[[
L
p
(B
2
(0))
C()[[u[[
L
p
(B
2
(0))
+ 2[[D
i
u[[
L
p
(B
2
(0))
Substituindo esta desigualdade em (2.3.42) resulta
[u(x) u(y)[
2
1+
0
0
[[x y[[
0
_
nC()[[u[[
L
p
(B
2
(0))
+ 2
n
i=1
[[D
i
u[[
L
p
(B
2
(0))
_
. (2.3.43)
Observe que se v L
(B
2
(0)) entao
_
_
B
2
(0)
[v[
p
dx
_
1/p
[[v[[
L
(B
2
(0))
(vol B
2
(0))
1/p
que implica
limsup
p
[[v[[
L
p
(B
2
(0))
[[v[[
L
(B
2
(0))
.
Tomando o limite superior em p na desigualdade (2.3.43) e levando em considera cao esta
ultima observa cao, obtem-se
[u(x) u(y)[ 4[[x y[[
_
nC()[[u[[
L
(B
2
(0))
+ 2
n
i=1
[[D
i
u[[
L
(B
2
(0))
_
que implica
[u(x) u(y)[ C[[x y[[ [[u[[
W
1,
(R
n
)
que mostra a desigualdade (2.3.40) para m1.
Para o caso n = 1, tem-se a desigualdade
[u(x) u(y)[ [(
u(x) (
u)(y)[ [x y[
0
_
_
_
_
d
dx
(
u)
_
_
_
_
L
p
(R)
_
0
= 1
1
p
_
a qual vem de (2.3.38). A demonstra cao de (2.3.40) prossegue entao como no caso n 2.
Suponha que a desigualdade (2.3.40) e valida para m 1. Considere m + 1 e
u W
m+1,
(R
n
). Seja p > n entao m < (m + 1)
n
p
< m + 1. Pelo Teorema 2.3.3 e
por analogo raciocnio ao feito acima vem que u C
m+1
(R
n
). Seja [[ m. Considere um
2.4. PROLONGAMENTO 61
multi-ndice tal que [[ = [[ 1 e D
D
i
u = D
u. Como D
i
u W
m,
(R
n
) e [[ m1
vem da hipotese de indu cao que
[D
(D
i
u)(x) D
(D
i
u)(y)[ C[[x y[[ [[D
i
u[[
W
m,
(R
n
)
isto e,
[D
u(x) D
= u em .
Na Se cao 2.4.1 analiza-se o prolongamento para o caso em que e o semi-espa co R
n
+
e na Se cao 2.4.2, para o caso aberto-limitado de classe C
m
.
Por T() representa-se a restri cao a das fun coes de T(R
n
) e por C
m
0
() a restri cao
a das fun coes de C
m
(R
n
) que possuem suporte compacto.
2.4.1 Caso = R
n
+
Denota-se por R
n
+
ao semi espa co
R
n
+
= x R
n
; x
n
> 0.
Faz-se x = (x
1
, x
2
, . . . , x
n
) e x
= (x
1
, x
2
, . . . , x
n1
) R
n1
. Representa-se um vetor x do R
n
como sendo x = (x
, x
n
),
62 CAP
) 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) = v
(x).
Gracamente teria-se
2.4. PROLONGAMENTO 63
E
R
n1
1
2
K
1
[0, T]
T
x
n
r
r
r
(x
, x
n
) = (D
u)(x
, x
n
+
1
, x
n
)
e para todo [[ m.
De fato, se T(
) seja (x) = (x
, x
n
1
) para x R
n
+
, entao e uma fun cao
teste em R
n
+
e
D
, ) = (1)
||
_
u(x
, x
n
+
1
)(D
)(x
, x
n
)dx
dx
n
=
= (fazendo y
n
= x
n
+
1
)(1)
||
_
R
n
+
u(x)D
(x) dx =
=
_
R
n
+
D
u(x)(x) dx =
_
(D
u)(x
, x
n
+
1
)(x) dx.
b) u
[
R
n
+
u em W
m,p
(R
n
+
).
Observe que se k
= (0, 0, . . . , 0,
1
) entao (
k
u)(x
, x
n
) = u(x
, x
n
+
1
) = u
(x
, x
n
),
isto e,
k
u = u
. Tem-se:
[[u
u[[
L
p
(R
n
+
)
[[
k
u u[[
L
p
(R
n
)
e sendo a transla cao contnua, resulta:
lim
[[u
u[[
L
p
(R
n
+
)
= 0.
64 CAP
u)(x
, x
n
) =
D
u(x
, x
n
+
1
) =
D
(x
, x
n
)
isto e,
k
u =
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
) 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
+
)
2.4. PROLONGAMENTO 65
onde C e uma constante que depende apenas de m, e
Pu[
R
n
+
= u quase sempre em R
n
+
, u W
m,p
(R
n
+
).
Demonstracao: Na demonstra cao do teorema sera empregado o resultado que segue enun-
ciado sob forma de lema.
Lema 2.4.1 Seja u contnua em R
n
tal que a derivada classica
u
x
n
existe em R
n
+
e R
n
=
x R
n
; x
n
< 0 e
u
x
n
L
1
loc
(R
n
). Entao
x
n
T
u
= T u
xn
em T
(R
n
).
A demonstra cao do lema segue por integra cao por partes.
Seja v T(R
n
+
) e
(Pv)(x) =
_
_
v(x) se x
n
> 0
m
=1
c
v(x
, x
n
) se x
n
< 0
Dado = (
, k) em N
n
, com
em N
n1
e k em N, obtem-se:
D
(Pv) = P(D
v) quando k = 0.
Fazendo D
n
=
x
n
, vem:
D
k
n
(Pv)(x) =
_
_
(D
k
n
v)(x), x
n
> 0
m
=1
()
k
c
(D
k
n
v)(x
, x
n
), x
n
< 0.
66 CAP
=1
()
k
c
= 1, k = 0, 1, . . . , m 1,
as fun coes D
k
n
(Pv) satisfazem as condi coes do Lema 2.4.1, logo D
k
n
(Pv) L
p
(R
n
) para
k = 1, 2, . . . , m, pois v T(R
n
+
). Observe que os coecientes c
1
, c
2
, . . . , c
m
sao as solu coes
do sistema de equa coes AC = 1 onde A e a matriz
A =
_
_
1 1 1 . . . 1
(1) (2) (3) . . . (m)
(1)
2
(2)
2
(3)
2
. . . (m)
2
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
(1)
m1
(2)
m1
(3)
m1
. . . (m)
m1
_
_
C = (c
1
, c
2
, . . . , c
m
)
e 1 = (1, 1, . . . , 1)
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
.
2.4. PROLONGAMENTO 67
Notando que
_
1
m
m
=1
a
_
p
1
m
m
=1
a
p
, a
0, segue-se que
_
R
n
=1
()
k
c
D
k
n
D
v(x
, x
n
)
p
dx
dx
m
p1
m
=1
mp
[c
[
p
_
R
n1
_
0
[D
v(x
, x
n
)[
p
dx
dx
n
m
p1
m
=1
mp1
[c
[
p
_
R
n
+
[D
v(x)[
p
dx.
Combinando os dois ultimos calculos resulta
_
R
n
[D
(Pv)(x)[
p
dx
_
1 + m
p1
m
=1
mp1
[c
[
p
_
_
R
n
+
[D
v(x)[
p
dx
que acarreta
||m
_
R
n
[D
(Pv)(x)[
p
dx
_
1 +m
p
m
=1
mp
[c
[
p
_
||m
_
R
n
+
[D
v(x)[
p
dx.
Portanto
[[Pv[[
W
m,p
(R
n
)
_
1 +m
m
=1
m
[c
[
_
[[v[[
W
m,p
(R
n
+
)
, v T(R
n
+
).
Da Proposi cao 2.4.1 decorre entao que P estende-se a uma aplica cao linear contnua
P: W
m,p
(R
n
+
) W
m,p
(R
n
)
com P vericando
[[Pu[[
W
m,p
(R
n
)
C[[u[[
W
m,p
(R
n
+
)
com C = 1 +m
m
=1
m
[c
u
em W
m,p
(R
n
+
), entao P
Pu em W
m,p
(R
n
), logo
(P
)[
R
n
+
(Pu)[
R
n
+
em W
m,p
(R
n
+
).
Da deni cao de P resulta que P
[
R
n
+
=
, portanto Pu[
R
n
+
= u, o que demonstra o
teorema.
68 CAP
, x
n
) = 0 se x
n
< 0 e (x
, x
n
) K
1
[0, T]. Resulta disto que
supp Pv esta contido em K
1
[T, T].
2.4.2 Caso Aberto Limitado
Inicialmente xa-se algumas nota coes. Sejam Q o retangulo aberto
Q = y R
n
; 0 < y
i
< 1, i = 1, 2, . . . , n 1, 1 < y
n
< 1,
Q
+
e Q
os quadrados abertos
Q
+
= Q y
n
> 0, Q
= Q y
1
< 0,
e o segmento aberto Q y
n
= 0.
Seja um subconjunto aberto do R
n
. Diz-se que e de classe C
m
(m = 1, 2, . . .) se
sua fronteira e uma variedade de classe C
m
de dimensao n 1 e estando localmente de
um mesmo lado de . Se e de classe C
m
entao existe um sistema de cartas locais (U
j
,
j
),
j = 1, 2, . . . denindo tal que
U
j
e um aberto limitado do R
n
e os U
j
cobrem
j
: U
j
Q e uma bije cao de classe C
m
1
j
: Q U
j
e de classe C
m
j
(U
j
) = Q
+
,
j
(U
j
) =
Decorre da ultima expressao que
j
(U
j
() = Q
j
(x) = J
ij
(
i
(x)), para todo x U
i
U
j
.
Gracamente teria-se
2.4. PROLONGAMENTO 69
x
r
U
j
T
E
R
n1
Q
+
Q
y
n
Nao sao de classe C
1
os seguintes abertos
T
E
x
1
x
2
&%
'$
r
x
0
T
E
x
1
x
2
&%
'$
r
M
N
No primeiro exemplo e o disco aberto menos o centro x
0
e no segundo, e o disco
aberto menos o raio MN. Claramente R
n
+
e um aberto de classe C
m
para todo m 1.
Se e um aberto limitado do R
n
de classe C
m
podemos escolher um sistema de cartas
locais nito
(U
1
,
1
), . . . , (U
N
,
N
)
denindo que satisfazem as condi coes acima.
O aberto do R
n
e denominado bem regular se e de classe C
m
para todo
m = 1, 2, . . .
A seguir xa-se um aberto limitado do R
n
, de classe C
m
, e denota-se por sua
fronteira. Mostrar-se-a que existe um operador de prolongamento P: W
m,p
() W
m,p
(R
n
).
Este resultado e obtido observando-se, por meio de cartas locais, que localmente as fun coes
70 CAP
da Unidade `a cobertura U
j
do aberto
_
N
_
j=1
U
j
_
, uma cole cao
de fun coes
0
,
1
, . . . ,
N
tais que
j
T(R
N
)
supp (
0
) , supp
j
U
j
0
j
1
N
j=0
j
(x) = 1, x .
Seja u W
m,p
() entao u = u
0
+
N
j=1
u
j
. Observe que w
0
= u
0
tem o prolongamento
natural a R
n
por zero fora de . A diculdade esta com os w
j
= u
j
. Seja U
+
j
= U
j
e
v
j
(y) = w
j
(
1
j
(y)), y Q
+
.
Claramente, w
j
W
m,p
(U
+
j
). Tem-se o seguinte resultado:
Lema 2.4.2 Seja u W
m,p
() e v
j
, w
j
denidos como acima, entao v
j
W
m,p
(Q
+
) e
existe uma constante C
0
= C
0
(
j
,
j
, m, n) > 0 independente de u e p tal que
[[v
j
[[
W
m,p
(Q
+
)
C
0
[[w
j
[[
W
m,p
(U
+
j
)
.
Demonstracao: Para facilitar a escrita nao escrever-se-a o ndice j. Seja y = (x) e
(y) =
1
(y) = (
1
(y),
2
(y), . . . ,
n
(y)) = (x
1
, x
2
, . . . , x
n
).
2.4. PROLONGAMENTO 71
Note que v((x)) = w(x) e [ det(J(x))[ = A(x) > 0, para todo x U. Tem-se:
_
Q
+
[v(y)[
p
dy =
_
U
+
[v((x))[
p
A(x)dx =
_
supp w
[w(x)[
p
A(x)dx
( max
xsupp
A(x))
_
U
+
[w(x)[
p
dx.
Tambem
v
y
i
(y) =
m
k=1
w
x
k
((y))
k
y
i
(y),
_
Q
+
v
y
i
(y)
p
dy n
p1
n
k=1
_
U
+
w
k
x
k
(x)
k
y
i
((x))
p
A(x)dx
n
p1
_
max
1kn
max
xsupp
k
y
i
((x))
p _
( max
xsupp
A(x))
m
k=1
_
U
+
w
x
k
p
dx.
Da mesma forma:
2
v
y
i
y
(y) =
k
_
2
w
x
k
x
r
((y))
r
y
(y)
_
k
y
i
(y) +
+
k
w
x
k
(y)
2
k
y
i
y
(y)
e por um procedimento analogo ao anterior, obtem-se
_
Q
+
2
v
y
i
y
(y)
p
dy n
2(p1)
C
i,
(
j
,
j
)
k,r
_
_
_
_
2
w
x
k
x
r
_
_
_
_
p
L
p
(U
+
)
+
+n
2(p1)
C
i,
(
j
,
j
)
k
_
_
_
_
w
x
k
_
_
_
_
p
L
p
(U
+
)
.
Repetindo os mesmos argumentos obtem-se desigualdades do mesmo tipo para as outras
derivadas parciais de v. Assim o lema esta demonstrado.
Seja W o espa co das fun coes g W
m,p
(Q
+
) tais que todas elas se anulam numa
vizinhan ca xa O de Q
+
. Dene-se h(x) = g(
j
(x)) entao tem-se o seguinte resultado:
Lema 2.4.3 Nas condicoes acima, h W
m,p
(U
+
j
) e existe uma constante C
1
= C
1
(O,
j
, m, n),
independente de g W e p, tal que
[[h[[
W
m,p
(U
+
j
)
C
1
[[g[[
W
m,p
(Q
+
)
.
72 CAP
j=1
u
j
. Seja
w
j
= u
j
, j = 0, 1, . . . , N. Note que w
0
W
m,p
0
(). Com w
j
W
m,p
(U
+
j
) constroi-se
v
j
W
m,p
(Q
+
). Observe que v
j
anula-se numa vizinhan ca de Q
+
, entao pode-se con-
siderar v
j
como pertencendo a W
m,p
(R
n
+
). Pela se cao anterior existe uma sucessao (
) de
fun coes de T(R
n
+
) tal que
v
j
em W
m,p
(R
n
+
).
Seja T(Q) tal que = 1 no suporte de v
j
entao
v
j
= v
j
em W
m,p
(R
n
+
).
2.4. PROLONGAMENTO 73
Observe que cada
(x) =
((x)) entao
os
w
j
em W
m,p
().
Seja > 0 e
j
C
m
0
() tal que [[
j
w
j
[[ W
m,p
() <
N
, j = 0, 1, . . . , N entao
_
_
_
_
_
u
N
j=1
j
_
_
_
_
_
W
m,p
()
j=1
[[w
j
j
[[
W
m,p
()
<
que mostra a densidade de C
m
0
() em W
m,p
(). Regularizando as fun coes de C
m
0
()
(ver Teorema 2.2.1) segue que T() e denso em W
m,p
().
Teorema 2.4.2 Seja aberto limitado do R
n
, de classe C
m
, e 1 p < . Entao existe
um operador de prolongamento
P: W
m,p
() W
m,p
(R
n
) linear
tal que
[[Pu[[
W
m,p
(R
n
)
c[[u[[
W
m,p
()
onde c e uma constante independente de u W
m,p
() e p, e
Pu[
= u quase sempre em .
Demonstracao: Seja u T() entao por cartas locais u = u
0
+
N
j=1
u
j
. Com w
j
= u
j
constroi-se v
j
que se anula numa vizinhan ca de Q
+
. Tem-se que v
j
W
m,p
(R
n
+
) e
pelo Teorema 2.4.1, da se cao anterior, Pv
j
W
m,p
(R
n
). Pela propria constru cao de P
(ver Observa cao 16), note-se que Pv
j
tem suporte compacto em Q. Com Pv
j
constroi-se
h
j
W
m,p
(U
j
) que se anula numa vizinhan ca de U
j
e h
j
restrito a U
+
j
e igual a w
j
.
74 CAP
h
j
[[
W
m,p
(R
n
)
= [[h
j
[[
W
m,p
(U
i
)
C
1
[[Pv
j
[[
W
m,p
(Q)
C
2
[[v
j
[[
W
m,p
(Q
+
)
C
3
[[w
j
[[
W
m,p
(U
+
i
)
= C
3
[[w
j
[[
W
m,p
()
onde as diferentes constantes C
i
sao independentes de u e p. Seja P
j
w
j
=
h
j
entao P
j
e
linear e contnuo. Dene-se o operador de prolongamento P como sendo
Pu = w
0
+
N
j=1
P
j
w
j
.
Tem-se:
[[Pu[[
W
m,p
(R
n
)
[[w
0
[[
W
m,p
()
+
N
j=1
C[[w
j
[[
W
m,p
()
C[[u[[
W
m,p
()
sendo a constante C e independente de u e p. O teorema segue pelo resultado de densidade
da Proposi cao 2.4.2.
Sejam S
n1
= R
n
; [[[[ = 1 e
0
S
n1
, > 0. Denota-se por C(
0
, ) ao
cone
C(
0
, ) = t; 0 < t < e [[
0
[[ < , S
n1
.
Seja aberto limitado do R
n
. Diz-se que possui a propriedade do cone se existe uma
cobertura (U
i
)
1iN
da fronteira de vericando:
para cada U
i
existe um cone C(
0i
,
i
) tal que para todo
x U
i
, x + C(
0i
,
i
) nao intersepta U
i
.
Mostra-se (ver [8] e [17]) que os abertos limitados do R
n
com a propriedade do cone
possuem a propriedade do (m, p)-prolongamento para todo m 1 e 1 < p < . Este e
um resultado devido a A.P. Calderon e baseado em propriedades de integrais singulares de
Calderon-Zygmund. Observe que os paraleleppedos abertos do R
n
tem a propriedade do
cone. A desvantagem do operador de prolongamento de Calderon e de que este e construdo
especialmente para W
m,p
() e nao serve para prolongar simultaneamente os espa cos W
k,p
()
2.5. IMERS
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
.
Tem-se a seguinte cadeia de aplica coes lineares contnuas:
W
m,p
()
P
W
m,p
(R
n
)
I
L
q
(R
n
)
r
L
q
()
que mostra a) para p q p
0
[[x y[[
0
n
i=1
[[D
i
(Pu)[[
L
p
(R
n
)
2.5. IMERS
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
i=1
_
_
_
_
u
x
i
_
_
_
_
L
1
(R
n
)
onde (
h
u)(x) = u(x h).
Demonstracao: Mostra-se o resultado, inicialmente, para fun coes T(R
n
). Tem-se:
(x h) (x) =
_
1
0
d
dt
(x th) dt =
_
1
0
_
n
i=1
x
i
(x th)(h
i
)
_
dt
que implica
[(
h
)(x) (x)[ [[h[[
n
i=1
_
1
0
x
i
(x th)
dt
e isto acarreta,
_
R
n
[
h
(x) (x)[ dx = [[h[[
n
i=1
_
1
0
_
R
n
x
i
(x th)
dxdt =
= [[h[[
n
i=1
_
R
n
x
i
(x)
dx
isto e,
[[
h
[[
L
1
(R
n
)
[[h[[
n
i=1
_
_
_
_
x
i
_
_
_
_
L
1
(R
n
)
. (2.5.46)
Seja u W
1,1
(R
n
), entao existe uma sucessao (
u em W
1,1
(R
n
)
u quase sempre em R
n
[
= x ; dist(x, )
1
. Tem-se:
K
1
K
2
. . . ,
_
=1
K
= .
Portanto,
e lim
K
(x) =
(x), x
onde
O
e a fun cao caracterstica do conjunto O. Resulta, entao, pelo Teorema da Con-
vergencia Dominada de Lebesgue que
lim(mes K
) = lim
_
K
(x) dx =
_
(x) dx = mes
que mostra a observa cao.
Teorema 2.5.4 (Rellich-Kondrachov) Sejam um aberto limitado do R
n
, de classe
C
1
e 1 p . Entao as seguintes imersoes sao compactas:
a) W
1,p
() L
q
(), 1 q <
np
n p
= p
se p < n
b) W
1,p
() L
q
(), 1 q < se p = n
c) W
1,p
() C
0
() se p > n
Demonstracao: Estudar-se-a primeiro o caso a). O Teorema de Frechet-Kolmogorov
(ver K. Yosida [16]) diz que o subconjunto T de L
q
(), 1 q < , e relativamente
compacto em L
q
() se
i) T e limitado.
ii) Para todo > 0, existe um compacto K de tal que
_
\K
[u[
q
dx < , u T.
80 CAP
.
A condi cao i) segue pelo Teorema 2.5.1, parte a). Estudar-se-a a condi cao ii). Por se
ter 0 < q < p
+
1
0 onde
1
+
1
= 1.
Tem-se, aplicando a desigualdade de Holder:
_
\K
[u[
q
dx
_
_
\K
[u[
q
_
1/
_
_
\K
dx
_
1/
[[u[[
q
L
p
()
mes(K)
1/
C mes(K)
1/
C
pois mes(K)
1/
pode ser escolhido arbitrariamente pequeno, ver Observa cao 2.5.2. Isto
mostra ii).
Verica-se iii). Seja
1
> 0. Escolha K compacto de tal que
_
_
\K
[u[
q
dx
_
1/q
<
1
/3 , u B. (2.5.47)
Este compacto K existe pela parte ii). Sejam = dist (K, ) e
K
1
= x R
n
; dist (x, K) /3, K
2
= x R
n
; dist(x, K) 2/3
Claramente K
1
e K
2
sao subconjuntos compactos de . Observa-se que se x (K
1
e
[[h[[ /3 entao x h (K. Logo para [[h[[ /3 resulta de (2.5.47)
_
_
CK
1
[ u(x h)[
q
dx
_
1/q
_
_
CK
[ u(x)[
q
dx
_
1/q
=
_
_
\K
[u(x)[
q
dx
_
1/q
<
1
/3
2.5. IMERS
_
_
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
. Pela desigualdade de
interpola cao (Proposi cao 1.2.1 do Captulo 1), obtem-se:
[[
h
( u) u[[
L
q
(R
n
)
[[
h
( u) u[[
L
1
(R
n
)
[[
h
( u) u[[
1
L
p
(R
n
)
. (2.5.53)
82 CAP
(R
n
)
_
_
R
n
[ u(x h)[
p
_
1/p
= [[u[[
L
p
()
portanto
[[
h
( u) u[[
1
L
p
(R
n
)
(2[[u[[
L
p
()
)
1
C, u B. (2.5.54)
De (2.5.53) e das desigualdades (2.5.52) e (2.5.54), obtem-se
[[
h
( u) u[[
L
q
(R
n
)
C[[h[[
, u B. (2.5.55)
Usando-se as desigualdades (2.5.50), (2.5.51) e (2.5.55) em (2.5.49) resulta
[[
h
u u[[
L
q
(R
n
)
< C
1
, u B, [[h[[ < ,
que mostra a parte iii). Assim B e relativamente compacto em L
q
(). Demonstra cao do
caso b): Aplique o raciocnio usado na demonstra cao do caso a), com, por exemplo, p
= 2q.
Demonstra cao do caso c): Tem-se 0 < 1
n
p
=
0
1. Entao pelo Teorema 2.5.1, parte c),
para n < p < , ou pelo Teorema 2.5.3, para p = , resulta
W
1,p
() C
0,
0
().
Seja B um conjunto limitado de W
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.
Corolario 9 Seja um aberto limitado do R
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
) 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.
Corolario 10 Seja um aberto limitado do R
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
W
1,p
0
()
onde ext u = u, u a extensao de u a O por zero fora de e r
u = u[
. Notando que a
primeira e terceira aplica coes sao contnuas e a aplica cao I e compacta, pela parte a), segue
a parte b) do corolario.
Teorema 2.5.5 Seja aberto limitado do R
n
, de classe C
m
, e 1 p . Entao as
seguintes imersoes sao compactas:
a) W
m,p
() L
q
(), 1 q <
np
n mp
se mp < n
b) W
m,p
() L
q
(), 1 q < se mp = n
c) W
m,p
() C
k
(). k < m
n
p
k+1 se mp > n onde k e um inteiro nao negativo.
Demonstracao: As partes a) e b) serao mostradas aplicando indu cao com rela cao a m.
Mostrar-se-a a). Para m = 1, o resultado e verdadeiro pelo Teorema de Rellich-
Kondrachov. Suponha a) valido para m 1. Sera provado que a) e valido para m + 1, isto
e, para (m + 1)p < n sera provado que a imersao
W
m+1,p
() L
q
(), 1 q <
np
n (m+ 1)p
= q
=
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
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
u(x) D
1
, x, y , [[ k e u B.
Pelo Teorema de Arzela-Ascoli segue entao que B e relativamente compacto em C
k
().
Assim o teorema esta demonstrado.
Observacao 18 Grande parte dos resultados do Captulo 2 foram obtidos para funcoes a
valores reais, por exemplo, a Proposicao 2.3.2. Entretanto, todos os resultados do captulo
sao validos para funcoes a valores complexos. Isto deve-se ao fato de que sendo u(x) =
Re u(x) +i Im u(x) entao as funcoes Re u(x) e Im u(x) tem a mesma regularidade que u e
o suporte de cada uma delas esta contido no suporte de u. Tambem, por exemplo,
_
_
[u[
q
dx
_
1/q
2
_
_
[Re u[
q
dx
_
1/q
+ 2
_
_
[Im u[
q
dx
_
1/q
e
[[Re u[[
W
m,p [[u[[
W
m,p , [[Im u[[
W
m,p [[u[[
W
m,p .
Resultados analogos para q = p = . Entao a observacao decorre aplicando os resultados
obtidos para funcoes reais e as propriedades mencionadas.
2.6 Espacos H
s
()
Inicia-se o estudo com outra caracteriza cao dos espa cos H
m
(R
n
), m inteiro positivo,
que servira de motiva cao para a deni cao dos espa cos H
s
(), quando s e um real positivo
e um aberto do R
n
. Considera-se a fun cao J
m
(x) = (1 + [[x[[
2
)
m/2
, x R
n
. Note que
J
m
(x) e uma fun cao lentamente crescente no innito. Nesta se cao u estara representando a
transformada de Fourier de u e u a transformada de Fourier inversa.
Proposicao 2.6.1 H
m
(R
n
) coincide com u o
(R
n
); (1 + [[x[[
2
)
m/2
u L
2
(R
n
). De-
nindo
[[[u[[[
m
= [[(1 + [[x[[
2
)
m/2
u[[
L
2
(R
n
)
2.6. ESPAC OS H
S
() 87
a aplicacao u [[[u[[[
m
de H
m
(R
n
) R
+
e uma norma equivalente a norma de Sobolev
[[u[[
m
.
Demonstracao: Sejam C
1
, C
2
constantes positivas vericando a desigualdade:
C
1
||m
x
2
(1 +[[x[[
2
)
m
C
2
||m
x
2
, x R
n
(ver Exerccio 5 do Captulo 1). Observe que H
m
(R
n
) L
2
(R
n
) o
(R
n
) (ver Se cao 1.3.3
do Captulo 1). Se u H
m
(R
n
), para todo [[ m, resulta
u(x) = (ix)
||m
_
R
n
[x
u(x)[
2
dx = C
2
||m
[
D
u(x)[
2
dx =
= C
2
||m
_
R
n
[D
u(x)[
2
dx = C
2
[[u[[
2
m
.
Reciprocamente, se u o
(R
n
) e J
m
u L
2
(R
n
), da desigualdade elementar resulta, que para
todo [[ m, (ix)
u L
2
(R
n
), isto e,
D
u L
2
(R
n
). Logo D
u L
2
(R
n
) e, alem disso,
[[u[[
2
m
=
||m
_
R
n
[
D
u(x)[
2
dx =
=
||m
_
R
n
x
2
[ u(x)[
2
dx
1
C
1
[[[u[[[
2
m
que demonstra a proposi cao.
A seguir, serao estudados os espa cos H
s
(R
n
) sendo s um n umero real nao negativo.
Para todo x R
n
e s real nao negativo, seja J
s
(x) = (1 +[[x[[
2
)
s/2
, semelhante a J
m
caso m
inteiro nao negativo. Dene-se H
s
(R
n
) como sendo o espa co vetorial
u o
(R
n
); (1 +[[x[[
2
)
s/2
u L
2
(R
n
)
88 CAP
) e (J
s
u
) sao
sucessoes de Cauchy de L
2
(R
n
), logo existem u e v em L
2
(R
n
) tais que u
u e J
s
u
v
em L
2
(R
n
). Para provar que H
s
(R
n
) e Hilbert, basta mostrar que v = J
s
u. Para toda fun cao
teste no R
n
, tem-se:
J
s
u, ) = u, J
s
) = lim
, J
s
) = lim
J
s
u
, ) = v, )
e do lema de Du Bois Raymond, obtem-se J
s
u = v.
Dada uma fun cao u H
s
(R
n
), seja (
(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, (
) converge
para zero em o(R). Logo, da e da ultima desigualdade decorre que (u
o dual de H
s
(R
n
). Da proposi cao anterior resulta
que
o(R
n
) H
s
(R
n
) H
s
(R
n
) S
(R
n
)
Representa-se por [[f[[
H
s
(R
n
)
a norma de uma forma linear contnua f H
s
(R
n
),
isto e,
[[f[[
H
s
(R
n
)
= sup [f, u)[; u H
s
(R
n
), [[u[[
H
s
(R
n
)
= 1.
Proposicao 2.6.3 Sao verdadeiras as seguintes assertivas:
a) H
s
(R
n
) = f o
(R
n
); (1 +[[x[[
2
)
s/2
f L
2
(R
n
)
b) [[f[[
H
s
(R
n
)
= [[(1 +[[x[[
2
)
s/2
f[[
L
2
(R
n
)
para toda f em H
s
(R
n
).
Demonstracao: Dada f H
s
(R
n
), do teorema de Riesz decorre a existencia de u
0
H
s
(R
n
) tal que
[[f[[
H
s
(R
n
)
= [[u
0
[[
H
s
(R
n
)
e
f, u) = (u, u
0
)
H
s
(R
n
)
para todo u em H
s
(R
n
).
90 CAP
f, ) = ( , u
0
)
H
s
(R
n
)
=
_
R
n
(1 +[[x[[
2
)
s
(x) u
0
(x) dx =
=
_
R
n
(1 +[[x[[
2
)
s
u(x) (x) dx,
logo,
f e denida pela fun cao (1 +[[x[[
2
)
s
u
0
(x), donde J
s
f(x) = (1 +[[x[[
2
)
s/2
u
0
(x) ou
seja, J
s
f L
2
(R
n
) e
[[J
s
f[[
L
2
(R
n
)
= [[J
s
u
0
[[
L
2
(R
n
)
= [[u
0
[[
H
s
(R
n
)
= [[f[[
H
s
(R
n
)
.
Seja f o
(R
n
) tal que J
s
f pertence a L
2
(R
n
). Dada uma fun cao o(R
n
) seja
(x) = (x), x R
n
. Notando que
(x) =
(x) = (x), vem que
= . Escrevendo
= J
s
pertencente a o(R
n
), tem-se
[[[[
H
s
(R
n
)
= [[J
s
[[
L
2
(R
n
)
= [[J
s
[[
L
2
(R
n
)
= [[[[
L
2
(R
n
)
e tambem, =
=
J
s
, logo:
f, ) = f,
J
s
) = J
s
f, ) =
_
R
n
(1 + [[x[[
2
)
s
2
f(x)(x) dx,
portanto,
[f, )[ [[J
s
f[[
L
2
(R
n
)
[[[[
L
2
(R
n
)
[[J
s
f[[
L
2
(R
n
)
[[[[
H
s
(R
n
)
,
desigualdade esta que demonstra ser f: o(R
n
) K contnua na topologia de H
s
(R
n
). Logo
f estende-se a um unico funcional linear contnuo ao H
s
(R
n
), isto e, f H
s
(R
n
).
A seguir mostra-se que para o(R
n
) a aplica cao linear
u u de H
s
(R
n
) H
s
(R
n
)
e contnua. Para isto observa-se que
Lema 2.6.1 Para e u em o(R
n
), tem-se
(2)
n/2
u = u.
2.6. ESPAC OS H
S
() 91
Demonstracao: De fato, nota-se que
((u)(x) = (2)
n/2
_
e
i(x,y)
(y)u(y) dy
e (y) =
(y), isto e,
(y) = (2)
n
_ _
e
i(y,z)i(z,w)
(w) dwdz
onde cada integral e tomado sobre R
n
. Segue entao
(u)(x) = (2)
3n/2
_ _ _
e
i(xz,y)
e
i(z,w)
u(y)(w) dydwdz =
= (2)
n
_ _
e
i(z,w)
(w) u(x z) dwdz =
= (2)
n/2
_
u(x z) (z) dz = (2)
n/2
( u )(x)
que mostra o lema.
Proposicao 2.6.4 Sejam o(R
n
) e u H
s
(R
n
) com s real 0, entao
a) u H
s
(R
n
)
b) A aplicacao linear
u u de H
s
(R
n
) H
s
(R
n
)
e contnua e verica:
[[u[[
H
s
(R
n
)
C[[[[
H
r
(R
n
)
[[u[[
H
s
(R
n
)
onde 2r 2s > n, C
2
= (2)
n
C
0
2
2s+1
e
C
0
=
_
R
n
1
(1 +[[y[[
2
)
rs
dy.
Demonstracao: De incio considera-se u o(R
n
). Entao pelo Lema 2.6.1 segue-se:
_
(1 +[[x[[
2
)
s
[ u(x)[
2
dx = (2)
n
_
(1 +[[x[[
2
)
s/2
[( u)(x)[
2
dx,
92 CAP
(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
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
v em H
s
(R
n
), portanto u
v em L
2
(R
n
). Da unicidade dos limites vem
que v = u e
u
u em H
s
(R
n
).
Isto mostra a parte a). A parte b) segue de (2.6.59) e desta ultima convergencia.
2.6. ESPAC OS H
S
() 93
A seguir serao introduzidos os espa cos H
s
(). Denota-se por H
s
(), s um n umero
real nao negativo e um aberto do R
n
, ao espa co vetorial
H
s
() = u = v[
; v H
s
(R
n
).
Dota-se a H
s
() de uma topologia. De fato, considera-se a aplica cao linear sobrejetiva
H
s
(R
n
) H
s
(), v rv = v[
.
Observe que o n ucleo N(r) de r e fechado. Com efeito, seja (v
= 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[
= u
1
e v
2
[
= u
2
(2.6.62)
[[u[[
H
s
()
= [[[v][[
X
= inf [[v[[
H
s
(R
n
)
; v[
= u (2.6.63)
Com esse produto escalar, H
s
() torna-se um espa co de Hilbert.
Observacao 19 Com o intuito de tornar autosuciente a leitura destas notas, mostra-se
que a norma (2.6.61) do espaco X = H
s
(R
n
)/N(r) satisfaz a lei do paralelogramo.
Com efeito, sejam v
1
[v] e w
1
[w] entao v
1
w
1
[v w]. Tem-se
[[[v] + [w][[
2
X
+[[[v] [w][[
2
X
[[v
1
+ w
1
[[
2
H
s +[[v
1
w
1
[[
2
H
s = 2[[v
1
[[
2
H
s + 2[[w
1
[[
2
H
s
que implica, tomando o mnimo de cada um dos termos da ultima expressao,
[[[v] + [w][[
2
X
+[[[v] [w][[
2
X
2[[[v][[
2
X
+ 2[[[w][[
2
X
.
A desigualdade
2[[[v][[
2
X
+ 2[[[w][[
2
X
= [[[v] + [w][[
2
+[[[v] [w][[
2
e mostrada de forma analoga.
Proposicao 2.6.5 T() e denso em H
s
(), s real 0.
Demonstracao: Por constru cao a aplica cao r denida em (2.6.60) e contnua. Seja u
H
s
() entao existe v H
s
(R
n
) tal que rv = v[
= u. Como T(R
n
) e denso em H
s
(R
n
)
(Corolario 11) vem que existe (
v em H
s
(R
n
),
e pela continuidade de r, resulta rv
rv em H
s
(), que mostra a proposi cao.
No caso de ser s um inteiro nao negativo m e um aberto limitado, tem-se o seguinte
resultado:
2.6. ESPAC OS H
S
() 95
Proposicao 2.6.6 Seja um aberto limitado do R
n
, de classe C
m
. Entao
H
m
() = u = v[
; v H
m
(R
n
)
e as normas [[u[[
H
m
()
e [[[u[[[
H
m
()
sao equivalentes, onde [[[u[[[
H
m
()
e a norma denida
em (2.6.63) para s = m.
Demonstracao: Seja P: H
m
() H
m
(R
n
) o operador de prolongamento dado pelo Teo-
rema 2.4.2. Considere u H
m
(). Seja v = Pu entao rv = rPu = u onde rv = v[ . Isto
mostra uma das inclusoes dos conjuntos. Por outro lado, note que rD
v = D
rv, [[ m,
que mostra a outra inclusao.
Tem-se:
[[[u[[[
H
m
()
[[Pu[[
H
m
(R
n
)
C[[u[[
H
m
()
. (2.6.64)
Por outro lado, seja v H
m
(R
n
) tal que rv = u. Entao
[D
(rv)[[
L
2
()
= [[r(D
v)[[
L
2
()
[[D
v[[
L
2
(R
n
)
, [[ m
logo
[[u[[
H
m
()
[[v[[
H
m
(R
n
)
.
Como v foi arbitrario segue-se que
[[u[[
H
m
()
[[[u[[[
H
m
()
. (2.6.65)
De (2.6.64) e (2.6.65) obtem-se que as normas sao equivalentes.
Conclui-se da Proposi cao 2.6.6 que quando e um aberto limitado do R
n
com
de classe C
m
, a deni cao de espa co H
m
() dada no Paragrafo 2.2 coincide com a deni cao
dada por (2.6.60)(2.6.62). Em geral, isto e, quando nao e regular, tem-se que o espa co
denido por (2.6.60)(2.6.62) esta contido no espa co denido no Paragrafo 2.3. Para um
estudo deste caso o leitor pode consultar N. Meyers - J. Serrin [24].
Serao demonstradas algumas propriedades dos espa cos H
s
().
96 CAP
= u w H
s
1
(R
n
); w[
= u.
Desta inclusao e notando que [[z[[
H
s
1(R
n
)
[[z[[
H
s
2(R
n
)
para todo z H
s
2
(R
n
), vem que
inf [[w[[
H
s
1(R
n
)
; w[
= u inf [[v[[
H
s
2(R
n
)
; v[
= u
isto e,
[[u[[
H
s
1()
[[u[[
H
s
2()
, u H
s
2
()
que mostra a inclusao contnua de H
s
2
() em H
s
1
().
Denota-se por C
m
b
() ao espa co de Banach
C
m
b
() = u = v[
; v C
m
(R
n
) e D
u e limitado em , [[ m
equipado com a norma
[[u[[
C
m
b
()
= max
||m
_
sup
x
[D
u(x)[
_
.
Claramente se e limitado, C
m
b
() = C
m
().
Proposicao 2.6.8 Se s
n
2
> m, m inteiro nao negativo, entao
H
s
() C
m
b
().
Demonstracao: Faz-se a demonstra cao por indu cao com rela cao m. Mostra-se o resultado
para m = 0.
2.6. ESPAC OS H
S
() 97
Sejam u H
s
() e v H
s
(R
n
) tal que v[
= u. Tem-se que
v(x) = (1 +[[x[[
2
)
s/2
(1 +[[x[[
2
)
s/2
v(x) L
2
(R
n
) L
1
(R
n
)
e
[[v[[
L
1
(R
n
)
C
1/2
[[v[[
H
s
(R
n
)
com C =
_
R
n
(1 +[[x[[
2
)
s
dx < . Dados x, x
no R
n
, tem-se v(x) =
v(x), logo
v(x
) v(x) = (2)
n/2
_
R
n
[e
i(x,z)
e
i(x,z)
]v(z) dz.
Se x
x em R
n
, decorre desta ultima igualdade e do Teorema da Convergencia Dominada
de Lebesgue aplicado `as fun coes w
(z) = e
i(x,z)
v(z), que v(x
= u
portanto
[[u[[
C
0
b
()
(2)
n/2
C
1/2
[[u[[
H
s
()
que mostra a proposi cao para m = 0.
Suponha o resultado valido para m 0. Mostra-se que ele tambem e valido para
m+1, isto e, para s
n
2
> m+1. De incio observe que se v H
s
(R
n
) entao
v
x
j
H
s1
(R
n
)
e
_
_
_
_
v
x
j
_
_
_
_
H
s1
(R
n
)
[[v[[
H
s
(R
n
)
, j = 1, 2, . . . , n. (2.6.66)
98 CAP
v
x
j
(x) = ix
j
v(x) e
_
R
n
(1 + [[x[[
2
)
s1
v
x
j
(x)
2
dx =
_
R
n
(1 +[[x[[
2
)
s1
[x
j
[
2
[v(x)[
2
dx
_
R
n
(1 +[[x[[
2
)
s
[v(x)[
2
dx
que mostra a arma cao. Sejam u H
s
() e v H
s
(R
n
) tal que v[
= u. Pela primeira
parte vem que v C
0
b
(R
n
) e pela hipotese de indu cao pois
v
x
j
H
s1
(R
n
) e pode ser o
R
n
,
v
x
j
C
m
b
(R
n
) e
v
x
j
(x)
C
1
_
_
_
_
v
x
j
_
_
_
_
H
s1
(R
n
)
, x R
n
e [[ m
que implica por (2.6.66) e notando que v C
1
(R
n
) pois
v
x
j
C
0
(R
n
), j = 1, 2, . . . , n,
[D
a
v(x)[ C
1
[[v[[
H
s
(R
n
)
, x R
n
e [[ m + 1.
Assim
[[u[[
C
m+
b
()
C
1
[[v[[
H
s
(R
n
)
, v H
s
(R
n
), v[ = u
isto e
[[u[[
C
m+1
0
()
C
1
[[u[[
H
s
()
e a proposi cao esta demonstrada.
Observe que a Proposi cao 2.6.8 e uma generaliza cao, num certo sentido, do Teorema
2.3.3, Paragrafo 2.3, onde e estudado a imersao para o caso m
n
2
> k.
Existem outros metodos para denir H
s
(), todos coincidentes quando = R
n
, R
n
+
ou um aberto limitado regular. Como exemplo de algum desses metodos pode-se mencionar
os que usam a teoria de interpola cao de espa cos de Hilbert (ver J.L. Lions-E. Magenes [11]).
2.7. TEOREMAS DE TRAC O 99
2.7 Teoremas de Traco
A seguir estuda-se uma versao elementar do teorema de tra co. Considera-se = R
n
ou um aberto limitado bem regular do R
n
(isto e, e de classe C
m
para todo m = 1, 2, . . .),
com fronteira . Com T() representa-se o espa co vetorial das fun coes reais w denidas em
, possuindo derivadas parciais contnuas de todas as ordens. Dada uma fun cao u denida
em , representa-se por
0
u a restri cao de u a . A caracteriza cao do espa co ao qual pertence
0
u, quando u pertence a H
m
(), e conhecido sob a denomina cao de teorema de tra co. Note
que se u T() resulta que
0
u T(). Para a demonstra cao do teorema de tra co e preciso
dar sentido do espa co H
s
(), cuja constru cao faz-se a seguir.
No caso = R
n
+
, tem-se = (x
, 0); x
R
n1
, identicando-se toda fun cao u
denida em com a fun cao x
u(x
, 0) do R
n1
em R. Com tal identica cao tem-se
T() = T(R
n1
), L
p
() = L
p
(R
n1
). Portanto, neste caso simples, dene-se H
s
() como
sendo H
s
(R
n1
).
Suponha um aberto limitado do R
n
, suposto bem regular. Considere um sistema
de cartas locais de , isto e, (U
1
,
1
), (U
2
,
2
), . . . , (U
N
,
N
), e fun coes testes
1
,
2
, . . . ,
N
no R
n
tais que
supp (
j
) U
j
, j = 1, 2, . . . , N,
N
j=1
j
(x) = 1, x .
Dada uma fun cao w denida em , para todo j = 1, 2, . . . , N seja
w
j
(y) =
(
j
w)(
1
j
(y
, 0)) se y
0
=]0, 1[
n1
0 se y
R
n1
0
Sendo supp (
0
j
) = supp
j
U
j
e como
j
aplica U
j
sobre
0
0, tem-se
supp (w
j
)
j
(supp
j
)
0
0.
Decorre da que se w T(), entao w
j
pertence a T(R
n1
) para todo j = 1, 2, . . . , N.
100 CAP
j=1
(w
j
, v
j
)
H
s
(R
n1
)
para todo par w, v H
s
(). Tem-se que H
s
() e um espa co de Hilbert sendo T() denso
em H
s
().
Proposicao 2.7.1 Existe uma constante positiva C tal que
[[
0
u[[
H
1/2
()
C[[u[[
H
1
()
para toda u T().
Observacao 20 Suponha demonstrada a Proposicao 2.7.1. Ela arma que considerando
T() com a topologia induzida por H
1
(), a aplicacao
0
: T() H
1/2
()
e contnua. Sendo T() denso em H
1
(), pois e bem regular, esta aplicacao prolonga-se
por continuidade a uma aplicacao linear e contnua, ainda representada por
0
, tal que:
0
: H
1
() H
1/2
(),
a qual denomina-se funcao traco e seu valor
0
u, para u em H
1
(), denomina-se o traco
de u sobre . Pode-se assim, enunciar o seguinte teorema, conhecido sob a denomina cao de
teorema de traco.
Teorema 2.7.1 A funcao traco aplica H
1
() sobre H
1/2
() e o n ucleo de
0
e o espaco
H
1
0
().
Observacao 21 Quando se diz que os objetos de H
1
0
() sao nulos na fronteira de , deseja-
se com isto dizer que o n ucleo do traco de
0
e o espaco H
1
0
().
2.7. TEOREMAS DE TRAC O 101
Demonstracao da Proposicao 2.7.1:
E suciente considerar o caso = R
n
+
. De fato,
suponhamos que a proposi cao seja valida para = R
n
+
. Dado u T() e j = 1, 2, . . . , N,
seja
v
j
(x) =
(
j
u)(
1
j
(x)), x ]0, 1[
n1
[0, 1] = V
0 x R
n
+
V
Segue-se que v
j
(R
n
+
) e
0
v
j
=
0
u
j
, onde u
j
=
j
u, logo,
[[u
j
[[
H
1/2
(R
n1
)
= [[
0
v
j
[[
H
1/2
(R
n1
)
C[[v
j
[[
H
1
(R
n
+
)
CC
j
[[u[[
H
1
()
sendo C
j
uma constante que depende de
j
e
j
. Fazendo C
1
= C
_
n
j=1
C
2
j
_
1/2
, tem-se:
[[
0
u[[
H
1/2
()
C
1
[[u[[
H
1
()
para todo u T().
Demonstra-se a Proposi cao 2.7.1 no caso = R
n
+
. Represente-se por T
1
a transfor-
mada de Fourier no L
2
(R
n1
). Dado um elemento u T(R
n
+
), para todo t 0 seja u(t) a
fun cao de R
n1
em R dada por
u(t)(x
) = u(x
, t) para x
R
n1
w(t) = T
1
[u(t)]
w(x
, t) = w(t)(x
) = (2)
(n1)/2
_
R
n1
e
i(x
,y
)
u(y
, t) dy
Observe-se que (
0
u)(x
, 0) = u(x
, 0) = u(0)(x
), logo:
1. [[
0
u[[
2
H
1/2
()
= [[u(0)[[
2
H
1/2
(R
n1
)
=
=
_
R
n1
(1 +[[x
[[
2
)
1/2
[T
1
u(0)(x
)[
2
dx
=
=
_
R
n1
(1 +[[x
[[
2
)
1/2
[[w(x
, 0)[
2
dx
.
Tem-se, tambem:
2. [[u[[
2
L
2
(R
n
+
)
=
_
0
_
R
n1
[w(x
, t)[
2
dx
dt =
=
_
0
[[u(t)[[
2
L
2
(R
n1
)
dt =
_
0
[[T
1
[u(t)][[
2
L
2
(R
n1
)
dt =
=
_
0
_
R
n1
[w(x
, t)[
2
dx
dt.
102 CAP
) = (ix
j
)T
1
[u(t)](x
) = (ix
j
)w(x
, t),
para (x
, t) R
n
+
. Tem-se, tambem:
(D
j
u(t))(x
) = (D
j
u)(x
, t).
Do calculo anterior obtem-se:
3. [[D
j
u[[
2
L
2
(R
n
+
)
=
_
1
0
_
_
R
n1
[(D
j
u(t))(x
)[
2
dx
_
dt =
=
_
0
[D
j
u(t)[[
2
L
2
(R
n
)
dt =
_
0
[[T
1
[D
j
u(t)][[
2
L
2
(R
n1
)
dt =
=
_
0
_
R
n1
[x
j
[
2
[w(x
, t)[
2
dx
dt.
Fazendo v(x
, t) =
u
t
(x
, t) tem-se que
w
t
(x
, t) = T
1
[v(t)](x
),
logo
4. [[D
n
u[[
2
L
2
(R
n
+
)
=
_
0
[[v(t)[[
2
L
2
(R
n1
)
dt =
=
_
0
[[T
1
v(t)[[
2
L
2
(R
n1
)
dt =
_
0
_
R
n1
w
t
(x
, t)
2
dx
dt.
Das tres ultimas rela coes conclui-se:
5. [[u[[
2
H
1
(R
n
+
)
=
_
0
_
R
n1
_
(1 +[[x
[[
2
)[w(x
, t)[
2
+
w
t
(x
, t)
2 _
dx
dt.
Fixando x
no R
n1
, seja (t) = w(x
(t) =
w
t
(x
(t) dt
2
_
_
0
[(t)[
2
dt
_
1/2
_
_
0
[
(t)[
2
dt
_
1/2
,
2.7. TEOREMAS DE TRAC O 103
ou seja,
[w(x
, 0)[
2
2
_
_
0
[w(x
, t)[
2
dt
_
1/2
_
_
0
w
t
(x
, t)
2
dt
_
1/2
6. (1 +[[x
[[
2
)
1/2
[w(x
, 0)[
2
2
_
_
0
(1 +[[x
[[
2
)[w(x
, t)[
2
dt
_
1/2
_
_
0
w
t
(x
, t)
2
dt
_
1/2
_
0
(1 +[[x
[[
2
)[w(x
, t)[
2
dt +
_
0
w
t
(x
, t)
2
dt.
Integrando sobre o R
n1
, aplicando o teorema de Fubini e levando em conta as rela coes 1. e
6. obtem-se:
[[
0
u[[
H
1/2
()
[[u[[
H
1
(R
n
+
)
o que demonstra a Proposi cao 2.7.1.
Demonstracao do Teorema 2.7.1 no caso = R
n
+
a)
0
e uma aplicacao sobre De fato, seja o(R
n1
) e considera-se
v(x
, x
n
) = (T
1
)(x
) exp (
_
1 +[[x
[[
2
[[ x
n
)
u(x
, x
n
) = T
1
1
[v(x
n
)](x
) = (2)
1n
2
_
R
n1
e
i(x
,y
)
v(y
, x
n
) dy
.
Sendo v(0)(x
) = v(x
, 0) = (T
1
)(x
) tem-se
0
u = T
1
1
[v(0)] = T
1
1
T
1
= .
Resulta da que para demonstrar que
0
e uma aplica cao sobre e suciente demonstrar
que u H
1
(R
n
+
).
Note-se que sendo
_
0
exp ( 2
_
1 +[[x
[[
2
x
n
) dx
n
=
1
2
_
1 +[[x
[[
2
,
obtem-se:
1.
_
R
n
+
(1 +[[x
[[
2
)[v(x
, x
n
)[
2
dx
dx
n
=
=
1
2
_
R
n1
(1 +[[x
[[
2
)
1/2
[T
1
(x
)[
2
dx
=
1
2
[[[[
2
H
1/2
(R
n1
)
.
104 CAP
, x
n
) =
_
1 +[[x
[[
2
v(x
, x
n
)
e portanto:
2.
_
R
n
+
v
x
n
(x
, x
n
)
2
dx
dx
n
=
=
_
R
n
+
(1 +[[x
[[
2
)[v(x
, x
n
)[ dx
dx
n
=
1
2
[[[[
2
H
1/2
(R
n1
)
.
Fazendo:
w
j
(x
, x
n
) = i x
j
v(x
, x
n
), j = 1, 2, . . . , n 1
w
n
(x
, x
n
) =
v
xn
(x
, x
n
),
tem-se:
D
j
u(x
, x
n
) = T
1
1
[w
j
(x
n
)](x
), j = 1, 2, . . . , n 1
D
n
u(x
, x
n
) = T
1
1
[w
n
(x
n
)](x
).
Sendo T
1
1
uma isometria de L
2
(R
n1
) sobre L
2
(R
n1
) tem-se:
3.
_
R
n
+
([u(x
, x
n
)[
2
+
n1
j=1
[D
j
u(x
, x
n
)[
2
) dx
dx
n
=
=
_
0
_
[[v(x
n
)[[
2
L
2
(R
n1
)
+
n1
j=1
[[T
1
1
[w
j
(x
n
)][[
L
2
(R
n1
)
_
dx
n
=
=
_
0
_
[[v(x
n
)[[
2
L
2
(R
n1
)
+
n1
j=1
[[w
j
(x
n
)[[
2
L
2
(R
n1
)
_
dx
n
=
=
_
R
n
+
(1 +[[x
[[
2
)[v(x
, x
n
)[
2
dx
dx
n
=
1
2
[[[[
2
H
1/2
(R
n1
)
.
Tem-se tambem:
4.
_
R
n
+
[D
n
u(x
, x
n
)[
2
dx
dx
n
=
_
R
n
+
v
x
n
(x
, x
n
)
2
dx
dx
n
=
=
1
2
[[[[
2
H
1/2
(R
n1
)
.
Das rela coes 3. e 4. resulta que u H
1
(R
n
+
) e [[u[[
H
1
(R
n
+
)
= [[[[
H
1/2
(R
n1
)
. Desta
rela cao e da densidade de S(R
n1
) em H
1/2
(R
n1
) resulta que
0
e sobre.
2.7. TEOREMAS DE TRAC O 105
Resta demonstrar que o n ucleo de
0
e o espa co H
1
0
(R
n
+
). Para tal usa-se o seguinte
resultado:
Lema 2.7.1 Dados u H
1
(R
n
+
) e T(R
n
+
), tem-se
o
(u) = (
0
)(
0
u).
Demonstracao: Observa-se que as aplica coes
1
: H
1
(R
n
+
) H
1
(R
n
+
) e
2
: H
1/2
(R
n1
) H
1/2
(R
n1
)
u u u (
0
)u
sao lineares e contnuas, (ver Proposi cao 2.6.4). Tambem, o lema e verdadeiro quando
u T(R
n
+
).
Seja (
k
) uma sucessao de T(R
n
+
), convergente para u em H
1
(R
n
+
). Da continuidade
das aplica coes
1
,
2
e
0
, sao verdadeiros os seguintes limites na topologia de H
1/2
(R
n1
):
(
0
)(
0
u) = lim
k
(
0
)(
0
k
) = lim
k
0
(
k
) =
0
(
u
).
b) O espaco H
1
0
() e o n ucleo de
0
Com efeito, sendo
0
u = 0 para todo u T(R
n
+
),
tem-se
0
u = 0 para todo u H
1
0
(R
n
+
) = T(R
n
+
)
H
1
(R
n
+
)
, o que demonstra estar H
1
0
(R
n
+
)
contido no n ucleo de
0
.
Considere u H
1
(R
n
+
) tal que
0
u = 0. Sera provado que u H
1
0
(R
n
+
).
Caso 1: S(u) = supp u
R
n
e um compacto do R
n
+
. Para k N considere as fun coes:
k
(t) =
0 se 0 t <
1
k
kt 1 se
1
k
t
2
k
1 se t >
2
k
E
T
0
1
k
2
k
t
k
1
q
e
u
k
(x
, x
n
) =
k
(x
n
)u(x
, x
n
), (x
, x
n
) R
n
+
,
106 CAP
_
_
0
[
k
(x
n
)u(x
, x
n
) u(x
, x
n
)[
2
dx
n
_
=
=
_
R
n1
_
1/k
0
[u(x
, x
n
)[
2
dx
n
dx
+
+
_
R
n1
_
2/k
1/k
[(kx
n
2)
2
[u(x
, x
n
)[
2
dx
n
dx
,
logo,
[[u
k
u[[
2
L
2
(R
n
+
)
_
2/k
0
[[u(x
n
)[[
2
L
2
(R
n1
)
dx
n
,
demonstrando ser a sucessao (u
k
) convergente para u em L
2
(R
n
+
).
Dado j = 1, 2, . . . , n 1 tem-se:
D
j
u
k
(x
, x
n
) =
k
(x
n
)(D
j
u)(x
, x
n
).
Sendo D
j
u um elemento de L
2
(R
n
+
), tem-se que a sucessao (D
j
u
k
) converge para D
j
u
na topologia de L
2
(R
n
+
). Tem-se tambem:
D
n
u
k
(x
, x
n
) =
k
(x
n
)(D
n
u)(x
, x
n
) +
k
(x
n
)u(x
, x
n
).
Sendo D
n
u L
2
(R
n
+
) a sucessao de fun coes dada pela primeira parcela da expressao
anterior converge para D
n
u em L
2
(R
n
+
). Observe que u L
2
(0, T; L
2
(R
n1
)) e D
n
u
L
2
(0, T; L
2
(R
n1
)) onde 0 < T < , portanto u C
0
([0, T]; L
2
(R
n1
)) (ver J.L. Lions
[8]). Disto vem que u(0) =
0
u = 0, onde u(0)(x
) = u(x
, 0), s
R
n1
. Assim
u(x
, x
n
) = u(x
, x
n
) u(x
, 0) =
_
xn
0
u
x
n
(x
, t) dt,
2.7. TEOREMAS DE TRAC O 107
de onde, aplicando a desigualdade de Schwarz, obtem-se:
[u(x
, x
n
)[
2
x
n
_
xn
0
u
x
n
(x
, t)
2
dt
2
k
_
2/k
0
u
x
n
(x
, t)
2
dt,
para 0 x
n
2/k. Logo,
_
R
n
+
[
k
(x
n
)u(x
, x
n
)[
2
dx
dx
n
=
=
_
R
n1
_
2/k
1/k
k
2
[u(x
, x
n
)[
2
dx
dx
n
_
R
n1
_
2/k
1/k
2k
_
2/k
0
u
x
n
(x
, t)
dt dx
n
dx
=
= 2
_
R
n1
_
2/k
0
u
x
n
(x
, t)
dtdx
,
provando que (D
n
u
k
) converge para D
n
u em L
2
(R
n
+
).
Caso 2: Tome u H
1
(R
n
+
). Seja uma fun cao teste no R
n
tal que (x) = 1 se
[[x[[ 1 e (x) = 0 se [[x[[ 2, 0 (x) 1. Para k N seja
k
(x) = (x/k), x R
n
e u
k
(x) =
k
(x)u(x), x R
n
+
. Entao, (u
k
) converge para u na topologia de H
1
(R
n
+
).
Do Lema 2.7.1 resulta que
0
(u
k
) = (
k
)
0
(u) = 0. Sendo S(u
k
) supp (
k
) R
n
+
,
do Caso 1 resulta que u
k
H
1
0
(R
n
+
), logo u H
1
0
(R
n
+
), o que completa a demonstra cao
do teorema de tra co no caso R
n
+
.
Demonstracao do Teorema 2.7.1 quando limitado
a)
0
e uma aplicacao sobre Dada uma fun cao w H
1/2
(), por deni cao,
tem-se que
w
j
(y
) =
(
j
w)(
1
j
(y
, 0)) se y
0
=]0, 1[
n1
0 se y
R
n1
0
e um objeto de H
1/2
(R
n1
) com suporte contido em
0
. Seja uma fun cao teste no R
n
tal
que supp ()
0
] 1, +1[ e (x
, 0) = 1 para todo y
supp (w
j
). Do caso = R
n
+
108 CAP
0
(v
j
) = (
0
)(
0
v
j
) = (
0
)w
j
= w
j
(porque = 1 em supp (w
j
) 0). Alem disso, tem-se:
S(v
j
) supp () R
n
+
0
[0, 1),
logo a fun cao denida em por
u
j
(x) =
(v
j
)(
j
(x)) se x U
j
0 se x (U
j
)
T
E
y
n
1
-1
R
n1
E
j
U
j
(
j
w)(x) se x U
j
0 se x , x / U
j
Da rela cao anterior e do fato de ser supp (
j
) U
j
, tem-se que
N
j=1
0
u
j
=
N
j=1
j
w =
_
N
j=1
j
_
w = w.
2.7. TEOREMAS DE TRAC O 109
Sendo u =
N
j=1
u
j
tem-se que u H
1
() e
0
u =
N
j=1
0
u
j
= w.
b) O n ucleo de
0
e H
1
0
() - Seja T(R
n
) tal que supp () e
(x) +
N
j=1
j
(x) = 1 para todo x .
Seja u H
1
() tal que
0
u = 0. Sendo
u = u +
N
j=1
j
u
e u um vetor de H
1
() com suporte compacto em , tem-se que u H
1
0
(). Logo para
provar a parte b) e suciente demonstrar que cada fun cao
j
u H
1
0
(). Do Lema 2.7.1 vem
que
0
(
j
u) =
0
(
j
)
0
u = 0 (observe que o Lema 2.7.1 tambem e valido para aberto
limitado bem regular do R
n
), da qual por meio de cartas locais e reduzindo ao caso = R
n
+
,
tem-se que
j
u H
1
0
(), j = 1, 2, . . . , N, demonstrando que o n ucleo de
0
esta contido em
H
1
0
().
A demonstra cao de que H
1
0
() esta contido no n ucleo de
0
e analoga a que foi feito
quando = R
n
+
.
Completando o estudo introdutorio do tra co
0
de uma fun cao, a etapa seguinte seria
a do estudo do tra co de suas derivadas, o que sera feito por meio do Teorema 2.7.2, o analogo
do Teorema 2.7.1. Antes, porem, sera xada a nota cao.
Inicia-se com o caso = R
n
+
, identicando sua fronteira = ao R
n1
, como ja
fora feito anteriormente. Seja u uma fun cao denida em uma vizinhan ca de , possuindo
derivadas parciais ate a ordem m. Dene-se
(
j
u)(x
) = (D
j
n
u)(x
, 0) =
0
(D
j
n
u)(x
)
para j = 0, 1, 2, . . . , m 1 e x
do R
n1
, sendo D
n
=
xn
Para j = 0, 1, 2, . . . , m 1,
representa-se por
m1
j=0
H
mj
1
2
()
110 CAP
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 `a direita linear e contnua, isto e, existe uma aplicacao linear e contnua
de
m1
j=0
H
mj
1
2
() em H
m
() tal que (w) = w para todo w em
m1
j=0
H
mj
1
2
().
Observacao 22 A aplicacao denomina-se traco de ordem m. O traco da funcao e o traco
de ordem zero.
A demonstrado cao do Teorema 2.7.2 sera feita em tres etapas.
Na primeira demonstra-se que a aplica cao dada e contnua quando considera-se em
T() a topologia de H
m
(). Para isto, basta provar que existe uma constante C > 0 tal
que
[[
j
u[[
H
m
j
()
C[[u[[
H
m
()
para todo u em T(R
n
) e j = 0, 1, 2, . . . , m1. Continua-se representando por
j
a extensao
de
j
ao espa co H
m
().
Na segunda etapa, prova-se que o n ucleo de e o espa co H
m
0
(). Sendo T()
denso em H
m
0
() e u = 0 para todo u em T(), restara demonstrar que se u H
m
() e
j
u = 0, j = 0, 1, 2, . . . , m1, entao u H
m
0
(). Finalmente, na terceira e ultima etapa da
demonstra cao, constroi-se uma inversa `a direita de , o que tambem provara que aplica
H
m
() sobre
m1
j=0
H
mj
1
2
().
2.7. TEOREMAS DE TRAC O 111
Demonstracao do Teorema 2.7.2
Primeira Etapa: Da Proposi cao 2.7.1, decorre a existencia de uma constante C
0
> 0 tal
que
[[
0
u[[ H
1/2
()
2
C
0
[[u[[
H
1
()
, u T().
Fixe j = 1, 2, . . . , m1 e para todo multi-ndice
N
n1
, seja = (
, j) = (
1
,
2
, . . . ,
n1
, j)
pertencente a N
n
. Seja T
1
a transformada de Fourier no L
2
(R
n1
). Para todo u em T(R
n
),
tem-se:
[(x
T
1
(
j
u)(x
)[ = [T
1
(
0
(D
u)(x
))[.
Observe-se, tambem, que se [
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,
2.7. TEOREMAS DE TRAC O 113
o que prova ser (v
k
) convergente para zero em L
2
().
Prova-se, a seguir, que
1
(0) H
m
0
(). Seja C
m
(R) tal que 0 (t) 1,
(t) = 0 se t 1 e (t) = 1 se t 2. Considere-se u H
m
() tal que
0
u =
1
u = . . . =
m1
u = 0. Se
k
(t) = (kt) k = 1, 2, . . . e t R, seja
u
k
(x
, x
n
) =
k
(x
n
)u(x
, x
n
), x
R
n1
, x
n
> 0.
Dado em N
n
com [[ m, sejam = (
1
,
2
, . . . ,
n1
, 0), j =
n
. No caso j = 0 tem-se:
(D
u
k
)(x
, x
n
) =
k
(x
n
)(D
u)(x
, x
n
),
portanto, (D
u
k
) converge para D
u em L
2
() (consulte Lema 2.7.3).
No caso 0 < j m, tem-se:
(D
u
k
)(x) =
k
(x
n
)(D
u)(x) +
j
p=1
_
j
p
_
(p)
k
(x
n
)(D
jp
n
D
u)(x).
Para continuar a demonstra cao, admite-se o seguinte resultado, o qual sera provado ao nal
da segunda etapa.
Lema 2.7.4 Seja q > 1 um inteiro. Entao
D
(
i
) =
i
(D
)
para toda H
q
(), i = 0, 1, . . . , q 1, N
n
tal que [[ + i q 1,
n
= 0.
Admitindo o Lema 2.7.4, obtem-se que
i
(D
jp
n
D
u) = 0, para p = 1, 2, . . . , j e i =
0, 1, 2, . . . , p1. Usando este resultado e o do Lema 2.7.3 decorre que a segunda parcela que
aparece na expressao para D
u
k
converge para zero em L
2
(). Logo, a sucessao (D
u
k
)
converge para D
u em L
2
(). Resulta, da, que a sucessao (u
k
) converge para u em H
m
().
Seja T(R
n
) tal que (x) = 1 se [[x[[ 1 e (x) = 0 se [[x[[ 2. Para todo
p = 1, 2, . . . seja u
k,p
(x) =
_
x
p
_
u
k
(x), para x R
n
+
. Entao u
k,p
e um vetor de H
m
() com
114 CAP
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,
2.7. TEOREMAS DE TRAC O 115
obtem-se, da ultima expressao:
(
j
u)(x
) = (D
j
n
u)(x
, 0) =
= (2)
n
2
_
R
n1
dy
_
R
(iy
n
)
j
e
i(x
,y
)
(Tu)(y
, y
n
) dy
n
=
= (2)
n1
2
_
R
n1
e
i(x
,y
)
w(y
) dy
= (
Tw)(x
),
de onde resulta T
1
(
j
u) = w, como se deseja demonstrar.
Prova-se, a seguir, que existe uma aplica cao linear
: (T())
m
H
m
(),
contnua relativamente `a topologia de
m1
j=0
H
mj
1
2
(), tal que = para todo em
(T())
m
. Provada esta armativa, usa-se a densidade de (T())
m
em
m1
j=0
H
mj
1
2
() para
estender a este ultimo espa co, sendo, obviamente, tal extensao, linear, contnua e uma
inversa `a direita de . Dado w = (w
0
, w
1
, . . . , w
m1
) em (T())
m
e para j = 0, 1, 2, . . . , m1,
considere-se
a
j
=
_
R
t
2j
(1 +t
2
)
(m+j)
dt
e
v
j
(x) =
1
(2)
1
2
a
j
i
j
(1 +[[x
[[
2
)
m
1
2
(1 +[[x
[[
2
)
m+j
x
j
n
(T
1
w
j
)(x
),
sendo x = (x
, x
n
) no R
n
.
Da escolha de a
j
resulta:
1.
(2)
1
2
_
R
(it)
j
v
j
(x
, t) dt = (T
1
w
j
)(x
)
e fazendo a mudan ca de variaveis x
n
= ht(1 +[[x
[[
2
)
1/2
segue
2.
_
R
n
(1 +[[x[[
2
)
m
v
j
_
x
,
x
n
h
_
2
dx C[[w
j
[[
2
H
m
j
()
,
116 CAP
j=0
H
mj
1
2
(),
h = 1, 2, . . . , m.
Sejam C
hj
(h = 1, 2, . . . , m, j = 0, 1, . . . , m1), n umeros reais tais que:
3.
m
h=1
C
hk
h
j+1
=
jk
=
1 se j = k
0 se j ,= k
Considere u: R
n
K denida por
4. u(x) = u(x
, x
n
) =
m1
k=0
m
h=1
C
hk
v
k
_
x
,
x
n
h
_
,
5. w =
Tu [ .
De 2. decorre que
Tu H
m
(R
n
), logo w H
m
() e, alem disso,
[[w[[
H
m
()
C[[w[[Q
m1
j=0
H
mj
1
2 ()
.
Conclui-se, deste modo, que e uma aplica cao linear e contnua de (T())
m
, com a topo-
logia
m1
j=0
H
mj
1
2
(), em H
m
(). 0 Provar-se-a que w = w ou, equivalentemente, que
T
1
(
j
w) = T
1
w
j
, para j = 0, 1, 2, . . . , m1. Com efeito,
T
1
(
j
w)(x
) = (2)
1
2
_
R
(it)
j
u(x
, t) dt = (Lema 2.7.4)
= (2)
1
2
m1
k=0
m
h=1
C
hk
_
R
(it)
j
v
k
(x
,
t
h
_
dt =
= (2)
1
2
m1
k=0
_
m
h=1
C
hk
h
j+1
_
_
R
(it)
j
v
k
(x
, t) dt =
= (2)
1
2
_
R
(it)
j
v
j
(x
, t) dt = (T
1
w
j
)(x
),
concluindo, assim, a demonstra cao do Teorema 2.7.2.
Considere, agora, um aberto limitado do R
n
, com fronteira = bem regular, e
seja a normal unitaria exterior em . Escolhe-se um sistema de cartas locais
(U
1
,
1
), (U
2
,
2
), . . . , (U
N
,
N
)
2.7. TEOREMAS DE TRAC O 117
de e fun coes testes no R
n
,
0
,
1
, . . . ,
N
tais que
supp (
0
) , supp (
j
) U
j
, j = 1, 2, . . . , N,
N
j=0
j
(x) = 1
para x em , de modo que para toda fun cao u denida em e j = 1, 2, . . . , N vale a seguinte
rela cao:
_
u
j
_
(
1
j
(y
)) =
x
n
u
j
1
j
(y
, 0), y
0
,
sendo u
j
=
j
u e
0
= (y
, 0) [ 0 y
i
1, i = 1, 2, . . . , n. A existencia das cartas locais
(U
1
,
1
), (U
2
,
2
), . . . , (U
N
,
N
) vericando a ultima igualdade esta garantida pela no cao
de vizinhan ca tubular, ver M.P. do Carmo [20].
Para todo j = 1, 2, . . . , m 1 e u T(), seja
j
u =
j
u
a derivada normal de
ordem j de u e
0
u = u[ . Do Teorema 2.7.2 e com auxlio do sistema de cartas locais,
obtem-se o seguinte resultado para o caso de um aberto limitado com fronteira bem regular
.
Teorema 2.7.3 Existe uma unica aplicacao linear e contnua do espaco H
m
() sobre o
espaco
m1
j=0
H
mj
1
2
() com n ucleo
1
(0) = H
m
0
(), vericando a seguinte condicao:
u = (
0
u,
1
u, . . . ,
m1
u), u T().
Tal aplicacao admite uma inversa `a direita linear e contnua.
Observacao 23 O Teorema 2.7.3 e valido para limitado do R
n
com de classe C
m+1
.
Este fato decorre da demonstracao do teorema.
Corolario 12 Seja u L
2
(), aberto limitado bem regular do R
n
, tal que u, prolonga-
mento de u ao R
n
nulo fora de , esteja em H
m
(R
n
). Entao u pertence a H
m
0
().
Demonstracao: Seja (
k
) uma sucessao de fun coes testes no R
n
convergente para u em
H
m
(R
n
). Considere um aberto limitado U do R
n
, bem regular, tal que
U ( e = U = .
118 CAP
k
) k N e (r
U
k
) k N sucessoes de vetores de T() e T(U), respectivamente, e
r u = u, r U u = 0, temos as seguintes convergencias:
r
k
converge para u em H
m
()
r
U
k
converge para zero em H
m
(),
portanto,
j
u = lim
k
j
(r
k
) em H
mj
1
2
()
0 = lim
k
j
(r
U
k
) em H
mj
1
2
(), j = 0, 1, . . . , m1.
Sendo
j
(r
U
k
) =
j
j
(r
k
) em
0 em
,
conclui-se que
j
u = 0 para j = 0, 1, 2, . . . , m1, logo u H
m
0
().
Observacao 24 O Corolario 12 tambem e verdadeiro no caso = R
n
+
, sendo analoga a
demonstracao. Basta considerar
U = R
n
= (x
, x
n
) [ x
R
n1
, x
n
< 0.
2.8 Traco da Derivada Normal
Tome-se = R
n
+
ou um aberto limitado do R
n
, com fronteira bem regular, com normal
externa , de tal modo que a formula de Green
_
(vu uv) dx =
_
_
v
u
u
v
_
d,
seja verdadeira para todo par u, v de fun coes de C
2
().
Nesta se cao prova-se que tomando u num espa co conveniente, xado posteriormente,
resulta que o tra co da derivada normal de u, isto e, o tra co de
u
pertence a determinado
2.8. TRACO DA DERIVADA NORMAL 119
espa co de Sobolev H
s
(), s > 0. Este resultado e fundamental quando se estuda um
problema de contorno cujo dado na fronteira e a derivada normal, como o problema de
Neumann ou com vnculos unilaterais como problema de Signorini.
Considere o espa co vetorial H
0
() dado por:
H
0
() = u L
2
(); u L
2
().
Denindo em H
0
() o produto escalar
(u, v)
H
0 = (u, v)
L
2
()
+ (u, v)
L
2
()
,
para todo par u, v H
0
, resulta que ele e um espa co de Hilbert.
Proposicao 2.8.1 T() e denso em H
0
.
Demonstracao: Dado um vetor u
0
de H
0
() ortogonal a T(), devemos provar que u
0
= 0.
Para tal, consideremos u
1
= u
0
. As extensoes u
0
, u
1
de u
0
e u
1
nulas, respectivamente,
fora de , pertencem ao espa co L
2
(R
n
). Prova-se que u
1
H
2
(R
n
). Calcula-se u
1
no
sentido das distribui coes. De fato, se pertence a T(R
n
), sua restri cao , isto e, v = r
,
pertence a T(), logo:
u
1
, ) =
_
u
1
(x)(x) dx = (u
0
, v)
L
2
()
=
= (u
0
, v)
H
0 (u
0
, v)
L
2
()
= u
0
, ).
Conclui-se que u
1
= u
0
, logo pertence a L
2
(R
n
), portanto
(1 +[[x[[
2
)T u
1
= T( u
1
+ u
1
) L
2
(R
n
),
de onde resulta que u
1
H
2
(R
n
). Do Corolario 12 resulta que u
1
H
1
0
().
Para todo v em H
0
() e em T(), obtem-se:
(v, )
L
2
()
= v, ) = v, ) = (v, )
L
2
()
.
120 CAP
, dual forte de
H
s
(), dene-se o funcional conjugado
f por
f, u) = f, u) para u em H
s
(). Neste caso,
considera-se como H
s
() o espaco vetorial constitudo dos
f tais que f (H
s
())
, munido
da norma:
[[
f[[
H
s
()
= sup
||u||=1
[f, u)[.
Note-se que L
2
() H
s
() sendo a inclusao considerada no sentido seguinte: se
f L
2
(), identica-se f ao funcional f, u) = (f, u)
L
2
()
, sendo u H
s
(). Em particular,
se u T(), entao
0
u,
1
u podem ser considerados como vetores de H
s
() para todo
s > 0.
Teorema 2.8.1 A aplicacao
u (
0
u,
1
u)
de T() em H
1/2
() H
3/2
(), prolonga-se, por continuidade, a uma aplicacao linear e
contnua de H
0
() em H
1/2
() H
3/2
().
Demonstracao: Seja o tra co de ordem dois em . Foi demonstrada a existencia de uma
aplica cao linear e contnua T de H
3/2
() H
1/2
() em H
2
() tal que Tw = w para todo
w em H
3/2
() H
1/2
().
2.8. TRACO DA DERIVADA NORMAL 121
Fixemos u em T() e seja M o funcional denido em H
3/2
() H
1/2
() por
Mw = (u, Tw)
L
2
()
(u, Tw)
L
2
()
.
Representando-se por C > 0 a norma de T como objeto de L(H
3/2
() H
1/2
(), H
2
()),
obtem-se:
[Mw[ 2C[[u[[
H
0
()
[[w[[
H
3/2
()H
1/2
()
para todo w H
3/2
() H
1/2
().
Da formula de Green mencionada no incio desta se cao, verdadeira para todo v em
T(); sendo T() denso em H
2
() e os tra cos
0
,
1
contnuos de H
2
() em L
2
(), tem-se:
(u, v)
L
2
()
(u, v)
L
2
()
= (
1
u,
0
v)
L
2
()
(
0
u,
1
v)
L
2
()
para todo v em H
2
(). Dado w = (w
0
, w
1
) em H
3/2
() H
1/2
(), considere-se v = Tw,
sendo
0
v = w
0
e
1
v = w
1
. Combinando a formula de Green anterior e a deni cao de M,
obtem-se a seguinte expressao:
M(w
0
, w
1
) =
1
u, w
0
)
0
u, w
1
)
para todo w
0
H
3/2
() e w
1
H
1/2
(). Resulta, portanto,
[
1
u, w
0
)[ = [M(w
0
, 0)[ 2C[[u[[
H
0
()
+[[w
0
[[
H
3/2
()
[
0
u, w
1
) = [M(0, w
1
)[ 2C[[u[[
H
0
()
+[[w
1
[[
H
1/2
()
Da obtem-se:
[[
1
u[[
H
3/2
()
2C[[u[[
H
0
()
[[
0
u[[
H
1/2
()
2C[[u[[
H
0
()
Portanto, das desigualdades anteriores e da Proposi cao 88, conclui-se a demonstra cao do
teorema.
122 CAP
v
u
d,
embora
1
u nao perten ca a L
2
().
Exerccio 1. Considere = R
n
+
e seja a transforma cao linear descrita na terceira etapa
da demonstra cao do Teorema 2.7.2. Considere n = 2 e prove que existe uma constante C > 0
tal que
[[(w
0
, 0)[[
H
1
()
C[[w
0
[[
H
1/2
()
, w
0
T().
Exerccio 2. No caso geral, um aberto limitado do R
n
, com fronteira bem regular,
prove que se for a fun cao tra co de ordem dois em , existe uma inversa `a 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
i=1
(D
i
u, D
i
v)
L
2
()
.
Se u H
0
() H
1
() e T(), seja v = T(, 0) H
2
(). Entao
o
v = ,
1
v = 0 e
[[v[[
H
1
()
C
0
[[[[
H
1/2
()
. Da, da formula de Green e do caso em que as fun coes pertencem
a T(), obtem-se:
1
u, ) = (u, v)
L
2
()
(u, v)
L
2
()
=
= (u, v)
L
2
()
+
n
i=1
(D
i
u, D
i
v) L
2
() .
Resulta, portanto que
[
1
u, )[ [[u[[
H
0
H
1
()
[[v[[
H
1
()
C
0
[[u[[
H
0
H
1
()
[[[[
H
1
()
,
provando a proposi cao.
A Proposi cao 2.9.1 e um caso particular de um resultado geral que sera mostrado no
Captulo 3.
124 CAP
Note-se
que e o vetor unitario da normal externa a .
Pretende-se analisar os seguintes problemas de contorno:
(P
1
)
u = f em
u = g sobre
(P
2
)
u + u = f em
u
= h sobre
O problema (P
1
) denomina-se de Dirichlet e o (P
2
) de Neumann.
Inicia-se estudando determinado espa co de Hilbert Y que desempenha pepel funda-
mental no que se segue. Realmente, dene-se
Y = u L
2
; u H
1
(),
125
126 CAP
ITULO 3. PROBLEMAS EL
ITICOS N
AO HOMOG
ENEOS
munido do produto escalar
(u, v)
Y
= (u, v) + (u, v)
H
1
()
,
com o qual Y e um espa co de Hilbert. Como foi estabelecido nos captulos anteriores,
(u, v), [u[ e ((u, v)), [[u[[ denotarao o produto escalar e norma dos espa cos L
2
() e H
1
0
()
respectivamente.
Observacao 26 Considere-se a aplicacao:
: H
1
0
() H
1
()
e seja
G = ()
1
: H
1
() H
1
0
().
Dados os vetores u, v H
1
(), dene-se a forma bilinear [ , ] em H
1
() por:
[u, v] = Gu, v)
H
1
0
()H
1
()
= ((Gu, Gv)).
Segue-se que [ , ] e um produto escalar em H
1
(). O produto escalar denido em Y e
derivado do produto escalar em L
2
() em H
1
() por [ , ].
A proxima etapa consiste em denir o tra co
0
para objetos de Y . Segue um metodo
analogo ao adotado no Captulo 2 para se denir o tra co em H
0
(). Consulte-se a nota cao
al empregada.
Proposicao 3.1.1 T() e denso em Y .
Demonstracao: Embora semelhante a feita para H
0
() no Captulo 2, sera feita sucinta-
mente. Tem-se que Y e um subespa co de Hilbert de L
2
() H
1
(). Considere uma forma
linear contnua M: Y R. Se M, ) = 0 para todo T() implicar M = 0, resulta que
T() e denso em Y .
E conseq uencia do teorema de Hahn-Banach. Seja
M a extensao de
3.1. INTRODUC
AO 127
M ao espa co L
2
() H
1
(). Resulta da Observa cao 1 e do Teorema de Riesz-Frechet que
existe f, h L
2
() H
1
0
() tal que
M, ) = (f,
1
) +h,
2
)
H
1
0
()H
1
()
,
para todo =
1
,
2
L
2
() H
1
(). Em particular, se u Y obtem-se:
M, u) = (f, u) +h, u)
H
1
0
()H
1
()
. (3.1.1)
Sejam
f,
h extensoes de f e h nulas no complemento de em rela cao ao R
n
. Obtem-
se:
f +
h, ) = (
f, ) +
h, )
para toda T(R
n
). Da, de (3.1.1) e da hipotese M, ) = 0, resulta que
f +
h = 0 em T
(R
n
). (3.1.2)
Sendo
f L
2
() obtem-se
h L
2
(R
n
). Logo
h e
h pertencem a L
2
(R
n
), portanto por
transformada de Fourier, resulta que
h H
2
(R
n
). Sendo regular, obtem-se h H
2
0
().
Seja (
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
ITULO 3. PROBLEMAS EL
ITICOS N
AO HOMOG
ENEOS
Considere a aplica cao T denida por:
H
3/2
() H
1/2
() H
2
() H
1
0
()
tal que 0, w v. Ela e linear e contnua.
Para todo u Y e w H
1/2
(), considere-se a fun cao numerica Su denida por:
Su, w) = (u, Tw) u, Tw)
H
1
()H
1
0
()
. (3.1.3)
Tem-se que Su e uma forma linear em H
1/2
() para cada u Y . Prova-se que Su e contnua.
De fato, tem-se:
[Su, w)[ [u[ [Tw[ +[[u[[
H
1
()
[[Tw[[
_
[u[
2
+[[u[[
2
H
1
()
_
1/2
_
[Tw[
2
+[[Tw[[
2
_
C[[u[[
Y
[[Tw[[
H
2
()H
1
0
()
C[[T[[ [[u[[
Y
[[w[[
H
1/2
()
.
Conclui-se que a forma linear Su e contnua em H
1/2
(), logo um objeto de H
1/2
(). Tem-
se, tambem,
[[Su[[
H
1/2
()
C[[T[[ [[u[[
Y
.
No que se segue dar-se-a sentido ao tra co
0
de um objeto de Y . Realmente, seja
u T() e w H
1/2
() sendo v = Tw H
2
() H
1
0
(). Devido `a Formula de Green,
resulta:
0
u,
1
v) = (u, v) (u, v) (3.1.4)
e
0
em T() e uma forma linear contnua na norma de Y . Sendo T() denso em Y ,
resulta que a forma linear contnua
0
possui uma unica extensao, por continuidade, a Y ,
representada tambem por
0
. Diz-se que esta extensao
0
e o tra co de ordem zero em Y .
Sendo v = Tw, resulta de (3.1.4) que:
0
u, w) = (u, Tw) u, Tw)
H
1
()H
1
0
()
,
que comparando com (3.1.3) resulta que para todo u Y tem-se
0
u T
1/2
().
Um resumo do exposto vem dado no seguinte resultado:
3.2. PROBLEMA DE DIRICHLET 129
Teorema 3.1.1 A aplicacao linear
u Y
o
u H
1/2
()
e contnua e e valida a formula de Green
0
u,
1
v) = (u, v) u, v), v H
2
() H
1
0
().
A seguir estuda-se o Problema (P
1
) com diferente escolha de regularidade para os dados f e
g.
3.2 Problema de Dirichlet
Reescrevendo, tem-se:
(P
1
)
u = f em
u = g sobre
Considere f e g nao regulares. Uma das primeiras diculdades que aparece no estudo de
(P
1
) nesse caso e denir uma solu cao u do problema.
Deduz-se, de forma heurstica, uma deni cao de solu cao de u de (P
1
) quando f e g
sao nao regulares. Claro esta que uma das diculdades e precisar em que espa cos devem
habitar f e g. Nesta parte e que serao utlizados os resultados obtidos na Introdu cao.
Formalmente, obtem-se:
_
(u)v dx =
_
u(v) dx
_
v d +
_
u
v
d
e levando em considera cao (P
1
), resulta
_
u(v) dx =
_
f v dx
_
g
v
d +
_
v d.
130 CAP
ITULO 3. PROBLEMAS EL
ITICOS N
AO HOMOG
ENEOS
Como nao se tem nenhuma informa cao sobre
u
= 0. Portanto
_
u(v) dx =
_
fv dx
_
g
v
d com v[
= 0.
E natural considerar u L
2
(). Com esta hipotese, o primeiro membro da ultima
igualdade so faz sentido se v L
2
(). Isto e a primeira restri cao sobre v implicam que
v H
2
()H
1
0
(), que por sua vez acarreta,
1
v H
1/2
(). Portanto, no termo
_
g
v
d
pode-se escolher g H
1/2
(). Do exposto vem
(u, v) = f, v) g,
1
v)
H
1/2
()H
1/2
()
, v H
2
() H
1
0
().
Falta precisar em que espa co deve estar f. Se na ultima igualdade se tomar v T() resulta
u, v) = f, v)
isto e, u = f. Entao o Problema (P
1
) com g H
1/2
() tera um sentido, isto e,
0
u H
1/2
(), se por exemplo f H
1
() (ver Teorema 3.1.1 da Introdu cao).
O exposto motiva a seguinte deni cao: Sejam
f H
1
() e g H
1/2
().
Uma fun cao u L
2
() que verica
(u, v) = f, v)
H
1
()H
1
0
()
g,
1
v)
H
1/2
()H
1/2
()
v H
2
() H
1
0
() (3.2.5)
e denominada uma solucao denida por transposicao do Problema (P
1
).
Divide-se o estudo da existencia de solu coes do Problema (P
1
) em tres casos, segundo
os espa cos de Sobolev onde serao tomadas as fun coes f e g.
Caso I. Suponha-se f H
1
() e g H
1/2
().
Tem-se o seguinte resultado
3.2. PROBLEMA DE DIRICHLET 131
Proposicao 3.2.1 Para todo par f, g pertencente a H
1
() H
1/2
() existe um unico
u L
2
(), solucao denida por transposicao de (P
1
). Tem-se, ainda mais, que a aplicacao
linear
f, g H
1
() H
1/2
() u L
2
()
e contnua, onde
u = f em H
1
()
u = g em H
1/2
()
(3.2.6)
Demonstracao: A aplica cao linear
: H
2
() H
1
0
() L
2
() (3.2.7)
e uma isometria bijetiva, isto e,
[[u[[
H
2
()H
1
0
()
= [u[.
Da, o adjunto ()
de , denido por:
()
: L
2
() (H
2
() H
1
0
())
(3.2.8)
()
u, v) = (u, v), v H
2
() H
1
0
() (3.2.9)
e, igualmente, uma isometria bijetiva.
Observe que ()
).
Considere L um objeto do dual (H
2
() H
1
0
())
, denido por
L, v) = f, v) g,
1
v), v H
2
() H
1
0
() (3.2.10)
sendo
1
o tra co de ordem um em H
2
(). Resulta de (3.2.8):
Existe um unico u L
2
() tal que
()
u = L, no sentido de (H
2
() H
1
0
())
132 CAP
ITULO 3. PROBLEMAS EL
ITICOS N
AO HOMOG
ENEOS
De modo equivalente tem-se:
Existe um unico u L
2
() tal que
L, v) = ()
u, v) para todo v H
2
() H
1
0
()
(3.2.11)
De (3.2.9), (3.2.10) e (3.2.11), obtem-se:
(u, v) = f, v) g,
1
v) (3.2.12)
para todo v H
2
()H
1
0
(), isto e, u e uma solu cao denida por transposi cao do Problema
(P
1
). A unicidade de u segue notando que a aplica cao (3.2.7) e sobrejetora.
Mostra-se que u = f em H
1
().
De fato, tomando v T() em (3.2.12) segue a arma cao.
Verica-se que
0
u = g em H
1/2
().
Com efeito, como u L
2
() e u H
1
() vem pelo Teorema 3.1.1 da Introdu cao
que
0
u H
1/2
() e e valida a formula de Green:
0
u,
1
v) = (u, v) u, v), v H
2
() H
1
0
().
Por outro lado de (3.2.12) resulta
g,
1
u) = (u, v) u, v), v H
2
() H
1
0
().
As duas ultimas igualdades acarretam o resultado desejado.
Continuidade da aplica cao
f, g H
1
() H
1/2
() H
1/2
() u L
2
()
u solu cao de (3.2.1).
Sejam h L
2
() e v solu cao do problema
v = h em
u[
= 0
3.2. PROBLEMA DE DIRICHLET 133
Entao v H
2
() H
1
0
() e
[[v[[
H
2
()H
1
0
()
C[h[. (3.2.13)
De (3.2.12) resulta
(u, h) = f, v) g,
1
v).
Logo
[(u, h)[ [[f[[
H
1
()
[[v[[
H
1
0
()
+[[g[[
H
1/2
()
[[
1
v[[
H
1/2
()
que implica de (3.2.13)
[(u, h)[
_
[[f[[
2
H
1
()
+[[g[[
2
H
1/2
()
_
1/2
[h[.
Da vem
[u[
L
2
()
C
_
[[f[[
2
H
1
()
+[[g[[
2
H
1/2
()
_
1/2
provando a continuidade da aplica cao.
Da unicidade de solu coes denidas por transposi cao de (P
1
) vem que os Problemas
(3.2.5) e (3.2.1) sao equivalentes.
Caso II Considere-se f H
1
() e g H
1/2
().
Denomina-se solu cao de (P
1
), neste caso, a uma fun cao u H
1
() tal que
0
u = g em H
1/2
()
(3.2.14)
Demonstra-se, a seguir, existencia, unicidade e dependencia contnua, como foi feito
no Caso I.
De fato, considere a fun cao
T: H
1/2
() H
1
(),
tal que Tg = w sendo
o
w = g, e
0
o tra co em H
1
(). Da resulta que o problema variacional
z H
1
0
()
((z, v)) = f, v) ((w, v)) para cada v H
1
0
()
(3.2.15)
134 CAP
ITULO 3. PROBLEMAS EL
ITICOS N
AO HOMOG
ENEOS
e bem posto no sentido de Hadamard. Portanto u = z + w pertence a H
1
() e solu cao do
problema:
u = f em H
1
()
0
u = g em H
1/2
()
(3.2.16)
que e o problema (3.2.14).
A unicidade segue de forma usual.
Resta provar a dependencia contnua. Realmente, considere as sucessoes (f
) e (g
)
de H
1
() e H
1/2
(), respectivamente, convergentes nos respectivos espa cos para f e g.
Tem-se Tg
= w
Tg em H
1
(). Seja z
, g
, v)) = f
, v) ((u
em H
1
0
(), obtem-se:
[[z
[[
2
H
1
0
()
[[f
[[
H
1
()
[[z
[[
H
1
0
()
+
+[[w
[[
H
1
()
[[z
[[
H
1
0
()
.
Da resulta que (z
) e de Cauchy em H
1
0
(). Logo converge para z H
1
0
() e
((z, v)) = f, v) ((w, v)) para cada v H
1
0
().
Portanto, u
= z
+ w
u = z + w em H
1
(), provando-se que a aplica cao linear
f, g H
1
() H
1/2
() u H
1
(),
sendo u solu cao de (16), e contnua.
Caso III Neste caso examina-se a solu cao de (P
1
) quando f H
1
() e g H
(), sendo
1
2
< < +
1
2
O metodo consiste em aplicar determinados resultados de interpola cao de
espa cos de Sobolev (cf. J.L. Lions - E. Magenes [11]).
De fato, foi demonstrado nos Casos I e II que as aplica coes
f, g H
1
() H
1/2
() u H
1
(), linear, contnua;
f, g H
1
() H
1/2
() u L
2
(), linear, contnua,
3.2. PROBLEMA DE DIRICHLET 135
sendo u solu cao do problema (P
1
), em cada caso. Interpolando-se os espa cos, obtem-se:
[H
1/2
(), H
1/2
()]
= H
(1)
1
2
+(
1
2
)
() = H
(1/2)
()
sendo 0 1. Portanto, tomando-se
1
2
= , obtem-se
1
2
1
2
Analogamente, obtem-se:
[H
1
(), L
2
()]
(1/2)
= H
(1/2)+
()
notando-se que L
2
() = H
0
().
Conseq uentemente:
f, g H
1
() H
() u H
(1/2)+
(),
1
2
1
2
,
e linear e contnua, sendo u a unica solu cao do problema
u = f em
u = g sobre
(3.2.17)
com f H
1
() e g H
(), para
1
2
1
2
Analise da Aplicacao Traco
0
Do Caso I resulta que
f, g H
1
() H
1/2
() u Y (3.2.18)
e uma aplica cao linear e contnua. Ela e sobrejetiva por propriedades do tra co
0
. Pela
unicidade da solu cao do (P
1
), no Caso I, resulta que a aplica cao (3.2.14) e injetiva. Do Caso
II, obtem-se, tambem, que a aplica cao:
f, g H
1
() H
1/2
() u H
1
() (3.2.19)
e linear, contnua e bijetiva.
Aplicando-se resultados de interpola cao resulta:
[H
1
() H
1/2
(), H
1
() H
1/2
()]
(1/2)
= H
1
() H
()
136 CAP
ITULO 3. PROBLEMAS EL
ITICOS N
AO HOMOG
ENEOS
e
[H
1
(), Y ]
(1/2)
= Y
= u H
(1/2)+
(), u H
1
(),
1
2
1
2
Logo, de (3.2.18) e (3.2.19) e dos resultados de interpola cao, acima xados,
obtem-se:
f, g H
1
() H
() u Y
,
1
2
1
2
,
sendo u solu cao do problema
u = f em
u = g sobre ,
e uma aplica cao linear, contnua e bijetiva. Pelo Teorema do Graco Fechado, resulta que a
aplica cao inversa:
u Y
f, g H
1
() H
(),
1
2
1
2
,
e linear, contnua e bijetiva. Portanto a aplica cao tra co
0
:
u Y
0
u H
(),
1
2
1
2
, (3.2.20)
e linear e contnua.
Observacao 27 Note que se u Y entao u L
2
(). Conseguintemente, existe uma
sucessao (
u em L
2
(). Nao se tem, entretanto,
necessariamente, que
u em H
1
(), pois isto acarretaria que (
0
u
em H
1/2
(). Analogo raciocnio aplica-se ao espaco Y
0
= u H
1/2
(); u H
1
().
Neste caso, de (20) vem que
0
u L
2
(), u Y
0
. Note-se que T() e denso em H
1/2
(),
cf. J.L. Lions - E. Magenes [11].
Caso IV Analisa-se, no presente paragrafo, o problema (P
1
) de Dirichlet, quando
f L
2
(). As conclusoes, aqui obtidas, serao empregadas no estudo do Teorema de Tra co
e da Formula de Green da Se cao 3.4.
3.2. PROBLEMA DE DIRICHLET 137
Do resultado de regularidade de solu coes de problemas elticos, cf. H. Brezis [19],
resulta que se v for solu cao do problema:
v = f em , f L
2
()
v = 0 sobre
entao v H
2
() e [[v[[
L
2
()
C[f[, sendo C > 0 uma constante independente de f. Isto
acarreta, como feito no Caso II, que a aplica cao
f, g L
2
() H
3/2
() u H
2
(), (3.2.21)
sendo u solu cao do problema:
u = f em
0
u = g,
e linear, contnua e bijetiva. Considera-se (3.2.18). Observe-se que para 0 1, tem-se:
[H
3/2
(), H
1/2
()]
= H
(3/2)2
() (3.2.22)
e
[H
2
(), L
2
()]
= H
2(1)
(). (3.2.23)
Considere o espa co H
0
, cf. Captulo 2, paragrafo 2.8,
H
0
= u L
2
(); u L
2
(), (3.2.24)
com a estrutura Hilberteana:
(u, v)
H
0 = (u, v) + (u, v).
Resulta, portanto, de (3.2.22) e (3.2.23) que para 0 1, tem-se:
[L
2
() H
3/2
(), L
2
() H
1/2
()]
= L
2
() H
(3/2)2
()
e
[H
2
(), H
0
]
= H
2(1)
.
138 CAP
ITULO 3. PROBLEMAS EL
ITICOS N
AO HOMOG
ENEOS
Observe que H
, 0 2, e o espa co de Hilbert
H
= u H
(); u L
2
() (3.2.25)
munido do produto escalar
(u, v)
H
= (u, v)
H
()
+ (u, v).
Considere = 2(1 ). Entao
3
2
2 =
1
2
+. Decorre do exposto e por aplica cao
de argumentos analogos aos empregados no Caso III, que a aplica cao linear
f, g L
2
() H
(1/2)+
() u H
, 0 2 (3.2.26)
sendo u a solu cao do problema
u = f em
u = g sobre
e contnua e bijetiva. Tambem a aplica cao tra co
0
:
u H
0
u H
(1/2)+
(), 0 2 (3.2.27)
e contnua.
3.3 Problema de Neumann
No presente paragrafo investiga-se a solu cao do problema
(P
2
)
u + u = f em
u
= h sobre
sendo f e h fun coes reais denidas, respectivamente, em e sobre .
De incio, como foi feito no Problema de Dirichlet, vai-se denir solu cao de (P
2
)
quando f e h sao fun coes nao regulares.
3.3. PROBLEMA DE NEUMANN 139
Procede-se de forma heurstica. Formalmente, obtem-se:
_
(u + u)v dx =
_
u(v + v) dx
_
v d +
_
u
v
d.
Como nao se tem informa cao sobre u restrito a deve-se impor a condi cao
v
= 0.
Supondo u L
2
() vem que v + v deve pertencer a L
2
(). Isto e a primeira restri cao
implicam que v deve pertencer ao espa co
W = v H
2
();
1
v = 0 (3.3.28)
que por sua vez acarreta v H
3/2
(), portanto pode-se considerar h H
3/2
(). Tambem
considere f L
2
().
O anterior motiva a seguinte deni cao: Sejam
f L
2
() e h H
3/2
().
Entao u L
2
() que verica
(u, v + v) = (f, v) +h,
0
v)
H
3/2
()H
3/2
()
(3.3.29)
para todo v W, e denominada solucao denida por transposicao do Problema (P
2
).
Proposicao 3.3.1 Sejam
f L
2
() e h H
3/2
().
Entao o Problema (P
2
) possui uma unica solucao u L
2
() denida por transposicao. Alem
disso, a aplicacao linear
f, h L
2
() H
3/2
() u L
2
()
onde u e solucao do problema
u + u = f em L
2
()
1
u = h em H
3/2
(),
(3.3.30)
e contnua.
140 CAP
ITULO 3. PROBLEMAS EL
ITICOS N
AO HOMOG
ENEOS
Demonstracao: Seja A o operador denido pela terna H
1
(), L
2
(), (u, v)
H
1
()
. Entao
A = + I e como e regular, vem que
D(A) = u H
2
();
1
u = 0 = W
onde W foi denido por (3.3.28). Tambem para cada f L
2
() o problema de Neumann
u + u = f em
u
= 0 sobre
(3.3.31)
admite uma unica solu cao u D(A), sendo
[[u[[
H
2
()
C[f[, (3.3.32)
C uma constante independente de f e u (ver H. Brezis [19]). O espa co vetorial D(A) com o
produto escalar
(u, v)
D(A)
= (u + u, v + v)
e um espa co de Hilbert.
Do exposto vem
A: D(A) L
2
() (3.3.33)
e uma isometria linear sobrejetiva. Resulta entao que o adjunto
A
: L
2
() D(A)
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)
3.3. PROBLEMA DE NEUMANN 141
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)
ITULO 3. PROBLEMAS EL
ITICOS N
AO HOMOG
ENEOS
Como u H
0
vem entao que
1
u H
3/2
() e
(u + u, v) = (u, v + v)
1
u,
0
v)
H
3/2
()H
3/2
()
para todo v D(A), ou
(f, v) = (u, v + v)
1
u,
0
v)
H
3/2
()H
3/2
()
, v D(A). (3.3.38)
De (3.3.37) e (3.3.38) vem o resultado desejado.
Continuidade da aplica cao linear
f, h L
2
() H
3/2
() u L
2
()
onde u e solu cao de (3.3.30).
De fato, seja L
2
() e v solu cao de (3.3.30) com em lugar de f. Da condi cao
(3.3.37) resulta
(u, ) = (f, v) +h,
0
v)
H
3/2
()H
3/2
()
para todo v D(A). Da estimativa (3.3.32) obtem-se [[v[[
H
2
()
C[[, portanto
[(u, )[ C[[f, g[[
L
2
()H
3/2
()
[[v[[
H
2
()
C[[f, g[[
L
2
()H
3/2
()
[[
o que implica
[u[ C[[f, g[[
L
2
()H
3/2
()
mostrando a continuidade da aplica cao.
Nota-se que pela unicidade das solu coes denidas por transposi cao do Problema (P
2
),
os problemas (3.3.29) e (3.3.30) sao equivalentes.
Observacao 28 Tem-se que a aplicacao linear
f, h L
2
() H
3/2
() u H
0
onde u e a solucao de (3.3.30), e contnua e bijetiva.
3.3. PROBLEMA DE NEUMANN 143
Considere-se, agora, f L
2
() e h H
1/2
(). Seja w H
2
() tal que
1
u = h.
Entao, do Teorema de Traco (cf. Captulo 2, paragrafo 2.8), resulta que w pode ser escolhido
de modo que
[[w[[
H
2
()
C[[h[[
H
1/2
()
. (3.3.39)
Para este w, seja v a solucao do problema:
v + v = f w w em
v
= 0 sobre .
Resulta que para esta escolha de w, a solucao v H
2
() e de (3.3.32) e (3.3.39) obtem-se:
[[v[[
H
2
()
C[[f[ +[w[ +[w[] C([f[ +[[h[[
H
1/2
()
). (3.3.40)
Tomando-se u = v + w, obtem-se:
u + u = f em
u
= h sobre ,
(3.3.41)
resultando de (3.3.39) e (3.3.40) que
[[u[[
H
2
()
C([f[ +[[h[[
H
1/2
()
).
Tem-se que u e unica.
Conclui-se, portanto, que a aplicacao linear
f, g L
2
() H
1/2
() u H
2
(), (3.3.42)
sendo u solucao de (3.3.41), e contnua e bijetiva.
No que se segue, serao aplicados resultados de interpola cao para a obten cao da solu cao
do problema de Neumann em outros espa cos de Sobolev (cf. J.L. Lions - E. Magenes,[11]).
De fato, para 0 1, obtem-se:
[H
1/2
(), H
3/2
()]
= H
(1/2)2
()
144 CAP
ITULO 3. PROBLEMAS EL
ITICOS N
AO HOMOG
ENEOS
e
[H
2
(), L
2
()]
= H
2(1)
().
Seja = 2(1 ) entao
1
2
2 =
3
2
+ . Resulta da Proposi cao 3.3.1 e (3.3.42) que a
aplica cao linear, com 0 2,
f, h L
2
() H
(3/2)+
() u H
(),
e contnua, sendo u a unica solu cao do problema:
u + u = f em
1
u = h sobre .
Igualmente da Proposi cao 3.3.1, (3.3.42) e do teorema do graco fechado, resulta que
a aplica cao linear, com 0 2,
u H
f, h L
2
() H
(3/2)+
()
e contnua.
O espa co H
= u H
(); u L
2
().
Resulta, da, que a aplica cao tra co
1
dada por:
u H
1
u H
(3/2)+
() (3.3.43)
e contnua para 0 2.
Em particular, para =
3
2
, conclui-se que o tra co
1
dado por:
u H
3/2
1
u L
2
()
e contnua.
3.4. TEOREMA DO TRAC O. F
, 0 2,
0
e
1
.
Teorema 3.4.1 A aplicacao traco
u H
u =
0
u,
1
u H
(1/2)+
() H
(3/2)+
(), (3.4.44)
para 0 2, e linear e contnua. Tem-se a seguinte Formula de Green:
(u, v) = (u, v)
1
u,
0
v)
H
(3/2)+
() H
(3/2)
()
+ (3.4.45)
+
0
u,
1
v)
H
(1/2)+
() H
(1/2)
()
,
para 0 2, u H
e v H
2
.
Demonstracao: Reescrevendo (3.2.27), Caso IV, vem que a aplica cao linear
0
u H
0
u H
(1/2)+
(), 0 2,
e contnua.
De (3.3.43), cf. Se cao 3.3, Problema de Neumann, resulta que a aplica cao linear
1
u H
1
u H
(3/2)+
(), 0 2,
e contnua.
Resulta que a aplica cao tra co =
1
,
2
e linear e contnua de H
em H
(1/2)+
()
H
(3/2)+
(), com 0 2. Permutando por 2 em (3.4.44) resulta que a aplica cao
tra co =
1
,
2
, tal que
v H
2
v =
0
v,
1
v H
(3/2)
() H
(1/2)
(),
0 2, e contnua.
146 CAP
ITULO 3. PROBLEMAS EL
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
e v H
2
(). Aplicando, novamente, o mesmo
raciocnio a resultado obtido, conclui-se que (3.4.47) e valida para todo u H
e v H
2
,
que e a Formula de Green procurada.
Considere-se o operador A denido na Se cao 3.3, Problema de Neumann, isto e,
A = + I com domnio
D(A) = u H
2
();
1
u = 0.
Sejam (w
) e (
) =
_
u L
2
();
=1
(
1)
2
[(u, w
)[
2
<
_
e
()
u =
=1
(
1)
(u, w
)w
) = D(A
), 0 1.
3.4. TEOREMA DO TRAC O. F
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(()
ITULO 3. PROBLEMAS EL
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`a 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 `a 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`emes 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`emes aux limites non homog`enes, 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