Transformada de Fourier en tiempo discreto

La transformada de Fourier X(w) de una seal en tiempo discreto x[n] se calcula mediante la expresin

o tambin puede ser vista como

F{gk}= G(eiU)=
donde

gn(e-jnU)

G(eiU)=

y su inversa es,

o tambin puede ser vista como

gk=

G(ejU)ejkU dU

observamos que G(eiU) es una funcin de la variable continua U y como es una funcin ejU es peridica (con un periodo de a lo ms 2p) independiente de si la sucesin { gk } es o no peridica. La Transformada de Fourier en Tiempo Discreto X(w) toma valores complejos (eiU) y es una funcin continua y peridica en w. El periodo es 2p, representndose normalmente en el intervalo [-p,p]. Al evaluar numricamente la Transformada de Fourier en Tiempo Discreto se presentan dos problemas: a) La secuencia x[n] puede tener un nmero infinito de puntos b) X(w) es una funcin continua de la frecuencia w y debe ser discretizada para trabajar en un procesador digital. Para resolver el primer problema consideraremos que la secuencia de entrada esta formada por un vector de L puntos siendo 0 para los valores comprendidos entre L+ 1 e infinito.

Para el segundo, consideraremos que X(w) se evala en un numero N finito de frecuencias equidistantes en el intervalo [-p,p] con incrementos de 2p/N, es decir se consideran el conjunto discreto de frecuencias wk = 2pk/N con k=0,1,...N-1. Si se elige N lo suficientemente grande los valores X[2pk/N] se aproximan a la funcin X(w) continua origen del muestreo.

Al muestrear la La Transformada de Fourier en Tiempo Discreto de esta manera se obtiene la expresion correspondiente a la trasformada discreta de Fourier DFT que en MATLAB se implementa mediante el algoritmo conocido como FFT (Fast Fourier Transform).

Para evitar problemas de muestreo insuficiente se debe elegir N tal que N>L.

Ejemplo Encuentre la transformada de la sucesin {gk} [-,] donde g0 = 2, g-2 = 1 y gk = g-k = 0 para k0 o 2 Solucin:

De F{gk}= G(e )= = g-2 e

j2U

iU

gn(e-jnU)

+ g01 + g2 e-j2U = ej2U + 2 + e-j2U

= 2 ( 1 + cos 2U) = 4 cos 2 U

En este caso en particular la transformada es peridica de periodo T en lugar de 2T. Esto se debe a que g1 = g-1 = 0, de manera que cos U no aparece en la transformada. Como G(ejU) es real puro, se puede dibujar la transformada como sigue

Habiendo definido una transformada de Fourier para sucesiones, ahora se quiere vincularla con la respuesta de frecuencia de sistemas en tiempo discreto.

El eslabn entre las respuestas de frecuencia y las transformadas de Fourier de sistemas en tiempo continuo se establece usando la transformada de Laplace. Por tanto se cree que la transformada Z proporcionar el eslabn necesario para sistemas de tiempo discreto Para un sistema casual de tiempo discreto invariante en el tiempo con una funcin de transferencia z, G (z) la relacin entre la sucesin de entrada {uk} y la sucesin de salida {yk} en el dominio transformado est indicado por

Y(z) = G(z) U(z) Donde U(z) = L {uk} y Y(z) = L {yk}.

Para investigar la respuesta de frecuencia del sistema buscamos la sucesin de salida correspondiente a la sucesin de entrada

{uk} = { A e

jwkT

} ={A e

jkU

}, U = Wt

Que representa muestras dibujadas en intervalos iguales T, apartir de la seal senoidal compleja de tiempo continuo ejwt Entonces la respuesta de frecuencia del sistema de tiempo discreto es su respuesta en estado estacionario a la sucesin {uk}. Como para el caso de tiempo continuo, la forma compleja ejwt se usa para simplificar el lgebra y la respuesta senoidal en estado estacionario es fcil de recuperar tomando las partes las partes imaginarias si es necesario.

Ejemplo Determine la funcin de transferencia de la frecuencia del sistema causal en tiempo discreto que se muestra a continuacin y dibuje su espectro de amplitud.

Usaremos la siguiente ecuacin

Despus verificaremos la estabilidad del sistema. Como z2+0.75z+0.125 = (z + 0.5)(z + 0.25) los polos de G(z) estn en p1 = -0.5 y p2 = -0.25 y como ambos estn dentro del circulo unitario |z| = 1, el sistema es estable, entonces la funcin de transferencia de la frecuencia puede obtenerse como G(ejU) donde

U

U  U

Para determinar el espectro de amplitud, evaluamos

|G(e ) |como

jU

 

U 

U    U



Transformada discreta de Fourier

Esta es una transformada de tipo homogneo, ya que transforma sucesiones nitas en sucesiones nitas de igual longitud. Realmente una sucesin nita representa de la mejor forma posible una seal, ya que aunque una seal tiene dominio continuo tericamente hablando en la practica los datos que tenemos de la seal son muestras y por lo tanto sucesiones. Adems dada la nitud prctica del dominio de toda seal resulta por ello que su mejor representacin es una sucesin nita. La sucesin ser unidimensional para seales temporales y de dimensiones posiblemente superiores para seales espaciales. A veces puede resultar interesante pensar que las sucesiones objeto de estudio son simplemente un perodo de una sucesin infinita peridica. En esta transformada las sucesiones que se toman como bsicas estn todas formadas por las races complejas de la unidad de orden el nmero que indica la longitud de las sucesiones. Concretamente si M es dicha longitud y

las sucesiones bsicas k (0 k < M) son las siguientes: ( k)m =

km M

(0 m < M).

Vemos que el primer elemento de todas las sucesiones bsicas es la unidad y que en todas ellas aparecen las M races M-esimas de la unidad distinguindose unas sucesiones de otras por el orden que ocupan dichas races. Es fcil ver que esta familia k (0 k < M) es base del espacio vectorial SM de todas las sucesiones con M elementos. As dada una sucesin cualquiera a SM admite la siguiente descomposicin nica

y precisamente esta nueva sucesin A = {An} es llamada transformada discreta de Fourier de a. Es fcil establecer la relacin existente entre los trminos de ambas sucesiones

Nos encontramos nuevamente con las dos formulas de descomposicin (a A y de reconstruccin A a). Si sustituimos M por su denticin

y ponemos los subndices en forma de variables las formulas anteriores toman la forma:

que permite observar la gran analoga con las transformadas de Fourier.

correspondientes

Esta analoga no es casual ni accidental. De hecho una de las ms interesantes aplicaciones de la transformada discreta de Fourier fue desarrollada hacia el 1965 por Cooley y Tuckey y consiste en la creacin de un nuevo algoritmo para el clculo de la transformada de Fourier. Es lo que hoy da entendemos por transformada rpida de Fourier y que evidentemente no es nueva transformada, sino simplemente un mtodo de calculo que reduce el hallazgo del espectro a un conjunto relativamente pequeo de multiplicaciones y que unido a la potencia de los modernos ordenadores hace que el clculo de la transformada de Fourier pueda hacerse en tiempo real con el consiguiente inters que esto presenta en muy diversos campos tcnicos.

Transformada rpida de Fourier

Sean x(t) y X( ) una seal y su espectro. Sabemos que aunque tericamente (salvo en el caso nulo) ambas no pueden ser de soporte compacto, en la prctica ambas tienden a cero en el innito y por consiguiente existen sendos entornos de cero fuera de los cuales sus valores son despreciables. Sea 0 tal que X( ) es despreciable fuera del intervalo ( Ahora elegimos un nmero natural M y denimos 0/2, 0/2)

y exigimos a M que la funcin x(t) sea igualmente despreciable fuera del

intervalo Mas tarde pediremos tambin, y veremos el porqu, que M sea una potencia de dos. Completamos las deniciones con dos nuevos parmetros:

De esta forma se tiene que los pares ( 0, 0) y ( , ) son inversos entre s. Ahora tenemos

y teniendo en cuenta todas las hiptesis hechas anteriormente, as como las notaciones introducidas, se deduce que la citada integral del segundo miembro se puede aproximar con la suma nita que exponemos a continuacin

donde adems hemos hecho un corrimiento de ndices para dejarlos todos en la zona no negativa.

Ahora bien la expresin anterior puede verse como la formula de sntesis de un par de transformadas discretas de Fourier. La correspondiente formula de anlisis nos da

Lo que esta formula est diciendo es que podemos obtener los valores de la transformada de Fourier en la sucesin de puntos (n , n [0, M 1]) utilizando la sucesin de muestras (x(m 0)) y esto lo podemos hacer mediante (M multiplicaciones y las correspondientes sumas. 1)2

Naturalmente aqu nos encontramos con el clsico problema de elegir entre precio y calidad. Cuantas ms muestras del espectro queramos calcular tendremos que elegir un nmero M ms grande y as aumentar tambin el nmero de operaciones a realizar. Adems la aproximacin entre los valores calculados y los autnticos ser mayor. Pero claro hay un l mite practico en esta precisin motivado en primer lugar por el anamiento de los instrumentos que miden las muestras x(m 0) y luego por los errores inherentes al clculo. Lo dicho hasta aqu no tendr a demasiado inters si no fuera por lo que sigue. Veremos que una adecuada eleccin del valor de M puede reducir notablemente el nmero de multiplicaciones a realizar y esto es lo que precisamente justifica el nombre de transformada rpida. Supongamos 2M . Si a y A forman un par de transformadas discretas de Fourier, descomponemos ambas sucesiones en dos subsucesiones de longitud primeramente que elegimos M par. Sea M =

M tomando respectivamente los trminos pares e impares de los iniciales. De acuerdo con esta eleccin llamando b,c,B y C a las nuevas sucesiones se tendra

bn = a2n; cn = a2n+1; Bn = A2n; Cn = A2n+1.

Ahora es fcil comprobar que se verica

Am = Bm + Am = Bm -

m m

2MCm

(0 m < M (0 m < M

) )

2MCm

Adems ocurre que los pares de sucesiones (b,B) y (c,C) son tambin pares de transformadas discretas de Fourier. Un sencillo razonamiento nos dice que si calculamos previamente las dos sucesiones B y C y luego aplicamos las relaciones anteriores para calcular A, hemos hecho 2M multiplicaciones, es 2M de esta naturaleza.
2

decir,
2

nos (M

3M hemos

+ 2 ahorrado exactamente + 1) operaciones

Naturalmente el mayor inters est en poder reiterar estas simplicaciones, objetivo que se logra por supuesto eligiendo como nmero M una potencia de 2. Concretamente si M = 2k se demuestra que el nmero de multiplicaciones necesarias es del orden k.2k-1 frente a las (2k -1)2

necesarias si seguimos el mtodo general. Por ejemplo si k = 10, las cantidades anteriores son aproximadamente 5.000 y un milln.