Cap2 Fourier

La transformada de Fourier:
propiedades y aplicaciones
Russell Wade: He tought me the mathematics of anatomy, but he could not

teach me the poetry of medicine
(The body snatcher, Robert Wise, 1945).
El concepto matemtico que hoy conocemos como transformada de

Fourier fue introducido por Joseph B. Fourier en 1811, en conexin con
un tratado sobre la propagacin del calor, mediante un argumento de pa-
so al lmite (del discreto al continuo) a partir de las series que tambin
llevan su nombre. La transformada de Fourier y el anlisis armnico en
general constituye hoy una de las herramientas ms tiles para el estudio
y el tratamiento de mltiples aspectos de las ecuaciones en derivadas par-
ciales. Podra decirse que en este mbito desempea un papel anlogo al
de la transformada de Laplace en el campo de las ecuaciones diferenciales
ordinarias, permitiendo simplificaciones notables en las ecuaciones toda
vez que contribuye a transformar derivadas en potencias, esto es, opera-
dores diferenciales en polinomios. Es tambin significativo el papel que
la transformada de Fourier juega en el terreno de las aplicaciones, funda-
mentalmente en teora de la seal, teora cuntica de campos, tomografa
y tratamiento y digitalizacin de imgenes.
Definicin y primeras propiedades. Funciones de

Schwartz y distribuciones temperadas
Aunque el concepto de transformada de Fourier puede introducirse di-
rectamente sobre funciones de L1 (Rd ) y adquiere pleno sentido, comenza-
remos estudindolo, por razones que sern expuestas ms adelante, sobre
1
2 Funciones de Schwartz y distribuciones temperadas
el espacio de Schwartz S(Rd ) constituido por las funciones de clase C (Rd )

que decrecen rpidamente en infinito; esto es, aquellas funciones : Rd R
infinitamente derivables en el sentido usual que, junto con todas sus de-
rivadas, decrecen ms rpidamente que cualquier potencia de |1x| cuando
| x | . Dicho de otro modo:
lm | x D ( x )| = 0 , (N {0})d ,

| x |
| |
donde x = x11 . . . xd d , D = y | | = 1 + 2 + . . . + d . Un
x1 1 ...xd d
ejemplo obvio de funciones que pertenecen al espacio de Schwartz son las
de D(Rd ). La familia numerable de seminormas

kk, = sup | x D ( x )|
x Rd
da lugar a una topologa en S(Rd ) generada por intersecciones finitas de

bolas definidas con respecto a tales seminormas, mientras que la conver-
gencia de una sucesin {n } S(Rd ) hacia S(Rd ) ha de entenderse
del modo
lm {kn k, } = 0
n
para cualesquiera multindices y .
El dual topolgico de S(Rd ) (denotado S 0 (Rd )) est formado por todos
los operadores lineales y continuos definidos sobre S(Rd ), y sus elemen-
tos reciben el nombre de distribuciones temperadas. Tal denominacin no
es fortuita ni inapropiada, pues los objetos de S 0 (Rd ) lo son tambin de
D 0 (Rd ) (cf. Ejercicio 2). Por otra parte, el concepto de convergencia en este
espacio es el propio de la topologa dbil ?: una sucesin { Tn } S 0 (Rd )
converge hacia T S 0 (Rd ) si
lm h Tn , iS 0 ,S = h T, iS 0 ,S S(Rd ) .
n
El lector interesado puede consultar [Sch] para obtener informacin ms

detallada a este respecto.
Ejemplo 1. Enumeramos a continuacin algunos elementos destacados

en el espacio de las distribuciones temperadas.
(a) El espacio de Schwartz es denso en L p (Rd ) para todo 1 p < (no

olvidemos que contiene a D(Rd )) y, por supuesto, S(Rd ) L (Rd )
aunque la inyeccin no sea densa. En consecuencia, para todo 1
3
p se dispone de la inclusin natural L p (Rd ) S 0 (Rd ) definida

a partir de
Z
T f () = f ( x )( x ) dx , f L p (Rd ) , S(Rd ) . (1)
Rd
En particular, tambin se tiene S(Rd ) S 0 (Rd ).

(b) Los polinomios en Rd pueden identificarse con distribuciones tem-
peradas, as como las funciones medibles acotadas por polinomios
(conocidas como funciones de crecimiento
n lento). En efecto, dada f :
R R tal que | f ( x )| C 1 + | x | para C > 0 y algn n N,
d
entonces T f : S(Rd ) R definida como en (1) es una distribucin

temperada, dado que
Z n
1 + | x | |( x )| dx < ,

T f () C
Rd
pues (1 + | x |)n S(Rd ) L1 (Rd ).

(c) La delta de Dirac, definida como x () = ( x ) cualquiera que sea
S(Rd ), es una distribucin temperada. Es ms, cualquier ele-
mento T D 0 (Rd ) con soporte compacto es identificable con una
distribucin temperada, en el sentido en que existe una nica Te
S (R ) cuya restriccin a D(R ) coincide con T. En efecto:
0 d d
Sean B Rd una bola abierta y D(Rd ) tales que
sop( T ) B sop() , = 1 en B .
Para cualquier S(Rd ) es claro que D(Rd ), por lo que cabe

e : S(Rd ) R de la siguiente manera:
definir una aplicacin lineal T
e() := T () .
T
Si D(Rd ), entonces D(Rd ) y = en B, de modo

que sop( ) Bc , luego T () = T () y, en consecuencia,
e() = T (). Dicho de otro modo, T
T e extiende a T.
Para verificar la continuidad de Te supongamos en primer lugar que
{n } 0 en S(R ), de donde se desprende inmediatamente que
d
tambin {n } 0 en S(Rd ). Como adems sop(n ) sop()

para todo n N, se que {n } 0 en D(Rd ). Podemos afir-
tiene
mar entonces que T e(n ) = T (n ) 0, de modo que T e es
continua en S(Rd ).
Jos L. Lpez
Finalmente, para demostrar la unicidad de T e bastara con admitir la

existencia de Se S 0 (Rd ) coincidente con T en D(Rd ), y compro-
bar que ha de ser Se = T.e En efecto, Te Se S 0 (Rd ) y se anula en
D(Rd ), que a su vez es un conjunto denso en S(Rd ). Un teorema de
extensin clsico (Teorema BLT) nos permite concluir el argumento.
La razn principal para comenzar estudiando la transformada de Fou-

rier sobre esta clase de funciones estriba en el hecho de que es actuando
sobre S(Rd ) (o bien sobre S 0 (Rd )) cuando el operador inverso de Fourier
cobra sentido a priori, pues la transformada de Fourier es cerrada para es-
tos espacios (como se demostrar ms avanzado el captulo) en tanto que
no lo es para L1 (Rd ). En otras palabras, trabajando el concepto de transfor-
mada de Fourier en cualquiera de estos dos espacios tenemos garantizado
de antemano el buen planteamiento de su construccin inversa.
Definicin 1 (Transformada de Fourier y transformada inversa de Fourier
en el espacio de Schwartz). La transformada de Fourier F [] : Rd C de
una funcin S(Rd ) (tambin denotada a menudo ) se define como
Z
F [](y) = ( x ) eixy dx . (2)
Rd
La transformada inversa de Fourier de es la funcin
1
Z
1
F [](y) = ( x ) eixy dx . (3)
(2 )d Rd
Aunque el marco funcional en el que la transformada de Fourier as

definida tiene pleno sentido es bastante ms amplio, baste de momento
indicar que si f L1 (Rd ) entonces las integrales (2) y (3) estn obviamente
bien definidas para todo y Rd . Adems sabemos que S(Rd ) L1 (Rd ),
por lo que la definicin anterior es vlida para cualquier funcin de S(Rd ).
Definicin 2 (Transformada de Fourier y transformada inversa de Fourier
de una distribucin temperada). La transformada de Fourier de un funcio-
nal T S 0 (Rd ) es un funcional F [ T ] : S(Rd ) C que se define en
trminos de la siguiente identidad:
F [ T ]() = T (F []) S(Rd ) . (4)
La transformada inversa de Fourier de T es el funcional
1
F 1 [ T ]() =

F [ T ] R , (5)
(2 )d
donde R denota el operador de reflexin.
5
Obsrvese que para que esta definicin tenga sentido es necesario que
se cumpla F [] S(Rd ), lo cual ser verificado en breve por medio del
Teorema 3. En este mismo resultado se comprobar asimismo que la trans-
formada de Fourier de una distribucin temperada es otra distribucin
temperada.
A continuacin estudiamos algunas de las propiedades ms relevan-
tes de la transformada de Fourier. Para ello introducimos previamente las
definiciones correspondientes a la accin del operador de traslacin sobre
una distribucin temperada, la accin de una distribucin temperada so-
bre una homotecia, y el producto de un polinomio, de un cambio de fase
y de una funcin de la clase de Schwartz por una distribucin temperada:
Definicin 3. Dados T S 0 (Rd ), = (1 , . . . , d ) un multindice,
R \ {0} y x, a Rd , se definen las siguientes distribuciones temperadas:
(i) x T () := T ( x ),
(ii) a T () := T (a ),

x
(iii) T (x )() := T |1|d ,
(iv) eia x T () := T eia x ,

(v) T () := T (),
para cualesquiera , S(Rd ).

Teorema 1. Las siguientes propiedades son satisfechas:
(a) [Transformada de Fourier de una derivada] Para cualesquiera
S(Rd ), T S 0 (Rd ) y un multindice, se cumple
F [ D ] = i || y F [ ] , F [ T ] = i || x F [ T ] .
Ntese que en estas identidades D y denotan cualquier derivada
de orden en el sentido clsico y distribucional, respectivamente.
(b) [Diferenciacin de la transformada de Fourier] Para cualesquiera
S(Rd ), T S 0 (Rd ) y un multindice, se cumple
D (F []) = F [(i )|| x ] , (F [ T ]) = F [(i )|| y T ] .
Como en (a), en las identidades anteriores D y denotan cualquier

derivada de orden en el sentido clsico y distribucional, respecti-
vamente.
Jos L. Lpez
(c) [Transformada de Fourier de una traslacin] Para cualesquiera

S(Rd ) y T S 0 (Rd ), se cumple
F [a ] = eiay F [] , F [a T ] = eiax F [ T ] ,
donde a denota el operador de traslacin por el vector a Rd .
(d) [Traslacin de la transformada de Fourier] Para cualesquiera
S(Rd ) y T S 0 (Rd ), se cumple
a F [] = F [eia x ] , a F [ T ] = F [eiay T ] ,
para todo a Rd . Como en el tem anterior, a denota el operador de

traslacin por el vector a Rd .
(e) [Transformada de Fourier de un grupo de escala] Para cualesquiera
S(Rd ), T S 0 (Rd ) y R \ {0}, se cumple
1 y 1 y
F [(x )] = F [] , F [ T (x )] = F [T ] .
||d ||d
(f) [Simetra L2 : identidad de Parseval y frmula de Plancherel] Para

cualesquiera , S(Rd ), se cumple
Z Z
F [](y)(y) dy = (y)F [](y) dy , (6)
Rd Rd
de donde se deduce
1
h, i L2 (Rd ) = hF [], F []i L2 (Rd ) Identidad de Parseval
(2 )d
1
k k L2 (Rd ) = d
kF []k L2 (Rd ) Frmula de Plancherel
(2 ) 2
(g) [Transformada de Fourier de un producto de convolucin] Para cua-

lesquiera , S(Rd ) y T S 0 (Rd ), se cumple
1
F [ ] = F []F [] , F [ T ] = F []F [ T ] ,
(2 )d
donde la convolucin T se define como ( T )( x ) := T (x R).1
1 Obsrvese que basta con que T y mantengan entre ellas una relacin de dualidad
topolgica para dar sentido a esta expresin. Por consiguiente, tan vlida como esta defi-
nicin es para los casos en que T D 0 (Rd ) y D(Rd ), o bien T D 0 (Rd ) con soporte
compacto y C (Rd ), lo es si T S 0 (Rd ) y S(Rd )
7
(h) [Continuidad y cada en infinito] Para toda S(Rd ), F [] es una

funcin continua y acotada en Rd . Adems, {F [](y)} 0 en C si
|y| .
Demostracin. (a) Se tiene

Z Z
ix y ||
F [ D ](y) =

D ( x ) e dx = (1) ( x ) D (eixy ) dx
Rd Z Rd
= i || y ( x ) eixy dx = i|| y F [](y) ,

Rd
para lo que se ha utilizado la frmula clsica de integracin por partes.

En el caso distribucional se tiene
T F [] = (1)|| T D F []

F [ T ]() =
(b)
(1)|| T F (i )|| x = i|| F [ T ]( x )

=
De f . 3 (i )
= i|| x F [ T ]() .
(b) Se tiene
Z Z
ix y
( x ) D eixy dx

D F [](y) = D

( x ) e dx =
Z Rd Rd
= ( x ) (i )|| x eixy dx = F [(i )|| x ](y) .

Rd
(F [ T ])() = (1)|| F [ T ] D = (1)|| T F [ D ]

( a) De f . 3 (i)
= (1)|| T i|| y F [] = (i )|| y T F []

= F (i )|| y T () .

(c) Se tiene
Z Z
ix y
F [a ](y) = ( x a) e dx = (u) ei(u+a)y du
Rd Z Rd
iay
= e (u) eiuy du = eiay F [](y) .
Rd

De f . 3 (ii ) (d)
T a F [] = T F [eia x ]

F [a T ]() = a T F [] =
De f . 3 (iv) ia x
= F [ T ] eiax

= e F [ T ]() .
Jos L. Lpez
(d) Se tiene
Z
a F [](y) = ( x ) eix(ya) dx = F [eia x ](y) .
Rd
De f . 3 (ii ) (c)
F [ T ] a = T F [a ] = T eiay F []

a F [ T ]() =
De f . 3 (iv)
eiay T F [] = F eiay T () .

=
(e) Si 6= 0, se tiene
Z
F [(x )](y) = (x ) eixy dx
Rd
1
Z
u 1 y
= (u) ei y du = F [ ] .
||d Rd ||d
En el caso distribucional

F [ T (x )]() = T (x ) F []
x
De f . 3 (iii ) 1
= T d
F [] = T F [(y)]
||
De f . 3 (iii) 1 y
= F [ T ] (y) = F [ T ] () .
||d
(f) Se tiene
Z Z Z
F [](y)(y) dy = ( x ) eixy dx (y) dy
Rd ZR
d Rd Z

= ( x ) (y) eixy dy dx
ZR Rd
d
= ( x )F []( x ) dx .
Rd
La identidad de Parseval se obtiene a partir de (6) tomando F [] = ,

de donde se desprende que = (2 )d F [ ] (vase el Teorema 2 que
viene a continuacin). Finalmente, para obtener la frmula de Plancherel
basta con elegir = en la identidad de Parseval y extraer races cuadra-
das.
9
(g) Se tiene
Z
F [ ](y) = ( )( x ) eixy dx
ZR
d
Z
= ( x )( ) d eixy dx
ZR Rd
d
Z
i y
= ( ) e ( x )ei( x )y dx d
Rd Rd
= F [](y)F [](y) .
Por otra parte, al tener en cuenta la interpretacin distribucional de la
convolucin se obtiene lo siguiente:

F [ T ]() = ( T ) F [] = T R F []
1 1
= T F F [ ] = F [ T ] F [ ]
(2 )d (2 )d
De f . 3 (v) 1
= F []F [ T ]() ,
(2 )d
donde se ha usado que F 2 [] = (2 )d R en virtud del clculo siguiente:
Z Z Z
iyz ix y
2
F [](z) = F [](y)e dy = ( x )e dx eiyz dy
R d R d R d
Z Z Z
= eiy( x+z) dy ( x ) dx = F [1]( x + z)( x ) dx
Rd Rd Rd
Z
Ejemplo 2 ( a)
= (2 )d 0 ( x + z)( x ) dx = (2 )d ( R)(z) . (7)
Rd
(h) La continuidad de F [] se desprende de la siguiente desigualdad:
Z
|( x )|eixy eixy0 ,

F [](y) F [](y0 )
Rd
pues basta con tomar una sucesin {yn } y0 y observar que el integran-
do est acotado por 2|( x )| y converge puntualmente hacia cero. Entonces
el teorema de la convergencia dominada nos permite concluir.
Que F [] es una funcin acotada es de verificacin inmediata, pues
|F [](y)| kk L1 (Rd ) para todo y Rd .
Comprobemos finalmente que {F [](y)} tiende a cero cuando |y|
. Para ello escribimos
Z Z
ix y
F [](y) = ( x )e dx = ( x )ei( xy+ ) dx
Rd Rd
Z y
Z
i x + y y

= ( x )e | y |2 dx = z 2 eizy dz ,
Rd Rd |y|
Jos L. Lpez
luego
Z
y izy
2 F [](y) =
(z) z 2 e dz
Rd |y|
Z y
( z ) z dz .

| y |2

Rd
Finalmente, usando el resultado del Ejercicio 13 del captulo anterior se

obtiene que
( )
y

lm () 2 = 0,
|y|
|y| L1 (Rd )
y por consiguiente {F [](y)} 0.

En el siguiente resultado justificamos el nombre de transformada in-
versa de Fourier que acompaa a F 1 en las definiciones 1 y 2. Compro-
baremos que, en efecto, se trata del operador inverso de la transformada
de Fourier F .
Teorema 2 (Frmula de inversin de Fourier en S(Rd )). Sea S(Rd ).

Entonces
1
Z
( x ) = F [](y) eiyx dy
(2 )d Rd
para todo x Rd .
2
Demostracin. Consideramos la funcin gaussiana G( x) = e | x| y defi-
x
nimos la siguiente sucesin de funciones: Gn ( x ) = G n . Entonces
F [ Gn ](y) = nd F [ G ](ny) (8)
en virtud del Teorema 1 (e). Adems

Z y Z Z
F [](y) G dy = F [](y) Gn (y) dy = (y)F [ Gn ](y) dy
Rd n Rd Rd
Z Z y
= nd (y)F [ G ](ny) dy = F [ G ](y) dy ,
Rd Rd n
donde se ha usado (8), el teorema de cambio de variable y la propiedad

de simetra (f) del Teorema 1. Si tomamos ahora el lmite n , una
11
aplicacin del teorema de la convergencia dominada2 nos conduce a la

siguiente identidad:
Z Z
G (0) F [](y) dy = (0) F [ G ](y) dy . (9)
Rd Rd
| y |2
Como G (0) = 1 y F [ G ](y) = e 4 (vase el Ejemplo 2 (c) ms abajo),
podemos reescribir (9) de la siguiente forma:
Z
F [](y) dy = (2 )d (0) . (10)
Rd
Aplicando finalmente la frmula (10) al operador de traslacin x obte-

nemos Z
F [x ](y) dy = (2 )d ( x ) . (11)
Rd
Pero F [ x ](y) = eiy x F [](y)
en virtud del Teorema 1 (c), de modo que
al reemplazar esta identidad en el primer miembro de la frmula (11) se
obtiene la propiedad deseada.

El siguiente resultado pone de manifiesto, entre otras propiedades, que
la clase de Schwartz S(Rd ) y la clase de las distribuciones temperadas
S 0 (Rd ) son cerradas tanto para la transformada de Fourier como para la
correspondiente transformada inversa.
Teorema 3. La transformada de Fourier es un homeomorfismo lineal de
S(Rd ) en S(Rd ) y de S 0 (Rd ) en S 0 (Rd ).
Demostracin. La llevamos a cabo en dos etapas:
Primera etapa: F : S(Rd ) S(Rd ) es un homeomorfismo lineal. Sea
S(Rd ).
(a) [F es cerrada en S(Rd )] Claramente F [] es continua en virtud del

Teorema 1 (h). Con respecto a su derivabilidad se dispone de la pro-
piedad (a) del Teorema 1:
D (F [])( x ) = F [(i )|| y ]( x ) .
Como la funcin (i )|| y pertenece claramente a S(Rd ) (puesto

que S(Rd )) sabemos que su transformada de Fourier es con-
tinua, luego podemos afirmar que D (F []) es continua cualquiera
2 Ver Ejercicio 6
Jos L. Lpez
que sea el multindice o, equivalentemente, que F [] pertenece a

C (Rd ). Falta por comprobar que F [] decrece rpidamente en in-
finito, lo cual equivale a demostrar que, dado p( x ) = n=1 c x un
polinomio de grado arbitrario, el producto pD (F []) tiende a cero.
En efecto, usando la linealidad de la aplicacin 7 F [] (que es
inmediata) y la propiedad (b) del Teorema 1 se tiene que
n
p( x ) D (F [])( x ) = F [(i)|| y ](x) (12)
c x
=1
Teor. 1 ( a)
h n i
= F c (i )||+| | D (y ) ( x ) (,13)
=1
que se anula en infinito en virtud del Teorema 1 (h).

(b) [Bicontinuidad] De (13) se desprende inmediatamente que
n Z
|c | | D (y )| dy < .

p( x ) D (F [])( x )
=1 Rd
Esta estimacin permite concluir la continuidad de 7 F [], dado

que para p( x ) = x se tiene

kF []k , |Ck,, |kkk,k
k =0
en virtud de la regla de Leibniz para la derivacin de un producto,

donde Ck,, denota una constante positiva que depende de los va-
lores de , y k. La continuidad de la aplicacin inversa se sigue
inmediatamente de la relacin F 1 = (2 )2d F 3 (vase el Ejemplo
2 (a)).
(c) [Biyectividad] Dada S(Rd ), basta con elegir = F 1 [] para
tener F [] = , de donde se desprende la sobreyectividad de F .
Finalmente, si F [] = F [] entonces F [ ] = 0, y tomando la
transformada inversa se concluye que = 0 en S(Rd ), luego la
inyectividad de F .
Segunda etapa: F : S 0 (Rd ) S 0 (Rd ) es un homeomorfismo lineal.
(a) [F es cerrada en S 0 (Rd )] Sean T S 0 (Rd ) y {n } S(Rd ) con
{n } en S(Rd ). Por continuidad de la transformada de Fourier
se tiene que {F [n ]} F [] en S(Rd ), luego
{F [ T ](n )} = { T (F [n ])} T (F []) = F [ T ]() .
13
Por otra parte, la linealidad de F [ T ] actuando sobre S(Rd ) es de

verificacin inmediata, de donde se concluye que F [ T ] S 0 (Rd ).
(b) [Linealidad] Sean , R y T, S S 0 (Rd ). Entonces
F [T + S]() = (T + S)(F []) = T (F []) + S(F [])

= (F [ T ])() + (F [S])()
para toda S(Rd ).
(c) [Bicontinuidad] Sea { Tn } S 0 (Rd ) tal que { Tn } T en S 0 (Rd ).

Entonces, para toda S(Rd ) se verifica
{F [ Tn ]()} = { Tn (F [])} T (F []) = F [ T ]() ,
luego F : S 0 (Rd ) S 0 (Rd ) es continua. La transformada inversa de

Fourier F 1 : S 0 (Rd ) S 0 (Rd ) tambin es continua, toda vez que
F 1 = (2 )2d F 3 (remitimos nuevamente al Ejemplo 2 (a)).
(d) [Biyectividad] Si S S 0 (Rd ), podemos definir
T () := S(F 1 []) S(Rd ) .
Claramente F [ T ] = S, luego F : S 0 (Rd ) S 0 (Rd ) es sobreyec-

tiva. Para verificar la inyectividad supongamos que F [ T ] = 0. En-
tonces T (F []) = 0 para toda S(Rd ). Como F : S(Rd )
S(Rd ) es sobreyectiva, esta ltima condicin se puede reformular
como T () = 0 para toda S(Rd ) y, por consiguiente, T 0 y
F : S 0 (Rd ) S 0 (Rd ) es inyectiva.
Ejemplo 2. Detallamos a continuacin algunos ejemplos de clculo de la

transformada de Fourier, ya sea en el mbito de la clase de Schwarz como
en el de las distribuciones temperadas, haciendo especial hincapi en los
elementos de anlisis complejo necesarios para llevarlo a cabo con rigor.
(a) Comprobemos que F [x0 ]( x ) = eix0 x en el sentido de las distribu-

ciones temperadas. En efecto, las siguientes identidades son satisfe-
chas:
Z
F [x0 ]() = x0 (F []) = F []( x0 ) = ( x )eix x0 dx = T f () ,
Rd
Jos L. Lpez
con f ( x ) = eix0 x . Si en la expresin anterior tomamos x0 = 0 se

obtiene la propiedad
F [0 ] = 1 ,
de donde se deduce que 0 = F 1 [1] = 1
(2 )d
F [1] y, en consecuencia,
F [1] = (2 )d 0 .
Al hilo de estas propiedades podemos verificar cmodamente la re-

lacin F 1 = (2 )2d F 3 usada con anterioridad. En (7) ya se dedujo
que F 2 [] = (2 )d R, luego
Z
3
F []( ) = (2 ) d
( R)(z) eiz dz
ZR
d
= (2 )d (z) eiz dz = (2 )2d F 1 []( )

Rd
despus de haber aplicado en repetidas ocasiones el teorema de Fu-

bini.
(b) La siguiente identidad es una consecuencia inmediata del enunciado

(b) del Teorema 1 y del ejemplo anterior:
F [ x ] = i|| (F [1]) = (2 )d i|| 0 .
y2
2 2 42
(c) F [e x ](y)= ||
e . En efecto, completando cuadrados en el
integrando se obtiene
Z y2
Z
2 x2 2 x2 ix y i 2
F [ e ](y) = e dx = e 42 e(x+ 2 y) dx

Z
1 y22 1 y22
Z
(+ 2i y)2 u2
= e 4 e d = e 4 e du .
|| || Im(u)= 2y
Basta entonces con verificar que la recta del plano complejo Im(u) =
y
2 puede transportarse al eje real Im( u ) = 0, ya que en ese caso po-
dramos escribir
Z Z
u2 2
e du = e d = , (14)
Im(u)= 2y
obteniendo con ello el resultado esperado. Para comprobar la pro-

piedad (14) consideramos el contorno rectangular c R de la Figura 2.
15
2
Como la funcin eu es holomorfa y c R una curva cerrada, para todo
R > 0 se tiene que
Z
2
eu du = 0 , u = + i , (15)
cR
en virtud del teorema de Cauchy. En los segmentos

n yo n yo
c2R = = R, 0 , c4R = = R, 0
2 2
se verifica 2
u R2 +2 2i 2 2
e = e = e R + ,
cantidad que tiende a cero para valores R , de modo que

nZ Z o
u2 2
lm e du + eu du = 0 .
R c2R c4R
Usando entonces (15) obtenemos

nZ o nZ Z o
u2 u2 2
lm e du = 0 = lm e du + eu du ,
R cR R c2R c4R
luego
nZ 2
Z
2
o Z 2
Z
2
0 = lm eu du + eu du = e d y
eu du ,
R c3R c1R = 2
de donde se desprende (14).
(d) Si d = 3,
2 2

1
F = .
| x |2 |y|
1
En primer lugar observamos que la funcin f ( x ) = | x |2
pertenece
a L1loc (R3 ) y decae en infinito, por lo que puede identificarse con la
distribucin temperada T f : S(Rd ) R definida como T f () =
R ( x )
R3 | x |2 dx (cf. Ejercicio 3). Teniendo en cuenta que
Z Z
1 1 d 2 | x |2 2 | x |2
et tet

2
= 2 dt = 2 dt ,
|x| |x| 0 dt 0
Jos L. Lpez
r c1R
c2R c4R
-R 0 c3R R
Figura 1: Contorno de integracin en (14)
se tiene que
F []( x )
Z
F [ T f ]() = T f F [] = dx
R 3 | x |2
Z Z
2 2
= 2 tet | x| dt F []( x ) dx
ZR Z
3 0

t2 | x |2
= 2 t e F []( x ) dx dt
0 R3
Z Z 2
1 |x| 2

= 2 2
e 4t ( x ) dx dt ,
0 t R3
para lo que se ha empleado el teorema de Fubini y el hecho de que
1 | x |2
Z Z
t2 | x |2
e F []( x ) dx = 3 e 4t2 ( x ) dx
R3 t R3
en virtud de la identidad de Parseval (Teorema 1 (f)) y del ejemplo

expuesto en (c). Bastar, pues, con calcular
Z Z
1 |x|22 2 s2 2 2
2 4t
2
e dt = e 4 ds = .
0 t |x| 0 |x|
(e) La transformada de Fourier de la funcin caracterstica del intervalo

[ a, a] R ( a > 0),

1 si x [ a, a]
[a,a] ( x ) = ,
0 si x
/ [ a, a]
17
es
2
F [a,a] (y) = sen( ay) .
y
(f) El siguiente ejemplo es un ejercicio interesante de integracin com-

2
pleja. Calculemos F ei| x| , donde x Rd y > 0. Como

2 2 2 2
ei| x| = eix1 eix2 . . . eixd ,
bastar con calcular la transformada de Fourier de la funcin f ( x ) =

2
eix con x R. Considerando la identificacin de esta funcin con
la correspondiente distribucin temperada T f y construyendo la su-
cesin de funciones

f ( x ) si n < x < n
f n (x) = ,
0 si | x | n
es inmediato concluir que { T f n } T f en S 0 (R) o, dicho de otro

modo,
nZ n o Z
2 2
{ T f n ()} = eix ( x ) dx eix ( x ) dx = T f ()
n
para toda S(R). Entonces la continuidad de la transformada de

Fourier (cf. Teorema 3) asegura que {F [ T f n ]} F [ T f ] en S 0 (R), por
lo que (abusando del lenguaje)
Z
eix(xy) dx

F [ f ](y) = lm F [ f n ](y) =
n
y2
Z y 2 2 Z
= e i 4
e i( x 2 ) dx = ei y4 2
ei d

y2
Z
i 4 2
= 2e ei d (16)
0
sin ms que completar cuadrados en el integrando. Para resolver la

R 2
integral 0 ei d utilizamos el contorno = OABO en el plano
complejo (vase la Figura 2).
2
Como la funcin z 7 eiz es holomorfa y la curva es cerrada, el
teorema de Cauchy garantiza que
Z
2
eiz dz = 0 .

Jos L. Lpez
p

4
>
0 A
Figura 2: Contorno de integracin en (16)
Por tanto, se tiene

Z R Z Z
i 2 iz2 2
e d = e dz eiz dz . (17)
0 AB BO
Comenzamos comprobando que la primera de las integrales del se-

gundo miembro de (17) converge a cero cuando R . En efecto, a
lo largo de la trayectoria AB se tiene que z = Rei (la parte radial se
mantiene fija y cambia solo el ngulo), por lo que
Z 2

lm eiz dz

R AB
n Z 1 Z o
R2 iR2 e2i i 4 iR2 e2i i
= lm R e e d + e e d

R 0 1
R2
n Z 1 Z o
lm R
R2
e R2 sen(2 ) d + 4
eR sen(2 ) d
2
R 0 1
R2
n 1
1 o
R2 sen 2
lm R 2 +e R2 2 = 0.
R R 4 R

Por otro lado, a lo largo de BO se tiene que z = ei 4 = 22 (1 + i ) (la
parte angular se mantiene fija y cambia solo el radio), con variando
19
entre R y 0. En este caso

Z R Z R
2 2(1 + i )
Z
iz2 2 2
e dz = (1 + i ) e d = e d ,
BO 2 0 2 0
de modo que (17) puede reescribirse de la siguiente forma:

Z R Z R
2(1 + i )
Z
i 2 iz2 2
e d = e dz + e d . (18)
0 AB 2 0
R
2
Como 0 e d =
2 , al pasar al lmite R en (18) se deduce
Z
i 2 2 (1 + i )
e d = . (19)
0 4
Por tanto, a raz de la frmula (16) se obtiene

2 (1 + i ) i y2
F [ f ](y) = e 4 . (20)
2
Finalmente,
!d
2 (1 + i ) | y |2
i| x |2
e i

F e (y) = 4 .
2
(g) A continuacin proponemos otra forma de resolver el problema abor-

dado en (g) bajo la hiptesis (ms general) C. Consideramos el
caso n = 1 y, tratando como variable, definimos
2
f (y, ) = F eix (y) . (21)
Un clculo sencillo que involucra a las propiedades expuestas en el

Teorema 1 (a) y (b) nos conduce a la identidad
h d 2 i 2 f
iy f (y, ) = F eix (y) = F [2ixeix ](y) = 2 (y, ) ,
dx y
de donde se obtiene la siguiente ecuacin lineal en derivadas parcia-

les:
f y
(y, ) + i f (y, ) = 0 . (22)
y 2
Jos L. Lpez
Resolviendo (22) llegamos a la expresin
y2
f (y, ) = C ()ei 4 , (23)
donde C () es una constante a determinar que depende de .

Derivando ahora en (21) con respecto a y volviendo a hacer uso del
Teorema 1 (b) observamos que
f h 2
i 2 f
(y, ) = F ix2 eix (y) = i 2 (y, ) ,
y
de donde se deduce una nueva ecuacin en derivadas parciales que

ha de ser satisfecha por f :
f 2 f
(y, ) + i 2 (y, ) = 0 . (24)
y
Sustituyendo (23) en (24) obtenemos la siguiente ecuacin diferencial

para C ():
1
C 0 () + C () = 0 ,
2
por lo que
K K
C ( ) = = p e i 2

(25)
||
despus de considerar la representacin polar = ||ei .
Solamente resta determinar el valor de la constante K. Para ello eva-
luamos f (y, i ) en (21) y (23) y aplicamos el clculo llevado a cabo en
(c), de donde se desprende que C (i ) = . Sustituyendo finalmente
en (25) se obtiene
2
K= (1 + i ) ,
2
luego
y2
r

(1 + i ) ei 2 ei 4 .

f (y, ) =
2| |
Es inmediato comprobar que esta expresin se reduce a (20) cuando

0 < R.

21
La transformada de Fourier en L p (Rd )

Estudiamos en la ltima parte de este captulo aquellas propiedades
de la transformada de Fourier que describen su comportamiento en el
ambiente de los espacios de Lebesgue. Segn la construccin hecha pre-
viamente y en virtud del Teorema 3, la transformada de Fourier de una
funcin f L p (Rd ) puede identificarse con una distribucin temperada.
Comenzamos observando que, adems, F [ f ] es tambin una funcin si
1 p 2.
d
Teorema 4 (Plancherel). La aplicacin (2 ) 2 F : L2 (Rd ) L2 (Rd ) es un
isomorfismo isomtrico, es decir: si f L2 (Rd ), entonces F [ f ] L2 (Rd ) y
d
kF [ f ]k L2 (Rd ) = (2 ) 2 k f k L2 (Rd ) .
Demostracin. La conclusin es cierta cualquiera que sea S(Rd ), tal

se expuso ya en el Teorema 1 (f). Como adems S(Rd ) es denso en L2 (Rd ),
el operador transformada de Fourier extiende la igualdad entre las normas
a toda funcin de L2 (Rd ).

Teorema 5 (Desigualdad de HausdorffYoung). Si f L p (Rd ) para algn

0
1 p 2, entonces F [ f ] L p (Rd ) y se cumple
d
kF [ f ]k L p0 (Rd ) (2 ) p0 k f k L p (Rd ) .
Observacin 1. La igualdad se alcanza en el teorema anterior si y sola-

mente si f es una funcin gaussiana de la forma
f ( x ) = k eh x,Axi+hb,xi ,
donde k R, A es una matriz real simtrica y definida positiva y b Rd .
Esta caracterizacin fue demostrada por E. Lieb en [Li].

Demostracin. Claramente F : L1 (Rd ) L (Rd ) y, en virtud del teore-
ma de Plancherel (Teorema 4), tambin F : L2 (Rd ) L2 (Rd ). Adems, se
tiene que
d
kF [ f ]k L (Rd ) k f k L1 (Rd ) , kF [ f ]k L2 (Rd ) = (2 ) 2 k f k L2 (Rd ) .
Jos L. Lpez
22 Aplicacin I: clculo de la solucin fundamental
Esto nos sita en condiciones de poder aplicar el teorema de interpolacin

de RieszThorin (vase el siguiente documento) con p0 = 1, q0 = , p1 =
d
q1 = 2, M0 1 y M1 = (2 ) 2 , lo que permite concluir la prueba.

Los textos [Duo], [RS2], [DL] y [DMc] son muy recomendables a distin-
tos niveles para contrastar y ampliar los contenidos aqu expuestos sobre
integrales de Fourier.
Aplicacin I: clculo de la solucin fundamental

La transformada de Fourier es una herramienta particularmente po-
tente para el estudio de ecuaciones en derivadas parciales lineales con
coeficientes constantes. Ilustremos con algunos ejemplos sencillos la for-
ma habitual de proceder.
Ejemplo 3 (Ecuacin de Laplace). Consideramos el problema
d
2 u
u = 2 = f (26)
i =1 xi
en Rd , donde f L2 (Rd ), con el propsito de encontrar una frmula ex-

plcita para la solucin u : Rd R. Para ello aplicamos la transformacin
de Fourier a la ecuacin (26) y obtenemos el problema equivalente
|y|2 F [u](y) = F [ f ](y) (27)
donde hemos utilizado la propiedad (b) del Teorema 1. A diferencia de

(26), la ecuacin (27) es algebraica y se resuelve de forma inmediata:
F [ f ](y)
F [u](y) = ,
| y |2
por lo que
F [ f ](y)

1
u( x ) = F .
| y |2
Utilizando ahora la parte (g) del Teorema 1 encontramos

1 1
u( x ) = f F (x) . (28)
| y |2
23
h i R
Calculamos seguidamente . Como F 1 1
| y |2
1
= 0 et dt para todo
2
> 0, se tiene que |y1|2 = 0 e|y| t dt. Entonces
R
Z Z
1
1 1 ix y|y|2 t
F = e dy dt . (29)
| y |2 (2 )d 0 Rd

Si consideramos ahora z = bx a i para cualesquiera a, b R con
2 b
b > 0, es fcil comprobar que
2
ea /4b
Z Z
2iax bx2
e dx = ez dz ,
R b
n o
donde = z C : Im(z) = a . Deformando en el eje real se tiene
2 b
Z Z
2 2
ez dz = e x dx = .

Por tanto, r
2
Z
iax bx2 a4b
e dx = e . (30)
R b
Finalmente
Z d Z 2d | x |2
ix j y j y2j t
Rd
e ix y|y|2 t
dy = e dy j =
t
e 4t (31)
j =1 R
como consecuencia de (30). Entonces, de (29) y (31) se concluye que

Z 2
1 1 1 d2 | x4t|
F = t e dt .
| y |2 (2 ) d 0
Luego la solucin de (26) se puede expresar explcitamente a travs de la
siguiente frmula integral:
Z Z | x y |2
1
u( x ) = d
e 4t f (y) dy dt . (32)
0 Rd (4t) 2

Ejemplo 4 (Ecuacin del calor). Consideramos el siguiente problema de
valores iniciales para la ecuacin del calor:
t ( x, t ) u ( x, t ) = 0 en R (0, ) .
d
u
(33)
u( x, 0) = u0 ( x ) en Rd
Jos L. Lpez
24 Aplicacin I: clculo de la solucin fundamental
Si aplicamos a este problema la transformada de Fourier con respecto a la

variable espacial obtenemos el siguiente problema lineal equivalente:
(
F [u]
t ( y, t ) + | y | F [ u ]( y, t ) = 0 en R (0, ) .
2 d
F [u](y, 0) = F [u0 ](y) en Rd
Resolviendo para F [u] por el mtodo de separacin de variables encon-

tramos
2
F [u](y, t) = e|y| t F [u0 ](y) .
Por tanto,
2 2
u( x, t) = F 1 e|y| t F [u0 ](y) = F 1 e|y| t u0 ( x, t) .

(34)
Usando (31) podemos calcular
1 1 | x |2
Z
2 2 d
F 1 [e|y| t ]( x, t) = eixy|y| t dy = d t 2 e 4t .
(2 )d Rd (2 )
Luego la frmula (34) puede reescribirse como
1 | x y |2
Z
u( x, t) = d
e 4t u0 (y) dy , x Rd , t > 0 . (35)
(4t) 2 Rd
Ejemplo 5 (Ecuacin de Schrdinger). Consideramos a continuacin el

siguiente problema de valores iniciales para la ecuacin de Schrdinger:
t ( x, t ) + u ( x, t ) = 0 en R (0, ) ,
d

i u
(36)
u( x, 0) = ( x ) en Rd
donde ahora la funcin u toma valores complejos.

Si formalmente reemplazamos t por it en el segundo miembro de (35)
se obtiene la siguiente frmula:
1 i | x y |2
Z
u( x, t) = d
e 4t (y) dy x Rd , t > 0 (37)
(4it) 2 Rd
(vaseel argumento siguiente para justificar la eleccin que debe hacer-

se de i). Es obvio que esta expresin tiene pleno sentido para tiempos
positivos toda vez que L1 (Rd ). La razn de considerar el cambio de
25
variable t 7 it radica en el hecho de que si |y|2 L1 (Rd ) entonces u

(dada por la frmula (37)) resuelve la ecuacin de Schrdinger
u
i ( x, t) + u( x, t) = 0 en Rd (0, ) ,
t
como se deduce fcilmente de un clculo directo.
Tambin puede seguirse un procedimiento anlogo al llevado a cabo
para la ecuacin del calor, salvo que en este caso se tiene
2
F [u](y, t) = ei|y| t F [u0 ](y) .
Por tanto
2
u( x, t) = F 1 [ei|y| t ] u0 ( x, t) .

Aplicando entonces lo expuesto en (h) del Ejemplo 2 (con = t y = )

se calcula
2 1 i | x |2
F 1 ei|y| t ( x, t) = d 4t

d
( 1 i ) e ,
(8t) 2
expresin que puede reinterpretarse en trminos de una raz cuadrada de
la unidad, a saber:
1
i = (1 + i ) , (38)
2
d
pues en tal caso 2i 2 = (1 i )d y puede escribirse
2 1 i | x |2
F 1 ei|y| t ( x, t) =

d
e 4t ,
(4it) 2
luego u viene dada por (37).

Ejemplo 6 (Ecuacin de ondas). Consideramos a continuacin el siguien-
te problema de valores iniciales para la ecuacin de ondas:
( 2
u
t2
( x, t) u( x, t) = 0 en Rd (0, )
. (39)
t ( x, 0) = u1 ( x ) en R
u( x, 0) = u0 ( x ) , u d
Aplicando la transformada de Fourier con respecto a la variable espacial a

este problema (como en el caso anterior) se obtiene el siguiente problema
equivalente:
(
2
t2
F [u](y, t) + |y|2 F [u](y, t) = 0 en Rd (0, )
, (40)
F [u](y, 0) = F [u0 ](y) , Ft[u] (y, 0) = F [u1 ](y) en Rd
Jos L. Lpez
26 Aplicacin II: teora de la seal
que es una ecuacin diferencial ordinaria de segundo orden en t (con coe-

ficientes constantes) para cada y Rd fijo. De la ecuacin caracterstica
asociada 2 + |y|2 = 0 obtenemos = i |y|, por lo que un sistema funda-
mental de soluciones es { cos(|y|t), sen(|y|t)}, es decir,
F [u](y, t) = A(y) cos(|y|t) + B(y) sen(|y|t)
con A, B : Rd C. Teniendo en cuenta las condiciones iniciales de (40) se

deduce fcilmente que
F [u1 ](y)
A = F [u0 ](y) , B= ,
|y|
de donde
F [u0 ](y) i|y|t i F [u ](y)
1

F [u](y, t) = e + e i | y | t ei | y | t e i | y | t .
2 2| y |
Por tanto,
F [u0 ](y) i|y|t i F [u ](y)

1 i | y | t 1 i |y|t i | y | t
u( x, t) = F e +e e e
2 2| y |
F [u0 ](y) h i(xy+|y|t)
Z
1 i ( x y|y|t)
i
= e + e dy
(2 )d Rd 2
i F [u1 ](y) h i(xy+|y|t) i
Z
i ( x y|y|t)
e e dy
2 Rd |y|
para todo x Rd y t 0.

Aplicacin II: teora de la seal

La motivacin para el empleo de la transformada de Fourier en la teora
matemtica del tratamiento de seales reside en la descomposicin carac-
terstica de una seal (representada por una funcin u( x )) como superpo-
sicin infinita de seales ms fcilmente tratables:
u( x ) = an einx ,
n N
donde = 2T es una frecuencia asociada al periodo T y e

ix representa un

armnico (es decir, la seal correspondiente a una frecuencia pura = 2 ).
27
Los problemas matemticos abordados por la transformada de Fourier

en el contexto de la teora de la seal responden tpicamente al siguiente
esquema: un sistema recibe (como entrada) una seal f y emite (como sali-
da) una seal g, donde f y g vienen descritas por funciones que dependen
del tiempo. Entonces se nos plantea en primer lugar el
(a) problema de identificacin del sistema, supuesto que f y g son cono-

cidas,
o bien el
(b) problema consistente en el clculo de la seal de salida g, supuesto

que el input f y el sistema son conocidos.
De naturaleza distinta es el llamado
(c) problema de filtraje de la seal, en el que el sistema recibe el nombre

de filtro y acta como tal sobre la seal.
Llamemos F al operador asociado al filtro, de modo que F ( f ) = g. Sobre

el filtro se consideran las siguientes tres hiptesis:
(i) F es lineal: F (1 f 1 + 2 f 2 ) = 1 F ( f 1 ) + 2 F ( f 2 ).
(ii) El filtro es estacionario (es decir, invariante con respecto al tiempo).
(iii) F es invariante por traslaciones: F ( f (t )) = g(t ).
El nico operador que satisface las hiptesis (i)(iii) es el de convolucin,

de modo que existir una funcin h : R R que verifica
Z
F ( f (t)) = g(t) = ( f h)(t) = f (t )h( ) d .

La funcin h se interpreta como la respuesta del filtro ante un impulso.

En efecto, si f = (aqu la masa de Dirac representa el impulso) entonces
g = h = h. Por otra parte, si f (t) = eit entonces
Z
g(t) = ( f h)(t) = h( )ei (t ) d

Z
= e it
h( )ei d = F [h]( ) f (t) .

Jos L. Lpez
28 Aplicacin II: teora de la seal
En este caso es F [h] la que determina la respuesta al impulso f y recibe el

nombre de funcin de transferencia del filtro. Adems, acabamos de observar
que
F (eit ) = F [h]( ) eit ,
lo cual indica que eiwt es un vector propio del filtro con valor propio aso-
ciado F [h]( ). En la prctica, la expresin grfica de la transformada de
Fourier de una seal es la representacin (compleja) en el espacio de fre-
cuencias de la misma, llamada espectro.
Otro ejemplo interesante de filtro es el siguiente. Sea f una funcin de
t R. La base de la construccin del filtro consistir en reemplazar f (t)
por su valor promedio f (t) sobre un intervalo de longitud , es decir:
Z t+ Z Z
1 2 1
f (t) = f (s) ds = [t ,t+ ] f (s) ds = h(t s) f (s) ds ,
t 2 2 2
donde la funcin h : t 7 1 [t ,t+ ] recibe el nombre de ventana cuadrada y

2 2
la seal filtrada es f (t) = (h f )(t). En este caso la funcin de transferencia
viene dada por
sen( )
F [h]( ) = ,

luego
sen( )
F [ f ]( ) = F [h]( )F [ f ]( ) = F [ f ]( ) ,

1
y el factor puede adaptarse a la banda de frecuencias til de la seal f .
Ejercicios
1. Sea p( x ) un polinomio con coeficientes reales en la variable x. En-

cuentra condiciones suficientes y necesarias para que la funcin x 7
e p( x) pertenezca al espacio de Schwartz.
2. Demuestra que las distribuciones temperadas son autnticas distri-
buciones, es decir: dada T S 0 (Rd ), su restriccin a D(Rd ) es un
elemento de D 0 (Rd ).
3. Se define el valor principal de la funcin 1x del siguiente modo:
( x )
Z
1
V.P. () := lm dx , S(Rd ) .
x 0+ | x |> x
Comprueba que se trata de una distribucin temperada.
4. Considrese la funcin f : R R definida como

1 | x | si | x | 1 ,
f (x) = .
0 si | x | > 1
(a) Calcula F [ f ]. Es continua? Es integrable en R en el sentido de

Lebesgue?
(b) Usando el resultado de (a), comprueba que
sin(t) 4
Z
2
dt = .
t 3
5. Sea f : R R una funcin perteneciente a L1 (R) cuya transfor-

mada de Fourier es F [ f ](y) = 0 para todo y R. Demuestra que
necesariamente f = 0 c.p.d. en R.
6. Demuestra que la transformada de Fourier de una distribucin es-
fricamente simtrica (es decir, invariante bajo transformaciones or-
togonales) es otra distribucin esfricamente simtrica. Si adems la
29
30 Ejercicios
distribucin es real, entonces su transformada de Fourier es tambin

real.
7. Sea
n o
a ( x b )2
G = u a,b : R R, u a,b ( x ) := e : a > 0, b R
el conjunto formado por todas las funciones gaussianas. Usando la

transformada de Fourier y sus propiedades, prueba que G es den-
so en L2 (R).
Sugerencia: como la transformada de Fourier es un operador unitario,
basta con demostrar que F [ G ] es denso en L2 (R). Para ello es conve-
niente utilizar la caracterizacin de densidad en espacios de Hilbert:
un subconjunto M de un espacio de Hilbert H es denso en H si y
solamente si
hu, vi = 0 v M u = 0 .
La verificacin de esta propiedad se basa en el Ejercicio 5.
8. Comprueba la aplicabilidad del teorema de la convergencia domina-

da en el paso al lmite que conduce a la identidad (9).
9. Comprueba que la desigualdad de HausdorffYoung (Teorema 5) no

es vlida para p > 2. Considera para ello funciones gaussianas de la
forma
2
g( x ) = e(a+ib) | x| , a > 0 .
10. Usa la transformada de Fourier para calcular la solucin fundamen-

tal de la siguiente ecuacin en derivadas parciales (VlasovFokker
Planck) que rige la evolucin de f = f ( x, v, t):
f t + v f x = f vv + (v f )v + f xv + f xx .
11. Sea T > 0. Llamamos peine de Dirac de periodo T a la distribucin
( x ) = ( x nT ) .
n Z
Demuestra que la transformada de Fourier de un peine de Dirac de

periodo T es un peine de Dirac de periodo 2
T . Concretamente,
h 1 i 2n

F ( x nT ) = x T .
n Z
T n Z
31
Sugerencia: Evala en x = 0 el desarrollo en serie de Fourier (con

respecto a la base trigonomtrica) de la funcin : R R definida
por
2n
( x ) = x + ,
n Z
T
donde S(R) es una funcin arbitraria.
12. Una mejora importante del teorema de HausdorffYoung fue llevada

a cabo por W. Beckner en 1975, quien prob la siguiente desigualdad:
1
d
2
4 2 p0

1
kF [ f ]k L p0 (Rd ) p p kfk p d ,
L (R ) 1 p 2.
p0
Es ptima? Por qu?
13. En este ejercicio estudiamos los valores propios y las funciones pro-
d
pias del operador transformada de Fourier T = (2 ) 2 F .
(a) Prueba que al aplicar cuatro veces el operador T se obtiene la

identidad.
(b) Usando el resultado de (a), comprueba que = 1, i son los
nicos valores propios de T.
(c) Demuestra que las funciones de Hermite
(1)n kxk2 dn kxk2

Hn ( x ) = e 2 e , n 0,
n! dx n
son funciones propias de T asociadas a los valores propios des-
critos en (b).
(d) Encuentra un punto fijo de T.
14. Usa la transformada de Fourier para demostrar que la solucin de la

ecuacin integral
Z
e| xy| u(y) dy 2u( x ) = f ( x )

es u = 21 ( g f ), donde g es el resultado de integrar f dos veces.

Encuentra u para el caso particular en que f ( x ) = e| x| .
Jos L. Lpez
32 Ejercicios
15. Discute razonadamente si las siguientes afirmaciones son verdade-

ras o falsas:
(a) La funcin f ( x ) = e x no es una distribucin temperada, aunque

s es una distribucin.
(b) Si f L2 (Rd ), entonces F [ f ] es continua.
(c) Bajo hiptesisRadecuadas sobre f : R R, su momento de

primer orden x f ( x ) dx puede escribirse como i (F [ f ])0 (0).
(d) Si f L1 (R) es una funcin impar, entonces la transformada seno
de Fourier de f definida como
Z
f ( x ) sen( xy) dx
0
coincide con 2i F [ f ](y).
16. Sean f : R3 R tal que f L1 (R3 ) L2 (R3 ) y
1
V (x) = f
|x|
el potencial coulombiano generado por f . Demuestra la siguiente de-
sigualdad:
5 1 2
kF [V ]k L1 (R3 ) 3(2 ) 3 k f k L3 1 (R3 ) k f k L3 2 (R3 ) .
Sugerencia: Estudia separadamente el comportamiento de kF [V ]k L1 (R3 )

dentro y fuera de la bola eucldea de radio R y optimiza con respecto
a R.
17. Sea L2 (R) tal que kk L2 (R) = 1 y
|F [](y)|2
Z
dy = C () < .
R |y|
Se define la transformada wavelet continua de f L2 (R) como
1
Z x b
w[ f ]( a, b) = p f ( x ) dx .
| a| R a
Demuestra las siguientes propiedades:

Apndice: Soluciones a algunos de los ejercicios planteados 33
(a) Si f , g L2 (R), entonces
1
Z Z Z
w[ f ]( a, b)w[ g]( a, b) da db = C () f ( x ) g( x ) dx .
R R | a |2 R
(b) f es Hlder continua de orden si y solamente si existe C > 0

tal que
1
|w[ f ]( a, b)| | a|+ 2 .
18. Sea f L2 (Rd ). La transformada inversa de Fourier de |F [ f ]|2 reci-

be el nombre de transformada de Patterson de f (y la denotamos por
P [ f ]), la cual se emplea con frecuencia en cristalografa para medir la
densidad electrnica de un cristal a partir de las intensidades del es-
pectro difractado correspondiente a una determinada radiacin (por
ejemplo, rayos x). Demuestra que
Z
P [ f ]( x ) = f ( x + y) f (y) dy .
Rd
19. Sean f S(Rd ) y u( xd ) := f (0, . . . , 0, xd ). Comprueba que
1
Z
F xd 7 d [u]( d ) = F x7 [ f ]( ) d 1 . . . d d1 .
(2 )d1 Rd 1
Apndice: Soluciones a algunos de los ejercicios

planteados
2. La linealidad es obvia. Supongamos entonces que {n } 0 en
D(Rd ). En tal caso existir un K R tal que sop(n ) K
compacto
d
para todo n N y lmn supxK D n ( x ) = 0 para cualquier

multindice . Por consiguiente
n o n o
kn k, = sup x D n ( x ) C sup D n ( x ) 0 ,

x K x K
donde C denota una constante positiva tal que | x | C para to-

do x K. De ello se desprende que {n } 0 en S(Rd ), luego
{ T (n )} T (0) (por hiptesis) y T es continua en D(Rd ).

Jos L. Lpez
34
3. La linealidad es obvia. Para verificar la continuidad observamos en

primer lugar que
Z Z
1 ( x ) ( x ) ( x ) ( x )
V.P. () = lm dx = dx .
x 0+ x 0 x
Por otra parte, para todo x > 0 se tiene

( x ) ( x ) Z x

1 |0 (z)| dz 2k0 k .
x x x
Considerando entonces {n } 0 en S(Rd ), se tiene

Z

Z 1
1
n ( x ) n ( x ) n ( x ) n ( x )
V.P. (n )

dx + x dx
x 0
x 1
x2
2k0n k + 2k xn k = 2 kn k0,1 + kn k1,0 0 ,

de donde se desprende la continuidad de V.P. 1x en S(Rd ).

4. Consideramos la funcin f : R R definida como

1 | x | si | x | 1 ,
f (x) = .
0 si | x | > 1
(a) Se tiene
Z Z 1
ixy
F [ f ](y) = f (x) e dx = (1 | x |) eixy dx
1
Z 0 Z 1
= (1 + x ) eixy dx + (1 x ) eixy dx
1 0
Z 1 Z 0 Z 1
ixy ixy
= e dx +
xe dx x eixy dx
1 1 0

i iy

iy
d 1 iy iy
= e e 2e e
y dy y
d 1 cos(y) 1 cos(y)

2
= sen(y) 2 =2 .
y dy y y2
Es claro que F [ f ] es continua, ya que en el origen F [ f ](0) = 1.

Para observar que es integrable en en el sentido de Lebesgue,
comprobaremos que puede identificarse con el lmite en L1 (R)
0.8
0.6
0.4
0.2
-10 -5 5 10
Figura 3: Representacin grfica de las funciones f y F [ f ] del Ejercicio 3.
de una sucesin de funciones integrables. En efecto, consideran-

do la sucesin f n := F [ f ](n,n) obtenemos3

Z
0 lm |F [ f ]( x ) f n ( x )| dx
n
Z
1 cos( x )

= 2 lm 1 (n,n) dx
n x2
Z n Z
1 cos( x ) 1 cos( x )

= 2 lm dx + dx
n x2 n x2
1
Z
1 cos( x )

= 4 lm dx 8 lm = 0.
n n x2 n x n
(b) Evaluando F [ f ] en 2x se obtiene fcilmente
2
1 cos(2x )

1 sen( x )
F [ f ](2x ) = = ,
2 x2 x
por lo que, en virtud del teorema de Plancherel (Teorema 62),
3 Obsrvese que cada una de las funciones f n es (Riemann) integrable en R por ser
continua y acotada en el intervalo (n, n)
Jos L. Lpez
36
puede concluirse que

sin( x ) 4
Z Z
2 dx = 2 |F [ f ](2x )|2 dx
x
Z Z
2
= |F [ f ](y)| dy = 2 | f (y)|2 dy

Z 1
4
= 4 (1 y)2 dy = .
0 3

5. Cualquier f L1 (R) induce una distribucin temperada definida
por Z
T f () = f ( x )( x ) dx ,

segn lo establecido en (1). Por tanto, tiene sentido hacer actuar la
transformada de Fourier sobre T f y lo que obtenemos es otro ele-
mento de S 0 (R) dado por
Z
F [ T f ]() = T f (F []) = f ( x )F []( x ) dx , S(R) .

Finalmente, basta con apelar al lema fundamental del clculo de va-
riaciones para asegurar que ha de cumplirse f = 0 c.p.d. si la expre-
sin anterior se anula para toda S(R).

2
9. Consideremos, por ejemplo, la funcin f ( x ) = ex con x R (co-
rrespondiente a las elecciones a = 1 y b = 0 en la familia del enun-
ciado). Por una parte se tiene
1 1/p

k f k L p (R) = ,
p
mientras que, por otra parte,
!1/p0
y2 2
4
F [ f ](y) = e y kF [ f ]k L p0 (R) = .
p0
p
Si la desigualdad de HausdorffYoung (Teorema 5) fuese cierta para

valores p > 2, tendra que cumplirse
!1/p0
1 1/p

2 1/p0
(2 ) ,
p0
p
p
0.04
0.02
2 3 4 5
-0.02
-0.04
-0.06
-0.08
Figura 4: Representacin grfica de la funcin x1/x1/2 ( x 1)1/2x1/2 que apa-

rece en el Ejercicio 7.
o equivalentemente
p1/p1/2 ( p 1)1/2p1/2 0 . (41)
Claramente la igualdad se alcanza para p = 2; sin embargo, el primer

miembro de (41) se vuelve estrictamente positivo para valores de p
mayores que 2 (vase la Figura 4).

10. Aplicando la transformada de Fourier F = F x7,v7 y sus propie-
dades a la ecuacin de VlasovFokkerPlanck obtenemos
F [ f ] F [ f ] F [ f ]
2 = 2 F [ f ] 2 F [ f ] 2 F [ f ] ,
t
dado que
F [ f ]
F [(v f ) x ] = i F [v f ] = i Fv7 [v] F [ f ] = 2 ,

F [ f vv ] = 2 F [ f ] ,
F [ f ]
F [(v f )v ] = i F [v f ] = i Fv7 [v] F [ f ] = 2 ,

F [ f xv ] = F [ f ] ,
F [ f xx ] = 2 F [ f ] .
Obsrvese que para el clculo de F [(v f ) x ] y F [(v f )v ] se ha utilizado
adems el resultado del Ejemplo 2 (b).
Jos L. Lpez
38
Agrupando convenientemente se obtiene
F [ f ] F [ f ]
2 ( ) = ( 2 + 2 + )F [ f ] .
t
Las curvas caractersticas asociadas a esta ecuacin de transporte son
0 (t) = 0 con (0) = ,

0 (t) = 2(t) con (0) = ,
es decir,
(t) = , (t) = 2 ( )t .
Es claro que
d
F [ f ](t, (t), (t))

dt
= ((t)2 + (t)2 + (t)(t))F [ f ](t, (t), (t)) ,
de donde resulta
Rt
(s)2 +(s)2 +(s)(s) ds
F [ f ](t, , 2 ( )t) = e 0
Rt
2 + 2 2 ( 2 2 )s+4 2 ( )2 s2 ds
=e 0
2 2 2 2 2 4 2 2 3
= e( + )t+ ( )t 3 ( ) t
previa consideracin del dato inicial F [ f ](0, , ) = F [0 ( x, v)] = 1,

como corresponde al clculo de la solucin fundamental para una
ecuacin de evolucin. Deshaciendo ahora el cambio de variables
7 y 2 ( )t 7 llegamos a la siguiente expresin
para F [ f ]:
2 + 2 + ) t ( +2 ) t2 4 2 2 t3
F [ f ](t, , ) = e( 3 .
A completar por el alumno.

11. Dada una funcin S(R) arbitraria, definimos : R R como
2n

( x ) := x + .
n Z
T
Claramente es peridica de periodo 2

T . Por tanto, admite un desa-
rrollo en serie de Fourier de la forma
( x ) = ck eikTx ,
k Z
con
1 1
n ikTx
Z Z

T T
ck = T ( x ) eikTx dx = T x + e dx
0 0 n Z
T
1 n +1
n
Z Z
2n

T ikTx T
=T x+ e dx = T (y) eikT (y T ) dy
n Z 0
T n Z
n
T
Z
=T (y) eikTy dy = T F [ ](kT ) .
R
Luego
( x ) = T F [ ](nT ) einTx .
n Z
La teora clsica de series de Fourier nos permite afirmar que la igual-

dad anterior es vlida puntualmente, ya que C1 (R). Por tanto,
evaluando en x = 0 se obtiene la identidad
2n D 2n E
T F [ ](nT ) = = x , .
n Z n Z
T n Z
T
Por otro lado

D h i E D E
F ( x nT ) , = ( x nT ), F [ ] = F [ ](nT ) ,
n Z n Z n Z
de donde se desprende que

h i 1 2n
F ( x nT ) =
T x
T
.
n Z n Z

2
12. S. Porque la funcin gaussiana f ( x ) = e | x| proporciona la igual-
dad.

Jos L. Lpez
40
13. (a) y (c) son fruto de un clculo directo. En virtud de lo afirmado

en (a), los nicos valores propios posibles del operador T son las
races cuartas de la unidad, de lo que se deduce lo expuesto en (b).
Finalmente, para resolver (d) observamos que H0 es claramente un
punto fijo de T.

14. La ecuacin integral puede reescribirse en trminos del producto de

convolucin como e| x| u 2u = f . Aplicando la transformada de
Fourier a esta ecuacin y teniendo en cuenta las propiedades de la
misma con respecto a la convolucin (Teorema 59 (g)) obtenemos
F[f]
F [u] = ,
F e| x| 2

donde
Z
F e|x| (y) = e| x| eixy dx

Z 0 Z
2
= e x eixy dx + e x eixy dx = .
0 1 + y2
Por consiguiente
(1 + y2 )F [ f ](y)
F [u](y) = ,
2y2
de donde se concluye que
1 1 (1 + y2 )F [ f ] 1 F [ f ]

1
u= F = F +f .
2 y2 2 y2
Por otra parte, F [ f ] = F [ g00 ] = y2 F [ g] (cf. Teorema 59 (b)), luego
1 n 1 o 1
u= F [F [ g]] + f = ( g f ) .
2 2
15. Argumentamos a continuacin la veracidad o falsedad de los enun-

ciados propuestos:
(b) FALSO. Valga como muestra la relacin establecida en el Ejem-

sen( x )
plo 22 (f). En efecto, la funcin f ( x ) = x pertenece a L2 (R)
R sen(x)2
(de hecho, x2 dx = ) y su transformada de Fourier
viene dada por
F [ f ](y) = 2 F 1 [ f ](y) = [1,1] .
(c) VERDADERO. Siempre que las siguientes integrales tengan sen-

tido, se tiene
Z
i (F [ f ])0 (0) = i F [ix f ](0) = F [ x f ](0) = x f ( x ) dx

en virtud del Teorema 59 (a).

(d) VERDADERO. Se tiene
i i
Z
F [ f ](y) = f ( x )eixy dx
2 2
i 1
Z Z
= f ( x ) cos( xy) dx + f ( x ) sen( xy) dx
2 2
Z
= f ( x ) sen( xy) dx ,
0
debido a la imparidad de f .

16. Es fcil comprobar (cf. Ejemplo 2 (e)) que

1 4
kF [V ]k L1 (R3 ) = F
f
= 2 F [ f ]

1 3 .
|x| L 1 ( R3 ) |x| L (R )
Sea BR la bola eucldea de radio R y BRc su conjunto complementario.

Entonces

1
| x |2 F [ f ] 1 4R F [ f ] L (R3 ) 4Rk f k L1 (R3 ) .

L ( BR )
Por otra parte

r 5
2 2

1 4 2
F [ f ] 2 3 = k f k 2 3 ,

| x |2 F [ f ] L (R ) L (R )

c)
L1 ( BR R R
Jos L. Lpez
42
donde se ha empleado el teroema de Plancherel (Teorema 62). Por

consiguiente, se tiene
5
2 2 2
F [V ]
L 1 ( R3 )
4R k f k L 1 ( R3 ) + k f k L2 (R3 ) .
R
Finalmente, optimizando el segundo miembro de la desigualdad an-
terior con respecto a R obtenemos que el mnimo se alcanza cuando
!2
k f k L 2 ( R3 ) 3
R= ,
2 k f k L 1 ( R3 )
de donde se concluye el resultado anunciado.

17. (a) Comprobamos la igualdad en dos etapas.
Etapa 1: utilizando las reglas de transformacin establecidas en el
Teorema 59, se tiene que
xb

Fb = | a|eix F []( a) .
a
La identidad de Parseval da pie entonces a la siguiente igualdad:
Z
xb yb

db
a a
Z
xb yb

1
= F Fb d
2 b a a
| a|2 i(xy)
Z
= e |F []( a)|2 d
2
A completar por el alumno.

18. Basta con recordar que F 1 [1] = 0 (cf. Ejemplo 2 (a)). Entonces
1
Z
P [ f ]( x ) = d
|F [ f ](u)|2 eiux du
(2 ) R d
Z Z Z
1 izu iyu
= f (z) e dz f (y) e dy eiu x du
(2 )d Rd Rd Rd
1
Z
= f (z) f (y) eiu( x+yz) dz dy du
(2 )d R3d
Z Z
= f (z) f (y) 0 ( x + y z) dz dy = f ( x + y) f (y) dy .
R2d Rd

19. Recordamos en primer lugar que
1
Z
f ( x ) = F 1 [F [ f ]]( x ) = F [ f ]( ) eix d ,
(2 )d Rd
de modo que
1
Z
u( xd ) = f (0, . . . , 0, xd ) = F [ f ]( ) eixd d d
(2 )d Rd
Z
1 1
= F F [ f ]( ) d 1 . . . d d1 .
(2 )d1 d 7 xd Rd1
Para concluir basta con tomar la transformada de Fourier en ambos
miembros de la igualdad.

Jos L. Lpez
44
Bibliografa
[DL] Dautray, R., Lions, J. L., Mathematical Analysis and Numerical

Methods for Science and Technology. SpringerVerlag, 1990.
[Duo] Duoandikoetxea Zuazo, J., Anlisis de Fourier. Addison

Wesley Iberoamericana, Universidad Autnoma de Ma-
drid, 1995.
[DMc] Dym, H., McKean, H. P., Fourier Series and Integrals. Acade-
mic Press, Nueva York, 1972.
[Li] Lieb, E. H., Gaussian kernels have only gaussian maximizers.

Invent. Math. 102, 179208, 1990.
[RS2] Reed, M., Simon, B., Methods of Modern Mathematical Phy-

sics, volumen II: Fourier Analysis, SelfAdjointness . Acade-
mic Press, Nueva York, 1975.
[Sch] Schwartz, L., Thorie des Distributions. Ed. Hermann, Pars,

1966.
45

Cap2 Fourier

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Cap2 Fourier

Cargado por

Copyright:

Formatos disponibles

La transformada de Fourier:

Russell Wade: He tought me the mathematics of anatomy, but he could not

El concepto matemtico que hoy conocemos como transformada de

Definicin y primeras propiedades. Funciones de

el espacio de Schwartz S(Rd ) constituido por las funciones de clase C (Rd )

da lugar a una topologa en S(Rd ) generada por intersecciones finitas de

El lector interesado puede consultar [Sch] para obtener informacin ms

Ejemplo 1. Enumeramos a continuacin algunos elementos destacados

(a) El espacio de Schwartz es denso en L p (Rd ) para todo 1 p < (no

p se dispone de la inclusin natural L p (Rd ) S 0 (Rd ) definida

En particular, tambin se tiene S(Rd ) S 0 (Rd ).

entonces T f : S(Rd ) R definida como en (1) es una distribucin

pues (1 + | x |)n S(Rd ) L1 (Rd ).

Sean B Rd una bola abierta y D(Rd ) tales que

Para cualquier S(Rd ) es claro que D(Rd ), por lo que cabe

Si D(Rd ), entonces D(Rd ) y = en B, de modo

tambin {n } 0 en S(Rd ). Como adems sop(n ) sop()

Finalmente, para demostrar la unicidad de T e bastara con admitir la

La razn principal para comenzar estudiando la transformada de Fou-

Aunque el marco funcional en el que la transformada de Fourier as

(iv) eia x T () := T eia x ,

para cualesquiera , S(Rd ).

D (F []) = F [(i )|| x ] , (F [ T ]) = F [(i )|| y T ] .

Como en (a), en las identidades anteriores D y denotan cualquier

(c) [Transformada de Fourier de una traslacin] Para cualesquiera

para todo a Rd . Como en el tem anterior, a denota el operador de

(f) [Simetra L2 : identidad de Parseval y frmula de Plancherel] Para

(g) [Transformada de Fourier de un producto de convolucin] Para cua-

(h) [Continuidad y cada en infinito] Para toda S(Rd ), F [] es una

Demostracin. (a) Se tiene

= i || y ( x ) eixy dx = i|| y F [](y) ,

para lo que se ha utilizado la frmula clsica de integracin por partes.

= ( x ) (i )|| x eixy dx = F [(i )|| x ](y) .

En el caso distribucional se tiene

(F [ T ])() = (1)|| F [ T ] D = (1)|| T F [ D ]

En el caso distribucional se tiene

En el caso distribucional se tiene

La identidad de Parseval se obtiene a partir de (6) tomando F [] = ,

Finalmente, usando el resultado del Ejercicio 13 del captulo anterior se

y por consiguiente {F [](y)} 0.

Teorema 2 (Frmula de inversin de Fourier en S(Rd )). Sea S(Rd ).

F [ Gn ](y) = nd F [ G ](ny) (8)

en virtud del Teorema 1 (e). Adems

donde se ha usado (8), el teorema de cambio de variable y la propiedad

aplicacin del teorema de la convergencia dominada2 nos conduce a la

Aplicando finalmente la frmula (10) al operador de traslacin x obte-

(a) [F es cerrada en S(Rd )] Claramente F [] es continua en virtud del

D (F [])( x ) = F [(i )|| y ]( x ) .

Como la funcin (i )|| y pertenece claramente a S(Rd ) (puesto

que sea el multindice o, equivalentemente, que F [] pertenece a

que se anula en infinito en virtud del Teorema 1 (h).

Esta estimacin permite concluir la continuidad de 7 F [], dado

en virtud de la regla de Leibniz para la derivacin de un producto,

Por otra parte, la linealidad de F [ T ] actuando sobre S(Rd ) es de

(b) [Linealidad] Sean , R y T, S S 0 (Rd ). Entonces

F [T + S]() = (T + S)(F []) = T (F []) + S(F [])

para toda S(Rd ).

(c) [Bicontinuidad] Sea { Tn } S 0 (Rd ) tal que { Tn } T en S 0 (Rd ).

{F [ Tn ]()} = { Tn (F [])} T (F []) = F [ T ]() ,

luego F : S 0 (Rd ) S 0 (Rd ) es continua. La transformada inversa de

(d) [Biyectividad] Si S S 0 (Rd ), podemos definir

T () := S(F 1 []) S(Rd ) .

Claramente F [ T ] = S, luego F : S 0 (Rd ) S 0 (Rd ) es sobreyec-

F [u0 ](y) i|y|t i F [u ](y)