Documentos de Académico
Documentos de Profesional
Documentos de Cultura
1. Seales y sistemas
1.1. Seales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.1.1. Clasificacin de seales . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.1.2. Medidas de seales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.1.3. Seales de inters . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.1.4. Espacios de Hilbert para seales de energa finita . . . . . . . . . . . . . . .
1.2. Sistemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.1. Clasificacin de los sistemas . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.2. Sistemas lineales e invariantes . . . . . . . . . . . . . . . . . . . . . . . . .
1.3. Representacin de seales y sistemas mediante transformadas . . . . . . . . . . . .
1.3.1. Respuesta de los sistemas lineales e invariantes a las exponenciales complejas
1.3.2. Transformada de Fourier para seales y sistemas en tiempo continuo . . . . .
1.3.3. Transformada de Fourier para seales y sistemas en tiempo discreto . . . . .
1.3.4. Transformada Z para sistemas lineales e invariantes . . . . . . . . . . . . . .
1.3.5. Transformada Discreta de Fourier . . . . . . . . . . . . . . . . . . . . . . .
1.3.6. Representacin de seales paso banda . . . . . . . . . . . . . . . . . . . . .
1.4. Muestreo, diezmado e interpolacin . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4.1. Muestreo de seales en tiempo continuo . . . . . . . . . . . . . . . . . . . .
1.4.2. Interpolacin y diezmado de secuencias . . . . . . . . . . . . . . . . . . . .
1.4.3. Simulacin de seales y sistemas . . . . . . . . . . . . . . . . . . . . . . .
1.4.4. Simulacin de seales y sistemas continuos en tiempo discreto . . . . . . . .
1.4.5. Cambio de la frecuencia de simulacin . . . . . . . . . . . . . . . . . . . .
1.4.6. Simulacin de sistemas variantes y sistemas no lineales . . . . . . . . . . . .
1.5. Lecturas adicionales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
1
1
1
5
7
10
14
15
17
20
20
23
33
38
50
56
59
60
66
68
70
74
76
81
81
C APTULO
S EALES
Y SISTEMAS
En este captulo se ofrece una revisin de los conceptos fundamentales de seales y sistemas con
algunas extensiones de la teora bsica que son de inters en el estudio de los sistemas de comunicaciones como son el espacio de Hilbert de las seales de energa finita o la representacin de seales
paso banda.
1.1.
S EALES
Una seal es una representacin matemtica de la evolucin de una magnitud fsica (o una medida)
respecto de algn o algunos parmetros; generalmente tiempo o espacio. Esta magnitud fsica puede
ser voltaje, intensidad elctrica, presin, temperatura, intensidad lumnica, etc.; e incluso puede que ni
tan siquiera tenga un sentido fsico claro, como la cotizacin burstil de una empresa determinada, o la
poblacin mundial. Lo realmente interesante del estudio de las seales es que suponen una abstraccin
respecto a la magnitud fsica concreta, pasando esta a ser considerada como una funcin matemtica,
x(), que tiene como variables independientes los parmetros con respecto a los cuales vara. A lo
largo de todo el texto vamos a considerar que existe un nico parmetro y que este es el tiempo.
A continuacin vamos a abordar los siguientes aspectos relacionados con el estudio de las seales:
criterios que nos permiten su clasificacin, medidas que podemos realizar sobre ellas, algunas seales
concretas especialmente tiles y una representacin algebraica de las seales que va a ser de inters
en captulos posteriores. Adems, emplearemos este apartado para ir introduciendo la notacin que se
utilizar a lo largo de todo el texto.
S EALES
Y SISTEMAS
Ejemplo 1.1
Un ejemplo de seal en tiempo continuo es
x(t) = t
y un ejemplo de seal en tiempo discreto es
x[n] = n
que representamos en la Figura 1.1.
x(t)
x[n]
4
3
2
1
4 3 2 1
1
2
3
4
4 3 2 1
0 1
4
3
2
1
1
2
3
4
0 1
Ntese que la diferencia entre ambas seales no est en su descripcin analtica (el valor de la seal es igual
al valor de la variable independiente), sino en que x(0,5) es igual a 0,5 y x[0,5] no existe, no est definido.
En algunos casos las secuencias se obtienen a partir de muestras de seales en tiempo continuo, pero
en otros la propia magnitud fsica que representa la seal es de naturaleza discreta. Al fin y al cabo,
una secuencia no es sino una lista de nmeros ordenados.
Seales analgicas y digitales. Si la seal puede tomar uno entre un conjunto finito de valores
decimos que la seal es digital y la denotamos con letras maysculas como X(t) o X[n] (segn sea
en tiempo continuo o en tiempo discreto). Si la seal puede tomar uno de entre un conjunto infinito
de valores decimos que la seal es analgica y la denotamos con letras minsculas como x(t) o x[n].
Comnmente se asocia el trmino seal digital a seales en tiempo discreto y digitales, pero no
hay que confundir una propiedad que afecta a la variable independiente (tiempo continuo o tiempo
discreto) con una propiedad que afecta a los valores que toma la seal propiamente dicha (analgica
o digital).
Ejemplo 1.2
La Figura 1.2 representa ejemplos de seales digitales en tiempo continuo y en tiempo discreto que slo
pueden tomar los valores 1 y 1. Las seales del ejemplo anterior eran seales analgicas.
Seales deterministas y aleatorias. Este criterio de clasificacin, comnmente citado en numerosos textos, es un criterio falso porque no puede aplicarse a ninguna seal concreta, sino al modelo
matemtico que empleamos para representar las seales. Estrictamente hablando, no podemos hablar
de seales deterministas y seales aleatorias, sino de un modelo determinista y un modelo aleatorio o
estocstico para representar el conocimiento que poseemos sobre las seales.
Bajo un modelo determinista, si suponemos que conocemos x(t) (o x[n]) estamos suponiendo que
conocemos la amplitud de x(t) para todos los valores de t; por ejemplo, sabemos que x(75,4) es igual
a 2,1 y no cualquier otro, y as con todos lo valores de t. Bajo un modelo estocstico, si suponemos
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
1.1 S EALES
X(t)
X[n]
4 3 2 1
0 1
4 3 2 1
0 1
que conocemos x(t) (o x[n]) estamos suponiendo que conocemos las propiedades estadsticas de x(t)
para todos los valores de t, pero no el valor concreto de x(t); por ejemplo, sabemos que el valor medio
(esperanza matemtica) de x(75,4) es igual a 0,5, o que la varianza de x(75,4) es igual a 1,1, o que
el valor x(75,4) tiene una descripcin probabilstica gausiana de media 0,5 y varianza 1,1, pero no
sabemos con certeza el valor de la seal en ese instante.
El modelo realmente importante dentro de las comunicaciones es el modelo estocstico, pues es
el nico capaz de representar la informacin que puede contener una seal. Como veremos a lo largo
del texto, informacin es equivalente a incertidumbre sobre el valor concreto que toma una seal, un
parmetro, etc. Sin embargo, el tratamiento empleando el modelo estocstico resulta por lo general
ms complicado y farragoso, por lo que all donde se pueda se recurrir a un modelo determinista. En
este captulo vamos a considerar nicamente el modelo determinista, tratando el modelo estocstico
en el captulo siguiente.
Seales peridicas y aperidicas. Una seal es peridica si los valores que toma se repiten de
forma cclica. Matemticamente podemos expresarlo de la siguiente forma: una seal x(t) (o x[n]) es
peridica con periodo T (o N ) si existe un valor T R (o N Z) para el que se cumple que
x(t) = x(t + T )
(1.1)
( x[n] = x[n + N ] n )
El menor valor de T (o N ) para el que se cumple (1.1) se denomina periodo fundamental y se denota
como T0 (o N0 ). Si una seal no es peridica se dice que es aperidica.
Seales reales y complejas. Una seal compleja es aquella que toma valores en el cuerpo de los
complejos, x(t) C o x[n] C. Una seal real es aquella que slo toma valores en el cuerpo de los
reales; x(t) R o x[n] R. Salvo que se especifique lo contrario, siempre que nos refiramos a una
seal sin especificar si es real o compleja entenderemos que es una seal compleja.
Definimos las partes real e imaginaria de una seal como (omitimos la definicin para secuencias
por ser idntica)
.
Re{x(t)} =
.
Im{x(t)} =
x(t) + x (t)
2
x(t) x (t)
2j
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
(1.2)
(1.3)
S EALES
Y SISTEMAS
donde j = 1 y indica complejo conjugado. Puede comprobarse que las partes real e imaginaria
son seales reales. A partir de las partes real e imaginaria reconstruimos la seal como
x(t) = Re{x(t)} + jIm{x(t)} =
x(t) x (t)
x(t) + x (t)
+j
= x(t)
2
2j
(1.4)
y podemos interpretar una seal real como aquella cuya parte imaginaria es idnticamente nula.
Otra descomposicin de una seal compleja en dos seales reales se realiza (como realizaramos
la descomposicin de un nmero complejo) mediante su mdulo, |x(t)|, definido como
p
. p
|x(t)| = x(t) x (t) = Re2 {x(t)} + Im2 {x(t)}
(1.5)
y su fase, x(t), definida como
de la forma
Im{x(t)}
.
x(t) = arctan
Re{x(t)}
(1.6)
(1.7)
(1.8)
( x[n] = x[n] n )
Una seal x(t) (o x[n]) es impar si cumple
x(t) = x(t)
(1.9)
( x[n] = x[n] n )
De manera anloga a las partes real e imaginaria de una seal, podemos definir las partes par,
Ev{x(t)}, e impar, Od{x(t)}, de una seal como (omitimos la definicin para secuencias por ser
idntica)
Ev{x(t)} =
Od{x(t)} =
x(t) + x(t)
2
x(t) x(t)
2
(1.10)
(1.11)
(1.12)
Podemos comprobar fcilmente que la parte par de una seal es a su vez una seal par y que la parte
impar es una seal impar.
Seales hermticas y antihermticas. Otro tipo de simetra similar a la paridad o imparidad es la
hermiticidad. Una seal x(t) (o x[n]) es hermtica si cumple
x(t) = x (t)
( x[n] = x [n] n )
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
(1.13)
1.1 S EALES
lo que implica que la parte real es par y la imaginaria es impar. Una seal x(t) (o x[n]) es antihermtica
si cumple
x(t) = x (t)
(1.14)
( x[n] = x [n] n )
lo que implica que la parte real es impar y la imaginaria par.
Podemos definir las partes hermtica, He{x(t)}, y antihermtica, Ah{x(t)}, de una seal como
(omitimos la definicin para secuencias por ser idntica)
He{x(t)} =
Ah{x(t)} =
x(t) + x (t)
2
x(t) x (t)
2
(1.15)
(1.16)
(1.17)
Aun a costa de parecer un triste remedo de un famoso dilogo de los hermanos Marx, podemos
cruzar algunas de las clasificaciones anteriores y establecer aseveraciones como la parte par de la
parte hermtica de una seal compleja es una seal real, o la parte antihermtica de la parte impar
de la parte imaginaria de una seal es idnticamente nula.
Peridicas
1
T 2T
.
x = hx(t)i = lm
. 1
x = hx(t)i =
T0
x(t) dt
(1.18)
x(t) dt
(1.19)
(T0 )
R
donde (T0 ) denota integracin a lo largo de un intervalo de duracin T0 , sea cual sea el
inicio de este intervalo.
Seales en tiempo discreto
Aperidicas
N
X
1
x[n]
N 2N + 1
.
x = hx[n]i = lm
n=N
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
(1.20)
S EALES
Peridicas
Y SISTEMAS
. 1 X
x = hx[n]i =
x[n]
N0
(1.21)
n{N0 }
donde n{N0 } denota suma a lo largo de un intervalo de duracin N0 , sea cual sea el
inicio de este intervalo.
Valor de pico. Es el valor mximo del mdulo de la seal
Seales en tiempo continuo
.
xp = m
ax|x(t)|
(1.22)
.
xp = m
ax|x[n]|
(1.23)
Energa.
|x(t)|2 dt
(1.24)
. X
|x[n]|2
Ex = E {x[n]} =
(1.25)
n=
Si Ex es una cantidad finita, decimos que x(t) (o x[n]) es una seal de energa finita. Si Ex excede
toda cota, decimos que x(t) (o x[n]) es una seal de energa infinita.
Potencia. Es una medida cuadrtica de naturaleza real y no negativa que resulta de inters para
seales de energa infinita y representa la energa por unidad de tiempo. Se define como
Seales en tiempo continuo
Aperidicas
Peridicas
. 1
Px = P {x(t)} = |x(t)| =
T0
Peridicas
1
T 2T
.
Px = P {x(t)} = |x(t)| = lm
2
T
T
(T0 )
|x(t)|2 dt
|x(t)|2 dt
N
X
1
|x[n]|2
N 2N + 1
.
Px = P {x[n]} = |x[n]|2 = lm
(1.26)
(1.27)
(1.28)
n=N
. 1 X
|x[n]|2
Px = P {x[n]} = |x[n]|2 =
N0
n{N0 }
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
(1.29)
1.1 S EALES
para cualquier seal x(t) continua y cualquier instante t0 . Esta definicin admite la interpretacin de
una descomposicin de la seal x(t) mediante funciones delta reescribindola como
Z
x( ) (t ) d
(1.31)
x(t) =
Una interpretacin ms intuitiva de la funcin (t) puede realizarse a partir de sus propiedades:
1. Toma valor cero fuera del instante cero
(t) = 0
t 6= 0
(t)dt = 1
(1.32)
siendo (t) la seal representada en la Figura 1.3. En general, cualquier seal que cumpla las dos
1/
(t)
Figura 1.3. Seal que origina una funcin delta de Dirac cuando el valor del parmetro tiende a cero.
ltimas propiedades de las reseadas anteriormente y disponga de un parmetro que permita controlar
su duracin hasta hacerla instantnea puede dar origen a (t).
La funcin delta de Dirac se representa tal y como muestra la Figura 1.4, dada la imposibilidad de
dibujar una funcin de rea 1 y duracin instantnea.
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
S EALES
(t)
a(t)
Y SISTEMAS
Delta de Kronecker. Es el equivalente en tiempo discreto de la delta de Dirac pero, al contrario que
sta, su definicin no plantea ningn problema
(
. 1 si n = 0
[n] =
(1.33)
0 si n 6= 0
Tambin puede emplearse para la descomposicin de secuencias de la forma
x[n] =
k=
x[k] [n k]
(
n
X
0 para n < 0
.
[k] =
u[n] =
1 para n 0
k=
(1.34)
(1.35)
(1.36)
Sinusoides complejas. Una sinusoide compleja en tiempo continuo se define mediante la frmula
x(t) = ejt = cos t + jsen t
(1.37)
(1.38)
Las sinusoides complejas en tiempo continuo son siempre seales peridicas, siendo su periodo
fundamental T0 = 2/ = 1/f .
Se dice que dos sinusoides de frecuencias 1 y 2 poseen una relacin armnica si se cumple que
2 = k1 , siendo k un nmero entero. En ese caso decimos que la sinusoide de frecuencia 2 es el
k-simo armnico de la sinusoide de frecuencia 1 .
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
1.1 S EALES
Una sinusoide compleja en tiempo discreto se define de manera anloga mediante la frmula
x[n] = ejn = cos n + jsen n
(1.39)
Existen, sin embargo, dos diferencias fundamentales respecto a las sinusoides complejas en tiempo
continuo:
1. Una sinusoide compleja en tiempo discreto no es siempre una seal peridica. Para que una
sinusoide compleja sea peridica de periodo N ha de verificarse que ejn = ej(n+N ) para
todo n. Como ej(n+N ) = ejn ejN , ha de cumplirse que ejN = 1 = ej2k o, lo que es lo
mismo, que la frecuencia sea un mltiplo racional de 2 (2k/N , con k y N nmeros enteros)
para que la sinusoide sea una seal peridica.
2. Valores distintos de no generan siempre seales distintas. Si generamos una seal con un
valor de igual a 0 y otra con un valor de igual a (0 + 2k) siendo k un nmero entero,
comprobamos que ambas seales son la misma, puesto que ej(0 +2k)n = ejn ej2kn = ej0 n .
Este hecho nos da un margen de variacin efectiva de 2 del parmetro en las sinusoides
complejas discretas, que suele tomarse como (, ].
Exponenciales reales.
(1.40)
donde es un parmetro real. Si es mayor que cero, la seal es montona creciente y si es menor
que cero, montona decreciente. Cuanto mayor es el valor absoluto de , ms rpidamente crecer o
decrecer la funcin.
Una exponencial real en tiempo discreto se define mediante la frmula
x[n] = rn
(1.41)
donde r es un parmetro real. Si r es mayor que uno, la seal es montona creciente, si r es positivo y
menor que uno, montona decreciente; y si r es negativo no es montona ni creciente ni decreciente.
Exponenciales complejas. Una exponencial compleja en tiempo continuo se define como el resultado de multiplicar una exponencial real por una sinusoide compleja
x(t) = et ejt = e(+j)t = est
(1.42)
donde s = + j.
De manera anloga definimos una exponencial compleja en tiempo discreto como el resultado de
multiplicar una exponencial real por una sinusoide compleja
x[n] = rn ejn = (rej )n = z n
donde z = rej .
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
(1.43)
10
S EALES
Y SISTEMAS
1
sinc(t)
Funcin sinc. Otra funcin que aparece comnmente en anlisis de seales y sistemas es la funcin
sinc, definida como
. sen(t)
sinc(t) =
(1.44)
t
y que podemos ver (parcialmente) representada en la Figura 1.5. Es una funcin par de duracin
infinita cuyos cruces por cero se producen en todos los nmeros enteros a excepcin del cero, donde
toma su valor mximo, 1. Conforme t tiende a infinito la funcin va decreciendo en amplitud como
1/t.
Su versin en tiempo discreto se obtiene sin ms que sustituir t por an, donde a es un parmetro
de escala. En el caso en que a = 1 tenemos sinc(n) = [n].
Funcin pulso. Otra funcin de uso frecuente, definida como
(
. 1 para |t| < 1/2
(t) =
0 para |t| > 1/2
(1.45)
1.1 S EALES
11
1.1. Conmutativa: x, y V ; x + y = y + x.
1.2. Asociativa: x, y, z V ; x + (y + z) = (x + y) + z.
1.3. Existencia de elemento neutro: 0 V / x V ; x + 0 = 0 + x = x.
1.4. Existencia de elemento inverso: x V (x) / x + (x) = 0.
2. Existe una ley de composicin externa que denominamos producto con un conjunto C de elementos denominados escalares (que deben tener la estructura de cuerpo) que, aplicada a un
escalar ( C) y a un vector x (x V ) de la forma x, da como resultado otro vector del
espacio(x V ), cumpliendo adems las siguientes propiedades:
2.1. Asociativa: , C; x V ; (x) = ()x.
2.2. Existencia de elemento neutro: 1 C / x V ; 1x = x.
2.3. Distributiva con respecto a la suma: C; x, y V ; (x + y) = x + y.
2.4. Distributiva con respecto al producto por un escalar: , C; x V ; ( + )x =
x + x.
Si consideramos el caso general de una seal compleja (tanto en tiempo continuo como en tiempo
discreto), la ley de composicin interna del espacio vectorial es la suma punto a punto de la seal. Verificando sus propiedades, vemos que cumple que la suma de seales es otra seal; que es irrelevante
el orden en que realicemos la suma (esto es, que es conmutativa); que es asociativa; que el elemento
neutro es la seal idnticamente nula (x(t) = 0), y que el elemento inverso de una seal es la misma
seal cambiada de signo; en definitiva, la suma cumple las propiedades de la ley de composicin interna. Los escalares son nmeros complejos (que tienen la estructura de cuerpo al igual que los nmeros
reales) y la ley de composicin externa es la multiplicacin de una seal por un nmero complejo.
Podemos verificar fcilmente que tambin esta operacin cumple todas las propiedades requeridas y,
por tanto, podemos concluir que las seales cumplen todos los requisitos para ser consideradas como
vectores de un espacio vectorial.
La estructura de espacio vectorial genrico como el que hemos expuesto es, sin embargo, demasiado simple como para tener utilidad. Una estructura ms elaborada la encontramos en los espacios
vectoriales de Hilbert o, simplemente, espacios de Hilbert. Esta estructura nos va a permitir, por ejemplo, reintrepretar algunas de las medidas de seales expuestas en el Apartado 1.1.2.
Un espacio de Hilbert es, bsicamente, un espacio vectorial con producto escalar1 . El producto
escalar es una aplicacin de pares de vectores en el campo de los escalares (los complejos en nuestro
caso), f:(V, V ) C, que denotamos como hx , yi y que cumple las siguientes propiedades:
1. hx , yi = hy , xi
2. h(x + y) , zi = hx , zi + hy , zi
3. hx , xi 0
4. hx , xi = 0 x = 0
1
Estrictamente, es un espacio vectorial con producto escalar que cumple la propiedad de completitud. La propiedad de
completitud se cumple cuando toda sucesin de Cauchy es convergente en la mtrica inducida por el producto escalar. Si no
posee esta propiedad el espacio vectorial recibe el nombre de espacio pre-Hilbert.
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
12
S EALES
Y SISTEMAS
A partir del producto escalar definimos una norma para el espacio vectorial como
p
||x|| = hx , xi
(1.46)
(1.47)
(1.48)
Para la seales y, en general, para cualquier espacio vectorial genrico no existe una nica posibilidad de definicin de producto escalar: podemos escoger como producto escalar cualquier funcin
que cumpla los requisitos establecidos anteriormente. Cada definicin de producto escalar da lugar a
un espacio de Hilbert distinto, con mtrica y norma distinta. Vamos a exponer a continuacin la estructura de dos espacios de Hilbert para seales de energa finita, uno para seales en tiempo discreto
y otro para seales en tiempo continuo que denominaremos, respectivamente, l2 y L2 .
El espacio l2 se define mediante el siguiente producto escalar
hx , yi =
x[n]y [n]
(1.49)
n=
y nos da una medida del parecido o similitud entre dos seales. El producto escalar de dos seales
cuya variacin con el tiempo sea similar ser grande y el de dos seales cuya variacin con el tiempo
sea distinta ser pequeo. Cuando el producto escalar de dos seales es igual a cero decimos que
las seales son ortogonales , lo que indica que forman entre ellas un ngulo de 90 (segn podemos
comprobar a partir de (1.48)).
Una medida derivada del producto escalar es la funcin de ambigedad temporal , rx [k], que algunos autores denominan funcin de autocorrelacin determinista (y que no debe confundirse con la
funcin de autocorrelacin de procesos estocsticos). Se define como el producto escalar de una seal
con ella misma desplazada una cantidad k (que denotaremos como xk ),
rx [k] = hx , xk i =
n=
x[n]x [n k]
(1.50)
y da una idea de la variabilidad y concentracin de la energa de la seal: una seal que flucte rpidamente tendr una funcin de ambigedad temporal que vare rpidamente con respecto a k, y una
seal cuya energa est concentrada en un corto espacio de tiempo tendr una funcin de ambigedad
temporal estrecha. Ntese adems que rx [0] = E {x[n]}.
La norma inducida por (1.49) resulta ser la raz cuadrada de la energa de la seal
v
u
p
p
u X
(1.51)
||x|| = hx , xi = t
|x[n]|2 = E {x[n]}
n=
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
(1.52)
13
1.1 S EALES
2
t
x[n]y [n] ||x|| ||y|| =
|hx , yi| =
|x[n]| t
|y[n]|2
(1.53)
n=
n=
n=
cumplindose la igualdad slo si y[n] es una versin escalada en amplitud de x[n] (y[n] = Kx[n],
para algn K R).
El producto escalar tambin permite encontrar de forma sencilla la representacin de una seal en
una base del espacio vectorial. El ejemplo ms claro lo encontramos en la descomposicin de una secuencia mediante la funcin delta de Kronecker, (1.34). El conjunto de seales {[n k], k = , . . . , 0, . . . , }
forma una base ortonormal del espacio vectorial l2 ; esto es, se cumple que
h k , i i =
n=
[n k][n i] = [k i]
(1.54)
Las coordenadas de una seal x[n] en cualquier base, y en esta en particular, se obtienen como producto escalar de la seal x[n] con cada uno de los elementos de la base; en nuestro caso
xk = hx , k i =
n=
x[n][n k] = x[k]
(1.55)
k=
xk [n k] =
k=
x[k][n k]
que es exactamente la ecuacin (1.34). Bajo esta interpretacin queda claro que los valores x[k] de
(1.34) son algo ms que un cambio de variable (n por k), pues no representan una seal (un vector) sino que son simplemente las coordenadas (escalares) de x[n] en una base del espacio vectorial
formada por funciones delta.
El espacio L2 se define de manera anloga a l2 sin ms que cambiar sumatorios por integrales. El
producto escalar es
Z
hx , yi =
x(t)y (t) dt
(1.56)
y tiene el mismo sentido que en l2 : nos da una medida del parecido o similitud entre dos seales.
La funcin de ambigedad temporal posee ahora una variable independiente de naturaleza continua, , y se define como
Z
x(t)x (t ) dt
(1.57)
rx ( ) = hx , x i =
La norma inducida por (1.56) tambin resulta ser la raz cuadrada de la energa de la seal
sZ
p
p
||x|| = hx , xi =
|x(t)|2 dt = E {x(t)}
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
(1.58)
14
S EALES
Y SISTEMAS
y la distancia es
d(x, y) = ||x y|| =
sZ
|x(t) y(t)|2 dt
|x(t)|2 dt
sZ
(1.59)
|y(t)|2 dt
(1.60)
1.2.
S ISTEMAS
Un sistema es una representacin matemtica de una entidad fsica que ante el estmulo de una o
varias magnitudes fsicas (seales) ofrece como respuesta otras magnitudes (seales). Las seales que
estimulan al sistema se denominan entradas del sistema y las seales con que responde el sistema se
denominan salidas del sistema. Si las seales de entrada y salida son en tiempo continuo decimos que
el sistema es en tiempo continuo, y si las seales de entrada y salida son en tiempo discreto decimos
que el sistema es en tiempo discreto. Aqu vamos a considerar nicamente el caso en que tenemos una
nica entrada, x(t) o x[n], y una nica salida, y(t) o y[n].
Aunque no existe total unanimidad en la literatura, se suelen denominar como filtros a los sistemas
que diseamos y construimos con un propsito determinado. En este texto emplearemos el trmino
filtro con este propsito, aunque en ocasiones nos refiramos a los filtros con el nombre genrico de
sistemas.
Un sistema queda definido mediante la transformacin T que realiza de la entrada para obtener la
salida
y(t) = T {x(t)}
(1.61)
( y[n] = T {x[n]} )
y este apartado est dedicado al estudio de esta transformacin. En un caso general, esta no es una
tarea fcil porque si bien en algunos casos somos capaces de encontrar una expresin analtica sencilla
que relaciona la entrada con las salida del sistema, en otros no, como se muestra en los dos ejemplos
siguientes.
Ejemplo 1.3
Considere el caso de un generador de tensin conectado a una resistencia de valor R ohmios. El sistema va
a consistir en la resistencia, que transforma la tensin que proporciona el generador, x(t), en la corriente
que atraviesa la resistencia, y(t). El sistema queda definido mediante la ecuacin
y(t) = T {x(t)} =
1
x(t)
R
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
15
1.2 S ISTEMAS
Ejemplo 1.4
Considere una conversacin telefnica entre dos personas. El sistema va a consistir en todos los elementos
que realizan la transmisin en uno de los sentidos, transformando la presin sonora presente en el micrfono
de la primera persona, x(t), en la presin sonora a la salida del auricular de la segunda persona, y(t). Para
encontrar la relacin entre x(t) e y(t) debemos expresar en primer lugar la relacin entre la presin sonora
presente en el micrfono y la tensin en bornas del micrfono, a continuacin la relacin entre esta tensin
y la tensin a la salida del terminal telefnico, y as hasta el altavoz presente en el auricular de la segunda
persona. Con tiempo y paciencia puede que llegsemos a encontrar la relacin entre x(t) e y(t), pero lo peor
es que todos esos clculos valdran slo para una conversacin especfica entre estas dos personas concretas,
porque un cambio tan simple como es el establecimiento de una nueva llamada entre estas dos personas trae
como consecuencia que la compaa telefnica puede haber cambiado el circuito que emplea para conectar
estos dos abonados, y hay que volver a repetir el clculo.
Este ltimo ejemplo pone de manifiesto que es necesaria una abstraccin de los principios fsicos
que gobiernan el comportamiento del sistema y recurrir, como hemos realizado con las seales, a un
tratamiento sistemtico.
Para ello vamos en primer lugar a establecer una clasificacin de los sistemas para, posteriormente,
centrarnos en el estudio de los sistemas que cumplen dos propiedades: linealidad e invarianza temporal. Siempre que sea posible, abordaremos de forma conjunta el estudio de los sistemas en tiempo
continuo y en tiempo discreto.
(1.62)
(1.63)
16
S EALES
Y SISTEMAS
Ejemplo 1.6
El sistema definido por (1.62) es causal y anticausal al mismo tiempo. El sistema definido por (1.63) es
causal y no anticausal. El sistema definido por la ecuacin
y[n] = nx[n + 1]
es anticausal y no es causal. El sistema definido por la ecuacin
Z t+1
x( ) d
y(t) =
(1.64)
(1.65)
no es ni causal ni anticausal.
Un aspecto importante relacionado con la causalidad, es que cuando la variable independiente de las
seales es el tiempo, todos los sistemas fsicamente realizables son causales.
Invertibilidad. Se dice que un sistema es invertible cuando siempre es posible recuperar la entrada
al sistema conociendo la salida. Formalmente: un sistema es invertible si y slo si dadas cualesquiera
dos seales de entrada x1 (t) y x2 (t) distintas en al menos un punto, sus salidas correspondientes y1 (t)
e y2 (t) son distintas en al menos un punto. La definicin para sistemas en tiempo discreto es anloga.
Ejemplo 1.7
El sistema definido por la Ecuacin (1.63) es invertible, y el sistema que obtiene la entrada en funcin de la
salida queda definido por la ecuacin
x[n] = y[n + 1]
El sistema definido por la Ecuacin (1.62) no es invertible porque no se puede recuperar el signo de la seal
de entrada.
Estabilidad. Aunque existen diversos criterios de estabilidad, el ms utilizado en el estudio de sistemas es el denominado entrada acotada, salida acotada (Bounded Input Bounded Output , BIBO).
Este criterio establece que un sistema es estable si para cualquier entrada acotada la salida est acotada. Formalmente: si la seal de entrada al sistema, x(t), cumple |x(t)| < A para un valor de A finito,
el sistema es estable BIBO si y slo si existe un valor real finito B tal que |y(t)| < B. La definicin
para sistemas en tiempo discreto es anloga. Cuando un sistema no es estable se dice que es inestable.
Ejemplo 1.8
El sistema definido por la Ecuacin (1.62) es estable BIBO y un valor de B para el que se cumple la definicin es A2 . El sistema definido por la Ecuacin (1.65) no es estable BIBO como demostramos fcilmente
haciendo que la entrada sea x(t) = 1.
Linealidad. Un sistema es lineal si cumple las propiedades de aditividad y homogeneidad. Formalmente: un sistema es lineal si y slo si dadas cualesquiera dos seales de entrada x1 (t) y x2 (t)
cuyas salidas respectivas son y1 (t) e y2 (t), cuando presentamos a la entrada del sistema la seal
z(t) = x1 (t) + x2 (t), con y escalares de valor arbitrario, la salida del sistema es T {x1 (t) +
x2 (t)} = y1 (t) + y2 (t). La definicin para sistemas en tiempo discreto es anloga.
Ejemplo 1.9
El sistema definido por la Ecuacin (1.63) es lineal, como podemos comprobar fcilmente haciendo T {x1 [n]+
x2 [n]} = x1 [n 1] + x2 [n 1] = y1 [n] + y2 [n].
El sistema definido por la Ecuacin (1.62) no es lineal, ya que existe algn valor de t y/o algn par de
funciones x(t) e y(t) para los que T {x1 (t) + x2 (t)} = 2 x21 (t) + 2 x22 (t) + 2x1 (t)x2 (t) 6= y1 (t) +
y2 (t).
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
17
1.2 S ISTEMAS
Invarianza. Un sistema es invariante, o mejor invariante en el tiempo, si el comportamiento del sistema no depende del instante en que se le aplique la excitacin. Formalmente: un sistema es invariante
si y slo si dada una entrada x(t) y su salida correspondiente y(t), se cumple que T {x(t t0 )} =
y(tt0 ) para cualquier valor de t0 . La definicin para sistemas en tiempo discreto es anloga. Cuando
un sistema no es invariante se dice que es variante o variante en el tiempo.
Ejemplo 1.10
El sistema definido por la Ecuacin (1.62) es invariante ya que T {x(t t0 )} = x2 (t t0 ) = y(t t0 ). El
sistema definido por la Ecuacin (1.64) es variante ya que existe algn valor de n y/o alguna funcin x[t]
para los que T {x[n n0 ]} = nx[n n0 + 1] 6= y[n n0 ] = (n n0 )x[n n0 + 1].
=
=
k=
(1.66)
k=
donde
hk [n] = L{[n k]}
(1.67)
Aplicando ahora la propiedad de invarianza, tenemos que hk [n] = h0 [n k], que, sustituido en
(1.66), nos permite expresar la salida del sistema como
y[n] =
=
=
k=
k=
k=
x[k] hk [n]
x[k] h0 [n k]
x[k] h[n k]
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
(1.68)
18
S EALES
Y SISTEMAS
donde h[n] = L{[n]} es la seal denominada respuesta al impulso del sistema lineal e invariante,
L{}. La respuesta al impulso permite caracterizar el comportamiento del sistema ante cualquier entrada, calculando la salida mediante (1.68), operacin que denominamos convolucin y denotamos
con el smbolo de la forma
x[n] h[n] =
k=
x[k] h[n k]
(1.69)
x( ) (t ) d
= L
=
=
x( ) L{(t )} d
x( ) h (t) d
(1.70)
h (t) = L{(t )}
(1.71)
donde
Aplicando la propiedad de invarianza, tenemos que h (t) = h0 (t ), que, sustituido en (1.70),
nos permite expresar la salida del sistema como
Z
x( ) h (t) d
y(t) =
Z
=
x( ) h0 (t ) d
Z
x( ) h(t ) d
(1.72)
=
donde h(t) = L{(t)} es la seal denominada respuesta al impulso del sistema lineal e invariante,
L{}. Como en el caso en tiempo discreto, la salida del sistema se calcula mediante la convolucin
de la seal de entrada con la respuesta al impulso, definindose la convolucin para tiempo continuo
como
Z
x( ) h(t ) d
(1.73)
x(t) h(t) =
19
1.2 S ISTEMAS
Conmutativa. Considerando dos seales x e y (suprimimos los parntesis o corchetes para tratar de
forma simultnea los casos discreto y continuo), se cumple
xy =yx
Asociativa. Considerando tres seales x, y y z, se cumple
x {y z} = {x y} z
Elemento neutro. El elemento neutro de la convolucin es la seal delta. Considerando la seal x,
se cumple
x =x=x
Elemento inverso. Aunque no existe siempre, el elemento inverso de una seal x respecto a la convolucin es la seal xi que cumple
x xi = xi x =
Propiedades de los sistemas lineales e invariantes
Supuesto que un sistema cumple las propiedades de linealidad e invarianza, repasemos ahora las
cuatro restantes propiedades o criterios de clasificacin que utilizbamos en el Apartado 1.2.1. Las
demostraciones se proponen como ejercicio. Las formularemos nicamente para el caso discreto,
siendo su definicin anloga para el caso continuo.
Memoria. Un sistema lineal e invariante (en lo sucesivo, al referirnos genricamente a un sistema,
supondremos que cumple las propiedades de linealidad e invarianza) es sin memoria si y slo si su
respuesta al impulso h[n] toma la forma
h[n] = K[n]
(1.74)
n < 0
(1.75)
n > 0
(1.76)
(1.77)
20
S EALES
Y SISTEMAS
n=
1.3.
|h[n]| <
(1.78)
Z
h( ) es(t ) d
=
Z
st
h( ) es d
= e
st
= e H(s)
(1.79)
que no es sino la misma seal de entrada multiplicada por el escalar H(s). En anlisis matemtico,
cuando un operador ofrece como resultado ante una funcin la misma funcin multiplicada por un
escalar decimos que esa funcin es una autofuncin del operador y el escalar es el autovalor asociado
a dicha autofuncin. As, las exponenciales complejas son autofunciones de todos los sistemas lineales
e invariantes. Para cada valor distinto del parmetro s obtenemos distintas autofunciones, cada una de
ellas con su correspondiente autovalor asociado, H(s).
Si consideramos dos sistemas lineales e invariantes distintos, con respuestas al impulso h1 (t) y
h2 (t), ambos tienen al conjunto de las exponenciales complejas como autofunciones (como el resto
de los sistemas lineales e invariantes), pero los autovalores asociados, H1 (s) y H2 (s) son distintos.
Podemos, pues, pensar en representar cada sistema lineal e invariante mediante el conjunto de los
autovalores asociados a las exponenciales complejas. Dicho conjunto, teniendo en cuenta que el parmetro s puede tomar cualquier valor dentro del plano complejo, podemos considerarlo como una
funcin compleja sobre el plano complejo. Esta funcin, H(s), recibe el nombre de funcin de transferencia en el dominio s o de Laplace.
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
1.3 R EPRESENTACIN
21
h(t) est dt
(1.80)
extrada de (1.79). Esto significa que tanto H(s) como h(t) contienen la misma informacin sobre el
sistema, existiendo adems una frmula que nos permite recuperar h(t) a partir de H(s) de manera
unvoca. Esta frmula es
Z +j
1
H(s) est ds
(1.81)
h(t) =
2j j
donde es cualquier valor para el que la integral (1.80) es convergente cuando s = + j.
Analicemos brevemente lo que hemos conseguido hasta ahora. Un sistema lineal e invariante
queda unvocamente determinado mediante una seal, su respuesta al impulso, y a partir de esta seal
obtenemos otra representacin del sistema que consiste en una funcin sobre el plano complejo. La
pregunta que cabe realizar ahora es la siguiente: si la funcin sobre el plano complejo (la funcin
de transferencia en el dominio de Laplace) la hemos obtenido a partir de una seal, qu nos impide
aplicar esta misma operacin, (1.80), a cualquier seal, sea o no respuesta al impulso de un sistema
lineal e invariante?. La respuesta es muy simple: no hay ninguna razn que lo impida, pero, para
qu?. Vamos a verlo.
La Transformada de Laplace para una seal en tiempo continuo x(t) se define como2
.
X(s) =
x(t) est dt
(1.82)
En parte de la literatura esta definicin de la Transformada de Laplace se conoce como bilateral, en contraposicin a
la Transformada de Laplace denominada unilateral, definida como
.
X(s) =
x(t) est dt
0
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
22
S EALES
Y SISTEMAS
Y (s) =
=
=
=
=
=
=
=
y(t) est dt
( x(t) h(t) ) est dt
Z
Z
x( ) h(t ) d est dt
Z
Z
h(t ) est dt d
x( )
Z
Z
h(t ) es(t + ) dt d
x( )
Z
Z
h(t ) est dt d
x( ) es
x( ) es H(s) d
Z
x( ) es d
H(s)
= H(s)X(s)
(1.84)
Este resultado, conocido como propiedad de convolucin, nos dice que la Transformada de Laplace
transforma una operacin con seales poco intuitiva como la convolucin (en el sentido que es
difcil predecir a simple vista cmo ser el resultado de la convolucin de dos seales) en una ms
sencilla como el producto. Conociendo la funcin de transferencia de un sistema podemos predecir
fcilmente cmo se comportar ante una entrada determinada.
En tiempo discreto realizamos un desarrollo anlogo, introduciendo una exponencial compleja,
x[n] = z n , en un sistema lineal e invariante con respuesta al impulso h[n]
y[n] =
=
k=
h[k] x[n k]
h[k] z nk
k=
X
n
= z
h[k] z k
k=
= z H(z)
(1.85)
donde H(z) es una funcin compleja sobre el plano complejo z que denominamos funcin de transferencia en el dominio Z .
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
1.3 R EPRESENTACIN
23
Para una seal genrica en tiempo discreto x[n] definimos su Transformada Z como3
. X
x[n]z n
X(z) =
(1.86)
n=
siendo z la variable independiente en el dominio transformado Z, de naturaleza compleja, cuyos mdulo y fase denotamos, respectivamente, como r y (z = r ej ). La Transformada Z Inversa (o
ecuacin de sntesis de la Transformada Z) se obtiene a partir de (1.86) y es
I
1
x[n] =
X(z) z n1 dz
(1.87)
2j
H
donde denota la integracin a lo largo de un contorno circular de radio r y centrado en el origen, en
el sentido contrario a las agujas del reloj, siendo r cualquier valor para el que el sumatorio (1.86) es
convergente.
La Transformada Z tambin posee la propiedad de convolucin; esto es, la salida de un sistema
lineal e invariante, y[n], puede expresarse en el dominio z como
Y (z) = X(z)H(z)
(1.88)
siendo X(z) la Transformada Z de la seal de entrada y H(z) la funcin de transferencia del sistema.
La demostracin de esta propiedad, similar a (1.84), se deja como ejercicio para el lector.
Como regla general que emplearemos a lo largo del texto, cuando hablemos de una seal en el
dominio natural o temporal nos referiremos a su expresin cuando la variable independiente es el
tiempo, x(t) o x[n], segn corresponda. Tambin nos referiremos a x(t) o x[n] como forma de onda.
Cuando hablemos de una seal en el dominio transformado nos referiremos a su expresin cuando la
variable independiente es s, z u (que veremos a continuacin), segn el contexto. Cuando hablemos
de una seal sin ms nos referimos a la propia seal independientemente de la naturaleza de su variable
independiente.
. X
x[n]z n
X(z) =
n=0
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
24
S EALES
Y SISTEMAS
1.3 R EPRESENTACIN
25
TF
TF
(t) 1
TF
(t t0 ) ejt0
1 TF
2ju() j
t
TF
sinc(t)
2
1
TF
at
e u(t)
a + j
Re{a}>0
1 2 ()
TF
ej0 t 2 ( 0 )
1
TF
u(t)
+ ()
j
TF
(t) sinc
2
1
TF
at
te u(t)
(a + j)2
Re{a}>0
2k
2 X
(t kT )
T
T
k=
k=
X
X
2k
TF
j 2k
t
ak e T 2
ak
T
TF
k=
k=
26
S EALES
Y SISTEMAS
Si X(j) = 0 (o H(j) = 0) para 0 > || se dice que la seal (o sistema) es paso alto con
frecuencia de corte 0 . Ntese que ni las seales (o sistemas) de banda eliminada ni paso alto
son de banda limitada.
Propiedades de la Transformada de Fourier en tiempo continuo
A continuacin enunciaremos las propiedades ms importantes de la Transformada de Fourier en
tiempo continuo, haciendo mayor hincapi en las implicaciones en el estudio de seales y sistemas de
cada propiedad que en su demostracin matemtica.
Para evitar su continua repeticin, en cada una de las propiedades emplearemos la siguiente notacin
TF
x(t) X(j)
TF
y(t) Y (j)
Linealidad.
TF
(1.91)
Supone la proporcionalidad entre las amplitudes en los dominios natural y transformado y la conservacin de propiedades tales como la distributividad respecto a la suma. La demostracin se obtiene
fcilmente a partir de la definicin de la transformada.
Propiedad de convolucin.
TF
(1.92)
Las implicaciones de esta propiedad son las ya discutidas para la Transformada de Laplace: si Y (j)
es la funcin de transferencia de un sistema lineal e invariante, la salida del sistema en el dominio de
la frecuencia es el producto de la entrada por la funcin de transferencia. Su demostracin se obtiene
particularizando la propiedad de convolucin de la Transformada de Laplace, (1.84).
Desplazamiento temporal.
TF
(1.93)
(1.94)
Una derivacin en el tiempo supone una atenuacin en frecuencias bajas (cercanas a cero) y un realce
en frecuencias altas. Podemos incluso considerar el derivador como un sistema lineal e invariante
cuya funcin de transferencia es H(j) = j. La demostracin de la propiedad se realiza tomando
la derivada de (1.90).
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
1.3 R EPRESENTACIN
27
Integracin.
Z
TF
x( ) d
X(j)
+ X(j0)()
jw
(1.95)
1
X
x(at)
|a|
TF
j
a
(1.96)
siendo a un valor real. Si comprimimos una seal en el tiempo (a > 1), expandimos su espectro, y
viceversa. Esto indica que hay un compromiso duracin-ancho de banda, que no es sino una manifestacin del Principio de Incertidumbre. Basado en esta propiedad puede comprobarse que si una
seal es de duracin temporal finita, su ancho de banda es infinito y, contrariamente, si una seal tiene
ancho de banda finito, su forma de onda tiene duracin infinita.
Dualidad.
TF
X(jt) 2x()
(1.97)
Esta propiedad nos dice que ambos dominios son (salvo factores de escala e inversiones de la variable
independiente), intercambiables. Compruebe en los ejemplos de transformadas de el Cuadro 1.1 cmo
algunos de los pares son duales de otros. La demostracin de esta propiedad se realiza cambiando t
por en (1.90).
Producto.
1
X(j) Y (j)
(1.98)
2
La aplicacin de esta propiedad al estudio de sistemas no lineales sin memoria (interpretando y(t)
como T {x(t)}/x(t) y calculando su Transformada de Fourier) nos ayuda a comprender el tipo de
transformacin que realizan en el dominio de la frecuencia sobre una seal dada. Tambin nos ayuda
a comprender el efecto que supone la observacin de una seal durante un tiempo limitado (interpretando y(t) como una seal de valor 1 en el intervalo de observacin y 0 fuera de este). Esta propiedad
se obtiene de la aplicacin de la propiedad de dualidad a la propiedad de convolucin.
TF
x(t)y(t)
Modulacin.
TF
(1.99)
Esta propiedad es fundamental en comunicaciones por ser la base de las modulaciones lineales. Nos
dice que multiplicar una seal por una sinusoide compleja implica un desplazamiento en frecuencia
de valor el de la sinusoide. Se obtiene como caso particular de la propiedad del producto.
Derivacin en frecuencia.
d X(j)
(1.100)
d
Puede obtenerse como caso particular de la propiedad del producto o bien aplicando la propiedad de
dualidad a la propiedad de derivacin en el tiempo.
TF
jt x(t)
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
28
S EALES
Y SISTEMAS
Simetra.
TF
x(t) X(j)
(1.101)
La aplicacin de esta propiedad a seales pares e impares (o a las partes par e impar de una seal) nos
dice que si una seal es par (x(t) = x(t)), su transformada tambin lo es (X(j) = X(j)), y
que si una seal es impar (x(t) = x(t)), su transformada tambin lo es (X(j) = X(j)). Se
obtiene cambiando t por t en (1.89).
Conjugacin.
TF
x (t) X (j)
(1.102)
La aplicacin de esta propiedad a seales reales e imaginarias puras (o a las partes real e imaginaria
de una seal) nos dice que si una seal es real (x(t) = x (t)), su transformada es hermtica (X(j) =
X (j)), y que si una seal es imaginaria pura (x(t) = x (t)), su transformada es antihermtica
(X(j) = X (j)). Tambin nos dice que la parte real de una seal compleja se transforma en
la parte hermtica de la transformada, y que la parte imaginaria de una seal compleja se transforma
en la parte antihermtica de la transformada.
Combinando esta propiedad con la anterior podemos establecer aseveraciones como: la transformada de una seal real y par es real y par, o la transformada de una seal real e impar es imaginaria
pura e impar. Se obtiene aplicando (1.89) a x (t).
x(t)y (t) dt =
1
2
X(j)Y (j) d
(1.103)
|x(t)|2 dt =
1
2
|X(j)|2 d
(1.104)
se obtiene como caso particular de la Relacin de Parseval y generalmente es confundido con esta.
Esta propiedad permite interpretar el mdulo al cuadrado de la Transformada de Fourier, |X(j)|2 ,
como una densidad de energa: la parte izquierda de la igualdad (1.104) es la medida de la energa de
x(t) y, por tanto, la parte derecha de la igualdad tambin lo es; si la energa se obtiene mediante integracin de una funcin, esa funcin puede interpretarse como densidad de energa. Como la variable
independiente de esa funcin es la frecuencia, |X(j)|2 se denomina densidad espectral de energa .
Podemos comprobar adems que la densidad espectral de energa es la Transformada de Fourier
de la funcin de ambigedad temporal definida en (1.57).
Todas estas propiedades se encuentran enumeradas en el Cuadro 1.2.
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
1.3 R EPRESENTACIN
29
Linealidad
Convolucin
Desplazamiento temporal
Derivacin
Integracin
Cambio de escala
Dualidad
Producto
Modulacin
TF
d x(t) T F
dt jX(j)
Rt
T F X(j)
X(j0)()
x( ) d jw +
TF 1
j
x(at) |a| X a
TF
X(jt) 2x()
TF
ej0 t x(t)
TF
Teorema de Rayleigh
d X(j)
d
TF
x(t) X(j)
Simetra
Relacin de Parseval
Y (j)
X(j( 0 ))
jt x(t)
Derivacin en frecuencia
Conjugacin
1
2 X(j)
TF
x(t)y(t)
TF
x (t) X (j)
R
R
1
1
2
2
|x(t)| dt = 2 |X(j)| d
X
2k
(1.106)
a k ej T t
x(t) =
k=
30
S EALES
Y SISTEMAS
k=
ak e
j 2k
t TF
T
k=
2k
ak
T
(1.107)
(1.108)
(1.109)
(1.111)
(1.112)
(1.113)
(1.114)
donde se mezclan la partes real e imaginaria de la seal de entrada y de la funcin de transferencia del
sistema.
Otra de las razones que aconsejan el empleo de la representacin polar es que el cuadrado del
mdulo de la transformada tiene una interpretacin directa como densidad espectral de energa de la
seal, como vimos al presentar el Teorema de Rayleigh, (1.104).
Al mdulo de la Transformada de Fourier se le suele denominar caracterstica de amplitud de la
seal (o del sistema, si se trata de una funcin de transferencia) y, a la fase, caracterstica de fase.
Volviendo a (1.111) y (1.112), un sistema contribuye de forma multiplicativa en la caracterstica de amplitud de la seal y aditivamente en la caracterstica de fase. Comencemos analizando la
contribucin a la caracterstica de fase de un sistema lineal e invariante.
Cuando la caracterstica de fase de un sistema es de la forma
H(j) = t0
(1.115)
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
1.3 R EPRESENTACIN
31
siendo t0 una constante real, decimos que el sistema es de fase lineal . La interpretacin en el dominio
natural del efecto que produce un sistema lineal e invariante de fase lineal es clara si escogemos una
caracterstica de amplitud como |H(j)| = 1, porque la salida ser y(t) = x(t t0 ), como vimos al
analizar la propiedad de desplazamiento temporal de la Transformada de Fourier, (1.93).
La caracterstica de fase lineal es deseable en los sistemas que aparecen en una cadena de transmisin, porque implica una coherencia temporal. Para medir las desviaciones respecto a la caracterstica de fase lineal se emplea el retardo de grupo , definido como
() =
d H(j)
d
(1.116)
(
/2
y H(j) =
/2
>0
<0
(1.117)
Si tenemos a la entrada del sistema la funcin delta (x(t) = (t)), a la salida tenemos
y(t) = h(t) =
1
t
(1.118)
que pone de manifiesto los efectos que puede tener un sistema de fase no lineal sobre la forma de onda de
una seal.
Analicemos ahora la contribucin sobre la caracterstica de amplitud de un sistema lineal e invariante. En primer lugar, sera conveniente expresar la contribucin del sistema en forma aditiva (como
es la de de la fase) en lugar de multiplicativa, como est expresada en (1.111). Para lograrlo podemos
emplear logaritmos, que transforman sumas en productos. Tomando el logaritmo en ambos lados de
(1.111) obtenemos
log |Y (j)| = log |X(j)| + log |H(j)|
(1.119)
Dentro de las medidas logartmicas, la ms empleada es 20 log10 que, cuando se aplica a magnitudes adimensionales como la funcin de transferencia tiene como unidad de medida el decibelio
dB . Aplicndola a (1.119) tenemos
20 log10 |Y (j)| = 20 log10 |X(j)| + 20 log10 |H(j)|
(1.120)
y decimos que el sistema tiene una ganancia de 0 dB a una frecuencia determinada si su caracterstica
de amplitud es igual a 1, o que tiene una ganancia de 20 dB (o una atenuacin de 20 dB) si su
caracterstica de amplitud es igual a 0,1. Por ser adimensional, no podemos decir que la caracterstica
de amplitud es x dB a una frecuencia determinada, pero s que a esa frecuencia la seal es y dB mayor
o menor que la caracterstica de amplitud a otra frecuencia.
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
32
S EALES
Y SISTEMAS
2 d
100
|H(j)|
(1.122)
(1.123)
1.3 R EPRESENTACIN
33
20log |H(j)|
10
0.01
0.1
10
100
0.01
H(j)
0
0.1
10
100
/4
/2
Por ltimo, para representar grficamente las caractersticas de amplitud y fase de sistemas con
respuesta impulsional real suelen emplearse los denominados diagramas de Bode , que utilizan tambin escala logartmica para la frecuencia, de la forma en que se muestra en la Figura 1.6. Esta representacin no es posible si el sistema tiene respuesta impulsional compleja porque, en ese caso, el
comportamiento en frecuencias positivas no define totalmente al sistema.
X
j .
x[n] ejn
(1.124)
=
X(e ) = X(z)
z=ej
n=
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
34
S EALES
Y SISTEMAS
9, expresiones distintas de la misma secuencia y, por tanto, el valor de la transformada a una frecuencia
0 ser igual al de la frecuencia 0 + 2k. Esto implica que la Transformada de Fourier de cualquier
secuencia sea siempre una funcin peridica de periodo 2.
Se dice que existe la Transformada de Fourier de una seal x[n] si el sumatorio (1.124) es convergente para todo valor de . Al igual que en tiempo continuo, no existe ninguna condicin necesaria
y suficiente que garantice su existencia aunque s encontramos muchas condiciones suficientes como,
por ejemplo, que la seal sea de energa finita o que sea absolutamente sumable. En tiempo discreto tambin vamos a permitir la existencia de funciones delta en el dominio transformado y, salvo
indicacin en contrario, cuando hablemos de Transformada de Fourier estaremos refirindonos a la
Transformada de Fourier Generalizada.
En el Cuadro 1.3 podemos encontrar las transformadas de algunas funciones elementales. Podemos comprobar que todas las transformadas que aparecen en el cuadro son funciones peridicas
de periodo 2. Ntese tambin cmo cambia el sentido de frecuencias altas de tiempo continuo
a tiempo discreto, porque en este ltimo caso una frecuencia 2 es equivalente a frecuencia 0, y la
frecuencia ms alta que tenemos en tiempo discreto es : lo ms rpido que podemos hacer cambiar
la amplitud de una secuencia consiste en alternar su signo de muestra a muestra.
TF
[n] 1
TF
[n n0 ] e
jn0
TF
a sinc[an]
0<a<1
TF
1 2
k=
2k
2a
TF
u[n]
TF
ej0 n 2
k=
k=
( 2k)
( 0 2k)
X
1
( 2k)
+
1 ej
k=
1
a u[n]
1
aej
|a|<1
1
TF
(n + 1)an u[n]
(1 aej )2
|a|<1
X
X
2
T F 2
k
[n kN ]
N
N
k=
k=
X
X
2
jk(2/N )n T F
ak k
ak e
2
N
n
nhN i
TF
k=
Por lo dems, las definiciones realizadas sobre limitacin de banda para seales y sistemas en
tiempo continuo y las discusiones sobre la forma ms adecuada de representar seales y sistemas en
el dominio transformado, siguen siendo vlidas para tiempo discreto.
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
1.3 R EPRESENTACIN
35
x[n] X(ej )
TF
y[n] Y (ej )
Linealidad.
TF
(1.126)
Propiedad de convolucin.
TF
(1.127)
Desplazamiento temporal.
TF
(1.128)
Observe cmo el trmino ejn0 que multiplica a X(ej ) es una funcin peridica de periodo 2
(aunque su periodo fundamental es 2/n0 ) por ser n0 un nmero entero.
Diferenciacin.
TF
(1.129)
k=
X
X(ej )
j0
x[n]
( 2k)
+ X(e )
1 ejw
TF
(1.130)
k=
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
36
S EALES
Y SISTEMAS
Insercin de ceros. Si a partir de la secuencia x[n] generamos otra secuencia x0L [n] insertando
L 1 ceros entre dos valores de x[n] de la forma
(
x Ln
x[k][n kL] =
x0L [n] =
0
k=
si n = L
si n 6= L
(1.131)
(1.132)
Comparando esta propiedad con la de escalado de la Transformada de Fourier para seales en tiempo
continuo, vemos que el sentido es el mismo en el caso en que el factor de escala a sea igual a 1/L:
una expansin del eje temporal. El nico trmino que ha desaparecido es el factor 1/|a|, porque en
tiempo discreto no ha variado la energa de la secuencia al insertar los ceros. La demostracin de esta
propiedad se realiza aplicando la ecuacin de anlisis de la transformada a (1.131).
Supresin de ceros. Si a partir de la secuencia x0L [n] que cumple
x0L [n] = 0 n 6= L
(1.133)
y cuya Transformada de Fourier es X0L (ej ) generamos otra secuencia x[n] = x0L [nL], se cumple
que
TF
(1.134)
X(ej )Y (ej() ) d
(1.135)
(2)
periodo 2, cuya nica diferencia con la convolucin no peridica vista hasta ahora es el intervalo de
integracin. Podemos comprobar que si intentamos realizar una convolucin no peridica entre dos
seales peridicas, en general, la integral diverge.
Modulacin.
TF
jn x[n]
d X(ej )
d
(1.136)
(1.137)
Simetra.
TF
x[n] X(ej )
(1.138)
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
1.3 R EPRESENTACIN
37
Conjugacin.
TF
x [n] X (ej )
(1.139)
Las discusiones sobre existencia de simetras realizadas en el caso en tiempo continuo para esta propiedad y la anterior siguen siendo vlidas para tiempo discreto.
Conservacin del producto escalar o Relacin de Parseval.
1
x[n]y [n] =
2
n=
X(ej )Y (ej ) d
(1.140)
(2)
1
|x[n]| =
2
n=
2
(2)
|X(ej )|2 d
(1.141)
El mdulo al cuadrado de la Transformada de Fourier, tambin en tiempo discreto, admite la interpretacin como densidad espectral de energa.
Todas estas propiedades se encuentran enumeradas en el Cuadro 1.4.
Linealidad
Convolucin
Desplazamiento temporal
Diferenciacin
Acumulacin
Insercin de ceros
Supresin de ceros
Producto
Modulacin
Derivacin en frecuencia
Simetra
Conjugacin
Relacin de Parseval
Teorema de Rayleigh
TF
x[n]y[n]
ej0 n x[n]
1
j
2 X(e )
Y (ej )
2
TF
j(
0))
X(e
d X(ej )
d
TF
j
X(e
)
TF
jn x[n]
x[n]
TF
x [n] X (ej )
R
P
1
j
j
n= x[n]y [n] = 2 (2) X(e )Y (e ) d
R
P
1
j 2
2
n= |x[n]| = 2 (2) |X(e )| d
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
38
S EALES
Y SISTEMAS
ak =
(1.142)
(1.143)
khN i
ak e
jk(2/N )n T F
nhN i
k=
ak ( k
2
)
N
(1.144)
x[n]z n
(1.86)
n=
x[n] =
1
2j
X(z) z n1 dz
(1.87)
es til sobre todo para el estudio de sistemas lineales e invariantes. Antes de entrar a analizar la caracterizacin de estos sistemas, vamos a examinar un concepto de vital importancia en la Transformada
Z: la regin de convergencia (Region Of Convergence , ROC).
A diferencia de la Transformada de Fourier, la Transformada Z existe siempre5 pero, en general,
no sobre todo el plano complejo z. Definimos la regin de convergencia como el conjunto de todos
los valores de z (regin del plano z) para los
de la ecuacin de anlisis, (1.86), es
P que el sumatorio
n = se denominan polos de X(z). La
convergente. Los valores de z para los que
x[n]z
k=
ROC cumple las siguientes propiedades:
Propiedad 1. La ROC es un anillo en el plano z centrado en el origen.
5
Estrictamente es siempre que su crecimiento o decrecimiento sea, como mucho, exponencial. Todas las seales de
inters en comunicaciones cumplen esta propiedad.
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
1.3 R EPRESENTACIN
39
Propiedad 2. La Transformada de Fourier de una secuencia x[n] existe si la ROC incluye la circunferencia de radio unitario.
Propiedad 3. Por definicin, la ROC no contiene ningn polo de X(z).
Propiedad 4. Si x[n] es una secuencia de duracin finita, la ROC es todo el plano z con la posible
excepcin de z = 0 y/o z = .
Propiedad 5. Si x[n] es una secuencia de lado derecho (x[n] = 0 n < N1 < ) la ROC es la
regin exterior a una circunferencia, tal y como se muestra en las Figuras 1.7(a) y 1.7(b)
(la ROC es el rea sombreada). El punto z = puede o no pertenecer a la ROC. La
Transformada de Fourier existe en un caso como el mostrado en la Figura 1.7(a) porque
la ROC incluye la circunferencia unidad y no existe en un caso como el mostrado en la
Figura 1.7(b).
Plano z
Plano z
(a)
(b)
Plano z
Plano z
(c)
(d)
Figura 1.7. Ejemplos de ROC: exterior a una circunferencia incluyendo la circunferencia unidad (a),
exterior a una circunferencia sin incluir la circunferencia unidad (b), interior a una circunferencia (c),
y anular (d).
Propiedad 6. Si x[n] es una secuencia de lado izquierdo (x[n] = 0 n > N1 > ) la ROC es la
regin interior a una circunferencia, tal y como se muestra en la Figura 1.7(c). El punto
z = 0 puede o no pertenecer a la ROC.
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
40
S EALES
Y SISTEMAS
Propiedad 7. Si x[n] es una secuencia que se extiende desde a sin anularse (secuencia indefinida que no es ni de lado derecho ni de lado izquierdo) la ROC es una regin anular
acotada por dos circunferencias, tal y como se muestra en la Figura 1.7(d).
Propiedad 8. La ROC es una regin conexa (no puede estar compuesta, por ejemplo, por dos anillos).
A modo de resumen, podemos decir que la ROC es una regin anular acotada por las circunferencias en que se sitan los polos de X(z).
Z
ROC
[n] 1
Todo el plano z
Z
[n n0 ] z n0
1
1 z 1
1
Z
u[n 1]
1 z 1
1
Z
an u[n]
1 az 1
1
Z
an u[n 1]
1 az 1
1
az
Z
nan u[n]
(1 az 1 )2
az 1
Z
an u[n 1]
(1 az 1 )2
1
Z
ej0 n u[n]
j
1 e 0 z 1
Z
u[n]
ROC = Rx
y[n] Y (z)
ROC = Ry
Observe cmo muchas de las operaciones que expresan las propiedades conllevan un cambio de la
ROC.
Podemos comprobar cmo todas estas propiedades de la Transformada Z se reducen a sus correspondientes propiedades de la Transformada de Fourier para secuencias si hacemos z = ej .
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
1.3 R EPRESENTACIN
41
Propiedad
Linealidad
Convolucin
Desplazamiento
temporal
Insercin de ceros
Definicin
x[n] + y[n] X(z) + Y (z)
Al menos, Rx Ry
Rx , con la posible
adicin o sustraccin de z = 0
z=
x0L [n] =
k=
Supresin de ceros
ROC
Multiplicacin por
una exponencial
compleja
z0 n x[n] X(z/z0 )
Derivacin
n x[n] z d X(z)
dz
RxL
|z0 |Rx
Rx
1/Rx
Rx
x [n] X (z )
Conjugacin
1/L
Rx
x[n] X(1/z)
Simetra
Al menos, Rx Ry
lm x[n] = lm (1 z 1 )X(z)
z1
(1.145)
donde K es una constante, en general compleja y su ROC es todo el plano z. La demostracin de esta
propiedad se obtiene tomando la Transformada Z de (1.74).
Causalidad. En un sistema causal, la ROC de su funcin de transferencia ser la regin exterior
de una circunferencia incluyendo z = , porque un sistema es causal si y slo si su respuesta al
impulso h[n] cumple h[n] = 0, n < 0. El radio de esta circunferencia ser el mdulo del polo de
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
42
S EALES
Y SISTEMAS
H(z) ms alejado del origen pues, como hemos mencionado anteriormente, la ROC est acotada por
las circunferencias en que se sitan los polos de X(z).
De manera anloga, la ROC de la funcin de transferencia de un sistema anticausal ser la regin
interior a una circunferencia incluyendo z = 0. El radio de esta circunferencia ser el mdulo del polo
de H(z) ms cercano al origen.
Invertibilidad. Si un sistema es invertible, la funcin de transferencia de su sistema inverso ser
Hi (z) =
1
H(z)
(1.146)
como podemos comprobar sin ms que tomar la transformada de (1.77). Lamentablemente, que podamos obtener Hi (z) no significa que un sistema sea invertible: si, para alguna frecuencia 0 se cumple
que H(ej0 ) = 0 (denominados ceros de transmisin ), todo el contenido de la seal de entrada al
sistema en esa frecuencia se pierde a su salida, y es imposible de recuperar la seal original.
Estabilidad. Un sistema es estable BIBO si y slo si la ROC de su funcin de transferencia contiene
la circunferencia unidad. La convergencia de la ecuacin de anlisis de la Transformada Z, (1.86), en
la circunferencia unidad se cumple si y slo si
X
n
<
(1.147)
|x[n]z |
n=
z=ej
n=
|x[n]ejn | =
n=
|x[n]| <
(1.148)
que es exactamente la condicin de estabilidad BIBO para sistemas lineales e invariantes, (1.78).
A continuacin haremos uso de estas propiedades en una familia concreta de sistemas lineales e
invariantes.
Sistemas definidos por ecuaciones en diferencias con coeficientes constantes
Un caso particular de sistemas ampliamente utilizados son aquellos cuya relacin entre entrada y
salida queda definida por una ecuacin en diferencias con coeficientes constantes, porque su funcin
de transferencia en el dominio z va a ser una funcin racional. En este apartado vamos a caracterizar
la funcin de transferencia de estos sistemas6 .
En un caso general, la ecuacin en diferencias que define el sistema toma la forma
N
X
k=0
ak y[n k] =
M
X
k=0
bk x[n k]
(1.149)
donde x[n] e y[n] son, respectivamente, la entrada y la salida del sistema. Para asegurar la linealidad
e invarianza temporal del sistema es suficiente imponer adicionalmente condiciones iniciales nulas,
6
Para no repetir continuamente el trmino sistemas definidos por ecuaciones en diferencias con coeficientes constantes,
cuando en este apartado nos refiramos genricamente a sistemas, estaremos hablando de este tipo particular de sistemas.
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
1.3 R EPRESENTACIN
43
(x[] = y[] = 0), lo que nos garantiza, adems, la causalidad del sistema. Alternativamente
podemos imponer condiciones finales nulas, (x[] = y[] = 0), lo que tambin nos garantiza linealidad e invarianza a costa de la anticausalidad del sistema. Hablamos de una realizacin del sistema
como lineal, invariante y causal o, simplemente, realizacin causal de (1.149) si imponemos condiciones iniciales nulas, y hablamos de una realizacin anticausal de (1.149) si imponemos condiciones
finales nulas.
Para calcular la funcin de transferencia del sistema, calculamos la Transformada Z de ambos
lados de (1.149), teniendo en cuenta que
Z
x[n] X(z)
(1.150)
y[n] Y (z)
(1.151)
k=0
N
X
k=0
y de aqu, finalmente
bk x[n k]
Z
ak y[n k]
N
X
ak z
Y (z) =
M
X
k=0
N
X
bk z k X(z)
(1.152)
ak z k Y (z)
(1.153)
k=0
M
X
bk z k X(z)
(1.154)
k=0
k=0
H(z) =
M
X
Y (z)
= k=0
N
X(z)
X
bk z k
(1.155)
ak z k
k=0
H(z) =
M
X
k=0
N
X
k=0
bk z
=
ak z k
M
Y
(1 dk z 1 )
b0 k=1
N
a0 Y
(1.156)
(1 ck z 1 )
k=1
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
44
S EALES
Y SISTEMAS
donde ck y dk son las races de los polinomios del denominador y numerador, respectivamente. Estas
constantes son los ceros (dk ) y polos (ck ) de la funcin de transferencia del sistema en el dominio z.
Es necesario recordar que, en general, las constantes ak , bk , ck y dk son nmeros complejos, pero aun
en el caso en que los coeficientes de la ecuacin en diferencias ak y bk sean constantes reales (sistema
real), las races ck y dk pueden tomar valores complejos.
Una conclusin importante que podemos extraer de (1.156) es que la funcin de transferencia
queda, a excepcin de una ganancia b0 /a0 , unvocamente determinada por la ubicacin de sus polos
y ceros. Estos polos y ceros pueden representarse en lo que se conoce como un diagrama de polos y
ceros , tal y como se muestra en la Figura 1.8.
Plano z
d
c
c
5
d
d
Sobre el diagrama de polos y ceros podemos determinar rpidamente si las realizaciones causal o
anticausal del sistema son estables o no. Si optamos por la realizacin causal (condiciones iniciales
nulas) del sistema, tenemos que su ROC (como la de todo sistema causal) es la regin exterior a la
circunferencia que contiene al polo de mayor magnitud; esto es
|z| > m
ax |ck |
k
(1.157)
Como la condicin para que un sistema lineal e invariante sea estable es que la ROC contenga la
circunferencia de radio unidad, para que esto suceda, todos los polos, ck , deben estar dentro del crculo
de radio unidad. La realizacin causal del ejemplo de la Figura 1.8 se corresponde con un sistema
inestable.
Si optamos por la realizacin anticausal (condiciones finales nulas) del sistema, tenemos que su
ROC (como la de todo sistema anticausal) es la regin interior a la circunferencia que contiene al polo
de menor magnitud; esto es
|z| < mn |ck |
(1.158)
k
En este caso, la estabilidad de la realizacin queda garantizada si todos los polos, ck , estn fuera del
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
1.3 R EPRESENTACIN
45
crculo de radio unidad. La realizacin causal del ejemplo de la Figura 1.8 se corresponde con un
sistema inestable.
Afortunadamente, salvo que existan polos sobre la circunferencia unidad, somos capaces de encontrar una realizacin estable del sistema descomponiendo H(z) como la combinacin de dos sistemas
H(z) = Hc (z)Ha (z)
(1.159)
admitiendo el primero de ellos, Hc (z), una realizacin causal estable y el segundo, Ha (z), una realizacin anticausal estable. Hc (z) debe contener todos los polos de mdulo menor que la unidad y
Ha (z) los polos de mdulo mayor que la unidad. Los ceros del sistema podemos repartirlos entre
Hc (z) y Ha (z) como mejor nos parezca. En el ejemplo de la Figura 1.8, Hc (z) contendra los polos
c1 , c2 y c5 , y Ha (z) contendra los polos c3 , c4 y c6 .
Sobre el diagrama de polos y ceros tambin podemos determinar rpidamente si un sistema tiene
inverso y, caso de tenerlo, su funcin de transferencia. Si el sistema posee inverso, este, de acuerdo
con (1.146), es
Hi (z) =
N
Y
(1 ck z 1 )
1
a0 k=1
=
M
H(z)
b0 Y
(1 dk z 1 )
(1.160)
k=1
cuyo diagrama de polos y ceros es el de H(z) intercambiando polos por ceros. Para que exista el
sistema inverso debe existir la inversa de h[n] respecto a la convolucin, hi [n] tal que hi [n] h[n] =
[n] y, para que esto suceda, la ROC de H(z)Hi (z) debe contener la circunferencia unidad7 . Esto
quiere decir que siempre que H(z) no contenga ni polos ni ceros sobre la circunferencia unidad
seremos capaces de encontrar realizaciones (causales y/o anticausales) para H(z) y Hi (z) de tal
manera que uno sea el sistema inverso del otro.
Un tipo de sistemas de gran inters en comunicaciones es el que admite una realizacin causal
estable con inversa tambin causal y estable. Para que esto suceda, todos los polos y ceros de la funcin
de transferencia deben estar dentro de la circunferencia unidad. Este tipo de sistemas se conocen con
el nombre de sistemas de fase mnima , los denotaremos como Hmin (z), y volveremos sobre ellos ms
adelante.
Analicemos ahora las caractersticas de amplitud y fase de la funcin de transferencia, (1.156),
Esta condicin se da siempre que la interseccin de las ROC de H(z) y H(z) sea no nula, ya que entonces podemos
encontrar realizaciones de las respuestas al impulso de ambos sistemas y, al realizar la convolucin entre ellas se produce la
cancelacin de polos con ceros y una ROC para H(z)Hi (z) que es todo el plano complejo.
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
46
S EALES
Y SISTEMAS
|H(z)|ejH(z)
M
Y
|1 dk z 1 |ej(1dk z )
b
b0 j 0
= e a0 k=1
N
a0
Y
1
|1 ck z 1 |ej(1ck z )
k=1
M
Y
b0
= k=1
N
a0 Y
k=1
|1 dk z 1 |
e
b0
a0
|1 ck z 1 |
M
Y
k=1
N
Y
ej(1dk z
1 )
(1.161)
ej(1ck
z 1 )
k=1
H(ej ) =
b0
a0
k=1
M
X
k=1
(1 dk ej )
N
X
k=1
(1 ck ej )
(1.163)
k=1
k=1
k=1
b0
a0
M
Y
k=1
Hdk (z)
N
Y
Hck (z)
(1.165)
k=1
en el dominio temporal,
h[n] =
b0
hd1 [n] hdM [n] hc1 [n] hcN [n]
a0
(1.166)
1.3 R EPRESENTACIN
47
x(t)
H (z )
y(t)
h[n]
x(t)
Hd1(z)
HdM(z)
Hc1(z)
HcN(z)
hd1[n]
hdM[n]
hc1[n]
hcN[n]
y(t)
b0/a0
Figura 1.9. Descomposicin de un sistema genrico como conexin en serie de sistemas de orden 1.
2. La nica diferencia entre los polinomios de orden 1 del numerador (ceros de H(z)) y los del
denominador (polos de H(z)), es que contribuyen aditiva o sustractivamente a las caractersticas
de amplitud y fase del sistema.
A la vista de todo lo anterior, bastar con caracterizar el comportamiento de un sistema de orden
1 para poder analizar las caractersticas de un sistema genrico, pues estas no son sino la suma de las
caractersticas de sistemas de orden 1.
En otras palabras, bastar con analizar el comportamiento de un sistema lineal e invariante caracterizado por la ecuacin diferencial
y[n] ay[n 1] = x[n]
(1.167)
(1.168)
o, alternativamente
para poder analizar un sistema genrico. Escogeremos (1.167), cuya funcin de transferencia resulta
ser
1
H(z) =
(1.169)
1 az 1
con un polo en z = a y un cero en z = 0. Existen dos posibles ROC; una de ellas es la regin exterior
a la circunferencia de radio |a|, mostrada en la Figura 1.10(a), que conduce a una realizacin causal
del sistema con una respuesta al impulso (ver Cuadro 1.5)
h[n] = an u[n]
(1.170)
La otra posible ROC es la regin interior a la circunferencia de radio |a|, mostrada en la Figura
1.10(b), que conduce a una realizacin anticausal del sistema con una respuesta al impulso (ver Cuadro
1.5)
h[n] = an u[n 1]
(1.171)
Dependiendo del valor que tome |a|, una (|a| 6= 1) o las dos (|a| = 1) realizaciones pueden dar lugar
a sistemas inestables.
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
48
S EALES
Plano z
Y SISTEMAS
Plano z
ROC 1
a
a
ROC 2
(a)
(b)
Figura 1.10. Posibles ROC para un sistema de orden 1: realizacin causal (a) y realizacin anticausal (b).
Para la realizacin estable (si la hubiese), su caracterstica de amplitud es, expresando a en forma
polar como a = rej ,
20 log10 |H(ej )| = 20 log10 |1 rej ej |1
= 20 log10 |1 rej ej |
= 10 log10 (1 + r2 2r cos( ))
(1.172)
Su caracterstica de fase es
j
j j 1
H(e ) = (1 re e
j j
= (1 re e
) = arctan
r sen( )
1 r cos( )
(1.173)
Y su retardo de grupo
() =
r cos( ) r2
1 + r2 2r cos( )
(1.174)
que estn representados en la Figura 1.11 para un valor genrico de y varios valores de r menores
que 1. Para determinar la respuesta de un sistema con un orden genrico no hay sino que sumar
caractersticas como las mostradas en esta figura.
Un tipo de sistema de gran importancia es el denominado paso todo , que denotamos como Hall (z)
y que, en su forma ms simple, tiene una funcin de transferencia
Hall (z) =
z 1 a
1 az 1
a
j
= e
= e
=1
|H(e )| =
1 aej
1 aej
|1 aej |
(1.175)
(1.176)
que es la que le da el nombre. Un sistema paso todo compensa la influencia del polo en a sobre la
caracterstica de amplitud con un cero en 1/a . Podemos construir sistemas paso todo del orden que
deseemos sin ms que combinar sistemas de orden 1 como (1.175).
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
1.3 R EPRESENTACIN
49
/2
20
15
10
5
20log |H(e )|
10
/2
/2
t
H(e )
/2
/2
/2
0
/4
/2
/2
2
r=0.9
r=0.75
r=0.5
r=0.25
()
6
8
Figura 1.11. Caracterstica de amplitud, caracterstica de fase y retardo de grupo de un sistema de orden 1.
Si combinamos un sistema paso todo con un sistema de fase mnima podemos representar cualquier sistema con funcin de transferencia racional de la forma
H(z) = Hmin (z)Hall (z)
(1.177)
Para demostrar que cualquier sistema de estas caractersticas puede descomponerse de esta forma
pensemos en un sistema que tiene todos sus polos y ceros dentro de la circunferencia unidad excepto
un polo que est fuera, en una posicin z = a. Ese polo que est fuera de la circunferencia unidad
se asigna al sistema paso todo de la forma (1.175), que a su vez genera un cero en z = 1/a . Para
anular la influencia de este cero, el sistema de fase mnima coloca un polo en z = 1/a . Si a estaba
fuera de la circunferencia unidad, 1/a estar dentro. Visto de otra forma, por cada polo que aparece
fuera de la circunferencia unidad en una posicin z = a, multiplicamos y dividimos por (z 1 a ) la
funcin de transferencia, lo que no la deja inalterada. (z 1 a ) junto con el polo en z = a se asigna
al sistema paso todo y (z 1 a )1 al sistema de fase mnima.
Esta descomposicin nos permite, en sistemas que no admitan un inverso causal y estable, realizar
una compensacin de la caracterstica de amplitud, que resulta de inters en determinadas aplicaciones
como la siguiente. Imaginemos que enviamos una seal por un canal de comunicaciones, y a la salida
nos llega la seal distorsionada por un sistema H(z) que no es de fase mnima. Si queremos recuperar
la seal que se envi debemos encontrar el sistema inverso pero, ya que eso es imposible, podemos al
menos compensar la caracterstica de amplitud que introduce el canal si descomponemos H(z) de la
forma (1.177) y, en lugar del sistema inverso empleamos (Hmin (z))1 . En ese caso, la combinacin
de H(z) con (Hmin (z))1 da como resultado
Hmin (z)Hall (z)
H(z)
=
= Hall (z)
Hmin (z)
Hmin (z)
(1.178)
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
50
S EALES
Y SISTEMAS
|hmin [k]|
n
X
k=0
|h[k]|2
n 0
(1.179)
X
X
x[n] ejn
(1.180)
x[n] ejn =
XN (ej ) =
n=
n=0
para cada valor de entre 0 y 2; es decir, para infinitos valores de frecuencia. Afortunadamente, en
este caso el clculo de la transformada para un nico valor de frecuencia se realiza con un nmero
finito de operaciones (N multiplicaciones y N 1 sumas, concretamente).
Ahora bien, para seales en tiempo continuo demostramos que no era necesaria la Transformada
de Laplace para representar unvocamente la seal en el dominio transformado, sino que bastaba con
emplear en lugar de s = + j como nica variable independiente (la Transformada de Fourier en
tiempo continuo). Para secuencias demostramos que no era necesaria la Transformada Z para lograr
el mismo objetivo, sino que bastaba con emplear tomando valores en un intervalo de longitud 2
(la Transformada de Fourier en tiempo discreto) en lugar de z = r ej . Si en secuencias de longitud
finita tenemos nicamente N grados de libertad para especificar la secuencia, realmente hacen falta
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
1.3 R EPRESENTACIN
51
los infinitos valores de frecuencia contenidos entre 0 y 2 para representar unvocamente la secuencia
en el dominio transformado? Obviamente, la respuesta es no.
Para representar unvocamente la secuencia de longitud finita van a ser necesarios exactamente N
valores de la Transformada de Fourier, (1.180), pero para determinar cules sern estos valores hay
que preguntarse la razn por la que eran necesarios infinitos valores en la Transformada de Fourier.
La Transformada de Fourier de una seal puede interpretarse como una representacin de la seal
empleando una base de sinusoides complejas, de la misma forma que la seal en el dominio natural
puede interpretarse como una representacin de la seal empleando una base de funciones delta ((1.31)
para tiempo continuo y (1.34) para tiempo discreto), y la operacin en s de la Transformada de
Fourier puede interpretarse como un cambio de base. Las sinusoides complejas forman una base para
la seales de duracin ilimitada8 porque, en tiempo continuo, dos sinusoides de frecuencia distinta
son ortogonales
(
Z
Z
si 1 = 2
j(1 2 )t
j 1 t
j 2 t
e
dt =
dt =
e
e
(1.181)
0 si 1 6= 2
y son un conjunto generador del espacio de seal, como demuestra la ecuacin de sntesis de la Transformada de Fourier. Si no incluimos las sinusoides de todas las frecuencias posibles no se cumple la
propiedad de conjunto generador. Para tiempo discreto obtenemos el mismo resultado si restringimos
los valores de frecuencia a los contenidos entre 0 y 2. Los N valores de frecuencia que buscamos o,
equivalentemente, las N sinusoides que buscamos, deben ser ortogonales y generar cualquier secuencia de longitud N .
Si empleamos los valores de frecuencia k = k(2/N ), con k = 0, . . . , (N 1), tenemos que
las sinusoides de dichas frecuencias son ortogonales en un intervalo de longitud N ,
(
1
N
1
NX
X
N si k r = N
ej(kr)(2/N )n =
ejk(2/N )n ejr(2/N )n =
(1.182)
0 si k r 6= N
n=0
n=0
y son capaces de generar cualquier seal sobre el intervalo 0 n < N , como demuestra la ecuacin
de sntesis del Desarrollo en Serie de Fourier para secuencias, (1.143). Tomando muestras de XN (ej )
en estos valores de frecuencia tendremos unvocamente determinada la secuencia x[n] de longitud
finita.
.
La secuencia de valores X[k] = XN (ejk(2/N ) ), con k = 0, . . . , (N 1) es la que denominamos
Transformada Discreta de Fourier (Discrete Fourier Transform , DFT) de longitud N de la secuencia
x[n], que definimos formalmente como
N 1
X
0
resto
y que nos permiten reconstruir la secuencia x[n] como
N
1
1
X[k] ejk(2/N )n
N
x[n] =
k=0
0n<N
(1.184)
resto
8
En realidad no son una base para todas las seales de duracin ilimitada, sino para aquellas que cumplen determinadas
propiedades matemticas que resultan irrelevantes en la prctica.
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
52
S EALES
Y SISTEMAS
Tambin nos referimos a (1.183) como ecuacin de anlisis de la DFT y a (1.184) como ecuacin de
sntesis de la DFT, DFT inversa o IDFT. La relacin entre x[n] y X[k] la denotaremos como
DF T
x[n] X[k]
N
(1.185)
1.3 R EPRESENTACIN
53
y[n] Y [k]
N
DF T
Convolucin circular.
DF T
x[n]
N y[n]
X[k]Y [k]
N
(1.186)
(1.187)
Si multiplicamos punto a punto las DFT de dos secuencias el resultado en el dominio natural no es
una convolucin como la conocemos hasta ahora, peridica o no peridica, sino lo que denominamos
convolucin circular de mdulo N , que denotamos con el smbolo
N y representa la operacin
N
1
0
resto
donde (( ))N representa la operacin mdulo N , cuyo resultado va a estar siempre en el rango
0 n < N 9 . La convolucin que conocamos hasta ahora la denominamos convolucin lineal en
contraposicin a la convolucin circular.
Desplazamiento circular.
DF T
(1.189)
El efecto de multiplicar la DFT de una secuencia por ejk(2/N )n0 , lo que sera el equivalente en la
Transformada de Fourier de multiplicar X(ej ) por ejn0 , no se traduce en un desplazamiento lineal
(ms bien, no puede traducirse en un desplazamiento lineal porque el resultado de la DFT inversa va
a ser cero fuera del intervalo 0 n < N ), sino en un desplazamiento circular, donde la variable
independiente se opera mdulo N .
Insercin de ceros. Si a partir de la secuencia x[n] de longitud N generamos otra secuencia x0L [n]
de longitud N L insertando L 1 ceros entre dos valores de x[n] de la forma
(
N
1
X
x Ln
si n = L y 0 n < N L
x[k][n kL] =
x0L [n] =
(1.190)
0
si
n
=
6
L
k=0
se cumple que
DF T
(1.191)
El resultado de la insercin de ceros en la Transformada de Fourier es una compresin del espectro por
un factor L. Como en la DFT de N L puntos muestreamos en las frecuencias k(2/N L), el resultado
de la insercin de ceros va a ser el mismo resultado pero replicado L veces.
9
Como recordatorio, el resultado de la operacin ((l))m , siendo l y m nmeros enteros, es el resto de la divisin entera
de l por m. Por ejemplo, ((3))5 = 3, ((5))5 = 0, ((6))5 = 1, ((104))5 = 4, etc.
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
54
S EALES
Y SISTEMAS
(1.192)
y cuya DFT es X0L [k] generamos otra secuencia x[n] = x0L [nL], se cumple que
DF T
Dualidad.
DF T
X[n] N x[((n))N ]
N
(1.193)
(1.194)
Volvemos a recuperar esta propiedad que tenamos en la Transformada de Fourier en tiempo continuo
y que perdimos en la Transformada de Fourier de secuencias, porque aqu la naturaleza de las variables
independientes de los dominios natural y transformados es la misma (variables enteras)
Producto.
1
X[k]
N Y [k]
(1.195)
N
Nos vuelve a aparecer otra operacin de convolucin circular, ahora en el dominio transformado, que
se realiza de idntica forma a (1.188)
DF T
x[n]y[n]
N
Modulacin.
DF T
(1.196)
DF T
x[((n))N ] X[((k))N ]
N
(1.197)
Conjugacin.
DF T
x [n] X [((k))N ]
N
(1.198)
Las definiciones de paridad, imparidad, hermiticidad y antihermiticidad se refieren ahora a operaciones mdulo N sobre la variable independiente. Por lo dems, se siguen conservando las propiedades
de simetra de la Transformada de Fourier porque, al fin y al cabo, los coeficientes de la DFT no son
sino muestras de aqulla.
Todas estas propiedades se encuentran enumeradas en el Cuadro 1.7.
Convolucin lineal y convolucin circular
La convolucin lineal y la convolucin circular de dos secuencias de longitud finita no proporcionan, en general, el mismo resultado. En determinadas situaciones, como la que describiremos a
continuacin, la realizacin de una convolucin lineal mediante una convolucin circular conlleva
ventajas computacionales (menor nmero de operaciones), pero para poder aprovecharlas es necesario establecer las condiciones en que ambas operaciones son equivalentes.
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
1.3 R EPRESENTACIN
DF T
Linealidad
Convolucin circular
x[n]
N y[n]
X[k]Y [k]
Desplazamiento circular
Insercin de ceros
Supresin de ceros
Dualidad
Producto
Modulacin
Simetra
Conjugacin
55
N
DF T
N
DF T jk(2/N )n0
X[k]
x[((n n0 ))N ] e
N
PN 1
DF T
x0L [n] = k=0 x[k][n kL] X[((k))N ]
NL
DF T
x[n] X0L [k]
N
DF T
X[n] N x[((n))N ]
N
DF T
N Y [k]
x[n]y[n] N1 X[k]
N
DF T
ejk0 (2/N )n x[n] X[((k k0 ))N ]
N
DF T
x[((n))N ] X[((k))N ]
N
DF T
x [n] X [((k))N ]
N
Imaginemos que queremos calcular la convolucin lineal de dos secuencias, cada una de ellas de
longitud 1.000. Para calcular la convolucin aplicamos la Frmula (1.69), donde debemos realizar
1.000 multiplicaciones y sumas para calcular el resultado en un nico instante. Dado que la convolucin de dos secuencias de longitud finita es otra de longitud igual a la suma de las longitudes de las
secuencias menos uno, aproximadamente deberemos de calcular 2.000.000 de multiplicaciones (eliminando las multiplicaciones por cero, podramos quedarnos aproximadamente en 1.000.000, pero no
menos). Si en lugar de calcular la convolucin lineal queremos calcular la convolucin circular de longitud 1.000, podramos aplicar el siguiente procedimiento, que aprovecha la propiedad de convolucin
circular de la DFT:
Paso 1. Calculamos las DFT de longitud 1.000 de ambas secuencias. Aplicando algn algoritmo de
tipo FFT, esto supone realizar aproximadamente 2 N log2 N 2 1.000 10 = 20.000
multiplicaciones y sumas.
Paso 2. Multiplicamos punto a punto el resultado de las dos DFT, lo que supone una carga computacional de 1.000 multiplicaciones.
Paso 3. Calculamos la DFT inversa al resultado de la multiplicacin para obtener la convolucin
circular. Este paso supone aproximadamente 10.000 multiplicaciones y sumas.
En total, para realizar la convolucin circular emplearamos aproximadamente 31.000 multiplicaciones y sumas, ms de 30 veces menos que para realizar una convolucin lineal.
Merece la pena, a tenor de la diferencia en el coste computacional, establecer las condiciones en
que ambas operaciones son equivalentes.
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
56
S EALES
Y SISTEMAS
Podemos demostrar que si tenemos dos secuencias de longitud finita, x1 [n] que es idnticamente
nula fuera del intervalo 0 n < N1 y x2 [n] que es idnticamente nula fuera del intervalo 0 n <
N2 , su convolucin lineal
x3 [n] = x1 [n] x2 [n]
(1.199)
es idnticamente nula fuera del intervalo 0 n < N1 +N2 1, y la convolucin circular con longitud
N (N > N1 , N2 ) de ambas secuencias puede expresarse como
(
x3p [n] 0 n < N
x3c [n] = x1 [n]
N x2 [n] =
(1.200)
0
resto
con
x3p [n] =
r=
x3 [n rN ]
(1.201)
que no es otra cosa sino la superposicin, en el intervalo 0 n < N , de rplicas del resultado de la
convolucin lineal de ambas secuencias desplazadas un nmero entero de veces N .
Si N es mayor o igual que N1 + N2 1, las rplicas de la convolucin lineal (x3 [n rN ]) no se
solapan en los mismos instantes temporales en x3p [n] y, por tanto, al aplicar (1.200), x3c [n] va a ser
exactamente la convolucin lineal, x3 [n].
Si N es menor que N1 + N2 1, las rplicas de la convolucin lineal (x3 [n rN ]) se solapan
en los instantes temporales rN n < (r 1)N + N1 + N2 1 de x3p [n] y, al aplicar (1.200),
x3c [n] va a ser distinto de x3 [n] en los instantes 0 n < N1 + N2 N 1 e igual en los instantes
N1 + N2 N 1 n < N .
En resumen, si empleamos una DFT de longitud mayor o igual que N1 + N2 1, el resultado de la
convolucin lineal y de la convolucin circular son idnticos y podemos emplear el mtodo basado en
la propiedad de convolucin circular de la DFT para calcularla. Si volvemos al ejemplo anterior, para
realizar la convolucin de dos secuencias de 1.000 puntos cada una mediante convolucin circular
necesitaramos aproximadamente 62.000 multiplicaciones y sumas, que an es casi 20 veces menor
de las que necesitaramos para realizar la convolucin lineal.
El nombre de demodulador en cuadratura proviene de su realizacin empleando seales reales, donde la operacin de
demodulacin propiamente dicha (la multiplicacin por la exponencial compleja) se divide en dos demodulaciones, una
empleando un coseno y la otra un seno o, lo que es lo mismo, dos sinusoides en cuadratura.
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
1.3 R EPRESENTACIN
57
|X(j)|
|Xeq(j)|
(12)/2
(21)/2
Figura 1.12. Caracterstica de amplitud de una seal de banda estrecha (arriba) y de su equivalente
paso bajo (abajo).
Filtro
xeq(t)
paso bajo
e - jw 0 t
La seal xeq (t) es, en general, compleja aunque la seal x(t) de la que proviene sea real. Para
que xeq (t) fuese real la componente de frecuencia positiva de X(j) debera ser hermtica respecto a
0 (caracterstica de amplitud para frecuencias positivas par y caracterstica de fase para frecuencias
positivas impar tomando el origen de frecuencias como 0 ), pero bien sea porque la componente de
frecuencia positiva de X(j) no es hermtica respecto a ninguna frecuencia o bien sea porque, an
sindolo, 0 no es igual a la frecuencia central de la banda ((1 + 2 )/2), la seal xeq (t) va a ser
tratada como una seal compleja.
A la parte real de xeq (t) se le suele denominar componente en fase de x(t) y denotar como xI (t);
a la parte imaginaria, componente en cuadratura de x(t) y denotar como xQ (t). Al mdulo de xeq (t)
se le suele denominar envolvente de x(t).
Una forma alternativa de obtener xeq (t) consiste en suprimir en primer lugar las componentes
de frecuencias negativas y, posteriormente, realizar la demodulacin. El sistema encargado de suprimir las componentes de frecuencias negativas se denomina divisor de fase y tiene una funcin de
transferencia
(
2 >0
(1.202)
Hps (j) =
0
<0
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
58
S EALES
Y SISTEMAS
donde la ganancia 2 para frecuencias positivas tiene como objeto conservar la energa (o potencia)
de la seal. La salida del divisor de fase, x(t) hps (t), se denomina seal analtica o preenvolvente
de x(t) y se denota como xa (t). A partir de la envolvente obtenemos el equivalente paso bajo como
xeq (t) = ej0 t xa (t).
Comnmente, el divisor de fase se realiza empleando un Transformador de Hilbert , que es el
sistema descrito en el Ejemplo 1.11. Posee una funcin de transferencia
(
j > 0
Hh (j) =
(1.203)
j
<0
y una respuesta al impulso
hh (t) =
1
t
(1.204)
La seal analtica se construye como una seal compleja cuya parte real es la propia x(t) y la
parte imaginaria es la salida del Transformador de Hilbert o Transformada de Hilbert de x(t), es
decir, xh (t) = x(t) hh (t),
xa (t) = x(t) + jxh (t)
(1.205)
que podemos demostrar fcilmente que es la seal analtica que obtenamos anteriormente porque
(
X(j) + j(jX(j)) = 2X(j) > 0
Xa (j) = X(j) + jXh (j) =
(1.206)
X(j) + j(jX(j)) = 0
<0
Que un sistema lineal e invariante reciba el nombre de transformador y la salida de ese sistema
reciba el nombre de transformada no debe extraarnos, porque la expresin de xh (t) es
Z
1
x( )
xh (t) =
d
(1.207)
(t )
1.4 M UESTREO,
59
DIEZMADO E INTERPOLACIN
un sistema paso bajo equivalente con una respuesta al impulso heq (t) y una funcin de transferencia
Heq (j).
Por ltimo, debemos mencionar que podemos realizar un tratamiento equivalente para tiempo discreto, sustituyendo x(t) por x[n], xeq (t) por xeq [n], y as sucesivamente. La mayor diferencia que
puede aparecer respecto a lo aqu expresado es la definicin de los sistemas involucrados, donde hay
que recordar que las funciones de transferencia sern funciones peridicas con periodo 2. Concretamente, el Transformador de Hilbert para tiempo discreto tiene una funcin de transferencia
j
j
Hh (e ) = j
0<<
< < 0
peridica con periodo 2
2 sen2 (n/2)
hh [n] =
n
0
1.4.
n 6= 0
(1.208)
(1.209)
n=0
(1.210)
60
S EALES
Y SISTEMAS
n = , . . .
(1.211)
ser una seal en tiempo continuo xp (t) que denominamos seal muestreada. Esta seal se genera con
la ayuda de una seal muestreadora, que es un tren de deltas separadas el periodo de muestreo
p(t) =
n=
(t nTs )
(1.212)
n=
(t nTs ) =
n=
(1.213)
donde xp (t) es una seal en tiempo continuo que contiene, como desebamos, nicamente las muestras de la seal x(t).
Este tipo de muestreo se denomina muestreo ideal porque es fsicamente imposible generar y
manipular una seal que sea un tren de funciones delta.
Para determinar bajo qu condiciones xp (t) determina unvocamente a x(t) calculamos la Transformada de Fourier de xp (t) haciendo uso de la propiedad de multiplicacin y de la transformada de
un tren de deltas que aparece en el Cuadro 1.1
Xp (j) =
=
=
=
1
X(j) P (j)
2
!
2 X
2
1
X(j)
k
2
Ts
Ts
k=
2
1 X
X(j) k
Ts
Ts
k=
1 X
2
X j jk
Ts
Ts
(1.214)
k=
El espectro de la seal muestreada, Xp (j), est compuesto, de acuerdo con (1.214), de rplicas
del espectro de la seal original, X(j), escaladas por 1/Ts y desplazadas a todos los mltiplos
enteros de la frecuencia de muestreo s = 2/Ts , tal y como se muestra en la Figura 1.14 para
una seal paso bajo. De (1.214) podemos deducir tambin que Xp (j) es una funcin peridica
con periodo s . La Figura 1.14 nos es til adems para establecer las condiciones en que es posible
reconstruir x(t) a partir de xp (t). Si la seal a muestrear tiene un espectro como el mostrado en la
Figura 1.14(a), y empleamos una frecuencia de muestreo lo suficientemente alta como para que las
distintas rplicas de X(j) no se solapen al construir Xp (j) segn (1.214), nos encontramos en
una situacin como la que muestra la Figura 1.14(b) donde, al tener cada rplica aislada, podemos
recuperar X(j) con una operacin tan simple como un filtrado. Si, por el contrario, las rplicas de
X(j) se solapan al construir Xp (j), nos encontramos en una situacin como la que muestra la
Figura 1.14(c) (la lnea ms gruesa representa el resultado de la suma expresada en (1.214)), donde
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
1.4 M UESTREO,
61
DIEZMADO E INTERPOLACIN
X(j)
1
2s
(a)
Xp(j)
1/Ts
3s
(b)
2s
3s
X (j)
p
1/T
4s
3s
2s
sM
(c)
M s
2s
3s
4s
Figura 1.14. Espectro de la seal original (a), y espectros de la seal muestreada a distintas frecuencias de muestreo: sin solape espectral (b) y con solape espectral (c).
ser imposible determinar, en las zonas del espectro en que se ha producido el solape, qu parte
pertenece a una rplica y qu parte a otra. En consecuencia, no podremos reconstruir X(j). En este
caso decimos que se ha producido solape espectral en el proceso de muestreo, o que existe distorsin
por aliasing o, simplemente aliasing.
La condicin, por tanto, para que podamos recuperar x(t) a partir de xp (t) es que no exista aliasing. Como condicin previa a esta, la seal x(t) ha de ser limitada en banda, y esta limitacin de
banda es el conocimiento a priori que compensa la prdida de infinitos valores entre muestra y
muestra de la seal x(t). Tngase en cuenta que la limitacin de banda es una restriccin tan fuerte
como la no consideracin de los valores de la seal entre instantes de muestreo consecutivos, porque
estamos expresando que el contenido espectral de la seal es nulo en un rango ilimitado de frecuencias.
El conocimiento a priori de la banda de frecuencias que ocupa la seal es necesario para establecer
tanto el periodo de muestreo que nos garantiza la ausencia de aliasing como el mecanismo de
recuperacin de la seal x(t). Para seales paso bajo como la mostrada en la Figura 1.14(a) que
cumplen
X(j) = 0 || > M
(1.215)
podemos garantizar la ausencia de aliasing siempre que empleemos una frecuencia de muestreo
mayor del doble de M (s > 2M ) o, equivalentemente, un periodo de muestreo Ts
Ts <
(1.216)
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
62
S EALES
Y SISTEMAS
Este resultado es conocido como teorema de muestreo de Nyquist , y la frecuencia 2M como frecuencia de Nyquist.
A pesar de la popularidad de la frecuencia de Nyquist no debemos perder de vista las condiciones
bajo las que est establecida (seales reales paso bajo), siendo el criterio general para la reconstruccin
perfecta de la seal original x(t) la ausencia de aliasing en el proceso de muestreo.
La reconstruccin de la seal se lleva a cabo, como hemos mencionado anteriormente, mediante
un procedimiento de filtrado. Si hacemos pasar la seal muestreada xp (t), que posee un espectro
como el que muestra la Figura 1.15(a), por un filtro Hr (j) paso bajo ideal de ganancia Ts y una
frecuencia de corte c igual a la mitad de la frecuencia de muestreo, c = s /2 = /Ts , (Figura
1.15(b)), la salida de dicho filtro ser una seal xr (t) cuyo espectro se muestra en la Figura 1.15(c) y
que coincidir con x(t) si en el proceso de muestreo no se ha producido aliasing.
Xp(j)
1/Ts
(a)
H (j)
r
(b)
X (j)
r
(c)
Figura 1.15. Proceso de reconstruccin de la seal: espectro de la seal muestreada (a), funcin de
transferencia del filtro reconstructor (b) y espectro de la seal a la salida del filtro reconstructor (c).
El filtro Hr (j) se denomina filtro reconstructor o filtro interpolador y posee una respuesta al
impulso
c
sinc
hr (t) = Ts
c t
= sinc
t
Ts
(1.217)
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
1.4 M UESTREO,
63
DIEZMADO E INTERPOLACIN
X
t
x(nTs )(t nTs ) sinc
=
T
s
n=
X
t nTs
x(nTs ) sinc
=
Ts
n=
(1.218)
t n 0 Ts
Ts
toma valor cero en todos los instantes nTs excepto en n0 Ts donde toma valor 1, y esto garantiza
que xr (nTs ) = x(nTs ).
Para cualquier valor de t 6= nTs , la seal xr (t) se reconstruye empleando todos los valores
x(nTs ), aunque las muestras ms cercanas a dicho instante tendrn ms influencia en el valor
de xr (t) que las ms lejanas, de acuerdo con la forma de la funcin sinc.
A modo de resumen, el proceso completo de muestreo y reconstruccin es el que lleva a cabo el
sistema que muestra la Figura 1.16.
x(t)
xp(t)
Hr(jw)
xr(t)
hr(t)
p(t)
64
S EALES
Y SISTEMAS
x(t)
t
xp(t)
3Ts
2Ts
Ts
Ts
2Ts
3Ts
Ts
2Ts
3Ts
xi(t)
3Ts
2Ts
Ts
Figura 1.17. Comparacin de los distintos tipos de muestreo: seal original x(t), seal resultante
del muestreo ideal xp (t) y seal resultante del muestreo instantneo xi (t).
X
=
x(nTs ) (t nTs ) pi (t)
=
n=
n=
x(nTs ) pi (t nTs )
(1.219)
y su transformada es
Xi (j) = Xp (j)Pi (j) = Pi (j)
2k
1 X
X j j
Ts
Ts
(1.220)
k=
donde cada rplica est ponderada por la funcin Pi (j). Esto provoca una distorsin en la seal
conocida como distorsin de apertura .
El filtro reconstructor debe corregir la distorsin de apertura, por lo que su funcin de transferencia
ha de tomar la forma
Ts
(1.221)
Hr (j) =
Pi (j)
s
Como condicin adicional para poder recuperar la seal original debemos asegurar que Pi (j) no
toma valor cero en ninguna frecuencia perteneciente al intervalo (s /2 , s /2).
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
1.4 M UESTREO,
65
DIEZMADO E INTERPOLACIN
X(j)
X (j)
p
0
2s
0
X (j)
2s
0
2s
0
2s
Figura 1.18. Muestreo paso banda: espectro de la seal original (arriba), espectro de la seal muestreada sin inversin de espectro (centro) y espectro de la seal muestreada con inversin de espectro(abajo).
66
S EALES
Y SISTEMAS
k=
[n kM ]
(1.222)
k=
[n kM ] =
k=
x[kM ] [n kM ]
(1.223)
1
X(ej ) P (ej )
2
2
!
X
1
2
2
k
X(ej )
2
M
M
2
k=
2
1 X
X(ej ) k
M
M
2
k=
2
1 X
X ej (k M )
M
(1.224)
khM i
donde la diferencia ms apreciable con su versin en tiempo continuo, (1.214), es que aqu nos hacen
falta nicamente M rplicas de X(ej ) para formar la funcin peridica Xp (ej ) de periodo 2/M ,
ya que X(ej ) es ya una funcin peridica de periodo 2.
Al igual que en tiempo continuo, en el muestreo de secuencias tambin puede existir aliasing,
y para poder recuperar la secuencia original x[n] debemos garantizar que no se produce aliasing
en el proceso de muestreo. Para secuencias reales paso bajo con frecuencia de corte M , bastar con
garantizar que s = 2/M es mayor del doble de M , que es el teorema de muestreo de Nyquist para
secuencias.
La reconstruccin de la secuencia x[n] se lleva a cabo mediante filtrado con un filtro paso bajo
ideal Hr (ej ) con ganancia M y una frecuencia de corte c igual a la mitad de la frecuencia de
muestreo, c = s /2 = /M . La respuesta al impulso del filtro interpolador toma la forma
n
(1.225)
hr [n] = sinc
M
y la secuencia reconstruida, xr [n],
X
n kM
(1.226)
x[kM ] sinc
xr [n] =
M
k=
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
1.4 M UESTREO,
67
DIEZMADO E INTERPOLACIN
La secuencia xp [n] tiene la misma estructura que una secuencia en que se han insertado M 1
ceros entre muestra y muestra, (1.131). Estos ceros pueden suprimirse sin que ello suponga ninguna
prdida de informacin (de hecho, si se produjese alguna prdida de informacin, esta se producir en
el proceso de muestreo por la existencia de aliasing) mediante una operacin de supresin de ceros
de la forma
xd [n] = xp [nM ]
(1.227)
donde xd [n] se conoce con el nombre de secuencia diezmada, cuya transformada es, de acuerdo con
la propiedad de supresin de ceros de la Transformada de Fourier,
2
1 X
Xd (ej ) = Xp (ej/M ) =
X ej ( M k M )
(1.228)
M
khM i
(1.229)
aunque es necesario todo el anlisis anterior para determinar las condiciones en que xd [n] determina
de manera unvoca x[n] y para establecer la igualdad entre sus transformadas expresada en (1.228).
Un sistema que realiza el proceso de diezmado para una secuencia genrica x[n] es el mostrado
en la Figura 1.19, que se conoce con el nombre de diezmador . Para evitar el aliasing emplea un
filtro paso bajo de frecuencia de corte /M previo al proceso de diezmado propiamente dicho, que se
realiza en el bloque etiquetado como M . nicamente en el caso en que la secuencia x[n] sea paso
x[n]
~
xd [ n ] = ~
x [nM ]
x0 L [n]
xi [n]
(que puede provenir o no de un proceso de diezmado) se le aplica una insercin de ceros a ritmo L
segn (1.131), obteniendo la secuencia
(
X
x Ln
si n = L
x[k][n kL] =
x0L [n] =
(1.131)
0
si n 6= L
k=
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
68
S EALES
Y SISTEMAS
X
X
n kL
n kL
x0L [kL] sinc
xi [n] =
x[k] sinc
=
(1.231)
L
L
k=
k=
x0 L [n]
~
xd [ n ]
1.4 M UESTREO,
xp(t)
x(t)
69
DIEZMADO E INTERPOLACIN
Ts
-ws/2
ws/2
xr(t)
w
p(t)
Conversor
x(t)
x[n]
Conversor
C/D
D/C
Ts
Ts
xr(t)
X
x(nTs ) (t nTs )
(1.232)
xp (t) =
n=
TF
calculamos su transformada empleando el par transformado (t nTs ) ejnTs para cada uno
de los trminos del sumatorio, obteniendo
Xp (j) =
x(nTs ) ejnTs
(1.233)
n=
que no es sino el Desarrollo en Serie de Fourier con periodo s de la funcin peridica Xp (j)
expresada en (1.214).
Por otra parte, tenemos que la Transformada de Fourier de la secuencia x[n] obtenida a partir de
x(t) es, cambiando por para evitar confusiones entre tiempo discreto y tiempo continuo,
X(ej ) =
n=
x[n] ejn =
x(nTs ) ejn
(1.234)
n=
de donde, comparando con la expresin de Xp (j) obtenida en (1.233), podemos obtener la equivalencia
Ts
(1.235)
que nos permite establecer la igualdad
X(ej ) = Xp (j/Ts )
(1.236)
1 X
k2
X(e ) = Xp (j/Ts ) =
X j
Ts
Ts
j
(1.237)
k=
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
70
S EALES
Y SISTEMAS
La equivalencia (1.235) y las ecuaciones (1.236) y (1.237), expresadas en palabras, vienen a decir
que la frecuencia de muestreo en tiempo continuo se transforma en la frecuencia 2 de la secuencia
construida a partir de la seal en tiempo continuo.
Este resultado nos abre las puertas para la realizacin en tiempo discreto de sistemas en tiempo
continuo y viceversa y, ms concretamente, la realizacin en tiempo discreto de la prctica totalidad
de transmisores y receptores de comunicaciones digitales.
o, lo que es ms interesante para nuestros propsitos, la simulacin en tiempo discreto de sistemas
de comunicacin en los que al menos el medio fsico ser de naturaleza continua.
A continuacin abordaremos el estudio de la simulacin de seales y sistemas continuos en tiempo
discreto, el cambio de la frecuencia de muestreo en simulacin en tiempo discreto y la simulacin de
sistemas que no sean lineales e invariantes, haciendo especial hincapi en los aspectos prcticos que
nos permiten una realizacin eficiente de la simulacin. Sin embargo, antes de hacerlo, conviene
puntualizar el sentido del trmino simulacin en comunicaciones.
En general, la simulacin es una disciplina cuyo objetivo es imitar uno o varios aspectos de la
realidad de manera tan precisa como sea posible. La simulacin en sistemas de comunicaciones o,
ms concretamente, la simulacin de un enlace de comunicaciones 11 (transmisor, canal y receptor),
consiste, en la mayora de los casos, en algo tan sencillo como la realizacin en tiempo discreto del
transmisor, canal y receptor y el anlisis de las prestaciones del sistema a partir de esta. En el caso
del transmisor y receptor, incluso el trmino simulacin puede no ser el apropiado en muchos casos,
ya que la realizacin prctica de los mismos se puede llevar a cabo en tiempo discreto utilizando
circuitera digital (microprocesadores, lgica programable, etc.), coincidiendo en estas situaciones
realidad y simulacin.
H(jw)
y(t)
h(t)
x(t)
Conversor
C/D
Ts
x[n]
Heq(ejW)
heq[n]
y[n]
Conversor
yr(t)
D/C
Ts
Figura 1.23. Sistema en tiempo continuo y su esquema equivalente mediante simulacin en tiempo discreto.
11
Existen otros tipos de simulacin en sistemas de comunicaciones como, por ejemplo, la simulacin de redes de comunicaciones, a los que no se aplica lo que aqu vamos a mencionar.
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
1.4 M UESTREO,
71
DIEZMADO E INTERPOLACIN
La primera condicin para que los sistemas mostrados en esta figura puedan ser equivalentes es
que x(t) sea de banda limitada (X(j) = 0 || > M ). y(t) cumple la misma limitacin en
banda que x(t) porque Y (j) = H(j)X(j) y, por tanto, la frecuencia de muestreo o frecuencia
de simulacin no vendr establecida por el sistema, sino por la seal de entrada. Esta ha de escogerse
de acuerdo con el criterio de Nyquist, s > 2M para garantizar la ausencia de aliasing en la
conversin continuo-discreto.
Si el sistema en tiempo continuo cumple la misma limitacin de banda que la seal de entrada,
H(j) = 0 || > M , haciendo que la funcin de transferencia del sistema en tiempo discreto
tome la forma
X
j j2k
H
Heq (ej ) =
(1.238)
Ts
k=
X
X
j j2k
j j2k
H
=
X
Ts
Ts
k=
k=
X
j j2k
j j2k
H
X
=
Ts
Ts
k=
X
j j2k
Y
=
Ts
(1.239)
k=
(1.240)
H1 (j) =
H(j)
(1.241)
s
y, a partir de esta, la funcin de transferencia del sistema de tiempo discreto como
X
k2
j
H1 j
Heq (e ) =
Ts
(1.242)
k=
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
72
S EALES
Y SISTEMAS
(1.243)
que ser distinto de Ts h(nTs ). Es conveniente hacer notar que el valor que tome la funcin de transferencia fuera de la banda que ocupa la seal de entrada es irrelevante porque Y (j) = H(j)X(j).
Si garantizamos que la seal de entrada cumple la limitacin de banda X(j) = 0 || > M la
salida proporcionada por los sistemas cuyas funciones de transferencia sean H1 (j) y H(j) van a
ser idnticas.
A la hora de poner en prctica la simulacin en tiempo discreto de sistemas continuos cobra una
gran importancia el mtodo que empleemos para calcular la salida del filtro en tiempo discreto porque,
en general, heq [n] va a ser una secuencia de longitud ilimitada. La forma ms comn de realizacin
del sistema en tiempo discreto es mediante los sistemas lineales e invariantes definidos por ecuaciones
en diferencias con coeficientes constantes (pg. 42 y siguientes), si bien es necesario hacer notar que
no todos los sistemas lineales e invariantes pueden expresarse mediante ecuaciones en diferencias de
orden finito.
Estos sistemas, definidos por la ecuacin (1.149) (que reproducimos nuevamente aqu)
N
X
k=0
ak y[n k] =
M
X
k=0
bk x[n k]
(1.149)
admiten un mtodo de clculo recursivo de la salida en funcin de la entrada y la salida en los instantes
anteriores sin ms que despejar y[n] de (1.149)
y[n] =
M
N
1 X
1 X
bk x[n k]
ak y[n k]
a0
a0
k=0
(1.244)
k=1
M
1 X
bk x[n k]
a0
(1.245)
k=0
M
X
bk
[n k]
a0
(1.246)
k=0
por lo que recibe el nombre de filtro de tipo FIR (de Finite Impulse Response ). Si N es mayor que
0 el sistema tiene una respuesta impulsional infinita (como vimos en la pg. 47 y siguientes) y reciben
el nombre de filtro de tipo IIR (de Infinite Impulse Response ).
Si heq [n] es una secuencia de longitud finita podemos realizar el sistema en tiempo discreto empleando un filtro FIR.Sin embargo, como hemos mencionado antes, heq [n] va a ser de longitud ilimitada y, en general, no va a tener una funcin de transferencia racional que nos permita su realizacin
de manera exacta mediante un filtro IIR.
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
1.4 M UESTREO,
73
DIEZMADO E INTERPOLACIN
Si no es posible realizar la funcin de transferencia exacta del filtro en tiempo discreto vamos a
tener que recurrir a aproximaciones de respuesta impulsional finita (a realizar con filtros FIR) o de
respuesta impulsional infinita con funcin de transferencia racional (a realizar con filtros IIR).
Para realizar la aproximacin empleando filtros FIR existen diversos mtodos en la literatura,
siendo los dos familias de mtodos ms importantes la de enventanado de la respuesta al impulso (que
consiste en multiplicar la respuesta al impulso del filtro que deseamos aproximar por una secuencia
de longitud finita la ventana para as limitar la duracin de la misma) y los mtodos basados en
aproximaciones frecuenciales de rizado constante, como el algoritmo de Parks y McClellan.
La aproximacin empleando filtros IIR es un problema ms complejo, que posee un tratamiento sencillo si el sistema en tiempo continuo que se quiere simular es un sistema lineal e invariante
definido por una ecuacin diferencial de coeficientes constantes de la forma
N
X
k=0
ak
dk y(t) X dk x(t)
bk
=
dtk
dtk
(1.247)
k=0
H(j) =
M
X
bk (j)k
k=0
N
X
(1.248)
ak (j)k
k=0
En este caso podemos emplear la denominada transformacin bilineal 12 para obtener la funcin de
transferencia Heq (ej ) como
Heq (ej ) =
M
X
bk
2 1 ej
Td 1 + ej
k
ak
2 1 ej
Td 1 + ej
k
k=0
N
X
k=0
(1.249)
que, tras las oportunas simplificaciones, podemos expresar como la funcin de transferencia de un
filtro IIR. El parmetro Td , que no debe de confundirse con el periodo de muestreo Ts , gobierna la
transformacin no lineal de a de la forma
Td
(1.250)
= 2 arctan
2
donde podemos comprobar que, independientemente del valor de Td , la transformacin bilineal transforma el rango de frecuencias en . La transformacin bilineal garantiza
adems que si el filtro en tiempo continuo es estable, su equivalente en tiempo discreto tambin lo es.
12
Formalmente, la trasformacin bilineal se define entre la variable s del dominio de Laplace en la variable z del dominio
Z de la forma
2 1 z 1
s=
Td 1 + z 1
que transforma el semiplano izquierdo del plano s en el interior de la circunferencia unidad, el eje j en la circunferencia
unidad y el semiplano derecho del plano s en el exterior de la circunferencia unidad.
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
74
S EALES
Y SISTEMAS
La eleccin entre filtros FIR o IIR para aproximar un sistema determinado va a depender adems
de otros factores como si es necesario o no que el sistema sea de fase lineal (los filtros IIR causales
no tienen caracterstica de fase lineal), el nmero de operaciones de que se disponga por muestra (generalmente hacen falta un mayor nmero de coeficientes para aproximar una funcin de transferencia
empleando filtros FIR), la posibilidad de variar de manera adaptativa los coeficientes del filtro (ms
sencilla en filtros FIR), etc.
Aun calculando el equivalente paso bajo de todo el sistema a simular, en ocasiones nos encontramos con seales de anchos de banda muy diferentes dentro de un mismo sistema. La eleccin de la
frecuencia de simulacin de acuerdo con la seal de mayor ancho de banda puede llevarnos en estos
casos a realizaciones de la simulacin muy costosas en nmero de operaciones. Para reducir este nmero de operaciones podemos emplear ms de una frecuencia de simulacin en el sistema, menor en
aquellas partes en que las seales que encontramos sean de menor ancho de banda.
Para llevar a cabo estos cambios de frecuencia de simulacin sin necesidad de reconstruir en
ninguna parte una seal en tiempo continuo podemos hacer uso de las tcnicas de interpolacin y
diezmado de secuencias vistas en el Apartado 1.4.2. Si una secuencia x[n] ha sido generada mediante
un conversor continuo-discreto con una frecuencia de muestreo s = 2/Ts , y esta seal es interpolada por un factor L, la secuencia resultante xi [n] es la misma que habramos obtenido con un
conversor continuo-discreto utilizando una frecuencia de muestreo Ls = 2L/Ts (supuesto que en
los procesos de conversin continuo-discreto no exista aliasing). De idntica forma, si la secuencia
x[n] es diezmada por un factor M , la secuencia resultante x
d [n] es la misma que habramos obtenido
con un conversor continuo-discreto utilizando una frecuencia de muestreo s /M = 2/(M Ts ).
Podemos, por tanto, emplear distintas frecuencias de simulacin s L/M con L y M nmero
enteros en distintas partes del sistema a simular, consiguiendo as una simulacin ms eficiente.
Una reduccin adicional del nmero de operaciones necesaria se consigue realizando una realizacin conocida como polifase de los filtros presentes en los interpoladores y diezmadores. Vamos a
obtener en primer lugar la realizacin de un interpolador empleando una estructura polifase.
En un interpolador (Figura 1.20), la secuencia de entrada al filtro, x0L [n], contiene al menos L 1
ceros por cada L muestras. Este hecho trae como consecuencia que para el clculo de la salida del
interpolador, L 1 de cada L multiplicaciones necesarias van a dar como resultado 0 independientemente de los valores que tome la secuencia antes de la insercin de ceros, x[n]. De la misma forma,
L 1 de cada L trminos de la suma que hay realizar para calcular la salida son nulos. Para suprimir
esas operaciones innecesarias podemos, en primer lugar, analizar la expresin analtica de la salida
teniendo en cuenta la definicin de x0L [n]. Si denotamos por h[n] la respuesta al impulso del filtro
paso bajo presente en el interpolador, la salida xi [n] en un instante n = rL + k (con r y k nmeros
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
1.4 M UESTREO,
75
DIEZMADO E INTERPOLACIN
=
=
l=
l=
l=L
l =
l =
x0L [l L] h[(r l )L + k]
x[l ] h[(r l )L + k]
(1.251)
r , 0 k < L
(1.255)
Esta estructura de filtrado se conoce como filtro polifase porque los L filtros resultantes se obtienen mediante el diezmado de la respuesta al impulso h[n] por un mismo factor L pero con una fase
de diezmado, k, distinta.
La justificacin para la realizacin de un diezmador mediante una estructura polifase es la siguiente: si el diezmador va a desechar M 1 de cada M muestras despus de la operacin de filtrado, para
qu obtener la salida del filtro en esas M 1 muestras?.
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
76
S EALES
Y SISTEMAS
Si denotamos por h[n] la respuesta al impulso del filtro paso bajo presente en el diezmador (Figura
1.19), la secuencia de salida, x
d [n], toma la forma
x
d [n] = x
[nM ]
X
x[l] h[nM l]
=
l=
1
M
X
X
r= k=0
1
M
X
X
r= k=0
M
1 X
X
k=0 r=
M
1
X
k=0
xk [n] hk [n]
(1.256)
que es la estrutura polifase para el diezmador, donde xk [n] es el resultado del diezmado (sin filtro) de
x[n] a ritmo M y con fase k,
xk [n] = x[nM + k]
0k<M
(1.257)
0k<M
(1.258)
La forma de operar de la estructura polifase para el diezmador podemos verla como sigue: el diezmador va repartiendo las muestras de la secuencia de entrada x[n] entre las secuencias xk [n], desde
x0 [n] a xM 1 [n]; y por cada grupo de M muestras de entrada, el diezmador actualiza el contenido de
estas secuencias y calcula una nica muestra de salida empleando (1.256).
Aunque no lo vamos a analizar aqu, tambin podemos construir estructuras polifase para las
estructuras que realizan un cambio de ritmo por factores racionales L/M como los representados en
la Figura 1.21.
1.4 M UESTREO,
77
DIEZMADO E INTERPOLACIN
De entre los sistemas que no son lineales e invariantes conviene distinguir entre los que incumplen
nicamente la propiedad de invarianza (sistemas lineales variantes) y los que incumplen la propiedad
de linealidad (sistemas no lineales), cumplan o no la propiedad de invarianza. En el primero de los
casos, an podemos obtener una caracterizacin unvoca del sistema mediante las infinitas respuestas
al impulso de la forma (1.71) para tiempo continuo y (1.67) para tiempo discreto. Para sistemas no
lineales ni tan siquiera tenemos esta caracterizacin, y se hace necesario el empleo de modelos que
representan de forma exacta o aproximada el comportamiento del sistema. Dada esta diferencia en
cuanto a la complejidad de su tratamiento, comenzaremos por el anlisis de los sistemas lineales
variantes.
Un sistema lineal variante en tiempo continuo puede caracterizarse mediante el conjunto de respuestas al impulso h (t) = L{(t )} que podemos considerar como una nica funcin de dos
variables, t y . Podemos definir una funcin de transferencia en el dominio de la frecuencia para
estos sistemas de la forma
Z
.
h (t) ej(t ) d
(1.259)
H(, t) =
que, aun no siendo la nica forma de definir una funcin de transferencia (como veremos ms adelante), en el caso en que el sistema sea invariante (h (t) = h(t )), se transforma en
Z
Z
h( ) ej( ) d = H(j)
(1.260)
h(t ) ej(t ) d =
H(, t) =
(1.262)
x( )
(1.263)
que podramos asimilar a una ecuacin de sntesis de la Transformada de Fourier de no ser por la
dependencia con t en H(, t). Para salvar este escollo, definimos otra funcin de transferencia para
nuestro sistema lineal variante como
Z Z
Z
.
jt
h (t) ej(t ) ejt d dt
(1.264)
H(, t) e
dt =
H1 (, ) =
H1 (, ) X(j) d
(1.265)
Para determinar el ancho de banda de la seal de salida debemos de evaluar (1.265) pero, dado
que el sistema sigue siendo lineal, podemos determinar el ensanchamiento espectral que produce el
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
78
S EALES
Y SISTEMAS
sistema calculando la salida cuando a la entrada tenemos una sinusoide compleja X(j) = ( 0 )
de la forma
Z
H1 (, ) ( 0 ) d = H1 (0 , 0 )
Y (j) =
Z Z
=
h (t) ej0 ejt d dt (1.266)
X
x[k] hk [n]
(1.268)
y[n] =
k=
donde hk [n] se obtiene a partir de h (t) empleando el mismo procedimiento que hemos utilizado para
determinar la respuesta al impulso del sistema discreto equivalente a uno continuo sin ms que tener
en cuenta que ahora hay que muestrear en dos variables, t y o, lo que es lo mismo, hay que construir
las rplicas de H1 (, ) tanto en como en .
Un ltimo comentario sobre la simulacin de sistemas lineales variantes: en una conexin en serie
de sistemas lineales e invariantes podemos intercambiar el orden en que estn conectados de forma
arbitraria porque la convolucin es conmutativa; en sistemas lineales no variantes, al variar el orden
de interconexin, vara el comportamiento del sistema completo.
A diferencia de los sistemas lineales variantes o invariantes, el anlisis de sistemas no lineales se
vuelve, a menudo, intratable de manera analtica y la simulacin cobra, si cabe, mayor sentido. Para
simular este tipo de sistemas o, en general, para estudiar su comportamiento, se recurre a modelos que
representan de forma exacta o aproximada su comportamiento. La prctica totalidad de los modelos
propuestos en la literatura describen el comportamiento del sistema en el dominio temporal y su
interpretacin frecuencial no aporta nada nuevo ni facilita la labor de anlisis del sistema. El papel
que desempeaba la funcin de transferencia en los sistemas lineales e invariantes (una funcin que,
multiplicada a la transformada de la entrada daba como resultado la transformada de la salida) lo
cumple ahora una transformacin lineal que resulta, en general, ms farragosa que la descripcin del
sistema en el dominio temporal.
No obstante lo anterior, debemos recordar que nuestro objetivo es la simulacin en tiempo discreto
de seales y sistemas (sean estos lineales o no lineales) y que, aunque no realicemos una definicin
del sistema equivalente en tiempo discreto ayudndonos de la descripcin en el dominio transformado del sistema, s debemos garantizar que todas las seales presentes en el sistema a simular sean
representadas en tiempo discreto sin distorsin por aliasing.
Un ejemplo sencillo que muestra la importancia de este aspecto lo obtenemos en un sistema cuya relacin entre entrada y salida sea y(t) = x2 (t). De acuerdo con la propiedad de multiplica1
cin de la Transformada de Fourier, Y (j) = 2
X(j) X(j), y si la seal de entrada cumple
X(j) = 0 || > M , Y (j) se extiende desde 2M hasta 2M tomando valores no nulos. De
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
1.4 M UESTREO,
79
DIEZMADO E INTERPOLACIN
no tener en cuenta el ancho de banda de la seal de salida del sistema podemos encontar efectos tan
curiosos como que la simulacin en tiempo discreto de este sistema mediante y[n] = x2 [n] con una
exponencial compleja de frecuencia s /2, x[n] = ejn , da como salida una sinusoide de frecuencia 0
(una constante).
Para el anlisis de los sistemas no lineales conviene realizar la separacin entre sistemas no lineales con y sin memoria. Los sistemas no lineales sin memoria, ms fciles de tratar, quedan determinados por una funcin g() que relaciona la amplitud instantnea de la seal de entrada con la de salida
de forma
y(t) = g(x(t))
(1.269)
Existen diversos modelos que proponen expresiones simples para g() apropiados para caracterizar el comportamiento de determinados dispositivos, como el modelo de Saleh para amplificadores de
potencia basados en tubos de onda progresiva o TWT (de Traveling-Wave Tube ), los modelos de
limitadores por Cann para amplificadores de estado slido, modelos de recortadores de onda y, en general, de todos los dispositivos presentes en enlace de comunicaciones que tengan un comportamiento
no lineal no despreciable. Estos modelos especficos suelen contar con versiones para seales paso
bajo (o equivalentes paso bajo) y versiones para seales de banda estrecha (generalmente, expresada
en lo que se conoce como caractersticas AM/AM y AM/PM), pero en cualquiera de sus versiones poseen las mismas limitaciones: proporcionan una razonable aproximacin al dispositivo concreto para
los que fueron propuestos, pero no tienen capacidad para representar cualquier sistema no lineal sin
memoria.
Existen tambin modelos no especficos con capacidad para aproximar cualquier tipo de funcin
basados en desarrollos en serie de la funcin g() e incluso en la Transformada de Fourier. El ms
utilizado de todos ellos es el desarrollo polinmico de orden p
y(t) = g(x(t)) =
p
X
ak xk (t)
(1.270)
k=0
cuya principal ventaja con respecto a los modelos especficos es que sabemos de antemano el ancho
de banda de la seal a la salida (p veces el ancho de banda de la seal de entrada) y su principal
inconveniente es que para modelar correctamente determinados sistemas el valor de p debe ser alto
(poseen, en general, un mayor nmero de parmetros libres que los modelos especficos).
La simulacin en tiempo discreto de los modelos polinmicos es inmediata sin ms que tener en
cuenta el ancho de banda de la seal de salida.
Para seguir manteniendo la complejidad del anlisis en lmites razonables, el estudio de sistemas
no lineales con memoria se basa, generalmente, en modelos que combinan sistemas lineales con memoria y sistemas no lineales sin memoria. As, encontramos el denominado modelo de Wiener , que
consiste en la conexin en serie de un sistema lineal con memoria seguido de un sistema no lineal
sin memoria; el modelo de Hammerstein, que consiste en la conexin en serie de un sistema no lineal
sin memoria seguido de un sistema lineal con memoria, o el modelo de Wiener-Hammerstein , que
combina ambos con la conexin en serie de un sistema lineal con memoria, un sistema no lineal sin
memoria y un segundo sistema lineal con memoria.
Un caso particular de modelo de Wiener es aquel en el que la no linealidad sin memoria se repreComunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
80
S EALES
Y SISTEMAS
Z
p
X
k=0
ak
h( ) x(t ) d
Z
h( ) x(t ) d
k
h( ) x(t ) d
= a0 + a1
Z Z
h(1 ) h(2 ) x(t 1 ) x(t 2 ) d1 d2
(1.271)
+a2
Z
Z
Z
que, definiendo
h0 = a0
h1 (t) = a1 h(t)
h2 (t1 , t2 ) = a2 h(t1 ) h(t2 )
(1.272)
Z Z
h2 (1 , 2 ) x(t 1 ) x(t 2 ) d1 d2
(1.273)
+
Z Z Z
+
h3 (1 , 2 , 3 ) x(t 1 ) x(t 2 ) x(t 3 ) d1 d2 d3 +
Este tipo de sistemas se conocen con el nombre de filtros de Volterra o sistemas de Volterra, y el
conjunto de funciones hk () definidas en (1.272) se denomina ncleos de Volterra
Para la simulacin en tiempo discreto de los filtros de Volterra empleamos su versin para tiempo
discreto, definida como
+
+
h1 [k] x[n
k=
X
X
y[n] = h0 +
k1 = k2 =
X
X
k]
k1 = k2 = k3 =
(1.274)
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
1.5 L ECTURAS
81
ADICIONALES
donde
h0 = a0
h1 [n] = a1 h[n]
h2 [n1 , n2 ] = a2 h[n1 ] h[n2 ]
(1.275)
1.5.
L ECTURAS ADICIONALES
Existen excelentes textos sobre seales y sistemas entre los que destaca, sin duda, el libro de
Oppenheim, Willsky y Nawab [5], que considera los casos en tiempo continuo y discreto. De entre
los dedicados al anlisis de seales y sistemas en tiempo discreto queremos destacar los libros de
Oppenheim, Schafer y Buck [4] y el de Proakis y Manolakis [8]. El libro de Papoulis [7] trata, al igual
que [5], los casos en tiempo continuo y discreto.
Para profundizar en la Transformada de Fourier se recomiendan los libros clsicos de Bracewell
[1] y Papoulis [6]. Una visin algebraica de las seales y los sistemas se encuentra en el libro de
Franks [2], texto que tambin se recomienda para profundizar en la representacin de seales paso
banda.
Por ltimo, un extenso tratado sobre simulacin de enlaces de comunicaciones puede encontrarse
en el libro de Jeruchim, Balaban y Shanmugan [3]
P ROBLEMAS
P1.1 Calcule los valores medio y de pico, la energa y la potencia de las siguientes seales:
1.1. x(t) = 1
1.2. x(t) = u(t)
1.3. x(t) = et
1.4. x(t) = cos(0 t)
1.5. x(t) = ( t ) ( R)
1.6. x[n] = [n]
82
S EALES
Y SISTEMAS
4.3. (u[n] u[n 5]) cos 2n
5
P
4.4. (2)n u[n]
k= [n 10k]
P1.7 Calcule los anchos de banda 3 dB, equivalente de ruido y de primer nulo de la seal x(t) = (t).
P1.8 Calcule la Transformada de Fourier de las siguientes seales:
8.1. x[n] = u[n + 2] u[n 5]
n
8.2. x[n] = 13 u[n 2]
8.3. x[n] = n4n u[3 n]
sinc
8.4. x[n] = cos n
3
n
10
P1.9 Determine las seales cuyas Transformadas de Fourier son las siguientes:
9.1. X(ej ) = 4
2 (para < )
9.2. X(ej ) = ej/4 (para < )
P
k+1 k
9.3. X(ej ) =
k= (1)
4
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
P ROBLEMAS
DEL CAPTULO
9.4. X(ej ) =
83
1
1 17 e2j
N
2
n<
3N
2
2
k
N
+ 1
84
S EALES
13.2. Si hacemos
Y SISTEMAS
x2 [n + N ] 0 n < N2
N
x3 [n] =
x [n]
2 n<N
2
0
resto
se cumple
X3 [k] = X2 (ej ) | =
2
k
N
2
t nTs sen n
p(t) =
m
n=
donde Ts es el periodo nominal de muestreo, y y m son los parmetros que definen las
fluctuaciones. Ts y son nmeros reales, y m es un nmero entero. Obsrvese que p(t) es una
seal peridica.
Se pide:
15.1. Dibuje la seal p(t) y determinar su periodo en funcin de los parmetros m y Ts .
15.2. Calcule la Transformada de Fourier de p(t) para m = 4 y 0 < Ts /2.
15.3. Empleamos p(t) para muestrear una seal x(t) cuyo ancho de banda es W rad/s, mediante
xp (t) = p(t) x(t)
. Determine el mximo valor de Ts que garantiza la reconstruccin perfecta de x(t) a partir
de xp (t) en las siguientes situaciones:
15.3.1. m = 4 y 0 < < Ts /2.
15.3.2. m = 4 y = 0.
P1.16 En el proceso de produccin de un Compact Disc (CD) de audio, las fases de grabacin y
mezclado de las distintas fuentes sonoras se realizan generalmente con las seales muestreadas
a 48 KHz a un mltiplo entero de esta frecuencia, mientras que el estndar de CD de audio
especifica una frecuencia de muestreo de 44,1 KHz. Mediante la conexin en serie de combinaciones de interpoladores y muestreadores como los mostrados en la Figura 1.21, disee un
sistema para cambiar la frecuencia de muestreo de 96 a 44,1 KHz empleando el menor nmero
de interpoladores y diezmadores y con valores de L y M inferiores siempre a 10.
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
B IBLIOGRAFA
[1] R. N. Bracewell. The Fourier Transform and Its Applications. Electrical and Electronic Engineering Series. McGraw-Hill, New York, NY, EEUU, segunda edicin, 1986.
[2] L. E. Franks. Teora de la Seal. Editorial Revert, Barcelona, Espaa, 1975.
[3] M. C. Jeruchim, P. Balaban y K. S. Shanmugan. Simulation of Communication Systems. Applications of Communications Theory. Plenum Press, New York, NY, EEUU, 1992.
[4] A. V. Oppenheim, R. W. Schafer y J. R. Buck. Discrete-Time Signal Processing. Signal Processing
Series. Prentice-Hall, Englewood Cliffs, NJ, EEUU, segunda edicin, 1999.
[5] A. V. Oppenheim, A. S. Willsky y S. H. Nawab. Signals and Systems. Signal Processing Series.
Prentice-Hall, Upper Saddle River, NJ, EEUU, segunda edicin, 1996.
[6] A. Papoulis. The Fourier Integral and Its Applications. McGraw-Hill, New York, NY, EEUU,
1962.
[7] A. Papoulis. Signal Analysis. McGraw-Hill, New York, NY, EEUU, 1977.
[8] J. G. Proakis y D. G. Manolakis. Introduction to Digital Signal Processing. Macmillan Publishing
Company, New York, NY, EEUU, segunda edicin, 1996.
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
NDICE
ALFABTICO
Filtros polifase, 74
Forma de onda, 23
Funciones escaln, 8
Funcin de ambigedad temporal, 12
Funcin de transferencia, 21
Funcin de transferencia en el dominio de Laplace, 21
Funcin de transferencia en el dominio Z, 22
Funcin racional, 43
Funcin sinc, 10
IDFT, 52
Interpolador, 67
Invarianza de la respuesta al impulso, 71
Modelo de Wiener-Hammerstein de sistemas no
lineales, 79
Modelo de Hammerstein de sistemas no lineales,
79
Modelo de Wiener de sistemas no lineales, 79
Periodo fundamental de una seal peridica, 3
Regin de convergencia de la Transformada Z, 38
Retardo de grupo, 31
Seal analtica, 58
Seales de energa finita, 6
Seales ortogonales, 12
Sinuoides complejas en tiempo continuo, 8
Sinuoides complejas en tiempo discreto, 9
Sistema causal, 15
Sistema de fase lineal, 31
Sistema de fase mnima, 45
Sistema estable BIBO, 16
Sistema invariante, 17
Sistema invertible, 16
Sistema lineal, 16
Sistema paso todo, 48
Sistema sin memoria, 15
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS
88
NDICE ALFABTICO
Comunicaciones digitales; A. Arts Rodrguez, F. Prez Gonzlez, J. Cid Sueiro, R. Lpez Valcarce, C. Mosquera
Nartallo, F. Prez Cruz;. DERECHOS RESERVADOS