Captulo 9

La Transformada de Fourier

En este captulo estudiaremos otra de las transformadas integrales que es ampliamente utilizada
tanto en matemticas puras y aplicadas como en algunos campos de la ingeniera. Nos referimos a
la transformada de Fourier la cual es, adems, una potente herramienta para resolver ecuaciones
en derivadas parciales. La idea bsica de la transformada de Fourier en lo referente a las EDPs
es la misma que en el caso de la de Laplace, esto es, transformar un problema complicado en
otro ms fcil de resolver y luego obtener la solucin del problema original como la transformada
de Fourier inversa de la solucin del problema transformado.
Veremos tambin que la transformada de Fourier es una herramienta bsica en el anlisis de
seales aperidicas que tienen energa finita. En este sentido, la transformada de Fourier juega
el mismo papel que las series de Fourier para seales peridicas.

9.1 Definicin y Propiedades Bsicas

Antes de dar la definicin rigurosa de transformada de Fourier, vamos a motivar dicha definicin
a partir de las series de Fourier. Sea f : R C, una funcin dada. Para cada l > 0 pode-
mos calcular el desarrollo en serie de Fourier de la funcin f el cual, en su forma compleja y
suponiendo suficiente regularidad en la funcin f , viene dado por
+ Z
1 X l
f (x) = cnl einx/l , con cnl = f (y) einy/l dy.
2l n= l

n
Con el cambio n = l las expresiones anteriores se reescriben como
+ Z
1 X l
f (x) = cnl ein x , cnl = f (y) ei n y dy. (9.1)
2 n= l l

Si suponemos que f decae muy rpidamente cuando |x| , entonces

Z +
cnl f (y) ein y dy

y a medida que l la primera expresin en (9.1) tiene el aspecto de una suma de Riemann.
De esta forma, haciendo tender l se tiene que
Z Z +
1 b b
f (x) = ix
f () e dx, con f () = f (y) eiy dy.
2

115
116 Captulo 9. La Transformada de Fourier

Los coeficientes de Fourier cnl pasan a tener la forma fb() que es lo que enseguida llamaremos
transformada de Fourier de la funcin f. Tenemos pues que la transformada de Fourier es, en el
sentido anterior, lo que equivale a los coeficientes de Fourier de una funcin peridica. Dicho de
otra forma, la transformada de Fourier juega el mismo papel para funciones definidas en todo R
(o de periodo infinito si se quiere) que las series de Fourier para funciones peridicas o definidas
en un intervalo acotado. Todo lo anterior motiva la siguiente definicin.

Definicin 9.1.1 Dada una funcin f : R C, se define formalmente su transformada de

Fourier como la funcin de variable real fb : R C, definida como
Z +
1
fb() = eix f (x) dx, R. (9.2)
2

Nota 9.1.1 La definicin anterior es formal en el sentido de que la integral que aparece en
dicha definicin no tiene porque existir para una f cualquiera. La convergencia de dicha integral
est garantizada en caso de ser f absolutamente integrable, es decir, si consideramos el espacio
Z +
1
L (R) = f : R C : |f (x)| dx < ,

entonces la transformada de Fourier de f est bien definida siempre que f L1 (R) . Recordemos
que L1 (R) , equipado de la norma
Z +
kf k1 = |f (x)| dx

es un espacio de Banach. En realidad, la integral que aparece en (9.2) no se entiende en sentido

de Riemann impropio sino en el sentido de Lebesgue. Lo mismo sucede en la definicin del
espacio L1 (R) . Sin embargo, si f es continua a trozos y si existen los lmites y son finitos
Z 0 Z b
lim |f (x)| dx y lim |f (x)| dx,
a a b+ 0

es decir, si |f | es integrable en sentido de Riemann impropio, entonces f L1 (R) y por tanto

existe la transformada de Fourier de f la cual viene dada por (9.2). A efectos de clculo, en
este captulo entenderemos que las funciones que consideramos son absolutamente integrables
en sentido de Riemann impropio.

Nota 9.1.2 Sealemos tambin que hay una gran diversidad en la bibliografa en lo que hace
1
referencia al trmino 2 que aparece en la definicin de la transformada de Fourier. Hay autores
que incluyen esta constante y autores que prescinden de ella. Es una cuestin de gustos. Por
supuesto en nada afecta sto a la teora que desarrollaremos a continuacin.

Calcularemos ahora la transformada de Fourier de algunas funciones concretas.

Ejemplo 9.1.1 Consideremos la funcin caracterstica del intervalo [a, b] , con < a < b <
+, esto es, la funcin
1 si a x b
X[a,b] (x) =
0 en caso contrario
9.1. Definicin y Propiedades Bsicas 117

Si aplicamos la frmula (9.2) se tiene que

Z b
1
X[a,b] () = eix dx
2 a
b
1 eix
=
2 i a
eia eib
=
2i
ba
siempre que 6= 0, y X[a,b] (0) = 2 .
En el caso particular de ser a = b, b > 0, se tiene que
(
sin(b)
si 6= 0.
X[b,b] () = b
.
si = 0.

0.8

0.6

0.4

0.2

-0.2

-0.4
-20 -15 -10 -5 0 5 10 15 20

Figura 9.1: Grfica de la funcin X[1,1] () .

Ejemplo 9.1.2 Consideremos ahora la funcin

2
f (x) = ex , < x < .

De la frmula (9.2) se deduce que

Z +
b 1 2
f () = eix ex dx
2
Z +
1 i 2 2
= e(x+ 2 ) 4 dx
2
Z +
4 1
2 i 2
=e e(x+ 2 ) dx.
2
118 Captulo 9. La Transformada de Fourier

Demostraremos ahora que Z + i 2

e(x+ 2 ) dx = .

Para ello partimos de la identidad
Z +
2
ex dx =

la cual es una consecuencia inmediata del hecho de ser

Z + Z +
2 2
e(x +y ) dxdy = .

Esta ltima identidad se demuestra fcilmente haciendo un cambio a coordenadas polares. Vol-
R + i 2
vamos al clculo de e(x+ 2 ) dx. Supongamos que > 0. Si < 0, el razonamiento que
sigue es completamente anlogo. Para cada R > 0 consideremos el camino R formado por la
unin de los segmentos
1R = {z C : z = x , R x R} ,
2R = {z
n C : z = R + iy , 0 y /2} ,o
3R = z C : z = x + i 2 , R x R ,
4R = {z C : z = R + iy , 0 y /2}
y orientado positivamente, esto es, en sentido contrario al de las agujas del reloj.

y
C

/2

-R R x

2
Dado que la funcin ez es holomorfa en todo el plano complejo, por el Teorema de Cauchy
se tiene que
Z
2
0= ez dz
Z Z Z Z R
2 2 2 2
= ez dz + ez dz ez dz ez dz.
1R 2R 3R 4R

Dado que sobre 2R y sobre 4R se tiene que

2
z 2 2
e = eR +y , 0 y /2,

entonces fcilmente se deduce que

Z Z
z 2 2
lim e dz = lim ez dz = 0.
R 2 R 4
R R
9.1. Definicin y Propiedades Bsicas 119

Por otra parte,

Z Z R
z 2 2
lim e dz = lim ex dx =
R 1 R R
R

y
Z Z R 2
Z i 2
(x+ i
2)
lim ez 2
dz = lim e dx = e(x+ 2 ) dx.
R 3 R R
R

Con todo ello se tiene que Z i 2

e(x+ 2 ) dx =

y por tanto,
h 2 i 1 2
ex () = e /4 .
2

Enunciamos a continuacin algunas de las propiedades bsicas de la transformada de Fourier.

Su demostracin es un sencillo ejercicio de clculo.

Proposicin 9.1.1

(a) Linealidad. Sean f, g L1 (R) y , C. Entonces

[f + g] = fb + b
g.

(b) Translacin y cambio de escala. Sean f L1 (R) y a, b R, con a 6= 0. Entonces la

funcin g (x) = f (ax + b) pertenece a L1 (R) y adems

1 ib b
gb () = e a f (/a) .
|a|

(c) Frmula de Modulacin. Sean f L1 (R) y a R. Entonces la funcin eiax f L1 (R)

y
h i
eiax f (x) () = fb( a) .

Como consecuencia,

fb( a) + fb( + a)
[f (x) cos ax] () =
2
y
fb( a) fb( + a)
[f (x) sin ax] () =
2i

9.1.1 La Transformada de Fourier y la Derivacin

Sea f : R C una funcin de clase C 1 a trozos y supongamos que tanto f como f 0 estn en
L1 (R) . Del teorema fundamental del clculo y del hecho de estar f 0 en L1 (R) se deduce que
Z x
lim f (x) = f (0) + lim f 0 (t) dt
x+ x+ 0
120 Captulo 9. La Transformada de Fourier

existe y es finito. Adems, como f L1 (R) , dicho lmite ha de ser cero. De manera anloga
se prueba que limx f (x) = 0. Como consecuencia de sto, e integrando por partes, se tiene
que
Z
0 1
f () = eix f 0 (x) dx
2
Z
i ix
= e f (x) dx
2
= i fb() .

En general se tiene que si f, f 0 , , f (n) L1 (R) , entonces,

h i
f (n) () = (i)n fb() .

Por otra parte, si la funcin xf (x) est en L1 (R) y calculamos formalmente entonces
Z
1
[xf (x)] () = xeix f (x) dx
2
Z
i d ix
= e f (x) dx
2 d
Z
d 1
= i eix f (x) dx
d 2
h i0
= i fb () .

En general, si xn f (x) L1 (R) , n N, entonces,

dn b
[xn f (x)] () = in f () .
d n

9.1.2 La Transformada de Fourier y el Producto de Convolucin

Nos ocuparemos a continuacin de estudiar el comportamiento de la transformada de Fourier
respecto del producto de convolucin. Recordemos que dadas dos funciones f, g : R C se
define el producto de convolucin de f y g como
Z
(f g) (x) = f (x y) g (y) dy

siempre que la integral anterior exista. Una condicin suficiente para la existencia de la con-
volucin de dos funciones es que una de ellas est en L1 (R) y la otra en Lp (R) para algn
1 p . De hecho, se puede probar (vase [1, Cap. IV]) que en este caso, es decir, si por
ejemplo f L1 (R) y g Lp (R) , entonces f g Lp (R) . En particular, si f, g L1 (R) ,
entonces f g L1 (R) . Por tanto, tiene sentido calcular su transformada de Fourier. Aplicando
la definicin de transformada de Fourier y calculando formalmente se tiene que
Z
1
(f g) () = eix (f g) (x) dx
2
Z Z
1 ix
= e f (x y) g (y) dy dx
2
9.2. El Teorema de Plancherel y la Transformada Inversa de Fourier 121
Z Z
1 i(xy)
= e f (x y) dx eiy g (y) dy
2
Z Z
1
= eiz f (z) dz eiy g (y) dy
2
= 2 fb() gb () .

En resumen: si f, g L1 (R) , entonces

(f g) () = 2 fb() gb () .

En la prctica usaremos este resultado en sentido inverso, es decir, habitualmente nos en-
contraremos con fb() gb () , donde f y g son conocidas, y estaremos interesados en calcular una
funcin h tal que b
h () = fb() gb () . El resultado anterior nos dice que esa tal funcin h no es
1
sino 2 (f g) .

9.2 El Teorema de Plancherel y la Transformada Inversa de Fou-

rier
En la seccin anterior hemos visto que el dominio natural para definir la transformada de Fourier
es el espacio de funciones L1 (R) . Pero, cul es su imagen o rango? es inyectiva la transformada
de Fourier? y sobreyectiva?. En este caso, cmo se calcula la transformada inversa?. De
responder a todas estas cuestiones nos ocuparemos en esta seccin.
Consideremos en primer lugar el espacio

C (R) = f : R C , f continua y lim f (x) = 0 ,
|x|

el cual equipado con la norma

kf k = sup {|f (x)| : x R}

es un espacio de Banach. El resultado que sigue establece que la transformada de Fourier del
espacio L1 (R) est contenida en C (R) . Para una demostracin vase [8, p. 217].

Lema 9.2.1 (Riemann-Lebesgue) Si f L1 (R) , entonces fb C (R) . Adems,

1
b
f kf k1 .
2
Nos ocuparemos ahora del problema de recuperar la funcin f a partir de su transformada
b Para ello, dada f L1 (R) se define su transformada inversa de Fourier como
de Fourier f.

Z
f (x) = eix f () d

Un primer resultado de inversin es el siguiente Teorema de Inversin de Fourier. Una demos-

tracin puede encontrarse en [8, p.p. 218-219].

Teorema 9.2.2 Sea f L1 (R) y supongamos que fb L1 (R) . Entonces f = fb , es decir,
Z
f (x) = eix fb() d para todo x R. (9.3)

122 Captulo 9. La Transformada de Fourier

Como consecuencia de este teorema se tiene que la transformada de Fourier es inyectiva. De

manera precisa:

Corolario 9.2.3 Sean f, g L1 (R) tales que fb = gb. Entonces f = g.

La frmula (9.3) expresa una funcin f como una superposicin continua de funciones expo-
nenciales. En este sentido, la transformada de Fourier proporciona un anlogo para funciones
no peridicas de las series de Fourier para funciones peridicas.
Son muchas las funciones de L1 cuya transformada de Fourier est tambin en L1 . Por ejem-
plo, si f C 2 (R) y si f, f 0 , f 00 L1 (R) , entonces (f 00 ) () = 2 fb() es acotada. De esta

forma, fb() ||C b 1
2 , lo que garantiza que f L (R) . Sin embargo, es importante sealar tam-

bin que la transformada de Fourier de algunas funciones importantes en las aplicaciones, como
la considerada en el Ejemplo 9.1.1, no estn en L1 (ver Ejercicio 3). Resulta pues interesante
obtener alguna otra versin del teorema de inversin anterior. Presentamos a continuacin una
de estas versiones que hace uso del concepto de valor principal (de Cauchy) de una integral.
Dada una funcin f : R C, se llama valor principal de f al nmero
Z M
lim f (x) dx
M M

R
que denotamos por P.V. f (x) dx. Es importante sealar que puede existir y ser finito
R R
P.V. f (x) dx y sin embargo no existir f (x) dx. Sin embargo, si f L1 (R) , enton-
R
ces existe P.V. f (x) dx y adems
Z Z
f (x) dx = P.V. f (x) dx.

Ya estamos en condiciones de enunciar una segunda versin del Teorema de Inversin de Fourier.
Para la demostracin vase [8, p.p. 220-221].

Teorema 9.2.4 Sea f L1 (R) y supongamos que f es diferenciable a trozos. Entonces

Z
f (x+) + f (x)
P.V. eix fb() d = ,
2

donde
f (x+) = lim f (x + h) y f (x) = lim f (x h) .
h0 h0
h>0 h>0

Nota 9.2.1 Ntese que dentro del teorema anterior si que tienen cabida funciones como la
considerada en el Ejemplo 9.1.1.

Hasta ahora hemos desarrollado toda la teora de la transformada de Fourier en el marco del
espacio L1 (R) . Sin embargo, nuestra experiencia con las series de Fourier sugiere que el espacio
L2 (R) tambin ha de jugar algn papel importante en toda esta teora de la transformada de
Fourier. Esto es efectivamente cierto. Como veremos enseguida, es L2 (R) y no L1 (R) el espacio
en el que la transformada de Fourier tiene un mejor comportamiento.
Veamos, en primer lugar, que la identidad de Parseval de las series de Fourier tiene tambin
su anlogo para la transformada de Fourier. Supongamos que f, g, fb, gb L1 (R) . Entonces no
9.3. Algunas Aplicaciones de la Transformada de Fourier 123

es difcil probar que tambin f, g, fb, gb L2 (R) . Vamos a calcular el producto escalar de fb y gb
en L2 . Haciendo uso del Teorema de Inversin de Fourier y calculando formalmente se tiene que
Z
b
< f , gb >L2 = fb() gb () d

Z Z !

1
= fb() eix g (x) dx d
2
Z Z
1
= g (x) fb() eix d dx
2
Z
1
= f (x) g (x) dx
2
1
= < f, g >L2 .
2
En particular, si tomamos f = g, entonces
2 1
b
f = kf k22 . (9.4)
2 2
La identidad (9.4) es entendida en Teora de la Seal como un principio de conservacin de
la energa. En efecto: kf k22 representa fsicamente la energa de la seal f en el dominio del
2

tiempo, mientras que fb representa la energa en el dominio de las frecuencias.
2
Concluimos esta seccin con el que es, a nivel terico, el resultado ms importante en la teora
de la transformada de Fourier. Una demostracin puede encontrarse en [10, p.p. 158-161].

Teorema 9.2.5 (Plancherel) La transformada de Fourier, definida en principio sobre L1 L2 ,

se extiende de manera nica a una aplicacin de L2 en L2 . Adems, esta aplicacin es biyectiva
y
2 1
b
f = kf k22 para toda f L2 .
2 2

El resultado de este teorema (como otros muchos en la teora de la transformada de Fourier)

se establece en primer lugar sobre el espacio de Schwartz

m dn f

S (R) = f : R C : f C y sup x
(x) cnm < , n, m N ,
xR dxn

y posteriormente se extiende por densidad a L2 . Por supuesto, S (R) es denso en L2 . Es impor-

tante sealar tambin que para funciones de S (R) es vlida la formula (9.2) mediante la cual se
define la transformada de Fourier. Sin embargo, para funciones de L2 que no estn en L1 no es,
en general, vlida esta frmula. A la extensin de la transformada de Fourier al espacio L2 se le
denomina transformada de Fourier-Plancharel.

9.3 Algunas Aplicaciones de la Transformada de Fourier

En esta seccin estudiaremos algunas aplicaciones de la transformada de Fourier. En concre-
to, usaremos dicha transformada para resolver ciertos problemas de ecuaciones en derivadas
parciales y tambin veremos alguna aplicacin en Teora de la Seal.
124 Captulo 9. La Transformada de Fourier

9.3.1 Teora de la Seal

Supongamos que f (t) representa la amplitud de una seal (una onda de sonido o una onda
electromagntica, por ejemplo) en el instante de tiempo t. La frmula
Z Z
b b 1
it
f (t) = f () e dt , f () = f (t) eit dt
2

describe a f como una superposicin de las ondas peridicas simples eit , donde cubre el
rango de todas las posibles frecuencias. Esta representacin es bsica en el anlisis de seales
en ingeniera elctrica. En esta seccin nos limitaremos a mostrar algunas ideas subyacentes a
la Teora de la Seal y, en particular, veremos como las series de Fourier y la transformada de
Fourier son una herramienta bsica en este campo de la ingeniera.
En primer lugar, la potencia de la seal f (t) es proporcional alR cuadrado de su amplitud
|f (t)|2 , y por tanto, la energa total de una seal es proporcional a |f (t)|2 dt. De esta forma,
la condicin de ser finita la energa total de la seal f significa simplemente que f L2 . Vemos,
por tanto, que L2 es un espacio que no slo tiene muy buenas propiedades desde un punto de
vista matemtico (es un Hilbert, y eso es mucho) sino que tambin tiene una realidad fsica
clara: es, en particular, el espacio de las seales que tienen energa finita.
En segundo lugar, los sistemas elctricos pueden ser modelizados matemticamente como
operadores A que transforman una seal de entrada f en una seal de salida Af. Muchos de
estos sistemas son (al menos en una primera aproximacin) lineales, lo cual significa que el
operador A es lineal. Adems, la accin de estos sistemas no se ve afectada por el paso del
tiempo (para una misma entrada f, la seal de salida es la misma hoy que maana). Esto
significa que el operador A conmuta con las translaciones, es decir, si (Af ) (x) = g (x) , entonces
(Af ) (x + s) = g (x + s) para cualquier s R. Se puede demostrar (ver [8, p.p. 225-226]) que
entonces el operador A es del tipo

Af = hfb , o lo que es equivalente, Af = H f (9.5)

donde h : R C y H es su transformada inversa de Fourier. La funcin h se denomina funcin

del sistema y H se suele llamar la respuesta impulso. Si escribimos h () en forma polar como
h () = A () ei() , entonces A () y () representan, respectivamente, la amplitud y la fase
debidos al operador A en la frecuencia . Los operadores del tipo (9.5) han sido y son amplia-
mente estudiados en matemticas puras, especialmente a partir de los trabajos de A. Zygmund
y A. Caldern quienes crearon a principios del siglo XX en la universidad de Chicago una muy
fructfera escuela de matemticos que se ocup, entre otras cosas, del estudio de este tipo de
operadores.
Pero volvamos a las seales. Supongamos que estamos interesados en conocer una seal f a
partir del conocimiento de los valores de la amplitud de dicha seal en una sucesin de tiempos
t1 < t2 < . Es sto posible? Por supuesto, para una funcin arbitraria f (t) , el conocer
f (t1 ) , f (t2 ) , nos dice absolutamente nada sobre f (t) para un t 6= t1 , t2 , . Sin embargo,
si la seal f involucra frecuencias limitadas es un cierto rango, es decir, si [L, L], para
un cierto L > 0, entonces s que vamos a poder describir apropiadamente la seal f. Para ello
necesitaremos hacer uso de tcnicas que involucran a las series de Fourier y a la transformada
de Fourier. Antes de seguir adelante, diremos que una seal f es limitada en banda si fb() = 0
para / [L, L] . Si f L2 y es limitada en banda, entonces fb L2 (teorema de Plancharel)
y adems fb() = 0 para / [L, L] . Por tanto, fb L1 y vale el Teorema de Inversin de
Fourier.
9.3. Algunas Aplicaciones de la Transformada de Fourier 125

Recordemos tambin que dada una funcin 2Lperidica f, su serie de Fourier asociada se
escribe en la forma
A0 X nx

nx
+ An cos + Bn sin . (9.6)
2 L L
n=1
Usando las identidades trigonomtricas
nx nx nx nx
nx ei L + ei L nx ei L ei L
cos = , sin = ,
L 2 L 2i
la expresin (9.6) se transforma en
X
cn einx/L , (9.7)
n=
donde
A0 An iBn An + iBn
c0 = , cn = y cn = .
2 2 2
Con todo esto en mente ya estamos en condiciones de enunciar y probar uno de los resultados
ms importantes en Teora de la Seal, el Teorema del Muestreo de Shannon.
Teorema 9.3.1 (del muestreo de Shannon) Supongamos que f es continua a trozos, f
L2 (R) L1 (R) y que fb() = 0 para
/ [L, L] . Entonces
X n sin (Lt n)
f (t) = f ,
n=
L Lt n
n
es decir, f est completamente determinada por los valores de f en los puntos L .

La demostracin es muy formativa pues hace intervenir algunos de los resultados ms im-
portantes del Anlisis de Fourier. La esbozamos a continuacin.
Como fb L2 , podemos calcular la serie de Fourier asociada a fb, la cual en su forma compleja
viene dada por
X
b
f () = cn ein/L (|| L) (9.8)
n=
donde los coeficientes de Fourier cn estn dados por
Z L
1 1 n
cn = fb() ein/L d = f . (9.9)
2L L 2L L
Ntese que la identidad (9.8) es consecuencia del teorema de convergencia puntual para series
de Fourier (ya que fb es diferenciable a trozos al ser f continua a trozos, y fb es continua por el
Lema de Riemann-Lebesgue) y que (9.9) es consecuencia del Teorema de Inversin de Fourier
(ya que f y fb estn en L1 (R)). Usando de nuevo este mismo argumento se tiene que
Z L
f (t) = fb() eit d
L
Z L
X n
1
= f ein/L eit d
2L L n= L
L
1 X n ei(Ltn)/L

= f
2L n= L i (Lt n) /L
L

X n sin (Lt n)
= f ,
n=
L Lt n
126 Captulo 9. La Transformada de Fourier

donde la integracin trmino a trmino es consecuencia del teorema de integracin para series
de Fourier.

Como hemos mencionado anteriormente, este teorema nos dice que es posible recuperar una
seal limitada en banda f (t) a partir de los datos f n
L , n N. Adems, el teorema nos da
una frmula explcita para calcular f (t) .

Nota 9.3.1 Existe otra versin de este teorema para seales que son limitadas en tiempo. En
esta versin dual uno determina fb() a partir de los datos fb(n/L) . La prueba de este nuevo
teorema es esencialmente la misma debido a la simetra entre tiempos y frecuencias, o lo que es
b
lo mismo, entre f y f.

9.3.2 Ecuaciones en Derivadas Parciales

En captulos anteriores usamos las series de Fourier para resolver ciertos problemas de EDPs en
dominios acotados. En esta seccin usaremos la transformada de Fourier para resolver problemas
similares pero en dominios no acotados. Al igual que en el caso de la transformada de Laplace,
la transformada de Fourier transforma una ecuacin en derivadas parciales en una ecuacin
diferencial ordinaria, la cual es mucho ms sencilla de resolver.

El problema de Cauchy para la ecuacin del calor

Consideremos el problema de valor inicial para la ecuacin del calor

ut (t, x) = a2 uxx (t, x) , t > 0, < x <
u (0, x) = f (x) , < x <

No imponemos condiciones de frontera porque, en realidad, no tenemos frontera. Sin embargo,

para que tenga sentido calcular la tranformada de Fourier, respecto de la variable espacial x,
de la funcin u, suponemos implcitamente que dicha funcin tiende a cero rpidamente cuando
x . Si calculamos formalmente la transformada de Fourier de la EDP anterior y de su
condicin inicial obtenemos el problema
bu 2 2 b (t, ) ,
t (t, ) = a u t>0
b
b (0, ) = f ()
u

Para cada fijo, el problema anterior es un problema sencillo de ecuaciones diferenciales ordi-
narias cuya solucin es
2
ub (t, ) = fb() e(a) t .
Slo nos resta calcular la transformada inversa de Fourier de esta funcin para obtener la solucin
del problema original. Teniendo en cuenta el Ejemplo 9.1.2 y el apartado (b) de la Proposicin
2
9.1.1, no es difcil comprobar que la transformada de Fourier inversa de e(a) t es la funcin
p
/t x22
Kt (x) = e 4a t ,
a
que se denomina ncleo del calor (o tambin ncleo de Dirichlet). Por tanto,
Z
1 1 (xy)2
u (t, x) = (f Kt ) (x) = f (y) e 4a2 t dy. (9.10)
2 4a2 t
9.4. Ejercicios 127

Usando el teorema de derivacin para integrales paramtricas y suponiendo, por ejemplo, que
f L1 (R) , se puede probar que la funcin dada en (9.10) es solucin clsica de la ecuacin del
calor. Esto es debido al rpido decaimiento del ncleo de Dirichlet cuando |x| . De nuevo
aqu nos encontramos con el efecto regularizante de la ecuacin del calor. Para obtener unicidad
y estabilidad de soluciones es preciso suponer, adems, que f est acotada.

El problema de Dirichlet para la ecuacin de Laplace en un semiplano

Consideremos ahora el problema de Dirichlet en un semiplano, es decir, se trata de encontrar
una funcin u = u (x, y) , con < x < e y > 0, de clase C 2 y que satisfaga la EDP y la
condicin de frontera

uxx (x, y) + uyy (x, y) = 0, < x < , y > 0
(9.11)
u (x, 0) = f (x) , < x <

Para obtener unicidad de soluciones es preciso suponer alguna condicin de acotacin sobre u. El
motivo es sencillo: si u (x, y) es solucin del problema anterior, entonces la funcin u (x, y) + y
tambin es solucin de dicho problema. Supondremos, por el momento, que f es acotada e
integrable y buscaremos una solucin acotada del problema anterior. Al igual que en el caso de
la ecuacin del calor, si aplicamos la transformada de Fourier a la ecuacin de Laplace y a la
condicin de contorno obtenemos el problema
(
2 u
b (, y) + (b
u (, y))yy = 0, y>0
b
b (, 0) = f ()
u

La solucin de este problema es

b (, y) = c1 () e||y + c2 () e||y
u

donde adems se satisface que

c1 () + c2 () = fb()
Con el fin de obtener una solucin acotada ponemos c1 = 0. Como la transformada inversa de
e||y es la funcin
2y
Py (x) = 2 ,
x + y2
que se denomina ncleo de Poisson, la solucin de nuestro problema original es
Z
1 y
u (x, y) = (f Py ) (x) = 2 + y2)
f (x t) dt.
2 (t

Se puede demostrar que si f es continua y acotada, entonces esta funcin es la nica solucin
clsica del problema (9.11).

9.4 Ejercicios
1. Demostrar el Corolario 9.2.3.

2. Comprobar
R que la funcin f (x) = x, x R, no est en L1 (R) , y que sin embargo
P.V. x dx = 0.
128 Captulo 9. La Transformada de Fourier

3. Demuestra que para cada n N se tiene que

Z (n+1)
sin x 2

x dx (n + 1) .
n

sin x
Deducir de ello que la funcin f (x) = x no est en L1 (R) .

4. Probar que si f, fb L1 (R) , entonces f L2 (R) .

5. Demostrar que la transformada de Fourier de la funcin f (x) = e|x| es fb() = 1

(1+ 2 )
.

6. Sea f L2 (R) y supongamos que f (x) = 0 para todo |x| > L > 0. Probar que entonces
f L1 (R) . Indicacin: usar la desigualdad de Cauchy-Schwartz para espacios de Hilbert.

7. Consideremos las funciones

2/3
x si 0 < x < 1 x2/3 si x > 1
f (x) = y g (x) =
0 si |x| 1 0 si x 1

Comprueba que f L1 (R) , f

/ L2 (R) y que g
/ L1 (R) , g L2 (R) .

8. Usar la transformada de Fourier para resolver el siguiente problema de EDPs para la

ecuacin del calor

ut (t, x) =
4uxx (t, x) , t > 0, < x <
1 si |x| 2
u (0, x) =
0 si |x| > 2

9. Para cada > 0 consideremos la funcin

si x
f (x) =
0 si |x| >

Demostrar que para cada R, fb () converge a 1 cuando 0. Por ello se suele decir
que la transformada de Fourier de la delta de Dirac es 1. Sin embargo, esto contradice la
conclusin del Lema de Riemann-Lebesgue que afirma que la transformada de Fourier de
cualquier funcin de L1 se anula en infinito. El motivo de sto es que la delta de Dirac no
es una funcin de L1 .

10. Consideremos el siguiente problema de valores iniciales para la ecuacin de ondas

utt (t, x) = c2 uxx (t, x) , t > 0, < x <
u (0, x) = f (x) ; ut (0, x) = g (x) , < x <

Suponiendo que todas las transformadas de Fourier existen, demuestra que

b (t, ) = fb() cos (ct) + gb () (c)1 sin (ct) .

u

Usando las propiedades de la transformada de Fourier, deduce la frmula de dAlembert

para la ecuacin de ondas, esto es,
Z
1 1 x+ct
u (t, x) = f (x + ct) + f (x ct) + g (y) dy
2 c xct
9.4. Ejercicios 129

11. La transformada discreta de Fourier. En este ejercicio estudiaremos el problema de

la aproximacin numrica de la transformada de Fourier. El objetivo es aproximar
Z
eix f (x) dx

por algo que involucre nicamente un nmero finito de operaciones algebraicas efectuadas
sobre un conjunto finito de datos.
En primer lugar, sustituiremos el intervalo infinito ], [ por un intervalo finito [a, a + L] .
Podemos suponer que a = 0. Por qu?
En segundo lugar, intentaremos calcular fb(), no en todo R, sino en una sucesin
de puntos contenida en algn intervalo [C, C] . La eleccin de C puede ser determinada
aproximadamente si conocemos la velocidad a la que fb se anula cuando . Pero, qu
sucesin elegimos? Es suficiente tomar la sucesin m = 2m/L, m N. Por qu? Por
tanto, hemos de calcular
Z L
2m CL
fb = e2imx/L f (x) dx, |m| .
L 0 2

Finalmente, reemplazamos la integral que aparece en la expresin anterior por una su-
ma parcial de Riemann que obtenemos dividiendo el intervalo [0, L] en N subintervalos
obtenidos a partir de los puntos nL/N (n = 0, , N ). De esta forma tenemos:
N1
X
2m nL L
fb 2imn/N
e f .
L n=0
N N

Para que esta aproximacin sea aceptablemente buena es preciso tomar N >> CL/ (2) .

En resumen: si denotamos por an = f nL N , entonces

b 2m L
f b am ,
L N
donde
N1
X
b
am = e2imn/N an .
n=0
Ntese que b am+N = b am . Por qu? Por tanto, toda la informacin est contenida en la
sucesin finita b
a0 , b
a1 , , b
aN1 . De esta forma hemos generado una aplicacin
FN : CN CN
a 7 FN a =b a0 , , b
a = (b am )
donde
N1
X
a = (a0 , , aN1 ) , b
am = e2imn/N an (0 m < N ) .
n=0
Esta aplicacin se denomina transformada discreta de Fourier de N puntos.
Nos ocuparemos a continuacin de la frmula de inversin para la transformada discreta
de Fourier. Para m = 0, , N 1, denotemos por

em = 1, e2im/N , e2i2m/N , , e2i(N1)m/N .
130 Captulo 9. La Transformada de Fourier

Probar que {em }N1 N 2

m=0 es una base ortogonal de C , y que kem k = N para todo m.
Una vez probado este resultado se tiene que para todo a CN ,
N1
1 X
a= < a, em > em .
N m=0

Probar que entonces las componentes del vector a, que denotamos por an , estn dadas por
N1
1 X 2imn/N
an = e b
am ,
N m=0

donde bam =< a, em > . La frmula anterior es la frmula de inversin para la transformada
discreta de Fourier.

9.5 Objetivos
Estudiar las propiedades bsicas de la transformada de Fourier.

Mostrar la aplicacin de la transformada de Fourier en la resolucin de EDPs y en proble-

mas relacionados con la Teora de la Seal.

9.6 Comentarios sobre la Bibliografa

En la exposicin de este tema hemos seguido bsicamente el libro de Folland [8, Ch. 7]. Una
presentacin tambin muy directa y asequible al nivel del alumno medio es la dada en [19, Ch.
3] donde se trabaja en todo momento con funciones continuas a trozos y con la integral de
Riemann. Es, por tanto, una excelente referencia.
Como se ha mencionado a lo largo del captulo, la transformada de Fourier hace un uso
continuo de las propiedades de la integral de Lebesgue. Por ello, en la exposicin del tema no
hemos justificado adecuadamente algunos clculos. El alumno que desee conocer todos estos
matices matemticos ha de acudir necesariamente a libros ms especializados como por ejemplo
[1, 10, 17]. El libro de Gasquet-Witomski est especialmente enfocado a la aplicacin de la
transformada de Fourier a la Teora de la Seal y, aunque el nivel matemtico es bastante
elevado, puede ser interesante para conectar los aspectos tericos de la transformada de Fourier
con algunas de sus aplicaciones.