Você está na página 1de 51

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 Dual de Lp .

1.6 Algumas Desigualdades Uteis.

1.7 Teorema de Interpolacao de Marcinkiewicz.

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

1.9 O Conjunto Lebesgue-Lp de uma funcao

Captulo 2 - Produto de Convolucao, Aproximacao e Regularizacao.

2.1 Introducao....................................................................................................5

2.2 Produto de Convolucao................................................................................12

2.3 Aproximacao da Identidade..........................................................................25

2.4 Lema de Urysohn (C ), Particao da Unidade e Teorema de Tietze...............35

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


Captulo 3 - Espacos de Sobolev.

3.1 Introducao

3.2 Derivada fraca

3.3 Regra da Cadeia e Regra do Produto

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

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

3.6 Teoremas de Imersao (Sobolev-Galiardo-Nirenberg)

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

3.8 Estimativas de Morrey e de John-Nirenberg

3.9 Resultados de Compacidade (Rellich-Kondrachov)

3.10 Diferencas de Quociente

3.11 Lipschitz e Rademacher

3.12 Caracterizacao de W01,p ()

3.13 Caracterizacao das funcoes fracamente diferenciaveis

2
Captulo 1

ESPACOS Lp e de HILBERT

3
.

4
Captulo 2

PRODUTO DE
CONVOLUCAO,
APROXIMACAO E
REGULARIZACAO
2.1 Introducao

Suponhamos que a media final M F em um curso se de pela media ponderada


das notas n1 , . . . , nk , com respectivos pesos p1 , . . . , pk . Isto e,
k
p j nj
MF =
j=1
k
.
pj
j=1

Esta simples observacao sugere o resultado abaixo.

Teorema (Primeiro TVM para Integrais, Generalizado - Cauchy, 1821).


Consideremos f [a, b] R contnua. Seja p [a, b] R Riemann-integravel e,
ainda, p 0 e
a p(x) dx > 0.
b

Entao, existe c (a, b) tal que

a f (x)p(x) dx = f (c) a p(x) dx.


b b

5
Prova.

Sejam m = f (x1 ) o mnimo de f e M = f (x2 ) o maximo de f . Se x [a, b],


temos m f (x) M e ainda mp(x) f (x)p(x) M p(x). Consideremos

a f (x)p(x) dx
b
= .
a
b
p(x) dx

O caso m < < M . O teorema do valor intermediario garante c no intervalo


aberto de extremidades x1 e x2 tal que f (c) = .

O caso = M . Temos entao

a [M f (x)]p(x) dx = 0.
b

Donde, pela desigualdade [M f (x)]p(x) 0, obtemos [M f (x)]p(x) = 0


em todo ponto de continuidade de p (cheque).
A funcao p nao se anula em algum intervalo aberto J (caso contrario, p
admite uma sequencia de somas de Riemann que converge a 0 - cheque).
Logo, f e constante e igual a M em J. Todo ponto c J satisfaz o desejado.

O caso = m. Basta aplicar o segundo caso ao par de funcoes f e p

Interpretacao aritmetica para o primeiro TVM para integrais, genera-


lizado. Sejam f [a, b] R contnua e uma funcao (peso) Riemann-integravel
p [a, b] [0, ) e tal que
a p(x)dx > 0.
b

Entao, f , ponderada por p, assume em algum c a sua media ponderada. Isto e,

a f (x)p(x)dx
b
= f (c).
a p(x)dx
b

Definicao. Dada uma funcao f R R, o suporte de f e o menor conjunto


fechado que contem o conjunto no qual a funcao f nao se anula. Temos a notacao

supp(f ) = {x f (x) 0}.

Se f R R tem suporte compacto, entao f e identicamente nula no comple-


mentar de algum intervalo fechado e limitado.

6
Oswaldo Rio Branco de Oliveira

Nestas notas faremos muito uso de funcoes que sao de classe C e que tem
suporte compacto. Tais funcoes sao chamadas, entre outros nomes, funcoes
lombadas/bacias (bump functions). Utilizamos o exemplo abaixo para entao
construirmos uma funcao infinitamente derivavel e de suporte compacto.

Exemplo (Lombada lateral ou rampa, suave). A funcao




e x se x > 0
1

(x) =

se x 0 ,
0
e tal que (n) (0) = 0 para todo n e e de classe C .

Figura 2.1: Grafico de (x) = e x , se x > 0, com (x) = 0 se x 0.


1

Verificacao. Seja n {0, 1, 2, . . .}.

E claro que (1) = e1 . E tambem claro que

lim+ e x = 0 e lim e x = 1.
1 1

x0 x+

Cada derivada (n) [com (0) = ] satisfaz

(n) (x) = e x Pn ( ) , para todo x > 0, com Pn um polinomio.


1 1
x
Ainda,
Pn (y)
lim+ (n) (x) = lim = 0.
x0 y+ ey
Temos tambem
(n) (x) 0 yPn (y)
lim+ = lim yey Pn (y) = lim = 0.
x0 x0 y+ y+ ey
Por inducao segue que , , , (3) , . . . sao todas contnuas na origem e
portanto contnuas na reta. Logo, e infinitamente derivavel

7
Exemplo (Uma funcao infinitamente derivavel e de suporte compacto)
Uma funcao lombada ou bacia, suave. Seja = (x) como no exemplo
imediatamente anterior. Seja

(x) = (1 x2 ), onde x R.

A funcao e de classe C na reta e satisfaz

0 (x) e1 1 e supp() = [1, +1].

Figura 2.2: Grafico da funcao .

A expressao para e





12
se 1 < x < 1

e

1x

(x) =




caso contrario
0

A seguir, veremos algumas das propriedades da funcao para aproximacao.


Consideremos o numero
+1
c= (x)dx > 0.
1

Definamos a funcao
(x) =
(x)
.
c
Entao, temos
+1 +
1 (x)dx = 1 = (x)dx.

Antes de prosseguir, aproveitemos a oportunidade para conhecer outros dois


interessantes e uteis exemplos de funcoes infinitamente derivaveis.

8
Oswaldo Rio Branco de Oliveira

Exemplos extras: degrau e plato suaves.

(1) Degrau suave. Seja = (x) a funcao lombada dada acima. Seja

(x) = (t)dt, onde x R.


x

A funcao e de classe C na reta, crescente e satisfaz




0 em (, 1],
0 (x) c = (t)dt com =

c em [1, ).

R

Figura 2.3: Grafico da funcao degrau suave .

(2) Plato suave. Seja (x) a funcao degrau acima. Dado a > 1, seja

(x) =
1
(x + a)(a x).
c2

A funcao e de classe C na reta, crescente e satisfaz




0 em (, 1 a] [a + 1, +),
0 1 com =

1 em [1 a, a 1].

Figura 2.4: Grafico da funcao plato suave

9
Retornemos ao estudo da funcao

(x) =
(x)
.
c
Dado um arbitrario > 0, consideremos a funcao

( x )
(x) = .

A funcao e de classe C na reta e satisfaz

0 (x) e supp( )(x) = [, ].


1
c

Figura 2.5: Ilustracao para o grafico de , conforme 0+ .

Ainda mais,
( x )

(x)dx =
dx

1

= (t)dt
1

= 1.

Isto mostra que conforme 0, mais e mais a area abaixo do grafico de


, e acima do eixo Ox, se concentra em torno da origem mas o valor numerico
atribudo a area permanece constante e igual a 1.

10
Oswaldo Rio Branco de Oliveira

Teorema. Seja f [1, 1] R contnua. Consideremos a famlia de funcoes

R R, onde 0 < < 1,

acima definidas. Entao,

1 f (x) (x)dx f (0).


1 0

Prova.

O primeiro TVM para integrais, generalizado, garante a existencia de um


ponto x [, ], com x = x() dependendo de , tal que

f (x) (x)dx = f (x) (x)dx


1
1

= f (x).

Como f e contnua na origem, temos que

f (x) f (0)
0

Veremos mais sobre a famlia de funcoes { > 0} na proxima secao, sobre


aproximacao da identidade.

Indicamos

Cc (R, R) = {f R R f C e supp(f ) e compacto}.

Definicao. O de Dirac e dado por

(f ) = f (0), onde f Cc (R, R).

Dizemos que a famlia de funcoes

{ 0 < < 1}

se aproxima do de Dirac, se 0. Escrevemos entao


0
.

11
Corolario. Seja f uma funcao em Cc (R, R). Consideremos a famlia de funcoes

R R, onde 0 < < 1,

acima definidas. Entao,


+
(a) f (p x) (x)dx f (p).
0

+
(b) f (x) (p x)dx f (p).
0

Prova.

(a) Escrevendo F (x) = f (px), basta aplicar o teorema imediatamente anterior.

(b) Basta notar que as integrais em (a) e (b) tem mesmo valor

Pelo corolario imediatamente acima, e justificado chamar a famlia de funcoes


{ } de uma aproximacao da identidade.

Em ingles, tais funcoes sao chamadas mollifier ou approximations to the


identity. A traducao de mollifier para o portugues e molificante (Molificar:
acalmar, aplacar , suavizar. Molificante: que molifica, que acalma, abranda, que
suaviza), mas este termo e pouco utilizado.

Os molificantes sao tambem conhecidos por molificantes de Friedrichs (Kurt


Otto Friedrichs).

Um molificante e uma funcao suave (isto e, infinitamente derivavel) com al-


gumas propriedades especiais que sao utilizadas, por exemplo, em Teoria das Dis-
tribuicoes para criar sequencias de funcoes suaves que se aproximam de funcoes
nao suaves e de funcoes generalizadas, via Produto de Convolucao. Este e o topico
da proxima secao.

Ainda mais, as integrais em (a) e (b) inspiram o conceito Produto de Con-


volucao.

12
Oswaldo Rio Branco de Oliveira

2.2 Produto de Convolucao

Convolucao: ato ou efeito de enrolar; ato ou efeito de enrolar-se; envolver.

Antecipemos um pouco do que sera apresentado neste captulo.

Intuitivamente, o valor do produto de convolucao em um ponto dado esta rela-


cionado a nocao de media ponderada de uma funcao (ponderada por uma segunda
funcao). Esta interpretacao da convolucao como uma media ponderada aponta
varias propriedades de suavizacao/regularizacao do produto de convolucao.

Intuitivamente, dada uma funcao irregular, convolvendo-a com um molifi-


cante/regularizador temos que a funcao e suavizada/regularizada. Isto e, as ca-
ractersticas asperas da funcao irregular (por exemplo, bicos ou esquinas no
grafico da funcao) sao suavizadas e, ainda, a convolucao se mantem proxima (em
algum sentido ou norma) da funcao nao suave (ou funcao generalizada) original.

Figura 2.6: Os graficos do regularizador , da nao suave f e da suavizacao de f .

Outra importante caracterstica do produto de convolucao entre duas funcoes


f e g e que (antecipando o smbolo para o produto de convolucao) a convolucao

f g

suaviza a funcao f e tambem suaviza a funcao g. Ainda mais, a convolucao herda


as propriedades de suavidade de g e as propriedades de suavidade de f . Por
exemplo, veremos que se g e derivavel entao o produto de convolucao f g e
derivavel [e satisfaz j (f g) = f j g, onde j e o operador derivacao em relacao
a variavel xj e x = (x1 , . . . , xj , . . . , xn ) e a variavel em Rn ].

13
Definicao. Dadas duas funcoes Lebesgue mensuraveis f, g Rn C, definimos
o produto de convolucao [ou, brevemente, convolucao] (f g) (x) por

(f g) (x) = f (x y)g(y) dy,

nos pontos x tais que a integral acima existe.

Exemplo. Computemos o produto de convolucao

(f g)(x) = f (u)g(x u)du,

onde



1, se 0 < x < 1, x, se 0 < x < 2,
f (x) = g(x) =

e

0, caso contrario,
0, caso contrario.
Solucao.

A convolucao envolve uma translacao e uma reflexao. Para visualiza-la,


mantemos estatica a funcao de menor suporte, a funcao f (coincidentemente
a mais simples), e refletimos e deslizamos a funcao g.

Figura 2.7: O grafico de g sob efeito de reflexao e entao de translacao.

Se o ponto x esta distante da origem [i.e., se o suporte da funcao u g(xu)


nao intersecta o suporte [0, 1] da funcao f ], entao temos

(f g)(x) = 0.

Assim, movendo x desde ate +, so teremos algum trabalho de calculo


nos casos em que os suportes de u g(x u) e f (u) se intersectam.

14
Oswaldo Rio Branco de Oliveira

As figuras a seguir mostram que temos entao apenas cinco casos a analisar.

Figura 2.8: O produto de convolucao (f g)(x)

Exerccio. Para o exemplo acima, esboce o grafico da convolucao f g.

Tarefa. Assista duas convolucoes animadas em


https://en.wikipedia.org/wiki/Convolution.

15
Definicao (O operador translacao h ). Dados h Rn e f Rn C, definimos
a translacao
h f (x) = f (x h).
Proposicao. Assumindo que todas as integrais envolvidas existem, temos
(a) f g = g f .

(b) (f g) h = f (g h).

(c) h (f g) = (h f ) g = f (h g).

(d) supp(f g) supp(f ) + supp(g).

(e) (af ) g = a(f g) = f (ag) se a C.

(f) (f + g) h = (f h) + (g h).

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


Prova.
(a) Mudando a variavel de y para z = x y obtemos

f g (x) = f (x y)g(y)dy = f (z)g(x z)dz = g f (x).

(b) Utilizemos o teorema de Fubini e a comutatividade [vide (a)]. Segue

(f g) h (x) = (g f )(x y)h(y)dy

= g(x y z)f (z)h(y)dzdy

= (g h)(x z)f (z)dz = (g h) f (x)


= f (g h) (x).

(c) Segue de

h (f g)(x) = f (x h y)g(y)dy = (h f )(x y)g(y)dy = (h f ) g (x).

(d) Se x nao pertence a supp(f ) + supp(g), entao para cada y supp(g) nos
temos xy supp(f ). Donde segue f (xy)g(y) = 0 para todo y e, portanto,
f g (x) = 0. Logo,

{x (f g)(x) 0} supp(f ) + supp(g).

(e) e (f). Triviais

16
Oswaldo Rio Branco de Oliveira

Comentario. O produto de convolucao e comutativo, associativo e bilinear,


analogamente ao produto usual. Ainda, utilizando Transformada de Fourier
nao e difcil provar que (mas nao o faremos) a transformada de Fourier do produto
de convolucao e exatamente o produto das transformadas de Fourier. Isto e,
F(f g) = (Ff ) (Fg).
O lema abaixo, de prova trivial, e bastante utilizado.

Lema. Se f C0 (Rn ) [e.g., f Cc (Rn )], entao f e uniformemente contnua.


Prova.
Dado > 0 existe r > 0 garantindo f (x) < se x r. Como f e contnua e
entao uniformemente contnua no compacto D(0, r + 2), existe 0 < < 1 tal
que temos f (x)f (y) < se xy < , onde x D(0, r +2) e y D(0, r +2).

Figura 2.9: Os discos D(0, r) e D(0, r + 2)


Assim, dados u Rn e v Rn tais que u v < , temos f (u) f (v) < 2

Lema (Continuidade da translacao em Lp ). Dado 1 p < , a translacao e


contnua em Lp (Rn ). Isto e, fixados f Lp (Rn ) e um vetor v Rn temos
v+h f v f p 0 em Rn .
0 se h
Prova. No captulo 1 vimos que f ( + h) f ()p 0 se h 0. Portanto
v+h f v f p = f ( v h) f ( v)p = f ( h) f ()p 0
h0

Lema. Seja f Rn C mensuravel. Entao, a funcao


K(x, y) = f (x y) e mensuravel em Rn Rn .
Prova.
A funcao F (x, y) = f (x) e mensuravel em Rn Rn , pois o conjunto
F 1 (O) = f 1 (O) Rn
e mensuravel (cheque) para todo aberto O C. Gratos ao isomorfismo linear
T (x, y) = (x y, x + y) conclumos que F T = K e mensuravel (cheque)

17
Comentario (O significado do produto de convolucao em EDP).

Consideremos
P = P (x, ) = a ,
k

um operador diferencial com coeficientes constantes e suponhamos que po-


demos resolver (com solucao unica) a equacao P u = g, na forma

u(x) = (Kg)(x) = k(x, y)g(y)dy


Rn

onde a funcao k(x, y) e um nucleo (kernel) integral. A suposicao e natural


ja que a integracao e o inverso da diferenciacao.
A seguir, consideremos um vetor v Rn e o operador translacao v . Como
vale a comutatividade v P = P v (esta e outra forma de caracterizarmos os
operadores diferenciais lineres de coeficientes constantes) e P 1 = K (con-
sequencia de nossas suposicoes), devemos esperar que valha

v K = Kv .

Explicitando esta equacao encontramos

k(x v, y)g(y)dy = (Kg)(x v)

= v Kg(x) = (Kv g)(x)

= k(x, y)g(y v)dy

= k(x, y + v)g(y)dy.

Pela arbitrariedade de g conclumos que k(x v, y) = k(x, y + v). Substi-


tuindo y = 0 obtemos k(x, v) = k(x v, 0) = (x v). Encontramos entao

Kg = g.

Assim, esperamos que o operador de convolucao surja naturalmente ao re-


solvermos equacoes diferenciais parciais com coeficientes constantes

18
Oswaldo Rio Branco de Oliveira

A seguir, veremos alguns resultados sobre o produto de convolucao entre duas


funcoes. A primeira proposicao inclui um enunciado para funcoes nao negati-
vas (positivas). Os demais enunciados supoem cada uma das funcoes em um
particular espaco (que pode ser um Lp (Rn ) ou um espaco de funcoes contnuas).
O produto de convolucao para funcoes positivas tem a interessante propriedade
a integral do produto (de convolucao) e o produto das integrais.

Proposicao [A Convolucao de funcoes positivas e em L1 (Rn ) L1 (Rn )].

(a) Consideremos f Rn [0, +] e g Rn [0, +] mensuraveis. Entao,


f g Rn [0, +] e mensuravel e

(f g)dx = ( f dx) ( gdx) .

Isto e, f g1 = f 1 g1 .

(b) Consideremos f L(Rn ) e g em L(Rn ). Entao, f g L(Rn ) e valem

(f g) dx = ( f dx) ( g dx) e f g1 f 1 g1 .

Prova.

(a) Pelo ultimo lema acima, f (x y)g(y) 0 e mensuravel. Pelo teorema de


Fubini segue que f g e mensuravel. Aplicando novamente Fubini segue

(f g)(x)dx = f (x y)g(y)dydx = f (x y)g(y)dxdy

= g(y) ( f (x y)dx) dy = g(y) ( f (x)dx) dy.

A ultima afirmacao e evidente.

(b) Decompondo f e g em suas partes reais e imaginarias e estas em suas partes


positivas e negativas, todas nao negativas, mensuraveis, integraveis e finitas
em todo ponto, pela bilinearidade do produto de convolucao e o item (a)
segue f g L(Rn ) e a identidade anunciada.
A desigualdade triangular para integrais garante f g f g. Logo,

f g1 f g1 = f 1 g1

19
O resultado a seguir (vide o particular caso p = 1) inclui a desigualdade no
item (b) da proposicao que acabamos de demonstrar.

Teorema (Desigualdade de Young e o produto de convolucao em L1 Lp ).


Consideremos p [1, ], uma funcao f L1 (Rn ) e g Lp (Rn ). Entao, f g esta
definida em quase todo ponto, e mensuravel, pertence a Lp (Rn ) e

f gp f 1 gp .

Prova.

Por Tonelli, f g e mensuravel se f 0 e g 0. E trivial constatar que


(f g)(x) < se e somente se (f g)(x) < . Temos f g f g.
Portanto, podemos supor f 0 e g 0.

O teorema segue direto da desigualdade de Young generalizada [captulo


1, secao 1.6 - algumas desigualdades uteis] aplicada ao nucleo mensuravel
K(x, y) = f (x y) [vide ultimo lema acima], que satisfaz

K(x, y)dx = K(x, y)dy = f 1 ,

e ao operador de convolucao

T g(x) = K(x, y)g(y)dy = f (x y)g(y)dy = (f g)(x).

Alternativamente, basta aplicar a desigualdade integral de Minkowski (a).


Notemos que o caso p = e trivial. Para o caso p finito, temos

f gp = f (y)g( y)dy f (y)y gp dy = f 1 gp


p

Como consequencia, o espaco L1 (Rn , m) munido do produto de convolucao e


uma algebra de Banach abeliana. Ainda mais,

L1 (Rn ) L1 (Rn ) L1 (Rn ) e bilinear contnuo.

A proxima desigualdade generaliza a desigualdade acima. No enunciado que


veremos a seguir, o particular caso q = 1 corresponde a elementar desigualdade
de Young provada imediatamente acima.

20
Oswaldo Rio Branco de Oliveira

Teorema (Desigualdade de Young generalizada e convolucao em Lp Lq ).


Seja {p, q, r} [1, ] tal que

[claramente, p r e q r].
1 1
+ =1+
1
p q r
Se f Lp (Rn ) e g Lq (Rn ), entao f g e mensuravel, esta em Lr (Rn ) e

f gr f p gq .

Prova.
Iniciemos como no teorema acima. Por Tonelli, f g e mensuravel se f 0 e
g 0. E trivial constatar que (f g)(x) < se e somente se (f g)(x) < .
Temos f g f g. Logo, podemos supor f 0 e g 0.

O caso p, q e r finitos. Se r = p ou r = q, recamos no teorema acima.


Portanto, podemos supor r p e r q. Escrevendo

(f g)(x) = f (y) r g(x y) r .f (y)p( p r ) .g(x y)q( q r ) dy


p q 1 1 1 1

usemos a desigualdade de Holder com tres funcoes e expoentes r, p1 e p2 ,


1 1 1
=
1 1 1
onde e = .
p1 p r p2 q r
Notemos que p1 e p2 sao finitos e
1 1 1
+ + = 1.
r p1 p2
Entao, pela desigualdade de Holder generalizada (secao 1.4) segue

(f g)(x) f () r g(x ) r f p1 g(x ) p2 .


p q p q

r p1 p2

Donde obtemos

(f g)(x)r ( f (y)p g(x y)q dy) f pp1 g qp2 .


pr qr

Integrando em x e trocando a ordem de integracao por Fubini encontramos

f grr f pp gqq f pp1 g qp2 = f rp grq .


rp rq

O caso r = . Pela desigualdade de Holder temos, em todo ponto,

(f g)(x) f (x y)g(y)dy f (x )p gq = f p gq .

Logo, f g f p gq .

O caso p = . Entao, temos r = (ja provado)

21
Fixada uma funcao K, a convolucao f K define uma aplicacao

T f z f K

chamada operador de convolucao com nucleo K. Ja vimos (desigualdade de


Young) que se K L1 , entao obtemos T Lp Lp continuamente.
Seja f C contnua, com aberto em Rn . Entao temos (cheque)

f u = sup{f (x) x } = f , com a notacao f u = se f e ilimitada.


Segue uma clara propriedade de suavizacao/regularizacao da convolucao.
Proposicao [O Produto de convolucao em Lp (Rn ) Lp (Rn )]. Sejam p e p

expoentes conjugados, f Lp (Rn ) e g Lp (Rn ). Entao,







f g esta bem definida em todo ponto,

f g e limitada e uniformemente contnua e





f gu f p gp .
Se p e p sao finitos, entao f g C0 (Rn ).
Prova.
Dado x Rn , temos que f (x ) Lp e g() Lp . Por Holder segue que

(f g)(x) e um numero e a desigualdade (f g)(x) f p gp em todo x.

Continuidade uniforme. Se p < , a continuidade da translacao em Lp mostra

(f g)(x h) (f g)(x) = h (f g)(x) (f g)(x)

= (h f g)(x) (f g)(x) = [(h f f ) g](x)

h f f p gp 0.
h0

Tal limite independe de x. Logo, f g e uniformemente contnua.


Para p = , basta notar que f g = g f com p finito e aplicar o caso p < .

A funcao f g se anula no infinito. Sejam p e p finitos. Seja 0 < < 1.


A densidade de Cc (Rn ) em Lp (Rn ) (vide secao 1.3 - fatos basicos) garante
existirem F Cc (Rn ) e G Cc (Rn ) tais que f F p < /[2(gp + 1)] e
g Gp < /[2(F p + 1)]. A funcao f g e contnua e a funcao F G e
contnua e de suporte compacto.
Temos f g F Gu = (f F ) g + F (g G)u < /2 + /2 = (cheque).
Para x grande o suficiente segue (f g)(x) . Isto e, f g C0 (Rn )

22
Oswaldo Rio Branco de Oliveira

A seguir, vejamos um exemplo de uma funcao infinitamente derivavel e de


suporte compacto no espaco n-dimensional.

A funcao curva do sino. Consideremos a funcao Rn R definida por



se x < 1
1



c e 1x2
(x) =





0 caso contrario,

onde a constante real c e definida pela condicao

(x)dx = 1.

Notemos que



e 1x2 se 1 < x < 1
1



(x) = c(x2 ), onde (x) =





0 caso contrario.

Ja vimos que e de classe C . Logo, a funcao Rn R e de classe C e,


e claro, de suporte compacto. Vide grafico abaixo, para o caso n = 2.

Figura 2.10: Grafico da funcao curva do sino = (x, y), no caso n = 2.

A seguir, temos dois resultados para a derivada de uma convolucao.

23
Lema [A Derivada do Produto de Convolucao no espaco L(Rn )C k (Rn )].
Sejam f L(Rn ) e g C k (Rn ), com g limitada para todo k. Entao temos

f g Ck e (f g) = f g, se k.

Ainda mais, as derivadas de ordem menor ou igual a k de f g sao limitadas.


Prova.

Escrevamos
(f g)(x) = f (y)g(x y) dy.
Rn

O caso k = 0. A funcao f (y)g(x y) e majorada por Cf (y) L1 (Rn ),


para alguma constante C que independe de x, e e contnua na variavel x.
Portanto, a integral e finita para cada x e pelo teorema continuidade sob o
signo da integral (vide secao 1.2) segue que f g e contnua.

O caso k = 1. Fixemos j {1, . . . , n}. Pelo caso k = 0 segue que f j g e


contnua. Para quaisquer x e y temos

xj [f (y)g(x y)] = f (y)(j g)(x y) Cf (y) L1 (Rn ).

Entao, pela derivacao sob o signo da integral (secao 1.2) temos que existe
j (f g) e que j (f g) = f j g [contnua]. Variando j conclumos que

f g C 1.

O caso k 1. Segue trivialmente por inducao (cheque).

Paa finalizar, vale a desigualdade

(f g) = f g f 1 g < se 0 k

O teorema a seguir, tambem sobre derivacao do produto de convolucao f g,


mostra que exigindo mais de g temos mais liberdade para f .

Seja aberto em Rn . Escrevemos O se O e um aberto relativamente


compacto de . Isto e, temos O O , com O aberto e O compacto.

24
Oswaldo Rio Branco de Oliveira

Lema [A Derivada do Produto de Convolucao no espaco Lp (Rn )Cck (Rn )].


Sejam p [1, ], uma funcao f Lp (Rn ), uma funcao g Cck (Rn ) e um multi-
ndice Nn com k. Entao,

f g C k (Rn ) e (f g) = f g.

Prova. [Aquela em Wheeden & Zygmund [16, 146-147] e ardua sem necessidade.]

Dados A Rn e B Rn , escrevemos A B = {a b a A e b B}.


Dado x Rn , o conjunto x supp(g) e compacto e

(f g)(x) = f (y)g(x y)dy.


xsupp(g)

Como f Lp (), seguem f L1 (x supp(g)) e (f g)(x) < . Cheque.

Seja O Rn . Seja K = O supp(g), compacto em Rn . Encontramos

(f g)(x) = f (y)g(x y)dy para todo x O.


K

Como f Lp (), entao f L1 (K). A funcao g e suas derivadas ate ordem


k sao contnuas, limitadas e existe uma constante C tal que

x [f (y)g(x y)] Cf (y), para todos x O, y K e k.

Entao, o teorema continuidade e derivacao sob o signo da integral (vide


secao 1.2) revela que f g C k (O) e (f g) = f ( g) se k

Exerccio. Escreva uma prova direta do teorema acima. Sem utilizar o teo-
rema da continuidade e derivacao sob o signo da integral. E tambem importante.

Corolario [O Produto de convolucao definido no espaco Lp (Rn )Cc (Rn )].


Consideremos f Lp (Rn ) e g Cc (Rn ), entao

f g C0 (Rn ) Lp (Rn ) e (f g) = f g para todo .

Prova.

Segue do lema imediatamente acima, da proposicao o produto de convolucao


em Lp (Rn )Lp (Rn ) e da desigualdade de Young e o produto de convolucao

em Lp (Rn ) L1 (Rn )

25
2.3 Aproximacao da Identidade

Seja L1 (Rn ) cuja integral sobre Rn e nao nula. A normalizacao


1
, onde c = (x)dx 0,
c
e uma funcao integravel em Rn e sua integral obviamente vale 1.
A funcao
(x) = ( ) , onde > 0,
1 x
n
satisfaz

(x)dx = n ( ) dx = n (y) dy = (y)dy.


1 x 1 n

Definicao. Uma aproximacao da identidade e uma famlia { } > 0 , onde

(x)dx = 1.

Como mostrado acima, a integral de cada sobre Rn tambem vale 1.


Em geral indicamos a famlia { }>0 por { } ou mesmo { }.
Notacoes.

Sejam f Rn C mensuravel e L1 (Rn ). Escrevemos

f = f (se existir a convolucao).

Notemos que estamos utilizando o sub-ndice com dois sentidos distintos.

Seja gn X C uma sequencia de funcoes tal que gn converge a g unifor-


memente se n +. Escrevemos
unif ormemente
gn g.

Seja g X C uma famlia de funcoes complexas, indexada em > 0, tal


que g converge a g uniformemente se 0. Escrevemos
unif ormemente
g g se 0.

26
Oswaldo Rio Branco de Oliveira

Lema (Tres Formulas para f ). Sejam f Rn C mensuravel e L1 (Rn )


tais que existe f = f . Entao,

(f )(x) = f (x y) (y)dy = f (z) (x z)dz = f (x t)(t)dt.

Vale tambem (f )(x) f 1 em todo ponto (seja f finita ou nao).


Prova.

A primeira identidade e uma definicao e a segunda segue da comutatividade


do produto de convolucao. A terceira segue da mudanca x z = t.

Para encerrar, basta a desigualdade triangular para integrais e 1 = 1

Notacoes de Bachman-Landau ou Notacao Assintotica. Sejam f e g


funcoes definidas em uma vizinhanca de um ponto x0 . Tal ponto pode ser .
[Wheeden & Zygmund e https://en.wikipedia.org/wiki/Big_O_notation.]

Notacao O grande. Escrevemos

f (x) = O(g(x)) se x x0

caso exista uma constante C > 0 satisfazendo

f (x) Cg(x) para todo x perto de x0 .

A notacao O grande classifica funcoes de acordo com sua taxa de cres-


cimento. Diferentes funcoes com mesma taxa de crescimento podem ser
representadas com a mesma notacao O.
A letra O e utilizada por que a taxa de crescimento de f e tambem dita a
ordem de f . Uma descricao de f em termos da notacao O grande geralmente
fornece apenas um limite superior para a taxa de crescimento de f .

Notacao o pequeno. Escrevemos

f (x) = o(g(x)) se x x0

se temos
f (x)
0 se x x0 .
g(x)
E facil ver que

se temos f (x) = o(g(x)) se x x0 , entao temos f (x) = O(g(x)) se x x0 .

27
O nome Aproximacao da Identidade deve-se a casos em que { } nos da uma
aproximacao do operador identidade sobre Lp (Rn ) por operadores de convolucao.

Teorema (Aproximacao da Identidade e Convergencia Pontual em L ).


Sejam { } uma aproximacao da identidade e f L (Rn ). Seja f = f . Entao,

f (x) f (x) em todo ponto x de continuidade de f .


0

Prova.

Seja x um ponto de continuidade de f . Temos 1 = 1 . Segue

(f )(x)f (x) = f (x y) (y)dy f (x) (y)dy

f (x y) f (x) (y)dy

f (xy)f (x) (y)dy +2f ( ) dy


1 y
yr yr n

(sup f (x y) f (x)) 1 + 2f (t)dt.


yr t r

Dado > 0, a continuidade em x garante r > 0 tal que a penultima parcela


e majorada por . Fixado tal r, a ultima integral tende a zero se 0

Teorema (Aproximacao da Identidade e Convergencia Pontual em Lp ).


Seja { } uma aproximacao da identidade com de decaimento (x) = o(xn )
se x +. Sejam f Lp (Rn ) e p [1, ]. Se f e contnua no ponto x, entao

f (x) f (x).
0

Prova. (Adapta e generaliza Wheeden & Zygmund [16, pp. 150151].)

Caso p = . Vide versao mais forte no teorema imediatamente acima.

Caso 1 p < . A priori, nao sabemos se (f )(x) e finita no ponto x.

Temos 1 = 1 . Computando formalmente segue

(2.3.1) (f )(x)f (x) = f (x y) (y)dy f (x) (y)dy

f (x y) f (x) (y)dy

f (x y) f (x) (y)dy + f (x y) (y)dy + f (x) (y)dy.


yr yr yr

28
Oswaldo Rio Branco de Oliveira

Dado > 0, na prova do teorema acima vimos que continuidade em x


garante r > 0 tal que a ante-penultima integral e majorada por . Fixado
tal r, no teorema acima vimos que a ultima integral tende a zero se 0.

A penultima integral e majorada por (com 1 < p , p e p conjugados)

f p .
{y yr} p

Destaquemos a identidade

(y) = ( ) .
1 y n y
y
n

O caso p = +. Segue de (substituindo t = y/ na identidade destacada)

1 0
sup (y) sup tn (t) 0.
yr r t r
n

O caso 1 < p < . Segue de


p
(y) [sup ( )]
y n

y 1

p
ynp
dy dy
yr
yr yr

= sup tn (t)
dy 0

t ynp
0.
r
yr

Mostramos entao que

y [f (x y) f (x)] (y) e integravel.

Desta forma, como


y f (x) (y) integravel,

conclumos que y f (x y) (y) tambem e integravel. Isto e, existe


(f )(x). Pelos computos formais em (2.3.1) completamos a prova

29
Extra (esta prova introduz um conceito da teoria de diferenciacao de Lebesgue).
Segue uma versao mais forte do teorema acima. Seja f uma funcao integravel
sobre os conjuntos limitados (mensuraveis). Antes, algumas observacoes.

Dizemos que um ponto x pertence ao Conjunto de Lebesgue de f se

f (x y) f (x)dy 0.
1
m (D(0, r)) D(0,r)
r0

Dada uma arbitraria f Lp (Rn ) e K compacto em Rn , e trivial ver que


f K Lp (K) e K Lp (K). Pela desigualdade de Holder segue f L1 (K).

Dadas Rn C e > 0, sao equivalentes as condicoes (com x +)

e limitada e (x) = O(x ), se x +, e (1+x) (x) limitada.

Teorema (Aproximacao da Identidade e Convergencia Pontual em


Lp ). Seja { } uma aproximacao da identidade com (x) C(1 + x)n
para algum C > 0 e para alguma > 0 [esta condicao assegura L1 (Rn ),
cheque]. Seja f Lp (Rn ), onde p [1, ]. Entao,

f (x) f (x) nos pontos do conjunto de Lebesgue de f .


0

Em particular, f f q.t.p. e tambem nos pontos de continuidade de f .


Prova. (Extrada de Folland [8, pp. 243-244]. Vide a bela e curta prova, via
integral de Riemann-Stieltjes, em Wheeden & Zygmund [16, pp. 152-154].)

Seja x no conjunto de Lebesgue de f . Dado > 0, existe > 0 tal que

yr f (x y) f (x)dy r para todo 0 < r .


n

Sejam

I1 = f (xy)f (x) (y)dy e I2 = f (xy)f (x) (y)dy.


y< y>

Mostremos que I1 e limitado por A, com A independente de , e que


0
I2 0. Tendo provado tais fatos, atraves da desigualdade

(f )(x) f (x) I1 + I2

encontramos
lim sup (f )(x) f (x) A
0
e entao, como e arbitrario, a prova estara completa.

30
Oswaldo Rio Branco de Oliveira

A estimativa para I1 . Consideremos um inteiro K tal que

2K < 2K+1 , se 1, e K = 0 se < 1.




A bola aberta B(0, ) e a reuniao dos aneis

{y y < k1 } , onde 1 k K, com a bola B (0, ).



2 k 2 2K
No k-esimo anel temos
n
y n 2k
(y) C n
Cn [ ] .

Na bola B(0, 2K ) utilizemos a obvia estimativa (y) Cn .


Segue
n
2k
[ ] f (x y) f (x)dy
K
I1 C n

k=1
2k y < 21k

+Cn f (x y) f (y)dy.
y < 2k

Utilizando a desigualdade devida a x estar no conjunto de Lebesgue


de f e que

2K < 2K+1 (pois, estamos interessados em pequeno),




encontramos
n
2k
I1 C (2 [ ] + Cn (2K )n
K
1k n n
)
k=1

K
n
2K
= 2 C [ ] 2k + C [
n
]
k=1
2(K+1) 2
n
2K
= 2 C [ ]
n
+ C [ ]
2 1
2(K+1) 2
= 2n C2(K+1) + C2n
2 1
2n C[2 (2 1)1 + 1].

31
A estimativa para I2 . Seja p o expoente conjugado de p e a funcao
caracterstica de
{y y } = Rn B(0, ).

Pela desigualdade de Holder encontramos

I2 (f (x y) + f (x)) (y)dy
y

f p p + f (x) 1 .

Portanto e suficiente mostrarmos que para todo q [1, ], e em par-


ticular para q = 1 e q = p , vale

q 0.
0

Caso q = . E trivial ver que


1
n+ = C
C 1 0
( + )
0.
(1 + )
n n+

Caso q < . Temos

qq = ( ) dy
1 y
y nq

= z (z) dz
1 q
(q1)n


C1
r
n1(n+)q
(q1)n
dr

[ ]
n(n+)q
=
C2
(q1)n
= C3 q .

Logo, I2 tende a zero se 0. A prova esta completa

Concluda a demonstracao deste resultado extra, retornemos ao estudo de


resultados sobre o produto de convolucao que nao dependem de conceitos um
tanto quanto sofisticados da teoria da medida de Lebessgue.

32
Oswaldo Rio Branco de Oliveira

Teorema (Propriedades da Aproximacao da Identidade). Sejam { }


uma aproximacao da identidade e f Rn C. Valem as propriedades abaixo.

(a) Se f Lp (Rn ), onde 1 p < , entao


Lp
f f se 0.

(b) Se f L (Rn ) e f e uniformemente contnua, entao


uniformemente
f f se 0.

(c) Se f L (Rn ) e f e contnua em um aberto , entao


0
f f uniformemente sobre os compactos de .

Prova.

(a) Pela desigualdade de Young, f Lp . O primeiro lema nesta secao mostra

(f )(x) f (x) = [f (x t) f (x)](t)dt.

Pela desigualdade generalizada de Minkowski (captulo 1) [no caso p = 1 e


suficiente aplicar o teorema de Tonelli (cheque)], segue
1

f f p = ( (f )(x) f (x) dx)


p
p

= ( [f (x t) f (x)] (t)dt dx)


p p

[ ( f (x t) f (x) (t)dt) dx]


p p

( f (x t) f (x) (t) dx) dt


p
p p

= f (x t) f (x)p (t)dt.

Analisemos a ultima integral. O integrando e mensuravel pelo teorema de


Tonelli. O integrando e majorado por t 2f p (t) L1 . Fixado t, pela
continuidade da translacao em Lp (vide captulo 1) o integrando tende a
zero se 0. Entao, pelo teorema da convergencia dominada segue a tese.

33
(b) Seja x em Rn . Pelo lema tres formulas para f nesta secao segue

(f )(x) f (x) f (x t) f (x) (t)dt

= f (x t) f (x)(t) dt + 2f (t)dt
t r tr

=( sup f (s t) f (s)) 1 + 2f (t)dt.


s Rn , tr tr

Dado > 0, existe r > 0 tal que esta ultima integral e inferior a . Para tal
r e pela continuidade uniforme de f , e trivial ver que o sup imediatamente
acima converge a 0 se 0.

(c) Seja K um compacto contido em . Seja x K. Analogamente a (b), segue

(f )(x) f (x) f (x t) f (x) (t)dt

( sup f (s t) f (s)) 1 + 2f (t)dt.


s K, tr tr

Dado > 0, existe r > 0 tal que esta ultima integral e inferior a . Fixo tal
r, para valores pequenos de > 0 temos


K + D(0; r) K

com K um compacto fixo em . Por continuidade, f e uniformemente


Portanto, o sup indicado acima converge a 0 se 0
contnua em K.

Comentario. Dado K compacto em Rn e > 0, o conjunto K = K + D(0, ) e



dito uma vizinhanca compacta de K, pois satisfaz as condicoes K int(K)
e compacto. Temos K + D(0, ) = {x Rn d(x, K) } e escrevemos
e K
K + D(0, ) = D(K, ). Logo, D(K, ) e o disco (fechado) de centro K e raio .

Figura 2.11: Disco D(K, ) = K + D(0, ), com K um retangulo de lados a e b.

34
Oswaldo Rio Branco de Oliveira

Proposicao. Vale o que segue.


(a) Cc () e denso em Lp (), dado aberto e 1 p < .

(b) Cc (Rn ) e denso em C0 (Rn ).


Prova. Seja = (x) Cc (Rn ), a funcao curva do sino dada na secao anterior.
(a) Vimos na secao 1.2 que Cc () e denso em Lp (), se e aberto e 1 p < .
Logo, dada f Lp () e > 0, existe g Cc () tal que

g f p < e supp( g) supp( ) + supp(g) D(0, ) + supp(g).

Logo, supp( g) e compacto dentro de se e pequeno o suficiente. Como


C , segue (ja vimos) g C . Logo, g Cc () se e pequeno .
A propriedade da aproximacao da identidade (a), teorema acima, garante

g gp 0 se 0.

Logo, Cc () e denso em Lp ().

(b) Sejam f C0 (Rn ) e > 0. Existe r > 0 tal que f (x) para todo x r.
E trivial construir Cc (Rn ) tal que

0 1 com 1 em D(0, r) e 0 fora de D(0, r + 1).

[Considere g R [0, 1] como na figura abaixo e defina (x) = g(x).]

Figura 2.12: Construcao de uma funcao (trapezoidal) g R [0, 1].

Segue f f u . Cheque, note f f = (1 )f .


Ja mostramos que (f ) Cc (Rn ). A propriedade da aproximacao da
identidade (b), teorema acima, garante

(f ) f u 0 se 0.

Logo, Cc (Rn ) e denso em C0 (Rn )

35
2.4 Lema de Urysohn (C ), Particao da Uni-
dade e Teorema de Tietze

Notacao. Escrevemos f Cc (, [a, b]) se temos: f Cc () e a f b.

Lema de Urysohn (C ). Suponhamos K Rn , com K compacto e


aberto. Entao, existe f Cc () tal que

0 f 1 e f 1 numa vizinhanca de K.

Figura 2.13: Uma funcao em Cc (R, [0, 1]) que vale 1 em um intervalo compacto.

Prova.

Seja 4 = d(K, Rn ) > 0 a distancia de K ao complementar de [tal


distancia e nao zero pois K e compacto e, ainda, se = Rn entao qualquer
4 > 0 nos serve]. O conjunto

= K + D(0, ) = {x + y x K e y }
K

e uma vizinhanca compacta de K e em . Cheque.


= {z Rn d(z, K) }.]
[Com frequencia e tambem utilizada a descricao K
e a funcao curva do sino
Consideremos a funcao caracterstica K de K
= (x) Cc (Rn ) [vide a secao 2.2]. Por construcao, supp() = D(0, 1).
O suporte de e D(0, ). Dado x K, temos

(K )(x) = K (x y) (y)dy = 1. (y)dy = 1.


D(0,)


E trivial ver que 0 K 1. Temos ainda supp(K ) K+D(0, ) .
Por fim, ja vimos na secao 2.2 que f = K e infinitamente derivavel.

Analogamente, existe f Cc () tal que 0 f 1 e f 1 em K

36
Oswaldo Rio Branco de Oliveira

Notacao. Dados aberto e > 0, indicamos (vide figura) o aberto (cheque)

= {x Rn d(x, Rn ) > } = {x d(x, ) > } = {x D(x, ) }.

Figura 2.14: Os abertos e e o disco D(x, ), no caso limitado.

Tem-se {x Rn d(x, Rn ) } = {x d(x, ) } . Cheque.

Escrevemos O se O e aberto com fecho O compacto contido em . Neste


caso, O e dito um aberto relativamente compacto de .

Sequencia exaustiva de abertos On s (relativamente compactos) para .


Para cada j N, definamos o aberto limitado

Oj = 1 B(0, j).
j

E claro que Oj 1/j . Ja vimos que 1/j . Logo, Oj e um compacto de .

E clara a condicao: Oj Oj+1 . Ainda, dado x existe j tal que

d(x, ) > e x < j.


1
j
Destacamos que valem as duas condicoes (o smbolo indica crescente a)

= Oj e Oj .

Mostremos Oj Oj+1 . Dado Oj existe (xj ) Oj com xj . Donde segue

j < j + 1 e d(, ) = lim d(xj , )


1
>
1
e portanto Oj+1 .
j j +1
Destacamos que vale a condicao

Oj Oj+1 .

As tres condicoes destacadas caracterizam (Oj ) como uma sequencia exaustiva


de abertos (relativamente compactos) para .

37
Teorema (Particao da Unidade, para um aberto e uma exaustao). Seja
Oj , onde j 1, uma sequencia exaustiva de abertos para o aberto . Entao,
existe uma sequencia (j ) em Cc () que satisfaz as tres condicoes abaixo.

Para cada j 1 temos 0 j 1 e supp(j ) Oj .

Para cada x existe uma bola aberta B contendo x tal que, exceto para
uma quantidade finita de ndices j, toda j se anula identicamente em B.

Para cada x temos (com soma finita de termos)

j (x) = 1.
j

Podemos supor supp(j ) Oj Oj3 para cada j 4.


Prova.

[Siga a prova imaginando = R2 e Oj = B(0, j).] Seja O0 tal que O0 O1 .

Pelo lema de Urysohn, para cada j 0 existe j Cc (, [0, 1]) tal que

j 1 numa vizinhanca de Oj e supp(j ) Oj+1 .

Figura 2.15: Secoes verticais dos graficos de 1 e 2 , no caso = R2 .

Ainda no conjunto Cc (, [0, 1]), temos a sequencia (cheque)

0 , 1 , 2 0 , 3 1 , 4 2 , . . . .

Dado x , existe o menor j tal que x Oj . Se j 1 temos j (x) = 1. Se


j 2, temos x Oj Oj1 e supp(j2 ) Oj1 . Logo, j (x) j2 (x) = 1 0.
Assim, ao menos uma entre 0 , 1 , 2 0 , 3 1 , . . . nao e nula em x.

38
Oswaldo Rio Branco de Oliveira

Seja D(x, r) em . Como Oj , existe um ndice N tal que D(x, r) ON .


Para todo j N segue D(x, r) Oj Oj+2 e j j+2 1 em D(x, r).
Donde segue {j j+2 j nao e a funcao nula em B(x, r)} {1, . . . , N 1}.

A soma
= 0 + 1 + (j j2 )
j2

e entao localmente finita. Logo, (0, +) e infinitamente derivavel.

Para a terceira condicao, basta definir

1 = , 2 = 1 e j = se j 3.
0 j1 j3

Seja j 4. Por construcao temos j1 j3 0 numa vizinhanca de Oj3 .


Donde segue supp(j ) = supp(j1 j3 ) Oj Oj3 (cheque)

No caso de uma cobertura arbitraria enumeravel (Oj ), se o suporte de cada


j esta contido em ao menos um dos abertos O1 , O2 , . . . (nao necessariamente
exatamente o aberto Oj - na situacao do teorema provado o suporte de j esta
contido em uma quantidade infinita dos abertos da cobertura), entao dizemos que
(j ) e uma particao da unidade (de classe C e de suporte compacto)
para e subordinada a cobertura = Oj .

Figura 2.16: Particao da unidade com 4 funcoes: verde, amarela, vermelha e azul.

39
Teorema de Tietze. Seja f C(K), com K um compacto no aberto Rn .
Entao, f tem uma extensao F Cc ().

Prova. (Extrada de Rudin [13, pp. 389-390].)

Decompondo f em suas partes real e imaginaria, podemos supor f real.


Como f (K) e compacto, podemos supor 1 f 1. Seja O aberto tal que

K O .

Figura 2.17: Ilustracao para K O .

Sejam

K = {x K f (x) [1, ]} e K + = {x K f (x) [ , 1]} .


1 1
3 3
Entao, K e K + sao compactos, disjuntos e contidos em K O.
Existem abertos disjuntos O e O+ com K O O (cheque). Vide figura.

Figura 2.18: Ilustracao para K O O.

40
Oswaldo Rio Branco de Oliveira

Pelo lema de Urysohn e trivial ver que existe f1 Cc (O) tal que (cheque)

f1
1
em K , f1 em K + , f1 .
1 1 1
3 3 3 3
Segue (cheque)

f f1 e f f1 em K (K K + ).
2 2
em K K +
3 3
Portanto
f f1 e f1
2 1
em K em O.
3 3
A seguir, trocando a funcao f por
3 3
f f1 .
2 2
e iterando obtemos f2 Cc (O) tal que (cheque)

f f1 f2 ( ) em K
2 2
e f2
2
em O.
3 32
Por inducao encontramos fn Cc (O) tal que

f f1 fn ( )
2 n
e fn
2n1
em O.
3 3n
Definamos
F = f1 + f2 + f3 + , no aberto .

Por construcao, tal serie converge para f no compacto K. Isto e, temos

F (x) = f (x) para todo x K.

Ainda mais, pelo teste-M de Weierstrass vemos que tal serie converge uni-
formemente em todo o aberto . Logo, F e contnua em .
Para completar, temos
supp(F ) O

com O compacto e contido em

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

Definicao. Um regularizador (molificante) e uma funcao nao-negativa

Rn [0, +)

de classe C (infinitamente derivavel), com supp() D(0, 1) e tal que

(x)dx = 1.
Destaquemos que 1 = 1 = 1.

Definicoes e notacoes. Seja aberto em Rn . Entao,

Lploc () = {f C tal que f K Lp (K) para todo K compacto em } .

[Os espacos vetoriais Lploc () nao sao normados porem admitem uma topologia.]
Uma sequencia (fn ) de funcoes mensuraveis converge a f no sentido Lploc () se

fn f para todo compacto K .


Lp (K)

K K

Escrevemos entao
Lploc ()
fn f.
Alerta. Nao e necessario fn Lploc () [vide exemplos abaixo e a demonstracao
do Lema de regularizacao e aproximacao em Lploc () a seguir].
Uma sequencia (gn ) Lploc () converge a g Lploc (), na topologia de Lploc (), se
gn converge a g no sentido Lploc (). Escrevemos entao
Lploc ()
gn g.

Exemplo (Uma funcao positiva f R [0, +) tal que f L1loc ([a, b]) para
todo intervalo limitado e nao degenerado [a, b]. Ainda, f e descontnua
em todo ponto e ilimitada em tais [a, b]). Extrado de Folland [8, pp. 5960].

Seja g R [0, ) definida por




t se 0 < t < 1
1
g(t) =


0 caso contrario.

1
Temos
g(t)dt = 2 t0 = 2 < .

42
Oswaldo Rio Branco de Oliveira

Enumeremos Q = {rj j 1}. Definamos h R [0, +] por


g(t rj )
h(t) = .
2j
Pelo teorema da convergencia monotona segue
g(t rj )
h(t)dt = =
1
dt = 2 < .
2j 2j1
Logo, h L1 (R) e portanto h e finita q.t.p. Redefinamos h por h = 0, no
conjunto de medida nula em que h assume o valor .

Consideremos a funcao positiva, e finita em todo ponto,


f = h2 R [0, +).
Entao, f e mensuravel e satisfaz
g(t rj ) g(t rk )
f (t)dt =
b b
a a 2j 2k
dt.
j k

Seja rk no intervalo (a, b). Segue


min(b,rk +1)
a f (t)dt 4k r
1 1
dt = .
b

k t rk
Solicito ao leitor mostrar que f e descontnua em todo ponto
Exemplo (Uma sequencia (fn ) que converge no sentido de L1loc (R),
porem com cada fn L1loc (R)).
Seja f como no exemplo acima. E trivial ver que

fn = f (n,+) 0 com cada fn L1loc (R)


L1loc (R)

A seguir, observemos a inclusao [a flecha indica inclusao contnua]


Lp () Lploc ().

Identifiquemos Lp () {u Lp (Rn ) u 0 no complementar de }. Entao,


Lp () Lp (Rn ) isometricamente.

Sejam f Lploc () e K compacto em . A desigualdade de Holder mostra


f K 1 f K p K p .

Entao segue
Lploc () L1loc ().
Donde, L1loc () e o maior dos espacos (definidos em ) ate aqui considerados.

43
Dado O , temos d(O, Rn ) = d(O, ) = d(O, ) > 0.

Notacao. Dado aberto, indicamos (vide figura) o aberto

= {x d(x, ) > } = {x Rn D(x, ) }.

Se e limitado, entao temos e tambem d( , ) = d( , ) = .


Cheque as varias afirmacoes acima (cinco no total).

Figura 2.19: Os abertos e , com limitado.

Definicao. Sejam u L1loc () e > 0. Uma regularizacao de u e

u (x) = u(y) (x y)dy = (u )(x) = u(y) ( ) dy, onde x ,


1 xy
n

com um regularizador. [Sabidamente x se so se d(x, Rn ) > .]

Notemos que e o domnio (aberto) da regularizacao u = u .

Atencao. Neste texto utilizamos o sub-ndice com dois sentidos diferentes:


para o regularizador e u para a regularizacao de u. E necessaria a atencao.

A hipotese d(x, Rn ) > e uma condicao de existencia da integral pois


garante que {y y x } = D(x, ) e um disco (compacto) contido em e por
hipotese a funcao u e integravel nos compactos de . Geometricamente e arit-
meticamente, tal hipotese assegura que estamos estimando a media (ponderada)
de u sobre todos os pontos de um disco de centro x. Notemos que a medida de
tal disco e um multiplo de n . De fato, D(x, ) = D(0, ) = n D(0, 1) = n n1 .

Como u L1loc (), nao podemos garantir que u esta definida em .

44
Oswaldo Rio Branco de Oliveira

Para x temos tambem as expressoes (cheque, use x y = t)

u (x) = u(y) (x y)dy = u(x t)(t)dt.


D(x,) D(0,1)

Mostremos que a expressao de u como uma integral sobre D(x, ) implica em

u C (O) para todo O .

Notemos que d(O, ) > (cheque). Dado x O, vale

D(x, ) = x + D(0, ) K = O + D(0, ), com K compacto em .

Segue
u (x) = u(y) (x y)dy, para todo x O.
K

Como u L1 ((K) e e suas derivadas sao contnuas e limitadas (note-se fixo),


o teorema da continuidade e derivacao sob o signo de integral [secao 1.2 - fatos
basicos sobre a integral] revela u C (O). Cheque, notando que para todo
multi-ndice {0} Nn vale

x [ (x y)] = ( )(x y) C , para alguma constante C .

A seguir, observando que (cheque)

= O
O

conclumos que
u C ( ).

Vejamos alguns casos exemplares.

loc () [dizemos que u e localmente limitada q.t.p.]. Entao segue


O caso u L

u (x) u e {u } e localmente (em ) uniformemente limitada.


D(x,)

Por favor, cheque.

45
O caso u L1 (). Meste caso u esta definida em Rn e

u (x) = u(y) (x y)dy C (Rn ).


Cheque, use o teorema continuidade e derivacao sob o signo da integral, a conti-


nuidade de x x [u(y) (x y)] e a desigualdade x [u(y) (x y)] C u(y).
Para x e x proximo a , a regularizacao desconsidera parte de D(x, ).
Notemos que
u (x) = u(y) (x y)dy.
D(x,)

Nesta situacao, D(x, ) c [onde c = Rn ] e descartado (vide figura).

Figura 2.20: O ponto x e D , com D = D(x, ) e D c .

O Caso u L1 () e limitado. Entao u Cc (Rn ) e supp(u ) + D(0, ).


De fato, pelo caso anterior segue u C (Rn ). Quanto ao (esperado) suporte, se
u (x) 0, entao segue D(x, ) (vide ultima formula integral acima) e por
fim encontramos x + D(0, ) + D(0, ).

O Caso u Lp (). Nese caso u esta definida em Rn e

u (x) = u(y) (x y) dy = u(y) (x y) dy C (Rn ).


D(x,)

Notemos que u e bem definida, pois D(x, ) < e a funcao u esta em L1 (X)
se ocorrem X e X < [cheque].
Vejamos que u C (Rn ). Seja O um aberto limitado em Rn , consideremos

X = [O + D(0, )] [logo, X < ].

Se z O, entao D(z, ) O + D(0, ). Cheque D(z, ) = D(z, ) X. Assim,

u (z) = u(y) (z y) dy se z O.
X

Como u L1 (X) e toda e contnua e limitada, segue u C (O). Portanto,


u C (Rn ).

46
Oswaldo Rio Branco de Oliveira

Comentario (Extensao e Regularizacao). Dada uma funcao u R,


definimos a extensao

u em ,
=

u

0 fora de .

L1loc (Rn ). Como exemplo trivial,


Se u L1loc (), e falso (em geral) que u
a funcao
u(t) = , para t (0, ),
1
t
pertence a L1loc ((0, )). Entretanto, sua extensao u
= u em (0, ) e u
=0
em (, 0] nao pertence a L1loc (R).

Lp (Rn ). O
Seja u Lp (), onde p [1, ]. E trivial ver que (a extensao) u
corolario o produto de convolucao em Lp (Rn ) Cc (Rn ) (secao 2.2) mostra

( C (Rn ).
u) = u

determina uma injecao isometrica Lp () Lp (Rn ).


A aplicacao u u
Observemos que para todo x Rn temos

( (y) (x y) dy
u) (x) = u
Rn

= u(y) (x y) dy

= u (x).

Destaquemos a importante (e trivial) propriedade

(
u) = u em Rn , para toda u Lp ().

Porem, para x e proximo a , a convolucao/regularizacao (


u )(x)
0 em D(x, ) . Vide Figura 2.21
leva em consideracao a identidade u
abaixo.

47
Generalizemos, para um x proximo a . A figura abaixo mostra tres
possibilidades para que o disco D = D(x, ) intersecte a fronteira :





com x fora de ,

com x em ,





com x em .

Figura 2.21: Tres possibilidades para D (hachurada), com D = D(x, ).

Com isto encerramos o segundo comentario, dado para u Lp ()

Dada uma funcao u R em um espaco local [e.g. L1loc (), Lploc () e outros
que veremos no captulo 3], interpretamos de forma um tanto imprecisa que suas
regularizacoes u , onde > 0, se aproximam de u na topologia deste espaco local.

Se u Lp (), muitas das propriedades para u podem ser provadas atraves da


Lp (Rn ).
extensao u
Ja no segundo lema a seguir [o lema regularizacao e aproximacao nos espacos
Lploc () e Lp ()] utilizamos tal caracterstica.

O (primeiro) lema abaixo segue trivialmente de propriedades para a apro-


ximacao da identidade (c), enunciadas para funcoes definidas em todo o Rn e
a famlia { } nao necessariamene constituda de funcoes de suporte compacto.
Entretanto, e util (e ate mais facil) uma prova independente de tal propriedade.

48
Oswaldo Rio Branco de Oliveira

Lema [Regularizacao e aproximacao em C() e C()].


(a) Se u C 0 (), entao u u em cada compacto K .
uniforme

(b) Se u C 0 (), com limitado, entao u tem uma extensao v C 0 (O) para
uniforme
todo aberto O contendo . Ainda mais, v u em .

Prova.
(a) Seja 21 = d(K, ) > 0. Dado > 0, seja o correspondente 2 > 0 dado pela
continuidade uniforme de u no compacto K + D(0, 1 ) contido em .
Sejam x arbitrario em K, um regularizador e 0 < < min(1 , 2 ). Segue

(u )(x) u(x) u(x y) u(x)(y)dy (y) dy = .


D(0,1)

(b) Segue do Teorema de Tietze (vide secao anterior) e do item (a)

Lema [Regularizacao e aproximacao em Lp () e Lploc ()]. Seja p [1, ).


(a) Se u Lp (), entao u C (Rn ), com u Lp (), e
Lp ()
u u.

Ainda mais, se supp(u) e compacto em entao u Cc () para pequeno.

(b) Se u Lploc () entao u C ( ) e


Lploc ()
u u.

Prova. (Desnecessariamente ardua em Gilbard & Trudinger [10, pp. 148149].)


Lp (Rn ) e que (
(a) Ja comentamos que u C (Rn ), que u u) = u em Rn .
Pela propriedade da aproximacao da identidade (c) [vide secao 2.3] segue
( em Lp (Rn ). Logo, u u em Lp ().
u) u
A afirmacao sobre o suporte e trivial.

(b) Entao, u L1loc () e (ja comentamos) u C ( ). Seja K compacto em


e r > 0 tal que K = K + D(0, r) . Definamos v = u no compacto K e
v = 0 no complementar de K. Logo, v Lp (Rn ) e

v (x) = v(y) (x y)dy = u (x), para quaisquer 0 < < r e x K.

Ja mostramos que v v em Lp (Rn ). Restringindo a K segue u u


Lp (K)

49
Teorema [Densidade de Cc () em Lploc () e em Lp ()]. Seja p [1, ).

(a) O espaco vetorial Cc () e denso em Lploc ().

(b) O espaco vetorial Cc () e denso em Lp ().

Prova.

Consideremos o aberto = {x d(x, ) > }. Ja mostramos (vide


secao anterior 2.4 - sobre particao da unidade) que os abertos limitados

On = 1 B(0, n)
n

dao uma sequencia exaustiva de abertos (relativamente compactos) para .

Pelo Lema de Urysohn, dado n 2 existe n Cc () satisfazendo (cheque)

0 n 1 e n 1 em On1 [e supp(n ) On ] .

(a) O lema imediatamente acima (regularizacao e aproximacao em Lploc ())


garante existir un C (On ) tal que
Lploc ()
un u.

Mostremos que
n un Cc () e n un u.
Lploc ()

A primeira afirmacao e obvia. Para a segunda, fixemos K compacto em .


Entao, existe N tal que K ON . Para n N + 1, garantimos acima que

(n un ) = un u.
L1 (K)

(b) Temos
n u up 2p up e n u u.
q.t.p.

Pelo teorema da convergencia dominada segue n u up 0. Entao, dado


> 0 existe N tal que N u up < . O suporte de N u e compacto em .
Por fim, a conclusao segue do ultimo lema acima, item (c)

50
Oswaldo Rio Branco de Oliveira

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.

51