# Elementary Differential Equations and Boundary Value Problems - Boyce W.E.

**Download**(direct link)

**:**

**348**> 349 350 351 352 353 354 .. 609 >> Next

Nonhomogeneous Sturm-liouville Problems. Consider the boundary value problem

consisting of the nonhomogeneous differential equation

L [y] = -[ ð(õ)Ó]' + q (x) y = fir (x) y + f (x), (1)

where i is a given constant and f is a given function on 0 < x < 1, and the boundary conditions

ai y(0) + a2 y (0) = 0, b, y(1) + b2y (1) = 0.

(2)

642

Chapter 11. Boundary Value Problems and Sturm-Liouville Theory

As in Section 11.2 we assume that p, p', q, and r are continuous on 0 < x < 1 and that p(x) > 0 and r(x) > 0 there. We will solve the problem (1), (2) by making use of the eigenfunctions of the corresponding homogeneous problem consisting of the differential equation

and the boundary conditions (2). Let k1 < X2 < ¦ ¦¦ < Xn < ¦ ¦¦ be the eigenvalues of this problem, and let ô1 ,ô2,... ,ôï,... be the corresponding normalized eigenfunctions.

We now assume that the solution y = ô (x) of the nonhomogeneous problem (1), (2) can be expressed as a series of the form

However, since we do not know ô (x), we cannot use Eq. (5) to calculate bn. Instead, we will try to determine bn so that the problem (1), (2) is satisfied, and then use Eq. (4) to find ô (x). Note first that ô as given by Eq. (4) always satisfies the boundary conditions

(2) since each ôï does.

Now consider the differential equation that ô must satisfy. This is just Eq. (1) with y replaced by ô:

We substitute the series (4) into the differential equation (6) and attempt to determine bn so that the differential equation is satisfied. The term on the left side of Eq. (6) becomes

where we have assumed that we can interchange the operations of summation and differentiation.

Note that the function r appears in Eq. (7) and also in the term iir (x)ô (x) in Eq. (6). This suggests that we rewrite the nonhomogeneous term in Eq. (6) as r (x) [ f (x)/r(x)] so that r(x) also appears as a multiplier in this term. If the function f/r satisfies the conditions of Theorem 11.2.4, then

L [y] = Xr (x)y

(3)

TO

(4)

n= 1

From Eq. (34) of Section 11.2 we know that

n = 1, 2,....

(5)

L [ô](x) = fir (x^(x) + f (x).

(6)

TO

TO

Lw(x) =L Y2bnôï (x) = Y2 bnL[ôï](x)

n= 1

n=1

TO

(7)

(8)

where, using Eq. (5) with ô replaced by f/r,

Cn =f r (x)fx) ôï (x) dx =f f (x )ôï (x) dx, n = 1, 2,.... (9)

n 0 r(x) n 0 n

11.3 Nonhomogeneous Boundary Value Problems

643

Upon substituting for ô(õ), L[ô](õ), and f (x) in Eq. (6) from Eqs. (4), (7), and (8), respectively, we find that

OO OO OO

E bn knr (õ)Ôï (x) = ÄÃ (x)^2 bn Ôï (x) + r (x)^2, Cn Ôï (x)-

n=1 n=1 n=1

After collecting terms and canceling the common nonzero factor r(x) we have

TO

È(Ëï - Ä)Üï - CJÔÏ(x) = 0 (10)

n= 1

If Eq. (10) is to hold for each x in the interval 0 < x < 1, then the coefficient of ôï (x) must be zero for each n; see Problem 14 for a proof of this fact. Hence

(Xn - ö)Üï - cn = 0, n = 1, 2,.... (11)

We must now distinguish two main cases, one of which also has two subcases.

First suppose that ä = Xn for n = 1, 2, 3,...; that is, ä is not equal to any eigenvalue of the corresponding homogeneous problem. Then

bn = -C^, n = 1,2,3,..., (12)

Xn - ä

and

OC

y = Ô(x) = Y2 ë n Ôï(x). (13)

n=1 Ëï Ä

Equation (13), with cn given by Eq. (9), is a formal solution of the nonhomogeneous boundary value problem (1), (2). Our argument does not prove that the series (13) converges. However, any solution ofthe boundary value problem (1), (2) clearly satisfies the conditions of Theorem 11.2.4; indeed, it satisfies the more stringent conditions given in the paragraph following that theorem. Thus it is reasonable to expect that the series (13) does converge at each point, and this fact can be established provided, for example, that f is continuous.

Now suppose that ä is equal to one of the eigenvalues of the corresponding homogeneous problem, say, ä = Xm; then the situation is quite different. In this event, for n = m Eq. (11) has the form 0 ¦ bm — cm = 0. Again we must consider two cases.

If ä = Xm and cm = 0, then it is impossible to solve Eq. (11) for bm, and the nonhomogeneous problem (1), (2) has no solution.

**348**> 349 350 351 352 353 354 .. 609 >> Next