{"id":430,"date":"2018-11-19T05:59:15","date_gmt":"2018-11-19T05:59:15","guid":{"rendered":"http:\/\/msp01.epgpbooks.inflibnet.ac.in\/?post_type=chapter&p=430"},"modified":"2019-04-30T11:42:49","modified_gmt":"2019-04-30T11:42:49","slug":"series-solution-of-differential-equations","status":"publish","type":"chapter","link":"https:\/\/ebooks.inflibnet.ac.in\/msp01\/chapter\/series-solution-of-differential-equations\/","title":{"rendered":"Series solution of differential equations"},"content":{"raw":"
\"epgp<\/a>\r\n<\/span><\/div>\r\n
\r\n\r\nTABLE OF CONTENTS<\/strong>\r\n

1. Introduction<\/p>\r\n

2. Solution near an ordinary point<\/p>\r\n

3. Solution near a regular singularity 3.1 The series solution<\/p>\r\n

3.2 Convergence of the series solution near a regular singularity<\/p>\r\n

4. Solution for large z<\/em><\/p>\r\n

5. Solution when roots are equal or differ by integer<\/p>\r\n

6. Equation with three regular singularities<\/p>\r\n\r\n<\/div>\r\n

\r\n\r\nLEARNING OBJECTIVES<\/strong>\r\n

1. Series method of solution, the most general for linear equations, is introduced.<\/p>\r\n

2. First, method for series solution near an ordinary point of a differential equation is described.<\/p>\r\n

3. Next the case of a regular singularity is taken up. First the case of real distinct roots of the indicial equation is described and the convergence of the series solution established.<\/p>\r\n

4. Then the case of solution valid for large z<\/em> is considered.<\/p>\r\n

5. Next the case in which the roots of the indicial equation are equal or differ by an integer is taken up.<\/p>\r\n

6. Finally solution of equations with three regular singular points is studied.<\/p>\r\n \r\n\r\n<\/div>\r\n

\r\n

S e r i e s\u00a0 s o l u t i o n\u00a0 o f\u00a0 d i f f e r e n t i a l\u00a0 e q u a t i o n s<\/strong><\/p>\r\n \r\n\r\n1. Introduction<\/strong><\/span>\r\n

There are many applications that lead to linear second order differential equations that cannot be solved by any of the analytical methods that we have discussed in the last module. Throughout physics and engineering we deal with problems related to potential theory, wave motion, heat transfer and diffusion. These are described in terms of partial differential equation of the elliptic, parabolic and hyperbolic type. When simplified by the method of separation of variables, they lead to second order linear differential equations which form the backbone of classical physics. Well known examples are the Bessel equation, the Legendre equation, the airy equation etc. The solutions of these equations cannot be expressed in terms of polynomials, rational functions, trigonometric or exponential functions or other elementary functions. The solution can be expressed in terms of infinite power series, and we now aim to study the power series method of finding solutions of these equations. Quite often we are interested in the solution of these classical equations in the complex domain. To emphasize this fact we will take z<\/em> as our independent variable rather than x<\/em> as we have been doing so far.<\/p>\r\n \r\n

Before we embark on finding a series solution of second order linear equations, we first wish to see whether an analytic solution to the equation exists or not. We consider the equation<\/p>\r\n\"\"\r\n\r\n\"\"\r\n\r\nExamples<\/span>\r\n\r\n1.\u00a0\u00a0 For the Legendre equation\r\n\r\n\"\"\r\n\r\n2.\u00a0\u00a0 For the Bessel equation\r\n\r\n\"\"\r\n\r\nz <\/em>= 0 is the only singular point.\r\n\r\n3.\u00a0\u00a0\u00a0\u00a0\u00a0 For the Airy\u2019s equation\r\n\r\n\"\"\r\n\r\nall points are ordinary.\r\n\r\n \r\n\r\n<\/div>\r\n

\r\n

2. Solution near an ordinary point<\/strong><\/span><\/p>\r\n\"\"\r\n\r\n\"\"\r\n

The radius of convergence of each series is at least equal to R<\/em>. We now try to find a power series solution of the equation of the form [The index i<\/em> is not to be confused with the complex number = \u221a\u22121]<\/p>\r\n\"\"\r\n

by substituting equations (2) and (3) into (1) and comparing the coefficients of various powers of z<\/em>.\u00a0 Thus we have<\/p>\r\n\"\"\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\nwhere\r\n\r\n\"\"\r\n\r\nSimilarly<\/span>\r\n\r\n\"\"\r\n\r\nwhere<\/span>\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\nExample-1<\/span><\/span>\r\n

As an illustration we consider a simple equation where the result is well known:<\/span><\/p>\r\n\"\"\r\n\r\n<\/div>\r\n

\r\n

Here all points are ordinary. The solution is known to be in terms of sine and cosine functions. Let us try a series solution of the form<\/p>\r\n\"\"\r\n

On substituting in the equation above and comparing coefficients of various powers of z<\/em>, we have<\/p>\r\n\"\"\r\n\r\n<\/div>\r\n

\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\nExample-2<\/span>\r\n

It is not always possible to solve the recurrence relation to get the coefficients explicitly as functions of the index i<\/em>. But we can calculate as many coefficients as we like. As an example consider<\/p>\r\n\"\"\r\n\r\nThe point z<\/em> = 0 is an ordinary point, so we try a solution of the form\"\"\r\n\r\nSubstituting in the equation above and comparing the coefficients of various power of z<\/em>, we obtain\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n<\/div>\r\n

\r\n

3. Solution near a regular singularity<\/strong><\/span><\/p>\r\n\"\"\r\n\r\nExamples<\/span>\r\n\r\n1.\u00a0 For the Legendre equation\r\n\r\n\"\"\r\n\r\n2.\u00a0\u00a0 For the Bessel equation\r\n\r\n\"\"\r\n\r\nThe singular point at z<\/em> = 1 is a regular singular point.\r\n\r\n\"\"\r\n\r\n \r\n\r\n3.1 The series solution<\/strong><\/span>\r\n\r\n\"\"\r\n\r\nLet us assume a solution of the form\r\n\r\n\"\"\r\n\r\nIf we substitute equations (9) and (10) into the differential equation (1) and compare the coefficients of various powers of z<\/em>, we obtain the following recurrence relation:\r\n\r\n\"\"\r\n\r\n<\/div>\r\nwhere<\/span>\r\n\r\n\"\"\r\n\r\n\"\"\r\n

The nature of the roots of the indicial equation is very important. If the indicial equation has two distinct roots, real or complex, that do not differ by an integer, we obtain two linearly independent solutions, one corresponding to each root. If the roots are equal or differ by an integer we obtain only one formal solution. Let us consider the first case for the time being and study the convergence of the series solutions.<\/span><\/p>\r\n\r\n

\r\n\r\n \r\n\r\n3.2 Convergence of the series solution near a regular singularity<\/strong><\/span>\r\n

Like in the case of solution near an ordinary point, in this case also the solution is only formal till the convergence of the series is established. For the solution to be meaningful the series must either terminate or have a non-zero radius of convergence. If the series terminates there is nothing to prove; so let us assume that the series does not terminate. The proof of convergence is on lines similar that for the case of ordinary point. If a1<\/sub> <\/em>is a root of the indicial equation (13), then from equation (12)<\/p>\r\n\"\"\r\n\r\n\"\"\r\n\r\n<\/div>\r\n

\r\n\r\n\u00a0where K<\/em> is the larger of the two, M<\/em> and N<\/em>. If we now substitute these bounds, equation (15), into equation (14) we get\r\n\r\n\"\"\r\n\r\n<\/div>\r\n\"\"\r\n\r\n\"\"\r\n
\r\n

4. Solution for large z<\/em><\/strong><\/span><\/p>\r\n

So far we have talked of ordinary points or singular points for finite values of the variable z<\/em>. It is also important to know about the nature of the solution at infinity. The nature of the solution will depend on whether the point at infinity is an ordinary point, a regular singular point or an irregular singular point. For this study we make the transformation u<\/em> = 1\/z<\/em> and then study the behaviour of the resulting equation near u<\/em> = 0. Making this transformation in equation (1) we obtain<\/p>\r\n\"\"\r\n\r\nThe point at infinity is an ordinary point if\r\n\r\n\"\"\r\n\r\nare regular at the origin, i.e., if\r\n\r\n\"\"\r\n

are regular at infinity. The complete solution of the equation in this case will be of the form<\/p>\r\n\"\"\r\n\r\nThe point u<\/em> = 0 is a regular singular point if\r\n\r\n\"\"\r\n\r\n\"\"\r\n

are not equal or do not differ by an integer, the two linearly independent solutions of the differential equation (1) in the neighbourhood of infinity are<\/span><\/p>\r\n\"\"\r\n\r\n<\/div>\r\n

\r\n\r\n \r\n\r\n5. Solution when roots are equal or differ by integer<\/strong><\/span>\r\n\r\n\"\"\r\n

The function u<\/em> satisfies the equation<\/p>\r\n\"\"\r\n\r\n\"\"\r\n

Since we are interested in the second linearly independent solution only we choose a<\/em> = 0, b<\/em> = 1. Hence the second solution to our differential equation is<\/p>\r\n\"\"\r\n\r\nOn using equations (25) and (26) in (24) we get<\/span>\r\n\r\n\"\"\r\n\r\n<\/div>\r\n

\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n \r\n

6.\u00a0 Equation with three regular singularities<\/strong><\/span><\/p>\r\n

Suppose the differential equation (1)<\/p>\r\n\"\"\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n<\/div>\r\n

\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\nExample<\/span>\r\n\r\nThe associated Legendre equation is\r\n\r\n\"\"\r\n\r\n<\/div>\r\n \r\n\r\nSUMMARY<\/strong>\r\n