Laplace per i modelli I-O - fratti semplici e risposta del sistema
In questa pagina 6
Questa nota raccoglie gli strumenti di calcolo usati in tutto il corso: dalla trasformata di Laplace al segnale nel tempo. La teoria generale della trasformata è in Trasformata di Laplace - definizione e regione di convergenzaLa trasformata di Laplace (bilatera) $X(s)=\int x(t)e^{-st}dt$, con $s=\sigma+j\omega$, generalizza la TF a segnali che non stanno in $L^1$. Esiste solo nella regione di convergenza (ROC), una striscia verticale ${\sigma_1<\mathrm{Re},s<\sigma_2}$ (semipiano destro se il segnale è causale, sinistro se anticausale): la stessa espressione di $X(s)$ con ROC diverse corrisponde a segnali diversi. La TF è $X(s)$ calcolata sull'asse immaginario, se questo sta nella ROC.Trasformata di Laplace - definizione e regione di convergenza → e Proprietà della trasformata di LaplaceLe proprietà della trasformata di Laplace ricalcano quelle di Fourier: linearità, ritardo $\to e^{-st_0}$, modulazione esponenziale $e^{s_0t}x\to X(s-s_0)$, derivata nel tempo $\to sX$, moltiplicazione per $t\to-X'(s)$, integrazione $\to X/s$, convoluzione $\to$ prodotto. Ogni regola dice anche come cambia la ROC.Proprietà della trasformata di Laplace →; il metodo dei fratti semplici è sviluppato in Antitrasformata di Laplace di funzioni razionaliPer antitrasformare una funzione razionale $X(s)=b(s)/a(s)$ si porta in forma propria con la divisione tra polinomi (resto $\to$ $\delta$ e derivate), si scompone in fratti semplici con il metodo dei limiti (poli semplici), con i termini in $1/(s-p)^k$ (poli multipli) o con $\frac{A(s-\sigma)+B\omega}{(s-\sigma)^2+\omega^2}$ (coppie complesse), e si antitrasforma termine a termine scegliendo causale o anticausale secondo la ROC.Antitrasformata di Laplace di funzioni razionali →. Qui si fissano solo le formule che servono e si applicano a modelli I/O.
Le trasformate che servono
Tutti i segnali sono causali (nulli per ): si scrive per il gradino unitario e per l'impulso.
| Segnale , | |
|---|---|
| (rampa, parabola per ) | |
Regole: linearità; derivata con condizioni iniziali , ; traslazione in : . I segnali canonici hanno trasformata : , , .
Risposta di un modello I/O
Per l'equazione con ingresso causale e condizioni iniziali date, la trasformata dell'uscita è dove è un polinomio di grado i cui coefficienti dipendono dalle condizioni iniziali (Laplace unilatera, funzione di trasferimento e stabilitàCon la trasformata unilatera $X(s)=\int_{0^-}^\infty x(t)e^{-st}dt$ le derivate diventano $\mathcal L[y']=sY-y(0^-)$: un problema di Cauchy causale si riduce a un'equazione algebrica, $Y=\frac{b}{a}X+\frac{\text{termini iniziali}}{a}$ (forzata + libera). La funzione di trasferimento è $H(s)=b(s)/a(s)$; il sistema causale è BIBO stabile se e solo se $H$ è propria e tutti i poli hanno parte reale negativa.Laplace unilatera, funzione di trasferimento e stabilità →). Il denominatore dell'evoluzione libera è sempre ; quello della forzata è per i poli del sistema più i poli dell'ingresso. Dopo aver sommato, la decomposizione in fratti sempliciscrittura di una funzione razionale come somma di termini con denominatore di grado 1 (o 2 per i poli complessi) separa i modi del sistema (poli di ) dai modi dell'ingresso.
Decomposizione in fratti semplici
Se è strettamente propria si scrive come somma di termini . Tre casi:
Poli reali distinti. con (metodo dei limitisi moltiplica Y per il fattore (s−p) e si calcola il resto in s=p: si copre il fattore e si valuta il resto in ).
Esempio. (gradino all'ingresso di ): , , . Quindi con e (perché ha grado relativo : per grande).
Poli multipli. Per un polo di molteplicità servono termini con Esempio. : , . Dunque . Controllo: , ✓.
Poli complessi coniugati. Il termine corrispondente alla coppia si scrive e si porta in forma "riconoscibile" riscrivendo il numeratore come : Esempio. . Il polo dà ; il resto è (si trova imponendo l'uguaglianza dei numeratori). Con , : , quindi Controllo: ✓ e ✓ (grado relativo : , quindi e ).
Se è solo propria (grado numeratore = grado denominatore) si estrae prima una costante: la parte costante corrisponde a un impulso .
Esempio completo con condizioni iniziali
, , , . Trasformando: , quindi Libera: . Forzata: . Somma: Controllo: ✓, ✓ (verificata con la risoluzione simbolica).
Teorema del valore finale e iniziale
- Valore iniziale: .
- Valore finale (versione "forte"): se tutti i poli di hanno parte reale negativa (ossia ammette limite finito), allora . Se questa ipotesi non vale il limite del secondo membro può esistere pur senza che abbia limite: per , ma oscilla.
Errori comuni
- Dimenticare le condizioni iniziali (e quindi la parte libera) quando l'enunciato non dice "condizioni iniziali nulle".
- Nei poli complessi, antitrasformare come se il numeratore fosse : serve il termine del seno.
- Applicare il valore finale senza controllare che abbia poli in (con poli immaginari o instabili il teorema non vale).
- Nei poli multipli, scrivere un solo termine : servono tutti i termini.
Versione ripasso
- Tabella: ; ; ; ; . Derivata: .
- Uscita: (forzata + libera), denominatore di = (Laplace unilatera, funzione di trasferimento e stabilitàCon la trasformata unilatera $X(s)=\int_{0^-}^\infty x(t)e^{-st}dt$ le derivate diventano $\mathcal L[y']=sY-y(0^-)$: un problema di Cauchy causale si riduce a un'equazione algebrica, $Y=\frac{b}{a}X+\frac{\text{termini iniziali}}{a}$ (forzata + libera). La funzione di trasferimento è $H(s)=b(s)/a(s)$; il sistema causale è BIBO stabile se e solo se $H$ è propria e tutti i poli hanno parte reale negativa.Laplace unilatera, funzione di trasferimento e stabilità →).
- Fratti semplici (Antitrasformata di Laplace di funzioni razionaliPer antitrasformare una funzione razionale $X(s)=b(s)/a(s)$ si porta in forma propria con la divisione tra polinomi (resto $\to$ $\delta$ e derivate), si scompone in fratti semplici con il metodo dei limiti (poli semplici), con i termini in $1/(s-p)^k$ (poli multipli) o con $\frac{A(s-\sigma)+B\omega}{(s-\sigma)^2+\omega^2}$ (coppie complesse), e si antitrasforma termine a termine scegliendo causale o anticausale secondo la ROC.Antitrasformata di Laplace di funzioni razionali →): reali distinti ; molteplice ; complessi .
- Esempi: ; ; ; , : .
- Valore finale (forte): se ha poli con , ; iniziale .
- Errori: cond. iniziali dimenticate, omesso, valore finale con poli immaginari, un solo termine per polo multiplo.