SE2 06 (Edp)

A funo delta de Dirac
Jos Ruidival dos Santos Filho

UFSCar
2o Colquio da Regio Sudeste

Janeiro de 2013
Sumrio
Introduo v
1 Da funo delta para distribuies 1
2 Mtodos para D 0 ( X ) e Aplicaes 11
3 Anlise de Fourier 19
3.1 O caso linear . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
3.2 O caso no-linear . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
Referncias Bibliogrficas 47
iii
Introduo
Este minicurso visa apresentar o desenvolvimento e algumas aplicaes de uma

classe importante de funes generalizadas, saber a Teoria das Distribuies. O nosso
ponto de partida ser a funo delta de Dirac. Como pr-requisitos o estudante dever
dominar conceitos e resultados de um curso de Anlise Real, bem como aspectos gerais
da topologia de espaos normados e mtricos, uma referncia que contm este material
o livro de W. Rudin, [11].
O matemtico ingls Oliver Heaviside(1850-1925) introduziu o clculo operacional
para resolver equaes diferenciais de circuitos eltricos, tornando-as equaes
algbricas. Alguns mtodos s viriam a ser matemticamente formalizados muito
tempo depois. Uma funo apareceu naturalmente no processo, saber a funo com
valores reais, definida para 0 6= t R dada por H (t) = 0, se t < 0 e H (t) = 1, se t 0.
Representava ento a funo voltagem; que assumia valor constante > 0 quando se
fechava o circuito a partir do instante t = 0 e era nula quando t < 0.
Algum tempo depois o fsico ingls Paul Dirac(1902-1984) fez sua graduao
em Engenharia Eltrica, aps o qual passou dois anos estudando Matemtica; seu
doutorado foi obtido em 1926; no ano 1932 tornou-se professor em Matemtica na
Universidade de Cambridge. Em 1933 dividiu o Prmio Nobel em Fsica com Erwin
Schrdinger. No seu livro Principles of Quantum Mechanics, em 1930, incorporou
o prvio trabalho de Werner Heisenberg e o de Erwin Schrdinger num nico
formalismo matemtico, no processo introduziu, simbolicamente, a funo que
gozaria das seguintes propriedades:
R +
1) ( x ) = 0 se x 6= 0, 2) (0) = e 3) ( x )dx = 1.
Se realmente
Rx fosse uma funo real integrvel, em algum sentido, teramos que
H ( x ) = (t)dt. Passamos agora a restringir nossa discusso as propriedades 1) e
3).
Na teoria de integrao do matemtico alemo Bernhard Riemann(1826-1866),
como ns bem sabemos de Clculo Integral, se fosse integrvel a Riemann, implicaria
que seria limitada; que no pode ser vlido de 1) e 2). Tambm a teoria de integrao
do matemtico francs Henri Lebesgue (1875-1941), apesar de muito mais rica que a
de Riemann, no comporta como funo integrvel; pois uma funo integrvel a
R +
Lebesgue, satisfazendo 1) implicaria que ( x )dx = 0.
O matemtico francs Laurent Schwartz(1915-2002), finalmente colocou a funo de
Dirac num contexto matematico defensvel, propondo a Teoria das Distribuies, ver
[13]. Tambm referida como uma teoria de funes generalizadas o primeiro trabalho
proposto, devido ao matemtico russo S. Sobolev(1908-1989), data de 1936, o tambm
russo Israel Gelfand(1913-2009) divulgou numa srie de textos a teoria de funes
generalizadas, inclusive a teoria de Schwartz. Como comsequncia desta teoria L.
v
Schwartz recebeu a Medalha Fields em 1950. Esta teoria tem impacto em Anlise
Matemtica desde sua criao at os dias de hoje.
Em Rn com a topologia euclidiana, ser um funcional linear contnuo, suportado
num dado ponto, definido em C (Rn ), = funes contnuas de em R, aqui a topologia
deste espao funes da convergncia uniforme sobre compactos. Exploraremos a
significncia deste funcional linear na teoria de Schwartz; em particular como podem
ser obtidas a topologia do espao das distribuies (= D 0 ) e os seus principais
teoremas interpretados. Ressaltaremos tambm como a referida funo aparece
em Probabilidade, como pode ser utilizado para demonstrar teoremas de Clculo
Diferencial tais como o de Green-Gauss, e sua necessidade quando considerarmos
operadores diferenciais ordinrios lineares que no podem ser escritos na forma
normal usual (por exemplo, u( x ) 7 xu0 ( x )), entre outras aplicaes. Finalmente,
apresentamos como a Anlise de Fourier se desenvolve para um sub-espao de D 0 ,
saber o das distribuies temperadas. Muitas aplicaes da teoria foi objeto de
estudo do matemtico sueco Lars Hrmander(1931-2012), medalista Fields em 1962,
seu grande livro Linear Partial Differential Operators, [6], sintetizou a partir de sua
tese de doutorado diretrizes para o desenvolvimento da teoria de equaes diferenciais
parciais. O impacto deste, de outros livros e artigos de Hrmander guiou, e ainda guia,
pela profundidade e estilo do material apresentado, muitos matemticos da rea.
O minicurso ser dividido em trs captulos:
O primeiro dele ser devotado as preliminares, objetivando introduzir notaes e
revisar a parte bsica a ser assumida; bem como motivar e apresentar situaes em
que a noo de funes generalizadas so necessrias.
O segundo captulo trar a topologia do espao das funes testes (isto , das funes
infinitamente diferenciveis com suporte compacto), aqui denotada por Cc (), com
um aberto de Rn e a partir da mesma introduzir o espao das distribuies, ou seja
dos funcionais lineares contnuos definidos em Cc (). Alguns resultados centrais da
teoria sero enunciados, entre eles destacamos: O teorema de Peetre,Aproximaes
suaves de distribuies, a Caracterizao de distribuies como derivadas de funes
contnuas e o Teorema do Ncleo de Schwartz.
Nestes dois primeiros captulos nos referimos a [6], [9] e [15] como referncias
para uma primeira apresentao de alguns dos tpicos aqui tratados e [7] para um
tratamento mais completo.
No terceiro captulo, dividido em duas sees, ressaltamos a importncia da
Anlise de Fourier em distribuies e escalas de espaos de funes sero introduzidos.
J. Fourier(1768 - 1830) foi um matemtico francs cujas contribuies est na
origem de vrias tcnicas importantes de Anlise Matemtica e aplicaes. Nosso
principal objetivo na apresentao ser estabelecer as caracterizaes, em termos de
decomposio de Littlewood-Paley, dos espaos de Sobolev e o de Besov; fazendo
o contra-ponto com o decaimento dos coeficientes da srie de Fourier para medir
regularidade.
Pretendemos com isto, mostrar que avanos importantes em Anlise Harmonica
teve sua aplicabilidade para problemas no-lineares, assegurado a partir do trabalho
de J. M. Bony, ver [2]. Para tal nos referimos ao artigo de divulgao [3] e para
mais detalhes os textos [1], [5], [8] e [10]. A parte bsica ser referida ao livro do
D. de Figueiredo, [4], para da Anlise de Fourier nvel de graduao e o livro de
L. Hrmander ( [7]) para um tratamento mais completo. A parte no-bsica referimos
essencialmente ao livro recente de H. Bahouri, J.-Y. Chemin e R. Danchin, [1], que como
em [5], [8] e [10], discorre sobre a decomposio de Littlewood-Paley e contm muitas
aplicaes da teoria.
Exerccios sero propostos ao longo do texto em adeso aqueles encontrados nos
textos [4], [7], [9] e [15]. Ressaltamos que nosso objetivo no ser completo nem auto-
suficiente, mas apresentar uma introduo para a teoria, a escolha se satisfazer a algum
princpio ser ao meu gosto pessoal.
Dedico estas notas a memria de Lars Hrmander, esperando, que pelo menos
minimamente, honre a grande contribuio matemtica deixada por ele.
Captulo 1
Da funo delta para distribuies
Considere Rn com a topologia euclidiana e x0 Rn , seja x0 o funcional linear

contnuo, definido em C (Rn ) ( = funes contnuas definidas em Rn com valores em
R), por
x0 ( f ) = f ( x0 ).
Aqui a topologia C (Rn ) da convergncia uniforme sobre compactos. Tal topologia
no obtida por uma norma (Exerccio 1.1), por outro lado ela obtida por uma
famlia enumervel de semi-normas, no seguinte sentido: Para cada j N, considere
Nj0 ( f ) = Max x B j (0) | f ( x )|, com B j (0) a bola fechada centrada na origem 0 Rn e
raio j. Tais Nj0 no so normas pois para cada j existe f j 6= 0 tal que Nj0 ( f j ) = 0
( Exerccio 1.2), por outro lado podemos us-las para obter uma distncia d no espao,
da qual se obtm que a referida topologia de espao mtrico completo, saber
N 0 ( f g)
tomando d( f , g) = jN 2j (1+j N 0 ( f g)) .
j
Observaes 1.1 - Se V um espao vetorial e {n ; } uma famlia de semi-
normas definidas em V temos que:
a) A nica propriedade que difere uma norma de uma semi-norma que para a
segunda podemos ter que n ( x ) = 0 sem que necessariamente temos que x = 0.
b) A topologia gerada pelas n s ter como base de vizinhanas da origem
(translade-a para obter uma base de abertos da topologia) as semi-bolas { x; n ( x ) <
1/j}, para cada e j Z+ . Esta base de vizinhanas convexa, sob estas condies
o espao dito ser localmente convexo.
(c) A topologia de (b) de Hausdorff se, e s se, para todo x V no-nulo temos
que existe tal que n ( x ) 6= 0. Diz-se que ( xk ) uma sequncia de pontos de V de
Cauchy se para todo e > 0 e n existe k0 Z+ e tal que n ( xk xk0 ) < e, se k, k0 k0 .
Observe que como no caso acima C (Rn ), se a coleo de seminormas for enumervel e
for de Hausdorff a mtrica definida funciona, e a mtrica garante os mesmos abertos.
(d) Estes espaos topolgicos so denominados Espaos Vetoriais Topolgicos;
em tais as operaes de espao vetorial so contnuas. Quando existir uma
mtrica invariante completa(no sentido de todas as sequncias de Cauchy serem
convergentes), diz-se que se trata de um espao de F-espao, e se alm disso for
localmente convexa chamado de Espao de Frchet. Nos referimos a e [12] e[14]
para amplo detalhamento da teoria ds EVTs. voltaremos a esta teoria para mostrar
como se estende os teoremas usuais de Anlise Funcional para esta classe de espaos.
1
2 Captulo 1: Da funo delta para distribuies
Nos limitando a subconjuntos compactos K de Rn , que neste contexto podemos

considerar K j = B j (0), obviamente teremos que (C (K j ), Nj0 ) normado completo. Por
R
outro lado, a integral de Riemann, f C (K j ) 7 IR ( f ) = k f ( x )dx um funcional
linear contnuo, segundo a norma Nj0 .
Observaes 1.2 Por outro lado, dois resultados de Anlise Real, para n = 1, destaca-se
neste contexto:
(a) Dada f uma funo real definida em K j ela integrvel no sentido de Riemann,
se, e s se, o conjunto de descontinuidades de f de contedo nulo, ver [10].
(b)D K j o conjunto dos pontos de descontinidades de uma funo f real
definida em K j se, e s se, D for um F . Diz-se que um conjunto um F se for unio
enumervel de subconjuntos fechados.
Poderamos dizer que o primeiro item tem aspecto quantitativo enquanto que o
segundo qualitativo, digamos as aspectos analticos e topolgicos, respectivamente.
Por outro lado um F no obtido por operaes tpicas em Topologia Geral.
Poderamos dizer que isto justifica termos considerar outras noes de integral, claro a
deficincia padro resaltada no podermos estudar a convergncia de IR ( f n ), quando
f n C (K j ). Com o objetivo de colocar (a) e (b) no prprio contexto, primeiramente
consideremos o completamento do espao vetorial normado (C (K j ), k k1 ), com k f k1 =
IR (| f |). Ora ns sabemos que o completamento de um espao normado, ele
tambm normado, pois a lei do paralelogramo continua valendo, para a mtrica do
completamento, ver [10]. O trabalho de H. Lebesgue descreve a norma assim obtida;
em particular mostra que existe um integral aqui denominada por IL ; usando a mesma
notao k f k1 = IL (| f |), com f C (K ). Este completamento C (K j ) no contexto de
integrao recebe a notao L1 (K j ).
A teoria de integrao de Lebesgue pois o lugar natural onde os elementos de (a) e (b)
aparecem, ver [10] para uma breve introduo a teoria. Alm de Anlise Matemtica,
por conseguinte em Geometria e Topologia, uma rea de concentrao da Matemtica,
a saber, a Probabilidade, recebeu influncia determinante da teoria e suas tcnicas.
Afinal os conjuntos medveis no sentido de Lebesgue, ou seja aqueles A K j tais que
a funo caracterstica de A aqui denotada por X A L1 (K j ), dada por X A ( x ) = 1 se
x A e Xa ( x ) = 0 caso contrrio, tais conjuntos so denominados como mensurveis
Lebesgue, nos fornece probabilidades tais como A ( B) = k XB A k1 /k X A k1 , ou mais
geralmente se f L1 (K j ), com k f k1 > 0, tomamos f ( B) = k XB f k1 /k f k1 .
A teoria de Lebesgue sugere espaos de funes que so normados e completos; de
fato modelado nas normas usuais de Rn , saber as normas k x k p = (nj=1 | x j | p )1/p se
1 p < . Um ltima obtida pelo limite quando p , no caso k x k = Max | x j |.
Exerccio 1.3 - Prove a ltima observao acima.
Dado X um subconjunto aberto de Rn , os espaos acima mencionados so dados por
Z
L p ( X ) = { f ; f : X C mensurveis tal que ( | f ( x | p dx )1/p < }
X
se 1 p < com k f k p = ( X | f ( x | p dx )1/p . L ( X1 ) o espao das funes f s

R
mensurveis a Lebesgue tais que existe uma constante C e um conjunto E de medida
nula com | f ( x )| C a menos que x E. O nfimo de tais Cs denotado por k f k .
Note que devemos considerar f como a classe de equivalncia de funes segundo a
relaao de equivalncia dada por f g se f = g exceto num conjunto de medida
3
nula. O resultado abaixo sumariza os resultados que usaremos sobre estes espaos
normados:
Teorema 1.1 Com a norma acima teremos que L p satisfaz as seguintes propriedades:
a) (Desigualdade de Hlder) k f ( x ) g( x )k1 k f k p k gkq se 1/p + 1/q = 1.
b) O espao dos funcionais lineares contnuos de L p em C, se 1 p < , identificado como
Lq , com ( p, q) dado pela relao em a). Tais funcionais so dados por f 7 f ( x ) g( x )dx. A
R
norma ser determinada pela desigualdade de Hlder.
Retornando a funo delta, vemos que em Probabilidade, quando o conjunto
de amostras um conjunto finito X = { x1 , ..., xn }, naturalmente considera-se a
probabilidade de contagem com pesos pi [0, 1] e i pi = 1, mais precisamete se
A = { xi1 , ..., xi j } X, define-se ( A) = i A pi . Nestes termos podemos tomar a
funo suportada num ponto x1 , com p1 = 1, como uma integral onde o conjunto
mensurveis o conjunto das partes, escrevemos x1 ( B) = 1, se x1 B e = 0 se x / B,
mais geralmente tem-se que toda toda funo R mensurvel e tambm integrvel,
coerentemente denotaremos a integral como f ( x )d(x1 )( x ) que compatvel com
a notao da Integral de Riemann-Stieltjes. Assim, podemos considerar medidas,
em particular probabilidades, como funcionais reais contnuos em C (Rn ). Por outro
lado para o propsito de estudar solues de equaes diferenciais devemos ter
funes generalizadas mais gerais do que simplesmente as medidas. Concluiremos
esta discusso discusso propondo o seguinte problema:
Exerccio 1.3 -
a) Dado uma medida finita em Rn (isto , a sua variao total
Sup P {|( Pj )|, com = { P1 , ..., Pl } partio finita } finita), denomina-se suporte de
e denota-se por S() ao conjunto fechado dado por pela unio de todos os abertos U
tais que a restrio de a U a medida nula. Mostre que qualquer fechado suporte
de uma medida finita, no-negativa.
b) Se = f , com f contnua, mostre que S(u) = { x; f ( x ) 6= 0}.
Dado X Rn aberto, denotaremos G(X ) o espao vetorial das funes
generalizadas que estamos interessados em definir, e assumiremos que goze algumas
propriedades, e aqui antes de enuncia-las as motivaremos. A nossa meta que G(X )
seja o dual de um espao topolgico completo F (X ) de funes definidas em X, ou
seja dos funcionais lineares contnuos definidos neste espao de funes.
A discusso feita anteriormente justifica as seguintes propriedades:
(P1) F ( X ) C ( X ) alm disso a aplicao incluso contnua, aqui a topologia
de C ( X ) dada pelas semi-normas p j ( f ) = Max xK j {| f ( x )|}, aqui K j = { x
X; d( x, Front( X ) 1/j} Bj (0). (Estendendo assim o caso em que X = Rn ).
(P2) O conjunto das medidas do tipo {
j=1 c j x j , com j=1 | c j | convergente}, est
contido em G( X ).
Observaes 1.3
a)De (P2) segue que
F ( X ) Cc ( X )(= { f C ( X ); S( f ) compacto}).
De fato, tomando x j X tal que x j convirga para um ponto da fronteira de X ou
para infinito, considere = c j x j , c j > 0 j e c j < . Tome C ( x ) tal que
c j f ( x j ) = +, teremos portanto ( ) = +.
b) Dado f C ( X ), e fixado uma Cc ( X ) temos que a integral de Riemann

i i
IR ( f ) = limk ik=1 ik f ( xik ) ( xik ) = limk+ [ik=1 ik f ( xik )xk ]( ).
i
Isto significa que as medidas que precisamos tomar so limites de combinaes lineares
de medidas de Dirac. A funo generalizada obtida atravs da integral ser denotada
por T f G .
c) Mais geralmente, como a integral de Lebesgue estende a de Riemann, e as
funes integrveis Lebesgue limite de funes contnuas de suporte compacto,
na norma L1 . As funes testes tem suporte compacto, o que permite esperar que
T f G . Olhando para medidas este o caso, o surpreendente que a topologia de F
to restrita que nos permite mostrar que a topologia de G to fraca que nos permite
mostrar que convergncia pontual de funes generalizadas funo generalizada.
d)Note tambm que uma vez que as funes testes tem suporte compacto ao invs
de tomar funes integrveis Lebesgue podemos flexibilizar mais e considerar T f
com f L1loc ( X ) = { f : X R; as restries de f aos compactos K j so integrveis
a Lebesgue, j}. Este ltimo espao chamado das funes localmente integrveis.
Observamos que para funes integrveis a Lebesgue, para que tenhamos uma norma
deveramos tomar uma relao de equivalncia, pois duas funcoes f e g se diferirem
num conjunto de medida nula teremos que a distncia entre elas nula. (Este tambm
o caso se tomarmos d( f , g) = IR ( f g) para as funes integrveis Riemann, vide
Observao 1.2 a)).
e) Note que podemos expressar o limite do quociente de Newton em termos de
combinaes finitas de s. A saber,
x0 +hei x0
limh0 ( )( ) = xi ( x0 ).
h
A proposio abaixo motivar estas escolhas.
d
Proposio 1.2 Seja um nmero real que no seja um inteiro negativo e tome P = x dx I
1 0
o operador diferencial ordinrio dado por C (R) 7 com ( x ) = x ( x ) ( x ).
Ento temos que o ncleo de P tem dimenso igual a dois, com as seguintes resalvas:
(a) Se > 1 ento o ncleo est contido em C1 (R).
(b) Se = 0 ento o ncleo gerado por H ( x ) e H ( x ); e portando suas derivadas so
mltiplas de 0 .
d d
(c) Para os outros valores de use que dx P = P1 dx para concluir a afirmao, com
o ncleo em espaos mais irregulares.
Nota: Poderamos ser mais precisos em (a) e (c), mas para isto precisariamos introduzir
espaos de Hlder.
Demonstrao: . Se > 1 uma integrao pura e simples mostra que o ncleo de P
gerado por { + , }; com + ( x ) = x se x > 0 e = 0 se x 0 e ( x ) = + ( x ).
Note que se for > 1 de fato o ncleo est contido em C1 (R), enquanto que se
0 < < 1 o ncleo est contido em C (R) L1loc (R).
No caso = 0 temos que o ncleo gerado pela funo H de Heaviside(ver
Introduo) e sua reflexo com respeito a x = 0. Observe que para fazer sentido
devemos proceder da seguinte maneira: Primeiro observe que H 0 () = H (0 )
5
R
por (P2), da teremos que H (0 ) = 0 0 ( x )dx = (0) = 0 () pelo Teorema
Fundamental do Clculo. Da P( H )( ) = ( xH 0 )( ) = H 0 ( x) = 0 ( x) =
( x)(0) = 0. 2
Observaes 1.4.
a) A proposio tambm se estende para o caso em que C nos referimos a [6]
para o estudo do caso geral, l considerado como distribuies homogneas de R.
b) Note que precisamos que as funes testes sejam infinitamente diferenciveis
pois certamente o necessitaremos se aumentarmos a ordem do operador. Por outro
lado elas devem ter suporte compacto para que ao Raplicarmos o Teorema Fundamental

do Clculo no caso = 0 posssamos concluir que 0 0 ( x )dx = (0).
Imporemos pois:
(P3) - G deve ser invariante pelos operadores diferenciais parciais , Nn , ou
seja u G , u G , com
( u)( ) = (1)|| u( ), u G .
Aqui percorrer o espao vetorial Cc (Rn ) das funes infinitamente derivveis com
suporte compacto. Daqui para frente tal espao vetorial ser denominado como o das
funes testes. Observe que esta noo de derivada fora que a frmula integrao por
partes vale, verdade quando u = T f , para f suficientemente regular; em particular
d
dx TH = 0 .
O candidato a ser o F Cc ( X ). Como visto em cursos bsicos de Anlise Real, tal
espao vetorial no-trivial, tais funes aparecem para estabeler partio da unidade
suaves. Um exemplo muito popular ( x ) = exp( 1|1x|2 ) se | x | < 1 e = 0 caso
contrrio, verifica-se que 0 6= Cc (Rn ).
Nosso objetivo afinal ser o de determinar a mais fraca topologia de Cc ( X ), de
sorte que seja completo e que o seu dual tenha as propriedades listadas acima. Como
no caso C ( X ), descrito para X = Rn no primeiro pargrafo deste captulo, a topologia
de C ( X ) dada pelas semi-normas Njk ( ) = Max||k { Max xK j {| ( x )|}}. Com
tal topologia C ( X ) completo, aqui tambm metrizvel como no caso C ( X ).
j
(Observamos bastava pegar, Nj mas aproveitamos a oportunidade para estabelecer
a notao). Mas no normado, com esta topologia, para a demonstrao deste fato
nos referimos a [12].
(P4) - A topologia de F = Cc ( X ) mais fina que a topologia induzida por
j
{ Nj ; j N}.
j
Exerccio 1.4 - Mostre que Cc ( X ) com a topologia dada por { Nj ; j N} de Hausdorff
mas no completo. (Ver Observao 1.1).
Seja = ( ) BbbN n tais que cada C ( X ) e que {S( ); Nn } seja localmente
finita, isto , para cada compacto K X o conjunto {; S( ) K 6= } finito. Denote
este conjunto de s por P. Para cada P e Cc ( X ) considere:
N ( ) = Nn Max xX {|( )( x )|}
Exercicio 1.5 - Seja C ( X ), mostre que N ( ) < P, se, e s se, S( )

compacto.
(P5) - Existe uma famlia de seminormas em Cc tal que a topologia induzida seja
de um espao vetorial topolgico completo.
Exerccio 1.6 - Mostre que a famlia { N ; P} satisfaz (P5).
Finalmente, com esta topologia denote Cc ( X ) por D( X ), e da tome G = D 0 ( X )=
espao dos funcionais lineares contnuos definidos em D( X ). A partir de agora esta
a notao a ser considerada. Um funcional linear contnuo se for contnuo na origem,
e neste caso significa que e > 0 existem > 0 e N tais que |u( )| < e se N ( ) < .
Observe que, por linearidade, temos que u( ) = 0 se N ( ) = 0. Assumindo pois que
N ( ) > 0 temos que |u(/(2N ( ))| < e, da segue que |u( )| < 2e/N ( ).
Consequentemente, temos que existem C > 0 e N tais que
|u( )| < CN ( ) D( X ) (1.1)
Sendo tal desigualdade equivalente a continuidade. Ou equivalentemente, K X

compacto, existem C > 0 e k N tais que
|u( )| < C||k sup| ( x )| D( X ) com S( ) K (1.1)0

Se a desigualdade (1.1) vale para qualquer D( X ) dizemos que u tem ordem
finita, e a ordem o menor k possvel. Isto no o caso em geral, como pode ser visto
tomando ( x j ) uma sequencia de pontos tendendo para a fronteira de X, e considerando
u = j x j , para n = 1, por simplicidade.
Agora podemos descrever a convergncia em D( X ) sem fazer meno as semi-
normas N s:
Lema 1.3 j D( X ) converge para 0 quando j se, e somente se,

(a) Para cada a sequencia j converge uniformemente para 0.
e
(b) Existe um conjunto compacto K de X tal que todas as j tem suporte contido em K.
Demonstrao: Use a caracterizao em termos de N para demonstrar a

aparentemente mais restrita condio dada por ( a) (b).
2
Como consequncia desta caracterizao mostra-se, como no caso normado, que

continuidade por e e N equivalente com a continuidade por sequncia, isto :
Proposio 1.4 Uma aplicao linear u em D( X ) uma distribuio se, e somente se,
u( j ) 0 para toda j 0, no sentido prescrito em Lema 1.1.
Demonstrao: Se u D 0 ( X ) ento de (1.1) segue imediatamente que u( j ) 0 se

(a) e (b) do Lemma 1.1 valem.
Suponha agora que (1.1) no vale, logo existe K compacto de X tal que para cada j
podemos encontrar j D( X ), com S( j ) K tal que u( j ) = 1 e sup| j ( x )| 1/j,
para || j. O que uma contradio da hiptese. 2
Num certo sentido a condio de continuidade (1.1) nos permite trabalhar com
o espao de Frchet C (K ) = { Cc ( X ); S( ) K }; sob esta hiptese a grande
7
vantagem de trabalhar com a estrutura de EVT que teoremas bsicos de Anlise

Funcional para espaos normados completos valem neste contexto, por exemplo o
Teorema de Baire, Teorema de de Banach-Steinhauss (Limitao Uniforme) e o Teorema
de Hahn-Banach.
Aqui nos limitaremos a enunciar tais teoremas, demonstrar os dois primeiros e fazer
alguns comentrios, nos referiremos a [12] e [14] para uma mais extensiva e completa
discusso sobre estes tpicos.
Teorema 1.5 (Baire) Seja X um espao mtrico completo, ou for um espao localmente
compacto de Hausdorff ento X no pode ser unio enumervel de fechados com interior vazio.
Demonstrao: . Obviamente a hiptese pode se traduzir aos seus complementares,

que agora se l como a interseo de abertos densos no pode ser o conjunto vazio. Seja
A1 , A2 , ... os tais abertos. Tome B1 aberto, por exemplo uma bola aberta no-vazia de
raio 1 no primeiro caso e um aberto no-vazio com fecho compacto no segundo caso.
Note que em ambos casos A1 B1 6= . Indutivamente, tome Bk aberto no-vazio
tal que seja uma bola de raio de raio 1/k no primeiro caso, e com fecho compacto no
segundo caso, tal que Bk kj=1 A j Bk1 . Em ambos os casos teremos que a interseo
de todos os Bj s no-vazio. 2
Utilizando Teorema 1.1 temos uma alternativa de mostrar que Rn no pode ser
unio enumervel de subespaos no-triviais.(Para n = 1 dir que o espao no-
enumervel). Uma consequncia deste resultado o teorema abaixo afirma que, sob
condies apropriadas nos espaos, uma sequncia de operadores limitados ( Tn ) for
limitada pontualmente o ser tambm uniformemente. Diz-se que um subconjunto de
espao topolgico de primeira categoria se for a unio enumervel de subconjuntos
densos em parte alguma (= o fecho tem interior vazio). Um subconjunto de segunda
categoria se no for de primeira.
Observao 1.5. Aqui j se apresenta uma boa justificativa a no restrigirmos a nossa
Anlise Funcional a espaos normados e mesmo mtrico.
(D( X ), ( N ) P ),
um espao vetorial topolgico que completo mas no metrizvel.

A demonstrao deste fato segue do seguinte argumento: Se o fosse, pelo Teorema
de Baire, ele seria de segunda Categoria, ou seja no poderia ser a unio enumervel
de fechados com interior vazio. Mas se tomarmos K j uma sequencia ascendente
enumervel de subconjuntos compactos 6= Int(K j ) K j Int(K j+1 ), cuja unio
seja X, digamos tomando uma subsequencia de K0j = { x X; d( x, Front( X ))
1/j com d( x, 0) j}, se X 6= Rn ; caso contrrio tome K j = Bj (0)}. claro que
D( X ) = CKj , mas cada CKj fechado e tem interior vazio em D( X ). Logo a topologia
de D( X ) no pode ser metrizvel pelo Teorema 1.2.
Uma demonstrao sem usar o Teorema de Baire pode ser conseguida, saber: Tome
K j , como acima, e j D( X ) tal que = 1 numa vizinhana de K j . Assim se D( X )
fosse metrizvel, com mtrica d, tomando e j > 0 tal que d(e j j , 0) < 1/j teramos que
a sequncia (e j j ) convergeria para 0 com respeito a d, mas certamente tal sequncia
no converge com respeito a topologia de D( X ), pelo Lema 1.3.
Teorema 1.6 (Banach-Steinhauss) Se X e Y so espaos vetoriais topolgicos, e uma famlia

de operadores lineares contnuos de X em Y, e B o conjunto de todas os x X tais que a rbita
( x ) = { ( x ); }
seja limtado em Y. Se B for de segunda categoria em X, ento B = X e equicontnua. Logo

se X for um F-espao ento equicontnua; e portanto se for uma sequencia que converge
pontualmente, ento o limite um operador linear contnuo.
Demonstrao: Tome vizinhanas Uj , j {1, 2}, da origem de X tal que tx Uj se

x Uj e |t| 1. Tome-as tais que U1 + U1 U2 . Tome
E = 1 (U ) .
Da se x B ento ( x ) nU, para algum k, da x kE. Logo
B
k=1 kE.
Consequentemente ao menos um kE de segunda categoria. Como x kx um

homeomorfismo segue E de segunda categoria; mas como E fechado; logo contm
um ponto interior x 0 ; seja U3 E uma vizinhana aberta de x 0 . Consequentemente
( x 0 U3 ) = ( x 0 ) (U3 ) U1 U1 U2 , . Demonstrando assim que
equicontnua.
Usando que equicontnua mostra-se que existe vizinhana aberta da origem contida
em B o que por linearidade que B = X. 2
O terceiro e ltimo resultado de Anlise Funcional aqui apresentado trata extenses

de de funcionais lineares. Para a demonstrao nos referimos a [12], por exemplo.
Teorema 1.7 (Hahn-Banach) Suponha que Y seja um subespao do espao vetorial X. Seja p
uma seminorma em X, e um funcional linear em Y tal que
|( x )| p( x ), se x Y.
Ento se estende para um funcional linear em X tal que
| ( x )| p( x ), se x X.
Uma interessante aplicao da teoria, em particular da derivada no sentido das

distribuies de funes no-derivveis, a Frmula de Green-Gauss, como proposto
em [7].
Primeiramente, consideramos a descrio local abertos com fronteiras de classe C1 .
Seja Y X, diz-se que Y tem fronteira de class C1 em X se para cada x0 X Front(Y )
se existe vizinhana aberta U de x0 e C1 (U ) tal que
( x0 ) 6= 0, Y U = { x U; ( x ) < ( x0 )},
Aqui o vetor gradiente de . Observamos que tal caracterizao local pode ser
globalizada, ou seja:
9
Exerccio 1.7 - Mostre que usando partio da unidade possvel determinar

C1 ( X ) tal que ( x ) = 0 e ( x ) 6= 0 para todo x Front(Y ) e alm disso que
Y X = { x X; ( x ) < 0}.
Seja XY a funo caracterstica de Y, ou seja XY ( x ) = 1 se x Y e = 0 caso contrrio.
(Um exemplo de tal situao para X = R e Y = (0, +), neste caso XY = H.
Obviamente temos que XY diferencivel em todos os pontos de x Y (Y )c e a
diferencial nula a. Por conseguinte, para todo j temos que S(e j XY ) Front(Y ).
Para calcular a ao de e j XY em funes testes, usando Proposio 1.2, aproximaremos
XY por funes suaves, de fato por funes de classe C1 . Observe tambm que mais
uma vez usando partio da unidade e (1) a ao pode ser restrita a funes testes
de suporte pequeno perto de pontos de Front(Y ). Ao considerar esta localizao,
sem perda de generalidade, suporemos que x0 Front(Y ) e que e1 ( x0 ) 6= 0.
Da podemos considerar a aplicao de classe C1 ; invertvel com inversa C1 numa
vizinhana U de x0 , dada por x 7 (( x ), x2 , ..., xn ); logo ( x ) = 0 perto de x0
equivalente a x1 = ( x2 , ..., xn ), para de classe C1 . Da e1 < 0, digamos em x0 ,
ento Y ser dada por x1 > ( x 0 ), com x 0 = ( x2 , ..., xn ). Finalmente podemos propor a
seguinte aproximao de XY , para tal tome h C se anulando em (, 0) e = 1 em
(1, +), da
XY = lime0 h(( x1 ( x 0 ))/e) em U,
que converge pontualmente mas tambem em L1loc e por conseguinte em distribuies.
Exerccio 1.8. Alm de verificar a ltima afirmao mostre que
Z
e j XY ( ) = j ( x 0 ) ( ( x 0 ), x 0 )dx 0 ,
aqui /(1 + |0 |2 ( x 0 ))1/2 = n, com n igual a normal interior de Front(Y ),

consequentemente
e j XY = n j dS,
em U, logo em todo X, com dS= medida de superfcie Euclidiana em Front(Y ).
Consequentemente teremos a Frmula de Green-Gauss:
Z Z
div( F )dx = < F, n > dS.
Y Front(Y )
R R
uma vez que Y div( F )dx = X XY div( F )dx, com F = ( f 1 , .., f n ) um campo de classe
C1 .
Ainda nos baseando em [7], apresentaremos uma segunda aplicao, neste caso
sem demonstrao.
Proposio 1.8 Seja P = a j ( x ) x j + b( x ), com a j C1 ( X ) e b C ( X ) com X Rn

aberto. Se u diferencivel em cada ponto de X e exista f C ( X ) tal que Pu( x ) = f ( x ) para
cada x X, ento Pu = f no sentido das distribuies.
Note que u CR( X ) logo u D 0 ( X ) de ordem 1, e portanto faz sentido de

( a j x j Tu )( ) = u( x )( x j ( a j ))( x )dx, se Cc1 ( X ).
Captulo 2
Mtodos para D 0 ( X ) e Aplicaes
Iniciamos este captulo apresentando um resultado que nos d condies para que
exista o valor a fronteira de funes holomorfas e que o mesmo seja uma distribuio,
nossa referncia [7]. A recproca do resultado vale e ambos se estendem para funes
de vrias variveis complexas. um resultado de Equaes Diferenciais Parciais pois
trata de solues homogeneas do operador de Cauchy-Riemann, sendo este ltimo
dado por z = 12 ( x + iy ). Extenses do resultado tem sido obtido para outros
operadores diferenciais parciais.
Seja I um intervalo aberto de R e > 0, considere = {z C; 0 < Im(z) < },
aqui z = x + iy, x, y R e Im(z) = y. Seja f H( ) = espao das funes holomorfas
definidas em . Segue o seguinte resultado:
Teorema 2.1 Se existe uma constante C e um inteiro no-negativo N tais que
| f (z)| C ( Im(z)) N , se z (2.1)
ento f (. + iy)) converge em D 0 ( I ) quando y 0. Alm disso, a ordem do limite finita e

limitada por N + 1.
Demonstrao: A primeira etapa ser o de primitivar a f , uma vez que ao fazer

isto deveremos regularizar o problema. Aqui regularizar significa diminuir o N de
(1.2). Suponha que N > 0. Tome z0 , e tome z0 ,z (t) a curva formada por dois
segmentos paralelos aos eixos coordenados, ligando z0 a z, primeiramente tomando o
segmento horizontal e em seguida o vertical. e da considere
Z
F (z) = f ( )d
z0 ,z
Da se I for limitado temos que existem constantes C1 e C2 tais que
| F (z)| C1 ( Im(z)) N +1 se N > 1 e C1 log( Imz) + C2 se N = 1.
Por conseguinte se N = 1 integrando F da mesma forma obtemos uma funo

holomorfa G H( ) C ( ). No caso em que N > 1 integrando N vezes obtemos
G H( ) C ( ) tal que
f ( z ) = G N +1 ( z ),
11
12 Captulo 2: Mtodos para D 0 ( X ) e Aplicaes
Nos dois casos usando as equaes de Cauchy-Riemann obtemos que
d N +1
limy0 f (. + iy) = T (2.2)
dx N +1 G| I
com G | I a restrio de G a I, portanto o lado direito de (1.3) uma distribuio de
ordem N + 1. 2
Observamos que pode se pensar neste resultado como o incio de uma teoria
de funes generalizadas mais geral que as distribuies, saber a Teoria da
Hiperfunes. A ideia fazer sentido ao limite a fronteira de funes holomorfas que
no satisfaz a condio (2.1). Tal teoria foi proposta pelo matemtico japons M. Sato
no incio dos anos 60s. Agora flexibilizaremos o critrio para obter distribuio via
limites de distribuies, saber:
Teorema 2.2 O limite pontual de sequncia de distribuies uma distribuio.
Demonstrao: Usaremos a caracterizao (1.1) de uma distribuio. Da o resultado

segue do Teorema 1.6 se tomarmos o F-espao dado por CK ( X ), com K um compacto
de X. 2
Na demonstrao do Teorema 2.1 vimos que a distribuio obtida como derivada,

no sentido das distribuies, de uma funo continua. O prximo resultado nos diz
que, localmente, este sempre o caso independente da distribuio que tomemos.
Tome X e X1 abertos de Rn tal que X1 compacto e est contido em X, neste caso
diz-se que X1 um relativamente compacto contido em X.
Teorema 2.3 Dado u D 0 ( X ). Ento existe uma funo u1 L ( X1 ) e m um inteiro no

negativo tal que
u = m m
x1 ... xn Tu1 em X1 (2.3)
Antes de partir para a demonstrao proporemos:

Exerccio 2.1. Mostre que, se X1 for um cubo de faces paralelas aos planos coordenados,
a partir de u1 podemos obter u2 C ( X1 ) tal que u = m 1 m1
x1 ... xn Tu2 , para algum inteiro
m1 . Determine hipteses mais gerais sobre X1 para que o resultado tambm valha.
Se considerarmos duas parties de X, ambas formada por cubos abertos com lados
paralelos aos planos coordenados, com Ci1 Ci2 Ci2 X, com ambas {Ci1 ; i
N} e {Ci1 ; i N} localmente finita, propriedade esta introduzida logo abaixo da
propriedade (P5). Considere {i } partio da unidade em D( X ) associdas a estas
parties, isto S(i ) Ci2 , i = 1 em Ci1 e i = 1 em X. Denote P = x1 x2 ... xn , e
usando o exerccio anterior temos que se mi e Tui , com ui C (Ci2 ), tais que Pmi ui = u
em Ci2 , teremos que
i Pmi ( Tui ) = u, em X. (2.4)
Demonstrao:
Se (2.3) vale teremos que
Z
nm
u( ) = (1) u1 ( x ) m m
x1 ... xn ( x ) dx, D( X1 )
13
logo Z
|u( )| ku1 k |m m k
x1 ... xn ( x )| dx k u1 k kXK k1 Nj ( ),
se S( ) K j X1 , com K compacto e k = nm, demonstrando assim que u uma

distribuio de ordem nm.
Reciprocamente, se demonstrarmos uma desigualdade do tipo
Z
|u( )| C |m m
x1 ... xn ( x )| dx D( X1 ) (2.5)
ento segue do Teorema 1.4 que a aplicao linear
(1)nm m m
x1 ... xn ( x ) 7 u ( )
pode ser estendido como um funcional linear contnuo definido em L1 ( X1 ). Mas pelo
Teorema 1.1 temos que existe u1 L ( X1 ) tal que (2.3) vlida. 2
Retornando a funo delta de Dirac, mostraremos:
Proposio 2.4 Qualquer u D 0 ( X ) pode ser obtida como limite de combinaes lineares
finitas de funes deltas de Dirac.
Demonstrao: Recorde que se u C ( X ), baseado na Observao 2) b) (do Captulo

1), tomando K j como em (P1), teremos que a combinao linear associada a K j .
Associado a ( j, k j ) a K j para cada j demonstra-se a afirmao neste caso. No caso
geral primeiramente a partir do Exerccio 2.1, como a afirmao sobre convergncia
pontual pelo Teorema 2.2, ou melhor por (2.4); podemos primeiro aproximar cada ui
por combinhaes lineares finitas de s; em seguida aplicamos os Pmi a estas deltas
suficiente aproximar derivadas de deltas por combinaes lineares finitas de deltas.
A idia de como faze-lo foi introduzida em e) da Observao 1.3 do Captulo 1. Mais
geralmente, podemos usa-la para demonstrar o caso geral por induo finita em k com
|| = |(1 , ..., n )| = 1 + ... + n = k, onde Nn . 2
Se u D 0 ( X ) com propriedades especiais de se imaginar que eventualmente

podemos reduzir o nmero de informaes contidas em {u( ); D( X )}.
Exploraremos pois este filo.
Denota-se por E 0 ( X ) o subespao das distribuies em X com suporte compacto.
Observe que se D( X ) tal que = 1 numa vizinhana aberta de S(u), com
u E 0 ( X ), ento u( ) = u(), se D( x ). Logo admite extenso contnua
para C ( X ). Com esta observao obtm-se que se tomarmos E ( X ) = C ( X ), com
j
a topologia dada pelas semi-normas { Nj } jN , teremos que de fato E 0 ( X ) o dual
de E ( X ). Obviamente tais distribuies tem ordem finita. Em termos como uma
distribuio com suporte compacto atua em funes testes temos um resultado mais
preciso, saber:
Teorema 2.5 Seja u E 0 , com ordem k, ento u() = 0 se E ( X ) e todas as derivadas de

de ordem k se anulam em S(u).
Para a demonstrao deste resultado nos referimos a [7].

Uma imediata aplicao do Teorema 2.5 :
Proposio 2.6 Suponha que u D 0 ( X ) tal que exista x0 X tal que u a distribuio
nula em X \{ x0 }, ou seja u( ) = 0 D( X \{ x0 })(ou ainda S(u) { x0 }. Ento existe
m N, c R, com || m tal que
u = ||m c x0 .
Demonstrao: Tome m = ordem da distribuio u. Dado uma funo teste E ( X ),

considere a expansso de Taylor de de ordem m em torno de x0 , isto
( x ) = ||m /!( x x0 ) + ( x )
com = (1 , ..., n ) Nn , ! = 1 !...n ! e E tal que ( x0 ) = 0 se || m.

Logo pelo Teorema 2.4 segue que
u() = ||m [(1)|| u(( x x0 ) )/!] x0 (.)
Voltando a medidas de probalidade temos:
Proposio 2.7 Se u D 0 ( X ) tal que u() 0 se for no-negativa, ento u uma

medida positiva.
Demonstrao: Dado K um compacto de X considere X uma funo Cc ( X ) tal que

0 X ( x ) 1 e X ( x ) = 1 em K. Ento
X k k 0
Logo pela hiptese teremos que
|u( )| u(X ) N00 ( ).
Existem dois procedimentos vlidos para certos espaos de funes que se

estendem para espaos apropriados de distribuies, saber, uma operao
bilinear denominadas Convoluo e o operador Transformada de Fourier. Estes
procedimentos esto entrelaados, na verdade J. Fourier est na origem de ambos;
obviamente no segundo deles deve vos parecer bvio, assim algumas palavras devem
ser ditas com relao ao primeiro deles. Em 1822, Fourier publicou sua teoria analtica
do calor; em particular ele implementou um modelo para conduo do calor que
ainda hoje apresentado como exemplo bsico na Teoria de Equaes Diferenciais
Parciais e Aplicaes, veja [4]. Vale ser dito que Euler, DAlembert e D. Bernoulli j
haviam utilizado noutro contexto as funes trigonomtricas para expressar solues
de algumas Equaes Diferenciais Parciais. Fourier considerou a transmisso de calor
em cabos, segundo a qual a modelagem, na situao degenerada, em que o cabo R,
nos leva ao problema de valor inicial dada por:
(t u 2x u)( x, t) = 0 com u( x, 0) = f ( x ) (2.6)

15
aqui f ( x ) representa a temperatura no ponto x R. Obtendo ento a soluo, que na

sua forma fechada, se escreve como
1 ( x y )2
Z
u( x, t) = e 4t f (y)dy (2.7)
2 t
Observamos que no, caso mais fsico, em que o cabo um segmento tambm tratado;
e o modelo inicialmente atacado por Fourier; gerando o que conhecido por Sries
de Fourier. Neste problema valores de fronteira so adicionados, aqui o Mtodo de
Separao de Variveis recebeu divulgao especial.
Um dos objetivos deste mini-curso, ou melhor destas notas, o de tentar mostrar
como a Teoria de Integrao de Lebesgue e Anlise de Fourier um conhecimento
amplo e importante para matemticos puros ou aplicados, e com um certo exagero
para cientistas que usam matemtica de uma maneira no-elementar para descrever o
seu mtier.
Aqui, em (2.7), creio ser o primeiro aparecimento formal do produto de convoluo:
Z
( f , g) 7 ( f g)( x ) = f ( x y) g(y)dy (2.8)
Para esta integral ser convergente algum decaimento, num certo sentido, sobre f
e(ou) g tem que ser assumido. Observamos que o fantstico matemtico alemo K.
Weierstrass (1815-1897) usou que num sentido a ser especificado que
limt0+ u( x, t) = f ( x )
ou seja a condio inicial do P.V.I. (2.6) deve ser vlida. Em suma, podemos aproximar
f (.), que pode ser pouco regular, pela funo mais regular u(., t), j que o calor
deve suavizar a distribuio de temperatura na barra instantanemente. Esta idia
pode ser a explicao informal que qualquer funo real contnua em compactos
pode ser uniformemente aproximada por polinmios. Este o conhecido Teorema
de Aproximao de Weierstrass, veja [11].
O restante deste captulo ser devotado a expor resultados sobre o produto de
convoluo.
Para iniciar o processo propomos o seguinte:
Exerccio 2.2. A expresso (2.8), isto o produto de convoluo um operador contnuo
de D(Rn ) D(Rn ) D(Rn ). Alm disso, valem S( 1 2 ) S( 1 ) + S( 2 ) e
1 2 = 2 1 , se j D(Rn ) para j {1, 2}.
Uma extenso natural considerar este produto de D 0 (Rn ) D(Rn ) E (Rn ). Esta
extenso tem a seguinte expresso:
(u )( x ) = u(x ( )) (2.9)
com ( x ) = ( x ) e x ()(y) = (y x ), ou seja x ( ) a funo obtida pela
tomando a reflexo com respeito a origem em Rn seguida da translao ( direita) por
x. Veja que com a identificao T , isto funo com distribuio, o resultado de
(2.8) coincide com T1 2 .
Para verificar (2.9) enunciamos, sem demonstrao, dois resultados que sero teis
no s neste caso, nos referimos a [7] e [9] para as demonstraes. Sem grande esforo
podero ser considerados como exerccios extras.
Proposio 2.8 Se X um aberto de Rn , u D 0 ( X ), E ( X Y ) com Y Rn aberto e

exista um compacto K X tal que ( x, y) = 0 quando x / K ento
y 7 u(( . , y)) E (Y )

e y u(( . , y)) = u(y ( . , y)).
Para a demonstrao ver [7].

O procedimento abaixo se aplica em muitos casos. L0 chamado o transposto formal
de L.
Proposio 2.9 Se L, L0 : D( X ) D( X ) so lineares e contnuos so tais que

Z Z
L( 1 )( x ) 2 ( x )dx = 1 ( x ) L0 ( 2 )( x )dx
X X
neste caso podemos estender L para um operador L linear contnuo definido de D 0 ( X ) em D 0 ( X )

() = u( L0 ()).
dado por Lu
Demonstrao: Ver [9] para a demonstrao. 2
Por volta de 1960 o matemtico sueco J. Peetre demonstrou o resultado abaixo

que explica no s a eficcia da operao nos resultados j existentes mas tambm
resultados que estavam por vim.
Teorema 2.10 Se L for uma aplicao linear de D(Rn ) em E (Rn ) e contnua no sentido de
L( j ) 0 em C (Rn ) quando j 0 em D(Rn ) e comuta com todas as translaes, ento
existe uma nica distribuio u tal que L( ) = u .
Aqui diz-se que L comuta com as translaes se L(h ( )) = h ( L( )), , com

(h )( x ) = ( x h).
Demonstrao: Por hiptese temos que o funcional linear L( )(0) = (u )(0),
para algum u D 0 . Agora se substituirmos por h e usando que L comuta com
tranlaes e com o operador convoluo temos que L( )(h) = (u )( x ). 2
Exemplo 2.1
( )( x ) = ( x ) (2.10)
Se formalmente identificarmos x = 0 ( x y), parece natural olhar o lado direito como
a ao de uma distribuio em Rn Rn , de fato; considere
= {( x, x ) Rn Rn , com x Rn }, )
a variedade diagonal de Rn Rn , e da a distribuio

Z
( ) = ( x, x )dx.
Rn
Desta compatibilizando com (2.9) escrevemos
( T( 1 ) , 2 ) = ( , ( 1 2 )).
17
Aqui toma-se ( 1 2 )( x1 , x2 ) = 1 ( x1 ) 2 ( x2 ), que se trata de uma funo teste em

D(Rn Rn ), que toma o apropriado nome de produto tensorial de 1 com 2 .
Exerccio 2.3 Mostre que o espao vetorial gerado por { 1 2 ; j D(Rn )} denso
em D(Rn Rn ).
Observe que agora parece natural considerar:
Definio 2.1 Dado L um operador linear contnuo de D( X ) em D 0 (Y ) denota-se
ncleo de Schwartz de L a distribuio K L = D 0 ( X Y ) satisfazendo a relao
K L ( 1 2 ) = ( L ( 1 ), 2 ).
Exerccio 2.4 Determine o K L associado aos Ls descritos no Teorema 2.10 e noutros
operadores descritos at agora.
O seguinte teorema, devido a L. Schwartz, um fantstico convite para o estudo
das distribuies. Uma referncia moderna para a sua demonstrao o livro [7].
Teorema 2.11 (Teorema do Ncleo de Schwartz) Todo operador nas hipteses descritas na
Definio 2.1 tem um ncleo de Schwartz.
Por este teorema temos que todas as informaes sobre L esto codificadas em K L . Em
lgebra Linear pode-se dizer que o anlogo a K L uma matriz associada ao operador
linear L, digamos L : Rn Rm ; com produtos internos fixados em Rn e em Rm .
Os operadores que a teoria se debruou, e ainda pode se esperar mais ainda, so
os diferenciais parciais lineares. Dado m N, para Nn , com || m tomemos
a E ( X ), com X aberto contido em Rn . Para j 1, 2, ..., n tomemos D j = 1i x j ( a
razo de toma-lo ao invs de x j ser mais claro no prximo captulo). Os operadores
diferenciais parciais lineares com coeficientes infinitamente suaves so esto dados por
P( x, D ) = a ( x ) D (2.11)
||m
aqui D = ( D1 , ..., Dn ), D = D11 ...Dnn e L = P( x, D ) assim definido linear e contnuo

de D( X ) em D( X ).
Exemplo 2.2 Seja L = P( x, D ) da forma (2.10). Ento K L = ||m ( D ) ( a ( x ) , para
ver isto suficiente determinar o ncleo de Schwartz para cada parcela monoidal de
L, ou seja de L = a D . Segue facilmente que se trata de K L = ( D ) ( a ), com
definida no Exemplo 2.1. Note que quando somamos duas distribuies deste tipo
muitos fenmenos podem acontecer; a ao de derivadas em D aumenta a ordem da
distribuio, no entanto o produto com funes de E ( X ) pode manter a ordem igual ou
decrescer. Isto pode ser visto olhando para a x0 e a multiplicando por f ( x ) = ( x x0 ),
de fato ( x x0 )x0 = 0.
Resumo de Propriedades Temos que D 0 ( X ) e E 0 ( X ) tratam-se de espaos vetoriais
sobre C , so tambm mdulos sobre E ( X ). Alm disso o produto de convoluo
est bem definido D( X ) D 0 ( X ) E ( X ) e de E ( X ) E 0 ( X ) E ( X ), se X = Rn .
Finalizaremos este captulo discorrendo sobre extenses do produto de convoluo
para distribuies.
Mostraremos que o produto de duas convolues est bem definido se uma delas tiver
suporte compacto, de fato, existem u v e v u, se u D 0 e v E 0 , e elas so iguais.
De fato, observamos que D E 0 D ; consequentemente temos que
D u (v )
linear contnua e invariante por translao, logo pelo Teorema 2.5 existe uma nica
distribuio w tal que u (v ) = w . Assim toma-se w = u v, claro se u, v E 0
o mesmo vale para w.
Uma aplicao muito interessante da relao (2.10) no tratamento de Equaes
Diferenciais Parciais lineares com coeficientes constantes. Seno vejamos:
Ora para resolver P( D )u = f D(Rn ) suficiente determinar E D 0 (Rn ) tal que
P( D ) E = 0 . Pois assim fazendo teremos que
P( D )( E f ) = ( P( D ) E) f = 0 f = f .
Uma tal E chamada de soluo fundamental de P( D ).

Seja n = 2x1 + ... + 2xn o operador de Laplace.
Exercicio 2.5 Determine a constante Cn tal que 2 [C2 lnk x k] = 0 em R2 e
n [Cn k x k2n ] = 0 em Rn se n 3.
Observamos que no caso n = 2 podemos usar a teoria de Funes de uma Varivel
complexa para determinar a soluo fundamental exibida no exerccio acima. Veremos
que usar transformada de Fourier a tcnica natural para resolver o problema em
geral.
Captulo 3
Anlise de Fourier
3.1 O caso linear

Como foi referido no Captulo 2, um mtodo eficaz para determinar solues de
Equao Diferencial Parcial(=EDP) Linear o Mtodo de Separao de Variveis As
etapas do mtodo, em situaes especiais, digamos problemas de valores iniciais, so
as seguintes:
1) Escolher uma base apropriada do espao de funes (dos valores iniciais). Para
(2.6) as f s sero autovetores de P = 2x , que formalmente devero estar relacionadox,
por exemplo, com um problema de fronteira para P; se o teorema espectral se aplicar
poderemos obter um espao de funes no qual os autovetores formaro uma base;
aqui ser uma base de Schauder , numa tal base poderemos considerar sries geradas
pelos autovetores, e no base de Hamel,j que nesta ltima s se considera vetores
finitamente gerados pela base. Pretendemos ter o maior espao em que o problema
tem soluo.
2) Para cada autovetor f , associado ao autovalor , como dado inicial a soluo u
ser do tipo f ( x ) g (t), gerando pois uma Equao Diferencial Ordinria(=EDO) para
g . Em seguida, sendo o nmero de s no mximo enumervel, podemos soma-
las de forma que esteja no espao determinado acima. Este mtodo recebe o nome
de superposio, que sendo o problema linear desde que suportado por teoremas de
Anlise Real podemos derivar dentro do sinal de somatrio.
3) Tal como ns estamos acostumados a fazer desde nosssos tempos de Clculo resta-
nos obter uma forma fechada da soluo, para a partir da mesma l propriedades
relevantes das solues. No nosso contexto seria obter o Ncleo associado ao
problema proposto para a EDP.
razovel pensar que a Anlise Harmonica; teve sua origem em Anlise de Fourier,
assim sendo dando mais uma justificativa para estudar esta segunda.
No caso do problema de valor inicial e fronteira do problema de conduo do calor
unidimensional
t u = 2x u em [0, 2 ] [0, ) com u( x, 0) = f ( x ), u(0, t) = f (0) e u(2, t) = f (2 )

(3.1)
aqui f C2 k (R) = funes na classe C k , peridicas de perodo 2, o mtodo acima se
aplica, note que o fato do operador ser linear muito importante. Assim o mtodo nos
19
20 Captulo 3: Anlise de Fourier
d a decomposio de uma funo em Srie de Fourier, saber

f ( x ) = a0 + ( a j cos( jx ) + b j sen( jx ).
j =1
O tal desenvolvimento ou expanso, diferentemente do caso de sries de potncias tem

uma grande vantagem, ele se aplica para inclusive para distribuies peridicas, uma
maneira intrnsica olhar por distribuies em S1 = circunferncia centrada na origem
ou seja a esfera 1-dimensional. Assim sendo precisamos exprimir distribuies em
variedades. Mas novamente, olhando a ao de difeomorfismos em distribuies do
tipo Tg com g L1loc ( X ), saber, se for um difeomorfismo de X, segue pelo teorema
mudana de varivel para integral que:
Z Z
Tg ( ) = g (y)) ( x )dx = g( x )( 1 )( x )|det(0 (1 ( x ))|1 dx
Assim estende-se para distribuies arbitrrias, tomando o lado direito como

definio. Observe que o caso o fato de D( X ) implica que 1 D( X ).
Obviamente sobre a variedade devemos ter: Uma medida de volume, ou uma 1/2-
densidade para absorver o termo determinante do Jacobiano e caso e considerarmos
g C ( X ) para no precisarmos tomar L1loc ( X ).
No espao n-dimensionatal o S1 ser substituido pelo toro T n , uma vez que trataremos
das funes em Rn que sejam 2-peridica em cada uma das variveis.
Logo a pergunta saber qual o fecho das combinaes lineares finitas das ei2 < x,j> ,
com j Zn . A resposta a esta pergunta depende de saber como obter os a j s,
aqui ao invs de tomar soma de polinomios trigonomtricos tomaremos a soma de
exponenciais complexas, afinal nos parece mais natural assim escrever c j ( x ) = cos( jx )
e s j ( x ) = sen( jx ) em termos de e j = 1 eijx e e j = 1 eijx , pela Frmula de
2 2
Euler. Uma razo, que escolhemos neste ponto, para tal escolha que fica mais fcil
demonstrar que de fato; ambos so geradores do mesmo auto-espao associado ao
autovetor j2 de 2x ; por outro lado tambm fica fcil observar que para esta ltima
escolha obviamente constituida de autovetores ortonornais, aqui a escolha natural
de produto interno o do espao L2 = L2 (S1 , C), ou seja :
Z 2
1
< f , g >= f ( x ) g( x )dx.
2 0
Note que
Z 2
aj = f ( x )e j ( x )dx =< f , e j > .
0
Como se pode ver em [4] para o caso n = 1 os a j s do a melhor aproximao de f em
L2 .
Observe que tudo que foi feito acima parece ser objetos que aparecem em dimenso
finita: Temos um operador P = 2x auto-adjunto em L2 os seus autovalores so j2
com auto-espao gerado por {e j , e j }, que forma um conjunto vetores ortonormais.
Obviamente a primeira pergunta saber se eles forma uma base. De fato, este o caso,
e para isto precisamos que:
< f , e j >= 0 j ento f = 0 (3.1)
Uma maneira de demonstrar isto isola-la em dois fatos:
3.1: O caso linear 21
Proposio 3.1 Se f for contnua ento (3.1) vale.

Demonstrao: Segue do fato que combinao lineares finitas de {e j } jZ denso em
C (S1 ) na norma k k , cuja demonstrao segue do Teorema de Stone-Weierstrass, ver
[11]. De fato, a norma de L2 dominada pela norma de L . 2
O outro fato :
Proposio 3.2 O espao das C (S1 ) um subconjunto denso de L2 .
Um demonstrao possvel tal como o fizemos para L1 , podemos tomar L p com
1 p < , em seguida tomar o fecho de Cc1 (R). Antes de apresentar uma segunda
demonstrao cabe-nos lembrar que C (S1 ) um subespao fechado em L . De fato,
estamos aptos a demonstrar usando uma tcnica mais geral e mais concreta, para tal
uma preparao se faz necessrio. Na realidade vamos seguir a idia de Weierstrass,
aquela cuja origem foi de usar a soluo dada por Fourier para suavizar funes
contnuas, agora faremos o mesmo para funes em L p . O que faz funcionar se
observarmos que em (2.7) temos
1
s ( x ) = ( x/s)
sn
2
com (y) = (1 )n ekyk . Observe que se L1 com (y)dy = 1, ento tem-se
R
que gs f converge em L p para uma funo f L p dada, se 1 p < . A razo

para tal que desigualdade de Hlder(Teorema 1.1 a)) implica que s R f L p , e
uniformemente limitada. A razo de convergir que de fato 0 e ( x )dx = 1
ento gs 0 , mas por (2.10) pelo menos sob certas condies teremos o resultado
(o Weierstrass demonstrou o seu teorema de aproximao tirando partido que em
compactos polinomios de Taylor de converge uniformemente para ela).
Para estabelecer outra demonstrao do fato usamos a teoria de integrao de
Lebesgue procedendo da seguinte maneira, primeiramente observamos que:
Z Z
ks f k p = ( | (y)( f ( x sy) f ( x ))dy| p dx )1/p (3.2)
Sem perda de generalidade podemos supor que S( T f ) compacto contido em X, j que

Z Z Z
| f ( x )| p dx = | f ( x )| p dx + | f ( x )| p dx
X j=1 IntK j+1 \K j K1
logo como a srie

R convergente teremos que para todo e > 0 existe j suficientemente
p
grande tal que Kc | f ( x )| dx < e/2; assim basta aproximar XK j f por uma funo
j
suave, por exemplo a menos de um erro e/2 na norma L p . Agora tome > 0 tal
que < dist(K jR, Front( X )). Assim sendo tomemos 0 D(Rn ) tal que S(0 ) B (0),
0 ( x ) 0 x e 0 ( x )dx = 1. Estendendo a propriedade sobre o suporte do Exerccio
2.2 neste caso teremos que S((0 )s XK j f ) S((0 )s ) + S(XK j f ) X, se 0 < s < 1.
Usando a desigualdade triangular(Desigualdade de Minkowski para L p ) na forma
integral para a norma p obtemos que de (3.2) segue
Z
k(0 )s f k p 0 (y)k(sy f f )( x )k p dx
Agora observando que k(sy f f )( x )k p tende a zero quando s 0; uniformemente

em y, j que o Teorema da Convergncia Dominada(ver [11]) pode ser aplicado. Da
decorre a afirmao da Proposio nesta verso mais geral.
Observamos que o Teorema da Convergncia Dominada uma das ferramentas
que temos para a Teoria de Integrao de Lebesgue que no vale para a Teoria de
Integrao de Riemann. Seu enunciado :
Teorema 3.3 Suponha que que f n L1 (Rn ), para cada n, e que convirga para uma funo f
quase por toda parte( isto , exceto num conjunto de medida zero) e | f n |( x ) g( x ) quase por
toda parte n e que g L1 ento f L1 (Rn ) e a convergncia se d na norma de L1 (Rn ).
Exemplo 3.1 (Funo de Dirichlet) Seja {qk ; k N} um enumerao dos racionais

em [0, 1], e considere f k IR ([0, 1]), e portanto limitada e L1 ([0, 1]), definida por
f k ( x ) = 0 se x {q1 , ..., qk } e = 1 caso contrrio. O Teorema 3.1 se aplica no entanto o
limite no integrvel no sentido de Riemann.
Voltando para o produto de Convoluo para distribuies primeiramente temos:
Teorema 3.4 Sejam u E 0 ( X ) e 0 como acima com S( f ) substituido por S(u) ento
(0 )s u D( X ) e T(0 )s u converge para u em E 0 ( X ).
Assim temos pois um padro de questes: para quais espaos de funes vale a
afirmao correspondente. A resposta que quase todos os espaos clssicos esto
nesta condio. Veja que L est fora desta lista, pois o subespao C ( X ) L ( X )
em L fechado. A Proposio 3.2 j um resultado nesta direo, o que se espera
o seguinte: A regularidade da convoluo, no deve ser inferior a regularidade
dos fatores mas de fato melhor que a soma da regularidade dos fatores. Claro
algum cuidado deve ser tomado com respeito a integrabilidade e precisar como
medir regularidade. A principio se fossem distribuies seria a ordem, quanto
menor a ordem mais regular ela o ser. Sumarizaremos em um resultado nesta
direo quando consideramos mais um espao de funes clssico. Seja Cck ( X ) o
espao das funes k-vezes diferenciveis de suporte compacto definidas num aberto
prprio X de Rn , tomaremos as seminormas (j introduzidas no Captulo 1) dadas por
Njk ( f ) = Max||k k f k L (K j ) , com K j a cadeia ascendente de compactos exaurindo
X apresentada no Captulo 1. Se X = Rn exclua a restrio em j e tome a norma
j
N k ( f ) = Max||k k f k L (X ) . Seja Cc ( Be (0)) tal que ( x )dx = 1 e ( x ) 0 x.
R
Considere l ( x ) = l n (l 1 x ), com l > 0.
Teorema 3.5 Se X aberto de Rn . Seja f Cck ( X ). Se X 6= Rn considere l0 tal que

S( f ) + B1/l0 (0) X. Se X 6= Rn tome l l0 ento
k+ j
l f Cc (X)
e converge na topologia de Cck ( X ), analogamente para o caso em X 6= Rn .
Demonstrao: Se faz anlogo a proposiao acima, observe que neste caso poderiamos
tomar a integrais no sentido de Riemann. 2
A srie de Fourier nos fornece um operador muito interessante:

: L2 (S1 ) `2 (Z) dada por f 7 ( ak ) (3.3)
f ( x )dx, que passamos a denotar por f(k), e `2 (Z) o

R ixk
Aqui ak ( f ) = 1 e
2
espao normado completo das sequencias complexas ( ak )kZ , cuja norma descrita
pelo produto interno < ( ak ), (bk ) >= ak bk . De fato, por (3.1) temos que um
operador bijetivo, e alm disso uma isometria. De fato
Z
f ( x ) g( x )dx = a k bk (3.4)
A medida que d o espao `2 (Z) a medida de kZ k . Agora veremos como os

d
seguintes trs operadores, , dx e Mx , ou sejam o produto de convoluo, o operador
derivada e o operador multiplicao por x, se transformam em `2 (Z).
Primeiramente
Z Z Z Z
ikx
e f ( x y) g(y)dydx == eik( xy eiky f ( x y) g(y)d( x y)dy
pelo Teorema de Fubini(veja [11]). Portanto
ak ( f g) = ak ( f ) ak ( g) (3.5)
aqui an (h) o n-simo coeficiente de Fourier de h.
d 1 (R)= funes C1 peridicas de perodo 2, ento
No caso dx , assuma que f C2
Z Z
ikx 0
e f ( x )dx = ik eikx f ( x )dx,
por integrao por partes. Da

1 d
ak ( f ) = kak ( f ) (3.6)
i dx
Finalmente o operador Mx
1 d ikx
Z Z
ikx
e x f ( x )dx = e f ( x )dx,
i dk
justificamos a igualdade acima considerando os coeficientes da Srie de Fourier como
a discretizao de
f ( ) = 1
Z
eix f ( x )dx (3.7)
2
observe que mesmo que T f seja substituido por uma distribuio u E 0 (S1 ) podemos
proceder todos os passos acima; por exemplo, para justificar que podemos tomar a
derivada no sinal de integrao segue da Proposio 2.4. Como concluso teremos
ento
d
ak ( M 1 x f ) = a (f) (3.8)
i dk k
Sobre a Sries de Fourier muito se conhece e aplicaes recentes revigora a teoria,
chamo especial ateno a Teoria dos Nmeros, muito se devendo a matemticos como
Jean Bourgain e Terence Tao, ambos foram recentemente agraciados pela Medalha
Fields. Escreverei mais um pouco sobre um aspecto clssico da teoria, o que trata
sobre a convergncia pontual da Srie de Fourier.
A convergncia pontual da srie de Fourier depende de quo rpido os coeficientes
a j s convergem para zero. Um primeiro resultado positivo o seguinte:
Proposio 3.6 Seja f L1 (S1 ), que como sempre a identificamos como uma funo peridica
na reta, ento
f(k) 0, quando |k | .
Demonstrao: Usando a Proposio 3.2 e o Teorema de aproximao de Weierstrass

temos que e > 0 existe p( x ) = | j| N c j eixj (polinmio trigonomtrico) tal que
k f pk1 < e; assim temos pela ortogonolidade dos e j s que
| f(k)| = |( f p )(k)| k f pk1 < e
mas como e arbitrrio segue o resultado. 2
Note que o mesmo resultado segue para L1 (Rn ), se tomarmos a mesma expresso da
integral com x substituido por < , x >, uma vez que tomemos um cubo centrado na
origem de lado suficientemente grande tal que a norma L1 de f seja suficientemente
pequena fora do cubo, e claro usemos a densidade de Cc em L1 em compactos e em
seguida ...
Exerccio 3.2 Complete os detalhes do argumento acima esboados de forma
incompleta.
Dentre as patologias do espao das funes contnuas a Anlise de Fourier
acrescenta mais uma.
Considere a soma parcial de Fourier de uma funo f C2
Sk ( f )( x ) = a j eixj (3.9)
| j|k
Usando que ncleo de Sk , conforme determinado por exemplo em [4], dado pela
sen((k+1/2) x/2)
convoluo com Dk ( x ) = c sen( x/2)
, que conhecido como Ncleo de Dirichlet,
possvel demonstrar que:
S ( f )( x ) = supk |Sk ( f )( x )|
possvel demostrar:
Proposio 3.7 Existe um conjunto F C (S1 ) que interseo de abertos densos em C ( S1 )

tal que para cada f F o conjunto { x; S ( f )( x ) = } um conjunto que denso em S1 .
Resultados nesta direo foram obtidos por P. du Bois-Reymond a partir de 1876 e por
L. Fejr em 1909. O Teorema 1.6 (Banach-Steinhauss) fornece o resultado no-explcito
acima. Utilizando o ncleo de Dirichlet, que corresponde a etapa 3) apresentada no
incio deste captulo, resultados positivos de convergncia da Srie de Fourier tem
sido apresentado, nos referimos a [4] para uma idia de tipos de teoremas que pode-
se demonstrar. A obra clssica de A. Zygmund, chamada Trigonometric Series, pode
saciar a curiosidade do leitor.
Por outro lado como em L2 a Sk ( f ) converge em L2 , sabemos como fato geral de L p
que a convergencia pontual(quase por toda parte) vale para alguma subsequncia. Nos
anos 60s, via uma demonstrao surpreendente, L. Carleson, recepiente do Prmio
Abel, mostrou que a convergncia se d sem passar para subsequncia. O resultado
logo depois foi demonstrado para L p , 1 < p < . O resultado mais prximo deste
tinha sido obtido no final dos anos 30s por J. Littlewood e R. Paley, neste resultado
mostraram que a convergncia pontual se d para a subsequncia didica S2k ( f ).
Logo voltaremos a citar este resultado. Mas antes de tudo lembremos o seguinte
resultado, que d uma idia da sutileza de tais resultados: Se srie de nmeros reais
converge, mas no o faz absolutamente, ento qualquer nmero ser soma de algum
rearranjamento da srie.
Observao 3.1
a) Se considerarmos a possibilidade de estender, o que passaremos a chamar,a
Anlise de Fourier em variedades compactas(mais especificamente, aqui T n = toro n-
dimensional) para variedades no-compactas, note que no primeiro caso temos que
D 0 ( M) = E 0 ( M). Que obviamente no o caso se M no for compacta. Nos
restrigiremos a considerar M = Rn .
b) Levando em conta a Proposio 2.5, objetivaremos considerar um espao de
funes testes, lembro que por enquanto temos D(Rn ) e E (Rn ), para o qual com a
topologia a ser determinada o seu dual contenha E 0 (Rn ). Note que a escolha no recai
neste ltimo espao pois de (3.7) segue que f( ) no ter suporte compacto a no que
f = 0, pois se trata de uma funo analtica real em , da se tiver um ponto que se
anule de ordem infinita ter que ser nula. De fato pode ser estendida que o espao
H(Cn ) das funes holomorfas. Recomendamos que o leitor considere consultar o
Teorema de Paley-Wiener, que dita uma condio necessria e suficiente para que uma
funo em H(Cn ) seja a Transformada de Fourier de uma distribuio em E 0 (Rn ). Aqui
consideramos em Rn
1
Z
f ( ) = ei<,x> f ( x )dx (3.70 )
(2 )n/2
Chame tal operador de Transformada de Fourier de f .
c) Assim nos propomos a determinar um subespao S de E contendo D tal que:
i) 7 . seja um operador contnuo e invariante em S .
ii) A incluso D S seja contnua.
iii) Os operadores ( 1i ) e Mx so continuos em S .
A resposta a c) acima foi dada por L. Schwartz e dado na proposio abaixo:
Proposio 3.8 Seja S(Rn ) o espao vetorial das funes C (Rn ) tais que x L ,
, Nn . Ento S(Rn ) satisfaz o item c) da Observao 3.1.
Aqui, mais uma vez, a topologia S ser dada por um coleo enumervel de semi-
normas, de fato normas, que no caso dada por
NkS () = Max||,| |k k x x k .
Demonstrao: A continuidade da transformada de Fourier segue da extenso das

propriedades (3.6)-(3.8) acima da estimativa
Z Z
i<,x >
| e ( x )dx | ( (1 + | x |)(n+1) dx ) NnS+1 ().
Pode-se mostrar facilmente que (1 + | x |)(n+1) dx usando a mudana de coordenadas

R
em coordenadas esfricas finita. As outras afirmaes so facilmente verificadas. 2
2
Exemplo 3.2. Uma funo de S que no est em D 0 ( x ) = e| x| /2 .
Exerccio 3.1 RSeja 0 dado no exemplo acima, mostre que 0 ( ) = 0 ( ) (conforme
(3.7)), e que 0 ( x )dx = (2 )n/2 .
Sugesto: Para a primeira afirmao complete o quadrado e use o teorema de Cauchy)
e para a segunda use coordenadas polares.
Como antecipamos defina de S 0 , assim teremos que ax incluses
E 0 (Rn ) S 0 (Rn ) D 0 (Rn )
so contnuas. A extenso da transformada de Fourier em S 0 como previsto:
u () = u( ) (3.9)
Agora a invertibilidade da transformada de Fourier pode ser demonstrada.
Baseado no caso de sries de Fourier o candidato a ser o operador Inverso da
Transformada de Fourier :
1
Z
f ( ) = ei<,x> f ( x )dx (3.9)
(2 ) n/2
Proposio 3.9 O operador definido por (3.9) o operador inverso da Transformada de Fourier.
Demonstrao: De fato precisamos calcular
Z Z
e i< x, >
d (y)ei<y, > dy,
para S(Rn ). Como tal integrando no absolutamente integrvel nas duas

variveis, no permitido usar o Teorema de Fubini. A ideia modificar a integral
colocando um fator que nos garante a integrabilidade, e este fator dependa de um
parmetro que no limite a integral convirga para o valor desejado. Tome um 0 S
dado em Exemplo 3.2, que satisfaz as propriedades enunciadas no Exercicio 3.1, e
considere ( ) = 0 (e ). Assim modifique a igualdade acima para
1
Z Z Z Z
ei< x, > (e )d (y)ei<y, > dy = (y x )(y)du = (y)( x + y)dy.
(2 )n/2
Note que (y) = en (y/e). Logo obtermos
Z Z
( )(e )ei< x, > d = (y)( x + ey)dy,
novamente usando o Teorema da Convergncia Dominada, veja Teorema 3.1, logo

Z Z
( )(0)ei< x, > d = ( x ) (y)dy,
usando o Exerccio 3.1, segue o resultado. 2

3.2: O caso no-linear 27
3.2 O caso no-linear

Ao final dos anos 70s um grande avano nas EDPs lineares foi atingido; em
especial o papel do estudo das singularidades de solues recebeu muita ateno. A
geometria simpltica passou a ser o lao entre resolubilidade de solues e a geometria
das singularidades; O aparecimento dos Operadores Integrais de Fourier devido a
J. Duistermaat e L. Hrmander apareceram na Acta Mathematica no incio dos 70s.
Algumas resultados espordicos foram obtidos no contexto no-linear, mas eis que em
1981, no artigo [2], J.-M. Bony, demonstrou uma extenso do resultado de propagao
de singularidades devido a Duistermaat-Hrmander para o contexto no-linear. A
tcnica apresentada tem sido a apropriada para abordar extenses de resultados da
teoria linear para a no-linear, objetivamente, estende a Anlise de Fourier para tratar
problemas no-lineares.
Passaremos agora a descrever alguns principios bsicos da Teoria de Bony, na linha
que este texto objetiva discorrer. Anteciparemos os dois aspectos que aqui trataremos:
a Decomposio de Littlewood-Paley e Para-Multiplicao de Bony.
Note que facilmente se deduz que se u E 0 (Rn ) ento a transformada de
Fourier C , aplicando Proposio 2.4, de fato admite extenso holomorfa para Cn ,
e voltando para as variveis reais pelo fato de u ter ordem finita(globalmente) ento
cresce polinomialmente. Novamente olhando sries de Fourier natural denominar-se
Rn o espao das frequncias; j que est associado o quanto e ( x ) = (21)n/2 ei< x, >
oscila. Como pode-se entender estas e como autovetores que diagoliza operadores
diferenciais parciais lineares com coeficientes constantes, denotado por p( D ), nos
disposemos a olhar p( ) como os pontos do espectro do operador, uma vez que:
p( D ) ( x ) = ( p( ) f( )) , ou seja a transformada de Fourier conjuga P( Dx ) em M p( ) ,
na base e este ltimo operador diagonal.
O lema abaixo ser til para ver como a localizao no espectro estima a funo.
Lema 3.10 (Bernstein) Sejam C uma coroa e B uma bola em Rn , centradas na origem. Existe
uma constante C > 0 tal que, para todo inteiro no-negativo k, toda dupla de nmeros reais
p, q, com q p 1, e toda funo u de Lq , temos:
k+n( 1p 1q )
S(ub) B sup k uk Lq C k+1 kuk L p (3.11)
||=k
S(ub) C C k1 k kuk L p sup k uk L p C k+1 k kuk L p (3.12)

||=k
Demonstrao: Procedendo por mudana de escala, podemos assumir que = 1.

De fato, se u Lq tal que S(ub) B, defindo v = u(1 ), temos que S(ub) B.
Assim, se (3.11) vale para = 1,
sup k vk L p C k+1 kvk L p .

||=k
n
Mas, pelo Teorema de mudana de variveis, kvk L p = p kuk L p , v( x ) =
(||+ nq )
|| u(1 x ) e assim k vk Lq = k uk Lq . Deste modo,
(|| nq )
sup k uk Lq = sup k v k Lq
||=k ||=k
(k nq )
C k +1 kvk L p
k+d( 1p 1q )
= C k +1 kuk L p
obtendo (3.11) para qualquer. Em (3.12), procedemos de maneira anloga.

Para a prova do lema, fixemos uma funo suave compactamente suportada e tal
que 1 em uma vizinhana da bola B. Como S(ub) B,
ub( ) = ( )ub( ).
Ento
Seja g = .
(u g) = ubgb = ub = ub,
e da u g = u. Portanto, para todo multi-ndice ,
u = g u
A desigualdade de Young, ver [7], nos diz que
k u k L q k g k Lr k u k L p ,
1 1 1
com r [1, ] satisfazendo +1 = + .
p r q
Agora,
Z 1/r
r
k g k Lr =

| g( x )| dx

!1/r
(1 + | x |2 )rd
Z
= | g( x )|r dx
(1 + | x |2 )rd
C k(1 + | |2 )d gk L
(1)
C k( Id )d (() )k L1
(2)
C k +1
sendo que, em (1), utilizamos que k fk (2 )n/2 k f k1 e (2) segue do fato de

que k( Id )d (() )k L1 estimada pela soma finita de integrais com termo tpico
() , onde | | 2d, limitada por
Z Z
( x ) ( x )dx C | x || | | ( x )|
S() B(0,R)
R sup C k k L1 C k+1 .
k
| |2d
A segunda desigualdade de (3.12) segue aplicando-se (3.11). Para a prova da

primeira desigualdade, consideramos Cc (Rd \ {0}) valendo 1 perto da coroa C
e definimos g = ((i ) | |2k ( )) . Temos a seguinte identidade algbrica
| |2k = 2j1 2jk

1 j1 , ,jk d
= (i )
(i )
||=k
Logo, pelas propriedades da Transformada de Fourier a respeito de derivao e

convoluo, temos

g u = (i ) gb ub
||=k ||=k
= (i ) (i ) | |2k ( )ub( )
||=k
= ( )ub( ) = ub( )
e assim,
u= g u (3.13)
||=k
Repetindo o argumento utilizando em (2), obtemos k g k L1 C k+1 . Ento, aplicando a

desigualdade de Young, segue que
kuk L p k g uk Lp
||=k
k g k L1 k u k L p
||=k
k +1
C sup k uk L p
||=k
Inicialmente, vamos construir uma Partio Didica da Unidade, que ser utilizada
no decorrer do texto e nos conduzir decomposio de Littlewood-Paley.
Teorema 3.11 Existem funes radiais e de classe C (Rn ), com valores no intervalo [0, 1],
suportadas na coroa C = C(0, 43 , 83 ) e na bola B = B(0, 43 ), respectivamente, tal que
( ) + (2 j ) = 1, Rd (3.14)
j 0
(2 j ) = 1, Rn \ { 0 } (3.15)
jZ
Demonstrao: Consideremos um nmero real no intervalo (1, 43 ), e denotamos por

C 0 a coroa C 0 = C(0, 1 , 2). Como C 0 C , usando a construo de funo em D ,
apresentada logo abaixo da propriedade (P3) no Captulo 1, existe uma funo radial
Cc (C) igual a 1 numa vizinhana de C 0 .
Observemos que
2 j C 0 = Rn \ { 0 }
[
(3.16)
jZ
De fato, se x Rn e | x | = r > 0, existe j Z tal que 2 j < r 2 j+1 , ou seja, 2 j 1 < | x |

e | x | = r 1 2 j+1 = 2 j (21 ) < 2 j (2), pois 1 < 1 < . Assim, x 2 j C 0 .
Uma propriedade fundamental a respeito desta cobertura que se j, j0 Z satisfazem
| j j0 | 2 ento
0
2 j C 2 j C = . (3.17)
0
Com efeito, se 2 j C 2 j C 6= , com j j0 , existe x tal que
3 8 03 08
2j < |x| < 2j e 2j < |x| < 2j ,
4 3 4 3
3 08 0 32
o que nos d 2 j < 2 j , isto , 2 j j < < 4. Assim, j j0 < 2.
4 3 9
Seja
R ( ) = (2 j ).
jZ
Por (3.17), esta soma localmente finita em Rd \ {0}. Ento a funo R de classe
C neste espao. Segue da escolha de e da propriedade de cobertura (3.16) que R
assume valores maiores ou iguais a 1 em Rn \ {0}.
Assim, podemos definir a funo de classe C

=
R
Como R no se anula, S( ) S( ). Logo, Cc (C) e, pela construo de R, se
Rn \ { 0 } ,
(2 j ) = 1
jZ
Por outro lado, a funo 1 (2 j ) de classe C , por (3.17). Como o suporte de

j 0
est contido em C , para j 1 temos que S( (2 j )) 2 j C B. Deste modo, se
4
Rd tal que | | ,
3
1= (2 j ) = (2 j )
jZ j 0
Assim, definindo
( ) = 1 (2 j )
j 0
resultar em Cc ( B, [0, 1]) satisfazendo (3.11). 2

Observao 3.12 Algumas propriedades a respeito das funes e obtidas

anteriormente sero teis no desenvolvimento do texto e destacaremos abaixo.
Primeiramente, como S( (2 j )) 2 j C , ento se | j j0 | 2,
0
S( (2 j )) S( (2 j )) = . (3.18)
3 4
Tambm, se j 1, como 2 j , teremos B 2 j C = e assim
4 3
S() S( (2 j )) = .
Segue, juntamente com a propriedade (3.17), que para cada fixado, a expresso
( ) + (2 j ) reduz-se a no mximo trs termos, cuja soma igual a 1. Pelo
j 0
mtodo dos multiplicadores de Lagrange, mostra-se que para nmeros positivos a, b, c
1
tais que a + b + c = 1, a soma dos seus quadrados vale ao menos . Assim,
3
1
2 ( ) + 2 (2 j ).
3 j 0
Por outro lado, como as funes e tem a sua imagem no intervalo [0, 1], temos
2 ( ) + 2 (2 j ) ( ) + (2 j ) = 1
j 0 j 0
Portanto, para todo Rn ,

1
2 ( ) + 2 (2 j ) 1 (3.19)
3 j 0
De maneira semelhante, prova-se que

1
2
2 (2 j ) 1, Rn \ {0} . (3.20)
jZ
Daqui em diante, fixemos duas funes e satisfazendo as concluses do

Teorema 3.11. Para u S 0 (Rn ) e j Z, definimos os operadores
(ub) , se j = 1

def
j u =
( (2 j )ub) , se j 0.
e j u = 0, se j 2.
Tambm, para cada j Z,

def
Sj u = j0 u.
j 0 j 1
O principal objetivo desta seo provar que, para toda distribuio temperada
u S 0 , a sequncia (S j u) jZ converge a u no espao S 0 . Deste modo, podemos
representar u pela srie
u = j u
jZ
denominada a Decomposio de Littlewood-Paley de u, note em particular sendo

assim uma distribuio temperada, isto S 0 limite de uma srie de funes em
C S 0 com espectro compacto.
Discutiremos inicialmente algumas propriedades referente aos operadores
definidos anteriormente e que sero importantes para a obteno de tal decomposio.
Observao 3.2 Para toda u S 0 e f S , h j u, f i = hu, j f i Por definio,
h j u, f i = h( j u) , fi
= h (2 j )ub, fi
= hu, ( (2 j ) f) i
Como f S ,
f( x ) = fb( x ), x Rn .
Deste modo,
Z
j
( (2 ) f)( ) = eix (2 j x ) f( x )dx
Z
d
= (2 ) eix (2 j x ) fb( x )dx
Z
(1) d
= (2 ) eix (2 j x ) fb( x )dx
Z
(2) d
= (2 ) eix (2 j x ) fb( x )dx
= ( (2 j ) fb) = j f ,
sendo que, em (1), fizemos uma mudana linear de variveis e, em (2), utilizamos o
fato de que radial.
Quando j = 1, o procedimento anlogo.
Mostremos agora que, para toda distribuio temperada u,
S j u = F 1 ((2 j )ub), j 0 (3.21)
Pela comutatividade dos operadores j , garantida pela Observao 3.2, suficiente

verificar a igualdade para funes f S . Neste caso,
b
(S j f )b( ) = j0 f ( )
j 0 j 1
0

= ( ) +
0
(2 j ) fb( )
0 j j 1

j0
= 1
0
(2 ) +
0
j
(2 ) fb( )
j 0 0 j j 1

j0
= 1
0
(2 ) fb( )
j j
0

= 1 (2 j 2 j ) fb( ) = (2 j ) fb
j 0 0
Por esta nova caracterizao, para cada u S 0 , como o suporte da transformada de

Fourier dos operadores j u e S j u compacto, o fato de ser a transformada de Fourier
inversa de uma distribuio de suporte compacto nos garante que j u e S j u so funes
de classe C . Pelas propriedades da convoluo, para todo multi-ndice Nd e
u S 0,
j u = j u.
Tambm, os operadores j e S j mapeiam L p em L p continuamente. Mais ainda, existe
uma constante C > 0, independente de j e de u para o qual
k j uk L p C k j uk L p e kS j uk L p C k j uk L p
De fato, para u L p , j 0, as convolues 2 jd (2n ) u e 2 jd (2n ) u esto bem

definidas e satisfazem
(2 jn (2n ) u) = (2 j )ub
(2 jn (2n ) u) = (2 j )ub
Da, se u L p , como j u = 2 jn (2n ) u, segue da desigualdade de Young que
j u L p e vale a seguinte estimativa:
k j uk L p k2 jd (2d )k L1 kuk L p
= C1 kuk L p ,
onde C1 = k k L1 . De modo anlogo, se j = 1, observando que 1 u = 2n (2n ) u
e aplicando novamente a desigualdade de Young,
k j uk L p C2 kuk L p , com C2 = k k L1 .
Tomando C = max{C1 , C2 }, segue a primeira desigualdade.
Para os operadores S j , procedemos de maneira anloga, pois S j u = 2 jn (2n )
u, j 0.
Teorema 3.13 Seja u S 0 (Rn ). Ento, no sentido de convergncia do espao S 0 (Rn ),
u = lim S j u
j
Demonstrao: Por consequncia da Observao 3.2 e da expresso (3.21) vale que,

para toda f S ,
hu S j u, f i = hu, f S j f i.
Deste modo, suficiente mostrarmos que no espao S , temos f S j f 0 quando
j . Para este caso, conveniente utilizarmos a famlia de semi-normas
kk = sup (1 + | |)k | fb( )|.

kfb
||k
Rd
Ento, calculando k f S j f b
kk =
sup (1 + | |)k | ( fb( ) (S j f )b ( ))| = sup (1 + | |)k | ( fb( ) (2 j ) fb( )| (3.22)

||k ||k
Rn Rn
Desenvolvendo a expresso ( fb( ) (2 j ) fb( )) pela frmula de Leibniz,
((1 (2 j )) fb( )) = (1 (2 j )) fb( ) + C, 2 j (2 j ) fb( )

0<
Como vale 1 numa vizinhana de zero, a frmula de Taylor nos permite escrever
Z 1
1 (2 j ) = |(2 j ) (0)| = 0 (0 + t2 j ).(2 j ) dt

0
() Z 1 d d
2 j
|l (t2 j )| | l | dt C2 j | l | C2 j (1 + | |)
0 l =1
(3.23)
l =1
sendo que, em (), utilizamos o fato de que e suas derivadas so limitadas.
Do mesmo modo,

C, 2 (2 ) f ( ) C2 f ( )
j j b j b
(3.24)

0< 0<
Com as duas limitaes obtidas em (3.23) e (3.24), segue de (3.22) que

" !#
kk sup (1 + | |)k C2 j (1 + | |) | fb| + | fb|
k f Sj f b
||k 0 <
Rn
C2 j sup (1 + | |)k | fb|

||k+1
Rn
= C2 j k f b
k k +1
Com as notaes estabelecidas anteriormente, consideremos
Definio 3.14 Seja s um nmero real e ( p, r ) [1, ]. O espao de Besov no-homogneo

Bsp,r o espao de todas as distribuies temperadas tal que
def

kuk Bsp,r = (2 js k j uk L p ) jZ < (3.25)

`r (Z)
O primeiro passo verificar a invarincia com respeito a escolha da partio didica

da unidade utilizada na definio anterior. Para isto, ser importante garantirmos a
convergncia em S 0 para sries em que a Transformada de Fourier de cada parcela est
suportada em coroas.
Lema 3.15 Seja (u j ) jN uma sequncia de funes limitadas tal que a transformada de Fourier
de u j est suportada em 2 j C, onde C um anel dado. Suponhamos que
ku j k L C2 jN
para constantes C, N > 0. Ento a srie u j convergente em S 0 .

jN
Demonstrao: Consideremos Cc (Rn \ {0}) identicamente 1 numa vizinhana da

coroa C e, para k um inteiro a ser escolhido, definimos

2k
g = (i ) | |
( ) , || = k
Observemos que
( g (2 j )) ( ) = 2 jd gb (2 j )

jd 2k
= 2 (i ) | | ( ) .

Procedendo como na demonstrao de (3.13), no lema de Bernstein obtemos que,

para cada j N,
u j = 2 jk 2 jd g (2 j ) u j
||=k
Assim, se S ,
hu j , i = 2 jk h2jd g (2j ) u j , i = 2 jk hu j , 2jd g (2j ) i (3.26)

||=k ||=k
Logo
Z
jk jd j

|hu j , i| 2 u j ( x )2 g (2 ) ( x ) dx

||=k
2 jk
k u j k L k2 jd g (2 j ) k L1
||=k
C2 jk jN
2 k2 jd g (2 j )k L1 k k L1
||=k
= C2 j(k N ) k k L1
||=k
Escolhendo k > N, a sequncia hu j , i convergente em R, para cada S . Segue

jN
da Proposio 1.4 que u j convergente em S 0 .
jN
2
Teorema 3.16 Seja C 0 uma coroa em Rn , s um nmero real e p, r 1. Seja (u j ) jN uma

sequncia de funes suaves tais que

S(ubj ) 2 j C 0 e (2 js ku j k L p ) jN r < .

`
Ento
uj Bsp,r
js
u= e kuk Cs (2 ku j k L ) jN

Bsp,r p
`r
jN
Demonstrao: Por hiptese, existe C > 0 tal que 2 jrs ku j krL p C, ou ainda,
ku j k L p C1/r 2 js (3.27)
Utilizando o Lema de Bernstein e a desigualdade (3.27), temos que
k u j k L C k u k L p
C (2 j )n/p 2 js C1/r C2 j(n/ps)
Pela Lemma 3.16, a srie que define u convergente em S 0 . interessante ento

analizarmos o comportamento dos operadores j0 u.
Como C e C 0 so duas coroas, existe um inteiro N0 > 0 tal que
0
| j j0 | N0 2 j C 2 j C 0 =
Da, se | j j0 | N0 ,
( j0 u j ) = 0 j0 u j = 0.
Assim, podemos escrever

k j0 u k L p = j0 u j

j 0
Lp
C ku j k L p
j 0
| j j0 | N0
Consequentemente,
0 0
2 j s k j0 u k L p C 2 j s ku j k L p
j 0
| j j0 | N0
C 2 js ku j k L p
j 0
| j j0 | N0
Deste modo obtemos que

0
2 j s k j0 uk L p ((ck )kZ (dl )l Z )( j0 ),
com ck = C 1[ N0 ,N0 ] (k ) e dl = 1N 2ls kul k L p . Como a sequncia ck pertence a `1 ,

utilizando a propriedade clssica da convoluo entre `1 (Z) e `r (Z) (ou a Desigualdade
de Young), segue que
0
js
(2 k j0 uk L p ) j r k(ck )k`1 (2 js ku j k L p ) j r ,

` `
isto ,
kuk Bsp,r Cs (2 js ku j k L p ) jN r .

`
2
O Teorema anterior implica diretamente o seguinte:

Corolrio 3.17 O espao Bsp,r independe da escolha das funes e utilizadas na definio
3.15.
Considere H s = {u S 0 (Rn ); u L1loc com kuk2s = |u |2 ( )(1 + | |2 )s d < }.
R
Vamos agora relacionar os espaos de Sobolev com os espaos de Besov, o que nos
dar a expanso de Littlewood-Paley para eles, nos indicar um importante exemplo
de espao de Besov.
Teorema 3.18 Os espaos H s e B2,2
s so iguais e suas normas satisfazem
C |s|1 kuk B2,2

s kuk H s C
|s|+1
kuk B2,2
s
Demonstrao: Observemos que existe uma constante C > 0 tal que

1
2 js k j uk L2 k j uk H s 2 js C |s|+1 k j uk L2 (3.28)
C |s|+1
De fato, para j 0, como S(F ( j u)) 2 j C , temos que
Z
k j uk2H s = (1 + | |2 ) s |
d 2
j u | d (3.29)
2j C
Vamos supor que s 0, pois a demonstrao para o caso s < 0 anloga.
Para 2 j C ,
8 2 s 8 2 s
2 s j
(1 + | | ) 1 + 2 2 2js
1+ = C s 22js
3 3
3 2 s 3 2 s
2js
2 s
(1 + | | ) 1 + 2 j
2 1+ = C s 22js ,
4 4
Substituindo em (3.29) e utilizando a Identidade de Fourier-Plancherel, obtemos
Z
k j uk2H s C s 22js |
d s 2js
j u | d = C 2 k j u k L2
2 2
e Z
s 2js s 2js
k j uk2H s C2 |
d 2
j u | d = C 2 k j uk2L2
Para j = 1 repetimos o argumento, sendo que o supremo e o nfimo de ( ) =
(1 + | |2 )s so tomados sobre a bola B.
Agora, em posse de (3.29), combinado com a expresso (3.19),
Z
kuk2H s = (1 + | |2 )s |ub( )|2 d
Z
!
3 (1 + | |2 ) s 2 ( ) + 2 (2 j ) |ub( )|2 d
j 0
!
= 3 k1 uk2H s + k j uk2H s
j 0
!
3C |s| 22js k j uk2L2
j1
= 3C |s| kuk2Bs
2,2
A outra desigualdade anloga. 2
Proposio 3.19 O espao B0p,1 est continuamente mergulhado em L p e o espao L p mergulha

continuamente em B0p, .
Demonstrao: Seja u B0p,1 . Ento a srie k j uk L p converge. Isto implica que

j
j + q 1
j
k S j+q u S j u k L p
0
k j0 uk L p 0
j =j
Portanto, a sequncia (S j u) j0 de Cauchy em L p . Como L p completo, existe

v L p tal que S j u converge a v em L p . Mas L p , S 0 , logo S j u v em S 0 .
Por outro lado, pela decomposio de Littlewood-Paley, (S j u) j1 uma sequncia
convergindo a u em S 0 . Da unicidade do limite segue que u = v L p .
Agora, se u L p , uma vez que, para todo j 1, k j uk L p C kuk L p , temos
sup k j uk L p C kuk L p ,
j1
isto ,
kuk B0p, C kuk L p .
2
Teorema 3.20 Seja 1 p1 p2 e1 r1 r2 . Para todo nmero real s, o espao
1 1
sn p1 p2
Bsp1 ,r1 continuamente includo em B p2 ,r2 .
Demonstrao: Como S ((1 u) ) B, pelo Lema de Bernstein,
k 1 u k L p2 C k 1 u k L p1 . (3.30)
Do mesmo modo, para j 0, como S( j u)) 2 j C ,

1 1
jn p1 p2
k j uk L p2 C2 k 1 u k L p1 . (3.31)
Utilizando as desigualdades (3.30) e (3.31) e o fato de que `r1 , `r2 , obtemos
!1/r2
1 1
jr2 sn p1 p2
kuk sn p1 p1
( ) = 2 k j ukrL2p2
B p2 ,r2 1 2 j1
!1/r2
jr2 sd p1 p1 r2 jd p1 p1
C 2 1 2 2 1 2 k j ukrL2p1
j1
!1/r2
= C 2 jr2 s k j ukrL2p1
j1
!1/r1
C 2 jr1 s k j ukrL1p1
j1
= kuk Bsp
1 ,r1
Uma propriedade topolgica importante acerca dos Espaos de Besov que a

expresso em (3.25) uma norma que torna o espao Bsp,r completo, como especifica
o seguinte resultado:
Teorema 3.21 Se 1 p, r , o espao Bsp,r equipado com a norma k k um espao de

Banach satisfazendo a propriedade de Fatou: se (un )nN uma sequncia limitada de Bsp,r que
converge para u S 0 , ento u Bsp,r e
kuk Bsp,r lim inf kun k Bsp,r

n
Demonstrao: Ver [1]. 2
Proposio 3.22 O espao Bsp,r continuamente includo em S 0 .
Demonstrao: Por definio, Bsp,r um subespao de S 0 . Para provarmos a

continuidade, mostremos a existncia de uma constante C e um inteiro positivo M
tal que, para toda funo em S ,
|hu, i| C kuk Bsp,r kk M,S .
Para isto, escolhemos um inteiro positivo N satisfazendo N n/p s. Pela relao

(3.26), uma vez que S(( j u) ) 2 j C , podemos escrever
h j u, i = 2 j( N +1) h j u, 2 jn g (2 j ) i
||= N +1
Deste modo,
|h j u, i| 2 j 2 N k j uk L k2 jd g (2 j ) k L1
||= N +1
2 2 j jN
k j uk L k2 jd g (2 j )k L1 k k L1
||= N +1
C2 j sup 2 jN
k j uk L sup k k L1
j1 ||= N +1
= C2 j kuk B,
N sup k k L1 (3.32)
||= N +1
Pela escolha de N, segue do Teorema anterior que Bsp,r est continuamente

N . Assim, existe C > 0 tal que
mergulhado em B,
kuk B,
N C k u k Bsp,r
Tambm,
Z
sup k k L1 =

sup | ( x )|dx
||= N +1 ||= N +1
|(1 + | x |) N +1 ( x )|
Z
= sup dx
||= N +1 (1 + | x |) N +1
Z
C sup (1 + | x |) N +1 | ( x )|dx
||= N +1
= C kkSN +1
Substituindo em (3.32), conclumos que
|h j u, i| C2 j kuk Bsp,r kkSN +1
Finalmente, utilizando a decomposio de Littlewood-Paley,
|hu, i| |h j u, i|
j1
C 2 j kuk Bsp,r kkSN +1

j1
C kuk Bsp,r kkSN +1

2
Finalmente esboaremos a Decomposio de Bony.
Sejam u e v duas distribuies temperadas. Pela decomposio de Littlewood-
Paley, temos
u = j0 u e v = j u
j0 j
Formalmente, o produto, quando ele existe, pode ser representado pela expresso
uv = 0 j0 u j v (3.33)
j,j
Nesta seo, veremos como a Decomposio de Littlewood-Paley d condies
para que o produto de duas distribuies temperadas uv esteja definido, bem como
resultados de continuidade para a aplicao (u, v) 7 uv.
A idia fundamental do Clculo Paradiferencial distinguir trs parcelas no
produto uv. A primeira parte Tu v corresponde aos termos j u j0 v quando j pequeno
em comparao com j0 . Um segundo termo Tv u a contraparte simtrica de Tu v e
finalmente uma terceira parte onde as frequncias de u e v tm o mesmo tamanho.
Definio 3.23 Definimos o paraproduto de u e v, e denotaremos por Tu v o operador bilinear
def
Tu v = Sj1 u j u = 0 j0 u j v
jZ j j 2
Tambm, definimos o Resto de u e v, e indicaremos por R(u, v) o operador

def
R(u, v) = j0 u j v
| j j0 |1
Segue de (3.33) que

uv = Tu v + Tv u + R(u, v)
A expresso acima conhecida como a Decomposio de Bony.
Como ilustrao desta tcnica, vamos analisar como o produto age nos espaos de
Besov. Mais precisamente, mostraremos que o produto uma forma bilinear contnua
no espao L Bsp,r , quando s > 0.
Proposio 3.24 Para todo nmero real s, existe uma constante C tal que, para toda ( p, r )
[1, ]2 , temos
k Tu vk Bsp,r C kuk L kvk Bsp,r , (u, v) L Bsp,r
Em outras palavras, se u L , o operador Tu leva continuamente Bsp,r em Bsp,r .

Demonstrao: Temos que
S((S j1 u j v) ) = S(F (S j1 u) F ( j v))

S(F (S j1 u)) + S(F ( j v))
2 j1 B + 2 j C = 2 j C,
onde C = C(0, 12
1 10
, 3 ). Tambm, pela desigualdade de Hlder e a continuidade dos
operadores S j em L p ,
kS j1 u j vk L p kS j1 uk L k j vk L p
C k u k L k j v k L p
Assim,
(2js kSj1 u j vk L p )r Cr kukrL 2 jrs k j vkrL p

j j
r
= C kuk L kvkrBsp,r
r
Extraindo a r-sima raz, obtemos:

!1/r
r
2 js kS j1 u j vk L p C kuk L kvk Bsp,r < (3.34)
j
Pelo Lema 3.16, obtemos que Tu v Bsp,r e assim, pela estimativa (3.34),
k Tu vk Bsp,r Cs k(2 js kS j1 u j vk L p )k`r

C kuk L kvk Bsp,r
Para o estudo do comportamento do operador resto, vamos precisar considerar

termos do tipo j u j v. A Transformada de Fourier destes no est suportadas em
coroas, mas em bolas do tipo 2 j B. Precisamos ento de uma verso do Teorema 3.16
que contorne esta situao:
Lema 3.25 Seja B uma bola, s > 0 e ( p, r ) [1, ]2 . Seja (u j ) jN uma seqncia tal que

S(ubj ) 2 j B e (2 js ku j k L p ) j < .

`r
Ento
u= u j Bsp,r e kuk Bsp,r Cs (2 js ku j k L p ) jN

jN `r
Demonstrao: Por hiptese, existe C > 0 tal que
2 js ku j k L p C ku j k L p C2 js
Ento
l +k l l +k l +k
l

j j p
u u ku j k L p C 2 js 0.

j =1 j =1 L j = l +1 j = l +1
Da completude de L p , segue que u = u j L p . Tambm, existe N0 tal que

jN
0
j0 j + N0 2 j C 2 j B =
0
Da, se j0 j + N0 , F ( j0 u j ) = (2 j )ubj = 0, ou ainda, j0 u j = 0. Assim,

k j0 u k L p = j0 u j

j
Lp
k j0 u j k L p
j j0 N0
C ku j k L p
j j0 N0
Deste modo,
0 0
2 j s k j0 u k L p C
0
2( j j )s 2 js ku j k L p
j j N0
((ck ) (dk ))( j0 )
ck = C 1[ N0 ,) (k ) 2ks `1

onde
dl = 2ls kul k L p `r
Aplicando a desigualdade de Young, obtemos que
0
kuk Bsp,r kck k`1 (2 j s ku j0 k L p ) j r

0 `
js
= Cs (2 ku j0 k L p ) j r

`
2
Proposio 3.26 Sejam s1 , s2 nmeros reais tal que s1 + s2 > 0 . Ento existe uma constante
C tal que, para ( p1 , p2 , r1 , r2 ) [1, ]4 ,
1 def 1 1 1 1 def 1
= + 1 e + = 1
p p1 p2 r1 r2 r
tem-se, para quaisquer (u, v) Bsp11 ,r1 Bsp22 ,r2 ,
k R(u, v)k Bs1 +s2 C kuk Bs1 kvk Bs2
p,r p1 ,r1 p2 ,r2
Demonstrao: Por definio de operador resto,

1
R(u, v) = R j , com R j = jl u j v
j l =1
Pela linearidade da Transformada de Fourier e o fato de que o suporte da convoluo

est contido na soma dos suportes, temos S(( R j ) ) 2 j B(0, 8).
Por outro lado, pela desigualdade de Hlder,
1
2 j ( s1 + s2 )
kRj k Lp 2 js1 k jl uk L p1 2 js2 k j vk L p2
l =1
Deste modo,
1

j ( s1 + s2 ) js1 js2
(2 kRj kL )j r 2 k j l u k L 1 2 k j v k L 2 ) j (3.35)
p
p p

` `r
l =1
Para cada l = 1, 0, 1, como (2 js1 k jl uk L p1 ) jZ `r1 e (2 js2 k j vk L p2 ) jZ `r2 , a

desigualdade de Hlder e a estimativa (3.35) nos d que

j ( s1 + s2 )
( 2 k R j L j r C k u k Bs1 k v k Bsp2 ,r .
k )
p

` p1 ,r1 2 2
Como s1 + s2 > 0, a demonstrao segue do Lema 3.25.

2
Corolrio 3.27 Para todo s positivo, o espao L Bsp,r uma lgebra. Alm disso, existe uma
constante C > 0 tal que
kuvk Bsp,r C (kuk L kvk Bsp,r + kuk Bsp,r kvk L )
Demonstrao: De acordo com as Proposies 3.26 e 3.24, temos
k R(u, v)k Bsp,r C kuk Bsp,r kvk B,
0
k Tu vk Bsp,r C kuk L kvk Bsp,r

k Tv uk Bsp,r C kvk L kuk Bsp,r
Como L , B,
0 , aplicando a decomposio de Bony segue o resultado.
2
Ainda referente aos espaos de Besov, outras propriedades a respeito do produto

so descritas na seguinte proposio:
Proposio 3.28 Sejam 1 p, r e s R.

1 1 1
(i) Se > 0 e 1 r1 , r2 so tais que = + , ento existe C > 0 tal que
r r1 r2
C |s|+1
k Tu vk Bsp,r kuk B,r
k v k Bs ,
p,r2
1
(ii) Seja (s1 , s2 ) R2 , 1 p1 , p2 e 1 r1 , r2 tal que
1 1 1 1 1 1
s1 + s2 > 0, + 1 e + 1,
p p1 p2 r r1 r2
Ento o operador resto uma aplicao bilinear e contnua de Bsp11 ,r1 Bsp22 ,r2 em B p,r
1,2
,

com 1,2 = s1 + s2 + n 1p p11 p12 e existe uma constante C > 0 tal que
C s1 + s2 +1
k R(u, v)k B1,2 k u k B s1 k v k B s2
p,r s1 + s2 p1 ,r1 p,r2
Demonstrao: Ver [1]. 2
Para o estudo de problemas que tenham alguma propriedade de invarincia por

escala, desejvel considerarmos espaos de funes que admitam invarincia por
dilatao. Espaos de Sobolev Homogneo, tal escala de espaos obtido substituido
o peso (1 + | |2 )s por | |2s , possuem tal propriedade, no sentido de que se f H s ento
f = f () H s . Nosso objetivo nesta seo obter uma decomposio didica que
caracterize estes espaos. A referncia adotada [1].
Sejam (, ) como antes. Para u S 0 (Rd ), definimos
def
S j u = 2 jd (2 j ) u, j Z
def
j u = S j+1 u S j u, j Z
Definio 3.29 Denotamos por Sh0 o espao das distribuies temperadas tal que
lim S j u = 0 em S 0
j
Exemplo 3.1 Se uma distribuio temperada u tal que sua transformada de Fourier ub
localmente integrvel perto de 0, ento u pertence a Sh0 .
O lema abaixo caracteriza o conjunto Sh0 mediante a decomposio de Littlewood-
Paley:
Lema 3.30 Sh0 o espao das distribuies temperadas que satisfazem
u= j u (3.36)
jZ
Neste caso, a srie acima denominada a decomposio de Littlewood-Paley

homognea de u.
Demonstrao: Observemos que, para qualquer j 0,
j u = S j+1 u S j u = S j+1 u S j u = j u
e, para j = 1,
1 u = S 0 u S 1 u = 1 u S 1 u.
Ento, pela decomposio de Littlewood-Paley,
j u = j u + (1 u S 1 u) + j u
jZ j 0 j1
N
= j u S 1 u + lim
N
(S j+1 u S j u)
j1 j=1
= u + lim S N u
N
Assim, vale (??) se, e s se, lim S N u = 0 em S 0 , ou seja, quando u Sh0 .

N
2
Em contraste com o caso no-homogneo, no temos S j u = j0 u. No entanto,

j 0 j 1
esta expresso se verifica para distribuies em Sh0 .
Observao 3.3 O espao Sh0 no um subespao fechado de S 0 com a topologia da
convergncia fraca. De fato, consideremos uma sequncia ( f n )nN , com
x
f n (x) = f , f S tal que f (0) = 1.
n
Ento, f converge para a funo constante 1 que no pertence a Sh0 .
De maneira anloga a abordagem do caso no-homogneo, uma vez construda a
decomposio de Littlewood-Paley homognea, podemos definir os Espaos de Besov
homogneo:
Definio 3.31 Se s R e 1 p, r , o espao de Besov homogneo B sp,r o conjunto das

distribuies u Sh0 tais que kuk B sp,r finito, com

kuk B sp,r = (2 js k j uk L p ) jZ

`r (Z)
Com a mesma tcnica de demonstrao utilizada no caso no-homogneo,

associado com a desigualdade (3.20), prova-se que os espaos H s e B 2,2
s coincidem.
A proposio a seguir descreve a propriedade de invarincia por escala para B sp,r :
Proposio 3.32 Se u B sp,r , ento ku k B sp,r finito e temos
s np
ku k B sp,r kuk B sp,r .
Demonstrao: Seja um nmero real positivo. Temos

Z
1 n
( ( )ub ) ( x ) = (( x y))u(y)dy.
Pela mudana de variveis z = y, segue que

Z
1 n n
( ( )ub ) ( x ) = (x 1 z)u(z)dz = ( (1 )ub) (x ) (3.37)
Para j Z, seja
v j = ( (2[log2 ]log2 j )ub ) ,
onde [m] indica a parte inteira de m.
Escolhendo = 2 j[log2 ] na igualdade (??), obtemos
v j ( x ) = F 1 ( (2[log2 ] j )ub)(x ),
e assim,
np
kv j k L p = k j[log2 ] uk L p .
Ora, as quantidades s e 2[log2 ]s so comparveis. Assim,
s np ( j[log2 ])s
2 js kv j k L p 2 k j[log2 ] uk L p
Calculando a norma `r em ambos os membros, segue que
!1/r
s np
2jrs kv j krL p kuk B sp,r (3.38)
jZ
Como S(vbj ) 2 j C(0, 43 , 16

3 ), temos
j0 u = j0 v j .
| j j0 |2
Aplicando a norma de B sp,r e a estimativa (??), segue o resultado.

2
Para distribuies u, v pertencentes a Sh0 , definimos
T u v = S j1 u j v e R (u, v) = j0 u j v
jZ | j j0 |1
Formalmente, temos a seguinte decomposio de Bony homognea

uv = T u v + T v u + R (u, v)
As propriedades de continuidade do paraproduto e resto sobre espaos de Besov
no-homogneos, abordados na seo anterior, permanecem vlidas para o caso
homogneo, desde que verificadas as condies adicionais:
(i) s < d/p ou s = d/p e r = 1, no caso do Corolrio 3.27;
(ii) s < d/p ou s = d/p e r = 1, item (i) da Proposio 3.28;
(iii) 1,2 < d/p ou 1,2 = d/p e r = 1, item (ii) da Proposio 3.28.
A demonstrao destes resultados e uma exposio mais completa pode ser vista
em [1].
Referncias Bibliogrficas
[1] Bahouri, H., Chemin, J.-Y., Danchin, R.(2011), Fourier Analysis and Nonlinear Partial
Differential Equations . Grund. der Math. Wiss. - Vol. 343, Springer Verlag.
[2] Bony, J.-M.(1981), Calcul symbolique et propagation des singularits pour les quations
aux drivspartielles non linaires. Annales de lcole Normale Suprieure, 14,
pp.209-246.
[3] Bnyi, A., Maldonado, D., Naibo, V.(2010) What is ...a Paraproduct? . Notices of the
AMS, Vol. 7, pp. 858-860.
[4] de Figueiredo, D. G.(1977) Anlise de Fourier e Equaes Diferenciais Parciais. Projeto
Euclides - IMPA.
[5] Ebert, M., Santos Filho, J. R. (2009) Problema de Cauchy para Operadores Diferenciais
Parciais Publicaes Matemticas - 27o Colquio Brasileiro de Matemtica, IMPA.
[6] Hrmander, L. (1963) Linear Partial Differential Operators . Grund. der Math. Wiss.
- Vol.116 - Springer Verlag.
[7] Hrmander, L. (1983) The Theory of Linear Partial Differential Equations . Vol.I,
Grund. der Math. Wiss. - Vol.256 - Springer Verlag.
[8] Hrmander, L. (1997) Lectures on Nonlinear Hyperbolic Differential Equations.
Mathmatiques& Applications 26 - Springer Verlag.
[9] Hounie, J. (1979) Teoria Elementar das Distribuies. Publicaes Matemticas - 12o
Colquio Brasileiro de Matemtica, IMPA.
[10] Mtivier, G.(2008) Para-Differential Calculus and Applications to the Cauchy Problem
for Nonlinear Systems CRM Series - Pisa, Edizioni della Normale
[11] Rudin, W. (1976) Principles of Mathematical Analysis. Int. Series in Pure and Applied
Mathematics. Third Edition - McGraw-HIll.
[12] Rudin, W. (1991) Functional Analysis. Int. Series in Pure and Applied Mathematics.
Third Edition - McGraw-HIll.
[13] Schwartz, L.(1950-51) Thorie des distributions I et II. Hermann.
[14] Treves, F.(1967) Topological Vector Spaces, Distributions and Kernels . Academic Press.
[15] Zuily, C.(2002) lments de distributions e dquations aux drives partielles Sciences
Sup - Dunod.
47

SE2 06 (Edp)

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

SE2 06 (Edp)

Uploaded by

Copyright:

Available Formats

A funo delta de Dirac

Jos Ruidival dos Santos Filho

2o Colquio da Regio Sudeste

1 Da funo delta para distribuies 1

2 Mtodos para D 0 ( X ) e Aplicaes 11

Este minicurso visa apresentar o desenvolvimento e algumas aplicaes de uma

Da funo delta para distribuies

Considere Rn com a topologia euclidiana e x0 Rn , seja x0 o funcional linear

Nos limitando a subconjuntos compactos K de Rn , que neste contexto podemos

se 1 p < com k f k p = ( X | f ( x | p dx )1/p . L ( X1 ) o espao das funes f s

b) Dado f C ( X ), e fixado uma Cc ( X ) temos que a integral de Riemann

N ( ) = Nn Max xX {|( )( x )|}

Exercicio 1.5 - Seja C ( X ), mostre que N ( ) < P, se, e s se, S( )

|u( )| < CN ( ) D( X ) (1.1)

Sendo tal desigualdade equivalente a continuidade. Ou equivalentemente, K X

|u( )| < C||k sup| ( x )| D( X ) com S( ) K (1.1)0

Lema 1.3 j D( X ) converge para 0 quando j se, e somente se,

Demonstrao: Use a caracterizao em termos de N para demonstrar a

Como consequncia desta caracterizao mostra-se, como no caso normado, que

Demonstrao: Se u D 0 ( X ) ento de (1.1) segue imediatamente que u( j ) 0 se

vantagem de trabalhar com a estrutura de EVT que teoremas bsicos de Anlise

Demonstrao: . Obviamente a hiptese pode se traduzir aos seus complementares,

um espao vetorial topolgico que completo mas no metrizvel.

Teorema 1.6 (Banach-Steinhauss) Se X e Y so espaos vetoriais topolgicos, e uma famlia

seja limtado em Y. Se B for de segunda categoria em X, ento B = X e equicontnua. Logo

Demonstrao: Tome vizinhanas Uj , j {1, 2}, da origem de X tal que tx Uj se

Da se x B ento ( x ) nU, para algum k, da x kE. Logo

Consequentemente ao menos um kE de segunda categoria. Como x kx um

O terceiro e ltimo resultado de Anlise Funcional aqui apresentado trata extenses

Ento se estende para um funcional linear em X tal que

Uma interessante aplicao da teoria, em particular da derivada no sentido das

Exerccio 1.7 - Mostre que usando partio da unidade possvel determinar

aqui /(1 + |0 |2 ( x 0 ))1/2 = n, com n igual a normal interior de Front(Y ),

Proposio 1.8 Seja P = a j ( x ) x j + b( x ), com a j C1 ( X ) e b C ( X ) com X Rn

Note que u CR( X ) logo u D 0 ( X ) de ordem 1, e portanto faz sentido de

Mtodos para D 0 ( X ) e Aplicaes

Teorema 2.1 Se existe uma constante C e um inteiro no-negativo N tais que

| f (z)| C ( Im(z)) N , se z (2.1)

ento f (. + iy)) converge em D 0 ( I ) quando y 0. Alm disso, a ordem do limite finita e

Demonstrao: A primeira etapa ser o de primitivar a f , uma vez que ao fazer

Da se I for limitado temos que existem constantes C1 e C2 tais que

| F (z)| C1 ( Im(z)) N +1 se N > 1 e C1 log( Imz) + C2 se N = 1.

Por conseguinte se N = 1 integrando F da mesma forma obtemos uma funo

Nos dois casos usando as equaes de Cauchy-Riemann obtemos que

Teorema 2.2 O limite pontual de sequncia de distribuies uma distribuio.

Demonstrao: Usaremos a caracterizao (1.1) de uma distribuio. Da o resultado

Na demonstrao do Teorema 2.1 vimos que a distribuio obtida como derivada,

Teorema 2.3 Dado u D 0 ( X ). Ento existe uma funo u1 L ( X1 ) e m um inteiro no

Antes de partir para a demonstrao proporemos:

se S( ) K j X1 , com K compacto e k = nm, demonstrando assim que u uma

ento segue do Teorema 1.4 que a aplicao linear

Retornando a funo delta de Dirac, mostraremos:

Demonstrao: Recorde que se u C ( X ), baseado na Observao 2) b) (do Captulo

Se u D 0 ( X ) com propriedades especiais de se imaginar que eventualmente

Teorema 2.5 Seja u E 0 , com ordem k, ento u() = 0 se E ( X ) e todas as derivadas de

Para a demonstrao deste resultado nos referimos a [7].

Demonstrao: Tome m = ordem da distribuio u. Dado uma funo teste E ( X ),

com = (1 , ..., n ) Nn , ! = 1 !...n ! e E tal que ( x0 ) = 0 se || m.

u() = ||m [(1)|| u(( x x0 ) )/!] x0 (.)

Voltando a medidas de probalidade temos:

Proposio 2.7 Se u D 0 ( X ) tal que u() 0 se for no-negativa, ento u uma

Demonstrao: Dado K um compacto de X considere X uma funo Cc ( X ) tal que

Logo pela hiptese teremos que