Skip to main content
Mathematics LibreTexts

5.5: Fourier-Bessel Series

  • Page ID
    90946
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    Bessel functions arise in many problems in physics possessing cylindrical symmetry such as the vibrations of circular drumheads and the radial modes in optical fibers. They also provide us with another orthogonal set of basis functions.

    The first occurrence of Bessel functions (zeroth order) was in the work of Daniel Bernoulli on heavy chains (1738). More general Bessel functions were studied by Leonhard Euler in 1781 and in his study of the vibrating membrane in 1764 . Joseph Fourier found them in the study of heat conduction in solid cylinders and Siméon Poisson (1781-1840) in heat conduction of spheres (1823).

    Note

    Bessel functions have a long history and were named after Friedrich Wilhelm Bessel (1784-1846).

    The history of Bessel functions, does not just originate in the study of the wave and heat equations. These solutions originally came up in the study of the Kepler problem, describing planetary motion. According to G. N. Watson in his Treatise on Bessel Functions, the formulation and solution of Kepler’s Problem was discovered by Joseph-Louis Lagrange (1736-1813), in 1770. Namely, the problem was to express the radial coordinate and what is called the eccentric anomaly, \(E\), as functions of time. Lagrange found expressions for the coefficients in the expansions of \(r\) and \(E\) in trigonometric functions of time. However, he only computed the first few coefficients. In 1816 Friedrich Wilhelm Bessel (1784-1846) had shown that the coefficients in the expansion for \(r\) could be given an integral representation. In 1824 he presented a thorough study of these functions, which are now called Bessel functions.

    You might have seen Bessel functions in a course on differential equations as solutions of the differential equation \[x^{2} y^{\prime \prime}+x y^{\prime}+\left(x^{2}-p^{2}\right) y=0 .\label{eq:1} \] Solutions to this equation are obtained in the form of series expansions. Namely, one seeks solutions of the form \[y(x)=\sum_{j=0}^{\infty} a_{j} x^{j+n}\nonumber \] by determining the for the coefficients must take. We will leave this for a homework exercise and simply report the results.

    One solution of the differential equation is the Bessel function of the first kind of order \(p\), given as \[y(x)=J_{p}(x)=\sum_{n=0}^{\infty} \frac{(-1)^{n}}{\Gamma(n+1) \Gamma(n+p+1)}\left(\frac{x}{2}\right)^{2 n+p} .\label{eq:2} \]

    clipboard_efb48d3da290d0709b8ff6f1aa7bd4110.png
    Figure \(\PageIndex{1}\): Plots of the Bessel functions \(J_{0}(x), J_{1}(x), J_{2}(x)\), and \(J_{3}(x)\).

    In Figure \(\PageIndex{1}\) we display the first few Bessel functions of the first kind of integer order. Note that these functions can be described as decaying oscillatory functions.

    A second linearly independent solution is obtained for \(p\) not an integer as \(J_{-p}(x)\). However, for \(p\) an integer, the \(\Gamma(n+p+1)\) factor leads to evaluations of the Gamma function at zero, or negative integers, when \(p\) is negative. Thus, the above series is not defined in these cases.

    Another method for obtaining a second linearly independent solution is through a linear combination of \(J_{p}(x)\) and \(J_{-p}(x)\) as \[N_{p}(x)=Y_{p}(x)=\frac{\cos \pi p J_{p}(x)-J_{-p}(x)}{\sin \pi p} .\label{eq:3} \] These functions are called the Neumann functions, or Bessel functions of the second kind of order \(p\).

    In Figure \(\PageIndex{2}\) we display the first few Bessel functions of the second kind of integer order. Note that these functions are also decaying oscillatory functions. However, they are singular at \(x=0\).

    clipboard_ec732f087d76c6f65deaf50ae553a2223.png
    Figure \(\PageIndex{2}\): Plots of the Neumann functions \(N_{0}(x), N_{1}(x), N_{2}(x)\), and \(N_{3}(x)\).

    In many applications one desires bounded solutions at \(x=0\). These functions do not satisfy this boundary condition. For example, we will later study one standard problem is to describe the oscillations of a circular drumhead. For this problem one solves the two dimensional wave equation using separation of variables in cylindrical coordinates. The radial equation leads to a Bessel equation. The Bessel function solutions describe the radial part of the solution and one does not expect a singular solution at the center of the drum. The amplitude of the oscillation must remain finite. Thus, only Bessel functions of the first kind can be used.

    Bessel functions satisfy a variety of properties, which we will only list at this time for Bessel functions of the first kind. The reader will have the opportunity to prove these for homework.

    Derivative Identities

    These identities follow directly from the manipulation of the series solution.

    \[\begin{align} \frac{d}{d x}\left[x^{p} J_{p}(x)\right] &=x^{p} J_{p-1}(x) .\label{eq:4} \\ \frac{d}{d x}\left[x^{-p} J_{p}(x)\right] &=-x^{-p} J_{p+1}(x) .\label{eq:5} \end{align}\]

    Recursion Formulae

    The next identities follow from adding, or subtracting, the derivative identities.

    \[\begin{align} &J_{p-1}(x)+J_{p+1}(x)=\frac{2 p}{x} J_{p}(x) .\label{eq:6} \\ &J_{p-1}(x)-J_{p+1}(x)=2 J_{p}^{\prime}(x) .\label{eq:7} \end{align}\]

    Orthogonality

    As we will see in the next chapter, one can recast the Bessel equation into an eigenvalue problem whose solutions form an orthogonal basis of functions on \(L_{x}^{2}(0, a)\). Using Sturm-Liouville theory, one can show that \[\int_{0}^{a} x J_{p}\left(j_{p n} \frac{x}{a}\right) J_{p}\left(j_{p m} \frac{x}{a}\right) d x=\frac{a^{2}}{2}\left[J_{p+1}\left(j_{p n}\right)\right]^{2} \delta_{n, m},\label{eq:8} \] where \(j_{p n}\) is the \(n\)th root of \(J_{p}(x), J_{p}\left(j_{p n}\right)=0, n=1,2, \ldots\). A list of some of these roots are provided in Table \(\PageIndex{1}\).

    Generating Function

    \[e^{x\left(t-\frac{1}{t}\right) / 2}=\sum_{n=-\infty}^{\infty} J_{n}(x) t^{n}, \quad x>0, t \neq 0 .\label{eq:9}\]

    Table \(\PageIndex{1}\): The zeros of Bessel Functions, \(J_{m}\left(j_{m n}\right)=0 .\)
    \(n\) \(m=0\) \(m=1\) \(m=2\) \(m=3\) \(m=4\) \(m=5\)
    1 \(2.405\) \(3.832\) \(5.136\) \(6.380\) \(7.588\) \(8.771\)
    2 \(5.520\) \(7.016\) \(8.417\) \(9.761\) \(11.065\) \(12.339\)
    3 \(8.654\) \(10.173\) \(11.620\) \(13.015\) \(14.373\) \(15.700\)
    4 \(11.792\) \(13.324\) \(14.796\) \(16.223\) \(17.616\) \(18.980\)
    5 \(14.931\) \(16.471\) \(17.960\) \(19.409\) \(20.827\) \(22.218\)
    6 \(18.071\) \(19.616\) \(21.117\) \(22.583\) \(24.019\) \(25.430\)
    7 \(21.212\) \(22.760\) \(24.270\) \(25.748\) \(27.199\) \(28.627\)
    8 \(24.352\) \(25.904\) \(27.421\) \(28.908\) \(30.371\) \(31.812\)
    9 \(27.493\) \(29.047\) \(30.569\) \(32.065\) \(33.537\) \(34.989\)

    Integral Representation

    \[J_{n}(x)=\frac{1}{\pi} \int_{0}^{\pi} \cos (x \sin \theta-n \theta) d \theta, \quad x>0, n \in \mathrm{Z} .\label{eq:10}\]

    Fourier-Bessel Series

    Since the Bessel functions are an orthogonal set of functions of a SturmLiouville problem, we can expand square integrable functions in this basis. In fact, the Sturm-Liouville problem is given in the form \[x^{2} y^{\prime \prime}+x y^{\prime}+\left(\lambda x^{2}-p^{2}\right) y=0, \quad x \in[0, a],\label{eq:11}\] satisfying the boundary conditions: \(y(x)\) is bounded at \(x=0\) and \(y(a)=\) 0 . The solutions are then of the form \(J_{p}(\sqrt{\lambda} x)\), as can be shown by making the substitution \(t=\sqrt{\lambda} x\) in the differential equation. Namely, we let \(y(x)=u(t)\) and note that \[\frac{d y}{d x}=\frac{d t}{d x} \frac{d u}{d t}=\sqrt{\lambda} \frac{d u}{d t} .\nonumber \] Then, \[t^{2} u^{\prime \prime}+t u^{\prime}+\left(t^{2}-p^{2}\right) u=0,\nonumber \] which has a solution \(u(t)=J_{p}(t)\).

    Note

    In the study of boundary value problems in differential equations, SturmLiouville problems are a bountiful source of basis functions for the space of square integrable functions as will be seen in the next section.

    Using Sturm-Liouville theory, one can show that \(J_{p}\left(j_{p n} \frac{x}{a}\right)\) is a basis of eigenfunctions and the resulting Fourier-Bessel series expansion of \(f(x)\) defined on \(x\in [0,a]\) is \[f(x)=\sum_{n=1}^{\infty} c_{n} J_{p}\left(j_{p n} \frac{x}{a}\right),\label{eq:12}\] where the Fourier-Bessel coefficients are found using the orthogonality relation as \[c_{n}=\frac{2}{a^{2}\left[J_{p+1}\left(j_{p n}\right)\right]^{2}} \int_{0}^{a} x f(x) J_{p}\left(j_{p n} \frac{x}{a}\right) d x .\label{eq:13}\]

    Example \(\PageIndex{1}\)

    Expand \(f(x)=1\) for \(0<x<1\) in a Fourier-Bessel series of the form \[f(x)=\sum_{n=1}^{\infty} c_{n} J_{0}\left(j_{0 n} x\right)\nonumber \]

    Solution

    We need only compute the Fourier-Bessel coefficients in Equation \(\eqref{eq:13}\): \[c_{n}=\frac{2}{\left[J_{1}\left(j_{0 n}\right)\right]^{2}} \int_{0}^{1} x J_{0}\left(j_{0 n} x\right) d x\label{eq:14}\]

    From the identity \[\frac{d}{d x}\left[x^{p} J_{p}(x)\right]=x^{p} J_{p-1}(x) .\label{eq:15}\] we have \[\begin{align} \int_{0}^{1} x J_{0}\left(j_{0 n} x\right) d x &=\frac{1}{j_{0 n}^{2}} \int_{0}^{j_{0 n}} y J_{0}(y) d y\nonumber \\ &=\frac{1}{j_{0 n}^{2}} \int_{0}^{j_{0 n}} \frac{d}{d y}\left[y J_{1}(y)\right] d y\nonumber \\ &=\frac{1}{j_{0 n}^{2}}\left[y J_{1}(y)\right]_{0}^{j_{0 n}}\nonumber \\ &=\frac{1}{j_{0 n}} J_{1}\left(j_{0 n}\right)\label{eq:16} \end{align}\]

    clipboard_ef14ed9152d6ca40c430d8b2c08570780.png
    Figure \(\PageIndex{3}\): Plot of the first 50 terms of the Fourier-Bessel series in Equation \(\eqref{eq:17}\) for \(f(x)=1\) on \(0<x<1\).

    As a result, the desired Fourier-Bessel expansion is given as \[1=2 \sum_{n=1}^{\infty} \frac{J_{0}\left(j_{0 n} x\right)}{j_{0 n} J_{1}\left(j_{0 n}\right)}, \quad 0<x<1\label{eq:17}\] In Figure \(\PageIndex{3}\) we show the partial sum for the first fifty terms of this series. Note once again the slow convergence due to the Gibbs phenomenon.


    This page titled 5.5: Fourier-Bessel Series is shared under a CC BY-NC-SA 3.0 license and was authored, remixed, and/or curated by Russell Herman via source content that was edited to the style and standards of the LibreTexts platform; a detailed edit history is available upon request.