Laplace transform II - The inverse Laplace transform

When dealing with the Fourier transform, the inverse transform had a simple integral formula almost identical to the Fourier transform itself:

(Fβˆ’1F)(t)=βˆ«βˆ’βˆžβˆžF(s)e2Ο€itsds.

As a result of this close relationship between F and Fβˆ’1, we had handy properties like Fβˆ’1F=FFβˆ’, which allowed us the option of doing every calculation exclusively with the forward transform.

Unfortunately, our tinkering with the transform has broken this perfect symmetry, and it turns out that the inverse Laplace transform is given by a complex contour integral, specifically

(Lβˆ’1F)(t)=12Ο€i∫γF(s)estdt,

where Ξ³ is any vertical line in the part of the complex plane to the right of all singularities of F(s) (and where F(s) is bounded). (Note that this integral at least makes it clear the inverse Laplace transform is still a linear operator.)

It's not a total catastrophe, but for our purposes here it effectively means there's no longer an integral formula for the inverse transform. Instead, we'll treat inverse Laplace transforms much like we treat antiderivatives: as formulas that must be deduced (or reverse-engineered) from forward transform formulas.

The "Fab Four" inverse Laplace transforms


Let's now recall each of our "Fab Four" Laplace transforms and then reverse them to give inverse Laplace transform formulas.

The inverse rule for powers

Starting with the power rule L(tn)=n!sn+1, we can immediately deduce that

Lβˆ’1(n!sn+1)=tn.

We can make this more practically useful by first using linearity to rewrite this as

Lβˆ’1(1sn+1)=tnn!.

Let's now relabel the power of s by m (so that m=n+1), and our final formula is

Lβˆ’1(1sm)=tmβˆ’1(mβˆ’1)!.

Of course, this formula is only valid for integers mβ‰₯1.

The inverse rule for the exponential function

This one is super easy. The forward Laplace formula is L(eat)=1sβˆ’a. The inverse Laplace formula is therefore

Lβˆ’1(1sβˆ’a)=eat.

The inverse rule for sine

This one isn't too bad. The forward Laplace formula is L(sin⁑(bt))=bs2+b2. This immediately gives the formula

Lβˆ’1(bs2+b2)=sin⁑(bt).

Using linearity, we can rewrite this in the slightly more useful form

Lβˆ’1(1s2+b2)=1bsin⁑(bt).

The inverse rule for cosine

This one is again immediate. From the Laplace formula L(cos⁑(bt))=ss2+b2, we immediately obtain the inverse Laplace formula

Lβˆ’1(ss2+b2)=cos⁑(bt).

So, in summary we have:

The "Fab Four" inverse Laplace formulas

  1. Lβˆ’1(1sm)=tmβˆ’1(mβˆ’1)! for mβ‰₯1
  2. Lβˆ’1(1sβˆ’a)=eat
  3. Lβˆ’1(1s2+b2)=1bsin⁑(bt)
  4. Lβˆ’1(ss2+b2)=cos⁑(bt)

Examples


An easy example

If F(s) is a linear combination of the types of functions in the "Fab Four", then computing the inverse Laplace transform is easy. For example, if

F(s)=βˆ’1s+2s3βˆ’1s2+4+2ss2+9,

then we can instantly compute

Lβˆ’1F=βˆ’Lβˆ’1(1s)+2Lβˆ’1(1s3)βˆ’Lβˆ’1(1s2+4)+2Lβˆ’1(ss2+9)=βˆ’1+2t22βˆ’12sin⁑(2t)+2cos⁑(3t)=βˆ’1+t2βˆ’12sin⁑(2t)+2cos⁑(3t).

A sneakier example

Suppose we wanted/needed to compute the Laplace transform of the function

F(s)=3s+2s2βˆ’3s+2.

This function does not look like a linear combination of the types of functions in the "Fab Four" list, so we need to do some algebraic work first to rewrite F(s) in a different way. In fact, we're going to use the same technique used to compute an antiderivative of this function, namely partial fractions decomposition. In this case, with a little effort we can compute

F(s)=3s+2(sβˆ’1)(sβˆ’2)=βˆ’5sβˆ’1+8sβˆ’2=βˆ’5β‹…1sβˆ’1+8β‹…1sβˆ’2.

Now we can immediately deduce

Lβˆ’1F=βˆ’5Lβˆ’1(1sβˆ’1)+8Lβˆ’1(1sβˆ’2)=βˆ’5e1β‹…t+8e2β‹…t.

Suggested next notes


Laplace transform III - The Shifting Theorems