UNED

UNED
UNED
UNED
UNED
UNED
UNED
Fsica Cuntica I. Apndice sobre la Transformada de Fourier.

Fsica Cuntica I. UNED

Formulacin matemtica de la transformada de Fourier

Se dene la transformada de Fourier de una funcin

1
F {g(x)} = ge(k) =
2

como

g(x) exp (ikx) dx.

(A.1)

Recprocamente, se dene la transformada de Fourier inversa de una funcin

como

g(x) L(R)

1
F 1 {e
g (k)} = g(x) =
2

ge(k) L(R)

ge(k) exp (ikx) dk.

(A.2)

Teorema de Parseval
Z

Z 



Z
Z
1
1

g (x) exp (ikx) dx

h(y) exp (iky) dy dk
2 R
2 R
R
Z Z

Z
1

g (x)h(y) exp [ik (x y)] dxdy dk

=
R R
R 2
Z

Z Z
1

=
g (x)h(y)
exp [ik (x y)] dk dxdy
R 2
R R
Z Z
=
g (x) h(y) (x y) dxdy
ZR R
g (x) h(x) dx
(A.3)
=

ge (k)e
h(k)dk =

Algunas propiedades interesantes

1.-

dg(x)
dx

Z
dg(x)
1
exp (ikx) dx
=
2 R dx
+
Z
1
ik

=
g(x) exp (ikx)
+
g(x) exp (ikx) dx
2
2 R

= ike
g (k) = ikF {g(x)}

y en general

dn g(x)
dxn

= (ik)n ge(k) = (ik)n Fb {g(x)}

(A.4)

2.-

1
F {xg(x)} =
2
= i

1 d
xg(x) exp (ikx) dx =
i dk
R

g(x) exp (ikx) dx

de
g (k)
dF {g(x)}
=i
dk
dk

y en general

F {xn g(x)} = in

n
dn g(k)
n d F {g(x)}
=
i
dk n
dk n

(A.5)

UNED
UNED
UNED
UNED
UNED
UNED
UNED

Fsica Cuntica I. Apndice sobre la Transformada de Fourier.

Fsica Cuntica I. UNED

3.-

1
F exp(x /a ) =
2


exp x /a

 2 2
a
ak
exp (ikx) dx = exp
4
2

es decir, la transformada de Fourier de una gaussiana de anchura

(A.6)

a es una gaussiana de anchura

2/a.
4.-

F {g(x)h(x)} =
=

Z
1

g(x)h(x) exp (ikx) dx

2 R


Z
Z
1
1
0
0
0
e

g(x)
h(k ) exp (ik x) dk exp (ikx) dx
2 R
2 R
Z

Z
1
1
0

g(x) exp [i (k k ) x] dx e
h(k 0 ) dk 0
2 ZR 2
R
1

ge(k k 0 ) e
h(k 0 ) dk 0
2 R

Deniendo el producto de convolucin de dos funciones

(g h) (y) =

g(y s)h(s) ds

la expresin anterior se reduce a

1  e
F {g(x)h(x)} =
ge h (k).
2

(A.7)

Es decir, la transformada de Fourier de un producto de funciones es el producto de convolucin

de sus transformadas.

5.- Recprocamente

Z
Z
1
g(x) exp (ikx) dx h(y) exp (iky) dy
F {g(x)} F {h(x)} =
2 R
Z
ZR
1
=
g(x) exp (ikx) dx h(s x) exp (iks) exp(ikx) ds
2 R
R

Z 
Z
1
1

=
g(x) h(s x) dx exp (iks) ds
2 R
2 R
= F {(g h) (x)}

(A.8)

es decir, la transformada de Fourier de un producto de convolucin de funciones es el producto

de las transformadas de las funciones.

UNED
UNED
UNED
UNED
UNED
UNED
UNED
Fsica Cuntica I. Apndice sobre la Transformada de Fourier.

Fsica Cuntica I. UNED

La transformada de Fourier en mecnica cuntica

Hasta ahora hemos supuesto que tratbamos con funciones de mdulo integrable g(x)
L(R). Supongamos ahora que las funciones pertenecen al espacio de Hilbert L2 (R) de funciones

de cuadrado integrable. Entonces la transformada de Fourier puede considerarse como un

b : L2 (R) L2 (R).
operador F

Es fcil ver que

Fb

es un operador unitario


Z
1

g(x) exp (ikx) dx

2 R

Z 
Z
1
1
0
0
0

g(x ) exp (ikx ) dx exp (ikx) dk =

=
2 R
2 R
Z

Z
1
1
0
0
=
g(x )
exp [ik (x x)] dk dx0
2 Z 2 R
R
1
=
g(x0 ) (x0 x) dx
2 R
= g(x)

b
Fb1 Fg(x)
= Fb1

es decir,

(A.9)

Fb1 Fb = Ib.

Asimismo, la expresin (A.3) para

g(x) = h(x)

ke
g (k)k = kg(x)k

se reduce a

b
F
{g(x)}
= kg(x)k

(A.10)

y el operador conserva la norma.

Supongamos que

(x, t)

es la funcin de onda que representa a un estado cuntico en el

Fsica
Cuntica I, donde se habla de la conveniencia de hacer el cambio de variable k p/~ en la
espacio de posiciones. Si recordamos aqu lo que se indica en la pgina 79 del texto-base

transformacin de Fourier (aqu estamos en una dimensin) y trabajar exclusivamente con la

variable

p, la correspondiente funcin representativa de dicho estado en el espacio de momentos

es su transformada

y as

Z
1
e
b
F {(x, t)} = (p, t) =
(x, t) exp (ipx/~) dx
2~ R

2
e

(p, t)dp = (p,
t) dp es la densidad de probabilidad de momentos.

Aplicando el operador

Fb

(A.11)

a la ecuacin de Schrdinger en el espacio de posiciones,

~2 2 (x, t)
(x, t)
+ V (x)(x, t) = i~
2
2m x
t

y teniendo en cuenta las propiedades (A.4), (A.5) y (A.7) obtenemos la ecuacin que debe
satisfacer

e t)
(p,

en el espacio de momentos

p2 e
1
(p, t) +
2m
2~

e
e 0 , t)dp0 = i~ (p, t) .
Ve (p p0 )(p
t
R

En el caso de potenciales algebraicos de la forma

V (x) = axn ,

(A.12)

la ecuacin se reduce a

e t)
e t)
n (p,
p2 e
(p,
(p, t) + ain
=
i~
2m
pn
t

(A.13)

UNED
UNED
UNED
UNED
UNED
UNED
UNED

Fsica Cuntica I. Apndice sobre la Transformada de Fourier.

Fsica Cuntica I. UNED

La idea de utilizar la transformada de Fourier como paso del espacio de posiciones al de

2
momentos puede extenderse tambin a funciones que no pertenecen a L (R), aunque en este
caso dejan de ser vlidas algunas de las propiedades antes enunciadas.

Si nos limitamos a la dependencia espacial (y dejamos de lado la dependencia temporal), una

funcin de este tipo particularmente interesante es la funcin

p0 (x) = 1/ 2 exp (ip0 x/~),

funcin propia del operador momento en el espacio de posiciones; es decir

dp (x)
Pbp0 (x) = i~ 0
= p0 p0 (x).
dx

Su funcin correspondiente

en el espacio de momentos es

Z
Z
1
1
b

exp (ip0 x/~) exp (ipx/~) dx =

exp [i (p p0 ) x/~] dx
F {p0 (x)} =
2~ R
2~ R
1
=
(p p0 ) ,
2

que traduce el hecho bien conocido de que una onda plana (que representa una densidad de
probabilidad de posicin uniforme) tiene un momento perfectamente denido.

Recprocamente, a un estado con una posicin perfectamente denida, le corresponde una

exponencial compleja en el espacio de momentos (que representa una densidad de probabilidad

de momento uniforme).
Aunque

p (x)

no es normalizable, su producto escalar por una funcin normalizable est

bien denido. Por ello, podemos escribir (A.11) como

e
(p)
=

 

exp (ipx/~) , (x) = p (x), (x)

y as

Z
Z 

1
1
e
(p) exp (ipx/~) dp =
p (x), (x) p (x) dp,
(x) =
2~ R
2~ R
es decir, la funcin (x) es una combinacin lineal de funciones propias del momento con


coecientes p (x), (x) .
Nota importante: Debe recalcarse aqu que p (x) se puede interpretar como funcin de las
variables continuas x y p. Ms arriba hemos escrito p0 (x) para un valor p0 jo, pero en esta
ltima expresin hablamos de p (x) como funcin de p que se integra sobre todos los valores

de esa variable.

Entendemos aqu funcin en el sentido de funcin generalizada, que incluye la funcin

(x).