{"id":564,"date":"2018-11-19T11:08:51","date_gmt":"2018-11-19T11:08:51","guid":{"rendered":"http:\/\/msp01.epgpbooks.inflibnet.ac.in\/?post_type=chapter&p=564"},"modified":"2019-04-30T11:47:15","modified_gmt":"2019-04-30T11:47:15","slug":"bessel-differential-equation","status":"publish","type":"chapter","link":"https:\/\/ebooks.inflibnet.ac.in\/msp01\/chapter\/bessel-differential-equation\/","title":{"rendered":"Bessel differential equation"},"content":{"raw":"
\"epgp<\/a>\r\n<\/span><\/div>\r\n
\r\n

TABLE OF CONTENTS<\/strong><\/p>\r\n

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

2. Bessel functions<\/p>\r\n

3. The recurrence relations<\/p>\r\n

4. Bessel Functions of integer order \u2013 Integral representation<\/p>\r\n

4.1 The generating function<\/p>\r\n

5. Bessel function of the second kind<\/p>\r\n

5.1 Hankel functions<\/p>\r\n

6. Orthogonality of Bessel functions<\/p>\r\n

6.1 Expansion of a function in terms of Bessel functions<\/p>\r\n

7. Asymptotic behaviour of Bessel Functions<\/p>\r\n\r\n<\/div>\r\n

LEARNING OBJECTIVES<\/strong><\/p>\r\n\r\n

\r\n
    \r\n \t
  1. Importance of Bessel differential equation is stressed and its derivation from Laplace equation sketched.<\/li>\r\n \t
  2. Bessel functions are introduced as solutions of Bessel equation.<\/li>\r\n \t
  3. Recurrence relations for the Bessel functions are obtained.<\/li>\r\n \t
  4. Discussion is specialized to Bessel functions of integer order; integral representation is obtained and the generating function derived.<\/li>\r\n \t
  5. Bessel function of the second kind are introduced and discussed in detail; the related Hankel functions are defined.<\/li>\r\n \t
  6. Idea of Orthogonality of Bessel functions is introduced and expansion of a function in terms of Bessel functions obtained.<\/li>\r\n \t
  7. The asymptotic behaviour of Bessel functions is briefly discussed.<\/li>\r\n<\/ol>\r\n \r\n\r\n<\/div>\r\n
    \r\n

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

    Apart from the Legendre differential equation the other equally important and ubiquitous equation in physics and related sciences is the differential equation due to Bessel. It appears in the study of problems involving circular membranes and circular disks etc. Like the Legendre equation, Bessel equation also arises in the solution of the Laplace equation by the method of separation of variables, in this case in cylindrical coordinates. In cylindrical coordinates Laplace equation takes the form<\/p>\r\n\"\"\r\n\r\n\"\"\r\n\r\nThis is the Bessel differential equation<\/em>.\r\n

    The equation is defined for all (complex) values of the parameter \u03bd<\/em>. The most important cases are for \u03bd<\/em> equal to an integer or half integer. In most problems V<\/em> is required to be a single valued function which implies that \u03bd<\/em> must be an integer. In this case Bessel\u2019s functions are known as cylindrical functions<\/em> or cylindrical harmonics<\/em>. Bessel functions with half-integer order are obtained in the solution of Helmholtz equation in spherical coordinates.<\/p>\r\n \r\n\r\n2. Bessel functions<\/strong><\/span>\r\n\r\n\"\"\r\n\r\nLet us make a change of variable\r\n\r\n\"\"\r\n\r\nWe attempt a series solution of the form<\/span>\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\nOn substituting in equation (3) we get<\/span>\r\n\r\n\"\"\r\n\r\n<\/div>\r\n

    \r\n\r\nNow compare the coefficients of various powers of y<\/em> and we get\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n<\/div>\r\n
    \r\n\r\n\"\"\r\n

    result for this case is obtained by simply replacing \u03bd<\/em> by \u2013\u03bd<\/em>. We thus obtain two series solutions of the Bessel equation, equation (8) and<\/p>\r\n\"\"\r\n\r\n<\/div>\r\n

    <\/div>\r\n
    \r\n

    These two solutions may or may not be linearly independent.<\/em><\/p>\r\n

    We now define the Bessel function of the first kind of<\/em> order \u03bd<\/em> to be the function defined by the series<\/p>\r\n\"\"\r\n

    is thus an entire<\/em> or integral function<\/em>.<\/p>\r\n

    Since equations (8) and (9) represent solutions of Bessel equation, so does<\/p>\r\n\"\"\r\n

    This is a solution with two independent constants. However, it will represent the complete solution if the two solutions are linearly independent. For \u03bd<\/em> = 0 the two solutions are identical; so certainly not linearly independent. The same is true if \u03bd<\/em> is an integer. For if \u03bd<\/em> = n<\/em>, an integer, we have<\/p>\r\n\"\"\r\n\r\n\"\"\r\n\r\n \r\n

    3. The recurrence relations<\/strong><\/span><\/p>\r\n\"\"\r\n

    In the first sum write the <\/span>i<\/em> = 0 term separately and in the second sum replace <\/span>i<\/em> by <\/span>i<\/em> \u2013 1:<\/span><\/p>\r\n\"\"\r\n\r\nOn using the properties of the gamma function\r\n\r\n\"\"\r\n\r\nWe thus have the first recurrence relation\r\n\r\n\"\"\r\n\r\nExactly in a similar fashion we have\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n<\/div>\r\n

    \r\n\r\nFew more recurrence relations can be obtained by combining these two.\r\n\r\n \r\n\r\n4. Bessel Functions of integer order \u2013 Integral representation<\/strong><\/span>\r\n

    Many of the formulae take a simpler form for Bessel functions of integer order. There are also some relations which are specific to Bessel functions of integer order only. Like the case of Legendre polynomials there is the Schl\u04d3fli contour integral <\/em>for the Bessel functions as well, which we state below without proof:<\/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\"\"\r\n\r\n<\/div>\r\n

    \r\n\r\n \r\n\r\n4.1 The generating function<\/strong><\/span>\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\r\n5. Bessel function of the second kind<\/span><\/strong><\/span>\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n\"\"\r\n

    \"\"On applying the L\u2019Hospital\u2019s rule for finding the limit, we have<\/span><\/p>\r\n\"\"\r\n\r\n\"\"\r\n

    Let us now find the series expansion for this function. Substitute the series for the Bessel function [equation (10)] into the above equation (16):<\/span><\/p>\r\n\"\"\r\n\r\n\"\"\r\n\r\n<\/div>\r\n

    <\/div>\r\n
    \r\n\r\nThen\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\nThe other terms of the sum can be treated in a straightforward manner.\u00a0 The result is\r\n\r\n\"\"\r\n\r\nCollecting all the terms together we have, for positive integer n<\/em>,\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n \r\n\r\n5.1 Hankel functions<\/span><\/strong><\/span>\r\n

    From the linear combination of the Bessel functions of the first and second kind we define another equivalent set of functions, the <\/span>Bessel functions of the third kind<\/em>, more often called the <\/span>Hankel functions of order n<\/em> through<\/span><\/p>\r\n

    \"\"\u00a0 \u00a0 Here <\/span>i<\/em> stands for \u221a\u22121. Since Bessel functions of first and second kind are linearly independent, so are the Hankel functions; hence they provide an alternative pair of solutions to the Bessel equation. The usefulness of the various sets depends on the asymptotic behaviour of these functions near the origin and infinity.<\/span><\/p>\r\n \r\n

    6. Orthogonality of Bessel functions<\/span><\/strong><\/span><\/p>\r\n

    Bessel functions provide an orthonormal set in a certain sense which we will now explain. Bessel functions in a way are like sine and cosine functions. They are oscillating functions having infinite number of zeros. But, unlike trigonometric functions they are oscillating with decreasing amplitude. Also the zeros of Bessel functions are not equally spaced.<\/span><\/p>\r\n

    \"\"<\/p>\r\n\"\"\r\n\r\n\"\"\r\n\r\n<\/div>\r\n

    \r\n\r\nOr, equivalently,\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\nApply this result to both the terms of the above equation and we obtain\r\n\r\n\"\"\r\n\r\nOr\r\n\r\n\"\"\r\n\r\nOn integrating over\u00a0z<\/em> from 0 to\u00a0a<\/em>, we obtain\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\nNext use the recurrence relation<\/span>\r\n\r\n\"\"\r\n\r\nHence<\/span>\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\nThus we have proved the theorem<\/span>\r\n\r\n\"\"\r\n\r\n<\/div>\r\n
    \r\n\r\n \r\n\r\n6.1 Expansion of a function in terms of Bessel functions<\/strong><\/span>\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n\"\"\r\n

    Now we use the orthonormality relation (22) on the right hand side, so that<\/span><\/p>\r\n\"\"the required result.<\/span>\r\n\r\n<\/div>\r\n

    \r\n\r\n \r\n\r\n7. Asymptotic behaviour of Bessel Functions<\/strong><\/span>\r\n

    In view of the importance of the behaviour of the Bessel functions for large and small values of the arguments, we quote below the results without giving any proof.<\/p>\r\nFor large values of the argument z<\/em> (\u00a0\u00a0z<\/em>\u00a0\u2192 \u221e), we have\r\n\r\n\"\"\r\n

    For\u00a0z<\/em>\u2192 0, the behaviour of the Bessel functions can be read from the power series expansion.\u00a0 We have<\/p>\r\n\"\"\r\n\r\n\"\"\r\n\r\n \r\n\r\nSUMMARY<\/strong>\r\n\r\n<\/div>\r\n \r\n