Beruflich Dokumente
Kultur Dokumente
Abstract
In the present work important points are written in the analysis of the continuous Fourier
transform and the Z transform. The content presents an introduction to the concepts,
theorems and detailed demonstrations through equations and graphs. The most
outstanding points are the development of the theorems and properties of each of the
transformants to be treated.
I. OBJETIVO GENERAL
III. DESARROLLO
T p
0 − <t<−
2 2
p p
𝑓(𝑡) = 1 − <t<
2 2
p T
{0 2
<t< }
2
Los coeficientes de la serie compleja de Fourier en este caso resultan puramente reales:
p
p Sen (nω0 ∙ 2)
Cn = ( ) p
T (nω0 ∙ 2)
Las series de Fourier son útiles para el estudio de señales periódicas pero, desafortunadamente,
este tipo de señales no son tan frecuentes en la práctica como las no-periódicas. Esta situación
requiere el desarrollo de una teoría matemática más ambiciosa y a ello vamos a dedicar algún
tiempo. Sea x(t) una señal aperiódica definida en todo el intervalo real y denotemos por
xT (t) (T > 0) la señal 2T- periódica que se obtiene a partir de x(t) haciendo xT (t) = x(t) para t
∈ (−T, T] y extendiendo periódicamente con periodo 2T. Si suponemos que x(t) es
suficientemente suave (e.g., es C (ℝ)), entonces tendremos la identidad:
∞ T
1 πi
-( )ks
πi
( )kt
𝑥(𝑡)= 𝑥𝑇 (t) ∑ [∫ x(s)e T ds] e T , para t ∈ (-T, T]
2T -T
k=-∞
(1)
Ahora bien, |fk+1 − fk| = ∆f = 1/2T ( k ∈ Z ) y, por tanto, podemos interpretar los puntos {fk}
como nodos equiespaciados de una partición de Riemann para la integral limite
∞ ∞
∫ (∫ x(s)e-2πi𝑓s ds) e2πi𝑓𝑡 df
−∞ −∞
Es decir, podemos concluir que (bajo ciertas condiciones restrictivas sobre la suavidad de la señal
aperiódica x(t)) se satisface la siguiente identidad (llamada: Teorema integral de Fourier):
∞ ∞
𝑥(𝑡) ∫ (∫ x(s)e-2πi𝑓s ds) e2πi𝑓𝑡 df
−∞ −∞
1 ∞ ∞
𝑥(𝑡)= ∫ (∫ 𝑥(𝑠) 𝑒 −𝑖ξs 𝑑𝑠) 𝑒 𝑖ξt 𝑑ξ
2π −∞ −∞
La señal
∞
ℱ(𝑥)(ξ):=𝑥̂(ξ)≔ ∫ 𝑥(𝑠) 𝑒 −𝑖ξs 𝑑𝑠
−∞
La señal
∞
1
ℱ −1 𝑦(t)≔ ∫ 𝑦(ξ) 𝑒 𝑖ξs 𝑑ξ
2π −∞
1 ∞ ∞
𝑥(𝑡)= ∫ (∫ 𝑥(𝑠) 𝑒 −𝑖ξs 𝑑𝑠) 𝑒 𝑖ξt 𝑑ξ
2π −∞ −∞
1 ∞
= ∫ ℱ(𝑥)(ξ)𝑒 𝑖ξt 𝑑ξ=ℱ −1 ( ℱ(𝑥))(𝑡)
2π −∞
Y de manera análoga
ℱ(ℱ −1 (𝑦))(ξ) = 𝑦(ξ)
Una cosa es clara: bajo ciertas hipótesis (que luego especificaremos), conocer la transformada de
Fourier de una señal equivale a conocer dicha señal, ya que al aplicar la transformada inversa
recuperamos toda la información. De igual forma, si conocemos los coeficientes de Fourier
{𝑐𝑘 }∞
𝑘=−∞ de cierta señal (periódica) x(t), de la que sabemos que es suficientemente suave,
entonces conocemos la señal, pues para rescatarla completamente bastara sumar la
correspondiente serie de Fourier. Así, el papel del espectro de la señal, que en el caso periódico lo
juegan los coeficientes de Fourier, en el caso aperiódico lo juega la transformada de Fourier. Para
evitar problemas con la definición de transformada de Fourier, supondremos que la señal x(t) es
absolutamente integrable en ℝ. Es decir, supondremos que:
∞
‖𝑥‖𝐿(ℝ) = ∫ |𝑥(𝑡)|𝑑𝑡 < ∞
−∞
En tal caso, su transformada 𝑥̂(ξ) existe y esta uniformemente acotada en ℝ, pues |𝑒 −𝑖ξs | = 1 para
ξ, s ∈ ℝ implica |𝑥̂(ξ) | ≤ ‖𝑥‖𝐿(ℝ) para ξ ∈ ℝ.
La palabra transformada indica que estamos trabajando con una herramienta para
transformar un tipo determinado de problema en otro. De hecho, la transformada de
Fourier será útil (como veremos) para simplificar el estudio de la solución de cierto tipo
de ecuaciones diferenciales, convirtiendo el problema de la solución de una ED en un
problema de solución de ecuaciones algebraicas. La motivación para dicho estudio está
en el hecho de que la transformada de Fourier posee buenas propiedades algebraicas
cuando se aplica a las derivadas sucesivas de una señal, o al trasladar la señal, etc. En
este apartado estudiamos las propiedades más sencillas de la transformada de Fourier. A
continuación exponemos una lista de las propiedades elementales de ℱ(𝑥)(ξ) = 𝑥̂(ξ)
Nota: Mantenemos ambas notaciones, ℱ(𝑥) y ̂𝑥 para la transformada de Fourier, porque a veces
una de ellas es más cómoda o más clarificadora que la otra. Por otra parte, esto ayuda a
que el estudiante se familiarice con ambas notaciones y, por tanto, le permitirá leer
fácilmente diferentes textos sobre el tema (ya que por ahora no hay acuerdo unánime para
la notación en esta materia). [1][2]
Linealidad
Traslación en el tiempo
Demostración. En realidad, esta propiedad es trivial: basta hacer un cambio de variable, como se
observa a continuación:
∞
ℱ[𝑥(𝑡 − 𝑎)](ξ) = ∫ 𝑒 −𝑖ξt 𝑥(𝑡 − 𝑎)𝑑𝑡
−∞
∞
= ∫ 𝑒 −𝑖ξ(s+a) 𝑥(𝑠)𝑑𝑠 (𝑑𝑜𝑛𝑑𝑒 𝑠 = 𝑡 − 𝑎)
−∞
= 𝑒 −𝑖𝑎ξ ℱ[𝑥(𝑡)](ξ)
= ℱ[𝑥](δξ)
ℱ(𝑡𝑥(𝑡))(ξ) = 𝑖ℱ(𝑥)'(ξ)
Demostración. En este caso vamos a utilizar la formula de integración por partes, para el cálculo
de 𝑥̂ ′ :
∞
𝑥̂ ′ (ξ) = ∫ 𝑒 −𝑖ξt 𝑥′(𝑡)𝑑𝑡
−∞
∞
= 𝑒 −𝑖ξt 𝑥(𝑡)]𝑡=∞
𝑡=−∞ + 𝑖ξ ∫ 𝑒
−𝑖ξt
𝑥(𝑡)𝑑𝑡
−∞
= 𝑖ξ𝑥̂(ξ)
1 𝑠𝑖 |𝑡| < 𝑎
𝑢𝑎 (𝑡) = { }
0 𝑒𝑛 𝑜𝑡𝑟𝑜 𝑐𝑎𝑠𝑜
Su transformada de Fourier es
∞
ℱ(𝑢𝑎 )(ξ) = ∫ 𝑢𝑎 (𝑠)𝑒 −𝑖ξs 𝑑𝑠
−∞
𝑎
𝑒 −𝑖ξs 𝑠=𝑎 𝑒 −𝑖𝑎ξ − 𝑒 −𝑖𝑎ξ
= ∫ 𝑒 −2𝜋𝑖ξs 𝑑𝑠 = ]𝑠=−𝑎 =
−𝑎 −𝑖ξ −𝑖ξ
sen(𝑎ξ)
=2
ξ
2 ξ2
Teorema 1 Si x(t) = 𝑒 −𝑡 , entonces 𝑥̂(ξ) = √𝜋𝑒 (− 4 )
∞ 2
Demostración. El primer paso para el cálculo de 𝑥̂(ξ) = ∫−∞ 𝑒 −𝑡 𝑒 −𝑖ξt 𝑑𝑡 consiste en agrupar en
2
un solo término el producto 𝑒 −𝑡 𝑒 −𝑖ξt , de manera que aparezca como exponente un
cuadrado perfecto. [1][2]
𝑖ξ 2 ξ2
(𝑡 + ) = 𝑡 2 + 𝑖ξt - ,
2 4
Resulta que:
ξ2 𝑖ξ 2
−(𝑡 2 + 𝑖ξt) = − − (𝑡 + )
4 2
Y, por tanto,
∞ ∞ ξ2 2
2
𝑥̂(ξ) = ∫ 𝑒 −𝑡 𝑒 −𝑖ξt 𝑑𝑡 = ∫ 𝑒 − 4 −(𝑡+𝑖ξ/2) 𝑑𝑡
−∞ −∞
ξ2 ∞
− 2
=𝑒 4 ∫ 𝑒 −(𝑡+𝑖ξ/2) 𝑑𝑡,
−∞
lim ℱ (𝑥)(ξ) = 0
ξ→±∞
Otro resultado importante (y, en principio, inesperado) consiste en que podemos garantizar la
continuidad de 𝑥̂(ξ), para ξ ∈ ℝ, incluso para senales x(t) discontinuas. Mas
precisamente, se satisface el siguiente teorema:
Demostración. Para demostrar el teorema, vamos a hacer uso de un resultado técnico de análisis
real que no cabe demostrar en un curso del nivel que nos proponemos, pero si podremos
utilizar. Se trata de una versión del teorema de la convergencia dominada de Lebesgue
adaptada al contexto en que nos encontramos:
entonces
∞ ∞ ∞
lim ∫ 𝑥ℎ (𝑡) 𝑑𝑡 = ∫ (lim𝑥ℎ (𝑡))𝑑𝑡 = ∫ 𝑥(𝑡)𝑑𝑡
h→0 −∞ −∞ −∞
h→0
Ahora podemos demostrar la continuidad de 𝑥̂(ξ). Para ello, fijado ξ ∈ ℝ hacemos los siguientes
cálculos:
∞
𝑥̂(ξ+h) − 𝑥̂(ξ) = ∫ 𝑥(𝑡)(𝑒 −𝑖(ξ+h)t 𝑒 −𝑖ξt )𝑑𝑡
−∞
∞ ∞
= ∫ 𝑥(𝑡)𝑒 −𝑖ξt (𝑒 −𝑖ht − 1)𝑑𝑡 = ∫ 𝑥ℎ (𝑡) 𝑑𝑡,
−∞ −∞
donde 𝑥ℎ (𝑡) = 𝑥(𝑡)𝑒 −𝑖ξt (𝑒 −𝑖ht − 1). Es claro que, para ξ, h, t ∈ ℝ se tiene que
Teorema 6 Supongamos que las funciones 𝑥(𝑡)𝑒 𝑠1 t y 𝑥(𝑡)𝑒 𝑠2 t son continuas a trozos y
absolutamente integrables en toda la recta real, y s1 < s2. Entonces la función
∞
𝐹(𝑧) = ∫ 𝑥(𝑡) 𝑒 −𝑖𝑧t 𝑑𝑡
−∞
𝐷 = {𝑧 ∈ ℂ: 𝐼𝑚 𝑧 ∈ (𝑠1 , 𝑠1 )}
‖𝑥̂
∗ 𝑦‖𝐿(ℝ) ≤ ‖𝑥‖𝐿(ℝ) ‖𝑦‖𝐿(ℝ)
Una pregunta natural es: “¿Cómo sabemos cuál transformada utilizar en un determinado
problema de valores en la frontera?” Resulta evidente que, para usar una transformada de Fourier,
el dominio de la variable a eliminar debe ser (−∞, ∞) . Para utilizar la transformada seno o la
coseno, el dominio de al menos una de las variables del problema debe ser [0, ∞). Sin embargo, el
factor determinante al optar por la transformada seno o la coseno es el tipo de condición de
frontera especificada en el cero. [3]
Fig. 4. Función Coseno aplicando transformada de Fourier [4]
Fig.5. Relación entre sistemas continuos y discretos lineales y las transformadas de Laplace
y Z respectivamente [6]
𝑋(𝑒 𝑗𝜔 ) = ∑∞
𝑛=−∞ 𝑥[𝑛]𝑒
−𝑗𝜔𝑛
. (10.1)
𝑋(𝑧) = ∑∞
𝑛=−∞ 𝑥[𝑛]𝑧
−𝑛
. (10.2)
en donde z es una variable compleja. Algunas veces resulta conveniente utilizar el operador Z{·}
para representar la transformada z:
𝑍{𝑥[𝑛]} = 𝑋(𝑧) = ∑∞
𝑛=−∞ 𝑥[𝑛]𝑧
−𝑛
. (10.3)
𝑋(𝑧) = ∑∞
𝑛=0 𝑥[𝑛]𝑧
−𝑛
. (10.5)
Resulta obvio que las transformadas unilateral y bilateral son equivalentes solo si x[n] = 0 para n
< 0. Este curso se concentrará exclusivamente en las transformadas bilaterales.
Es evidente, al comparar las Ecuaciones (10.1) y (10.2), que existe una relación muy cercana
entre la trasformada de Fourier y la transformada z. Se puede observar que si en la definición de
la transformada z de la Ecuación (10.2) se hace la variable compleja z igual a la variable compleja
ejω, se obtiene la trasformada de Fourier de la Ecuación (10.1). Cuando existe, la transformada de
Fourier es simplemente X(z) con z = ejω. Esto impone la restricción de que z tiene una magnitud
unitaria, esto es, para |z| = 1, la transformada z corresponde a la transformada de Fourier.
𝑧 = 𝑟𝑒 𝑗𝜔 . (10.6)
𝑋(𝑟𝑒 𝑗𝜔 ) = ∑∞
𝑛=−∞(𝑥[𝑛]𝑟
−𝑛 ) −𝑗𝜔𝑛
𝑒 . (10.8)
Nótese que ω es el ángulo entre el vector al punto z en el círculo unitario y el eje real del plano
complejo z. Si se evalúa X(z) en puntos del círculo unitario en el plano z empezando por z = 1 (ω
= 0), pasando por z = j (ω = π/2), hasta llegar a z = -1 (ω = π), se obtiene la transformada de
Fourier para el rango de frecuencias 0 ≤ ω ≤ π. Continuando alrededor del círculo unitario se
obtiene la trasformada de Fourier de ω = π a ω = 2π o, de manera equivalente, de ω = -π a ω =
0.
Así como la transformada de Fourier puede no converger para todas las secuencias, la
transformada z no converge para todas las secuencias o para todos los valores de z. Para toda
secuencia, el conjunto de valores de z para el cual la transformada z converge se llama región de
convergencia o, de manera abreviada en inglés, ROC. Anteriormente se demostró que la
transformada de Fourier de una secuencia x[n] converge en una función continua de ω si x[n] es
absolutamente sumable. Si se aplica este criterio a la Ecuación (10.8), se tiene la condición de
convergencia de la transformada z:
∑∞
𝑛=−∞ |𝑥[𝑛]𝑟
−𝑛
|<∞ (10.9)
∑∞
𝑛=−∞ |𝑥[𝑛]| |𝑧|
−𝑛
<∞ (10.10)
La transformada z es más útil cuando la suma infinita puede ser expresada en forma cerrada, esto
es, cuando puede ser "sumada" y expresada como una fórmula matemática simple.
Entre las transformadas z más importantes y útiles se encuentran esas para las cuales X(z) es una
función racional dentro de la región de convergencia, esto quiere decir,
𝑃(𝑧)
𝑋(𝑧) = 𝑄(𝑧) , (10.11)
donde P(z) y Q(z) son polinomios de z. Los valores de z para los cuales X(z) = 0 se llaman ceros
de X(z), y los valores de z para los cuales X(z) es infinita son llamados polos de X(z). Los polos de
X(z) para valores finitos de z son las raíces del polinomio denominador. Además, los polos
pueden ocurrir en z = 0 o z = ∞. Para transformadas z racionales, existe un número de relaciones
importantes entre la localización de los polos de X(z) y la región de convergencia de la
transformada z.
Considere que una señal es la suma de las dos exponenciales reales siguientes:
1 𝑛 1 𝑛
𝑥[𝑛] = ( ) 𝑢[𝑛] + (− ) 𝑢[𝑛]
2 3
∞
1 𝑛 1 𝑛
𝑋(𝑧) = ∑ {( ) 𝑢[𝑛] + (− ) 𝑢[𝑛]} 𝑧 −𝑛
2 3
𝑛=−∞
∞
1 𝑛 1 𝑛
= ∑ {( ) 𝑢[𝑛]𝑧 −𝑛 + (− ) 𝑢[𝑛]𝑧 −𝑛 }
2 3
𝑛=−∞
∞ 𝑛 ∞ 𝑛
1 1
= ∑ {( 𝑧 −1 ) } + ∑ {(− 𝑧 −1 ) }
2 3
𝑛=−∞ 𝑛=−∞
1
1 1 2 (1 − 12 𝑧 −1 )
= + =
1 1 1 1
1 − 2 𝑧 −1 1 + 3 𝑧 −1 (1 − 2 𝑧 −1 ) (1 + 3 𝑧 −1 )
1
2𝑧 (𝑧 − 12 )
=
1 1
(𝑧 − 2) (𝑧 + 3)
1 𝑛 1 1
( ) 𝑢[𝑛] 𝑧⃡ , |𝑧| >
2 1 2
1 − 2 𝑧 −1
1 𝑛 1 1
(− ) 𝑢[𝑛] 𝑧⃡ |𝑧| >
3 1 3
1 + 𝑧 −1
3
Y consecuentemente,
1 𝑛 1 𝑛 1 1 1
( ) 𝑢[𝑛] + (− ) 𝑢[𝑛] ⃡ 𝑧 + , |𝑧| >
2 3 1 1 2
1 − 𝑧 −1 1 + 𝑧 −1
2 3
Si bien la primera secuencia exponencial tiene ROC en |z| > 1/2 y la segunda para |z| > 1/3, la
transformada z de la secuencia x[n], la suma de las dos anteriores, tiene ROC en |z| > 1/2, ya que
ambas secuencias exponenciales tienen en común dicha región de convergencia. En otras,
palabras, la ROC de la x[n] será la intersección de las ROCs de ambas secuencias exponenciales.
La siguiente figura muestra la gráfica de polos-ceros y la ROC para cada secuencia exponencial
individual y para x[n], la suma de ambas. [5]
𝟏 𝐧 𝟏 𝐧
Fig.8. Gráfica de polos-ceros y ROC de (a) la secuencia (𝟐) 𝐮[𝐧]; (b) (− 𝟑) 𝐮[𝐧]; (c)
𝟏 𝐧 𝟏 𝐧
(𝟐) 𝐮[𝐧] + (− 𝟑) 𝐮[𝐧] [5]
La siguiente tabla muestra los pares de transformada z correspondientes a secuencias comunes.
Estos pares básicos de la transformada z son muy útiles para determinar la transformada z de una
secuencia o, inversamente, determinar la secuencia a partir de una transformada z dada. [5]
Propiedad 1: La ROC es un anillo en el plano z centrado al origen. Esto es 0 ≤ rR < |z| <
rL ≤∞.
Propiedad 2: La Transformada de Fourier de x[n] converge absolutamente si y sólo si la
ROC de la transformada z de x[n] incluye al círculo unitario.
Propiedad 3: La ROC no puede contener ningún polo.
Propiedad 4: Si x[n] es una secuencia de duración finita, la ROC será todo el plano z,
excepto posiblemente z = 0 o z = ∞.
Propiedad 5: Si x[n] es una secuencia causal (o, lo que es lo mismo, de lado derecho o
lateral derecha), la ROC es la parte del plano z que se extiende hacia afuera del círculo
que pasa por el polo finito más externo (con magnitud más grande) de X(z) hasta (y
posiblemente incluyendo) z = ∞.
Propiedad 6: Si x[n] es una secuencia no causal (o, lo que es lo mismo, de lado izquierdo
o lateral izquierda), la ROC es la parte del plano z que se encuentra dentro del círculo que
pasa por el polo distinto a cero más interno (con magnitud menor) de X(z) hasta (y
posiblemente incluyendo) z = 0.
Propiedad 7: Si x[n] es una secuencia de doble lado (doble-lateral), por definición de
duración finita, la ROC será un anillo en el plano z delimitado en el interior y exterior por
un polo y,de forma consistente con la propiedad 3, sin incluir ningún polo. Esto es, la
ROC es la intersección de una ROC causal y una ROC nocausal con polos limitando
tanto el diámetro interior como el exterior de la ROC sin incluir ningún polo.
Propiedad 8: La ROC es una región conectada. [5]
IV. BIBLIOGRAFIA
[1] C. Gasquet and P. Witomski, Fourier Analysis and Applications. Filtering, Numerical
Compu- tation, Wavelets Texts in Applied Mathematics 30 Springer 1999.