Esercizio 25equazione alle differenze e trasformata Z (tema d'esame 2024)
In questa pagina 4
Testo (tema d'esame 2024, secondo appello, esercizio 3, 7 punti). Dato il sistema LTI causale descritto dall'equazione alle differenze
- determinare ;
- dire se il sistema è BIBO stabile;
- trovare la risposta forzata all'ingresso .
Teoria usata: Trasformata Z ed equazioni alle differenzeLa trasformata Z, $X(z)=\sum x(n)z^{-n}$, è la versione discreta di Laplace (la TFtd è $X(e^{j\omega})$). Un sistema descritto da un'equazione alle differenze $\sum a_ky(n-k)=\sum b_kx(n-k)$ ha $H(z)=\frac{\sum b_kz^{-k}}{\sum a_kz^{-k}}$ ed è BIBO stabile (se causale) quando tutti i poli stanno dentro il cerchio unitario, $|p|<1$. Cenni.Trasformata Z ed equazioni alle differenze →, Trasformata di Fourier a tempo discreto (TFtd)La TFtd di una sequenza è $X(\omega)=\sum_nx(n)e^{-j\omega n}$, funzione continua e periodica di periodo $2\pi$; si inverte con $x(n)=\frac1{2\pi}\int_{-\pi}^{\pi}X(\omega)e^{j\omega n}d\omega$. Ha le stesse proprietà della TF continua (la convoluzione diventa prodotto, $n,x(n)\leftrightarrow jX'$). È la risposta in frequenza dei sistemi discreti; con la TFD e lo zero-padding se ne ottengono campioni arbitrariamente fitti.Trasformata di Fourier a tempo discreto (TFtd) →, Causalità, stabilità e connessioni dei sistemi LTIPer un sistema LTI le proprietà si leggono sulla risposta impulsiva $h$: causale se $h$ è nulla per $t<0$; reale se $h$ è reale; statico se $h=K\delta$; BIBO stabile se e solo se $h$ è assolutamente integrabile (sommabile nel discreto). Serie e parallelo corrispondono a $h_1*h_2$ e $h_1+h_2$.Causalità, stabilità e connessioni dei sistemi LTI →.
(1) La funzione di trasferimento
Con stato iniziale nullo si trasforma l'equazione con la regola del ritardo (, Trasformata Z ed equazioni alle differenzeLa trasformata Z, $X(z)=\sum x(n)z^{-n}$, è la versione discreta di Laplace (la TFtd è $X(e^{j\omega})$). Un sistema descritto da un'equazione alle differenze $\sum a_ky(n-k)=\sum b_kx(n-k)$ ha $H(z)=\frac{\sum b_kz^{-k}}{\sum a_kz^{-k}}$ ed è BIBO stabile (se causale) quando tutti i poli stanno dentro il cerchio unitario, $|p|<1$. Cenni.Trasformata Z ed equazioni alle differenze →): Si fattorizza il denominatore con : , cioè (I coefficienti sono quelli dell'equazione: per e per .)
(2) Stabilità
I poli si trovano risolvendo , cioè : e (nelle potenze di : con il numeratore ). Il sistema è causale, quindi è BIBO stabile se e solo se tutti i poli hanno modulo strettamente minore di . Qui : i poli sono sul cerchio unitario. Non c'è cancellazione ( si annulla per ). Quindi il sistema non è BIBO stabile. (Nel dominio del tempo: i modi sono e , non sommabili; un ingresso limitato può dare un'uscita illimitata, come mostra il punto 3.)
(3) La risposta forzata all'ingresso
Trasformata dell'ingresso. con : (ROC ).
Uscita (stato nullo). Il polo raddoppia: compare sia in sia in (l'ingresso eccita un modo del sistema, risonanza discreta).
Fratti semplici in : .
- (polo semplice in ): .
- (coefficiente del polo doppio): .
- : si valuta l'identità in : .
Quindi . Le trasformate inverse sono: ; ; (dalla regola , che si ricava dalla convoluzione ). Allora Primi valori: per
Verifica con la ricorsione. Dall'equazione con stato nullo e : ; ; ; ; : coincidono con la formula (; ; ; ; ). Il termine cresce linearmente in modulo: un ingresso limitato () dà un'uscita illimitata, conferma dell'instabilità del punto 2.
Errori comuni
- Dire che il sistema è stabile perché i poli sono "sul bordo": serve strettamente.
- Calcolare i poli come radici di senza accorgersi che sono (modulo ).
- Dimenticare il termine per il polo doppio e quindi il fattore .
- Calcolare con un limite diretto (non funziona per il polo doppio): conviene valutare l'identità in un punto o confrontare i comportamenti per .
Versione ripasso
Testo. , causale: ; stabilità; risposta forzata a (2024, secondo appello).
- (Trasformata Z ed equazioni alle differenzeLa trasformata Z, $X(z)=\sum x(n)z^{-n}$, è la versione discreta di Laplace (la TFtd è $X(e^{j\omega})$). Un sistema descritto da un'equazione alle differenze $\sum a_ky(n-k)=\sum b_kx(n-k)$ ha $H(z)=\frac{\sum b_kz^{-k}}{\sum a_kz^{-k}}$ ed è BIBO stabile (se causale) quando tutti i poli stanno dentro il cerchio unitario, $|p|<1$. Cenni.Trasformata Z ed equazioni alle differenze →): .
- Stabilità: poli (modulo ): non stabile.
- Forzata: ; (, , da ): (); ricorsione verificata. Cresce : ingresso limitato, uscita illimitata (risonanza).
- Errori: poli sul cerchio stabile; polo doppio; con limite diretto.