Skip to main content
Mathematics LibreTexts

11.3: Fourier-Legendre Series

  • Page ID
    8322
  • \( \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}}\)

    Since Legendre’s equation is self-adjoint, we can show that \(P_n(x)\) forms an orthogonal set of functions. To decompose functions as series in Legendre polynomials we shall need the integrals

    \[\int_{-1}^1 P_n^2(x) dx = \frac{2n+1}{2}, \nonumber \]

    which can be determined using the relation 5. twice to obtain a recurrence relation

    \[\begin{aligned} \int_{-1}^1 P_n^2(x) dx &= \int_{-1}^1 P_n(x) \frac{(2n-1)x P_{n-1}(x)-(n-1)P_{n-2}(x)}{n} dx \nonumber\\ &=\frac{(2n-1)}{n}\int_{-1}^1 x P_n(x) P_{n-1}(x) dx \nonumber\\ &=\frac{(2n-1)}{n}\int_{-1}^1 \frac{(n+1)P_{n+1}(x) + n P_{n-1}(x)}{2n+1} P_{n-1}(x) dx \nonumber\\ &=\frac{(2n-1)}{2n+1}\int_{-1}^1 P_{n-1}^2(x) dx,\end{aligned} \nonumber \]

    and the use of a very simple integral to fix this number for \(n=0\),

    \[\int_{-1}^1 P_0^2(x) dx = 2. \nonumber \]

    So we can now develop any function on \([-1,1]\) in a Fourier-Legendre series

    \[\begin{aligned} f(x) & = \sum_n A_n P_n(x) \nonumber\\ A_n & = \frac{2n+1}{2} \int_{-1}^1 f(x) P_n(x) dx\end{aligned} \nonumber \]

    Exercise \(\PageIndex{1}\): Fourier-Legendre series

    Find the Fourier-Legendre series for

    \[f(x) = \left\{ \begin{array}{ll} 0, & -1 < x < 0\\ 1, & 0 < x <1 \end{array} \right. . \nonumber \]

    Answer

    We find \[\begin{aligned} A_0 &= \dfrac{1}{2} \int_0^1 P_0(x) dx = \dfrac{1}{2},\\ A_1 &= \frac{3}{2} \int_0^1 P_1(x) dx= \frac{1}{4}, \\ A_2 &= \frac{5}{2} \int_0^1 P_2(x) dx= 0, \\ A_3 &= \frac{7}{2} \int_0^1 P_3(x) dx= -\frac{7}{16} .\end{aligned} \nonumber \]

    All other coefficients for even \(n\) are zero, for odd \(n\) they can be evaluated explicitly.


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