Professional Documents
Culture Documents
Notacoes.
1.1 Introducao.
1.5 Dual de Lp .
2.1 Introducao....................................................................................................5
3.1 Introducao
2
Captulo 1
ESPACOS Lp e de HILBERT
3
.
4
Captulo 2
PRODUTO DE
CONVOLUCAO,
APROXIMACAO E
REGULARIZACAO
2.1 Introducao
5
Prova.
a f (x)p(x) dx
b
= .
a
b
p(x) dx
a [M f (x)]p(x) dx = 0.
b
a f (x)p(x)dx
b
= f (c).
a p(x)dx
b
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.
(x) =
se x 0 ,
0
e tal que (n) (0) = 0 para todo n e e de classe C .
lim+ e x = 0 e lim e x = 1.
1 1
x0 x+
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 expressao para e
12
se 1 < x < 1
e
1x
(x) =
caso contrario
0
Definamos a funcao
(x) =
(x)
.
c
Entao, temos
+1 +
1 (x)dx = 1 = (x)dx.
8
Oswaldo Rio Branco de Oliveira
(1) Degrau suave. Seja = (x) a funcao lombada dada acima. Seja
(2) Plato suave. Seja (x) a funcao degrau acima. Dado a > 1, seja
(x) =
1
(x + a)(a x).
c2
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
Ainda mais,
( x )
(x)dx =
dx
1
= (t)dt
1
= 1.
10
Oswaldo Rio Branco de Oliveira
Prova.
= f (x).
f (x) f (0)
0
Indicamos
{ 0 < < 1}
11
Corolario. Seja f uma funcao em Cc (R, R). Consideremos a famlia de funcoes
+
(b) f (x) (p x)dx f (p).
0
Prova.
(b) Basta notar que as integrais em (a) e (b) tem mesmo valor
12
Oswaldo Rio Branco de Oliveira
f g
13
Definicao. Dadas duas funcoes Lebesgue mensuraveis f, g Rn C, definimos
o produto de convolucao [ou, brevemente, convolucao] (f g) (x) por
onde
1, se 0 < x < 1, x, se 0 < x < 2,
f (x) = g(x) =
e
0, caso contrario,
0, caso contrario.
Solucao.
(f g)(x) = 0.
14
Oswaldo Rio Branco de Oliveira
As figuras a seguir mostram que temos entao apenas cinco casos a analisar.
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).
(f) (f + g) h = (f h) + (g h).
(c) Segue de
(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,
16
Oswaldo Rio Branco de Oliveira
17
Comentario (O significado do produto de convolucao em EDP).
Consideremos
P = P (x, ) = a ,
k
v K = Kv .
= k(x, y + v)g(y)dy.
Kg = g.
18
Oswaldo Rio Branco de Oliveira
Isto e, f g1 = f 1 g1 .
(f g) dx = ( f dx) ( g dx) e f g1 f 1 g1 .
Prova.
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.
f gp f 1 gp .
Prova.
e ao operador de convolucao
20
Oswaldo Rio Branco de Oliveira
[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.
r p1 p2
Donde obtemos
(f g)(x) f (x y)g(y)dy f (x )p gq = f p gq .
Logo, f g f p gq .
21
Fixada uma funcao K, a convolucao f K define uma aplicacao
T f z f K
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
h f f p gp 0.
h0
22
Oswaldo Rio Branco de Oliveira
se x < 1
1
c e 1x2
(x) =
0 caso contrario,
(x)dx = 1.
Notemos que
e 1x2 se 1 < x < 1
1
(x) = c(x2 ), onde (x) =
0 caso contrario.
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.
Escrevamos
(f g)(x) = f (y)g(x y) dy.
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.
(f g) = f g f 1 g < se 0 k
24
Oswaldo Rio Branco de Oliveira
f g C k (Rn ) e (f g) = f g.
Prova. [Aquela em Wheeden & Zygmund [16, 146-147] e ardua sem necessidade.]
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.
Prova.
em Lp (Rn ) L1 (Rn )
25
2.3 Aproximacao da Identidade
(x)dx = 1.
26
Oswaldo Rio Branco de Oliveira
f (x) = O(g(x)) se x x0
f (x) = o(g(x)) se x x0
se temos
f (x)
0 se x x0 .
g(x)
E facil ver que
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.
Prova.
f (x y) f (x) (y)dy
f (x) f (x).
0
f (x y) f (x) (y)dy
28
Oswaldo Rio Branco de Oliveira
f p .
{y yr} p
Destaquemos a identidade
(y) = ( ) .
1 y n y
y
n
1 0
sup (y) sup tn (t) 0.
yr r t r
n
= sup tn (t)
dy 0
t ynp
0.
r
yr
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.
f (x y) f (x)dy 0.
1
m (D(0, r)) D(0,r)
r0
Sejam
(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
+Cn f (x y) f (y)dy.
y < 2k
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, ).
I2 (f (x y) + f (x)) (y)dy
y
f p p + f (x) 1 .
q 0.
0
1
n+ = C
C 1 0
( + )
0.
(1 + )
n n+
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 .
32
Oswaldo Rio Branco de Oliveira
Prova.
= f (x t) f (x)p (t)dt.
33
(b) Seja x em Rn . Pelo lema tres formulas para f nesta secao segue
= f (x t) f (x)(t) dt + 2f (t)dt
t r 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.
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
34
Oswaldo Rio Branco de Oliveira
g gp 0 se 0.
(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
(f ) f u 0 se 0.
35
2.4 Lema de Urysohn (C ), Particao da Uni-
dade e Teorema de Tietze
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.
= K + D(0, ) = {x + y x K e y }
K
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
Oj = 1 B(0, j).
j
= Oj e Oj .
Oj Oj+1 .
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 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.
j (x) = 1.
j
Pelo lema de Urysohn, para cada j 0 existe j Cc (, [0, 1]) tal que
0 , 1 , 2 0 , 3 1 , 4 2 , . . . .
38
Oswaldo Rio Branco de Oliveira
A soma
= 0 + 1 + (j j2 )
j2
1 = , 2 = 1 e j = se j 3.
0 j1 j3
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 ().
K O .
Sejam
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 .
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
41
2.5 Regularizacao e Aproximacao em Lploc() e Lp()
Rn [0, +)
(x)dx = 1.
Destaquemos que 1 = 1 = 1.
[Os espacos vetoriais Lploc () nao sao normados porem admitem uma topologia.]
Uma sequencia (fn ) de funcoes mensuraveis converge a f no sentido Lploc () se
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].
1
Temos
g(t)dt = 2 t0 = 2 < .
42
Oswaldo Rio Branco de Oliveira
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
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.
44
Oswaldo Rio Branco de Oliveira
Segue
u (x) = u(y) (x y)dy, para todo x O.
K
= O
O
conclumos que
u C ( ).
45
O caso u L1 (). Meste caso u esta definida em Rn e
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
u (z) = u(y) (z y) dy se z O.
X
46
Oswaldo Rio Branco de Oliveira
definimos a extensao
u em ,
=
u
0 fora de .
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
( (y) (x y) dy
u) (x) = u
Rn
= u(y) (x y) dy
= u (x).
(
u) = u em Rn , para toda u Lp ().
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 .
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.
48
Oswaldo Rio Branco de Oliveira
(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
49
Teorema [Densidade de Cc () em Lploc () e em Lp ()]. Seja p [1, ).
Prova.
On = 1 B(0, n)
n
0 n 1 e n 1 em On1 [e supp(n ) On ] .
Mostremos que
n un Cc () e n un u.
Lploc ()
(n un ) = un u.
L1 (K)
(b) Temos
n u up 2p up e n u u.
q.t.p.
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