Skip to main content
Mathematics LibreTexts

8.4.1: The Unit Step Function (Exercises)

  • Page ID
    30769
  • \( \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}\)

    Q8.4.1

    In Exercises 8.4.1-8.4.6 find the Laplace transform by the method of Example 8.4.1. Then express the given function \(f\) in terms of unit step functions as in Equation 8.4.8, and use Theorem 8.4.1 to find \({\mathscr L}(f)\). Graph \(f\) for Exercises 8.4.3 and 8.4.4.

    1. \(f(t)=\left\{\begin{array}{cl} {1,}&{0 \le t<4,}\\ {t,} & {t\ge4.} \end{array}\right.\)

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

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

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

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

    6. \(f(t)=\left\{\begin{array}{cl} t^2,& 0\le t<1,\\[4pt] 0,&t\ge1.\end{array}\right.\)

    Q8.4.2

    In Exercises 8.4.7-8.4.18 express the given function \(f\) in terms of unit step functions and use Theorem 8.4.1 to find \({\mathscr L} (f)\). Graph \(f\) for Exercises 8.4.15-8.4.18.

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

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

    9. \(f(t)=\left\{\begin{array}{cl} te^t,& 0\le t <1,\\[4pt] e^t,&t\ge1.\end{array}\right.\)

    10. \(f(t)=\left\{\begin{array}{cl} e^{\phantom{2}-t}, &0\le t<1,\\[4pt] e^{-2t},&t\ge1.\end{array}\right.\)

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

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

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

    14. \(f(t)=\left\{\begin{array}{cl} t,&0\le t<1,\\[4pt] 2-t,&1\le t<2,\\[4pt] 6,&t > 2. \end{array}\right.\)

    15. \(f(t)=\left\{\begin{array}{cl} {\sin t,}&{0\leq t<\frac{\pi }{2}}\\{2\sin t,}&{\frac{\pi }{2}\leq t<\pi }\\{\cos t,}&{t\geq \pi } \end{array} \right.\)

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

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

    18. \(f(t)=\left\{\begin{array}{ll}(t+1)^2,&0\le t<1, \\[4pt](t+2)^2,&t\ge1.\end{array}\right.\)

    Q8.4.3

    In Exercises 8.4.19-8.4.28 use Theorem 8.4.2 to express the inverse transforms in terms of step functions, and then find distinct formulas the for inverse transforms on the appropriate intervals, as in Example 8.4.7. Graph the inverse transform for Exercises 8.4.21, 8.4.22, and 8.4.25.

    19. \(H(s)=\dfrac{e^{-2s}}{s-2}\)

    20. \(H(s)=\dfrac{e^{-s}}{s(s+1)}\)

    21. \(H(s)=\dfrac{e^{-s}}{s^3}+ \dfrac{e^{-2s}}{s^2}\)

    22. \(H(s)=\left(\dfrac{2}{s}+\dfrac{1}{s^2}\right) +e^{-s}\left(\dfrac{3}{s}-\dfrac{1}{s^2}\right)+e^{-3s}\left(\dfrac{1}{s}+\dfrac{1}{s^2}\right)\)

    23. \(H(s)=\left(\dfrac{5}{s}-\dfrac{1}{s^2}\right) +e^{-3s}\left(\dfrac{6}{s}+\dfrac{7}{s^2}\right)+\dfrac{3e^{-6s}}{s^3}\)

    24. \(H(s)=\dfrac{e^{-\pi s} (1-2s)}{s^2+4s+5}\)

    25. \(H(s)=\left(\dfrac{1}{s}-\dfrac{s}{s^2+1}\right)+e^{-\frac{\pi}{2}s}\left(\dfrac{3s-1}{s^2+1}\right)\)

    26. \(H(s)= e^{-2s}\left[\dfrac{3(s-3)}{(s+1)(s-2)}-\dfrac{s+1}{(s-1)(s-2)}\right]\)

    27. \(H(s)=\dfrac{1}{s}+\dfrac{1}{s^2}+e^{-s}\left(\dfrac{3}{s}+\dfrac{2}{s^2}\right) +e^{-3s}\left(\dfrac{4}{s}+\dfrac{3}{s^2}\right)\)

    28. \(H(s)=\dfrac{1}{s}-\dfrac{2}{s^3}+e^{-2s}\left(\dfrac{3}{s}-\dfrac{1}{s^3}\right) +\dfrac{e^{-4s}}{s^2}\)

    Q8.4.4

    29. Find \({\mathscr L}\left({\mathscr U}(t-\tau)\right)\).

    30. Let \(\{t_m\}_{m=0}^\infty\) be a sequence of points such that \(t_0=0\), \(t_{m+1}>t_m\), and \(\displaystyle \lim_{m\to\infty}t_m=\infty\). For each nonnegative integer \(m\), let \(f_m\) be continuous on \([t_m,\infty)\), and let \(f\) be defined on \([0,\infty)\) by

    \[f(t)=f_m(t),\,t_m\le t<t_{m+1}\quad (m=0,1,\dots).\nonumber \]

    Show that \(f\) is piecewise continuous on \([0,\infty)\) and that it has the step function representation

    \[f(t)=f_0(t)+\sum_{m=1}^\infty {\mathscr U}(t-t_m)\left(f_m(t)-f_{m-1}(t)\right),\, 0\le t<\infty.\nonumber\]

    How do we know that the series on the right converges for all \(t\) in \([0,\infty)\)?

    31. In addition to the assumptions of Exercise 8.4.30, assume that

    \[|f_m(t)|\le Me^{s_0t},\,t\ge t_m,\,m=0,1,\dots, \tag{A}\]

    and that the series

    \[\sum_{m=0}^\infty e^{-\rho t_m} \tag{B}\]

    converges for some \(\rho>0\). Using the steps listed below, show that \({\mathscr L}(f)\) is defined for \(s>s_0\) and

    \[{\mathscr L}(f)={\mathscr L}(f_0)+\sum_{m=1}^\infty e^{-st_m}{\mathscr L}(g_m) \tag{C}\]

    for \(s>s_0+\rho\), where

    \[g_m(t)=f_m(t+t_m)-f_{m-1}(t+t_m).\nonumber\]

    1. Use (A) and Theorem 8.1.6 to show that \[{\mathscr L}(f)=\sum_{m=0}^\infty\int_{t_m}^{t_{m+1}}e^{-st}f_m(t)\,dt \tag{D}\] is defined for \(s>s_0\).
    2. Show that (D) can be rewritten as \[{\mathscr L}(f)=\sum_{m=0}^\infty\left(\int_{t_m}^\infty e^{-st}f_m(t)\,dt -\int_{t_{m+1}}^\infty e^{-st}f_m(t)\,dt\right). \tag{E}\]
    3. Use (A), the assumed convergence of (B), and the comparison test to show that the series \[\sum_{m=0}^\infty\int_{t_m}^\infty e^{-st}f_m(t)\,dt\quad \text{and} \quad \sum_{m=0}^\infty\int_{t_{m+1}}^\infty e^{-st}f_m(t)\,dt\nonumber\] both converge (absolutely) if \(s>s_0+\rho\).
    4. Show that (E) can be rewritten as \[{\mathscr L}(f)={\mathscr L}(f_0)+\sum_{m=1}^\infty\int_{t_m}^\infty e^{-st} \left(f_m(t)-f_{m-1}(t)\right)\,dt\nonumber \] if \(s>s_0+\rho\).
    5. Complete the proof of (C).

    32. Suppose \(\{t_m\}_{m=0}^\infty\) and \(\{f_m\}_{m=0}^\infty\) satisfy the assumptions of Exercises 8.4.30 and 8.4.31, and there’s a positive constant \(K\) such that \(t_m\ge Km\) for \(m\) sufficiently large. Show that the series (B) of Exercise 8.4.31 converges for any \(\rho>0\), and conclude from this that (C) of Exercise 8.4.31 holds for \(s>s_0\).

     

    In Exercises 8.4.33-8.4.36 find the step function representation of \(f\) and use the result of Exercise 8.4.32 to find \({\mathscr L}(f)\). HINT: You will need formulas related to the formula for the sum of a geometric series.

    33. \(f(t)=m+1,\,m\le t<m+1\; (m=0,1,2,\dots)\)

    34. \(f(t)=(-1)^m,\,m\le t<m+1\; (m=0,1,2,\dots)\)

    35. \(f(t)=(m+1)^2,\,m\le t<m+1\; (m=0,1,2,\dots)\)

    36. \(f(t)=(-1)^mm,\,m\le t<m+1\; (m=0,1,2,\dots)\)


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