Salve a tutti, la prossima settimana ho l'esame di Metodi Matematici e mi stavo esercitando sulle antitrasformate di Laplace. Ho svolto un esercizio d'esame del mio prof ma, non essendoci il risultato, ho pensato di chiedere a voi per conferma.
La traccia è la seguente: Determinare l’antitrasformata di Laplace della funzione
$ X(s) = (e^s - e^(-2s)) / ( s^3 + 8) $ , con $ Re(s) > 1 $
Ho pensato di svolgere il problema nel modo seguente:
1) SINGOLARITA'
$ s^3 + 8 = 0 $
$ s^3 = -8 = 8*(-1) = 8*(e^(jpi + j2kpi)) $
$ s_0 = 2*e^(jpi/3) = 1 + jsqrt(3) $
$ s_1 = 2*e^(jpi) = -2 $
$ s_2 = 2*e^(j*5pi/3) = 1 - jsqrt(3) $
Dunque si tratta di 3 poli semplici.
Per semplificare i calcoli ho "diviso" la funzione in questo modo: $ X(s) = e^s/(s^3 + 8) - e^(-2s) / (s^3 + 8) = Y_1(s) - Y_2(s) $
Inoltre considero una "funzione ausiliaria" $ f(s) = 1/(s^3 + 8) $ in quanto, alla fine, le antitrasformate di $ Y_1(s) $ e $ Y_2(s) $ verranno "traslate" rispettivamente di 1 e -2 a causa dei termini $ e^s $ e $ e^(-2s) $ (mi dispiace per la spiegazione confusa ma non so come spiegarlo meglio ).
2) RESIDUI (alcuni passaggi sono sottintesi per brevità)
$ Res(f*e^(st), 1 + jsqrt(3)) = lim_(s -> 1 + jsqrt(3)) e^(st) / ( (s+2)(s-(1-jsqrt(3))) ) = $ $ e^((1+jsqrt3)t) / ( (3 + jsqrt3)*j2sqrt3 ) = e^((1+jsqrt3)t) / ( 2sqrt3*(j3 - sqrt3) ) = $ $ -( sqrt3*e^((1+jsqrt3)t) ) / 72(sqrt3 + j3) $
$ Res(f*e^(st), -2) = lim_(s -> -2) e^(st) / ((s-(1+jsqrt(3))(s-(1-jsqrt(3))) ) $ $ = e^(-2t)/( ( -3 - jsqrt3 )(-3 + jsqrt3) ) $
$ = e^(-2t)/12 $
$ Res(f*e^(st), 1 - jsqrt(3)) = lim_(s -> 1 - jsqrt(3)) e^(st) / ( (s+2)(s-(1+jsqrt(3))) ) = e^((1-jsqrt3)t) / ( (3 - jsqrt3)*(-j2sqrt3) ) = e^((1-jsqrt3)t) / ( -2sqrt3*(j3 + sqrt3) ) = -( sqrt3*e^((1 - jsqrt3)t) )/72(sqrt3 - j3) $
3) ANTITRASFORMATA PT.1
Calcolo prima la somma dei residui, poi l'antitrasformata vera e propria.
$ y_1(t)' = Res(f*e^(st), 1 + jsqrt(3))+ Res(f*e^(st), -2) + Res(f*e^(st), 1 - jsqrt(3)) = - ( sqrt3*e^((1+jsqrt3)t) ) / 72(sqrt3 + j3) + e^(-2t)/12 - ( sqrt3*e^((1 - jsqrt3)t) )/72(sqrt3 - j3) = -sqrt3e^t/72( e^(jsqrt3t)(sqrt3 + j3) + e^(-jsqrt3t)(sqrt3 - j3) ) + e^(-2t)/12 = $
$ -sqrt3e^t/72( sqrt3e^(jsqrt3t) +j3e^(jsqrt3t) + sqrt3e^(-jsqrt3t) - j3e^(-jsqrt3t) ) + e^(-2t)/12 = $
$ -sqrt3e^t/36( sqrt3( e^(jsqrt3t) + e^(-sqrt3t) )/2 + j3(e^(jsqrt3t) - e^(-jsqrt3t) )/2 + e^(-2t)/12 ) = $
$ -sqrt3e^t/36( sqrt3* cos(sqrt3t) - 3*sin(sqrt3t) ) + e^(-2t)/12 = $
$ -e^t/36( 3cos(sqrt3t) - 3sqrt3sin(sqrt3t) ) + e^(-2t)/12 = $
$ -e^t/12( cos(sqrt3t) - sqrt3sin(sqrt3t) ) + e^(-2t)/12 = $
$ -e^(-2t)/12( e^(3t) cos(sqrt3t) - sqrt3e^(3t)sin(sqrt3t) - 1 ) $
Penso che il risultato sia giusto in quanto mi trovo anche Wolfram Alpha.
4) ANTITRASFORMATA PT.2
Scusate se scrivo male il simbolo della trasformata ma non sono riuscito a trovarlo.
$ y_1(t)' = [ -e^(-2t)/12( e^(3t) cos(sqrt3t) - sqrt3e^(3t)sin(sqrt3t) - 1 ) ]*u(t) $
$ y_1(t) = L^(-1)(Y_1(s)) = y_1(t+1)'$
$ y_1(t) = [ -e^(-2(t+1))/12( e^(3(t+1)) cos(sqrt3(t+1)) - sqrt3e^(3(t+1))sin(sqrt3(t+1)) - 1 ) ]*u(t+1)$
In modo simile arrivo al seguente risultato:
$ y_2(t)' = Res(f*e^(st), 1 + jsqrt(3))+ Res(f*e^(st), -2) + Res(f*e^(st), 1 - jsqrt(3)) = [ -e^(-2t)/12( e^(3t) cos(sqrt3t) - sqrt3e^(3t)sin(sqrt3t) - 1 ) ]*u(t) $
$ y_2(t) = L^(-1)(Y_2(s)) = y_2(t-2)'$
$ y_2(t) = [ -e^(-2(t-2))/12( e^(3(t-2)) cos(sqrt3(t-2)) - sqrt3e^(3(t-2))sin(sqrt3(t-2)) - 1 ) ]*u(t-2) $
Ecco dunque il risultato finale: $ x(t) = L^(-1)(X(s)) = y_1(t) - y_2(t) $
Secondo voi il procedimento da me svolto per la risoluzione del problema è corretto?
Il risultato da me trovato è giusto oppure no?