Skip to main content
Mathematics LibreTexts

6.2: Transforms of derivatives and ODEs

  • Page ID
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    Transforms of derivatives

    Let us see how the Laplace transform is used for differential equations. First let us try to find the Laplace transform of a function that is a derivative. Suppose \(g(t)\) is a differentiable function of exponential order, that is, \(|g(t)| \leq Me^{ct}\) for some \(M\) and \(c\). So \(\mathcal{L}\{g(t)\}\) exists, and what is more, \(\lim_{t \rightarrow \infty}e^{-st}g(t)=0\) when \(s>c\). Then

    \[ \mathcal{L}\{g'(t)\}= \int_0^{\infty}e^{-st}g'(t)dt= \left[ e^{-st}g(t) \right]_{t=0}^{\infty}- \int_0^{\infty}(-s)e^{-st}g(t)dt=-g(0)+s \mathcal{L}\{g(t)\}. \nonumber \]

    We repeat this procedure for higher derivatives. The results are listed in Table \(\PageIndex{1}\). The procedure also works for piecewise smooth functions, that is functions that are piecewise continuous with a piecewise continuous derivative. The fact that the function is of exponential order is used to show that the limits appearing above exist. We will not worry much about this fact.

    Table \(\PageIndex{1}\): Laplace transforms of derivatives (\(G(s)= \mathcal{L}\{g(t)\}\) as usual).
    \(f(t)\) \(\mathcal{L}\{f(t)\}=F(s)\)
    \(g'(t)\) \(sG(s)-g(0)\)
    \(g''(t)\) \(s^2G(s)-sg(0)-g'(0)\)
    \(g'''(t)\) \(s^3G(s)-s^2g(0)-sg'(0)-g''(0)\)

    Solving ODEs with the Laplace Transform

    Notice that the Laplace transform turns differentiation into multiplication by \(s\). Let us see how to apply this fact to differential equations.

    Example \(\PageIndex{1}\)

    Take the equation

    \[ x''(t) + x(t) = \cos (2t),~~~~~~~ x(0)=0, ~~~~~~~ x'(0)=1. \nonumber \]

    We will take the Laplace transform of both sides. By \(X(s)\) we will, as usual, denote the Laplace transform of \(x(t)\).

    \[\begin{align}\begin{aligned} \mathcal{L}\{x''(t)+x(t)\} &= \mathcal{L}\{\cos(2t)\}, \\ s^2X(x)-sx(0)+x'(0)+X(s)&= \frac{s}{s^2+4}.\end{aligned}\end{align} \nonumber \]

    We plug in the initial conditions now—this makes the computations more streamlined—to obtain

    \[s^2X(s) - 1 + X(s) = \dfrac{s}{s^2+4}. \nonumber \]

    We solve for \(X(s)\),

    \[X(s) = \dfrac{s}{(s^2+1)(s^2+4)} + \dfrac{1}{s^2+1}. \nonumber \]

    We use partial fractions (exercise) to write

    \[ X(s) = \dfrac{1}{3}\dfrac{s}{s^2+1}-\dfrac{1}{3}\dfrac{s}{s^2+4} + \dfrac{1}{s^2+1}. \nonumber \]

    Now take the inverse Laplace transform to obtain

    \[ x(t) = \dfrac{1}{3}\cos (t) - \dfrac{1}{3} \cos (2t) + \sin (t). \nonumber \]

    The procedure for linear constant coefficient equations is as follows. We take an ordinary differential equation in the time variable \(t\). We apply the Laplace transform to transform the equation into an algebraic (non differential) equation in the frequency domain. All the \(x(t)\), \(x'(t)\), \(x''(t)\), and so on, will be converted to \(X(s)\), \(sX(s)-x(0)\), \(s^2X(s) - sx(0) - x'(0)\), and so on. We solve the equation for \(X(s)\). Then taking the inverse transform, if possible, we find \(x(t)\).

    It should be noted that since not every function has a Laplace transform, not every equation can be solved in this manner. Also if the equation is not a linear constant coefficient ODE, then by applying the Laplace transform we may not obtain an algebraic equation.

    Using the Heaviside Function

    Before we move on to more general equations than those we could solve before, we want to consider the Heaviside function. See Figure \(\PageIndex{1}\) for the graph.

    \[u(t)=\left\{ \begin{array}{cc} 0 & {\rm{if~}}t<0, \\ 1 & {\rm{if~}}t \geq 0. \end{array} \right. \nonumber \]

    Graph that includes the negative x-axis and the horizontal right directional ray starting at (0,1)
    Figure \(\PageIndex{1}\): Plot of the Heaviside (unit step) function \(u(t)\).

    This function is useful for putting together functions, or cutting functions off. Most commonly it is used as \(u(t-a)\) for some constant \(a\). This just shifts the graph to the right by \(a\). That is, it is a function that is 0 when \(<a\) and 1 when \(t \ge a\). Suppose for example that \(f(t)\) is a “signal” and you started receiving the signal \(\sin t\) at time \( t = \pi\). The function \(f(t)\) should then be defined as

    \[f(t)=\left\{ \begin{array}{cc} 0 & {\rm{if~}}t< \pi , \\ \sin t & {\rm{if~}}t \geq \pi . \end{array} \right. \nonumber \]

    Using the Heaviside function, \(f(t)\) can be written as

    \[ f(t) = u(t- \pi) \sin t \nonumber \]

    Similarly the step function that is \(1\) on the interval \( [1,2)\) and zero everywhere else can be written as

    \[ u(t-1) - u(t-2). \nonumber \]

    The Heaviside function is useful to define functions defined piecewise. If you want to define \(f(t)\) such that \(f(t)=t\) when \(t\) is in \([0,1]\), \(f(t) = -t +2\) when \(t\) is in \([1,2)\) and \(f(t)=0\) otherwise, you can use the expression

    \[ f(t) = t \left(u(t) -u(t-1)\right) + (-t+2) \left(u(t-1)-u(t-2) \right). \nonumber \]

    Hence it is useful to know how the Heaviside function interacts with the Laplace transform. We have already seen that

    \[ \mathcal{L} \{ u(t-a)\} = \dfrac{e^{-as}}{2}. \nonumber \]

    Shifting Property

    This can be generalized into a shifting property or second shifting property.

    \[\label{eq:14} \mathcal{L} \{ f(t-a)u(t-a) \} = e^{-as} \mathcal{L} \{ f(t) \}. \]

    Example \(\PageIndex{2}\)

    Suppose that the forcing function is not periodic. For example, suppose that we had a mass-spring system

    \[ x''(t) + x(t) = f(t), ~~~~~~ x(0) = 0,~~~~~~ x'(0) = 0, \nonumber \]

    where \(f(t)=1\) if \(1 \le t < 5\) and zero otherwise. We could imagine a mass-spring system, where a rocket is fired for 4 seconds starting at \(t=1\). Or perhaps an RLC circuit, where the voltage is raised at a constant rate for 4 seconds starting at \(t=1\), and then held steady again starting at \(t=5\).

    We can write \(f(t) = u(t-1) - u(t-5)\). We transform the equation and we plug in the initial conditions as before to obtain

    \[ s^2X(s) + X(s) = \dfrac{e^{-s}}{s}-\dfrac{e^{-5s}}{s}. \nonumber \]

    We solve for \(X(s)\) to obtain

    \[ X(s) = \dfrac{e^{-s}}{s(s^2+1)} - \dfrac{e^{-5s}}{s(s^2+1)}. \nonumber \]

    We leave it as an exercise to the reader to show that

    \[ \mathcal{L}^{-1} \left\{ \dfrac{1}{s(s^2+1)} \right\} =1 - \cos t. \nonumber \]

    In other words \(\mathcal{L}\{1-\cos t \} = \frac{1}{s(s^2+1)}\). So using \(\eqref{eq:14}\) we find

    \[ \mathcal{L}^{-1}\left\{\frac{e^{-s}}{s(s^2+1)}\right\}=\mathcal{L}^{-1}\{e^{-s}\mathcal{L}\{1-\cos t \} \}=(1-\cos(t-1))u(t-1). \nonumber \]


    \[ \mathcal{L}^{-1}\left\{\frac{e^{-5s}}{s(s^2+1)}\right\}=\mathcal{L}^{-1}\{e^{-5s}\mathcal{L}\{1-\cos t \} \}=(1-\cos(t-5))u(t-5). \nonumber \]

    Hence, the solution is

    \[ x(t) = \left( 1 - \cos (t-1) \right) u(t-1) - \left(1-\cos (t-5) \right) u(t-5). \nonumber \]

    The plot of this solution is given in Figure \(\PageIndex{2}\).

    Graph that starts on the x-axis flat and then after a bit becomes the cos curve.
    Figure \(\PageIndex{2}\): Plot of \(x(t)\).

    Transfer Functions

    Laplace transform leads to the following useful concept for studying the steady state behavior of a linear system. Suppose we have an equation of the form

    \[ Lx = f(t), \nonumber \]

    where \(L\) is a linear constant coefficient differential operator. Then \(f(t)\) is usually thought of as input of the system and \(x(t)\) is thought of as the output of the system. For example, for a mass-spring system the input is the forcing function and output is the behavior of the mass. We would like to have an convenient way to study the behavior of the system for different inputs.

    Let us suppose that all the initial conditions are zero and take the Laplace transform of the equation, we obtain the equation

    \[ A(s)X(s) = F(s). \nonumber \]

    Solving for the ratio \(\frac{X(s)}{F(s)}\) we obtain the so-called transfer function \(H(s)=\frac{1}{A(s)}\).

    \[ H(s) = \dfrac{X(s)}{F(s)} \nonumber \]

    In other words, \(X(s) = H(s)F(s)\). We obtain an algebraic dependence of the output of the system based on the input. We can now easily study the steady state behavior of the system given different inputs by simply multiplying by the transfer function.

    Example \(\PageIndex{3}\)

    Given \(x''+ \omega_0^2x=f(t)\), let us find the transfer function (assuming the initial conditions are zero).

    First, we take the Laplace transform of the equation.

    \[ s^2X(s)+\omega_0^2X(s)=F(s). \nonumber \]

    Now we solve for the transfer function \(\frac{X(s)}{F(s)}\).

    \[H(s)= \frac{X(s)}{F(s)}= \frac{1}{s^2+ \omega_0^2}. \nonumber \]

    Let us see how to use the transfer function. Suppose we have the constant input \(f(t)=1\). Hence \(F(s)=\frac{1}{s}\), and

    \[X(s)= H(s)F(s)= \frac{1}{s^2+ \omega_0^2}\frac{1}{s}. \nonumber \]

    Taking the inverse Laplace transform of \(X(s)\) we obtain

    \[x(t)=\frac{1-\cos(\omega_0 t)}{ \omega_0^2}. \nonumber \]

    Transforms of Integrals

    A feature of Laplace transforms is that it is also able to easily deal with integral equations. That is, equations in which integrals rather than derivatives of functions appear. The basic property, which can be proved by applying the definition and doing integration by parts, is

    \[ \mathcal{L} \left\{ \int_0^t f(\tau) \, d\tau \right\} = \dfrac{1}{s}F(s). \nonumber \]

    It is sometimes useful (e.g. for computing the inverse transform) to write this as

    \[ \int_0^t f(\tau) \, d\tau = \mathcal{L}^{-1} \left\{\dfrac{1}{s}F(s)\right\}. \nonumber \]

    Example \(\PageIndex{4}\)

    To compute \( \mathcal{L}^{-1} \left\{\dfrac{1}{s(s^2+1)}\right\} \) we could proceed by applying this integration rule.

    \[ \mathcal{L}^{-1} \left\{ \dfrac{1}{2} \dfrac{1}{s^2+1} \right\} = \int_0^t \mathcal{L}^{-1} \left \{ \dfrac{1}{s^2+1} \right\} = \int_0^t \sin \tau \, d\tau = 1 -\cos t. \nonumber \]

    Example \(\PageIndex{5}\)

    An equation containing an integral of the unknown function is called an integral equation. For example, take

    \[ t^2 = \int _0^t e^{\tau}x(\tau)\, d\tau \nonumber \]

    where we wish to solve for \(x(t)\). We apply the Laplace transform and the shifting property to get

    \[ \dfrac{2}{s^3} = \dfrac{1}{s} \mathcal{L} \{ e^tx(t)\} = \dfrac{1}{s}X(s-1), \nonumber \]

    where \(X(s) = \mathcal{L} \{x(t) \}\). Thus

    \[ X(s-1) = \dfrac{2}{s^2}\quad\text{or}\quad X(s) = \dfrac{2}{(s+1)^2}. \nonumber \]

    We use the shifting property again to get

    \[ x(t) = 2e^{-t}t. \nonumber \]

    This page titled 6.2: Transforms of derivatives and ODEs is shared under a CC BY-SA 4.0 license and was authored, remixed, and/or curated by Jiří Lebl via source content that was edited to the style and standards of the LibreTexts platform.

    • Was this article helpful?