LA TRANSFORMADA DE FOURIER

PABLO DE NPOLI

VERSION PREVIA 0.3 - APUNTE en ELABORACIN

Advertencia: El siguiente apunte constituye una introduccin elemental y muchas veces heurstica a la transformada de Fourier. No se intenta dar pruebas rigurosas de los resultados, ya que muchas demostraciones requieren utilizar conocimientos
de la teora de la integracin que estn fuera del nivel del curso de Matemtica 4.
Haremos algunas observaciones al respecto en las notas al pi de pgina.
1.

Definicin de la Transformada de Fourier

Denicin: Denimos el espacio

L1 (R) como el conjunto de las funciones f :

R C tales que f es (absolutamente) integrable1, es decir:

Z

|f (x)|dx <

Denicin: Si f

L1 (R) denimos su

mediante la frmula

f() =

transformada de Fourier (para R)

f (x)eix dx

Obs: Algunos libros utilizan otras deniciones ligeramente diferentes de la transfor-

mada (por ejemplo con eix en lugar de eix u otras constantes de normalizacin).
Como veremos la transformada de Fourier puede considerarse como el concepto
anlogo de la serie de Fourier para funciones no peridicas.

Ejermplos de clculo de la transformada de Fourier.

Example 1.1. : Consideremos la funcin

f (x) =

1
si
x [a, a]
0 si no

(esta funcin se denomina la funcin carcterstica del intervalo [a, a]). Entonces
es muy fcil calcular su transformada de Fourier, aplicando directamente la denicin.
1No

precisaremos en este apunte el signicado de la palabra integrable contentndonos con

decir que la integral de |f(x)| existe en algn sentido. En realidad, para desarollar con toda ge-

L1 .
f (x) y

neralidad y rigor la teora se requiere la integral de Lebesgue. De ah el nombre del espacio

Mencionemos que para la teora de la integral Lebesgue resulta equivalente armar que

|f (x)|

son integrables.

LA TRANSFORMADA DE FOURIER

f() =

eix dx =

1
2sin(a)
[eia eia ] =
(i)

Example 1.2. : En muchos casos, las transformadas de Fourier pueden calcularse

utilizando las tcnicas de variable compleja. Por ejemplo, en el ejercicio 7 de la

prctica 7, hemos calculado la transformada de Fourier de una funcin gaussiana y
2
hemos visto que resulta ser otra funcin gaussiana: si f (x) = ebx (b > 0) entonces

f() =

2 /b
be

2.

La frmula de Inversin

La propiedad ms importante de la transformada de Fourier es que es posible

reconstruir f a partir de su transformada, mediante la llamda frmula de inver-

sin:

1
2

f (x) =

f()eix d

Es posible demostrar que dicha frmula es cierta siempre que f y f estn ambas
en el espacio L1 2. Daremos solamente una justicacin heurstica de esta frmula.
Advertimos sin embargo al lector, que este argumento no constituye una justicacin rigurosa de la frmula de inversin.
Para ello, consideremos para cada L > 0 la funcin Lperidica fL que llamamos
la periodizada de f de perodo L denida especicando que:
fL (x) = f (x) si x [L/2, L/2)
y extendindola en forma L-perodica. Entonces la serie de Fourier de f establece
que (bajo ciertas hiptesis sobre f ) se tiene que :

(1)

fL (x) =

n,L ei L nx

nZ

donde los coecientes de Fourier vienen dados por:

n,L =

1
L

L/2

f (x)ei L xn dx

L/2

Queremos hacer que L tienda a innito en esta expresin. Para ello notamos que
los puntos:
n =

2
n
L

estn equiespaciados a distancia

como:

2
L .

(2)

1 X 2
L (n )ein x
2
L

fL (x) =

Entonces escribamos la serie de de Fourier

nZ

2En

realidad, con dichas hiptesis, la frmula resulta cierta para casi todo x, es decir salvo

quizs para los valores de x en un conjunto de medida nula.

LA TRANSFORMADA DE FOURIER

siendo
Z

L/2

f (x)eix dx

L () =
L/2

Cuando L ,L () converge a la integral impropia

f() =

f (x)eix dx

mientras que (2) puede pensarse como una suma de de Riemman para la integral
impropia:
1
2

L (n )ein x d

que cuando L converge (formalmente) a

1
2

f()ein x

por lo qu cuando L obtenemos formalmente la frmula de inversin.

1
2

f (x) =

f()eix d

Como consecuencia de la frmula de inversin, introducimos la siguiente denicin.

Denicin: Si f L1 (R), denimos su anti-transformada de Fourier por
1
f(x) =
2

f ()eix d

Las propiedades de la transformada y la antitransformada de Fourier son completamente similares. Notemos que
f(x) ==

f ()eix d = f (x)

por lo que el clculo de una anti-transformada siempre puede reducirse al de una

transformada.
3.

La identidad de Plancherel

Otra propiedad importante de la transformada de Fourier es la identidad de

Plancherel:
(3)

|f (x)|2 dx =

1
2

|f()|2 d

Podemos nuevamente, dar una justicacin heurstica de esta frmula mediante el

siguiente argumento: la identidad de Parseval para las series de Fourier aplicada a
(1) establece que
1
L

L/2

L/2

|f (x)|2 dx =

X
nZ

|n.L |2

LA TRANSFORMADA DE FOURIER

De nuevo queremos hacer que L en esta frmula. Para ello la reescribimos

como
Z

L/2

|f (x)|2 dx =

L/2

1 X 2
|(n )|2
2
L
nZ

y notamos que

X 2
|(n )|2
L

nZ

es una suma de Riemman para la integral impropia

Z

|L ()|2 d

por lo que cuando L obtenemos formalmente la identidad de Plancherel (3).

4.

Relacin entre la derivada y la transformada de Fourier

Veremos a continuacin dos importantes propiedades que relacionan la derivada

con la transformada de Fourier.

Proposition 4.1. [Transformada de una derivada] Si f

L (R) y lm|x|+ f (x) = 0, entonces
1

L1 (R)es tal que f 0 (x)

f0 () = (i)f ()

Dem: Integrando por partes, tenemos:

Z

R
0

ix

f (x)e

dx =

R
f (x)eix R

f (x)(i)eix dx

Como suponemos que lim|x|+ f (x) = 0, en el lmite cuando R , obtenemos:

f0 () =

f 0 (x)eix dx =

f (x)(i)eix dx = (i)f()

Proposition 4.2. [Derivada de una transformada] Si f

L1 (R) es tal que xf (x)

L (R) entonces, su transformada de Fourier f ()es derivable y se verica

d
\(x)
f () = (ix)f
d
1
Dem: Utilizando la hipteisis de que xf (x) L (R) es posible justicar que es
1

lcito derivar la integral

f() =

f (x)eix dx

respecto del parmetro bajo el signo de integral3, por lo consiguiente

d
f () =
d
3De

hecho, como

\(x)
(ix)f (x)eix dx = (ix)f

xf (x) L1 (R)

uniformemente convergente

se tiene que la integral impropia

respecto al parmetro

Weierstrass, para integrales impropias).

integral.

ix dx es
(ix)f (x)e

(por un resultado anlogo al test de

Esto permite justicar la derivacin bajo el signo de

LA TRANSFORMADA DE FOURIER
5.

Convolucin. Otras propiedades de la Transformada

Denition 5.1. Si

f, g L1 (R) son dos funciones integrables, denimos su convolucin (notada f g ) mediante la frmula:

f (y)g(x y) dy

(f g)(x) =

Veremos a continuacin una propiedad que relaciona la convolucin con la transformada de Fourier:

Proposition 5.2. Si f, g L1 (R) entonces:

f[
g = fg
Demostracin:

Por la denicin de la transformada,

Z

Z

f (y)g(x y) dy eix dx

f[
g() =

En esta integral cambiamos el orden de integracin4:

Z

Z

ix

f (y)g(x y) e

f[
g() =

Z


dx dy =

ix

g(x y) e

f (y)


dx dy

En la integral interior hacemos el cambio de variable z = x y , obtenemos:

Z

Z

i(z+y)

f (y)

g(z) e

f (y)eiy

Z

Z

f (y)e

6.

iy


dx dy

 Z


g(z) eiz d dy

dy


g(z) eiz dx = f()
g ()

Aplicacin a la resolucin de la Ecuacin del Calor

La transformada de Fourier es una herramienta muy til para la resolucin de

ecuacions diferenciales parciales. Consideramos como ejemplo la ecuacin
ut = uxx
conocida como la ecuacin del calor. Aqu u = u(x, t) es una funcin de las variables
x e y . Buscaremos una solucin que satisfaga la condicin inicial
u(x, 0) = u0 (x)

Para determinar la solucin utilizando la transformada de Fourier, transformamos

u en la variable x (pero no en la variable t):
4Esto puede justicarse utilizando el teorema de Fubini, porque la integral doR R
R R
y)eix dydx es absolutamente convergente:
f (y)g(x
|f (y)g(x
hR
i hR
i

ix
y)e
| dydx = |f (y)dy
|g(y)|dy = kf kL1 kgkL1 .
ble

LA TRANSFORMADA DE FOURIER

u(x, t)eix dx

u
(, t) =

Como transformamos en la variable x.

u
cx (, t) = (i)
u(, t)

mientras que:

2
u
d
(, t)
xx (, t) = u

(, t) =
t

c
u
u
(x, t)eix dx =
(, t)
t
t

por lo que aplicando la transformada de Fourier a ambos miembros de la ecuacin,

deducimos que:
c
u
(, t) = 2 u
(, t)
t

Esta es una ecuacin ordinaria (porque slo aparece la derivada respecto a la variable t). La solucin viene dada por:
u
(, t) = u
(0, t)e

y utilizando la condicin inicial:

u
(, t) = u
0 (0)e

El objetivo es calcular ahora la anti-transformada de u0 . Para ello notemos que si

denimos la funcin

2
1
Kt (x) = ex /4t
2 t
1
ct () = et2 . Utilizando la
entonces (por el ejemplo 1.2 con b = 4t ) tenemos que K

propiedad que relaciona la transformada de Fourier con la convolucin, vemos que

podemos escribir a la solucin u0 en la forma:
u(x, t) = (u0 Kt )(x)

La funcin Kt se conoce como el ncleo del calor. Utilizando la denicin de la

convolucin, podemos escribir u explcitamente en la siguiente forma:
1
u(x, t) =
2 t

uo (y)e(xy)

/4t

dy