1

Notas de Aula do Curso 18.155, Outono 2002

RICHARD B. MELROSE


Contedo

Introduo ..................................................................................................................... 2
1. Funes Contnuas .................................................................................................... 3
2. Medidas e s -algebras.............................................................................................. 10
3. Integrao ............................................................................................................... 17
3. Integrao ............................................................................................................... 23
4. Espao de Hilbert.................................................................................................... 33
5. Funes teste........................................................................................................... 36
6. Distribuies Temperadas. ..................................................................................... 42
7. Convoluo e Densidade. ....................................................................................... 47
8. Inversa de Fourier ................................................................................................... 56
9. Imerso de Sobolev................................................................................................. 60
10. Operadores diferencias. ........................................................................................ 64
11. Problemas ............................................................................................................. 79
Referncias ............................................................................................................... 100
2
Introduo

Estas anotaes so para o curso de anlise para ps- graduao (18.155) do
MIT no outono de 2002. Baseiam-se em notas de aulas de cursos anteriores ministrados
em 1977 e 2001.
Desejo agradecer particularmente Austin Frakt pelos vrios comentrios,e
correes feitas nas primeiras verses destas anotaes. Outros como Philip Dorrell
pelos seus comentrios e correes construtivas.
3
1. Funes Contnuas

Neste comeo quero lembrar a voc de coisas que acho que j conhece e depois
mostrar a direo que o curso ir tomar.Deixe- me inicialmente tentar estabelecer o
contexto.
Uma noo bsica que suponho que voc tenha uma razovel familiaridade aquela de
espao mtrico ([5] p.9). Este consiste de um conjunto, X, e uma funo distncia
d : X X = X
2
1
.? [0, 8),
satisfazendo os trs axiomas seguintes:

i) d(x, y) = 0 ? x = y, (e d(lim
n? 8 f (x
n
)= f (x) in Y if x
n
? x in x,y) = 0)
ii) d(x, y) = d(y, x) x, y ? X
(1.1)
iii) d(x, y) = d(x, z)+ d(z, y) ? x, y, z ? X.

A teoria bsica dos espaos mtricos trata com propriedades de subconjuntos
(aberto, fechado, compacto, conectado), seqncias (convergentes, Cauchy) e mapas
(contnuos) e a relao entre estas noes. Deixe- me lembr- lo de um destes resultados.

Proposio 1.1. Um mapeamento f : X ? Y entre espaos mtricos continuo se e
somente se uma das trs condies equivalentes ocorrer
(1) f
1
(O) ? X aberto? O ? Y aberto.
(2) f
1
(C)

? X fechado ? C ? Y fechado
(3) lim
n? 8 f (x
n
)= f (x) em Y se x
n
? x em X.

O exemplo bsico de um espao mtrico o espao Euclidiano. Espao Real
Euclidiano n- dimensional, , o conjunto ordenado de n- enuplas de nmeros reais
x = (x
1
,...,x
n
) ? , xj ? , j =1,...,n.
tambm o exemplo bsico de um espao vetor (ou linear) com as operaes

x + y = (x
1
+ y
1
, x
2
+ y
2
,...,x
n
+y
n
)
cx =(cx
1
,...,cx
n
).

A mtrica usualmente dada pela mtrica Euclidiana
( )
2
1
1
2 2
1
2 2
1
...

,
_

+ +

n
j
j n
x x x x
no sentido que
d(x,y)= |x. y|.
Vamos abstrair isto para a noo de espao vetorial normado, ou espao
normado. Este um espao vetorial V (sobre ou ) provido com uma norma ou seja
uma funo
4
[ ) , 0 V :
satisfazendo

i) 0 0 v v
ii) v cv 0 c (1.2)
iii) w v w v + +

Isto significa que (V, d), d(v, w) = w v um espao vetorial ; estou tambm usando
para representar tanto ou conforme apropriado.
O caso de um espao normado de dimenso finita no muito interessante pois,
a parte a dimenso, todos eles so o mesmo. Diremos (em geral) que duas normas
1

e
2
em V so equivalentes se existir C > 0 tal que
V v v C v v
C

1 2 1
1


Proposio 1.2. Qualquer duas normas de um espao vetorial de dimenso infinita so
equivalente.
Portanto, estamos principalmente interessados no caso de dimenso infinita. Irei
iniciar o curso de forma um pouco no ortodoxa, focalizando somente este espao
normalizado(que na realidade uma classe). Seja X um espao mtrico. O caso de uma
funo continua, f : X ? (ou ) um caso especial da Proposio 1.1 acima. Ento
definimos
C(X)= {f : X ? , f contnua}

De fato a mesma notao geralmente usada para o espao de funes com
valores complexos. Se quisermos distinguir entre as duas possibilidades temos que
utilizar uma notao mais ortodoxa C(X; ) e C(X; ). Agora, a bvia norma neste
espao linear a norma suprema (ou uniforme)

) ( sup x f f
X x

Aqui X um espao mtrico arbitrrio.Para o momento supe-se que X um
espao fsico, algo semelhante ao R
n
. Considerando a dimensionalidade finita do

freqentemente supomos que X localmente compacto. Isto apenas significa que todo
ponto tem uma vizinhana compacta, ou seja, esta no interior de um conjunto compacto.
Localmente compacto ou no podemos considerar
(1.3) } ) ( sup . . 0 ); ( { ) (
0
>

x f t Xs K X C f X C
K x

Aqui a notao K X significa K um sub-conjunto compacto de X.
Se V um espao normalizado linear estamos particularmente interessados em
funcionais continuas e lineares em V. Aqui funcional apenas significa funo mas
5
permite-se que V seja grande (no como ) portanto funcional usado por razes
histricas.

Proposio 1.3. O que segue so condies equivalentes sobre uma funo linear u :
V? sobre o espao normalizado V.
(1) u contnuo.
(2) u contnuo em 0.
(3) {u (f ) ? ; ||f ||? V,.f .= 1} limitado.
(4) ? C s.t. |u (f )| = C.||f ||.? f ? V.
Prova. (1) (2) por definio. Ento (2) implica que u
-1
(-1, 1) uma vizinhana aberta
de 0 ? V, portanto para algum > 0, u({f ? V ;.||f ||. <.}) ? (-1, 1). A partir da
linearidade de u, u({f ? V; || f ||. < 1}) ?

,
_

1
,
1
limitado, portanto (2) (3). Ento
(3) implica que
|u(f )|= C ? f ? V,.||f ||.= 1
para algum C. Ainda utilizando a linearidade de u, sef . 0,
f C
f
f
u f f u

,
_

) ( ,
resultando (4). Finalmente,supondo (4),
|u(f ). u(g)| = |u(f - g)| = C ||f - g||.
Mostra que u contnuo em qualquer ponto g ? V.

Em vista desta identificao, freqentemente se diz que funcionais contnuos
lineares so limitados. Uma das importantes idias que iremos explorar mais tarde
aquela da dualidade. Em particular, isto sugere que uma boa idia examinar a
totalidade dos funcionais lineares limitados em V. O espao dual
V = V

= {u : V.? , linear e limitado}.

Este tambm um espao linear normado onde as operaes lineares so:

(u + v)(f )= u(f )+ v(f )
? f ? V

(1.4)
(cu)(f )= c(u(f ))

A norma natural em V

u.
) ( sup
1
f u u
f

sta justamente a melhor constante na estimativa da limitao,
||u|| = inf {C; |u(f )|= C.||f ||.? f ? V }.

6
Uma das questes bsicas que quero seguir na primeira parte do curso : Qual
o dual de C
0
(X) para um espao mtrico localmente compacto X? A resposta dada pelo
teorema de representao de Riesz, em termos de medidas (Borel).
Deixe dar a voc uma vaga viso da regularidade das funes que o assunto deste
curso, mesmo que no tenha introduzido ainda a maioria deste espao. Funes
regulares (e pequenos espaos) esto na direo do topo. A dualidade oscila para cima e
para baixo e como veremos L
2
,o espao das funes quadradas integrveis de
Lebesgue, est geralmente no meio. O que irei discutir primeiro o lado direito do
diagrama onde temos o espao das funes contnuas em que tende para infinito e
seu espao dual, M
fin
( ), o espao de medidas finito de Borel. Existem muitos outros
espaos que voc pode encontrar, aqui somente inclui funes teste, funes de
Schwartz, espaos de Sobolev e seus duais; k geralmente um nmero inteiro positivo.

(1.5)


Estabeleci o objetivo de entender o espao dual M( ) de C
0
(X), onde X um
espao mtrico localmente compacto. Isto ir me obrigar ir atravs dos elementos da
teoria das medidas e integrao de Lebesgue. Isto requer um pouco de esforo!
O caso bsico de interesse . Um exemplo bvio de um funcional linear
contnuo em C
0
(R
n
) dado pela integrao de Riemann, por exemplo sobre o cubo
unitrio [0, 1]
n
:

n
dx x f f u
] 1 , 0 [
) ( ) (

De alguma forma temos que mostrar que todos os funcionais contnuos lineares
em C
0
(X) so dados pela integrao. Contudo, temos que interpretar a integrao de
uma forma um pouco mais ampla pois existem tambm os funcionais de avaliao. If z
? X considere o delta de Dirac
z(f )= f (z).
Isto tambm denominado ponto de massa z. Portanto precisamos de uma teoria das
medidas e uma integrao ampla o suficiente para incluir ambos os casos.
Uma caracterstica especial C
0
(X), comparada com os espaos normados gerais,
que existe uma noo de positividade para os seus elementos. Portanto f = 0 significa
f (x) = 0 ? x ? X.
7
Lema 1.4. Cada f ? C
0
(X) pode ser decomposto unicamente coma a diferena de suas
partes positivas e negativas
(1.6) f = f
+
- f
-
, f ? C
0
(X), f (x) = |f (x)| ? x ? X


Prova. Defina

'
t

t
0
) (
) (
x f
x f
if
if

0 ) (
0 ) (
< t
t
x f
x f


Ento (1.6) valida. Observe que f
+
continua em cada y ? X pois,com U uma
vizinhana aproximada de y, em cada caso
f (y) > 0 f (x) > 0 para x ? U f
+
= f em U
f (y) < 0 f (x) < 0 para x ? U f + = 0 em U
f (y) = 0 dado > 0 ? U s.t. |f (x)| < ? em U
| f (x)| < ? em U
Portanto f
-
= f -f
+
? C
0
(X),pois ambos tendem a zero no infinito.
Similarmente podemos dividir elementos do espao dual em partes positiva e
negativa muito embora seja um pouco mais delicado. Dizemos que u ? (C
0
(X)).
positivo se
(1.7) u(f ) = 0 ? 0 = f ? C
0
(X).
Para um u qualquer (real) ? (C
0
(X)) e para cada 0 = f ? C
0
(X) faa
(1.8) u
+
(f ) = sup {u(g); g ? C
0
(X), 0 = g(x) = f (x) ? x ? X}.
Isto certamente finito pois u(g) = C.||g||

= C.||f ||8. Alm disso, se 0 < c ? ento

u
+
(cf ) = cu
+
(f ) por inspeo. Suponha que 0 = f
i
? C
0
(X) para i =1, 2. Ento dado ? > 0
existe g
i
? C
0
(X) com 0 = g
i
(x) = f
i
(x) e
u
+
(f
i
) = u(g
i
) + ?.
Segue-se que 0 = g(x) = f
1
(x) + f
2
(x) if g = g
1
+ g
2
ento
u
+
(f
1
+ f
2
) = u(g)= u(g
1
)+ u(g
2
) = u
+
(f
1
) + u
+
(f
2
) - 2?.
Portanto
u
+
(f
1
+ f
2
) = u
+
(f
1
)+ u
+
(f
2
).
Inversamente, se 0 = g(x) = f
1
(x)+ f
2
(x) faa g
1
(x) = min(g, f
1
) ? C
0
(X) e g
2
= g -
g
1
. ento 0 = g
i
= f
i
e u
+
(f
1
)+ u
+
(f
2
) = u(g
1
)+ u(g
2
) = u(g). Tomando o supremo sobre g,
u
+
(f
1
+ f
2
) = u
+
(f
1
) + u
+
(f
2
), portanto encontramos
(1.9) u
+
(f
1
+ f
2
) = u
+
(f
1
)+ u
+
(f
2
).
8

Tendo mostrado, esta linearidade efetiva nas funes positivas podemos agora
obter um funcional linear fazendo

(1.10) u
+
(f ) = u
+
(f
+
) - u
+
(f -.) ? f ? C
0
(X).

Observe que (1.9) e mostre que u
+
(f )= u
+
(f
1
) - u
+
(f
2
) para qualquer decomposio de f =
f
1
-f
2
com f
i
? C
0
(X), ambos positivos. [Pois f
1
+ f
-
= f
2
+ f
+
so u
+
(f
1
)+ u
+
(f
-
) = u
+
(f
2
) +
u
+
(f
+
).] Alm disso,
|u
+
(f )|= mx (u
+
(f
+
), u(f
-
)) = ||u|| ||f ||

||u
+
|| ||u||
O funcional
u = u
+
- u
-

tambm positivo, pois u
+
(f ) = u(f ) para todo 0 = f ? C
0
(x). Portanto completamos a
prova.

Lemma 1.5. Qualquer elemento em u ? (C
0
(X)) pode ser decomposto,
u = u
+
- u
-

na diferena de elementos positivos com
||u
+
||, ||u
-
||.=.||u||.

A idia atrs da definio de u
+
que o prprio u , mais ou menos, integrao junto a
uma funo (mesmo sabendo que ainda no conhecemos como interpretar isto ainda).
Estamos tentando jogar fora a parte negativa daquela funo. O prximo passo
mostrar que um funcional positivo corresponde a uma medida ou seja uma funo que
mede o tamanho dos conjuntos. Para fazer isto queremos calcular u na funo
caracterstica de um conjunto
? E (x)=

'

0
1

if
if

E x
E x

O problema que ?
E
no contnuo. Em vez disto usamos uma idia similar a (1.8).
Se 0 = u ? (C
0
(X))

e U ? X um conjunto aberto
1

(1.11) (U) = sup {u(f ); 0 = f (x) = 1, f ? C
0
(X), supp(f ) U }.
Aqui o suporte de f , supp(f ), o fechamento do conjunto de pontos onde i f (x) ? 0.
Portanto supp (f ) sempre fechado, em (1.11) admitimos f somente se seu suporte um
subconjunto compacto de U. A razo para isto que somente assim realmente
sabemosque f ? C
0
(X).
Suponha que tentemos medir conjuntos quaisquer desta forma.Podemos fazer
isto definindo
(1.12)
*
(E) = inf { (U); U ? E, U aberto}.
9
J com pode ocorrer que (U) = 8, portanto conclumos
(1.13) *: P(X) ? [0, 8]
como definido no conjunto de potncia de X e tomando valores nos nmeros reais
positivos estendidos.

Definio 1.6. Uma funo positiva estendida,
*
, definida no conjunto de potncia de
X denominada uma medida externa se
*
() = 0,
*
(A) =
*
.(B) sempre que A ? B
e
(1.14) ) (
*
j
j j
j
A A

,
_

U
? { } ) (
1
X P A
j
j

Lema 1.7. Se u um funcional continuo linear em C
0
(X)

ento
*
, definida por (1.11),
(1.12) uma medida externa.
Para provar isto precisamos encontrar bastante funes continuas. Vou deixar a
prova do seguinte resultado para o Problema 2.

Lema 1.8. Suponha que U
i
, i =1,..., N , uma coleo finita de conjuntos abertos em um
espao mtrico localmente compacto e
U
N
i
i
U
1
um sub conjunto compacto,
ento existem uma funes continuas f
i
C(X) com 0 = f i = 1, supp(f i) Ui e
(1.15) 1

i
i
f em uma vizinhana de K.

Prova do Lema 1.7. Temos que provar (1.14). Primeiramente suponha que os A
i
so
abertos, ento portanto A =
U
i
A
i
. Se f ? C(X) e supp (f ) A ento supp (f ) coberto
por uma unio finita dos A
i
s. Aplicando Lema 1.8 podemos encontrar os f
i
s,a menos de
um nmero finito identicamente igual a zero e portanto supp(fi) Ai e
i
fi = 1 em uma
vizinhana de supp (f ).
Sendo f =
i
f
i
f conclumos que
u(f )=

i
i
f f u ) (
*
(A) =

i
i
A ) (
*

pois 0 = f
i
f = 1 e supp (f
i
f ) A
i
.
Portanto (1.14) vlida quando os Ai so abertos. No caso geral se A
i
? B
i
com
o B
i
aberto ento, a partir da definio,
( )

,
_

,
_

i
i
i
i
i
i
B B A
* * *

U U


Tomando o nfimo sobre os B
i
em geral se obtm a (1.14).


1
Veja [5] comeando na p.42 ou [1] comeando na p.206.
10
2. Medidas e s -algebras

Uma medida externa como o
*
rudimentar, pois mesmo se os A
i
so disjuntos,
existe geralmente uma desigualdade estrita na (1.14).Resulta ento ser no razovel
esperar por uma igualdade na (1.14), para unies disjuntas, e para uma funo definida
em todos os sub conjuntos de X. Portanto vamos restringir nossa ateno para colees
de subconjuntos menores.

Definio 2.1. Uma coleo de subconjuntos M de um conjunto X uma s-algebra se
(1) , X M
(2) E M E
C
= X\E M
(3) { }

1 i i
E = M
U

1 i
i
E M.

Para uma medida externa qualquer definimos a noo de mensurabiliade -
*

de um conjunto.

Definio 2.2. Um conjunto E X
*
-mensurvel (para uma medida externa em X)
se

(2.1)
*
(A) =
*
(A n E) +
*
(A n E
c
) A X.

Proposio 2.3. A coleo de conjuntos mensurveis para qualquer medida externa
uma s-algebra.

Prova. Suponha que E
*
-mensurvel, ento E
C

*
-mensurvel pela simetria (2.1).
Suponha que A, E e F sejam quaisquer trs conjuntos. Ento
A n (E ? F) = (A n E n F) ? (A n E n F
C
) ? (A n E
C
n F)
A n (E ? F)
C
= A n E
C
n F
C
.

A partir da sub aditividade de
*

*
(A n (E ? F)) +
*
(A n (E ? F)
C
)
=
*
(A n E n F) +
*
(A n E ? F
C
)
+
*
(A n E
C
n F)+
*
(A n E
C
n F
C
).

Agora, se E e F so - mensurveis ento aplicando a definio duas vezes, para
qualquer A,

*
(A) =
*
(A n E n F)+
*
(A n E n F
C)

+
*
(A n E
C
n F)+
*
(A n E
C
n F
C
)
=
*
(A n (E ? F)) + (A n (E ? F)
C
)

A desigualdade inversa segue da sub aditividade de
*
, portanto E ? F
tambm
*
-mensurvel.
11
Se { }

1 i i
E uma seqncia de conjuntos disjuntos
*
mensurveis, faa F =
U
n
i
i
E
1
e F =
U

1 i
i
E . Ento para qualquer A,

*
(A n F
n
)=
*
(A n F
n
n E
n
)+
*
(A n F
n
n
C
n
E )
=
*
(A n E
n
) +
*
(A n F
n-1
).

Utilizando iterao mostra-se
* (A n F
n
)= ( )

n
i
j
E A
1
*

A partir da mensurabilidade - * de F
n
e da sub aditividade de
*
,
*(A) =
*
(A n F
n
)+ (A n
C
n
F
)

= ( ) ( )

+
n
i
C
j
F A E A
1
* *

Tomando o limite quando n ? 8 e utilizando a sub aditividade,

*
(A) = ( ) ( )

+
C
F A F A
* *

(2.2)
=
*
(A n F) +
*
(A n F
C
) =
*
(A)

Prova que desigualdades so igualdades, portanto F tambm -mensurvel.
Em geral para qualquer unio contvel de conjuntos -mensurveis,

U U

1 1 j
j
j
j
A ,
C
j
i
i j
j
i
i j j
A A A A

,
_

U U
1
1
1
1
\


*
-mensurvel pois os
j
so disjuntos.
Uma medida (as vezes chamada uma medida positiva) uma funo estendida
definida nos elementos de um s -algebra M:
: M? [0, 8 ]
tal que

(2.3) () = 0 e

( )

,
_

1 1 i
i
i
i
A A
U

(2.4)
se { } M A
i i

1
and A
i
n A
j
=
i
j.

Os elementos de M com medida zero, ou seja, E ? M, (E) = 0, so
supostamente ignorados. A medida dita ser completa
12
(2.5) E ? X e ? F ? M, (F)=0, E ? F ? E ? M.
Veja Problema 4.
A primeira parte do seguinte importante resultado devido a Caratheodory foi
mostrado acima.

Teorema 2.4. Se
*
uma medida externa em X ento a coleo de subconjuntos
*
-
mensuraveis de X uma s -algebra e
*
restrito para M uma medida completa.
.
Prova. Temos j mostrado que a coleo de subconjuntos
*
-mensurveis de X uma
s -algebra. Para ver a segunda parte, observe que tomando A = F in (2.2) fornece

( ) ( )

j
j
E F
* *
se
U

1 i
j
E F
e os E
j
so elementos disjuntos de M. Isto a (2.4).
Similarmente se
*
(E) = 0 e F. ? E ento
*
(F) = 0 Portanto basta mostrar que
para qualquer subconjunto E ? X,
*
(E) = 0 implica E ? M. Para qualquer A ? X,
usando o fato que
*
(A n E) = 0, e a propriedade incrementode *
*(A) = *(A n E) + *(A n E
C
)
= * (A n EC) = *(A)
mostra que este deve ser sempre uma igualdade, portanto E ? M (ou seja,
*
-
mensurvel).
Voltando atrs para o nosso interesse primrio, lembre que construmos a
medida externa
*

a partir de 0 = u ? (C
0
(X))usando (1.11) e (1.12). Para medidas cuja existncia segue
do teorema de Caratheodory para serem utilizadas precisamos.
Proposio 2.5. Se 0 = u ? (C
0
(X)) para um espao mtrico localmente compacto X,
ento cada sub conjunto aberto X
*
-mensurvel para a medida externa definida pela
(1.11) e (1.12) e em (1.11) a sua medida.
Prova. Seja U ? X aberto. Precisamos somente provar (2.1) para todo A ? X com

*
(A) < 8
2
.

Suponha primeiramente que A ? X aberto e
*
(A) < 8 . Ento A n U aberto,
portanto resulta ? > 0 existe f ? C(X) supp(f ) A n U com 0 = f = 1 e

*
(A n U)= (A n U) = u(f ) + ? .

Agora, A\ supp(f ) tambm aberto, portanto podemos achar g ? C(X), 0 = g = 1,
supp(g) A\ supp(f ) com

*
(A\ supp(f )) = (A\ supp(f )) = u(g)+ .

Pois
A\ supp(f ) ? A n U
C
, 0 = f + g = 1, supp(f + g) A,
(A) = u(f + g) = u(f )+ u(g)
>
*
(A n U) +
*
(A n U
C
) - 2.
13
=
*
(A) - 2.

Utilizando a sub aditividade de
*
. Fazendo ? 0concluimos que

*
(A) =
*
(A n U) +
*
(A n U
C
) =
*
(A).
Isto fornece a (2.1) quando A aberto.
Em geral, se E ? X e
*
(E) < 8 ento dado > 0 existe A ? X aberto com
*(E) >
*
(A) - . Portanto,
* (E) =
*
(A n U) +
*
(A n U
C
) - .
= * (E n U)+
*
(E n U
C)
-
=
*
(E) -

Isto mostra que (2.1) sempre ocorre, e portanto U
*
-mensurvel se aberta.
Temos j observado que
*
(U)=
*
(U) se aberto.
Portanto mostramos que a s -algebra dada pelo teorema de Caratheodory contm
todos os conjuntos abertos. Voc mostrou no Problema 3 que a interseco de qualquer
coleo de s -algebras em um dado conjunto um s -algebra. Desde que P(X) sempre
uma s -algebra segue-se que para qualquer coleo ? P(X) existe sempre uma menor
s -algebra contendo , mais precisamente
M =
I
{M ? ; M uma s -algebra, M ? P(X)}.
Os elementos da menor s -algebra contendo os conjuntos abertos so denominados de
conjuntos de Borel. Uma medida definida no s -algebra de todos os conjuntos de
Borel denominada medida de Borel. Ento temos mostrado:

Proposio 2.6. A medida definida pela (1.11), (1.12) a partir d 0 = u ? (C
0
(X)) pelo
teorema de Caratheodory uma medida de Borel.

Prova. Isto o que a Proposio 2.5 diz! Veja como so fceis as provas.
Podemos continuar na mesma direo. Uma medida de Borel dita ser regular
externa E X se
(2.6) (E) = inf {(U); U ? E, U aberto}

Portanto a medida construda na Proposio 2.5 regular externa sobre todos os
conjuntos de Borel! Uma medida de Borel regular interna em E se

(2.7) (E) = sup {(K); K ? E, K compacto}.

Aqui temos que saber que conjuntos compactos so Borel mensurveis. Este o
Problema 5.

Definio 2.7. Uma medida Radon (sobre um espao mtrico) uma medida que
regular externa em todos os conjuntos de Borel, regular interna em conjuntos abertos e
finitos e em conjuntos compactos.


2
Porque?
14
Proposio 2.8. A medida definida pela (1.11), (1.12) a partir de 0 = u ? (C
0
(X))
usando o teorema de Caratheodory uma medida Radon..
Prova. Suponha que K ? X compacto. Seja ?
K
a funo caracterstica de K, ?
K
= 1em
K, ?
K
= 0 em K
C
. Suponha que f ? C
0
(X), supp(f ) X e f = ?
K
. Faa
U

= {x ? X ; f (x) > 1 -
.
}
Onde > 0 pequeno. Portanto U

aberto, pela continuidade de f e contm K. Alm
disso podemos escolher g ? C(X), supp(g) U, 0 = g = 1 com g = 1 prximo
3
de K.
Ento, g = (1 - )
-1
f e portando

*
(K) = u(g) = (1 - )
-1
u(f ).
Fazendo ? 0, e utilizando a mensurabilidade de K,
(K) = u(f )
? (K) = inf {u(f ); f ? C(X), supp(f ) X, f = ?
K
}.
Em particular isto implica que (K) < 8 se K X, mas isto prova tambm (2.7).
Deixe- me fazer uma pequena reviso do que j vimos. Utilizamos o funcional u
para definir uma medida externa
*
, isto uma medida e depois checamos as
propriedades desta ltima e este um bom esquema.

Vamos dizer que Q retangular se o produto de intervalos finitos
(aberto, fechado, meio-aberto)
(2.8) Q =

n
i 1
(ou [a
i
,b
i
] ou) a
i
= b
i

todos concordamos neste volume padro:

(2.9) v(Q)=

n
i 1
(b
i
. a
i
) [0, 8 ).

Claramente se temos dois destes conjuntos, Q
1
Q
2
, ento v(Q
1
) = v(Q
2
). Vamos tentar
definir uma medida externa em subconjuntos de por
(2.10) v
*
(A) = inf
( )

'

U
1 1
, ;
i
i
i
i
Q A Q v
Q
i
retangular.
Queremos mostrar que (2.10) define uma medida externa. Isto bastante fcil;
certamente v() = 0. Similarmente se { }

1 i i
A so conjuntos (disjuntos) e { }

1 i
ij
Q uma
cobertura dos A
i
atravs de retngulos abertos ento todos os Q
ij
juntos cobrem A =
U
i
A
i
e
v
*
(A) ( )

j
ij
i
Q v
v
*
(A) ( )
i
i
A v

*




3
Significando nas vizinhanas de K.
15
Portanto temos uma medida externa. Tambm queremos.

Lema 2.9. Se Q retangular ento v
*
(Q)= v(Q).
Supondo isto, a medida definida a partir de v
*
usando o teorema de Caratheodory
denominada medida de Lebesgue.

Proposio 2.10. A medida de Lebesgue uma medida de Borel.
Para provar isto precisamos apenas mostrar que conjuntos retangulares (abertos)
so v
*
-mensurveis.
Suponha que M uma s -algebra no conjunto X
4
e N uma s -algebra em outro conjunto
Y. Um mapeamento f : X ? Y dito ser mensurvel em relao aos dados s -algebras
em X and Y se
(2.11) f
-1
(E) M E N.
Note quanto isto semelhante s caracterizaes da continuidade dos mapas entre
espaos mtricos em termos de conjuntos abertos. De fato esta analogia fornece um
resultado til.

Proposio 2.11. Qualquer mapa continuo f : X ? Y entre espaos mtricos
mensuravel em relao a s-algebras de Borel em X e Y.
Prova. O principal ponto a se observar aqui f
--1
como um mapa nos conjuntos
potncia, muito bem comportado para qualquer mapa. Isto se f : X ? Y ento f
--1
: P
(Y) ? P(X) satisfaz:

f
-1
(E
C
) = (f
-1
(E))
C

( )
U U

,
_

1
1
1
1
j
j
j
j
E f E f
( )
I U

,
_

1
1
1
1
j
j
j
j
E f E f
(2.12)
f
-1
() = , f
-1
(Y) = X

Colocando tudo isto junto podemos ver que se M qualquer s -algebra em X
ento
(2.13) {E ? Y ; f
-1
(E) ? M}
sempre uma s -algebra em Y.
Voltando atrs na prova da proposio, a continuidade f mostra que f
-1
(E) ? X
aberto se E ? Y aberto. Portanto a s -algebra em Y definida por (2.13) a partir da s -
algebra de Borel em X contem todos os conjuntos abertos. Contm portanto a s -algebra
de Borel em Y, i.e.,
f
-1
(B(Y)) ? B(X).



4
Ento X, ou se quiser ser ortodoxo (X, M), freqentemente dito ser um espao
mensurvel.
16
Estamos principalmente interessados em funes em X. Se M uma s -algebra
em X ento f : X ? mensurvel se mensurvel em relao a s -algebrade Borel em
e M em X. Mais geralmente, para funes estendidas f : X ? [-8 , 8 ] tomamos como
o Borel s -algebra no intervalo [-8 , 8 ] a menor s -algebra contendo todos os
subconjuntos abertos de R e todos os conjuntos (a, 8 ] e [-8 ,b); de fato isto e gerado
pelos conjuntos (a, 8 ]. (Veja Problema 6.)
Nossa maior tarefa definir a integral de uma funo mensurvel: iniciamos
com funes simples. Observe que a funo caracterstica de um conjunto.

'

0
1
E
X
E x
E x

mensurvel se e somente se E M. Mais geralmente uma funo simples,
(2.14)

N
i
E i
i
X a f
1


mensurvel se os E
i
so mensurveis. A representao,(2.14),de uma funo simples
no nica. Podemos fazer isto, usando a representao mnima, insistindo que todos os
a
i
no nulos e
E
i
= {x E; f(x) = a
i
}
Ento f em (2.14) mensurvel se todos os E
i
so mensurveis.
17
3. Integrao

A integral- () de uma funo simples no negativa por definio

(3.1) ( )

Y
i
i i
E Y a fd Y M.

Aqui a conveno que se (Y n E
i
) = 8 mas a
i
= 0 ento a
i
(Y n E
i
) = 0.
Claramente esta integral toma valores de [0, 8 ]. Mais significativamente, se c = 0 uma
constante e f e g so duas funes simples no negativas (- mensurveis) ento



Y Y
fd c cfd
( )

+ +
Y Y Y
gd fd d g f
(3.2)
0 f g


Y Y
gd fd

(Veja [1] Proposio 2.13 na pgina 48.)

Para ver isto, observe que (3.1) vlida para qualquer representao (2.14) de f
com todo a
i
= 0. De fato por restrio em E
i
e diviso por a
i
(que pode ser suposto no
nulo) bastante considerar o caso especial

j
F j E
X b X
Os F
j
podem sempre ser escritos como a unio de um nmero finito, N, de
conjuntos mensurveis disjuntos, F
j
= U
lSj
G
l
onde j = 1,..., N e S
j
{1,..., N}. Portanto
( ) ( ) ( ) E G b F b
j
S l
l
j j
j j j

pois
{ }
1
;

j S l j
b
j
para cada j.
A partir disto todas as afirmaes seguem facilmente.

Definio 3.1. Para uma funo estendida no negativa -mensurvel f : X.? [0, 8 ]a
integral (em relao a )sobre qualquer conjunto mensurvel E X

(3.3) {


E E
hd fd sup ; 0 = h = f , h simples e mensurvel}.

Tomando o suprema,

E
fd temos a primeira e ltima propriedades em (3.2).
Tem tambm uma propriedade intermediria, mas esta menos obvia.Para ver isto,
iremos provar o teorema de convergncia monotnica bsico (de Lebesgue). Mas
antes disto vamos observar o significado da integral se anular.

18
Lema 3.2. Se f : X.? [0, 8 ] mensurvel ento 0

E
fd para um conjunto
mensurvel E se e somente se
(3.4) {x E; f (x) > 0} tem medida zero.

Prova. Se (3.4) valida, ento qualquer funo simples positiva limitada acima por f
deve tambm se anular fora de um conjunto de medida zero, portanto sua integral deve
ser zero e portanto 0

E
fd . Inversamente, observe que um conjunto em (3.4) pode
ser escrito como
E
n
=
U
n
{x E; f (x) > 1/n}.
Considerando que este aumenta,se (3.4)no se verificar ento um destes deve ter
medida positiva. Neste caso a funo simples n
-1
?
En
tem integral positiva ou seja
0 >

E
fd .
Observe a diferena fundamental aqui quanto a forma de proceder entre as
integrais de Riemann e Lebesgue.A integral de Lebesgue, (3.3), utiliza aproximao
pelas funes constantes em conjuntos mensurveis bastante difceis, no apenas
intervalos como nas integrais inferior e superior de Riemann.

Teorema 3.3 (Convergncia Monotnica). Seja f
n
uma seqncia crescente de funes
(estendidas) no negativas mensurveis,ento, (x)= lim
n? 8
f
n
(x) mensurvel e
(3.5)

E
n
n E
d f fd lim
para qualquer conjunto mensurvel E X.

Prova. Para ver se f mensurvel, observe que

(3.6) f
-1
(a, 8 ] =
U
n
n
f
1
(a, 8 ].
Desde que os conjuntos (a, 8 ] geram a s -algebra de Borel isto mostra que f
mensurvel.
Portanto vamos proceder na prova da parte principal da proposio, que a
(3.5). Rudin tem uma prova bastante boa disto, [5] pgina 21. Aqui eu vou utilizar tal
prova. Podemos facilmente ver a partir de (3.1) que
a = sup

E
n
d f =

E
n
n
d f lim =

E
n
d f
Dada uma funo simples mensurvel g com 0 = g = f e 0 < c < 1 considere os
conjuntos E
n
= {x E; f
n
(x) = cg(x)}. Estes so mensurveis e crescem com n. Alm
disso E = E
n
.Segue-se
(3.7)

E
n
d f

n
E
n
d f

n
E
gd c = ( )
i n
i
i
F E a

em termos da representao natural de g =
i

a
i
?
Fi
. Agora o fato de que os E
n
so
mensurveis e crescentes em E mostra que
(E
n
n F
i
) ? (E n F
i
)
19
quando n ? 8 .Portanto o lado direito de (3.7) tende para

E
gd c quando n ? 8 .
Portanto a =

E
gd c para todo 0 < c < 1. Tomando o supremo sobre c e depois sobre
todo g mostra-se que
a =

E
n
n
d f lim =

E
gd sup =

E
fd .
Portanto devem ser iguais.
A aditividade em (3.1) para f = 0 and g = 0 segue a partir da:
Proposio 3.4. Para qualquer funo estendida no negativa -mensurvel f : X.?
[0, 8 ] existe uma seqncia crescente f
n
funes simples mensurveis tais que lim
n? 8

f
n
(x) = f (x) para cada x X e este limite uniforme em qualquer conjunto mensurvel
no qual f finito.
Prova. Folland [1] pgina 45 tem uma bela prova. Para cada inteiro n > 0 e 0 = k = 2
2n
-
1, faa
E
n,
k

= {x X; 2
-n
k = f (x) < 2
-n
(k + 1)},
E
n

= {x X; f (x) = 2
n
}
Estes so conjuntos mensurveis. Aumentando n de um, o intervalo na definio
de E
n,k
dividido em dois.Segue-se que a seqncia de funes simples
(3.8)
n n k
E
n
E
k
n
n
X kX f
'
2 2
,
+

crescente e tem limite f , e este limite uniforme em qualquer conjunto mensurvel
onde f finito.
Portanto

E
n n
E
d f fd lim e se f e g so duas funes mensurveis no
negativas ento f
n
(x)+ g
n
(x) ? f + g(x) portanto de fato
( )

+ +
n n E
gd fd d g f .
Como na definio de u
+
feita anteriormente, isto nos permite de estender a
definio de integral para qualquer funo integrvel.

Definio 3.5. Uma funo mensurvel estendida f : X.? [-8 , 8 ] dita ser integrvel
em E se suas partes positivas e negativas ambas tem uma integral finita sobre E, e
ento

+

E E E
d f d f fd
Observe que se f - integrvel ento portanto tambm |f | integrvel. Um dos
objetos que queremos estudar o espao das funes integrveis. O fato de que a
integral de |f | pode se anular nos encoraja a olhar o que antes parecia um objeto muito
mais complicado. Consideramos uma relao equivalente entre duas funes integrveis
(3.9) f
1
= f
2
({x X; f
1
(x) f
2
(x)})=0.

Ou seja, identificamos duas funes como sendo iguais se tiverem medida zero.
Claramente se f
1
= f
2
neste sentido ento

0
2 1


X X
d f d f ,


X X
d f d f
2 1


20
Uma condio necessria para uma funo mensurvel f = 0 ser integrvel
{x X; f (x)= 8} =0.
Deixe E ser o conjunto (necessariamente mensurvel) onde f = 8 . De fato, se este no
tiver medida zero, ento a seqncia de funes simples n
?E
= f tem uma representante
que uma funo honesta, ou seja, finita em qualquer lugar. Se f um representante
ento
( )
( )

'

0
'
x f
x f
E x
E x

tambm um representante.
Iremos denotar por L
1
(X, ) o espao constitudo por tais classes equivalentes de
funes integrveis. Este um espao linear normalizado conforme ser pedido para
mostrar no Problema 11.
O teorema de convergncia monotnica freqentemente ocorre em uma forma
um pouco diferente do Fatous Lema.
Lema 3.6 (Fatou). Se f
k
uma seqncia de funes integrveis no negativas ento
d f d f
n
n
n
n


inf lim inf lim .
Prova. Faa F
k
(x) = inf
n=k
f
n
(x). Portanto F
k
uma seqncia crescente de funes no
negativas com funo limite lim inf
n? 8
f
n
e F
k
(x) = f
n
(x) n = k.Pelo teorema da
convergncia monotnica
( )


d f d x F d f
n
n
n
k
n
n
inf lim lim inf lim .
Podemos ulteriormente estender a integral para as funes de valor complexo,
apenas dizendo que
f : X ? C
integrvel se suas partes real e imaginaria so ambas integrveis. Ento por definio,


fd i fd fd
E E E

+ Im Re

para qualquer E X mensurvel. Segue-se que se f integrvel ento tambm |f | .
Alm disso

d f fd
E e

.

Isto bvio se 0

E
fd , caso contrrio ento:

0 Re >

R fd
i
E

, [ ) 2 , 0 .

Ento

E
i
E
fd e fd

E
i
fd e

21
( )

E
i
d f e

Re
( )

E
i
d f e

Re



E E
i
d f d f e

.
O outro importante resultado para integrais o teorema de convergncia
dominante de Lebesgue.
Teorema 3.7. Se f
n
uma seqncia de funes integrveis, f
k
? f a.e.
5
e |f
n
| = g para
algum g integrvel ento f integrvel e


d f fd
n
n
lim .
Prova. Primeiramente fazemos convergir a seqncia f
n
(x) mudando todos os f
n
(x)s
para zero em um conjunto de medida zero externo convergncia destes ltimos. Isto
no muda as concluses. Alm disso, suficiente supor que os f
n
so reais. Ento
considere
h
k
= g - f
k
= 0.
Agora, lim inf
k? 8
h
k
= g - f pela convergncia de f
n
; em particular f integrvel.
Pela convergncia monotnica e lema de Fatou
( ) ( ) d f g d h d f g
k k
k



inf lim


d f gd
k
k
sup lim .
Analogamente, se H
k
= g + f
k
ento
( )


+ + d f gd d H d f g
k
k
k
k
inf lim inf lim
Segue-se que



d f fd d f
k
k
k
k
inf lim sup lim

Portanto

fd d f
k

Tendo provado o teorema de Lebesgue da convergncia dominante,vamos
mostrar algo de certa importncia. Como anteriormente, seja a medida positiva em X.
Temos definido L
1
(X, );deixe- me considerar o espao mais geral L
p
(X, ). Uma funo
mensurvel
f : X ? C
dita ser L
p
, par 1 = p < 8 , se |f |
p
integrvel
6
, ou seja,
<

. X
p
d f

Como anteriormente consideramos classes equivalentes de tais funes sob a
relao de equivalncia A
(3.10) f ~ g {x; (f - g)(x). 0} = 0.
Representamos por L
p
(X, )o espao de tais classes equivalentes. um espao linear e a
funo
(3.11) ( )
p
X
p
p
d f f
1

22
uma norma (sempre supomos 1 = p< 8 , as vezes p = 1 excludo mas p = 8 is
permitido). fcil verificar tudo a menos a desigualdade do triangulo.Para isto
iniciamos com

Lemma 3.8. Se a = 0, b = 0 e 0 < ? < 1 ento
(3.12) a
?
b
?-1
= ?a + (1. ?)b
com igualdade somente quando a = b.

Prova. Se b = 0 fcil. Portanto suponha b > 0 e divida por b. Fazendo t = a/b temos
que mostrar
(3.13) t
?
?
t
+ 1 ?, 0 t, 0 < ? < 1.



5
Significa complemento se um conjunto tem medida zero.
6
Verifica que |f |
p
automaticamente mensurvel.
23
3. Integrao

A integral- () de uma funo simples no negativa por definio

(3.1) ( )

Y
i
i i
E Y a fd Y M.

Aqui a conveno que se (Y n E
i
) = 8 mas a
i
= 0 ento a
i
(Y n E
i
) = 0.
Claramente esta integral toma valores de [0, 8 ]. Mais significativamente, se c = 0 uma
constante e f e g so duas funes simples no negativas (- mensurveis) ento



Y Y
fd c cfd
( )

+ +
Y Y Y
gd fd d g f
(3.2)
0 f g


Y Y
gd fd

(Veja [1] Proposio 2.13 na pgina 48.)

Para ver isto, observe que (3.1) vlida para qualquer representao (2.14) de f
com todo a
i
= 0. De fato por restrio em E
i
e diviso por a
i
(que pode ser suposto no
nulo) bastante considerar o caso especial

j
F j E
X b X
Os F
j
podem sempre ser escritos como a unio de um nmero finito, N, de
conjuntos mensurveis disjuntos, F
j
= U
lSj
G
l
onde j = 1,..., N e S
j
{1,..., N}. Portanto
( ) ( ) ( ) E G b F b
j
S l
l
j j
j j j

pois
{ }
1
;

j S l j
b
j
para cada j.
A partir disto todas as afirmaes seguem facilmente.

Definio 3.1. Para uma funo estendida no negativa -mensurvel f : X.? [0, 8 ]a
integral (em relao a )sobre qualquer conjunto mensurvel E X

(3.3) {


E E
hd fd sup ; 0 = h = f , h simples e mensurvel}.

Tomando o suprema,

E
fd temos a primeira e ltima propriedades em (3.2).
Tem tambm uma propriedade intermediria, mas esta menos obvia.Para ver isto,
iremos provar o teorema de convergncia monotnica bsico (de Lebesgue). Mas
antes disto vamos observar o significado da integral se anular.

24
Lema 3.2. Se f : X.? [0, 8 ] mensurvel ento 0

E
fd para um conjunto
mensurvel E se e somente se
(3.4) {x E; f (x) > 0} tem medida zero.

Prova. Se (3.4) valida, ento qualquer funo simples positiva limitada acima por f
deve tambm se anular fora de um conjunto de medida zero, portanto sua integral deve
ser zero e portanto 0

E
fd . Inversamente, observe que um conjunto em (3.4) pode
ser escrito como
E
n
=
U
n
{x E; f (x) > 1/n}.
Considerando que este aumenta,se (3.4)no se verificar ento um destes deve ter
medida positiva. Neste caso a funo simples n
-1
?
En
tem integral positiva ou seja
0 >

E
fd .
Observe a diferena fundamental aqui quanto a forma de proceder entre as
integrais de Riemann e Lebesgue.A integral de Lebesgue, (3.3), utiliza aproximao
pelas funes constantes em conjuntos mensurveis bastante difceis, no apenas
intervalos como nas integrais inferior e superior de Riemann.

Teorema 3.3 (Convergncia Monotnica). Seja f
n
uma seqncia crescente de funes
(estendidas) no negativas mensurveis,ento, (x)= lim
n? 8
f
n
(x) mensurvel e
(3.5)

E
n
n E
d f fd lim
para qualquer conjunto mensurvel E X.

Prova. Para ver se f mensurvel, observe que

(3.6) f
-1
(a, 8 ] =
U
n
n
f
1
(a, 8 ].
Desde que os conjuntos (a, 8 ] geram a s -algebra de Borel isto mostra que f
mensurvel.
Portanto vamos proceder na prova da parte principal da proposio, que a
(3.5). Rudin tem uma prova bastante boa disto, [5] pgina 21. Aqui eu vou utilizar tal
prova. Podemos facilmente ver a partir de (3.1) que
a = sup

E
n
d f =

E
n
n
d f lim =

E
n
d f
Dada uma funo simples mensurvel g com 0 = g = f e 0 < c < 1 considere os
conjuntos E
n
= {x E; f
n
(x) = cg(x)}. Estes so mensurveis e crescem com n. Alm
disso E = E
n
.Segue-se
(3.7)

E
n
d f

n
E
n
d f

n
E
gd c = ( )
i n
i
i
F E a

em termos da representao natural de g =
i

a
i
?
Fi
. Agora o fato de que os E
n
so
mensurveis e crescentes em E mostra que
(E
n
n F
i
) ? (E n F
i
)
25
quando n ? 8 .Portanto o lado direito de (3.7) tende para

E
gd c quando n ? 8 .
Portanto a =

E
gd c para todo 0 < c < 1. Tomando o supremo sobre c e depois sobre
todo g mostra-se que
a =

E
n
n
d f lim =

E
gd sup =

E
fd .
Portanto devem ser iguais.
A aditividade em (3.1) para f = 0 and g = 0 segue a partir da:
Proposio 3.4. Para qualquer funo estendida no negativa -mensurvel f : X.?
[0, 8 ] existe uma seqncia crescente f
n
funes simples mensurveis tais que lim
n? 8

f
n
(x) = f (x) para cada x X e este limite uniforme em qualquer conjunto mensurvel
no qual f finito.
Prova. Folland [1] pgina 45 tem uma bela prova. Para cada inteiro n > 0 e 0 = k = 2
2n
-
1, faa
E
n,
k

= {x X; 2
-n
k = f (x) < 2
-n
(k + 1)},
E
n

= {x X; f (x) = 2
n
}
Estes so conjuntos mensurveis. Aumentando n de um, o intervalo na definio
de E
n,k
dividido em dois.Segue-se que a seqncia de funes simples
(3.8)
n n k
E
n
E
k
n
n
X kX f
'
2 2
,
+

crescente e tem limite f , e este limite uniforme em qualquer conjunto mensurvel
onde f finito.
Portanto

E
n n
E
d f fd lim e se f e g so duas funes mensurveis no
negativas ento f
n
(x)+ g
n
(x) ? f + g(x) portanto de fato
( )

+ +
n n E
gd fd d g f .
Como na definio de u
+
feita anteriormente, isto nos permite de estender a
definio de integral para qualquer funo integrvel.

Definio 3.5. Uma funo mensurvel estendida f : X.? [-8 , 8 ] dita ser integrvel
em E se suas partes positivas e negativas ambas tem uma integral finita sobre E, e
ento

+

E E E
d f d f fd
Observe que se f - integrvel ento portanto tambm |f | integrvel. Um dos
objetos que queremos estudar o espao das funes integrveis. O fato de que a
integral de |f | pode se anular nos encoraja a olhar o que antes parecia um objeto muito
mais complicado. Consideramos uma relao equivalente entre duas funes integrveis
(3.9) f
1
= f
2
({x X; f
1
(x) f
2
(x)})=0.

Ou seja, identificamos duas funes como sendo iguais se tiverem medida zero.
Claramente se f
1
= f
2
neste sentido ento

0
2 1


X X
d f d f ,


X X
d f d f
2 1


26
Uma condio necessria para uma funo mensurvel f = 0 ser integrvel
{x X; f (x)= 8} =0.
Deixe E ser o conjunto (necessariamente mensurvel) onde f = 8 . De fato, se este no
tiver medida zero, ento a seqncia de funes simples n
?E
= f tem uma representante
que uma funo honesta, ou seja, finita em qualquer lugar. Se f um representante
ento
( )
( )

'

0
'
x f
x f
E x
E x

tambm um representante.
Iremos denotar por L
1
(X, ) o espao constitudo por tais classes equivalentes de
funes integrveis. Este um espao linear normalizado conforme ser pedido para
mostrar no Problema 11.
O teorema de convergncia monotnica freqentemente ocorre em uma forma
um pouco diferente do Fatous Lema.
Lema 3.6 (Fatou). Se f
k
uma seqncia de funes integrveis no negativas ento
d f d f
n
n
n
n


inf lim inf lim .
Prova. Faa F
k
(x) = inf
n=k
f
n
(x). Portanto F
k
uma seqncia crescente de funes no
negativas com funo limite lim inf
n? 8
f
n
e F
k
(x) = f
n
(x) n = k.Pelo teorema da
convergncia monotnica
( )


d f d x F d f
n
n
n
k
n
n
inf lim lim inf lim .
Podemos ulteriormente estender a integral para as funes de valor complexo,
apenas dizendo que
f : X ? C
integrvel se suas partes real e imaginaria so ambas integrveis. Ento por definio,


fd i fd fd
E E E

+ Im Re

para qualquer E X mensurvel. Segue-se que se f integrvel ento tambm |f | .
Alm disso

d f fd
E e

.

Isto bvio se 0

E
fd , caso contrrio ento:

0 Re >

R fd
i
E

, [ ) 2 , 0 .

Ento

E
i
E
fd e fd

E
i
fd e

27
( )

E
i
d f e

Re
( )

E
i
d f e

Re



E E
i
d f d f e

.
O outro importante resultado para integrais o teorema de convergncia
dominante de Lebesgue.
Teorema 3.7. Se f
n
uma seqncia de funes integrveis, f
k
? f a.e.
5
e |f
n
| = g para
algum g integrvel ento f integrvel e


d f fd
n
n
lim .
Prova. Primeiramente fazemos convergir a seqncia f
n
(x) mudando todos os f
n
(x)s
para zero em um conjunto de medida zero externo convergncia destes ltimos. Isto
no muda as concluses. Alm disso, suficiente supor que os f
n
so reais. Ento
considere
h
k
= g - f
k
= 0.
Agora, lim inf
k? 8
h
k
= g - f pela convergncia de f
n
; em particular f integrvel.
Pela convergncia monotnica e lema de Fatou
( ) ( ) d f g d h d f g
k k
k



inf lim


d f gd
k
k
sup lim .
Analogamente, se H
k
= g + f
k
ento
( )


+ + d f gd d H d f g
k
k
k
k
inf lim inf lim
Segue-se que



d f fd d f
k
k
k
k
inf lim sup lim

Portanto

fd d f
k

Tendo provado o teorema de Lebesgue da convergncia dominante,vamos
mostrar algo de certa importncia. Como anteriormente, seja a medida positiva em X.
Temos definido L
1
(X, );deixe- me considerar o espao mais geral L
p
(X, ). Uma funo
mensurvel
f : X ? C
dita ser L
p
, par 1 = p < 8 , se |f |
p
integrvel
6
, ou seja,
<

. X
p
d f

Como anteriormente consideramos classes equivalentes de tais funes sob a
relao de equivalncia A
(3.10) f ~ g {x; (f - g)(x). 0} = 0.
Representamos por L
p
(X, )o espao de tais classes equivalentes. um espao linear e a
funo
(3.11) ( )
p
X
p
p
d f f
1

28
uma norma (sempre supomos 1 = p< 8 , as vezes p = 1 excludo mas p = 8 is
permitido). fcil verificar tudo a menos a desigualdade do triangulo.Para isto
iniciamos com

Lemma 3.8. Se a = 0, b = 0 e 0 < ? < 1 ento
(3.12) a
?
b
?-1
= ?a + (1. ?)b
com igualdade somente quando a = b.

Prova. Se b = 0 fcil. Portanto suponha b > 0 e divida por b. Fazendo t = a/b temos
que mostrar
(3.13) t
?
?
t
+ 1 ?, 0 t, 0 < ? < 1.



5
Significa complemento se um conjunto tem medida zero.
6
Verifica que |f |
p
automaticamente mensurvel.
A funo f(t)= t
?
. ?
t
diferencivel para t > 0 com derivada 1
1 -
t

,que
positiva para t < 1. Portanto f (t) = f (1) com igualdade somente para t = 1. Desde que f
(1) = 1 - ?, isto a (3.13), provando o lema.
Utilizamos isto para provar a desigualdade de Hlder

Lema 3.9. Se f e g so mensurveis ento
(3.14)
q p
g f fgd

para qualquer 1 < p < 8 , com 1
1 1
+
q p
.
Prova.Se .||f ||
p

= 0 ou ||g.||
q

= 0 o resultado trivial. Portanto considere
( )
p
p
f
x f
a ,
( )
q
q
g
x g
b
e aplicando (3.12) com ? =
p
1
. Isto fornece
( ) ( ) ( ) ( )
q
q
q
p
p
p
q p
g q
x g
f p
x f
g f
x g x f
+ .

Integrando sobre X encontramos
( ) ( )

X
q p
d x g x f
g f

1

1
1 1
+
q p
.
Desde que


X X
d fg fgd isto implica (3.14).
A ltima desigualdade que precisamos a Minkowski
29

Proposio 3.10. Se 1 < p < 8 e f , g L
p
(X, ) ento
(3.15) ||f + g||
p

=.||f ||
p

+ ||g.||
p.

Prova. O caso p = 1 j fizemos. tambm bvio se f + g = 0. Se no podemos escrever
|f + g|
p
= (|f | + |g|) |f + g|
p - 1

e aplicando a desigualdade de Hlder,no lado direito e expandindo,
( )
q p
p
g f g f + +

,
( ) q p q
d g f
1
1

,
_

.

Desde que q(p. 1) = p e
p
q
1
1
1 esta justamente a (3.15).

Portanto, agora sabemos que L
p
(X, ) um espao normalizado para 1 = p < 8 .
Em particular um espao mtrico. Uma importante propriedade adicional que um
espao mtrico tem a completividade, significando que toda seqncia de Cauchy
convergente.

Definio 3.11. Um espao normado em que o espao mtrico completo
denominado espao de Banach.

Teorema 3.12. Para qualquer espao mensurvel (X, M, ) os espaos L
p
(X, ), 1 = p <
8 , so espaos de Banach.

Prova. Precisamos mostrar que uma dada seqncia de Cauchy {f
n
} converge em L
p
(X,
). suficiente mostrar que tem uma subseqncia convergente. Pela propriedade de
Cauchy, para cada k n = n(k) s.t.
(3.16) ||f
n
. f l .||
p

= 2
-k
l = n.

Considere a seqncia
g
1
= f
1
, g
k
= f
n(k) -
f
n(k- 1)
, k > 1.

Pela (3.16),.||g
k
||
p
= 2
-k
, para k > 1, portanto a srie
k
||g
k
||
p
converge, digamos para B<
8 . Agora faa
( ) ( )

n
k
k n
x g x h
1
, n 1, h(x) = ( )

1 k
k
x g .
Ento pelo teorema da convergncia monotnica
p
p
X
n
n X
p
B d h d h


lim
onde utilizamos a desigualdade de Minkowski. Portanto h ? L
p
(X, ), e a srie
( ) ( )

1 k
k
x g x f

converge (absolutamente) em quase toda parte. Desde que
30
( )
p
p
n
k
k
n
p
h g x f

1
lim
com h
p
? L
.
(X, ), o teorema da convergncia dominante aplica-se e mostra que f ?
L
p
(X, ). Alm disso,
( )
( )
( ) x f x g
l n
l
k
k

1
e ( )
( )
( ) ( ) ( )
p
p
l n
x h x f x f 2

e ainda pelo teorema da convergncia dominante,
( )
( )
( ) 0

p
X
l n
x f x f


Portanto a sub- seqncia f
n(l)
? f in L
p
(X, ), provando a sua completividade.

A seguir quero voltar ao nosso ponto inicial e discutir o teorema da
representao de Riesz. Existem dois importantes resultados na teoria das medidas que
no foram cobertos. A maior parte deste tpico ser desenvolvido,por vocs nos
problemas, mais precisamente o teorema da decomposio de Hahn e o teorema de
Radon-Nikodym.Para o momento precisamos somente do primeiro.
Ento,considere um espao mtrico localmente compacto, X. A medida de Borel
sobre X, ou a medida assinada por Borel uma funo dos conjuntos de Borel e
representada por

: B(X) ?

que dada pela diferena de duas medidas finitas positivas de Borel
(3.17) (E)=
1
(E).
2
(E).

Similarmente diremos que Radon, ou um medida assinada por Radon, se
pode ser escrita como uma diferena, com ambos,
1
e
2
medidas finitas de Radon.
Veja os problemas abaixo para uma discusso deste ponto.
Seja M (X) a representao do conjunto de medidas finitas de Radon sobre X.
Este um espao normalizado com
(3.18) ||||
1

= inf(
1
(X)+
2
(X))
com o nfimo sobre todas as decomposies de Radon (3.17). Cada medida assinada por
Radon define um funcional linear continuo em C
0
(X):
(3.19) d : C
0
(X) f .?
x
f d

Teorema 3.13 (Representao de Riesz.). Se X um espao mtrico localmente
compacto ento todo funcional continuo linear em C
0
(X) dado por uma nica medida
de Radon finita em X atravs (3.19).
Portanto o espao dual de C
0
(X) M (X) pelo menos isto como tal resultado
geralmente interpretado
(3.20) ((C
0
(X))
.
= M (X),
veja as observaes seguindo a prova.

31
Prova. Fizemos a metade disto at agora. Vamos lembrar os passos.
Iniciamos com u ((C
0
(X))
.
e mostramos que u = u
+
- u. onde u

so funcionais
contnuos lineares positivos ; este o Lema 1.5. Ento mostramos que u = 0 define uma
medida finita positive de Radon . Aqui definido pela (1.11) em conjuntos abertos e
(E)= .(E) dado pela (1.12) sobre conjuntos gerais de Borel. Isto finito pois
(3.21) (X) = sup {u(f ); 0 = f = 1, supp f . X f C(X)}
=.||u||.
A partir da Proposio 2.8 conclumos que uma medida de Radon. Desde que
este argumento aplica-se a u

obtemos duas medidas finitas positivas de Radon

e
portanto uma medida assinada Radon
(3.22) =
+
-
-
M (X)

Nos problemas que voc provavelmente ir provar o teorema da decomposio
de Hahn, em particular o Problema 14 ser pedido para mostrar que a (3.22) um
decomposio de Hahn de
-
. Isto significa que existe um conjunto de Borel E X tal
que
-
.(E) = 0,
+
(X \ E) = 0.
O que temos definido um mapeamento linear
(3.23) ((C
0
(X))

? M (X), u ? .
Queremos mostrar que isto um isomorfismo.
Primeiro mostramos que 1 - 1. Suponha = 0. Dada a unicidade da
decomposio Hahn isto implica que
+
=
-
. = 0. Portanto podemos supor que u = 0
and =
+
= 0 e temos que mostrar que u = 0;isto bvio pois

(X) = sup {u(f ); supp u X, 0 = f = 1 f C(X)} = 0
(3.24)
u(f ) = 0 para todo f no intervalo acima

Se 0 = f C(X) e supp f X ento f = f / ||f||

deste tipo e portanto u(f ) = 0

para todo 0 = f C(X) de suporte compacto. A partir da decomposio de funes
continuas em partes positiva e negativa segue-se que u(f ) = 0 para todo f do suporte
compacto. Finalmente C
0
(X) o fechamento do espao das funes continuas do
suporte compacto devido a continuidade dei u, u =0.
Portanto resta mostrar que toda medida finita Radon em X provem da (3.23).
Fazemos isto comeando de e construindo u. Mais uma vez utilizamos a
decomposio de Hahn de , como em (3.22)
7
. Portanto supomos = 0 e construimos u.
bvio o que queremos,
(3.25) ( )

X
fd f u , ( ) X C f
c
.
Aqui precisamos chamar a partir da Proposition 2.11 que funes continuas em X,um
espao mtrico localmente compacto, so mensurveis (Borel). Alm disto , sabemos
que existe uma seqncia crescente de funes simples com limite f, tal que
(3.26) ( )

f X fd
X


Isto mostra que u em (3.25) continua e que sua norma .u.= (X). De fato
(3.27).||u||. = (X).

32
De fato a regularidade interna implica que existe um conjunto compacto K
X com (K) = (X).
n
1
;ento existe f C
c
(X) com 0 = f = 1 e f = 1 em K. Segue-se
que (f ) = (K) = (X)
n
1
, para qualquer n. Isto prova (3.27).
Ns ainda temos que mostrar que se u definido por (3.25), com uma medida
finita positiva Radon, ento a medida definida a partir de u via (3.25) precisamente
o prprio .
Isto facilmente provado. Comeando a partir de = 0 uma medida finita
Radon, defina u pela (3.25) e, para U X aberto (3.28)
( ) {

X
fd U sup
~
, 1 0 f , ( ) X C f , supp ( ) } K f

Pelas propriedades da integral,
~
(U) = (U). Ao invs se K U existe um
elemento f C
c
(X), 0 = f = 1, f = 1em K e supp(f) U. Ento sabemos que
(3.29) ( ) ( ) K fd U
X

~

Pela regularidade interna de , podemos escolher K U tal que (K) = (U) -
, dado > 0. Portanto ( ) ( ) U U
~
= (U).
Isto prova o teorema da representao de Riesz. O mdulo referente a
decomposio da medida- ser dado em classe se houver interesse! Do meu ponto de
vista, isto , mais que suficiente no estudo da teoria das medidas.
Observe que temos provado algo mais forte do que o enunciado do teorema.
Mais precisamente temos mostrado que sob a correspondncia u ? ,
(3.30) ||u.|| = || (X) =: ||||
1
.
Portanto o mapa uma isometria.



















7
Na realidade podemos tornar qualquer decomposio (3.22) uma diferena de medidas
positivas Radon.
33
4. Espao de Hilbert

Temos provado que L
p
(X, ) um espao Banach - um espao completamente
normado. A seguir irei discutir a classe dos espaos de Hilbert, uma classe especial dos
espaos Banach, da qual L
2
(X, ) um exemplo padro,em que a norma provem de um
produto escalar(produto interno), justamente como ocorre no espao Euclidiano.
Um produto escalar em um espao vetorial V em uma forma sesquilinear
V V ?
escrito (u, v), se u, v V. A parte sesqui- justamente a linearidade na primeira
varivel
(4.1) (a
1
u
1
+ a
2
u
2
, v) = a
1
(u
1
, v)+ a
2
(u
2
, v),

anti- linearidade na segunda
(4.2) (u, a
1
v
1
+ a
2
v
2
)= a
1
(u, v
1
)+ a
2
(u, v
2
)

e a condio de conjunto
(4.3) (u, v) = (v, u)

Observe que (4.2) segue a partir de (4.1) e (4.3). Se, alm disso, supormos a
condio de positividade
8

(4.4) (u, u) = 0, (u, u) = 0 u = 0,
ento
(4.5) ||u|| =(u, u)
1/2

uma norma em V, como iremos ver.
Suponha que u, v V tem ||u|| = || v|| = 1. Ento (u, v)= e
i?
|(u, v)| para algum ?
. Pela escolha de ?, e
-i?
(u, v) = |(u, v)| real, portanto expandindo utilizando a
linearidade de s ,
0 = (e
-i
u - sv, e
-i
u - sv)
= ||u|| - 2s Re e
-i
(u, v)+ s
2
||v||
2
= 1 - 2s|(u, v)| + s
2
.
O mnimo disso ocorre quando s = |(u, v)| isto negativo a menos que |(u, v)| =
1. Usando linearidade, e checando os casos triviais u = ou v = 0 mostra-se que
(4.6) |(u, v)| = ||u|| ||v||, u, v V

Isto chamada de desigualdade de Schwarz
9

Usando a desigualdade de Schwarz

||u + v||
2
= .||u||
2
+(u, v) + (v, u) + .||v||
2

= (||u|| + ||v||)
2

||u|| + ||v|| = ||u|| + ||v|| u, v ? V
que a desigualdade do triangulo.

Definio 4.1. Um espao de Hilbert um espao de vetores de V com um produto
escalar satisfazendo (4.1) -(4.4) que completo como um espao normalizado (ou seja
., um espao de Banach).
34
Portanto j mostramos que L
2
(X, ) um espao de Hilbert para qualquer medida
positiva . O produto interno ou escalar
(4.7) (f , g) =

X
d g f ,
e portanto a (4.3) fornece ||f ||
2
.
Uma outra importante identidade valida em qualquer espao de produtos
escalares a lei do paralelogramo:
(4.8) ||u + v||
2
+ ||u v||
2
= 2||u||
2
+2||v||
2
.
Isto pode ser usado para provar o bsico teorema da existncia na teoria do
espao de Hilbert.

Lema 4.2. Seja C H,no espao de Hilbert, fechado e convexo (ou seja, su + (1 - I)v
C if u, v C e 0 < s < 1). Ento C contm um nico elemento de menor..

Prova . Podemos certamente escolher uma seqncia u
n
C tal que
||u
n
|| ? d = inf {||v||; v C}.

Pela lei do paralelogramo,
||u
n
u
m
||
2
= 2||u
n
||
2
+ 2||u
m
||2 - ||u
n
+ u
m
||
2

2(||u
n
||
2
+ ||u
m
||
2
) - 4
2

onde usamos o fato que (u
n
+ u
m
)/2 C e portanto deve ter uma norma de pelo menos d.
Portanto {u
n
} uma seqncia de Cauchy, e portanto convergente pela hiptese de
completividade de H. Ento lim u
n
= u C (pois suposto fechado) e pela desigualdade
do triangulo
| ||u
n
|| - ||u|| | = ||u
n
u|| ? 0

Portanto ||u|| = d. A unicidade de u segue ainda a partir da lei do paralelogramo que
mostra que se ||u|| = d ento
||u u|| = 2d
2
4||(u + u)/2||
2
= 0.

O fato fundamental relativo ao espao de Hilbert que cada elemento v H
define um funcional continuo linear por
H u ? (u, v)
E inversamente todo funcional continuo linear provem desta forma.

Proposio 4.3. Se L : H ? um funcional continuo linear no espao de Hilbert
ento este um elemento nico v H tal que
(4.9) Lu = (u, v) u H,

Prova. Considere o espao linear
M = {u H ; Lu =0}




8
Observe que (u, u) real pela (4.3).
9
No tem t neste Schwarz.
35
O espao nulo de L,um funcional continuo linear em H. Pela suposta
continuidade, M fechado. Podemos supor que L no identicamente (pois teramos v
= 0 em (4.9)). Portanto existe w M . Considere
w + M = {v H; v = w + u, u M}.

Este um subconjunto convexo de H. Aplicando o Lema 4.2 possue um
nico elemento menor, v w + M . Desde que v minimize a norma em w +
M,
||v + su||
2
= ||v||
2
+ 2 Re(su, v)+ ||s||
2
||u||
2


estacionrio em s = 0. Portanto Re(u, v) = 0 u M, e o mesmo
argumento com s substitudo mostra que (v, u) = 0 u M.
Agora v w + M, portanto Lv = Lw 0. Considere o elemento w =
w/Lw H. Sendo Lw. = 1, Para qualquer u H
L(u - (Lu)w) = Lu - Lu = 0.
Segue-se que u - (Lu)w M e se w = w
.
/ ||w||
2

(u, w) = ((Lu)w, w) =
( )
2
'
" , '
w
w w
Lu = Lu.
A unicidade de v segue da positividade da norma.

Corolrio 4.4. Para qualquer medida positiva , qualquer funcional
continuo linear
L : L
2
(X, ) ?
da forma

X
d g f Lf , ( ) ,
2
X L g
Observe a evidente potncia do raciocnio abstrato aqui! Embora
nos possa parecer que construmos g do nada, sua existncia segue a partir
da completividade de L
2
(X, ), mas isto muito conveniente para expressar
o argumento de forma abstrata para um espao de Hilbert genrico.
36
5. Funes teste

At agora estivemos tratando intensivamente com a integrao. Uma
coisa que temos visto que , considerando espaos duais, podemos pensar
as funes como funcionais. Vamos rever brevemente esta idia.
Considere a bola unitria em ,
= {x R
n
; |x|= 1}.
Considero a bola unitria fechada pois quero tratar com um espao
mtrico compacto.Temos tratado com diversos espaos Banach de funes
em , por exemplo:
C( = {u : ? ; u contnuo}

L
2
( )= {u : ? ; Borel mensurvel com |u|
2
dx < 8 }

Aqui, como tambm no que segue, dx a medida de Lebesgue e as funes so
identificadas se forem iguais em quase toda parte.
Sendo compacto temos uma incluso natural
(5.1) C( ) ? L
2
( ).
Esta tambm uma incluso topolgica , ou seja um mapeamento linear limitado, pois
(5.2) ||u||
L
2

= C||u||

onde C2 o volume da bola unitria.
Em geral se tivermos tais condies ento

Lema 5.1. Se V.? U um sub espao com a mais forte norma,
||||
u
C ||||
V
V

ento a restrio fornece um mapeamento linear continuo
(5.3) U ? V, U L ? L
~
= L|
V
V, || L
~
||
V
= C ||L||
U


Se V denso em U ento o mapa (5.3) injetivo.


Prova. Pela definio da norma dual

( ) { v L L
V
~
sup
~
'
; 1
V
v , } V v
( ) { v L
~
sup ; C v
U
, } V v
( ) { u L sup ; C u
U
, } U u
' U
L C

37
Se V U denso ento o desaparecimento de L : U ? em V implica no seu
desaparecimento em U.

Voltando para o caso particular (5.1) obtivemos de fato um mapa continuo entre
os espaos duais
( ) ( ) ( ) ( ) ( ) ( )
n n n n
B M B C B L B L ' '
2 2

Aqui usamos o teorema da representao de Riesz e a dualidade para os espaos de
Hilbert. O mapa utilizado aqui suposto ser linear e no antilinear ou seja,
(5.4) ( ) ( ) ( )'
2
n n
B C gdx g B L

Portanto a idia fazer o espao das funes teste to pequeno quanto for
razoavelmente Possvel, enquanto ainda se retm a densidade em espaos razoveis.
Lembre que uma funo u : ? diferenvel em x se existe a
n
tal
que
(5.5) |u(x) - u( x ) - a (x - x )| = o(|x - x |).

A notao o pequeno utilizada aqui significa que dado .> 0 existe d > 0 s.t.
|x - x | < d |u(x) - u( x ) - a(x - x )| < |x - x |.

Os coeficientes de a = (a
1
,..., a
n
) so derivadas parciais u em x ,

( ) x
x
u
a
j
i

desde que (5.6)
( ) ( )
t
x u te x u
a
i
t
i
+

lim ,


e
i
= (0,..., 1, 0,..., 0) sendo o i-simo vetor base. A funo u dita ser continuamente
diferenvel em se for diferenvel em cada ponto x e cada das n derivadas
parciais so continuas,
(5.7) C R
x
u
n
i

:
Definio 5.2. Seja
1
0
C ( ) o subespao de C
0
( ) =
0
0
C ( ) tal que cada conjunto
1
0
C ( ) continuamente diferenvel e
i
x
u

C
0
( ), j =1,..., n.
Proposio 5.3. A funo

+
n
i
C
x
u
u u
1 1
1

uma norma em
1
0
C ( ) que considerado um espao de Banach.

38
Prova.. Que || ||
C
1

uma norma segue a partir das propriedades de || ||

. Mais
precisamente ||u||
C
1
= 0 certamente implica em u = 0, ||au||
C
1
.= |a| ||u||
C
1
e a desigualdade
do triangulo segue a partir da mesma desigualdade para || ||

.
Similarmente, a principal parte da completividade de
1
0
C ( ) segue a partir da
completividade
0
0
C ( ). Se {u
n
} uma seqncia de Cauchy em
1
0
C ( ) ento u
n
e
i
n
x
u

so Cauchy em
0
0
C ( ). Segue que existem limites destas seqncias,
v u
n
,

j
i
n
v
x
u

0
0
C ( )
Contudo temos que verificar se v continuamente diferenvel e que
j
j
v
x
v

Uma forma de fazer isto utilizar o teorema fundamental de calculo em cada
varivel. Portanto
( ) ( ) ( ) x u ds se x
x
u
te x u
n i
t
j
n
i n
+ +

+

0


Quanto n ? 8 todos os termos convergem e portanto,pela continuidade da integral,
( ) ( ) ( ) x u ds se x v te x u
i
t
j i
+ + +

0


Isto mostra que o limite na (5.6) existe, portanto v
i
( x ) derivada parcial de u em
relao a x
i
. Resta somente mostrar que u de fato diferenvel em cada ponto e isto eu
deixo para voc Problema 17.
Portanto,quase por definio, temos um exemplo do Lema 5.1,
1
0
C ( ) ?
0
0
C ( ). Portanto sabemos que
(
0
0
C ( ))
.
? (
1
0
C ( ))
e esperamos que seja injetiva. Portanto existem mais funcionais em
1
0
C ( ) incluindo
coisas que so mais singularidades que medidas.
Um exemplo relacionado com o delta de Dirac
d( x )(u)= u( x ), u
0
0
C ( ),
mais precisamente
1
0
C ( ) u ( ) x
x
u
j

Este claramente um funcional continuo linear para o qual suficiente indicar
( ) x
x
u
j

.
Porque paramos em uma derivada?


Definio 5.4. O espao
k
C
0
( )
1
0
C ( ) k = 1 definido indutivamente
requerendo que
39
j
x
u

1
0
k
C ( ), j = 1, , n.

A norma em
k
C
0
( ) tomada para ser

(5.8)
k
c
u =
1
1
1

+
k
k
C
n
j i
c
x
u
u
Estes so todos espaos de Banach, pois se {u
n
} Cauchy em
k
C
0
( ),
Cauchy e portanto convergente
1
0
k
C ( ), como
j
n
x
u

, j = 1,..., n - 1. Alm disso os

limites de
j
n
x
u

so as derivadas dos limites pela Proposio 5.3.

Isto nos da uma seqncia de espaos que se tornam cada vez mais suavizados
0
0
C ( )
1
0
C ( )
k
C
0
( ) ,
com normas cada vez maiores. Os duais tambm se tornam cada vez maiores a medida
que k aumenta.

Tal como olhamos as funes se tornarem cada vez mais regulares, temos que
pensar acerca do infinto, pois no compacto. Observe que um elemento g
L
1
(R
n
) (em relao a medida de Lebesgue por default)define um funcional em
0
0
C ( )
e portanto todos os
k
C
0
( )s. Portanto uma funo tal como a funo constante 1 no
integrvel em . Considerando que queremos falar a respeito disso , e a respeito de
polinmios,temos que considerar uma segunda condio da pequenez no infinito.
Vamos fazer
(5.9) x = (1 + |x|
2
)
1/2


uma funo cujo tamanho de |x| para |x| grande, mas tem a virtude de ser regular
10


Definio 5.5. Para qualquer k, l N = {1, 2, } faa
x
-l

k
C
0
( ) = { u
k
C
0
( ); u = x
-l
v, v
k
C
0
( )},

Observe que a definio apenas diz que u = x
-l
v, com v
k
C
0
( ). Seguiu-se
imediatamente que x
-l

k
C
0
( ) um espao de Banach com esta norma.

Definio 5.6. O espao deSchwartz
11
das funes de teste em
S(R
n
) = { u : ? ; u x
-l

k
C
0
( ) para todo k e l }.
imediatamente aparente que este espao no vazio; que
Exp (-|x|
2
) S( )
o Problema 19.

40
A idia de Schwartz que o dual de S( ) poder conter todos os objetos
interessantes, pelo menos aqueles de crescimento polinomial. O problema que nos
no temos uma norma em S( ). Melhor dizendo temos muitas delas. Observe que
x
-l

k
C
0
( ) x
-l

'
0
k
C ( ) if l l and k k

Portanto vemos que como espao linear

(5.10) S( ) =
k
k
x


I
k
C
0
( )
Desde que estes espaos se tornam cada vez menores , temos um nmero contvelmente
infinito de normas. Por este razo S( ) denominado espao contvelmente
normado.

Proposio 5.7. Para u S( ), faa

(5.11) ||u||
(k)
= ||x
k
u||
C
k


e defina

(5.12) d(u, v) =
( )
( ) k
k
k
k
v u
v u
+

1
2
0
,

ento d uma funo distncia em S( ) com relao a qual um espao mtrico
completo.

Prova. A srie em (5.12) certamente converge, pois
( )
( )
1
1

+

k
k
v u
v u

As primeiras duas condies na mtrica so claras ,
d(u, v) = 0 .||u - v||
C0
= 0 u = v,
e a simetria imediata. A desigualdade do triangulo talvez mais misteriosa!
Certamente o bastante mostrar que
(5.13) ( )
v u
v u
v u d
+

1
,
~

uma mtrica em qualquer espao normalizado, podendo ento somar sobre k. Portanto
temos que considerar





10
Veja Problema 18.
11
Laurent Schwartz este com t.
41
w v
w v
v u
v u
+

+
+

1 1

( ) ( )
( )( ) w v v u
v u w v w v v u
+ +
+ +
1 1
1 1


Comparando isto com d
~
(v, w) temos que mostrar que
( )( ) w u w v v u + 1 1
( ) ( ) ( )( ) w u v u w v w v v u + + + + 1 1 1

Iniciando a partir de LHS e usando a desigualdade do tringulo,
LHS =. ( ) w u w v v u w v v u w u + + +
( )( ) w u w v v u w v v u + + + 1
= RHS.
Portanto, d uma mtrica.
Suponha que u
n
uma sequncia de Cauchy. Portanto, d(u
n,
u
m
) 0 quando n,
m . Em particular, dado
> 0 N s.t. n, m > N implica
d(u
n,
u
m
) < 2
-k
n, m > N.

Os termos em (5.12) so todos positivos, portanto isto implica em
( )
( ) k m n
k
m n
u u
u u
+

1
< n, m > N.

Se < isto por sua vez implica que
( )
< 2
k
m n
u u ,

portanto a seqncia Cauchy em x
-k

k
C
0
( ). A partir da completividade destes
espaos segue que u
n
? u em x
-k

k
C
0
( )
j
para cada k. Dado > 0 escolha k to
grande que 2
-k
< /2. Ento N s.t. n > N.
( )
< / 2
j
u u n > N, j k.
Portanto
( )
( )
( ) j
n
j
n
k j
j
n
u u
u u
v u d
+

1
2 ,
( )
( ) j
n
j
n
k j
j
u u
u u
+

1
2
/4 + 2
-k
< .

Este u
n
? u em S( ). Uma discusso de C
c
( ) deveria ser feita neste momento.
42
6. Distribuies Temperadas.

Uma primeira boa referncia para distribuies [2], [4] fornece um tratamento
mais completo.
A completa topologia mtrica em S( ) esta descrita acima.A seguir quero
tentar convencer voc que elementos do seu espao dual S( ), tem a maioria das
propriedades das funes com as quais podemos trabalhar como funes
generalizadas.
Primeiro vou desenvolver alguma notao. Uma funo diferencivel : ?
C tem derivadas parciais que temos representado por ?/?x
j
: ? .
Por razes que se tornaro claras mais adiante, colocamos 1 na definio e
escrevemos
(6.1)
j
j
x i
D

1
.

Dizemos que isto uma vez continuamente diferenvel se cada um destes D
j
.
contnuo. Dizemos que os D
j
so (k - 1)-vezes continuamente diferenveis. Para k = 2
isto significa que
D
j
D
k
so contnuas para j, k = 1, , n.
Agora,lembre que, se contnuas, estas segundas derivadas so simtricas:
(6.2) D
j
D
k
. = D
k
D
j

Isto significa que podemos usar notao compacta para derivadas superiores. Faa N
0
=
{0, 1,...}; chamamos um elemento a
n
N
0
um multi- ndice e se pelo menos k
vezes continuamente diferenvel, fazemos
12


(6.3)

D =
1
1
1
x
i

n
x
n

sempre que |a| = a

1
+ a
2
+ + a
n
= k.
Agora temos definido os espaos.
(6.4)
k
C
0
( ) = { : ? C ;

D
k
C
0
( ) |a| = k.
Observe que a conveno que

D existe se requerido para ser contnuo! Usando

x = (1+ |x|
2
) definimos
(6.5) x
-k

k
C
0
( ) =. { : ? C; x
k

k
C
0
( )},
e ento nosso espao de funes teste
S( ) =
I
k
k
x


k
C
0
( ).
Portanto,
(6.6) S( ) D
a
(x
k
)
0
0
C (R
n
) |a| = k e todo k.

Lema 6.1. A condio S(R
n
) pode ser escrita
x
k
Da
0
0
C (R
n
) |a| = k, k.

Prova. Primeiro vamos verificar que
43

0
0
C ( ), D
j
(x
k
)
0
0
C ( ), j = 1, , n.

0
0
C ( ), x D
j

0
0
C ( ), j = 1, , n.

Sendo
D
j
x = x D
j
+ (D
j
x)

e D
j
x =
1
1

x x
i
j
uma funo contnua limitada, isto fica claro. Agora, considere o
mesmo para um k maior:
(6.7) D

x
p

0
0
C (R
n
) |a| = p, 0 p k
x
p
D

0
0
C (R
n
) |a| = p, 0 p k.

Vou deixar para voc verificar isto no Problema 6.1.

Corolrio 6.2. Para qualquer k as normas
||x
k
||
C
k
e

k
k
x
a
D x

so equivalentes.

Prova. Qualquer prova razovel de (6.2) mostra que as normas
||x
k
||
C
k
and

k
k
D x

so equivalentes. Desde que so constantes positivas tais que

,
_

,
_

+

k
k
k
x C x x C

1 1
2 1

fica provada a equivalncia entre as normas.

Proposio 6.3. Um funcional linear u : S( ) ? C contnuo se e somente se existe
C, k tais que
( )

k
k
x
D x C u

,
sup

Prova. Esta justamente a equivalncia das normas, pois mostramos que u S( ) se
e somente se
( )
k
C
k
x C u
para algum k.



12
Periodicamente existe a possibilidade de confuso entre os dois significados de ||
mas isto raramente ocorre.
44
Lema 6.4. Um mapa linear
T : S( ) ? S( )
contnuo se e somente se para cada k existe C e j tais que such |a| = k e || = k


(6.8) sup |x

T| = C

j
j
a
R
D x
n
'
'
' '
sup

S( )
Prova. Este o Problema 6.2.
De todo este emaranhado de informaes sobre normas resulta que
x
j
: S( ) ? S( ) and D
j
: S( ) ? S( )
so contnuas.
Portanto agora temos uma idia do significado de u S( ). Vamos indicar no
que implica u S( )
(6.9) x
j
u S( ) j =1, , n
(6.10) Dj u S( ) j =1, , n
(6.11) u S( ) S( )

onde temos que definir estes fatos de forma razovel. Lembre que supostamente u
S( ) como uma integral de uma funo generalizada
(6.12) u(? ) =
Rn
u(x) ? (x) dx ? S( )

Sendo verdadeiro que u uma funo definimos
(6.13) x
j
u(? ) = u(x
j
? ) ? S( ).

Ento verificamos que x
j
u S( ):
| x
j
u(? )| = |u(x
j
? )|


= C ( )

k
k
j
a
R
x D x
n

sup
= C
.

k
k
a
R
D x
n

sup
Analogamente podemos definir as derivadas parciais usando a formula padro
da integrao por partes
(6.14) ( )( ) ( ) ( ) ( ) ( )dx x D x u dx x x u D
j
R R
j n n



se u
1
0
C ( ). Portanto se u S( ) novamente definimos
D
j
u(? )= - u(D
j
? ) ? S(R
n
).
Ento claro que D
j
u(? ) S( ).
Iterando estas definies encontramos que D
a
, para qualquer multi- ndice a,
define um mapa linear
(6.15) D
a
: S( ) ? S( ).

Em geral um operador diferencial linear com coeficientes constantes uma soma
de tais monomiais. Por exemplo o operador de Laplace
45
2
2
2
2
2
2
1
2
...
n
x x x

=
2 2
2
2
1
...
n
D D D + + + .

Estaremos interessados em tentar em resolver equaes diferenciais tais que
? u = f S( ).

Nos podemos tambm multiplicar u S( ) por S( ), simplesmente
definindo

(6.16) u(? ) = u(? ) ? S( ).

Para isto fazer sentido suficiente verificar que
(6.17)
( )

k
k
a
R
D x
n

sup
.

k
k
a
R
D x
n

sup .

Isto segue facilmente da formula de Leibniz.
Agora, para comearmos a pensar em u S( ) como uma funo
generalizada primeiro definimos seu suporte. Lembre que
(6.18) supp(? ) = clos {x R
n
; ? (x) 0}.

Podemos escrever isto em uma outra forma mais fracaque mais fcil de generalizar.
Mais precisamente
/(6.19) p supp(u) S( ), (p). 0, u = 0.
De fato esta definio faz sentido para qualquer u S( ).

Lema 6.5. O conjunto supp(u) definido pela (6.19) um sub conjunto fechado de f
e se reduz na(6.18) se u S( ).

Prova. O conjunto definido pala (6.19) fechado,
(6.20) supp(u)
C
= { p R
n
; S(R
n
), (p) = 0, u = 0}
claramente aberto- o mesmo valido para pontos vizinhos. Se ? S( )
definimos u
?
S( ), que iremos ainda identificar com ? , pela
(6.21) u
?
() = (x) ? (x) dx.

Obviamente u
?
= 0 ? = 0, estabelece que = em (6.21).Portanto o mapa
(6.22) S( ) ? .? u
?
S( )

injetivo. Queremos mostrar que
(6.23) supp(u
?
) = supp(? )

onde o lado esquerdo dado pela (6.19)e o direito pela (6.18). Primeiramente
mostramos que
supp(u
?
) supp(? ).

46
Portanto, temos que ver que p supp(? ) p supp(u
?
). A primeira condio
que ? (x) = 0 em uma vizinhana, U de p, pois existe um C

funo de com suporte

em U e (p) 0. Ento .? = 0. Ao contrrio suponha p supp(u
?
). Ento existe
S( ) com (p) 0 e u
?
= 0, ou seja, u
?
(?) = 0 ? S( ). Pela injetividade de
S( ).? S( ) isto significa que ? = 0, portanto ? = 0 numa vizinhana de p e p
supp(? ).
Considere os exemplos mais simples de distribuies que no so funes,mais
precisamente aquelas com suporte em um dado ponto p. As mais obvia funes delta
de Dirac
(6.24) d
p
() = (p) u S( ).
Podemos fazer muito mais pois D
a
local
(6.25) supp(D
a
u) supp(u) u S( ).
De fato, p supp(u) S( ), u = 0,. (p) 0. Portanto cada uma das
distribuies D
a
d
p
tambm tem suporte contido em {p}. De fato nenhuma delas
desvanece, e todas so linearmente independentes.
47
7. Convoluo e Densidade.

Definimos um mapa incluso
(7.1) S( ? u

S( ), u

(? ) =
R
n
(x) ? (x) dx ? S( ).
Isto nos permite pensar em S( ) como um sub espao de S( ); por isto
que temos usualmente identificado u

. com . Podemos fazer isto pois conhecemos

(7.1) injetiva. Podemos estender o mapa (7.1) para incluir espaos maiores

0
0
C ( ) u

S( )
p
L ( ) u

S( )
p
L ( ) u

S( )
(7.2)
u

() =
n
R
d , ,


Mas precisamos saber se estes mapas so injetivos antes de no mais
preocuparmos com eles.
Podemos ver isto usando a convoluo. Esta uma sorte de produtos de
funes. Vamos iniciar, supondo v
0
0
C ( ) e ? S( ). Definimos uma nova
funo pela media de v em relao a ? :
(7.3) v * ? (x) =
Rn
v(x - y) ? (y) dy.

A integral converge pela convergncia dominante, mais precisamente ?(y)
integrvel e v limitado,
|v(x - y) ?(y)| = ||v||
0
0
C .|?(y)|.

Podemos usar a mesma sorte de estimativas para mostrar que v*? contnua.
Estabelecendo que x ,
(7.4) v*?(x + x) - v*? (x)
= (v(x + x - y) - v(x - y)) ?(y)dy.
Para ver que isto pequeno para x

pequeno,dividimos a integral em duas partes. Sendo
? muito pequeno prximo do infinito, dado > 0 podemos escolher R to grande que
(7.5) ( )
4

dy y v
R y
.
O conjunto |y| = R compacto e se |x| = R, |x| 1 ento |x + x y| R + R + 1. Uma
funo contnua uniformemente contnua em qualquer conjunto compacto, portanto
podemos escolher d > 0 tal que
(7.6) ( ) ( ) ( )
2
' sup
'

< +

<
dy y y x v y x x v
R y
R y
x

Combinando (7.5) e (7.6) conclumos que v * ? contnuo. Finalmente conclumos,que
(7.7) v
0
0
C ( ) v * ?
0
0
C ( .

48
Para isto precisamos provar que v * ? pequeno no infinito, e isto segue do fato
que v pequeno no infinito. Mais precisamente dado > 0 existe R > 0 tal que |v(y)| =
if |y| = R. Divida a integral definindo a convoluo em duas
| v * ? (x)| = ( ) ( )

>

R y
dy y x y u + ( ) ( )

<

y u
dy y x y u
( )

R x B
u
,
sup
2

+

Sendo ? S( ) a ltima constante tende para 0 quando |x| ? 8 .
Podemos fazer muito melhor que isto! Supondo |x| = 1 podemos utilizar a formula de
Taylor escrevendo
(7.8) ? (z + x) - ?(z) = ( )dt tx z
dt
d
'
'
0
+

= ( )

n
j
j
x z x
1
' ,
~

No Problema 23 peo que voc verifique cuidadosamente que
(7.9) ?
j
(z; x) S( ) depende contnuamente em x para |x| = 1.

Voltando para a (7.3) podemos utilizar a invarincia quanto a translao e reflexo da
mediada de Lebesgue para reescrever a integral (pela troca de varivel) como
(7.10) v * ? (x) = ( ) ( )

n
R
dy y x y v

Isto inverte o papel de v e ? e mostra que se ambos v e ? esto em S(R
n
) ento v * ? =
? * v.
Usando a formula (7.4) achamos
(7.11) v * ?(x + x) - v * ?(x) = ( ) ( ) ( ) ( )

+ dy y x y x x y v '
= ( ) ( )

n
R
j
dy x y x y v x ' ,
~
= ( ) ( )( )

x x v x
j j
' ; *
A partir de (7.9) e do que j mostramos, v * ?(; x) contnuo nas duas variveis,e esta
em
0
0
C ( ). Portanto
(7.12) v
0
0
C ( ), ? S( ) v * ?
1
0
C ( ).
De fato tambm vemos que
(7.13) * v
x
j

=
j
x
v

* .

Portanto v * ? herda sua regularidade de ?.

Proposio 7.1.Se v
0
0
C ( ) e ? S( ) ento

(7.14) v * ?

0
C ( ) =
I
0
0
k
k
C ( ).

Prova. Isto segue a partir de (7.12), (7.13) e induo.

Agora, vamos fazer uma escolha mais especial de ?. Temos mostrado a existncia
(7.15)

0
C ( )Cc, = 0, supp() {|x| = 1}.
49

Podemos tambm supor que
n
R
dx = 1, multiplicando por uma constante positiva.
Agora considere
(7.16)
t
(x) = t
-n

t
x
1 t > 0.

Isto tem todas a propriedades, exceto que

(7.17) supp
t
{|x| = t},
t
dx = 1.

Proposio 7.2. Se v
0
0
C ( ) ento quando t ? 0, v
t
= v *
t
? v em
0
0
C ( ).

Prova. Usando (7.17) podemos escrever a diferena como

(7.18) |v
t
(x) - v(x)| = ( ) ( ) ( ) ( )

n
R
t
dy y x v y x v
( ) ( ) 0 sup

x v y x v
t y
.
Aqui utilizamos o fato que
t
= 0 tem suporte em |y| = t e que a integral 1. Portanto v
t

? v uniformemente em qualquer conjunto no qual v uniformemente contnua,
representado por ( )!

Corolrio 7.3.
k
C
0
( ) denso em
p
C
0
( ) para qualquer k = p.

Proposio 7.4. S(R
n
) denso em
k
C
0
( ) para qualquer k = 0.
Prova. Faamos primeiramente k = 0.O sub espao
0
c
C ( denso em
0
0
C ( ),
cortando externamente uma grande bola. Se v
0
c
C ( ) tem suporte em {|x|= R}ento
v *
t

c
C (R
n
) S( )
tem suporte em {|x|= R +1}. Desde que v *
t
? v o resultado segue para k = 0.
Para k = 1 o mesmo argumento vlido t, pois D
a
(v *
t
) = (D
a
V) *
t
.

Corolrio 7.5. O mapa de medidas Radon finitas
(7.19) M
fin
(R
n
) ? u

S(R
n
) injetivo.
Agora, queremos o mesmo resultado para L
2
( ) (e talvez para L
p
( ), 1 = p
< 8 ). Deixo a parte relativa a teoria da medida para voc.


Proposio 7.6. Elementos de L
2
( ) so contnuos na mdia ou seja,
(7.20) ( ) ( ) 0 lim
2
0
+

dx x u t x u
n
R t
Este o Problema 71.
Usando isto conclumos que
(7.21) S( ) ? L
2
( ) denso
50
como anteriormente. Primeiro observe que o espao de funes L
2
de suporte compacto
denso em L
2
( ), pois
( ) 0 lim
2
0

dx x u
R x R
u L
2
( ).

Olhando para a discusso anterior de v * , agora v substitudo por u
2
c
L ( ). A compatibilidade do suporte significa que u L
1
( ) e portanto
(7.22) v * (x)=
R
n
u(x - y) (y)dy

a integral absolutamente convergente. Alm disto
|u * (x + x) - u * (x)|
=

+ dy y)) - (x - y) x'- (x u(y)(

= C||u|| ( ) 0 y) - (x - y) x'- (x sup +

R y

quando {|x|= R} bastante grande. Portanto u * contnuo e o mesmo argumento
anterior mostra que
u *
t
S( ).

Agora para ver que u *
t
? u, supondo que u tem um suporte compacto (ou
no) calculamos a integral
|u *
t
(x) - u(x)| =

dy (y) (x)) u - y) - (u(x

t

= dy

(y) | u(x) - y) - u(x

t

Usando duas vezes este argumento

dx | u(x) - (x) * u |
2
t

=

dydy' dx ) (y' | u(x) - ) y' - u(x | (y) | u(x) - y) - u(x |

t t
.
=( )

dy' dy )dx (y' (y) | u(x) - y) - u(x |

t t
2
.
=

dx | u(x) - y) - u(x | sup

2
t y

Observe que no Segundo passo utilizamos a desigualdade de Schwarz com o
integrando escrito como o produto
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ' ' '
2
1
2
1
2
1
2
1
y y x u y x u y y x u y x u
t t t t


Portanto sabemos que
L
2
( ) ? S( ) injectiva.

Isto significa que todo nosso espao usual de funes senta internamente no S( ).
Finalmente podemos usar a convoluo para mostrar a existncia de parties
suavizadas unitrias em ( ). Se K U um conjunto compacto em um
conjunto aberto ento temos mostrado a existncia de ?
0
c
C ( ), com ? =1 em
alguma vizinhana de K e ? = 1 em alguma vizinhana de K e supp(?) U.
Ento considere ? *
t
para t pequeno. De fato
51
supp(? *
t
) {p dist(p, supp ?) = 2t}
e analogamente, 0 = ? *
t
= 1 e
? *
t
= 1 em p se ? =1 em B(p, 2t).
Utilizando isto obtemos:

Proposio 7.7. Se U
a
so abertos para a A e K U
aA
, U
a
existe um nmero
finito de
i

c
C (R
n
) com 0 =
i
= 1, supp(
i
) U
ai
tal que

i
i
=1 em uma
vizinhana K.

Prova. Pela compatividade de K podemos escolher uma subcobertura aberta e finita.
Utilizando Lema 1.8 podemos escolher uma partio contnua, '
i
,formada por
unidades subordinadas a esta cobertura. Usando o argumento acima na convoluo
podemos substituir '
i
por '
i
*
t
para t > 0. Se t suficientemente pequeno ento
uma partio de subordinado unitrio para a copia, mas agora suavizado
Podemos simplificar o argumento para mostrar o que segue.

Lema 7.8. O espao

c
C ( ) de funes C

de suporte compacto denso em S( ).

Prova. Escolha

c
C ( ) com (x) = 1 in |x| = 1. Ento dado ? S( ) considere
a seqncia
?
n
(x)= (x/n) ?(x).

Claramente ?
n
= ? on |x| = n, portanto se isto converge em S( ) deve
convergir para ?. Suponha m = n ento pela formula de Leibniz
13
.
( ) ( ) ( ) x x D
a
x

= ( ) x D
m
x
n
x
D
x x
a

<

,
_

,
_

,
_

,
_

.

Todas as derivadas de (x/n) so limitadas, independentes de n e ?
n
= ?
m
em |x|
= n e portanto para qualquer p

( ) ( ) ( ) {
p
p m n x
x C x x D
2 0

n x
n x

Portanto ?
n
Cauchy em S( ).
Ento todo elemento de S( ) determinado pela sua restrio em

c
C ( ).
O suporte de uma distribuio temperada foi definido acima como sendo
(7.23) supp(u) = {x ; S( ), (x) 0,
u
=0}.

Usando o lema precedente e a construo de parties unidade suavizadas
encontramos

Proposio 7.9. Se u S(R
n
) e supp(u)= . ento u = 0.
52
Prova. A partir de (7.23), se ? S(R
n
), supp(? u) supp(u). Se x supp(u) ento,por
definio, u = 0 para algum S(R
n
) com (x) 0. Portanto
0 em B(x, ) para > 0 suficientemente pequeno. Se ?

c
C ( ) tem suporte em
B(x, ) ento ? u = ? u = 0, onde ?

c
C ( ):

'

0
/
~


( )
elsewhere
x inB ,

Portanto, dado K podemos encontrar
j

c
C ( ), suportado em bolas
tais, tal que 1

j
i
em K mas.
j
u = 0. Para um dado

c
C ( ) aplique isto para
supp(). Ento

( ) ( )( )


j
j
j
i
u u 0
Portanto u = 0 em

c
C ( ),e portanto u = 0.

O espao linear de distribuies de suporte compacto ser representado por

c
C ( ); isto freqentemente escrito como ( ).
Agora vamos dar uma caracterizao funo delta
d()=(0) S( ),
ou pelo menos ao sub espao de uma dimenso S( ) ao qual pertence. Isto baseado
na simples observao que (x
j
)(0) = 0 se S( )!

Proposio 7.10. Se u S( ) satisfaz x
j
u = 0, j = 1, , n ento u = cd.
Prova. O maior trabalho esta em caracterizar o espao nulo de d como um funcional
linear, ou seja em mostrar que
(7.24) H = { S( ); (0) = 0}

pode tambm ser escrito como
(7.25) H = { S( ); =

n
j
j
1
j
x ,.j S( )}.
Claramente o lado direito da (7.25) est contido no lado esquerdo. Para ver o inverso,
suponha primeiramente que
(7.26) S( ),. = 0 in |x| < 1.
Ento defina

'

2
0
x

1
1

<
x
x




13
Problema 25.
53
Todas as derivadas de 1/ |x|
2
so limitadas em |x|= 1,portanto a partir da formula
de Leibniz segue que ? S( ). Desde que
( )

j
j j
x x
isto mostra que na forma da (7.26) est no lado direito da (7.25). Em geral supe-se
S( ). Ento
( ) ( ) ( )

t
dt tx
dt
d
x
0
0
(7.27)
( )

t
n
j
j
dt tx
dt
d
x
0
1


Certamente estas integrais so C

, mas elas podem no decrescer rapidamente

no infinito. Portanto, escolha

c
C ( ) com = 1 in |x|= 1. Ento (7.27) torna-se, se
(0) = 0,
= + (1 - )
( ) ( )

t
j
j j
n
j
j
dt tx
x
x
0
1
, 1

c
C (R
n
)
Pois (1 - ). da forma da (7.26),isto prova a (7.25).
Nossa hiptese que u tal que x
j
u = 0,e portanto
u() = 0 H

devido a (7.25). Escolhendo como acima, um S( ) genrico pode ser escrito
como
= (0) + , H.

Ento
u() = (0)u() u = cd, c = u().

Este resultado bastante poderoso, como veremos em breve. A transformada de
Fourier de um elemento S( ))
14

(7.28) ( ) ( )

dx x e
ix


, ? .

A integral certamente converge, pois || = Cx
-n-1
. De fato segue facilmente que ? 0
como ?? ? contnuo, pois
( ) ( ) dx e e
x ix

'
'
Proposio 7.11.A transformao de Fourier (7.28), define um mapeamento contnuo
linear
(7.29) F : S( ) ? S( ), F = .




14
As normalizaes variam, mas isto no interessa muito.
54
Prova. Diferenciando a integral resulta que
15

( ) ( )

dx x x e i
j
ix
i

.

Sendo a integral no lado direito absolutamente convergente resulta que (lembre os is)
(7.30)

j
x D
j
, S( ).

Analogamente, se multiplicarmos por ?
j
e observarmos que ?
j
e
-ix?
=

ix
j
e
x
i
ento a integrao por partes mostra
( )

,
_

dx x e
x
i
ix
j
j



dx
x
e i
j
ix

j j
D , S( ).

Sendo x
j
., D
j
S( ) estes resultados podem ser iterados, mostrando que

(7.32)

D F ( ) ( )

x D
x
1 .

Portanto

D = C
a
sup

x D x
x
n 1 + +
= C.

C
n
x
+ +

1
, que mostra que F
contnuo como um mapa (7.32).

Suponha S(R
n
). Sendo S(R
n
) podemos considerar a distribuio u S(R
n
)

(7.33) u() = ( )
n
R
d

A continuidade de u segue a partir do fato que a integrao contnua e da (7.29).
Agora observe que
u(x
j
)= ( )
n
R
j
d x
0
n
R
d D

onde utilizamos a (7.30). Aplicando a proposio 7.10 conclumos que u = cd para
alguma constante (universal) c. Por definio isto significa

(7.34) ( ) d
n
R

= c(0).




15
Veja [5]
55

Ento o que constante? Para achar precisamos trabalhar em um exemplo. O
mais simples
= exp (-|x|
2
/2).

Lema 7.12. A transformada de Fourier de uma Gaussiana exp(.|x|
2
/2) a Gaussiana
(2p)
n/2
exp(-|?|
2
/2).

Prova. Existem dois mtodos bvios um utiliza anlise complexa (Teorema de Cauchy)
o outro, que irei seguir, utilize a unicidade das solues de equaes das equaes
diferenciveis ordinrias.
Primeiro observe que exp(-|x|
2
2) =
j

exp(-x
j
2
/2). Portanto
16

( ) ( )

n
j
j
1
, ( )
2
2
x
e x


uma funo de uma varivel. Agora ? satisfaz a equao diferencial
(?
x
+ x) ? = 0,
e a nica soluo desta equao. Pelas (7.30) e (7.31) sua transformada de Fourier
satisfaz
0

+ +

d
d
i i x
x
.
Esta a mesma equao, mas na varivel ?. Portanto = ce
-||2/2
. Ainda precisamos
encontrar a constante. Portanto,
( ) ( )
2 1 2
2 0
2

dx e c
x
& &
pelo uso padro das coordenadas polares :
( )

+

0
2
0
2 /
2 /
2
2
2
2 2

drd r e dxdy e c
r
y x
R
n

Isto prova o lema.

Portanto temos mostrado que para qualquer S( ).

(7.35) ( ) ( ) ( ) 0 2
n
R
n
d

Pois isto verdadeiro para = exp (- |x|
2
/2). A identidade nos permite inverter a
tranformada de Fourier.










16
Realmente pelo teorema de Fubini, mas aqui podemos usar Riemann.
56
8. Inversa de Fourier

Foi mostrado anteriormente que a transformada de Fourier satisfaz a identidade
(8.1) (0) = (2p)
n
( )
n
R
d S( ).

Se y e S( ) faa ? (x)= (x + y). A invarincia quanto translao
da medida de Lebesgue mostra que
( ) = ( )

+

dx y x e
ix

( )

iy
e
Aplicado a ? a formula da inverso a ( 8.1) torna-se
(8.2) (y) = ? (0) = (2p)
-n ( )

d
= (2p)
-n ( )

d e
n
R
iy

Teorema 8.1. A transformada de Fourier F : S( ) ? S( ) um isomorfismo com
inversa
(8.3) G : S( ) ? S( ), G? (y) = (2p)
-n
( )

d e
iy


Prova. A identidade (8.2) mostra que F 1 - 1, ou seja, injetiva, pois podemos retirar
a partir de . Alm disso,
(8.4) G? (y) = (2p)
-n
F ? (-y)

Portanto G tambm um mapa continuo linear, G : S( ) ? S( ). De fato o
argumento acima mostra que G o F = Id e o mesmo argumento, com algumas alteraes
de sinal, mostra que, F G = Id. Portanto F e G so isomorfismos.

Lemma 8.2. Para todo , ? S( ), a identidade de Paseval vlida:
(8.5)
n
R
dx ? dx = (2p)
-n

n
R
d

Prova. Usando a formula de inverso sobre ,
n
R
dx = ( )
n
2 ( ) ( ) ( )

dx x d e
ix

= ( )
n
2 ( ) ( )




dxd x e
ix

= ( )
n
2 ( ) ( )
n
R
d

Aqui as integrais so absolutamente convergentes justificando a troca de ordem.

Proposio 8.3. Transformada de Fourier se estende para um isomorfismo
(8.6) F : L
2
( ) ? L
2
( )

Prova. Fazendo = ? em (8.5) mostra-se que
57
(8.7) ||F||
L
2

= (2p)
n/2
||||
L
2
.

Em particular isto prova, que dada a densidade conhecida de S( ) em
L
2
( ),que F um isomorfismo, com inversa G,como em (8.6). Para qualquer m
x
m
L
2
( ) = {u S( ); x
-m
L
2
( )}

um sub espao bem definido. Definimos os espaos de Sobolev em por, para m =
0
(8.8) H
m
( ) = { u L
2
( ); = F u
-m
L
2
( )}
Portanto H
m
( ) H
m
( ) if m = m, H
0
( ) = L
2
( ).

Lema 8.4. Se m um inteiro, ento
(8.9) u H
m
( ) D
a
u L
2
( ) |a| = m.

Prova. Por definio, u H
m
( ) implica que ?
-m
L
2
( ). Desde que

=
?
a
isto certamente implica que

L
2
( ) para |a| = m.

Inversamente se

L
2
( ) para todo |a| = m ento ?
a
L
2
( ) para todo |a| =
m e sendo

m
m
m
C

isto por sua vez implica que
m
L
2
( ).

Agora que consideramos a transformada de Fourier das funes de teste de
Schwartz podemos usar o mtodo usual, da dualidade, para estender isto para as
distribuies bem comportadas. Se fizermos ? = ento = ? e ? = G .= G? e
portanto
(x) = (2p)
-n
( )

d e
ix

= (2p)
-n
( )

d e
ix

= (2p)
-n
( ) x .
Substituindo em (8.5) achamos que

d dx

Agora, lembrando como imergimos S( ) ? S( ) vemos que
(8.10) ( ) ( )

u u ? S( ).

Definio 8.5. Se u S( ) definimos sua transformada de Fourier por
(8.11) ( ) ( ) u u S( ).

Como um mapa composto, = u F, com cada termo continuo, u continuo, ou
seja, S( ).

Proposio 8.6. A definio (8.7) fornece um isomorfismo.
58
F : S( ) ? S( ), F u =

satisfazendo as identidades..

(8.12) u u D

, u x

= (-1)
||
u D

.

Prova. Sendo. = u o F e G a inversa of F,
(8.13) u = o G

fornece a inversa para F : S( ) ? S( , mostrando ser um isomorfismo. A
identidade (8.12) segue a partir de seu complemento em S( ):
u D

() = D
a
u ( ) = u((-1)
|a|
D
a
)
= ( ) ( ) ( )

u u u

S( ).

Podemos tambm definir espaos de Sobolev de ordem negativa:
(8.14) H
m
( ) = { u S( ); = u ?.
-m
L
2
( )}.

Proposio 8.7. Se m = 0 um inteiro ento u H
m
( ) se e somente se pode
ser escrito na forma
(8.14) u =

m
v D

, v
a
, va L
2
( )
Prova. Se u S( ) da forma (8.15) ento

(8.16) =

m
v

com v v.a L
2
( ).
Portanto ?.
-m
=

m
m
v

. Sendo que todos os fatores ?

a
?
m
so limitados, cada
termo aqui esta em L
2
( ), e portanto. ?.
m
L
2
( ) que a definio, u .?.
-m

L
2
( ).
Inversamente, suponha u H
m
( ), ou seja, ?.
m
L
2
( ). A funo

,
_

L
2
( ) (m<0)
limitada inferiormente por uma constante positiva. Portanto
v =
1

,
_

L
2
( )
Cada uma das funes ( )v v sgn

L
2
( ) e portanto a identidade (8.16), e
a (8.15), seguem com estas escolhas.


Proposio 8.8. Cada um dos espaos de Sobolev H
m
( ) um espao de Hilbert com
norma e produto escalar
59
( )
2 1
2 2

,
_

n
R
md m
d u H
u

,
(8.16)
( ) ( ) d v u v u
m 2
,

O espao de Schwartz S( ).? H
m
( ) denso para cada m e o par

H
m
( ) H
m
( ) ( ) (u, u) ?
(8.18)
((u, u)) = ( ) ( )

d u u ' '
fornece uma identificao (H
m
( ))= H
-m
( ).

Prova. A propriedade do espao de Hilbert segue essencialmente diretamente a partir da
definio (8.14) pois ?.
-m
L
2
( ) um espao de Hilbert com a norma (8.17).
Similarmente a densidade de S em H
m
( ) segue, pois S( ) densa em L
2
( )
(Problema L11.P3) implica que ?.
-m
S( ) = S( ) densa em ?.
-m
L
2
( )e
portanto, desde que F um isomorfismo em S( ), S( ) densa em H
m
( ).
Finalmente observe que o par em (8.18)faz sentido,pois ?.
-m
(),?.
m
()
L
2
( ) implica em
()) (-) L
1
( )

Alm disso pela auto-dualidade de L
2
( ) cada funcional contnuo linear
U : H
m
( ) ? C,U (u) = C||u||
H
m
.

Pode ser escrito unicamente na forma
U(u) = ((u, u)) for some u H
-m
( )

Observe que se u, u S( ) ento
((u, u)) = ( ) ( )
n
R
dx x u x u ' .

Isto como sempre formamos pares de funes este um par natural em
L
2
( ). Portanto em (8.18) o que temos mostrado que em um par na funo teste
S( ) S( ) (u, u) ? ((u, u)) = ( ) ( )
n
R
dx x u x u '

estende pela continuidade para H
m
( ) H
-m
( ) (para cada m fixo) quando se
identifica com H
-m
(R
n
) como o dual de H
m
( ). Este foi o nosso cenrio no comeo.
Para m > 0 os espaos H
m
( ) representam elementos de L
2
( ) que tem m
derivadas em L
2
( ). Para m < 0 os elementos so at m derivadas das funes L
2
.
Para inteiros isto precisamente ??
60
9. Imerso de Sobolev

As propriedades dos espao de Sobolev so brevemente discutidas acima. Se m
um inteiro positivo ento u H
m
( ) significa que u tem at m derivadas em
L
2
( ). Uma questo que surge naturalmente como estas derivadas fracas
correspondem as antigas derivadas fortes. Naturalmente quando m no um inteiro
um pouco mais difcil imaginar o que so estas derivadas fracionrias. Contudo o
principal resultado :

Teorema 9.1 (Sobolev imerso). Se u H
m
( ) onde m > 10///2 ento u ( )
n
R C
0
0
, ou
seja,
(9.1) H
m
( ) ( )
n
R C
0
0
, m > n/2.

Prova. Por definio, u H
m
( ) significa que v S( ) e ?
m
(?) L
2
( ).
Suponha primeiro que u S( ). A formula de inverso de Fourier mostra que:
( ) ( ) ( )

d u e x u
ix n
2
( ) ( )
2 1
2
2 1
2 2

,
_

d d u
n
n
R
m
R
m


Agora, se m > n/2 ento a segunda integral finita. Desde que a primeira integral
a norma em H
m
( ) vemos que
(9.2) ( ) ( )
m
n
H
n
L
R
u u x u



2 sup , m > n/2

Isto tudo para u S( ), mas S( ) ? H
m
( ) denso. O estimado (9.2)
mostra que se u
j
? u em H
m
( ),com u
j
S( ), ento u
j
? u em
0
0
C ( ). De fato
u = u em S( ) pois u
j
? u em L
2
( ) e u
j
? u ? em
0
0
C ( ) ambos implicam
que

j
u converge, portanto
n
R
j
u
n
R
u =
n
R
u ' S(R
n
)

Observe aqui o significado exato de u = u

, u H
m
( ), L
2
( ), u
0
0
C ( ). Quando se identifica u L
2
( ) com a correspondente distribuio
temperada, os valores em qualquer conjunto de medida zeroso perdidos. Portanto
como funo a (9.1) significa que cada u H
m
( ) tem um representante u
0
0
C ( ).
Podemos estender isto para derivadas de mais elevadas notando que

Proposio 9.2. Se u H
m
( ), m , ento D
a
u H
m-||
( ) e
(9.3) D
a
: H
m
(R
n
) ? H
m-||
( )
continuo.
61

Prova. Primeiro o bastante mostrar que cada Dj define um mapa continuo linear
(9.4) D
j
: H
m
( ) ? H
m-1
( ) j
e portanto a (9.3) segue pela composio.

Se m ento u H
m
( ) significa ?
-m
L
2
( ).Sendo . u u D
j j

, e
|?
j
| ?
-m
= C
m
. ?
m+1
m conclumos que
D
j
u H
m-1
(R
n
) e
||D
j
u||
H
m-1
= C
m
.||u||
H
m
.

Aplicando estes resultados temos

Corolrio 9.3. Se k
0
e m > k
n
+
2
ento
(9.5) H
m
( )
k
C
0
( ).

Prova. Se |a| = k, ento D
a
u H
m-k
( )
0
0
C ( ). Portanto as derivadas fracas
D
a
u so contnuas. Ainda temos que verificar que isto significa que o mesmo u k
vezes continuamente diferenvel. De fato isto segue ainda a partir da densidade de
S( ) em H
m
( ). A continuidade em (9.3) implica que se u
j
? u em H
m
( ), m >
k
n
+
2
, ento u
j
? u em
k
C
0
( ) (usando sua completividade ). Portanto u = u.como
antes, e ento u
k
C
0
( ).
Em particular temos
(9.6) H
8
( ) = ( )
I
M
n m
R H C
8
( ).

Estas funes no so em geral funes de teste de Schwartz.

Proposio 9.4. O espao de Schwartz pode ser escrito em termos de espaos pesados
de Sobolev
(9.7) S( ) = ( )
I
k
n k
k
R H x


Prova. Isto segue diretamente de a partir de (9.5) pois o lado esquerdo est contido em
( )
I
k
n n k
k
R C x

0
S( )
Teorema 9.5 (Representao de Schwartz ). Qualquer distribuio bem comportada
pode ser escrita na forma de uma soma finita
(9.8) u =

m
m
x
u D x

, u
a

0
0
C ( ).

ou na forma

62
(9.9) u = ( )

m
m
x
u x D

, v
a

0
0
C ( ).

Portanto toda distribuio bem comportada uma soma finita de derivadas de
funes continuas de crescimento polinomial.


Prova. Essencialmente por definio qualquer u S( ) continuo em relao a uma
das normas ||x
k
||
C
k
. A partir do teorema da Imerso de Sobolev deduzimos que , com
m > k + n/2,
( )
m
H
C u S( )
Isto mesmo que
( )
m
H
k
C u x

S( )

que mostra que x
-k
u H
-m
( ), ou seja, a partir da Proposio 8.8,
x
-k
u =

m
u D

, u

L
2
( ).

De fato, escolha j > n/2 e considere v
a
H
j
( ) definido por

u
j
v

. Como
na prova da Proposio 8.14 conclumos que

u
a
=

m
u D

,
' , u
a,
H
j
( )
0
0
C ( )
Portanto,
17

(9.10) u = x
k

M
v D

v
?

0
0
C ( ).
Para obter (9.9) nos comutamoso fator x
k
para dentro; sendo que at agora
no utilizamos este argumento de forma cuidadosa, vamos faz- lo atravs de um lema.

Lema 9.6. Para qualquer ?
n
N
0
existem polinmios p
a,?
(x) de grau at |? - a| tal que
x
k
D
?
v = ( ) v x p D
k

2
,

Prova . De fato conveniente provar um resultado mais geral. Suponha que p um
polinmio de grau no mximo j ento existem polinmios de graus no mximo at j + |?
- a| tais que
(9.11) v D x p
k

= ( ) v x p D
k

2
,


O lema segue fazendo inicialmente p = 1.



17
Esta provavelmente a forma mais util do teorema da representao
63
Alm disso, a identidade (9.11) trivial quando ? = 0, e procedendo com a
induo podemos supor que isto conhecido sempre que |?| = L. Fazendo || = L + 1
D
?
= D
j
D
?

|?| = L.

Escrevendo a identidade para ? como:
'
D x p
k
= ( ) v x p D
k ' ' 2
' ' ,
' '
' '

podemos diferenciar com relao a x
j
. Isto fornece
'
D x p
k
= ( ) v D x p D
k
j
'

( ) v x p D
k

+
2
',
'
'


O primeiro termo na direita se expande para
( )

,
_

v D x kpx
i
v D x p D
k
j
k
j
'
2
'
1



Podemos aplicar a hiptese indutiva para cada um destes termos e reescrever o
resultado na forma da (9.11); somente necessrio verificar a ordem dos polinmios, e
lembrar que x
2
um polinmio de grau 2.
Aplicando o lema 9.6 para (9.10) resulta a (9.9), pois potncias negativas de x
so absorvidas em funes continuas. Ento (9.8) segue a partir de (9.9) e formula de
Leibniz.
64
10. Operadores diferencias.

Na ltima terceira parte do curso iremos aplicar o que conhecemos acerca de
distribuies, e um pouco mais, para entender as propriedades dos operadores
diferencias com coeficientes constantes. Inicialmente falarei sobre isto, quero provar
outro resultado relativo a densidade.
At agora no temos definido uma topologia em S( ) Deixarei isto como
um exerccio opcional
18
. Contudo irei considerar a noo de convergncia. Suponha u
j

S( ) uma seqncia em S( ). Isto disto ser fracamente convergente para u
S( ) se

(10.1) u
j
() ? u() S( ).

No existe hiptese de uniformidade aqui, mais semelhante a uma indicao
de convergncia (exceto que a linearidade das funes faz isto parecer mais forte) .
Proposio 10.1. O subespao S(
n
) S( ) fracamente denso, ou seja, cada u
S( ) o limite tnue de um subespao u
j
S( ).

Prova. Podemos utilizar o teorema da representao de Schwartz para escrever algum m
dependendo de u,

m
M
u D X U

, u

L
2
( ).

Sabemos que S( ) denso em L
2
( ), e portanto no sentido de espaos
mtricos podemos determinar u
,j
S( ), u
,j
? u

in L
2
( ). A densidade ento
resulta das propriedades bsicas da convergncia fraca.

Proposio 10.2. Se u
j
? u e u
j
? u fracamente em S( ) ento cu
j
? cu, u
j +
u
j
?
u + u, D
a
u
j
? D
a
u e x
m
u
j
? x
m
u fracamente em S( ).

Prova. Isto segue escrevendo tudo em termos de pares , por exemplo se S( )
D
a
u
j
()=u
j
((-1)
()
D
a
) ? u ((-1)
()
D
a
) = D
a
u().

Esta densidade fraca mostra que nossa definio de D
j
, e x
j
so nicas se
impormos a Proposio 10.2 como vlida.
Temos discutido a diferenciao como um operador
D
j
: S( ) ? S( ).
Qualquer polinmio em
( )

m
a
p p

, p

C




18
Problema 34.
65
define um operador diferencial
19
.
(10.2) p(D)u =

m
a
u D p

Antes de discutir qualquer teorema geral vamos considerar alguns exemplos.

(10.3) Em
2
, = ?
x
+ i?
y
operador d-bar
(10.4) em , ? =

n
j
j
D
1
2
Laplaciano
(10.5) em =
n+1
,
2
t
D - ? Operador Onda
(10.6) em =
n+1
, ?
t
+ ? Operador Calor
(10.7) em =
n+1
, D
t
+ ? Operador Schrdinger

Funes, ou distribuies, satisfazendo u = 0 so dita ser holomrficas, e
aquelas satisfazendo ? u = 0 so ditas ser harmnicas.

Definio 10.3. Um elemento E S( ) satisfazendo
(10.8) P(D)E = d
dito ser uma soluo fundamental de P(D).

Teorema 10.4 (sem prova). Todo operador diferencial com coeficientes constantes no
nulos tem uma soluo fundamental..
Isto bastante difcil de provar e no to interessante como possa parecer.
Contudo iremos dar muitos exemplos , iniciando com . Considere a funo
(10.9) E(x, y) = ( )
1
2
1

+ iy x

, (x, y) 0.
(10.10)
Lema 10.5. E(x, y) localmente integrvel e portanto define E S(
2
) por

(10.10) E() = ( ) ( )dxdy y x iy x
R

+
2
,
2
1
1

e E definida desta forma uma soluo fundamental (bem comportada) de .

Prova. Considerando que (x + iy)
-1
regular e limitada a partir da origem a
integrabilidade local segue a partir do estimado , usando coordenadas locais,
(10.11)
( )

+
1 , y x
iy x
dxdy
=

2
0
1
0
r
rdrd
= 2.

Diferenciando diretamente na regio onde regular,
?
x
(x + iy)
-1
= - (x + iy)
-2
, ?
y
(x + iy)
-1
= - i (x iy)
-2




19
Mais precisamente um operador diferencial com coeficientes constantes.
66

portanto de fato, E = 0 em (x, y) 0.
20


A derivada definida por

(10.12) ( E)() = E(- E)
( ) dxdy iy x im l
y
x

1
0
2
1


Aqui cortei fora o espao {|x| = , |y|= } da integral e usei a integrabilidade local
tomando o limite quando ? 0. Integrando por partes em x encontramos
( ) dxdy iy x
y
x
x

1
= ( ) ( ) dxdy iy x
y
x
x

1

( ) ( ) ( ) ( )dy y x iy x dy y x iy x
y
x
y
x , ,
1 1

+ + +

Existe uma formula correspondente para a integrao por partes em y ,lembrando
que E = 0 fora de (0, 0),
(10.13) 2p E() =
( ) ( ) ( ) ( ) [ ]dx y iy y iy im l
y

+ +

, ,
2
1
1 1
0

( ) ( ) ( ) ( ) [ ]dx x i x x i x i
x

+ +

, , lim
1 1
0


supondo que ambos os limites existem. Agora, podemos escrever
(x, y)= (0, 0) +
x? 1(
x
1
y)+ y?
2
(x, y).

Substituindo tanto por x?
1
ou por y?
2
em (10.13) ambos os limites so zero.
Por exemplo:
( ) ( )

+ dy y iy ,
1
1
0
1

y


Portanto obtemos o mesmo resultado que em (10.13) substituindo (x, y) por (0, 0).
Ento 2p E() = c(0),

Quero lembrar que j discutimos a convoluo de funes
u * v(x) = ( ) ( )

dy y v y x u = v * u(x)

Isto faz sentido se u de baixo crescimento e s S( ). De fato podemos
reescrever a definio em termos de pares
(10.14) (u * ) (x) = u,.(x - ).



20
Resulta neste estagio que sabemos que E deve ser a soma das derivadas de .
67

Onde o indica a varivel no par.

Teorema 10.6 (Hrmander, Teorema 4.1.1). Se u S( ) e S( ) ento u * v
S( ) n C

( ) e se supp()
supp(u * v) supp(u) + supp().

Para qualquer multi-ndice a
D

(u * ) = D

u * = u * D

Prova. Se S( ) ento para qualquer ndice fixo x ,
(x -) S( ).

De fato os estimados semi normais necessrios so:
( ) ( ) y x D y
y
k
y

2 /
2
1 sup < 8 a, k > 0.
desde que ( ) y x D
y

= (-1)
||
(D

)(x - y) e
(1 + |y|
2
) = (1 + |x . y|
2
)(1 + |x|
2
)

conclumos que
||(1 + |y|
2
)
k/2
D

y(x - y)||
L
8
= (1 + |x|
2
)
k/2
||y
k

y
D (y)||L
8
.

A continuidade de u S( ) significa que para algum k
|u()| = C ( )

L
k
k
D y

sup
e portanto segue que
(10.15) |u * (x)| = |u, (x -)| = C(1 + |x|
2
)
k/2
.

O argumento acima mostra que x .? (x - ) uma funo continua de x
com valores em S( ), e portanto u * continua e satisfaz a (10.15). portanto um
elemento de S( ). A diferenciabilidade segue da mesma forma pis para cada j, com
e
j
o j-simo vetor unitrio
( ) ( )
s
y x y se x
j
+
S( )

contnuo em x ( ), s . Portanto, u * tem derivadas parciais contnuas e
D
j
u * = u * D
j
.

O mesmo argumento ento mostra que u * C

(R
n
). E D
j
(u * ) = D
j
u *
segue a partir das definies das derivadas das distribuies
D
j
(u * (x)) = (u * D
j
)(x)
= u, D
xj
(x - y) = - u(y), D
yj
(x - y)
y

= (D
j
u) *

68
Finalmente considere a propriedade suporte. Aqui estamos supondo que supp()
compacto; sabemos tambm que supp(u) um conjunto fechado. Temos que mostrar
que
(10.16) x supp(u) + supp()

implica em u * (x) = 0 para x

prximo de x . Agora a (10.16) tem o mesmo
significado da
(10.17) supp ( x -) n supp(u) = ,

Sendo supp (x -) = {y R
n
; x - y supp()}, ambas as declaraes
significam que no existe y supp() com x - y supp(u). Isto pode ser escrito como
supp() n supp u(x -) =

e como mostramos quando estivemos discutindo a propriedade suporte isto implica em
u * (x)* = u(x -),.. = 0.

A partir da (10.17) esta uma condio aberta em x, e portanto fica
demonstrada a propriedade suporte .
Agora suponha que., ? S( ) e u S( ). Ento
(10.18) (u * )* = u * ( * ).

Isto realmente o Lema de Hrmander 4.1.3 e Teorema 4.1.2; peo que voc
prove isto mediante o Problema 35.
Temos mostrado que u * C

se u S( ) e S( ), ou seja., a
regularidade de t u * devida a regularidade de um de seus fatores. Isto torna razovel
esperar que u * v pode ser definido quando u S( ), v S( ) e um deles tem
suporte compacto. Se v

c
C ( ) e S( ) ento
u * v() = ( ) ( ) ( )dx x x v u

, = ( ) ( ) ( )

dx x v x v u
(
,
onde ( ) ( ) z z
(
.De fato usando o Problema 35,
(10.19) u * v() = ((u * v) *
(
)(0) = (u * (v -
(
))(0).

Aqui tanto v, como so regulares, mas observe que

Lema 10.7. Se v S( ) tem suporte compacto e S( ) ento v * S( ).

Prova. Desde que v S( ) tem suporte compacto existe ?

c
C ( ) tal que ?v = v.
Ento v * (x)=(?v) * (x)= ?
v
(y), (x - y)
y

= u(y), ?(y) (x - y)
y
.

Portanto para algum ,
| v * (x)| = C.||?(y)(x - y)||
(k)

onde || ||
(k)
uma das nossas normas em S( ). Sendo que ? suportado em alguma
grande bola ,
||?(y) (x - y)||
(k)

69
= ( ) ( ) ( ) y x y X D y
y
k
k

sup
= ( ) y x D C
k R y

sup sup
= ( )
2 /
2
1 sup
N
R y
N
y x C

+
= ( )
2 /
2
1
N
N
x C

+

Portanto (1 + |x|
2
)
N/2
|v * | limitado para cada N. O mesmo argumento aplica-
se a derivada usando o Teorema 10.6, portanto
||v * || S( ).

Desta forma avanamos um pouco mais, pois como podemos ver para cada k
existe k e C (dependendo de k e v) tal que
||v * ||
(k)
= C||||
(k)
.

Isto significa que
v * : S( ) ? S( )

mapa continuo linear.

Agora a (10.19) nos permite definir u * v quando u S( ) e v S( ) tem
suporte compacto por
u * v() = u * (v *
(
)(0)

Utilizando a continuidade acima , peo que voc verifique que u * v S( )
no Problema 36. Para o momento vamos supor que esta convoluo tem as mesmas
propriedades como anteriormente. Peo para verificar as principais partes disto no
Problema 37.
Lembre que E S( ) uma situao fundamental para P(D), um operador
diferencial de coeficientes constantes , se P(D)E = d. tambm conveniente lembrar
que no fomos rigorosos na prova.

Definio 10.8. Uma parametrix de um operador diferencial a coeficientes P(D) uma
distribuio F S( ) tal que

(10.20) P(D)F = d + ?, ? C

( )

Um operador P(D) dito ser hipoelptico se tem um parametrix satisfazendo
(10.21) sing supp (F) {0},

onde para qualquer u S( )

(10.22) (sing supp(u))
C
= { x R
n
;

c
C ( )),
70
( x ) 0, u 0,.u

c
C ( )}.

Desde que o mesmo deve trabalhar para pontos prximos em (10.22), o
conjunto sing supp(u) fechado . Alm disso

(10.23) sing supp(u) supp(u).

No Problema 37 peo para voc mostrar que se K e K n sing supp(u) =
the

c
C ( ) com (x) = 1 em uma vizinhana de K tal que u

c
C ( ). Em
particular
(10.24) sing supp(u)= u S( ) n C

( )

Teorema 10.9. Se P(D) hipoelptica ento
(10.25) sing supp(u) = sing supp(P(D)u) u S( ).

Prova. Uma metade disto verdadeiro para qualquer operador diferencial:

Lema 10.10. Se u S( ) ento qualquer polinmio
(10.26) sing supp(P(D)u) singsupp(u) u S( ).

Prova. Nos temos que mostrar que x singsupp(u) x singsupp(P(D)u). Agora ,
se x singsupp(u) podemos achar

c
C ( ), = 1 prximo a x , tal que u

c
C ( ). Ento
P(D)u = P(D)(u + (1 - )u)
= P(D)(u)+ P(D) ((1 - )u).

O primeiro termo C

x supp P(D) ((1 - )u), e portanto x sing supp

(P(D)u).

Resta mostrar o inverso da (10.26) onde P(D) suposto ser hipoelptico. Faa F,
uma parametrix de P(D) com sing supp u {0}e suponha , or melhor faa com que, F
tenha um suporte compacto. De fato se x sing supp (P(D)u) podemos fazer com que
(supp(F)+ x) n sing supp (P(D)u) = .

Agora P(D)F = d? com ?

c
C ( ) e portanto
u = d * u = (P(D)F) * u - ? - u.

desde que ? * u C

suficiente mostrar que x sing supp ((P(D)u) * f ).

Faa

c
C ( ) com f C

, f = P(D)u mas
(supp F + x) n supp() = 0.

Ento f = f
1
+ f
2
, f
1
= f

c
C ( ) e portanto
f * F = f
1
* F + f
2
* F
71

onde f
1
* F C

( ) e x supp(f
2
. F ). Segue se que x singsupp(u).

Exemplo 10.1. Se u holomrfico em , u ? = 0, ento u C

( ).

Lembre que acabamos de ver que um operador diferencial P(D) dito ser hipoelptico
se existe F S( ) com

(10.27) P(D)F d C

( ) e sing supp(F ) {0}.

A segunda condio aqui significa que se

c
C ( ) and (x) = 1 in |x| <
para algum > 0 ento (1 - )F

c
C ( ). Sendo P(D)((1 - )F) C

( )
conclumos que
P(D)(F) d

c
C ( )
e podemos tambm supor que F, substitudo agora por F, tem suporte compacto.
Acabei de mostrar que: Se P(D) hipoelptica e u S(R
n
) ento:
Sing supp(u) = sing supp(P(D)u).

Irei lembrar voc da prova mais tarde.
Primeiro contudo quero discutir sobre a noo importante de elpticidade.
Lembre que P(D) realmente um polinmio, denominado polinmio caracterstico
( )

m
C P

Ele tem a propriedade
( ) ( ) ( ) ( ) u P u D P

u S(R
n
).

Isto mostra ( se isto no for j obvio) que podemos remover P(?) a partir de P(D)
pensando como se fosse um operador em S( ).
Podemos pensar em inverte P(D) dividindo por P(?). Isto da certo se P(?) 0,
para todo ? . Um exemplo disto
( ) 1
2
+ P =

+
n
j 1
1

Contudo mesmo o Laplaciano , ? =

n
j
j
D
1
2
no satisfaz esta condio bastante restrita.
E razovel esperar que as derivadas de ordem maior sejam as mais importantes .
Portanto consideramos
( )

m
C P

a parte principal , ou smbolo principal, de P(D).

Definio 10.11. Um polinmio P(?), ou P(D), dito ser elptico de ordem m desde que
P(?) 0, for all 0 ? .

72
Portanto o que quero mostra hoje :

Teorema 10.12. Todo operador diferencial elptico P(D) hipoelptico.

Queremos achar um parametrix para P(D); j sabemos que podemos muito bem
supor que F tem suporte compacto. Fazendo a transformada de Fourier de (10.27)
vemos que F

deve satisfazer
(10.28) P(?) F

(?) =1+ , S( ).

Aqui usamos o fato que ?

c
C ( ) S( ), e portanto tambm S( ) .
Primeiro suponha que P(?) = P
m
(?) realmente homogneo de grau m. Portanto
P
m
(?) = |?|
m
P
m
(

),

= ?/ |?| ,? 0.
A suposio na ellipticidade significa que
(10.29) P
m
(

) 0

S
n-1
= { ; || = 1}.

Pois S
n-1
compacta e P
m
contnua
(10.30) ( )
m
m
C P

, C > 0 .

para alguma constante C. Usando homogeneidade
(10.31) ( )

m
P = C |?|
m
,C > 0 ? .

Agora,para obter F

a partir da (10.28) queremos dividir por P

m
(?) ou
multiplicar por 1/ P
m
(?). O nico problema com a definio de 1/ P
m
(?) em ? = 0.
Iremos eliminar este ponto escolhendo P

c
C ( ) como antes, com (?) = 1 in |?| =
1.

Lema 10.13. Se P
m
(?) homogneo de grau m e elptico ento

(10.32) Q(?) =
( ) ( )
( )

m
P
1
S( )
a transformada de Fourier de uma parametrix de P
m
(D), satisfazendo (10.27).

Prova. Claramente Q(?) um funcional continuo e | Q(?)| = C(1+|?|)
-m
,
portanto Q S( ). Segue portanto que a transformada de Fourier de algum F
S( ). Alm disso
( ) ( ) ( ) ( ) ( )
( )
( ) ( ) ( ). ,
, 1




+


F D P
Q P F P F D P
m
m m m


Desde que . C

c
( ) S( ), ? S( ) C

( ). Portanto F uma
parametrix de P
m
(D). Temos ainda que mostrar a parte mais difcil ou seja que
(10.33) sing supp(F) {0}.
73

Podemos mostrar a (10.33) considerando as distribuies x
a
F. A idia que para
|a| grande, x
a
desvanece bastante rapidamente na origem e isto poderia enfraquecer a
singularidade de F neste ponto. De fato iremos mostrar que

(10.34) x
a
F H
|a|+m-n-1
( ), |a| > n +1 - m.

Se voc lembra, estes espaos de Sobolev so definidos em termos da
transformada de Fourier, mais precisamente temos que mostrar
( ).
2
1 | |
n
n m
R L F x
+ +

Agora ( ) ,

1
| |
F D F x

portanto precisamos estudar o comportamento das

derivadas de F

, que justamente Q(?) em (10.32).

Lema 10.14. Seja P(?) um polinmio de grau m satisfazendo

(10.35) |P(?)| = C |?|
m
em |?| > 1/C para algum C> 0, ento para alguma
constante C
a

(10.36)
( )
. / 1
1 | |
C in C
P
D
m
>

Prova. O estimado em (10.36) para 0 justamente (10.35). Queremos provar que
para cada existe um polinmio de grau no mximo igual a ) 1 ( m tal que

(10.37)
( )
( )
( ) ( )
.
1
1

P
L
P
D

Conhecendo (10.37) obtemos (10.36) facilmente pois

( )
( )
( )
.
'
1
1 1
1

+ +


m
m
C
C
C
P
D
m


Podemos provar a (10.37) por induo, pois certamente verdadeira para
0 .Suponha que seja verdade para . K Para obter a mesma identidade cada
com 1 + k basta diferenciar uma destas identidades com k uma vez. Portanto


( ) ( )
( )
( )
( ) ( )
( ) ( )
.
1
1 1
2 1

+ +
+

P
P D L
P
L D
P
D D
P
D
j j
j


74
Sendo que ( ) ( ) ( ) ( ) ( ) ( )

P D L L D P L
j j
+ 1 um polinmio de grau
no mximo igual a ( ) ( ) 1 1 1 + m m m isto prova o lema.
Voltando atrs, observe que ( )
( )

m
P
Q

1
regular em , / 1 C e portanto
(10.36) implica que

(10.38) ( ) ( )

+
m
C Q D 1
( )
n
R L Q D
2

l
if ,
2
n
m < l
a qual certamente valida se , 1 + n m l dada a (10.34). agora , teorema de
Soboley embutido

k
C F x

if .
2
1
n
k m n + + + >
Em particular isto significa que se escolhermos ) (
n
c
R C

com 0 supp ( )
ento para todo
k
x k
2
/ , regular e
. ,
2 2
2
2
n C F x
x
F
n
k
k
>

l
l

Portanto ) (
n
c
R C F

e isto o que nos quisemos mostrar , sing supp(F) {0}.
Portanto agora realmente provamos que P
m
(D) hipoelptica se elptica . Em vez de
debruarmos sobre a prova novamente para termos certeza, irei utilizar um caso para
fazer esta reviso.

Prova. Prova do teorema .Precisamos mostrar que se ( ) P elptica ento ( ) D P tem
uma parametrix F como em (10.27). A partir da discusso sobre a elpcidade de ( ) P
resulta
( ) . 0 , > c c P
m
m

Por outro lado
( ) ( )

<

m
m
C P P

um polinmio de grau no mximo igual a m -1, portanto
( ) ( ) ( ) . 1 ' 2
1
+
m
m
C P P

Isto significa que se 0 < C suficientemente grande ento em
( ) ,
2
1 ' ,
1 m m c
C C < + >

portanto
( ) ( ) ( ) ( )
( ) .
2
1 '
1 m m m
m m
c
C c
P P P P


+

Isto significa que o prprio ( ) p satisfaz as condies do Lema 10.14.
75
Portanto se ( )
n
c
R C

igual a 1 em uma bola bastante grande ento

( ) ( ) ( ) ( ) P xi Q / 1 em

C e satisfaz (10.36) que pode ser escrita como

( ) ( ) . 1

+
m
C Q D
A discusso acima agora mostra que definindo ) ( '
n
R S F por ( ) ( ) Q F

fornece uma soluo para a (10.27).

O ltimo passo na prova para mostrar que se ( )
n
R S F ' tem suporte compacto
e satisfaz (10.27), ento
( ) ( ) ( ) ( )
n n n
R C R S D P R S

' ,

( ) ( ) ( ). * *
n
R C D P F




Vamos refinar este resultado um pouco mais.
Proposio 10.15. Se f S( ) e S( ) tem suporte compacto ento
sings upp(u * f ) sing supp(u) + sing supp(f ).
Prova. Precisamos mostrar que p, sing supp(u) sing supp(f ) ento p sing supp(u
* f ). Uma vez determinado p, podemos tambm supor que f tem um suporte compacto
tambm. De fato , escolha uma bola grande B(R, 0) tal que
z B(R, 0) p supp(u) + B(R, 0).

Isto possvel pelo suposto contorno limitado de supp(u). Ento escolha

c
C ( ) com = 1 em B(R, 0);segue a partir do teorema L16.2, ou ainda pela sua
extenso para distribuies, que supp (u(1 - )f ), e portanto podemos substituir f
por f , notando que sing supp(f ) singsupp(f ). Agora se f tem um suporte compacto
podemos escolher uma vizinhana compacta K
1
, K
2
de sing supp(u) e sing supp(f ) tal
que p K
1
+ K
2
. Alm disso podemos decompor u = u
1
+ u
2
, f = f
1
+ f
2
tal que supp(u
1
)
K
1
, supp(f
2
) K
2
e u
2
, f
2

C ( ).Segue que
u * f = u
1
* f
1
+ u
2
* f
2
+ u
1
.* f
2
+ u
2
* f
2
.

Agora, p supp(u
1
* f
1
), e pela propriedade do suporte da convoluo , os trs
outros termos esto

C , pois pelo menos um dos fatores

C . Portanto p sing
supp(u * f ).
O mais importante exemplo de um operador diferencial que hipoelptico, mas
no elptico, o operador heat

(10.39) ?
t

+? = ?
t
-

n
j
x
j
1
2

De fato a distribuio
76
(10.40) E(t, x) = ( )

,
_

'

t
x
n
t
4
2 /
2
0
exp
4
1

0
0

t
t

uma soluo fundamental .Primeiro temos que verificar se E uma
distribuio. Certamente E esta em C

em t > 0. Alm disso como t ? 0 em x 0
desvanece com todas as derivadas , ento, C

exceto em t = 0, x = 0. Desde que
claramente mensurvel iremos verificar que localmente integrvel prximo da origem
, ou seja,
(10.41) ( )

<
1
1 0 ,
x
t dxdt x t E < 8
pois E = 0. Podemos trocar as variveis, fazendo X = x/t
1/2
, e portanto dx = t
n/2
dX e a
integral se torna
( )

,
_

'
0
2
2 / 2 / 1
4
exp
4
1
t x
n
dxdt
X

< 8 .

Sendo que E limitada prximo do infinito,segue-se que E S

,
E() =

0 t
dxdt x) x).(t, E(t, S(
n+1
).
Como anteriormente queremos calcular
(10.42) (?
t

+ ?) E() = E(-?
t
+? ).
= ( )( )

+


n
R
t
x t E , lim
0


Primeiro vamos verificar que (?
t
+ ?)E = 0 em t > 0, ocorre onde existe uma
funo C

. Isto um calculo simples:

?
t
E = E
t
x
E
t
n
2
2
4 2
+
?
t
E = E
t
x
j
2
, e
t
x
E
t
E
j
x
j 2
2
2
4 2
1
+
E = E
t
x
E
t
n
2
2
4 2
+ .

Agora podemos integrar por partes a (10.42) para obter
(?
t
+ ?)E() = ( )
( )
dx
e
x
n
x
R
n 2 /
4 /
0
4
, lim
2

Fazendo a mesma troca de varivel como anteriormente, X = x/2
1/2
,
(?
t
+ ?)E() = ( ) dX
e
n
x
R
n 2 /
2 / 1
0
, lim

Como ? 0 a integral limitada pela funo integrvel C exp(-|X|
2
), para algum
C > 0, e portanto pelo teorema de Lebesgue da convergncia dominante,converge para a
integral do limite. Ou seja
77
(0, 0)
2 /
2
n
R
X
dx
e
n

= (0, 0)
Portanto
(?
t
+ ?)E() = (0, 0) (?
t
+ ?)E = d
t
d
x
,

resultando ento que E uma soluo fundamental. Sendo que desvanece em t < 0
denominada de soluo fundamental para frente.
Vejamos como podemos utilizar isto.

Proposio 10.16. Se f S

Tem suporte compacto ! u S
n
com supp(m) {t =.T
} para algum T e
(10.43) (?
t

+ ?)u = f in
n+1
.

Prova. Naturalmente vamos tentar u = E * f . Que isto satisfaa a (10.43)segue a partir
das propriedades da convoluo. Similarmente se T tal que supp(f ) {t = T } ento
supp(u) supp(f ) + supp(E) {t = T].

Portanto precisamos mostrar a unicidade. Se u
1
, u
2
SR
n
em duas solues da
(10.43) ento sua diferena v = u
1
- u
2
satisfaz a equao homognea (?
t
+ ?)v = 0.
Alm disso, v = 0 em t < T para algum T.

Dado qualquer E R escolha (t) C

(R) com (t) = 0 em t > t + 1, (t) = 1

em t < t e considere
E
t
= (t)E = F
1
+ F
2
,
onde F
1
= ? E
t
para algum ?

c
C (
n+1
), ? = 1 prximo de 0. Portanto F
1
tem
suporte compacto e de fato F
2
S . Peo que voc verifique esta ltima afirmativa
atravs do Problema L18.P1.
De qualquer forma ,
(?
t

+ ?)( F
1
+ F
2
)= d + ? S , ?
t
= 0 t = t .
Agora,
(?
t

+ ? )(E
t
* u) = 0= u + ?
t
* u.
Desde que supp(?
t
) {t = t ],a segunda parte suportada em t = t = T.
Portanto u = 0 em t = t = T, mas t arbitrrio , e portanto u = 0.
Observe que esta suposio que u S no redundante no enunciado da
Proposio,se permitirmos grandes solues elas tornam-se no nicas. O Problema
L18.P2 pede que voc aplique a soluo fundamental para resolver o problema do valor
inicial para o operador calor.
A seguir fazemos um uso similar da soluo fundamental para o operador de
Laplace. Se n = 3 o
(10.44) E = C
n
|x|
-n+2

uma soluo fundamental. Voc pode verificar que ? E
n
= 0 em x 0 diretamente , eu
irei mostrar mais tarde que ? E
n
= d, para uma apropriada escolha de C
n
, mas voc pode
fazer isto diretamente, como no caso n = 3.

Teorema 10.17. Se f S !u

c
C tal que ? u = f
78
Prova. Desde que a convoluo u = E * f S n

c
C
n
definida certamente
obtemos uma soluo para ? u = f desta forma. Precisamos verificar que u

c
C .
Primeiro sabemos que ? hipoelptica e portanto podemos decompor
E = F
1
+ F
2
, F
1
S , supp F,
E ento F
2
S . De fato podemos ver a partir de (10.44) que
( )


2
2
1 *
+
+ +
n
N
x C f F D u D
Agora, F
1
- f S , como mostramos anteriormente, e continuando a
integrao vemos que
( )
N
N
x C f F D u D

+ + 1 *
2

N
( )

2
'
1
+
+
n
x C
Sendo n > 2 segue que u

0
C
Portanto falta somente a unicidade . Se existirem dois solues , u
1
, u
2
para um dado
f ento v = u
1
- u
2

0
C satisfaz ?v = 0. Desde que v S podemos usar a
transformada de Fourier e ver que
|?|
2
v (?) = 0 supp( v ) {0}.
Um problema anterior foi concluir a partir disto que v =

m
D C

para alguma constante

C

. Isto por sua vez implica que v um polinmio. Contudo os nicos polinmios em
0
0
C
so identicamente 0. Portanto v =0 e a unicidade fica provada .

A prxima vez irei falar de distribuies homogneas . Em as funes

'

0
s
s
t
x
x
0
0
<
>
x
x

onde S , localmente integrvel (e portanto uma distribuio fundamental) precisamente
quando S > - 1.Como funo homognea de grau s.Portanto se a > 0 ento
( )
s
t
s
s
t
x a ax .

Considerando
s
t
x =
s como uma distribuio podemos estabelecer isto como

s
(ax)() =
s
(ax) (x) dx
=
s
(x)(x/a)
a
dx

= a
s

s
().
Portanto se definimos
a
(x)=

,
_

a
x
a

1
, para qualquer a > 0, S(R) podemos dizer
que uma distribuio homognea se :
( ) ( )
s
a
a S( ).
79
11. Problemas

Problema 1. Prove que u
+
, definido pela (1.10) linear.

Problema 2. Prove Lema 1.8.
Sugesto. Todas as funes aqui so supostas serem contnuas, eu no me preocupei em
mencionar isto.
(1) Lembre,ou verifique,que a compactividade local de um espao mtrico X significa
que para cada ponto x X existe um > 0 tal que a bola {y X; d(x, y) = d}
compacta para d = .

(2) Primeiro faa o caso n = 1, e portanto K U um subconjunto aberto compacto.
(a) Dado d > 0, use a compactividade local de X, para cobrir K com um
nmero finito de bolas fechadas compactas de raio no mximo igual a d.
(b) Deduza que se > 0 pequeno o bastante ento o conjunto {x X;
d(x, K) = }, onde
d(x, K) =
K y
inf inf d(x, y),
compacto.
(c) Mostre que d(x, K), para K compacto, contnuo.
(d)Dado > 0 mostre que existe uma funo continua g
:

? [0, 1] tal que g

(t) = 1 para t = /2 e g

(t) = 0 para t > 3/4.

(e) Mostre que f = g

o d(,K) satisfaz as condies para n =1 se > 0

bastante pequeno.

(3) Prove o caso geral pela induo sobre n.
(a)No caso geral, faa K = K n
C
U
1
e mostre que a hiptese indutiva
aplica-se para K o U
j
para j > 1; faa f
j
, j =2,..., n ser a funo fornecida
pela suposio indutiva e faa f =

2
'
j
j
f
(b)Mostre que K
1
= K n

'

2
1
' f um subconjunto compacto de U
1
.
(c) Usando o caso n = 1 construa uma funo F para K
1
e U
1
.
(d) Use ainda o caso n = 1 para achar G tal que G = 1 em K e supp(G)

'

> +
2
1
' F f
(e) Interprete as funes
' '
1
F f
G
F f
+
,
'
'
'
F f
G
f f
j j
+
, j 2
e mostre que satisfazem as suposies indutivas.

Problema 3. Mostre que s -algebras so fechados sob interseces contveis.

Problema 4. (Fcil) Mostre que se uma mediada completa e E F onde F
mensurvel e tem medida 0 ento (E)=0.
80
Problema 5. Mostre que subconjuntos compactos so mensurveis para qualquer
medida de Borel. (Isto apenas significa que conjuntos compactos so campos de Borel
se voc caminhar atravs da terminologia tortuosa).

Problema 6. Mostre que a menor s -algebra contendo os conjuntos
(a, 8 ] [-8 , 8 ]
para todo a , gera o que chamamos acima de Borel s -algebra em [-8 , 8 ].

Problema 7. Desenvolva uma prova cuidadosa da Proposio 1.1.

Problema 8. Desenvolva uma prova cuidadosa Proposio 1.2.

Problema 9. Seja X um espao mtrico
X = {0}U{1/n; n = {1, 2,...}}
Com a mtrica induzida (ou seja a mesma distncia como em ). Lembre porque o X
compacto. Mostre que o espao C
0
(X) e seu dual tem dimenso infinita. Tente descrever
o espao dual em termos de seqncias; pelo menos faa uma estimativa da resposta.

Problema 10. Para o espao Y = = {1, 2,...} , descreva C
0
(Y) e sugira uma
descrio de seu dual em termos de seqncias.

Problema 11. Seja (X, M, ) um espao de medidas qualquer (portanto uma medida
no s -algebra M de subconjuntos de X). Mostre que o conjunto de classes equivalentes
de funes - integrable em X, com a relao de equivalncia dada por (3.9), um
espao linear normalizado com a estrutura linear usual e norma dada por

X
d f f

Problema 12. Seja (X, M) um conjunto com uma s -algebra. Seja : M? uma
medida finita no sentido que (f ) = 0 e para qualquer { }

1 i i
E M with E
i
n E
j
= for i
j,
(11.1) ( )

,
_

1 1 i
i
i
i
E E
U

com a serie a direita sempre absolutamente convergente (ou seja, isto parte do
requisito sobre ). Defina
(11.2) ||(E) = ( )

1
sup
i
i
E
para E M, com o supremo sobre todas as decomposies mensurveis
U

1 i
i
E E com os Ei disjuntos. Mostre que || uma medida finita e positiva.
Sugesto 1. Voc deve mostrar que ||(E) = ( )
i
i
A

1
se E A
i
i

U
, A
i
M sendo
disjunto. Observe que se A
j
=
U
l
jl
A uma decomposio de A
j
ento os A
jl ju
juntos
fornecem uma decomposio E. Similarmente, se E =
U
j
j
E qualquer tal
decomposio de E ento A
jl
= A
j
n E
l
fornece uma decomposio de A
j

81
Sugesto 2. Veja [5] p. 117!

Problema 13. (Decomposio de Hahn) Com suposies iguais as do Problema 12:
(1) Mostre que
+
= ( ) +
2
1
e
-
= ( )
2
1
so medidas positivas, =
+
-

-
. Conclua que a definio de uma medida baseada na (3.17) a mesma que no
Problema 12.
(2)Mostre que

assim construdos so ortogonais no sentido de que existe um

conjunto E M tal que
-
(E) = 0,
+
(X \ E)=0.
Sugesto. Use a definio de || para mostrar que para qualquer E M e qualquer > 0
existe um subconjunto F M, F F tal que
+
(F) =
+
(F) - e
-
(F) . Dado d >
0 aplique este resultado repetitivamente (digamos com = 2
-n
) para achar uma
seqncia decrescente de conjuntos F
1
= X, F
n
M, F
n+1
F
n
tal que
+
F
n

+
(F
n-1
)-2
-
n
e
-
F
n
-2
-n
. Conclua que G =
I
m
n
F tem =
+
(G)
+
(X) -d e
-
(G) = 0. Agora faa
Gm e escolha m tal que d =1/m. Mostre que E =
U
m
m
G como requerido.

Problema 14. Agora suponha que uma medida Radon positiva e finita em um espao
mtrico localmente compacto X (significando uma medida externa definida positiva de
Borel regular nos conjuntos de Borel e regular internamente em conjuntos abertos).
Mostre que regular internamente sobre todos os conjuntos de Borel e portanto,dado
> 0 e E B(X) existem cojuntos K E U com K compacto e U aberto tais que (K)
= (E) - , (E) = (U) - .
Sugesto. Primeiro faa U aberto, depois utilize sua regularidade interna para encontrar
K com K U e (K) = (U).-./2. O quanto grande (E\K)? Determine V K\E
com V aberto e olhe para K = K\V.

Problema 15. Utilizando o Problema 14mostre que se uma medida de Borel finita
em um espao mtrico localmente compacto X ento as trs seguintes condies so
equivalentes
(1) =
1
-

2

com
1

e
2
ambos uma medida Radon positiva definida.

(2) || uma medida Radon finita e positiva.
(3)
+
uma medida Radon finita e positiva.

Problema 16. Seja || || uma norma no espao vetorial V. Mostre que ||u|| = (u, u)
1/2
para
um produto escalar satisfazendo (4.1) -(4.4) se e somente se a lei do paralelogramo
vlida para todo par u, v V.
Sugesto (De Dimitri Kountourogiannis) Se || || provem de um produto escalar,ento
deve satisfazer a identidade da polaridade:
(x, y)= 1/4(||x + y||
2
- || x y||
2
- i||x + iy||
2
i||x iy||
2
)
ou seja, o produto escalar recupervel a partir da norma, portanto utilize o lado direito
pois ir precisar da lei do paralelogramo para verificar a aditividade no lado direito.
Observe que a identidade da polaridade um pouco mais transparente para o espao
vetorial real. Temos ento
(x, y)=
1/2
(||x + y||
2
- ||x y||
2
)

82
ambos so fces de provar usando ||a||
2
=(a, a).

Problema 17. Mostre (Rudin faz isto) que se u : ? tem derivadas parciais
continuas ento diferenvel em cada ponto no sentido da (5.5).

Problema 18. Considere a funo f (x) = x
-1
= (1 + |x|
2
)
-1/2
. Mostre que
( )
3

x x l
x
f
j
j


com l
j
(x) uma funo linear. Conclua por induo que
1
x ( )
n k
R C
0
for all k.

Problema 19. Mostre que exp(-|x|
2
) S( ).

Problema 20. Prove (6.7), provavelmente por induo sobre k.

Problema 21. Prove Lema 6.4.

Sugesto. Mostre que um conjunto U 0 in S( ) uma vizinhana de 0 se e somente
se para algum k e > 0 contm um conjunto da forma

'

<

k
k
n
D x R s
,
sup ); (

Problema 22. Prove a (7.7), calculando as integrais.

Problema 23. Prove a (7.9) onde
( ) ( )dt tx z
z
x z
j
j
' ' ;
'
0
+

Problema 24. Prove a (7.20). Provavelmente voc ter que voltar aos primeiros
princpios para fazer isto. Mostre que suficiente supor que u = 0 tem suporte
compacto. Ento mostre que suficiente supor que u uma simples funo integrvel.
Finalmente olhe para a definio da medida de Lebesgue e mostre que se E R
n

Borel e tem uma medida de Lebesgue finita ento:
( ) ( ) 0 \ lim +

t E E
t

onde = medida de Lebesgue e
E + t = {p R
n
; p + t, p E}.

Problema 25. Prove a formula de Leibniz
( )

,
_

x x x
d D D
83
para qualquer funo C

e e ? . Aqui a e so multi- ndices, = a significa j = aj

para cada j
?
e

,
_

,
_

j j
j

Sugiro a induo!

Problema 26. Prove a generalizao da Proposio 7.10 que u S( ), supp(w)
{0} implica que existem constantes ca, |a| = m, para m, tal que

m
D c u

Sugesto.Isto no fcil! Seria contente se voc pode provar que u M ( ), supp u
{0}implica u = cd. Para ver isto, voc pode mostrar que
S(R
n
), (0) = 0

j
S( ),
j
(x) = 0 in |x|
j
> 0(0),
sup |
j -
| 0 as j .
Para provar o caso geral voc precisa algo semelhante dado m, se S( ) e
( ) 0 0

x
D para |a| = m ento
j
S(R
n
),
j
= 0 em |x| =
j
,.
j
? 0 tal que.
j
? em
C
m
norma.

Problema 27. Se m , m > 0 mostre que u H
m
( ) e

u
D H
m
( ) para todo
|a|= m implica em u H
+n
( ). O inverso verdadeiro?

Problema 28. Mostre que todo elemento u L
2
( ) pode ser escrito como a soma

+
n
j
j j
u D u u
1
0
, u
j
H
1
( ), j = 0,..., n.

Problema 29. Considere para n = 1, a funo localmente integrvel (a funo
Heaviside),
( )

'

1
0
x H
1
0
>

x
x

Mostre que D
x
H(
x
)= cd; o que a constante c?

Problema 30. Para que faixa de valores m verdadeiro que d H
m
( ), d() = (0)?

Problema 31. Tente escrever a medida de Dirac explicitamente (o quanto for possvel)
na forma da (9.8). Quantas derivadas voc acha que sejam necessrias?

Problema 32. Refaa ainda o calculo de E, mas agora cortando fora um disco {x
2
+ y
2

=
2
}.

Problema 33. Considere o Laplaciano, (10.4), para n = 3. Mostre que E = c(x
2
+ y
2
)
-1/2

uma soluo fundamental para algum valor de c.
84

Problema 34. Lembre que uma topologia em um conjunto X uma coleo F de
subconjuntos (denominados conjuntos abertos) com propriedades, F, X F e F
fechado sob interseces finitas e unies arbitrrias. Mostre que a seguinte definio de
um conjunto aberto U S( ) define uma topologia:
u U and all S( ) > 0 st.
|(u - u)()| < u U.
Esta denominada topologia fraca (pois existem muitos poucos conjuntos abertos).
Mostre que u
j
? u fracamente em S( ) significa que para todo conjunto aberto U u
N st. u
j
U j = N.

Problema 35. Prove (10.18) onde u S( ) e , ? S( ).

Problema 36. Mostre que para um determinado v S( ) com suporte compacto
S( ) ? v * S( )
um mapa contnuo linear.

Problema 37. Prove que ?? tem as propriedades do Teorema 10.6 para u * v onde u
S( ) e v S( ) com pelo menos uma delas tendo suporte compacto.

Problema 38. Use Teorema 10.9 para mostrar que se P(D) hipoelptica ento todo
parametrix F S(R
n
) tem sing supp(F)= {0}.

Problema 39. Mostre que se P(D) um operador diferencial elptico de ordem m, u
L
2
( ) e P(D)u L
2
( ) ento u H
m
( ).

Problema 40 (Teorema de Taylor) Seja u : ? uma funo real que k vezes
continuamente diferenvel. Prove que existe um polinmio p e uma funo contnua v
tal que
( ) ( ) ( ) x v x p x u + onde
( )
0 lim
0

k
x
x
x v

Problema 41. Seja C( ) o espao das funes contnuas em uma bola (fechada)
unitria, = {x ; |x| = 1}. Seja C
0
( ) C( ) o subespao de funes que
desvanecem em cada ponto do contorno e seja C(S
n-1
) o espao das funes contnuas
na esfera unitria. Mostre que a incluso e restrio no contorno fornece uma seqncia
exata e curta
C
0
(B
n
).? C( ) ? C(S
n-1
)
(significando que o primeiro mapa injetivo, o segundo sujetivo e a imagem do
primeiro o espao nulo do segundo.)

Problema 42 (Medidas). Uma medida em uma bola uma funo continua linear :
C(B
n
).? R onde a continuidade em relao a norma supremu, ou seja, deve existir
uma constante C tal que
|(f)| = C
n
R x
sup |f (x)| f C( )
85
Seja M( o espao linear de tais medidas. O espao de medidas M(S
n-1
) na esfera
definido de forma anloga. Descreve um mapa injetivo
M(S
n-1
).? M( ).
Voc pode definir um outro espao tal que possa ser estendido para uma seqncia curta
e exata?

Problema 43. Mostre que a integral Riemann define uma medida
(11.3) C( ) f ? ( )
n
B
dx x f
Problema 44. Se g C( ) e M( ) mostre que g M( ) onde (g)(f) = (f g)
para todo f C( ). Descreva todas as medidas com a propriedade que
x
j
= 0 in M( ) for j =1,..., n.

Problema 45 (Teorema de Hrmander, 3.1.4). Seja I um intervalo aberto no
vazio.
i) Mostre (pode utilizar os resultados vistos em aula) que existe ?

c
C (I) com
( ) 1

R
ds x
ii) Mostre que qualquer

c
C (I) pode ser escrito na forma
=
~
+ c?, c C,
~

c
C (I) com 0
~

R

iii) Mostre que se
~

c
C e 0
~

R
ento existe

c
C (I) tal que
dx
du
em I.
iv) Suponha que u C
-
satisfaz 0
dx
du
, ou seja,
0
,
_

dx
d
u

c
C (I),
mostre que u = c para alguma constante c.
v) Suponha que u C
-
(I) satisfaz
dx
du
= c, para alguma constante c, mostre que u = cx
+ d para algum d C.

Problema 46. [Teorema de Hrmander 3.1.16]
i) Use a formula de Taylor para mostrar que existe um determinado ?

c
C ( ) tal
que qualquer

c
C ( ) pode ser escrito na forma

+
n
j
j j
x c
1

onde c C e o
j

c
C ( ) dependem de .
ii) Lembre que a distribuio definida por
d
0
()= (0)

c
C ( );
explica porque d
0
C
-
( ).
86
iii) Mostre que se u C
-
( ) e u(x
j
) = 0 para todo

c
C ( ) e j = 1, , n ento
u = c d
0
para algum c C.
iv) Defina a funo Heaviside
( ) ( )

0
dx s H

c
C ( )
mostre que H

c
C ( )
v) Calcule
dx
d
H

c
C ( )

Problema 47. Usando os Problemas 45 e 46, determine todo u

c
C ( ) satisfazendo a
equao diferencial
0
dx
du
x em

Estes trs problemas tratam de distribuies homogneas em um linha, estendendo
vrios aspectos usando o fato que
( )

'

+
0
log exp x z
x
z

0
0

>
x
x


uma funo continua em se Re z > 0 e diferenvel se Re z > 1 e nestas
condies satisfaz
1
*

z z
zx x
dx
d

Utilizamos isto para definir
(11.4)
k z
k
k
z
x
dx
d
z k kz z k z
x
+
+ +
+ + + +

1
1
...
1
1 1
if z C\


Problema 48. [Regularizao Hadamard ]
i) Mostre que (11.4) significa que para cada

c
C ( )
( )
( )
( ) ( )
( )

+
+ +
+ +

0
1 ...
1
k z
k
k
z
x x
dx
d
z k z
x

, Re z > -k, z -
ii) Use a integrao por partes para mostrar que
(11.5) ( ) ( ) ( )
1
]
1

+
+
k
j
j
z z
j z
C dx x x x
1
0 0
lim

, Re z > -k, z -
para certas constantes C
j
(f ) que voc pode fornecer explicitamente. [Isto denominado
regularizao Hadamard aps Jacques Hadamard, esteja a vontade em consultar seu
livro clssico [3].]
iii) Supondo que - k +1 = Re z> - k, z. - k +1, mostre que pode existir somente um
conjunto de constantes com < k (para cada escolha de

c
C ( )) tal que o limite em
(11.5) existe.
iiv) Use ii), e talvez a iii), para mostrar que
87
1
+ +

z z
zx x
dx
d
in C
-
( ) z - = {0, 1,... }.
v) Similarmente mostre que x
z
x
+
=
1 +
+
z
x para todo z -
vi) Mostre que
z
x
+
=0 em x < 0 para todo z - . (Duh.)

Problema 49. [Espao nulo de x z
dx
d
x
]

i) Mostre que se u

C ( ) ento u
~
() = u(
~
), onde
~
(x) = (-x)

c
C ( ),
define um elemento de C
-
( ). O que u
~
se u C
0
( )? Calcule
0
~
.
ii) Mostre que u
dx
d
u
dx
d
~
~

iii) Defina
z x
x x
+
para z - e mostre que
1


z z
zx x
dx
d
e
1 +


z z
x xx
iv) Suponha que u

C ( ) satisfaz a equao distribucional 0

,
_

u z
dx
d
x
(significando naturalmente, zu
dx
du
x onde z uma constante). Mostre que
0 0
| |
> + >

x
z
x
x c u e
0 0
| |
< <

x
z
x
x c u
para alguma constante c

.
Deduza que v = u c+
z
x
+
-c-
z
x

satisfaz
0
,
_

v z
dx
d
x e supp(v) {0}
v) Mostre que para cada k N, 0 1
0

,
_

+ +
k
k
dx
d
k
dx
d
x
vi) Usando o fato que qualquer v

C ( ) com supp(v) {0} uma soma finita de

constantes mltiplas de 0
0

k
k
dx
d
, mostre que, para z - , a nica soluo de (11.6)
v =0.
vii) Conclua que para z -
(11.7) ( )

'

,
_

0 ; u z
dx
d
x R c u
um espao vetorial a duas dimenses.

Problema 50. [Integral de Ordem negativa] Para fazer o mesmo com integrais de ordem
negativa temos que trabalhar um pouco diferentemente. Faa k .
i) Definimos convergncia fraca de distribuies dizendo u
n
? u em

c
C (X), onde u
n
, u

C (X), X sendo aberto, se u

n
() ? u() para cada

c
C (X). Mostre que u
n

? u implica que
j j
n
x
u
x
u

para cada j =1,..., n e fu

n
? fu se f

C (X)

88
ii) Mostre que (z + k)
z
x
+
fracamente continua quando z ? -k no sentido que para
qualquer seqncia z
n
? -k, z
n
-N, (z
n
+ k)
z
x
+
? v
k

onde
+ +
+
+
x
dx
d
k
v
k
k
k 1
1
1
1
...
1
1
,
1
+ +
x x
iii) Calcule v
k
, incluindo o fator constante.
iv) Faa o mesmo para (z + k)
z
x

quando z ? -k.
v) Mostre que existe uma combinao linear (z + k) ( ) ( )
z z
x k c x
+
+
tal que quando z ? -k o limite zero.
vi) Se voc se aprofundar,mostre que de fato
z
x
+
+ c(k)
z
x

tambm tem um limite fraco,

u
k
, quando z ? -k. [Esta pode ser a parte mais difcil.]
vii) Mostre que esta distribuio limite satisfaz 0
,
_

+
k
u k
dx
d
x .
viii) Conclua que (11.7) de fato vlida para z - tambm. [Existem ainda algumas
coisas a serem provadas para chegar a isto.]


Problema 51. Mostre que para qualquer conjunto G
( ) ( )

1
inf *
i
i
A v G v
onde o nfimo tomado sobre as coberturas de G por conjuntos retangulares (produtos
de intervalos).

Problema 52. Mostre que uma s -algebra fechada sob interseces contveis.

Problema 53. Mostre que conjuntos compactos so Lebesgue mensurveis e tem volume
finito e tambm mostre a regularidade interna da medida de Lesbegue em conjuntos
abertos, ou seja se E aberto ento
(11.8) v(E) = sup{v(K); K E, K compacto}.

Problema 54. Mostre que um conjunto B R
n
Lebesgue mensurvel se e somente se
v * (E)= v * (E n B)+ v * (E n B
C.
) aberto E .
[A definio para todo E .]

Problema 55. Mostre que uma funo continua real f : U.? em um conjunto aberto,
Lebesgue integravel, no sentido que f
-1
(I) U mensurvel para cada
intervalo I.

Problema 56. Espao de Hilbert e o teorema da representao de Riesz. Se precisar de
ajuda, esta pode ser encontrada em vrias partes, por exemplo [6] tem um bom
tratamento.
i)Um espao pre-Hilbert um espao vetorial V (sobre ) com um produto
escalar positivo definido sesquilinear ou seja uma funo
89
V V (v, w) ? v, w
Satisfazendo
v, w = v, w
a
1
v
1
+ a
2
v
2
,w = a
1
v
1
, w + a
2
v
2
, w.
v, v.= 0
v, v =0 v = 0.

Prove a desigualdade deSchwarz,
|u, v| = u
1/2
v
1/2
u, v V.

Sugesto: Reduza para o caso v, v = 1 e ento expanda
u - u, vv, u - u, v v = 0.
ii) Mostre que ||v|| = v, v
1/2
uma norma e que satisfaz a lei do paralelogramo:
(11.9) ||v
1
+ v
2
||
2
+ ||v
1
- v
2
||
2
= 2||v
1
||
2
+ 2||v
2
||
2
v
1
,v
2
V.
iii) Inversamente, suponha que V um espao linear em com uma norma que
satisfaz (11.9). Mostre que
4v, w = ||v + w||
2
- ||v + w||
2
+ i||v + iw||
2
- i||v iw||
2

defina um produto escalar pre-Hilbert que fornece a norma original.
iv) Seja V um espao de Hilbert, e portanto como em (i) e alm disso completo
tambm. Seja V um subconjunto convexo fechado e no vazio, significando
que v, w (v + w)/2 C. Mostre que existe um nico v minimizando
a norma, ou seja tal que
||v|| =
C
inf ||w||
Sugesto: Use a lei do paralelogramo para mostrar que uma norma minimizando
seqncia Cauchy.
v) Seja u : H ? um funcional contnuo linear no espao de Hilbert, e
portanto, |u()| = C|||| H. Mostre que sendo N = { H; u() = 0}
fechado e que se v
0
H tem u(v
0
) = 0 ento cada v H pode ser escrito na
forma
v = c v
0
+ w, c C, w N.
vi) Com u como em v), no o zero functonal,mostre que existe
um nico f H com u(f) =1 e w, f = 0 para todo w N.
Sugesto: Aplique iv) to C = {g V; u(g) = 1}.

vii) Prove atravs do teorema da representao de Riesz, que todo funcional
contnuo linear no espao de Hilbert da forma
u
f
: H ? , f para um nico f H.

Problema 57. Densidade de

c
C ( ) em L
p
( ).
i) Recorde em poucas palavras porque funes simples integrveis so densas
em L
1
(R
n
) com relao a norma ||f||
L
1
= |f (x)|dx.
ii) ii) Mostre que funes simples ( )

N
j
j j
U X c
1
onde os U
j
so abertos e
limitados so tambm densas em L
1
( ).
90
iii) Mostre que se U aberto e limitado ento F(y) = v(U n U
y
), onde U
y
= {z
; z = y + y,.y. U} contnuo em y
C
y
U e
v(U n
C
y
U )+ v(
C
y
U n Uy) ? 0 as y ? 0.
iv) Se U aberto e limitado e

c
C ( ) mostre que
( ) ( )

U
dy y x x f

c
C (
v) Mostre que se U aberto e limitado ento i
( ) ( ) 0 sup

dx y x X x X
U U
y
quando 0.
vi) Se U aberto e limitado e

c
C ( ), = 0 =1 ento
f

? ?
U
em L
1
( ) quando d ? 0
onde.


( ) ( ) . dy y x u
y
x
n

,
_

Sugesto: Escreva ( ) ( )

,
_

x u
y
x u
n

e use a v).
vii) Conclua que ( )
n
c
R C

denso em ( )
n
R L
1
.
viii) Mostre que ( )
n
c
R C

dense em ( )
n p
R L para qualquer 0 1 < p .

Problem 58. Teorema de representao Schwartz. Aqui ns vamos tratar seriamente das
estruturas gerais das distribuies fundamentais.
i)Lembre brevemente da prova do teorema da imerso de Sobolev e o
correspondente estimado
( ) .
2
,
sup
R m
n
C x
m
n
H
R x
<

ii) Para 1 + n m escreva uma norma (n equivalente) para o lado direito na
forma que no envolva a transformada de Fourier.
iii) Mostre que para qualquer
0
N .
( ) ( ) . 1 1
2
,
2

,
_

D x C x D
N
N
N

iv) Deduza o estimado geral
( ) ( ) ( ) . 1 1
1
2 2
sup
+ +

+ +
n N
N
N
N
R x
N
H x C x D x
n

v) Conclua que para cada distribuio fundamental ) ( '
n
R S existe um inteiro
N e uma constante C tal que
( ) ( ) ( ). 1
2
2
n
H
N
R S x C
N
+
vi) Mostre que ( ) ( )
n
N
R S x ' 1
2
+

satisfaz
91
( ) ( ) ( ). 1
2
2
n
L
N
R S D C +
vi) Lembre (a parte das aulas ou seno mostre isto) que se v uma distribuio
fundamental ento existe um nico w ( )
n
R S' tal que ( ) + w D
N
2
1 .
vii) Use o Teorema da Representao de Riesz para concluir que para cada
distribuio fundamental u existe N e w ( )
n
R L
2
tal que
(11.10) ( ) ( ) w x D
N N
2 2
1 1 + +
viii) Use a transformada de Fourier ) ( '
n
R S (e o fato que um isoformismo em
( )
n
R L
2
) para mostrar que qualquer distribuio temperada pode ser escrita na
forma ( ) ( ) w D x
N N
2 2
1 1 + + para algum N e w ( )
n
R L
2
.
ix) Mostre que qualquer distribuio temperada pode ser escrita na forma
( ) ( ) w D x
n N N
~
1 1
1
2 2
+ +
+ + para algum N e algum
( )
( ).
~ 1 2 n n
R H w
+

x) Conclua que qualquer distribuio temperada pode ser escrita na forma
( ) ( ) U D x
M N
2 2
1 1 + + para algum N,M e uma funo continua limitada U.

Problema 59. Distribuies de suporte compacto.
i) Lembre a definio do suporte de uma distribuio, definida em termos de seu
complemento
n
R \supp , ; { ) (
n n
R U R p aberta, com p U tal que u|
U
=
0}.
ii) Mostre que se u ( )
n
R C

e ( )
n
c
R C

satisfaz supp(u) n supp ( ) = ou

ento u ( ) = 0.
iii) Considere o espao t ( )
n
R C

de todas as funes regulares em R

n
, sem
restrio aos suportes. Mostre que para cada N
( )
( ) x f D f
N x N
N

sup
,

uma semi norma em ( )
n
R C

(significando que satisfaz ||f||.= 0, ||cf|| = |c|.||f||

para c C e a desigualdade do triangulo mas que ||f|| = 0 no necessariamente
implica que f = 0.)
iv) Mostre que ( )
n
R C
c

( )
n
R C

densa no sentido que para cada f ( )

n
R C

existe uma seqncia f
n
em ( )
n
R C
c

tal que ||f f

n
||
(N)
? 0 para cada N.
v) Seja (R
n
) representando temporariamente (ou permanentemente se preferir)
o espao dual ( )
n
R C

(que tambm escrito como (R

n
)), isto , v (R
n
)
um mapa linear v : ( )
n
R C

? C que contnuo no sentido que para algum N

(11.11) |v(f)| = C ||f ||
(
N)

f ( )
n
R C

.
Mostre que o tal v uma distribuio e que o mapa a (R
n
) ? ( )
n
R C

injectivo.
vi) Mostre que se v (R
n
) satisfaz (11.11) e f ( )
n
R C

tem f =0 em |x| < N +

. Para algum > 0 ento v(f)= 0.
92
vii) Conclua que cada elemento de (R
n
) tem suporte compacto quando
considerado como um elemento de ( )
n
R C

.
viii) Mostre o inverso, que cada elemento de ( )
n
R C

com suporte compacto

um elemento de (R
n
) ( )
n
R C

e portanto conclua que (R

n
) o espao das
distribuies de suporte compacto.
Irei representar o espao das distribuies de suporte compacto por ( ) R C
c

.
Problema 60. Hipoelipticidade do operador heat H = iD
t
+ ? = iD
t
+

n
j
x
j
D
1
2
em R
n+1
.


(1) Usando t para representar a varivel dual para t e ? R
n
para representar as
variveis duais para x R
n
observe que H = p(D
t
,Dx) onde p = it + | ? |
2
.
(2) Mostre que |p(t, ?)| > ( )
2
2
1
+
(3) Use um argumento indutivo para mostrar que, em (t, ?) 0 onde isto faz
sentido,
(11.12)
( )
( )
( )
+ +

1
, .
, ,
1
j k
j k k
t
p
q
p
D D

onde q
k,a,j
(?) um polinmio de grau (no mximo) 2j - |a|.
(4) Conclua que se ( )
1 + n
R C
c
identicamente igual a 1 nas vizinhanas de 0
ento a funo

( )
( )
2
1

i
g
a transformada de Fourier de uma distribuio F S( ) com singsupp(F) {0}.
[Lembre que sing supp(F) o complemento do maior subconjunto aberto de a
restrio de F para a qual regular].
(5) Mostre que F uma parametrix para o operador heat.
(6) Deduza que iD
t
+ ? is hipoelptica isto , se U R
n
um conjunto aberto e
u ( ) U C

satisfaz (iD
t
+ ? )u ( ) U C

ento u ( ) U C

.
(7) Mostre que iD
t
- ? tambm hipoelptica.

Problema 61. Conjunto de clculos sobre WF (Wave Front) e mais- todos bastante
simples, especialmente se utilizar os resultados vistos em aula.
i) Calcule WF(d) onde d S( ) a funo delta de Dirac na origem.
ii) Calcule WF(H(x)) onde H(x) S( ) a funo Heaviside
( )

'

0
1
x H
0
0

>
x
x

Sugesto: Dx elptica em uma dimenso, utilize-a junto com o H.
iii) Calcule WF(E), E = iH(x
1
)d(x) que o Heaviside na primeira varivel em
R
n
, n > 1, e delta nos outros.
iv) Mostre que D
xi
E = d, e portanto E uma soluo fundamental de D
xi
.
v) Se f ? ( )
n
R C
c

mostre que u = E * f resolve D

xi
u = f.
93
vi) O que nos diz nosso estimado de WF(E * f) acerca de WF(u) em termos de
WF(f)?

Problema 62. A equao de onda em duas variveis (ou uma varivel espacial).
i) Lembre que a funo de Riemann
( )

'

0
4
1
, x t E
otherwise
x - t and x t if > >

uma soluo fundamental de
2 2
x t
D D (verifique minha constante).
ii) Ache o suporte singular de E.
iii) Escreva a transformada de Fourier (dual) nas variveis t, ? e mostre que
WF(E) ? {0} S
1
? {(t, x, t, ?); - x = t > 0 e ? + t = 0}
? {(t, x, t , ?);.- x = t > 0 and ? = t }.
iv)Mostre que se f ? ( )
2
R C
c

ento u = E * f satisfaz (
2 2
x t
D D )u = f
v) Com u definido como em iv) mostre que
supp(u) ? {(t, x); ?
(t, x) ? supp(f) com t + x = t + x e t x = t - x}.
vi) Esboce um exemplo ilustrativo de v).
vii) Utilizando ainda u dado por iv),mostre que
sing supp(u) ? {(t, x); ? (t, x) ? sing supp(f) com
t = te t + x = t + x or t - x = t x}.
viii) Coloque um limite em WF(u) em termos de WF(f).

Problema 63. Um pouco sobre o teorema de unicidade. Suponha que u ? ( )
n
R C
c

lembre que a transformada de Fourier u ? ( )
n
R C
c

. Agora suponha que u ? ( )

n
R C
c

satisfaz P(D)u = 0 para algum polinmio no trivial P, mostre que u = 0.

Problema 64. Trabalhe com o comportamento elementar da equao do calor.
i) Mostre que a funo em R R
n
, para n = 1,
( )

'

,
_

0
4
exp
,
2
2
t
x
t
x t F
n

0
0

>
t
t

is mensurvel, limitada em qualquer conjunto {|(t, x)| = R} e integrvel em {|(t,
x)|= R} para qualquer R > 0

ii) Conclua que F define uma distribuio temperada em
n+1
.
iii) Mostre que F

C fora da origem
iv) Mostre que F satisfaz a equao do calor
( ) 0 ,
1
2

,
_

x t F
n
j
x t
j
em (t, x) 0
94
v) Mostre que F satisfaz
(11.13) F (s
2
t, sx) = s
-n
F(t, x) in S(
n+1
)
onde o lado esquerdo definido pela dualidade F (s
2
t, sx)= F
s
onde
Fs() = s
-n-2
F (
1
/
s
),
1
/
s
(t, x) =

,
_

s
x t
s
,
2

vi) Conclua que
( ) ( ) x t G x t F
n
j
x t
j
, ,
1
2

,
_

onde G(t,x) satisfaz
(11.14) ( ) ( ) ( )
1 2 2
' , ,
+

n n
R inS x t G s sx t s G
no mesmo sentido que acima e tem suporte at {0}.
vii) Portanto deduza que
(11.15) ( ) ( ) ( ) x t c x t F
n
j
x t
j

,
_

,
1
2

para alguma constante real c.
Sugesto: Verifique que distribuies com suporte em (0, 0) satisfazem a (11.14).
viii) Se ? ( )
1 + n
c
R C mostre que u = F * ? satisfaz
(11.16) u ( )
1 + n
R C e
[ s s t R x
n
, ,
sup

( ) ( ) x t u D x
N
, 1

+ < S > 0, N
n+1
, N
ix) Supondo que u satisfaz (11.16) e uma soluo real de
( ) x t u
n
j
xj t
,
1
2

,
_

= 0
em
n+1
, mostre que
( ) ( )

n
R
x t u t v ,
2

uma funo no crescente de t.
Sugesto: Multiplique a equao por u e integre sobre a fatia [t
1
, t
2
] .
x) Mostre que c em (11.15) no nula atravs da contradio a partir da
suposio que zero. Mais precisamente mostre que se c =0 ento u em viii)
satisfaz as condies de ix) e tambm desvanece em t < T para algum T
(dependendo de ? ). Conclua que u = 0 para todo ?. Usando as propriedades da
convoluo mostre que isto por sua vez implica que F = 0 o que uma
contradio.
xi) Portanto, finalmente, sabemos que E = F
c
1
uma soluo fundamental do
operador calor que desvanece em t < 0. Explique porque isto nos permite
mostrar que para qualquer ?

c
C ( ) existe uma soluo de

,
_

u
n
j
x t
j
1
2
, u = 0 em t < T para algum T.

Qual o maior valor de T para o qual isto vlido?
95
xii) Voc pode dar uma explicao heurstica ou mesmo rigorosa, por qu?

,
_

n
R
dx
x
c
4
exp
2
?
xiii) Explique porque o argumento utilizado para a equao da onda para mostrar
que existe uma nica soluo, u

C (
n+1
), da (11.17) aqui no se aplica. (De
fato a unicidade no vlida sem que se faam maiores suposies sobre u.)


Problema 65. (Formula da somatria de Poisson) Como em aula, faa L ser uma
integral da forma (grade)

'

Z k v k v L
j
n
j
j j
,
1


onde os v
j
formam uma base de e utilizando a base dual w
j
(e portanto w
j
v
i
= d
ij

0 ou 1 quando i j ou i = j) faa

'

Z k w k w L
j j j
, 2
o
.

Lembre que definimos
(11.18)

C (T
L
) = {u

C ( ); u(z + v) = u(z) z ,v L}.

i)Mostre que a somatria sobre os deslocamentos nos pontos da grade :
(11.19) A
L
: S(R
n
) f ? A
L
f (z) = ( )

L v
v z f

C (T
L
)
define um mapa nas funes peridicas regulares.
ii) Mostre que existe f

C ( ) tal que ALf = 1 uma funo constante em
R
n
.
iii) Mostre que o mapa (11.19) is sujetivo. Sugesto: Use o f da parte ii) e
mostre que se u peridica ento A
L
(uf)= u.
iv) Mostre que a soma infinita
(11.20) F = ( )

L v
v S( ).
v) Deduza que F

, a transformada de Fourier de F, L

peridica, conclua que
isto da forma
(11.21) ( ) ( )

o
L w
w c F

vi) Calcule a constante c.
vii) Mostre que A
L
(f) = F * f.
viii) Usando isto, ou outra forma, mostre que A
L
(f) = 0 em

C (T
L
) se e somente
se f

= 0 em L

.

96
Problema 66. Para um conjunto mensurvel O R
n
, com medida no zero, faa H =
L
2
(O) e seja B = B(H) a alagebra de operadores lineares limitados no espao de Hilbert
H com a norma em B sendo
(11.22) ||
B||
B

= sup{||Bf||
H

; ||f|| H, ||f||
H

= 1}.
i) Mostre que B completo com relao a esta norma. Sugesto (provavelmnete
no necessria!) Par uma seqncia de Cauchy {B
n
}observe que B
n
f Cauchy
para cada f H.
ii) Se V H um sub espao de dimenses finitas e W H um sub espao
fechado com complemento de dimenses finitas (ou seja W + U = H para algum
subespao de dimenses finitas U) mostre que existe um sub espao fechado Y
W com complemento de dimenses finitas (em H) tal que V Y, isto v, y. =
0 para qualquer v V e y Y.
iii) Se A B tem grau finito (significando que AH um espao vetorial com
dimenses finitas)mostre que existe um espao de dimenses finitas V H tal
que AV V e AV

= {0} onde
V

= {f H;. f, v . = 0 v V }.
Sugesto: Faa R = AH, um subespao de dimenses finitas por hipese.
Seja N o espao nulo de A, mostre que N

dimensionalmente finito. Tente V = R +

N

.
iv) Se A B tem um grau finito, mostre que (Id - zA)
-1
existe para todo conjunto
finito ? C (apenas para citar um pouco da teoria das matrizes). O que poderia
dizer no caso que (Id - zA)
-1
meromorfica em z?.
v)Lembre que K B a lgebra de operadores compactos, definida como sendo
o fechamento do espao de operadores de grau finito. Mostre K ideal em B.
vi) Se A B mostre que
Id+A = (Id +B)(Id+A)
Onde B K, (Id+B)
-1
existe e A tem grau finito. Sugesto: Use a invertbilidade de Id
+B quando ||B||
B
< 1 demonstrado em classe.
vii) Conclua que se A K ento
{f H;(Id+A)f = 0} e. ((Id+A)H)

so dimensionalmente finitos.

Problema 67. [Espao de Hilbert separvel]
i) (Lema de Gramm-Schmidt). Seja {v
i
}
iN
uma seqncia no espao de Hilbert
H. Seja V
j
H a seqncia dos primeiros j elementos e faa N
j
= dim V
j
. Mostre
que existe uma seqncia ortonormal e
1
,..., e
j
(finita se N
j
limitado como
acima) tal que V
j
uma seqncia dos primeiros Nj elementos. Sugesto:
Proceda por induo sobre N tal que o resultado verdadeiro para todo j com N
j

< N.Portanto, considere o que acontece para um valor de j com N
j
= N
j-1
+ 1 e
adicione o elemento
j
N
e V
j
que ortogonal a todos os
k
e s anteriores.
ii) Um espao de Hilbert separvel se tem um subconjunto denso contvel (s
vezes as pessoas costumam dizer espao de Hilbert mas na realidade se referem
ao espao separvel de Hilbert). Mostre que todo espao separvel de Hilbert
tem uma seqncia completa ortonormal que uma seqncia {e
j
} tal que u, e
j

= 0 para todo j implica u =0.
97
iii) Seja {e
j
} uma seqncia ortonormal no espao de Hilbert, mostre que para
qualquer a
j
,
2
1
2
1

N
j
j
N
j
j j
a e a

iv) (Desigualdade de Bessel) Mostre que se e
j
uma seqncia ortonormal no
espao de Hilbert e u H ento
2
2
1
, u e e u
N
j
j j

e conclua (supondo que a seqncia de e
j
s seja infinita) que a serie

1
,
j
j j
e e u u
converge em H.
v) Mostre que se e
j
uma base ortonormal completa em um espao de Hilbert
separvel ento, para cada u H,

1
,
j
j j
e e u u

Problema 68. [Compactibilidade ] Vamos concordar que um conjunto compacto em um
espao mtrico um no qual toda cobertura aberta tem uma subcobertura finita. Voc
pode utilizar a compactibilidade de conjuntos fechados limitados em um espao vetorial
de dimenses finitas.
i) Mostre que um subconjunto compacto de um espao de Hilbert fechado e
limitado.
ii) Se e
j
um subespao ortonormal completo de um espao de Hilbert separvel
e K compacto mostre que dado > 0 existe N tal que
(11.23)

N j
j
e u
2
, u K
iii)Inversamente mostre que qualquer conjunto fechado limitado em um espao
de Hilbert separavel para a qual a (11.23) se verifica para alguma base
ortonormal de fato compacto.
iv) Mostre diretamente que qualquer seqncia em um conjunto compacto no
espao de Hilbert tem uma subseqncia convergente.
v) Mostre que um subespao de H que tem uma bola unitria pr compacta deve
ser dimensionalmente finito.
vi) Use a existncia de uma base ortonormal completa para mostrar que para
qualquer seqncia limitada {u
j
}, ||u
j
|| = C, tem uma sub seqncia fracamente
convergente, significando que v, u
j
converge em ao longo da subseqncia
para cada v H. Mostre que a subseqncia pode ser escolhida de tal forma que
e
k
, u
j
,converge para cada k, onde e
k
uma seqncia ortonormal completa.

98
Problema 69. [Teorema espectral, caso compacto] Lembre que um operador limitado A
em um espao de Hilbert H compacto se A{||u|| = 1} pr- compacto (tem fechamento
compacto). Neste problema A ser um operador compacto em um espao separvel de
Hilbert, H.
i) Mostre que se 0 ? ento
E
?
= {u H; Au = ?u}.
dimensionalmente finito.
ii) Se A auto-adjunta mostre que todos os autovalores (significando E
?
{0})
so reais e que diferentes auto espaos so ortogonais.
iii) Mostre que a
A
= sup{|Au, u|
2
}; ||u|| =1} obtido. Sugesto: Escolha uma
seqncia tal que |Au, u|
2
tende para o supremo, passe para uma seqncia
fracamente convergente como discutido acima e ento usando a compactividade
para uma outra sub seqncia tal que Au
j
converge.
iv)Se v o tal ponto mximo e f v mostre que Av, f + Af, v. = 0.
v) Se A tambm auto adjunta e u um ponto mximo como em iii) deduza que
Au = ?u para algum ? e que ? = a.
vi) Ainda assumindo A como sendo autoadjunta, deduza que existe um
subespao de dimenso finita M H, a soma dos autoespaos com autovalores
a, contendo todos os pontos mximos.
vii) Continuando a vi) mostre que A se restringe a um operador auto adjunto
limitado no espao de Hilbert M

e o supremo em iii)para este novo operador e

menor.
viii) Deduza que para qualquer operador compacto auto adjunto em espac de
Hilbert separvel existe uma base ortonormal completa de autovetores.
Sugesto: Tenha cuidado com o espao nulo porque ele pode se grande

Problema 70. Mostre que uma (valor complexo) quadrada integrvel u L
2
( )
continua na mdia no sentido que
(11.24) ( ) ( )

+ <

0 sup lim
2
0
dx x u y x u y

.
Sugesto: Mostre que suficiente provar isto para funes no negativas e ento provar
tambm para funes no negativas simples e finalmente que o bastante verificar para
funes caractersticas de um conjunto aberto de medida finita. Finalmente use o
Problema 57 para mostrar que isto verdadeiro neste caso.

Problema 71. [Ascoli- Arzela] Lembre a prova do teorema de Ascoli e Arzela, que um
subconjunto de
0
0
C ( ) precompacto (com relao a norma suprema) se e somente se
equicontnuo e equi pequeno no infinito, ou seja, dado > 0 exsie d > 0 tal que such
that para todo elemento de u B

(11.25) < y ( ) ( ) < +

x u y x u
n
R x
sup and 1/ ( ) < x u

Problema 72. [Compactibilidade dos conjuntos em L
2
( )] Mostre que um
subconjunto B L
2
( ) precompacto em L
2
( ) se e somente se satisfaz as
seguintes :
99
i) (Equi-continuidade na media) Para cada > 0 existe d > 0 tal que
(11.26) ( ) ( ) < +
n
R
dx x u y x u
2
|y| < , u B.
ii) (Equi- pequeno no infinito) Para cada > 0 existe R tal que
(11.27) <

>
dx u
R x
2
|
u B.
Sugesto: O Problema 70 mostra que (11.26) vlida para cada u L
2
( ); verifique
que (11.27) tambm vlida para cada funo. Feito isto utilize o argumento da
cobertura para provar que ambas as condies devem se verificar para um subconjunto
de L
2
( ) e portanto para um conjunto pr compacto. Um mtodo para provar o inverso
mostrar que se (11.26) e (11.27) se verificam ento B limitado e utilizar isto para
extrair uma seqncia fracamente convergente a partir de uma dada seqncia em B. A
seguir mostre que (11.26) equivalente a (11.27) para o conjunto F (B), a imagem de B
sob a transformada de Fourier. Mostre, possivelmente usando Problema 71, que se ?
R

retirado de uma bola de raio R ento ?
R
G(?
R

n
) converge fortemente se u
n
converge
fracamente. Deduza a partir disto que a seqncia fracamente convergente de fato
converge fortemente e portanto B seqencialmente compacto, e portanto compacto.
100
Referncias

[1] G.B. Folland, Real analysis, Wiley, 1984.

[2] F. G. Friedlander, Introduction to the theory of distributions, second ed., Cambridge
University Press, Cambridge, 1998, With additional material by M. Joshi. MR 2000g:
46002

[3] J. Hadamard, Le problme de Cauchy et les quatons aux dpecrives partielles
linaires hyperboliques, Hermann, Paris, 1932.

[4] L. Hrmander, The analysis of linear partial di.erential operators, vol. 3, Springer-
Verlag, Berlin, Heidelberg, New York, Tokyo, 1985.

[5] W. Rudin, Real and complex analysis, third edition ed., McGraw-Hill, 1987.

[6] George F. Simmons, Introduction to topology and modern analysis, Robert E.
Krieger Publishing Co. Inc., Melbourne, Fla., 1983, Reprint of the 1963 original. MR
84b: 54002