Professional Documents
Culture Documents
Proof:
We know that 𝐿[𝑓 ′ (𝑡)] = 𝑠 𝐿[𝑓(𝑡)] − 𝑓(0)
= 𝑠𝐹 (𝑠) − 𝑓(0)
∴ 𝑠𝐹 (𝑠) = 𝐿[𝑓 ′ (𝑡)] + 𝑓(0)
∞
= ∫0 𝑒 −𝑠𝑡 𝑓 ′ (𝑡)𝑑𝑡 + 𝑓(0)
Taking limit as 𝑠 → ∞ on both sides, we have
∞
lim 𝑠𝐹(𝑠) = lim [∫0 𝑒 −𝑠𝑡 𝑓 ′ (𝑡)𝑑𝑡 + 𝑓(0)]
𝑠→∞ 𝑠→∞
∞
= lim [∫0 𝑒 −𝑠𝑡 𝑓 ′ (𝑡)𝑑𝑡] + 𝑓(0)
𝑠→∞
∞
= ∫0 lim [𝑒 −𝑠𝑡 𝑓 ′ (𝑡)]𝑑𝑡 + 𝑓(0)
𝑠→∞
= 0 + 𝑓(0) ∵ 𝑒 −∞ = 0
= 𝑓(0)
= lim𝑓(𝑡)
𝑡→0
Proof:
We know that 𝐿[𝑓 ′ (𝑡)] = 𝑠 𝐿[𝑓(𝑡)] − 𝑓(0)
= 𝑠𝐹 (𝑠) − 𝑓(0)
∴ 𝑠𝐹 (𝑠) = 𝐿[𝑓 ′ (𝑡)] + 𝑓(0)
∞
= ∫0 𝑒 −𝑠𝑡 𝑓 ′ (𝑡)𝑑𝑡 + 𝑓(0)
Taking limit as 𝑠 → 0 on both sides, we have
∞
lim𝑠𝐹(𝑠) = lim[∫0 𝑒 −𝑠𝑡 𝑓 ′ (𝑡)𝑑𝑡 + 𝑓(0)]
𝑠→0 𝑠→0
∞
= lim[∫0 𝑒 −𝑠𝑡 𝑓 ′ (𝑡)𝑑𝑡] + 𝑓(0)
𝑠→0
∞
= ∫0 lim[𝑒 −𝑠𝑡 𝑓 ′ (𝑡)]𝑑𝑡 + 𝑓(0)
𝑠→0
∞
= ∫0 𝑓 ′ (𝑡)𝑑𝑡 + 𝑓(0)
= [𝑓(𝑡)]∞
0 + 𝑓(0)
Example: Verify the initial value theorem for the function 𝒇(𝒕) = 𝒂𝒆−𝒃𝒕
Solution:
Given 𝑓(𝑡) = 𝑎𝑒 −𝑏𝑡
𝐹(𝑠) = 𝐿[𝑓(𝑡)]
= 𝐿[𝑎𝑒 −𝑏𝑡 ]
1
=𝑎 𝑠+𝑏
𝑎𝑠
𝑠𝐹(𝑠) = 𝑠+𝑏
= 𝑎 ⋯ ⋯ ⋯ (1)
𝑎𝑠
lim 𝑠𝐹 (𝑠) = lim [𝑠+𝑏]
𝑠→∞ 𝑠→∞
𝑎𝑠 𝑎
= lim [ 𝑏 ] == lim [ 𝑏 ]
𝑠→∞ 𝑠(1+ ) 𝑠→∞ (1+ )
𝑠 𝑠
= 𝑎 ⋯ ⋯ ⋯ (2)
From (1) and (2), lim𝑓(𝑡) = lim 𝑠𝐹(𝑠)
𝑡→0 𝑠→∞
1 1 𝑠+1
= 𝑠 + (𝑠+1)2 +1 + (𝑠+1)2 +1
1 1 𝑠+1
𝐹(𝑠) = 𝑠 + 𝑠 2+2𝑠+2 + 𝑠 2+2𝑠+2
𝑠 𝑠 2+𝑠
𝑠𝐹(𝑠) = 1 + 𝑠 2+2𝑠+2 + 𝑠 2+2𝑠+2
= 1 + 0 + 1 = 2 ⋯ ⋯ ⋯ (1)
𝑠 𝑠 2+𝑠
lim 𝑠𝐹(𝑠) = lim [1 + 𝑠 2+2𝑠+2 + 𝑠 2 +2𝑠+2]
𝑠→∞ 𝑠→∞
1
1 (1+ )
𝑠
= 1 + lim [ 2 2 + 2 2 ]
𝑠→∞ 𝑠(1+ 𝑠 + 2 ) (1+ + 2 )
𝑠 𝑠
𝑠
= 1 + 0 + 1 = 2 ⋯ ⋯ ⋯ (2)
From (1) and (2), lim𝑓(𝑡) = lim 𝑠𝐹(𝑠)
𝑡→0 𝑠→∞
= 1 + 0 = 1 ⋯ ⋯ ⋯ (3)
𝑠 𝑠 2 +𝑠
lim𝑠𝐹(𝑠) = lim [1 + + ]
𝑠→0 𝑠→0 𝑠 2+2𝑠+2 𝑠 2+2𝑠+2
= 1 + 0 + 0 = 1 ⋯ ⋯ ⋯ (4)
From (3) and (4), lim 𝑓(𝑡) = lim𝑠𝐹(𝑠)
𝑡→∞ 𝑠→0
Solution:
1
Given 𝑓(𝑡) = 𝐿−1 [ ] ⋯ (1)
𝑠(𝑠+2)2
𝑡 1 𝑡 1
= ∫0 𝐿−1 [(𝑠+2)2] 𝑑𝑡 = ∫0 𝑒 −2𝑡 𝐿−1 [𝑠 2] 𝑑𝑡
𝑡
= ∫0 𝑒 −2𝑡 𝑡 𝑑𝑡
𝑡
= ∫0 𝑡𝑒 −2𝑡 𝑑𝑡
𝑡
𝑒 −2𝑡 (1)𝑒 −2𝑡
= [𝑡 ( )− (−2)2
]
−2 0
𝑒 −2𝑡 𝑒 −2𝑡 1
= −𝑡 − −0+4
2 4
1 𝑡𝑒 −2𝑡 𝑒 −2𝑡
∴ 𝑓 (𝑡 ) = 4 − −
2 4
1
From (1), 𝐹 (𝑠) = 𝑠(𝑠+2)2
1
𝑠𝐹 (𝑠) = (𝑠+2)2
1 𝑡𝑒 −2𝑡 𝑒 −2𝑡
lim𝑓(𝑡) = lim [4 − − ]
𝑡→0 𝑡→0 2 4
1 1
=4−0−4=0
∴ lim𝑓(𝑡) = 0 ⋯ (2)
𝑡→0
1
lim 𝑠𝐹 (𝑠) = lim =0
𝑠→∞ 𝑠→∞ (𝑠+2)2
2! 1 1
= [𝑠 3 + 4 𝑠 2 + 4 𝑠 ]
𝑠→𝑠+1
2 1 1
= (𝑠+1)3 + 4 (𝑠+1)2 + 4 𝑠+1
2𝑠 4𝑠 4𝑠
𝑠𝐹 (𝑠) = (𝑠+1)3 + (𝑠+1)2 + 𝑠+1
= 4 ⋯ (1)
2𝑠 4𝑠 4𝑠
lim 𝑠𝐹(𝑠) = lim [(𝑠+1)3 + (𝑠+1)2 + 𝑠+1]
𝑠→∞ 𝑠→∞
2𝑠 4𝑠 4𝑠
= lim [ 1 3
+ 1 2
+ 1 ]
𝑠→∞ 𝑠 3(1+ ) 𝑠 2(1+ ) 𝑠(1+ )
𝑠 𝑠 𝑠
2 4 4
= lim [ 3 + 1 2
+ 1 ]
𝑠→∞ 𝑠 2(1+1) 𝑠(1+ ) (1+ )
𝑠
𝑠 𝑠
= 0+0+4
= 4 ⋯ (2)
From (1) and (2), lim𝑓(𝑡) = lim 𝑠𝐹(𝑠)
𝑡→0 𝑠→∞
= 0 ⋯ (3)
2𝑠 4𝑠 4𝑠
lim𝑠𝐹(𝑠) = lim [(𝑠+1)3 + (𝑠+1)2 + 𝑠+1]
𝑠→0 𝑠→0
= 0 ⋯ (4)
From (3) and (4), lim 𝑓(𝑡) = lim𝑠𝐹(𝑠)
𝑡→∞ 𝑠→0