ProofComplete

Proof of the First Shifting Theorem

The first shifting theorem (or ss-shifting theorem) is one of the most useful properties of the Laplace transform, relating multiplication by an exponential in the time domain to a shift in the ss-domain.


Statement

Theorem4.12First shifting theorem

If L{f(t)}(s)=F(s)\mathcal{L}\{f(t)\}(s) = F(s) for s>Ξ±s > \alpha, then

L{eatf(t)}(s)=F(sβˆ’a)forΒ s>Ξ±+a.\mathcal{L}\{e^{at}f(t)\}(s) = F(s - a) \quad \text{for } s > \alpha + a.


Proof

Proof

By definition of the Laplace transform:

L{eatf(t)}(s)=∫0∞eβˆ’stβ‹…eatf(t) dt=∫0∞eβˆ’(sβˆ’a)tf(t) dt.\mathcal{L}\{e^{at}f(t)\}(s) = \int_0^\infty e^{-st}\cdot e^{at}f(t)\,dt = \int_0^\infty e^{-(s-a)t}f(t)\,dt.

This is precisely F(sβˆ’a)F(s - a), the Laplace transform of ff evaluated at sβˆ’as - a instead of ss. The integral converges when sβˆ’a>Ξ±s - a > \alpha, i.e., s>Ξ±+as > \alpha + a. β– \blacksquare

β– 

Applications

ExampleUsing the first shifting theorem
  1. L{e3tt2}=2!(sβˆ’3)3=2(sβˆ’3)3\mathcal{L}\{e^{3t}t^2\} = \frac{2!}{(s-3)^3} = \frac{2}{(s-3)^3} (shifting 2/s32/s^3 by a=3a = 3).

  2. L{eβˆ’tcos⁑2t}=s+1(s+1)2+4\mathcal{L}\{e^{-t}\cos 2t\} = \frac{s+1}{(s+1)^2+4} (shifting s/(s2+4)s/(s^2+4) by a=βˆ’1a = -1).

  3. L{e2tsin⁑3t}=3(sβˆ’2)2+9\mathcal{L}\{e^{2t}\sin 3t\} = \frac{3}{(s-2)^2+9} (shifting 3/(s2+9)3/(s^2+9) by a=2a = 2).

ExampleDamped harmonic oscillator

Solve yβ€²β€²+2yβ€²+5y=0y'' + 2y' + 5y = 0, y(0)=1y(0) = 1, yβ€²(0)=0y'(0) = 0.

Transform: (s2+2s+5)Y=s+2(s^2+2s+5)Y = s + 2, so Y=s+2s2+2s+5=s+2(s+1)2+4Y = \frac{s+2}{s^2+2s+5} = \frac{s+2}{(s+1)^2+4}.

Complete the square: Y=(s+1)+1(s+1)2+4=s+1(s+1)2+4+12β‹…2(s+1)2+4Y = \frac{(s+1)+1}{(s+1)^2+4} = \frac{s+1}{(s+1)^2+4} + \frac{1}{2}\cdot\frac{2}{(s+1)^2+4}.

By the first shifting theorem: y(t)=eβˆ’tcos⁑2t+12eβˆ’tsin⁑2t=eβˆ’t(cos⁑2t+12sin⁑2t)y(t) = e^{-t}\cos 2t + \frac{1}{2}e^{-t}\sin 2t = e^{-t}\left(\cos 2t + \frac{1}{2}\sin 2t\right).


The Second Shifting Theorem (Comparison)

Theorem4.13Second shifting theorem (restated)

If L{f(t)}=F(s)\mathcal{L}\{f(t)\} = F(s), then L{uc(t)f(tβˆ’c)}=eβˆ’csF(s)\mathcal{L}\{u_c(t)f(t-c)\} = e^{-cs}F(s).

RemarkComparison of shifting theorems

| | First shifting | Second shifting | |--|---------------|-----------------| | Time domain | Multiply by eate^{at} | Delay by cc and multiply by uc(t)u_c(t) | | ss-domain | Replace ss by sβˆ’as-a | Multiply by eβˆ’cse^{-cs} | | Effect | Shift in ss | Shift in tt | | Used for | Damped systems | Discontinuous inputs |

ExampleCombined shifting

Find Lβˆ’1{eβˆ’2s(sβˆ’3)2}\mathcal{L}^{-1}\left\{\frac{e^{-2s}}{(s-3)^2}\right\}.

By second shifting: this is u2(t)β‹…g(tβˆ’2)u_2(t) \cdot g(t-2) where G(s)=1/(sβˆ’3)2G(s) = 1/(s-3)^2.

By first shifting: g(t)=te3tg(t) = te^{3t}.

Therefore: f(t)=u2(t)(tβˆ’2)e3(tβˆ’2)f(t) = u_2(t)(t-2)e^{3(t-2)}.