NC Cap35

Cap tulo 35 Introdu c ao ` as Distribui co es e ` as Transformadas de Fourier
Conte udo
Fun c oes de Schwartz e Fun c oes de Teste . . . . . . . . . . . . . . . . . . . . . . . . . . Transformadas de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35.2.1 Transformadas de Fourier no Espa co de Schwartz . . . . . . . . . . . . . . . . . . . . . 35.2.1.1 A Transformada de Fourier de Fun c oes Gaussianas . . . . . . . . . . . . . . . . . 35.2.1.2 Invertibilidade da Transformada de Fourier no Espa co de Schwartz . . . . . . . . 35.2.1.3 Transformadas de Fourier, Produtos de Convolu ca o e Identidade de Plancherel . 35.2.1.4 A Transformada de Fourier em L2 (Rn , dx) e suas Propriedades Espectrais . . . 35.2.2 Transformadas de Fourier: T opicos Suplementares . . . . . . . . . . . . . . . . . . . . . 35.2.2.1 A F ormula de Soma de Poisson . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35.2.2.2 Transformadas de Fourier e M edias Angulares . . . . . . . . . . . . . . . . . . . 35.3 Distribui c oes e Distribui c oes Temperadas . . . . . . . . . . . . . . . . . . . . . . . . . 35.3.1 Primeiros Exemplos de Distribui c oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35.3.2 Outros Exemplos de Distribui c oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35.3.2.1 A Distribui c ao Valor Principal . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35.3.2.2 Distribui c oes do Tipo Parte Finita de Hadamard . . . . . . . . . . . . . . . . . 35.3.3 Algumas Rela c oes Uteis Envolvendo Distribui c oes . . . . . . . . . . . . . . . . . . . . . 35.3.4 Derivadas de Distribui c oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35.3.4.1 Alguns Exemplos de Derivadas de Distribui c oes . . . . . . . . . . . . . . . . . . 35.3.4.2 C alculo da Derivada de Algumas Distribui c oes de Interesse . . . . . . . . . . . . 35.3.5 Alguns Resultados Estruturais sobre Distribui c oes . . . . . . . . . . . . . . . . . . . . . 35.3.6 Transformadas de Fourier de Distribui c oes Temperadas . . . . . . . . . . . . . . . . . . 35.3.6.1 C alculo de Transformadas de Fourier de Algumas Distribui c oes Temperadas . . 35.3.7 Produtos de Distribui c oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35.3.7.1 Produto de Convolu c ao de Distribui c oes . . . . . . . . . . . . . . . . . . . . . . . 35.4 Equa c oes Diferenciais Distribucionais, Solu c oes Fundamentais e Fun c oes de Green 35.4.1 Solu c oes Fundamentais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35.4.1.1 Solu c oes Fundamentais como Fun c oes Generalizadas . . . . . . . . . . . . . . . . 35.4.1.2 O Caso de Operadores Lineares a Coecientes Constantes . . . . . . . . . . . . . 35.4.1.3 Alguns Exemplos Fisicamente Relevantes . . . . . . . . . . . . . . . . . . . . . . 35.5 Exerc cios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . APENDICES . . . . . . . . . . . . . . . . . . . . . 35.A Prova de (35.18) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35.B Prova da Proposi c ao 35.15 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35.1 35.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1702 1711 . 1714 . 1716 . 1719 . 1721 . 1724 . 1730 . 1730 . 1733 1738 . 1740 . 1744 . 1745 . 1746 . 1749 . 1754 . 1755 . 1756 . 1758 . 1759 . 1760 . 1762 . 1767 1768 . 1771 . 1772 . 1774 . 1777 1780 1787 1787 1788
olocada no devido contexto a no ca o de distribui ca o e t ao natural que parece ter sido descoberta, n ao inventada. Em abstrato, uma distribui ca o e um funcional linear cont nuo em um certo espa co topol ogico que possua uma estrutura diferenci avel, mas por tr as dessa abstra ca o encontram-se id eias muito simples, origin arias do desejo (ou necessidade) de estender a no ca o de fun ca o, ou melhor, a no ca o intuitiva de densidade, de modo a incluir, por exemplo, densidades concentradas em pontos (e outros conjuntos de medida nula), permitindo ainda o emprego de pelo menos parte da estrutura do c alculo diferencial. A no ca o de distribui c ao, foi introduzida em 1935 por Sobolev1 sob o nome de fun c ao generalizada e foi estudada sistematicamente por Schwartz2 a partir de 1948. Essa no ca o desempenha um papel central em toda discuss ao moderna
1 Sergei 2 Laurent-Mo se
Lvovich Sobolev (19081989). Schwartz (19152002).
1701
JCABarata. Curso de F sica-Matem atica
Vers ao de 29 de janeiro de 2013.
Cap tulo 35
1702/2069
sobre a teoria das equa co es diferenciais (lineares, ao menos). As id eias f sicas e matem aticas subjacentes ` a teoria das distribui co es originam-se dos trabalhos de Green3 , Heaviside4 , Dirac5 , Weil6 e possivelmente muitos outros. Como a teoria das distribui co es e intimamente ligada ` a teoria das transformadas de Fourier, dedicamos a Se ca o 35.2, p agina 1711, ao seu estudo. Na Se ca o 35.3, p agina 1738, introduziremos a no ca o de distribui ca o em Rn ap os alguma prepara ca o breve. Em seguida trataremos de alguns exemplos. Ap os isso, discutiremos a no ca o de derivada de uma distribui co es para ent ao discutirmos equa co es diferenciais distribucionais. Isso nos remeter a ao m etodo da fun ca o de Green. Para uma introdu ca o pedag ogica e rica em exemplos ` a Teoria das Distribui co es, vide [30]. Para um tratamento de n vel intermedi ario, vide [195]. Uma introdu ca o acess vel (direcionada a aplica co es na Teoria Qu antica de Campos) pode ser encontrada nos primeiros cap tulos de [232]. Para um texto cl assico, vide [216]. Para textos mais avan cados, vide [79] ou [114]. Omitiremos na presente vers ao o tratamento da no ca o de produto de distribui co es, de conjuntos de frente de onda e outros itens pr oprios a uma discuss ao mais avan cada. Tamb em com o intuito de manter a discuss ao t ao simples quanto poss vel, omitiremos quase toda a discuss ao topol ogica sobre a natureza das distribui co es no contexto da teoria dos espa cos localmente convexos. Para isso remetemos o estudante interessado aos textos supracitados.
35.1
Fun co es de Schwartz e Fun co es de Teste
Diz-se que uma fun ca o 7 f : R n C, e innitamente diferenci avel em um dom nio aberto Rn se for cont nua em e se todas suas as suas derivadas parciais de ordem nita existirem e forem cont nuas em , ou seja, se existirem || f e forem cont nuas para todo (x1 , . . . , xn ) as fun co es x n (x1 , . . . , xn ) para todos 1 , . . . , n N0 , sendo 1 1 xn || = 1 + + n . O estudante deve ser alertado a n ao confundir a no ca o de diferenciabilidade innita com a de analiticidade. Por exemplo, a fun ca o f : R R denida por 0, se x = 0 , f (x) := 1 e x2 , se x = 0 ,
Fun co es innitamente diferenci aveis em Rn
e innitamente diferenci avel, enquanto fun ca o da vari avel real x, mas n ao e anal tica em x = 0. A fun ca o de uma vari avel z1 2 complexa z = x + iy denida por g (z ) = e possui uma singularidade essencial em z = 0. Para z = x R, x = 0, g e + 1 id entica a f , mas para z = iy , y R, y = 0, tem-se g (iy ) = e y2 que diverge para y 0. elementar O conjunto de todas as fun co es innitamente diferenci aveis em e freq uentemente denotado por C (). E constatar que C () e um espa co vetorial: combina co es lineares nitas de fun co es innitamente diferenci aveis produzem novamente fun co es innitamente diferenci aveis. O espa co de Schwartz em R
O conjunto C (R) das fun co es innitamente diferenci aveis denidas em R e assumindo valores em C possui um subconjunto que merece particular aten ca o. Trata-se do conjunto das fun co es de C (R) que, assim como suas derivadas, decaem a zero no innito mais r apido do que qualquer polin omio, ou seja, e o conjunto das fun co es f : R C tais que
|x|
3 George 4 Oliver
lim p(x)f (q) (x) = 0
(35.1)
Green (17931841). Heaviside (18501925). 5 Paul Adrien Maurice Dirac (19021984). 6 Andr e Weil (19061998). 7 Em toda a presente se ca o trataremos, salvo men ca o expl cita, de fun co es que assumem valores complexos, mas o tratamento de fun co es que assumem valores reais e id entico, com resultados id enticos.
Cap tulo 35
1703/2069
f para todo polin omio p e todo q N0 . E acil ver que essa condi ca o equivale ` a condi ca o
|x|
lim (1 + |x|)m f (q) (x) = 0
(35.2)
para todo m N0 e todo q N0 . um exerc E cio elementar provar que o conjunto das fun co es com a propriedade (35.1) e um espa co vetorial, ou seja, se f e g satisfazem (35.1) para todo polin omio p e todo q N0 , ent ao para todos os n umeros complexos a e b a fun ca o af + bg tamb em satisfaz (35.1) para todo polin omio p e todo q N0 . Esse espa co vetorial e denominado espa co de Schwartz em R e e denotado por S (R). Fun co es como ex , sen (x)e2x , (1 x5 )ecos(x)
2 8 2
x 4
s ao elementos de S (R) (verique!).
E. 35.1 Exerc cio. Para a > 0, xo, considere a fun c ao ha (x) := 1 cosh x
a
xR.
Mostre que ha e uma fun c ao de Schwartz em R: ha S (R), a > 0. Converg encia no espa co S (R) por
Devido ` a propriedade (35.1), vale para toda fun ca o f S (R) que as quantidades denidas para cada m e q N0 f
m, q
:= sup (1 + |x|)m f (q) (x) , x R
(35.3)
s ao nitas e anulam-se todas se e somente se f for identicamente igual a zero. Para cada m, q a express ao (35.3) dene uma semi-norma em S (R) (a no ca o de semi-norma e denida ` a p agina 197). Esse fato permite introduzir uma no ca o de converg encia no espa co S (R). Dizemos que uma seq u encia de fun co es fk S (R), k N, converge a uma fun ca o f S (R) se lim fk f m, q = 0 para todos m e q N0 . Essas id eias de
k
converg encia podem ser aprofundadas atrav es da introdu c ao de no co es topol ogicas apropriadas (introduzindo as no co es de espa co localmente convexo e de espa co de Fr echet8 ), mas aqui iremos nos limitar a uma discuss ao elementar. Vide refer encias citadas no in cio do presente cap tulo. Vamos agora indicar como o espa co S (R) generaliza-se em mais dimens oes. Para tal faremos uso da nota ca o de multi- ndices, introduzida ` a p agina 695. O espa co de Schwartz em Rn
O conjunto C (Rn ) das fun co es innitamente diferenci aveis denidas em Rn e assumindo valores em C possui um subconjunto que merece particular aten ca o. Trata-se do conjunto das fun co es de C (Rn ) que, assim como suas derivadas, decaem a zero no innito mais r apido do que qualquer polin omio, ou seja, e o conjunto das fun co es f : Rn C tais que
x
lim p(x)D f (x) = 0 .
(35.4)
2 e a norma de x Rn . E x2 1 + + xn
para todo polin omio p(x) p(x1 , . . . , xn ) e todo multi- ndice . Acima x = f acil ver que essa condi ca o equivale ` a condi ca o
x
lim (1 + x )m D f (x) = 0
(35.5)
para todo m N0 e todo multi- ndice . E um exerc cio elementar provar que o conjunto das fun co es com a propriedade (35.4) e um espa co vetorial, ou seja, se f e g satisfazem (35.4) para todo polin omio p e todo multi- ndice , ent ao para todos os n umeros complexos a e b a fun ca o af + bg tamb em satisfaz (35.1) para todo polin omio p e todo multi- ndice . Esse espa co vetorial e denominado espa co de Schwartz em Rn e e denotado por S (Rn ).
8 Maurice
Ren e Fr echet (1878-1973).
Cap tulo 35
1704/2069
Converg encia no espa co S (Rn )
Devido ` a propriedade (35.4), vale para toda fun ca o f S (Rn ) que as quantidades denidas para cada m N0 e cada multi- ndice por (35.6) f m, := sup (1 + x )m D f (x) , x Rn s ao nitas e anulam-se todas se e somente se f for identicamente igual a zero. Esse fato permite introduzir uma no ca o de converg encia no espa co S (Rn ). Dizemos que uma seq u encia de fun co es n n fk S (R ), k N, converge a uma fun ca o f S (R ) se lim fk f m, = 0 para todos m N0 e multi- ndice .
k
Como no caso do espa co S (R), comentamos que essa no ca o de converg encia nos espa cos S (Rn ) est a ligada a no co es topol ogicas mais profundas, mas aqui iremos nos limitar a uma discuss ao elementar. Uma desigualdade u til
Devido ` a deni ca o (35.6) vale, para cada q N0 , e cada multi- ndice , a desigualdade (1 + x )q |D f (x)| f q, n para todo x R , o que implica f q, |D f (x)| (35.7) (1 + x )q para cada x Rn . Usaremos a desigualdade (35.7) de diversas formas no que segue. Fun co es innitamente diferenci aveis de suporte compacto Dene-se o suporte de uma fun c ao f : Rn R ou f : Rn C, denotado por supp f , como sendo o fecho do conjunto de todos os pontos onde f n ao se anula:
supp f :=
x Rn | f (x) = 0
(a barra horizontal denota o fecho do conjunto). Fun co es que sejam innitamente diferenci aveis e tenham suporte compacto s ao importantes na Teoria das Distribui co es. Um exemplo de uma fun ca o desse tipo e a fun ca o 0, se x a ou se x b , f (x) := (35.8) 1 1 exp , se a < x < b , (x a)2 (x b)2
onde < a < b < . O suporte dessa fun ca o e [a, b], um conjunto compacto, e a mesma e innitamente diferenci avel (verique!). Para um gr aco esquem atico dessa fun ca o, vide o lado esquerdo da Figura 35.1, p agina 1705. Outro exemplo e a fun ca o 0, se x ou se x , 1, se x , g (x) := (35.9) 1 1 1 exp exp (x 2 2 )2 (x2 2 )2 , se < x < ou se < x < , 1 exp (2 2 )2 para 0 < < < . Observe que o suporte dessa fun ca o e o intervalo [, ], que a fun ca o g e igual a 1 no intervalo [, ] (um subconjunto pr oprio de [, ]). Para um gr aco esquem atico dessa fun ca o, vide o lado direito da Figura 35.1, p agina 1705. c ao g denida em (35.9) satisfaz 0 g 1 em toda a reta R. Sugest ao: mostre que a E. 35.2 Exerc cio. Prove que a fun 2 2 2 2 2 2 2 2 2 fun c ao h(x) = x e crescente para 0 < x < , o que implica < x para < x < .
Cap tulo 35
1705/2069
` esquerda, gr ` direita, gr Figura 35.1: A aco esquem atico da fun ca o f denida em (35.8). A aco esquem atico da fun ca o g denida em (35.9).
E. 35.3 Exerc cio.
Prove que as fun co es f e g de (35.8) e (35.9), acima, s ao innitamente diferenci aveis. Sugest ao :
1 s ao sempre da forma exp (x a) 2
1 1 omio diverge quando x a mas o fator exponencial exp (x um polin omio em (x a) . Esse polin a) 2 rapidamente. Para g tem-se algo an alogo.
1 no caso da fun c ao f mostre que as derivadas de fun co es como exp (x a) 2
vezes
vai a zero mais
O conjunto de todas as fun co es innitamente diferenci aveis de suporte compacto denidas em Rn e freq uentemente n denotado por C0 (R ). f E acil constatar que o conjunto de todas fun co es innitamente diferenci aveis em Rn de suporte compacto forma um espa co vetorial: combina co es lineares nitas de fun co es innitamente diferenci aveis de suporte compacto produzem novamente fun co es innitamente diferenci aveis de suporte compacto. Esse espa co vetorial e freq uentemente denotado por C0 (Rn ) ou por D (Rn ). Os elementos de D (Rn ), ou seja, as innitamente diferenci aveis em Rn de suporte compacto, s ao freq uentemente denominadas fun c oes de teste9 . bastante claro pela deni E ca o que D (Rn ) S (Rn ).
Como veremos na Se ca o 35.2, p agina 1711, transformadas de Fourier de fun co es do espa co de Schwartz S (Rn ) s ao n novamente fun co es do espa co de Schwartz S (R ), fato esse de import ancia em certos desenvolvimentos. Transformadas de Fourier de fun co es de fun co es de D (Rn ) n ao s ao, em geral, elementos de D (Rn ). Converg encia no espa co D (Rn )
tamb E em poss vel introduzir uma no ca o de converg encia em D (Rn ). Dizemos que uma seq u encia k , k N, de n n fun co es de D (R ) converge a uma fun ca o de D (R ) se as seguintes condi co es forem satisfeitas: 1. existe um conjunto compacto K Rn tal que para todo k N grande o suciente o suporte da diferen ca k est a contido dentro de K ; a fun ca o nula em K , o que equivale a dizer 2. para todo multi- ndice a diferen ca D k D converge uniformemente ` que lim sup D (k )(x) , x K = 0. Por exemplo, a seq u encia de fun co es de D (R) dada por 1 1 exp k 1 x2 1 k (x) = 0,
k
, para x (1, 1) ,
para x (1, 1) ,
k N, converge ` a fun ca o nula no sentido de converg encia do espa co D (R), denido acima, mas a seq u encia de fun co es
9 Infelizmente,
alguns autores tamb em denominam fun co es de teste as fun co es de S (Rn ).
Cap tulo 35
1706/2069
de D (R) dada por
2 k (x)
2 1 ek exp 1 ( x/k )2 0,
para x (k, k ) , (35.10) para x (k, k ) ,
k N, n ao converge ` a fun ca o nula no sentido de converg encia do espa co D (R), denido acima (pois a condi ca o 1 e violada). O estudante deve observar, por em, que tanto a seq u encia 1 k quanto a seq u encia 2 k convergem ` a fun ca o nula no sentido de converg encia denido no espa co de Schwartz S (R). Vide Exerc cio E. 35.4. Esses exemplos mostram que as no co es de converg encia no sentido do espa co S (R) e no sentido do espa co D (R) s ao diferentes! E. 35.4 Exerc cio. Usando (35.3), mostre que lim
k 1 k m, q
= 0 e lim
diz-nos que tanto a seq u encia 1 k quanto a seq u encia 2 k convergem ` a fun c ao nula no sentido da converg encia em S (R).
2 k m, q
= 0 para todos m, q N0 . Isso
a fun c ao nula no sentido de converg encia do espa co D (R) e n ao converge ` a fun c ao nula no sentido de k N, n ao converge ` converg encia do espa co S (R). Como no caso do espa co S (Rn ), comentamos que a no ca o de converg encia nos espa cos D (Rn ) est a associada a no co es topol ogicas mais profundas, mas aqui iremos nos limitar a uma discuss ao elementar. Vide refer encias citadas no in cio da presente se ca o. Importante nessa discuss ao e a seguinte arma ca o: Proposi c ao 35.1 Se k e uma seq u encia de elementos de D (Rn ) que converge a uma fun c ao D (Rn ) no sentido de converg encia de D (Rn ), ent ao k tamb em converge a no sentido de converg encia de S (Rn ). O exemplo da seq u encia 2 k de (35.10), acima, mostra que a rec proca da arma ca o dessa proposi ca o n ao e verdadeira, pois 2 k converge ` a fun ca o nula segundo S (R) mas n ao segundo D (R) (vide Exerc cio E. 35.4). Prova da Proposi c ao 35.1. Considere-se uma seq u encia k de elementos de D (Rn ) que converge a uma fun ca o D (Rn ) n n no sentido de converg encia de D (R ). Ent ao, existe um compacto K R tal que k tem suporte contido em K para todo k grande o suciente. Para tais k s e para valer a
u encia de fun co es de D (R) denidas por E. 35.5 Exerc cio. Mostre que a seq 1 1 , para x (k, k ) , exp 1 (x/k )2 k 3 k (x) = 0, para x (k, k ) ,
m,
:= sup (1 + x )m D (k )(x) , x Rn
= sup (1 + x )m D (k )(x) , x K D (k )(x) , x K ,
= sup (1 + x )m , x K sup sendo m N0 e um multi- ndice, ambos arbitr arios. O fator sup (1 + x )m , x K e independente do ndice k . J a o fator sup D (k )(x) , x K
e nito (pois K e compacto) e
converge a zero para k pois, por hip otese,
Cap tulo 35
1707/2069
D k converge uniformemente a D . Isso provou que lim k

k
m,
estabelecendo que k tamb em converge a no sentido de converg encia de S (Rn ).
= 0 para todo m N0 e todo multi- ndice ,
Uma proposi c ao u til
A proposi ca o a seguir ser a usada no que segue, por exemplo na discuss ao sobre a transformada de Fourier no espa co de Schwartz. Proposi c ao 35.2 Se f S (Rn ) satisfaz f (a) = 0 para algum a = (a1 , . . . , an ) Rn , ent ao f pode ser escrita na
n
forma f (x) =
k=1
(xk ak )fk (x), onde as fun c oes fk s ao tamb em elementos de S (Rn ).
Prova. Pelo Corol ario 34.2, p agina 1648, sabemos que podemos escrever
n
f (x) =
k=1
(xk ak )hk (x) ,
onde as fun co es hk s ao innitamente diferenci aveis. Isso n ao implica, todavia, que sejam fun co es de Schwartz. Sabemos, (xk ak ) por outro lado, que as fun co es gk denidas por gk (x) := f (x) s ao innitamente diferenci aveis exceto em x = a, xa 2 e decaem, assim como suas derivadas, mais r apido que qualquer polin omio em x, pois f o faz. Fora isso, vale
n n k=1
k=1
(xk ak )gk (x) = f (x)
(xk ak )2 xa
2
= f (x) .
Seja agora uma fun ca o innitamente diferenci avel e de suporte compacto escolhida de modo que (x) = 1 para todo x em uma vizinhan ca de a. Um exemplo seria a fun ca o (x) = g x a 2 , onde g e a fun ca o denida em (35.9). Dena-se para cada k fk (x) := 1 (x) gk (x) + (x)hk (x) . Como comentamos acima, gk s o n ao e diferenci avel em x = a, mas 1 anula-se em uma vizinhan ca de a. No suporte de 1 as fun co es gk decaem, assim como suas derivadas, mais r apido que qualquer polin omio em x. Assim, o produto (1 )gk e uma fun ca o de Schwartz. J a hk e innitamente diferenci avel e o produto (x)hk (x) e innitamente diferenci avel e de suporte compacto sendo, portanto, uma fun ca o de Schwartz. Isso provou que as fun co es fk s ao de Schwartz. Note-se agora que
n k=1 n n
(xk ak )fk (x) = (x)
k=1
(xk ak )hk (x) + (1 (x))
k=1
(xk ak )gk (x) = (x)f (x) + (1 (x))f (x) = f (x) ,
completando a prova. Operadores diferenciais lineares em D (Rn )
Sejam a1 , . . . , aN fun co es innitamente diferenci aveis em Rn e sejam 1 , . . . , N multi- ndices distintos. A express ao que a cada D (Rn ) associa uma fun ca o L D (Rn ) dada por
N N
L (x) =
k=1
ak (x) Dk (x) =
k=1
ak (x)
|k | n (x) , 1 x 1 xn
dene um operador diferencial linear em D (Rn ). Simbolicamente, denotamos o operador diferencial linear L por
N N
L =
k=1
ak (x) Dk =
k=1
ak (x)
1 x 1
|k | . n x n
Cap tulo 35
1708/2069
Podemos denir, o chamado operador diferencial linear dual de L, denotado por LT como sendo o operador diferencial linear que a cada D (Rn ) associa uma fun ca o LT D (Rn ) dada por
N N
LT (x) :=
k=1
(1)|k | Dk (ak ) (x) =
k=1
(1)|k |
|k | (ak ) n (x) . 1 x 1 xn
(35.11)
importante notar que, com as deni E co es de acima, vale para todas as fun co es , D (Rn ) a seguinte rela ca o: (x) L )(x) dn x =
Rn Rn
LT (x) (x) dn x .
(35.12)
(Verique! Sugest ao: integra ca o por partes). A validade dessa rela ca o e a raz ao de ser da deni ca o do operador dual LT . Simbolicamente, denotamos o operador diferencial linear LT por
N N
LT =
k=1
(1)|k | Dk (ak )(x) =
k=1
(1)|k |
|k | (ak ) n (x) , 1 x 1 xn
(35.13)
onde o s mbolo indica a posi ca o ocupada pela fun ca o de D (Rn ) sobre a qual LT atua. Operadores diferenciais lineares podem ser denidos em S (Rn ) sob condi co es mais restritivas. Para descrev e-los precisamos introduzir a no ca o de fun ca o de crescimento polinomialmente limitado. E. 35.6 Exerc cio. Prove, usando a deni c ao (35.11) ou usando (35.12), que LT Fun co es de crescimento polinomialmente limitado
T
= L.
Uma breve deni ca o: uma fun ca o g : Rn C e dita ser uma fun c ao de crescimento polinomialmente limitado se existirem uma constante C 0 e um inteiro n ao-negativo m tais que para todo x Rn valer |g (x)| C (1 + x )m . (35.14)
Fa camos a observa ca o que se g e uma fun ca o innitamente diferenci avel e de crescimento polinomialmente limitado, ent ao suas derivadas n ao s ao necessariamente de crescimento polinomialmente limitado. Um exemplo a se ter em mente 2 e de crescimento polinomialmente limitado (pois |g (x)| 1 para e a fun ca o de uma vari avel real g (x) := sen ex , que todo x R), mas sua derivada e g (x) := 2xex cos ex fator e ). O espa co OM
x2
2 2
que n ao e de crescimento polinomialmente limitado (devido ao
Denotaremos por OM (Rn ) a cole ca o de todas as fun co es innitamente diferenci aveis que, junto com todas as suas derivadas, sejam de crescimento polinomialmente limitado: OM (Rn ) := g C (Rn ) para todo n-multi- ndice existem C 0 e m N0 tais que para cada x Rn vale |D g (x)| C (1 + x )m .
um exerc E cio simples provar que se g OM (Rn ) e f S (Rn ) ent ao o produto gf e tamb em uma fun ca o de S (Rn ), o mesmo valendo para produtos como (D g )(D f ), para quaisquer n-multi- ndices e . Essa observa ca o conduz ` a no ca o de operador diferencial linear em S (Rn ), da qual trataremos logo adiante. Operadores diferenciais lineares em S (Rn )
Sejam a1 , . . . , aN elementos de OM (Rn ) e sejam 1 , . . . , N n-multi- ndices distintos. A express ao que a cada f S (Rn ) associa uma fun ca o Lf S (Rn ) dada por
N N
Lf (x) =
k=1
ak (x) Dk f (x) =
k=1
ak (x)
1 x 1
|k | f (x) , n x n
Cap tulo 35
1709/2069
dene um operador diferencial linear em S (Rn ). Simbolicamente, denotamos o operador diferencial linear L por
N N
L =
k=1
ak (x) Dk =
k=1
ak (x)
1 x 1
|k | . n x n
Com a1 , . . . , aN elementos de OM (Rn ) podemos denir tamb em o chamado operador diferencial dual de L, denotado por LT como sendo o operador diferencial que a cada f S (Rn ) associa uma fun ca o LT f S (Rn ) dada por
N N
LT f (x) :=
k=1
(1)|k | Dk (ak f )(x) =
k=1
(1)|k |
|k | (ak f ) n (x) . 1 x 1 xn
(35.15)
importante notar que, com as deni E co es de acima, vale para todas as fun co es , S (Rn ) a seguinte rela ca o: (x) L )(x) dn x =
Rn Rn
LT (x) (x) dn x .
(35.16)
(Verique! Sugest ao: integra ca o por partes). A validade dessa rela ca o e a raz ao de ser da deni ca o do operador dual LT . Simbolicamente, denotamos o operador diferencial linear LT por
N N
LT =
k=1
(1)|k | Dk (ak )(x) =
k=1
(1)|k |
|k | (ak ) n (x) , 1 x 1 xn
onde o s mbolo indica a posi ca o ocupada pela fun ca o de S (Rn ) sobre a qual LT atua. c ao (35.15) ou usando (35.16), que LT E. 35.7 Exerc cio. Prove, usando a deni
T
= L.
Se f e g s ao dois elementos do espa co S (Rn ) seu produto usual (f g )(x) = f (x)g (x), tamb em denominado produto pontual, e igualmente um elemento do espa co S (Rn ). Para ver isso, sejam dois n-multi- ndices e . Pela regra de Leibniz (15.5) x D (f g )(x) x D1 (f )(x)D2 (g )(x)
1 , 2 Mn | | 1 + 2 =
Duas estruturas alg ebricas em S (Rn ). O produto pontual e o produto de convolu c ao
(35.7)
|x | (1 + x )q1 (1 + x )q2
f
1 , 2 Mn | | 1 + 2 =
q1 , 1
q2 , 2
cendo, como se desejava, que f g S (Rn ). Isso demonstra tamb em que o espa co de Schwartz S (Rn ) e uma algebra com o produto pontual de fun co es. Trata-se de uma algebra Abeliana e associativa (para as deni co es, vide Se ca o 2.1.6.3, p agina 94). Existe uma segunda maneira de fazer de S (Rn ) uma algebra Abeliana e associativa, a saber, atrav es do chamado produto de convolu ca o. Se f e g s ao dois elementos do espa co S (Rn ) dene-se seu produto de convolu c ao, denotado por f g , pela express ao 1 (f g )(x) := f (x y )g (y ) dn y . (35.17) (2 )n/2 Rn O estudante deve ser advertido do fato que alguns autores denem o produto de convolu ca o sem o fator express ao acima. Cuidado e, portanto, necess ario ao se comparar express oes de textos diferentes.
1 (2 )n/2
Escolhendo q1 e q2 grandes o suciente (q1 + q2 > ||), segue que sup x D (f g )(x) < , para todos e , estabelex Rn
na
Cap tulo 35
1710/2069
Provemos primeiramente que o lado direito de (35.17) existe e dene um elemento de S (Rn ). De (35.7) (com = 0) tem-se que f (x y )g (y ) dn y
Cauchy-Schwarz
Rn
q1 , 0
q2 , 0
Rn
1 dn y (1 + x y )q1 (1 + y )q2 1 dn y (1 + x y )2q1 1 dn y (1 + y )2q1 1 dn y (1 + y )2q2
q1 , 0
q2 , 0
Rn
Rn
= <
f ,
q1 , 0
q2 , 0
Rn
Rn
1 dn y (1 + y )2q2
escolhendo q1 e q2 grandes o suciente. Isso prova que a integral do lado direito de (35.17) converge absolutamente. Notemos agora que para dois n-multi- ndices e x D (f g )(x)
(35.7)
1 (2 )n/2 f
2q,
Rn
f (x y ) g (y ) dn y x Dx
2q, 0 Rn
(2 )n/2 M f
|x | dn y (1 + x y )2q (1 + y )2q
2q, g 2q, 0 (2 )n/2
|x | , (1 + x )q
onde na u ltima passagem usamos a desigualdade M 1 dn y , (1 + x y )2q (1 + y )2q (1 + x )q (35.18)
Rn
v alida para todo q grande o suciente (a saber, q > n), onde M > 0 e uma constante. A demonstra ca o de (35.18) encontrase no Ap endice 35.A, p agina 1787. Conclu mos que, tomando q grande o suciente (q > ||) que sup x D (f g )(x) < Essas considera co es provaram que S (Rn ) e uma algebra com o produto de convolu ca o. Para provarmos que a algebra e Abeliana, ou seja, que f g = g f para todos f, g S (Rn ), notamos que (f g )(x) = 1 (2 )n/2
Rn
para todo e , o que demonstra que f g S (Rn ).
x Rn
f (x y )g (y ) dn y
y xy
1 (2 )n/2
Rn
f (y )g (x y ) dn y = (g f )(x) .
Para provarmos que a algebra e associativa, ou seja, que (f g ) h = f (g h) para todos f, g, h S (Rn ), notamos
Cap tulo 35
1711/2069
que (f g ) h (x) = 1 (2 )n/2 1 (2 )n 1 (2 )n 1 (2 )n 1 (2 )n/2 (f g )(x y ) h(y ) dn y f (x y w)g (w) dn w h(y ) dn y f (x w)g (w y ) dn w h(y ) dn y g (w y )h(y ) dn y dn w
Rn
=
w w y
Rn
Rn
Rn
Rn
Rn
f (x w)
Rn
Rn
f (x w)(g h)(w) dn w
f (g h) (x) .
A invers ao da ordem das integra co es na passagem da terceira para a quarta linha, acima, e justicada pelo r apido decaimento do integrando. Vemos, ent ao, que o espa co de Schwartz S (Rn ) e uma algebra Abeliana e associativa para o produto pontual e para o produto de convolu ca o. Denotamos essas duas algebras por (S (Rn ), ) e (S (Rn ), ), respectivamente. Como veremos adiante (Proposi ca o 35.9, p agina 1722), essas duas algebras s ao isomorfas, o isomorsmo sendo dado pela transformada de Fourier. Os seguintes fatos ser ao usados no que seguir a. Proposi c ao 35.3 Seja R : S (Rn ) S (Rn ) denida por (Rf )(x) = f (x) para toda f S (Rn ). Ent ao, R2 = , n e o operador identidade agindo em S (R ). Al em disso, R(a b) = (Ra) (Rb) e R(a b) = (Ra) (Rb) para duas onde fun c oes de Schwartz a e b quaisquer.
Prova. Exerc cio!
* O espa co das fun co es de Schwartz S (Rn ) e o espa co das fun co es de teste D (Rn ) s ao de fundamental import ancia para o tratamento de dois objetos de grande interesse, particularmente para o estudo de equa co es diferenciais: as transformadas de Fourier e as distribui co es.
35.2
Transformadas de Fourier
Nesta se ca o apresentamos as deni co es e os resultados mais relevantes sobre as transformadas de Fourier no espa co de Schwartz. As transformadas de Fourier revelam toda a sua import ancia e todo seu poder quando, aliadas ` a Teoria das Distribui co es, s ao inseridas no contexto da teoria das equa c oes diferenciais. Seu estudo e relevante tamb em na Teoria dos Espa cos de Hilbert e na Teoria de Grupos, mas as mesmas t em interesse por si s o. No obitu ario que escreveu em homenagem a G. H. Hardy10 , not orio por sua paix ao pela matem atica pura, em detrimento de suas aplica co es, Titchmarsh11 escreve12, n ao sem uma ponta de ironia: Hardy had singularly little appreciation of science for one who was suciently nearly a scientist to be Fellow of the Royal Society. [...] I worked on the theory of Fourier integrals under
10 Godfrey 11 Edward
Harold Hardy (18771947). Charles Titchmarsh (18991963). 12 E. C. Titchmarsh. Godfrey Harold Hardy. The Journal of the London Mathamatical Society, 25, 81101 (1950).
Cap tulo 35
1712/2069
his guidance for a good many years before I discovered for myself that this theory has applications in applied mathematics, if the solution of certain dierential equations can be called applied. I never heard him refer to these applications13 . A teoria das transformadas de Fourier e quase t ao antiga quanto a teoria das s eries de Fourier (das quais tratamos na Se ca o 34.4, p agina 1652) e, em verdade, derivou daquela. A rela ca o entre ambas, por em, nem sempre e iluminante e por isso n ao iremos nos ater ` a mesma aqui. Para um excelente texto, rico em coment arios hist oricos e aplica co es, vide [139]. Para uma introdu ca o elementar em l ngua portuguesa, vide o tamb em excelente [69]. Uma fun ca o f : Rn C e dita ser uma fun c ao integr avel em Rn se satiszer n n 14 L (R ) o conjunto das fun co es integr aveis (em R )
1 Rn
|f (x)| dx < . Denotaremos por
Se f e uma fun ca o integr avel (real ou complexa) denida em Rn , dene-se a transformada de Fourier15 de f como sendo a fun ca o denida em Rn , denotada por F[f ], dada por F[f ](y ) := 1 (2 )n/2 f (x) eiyx dn x ,
Rn R.
(35.19) A transformada de
onde x = (x1 , . . . , xn ) Rn , y = (x1 , . . . , xn ) Rn e y x x y = x1 y1 + + xn yn = y, x Fourier conjugada de f , denotada por Fc [f ], e denida por Fc [f ](y ) := 1 (2 )n/2 f (x) e+iyx dn x .
Rn
(35.20)
Se denotarmos por R o operador que a cada fun ca o g (x) associa a fun ca o g (x) (ou seja (Rg )(x) = g (x) para todo x Rn ) e evidente que para toda f integr avel Fc [f ] = R(F[f ]) . tamb E em evidente pelas deni co es que para toda f integr avel (Fc [f ]) = F f . (35.22) (35.21)
Advert encia. O estudante deve ser advertido quanto ao fato que a conven ca o que adotamos para a deni ca o de transformada de Fourier n ao e, infelizmente, universal na literatura f sica e matem atica. Alguns autores denem a transformada de Fourier por F[f ](p) := Rn f (x) eipx dn x, omitindo o fator (21 , o qual reaparece elevado ao quadrado na deni ca o )n/2 1 1 c + ip x n c da transformada de Fourier conjugada: F [f ](p) := (2)n Rn f (x) e d x. Nessa conven ca o, F [f ] = (2)n R(F[f ]). 1 ipx Outros autores omitem os pr e-fatores (2)n/2 , mas inserem um fator 2 no expoente e do integrando, que ca ei2px . Em livros de F sica, especialmente nos de Mec anica Qu antica e Teoria de Campos, e comum tamb em introduzir-se um fator no expoente, que ca eipx/ . Cuidado e, portanto, necess ario ao comparar-se textos diferentes16 . Transformadas de Fourier. Propriedades elementares
Antes de nos aprofundarmos na teoria das transformadas de Fourier e importante listarmos algumas de suas propriedades elementares. A transformada de Fourier e a transformada de Fourier conjugada s ao lineares: se f e g s ao duas fun co es integr aveis quaisquer e e s ao n umeros complexos quaisquer, valem F[f + g ] = F[f ] + F[g ] e Fc [f + g ] = Fc [f ] + Fc [g ] .
Isso pode ser facilmente constatado pela deni ca o e e deixado como exerc cio. Note que f + g tamb em e integr avel se f e g o forem. Seja a Rn . Se g e uma fun ca o integr avel denida em Rn , denotemos por ga a fun ca o ga (x) := g (x a), x Rn , n que consiste na fun ca o g transladada por a. Para a R dena-se tamb em a fun ca o ea por ea (x) := eiax , x Rn .
cit., pag. 85. e preciso requerer antes que uma fun ca o integr avel f seja mensur avel em rela ca o ` a medida de Lebesgue e a integral considerada na deni ca o de fun ca o integr avel e a integral de Lebesgue em Rn . Os espa cos Lp (Rn ) foram introduzidos na Se ca o 30.4, p agina 1376, mas para manter a discuss ao em um n vel simples evitaremos ao m aximo evocar resultados gerais da Teoria da Medida e Integra ca o neste cap tulo. 15 Jean Baptiste Joseph Fourier (17681830). 16 Alguns autores chegam a usar as diversas conven co es acima no mesmo texto!
14 Tecnicamente, 13 Op.
Cap tulo 35
1713/2069
elementar constatar pelas deni E co es que para toda g integr avel valem F[ga ](y ) = ea (y ) F[g ](y ) assim como F[ea g ](y ) = F[g ](y + a) e Fc [ea g ](y ) = Fc [g ](y a) . (35.24) Um outro fato importante sobre transformadas de Fourier de fun co es integr aveis que mencionamos sem demonstra ca o e o seguinte: Teorema 35.1 Seja f L1 (Rn ). Se F[f ](y ) = 0 para todo y Rn , ent ao f (x) = 0 para quase todo x Rn . A demonstra ca o desse teorema encontra-se, por exemplo, em [205]. Esse teorema arma que a transformada de Fourier em L1 (Rn ) e injetiva. Arma ca o semelhante ser a demonstrada adiante para fun co es do espa co de Schwartz S (Rn ). C alculo de algumas transformadas de Fourier elementares e Fc [ga ](y ) = ea (y ) Fc [g ](y ) , (35.23)
Transformadas de Fourier podem ser explicitamente calculadas em diversos casos. O exerc cio que segue ilustra as situa co es mais simples. E. 35.8 Exerc cio. Reunimos aqui alguns poucos casos de fun co es cujas transformadas de Fourier podem ser calculadas por m etodos elementares. O caso de fun co es Gaussianas ser a tratado mais adiante. a. Para a > 0, constante, seja [a, a] a fun c ao caracter stica do intervalo [a, a]: 1 , se x [a, a] , [a, a] := 0 , se x [a, a] . Mostre que [a, a] e integr avel em R para todo a > 0 e mostre que F [a, a] (y ) = 2 sen (ay ) . y (35.25)
b. Seja ha (x) = ea|x| com a > 0, constante. Mostre que ha e integr avel em R para todo a > 0 e mostre que F[ha ](y ) = c. Seja fa (x) := que
1 a2 +x 2 ,
2 a . 2 y + a2
com x R, com a > 0, constante. Mostre que fa e integr avel em R para todo a > 0 e mostre F[fa ](y ) = e a| y | . 2 a
Sugest ao. M etodo dos res duos. d. Considere a fun c ao f (x) denida por f (x) := Mostre que f e integr avel em R. Mostre que 0,
se x < 0 , se x 0 .
e x ,
1 1 F[f ](y ) = 1 + iy 2 e mostre que F[f ] n ao e integr avel em R.
Cap tulo 35
1714/2069
e. A transformada de Fourier das fun co es de Bessel Jm , m N0 , foi determinada por meios elementares em (14.201), p agina 681, resultando em 2 Tm (u) F[Jm ](u) = (i)m [1, 1] (u) , (35.26) 1 u2 onde Tm e o m- esimo polin omio de Tchebychev (vide p agina 579) e [1, 1] e a fun c ao caracter stica do intervalo [1, 1]: 1 , u [1, 1] , [1, 1] (u) := 0 , u [1, 1] . A rela c ao (35.26) deve ser entendida no sentido de transformadas de Fourier de distribui co es temperadas, tal como discutido na Se c ao 35.3.6, p agina 1759. Outras transformadas de Fourier envolvendo fun co es de Bessel foram obtidas em (14.202) e (14.203), p agina 681.
Todas as express oes de acima ser ao usadas neste texto. Transformadas de Fourier e integrabilidade
2 sen y (Exerc cio E. 35.8, item a) que n ao e uma fun ca o integr avel constata, sua transformada de Fourier e F[f ](y ) = y (vide discuss ao ` a p agina 1370). Outro exemplo e encontrado no item d do Exerc cio E. 35.8. Assim, a transformada de Fourier pode ser denida no espa co das fun co es integr aveis, mas ela n ao mapeia esse espa co em si mesmo. Por raz oes que ser ao apreciadas no correr da nossa discuss ao e fundamental para certos prop ositos denir a transformada de Fourier em certos espa cos convenientes de fun co es, de sorte que F seja um isomorsmo desses espa cos, ou seja, uma aplica ca o linear bijetora desses espa cos em si mesmos. H a pelo menos duas maneira de fazer isso. Uma e restringindo a deni ca o das transformadas de Fourier ao espa co das fun co es de Schwartz S (Rn ), o qual e um subespa co do espa co das fun co es integr aveis. A outra e estendendo a deni ca o da transformada de Fourier ao espa co das fun co es de quadrado integr avel, onde a transformada de Fourier pode ser denida como um operador linear unit ario. O primeiro procedimento atrair a mais nossa aten ca o neste cap tulo. Para alguns coment arios sobre a transformada de Fourier no espa co das fun co es de quadrado integr avel, vide Se ca o 35.2.1.4, p agina 1724.
importante observar que se f E e uma fun ca o integr avel, sua transformada de Fourier nem sempre o e. Um exemplo a se ter em mente e o da fun ca o f (x) denida como sendo 1 no intervalo [1, 1] e 0 fora desse intervalo. Como facilmente se
35.2.1
Transformadas de Fourier no Espa co de Schwartz
Como toda fun ca o de Schwartz e integr avel, as deni co es (35.19) e (35.20) (assim como (35.21)) valem naturalmente para fun co es f S (Rn ). O ponto fundamental dessa restri ca o ` as fun co es de Schwartz e que, como veremos logo adiante, a transformada de Fourier leva bijetivamente fun co es de S (Rn ) em fun co es de S (Rn ). Como comentamos e exemplicamos acima, isso n ao e sempre verdadeiro no espa co das fun co es integr aveis. O primeiro resultado que precisamos para provar essa arma ca o e o seguinte: Proposi c ao 35.4 Se f S (Rn ), ent ao F[f ] e Fc [f ] s ao innitamente diferenci aveis, ou seja, s ao elementos de C (Rn ) e vale (i)|| 1 f (x)eipx dn x = x f (x)eipx dn x , (35.27) Dp n/ 2 n/2 (2 ) (2 ) n n R R para todo n-multi- ndice . Prova. A demonstra ca o para Fc [f ] e id entica ` a demonstra ca o para F[f ], de modo que trataremos apenas da segunda. ipx n F[f ](p) e dada pela integral (21 f ( x ) e d x . O integrando f (x)eipx e uma fun ca o innitamente diferenci avel )n/2 Rn
f (x)eipx = (i)|| x f (x)eipx . Como f S (Rn ), a fun ca o x f (x)eipx e tamb em um elemento de p e tem-se Dp do espa co de Schwartz (como fun ca o de x), decaindo rapidamente a zero quando x . Com isso, e elementar constatar que as condi co es da Proposi ca o 34.5, II, p agina 1630, s ao satisfeitas e, por aquela proposi ca o, (35.27) vale para todo n-multi- ndice .
Cap tulo 35
1715/2069
A aplica ca o R denida para cada f S (Rn ) por (RF )(x) = f (x) e, evidentemente, uma aplica ca o linear e invers vel n de S (R ) em si mesmo, a inversa sendo R1 = R. No espa co C (Rn ) das fun co es innitamente diferenci aveis podemos denir outras duas aplica co es lineares que usaremos, as quais s ao denidas para cada f C (Rn ) por (Pa f )(x) := i f (x) xa e (Qa f )(x) := xa f (x) (35.28)
para a = 1, . . . , n. Naturalmente, Pa e Qa agem tamb em nos elementos de S (Rn ) (pois S (Rn ) C (Rn )) e e evidente pelas deni co es que a imagem de Pa e Qa por um elemento de S (Rn ) e novamente um elemento de S (Rn ) (Exerc cio!). muito f E acil constatar que os operadores Pa e Qa satisfazem em C (Rn ) as seguintes rela co es: Pa Qb Qb Pa = ia,b , para todos a, b {1, . . . , n}. E. 35.9 Exerc cio f acil. Prove isso usando as deni co es (35.28). A seguinte proposi ca o enuncia propriedades importantes que ser ao usadas adiante. Proposi c ao 35.5 Com as deni c oes acima, valem em S (Rn ) as rela c oes FPa = Qa F para todo a = 1, . . . , n. Al em disso, vale a rela c ao F R = RF e tamb em as rela c oes RQa = Qa R para todo a = 1, . . . , n. Prova. Para f S (Rn ) vale, pela deni ca o, e usando integra ca o por partes, F[Pa f ](y ) = i 1 (2 )n/2 f 1 (x) eiyx dn x = i xa (2 )n/2 f (x)
Rn
FQa = Pa F
(35.29)
(35.30) RPa = Pa R (35.31)
Rn
eiyx n d x xa f (x)eiyx dn x =
Rn
= ya provando que FPa = Qa F. Analogamente, F[Qa f ](y ) = 1 (2 )n/2 xa f (x)eiyx dn x

Rn (35.27)
1 (2 )n/2
Qa F[f ] (y ) ,
ya
1 (2 )n/2
f (x)eiyx dn x
Rn
= Pa F[f ] (y ) ,
provando que FQa = Pa F. Para provar (35.30), notemos que para toda f S (Rn ) F[Rf ](y ) = 1 (2 )n/2
Rn
f (x)eiyx dn x
xx
1 (2 )n/2
f (x)e+iyx dn x = Fc [f ](y ) =
Rn
RF[f ] (y ) .
A prova das rela co es (35.31) e elementar. Podemos agora provar a arma ca o feita acima que a transformada de Fourier leva fun co es de Schwartz em fun co es de Schwartz. Proposi c ao 35.6 A transformada de Fourier F e a transformada de Fourier conjugada Fc mapeiam S (Rn ) em S (Rn ).
Cap tulo 35
1716/2069
Mais adiante, no Teorema 35.3, p agina 1720, provaremos que F e Fc mapeiam bijetivamente S (Rn ) sobre si mesmo c c n e que F e a inversa de F em S (R ). Prova da Proposi c ao 35.6. Como Fc = RF, e suciente tratar de F. Seja f S (Rn ). Consideremos a express ao 1 1 | | := n := n P1 Pn e Q ao n-multi- ndices, P y Dy F[f ](y ) = i Q P F[f ](y ), onde e s Q1 Qn . Usando (35.29), temos
y Dy F[f ](y ) = F (i)| |P Q f (y ) .
A fun ca o g = (i)| | P Q f e um elemento de S (Rn ) e, portanto, vale |g (x)| escolhendo q grande o suciente (q > n)
y Dy F[f ](y )
g q, 0 para todo q 0. Assim, (1 + x )q 1
1 (2 )n/2
Rn
g (x)eiyx dn x
g q, 0 (2 )n/2
Rn
(1 + x )q
dn x < .
F[f ](y ) < para todos os n-multi- ndices e , o que prova que F[f ] S (Rn ). Isso estabeleceu que sup y Dy y Rn
E. 35.10 Exerc cio. Sejam f (x) := ea(xb) e g (x) := ec(xd) , onde a, b, c e d s ao constantes, sendo a > 0 e c > 0. Mostre que ac 1 exp (x b d)2 , (f g )(x) = 2(a + c) a+c ou seja, a convolu c ao de duas fun co es Gaussianas e novamente uma fun c ao Gaussiana. co es de Weyl] Para cada a (a1 , . . . , an ) Rn sejam U (a) : S (Rn ) S (Rn ) e E. 35.11 Exerc cio. [Rela n n V (a) : S (R ) S (R ) os operadores lineares denidos por U (a)f (x) V (a)f (x) := f (x + a) , := ei
a, x
f (x) , a, x := (35.32) (35.33) (35.34) (35.35) (35.36)
onde a, x denota o produto escalar usual entre vetores a = (a1 , . . . , an ) e x = (x1 , . . . , xn ) de Rn : a1 x1 + + an xn . Mostre que valem as seguintes rela co es: U (a)V (b) U (a)U (a ) V (b)V (b ) U (a)F V (a)F = ei
a, b
V (b)U (a) ,
= U (a + a ) = U (a )U (a) , = V (b + b ) = V (b )V (b) , = FV (a) , = FU (a) ,
para todos a, b, a , b Rn . As rela co es (35.32) s ao por vezes denominadas rela co es de Weyl17
35.2.1.1
A Transformada de Fourier de Fun c oes Gaussianas
As rela co es (35.29) s ao u teis tamb em por permitirem calcular facilmente a transformada de Fourier de algumas fun co es, notadamente das fun co es Gaussianas. Exemplos relevantes s ao exibidos nas proposi co es e nos exerc cios que seguem. Come camos exibindo o fato de que uma particular fun ca o Gaussiana tem a propriedade de ser invariante pela transformada de Fourier.
17 Hermann
Klaus Hugo Weyl (18851955).
Cap tulo 35
1717/2069
1 Proposi c ao 35.7 Seja g S (Rn ) a fun c ao g (x) = exp 2
n j =1
ao, Fg = g e Fc g = g . x2 j . Ent
g xj (x)
Prova. Pela deni ca o de g , e f acil constatar que para todo j = 1, . . . , n vale
Aplicando o operador F a essa igualdade e usando as rela co es (35.29), obtemos (Qj + iPj ) g = 0, onde g Fg . Isso signica que g (y ) + yj g (y ) = 0 yj para todo j = 1, . . . , n. A solu ca o dessas equa co es e (justique!) n 1 g (y ) = exp y2 , 2 j =1 j
= xj g (x), ou seja, (Pj iQj )g = 0.
onde e uma constante. Assim, estabelecemos que Fg = g . Para determinar calculemos ambos os lados dessa igualdade em um ponto espec co. Como g (0) = 1, temos que n n 1 1 1 x = 2 y 2 n x2 dn x = d y = 1. yj = g (0) = F[g ](0) = exp exp 2 j =1 j (2 )n/2 Rn n/2 Rn j =1 Isso provou que Fg = g . Como Rg = g , segue tamb em que Fc g = RFg = Rg = g .
n j =1
E. 35.12 Exerc cio.
integra c ao no plano complexo e o Teorema de Cauchy. Fa ca-o! Vide Exerc cio dirigido E. 35.38, p agina 1780. Antes de estendermos os resultados da Proposi ca o 35.7, fa camos um coment ario sobre a mesma. Coment ario sobre fun co es invariantes pela transformada de Fourier
1 A igualdade F[g ] = g para g (x) = exp 2
pode tamb x2 em ser demonstrada usando j
A fun ca o Gaussiana g da Proposi ca o 35.7 n ao eau nica fun ca o n ao-nula que e invariante pela transformada de Fourier e h a alguns exemplos bastante simples de fun co es com essa propriedade. Na Se ca o 35.2.1.4, p agina 1724, mostramos que todas as fun co es de Hermite18 da forma h4n , n N0 , s ao invariantes pela transformada de Fourier. No exerc cio dirigido E. 35.44, p agina 1784, mostramos explicitamente que para a fun ca o de uma vari avel h(x) = 1 cosh
2
vale F[h] = h, ou seja, essa fun ca o h tamb em tem a si mesmo como transformada de Fourier. Como veremos adiante (Exerc cio E. 35.16, p agina 1727), se f S (Rn ), ent ao h := f + F[f ] + F2[f ] + F3 [f ] tamb em satisfaz F[h] = h. Em verdade, veremos que h(x) = f (x) + f (x) + F[f ](x) + F[f ](x) e, portanto, se f for uma fun ca o mpar, h ser a identicamente nula mas, se f for par, teremos h(x) = 2f (x) + 2F[f ](x), que n ao e necessariamente a fun ca o nula. Por exemplo, para qualquer > 0 a fun ca o f (x) := exp x2 + x2 exp 41 2
e exatamente desse tipo (pela Proposi ca o 35.8, p agina 1718) e, portanto, vale para a mesma F[f ] = f . Outro exemplo e a fun ca o 1 1 h (x) := , + 2 cosh x cosh x 2
18 As
chamadas fun c oes de Hermite, denotadas por hm , m N0 , foram introduzidas na Se ca o 14.2.3.1, p agina 661. Vide (14.110).
Cap tulo 35
1718/2069
> 0, que tamb em e a soma de uma fun ca o par com sua transformada de Fourier (vide Exerc cio E. 35.44, p agina 1784) e, portanto, tamb em satisfaz F[h ] = h . No caso de Rn , n 2, pode-se provar que a fun ca o Gaussiana g da Proposi ca o 35.7 eau nica fun ca o simultaneamente invariante pela transformada de Fourier e pela a ca o do grupo de rota co es SO(n). A transformada de Fourier de fun co es Gaussianas
O resultado contido na proposi ca o que segue e muito importante e refere-se a transformadas de Fourier de fun co es Gaussianas gerais em R. Proposi c ao 35.8 (Transformada de Fourier de Gaussianas em R) Sejam > 0 e C, constantes. Ent ao, para a fun c ao h(x) := exp x + x ,
2
xR,
tem-se
exp 41 y + i F[h](y ) = 2
(35.37)
A rela c ao (35.37) diz-nos que a transformada de Fourier de uma fun c ao Gaussiana e novamente uma fun c ao Gaussiana.
Coment ario. A express ao (35.37) pode ser demonstrada com uso de integra ca o complexa (vide Exerc cio E. 35.38, p agina 1780), mas apresentaremos uma demonstra ca o alternativa, talvez mais simples, sem o uso dessa t ecnica. Em ambas as demonstra co es, no entanto, faz-se uso do seguinte coment ario. Para y real tem-se, por deni ca o,
1 F[h](y ) = 2 e o integrando, ou seja, a fun ca o exp
ex
i(y +i )x
dx
(35.38)
x2 i(y + i )x , e uma fun ca o inteira da vari avel y , ou seja, e uma fun ca o de y que e anal tica em
2
todo o plano complexo. A integral do lado direito e absolutamente convergente devido ao fator ex . Por isso, aquela integral e igualmente uma fun ca o inteira de y .
d F[h]. E f + 2x h(x) = 0 e, Demonstra c ao da Proposi c ao 35.8. Seja h acil constatar que a fun ca o h satisfaz dx 1 = 0, ou seja, h portanto, satisfaz P 2iQ + i h = 0. Usando (35.29), segue disso que h satisfaz iP + 2 (Q + i ) h (y ) = 1 y + i h (y ). A solu satisfaz a equa ca o diferencial h ca o dessa equa ca o e y 2
(y ) = Ce 41 h
y +i
onde C e uma constante de integra ca o a ser determinada. Para isso, lembremos (35.38) e escrevamos Ce 4
1
y +i
1 = 2
ex
i(y +i )x
dx .
Notemos que o lado esquerdo e tamb em uma fun ca o inteira de y e, portanto, a igualdade acima vale para todo y C. Calculando ambos os lados da igualdade em y = i , teremos 1 C = 2

ex
1 dx = , 2
provando que
4 y +i (y ) = e h 2
que e o que desej avamos estabelecer. A rela ca o (35.37) pode tamb em ser obtida por integra ca o complexa. No Exerc cio E. 35.39, p agina 1782, mostramos como reobter (35.37) por outros meios, a saber, usando a expans ao de Taylor da fun ca o exponencial e propriedades da Fun ca o Gama de Euler. No Exerc cio E. 35.41, p agina 1783, mostramos como as id eias da prova acima podem ser usadas para calcular a 4 transformada de Fourier da fun ca o ex , > 0, em termos de uma expans ao em s erie de pot encias. A arma ca o da Proposi ca o 35.8 pode ser ainda estendida para incluir o caso em que e uma constante complexa, mas com Re () > 0.
Cap tulo 35
1719/2069
Corol ario 35.1 Sejam , C, constantes, com Re () > 0. Ent ao, para a fun c ao h(x) := exp x + x ,
2
xR,
tem-se
exp 41 y + i F[h](y ) = 2
(35.39)
sendo que, para = ||ei com /2 < < /2, temos acima
= ||1/2 ei/2 .
Prova. Vamos denotar por + o sub-conjunto de C composto pelos n umeros complexos de parte real positiva: + := {z C, Re (z ) > 0}. A igualdade que desejamos estabelecer e 1 2

2
x2 i(y +i )x
exp 41 y + i dx = 2
2
(35.40)
Notemos que, se Re () > 0, ent ao tem-se |ex | = eRe ()x , o que e suciente para provar que a integral do lado esquerdo em (35.40) e uma fun ca o anal tica em na regi ao + , pois o integrando e uma fun ca o inteira de e a integral e absolutamente convergente para . Agora, o lado direito de (35.40) e igualmente uma fun ca o anal tica de na + mesma regi ao + com = ||1/2 ei/2 para = ||ei com /2 < < /2. Portanto, como a igualdade (35.40) foi estabelecida (na Proposi ca o 35.8) para o caso em que e real e positivo, ela e v alida tamb em em toda a regi ao comum de analiticidade + . No Exerc cio dirigido E. 35.38, p agina 1780, demonstramos o Corol ario 35.1 (ou seja, a igualdade (35.40) para , C, constantes, com Re () > 0) usando integra ca o no plano complexo e o Teorema de Cauchy. tamb O resultado apresentado no exerc cio a seguir generaliza a Proposi ca o 35.8. E em importante, por ser empregado na Mec anica Qu antica, na Teoria Qu antica de Campos e na Teoria de Probabilidades. Seja A Mat (R, n) uma matriz real, auto-adjunta e positiva (isto e, tal que seus E. 35.13 Exerc cio importante. autovalores sejam n umeros positivos). Seja tamb em = (1 , . . . , n ) Cn . Considere a fun c ao h(x), x Rn , denida por h(x) := exp x, Ax + , x Prove que a transformada de Fourier de h, ,
onde a, b denota a forma bilinear usual entre vetores a = (a1 , . . . , an ) e b = (b1 , . . . , bn ) de Cn : a, b := a1 b1 + +an bn . 1 (2 )n/2 e
Rn x, Ax i (y +i ), x
F[h](y ) := com y = (y1 , . . . , yn ) Rn , e dada por F[h](y ) :=
dn x ,
(35.41)
1 2n det(A)
exp
1 (y + i ), A1 (y + i ) 4
(35.42)
Sugest ao. Use o seguinte fato. Como A e real e auto-adjunta, A pode ser diagonalizada por uma matriz ortogonal: T AT 1 = D, com D sendo diagonal e T ortogonal. Os elementos da diagonal de D s ao os autovalores de A. Fa ca na integral em (35.41) a mudan ca de vari avel y = T x. Use tamb em o resultado da Proposi c ao 35.8.
35.2.1.2
Invertibilidade da Transformada de Fourier no Espa co de Schwartz
O teorema estrutural que segue e de import ancia central na teoria das transformadas de Fourier. Ele estabelece que se um operador linear L agindo no espa co de Schwartz comuta com as derivadas parciais e com as multiplica co es pelas coordenadas, ent ao esse operador L e um m ultiplo do operador identidade.
O comutante de Pa e Qa
Cap tulo 35
1720/2069
Teorema 35.2 Seja L : S (Rn ) S (Rn ) um operador linear de S (Rn ) em S (Rn ) que comute com todos os Pa s e com todos os Qa s, ou seja, que satisfa ca LQa = Qa L e LPa = Pa L para todo a = 1, . . . , n. Ent ao, L e um m ultiplo da identidade, ou seja, existe uma constante l C tal que L = l. Prova (Adaptada de [122]). Tomemos um ponto a = (a1 , . . . , an ) Rn . Se f e uma fun ca o de Schwartz que se anula em
n
a, a Proposi ca o 35.2, p agina 1707, arma que f (x) =

k=1
(xk ak )fk (x), com as fk sendo tamb em fun co es de Schwartz.
Temos, portanto, do fato que L e linear e comuta com Qk que L(Qk ak ) = (Qk ak )L. Logo,
n
(Lf )(x) =
k=1
(xk ak )(Lfk )(x) .
e essa rela ca o diz-nos que (Lf )(a) = 0.

n
Seja Ha uma fun ca o de S (Rn ) que satisfa ca Ha (a) = 1. Por exemplo, podemos tomar Ha (x) = exp
Para g S (Rn ), arbitr aria, a fun ca o f (x) := g (x) g (a)Ha (x) e uma fun ca o de Schwartz e anula-se em x = a. Logo, pelas considera co es de acima, tem-se (Lf )(a) = 0, o que implica que (Lg )(a) = l(a)g (a) , (35.43)
k=1
(xk ak )2 .
claro pela deni importante notar tamb onde l(a) := L (Ha ) (a). E ca o que l n ao depende da fun ca o g . E em que (35.43) e v alida para todo a Rn . Vamos provar agora que l independe de a. A rela ca o (35.43) vale para toda fun ca o g do espa co de Schwartz. Assim, (35.43) vale para g e para suas derivadas Dj g , j = 1, . . . , n. Logo, para todo a Rn valem as rela co es (Lg )(a) = l(a)g (a) e L(Dj g ) (a) = l(a)(Dj g )(a) , essa u ltima para todo j = 1, . . . , n. Pela hip otese que L e Dj comutam, teremos l(a)(Dj g )(a)
(35.45)
(35.44) (35.45)
L(Dj g ) (a)
LDj =Dj L
Dj (Lg ) (a)
(35.44)
Dj (lg ) (a)
regra de Leibniz
l(a)(Dj g )(a) + g (a)(Dj l)(a) .
Essa igualdade diz-nos que g (a)(Dj l)(a) = 0 para todo a Rn . Como g e arbitr aria, isso diz-nos que Dj l anula-se em toda parte, provando que l e constante. Assim, por (35.43), que vale para toda g S (Rn ), segue que L = l em S (Rn ), completando a prova. O estudante conhecedor da Teoria de Representa ca o de Grupos pode interessar-se em saber que h a uma liga ca o profunda entre o Teorema 35.2 e o Lema de Schur, Teorema 22.2, p agina 1105. A transformada de Fourier inversa
Na Proposi ca o 35.6, p agina 1715, provamos que F e Fc s ao operadores de S (Rn ) em si mesmo. Vamos agora provar que esses operadores s ao sobrejetores (sua imagem e todo S (Rn )) e injetores (um-a-um). Mais que isso, provaremos que um e o operador inverso do outro. Al em disso, provaremos que F2 = R e F4 = .
Teorema 35.3 F e Fc s ao isomorsmos de S (Rn ) em S (Rn ), ou seja, s ao aplica c oes lineares bijetoras de S (Rn ) em n 1 c n S (R ). Mais especicamente, temos F = F , rela c ao essa v alida em S (R ). Valem tamb em em S (Rn ) as rela c oes F2 = R Essas duas express oes implicam tamb em que F3 = F1 . e F4 = . (35.46)
Cap tulo 35
1721/2069
Prova. Das rela co es (35.29) segue imediatamente que F2 Pa = Pa F2 e F 2 Qa = Qa F 2 (35.47)
Temos tamb em que RQa = Qa R e RPa = Pa R (vide (35.31)). Logo, RF2 Qa = RQa F2 = Qa RF2 e RF2 Pa = RPa F2 = Pa RF2 .
Isso estabeleceu que RF2 comuta com os operadores Qa e Da para todo a. Pelo Teorema 35.2, p agina 1720, conclu mos que RF2 e um m ultiplo da identidade: RF2 = l para alguma constante l. Provemos agora que l = 1. Para tal 2 basta calcular ca o g S (Rn ) espec ca e ver o que disso resulta. Escolhemos para g a fun ca o uma fun RF sobre Rg = g . Logo, RF2 g = g , provando que l = 1.
(35.30)
g (x) = exp
1 2
j =1
ca o 35.7, p agina 1717, tem-se Fg = g . Fora isso, e evidente que x2 j . Como vimos na Proposi
Provamos, portanto, que RF2 = . Como R2 = , isso implica F2 = R e isso, por sua vez, implica que F4 = e tamb em que FRF = F2 R = . Mais importante, por em e o fato que RF2 = diz-nos que (RF)F = F(RF) = . 1 1 c Essas rela co es provam que F existe e vale F = RF = F .
Podemos nesse ponto antecipar alguns coment arios a respeito do papel das transformadas de Fourier na Teoria das Distribui co es. Se escrita explicitamente, a rela ca o F1 F[f ] = f , v alida para toda f S (Rn ), induz as seguintes manipula co es: f (y ) = F1 F[f ] (y ) = 1 (2 )n/2 F[f ](x)e+iyx dn x
Rn
A transformada de Fourier e a distribui c ao delta de Dirac
1 (2 )n 1 (2 )n
f (w)eixw dn w e+iyx dn x
Rn Rn
f (w)
Rn Rn
ei(wy)x dn x
dn w ,
sendo que a troca de ordem de integra ca o acima tem, em princ pio, signicado apenas simb olico. A igualdade f (y ) =
Rn
f (w)
1 (2 )n
ei(wy)x dn x
Rn
dn w ,
obtida formalmente acima, diz-nos que 1 (2 )n ei(wy)x dn x = (w y ) , (35.48)
Rn
onde e a distribui ca o delta de Dirac em Rn . Como discutiremos, apesar de (35.48) ter sido obtida acima por um procedimento formal (o estudante h a de observar que a integral do lado esquerdo de (35.48) n ao e convergente, tendo, portanto, apenas um signicado simb olico), ela e correta se interpretada no sentido de distribui co es. A express ao (35.48) e muito u til, sendo empregada em diversas areas da F sica, como na resolu ca o de equa co es diferenciais, em c alculos de se co es de choque na F sica Qu antica etc.
35.2.1.3
Transformadas de Fourier, Produtos de Convolu c ao e Identidade de Plancherel
Transformadas de Fourier e produtos de convolu c ao
Vamos agora estudar a rela ca o entre a transformada de Fourier e o produto de convolu ca o em S (Rn ). Pelas deni co es,
Cap tulo 35
1722/2069
vale F[f g ](y ) = 1 (2 )n/2 1 (2 )n 1 (2 )n 1 (2 )n/2 1 (2 )n/2

Rn
(f g )(x)eiyx dn x f (x w)g (w) dn w eiyx dn x f (x w)eiyx dn x g (w) dn w f (x)eiyx dn x eiyw g (w) dn w

Rn
Rn
Rn
=
xx+w
Rn
Rn
Rn
1 (2 )n/2
= = Provamos, portanto, que
f (x)eiyx dn x
Rn
1 (2 )n/2
eiyw g (w) dn w
Rn
F[f ](y ) F[g ](y ) . F [f g ] = F [f ] F [g ]
Como R(a b) = (Ra) (Rb) para duas fun co es de Schwartz a e b quaisquer (Proposi ca o 35.3, p agina 1711), segue disso e de F1 = RF que F 1 [f g ] = F 1 [f ] F 1 [g ] , Como essa rela ca o vale para todos f, g S (Rn ), podemos substituir f F[f ] e g F[g ], obtendo F1 F[f ]F[g ] = f g e disso segue que F [f g ] = F [f ] F [g ] .
Como R(a b) = (Ra) (Rb) para duas fun co es de Schwartz a e b quaisquer (Proposi ca o 35.3, p agina 1711), segue disso e de F1 = RF que F 1 [f g ] = F 1 [f ] F 1 [g ] . Para futura refer encia, reunimos os fatos provados acima na seguinte proposi ca o: Proposi c ao 35.9 Seja o produto de convolu c ao denido em S (Rn ) por (f g )(x) = 1 (2 )n/2 f (x y )g (y ) dn y (35.49)
Rn
com f, g S (Rn ) e sejam a transformada de Fourier F e sua inversa F1 dadas por F[f ](y ) = 1 (2 )n/2 f (x)eiyx dn x
Rn
F1 [f ](y ) =
1 (2 )n/2
f (x)e+iyx dn x ,
Rn
(35.50)
para toda f S (Rn ). Ent ao, para todas f, g S (Rn ) valem as rela c oes F [f g ] = F [f ] F [g ] , F 1 [f g ] = F 1 [f ] F 1 [g ] , F [f g ] = F [f ] F [g ] , F 1 [f g ] = F 1 [f ] F 1 [g ] . (35.51) (35.52) (35.53) (35.54)
Essas rela c oes estabelecem que as algebras (S (Rn ), ) e (S (Rn ), ) (vide p agina 1711) s ao isomorfas, o isomorsmo sendo dado pela transformada de Fourier.
Cap tulo 35
1723/2069
c a o F [f ] F [g ] = E. 35.14 Exerc cio para o estudante que conhe ca a distribui c ao de Dirac. Obtenha formalmente a rela F[f g ] fazendo uso de (35.48). A identidade de Plancherel
Em S (Rn ) podemos denir um produto escalar por f, g

C
:=
Rn
f (y ) g (y ) dn y .
f E acil constatar (fa ca-o!) que f, g e que f, g Logo, F [f ], F [g ]

C C
= (2 )n/2 (Rf ) g (0) = (2 )n/2 f (Rg ) (0) = (2 )n/2 F f g (0) . (35.55)
= (2 )n/2 (RF[f ]) (F[g ]) (0) = (2 )n/2 (F1 [f ]) (F[g ]) (0) = (2 )n/2 F f F[g ] (0)
(35.53)
(2 )n/2 F f g (0)
(35.55)
f, g
onde na terceira igualdade usamos que (F1 [f ]) = F f , que segue de (35.22) e do fato que F1 = Fc . A igualdade assim estabelecida F[f ], F[g ] C = f, g C , v alida para todos f, g S (Rn ), e denominada identidade 19 de Plancherel para as transformadas de Fourier. Ela arma que F e um operador isom etrico em rela ca o ao produto escalar acima. Substituindo f F1 [f ] e g F1 [g ] na identidade de Plancherel, obtemos f, g C = F1 [f ], F1 [g ] C . Substituindo apenas f F1 [f ] na identidade de Plancherel, obtemos que f, F[g ] C = F1 [f ], g C , que arma que F = F1 (na linguagem de operadores duais (adjuntos) em espa cos de Hilbert). Substituindo apenas g F1 [g ] 1 na identidade de Plancherel, obtemos que F[f ], g C = f, F [g ] C . Para futura refer encia reunimos os resultados provados acima na seguinte proposi ca o: Proposi c ao 35.10 Seja o produto escalar denido em S (Rn ) por f, g
C
=
Rn
f (y ) g (y ) dn y
para todas f, g S (Rn ) e sejam a transformada de Fourier F e sua inversa F1 dadas por F[f ](y ) = 1 (2 )n/2 f (x)eiyx dn x
Rn
F1 [f ](y ) =
1 (2 )n/2
f (x)e+iyx dn x ,
Rn
para toda f S (Rn ). Ent ao, para todas f, g S (Rn ) valem as rela c oes F [f ], F [g ] F 1 [f ], F 1 [g ] f, F[g ] F [f ], g
C
= = = =
f, g f, g
, ,
C
(35.56) (35.57) , . (35.58) (35.59)
F 1 [f ], g f, F1 [g ]
Essas rela c oes estabelecem que F e F1 s ao operadores isom etricos para o produto escalar acima e que vale F = F1 . A rela c ao (35.56) e denominada identidade de Plancherel.
19 Michel
Plancherel (18851967).
Cap tulo 35
1724/2069
c a o F [f ], F [g ] E. 35.15 Exerc cio para o estudante que conhe ca a distribui c ao de Dirac. Obtenha formalmente a rela f, g C fazendo uso de (35.48).
Para nalizar o presente assunto, fa camos um coment ario elementar que utilizaremos posteriormente em nossa discuss ao sobre transformadas de Fourier de distribui co es. Considere-se a forma bilinear em S (Rn ) que a cada par f, g S (Rn ) associa (f, g ) := = f, g
C
=
Rn
f (y )g (y ) dn y .
Temos que f, F[g ]
f , F [g ]
(35.58) C
F 1 f , g
(35.22) C
F [f ], g
, estabelecendo que (35.60)
f, F[g ] ] = F[f ], g .
35.2.1.4
A Transformada de Fourier em L2 (Rn , dx) e suas Propriedades Espectrais
Esta breve se ca o, cuja leitura e dispens avel para o material que lhe segue no corrente cap tulo, e melhor compreendida por estudantes familiarizados com a no ca o de espa co de Hilbert e com alguns fatos relativos a operadores agindo em espa cos de Hilbert. Vide Cap tulo 36, p agina 1795 e Cap tulo 37, p agina 1821. A transformada de Fourier em L2 (Rn , dx)
As chamadas fun c oes de Hermite foram introduzidas na Se ca o 14.2.3.1, p agina 661 e s ao denidas por hm (x) := 2 cm Hm (x)ex /2 , com x R e m N0 , onde 1 cm := (35.61) m 2 m!
bastante evidente que todas as fun e Hm s ao os polin omios de Hermite. E co es de Hermite hm s ao elementos do espa co de Schwartz S (R). Na Se ca o 34.6.2, p agina 1682, provamos tamb em que essas fun co es formam uma base ortonormal completa no espa co de Hilbert L2 (R, dx). Desse fato e do Teorema 36.6, p agina 1810, conclu mos que S (R) e um sub-espa co denso do espa co de Hilbert L2 (R, dx). A mesma arma ca o se estende facilmente a mais dimens oes: S (Rn ) e um sub-espa co denso do espa co de Hilbert L2 (Rn , dx). A identidade de Plancherel informa-nos que a transformada de Fourier F e um operador unit ario no espa co de Schwartz S (Rn ). Como esse sub-espa co de fun co es e denso em L2 (Rn , dx), segue do Teorema BLT, Teorema 37.1, p agina 1827, que F pode ser univocamente estendida como operador unit ario a todo L2 (Rn , dx). Denotaremos essa extens ao tamb em importante notar que essa argumenta por F. E ca o aplica-se tamb em sem mudan cas ` a transformada de Fourier inversa F1 e, portanto, tamb em esta possui uma extens ao unit aria a todo L2 (Rn , dx), a qual tamb em denotamos por F1 . n Como ambos os operadores s ao o inverso um do outro no sub-espa co denso S (R ), conclu mos que a extens a o F 1 2 n 1 e tamb em a inversa da extens ao F em L (R , dx) e vice-versa. Como F e F s ao unit arias, temos evidentemente F = F1 em L2 (Rn , dx). H a um ponto sutil na deni ca o da extens ao de F a todo L2 (Rn , dx) que deve ser compreendido pelo estudante. Se 2 n L (R , dx) podemos, pelas considera co es de acima, denir F univocamente como um vetor de L2 (Rn , dx). Isso, por em, n ao garante que F possa ser expressa pela representa ca o integral usual da transformada de Fourier F[ ](p) = 1 (2 )n/2 (x)eipx dn x ,
Rn
(35.62)
com F[ ](0) arbitr aria.
pois a integral do lado direito pode n ao estar denida (no sentido de Lebesgue). Lembrar que a integral do lado direito s o estar a denida se L1 (Rn , dx). Assim, se L2 (Rn , dx) mas L1 (Rn , dx) teremos F denida, mas a representa ca o integral de acima n ao existir a (no sentido de Lebesgue). Tal e o caso, da fun ca o denida em R dada por ey , para y > 0 , i 1 (x) := , para a qual tem-se F[ ](y ) = 2 x + i 0, para y < 0 ,
Cap tulo 35
1725/2069
Mais adiante descreveremos uma forma de representar F para qualquer L2 (Rn , dx) em termos de uma s erie (convergente em L2 (Rn , dx)) envolvendo as fun co es de Hermite. A transformada de Fourier em L2 (Rn , dx) e algumas de suas rela co es alg ebricas Comecemos com algumas deni co es que ser ao u teis no que segue. Para a Rn denimos o operador Ta : L2 (Rn , dx) L2 (Rn , dx) por (Ta h) (x) := h(x a), com h L2 (Rn , dx). 1 N ao e dif cil constatar que cada Ta e unit ario e Ta = Ta = Ta . O operador Ta implementa uma transla ca o por a nos elementos de L2 (Rn , dx). Para a Rn denimos o operador de multiplica ca o ea : L2 (Rn , dx) L2 (Rn , dx) por (ea h) (x) = eiax h(x). N ao 1 e dif cil constatar que cada ea e unit ario e ea = ea = ea . trivial constatar que R Denimos tamb em o operador R : L2 (Rn , dx) L2 (Rn , dx) por (Rh)(x) = h(x). E e 1 2 n unit ario e R = R = R. O operador R implementa nos elementos de L (R , dx) uma reex ao sobre a origem em Rn . Por m, denamos o operador anti-linear C : L2 (Rn , dx) L2 (Rn , dx) por (Ch)(x) = h(x)). O operador C e anti-unit ario, o que signica que f, Cg C = g, Cf C para todos f, g L2 (Rn , dx). evidente pelas deni E co es que valem as seguintes rela co es: R2 C2 Rea Cea C T a CR = , = , = e a R , = e a C , = T a C , = RC . (35.63) (35.64) (35.65) (35.66) (35.67) (35.68)
Armamos que valem tamb em as seguintes rela co es alg ebricas entre esses operadores e a transformada de Fourier: CF F Ta F ea FR F2 F4 = = = = = = F 1 C ea F , T a F , R F = F 1 , R, (35.69) (35.70) (35.71) (35.72) (35.73) (35.74)
para todo a Rn . As rela co es acima j a foram estabelecidas para S (Rn ): (35.69) foi estabelecida em (35.22); (35.70) e (35.71) foram estabelecidas em (35.23)(35.24); (35.72) foi estabelecida em (35.30), (35.73) e (35.74) foram estabelecidas em (35.46). Cada uma delas se estende a todo L2 (Rn , dx) pois S (Rn ) e denso em L2 (Rn , dx) e pois todos os operadores envolvidos s ao limitados. A transformada de Fourier em L2 (Rn , dx) e produtos de convolu c ao f g (a) := 1 Cf, RTa g (2 )n/2 ,
Se f e g s ao elementos de L2 (Rn , dx) podemos denir seu produto de convolu ca o por

C
a Rn .
(35.75)
Cap tulo 35
1726/2069
Essa deni ca o pode parecer estranha e articial, mas escrevendo-se explicitamente o lado direito de (35.75), temos f g (a) = 1 (2 )n/2
Rn
f (x)g (a x) dx ,
como facilmente se verica. De fato, (RTa g )(x) = (Ta g )(x) = g (x + a), donde segue facilmente a arma ca o. E f acil constatar outrossim que f g (a) = g f (a)
para todas f, g L2 (Rn , dx) e para todo a Rn . De fato, usando as rela co es (35.63)(35.68), a unitariedade de R, a anti-unitariedade de C e o fato que Ta = Ta , segue que (2 )n/2 f g (a) = Cf, RTa g
C
Ta RCf, g
CRTa f, g
Cg, RTa f
= (2 )n/2 g f (a) .
Coloquemo-nos a seguinte quest ao: podem os resultados da Proposi ca o 35.9, p agina 1722, ser diretamente estendidos do espa co de Schwartz S (Rn ) ao espa co de Hilbert L2 (Rn , dx)? Uma evidente diculdade reside no fato de que S (Rn ) e uma algebra tanto com rela ca o ao produto pontual quanto em rela ca o ao produto de convolu ca o, enquanto que o espa co de Hilbert L2 (Rn , dx) n ao o e em rela ca o a nenhum dos produtos. Assim, se f, g s ao fun co es de L2 (Rn , dx), os produtos f g e f g n ao necessariamente o s ao e, portanto, n ao e evidente sequer se a transformada de Fourier e sua inversa podem ser aplicadas a ambas as fun co es. Recordemos, por em, que se f e g s ao duas fun co es de L2 (Rn , dx) seu produto pontual e certamente um elemento de 2 n L (R , dx) pois, pela desigualdade de Cauchy-Schwarz, R |f (x)g (x)|dx R |f (x)|2 dx R |g (x)|2 dx < . Assim, se f , g L2 (Rn , dx) a transformada de Fourier e a transformada de Fourier conjugada do produto pontual f g existem e s ao 1 ixy c ixy f ( x ) g ( x ) e dx e F [ f g ]( y ) = f ( x ) g ( x ) e dx , respectivamente. Temos o dadas por F[f g ](y ) = (21 )n/2 Rn (2 )n/2 Rn seguinte resultado:
1
relevante notar, todavia, que f g n E ao e necessariamente um elemento de L2 (Rn , dx) se f e g o forem.
Proposi c ao 35.11 Para todos f, g L2 (Rn , dx) tem-se f g (y ) = 1 (2 )n/2 F1 [f ](x) F1 [g ](x) eiyx dx .
Rn
(35.76)
A integral ` a direita est a bem denida pois, como j a comentamos, F1 [f ] F1 [g ] L1 (Rn , dx). A igualdade acima 2 n estabelece que se f, g L (R , dx), ent ao f g e a transformada de Fourier de uma fun c ao de L1 (Rn , dx) (observar 1 n que o lado direito de (35.76) e a transformada de Fourier de um elemento de L (R , dx)). Como a transformada de Fourier e invert vel em L2 (Rn , dx), segue de (35.76) que F [f ] F [g ] = F [f g ] . (35.77)
Note-se que a transformada de Fourier do lado direito, F[f g ], e entendida como a transformada de Fourier de um elemento de L1 (Rn , dx). Seque disso tamb em que F 1 [f ] F 1 [g ] = F c [f g ] , (35.78)
sempre para f, g L2 (Rn , dx).
Prova da Proposi c ao 35.11. Fazendo uso da unitariedade da transformada de Fourier em L2 (Rn , dx) e das rela co es (35.63)(35.68) e (35.69)(35.74), obtem-se (2 )n/2 f g (y )
(35.75)
unitariedade
Incidentalmente, (35.76) fornece uma prova alternativa de que f g = g f para f, g L2 (Rn , dx).
:=
Cf, RTy g
FCf, FRTy g
C F1 f, ey F1 g =
Rn
F1 [f ](x) F1 [g ](x) eiyx dx .
Cap tulo 35
1727/2069
Verique! Na u ltima igualdade nos limitamos a escrever explicitamente o produto escalar. A rela ca o (35.77) segue disso substituindo-se f e g por F[f ] e F[g ], respectivamente, que tamb em s ao elementos de L2 (Rn , dx). A rela ca o (35.78) e obtida tomando-se a conjuga ca o complexa ou aplicando-se o operador R a ambos os lados de (35.76) ou de (35.77). A transformada de Fourier em L2 (Rn , dx). Representa c ao espectral
No exerc cio e nas considera co es que seguem estabelecemos que o espectro da transformada de Fourier no espa co de Hilbert L2 (Rn , dx) e composto pelas ra zes qu articas da unidade: (F) = {1, i, 1, i} (vide tamb em Teorema 37.15, p agina 1875 e coment arios que se lhe seguem). Em seguida, exibimos uma base ortonormal completa de auto-fun co es em L2 (R, dx): as fun co es de Hermite, introduzidas na Se ca o 14.2.3.1, p agina 661. Esse exerc cio e melhor apreciado pelo leitor familiarizado com o Teorema Espectral, quer na vers ao para matrizes (Teorema 8.5, p agina 342), quer na vers ao para operadores limitados em espa cos de Hilbert (vide Teorema 37.46, p agina 1976, para o caso de operadores auto-adjuntos). agina 1720), mostre que as fun co es E. 35.16 Exerc cio. Seja f S (Rn ). Usando o fato que F4 = (vide Teorema 35.3, p ga , a Z, denidas por
3
ga
:=
j =0
i(j +1)a Fj [f ] = ia f + (1)a F[f ] + (i)a F2 [f ] + F3 [f ]
satisfazem F[ga ] = (i)a ga para todo a Z (em verdade, como i4 = 1, s o os casos a = 0, 1, 2, 3 s ao independentes). Mostre tamb em que 3 1 1 f = (i)a ga = g0 ig1 g2 + ig3 . 4 a=0 4 Isso prova que toda fun c ao de Schwartz pode ser escrita como combina c ao linear de quatro fun co es de Schwartz, as quais s ao auto-fun co es da transformada de Fourier com autovalores (i)a com a = 0, 1, 2, 3. Essa e uma vers ao do chamado Teorema Espectral para as transformadas de Fourier em S (Rn ). Mostre, usando as express oes acima, que
3 3
F = a = 0, 1, 2, 3. Prove que
a=0
(i)a Ea ,
onde
Ea :=
1 4
i(j +1)a Fj +1
j =0
Ea =
a=0
e que
Ea Eb = a, b Ea
para todos a, b = 0, 1, 2, 3, e conclua disso que os Ea s s ao os projetores espectrais de F. E de se observar que as propriedades e rela co es estabelecidas acima valem n ao apenas para a transformada de Fourier F agindo em S (Rn ), mas tamb em para sua extens ao agindo em L2 (Rn , dx). Justique! A Transformada de Fourier em L2 (Rn , dx) e as fun co es de Hermite
Como dissemos acima, as chamadas fun c oes de Hermite foram introduzidas na Se ca o 14.2.3.1, p agina 661, e s ao 2 denidas por hm (x) := cm Hm (x)ex /2 , com x R e m N0 , onde cm e dado em (35.61) e Hm s ao os polin omios de Hermite. Em (14.117) provamos que podemos expressar cada hn , n N0 , na forma hn (x) = cn x d dx
n
e x
/2
(35.79)
com x R. Como hn S (R), e usando os operadores P e Q, podemos escrever (35.79) na forma hn = cn Q iP com h0 (x) ex
2
h0
/2
claro por essa express . E ao, com uso de (35.29), que F[hn ] = cn P iQ
n
F[h0 ] = (i)n cn Q iP
h0 ,
Cap tulo 35
1728/2069
onde usamos o fato j a provado que F[h0 ] = h0 (Proposi ca o 35.7, p agina 1717). Portanto, provamos que F[hn ] = (i)n hn , (35.80)
para todo n N0 e com isso estabelecemos que cada fun ca o de Hermite hn e auto-fun ca o da transformada de Fourier com autovalor (i)n . De acordo com (14.111), p agina 662, essas fun co es satisfazem hn (x)hm (x) dx = n,m para todos n, m N0 . Na Se ca o 34.6.2, p agina 1682, provamos tamb em que essas fun co es formam uma base ortonormal completa no espa co de Hilbert L2 (R, dx). Nota.
A equa ca o (35.80) n ao deve surpreender o leitor acostumado ` a Mec anica Qu antica pois, devido a (35.29), e f acil ver que F comuta com o operador Hamiltoniano do problema do oscilador harm onico: H = P 2 + Q2 . Sendo as fun co es de Hermite hn auto-fun co es de H , elas devem ser tamb em auto-fun co es de F.
As observa co es de acima permitem-nos exprimir a transformada de Fourier sobre elementos de L2 (R, dx) da seguinte forma. Seja =
hn ,
C
C hn
n=0
a decomposi ca o de L2 (R, dx) na base ortonormal completa composta pelas fun co es
de Hermite, com f, g
:=
f (x)g (x)dx sendo o produto escalar usual em L2 (R, dx). Obtemos, ent ao, por (35.80),
n=0 3
F =
(i)n hn ,
hn =
a=0
(i)a
n=0
h4n+a ,
h4n+a ,
(35.81)
onde usamos o fato que as fun co es de Hermite h4n+k t em auto-valores (i)k , para todo n N0 e todo k {0, 1, 2, 3}. A converg encia das s eries acima se d a no sentido da norma de L2 (R, dx). A rela ca o (35.81) permite exprimir a transformada de Fourier de uma fun ca o arbitr aria de L2 (R, dx) e e v alida mesmo quando a integral (35.62) n ao est a denida. Essa abordagem da teoria das transformadas de Fourier no espa co de Hilbert L2 (R, dx) fazendo uso das fun co es de Hermite e empregada no estudo de s eries temporais e foi introduzida por Wiener20 (vide e.g. [258]). Vemos do exposto acima que os projetores espectrais Ea , a = 0, . . . , 3, de F s ao dados, na nota ca o de Dirac21 , por Ea = e que podemos escrever
3 3 n=0
h4n+a h4n+a
F =
a=0
(i)a Ea =
a=0
(i)a
n=0
h4n+a
h4n+a .
Essa a a representa c ao espectral da transformada de Fourier. Com a nota ca o de Dirac podemos igualmente escrever F =
n=0
(i)n hn hn
que e por vezes denominada representa c ao de Wiener da transformada de Fourier. Com a posse dessas express oes, abrem-se diversas possibilidades, como por exemplo, a de se denir pot encias arbitr arias de transformadas de Fourier (tamb em denominadas transformadas de Fourier fracion arias), dadas para C por
3
F :=
a=0
e i
a 2
Ea =
a=0
e i ***
a 2
n=0
h4n+a h4n+a .
E. 35.17 Exerc cio. Considere-se a fun c ao de Schwartz dada por h(x) =

20 Norbert 21 Nessa
1/4
1 cosh
2x
Wiener (18941964). nota ca o denota o projetor ortonormal sobre um vetor normalizado L2 (R, dx).
Cap tulo 35
1729/2069
Mostre que essa fun c ao tem norma 1 no espa co de Hilbert L2 (R, dx), ou seja, mostre que h, h
L2 (R, dx)
h(x)2 dx = 1 .
Sugest ao: use a express ao (35.206) do Exerc cio dirigido E. 35.45, p agina 1785, e tome o limite y 0. N ao esque ca o fator 1 da transformada de Fourier! 2 No Exerc cio dirigido E. 35.44, p agina 1784, demonstramos que a fun c ao h tem a si mesmo como transformada de Fourier: Fh = h. Conclua disso que h e um elemento do fecho do sub-espa co de L2 (R, dx) gerado pelas fun co es de Hermite cuja ordem e um m ultiplo de 4, ou seja, {h4n , n N0 }.
L2 (R, dx)
Isso implica que a proje c ao de h sobre as demais fun co es de Hermite e nula. Assim, vale h, hk k mpar, o que implica que 2 1 Hk (x)ex /2 dx = 0 x cosh 2
= 0 para todo
para todo k mpar (o que e trivial, pois h e uma fun c ao par mas hk e uma fun c ao mpar para todo k mpar) mas vale tamb em que h, h2+4n L2 (R, dx) = 0 para todo n N0 , o que implica que

1 cosh
2x
H2+4n (x)ex
/2
dx = 0
para todo n N0 , uma rela c ao que, aparentemente, n ao se deixa demonstrar facilmente por meios diretos! Segue das considera co es acima que podemos escrever 8
1/4
1 cosh
2x
n=0
h4n , h
L2 (R, dx)
h4n (x) ,
como a expans ao de h na base ortonormal completa denida pelas fun co es de Hermite em L2 (R, dx). Obtenha de forma expl cita os coecientes h4n , h
L 2 (R , dx)
1/4
c4n
1 cosh
2x
H4n (x)ex
/2
dx
como fun c ao de n (obs.: isso n ao e uma tarefa simples!). Os coecientes cm s ao os dados em (35.61). E. 35.18 Exerc cio. No Exerc cio dirigido E. 35.44, p agina 1784, demonstramos que a fun c ao do espa co de Schwartz h(x) = 8
1/4
1 cosh
2x
tem a si mesmo como transformada de Fourier: Fh = h. Mostre que as fun co es rn (x) := e sn (x) := satisfazem Frn = (i)n rn para todo n N0 e F sn = i n sn Q + iP Q iP
n
h(x) =
8 8
1/4
d dx d dx
1 cosh
2x
n N0 ,
h(x) =
1/4
x+
1 cosh
2x
n N0 ,
Cap tulo 35
1730/2069
35.2.2
35.2.2.1
Transformadas de Fourier: T opicos Suplementares

A F ormula de Soma de Poisson
Vamos aqui apresentar uma interessante conex ao entre s eries e transformadas de Fourier e alguns de seus usos. Trata-se de uma rela ca o not avel e de grande utilidade denominada f ormula de soma de Poisson22 . Proposi c ao 35.12 (F ormula de Soma de Poisson) Para cada g S (R) vale a identidade
n=
g (x + n) =
m=
F[g ] 2m ei2mx
(35.82)
para todo x R. Em particular, vale a identidade

n=
g (n) =
m=
F[g ] 2m .
(35.83)
Ambas as express oes (35.82) e (35.83) s ao denominadas f ormula de soma de Poisson.
As hip oteses sobre a fun ca o g podem ser ainda mais enfraquecidas. Vide Exerc cio E. 35.19, logo adiante. Prova da Proposi c ao 35.12. Em primeiro lugar, observemos que, devido ao r apido decaimento de g , a s erie n= g (x + n) converge absolutamente e uniformemente em compactos e, portanto, dene uma fun ca o cont nua em R, que denotaremos por G: G(x) :=

g (x + n) .
n=
evidente pela deni E ca o que e uma fun ca o peri odica e de per odo 1. Paralelamente, como F[g ] S (R), podemos G armar tamb em que a s erie 2 m= F[g ](2m)ei2mx converge absolutamente e uniformemente em compactos e, portanto, dene uma fun ca o cont nua em R, que denotaremos por H : H (x) := 2
m=
F[g ] 2m ei2mx .
tamb E em evidente que H e uma fun ca o peri odica e de per odo 1, pois as fun co es ei2mx o s ao. Para provarmos, como desejamos, que G = H , e suciente, pelo Corol ario 34.3, agina 1660, provarmos que os p coecientes de Fourier de G coincidem com os de H , que s ao obviamente dados por 2 F[g ](2m) (vide (34.59)). De
22 Sim eon
Denis Poisson (17811840).
Cap tulo 35
1731/2069
acordo com (34.59), o m- esimo coeciente de Fourier de G e dado por

1/2
Gm
=
1/2 1/2
ei2my G(y ) dy
n= 1/2
=
1/2 (34.2) n= p=y +n n= ei2mn =1 n=
ei2my
g (y + n)
dy
ei2my g (y + n) dy
1/2 n+1/2
ei2m(pn) g (p) dp
n1/2 n+1/2
ei2mp g (p) dp
n1/2
= completando a prova.
ei2mp g (p) dp
2 F[g ] 2m ,
E. 35.19 Exerc cio. Mostre que as identidades (35.82) e (35.83) valem tamb em para fun co es g que sejam diferenci aveis K para todo x R . Sugest a o: constate que e satisfa cam a seguinte propriedade: existe K > 0 tal que |g (x)| + |g (x)| 1+ 2 x todas as manipula co es da prova da Proposi c ao 35.12 s ao v alidas sob a hip otese acima. Vide [69]. Alguns usos da f ormula de soma de Poisson E. 35.20 Exerc cio. Usando a f ormula de soma de Poisson (35.83) e o resultado do Exerc cio E. 35.8, itens b e c, p agina 1713, prove que para a > 0 vale 1 1 = . (35.84) 2 + (2n)2 a 2 a tanh( a/2) n= Compare (35.84) com (34.131). O resultado do Exerc cio E. 35.20 pode ainda ser generalizado. ormula de soma de Poisson (35.82) e o resultado do Exerc cio E. 35.8, itens b e c, p agina E. 35.21 Exerc cio. Usando a f 1713, prove que para a > 0 vale e2imx = ha (x) , (35.85) 2 a + (2m)2 m= onde ha e a fun c ao cont nua e peri odica de per odo 1 que no intervalo [0, 1) vale ha (x) =
m=
1 cosh a x 2a senh a 2
1 2
(35.86)
Sugest ao: A somat oria
ea|m+x| pode ser calculada da seguinte forma. Trata-se claramente de uma fun c ao peri odica
Cap tulo 35
1732/2069
de per odo 1. Podemos, portanto, restringir x ao intervalo [0, 1) e escrever

m=
a| m +x |
1 m=
a| m +x |
+e
a| x |
m=1
a| m +x |
1 m=
a( m +x )
+e
ax
m=1
e a( m +x )
= eax + eax + eax
m=1
eam
= eax + eax + eax cosh a x senh a 2

1 2
e a 1 e a (35.87)
Na segunda igualdade em (35.87) usamos que para 0 x < 1 vale |m + x| = (m + x) sempre que m 1, que vale |m + x| = m + x sempre que m 1 e que ea|x| = eax . A ultima igualdade em (35.87) envolve apenas manipula co es simples. Complete todos os detalhes. em ser obtida computando-se a s erie de Fourier da fun c ao h E. 35.22 Exerc cio. A identidade (35.85)(35.86) pode tamb l a denida. Fa ca-o! (Exerc cio E. 34.23, p agina 1691). Alguns usos da f ormula de soma de Poisson. A Fun c ao Teta de Jacobi E. 35.23 Exerc cio. A chamada Fun c ao Teta de Jacobi23 , denotada por , e denida por (z, t) := com z C e t C com Re (t) > 0. a. Usando a f ormula de soma de Poisson (35.83) e tamb em (35.37), mostre que satisfaz a seguinte rela c ao: e t (z, t) = t
z 2
n=
e2inzn
(35.88)
iz 1 , t t
2 1 e t (zn) . = t n=
(35.89)
b. Observe que para z C e t C com Re (t) > 0 podemos escrever (z, t) = 1 + 2

n=1
en t cos 2nz .
(35.90)
tamb Disso v e-se facilmente que (z + 1, t) = (z, t) e que (z, t) = (z, t). E em evidente por (35.90) que (z, t) e real se z R e t > 0. Prove que para todo z C vale
t
lim (z, t) = 1 ,
(t R) .
De (35.88) ou de (35.90) v e-se que, para cada t C com Re (t) > 0 xo, a fun c ao (z, t) e uma fun c ao inteira de z , pois as s eries de (35.88) ou de (35.90) s ao s eries de fun c oes anal ticas que convergem absoluta e uniformemente em compactos. c. Consideremos agora z R e t > 0. Mostre que
1/2
(z, t) dz = 1
1/2
23 Carl
(35.91)
Gustav Jacob Jacobi (18041851).
Cap tulo 35
1733/2069
para todo t > 0. Usando a periodicidade de (z, t) com rela c ao a z e o fato que (z, t) = (z, t), mostre que para todo com 0 < < 1/2 vale
1/2 1/2
(z, t) dz +
(z, t) dz =
(z, t) dz ,
e usando (35.89), mostre que

t0
lim
(z, t) dz = 0 .
(35.92)
Conclua disso que para t 0 a fun c ao (z, t) comporta-se como uma seq u encia delta de Dirac de per odo 1 centrada em z = 0. A Fun c ao Teta de Jacobi desempenha um papel em diversas areas da Matem atica (Teoria de N umeros, Teoria de Grupos, teoria das fun co es el pticas etc.) e da F sica (teoria da difus ao do calor, Mec anica Qu antica, Teoria Qu antica de Campos etc.). H a uma extensa literatura sobre a Fun c ao Teta de Jacobi. Mais propriedades elementares e aplica co es dessa fun c ao podem ser estudadas, entre outros, em [257], [50] e [96]. No Exerc cio E. 19.41, p agina 949, exibimos um problema f sico, o problema de difus ao de calor no c rculo, no qual a Fun c ao Teta de Jacobi surge naturalmente. Notas.
Freq uentemente denota-se (0, t) por (t), t C com Re (t) > 0. Assim, tem-se
(t) :=
n=
en
e vale
1 (t) = t
1 t
1 = t
e
n=
n2 t
(35.93)
Alguns autores denem a Fun ca o Teta de Jacobi por
(z, ) :=
n=
e2inz +in
(35.94)
com z, C mas Im( ) > 0. Tem-se, portanto, (z, ) = (z, i ) e a rela ca o (35.89) ca (z, ) = e i i
z 2
1 z ,
(35.95)
Alguns textos denotam (z, ) por 00 (z, ), por 00 (z, ) ou ainda por 3 (z, ).
35.2.2.2
Transformadas de Fourier e M edias Angulares
Uma fun ca o f : Rn C e dita ser radialmente sim etrica se para todo R O(n) (o grupo ortogonal em Rn . Vide Se ca o 20.2.4, p agina 983) valer f (Rx) = f (x) para todo x Rn . Se f S (Rn ) e uma fun ca o radialmente sim etrica, e f acil ver que sua transformada de Fourier tamb em o e. De fato, sabemos que para todo R O(n) vale (Rp) x = p (RT x). Logo, F[f ](Rp) = 1 (2 )n/2 f (x)ei(Rp)x dn x
Rn y :=RT x
Transformadas de Fourier de fun co es radialmente sim etricas
1 (2 )n/2 1 (2 )n/2 1 (2 )n/2
f (x)eip(R
Rn
x)
dn x
f (Ry )eipy dn (Ry )

Rn
f (y )eipy dn y = F[f ](p) ,

Rn
provando que F[f ] e radialmente sim etrica. Na pen ultima igualdade usamos o fato que f e radialmente sim etrica e o fato que a medida dn x e invariante por O(n). Se f : Rn C e uma fun ca o radialmente sim etrica, ent ao pode ser escrita na forma24 f (x) = f x para todo 2 co es temos interesse em calcular a transformada de Fourier de x Rn , onde x = x2 1 + + xn . Em diversas situa
24 Com
um certo abuso, mas tencionando evitar uma sobrecarga na nota ca o, utilizamos a mesma letra f para designar as fun co es f (x) e , ainda que a primeira seja, estritamente falando, uma fun ca o de n vari aveis e a segunda de uma vari avel.
Cap tulo 35
1734/2069
uma fun ca o radialmente sim etrica f em termos apenas de sua depend encia radial. Esse c alculo e fortemente dependente da dimens ao n e exemplicaremos isso no que segue nos casos n = 1, n = 2 e n = 3. Caso n = 1. Se f S (R) e radialmente sim etrica, vale f (x) = f (x) para todo x R, pois o grupo O(1) consiste dos elementos 1. Assim, uma fun ca o radialmente sim etrica em uma dimens ao e uma fun ca o par, e nesse caso, vale F[f ](p) = 2
0
f (x) cos |p|x dx
(13.121)
|p |
f (x)J1/2 |p|x
x dx ,
como facilmente se constata, onde J1/2 e a fun ca o de Bessel de ordem 1/2 (vide Se ca o 13.2.3, p agina 595 e Se ca o 14.2.7, p agina 672). A raz ao de expressarmos F[f ](p) em termos de uma fun ca o de Bessel car a mais clara com os casos que seguem e com o Exerc cio E. 35.24. Caso n = 2. Seja f S (R2 ) uma fun ca o radialmente sim etrica, ou seja, tal que f (x) = f x . Sua transformada de Fourier F[f ] e dada por 1 F[f ](p) = f x eipx d2 x . 2 R3 Para p = 0 a integral do lado direito pode ser mais facilmente calculada em coordenadas polares (, ), adotando-se o eixo horizontal na dire ca o de p R2 , com o que escrevemos p x = p x cos = p cos e obtemos F[f ](p) = 1 2
0 (14.190) 0
f ()ei

p cos
dd
f ()
1 2
e i
p cos
d d
f ()J0
p d ,
onde J0 e a fun ca o de Bessel de ordem 0. Resumindo, para f S (R2 ) radialmente sim etrica com f (x) = f F[f ](p) =
0
para todo x R2 , vale (35.96)
f () J0
p d .
Caso n = 3. Seja f S (R3 ) uma fun ca o radialmente sim etrica, ou seja, tal que f (x) = f x . Sua transformada de Fourier F[f ] e dada por 1 F[f ](p) = f x eipx d3 x . (2 )3/2 R3 Para p = 0 a integral do lado direito pode ser mais facilmente calculada em coordenadas esf ericas (r, , ), adotando-se o eixo z na dire ca o de p R3 , com o que escrevemos p x = p x cos = p r cos e obtemos F[f ](p) = 1 (2 )3/2 1 (2 )1/2 1 (2 )1/2 2 (2 )1/2
2
f (r)ei
0 0
p r cos
r2 sen drdd
0 0 0 0
f (r)
0 1
e i
p r cos
sen d r2 dr
u cos
f (r)
1
e i
p ru
du r2 dr
f (r)
sen
p r 2 r dr . p r x
0
Resumindo, para f S (R3 ) radialmente sim etrica com f (x) = f F[f ](p) =
0
para todo x R3 , vale f (r) J1/2 p r p r r2 dr , (35.97)
f (r)
2 sen p r 2 r p r
dr =
Cap tulo 35
1735/2069
com J1/2 sendo a fun ca o de Bessel de ordem 1/2. O estudante e estimulado a comparar (35.96) a (35.97), observando as semelhan cas entre ambas. O exerc cio que segue mostra a express ao geral da transformada de Fourier de uma fun ca o radial em n dimens oes. E. 35.24 Exerc cio-desao. Prove que em Rn , n 1, a transformada de Fourier de uma fun c ao radial f S (Rn ) e dada por 1 p r rn/2 dr , (35.98) F[f ](p) = f (r) J n n 2 1 p 2 1 0 onde Jk e a fun c ao de Bessel de ordem k . Transformadas de Fourier e m edias angulares
Seja f S (Rn ). Como e bem sabido, podemos expressar f na forma f (x1 , . . . , xn ) como fun ca o de n coordenadas 2 Cartesianas de Rn ou na forma f (r, ) em fun ca o de coordenadas esf ericas em Rn , onde r = x2 1 + + xn e onde n e um conjunto de n 1 coordenadas angulares que coordenatizam a superf cie esf erica de raio 1 em R , que denotamos por Sn1 . No caso n = 2, por exemplo, podemos adotar = , com < e no caso n = 3 podemos adotar = (, ), com 0 e < (coordenadas esf ericas). Em Sn1 existe uma medida de integra ca o invariante pela a ca o do grupo de rota co es O(n), a qual denotamos por d, area (ou volume, como queira) de e que e normalizada de sorte que Sn1 d = |Sn1 |, onde |Sn1 | denota a medida de Sn1 . Usando os exemplos de acima, no caso n = 2 temos d = d e |S1 | = 2 e no caso n = 3 temos d = sen dd e |S2 | = 4 . Lema 35.1 Para todo n 2 vale |Sn1 | = 2 n/2 , n 2
(35.99)
onde e a Fun ca o Gama de Euler (vide Cap tulo 7, p agina 270).

n
Prova. A integral m ultipla In :=

0 Sn1
Laplace). Por outro lado, usando coordenadas esf ericas em Rn , podemos escrever In = er rn1 dr d = |Sn1 |
2
ex1 xn dx1 dxn e igual a

0
ex dx
= n/2 (integral de
er rn1 dr
t=r 2
|Sn1 | 2
et t 2 1 dt = 2 n/2 . n 2
|Sn1 | n 2 2
onde e a Fun ca o Gama de Euler, estudada no Cap tulo 7, p agina 270. Assim, |Sn1 | =
Com o uso da medida invariante d podemos denir uma m edia invariante (por O(n)) de fun co es de S (Rn ): M [f ](r) := 1 |Sn1 |
Sn1
f (r, ) d ,
(35.100)
bastante claro que M [f ](r) pode ser f S (Rn ). M [f ] e denominada m edia esf erica de f , ou m edia angular de f . E n interpretada como a m edia de f sobre a superf cie da esfera de R de raio r centrada em 0.
2 em encarada como uma fun ca o denida Note-se que M [f ](r) = M [f ] x2 1 + + xn e, portanto, M [f ] pode ser tamb n em R . u E til notar que a transformada de Fourier e sua inversa podem ser escritas em termos da m edia angular. De fato, se h : Rn C e uma fun ca o integr avel, temos
h(x1 , . . . , xn ) dn x =
Rn 0
Sn1
h(r, ) d rn1 dr = |Sn1 | |Sn1 | (2 )n/2
M [h](r) rn1 dr .
Conseq uentemente, podemos escrever, para toda f S (Rn ), F[f ](p) = |Sn1 | (2 )n/2
M [f ep ](r) rn1 dr
F1 [f ](p) =
M [f ep ](r) rn1 dr ,
(35.101)
Cap tulo 35
1736/2069
onde ep (x) eipx . Note-se que ep (x) = ex (p). Acima, p = (p1 , . . . , pn ) Rn . Como veremos, e u til considerarmos a express a o M [e p ] x produto p x . Esse fato e evidente se observamos que M [e p ] x = 1 |Sn1 |
Sn1
e armamos que a mesma e uma fun ca o apenas do 1
eipx dx =
|Sn1 |
e i
Sn1
x cos
dx ,
onde escrevemos p x = p x cos e com sendo o angulo entre p e x. O angulo pode ser expresso em termos das vari aveis angulares x de x e, com isso, vemos que M [ep ] x depende apenas do produto p x . Tendo isso em mente, denamos E ( p x ) por |Sn1 | := M [e p ] x . E p x (2 )n/2 Para uma fun ca o H de duas vari aveis x, y Rn podemos tomar as m edias M tanto com rela ca o ` a vari avel x quanto em rela ca o a y . Denotaremos por Mx [H ] a m edia em rela ca o ` a depend encia em x e por My [H ] a m edia em rela ca o ` a depend encia em y . Para a fun ca o ep (x) = eipx temos que M x [e p ] x = (2 )n/2 E |Sn1 | p x = M p [e x ] p x , teremos
0
(35.102)
Note-se que se f e uma fun ca o radial, ou seja, f (x1 , . . . , xn ) = f F[f ](p) =

0
f (r) E
p r rn1 dr
F1 [f ](p) =
f (r) E
p r rn1 dr .
Como vemos em (35.96) e (35.97), temos E p x = J0 p x para n = 2 e E p x = 2 sen p x p x = J1/2 p p x x para n = 3
e, portanto, M [e p ] x = J0 p x para n = 2 e M [e p ] x = sen p p x x = J1/2 p x 2 p x para n = 3 . (35.103) E. 35.25 Exerc cio. Mostre que para toda f S (Rn ) vale M F[f ] = F M [f ] . Uma identidade importante
Vamos a seguir provar uma proposi ca o (Proposi ca o 35.13) de import ancia no estudo da propaga ca o de ondas em d = 3 dimens oes espaciais e da qual faremos uso na Se ca o 19.4.4.1, p agina 892. Antes precisamos do seguinte resultado:
Lema 35.2 Seja g S (Rn ) e, para y Rn xo, seja Mp [ey ] p . Ent ao, a fun c ao de p Rn denida pelo produto G(p) := g (p)Mp [ey ] p e tamb em uma fun c ao de S (Rn ). Prova. Por (35.102) escrevemos G(p) = g (p)Mp [ey ] p
(35.102)
g (p)My [ep ] y
= g (p)
Sn1
eipy dy .
e innitamente diferenci avel em rela ca o ` as vari aveis p, pois envolve a integral de uma fun ca o A express ao Sn1 eipy dy innitamente diferenci avel em um conjunto compacto (cf. Teorema 34.5, p agina 1630). Al em disso, tem-se (usando a nota ca o de multi- ndices. Vide p agina 695) D
Sn1
eipy dy =
Sn1
ipy dy = (i)| | Dp e
y eipy dy ,
Sn1
Cap tulo 35
1737/2069
onde D representa deriva co es em rela ca o ` as vari aveis p. Como (i)| | = 1, |eipy | = 1 e |y | y | | (pois |yk | y para todo k = 1, . . . , n), segue que a u ltima express ao pode ser limitada em m odulo por y | | |Sn1 |. evidente, portanto, que G(p) E e innitamente diferenci avel em p e, pela regra de Leibniz, tem-se (usando a nota ca o de multi- ndices) D G(p) =
1 , 2 1 + 2 =
D1 g (p) (i)|2 |
y 2 eipy dy .
Sn1
elementar constatar disso e dos coment E arios acima que |D G(p)| |Sn1 |
1 , 2 1 + 2 =
|D1 g (p)| y
|2 |
.
N
N 1 Como g S (Rn ), segue que para todo N N existe C|N | tal que |D g (p)| C|1 | 1 + p que para todo N N
, p Rn , implicando
provando que G S (Rn ).
|D G(p)| |Sn1 |
|2 |
1 , 2 1 + 2 =
C|N 1 | 1 + p
p Rn
Proposi c ao 35.13 Seja v S (Rn ) e consideremos a express ao F1 F[v ]M [ey ] (x) com x, y Rn . Ent ao, para cada atrav es de y e (o ponto mais importante) e igual ` a m edia da fun c ao v na superf cie da esfera em Rn de raio y centrada em x: 1 F1 F[v ]M [ey ] (x) = v (x y ) dy , (35.104) |Sn1 | Sn1 onde dy e a medida de integra c ao invariante nas vari aveis angulares que descrevem y Rn . Prova. Para cada y Rn tem-se pelo Lema 35.2, acima, que F[v ]M [ey ] S (Rn ) e, portanto, sua transformada de a bem denida e e tamb em uma fun ca o de S (Rn ). Fourier inversa F1 F[v ]M [ey ] est e dada por De forma mais expl cita, F1 F[v ]M [ey ] (x) F1 F[v ]M [ey ] (x) = 1 (2 )n/2 F[v ](p) Mp [ey ] p
Rn
e um elemento de S (Rn ). Essa express ao depende de y apenas y Rn a fun c ao de x denida por F1 F[v ]M [ey ] (x)
eipx dn p
(2 )n/2 |Sn1 | E
e, claramente, o lado direito depende de y apenas atrav es da fun ca o M [e y ] p y apenas atrav es de seu m odulo y . Assim, F
1
y , a qual depende de
F[v ]M [ey ] (x) e uma fun ca o de x e de y . Vamos, por isso, denotar
F1 F[v ]M [ey ] (x) por K[v ](x, y ). Teremos, K[v ](x, y ) := F1 F[v ]M [ey ] (x) =
(35.102)
1 (2 )n/2 1 (2 )n/2 My
F[v ](p) Mp [ey ] p

Rn
eipx dn p
F[v ](p) My [ep ] y

Rn
eipx dn p
1 (2 )n/2 1 (2 )n/2
F[v ](p) ep (y ) eipx dn p

Rn
My
F[v ](p) eip(xy) dn p

Rn
Cap tulo 35
1738/2069
Como, evidentemente,
1 (2 )n/2
Rn
F[v ](p) eip(xy) dn p = v (x y ), conclu mos que y = 1 |Sn1 | v (x y ) dy .
K[v ](x, y ) = My v (x y )
Sn1
Assim, contemplando essa u ltima express ao, vemos que K[v ](x, esfera em Rn de raio y centrada em x.
y ) e a m edia da fun ca o v tomada na superf cie da
35.3
Distribui co es e Distribui co es Temperadas
Funcionais lineares
Um funcional linear , denido em um espa co vetorial complexo V , e uma aplica ca o : V C que satisfaz (u + v ) = (u) + (v )
O conjunto de todos os funcionais lineares de um espa co vetorial V e freq uentemente dito ser o dual de V . E importante observar que o dual de um espa co vetorial e tamb em um espa co vetorial. Se 1 e 2 s ao funcionais lineares em V ent ao, para todos 1 , 2 C a aplica ca o de V em C denotada por 1 1 + 2 2 e denida para cada v V por (1 1 + 2 2 )(v ) := 1 1 (v ) + 2 2 (v ) e igualmente um funcional linear em V (verique!). Se v V e e um funcional linear em V , e muito conveniente denotar (v ) pelo s mbolo , v . Essa nota ca o eu til por evidenciar a simetria da associa ca o entre os elementos de V e de seu dual. As rela co es de linearidade, por exemplo, se escrevem , 1 v2 + 2 v2 = 1 , v1 + 2 , v2 com v1 , v2 V , no dual de V e e 1 , 2 C, arbitr arios, e 1 1 + 2 2 , v = 1 1 , v + 2 2 , v tamb em com 1 , 2 no dual de V , v V e 1 , 2 C, arbitr arios.
para todos u, v V e todos , C. Se V for um espa co vetorial real a deni ca o e an aloga.
No que segue, usaremos tanto a nota ca o (v ) quanto a nota ca o , v . A express ao , v e por vezes dita ser o pairing, ou emparelhamento, do funcional linear com o vetor v . Os espa cos vetoriais S (Rn ) e D (Rn ) possuem, naturalmente, funcionais lineares. Os que nos ir ao interessar s ao aqueles que s ao cont nuos, como deniremos adiante. importante observar que, como D (Rn ) S (Rn ), todo funcional linear em S (Rn ) E e um funcional linear em D (Rn ). A rec proca, por em, n ao e verdadeira. Por exemplo, a express ao () =

e+x (x) dx
(35.105)
est a denida para todo D (R) (pois a integral do lado direito pode ser restrita ao suporte de , que e compacto, e 4 a fun ca o e +x e limitada em qualquer compacto) e dene um funcional linear em D (Rn ). Todavia, a integral do lado 2 ca o S (R). Por exemplo, ela n ao est a denida para a fun ca o (x) = ex , direito n ao pode ser denida para toda fun que e um elemento de S (R). Denindo a no c ao de distribui c ao. O espa co D (Rn )
Um funcional linear T denido no espa co D (Rn ) que seja cont nuo e dito ser uma distribui c ao.
Cap tulo 35
1739/2069
Dizer que funcional linear T denido no espa co D (Rn ) e cont nuo signica dizer que para toda a seq u encia k de n elementos de D (R ) que convirja, no sentido denido acima, a uma fun ca o D (Rn ) vale lim T (k ) = T (), ou seja,
k k
lim T (k ) = T
lim k .
O conjunto de todos os funcionais lineares cont nuos denidos em D (Rn ), ou seja, de todas as distribui co es, e denotado por D (Rn ). importante observar que D (Rn ) E e um espa co vetorial. Se U e V s ao elementos de D (Rn ) ent ao, para todos n , C a aplica ca o de D (R ) em C denotada por U + V e denida para cada D (Rn ) por (U + V )() := U () + V () e igualmente um elemento de D (Rn ), ou seja, e um funcional linear cont nuo no sentido da converg encia em D (Rn ). E. 35.26 Exerc cio. Verique as arma co es acima. No que segue, usaremos tanto a nota ca o T () quanto a nota ca o T, . A express ao T, e por vezes dita ser o pairing, ou emparelhamento, da distribui ca o T com a fun ca o . Denindo a no c ao de distribui c ao temperada. O espa co S (Rn )
Um funcional linear T denido no espa co S (Rn ) que seja cont nuo e dito ser uma distribui c ao temperada.
Dizer que funcional linear T denido no espa co S (Rn ) e cont nuo signica dizer que para toda a seq u encia k de n elementos de S (R ) que convirja, no sentido denido acima, a uma fun ca o S (Rn ) vale lim T (k ) = T (), ou seja,
k k
lim T (k ) = T
lim k .
O conjunto de todos os funcionais lineares cont nuos denidos em S (Rn ), ou seja, de todas as distribui co es tempe n radas, e denotado por S (R ). importante observar que S (Rn ) E e um espa co vetorial. Se U e V s ao elementos de S (Rn ) ent ao, para todos n , C a aplica ca o de S (R ) em C denotada por U + V e denida para cada S (Rn ) por (U + V )() := U () + V () e igualmente um elemento de S (Rn ), ou seja, e um funcional linear cont nuo no sentido da converg encia em S (Rn ). co es acima. E. 35.27 Exerc cio. Verique as arma No que segue usaremos tanto a nota ca o T () quanto a nota ca o T, . A express ao T, e por vezes dita ser o pairing, ou emparelhamento, da distribui ca o temperada T com a fun ca o . A rela c ao de contin encia entre S (Rn ) e D (Rn )
Antes de passarmos a exemplos fa camos a seguinte observa ca o.
Proposi c ao 35.14 S (Rn ) D (Rn ), ou seja, toda distribui c ao temperada e tamb em uma distribui c ao. Prova. J a comentamos acima que se T e um funcional linear de S (Rn ) ent ao e tamb em um funcional linear de D (Rn ). n Vamos supor que T seja um elemento de S (R ) e seja k uma seq u encia de elementos de D (Rn ) que converge a n n D (R ) no sentido de converg encia de D (R ). Ent ao, pela Proposi ca o 35.1, k tamb em converge a no sentido de converg encia de S (Rn ). Como T e cont nua em S (Rn ), isso signica que lim T (k ) = T (). Mas isso est a dizendo que T e cont nua em D (Rn ), provando que T D (Rn ). Isso estabeleceu que S (Rn ) D (Rn ). Devido a essa proposi ca o distribui co es temperadas s ao muitas vezes denominadas simplesmente distribui co es, especialmente quando n ao houver necessidade de distinguir as duas no co es. Tratemos agora de exemplos.
k
Cap tulo 35
1740/2069
35.3.1
Primeiros Exemplos de Distribui c oes
Vamos come car com um exemplo b asico de distribui ca o. Distribui co es regulares
Nosso primeiro exemplo trata de distribui co es que n ao s ao necessariamente temperadas. Para ele precisamos de uma deni ca o. Uma fun ca o h : Rn C e dita ser uma fun c ao localmente integr avel se para todo compacto K Rn valer
K
|h(x)| dn x < . Naturalmente, fun co es cont nuas s ao localmente integr aveis, mas h a outros exemplos a se ter em
mente, como a fun ca o ln |x| e como as fun co es (ln x)+ e (ln |x|) , denidas por 0, ln x , para x > 0 , (ln |x|) := (ln x)+ := ln |x| , 0, para x 0 , Do fato que, para a > 0 tem-se localmente integr aveis.
a 0
para x 0 , para x < 0 .
(35.106)
ln xdx = a(ln a 1) e elementar constatar (fa ca-o!) que essas tr es fun co es s ao
Exemplo 35.1 [Distribui co es regulares] Se h e uma fun ca o localmente integr avel, a express ao Th , Th () := h(x)(x) dn x
Rn
(35.107)
Com isso, (35.107) dene um funcional linear em D (Rn ). Provemos que esse funcional linear e cont nuo. Para tal seja k D (Rn ) uma seq u encia de fun co es que converge a D (Rn ) no sentido de D (Rn ). Ent ao, existe um compacto K Rn tal que supp ( k ) K para todo k grande o suciente e sup{|(x) k (x)|, x Rn } 0 para k . Portanto, para todo k grande o suciente, vale |h(x)| |(x) k (x)| dn x = |h(x)| |(x) k (x)| dn x sup |(x) k (x)|, x Rn |h(x)| dn x .
para D (Rn ) dene uma distribui ca o. Distribui co es desse tipo s ao denominadas distribui c oes regulares. Que (35.107) est a bem-denida para todo D (Rn ) segue do seguinte argumento. Pelo fato de o suporte de ser compacto podemos restringir a integral de (35.107) a esse suporte. Como e limitado, segue que Rn |h(x)| |(x)| dn x sup{|(x)|, x n n e nito por hip otese. R } supp |h(x)| d x, que
|Th ( k )|
Rn
Como a integral do lado direito e nita, conclu mos que |Th ( k )| 0 para k e isso estabelece que Th e cont nua em D (Rn ) e, portanto, que e um elemento de D (Rn ). Como mostra o exemplo de (35.105), nem toda distribui ca o desse tipo e temperada. O conjunto de todas as distribui co es regulares em Rn ser a denotado por Dreg (Rn ):
Dreg (Rn ) :=
Th D (Rn ), com h localmente integr avel
Dena-se tamb em
n Dreg , k (R ) :=
Th D (Rn ), com h localmente integr avel e k -vezes diferenci avel

k=1 n Dreg , k (R ) .
e
n Dreg , (R ) :=
Th D (Rn ), com h localmente integr avel e innitamente diferenci avel
Distribui co es temperadas regulares
Cap tulo 35
1741/2069
Exemplo 35.2 [Distribui co es temperadas regulares] Se g e uma fun ca o (mensur avel) de crescimento polinomialmente limitado, satisfazendo (35.14) para algum C > 0 e algum m N0 , a express ao Tg , f Tg (f ) := g (x)f (x) dn x
Rn
(35.108)
para f S (Rn ) dene uma distribui ca o temperada (e, portanto, uma distribui ca o). Distribui co es desse tipo s ao denominadas distribui c oes temperadas regulares e empregamos para as mesmas a mesma nota ca o usada na deni ca o das distribui co es regulares em (35.107), pois em ambos os casos a distribui ca o e denida como uma integral de um produto de uma fun ca o de teste com uma fun ca o conveniente. Que (35.108) est a bem-denida para todo f S (Rn ) v e-se pelo seguinte argumento. Escrevemos
Rn
|g (x)| |f (x)| dn x
(35.14)
C
Rn
(1 + x )m |f (x)| dn x
(35.7)
C f
q, 0 Rn
1 dn x , (1 + x )qm
(35.109)
onde, na segunda desigualdade, usamos (35.7) com = 0. Escolhendo q grande o suciente (a saber, q n + m + 1), a integral do lado direito de (35.109) e nita, provando que o lado direito de (35.108) e uma integral absolutamente convergente para todo f S (Rn ). Assim, (35.108) dene um funcional linear em S (Rn ). Provemos agora que e cont nuo em S (Rn ). Para tal seja n n n fk S (R ) uma seq u encia de fun co es que converge a f S (R ) no sentido de S (R ). Teremos |Tg (f fk )| |g (x)| |f (x) fk (x)| dn x
(35.14)
Rn
C
Rn
(1 + x )m |f (x) fk (x)| dn x
(35.7)
C f fk
q, 0 Rn
1 dn x , (1 + x )qm
onde na segunda desigualdade, usamos (35.7) com = 0. Novamente escolhendo q grande o suciente (a saber, q n + m + 1) a integral do lado direito ca nita e conclu mos que existe uma constante C0 , independente de k , tal que |Tg (f fk )| C0 f fk q, 0 . Por hip otese, f fk q, 0 0 para k e isso estabelece que Tg e cont nua em S (Rn ). Nessa linha, outro exemplo que ser a importante no que segue e fornecido pelas fun co es 2 2 n gn (x) = en x ,
(35.110)
com n N. Essas fun co es s ao cont nuas e limitadas e, portanto, s ao de crescimento polinomialmente limitado. Ent ao, para cada n N, Tgn , f dene uma distribui ca o em S (R). A distribui c ao de Heaviside Tgn (f ) =
gn (x)f (x) dx
(35.111)
Como H e mensur avel e de crescimento polinomialmente limitada, podemos com ela denir uma distribui ca o temperada regular, denominada distribui c ao de Heaviside e denotada por TH , dada por TH (f ) :=
25 Oliver
Considere-se a chamada fun c ao degrau (tamb em denominada fun c ao de Heaviside25 ): 1, se x 0 , H (x) := 0, se x < 0 .

(35.112)
H (x)f (x) dx =
0
f (x) dx .
(35.113)
Heaviside (18501925).
Cap tulo 35
1742/2069
f S (R).
Teremos diversos encontros com essa distribui ca o no que segue, mas passemos agora a uma outra distribui ca o de import ancia central na teoria das distribui co es e suas aplica c oes. A distribui c ao delta de Dirac
A distribui c ao delta de Dirac centrada em x0 Rn , ou simplesmente distribui c ao de Dirac centrada em x0 Rn , e denida como sendo a distribui ca o temperada que a cada f S (Rn ) associa seu valor f (x0 ) no denotada por x0 ponto x0 , ou seja, (35.114) x0 , f x0 (f ) = f (x0 ) . e um funcional linear em S (Rn ). Que e cont nua e facilmente visto pelo seguinte E obvio que a x0 , assim denida, argumento. Se fk e uma seq u encia de fun co es de S (Rn ) que converge a f S (Rn ) no sentido de S (Rn ), ent ao, vale, em particular, que f fk 0, 0 0 para k . Logo,
(35.7)
|x0 (f fk )| = |f (x0 ) fk (x0 )|
f fk
0, 0
Nota para os estudantes mais avan cados. Deve-se observar que a distribui ca o delta de Dirac, denida acima, e a medida delta de Dirac, denida ` a p agina 1278 (vide p agina 1368 para a integra ca o em rela ca o a essa medida), s ao objetos matematicamente distintos, mas com efeitos semelhantes. Compare (30.39), p agina 1368, ` a deni ca o (35.114), acima. Como veremos em breve, e poss vel denir derivadas da distribui ca o delta de Dirac, mas n ao da medida delta de Dirac. Em compensa ca o, a medida delta de Dirac permite integrar uma classe de fun co es muito maior que o espa co de Schwartz S (Rn ). Vide coment ario ` a p agina 1368. A restri ca o da integral sobre a medida de Dirac a uma classe especial de fun co es innitamente diferenci aveis (como S (Rn )) dene a distribui ca o de Dirac. Fun co es generalizadas. Uma nota c ao integral para distribui co es Distribui co es da forma Tg (f ) =
Rn
mostrando que |x0 (f fk )| 0 para k , o que estabelece a continuidade de x0 em S (Rn ).
g (x)f (x) dn x
(35.115)
para uma fun ca o g como descrita acima, podem ser interpretadas como representando uma m edia da fun ca o f D (Rn ) ponderada pela fun ca o g . Nem todas as distribui co es s ao dessa forma, mas e costume representar diversas delas usando uma nota ca o integral. Assim, uma distribui ca o T S (Rn ) calculada em uma fun ca o f S (Rn ) pode ser tamb em representada na forma T (f ) t(x)f (x) dn x .
Rn
(35.116)
ao existir uma fun ca o t(x) que a fa ca verdadeira, nem a integral do lado direito Essa nota ca o e simb olica, pois pode n pode ser entendida nos sentidos usuais de integra ca o, como na integral de Riemann ou de Lebesgue. Apesar de ser conceitualmente incorreta (devido ` as ressalvas de acima e ao fato de distribui co es n ao serem fun co es), essa nota ca o eu til e largamente empregada por permitir expressar certas propriedades de distribui co es de modo relativamente simples (por exemplo, a linearidade e, como veremos na Se ca o 35.3.4, a diferenciabilidade). Essa nota ca o e muito popular em textos de F sica, mesmo aqueles matematicamente rigorosos, sendo usada para a distribui ca o de Dirac (vide abaixo), ou para as fun co es de n-pontos da Teoria Qu antica de Campos (para tal, vide e.g. [232], [123] ou [8]). N ao raro, a fun ca o t(x) e usada para denotar a pr opria distribui ca o da qual se origina e as duas no co es freq uentemente se confundem. A fun ca o t(x) e denominada fun c ao generalizada, denomina ca o com que foi introduzida por Sobolev, como mencionado no in cio deste cap tulo. Essas fun c oes generalizadas assim denidas representam, como o nome diz, uma esp ecie de extens ao da no ca o de fun ca o, pois a forma (35.116) parece representar uma generaliza ca o das distribui co es da forma (35.115), denidas com fun co es g leg timas. Muitas distribui co es (a delta de Dirac e um exemplo, como veremos) podem ser obtidas como limite de distribui co es u encias de fun co es hn . A fun ca o generalizada que representa a distribui ca o limite pode, da forma Thn para certas seq assim, ser entendida como um limite (em um sentido a ser precisado) da seq u encia de fun co es hn . costume denotar Um exemplo onde esse tipo de nota ca o e freq uentemente empregado e a distribui ca o de Dirac. E x0 (f ) por x0 (f ) =
Rn
(x x0 )f (x) dn x
(35.117)
Cap tulo 35
1743/2069
e, assim,
Rn
(x x0 )f (x) dn x = f (x0 )
para toda f S (Rn ). A fun ca o generalizada (x x0 ) representa a distribui ca o de Dirac centrada em x0 . Como e f acil de se ver, se (x x0 ) fosse uma verdadeira fun ca o teria que ser nula em toda parte, exceto em x = x0 (pois ca o de S (Rn ) cujo suporte n ao cont em x0 ). Com isso, por em, a integral lado direito x0 (f ) deve ser nula para toda fun de (35.117) seria identicamente nula e n ao igual a f (x0 ), como desejado. Assim, o lado direito de (35.117) tem um signicado apenas simb olico. Essa simbologia permite, por em, discutir a no ca o intuitiva que reside por tr as da distribui ca o delta de Dirac (e da medida delta de Dirac). Essa intui ca o e a de que a mesma representa a densidade de uma grandeza concentrada em um u nico ponto. Assim, se temos, por exemplo, um ponto material de massa m localizado na posi ca o x0 R3 podemos dizer que a densidade de massa desse ponto e dada por (x) = m (x x0 ), que
R3
x, x0 R3 .
(35.118)
De fato, desejamos nesse caso que (x) = 0 se x = x0 (pois o ponto material est a concentrado apenas no ponto x0 ) e hip otese de ser nula para todo x = x0 e divergir em x = x0 , pois nesse ponto ter amos de ter uma densidade innita. Essa interpreta ca o e leg tima e permite justicar intuitivamente muitas das manipula co es efetuadas com a distribui ca o de Dirac. (x)d3 x = m (pois a massa total e m). Assim, se interpretada como uma fun ca o, (x x0 ) deveria satisfazer ` a
Um outro subproduto dessa interpreta ca o da fun ca o generalizada (x x0 ) como uma densidade innita concentrada no ponto x0 e que a mesma pode ser obtida como limite (em um sentido a ser denido) de uma seq u encias de fun co es que representem densidades que v ao concentrando-se sucessivamente no ponto x0 . Essa id eia e capturada pelas chamadas seq u encias delta de Dirac ` as quais dedicamos a Se ca o 34.2. Transla co es em D (Rn )
Podemos denir o operador de transla ca o por y Rn , agindo no conjunto das fun co es denidas em Rn com valores n em C, como sendo o operador linear que a cada fun ca o h : R C associa a fun ca o Ty h : Rn C denida por (Ty h) (x) := h(x y ) . (35.119)
A aplica ca o Rn y Ty implementa a a ca o do grupo de transla co es no conjunto das fun co es denidas em Rn com valores em C. Se T e uma distribui ca o em D (Rn ) (ou em S (Rn )), e f acil provar que, para cada y Rn , a composi ca o T Ty denida por T Ty (f ) := T (Ty f ) , (35.120) Na nota ca o de emparelhamento,
e tamb em uma distribui ca o em D (Rn ) (ou em S (Rn )). Denotaremos tamb em T Ty por Ty T.
T Ty , f e na nota ca o integral T Ty (f ) :=
Rn
:= T, Ty f
T, f = Ty
t(x)f (x y ) dn x =:
t(x + y )f (x) dn x .
Rn
Assim, se t(x) e a fun ca o generalizada que representa a distribui ca o T ent ao t(x + y ) e a fun ca o generalizada que representa a distribui ca o T Ty = Ty T. Pelas deni co es e propriedades acima, e f acil ver que
Ty Tg = Tg Ty = T(Ty g)
e que
Ty 0 = 0 T y = y .
Cap tulo 35
1744/2069
Seq u encias Delta de Dirac
ca o de 0 . Mostraremos mais As distribui co es Tgn , com gn dada em (35.110), permitem mostrar outra caracteriza abaixo que para toda f de S vale lim Tgn (f ) = lim

gn (x)f (x) dx = f (0) = 0 (f )
(35.121)
e, analogamente,
n
lim
gn (x x0 )f (x) dx = f (x0 ) = x0 (f ) ,
onde gn encontra-se denida em (35.110). Para entender o que esse resultado signica, note que: 1. Para todo x diferente de zero vale
n
lim gn (x) = 0 .
(35.122)
2. Para todo n > 0 vale
gn (x)dx = 1 .
x 2 dx e
(35.123) = .
Esse u ltimo resultado e facilmente provado usando a integral de Laplace:
Isso mostra que ` a medida em que n cresce, a fun ca o gn tende a se comportar muito analogamente a uma densidade concentrada em um u nico ponto, o ponto x = 0. Assim, a distribui ca o delta de Dirac centrada em zero pode ser, em um certo sentido, caracterizada como o limite de gn quando n vai para o innito. Ainda que esse limite, matematicamente falando, n ao exista para a seq u encia de fun c oes gn ele faz sentido para a seq u encia de distribui c oes Tgn , geradas pelas fun co es gn . As seq u encia de fun co es gn e um exemplo de uma classe de seq u encias de fun co es denominadas seq u encias delta de Dirac, a qual e detalhadamente estudada na Se ca o 34.2, p agina 1632, cuja leitura recomendamos ao leitor nesse momento. Vide, por exemplo, a Deni ca o 34.1, p agina 1632. De fundamental import ancia e o Teorema 34.1, p agina 1634, sobre a aproxima ca o de fun co es uniformemente cont nuas e limitadas (como as fun co es de Schwartz) por seq u encias de fun co es produzidas por convolu ca o com seq u encias delta de Dirac. Um corol ario imediato daquele teorema, e de interesse para a teoria das distribui co es e: Corol ario 35.2 Se Kn e uma seq u encia delta de Dirac em R (vide Deni c ao 34.1, p agina 1632) de fun c oes polinomic ao em S (R) (pelo Exemplo 35.2) e para todo f S (R) vale almente limitadas, TKn dene uma distribui
n
lim TKn (f ) = f (0) = 0 (f ) ,
o que permite escrever em S (R)

lim T(Tx Kn ) , x0 = lim TKn Tx0 = lim T x 0 T Kn = n 0 n n
para todo x0 R. ca o co es T(Tx Kn ) . Uma arma Assim, a distribui ca o de Dirac x0 em R pode ser entendida como o limite das distribui 0 n an aloga e v alida em R .
35.3.2
Outros Exemplos de Distribui c oes
Nesta se ca o apresentaremos alguns exemplos especiais de distribui co es, exemplos esses distintos dos apresentados acima. Classes ainda maiores de exemplos surgir ao quando tratarmos da no ca o de derivada de distribui co es na Se ca o 35.3.4, p agina 1754.
Cap tulo 35
1745/2069
35.3.2.1
A Distribui c ao Valor Principal
O valor principal de Cauchy de uma integral

n
No espa co Rn , denotamos por B (y, r) a bola aberta de raio r > 0 centrada em y Rn : B (y, r) := x R x y < r , onde x y = (x1 y1 )2 + + (xn yn )2 e a dist ancia Euclidiana usual em Rn . Denotamos c n por B (y, r) conjunto (fechado) complementar a B (y, r), ou seja, R \ B (y, r). Seja uma fun ca o f singular em um ponto y e integr avel nos conjuntos B (y, r)c para todo r > 0. Se o limite
r 0
lim
f (x) dn x
B (y, r )c Rn
existir seu valor e dito ser o valor principal de Cauchy da integral VP

Rn
f (x) dn x, e e denotado por VP f (x) dn x
Rn
f (x) dn x. Assim
f (x) dn x := lim
r 0
B (y, r )c
se o limite existir. Dizer que a integral de f existe no sentido de valor principal (de Cauchy) e dizer que o limite acima existe. Na discuss ao acima assumimos que f tenha apenas um ponto singular, mas n ao h a qualquer diculdade em estender essa no ca o para fun co es com um n umero nito de singularidades, subtraindo-se da regi ao de integra ca o Rn bolas de raio r centradas nesses pontos e tomando-se o limite r 0, caso o mesmo exista. Diversas integrais importantes podem ser denidas no sentido de valor principal. Na Eletrost atica, por exemplo, o potencial el etrico de uma distribui ca o de cargas (suposta cont nua e de suporte compacto) e dada por (x) = 1 40 x d3 x x x
Rn
e a integral do lado direito deve ser entendida no sentido de valor principal, devido ` a singularidade no integrando em x = x. Vide a discuss ao sobre a solu ca o da equa ca o de Poisson no Cap tulo 18, p agina 828. No nosso contexto, a no ca o de valor principal e importante por permitir denir uma distribui ca o. A distribui c ao valor principal de Cauchy Para x0 R, xo, dene-se em D (R) a distribui ca o VPx0 VP VPx0 , VP 1 x x0 ,
1 x x 0
por 1 (x) dx x x0 (35.124)
:= VP
R
generalizada VP
ca o em termos de fun ca o para toda D (R). Por raz oes pr aticas, usaremos indistindamente a nota ca o VPx0 ou a nota
1 x x 0
para essa distribui ca o.
Para mostrar que (35.124) dene, de fato, uma distribui ca o. Provemos primeiramente que o limite que dene o valor principal acima existe de fato e para isso, tomaremos x0 = 0, sem perda de generalidade. Seja A > 0 grande o suciente para que [A, A] contenha o suporte de . Temos, para 0 < r < A,
R\(r, r )
1 (x) dx = x
A r A
1 (x) dx + x
1 (x) dx x
A r
(x) (0) dx + x
(x) (0) dx + (0) x

r r
r A
1 dx + x
=0
A r
1 dx x
(35.125)
Seja F (r) :=
r
(x) (0) dx. Temos que para r > r > 0 vale F (r) F (r ) = x
x x
(x) (0) dx. Agora, x

0, 1
|(x) (0)| =
(s) ds
| (s)| ds
sup
s[0, x]
| (s)|
|x|
|x|
(35.126)
Cap tulo 35
1746/2069
r | 2 n 0, 1 r. Isso mostra que r F (r) e uma rede de Cauchy e, portanto, r (x) (0) converge quando r 0. Para a integral dx a an alise e a mesma. Isso estabelece a exist encia do valor x A principal acima.
0, 1 |r
e, portanto, |F (r) F (r )| n
Que (35.124) dene um funcional linear em D (R) e evidente. Que (35.124) e cont nua em D (R) e provado pelo seguinte argumento. Seja n uma seq u encia em D (R) que converge a 0 para n e seja A > 0 tal que [A, A] cont em o suporte de todas as fun co es n (tal existe pela deni ca o de converg encia em D (R)). Ent ao, VP 1 x , n = VP
R A
1 n (x) dx x
(35.125)
r 0
lim
r A
n (x) n (0) dx + x
A r
n (x) n (0) dx x
(35.127)
Agora, por (35.126),

r
n (x) n (0) dx n x VP 1 x
0, 1 (A
r) e analogamente para a outra integral. Portanto, < 2A n

0, 1
, n
o que prova a continuidade de VP A distribui ca o VP A distribui ca o VP

1 x x 0
1 x
, j a que n
0, 1
0 para n .
pode ser estendida sem diculdade a S (R), sendo, portanto, uma distribui ca o temperada.
1 x x 0
surgir a novamente adiante, por exemplo, quando calcularmos derivadas de certas distribui co es.
1 x x 0
Uma rela c ao u til para a distribui c ao VP
Se S (R) podemos escrever, para todo r > 0 (x) dx = x x0

x 0 r
|xx0 |>r
(x) dx + x x0
x 0 +r
(x) dx = x x0
(y + x0 ) dy + y =
r
(y + x0 ) dy y
(x0 + y ) (x0 y ) dy . y
Como e diferenci avel, o limite limy VP para todo S (R).
( x 0 +y ) ( x 0 y ) y
existe e podemos escrever

0
1 x x0
(y + x0 ) (y + x0 ) dy y
(35.128)
35.3.2.2
Distribui c oes do Tipo Parte Finita de Hadamard
Seja, como acima, B (r, y ) a bola aberta de raio r > 0 centrada em y Rn e seja B (r, y )c seu conjunto complementar. Suponha que f : Rn C seja integr avel em B (r, y )c para cada r > 0 e suponhamos que para todo r > 0 possamos escrever f (x) dn x = F (r) + D(r) ,
B (r, y )c
A no c ao de parte nita de integrais divergentes
precisamente o limite lim F (r), como a parte nita da integral

r 0
onde lim F (r) existe e e nito, enquanto que D e divergente para r 0. Gostar amos de denir a fun ca o F , ou mais
r 0 Rn
f (x) dn x e a fun ca o D como sua parte divergente.
Uma diculdade evidente e a de caracterizar univocamente qual a fun ca o D e qual a fun ca o F na decomposi ca o acima.
Cap tulo 35
1747/2069
Em certos casos, se restringirmos as fun co es D a classes espec cas de fun co es divergentes, a separa ca o entre a parte nita e a parte divergente do limite lim
r 0
f (x) pode ser feita de modo u nico.

B (r, y )c
No que segue, apresentaremos uma classe de fun co es com tal propriedade e em seguida mostraremos que com a correspondente deni ca o de parte nita e poss vel denir uma distribui ca o. Uma classe de fun co es divergentes
Para apresentarmos a no ca o de parte nita de uma integral divergente precisamos da proposi ca o a seguir. Arma ca o que a mesma faz pode parecer obvia, mas a demonstra ca o e um tanto envolvente e e apresentada em detalhe no Ap endice 35.B, p agina 1788.
2 Proposi c ao 35.15 Seja R2 + := (x, y ) R , x 0, y 0 mas (x, y ) = (0, 0) . Seja (ak , bk ), k = 1, . . . , n, uma cole c ao nita de n pares distintos de n umeros complexos com Re (ak ), Re (bk ) R2 + para todo k . Suponha que existam b1 bn (ln x) (ln x) exista e seja nito: constantes c1 , . . . , cn C tais que o limite lim c1 + + cn x0+ xa1 xan
x0+
lim
c1
(ln x)b1 (ln x)bn + + cn a 1 x xan
= C.
(35.129)
Ent ao, = 0 e c1 = = cn = 0.
x) A cole ca o de todas as fun co es denidas em (0, ) que sejam combina co es lineares nitas de fun co es da forma (ln xa claro pela deni com Re (a), Re (b) R2 a denotado aqui por SH . E ca o que SH e um espa co vetorial complexo (e + ser mesmo uma algebra complexa com respeito ao produto usual de fun co es).
b
O seguinte corol ario imediato e essencial para o que segue. Corol ario 35.3 Se uma fun c ao f : (0, a) C puder ser escrita na forma f = s + h com s SH e h tal que lim h(x) existe e e nito, ent ao essa decomposi c ao eu nica, ou seja, se tamb em valer f = r + g com r SH e g tal que lim g (x) = 0 existe e e nito, ent ao s = r e g = h.
x0+ x0+
ao nitos, ent ao lim (h(x) g (x)) Prova. Pela hip otese, se s + h = r + g com s, r SH e lim h(x) e lim g (x) existem e s e nito. Pela Proposi ca o 35.15, isso implica que s = r. existe e e nito. Logo, lim (s(x) r(x)) = 0 existe e
x0+ x0+ x0+ x0+
O ponto importante para nossa discuss ao que nos e ensinado pelo corol ario acima e a observa ca o que se f : (0, a) C for uma fun ca o que diverge em zero de uma forma espec ca, a saber, segundo uma fun ca o de SH (a fun ca o s, acima), ao-divergente de f (a fun ca o h, acima). Essa observa ca o e o germe de ent ao e poss vel identicar univocamente a parte n uma importante deni ca o introduzida por Hadamard26 em 1932 em um estudo sobre equa co es diferenciais parciais27 , a deni ca o de parte nita de uma integral divergente. Muitos consideram esse trabalho de Hadamard como precursor da Teoria de Renormaliza c ao, de import ancia central na Teoria Qu antica de Campos. Historicamente, por em, n ao e claro se os primeiros desenvolvedores dessa teoria tivessem conhecimento daquele trabalho de Hadamard. Comentamos, por m, que certamente e poss vel caracterizar a unicidade em uma classe maior de fun co es divergentes que aquela do conjunto SH , mas esse e o conjunto que demonstrou ser de maior interesse em aplica co es ` a Teoria de Distribui co es e ` a Teoria das Equa co es Diferenciais. A parte nita de Hadamard de integrais divergentes
Seja, como acima, B (r, y ) a bola aberta de raio r > 0 centrada em y Rn e seja B (r, y )c seu conjunto complementar. Suponha que f : Rn C seja integr avel em B (r, y )c para cada r > 0. Dizemos que Rn f (x) dn x possui uma parte
26 Jacques 27 J.
Salomon Hadamard (1865-1963). Hadamard, Le Probl` eme de Cauchy et les Equation aux D eriv ees Partielles. Hermann et Cie, Paris, 1932.
Cap tulo 35
1748/2069
nita no sentido de Hadamard se para todo r > 0 pudermos escrever f (x) dn x = D(r) + F (r) ,
B (r, y )c
onde lim F (r) existe e e nito, enquanto que D SH . Pelo Corol ario 35.3 essa decomposi ca o eu nica. A parte nita
r 0
lim F (r) e denominada parte nita de Hadamard da integral

Rn
r 0
Rn
f (x) dn x e est a, conseq uentemente, bem denida. A
parte nita de Hadamard de
f (x) dn x e denotada por PF

Rn
f (x) dn x.
Com uso da no ca o de parte nita de Hadamard v arias distribui c oes novas podem ser denidas, como mostraremos no que segue. As distribui co es PF
1 xm
, mN
1 xm
Para m N, denimos a distribui ca o PF PF
por , := PF

1 xm
1 (x) dx , xm
D (R). Que realmente se trata de uma distribui ca o pode ser constatado pela seguinte argumenta ca o. Primeiramente, 1 1 observe-se que de acordo com as deni co es PF (x)dx = VP (x)dx e, portanto, x x PF
r
1 x
= VP
r
1 x
Para m > 1, consideremos a express ao que a mesma vale 1 m1
1 (x)dx + xm 1 m1
1 (x)dx, com r > 0. Vemos por integra ca o por partes xm

r
(r) (r) (1)m1 m1 m 1 r r
(x) dx + xm1
1 xm1
(x) dx ,
e isso claramente mostra que PF ou seja PF Da , segue que PF

1 1 (x) dx = PF xm m1 1 xm , = 1 m1
1 (x) dx , xm1 1
PF
xm1
(35.130)
1 1 (x) dx = PF xm (m 1)! 1 xm
1 1 (m1) (x) dx = x (m 1)! 1 (m 1)! 1 x
VP
1 x
, (m1)
ou seja, estabelecemos para todo m N que PF , = VP , (m1) , (35.131)
1 e de fato uma distribui ca o, pois VP x o e, como estabelecemos ano que claramente mostra que PF x1 m , m N, 1 co es teriormente. As distribui co es PF xm podem ser estendidas sem diculdade a S (R), sendo, portanto, distribui temperadas. Daremos uma nova interpreta ca o ` a identidade (35.131) quando falarmos da no ca o de derivada de distribui co es, adiante.
Cap tulo 35
1749/2069
As distribui co es PF
H (x ) x
e PF
H ( x ) x H (x ) x
Outra distribui ca o relevante e a distribui ca o PF PF H (x) x , := PF
, denida por H (x)(x) dx = PF x

0
(x) dx . x
Acima, H e a fun ca o de Heaviside denida em (35.112). Observe-se que, para r > 0,

r
(x) dx = x
0
d ln(x) (x) dx = ln(r)(r) dx

0
ln(x) (x) dx ,
o que prova que PF e, portanto,
(x) dx = x PF
ln(x) (x) dx
(35.106)
(ln x)+ (x) dx
H (x) x
= (ln x)+ , ,
(35.132)
estabelecendo que PF
H (x ) x
e, de fato, uma distribui ca o.

H ( x ) x
De maneira an aloga, denimos a distribui ca o PF PF H (x) x , = PF
por
0
H (x)(x) dx = PF x
(x) dx . x
Escrevendo novamente, para r > 0,

r
(x) dx = x
0
d ln |x| (x) dx = ln(r)(r) dx

0
ln |x| (x) dx ,
o que prova que PF e, portanto,
(x) dx = x PF
ln |x| (x) dx ,
(35.106)
(ln |x|) (x) dx (35.133)
H (x) x
= (ln |x|) , ,
estabelecendo que PF As distribui co es PF temperadas.
H ( x ) x H (x ) x
e, de fato, uma distribui ca o. e PF

H ( x ) x
podem ser estendidas sem diculdade a S (R), sendo, portanto, distribui co es * ** *
Mais propriedades de distribui co es tipo parte nita ser ao estudadas adiante quanto tratarmos de derivadas de distribui co es.
35.3.3
Algumas Rela c oes Uteis Envolvendo Distribui c oes
No que segue, apresentaremos duas rela co es envolvendo distribui co es as quais s ao u teis, particularmente na F sica Qu antica. A f ormula de Breit-Wigner
Seja, para > 0 e x0 R, a fun ca o denida por x0 , (x) := i 1 = 2 2 (x x0 ) + 2 1 1 (x x0 ) + i (x x0 ) i , (35.134)
Cap tulo 35
1750/2069
com x R. Como x0 , e positiva e vale x0 , (x)dx = 1 (verique!), a fun ca o x0 , dene uma distribui ca o 28 29 de probabilidades, conhecida como distribui c ao de Cauchy (ou como distribui c ao de Lorentz , como distribui c ao de Cauchy-Lorentz ou ainda como distribui c ao de Breit30 -Wigner31 ) centrada em x0 . Ela e empregada, por exemplo, na teoria do espalhamento (resson ancias) na Mec anica Qu antica e na F sica das Part culas. Como x0 , e cont nua e limitada, ela tamb em dene uma distribui ca o regular: Tx0 , . Desejamos provar que em S (R) vale (35.135) lim Tx0 , = x0 ,
0
ou, em termos da nota ca o com fun co es generalizadas,

0
lim
1 = (x x0 ) . (x x0 )2 + 2
x0 , (x)dx
(35.136)
A identidade (35.135), especialmente na forma (35.136), e conhecida como f ormula de Breit-Wigner. A demonstra ca o e muito simples. Observemos que x0 , (x) > 0 para todo x, que e todo x0 R e observemos que para todo > 0 vale
x 0 +
= 1 para todo > 0
1 dx = (x x0 )2 + 2
x 0
x 0
1 1 dx = (x x0 )2 + 2
x 0 +
arctan
implicando que para todo > 0 vale lim x0 , (x) dx + x0 , (x) dx = 0.
Pela Deni ca o 34.1, p agina 1632, conclu mos que x0 , (para 0) e uma seq u encia delta de Dirac centrada em x0 e, pelo Teorema 34.1, p agina 1634, conclu mos pela validade de (35.135) e (35.136) em fun co es do espa co de Schwartz S (R). A f ormula de Plemelj-Sokhotsky-Weierstrass Para R, > 0, temos 1 1 (x x0 ) 1 1 i . = (x x0 ) i (x x0 )2 + 2 (x x0 )2 + 2 Logo, se denirmos jx0 , (x) := denido em (35.134) e, assim,
1 1 (xx0 )i
e x0 , (x) :=
(x x 0 ) 1 ( x x 0 ) 2 + 2 ,
x R, teremos jx0 , = x0 , + x0 , com x0 ,
Tjx0 , = Tx0 , iTx0 , . Com a f ormula de Breit-Wigner (35.135) j a sabemos que lim0 Tx0 , = x0 . Vamos agora estudar o limite lim0 Tx0 , . Para S (R) temos Tx0 , () = 1

x0 , (x)(x) dx =
1 (x x0 ) (x) dx = (x x0 )2 + 2 = 1
0
y (y + x0 ) dy y 2 + 2 dy . (35.137) e nito, por
y2
y2 + 2
(y + y0 ) (y + x0 ) y
( y +x 0 ) ( y +x 0 ) y
A fun ca o de y dada por
( y +x 0 ) ( y +x 0 ) y
ser diferenci avel em x0 . Al em disso, vale que

28 Augustin 29 Hendrik
e integr avel, pois S (R) e pois limy0

y y 2 + 2
2
< 1 para todo y R. Logo, o integrando do lado direito de (35.137)
Louis Cauchy (17891857). Antoon Lorentz (18531928). 30 Gregory Breit (18991981). 31 Eugene Paul Wigner (19021995)
Cap tulo 35
1751/2069
( y +x 0 ) e majorado pela fun ca o integr avel (y+x0 ) . Aplica-se, portanto, o Teorema da Converg encia Dominada, y Teorema 30.6, p agina 1373, que nos permite escrever que
lim Tx0 , () = lim
1 0
y2
y2 + 2 1
(y + x0 ) (y + x0 ) y
0
dy
y2 0 y 2 + 2 lim = 1
0
(y + x0 ) (y + x0 ) y dy
dy
(35.128)
(y + x0 ) (y + x0 ) y 1 VP 1 x x0
VP
1 x x0
ou seja,
0
lim Tx0 , =
Com isso, provamos que

0
lim Tjx0 , =
1 VP
Na nota ca o de fun co es generalizadas isso ca lim 1 1 1 = VP (x x0 ) i
1 x x0 1 x x0
ix0 .
(35.138)
i (x x0 ) .
(35.139)
As rela co es (35.138) e (35.139) s ao denominadas f ormula de Plemelj32 -Sokhotsky33 -Weierstrass34 (ou outras combina co es de dois ou tr es desses nomes). As distribui co es denidas pelo limite do lado esquerdo de (35.139) s ao freq uentemente denotadas como Assim, 1 1 1 1 i (x x0 ) . = VP (x x0 ) i0 x x0 A distribui ca o
1 1 xi0 1 1 (xx0 )i0 .
(35.140)
pode tamb em ser descrita de outra forma. Para > 0 podemos escrever
0
eip(x+i) dp =
0
i . x i
Assim, 1 1 i = lim 0 x i0
eip(xi) dp ,
onde a distribui ca o do lado direito e denida sobre D (R) por i 0 lim

0 R
(x)eip(xi) dx dp = lim i
0
ep F[](p) dp = i
F[](p) dp .
A f ormula de Plemelj-Sokhotsky-Weierstrass (35.140) pode ser escrita, portanto, na forma da identidade distribucional
0
eip
(xx0 )+i0
dp = iVP
1 x x0
+ (x x0 ) .
(35.141)
Essa express ao ser a reencontrada na forma das express oes (35.159) e (35.160) quando lidarmos com transformadas de Fourier de distribui co es.
32 Josip 33 Yulian-Karl
Plemelj (ou Plemelji) (18731967). Vasilievich Sokhotsky (tamb em grafado como Sochocki ou Sokhatsk) (18421927). 34 Karl Theodor Wilhelm Weierstrass (18151897).
Cap tulo 35
1752/2069
A distribui c ao f (x) A express ao f (x) , que representa a composi ca o da distribui ca o delta de Dirac com uma fun ca o (adequada) f , ocorre ami ude no trato com distribui co es. No que segue, vamos encontrar uma identidade u til para a mesma, a saber, mostraremos que se f for diferenci avel e anular-se em um u nico ponto x0 do seu dom nio e valer f (x0 ) = 0, tem-se, em termos de fun co es generalizadas, 1 f (x) = (x x0 ) . (35.142) f (x0 ) importante frisar que no denominador do lado direito ocorre o m E odulo de f (x0 ), n ao apenas f (x0 ). Na demonstra ca o dessa igualdade algumas hip oteses adicionais (invertibilidade, diferenciabilidade) ser ao supostas sobre f . Mencionamos que essas hip oteses adicionais e a hip otese de que f tenha um u nico zero podem ser enfraquecidas. Para isso, vide a identidade (35.146) e os coment arios ao nal. Seja f uma fun ca o denida em R satisfazendo as seguintes condi co es: 1. f e uma fun ca o bijetora e, portanto, e invers vel em toda parte, sendo f 1 sua fun ca o inversa; 2. f e f 1 s ao cont nuas e innitamente diferenci aveis em seus dom nios de deni ca o; 3. f anula-se em um ( unico!) ponto x0 em seu dom nio de deni ca o. Assim, x0 = f 1 (0); 4. f n ao se anula em parte alguma, em particular, f (x0 ) = 0. Devido ` au ltima hip otese, tem-se f > 0 ou f < 0, ou seja, ou f e uma fun ca o crescente ou decrescente. Com isso, podemos estabelecer uma conven ca o. Caso f seja crescente, denotamos A lim f (x) e B lim f (x) e, caso seja f decrescente, denotamos A lim f (x) e B lim f (x). Note-se que A pode ser e B pode ser +, caso os limites acima n ao existam. Em todo caso, como f anula-se em um u nico ponto x0 , teremos pela conven ca o acima que A < 0 < B , seja f crescente ou decrescente.
x x+ x x+
Lembrando que sempre vale que A < B , que f > 0 quando f e crescente e que f < 0 quando f e decrescente, podemos sempre escrever que B 1 dy . H f (x) dx = H (y ) A f f 1 (y ) Observe-se o m odulo no denominador f f 1 (y ) . Sua presen ca decorre de termos A < B e de a integra ca o ser feita de A a B , independente de a fun ca o f ser crescente ou decrescente.
Essa conven ca o para a deni ca o de A e de B eu til pela seguinte raz ao. Seja H uma fun ca o cont nua e que decaia a zero sucientemente r apido em . Temos, pela mudan ca de vari aveis y = f (x), B 1 dy , para f crescente, H (y ) 1 f f (y ) A H f (x) dx = A 1 dy , para f decrescente. H (y ) 1 f f (y ) B
Seja agora gn , n N, uma seq u encia delta de Dirac centrada em 0 de fun co es localmente integr aveis, por exemplo, n n2 x2 e . Armamos que as fun c o es compostas g f s a o localmente integr a veis. De fato, para a seq u encia gn (x) = n qualquer intervalo nito (a, b), com a < b, teremos
b f (b)
gn f (x)
a
dx =
f ( a)
|gn (y )|
1 f f 1 (y )
dy ,
onde zemos a mudan ca de vari aveis y = f (x). Pelas hip oteses, e evidente que o lado direito e nito para todo intervalo nito (a, b), provando que gn f s ao localmente integr aveis e localmente integr avel.
Cap tulo 35
1753/2069
Podemos, portanto, considerar a seq u encia de distribui co es regulares Tgn f D (R). Valer a, para D (R), Tgn f , =
B
gn f (x) (x) dx =
A
gn (y )
1 f f 1 (y )
f 1 (y ) dy ,
novamente pela mudan ca de vari avel y = f (x). Como gn e uma seq u encia delta de Dirac centrada em 0, obtemos da u ltima express ao, tomando-se n ,
n
lim Tgn f ,
f f 1 (0) 1 f f 1 (0)
f 1 (0)
f (x0 ) 1
(x0 ) .
Conclu mos disso que

n
lim Tgn f =
f 1 (0) =
f (x0 )
x 0 .
(35.143)
Lembrando que as fun co es gn (x) convergem formalmente ` a fun ca o generalizada (x) (que representa a distribui ca o delta de Dirac centrada em 0), podemos expressar (35.143) em termos de fun co es generalizadas, obtendo f (x) Essa identidade f (x) = = 1 f f 1 (0) x f 1 (0) 1 f (x0 ) = 1 f (x0 ) (x x0 ) .
(x x0 ) ,
(35.144)
onde x0 e o ponto onde f se anula, e muito freq uentemente encontrada em textos de F sica e Engenharia. Ela representa a arma ca o que 1 (x0 ) . (x) f (x) dx = f (x0 ) importante frisar que no denominador do lado direito ocorre o m E odulo de f (x0 ), n ao apenas f (x0 ). Assim, tem-se, por exemplo, para a R, a = 0, constante, a identidade u til (ax) = que segue do caso em que f (x) = ax. As identidades (35.143) e (35.144) podem tamb em ser expressas da seguinte forma: 0 f := 1 f f 1 (0) f 1 (0) = 1 f (x0 ) x 0 . 1 (x) , |a | (35.145)
O leitor pode facilmente constatar que a hip otese que f seja denida em todo R pode ser enfraquecida. As rela co es acima permanecem v alidas se f for denida em um intervalo aberto ou semiaberto de R, desde que continue sendo invers vel e que se mantenham as condi co es de diferenciabilidade sobre f e sua inversa. Com isso em m aos, e tamb em poss vel considerar o caso em que f possua um conjunto nito de zeros: {x1 , . . . , xn }. Nesse caso, tem-se
n
f (x)
k=1 f (xk )
(x xk ) .
(35.146)
Naturalmente, deve ser mantida a hip otese que f (xk ) = 0 para cada k . ca condi co es precisas sobre f que garantam a validade de (35.146), dando sentido ` a distriE. 35.28 Exerc cio. Estabele bui c ao f (x) quando f possua n zeros em R, a saber, os pontos x1 , . . . , xn . Comentamos ainda que as diversas identidades obtidas acima s ao a base para a deni ca o da no ca o de distribui ca o delta de Dirac em variedades.
Cap tulo 35
1754/2069
35.3.4
Derivadas de Distribui c oes
Uma das raz oes pelas quais denimos distribui co es sobre espa cos de fun co es innitamente diferenci aveis e que isso torna poss vel denir a no ca o de derivada de uma distribui c ao. Exemplos de interesse de derivadas de distribui co es ser ao apresentados na Se ca o 35.3.4.1, p agina 1755, e na Se ca o 35.3.4.2, p agina 1756. Comecemos a discuss ao com o caso unidimensional. Derivadas de distribui co es em R
Seja g : R C uma fun ca o diferenci avel e localmente integr avel, cuja derivada seja tamb em localmente integr avel. co es regulares em D (R). Notemos agora que para toda f de D (R) vale Ent ao, por (35.107), Tg e Tg denem distribui Tg (f ) =

g (x)f (x) dx =
g (x)f (x) dx = Tg (f )
x
(35.147)
(a segunda igualdade segue de integra ca o por partes pois, pelas hip oteses,
lim g (x)f (x) = 0). Seguindo a losoa
de identicar uma distribui ca o com a fun ca o generalizada que a representa (vide discuss ao ` a p agina 1742), podemos ca o Tg . Esses coment arios motivam a deni ca o da no ca o de derivada interpretar Tg como sendo a derivada da distribui de uma distribui ca o geral. Deni c ao 35.1 Se T D (R) e uma distribui c ao qualquer, denimos sua derivada T D (R) como sendo a distribui c ao dada por T (f ) := T (f ) (35.148) para toda f D (R). Assim, na nota c ao de emparelhamento, T , f Note-se que, com isso, (35.147) informa-nos que = T, f .
Tg = Tg
para toda fun c ao diferenci avel e localmente integr avel g , cuja derivada seja tamb em localmente integr avel. Na nota c ao integral para distribui c oes , se t(x) e a fun c ao generalizada que representa T , temos

t (x) f (x) dx =
t(x) f (x) dx .
um exerc E cio elementar constatar que T , assim denida, e de fato uma distribui ca o. Fazendo uso do fato de lidarmos com fun co es innitamente diferenci aveis podemos generalizar ainda mais essa deni ca o Deni c ao 35.2 Se T D (R) e uma distribui c ao qualquer e n N0 , denimos a n- esima derivada de T , denotada por (n) T D (R), como sendo a distribui c ao dada por T (n) (f ) := (1)n T f (n) para toda f D (R). Assim, na nota c ao de emparelhamento, T (n) , f = (1)n T, f (n)

(35.149)
e na nota c ao integral, se t(x) e a fun c ao generalizada que representa T ,

t(n) (x) f (x) dx = (1)n
t(x) f (n) (x) dx .
Novamente, e um exerc cio elementar constatar que T (n) , assim denida, e de fato uma distribui ca o. No sentido da deni ca o acima, distribui co es s ao innitamente diferenci aveis. No que segue, denotaremos a derivada de uma distribui ca o T por T ou tamb em por dn (n) derivada T tamb em ser a por vezes denotada por dxn T .
d dx T .
Analogamente, a n- esima
Cap tulo 35
1755/2069
Mais considera co es sobre a continuidade de derivadas de distribui co es regulares ser ao apresentadas logo adiante. E ao e necessariamente uma distribui ca o regular importante notar que se Tg for uma distribui ca o regular, sua derivada Tg n (a fun ca o g pode n ao ser diferenci avel, ou sua derivadas pode n ao ser localmente integr avel). Um exemplo desse tipo e discutido na Se ca o 35.3.4.2, logo adiante: para a fun ca o de Heaviside H , tem-se TH = 0 . Derivadas de distribui co es temperadas em R
Todos os coment arios e deni co es de acima particularizam-se para distribui co es temperadas: se T S (R) denimos sua n- esima derivada por f S (R) T (n) , f = (1)n T, f (n) , e, em especial, se g for uma fun ca o n vezes diferenci avel e de crescimento polinomialmente limitado cujas n primeiras derivadas s ao igualmente de crescimento polinomialmente limitadas, temos para distribui co es regulares Tg (n) = Tg(n) ,
como facilmente se constata via integra ca o por partes. Mais considera co es sobre a continuidade de derivadas de distribui co es temperadas regulares ser ao apresentadas logo adiante. importante observar que pode ocorrer de uma fun E ca o g ser de crescimento polinomialmente limitado mas n ao 4 suas derivadas. Considere-se g (x) = cos ex , x R. Essa fun ca o e de crescimento polinomialmente limitado, mas 4 4 ao est a e a denida enquanto distribui ca o temperada, mas Tg n g (x) = 4x3 ex sen ex n ao e. Nesse caso Tg est Tg = Tg . Derivadas parciais de distribui co es em Rn
As deni co es de acima estendem-se naturalmente a distribui co es denidas em Rn :
Deni c ao 35.3 Se T D (Rn ) e uma distribui c ao qualquer e e um multi- ndice, denimos a distribui c ao D T como n sendo a distribui c ao em D (R ) dada por (D T ) (f ) := (1)|| T (D f ) para toda f D (Rn ). Assim, na nota c ao de emparelhamento, D T, f = (1)|| T, D f e na nota c ao integral, se t(x) e a fun c ao generalizada que representa T , (D t(x)) f (x) dn x = (1)|| t(x) (D f (x)) dn x .
Rn
(35.150)
Rn
um exerc E cio elementar provar, usando as deni co es acima, que D T e de fato uma distribui ca o. Uma vez entendido que distribui co es s ao objetos innitamente diferenci aveis, podemos tamb em denir certos tipos de equa co es diferenciais para distribui co es, o que faremos mais adiante, limitando nossa discuss ao a equa co es lineares.
35.3.4.1
Alguns Exemplos de Derivadas de Distribui c oes
Derivadas de distribui co es regulares
Seja h uma fun ca o localmente integr avel em Rn e seja Th a correspondente distribui ca o regular denida em (35.107). Se e um n-multi- ndice, D Th e denida por D Th , D Th () := (1)| | h(x)D (x) dn x
Rn
(35.151)
para D (Rn ). Que (35.151) est a bem-denida para todo D (Rn ) segue do seguinte argumento. Pelo fato de o suporte de ser compacto podemos restringir a integral de (35.151) a esse suporte. Como D e limitado, segue que |h(x)| |(x)| dn x sup |D (x)|, x Rn
supp
Rn
|h(x)| dn x
Cap tulo 35
1756/2069
que e nito por hip otese. Com isso, (35.151) dene um funcional linear em D (Rn ). Provemos que esse funcional linear e cont nuo. Para tal seja k D (Rn ) uma seq u encia de fun co es que converge a D (Rn ) no sentido de D (Rn ). Ent ao, existe um compacto K Rn tal que supp ( k ) K para todo k grande o suciente e para todo multi- ndice , tem-se que sup{|D (x) D k (x)|, x Rn } 0 para k . Portanto, para todo k grande o suciente, vale D Th ( k ) |h(x)| D (x) D k (x) dn x = |h(x)| D (x) D k (x) dn x D (x) D k (x) , x Rn |h(x)| dn x .
Rn
sup
Como a integral do lado direito e nita, conclu mos que D Th ( k ) 0 para k e isso estabelece que D Th n e cont nua em D (R ) e, portanto, que e um elemento de D (Rn ). Analogamente ao exemplo de (35.105), nem toda distribui ca o desse tipo e temperada. Derivadas de distribui co es temperadas regulares
Seja g uma fun ca o (mensur avel) e de crescimento polinomialmente limitado denida em Rn , satisfazendo (35.14) para algum C > 0 e algum m N0 . Seja Tg a correspondente distribui ca o temperada regular denida em (35.108). Se e um n-multi- ndice, D Tg e denida por D Tg , f D Tg (f ) := (1)| | g (x)D f (x) dn x
Rn
(35.152)
para f S (Rn ) dene uma distribui ca o temperada (e, portanto, uma distribui ca o). Que (35.152) est a bem-denida para todo f S (Rn ) v e-se pelo seguinte argumento. Escrevemos
Rn
|g (x)| |D f (x)| dn x
(35.14)
C
Rn
(1 + x )m |D f (x)| dn x
(35.7)
C f
q, Rn
1 dn x . (1 + x )qm
(35.153)
Escolhendo q grande o suciente (a saber, q n + m + 1), a integral do lado direito de (35.153) e nita, provando que o lado direito de (35.152) e uma integral absolutamente convergente para todo f S (Rn ).
Assim, (35.152) dene um funcional linear em S (Rn ). Provemos agora que e cont nuo em S (Rn ). Para tal seja n n n fk S (R ) uma seq u encia de fun co es que converge a f S (R ) no sentido de S (R ). Teremos D Tg (f fk ) |g (x)| |D (f fk )(x)| dn x
(35.14)
Rn
C
Rn
(1 + x )m |D (f fk )(x)| dn x
(35.7)
C f fk
q, Rn
1 dn x . (1 + x )qm
Novamente escolhendo q grande o suciente (a saber, q n + m + 1) a integral do lado direito ca nita e conclu mos que existe uma constante C0 , independente de k , tal que D Tg (f fk ) C0 f fk q, . Por hip otese, f fk q, 0 para k e isso estabelece que D Tg e cont nua em S (Rn ). Derivadas da distribui c ao de Dirac Pelas deni co es de acima podemos denir a derivada n- esima da distribui ca o de Dirac centrada em x0 por
(n) (f ) := (1)n x0 f (n) x 0
= (1)n f (n) (x0 )
para toda f S (R).
35.3.4.2
C alculo da Derivada de Algumas Distribui c oes de Interesse
Para entender melhor o que as deni co es apresentadas acima para a no ca o de derivada de uma distribui ca o signicam, trataremos aqui de exemplos, dentre os quais, alguns de consider avel interesse.
Cap tulo 35
1757/2069
Considere-se a distribui ca o de Heaviside TH denida em (35.113). Vamos mostrar que a derivada de TH coincide com a distribui ca o 0 . Pela deni ca o, (TH ) (f ) = TH (f ) =

H (x)f (x) dx =
f (x) dx = f (0) f () = f (0).
(35.154)
Portanto, para toda f S (R) tem-se (TH ) (f ) = 0 (f ). Isso mostra, fazendo-se uma analogia com (35.147), que a distribui ca o de Dirac pode ser entendida como a derivada da distribui ca o associada ` a fun ca o degrau. Assim, apesar de H (x) n ao ser uma fun ca o diferenci avel (sua derivada n ao est a denida em x = 0), podemos interpretar sua derivada H (x) como uma fun ca o generalizada, a saber atrav es da rela c ao H (x) = (x) . Ao notar que H n ao existe enquanto fun ca o mas existe enquanto fun ca o generalizada o estudante pode apreciar melhor a relev ancia dessa no ca o. E. 35.29 Exerc cio importante. Seja h a fun c ao cont nua mas n ao diferenci avel (em x = 0) denida por 0, x0, |x| + x = h(x) := 2 x, x>0.
Mostre que (Th ) = TH (com H denida em (35.112)) e que (Th ) = 0 . Conclua, em termos de fun co es generalizadas, que valem h (x) = H (x) e h (x) = (x) . O estudante deve atentar para o fato que a rela c ao h (x) = H (x) n ao deve ser entendida como uma igualdade entre fun co es, mas entre fun co es generalizadas, pois h n ao e uma fun c ao, ainda que H o seja. Esse exerc cio mostra que a distribui ca o de Dirac e a derivada (distribucional) segunda de uma fun ca o cont nua e polinomialmente limitada, a saber, da fun ca o h. Um teorema mais profundo da Teoria das Distribui co es arma que toda distribui ca o em S (R) e a derivada de ordem sucientemente grande de uma fun ca o cont nua e polinomialmente limitada. Vide Teorema 35.4, p agina 1758 e vide e.g. [195] e [196]. Essa arma ca o n ao e v alida para as distribui co es em D (R) (ache um contra-exemplo!). As derivadas das distribui co es ln |x|, (ln x)+ e (ln |x|)
Como j a observamos, ln |x| e uma fun ca o localmente integr avel e, portanto, dene uma distribui ca o com ln |x|, := ln |x| (x)dx, o mesmo se dando com as fun co es (ln x)+ e (ln |x|) denidas em (35.106). No que segue, vamos d ln |x| = VP dx 1 x d (ln x)+ = PF dx H (x) x d (ln |x|) = PF dx H (x) x
calcular as derivadas dessas distribui co es e estabelecer que , e . (35.155)
As duas u ltimas rela co es foram estabelecidas em (35.132) e (35.133), respectivamente, de modo que falta-nos apenas demonstrar a primeira. Observemos para tal que d ln |x|, dx
r r
= ln |x|, = lim
r 0+
ln |x| (x)dx +
ln |x| (x)dx
r
= lim Agora, ln(r)(r) = ln(r)(0) +

(r )(0) r ln(r) r
r 0+
ln(r)(r) ln(r)(r) +
(x) dx + x
(x) dx x
e, portanto (r) (0) (r) (0) r r r ln(r) .
ln(r)(r) ln(r)(r) =
Cap tulo 35
1758/2069
Quando r 0, a express ao
r 0
(r )(0) r
converge a (0) e
(r )(0) r
mos que portanto, lim ln(r)(r) ln(r)(r) = 0 e disso conclu d ln |x| , dx = lim
r
converge a (0). No entanto, lim r ln r = 0 e,

r 0
r 0
(x) dx + x
(x) dx x
= VP
(x) dx , x
demonstrando a primeira identidade em (35.155). As derivadas das distribui co es VP

1 x
e PF
1 xm
, mN
Podemos ainda coletar alguns dos resultados anteriores e interpret a-los em termos de derivadas de distribui co es. Em 1 1 d PF xm = ( m 1) PF para m N , ou seja, (35.130), por exemplo, estabelecemos que dx 1 xm d PF dx
m 1
1 xm
= mPF
1 xm+1
mN.
1 xm
d 1 A rela ca o (35.131) pode ser lida como dx = (1)m1 (m 1)!PF m1 VP x que 1 1 dm = (1)m m! PF , VP dxm x xm+1
para todo m N, ou seja, estabelecemos m N0 .
Junto com a primeira rela ca o em (35.155), isso estabeleceu tamb em que PF 1 xm+1 = (1)m dm+1 ln |x| , m! dxm+1 m N0 .
35.3.5
Alguns Resultados Estruturais sobre Distribui c oes
Nesta breve se ca o listaremos alguns resultados importantes sobre a natureza das distribui co es e distribui co es temperadas. Suas demonstra co es ser ao omitidas na presente vers ao deste texto por requererem um estudo mais aprofundado de aspectos topol ogicos que sub-jazem ` a teoria das distribui co es. Suporte de Distribui co es. Suporte singular de distribui co es
Recordemos que o suporte de uma fun ca o f : Rn C, denotado por supp f Rn , e o fecho do conjunto de todos os pontos onde a fun ca o n ao se anula. Para distribui co es existe uma no ca o an aloga. Dizemos uma distribui ca o T D (Rn ) n n anula-se em um aberto R se T () = 0 para toda D (R ) com supp . O suporte de uma distribui c ao evidente por essa T D (Rn ), denotado por supp T , e o complemento da uni ao de todos os abertos onde T se anula. E deni ca o que suporte de uma distribui ca o e um conjunto fechado. Para distribui co es temperadas a deni ca o de suporte e id entica. e {x0 }, como facilmente se constata. O mesmo vale O suporte da distribui ca o delta de Dirac centrada em x0 , x0 , (n) ca o regular Th coincide com o suporte de h. para suas derivadas x0 , n N0 . O suporte de uma distribui O suporte singular de uma distribui c ao T D (Rn ), denotado por sing supp T , e o menor fechado de Rn em cujo n complemento T e igual a uma distribui ca o de Dreg, (R ), ou seja, a uma distribui ca o regular de uma fun ca o innitamente diferenci avel. O suporte singular das distribui co es x0 coincide com o suporte dessas distribui co es, ou seja, e {x0 }. O suporte da 1 distribui ca o VP xx0 e R, mas seu suporte singular e {x0 }. Regularidade de distribui co es
(n)
Dizemos que duas distribui co es T1 e T2 s ao iguais em um aberto Rn se T1 T2 anula-se em .
O resultado a seguir informa que toda distribui ca o temperada e uma derivada (de ordem grande o suciente) de uma distribui ca o regular.
Cap tulo 35
1759/2069
Teorema 35.4 Seja T S (Rn ). Ent ao, existe uma fun c ao h denida em Rn , cont nua e de crescimento polinomialn mente limitado, e um n-multi- ndice N0 tais que T = D Th , ou seja, T (f ) = (1)| | para toda f S (Rn ). Uma demonstra ca o desse teorema pode ser encontrada, por exemplo, em [195] e [196]. Um exemplo not orio e 0 , a distribui ca o delta de Dirac centrada em 0 em R. Vide Exerc cio E. 35.29, p agina 1757. O Teorema 35.4 n ao e v alido no caso de distribui co es em D (Rn ), como mostra o exemplo (de [195]) da distribui ca o T D (R) denida por T := verdadeira:
h(x) D f (x) dn x
Rn
D n n =
n=
n=
(n) (x n). Justique! Uma forma local do mesmo, por em, e
Teorema 35.5 Seja T D (Rn ). Ent ao, para cada compacto C Rn existe uma fun c ao cont nua h denida em C e um n c ao de teste D (Rn ) n-multi- ndice N0 (h e podem depender de C ) tais que T () = D Th (), para toda fun com suporte em C , ou seja, T () = (1)| | para toda D (Rn ) com supp C . h(x) D (x) dn x
Rn
(35.156)
Um corol ario evidente e que para distribui c oes com suporte compacto as arma c oes de acima valem globalmente: se T D (Rn ) possuir suporte compacto, ent ao existe uma fun c ao cont nua h e um n-multi- ndice Nn 0 tais que n n | | h ( x ) D ( x ) d x para toda D ( R ) . T = D Th , ou seja vale T () = (1) n R Uma elegante demonstra ca o desse teorema (fazendo uso do Teorema da Representa ca o de Riesz, Teorema 36.10, p agina 1817) pode ser encontrada em [22]. Uma ilustra ca o de como o Teorema 35.5 e usado pode ser encontrada na demonstra ca o da Proposi ca o 35.17, p agina 1765. O teorema a seguir pode ser demonstrado a partir do Teorema 35.4. Vide e.g. [22] ou [195]. Teorema 35.6 Seja T S (Rn ) uma distribui c ao temperada cujo suporte e {x0 }, para x0 Rn . Ent ao, T e uma combina c ao linear nita da distribui c ao x0 e suas derivadas, ou seja, existem N N, constantes ck C, k = 1, . . . , N
N
e inteiros n ao-negativos distintos nk N, k = 1, . . . , N com 0 n1 < < nN , tais que T =
(nk ) . ck x 0 k=1
35.3.6
Transformadas de Fourier de Distribui c oes Temperadas
Seja g S (Rn ) e seja Tg a distribui ca o temperada denida em (35.108) por Tg (f ) Tg , f = Rn g (x)f (x) dn x. De acordo com (35.60) temos que Tg , F[f ] = TF[g] , f . Essa observa ca o nos induz a denir a no ca o de transformada de Fourier de uma distribui ca o temperada seguindo o mesmo tipo de id eia que inspira a deni ca o de derivadas de distribui co es. Se T S (Rn ) e uma distribui ca o em Rn , denimos sua transformada de Fourier F[T ] S (Rn ) como sendo a distribui ca o que a cada f S (Rn ) associa F [T ], f := T, F[f ] .
Analogamente, a transformada de Fourier inversa de T S (Rn ) e denida por F1 [T ], f := T, F1 [f ] .
Com essas deni co es F e F1 passam a ser consideradas como aplica co es lineares de S (Rn ) sobre si mesmo com F1 sendo a inversa de F.
Cap tulo 35
1760/2069
35.3.6.1
C alculo de Transformadas de Fourier de Algumas Distribui c oes Temperadas
Seja y a distribui ca o delta de Dirac centrada em y Rn . Por deni ca o, temos F [ y ], f := y , F [f ] = F[f ](y ) = 1 (2 )n/2 eiyx f (x) dn x =
Rn
1 Te (f ) = (2 )n/2 y
1 Te , f (2 )n/2 y
onde ey e a fun ca o ey (x) := eiyx . Assim, provamos que F [ y ] = ou seja, na nota ca o de fun co es generalizadas, F[y ](p) = 1 eiyp . (2 )n/2 1 Te , (2 )n/2 y
Em textos de F sica n ao e raro encontrar-se essa identidade escrita tamb em na forma 1 (2 )n/2
Rn
eixp (x y ) dn x =
1 eiyp . (2 )n/2
desnecess E ario repetir que a integral do lado esquerdo possui apenas um sentido simb olico. Apesar disso, rela co es como essa t em um valor pr atico e s ao freq uentemente empregadas. De forma totalmente an aloga, prova-se que F 1 [ y ] = 1 Te . (2 )n/2 y
E. 35.30 Exerc cio. Verique! Dessas rela co es conclu mos que F[Tey ] = (2 )n/2 y e que F1 [Tey ] = (2 )n/2 y .
Escrevendo essas rela co es de maneira formal como uma integral, temos 1 (2 )n ei(yx)w dn w = y (x) = (x y ) , (35.157)
Rn
tal como antecipado em (35.48). Novamente comentamos que essas integrais, ainda que possuam apenas signicado simb olico, s ao freq uentemente empregadas em manipula co es, especialmente em textos de F sica. As transformadas de Fourier de derivadas da distribui ca o delta de Dirac s ao tamb em f aceis de se calcular. Para um n-multi- ndice , temos F [D y ], f := D y , F [f ] = (1)|| y , D F[f ] i|| (2 )n/2 = (i)|| y , P F[f ] = i|| y , F[Q f ] i|| Te , f (2 )n/2 ,y ,
= i|| F[Q f ](y ) =
eiyx x f (x) dn x =
Rn
i|| Te (f ) = (2 )n/2 ,y
onde e,y e a fun ca o e,y (x) := x eiyx , ou seja, F [D y ] = De forma totalmente an aloga, prova-se que F 1 [D y ] = (i)|| . Te (2 )n/2 ,y i|| Te . (2 )n/2 ,y (35.158)
Cap tulo 35
1761/2069
Em termos da nota ca o de fun co es generalizadas, a rela ca o (35.158) se deixa escrever como F[D y ](p) = i|| p eiyp . (2 )n/2
E. 35.31 Exerc cio. Verique! Dessas rela co es conclu mos que F[Te,y ] = i|| (2 )n/2 D y e que F1 [Te,y ] = (i)|| (2 )n/2 D y .
Escrevendo essas rela co es de maneira formal como uma integral, temos 1 (2 )n

w ei(yx)w dn w = i|| Dx y (x) = i|| Dx (x y ) ,
Rn
express ao essa que tamb em pode ser obtida formalmente de (35.157). A transformada de Fourier da distribui c ao de Heaviside e outras associadas
interessante determinarmos a transformada de Fourier da distribui E ca o de Heaviside, entre outras raz oes, pois com ela obtemos tamb em a transformada de Fourier de outras distribui co es. Seja TH a distribui ca o de Heaviside denida em (35.113). Para S (R) teremos F[TH ] () = TH (F) =
0
F[](y ) dy = a lim 0
a>0
eay F[](y ) dy ,
sendo que a u ltima igualdade e justicada pelo fato que eay < 1 para todo y R+ , pelo fato que F[] S (R) L1 (R, dx) e pelo Teorema da Converg encia Dominada, Teorema 30.6, p agina 1373. Agora,
0
1 eay F[](y ) dy = 2
eay
eixy (x) dx
1 dy = 2
eayixy dy (x) dx ,
ay ixy dy 0 e
onde, para a troca de ordem de integra ca o na u ltima igualdade, usamos o Teorema de Fubini35 . Como 1 a+ix , temos 1 1 i i (x) dx = , , (F[TH ])() = a lim 0 x ia x i0 2 2 a>0 onde a distribui ca o
1 xi0
foi denida em (35.140). Assim, com a identidade (35.140) estabelecemos que 1 i F [T H ] = x i0 2

(35.140)
i VP 2
1 x
0 . 2
(35.159)
De maneira an aloga prova-se que 1 i F 1 [T H ] = x + i0 2

(35.140)
i VP 2
1 x
0 . 2
(35.160)
O estudante deve comparar (35.159) e (35.160) a (35.141). Das express oes (35.159)(35.160) obt em-se facilmente as seguintes rela co es: F 1 x i0 = i 2 TH e F 1 1 x i0 = i 2 TH ,
sendo H (y ) = H (y ), ou seja, na nota ca o de fun co es generalizadas, F

35 Guido
1 (y ) = i 2 H (y ) x i0
F 1
1 (y ) = i 2 H (y ) . x i0
Fubini (18791943).
Cap tulo 35
1762/2069
De (35.159)(35.160) obt em-se tamb em F VP 1 x = i 2 TH 1/2 e F1 VP 1 x = i 2 TH 1/2 ,
ou, na nota ca o de fun co es generalizadas, F VP ou seja, VP 1 x 1 (y ) = i 2 H (y ) 2

F1 VP
1 x
1 (y ) = i 2 H (y ) 2
(35.161)
eiyx dx = i 2H (y ) 1 x
= i sinal(y ) .
(35.162)
Aqui, sinal(y ) e o sinal de y R. Verique! E. 35.32 Exerc cio. Obtenha todas as rela co es de acima.
35.3.7
Produtos de Distribui c oes
Produtos tensoriais de distribui co es
Dadas duas fun co es , D (Rn ) dene-se seu produto tensorial36 , denotado por como sendo a fun ca o denida 2n em R por (x, y ) = (x) (y ) .
um exerc E cio elementar (fa ca-o!) mostrar que assim denida e um elemento de D (R2n ). A cole ca o de todas as 2n fun co es de D (R ) que sejam combina co es lineares nitas de produtos tensoriais de fun co es de D (Rn ) e um subespa co relativamente f linear de D (R2n ) denotado por D (Rn ) D (Rn ), o produto tensorial de D (Rn ) consigo mesmo. E acil provar usando o Teorema de Weierstrass (Teorema 34.3, p agina 1638) que D (Rn ) D (Rn ) e denso em D (R2n ), ou seja, 2n toda fun ca o de D (R ) pode ser aproximada por fun co es na forma de somas nitas k k (x)k (y ), com k , k D (Rn ) para todo k . Omitiremos a demonstra ca o aqui. Se T, U D (Rn ), dene-se o produto tensorial T U como o funcional linear denido em D (Rn ) D (Rn ) por (T U )( ) = T ()U ( ) .
Claramente T U e cont nua em cada um dos seus argumentos separadamente. Como D (Rn ) D (Rn ) e denso em 2n D (R ), o produto tensorial T U pode ser estendido a todo D (R2n ) e, portanto, dene uma distribui ca o nesse espa co, ou seja, T U D (R2n ). Dessa forma, se t e u denotam as fun co es generalizadas associadas a T e U , respectivamente, e leg timo escrever, na nota ca o integral, (T U )( ) = t(x)u(y ) (x, y ) dn x dn y
R2n
para toda D (R2n ). Assim, a fun ca o generalizada associada a T U e t u. Ao contr ario do caso de fun co es, o produto de duas distribui co es pode ser denido sob circunst ancias bastante restritivas. Vamos discutir brevemente uma dessas circunst ancias atendendo nosso interesse pr oximo de discutir equa co es diferenciais distribucionais lineares. Sejam T D (Rn ) uma distribui ca o e h C (Rn ) uma fun ca o innitamente diferenci avel. Denimos o produto h T como sendo a distribui ca o que a cada f D (Rn ) associa h T (f ) := T (hf ) . Na nota ca o de emparelhamento isso signica h T, f
36 No
Produto de fun co es e distribui co es
(35.163)
:= T, hf
caso dos espa cos S (Rn ) as deni co es s ao an alogas.
Cap tulo 35
1763/2069
e na nota ca o integral, se t e a fun ca o generalizada associada a T e ht e a fun ca o generalizada associada a h T , (ht)(x) f (x) dn x :=
Rn Rn
t(x) h(x)f (x) dn x .
Assim, a fun ca o generalizada (ht)(x) e dada simbolicamente por h(x)t(x). E. 35.33 Exerc cio. Mostre que h T , denida em (35.163), com T D (Rn ) e h C (Rn ), e de fato uma distribui c ao. Se T S (Rn ) e uma distribui ca o temperada, podemos denir analogamente o produto h T por h T (f ) := T (hf ) (para toda f D (Rn )) desde que h seja innitamente diferenci avel e tenha crescimento polinomialmente limitado. E. 35.34 Exerc cio. Mostre que h T assim denida, com T S (Rn ) e h C (Rn ) com crescimento polinomialmente limitado, e de fato uma distribui c ao temperada. A regulariza c ao de uma distribui c ao
Para D (Rn ) e y Rn , seja y (Ty (R)) com Ty denida em (35.119). A fun ca o y e tal que y (x) = (y x) para todo x Rn . Naturalmente y e, para cada y Rn , tamb em um elemento de D (Rn ). Se T D (Rn ) a aplica ca o Rn y T (y ) C dene uma fun ca o em Rn , a qual e freq uentemente denotada por T . Assim, (T )(y ) := T (y ) = T Ty (R) =
Rn
t(x)(y x) dn x ,
sendo que na u ltima igualdade empregamos a nota ca o em termos de fun co es generalizadas, t(x) sendo a fun ca o generalizada associada a T . A fun ca o T e dita ser a regulariza c ao da distribui c ao T pela fun c ao de teste . de se notar tamb E em que se T e uma distribui ca o regular, isto e, se T = Th para h localmente integr avel, teremos (Th )(y ) = h(x)(y x) dn x = (h )(y ) .
Rn
tamb E em interessante observar que para T D (Rn ) e D (Rn ) tem-se T, = T () = T (0 ) = T (R) (0) . (35.164)
Para atender a diversos prop ositos futuros, vamos estudar algumas propriedades das fun co es T . A primeira delas refere-se ` a diferenciabilidade de T . Proposi c ao 35.16 Para T D (Rn ) e D (Rn ) e com as deni c oes de acima a fun c ao T e innitamente diferenci avel. Tem-se tamb em D (T ) = T (D ) = (D T ) (35.165) para todo n-multi- ndice . Por m, vale a arma c ao que se T tem suporte compacto, ent ao T e um elemento de D (Rn ). Prova. Seja z Rn e considere-se a diferen ca y+z (x) y (x) = (y + z x) (y x) .
Cap tulo 35
1764/2069
Podemos escrever, usando a diferenciabilidade de e denotando

1
xk (x)
por (Dk )(x),
y+z (x) y (x)
=
0 n
d y+tz (x) dt = dt
1 0
1 0
d (y + tz x) dt dt
=
k=1 n
Dk (y + tz x)zk dt
n 1 0
=
k=1
Dk (y x)zk +
k=1
Dk (y + tz x) Dk (y x) zk dt ,
n k=1
sendo que na u ltima igualdade apenas somamos e subtra mos o termo n fun ca o x k=1 Dk (y x)zk assim como a fun ca o
n 1 0
Dk (y x)zk . Observemos agora que a
k=1
Dk (y + tz x) Dk (y x) zk dt
(35.166)
s ao elementos de D (Rn ). Para a primeira fun ca o a arma ca o e evidente; para a segunda necessitamos apenas observar 1o que o lado direito de (35.166) e innitamente diferenci avel em rela ca o a x (pois, sob as hip oteses, podemos diferenciar sob o s mbolo de integral. Vide Proposi ca o 34.5, p agina 1630) e 2o que o lado direito de (35.166) tem suporte compacto como fun ca o de x, pois as fun co es Dk t em suporte compacto. Assim, e leg timo escrevermos
n 1
(T )(y + z ) (T )(y ) = T, y+z y

1
=
k=1
T, Dk
+ T,
0
Dk
y +tz
Dk
dt
zk .
Observemos agora que a express ao T, 0 Dk y+tz Dk y dt pode ser majorada da seguinte forma: sendo T uma distribui ca o, existe para cada compacto K Rn e todo m N0 uma constante CK, m tal que
1
T,
0
Dk
Dk y +tz
dt
CK, m CK, m
sup
xK, ||m
Dx
Dk
0
y +tz
(x) Dk y (x) dt
sup
xK, ||m 0
D Dk (y x + tz ) D Dk (y x)dt dt .
Em fun ca o da continuidade uniforme de e suas derivadas, podemos, para cada > 0, uma bola B Rn centrada em 0 tal que para todo z B (e, conseq uentemente, tz B para todo t [0, 1]) teremos D Dk (y x + tz ) D Dk (y x) < . Com isso, obtemos que
n
(T )(y + z ) (T )(y ) = o que demonstra que T e diferenci avel e vale Dk (T )(y ) =
T, Dk
k=1
zk + o() .
T, Dk
(35.167)
A argumenta ca o de acima pode ser repetida para demonstrar que T e diferenci avel um n umero nito arbitr ario de vezes, ou seja, e innitamente diferenci avel. Para provarmos (35.165) notemos, por um lado, que T, Dk Dk R, tem-se tamb em T, Dk
y y
= T (Dk ) (y ). Por outro lado, como RDk = = Dk T, y = (Dk T ) (y ) .
T, Ty R Dk
= T, Dk Ty R
Dk T, Ty R
Cap tulo 35
1765/2069
Portanto, de (35.167), teremos Dk (T )(y ) = D (T )(y ) = para todo n-multi- ndice . Para nalizarmos, a arma ca o de que se T tem suporte compacto, ent ao T e um elemento de D (Rn ) e evidente n pois (T )(y ) = T (y ) = T Ty (R) . Para todo y R com y grande o suciente o suporte de y = Ty (R) ser a disjunto do suporte de T e, portanto, (T )(y ) ser a nula. Ainda sobre as fun co es T vale o seguinte resultado que utilizaremos no que segue: Proposi c ao 35.17 Seja T D (Rn ). Ent ao, vale T ( ) = (T ) para todos , D (Rn ). Prova. Recordemos, em primeiro lugar, que D (Rn ), sendo, portanto, innitamente diferenci avel e de suporte compacto. Fixemos essas duas fun co es e . Pela deni ca o, temos que T ( ) (y ) = T ( )y , com ( )y (x) = ( )(y x) =
Rn
T (Dk ) (y ) = T (D ) (y ) =
(Dk T ) (y ) . (D T ) (y )
Essa rela ca o pode ser agora usada como base para uma prova indutiva elementar de que
(35.168)
(y x z )(z ) dn z .
Podemos evocar o Teorema 35.5, p agina 1759, e representar T em um compacto que contenha o suporte de e de por (35.156), com Nn nua. Com isso, teremos 0 e h cont T ( ) (y )
(35.156)
(1) (1)
Rn
h(x) Dx ( )y (x) dn x
Rn
h(x)Dx
Rn
(y x z )(z ) dn z dn x
dn x
=
Rn
h(x)
Rn
(D )(y x z )(z ) dn z
=
Rn Rn
h(x)(D )(y z x) dn x (z ) dn z h(x)(D )yz (x) dn x (z ) dn z
=
Rn (35.156) Rn
Rn
(T )(y z )(z ) dn z
(T ) (y ) ,
tal como quer amos provar. A invers ao de ordem de integra ca o acima e facilmente justic avel pela compacidade do suporte do integrando. A Proposi ca o 35.17 tem o seguinte corol ario importante:
Cap tulo 35
1766/2069
Teorema 35.7 D (Rn ) e denso em D (Rn ) no seguinte sentido: para cada T D (Rn ) existe uma seq u encia de distribui c oes regulares Thm , m N, com hm D (Rn ) tal que T, = para toda D (Rn ). u encia m D (Rn ) dada por m (x) := Prova. Seja D (Rn ) tal que Rn (x)dn x = 1 e dena-se para m N a seq n n n n n evidente que n m (x)d x = m em disso, se B := {x Rn , x < m (mx). E Rn (mx)d x = Rn (x)d x = 1. Al R n } e a bola aberta de raio > 0 centrada em 0 R , teremos m (x)dn x = mn
Rn \B Rn \B m
lim
T hm ,
(mx)dn x =
Rn \Bm
(x)dn x , (x)dn x = 0, devido ao suporte de ser
de sorte que para cada > 0 vale lim
compacto. Com isso, estabelecemos que m , m N, e uma seq u encia delta de Dirac em Rn segundo a Deni ca o 34.2, p agina 1636. Do Teorema 34.2, p agina 1637, segue que para toda D (Rn ) a seq u encia m , m N, denida por m (x) = (m )(x) =
Rn
m (x)dn x = lim
Rn \B
Rn \Bm
m (x y )(y ) dn y =
Rn
m (y )(x y ) dn y
converge uniformemente a em Rn , pois toda D (Rn ) satisfaz as condi co es do Teorema 34.2. Adicionalmente, a seq u e ncia D podemos tamb em armar que para cada n-multi- ndice Nn m converge uniformemente a D , pois 0 D m (x) = D (m )(x) = D
Rn
m (y )(x y ) dn y =
Rn
m (y ) D (x y ) dn y
m
e D tamb em satisfaz as condi co es do Teorema 34.2. Segue dessas arma co es que se T D (Rn ), ent ao lim T (m ) = T
m
lim m = T (), devido ` a continuidade de T . Agora, temos que T, = T () =

(35.164) m
lim T (m ) = lim
lim T m (0) (0)
T R(m )
=
(35.168)
lim
T (Rm ) (R)
lim
T (Rm ) (R) (0) T (Rm ) (y ) (R)(y ) dn y T (Rm ) (y ) (y ) dn y
=
y y
lim
Rn
lim
Rn
lim
T hm , ,
ca o. onde hm := T (Rm ) D (Rn ). Isso completa a demonstra
Cap tulo 35
1767/2069
35.3.7.1
Produto de Convolu c ao de Distribui c oes
Vamos agora descrever como o produto de convolu ca o pode ser denido para distribui co es dotadas de certas propriedades. Seguindo uma estrat egia j a empregada antes, come camos considerando certas distribui co es regulares adequadas para depois tratarmos de generaliza co es. O caso de distribui co es regulares
Comecemos com uma deni ca o. Dada uma fun ca o : Rn C, denotamos por E[] a fun ca o denida em Rn Rn assumindo valores em C denida por E[](x, y ) := (x + y ). Seja C (Rn ), o conjunto das fun co es cont nuas denidas em Rn , e seja C0 (Rn ), o conjunto das fun co es cont nuas e n co es de suporte compacto denidas em R . Sejam f1 C0 (Rn ) e f2 C (Rn ) e sejam Tf1 e Tf2 as respectivas distribui regulares. No contexto de distribui co es regulares e natural denirmos o produto de convolu ca o Tf1 Tf2 de Tf1 e Tf2 como sendo o elemento de D (Rn ) denido por Tf1 Tf2 := Tf1 f2 . Teremos, para cada D (Rn ), Tf1 f2 , =
Rn
f1 f2 (x) (x) dn x =
xx+y
Rn
Rn
f1 (x y )f2 (y ) dn y (x) dn x f1 (x)f2 (y ) E[](x, y ) dn x dn y .

Rn Rn
f1 (x)f2 (y ) (x + y ) dn x dn y =
Rn Rn
Essa u ltima express ao sugere que poder amos escrever Tf1 f2 , = Tf1 Tf2 , E[] o que sugere denirmos o produto em, que n ao e co es Tf1 e Tf2 por Tf1 Tf2 , := Tf1 Tf2 , E[] . Sucede, por de convolu ca o Tf1 Tf2 das distribui poss vel dar uma interpreta ca o distribucional ` a integral Rn Rn f1 (x)f2 (y ) E[](x, y ) dn x dn y , pois E[], ainda que seja uma fun ca o innitamente diferenci avel, n ao e um elemento de D (Rn Rn ) ((x + y ) e suas derivadas n ao caem a zero quando x com x + y constante). Esse problema pode ser remediado de um modo adequado aos nossos prop ositos. O suporte da fun ca o f1 (x)f2 (y )(x + y ) e um subconjunto compacto de Sf1 , f2 , := (x, y ) Rn Rn |x supp (f1 ), y supp (f2 ) e x + y supp () .
Consideremos uma fun ca o auxiliar D (Rn Rn ) denida de sorte que (x, y ) = 1 para todos (x, y ) contidos no compacto Sf1 , f2 , (uma tal fun ca o sempre existe, como j a observamos anteriormente). Teremos, naturalmente, f1 (x)f2 (y ) E[](x, y ) dn x dn y =
Rn Rn Rn Rn
Como f1 e t em suporte compacto, n ao e dif cil constatar que Sf1 , f2 , e um subconjunto compacto de Rn Rn .
f1 (x)f2 (y ) (x, y )E[](x, y ) dn x dn y
e como o produto E[] e um elemento de D (Rn Rn ) (pois o e e E[] e innitamente diferenci avel), e leg timo escrevermos Tf1 f2 , = Tf1 Tf2 , E[] . e o elemento de D (Rn ) tal que co es Tf1 e Tf2 Com isso, o produto de convolu ca o Tf1 Tf2 das distribui Tf1 Tf2 , := Tf1 Tf2 , E[] ,
para cada D (Rn ). Utilizando essas id eias, vamos agora descrever como denir o produto de convolu ca o de uma certa classe de distribui co es. A condi c ao de suporte Deni c ao. Dizemos que duas distribui co es U1 , U2 D (Rn ) satisfazem a condi c ao de suporte se para todo compacto n C R o conjunto S (U1 , U2 , C ) := (x, y ) Rn Rn x supp (U1 ), y supp (U2 ) e x + y C
Cap tulo 35
1768/2069
for um subconjunto compacto de Rn Rn .
Sejam U1 , U2 D (Rn ) duas distribui co es que satisfazem a condi ca o de suporte e seja C Rn compacto. Denotamos n n por S(U1 , U2 , C ) D (R R ) o conjunto de todas as fun co es D (Rn Rn ) tais que (x, y ) = 1 para todo (x, y ) S (U1 , U2 , C ). A condi ca o de suporte compacto e importante por garantir que S(U1 , U2 , C ) e n ao-vazio para todo C Rn compacto e, em particular, por garantir que S U1 , U2 , supp () e n ao-vazio para cada D (Rn ). Produto de convolu c ao de distribui co es satisfazendo a condi c ao de suporte
Se U1 , U2 D (Rn ) s ao duas distribui co es que satisfazem a condi ca o de suporte, denimos seu produto de convolu ca o, denotado por U1 U2 , como sendo o elemento de D (Rn ) denido para cada D (Rn ) por U1 U2 , := U1 U2 , E[] , (35.169)
importante observar que a express com S U1 , U2 , supp () . E ao do lado direito de (35.169) independe do particular elemento S U1 , U2 , supp () tomado. De fato, se e s ao elementos de S U1 , U2 , supp () , teremos (x, y ) (x, y ) (x + y ) = 0 se (x, y ) S U1 , U2 , supp () . Dada a relev ancia da condi ca o de suporte para a deni ca o de produto de convolu ca o de distribui co es e importante termos uma lista de condi co es sucientes para que a mesma seja satisfeita. Observe-se que S (U1 , U2 , C ) e sempre fechado para C compacto, mas n ao e necessariamente limitado. De fato, se f : Rn Rn Rn e a fun ca o cont nua f (x, y ) := x + y , ent ao S (U1 , U2 , C ) = f 1 (C ) supp (U1 ) supp (U2 ) , Algumas condi co es sucientes para a condi c ao de suporte
que e fechado pois f 1 (C ), supp (U1 ) e supp (U2 ) s ao fechados. Assim, para que tenhamos S (U1 , U2 , C ) compacto e necess ario e suciente que o mesmo seja um conjunto limitado de Rn Rn . Se C e compacto, ent ao e limitado e D(C ) := sup{ c , c C } e nito. Se (x, y ) S (U1 , U2 , C ), ent ao (x, y ) supp (U1 ) supp (U2 ) e x + y = c para algum c C . Logo, y c + x C0 + x . Se supp (U1 ) tamb em for compacto, teremos x D supp (U1 ) sup{ x , x supp (U1 )} < . Logo y D(C ) + D supp (U1 ) o que prova que S (U1 , U2 , C ) e limitado e, portanto, compacto. Conclu mos, portanto, que se supp (U1 ) ou supp (U2 ) forem compactos a condi ca o de suporte e satisfeita. No caso de distribui co es em R temos uma outra condi ca o u til: se supp (U1 ) e supp (U2 ) forem ambos limitados inferiormente ou se forem ambos limitados superiormente, ent ao a condi ca o de suporte e satisfeita. Para provarmos isso, vamos supor que existam a1 e a2 R tais que supp (U1 ) [a1 , ) e supp (U2 ) [a2 , ) (o caso em que ambos s ao limitados superiormente e an alogo). Seja C R compacto. Ent ao, existe k > 0 tal que C [k, k ]. Se (x, y ) S (U1 , U2 , C ) ent ao k x + y k e, portanto, y k x k a1 . Logo, temos que a2 y k a1 e, mutatis mutandis, temos tamb em a1 x k a2 . Isso estabelece que S (U1 , U2 , C ) e limitado e, portanto, compacto.
35.4
Equa co es Diferenciais Distribucionais, Solu co es Fundamentais e Fun co es de Green
Nesta se ca o desenvolveremos algumas das id eias subjacentes ` as no co es de solu ca o fundamental de um operador diferencial, fun co es de Green etc. Trata-se provavelmente das mais importantes aplica co es da no ca o de distribui ca o. Alguns problemas de interesse f sico s ao tamb em discutidos. Um tratamento mais pr atico e informal pode ser encontrado na Se ca o 19.11, p agina 927. Operadores diferenciais lineares em D (Rn )
Reunindo as deni co es de acima de derivada de uma distribui ca o e produto de uma distribui ca o com uma fun ca o innitamente diferenci avel, podemos introduzir a no ca o de operador diferencial linear agindo no espa co de distribui co es D (Rn ) (compare com a deni ca o de operador diferencial linear agindo no espa co D (Rn ) introduzida ` a p agina 1707). Sejam a1 , . . . , aN fun co es innitamente diferenci aveis em Rn e sejam 1 , . . . , N multi- ndices distintos. Seja o
Cap tulo 35
1769/2069
operador diferencial
N N
L =
k=1 n n
ak (x) Dk =
k=1
ak (x)
1 x 1
|k | . n x n
Se T D (R ), dene-se LT D (R ) como sendo a distribui ca o denida por LT () := T LT , um exerc para toda D (Rn ), onde LT e o operador diferencial dual de L denido em (35.11) e (35.13). E cio simples para o leitor provar que essa deni ca o e plenamente consistente com as deni co es dadas acima de derivada de uma distribui ca o e produto de uma distribui ca o com uma fun ca o innitamente diferenci avel. Na nota ca o de emparelhamento temos, assim, LT, = T, LT para toda T D (Rn ) e toda D (Rn ). Operadores diferenciais lineares em S (Rn ) s ao denidos analogamente, com a ressalva, j a mencionada quando denimos operadores diferenciais lineares em S (Rn ) ` a p agina 1708, que as fun co es ak e suas primeiras |k | derivadas devem ser de crescimento polinomialmente limitado. Produtos tensoriais de operadores diferenciais lineares por Operadores diferenciais lineares em S (Rn )
Se L e M s ao operadores diferenciais lineares agindo em D (Rn ) denimos seu produto tensorial L M em D (R2n ) ((L M) ) (x, y ) = Lx My (x, y )
para D (R2n ). No lado direito, acima os ndices x e y sob os operadores L e M, respectivamente, servem apenas para lembrar em rela ca o a quais vari aveis os operadores agem. Note-se que Lx My = My Lx . Assim, se L e M s ao operadores diferenciais lineares agindo em D (Rn ) e T, U D (Rn ), denimos, (L M) (T U ) como sendo a distribui ca o tal que (L M) (T U ) ( ) = (T U ) para toda D (R2n ). LT MT
A deni ca o de produtos tensoriais de operadores diferenciais lineares agindo em S (Rn ) e an aloga e n ao requer maiores coment arios. Equa co es diferenciais ordin arias distribucionais
No caso de uma vari avel, podemos caracterizar uma equa ca o diferencial distribucional linear de ordem N da seguinte forma. Se a0 , a1 , . . . , aN s ao fun co es innitamente diferenci aveis de uma vari avel real e B D (R) e uma distribui ca o em R, a express ao (35.170) aN T (N ) + aN 1 T (N 1) + + a1 T (1) + a0 T = B , dene uma equa ca o diferencial distribucional para uma distribui ca o T . De acordo com as deni co es, se T satisfaz essa equa ca o, ent ao (1)N T (aN f )
(N )
+ (1)N 1 T (aN 1 f )
(N 1)
+ + (1)1 T (a1 f )
(1)
+ T a0 f
= B (f )
para toda f D (R), ou seja, T (1)N (aN f )

(N )
+ (1)N 1 (aN 1 f )
(N 1)
+ + (1)1 (a1 f )
(1)
+ a0 f
= B (f ) ,
(35.171)
Cap tulo 35
1770/2069
para toda f D (R). Se t e b denotam as fun co es generalizadas associadas a T e B , respectivamente, (35.170) pode ser escrita na forma convencional aN (x) dN 1 d dN t ( x ) + a ( x ) t(x) + + a1 (x) t(x) + a0 (x)t(x) = b(x) , N 1 dxN dxN 1 dx
e, como em (35.171), isso signica que para toda f D (R),

t(x) (1)N
N 1 dN d N 1 d ( a f ) ( x ) + ( 1) (aN 1 f ) (x) + + (1)1 (a1 f ) (x) + (a0 f ) (x) dx N N N 1 dx dx dx
b(x)f (x) dx .
Equa co es diferenciais parciais distribucionais
Equa co es diferenciais parciais para distribui co es em Rn podem ser denidas analogamente. Se a1 , . . . , aN s ao fun co es n n innitamente diferenci aveis em R , B D (R ) e uma distribui ca o em Rn e 1 , . . . , N s ao multi- ndices distintos, a express ao
N k=1
an (Dk T ) = B
(35.172)
dene uma equa ca o diferencial distribucional linear para uma distribui ca o T . De acordo com as deni co es, se T satisfaz essa equa ca o, ent ao para toda D (Rn ),
N N
k=1
(1)|k | T Dk (ak )
= B ()
ou seja,
T
k=1
(1)|k | Dk (ak )
= B () .
Assim, uma equa ca o diferencial linear distribucional para uma distribui ca o inc ognita T D (Rn ) e da forma LT = B , para uma distribui ca o B D (Rn ) dada e para um operador linear dado L na forma
N N
L =
k=1
ak (x) Dk =
k=1
ak (x)
1 x 1
|k | , n x n
onde a1 , . . . , aN fun co es innitamente diferenci aveis em Rn e 1 , . . . , N s ao multi- ndices distintos. Assim, T deve n satisfazer para toda D (R ) T (LT ) = B () , ou seja, T, LT = B, .
Se t e b denotam as fun co es generalizadas associadas a T e B , respectivamente, (35.172) pode ser escrita na forma convencional
N
an (x) (Dk t) (x) = b(x) ,

k=1
ou seja
Lt(x) = b(x) ,
e isso signica que para toda D (Rn ), t(x) LT (x) dn x =

Rn Rn
b(x)(x) dn x ,
ou seja,
N
t(x)
Rn k=1
(1)|k | Dk (ak )(x)
dn x =
Rn
b(x)(x) dn x .
Cap tulo 35
1771/2069
35.4.1
Solu c oes Fundamentais
A distribui c ao delta diagonal
Uma distribui ca o de interesse denida em D (R2n ) e a distribui c ao delta diagonal, ou distribui c ao delta de Dirac diagonal, denida para D (R2n ) por ( ) := (x, x) dn x .
Rn
Essa deni ca o pressup oe uma decomposi ca o (n ao-can onica) de R2n na forma Rn Rn . Provar que realmente se trata 2n claro que de uma distribui ca o em D (R ) e deixado como exerc cio. E ( ) =
R2n
(x y ) (x, y ) dn x dn y .
Essa u ltima express ao mostra que a fun ca o generalizada associada ` a distribui ca o delta diagonal e (x y ). Percebe-se tamb em que se e da forma = , com , D (Rn ), ent ao com Tg denida em (35.108). Solu co es fundamentais de operadores diferenciais lineares Seja um operador diferencial linear L da forma
N N k ak (x) Dx = k=1 k=1
= T ( ) = T () ,
L =
ak (x)
1 x 1
|k | , n x n
onde a1 , . . . , aN s ao fun co es innitamente diferenci aveis em Rn e 1 , . . . , N s ao multi- ndices distintos. Seja h D (Rn ) e considere-se se a equa ca o diferencial n ao-homog enea Lu = h . (35.173)
Equa co es desse tipo ocorrem com grande freq u encia na F sica. Essa equa ca o inspira considerarmos a equa ca o diferencial distribucional para U D (Rn ) dada por LU = Th , (35.174) onde Th e a distribui ca o regular denida em (35.107). Uma distribui ca o F D (R2n ) e dita ser uma solu c ao fundamental do operador diferencial linear L se (L )F = , (35.175) onde no lado direito e a distribui ca o delta diagonal denida acima e e o operador identidade. Assim, se F e uma solu ca o fundamental do operador linear L, vale para toda D (R2n ) F (LT ) = ( ) .
Se uma solu ca o fundamental F do operador linear L for fornecida, armamos que uma solu ca o U D (Rn ) da equa ca o distribucional (35.174) e dada por U () := F ( h) , De fato, para todo D (Rn ) teremos, (LU )() = U (LT ) = F (LT ) h provando que LU = Th , como desej avamos. = (L )F ( h) = ( h) = Th () , D (Rn ) . (35.176)
Cap tulo 35
1772/2069
A exist encia de solu co es fundamentais para operadores diferenciais lineares n ao e automaticamente garantida e para tal diversos teoremas foram demonstrados, entre os quais encontra-se o importante teorema de Malgrange37 -Ehrenpreis38 (demonstrado entre 1954 e 1955), o qual estabelece que operadores diferenciais lineares a coecientes constantes sempre possuem solu co es fundamentais. Vide e.g. [261]. A quest ao da unicidade de solu co es fundamentais
Se para um operador diferencial L, como acima, existir uma solu ca o fundamental F , esta pode n ao ser u nica. Se g for localmente integr avel e satiszer (Lg )(x) = 0 para todo x Rn (ou seja, se g for uma solu ca o forte da equa ca o Lu = 0) valer a LTg = 0 pois, para todo D (Rn ), (LTg )() = Tg (LT ) =
Rn
g (x) (LT )(x) dn x
(35.12)
(Lg )(x) (x) dn x = 0 .

Rn
Conclu mos disso que se F e uma solu ca o fundamental de L, ent ao qualquer distribui ca o de D (R2n ) da forma F + Tg V , com V D (Rn ), arbitr aria, ser a tamb em uma solu ca o fundamental de L.
35.4.1.1
Solu co es Fundamentais como Fun c oes Generalizadas
A no ca o de solu ca o fundamental do operador linear L e talvez mais facilmente explicada em termos da fun ca o generalizada F (x, y ), x, y Rn , associada ` a distribui ca o F agindo em D (R2n ). F e dita ser uma solu ca o fundamental do operador linear L se Lx F (x, y ) = (x y ) , (35.177) isto e
N
ak (x)
k=1
1 x 1
|k | F (x, y ) = (x y ) . n x n (x, x) dn x .
Rn
Assim, para D (R ),
R2n
2n
Lx F (x, y ) (x, y ) dn x dn y =
(35.178)
Em particular, para duas fun co es de teste quaisquer , D (Rn ) tem-se Lx F (x, y ) (x) (y ) dn x dn y =
Rn Rn Rn
(x) (x) dn x ,
(35.179)
ou seja,
Rn Rn
Lx F (x, y ) (y ) dn y (x) (x) dn x = 0 .
A validade dessa rela ca o para todo D (Rn ) implica a validade no sentido de distribui co es da igualdade Lx F (x, y ) (y ) dn y = (x)
Rn
(35.180)
para cada D (Rn ). Tamb em de (35.179), obtemos

Rn Rn n n F (x, y ) LT x (x) (y ) d x d y =
(y ) (y ) dn y ,
Rn
ou seja,
Rn
37 Bernard 38 Leon
Rn
n n F (x, y ) LT x (x) d x (y ) (y ) d y = 0 .
Malgrange (1928). Ehrenpreis ().
Cap tulo 35
1773/2069
A validade dessa rela ca o para todo D (Rn ) implica a validade no sentido de distribui co es das igualdades
Rn n F (x, y ) LT x (x) d x = (y )
ou, equivalentemente,
Rn
Lx F (x, y ) (x) dn x = (y ) ,
(35.181)
para cada D (Rn ). Comparar cuidadosamente com (35.180). O exemplo do operador Laplaciano em R3 apresentado a p ` agina 1775 ilustra bem as diversas rela co es de acima. Solu co es fracas e solu co es fundamentais
Se uma fun ca o F (x, y ), denida para x = y , for solu ca o da equa ca o diferencial Lx F (x, y ) = 0 na regi ao n ao-diagonal x = y (comparar com (35.177). Uma tal solu ca o e denominada solu c ao fraca da equa ca o diferencial em quest ao), ent ao a fun ca o F ser a uma solu ca o fundamental de Lx se adicionalmente satisfazer a primeira rela ca o de (35.181) para toda D (Rn ). Um exemplo disso ser a discutido logo adiante (p agina 1775), quando tratarmos do operador Laplaciano em R3 . Mais coment arios sobre a utilidade das solu co es fundamentais. O m etodo da fun c ao de Green
J a observamos que a no ca o de solu ca o fundamental de um operador diferencial linear e u til por oferecer solu co es u distribucionais ` a equa ca o (35.173)(35.174). E til discutirmos isso empregando a nota ca o de fun ca o generalizada. Se U D (Rn ) satisfaz (35.174), tem-se para todo D (Rn ) que (LU )() = Th (). Denotando por u(x) a fun ca o generalizada associada a U , isso ca
Rn
(Lu)(x) h(x) (x) dn x = 0 , (Lu)(x) = h(x) , (35.182)
e temos no sentido distribucional a igualdade que corresponde a uma vers ao distribucional de (35.173). Como vimos em (35.176), podemos tomar U () = F ( h), igualdade essa que na nota ca o de fun co es generalizadas ca u(x) (x) dn x =
Rn R2n
F (x, y )(x)h(y ) dn x dn y ,
ou seja,
u(x) =
R2n
F (x, y )h(y ) dn y .
Com isso, (35.182) transforma-se em Lx F (x, y )h(y ) dn y = h(x) ,

R2n
em concord ancia com (35.181) e com (35.177). Em resumo, se F (x, y ) e a fun ca o generalizada associada a uma solu ca o fundamental F do operador diferencial linear L, ent ao a equa ca o n ao-homog enea Lu = h com h D (Rn ) tem uma solu ca o distribucional dada por u(x) =
R2n
F (x, y )h(y ) dn y .
(35.183)
O exposto acima re-expressa as considera co es que zemos entre (35.173) e (35.176). Em muitos problemas, exige-se que a solu ca o da equa ca o Lx u(x) = h(x) satisfa ca certas condi co es de contorno (de Dirichlet, de Neumann ou mistas) na fronteira de um dom nio aberto Rn . Solu co es fundamentais que conduzem a solu co es que satisfa cam condi co es homog eneas desses tipos s ao denominadas fun c oes de Green39 (para condi co es de contorno de Dirichlet, de Neumann ou mistas). O m etodo de resolu ca o de equa co es diferenciais parciais sob tais condi co es de contorno atrav es da determina ca o da fun ca o de Green adequada e denominado m etodo da fun c ao de Green. O m etodo da fun ca o de Green e de grande relev ancia em F sica, como discutido na Se ca o 19.11, p agina 927. Tamb em no Cap tulo 16, p agina 768, encontramos o m etodo da fun ca o de Green no tratamento do problema de Sturm-Liouville. Uma quest ao importante e a de se saber quando o lado direito de de (35.183) dene uma fun ca o, ou seja, quando u e uma solu ca o forte da equa ca o Lu = h ou, equivalentemente, quando a distribui ca o U dada em (35.176) e uma distribui ca o regular. O lado direito de (35.183) denir a uma fun ca o se, por exemplo, F (x, y ) for uma fun ca o denida quase em toda parte, tal como no exemplo do operador Laplaciano, discutido ` a p agina 1775. Isso ocorre em diversos exemplos de interesse, como veremos adiante e em exemplos da Se ca o 19.11, especialmente quando L for um operador
39 George
Green (17931841).
Cap tulo 35
1774/2069
el ptico. Uma parte importante da literatura matem atica da teoria das equa co es diferenciais parciais lineares e dedicada a essa quest ao. Mencionamos nesse contexto os importantes Teoremas de Weyl, de Friedrichs e de H ormander (vide e.g. [261]). Uma propriedade de solu co es fundamentais
Dada uma solu ca o fundamental F D (R2n ) de L, podemos obter uma distribui ca o F0 D (Rn ) satisfazendo LF0 = 0
atrav es do seguinte procedimento. Para D (Rn ) xo, dena-se G D (Rn ) por G () = F ( ). Teremos LG () = G (LT ) = F (LT ) = (L )F ( ) = ( ) = T () .
Assim, tomando-se n D (Rn ), n N, uma seq u encia delta de Dirac centrada em 0, podemos denir F0 () := lim Gn () := lim F ( n ) ,
n n
e teremos LF0 () = F0 (LT ) = lim Gn (LT ) = lim (LGn )() = lim Tn () = 0 () ,

n n n
mostrando que LF0 = 0 . Como veremos, no caso em que o operador L tem coecientes constantes, a exist encia de uma distribui ca o F0 D (Rn ) satisfazendo LF0 = 0 equivale ` a exist encia de uma solu ca o fundamental satisfazendo (35.175).
35.4.1.2
O Caso de Operadores Lineares a Coecientes Constantes
De grande import ancia para o estudo de muitas das equa co es diferenciais encontradas na F sica e a situa ca o na qual o operador diferencial L considerado tem coecientes constantes, ou seja, tem-se
N N
=
k=1 N
ak Dk =
k=1
ak
1 x 1
|k | n x n (1)|k | ak
(35.184)
LT
=
k=1
(1)|k | ak Dk =
k=1
1 x 1
|k | ;, n x n
(35.185)
com ak , k = 1, . . . , N , sendo constantes. Nesse caso v e-se claramente que L = LT se e somente se |k | for par para todo k = 1, . . . , N . Seja F0 D (Rn ) uma distribui ca o tal que LF0 = 0 . (35.186)
Se uma tal F0 existir podemos denir uma solu ca o fundamental F de L por F ( ) := (2 )n/2 F0 (R ) . para , D (Rn ), onde (R)(x) := (x), D (Rn ). De fato, teremos (L )F ( ) = F (LT ) = (2 )n/2 F0 (LT ) (R ) = (2 )n/2 F0 LT (R ) =
Rn
(35.187)
= (2 )n/2 (LF0 ) (R )
= (2 )n/2 0 (R )
(y ) (y ) dn y =
Rn
(y ) (y ) dn y = ( ) ,
Cap tulo 35
1775/2069
amos. Acima, na terceira igualdade, usamos o fato que, se os coecientes de estabelecendo que (L )F = , como quer L forem constantes, valer a (2 )n/2 (LT ) R (x) = (LT )(x y ) (y ) dn y = LT (x y ) (y ) dn y = (2 )n/2 LT (R ) (x) .
Rn
Rn
interessante expressarmos a distribui E ca o F denida em (35.187) usando a nota ca o de fun co es generalizadas. Denotemos F0 () por Rn F0 (x)(x)dn x. Teremos por (35.187)
F ( ) := (2 )n/2 F0 (R ) =
=
Rn
F0 (x) (R ) (x)dn x F0 (x)(x y ) (y ) dn x dn y = F0 (x y )(x) (y ) dn xdn y ,
Rn
Rn
Rn
Rn
mostrando que F (x, y ) = F0 (x y ).
As considera co es de acima mostram-nos tamb em que dada uma distribui ca o F0 D (Rn ) satisfazendo (35.186) e n dada h D (R ), a distribui ca o U dada por U () = (2 )n/2 F0 (Rh) , satisfar a LU = Th . (35.189) D (Rn ) , (35.188)
Em termos de fun co es generalizadas (35.188) ca U () =

Rn
u(x)(x) dx ,
com
u(x) :=
Rn
F0 (x y )h(y ) dn y .
(35.190)
Assim, uma distribui ca o F0 D (Rn ) satisfazendo (35.186) fornece diretamente uma solu ca o distribucional ` a equa ca o n ao-homog enea (35.173)(35.174). Por essas raz oes, dado um operador L com coecientes constantes, uma distribui ca o F0 D (Rn ) satisfazendo (35.186) e tamb em dita ser uma solu c ao fundamental associada ao operador L. Na maioria dos livros texto, a no ca o de solu ca o fundamental para operadores diferenciais com coecientes constantes e apresentada atrav es de (35.186). Nossa deni ca o (35.175) e mais geral e engloba a no ca o de solu ca o fundamental para operadores diferenciais com coecientes n ao necessariamente constantes. O exemplo do operador Laplaciano em R3
T = , Um exemplo importante se d a no caso do operador Laplaciano em R3 : = x 2 + x2 + x2 , para o qual vale 1 2 3 como facilmente se constata pela deni ca o (35.13), p agina 1708 (vide (35.185)).
Para x, y R3 da forma x = (x1 , x2 , x3 ) e y = (y1 , y2 , y3 ), seja x y := A fun ca o 1 1 F (x, y ) := 4 x y denida para x = y , satisfaz (verique!) x Al em disso, vale
R3
(x1 y1 )2 + (x2 y2 )2 + (x3 y3 )2 . (35.191)
1 1 4 x y
= 0,
x=y.
para toda D (Rn ), como demonstramos com mais generalidade no Teorema 18.1, p agina 831, do Cap tulo 18. Note que a rela ca o acima permite escrever 1 = 4 (x y ) , x xy
1 1 4 x y
x (x) d3 x = (y )
Cap tulo 35
1776/2069
uma rela ca o muito empregada, por exemplo, na Eletrost atica. A distribui ca o F denida em D (R6 ) associada ` a fun ca o F de acima e F, = 1 4 1 (x, y ) d3 x d3 y , xy D (R6 ) .
R3
R3
A integral acima e denida no sentido de valor principal. Note o leitor que a singularidade de F (x, y ) em x = y e 1 integr avel em R3 , ou seja, a fun ca o x e localmente integr avel em R3 . Para mais detalhes a respeito da deni ca o de y 1 integrais envolvendo a fun ca o x tulo 18, p agina 828. y , vide Cap Vemos que a fun ca o generalizada denida pela fun ca o F (x, y ) dada em (35.191) e uma solu ca o fundamental do operador Laplaciano em R3 . Uma outra solu ca o fundamental pode ser obtida somando ` a fun ca o F (x, y ) uma outra fun ca o H (x, y ), denida para todos x, y R3 , que seja uma fun ca o harm onica, ou seja, que satisfa ca x H (x, y ) = 0 para todos x, y R3 . Com esse exemplo, percebemos que solu co es fundamentais de operadores diferenciais lineares n ao s ao necessariamente u nicas. Observemos, antes de prosseguirmos, que nem todo operador linear tem por solu ca o fundamental uma fun ca o, como no exemplo do Laplaciano, acima. Em muitos casos a solu ca o fundamental e uma leg tima distribui ca o. Tal ocorre 2 especialmente no caso de operadores hiperb olicos, como o operador de onda c1 ca o fundamental em 2 t2 , onde a solu 3 + 1 dimens oes envolve uma distribui ca o de Dirac. Vide Se ca o 19.11.3.1, p agina 935. Solu co es fundamentais e transformadas de Fourier
Como j a discutimos, se possuirmos de uma distribui ca o F0 D (Rn ) satisfazendo (35.186) ent ao uma solu ca o importante, portanto, dispormos de meios de obter uma tal distribucional de (35.189) e fornecida por (35.188). E distribui ca o F0 e no que segue discutiremos um m etodo empregado ami ude em F sica e que faz uso da transformada de Fourier. Se L e um operador diferencial com coecientes constantes, temos para todo f S (Rn ) que LT F1 [f ] = F1 [PL f ] , onde PL e um polin omio denominado polin omio caracter stico associado ao operador L. Se L e LT s ao da forma (35.184) e (35.185), respectivamente, ent ao
N
PL (p) :=
k=1
(i)|k | ak pk ,
p Rn .
E. 35.35 Exerc cio importante. Verique! Vamos supor que para cada S (Rn ) tenhamos := F1 1 F[] PL S (Rn ) .
a tamb em Como LF0 (f ) = 0 (f ) para toda f S (Rn ), valer 0 () = LF0 () = F0 (LT ) = F0 LT F1 1 F[] PL = F0 F1 F[] = F0 () .
Logo, conclu mos que a distribui ca o F0 dada por F0 () := 0 F1 1 F[] PL , S (Rn ) , (35.192)
seria uma solu ca o fundamental associada a L. Naturalmente, n ao e evidente que o lado direito de (35.192) dena uma distribui ca o, pois o polin omio caracter stico PL pode ter zeros que atrapalhem esse prop osito. Como veremos adiante, por em, (35.192) pode ser usada em muitos exemplos de interesse em F sica. De modo geral um resultado fundamental devido a H ormander40 , do qual n ao trataremos aqui, garante ser sempre poss vel dar sentido ` a express ao (35.192).
40 Lars
Valter H ormander (1931).
Cap tulo 35
1777/2069
c ao generalizada F0 (x) associada ` a solu c ao fundamental F0 e formalE. 35.36 Exerc cio. Mostre que com (35.192) a fun mente dada por 1 1 F0 (x) = (x) . (35.193) F PL (2 )n/2 Com isso, a solu c ao da equa c ao n ao-homog enea Lu = h fornecida em (35.190) e tamb em dada formalmente por u(x) = 1 (2 )n/2 F
Rn
1 (x y ) h(y ) dn y . PL
(35.194)
Para certos operadores L e poss vel dar sentido matem atico a (35.193) e (35.194), como veremos nos exemplos tratados na Se c ao 35.4.1.3 e, informalmente, na Se c ao 19.11, p agina 927. Nesses casos felizes as express oes (35.193) e (35.194) s ao muito uteis para a obten c ao de solu co es expl citas de equa co es diferenciais lineares a coecientes constantes e n ao-homog eneas, o que inclui muitos exemplos de interesse f sico, como os tratados nas se co es supracitadas.
35.4.1.3
Alguns Exemplos Fisicamente Relevantes
Vamos agora ilustrar as id eias de acima com alguns exemplos de interesse em F sica. Um tratamento mais informal e oferecido na Se ca o 19.11, p agina 927. O exemplo do Laplaciano em R3 . A equa c ao de Poisson revisitada
Consideremos a equa c ao de Poisson u = h em R3 com h S (R3 ). Nesse caso consideramos o operador L = T para o qual temos L = = L e cujo polin omio caracter stico associado e P (p) = p 2 , com p = (p1 , p2 , p3 ) R3 e 2 2 2 2 com p = p1 + p2 + p3 . como T = , vale F0 () = 0 (). Tomemos da forma = F1 P1 F[] , com S (R3 ). Como F1 = F1 P , segue que 1 F[] = F0 F1 F[] = F0 () . 0 () = F0 () = F0 () = F0 F1 P Assim, estabelecemos que uma solu ca o fundamental de e a distribui ca o F0 dada por F0 () = 0 F1 O lado direito da igualdade em (35.195) e dado por 0 F 1 1 F[] P = 1 (2 )3 eixp (x) d3 x
R3 R3
Uma solu ca o fundamental F0 para em R3 ser a tal que para toda S (R3 ) teremos F0 () = 0 (). Assim,
1 F[] P
S (R3 ) .
(35.195)
1 3 d p p 2 1 3 d p p 2
= lim
1 (2 )3
eixp (x) d3 x
p <R R3
= lim
1 R (2 )3
R3
p <R
eixp 3 d p (x) d3 x . p 2
A invers ao da ordem das integrais e novamente permitida pelo Teorema de Fubini (da ser necess ario limitar a integral em p para a regi ao p < R). Para cada x = 0 calculamos a integral em p adotando um sistema de coordenadas esf ericas com eixo z na dire ca o de x, escrevendo eixp 3 d p = p 2
0 0 R
eir
x| cos
R 0
dr sen dd = 2
0
eir
x| cos
dr sen d ,
p <R
Cap tulo 35
1778/2069
sendo r p , (, ] o angulo azimutal e [0, ] o angulo zenital. Agora, e camos com 4

R sen r x r x 0
eir
x cos
sen d = 2
sen r x r x
dr =
4 x
R sen s s 0
ds. Logo,
R R
F0 () =
R
4 (2 )3
lim
sen s ds s
(x)
R3
1 3 d x. x
Como, sabidamente, lim
sen s ds = (isso se prova facilmente pelo m etodo dos res duos), conclu mos que uma R 0 s 2 solu ca o fundamental de em R3 e a distribui ca o F0 dada por F0 () = 1 4 (x)
R3
1 3 d x, x
S (R3 ) .
Na nota ca o de fun co es generalizadas, a solu ca o fundamental de em R3 obtida acima e dada por F0 (x) := 1 1 , 4 x x R3 .
Conforme j a comentamos, uma solu ca o fundamental mais geral e obtida adicionando-se a esta uma solu ca o u da equa ca o de Laplace u = 0. Do Teorema 18.1, p agina 831, aprendemos, por em, que se exigirmos que u e seu gradiente decaiam rapidamente a zero no innito, ent ao u dever a ser identicamente nula. Com isso, a solu ca o (35.188) de U = Th com h S (R3 ) ser a U () =
R3
1 4
R3
h(x ) d3 x (x) d3 x , x x
S (R3 ), como facilmente se constata, e conclu mos que uma solu ca o da equa c ao de Poisson u = h com h S (R3 ) e dada por 1 h(x ) d3 x . u(x) = 4 R3 x x
Essa solu ca o da equa ca o de Poisson e tamb em obtida com mais generalidade (ou seja, com menos restri co es ` a fun ca o h) no Teorema 18.2, p agina 832. O exemplo da equa c ao de difus ao n ao-homog enea
D u = h em Rn+1 com h S (Rn+1 ). Nesse caso Consideremos a equa c ao de difus ao n ao-homog enea t consideramos o operador L = t D para o qual temos LT = t D e cujo polin omio caracter stico associado e 2 n 2 P(p0 , p) = ip0 + D p , com p0 R, p = (p1 , . . . , pn ) R e com p 2 = p2 1 + + pn .
Uma solu ca o fundamental F0 para L ser a dada por F0 () = 0 F1 n e y = (y1 , . . . , yn ) R , teremos F0 () = 0 F 1 1 (2 )n+1 1 (2 )n+1 1 F[] P ei(y0 p0 +yp) (y ) dn+1 y
Rn+1 Rn+1
1 P F []
, S (Rn+1 ). Assim, tomando y0 R
1 n+1 d p P(p) 1 ip0 D p dn+1 p 1 ip0 D p
ei(y0 p0 +yp) (y ) dn+1 y

Rn+1 Rn+1 R1 p <R2 R1 Rn+1 R1 p <R2 Rn+1 R1
= lim
1 R1 R2 (2 )n+1 lim 1 R1 R2 (2 )n+1 lim
ei(y0 p0 +yp) (y ) dn+1 y eiy0 p0 ip0 D p
dp0 dn p
= lim
dp0
eiyp (y ) dn+1 ydn p .
Cap tulo 35
1779/2069
R1
Agora, o limite lim
R1
R1
eiy0 p0 ip0 D p lim
dp0 pode ser calculado pelo m etodo dos res duos, fornecendo
R1
R1
R1
eiy0 p0 ip0 D p
dp0 = 2H (y0 )eDy0
com H sendo a fun ca o de Heaviside (35.112). Verique! Assim, F0 () = lim 1 (2 )n H (y0 )eDy0
p <R2 Rn+1 p
2
R2
eiyp (y ) dn+1 ydn p
1 (2 )n/2 1 (2 )n/2
Rn+1
1 (2 )n/2 e
eDy0
Rn
y 4Dy 2 0
eiyp dn p H (y0 )(y ) dn+1 y
(35.37)
Rn+1
H (y0 )
2Dy0
n/2
(y ) dn+1 y .
Assim, na nota ca o de fun co es generalizadas, a solu ca o fundamental do operador F0 (y0 , y ) = H (y0 ) e

y 4Dy 2 0
D e
4Dy0
y0 R, y Rn .
t
Por (35.190), uma solu ca o da equa c ao de difus ao n ao-homog enea portanto, dada por
t
D u = h em Rn+1 com h S (Rn+1 ) e,

2 0)
u(t, x) =
Rn+1
F0 (t y0 , x y ) h(y0 , y ) dy0 dn y =
e
Rn
x y 4D (ty
4D(t y0 )
h(y0 , y ) dn ydy0 ;
t R, x Rn . (35.196)
E. 35.37 Exerc cio. Verique explicitamente que Dx H (t y0 ) t
x y 4D (ty
0)
4D(t y0 )
= (t y0 ) (x y ) .
Cap tulo 35
1780/2069
35.5
Exerc cios Adicionais
E. 35.38 Exerc cio dirigido. [A transformada de Fourier de Gaussianas via integra c ao complexa]. Desejamos demonstrar a igualdade (35.40) 1 2
x2 i(y +i )x
exp 41 y + i dx = 2
(35.197)
para e C com Re () > 0, usando desta vez m etodos de integra c ao complexa. Acima = ||ei , sendo /2 < < /2 i/2 (pois supomos Re () > 0) e = || e . Mostre por completamento de quadrados que vale (y + i ) 2
2
x2 i(y + i )x = x + i Logo, 1 2 onde J :=

1 y + i 4
2
x2 i(y +i )x
exp 41 y + i dx = 2 (y + i ) 2
2
J,
(35.198)
exp x + i
dx .
+i ) Tomando-se z x + i (y2 , mostre que podemos escrever
J =
C
ez dz
a w0 := Im
+i ) onde C := {x + i (y2 e uma linha reta no plano complexo paralela ao eixo real e com parte imagin aria igual , x R} C (y +i ) 2
e orientada de x = a x = +. Vide Figura 35.2, p agina 1780.
w0
w0
RA
` esquerda, o caminho de integra ` direita, o caminho de integra Figura 35.2: A ca o C . A ca o fechado RA . O passo seguinte e provar que ez dz =
C
2
ex dx .
(35.199)
Para tal, tome-se A > 0 e considere-se a integral HA :=

RA
ez dz
Cap tulo 35
1781/2069
onde RA e o ret angulo em C indicado na Figura 35.2, p agina 1780. Como ez e uma fun c ao inteira (i.e., anal tica em toda parte) na vari avel z , a integral HA e nula para todo A > 0, pelo Teorema de Cauchy. No entanto, HA e a soma das integrais sobre os quatro segmentos de reta orientados que comp oe RA . Constate que a integral sobre o segmento de reta A (x+iw0 )2 := A e dx. Constate que a integral sobre o segmento de reta horizontal inferior e horizontal superior e SA IA :=
A x2 dx. A e
Constate que as integrais sobre os segmentos verticais do lado e esquerdo e direito s ao

w0
EA := i respectivamente. Constate que
e(A+iy) dy
w0
DA := i
0
e(A+iy) dy ,
e(A+iy) e que Re (A + iy )2 Obtenha disso que

w0 0 |w0 | 0
= exp Re (A + iy )2 Im () y Re ()
2
= Re () A2 y 2 2Im ()yA = Re () A
||2 2 y . Re ()
e(A+iy) dy
exp Re (A + iy )2 Im () y Re ()
dy
2 0 |w0 |
= exp Re () A
exp
||2 2 y Re ()
dy
2
|w0 | exp Re () A e conclua disso que

A
Im () y Re ()
||2 2 w Re () 0
lim EA = lim DA = 0 ,
A
j a que supomos Re () > 0. Conclua disso e do fato que HA = 0 que

A
lim SA = lim IA ,
A
2
ou seja, que ez dz =
C
ex dx
como quer amos mostrar. Escrevamos = ||ei , sendo /2 < < /2, pois supomos Re () > 0. Vamos agora provar que

ex dx =
(35.200)
com
||ei/2 . Constate que vale

ex dx = 2
0
ex dx = 2ei/2
L
e||z dz ,
onde L e a semi-reta em C indicada na Figura 35.3, p agina 1782. Para calcular

L
e||z dz tomamos novamente A > 0 e consideramos a integral KA :=

LA
e||z dz .
Cap tulo 35
1782/2069
1A
LA 3A 2A A
/2
/2
Figura 35.3: Esquerda: o caminho de integra ca o L, uma semi-reta que parte da origem e estende-se ao innito formando um angulo de /2 com a horizontal. Direita: caminho de integra ca o LA e as tr es partes que o comp oe: o segmento de reta 1A (que parte da origem, tem comprimento A e forma um angulo de /2 com a horizontal), segmento de reta 2A (id entico ao intervalo [0, A] do eixo real) e o arco de c rculo 3A (de raio A e abertura /2, centrado na origem).
Como e||z e uma fun c ao inteira de z temos KA = 0, pelo Teorema de Cauchy. A integral que dene KA e a soma das integrais nas tr es partes que comp oe LA : dois segmentos de reta e um arco de c rculo. Vide Figura 35.3, p agina 1782. Constate que essas integrais s ao dadas por 1A := ei/2 Constate que
/2 A 0
e d ,
2A :=
0
e|| d
/2
3A :=
0
exp ||A2 e2i d .
|3 A | =
exp ||A2 e2i d
| | /2 0
exp ||A2 cos 2
| | exp ||A2 cos 2
|| Re ()A2 e 2
e, portanto, que limA 3A = 0. Conclua do fato que KA = 0 que temos limA 1A = limA 2A . Obtenha disso que 2 2 1 ei/2 ||2 = , e d = ei/2 e d = e|| d = i/2 2 2 2 | | e 0 0 o que implica (35.200). Reunindo (35.200), (35.199) e (35.198), estabele ca que 1 2
x2 i(y +i )x
exp 41 y + i dx = 2
que e a rela c ao (35.197) ou (35.40), como desejado. Isto tamb em completa uma demonstra c ao alternativa do Corol ario 35.1, p agina 1719. E. 35.39 Exerc cio dirigido. [A transformada de Fourier de Gaussianas usando s eries de Taylor]. Sejam 2 := F[h] sua transformada de Fourier. Usando > 0 e C, constantes, seja a fun c ao h(x) := ex +x S (R) e seja h
Cap tulo 35
1783/2069
a expans ao de Taylor da exponencial, temos 1 h(p) = 2

2 1 ex e(ip+ )x dx = 2
ex
(ip + )n n x n! n=0
dx

1 = 2
(ip + )n n! n=0
ex xn dx .
Justique a troca da s erie pela integral, acima. Note agora que os termos com n mpar anulam-se, pois h e uma fun c ao par. (ip+ )2m x2 2m (p) = 1 e x dx . Agora, Temos, portanto, h m=0 (2m)! 2

ex x2m dx = 2
0
ex x2m dx
t=x2
1
1 2 +m
et tm+ 2 1 dt =
1
1 2 +m
m+
1 2
onde e a Fun c ao Gama de Euler (vide Cap tulo 7, p agina 270). Usando, (7.19), p agina 277, obtenha disso 1 (p) = 1 h 2 m=0 m! que e o resultado obtido em (35.37). E. 35.40 Exerc cio dirigido. [A transformada de Fourier da fun c ao ex ]. Seja > 0, constante, seja a fun c ao 4 x := F[h] sua transformada de Fourier. Usando a expans h(x) := e S (R) e seja h ao de Taylor da exponencial, temos 1 h(p) = 2
4 1 ex eipx dx = 2 4
(ip + )2 4
e 4 = 2
(p+i )2
ex
(i)n n n x p n! n=0
1 dx = 2
(i)n n p n! n=0
ex xn dx .
Justique a troca da s erie pela integral, acima. Note agora que os termos com n mpar anulam-se, pois h e uma fun c ao par. (1)m 2m x4 2m (p) = 1 p e x dx . Agora, Temos, portanto, h m=0 (2m)! 2

ex x2m dx = 2
0
ex x2m dx
t=x4
1 2
1 m 4+ 2
et t 4 + 2 1 dt =
1 2 4 + 2
1 m
1 m + 4 2
onde e a Fun c ao Gama de Euler (vide Cap tulo 7, p agina 270). Portanto, (p) = h 1 1 4 8 (1)m p2m m (2m)! 2 m=0
1 m + 4 2
(35.201)
(p) Mostre, usando essa expans ao, que h e uma fun c ao inteira na vari avel p. Essa express ao permite vislumbrar a estrutura como fun anal tica de h c ao de 1/ C: a mesma possui um ponto de ramica c ao de ordem 1/4 em 1/ = 0. . No Exerc cio E. 35.41 apresentamos uma outra estrat egia para determinar h c ao ex ]. Seja > 0, constante, seja a fun c ao E. 35.41 Exerc cio dirigido. [A transformada de Fourier da fun 4 x := F[h] sua transformada de Fourier. A fun h(x) := e S (R) e seja h c ao h satisfaz h (x) = 4x3 h(x), ou seja, vale , ou = 4iP 3 h P h = 4iQ3 h. Aplicando-se a transformada de Fourier a essa express ao e usando-se (35.29), obt em-se Qh 1 seja, h(p) satisfaz a equa c ao diferencial h (p) 4 ph(p) = 0.
n=0
4
As solu co es da equa c ao diferencial y (p) py (p) = 0 com C, constante, podem ser obtidas pelo m etodo de expans ao em s erie de pot encias, pois trata-se de uma equa c ao diferencial ordin aria linear regular de ordem tr es (vide Se c ao 12.6, p agina 512 e Se c ao 13.1, p agina 569). Procurando-se solu co es na forma y (p) = as rela co es de recorr encia c3 = 0 , cn+4 cn pn , mostre que os coecientes cn satisfazem n N0 . (35.202)
cn , = (n + 4)(n + 4)(n + 2)
Cap tulo 35
1784/2069
1 temos h (0) = yh(y )dy = 0, pois h e Como c3 = 0, tem-se c4k+3 = 0 para todo k N0 . No caso espec co de h 2 uma fun c ao par. Portanto, interessa-nos impor que c1 = 0, implicando c4k+1 = 0 para todo k N0 e, com isso, poder ao ser n ao-nulos apenas os coecientes c4k e c4k+2 , k N0 , ou seja, os coecientes c0 , c4 , c8 , c12 , etc., todos proporcionais a c0 , e os coecientes c2 , c6 , c10 , c14 , etc., todos proporcionais a c2 . Usando as f ormulas de recorr encia (35.202), mostre que
c4k = k Com isso, mostre que onde I1 e I2 s ao as constantes I1 1 := 2

(4k 3)!!! c0 (4k )!
c4k+2 = k
(4k 1)!!! c2 , (4k + 2)!
kN. (35.203)
(p) = I1 h1 (p, ) + I2 h2 (p, ) , h (3/4) ds = = , 2(1/4) 8
s4
(1/4) ds = , 8
I2
1 := 2
s e
2 s4
sendo a Fun c ao Gama de Euler (vide Cap tulo 7, p agina 270), e onde h1 (p, ) := 1 1/4 1+
k=1
(4k 3)!!! (4k )!
p4 4
h2 (p, ) :=
p2 2 3/4
1+
k=1
(4k 1)!!! (4k + 2)!
p4 4
Mostre, usando essas expans oes, que h1 e h2 s ao fun co es inteiras da vari avel p. Mostre, usando as expans oes e propriedades coincide com a de (35.201). da fun c ao Gama de Euler, que a express ao de acima para h como fun Essas express oes tamb em permitem vislumbrar a estrutura anal tica de h c ao de 1/ C: a mesma possui um ponto de ramica c ao de ordem 1/4 em 1/ = 0. Usando as mesmas id eias do Exerc cio E. 35.41, obtenha a transformada de Fourier da fun c ao E. 35.42 Exerc cio. 4 3 2 exp x + x + x + x , com > 0 e , , C, em termos de expans oes em s eries de pot encias. E. 35.43 Exerc cio. Usando as mesmas id eias dos Exerc cios E. 35.39 ou E. 35.41, obtenha a transformada de Fourier da 6 fun c ao ex , > 0, em termos de expans oes em s eries de pot encias. E. 35.44 Exerc cio dirigido. Para > 0, constante, seja a fun c ao h(x) = 1 , cosh x
x R. Sabemos do Exerc cio E. 35.1, p agina 1703, que h S (R). Mostre que F[h](y ) = Observe que segue facilmente disso que para a fun c ao h(x) = 1 cosh
2
1 2 cosh
y 2
(35.204)
vale
F [h ] = h ,
(35.205)
ou seja, essa fun c ao h tem a si mesma como transformada de Fourier!

e Sugest oes. Observe que h(x) = 2 1+ e2x . Logo,
x
2 F[h](y ) = 2
1 ex eixy dx = 2 x 1+e 2
1 e( 2 i 2 )s ds = s 1+e 2
lim Ia
Cap tulo 35
1785/2069
onde, para a > 0, Ia :=

a
e( 2 i 2 )s ds. Como descreveremos abaixo, o limite lim Ia pode ser obtido considerando-se a a 1 + es
1 y
integral complexa
Ca
F (z ) dz , onde F (z ) :=
e( 2 i 2 )z 1 + ez e onde Ca e o caminho de integra c ao retangular fechado e orientado no sentido anti-hor ario indicado na Figura 35.4, p agina 1785.
2i
Ca
Figura 35.4: O caminho de integra ca o retangular fechado orientado no sentido anti-hor ario Ca no plano complexo. Aqui, a>0 e arbitr ario. Constate que a integral no segmento horizontal inferior de Ca e precisamente Ia . Mostre que a integral no segmento horizontal superior de Ca e ey/ Ia . Mostre que as integrais nos segmentos verticais de Ca convergem a zero no limite a . Conclua disso que y 1 (2 1 e i 2 )s ds = lim F (z ) dz . s 1 + ey/ a Ca 1 + e Agora, a integral
Ca
F (z ) dz pode ser calculada pelo m etodo dos res duos. Observemos para tal que F (z ) e da forma F (z ) = p(z ) , q (z ) com p(z ) = e( 2 i 2 )z
1 y
q (z ) = 1 + ez .
As fun co es p e q s ao fun co es inteiras (anal ticas em toda parte) e q tem zeros somente nos pontos zn = (2n + 1)i, n Z, todos zeros simples (justique essas arma co es!). H a um unico desses zeros no interior do ret angulo delimitado pela curva Ca , a saber, o ponto z0 = i. Sob essas circunst ancias o Teorema dos Res duos informa-nos que Ca F (z ) dz independe de a e o res duo de F em z0 . Como q tem um zero de ordem um em z0 e que vale Ca F (z ) dz = 2i Res F (z0 ), onde Res F (z0 ) vale, por uma f ormula bem-conhecida, p(z0 ) Res F (z0 ) = q (z0 ) (prove-a ou procure-a e.g. em [41]). Calculando o lado direito e reunindo os resultados, obtenha (35.204). E. 35.45 Exerc cio dirigido. Este exerc cio estende o m etodo empregado no Exerc cio E. 35.44, p agina 1784. Para > 0, constante, seja a fun c ao 1 (x) = 2 , cosh x
Cap tulo 35
1786/2069
x R. Sabemos do Exerc cio E. 35.1, p agina 1703, que S (R). Mostre que F[](y ) = y 2 2 senh
y 2
(35.206)
Sugest oes. Observe que (x) = 4 4 F[](y ) = 2

a
e2x 1+e2x
. Logo, 1 dx = 2

e2x 1+
2e e2x
ixy
e(1i 2 )s 1+
2 es
ds =
lim Ia
onde, para a > 0, Ia :=

a
e(1i 2 )s 1 + es
2
ds. Como descreveremos abaixo, o limite lim Ia pode ser obtido considerando-se a
a
integral complexa
Ca
F (z ) dz , onde F (z ) := e(1i 2 )z 1 + ez
2
y
e onde Ca e o caminho de integra c ao retangular fechado e orientado no sentido anti-hor ario indicado na Figura 35.4, p agina 1785. Constate que a integral no segmento horizontal inferior de Ca e precisamente Ia . Mostre que a integral no segmento horizontal superior de Ca e ey/ Ia . Mostre que as integrais nos segmentos verticais de Ca convergem a zero no limite a . Conclua disso que y 1 e(1i 2 )s F (z ) dz . lim ds = 2 1 ey/ a Ca 1 + es Agora, a integral
Ca
F (z ) dz pode ser calculada pelo m etodo dos res duos. Observemos para tal que F (z ) e da forma F (z ) = p(z ) , q (z ) com p(z ) = e(1i 2 )z
y
q (z ) =
1 + ez
As fun co es p e q s ao fun co es inteiras (anal ticas em toda parte) e q tem zeros somente nos pontos zn = (2n + 1)i, n Z, todos zeros duplos (justique essas arma co es!). H a um unico desses zeros no interior do ret angulo delimitado pela curva Ca , a saber, o ponto z0 = i. Sob essas circunst ancias o Teorema dos Res duos informa-nos que Ca F (z ) dz independe de a e e o res duo de F em z0 . Como q tem um zero de ordem dois em z0 que vale Ca F (z ) dz = 2i Res F (z0 ), onde Res F (z0 ) vale, por uma f ormula bem-conhecida, Res F (z0 ) = 2 p (z0 ) 2 p(z0 )q (z0 ) q (z0 ) 3 q (z0 ) 2
(prove-a ou procure-a e.g. em [41]). Calculando o lado direito e reunindo os resultados, obtenha (35.206).
Cap tulo 35
1787/2069
Ap endices
35.A Prova de (35.18)
Nesta se ca o demonstramos a desigualdade (35.18), p agina 1710, enunciada na proposi ca o que segue. Proposi c ao 35.18 Para todo q grande o suciente, a saber q > n, vale para todo x Rn
Rn
1 M dn y , 2 q 2 q (1 + x y ) (1 + y ) (1 + x )q 1+ y
Rn q
onde M > 0 e uma constante que depende de q e de n. Uma poss vel escolha e M = 2q
dn y .
2 1 x x 2+2 y . (35.A.1) 2 2 Observemos em segundo lugar que para todo a 0 vale (1 + a)2 = 1 + 2a + a2 1 + a2 . Assim, (1 + x y )2(1 + y )2 (1 + x y 2 )(1 + y 2 ). Portanto,
Prova. Observemos em primeiro lugar que adotando u = p agina 201, obtemos xy

2
x 2
ev =
x 2
na identidade do paralelogramo, equa ca o (3.31),
+ y
(1 + x y )2 (1 + y )2
=
(35.A.1)
1+ xy 1+ xy 1+ xy 1+ 1 x 2
2 2
1+ y
2
+ y + y
+ xy
+2
x y 2
(35.A.2)
Logo, 1 dn y (1 + x y )2q (1 + y )2q =

Rn (35.A.2)
Rn
1 (1 + x y )2 (1 + y )2 1
2
dn y
q
Rn
1+
1 2
+2
x 2
y
q 2
dn y
=
Rn
1 1+
1 2
+2 y
dn y ,
onde na u ltima passagem zemos a mudan ca de vari aveis y y + x 2 . Agora, 1+ 1 x 2

2
+2 y
1+ = 1 2
1 x 2
+
2
1 y 2
1+ x
+ 1+ y
1 2 2 (1 + x ) + (1 + y ) 4 1 (1 + x ) (1 + y ) , 2
Cap tulo 35
1788/2069
2 Acima, na passagem da segunda para a terceira linha usamos o fato que (1+ c2 ) 1 u encia 2 (1+ c) para todo c R, conseq 2 2 2 de 2(1 + c ) (1 + c) = (c 1) 0. Na passagem da terceira para a quarta linha usamos o fato que para todos a, b R vale a2 + b2 2ab, conseq u encia elementar da desigualdade (a b)2 0.
Retornando nalmente a (35.A.2), temos 1 dn y (1 + x y )2q (1 + y )2q
2
Rn
Rn
1+ x
1+ y
dn y =
2q 1+ x
1
q Rn
1+ y
dn y .
Para q grande o suciente (q > n) a integral e nita, provando o que desej avamos.
35.B
Prova da Proposi c ao 35.15
Esta se ca o e dedicada ` a prova da Proposi ca o 35.15, p agina 1747. Essa demonstra ca o requer alguns lemas preparat orios, com os quais iniciaremos a discuss ao. Algumas das arma co es que seguem podem ser um tanto obvias para alguns, mas isso e um tanto ilus orio. Por essa raz ao apresentamos demonstra co es detalhadas. O leitor perceber a que algumas das demonstra co es adiante seguem passos familiares ` a teoria das fun co es almost-peri odicas (vide, e.g., [129]). Alguns fatos preparat orios Lema 35.3 Sejam a, b R. Ent ao, vale 1 T T lim Para a = 0 vale 1 T
2T T
ei
at+b ln t
dt =
1, 0,
se a = b = 0 , se a = 0 .
(35.B.3)
2T
eib ln t dt =
T
2eib ln 2 1 1 + ib
eib ln T , 1 T
2T T
(35.B.4) eib ln t dt > 0.
e o limite T s o existe para b = 0 (e vale 1). Para todo b R vale, por em, lim sup
T
1 2T i at+b ln t e dt. Para T T t > 0 dena-se a fun ca o f (t) := at + b ln t. Como f (t) = a + b e invers vel para todo t grande o suciente. Adotemos t, f ent ao T grande o suciente para garantir que f 1 (t) exista para todo t T . Fazendo a mudan ca de vari avel s = f (t) podemos escrever Prova. A armativa e evidente para o caso a = b = 0. Seja, agora a = 0. Denamos F (T ) := F (T ) = 1 T
f (2T ) f (T )
eis
1 f (f 1 (s))
ds
1 T 1 aT
f (2T ) f (T )
eis
1 a+
b f 1 (s)
ds
f (2T ) f (T )
f (2T ) f (T )
eis ds
b aT
eis
1 af 1 (s) +b
ds .
Cap tulo 35
1789/2069
Assim, F (T ) 1 aT
f (2T ) f (T )
eis ds
|b | |a |T |b | |a | |b | |a |
f (2T ) f (T )
1 ds af 1 (s) + b 1 af 1 (s) + b 1 af 1 (s) + b sup

s[T, )
sup
s[T, )
|f (2T ) f (T )| T |a|T + |b| ln 2 . T 1 af 1 (s) +b = 0. Provou-se assim
sup
s[T, )
Como lim |f (t)| = tem-se tamb em lim |f 1 (s)| = . Assim, lim que
t s
lim F (T ) = lim
1 T aT 1 T
f (2T ) f (T )
eis ds = lim
eif (2T ) eif (T ) = 0. T iaT
Para a = 0 um c alculo simples mostra que

2T T
F (T ) =
eib ln t dt =
2eib ln 2 1 1 + ib
eib ln T
e o limite para T n ao existe, exceto no caso b = 0. V e-se tamb em dessa express ao que nesse caso lim sup |F (t)| > 0.
t
O leitor pode perceber que a demonstra ca o acima pode ser estendida, por exemplo, substituindo f (t) = at + b ln t por fun co es f que sejam da forma f (t) = at + g (t) com g (t) 0 para t . Um exemplo s ao fun co es do tipo f (t) = at + b ln t + c ln(ln t), denidas para t > 1. Essas extens oes forneceriam maior generalidade aos resultados que se seguir ao, mas n ao trataremos delas aqui. Lema 35.4 Seja {k R, k = 1, . . . , n} um conjunto de n 1 n umeros reais distintos e sejam d1 , . . . , dn C,
n
constantes. Considere-se a fun c ao H (s) = exista e seja nulo e que d1 = = dn = 0.

k=1
dk eik s . Ent ao, uma condi c ao necess aria e suciente para que lim H (s)
s
Prova. Se d1 = = dn = 0, e evidente que lim H (s) = 0, pois H e a fun ca o nula. Vamos ent ao supor que lim H (s) = 0. Escolhamos um l {1, . . . , n}. Temos que 1 S Logo, 1 S S lim segue que d1 = = dn = 0. Lema 35.5 Seja {(ak , bk ) R2 , k = 1, . . . , n} um conjunto de n elementos distintos de R2 , com n 1, e sejam c1 , . . . , cn C, constantes. Considere-se a fun c ao
n s 2S S n s s
H (s)eil s ds =
k=1
dk
1 S
2S S
ei(k l )s = dl +
k=1 k =l
dk
ei(k l )2S ei(k l )S . i(k l )S
2S S
H (s)eil s ds = dl .
Agora, se lim H (s) = 0, o limite do lado esquerdo e nulo e, portanto, dl = 0. Como l foi escolhido arbitrariamente,
G(t) =
k=1
ck e i
ak t+bk ln t
Cap tulo 35
1790/2069
denida para t > 0. Ent ao, lim sup |G(t)| = 0 se e somente se c1 = = cn = 0.

t
evidente que se c1 = = cn = 0 ent Prova. E ao lim sup |G(t)| = 0, pois nesse caso G e a fun ca o nula. Vamos ent ao supor que lim sup |G(t)| = 0.
t t
Escolhamos um ndice l {1, . . . , n}. Dena-se L como o conjunto de todos os ndices k tais que ak = al e seja Lc o seu conjunto complementar, que e um subconjunto pr oprio de {1, . . . , n}. Podemos escrever
n n
G(t) =
k L c
ck e i
al t+bl ln t
ak t+bk ln t
+
k L c
ck e i
ak t+bk ln t
Multiplicando ambos os lados por T 1 ei 1 T

2T T
e integrando entre T e 2T , obtemos

2T n
G(t)ei
al t+bl ln t
dt =
k L c
ck
1 T
ei
(ak al )t+(bk bl ) ln t
dt +
k L
ck
1 T
2T T
ei
(bk bl ) ln t
dt .
Note-se que
n
ck
k L
1 T
2T T
ei
(bk bl ) ln t
dt = cl +
kL k =l
ck
1 T
2T T
ei
(bk bl ) ln t
dt
(35.B.4)
cl +
kL k =l
ck
2ei(bk bl ) ln 2 1 1 + i(bk bl )
ei(bk bl ) ln T .
Pelo Lema 35.3, sabemos que para k Lc o limite lim lim sup |G(t)| = 0 temos tamb em que lim
t T
1 T
n
2T
1 T T
2T T
ei
(ak al )t+(bk bl ) ln t
dt e nulo. Pela hip otese que
G(t)ei
al t+bl ln t
dt = 0. Assim, conclu mos que
T i(bk bl ) ln 2
Pelo Lema 35.4 (tome s = ln T ) o limite acima s o pode anular-se se todos os coecientes forem nulos, ou seja, se ck = 0 para todo k L. Com isso, estabelecemos que a soma que dene G pode ser reduzida ao conjunto Lc (que e um subconjunto pr oprio de {1, . . . , n}):
n
lim cl +
ck
kL k =l
2e 1 1 + i(bk bl )
ei(bk bl ) ln T = 0 .
(35.B.5)
G(t) =
k L c
ck e i
ak t+bk ln t
Repetindo o argumento de acima um n umero nito de vezes provaremos que todos os coecientes ck , k = 1, . . . , n, s ao nulos. Lema 35.6 Seja {(ak , bk ) R2 , k = 1, . . . , n} um conjunto de n elementos distintos de R2 , com n 1. Ent ao, as
ak y +bk ln y n
n fun c oes ei
denidas para y > 0 s ao linearmente independentes, ou seja, se existirem constantes ck C, ck e i

ak y +bk ln y
k = 1, . . . , n, tais que
k=1
= 0 para todo y > 0, ent ao ck = 0 para todo k = 1, . . . , n.
Prova. A arma ca o e evidente pelo Lema 35.5. Lema 35.7 Seja {(ak , bk ) R2 , k = 1, . . . , n} um conjunto de n elementos distintos de R2 , com n 1, e sejam
n
c1 , . . . , cn C, constantes. Considere-se a fun c ao G(t) =
ck e i
k=1
ak t+bk ln t
denida para t > 0.
Cap tulo 35
1791/2069
e 3. C e limitada, ou seja,
Sejam A e C duas fun c oes denidas em (0, ) tais que: 1. A(t)G(t) = C (t) para todo t (0, ), 2. lim |A(t)| =
t(0, )
sup |C (t)| < . Ent ao, G e C s ao identicamente nulas.
Prova. Seja lim sup |G(t)| = M 0. Ent ao, existe uma seq u encia ilimitada tn tal que lim |G(tn )| = M . Por outro lado, para todo n grande o suciente (de forma que se garanta A(tn ) = 0), tem-se G(tn ) = C (tn )/A(tn ). Como C e limitado, vale para todo n que |C (tn )| K para algum K 0. Assim, |G(tn )| K/|A(tn )|. Tomando o limite n de ambos os lados, obtemos M = 0, pois lim 1/|A(tn )| = 0, por hip otese. Isso implica que lim sup |G(t)| = 0 e, pelo Lema 35.5 isso implica que G e identicamente nula. Como A(t)G(t) = C (t), e v alida para todo t, isso implica que C e tamb em identicamente nula. Com esses resultados ` a m ao, passemos ` a demonstra ca o da Proposi ca o 35.15. Prova da Proposi c ao 35.15
n t t n
Com x = ey , a express ao (35.129) escreve-se

y bn an y b1 a1 y + + c lim c ny e 1y e
= ,
ibk onde c , ou seja, k ck e y
lim
i c ke k=1
Im (ak )y +Im (bk ) ln y
eRe (ak )y+Re (bk ) ln y = .
(35.B.6)
Seja a rela ca o de ordem em R2 ca o 35.15) denida da seguinte forma: dizemos que + (vide enunciado da Proposi (a, b) (a , b ) se a > a ou se a = a mas b > b . Isso faz de R2 um conjunto totalmente ordenado. Vamos supor que + aximo (n ao necessariamente u nico) do conjunto Re (ak0 ), Re (bk0 ) seja o m Re (a1 ), Re (b1 ) , . . . , Re (an ), Re (bn ) R2 +
segundo a rela ca o de ordem acima. Fatorando eRe (ak0 )y+Re (bk0 ) ln y de (35.B.6) e notando que
y
lim eRe (al )y+Re (bl ) ln y eRe (ak0 )yRe (bk0 ) ln y = 0
caso Re (al ), Re (bl ) Re (ak0 ), Re (bk0 ) obtemos de (35.B.6) que

y
lim eRe (ak0 )y+Re (bk0 ) ln y

m M
i c me
Im (am )y +Im (bm ) ln y
= ,
(35.B.7)
onde M {1, . . . , n} e conjunto de todos os ndices m tais que Re (am ), Re (bm ) = Re (ak0 ), Re (bk0 ) (como k0 M , M e n ao-vazio). Agora, dos fatos que 1. lim eRe (ak0 )y+Re (bk0 ) ln y = ,
y
2. A fun ca o y > 0.
m M
i c me
e limitada no conjunto y > 0, pois ei(Im (am )y+Im (bm ) ln y = 1 para todo
segue pelo Lema 35.7 que

m M
i c me
= 0 para todo y > 0 e que = 0.
otese, Pela deni ca o de M tem-se Re (am ), Re (bm ) = Re (am ), Re (bm ) se m, m M . Assim, como por hip os pares (ak , bk ) s ao todos distintos, segue que Im (am ), Im (bm ) = Im (am ), Im (bm ) se m = m , ambos em M .
Cap tulo 35
1792/2069
ao linearmente independentes e conclu mos que Portanto, pelo Lema 35.6, as fun co es ei Im (am )y+Im (bm ) ln y , m M , s cm = 0 para todo m M , o que evidentemente implica cm = 0 para todo m M .
A soma em (35.B.6) pode assim ser reduzida ao conjunto complementar de M (que denotamos por M c ) e que e um subconjunto pr oprio de {1, . . . , n}. Logo, obtemos, agora com = 0,
y
lim
i(Im (ak )y +Im (bk ) ln y ) Re (ak )y +Re (bk ) ln y c e = 0. ke k M c
Repetindo a argumenta ca o de acima um n umero nito de vezes, conclu mos que os coecientes ck s ao nulos para todo k = 1, . . . , n, como quer amos provar.
Cap tulo 35
1793/2069
Parte IX An alise Funcional
1794

NC Cap35

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

NC Cap35

Enviado por

Direitos autorais:

Formatos disponíveis

Cap tulo 35 Introdu c ao ` as Distribui co es e ` as Transformadas de Fourier

Lvovich Sobolev (19081989). Schwartz (19152002).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Fun co es de Schwartz e Fun co es de Teste

Fun co es innitamente diferenci aveis em Rn

lim p(x)f (q) (x) = 0

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

lim (1 + |x|)m f (q) (x) = 0

s ao elementos de S (R) (verique!).

:= sup (1 + |x|)m f (q) (x) , x R

lim p(x)D f (x) = 0 .

Ren e Fr echet (1878-1973).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Converg encia no espa co S (Rn )

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

E. 35.3 Exerc cio.

1 no caso da fun c ao f mostre que as derivadas de fun co es como exp (x a) 2

vai a zero mais

alguns autores tamb em denominam fun co es de teste as fun co es de S (Rn ).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

de D (R) dada por

para x (k, k ) , (35.10) para x (k, k ) ,

= 0 para todos m, q N0 . Isso

= sup (1 + x )m D (k )(x) , x K D (k )(x) , x K ,

e nito (pois K e compacto) e

converge a zero para k pois, por hip otese,

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

D k converge uniformemente a D . Isso provou que lim k

estabelecendo que k tamb em converge a no sentido de converg encia de S (Rn ).

= 0 para todo m N0 e todo multi- ndice ,

Uma proposi c ao u til

(xk ak )fk (x), onde as fun c oes fk s ao tamb em elementos de S (Rn ).

(xk ak )hk (x) ,

(xk ak )gk (x) = f (x)

(xk ak )fk (x) = (x)

(xk ak )hk (x) + (1 (x))

(xk ak )gk (x) = (x)f (x) + (1 (x))f (x) = f (x) ,

completando a prova. Operadores diferenciais lineares em D (Rn )

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

(1)|k | Dk (ak ) (x) =

(1)|k | Dk (ak )(x) =

que n ao e de crescimento polinomialmente limitado (devido ao

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

(1)|k | Dk (ak f )(x) =

(1)|k | Dk (ak )(x) =

Duas estruturas alg ebricas em S (Rn ). O produto pontual e o produto de convolu c ao

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

1 dn y (1 + x y )q1 (1 + y )q2 1 dn y (1 + x y )2q1 1 dn y (1 + y )2q1 1 dn y (1 + y )2q2

2q, g 2q, 0 (2 )n/2

onde na u ltima passagem usamos a desigualdade M 1 dn y , (1 + x y )2q (1 + y )2q (1 + x )q (35.18)

para todo e , o que demonstra que f g S (Rn ).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Prova. Exerc cio!