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.
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

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
)

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
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.

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( )
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) = (fg)
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
-
( ).
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
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)

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
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
( ).
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
( ) ( ) ( ). 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.
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.
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
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?
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

.

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.
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.

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 :
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.