Books
in black and white
Main menu
Share a book About us Home
Books
Biology Business Chemistry Computers Culture Economics Fiction Games Guide History Management Mathematical Medicine Mental Fitnes Physics Psychology Scince Sport Technics
Ads

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

Boyce W.E. Elementary Differential Equations and Boundary Value Problems - John Wiley & Sons, 2001. - 1310 p.
Download (direct link): elementarydifferentialequations2001.pdf
Previous << 1 .. 148 149 150 151 152 153 < 154 > 155 156 157 158 159 160 .. 609 >> Next

n 0
5.7 Series Solutions near a Regular Singular Point, Part II
Now let us consider the general problem of determining a solution of the equation
L [y] = x2 y" + x [xp(x )]y' + [x 2q (x )]y = 0, (1)
11Edmond Nicolas Laguerre (1834-1886), a French geometer and analyst, studied the polynomials named for him about 1879.
5.7 Series Solutions near a Regular Singular Point, Part II
273
where
() = ^2 , 2q () = ^2 , (2)
=0 =0
and both series converge in an interval |x | < p for some p > 0. The point = 0 is a regular singular point, and the corresponding Euler equation is
2 y" + 0 ' + q0 y =0 (3)
We seek a solution of Eq. (1) for > 0 and assume that it has the form
CO CO
= (, ) = ^ = Y, +, (4)
=0 =0
where 0 = 0, and we have written y = (, ) to emphasize that depends on r as well as .It follows that
OO
= ? (r + ) +-1, y = Y. (r + )( + - 1) +-2. (5)
=0 =0
Then, substituting from Eqs. (2), (4), and (5) in Eq. (1) gives
a0r(r - 1) + a1(r + 1)+1 + + (r + )( + - 1)+ +
+ (0 + \ + + + ')
[^ + 1 (r + 1)+1 +-+ (r + )+ +-]
+ (q0 + q1 + + q + )
(0 + 1 +1 +----+ + +-) = 0.
Multiplying the infinite series together and then collecting terms, we obtain 0 F (r ) + [1 F (r + 1) + ^^ + q^^+1
+ {2 F (r + 2) + ao(2r + q2) + l^l(r + 1) + ql]}r+2 + + HF (r + ) + 0(r + q) + 1[-( + 1) + q-l]
+ + a-1\p1(r + 1) + q1]}r + + = >
or in a more compact form,
L\](, ) = a0F(r)
O -1
+ Y, \F(r + ) + ak[(r + k-k + q-k] + =0, (6)
=1 k=0 J
where
F(r) = r (r - 1) + 0 + q0. (7)
For Eq. (6) to be satisfied identically the coefficient of each power of must be zero.
Since a0 = 0, the term involving yields the equation F(r) = 0. This equation is called the indicial equation; note that it is exactly the equation we would obtain in looking for solutions y = of the Euler equation (3). Let us denote the roots of the indicial equation by r1 and r2 with r1 > r2 if the roots are real. If the roots are complex, the designation of the roots is immaterial. Only for these values of r can we expect to find solutions of Eq. (1) of the form (4). The roots r1 and r2 are called the
274
Chapter 5. Series Solutions of Second Order Linear Equations
exponents at the singularity; they determine the qualitative nature of the solution in the neighborhood of the singular point.
Setting the coefficient of xr+n in Eq. (6) equal to zero gives the recurrence relation
F(r + n)an + Y ak[(r + k)pn-k + ?n-k] = > n L (8)
k=0
Equation (8) shows that, in general, an depends on the value of r and all the preceding coefficients a, ax,, an_j. It also shows that we can successively compute av a2,..., an,... in terms of a and the coefficients in the series for xp(x) and x2q (x) provided that F(r + 1), F(r + 2),..., F(r + n),... are not zero. The only values of r for which F(r) = 0 are r = rx and r = r2; since rx it follows that rx + n is not equal to rx or r2 for n 1. Consequently, F(rr + n) = 0 for n 1. Hence we can always determine one solution of Eq. (1) in the form (4), namely,
yl(x) = xr1
1 + an (ri)xn
n1
x > 0. (9)
Here we have introduced the notation an (rx) to indicate that an has been determined from Eq. (8) with r = rr To specify the arbitrary constant in the solution we have
taken a0 to be 1.
If r2 is not equal to rx, and rl r2 is not a positive integer, then r2 + n is not equal to rx for any value of n 1; hence F(r2 + n) = 0, and we can also obtain a second solution
y2(x) = xr2
1 + ? an (r2)x
n = 1
x > 0. (10)
Just as for the series solutions about ordinary points discussed in Section 5.3, the series in Eqs. (9) and (10) converge at least in the interval |x| < p where the series for both xp(x) and x2q(x) converge. Within their radii of convergence, the power series
Previous << 1 .. 148 149 150 151 152 153 < 154 > 155 156 157 158 159 160 .. 609 >> Next