Série de Fourier généralisée

En analyse, plusieurs extensions du concept de série de Fourier se sont montrées utiles. Elles permettent ainsi d'écrire des décompositions de fonctions sur une base hilbertienne liée à un produit scalaire particulier. Le cas considéré est celui de fonctions de carré intégrable sur un intervalle de la droite réelle, ce qui a des applications, par exemple, en théorie de l'interpolation.

Définition

Soit un ensemble de fonctions de carré intégrable à valeurs dans $𝔽=ℂ\text{ ou }ℝ$,

$\mathrm{\Phi }=\{{\phi }_n:[a,b]\to 𝔽\mid n\in \mathbb{N}\}$,

qui sont orthogonales deux à deux pour le produit scalaire :

$⟨f,g{⟩}_w=\underset{a}{\overset{b}{\int }}f(x)\bar{g}(x)w(x)\mathrm{d}x$

où w est une fonction-poids, et $\bar{\cdot }$ désigne le conjugué complexe, Modèle:C.-à-d. $\bar{g}(x)=g(x)$ si $𝔽=ℝ$.

La série de Fourier généralisée d'une fonction de carré intégrable f: [a, b] → $𝔽$, par rapport à Φ, est donnée par

$f(x)\sim \sum _{n=0}^{\mathrm{\infty }}{c}_n{\phi }_n(x)$,

où les coefficients de la série sont donnés par

$c_n=\frac{⟨f,{\phi }_n{⟩}_w}{\Vert {\phi }_n{\Vert }_w^2}$.

Si Φ est un ensemble complet, définissant donc une base hilbertienne de l'espace de Hilbert [[Espace L2|LModèle:2]] ([a, b]), la relation $\sim$ devient une égalité au sens LModèle:2, plus précisément modulo |·|_w (non nécessairement presque partout, ni en tout point).

Exemple

Série de Fourier

La série de Fourier d'une fonction périodique est une série de Fourier généralisée pour les fonctions $\{{\mathrm{e}}^{\mathrm{i}nx}\mid n\in \mathbb{Z}\}$, qui forment une base hilbertienne pour le produit scalaire classique :

$⟨f,g{⟩}_w=\frac{1}{2\pi }\underset{0}{\overset{2\pi }{\int }}f(x)\bar{g}(x)\mathrm{d}x$.

Série de Fourier-Legendre

Les polynômes de Legendre sont solutions du problème de Sturm-Liouville

$((1-x^2){P_n}^{\prime }(x))+n(n+1)P_n(x)=0$.

On sait que ces polynômes sont les vecteurs propres du problème et forment une famille orthogonale pour le produit scalaire classique sur l'intervalle unité. La série de Fourier généralisée associée (également appelée série de Fourier-Legendre) donne donc

$f(x)\sim \sum _{n=0}^{\mathrm{\infty }}{c}_n{P}_n(x)$,

$c_n=\frac{⟨f,P_n{⟩}_w}{\Vert P_n{\Vert }_w^2}$

Calculons par exemple la série de Fourier-Legendre pour la fonction ƒ(x) = cos x sur [−1, 1]. Maintenant,

$\begin{array}{cc}{c}_0& =\frac{\underset{-1}{\overset{1}{\int }}\cos x\mathrm{d}x}{\underset{-1}{\overset{1}{\int }}(1{)}^2\mathrm{d}x}=\sin 1\\ c_1& =\frac{\underset{-1}{\overset{1}{\int }}x\cos x\mathrm{d}x}{\underset{-1}{\overset{1}{\int }}{x}^2\mathrm{d}x}=\frac{0}{2/3}=0\\ c_2& =\frac{\underset{-1}{\overset{1}{\int }}\frac{3x^2-1}{2}\cos x\mathrm{d}x}{\underset{-1}{\overset{1}{\int }}\frac{9x^4-6x^2+1}{4}\mathrm{d}x}=\frac{6\cos 1-4\sin 1}{2/5}=\frac{5}{2}(6\cos 1-4\sin 1)\end{array}$

et une somme utilisant ce développement en série :

$c_2{P}_2(x)+c_1{P}_1(x)+c_0{P}_0(x)=\frac{5}{2}(6\cos 1-4\sin 1)\left(\frac{3x^2-1}{2}\right)+\sin 1$

$=(\frac{45}{2}\cos 1-15\sin 1)x^2+6\sin 1-\frac{15}{2}\cos 1$

qui diffère de cos(x) d'environ 0,003 pour x = 0.

Il peut être ainsi avantageux d'utiliser des séries de Fourier-Legendre plutôt que des séries de Fourier classiques puisque les vecteurs propres sont des polynômes, plus faciles à manipuler pour les calculs d'intégrales que les fonctions trigonométriques.

Fonction cardinale de Whittaker

Pour une fonction Modèle:Mvar LModèle:2 sur la droite réelle et un pas Modèle:Math, Edmund Whittaker considère la fonctionModèle:,Modèle:,: $$C(x;f,h)=\sum _{k=-\mathrm{\infty }}^{+\mathrm{\infty }}f(kh){\mathrm{sinc}}_{\pi }\left(\frac{x-kh}{h}\right)$$ où ${\mathrm{sinc}}_{\pi }(t)=\frac{\sin (\pi t)}{\pi t}$ est la fonction sinus cardinal normalisée.

La base de la série est donc l'ensemble des fonctions

${\left\{\frac{1}{\sqrt{h}}{\mathrm{sinc}}_{\pi }\left(\frac{x-kh}{h}\right)\right\}}_{k\in \mathbb{Z}}$

Cette décomposition est utilisée en traitement du signal, le théorème d'échantillonnage de Shannon permettant de montrer que pour un pas bien choisi, le signal d'origine Modèle:Mvar est égal à sa fonction cardinale.

Résultats de convergence

Les coefficients c_n ont des propriétés similaires aux séries de Fourier :

Inégalité de Bessel

$\sum _{n=0}^{\mathrm{\infty }}|c_n{|}^2\le \underset{a}{\overset{b}{\int }}|f(x){|}^{2}w(x)\mathrm{d}x$.

Égalité de Parseval

Si Φ est un ensemble complet

$\sum _{n=0}^{\mathrm{\infty }}|c_n{|}^2=\underset{a}{\overset{b}{\int }}|f(x){|}^{2}w(x)\mathrm{d}x$.

Cependant, en cas de discontinuité, l'utilisation d'autres fonctions de base pour la série de Fourier n'empêche pas l'apparition de phénomène de Gibbs.

Bibliographie

• Modèle:Ouvrage