Nonhomogeneous Linear Equations

Learning Objectives

Write the general solution to a nonhomogeneous differential equation.
Solve a nonhomogeneous differential equation by the method of undetermined coefficients.
Solve a nonhomogeneous differential equation by the method of variation of parameters.

General Solution to a Nonhomogeneous Linear Equation

Consider the nonhomogeneous linear differential equation

[latex]\large{a_2(x)y^{\prime\prime}+a_1(x)y^\prime+a_0(x)y=r(x)}[/latex].

The associated homogeneous equation

[latex]\large{a_2(x)y^{\prime\prime}+a_1(x)y^\prime+a_0(x)y=0}[/latex]

is called the complementary equation. We will see that solving the complementary equation is an important step in solving a nonhomogeneous differential equation.

definition

A solution [latex]y_p(x)[/latex] of a differential equation that contains no arbitrary constants is called a particular solution to the equation.

Theorem: general solution to a nonhomogeneous equation

Let [latex]y_p(x)[/latex] be any particular solution to the nonhomogeneous linear differential equation

[latex]\large{a_2(x)y^{\prime\prime}+a_1(x)y^\prime+a_0(x)y=r(x)}[/latex].

Also, let [latex]c_1y_1(x)+c_2y_2(x)[/latex] denote the general solution to the complementary equation. Then, the general solution to the nonhomogeneous equation is given by

[latex]\large{y(x)=c_1y_1(x)+c_2y_2(x)+y_p(x)}[/latex].

Proof

To prove [latex]y(x)[/latex] is the general solution, we must first show that it solves the differential equation and, second, that any solution to the differential equation can be written in that form. Substituting [latex]y(x)[/latex] into the differential equation, we have

[latex]\begin{aligned} a_2(x)y^{\prime\prime}+a_1(x)y^\prime+a_0(x)y&=a_2(x)(c_1y_1+c_2y_2+y_p)^{\prime\prime}+a_1(x)(c_1y_1+c_2y_2+y_p)^\prime+a_0(x)(c_1y_1+c_2y_2+y_p) \\ &=[a_2(x)(c_1y_1+c_2y_2)^{\prime\prime}+a_1(x)(c_1y_1+c_2y_2)^\prime+a_0(x)(c_1y_1+c_2y_2)]+a_2(x)y_p^{\prime\prime}+a_1(x)y_p^\prime+a_0(x)y_p \\ &=0+r(x) \\ &=r(x) \end{aligned}[/latex].

So [latex]y(x)[/latex] is a solution.

Now, let [latex]z(x)[/latex] be any solution to [latex]a_2(x)y^{\prime\prime}+a_1(x)y^\prime+a_0(x)y=r(x)[/latex]. Then

[latex]\begin{aligned} a_2(x)(z-y_p)^{\prime\prime}+a_1(x)(z-y_p)^\prime+a_0(x)(z-y_p)&=(a_2(x)z^{\prime\prime}+a_1(x)z^\prime+a_0(x)z)-(a_2(x)y_p^{\prime\prime}+a_1(x)y_p^\prime+a_0(x)y_p) \\ &=r(x)-r(x) \\ &=0 \end{aligned}[/latex],

so [latex]z(x)=y_p(x)[/latex] is a solution to the complementary equation. But, [latex]c_1y_1(x)+c_2y_2(x)[/latex] is the general solution to the complementary equation, so there are constants [latex]c_1[/latex] and [latex]c_2[/latex] such that

[latex]\large{z(x)=y_p(x)=c_1y_1(x)+c_2y_2(x)}[/latex].

Hence, we see that [latex]z(x)=c_1y_1(x)+c_2y_2(x)y_p(x)[/latex].

[latex]_\blacksquare[/latex]

Example: verifying the general solution

Given that [latex]y_p(x)=x[/latex] is a particular solution to the differential equation [latex]y^{\prime\prime}+y=x[/latex], write the general solution and check by verifying that the solution satisfies the equation.

Show Solution

try it

Given that [latex]y_p(x)=-2[/latex] is a particular solution to [latex]y^{\prime\prime}-3y^\prime-4y=8[/latex], write the general solution and verify that the general solution satisfies the equation.

Show Solution

In the preceding section, we learned how to solve homogeneous equations with constant coefficients. Therefore, for nonhomogeneous equations of the form [latex]ay^{\prime\prime}+by^\prime+cy=r(x)[/latex], we already know how to solve the complementary equation, and the problem boils down to finding a particular solution for the nonhomogeneous equation. We now examine two techniques for this: the method of undetermined coefficients and the method of variation of parameters.

Undetermined Coefficients

The method of undetermined coefficients involves making educated guesses about the form of the particular solution based on the form of [latex]r(x)[/latex]. When we take derivatives of polynomials, exponential functions, sines, and cosines, we get polynomials, exponential functions, sines, and cosines. So when [latex]r(x)[/latex] has one of these forms, it is possible that the solution to the nonhomogeneous differential equation might take that same form. Let’s look at some examples to see how this works.

Example: undetermined coefficients when [latex]r(x)[/latex] is a polynomial

Find the general solution to [latex]y^{\prime\prime}+4y^\prime+3y=3x[/latex].

Show Solution

In Example “Undetermined Coefficients When [latex]𝑟(𝑥)[/latex] Is a Polynomial”, notice that even though [latex]r(x)[/latex] did not include a constant term, it was necessary for us to include the constant term in our guess. If we had assumed a solution of the form [latex]y_p=Ax[/latex] (with no constant term), we would not have been able to find a solution. (Verify this!) If the function [latex]r(x)[/latex] is a polynomial, our guess for the particular solution should be a polynomial of the same degree, and it must include all lower-order terms, regardless of whether they are present in [latex]r(x)[/latex].

Example: undetermined coefficients when [latex]r(x)[/latex] is an exponential

Find the general solution to [latex]y^{\prime\prime}-y^\prime-2y=2e^{3x}[/latex].

Show Solution

try it

Find the general solution to [latex]y^{\prime\prime}-4y^\prime+4y=7\sin t-\cos t[/latex].

Show Solution

Watch the following video to see the worked solution to the above Try It

You can view the transcript for “CP 7.11” here (opens in new window).In the previous checkpoint, [latex]r(x)[/latex] included both sine and cosine terms. However, even if [latex]r(x)[/latex] included a sine term only or a cosine term only, both terms must be present in the guess. The method of undetermined coefficients also works with products of polynomials, exponentials, sines, and cosines. Some of the key forms of [latex]r(x)[/latex] and the associated guesses for [latex]y_p(x)[/latex] are summarized in Table 7.2 Key Forms for the Method of Undetermined Coefficients below.

[latex]r(x)[/latex]	Initial guess for [latex]y_p(x)[/latex]
[latex]k[/latex] (a constant)	[latex]A[/latex] (a constant)
[latex]ax+b[/latex]	[latex]Ax+B[/latex] (Note: The guess must include both terms even if [latex]b=0[/latex].)
[latex]ax^{2}+bx+c[/latex]	[latex]Ax^{2}+Bx+C[/latex] (Note: The guess must include all three terms even if [latex]b[/latex] or [latex]c[/latex] are zero.)
Higher-order polynomials	Polynomial of the same order as [latex]r(x)[/latex]
[latex]ae^{\lambda x}[/latex]	[latex]Ae^{\lambda x}[/latex]
[latex]a\cos\beta x+b\sin\beta x[/latex]	[latex]A\cos\beta x+B\sin\beta x[/latex] (Note: The guess must include both terms even if either [latex]a=0[/latex] or [latex]b=0[/latex].)
[latex]ae^{\alpha x}\cos\beta x+be^{\alpha x}\sin\beta x[/latex]	[latex]Ae^{\alpha x}\cos\beta x+Be^{\alpha x}\sin\beta x[/latex]
[latex](ax^2+bx+c)e^{\lambda x}[/latex]	[latex](Ax^2+Bx+C)e^{\lambda x}[/latex]
[latex](a_2x^2+a_1x+a_0)\cos\beta x+(b_2x^2+b_1x+b_0)\sin\beta x[/latex]	[latex](A_2x^2+A_1x+A_0)\cos\beta x+(B_2x^2+B_1x+B_0)\sin\beta x[/latex]
[latex](a_2x^2+a_1x+a_0)e^{\alpha x}\cos\beta x+(b_2x^2+b_1x+b_0)e^{\alpha x}\sin\beta x[/latex]	[latex](A_2x^2+A_1x+A_0)e^{\alpha x}\cos\beta x+(B_2x^2+B_1x+B_0)e^{\alpha x}\sin\beta x[/latex]

Table 7.2 Key Forms for the Method of Undetermined Coefficients

Keep in mind that there is a key pitfall to this method. Consider the differential equation [latex]y^{\prime\prime}+5y^\prime+6y=3e^{-2x}[/latex]. Based on the form of [latex]r(x)[/latex], we guess a particular solution of the form [latex]y_p(x)=Ae^{-2x}[/latex]. But when we substitute this expression into the differential equation to find a value for [latex]A[/latex], we run into a problem. We have

[latex]\large{y_p^\prime(x)=-2Ae^{-2x}}[/latex]

and

[latex]\large{y_p^{\prime\prime}=4Ae^{-2x}}[/latex],

so we want

[latex]\begin{aligned} y^{\prime\prime}+5y^\prime+6y&=3e^{-2x} \\ 4Ae^{-2x}+\left(-2Ae^{-2x}\right)+6Ae^{-2x}&=3e^{-2x} \\ 4Ae^{-2x}-10Ae^{-2x}+6Ae^{-2x}&=3e^{-2x} \\ 0&=3e^{-2x} \end{aligned}[/latex],

which is not possible.

Looking closely, we see that, in this case, the general solution to the complementary equation is [latex]c_1e^{-2x}+c_2e^{-2x}[/latex]. The exponential function in [latex]r(x)[/latex] is actually a solution to the complementary equation, so, as we just saw, all the terms on the left side of the equation cancel out. We can still use the method of undetermined coefficients in this case, but we have to alter our guess by multiplying it by [latex]x[/latex]. Using the new guess, [latex]y_p(x)=Ae^{-2x}[/latex], we have

[latex]\large{y_p^\prime(x)=A\left(e^{-2x}-2xe^{-2x}\right)}[/latex]

and

[latex]\large{y_p^{\prime\prime}(x)=-4Ae^{-2x}+4Axe^{-2x}}[/latex].

Substitution gives

[latex]\begin{aligned} y^{\prime\prime}+5y^\prime+6y&=3e^{-2x} \\ \left(-4Ae^{-2x}+4Axe^{-2x}\right)+5\left(Ae^{-2x}-2Axe^{-2x}\right)+6Axe^{-2x}&=3e^{-2x} \\ -4Ae^{-2x}+4Axe^{-2x}-10Axe^{-2x}+6Axe^{-2x}&=3e^{-2x} \\ Ae^{-2x}&=3e^{-2x} \end{aligned}[/latex],

So, [latex]A=3[/latex] and [latex]y_p(x)=3xe^{-2x}[/latex]. This gives us the following general solution

[latex]\large{y(x)=c_1e^{-2x}+c_2e^{-2x}+3xe^{-2x}}[/latex].

Note that if [latex]xe^{-2x}[/latex] were also a solution to the complementary equation, we would have to multiply by [latex]x[/latex] again, and we would try [latex]y_p(x)=Ax^2e^{-2x}[/latex].

problem-solving strategy: method of undetermined coefficients

Solve the complementary equation and write down the general solution.
Based on the form of [latex]r(x)[/latex], make an initial guess for [latex]y_p(x)[/latex].
Check whether any term in the guess for [latex]y_p(x)[/latex] is a solution to the complementary equation. If so, multiply the guess by [latex]x[/latex]. Repeat this step until there are no terms in [latex]y_p(x)[/latex] that solve the complementary equation.
Substitute [latex]y_p(x)[/latex] into the differential equation and equate like terms to find values for the unknown coefficients in [latex]y_p(x)[/latex]
Add the general solution to the complementary equation and the particular solution you just found to obtain the general solution to the nonhomogeneous equation.

example: solving nonhomogeneous equations

Find the general solutions to the following differential equations.

[latex]y^{\prime\prime}-9y=-6\cos 3x[/latex]
[latex]x^{\prime\prime}+2x'+x=4e^{-t}[/latex]
[latex]y^{\prime\prime}-2y^\prime+5y=10^{2}-3x-3[/latex]
[latex]y^{\prime\prime}-3y^\prime=-12t[/latex]

Show Solution

1. The complementary equation is [latex]y^{\prime\prime}-9y=0[/latex], which has the general solution [latex]c_1e^{3x}+c_2e^{-3x}[/latex] (step 1). Based on the form of [latex]r(x)=-6\cos3x[/latex], our initial guess for the particular solution is [latex]y_p(x)=A\cos3x+B\sin3x[/latex] (step 2). None of the terms in [latex]y_p(x)[/latex] solve the complementary equation, so this is a valid guess (step 3).
  Now we want to find values for [latex]A[/latex] and [latex]B[/latex], so substitute [latex]y_p[/latex] into the differential equation. We have
  
  [latex]\large{y_p^\prime(x)=-3A\sin3x+3B\cos3x\text{ and }y_p^{\prime\prime}(x)=-9A\cos3x-9B\sin3x}[/latex],
  
  so we want to find values of [latex]A[/latex] and [latex]B[/latex] such that
  
  [latex]\begin{aligned} y^{\prime\prime}-9y&=-6\cos 3x \\ -9A\cos3x-9B\sin3x-9(A\cos3x+B\sin3x)&=-6\cos 3x \\ -18A\cos3x-18B\sin3x&=-6\cos 3x \end{aligned}[/latex]

Therefore,

[latex]\begin{aligned} -18A&=-6 \\ -18B&=0 \end{aligned}[/latex].

This gives [latex]A=\frac{1}{3}[/latex] and [latex]B=0[/latex], so [latex]y_p(x)=\left(\frac13\right)\cos3x[/latex] (step 4).
Putting everything together, we have the general solution

[latex]\large{y(x)=c_1e^{3x}+c_2e^{-3x}+\frac13\cos3x}[/latex].

The complementary equation is [latex]x^{\prime\prime}+2x^\prime+x=0[/latex], which has the general solution [latex]c_1e^{-t}+c_2te^{-t}[/latex] (step 1). Based on the form [latex]r(t)=4e^{-t}[/latex], our initial guess for the particular solution is [latex]x_p(t)=Ae^{-t}[/latex] (step 2). However, we see that this guess solves the complementary equation, so we must multiply by [latex]t[/latex], which gives a new guess: [latex]x_p(t)=Ate^{-t}[/latex] (step 3). Checking this new guess, we see that it, too, solves the complementary equation, so we must multiply by [latex]t[/latex] again, which gives [latex]x_p(t)=At^2e^{-t}[/latex] (step 3 again). Now, checking this guess, we see that [latex]x_p(t)[/latex] does not solve the complementary equation, so this is a valid guess (step 3 yet again).
We now want to find a value for [latex]A[/latex], so we substitute [latex]x_p[/latex] into the differential equation. We have

[latex]\begin{aligned} x_p(t)&=At^2e^{-t} \\ x_p^\prime(t)&=2Ate^{-t} -At^2e^{-t} \end{aligned}[/latex]

and [latex]x_p^{\prime\prime}=2Ae^{-t}-2Ate^{-t}-\left(2Ate^{-t}-At^2e^{-t}\right)=2Ae^{-t}-4Ate^{-t}+At^2e^{-t}[/latex].
Substituting into the differential equation, we want to find a value of [latex]A[/latex] so that

[latex]\begin{aligned} x^{\prime\prime}+2x^\prime+x&=4e^{-t} \\ 2Ae^{-t}-4Ate^{-t}+At^2e^{-t}+2(2Ate^{-t}-At^2e^{-t})+At^2e^{-t}&=4e^{-t} \\ 2Ae^{-t}=4e^{-t}\end{aligned}[/latex].

This gives [latex]A=2[/latex], so [latex]x_p(t)=2t^2e^{-t}[/latex] (step 4). Putting everything together, we have the general solution

[latex]\large{x(t)=c_1e^{-t}+c_2te^{-t}+2t^2e^{-t}}[/latex].
The complementary equation is [latex]y^{\prime\prime}-2y^\prime+5y=0[/latex], which has the general solution [latex]c_1e^x\cos2x+c_2e^x\sin2x[/latex] (step 1). Based on the form [latex]r(x)=10x^2-3x-3[/latex], our initial guess for the particular solution is [latex]y_p(x)=Ax^2+Bx+C[/latex] (step 2). None of the terms in [latex]y_p(x)[/latex] solve the complementary equation, so this is a valid guess (step 3). We now want to find values for [latex]A[/latex], [latex]B[/latex], and [latex]C[/latex], so we substitute [latex]y_p[/latex] into the differential equation. We have [latex]y_p^\prime(x)=2Ax+B[/latex] and [latex]y_p^{\prime\prime}(x)=2A[/latex], so we want to find values of [latex]A[/latex], [latex]B[/latex], and [latex]C[/latex] such that

[latex]\begin{aligned} y^{\prime\prime}-2y^\prime+5y&=10x^2-3x-3 \\ 2A-2(2Ax+b)+5(Ax^2+Bx+C)&=10x^2-3x-3 \\ 5Ax^2+(5B-4A)x+(5C-2B+2A)&=10x^2-3x-3 \end{aligned}[/latex].

Therefore,

[latex]\begin{aligned} 5A&=10 \\ 5B-4A&=-3 \\ 5C-2B+2A&=-3 \end{aligned}[/latex].

This gives [latex]A=2[/latex], [latex]B=1[/latex], and [latex]C=-1[/latex], so [latex]y_p(x)=2x^2+x-1[/latex] (step 4). Putting everything together, we have the general solution

[latex]y(x)=c_1e^x\cos2x+c_2e^x\sin2x+2x^2+x-1[/latex].
The complementary equation is [latex]y^{\prime\prime}-3y^\prime=0[/latex], which has the general solution [latex]c_1e^{3t}+c_2[/latex] (step 1). Based on the form [latex]r(t)=-12t[/latex], our initial guess for the particular solution is [latex]y_p(t)=At+B[/latex] (step 2). However, we see that the constant term in this guess solves the complementary equation, so we must multiply by [latex]t[/latex], which gives a new guess: [latex]y_P(t)=At^2+Bt[/latex] (step 3). Checking this new guess, we see that none of the terms in [latex]y_p(t)[/latex] solve the complementary equation, so this is a valid guess (step 3 again). We now want to find values for [latex]A[/latex] and [latex]B[/latex], so we substitute [latex]y_p[/latex] into the differential equation. We have [latex]y_p^\prime(t)=2At+B[/latex] and [latex]y_p^{\prime\prime}(t)=2A[/latex], so we want to find values of [latex]A[/latex] and [latex]B[/latex] such that

[latex]\begin{aligned} y^{\prime\prime}-3y^\prime&=-12t \\ 2A-3(2At+B)=-12t \\ -6At+(2A-3B)&=-12t \end{aligned}[/latex].

Therefore,

[latex]\begin{aligned} -6A&=-12 \\ 2A-3B&=0 \end{aligned}[/latex].

This gives [latex]A=2[/latex] and [latex]b=4/3[/latex], so [latex]y_p(t)=2t^2+(4/3)t[/latex] (step 4). Putting everything together, we have the general solution
[latex]y(t)=c_1e^{3t}+c_2+2t^2+\frac43t[/latex].

try it

Find the general solution to the following differential equations.

[latex]y^{\prime\prime}-5y^\prime+4y=3e^x[/latex]
[latex]y^{\prime\prime}+y^\prime-6y=52\cos2t[/latex]

Show Solution

Variation of Parameters

Sometimes, [latex]r(x)[/latex] is not a combination of polynomials, exponentials, or sines and cosines. When this is the case, the method of undetermined coefficients does not work, and we have to use another approach to find a particular solution to the differential equation. We use an approach called the method of variation of parameters.

To simplify our calculations a little, we are going to divide the differential equation through by [latex]a[/latex], so we have a leading coefficient of 1. Then the differential equation has the form

[latex]y^{\prime\prime}+py^\prime+qy=r(x)[/latex],

where [latex]p[/latex] and [latex]q[/latex] are constants.

If the general solution to the complementary equation is given by [latex]c_1y_1(x)+c_2y_2(x)[/latex], we are going to look for a particular solution of the form [latex]y_p(x)=u(x)y_1(x)+v(x)y_2(x)[/latex]. In this case, we use the two linearly independent solutions to the complementary equation to form our particular solution. However, we are assuming the coefficients are functions of [latex]x[/latex], rather than constants. We want to find functions [latex]u(x)[/latex] and [latex]v(x)[/latex] such that [latex]y_p(x)[/latex] satisfies the differential equation. We have

[latex]\begin{aligned} y_p&=uy_1+vy_2 \\ y_p^\prime&=u^\prime+uy_1^\prime+v^\prime y_2+vy_2^\prime \\ y_p^{\prime\prime}&=(u^\prime y_1+v^\prime y_2)^\prime+u^\prime y_1^\prime+uy_1^{\prime\prime}+v^\prime y_2^\prime+vy_2^{\prime\prime} \end{aligned}[/latex].

Substituting into the differential equation, we obtain

[latex]\begin{aligned} y_p^{\prime\prime}+py_p^\prime+qy_p&=[(u^\prime y_1+v^\prime y_2)+u^\prime y_1^\prime+uy_1^{\prime\prime}+v^\prime y_2^\prime+vy_2^{\prime\prime}]+p[u^\prime y_1+uy_1^\prime+v^\prime y_2+vy_2^\prime]+q[uy_1+vy_2] \\ &=u[y_1^{\prime\prime}+py_1^\prime+qy_1]+v[y_2^{\prime\prime}+py_2^\prime+qy_2]+(u^\prime y_1+v^\prime y_2)^\prime+p(u^\prime y_1+v^\prime y_2)+(u^\prime y_1^\prime+v^\prime y_2^\prime) \end{aligned}[/latex].

Note that [latex]y_1[/latex] and [latex]y_2[/latex] are solutions to the complementary equation, so the first two terms are zero. Thus, we have

[latex](u^\prime y_1+v^\prime y_2)^\prime+p(u^\prime y_1+v^\prime y_2)+(u^\prime y_1^\prime+v^\prime y_2^\prime)=r(x)[/latex].

If we simplify this equation by imposing the additional condition [latex]u^\prime y_1+v^\prime y_2=0[/latex], the first two terms are zero, and this reduces to [latex]u^\prime y_1^\prime+v^\prime y_2=r(x)[/latex]. So, with this additional condition, we have a system of two equations in two unknowns:

[latex]\begin{aligned} u^\prime y_1+v^\prime y_2&=0 \\ u^\prime y_1^\prime+v^\prime y_2^\prime&=r(x) \end{aligned}[/latex].

Solving this system gives us [latex]u'[/latex] and [latex]v'[/latex], which we can integrate to find [latex]u[/latex] and [latex]v[/latex].

Then, [latex]y_p(x)=u(x)y_1(x)+v(x)y_2(x)[/latex] is a particular solution to the differential equation. Solving this system of equations is sometimes challenging, so let’s take this opportunity to review Cramer’s rule, which allows us to solve the system of equations using determinants.

rule: cramer’s rule

The system of equations

[latex]\begin{aligned} a_1z_1+b_1z_2=r_1 \\ a_2z_1+b_2z_2&=r_2 \end{aligned}[/latex]

has a unique solution if and only if the determinant of the coefficients is not zero. In this case, the solution is given by

[latex]z_1=\frac{\begin{vmatrix}r_1&b_1 \\ r_2&b_2\end{vmatrix}}{\begin{vmatrix}a_1&b_1 \\ a_2&b_2\end{vmatrix}}[/latex] and [latex]z_2=\frac{\begin{vmatrix}a_1&r_1 \\ a_2&r_2\end{vmatrix}}{\begin{vmatrix}a_1&b_1 \\ a_2&b_2\end{vmatrix}}[/latex].

Example: using cramer’s rule

Use Cramer’s rule to solve the following system of equations.

[latex]\begin{aligned} x^2z_1+2xz_2&=0 \\ z_1-3x^2z_2&=2x \end{aligned}[/latex].

Show Solution

try it

Use Cramer’s rule to solve the following system of equations.

[latex]\begin{aligned} 2xz_1-3z_2&=0 \\ x^2z_1+4xz_2&=x+1 \end{aligned}[/latex].

Show Solution

problem-solving strategy: method of variation of parameters

Solve the complementary equation and write down the general solution

[latex]c_1y_1(x)+c_2y_2(x)[/latex].
Use Cramer’s rule or another suitable technique to find functions [latex]u^\prime(x)[/latex] and [latex]v^\prime(x)[/latex] satisfying

[latex]\begin{aligned} u^\prime y_1+v^\prime y_2&=0 \\ u^\prime y_1^\prime+v^\prime y_2^\prime&=r(x) \end{aligned}[/latex]
Integrate [latex]u^\prime[/latex] and [latex]v^\prime[/latex] to find [latex]u(x)[/latex] and [latex]v(x)[/latex]. Then, [latex]y_p(x)=u(x)y_1(x)+v(x)y_2(x)[/latex] is a particular solution to the equation.
Add the general solution to the complementary equation and the particular solution found in step 3 to obtain the general solution to the nonhomogeneous equation.

example: using the method of variation of parameters

Find the general solution to the following differential equations.

[latex]y^{\prime\prime}-2y^\prime+y=\frac{e^t}{t^2}[/latex]
[latex]y^{\prime\prime}+y=3\sin^2x[/latex]

Show Solution

The complementary equation is [latex]y^{\prime\prime}-2y^\prime+y=0[/latex] with associated general solution [latex]c_1e^t+c_2te^t[/latex]. Therefore, [latex]y_1(t)=e^t[/latex] and [latex]y_2(t)=te^t[/latex]. Calculating the derivatives, we get [latex]y_1^\prime(t)=e^t[/latex] and [latex]y_2^\prime(t)=e^t+te^t[/latex] (step 1). Then, we want to find functions [latex]u'(t)[/latex] and [latex]v'(t)[/latex] so that

[latex]\begin{aligned} u^\prime e^t+v^\prime te^t&=0 \\ u^\prime e^t+v^\prime(e^t+te^t)=\frac{e^t}{t^2} \end{aligned}[/latex]

Applying Cramer’s rule, we have

[latex]u^\prime=\frac{\begin{vmatrix}0&te^t \\ \frac{e^t}{t^2}&e^t+te^t\end{vmatrix}}{\begin{vmatrix}e^t&te^t \\e^t&e^t+te^t\end{vmatrix}}=\frac{0-te^t\left(\frac{e^t}{t^2}\right)}{e^t(e^t+te^t)-e^tte^t}=\frac{-\frac{e^{2t}}{t}}{e^{2t}}=-\frac1t[/latex]

and

[latex]v^\prime=\frac{\begin{vmatrix}e^t&0\\e^t&\frac{e^t}{t^2}\end{vmatrix}}{\begin{vmatrix}e^t&te^t\\e^t&e^t+te^t\end{vmatrix}}=\frac{e^t\left(\frac{e^t}{t^2}\right)}{e^{2t}}=\frac{1}{t^2}[/latex] (step 2).

Integrating, we get

[latex]\begin{aligned} u&=-\displaystyle\int\frac1t \ dt=-\ln|t| \\ v&=\displaystyle\int\frac{1}{t^2}dt=-\frac{1}{t}\text{(step 3)}. \end{aligned}[/latex]

Then we have

[latex]\begin{aligned} y_p&=-e^t\ln|t|-\frac{1}{t}te^t \\ &=-e^t\ln|t|-e^t \text{(step 4)}. \end{aligned}[/latex]

The [latex]e^{t}[/latex] term is a solution to the complementary equation, so we don’t need to carry that term into our general solution explicitly. The general solution is

[latex]y(t)=c_1e^t+c_2te^t-e^t\ln|t|[/latex] (step 5).
The complementary equation is [latex]y^{\prime\prime}+y+0[/latex] with associated general solution [latex]c_1\cos x+c_2\sin x[/latex]. So, [latex]y_1(x)=\cos x[/latex] and [latex]y_2(x)=\sin x[/latex] (step 1). Then, we want to find functions [latex]u'(x)[/latex] and [latex]v'(x)[/latex] such that

[latex]\begin{aligned} u^\prime\cos x+v^\prime\sin x&=0 \\ -y^\prime\sin x+v^\prime\cos x&=3\sin^2x \end{aligned}[/latex].

Applying Cramer’s rule, we have

[latex]u^\prime=\frac{\begin{vmatrix}0&\sin x \\3\sin^2x&\cos x\end{vmatrix}}{\begin{vmatrix}\cos x&\sin x \\ -\sin x&\cos x\end{vmatrix}}=\frac{0-3\sin^3x}{\cos^2x+\sin^2x}=-3\sin^3x[/latex]

and

[latex]v^\prime=\frac{\begin{vmatrix}\cos x&0\\ -\sin x&3\sin^2x\end{vmatrix}}{\begin{vmatrix}\cos x&\sin x \\-\sin x&\cos x\end{vmatrix}}=\frac{3\sin^2x\cos x}{1}=3\sin^2x\cos x[/latex] (step 2).

Integrating first to find [latex]u[/latex], we get

[latex]u=\displaystyle\int-3\sin^3xdx=-3\left[-\frac13\sin^2x\cos x+\frac23\displaystyle\int\sin xdx\right]=\sin^2x\cos x+2\cos x[/latex] (step 3).

Now, we integrate to find [latex]v[/latex]. Using substitution (with [latex]w=\sin x[/latex]), we get

[latex]v=\displaystyle\int3\sin^2x\cos xdx=\displaystyle\int3w^2dw=w^3=\sin^3x[/latex].

Then,

[latex] \begin{aligned} y_p&=(\sin^2x\cos x+2\cos x)\cos x+(\sin^3x)\sin x \\ &=\sin^2x\cos^2x+2\cos^2x+\sin^4x \\ &=2\cos^2x+\sin^2x(\cos^2x+\sin^2x) \ \ \ \ (step 4). \\ &=2\cos^2x+\sin^2 \\ &=\cos^2x+1 \end{aligned} [/latex]

The general solution is

[latex]y(x)=c_1\cos x+c_2\sin x+1+\cos^2x[/latex] (step 5).

try it

Find the general solution to the following differential equations.

[latex]y^{\prime\prime}+y=\sec x[/latex]
[latex]x^{\prime\prime}-2x^\prime+x=\frac{e^t}t[/latex]

Show Solution

Watch the following videos to see the worked solution to the above Try It

You can view the transcript for “CP 7.14a” here (opens in new window).You can view the transcript for “CP 7.14b” here (opens in new window).

Module 7: Second-Order Differential Equations