NOTAS SOBRE OS ESPAC OS DE BESOV E A

EQUAC

AO DE VLASOVPOISSON
Marcelo M. Santos
IMECCUNICAMP
E-mail: msantos@ime.unicamp.br
1 Introducao
Nestas notas faremos uma breve introducao aos espacos de Besov B
s
p,q
(R
n
)
seguindo a referencia [19]. O nosso proposito e dar uma nocao sobre os mesmos,
enunciando resultados e dando algumas demonstrac oes. Essencialmente todas
as demonstra coes podem ser obtidas em [19]; v. tambem [20] e [3]. Uma das
nossas motivac oes para estudar os espacos de Besov e a equac ao de Vlasov
Poisson.
A equacao (ou sistema) de VlasovPoisson e a seguinte:
f
t
+v
x
f +E
v
f = 0. (1)
Aqui, f = f(t, x, v) 0, t > 0, x, v R
n
, = 1 ou = 1, e E e
um campo de forcas do tipo gravitacional ( = 1) ou eletrostatico ( = 1) o
qual esta especicado na Sec ao 4. A nossa referencia b asica para (1) e o livro de
Robert T. Glassey [9]. Esta equacao aparece em Mec anica Estatstica. Ela pode
modelar um conjunto de partculas massivas interagindo pela ac ao gravitacional
( = 1) ou um gas ionizado ( = 1), supondo em ambos os casos a ausencia
de colisoes. No caso de presenca de colis oes, ela ca n aohomogenia, i.e. com o
lado direito da mesma diferente de zero, ou melhor, neste caso temos a famosa
equac ao de Boltzmann; v. e.g. [4].
Outras motivac oes sao as seguintes:
1. Para s > 0 n ao inteiro, os espacos de Besov B
s
p,p
coincidem com os espacos
de Sobolev W
s,p
(R
n
). Em particular, os espacos de Besov B
s
p,p
e uma alter-
nativa para denir os espacos de Sobolev W
s,p
(R
n
) de ndice fracionario.
1
2. Os espacos de Besov s ao espacos naturais para estimativas de convergencia
de soluc oes aproximadas de equac oes diferenciais [2].
3. Interesse dos mesmos em equa coes elpticas [8].
A aplica cao dos espacos de Besov ` a equac ao (1) provem de resultados de
regularidade, como o seguinte teorema de DiPernaLionsMeyer (1991):
Teorema 1 [5] Sejam f e g L
p
(R
n
R
n
) satisfazendo a equacao
v
x
f = g, x, v R
n
(2)
onde 1 < p 2. Se f(x)
def
=
_
R
n
f(x, v)(v)dv, com C

0
(R
n
) (arbitraria),
entao f B
s
p,2
(R
n
),onde s = 1/p

(p

e o expoente conjugado de p,i.e.

1
p
+
1
p

= 1).
Este teorema da uma regularidade que pode ser chamada de regularidade de
media de velocidade, uma vez que sicamente v representa uma velocidade e f e
denida integrando-se em relacao a v. Em [5] encontramos outros resultados de
regularidade de media de velocidade. O termo v
x
f e, a menos de f
t
, a parte
linear na equac ao (1), logo podemos esperar uma regularidade nas solucoes da
equac ao (1). Fazendo uma pequena adaptac ao da demonstracao [5] do Teorema
1, temos a seguinte vers ao no innito do mesmo, cuja ideia da demonstrac ao
damos na Se cao 3:
Teorema 2 Sob as mesmas hipoteses do Teorema 1, se
f

(x)
def
=
_
|v|K
f(x, v)dvdv,
K > 0 (arbitrario) e f, g, [v[
/p
f, [v[
/p
g L
p
(R
n
R
n
), sendo > n 1,
entao f

B
s
p,2
(R
n
) onde tambem s = 1/p

.
Estas notas est ao divididas em cinco sec oes. Na Sec ao 2 fazemos nossa
exposic ao sobre os espacos de Besov B
s
p,q
(R
n
). A Secao 3 contem a ideia da
demonstrac ao do Teorema 2. Na Sec ao 4 damos uma ideia da demonstrac ao do
Teorema de HorstHunze sobre a existencia de soluc ao da equa cao (1) com uma
simplicac ao em relac ao ` a demonstrac ao original em [12] devida a H.N. Lopes
e M.C.Lopes [14].
Elas constituem um mini-curso que foi ministrado inicialmente na Escola
de Verao da UFPB em 1997, sob a coordenac ao dos Profs. Aldo Maciel e
Marivaldo Matos, a quem agradecemos pela oportunidade e motivac ao. Agora
temos novamente a grata satisfacao de repetir o mesmo a convite do Prof. Joao
Marcos Bezerra do

O que demonstrou interesse no assunto e nos apontou a
2
referencia [8], o que e um grande estmulo para n os e a quem estendemos os
nossos agradecimentos, bem como a todo o Departamento de Matem atica da
UFPB.
A origem das mesmas e o nosso interesse e aprendizagem no assunto devem-
se a um trabalho iniciado com os professores H.N. Lopes, J. Soler e M.C. Lopes.
Especialmente a abordagem dada no Captulo 4 foi apreendida de discuss oes
com H.N. Lopes e M.C. Lopes.
Jo ao Pessoa, Janeiro de 2003.
3
2 Os espacos de Besov no R
n
Nesta sec ao denimos os espa cos de Besov no R
n
, denotados por B
s
p,q
(R
n
), e
apresentamos resultados b asicos sobre os mesmos. A nossa referencia e o livro
de H. Triebel [19]. Damos algumas demonstrac oes que esperamos passarem uma
ideia natural da construc ao e de como lidar com estes espacos. Essencialmente
todas podem ser obtidas em [19]; v. tambem [20] e [3].
Admitimos uma certa familiaridade do leitor com a teoria das distribuicoes
temperadas de Schwartz, denotadas por o

(R
n
), com os espa cos de Sobolev de
ndice natural, W
k,p
(R
n
), com os espa cos de Sobolev de ndice real modelados
no L
2
, H
s
(R
n
), e com alguns elementos de An alise Funcional. Admitimos uma
boa familiaridade com a transformada de Fourier. Tres boas referencias para
esses topicos sao os livros de M. Reed e B. Simon[17], R. Adams[1] e R. I orio[13]
(recomendamos tambem [18, Captulo 1] para uma r apida exposi cao sobre as
distribuic oes temperadas e os espacos de Sobolev H
s
(R
n
) ). No Apendice damos
alguns resultados e ideias b asicas que usaremos com freq uencia.
Para motivar a denic ao dos espacos de Besov B
s
p,q
(R
n
) comecamos lem-
brando a deni cao dos espacos de Sobolev W
m,p
(R
n
) com ndice natural m e
1 < p < :
W
m,p
(R
n
)
def
= f o

(R
n
); [[f[[
W
m,p <
onde
[[f[[
W
m,p
def
= (

||m
[[D

f[[
p
L
p
(R
n
)
)
1/p
.
Em particular,
H
m
(R
n
)
def
= W
m,2
(R
n
).
Devido ` a relac ao T(D

f) = (i)

Tf, onde T denota a transformada de Fourier,

e `a identidade de Parseval, temos que (Teorema 18 no Apendice)
H
m
(R
n
) = f o

(R
n
); [[f[[
H
m
def
= [[T
1
(1 +[[
2
)
k/2
Tf[[
L
2 < (3)
e as normas [[ [[
W
m,2 e [[ [[
H
m s ao equivalentes. Em (3) faz sentido tomar
m = s R. Fazendo isto, obtemos (por denicao) os espacos de Sobolev com
ndice real s qualquer, modelados no L
2
. Outra generalizacao de (3) e obtida
substituindo-se o L
2
pelo L
p
, o que d a origem aos espacos de Lebesgue:
H
s
p
(R
n
) = f o

(R
n
); [[f[[
H
s
p
def
= [[T
1
(1 +[[
2
)
s/2
Tf[[
L
p <
Observacao 1 Temos a igualdade H
m
p
= W
m,p
entre os espacos de Lebesgue e
de Sobolev para qualquer m natural [19, p.169].
4
Acontece que a norma [[ [[
H
s
p
e equivalente ` a seguinte norma em H
s
p
(R
n
)
[19, Teorema 2.3.3,p.177]:
[[f[[
F
s
p,2
def
= inf [[
_

j=0
(2
sj
[a
j
[)
2
_
1/2
[[
L
p
(4)
onde o nmo e tomado sobre todas as decomposi coes
f
S

j=0
a
j
, spt Ta
j
M
j
, (5)
sendo
M
j
def
= R
n
; 2
j1
[[ 2
j+1
, j = 1, 2,
M
0
def
= R
n
; [[ 2.
Observemos que outra maneira (uma maneira conveniente) de escrevermos (4)
e a seguinte:
[[f[[
F
s
p,2
def
= inf [[ [[(2
sj
[a
j
[)[[
l
2 [[
L
p
< (6)
onde
l
2
def
= (x
j
); x
j
R, [[ (x
j
) [[
l
2
def
= (

j=0
[x
j
[
2
)
1/2
< .
Mais geralmente, temos os espacos
l
q
def
= (x
j
); x
j
R, [[ (x
j
) [[
lq
def
= (

j=0
[x
j
[
q
)
1/q
<
para 1 q e
l

def
= (x
j
); x
j
R, [[ (x
j
) [[
l
def
= (sup
j
[x
j
[) < .
Uma generalizac ao de (4) ou, equivalentemente (6), e obtida substituindo l
2
por
l
q
, o que d a origem aos espacos F
s
p,q
(R
n
) (conhecidos como espacos de Triebel
Lizorkin):
F
s
p,q
(R
n
)
def
= f o

(R
n
); [[f[[
F
s
p,q
def
= inf [[ [[(2
sj
[a
j
[)[[
l
q [[
L
p
< . (7)
Finalmente, trocando a ordem de l
q
e L
p
em (7) chegamos `a denic ao dos
espacos de Besov em R
n
. Precisamente, temos:
5
Denicao 1 Para < s < , 1 < p < e 1 q , denimos
B
s
p,q
(R
n
)
def
= f o

(R
n
) ; f
S

j=0
a
j
, spt Ta
j
M
j
e [[(a
j
)[[
l
s
q
(Lp)
def
= [[ (2
sj
[[a
j
[[
L
p) [[
lq
<
munido da norma
[[f[[
B
s
p,q
def
= inf

f =

a
j
spt Ta
j
M
j
[[ (2
sj
[[a
j
[[
L
p) [[
lq
.
Feita a denic ao dos espa cos de Besov, devemos ver as suas propriedades.
Aqui, veremos algumas b asicas. A primeira que veremos e que eles contem
os espacos das func oes rapidamente decrescentes o(R
n
), Teorema 3 abaixo. A
demonstrac ao deste resultado nos dar a uma ideia sobre a construc ao e uma
certa familiaridade na lida dos mesmos.
Teorema 3 o(R
n
) B
s
p,q
(R
n
) com a inclusao contnua.
Demonstracao: Seja uma func ao em C

0
(R
n
) tal que
spt R
n
; 2
1
[[ 2, () > 0 se
1

2
[[

2
e 0 () c
def
= min 1

2
||

2
(), R
n
; [[ >

2 ou [[ <
1

2
.
Denamos
k
()
def
= (2
k
), k = 1, 2, . Observamos que

k=1

k
() <
para todo R
n
e

k=1

k
() c para todo R
n
tal que [[

2. De
fato, se [[ 1 entao

k=1

k
() = 0 < ; se 1 < [[ 2 entao

k=1

k
() =

1
() < (notemos que
1
() = (/2) c para

2 [[ 2); e se [[ > 2
ent ao existe um unico l 2, 3, tal que 2
l1
< [[ 2
l
, logo

k=1

k
() =

l1
() +
l
() = (

2
l1
) + (

2
l
) c visto que
||
2
l
ou
||
2
l1
pertence ao intervalo
[1/

2,

2].
Agora seja
0
C

0
(R
n
) tal que spt
0
R
n
; [[ 2,
0
0 e

0
() c se [[

2. Ent ao

k=0

k
() c para todo R
n
, logo podemos
denir uma fun cao
j
pela equacao

j
= (2)
n/2
(

k=0

k
)
1

j
, j = 0, 1, 2,
Observamos que
j
o(R
n
) ja que
j
C

0
(R
n
), logo f
j
o

(R
n
) para
quaisquer f o

(R
n
) e j = 0, 1, 2, . Armamos que
f
S

j=0
f
j
, f o

(R
n
), (8)
6
ou seja,

f
S

j=0
(2)
n/2

j

f
=

j=0
(

k=0

k
)
1

j

f, f o

(R
n
).
(9)
Para provarmos (9), denimos

N
=
N

j=0

j
/

j=0

j
.
Observamos que (9) e conseq uencia de

N
o

N
, o(R
n
), (10)
o que passamos a provar. Temos que
N
() = 1 se [[ 2
N
,
N
() = 0 se
[[ 2
N+1
e

N
() =

N
()

N
() +
N+1
()
=
(/2
N
)
(/2
N
) +(/2
N+1
)
se 2
N
< [[ < 2
N+1
e N 1, ou melhor, nestas ultimas condi coes temos

N
() = (/2
N
), onde
()
def
=
()
() +(/2)
.
Da, dados quaisquer multi-ndices , , sendo ,= 0, temos:
sup
R
n [

(
N
)()[ = sup
R
n [

()(
N
() 1)[
sup
||>2
N [

()[
(N)
0;
e
sup
R
n [

(
N
)()[ sup
||>2
N [

(D

)()(
N
() 1)[
+

1<||
c

sup
2
N
<||<2
N+1 [

(D

)()(D

N
)()[
= sup
||>2
N [

(D

)()[
+

1<||
c

sup
2
N
<||<2
N+1 [

(D

)()
1
2
N||
(D

)(

2
N
)[
sup
||>2
N [

(D

)()[ +

1<||
c
2
2||
[[D

[[

sup
||>2
N [

(D

)()[

(N)
0.
Acabamos de provar (10), logo (8).
Pela denic ao de
j
e pela formula (40) do Apendice, e obvio que spt T(f

j
) M
j
. Entao agora e suciente mostrar que existe uma constante c tal que
[[ (2
sj
[[f
j
[[
L
p) [[
lq
c

||,||m
[[

f[[
L
(11)
7
para algum m N, para toda func ao f em o(R
n
). (Lembramos que o(R
n
) e
um espaco de Frechet com a famlia de semi-normas [[f[[
,
def
= [[x

f[[, e que
a transformada de Fourier e um isomorsmo em o(R
n
).) A m de mostrar (11),
temos as seguintes estimativas (cf. [19, p.175]):
2
sj
[[f

[[
L
p = 2
sj
[[T
1
((2)
n/2

f
j
)[[
L
p
c
1
2
sj
[[(1 +[x[
2
)
n
T
1
(

f
j
)[[
L

(onde c
1
= (2)
n/2
[[(1 +[x[
2
)
n
[[
L p
)
c
1
2
sj

||2n
[[x

T
1
(

f
j
)[[
L

(visto que (1 +[x[

2
)
n
= (1 +x
2
1
+ +x
2
n
)
n

||2n
[x

[)
= c
1
2
sj

||2n
[[T
1
(D

f
j
))[[
L

c
2
2
sj

||2n
[[D

(

f
j
)[[
L
1
c
3
2
sj

||2n
[[(1 +[[
2
)
n
D

(

f
j
)[[
L

c
4
_

||2n
[[(1 +[[
2
)
n+
D

f[[
L

||2n
[[(1 +[[
2
)
s
D

j
[[
L

_
,
(12)
se s 0 (para o caso s < 0, tomamos a ultima desigualdade sem o s) onde
ser a escolhido abaixo e usamos o seguinte:
D

(fg) =

||2n
c

(D

f)(D

g),
logo

||2n
D

(fg) c[

||2n
D

f] [

||2n
D

g];
e, como spt
j
M
j
, temos
2
sj
[[(1 +[[
2
)

j
[[

= 2
sj
sup
M
j
[(1 +[[
2
)

j
()[
sup
M
j
[(1 +[[
2
)
s
D

j
()[,
(13)
pois para j = 0 temos 2
sj
= 1 (1 +[[
2
)
s
(s 0) e para j 1 temos
M
j
2
j1
[[ 2
2(j1)
[[
2
2
j
1 + 2
2(j1)
1 +[[
2
2
sj
(1 +[[
2
)
s
;
agora, vamos estimar [[D

j
[[

, j 1:

j
() = (2)
n/2
(

2
j
) /

k=0

k
(),
8
logo
j
() = 0 se ,M
j
e
j
() = (

2
j
) se M
j
, onde
()
def
= (2)
n/2
()

() +() +(/2)
,
sendo

()
def
=
0
() se j = 1 e

() = (2) se j 2; da obtemos
(D

j
)() =
1
2
j||
(D

)(/2
j
)
se M
j
e zero, caso contr ario, logo,
[[D

j
[[

1
2
j||
[[D

[[

; (14)
de (12), (13) e (14), obtemos
[[ (2
sj
[[f
j
[[
L
p) [[
lq
c
5
[

||,||m
[[

f[[
L
]
[[ (2
2(s)j

||n
1
2
j||
) [[
lq
c

||,||m
[[

f[[
L

com c = c
5
[[ (2
2(s)j

||n
1
2
j||
) [[
lq
< para > s e m sucientemente
grande; portanto, conclumos que
o(R
n
) B
s
p,q
(R
n
) (15)
com a inclus ao contnua, para quaisquer s R e p (1, ).
Observacao 2 Seja N N (N = 1, 2, ). A seq uencia (
j
)

j=0
construda
na demonstracao do Teorema 3 satisfaz as seguintes propriedades com N = 1
(cf. [19, p.171]):
1.
j
o(R
n
) e
j
0 para j = 0, 1, 2,
2. spt
j
R
n
; 2
jN
[[ 2
j+N
para j = 1, 2, e spt
0

R
n
; [[ 2
N
;
3. Existe uma constante positiva c tal que

j=0

j
() c, para todo R
n
;
4. Para todo multi-ndice , existe uma constante c

tal que
[(D

j
)()[
c

[[

para j = 1, 2,
9
Teorema 4 [19, p. 172] Sejam s R, p (1, ) e q [1, ]. Para qualquer
seq uencia (
j
) que satisfaca as condicoes 1-4 da Observacao acima, temos que
B
s
p,q
(R
n
) = f o

(R
n
); [[f[[

B
s
p,q
def
= [[(f
j
)[[
l
s
q
(L
p
)
< ,
onde [[(f
j
)[[
l
s
q
(L
p
)
def
= [[(2
sj
[[f
j
[[
L
p)[[
lq
. Alem disso, [[ [[
B
s
p,q
e [[ [[

B
s
p,q
sao
normas equivalente em B
s
p,q
(R
n
).
Teorema 5 Para s R, > 0 1 < p < e 1 q
1
q
2
, temos
o(R
n
) B
s+
p,
(R
n
) B
s
p,1
(R
n
) B
s
p,q
1
(R
n
)
B
s
p,q
2
(R
n
) B
s
p,
(R
n
) B
s
p,1
(R
n
)
com todas as inclusoes contnuas.
Demonstracao: A primeira inclus ao e dada pelo Teorema 3. Para a segunda,
dada qualquer decomposi cao f =

a
j
B
s+
p,
, temos
[[f[[
B
s
p,1
= [[(2
sj
[[a
j
[[)
L
p[[
l
1
=

j=0
2
sj
[[a
j
[[
L
p
(

j=0
2
j
)[[(2
(s+)j
[[a
j
[[
L
p)[[
l

logo
[[f[[
B
s
p,1
c[[f[[
B
s+
p,
. (16)
Agora, vejamos que
B
s
p,q
1
(R
n
) B
s
p,q
2
(R
n
) (17)
com a inclus ao contnua, para quaisquer s R, p (1, ) e q
1
q
2
em
[1, ]: Se f =

a
j
B
s
p,q
1
ent ao (2
sj
[[a
j
[[
L
p) l
q
1
; como l
q
1
l
q
2
com a
inclus ao contnua, segue-se o resultado. A ultima inclus ao e um caso particular
da segunda.
Observacao 3

E imediato da Denicao 1, que tambem vale a inclusao contnua
B
s
1
p,q
(R
n
) B
s
2
p,q
(R
n
)
sempre que s
2
s
1
.
10
Observacao 4 Aproveitando o enunciado do Teorema 4, demos a denic ao da
norma [[ [[
l
s
q
(L
p
)
. Na verdade, temos os espacos
l
s
q
(L
p
)
def
= (a
j
)

j=0
; a
j
L
p
e (2
sj
[[a
j
[[
L
p) l
q

com a norma (repetindo a deni cao dada no Teorema 4)

[[(a
j
)[[
l
s
q
(L
p
)
def
= [[(2
sj
[[a
j
[[
L
p)[[
lq
.
Mais geralmente, dada uma seq uencia de espacos de Banach (A
j
)

j=0
, podemos
denir o espa co
l
q
(A
j
)
def
= (a
j
)

j=0
; a
j
A
j
e ([[a
j
[[
A
j
) l
q

munido da norma
[[(a
j
)[[
lq(A
j
)
def
= [[ ([[(a
j
)[[
A
j
) [[
lq
.
Pode-se provar que l
q
(A
j
) e um espaco de Banach, para todo q [1, ]. Note-
mos que l
s
q
(L
p
) = l
q
(A
j
) para A
j
= L
p
munido da norma [[f[[
A
j
= 2
sj
[[f[[
L
p.
Usando o Teorema 4, com a ajuda do Lema elementar de Analise Funcional
abaixo, podemos demonstrar facilmente que os espa cos de Besov s ao espa cos de
Banach, Teorema 6 abaixo.
Lema 1 Sejam A um espaco vetorial normado e B um espaco de Banach. Se
existem operadores lineares limitados 1 : B A e T : A B tais que
1T = I
A
(operador indentidade em A)
1
entao A tambem e um espaco de
Banach.
Demonstracao: Se (x
j
) e uma seq uencia de Cauchy em A ent ao (T x
j
) tambem
e uma seq uencia de Cauchy, em B. Como B e um espaco de Banach, existe
y B, y = limox
j
. Da, x
j
= 1T x
j
1y A.
Teorema 6 Todo espaco de Besov B
s
p,q
(R
n
) e um espaco de Banach.
Demonstracao: Sejam (
j
) e (
j
) duas seq uencias satisfazendo 1-4 da Ob-
serva cao 2 com N = 1 tais que

j=0

j
= (2)
n
e

j
[ spt
j
= 1 (cf. demon-
strac ao do Teorema 3). Vamos aplicar o Lema 1 tomando A = B
s
p,q
(R
n
),
B = l
s
q
(L
p
) e, 1 e T , os seguintes operadores:
1((a
j
)) =

j=0

j
a
j
1
Operadores como estes sao chamados, respectivamente, de retracao e co-retracao [19, p.22]
11
T (f) = (f
j
).
Para vericarmos que 1 est a bem denido como um operador linear limitado
do l
s
q
(L
p
) no B
s
p,q
(R
n
), fazemos a seguinte estimativa, onde o(R
n
) e N N:

N
j=0

j
a
j
, )

N
j=0
a
j
,

j
)

(onde

j
=
j
(x))

N
j=0
[[a
j
[[
L
p[[

j
[[
L
p

N
j=0
(2
sj
[[a
j
[[
L
p)(2
sj
[[

j
[[
L
p
)

N
j=0
(2
sj
[[a
j
[[
L
p)
q
_
1/q
_

N
j=0
(2
sj
[[

j
[[
L
p
)
q

_
1/q

[[(a
j
)[[
l
s
q
(L
p
)
[[[[
B
s
p

,q

.
(18)
Isto prova que existe o limite
1((a
j
)), )
def
= lim
N

j=0

j
a
j
, ), o(R
n
)
e tambem que 1((a
j
)) o

(R
n
), visto que o(R
n
) B
s
p

,q

com a inclus ao
contnua (Teorema 3).
Pelo Teorema 4, T e um operador linear limitado de B
s
p,q
(R
n
) em l
s
q
(L
p
).
Alem disso, 1T = I
B
s
p,q
(R
n
)
, pois
T1T (f) =

j=0
(2)
n

j

f
j
= (2)
n
(

j=0

j
)

f
= Tf,
onde usamos que

j
[ spt
j
= 1.
Observacao 5 A estimativa (18) da uma indicacao do dual de B
s
p,q
(R
n
). De
fato, temos (B
s
p,q
(R
n
))

= B
s
p

,q

(R
n
), para todo (s, p, q) R (1, ) [1, ]
[19, p.198]. Devido a este resultado, no estudo dos espacos de Besov, podemos
muitas vezes nos restringir ao caso s 0.
Observacao 6 [19, p.180] Valem as seguintes inclusoes contnuas:
W
s+,p
(R
n
) B
s
p,q
(R
n
) W
s,p
(R
n
),
H
s+
p
(R
n
) B
s
p,q
(R
n
) H
s
p
(R
n
),
para todo (s, p, q, ) R (1, ) [1, ] (0, ).
A seguir vamos dissertar um pouco sobre a teoria da interpolac ao abstrata
com o objetivo de concluir que os espa cos de Besov B
s
p,q
de fato coincidem com
12
os espacos de Sobolev W
s,p
para s > 0 n ao-inteiro
2
e p = q, onde estes ultimos
s ao denidos da seguinte maneira:
W
s,p
(R
n
)
def
=
_
f W
[s],p
(R
n
);
[[f[[
W
s,p
def
= [[f[[
W
m,p +

||=[s]
__
R
n
_
R
n
|D

f(x)D

f(y)|
p
|xy|
n+{s}p
dxdy
_
1/p
<
(19)
onde s (0, )/N, [s] e o maior inteiro menor do que s e s = s [s]. Cf.
[19, p.190], [1, p.214] ou [16, p.342].
Em primeiro lugar observamos que existem v arios metodos de interpolacao.
Estes podem ser classicados em duas categorias distintas: os metodos de in-
terpolac ao real e os complexos [19, 3]. Aqui estamos interessados apenas
num metodo de interpolac ao: o metodo real conhecido como metodo K.
A teoria da interpolac ao consiste em achar um espa co de interpolac ao
em relacao a dois espacos de Banach A
0
, A
1
contidos num espaco vetorial de
Hausdor /. Por espaco de interpolacao entendemos um espaco de Banach
A
0
, A
1
que satisfaca as seguintes condic oes:
(a) A
0
A
1
A
0
, A
1
A
0
+A
1
( A
0
+A
1
= a /; a = a
0
+a
1
com a
i

A
i
, i = 0, 1 e [[a[[
A
0
+A
1
= inf
a=a
0
+a
1
([[a
0
[[
A
0
+[[a
1
[[
A
1
) );
(b) Se B
0
e B
1
s ao tambem espacos de Banach contidos em / e se um
operador linear T de / em / satisfaz T L(A
i
, B
i
)
3
, i = 0, 1, ent ao
T L(A
0
, A
1
, B
0
, B
1
) e
[[T[[
{A
0
,A
1
},{B
0
,B
1
}
[[T[[
1
A
0
,B
0
[[T[[

A
1
,B
1
para algum [0, 1].
O metodo K deve-se a J.Peetre e comeca pela deni cao do funcional K: Da-
dos A
0
, A
1
espacos de Banach contidos num espaco de Hausdor /, denimos,
para 0 < t < , o funcional
K(t, a) K(t, a; A
0
, A
1
) = inf
a = a
0
+a
1
a
i
A
i
([[a
0
[[
A
0
+t[[a
1
[[
A
1
), a /
e para 0 < < 1 e 1 q , o espa co
(A
0
, A
1
)
,q
= a A
0
+A
1
;
[[a[[
(A
0
,A
1
)
,q
def
=
__

0
[t

K(t, a)]
q
dt
t
_
1/q
< , se q < e
[[a[[
(A
0
,A
1
)
,
def
= sup
0<t<
t

K(t, a) < , se q = .
2
Os espacos W
s,p
para s nao-inteiro foram introduzidos por Aronszajn (1995), Slobodeckij
(1958) e Gagliardo (1958) [2].
3
Operador linear limitado do A
i
no B
i
.
13
Ent ao temos o seguinte teorema:
Teorema 7 [19, p.25] O espaco (A
0
, A
1
)
,q
e um espaco de interpolacao.
Um fato interessante dos espacos (A
0
, A
1
)
,q
e o seguinte resultado, um caso
particular do Teorema de Convexidade de RieszThorin (v. Apendice, Teorema
19):
Teorema 8 [19, p.128] Para qualquer espaco de medida (X, B, ) -nito e
quaisquer p
0
, p
1
[1, ), (0, 1), vale
(L
p
0
(X), L
p
1
(X))
,p
= L
p
(X)
onde 1/p = (1 )/p
0
+/p
1
.
Tambem temos o seguinte teorema:
Teorema 9 [19, p.] Sejam 0 s
0
, s
1
< , s
0
,= s
1
. Entao
(W
s
0
,p
(R
n
), W
s
1
,p
(R
n
))
,q
= B
s
p,q
(R
n
)
onde 0 < < 1 e s = (1 )s
0
+s
1
.
Um caso importante dos espacos (A
0
, A
1
)
,q
ocorre quando A
0
= A e um
espaco de Banach e A
1
= K
m
e um espaco especial que passamos a denir:
Sejam G
i
(t), i = 1, , n, 0 t < , semi-grupos fortemente contnuos em
L(A) que comutem entre si, i.e. para quaisquer i, j = 1, , n, t, s 0 e a A,
temos:
(a) G
i
(t) L(A);
(b) G
i
(0) = I
A
, G
i
(t +s) = G
i
(t +s) = G
i
(t)G
i
(s);
(c) lim
ts
[[G
i
(t)aG
i
(s)a[[
A
= 0 (tomamos o limite somente pela direita se
s = 0);
(d) G
i
(t)G
j
(s) = G
j
(s)G
i
(t).
Denotemos por
i
o gerador innitesimal de G
i
e escrevamos = (
1
, ,
n
)
e

1
1

n
n
para = (
1
, ,
n
) um multi-ndice n-dimensional qual-
quer.
Denicao 2 Seja m N.
K
m
def
=
||=m
D(

) ( =
||m
D(

) )
[[a[[
K
m
def
=

||m
[[

a[[
A
,
onde D(

) e o domnio do operador

.
14
Lembramos que D(

) e o conjunto dos as no espaco A para os quais

a
est a denido, no sentido de que dados dois operadores S, T L(A), temos
D(ST)
def
= a A; Ta D(S).
Teorema 10 [19, p.88] Sejam A, G
i
como acima. Sejam tambem 1 q ,
s = m, 0 < < 1, m N, [s] o maior inteiro menor do s, e s = s [s].
Se para todo i = 1, , n existem n umeros
i
0 e M
i
0 tais que [[G
i
(t)[[
M
i
e

i
t
, 0 t < , entao
(A, K
m
)
,q
= a A; [[a[[

<
onde
[[a[[

def
= [[a[[
A
+

||[s]
__
R
n
[y[
n{s}p
[[ (
n
i=1
G
i
(y
i
) I)

a[[
p
A
dy
_
1/p
,
y = (y
1
, , y
n
). Alem disso, [[ [[

e uma norma equivalente `a norma [[ [[

K
m
em K
m
.
Exemplo 1 Tomemos A = L
p
(R
n
), 1 < p < , e
[G
i
(t)f](x) = f(x
1
, , x
i1
, x
i
+t, x
i+1
, , x
n
),
f L
p
(R
n
). (Dene-se G
i
primeiramente em o(R
n
) e depois estende-se G
i
a
L
p
.

E facil ver que G
i
e uma isometria em L
p
.) Pode-se provar que [19, p.187]
D(
m
i
) = f o

(R
n
); [[f[[
L
p +[[

m
f
x
m
i
[[
L
p <
= f o

(R
n
);

m
k=0
[[

k
f
x
k
i
[[
L
p <
e

m
i
f =

m
f
x
m
i
, f D(
m
i
).
Logo, para = (
1
, ,
n
) um multi-ndice arbitr ario, temos que
D(

) = f o

(R
n
);

||||
[[D

f[[ <
e

f = D

f, f D(

).
Da obtemos que K
m
=
||=m
D(

) = W
m,p
(R
n
) com a norma
[[f[[
K
m =

||m
[[D

f[[
L
p, a qual e evidentemente equivalente `a norma
[[f[[
W
m,p = (

||m
[[D

f[[
p
L
p)
1/p
.
15
Corolario 1 Para 0 < s , N e 1 < p < , temos
B
s
p,p
(R
n
) = W
s,p
(R
n
)
e as normas [[ [[
B
s
p,p
e [[ [[
W
s
p
sao equivalentes.
Demonstracao: Sejam 0 < < 1 e m N/0 tais que s = m. Pelo Teorema
9, temos que
(L
p
(R
n
), W
m,p
(R
n
))
,p
= B
s
p,p
;
pelo Teorema 10, o Exemplo acima e a denic ao em (19), obtemos
(L
p
(R
n
), W
m,p
(R
n
))
,p
= W
s,p
(R
n
).
Exerccio 1 Seja f =
(0,1)
, a funcao caracterstica do intervalo (0, 1), i.e.
f(x) = 1 se x (0, 1) e zero, caso contrario. Vericar que f W
s,p
(R)
se, e somente se, 0 < sp < 1, mas f B
s
p,q
(R) para sp = 1, qualquer que
seja q [1, ]; cf. Observacao 6. Em particular, consideremos o problema
que podemos encontrar em Equacoes Diferenciais Parciais: Dada uma fun cao
u H
1
0
(), um aberto limitado do R
n
, seja u a extens ao por zero da funcao
u ao R
n
. Perguntamos se u H
2
(R
n
). Tendo em vista o vericado para a
func ao f =
(0,1)
, podemos esperar que em geral a resposta para esta pergunta
e n ao. Seja u(x) = [x[. Vericar que u H
1
0
( (0, 1) ), u , H
2
(R), u H
s
(R)
para qualquer s (, 3/2) (v. Denic ao 9 no Apendice), u B
s
2,q
(R) para
quaisquer s (, 3/2] e q [1, ].
Vamos encerrar este Captulo falando de imers oes dos espacos de Besov.
Em primeiro lugar lembramos a denicao do espaco de H older C
s
(R
n
), s 0
qualquer:
C
s
(R
n
)
def
= f C
[s]
(R
n
);
[[f[[
C
s
def
= [[f[[
C
[s] +

||=[s]
sup
x=y
|D

f(x)D

f(y)|
|xy|
{s}
<
onde [s] e o maior inteiro menor do que s, s = s [s] e
[[f[[
C
[s] =

||[s]
sup
xR
n
[D

f(x)[.
Enunciamos dois resultados de imers oes (itens (a) e (b)) abaixo):
Teorema 11 [19, p.203]
16
(a) Se 1 < p r < , 1 q e < t s < com sn/p = tn/r,
entao
B
s
p,q
(R
n
) B
t
r,q
(R
n
).
(b) Se 1 < p < , 1 q e 0 < s , N, entao
B
s+n/p
p,q
(R
n
) C
s
(R
n
);
aqui, no caso q = 1, s pode ser qualquer n umero nao-negativo.
3 Um resultado de regularidade para media de
velocidade
Nesta sec ao damos uma ideia da demonstra cao do Teorema 2, v. Introducao.
Obteremos uma decomposi cao de f

da seguinte forma:
f

=
_

j=0
A
j

j
f
_
i
_

j=0
B
j

j
g
_
(20)
onde A
j
, B
j
e
j
s ao operadores denidos mais tarde. Queremos destacar no
momento que valem os seguintes resultados (cf. [5, Lemas 1 e 2]):
Lema 2 Os operadores A
j
e B
j
sao operadores lineares limitados do
L
1
(R
n
R
n
, [v[

dxdv) no L
1
(R
n
) com normas uniformemente limitadas em
relacao a j.
Lema 3 Os operadores A
j
e B
j
sao operadores lineares limitados do
L
2
(R
n
R
n
, [v[

dxdv) no L
2
(R
n
) com normas limitadas por c2
j/2
, onde c
e uma constante independente de j.
Tendo estes lemas, usamos o Teorema de Convexidade de RieszThorin (v.
Apendice, Teorema 19) para obter que os operadores A
j
e B
j
s ao operadores
lineares limitados do L
p
(R
n
R
n
, [v[

dxdv) no L
p
(R
n
), 1 p 2, com norma
limitada por c2
j/p

, ou seja
[[S
j

j
f[[
L
p
(R
n
)
c2
j/p

[[ [v[
/p

j
f[[
L
p
(R
n
R
n
)
(21)
para S
j
= A
j
ou B
j
. Por outro lado, existe o famoso resultado de Littlewood
Paley [15]:
[[ ([[
j
f[[
L
p) [[
l
2
c[[f[[
L
p (22)
onde 1 < p < ; v. Denicao 3 abaixo. Usando (22) em (21), obtemos
[[ (2
j/p

[[S
j

j
f[[
L
p
(R
n
)
) [[
l
2
c[[ [v[
/p
f[[
L
p
(R
n
R
n
)
. (23)
17
De (20) e (23) vem que f

B
s
p,2
(R
n
); vejamos mais detalhes a seguir.
Tendo em vista o carater introdutorio destas notas, omitiremos a demon-
strac ao do Lema 2 pois esta e mais difcil do que a do Lemma 3; v. Lema 1 em
[5]. Para demonstrar o Lema 3 temos que adaptar as contas em [5], o que nos
leva ` as condicoes adicionais de integrabilidade sobre f e g no Teorema 2, o que
e naturalmente provocado pela integrac ao no innito (
_
|v|K
).
A decomposicao (20): Pela formula 8, e f acil ver que
f =

j=0

j
(
j
f) (24)
onde

j
def
=
_
(2)
n/2

j
_
1/2
satisfaz as propriedades 14 da Observacao 2 com
N = 1. Em particular, notamos que

j
() =

(

2
j
) para uma fun cao

C

0
(R
n
)
com suporte no anel R
n
; 2
1
[[ 2 e

0
()
2
+

j=1

(

2
j
)
2
= (2)
n
, R
n
.
A seq uencia
_
(2)
n/2

j
_
e o que podemos chamar de uma decomposicao diadica
da identidade. Agora damos a denic ao do operador
j
:
Denicao 3 O operador
j
e denido em o

(R
n
) pela formula

j
f
def
=
j
f.
Observacao 7 Usando o Teorema de Mihlin (v. [10], [3] ou [16]) podemos
provar que
j
est a bem denido como um operador linear limitado em L
p
para
1 < p < , mas o que nos interessa e o teorema mais forte de LittlewoodPaley
mencionado na desigualdade (22).
Da Denic ao 3 e de (24) vem que
f =

j=0

2
j
f (25)
(decomposicao de LittlewoodPaley em blocos diadicos), logo,
f

j=0

2
j
f

j=0
f
j
18
onde f
j
def
=
2
j
f

. Ent ao

f
j
= (2)
n/2

j
(
j
f

,
donde
f
j
= T
1

__
|v|K

j
()(
j
f)

(, v) dv
_
. (26)
Neste ponto, usamos a equacao (2). Aplicando
j
e T ` a equa cao (2), obtemos
i( v)(
j
f)

= (
j
g)

.
Para usar esta informac ao em (26), precisamos evitar v pr oximo do zero.
Para isto, introduzimos uma func ao de truncamento
0
C

0
(R) tal que

0
[[1, 1] = 1 e pomos
1
= 1
0
. Agora escrevemos (26) da seguinte maneira:
f
j
= T
1

__
|v|K

0
(2
j
v
[[
)
j
()(
j
f)

(, v) dv
_
iT
1

__
|v|K

1
(2
j
v
[[
)
j
()( v)
1
(
j
g)

(, v) dv
_
A
j

j
f iB
j

j
g.
Nesta ultima identidade denimos os operadores A
j
e B
j
.

E conveniente ree-
screver o operador B
j
como se segue:
B
j
h = T
1

__
|v|K
(
2
j
[[
)
j
()
2
(2
j
v
[[
)(h)

(, v) dv
_
(27)
onde

2
(s)
def
=
1
s

1
(s).
Estamos preparados para demonstrar o Lemma 3. Faremos a sua demon-
strac ao apenas em relac ao a B
j
, j a que a demonstrac ao em relac ao a A
j
e
an aloga (e mais simples).
Demonstracao do Lema 3 em relacao a B
j
: Seja I o termo dentro do parentesis
maior em (27), i.e. I = T

(B
j
h). Pela desigualdade de CauchySchwarz, temos
[I[ (
2
j
[[
)[
j
()[[[[v[
/2

h(, v)[[
L
2
(R
n
v
)
(
_
|v|K
[v[

2
(2
j
v
[[
)
2
dv)
1/2
. (28)
Observamos que podemos supor 2
j1
[[ 2
j+1
, visto que spt
j
M
j
(v.
Captulo 2 para a denicao de M
j
). Tomemos a decomposic ao R
n
=

||
)R
n1
,
19
escrevamos v = (v
1
, v) com rela cao a esta decomposic ao e apliquemos o Teorema
de Fubini no ultimo termo em (28), para obtermos
[I[ (
2
j
[[
)[
j
()[[[[v[
/2

h(, v)[[
L
2
(R
n
v
)
__
|v|K
[v[

dv
_

K

2
(2
j
v
1
)
2
dv
1
_
1/2
c2
j/2
[[[v[
/2

h(, v)[[
L
2
(R
n
v
)
pois > n 1 e
2
L
2
(R). Logo vem que
[[B
j
f[[
L
2
(R
n
)
= [[TB
j
f[[
L
2
(R
n
)
c2
j/2
[[ [v[
/2
g[[
L
2
(R
n
R
n
)
.
4 Sobre o problema de Cauchy para a equacao
de VlasovPoisson
Retornemos ` a equac ao de VlasovPoisson (1). Nesta se cao apresentamos
um esquema resumido da demonstrac ao da existencia de soluc ao fraca em L
p
do problema de Cauchy para (1) sendo n = 3 e p sucientemente grande. O
dado inicial f
0
e assumido pertencer a L
1
L
p
e com energia cinetica nita,
i.e.
_
R
3
[v[
2
f
0
(x, v) dxdv < . Este resultado e um teorema de E.Horst e
R.Hunze [12]. A demonstrac ao resumida que se segue tem uma simplicac ao
em relac ao ` a original em [12], a qual e devida a H.N. Lopes e M.C. Lopes [14].
Com efeito, usaremos o Teorema 15 abaixo. Para uma motivac ao e resultados
cl assicos sobre a equacao (1), citamos [9]especialmente o Captulo 4, e [11].
Uma grande diculdade em resolver (1) e a singularidade do n ucleo integral
E(x, t) =
_
R
n
x y
[x y[
n
_
R
n
f(y, v) dv dy. (29)
Notamos que
E = (f) (30)
onde e, a menos de constante multiplicativa, a solu cao fundamental do Lapla-
ciano no R
n
, e
(f)(y)
def
=
_
R
n
f(y, v)dv (31)
e a func ao densidade de partculas. Para contornar a singularidade em E,
tomamos a seguinte aproximac ao da equac ao (1):
f

t
+v
x
f

+E

v
f

= 0, > 0 (32)
onde
E

(x, t)
def
= e

(f

), e

(z)
def
=
z
([z[
2
+)
n/2
. (33)
20
Observamos que esta e uma modica cao classica na soluc ao da equac ao de
Laplace, cf. [6].
No que se segue assumiremos que f
0
L
1
(R
n
). Enunciamos os resultados
que nos interessam sobre a equacao (32):
Teorema 12 [12, Teorema 2.3] Seja 1 p . Se f
0
L
p
(R
2n
) entao
f

(, t) L
p
(R
2n
) para todo t > 0 e [[f

(, t)[[
L
p
(R
2n
)
= [[f
0
[[
L
p
(R
2n
)
para todo
t 0.
Teorema 13 [12, Lema 3.2] Seja 1 < p < . Se
_
R
2n
[v[
2
f

(x, v) dxdv e
[[f

(, t)[[
L
p
(R
2n
)
sao uniformemente limitadas em relacao a e t, entao
[[(f

)(, t)[[
L
r
(R
2n
)
tambem e uniformemente limitada em relacao a e t, sendo
r = (2p +n(p 1)) / (2 +n(p 1)).
Observacao 8 A quantidade E
c
(f

)
def
=
_
R
2n
[v[
2
f

(x, v) dxdv representa a en-

ergia cinetica do sistema (32) no tempo t.
Teorema 14 [12, Teoremas 2.1 e 3.1] [11, Teorema 5.8] Seja n = 3. Se
f
0
L
9/7
(R
6
), f
0
0 e
_
R
6
[v[
2
f
0
(x, v) dxdv < , entao f

0 e E
c
(f

) e
uniformemente limitada em relacao a e t.
Um outro teorema que nos interessa e a compacidade do potencial de Riesz:
Teorema 15 [14] Seja 1 r < . O potencial de Riesz
R

()
def
=
_
R
n
(y)
[x y[
n
dy, 0 < < n/r,
e um operador linear compacto (respect. contnuo) do L
r
(R
n
) no L
q
() se e
um subconjunto aberto e limitado do R
n
e q < r

(respect. = R
n
e q = r

)
onde r

def
=
nr
n r
.
Com estes quatro fortes teoremas, a existencia de soluc ao da equa cao (1)
procede da seguinte maneira: Pelo Teorema 12, existe uma func ao f em
L

([0, ); L
p
(R
2n
)) e uma seq uencia (f

k
),
k
> 0 que converge para f quando
k
tende para zero na topologia fraca- do L

([0, ), L
p
(R
2n
))
=
_
L
1
([0, ), L
p

(R
2n
)
_

, se 1 < p e f
0
L
p
(R
2n
), onde p

= p/(p 1) (o
expoente conjugado do p). Vamos escrever
k
= no que se segue. Suponhamos
que a energia cinetica E
c
(f

) e tambem [[f

(, t)[[
L
p sejam uniformemente lim-
itados em relac ao a e t; cf. teoremas 12 e 14. Pelo Teorema 13 e possvel
provar que (f

(, t)) converge fracamente para (f(, t)) em L

r
(passando-se a
subseq uencia se necess ario) para r denido no Teorema 13. Esta convergencia
21
fraca ocorre de maneira localmente uniforme em relacao a t; cf. [12, Lemma
5.4].
Agora vamos provar que E

e pre-compacto em L
q
loc
(R
n
) para todo q < r

,
sob condic oes especicadas abaixo. Seja e
def
= e
0
, sendo e

denido em (33).
Ent ao,
E

E = e

(f

) e (f) = (e

e) (f

) +e (f

f)
logo,
[[E

E[[
L
q
loc
[[(e

e)[[
L
s[[(f

)[[
L
r +[[R
1
((f

f))[[
L
q
loc
, (34)
onde 1/s +1/r = 1 +1/q (v. Desigualdade de Young, (43) no Apendice) e R
1
e
o potencial de Riesz com = 1, denido no Teorema 15. Nas condic oes do Teo-
rema 13, temos que [[(f

)[[
L
r e uniformemente limitado. Tambem temos que
lim
0
[[e

e[[
L
s = 0 se 1 s <
n
n1
(= 1

) [12, Lema 3.6] e

lim
0
[[R
1
((f

) (f)[[
L
q
loc
= 0 se q < r

, pelo Teorema 15, desde que (f

)
tenda a (f) em L
r
quando 0 e 1 r < n.
Agora vamos juntar as pecas: O unico termo n ao linear da equa cao (32) e
o termo E

v
f

que aplicado numa func ao teste torna-se E

. Ent ao para
obtermos a convergencia que desejamos basta observarmos em que condic oes
sobre p, este termo e um par fortefraco, i.e. E

e bem denido, E

converge
fortemente e f

converge fracamente.
J a vimos que, nas condic oes do Teorema 13, E

converge fortemente em L
q
loc
se q < r

e 1 r < n, onde r est a denido no Teorema 13, e se 1 s < 1

, onde
1/s+1/r = 1+1/q. Entao e sucientemente termos f

convergindo fracamente
em L
q

loc
. Isto ocorre se q

p, i.e. q p

. Assim precisameos de um q entre p

e r

, i.e. p

q < r

, o qual existir a se p

< r

. Fazendo as contas encontramos

que esta condi cao e equivalente a
p > p
0
(n)
def
= n(n + 5 +
_
(n 1)
2
+ 16)/(6n + 4).
Observamos que p
0
(3) = (12 + 3

5)/11. N ao e difcil concluir que a partir dos

teoremas 1215 acima, temos o seguinte teorema:
Teorema 16 [12] Sejam p > p
0
def
= (12 + 3

5)/11, f
0
L
1
(R
6
) L
p
(R
6
),
f
0
0 e
_
R
6
[v[
2
f
0
(x, v) dxdv < . Entao a equacao de VlasovPoisson tem
uma solucao fraca em L
P
com dado inicial f
0
.
Observacao 9 [12] Este teorema tambem vale para p = p
0
.
22
5 Apendice
Neste apendice queremos coletar alguns resultados e ideias importantes para
o estudo dos espacos de Besov. Falaremos sobre os espacos das func oes rapi-
damente decrescentes o(R
n
), os espacos das distribuicoes temperadas o

(R
n
),
transformada de Fourier, convolu cao, e os espacos de Sobolev no R
n
modela-
dos no L
2
. Para as demonstrac oes e hip oteses omitidas, recomendamos [13]
(v. tambem [18]), [17], [6] e outras citadas em [13]. O nosso intuito aqui e
simplesmente formal, e admitimos uma certa maturidade com o assunto. Apre-
sentaremos apenas duas ou tres demonstra coes que achamos que contem ideias
relevantes para os nossos prop ositos.
Comecamos com a transformada de Fourier, a qual ser a denotada por ou
T; sua inversa ser a denotada por ou T
1
.
Denicao 4 Dada uma funcao f : R
n
C absolutamente integravel, temos
Tf()

f()
def
= (2)

n
2
_
R
n
f(x)e
ix
dx, R
n
e
T
1
g() g()
def
= (2)

n
2
_
R
n
g()e
ix
d, x R
n
.
A transformada de Fourier e uma ferramenta muito importante em Equac oes
Diferenciais Parciais. O exemplo classico da sua utilidade e dado na resolucao
da equac ao do calor
u
t
u = 0, (35)
onde u = u(x, t), t > 0, x R
n
,
x
, senao vejamos: Aplicando a
transformanda de Fourier na vari avel x ` a equa cao (35), obtemos (formalmente)
(Tu)
t
T(u) = 0. (36)
Aqui vamos usar a seguinte propriedade da transformada de Fourier:
T(D

f) = i
||

T(f), (37)
onde e um multi-ndice, i.e.
= (
1
, ,
n
),
i
Z
+
,
[[
def
=
1
+ +
n
,
D

f =

||
f
x

1
1
x
n
n
e

1
1

n
n
, = (
1
, ,
n
).
23
Em particular,
T() = T(

n
k=1

2
u
x
2
k
=

n
k=1
T(

2
u
x
2
k
)
=

n
k=1
i
2

2
i
T(u) = (

n
k=1

2
k
)T(u),
ou seja,
T(u) = [[
2
T(u). (38)
Substituindo (38) em (36) e escrevendo u = T(u), obtemos a equa cao diferencial
ordin aria na variavel t
u
t
[[
2
u 0
para cada R
n
. A solucao geral desta equa cao e dada por
u(t, ) = c()e
t||
2
onde c() e uma constante dependendo de . Da, tomando a transformada
de Fourier inversa, obtemos
u(t, x) = T
1
(c()e
t||
2
). (39)
Esta f ormula d a a soluc ao geral da equac ao do calor (35) (naturalmente sob
algumas hipoteses, mas isto nao faz parte do merito da questao no momento).
Ela pode ser melhor caraterizada usando-se o conceito de convolucao:
Denicao 5 A convolucao de duas funcoes f, g : R C e denotada por f g
e denida pela formula
(f g)(x)
def
=
_
R
n
f(x y)g(y) dy, x R
n
(sempre que o lado direito zer sentido).
Um fato essencial e que vale a formula
(f g)

() = (2)
n
2

f g. (40)
Usando-a podemos reescrever a formula (39) da seguinte maneira:
u(t, x) = (2)

n
2
T
1
_
(2)
n
2
(T
1
c)

() (T
1
(e
t| |
2
))

()
_
= (2)

n
2
T
1
_
(T
1
c) (T
1
(e
t| |
2
))
_

logo
u(t, x) = (2)

n
2
f T
1
(e
t| |
2
) (41)
24
onde f
def
= T
1
c. Mas [13, p.305]
T
1
(e
t||
2
)(x) =
1
(2t)
n
2
e
|x|
2
/4t
,
ent ao
u(x, t) = f K
t
(42)
onde
K
t
(x)
def
=
1
(4t)
n
2
e
|x|
2
/4t
.
Esta func ao K
t
e chamada o n ucleo do calor e prova-se que
f K
t

(t0)
f,
logo (42) e a soluc ao da equa cao do calor (35) com dado inicial u(x, 0) = f(x).
Outro fato importante sobre convoluc ao que usaremos e a desigualdade de
Young:
[[f g[[
L
r [[f[[
L
p[[g[[
L
q (43)
se
1
p
+
1
q
= 1 +
1
r
, 1 p, q, r .
Uma pergunta natural e que espaco de func oes e invariante pela transfor-
mada de Fourier. Uma resposta e o espaco das func oes rapidamente decrescentes
de Schwartz, denotado por o(R
n
):
Denicao 6
o(R
n
)
def
= f : R
n
C; f C

(R
n
) e [[f[[
,
def
= sup
xR
n [x

f(x)[ <
para todo par de multi-ndices , .
Teorema 17 Se f o(R
n
) entao

f o(R
n
).
Demonstracao: Temos

f =

(i)
||
T(x

f) = (1)
||
i
||+||
T(D

(x

f))
logo, como D

(x

f) o(R
n
) L
1
(R
n
), vem que
[

f[ [[D

(x

f)[[
L
1 < ,
para todo par de multi-ndices , .
Existe um outro espaco associado a o(R
n
) que tambem e invariante pela
transformada de Fourier. Este espaco n ao e literalmente um espa co de func oes,
mas e um espa co de funcoes generalizadas e o espaco das chamadas dis-
tribuicoes temperadas, o qual e denotado por o

(R
n
):
25
Denicao 7
o

(R
n
) e o dual topologico do o(R
n
), i.e.
o

(R
n
)
def
= f : o(R
n
) C; f e um funcional linear contnuo .
A transformada de Fourier em o

(R
n
) (e muitas outras denicoes dadas em
o

(R
n
)) e denida via dualidade:

f, )
def
= f, ). (44)
Muitas das f ormulas v alidas emo(R
n
) se estendem naturalmente para o

(R
n
),
como e o caso da f ormula (37), mas devemos tomar cuidado com as formulas que
envolvem produtos, pois o produto de distribui coes e uma opera cao complicada
de denir. Por exemplo, a formula (40) n ao vale para quaisquer f, g em o

(R
n
);
ela vale para f o

(R
n
) e g o(R
n
).
Na pesquisa de soluc oes das EDPs precisamos de espacos melhores do que
o

(R
n
), precisamos de espacos que sejam pelo menos normados e completos
(espacos de Banach); o

(R
n
) e um espa co vetorial topogico, ou melhor, um
espaco de Hausdor. (Muito util, por conter todos os demais espacos com os
quais trabalhamos.) Um espaco natural e aquele das func oes com derivadas ate
uma certa ordem de quadrado integravel, o qual e denotado por H
m
(R
n
), e e
chamado espaco de Sobolev de ordem m (m N, por enquanto) modelado no
L
2
:
Denicao 8
H
m
(R
n
)
def
= f o

(R
n
); D

L
2
(R
n
)
para todo multi-ndice com [[ m .
(Mais geralmente, dene-se os espacos de Sobolev modelados no L
p
:
W
m,p
(R
n
)
def
= f o

(R
n
); D

f L
p
(R
n
), ; [[ m.)
Acontece que os espa cos H
m
(R
n
) podem ser caracterizados em termos da trans-
formada de Fourier. Com efeito, vale o seguinte teorema:
Teorema 18
H
m
(R
n
) = f o

(R
n
); [[f[[
H
m
def
= [[T
1
(1 +[[
2
)
m/2
Tf[[
L
2 < .
Este teorema e uma conseq uencia quase imediata da f ormula (37) e da identi-
dade de Parseval:
[[

f[[
L
2 = [[f[[
L
2, (45)
26
v alida para toda f L
2
(R
n
), senao vejamos: Pela identidade de Parseval,
temos que D

f L
2
se, e somente se, T(D

f) L
2
. Mas pela f ormula (37),
esta condic ao e equivalente a

f L
2
. Agora basta observarmos que

f L
2
, [[ m
e o mesmo que
(1 +[[
2
)
m/2

f L
2
,
tendo em vista a estimativa (v alida para todo multi-ndice com m)
[

[ = [

1
1

n
n
[ (1 +[
1
[
2
)

1
/2
(1 +[
n
[
2
)
n/2
(1 +[[
2
)

1
/2
(1 +[[
2
)
n/2
(1 +[[
2
)
||/2
(1 +[[
2
)
m/2
e a f ormula binomial de Newton
(1 +[[
2
)
m
=
m

j=0
c
j
[[
2j
, c
j
= (
m
j
).
O Teorema 18 permite generalizar facilmente a denic ao do H
m
(R
n
) para m =
s R arbitr ario:
Denicao 9 Para s R qualquer, denimos
H
s
(R
n
) = f o

(R
n
); [[f[[
H
s
def
= [[T
1
(1 +[[
2
)
s/2
Tf[[
L
2 < .
Vamos terminar este Apendice com um toque na teoria da interpolacao,
o que e um assunto inerente ao estudo dos espacos de Besov (v. Sec ao 2).
A identidade de Parseval (45) nos diz que a transformada de Fourier e um
operador unit ario no L
2
(R
n
), em particular, temos que T L( L
2
(R
n
), L
2
(R
n
) )
4
com [[T[[
L
2
,L
2 1. Por outro lado, e f acil observar que temos tambem T
L( L
1
(R
n
), L

(R
n
) ) com [[T[[
L
1
,L
(2)
n/2
.
Perguntamos: Para que outros espacos A, B o

(R
n
), temos T L(A, B)?
Esta e uma pergunta tpica da teoria da interpolac ao, e um resultado importante
da mesma e o seguinte:
Teorema 19 (Teorema de Convexidade de RieszThorin) [7, 17] Seja T
um operador linear entre espacos L
p
s. Se [[T[[
L
p
0,L
q
0 M
0
e [[T[[
L
p
1,L
q
1 M
1
entao [[T[[
L
p
,L
q
M
1
0
M

1
, para todo [1, 1], onde
1
p

=
1
p
0
+

p
1
e
1
q

=
1
q
0
+

q
1
.
4
Operador linear limitado do L
2
(R
n
) no L
2
(R
n
).
27
Para um enunciado preciso, v. as referencias [7, 17] dadas acima. Cf. Sec ao 2,
Teorema 8. Tomando p
0
= q
0
= 2, p
1
= 1 e q
1
= , temos
1
p

=
1
2
+ e
1
q

=
1
2
=
1 +
2
,
logo, 1 p

2 e
1
p

+
1
q

= 1. Portanto, uma resposta ` a pergunta acima e o

seguinte teorema, o qual acabamos de demonstrar:
Teorema 20 (Teorema de HausdorYoung) A transformada de Fourier
e um operador linear limitado do L
p
(R
n
) no L
p

(R
n
) para todo p [1, 2], onde
p

=
p
p 1
, i.e.
1
p
+
1
p

= 1.
Para nalizar, observamos que a desigualdade de Young (43) tambem pode
ser obtida via interpolac ao.
References
[1] R. Adams, Sobolev Spaces, Academic Press (1975).
[2] I. Babuska, On Besov and Sobolev spaces of fractional or-
der, TICAM Forum Notes nr.1, Texas Institute for Computa-
tional and Applied Mathematics, Univ.of Texas at Austin (1996),
http://www.ticam.utexas.edu/ticam

forum/.
[3] J. Bergh & J. Lofstr om, Interpolation spaces: an introduction, Springer-
Verlag (1976).
[4] C. Cercignani, The Boltzmann Equation and its Applications, Springer
Verlag (1988).
[5] R.J. DiPerna, P.L. Lions & Y. Meyer, L
p
regularity of velocity averages,
Ann.Inst. Henri Poincare, 8(3-4) (1991) 271-287.
[6] G.B. Folland, Introduction ot Partial Dierential Equations, Princeton
Univ. Press (1976).
[7] G.B. Folland, Real Analysis, Modern Techniques and Their Applications,
2nd. ed., John Wiley & Sons, Inc. (1999).
[8] M. Geisler & T. Runsy, On a superlinear AmbrosettProdi problem in Besov
and TriebelLizorkin spaces, J.London Math.Soc. 43(2) (1991) 324-336.
28
[9] R.T. Glassey, The Cauchy Problem in Kinetic Theory, SIAM (1996).
[10] L. H ormander, The Analysis of Linear Partial Dierential Operators
[11] E. Horst, On the classical solutions of the initial value problem for the
unmodied non-linear Vlasov equation, Partes I e II): Math.Meth.Appl.Sci.
3 (1981) 229-248 e; 4 (1982) 19-32.
[12] E. Horst & R. Hunze, Weak solutions of the initial value problem for un-
modied non-linear Vlasov equation, Math.Meth. in Appl.Sci. 6 (1984) 262-
279.
[13] R. I orio & V.M. Iorio, Equacoes Diferenciais Parciais: Uma Introducao,
IMPAProjeto Euclides (1988).
[14] H.N. Lopes & M. Lopes, Comunicacao pessoal
[15] J.E. Littlewood & R. Paley Theorems on Fourier series and power series
(II) Proc. London Math. Soc., 42 (1937) 55-89.
[16] V.G. Mazja, Sobolev Spaces, SpringerVerlag (1985).
[17] M. Reed & B. Simon, Methods of Modern Mathematical Physics, V.I e II,
Academic Press (1975).
[18] M.M. Santos, A Versao de KatoLai do Metodo de Galerkin e a Equacao
de KortewegDe Vries (KdV), Dissertac ao de Mestrado, IMPA (1988).
[19] H. Triebel, Interpolation Theory, Function Spaces and Dierential Opera-
tors, North-Holland (1978).
[20] H. Triebel, Theory of function spaces. II, Monographs in Mathematics, 84,
Birkh auser Verlag, Basel (1992).
Estas notas sao um trabalho em evolucao. Pretendemos em futuras vers oes
acrescentar exemplos e demonstra coes. Certamente muitas correc oes devem ser
feitas. Quaisquer comentarios ou sugest oes serao bem vindos.
29