Laplace Transform (Computational Methods for Mechatronics [140466]) Enrico Bertolazzi DII - Dipartimento di Ingegneria Industriale – Universit` a di Trento AA 2014/2015 Laplace Transform 1 / 31 Outline 1 La trasformata di Laplace 2 Laplace Transform properties Exponential order functions 3 Some Laplace Transform Polynomial growth Laplace Transform tk u(t) Exponential growth Laplace Transform ab t u(t) Laplace Transform of derivative and integral of a function 4 Altre propriet`a della trasformata di Laplace Asymptotic values 5 Laplace transform table 6 Laplace Transform, exercise Laplace Transform 2 / 31 La trasformata di Laplace Pierre-Simon Laplace, 1749-1827 Laplace Transform 3 / 31 La trasformata di Laplace Laplace Transform Definition f (t) → fb(s) = L {f (t)} (s) Z +∞ b f (s) = f (t)e−st dt = lim Z lim M →0+ M →+∞ − 0− f (t)e−st dt Usefulness: transform Differential equations ⇒ Algebraic equations Logarithm analogy: a → log a a · b → log a + log b i.e. logarithm convert products into additions which are easier to manipulate. Laplace Transform 4 / 31 La trasformata di Laplace Laplace Transform as a tool for ODE solution Differential equation Analytical techniques (constant variations, ...) Time response Laplace Transform Laplace Trasform Algebraic equation Algebraic techniques (lienar system, partial fraction expansion,...) Laplace Inversion Frequency response 5 / 31 Laplace Transform properties Linearity, Translation, Scale change Laplace Transform properties Table 1 Linearity a f (t) + b g(t) a fb(s) + b gb(s) 1 Scale change f (at) 1 b s f a a 2 Translation respect to s eat f (t) fb(s − a) 3 Translation respect to t f (t − a) e−as fb(s) 4 a and b are real number. Moreover a > 0 for point 2 and 4. Laplace Transform 6 / 31 Laplace Transform properties Linearity and Scale change L {af (t) + bg(t)} (s) = Z +∞ (af (t) + bg(t))e−st dt 0− Z +∞ =a f (t)e −st Z +∞ dt + b 0− g(t)e−st dt 0− = a fb(s) + b gb(s) L {f (at)} (s) = Z +∞ f (at)e−st dt Z +∞ = f (z)e−sz/a 0− = Laplace Transform [t = z/a, a > 0] 0− dz a 1 b s f a a 7 / 31 Laplace Transform properties Translation L e f (t) (s) = at Z +∞ at −st e f (t)e Z +∞ f (t)e(a−s)t dt dt = 0− 0− = fb(s − a) L {f (t − a)} (s) = Z +∞ f (t − a)e−st dz [t − a = z] f (z)e−s(z+a) dz [f (z) = 0 per z ≤ 0] 0− Z +∞ = −a =e −sa Z +∞ f (z)e−sz dz 0 = e−as fb(s) Laplace Transform 8 / 31 Laplace Transform properties Exponential order functions When Laplace transform exists? (1/3) Not all function have a Laplace Transform, for example Z +∞ n 2o 2 L et (s) = et −st dt 0− Z T e(t−s)t dt + = 0− Z +∞ e(t−s)t dt T for all possible s choose T > Re (s) so that Z +∞ e(t−s)t dt T is not convergent. Thus, the function have not a Laplace Transform for any s ∈ . C Laplace Transform 9 / 31 Laplace Transform properties Exponential order functions When Laplace transform exists? (2/3) Let be f (t) continuous with bounds: |f (t)| ≤ M eN t for t ≥ T then the function have a Laplace Transform: Z T Z +∞ −st L {f } (s) = f (t)e dt + f (t)e−st dt 0− In fact, Z +∞ Z −st f (t)e dt ≤ T T +∞ f (t)e−st dt ≤ T Z Z +∞ T +∞ = Me N t − Re(s)t e Z e(N − Re(s))t dt T +∞ T →+∞ T Laplace Transform +∞ dt = M T and for Re (s) > N hold Z lim M eN t e−st dt e(N − Re(s))t dt = 0 10 / 31 Laplace Transform properties Exponential order functions When Laplace transform exists? (3/3) Definition (Piecewise continuous function) f (t) is a piecewise continuous function if for all interval [0, T ] is discontinuous at most on a finite number of points il finitely bounded Definition (Exponential order function) f (t) is an exponential order function if is piecewise continuous with bound: |f (t)| ≤ M eN t per t ≥ T From now forward we assume the considered functions are of exponential order with piecewise continuous derivative up to the required order. Laplace Transform 11 / 31 Laplace Transform properties Exponential order functions Theorem (1) Let f (t) of exponential order, then: lim fb(s) = 0, s→∞ s∈ Proof: Assuming s real Z ∞ Z b −st f (t)e dt ≤ f (s) = 0− Z ∞ R |f (t)| e−st dt 0− ∞ ≤M e(N −s)t dt = 0− M s−N but M =0 s→+∞ s − N lim Laplace Transform 12 / 31 Some Laplace Transform Polynomial and exponential growth Polynomial and exponential growth Heaviside function ( 0 se t < 0; 1 se t ≥ 0. u(t) = Linear growth ( 0 se t < 0; t se t ≥ 0. t+ = t u(t) = Polynomial growth ( tk+ = tk u(t) = 0 se t < 0; tk se t ≥ 0. Esponenziale growth ( v(t) = abt u(t) = Laplace Transform 0 se t < 0; abt se t ≥ 0. 13 / 31 Some Laplace Transform Polynomial and exponential growth Table 2 1 1 s 5 t 1 s2 6 tk abt k! sk+1 1 s − b log a 7 8 Attention, functions on the first column shall be deemed equal to 0 for t < 0, i.e. f (t) → fb(s) or u(t)f (t) → fb(s) where u(t) is the Heaviside function. Laplace Transform 14 / 31 Some Laplace Transform Heaviside function u(t) Laplace Trasform Heaviside function ( 0 se t < 0; 1 se t ≥ 0. u(t) = Laplace Transform (assuming Re (s) > 0): Z +∞ Z −st L {u} (s) = u b(s) = u(t)e dt = 0− 1 = − e−st s Laplace Transform +∞ e−st dt 0− +∞ = 0− 1 s 15 / 31 Some Laplace Transform Linear growth Laplace Transform t u(t) Linear growth t+ = t u(t) Laplace Transform (assuming Re (s) > 0): Z +∞ Z −st c L {t+ } (s) = t+ (s) = t u(t)e dt = 0− +∞ te−st dt 0− Z t −st +∞ 1 +∞ −st = − e + e dt s s 0− 0− +∞ 1 1 = 0+ − e−st s s 0− = Laplace Transform 1 s2 16 / 31 Polynomial growth Laplace Transform tk u(t) Some Laplace Transform Polynomial growth tk+ = tk u(t) Laplace Transform (assuming Re (s) > 0): Z +∞ Z n o c k k −st k L t+ (s) = t+ (s) = t u(t)e dt = 0− = 0+ tk e−st dt 0− tk = − e−st s +∞ +∞ 0− k + s Z +∞ tk−1 e−st dt 0− k d tk−1 (s) s + 1 Using induction and noticing that tc + (s) = 2 it follows s k (s) = k! tc + sk+1 Laplace Transform 17 / 31 Exponential growth Laplace Transform ab t u(t) Some Laplace Transform Exponential growth v(t) = abt u(t) Laplace Transform (assuming Re (s) > b log a): Z +∞ Z +∞ n o bt bt −st L a (s) = a u(t)e dt = abt e−st dt 0− Z +∞ = 0− ebt log a e−st dt = 0− = = Laplace Transform Z +∞ e(b log a−s)t dt 0− 1 e(b log a−s)t (b log a − s) +∞ 0− 1 s − b log a 18 / 31 Some Laplace Transform Laplace Transform of derivative and integral of a function First derivative Laplace Transform (1/2) Theorem (First derivative Laplace Transform) Let f (t) of exponential order with piecewise continuous first derivative. The Laplace Transform of f 0 (t) becomes: L f 0 (t) (s) = sfb(s) − f (0+ ) (assuming f (t) = 0 for t ≤ 0) Proof: Let Re (s) > 0 and β > 0: Z +∞ Z +∞ f 0 (t)e−st dt = f (t)e−st β + s β +∞ f (t)e−st dt β = −f (β)e−sβ + s Z +∞ f (t)e−st dt β Laplace Transform 19 / 31 Some Laplace Transform Laplace Transform of derivative and integral of a function First derivative Laplace Transform and thus, Z Z +∞ 0 −st f (t)e dt = lim β→0 − 0 0 −st f (t)e (2/2) Z dt + − 0 f (t)e −st dt β +∞ Z = lim −f (β)e−sβ + s β→0 = −f (0+ ) + s +∞ f (t)e−st dt + 0 β Z +∞ f (t)e−st dt 0+ from f (t) = 0 for t ≤ 0 it follows 0 R0 −st dt − f (t)e L f (t) (s) = −f (0+ ) + s Laplace Transform Z +∞ = 0 and f (t)e−st dt. 0− 20 / 31 Some Laplace Transform Laplace Transform of derivative and integral of a function k-th derivative Laplace Transform Theorem (k-th derivative Laplace Transform) Let f (t) of exponential order up to k − 1-derivative and k-th derivative piecewise continuous. Then Laplace Transform of k-th derivative become: k−1 n o X (k) kb si f (k−i−1) (0+ ). L f (t) (s) = s f (s) − i=0 (assuming f (t) = 0 for t ≤ 0) Proof: Is similar to the proof for first derivative using k-times integration by part. Laplace Transform 21 / 31 Some Laplace Transform Laplace Transform of derivative and integral of a function Laplace Transform of an integral Theorem (Laplace Transform of an integral) Let f (t) piecewise continuous and g(t) defined as Z t g(t) = f (z) dz 0 Laplace transform L {g(t)} (s) = gb(s) become: 1 gb(s) = fb(s). s Proof: Apply derivation rule for the function g(t) and observe that g 0 (t) = f (t) and g(0) = 0. Laplace Transform 22 / 31 Altre propriet` a della trasformata di Laplace Asymptotic values Initial and final value Theorem (of the initial value) Let f (t) of exponential order with piecewise continuous first derivative, then: f (0+ ) = lim sfb(s) s→+∞ s∈ R Proof: From theorem 1 with f 0 (t) 0 = lim L f 0 (t) (s) = lim sfb(s) − f (0+ ) s→+∞ Laplace Transform s→+∞ 23 / 31 Altre propriet` a della trasformata di Laplace Asymptotic values Theorem (of the final value) Let f (t) of exponential order with piecewise continuous first derivative, if the limit f (+∞) = limt→+∞ f (t) exists then: f (+∞) = lim sfb(s) s→0 s∈ R Z ∞ Proof: Using Laplace Transform of f 0 (t) lim L {f 0 (t)} (s) = lim+ sfb(s) − f (0+ ) s→0+ s→0 lim L {f 0 (t)} (s) = lim s→0+ Z s→0+ Z ∞ 0− f 0 (t)e−st dt = f 0 (t) lim e−st dt 0− s→0+ ∞ = f 0 (t) dt = f (+∞) − f (0+ ) 0− Here we use Lebesgue’s dominated convergence theorem. Laplace Transform 24 / 31 Altre propriet` a della trasformata di Laplace Moltiply by tn L {tn f (t)} (s) = (−1)n dn b f (s) dsn Division by t. Let g(t) = tf (t) then from the previous formula d L {f (t)} (s) ds n o d that can be written as: ds L g(t) (s) = −b g (s) or better t L {g(t)} (s) = − L g(t) t Z (s) = − gb(s) ds + C = b h(s) Complex constant C must be chosen such that b h(s) satisfy initial and final value theorem. Obviously limt→0+ g(t)/t must exists and must be finite. Laplace Transform 25 / 31 Altre propriet` a della trasformata di Laplace Periodic function and convolution Theorem (Periodic function Laplace Transform) Let f (t + T ) = f (t) for t > 0 then RT L {f (t)} (s) = 0 f (t)e−st dt 1 − e−sT Theorem (Laplace Transform of a convolution) Let (f ? g)(t) defined as: Z t f (z)g(t − z) dz (f ? g)(t) = 0 then L {f ? g} (s) = fb(s) gb(s) Laplace Transform 26 / 31 Laplace transform table Integral and derivative transform Table 3 t Z 1b f (s) s 9 f 0 (t) sfb(s) − f (0+ ) 10 f 00 (t) s2 fb(s) − f 0 (0+ ) − sf (0+ ) 11 f (z) dz 0 dn f (t) dtn tn f (t) (f ? g)(t) Laplace Transform n s fb(s) − n−1 X sn−j−1 f (j) (0+ ) 12 dn b f (s) dsn 13 j=0 (−1)n fb(s) gb(s) 14 27 / 31 Laplace transform table Laplace Transform of some elementary functions Table 4 Laplace Transform eat cos ωt s−a (s − a)2 + ω 2 15 eat sin ωt ω (s − a)2 + ω 2 16 eat cosh ωt s−a (s − a)2 − ω 2 17 eat sinh ωt ω (s − a)2 − ω 2 18 eat tn n! (s − a)n+1 19 eαt − eβt α−β (s − α)(s − β) 20 28 / 31 Laplace Transform, exercise Periodic function Laplace Transform 0 n (0 g(t) = +1 −1 (0 h(t) = t − 2n 2n + 2 − t t<0 n≤t<n+1 t<0 2n ≤ t < 2n + 1 2n + 1 ≤ t < 2n + 2 t<0 2n ≤ t < 2n + 1 2n + 1 ≤ t < 2n + 2 f (t) = 1 2 3 4 1,0 0,9 0,8 3 0,5 0,7 0,6 2 0,5 0 1 2 3 4 0,4 t 0,3 1 K 0,2 0,5 0,1 0 0 1 2 3 4 t 1 fb(s) = s ; (e − 1) s Laplace Transform 0 K 0 1,0 es 1 −1 gb(s) = ; s es + 1 1 2 3 4 5 6 t 1 es − 1 b h(s) = 2 s s e +1 29 / 31 Laplace Transform, exercise 1 2 3 Periodic function Laplace Transform f (t) = |sin(t)| sin(t) g(t) = t h(t) = sin(t)3 1,0 1,0 1,0 0,8 0,8 0,5 0,6 0,6 0,4 0 1 0,4 2 3 4 5 6 7 8 9 t 0,2 K 0,2 0,5 0 1 0 1 2 3 4 5 6 7 t fb(s) = Laplace Transform 2 3 4 5 6 7 8 9 t 0 8 9 K 0,2 K 1,0 1 eπs + 1 ; gb(s) = arctan(s); 1 + s2 eπs − 1 6 b h(s) = 2 (s + 1)(s2 + 9) 30 / 31 Riferimenti References Joel L. Schiff The Laplace Transform, theory and applications Springer-Verlag, 1999. U. Graf Applied Laplace Transforms and z-Transforms for Scientists and Engineers Birkh¨auser, 2004. Spiegel Murray R. Laplace transforms Schaum’s outline series, 1965. Laplace Transform 31 / 31