Skip to article frontmatterSkip to article content
Site not loading correctly?

This may be due to an incorrect BASE_URL configuration. See the MyST Documentation for reference.

Laplace transforms

In this section, we will review the Laplace transform, a technique often covered in introductory differential equations courses. There are two reasons for why they are a relevant topic for controls:

  1. LTI systems are precisely the systems whose differential equations can be solved using the method of Laplace transforms. Therefore, Laplace transforms will be our main tool for solving differential equations.

  2. When dealing with control systems, it is often easier to work with the Laplace transforms of a signals rather their time-domain representations. This leads to simpler representations of LTI systems and easier manipulation of complex systems (interconnections of multiple LTI systems).

The Laplace transform

The Laplace transform is a transformation that converts a function of time f(t)f(t) into a function of “ss”, F(s)F(s). As a matter of convention, we will use lower-case letters to denote functions of time and upper-case letters to denote the corresponding Laplace transform whenever possible. The definition is given by the integral:

F(s)=0estf(t)dtF(s) = \int_0^\infty e^{-st}f(t)\,\dd t

The thing to remember is that when you perform an integral 0()dt\int_0^\infty (\dots)\,\dd t, the result no longer depends on tt. This is why the definition (1) makes sense. The tt in the right-hand side is a dummy variable. The right-hand side is only a function of ss.

Since Eq. (1) involves an infinite integral, it is possible that the integral will not converge. In fact, there will always be values of ss for which the Laplace transform is undefined. This leads us to an important concept and convention.

Example: Heaviside step function

The unit step function, also known as the Heaviside step function, named after British mathematician Oliver Heaviside, is defined below.

Applying the definition, we have:

H(s)=0estH(t)dt=0estdt=[1sest]t=0=1sH(s) = \int_0^\infty e^{-st} H(t) \,\dd t = \int_0^\infty e^{-st}\,\dd t =\left[ -\frac{1}{s}e^{-st} \right]_{t=0}^\infty = \frac{1}{s}

In the last step, we picked an ss that would make the limits finite. In this case, it means picking s>0s>0 so that limtest=0\lim_{t\to\infty} e^{-st} = 0.

Example: Simple exponential

Let’s consider f(t)=eatf(t) = e^{-at}. Applying the definition (1):

F(s)=0esteatdt=0e(a+s)tdt=[1s+ae(s+a)t]t=0=1s+aF(s) = \int_0^\infty e^{-st} e^{-at} \,\dd t = \int_0^\infty e^{-(a+s)t}\,\dd t =\left[ \frac{-1}{s+a}e^{-(s+a)t} \right]_{t=0}^\infty = \frac{1}{s+a}

Linearity of Laplace

The Laplace transform is a linear operator. The word linear means the same as in the context of systems: it satisfies additivity and homogeneity. The word operator means it is like a function, except instead of mapping numbers to numbers it maps signals to signals.

We can verify linearity by using the properties of the integral:

L{af(t)+bg(t)}=0est(af(t)+bg(t))dt=a0estf(t)dt+b0estg(t)dt=aF(s)+bG(s)\begin{aligned} \Lap\{a f(t) + b g(t)\} &= \int_0^\infty e^{-st}\bigl( a f(t) + b g(t) \bigr) \,\dd t \\ &= a \int_0^\infty e^{-st} f(t) \,\dd t + b \int_0^\infty e^{-st} g(t)\, \dd t \\ &= a F(s) + b G(s) \end{aligned}

We can use linearity to evaluate Laplace transforms of more complicated functions by breaking it up into simpler parts for which we already know the Laplace transform.

Example: More complicated exponential

Let’s consider f(t)=1a(1eat)f(t) = \frac{1}{a}(1-e^{-at}). We can split this into two parts using linearity:

f(t)=(1a)(1)+(1a)(eat)f(t) = \left(\frac{1}{a}\right) \cdot (1) + \left( -\frac{1}{a}\right) \cdot (e^{-at})

Applying linearity, we have:

F(s)=(1a)L{1}+(1a)L{eat}=(1a)1s+(1a)1s+a=1s(s+a)\begin{aligned} F(s) &= \left(\frac{1}{a}\right)\Lap\{1\} + \left( -\frac{1}{a}\right)\Lap\{ e^{-at} \} \\ &= \left(\frac{1}{a}\right) \frac{1}{s} + \left(-\frac{1}{a}\right) \frac{1}{s+a} \\ &= \frac{1}{s(s+a)} \end{aligned}

Derivatives

A key feature of Laplace transforms is how they act on derivatives of signals. We can calculate this using integration by parts.

L{f˙(t)}=0f˙(t)estdt=[f(t)est]00f(t)(s)estdt(integration by parts)=[f(t)est]0+s0f(t)estdt=f(0)+sL{f(t)}=sF(s)f(0).\begin{aligned} \Lap\{\dot f(t)\} &= \int_{0}^{\infty} \dot f(t)\,e^{-st}\,dt \\ &= \bigl[f(t)e^{-st}\bigr]_{0}^{\infty} - \int_{0}^{\infty} f(t)\,(-s)e^{-st}\,dt \qquad \textsf{(integration by parts)}\\ &= \bigl[f(t)e^{-st}\bigr]_{0}^{\infty} + s\int_{0}^{\infty} f(t)e^{-st}\,dt \\ &= -f(0) + s\,\Lap\{f(t)\} \\ &= sF(s) - f(0). \end{aligned}

We can also apply this formula recursively by noticing that

L{f¨(t)}=L{ddt(f˙(t))}=sL{f˙(t)}f˙(0).\Lap\{\ddot f(t)\}=\Lap\left\{\frac{d}{dt}\big(\dot f(t)\big)\right\} = s\,\Lap\{\dot f(t)\}-\dot f(0).

Substituting L{f˙(t)}=sF(s)f(0)\Lap\{\dot f(t)\}=sF(s)-f(0) gives

L{f¨(t)}=s2F(s)sf(0)f˙(0).\Lap\{\ddot f(t)\} = s^2F(s)-s f(0)-\dot f(0).

Continuing in this way, for n1n\ge 1,

L{f(n)(t)}=snF(s)sn1f(0)sn2f˙(0)f(n1)(0).\Lap\{f^{(n)}(t)\} = s^n F(s) - s^{n-1}f(0) - s^{n-2}\dot f(0) - \cdots - f^{(n-1)}(0).

Here, f(n)(t)f^{(n)}(t) is short-hand notation for nn time derivatives. i.e., dndtnf(t)\frac{\dd^n}{\dd t^n}f(t).

Table of Laplace transforms

We can put all our results so far into a table:

Table 1:Table of Laplace transforms

Time-domain f(t)f(t)Laplace transform F(s)=L{f(t)}F(s)=\Lap\{f(t)\}
af(t)+bg(t)a f(t) + b g(t)aF(s)+bG(s)aF(s)+bG(s)
H(t)H(t) or 11s\displaystyle \frac{1}{s}
eate^{-at}1s+a\displaystyle \frac{1}{s+a}
1a(1eat)\dfrac{1}{a}(1-e^{-at})1s(s+a)\displaystyle \frac{1}{s(s+a)}
f˙(t)\dot f(t)sF(s)f(0)\displaystyle sF(s)-f(0)
f¨(t)\ddot f(t)s2F(s)sf(0)f˙(0)\displaystyle s^2F(s)-s f(0)-\dot f(0)
f(n)(t)f^{(n)}(t)snF(s)k=0n1sn1kf(k)(0)\displaystyle s^nF(s)-\sum_{k=0}^{n-1} s^{n-1-k} f^{(k)}(0)

Solving an ODE using Laplace

If a system is LTI, the method of Laplace transforms can be used to solve the corresponding differential equations. The basic steps are:

  1. Take the Laplace transform of the ODE.

  2. Solve for the desired output Y(s)Y(s).

  3. Take the inverse Laplace transform to obtain y(t)y(t).

Example: Cruise control

We will illustrate this approach to solve a cruise control example. Consider a car with mass mm moving along a flat road with initial velocity v(0)=v0v(0) = v_0. Starting at t=0t=0, we apply a constant force fa(t)=f0f_a(t) = f_0. Assuming the drag force is proportional to velocity, so fd(t)=bv(t)f_d(t) = b v(t), find the resulting velocity v(t)v(t) for t0t\geq 0.

Free body diagram of a car with drag force f_d.

Figure 2:Free body diagram of a car with drag force fdf_d.

Substituting fd(t)=bv(t)f_d(t)=b v(t), the equation of motion is

mv˙+bv=fa,v(0)=v0.m\dot v + b v = f_a,\qquad v(0)=v_0.

Solve using the Laplace transform

Take the Laplace transform of both sides, making use of Table 1:

m(sV(s)v0)+bV(s)=F(s).m\bigl(sV(s)-v_0\bigr) + bV(s) = F(s).

Rearrange and group terms:

(ms+b)V(s)mv0=F(s).(ms+b) V(s) - m v_0 = F(s).

Solve for V(s)V(s):

V(s)=(1ms+b)F(s)+(mms+b)v0.V(s)=\left(\frac{1}{ms+b}\right)F(s) + \left(\frac{m}{ms+b}\right)v_0.

Step force input

Now substitute the constant force f0f_0 starting at t=0t=0, i.e.,

f(t)=f0H(t)    F(s)=f0s.f(t)=f_0\, H(t) \qquad\implies\qquad F(s)=\frac{f_0}{s}.

Substitute into Eq. (17) and simplify:

V(s)=1ms+bf0s+mv0ms+b=f0/ms(s+bm)+v0s+bm.V(s)=\frac{1}{ms+b}\cdot\frac{f_0}{s}+\frac{m v_0}{ms+b} =\frac{f_0/m}{s\left(s+\frac{b}{m}\right)}+\frac{v_0}{s+\frac{b}{m}}.

Using Table 1 to find the inverse transform, we obtain

v(t)=1b(1ebmt)f0zero-state response    +ebmtv01bzero-input responsev(t)=\underbrace{\frac{1}{b}\left(1-e^{-\frac{b}{m}t}\right) f_0}_{\textsf{zero-state response}} \;\;+ \underbrace{e^{-\frac{b}{m}t}\,v_0\vphantom{\frac{1}{b}}}_{\textsf{zero-input response}}

The solution naturally splits into two parts:

For our cruise control example, the zero-state response increases from zero and eventually reaches the steady state v()=f0bv(\infty)=\frac{f_0}{b}. Meanwhile, the zero-input response decays exponentially to zero. Here is what the responses look like:

Left: zero-state response (with constant input f_a(t) = f_0). Right: zero-input response (with initial state v(0)=v_0). Both for the cruise control example of .

Figure 3:Left: zero-state response (with constant input fa(t)=f0f_a(t) = f_0). Right: zero-input response (with initial state v(0)=v0v(0)=v_0). Both for the cruise control example of Figure 2.

When we sum the responses, the total v(t)v(t) will increase or decrease to asymptotically match f0b\frac{f_0}{b}, depending on whether v0v_0 is smaller or larger than f0b\frac{f_0}{b}, respectively.

Possible total responses for the cruise control example of , with different relative sizes of v_0 and \tfrac{f_0}{b}.

Figure 4:Possible total responses for the cruise control example of Figure 2, with different relative sizes of v0v_0 and f0b\tfrac{f_0}{b}.


Test your knowledge

Solution to Exercise 1 #

The function has two nonzero pieces. Specifically,

f(t)={0,t<01,0t<12t,1t<20,t0f(t) = \begin{cases} 0, & t < 0 \\ 1, & 0 \leq t < 1 \\ 2-t, & 1 \leq t < 2 \\ 0, & t\geq 0 \end{cases}

Evaluating the Laplace transform, we obtain:

F(s)=L{f}(s)=0f(t)estdt=01estdt  +  12(2t)estdt.\begin{aligned} F(s) &= \Lap\{f\}(s) = \int_{0}^{\infty} f(t)e^{-st}\,\dd t \\ &= \int_{0}^{1} e^{-st}\,\dd t \;+\; \int_{1}^{2} (2-t)e^{-st}\,\dd t. \end{aligned}

The first integral is

01estdt=[1sest]01=1ess.\int_{0}^{1} e^{-st}\,\dd t = \left[-\frac{1}{s}e^{-st}\right]_{0}^{1} = \frac{1-e^{-s}}{s}.

For the second integral, use integration by parts with

u=2t,dv=estdt,    du=dt,v=1sest.u = 2-t,\quad \dd v = e^{-st}\,\dd t, \quad\implies\quad \dd u = -\dd t,\quad v = -\frac{1}{s}e^{-st}.

Then

12(2t)estdt=[uv]1212vdu=[2tsest]1212(1sest)(dt)=[2tsest]121s12estdt=[2tsest]121s[1sest]12=ess+e2sess2.\begin{aligned} \int_{1}^{2} (2-t)e^{-st}\,\dd t &= \Big[uv\Big]_{1}^{2} - \int_{1}^{2} v\,\dd u \\ &= \left[-\frac{2-t}{s}e^{-st}\right]_{1}^{2} - \int_{1}^{2}\left(-\frac{1}{s}e^{-st}\right)(-\dd t) \\ &= \left[-\frac{2-t}{s}e^{-st}\right]_{1}^{2} - \frac{1}{s}\int_{1}^{2} e^{-st}\,\dd t \\ &= \left[-\frac{2-t}{s}e^{-st}\right]_{1}^{2} - \frac{1}{s}\left[-\frac{1}{s}e^{-st}\right]_{1}^{2} \\ &= \frac{e^{-s}}{s} + \frac{e^{-2s}-e^{-s}}{s^{2}}. \end{aligned}

Putting the pieces together,

F(s)=1ess  +  (ess+e2sess2)=1s+e2sess2.\begin{aligned} F(s) &= \frac{1-e^{-s}}{s} \;+\; \left(\frac{e^{-s}}{s} + \frac{e^{-2s}-e^{-s}}{s^{2}}\right) \\ &= \frac{1}{s} + \frac{e^{-2s}-e^{-s}}{s^{2}}. \end{aligned}

Therefore,

F(s)=1s+e2sess2\boxed{F(s) = \frac{1}{s} + \frac{e^{-2s}-e^{-s}}{s^{2}}}