Anlisis de Seales en Geofsica

5 Clase
Transformada Discreta de Fourier

Facultad de Ciencias Astronmicas y Geofsicas,

Universidad Nacional de La Plata, Argentina

Discretizacin de la Respuesta en
Frecuencia
Hemos visto que la respuesta en frecuencia H ( ), de un sistema SLI con respuesta
impulsiva hn , es una funcin continua y peridica de la frecuencia digital :
N 1

H ( ) hn e i n
n 0

Tomemos M muestras de H ( ) a intervalos regulares de la frecuencia entre 0 y 2 :

N 1

H (k ) H ( 2M k ) H k hn e

2
k n
M

k 0, M 1

n 0

Como H ( ) es una funcin peridica de perodo 2 , H k va a resultar una funcin

discreta, peridica, de perodo M .
Esta ecuacin:
N 1

H k hn e

2
k n
M

k 0, M 1

n 0

representa una transformacin de N nmeros hn en M nmeros H k .

Transformada Discreta
de Fourier

Discretizacin de H()
Con la idea de obtener una transformacin inversa simple, vamos a limitar
la cantidad de puntos en frecuencia a la misma cantidad de puntos en tiempo:
N 1

H k hn e

2
k n
N

k 0, N 1

n 0

Aunque esta restriccin no es estrictamente necesaria, al hacerlo nos quedan

N ecuaciones con N incgnitas.
Multipliquemos ambos miembros por e
el orden de las sumatorias:
N 1

H e
k 0

2
k m
N

N 1 N 1

hn e
k 0 n 0

2
k m
N

, sumemos sobre k , e intercambiemos

2
2
k n i k m
N
N

N 1

N 1 i 2 k m n

n 0

k 0

hn e

Introduzcamos la relacin de ortogonalidad de la Transformada Discreta de Fourier.

Transformada Discreta
de Fourier

Relacin de Ortogonalidad de la
Transformada Discreta de Fourier
Esta relacin est dada por la siguiente expresin:
N 1 i 2 k m n

e
k 0

N n ,m

Donde n ,m es el delta de Kronecker:

1
0

n ,m

si n m
si n m

La relacin de ortogonalidad es simple de verificar si pensamos a la sumatoria

como una suma vectorial en el plano complejo de N vectores de mdulo unitario
regularmente orientados en todas las direcciones. Para los casos en que n m,
los vectores concatenados formarn un polgono cerrado, por lo tanto la resultante
ser cero. Si n m, formarn una lnea recta sobre el eje real de longitud N .
Transformada Discreta
de Fourier

Transformada Discreta de Fourier

Haciendo uso de la relacin de ortogonalidad, obtenemos una expresin simple que nos
permite calcular los coeficiente hn a partir de los valores H k :
N 1

H e
k 0

2
k m
N

N 1

N 1 i 2 k m n

n 0

k 0

hn e

N 1

hn N n ,m Nhm
n 0

El siguiente par de ecuaciones es conocido como la Transformada Discreta de Fourier:

2
N 1
i k n

N
H k hn e

n 0

2
N 1
i k n
h 1
Hke N

N k 0

k 0, N 1

n 0, N 1

Indicaremos del siguiente modo que H k es la Transformada Discreta de Fourier de hn :

hn H k

Transformada Discreta
de Fourier

H k TDF hn

Transformada Discreta de Fourier

Si bien presentamos a hn como la respuesta impulsiva de un SLI y a H k como una versin
discretizada de su respuesta en frecuencia, la Transformada Discreta de Fourier (TDF)
puede aplicarse a cualquier secuencia. Puede pensarse como una forma general de mapear
N nmeros complejos en otros N nmeros complejos, donde tiempo y frecuencia juegan
roles idnticos e intercambibles.
No existe una definicin estndar de la TDF sino que podrn encontrar otras versiones con
distintos signos y con diferentes factores, como por ejemplo:

1
H

k
N

h 1
n
N

N 1

h e
n 0

N 1

H e
k 0

2
k n
N

2
k n
N

La cantidad de operaciones necesarias para calcular la TDF es proporcional a N N , sin

embargo existen algoritmos mucho ms rpidos conocidos como FFT o transformada rpida
de Fourier, capaces de realizar el clculo en N log 2 N operaciones, la condicin es que la
longitud de la secuencia sea una potencia de dos, es decir que existe entero, tal que N 2 .
Transformada Discreta
de Fourier

TDF en Notacin Matricial

Sea W e

2
N

N 1

. Podemos escribir la TDF como H k W k n hn

En notacin matricial tendremos:

n 0

1
1
H 0 1
12

1 W 11
W
H
1
22
H 2 1 W 21
W

H
N 1 1 W N 11 W N 12

h0
1 N 1

W
h1

W 2 N 1 h2

W N 1 N 1 hN 1
1

La TDF inversa nos quedar:

Transformada Discreta
de Fourier

1
1
1
h0

1 W 11
W 12
h

1
22
h2 1 W 21
W

h
N 11
N 1
W N 12
1 W

H0

W 1 N 1 H1

2 N 1
H
W
2

W N 1 N 1 H N 1
1

TDF en Notacin Matricial

Es decir que podemos escribir la transformada discreta de Fourier utilizando
notacin matricial, del siguiente modo:
H=Wh
Premultiplicando por la matriz transpuesta conjugada de W, tambin llamada
Hermitiana o Hermtica, y teniendo en cuenta que W es una matriz ortogonal,
obtenemos:
W H H W H Wh NIh

h
Transformada Discreta
de Fourier

1 H
W H
N
8

Propiedades de la TDF
La transformada discreta de Fourier no es ms que la transformada Z
evaluada en puntos regularmente dispuestos sobre el crculo unidad.
En consecuencia la mayora de las propiedades de la TDF nos resultarn
familiares debido a nuestro conocimiento previo de la transformada Z.
Analizaremos en detalle las siguientes propiedades de la TDF:
Periodicidad en tiempo.
Simetras
Teorema del Corrimiento Lineal de la Fase
Teorema de Convolucin

Transformada Discreta
de Fourier

Periodicidad en Tiempo
Una de las consecuencias ms importantes de haber discretizado la respuesta en
frecuencia H ( ) para obtener la transformada discreta de Fourier H k , es la de
haber generado periodicidad en el dominio del tiempo:

hn N

N 1

H e
k 0

2
k n N
N

N 1

H e
k 0

2
2
k n i k N
N
N

N 1

H e
k 0

2
k n
N

hn

hn N hn
Ambas secuencias, tanto hn como H k , son peridicas de perodo N . No nos estamos
refiriendo a la secuencia original, la cual slo est definida para valores de n entre
0 y N 1, sino a la secuencia que nos devuelve la transformada discreta de Fourier
inversa cuando la evaluamos en otros valores de n.
Transformada Discreta
de Fourier

10

Forma Centrada de la TDF

Como consecuencia de la peridodicidad de la transformada discreta de Fourier podemos
comenzar la sumatoria en cualquier punto del ciclo, siempre que la extendamos por un ciclo.
Es comn escribir la TDF del siguiente modo:
N
1

2
2
i k n
H
hn e N

N
n

N
1
2

i k n
1 2
hn
Hke N

N k N

N N
, 1
2 2

N N
, 1
2 2

Llamaremos a estas ltimas ecuaciones forma centrada de la TDF y a las anteriores forma
estndar de la TDF. La forma centrada es ms apropiada para discutir las propiedades de
simetra de la TDF, mientras que la forma estndar es ms apropiada para implementarla
computacionalemente ya que slo utiliza subndices positivos.
Transformada Discreta
de Fourier

11

TDF de una Secuencia Conjugada

Dada la TDF de una secuencia hn :
Hk

N
1
2

hn e

2
k n
N

N
2

N N
, 1
2 2

Tomemos el complejo conjugado:

H
*
k

N
1
2

he
n

*
n

2
k n
N

N
2

Hagamos el cambio de variables k k:

H

*
k

N
1
2

*
n

he

2
k n
N

N
2

TDF hn*

hn* H *k
Transformada Discreta
de Fourier

12

TDF de una Secuencia Real

Si hn es una secuencia real, entonces hn hn* , en consecuencia su transformada de
Fourier deber cumplir:

H k H *k

Cuando una funcin cumple con esta igualdad, se dice que es una funcin Hermitiana.
Cuando una funcin es Hermitiana su parte real es par y su parte imaginaria es
impar:
Re H k Re H k
Im H k Im H k
O dicho de otra manera, su mdulo es par y su argumento es impar:
H k H k
arg H k arg H k
La transformada de Fourier de una funcin real es una funcin Hermitiana, es decir,
su espectro de amplitud es par y su espectro de fase es impar.
Transformada Discreta
de Fourier

13

Descomposicin Par e Impar

Toda secuencia hn se puede descomponer como la suma de dos secuencias, una par y
otra impar:

hn hnpar hnimpar

Donde:
hnpar

hn h n
hpan r
2

hnimpar

hn h n
himpar
n
2

Tomando Transformada de Fourier a estas ecuaciones, es fcil de ver las siguientes

propiedades:
hn H k
hnpar Re H k
hnimpar Im H k
La transformada de Fourier de una funcin par es real y la de una funcin impar es
imaginaria pura.
Transformada Discreta
de Fourier

14

Teorema de Parseval
Se define la energa de una secuencia como la suma de los cuadrados de
sus amplitudes, es decir:
Energa de hn hn

El teorema de Parseval dice que la energa de una secuencia de longitud N

en el dominio de la transformada discreta de Fourier es N veces la energa
de la secuencia en el dominio del tiempo:
N 1

N 1

N hn H k
n0

Transformada Discreta
de Fourier

k 0

15

Teorema del Corrimiento

Lineal de la Fase
Veamos como se relaciona la TDF de una secuencia retardada en n0 muestras, con
la TDF de la secuencia original:

TDF hn n0

n n0

2
k n
N

Haciendo el cambio de variables m n n0 , obtenemos:

TDF hn n0

h e
k

2
k m n0
N

2
k n0
N

2
k m
N

2
k n0
N

TDF hn k

TDF hn n0

h e

2
k n0
N

Hk e

2
k n0
N

i k n0

H k eik H k e k

Observe que con los debidos recaudos para que H k e

2
k n0
N

siga siendo Hermitiana,

esta expresin es vlida an cuando queremos retardar una seal real en una fraccin
del intervalo de muestro.
Transformada Discreta
de Fourier

16

Teorema de Convolucin
Consideremos dos secuencias f n y g n , con transformadas de Fourier:
Fk f n e

2
k n
N

2
k n
N

G k gne
n

Multipliquemos las transformadas:

Fk G k f n e

2
k n
N

gme

2
k m
N

f n g m e
n

2
k n m
N

Tomando las transformada inversa al producto de las transformadas, obtenemos:

1
N

F G e
k

2
k l
N

Transformada Discreta
de Fourier

e
k

2
k l
N

f g
n

2
k nm
N

f g e
n

2
k n m l
N

17

Teorema de Convolucin
Utilizando la relacin de ortogonalidad de la transformada discreta de Fourier,
obtenemos:
1
N

F G e
k

2
k l
N

f g e
n

2
k n m l
N

1
N
Es decir:

F G e
k

2
k l
N

1
N

f g
n

N m ,l n f n g l n
n

fn * gn

f n * g n Fk Gk

Expresado en forma polar:

Fk Gk Fk eiF Gk eiG Fk Gk e

i Fk Gk

Es decir que convolucionar en el dominio del tiempo es equivalente a multiplicar en

el dominio de las frecuencias. Multiplicar en frecuencias es equivalente a multiplicar
espectros de amplitud y sumar espectros de fase.
Transformada Discreta
de Fourier

18

Teorema de Convolucin
De manera anloga se puede demostrar que multiplicar en tiempo es equivalente
a convolucionar en el dominio de las frecuencias:
1
TDF f n g n k Fj Gk j
N j
f n g n Fk * Gk
Observe que existe un factor 1 N cuando convolucionamos en el dominio de las
frecuencias, que no aparece cuando convolucionamos en el dominio del tiempo.
Tiempos y frecuencias tienen roles indistinguibles e intercambiables en la transformada
de Fourier, si determinada accin en un dominio tiene cierta consecuencia en el otro
dominio, esa misma accin en el segundo dominio tendr igual consecuencia en el
primer dominio.
Transformada Discreta
de Fourier

19

Convolucin Circular
Las TDF Fk y Gk no son en rigor las transformadas de las secuencias f n y g n de longitud
N , sino que son las las transformadas de Fourier de dos secuencias infinitas, extendidas
a peridicas, de perodo N , que en el primer ciclo coinciden con las secuencias originales.
Por lo tanto el producto de las transformadas Fk Gk en el dominio de las frecuencias
corresponde a la convolucin de dos secuencias peridicas e infinitas en el dominio del
tiempo. Es por ello que a esta convolucin se la llama convolucin circular a diferencia
de la convolucin que hemos considerado hasta ahora que se denomina convolucin lineal.
Veamos un ejemplo, dada dos secuencias an y bn de longitud 4 :
an (1,3, 0, 2)
bn (1, 0, 2, 2)
El resultado de la convolucin circular ser la siguiente secuencia de perodo 4:
an * bn (7, 7, 6,10)
Mientras que el resultado de la convolucin lineal ser la siguiente secuencia de longitud 7:
an * bn (1,3, 2,10, 6, 4, 4)

Transformada Discreta
de Fourier

20

Diagrama de Convolucin Circular

b0 ( 4 )
a0
a1
a2
a3

b1( 3)

a3b1( 3)

b2 ( 2)

b3( 1)

a2b2 ( 2)
a3b2 ( 2)

a1b3( 1)
a2b3( 1)
a3b3( 1)

b0
a0b0
a1b0
a2b0
a3b0

b1
b2
a0b1 a0b2
a1b1 a1b2
a2b1

b3
a0b3

cn ak bn k a0bn a1bn 1 a2bn 2 a3bn 3

k

c0
c1
c2
c3

a0b0 a1b3( 1) a2b2 ( 2 )

a0b1 a1b0 a2b3( 1)
a0b2 a1b1 a2b0
a0b3 a1b2 a2b1

Transformada Discreta
de Fourier

a3b1( 3)
a3b2 ( 2)
a3b3( 1)
a3b0
21

Correlacin Cruzada
Definimos la correlacin cruzada ab ( ) entre dos secuencias an y bn , como la
convolucin entre ambas secuencias cuando la primera es revertida, adelantada
en su longitud y conjugada:

ab ( ) a* n * bn an*bn Ak* Bk
n

Donde:

a* n (aN* 1 , aN* 2 , aN* 3 ,

, a2* , a1* , a0* )

La correlacin cruzada no es conmutativa. Conmutar las secuencias de entrada

es equivalente a revertir y conjugar el resultado:

ab ( ) ba* ( )
Claro que si las secuencias son reales, la consecuencia de conmutar las entradas
sera nicamente la de revertir la secuencia resultante.
Transformada Discreta
de Fourier

22

Correlacin Cruzada
Demostracin:
Sea cn a* n , entonces la convolucin de cn con bn es:

ab ( ) cn * bn c mbm a* ( m )bm am* bm

m

Haciendo el siguiente cambio de variables n m , nos queda:

ab ( ) an*bn
n

Transformada Discreta
de Fourier

23

Correlacin Cruzada
Veamos a qu es igual la tranformada de Fourier de cn a* n :
2
k n
N

2
k n
N

a n e
n
n
n
Si hacemos el cambio de variables m n, obtenemos:
Ck cn e

a* n e

2
k n
N

2
i k m

i Ak
*
Ck am e N
Ak Ak e

Es decir que correlacionar en el dominio del tiempo, es equivalente a multiplicar

los espectros de amplitud y restar los espectros de fase:

ab ( ) an*bn Ak* Bk Ak Bk e

i Bk Ak

Transformada Discreta
de Fourier

24

Diagrama de Correlacin
a2*
a1*
a0*

b0

b1

b2

b3

b4

a2*b0
a1*b0
a0*b0

a2*b1
a1*b1
a0*b1

a2*b2
a1*b2
a0*b2

a2*b3
a1*b3
a0*b3

a2*b4
a1*b4
a0*b4

ab ( ) an*bn
n

ab (2) a2*b0
ab (1) a2*b1 a1*b0
ab ( 0) a2*b2 a1*b1 a0*b0
ab (1) a2*b3 a1*b2 a0*b1
ab (2) a2*b4 a1*b3 a0*b2
ab (3) a1*b4 a0*b3
Transformada Discreta
de Fourier

ab (4) a0*b4

25

Autocorrelacin
La autocorrelacin es la correlacin cruzada de una secuencia consigo misma:

aa ( ) an* an Ak* Ak Ak Ak e

i Ak Ak

Ak

La transformada de Fourier de la autocorrelacin es el espectro de potencia.

El espectro de potencia es real, por lo tanto la secuencia autocorrelacin en tiempo
es una funcin par o simtrica.
Al efectuar la operacin autocorrelacin podemos ver que se pierde la informacin
de fase. Es decir que todas las secuencias que tengan el mismo espectro de amplitud,
sin importar que espectro de fase posean, tendrn la misma autocorrelacin y el mismo
espectro de potencia.
Transformada Discreta
de Fourier

26

La Correlacin en el Dominio
de la Transformada Z
La correlacin cruzada es simple de escribir en el dominio de la transformada Z:

ab ( ) a* n * bn A* (1 z ) B( z )
En A* (1 z ) estamos conjugando los coeficientes del polinomio pero no estamos
conjugando la variable compleja z , en vez de ello estamos reemplazando z por
1 z , lo cual sobre el crculo unidad es equivalente a conjugarla.
La autocorrelacin en el dominio de la transformada Z es igual al espectro de
potencia en el mismo dominio, y est dado por:

aa ( ) A* (1 z ) A( z )

Transformada Discreta
de Fourier

27

Bibliografa:
Karl, John H. (1989), An introduction to Digital Signal
Processing, Academic Press, Chapter Five.

Transformada Discreta
de Fourier

28