Égalité de Parseval

L'égalité de Parseval dite parfois théorème de Parseval ou relation de Parseval est une formule fondamentale de la théorie des séries de Fourier. On la doit au mathématicien français Marc-Antoine Parseval des Chênes (1755-1836). Elle est également appelée identité de Rayleigh du nom du physicien John William Strutt Rayleigh. Cette formule peut être interprétée comme une généralisation du théorème de Pythagore pour les séries dans les espaces de Hilbert.

Dans de nombreuses applications physiques (courant électrique par exemple), cette formule peut s'interpréter comme suit : l'énergie totale s'obtient en sommant les contributions des différents harmoniques. L'énergie totale d'un signal ne dépend pas de la représentation choisie : fréquentielle ou temporelle.

$E=\underset{-\mathrm{\infty }}{\overset{+\mathrm{\infty }}{\int }}|x(t){|}^2\mathrm{d}t=\underset{-\mathrm{\infty }}{\overset{+\mathrm{\infty }}{\int }}|X(f){|}^2\mathrm{d}f.$

Inégalité de Bessel

Modèle:Article détaillé Le théorème suivant est démontré dans l'article détaillé. Modèle:Énoncé

Formule pour les séries de Fourier

Soit Modèle:Mvar une [[Fonction périodique|fonction Modèle:Mvar-périodique]] et de carré intégrable sur une période (c'est donc valable notamment pour une fonction Modèle:Mvar-périodique et continue par morceaux). On définit ses coefficients de Fourier :

$c_n=\frac{1}{T}\underset{-T/2}{\overset{T/2}{\int }}f(t){\mathrm{e}}^{-\mathrm{i}n\frac{2\pi }{T}t}\mathrm{d}t$.

L'égalité de Parseval affirme la convergence de la série suivante et énonce l'identité :

$\sum _{n=-\mathrm{\infty }}^{+\mathrm{\infty }}|c_n{|}^2=\frac{1}{T}\underset{-T/2}{\overset{T/2}{\int }}|f(t){|}^2\mathrm{d}t=\Vert f{\Vert }^2$.

Si la fonction Modèle:Mvar est à valeurs réelles, on peut adopter les conventions suivantes :

• $a_0=\frac{1}{T}\underset{-T/2}{\overset{T/2}{\int }}f(t)\mathrm{d}t=c_0$ ;
• $a_n=\frac{2}{T}\underset{-T/2}{\overset{T/2}{\int }}f(t)\cos \frac{2\pi nt}{T}\mathrm{d}t$ ;
• $b_n=\frac{2}{T}\underset{-T/2}{\overset{T/2}{\int }}f(t)\sin \frac{2\pi nt}{T}\mathrm{d}t$.

L'égalité de Parseval devient :

$\Vert f{\Vert }^2=a_0^2+\frac{1}{2}\sum _{n=1}^{+\mathrm{\infty }}(a_n^2+b_n^2)$.

Attention : certains auteurs préfèrent une convention pour laquelle l'expression de Modèle:Math est aussi en Modèle:Math :

$a_0=\frac{2}{T}\underset{-T/2}{\overset{T/2}{\int }}f(t)\mathrm{d}t$.

La formule de Parseval devient alors :

$\Vert f{\Vert }^2=\frac{1}{4}{a}_0^2+\frac{1}{2}\sum _{n=1}^{+\mathrm{\infty }}(a_n^2+b_n^2)$.

Applications

• Ces résultats s'appliquent en particulier au cas d'un espace préhilbertien de dimension finie, par exemple en analyse harmonique sur un groupe abélien fini.
• Si deux fonctions de carré intégrable f et g ont le même spectre en fréquences (mêmes coefficients de Fourier), alors les coefficients de Fourier de f – g sont tous nuls (par linéarité) et ║f – g║Modèle:2 = 0. De fait, f et g sont égales presque partout. Si de plus f et g sont continues par morceaux, f et g sont égales hormis au niveau des points de discontinuité de f et de g.
• Lorsque l'intégrale est plus facile à calculer que la série, l'égalité de Parseval est un moyen de calculer un certain nombre de séries numériques (on peut aussi utiliser l'égalité en un point entre la fonction et sa série de Fourier, donnée par exemple par le théorème de Dirichlet).
• L'égalité de Parseval permet d'obtenir l'inégalité de Wirtinger entre les normes d'une fonction périodique et de sa dérivée, puis l'inégalité isopérimétrique classique.

Réciproque : théorème de Riesz-Fischer

On note [[Espace de suites ℓp|ℓModèle:2 l'espace vectoriel des suites]] $(c_n{)}_{n\in \mathbb{Z}}$ telles que la série $\sum _{-\mathrm{\infty }}^{+\mathrm{\infty }}\Vert c_n{\Vert }^2$ converge.

Le théorème de Riesz-Fischer permet d'énoncer qu'une telle suite $(c_n{)}_{n\in \mathbb{Z}}$ est la suite des coefficients de Fourier d'une fonction de carré intégrable, Modèle:Mvar-périodique.

Ainsi il y a isomorphisme entre l'espace [[Espace L2|Modèle:MathModèle:Ind]] des fonctions de carré intégrable et Modèle:Mvar-périodiques et l'espace ℓModèle:2. La formule de Parseval montre qu'il s'agit même d'une isométrie.

Voir aussi

• Formule intégrale de Lobachevski