EDP Eliptica Cap3 2017 PDF

EDPs ELIPTICAS - MAT5812 - IMEUSP - 2017
Professor Oswaldo Rio Branco de Oliveira
Estas notas baseiam-se em Gilbarg, D. and Trudinger, N. S., Elliptic Par-

tial Differential Equations of Second Order, Springer (2001) e, como material de
apoio, em G. B. Folland, Real Analysis - Modern Techniques and Their Appli-
cations, 2nd ed, John Wiley & Sons. Agradeco particularmente as notas de aula
do curso sobre os mesmos topicos e ministrado por J. C. D. Fernandes.
Notacoes.
Captulo 1 - Espacos Lp e de Hilbert.
1.1 Introducao.
1.2 Fatos Basicos sobre a Integral de Lebesgue.
1.3 Fatos Basicos sobre Lp .
1.4 Desigualdades e Interpolacoes Basicas.
1.5 O Dual de Lp .
1.6 Algumas Desigualdades Uteis.
1.7 O Teorema de Interpolacao de Marcinkiewicz.
1.8 O Lema de Lax-Milgram e a Alternativa de Fredholm.
1.9 O Conjunto-Lp de Lebesgue de uma funcao

Captulo 2 - Produto de Convolucao, Aproximacao e Regularizacao.
2.1 Introducao.
2.2 Produto de Convolucao.
2.3 Aproximacao da Identidade.
2.4 Lema de Urysohn (C ) e Teorema de Tietze.
2.5 Regularizacao e Aproximacao em Lploc () e Lp ().
Captulo 3 - Espacos de Sobolev.
3.1 Introducao....................................................................................................5
3.2 Derivada fraca..............................................................................................12
3.3 Regra da Cadeia e Regra do Produto............................................................28
3.4 Espacos W k,p () e Regra da Cadeia.............................................................36
3.5 Teoremas de Densidade (Meyers-Serrin e propriedade do segmento).............40
3.6 Teoremas de Imersao (Sobolev-Galiardo-Nirenberg).....................................49
3.7 Estimativas para o Potencial e Teoremas de Imersao (Morrey e Poincare).....60
3.8 Estimativas de Morrey e de John-Nirenberg..................................................71
3.9 Resultados de Compacidade (Rellich-Kondrachov).......................................74
3.10 Diferencas de Quociente................................................................................81
3.11 Lipschitz e Rademacher.................................................................................84
3.12 Caracterizacao de W01,p ()............................................................................87
3.13 Caracterizacao das funcoes fracamente diferenciaveis.....................................91

Captulo 1
ESPACOS Lp e de HILBERT
3
Captulo 2
PRODUTO DE
CONVOLUCAO,
APROXIMACAO E
REGULARIZACAO
4
Captulo 3
ESPACOS DE SOBOLEV
3.1 Introducao
Doravante todas as funcoes sao reais e
Lp (X) = {f X R tal que f p < }.
Lema (Localizacao). Seja f L1loc () tal que
f (x)(x)dx = 0, para toda Cc ().

Entao, f = 0 (isto e, nula em quase todo ponto ou, abreviadamente, q.t.p.).

Provas. Seja a funcao curva do sino.
(1) Dado K compacto em , as hipoteses mostram
(f )(z) = f (x) (z x)dx = 0 para quaisquer z K e < d(K, ).
No captulo 2 provamos f f . Logo, f = 0 em K e entao f = 0.

L1 (K)
(2) (Instrutiva e evitando convolucao). Vide Lista de Exerccios 2 - Extra
A cada funcao f L1loc () associamos um funcional linear
Tf Cc () R, dado por Tf () = f (x)(x)dx.
O lema acima mostra que a aplicacao f Tf e injetora (cheque). Tal associacao

permite generalizar o conceito de funcao.
O espaco dos funcionais lineares contnuos (com uma topologia adequada sobre
Cc (), definida logo mais nesta secao) e dito Espaco das Distribuicoes D ()
ou Espaco das Funcoes Generalizadas D ().
5
Uma entre varias vantagens das distribuicoes e que toda distribuicao e infinita-
mente derivavel. Em particular, toda funcao localmente integravel e infinitamente
derivavel no sentido de distribuicoes.
Vejamos. Consideremos uma funcao f = f (x) = f (x1 , . . . , xn ) infinitamente

derivavel em Rn e a distribuicao
T1 f associada a derivada parcial 1 f = x1 f.
Seja Cc (Rn ) (digamos que suportada no cubo [r, r][r, r] = [r, r]n ).
Temos 0 na fronteira de [r, r]n . Pela formula de integracao por partes segue
f (x)1 (x)dx = 1 f (x)(x)dx = T1 f [].
Esta formula mostra como definirmos a derivada de uma distribuicao. Definimos
(j u)[] = u(j ).
Agora, apresentemos a notacao frequente. Sejam uma distribuicao u D () e

uma funcao Cc (). Indicamos o valor da distribuicao u na funcao por
u, .
Segue entao,
j u, = u, j .
Assim, dado um mult-ndice encontramos
u, = (1) u, .
A seguir, descrevamos a convergencia (topologia) em Cc ().
Convergencia no Espaco das Funcoes Testes Cc (). Uma sequencia de

funcoes (n ) Cc () converge a Cc () se as seguintes condicoes valem.
Existe K compacto em tal que temos supp(n ) K para todo n.
n , para cada multi-ndice Nn .

uniformemente
6
Oswaldo Rio Branco de Oliveira
Exemplo. Seja f uma funcao em L1loc (). Entao, Tf D ().

Prova.
Como o funcional Tf e linear, basta provar a continuidade na origem. Seja
n 0 e K compacto em com supp(n ) K para todo n. Entao,
Cc ()
T f, n = f n dx n u f dx 0
n
K
Exemplo (A distribuicao delta de Dirac). Seja Cc (Rn ) R dada por
, = (0).
E trivial ver que e uma distribuicao (um funcional linear contnuo). Cheque
Definicao. Seja u D (). Dizemos que u e uma distribuicao regular se existe

uma funcao f L1loc () satisfazendo u = Tf . E usual a identificacao f Tf .
Exemplo (A distribuicao nao e regular). [A distribuicao e tambem dita

uma medida de Dirac (com uma unidade de massa concentrada na origem).]
Prova.
Suponhamos que exista f locamente integravel satisfazendo
f dx = , = (0), para toda Cc (R ).

n
Consideremos o aberto = Rn {0}. Entao, temos
f dx = 0, para toda Cc ().

Pelo lema de localizacao abrindo esta secao temos f = 0 q.t.p. em Rn {0}.

Donde segue f = 0 q.t.p. em Rn e Tf = 0. Logo, = Tf = 0
Dado um ponto a Rn , a distribuicao delta no ponto a e definida por
a , = (a), onde Cc (Rn ).
Operacoes com distribuicoes estendem as operacoes usuais com funcoes.

Exemplo (Translacoes e distribuicoes). Seja a Rn e o operador translacao
a . Sejam f e funcoes tais que as integrais abaixo existam. Temos
a f (x)(x)dx = f (x a)(x)dx = f (y)(y + a)dy = f (y)a (y)dy.

Entao, dada u D (Rn ) e Cc (Rn ), definimos
a u, = u, a .
7
Muitos textos apresentam algumas das operacoes com distribuicoes como se
estas fossem funcoes (util as vezes, esta pratica requer atencao). Por exemplo,
quanto a operacao translacao para uma distribuicao u D (Rn ), alguns escrevem
a u = u(x a) e u(x a)(x)dx = u(y)(y + a)dy,
ao inves de
a u, = u, a .
Comentario extra (adequado a quem esta familiarizado com medida abstrata).
Definicoes. Sejam um aberto em Rn e
B() a colecao dos borelianos em ,
esta e a -algebra gerada pelos abertos de (isto e, a menor -algebra que

contem todos os abertos de ).
Uma medida
B() [0, ]
e dita uma medida de Radon sobre se satisfaz as tres condicoes abaixo.
(1) Finitude sobre compactos:
(K) < para todo K compacto (contido em ).
(2) Regularidade interior:
(E) = sup{(K) K E com K compacto}.
(3) Regularidade exterior:
(E) = inf{(O) E O com O aberto (contido em )}.
Seja uma medida de Radon no aberto Rn . A expressao
I , = d, onde Cc (),

define uma distribuicao I D ().
8
A distribuicao I e regular [isto e, existe uma funcao g L1loc () satisfazendo

a identidade
I , = g dx, para toda Cc ()]

se e somente se a medida e localmente absolutamente contnua com res-

peito a medida de Lebesgue m (segue do Teorema de Radon-Nikodym -
vide Folland [8, p. 90] ou
https://www.ime.usp.br/~oliveira/MEDIDACAP3-2016.pdf, p. 19).
Nestas condicoes (isto e, se a distribuicao I e regular ou se a medida e
localmente absolutamente contnua com respeito a medida de Lebesgue m),
a derivada de Radon-Nikodym de em relacao a m e dada por uma funcao
Lebesgue mensuravel f tal que
L1loc ().
d
f=
dm
Tal funcao localmente Lebesgue-integravel f R (utilizemos a regra da
cadeia para medidas, vide Folland [8, p. 93] ou
https://www.ime.usp.br/~oliveira/MEDIDACAP3-2016.pdf, p. 24)
satisfaz
I , = d

d
= dm
dm

= f dx.

Logo,
I = Tf .
Dizemos que B() [0, ] e singular com respeito a medida de Lebes-

gue m (ou que e m sao mutuamente singulares) se existem dois borelianos
E e F tais que E F = e E F = , com (E) = 0 e m(F ) = 0 (isto
significa que esta concentrada em F e que m esta concentrada em E).
Se B() [0, ] e singular com respeito a m (por exemplo, = ) entao

o funcional I nao e uma distribuicao regular.
9
Exemplo (A derivada da funcao de Heaviside: H = ). A funcao

1, se t 0,
H(t) =

0, caso contrario,
e chamada funcao de Heaviside ou funcao degrau unitario. A funcao de Hea-
viside representa um sinal acionado em um certo instante e que entao permanece
ligado indefinidamente. Oliver Heaviside, desenvolveu o calculo operacional (te-
oria das distribuicoes) estudando comunicacoes telegraficas.
Figura 3.1: A funcao de Heaviside.
Prova.
Notemos que H L1loc (R). Seja Cc (R). Por definicao para derivadas
de distribuicoes temos
H , = H, = H(t) (t)dt
+
= (t)dt = = (0) = ,
+
0
0
O conceito derivada no sentido de distribuicoes e mais adequado que derivada

classica se empregamos a teoria da integral de Lebesgue (que abarca funcoes que
assumem valores e mesmo nao definidas em um conjunto de medida nula).
A caracterstica que torna o estudo das distribuicoes muito importante e que

muitas equacoes classicas nao tem solucao classica (isto e, nao tem uma funcao
classica como solucao) porem tem solucao no sentido de distribuicoes.
Nao aprofundamos aqui um estudo da teoria das distribuicoes pois neste texto
nos apoiaremos no conceito Derivadas Fracas, que nos sera suficiente. Para a
teoria das distribuicoes, vide a referencia Cavalcanti & Cavalcanti [4]. Para uma
bem leve introducao a teoria das distribuicoes via Calculo I, vide
https://www.ime.usp.br/~oliveira/ELE-Fourier6.pdf .
10
Apendice: Caracterizacao da Continuidade das Distribuicoes.
No espaco das funcoes testes Cc (), definimos a famlia de normas
pj () = onde Cc (), para j = 1, 2, . . . .

j
Teorema (Caracterizacao da continuidade de uma distribuicao). Con-

sideremos T Cc () R um funcional linear. Entao, T e contnuo (no sentido
de distribuicoes) se e somente para todo compacto K existem uma constante
C > 0 e uma norma pN tais que temos
T, CpN (), para toda Cc () com supp() K.
[Isto e, T e contnuo em relacao a norma pN (respeitada a condicao sobre K).]

Prova.
() Trivial.
() Suponhamos que a implicacao e falsa. Entao, existe um compacto K satis-

fazendo a seguinte condicao: para todo natural j, existe uma funcao teste
j (suportada em K) tal que
T, j > jpj (j ).
Entao, cada funcao teste

j
T, j
j =
tem suporte em K. Dividindo a ultima desigualdade por T, j segue
1 > jpj (j ).
Fixemos um arbitrario multi-ndice . Para todo j temos
j pj (j ) < .
1
j
Logo, cada j esta suportada em K e j 0 uniformemente se j .
A continuidade de T garante
T, j 0, porem T, j = 1
11
3.2 Derivadas Fracas
Ja vimos que toda distribuicao e infinitamente derivavel. Assim, dada uma

funcao f localmente integravel, a distribuicao regular Tf e infinitamente derivavel.
Cabe entao questionarmos se as derivadas (parciais) de Tf sao distribuicoes re-
gulares. Isto e, fixado j , existe uma funcao gj L1loc () tal que j (Tf ) = T gj ?
Entao, um tanto imprecisamente, comecamos a introduzir o conceito derivada

fraca. Uma funcao f e dita fracamente diferenciavel se a sua derivada - no sentido
de distribuicoes - e uma distribuicao regular. Ainda, sua derivada fraca e a funcao
localmente integravel correspondente a sua derivada no sentido de distribuicoes.
Exemplo. Seja a funcao f (t) = 0, se t 0, e f (t) = t se t 0. Seja u = Tf . Entao
f nao e derivavel mas tem derivada fraca, a qual e a funcao de Heaviside H.
Figura 3.2: O grafico da funcao rampa t f (t) = t+ = max(t, 0).
Prova.
Seja Cc (R) uma funcao teste. Entao,
u , = u, = t (t)dt = t(t)
+ + +
+ (t)dt
0 0 0
+
=0+ H(t)(t)dt

= TH ,
Ja vimos que nao e localmente integravel e tambem que
(t+ ) = H, H = e (t+ ) = .
12
Pode ser provado (vide Rudin [14], p. 167) que, localmente, toda distribuicao
e a derivada de uma funcao contnua [em particular, ja mostramos que = (t+ ) ].
Isto e, dada uma distribuicao u em D () e um compacto K contido em , entao
existe uma funcao f contnua em e um multi-ndice tal que temos
u, = f, = (1) f (x) (x)dx, se Cc () e supp() K.

Justificados por tais observacoes, formalizemos o conceito derivada fraca.
Definicao. Sejam um aberto em Rn , uma funcao g L1loc () e um multi-ndice

Nn . Entao, uma funcao h L1loc () e uma -esima derivada fraca de g se
h dx = (1) g dx, para toda Cc ().

Neste caso, escrevemos (logo mais veremos a unicidade da derivada fraca)
h = g
e dizemos que a -esima derivada de g existe, como uma funcao em L1loc ().
[Com a notacao acima, destaquemos que no sentido de distribuicoes temos
h, = g, para toda Cc ().]
Linearidade para derivadas fracas. Suponhamos que h1 = g1 e h2 = g2 .

Vale a identidade (1 h1 + 2 h2 ) = 1 g1 + 2 g2 , para quaisquer escalares 1 e 2
Exemplo. Seja t t a funcao modulo na reta. A derivada fraca de t t e

1, se t > 0,

sgn(t) = 0, se t = 0,

1, se t < 0.
Prova. Seja Cc (R). Entao
0 +
sgn(t)(t)dt = (t)dt + (t)dt

0

0 +
= t(t) t (t)dt + t(t) t (t)dt

0 +

0
0
= t (t)dt
13
Definicoes e Notacoes. Seja u uma funcao [assumidamente em L1loc ()].
u e fracamente diferenciavel se suas derivadas fracas de ordem 1 existem.
u e k-vezes fracamente diferenciavel se suas derivadas fracas de ordem

1, . . . , k existem.
O espaco (linear) das funcoes k-vezes fracamente diferenciaveis e W k ().

Isto e,
W k () = {u L1loc () u L1loc () para todo k}.
Brevemente, W 1 () e o conjunto das funcoes fracamente diferenciaveis .

Notemos que C k () W k (). O conceito derivada fraca entao estende o
conceito classico de derivada, com a importante particularidade de preservar a
formula de integracao por partes. Ainda, W k () e definido via integracao local.
Em geral, uma derivada fraca pode nao existir. De fato, mostramos H = no

sentido de distribuicoes e que nao e uma funcao em L1loc . Por outro lado, se a
derivada fraca existe entao ela e unica (a menos de um conjunto de medida zero).
Propriedade (Unicidade da derivada fraca). Sejam f L1loc () e Nn .

Sejam g e h, ambas em L1loc () e ambas -esimas derivadas fracas de f . Entao,
g = h.
Prova. Seja Cc (). Por hipotese temos

g dx = (1) f dx = h dx.

Pelo lema de localizacao abrindo a secao anterior (3.1) segue g = h
Propriedade (Comutatividade da derivacao fraca). Sejam f W k () e

dois multi-ndices e , ambos em Nn , tais que + k. Entao,
f = f = + f.
(). Logo, Cc (). Por hipotese temos

+
Prova. Seja Cc
( f )( ) dx = (1) f ( ) dx
+
= (1) (1)+ ( + f ) dx = (1) ( + f ) dx.

Portanto ( f ) = + f e, trocando , entao ( f ) = + f
14
Dado um aberto (nao necessariamente limitado), consideremos o aberto
= {x d(x, ) > } = {x Rn D(x, ) }.
Figura 3.3: Os abertos e (com limitado) e o disco D(x, ).
Lema (Derivada fraca, regularizacao e aproximacao). Sejam u L1loc ()

e tais que a derivada fraca u existe. Valem a identidade a derivada fraca
da regularizacao e a regularizacao da derivada fraca e a convergencia abaixo.
(a) (u ) = ( u) em . (b) (u ) u.
L1loc ()
Prova.
(a) Sejam O e x O. Entao, D(x, ) O + D(0, ) [um compacto em ].

Pela definicao de regularizacao (captulo 2, secao 2.5) segue
u (x) = (x y)u(y)dy = (x y)u(y)dy, para todo x O.

D(x,) O+D(0,)
O teorema da derivacao sob o sinal de integral (x a variavel em O) garante
(u )(x) = ( )(x y)u(y)dy = ( )(x y)u(y)dy.

O+D(0,)
Para x em O e fixo, y (x y) Cc () [atencao para este argumento].

Introduzindo a derivada fraca obtemos
( )(x y)u(y)dy = (1) y [ (x y)](y)u(y)dy

= (x y) u(y)dy
= ( u) (x).
(b) Segue de (a), pois [vide lema regularizacao e aproximacao em Lploc () e em

Lp (), captulo 2 - secao 2.5] sabemos que u u em L1loc ()
15
Teorema (Caracterizacao das Derivadas Fracas). Sejam u e v, em L1loc ().
Temos v = u se e somente se existe uma sequencia (um ) C () tal que
um u e um v.
L1loc () L1loc ()
Para a implicacao nao direta podemos supor (um ) C ().

Para a implicacao direta podemos escolher (um ) Cc ().
A sequencia (um ) independe de .
Prova.
() Seja Cc (). Supondo (um ) C (), integracao por partes acarreta

( um ) dx = (1) um ( ) dx.

Pela desigualdade de Holder e as hipoteses de convergencia segue (cheque)
v dx = (1) u( ) dx e v = u.

() Seja Om = 1 B(0, m) a exaustao usual para . O lema regularizacao e

aproximacao em Lploc () [captulo 2 - secao 2.5] garante
m
u 1 = u 1 C ( 1 ) C (Om ).
m m m
Seja m Cc (, [0, 1]) com m 1 em Om1 e supp(m ) Om . Portanto
m u 1 Cc ().
m
Pelo lema regularizacao e aproximacao em Lploc () segue (cheque)
m u 1 u e v 1 v.
L1loc () L1loc ()
m m
Sejam O e m grande, com O Om1 Om 1 . O lema acima revela

m
(m u 1 ) = (u 1 ) = v 1 em O e entao (m u 1 ) v.
L1 (O)
m m m m
A arbitrariedade de O garante
(m u 1 ) v
L1loc ()
m
Mostramos que a derivada fraca de um limite e o limite das derivadas fracas.

A caracterizacao acima de derivadas fracas e frequentemente dada como de-
finicao. As derivadas resultantes sao entao ditas Derivadas Fortes. Com o
teorema acima muitos resultados do Calculo Diferencial Classico podem ser es-
tendidos a derivadas fracas trivialmente, por aproximacao.
16
Sejam N sequencias (vn1 ), . . . , (vnN ) em um espaco V . Abusando da notacao,

escrevemos (vn1 , . . . , vnN )
(v 1 , . . . , v N ) se vnj v j em V e para j = 1, . . . , N .
V n
Propriedade (Regra do Produto, restrita). Suponhamos que valha uma

das duas alternativas abaixo.
(a) u W 1 () e v C 1 (). (b) u e v pertencem a W 1 () L

loc ().
Entao, uv W 1 () e vale a formula
(uv) = uv + vu,
com uj v e tambem vj u em L1loc () [escrevemos uv L1loc () e vu L1loc ()].

Prova.
(a) O teorema de caracterizacao exibe (um ) C () tal que
um u e um u.
L1loc () L1loc ()
Donde seguem (cheque)
um v uv e (um v) = um v + vum uv + vu.

L1loc () L1loc ()
Como um v C 1 (), o teorema de caracterizacao (implicacao ) garante
(uv) = uv + vu.
(b) E trivial ver que uv, uv e vu sao localmente integraveis (cheque).
= K + D(0, r) r .
Dado K compacto em , existe r > 0 tal que K

Figura 3.4: Os abertos e r e os compactos K e K.
17
O teorema de caracterizacao exibe (um ) C () e (vm ) C () tais que

u,
L1 (K) L1 (K)

u m u e u m

v.
L1 (K) L1 (K)
v m v e v m
Para todo m > (1/r) e todo x K encontramos
,
um (x) ess sup {u(y) y K}
donde segue
um L (K) M = uL (K)
< .
Analogamente, a sequencia
(vm )m> 1
r
e uniformemente essencialmente limitada em K.

A seguir, argumentemos no compacto K. Pelo teorema convergencia em Lp
e convergencia pontual (secao 1.2 - fatos basicos de Lp ) podemos supor que
(um ), (um ), (vm ) e (vm ),
convergem pontualmente q.t.p. para respectivas u, u, v e v.

Mostremos que pelo TCD (teorema da convergencia dominada) e que ar-
gumentando como na prova do TCDG (teorema da convergencia dominada
generalizado) - se preferir, aplique o TCDG (vide secao 1.2) - obtemos

uv
L1 (K)

u m v m
e

) uv + vu.
L1 (K)
(u m v m = u m v m + v m u m
E trivial ver que a primeira convergencia segue diretamente do TCD.

Quanto a segunda convergencia, e claro que basta mostrarmos
um vm uv.
L1 (K)
Pela definicao da constante M encontramos
um vm uv M vm + M v.
18
Logo,
M vm + M v um vm uv 0.
Pelo lema de Fatou segue
lim inf (M vm + M v um vm uv) dx

K
lim inf (M vm + M v um vm uv) dx.

K
No lado esquerdo desta desigualdade utilizemos convergencia q.t.p. para o

integrando. No direito, convergencia em L1 (K) e regras do lim inf. Segue
2M v dx 2M v dx + lim inf um vm uv dx.

K K K
Isto e,
lim sup um vm uv dx 0.
K
Portanto
um vm uv dx 0.
n
Isto encerra a prova de

uv
L1 (K)

u m v m
e

) m uv + vu.

L1 (K)
(u v
m m = u m v m + v m u
Pelo teorema de caracterizacao para derivadas fracas segue uv W 1 () e
(uv) = uv + vu
Para uma outra prova da regra do produto (b), evitando o teorema da con-
vergencia dominada gneralizado vide Cavalcanti & Cavalcanti [4, pp. 112115].
Classicamente, uma funcao diferenciavel definida em um aberto conexo e cons-

tante se e somente se o seu gradiente e nulo em todo ponto. Vejamos que no
contexto derivada fraca vale uma propriedade analoga.
19
Propriedade (Funcoes Constantes e Gradiente Fraco, em domnios).
Seja u em L1loc (), com aberto e conexo. No contexto derivadas fracas temos
u = 0 (q.t.p.) u e constante (q.t.p.).
Prova.
Se u e localmente constante (q.t.p), entao u e constante (q.t.p). De fato, se
c e uma constante e temos u = c (q.t.p) em alguma bola, entao o conjunto
X = {x u = c (q.t.p.) numa vizinhanca de x} e nao vazio, aberto e seu
complementar X e aberto (cheque). Logo, X = e u = c (q.t.p.) em .
() Dado > 0, seja a regularizacao u = u . Ja vimos que u C ( ) e que

j (u ) = (j u) = 0, em e para cada j. Donde segue que u e localmente
constante no aberto, nao necessariamente conexo, (vide figura). Assim,
u e constante em cada bola contida em .
Figura 3.5: O aberto e conexo mas nao e conexo.
Ja vimos que u u em L1loc ( ) [vide secao 2.5 - Lploc e regularizacao] e que

convergencia em Lp (onde 1 p ) implica convergencia pontual q.t.p.
para alguma subsequencia [vide secao 1.5 - teorema convergencia em Lp e
convergencia pontual].
Portanto, u e localmente constante ( no sentido q.t.p.) no aberto (che-
que). Logo, u e localmente constante (no sentido q.t.p.) no conexo . Pelo
comentario abrindo esta prova segue que u e constante em .
() O caso u = 0 e trivial (cheque). Podemos entao supor u = 1.

Consideremos uma bola B e Cc1 (B). Entao,
1.1 dx = ((t, x2 , . . . , xn )t= ) dx2 . . . dxn = 0 = 0. dx.

t=
Donde segue 1 (1) = 0 em B. E entao trivial ver que temos (1) = 0 em

toda bola B . Donde segue (1) = 0 q.t.p. no conexo
20
Exemplo (A funcao de Cantor e contnua e admite derivada classica

definida em quase todo ponto, entretanto nao tem derivada fraca).
Construamos por etapas o conjunto (triadico) de Cantor C [0, 1]. Mostre-
mos que (entre varias de suas propriedades) C e compacto e de medida nula.
Figura 3.6: O conjunto triadico de Cantor.
Na etapa (level) 1 dividimos [0, 1] nos intervalos I1 = [0, 1/3], I2 = (1/3, 2/3) e
I3 = [2/3, 1] e removemos o intervalo (aberto) do meio. Na etapa 2, subdividimos
I1 , e I3 , em tres sub-intervalos e novamente removemos o intervalo (aberto) do
meio. Assim procedendo, apos infinitas etapas o que restar de [0, 1] e o conjunto
de Cantor C. O conjunto removido e aberto e tem medida
+ 2 + 3 + 4 += ( ) = 1.
1 2 4 8 1 1
3 3 3 3 3 1 32
Logo, C e compacto e m(C) = 0.
Para mais propriedades do conjunto de Cantor, vide
https://www.ime.usp.br/~oliveira/MEDIDACAP1-2016.pdf
Construamos a funcao de Cantor (cujo grafico e a Devils staircase, ou Escada

do Coisa Ruim). Ate a etapa n (incluindo-a), o conjunto removido e uniao dis-
junta de 2n 1 intervalos abertos Ijn , apresentados ordenados da esquerda para a
direita, para j = 1, . . . , 2n 1. Definamos funcoes fn [0, 1] [0, 1] contnuas, por

fn = 2n em Ijn , para cada 1 j 2n 1, f (0) = 0, f (1) = 1 e
j

fn e linear no complementar.
Cada funcao fn e entao monotona crescente e satisfaz as condicoes
fn+1 = fn em Ijn , para cada 1 j 2n 1, e fn fn+1 <

1
.
2n
21
Pelo Teste-M de Weierstrass, a sequencia (fn ) converge uniformemente sobre
[0, 1] a uma funcao f [0, 1] [0, 1]. Tal f e monotona crescente, contnua e
constante em cada intervalo removido na construcao do conjunto de Cantor C.
Em cada intervalo removido, f e constante e sua derivada classica e nula. O

complementar da uniao dos intervalos removidos e o conjunto de Cantor e este
tem medida nula. Donde segue
Derivada classica f = 0 q.t.p. em [0, 1].
Figura 3.7: Funcao de Cantor / Devils staircase.
Primeira prova de que f nao tem derivada fraca. Suponhamos que exista f = g no
sentido fraco. Temos
g dt = f dt, se Cc ((0, 1)).

1
Escolhamos funcoes testes com suporte em um intervalo removido I. Em I, a

funcao f e uma constante cI . Logo,
g dt = f dt = cI (t) dt = 0 = 0. dt.

Donde segue g = 0 q.t.p. em I. Portanto, g = 0 no complementar de C. Temos

entao g = 0 q.t.p. em [0, 1].
Pela propriedade funcoes constantes e gradiente fraco, f e uma constante
22
Segunda (e elementar) prova de que f nao tem derivada fraca.
Estendamos a funcao de Cantor f [0, 1] [0, 1] definindo f (x) = 0, se x 0,

e f (x) = 1 se x 1 (vide figura abaixo). Indiquemos a extensao por f .
Figura 3.8: Uma variacao da funcao de Cantor.
Suponhamos que f tem derivada fraca g.

Ja vimos que g e nula nos intervalos em que f e constante. Segue
g(t) = 0 para quase todo ponto t R.
Seja Cc1 (R) satisfazendo as condicoes (vide figura acima)
1 em [0, 1] e (x) = 0 se x b.
Segue (cheque, acompanhe com a figura)
0 = g(t)(t)dt
= f (t) (t)dt = (t)dt = (1)

b
= 1
23
Extra (para familiarizados com a teoria da diferenciacao de Lebesgue). Caracte-
rizemos as funcoes em uma variavel real e localmente integraveis que tem derivada
fraca em L1 . Antes, facamos algumas observacoes.
Seja I = [c, d] R, um intervalo compacto, ou I = (c, d) um intervalo

aberto (limitado ou nao). Uma funcao F I R e dita absolutamente
contnua se para todo > 0, existe um > 0 tal que para toda colecao
finita de sub-intervalos abertos e dois a dois disjuntos, (c1 , d1 ) . . . , (cN , dN ),
todos contidos em I, vale a condicao:
(dj cj ) < F (dj ) F (cj ) < .

N N
j=1 j=1
Para tal caracterizacao, utilizaremos o resultado abaixo.

Teorema Fundamental do Calculo para Integral de Lebesgue. Uma
funcao F [c, d] R e absolutamente contnua se e somente se F e derivavel
q.t.p. (em quase todo ponto), F L1 ([c, d]) e
F (x) F (c) = F (t)dt.

x
Seja U (a, b) R absolutamente contnua. Entao U e contnua, localmente

integravel e absolutamente contnua em todo sub-intervalo compacto de
(a, b). Pelo teorema fundamental do calculo (Lebesgue), existe U em quase
todo ponto e U L1 ([c, d]) para todo [c, d] (a, b).
Lema. A funcao derivada U , definida q.t.p., e a derivada fraca de U .
Prova. Seja Cc1 ((a, b)). Podemos escrever
supp() [c, d] (a, b).
Entao, e U sao absolutamente contnuas em [c, d]. Logo, U tambem

(cheque, e trivial). Pelo teorema fundamental do calculo, , U e U sao
derivaveis q.t.p. Tem-se (U ) = U + U q.t.p. Seguem entao (em parti-
cular, estamos provando uma formula de integracao por partes para a
integral de Lebesgue, vide Wheeden & Zygmund [16, p. 108] ou Folland
[8, p. 108, exerccio 35]) as identidades
(U + U )(t)dt = c (U ) (t)(t)dt = U (d)(d) U (c)(c) = 0.

d

O lema esta provado
24
Resumindo, provamos acima que

U L1loc ((a, b)),
U absolutamente contnua em (a, b)

U tem derivada fraca em (a, b).

Assim, para o teorema de caracterizacao, basta provarmos o reverso.

Recordemos que um ponto x pertence ao Conjunto de Lebesgue de uma
funcao localmente integravel f R se
f (x y) f (x)dy 0.
1
m (D(0, r))
r0
D(0,r)
E trivial ver que para todo x em Lf , o conjunto de Lebesgue de f , temos
f (x + y)dy f (x).
1
m (D(0, r))
r0
D(0,r)
O conjunto de Lebesgue e grande no sentido da teoria da medida. De

fato, o complementar Lf tem medida nula (vide Folland [8, p. 98] ou
https: // www. ime. usp. br/ ~ oliveira/ MEDIDACAP3-2016. pdf ).
Vejamos o que ocorre em dimensao 1, com uma funcao localmente integravel
v (a, b) R.
Dado x no conjunto de Lebesgue de v, temos

x+h
v(t) v(x)dt 0.
1

h0
2h
xh
Claramente segue
x+h
v(t) v(x)dt 0.
1

h0
h
x
Encontramos entao
x+h
1
v(t)dt v(x).
h
h0
Finalmente, mostremos o teorema de caracterizacao procurado.
25
Teorema (Caracterizacao das funcoes com derivada fraca em L1 ).
Temos u localmente integravel em (a, b) e com derivada fraca v em L1 ((a, b)),
se e somente se existe U absolutamente contnua em (a, b) tal que
U = u q.t.p. e U = v q.t.p..
Prova.
() Segue do lema imediatamente anterior.
() Seja x0 no conjunto de Lebesgue de u. Entao, u(x0 ) esta bem definido.

A seguir, definimos
U (x) = u(x0 ) + x0 v(t)dt.

x
Pelo teorema fundamental do calculo (Lebesgue), U e absolutamente contnua.

Comentamos acima que para todo x no conjunto de Lebesgue de v temos
U (x + h) U (x) 1 x+h
= v(t)dt v(x).
h0
h h x
Donde segue a identidade U = v q.t.p.
Resta mostrarmos a identidade U = u q.t.p. Consideremos as regularizacoes
u C ((a + , b )) e v C ((a + , b )).
Pelo lema derivada fraca e regularizacao segue (u ) = v . Pelo teorema

fundamental do calculo (Riemann) segue
u (x) = u (x0 ) + v (t)dt para todo x (a + , b ).

x
x0
Fixemos x (a + , b ) e determinemos o limite de tal identidade se 0.

Como x0 e um ponto de Lebesgue de u, obtemos u (x0 ) u(x0 ).
Como v v, pela definicao de U ve-se que o lado direito vai a U (x).

L1 ([x0 ,x])
Com o teorema aproximacao da identidade e convergencia pontual em Lp

(vide extra em captulo 2, secao 2.3) vimos que u (x) u(x) em todo
ponto do conjunto de Lebesgue de u. Donde segue u u q.t.p.
Conclumos entao que
u = U q.t.p.
26
Propriedade (Mudanca de Variavel para Derivadas Fracas). Suponhamos

que O e sao domnios e que O e um difeomorfismo de classe C 1 . Se u e
fracamente diferenciavel em , entao v = u e fracamente diferenciavel em O e
xi
j v = i u onde x = (y).
i yj
Figura 3.9: A troca de variavel O .

Prova.
Sejam f R e X . O teorema da mudanca de variavel para integrais

mostra f 1 = f det J1 , avaliadas em X e 1 (X) respectivamente.
O jacobiano de nao se anula. As derivadas parciais e o jacobiano de
sao contnuos. Localmente, existem c > 0 e C > 0 tais que
cf f det J Cf .
Sao entao equivalentes: f L1loc , (f ) det J L1loc e f L1loc .

Ainda, fn f em L1loc () se e somente se fn f em L1loc (O). Cheque.
Devido as hipoteses, u, v = u e (j u) sao localmente integraveis.
Seja Cc1 (O). Entao, (supp()) e compacto em . Consideremos uma
regularizacao u de u, com pequeno tal que contem (supp()).
A seguir, gracas a identidade i (u ) = (i u) obtemos
(u )j dy = j (u ) dy = (i u)
xi
dy.
i yj
Impondo 0 [em L1loc , sabemos que u u e (i u) i u] encontramos
vj dy = (
xi
i u) dy
i yj
27
3.3 Regra da Cadeia e Regra do Produto
Lema (Regra da Cadeia, restrita). Sejam f C 1 (R), com f L (R), e

u W 1 (). Entao,
f u W 1 () e (f u) = f (u)u [com f (u) = f u].
Prova.
Por aproximacao. Pela caracterizacao das derivadas fracas existe (um )

em C () tal que a sequencia (um , um ) = (um , 1 um , . . . , n um ) converge
a (u, u) = (u, 1 u, . . . , n u) em L1loc () coordenada a coordenada.
Dado K compacto em , pelo TVM temos
K f um f u dx f K um u dx 0.
m
Em particular, f u e localmente integravel em .

Notemos que (f um ) = (f um )um . A desigualdade triangular garante
K (f um ) (f u)u dx = K (f um )um (f u)u dx

(f um )(um u) dx + (f um ) (f u) u dx
K K
f um u dx + (f um ) (f u) u dx.
K K
Analisemos o limite da ultima e da penultima parcelas. Temos que um u

em L1 (K) e entao alguma subsequencia de (um ), a qual reenumeramos
(um ), converge q.t.p. para u (vide captulo 1). Ainda mais,
(f um ) (f u) 2f .
Pelo teorema da convergencia dominada, tal ultima parcela converge a 0.

E trivial ver que a citada penultima parcela tende a 0.
Entao, pela caracterizacao das derivadas fracas encontramos
(f u) = (f u)u
28
Na regra da cadeia acima, fixada u, o espaco das f s em que vale a regra e

linear e contem as constantes e a identidade, e vale a linearidade na formula.
A regra da cadeia e ainda valida se f e de Lipschitz (nao necessariamente C 1 ).
Provemos tres importantes casos com as funcoes parte positiva x+ = max(x, 0),
parte negativa x = max(x, 0) e modulo x = max(x, x), com x um numero real.
Figura 3.10: Os graficos de x+ , x e x.
Sao triviais as relacoes

x+ = 2
x+x
x = x+ + x , e x = (x)+ .

x = x+ x ,

xx
x = 2 ,

Estas tres funcoes nao sao derivaveis mas sao de Lipschitz e com constante de
Lipschitz L = 1. De fato, dados reais x e y, pela segunda desigualdade triangular
a funcao modulo (de um numero real) satisfaz x y 1.x y. A funcao parte
positiva (de um numero real) satisfaz
x + x y + y x y x y
x+ y + = + x y.
2 2 2 2
Analogamente, temos x y = (x)+ (y)+ x (y) = x y.
As partes positiva e negativa de uma funcao u sao definidas por
u+ = max(u, 0) e u = max(u, 0).
[Atencao. Esta definicao difere da dada por Gilbard & Trudinger, mas concorda
com a de Adams, Folland, Royden & Fitzpatrick, Rudin e Wheeden & Zygmund.]
Seguem as relacoes

u+ =
u+u
u = u+ + u ,
e u = (u)+ .

2
u = u+ u ,

uu
u =

2 ,
Evidentemente, u+ = x+ u e u = x u.
29
Corolario (As partes positiva e negativa e o modulo, e seus gradientes).
Seja u fracamente diferenciavel [isto e, u W 1 ()]. Entao,
u+ , u e u pertencem a W 1 ().
Ainda,

u se u > 0

u se u > 0 0 se u 0
u = 0 se u = 0 u+ = e u =

0 se u 0 u se u < 0.
u se u < 0,
Ainda mais,
u u = u+ + u , u = u+ u e u u = u+ + u .
Prova.

Fixemos > 0. A funcao f (t) = t2 + 2 pertence a C 1 (R) e f 1. Seja

f (u) = f u = u2 + 2 definida em . Pelo Lema regra da cadeia segue
f (u) W 1 () e [f (u)] = f (u)u, onde f (u) = f u.
Para toda Cc1 () segue
f (u) dx = f (u)u dx.

Isto e,
u2 + 2 dx =
u
u dx.
u2 + 2
Impondo 0 obtemos (pelo teorema da convergencia dominada, cheque)
u dx = u dx,
onde u e dado pela formula anunciada e u e fracamente diferenciavel.
As partes u+ e u sao fracamente diferenciaveis, gracas as decomposicoes
u u
u = .
2
Para u > 0 e u < 0 seguem, respectivamente,
u + u
u+ = = u e u = u.
2
Como u+ W 1 , segue u+ = u+ = 0 se u+ = 0. Isto e, u+ = 0 se u 0.
Analogamente, u = u = 0 se u = 0. Isto e, u = 0 se u 0.
Cheque as afirmacoes finais (e trivial)
30
Podemos agora generalizar consideravelmente a propriedade para funcoes cons-

tantes e gradiente fraco, em domnios (i.e, abertos conexos) provada na secao
anterior (3.2 - derivadas fracas).
Comentario previo. Como bem sabemos, uma funcao localmente integravel e

de fato uma classe de equivalencia e duas funcoes sao identificadas se diferem no
maximo em um conjunto de medida nula. Em consequencia, dada uma funcao
f X R localmente integravel (de certa forma este e o maior espaco de funcoes
nestas notas) so faz sentido dizer que um numero real r pertence a imagem de f
(i.e., ao conjunto f (X)), se o conjunto pre-imagem f 1 (r), o qual e obviamente
mensuravel, tem medida estritamente positiva. Isto e,
f 1 (r) = {x f (x) = r} > 0.
Com base em tal comentario, a propriedade a seguir e uma consequencia

trivial do corolario as partes positiva e negativa e o modulo, e seus gradientes que
acabamos de provar.
Teorema (O Gradiente na pre-imagem de um ponto). Seja u W 1 ().

Entao, temos
u = 0 q.t.p. em todo conjunto em que u e constante.
Prova.
Sem perda de generalidade podemos supor que a constante e 0. No conjunto
pre-imagem u1 (0) temos
u = (u+ u ) = u+ u = 0 0 = 0 q.t.p.
Definicao. Uma funcao f R R e de classe C 1 por partes se e de classe C 0

(i.e., contnua) e tem derivada contnua por partes. O conjunto de descontinui-
dades de f e finito e as derivadas laterais existem nos pontos de descontinuidade
(dizemos que as descontinuidades de f sao do tipo salto ou de primeira especie.
O teorema a seguir generaliza a regra da cadeia restrita ja provada . Notemos

que as tres funcoes definidas na reta e a valores reais
x+ = max(x, 0), x = max(x, 0) e x
sao de classe C 1 por partes e com derivadas de primeira ordem em L (R).
31
Teorema (Regra da Cadeia). Seja f R R de classe C 1 por partes, com
f L (R). Dada u fracamente diferenciavel em , entao f u e fracamente
diferenciavel em . Ainda mais, se L e o conjunto dos pontos em que f nao e
diferenciavel, temos

f (u)u se u L
(f u) =

0 se u L.
Prova.
O caso L = {t0 }. Por meio de g(t) = f (t+t0 ) podemos supor t0 = 0 (cheque).
Figura 3.11: Uma ilustracao para f , com f descontnua so em t0 = 2.
O teorema vale para toda f constante e podemos assumir f (0) = 0 (cheque).

Existe f1 C 1 (R) com f1 limitada e, ainda, f1 = f em [0, +) (cheque).
Existe f2 C 1 (R) com f2 limitada e, ainda, f2 = f em (, 0] (cheque).
Segue f (u) = f1 (u+ ) + f2 (u ). Cheque.
O corolario gradiente das partes positiva e negativa e o modulo e o lema
regra da cadeia (restrita) mostram u+ e u fracamente diferenciaveis e
f (u) = f1 (u+ ) + f2 (u )
= f1 (u+ )u+ f2 (u )u .
Seja x um ponto em .
Se u(x) > 0, entao f1 (u+ ) = f (u), u+ = u, u = 0 e f (u) = f (u)u.
Se u(x) < 0, entao f2 (u ) = f (u), u = u, u+ = 0 e f (u) = f (u)u.
Se u(x) = 0, entao u+ = u = 0 e f (u) = 0.
32
O caso geral. Por inducao, supomos o teorema valido se L tem N pontos.
Figura 3.12: Uma f de classe C 1 por partes, com f descontnua em varios pontos.
Seja entao f como enunciada e com f descontnua somente em N +1 pontos
t1 < < tN < tN +1 . Podemos supor (ja vimos) tN +1 = 0 e f (0) = 0.
t1 tN 0 = tN +1
Figura 3.13: Os pontos de descontinuidade t1 < < tN < tN +1 = 0.

Seja f1 = f em [tN , +), com f1 de classe C 1 por partes e derivada f1
limitada e descontnua apenas em tN +1 = 0.
Seja f2 = f em (, 0], com f2 de classe C 1 por partes e f2 limitada e
descontnua so em {t1 < < tN }. Segue (com a hipotese indutiva, cheque)
f (u) = f1 (u+ ) + f2 (u ) e f (u) = f1 (u+ ) + f2 (u ).
O caso L unitario garante

f1 (u+ )u+ se u+ 0 f (u)u se u > 0
f1 (u ) = =

+

0 se u+ = 0
0 se u 0.
Por hipotese de inducao temos

f (u )u se u {t1 , . . . , tN }
f2 (u ) = 2

0 se u {t1 , . . . , tN }
Segue

f1 (u)u 0 se u > 0

00 se u = 0
f1 (u ) + f2 (u ) =

+

0 + f (u)u se u (, 0) {t1 , . . . , tN }

se u {t1 , . . . , tN }
00
A prova esta completa (cheque)
33
Teorema (Regra do Produto). Sejam u W 1 () e v W 1 () tais que
uv, uv e vu pertencem a L1loc ().
(uv) = uv + vu.
Prova.
Seja fn de classe C 1 por partes na reta, com fn L (R), dada por

n, se t > n

fn (t) = t se t n

n se t < n.
Figura 3.14: O grafico da funcao fn .
Pelo teorema regra da cadeia segue

u se u < n

un = fn (u) W () L () e (fn u) =

1

0 se u n.
Analogamente para vn = fn (v).

Pela regra do produto restrita (secao previa 3.2) segue a identidade integral
un vn dx = (un vn + vn un ) dx, para toda Cc ().

1
34
Por construcao temos (cheque, e trivial)

un u e un u,
q.t.p.

un u e un u
q.t.p.
Analogamente para vn .
Devido as hipotese temos

un vn uv L1loc ()

un vn + vn un uv + vu Lloc ().
1
Seja arbitraria em Cc1 (). Pela identidade integral ja obtida e o teorema

da convergencia dominada encontramos
lim un vn dx
uv dx = n

= lim (un vn + vn un ) dx
n

(uv + vu) dx.

Entao, pela definicao de W 1 () conclumos que
uv W 1 () e (uv) = uv + vu
A regra do produto para funcoes em W 1 () e importante para ao analisarmos

o problema de Dirichlet, no proximo captulo, provarmos um princpio do maximo
fraco (estendido) para funcoes em W 1,2 (), espaco definido na proxima secao. E
possvel evitarmos tal regra do produto no proximo captulo, se ao inves de estu-
darmos funcoes em W 1,2 () [em se tratando do problema de Dirichlet, proximo
captulo] estudassemos funcoes em W01,2 (), espaco definido na proxima secao.
No momento adequado voltamos a esta discussao.
35
3.4 Espacos W k,p() e Regra da Cadeia
Definicao. Dados p [1, ] e k N, indicamos o espaco de derivadas fracas
W k,p () = {u W k () u Lp () para todo 0 k}.
Claramente o espaco de Sobolev W k,p () e linear (i.e., um espaco vetorial).

Ainda mais, W k,p () admite a norma (cheque, e trivial)
p p
1 1
uk,p = uk,p, = uW k,p () = up = ( u ) dx

p p
se 1 p < ,
k

uk, = max u .
k
Observemos que o espaco vetorial e normado L1 () e subconjunto proprio (e

subespaco vetorial proprio) do espaco vetorial e nao normado L1loc ().
Diferentemente dos espacos W k (), cuja definicao usa integracao local em ,

os de Sobolev W k,p () sao definidos com o conceito integracao em todo o .
Observemos que se u W 1 (), entao suas derivadas de primeira ordem estao

em L1loc () e que W 1 () nao e normado [pois L1loc () nao e normado]. Entre-
tanto, W 1,1 () e um espaco vetorial e normado e e um subconjunto proprio (e
um subespaco vetorial proprio) de W 1 (). Resumindo, temos
W 1,1 () W 1 () linearmente, mas W 1,1 () e normado e W 1 () nao o e.
Analogamente,
W k,1 () W k () linearmente, mas W k,1 () e normado e W k () nao o e.
Notemos ainda que

W 0,p () = Lp ().
Destaquemos que todo Sobolev W k,p () e subconjunto de W 1 (). Isto e,
W k,p () W 1 (), para todos k e p.
Seja p em [1, ]. E trivial a equivalencia de normas (cheque)
uk,p up .
k
36
Proposicao. O espaco linear W k,p () e um espaco de Banach.

Prova.
Seja (uj ) uma sequencia de Cauchy em W k,p (). Entao,
( uj ) e de Cauchy no espaco de Banach Lp () para todo k.
Logo, existe u Lp () com
uj u para cada k.
Lp ()
Seja u = lim uj , computado em Lp (). Sejam com k e Cc ().

Pela desigualdade de Holder segue (cheque)
u dx = lim uj dx

= lim(1) ( uj ) dx
= (1) u dx.
Logo, para cada k existe a derivada fraca u e u = u (cheque).

Evidentemente u W k,p ().
E trivial mostrar que
uj u.
W k,p ()
Cheque
Atencao. Varias vezes estendemos uma funcao dada em . Este argumento

requer atencao se queremos manter alguma regularidade da funcao ao cruzar a
fronteira . Ao utilizar integracao, pode-se inadvertidamente supor que cruzar
a fronteira nao gera problemas por esta ter medida nula. Isto e falso. Por
exemplo, a uniao dos intervalos abertos
(rn , rn + n ) , onde Q = {rn },

1 1
2 n 2
e um aberto com m() 1. Porem, = R tem medida infinita. Cheque.
37
Definicao. Seja aberto em Rn . Entao,
W0k,p () e o fecho de Cck () em W k,p ().
E claro que tambem W0k,p () e um espaco de Banach.
Os espacos W k,p () e W0k,p () sao distintos se e limitado (cheque).
Notacao. Suponhamos p = 2. Entao, tambem escrevemos
W k,2 () = H k () e W0k,2 () = H0k ().
O espaco de Banach H k () e seu subespaco de Banach H0k () sao espacos de

Hilbert com produto interno (real) para duas funcoes u e v, ambas em H k () ou
ambas em H0k (), definido por
u, vk = u, vL2 () = ( u)( v) dx.

k k
Comentario. Seja Nk o numero de multi-ndices tais que k. Entao,

temos as imersoes naturais
Nk
W0k,p () W k,p () Lp () = Lp () Lp () .
j=1
Nk vezes
O espaco de Banach Lp () e separavel se p [1, ), vide captulo 1.
O espaco de Banach Lp () e reflexivo se p (1, ), vide captulo 1.
O produto cartesiano finito de espacos separaveis e um espaco separavel.
O produto cartesiano finito de espacos reflexivos e um espaco reflexivo.
Todo subespaco linear e fechado de um espaco reflexivo e tambem reflexivo.
Todo subespaco de Banach e fechado no espaco vetorial que o contem.
Conclumos entao que os espacos de Banach W k,p () e W0k,p () sao

separaveis se p [1, ),

reflexivos se p (1, ).

38
Analogamente aos espacos Lploc () definimos os espacos abaixo.
Definicoes e notacoes. Consideremos um aberto (limitado ou nao) em Rn ,

um inteiro k 0 e um valor p [1, ]. Entao,
k,p
Wloc () = {u R tal que uO W k,p (O) para todo O }.
k,p
Os espacos vetoriais Wloc () nao sao normados porem admitem uma topologia.
Uma sequencia (uj ) de funcoes mensuraveis converge a u no sentido Wloc
k,p
() se
uj u para todo O .
W k,p (O)
Escrevemos entao k,p

()
uj u.
Wloc
k,p
Alerta. Nao e necessario uj Wloc ().
Uma sequencia (vj ) Wloc

k,p
() converge a v Wloc
k,p
(), na topologia de
k,p
Wloc (), se a sequencia vj converge a v no sentido Wloc
k,p
(). Escrevemos entao
k,p
()
vj v.
Wloc
Proposicao (Uma regra da Cadeia em W 1,p ()). Seja f R R de classe C 1

por partes, com f L (R) e f L (R), e consideremos uma funcao u W 1,p ().
Entao,
f u W 1 () e (f u) = f (u)u Lp ().
Prova.
Segue diretamente do lema regra da cadeia ja provado na secao 3.3 - regra

da cadeia (cheque)
39
3.5 Teoremas de Densidade
Lema [Regularizacao e aproximacao em W k,p () - Friedrichs]. Conside-

remos p [1, ). Dada uma funcao u W k,p () e um arbitrario multi-ndice
com k, vale o que segue.

u C (Rn )
(a)
k,p
()
e u u.
Wloc

(u ) L (R )
p n
Se supp(u) e compacto, para pequeno o suficiente temos
(b) u Cc () e u u.
W0k,p ()
Prova.
(a) Devido as hipoteses, u L1loc () e existe a derivada fraca u para cada

k [isto e, u e localmente integravel em ]. Pelo lema derivada fraca,
regularizacao e aproximacao (secao 3.2 - derivadas fracas) segue
(u ) = ( u) no aberto .

Dada a extensao

u em
=

u

0 fora de ,
ja mostramos que [vide comentarios para extensao e regularizacao - captulo
2 - secao 2.5 - regularizacao e aproximacao em Lploc () e Lp ()] que

Lp (Rn )

u

e

em todo o Rn .
u = (
u) = u
Pelo corolario o produto de convolucao definido em Lp (Rn ) Cc (Rn ) -

vide captulo 2, secao 2.2 (produto de convolucao) - seguem entao as duas
primeiras afirmacoes anunciadas

C (Rn ) Lp (Rn )

u = u

e

C (Rn ) Lp (Rn ).
(u ) = u

40
Por outro lado, por hipotese u Lp () e entao pelo lema regularizacao e

aproximacao em Lp () e Lploc () [vide captulo 2 - secao 2.5] segue
( u) u.
Lp ()
Dado O , seja r > 0 com O r . O lema derivada fraca, regula-

rizacao e aproximacao garante ( u) = (u ) em O r , se < r.
Logo,
(u ) u.
Lp (O)
Donde segue
k,p
()
u u.
Wloc
(b) A afirmacao sobre o suporte e trivial.

E trivial a propriedade supp( u) supp(u). Cheque.
Por hipotese, supp(u) e compacto em . Fixemos V tal que
supp(u) V.
Consideremos 0 < < d(supp(u), Rn V )}. Temos entao
supp[ (u )] supp(u ) supp(u) + D(0, ) V .
Por (a) segue

u u.
W k,p (V )
Isto e,
(u ) u.
Lp (V )
Como supp( (u )) V , obtemos
(u ) u.
Lp ()
Donde conclumos que

u u
W k,p ()
41
Teorema (Aproximacao global por funcoes suaves. Meyers-Serrin, 1964).
Vale a propriedade,
C () W k,p () e denso em W k,p ().
Prova.
Na secao 2.4 - Urysohn e particao da unidade - exibimos uma sequencia

exaustiva de abertos Oj , onde j 1, e uma particao da unidade (j )
para e subordinada a cobertura (Oj ). Mostramos tambem

supp(j ) Oj Oj3 para todo j = 1, 2, 3, . . . ,

convencionado O2 = O1 = O0 = .
Fixado u W k,p (), temos j u W k,p () [verifique] com o suporte de j u
compacto em . Existe j > 0 satisfazendo
supp (j u)j Oj Oj3 para todo j = 1, 2, 3, . . . .
Pelo lema de Friedrichs, imediatamente acima, podemos supor j pequeno

tal que
(j u)j j uW k,p ()

.
2j
Dado D(x, r) , existe N tal que D(x, r) ON . Segue
v = (j u)j (1 u)1 + + (N +3 u)N +3 no disco D(x, r).

j
Logo, v C (). Para completar, temos
v uW k,p () (j u)j j uW k,p ()
O teorema de Meyers-Serrin mostra que W k,p () pode ser caracterizado como

o completamento do espaco C () sob a norma
f Lp () .
k
42
Fronteira. Sejam aberto e limitado em Rn , de variavel x = (x1 , . . . , xn ).

(Extrado de Evans [6, pp. 226-268 e 710711].)
Dizemos que e C 1 se para cada ponto p existe uma funcao
Rn1 R
tal que, renomeando os eixos se necessario, obtemos
B(p, r) = {x B(p, r) xn > (x1 , . . . , xn1 )}.
Assim, localmente temos = grafico() para alguma de classe C 1 .
Se e C 1 , entao ao longo de esta definido o campo vetorial contnuo

normal unitario exterior (apontando para o exterior de ) indicado
= (1 , . . . , n ).
Consideremos uma funcao f C 1 (). A sua derivada normal exterior

e definida pelo produto interno
f
= f.

Figura 3.15: O vetor normal exterior.
43
Para aplainar a fronteira proximo a p, definimos funcao y = (x) por

yj = xj = j (x), onde j = 1, . . . , n

yn = xn (x1 , . . . , xn1 ) = n (x).

Observemos que yn = 0 se e somente se x pertence a grafico() = .
Analogamente, definimos x = (y) pelas equacoes

xj = yj = j (y), onde j = 1, . . . , n

xn = yn + (x1 , . . . , xn1 ) = n (y).

Figura 3.16: Aplainando a fronteira, com q = (p).

Temos
( )(y) = (y1 , . . . , yn1 , yn + (y1 , . . . , yn1 ))
= (y1 , . . . , yn1 , yn + (y1 , . . . , yn1 ) (y1 , . . . , yn1 )) = y.

Analogamente, ( )(x) = x. Donde segue = 1 . Notemos que
RRR R
RRR 1 0 RRRR
RR
0 0
RRR
RRR 0 0 RRRR
RR
1 0
R
det J = RRRR RRRR = 1.
RRR RRR

RRR 0 RRR
RRR 0 0 1 0 RRR
RRR 1 2 n1 1 RRRR
R
E entao claro que det J = 1. Dizemos que a aplicacao
x (x) = y
aplaina/nivela a fronteira . Sobre o grafico de temos n 0. Logo,
n = (1 , . . . , n1 , 1)
e ortogonal ao grafico de . Como o gradiente n aponta no sentido do

crescimento de n , segue que o normal exterior ao grafico de [e ] e
(, 1)
=
n
n
= .
1 + 2
44
Definicao (Propriedade do Segmento). Um aberto limitado tem a pro-

priedade do segmento se existe uma cobertura aberta V0 , V1 , . . . , VN do fecho
satisfazendo:
(a) V0 .
(b) Vj para cada j = 1, . . . , N .
(c) Para cada j = 1, . . . , N , existe um vetor v j Rn tal que
x + v j para todo x Vj e todo 0 < < 1.
Vide figura abaixo.
Figura 3.17: Um aberto com a propriedade do segmento.
Exerccio. Se e um aberto conexo e limitado, com fronteira de classe C 1 ,

entao tem a propriedade do segmento.
O teorema abaixo pode ser estendido a W k,p ().
Teorema. [Aproximacao global por funcoes suaves ate a fronteira - O

espaco C () e denso em W k,2 ()]. Sejam um aberto limitado que tem a
propriedade do segmento e k N. Entao, C () e denso em W k,2 ().
Prova. Extrada de Folland [7, pp. 221222]. Vide Adams [1, pp. 6770].
E evidente que C () - o espaco das funcoes reais definidas em e cujas

derivadas parciais, de toda ordem, se estendem continuamente a - e um
subespaco de W k,2 ().
45
Sejam V0 , V1 , . . . , VN dados pela propriedade do segmento. Existe uma co-
bertura O0 , O1 , . . . , ON de e satisfazendo Oj Vj (cheque). Existe uma
particao da unidade 0 , 1 , . . . , N para o compacto e subordinada a sub-
cobertura O0 , O1 , . . . , ON [cheque, vide Lista 2 - Exerccio 4].
Dada u W k,2 (), e trivial ver que j u W k,2 () (cheque, note que as
derivadas de j sao limitadas, vide Lista 4 - Exerccio 3). Entao, devido a
u = 0 u + 1 u + + N u,
basta mostrarmos que j u C () para j = 0, 1, . . . , N .
O caso 0 u e trivial pois supp(0 ) e compacto em O0 . Neste caso
(0 u) Cc () C () e (0 u) 0 u.
W k,2 ()
Cheque, vide Lista 3 - Exerccio 7.
O caso j = 1, . . . , N . Notemos que supp(j u), contido em supp(j ) ,

e um fechado relativo a . Trocando j u W k,2 () por u, encontramos
supp(u) supp(j ) para algum j = 1, . . . , N .
Estendamos u 0 fora de . Entao, supp(u) supp(u) supp(j ) .
Isto e, o suporte da extensao e um compacto dentro de Oj e dentro de .
Consideremos o compacto
S = Oj .
Figura 3.18: Ilustracao a S = Oj e tambem a S (disjunto de ).

c
E sabido que Rn = . E trivial ver que coincidem os abertos
Rn S = Rn (Oj ) = (Oj ) c .
c
46
Entao - vide Lista 4, Exerccio 7 (localizacao) - a funcao u e suas derivadas

c c
fracas de ordem menor ou igual a k estao bem definidas no aberto Oj
e pertencem ao espaco L2 ( Oj ) = L2 (Rn S). Isto e,
c c
u W k,2 (Rn S).
Seja 0 < 1. E claro que S = S + v j e compacto para cada 0 < 1.

Ainda mais, temos
S = ,
pois caso ocorra x + v j , com x S = Oj , entao x Vj e pela

propriedade do segmento deduzimos que x + v j
Em particular, Rn S .
Consideremos a funcao (u transladada)

u (x) = u(x v j ), com x no aberto Rn S = (S + v j )c ,

notando que para todo tal x temos x v S .
j
Assim, u W k,2 (Rn S ) pois u W k,2 (Rn S). Para pequeno, u e u

estao suportadas em Oj [pois supp(u) supp(j ), este compacto em Oj ].
E claro que ( u )(x) = ( u)(x v j ) se x Rn S , para todo k.
Fixemos um multi-ndice , com k. Logo,
u u dx = ( u)(x v ) ( u)(x) dx.

2 j 2
Definamos L2 (Rn ) por
= u em e = 0 em c .
Se x v j , e evidente que ( u)(x v j ) = (x v j ).

Seja x tal que x v j . Pelos destaques acima segue
x v j (Rn S) = Oj porem x v j .
c c
c c c c
Logo, x v j Oj . Por construcao, temos u 0 no aberto Oj .
Donde encontramos ( u)(x v j ) = 0 = (x v j ).
47
O teorema continuidade da translacao em Lp (secao 1.3) garante
( u)(xv )( u)(x) dx = (xv )(x) dx

j 2 j 2
(x v j ) (x) dx 0.
2 0
Rn
Assim, pela arbitrariedade do multi-ndice , para encerrar esta prova basta

verificarmos que a restricao
u W k,2 ()

e limite de funcoes em C ( ), na norma de W k,2 ().
Fixemos . Ja vimos que u W k,2 (Rn S ). Seja Cc (Rn ) tal que

= 1 em uma vizinhanca de ,

e

= 0 em uma vizinhanca de S .

Entao,
u W k,2 (Rn ) [cheque].
Ainda, u tem suporte compacto. Logo, (u ) Cc (Rn ) e
(u ) u [Vide Lista 3 - Exerccio 7].

W k,2 (Rn )
Donde segue que
[(u ) ] C ( ) e (u ) u
W k,2 ()
48
3.6 Teoremas de Imersao.
No que segue, nestas notas, e um aberto limitado.

Alerta. E bem natural (a princpio), dada u W k,p () cogitarmos de uma
extensao em W k,p (Rn ). Este argumento nao e valido em geral e requer propri-
edades de suavidade de . Vide (futura) secao 3.?? - Extensao e Interpolacao
ou Extension Operators em Brezis [3, p. 272].
Como e usual, C k () e o sub-espaco das funcoes em C k () cujas derivadas
parciais de ordem menor ou igual a k se estendem continuamente ao fecho .
Em varias aplicacoes em EDP e importante compreender o grau de regula-
ridade de uma funcao u W k,p (). Veremos, nesta e na proxima secao, dois
resultados basicos nesta direcao. Informalmente, seguem seus enunciados.
Desigualdades de Sobolev (ou Sobolev-Gagliardo-Nirenberg):

L np () se p < n,
np
W0 () esta imerso em
1,p

C () se p > n.
0
Teorema da Imersao de Morrey: as funcoes no espaco W 1,p () sao Holder

contnuas (apos modificarmos tais funcoes em um conjunto de medida zero).
Assim, esta e a proxima secao exploram a conexao entre
(1) propriedades pontuais e de integracao para u fracamente diferenciavel e
(2) propriedades de integrabilidade das derivadas de u.

Um dos simples resultados nesta direcao e que se u e fracamente diferenciavel,
em uma variavel real, entao u e absolutamente contnua. Assim, pelo teorema
fundamental do calculo (Lebesgue), u e derivavel q.t.p., com u integravel e
u (t)dt.
b
u(b) u(a) =
a
Ja vimos este resultado, com o nome teorema de caracterizacao das funcoes com
derivada fraca em L1 , em um comentario extra na secao 3-2 - derivadas fracas.
Temos entao o seguinte exemplo.
Exemplo. Seja um intervalo (a, b) R. Toda u W 1,p ((a, b)) coincide q.t.p. com
uma funcao f (a, b) R absolutamente contnua com derivada f Lp ((a, b)).
Em dimensoes n 2, tanta regularidade nao ocorre. Segue um exemplo.
49
Exemplo (Uma funcao em W 1,p (B(0, 1)), onde B(0, 1) Rn , mas nao
contnua e nao limitada, conforme os valores n e p). Consideremos
e 0 < x < 1.
1 np
x
u(x) =
, onde 0 < <
p
Verificacao.
Seja B = B(0, 1). E obvio que u C 1 (B {0}). E trivial ver que
(x2 ) 2 1 (2xj ) = +2 .
xj
x
j u(x) =
2
Figura 3.19: O grafico de u(x) = x .
Logo,
u =

x+1
.
Em B {0}, u admite derivadas fracas de todas as ordens e estas coincidem

com as classicas. Respondamos a particular pergunta abaixo.
Pergunta. Em quais casos as derivadas classicas j u definem as derivadas
fracas de u em toda a bola B? Isto e, em quais casos vale a formula
B (j u) dx = B u j dx, para toda Cc (B)?

1
Assim, devemos analisar para toda Cc1 (B) e nao so para Cc1 (B{0}).
50
Destaquemos
u L1 (B), se < n e j u L1 (B) se + 1 < n.
A seguir, seja Cc1 (B). Dado > 0 o teorema do divergente assegura
<x<1 j (u)dx = x= u(x)(x)j (x)dS,
onde dS e a medida (n 1)-dimensional na superfcie da bola B(0, ) e
j (x) =
xj
x
e tal que = (1 , . . . , n ) e o vetor normal (definido exterior a faixa circular

{x < x < 1} em {x x = }) apontando para o interior da bola B(0, ).
Sob a condicao n 1 > obtemos
x= u(x)(x)j (x)dS L (S ) 0.
n1 n1 0
Assim, para n 1 > encontramos j (u) = uj + j u L1 (B) com
B j (u)dx = 0 e entao B uj dx = x+2 (x) dx.

xj
Logo,
x
j u = x+2
j
e a derivada fraca de u na bola B(0, 1).
Ainda, observemos que

p
B ( x+1 ) dx = (S ) 0 r
1 1
n1 n1p(+1)
dr <
se e somente se
np
n 1 p( + 1) > 1 ou, equivalentmente, < .
p
Segue entao que (cheque)
u W 1,p (B) se 0 < <

np

p
51
Antes de provarmos as desigualdades de Sobolev-Gagliardo-Nirenberg, facamos
mais algumas observacoes.
(1) As desigualdades de Sobolev em W0k,p () valem em todo aberto . Valem

desigualdades analogas em W k,p (), se a fronteira de e regular (suave) o sufi-
ciente. Vide Evans [6, pp. 253305] e Gilbard-Trudinger [10, p. 171].
No espaco W 1,p (Rn ) as desigualdades de Sobolev sao menos arduas para pro-
var que no espaco W 1,p ().
(2) O conjugado de Sobolev p para um expoente p [1, n). As desigualda-

des de Sobolev envolvem estimativas entre funcoes, suas derivadas e espacos Lp s .
Fixado o expoente p, determinemos condicoes necessarias sobre q para a validade
da desigualdade (com C uma constante)
f q Cf p , para toda f Cc (Rn ).
Para tal tarefa, sigamos os fsicos e fsicas e utilizemos um reescalonamento

(um argumento comum entre elas e eles). Dada f 0, consideremos
f (x) = f (x), com > 0 uma constante.
Segue
1 1
( f (x) dx) C ( f dx) .

q p
q p
Temos (f )(x) = (f )(x). Encontramos entao
f (y)q dy q p f (y)p dy p
1 1
( ) C ( ) .
n n
Donde segue
f q C (1+ q p ) f p , para todo > 0.

n n
Ora, isto so e possvel se

n n
= 0.
1+
q p
Tal valor para q e denotado p , o conjugado de Sobolev para p. Isto e,
1 np
p = p1 n1 ou, ainda, p = np .
Notemos que p varia segundo as relacoes
1 p < p < +
52
(3) A desigualdade de Holder generalizada para N funcoes nao negativas mostra

1 1
g1 gN dm ( g1 dm) . . . ( gN dm) [vide secao 1.4].

1 1 N N
N N
Sejam f1 0, . . . , fn 0 funcoes na variavel x = (x1 , . . . , xn ) Rn . Mostremos
F (x) = ( fj dxj ) n1 F dx ( fj dx) n1 .

1 1
j j
De fato, pela desigualdade de Holder generalizada (para n1 funcoes) segue [note

que a integral f1 (x1 , x2 , . . . , xn )dx1 independe de x1 , vide figura]
1 1
F dx1 ( f1 dx1 ) ( fj dxj dx1 )

n1 n1
j2
Figura 3.20: O caso n = 3. A integral f1 (s, x2 , x3 )ds independe de x2 e de x3 .

Analogamente quanto as demais variaveis.
Reaplicando tal desigualdade de Holder (com n 1 funcoes) obtemos
1 1 1
F dx1 dx2 ( f2 dx2 dx1 ) ( f1 dx1 dx2 ) ( fj dxj dx1 dx2 )

n1 n1 n1
.
j3
Vemos entao que

1 1
F dx1 dx2 dx3 ( f3 dx3 dx2 dx1 ) ( f2 dx2 dx1 dx3 )

n1 n1

1 1
( f1 dx1 dx2 dx3 ) ( fj dxj dx1 dx2 dx3 )

n1 n1
.
j4
Iterando segue (por inducao informal)

1
F dx1 dx2 dx3 dxn ( fj dx1 dx2 dx3 dxn )

n1

j
Para formalizar a inducao, cheque por inducao em k a formula

1 1
F dx1 dxk ( fj dx1 dxk ) ( fj dxj dx1 dxk )

k n1 n1
.
j=1 jk
53
(4) Media geometrica X Media aritmetica. Para positivos a1 . . . , an segue
a1 + + an
n
a1 an .
n
Cheque, dada uma constante c > 0 maximize o produto
(x1 , . . . , xn ) = x1 xn
sob as condicoes x1 + + xn = c, x1 0, . . . xn 0 via multiplicadores de Lagrange.

(5) Pela desigualdade de Cauchy-Schwartz (para o produto interno) em Rn segue

a1 + + an a21 + + a2n n.
(6) Fixado > 1, a funcao
= (t) = t , onde t R,
e (cheque) de classe C 1 e satisfaz

t
se t 0
(t) = t sgn(t), onde sgn(t) = t

1

0 se t = 0.
Figura 3.21: A esquerda, graficos de monomials reais y = xn com n = 1, 2, 3, 4 e 5.

A direita, grafico em R2 R da funcao x x onde > 1, com um cone dentro.
54
Teorema (Desigualdades de Sobolev-Gagliardo-Nirenberg). Sejam p 1,

onde p e finito, e p = np/(n p) o conjugado de Sobolev de p. Entao,

Lp () se p < n

W01,p ()

C () se p > n.
0
Isto e, se p > n, toda u W01,p () tem uma (unica) representante contnua em .

Ainda, existe uma constante C = C(n, p) tal que para toda u W01,p () temos

up Cup

se p < n

sup u C n p up se p > n.
1 1

Em particular, a unica funcao constante em W01,p () e a funcao nula.
Prova.
Caso p = 1. Seja f Cc1 (), denso em W01,1 (). Dado 1 j n seguem
f (x) = j f dxj j f dxj e

xj
f (x) ( j f dxj )
n n1
n
n1 .
j=1
Donde segue, pelo comentarios previos (desigualdade de Holder generali-

zada, medias geometrica e aritmetica e desigualdade de Cauchy-Schwartz)
1
n (
f n1 j f dx) j f dx f dx
n n
1 1
n
j=1 n
f 1 .
1
n
Argumento de densidade (argumento padrao) . Dada u W01,1 (), existe uma
sequencia (fj ) Cc1 () tal que
fj u.
W 1,1 ()
Podemos supor fj u q.t.p. (cheque). A desigualdade acima permite

destacarmos a desigualdade
fj 1 1 fj 1 ,
n
onde 1 = n1
n
.
55
Portanto (fj ) e de Cauchy em L1 () e existe U tal que

fj U .
L1 ()
Existe uma subsequencia fjk U q.t.p. Logo,
u = U L1 ().

Impondo j na desigualdade ja destacada acima segue
u1 u1 .
1
n
Caso 1 < p < n. Sejam f Cc1 () [espaco denso em W01,p ()] e > 1. No
comentario previo (6) introduzimos
(t) = t C 1 (R).
Segue
f = (f ) Cc1 () e (f ) = (f )f f 1 f .
Encontramos entao, pelo caso ja mostrado e a desigualdade de Holder,
f f 1 f dx e

n
n1 n
f n f 1 f p .

n p
n1
Seja p = p/(p 1) o conjugado de p. Para p < n escolhamos tal que

( 1)p (n 1)p
= ( 1)p =
n n np
; i.e., = >1 e = = p .
n1 p1 np n1 np
Segue
p ( n1 ) p ( p1
)
f f f p
n p
p n p
e entao (cheque)
p ( p1 n )
f = f p f p .
1

p n
Por um argumento padrao de densidade (vide caso p = 1) obtemos (cheque)
up up , para toda u W01,p ().

n
56
Caso p > n. O sub-caso = e trivial. Suponhamos < . Sejam

f Cc1 () [espaco denso em W01,p ()], com f nao nula, e > 1. Definamos

n f
f p
F= .
Sub-caso = 1. Consideremos os expoentes conjugados

n p
n = e p = .
n1 p1
A desigualdade em norma e ja provada (e destacada) para f mostra

F n = f n f p f p .
n2 n2 1
f p f p n
Logo,
F n F 1 p .
Donde segue
F n = F n F 1 p = F p(1) .
1 1 1 1 1
No captulo 1 - secao 1.4 - desigualdades e interpolacoes basicas - vimos que

sob as hipoteses r < s e = 1, vale r s .
Conclumos entao que
F n F p
1 1 1
.
Notemos que p > n implica p < n . Substituamos

n
= k , para k = 1, 2, . . . , onde = > 1.
p
Encontramos entao (a identidade p k = n k1 e utilizada)
F n k k F p k = k F n k1 .
k 1 k k 1 k
Iterando encontramos
F n k k F n
k +(k1) (k1) ++1 1 (1 k )(1 (k1) )(1 1 )
.
A esquerda temos F k F n k . A direita, pelo caso p = 1 e n = 1 segue

F n = f n = f 1 f 1 1.
n n n 1
f p f p f p n
Vale entao a desigualdade (a soma infinita j j converge, cheque)
F k c = j < .
j
57
O teorema A funcao convexa p f pp (captulo 1 - secao 1.4) garante a
convergencia
F k F .
k
Donde segue sup(F ) c e destacamos a desigualdade
sup f c f p .
n

Por um argumento de densidade chegamos a (cheque)
ess sup(u) = uL () up , para toda u W01,p ().

c
n
Ainda, dada u W01,p () existe (fj ) Cc1 () tal que fj u em W 1,p () e
fj u. Utilizemos a desigualdde destacada imediatamente acima. No
q.t.p.
conjunto , a sequencia (fj ) e de Cauchy na norma do sup e converge

R. E trivial ver que
uniformemente a uma funcao contnua u
q.t.p. em .
u=u
Logo, W01,p () C 0 ().

Sub-caso geral. Introduzamos a mudanca x = T (y) = n y = ( n In )y,
1 1
com In o operador identidade de ordem n. Segue
T 1 () = det T 1 = 1.
Dada f Cc1 () temos o produto matricial (f T ) = (f )(T ) T e entao
sup f = sup f T
T 1 ()
c p
1
(f )(T y) T dy
p
n 1
T ()
c p
1
1
= (f )(T y) dy
n
p
n 1
T ()
c n p
1
1
= (f )p
1
n
dx

c
1 1

f p .
n p
=
n
Por densidade, tal desigualdade vale em W01,p () C 0 (). Cheque
58
Corolario. Valem as imersoes contnuas

nkp ()

np

L se kp < n
W0 ()
k,p

C ()
se 0 m < k np [= p ].
m kpn
[O numero k (n/p) e chamado suavidade lquida de u W0k,p ().]

Prova.
A primeira inclusao. O caso k = 1 segue do teorema. Supondo a in-

clusao contnua valida se kp < n, provemos para (k + 1)p < n. Dada
u W0k+1,p () segue {u, 1 u, . . . , n u} W0k,p (). Por hipotese de inducao
temos W0k,p () L nkp (). O caso k = 1 garante
np
np
n
() L () = L () = L n(k+1)p ().
nkp
np
1, nkp ( nkp
np
) np np
uW n
nkp
O caso k = 1 e a hipotese de inducao garantem
u n(k+1)p
np = u( np
)
C1 u nkp
np C C u
1 2 W k,p () C1 C2 uW k+1,p () .
nkp 0 0
A segunda inclusao. Sejam m = 0 e k qualquer. E evidente a inclusao

W0k,p () W01,p (). Entao, com o teorema obtemos
W0k,p () W01,p () C 0 ().
As inclusoes desejadas valem se k = 1, pois entao temos m = 0 e p > n.

Supondo a afirmacao valida para k provemo-la para k + 1. Consideremos
f Cck+1 () W0k+1,p () e 1 m < k + 1

n
p
[para m = 0 use a afirmacao para k]. Seguem, com a hipotese de inducao,
e { f 1} W0k,p () C m1 ().
n
0m1<k
p
Portanto existe C1 > 0 tal que
max sup f C1 (f W k,p () + f W k,p () ) .

1,m1 0 0
Logo, existe C2 > 0 tal que
f C m () = max sup f C2 f W k+1,p () .

m 0
(Exerccio.) Finalize com um argumento de densidade [vide prova do teorema].
59
3.7 Estimativas para o Potencial e Teoremas de
Imersao.
Seja um aberto limitado. Aperfeicoemos os resultados de imersao, via

estimativas para o potencial, e provemos o teorema de imersao de Morrey.
Dado (0, 1], definimos o operador V atuando em L1 () - o lema a seguir
garante tal fato - pelo potencial de Riesz
V (f )(x) = x yn(1) f (y)dy, onde x .

[Ja vimos no captulo 1 que z z pertence a L1 (B(0, 1)) se e so se > n.

Se = Rn , entao V e operador de convolucao de nucleo K(z) = zn(1) .]
Inicialmente, verifiquemos que para a funcao f 1 temos
(3.7.1) V 1 = xyn(1) dy 1 n1 [n o volume de B(0, 1)].

Obviamente podemos supor < . Existe um unico r > 0 tal que B(x, r) = .
Figura 3.22: O aberto e B(x, r), com = B(x, r).

Segue
y x dy = y xn(1) dy + y xn(1) dy
n(1)
B(x,r) B(x,r)

+ rn(1) dy
B(x,r)
=
+ rn(1) dy
B(x,r)

+ y xn(1) dy
B(x,r)
= y xn(1) dy
B(x,r)
(S n1 )
r rn
= S n1
n(1) n1
d d =
0 n
= (r n ) n1 1
n
= 1 n1 B(0, r)
60
Dado p [1, ) e um coeficiente (0, 1], consideremos valores q 1 tais que

1 1
0 = (p, q) = < .
p q
Destaquemos que

[p, 1 1 ) se 0 < < p1

q
p

[p, +] se p 1.
1
Figura 3.23: Distribuicao dos expoentes p e q e seus inversos, no caso < p1 .
Lema (O operador V , potencial de Riesz). Sejam p, , q e como acima.

Entao,
V Lp () Lq () [V (f )(x) = x yn(1) f (y)dy] ,

e linear contnua e satisfaz

1 1 1
V f q ( ) n f p .

[Em particular, se p = q temos = 0 e V Lp () Lp () operador contnuo.]
Prova.
Seja r 1 definido por
[com 1 r( 1) + 1 > r ( 1) + 1 = 0] .
1 1 1 1 1
= 1+ = 1
r q p p q
Fixado x e abusando da notacao, a funcao Kx (y) = x yn(1) satisfaz
(vide desigualdade 3.7.1 seguinte a definicao do potencial do Riesz)
Kx rr = x ynr(1) dy

{[r(1)+1]1}
= x yn dy
= V[r(1)+1] (1)
[r(1)+1] .
1 1[r(1)+1]
n
r( 1) + 1
61
Donde segue
1
Kx r ( ) n1 1+ r
1 r
1
r( 1) + 1
1 1 1
=( ) n .

Entao, M = sup{Kx r x } e menor ou igual a ultima quantidade acima.
A seguir, adaptamos a prova da desigualdade de Young generalizada para

convolucoes sobre todo o Rn (captulo 2 - secao 2.2 - produto de convolucao).
Abusando da notacao, indiquemos Kx = K. Escrevamos (cheque)
Kf = K q K r(1 p ) f q f p = (K r f p ) q K r(1 p ) f p .
r 1 p 1 1
Se = 0, podemos eliminar o termo f p . Notemos que
[se > 0].

1 1 1 1 1
+1 + = 1 = + 1 + 1
q p q 1 1
p
Entao, pela desigualdade de Holder generalizada encontramos
V f (x) = K(x y)f (y)dy

q
1
1 p1
K (x y)f (y) dy
r p
K (x y)dy
r
f (y) dy .
p

Segue, gracas a definicao de M e ao teorema de Fubini,
V f (x) dx M
rq(1 p )
f p f (y)p K r (x y) dx dy
q
1 pq
M rq(1 p ) f p M r f pp .
1 pq
Encontramos entao (se 0, notando que o caso = 0 segue junto)
V f q M r(1 p + q ) f p
1 1 p(+ 1q )
= M f p
1 1 1
( ) n f p

62
Seguem dois lemas que conectam derivadas fracas e potenciais de Riesz.
Seja v w o produto interno entre os vetores v e w, ambos em Rn .
Lema (Representacao via Potencial de Riesz). Seja u W01,1 (). Entao,
1 (x y) u(y)
u(x) =
nn x yn
dy q.t.p. em .

Prova.
Notemos que (x y) u(y) = (xj yj )j u(y).
Seja f Cc1 () e estendamos f 0 em c . Dada a direcao S n1 temos
f (x) = {f (x + r)}dr.
d
0 dr
Figura 3.24: O ponto x e uma direcao .
A seguir integramos tal identidade em S n1 , utilizamos (S n1 ) = nn [vide

teorema de mudanca de variavel em coordenadas polares no captulo 1] e na
passsagem final substitumos x + r = y e novamente aplicamos o teorema
de mudanca de variavel em coordenadas polares .
Ainda mais, objetivando claridade utilizamos a notacao de Einstein e
suprimimos o smbolo de somatorio que e entao subentendido. Obtemos
f (x)nn = S n1 f (x + r) d()dr

S n1 j j f (x + r)d()dr

=
0
rj j f (x + r) n1
= S n1 r d()dr
0 rn
(xj yj )j f (y)
=
x yn
dy.
Rn
O caso para funcoes em Cc1 () esta entao provado.
63
Sejam u W01,1 () e uma sequencia (fj ) Cc1 () tal que
W01,1 ()
fj u.
O teorema convergencia em Lp e convergencia pontual (captulo 1 - secao

1.3) permite supor
fj u q.t.p.
O lema O operador V , com p = q = 1 e = 1/n, mostra a continuidade de
V 1 L1 () L1 ().
n
Para cada x em temos

RRR R
RRR (x y) u(y)dy RRRR
RRRRfj (x) nn RRR
1
RR x RRR
R
yn

R R
1 RRRR (x y) fj (y)dy (x y) u(y)dy RRRR
R
R RRR
nn RRRR

x yn x yn RRR
=
R R
x yn+1 fj u(y)dy
1

nn

x yn( n 1) fj u(y)dy
1

1
=
nn

V 1 fj u(x).
1

nn n
Como fj u 0 em L1 () segue que
V 1 (fj u) 0.
L1 ()
n
Passando a uma subsequencia, se necessario, podemos supor
V 1 (fj u) 0 q.t.p. em .
n
Ja comentamos que fj u q.t.p. Por fim, conclumos
(x y) u(y)dy
u(x) =
x yn
q.t.p. em

64
O lema a seguir sera utilizado na prova do teorema da imersao de Morrey.
Lema (ao primeiro teorema da imersao de Morrey). Sejam convexo (e

limitado) e u W 1,1 (). Entao,
u(x) uS x y1n u(y)dy q.t.p. em ,

dn
nS

onde S e um subconjunto mensuravel de e, ainda,
u(y)dy [a media de u em S] e d = diam().
1
S
uS =
S
Prova.
Dado x , temos B(x, d).
Pelo teorema de Meyers-Serrin, C ()W 1,1 () e denso em W 1,1 (). Seja

f C (). Dados x e y, ambos em , e trivial ver que (cheque)
xy
f (x) f (y) = {f (x + r)}dr, onde =
d yx
y x
.
0 dr
Figura 3.25: Dois pontos, x e y, em um convexo .

Notemos que = (x, y). Fixemos x. Integrando em y e sobre S achamos
xy
S [f (x) fS ] = f (x + r) dr dy.
S 0
Dado r 0, o ponto x+r esta na reta contendo x e de direcao . Definamos
f = 0 fora de .
As coordenadas de f estao entao estendidas ao Rn e sao mensuraveis.
A desigualdade triangular para integrais, a observacao B(x, d), o teo-
rema de Tonelli e uma troca de variavel com coordenadas polares, mostram
xy
S f (x) fS f (x + r) dr dy
S 0
65

f (x + r) dy dr
0 B(x,d)

f (x + r ) dy dr
yx yx
= y x y x
0 B(x,d)
d
= f (x + r ) d d dr
n1

0 S n1 0
d
= f (x + r) n1 d d dr
0 S n1 0

f (x + r) d dr
dn
n
=
0 S
n1
f (x + r) n1 rn1 dr d
dn
=
n n1 r
S 0
f (y) dy
dn xy
=
n x yn

x y1n f (y) dy
dn
n

Sejam u W 1,1 () e (fj ) C () tal que fj u. O teorema

W 1,1 ()
convergencia em Lp e convergencia pontual permite supor fj u q.t.p.

O lema o potencial V , com p = q = 1 e = 1/n, mostra a continuidade de
V 1 L1 () L1 ().
n
Pelo que provamos ate aqui temos
fj (x) (fj )S dn
nS (V 1 fj ) (x) q.t.p.
n
Em L1 (), como fj u entao fj u e V1/n fj V1/n u.

Passando a uma subsequencia, se preciso, podemos supor
V 1 fj V 1 u q.t.p.
n n
Como fj u em L1 (), entao (fj )S uS . Os destaques dados mostram
u(x) uS x y1n u(y)dy q.t.p. em

dn
nS

66
Definicao (Espacos de Holder). Sejam k N e um expoente (de Holder)

(0, 1]. Seja C k () o espaco das funcoes f R cujas derivadas ate ordem
k sao contnuas e com extensoes contnuas a . O espaco de Holder C k, () e
o subespaco normado das funcoes f em C k () cujas derivadas ate ordem k sao
limitadas e cujas derivadas de ordem k sao Holder-contnuas com expoente .
Ainda, a norma e
f (x) f (y)
f C k, () = max sup f + max sup
x y
.
k =k xy
Seja k = 0. O espaco C 0, () e normado e completo, com norma (cheque)
f = sup f + sup f (x)f (y)

C 0, () xy .
xy
Definicao. Dada f X R, a oscilacao de f em X e
osc(f ) = osc(f, X) = sup f (x) f (y) = diam[f (X)].

x,y
Teorema [Imersao de Morrey para W01,p ()]. Seja u W01,p (), onde p > n.
Entao,
u C 0, () , com = 1 .
n
p
Ainda, para cada bola B = Br de raio r vale a desigualdade
osc(u, Br ) cr up , onde c = c(n, p).
Ainda mais,
W01,p () C 0, () .
Prova. [Como ja convencionado, e limitado.]
Figura 3.26: A interseccao B, com B uma bola.

As desigualdades de Sobolev-Gagliardo-Nirenberg garantem
u C 0 ().
67
Como < , entao Lp () L1 () e u W01,p () W 1,p () W 1,1 ().
Seja f Cc1 () [espaco denso em W01,p ()], imersa em Cc1 (Rn ).
Entao, F = f B W 1,1 (B). Pelo lema a este teorema (B e convexa), segue
(2r)n
F (x) FB x y1n F (y)dy para todo x B.
nrn n
B
Utilizemos o lema O potencial V , com
[p > n].
1 1 1
q = , = e = 0<
n p n
Segue
(2r)n 1 p
1 1 p1
F (x) FB n (rn n ) n p F p
1
1 n 1 1
nr n n1 p1
n
= c(n, p)r F p .
Dados quaisquer x B e y B, com a desigualdade triangular encontramos
F (x) F (y) 2cr F p , onde c = c(n, p).
Segue osc(F, B) 2cr F p .

E trivial ver que
osc(f, B) osc(F, B) e F p = f Lp (B) .
Logo, podemos destacar
osc(f, B) 2cr f Lp (B) .
Sejam x e y , com x y. Seja B = B(x, r) com r > y x.
Figura 3.27: Os pontos distintos x e y, ambos em e com y B(x, r).
68
Ja vimos
f (x) f (y) 2cr f p .
Impondo r y x encontramos e destacamos
f (x) f (y) 2cy x f p .
Seja (fj ) Cc1 () tal que fj u na topologia do espaco W 1,p (). Logo,
fj p up .
Pelo teorema convergencia em Lp e convergencia pontual, podemos supor

fj u q.t.p. em . Utilizando as duas desigualdades destacadas para f e
tambem que u C(), encontramos as desigualdades (cheque)

osc(u, Br ) 2cr up

e

u(x) u(y) 2cy x up se x e y .

Porem, u C() e esta ultima desigualdade tambem vale em . Segue
u(x) u(y)
x y
sup 2cup .
x,y
xy
Logo, u C 0, ().
A continuidade da inclusao. Pela definicao da norma em C 0, (), as desigual-

dades de Sobolev-Gagliardo-Nirenberg (caso p > n) e a ultima desigualdade
mostrada acima obtemos
u(x) u(y)
uC 0, () = sup u + sup
x,y x y
xy
c1 up + 2cup
69
As desigualdades de Sobolev-Gagliardo-Nirenberg nao sao necessarias para
obter muitas das estimativas a priori. Em varias situacoes bastam as (famosas)
desigualdades de Poincare a seguir.
Corolario (Desigualdades de Poincare). Seja 1 p < . Vale o que segue.
(a) Se u W01,p (), entao

n
1
up ( ) up .
n
(b) Suponhamos convexo. Se u W 1,p (), entao
1
1 n
u u p dn ( ) up , onde d = diam().
n

Prova. [Como ja convencionado, e limitado.]
Empreguemos o lema o potencial de Riesz V com

1 1 1
= , q = p e = = 0.
n p q
Por hipotese, < . Logo, W01,p () W01,1 () e W 1,p () W 1,1 ().
(a) O lema representacao via potencial de Riesz revela
u V 1 u.
1
nn n
Pelo lema o potencial de Riesz V encontramos
n
1
up nn n n up = ( ) up .
1 1 1 1
nn n
(b) O lema ao teorema da imersao de Morrey revela
u u V 1 u.
dn
n n
Pelo lema o potencial de Riesz V encontramos
u u p nn n n up
dn 1 1 1
70
3.8 Estimativas de Morrey e John-Nirenberg.
Por enquanto vamos apenas comentar sobre tais estimativas. Voltaremos a

elas quando apropriado (se for o caso). Para provar tais estimativas consideramos
o potencial de Riesz V em uma diferente classe de espacos (nao mais de tipo Lp ).
Definicao. Seja p [1, ]. Seja BR uma bola arbitraria de raio R arbitrario.

Introduzimos

existe uma constante K tal que temos
f L ()

1
M () = .
f dx KR para toda BR
p

n(1 p1 )

BR

Dada f M p (), a sua norma e dada por

f M p () = inf K f dx KR n(1 p1 )
para toda BR .

BR
Propriedades Basicas. Com as notacoes acima, temos
Lp () M p ().
L1 () = M 1 ().
L () = M ().
Prova. Exerccio
Ao inves de considerarmos em detalhes o operador V em um arbitrario

M p (), nos limitaremos ao caso p 1 .
Lema (ao segundo teorema da imersao de Morrey). Sejam f M p () e

1
= < .
p
Entao segue
V f (x) [diam()]n() f M p () q.t.p. em .

1

Prova. Vide Gilbard & Trudinger [10, p. 165]
71
Teorema (Imersao de Morrey para W 1,1 ()). Seja u W 1,1 (). Seja BR
uma bola arbitraria de raio R arbitrario.
Suponhamos que existem constantes positivas K e 1 tais que temos
u dx KR
n1+
para toda BR .
Rn
Sob tais condicoes seguem que u C 0, () e para toda BR temos
osc(u, BR ) CKR ,
onde C = C(n, ).
Suponhamos
= O Rn+ = {x = (x1 , . . . , xn ) O xn > 0}
para algum domnio (aberto conexo) O Rn e que para tal aberto O temos
u dx KR
n1+
para toda BR O.
Rn
Neste caso obtemos

u C 0, ( O)

e

osc(u, BR ) CKR para toda BR O,

onde C = C(n, ).
Prova.
Combine o lema ao segundo teorema da imersao de Morrey imediata-

mente acima com o lema ao primeiro teorema da imersao de Morrey
72
Como mais uma consequencia do lema ao segundo teorema da imersao de

Morrey encontramos o resultado abaixo.
Lema (ao teorema de John-Nirenberg). Seja f M p (), com p > 1, e
g = V 1 f.
p
Entao, existe constantes c1 e c2 , dependentes somente de n e p, tais que temos
g
exp ( c K ) dx c2 [diam()] , onde K = f M p () .
n
1

Prova. Vide Gilbard & Trudinger [10, p. 166]
Teorema da Imersao (John-Nirenberg). Sejam convexo e u W 1,1 ().

Seja BR uma bola arbitraria de raio R arbitrario. Suponhamos que exista uma
constante K satisfazendo
u dx KRn1 para toda BR .

BR
Entao, existem constantes positivas 0 e C, dependentes somente de n, tais que
exp ( K u u ) dx C[diam()] ,
n
onde
0
[diam()]n
= .
Prova.
Combine o lema ao segundo teorema da imersao de Morrey com o lema

ao teorema (da imersao) de John-Nirenberg imediatamente acima
73
3.9 Resultados de Compacidade.
Definicao. Sejam X1 e X2 dois espacos normados e T X1 X2 linear contnua.

Dizemos que T e compacta se para todo subconjunto limitado A X1 temos
que T (A) e relativamente compacto em X2 [isto e, T (A) e compacto em X2 ].
Equivalentemente (cheque),
T e compacto se T (B(0, 1)) e compacto em X2 .
Definicao. Sejam X um espaco normado e A X. O conjunto A e totalmente

limitado se para todo > 0 existe uma quantidade finita de pontos a1 , . . . , an ,
todos em A, tais que
A B(a1 , ) B(an , ).
Lema (Relativamente compactos e totalmente limitados). Sejam X um

espaco de Banach e A X. Entao, A e relativamente compacto se e somente se
A e totalmente limitado.
Prova. Vide, caso queira, Royden & Fitzpatrick [12, p. 199].
() Seja > 0. E trivial ver que
A B(a, ).
aA
Como A e compacto, existem a1 A, . . . , aN A (quantidade finita) tais que
A A B(a1 , ) B(aN , ).
() Pela bem conhecida Propriedade de Bolzano-Weierstrass, basta mos-

trar que toda sequencia em A tem uma subsequencia convergente em A.
Como A e fechado no completo X, segue que A e completo. Logo, basta
mostrar que toda sequencia em A tem uma subsequencia de Cauchy.
Seja entao (j ) uma sequencia em A. Observemos que A e totalmente
limitado (pois A e totalmente limitado). Entao, dado = 1 existe uma
subsequencia (j1 ), de (j ), contida em uma bola de raio 1. Por inducao,
existe uma subsequencia (jk ), de (jk1 ), contida em uma bola de raio 1/k.
Pelo metodo da diagonalizacao de Cantor, (jj ) e de Cauchy
74
Definicoes. Sejam Y um subconjunto de um espaco normado X e o espaco

vetorial real C(Y ) = C(Y, R) = {f Y R, tal que f e contnua}. Seja F C(Y ).
A colecao F e equicontnua se para todo > 0 existe > 0 tal que
y1 y2 < f (y1 )f (y2 ) < , para toda f F [y1 Y e y2 Y ].
F e pontualmente limitada se {f (y) f F} e limitado, para cada y Y .
Teorema (Ascoli-Arzela). Sejam K um espaco metrico compacto e o espaco

de Banach C(K) = {f K R, tal que f e contnua} munido da norma do sup.
Consideremos uma colecao F C(K). Entao

F e pontualmente limitada

F e relativamente compacta e

F e equicontnua.
Prova. Seja f = sup{f (x) x K} a norma em C(K).
() (A implicacao trivial.) Como F e compacto no espaco de Banach C(K),

pelo lema a este teorema segue que F e totalmente limitada.
Seja > 0. Existem entao f1 C(K), . . . , fN C(K) tais que
F B(f1 , ) B(fN , ).
Logo, dada uma arbitraria f F temos
f + max fj .
1jN
Portanto, a colecao F e uniformemente limitada.

Ainda, cada f1 , . . . , fN e uniformemente contnua. Logo, existe > 0 tal que
x x < fj (x) fj (x ) < , para todos x K, x K e j = 1, . . . , N.
Sejam entao x K e x K tais que x x < . Seja f arbitraria em F.

Podemos supor, sem perda de generalidade, que f B(f1 , ). Segue
f (x) f (x ) f (x) f1 (x) + f1 (x) f1 (x ) + f1 (x ) f (x ) + + .
() (A implicacao susbstancial.) Vide Folland [8, p. 137]
75
Seja 1 p < n. Sejam p o conjugado de Sobolev de p e 1 q < p . Isto e,
[note-se p < p ].
1 1 1 np
= = e 1 q < p
p p n np
Pelas desigualdades de Sobolev-Gagliardo-Nirenberg sabemos que
W01,p () Lp ().

Tambem sabemos Lp () Lq (), pois e limitado (v. captulo 1 - secao 1.4).

Logo, o seguinte diagrama de inclusoes contnuas e comutativo
W01,p () // Lq ()

99
rr
rr
rr
rr
rr
Lp ()

Teorema (Teorema de Compacidade de Rellich-Kondrachov). Seja

um aberto limitado e um expoente p 1.
(a) Suponhamos p < n. Seja q 1 tal que
[i.e., 1 q < p = ].
1 1 1 np
>
q p n np
Entao, a inclusao
W01,p () Lq () e compacta.
(b) Suponhamos p > n. Entao, a inclusao
W01,p () C 0 () e compacta.
Prova.
Consideremos o disco unitario D = D(0, 1) W01,p () e a usual funcao

curva do sino (suportada no disco unitario de Rn ).
(a) O caso q = 1. Seja A = Cc1 () D(0, 1). Pela desigualdade de Holder temos
Lp () L1 () e 1 p p com p o conjugado (usual) de p.

1
Fixado > 0, definimos
A = {f f A}, onde f e uma regularizacao de f.
Vejamos que A e relativamente compacto em L1 (). Notemos A C().
76
Como A e limitado em W01,p (), entao A e limitado em Lp () e em L1 ().

Dada f A, temos
f (x) (y)f (x y)dy n f 1 .

y1
Logo, o conjunto A e limitado (uniformemente, e redundante) em C 0 ()

[Vide a distincao conceitual entre a regularizacao f e o regularizador .]
Para o regularizador , e trivial que vale a regra j ( ) = 1 (j ) . Segue
j (f ) = j ( f ) = [j ( )] f = 1 (j ) f e
j f (x) 1 j (y) f (x y)dy n1 j f 1 .

y1
Logo, o conjunto j (A ) e limitado em C 0 () e pelo teorema do valor medio

vemos que A e subconjunto equicontnuo de C 0 (). O teorema de Ascoli-
Arzela mostra que A e relativamente compacto em C 0 (). A aplicacao
C 0 () L1 () definida por g g ,
e contnua e portanto A e relativamente compacto em L1 () [cheque].

A seguir, dada f A estimamos
f (x) f (x) (y)f (x) f (x y)dy

y1
RRR RRR
RRR R
= (y) RR [f (x ty)] dtRRRR dy
d
RR dt RR
y1 RR 0 RR
y
(y) f (x s y ) y y ds dy
s = ty y 1

y1 0
(y) f (x s) ds dy
y
= y
=
y1 0
(y) f (x s) ds dy.
y1 0
77
Entao, integrando em x encontramos
y
f (x)f (x) dx (y) f (x s) ds dy dx

y1 0
= (y) f (x s) dx ds dy
y1 0
(y) f 1 ds dy
y1 0
(y)f 1 (y)dy
y1
f 1 (y) dy
y1
= f 1 .
f p p
1
1
p .
Logo, os conjuntos A e A , considerados no espaco L1 (), estao proximos.
Pelo lema relativamente compactos e totalmente limitados segue que A e
totalmente limitado. Segue entao que A e totalmente limitado em L1 ()
[cheque] e portanto, pelo mesmo lema, conclumos que A e relativamente
compacto em L1 ().
Demonstramos que a inclusao W01,p () L1 () e tal que o conjunto
A = Cc1 () D(0, 1), onde D(0, 1) e o disco unitario em W01,p (), satisfaz
(A) e compacto em L1 ().
Considerada a topologia de W01,p (), e trivial ver que (cheque)

A = D(0, 1)

( A ) (A).

Donde segue que (D(0, 1)) e relativamente compacto (cheque). Logo,
W01,p () L1 () e uma imersao compacta.
O caso q = 1 esta entao provado.
78
O caso 1 < q < p . Entao, temos
= + (1 ) ( ) , para algum [0, 1].

np 1 1 1 1
1<q< e
np q 1 p n
Vimos na secao 1.4 (desigualdades e interpolacoes), a desigualdade
f q f 1 f np para toda f mensuravel.

1
np
Pelas desigualdades de Sobolev-Gagliardo-Nirenberg existe C > 0 tal que
uq u1 CuW 1,p () , para toda u W01,p ().

1
0
Em particular, a imersao (vide diagrama previamente comentado)
W01,p () Lq () e contnua.
Seja D = D(0, 1) o disco unitario em W01,p ().

Mostremos que e compacta. Pelo lema relativamente compactos e total-
mente limitados, basta ver que (D) e totalmente limitado em Lq ().
Ja provamos D relativamente compacto em L1 (). Pelo lema relativamente
compactos e totalmente limitados, D e totalmente limitado em L1 ().
Logo, dado > 0 existem u1 D, . . . , uN D tais que

D BL1 () (u1 , ) BL1 () (uN , ),

com cada BL1 () (uj , ) uma bola em L ().
1
Seja u D, com u arbitraria. Existe j tal que u uj 1 < . Logo,
u uj q Cu uj 1 u uj W 1,p () C 21 .
1
0
E entao trivial ver que D(0, 1) e totalmente limitado em Lq () [cheque]. O

lema relativamente compactos e totalmente limitados mostra que D(0, 1) e
relativamente compacto em Lq (). Portanto, a imersao j e compacta.
Isto encerra o caso 1 < q < p .
A afirmacao (a) esta provada.
79
(b) Sejam D(0, 1) o disco unitario em W01,p () e u arbitraria em D(0, 1).
Seja Br uma arbitraria bola de raio r arbitrario. Pelo teorema da imersao
de Morrey para o espaco W01,p () sabemos que
W01,p () C 0, () C 0 ()
e que existe uma constante c, independente de r, tal que temos

sup u uC 0, () cup c

e

u(x) u(y) cr up cr , se x e y pertencem a Br .

Portanto, a colecao de funcoes D(0, 1) e pontualmente limitada.

A equicontinuidade da colecao D(0, 1). Dado > 0 seja r tal que cr = .
Consideremos
x e y , tais que x y < r.
Figura 3.28: Os pontos distintos x e y, ambos em , e com y x < r.
Entao, y B(x, r) e, como ja dito acima, temos
u(x) u(y) cr = .
Isto mostra que D(0, 1) e equicontnua.

Pelo teorema de Ascoli-Arzela segue que D(0, 1) e relativamente compacto
em C 0 (). Logo, a imersao W01,p () C 0 () e compacta
80
3.10 Diferencas de Quociente.
Sejam f R e ej o j-esimo vetor da base canonica de Rn . Definimos a

diferenca de quociente na direcao ej pelo quociente de Newton
f (x + hej ) f (x)
h f (x) = hj f (x) = , onde h R .
h
Lema (Estimativa para o quociente de Newton). Seja u W 1,p (). Entao,
h u Lp (O) para todo O tal que h < d(O, ) e neste caso temos
h uLp (O) j uLp () .
Prova. Esta bem definido h u em O (cheque).
Seja f C 1 () W 1,p () [espaco denso em W 1,p (), por Meyers-Serrin].

Fixado x em , para h pequeno segue
f (x + hej ) f (x) 1 h d
h f (x) = = {f (x + tej )} dt
h h 0 dt
(j f )(x + tej )dt.

1 h
h 0
=
Pela desigualdade de Holder segue
p(1 p ) 1
f (x) p ( (j f )(x + tej )p dt) ( 1 1 p dt)

1
h p 1 h h 1
h 0 0
(j f )(x + tej )p dt.

1 h

h 0
=
Integrando em O, por Tonelli segue
O f (x) dx h 0 O j f (x + tej ) dx dt h 0 j f (y) dy dt

h p 1 h
p 1 h
p
= j f Lp () .
p
Dada u W 1,p (), existe (fk ) C 1 () W 1,p () com fk u e assim

W 1,p ()
hh fk h uLp (O) = fk ( + hej ) fk () [u( + hej ) u()]Lp (O) 0,

k
pela desigualdade triangular. Concluimos entao
h uLp (O) = lim h fk Lp (O) lim j fk Lp () = j uLp ()

k k
81
Lema (Existencia da derivada fraca em Lp ). Sejam p (1, ] e u Lp ().
Suponhamos que existe uma constante (finita) c satisfazendo
h uLp (O) c, para quaisquer O e h tais que 0 < h < d(O, ).
Sob tais condicoes, a derivada fraca j u existe e satisfaz
j uLp () c.
Ainda mais, dada Cc1 () segue
lim (h u) dx = (j u) dx.
h0

Prova. Se p = , a seguir troque convergencia fraca por convergencia fraca*.
A derivada fraca. Seja O . Pela compacidade fraca/fraca* do conjunto

limitado
{h u 0 < h < d(O, )} Lp (O)
[vide teorema as compacidades fraca em Lp e fraca* em L - secao 1.5 - O
dual de Lp ] existem uma sequencia hk 0+ e uma v = vO Lp (O) tais que
hk u v e vLp (O) c.
fraca/fraca* em Lp (O)
Dada Cc1 (O) temos
k u dx v dx.
h
O O
Para hk < d(supp(), O) segue, pelo teorema da convergencia dominada e

notando que u L1 (O) e hk e uniformemente limitada,
(x)u(x + hk ej ) (x)u(x)
k u dx =
h
dx
hk
O O
(y hk ej )u(y) (y)u(y)

y = x + hk e j
= dy
hk
O
= uhk dy
O
uj dy.
O
Logo,
O v dx = O uj dx e existe j u = vO L (O).
p
82
Sejam O e W abertos relativamente compactos em tais que O W .

No aberto O W , a unicidade da derivada fraca [vide secao 3.2 - derivadas
fracas] garante
vO = j u = vW em O W.
Logo, no aberto (uniao enumeravel de bolas relativamente compactas)

esta bem definida (q.t.p.) a funcao
v(x) = vO (x) se x O, q.t.p. em .
Seja Oi uma sequencia de abertos relativamente compactos tal que Oi .

Pelo ja visto temos
vLp (O ) c para todo i.
i
Assim, utilizando o teorema da convergencia monotona no caso 1 < p <

(a afirmacao e trivial no caso p = ), encontramos
vLp () c.
Mostremos que v e a derivada fraca j u em . Dada Cc1 (), seja O

tal que supp() O. Pelo ja visto temos
u j dx = u j dx
O
= vO dx
O
= v dx.

O limite do quociente de Newton h u. Fixemos Cc1 (). Consideremos o

limite
lim (h u) dx.
h0

Dada uma sequencia hk 0, vimos que existe uma subsequencia (hkl ) com
( kl u) dx (j u) dx.
h
Isto mostra que (cheque, e simples)
lim (h u) dx = (j u) dx
h0

83
3.11 Diferenciabilidade (Lipschitz e Rademacher).
Seja f R uma funcao de Lipschitz. Isto e, existe uma constante c (dita

uma constante de Lipschitz) satisfazendo
f (x) f (y) cx y para quaisquer x e y .
Seja um aberto limitado. E entao claro que
W 1, () W 1,p () para todo p [1, ].
Proposicao. Sejam um aberto limitado e f R de Lipschitz. Entao,
f W 1, ().
Prova.
E trivial ver que f L ().
Sejam O e 0 < h < d(O, ). Fixemos k {1, . . . , n} e o vetor ek , o

k-esimo vetor canonico em Rn . Dado x O, encontramos
f (x + hek ) f (x)
h f (x) = c.
h
Donde segue
h f L (O) c.
Entao, pelo lema existencia da derivada fraca em Lp segue que existe a

derivada fraca k f e
k f L () c.
Variando k conclumos que
f W 1, ()
Segue um teorema de diferenciabilidade em espacos de Sobolev.
84
Teorema (Diferenciabilidade). Sejam limitado e u W01,p (), com p > n.

Entao, u e diferenciavel q.t.p.
Prova.
E trivial ver que basta considerar o caso n < p < .
Pela desigualdade de Sobolev-Gagliardo-Nirenberg [vide secao 3.6 - teore-

mas de imersao] ou pelo teorema da imersao de Morrey para W01,p () [vide
secao 3.7 - estimativas para o potencial e teoremas de imersao] segue que u
e contnua (isto e, podemos identificar u com uma funcao contnua).
Temos u Lp (). Seja x um ponto no conjunto-Lp de Lebesgue de u

[vide secao 1.9 - o conjunto-Lp de Lebesgue de uma funcao].
Consideremos uma bola B(x, r) . O ja citado teorema de Morrey fornece
uma constante c tal que para r > 0 e pequeno o suficiente temos
1
u(x + h) u(x) ch ( u(y) dy) , com h = r.

p
1 n
p p
B(x,r)
Donde segue
p
1
u(x + h) u(x) Ch u(y) dy .

1 p
m(B(x, r))B(x,r)
A funcao v(y) = u(y) u(x) y satisfaz
v = u u(x).
Troquemos a funcao u(y) pela funcao v(y) na ultima desigualdade acima.

Com r = h, encontramos
u(x + h) u(x) u(x) h p

1
u(y) u(x) dy .
1

p
h
C
m(B(x, r)) B(x,r)
Com x no conjunto-Lp de Lebesgue de u e r = h 0, vemos que u e

diferenciavel no ponto x. Como
(conjunto Lp de Lebesgue de u) = 0,
conclumos que u e diferenciavel q.t.p.
85
Corolario. Se u W 1,p (), com limitado e p > n, entao u e diferenciavel q.t.p.
Prova.
Dada Cc (), temos que u W01,p (). Pelo teorema acima, u e

diferenciavel q.t.p. para toda Cc (). Logo, u e diferenciavel q.t.p
(cheque)
Corolario (Teorema de Rademacher). Seja f R de Lipschitz. Entao,

f e diferenciavel q.t.p.
Prova.
Segue de f W 1,n+1 (O) para todo O e do corolario acima
Comentarios.
(1) A prova acima do teorema de Rademacher se baseia nas provas em Evans

[6, pp. 294296] e em Taylor, M. E. Measure Theory and Integration,
AMS, p. 133 e p. 143. Este ultimo livro ainda apresenta resultados sobre
homeomorfismos de Lipschitz e aproximacao de funcoes de Lipschitz por
funcoes de classe C 1 .
(2) Para uma prova elementar (isto e, uma prova mao na massa e nao baseada
em resultados fortes) do teorema de Rademacher vide a interessante e nao
curta prova em Tao, T., An Introduction to Measure Theory, AMS, pp.
188192.
(3) O teorema de diferenciabilidade tambem vale no espaco W 1,1 (R). Vide

Lista 7 de Exerccios.
(4) Tambem vale a implicacao reversa no teorema de Rademacher. Se u R

e fracamente diferenciavel e com as derivadas fracas limitadas, entao u e de
Lipschitz. Vide Lista 7 de Exerccios.
86
3.12 Caracterizacao de W01,p().
Extrado de Brezis [3, pp. 287-289] e das notas de aula do professor Rodney
Josue Biezuner, Departamento de Matematica, Universidade Federal de Minas
Gerais (UFMG) - disponvel em
http: // www. mat. ufmg. br/ ~ rodney/ notas_ de_ aula/ edp. pdf
Interpretamos as funcoes em W0k,p (), a grosso modo, como funcoes que se
anulam na fronteira de . E necessario dar um sentido preciso a esta nocao pois
as funcoes no espaco W k,p () sao definidas a menos de conjuntos de medida nula
e tem, sob hipoteses razoaveis de suavidade, medida nula (sem esquecer que
existem abertos com fronteira de medida maior que zero). Ainda, as funcoes em
W k,p () nao sao necessariamente representadas por uma funcao contnua.
Recordemos que W01,p () C() se p > n, pela desigualdade de Sobolev-
Gagliardo-Nirenberg [vide secao 3.6] e que W01,p () C 0,1 p () C() se p > n,
n
pelo teorema da imersao de Morrey para W01,p () [vide secao 3.7].
Teorema - Caracterizacao dos espacos W0k,p (). Sejam um aberto de

classe C 1 e uma funcao u W k,p () C(). Entao temos
u W01,p () u 0 em .
Prova.
() O caso supp(u) limitado [isto nao significa supp(u) compacto; supp(u) e o
fecho em de {x u(x) 0}]. Consideremos f C 1 (R) tal que (exiba uma)

0 se t 1,
f (t) t e f (t) =

t se t 2.

Definamos entao a sequencia de funcoes
uj = f (ju).
1
j
Pela regra da cadeia em W k,p () - secao 3.4 - temos uj W k,p (). Segue

u(x) se u(x) = 0
uj = u L () com uj (x)
ju

p
j
u(x) se u(x) 0.
Portanto, pelo teorema da convergencia dominada,
uj u.
Lp ()
87
Ainda mais,

1 se u(x) 0, para j grande
k (uj ) = f (ju(x))k u(x) e f (ju(x)) =

0 se u(x) = 0.
Donde segue k (uj )(x) k u(x) se u(x) 0.
No conjunto u1 (0), pelo teorema o gradiente na pre-imagem de um ponto
- vide secao 3.3, regra da cadeia e regra do produto - temos k u = 0 q.t.p.
Portanto
k (uj ) k u.
q.t.p.
Temos tambem k (uj ) f k u Lp (). Portanto, pelo teorema da

convergencia dominada encontramos
k (uj ) k u.
Lp ()
Consideremos supp(uj ). Isto e,
o fecho em do conjunto {x uj (x) 0} .
E facil ver que
{x uj (x) 0} {x u(x) } este fechado em e limitado.

1
j
Logo,
supp(uj ) {x u(x) } .
1
j
Mostremos que supp(uj ) e fechado em R . Consideremos uma sequencia
n
(xm ) supp(uj ) tal que xm x, onde x Rn .
Claramente x . Para cada xm supp(uj ), existe ym tal que
xm ym < e uj (ym ) 0.
1
m
Portanto ym x e uj (ym ) 0. Pelo que ja mostramos acima segue
ju(ym ) 1 para todo m. Pela continuidade de u seguem ju(x) 1 e
u(x) 0. Logo, x . Temos entao
ym x, uj (ym ) 0 e x .
Logo, x supp(uj ) o qual e entao limitado e fechado e portanto compacto.

Pelo lema regularizacao e aproximacao em W k,p () [vide secao 3.5] segue
uj W0k,p () W01,p ().
88
O caso supp(uj ) nao limitado. Consideremos a funcao de corte

1 no disco D(0, 1)
Cc (Rn ) tal que =

0 fora de D(0, 2).
Figura 3.29: Ilustracao ao grafico de .
Definamos a sequencia de funcoes de corte
j (x) = ( ) .
x
j
Temos j Cc (Rn ) para todo j. Portanto j u W k,p () - cheque. Eviden-

temente, supp(j u) e limitado. Pelo caso anterior segue e destacamos
j u W01,p ().
Pelo teorema da convergencia dominada segue j u u em Lp (). Ainda

mais, dado um arbitrario k = 1, . . . , n temos
k (j u) k up k ( ) u(x) + (j 1)k up
1 x
j j p
k up
+ (1 j )k up .
j
Donde seguem (vide tambem destaque acima)
j u u e u W01,p ().
W 1,p ()
89
() Utilizando cartas locais e suficiente utilizar o semi-cilindro superior
Q+ = {x = (x , xn ) x < 1 e 0 < xn < 1}
e mostrar que
u W01,p (Q+ ) C(Q+ ) u 0 em Q0 = Q+ {x Rn xn = 0}.
Dada u em tal interseccao, existe uma sequencia (uj ) Cc1 (Q+ ) tal que
W 1,p (Q+ )
uj u.
Utilizemos que uj C 1 e uj (x , 0) = 0. Segue (com integral de Riemann)
uj (x , xn ) n uj (x , t)dt.
xn
Fixado 0 < < 1, segue
0 uj (x , xn )dxn 0 n uj (x , t)dt.

Logo,

uj (x , xn )dx dxn n uj (x , xn )dx dxn .

1

x <1 0 x <1 0
Impondo j segue (vide convergencia destacada acima)

u(x , xn )dx dxn n u(x , xn )dx dxn .

1

x <1 0
x <1 0
Utilizemos que xn u(x , xn ) e contnua, o teorema do valor medio para

integrais e que n u L1 (Q+ ). Impondo 0 encontramos (cheque)
u(x , 0)dx = 0.

x <1
Isto mostra u(x , 0) 0. Isto e, u 0 em Q0
90
3.13 Caracterizacao das funcoes fracamente di-

ferenciaveis [isto e, em W 1 ()].
Lema [W 1 () e um espaco local]. Sejam u R e = O1 O2 , com

cada Oj aberto. Entao, u W 1 () se e somente se u W 1 (Oj ) para cada j.
Prova.
() Trivial (cheque).
() Dada Cc1 (), existe N tal que supp() O1 ON .

Existem 1 Cc (O1 ), . . . , N Cc (ON ) [vide Lista 2 Exerc. 4.] com

1 + + N 1 numa vizinhanca de K

= 1 + + N .
Fixemos k , para algum k = 1, . . . , n. Seja vk,j a k-esima derivada fraca
de u em Oj . Esta derivada independe de Oj . Isto e, se Oj Oi , pela
unicidade da derivada fraca [vide secao 3.2] segue
vk,j = vk,i na interseccao Oj Oi .
Esta entao bem definida a funcao v R dada por
vk (x) = vk,j (x) se x Oj .
Dado x , existe um disco compacto e nao degenerado D(x, r) contido

em algum Oj e entao vk = vk,j L1 (D(x, r)). Isto mostra
vk L1loc ().
Temos entao
uk dx = O uk (j ) dx = O vk j dx
N N
j=1 j j=1 j
N
= vk j dx
j=1
= vk dx.

Logo, u R e fracamente diferenciavel e k u = vk
91
Seja uxj a j-esima derivada parcial (classica) e j u a j-esima derivada fraca.
Teorema (Caracterizacao das funcoes fracamente diferenciaveis). Seja

u L1loc (). Entao, u e fracamente diferenciavel se e somente se valem ambas as
condicoes (i) e (ii) abaixo.
(i) A funcao u e equivalente a uma funcao que e absolutamente contnua em

quase todos os segmentos paralelos aos eixos coordenados.
(ii) As derivadas parciais (classicas) de primeira ordem de u existem q.t.p. em

e sao localmente integraveis em .
[Em particular, se u e fracamente diferenciavel, valem as propriedades abaixo.
Nos segmentos citados, as derivadas parciais (classicas) de primeira ordem

de u coincidem com suas respectivas derivadas fracas q.t.p. no segmento.
As derivadas parciais (classicas) de primeira ordem de u coincidem com

suas respectivas derivadas fracas q.t.p. em .]
Prova.
() Fixemos um paraleppedo P e um aberto O tais que
P = [a1 , c1 ] [an , cn ] O .
Pelo teorema caracterizacao das derivadas fracas [vide secao 3.2], existe uma
sequencia (um ) C () tal que
(um , um ) (u, u).

L1loc ()
Podemos supor sem perda de generalidade
um uW 1,1 (O)
1
para todom.
2m
Fixemos um representante u R e um representante 1 u R.
92
Consideremos as derivadas fracas 1 u e 1 u1 , 1 u2 , . . . e as funcoes
f = u1 + um+1 um e g = 1 u1 + 1 um+1 1 um [em O].

m=1 m=1
Triangulando com u e trivial ver que
um+1 um W 1,1 (O)

1
.
2m1
Donde {f, g} L1 (O) e as series para f e g sao finitas q.t.p. em O.
Escrevendo 1 um = 1 u1 + (1 u2 1 u1 ) + + (1 um 1 um1 ) obtemos
1 um g em todo ponto de O.
Seja (x, y) R Rn1 a variavel em Rn . Seja Y = [a2 , c2 ] [an , cn ].

Doravante, computamos em [a1 , c1 ] Y .
Figura 3.30: O paraleleppedo P = [a1 , c1 ] Y em R Rn1 .
Gracas a Tonelli segue

c1

c1

(um u + 1 um 1 u)dx dy 0 e g(x, y)dx dy < .

Y a1 Y a1
Pelo teorema convergencia em Lp e convergencia pontual [vide captulo 1],

existem uma subsequencia (umi ) e um conjunto Y Y , com Y Y de medida
(n 1) dimensional zero, tais que para todo ponto y Y temos
c1 c1
[umi u + 1 umi 1 u](x, y)dx 0 e g(x, y)dx < .

a1 a1
Podemos supor (umi ) = (u1 , u2 , u3 , . . .).
93
Assim, para todo y Y temos
[um u + 1 um 1 u](x, y)dx 0

c1 c1
e g(x, y)dx < .
a1 a1
Troquemos a ordem de integracao, dispensando o integrando 1 um 1 u.

O teorema de Tonelli garante
c1
um u dy dx 0.
a1 Y
Pelo teorema convergencia em Lp e convergencia pontual [vide captulo 1],

existe uma subsequencia (umj ) tal que
umj u(x, y)dy 0 q.t.p. em [a1 , c1 ].

Y
Podemos supor (umj ) = (u1 , u2 , u3 , . . .).

A seguir, podemos escolher um ponto b1 [a1 , c1 ] tal que
um u(b1 , y)dy 0.
Y
Pelo teorema convergencia em Lp e convergencia pontual [ver captulo 1],

existe uma subsequencia (umk ) tal que

umk (b1 , y) u(b1 , y) para todo y Y ,

com Y Y de medida (n 1) dimensional zero.

Podemos supor (umk ) = (u1 , u2 , u3 , . . .).

A seguir, trocando Y por Y Y se necessario, podemos supor
um (b1 , y) u(b1 , y) para todo y Y.
Como um (b1 , ) e mensuravel em Y e o conjunto Y Y tem medida n 1

dmensional zero, entao um (b1 , ) u(b1 , ) q.t.p. em Y e portanto a funcao
y u(b1 , y) e mensuravel independentemente de como a definimos em Y Y.
94
Fixando y Y. Pelo teorema convergencia em Lp e convergencia pontual,

existe uma subsequencia (uml ) tal que
(uml , 1 uml )(x, y) (u, 1 u)(x, y).

q.t.p. em [a1 ,c1 ]
Podemos supor (uml , 1 uml ) = (ul , 1 ul ). Destaquemos a convergencia
(um , 1 um )(x, y) (u, 1 u)(x, y).

q.t.p. em [a1 ,c1 ]
Para todo x [a1 , c1 ] temos (com um suave e Calculo I) a identidade
(3.13.1) um (x, y) = um (b1 , y) + 1 um (t, y)dt.

x
b1
Analisemos o limite desta identidade para m . Pelos dois passos ime-

diatamente anteriores segue
1 um (, y) g(, y) L1 ([a1 , c1 ]).
Assim, o lado direito de tal identidade converge a funcao dada por
(x, y) = u(b1 , y) + 1 u(t, y)dt, onde x [a1 , c1 ].

x
u
b1
e absolutamente contnua na variavel x. O teorema funda-

E trivial que u
mental do calculo (integral de Lebesgue) mostra que
(x, y)
xu
e derivavel (classicamente) em quase todo ponto e que sua derivada classica

(
u)x coincide com a funcao x 1 u(x, y) q.t.p. em [a1 , c1 ].
Quanto ao lado esquerdo em (3.13.1), ja destacamos acima a convergencia
um (x, y) u(x, y).

q.t.p. em [a1 ,c1 ]
Encontramos entao
(x, y) para quase todo x [a1 , c1 ] .

u(x, y) = u
[a1 , c1 ]Y R e mensuravel
Note-se que y e arbitrario em Y. Por Fubini, u
(cheque). O conjunto [a1 , c1 ] (Y Y) tem medida zero e, independente-
neste conjunto, u
mente da definicao de u [a1 , c1 ] Y R e mensuravel.
95
[a1 , c1 ] Y R.
Variando y em Y . Consideremos a funcao mensuravel u
O conjunto dos pontos em que existe o limite pontual de uma sequencia de
funcoes reais e mensuraveis e um conjunto mensuravel, vide Folland [8, p.
x = (
48 - Exerccio 3]. A derivada classica u u)x e um limite de quocientes de
Newton, os quais sao funcoes mensuraveis. Portanto, o conjunto dos pontos
x esta bem definida e mensuravel. Logo, u
em que a derivada classica u x e
mensuravel, vide Folland [8, p. 48 - Exerccios 5 ou 1].
x e 1 u sao mensuraveis)
Consideremos o conjunto mensuravel (pois u
x (x, y) 1 u(x, y)} = [a1 , c1 ] (Y Y) A,

{(x, y) [a1 , c1 ] Y u
onde a uniao e disjunta e
A = Ay {y} com cada (secao) Ay de medida zero em [a1 , c1 ].
yY
A medida de [a1 , c1 ] (Y Y) e zero. E trivial ver que A e mensuravel

(A e diferenca de mensuraveis, cheque). Portanto (com m1 a medida de
Lebesgue na reta real)
m(A) = A dm = ( A (x, y) dx) dy = ( Ay (x) dx) dy
= m1 (Ay )dy = 0.
Mostramos entao
x = 1 u q.t.p. no paraleleppedo P .
u
Analogamente ve-se (cheque)
= u q.t.p. no paraleleppedo P .
u
e as derivadas (a
Iterando a argumentacao acima, trocando a funcao u por u
classica e a fraca) de primeira ordem e em relacao a primeira variavel pelas
derivadas (a classica e a fraca) de primeira ordem em relacao a segunda,
terceira, etc .variaveis, obtemos o resultado desejado no retangulo P .
A ida do teorema esta provada para todo retangulo compacto contido em

. Em particular, para todo cubo diadico contido em .
Complete a prova da ida.
96
() Evidentemente e uma uniao enumeravel de cubos diadicos. Assim, pelo

Lema: W 1 () e um espaco local, basta provar que u W 1 (O) onde O e
um tal cubo.
Mostremos que existe a derivada fraca 1 u (a existencia das demais segue

por permutacao na ordem das variaveis).
Notemos que, por hipotese, u L1loc (). Portanto, u L1loc (O).
Escrevamos O = (1 , 1 ) Y R Rn1 , com variavel (x, y) (1 , 1 ) Y .
Sejam Cc1 (O) e m a medida (Lebesgue) em Rn . Fubini nos garante
u(x, y)x (x, y) dx dy

1
O u1 dm = Y
1
Por hipotese, para quase todo y Y temos que x u(x, y) e absoluta-

mente contnua e entao, pelo teorema fundamental do calculo (Lebesgue),
derivavel q.t.p. (obviamente, x (x, y) e absolutamente contnua). Para
um tal y, com o teorema fundamental do calculo (Lebesgue) ou a formula
de integracao por partes (Lebesgue), vide captulo 1, encontramos (cheque)
u(x, y)x (x, y) dx = ux (x, y)(x, y) dx.

1 1
1
1
Por hipotese, ux L1loc (). Portanto ux L1loc (O). Por Fubini segue
ux (x, y)(x, y) dx dy.

1
O ux dm = Y
1
Combinando as tres identidades acima obtemos
u(x, y)x (x, y) dx dy

1
O u1 dm = Y
1
ux (x, y)(x, y) dx dy
1
=
Y 1
ux L1loc (O)
= ux dm.
O
Portanto u e fracamente diferenciavel em O
97
3.14 Regra Geral do Produto.
Seja uxj a j-esima derivada parcial (classica) e j u a j-esima derivada fraca.
Teorema (Regra do Produto). Sejam u W 1 () e v W 1 () tais que
uv e uv + vu pertencem a L1loc ().
(uv) = uv + vu.
Prova.
O produto de absolutamente contnuas e uma funcao absolutamente contnua.

Pelo teorema de caracterizacao para funcoes fracamente diferenciaveis, u e v
sao equivalentes a funcoes que sao absolutamente contnuas em quase todo
segmento paralelo aos eixos coordenados. Donde segue e destacamos
uv e equivalente a uma funcao que e absolutamente contnua

.
em quase todo segmento paralelo aos eixos coordenados.
Pelo mesmo teorema de caracterizacao, as derivadas parciais de primeira

ordem de u e v existem q.t.p. E entao trivial ver que as derivadas parciais
(classicas) de primeira ordem do produto uv existem q.t.p. e satisfazem
(uv)xj = uxj v + uvxj q.t.p., onde j = 1, . . . , n.
Fixemos j {1, . . . , n}. Pelo mesmo teorema de caracterizacao temos
uxj = j u q.t.p. e vxj = j v q.t.p.
Encontramos entao
(uv)xj = vj u + uj v q.t.p.
Por hipotese, vj u + uj v e localmente integravel. Assim, podemos destacar
as derivadas parciais de ordem um de uv sao localmente integraveis .
Destaquemos que, por hipotese, uv e localmente integravel .
98
Pelos tres destaques acima e o teorema de caracterizacao para funcoes fra-

camente diferenciaveis (e a arbitrariedade de j {1, . . . , n}), segue que
uv e fracamente diferenciavel.
Formula. Pelo mesmo teorema de caracterizacao vemos que as derivadas

fracas de primeira ordem da funcao fracamente diferenciavel uv coincidem
q.t.p. com suas respectivas derivadas parciais (classicas) de primeira ordem.
Donde segue

j (uv) = (uv)xj q.t.p.

para todo j = 1, . . . , n.
Porem, ja mostramos as identidades

(uv)xj = vj u + uj v q.t.p.

para todo j = 1, . . . , n.
Segue entao

j (uv) = (uv)xj = vj u + uj v q.t.p.

para todo j = 1, . . . , n.
Isto e,
(uv) = uv + vu
99
REFERENCIAS
[1.] R. A. Adams and Fournier, J. J. F., Sobolev Spaces, 2nd ed., Academic
Press, 2003.
[2.] A. Bressan, Lecture Notes on Sobolev Spaces, 2012, Univ. of Pennsylvania.
https://www.math.psu.edu/bressan/PSPDF/sobolev-notes.pdf
[3.] H. Brezis, Functional Analysis, Sobolev Spaces and Partial Differential Equa-
tions, 2011, Springer.
[4.] M. M. Cavalcanti e V. N. D. Cavalcanti, Introducao a Teoria das Distribuicoes
e aos Espacos de Sobolev. Ed. Universidade Estadual de Maringa, 2009.
[5.] Driver, B. K., Lecture Notes on PDE, University of California (San Diego).
[6.] Evans, L. C., Partial Differential Equations, 2nd ed., AMS, 2010.
http://www.math.ucsd.edu/~bdriver/231-02-03/lecture_notes.htm
[7.] Folland, G. B., Introduction to Partial Differential Equations, second edition,
Princeton University Press, 1995.
[8.] -, Real Analysis - Modern Techniques and Their Applications, second
edition, Pure and Applied Mathematics, John Wiley and Sons, 1999.
[9.] Giglioli, A., Equacoes Diferenciais Parciais Elpticas, 10 Coloquio Brasileiro
de Matematica, 1975, IMPA.
[10.] Gilbard D. and Trudinger, N. S., Elliptic Partial Differential Equations of
Second Order, reprint of the 1998 edition, 2001.
[11.] Hunter, J. Lecture Notes on Sobolev Spaces, Univ. of California (Davis).
See https://www.math.ucdavis.edu/~hunter/pdes/ch3.pdf
On PDE, see https://www.math.ucdavis.edu/~hunter/pdes/pdes.html
[12.] Royden, H. L. - Fitzpatrick, P. M., Real Analysis, 4th ed, Prent. Hall, 2010.
[13.] Rudin, W., Real & Complex Analysis, third edition, McGraw-Hill, 1987.
[14.] , Functional Analysis, 2nd ed., Int. Ser. Pure and Appl. Math., 1991.
[15.] Treves, F., Basic Linear Partial Differential Equations, Academic Press,
1980.
[16.] Wheeden, R. L. and Zygmund, A. Measure and Integral, M. Deker, 1977.
100

EDP Eliptica Cap3 2017 PDF

Transféré par

Informations du document

Description originale:

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

EDP Eliptica Cap3 2017 PDF

Transféré par

Droits d'auteur :

Formats disponibles

EDPs ELIPTICAS - MAT5812 - IMEUSP - 2017

Professor Oswaldo Rio Branco de Oliveira

Estas notas baseiam-se em Gilbarg, D. and Trudinger, N. S., Elliptic Par-

Captulo 1 - Espacos Lp e de Hilbert.

1.2 Fatos Basicos sobre a Integral de Lebesgue.

1.3 Fatos Basicos sobre Lp .

1.4 Desigualdades e Interpolacoes Basicas.

1.6 Algumas Desigualdades Uteis.

1.7 O Teorema de Interpolacao de Marcinkiewicz.

1.8 O Lema de Lax-Milgram e a Alternativa de Fredholm.

1.9 O Conjunto-Lp de Lebesgue de uma funcao

2.2 Produto de Convolucao.

2.3 Aproximacao da Identidade.

2.4 Lema de Urysohn (C ) e Teorema de Tietze.

2.5 Regularizacao e Aproximacao em Lploc () e Lp ().

Captulo 3 - Espacos de Sobolev.

3.2 Derivada fraca..............................................................................................12

3.3 Regra da Cadeia e Regra do Produto............................................................28

3.4 Espacos W k,p () e Regra da Cadeia.............................................................36

3.5 Teoremas de Densidade (Meyers-Serrin e propriedade do segmento).............40

3.6 Teoremas de Imersao (Sobolev-Galiardo-Nirenberg).....................................49

3.7 Estimativas para o Potencial e Teoremas de Imersao (Morrey e Poincare).....60

3.8 Estimativas de Morrey e de John-Nirenberg..................................................71

3.9 Resultados de Compacidade (Rellich-Kondrachov).......................................74

3.10 Diferencas de Quociente................................................................................81

3.11 Lipschitz e Rademacher.................................................................................84

3.12 Caracterizacao de W01,p ()............................................................................87

3.13 Caracterizacao das funcoes fracamente diferenciaveis.....................................91

Doravante todas as funcoes sao reais e

Lp (X) = {f X R tal que f p < }.

Lema (Localizacao). Seja f L1loc () tal que

f (x)(x)dx = 0, para toda Cc ().

Entao, f = 0 (isto e, nula em quase todo ponto ou, abreviadamente, q.t.p.).

(f )(z) = f (x) (z x)dx = 0 para quaisquer z K e < d(K, ).

No captulo 2 provamos f f . Logo, f = 0 em K e entao f = 0.

(2) (Instrutiva e evitando convolucao). Vide Lista de Exerccios 2 - Extra

A cada funcao f L1loc () associamos um funcional linear

Tf Cc () R, dado por Tf () = f (x)(x)dx.

O lema acima mostra que a aplicacao f Tf e injetora (cheque). Tal associacao

Vejamos. Consideremos uma funcao f = f (x) = f (x1 , . . . , xn ) infinitamente

T1 f associada a derivada parcial 1 f = x1 f.

f (x)1 (x)dx = 1 f (x)(x)dx = T1 f [].

Esta formula mostra como definirmos a derivada de uma distribuicao. Definimos

Agora, apresentemos a notacao frequente. Sejam uma distribuicao u D () e

Assim, dado um mult-ndice encontramos

A seguir, descrevamos a convergencia (topologia) em Cc ().

Convergencia no Espaco das Funcoes Testes Cc (). Uma sequencia de

Existe K compacto em tal que temos supp(n ) K para todo n.

n , para cada multi-ndice Nn .

Exemplo. Seja f uma funcao em L1loc (). Entao, Tf D ().

Exemplo (A distribuicao delta de Dirac). Seja Cc (Rn ) R dada por

Definicao. Seja u D (). Dizemos que u e uma distribuicao regular se existe

Exemplo (A distribuicao nao e regular). [A distribuicao e tambem dita

Suponhamos que exista f locamente integravel satisfazendo

f dx = , = (0), para toda Cc (R ).

Consideremos o aberto = Rn {0}. Entao, temos

f dx = 0, para toda Cc ().

Pelo lema de localizacao abrindo esta secao temos f = 0 q.t.p. em Rn {0}.

Dado um ponto a Rn , a distribuicao delta no ponto a e definida por

a , = (a), onde Cc (Rn ).

Operacoes com distribuicoes estendem as operacoes usuais com funcoes.

a f (x)(x)dx = f (x a)(x)dx = f (y)(y + a)dy = f (y)a (y)dy.