Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Tema 9
Tema 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
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 podemos 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
+
1 X
cnl einx/l ,
f (x) =
2l n=
Con el cambio n =
n
l
con cnl =
f (x) =
1 X
cnl ein x ,
2 n=
l
cnl =
f (y) ei n y dy.
(9.1)
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
ix
b
b
f (x) =
f (y) eiy dy.
f () e dx, con f () =
2
115
116
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
1
fb() =
2
R.
(9.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
kf k1 =
|f (x)| dx
a a
|f (x)| dx y
lim
b+ 0
|f (x)| dx,
1
si a x b
X[a,b] (x) =
0
en caso contrario
117
1
X[a,b] () =
2
eix dx
b
1 eix
=
2 i a
eia eib
2i
ba
2 .
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
10
15
f (x) = ex
< x < .
20
118
i 2
e(x+ 2 ) dx =
ex dx =
Esta ltima identidad se demuestra fcilmente haciendo un cambio a coordenadas polares. VolR +
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
/2
R
-R
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
R 2
R
z 2
dz = lim
4R
0 y /2,
Z
R 4
R
ez dz = 0.
R 1
R
y
lim
R 3
R
z 2
119
z 2
dz = lim
Z
R R
R R
dz = lim
ex dx =
(x+ i
2)
dx =
i 2
e(x+ 2 ) dx.
i 2
e(x+ 2 ) dx =
y por tanto,
h 2 i
2
1
() = e /4 .
ex
2
1 ib b
e a f (/a) .
|a|
9.1.1
fb( a) + fb( + a)
2
fb( a) fb( + a)
2i
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
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,
i
h
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 () .
[xn f (x)] () = in
9.1.2
dn b
f () .
d n
siempre que la integral anterior exista. Una condicin suficiente para la existencia de la convolucin 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
eix (f g) (x) dx
(f g) () =
2
Z
Z
1
ix
=
e
f (x y) g (y) dy dx
2
121
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 () .
Z
(f g) () = 2 fb() gb () .
En la prctica usaremos este resultado en sentido inverso, es decir, habitualmente nos encontraremos 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
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
f (x) =
eix f () d
Un primer resultado de inversin es el siguiente Teorema de Inversin de Fourier. Una demostracin 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,
f (x) =
eix fb() d
para todo x R.
(9.3)
122
La frmula (9.3) expresa una funcin f como una superposicin continua de funciones exponenciales. 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 ejemplo, si f C 2 (R) y si f, f 0 , f 00 L1 (R) , entonces (f 00 ) () = 2 fb() es acotada. De esta
C
1
b
forma, fb() ||
2 , lo que garantiza que f L (R) . Sin embargo, es importante sealar tambin 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
lim
M M
f (x) dx
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) , entonR
ces existe P.V. f (x) dx y adems
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)
,
eix fb() d =
P.V.
2
donde
f (x+) = lim f (x + h)
h0
h>0
f (x) = lim f (x h) .
h0
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
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
fb() gb () d
< f , gb >L2 =
!
Z
Z
1
=
eix g (x) dx d
fb()
2
Z
1
fb() eix d dx
=
g (x)
2
Z
1
=
f (x) g (x) dx
2
1
< f, g >L2 .
=
2
En particular, si tomamos f = g, entonces
2
1
b
kf k22 .
f =
2
2
(9.4)
m dn f
y posteriormente se extiende por densidad a L2 . Por supuesto, S (R) es denso en L2 . Es importante 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
En esta seccin estudiaremos algunas aplicaciones de la transformada de Fourier. En concreto, usaremos dicha transformada para resolver ciertos problemas de ecuaciones en derivadas
parciales y tambin veremos alguna aplicacin en Teora de la Seal.
124
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
1
it
b
b
f (t) eit dt
f (t) = f () e dt , f () =
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)
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
nx
nx
ei L + ei L
cos
=
L
2
la expresin (9.6) se transforma en
nx
ei
sin
=
L
nx
L
ei
2i
nx
L
cn einx/L ,
(9.7)
n=
donde
A0
An iBn
An + iBn
, 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.
c0 =
n sin (Lt n)
X
,
f (t) =
f
L
Lt n
n=
n
L .
La demostracin es muy formativa pues hace intervenir algunos de los resultados ms importantes 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
cn ein/L (|| L)
(9.8)
f () =
n=
(9.9)
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
=
=
1
2L
L n=
n
L
ein/L eit d
1 X n ei(Ltn)/L
f
2L n=
L i (Lt n) /L
n=
n sin (Lt n)
L
Lt n
126
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
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
Para cada fijo, el problema anterior es un problema sencillo de ecuaciones diferenciales ordinarias cuya solucin es
2
u
b (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
e 4a t ,
Kt (x) =
a
que se denomina ncleo del calor (o tambin ncleo de Dirichlet). Por tanto,
Z
(xy)2
1
1
(f Kt ) (x) =
f (y) e 4a2 t dy.
u (t, x) =
2
4a2 t
(9.10)
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
u
b (, y) = c1 () e||y + c2 () e||y
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
y
1
(f Py ) (x) =
f (x t) dt.
u (x, y) =
2 + y2)
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
128
Z (n+1)
sin x
2
x dx (n + 1) .
n
Deducir de ello que la funcin f (x) =
sin x
x
no est en L1 (R) .
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.
y g (x) =
x2/3 si x > 1
0
si x 1
4uxx (t, x) ,
t > 0, < x <
ut (t, x) =
1 si |x| 2
u (0, x) =
0 si |x| > 2
9. Para cada > 0 consideremos la funcin
f (x) =
0
si x
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
Z
1 x+ct
1
f (x + ct) + f (x ct) +
g (y) dy
u (t, x) =
2
c xct
9.4. Ejercicios
129
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
=
.
e2imx/L f (x) dx, |m|
fb
L
2
0
Finalmente, reemplazamos la integral que aparece en la expresin anterior por una suma 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:
2m
fb
L
N1
X
2imn/N
n=0
nL
N
L
.
N
Para que esta aproximacin sea aceptablemente buena es preciso tomar N >> CL/ (2) .
En resumen: si denotamos por an = f nL
N , entonces
L
2m
b
b
am ,
f
L
N
donde
b
am =
N1
X
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
a
donde
a = (a0 , , aN1 )
CN
7 FN a =b
a = (b
a0 , , b
am )
b
am =
N1
X
n=0
e2imn/N an
(0 m < N ) .
130
Probar que entonces las componentes del vector a, que denotamos por an , estn dadas por
N1
1 X 2imn/N
e
b
am ,
an =
N m=0
donde b
am =< a, em > . La frmula anterior es la frmula de inversin para la transformada
discreta de Fourier.
9.5
Objetivos
9.6
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.