Captulo 4.

Transformada de Fourier
1

Funciones peridicas

Una funcin peridica f (x) es una funcin que puede tener valores reales o complejos para cada nmero
real x, que satisface
f (x + T ) = f (x)
para cada x R
(1.1)
con algun nmero real positivo T . El valor mnimo de T se llama periodo de la funcin f (x). Las funciones
peridicas ms sencillas son cos (!x) y sin (!x), cuyo periodo est dado por
T =

2
,
!

por ejemplo tenemos

cos [! (x + T )] = cos (!x + 2 ) = cos (!x) ;
donde usamos
cos (!x + 2 ) = cos (x) .
Otro ejemplo es
f (x) = cos (2!x) + sin (5!x) :
2
2
= ! y T5 = 5!
, respectivamente, por lo que el
Las funciones cos 2!x y sin 5!x tienen periodos T2 = 2!
mnimo comn mltiplo de T2 y T5 es el periodo de f (x). En efecto si T es mnimo comun mltiplo, existen
nmeros naturales m y n tales que
T = mT2 = nT5
(1.2)

y por consiguiente
f (x + T ) = cos 2! (x + mT2 ) + sin 5! (x + nT5 )
= cos (2!x + 2m ) + sin (5!x + 2n )

(usando 2!T2 = 2 , 5!Ts = 2 )

= cos 2!x + sin 5!x

= f (x) :
La ecuacin (1.2) establece una condicin necesaria y suciente para que la suma de cos ! 1 x y sin ! 2 x sea
una funcin peridica. Para probar que (1.2) es una condicin necesaria supongamos que existe T tal que
cos ! 1 (x + T ) + sin ! 1 (x + T ) = cos ! 1 x + sin ! 2 x
entonces ! 1 T y ! 2 T deben ser mltiplos de 2 , es decir, existen nmeros naturales m y n tales que

Dividiendo miembro a miembro

se concluye que slo si el cociente

!1
!2

!1T

= 2m

!2T

= 2n .

!1
m
=
!2
n
debe ser un nmero racional paea que exista T con la cual se satisfaga
cos ! 1 (x + T ) = cos ! 1 x
sin ! 2 (x + T ) = sin ! 2 x .
1

Se deja como ejercicio demostrar que una condicin suciente para que cos ! 1 x + sin ! 2 x sea peridica es
que el cociente !!21 sea un nmero racional.
La denicin f (x + T ) = f (x) de una funcin periodica implica que basta conocer a f (x) sobre un
T T
intervalo [a; b] con longitud b a = T , como
2 ; 2 [0; T ], para conocer el valor de f (x) en cualquier
otro punto x, como se aprecia en la gura siguiente.

Esta gura da un mtodo para construir funciones periodicas. Si tenemos una funcin f0 (x) denida sobre
T T
el intervalo
2 ; 2 y se traslada hacia ambos lados del eje real, la funcin resultante [que denotamos por
f (x)], es peridica con periodo T . La gura siguiente muestra el procedimiento

Ahora supongamos que la funcin orginal f0 (x) es cuadrado sobre

Z

T
2
T
2

T T
2; 2

jf (x)j2 dx < 1 .

T T
En la seccin 1.10 vimos que el conjunto de las funciones f0 (x), conjunto que denotamos con L2
2; 2 ,
1
es un espacio vectorial completo y el conjunto f1; cos n! 0 x; sin n! 0 xgn=1 es base ortogonal con respecto al
producto interior
Z T
2
< f p g >=
f (x) g (x) dx .
T
2

T T
2; 2

Esto signica que cada f0 (x) en L2

f0 (x) = a0 +

1
X

n=1

tiene el desarrollo

(an cos n! 0 x + bn sin n! 0 x) para x 2

T T
;
2 2

(1.3)

el cual converge en la norma k k asiciada al producto interior < p >. Usando la ortogonalidad del conjunto
base se obtiene los coecientes
an =
bn =

< cos n! 0 x p f0 (x) >

para n = 0; 1; 2; : : :
kcos n! 0 xk2
< sin n! 0 x p f0 (x) >
para n = 1; 2; 3; : : : .
ksin n! 0 xk2

El resultado interesante que debemos notar sobre la serie (1.3) es que da el valor de la funcin peridica f (x),
T T
aun cuando dicha serie slo se calcula con una funcin f0 (x) denida en
2 ; 2 . En efecto, la extensin
peridica f (x) de f0 (x) es la funcin que satisface
f (x + T ) = f (x)

para cada x 2 R.
2

(1.4)

Demostraremos que la serie

f (x) = a0 +

1
X

(an cos n! 0 x + bn sin n! 0 x)

para x 2 R

n=1

satisface (1.4) con T =

2
!0 .

(1.5)

Tenemos

f (x + T ) = a0 +
= a0 +
= a0 +
= a0 +

1
X

n=1
1
X
n=1
1
X

n=1
1
X

[an cos n! 0 (x + T ) + bn sin n! 0 (x + T )]

[an cos (n! 0 x + n! 0 T ) + bn sin (n! 0 x + n! 0 T )]
[an cos (n! 0 x + 2 n) + bn sin (n! 0 x + 2 n)]
(an cos n! 0 x + bn sin n! 0 x)

n=1

= f (x) :

Por tanto la serie (1.5) dene una funcin peridica con periodo T = !2 0 y es precisamente la extensin
T T
T T
peridica de f0 (x) sobre
2 ; 2 . Resumiendo. La serie de Fourier (1.3) de una funcion f0 (x) en L2
2; 2 ,
es exactamente la serie de Fourier (1.5) de la extensin peridica f (x) de f0 (x) a todo el eje real, con periodo
T.
Para obtener la forma compleja de la serie de Fourier de una funcin peridica con periodo T sustituimos
cos n! 0 x =

ein!0 x + e
2

in! 0 x

sin n! 0 x =

ein!0 x

e
2i

in! 0 x

en (1.5) para obtener

f (x) =
1
ein!0 x n= 1

Es fcil ver que el conjunto

el producto interior hermitiano

1
X

cn ein!0 x .

n= 1

constituye una base ortogonal del espacio L2

< f p g >=

T
2

cn =

kein!0 x k2

dotado con

f (x) g (x) dx

T
2

y con lo cual se obtiene

< ein!0 x p f (x) >

T T
2; 2

1
=
T

T
2

in! 0 x

f (x) dx.

T
2

Ejercicios.
1.- Demostrar que una funcin peridica con periodo T y simetra par en
X
f (x) = a0 +
an cos n! 0 x.
n=1

2.- Demostrar que si f (x) es peridica y tiene simtria impar, entonces

f (x) =

1
X

bn sin n! 0 x.

n=1

T T
2; 2

tiene el desarrollo

3.- Hallar la serie de Fourier de la extensin peridica de f (x) = x sobre [

Respuesta
1
X
( 1)n 1
2
sin nx.
n

; ] y con periodo T = 2 .

n=1

4.- Encontrar el periodo de

f (x) = sin (t) + sin

5.- Desarrollar f (x) = sin2 x

t
3

+ sin

t
5

cos3 x en serie de Fourier. Respuesta

1
(2 cos x
16

cos 3x

cos 5x) :
T T
2; 2

6.- Demostrar que si f (x) y g (x) son continuas por tramos en el intervalo
T , entonces la funcin h (x) dada por
Z T
2
1
h (x) =
f (x s) g (s) ds
T
T

y peridicas con periodo

es continua y peridica con periodo T .

Transformada de Fourier

Las funciones peridicas son importantes en muchos campos, para describir fenmenos peridicos espacial o
temporalmente. Por ejemplo, la periodicidad de movimiento de traslacin terrestre alrededor del sol tiene
una descripcin natural en trminos de series trigonometricas de Fourier donde el tiempo t juega el papel
de variable independiente. La estructura de un slido cristalino puro se repite en forma peridica en ciertas
direcciones, por lo que sus propiedades pueden cuanticarse en trminos de series mltiples de Fourier
donde las variables especiales (x; y; z) juegan el papel de variables independientes. En esta seccin usaremos
las funciones peridicas para aproximar funciones no peridicas. El resultado de esta aproximacin es la
transformada de Fourier.
Consideremos una funcin no peridica F (x) denida en todo el eje real,

Supongamos que la restriccin Fl (x) de F (x) al intervalo [ l; l] es cuadrado integrable en dicho intervalo.
Entonces Fl (x) tiene un desarrollo de Fourier
Fl (x) = a0 +

1
X

n=1

(an cos n! 0 x + bn sin n! 0 x) para x 2 [ l; l]

con ! 0 =

2
=
.
2l
l

Como mostraremos arriba, el desarrallo anterior permite identicar a Fl (x) como la restriccin al intervalo
[ l; l] de una funcin peridica F~l (x) con periodo T = 2l. Por otro lado es intituivamente claro que
Fl (x) converge a la funcion original F (x) en algn sentido cuando el periodo T = 2l tiende a innito,
T = 2l ! 1. Formalicemos este resultado. Sustituyendo las expresiones de a0 , an y bn ,
Z
Z
Z l
1 l
1 l
F (s) ds; an =
F (s) cos (n! 0 s) ds
bn =
F (s) sin (n! 0 s) ds
a0 =
2l l
l
l
l
4

en la serie Fl (x) obtenemos

Z
1 Z
1 l
1X
Fl (x) =
F (s) ds +
2l l
l

F (s) [cos (n! 0 x) cos (n! 0 s) + sin (n! 0 s) sin (n! 0 x)] ds
l

n=1

1
=
2l
|

F (s) ds +
l
{z
}
(I)

1X

n=1

F (s) cos n! 0 (s
l

x) ds

{z

(II)

l
}

(1.6)

En este punto supondremos que F (x) tiende a cero en innito de manera que la integral de jF (x)j sobre
( 1; 1), es nita,
Z 1
jF (x)j dx = c0 < 1 .
1

Entonces el trmino (I) en (1.6) se hace cero cuando l ! 1,

Z
Z
1 l
1
1 1
lim
F (s) ds
lim
jF (s)j ds = lim c0 = 0:
l!1 2l
l!1
l!1
2l
2l
l
1

(1.7)

La suma innita (II) en (1.6) es la suma de Riemann correspondiente a la integral

Z 1
gl ( ) d

(1.8)

de la funcin

gl ( ) =
Recordemos que la integral

F (s) cos (s

x) ds .

(1.9)

f ( )d

puede estimarse aproximando a f ( ) por medio de una funcin constante a trozos. Si dividimos el intervalo
[a; b] en N subintervalos [ n 1 ; n ] con longitud
n

n 1

a
N

de manera que
n

=a+n

para

n = 0; 1; :::; N .

La funcin f ( ) se aproxima por medio de una funcin constante con altura f (

manera que
Z b
N
X
f ( ) d = lim
f ( n)
n .
n !0

n)

sobre [

n=1

En el caso de la integral (1.8) tenemos a = 0, b = 1 y, por tanto, N = 1. Esto nos da

Z 1
1
X
n
y n=n
=
= n! 0
gl ( ) d =
gl ( n )
con
n
n =
l
l
0
=

n=1
1
X

n=1

gl (n! 0 )

n 1;

n]

de

El lmite

! 0 equivale a l ! 1
Z

1
X

gl ( ) d = lim

l!1

gl (

n=1

n)

n
l

(1.10)

Si suponemos que gl ( ) tiende a la funcin

gc ( ) =

F (s) cos (s

x) ds

(1.11)

en el lmite l ! 1, la combinacin de (1.6) y (1.7) con (1.10) y (1.11) nos lleva a

lim Fl (x) =

l!1

lim

l!1

1 Z
1X

F (s) cos n! 0 (s

n=1

x) ds

F (s) cos (s

x) ds d

pero F (x) = liml!1 Fl (x) por tanto

F (x) =

1Z 1

F (s) cos (s

x) ds .

(1.12)

, en trminos de gc ( ),
F( )=

gc ( ) d :

La expresin (1.12) es llamada frmula de Fourier. Consideremos la forma compleja de dicha frmula.
Dado que g ( ) es una funcin par de ,
gc ( ) = gc ( ) ,
podemos escribir
F( )=
Adems, dado que la funcin
gs ( ) =
es impar en

[gs (

)=

1
2

gc ( ) d .

(1.13)

F (s) sin (s

x) ds

gs ( )], tenemos
0=

1
2

gs ( ) d

(1.14)

Multiplicando esta ecuacin por i y sumando miembro a miembro con (1.13) se obtiene la frmula compleja
de Fourier
Z 1 Z 1
1
F (x) =
F (s) e i (s x) ds d .
2
1
1
Si factorizamos ei

se obtiene
1
F (x) =
2

i x

F (s) e

i s

ds d :

La integral entre parntesis es la llamada transformada de Fourier de F (x),

Z 1
g( )
F (s) e i s ds
1

(1.15)

(1.16)

en trminos de la cual podemos escribir

1
F (x) =
2

g ( ) ei x d .

(1.17)

Nota. Se obtiene una mayor similitud entre F (x) y g ( ) si sustituimos la factorizacion 2 =

(1.15),
Z 1
Z 1
1
1
i x
p
F (x) = p
e
F (s) e i s ds d ,
2
2
1
1

2 en

y denimos a la transformada g ( ) como

Z

1
g( ) = p
2

F (s) e

i s

ds ,

entonces la ecuacin (1.15) toma forma

Z

1
F (x) = p
2

g (x) ei x d .

Esta es la denicin que reportan otros autores, pero en estas notas usaremos la denicin original (1.16),
en trminos de la cual las ecuaciones (1.15) y (1.17) tienen lugar.
La frmula compleja de Fourier y la transformada de Fourier pueden obtenerse partiendo directamente
de la forma compleja de la serie de Fourier de la restriccin Fl (x) al intervalo [ l; l] de la funcin F (x). En
este caso tenemos
1
X
cn ein!0 x con ! 0 = ,
Fl (x) =
l
n=1

sustituyendo

1
cn =
2l

in! 0 s

F (s) e

ds

se obtiene
1
X

Fl (x) =

1
2
1
2

gl (

n)

cn e

n= 1
1
X

donde

in! 0 x

n= 1
1
X

1
2l

ein!0 x
ei

nx

g(

F (s) e

in! 0 s

ds

F (s) e

in! 0 s

ds

l
l

n)

n= 1

F (s) ei

ns

ds ;

;
l

La ltima suma es la aproximacin de la integral

Z 1

ei x gl (

n) d

por sumas de Riemann, de manera que en el lmite l ! 1 obtenemos

Z 1
1
F (x) =
ei x g ( ) d
2
1
7

=n

donde g ( ) [= liml!1 gl ( )] est dada por

Z

g( ) =

i s

F (s) ds .

La transformada de Fourier dene un operador integral lineal que asigna a una funcin f (x) otra funcin
g ( ). Como ejemplos sencillos de operadores integrales lineales tenemos
Z

h( ) =

f (s) ds

A1 f (x)

h( ) =

f (s

) ds

A2f (x)

donde leemos h ( ) = Aj f (x) como sigue: h ( ) es la imagen de f (x) bajo la accin del operador Aj .
Un operador lineal A: S1 ! S2 entre dos espacios vectoriales S1 y S2 , es una funcin que asigna a cada
elemento a en S1 un elemento u =Aa en S2 y satisface la relacin
A ( a + b) = Aa + Ab .
Es fcil mostrar que los operadores integrales Aj de arriba son lineales. Denotamos con F al operador que
asigna a f (x) su transformada de Fourier,
Z 1
g ( ) = Ff (x)
f (s) e i s ds:
1

Para que la funcin g ( ) exista basta con pedir que f (x) decaiga rpidamente a cero cuando x !
ejemplo, si jf (x)j es integrable en la recta,
Z 1
jf (x)j dx < 1 ,

1. Por

(1.18)

entonces g ( ) existe,
jg ( )j =

i s

f (s) ds

1
1

jf (s)j ds < 1.

Pero el conjunto de funciones f (x) que satisface (1.18) es precisamente el espacio L1 ( 1; 1) de funciones
cuya norma
Z 1
kf k1 =
jf j dx
1

es nita, por lo que podemos decir que F es un operador lineal integral que asocia a cada f (x) en L1 ( 1; 1),
una funcin g ( ) en algn espacio vectorial S2
F : L1 ( 1; 1) ! S2 .
Si la funcin g ( ) tambin pertenece al espacio L1 ( 1; 1), es decir, si satisface
Z 1
jg ( )j d < 1 ,
1

la funcin f (x) dada por

f (x) =

1
2

ei x g ( ) d

[ver ec. (1.17)]

est bien denida. La funcin f (x) podemos identicarla como el resultado de la transformada inversa
de Fourier F 1 sobre g ( ),
Z 1
1
f (x) = F 1 g ( )
ei x g ( ) d .
2
1
Veamos algunos ejemplos.
Ejemplo 1. Para la funcin
f (x) =
se tiene
g( ) =
Por construccin, tenemos
F

f (x) e

i x

dx =

1 2 sin

1
=
2

ei

1 si jxj
a
0 si jxj > a

i a

dx =

x 2 sin

ei

=2

dx = f (x) =

i a

sin a

1 si jxj
a
0 si jxj > a

La gura siguiente da las grcas de f (x) y g ( ).

Ejemplo 2. Para
f (x) =
con a > 0 tenemos
g ( ) = F f (x)
Z 1
Z
i x
=
e
f (x) dx =
1

e ax x 0
0 si x<0

(a+i )x

dx =

1
e
a+i

(a+i )x 1
j0

1
.
a+i

En este caso g ( ) es una funcin compleja para cada valor real de y por construccin tenemos
Z 1 i x
n ax
1
e
1
si x 0
1
F
=
d = f (x) = e0
si x<0 :
a+i
2
a
+
i
1
En este caso slo podemos gracar a f (x) ya que su transformada g ( ) toma valores en el plano complejo.

NOTA. Las funciones de los ejemplos 1 y 2 pueden representarse en una forma ms compacta si usamos la
funcin de Heavisade funcin de escalon unitario la cual est denida por
n
si x 0
u (x) = 10 si
x<0 .

En trminos de u (x) la funcin del ejemplo 1 tiene la forma

f (x) = u (x + a) u (a

x)

y la relacin entre f (x) y su transformada es

F u (x + a) u (a

x) = 2

sin a

sin a

u (x + a) u (a

x) :

Para el ejemplo 2 tenemos

f (x) = u (x) e

ax

y
1
1
,
F 1
= u (x) e ax .
a+i
a+i
Ejemplo 3. Si f (x) y su derivada f 0 (x) son continuas en el eje real ( 1; 1) y pertenecen L1 ( 1; 1)
entonces
Z 1
df
d
e i x dx
F
f (x) =
dx
dx
1
Z 1
1
= e i x f (x)
( i )
e i x f (x)
F u (x) e

ax

= i Ff .

De acuerdo con esta relacin si f (x) y su k sima derivada f (k) (x) son continuas y pertenecen a L1 ( 1; 1)
podemos aplicar la frmula
F [Df (x)] = i Ff
para obtener
h
i
h
F Dk f (x) = i F Dk

f
h

= (i ) (i ) F Dk

= (i )k F [f ] .

En el captulo siguiente usaremos este resultado para transformar una ecuacin diferencial ordinaria y lineal
en una ecuacin algebraica.
Ejemplo 4. Consideremos el clculo de
F

1
1
a+i b+i

por fracciones parciales. Tenemos

1
1
A
B
=
+
a+i b+i
a+i
b+i
y usando la linealidad de F
F

con A =

y B=

1
1
a+i b+i

1
= AF 1
a+i
h
= A u (x) e ax
= u (x)

10

ax

e
a

AF
u (x) e
bx

1
bx

1
b+i

Ejemplo 5. Consideremos
ax2

f (x) = e

entonces
g ( ) = F f (x)
Z 1
e i
=

ax2

dx =

i x ax2

dx .

El clculo de la ltima integral se hace completando un binomio al cuadrado,

2

i
p
2 a

i x + ax2 =

p
i
p + ax
2 a

i
p
2 a

+2

ax + ax2

i
p
2 a

4a

esto da
g( ) =
=

1
1

e 4a
p
a

= e

2
4a

e
Z

p
ip
+ ax
2 a

u2

du

2
4a

dx
p
i
u = p + ax
2 a

Por tanto, la transformada de Fourier de una funcin gaussiana es otra funcin gaussiana y por construccin
tenemos
r
Z 1r
2
2
1
2
1
e 4a =
e 4a ei x d = e ax :
F
a
2
a
1
Hablar de la propiedad de escalamiento e implicaciones en mecnica cuntica como el
principio de incertidumbre. Ilustrar con los ejemplos anteriores
Ejercicios
1.- Demostrar que F y F 1 son operadores lineales.
2.- Usar la frmula comleja de Fourier para demostrar que si f (x) es real valuada entonces
Z Z
1 1 1
f (s) cos (x s) dsd .
f (x) =
0

2.- Demostrar que si f (x) es real, la magnitud jg ( )j de g = Ff es una funcin par de .

3.- Demostrar F f (x) eiax = g (
a).
4.- Demostrar F [g (x)] = 2 F ( ) si g ( ) = F [f (x)]
5.- Calcular Fe ajxj =2a= a2 + 2 .
6.- Calcular
2
a) F f (2) + 2f (1) + 3f con f (x) = e ax +bx .
2
b) Repetir con F f (3) + if y f (x) = e ax .
c) Calcular F f (4) + f (2) + f .

11

Convolucin y transformada de Fourier

Si f1 (x) y f2 (x) son funciones integrables en toda la recta real ( 1; 1) la convolucin de f1 (x) y f2 (x)
es una nueva funcin f (x) dada por
Z 1
f1 (s) f2 (x s) ds
f (x) =
1

la cual se expresa simblicamente por

f (x) = f1 (x) f2 (x) .
Usando cambios de variable y el teorema de Fubini es fcil demostrar las propiedades siguientes
f1 (x) f2 (x) = f2 (x) f1 (x)

(conmutatividad)

[f1 (x) f2 (x)] f3 (x) = f1 (x) [f2 (x) f3 (x)] (asociatividad) .

El resultado principal de esta seccin es el teorema de convolucin el cual establece que la trasformada
de la convolucin es igual al producto de las tranformadas; es decir, si g1 ( ) = Ff1 (x) y g2 ( ) = Ff2 (x),
entonces
F [f1 (x) f2 (x)] = g1 ( ) g2 ( ) .
(2.1)
Para probar este resultado usamos el teorema de Fubini y un cambio de variable x s = y,
Z 1
Z 1
i x
F [f1 (x) f2 (x)] =
e
f1 (s) f2 (x s) ds dx
1
1
Z 1
Z 1
=
f1 (s)
e i x f2 (x s) dx ds (usando Fubini)
1
1
Z 1
Z 1
=
f1 (s)
e i (y+s) f2 (y) dy ds
(usando y = x s)
1
1
Z 1
Z 1
i s
=
f1 (s) e
e i y f2 (y) dy ds
1
1
Z 1
Z 1
i s
=
f1 (s) e
ds
e i y f2 (y) dy
1

= (Ff1 ) (Ff2 )

= g1 ( ) g2 ( ) :
De acuerdo con (2.1) tiene lugar la igualdad
F

[g1 ( ) g2 ( )] = f1 (x) f2 (x)

que podemos usar en el clculo de algunas transformadas inversas de Fourier.

Ejemplo 6. Tenemos
g1 ( ) = F u (x) e

ax

g2 ( ) = F u (x) e

bx

12

1
a+i
1
=
b+i
=

con a > 0
con b > 0:

Entonces
F

h
i
u (x) e ax
u (x) e bx
Z 1
h
i
=
u (s) e as u (x s) e b(x s) ds
1
Z 1
u (s) u (x s) e bx+(b a)s ds ,
=

1
1
a+i b+i

donde

u (s) =
y
u (x
Tenemos dos posibilidades para u (x

s) =

0 para s<0
1 para s 0

0 para x s<0
1 para x s 0

s): (i) si x > 0 entonces u (x

lo que nos da
u (s) u (x
(ii) Si x < 0, entonces u (x

s) =

s) tiene la grca

0 para s2[0;x]
=
1 para s2[0;x]

s) tiene la grca

y por tanto
u (s) u (x

s) = 0

As, llegamos a
Z

u (s) u (x

s) e

bx+(b a)s

ds =

Calculando la integral para x > 0 se obtiene

F

1
1
a+i b+i

para toda x .

Rx
0

0
e

0
ax

e
b a

para x < 0
.
para x > 0

bx+(b a)s ds

para x < 0
:
para x > 0

bx

En trminos de u (x) podemos escribir

F

1
1
a+i b+i

= u (x)

ax

e
a

bx

que es precisamente el resultado obtenido en la seccin (ejemplo 5) anterior usando fracciones parciales.
Tomando el lmite b ! a y usando la regla de L Hopital
lim

b!a

ax

e
a

bx

= lim

ax

e
s

s!0

= e

ax

= e

ax

= xe

lim

s!0

lim xe

s!0
ax

13

(a+s)x

(s = b
e
s
sx

sx

a)

se obtiene
F

1
= u (x) xe
(a + i )2

ax

La simetra que hay en las expresiones de g ( ) = Ff (x) y f (x) = 21 F 1 g (x) implica que para cada
relacin entre g ( ) y f (x), hay una relacin anloga con g ( ) en lugar de f (x). Por ejemplo, si tenemos
g ( ) = F f (x)
entonces
f (x) = F

y por tanto
1
f ( x) =
2
Intercambiando x por

1
g( ) =
2
Z

y viceversa, se obtiene
Z 1
1
f( )=
e
2
1

(2.2)

ei x g ( ) d

ix

g( )d .

i x

g (x) dx = F [g (x)] ;

relacin similar a (2.2). En forma anloga obtenemos el teorema de convolucin en la variable

cual establece que si
f1 (x) = F 1 g1 ( ) y f2 (x) = F 1 g2 ( ) ,

(2.3)
el

entonces
F

[g1 ( ) g2 ( )] = 2 f1 (x) f2 (x)

(2.4)

, equivalentemente,
1
g1 ( ) g2 ( ) .
(2.5)
2
La simetra entre f (x) y su transformada g ( ) = Ff (x) se reeja en la relacin entre el producto interior
hermitiano
Z 1
< f1 (x) p f2 (x) >x
f1 (x) f2 (x) dx
F [f1 (x) f2 (x)] =

y el producto interior

< g1 p g2 >

1
1

g1 ( ) g2 ( ) d .

de las transformadas g1 = Ff1 y g2 = Ff2 . Para hallar esta relacin aplicamos el teorema de Fubini,
Z 1
f1 (x) f2 (x) dx
< f1 p f2 >x =
1
Z 1
Z 1
1
=
e+i x g1 ( ) d
f2 (x) dx
1 2
1
Z 1 Z 1
1
e i x g1 ( ) d f2 (x) dx
=
2
1
1
Z 1
Z 1
1
e i x f2 (x) dx d (usando Fubini)
=
g1 ( )
2
1
1
Z 1
1
=
d g1 ( ) g2 ( )
(usando g2 = Ff2 ) .
2
1
En el lado derecho de la ltima igualdad aparece < g1 p g2 > por lo tanto
< f1 p f2 >x =

1
< g1 p g2 > .
2
14

(2.6)

Expresiones equivalentes a (2.6) son

Z 1
Z
1
f1 (x) f2 (x) dx =
2
1

1
1

g1 ( ) g2 ( ) d

(2.7)

y
1
< Ff1 p Ff2 > .
(2.8)
2
En el caso particular f1 (x) = f2 (x) obtenemos el teorema de Plancherel el cual establece que si g ( ) =
Ff (x), entonces
Z 1
Z 1
1
2
jg ( )j2 d ,
(2.9)
jf (x)j dx =
2
1
1
< f1 p f2 >=

esta igualdad tambin recibe el nombre identidad de Parseval.

Aplicacin. Podemos usar la identidad de Parseval (2.8) para calcular algunas integrales. Por ejemplo,
para la funcin
n
1 si jxj a
f (x) = u (x + a) u (a x) = 0 si x>0

tenemos

g ( ) = Ff (x) = 2
entonces

pero

por lo tanto

1
f (x) dx =
2
1
2

f (x) dx =

En forma anloga, para

sin2 a

sin a

sin a

d ,

1dx = 2a;
a

d = a.

f (x) = u (x) e

ax

tenemos
1
a+i
1
2
a +

g( ) =
jg ( )j2 =
por tanto

1
1

1
2
a +

2d = 2

2;

u2 (x) e

2ax

dx =

Denotemos con L2 ( 1; 1; dx) al conjunto de funciones cuadrado integrables f (x) sobre el eje real (las
cuales pueden tomar valores complejos),
Z 1
L2 ( 1; 1; dx) = f (x) : R ! C j
jf (x)j2 dx < a .
1

Este conjunto es un espacio de Hilbert con el producto interior hermitiano

Z 1
< f1 p f2 >x
f1 (x) f2 (x) dx .
1

15

Por otro lado, denotemos con L2 ( 1; 1; d ) al conjunto de funciones cuadrado integrables g ( ) : R ! C,

Z 1
L2 ( 1; 1; d ) = g ( ) : R ! C j
jg ( )j2 d < 1 :
1

Este conjunto tambin es un espacio de Hilbert con el producto interior Hermitiano

Z 1
g1 ( ) g2 ( ) d .
< g1 p g2 >
1

La identidad de Parseval (1.9) establece que si f (x) es cuadrado integrable su transformada g = Ff tambin
lo es, y viceversa, es decir,
Z 1
Z 1
1
2
jf (x)j2 dx < 1 .
jg ( )j d
si y slo si
2
1
1
En otras palabras, la transformada de Fourier F es un operador lineal que asigna a cada elemento f (x) de
L2 ( 1; 1; dx) un elemento g ( ) en L2 ( 1; 1; d ), simblicamente escribimos este resultado como sigue
F

: L2 ( 1; 1; dx) ! L2 ( 1; 1; d ) ,

: f (x)

! g ( ) = Ff (x) .

La relacin entre los espacios L2 ( 1; 1; d ) y L2 ( 1; 1; dx) es ms fuerte an ya que la transformada

inversa F 1 asocia a cada elemento g ( ) un nico elemento f (x) en L2 ( 1; 1; dx):
F
F

1
1

: L2 ( 1; 1; d ) ! L2 ( 1; 1; dx)
: g( )

! f (x) = F

g( ).

En otras palabras, la transformada de Fourier F dene una relacin uno a uno ( biunvoca) entre los
espacios L2 ( 1; 1; dx) y L2 ( 1; 1; d ). Si k kx y k k denotan las normas asociadas a los productos
interiores < p >x y < p > , respectivamente, la identidad de Parseval toma la forma
kf k2x =

1
kFf k2
2

1
kf kx = p kFf k .
2

Esto muestra que las normas de f y su transformada g = Ff son diferentes. En trminos del operador F^
denido por
Z 1
^ (x) p1 Ff (x) = p1
e i x f (x) dx
Ff
2
2
1
la identidad de Parseval toma la forma
1
1
kf kx = p kFf k = p Ff
2
2

^ (x)
kf kx = Ff

lo que muestra que la norma de f (x) y su nueva transformada

Z 1
1
^
g^ ( ) F f (x) = p
e i x f (x) dx;
2
1
16

es la misma. En otras palabras, el operador F^ preserva la norma. Un operador lineal A : S1 ! S2 entre

dos espacios normados S1 y S2 con normas k k1 y k k2 , respectivamente, se dice que es isometra entre
tales espacios si (i) dene una relacin biunvoca entre S1 y S2 , y (ii) conserva la norma, Af 2 = f 1 .
De acuerdo con esta denicin, el operador F^ dene es una isometra entre los espacios L2 ( 1; 1; dx) y
L2 ( 1; 1; d ).
Ejercicios.
1. Demostrar f1 f2 = f2 f1 y f1 (f2 f3 ) = (f1 f2 ) f3 .
2.- Demostrar el teorema de convolucin en la variable (2.4).
3.- Demostrar la relacin
Z 1
Z 1
1
f1 (x) f2 (x) =
g1 (s) g2 (s) ds .
2
1
1

Sugerencia: evaluar (2.5) en = 0.

4.- (a) Usar la denicin de g (s) = Ff2 (x) para demostrar la identidad
g2 ( s) = [Ff2 (x)]
la cual equivale a
g2 ( s) = Ff2 (x) , f2 (x) = F

g2 ( s)

y (b) substitir la ltima igualdad en la identidad del ejercicio anterior para obtener la identidad de Parseval
Z 1
Z 1
1
f1 (x) f2 (x) dx =
g1 (s) g2 (s) ds.
2
1
1
5.- Usar (2.6) para calcular

sin

sin
2

Aplicacion. Ondas, velocidad de fase y velocidad de grupo. Dispersin

de ondas

Una onda es un ente fsico que transporta energa. El anlisis de Fourier es particularmente adecuado para
describir en trminos matemticos una onda. Comencemos con la descripcin de una onda unidimensional
con perl y = f (x) en t = 0. La ecuacin de transformacin
0

x =x

x0
0

dene una traslacin del origen del sistema de ejes cartesianos xy a otro sistema cartesiano x y cuyo origen
se localiza en el punto x = x0 del primer sistema.

As, la grca de y = f (x ) es la grca de y = f (x) trasladada al sistema x y:

17

Si el punto x = x0 se desplaza con una velocidad uniforme v hacia la derecha, su dependencia temporal es
x0 = vt y la transformacin
0
x = x vt
0

dene una traslacin del sistema xy al sistema x y de manera que f (x ) = f (x vt) describe la traslacin
(o desplazamiento) hacia la derecha de la grca de y = f (x), conforme transcurre el tiempo. En forma
anloga, la funcin f (x + vt) describe la traslacin hacia la izquierda de la grca f (x). La ecuacin de
onda ms sencilla que tiene como solucin a f (x vt) es
@f
@t

@f
=0.
@t

(1)

En efecto, la regla de la cadena da

@
f (x
@x
@
f (x
@t
0

vt) =

@
0
f [x (x; t)] =
@x

@x
@x

vt) =

@
0
f [x (x; t)] =
@t

@x
@t

!t
x

df (x )
df (x )
=
0
dx
dx0
0

df (x )
=
dx0

df (x )
:
dx0

Eliminando a df (x )=dx se obtiene la ecuacin (1). Una ecuacin ms complicada se obtiene calculando las
segundas derivadas
0

@ 2 f (x )
@x2

@ 2 f (x0 )
@t2

@x d df (x )
d2 f (x )
=
;
@x dx0 dx0
d(x0 )2
"
#
0
0
0
2
df (x )
@x d
2 d f (x )
v
=v
,
@t dx0
dx0
dx0 2

eliminando a d2 f (x )=d(x )2 se obtiene

@2f
1 @2f
=
v 2 @t2
@x2
que es la versin ms conocida de las ecuaciones cuyas soluciones son ondas.

(2)

La funcin
0

f (x ) = eikx = ei(kx

!t)

= cos(kx

!t) + i sen(kx

!t)

con

kv

llamada onda armnica, tiene la cualidad de ser peridica espacial y temporalmente. El periodo espacial
=

2
k

recibe el nombre de longitud de onda, y da la longitud entre cresta y valles de las componentes cos(kx !t)
y sen(kx !t).

El periodo temporal
T =

2
!

18

da el tiempo que tarda un punto arbitrario de la onda en recorrer una distancia :

t=

2 1
2
=
k v
!

(usando !

vk).

La periodicidad espacial de ei(kx !t) implica que tal funcin se obtiene trasladando hacia x =
ei(kx !t) sobre un intervalo arbitrario [x1 ; x1 + ] con amplitud.

Nos referimos a la forma de ei(kx

un ciclo en pasar por un punto es

!t)

1 la funcin

sobre [x1 ; x2 = x1 + ] como un ciclo espacial. El tiempo que tarda

2
=
v
!
por lo que el nmero de ciclos que pasa por x2 por unidad de tiempo es
t=

Nciclos =

1ciclo

1 unidad de tiempo.

2
!

Esto da lugar a la denicin de la frecuencia temporal

=
nos referimos a ! = 2 =
simplemente

!
,
2

como la frecuencia angular. En trminos de

T =

, el periodo temporal T es

La importancia de las ondas armnicas yace en el hecho mostrado en secciones anteriores, que cualquier
funcin peridica (espacial o temporalmente) se puede representar como una superposicin de ondas armnicas (superposicin a la que nos hemos referido como serie trigonomtrica de Fourier). Lo nico que
necesitamos es que la funcin sea cuadrado integrable sobre un intervalo cuya amplitud coincida con el
periodo (espacial o temporal). Por ejemplo, si f (x) tiene periodo espacial ,
f (x + ) = f (x)
y f (x) es cuadrado integrable sobre [0; ] tiene los desarrollos
f (x) =

1
X

fn einkx

k=

n= 1

= a0 +

1
X

(an cos nkx + sennkx)

n=1
1

inkx
ya que los conjuntos f1; cos(nkx); sen(nkx)g1
son bases ortogonales del espacio L2 (0; )
n=1 y e
n= 1
dotado con el producto interior hermitiano
Z
hf jgix =
f (x)g(x)dx .
0

Si f (t) tiene periodo temporal T ,

f (t + T ) = f (t)
19

y es cuadrado integrable sobre un ciclo completo, entonces

1
X

f (t) =

fn ein!t

2
T

!=

n= 1

= a0 +

1
X

(an cos n!t + bn sen!t)

n=1

ya que los conjuntos f1; cos n!t; senn!tg1

n=1 son bases ortogonales de L2 (0; T ) con
Z T
f (t)g(t)dt:
hf jgit =
0

Si en lugar de x ponemos x
a la derecha,

vt obtenemos la representacin general de una onda perdica que se desplaza

f (x

vt) =

1
X

fn ein(kx

vt)

con

(!

kv)

= 1

con periodos espacial y temporal dados por = 2 =k y T = 2 =!, respectivamente. Esta onda tiene la
caracterstica de que cada una de las componentes armnicas ein(kx vt) tiene periodos espacial n y temporal
Tn que son mltiplos de y T ,
1
1
y
Tn =
.
n =
nk
n!
Para ilustrar lo anterior consideremos las oscilaciones transversales de una cuerda innita. Tales
oscilaciones estn caracterizadas por la ecuacin (2), donde la velocidad de propagacin est dada por
p
v = T0 = , siendo T0 la tensin de la cuerda y (x) la densidad lineal de masa. Si y(x; t) es la altura de
la cuerda en un punto x e instante t dados, la segunda ley de Newton toma la forma v 2 @t2 y = v 2 @x2 y. La
solucin peridica ms general es
y(x; t) =

1
X

yn ein(kx

!t)

1
X

y~n ein(kx+!t)

(3)

n= 1

n= 1

donde los coecientes yn ; y~n estn determinados por las condiciones iniciales. La energa mecnica de la
cuerda es
E(t) = K + U
donde

1
K=
2

es la energa cinetica y

1
E(t) =
2

(x) @t2 y
1
1

dx

T0 (@x2 y)2 dx

(4)

la energa mecanica. Si la densidad es constante, la energa cintica de una sola onda armnica y(x; t) =
yn ein(kx !t) es innita
Z
Z
jyn j2 2 2 1
1 1 @y 2
(x)dx =
n !
(x)dx = 1:
K=
2 1 @t
2
1
Esto muestra que la solucin (3) slo es vlida para una cuerda con longitud nita, en el caso de una
cuerda con longitud innita, debemos considerar a y(x; t) como una integral de Fourier. En el caso de una
cuerda con extremos jos y de longitud l, en el intervalo [ l; l] la serie
y(x; t) =

1
X

(An cos n!t + Bn senn!t) senkx

n=1

20

con

k=

, ! = vk,

(5)

da la solucin general de la ecuacion de onda (2) para una cuerda ja en sus extremos. Si la densidad es
constante, la energa asociada a cada armnico es
#
Z "
1 l
@yn 2
@yn 2
A2 + Bn2
En =
+ t0
dx = ! 2n l n
(6)
2 l
@t
@x
4
donde
yn = (An cos n!t + Bn senn!t) sennkx:
La grca de En v.s. ! n = n! es conocida como el espectro de energa y la contribucin de la armnica
con frecuencia ! n ( vector de onda kn ) a la energa total de la cuerda.
Un modelo ms realista para describir una onda que se propaga sobre el eje x est dado por la integral
de Fourier
Z 1
f (x; t) =
A(k)ei(kx !t) dk
(7)
1

la cual representa una superposicin de oscilaciones armnicas ei(kx

A(k) basta conocer la forma inicial de la onda, f (x; t = 0) f0 (x)
Z 1
A(k)eikx dk .
f0 (x) =

!t)

con amplitud A(k). Para determinar

En efecto, la frmula de Fourier da

1
A(k) =
2

f0 (x)e

ikx

dx .

Para que A(k) est bien denida, basta con pedir que f0 (x) sea cuadrado integrable sobre el eje real, ya que
en este caso la identidad de Parseval
Z 1
Z 1
1
2
jf0 (x)j dx =
jA(k)j2 dk < 1;
2
1
1
garantiza que A(k) tambin es cuadrado integrable. Esto signica que A(k) tiende a cero cuando k !

1,

lim A(k) = 0;

k! 1

por lo que A(k) es signicativamente distinta de cero slo en un nito intervalo con amplitud
aprecia en la gura siguiente.

k, como se

Dado que la funcin A(k) determina el valor mximo de la onda armnica A(k)ei(kx !t) recibe el nombre de
2
envolvente. La gura siguiente muestra a la envolvente jA(k)j = e a(k k0 ) centrada en k = k0 , la curva
continua representa a cualquiera de las componentes jA(k) cos(kx !t)j y jA(k)sen(kx !t)j de la onda
armnica A(k)ei(kx !t) .

21

El argumento de la exponencial
kx

!t

se llama fase y la velocidad con la cual se desplaza la onda armnica es

!
:
k

vf =

y recibe el nombre de velocidad de fase. En general, esta velocidad depende del nmero de onda k y por
tanto es diferente para cada armnica A(k)ei(kx !t) . Esto plantea el problema de determinar la velocidad
con la que se propaga la funcin f (x; t) que resulta de la superposicin de tales ondas armnicas. Nos
referimos a esta velocidad como la velocidad de grupo vg que se atribuye al conjunto de ondas A(k)ei(kx:!t) .
Comoveremos ms adelante, en muchos fenmenos existe una relacin entre ! y k, que representamos por
! = !(k):
Usemos esta relacin para obtener una estimacin de la velo0cidad de grupo vg . Dado que A(k) es una
fu7ncin concentrada alrededor de un valor k0 y en una regin con amplitud k podemos desarrollar !(k)
en serie de Taylor alrededor de k0 ,
! (k) = ! 0 +

d!(k)
(k
dk

k0 ) +

con

k
k
; k0 +
:
2
2

k 2 k0

Sustituyendo en (7)
f (x; t) =

= e

A(k)ei[kx

(! 0 +d!=dk(k k0 )+

1
i(! 0 k0 d!=dk)t

A(k)eik(x

)t]

dk

td!=dk)

dk

donde despreciamos los trminos de orden superior de la serie de Taylor bajo la hiptesis de que
"pequea". Si comparamos la integral con la forma inicial de la onda
Z 1
A(k)eikx dk
f0 =

k es

se obtiene

A(k)ei(x

td!=dk)

= f0 x

d!(k0 )
dk

d!(k0 )
:
dk

y por lo tanto
f (x; t) = e

i(! 0 k0 d!=dk)t

f0 x

lo que muestra que la funcin f0 (x) es la envolvente de la funcin armnica e

la ecuacin anterior tenemos
max

1 x 1

jf (x; t)j = max

1 x 1

f0 x

d!(k0 )
dk

i(! 0 k0 d!=dk)t .

De acuerdo con

(t = cte)

lo que muestra que el valor mximo de jf (x; t)j est dado aproximadamente por el valor mximo de jf0 (x)j
y, ms importante, se desplaza con una velocidad
vg =

d!(k0 )
dk
22

(8)

quq es la velocidad que podemos atribuir a la onda f (x; t), ya que no depende de las componentes armnicas
ei(kx !t) . De acuerdo con (8), slo cuando ! es una funcin lineal de k,
!= k
la velociadad de grupo coincide con la velocidad de fase
vg =

d!
=
dk

!
:
k

En tal caso, la onda f (x; t) es la funcin original f0 (x9 trasladada. En efecto, comparando
Z 1
A(k)ei(kx !t) dk;
f (x; t) =
1

con

se obtiene

A(k)eikx dk

en

f (x; t) = f0 (kx

!t)

f0 (x) =

t = 0;

= f0 [k (x

t)] .

Ade,s, como era de esperarse ya que todas las ondas armnicas A(k)ei(kx !t) se mueven exactamente con
la misma velocidad. Si ! (k) noe es lineal en k, las velocidades vg y vf son distintas. Un resultado fsico
importante que se deriva de la expresin
!(k)
vf =
k
es que las componentes armnicas A(k)ei(kx !t) se desplazan con velocidad diferente y pr lo tanto dichas
componenentes se "separan" conforme transcurre el tiempo. Este fenmeno de separacin recibe el nombre
de dispersin de ondas, y tiene el efecto de atenuar la amplitud de la onda resultante f (x; t) en cada
punto del espacio, como se aprecia en la gura siguiente.

Aplicacin. Ondas de partculas y Ecuacin de Schrdinger

La mecnica ondulatoria parte del postulado de Plank, el cual establece que cuando la luz se comporta como
una partcula, la energa de sta ltima est dada por
E=h
donde h es la constante de Plank y es la frecuencia de la partcula luminosa. La relacin entre la velocidad
de la luz y su longitud de onda es
c=
y la ecuacin relativista para un fotn da E 2 = p2 c2 + m20 c4 , pero m0 = 0 es la masa de un fotn en
reposo, por lo cual
E = pc:
23

Combinando las relaciones anteriores se obtiene

E = h = pc = p

h
p
De-Broglie postul que esta relacin es vlida cuando una partcula se comporta como onda. Suponiendo
que el postulado de Plank es vlido para una partcula libre, la cual slo tiene energa cintica E = (1=2) mv 2
(con p = mv) se obtiene
p2
h
= h = }!
}
; ! 2
2m
2m
y la ecuacin de De-Broglie toma la forma
=

h 1
2 p

p = }k

con

Sustituyendo p = }K en el postulado de Plank se llega a

p2
}k 2
=
:
2m}
2m

!=
Por lo tanto
(x; t) =

k2 }
t
2m

i kx

A(k)e

dk:

representa la onda asociada a la partcula en x y t dados, con

Z 1
j (x; t) j2 dx = 1:
1

En t = 0 tenemos

0 (x)

(x; 0) =

por lo tanto
A(k) =
y para t

0
(x; t) =
=

donde aparece la funcin

1
1
1
1

1
2

Z
1
2
Z
1
2

1
K (x; s; t) =
2
Integrando completando el cuadrado,
ik (s

x)

k2 }
it =
m
=

i kx

A(k)e

k2 }
t
2m

dk

iks

0 (s) ds;

1
1
1

iks

iks+iks

i kx

0 (s) ds e
k2 }
it
2m

dk

k2 }
t
2m

dk

0 (s) ds

iks+iks

k2 }
it
2m

dk:

k2 }
i k (s x) +
t
m
8 r
!2
!
"
#2 9
r
r
r
<
2
k }
}
m1
s x 2m =
i
k
t +2 k
t (s x)
:
m
2m
}t 2
2
}t ;
(
"
#)
(s x)2 2m
i u2
4
}t
s
"
#
r
2
(s
x)
m
}t
s x 2m
2
iu
i
,
con
u=k
+i
,
2
}t
2m
2
}t
24

(9)

se obtiene
1 i m(x2}ys)2
e
2
r
1
2m p
e
2
}t

k (x; s; t) =
=

u2 i

m(x s)2
i 2}y

2m
du
}t

En tminos de K (x; s; t) la funcin de onda asociada a la partcula tiene la forma

Z 1
(x; t) =
K (x; s; t) 0 (s) ds:
1

El lado derecho dene un operador integral U (x; t) que acta sobre la onda inicial
Z 1
K (x; s; t) 0 (s) ds;
U (x; t) 0 (x)

0 (x) ;

con lo cual podemos escribir

(x; t) = U (x; t)

0 (x) :

El operador U recibe el nombre de propagador ya que su accin sobre la funcin de onda inicial 0 da la
forma con la cual sta se propaga espacialmente conforme transcurre el tiempo. Para encontrar la ecuacin
diferencial que satisface (x; t), derivamos directamente la ecuacin (9)
Z 1
Z 1
@k
@
@k
i} 1
k 2 e::: dk ;
=
con
=
0 (s) ds
@t
@t
@t
2m
2
1
1
y
@2
=
@x2

por lo tanto

1
1

@2k
@x2

0 (s) ds

@2k
1
= i2
@x2
2

con

@k
i} @ 2 k
=
@t
2m @x2

i}

k 2 e::: dk ;

}2 @ 2 k
2m @x2

@k
=
@t

de donde se obtiene

}2 @ 2
@
=
@t
2m @x2
que es la ecuacin de Schrdinger para una partcula libre. En trminos del operador diferencial
i}

H=

}2 @ 2
=
2m @x2

la ecuacin toma la forma usual

i}

5.1
Dada

i}

@
@x

@
=H :
@t

Ejercicios
(x; t) =

R1

1 G (x; s; t)

0 (s) ds

obtener la ecuacin diferencial que obedece

vg =

. La velocidad de grupo

d!
d } 2 }k
p
=
k =
=
dk
dt 2m
m
m

coincide con la velocidad de una partcula con momentum p.

componente
!
}k
p
vg = =
=
=
k
2m
2m
25

En contraste, la velocidad de fase de cada

1
vg :
2