Skip to main content
Mathematics LibreTexts

5.3.1: Nonhomgeneous Linear Equations (Exercises)

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

    Q5.3.1

    In Exercises 5.3.1-5.3.6 find a particular solution by the method used in Example 5.3.2. Then find the general solution and, where indicated, solve the initial value problem and graph the solution.

    1. \(y''+5y'-6y=22+18x-18x^2\)

    2. \(y''-4y'+5y=1+5x\)

    3. \(y''+8y'+7y=-8-x+24x^2+7x^3\)

    4. \(y''-4y'+4y=2+8x-4x^2\)

    5. \(y''+2y'+10y=4+26x+6x^2+10x^3, \quad y(0)=2, \quad y'(0)=9\)

    6. \(y''+6y'+10y=22+20x, \quad y(0)=2,\; y'(0)=-2\)

    Q5.3.2

    7. Show that the method used in Example 5.3.2 will not yield a particular solution of

    \[y''+y'=1+2x+x^2; \tag{A} \]

    that is, (A) does’nt have a particular solution of the form \(y_p=A+Bx+Cx^2\), where \(A\), \(B\), and \(C\) are constants.

    Q5.3.3

    In Exercises 5.3.8-5.3.13 find a particular solution by the method used in Example 5.3.3.

    8. \(x^{2}y'' +7xy'+8y=\frac{6}{x}\)

    9. \(x^{2}y''-7xy'+7y=13x^{1/2}\)

    10. \(x^{2}y''-xy'+y=2x^{3}\)

    11. \(x^{2}y''+5xy'+4y=\frac{1}{x^{3}}\)

    12. \(x^{2}y''+xy'+y=10x^{1/3}\)

    13. \(x^{2}y''-3xy'+13y=2x^{4}\)

    Q5.3.4

    14. Show that the method suggested for finding a particular solution in Exercises 5.3.8-5.3.13 will not yield a particular solution of

    \[x^2y''+3xy'-3y={1\over x^3}; \tag{A} \]

    that is, (A) doesn’t have a particular solution of the form \(y_p=A/x^3\).

    15. Prove: If \(a\), \(b\), \(c\), \(\alpha\), and \(M\) are constants and \(M\ne0\) then

    \[ax^2y''+bxy'+cy=M x^\alpha \nonumber \]

    has a particular solution \(y_p=Ax^\alpha\) (\(A=\) constant) if and only if \(a\alpha(\alpha-1)+b\alpha+c\ne0\).

    Q5.3.5

    If \(a, b, c,\) and \(\alpha\) are constants, then \[\alpha (e^{\alpha x})'' +b(e^{\alpha x})'+ce^{\alpha x} = (a\alpha ^{2}+b\alpha + c)e^{\alpha x}. \nonumber \] Use this in Exercises 5.3.16-5.3.21 to find a particular solution. Then find the general solution and, where indicated, solve the initial value problem and graph the solution.

    16. \(y''+5y'-6y=6e^{3x}\)

    17. \(y''-4y'+5y=e^{2x}\)

    18. \(y''+8y'+7y=10e^{-2x}, \quad y(0)=-2,\; y'(0)=10\)

    19. \(y''-4y'+4y=e^{x}, \quad y(0)=2,\quad y'(0)=0\)

    20. \(y''+2y'+10y=e^{x/2}\)

    21. \(y''+6y'+10y=e^{-3x}\)

    Q5.3.6

    22. Show that the method suggested for finding a particular solution in Exercises 5.3.16-5.3.21 will not yield a particular solution of

    \[y''-7y'+12y=5e^{4x}; \tag{A} \]

    that is, (A) doesn’t have a particular solution of the form \(y_p=Ae^{4x}\).

    23. Prove: If \(\alpha\) and \(M\) are constants and \(M\ne0\) then constant coefficient equation

    \[ay''+by'+cy=M e^{\alpha x} \nonumber \]

    has a particular solution \(y_p=Ae^{\alpha x}\) (\(A=\) constant) if and only if \(e^{\alpha x}\) isn’t a solution of the complementary equation.

    Q5.3.7

    If \(ω\) is a constant, differentiating a linear combination of \(\cos ωx\) and \(\sin ωx\) with respect to \(x\) yields another linear combination of \(\cos ωx\) and \(\sin ωx\). In Exercises 5.3.24-5.3.29 use this to find a particular solution of the equation. Then find the general solution and, where indicated, solve the initial value problem and graph the solution.

    24. \(y''-8y'+16y=23\cos x-7\sin x\)

    25. \(y''+y'=-8\cos2x+6\sin2x\)

    26. \(y''-2y'+3y=-6\cos3x+6\sin3x\)

    27. \(y''+6y'+13y=18\cos x+6\sin x\)

    28. \(y''+7y'+12y=-2\cos2x+36\sin2x, \quad y(0)=-3,\quad y'(0)=3\)

    29. \(y''-6y'+9y=18\cos3x+18\sin3x, \quad y(0)=2,\quad y'(0)=2\)

    Q5.3.8

    30. Find the general solution of

    \[y''+\omega_0^2y =M\cos\omega x+N\sin\omega x, \nonumber \]

    where \(M\) and \(N\) are constants and \(\omega\) and \(\omega_0\) are distinct positive numbers.

    31. Show that the method suggested for finding a particular solution in Exercises 5.3.24-5.3.29 will not yield a particular solution of

    \[y''+y=\cos x+\sin x; \tag{A} \]

    that is, (A) does not have a particular solution of the form \(y_p=A\cos x+B\sin x\).

    32. Prove: If \(M\), \(N\) are constants (not both zero) and \(\omega>0\), the constant coefficient equation

    \[ay''+by'+cy=M\cos\omega x+N\sin\omega x \tag{A} \]

    has a particular solution that’s a linear combination of \(\cos\omega x\) and \(\sin\omega x\) if and only if the left side of (A) is not of the form \(a(y''+\omega^2y)\), so that \(\cos\omega x\) and \(\sin\omega x\) are solutions of the complementary equation.

    Q5.3.9

    In Exercises 5.3.33-5.3.38 refer to the cited exercises and use the principal of superposition to find a particular solution. Then find the general solution.

    33. \(y''+5y'-6y=22+18x-18x^2+6e^{3x}\) (See Exercises 5.3.1 and 5.3.16.)

    34. \(y''-4y'+5y=1+5x+e^{2x}\) (See Exercises 5.3.2 and 5.3.17.)

    35. \(y''+8y'+7y=-8-x+24x^2+7x^3+10e^{-2x}\) (See Exercises 5.3.3 and 5.3.18.)

    36. \(y''-4y'+4y=2+8x-4x^2+e^{x}\) (See Exercises 5.3.4 and 5.3.19.)

    37. \(y''+2y'+10y=4+26x+6x^2+10x^3+e^{x/2}\) (See Exercises 5.3.5 and 5.3.20.)

    38. \(y''+6y'+10y=22+20x+e^{-3x}\) (See Exercises 5.3.6 and 5.3.21.)

    Q5.3.10

    39. Prove: If \(y_{p_1}\) is a particular solution of

    \[P_0(x)y''+P_1(x)y'+P_2(x)y=F_1(x) \nonumber \]

    on \((a,b)\) and \(y_{p_2}\) is a particular solution of

    \[P_0(x)y''+P_1(x)y'+P_2(x)y=F_2(x) \nonumber \]

    on \((a,b)\), then \(y_p=y_{p_1}+y_{p_2}\) is a solution of

    \[P_0(x)y''+P_1(x)y'+P_2(x)y=F_1(x)+F_2(x) \nonumber \]

    on \((a,b)\).

    40. Suppose \(p\), \(q\), and \(f\) are continuous on \((a,b)\). Let \(y_1\), \(y_2\), and \(y_p\) be twice differentiable on \((a,b)\), such that \(y=c_1y_1+c_2y_2+y_p\) is a solution of

    \[y''+p(x)y'+q(x)y=f \nonumber \]

    on \((a,b)\) for every choice of the constants \(c_1,c_2\). Show that \(y_1\) and \(y_2\) are solutions of the complementary equation on \((a,b)\).

    This page titled 5.3.1: Nonhomgeneous Linear Equations (Exercises) is shared under a CC BY-NC-SA 3.0 license and was authored, remixed, and/or curated by William F. Trench.

    • Was this article helpful?