At this point we have systematic techniques for solving the initial value problem a2(x)y''+a1(x)y'+a0(x)y=0, y(x0)=y0, y'(x0)=y0* when the second order differential equation has the form of a Cauchy-Euler equation or constant coefficients. In this chapter we develop techniques to find solutions of a2(x)y''+a1(x)y'+a0(x)y=0, y(x0)=y0, y'(x0)=y0* when a2(x), a1(x), and a0(x) are arbitrary functions of x. We do this by using power series and base it on the techniques introduced in Chapters 1 and 3.
We state theorems that show when solutions exist in the form of Taylor series
If any of a2(x), a1(x), and a0(x) are not continuous, or if a2(x)=0 at some point, a Taylor series solution may not exist. However, with appropriate restrictions on the behavior of a1(x)/a2(x) and a0(x)/a2(x) at x0 we can modify our techniques to find general solutions of the form
A knowledge of the first few terms in a series solution is useful in determining the behavior of the solution near a given initial value.
Occasionally the infinite series solution is the series expansion of a familiar function. When this occurs we can write such solutions in simpler, and more common, terms.
The functions with which we are familiar are usually defined by a simple formula. The techniques presented in this chapter are important because they allow us to introduce and define new functionswhich occur naturally in many fieldsas infinite series. This gives us a significant way to enlarge the family of familiar functions to include many important functions that cannot be defined by simple formulas. These functions are often designated Special Functions, and entire books are devoted to this subject.