Skip to main content
Mathematics LibreTexts

7.4: The Unit Step Function

  • 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}\)

    In the next section we’ll consider initial value problems

    \[ay''+by'+cy=f(t),\quad y(0)=k_0,\quad y'(0)=k_1,\nonumber \]

    where \(a\), \(b\), and \(c\) are constants and \(f\) is piecewise continuous. In this section we’ll develop procedures for using the table of Laplace transforms to find Laplace transforms of piecewise continuous functions, and to find the piecewise continuous inverses of Laplace transforms.

    Example 8.4.1

    Use the table of Laplace transforms to find the Laplace transform of

    \[\label{eq:8.4.1} f(t)=\left\{\begin{array}{cl} 2t+1,&0\le t<2,\\[4pt]3t,&t\ge2 \end{array}\right. \]

    Figure 8.4.1 : The piecewise continuous function Equation \ref{eq:8.4.1}.

    Since the formula for \(f\) changes at \(t=2\), we write

    \[ \begin{align} {\cal L}(f)&= \int_0^\infty e^{-st}f(t)\,dt \nonumber \\[4pt] &= \int_0^2 e^{-st}(2t+1)\,dt+\int_2^\infty e^{-st}(3t)\,dt. \label{eq:8.4.2} \end{align} \]

    To relate the first term to a Laplace transform, we add and subtract

    \[\int_2^\infty e^{-st}(2t+1)\,dt \nonumber \]

    in Equation \ref{eq:8.4.2} to obtain

    \[ \begin{align} {\cal L}(f) &{= \int_0^\infty e^{-st}(2t+1)\,dt+ \int_2^\infty e^{-st}(3t-2t-1)\,dt }\nonumber \\[4pt] &= \int_0^\infty e^{-st}(2t+1)\,dt+ \int_2^\infty e^{-st}(t-1)\,dt \nonumber \\[4pt] &{={\cal L}(2t+1) + \int_2^\infty e^{-st}(t-1) \,dt.} \label{eq:8.4.3} \end{align} \]

    To relate the last integral to a Laplace transform, we make the change of variable \(x=t-2\) and rewrite the integral as

    \[\begin{aligned} \int_2^\infty e^{-st}(t-1)\,dt &= \int_0^\infty e^{-s(x+2)}(x+1)\,dx \\[4pt] &=e^{-2s}\int_0^\infty e^{-sx}(x+1)\,dx.\end{aligned}\nonumber \]

    Since the symbol used for the variable of integration has no effect on the value of a definite integral, we can now replace \(x\) by the more standard \(t\) and write

    \[\int_2^\infty e^{-st}(t-1)\,dt =e^{-2s}\int_0^\infty e^{-st}(t+1)\,dt=e^{-2s}{\cal L}(t+1).\nonumber \]

    This and Equation \ref{eq:8.4.3} imply that

    \[{\cal L}(f)={\cal L}(2t+1)+e^{-2s}{\cal L} (t+1).\nonumber \]

    Now we can use the table of Laplace transforms to find that

    \[{\cal L}(f)={2\over s^2}+{1\over s} +e^{-2s}\left({1\over s^2}+{1\over s}\right).\nonumber \]

    Laplace Transforms of Piecewise Continuous Functions

    We’ll now develop the method of Example 8.4.1 into a systematic way to find the Laplace transform of a piecewise continuous function. It is convenient to introduce the unit step function, defined as

    \[\label{eq:8.4.4} u(t)=\left\{\begin{array}{rl} 0,&t<0\\[4pt] 1,&t\ge0. \end{array}\right. \]

    Thus, \(u(t)\) “steps” from the constant value \(0\) to the constant value \(1\) at \(t=0\). If we replace \(t\) by \(t-\tau\) in Equation \ref{eq:8.4.4}, then

    \[u(t-\tau)=\left\{\begin{array}{rl} 0,&t<\tau,\\[4pt] 1,&t\ge\tau \end{array}\right.; \nonumber \]

    that is, the step now occurs at \(t=\tau\) (Figure 8.4.2 ).

    Figure 8.4.2 : \(y=u(t-\tau )\)

    The step function enables us to represent piecewise continuous functions conveniently. For example, consider the function

    \[\label{eq:8.4.5} f(t)=\left\{\begin{array}{rl} f_0(t),&0\le t<t_1,\\[4pt]f_1(t),&t\ge t_1, \end{array}\right. \]

    where we assume that \(f_0\) and \(f_1\) are defined on \([0,\infty)\), even though they equal \(f\) only on the indicated intervals. This assumption enables us to rewrite Equation \ref{eq:8.4.5} as

    \[\label{eq:8.4.6} f(t)=f_0(t)+u(t-t_1)\left(f_1(t)-f_0(t)\right). \]

    To verify this, note that if \(t<t_1\) then \(u(t-t_1)=0\) and Equation \ref{eq:8.4.6} becomes

    \[f(t)=f_0(t)+(0)\left(f_1(t)-f_0(t)\right)=f_0(t). \nonumber \]

    If \(t\ge t_1\) then \(u(t-t_1)=1\) and Equation \ref{eq:8.4.6} becomes

    \[f(t)=f_0(t)+(1)\left(f_1(t)-f_0(t)\right)=f_1(t). \nonumber \]

    We need the next theorem to show how Equation \ref{eq:8.4.6} can be used to find \({\cal L}(f)\).

    Theorem 8.4.1

    Let \(g\) be defined on \([0,\infty).\) Suppose \(\tau\ge0\) and \({\cal L}\left(g(t+\tau)\right)\) exists for \(s>s_0.\) Then \({\cal L}\left(u(t-\tau)g(t)\right)\) exists for \(s>s_0\), and

    \[{\cal L}(u(t-\tau)g(t))=e^{-s\tau}{\cal L}\left(g(t+\tau)\right).\nonumber \]


    By definition,

    \[{\cal L}\left(u(t-\tau)g(t)\right)=\int_0^\infty e^{-st} u(t-\tau)g(t)\, dt.\nonumber \]

    From this and the definition of \(u(t-\tau)\),

    \[{\cal L}\left(u(t-\tau)g(t)\right)=\int_0^\tau e^{-st}(0)\,dt+\int_{\tau}^\infty e^{-st}g(t)\,dt.\nonumber \]

    The first integral on the right equals zero. Introducing the new variable of integration \(x=t-\tau\) in the second integral yields

    \[{\cal L}\left(u(t-\tau)g(t)\right)=\int_0^\infty e^{-s(x+\tau)}g(x+\tau)\,dx =e^{-s\tau}\int_0^\infty e^{-sx} g(x+\tau)\,dx.\nonumber \]

    Changing the name of the variable of integration in the last integral from \(x\) to \(t\) yields

    \[{\cal L}\left(u(t-\tau)g(t)\right) =e^{-s\tau}\int_0^\infty e^{-st} g(t+\tau)\,dt=e^{-s\tau}{\cal L}(g(t+\tau)).\nonumber \]

    Example 8.4.2

    Find \[{\cal L}\left(u(t-1)(t^2+1)\right).\nonumber \]


    Here \(\tau=1\) and \(g(t)=t^2+1\), so

    \[g(t+1)=(t+1)^2+1=t^2+2t+2.\nonumber \]


    \[{\cal L}\left(g(t+1)\right)={2\over s^3}+{2\over s^2}+{2\over s},\nonumber \]

    Theorem 8.4.1 implies that

    \[{\cal L}\left(u(t-1)(t^2+1)\right) =e^{-s}\left({2\over s^3}+{2\over s^2}+{2\over s}\right).\nonumber \]

    Example 8.4.3

    Use Theorem 8.4.1 to find the Laplace transform of the function

    \[f(t)=\left\{\begin{array}{cl} 2t+1,&0\le t<2,\\[4pt]3t,&t\ge2, \end{array}\right. \nonumber \]

    from Example 8.4.1 .


    We first write \(f\) in the form Equation \ref{eq:8.4.6} as

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


    \[\begin{aligned} {\cal L}(f)&={\cal L}(2t+1) +{\cal L}\left(u(t-2)(t-1)\right)\\[4pt] &={\cal L}(2t+1) +e^{-2s}{\cal L}(t+1)\quad\mbox{ (from Theorem }\PageIndex{1})\\[4pt] &={2\over s^2}+{1\over s}+e^{-2s}\left({1\over s^2}+{1\over s}\right),\end{aligned}\nonumber \]

    which is the result obtained in Example 8.4.1 .

    Formula Equation \ref{eq:8.4.6} can be extended to more general piecewise continuous functions. For example, we can write

    \[f(t)=\left\{\begin{array}{rl} f_0(t),&0\le t<t_1,\\[4pt]f_1(t),&t_1\le t<t_2,\\[4pt]f_2(t),&t\ge t_2, \end{array}\right.\nonumber \]


    \[f(t)=f_0(t)+u(t-t_1)\left(f_1(t)-f_0(t)\right)+ u(t-t_2)\left(f_2(t)-f_1(t)\right) \nonumber \]

    if \(f_0\), \(f_1\), and \(f_2\) are all defined on \([0,\infty)\).

    Example 8.4.4

    Find the Laplace transform of

    \[\label{eq:8.4.7} f(t)=\left\{\begin{array}{cl} 1,&0\le t<2,\\[4pt]-2t+1,&2\le t<3,\\[4pt]3t,&3\le t<5,\\[4pt]t-1,&t\ge5 \end{array}\right. \]

    Figure 8.4.3 : The piecewise continuous function Equation \ref{eq:8.4.7}

    In terms of step functions,

    \[\begin{aligned} f(t)&=1+u(t-2)(-2t+1-1)+u(t-3)(3t+2t-1)\\[4pt] &= +u(t-5)(t-1-3t),\end{aligned}\nonumber \]


    \[f(t)=1-2u(t-2)t+u(t-3)(5t-1)-u(t-5)(2t+1). \nonumber \]

    Now Theorem 8.4.1 implies that

    \[\begin{aligned} {\cal L}(f) &={\cal L}(1)-2e^{-2s}{\cal L}(t+2)+e^{-3s}{\cal L}\left(5(t+3)-1\right)-e^{-5s}{\cal L}\left(2(t+5)+1\right)\\[4pt] &={\cal L}(1)-2e^{-2s}{\cal L}(t+2)+e^{-3s}{\cal L}(5t+14)-e^{-5s}{\cal L}(2t+11)\\[4pt] &={1\over s}-2e^{-2s}\left({1\over s^2}+{2\over s}\right)+ e^{-3s}\left({5\over s^2}+{14\over s}\right)-e^{-5s}\left({2\over s^2}+{11\over s}\right). \end{aligned}\nonumber \]

    The trigonometric identities

    \[\label{eq:8.4.8} \sin (A+B)=\sin A\cos B+\cos A\sin B \]

    \[\label{eq:8.4.9} \cos (A+B)=\cos A\cos B-\sin A\sin B \]

    are useful in problems that involve shifting the arguments of trigonometric functions. We’ll use these identities in the next example.

    Example 8.4.5

    Find the Laplace transform of

    \[\label{eq:8.4.10} f(t)=\left\{\begin{array}{cl}{\sin t,}&{0\leq t<\frac{\pi }{2}}\\[4pt]{\cos t-3\sin t,}&{\frac{\pi }{2}\leq t<\pi }\\[4pt]{3\cos t,}&{t\geq \pi} \end{array} \right. \]

    Figure 8.4.4 : The piecewise continuous function Equation \ref{eq:8.4.10}.

    In terms of step functions,

    \[f(t)=\sin t+u(t-\pi/2) (\cos t-4\sin t)+u(t-\pi) (2 \cos t+3\sin t). \nonumber \]

    Now Theorem 8.4.1 implies that

    \[\label{eq:8.4.11} \begin{array}{ccl} {\cal L}(f)&=&{\cal L}(\sin t)+e^{-{\pi\over 2}s}{\cal L} \left(\cos\left(t+{\pi\over2}\right)-4\sin\left(t+{\pi\over2}\right)\right) \\[4pt]&&\qquad+e^{-\pi s}{\cal L}\left(2\cos(t+\pi)+3\sin(t+\pi)\right). \end{array} \]


    \[\cos\left(t+{\pi\over 2}\right)-4\sin\left(t+{\pi\over 2}\right)=-\sin t-4\cos t \nonumber \]


    \[2\cos (t+\pi)+3\sin (t+\pi)=-2\cos t-3\sin t, \nonumber \]

    we see from Equation \ref{eq:8.4.11} that

    \[\begin{align*} {\cal L}(f)&={\cal L}(\sin t)-e^{-\pi s/2}{\cal L}(\sin t+4\cos t) -e^{-\pi s}{\cal L}(2\cos t+3\sin t)\\[4pt]&={1\over s^2+1}-e^{-{\pi\over 2}s}\left({1+4s\over s^2+1}\right) -e^{-\pi s}\left({3+2s\over s^2+1}\right). \end{align*}\nonumber \]

    The Second Shifting Theorem

    Replacing \(g(t)\) by \(g(t-\tau)\) in Theorem 8.4.1 yields the next theorem.

    Theorem 8.4.2 : Second Shifting Theorem

    If \(\tau\ge0\) and \({\cal L}(g)\) exists for \(s>s_0\) then \({\cal L}\left(u(t-\tau)g(t-\tau)\right)\) exists for \(s>s_0\) and

    \[{\cal L}(u(t-\tau)g(t-\tau))=e^{-s\tau}{\cal L}(g(t)),\nonumber \]

    or, equivalently,

    \[\label{eq:8.4.12} \mbox{if } g(t)\leftrightarrow G(s),\mbox{ then }u(t-\tau)g(t-\tau)\leftrightarrow e^{-s\tau}G(s). \]


    Recall that the First Shifting Theorem (Theorem 8.1.3) states that multiplying a function by \(e^{at}\) corresponds to shifting the argument of its transform by a units. Theorem 8.4.2 states that multiplying a Laplace transform by the exponential \(e^{−\tau s}\) corresponds to shifting the argument of the inverse transform by \(\tau \) units.

    Example 8.4.6

    Use Equation \ref{eq:8.4.12} to find

    \[{\cal L}^{-1}\left(e^{-2s}\over s^2\right). \nonumber \]


    To apply Equation \ref{eq:8.4.12} we let \(\tau=2\) and \(G(s)=1/s^2\). Then \(g(t)=t\) and Equation \ref{eq:8.4.12} implies that

    \[{\cal L}^{-1}\left(e^{-2s}\over s^2\right)=u(t-2)(t-2).\nonumber \]

    Example 8.4.7

    Find the inverse Laplace transform \(h\) of

    \[H(s)={1\over s^2}-e^{-s}\left({1\over s^2}+{2\over s}\right)+ e^{-4s}\left({4\over s^3}+{1\over s}\right),\nonumber \]

    and find distinct formulas for \(h\) on appropriate intervals.



    \[G_0(s)={1\over s^2},\quad G_1(s)={1\over s^2}+{2\over s},\quad G_2(s)={4\over s^3}+{1\over s}.\nonumber \]


    \[g_0(t)=t,\; g_1(t)=t+2,\; g_2(t)=2t^2+1.\nonumber \]

    Hence, Equation \ref{eq:8.4.12} and the linearity of \({\cal L}^{-1}\) imply that

    \[\begin{aligned} h(t)&={\cal L}^{-1}\left(G_0(s)\right)-{\cal L}^{-1}\left(e^{-s}G_1(s)\right)+{\cal L}^{-1}\left(e^{-4s}G_2(s)\right)\\[4pt]&=t-u(t-1)\left[(t-1)+2\right]+u(t-4)\left[2(t-4)^2+1\right]\\[4pt]&=t-u(t-1)(t+1)+u(t-4)(2t^2-16t+33),\end{aligned}\nonumber \]

    which can also be written as

    \[h(t)=\left\{\begin{array}{cl} t,&0\le t<1,\\[4pt]-1,&1\le t<4,\\[4pt]2t^2-16t+32,&t\ge4. \end{array}\right.\nonumber \]

    Example 8.4.8

    Find the inverse transform of

    \[H(s)={2s\over s^2+4}-e^{-{\pi\over 2}s} {3s+1\over s^2+9}+e^{-\pi s}{s+1\over s^2+6s+10}. \nonumber \]



    \[G_0(s)={2s\over s^2+4},\quad G_1(s)=-{(3s+1)\over s^2+9},\nonumber \]


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


    \[g_0(t)=2\cos 2t,\quad g_1(t)=-3\cos 3t-{1\over 3}\sin 3t,\nonumber \]


    \[g_2(t)=e^{-3t}(\cos t-2\sin t).\nonumber \]

    Therefore Equation \ref{eq:8.4.12} and the linearity of \({\cal L}^{-1}\) imply that

    \[\begin{aligned} h(t)&=2\cos 2t-u(t-\pi/2)\left[3\cos 3(t-\pi/2)+{1\over 3}\sin 3\left(t-{\pi\over 2}\right)\right]\\[4pt] &= +u(t-\pi)e^{-3(t-\pi)}\left[\cos (t-\pi)-2\sin (t-\pi)\right].\end{aligned}\nonumber \]

    Using the trigonometric identities Equation \ref{eq:8.4.8} and Equation \ref{eq:8.4.9}, we can rewrite this as

    \[\label{eq:8.4.13} \begin{align} h(t)&=2\cos 2t+u(t-\pi/2)\left(3\sin 3t- {1\over 3}\cos 3t\right) \\[4pt] &= -u(t-\pi)e^{-3(t-\pi)} (\cos t-2\sin t) \end{align} \]

    Figure 8.4.5 : The piecewise continuous function Equation \ref{eq:8.4.13}.

    This page titled 7.4: The Unit Step Function is shared under a CC BY-NC-SA 3.0 license and was authored, remixed, and/or curated by William F. Trench.