Problemas de sistemas
Señales y Sistemas Lineales
Ejercicios propuestos
Intenta resolver cada ejercicio a mano antes de consultar la solución. Las soluciones están plegadas: despliégalas cuando quieras comprobar tu resultado. Dentro de cada bloque, los ejercicios están ordenados de menor a mayor complejidad.
Memoria, causalidad e invertibilidad
Indica si cada sistema tiene memoria, si es causal y si es invertible:
a) \(y[n] = 3\,x[n]\)
b) \(y[n] = x[n] + x[n-1]\)
c) \(y[n] = \dfrac{x[n] + x[n+1]}{2}\)
d) \(y(t) = |x(t)|\)
a) La salida solo usa \(x[n]\): sin memoria y causal. Es invertible: \(x[n] = \tfrac{1}{3}\,y[n]\).
b) Usa también la muestra anterior: con memoria, pero causal, porque \(x[n-1]\) es pasado. Es invertible: despejando, \(x[n] = y[n] - x[n-1]\), y partiendo del reposo se recupera la entrada muestra a muestra.
c) Usa \(x[n+1]\), una muestra futura: con memoria y no causal. Solo puede aplicarse en diferido, sobre una señal ya grabada.
d) Solo usa \(x(t)\): sin memoria y causal. No es invertible: \(x(t) = 1\) y \(x(t) = -1\) dan la misma salida, \(y(t) = 1\), así que el signo se pierde y no se puede recuperar.
Considera como sistemas la resistencia, el condensador y la bobina, con la corriente \(i(t)\) como entrada y la tensión \(v(t)\) como salida. ¿Cuáles tienen memoria? Justifícalo con sus ecuaciones.
- Resistencia, \(v(t) = R\,i(t)\): la tensión depende solo de la corriente en ese instante. Sin memoria.
- Condensador, \(i(t) = C\,\dfrac{dv(t)}{dt}\): despejando, \(v(t) = \dfrac{1}{C}\displaystyle\int_{-\infty}^{t} i(\tau)\,d\tau\). La tensión acumula toda la corriente pasada. Con memoria.
- Bobina, \(v(t) = L\,\dfrac{di(t)}{dt}\): la derivada necesita los valores de \(i\) en instantes próximos a \(t\). Con memoria.
En general, todo elemento que almacena energía (condensadores, bobinas, muelles, masas) tiene memoria.
Linealidad e invarianza
Determina si los siguientes sistemas son lineales:
a) \(y[n] = e^{x[n]}\)
b) \(y(t) = \dfrac{dx(t)}{dt}\)
c) \(y[n] = 5\,x[n] + 4\)
a) \(y[n] = e^{x[n]}\)
- \(y_1[n] = T\{x_1[n]\} = e^{x_1[n]}\)
- \(y_2[n] = T\{x_2[n]\} = e^{x_2[n]}\)
- \(y_A[n] = a_1 y_1[n] + a_2 y_2[n] = {\color{#2c7fb8}{a_1 e^{x_1[n]} + a_2 e^{x_2[n]}}}\)
- \(y_B[n] = T\{a_1 x_1[n] + a_2 x_2[n]\} = e^{a_1 x_1[n] + a_2 x_2[n]} = {\color{#e74c3c}{\left(e^{x_1[n]}\right)^{a_1} \left(e^{x_2[n]}\right)^{a_2}}}\)
- \(y_A[n] \neq y_B[n]\): el sistema no es lineal.
b) \(y(t) = \dfrac{dx(t)}{dt}\)
- \(y_1(t) = T\{x_1(t)\} = \dfrac{dx_1(t)}{dt}\)
- \(y_2(t) = T\{x_2(t)\} = \dfrac{dx_2(t)}{dt}\)
- \(y_A(t) = a_1 y_1(t) + a_2 y_2(t) = {\color{#41ab5d}{a_1\dfrac{dx_1(t)}{dt} + a_2\dfrac{dx_2(t)}{dt}}}\)
- \(\begin{aligned}[t] y_B(t) &= T\{a_1 x_1(t) + a_2 x_2(t)\} \\ &= \dfrac{d}{dt}\big[a_1 x_1(t) + a_2 x_2(t)\big] \\ &= {\color{#41ab5d}{a_1\dfrac{dx_1(t)}{dt} + a_2\dfrac{dx_2(t)}{dt}}} \end{aligned}\)
- \(y_A(t) = y_B(t)\): el sistema es lineal. La derivada es un operador lineal.
c) \(y[n] = 5\,x[n] + 4\)
- \(y_1[n] = T\{x_1[n]\} = 5\,x_1[n] + 4\)
- \(y_2[n] = T\{x_2[n]\} = 5\,x_2[n] + 4\)
- \(y_A[n] = a_1 y_1[n] + a_2 y_2[n] = {\color{#2c7fb8}{5a_1 x_1[n] + 5a_2 x_2[n] + 4(a_1 + a_2)}}\)
- \(\begin{aligned}[t] y_B[n] &= T\{a_1 x_1[n] + a_2 x_2[n]\} \\ &= 5\big(a_1 x_1[n] + a_2 x_2[n]\big) + 4 \\ &= {\color{#e74c3c}{5a_1 x_1[n] + 5a_2 x_2[n] + 4}} \end{aligned}\)
- \(y_A[n] \neq y_B[n]\), porque los términos independientes no coinciden (\(4(a_1 + a_2) \neq 4\) en general): el sistema no es lineal.
Es un sistema afín, o incrementalmente lineal. Aquí había un atajo: \(x[n] = 0 \Rightarrow y[n] = 4 \neq 0\), y un sistema lineal da salida nula a entrada nula.
Comprueba, siguiendo las estrategias de las definiciones de referencia, si estos sistemas son lineales y si son invariantes en el tiempo:
a) \(y(t) = x^2(t)\)
b) \(y[n] = n\,x[n]\)
a) \(y(t) = x^2(t)\)
Linealidad:
- \(y_1(t) = T\{x_1(t)\} = x_1^2(t)\)
- \(y_2(t) = T\{x_2(t)\} = x_2^2(t)\)
- \(y_A(t) = a_1 y_1(t) + a_2 y_2(t) = {\color{#2c7fb8}{a_1 x_1^2(t) + a_2 x_2^2(t)}}\)
- \(\begin{aligned}[t] y_B(t) &= T\{a_1 x_1(t) + a_2 x_2(t)\} \\ &= \big(a_1 x_1(t) + a_2 x_2(t)\big)^2 \\ &= {\color{#e74c3c}{a_1^2 x_1^2(t) + 2a_1a_2\,x_1(t)\,x_2(t) + a_2^2 x_2^2(t)}} \end{aligned}\)
- \(y_A(t) \neq y_B(t)\): el sistema no es lineal.
Invarianza:
- \(y_1(t) = T\{x_1(t)\} = x_1^2(t)\)
- \(y_A(t) = y_1(t-t_0) = {\color{#41ab5d}{x_1^2(t-t_0)}}\)
- \(x_2(t) = x_1(t-t_0)\)
- \(y_B(t) = T\{x_2(t)\} = x_2^2(t) = {\color{#41ab5d}{x_1^2(t-t_0)}}\)
- \(y_B(t) = y_A(t)\): el sistema es invariante en el tiempo.
b) \(y[n] = n\,x[n]\)
Linealidad:
- \(y_1[n] = T\{x_1[n]\} = n\,x_1[n]\)
- \(y_2[n] = T\{x_2[n]\} = n\,x_2[n]\)
- \(y_A[n] = a_1 y_1[n] + a_2 y_2[n] = {\color{#41ab5d}{a_1 n\,x_1[n] + a_2 n\,x_2[n]}}\)
- \(\begin{aligned}[t] y_B[n] &= T\{a_1 x_1[n] + a_2 x_2[n]\} \\ &= n\big(a_1 x_1[n] + a_2 x_2[n]\big) \\ &= {\color{#41ab5d}{a_1 n\,x_1[n] + a_2 n\,x_2[n]}} \end{aligned}\)
- \(y_A[n] = y_B[n]\): el sistema es lineal.
Invarianza (en discreto, con un retardo de \(n_0\) muestras):
- \(y_1[n] = T\{x_1[n]\} = n\,x_1[n]\)
- \(y_A[n] = y_1[n-n_0] = {\color{#2c7fb8}{(n-n_0)\,x_1[n-n_0]}}\)
- \(x_2[n] = x_1[n-n_0]\)
- \(y_B[n] = T\{x_2[n]\} = n\,x_2[n] = {\color{#e74c3c}{n\,x_1[n-n_0]}}\)
- \(y_B[n] \neq y_A[n]\) si \(n_0 \neq 0\): el sistema no es invariante en el tiempo.
Los dos sistemas muestran que las propiedades son independientes: el primero es invariante pero no lineal, y el segundo, lineal pero no invariante.
Determina si los siguientes sistemas son LTI:
a) \(y(t) = \dfrac{3}{x(t)}\)
b) \(y[n] = x[n] + 1\)
c) \(y[n] = x[5n]\)
a) \(y(t) = \dfrac{3}{x(t)}\)
Linealidad:
- \(y_1(t) = T\{x_1(t)\} = \dfrac{3}{x_1(t)}\)
- \(y_2(t) = T\{x_2(t)\} = \dfrac{3}{x_2(t)}\)
- \(y_A(t) = a_1 y_1(t) + a_2 y_2(t) = {\color{#2c7fb8}{\dfrac{3a_1}{x_1(t)} + \dfrac{3a_2}{x_2(t)}}}\)
- \(y_B(t) = T\{a_1 x_1(t) + a_2 x_2(t)\} = {\color{#e74c3c}{\dfrac{3}{a_1 x_1(t) + a_2 x_2(t)}}}\)
- \(y_A(t) \neq y_B(t)\): el sistema no es lineal.
Invarianza:
- \(y_1(t) = T\{x_1(t)\} = \dfrac{3}{x_1(t)}\)
- \(y_A(t) = y_1(t-t_0) = {\color{#41ab5d}{\dfrac{3}{x_1(t-t_0)}}}\)
- \(x_2(t) = x_1(t-t_0)\)
- \(y_B(t) = T\{x_2(t)\} = \dfrac{3}{x_2(t)} = {\color{#41ab5d}{\dfrac{3}{x_1(t-t_0)}}}\)
- \(y_B(t) = y_A(t)\): el sistema es invariante en el tiempo.
No es LTI.
b) \(y[n] = x[n] + 1\)
Linealidad:
- \(y_1[n] = T\{x_1[n]\} = x_1[n] + 1\)
- \(y_2[n] = T\{x_2[n]\} = x_2[n] + 1\)
- \(y_A[n] = a_1 y_1[n] + a_2 y_2[n] = {\color{#2c7fb8}{a_1 x_1[n] + a_2 x_2[n] + a_1 + a_2}}\)
- \(y_B[n] = T\{a_1 x_1[n] + a_2 x_2[n]\} = {\color{#e74c3c}{a_1 x_1[n] + a_2 x_2[n] + 1}}\)
- \(y_A[n] \neq y_B[n]\), porque \(a_1 + a_2 \neq 1\) en general: el sistema no es lineal. El atajo: \(x[n] = 0 \Rightarrow y[n] = 1 \neq 0\).
Invarianza:
- \(y_1[n] = T\{x_1[n]\} = x_1[n] + 1\)
- \(y_A[n] = y_1[n-n_0] = {\color{#41ab5d}{x_1[n-n_0] + 1}}\)
- \(x_2[n] = x_1[n-n_0]\)
- \(y_B[n] = T\{x_2[n]\} = x_2[n] + 1 = {\color{#41ab5d}{x_1[n-n_0] + 1}}\)
- \(y_B[n] = y_A[n]\): el sistema es invariante en el tiempo.
No es LTI.
c) \(y[n] = x[5n]\)
Linealidad:
- \(y_1[n] = T\{x_1[n]\} = x_1[5n]\)
- \(y_2[n] = T\{x_2[n]\} = x_2[5n]\)
- \(y_A[n] = a_1 y_1[n] + a_2 y_2[n] = {\color{#41ab5d}{a_1 x_1[5n] + a_2 x_2[5n]}}\)
- \(y_B[n] = T\{a_1 x_1[n] + a_2 x_2[n]\} = {\color{#41ab5d}{a_1 x_1[5n] + a_2 x_2[5n]}}\)
- \(y_A[n] = y_B[n]\): el sistema es lineal.
Invarianza:
- \(y_1[n] = T\{x_1[n]\} = x_1[5n]\)
- \(y_A[n] = y_1[n-n_0] = x_1\big[5(n-n_0)\big] = {\color{#2c7fb8}{x_1[5n - 5n_0]}}\)
- \(x_2[n] = x_1[n-n_0]\)
- \(y_B[n] = T\{x_2[n]\} = x_2[5n] = {\color{#e74c3c}{x_1[5n - n_0]}}\)
- \(y_B[n] \neq y_A[n]\) si \(n_0 \neq 0\): el sistema no es invariante en el tiempo.
No es LTI (es un diezmado).
Determina si los siguientes sistemas son LTI:
a) \(y(t) = x^2(t^2)\)
b) \(y[n] = x[n] + x[n - L]\), con \(L\) entero
c) \(y[n] = \dfrac{x[n]}{x[n-1]}\)
a) \(y(t) = x^2(t^2)\)
Linealidad:
- \(y_1(t) = T\{x_1(t)\} = x_1^2(t^2)\)
- \(y_2(t) = T\{x_2(t)\} = x_2^2(t^2)\)
- \(y_A(t) = a_1 y_1(t) + a_2 y_2(t) = {\color{#2c7fb8}{a_1 x_1^2(t^2) + a_2 x_2^2(t^2)}}\)
- \(\begin{aligned}[t] y_B(t) &= T\{a_1 x_1(t) + a_2 x_2(t)\} \\ &= \big(a_1 x_1(t^2) + a_2 x_2(t^2)\big)^2 \\ &= {\color{#e74c3c}{a_1^2 x_1^2(t^2) + 2a_1a_2\,x_1(t^2)\,x_2(t^2) + a_2^2 x_2^2(t^2)}} \end{aligned}\)
- \(y_A(t) \neq y_B(t)\): el sistema no es lineal.
Invarianza:
- \(y_1(t) = T\{x_1(t)\} = x_1^2(t^2)\)
- \(y_A(t) = y_1(t-t_0) = {\color{#2c7fb8}{x_1^2\big((t-t_0)^2\big)}}\)
- \(x_2(t) = x_1(t-t_0)\)
- \(y_B(t) = T\{x_2(t)\} = x_2^2(t^2) = {\color{#e74c3c}{x_1^2(t^2 - t_0)}}\)
- \(y_B(t) \neq y_A(t)\) si \(t_0 \neq 0\): el sistema no es invariante en el tiempo.
No es LTI.
b) \(y[n] = x[n] + x[n-L]\)
Linealidad:
- \(y_1[n] = T\{x_1[n]\} = x_1[n] + x_1[n-L]\)
- \(y_2[n] = T\{x_2[n]\} = x_2[n] + x_2[n-L]\)
- \(\begin{aligned}[t] y_A[n] &= a_1 y_1[n] + a_2 y_2[n] \\ &= {\color{#41ab5d}{a_1\big(x_1[n] + x_1[n-L]\big) + a_2\big(x_2[n] + x_2[n-L]\big)}} \end{aligned}\)
- \(\begin{aligned}[t] y_B[n] &= T\{a_1 x_1[n] + a_2 x_2[n]\} \\ &= \big(a_1 x_1[n] + a_2 x_2[n]\big) + \big(a_1 x_1[n-L] + a_2 x_2[n-L]\big) \\ &= {\color{#41ab5d}{a_1\big(x_1[n] + x_1[n-L]\big) + a_2\big(x_2[n] + x_2[n-L]\big)}} \end{aligned}\)
- \(y_A[n] = y_B[n]\): el sistema es lineal.
Invarianza:
- \(y_1[n] = T\{x_1[n]\} = x_1[n] + x_1[n-L]\)
- \(y_A[n] = y_1[n-n_0] = {\color{#41ab5d}{x_1[n-n_0] + x_1[n-n_0-L]}}\)
- \(x_2[n] = x_1[n-n_0]\)
- \(y_B[n] = T\{x_2[n]\} = x_2[n] + x_2[n-L] = {\color{#41ab5d}{x_1[n-n_0] + x_1[n-n_0-L]}}\)
- \(y_B[n] = y_A[n]\): el sistema es invariante en el tiempo.
Es LTI, con respuesta impulsional \(h[n] = \delta[n] + \delta[n - L]\).
c) \(y[n] = \dfrac{x[n]}{x[n-1]}\)
Linealidad:
- \(y_1[n] = T\{x_1[n]\} = \dfrac{x_1[n]}{x_1[n-1]}\)
- \(y_2[n] = T\{x_2[n]\} = \dfrac{x_2[n]}{x_2[n-1]}\)
- \(y_A[n] = a_1 y_1[n] + a_2 y_2[n] = {\color{#2c7fb8}{a_1\dfrac{x_1[n]}{x_1[n-1]} + a_2\dfrac{x_2[n]}{x_2[n-1]}}}\)
- \(y_B[n] = T\{a_1 x_1[n] + a_2 x_2[n]\} = {\color{#e74c3c}{\dfrac{a_1 x_1[n] + a_2 x_2[n]}{a_1 x_1[n-1] + a_2 x_2[n-1]}}}\)
- \(y_A[n] \neq y_B[n]\): el sistema no es lineal.
Invarianza:
- \(y_1[n] = T\{x_1[n]\} = \dfrac{x_1[n]}{x_1[n-1]}\)
- \(y_A[n] = y_1[n-n_0] = {\color{#41ab5d}{\dfrac{x_1[n-n_0]}{x_1[n-n_0-1]}}}\)
- \(x_2[n] = x_1[n-n_0]\)
- \(y_B[n] = T\{x_2[n]\} = \dfrac{x_2[n]}{x_2[n-1]} = {\color{#41ab5d}{\dfrac{x_1[n-n_0]}{x_1[n-n_0-1]}}}\)
- \(y_B[n] = y_A[n]\): el sistema es invariante en el tiempo.
No es LTI.
Clasificación completa
Determina si los siguientes sistemas son (i) lineales, (ii) invariantes en el tiempo, (iii) causales y (iv) estables BIBO:
a) \(y[n] = x[n] + x[n-2]\)
b) \(y[n] = n\,x[n]\)
c) \(y[n] = x[n^2]\)
d) \(y[n] = x[n] + 3\)
La linealidad y la invarianza se comprueban con las estrategias de las definiciones de referencia, comparando en cada caso \(y_A\) con \(y_B\). En la invarianza, \(x_2[n] = x_1[n-n_0]\) es la entrada auxiliar retrasada.
a) \(y[n] = x[n] + x[n-2]\)
- Lineal: sí, \(y_A[n] = y_B[n]\).
- \(\begin{aligned}[t] y_A[n] &= a_1 y_1[n] + a_2 y_2[n] \\ &= {\color{#41ab5d}{a_1\big(x_1[n] + x_1[n-2]\big) + a_2\big(x_2[n] + x_2[n-2]\big)}} \end{aligned}\)
- \(\begin{aligned}[t] y_B[n] &= T\{a_1 x_1[n] + a_2 x_2[n]\} \\ &= \big(a_1 x_1[n] + a_2 x_2[n]\big) + \big(a_1 x_1[n-2] + a_2 x_2[n-2]\big) \\ &= {\color{#41ab5d}{a_1\big(x_1[n] + x_1[n-2]\big) + a_2\big(x_2[n] + x_2[n-2]\big)}} \end{aligned}\)
- Invariante: sí, \(y_B[n] = y_A[n]\).
- \(y_A[n] = y_1[n-n_0] = {\color{#41ab5d}{x_1[n-n_0] + x_1[n-n_0-2]}}\)
- \(y_B[n] = T\{x_2[n]\} = x_2[n] + x_2[n-2] = {\color{#41ab5d}{x_1[n-n_0] + x_1[n-n_0-2]}}\)
- Causal: sí. Solo usa \(x[n]\) y \(x[n-2]\), presente y pasado.
- Estable: sí. \(|y[n]| \leq |x[n]| + |x[n-2]| \leq 2B_x\).
b) \(y[n] = n\,x[n]\)
- Lineal: sí, \(y_A[n] = y_B[n]\).
- \(y_A[n] = a_1 y_1[n] + a_2 y_2[n] = {\color{#41ab5d}{a_1 n\,x_1[n] + a_2 n\,x_2[n]}}\)
- \(\begin{aligned}[t] y_B[n] &= T\{a_1 x_1[n] + a_2 x_2[n]\} \\ &= n\big(a_1 x_1[n] + a_2 x_2[n]\big) \\ &= {\color{#41ab5d}{a_1 n\,x_1[n] + a_2 n\,x_2[n]}} \end{aligned}\)
- Invariante: no, \(y_B[n] \neq y_A[n]\).
- \(y_A[n] = y_1[n-n_0] = {\color{#2c7fb8}{(n-n_0)\,x_1[n-n_0]}}\)
- \(y_B[n] = T\{x_2[n]\} = n\,x_2[n] = {\color{#e74c3c}{n\,x_1[n-n_0]}}\)
- Causal: sí. Solo usa \(x[n]\).
- Estable: no. Con la entrada acotada \(x[n] = u[n]\), la salida \(n\,u[n]\) crece sin límite.
c) \(y[n] = x[n^2]\)
- Lineal: sí, \(y_A[n] = y_B[n]\).
- \(y_A[n] = a_1 y_1[n] + a_2 y_2[n] = {\color{#41ab5d}{a_1 x_1[n^2] + a_2 x_2[n^2]}}\)
- \(y_B[n] = T\{a_1 x_1[n] + a_2 x_2[n]\} = {\color{#41ab5d}{a_1 x_1[n^2] + a_2 x_2[n^2]}}\)
- Invariante: no, \(y_B[n] \neq y_A[n]\).
- \(y_A[n] = y_1[n-n_0] = {\color{#2c7fb8}{x_1\big[(n-n_0)^2\big]}}\)
- \(y_B[n] = T\{x_2[n]\} = x_2[n^2] = {\color{#e74c3c}{x_1[n^2 - n_0]}}\)
- Causal: no. Por ejemplo, \(y[2] = x[4]\) depende de una muestra futura.
- Estable: sí. Si \(|x[n]| \leq B_x\) para todo \(n\), también \(|x[n^2]| \leq B_x\).
d) \(y[n] = x[n] + 3\)
- Lineal: no, \(y_A[n] \neq y_B[n]\) porque \(3(a_1 + a_2) \neq 3\) en general. El atajo: \(T\{0\} = 3 \neq 0\).
- \(y_A[n] = a_1 y_1[n] + a_2 y_2[n] = {\color{#2c7fb8}{a_1 x_1[n] + a_2 x_2[n] + 3(a_1 + a_2)}}\)
- \(y_B[n] = T\{a_1 x_1[n] + a_2 x_2[n]\} = {\color{#e74c3c}{a_1 x_1[n] + a_2 x_2[n] + 3}}\)
- Invariante: sí, \(y_B[n] = y_A[n]\).
- \(y_A[n] = y_1[n-n_0] = {\color{#41ab5d}{x_1[n-n_0] + 3}}\)
- \(y_B[n] = T\{x_2[n]\} = x_2[n] + 3 = {\color{#41ab5d}{x_1[n-n_0] + 3}}\)
- Causal: sí.
- Estable: sí. \(|y[n]| \leq B_x + 3\).
Determina si los siguientes sistemas son lineales, invariantes en el tiempo, causales, estables y con memoria:
a) \(y[n] = x[n] - x[n-1]\)
b) \(y(t) = t\,x(t)\)
c) \(y[n] = x[2n]\)
d) \(y(t) = \cos\big(x(t)\big)\)
e) \(y[n] = \displaystyle\sum_{k=-\infty}^{n} x[k]\)
f) \(y(t) = x(t-2) + 5\)
La linealidad y la invarianza se comprueban con las estrategias de las definiciones de referencia, comparando en cada caso \(y_A\) con \(y_B\). En la invarianza, \(x_2\) es la entrada auxiliar retrasada: \(x_2[n] = x_1[n-n_0]\) o \(x_2(t) = x_1(t-t_0)\).
a) \(y[n] = x[n] - x[n-1]\)
- Lineal: sí, \(y_A[n] = y_B[n]\).
- \(\begin{aligned}[t] y_A[n] &= a_1 y_1[n] + a_2 y_2[n] \\ &= {\color{#41ab5d}{a_1\big(x_1[n] - x_1[n-1]\big) + a_2\big(x_2[n] - x_2[n-1]\big)}} \end{aligned}\)
- \(\begin{aligned}[t] y_B[n] &= T\{a_1 x_1[n] + a_2 x_2[n]\} \\ &= \big(a_1 x_1[n] + a_2 x_2[n]\big) - \big(a_1 x_1[n-1] + a_2 x_2[n-1]\big) \\ &= {\color{#41ab5d}{a_1\big(x_1[n] - x_1[n-1]\big) + a_2\big(x_2[n] - x_2[n-1]\big)}} \end{aligned}\)
- Invariante: sí, \(y_B[n] = y_A[n]\).
- \(y_A[n] = y_1[n-n_0] = {\color{#41ab5d}{x_1[n-n_0] - x_1[n-n_0-1]}}\)
- \(y_B[n] = T\{x_2[n]\} = x_2[n] - x_2[n-1] = {\color{#41ab5d}{x_1[n-n_0] - x_1[n-n_0-1]}}\)
- Causal: sí. Solo usa presente y pasado.
- Estable: sí. \(|y[n]| \leq 2B_x\).
- Con memoria: usa \(x[n-1]\).
b) \(y(t) = t\,x(t)\)
- Lineal: sí, \(y_A(t) = y_B(t)\).
- \(y_A(t) = a_1 y_1(t) + a_2 y_2(t) = {\color{#41ab5d}{a_1 t\,x_1(t) + a_2 t\,x_2(t)}}\)
- \(\begin{aligned}[t] y_B(t) &= T\{a_1 x_1(t) + a_2 x_2(t)\} \\ &= t\big(a_1 x_1(t) + a_2 x_2(t)\big) \\ &= {\color{#41ab5d}{a_1 t\,x_1(t) + a_2 t\,x_2(t)}} \end{aligned}\)
- Invariante: no, \(y_B(t) \neq y_A(t)\).
- \(y_A(t) = y_1(t-t_0) = {\color{#2c7fb8}{(t-t_0)\,x_1(t-t_0)}}\)
- \(y_B(t) = T\{x_2(t)\} = t\,x_2(t) = {\color{#e74c3c}{t\,x_1(t-t_0)}}\)
- Causal y sin memoria: solo usa \(x(t)\).
- Estable: no. Con \(x(t) = 1\) la salida es \(y(t) = t\).
c) \(y[n] = x[2n]\)
- Lineal: sí, \(y_A[n] = y_B[n]\).
- \(y_A[n] = a_1 y_1[n] + a_2 y_2[n] = {\color{#41ab5d}{a_1 x_1[2n] + a_2 x_2[2n]}}\)
- \(y_B[n] = T\{a_1 x_1[n] + a_2 x_2[n]\} = {\color{#41ab5d}{a_1 x_1[2n] + a_2 x_2[2n]}}\)
- Invariante: no, \(y_B[n] \neq y_A[n]\).
- \(y_A[n] = y_1[n-n_0] = x_1\big[2(n-n_0)\big] = {\color{#2c7fb8}{x_1[2n - 2n_0]}}\)
- \(y_B[n] = T\{x_2[n]\} = x_2[2n] = {\color{#e74c3c}{x_1[2n - n_0]}}\)
- Causal: no. \(y[1] = x[2]\).
- Estable: sí. Si \(x\) está acotada, \(x[2n]\) también.
- Con memoria: \(y[1]\) depende de \(x[2]\), no de \(x[1]\).
d) \(y(t) = \cos\big(x(t)\big)\)
- Lineal: no, \(y_A(t) \neq y_B(t)\). El atajo: \(T\{0\} = \cos 0 = 1 \neq 0\).
- \(y_A(t) = a_1 y_1(t) + a_2 y_2(t) = {\color{#2c7fb8}{a_1\cos\big(x_1(t)\big) + a_2\cos\big(x_2(t)\big)}}\)
- \(y_B(t) = T\{a_1 x_1(t) + a_2 x_2(t)\} = {\color{#e74c3c}{\cos\big(a_1 x_1(t) + a_2 x_2(t)\big)}}\)
- Invariante: sí, \(y_B(t) = y_A(t)\).
- \(y_A(t) = y_1(t-t_0) = {\color{#41ab5d}{\cos\big(x_1(t-t_0)\big)}}\)
- \(y_B(t) = T\{x_2(t)\} = \cos\big(x_2(t)\big) = {\color{#41ab5d}{\cos\big(x_1(t-t_0)\big)}}\)
- Causal y sin memoria: solo usa \(x(t)\).
- Estable: sí. \(|y(t)| \leq 1\) para cualquier entrada.
e) \(y[n] = \displaystyle\sum_{k=-\infty}^{n} x[k]\) (el acumulador)
- Lineal: sí, \(y_A[n] = y_B[n]\).
- \(y_A[n] = a_1 y_1[n] + a_2 y_2[n] = {\color{#41ab5d}{a_1\displaystyle\sum_{k=-\infty}^{n} x_1[k] + a_2\sum_{k=-\infty}^{n} x_2[k]}}\)
- \(\begin{aligned}[t] y_B[n] &= T\{a_1 x_1[n] + a_2 x_2[n]\} \\ &= \displaystyle\sum_{k=-\infty}^{n} \big(a_1 x_1[k] + a_2 x_2[k]\big) \\ &= {\color{#41ab5d}{a_1\displaystyle\sum_{k=-\infty}^{n} x_1[k] + a_2\sum_{k=-\infty}^{n} x_2[k]}} \end{aligned}\)
- Invariante: sí, \(y_B[n] = y_A[n]\). En \(y_B\) se hace el cambio \(m = k - n_0\).
- \(y_A[n] = y_1[n-n_0] = {\color{#41ab5d}{\displaystyle\sum_{k=-\infty}^{n-n_0} x_1[k]}}\)
- \(y_B[n] = T\{x_2[n]\} = \displaystyle\sum_{k=-\infty}^{n} x_2[k] = \sum_{k=-\infty}^{n} x_1[k-n_0] = {\color{#41ab5d}{\displaystyle\sum_{m=-\infty}^{n-n_0} x_1[m]}}\)
- Causal y con memoria: suma todo el pasado.
- Estable: no. Con \(x[n] = u[n]\) la salida es \((n+1)\,u[n]\).
f) \(y(t) = x(t-2) + 5\)
- Lineal: no, \(y_A(t) \neq y_B(t)\) porque \(5(a_1 + a_2) \neq 5\) en general. El atajo: \(T\{0\} = 5 \neq 0\).
- \(y_A(t) = a_1 y_1(t) + a_2 y_2(t) = {\color{#2c7fb8}{a_1 x_1(t-2) + a_2 x_2(t-2) + 5(a_1 + a_2)}}\)
- \(y_B(t) = T\{a_1 x_1(t) + a_2 x_2(t)\} = {\color{#e74c3c}{a_1 x_1(t-2) + a_2 x_2(t-2) + 5}}\)
- Invariante: sí, \(y_B(t) = y_A(t)\).
- \(y_A(t) = y_1(t-t_0) = {\color{#41ab5d}{x_1(t-t_0-2) + 5}}\)
- \(y_B(t) = T\{x_2(t)\} = x_2(t-2) + 5 = {\color{#41ab5d}{x_1(t-t_0-2) + 5}}\)
- Causal: sí. Usa el pasado, \(t-2 < t\).
- Con memoria: usa \(x(t-2)\).
- Estable: sí. \(|y(t)| \leq B_x + 5\).
| Sistema | Lineal | Invariante | Causal | Estable | Memoria |
|---|---|---|---|---|---|
| \(x[n] - x[n-1]\) | Sí | Sí | Sí | Sí | Sí |
| \(t\,x(t)\) | Sí | No | Sí | No | No |
| \(x[2n]\) | Sí | No | No | Sí | Sí |
| \(\cos\big(x(t)\big)\) | No | Sí | Sí | Sí | No |
| \(\sum_{k \leq n} x[k]\) | Sí | Sí | Sí | No | Sí |
| \(x(t-2) + 5\) | No | Sí | Sí | Sí | Sí |
Para cada sistema, determina si es lineal, invariante en el tiempo, causal y estable:
a) \(y(t) = x(t)\cos(2\pi f_0 t)\)
b) \(y(t) = \displaystyle\int_{-\infty}^{t} x(\tau)\,d\tau\)
La linealidad y la invarianza se comprueban con las estrategias de las definiciones de referencia, comparando en cada caso \(y_A\) con \(y_B\). En la invarianza, \(x_2(t) = x_1(t-t_0)\) es la entrada auxiliar retrasada.
a) \(y(t) = x(t)\cos(2\pi f_0 t)\)
- Lineal: sí, \(y_A(t) = y_B(t)\).
- \(y_A(t) = a_1 y_1(t) + a_2 y_2(t) = {\color{#41ab5d}{a_1 x_1(t)\cos(2\pi f_0 t) + a_2 x_2(t)\cos(2\pi f_0 t)}}\)
- \(\begin{aligned}[t] y_B(t) &= T\{a_1 x_1(t) + a_2 x_2(t)\} \\ &= \big[a_1 x_1(t) + a_2 x_2(t)\big]\cos(2\pi f_0 t) \\ &= {\color{#41ab5d}{a_1 x_1(t)\cos(2\pi f_0 t) + a_2 x_2(t)\cos(2\pi f_0 t)}} \end{aligned}\)
- Invariante: no, \(y_B(t) \neq y_A(t)\): el coseno no se retrasa con la entrada.
- \(y_A(t) = y_1(t-t_0) = {\color{#2c7fb8}{x_1(t-t_0)\cos\big(2\pi f_0 (t-t_0)\big)}}\)
- \(y_B(t) = T\{x_2(t)\} = x_2(t)\cos(2\pi f_0 t) = {\color{#e74c3c}{x_1(t-t_0)\cos(2\pi f_0 t)}}\)
- Causal: sí. Solo usa \(x(t)\).
- Estable: sí. \(|y(t)| \leq |x(t)| \leq B_x\).
b) \(y(t) = \displaystyle\int_{-\infty}^{t} x(\tau)\,d\tau\)
- Lineal: sí, \(y_A(t) = y_B(t)\). La integral es un operador lineal.
- \(y_A(t) = a_1 y_1(t) + a_2 y_2(t) = {\color{#41ab5d}{a_1\displaystyle\int_{-\infty}^{t} x_1(\tau)\,d\tau + a_2\int_{-\infty}^{t} x_2(\tau)\,d\tau}}\)
- \(\begin{aligned}[t] y_B(t) &= T\{a_1 x_1(t) + a_2 x_2(t)\} \\ &= \displaystyle\int_{-\infty}^{t} \big[a_1 x_1(\tau) + a_2 x_2(\tau)\big]\,d\tau \\ &= {\color{#41ab5d}{a_1\displaystyle\int_{-\infty}^{t} x_1(\tau)\,d\tau + a_2\int_{-\infty}^{t} x_2(\tau)\,d\tau}} \end{aligned}\)
- Invariante: sí, \(y_B(t) = y_A(t)\). En \(y_B\) se hace el cambio \(\sigma = \tau - t_0\).
- \(y_A(t) = y_1(t-t_0) = {\color{#41ab5d}{\displaystyle\int_{-\infty}^{t-t_0} x_1(\tau)\,d\tau}}\)
- \(\begin{aligned}[t] y_B(t) &= T\{x_2(t)\} \\ &= \displaystyle\int_{-\infty}^{t} x_2(\tau)\,d\tau \\ &= \int_{-\infty}^{t} x_1(\tau - t_0)\,d\tau \\ &= {\color{#41ab5d}{\displaystyle\int_{-\infty}^{t-t_0} x_1(\sigma)\,d\sigma}} \end{aligned}\)
- Causal: sí. Solo integra valores con \(\tau \leq t\).
- Estable: no. Con \(x(t) = u(t)\) la salida es \(t\,u(t)\), que no está acotada.
| Sistema | Lineal | Invariante | Causal | Estable |
|---|---|---|---|---|
| \(x(t)\cos(2\pi f_0 t)\) | Sí | No | Sí | Sí |
| \(\int_{-\infty}^{t} x(\tau)\,d\tau\) | Sí | Sí | Sí | No |
Estabilidad BIBO y respuesta impulsional
Determina la estabilidad de los sistemas LTI con estas respuestas impulsionales:
a) \(h(t) = e^{-t}\,u(t)\)
b) \(h[n] = \{\underset{\uparrow}{1},\, -1,\, 1,\, 1\}\)
a)
\[ \int_{-\infty}^{\infty} |h(t)|\,dt = \int_0^{\infty} e^{-t}\,dt = 1 < \infty \]
Estable.
b) \(h[n]\) tiene un número finito de muestras no nulas (sistema FIR):
\[ \sum_{n} |h[n]| = |1| + |-1| + |1| + |1| = 4 < \infty \]
Estable. Todo sistema FIR con coeficientes finitos es estable.
Determina la estabilidad de los sistemas LTI con estas respuestas impulsionales:
a) \(h(t) = e^{3t}\,u(t)\)
b) \(h[n] = \left(\tfrac{1}{2}\right)^{|n|}\)
c) \(h(t) = 2^{-|t|}\)
Un sistema LTI es estable BIBO si y solo si su respuesta impulsional es absolutamente integrable (o sumable, en discreto). El criterio sale de la convolución: si la entrada está acotada, \(|x(t)| \leq B_x\), entonces
\[ |y(t)| = \left|\int_{-\infty}^{\infty} h(\tau)\,x(t-\tau)\,d\tau\right| \leq \int_{-\infty}^{\infty} |h(\tau)|\,|x(t-\tau)|\,d\tau \leq B_x \int_{-\infty}^{\infty} |h(\tau)|\,d\tau \]
y la salida queda acotada siempre que esa última integral sea finita. Si diverge, existe una entrada acotada que da una salida no acotada, de modo que la condición es también necesaria. En discreto el argumento es el mismo, con \(\sum_{n} |h[n]|\) en lugar de la integral. Por eso en cada apartado se calcula \(\int |h(t)|\,dt\) o \(\sum |h[n]|\), con los límites que marca el tramo donde \(h\) no es nula.
a) El escalón \(u(t)\) anula \(h(t)\) para \(t < 0\), así que la integral empieza en \(0\); a partir de ahí la exponencial crece:
\[ \int_{-\infty}^{\infty} |h(t)|\,dt = \int_0^{\infty} e^{3t}\,dt = \lim_{T\to\infty} \frac{e^{3T} - 1}{3} = \infty \]
Inestable.
b) Aquí no hay escalón: \(h[n]\) se extiende a ambos lados del origen y el sumatorio recorre todos los \(n\). Separando \(n = 0\) y usando la simetría de \(|n|\):
\[ \sum_{n=-\infty}^{\infty} |h[n]| = \sum_{n=-\infty}^{\infty} \left(\frac{1}{2}\right)^{|n|} = 1 + 2\sum_{n=1}^{\infty} \left(\frac{1}{2}\right)^{n} = 1 + 2\cdot\frac{1/2}{1 - 1/2} = 3 < \infty \]
Estable.
c) También es bilateral, y se integra en toda la recta. Escribiendo \(2^{-|t|} = e^{-|t|\ln 2}\) y usando que es par:
\[ \int_{-\infty}^{\infty} |h(t)|\,dt = \int_{-\infty}^{\infty} 2^{-|t|}\,dt = 2\int_0^{\infty} e^{-t\ln 2}\,dt = \frac{2}{\ln 2} \approx 2.885 < \infty \]
Estable. Ni b) ni c) son causales, porque \(h \neq 0\) a la izquierda del origen, pero eso no afecta a la estabilidad.
Determina la estabilidad BIBO de los sistemas LTI con estas respuestas impulsionales:
a) \(h(t) = 10\,e^{-|t|}\)
b) \(h[n] = \left[\left(\tfrac{1}{2}\right)^n + \left(\tfrac{1}{4}\right)^n\right]u[n]\)
c) \(h[n] = \left(\tfrac{1}{2}\right)^n u[-n]\)
d) \(h(t) = 10\,\big(e^{-2t} + e^{-10t}\big)\,u(t)\)
Al ser sistemas LTI, la estabilidad BIBO equivale a que la respuesta impulsional sea absolutamente integrable (o sumable): \(\displaystyle\int_{-\infty}^{\infty} |h(t)|\,dt < \infty\) en continuo y \(\displaystyle\sum_{n} |h[n]| < \infty\) en discreto. Cada apartado calcula esa integral o ese sumatorio; los escalones que multiplican a \(h\) son los que recortan los límites.
a) \(h(t)\) no lleva escalón, así que se integra en toda la recta; como es par, basta el doble de la mitad derecha:
\[ \int_{-\infty}^{\infty} |h(t)|\,dt = \int_{-\infty}^{\infty} 10\,e^{-|t|}\,dt = 2\cdot 10\int_0^{\infty} e^{-t}\,dt = 20 < \infty \]
Estable (aunque no causal).
b) El factor \(u[n]\) deja el sumatorio en \(n \geq 0\). Ambos términos son positivos, así que \(|h[n]| = h[n]\):
\[ \sum_{n=-\infty}^{\infty} |h[n]| = \sum_{n=0}^{\infty} \left[\left(\frac{1}{2}\right)^n + \left(\frac{1}{4}\right)^n\right] = \frac{1}{1 - 1/2} + \frac{1}{1 - 1/4} = 2 + \frac{4}{3} = \frac{10}{3} < \infty \]
Estable.
c) Por el factor \(u[-n]\), \(h[n]\) solo es no nula para \(n \leq 0\), y ahí \((1/2)^n = 2^{-n} = 2^{|n|}\), que crece al alejarse del origen. Con el cambio \(m = -n\):
\[ \sum_{n=-\infty}^{\infty} |h[n]| = \sum_{n=-\infty}^{0} \left(\frac{1}{2}\right)^n = \sum_{m=0}^{\infty} 2^m = \infty \]
Inestable. La base \(1/2\) invita a pensar en una serie convergente, pero al estar definida para \(n\) negativos la secuencia es \(\ldots, 8, 4, 2, 1\).
d) El escalón \(u(t)\) limita la integral a \(t \geq 0\), donde \(h(t) > 0\):
\[ \int_{-\infty}^{\infty} |h(t)|\,dt = \int_0^{\infty} 10\big(e^{-2t} + e^{-10t}\big)\,dt = 10\left(\frac{1}{2} + \frac{1}{10}\right) = 6 < \infty \]
Estable.
Determina la estabilidad BIBO de los sistemas LTI con estas respuestas impulsionales. En los tres casos \(h\) cambia de signo y \(|h|\) es incómodo de integrar o de sumar: en lugar de buscar el valor exacto, acótalo.
a) \(h(t) = \big(e^{-t} - 2\,e^{-3t}\big)\,u(t)\)
b) \(h[n] = \left[\left(-\tfrac{1}{2}\right)^n - \left(\tfrac{1}{3}\right)^n\right]u[n]\)
c) \(h(t) = e^{-2t}\cos(10t)\,u(t)\)
Para decidir la estabilidad no hace falta el valor de \(\int |h(t)|\,dt\), solo saber si es finito. Y para eso basta encontrar una función \(g(t) \geq |h(t)|\) que sí sea fácil de integrar:
\[ |h(t)| \leq g(t) \ \text{ para todo } t \quad\Longrightarrow\quad \int_{-\infty}^{\infty} |h(t)|\,dt \leq \int_{-\infty}^{\infty} g(t)\,dt \]
Si la integral de \(g\) es finita, la de \(|h|\) también, y el sistema es estable. Las dos cotas que resuelven casi todos los casos son la desigualdad triangular, \(|a - b| \leq |a| + |b|\), y \(|\cos\theta| \leq 1\) (o \(|\sin\theta| \leq 1\)).
a) En el ejercicio anterior las dos exponenciales se sumaban, \(h\) era positiva y el valor absoluto desaparecía solo. Aquí se restan y \(h\) cambia de signo: vale \(h(0) = -1\), se anula cuando \(e^{-t} = 2e^{-3t}\), es decir, en \(t_0 = \tfrac{1}{2}\ln 2 \approx 0.35\), y es positiva a partir de ahí. Calcular \(\int |h|\) obligaría a partir la integral en \(t_0\). Con la desigualdad triangular no hace falta:
\[ |h(t)| = \big|e^{-t} - 2e^{-3t}\big| \leq e^{-t} + 2e^{-3t}, \qquad t \geq 0 \]
\[ \int_{-\infty}^{\infty} |h(t)|\,dt \leq \int_0^{\infty} \big(e^{-t} + 2e^{-3t}\big)\,dt = 1 + \frac{2}{3} = \frac{5}{3} < \infty \]
Estable. El valor exacto, partiendo en \(t_0\), es \(\tfrac{1}{3}\big(2\sqrt{2} - 1\big) \approx 0.61\): la cota queda holgada, pero para concluir que la integral es finita sobra.
b) El término \((-1/2)^n\) alterna de signo, así que \(h[n]\) también: se anula en \(n = 0\), es negativa para \(n\) impar y positiva para \(n\) par a partir de \(n = 2\). La desigualdad triangular se aplica igual, muestra a muestra:
\[ |h[n]| = \left|\left(-\frac{1}{2}\right)^n - \left(\frac{1}{3}\right)^n\right| \leq \left(\frac{1}{2}\right)^n + \left(\frac{1}{3}\right)^n, \qquad n \geq 0 \]
\[ \sum_{n=-\infty}^{\infty} |h[n]| \leq \sum_{n=0}^{\infty} \left[\left(\frac{1}{2}\right)^n + \left(\frac{1}{3}\right)^n\right] = \frac{1}{1 - 1/2} + \frac{1}{1 - 1/3} = 2 + \frac{3}{2} = \frac{7}{2} < \infty \]
Estable. Al tomar el valor absoluto, la base \(-1/2\) pasa a ser \(1/2\): lo que decide la convergencia es el módulo de la base, no su signo.
c) El coseno cambia de signo cada \(\pi/10\) segundos, e integrar \(e^{-2t}\,|\cos(10t)|\) exigiría sumar infinitos tramos. Pero el coseno nunca supera \(1\) en módulo, y la exponencial que lo envuelve basta:
\[ |h(t)| = e^{-2t}\,|\cos(10t)| \leq e^{-2t}, \qquad t \geq 0 \]
\[ \int_{-\infty}^{\infty} |h(t)|\,dt \leq \int_0^{\infty} e^{-2t}\,dt = \frac{1}{2} < \infty \]
Estable. La frecuencia de la oscilación no interviene: toda sinusoide amortiguada por una exponencial decreciente es absolutamente integrable.
Cuidado: la cota solo sirve en un sentido. Que \(\int g\) sea finita demuestra la estabilidad, pero que diverja no demuestra nada, porque \(|h|\) puede quedar muy por debajo de \(g\). Para probar que un sistema es inestable hace falta acotar por debajo: una función \(g(t) \leq |h(t)|\) cuya integral diverja. Por ejemplo, con \(h(t) = \big(e^{t} - e^{-t}\big)\,u(t)\) se tiene \(|h(t)| \geq e^{t} - 1\) para \(t \geq 0\), cuya integral diverge, y el sistema es inestable.
Sistemas LTI: respuesta impulsional y convolución
Un sistema calcula la media de cada muestra de la entrada con la anterior y la siguiente:
\[y[n] = \frac{1}{3}\sum_{k=-1}^{1} x[n-k]\]
a) Obtén su respuesta impulsional \(h[n]\) y dibújala.
b) ¿Es FIR o IIR? ¿Es causal? ¿Es estable?
c) Calcula la salida para \(x[n] = \delta[n] - \delta[n-1] + \delta[n-2]\) usando el método tabular.
d) ¿Se cumple que la salida en cada instante es la media de la muestra de la entrada en ese instante, la anterior y la siguiente?
a) Con \(x[n] = \delta[n]\), cada término de la suma es un impulso desplazado:
\[h[n] = \frac{1}{3}\sum_{k=-1}^{1} \delta[n-k] = \frac{1}{3}\big(\delta[n+1] + \delta[n] + \delta[n-1]\big)\]
b)
Es FIR: \(h[n]\) solo tiene 3 muestras no nulas.
No es causal: \(h[-1] = \tfrac{1}{3} \neq 0\), que es la huella de que la salida usa \(x[n+1]\), una muestra futura.
Es estable: \(\sum_n |h[n]| = 3 \cdot \frac{1}{3} = 1 < \infty\).
c) La salida es \(y[n] = x[n] * h[n]\), con dos secuencias finitas. La de \(h[n]\) empieza en \(n = -1\):
\[x[n] = \{\underset{\uparrow}{1},\, -1,\, 1\} \qquad\qquad h[n] = \{\tfrac{1}{3},\, \underset{\uparrow}{\tfrac{1}{3}},\, \tfrac{1}{3}\}\]
Cada fila de la tabla es \(x[k]\,h[n-k]\), desplazada \(k\) muestras, y se suma por columnas:
| \(n=-1\) | \(n=0\) | \(n=1\) | \(n=2\) | \(n=3\) | |
|---|---|---|---|---|---|
| \(x[0]=1\) | \(\tfrac{1}{3}\) | \(\tfrac{1}{3}\) | \(\tfrac{1}{3}\) | ||
| \(x[1]=-1\) | \(-\tfrac{1}{3}\) | \(-\tfrac{1}{3}\) | \(-\tfrac{1}{3}\) | ||
| \(x[2]=1\) | \(\tfrac{1}{3}\) | \(\tfrac{1}{3}\) | \(\tfrac{1}{3}\) | ||
| \(y[n]\) | \(\mathbf{\tfrac{1}{3}}\) | \(\mathbf{0}\) | \(\mathbf{\tfrac{1}{3}}\) | \(\mathbf{0}\) | \(\mathbf{\tfrac{1}{3}}\) |
\[y[n] = \tfrac{1}{3}\big(\delta[n+1] + \delta[n-1] + \delta[n-3]\big)\]
La salida tiene \(L = 3 + 3 - 1 = 5\) muestras, desde \(n = -1\) hasta \(n = 3\). Empieza una muestra antes que la entrada, cosa que solo puede hacer un sistema no causal.
d) Sí. En cada instante la ventana es la media de \(x[n-1], x[n], x[n+1]\). Conforme avanza la ventana, en el primer solame solo hay una muestra que vale \(1\) y la media es un \(1/3\). En el segundo solape hay dos muestas, pero son \(1\) y \(-1\), así que la media es cero, etc.
La respuesta impulsional de un oscilador LC, con la tensión de la fuente como entrada y la del condensador como salida, es
\[h(t) = \omega_0 \sin(\omega_0 t)\,u(t) \qquad\text{con}\qquad \omega_0 = \frac{1}{\sqrt{LC}}\]
Toma \(L = 1\) H y \(C = 0.25\) F.
a) Dibújala.
b) ¿Es un sistema causal?
c) ¿Es BIBO estable?
d) Calcula la salida cuando la fuente da un impulso unitario en \(t = 0\), es decir, \(x(t) = \delta(t)\).
e) Si realizamos ese experimento en el laboratorio, ¿observaríamos lo mismo?
Con esos valores, \(\omega_0 = \dfrac{1}{\sqrt{1 \cdot 0.25}} = 2\) rad/s y la respuesta impulsional es
\[h(t) = 2\sin(2t)\,u(t)\]
a) Es una senoide de amplitud \(2\) y periodo \(T_0 = \frac{2\pi}{\omega_0} = \pi \approx 3.14\) s que arranca desde cero en \(t = 0\) y no se amortigua: sin resistencia no hay nada que disipe la energía, que pasa una y otra vez de la bobina al condensador.
b) Sí es causal: el escalón \(u(t)\) anula \(h(t)\) para \(t < 0\). El circuito no oscila antes de recibir el impulso.
c) No es BIBO estable: \(h(t)\) no es absolutamente integrable. Cada semiperiodo de \(|h(t)|\), de duración \(\frac{\pi}{2}\), encierra la misma área,
\[\int_{0}^{\pi/2} 2\sin(2t)\,dt = \Big[-\cos(2t)\Big]_0^{\pi/2} = 2\]
y hay infinitos semiperiodos:
\[\int_{-\infty}^{\infty} |h(t)|\,dt = \int_{0}^{\infty} 2\,|\sin(2t)|\,dt = 2 + 2 + 2 + \dots = \infty\]
Por tanto, no es BIBO estable.
d) La salida es la convolución de la entrada con \(h(t)\), y convolucionar con \(\delta(t)\) deja la señal como está: es la propiedad de convolución de la delta, \(x(t) * \delta(t-t_0) = x(t-t_0)\), con \(t_0 = 0\).
\[y(t) = x(t) * h(t) = \delta(t) * h(t) = h(t) = 2\sin(2t)\,u(t)\]
No podía salir otra cosa: \(h(t)\) es, por definición, la salida ante \(\delta(t)\). La salida es la curva de a): tras un único golpe, el circuito se queda oscilando indefinidamente entre \(-2\) y \(2\) V.
e) No, la oscilación se apagaría. Una bobina real tiene la resistencia de su hilo, y también la tienen los cables y la fuente. Esa resistencia disipa parte de la energía en cada ciclo, así que veríamos una senoide cuya amplitud decae exponencialmente hasta desaparecer, más despacio cuanto menor sea la resistencia. El oscilador LC es el caso ideal sin pérdidas, que es lo que representa este modelo.
Para suavizar una señal se programa este filtro recursivo, que suma a cada muestra de entrada la salida anterior amplificada:
\[y[n] = 1.2\,y[n-1] + x[n]\]
a) Obtén su respuesta impulsional \(h[n]\) y dibújala.
b) ¿Es FIR o IIR? ¿Es causal? ¿Es estable?
c) Calcula la salida para \(x[n] = \delta[n] + \delta[n-1]\).
d) ¿Qué valores puede tomar el coeficiente \(a\) de \(y[n] = a\,y[n-1] + x[n]\) para que el filtro sea estable?
a) Con \(x[n] = \delta[n]\) y el sistema en reposo, se itera desde \(n = 0\):
\[\begin{aligned} h[0] &= 1.2\,h[-1] + \delta[0] = 1 \\ h[1] &= 1.2\,h[0] + \delta[1] = 1.2 \\ h[2] &= 1.2\,h[1] + \delta[2] = 1.2^2 \\ &\;\;\vdots \\ h[n] &= 1.2^n\,u[n] \end{aligned}\]
b) Es IIR: \(h[n]\) tiene infinitas muestras no nulas. Es causal: \(h[n] = 0\) para \(n < 0\). Es inestable: \(\sum_n |h[n]| = \sum_{n=0}^{\infty} 1.2^n \to \infty\), porque la razón de la serie geométrica es mayor que 1.
c) Por linealidad e invarianza, \(y[n] = h[n] + h[n-1] = 1.2^n\,u[n] + 1.2^{n-1}\,u[n-1]\):
\[y[n] = \begin{cases} 1 & n = 0 \\ 2.2 \cdot 1.2^{\,n-1} & n \geq 1 \\ 0 & n < 0 \end{cases}\]
Dos muestras de entrada, acotadas, y una salida que crece sin límite: en \(n = 20\) ya vale más de \(70\).
d) La respuesta impulsional es \(h[n] = a^n\,u[n]\), y \(\sum_n |a|^n\) converge solo si
\[|a| < 1\]
Con \(a = 0.8\), por ejemplo, el filtro suaviza y es estable: \(\sum_n 0.8^n = 5\).
Un electrocardiógrafo muestrea la señal del corazón a \(f_s = 200\) Hz. El registro está contaminado por la red eléctrica de 50 Hz. Para eliminarla, el equipo aplica el filtro con respuesta impulsional
\[h[n] = \tfrac{1}{2}\left(\delta[n] + \delta[n-2]\right)\]
a) El ruido de la red, muestreado, da lugar a una \(x[n] = 0{,}5\cos\left(\frac{\pi}{2}n\right)\) mV. Calcula la salida. ¿Se consigue atenuar la interferencia?
b) La onda R, el pico estrecho de cada latido, se modela como un pulso muy corto, \(x[n] = 2\,\delta[n]\) mV. Calcula la salida. ¿Qué altura tiene el pico después del filtro?
c) La onda T, que es lenta, se modela como una senoidal de 5 Hz, \(x[n] = 0{,}3\cos\left(\frac{\pi}{20}n\right)\) mV. Calcula la salida.
d) Interpreta los resultados: ¿qué ve el médico en la pantalla después del filtro?
a) La salida es la convolución de la entrada con \(h[n]\). Como \(h[n]\) solo tiene dos muestras no nulas, \(h[0] = h[2] = \tfrac{1}{2}\), la suma se reduce a dos términos:
\[y[n] = \sum_{k=-\infty}^{\infty} h[k]\,x[n-k] = \tfrac{1}{2}\,x[n] + \tfrac{1}{2}\,x[n-2]\]
Con la suma de cosenos, \(\cos A + \cos B = 2\cos\frac{A+B}{2}\cos\frac{A-B}{2}\), con \(A = \frac{\pi}{2}n\) y \(B = \frac{\pi}{2}n - \pi\):
\[y[n] = \tfrac{0{,}5}{2}\left[\cos\left(\tfrac{\pi}{2}n\right) + \cos\left(\tfrac{\pi}{2}n - \pi\right)\right] = 0{,}5\,\underbrace{\cos\left(\tfrac{\pi}{2}\right)}_{0}\cos\left(\tfrac{\pi}{2}n - \tfrac{\pi}{2}\right) = 0\]
Sí: la interferencia se elimina por completo.
b) Convolucionar con un impulso escala la respuesta impulsional:
\[y[n] = 2\,\delta[n] * h[n] = \delta[n] + \delta[n-2] \text{ mV}\]
El pico baja a la mitad, 1 mV, y además se desdobla en dos picos separados 2 muestras (10 ms).
c) De nuevo con la suma de cosenos, ahora con \(A = \frac{\pi}{20}n\) y \(B = \frac{\pi}{20}n - \frac{\pi}{10}\):
\[\begin{aligned} y[n] &= \tfrac{0{,}3}{2}\left[\cos\left(\tfrac{\pi}{20}n\right) + \cos\left(\tfrac{\pi}{20}n - \tfrac{\pi}{10}\right)\right] = 0{,}3\cos\left(\tfrac{\pi}{20}\right)\cos\left(\tfrac{\pi}{20}(n-1)\right) \\ &\approx 0{,}296\cos\left(\tfrac{\pi}{20}(n-1)\right) \text{ mV} \end{aligned}\]
La onda T pasa casi intacta en amplitud (98,8 %) y retrasada una muestra (5 ms).
d) Lo que llega a la pantalla:
- El ruido de red desaparece.
- La onda R se desdobla en dos picos separados 2 muestras (10 ms).
- La onda T se ve igual, solo 1 muestra (5 ms) más tarde.
El filtro cumple su objetivo, pero no es gratis: se distorsionan los detalles rápidos de la señal.
Nota: esto no se implementa así en la práctica. La mayor parte del filtrado es analógico, y el digital se hace con filtros IIR, que son más selectivos y no desdoblan la onda R.
Una báscula integrada en una cinta transportadora pesa los paquetes de una línea de montaje. El motor que acciona la cinta hace vibrar la estructura, y la célula de carga (el sensor de peso) registra, superpuesta al peso, una oscilación indeseada de 1 kg de amplitud.
Para atenuar la vibración, el conversor analógico-digital de la báscula toma cuatro muestras por cada ciclo de vibración del motor, y un microcontrolador las procesa con un filtro digital paso bajo cuya respuesta impulsional es
\[h[n] = \frac{1}{4}\left(\frac{3}{4}\right)^{n} u[n]\]
La báscula está inicialmente vacía. En el instante \(n = 0\), un brazo robótico deposita sobre ella un paquete de 10 kg y el microcontrolador empieza a tomar muestras. La señal que llega a la entrada del filtro se modela como
\[s[n] = \left[10 + \cos\left(\frac{\pi}{2}n\right)\right]u[n] \text{ kg}\]
a) Dibuja la respuesta impulsional \(h[n]\).
b) ¿Es FIR o IIR? ¿Es causal? ¿Es estable?
c) Calcula mediante convolución la salida \(y[n]\), el peso filtrado, cuando la entrada es \(s[n]\).
d) Identifica en \(y[n]\) el régimen transitorio y el régimen permanente, e interpreta el resultado: ¿elimina el filtro la vibración? ¿Qué lecturas da la báscula en régimen permanente?
a) \(h[n]\) es cero para \(n < 0\), vale \(\tfrac{1}{4}\) en \(n = 0\) y, a partir de ahí, cada muestra es \(\tfrac{3}{4}\) de la anterior. Decrece sin llegar nunca a cero:
b) Es IIR: \(h[n]\) no llega a valer cero para ningún \(n \geq 0\), así que tiene infinitas muestras no nulas. Es causal: \(h[n] = 0\) para \(n < 0\). Es estable: la suma de \(|h[n]|\) es una serie geométrica de razón \(\tfrac{3}{4} < 1\), que converge:
\[\sum_{n=-\infty}^{\infty} |h[n]| = \frac{1}{4}\sum_{n=0}^{\infty} \left(\frac{3}{4}\right)^{n} = \frac{1}{4} \cdot \frac{1}{1 - \frac{3}{4}} = 1 < \infty\]
A diferencia de un FIR, que es estable siempre, un IIR hay que comprobarlo.
c) La entrada es la suma de dos señales: el peso del paquete, \(p[n] = 10\,u[n]\), y la vibración, \(v[n] = \cos\left(\tfrac{\pi}{2}n\right)u[n]\). Como el filtro es lineal, la convolución se reparte entre los dos sumandos:
\[y[n] = \big(p[n] + v[n]\big) * h[n] = \underbrace{p[n] * h[n]}_{y_p[n]} + \underbrace{v[n] * h[n]}_{y_v[n]}\]
En las dos, los límites de la suma de convolución son los mismos. La entrada vale cero para \(k < 0\), así que la suma empieza en \(k = 0\); y el filtro es causal, \(h[n-k] = 0\) si \(k > n\), así que se acaba en \(k = n\). Para \(n < 0\) no hay solape y la salida es cero.
Peso del paquete. Queda una suma geométrica finita, con los términos en orden inverso:
\[y_p[n] = \sum_{k=0}^{n} p[k]\,h[n-k] = 10 \cdot \frac{1}{4}\sum_{k=0}^{n} \left(\frac{3}{4}\right)^{n-k} = \frac{10}{4} \cdot \frac{1 - \left(\frac{3}{4}\right)^{n+1}}{1 - \frac{3}{4}}\]
\[y_p[n] = \left[10 - 10\left(\tfrac{3}{4}\right)^{n+1}\right]u[n]\]
Vibración.
\[y_v[n] = \sum_{k=0}^{n} v[k]\,h[n-k] = \frac{1}{4}\sum_{k=0}^{n} \left(\frac{3}{4}\right)^{n-k}\cos\left(\tfrac{\pi}{2}k\right)\]
Es la suma finita exponencial por coseno del formulario,
\[\sum_{k=0}^{n} a^{n-k}\cos(\Omega k) = \frac{\cos(\Omega n) - a\cos\big(\Omega(n+1)\big) - a^{n+1}\left(\cos\Omega - a\right)}{1 - 2a\cos\Omega + a^2}\]
con \(a = \tfrac{3}{4}\) y \(\Omega = \tfrac{\pi}{2}\). Como \(\cos\Omega = 0\), el denominador vale \(1 + a^2 = \tfrac{25}{16}\); y en el numerador, \(\cos\left(\tfrac{\pi}{2}n + \tfrac{\pi}{2}\right) = -\sin\left(\tfrac{\pi}{2}n\right)\):
\[y_v[n] = \frac{1}{4} \cdot \frac{16}{25}\left[\cos\left(\tfrac{\pi}{2}n\right) + \tfrac{3}{4}\sin\left(\tfrac{\pi}{2}n\right) + \left(\tfrac{3}{4}\right)^{n+2}\right]\]
\[y_v[n] = \left[\tfrac{4}{25}\cos\left(\tfrac{\pi}{2}n\right) + \tfrac{3}{25}\sin\left(\tfrac{\pi}{2}n\right) + \tfrac{3}{25}\left(\tfrac{3}{4}\right)^{n+1}\right]u[n]\]
El coseno y el seno se juntan en un solo coseno con fase: la amplitud es \(\tfrac{1}{25}\sqrt{4^2 + 3^2} = \tfrac{1}{5}\) y la fase, \(\varphi = \arctan\tfrac{3}{4} \approx 0.64\) rad.
\[y_v[n] = \left[\tfrac{1}{5}\cos\left(\tfrac{\pi}{2}n - \varphi\right) + \tfrac{3}{25}\left(\tfrac{3}{4}\right)^{n+1}\right]u[n]\]
Salida completa. Sumando las dos, con \(10 - \tfrac{3}{25} = \tfrac{247}{25}\):
\[y[n] = \left[10 + \tfrac{1}{5}\cos\left(\tfrac{\pi}{2}n - \varphi\right) - \tfrac{247}{25}\left(\tfrac{3}{4}\right)^{n+1}\right]u[n] \text{ kg}\]
Como comprobación, en \(n = 0\) la suma de convolución solo tiene un término, \(y[0] = s[0]\,h[0] = 11 \cdot \tfrac{1}{4} = \tfrac{11}{4}\), y la expresión da lo mismo: \(10 + \tfrac{4}{25} - \tfrac{247}{25} \cdot \tfrac{3}{4} = \tfrac{11}{4}\).
d) En la salida hay un término que se queda y otro que se extingue:
\[y[n] = \underbrace{10 + \tfrac{1}{5}\cos\left(\tfrac{\pi}{2}n - \varphi\right)}_{\text{régimen permanente}} \; \underbrace{{} - \tfrac{247}{25}\left(\tfrac{3}{4}\right)^{n+1}}_{\text{transitorio}}, \qquad n \geq 0\]
- Régimen transitorio. La lectura no vale 10 kg desde el principio: empieza en \(y[0] = \tfrac{11}{4} = 2.75\) kg y sube poco a poco. El transitorio se multiplica por \(\tfrac{3}{4}\) en cada muestra, así que en un ciclo de vibración (cuatro muestras) se queda en \(\left(\tfrac{3}{4}\right)^4 = \tfrac{81}{256}\), algo menos de la tercera parte. Tiende a cero, pero no se anula nunca: es la consecuencia de que el filtro sea IIR y tenga memoria infinita.
- El peso pasa intacto. Cuando el transitorio se ha extinguido, la componente constante es de 10 kg exactos, porque \(\sum_n h[n] = 1\).
- La vibración no se elimina, se atenúa. Sale con la misma frecuencia, retrasada \(\varphi\) radianes y con la quinta parte de su amplitud: de 1 kg a 0.2 kg.
- Lecturas en régimen permanente. Con la forma \(\tfrac{4}{25}\cos\left(\tfrac{\pi}{2}n\right) + \tfrac{3}{25}\sin\left(\tfrac{\pi}{2}n\right)\) se ve que la lectura se repite cada cuatro muestras:
| \(n\) (módulo 4) | \(0\) | \(1\) | \(2\) | \(3\) |
|---|---|---|---|---|
| \(y[n]\) (kg) | \(10 + \frac{4}{25} = 10.16\) | \(10 + \frac{3}{25} = 10.12\) | \(10 - \frac{4}{25} = 9.84\) | \(10 - \frac{3}{25} = 9.88\) |
La báscula nunca marca 10 kg exactos: oscila alrededor, con un error de hasta 0.16 kg. Ese error es menor que la amplitud de 0.2 kg porque, con cuatro muestras por ciclo, ninguna cae en el máximo de la oscilación.
En resumen, el filtro suaviza la lectura, pero a cambio de un arranque lento y de una vibración residual que no desaparece.
Diagramas de bloques
En todos los diagramas de esta sección, los bloques en serie se convolucionan y las ramas en paralelo se suman, con el signo que indica el sumador (\(\Sigma\)). Las secuencias finitas llevan una flecha bajo la muestra de \(n = 0\).
con \(h_1[n] = \delta[n] - \delta[n-1]\) (primera diferencia) y \(h_2[n] = u[n]\) (acumulador).
a) Calcula la respuesta impulsional global \(h[n]\).
b) Para \(x[n] = \{\underset{\uparrow}{3},\, -1,\, 2\}\), calcula la señal intermedia \(w[n]\) y después \(y[n]\).
c) ¿Cambia algo si se intercambian los bloques?
a) Los dos bloques están en serie, así que se convolucionan. Convolucionar con \(\delta[n-k]\) solo desplaza la señal \(k\) muestras:
\[h[n] = h_1[n] * h_2[n] = \big(\delta[n] - \delta[n-1]\big) * u[n] = u[n] - u[n-1] = \delta[n]\]
(\(u[n] - u[n-1]\) vale \(1\) en \(n = 0\) y \(0\) en el resto). El sistema global es la identidad: el acumulador deshace lo que hace la primera diferencia, es su sistema inverso.
b) El primer bloque calcula \(w[n] = x[n] - x[n-1]\):
| \(n\) | \(0\) | \(1\) | \(2\) | \(3\) |
|---|---|---|---|---|
| \(x[n]\) | \(3\) | \(-1\) | \(2\) | \(0\) |
| \(x[n-1]\) | \(0\) | \(3\) | \(-1\) | \(2\) |
| \(w[n]\) | \(3\) | \(-4\) | \(3\) | \(-2\) |
El acumulador suma todas las muestras de \(w\) hasta \(n\): \(y[0] = 3\), \(y[1] = 3 - 4 = -1\), \(y[2] = -1 + 3 = 2\) e \(y[3] = 2 - 2 = 0\), y a partir de ahí sigue en \(0\). Así que \(y[n] = \{\underset{\uparrow}{3},\, -1,\, 2\} = x[n]\), como anunciaba a).
c) La salida no cambia: el sistema global es \(h_2 * h_1 = h_1 * h_2 = \delta[n]\), porque la convolución es conmutativa. Lo que sí cambia es la señal intermedia. Con el acumulador primero, \(v[n] = \sum_{k \leq n} x[k] = \{\underset{\uparrow}{3},\, 2,\, 4,\, 4,\, 4,\, \dots\}\), que no vuelve a cero, y la diferencia posterior la devuelve a \(x[n]\). El orden da igual para el resultado, pero no para lo que circula por dentro: en un circuito real, el acumulador colocado primero podría saturarse.
con \(h_1[n] = \delta[n] - \delta[n-1]\).
a) Calcula \(h[n]\).
b) Calcula la salida para la rampa \(x[n] = n\,u[n]\).
c) Calcula la salida para \(x[n] = n^2\,u[n]\).
d) Interpreta los resultados como una «derivada segunda discreta».
a) En serie, se convoluciona \(h_1\) consigo misma:
\[h[n] = \{\underset{\uparrow}{1},\, -1\} * \{\underset{\uparrow}{1},\, -1\} = \{\underset{\uparrow}{1},\, -2,\, 1\}\]
es decir, \(y[n] = x[n] - 2\,x[n-1] + x[n-2]\).
b) Para la rampa: \(y[0] = 0\), \(y[1] = 1 - 0 + 0 = 1\) y, para \(n \geq 2\),
\[y[n] = n - 2(n-1) + (n-2) = 0\]
La salida es \(y[n] = \delta[n-1]\): solo es distinta de cero donde la rampa dobla, al pasar de pendiente \(0\) a pendiente \(1\). (Aparece en \(n = 1\) y no en \(n = 0\) porque el sistema es causal y mide la curvatura alrededor de la muestra \(n - 1\).)
c) Para la parábola: \(y[0] = 0\), \(y[1] = 1\), \(y[2] = 4 - 2 = 2\) y, para \(n \geq 2\),
\[y[n] = n^2 - 2(n-1)^2 + (n-2)^2 = n^2 - 2n^2 + 4n - 2 + n^2 - 4n + 4 = 2\]
d) La primera diferencia \(x[n] - x[n-1]\) es la versión discreta de la derivada: mide la pendiente. Aplicada dos veces mide cómo cambia la pendiente, que es la curvatura. Una recta tiene curvatura nula (salvo en la esquina donde empieza) y una parábola, curvatura constante, igual que \(\frac{d^2}{dt^2}\,t^2 = 2\).
con \(h_1[n] = \tfrac{1}{2}\big(\delta[n] + \delta[n-1]\big)\).
a) Calcula \(h[n]\).
b) Calcula la salida para la entrada constante \(x[n] = 1\) (para todo \(n\)).
c) Calcula la salida para \(x[n] = (-1)^n\).
d) Interpreta el resultado.
a) En serie, convolución de \(h_1\) consigo misma:
\[h[n] = \{\underset{\uparrow}{\tfrac{1}{2}},\, \tfrac{1}{2}\} * \{\underset{\uparrow}{\tfrac{1}{2}},\, \tfrac{1}{2}\} = \{\underset{\uparrow}{\tfrac{1}{4}},\, \tfrac{1}{2},\, \tfrac{1}{4}\}\]
Cada etapa es una media de dos muestras, y las dos juntas, una media ponderada de tres.
b) Con \(x[n] = 1\) todas las muestras que entran en la suma valen \(1\):
\[y[n] = \tfrac{1}{4} + \tfrac{1}{2} + \tfrac{1}{4} = 1\]
La componente continua pasa sin cambios.
c) Con \(x[n] = (-1)^n\), las muestras alternan de signo:
\[y[n] = \tfrac{1}{4}(-1)^n + \tfrac{1}{2}(-1)^{n-1} + \tfrac{1}{4}(-1)^{n-2} = (-1)^n\left(\tfrac{1}{4} - \tfrac{1}{2} + \tfrac{1}{4}\right) = 0\]
La señal alternante desaparece por completo.
d) Es un filtro paso bajo: deja pasar la componente continua (la frecuencia más baja) y elimina la alternancia \((-1)^n\), que es la frecuencia más alta que puede tener una señal discreta. Una sola etapa ya anula \((-1)^n\), porque \(\tfrac{1}{2}(1 - 1) = 0\); la segunda etapa atenúa más las frecuencias intermedias, así que el resultado sale más suave.
Un detector de movimientos bruscos suaviza la medida de un acelerómetro con \(h_1[n] = \tfrac{1}{3}\big(\delta[n] + \delta[n-1] + \delta[n-2]\big)\) y después, en un post-procesado, la pasa por un derivador, \(h_2[n] = 0.5\,\big(\delta[n+1] - \delta[n-1]\big)\).
a) Calcula la respuesta impulsional de la cascada, \(h[n] = h_1[n] * h_2[n]\).
b) ¿Es estable? ¿Es causal?
c) Calcula la salida para la entrada \(x[n] = \{\underset{\uparrow}{-1.5},\, 1,\, -1,\, 5,\, 1.5,\, -1\}\).
a) Como secuencias finitas, \(h_1 = \tfrac{1}{3}\{\underset{\uparrow}{1},\, 1,\, 1\}\) empieza en \(n = 0\) y \(h_2 = \tfrac{1}{2}\{1,\, \underset{\uparrow}{0},\, -1\}\) en \(n = -1\). Se convolucionan los coeficientes y el resultado empieza en \(0 + (-1) = -1\):
\[h[n] = \tfrac{1}{3}\cdot\tfrac{1}{2}\,\{1,\, 1,\, 1\} * \{1,\, 0,\, -1\} = \tfrac{1}{6}\,\{1,\, \underset{\uparrow}{1},\, 0,\, -1,\, -1\}\]
es decir, \(h[n] = \tfrac{1}{6}\big(\delta[n+1] + \delta[n] - \delta[n-2] - \delta[n-3]\big)\): la diferencia entre la media de las muestras recientes y la de las antiguas.
b) Es estable: es FIR, y \(\sum_n |h[n]| = \tfrac{4}{6} = \tfrac{2}{3} < \infty\). No es causal: \(h[-1] = \tfrac{1}{6} \neq 0\), así que la salida en \(n\) usa la muestra \(x[n+1]\). Viene del derivador centrado, que mira una muestra al futuro. En un post-procesado, con toda la señal ya grabada, no es un problema; en tiempo real se retrasaría una muestra.
c) Por el método tabular, con \(6\,h = \{1,\, \underset{\uparrow}{1},\, 0,\, -1,\, -1\}\) para no arrastrar fracciones (al final se divide entre \(6\)). Cada fila empieza en \(n = k - 1\):
| \(n=-1\) | \(n=0\) | \(n=1\) | \(n=2\) | \(n=3\) | \(n=4\) | \(n=5\) | \(n=6\) | \(n=7\) | \(n=8\) | |
|---|---|---|---|---|---|---|---|---|---|---|
| \(x[0]=-1.5\) | \(-1.5\) | \(-1.5\) | \(0\) | \(1.5\) | \(1.5\) | |||||
| \(x[1]=1\) | \(1\) | \(1\) | \(0\) | \(-1\) | \(-1\) | |||||
| \(x[2]=-1\) | \(-1\) | \(-1\) | \(0\) | \(1\) | \(1\) | |||||
| \(x[3]=5\) | \(5\) | \(5\) | \(0\) | \(-5\) | \(-5\) | |||||
| \(x[4]=1.5\) | \(1.5\) | \(1.5\) | \(0\) | \(-1.5\) | \(-1.5\) | |||||
| \(x[5]=-1\) | \(-1\) | \(-1\) | \(0\) | \(1\) | \(1\) | |||||
| \(6\,y[n]\) | \(\mathbf{-1.5}\) | \(\mathbf{-0.5}\) | \(\mathbf{0}\) | \(\mathbf{5.5}\) | \(\mathbf{7}\) | \(\mathbf{0.5}\) | \(\mathbf{-5}\) | \(\mathbf{-6.5}\) | \(\mathbf{-0.5}\) | \(\mathbf{1}\) |
Dividiendo entre \(6\):
\[y[n] = \tfrac{1}{12}\,\{-3,\, \underset{\uparrow}{-1},\, 0,\, 11,\, 14,\, 1,\, -10,\, -13,\, -1,\, 2\}\]
con \(L = 6 + 5 - 1 = 10\) muestras, de \(n = -1\) a \(n = 8\). El salto a \(5\) en \(n = 3\) da el pico positivo, \(y[3] = \tfrac{14}{12} \approx 1.17\), y la vuelta a valores pequeños, el pico negativo, \(y[6] = -\tfrac{13}{12} \approx -1.08\): el detector marca los cambios bruscos, y su signo dice si la aceleración sube o baja. Las oscilaciones pequeñas de \(\pm 1\) casi desaparecen con el suavizado. Como \(\sum_n h[n] = 0\), la suma de la salida también es nula: un nivel constante no produce salida.
Dado el siguiente diagrama, obtén la respuesta impulsional equivalente \(h[n]\) entre \(x[n]\) e \(y[n]\):
con \(h_1[n] = \delta[n] + \delta[n-1]\), \(h_2[n] = 2\,\delta[n]\) y \(h_3[n] = \delta[n-1]\).
1. Paralelo: \(h_2\) y \(h_3\) reciben la misma señal y sus salidas se suman, así que equivalen a un solo bloque:
\[h_2[n] + h_3[n] = 2\,\delta[n] + \delta[n-1]\]
2. Serie: queda una cascada de \(h_1\) y \(h_2 + h_3\), que equivale a la convolución de las dos respuestas:
\[\begin{aligned} h[n] &= h_1[n] * \big(h_2[n] + h_3[n]\big) \\ &= \big(\delta[n] + \delta[n-1]\big) * \big(2\,\delta[n] + \delta[n-1]\big) \\ &= 2\,\delta[n] + \delta[n-1] + 2\,\delta[n-1] + \delta[n-2] \\ &= 2\,\delta[n] + 3\,\delta[n-1] + \delta[n-2] \end{aligned}\]
Es decir, \(h[n] = \{\underset{\uparrow}{2},\, 3,\, 1\}\).
con \(h_1[n] = \{\underset{\uparrow}{1},\, 2\}\), \(h_2[n] = \{\underset{\uparrow}{1},\, -1\}\), \(h_3[n] = \delta[n-2]\) y \(h_4[n] = \{\underset{\uparrow}{1},\, 1\}\).
a) Calcula \(h[n]\).
b) Calcula la salida para \(x[n] = \{\underset{\uparrow}{1},\, 1,\, 1\}\) de dos formas: con \(h[n]\) directamente y propagando la señal bloque a bloque.
c) Comprueba que los dos resultados coinciden.
a) Se simplifica de dentro afuera:
- Serie en la rama de arriba: \(h_1 * h_2 = \{\underset{\uparrow}{1},\, 2\} * \{\underset{\uparrow}{1},\, -1\} = \{\underset{\uparrow}{1},\, 1,\, -2\}\).
- Paralelo con \(h_3 = \{\underset{\uparrow}{0},\, 0,\, 1\}\): se suman muestra a muestra, \(\{\underset{\uparrow}{1},\, 1,\, -2\} + \{\underset{\uparrow}{0},\, 0,\, 1\} = \{\underset{\uparrow}{1},\, 1,\, -1\}\).
- Serie con \(h_4\): \(h[n] = \{\underset{\uparrow}{1},\, 1,\, -1\} * \{\underset{\uparrow}{1},\, 1\} = \{\underset{\uparrow}{1},\, 2,\, 0,\, -1\}\).
b) Con \(h[n]\), por el método tabular:
| \(n=0\) | \(n=1\) | \(n=2\) | \(n=3\) | \(n=4\) | \(n=5\) | |
|---|---|---|---|---|---|---|
| \(x[0]=1\) | \(1\) | \(2\) | \(0\) | \(-1\) | ||
| \(x[1]=1\) | \(1\) | \(2\) | \(0\) | \(-1\) | ||
| \(x[2]=1\) | \(1\) | \(2\) | \(0\) | \(-1\) | ||
| \(y[n]\) | \(\mathbf{1}\) | \(\mathbf{3}\) | \(\mathbf{3}\) | \(\mathbf{1}\) | \(\mathbf{-1}\) | \(\mathbf{-1}\) |
Bloque a bloque:
- Salida de \(h_1\): \(a = x * h_1 = \{\underset{\uparrow}{1},\, 3,\, 3,\, 2\}\).
- Salida de \(h_2\): \(b = a * h_2 = \{\underset{\uparrow}{1},\, 2,\, 0,\, -1,\, -2\}\).
- Salida de \(h_3\), que solo retrasa dos muestras: \(c = \{\underset{\uparrow}{0},\, 0,\, 1,\, 1,\, 1\}\).
- Sumador: \(s = b + c = \{\underset{\uparrow}{1},\, 2,\, 1,\, 0,\, -1\}\).
- Salida de \(h_4\): \(y = s * h_4 = \{\underset{\uparrow}{1},\, 3,\, 3,\, 1,\, -1,\, -1\}\).
c) Los dos caminos dan \(y[n] = \{\underset{\uparrow}{1},\, 3,\, 3,\, 1,\, -1,\, -1\}\), con \(L = 3 + 4 - 1 = 6\) muestras. Simplificar primero el diagrama cuesta menos: una sola convolución en lugar de tres y una suma.
con \(h_1[n] = \delta[n]\), \(h_2[n] = \delta[n-3]\) y \(h_3[n] = \tfrac{1}{3}\,u[n]\).
a) Calcula \(h[n]\) y exprésala como una suma de deltas.
b) Calcula la salida para \(x[n] = u[n]\).
c) Calcula la salida para \(x[n] = n\,u[n]\). ¿Qué relación hay entre la entrada y la salida para \(n \geq 2\)?
a) El paralelo resta las dos ramas, \(\delta[n] - \delta[n-3]\), y el resultado va en serie con \(h_3\):
\[\begin{aligned} h[n] &= \big(\delta[n] - \delta[n-3]\big) * \tfrac{1}{3}\,u[n] = \tfrac{1}{3}\big(u[n] - u[n-3]\big) \\ &= \tfrac{1}{3}\big(\delta[n] + \delta[n-1] + \delta[n-2]\big) \end{aligned}\]
Es la media móvil de 3 muestras, \(y[n] = \tfrac{1}{3}\big(x[n] + x[n-1] + x[n-2]\big)\).
b) Con el escalón, la ventana de tres muestras se va llenando: \(y[0] = \tfrac{1}{3}\), \(y[1] = \tfrac{2}{3}\) e \(y[n] = 1\) para \(n \geq 2\).
c) Con la rampa: \(y[0] = 0\), \(y[1] = \tfrac{1}{3}(1 + 0) = \tfrac{1}{3}\) y, para \(n \geq 2\),
\[y[n] = \tfrac{1}{3}\big(n + (n-1) + (n-2)\big) = n - 1\]
La salida es la misma rampa retrasada una muestra. Ese retraso es el retardo de grupo del filtro: la media de tres muestras está centrada en la del medio, \(n - 1\).
Esta estructura calcula la media móvil sin sumar las tres muestras en cada instante: la rama de resta añade la muestra que entra en la ventana y quita la que sale, y el acumulador lleva la suma. Cuesta lo mismo con una ventana de 3 muestras que con una de 1000.
con \(h_1[n] = \delta[n] + \tfrac{1}{2}\,\delta[n-1]\) y \(h_2[n] = \left(-\tfrac{1}{2}\right)^n u[n]\).
a) Calcula \(h[n]\), estudiando por separado \(n = 0\) y \(n \geq 1\).
b) Para \(x[n] = \{\underset{\uparrow}{1},\, 0,\, 1\}\), calcula la salida del canal \(r[n]\) y después \(y[n]\), al menos hasta \(n = 4\).
c) ¿Qué función cumple \(h_2\)?
a) En serie, y usando que convolucionar con \(\delta[n-1]\) retrasa una muestra:
\[h[n] = h_2[n] + \tfrac{1}{2}\,h_2[n-1] = \left(-\tfrac{1}{2}\right)^n u[n] + \tfrac{1}{2}\left(-\tfrac{1}{2}\right)^{n-1} u[n-1]\]
- En \(n = 0\) solo está el primer término: \(h[0] = 1\).
- Para \(n \geq 1\) están los dos: \(h[n] = \left(-\tfrac{1}{2}\right)^{n-1}\left(-\tfrac{1}{2} + \tfrac{1}{2}\right) = 0\).
Así que \(h[n] = \delta[n]\): el conjunto canal + ecualizador no modifica la señal.
b) El canal suma a la señal su eco, retrasado una muestra y a mitad de amplitud, \(r[n] = x[n] + \tfrac{1}{2}\,x[n-1]\):
\[r[n] = \{\underset{\uparrow}{1},\, \tfrac{1}{2},\, 1,\, \tfrac{1}{2}\}\]
El ecualizador, con \(h_2[n] = \left(-\tfrac{1}{2}\right)^n u[n]\), es el sistema recursivo \(y[n] = -\tfrac{1}{2}\,y[n-1] + r[n]\). Iterando desde el reposo:
| \(n\) | \(0\) | \(1\) | \(2\) | \(3\) | \(4\) |
|---|---|---|---|---|---|
| \(r[n]\) | \(1\) | \(\tfrac{1}{2}\) | \(1\) | \(\tfrac{1}{2}\) | \(0\) |
| \(-\tfrac{1}{2}\,y[n-1]\) | \(0\) | \(-\tfrac{1}{2}\) | \(0\) | \(-\tfrac{1}{2}\) | \(0\) |
| \(y[n]\) | \(\mathbf{1}\) | \(\mathbf{0}\) | \(\mathbf{1}\) | \(\mathbf{0}\) | \(\mathbf{0}\) |
La salida es \(y[n] = \{\underset{\uparrow}{1},\, 0,\, 1\} = x[n]\), y sigue en cero a partir de ahí.
c) \(h_2\) es el sistema inverso del canal: un ecualizador que cancela el eco exactamente. Es estable, porque \(\sum_n \left(\tfrac{1}{2}\right)^n = 2 < \infty\).
con \(c[n] = \delta[n] + \tfrac{1}{2}\,\delta[n-3]\) y \(g[n] = \delta[n] - \tfrac{1}{2}\,\delta[n-3] + \tfrac{1}{4}\,\delta[n-6]\).
a) Calcula \(h = c * g\).
b) Calcula la salida para \(x[n] = \{\underset{\uparrow}{2},\, 1\}\).
c) Generaliza el resultado para un corrector de \(N\) términos, \(g_N[n] = \sum_{k=0}^{N-1} \left(-\tfrac{1}{2}\right)^k \delta[n-3k]\). ¿Cuántos términos hacen falta para que el eco residual sea menor que el 1 %?
a) Se convolucionan término a término (cada convolución entre deltas es una delta con los retardos sumados):
\[\begin{aligned} h[n] &= \big(\delta[n] + \tfrac{1}{2}\,\delta[n-3]\big) * \big(\delta[n] - \tfrac{1}{2}\,\delta[n-3] + \tfrac{1}{4}\,\delta[n-6]\big) \\ &= \delta[n] - \tfrac{1}{2}\,\delta[n-3] + \tfrac{1}{4}\,\delta[n-6] + \tfrac{1}{2}\,\delta[n-3] - \tfrac{1}{4}\,\delta[n-6] + \tfrac{1}{8}\,\delta[n-9] \\ &= \delta[n] + \tfrac{1}{8}\,\delta[n-9] \end{aligned}\]
El eco original, de amplitud \(\tfrac{1}{2}\) y retardo \(3\), se convierte en un eco residual de amplitud \(\tfrac{1}{8}\) y retardo \(9\): más débil y más tardío.
b) \(y[n] = x[n] + \tfrac{1}{8}\,x[n-9]\), así que
\[y[n] = \{\underset{\uparrow}{2},\, 1,\, 0,\, 0,\, 0,\, 0,\, 0,\, 0,\, 0,\, \tfrac{1}{4},\, \tfrac{1}{8}\}\]
con los dos últimos valores en \(n = 9\) y \(n = 10\).
c) Al convolucionar \(c\) con \(g_N\), cada término se cancela con el siguiente (la suma es telescópica) y solo sobreviven el primero y el último:
\[h[n] = \delta[n] - \left(-\tfrac{1}{2}\right)^N \delta[n-3N]\]
(con \(N = 3\) se recupera el \(+\tfrac{1}{8}\,\delta[n-9]\) de a)). El eco residual tiene amplitud \(\left(\tfrac{1}{2}\right)^N\), y hace falta \(\left(\tfrac{1}{2}\right)^N < 0.01\): \(\left(\tfrac{1}{2}\right)^6 \approx 0.016\) no basta y \(\left(\tfrac{1}{2}\right)^7 \approx 0.008\) sí. Hacen falta \(N = 7\) términos.
Con infinitos términos el eco desaparecería del todo: el corrector sería el sistema inverso exacto, un IIR, como el ecualizador del ejercicio anterior. Cortarlo en \(N\) términos da un FIR que lo aproxima.
El mismo corrector funciona en tiempo continuo: basta cambiar los retardos de muestras por segundos.
Una señal \(x(t)\) llega a un receptor de forma directa y también reflejada, con un retardo \(t_0 = 5\) y la mitad de amplitud: \(h_1(t) = \delta(t) + 0.5\,\delta(t - t_0)\). El receptor usa un cancelador de eco \(h_2(t) = \delta(t) - 0.5\,\delta(t - t_0) + 0.25\,\delta(t - 2t_0)\).
a) Calcula la respuesta impulsional de la cascada, \(h(t) = h_1(t) * h_2(t)\).
b) Calcula la salida \(y(t)\) del cancelador si la señal emitida es el pulso \(x(t) = u(t) - u(t-1)\).
c) En el mismo caso, calcula la señal recibida \(w(t)\), antes de cancelar su eco.
a) Convolucionar dos deltas da una delta con los retardos sumados, \(\delta(t - a) * \delta(t - b) = \delta(t - a - b)\), así que se multiplica término a término:
\[\begin{aligned} h(t) &= \delta(t) - 0.5\,\delta(t - 5) + 0.25\,\delta(t - 10) \\ &\quad + 0.5\,\delta(t - 5) - 0.25\,\delta(t - 10) + 0.125\,\delta(t - 15) \\ &= \delta(t) + 0.125\,\delta(t - 15) \end{aligned}\]
Como en la versión discreta, el eco de amplitud \(0.5\) y retardo \(t_0\) queda reducido a un eco residual de amplitud \(0.125\) y retardo \(3t_0 = 15\).
b) Convolucionar con \(\delta(t - a)\) desplaza la señal \(a\) unidades. Con \(p(t) = u(t) - u(t-1)\):
\[y(t) = p(t) + 0.125\,p(t - 15)\]
el pulso intacto entre \(t = 0\) y \(t = 1\) y una copia de altura \(0.125\) entre \(t = 15\) y \(t = 16\).
c) La señal recibida es la salida del canal solo, \(w = x * h_1\):
\[w(t) = p(t) + 0.5\,p(t - 5)\]
el pulso y su eco, de altura \(0.5\), entre \(t = 5\) y \(t = 6\). El cancelador cambia ese eco por otro cuatro veces más débil.
con \(h_1[n] = \{\underset{\uparrow}{1},\, 1,\, -1\}\) (el código) y \(h_2[n] = \{\underset{\uparrow}{-1},\, 1,\, 1\}\) (el código invertido en el tiempo).
a) Calcula \(h[n]\). ¿Dónde está su máximo?
b) Se transmiten dos bits, \(x[n] = \delta[n] + \delta[n-5]\). Calcula \(y[n]\).
c) Repite el apartado anterior con \(x[n] = \delta[n] - \delta[n-5]\).
d) ¿Cómo decide el receptor qué bit se envió?
a) Por el método tabular:
| \(n=0\) | \(n=1\) | \(n=2\) | \(n=3\) | \(n=4\) | |
|---|---|---|---|---|---|
| \(h_1[0]=1\) | \(-1\) | \(1\) | \(1\) | ||
| \(h_1[1]=1\) | \(-1\) | \(1\) | \(1\) | ||
| \(h_1[2]=-1\) | \(1\) | \(-1\) | \(-1\) | ||
| \(h[n]\) | \(\mathbf{-1}\) | \(\mathbf{0}\) | \(\mathbf{3}\) | \(\mathbf{0}\) | \(\mathbf{-1}\) |
\(h[n] = \{\underset{\uparrow}{-1},\, 0,\, 3,\, 0,\, -1\}\), con el máximo, \(3\), en \(n = 2\). Como \(h_2\) es el código invertido, convolucionar con él equivale a correlar con el código: \(h\) es la autocorrelación del código. El pico vale \(3\) (las tres muestras del código coinciden con ellas mismas) y los lóbulos laterales, como mucho \(1\) en valor absoluto.
b) Cada bit produce una copia de \(h\) en su instante. Como \(h\) dura 5 muestras, las dos copias no se solapan:
\[y[n] = h[n] + h[n-5] = \{\underset{\uparrow}{-1},\, 0,\, 3,\, 0,\, -1,\, -1,\, 0,\, 3,\, 0,\, -1\}\]
con picos de \(+3\) en \(n = 2\) y \(n = 7\).
c) El segundo bit llega con signo cambiado, y su copia también:
\[y[n] = h[n] - h[n-5] = \{\underset{\uparrow}{-1},\, 0,\, 3,\, 0,\, -1,\, 1,\, 0,\, -3,\, 0,\, 1\}\]
con picos de \(+3\) en \(n = 2\) y de \(-3\) en \(n = 7\).
d) El receptor muestrea en los picos, \(n = 2 + 5k\), y decide el bit por el signo. El código reparte cada bit en tres muestras y el filtro adaptado las vuelve a concentrar en una, de valor \(3\) frente a lóbulos de valor \(1\): es la compresión de pulsos del radar, que da margen frente al ruido sin transmitir más potencia de pico.
a) Calcula \(h(t)\) y dibújala.
b) Calcula la salida para \(x(t) = u(t)\).
c) Se ponen dos sistemas idénticos a este en cascada. Calcula la nueva respuesta impulsional.
a) El paralelo resta las dos ramas, \(\delta(t) - \delta(t-1)\), y el resultado va en serie con \(u(t)\). Convolucionar con \(\delta(t - a)\) desplaza la señal \(a\) unidades:
\[h(t) = \big(\delta(t) - \delta(t-1)\big) * u(t) = u(t) - u(t-1)\]
un pulso rectangular de altura \(1\) entre \(t = 0\) y \(t = 1\). La salida es entonces
\[y(t) = \int_{-\infty}^{\infty} x(\tau)\,h(t-\tau)\,d\tau = \int_{t-1}^{t} x(\tau)\,d\tau\]
El sistema integra la entrada solo durante el último segundo.
b) Con \(x(t) = u(t)\), la integral mide cuánto de la ventana \([t-1,\, t]\) cae en \(\tau \geq 0\):
\[y(t) = \begin{cases} 0 & t < 0 \\ t & 0 \leq t < 1 \\ 1 & t \geq 1 \end{cases}\]
una rampa que satura: \(y(t) = r(t) - r(t-1)\).
c) En cascada se convoluciona el pulso consigo mismo. \(h * h\,(t)\) es la longitud del solape entre \([0, 1]\) y \([t-1, t]\):
\[h(t) * h(t) = \begin{cases} t & 0 \leq t < 1 \\ 2 - t & 1 \leq t < 2 \\ 0 & \text{resto} \end{cases}\]
un pulso triangular de base \(2\) y altura \(1\).
con \(h_1(t) = e^{-t}\,u(t)\) y \(h_2(t) = h_3(t) = e^{-2t}\,u(t)\).
a) Calcula \(h_1 * h_2\) con la integral de convolución.
b) Calcula \(h(t)\) y simplifícala.
c) Calcula la salida para \(x(t) = u(t)\).
a) Los dos escalones limitan la integral a \(0 \leq \tau \leq t\) (para \(t < 0\) no hay solape y el resultado es \(0\)):
\[\begin{aligned} h_1(t) * h_2(t) &= \int_0^t e^{-\tau}\,e^{-2(t-\tau)}\,d\tau = e^{-2t}\int_0^t e^{\tau}\,d\tau \\ &= e^{-2t}\left(e^{t} - 1\right) = \left(e^{-t} - e^{-2t}\right)u(t) \end{aligned}\]
b) La rama de arriba es la cascada de a) y la de abajo es \(h_3\); el paralelo las suma:
\[h(t) = \left(e^{-t} - e^{-2t}\right)u(t) + e^{-2t}\,u(t) = e^{-t}\,u(t)\]
El término \(e^{-2t}\) que introduce \(h_2\) se cancela exactamente con la rama de \(h_3\), y todo el diagrama equivale al bloque \(h_1\) solo.
c) Como \(h(t) = e^{-t}\,u(t)\), para \(t \geq 0\):
\[y(t) = \int_0^t e^{-\tau}\,d\tau = \left(1 - e^{-t}\right)u(t)\]
Con la transformada de Laplace se comprueba en una línea: \(\dfrac{1}{(s+1)(s+2)} + \dfrac{1}{s+2} = \dfrac{1 + (s+1)}{(s+1)(s+2)} = \dfrac{1}{s+1}\).
Un termómetro electrónico se modela como \(h_1(t) = e^{-t}\,u(t)\). Su salida pasa por un filtro RC, \(h_2(t) = 2\,e^{-2t}\,u(t)\), que elimina ruido. La entrada \(x(t)\) es la temperatura (°C) y la salida \(y(t)\), la tensión filtrada (V); el conjunto tiene una ganancia de 1 V/°C.
a) Calcula la respuesta impulsional de la cascada, \(h(t) = h_1(t) * h_2(t)\).
b) La temperatura sube de forma brusca 5 °C. Calcula la lectura \(y(t)\) y el tiempo que tarda en alcanzar el 90 % de su valor final.
a) Los dos escalones limitan la integral a \(0 \leq \theta \leq t\) (para \(t < 0\) no hay solape y el resultado es \(0\)):
\[\begin{aligned} h(t) &= \int_0^t e^{-\theta}\cdot 2\,e^{-2(t-\theta)}\,d\theta = 2\,e^{-2t}\int_0^t e^{\theta}\,d\theta \\ &= 2\,e^{-2t}\left(e^{t} - 1\right) = 2\left(e^{-t} - e^{-2t}\right)u(t) \end{aligned}\]
Empieza en \(0\), a diferencia de \(h_1\) y \(h_2\), que saltan en \(t = 0\): cada etapa suaviza y la cascada tarda en reaccionar. Su área vale \(2\left(1 - \tfrac{1}{2}\right) = 1\), que es la ganancia de 1 V/°C del enunciado.
b) Un salto brusco de 5 °C es \(x(t) = 5\,u(t)\), y la salida es la integral acumulada de \(h\):
\[\begin{aligned} y(t) &= 5\int_0^t 2\left(e^{-\theta} - e^{-2\theta}\right)d\theta = 10\left(1 - e^{-t}\right) - 5\left(1 - e^{-2t}\right) \\ &= 5 - 10\,e^{-t} + 5\,e^{-2t} = 5\left(1 - e^{-t}\right)^2 u(t) \end{aligned}\]
La lectura tiende a \(5\) V. Llega al 90 %, \(4.5\) V, cuando
\[\left(1 - e^{-t}\right)^2 = 0.9 \;\Rightarrow\; e^{-t} = 1 - \sqrt{0.9} \;\Rightarrow\; t = -\ln\!\left(1 - \sqrt{0.9}\right) \approx 2.97 \text{ s}\]
El termómetro solo, \(5\left(1 - e^{-t}\right)\), llegaría al 90 % en \(\ln 10 \approx 2.30\) s: el filtro quita ruido a cambio de casi 0.7 s más de retraso.
Un sistema digital trabaja con un periodo de muestreo \(T_s = 1\) s. Su DAC mantiene cada muestra durante un tiempo \(T_s\), es decir, \(h_1(t) = u(t) - u(t - T_s)\). Después, un filtro RC suaviza la reconstrucción; su modelo es \(h_2(t) = \frac{1}{\tau}\,e^{-t/\tau}\,u(t)\), con \(\tau = 0.5\) s.
a) Calcula \(h(t) = h_1(t) * h_2(t)\) por tramos: \(t < 0\), \(0 \leq t < T_s\) y \(t \geq T_s\).
a) Convolucionar con el pulso \(h_1\) es integrar \(h_2\) en la ventana de los últimos \(T_s\) segundos:
\[h(t) = \int_{-\infty}^{\infty} h_1(\theta)\,h_2(t - \theta)\,d\theta = \int_{t-T_s}^{t} h_2(\theta)\,d\theta\]
Como \(h_2\) es nula para \(\theta < 0\), la ventana solo cuenta a partir de \(\theta = 0\):
- \(t < 0\): la ventana está entera antes de \(0\) y \(h(t) = 0\).
- \(0 \leq t < T_s\): la ventana ha entrado solo en parte, \(\theta \in [0, t]\): \[h(t) = \int_0^t \tfrac{1}{\tau}\,e^{-\theta/\tau}\,d\theta = 1 - e^{-t/\tau} = 1 - e^{-2t}\]
- \(t \geq T_s\): la ventana entera, \(\theta \in [t - T_s, t]\): \[h(t) = e^{-(t-T_s)/\tau} - e^{-t/\tau} = \left(e^{T_s/\tau} - 1\right)e^{-t/\tau} = \left(e^{2} - 1\right)e^{-2t}\]
Los dos tramos coinciden en \(t = T_s\), donde \(h\) alcanza su máximo, \(1 - e^{-2} \approx 0.86\). El filtro convierte los saltos bruscos del pulso en una subida y una bajada exponenciales, con la misma constante de tiempo \(\tau\): el mismo razonamiento que el integrador de ventana, con una exponencial en lugar de un escalón.