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 1 (6.1) D j = . i x j Dizemos que isto uma vez continua mente diferenvel se cada um destes Dj. contnuo. Dizemos que os Dj so (k - 1)-vezes continuamente diferenveis. Para k = 2 isto significa que Dj Dk so contnuas para j , k = 1, , n. Agora,lembre que, se contnuas, estas segundas derivadas so simtricas: (6.2) Dj Dk . = Dk Dj Isto significa que podemos usar notao compacta para derivadas superiores. Faa N0 = n {0, 1,...}; chamamos um elemento a N 0 um multi- ndice e se pelo menos k 12 vezes continuamente diferenvel, fazemos 1 1 n (6.3) D = sempre que |a| = a 1 + a 2 + + a n = k. xn i x1 Agora temos definido os espaos. (6.4) C0k ( ) = { : ? C ; D C0k ( ) |a| = k . Observe que a conveno que D existe se requerido para ser contnuo! Usando x = (1+ |x |2 ) definimos (6.5) x -k C0k ( ) =. { : ? C; xk C0k ( )}, e ento nosso espao de funes teste S( ) = I x k C0k ( ).
k

Portanto, (6.6)

S(

0 ) Da ( x k ) C0 (Rn ) |a| = k e todo k .

Lema 6.1. A condio S(Rn ) pode ser escrita 0 x k Da C0 (Rn ) |a| = k , k . Prova. Primeiro vamos verificar que

0 C0 ( 0 C0 (

0 ), Dj ( x k ) C0 ( 0 ), x Dj C0 (

), j = 1, , n. ), j = 1, , n.

Sendo Dj x = x Dj + (Dj x )
1 x j x 1 uma funo contnua limitada, isto fica claro. Agora, considere o i mesmo para um k maior: 0 (6.7) D xp C0 (Rn ) |a| = p, 0 p k

e Dj x =

0 x p D C0 (Rn ) |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 ||Ck e x a Dx
k k

so equivalentes. Prova. Qualquer prova razovel de (6.2) mostra que as normas || x k ||Ck and x k D
k

so equivalentes. Desde que so constantes positivas tais que k C1 1 + x x C2 1 + x k k 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 u ( ) C sup x Dx
k , k

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

) se

Periodicamente existe a possibilidade de confuso entre os dois significados de | | mas isto raramente ocorre.
12

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 D T| = C

n ' j R ' j

sup x

a'

D ' S(

Prova. Este o Problema 6.2. De todo este emaranhado de informaes sobre normas resulta que xj : S ( ) ? S( ) and Dj : 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 ju(? ) = u(x j? ) ? S ( ). Ento verificamos que x ju S( ): | x ju(? )| = |u(x j? )| =C

n k R k

sup x
k R k
n

D (x j )
a

= C.

sup x

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

se u C1 0(

). Portanto se u S( ) novamente definimos Dju(? )= - u(Dj ? ) ? S(Rn ). Ento claro que Dju(? ) S ( ). Iterando estas definies encontramos que Da , para qualquer multi- ndice a, define um mapa linear (6.15) Da : S( ) ? S( ). Em geral um operador diferencial linear com coeficientes constantes uma soma de tais monomiais. Por exemplo o operador de Laplace

2 2 2 2 ... = D12 + D22 + ... + D n . 2 2 2 x1 x2 xn

Estaremos interessados em tentar em resolver equaes diferenciais tais que ? u = f S( ). Nos podemos tambm multiplicar u S ( definindo (6.16) u(? ) = u (? ) ? S ( ). ) por S( ), simplesmente

Para isto fazer sentido suficiente verificar que (6.17) sup x a D ( ) . sup x a D .
n k R k n k R k

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

) como uma funo

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 Rn ; S(Rn ), (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(? ).

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) dp () = (p) u S( ). a Podemos fazer muito mais pois D local (6.25) supp(Da u) supp(u) u S ( ). De fato, p supp(u) S( ), u = 0,. (p ) 0. Portanto cada uma das a distribuies D dp tambm tem suporte contido em {p}. De fato nenhuma delas desvanece, e todas so linearmente independentes.