Skip to main content
Mathematics LibreTexts

9.4: The First Shifting Theorem

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

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

    \( \newcommand{\dsum}{\displaystyle\sum\limits} \)

    \( \newcommand{\dint}{\displaystyle\int\limits} \)

    \( \newcommand{\dlim}{\displaystyle\lim\limits} \)

    \( \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{\longvect}{\overrightarrow}\)

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

    \(\newcommand{\ket}[1]{\left| #1 \right>}\)
    \(\newcommand{\bra}[1]{\left< #1 \right|}\)
    \(\newcommand{\braket}[2]{\left< #1 \vphantom{#2} \right| \left. #2 \vphantom{#1} \right>}\)
    \(\newcommand{\braopket}[3]{\left< #1 \vphantom{#2}\vphantom{#3} \right| #2 \vphantom{#1}\vphantom{#3} \left| #3 \vphantom{#1}\vphantom{#2} \right>}\)
    \(\newcommand{\qmvec}[1]{\mathbf{\vec{#1}}}\)
    \(\newcommand{\op}[1]{\hat{\mathbf{#1}}}\)
    \(\newcommand{\expect}[1]{\langle #1 \rangle}\)
    \(\newcommand{\dfn}[1]{\emph{\textbf{#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}\)

    In this section we look at theorems that will allow us to take transforms of more varied functions, which will allow us to solve more varied initial value problems as well.

    Theorem 9.4.1 First Shifting Theorem

    If

    \[\label{eq:8.1.10} {\cal L}(f(t))=F(s)\]

    then

    \[\label{eq:8.1.11}{\cal L}(e^{at}f(t))=F(s-a).\]

    Proof

    \[{\cal L}(e^{at}f(t))=\int_0^\infty e^{-st}e^{at}f(t)dt=\int_0^\infty e^{-(s-a)t}f(t)dt=F(s-a)\nonumber\]

    Example 9.4.1

    Find \({\cal L}(t^3e^{4t})\).

    Solution

    We know \(\cal L (t^n)={n!\over s^{n+1}}\).

    Setting \(n=3\) in the above and \(a=4\) in the First Shifting Theorem yields

    \[\cal L (t^3e^{4t})={3!\over(s-4)^4}={6\over(s-4)^4}.\nonumber\]

    Example 9.4.2

    Find \({\cal L}(e^{7t}\cosh 2t)\).

    Solution

    We know \(\cal L \cosh bt={s\over s^2-b^2}\).

    Setting \(b=2\) in the above and \(a=7\) in the First Shifting Theorem yields

    \[{\cal L}(e^{7t}\cosh 2t)={s-7\over(s-7)^2-4}.\nonumber\]

    Example 9.4.3

    Find

    \[{\cal L}^{-1}\left({3s+8\over s^2+2s+5}\right).\nonumber\]

    Solution

    Completing the square in the denominator yields

    \[{3s+8\over s^2+2s+5}={3s+8\over(s+1)^2+4}.\nonumber\]

    So,

    \[\begin{aligned} {\cal L}^{-1}\left({3s+8\over(s+1)^2+4}\right)&= {\cal L}^{-1}\left({3s+3\over(s+1)^2+4}\right)+ {\cal L}^{-1}\left({5\over(s+1)^2+4}\right)\\&= 3{\cal L}^{-1}\left({s+1\over(s+1)^2+4}\right)+ {5\over2}{\cal L}^{-1}\left({2\over(s+1)^2+4}\right)\\&= e^{-t}(3\cos 2t+{5\over2}\sin 2t).\end{aligned}\nonumber\]

    Example 9.4.4

    Find

    \[{\cal L}^{-1}\left({8-(s+2)(4s+10)\over(s+1)(s+2)^2}\right).\]

    Solution

    The form for the partial fraction expansion is

    \[\left({8-(s+2)(4s+10)\over(s+1)(s+2)^2}\right)={A\over s+1}+{B\over s+2}+{C\over(s+2)^2}.\nonumber\]

    Partial fraction decomposition yields

    \[\left({8-(s+2)(4s+10)\over(s+1)(s+2)^2}\right)={2\over s+1}-{6\over s+2}-{8\over(s+2)^2} \nonumber\]

    giving us

    \[\begin{aligned} {\cal L}^{-1}\left({8-(s+2)(4s+10)\over(s+1)(s+2)^2}\right)&= 2{\cal L}^{-1}\left(1\over s+1\right)-6{\cal L}^{-1}\left(1\over s+2\right)-8{\cal L}^{-1}\left(1\over(s+2)^2\right)\\ &=2e^{-t}-6e^{-2t}-8te^{-2t}.\end{aligned}\nonumber\]

    Example 9.4.5

    Find 

    \[{\cal L}^{-1}\left({s^2-5s+7\over(s+2)^3}\right). \nonumber\]

    Solution

    The form for the partial fraction expansion is

    \[{s^2-5s+7\over(s+2)^3}={A\over s+2}+{B\over(s+2)^2}+{C\over(s+2)^3}. \nonumber\]

    The easiest way to obtain \(A\), \(B\), and \(C\) is to expand the numerator in powers of \(s+2\). This yields

    \[s^2-5s+7=[(s+2)-2]^2-5[(s+2)-2]+7=(s+2)^2-9(s+2)+21. \nonumber\]

    Therefore

    \[\begin{aligned} {s^2-5s+7\over(s+2)^3}&={(s+2)^2-9(s+2)+21\over(s+2)^3}\\ &={1\over s+2}-{9\over(s+2)^2}+{21\over(s+2)^3}\end{aligned}\nonumber\]

    and

    \[\begin{aligned} {\cal L}^{-1}\left({s^2-5s+7\over(s+2)^3}\right)&= {\cal L}^{-1}\left({1\over s+2}\right)-9{\cal L}^{-1}\left({1\over(s+2)^2}\right)+{21\over2}{\cal L}^{-1}\left({2\over(s+2)^3}\right)\\&= e^{-2t}\left(1-9t+{21\over2}t^2\right).\end{aligned}\nonumber\]

    Example 9.4.6

    Find

    \[L^{-1}\left({1-s(5+3s)\over s\left[(s+1)^2+1\right]}\right).\nonumber\]

    Solution

    One form for the partial fraction expansion of \({1-s(5+3s)\over s\left[(s+1)^2+1\right]}\) is

    \[\label{eq:8.2.14} {1-s(5+3s)\over s\left[(s+1)^2+1\right]}={A\over s}+{Bs+C\over(s+1)^2+1}.\]

    However, we see from the table of Laplace transforms that the inverse transform of the second fraction on the right of Equation \ref{eq:8.2.14} will be a linear combination of the inverse transforms

    \[e^{-t}\cos t\quad\mbox{ and }\quad e^{-t}\sin t \nonumber\]

    of

    \[{s+1\over(s+1)^2+1}\quad\mbox{ and }\quad {1\over(s+1)^2+1} \nonumber\]

    respectively. Therefore, instead of Equation \ref{eq:8.2.14} we write

    \[\label{eq:8.2.15} F(s)={A\over s}+{B(s+1)+C\over(s+1)^2+1}.\]

    Partial fraction decomposition yields

    \[{1-s(5+3s)\over s\left[(s+1)^2+1\right]}={1\over2s}-{7\over2}\,{s+1\over(s+1)^2+1}- {5\over2}\,{1\over(s+1)^2+1}. \nonumber\]

    Therefore

    \[\begin{aligned} {\cal L}^{-1}\left({1-s(5+3s)\over s\left[(s+1)^2+1\right]}\right)&= {1\over2}{\cal L}^{-1}\left(1\over s\right)-{7\over2}{\cal L}^{-1}\left(s+1 \over(s+1)^2+1\right)-{5\over2} {\cal L}^{-1}\left(1\over (s+1)^2+1\right)\\ &= {1\over2}-{7\over2}e^{-t}\cos t-{5\over2}e^{-t}\sin t.\end{aligned}\nonumber\]

    Example 9.4.7

    Solve the initial value problem

    \[\label{eq:8.3.15} y''+2y'+2y=1, \quad y(0)=-3,\; y'(0)=1.\]

    Solution

    Taking Laplace transforms of both sides of the differential equation in Equation \ref{eq:8.3.15} yields

    \[s^2Y(s)-sy(0)-y'(0)+2sY(s)-2y(0)+2Y(s)={1\over s}.\nonumber\]

    This becomes

    \[\left[(s+1)^2+1\right] Y(s)={1\over s}+1\cdot(1-3s)+2(-3).\nonumber\]

    Solving for \(Y(s)\) yields

    \[Y(s)={1-s(5+3s)\over s\left[(s+1)^2+1\right]}.\nonumber\]

    In Example 9.4.6 we found the inverse transform of this function to be

    \[y={1\over2}-{7\over2}e^{-t}\cos t-{5\over2}e^{-t}\sin t \nonumber\]

    (Figure 9.4.2 ), which is therefore the solution of Equation \ref{eq:8.3.15}.

    clipboard_ec36db50eaa6e9fab8ab350b2441ef523.png
    Figure 9.4.2 : \(y=\frac{1}{2}-\frac{7}{2}e^{-t}\cos t-\frac{5}{2}e^{-t}\sin t\)
    Example 9.4.8

    Solve the initial value problem

    \[\label{eq:8.3.16} y''-6y'+9y=t^2e^{3t}, \quad y(0)=2,\; y'(0)=6.\]

    Solution

    Taking Laplace transforms of both sides of the differential equation in Equation \ref{eq:8.3.16} yields

    \[s^2Y(s)-sy(0)-y'(0)-6sY(s)+6y(0)+9Y(s)={2\over (s-3)^3}.\nonumber\]

    This becomes

    \[(s-3)^2Y(s)={2\over (s-3)^3}+2s-6.\nonumber\]

    Solving for \(Y(s)\) yields

    \[Y(s)={2\over (s-3)^5}+{2s\over (s-3)^2}-{6\over (s-3)^2}={1\over 12}{4!\over (s-3)^5}+{2(s-3)\over (s-3)^2}-{6\over (s-3)^2}={1\over 12}{4!\over (s-3)^5}+{2\over s-3}-{6\over (s-3)^2}.\nonumber\]

    Taking the inverse Laplace transform gives us

    \[y={1\over 12}t^4e^{3t}+2e^{3t}-3te^{3t}\nonumber\]

    which is therefore the solution of Equation \ref{eq:8.3.16}.

    Example 9.4.9

    Solve the initial value problem

    \[\label{eq:8.3.17} y''+4y'+6y=1+e^{-t}, \quad y(0)=0,\; y'(0)=0.\]

    Solution

    Taking Laplace transforms of both sides of the differential equation in Equation \ref{eq:8.3.17} yields

    \[s^2Y(s)-sy(0)-y'(0)+4sY(s)-4y(0)+6Y(s)={1\over s}+{1\over s+1}.\nonumber\]

    This becomes

    \[[(s+2)^2+2]Y(s)={1\over s}+{1\over s+1}.\nonumber\]

    Solving for \(Y(s)\) yields

    \[Y(s)={1\over s[(s+2)^2+2]}+{1\over (s+1)[(s+2)^2+2]}={1/6\over s}+{1/3\over s+1}-{1\over 2}{s+2\over (s+2)^2+2}-{2\over 3}{1\over (s+2)^2+2}.\nonumber\]

    Taking the inverse Laplace transform gives us

    \[y={1\over 6}+{1\over 3}e^{-t}-{1\over 2}e^{-2t}\cos \sqrt {2}t-{\sqrt 2\over 3}e^{-2t}\sin \sqrt {2}t\nonumber\]

    which is therefore the solution of Equation \ref{eq:8.3.17}.


    This page titled 9.4: The First Shifting Theorem was last modified on Tue, 11 Oct 2022 02:33:22 GMT and is shared under a CC BY-NC-SA 3.0 license and was authored, remixed, and/or curated by William F. Trench via source content that was edited to the style and standards of the LibreTexts platform.