Nonhomogeneous Equations

[math] \newcommand{\ex}[1]{\item } \newcommand{\sx}{\item} \newcommand{\x}{\sx} \newcommand{\sxlab}[1]{} \newcommand{\xlab}{\sxlab} \newcommand{\prov}[1] {\quad #1} \newcommand{\provx}[1] {\quad \mbox{#1}} \newcommand{\intext}[1]{\quad \mbox{#1} \quad} \newcommand{\R}{\mathrm{\bf R}} \newcommand{\Q}{\mathrm{\bf Q}} \newcommand{\Z}{\mathrm{\bf Z}} \newcommand{\C}{\mathrm{\bf C}} \newcommand{\dt}{\textbf} \newcommand{\goesto}{\rightarrow} \newcommand{\ddxof}[1]{\frac{d #1}{d x}} \newcommand{\ddx}{\frac{d}{dx}} \newcommand{\ddt}{\frac{d}{dt}} \newcommand{\dydx}{\ddxof y} \newcommand{\nxder}[3]{\frac{d^{#1}{#2}}{d{#3}^{#1}}} \newcommand{\deriv}[2]{\frac{d^{#1}{#2}}{dx^{#1}}} \newcommand{\dist}{\mathrm{distance}} \newcommand{\arccot}{\mathrm{arccot\:}} \newcommand{\arccsc}{\mathrm{arccsc\:}} \newcommand{\arcsec}{\mathrm{arcsec\:}} \newcommand{\arctanh}{\mathrm{arctanh\:}} \newcommand{\arcsinh}{\mathrm{arcsinh\:}} \newcommand{\arccosh}{\mathrm{arccosh\:}} \newcommand{\sech}{\mathrm{sech\:}} \newcommand{\csch}{\mathrm{csch\:}} \newcommand{\conj}[1]{\overline{#1}} \newcommand{\mathds}{\mathbb} [/math]

Nonhomogeneous Equations.

We continue to consider a given real-valued function [math]F(x)[/math], a given polynomial

[[math]] p(t) = t^n + a_{n-1}t^{n-1} + \cdots + a_1t + a_0, [[/math]]

with real coefficients, and the resulting differential equation

[[math]] \begin{equation} p(D)y = F(x) . \label{eq11.5.1} \end{equation} [[/math]]

In this section our objective is to develop techniques for solving many examples of (1) quickly. This is in contrast to Section 3, where it is demonstrated that (1) can always be solved by successively solving first-order linear equations. The task of solving all these first-order equations can be extremely tedious, and we therefore look for a simpler method. The technique to be discussed is based on two premises. The first is the fact, demonstrated in Section 4, that one can write down the general solution of the associated homogeneous equation

[[math]] \begin{equation} p(D)y = 0 \label{eq11.5.2} \end{equation} [[/math]]

immediately, once [math]p(t)[/math] has been factored into irreducible polynomials. The second is Theorem (4.1), page 640, which asserts that the general solution of (1) is equal to the general solution of (2) plus any particular solution of (1). Hence the problem of solving (1) reduces to that of finding any one solution. As an introductory example, consider the differential equation

[[math]] \begin{equation} (D^2 + 4D + 3)y = 3x^2 + 2x - 6. \label{eq11.5.3} \end{equation} [[/math]]

The characteristic polynomial is [math]t^2 + 4t + 3[/math], which factors into the product [math](t + 1)(t + 3)[/math]. The associated homogeneous equation is therefore

[[math]] (D + 1)(D + 3)y = 0, [[/math]]

and its general solution, which we shall denote by [math]y_h[/math], is given by

[[math]] y_h = c_1e^{-x} + c_2e^{-3x}, [[/math]]

for arbitrary real numbers [math]c_1[/math] and [math]c_2[/math]. To obtain the general solution of (3), it remains to find a particular solution [math]y_p[/math], and any one is as good as any other. If we can find one, it follows by Theorem (4.1) that [math]y_h + y_p[/math] is the general solution of (3). Since the derivatives of polynomials are polynomials and since the right side of (3) is the polynomial [math]3x^2 + 2x - 6[/math], it is natural to seek a polynomial solution. Let us set

[[math]] y_p = A_nx^n + A_{n-1}x^{n-1} + \cdots + A_0, \;\;\;\mbox{with}\; A_n \neq 0, [[/math]]

and try to find [math]n[/math] and coefficients [math]A_n, . . ., A_0[/math] so that [math](D^2 + 4D + 3)y_p = 3x^2 + 2x - 6[/math]. Since [math]Dy_p[/math] is a polynomial of degree [math]n - 1[/math], and [math]D^2y_p[/math] is a polynomial of degree [math]n - 2[/math], it follows that [math](D^2 + 4D + 3)y_p[/math] is a polynomial of degree [math]n[/math]. If this polynomial is to equal [math]3x^2 + 2x - 6[/math], for every [math]x[/math], then it must be the case that [math]n = 2[/math]. Hence we let

[[math]] y_p = Ax^2 + Bx + C. [[/math]]

Then

[[math]] \begin{eqnarray*} Dy_p &=& 2Ax + B, \\ D^2y_p &=& 2A, \end{eqnarray*} [[/math]]

and so

[[math]] \begin{eqnarray*} (D^2 + 4D + 3)y_p &=& 2A + 4(2Ax + B) + 3(Ax^2 + Bx + C)\\ &=& 3Ax^2 + (8A + 3B)x + 2A + 4B + 3C. \end{eqnarray*} [[/math]]

The right side of the preceding equation is equal to [math]3x^2 + 2x - 6[/math], for all real numbers [math]x[/math], if and only if

[[math]] \begin{eqnarray*} 3 &=& 3A, \\ 2 &=& 8A + 3B,\\ -6 &=& 2A + 4B + 3C. \end{eqnarray*} [[/math]]

Solving these equations, we get [math]A = 1[/math], [math]B = - 2[/math], and [math]C = 0[/math]. The function

[[math]] y_p= x^2 - 2x [[/math]]

is therefore a particular solution of (3). It follows from Theorem (4.1) that

[[math]] y = y_h + y_p = c_1e^{-x} + c_2 e^{-3x} + x^2 - 2x [[/math]]

is the general solution, where [math]c_1[/math], and [math]c_2[/math] are arbitrary real numbers. A second example is the differential equation

[[math]] \begin{equation} (D^2 + 4)y = 3e^{5x} . \label{eq11.5.4} \end{equation} [[/math]]

The characteristic polynomial [math]t^2 + 4[/math] is irreducible with roots [math]2i[/math] and [math]-2i[/math], and the general solution [math]y_h[/math] of the associated homogeneous equation [math](D^2 + 4)y = 0[/math] is therefore given by

[[math]] y_h = c_1 \cos 2x + c_2 \sin 2x, [[/math]]

for arbitrary real numbers [math]c_1[/math] and [math]c_2[/math]. A particular solution [math]y_p[/math] of (4) will be any function with the property that its second derivative plus four times itself is equal to [math]3e^{5x}[/math]. Since the derivative of an exponential function is again an exponential function, an intelligent guess is that a particular solution might be a function of the form

[[math]] y_p = Ae^{5x}. [[/math]]

Trying this, we obtain

[[math]] \begin{eqnarray*} Dy_p &=& 5Ae^{5x},\\ D^2y_p &=& 25Ae^{5x}, \end{eqnarray*} [[/math]]

and so

[[math]] (D^2 + 4)y_p = 25Ae^{5x} + 4Ae^{5x} = 29Ae^{5x}. [[/math]]

Obviously, [math]29Ae^{5x} = 3e^{5x}[/math] if and only if [math]A = \frac{3}{29}[/math]. Hence a particular solution of the differential equation [math](D^2 + 4)y = 3e^{5x}[/math] is

[[math]] y_p = \frac{3}{29} e^{5x}, [[/math]]

and it is a consequence of Theorem (4.1) that the general solution is

[[math]] y = y_h + y_p = c_1 \cos 2x + c_2 \sin 2x + \frac{3}{29} e^{5x}, [[/math]]

where [math]c_1[/math] and [math]c_2[/math] are arbitrary real constants. The method of finding particular solutions used in the above two examples is sometimes called the method of undetermined coefficients. For a third example, consider the differential equation

[[math]] \begin{equation} (D^2 + 4)y = 7 \sin 2x. \label{eq11.5.5} \end{equation} [[/math]]

The associated homogeneous equation [math](D^2 + 4)y = 0[/math] is the same as for equation (4), and its general solution is

[[math]] y_h = c_1 \cos 2x + c_2 \sin 2x. [[/math]]

In attempting to find a particular solution of (5), one might reason from the experience of the preceding examples as follows: The right side is the function [math]7 \sin 2x[/math]. Since the derivatives of any function which is a linear combination of sines and cosines are functions of the same type, a reasonable candidate for a particular solution is some function [math]y_p[/math] of the form

[[math]] y_p = A \sin 2x + B \cos 2x. [[/math]]

However, when we try to determine values of the coefficients [math]A[/math] and [math]B[/math] which will make [math]y_p[/math] a solution, we find that [math](D^2 + 4)y_p = 0[/math]. This is actually not surprising, since any function of this type has already been shown to be a solution of the associated homogeneous equation. Hence we must try some other form for [math]y_p[/math]. With some ingenuity and willingness to experiment, it is not at all impossible to discover a particular solution to (5). Nevertheless, this example serves to illustrate the desirability of analyzing our technique to reduce the amount of inspiration necessary. For this purpose, we again consider the differential equation (1); i.e.,

[[math]] p(D)y = F(x) [[/math]]

with given function [math]F(x)[/math] and polynomial [math]p(t)[/math] of degree [math]n[/math]. To apply the method of undetermined coefficients, it is necessary that the right side of (1) is itself a solution of a homogeneous linear differential equation with constant coefficients. Hence in the discussion which follows, we make the assumption that there exists a polynomial $q(t)$ of degree m such that [math]q(D)F(x) = 0[/math]. Such a linear differential operator [math]q(D)[/math] is sometimes called an annihilator of the right side of (1). For the differential equation (3), a suitable annihilator is the operator [math]D^3[/math], since

[[math]] D^3 (3x^2 + 2x - 6) = 0. [[/math]]

For equation (5), whose right side is the function [math]7 \sin 2x[/math], we have [math]D(7 \sin 2x) = 14 \cos 2x[/math] and [math]D^2(7 \sin 2x) = D(14 \cos 2x) = - 4(7 \sin 2x)[/math]. Hence

[[math]] (D^2 + 4)7 \sin 2x = 0, [[/math]]

and thus [math]D^2 + 4[/math] is an annihilator of the right side. Similarly, it is easy to see that

[[math]] (D - 5)3e^{5x} = 0, [[/math]]

from which it follows that [math]D - 5[/math] is an annihilator of the right side of equation (4). Returning to the general case, we first observe that, if [math]y[/math] is an arbitrary solution of the differential equation (1), then

[[math]] q(D)p(D)y = q(D)F(x) = 0. [[/math]]

That is, every solution of (1) is also a solution of the equation

[[math]] \begin{equation} q(D)p(D)y = 0, \label{eq11.5.6} \end{equation} [[/math]]

which is homogeneous and of order [math]m + n[/math]. Let us denote by [math]y_*[/math] the general solution of (6), and by [math]y_h[/math] the general solution of the associated homogeneous equation of (1), i.e., of the equation [math]p(D)y = 0[/math]. It is clear that [math]y_h[/math] is also a solution of (6). We know that [math]y_*[/math] contains [math]m + n[/math] arbitrary constants and that [math]y_h[/math] contains [math]n[/math]. It follows from the form of the general solution of a homogeneous linear differential equation with constant coefficients, as presented in Theorem (4.4), page 646, that we can write

[[math]] \begin{equation} y_* = y_h + u, \label{eq11.5.7} \end{equation} [[/math]]

where [math]u[/math] contains m arbitrary constants. It will follow that these are the “undetermined coefficients” of the particular solution we are seeking. Let [math]y_1[/math] be a solution of (1); i.e., [math]y[/math] is some function with the property that [math]p(D)y_1 = F(x)[/math]. Then [math]y[/math]is also a solution of (6), and so there exists a set of values for the n constants in [math]y_h[/math] and for the m constants in [math]u[/math] such that, with these values substituted, we have

[[math]] y_1 = y_h + u. [[/math]]

Hence

[[math]] \begin{eqnarray*} F(x) = p(D)y_1 &=& p(D)(y_h + u) \\ &=& p(D)y_h + p(D)u \\ &=& 0 + p(D)u \\ &=& p(D)u. \end{eqnarray*} [[/math]]

Thus we have proved that there exists a set of values for the [math]m[/math] constants in [math]u[/math] such that, with these values substituted, the resulting function [math]u[/math] is a solution of the differential equation (1). Moreover, it can be proved that there is only one such set of values. Hence, as the following examples will illustrate, these “undetermined coefficients” are uniquely determined by the equation

[[math]] \begin{equation} p(D)u = F(x). \label{eq11.5.8} \end{equation} [[/math]]

We take for the particular solution [math]y_p[/math] the function [math]u[/math] specified by equations (7) and (8). Example Find the general solution of the differential equation (5), i.e., of

[[math]] (D^2 + 4)y = 7 \sin 2x. [[/math]]

As indicated earlier, the general solution of the associated homogeneous equation [math](D^2 + 4)y = 0[/math] is

[[math]] y_h = c_1 \cos 2x + c_2 \sin 2x. [[/math]]

Moreover, we have observed that [math](D^2 + 4)7 \sin 2x = 0[/math], and therefore the operator [math]D^2 + 4[/math] is an annihilator of the right side. Hence we consider the homogeneous fourth-order equation

[[math]] (D^2 + 4)(D^2 + 4)y = (D^2 + 4)^2 y = 0. [[/math]]

The general solution of this equation is given by

[[math]] \begin{eqnarray*} y_* &=& (Ax + B) \cos 2x + (Cx + D) \sin 2x \\ &=& B \cos 2x + D \sin 2x + Ax \cos 2x + Cx \sin 2x, \end{eqnarray*} [[/math]]

for arbitrary real numbers, [math]A, B, C[/math], and [math]D[/math]. It is clear that

[[math]] y_h = B \cos 2x + D \sin 2x, [[/math]]

and we therefore set

[[math]] u = Ax \cos 2x + Cx \sin 2x. [[/math]]

It follows that

[[math]] Du = A \cos 2x - 2Ax \sin 2x + C \sin 2x + 2Cx \cos 2x, [[/math]]

and

[[math]] \begin{eqnarray*} D^2u &=& - 2A\sin2x - 2A\sin2x - 4Ax\cos2x \\ &+& 2C \cos 2x + 2C \cos 2x - 4Cx \sin 2x \\ &=& (4C - 4Ax) \cos 2x + ( - 4A - 4Cx) \sin 2x. \end{eqnarray*} [[/math]]

Hence

[[math]] \begin{eqnarray*} (D^2 + 4)u &=& (4C - 4Ax + 4Ax) \cos 2x + ( -4A - 4Cx + 4Cx) \sin 2x \\ &=& 4C \cos 2x - 4A \sin 2x. \end{eqnarray*} [[/math]]

Setting [math](D^2 + 4)u = 7 \sin 2x[/math], we obtain

[[math]] 4C \cos 2x - 4A \sin 2x = 7 \sin 2x. [[/math]]

Since this equation is to be true for all real values of [math]x[/math], we conclude that [math]4C = 0[/math] and [math]- 4A = 7[/math]. Thus [math]C = 0[/math] and [math]A = - \frac{7}{4}[/math]. It follows that the function [math]u[/math], with these values substituted for the constants, is a solution of the given differential equation. We therefore set

[[math]] y_p = - \frac{7}{4} x \cos 2x, [[/math]]

and obtain

[[math]] y = y_h + y_p = c_1 \cos 2x + c_2 \sin 2x - \frac{7}{4} x \cos 2x [[/math]]

as the general solution. Example Find the general solution of the differential equation

[[math]] \frac{d^2y}{dx^2} + \frac{dy}{dx} - 2y = 5e^{-2x}. [[/math]]

The characteristic polynomial is [math]t^2 + t - 2 = (t + 2)(t - 1)[/math], and the differential equation can therefore be written

[[math]] (D^2 + D - 2)y = (D + 2)(D - Dy = 5e^{-2x}. [[/math]]

The general solution of the associated homogeneous equation

[[math]] (D + 2)(D - 1)y = 0 [[/math]]

is given by

[[math]] y_h = c_1e^{-2x} + c_2e^{-2x} . [[/math]]

The right side of the nonhomogeneous equation is the function [math]5e^{-2x}[/math]. Since [math]D(5e^{-2x}) = - 2(5e^{-2x})[/math], it follows that

[[math]] (D + 2)5e^{-2x} = 0 , [[/math]]

and so [math]D + 2[/math] is an annihilator. We therefore consider the third-order homogeneous equation

[[math]] (D + 2)(D + 2)(D - 1)y = (D + 2)^2(D - 1)y = 0, [[/math]]

whose general solution is

[[math]] y_* = (Ax + B)e^{-2x} + Ce^{x}, [[/math]]

for any real numbers [math]A, B[/math], and [math]C[/math]. Recognizing that [math]Be^{-2x} + Ce^x = y_h[/math], we set

[[math]] u = Axe^{-2x}. [[/math]]

The constant [math]A[/math] is evaluated by setting [math](D^2 + D - 2)u = 5e^{-2x}[/math]. Differentiating to obtain the left side, we get

[[math]] \begin{eqnarray*} Du &=& Ae^{-2x} - 2Axe^{-2x},\\ D^2u &=& - 2Ae^{-2x} - 2Ae^{-2x} + 4Axe^{-2x}\\ &=& - 4Ae^{-2x} + 4Axe^{-2x}. \end{eqnarray*} [[/math]]

Hence

[[math]] \begin{eqnarray*} (D^2 + D - 2)u &=& - 4Ae^{-2x} + 4Axe^{-2x} + Ae^{-2x} - 2Axe^{-2x} - 2Axe^{-2x}\\ &=& - 3Ae^{-2x} . \end{eqnarray*} [[/math]]

We therefore obtain the equation [math]-3Ae^{-2x} = 5e^{-2x}[/math], which implies that [math]A = - \frac{5}{3}[/math]. Hence the function [math]u[/math] obtained by substituting this value for [math]A[/math] is a particular solution. Thus we take

[[math]] y_p = - \frac{5}{3} xe^{-2x}, [[/math]]

and it follows that the general solution is given by

[[math]] y = y_h + y_p = c_1e^{-2x} + c_2e^{x} - \frac{5}{3}xe^{-2x}, [[/math]]

for arbitrary real numbers [math]c_1[/math] and [math]c_2[/math].

Example Solve the differential equation

[[math]] D^3(D + 2)y = 8x + 1. [[/math]]

The characteristic polynomial is [math]t^3(t + 2)[/math], whose roots 0 and [math]-2[/math] occur with multiplicities three and one, respectively. It follows that the general solution of the associated homogeneous equation is

[[math]] \begin{eqnarray*} y_h &=& (c_1x^2 + c_2x + c_3)e^{0x} + c_4e^{-2x} \\ &=& c_1x^2 + c_2x + c_3 + c_4e^{-2x} . \end{eqnarray*} [[/math]]

The right side of the given nonhomogeneous equation is [math]8x + 1[/math], and the operator [math]D^2[/math] is an annihilator, since [math]D^2(8x + 1) = 0[/math]. Hence we consider the sixth-order homogeneous equation

[[math]] D^2D^3(D + 2)y = D^5(D + 2)y = 0, [[/math]]

the general solution of which is

[[math]] y_* = Ax^4 + Bx^3 + Cx^2 + Dx + E + Fe^{-2x}. [[/math]]

It is obvious that [math]y_h = Cx^2 + Dx + E + Fe^{-2x}[/math], and we set

[[math]] u = Ax^4 + Bx^3 . [[/math]]

It follows that

[[math]] \begin{eqnarray*} Du &=& 4Ax^3 + 3Bx^2, \\ D^2u &=& 12Ax^2 + 6Bx, \\ D^3u &=& 24Ax + 6B, \\ D^4u &=& 24A, \end{eqnarray*} [[/math]]

and so

[[math]] \begin{eqnarray*} D^3(D + 2)u &=& D^4u + 2D^3u\\ &=& 24A + 48Ax + 12B\\ &=& 48Ax + 24A + 12B. \end{eqnarray*} [[/math]]

Setting [math]D^3(D + 2)u = 8x + 1[/math], we obtain the equation

[[math]] 48Ax + 24A + 12B = 8x + 1, [[/math]]

which is true for all real values of [math]x[/math] if and only if [math]A = \frac{1}{6}[/math] and [math]B = - \frac{1}{4}[/math]. It follows that a particular solution of the differential equation

[[math]] D^3(D + 2)y = 8x + 1 [[/math]]

is defined by

[[math]] y_p = \frac{1}{6}x^4 - \frac{1}{4}x^3, [[/math]]

and the general solution is, therefore,

[[math]] y = y_h + y_p = c_1x^2 + c_2x + c_3 + c_4e^{-2x} + \frac{1}{6}x^4 - \frac{1}{4}x^3, [[/math]]

for arbitrary real numbers [math]c_1, c_2[/math], and [math]c_3[/math], and [math]c_4[/math].

The method of undetermined coefficients which we have studied in this section is not applicable to all linear differential equations with constant coefficients. For example, it will not work for the equation [math](D^2 + 2)y = \tan x[/math], because there is no polynomial [math]q(t)[/math] with the property that [math]q(D)\tan x = 0[/math]. Of course, this equation can be solved by replacing it by two first-order linear equations and solving these successively as in Section 3. It can also be solved by another well-known technique, called the method of variation of parameters, which we shall not discuss in this book. Finally, it is important to realize that there exist tables in which particular solutions of the equation [math]p(D)y = F(x)[/math] are tabulated for a variety of functions [math]F(x)[/math]. In particular, see pages 112 to 114 of the book by E. J. Cogan and R. Z. Norman, Handbook of Calculus, Difference and Differential Equations, Prentice-Hall, 2nd ed., 1963.

\end{exercise}

General references

Doyle, Peter G. (2008). "Crowell and Slesnick's Calculus with Analytic Geometry" (PDF). Retrieved Oct 29, 2024.