21.04.2015 Views

Lecture Notes in Differential Equations - Bruce E. Shapiro

Lecture Notes in Differential Equations - Bruce E. Shapiro

Lecture Notes in Differential Equations - Bruce E. Shapiro

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Lesson 29<br />

Regular S<strong>in</strong>gularities<br />

The method of power series solutions discussed <strong>in</strong> chapter 28 fails when<br />

the series is expanded about a s<strong>in</strong>gularity. In the special case of regular<br />

s<strong>in</strong>gularity this problem can be rectified with method of Frobenius, which<br />

we will discuss <strong>in</strong> chapter 30. We recall the def<strong>in</strong>ition of a regular s<strong>in</strong>gular<br />

po<strong>in</strong>t here.<br />

Def<strong>in</strong>ition 29.1. Let<br />

a(t)y ′′ + b(t)y ′ + c(t)y = 0 (29.1)<br />

have a s<strong>in</strong>gular po<strong>in</strong>t at t 0 , i.e., a(t 0 ) = 0. Then if the limits<br />

(t − t 0 )b(t)<br />

lim<br />

= L 1 (29.2)<br />

t→t 0 a(t)<br />

(t − t 0 ) 2 c(t)<br />

lim<br />

= L 2 (29.3)<br />

t→t 0 a(t)<br />

exist and are f<strong>in</strong>ite we say that t 0 is a regular s<strong>in</strong>gularity of the differential<br />

equation. Note that these limits will always exist when the<br />

arguments of the limit are analytic (<strong>in</strong>f<strong>in</strong>itely differentiable) at t 0 . If either<br />

of the limits does not exist or are <strong>in</strong>f<strong>in</strong>ite (or the arguments of either limit<br />

is not analytic) then we say that t 0 is an irregular s<strong>in</strong>gularity of the<br />

differential equation. If a(t 0 ) ≠ 0 then we call t 0 an ord<strong>in</strong>ary po<strong>in</strong>t of<br />

the differential equation.<br />

Theorem 29.2. The power series method of chapter 28 works whenever the<br />

series is expanded about an ord<strong>in</strong>ary po<strong>in</strong>t, and the radius of convergence<br />

of the series is the distance from t 0 to the nearest s<strong>in</strong>gularity of a(t).<br />

275

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!