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

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

Denicin: Denimos el espacio

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

|f (x)|dx <

Denicin: Si f

mediante la frmula

L1 (R) denimos su

transformada de Fourier (para R)

f (x)eix dx

( ) = f

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.

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

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 generalidad 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

L1 . f (x) y

| f ( x) |

son integrables.

LA TRANSFORMADA DE FOURIER

( ) = f
a

eix dx =

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

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

( ) = f

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
2 /b be

2.

La frmula de Inversin

sin:

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 inver1 2

f (x) =

( )eix d f

estn ambas Es posible demostrar que dicha frmula es cierta siempre que f y f 12 en el espacio L . 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) =
nZ

n,L ei L nx

donde los coecientes de Fourier vienen dados por:

n,L = 1 L
L/2 L/2

f (x)ei L xn dx

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)

2En

2 L .

Entonces escribamos la serie de de Fourier

2 L (n )ein x L

fL (x) =

1 2

nZ

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
L/2

L ( ) =
L/2

f (x)eix dx

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

L (n )ein x d
L

que cuando L converge (formalmente) a

1 2

( )ein x f

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

f (x) = 1 2

( )eix d f

Como consecuencia de la frmula de inversin, introducimos la siguiente denicin. Denicin: Si f L1 (R), denimos su anti-transformada de Fourier por
(x) = 1 f 2

f ( )eix d

Las propiedades de la transformada y la antitransformada de Fourier son completamente similares. Notemos que

(x) == f

(x) f ( )eix d = f

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

( )|2 d |f

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

|f (x)|2 dx =
L/2 nZ

|n.L |2

LA TRANSFORMADA DE FOURIER

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

|f (x)|2 dx =
L/2

1 2

y notamos que
nZ

nZ

2 |(n )|2 L

2 |(n )|2 L

es una suma de Riemman para la integral impropia

|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 l m|x|+ f (x) = 0, entonces
1

L1 (R)es tal que f (x)

( ) = (i )f ( ) f

Dem: Integrando por partes, tenemos:

R

f (x)eix dx = f (x)eix
R

R R

f (x)(i )eix dx

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

( ) = f

f (x)eix dx =

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

L1 (R) es tal que xf (x) L (R) entonces, su transformada de Fourier f ( )es derivable y se verica d f ( ) = (ix)f (x) d 1 Dem: Utilizando la hipteisis de que xf (x) L (R) es posible justicar que es
1

Proposition 4.2. [Derivada de una transformada] Si f

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

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

se tiene que la integral impropia

uniformemente convergente
integral.

xf (x) L1 (R)

ix dx es (ix)f (x)e

respecto al parmetro

(por un resultado anlogo al test de

Weierstrass, para integrales impropias).

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 g )(x) =

f (y )g (x y ) dy

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

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

g f g =f
Demostracin:

Por la denicin de la transformada,

f g ( ) =

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

En esta integral cambiamos el orden de integracin4:

f g ( ) =

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

f (y )

g (x y ) eix dx dy

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

f (y )

g (z ) ei(z+y) dx dy

f (y )eiy
iy

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

6.

f (y )e

dy

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 )g (x y )eix dydx es absolutamente convergente: f (h |f (y )g (x i hR i R ix y )e | dydx = |f (y )dy |g (y )|dy = f L1 g L1 .
ble

LA TRANSFORMADA DE FOURIER

u (, t) =

u(x, t)eix dx

Como transformamos en la variable x.

ux (, t) = (i ) u(, t) uxx (, t) = 2 u (, t)

mientras que:
u (, t) = t

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:
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
2

y utilizando la condicin inicial:

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

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

El objetivo es calcular ahora la anti-transformada de u 0 . Para ello notemos que si denimos la funcin

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