In mathematical analysis, many generalizations of Fourier series have proved to be useful. They are all special cases of decompositions over an orthonormal basis of an inner product space. Here we consider that of square-integrable functions defined on an interval of the real line, which is important, among others, for interpolation theory.
Definition
Consider a set of square-integrable functions with values in
or
,
![{\displaystyle \Phi =\{\varphi _{n}:[a,b]\to \mathbb {F} \}_{n=0}^{\infty },}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5f7770ba79954cd5078e4848539c778f84c6afe)
which are pairwise
orthogonal for the
inner product
![{\displaystyle \langle f,g\rangle _{w}=\int _{a}^{b}f(x)\,{\overline {g}}(x)\,w(x)\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6d89e68f0277c9bc67bd78e7237cb20541c853f3)
where
![{\displaystyle w(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/504b9ce86ec0b1d4267109ee950497126f04713c)
is a
weight function, and
![{\displaystyle {\overline {\cdot }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8658381fc86625967133ada5136e98d076e87ffa)
represents
complex conjugation, i.e.,
![{\displaystyle {\overline {g}}(x)=g(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8326af8b5c93d8b576262317cf647d1fae474a16)
for
![{\displaystyle \mathbb {F} =\mathbb {R} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9e1200c55f062d38108d482407e8a36b868eb91)
.
The generalized Fourier series of a square-integrable function
, with respect to Φ, is then
![{\displaystyle f(x)\sim \sum _{n=0}^{\infty }c_{n}\varphi _{n}(x),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/21cf3a01f0098d9076982975f35ac549e6cbd39d)
where the coefficients are given by
![{\displaystyle c_{n}={\langle f,\varphi _{n}\rangle _{w} \over \|\varphi _{n}\|_{w}^{2}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/19211b8ff8f04cb44de700004a0084d706e3119f)
If Φ is a complete set, i.e., an orthogonal basis of the space of all square-integrable functions on [a, b], as opposed to a smaller orthogonal set, the relation
becomes equality in the L2 sense, more precisely modulo
(not necessarily pointwise, nor almost everywhere).
Example (Fourier–Legendre series)
The Legendre polynomials are solutions to the Sturm–Liouville problem
![{\displaystyle \left((1-x^{2})P_{n}'(x)\right)'+n(n+1)P_{n}(x)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b741b45c93d4451462832a321b4dd6c0316aeca4)
and because of Sturm-Liouville theory, these polynomials are eigenfunctions of the problem and are solutions orthogonal with respect to the inner product above with unit weight. So we can form a generalized Fourier series (known as a Fourier–Legendre series) involving the Legendre polynomials, and
![{\displaystyle f(x)\sim \sum _{n=0}^{\infty }c_{n}P_{n}(x),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/433050ca54f74ab9c3e55282ffac8b9ef6e0fd41)
![{\displaystyle c_{n}={\langle f,P_{n}\rangle _{w} \over \|P_{n}\|_{w}^{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/481cecd0ff19263f284d265cf9fd69fdbced3085)
As an example, let us calculate the Fourier–Legendre series for f(x) = cos x over [−1, 1]. Now,
![{\displaystyle {\begin{aligned}c_{0}&={\int _{-1}^{1}\cos {x}\,dx \over \int _{-1}^{1}(1)^{2}\,dx}=\sin {1}\\c_{1}&={\int _{-1}^{1}x\cos {x}\,dx \over \int _{-1}^{1}x^{2}\,dx}={0 \over 2/3}=0\\c_{2}&={\int _{-1}^{1}{3x^{2}-1 \over 2}\cos {x}\,dx \over \int _{-1}^{1}{9x^{4}-6x^{2}+1 \over 4}\,dx}={6\cos {1}-4\sin {1} \over 2/5}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b48ab0a452211dd73275b0a312f8787513e6a2a8)
and a series involving these terms
![{\displaystyle {\begin{aligned}c_{2}P_{2}(x)+c_{1}P_{1}(x)+c_{0}P_{0}(x)&={5 \over 2}(6\cos {1}-4\sin {1})\left({3x^{2}-1 \over 2}\right)+\sin 1\\&=\left({45 \over 2}\cos {1}-15\sin {1}\right)x^{2}+6\sin {1}-{15 \over 2}\cos {1}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca33bb6509fc8b7e087be5471f3f789f0109f580)
which differs from cos x by approximately 0.003, about 0. It may be advantageous to use such Fourier–Legendre series since the eigenfunctions are all polynomials and hence the integrals and thus the coefficients are easier to calculate.
Coefficient theorems
Some theorems on the coefficients cn include:
![{\displaystyle \sum _{n=0}^{\infty }|c_{n}|^{2}\leq \int _{a}^{b}|f(x)|^{2}w(x)\,dx.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b030157028d50ed9125bd15d233411ec6f99faf9)
If Φ is a complete set, then
![{\displaystyle \sum _{n=0}^{\infty }|c_{n}|^{2}=\int _{a}^{b}|f(x)|^{2}w(x)\,dx.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b80ed40fa2ee0ec921e78d0e933061812003c764)
See also