You are on page 1of 15

La Transformada Discreta de Fourier y la

Transformada R´apida de Fourier
Luis Gerardo de la Fraga
30 de mayo de 2001
Resumen
Este documento describe la deducci´on de la Transformada Discreta de Fourier
(TDF) a partir de la formulaci´
on de los sistemas discretos en el tiempo y su Transformada de Fourier. Tambi´en se deduce el algoritmo optimizado para calcular la
TDF, que es la Transformada R´apida de Fourier (FFT, por sus siglas en ingl´es), en
decimaci´on en tiempo. Estos apuntes son una traducci´on propia del libro: Digital
Signal Processing, de A.V. Oppenheim y R.W. Schafer, Ed. Prentice Hall.

1

Secuencias

En teor´ıa de sistemas discretos en el tiempo, nos concierne el procesamiento de se˜
nales
que son representadas por secuencias. Una se˜
nal discreta en el tiempo es una secuencia.
Una secuencia de n´
umeros x, en la cual el n–´esimo n´
umero en la secuencia se denota
por x(n), se escribe formalmente como:
x = x{(n)},

para − ∞ < n < ∞

(1)

x(n)

x(−1)
x(−2)

x(0)
x(1)
x(2)

8 9
n
−7 −6 −5 −4 −3 −2 −1

1 2 3 4 5 6 7

Figura 1: Representaci´
on gr´afica de una se˜
nal discreta en el tiempo.

Aunque las secuencias no siempre provienen de muestrear formas de onda anal´ogicas,
por conveniencia se refiere a x(n) como la “n–´esima” muestra de la secuencia.

1

. n 0 Exponencial Real . . la secuencia racional ser´a peri´odica pero con un periodo m´as largo que 2 ... aunque hablando estrictamente x(n) denota el n–´esimo n´ umero en la secuencia.Muestra Unitaria 1 n 0 1 Escalon Unitario . x(n) est´a simplemente indefinida para valores no enteros de n. secuencias) se representan gr´aficamente como se muestra en la Fig. 2 Una secuencia exponencial real es cualquier secuencia cuyos valores son de la forma an . 0 n Senoidal . Aunque la abscisa es dibujada como una l´ınea continua. est´a definida como la secuencia de valores ( 0.. Las se˜ nales discretas en el tiempo (i.. donde a es un n´ umero real. Su definici´on es simple y precisa y no sufre de las complicaciones matem´aticas de la funci´on impulso en el tiempo continuo. La representaci´on gr´afica de la secuencia muestra unitaria puede verse en la parte superior de la Fig.e. La secuencia muestra unitaria.. 1. la secuencia muestra unitario es referida como un impulso discreto en el tiempo. . es importante reconocer que x(n) est´a definida solamente para valores enteros de n. Si 2π/ω0 no es un entero pero si un n´ umero racional. o simplemente como un impulso. δ(n).. n 0 Figura 2: Algunos ejemplos de secuencias. Una secuencia x(n) se define que es peri´ odica con periodo N si x(n) = x(n + N ) para todo n... la notaci´on de la ec.. n = 0 Por conveniencia.. Una secuencia senoidal tiene valores de la forma Acos(ω0 +φ). (1) es frecuentemente redundante. Una secuencia exponencial compleja es de la forma e(σ+jω0 )n . No es correcto pensar de x(n) que es cero para un n no entero. La exponencial compleja con σ = 0 y las secuencias senoidales tienen un periodo de 2π/ω0 solamente cuando ´este n´ umero real es un entero. Tambi´en. Las secuencias mostradas juegan un rol importante en la an´alisis y representaci´ on de se˜ nales y sistemas discretos en el tiempo. n 6= 0 δ(n) = (2) 1. y es conveniente e inambig¨ uamente referida como “la secuencia x(n)”.

las secuencias son manipuladas de varias maneras b´asicas. respectivamente: x · y = {x(n)y(n)} x + y = {x(n) + y(n)} (producto) (suma) La multiplicaci´on de una secuencia x por un n´ umero α est´a definida como: α · x = {αx(n)} Una secuencia y se dice que est´a retardada o es un versi´on recorrida de una secuencia x si y tiene valores y(n) = x(n − n0 ) donde n0 es un entero. la secuencia p(n) de la Fig. Si 2π/ω0 no es un n´ umero racional. En el an´alisis de sistemas de procesamiento de se˜ nales discretas en el tiempo. una secuencia arbitraria puede expresarse como: x(n) = ∞ X x(k)δ(n − k) (3) k=−∞ p(n) a1 a −3 2 −5 −4 −3 −2 −1 0 1 7 8 n 3 4 5 6 a2 a7 Figura 3: Secuencia arbitraria que ser´a expresada como una suma de muestras unitarias escaladas y retardadas. las secuencias senoidal y exponencial complejas no son peri´odicas. no hay p´erdida de generalidad en restringir ω0 continua en el intervalo 0 ≤ ω0 ≤ 2π (o de forma equivalente −π ≤ ω0 ≤ π) ya que las secuencias senoidales o exponenciales complejas obtenidas de varias ω0 en el intervalo 2πk ≤ ω0 ≤ 4π(k + 1) son exactamente id´enticas para cualquier k obtenido al variar ω0 en el intervalo 0 ≤ ω0 ≤ 2π. Por ejemplo. La frecuencia ω0 puede escogerse de una amplitud continua de valores.2π/ω0 . Una secuencia arbitraria puede expresarse como una suma de muestras unitarias retardadas escaladas. 3 . El producto y suma de dos secuencias x y y est´an definidas como el producto y suma muestra por muestra. 3 puede expresarse como: p(n) = a−3 δ(n + 3) + a1 δ(n − 1) + a2 δ(n − 2) + a7 δ(n − 7) De forma m´as general. Sin embargo.

una muestra unitaria ocurre a n = k. 4 x(n) −→ T[ ] −→ y(n) Figura 4: Representaci´on de una transformaci´on que mapea una secuencia de entrada x(n) en una secuencia de salida y(n). Los sistemas lineales est´an definidos por el principio de superposici´on. respectivamente. Si y1 (n) y y2 (n) son las respuestas cuando x1 (n) y x2 (n) son las entradas. (4) sugieren que un sistema lineal puede estar completamente caracterizado por su respuesta a la muestra unitaria. Si s´olo se toma en cuenta la linealidad. (5) la respuesta del sistema puede ser expresada en t´erminos de la respuesta del sistema a δ(n − k).2 Sistemas Lineales Invariantes al Corrimiento Un sistema est´a definido matem´aticamente como una trasformaci´on u ´nica o un operador que mapea una secuencia de entrada x(n) en una secuencia de salida y(n). (5) es limitado. un sistema es lineal si cumple la condici´ on de homogeneidad: [ T[ax(n)] = aT[x(n)] } y la condici´ on de aditividad T [x1 (n) + x2 (n)] = T [x1 (n)] + T [x2 (n)] siendo a una constante arbitraria. Entonces de la ec. Esto se denota como: y(n) = T [x(n)] y de forma gr´afica como se ve en la Fig. Espec´ıficamente. hk (n) depender´a tanto de n come de k. 4 . entonces un sistema es lineal si y solo si: T [ax1 (n) + bx2 (n)] = aT [x1 (n)] + bT [x2 (n)] = ay1 (n) + by2 (n) (4) para constantes arbitrarias a y b. por lo que el uso computacional de la ec. Una secuencia arbitraria x(n) puede ser representada como una suma de secuencias muestra unitaria escaladas y retardadas como en la (3). sea hk (n) la respuesta del sistema a δ(n − k). Un resultado m´as u ´til se obtiene si se toma en cuenta la restricci´on adicional de invarianza al corrimiento. de acuerdo a la ec. De forma extendida. (3) " y(n) = T [x(n)] = T ∞ X # x(k)δ(n − k) x=−∞ = = ∞ X k=−∞ ∞ X x(k)T [δ(n − k)] x(k)hk (n) (5) k=−∞ Por consiguiente. Esta representaci´on junto con la ec.

invarianza al corrimiento corresponde a invarianza en el tiempo. Cuando el ´ındice n es asociado con el tiempo. se dice que y(n) es la convoluci´on de x(n) con h(n) y se describe por la notaci´on y(n) = x(n) ∗ h(n) (7) Por sustituci´on de variables (haciendo a = n − k. resulta. por ejemplo) en la ecuaci´on (7) obtenemos la expresi´on alternativa. un SLIC con entrada x(n) y respuesta al impulso unitario h(n) tendr´a la misma salida que un sistema lineal invariante al corrimiento con entrada h(n) y respuesta al impulso unitario x(n). Si y(n) es una secuencia suyos valores est´an relacionados a los valores de dos secuencias h(n) y x(n) como en la ec. 3 Representaci´ on en el Dominio de la Frecuencia de Sistemas y Se˜ nales Discretas en el Tiempo Para un SLIC hemos visto que una representaci´on de la secuencia de entrada como una suma ponderada de secuencias muestra unitaria retardadas. entonces la respuesta a δ(n − k) es simplemente h(n − k). La ec. Por lo que la ec. entonces estudiamos el aparato mucho tiempo despu´es de haberlo encendido. Esta propiedad de los SLIC hace que la representaci´on de 1 Aqu´ı nos interesa el estudio de sistema los cuales est´an trabajando normalmente. (6). (5) se convierte en : y(n) = ∞ X x(k)hk (n − k) (6) k=−∞ Cualquier sistema lineal invariante al corrimiento (SLIC). est´a completamente caracterizado por su respuesta al pulso unitario h(n). y(n) = ∞ X h(k)x(n − k) = h(n) ∗ x(n) (8) k=−∞ De este modo. En otras palabras. La respuesta al encendido se la conoce como respuesta transitoria. entonces y(n − k) es la respuesta x(n − k). Una propiedad fundamental de los SLIC es que la respuesta en estado estable 1 a una senoidal es una senoidal a la misma frecuencia de la entrada. entonces. (6) es llamada com´ unmente la suma de convoluci´ on. el orden en que las dos secuencias son convolucionadas no es importante y la salida del sistema es la misma si la entrada y la respuesta al impulso unitario son intercambiadas. Podemos imaginar un aparato el´ectrico al cual encendemos el interruptor. resulta en una representaci´on de la salida como una suma ponderada de respuestas a la muestra unitaria retardadas. La propiedad de invarianza al corrimiento implica que si h(n) es la respuesta a δ(n − k). La respuesta cuando funciona normalmente se le llama respuesta en estado estable 5 . con una amplitud y fase determinadas por el sistema.La clase de sistemas invariantes al corrimiento est´a caracterizada por la propiedad de que si y(n) es la respuesta a x(n). donde k es un entero positivo o negativo.

la respuesta a (A/2)ejφ ejω0 n es y1 (n) = H(ejω0 6 A jφ jω0 n e e 2 . H(ejω ) es compleja y puede expresarse en t´erminos de sus partes real e imaginaria como: H(ejω ) = HR (ejω ) + jHI (ejω ) o en t´erminos de su magnitud y fase : jω )] H(ejω ) = |H(ejω )|ej arg[H(e Algunas veces es mas conveniente referirse al retardo de grupo m´as que a la fase. Espec´ıficamente. de la fase. Entonces. Supongamos que la secuencia de entrada es x(n) = ejωn para −∞ < n < ∞.las se˜ nales en t´erminos de senoides o exponenciales complejas (esto es. Ya que una senoide puede ser expresada como una combinaci´on lineal de exponenciales complejas. considerar x(n) = A cos(ω0 n + φ) = A jφ jω0 n e e + e−jφ e−jω0 n 2 De la ec. con respecto a ω. representaciones en Fourier) sea u ´til en teor´ıa de sistemas lineales. El retardo de grupo est´a definido como el negativo de la primera derivada. (8) la salida es: y(n) = = ∞ X h(k)ejω(n−k) k=−∞ ∞ X h(k)ejωn e−jωk k=−∞ jωn =e ∞ X h(k)e−jωk k=−∞ Si se define jω H(e ) = ∞ X h(k)e−jωk (9) k=−∞ podemos escribir: y(n) = H(ejω )ejωn (10) jω De la ec.e.. usando la ec. la respuesta en frecuencia tambi´en expresa la respuesta a una entrada senoidal. (9) podemos ver que H(e ) describe el cambio en la amplitud compleja de una exponencial compleja como una funci´on de la frecuencia ω. una exponencial compleja de frecuencia ω (en radianes). i. La cantidad H(ejω ) se llama respuesta en frecuencia del sistema cuya respuesta a la muestra unitaria es h(n). (10). En general.

Se este modo. entonces de la ec. Con esa observaci´on sigue que h(n) puede evaluarse a partir de H(ejω ) por medio de la relaci´on usada para obtener los coeficientes de Fourier de una funci´on peri´odica. Por lo que las ecuaciones (11) y (12) forman el par de transformadas de Fourier para la secuencia h(n). (12) jugando el papel de la transformada directa (an´alisis) de la secuencia h(n) y la ec. La representaci´on de una secuencia por la transformada de la ec. si no que puede aplicarse a cualquier secuencia cumpliendo que las series de la ec. i. La ecuaci´on (9) de hecho.e. (12) convergen. As´ı la respuesta del sistema es: y(n) = ¤ A£ H(ejω0 )ejφ ejω0 n + H(e−jω0 )e−jφ e−jω0 n 2 ´o y(n) = A|H(ejω0 )| cos(ω0 n + φ + θ) donde θ = arg[H(ejω0 )] es la fase de la respuesta del sistema a la frecuencia ω0 . expresa H(ejω ) en la forma de series de Fourier donde los coeficientes de Fourier corresponden a la respuesta a la muestra unitaria h(n). con la ec. este comportamiento es completamente razonable. Espec´ıficamente es u ´til considerar a la ec. (12). Esta propiedad se deduce directamente de la ec. (11) como una representaci´on de la secuencia h(n) como una superposici´on (una integral) de se˜ nales exponenciales cuyas amplitudes complejas est´an determinadas por la ec. 12) convergen. A´ un m´as. H(ejω ) es una funci´on continua de ω. (7) la respuesta a (A/2)e−jφ e−jω0 n es el complejo conjugado de la respuesta a (A/2)ejφ ejω0 n . para una secuencia general x(n) se define la transformada de Fourier como : jω X(e ) = ∞ X n=−∞ y la transformada de Fourier inversa como: 7 x(n)e−jωn (13) . (11) siendo la transformada de Fourier inversa (s´ıntesis).Si h(n) es real. Tal representaci´on existe si las series en la ec. (12) no est´a restringida a la respuesta a la muestra unitaria de un sistema. Ya que H(ejω ) es una funci´on peri´odica de ω. 9 ya que ej(ω+2π)k = ejωk . El hecho de que la respuesta en frecuencia tiene mismo valor en ω y en ω + 2π significa simplemente que el sistema responde id´enticamente a exponenciales complejas a estas dos frecuencias. esta es una funci´on peri´odica de ω con periodo 2π. esta puede ser representada por series de Fourier.. Z π 1 h(n) = H(ejω )ejωn dω (11) 2π −π donde jω H(e ) = ∞ X h(n)e−jωn (12) n=−∞ Estas ecuaciones tienen una interpretaci´on alternativa como una representaci´on de la secuencia h(n). y dado que estas dos frecuencias exponenciales son indistinguibles.

Esto es debido al principio de una superposici´on y al hecho de que la respuesta de tal sistema a una exponencial compleja est´a completamente determinada por la respuesta en frecuencia. entonces la respuesta de un SLIC auna entrada x(n) es una correspondiente superposici´on de respuestas debidas a cada exponencial compleja que va representando la salida. (14) como una superposici´on de exponenciales complejas de amplitud incremental. 4 Algunas Propiedades de Simetr´ıa de la Transformada de Fourier Una secuencia conjugada sim´etrica xe (n) est´a definida como una secuencia para la cual xe (n) = x∗e (−n) Re Im Figura 5: Ejemplo de una secuencia conjugada sim´etrica Una secuencia conjugada antisim´etrica xo (n) est´a definida como una secuencia para la cual xe (n) = −x∗o (−n) donde ∗ denota la conjugaci´on compleja. 8 . puede derivarse de una forma m´as rigurosa simplemente evaluando la transformada de Fourier de la suma de convoluci´on y(n) = ∞ X x(k)hk (n − k) k=−∞ Aunque generando de esta forma la ec. H(ejω ).1 x(n) = 2π Z π X(ejω )ejωn dω (14) −π El hecho de que una secuencia pueda ser representada por una superposici´on de exponenciales complejas es de una gran importancia en el an´alisis de los SLIC. Ya que la respuesta de cada exponencial compleja se obtiene multiplic´andola por H(ejω ). Si vemos a la ec. por supuesto. (15) provee una justificaci´on rigurosa. Z π 1 y(n) = H(ejω )X(ejω )ejωn dω 2π −π Por lo que la transformada de Fourier de la salida es : Y (ejω ) = H(ejω )X(ejω ) (15) Este resultado tiene su contraparte en la teor´ıa de sistemas lineales continuos en el tiempo y. (15) es un resultado directo de las propiedades especiales de los SLIC. la discusi´on previa ha sida para enfatizar que la ec.

es referida generalmente como una secuencia impar. es referida generalmente como una secuencia par. Una transformada de Fourier X(ejω ) puede ser descompuesta en una suma de funciones conjugada sim´etrica y conjugada antisim´etrica como: donde X(ejω ) = Xe (ejω ) + Xo (ejω ) (19) 1 Xe (ejω ) = [X(ejω ) + X ∗ (e−jω )] 2 (20) 9 . 7) como: x(n) = xe (n) + xo (n) (16) 1 xe (n) = [x(n) + x∗ (−n)] 2 (17) donde: y 1 (18) xo (n) = [x(n) − x∗ (−n)] 2 Una secuencia real que es conjugada sim´etrica. y una secuencia real la cual es conjugada antisim´etrica.Re Im Figura 6: Ejemplo de una secuencia conjugada antisim´etrica 2 x(n) 0 x(−n) 0 (1/2)[x(n)+x*(−n)] 0 (1/2)[x(n)−x*(−n)] 0 Figura 7: Construcci´on de las secuencias componentes par e impar de una secuencia real x(n) Una secuencia arbitraria x(n) puede expresarse siempre como una suma de secuencias conjugada sim´etricas y conjugadas antisim´etricas (ver fig. esto es xo (n) = −xo (−n). esto es xe (n) = xe (−n).

los componentes conjugado sim´etrico y conjugado antisim´etrico de x(n). Para una jω ∗ −jω secuencia real.. la parte real de la TF es una funci´on par y la parte imaginaria es una funci´on impar. Tambi´en para una secuencia real. (21) Xe (ejω ) = Xe∗ (e−jω ) y Xo (ejω ) = −Xo∗ (e−jω ) Como en el caso de las secuencias... Puede demostrarse que la TF de x∗ (n) es X ∗ (e−jω ) y la TF de x∗ (−n) es X ∗ (ejω ). Expresando X(ejω ) en t´erminos de sus partes real e imaginaria como X(ejω ) = <[X(ejω )] + j=[X(ejω )] se tiene que <[X(ejω )] = <[X(e−jω )] y =[X(ejω )] = −=[X(e−jω )] i. equivalentemente. se deduce que la TF de xe (n) es <[X(ejω )] y la TF de xo (n) es j=[X(ejω )]. Si x(n) es una secuencia real.e. Como resultado de esto. la parte conjugada sim´etrica de X(ejω ). i. De forma similar. es referida generalmente como una funci´ on par. las propiedades de simetr´ıa son muy u ´tiles. 12 [x(n)−x∗ (n)] o.e. X(e ) = X (e ).e. la parte par de x(n) transforma a <[X(ejω )] y la parte impar de x(n) transforma a j=[X(ejω) ]. una secuencia compleja x(n) con transformada de Fourier (TF) X(ejω ). Considerando la TF de xe (n) y de xo (n). expresando X(ejω ) en coordenadas polares como jω )] X(ejω ) = |X(ejω )|ej arg[X(e se tiene que para una secuencia real x(n). y usando el hecho de que la TF de la suma de dos secuencias es la suma de las TF. Consideremos el caso m´as general. la magnitud de la TF es una funci´on par de ω y la fase dada por arg[X(ejω )] es una funci´on impar de ω. y si es conjugada antisim´etrica es referida generalmente como una funci´on impar.y 1 Xo (ejω ) = [X(ejω ) − X ∗ (e−jω )] 2 donde Xe (ejω ) es conjugada sim´etrica y Xo (ejω ) es conjugada antisim´etrica. si una funci´on real es conjugada sim´etrica. j=[x(n)] tiene una TF que es el componente conjugado antisim´etrico de Xo (ejω ). equivalentemente. se tiene que la TF de 21 [x(n) + x∗ (n)] o. 10 . i. o equivalentemente. <[x(n)] es 21 [X(ejω )+X ∗ (e−jω) ]. la TF es conjugada sim´etrica. De forma similar.

. (24). o equivalentemente por secuencias de exponenciales complejas. N −1 X ˜ x˜(n)e−j(2π/N )nr = X(r) n=0 11 . Esto es una consecuencia del hecho de qe la exponencial compleja ek (n) = ej(2π/N )nk (22) es peri´odica en k con un peri´odo de N . se usa el hecho de que N −1 1 X j(2π/N )nk e = N n=0 ( 1. Es posible representar a x˜(n) en t´erminos de series de Fourier. se obtiene N −1 X x˜(n)e −j(2π/N )nr n=0 N −1 N −1 1 XX ˜ X(k)ej(2π/N )(k−r)n = N n=0 k=0 O. En contraste con las series de Fourier de funciones peri´odicas continuas. multiplicando ambos lados de la ec. (22) con k = 0. por supuesto. . intercambiando el orden de la suma sobre el lado derecho de la ecuaci´on " N −1 # N −1 N −1 X X X 1 j(2π/N )(k−r)n ˜ x˜(n)e−j(2π/N )nr = X(k)e N n=0 n=0 k=0 Y usando la ec. para r = mN. As˜ ni la representaci´on en series de Fourier de una secuencia peri´odica. y consecuentemente el conjunto de N exponenciales complejas en la ec. no tiene un efecto importante sobre la naturaleza de la representaci´on. x˜(n). As´ı.5 Las Series Discretas de Fourier Considerando una secuencia x˜(n) que es peri´odica con peri´odo N . e1 (n) = eN +1 (n). necesita contener solo N de estas exponenciales complejas y por esta raz´on tiene la forma N −1 1 X ˜ X(k)ej(2π/N )nk x˜(n) = N k=0 (23) La constante multiplicativa 1/N ha sido incluida por conveniencia y. 1. esto es. Para obtener los ˜ coeficientes X(k) a partir de la secuencia peri´odica x˜(n). . 2. (23) por e−j(2π/N )nr y sumando de n = 0 hasta N − 1. por sumas de secuencias de senos y cosenos. de otro modo (24) Por lo tanto. de forma que x˜(n) = x˜(n + kN ) para cualquier valor entero de k. m un entero 0. existen solamente N distintas exponenciales complejas que tienen un periodo que es un subm´ ultiplo entero del periodo fundamental N . . e0 (n) = eN (n).. N − 1 definen todas las exponenciales complejas distintas con frecuencias que son un m´ ultiplo entero de 2π/N . con frecuencias que son m´ ultiplos enteros de la frecuencia fundamental 2π/N asociada con la secuencia peri´odica. etc.

teniendo amplitud cero los u ´ltimos (N − M ) puntos del intervalo. . La representaci´on de Fourier resultante para secuencias de duraci´on finita es lo que se conoce como la transformada discreta de Fourier (TDF). Se puede representar una secuencia de duraci´on finita de largo N por una secuencia peri´odica con periodo N . (22) son solamente distintas para k = 0. para la cual x(n) es un periodo. y de esto modo solo puede haber N coeficientes distintos en la representaci´on en series de Fourier de una secuecia peri´odica. . un periodo de la cual es id´entica a la secuencia de duraci´on finita. Por conveniencia en la notaci´on estas ecuaciones generalmente se escriben en t´erminos de WN definido como WN = e−j(2π/N ) De esta forma el par de SDF de an´alisis y s´ıntesis queda expresado como ˜ X(k) = x˜(n) = 6 N −1 X x˜(n)WNkn n=0 N −1 X 1 N −kn ˜ X(k)W N (26) (27) k=0 La Transformada Discreta de Fourier Una secuencia peri´odica puede ser representada por series de Fourier. X(1) = X(N + 1).. (23) se ontienen de la relacion ˜ X(k) = N −1 X x˜(n)e−j(2π/N )nk (25) n=0 ˜ N´otese que la secuencia X(k) dada por la ecuaci´on (25) es peri´odica con un periodo de N . Consideremos una secuencia de duraci´on finita x(n) de largo N de forma que x(n) = 0 excepto en el intervalo 0 ≤ n ≤ (N − 1). 1. X(0) = X(N ). consistente con el hecho de que las exponenciales complejas de la ec. la misma representaci´on puede ser aplicada a secuencias de duraci´on finita. ˜ ˜ ˜ ˜ i. La secuencia peri´odica correspondiente de periodo N . por supuesto. . N − 1. . Claramente una secuencia de largo M menor que N tambi´en puede considerarse de largo N . As´ı. Las ecuaciones (23) y (25) juntas pueden ser vistan como un par de transformaci´on y se refieren como la representaci´on en series discretas de Fourier (SDF) de una secuencia peri´odica. Esto es consistente. la ecuaci´on (28) puede ser escrita alternativamente como x˜(n) = x(n%N ) 12 (29) . Con la correcta interpretaci´on.˜ Por lo que los coeficientes X(k) en la ec. ser´a denotada por x˜(n) y est´a dada por x˜(n) = ∞ X x(n + rN ) (28) r=−∞ Dado que x(n) es de largo finito N no hay sobrelapamiento entre los t´erminos x(n + rN ) para diferentes valores de r. etc.e.

( x˜(n). 0 ≤ n ≤ N − 1 RN (n) = 0. Para mantener una dualidad entre los dominios del tiempo y frecuencia. As´ı. de otro modo Por conveniencia en la notaci´on. se escoger´an los coeficientes de Fourier que se asocian con la secuencia de duraci´on finita correspondiente ˜ a un periodo de X(k). (34) la transformada de s´ıntesis. 13 . con la ec. 0 ≤ k ≤ N − 1 X(k) = (33) 0. con X(k) denotando los coeficientes de Fourier que se asocian ˜ con x(n). X(k) y X(k) est´an relacionados por ˜ X(k) = X(k%N ) ˜ X(k) = X(k)R N (k) ˜ De la secci´on 5. es u ´til definir la secuencia rectangular RN (n) dada por ( 1. 0 ≤ n ≤ N − 1 N (34) x(n) = 0. La secuencia de duraci´on finita x(n) es obtenida a ˜ partir de (x)(n) extrayendo un periodo. (33) y (34) se conocen como la transformada discreta de Fourier (TDF). de otro modo Con esta notaci´on la ecuaci´on de arriba puede escribirse como x(n) = x˜(n)RN (n) (30) ˜ Como se escribi´o en la secci´on 5. i. de otro modo ( P N −1 −kn 1 k=0 X(k)WN . (31) y (32) involucran solamente el intervalo entre 0 y N − 1. X(k) y x˜(k) est´an relacionadas por ˜ X(k) = x˜(k) = N −1 X x˜(n)WNkn n=0 N −1 X 1 N −kn ˜ X(k)W N (31) (32) k=0 Ya que las sumas en las ecs. 0 ≤ n ≤ N − 1 x(n) = 0.e. los coeficientes de la series de Fourier discreta X(k) de la secuencia peri´odica x˜(n) son en s´ı mismas una secuencia peri´odica con periodo N .donde % indica la operaci´on m´ odulo. de otro modo El par de transformadas dadas por las ecs. (33) representando la transformada de an´alisis y la ec. se deduce que (P N −1 kn n=0 x(n)WN .

x(n) y X(k) pueden ser complejas. (34). N 2 multiplicaciones complejas. 2 Recu´erdese el producto de dos n´ umeros complejos: (a + jb)(c + jd) = ac − bd + j(ad + bc) 14 . Para indicar la importancia de los esquemas de c´alculo eficiente. procedimientos de c´alculo que reduzcan el n´ umero de multiplicaciones y adiciones son de un inter´es considerable. el dise˜ no y la realizaci´on de algoritmos y sistemas de procesamiento digital de se˜ nales. del tiempo requerido par llevar a cabo un algoritmo computacional. (33) se aplican con las modificaciones obvias a la ec. Las expresiones de estas ecuaciones s´olo difieren en el signo del exponente de WN y en un factor de escala 1/N . por lo que una discusi´on de los procedimientos computacionales de la ec. Ya que X(k) debe ser calculado para N valores diferentes de k. y por ende el tiempo de procesamiento. una medida conveniente de la eficiencia de los c´alculos es el hecho que se requieren 4N 2 multiplicaciones reales y N (4N − 2) adiciones reales. se acepta de forma general que un significado de la medida de complejidad. Debido a esta raz´on. para el c´alculo directo la TDF.7 La Transformada R´ apida de Fourier Las transformada discreta de Fourier (TDF) juega un papel importante en el an´alisis. Ya que la cantidad de c´alculos. Dado que x(n) puede ser compleja 2 se puede escribir X(k) = N −1 X ©¡ ¢ ¡ ¢ª <[x(n)]<[WNkn ] − =[x(n)]=[WNkn ] + j <[x(n)]=[WNkn ] + =[x(n)]<[WNkn ] n=0 (35) De la ec. La realizaci´on del c´alculo de la TDF sobre una computadora de uso general o sobre un hardware de uso espec´ıfico requiere por supuesto de localidades para almacenamiento y accesar los valores de la secuencia de entrada x(n) y los valores de los coeficientes WNkn . (35) es claro que para cada valor de k. Una de las razones por las que el an´alisis en Fourier es de una amplia importancia en procesamiento digital de se˜ nales es debido a la existencia de una algoritmo eficiente para calcular la TDF. alternativamente. En las ec. y N (N − 1) adiciones complejas. De este modo. es el n´ umero de multiplicaciones y adiciones requeridos. el c´alculo directo de X(k) requiere 4N multiplicaciones y 2N + 2(N − 1) = 4N − 2 adiciones reales. es instructivo considerar la evaluaci´on directa de las ecuaciones de la TDF. el c´alculo directo de la TDF de una secuencia x(n) requiere 4N 2 multiplicaciones reales y N (4N − 2) adiciones reales o. es aproximadamente proporcional a N 2 . es evidente que el n´ umero de operaciones aritm´eticas requeridas para calcular la TDF por el m´etodo directo se vuelve muy grande para valores grandes de N . Debido a que la cantidad de accesos y almacenamiento de datos en algoritmos de c´alculo num´erico es generalmente proporcional al n´ umero de operaciones aritm´eticas. o. (33) y (34).

Ap´ endice Identidades de Euler (f´ormulas u ´tiles) ejθ = cos θ + j sen θ e−jθ = cos θ − j sen θ ejθ − e−jθ 2j jθ e + e−jθ cos θ = 2 sen θ = 15 .