Relation de Parseval

Égalité de Parseval

Pour les articles homonymes, voir Parseval.

L'égalité de Parseval (parfois appelée également Théorème de Parseval ou Identité de Rayleigh) est une formule fondamentale de la théorie des séries de Fourier. On la doit au mathématicien français Marc-Antoine Parseval. 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=\int_{-\infty}^{+\infty} |x(t)|^2 dt = \int_{-\infty}^{+\infty} |X(f)|^2 df$

Sommaire

1 Inégalité de Bessel
2 Formule pour les séries de Fourier
- 2.1 Applications
- 2.2 Réciproque : théorème de Riesz-Fischer

Inégalité de Bessel

Article détaillé : Inégalité de Bessel.

Si (e_i) avec i élément d'un ensemble I est une famille orthonormée, alors pour tout h dans H un espace préhilbertien, on note c_i(h) = <h|e_i> (par convention, le produit scalaire est linéaire à gauche, antilinéaire à droite). L'inégalité de Bessel affirme la convergence absolue de la série suivante et la majoration :

$\sum_{n\in I} |c_i|^2 \le ||h||^2\,$

Elle indique aussi que l'ensemble des termes non nuls est au plus dénombrable. Si h est dans l'adhérence de l'espace vectoriel engendré par la famille (e_i), alors la majoration est une égalité, nommée égalité de Parseval. Ainsi, si la famille est une base de Hilbert, l'égalité est toujours vérifiée.

Elle existe aussi dans le cas où le préhilbertien est de dimension finie, elle s'applique par exemple en analyse harmonique sur un groupe abélien fini.

Formule pour les séries de Fourier

On suppose que f est T-périodique et de carré intégrable (c'est donc valable notamment pour f continue par morceaux). On définit les coefficients de Fourier de f :

$c_n=\frac1T\int_{-T/2}^{T/2} f(t) e^{-in \frac{2\pi}T t} dt\,$ .

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

$\sum_{n=-\infty}^{+\infty}|c_n|^2=\frac{1}{T}\int_{-T/2}^{T/2}|f(t)|^2dt = \|f\|^2\,$ .

Si la fonction f est à valeurs réelles, on peut adopter les conventions suivantes :

$a_0=\frac1T\int_{-T/2}^{T/2} f(t)dt=c_0$

$a_n=\frac2T\int_{-T/2}^{T/2} f(t) \cos (n \frac{2\pi}T t) dt$

$b_n=\frac2T\int_{-T/2}^{T/2} f(t) \sin(n \frac{2\pi}T t) dt$

L'égalité de Parseval devient :

$\|f\|^2 = a_0^2 +\frac12 \sum_{n=1}^{+\infty}(a_n^2+b_n^2)\,$ .

Attention : certains auteurs préfèrent une convention pour laquelle l'expression de $a 0$ est aussi en 2/T : (si f est paire)

$a_0=\frac2T\int_{-T/2}^{T/2} f(t)dt$

La formule de Parseval devient alors :

$\|f\|^2 = \frac14 a_0^2 +\frac12 \sum_{n=1}^{+\infty}(a_n^2+b_n^2)\,$ .

Applications

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 linarité) et $\|f-g\|_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 $\ell^2$ l'espace vectoriel des suites $c n$ (n entier relatif), telle que la série de terme général $| c n | 2$ converge.

Le théorème de Riesz-Fischer permet d'énoncer qu'une telle suite $c n$ est la suite des coefficients de Fourier d'une fonction de carré intégrable, T périodique.

Ainsi il y a isomorphisme entre les espaces $L^2_T$ des fonctions de carré intégrable et T périodiques et $\ell^2$ . La formule de Parseval montre qu'il s'agit même d'une isométrie.

Portail des mathématiques

Ce document provient de « %C3%89galit%C3%A9 de Parseval ».

Catégories : Série de Fourier | Théorème de mathématiques

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Relation de Parseval de Wikipédia en français (auteurs)

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

Parseval's theorem — In mathematics, Parseval s theorem [Parseval des Chênes, Marc Antoine Mémoire sur les séries et sur l intégration complète d une équation aux differences partielle linéaire du second ordre, à coefficiens constans presented before the Académie des … Wikipedia
Marc-Antoine Parseval — Pour les articles homonymes, voir Parseval. Marc Antoine Parseval des Chênes (27 avril 1755 – 16 août 1836) est un mathématicien français, célèbre pour les travaux connus sous le nom d égalité de Parseval, qui est une formule fondamentale de la… … Wikipédia en Français
Marc-antoine parseval — Pour les articles homonymes, voir Parseval. Marc Antoine Parseval des Chênes (27 avril 1755 – 16 août 1836) est un mathématicien français, célèbre pour les travaux connus sous le nom d égalité de Parseval, qui est une formule fondamentale de la… … Wikipédia en Français
Genevieve Delaisi de Parseval — Geneviève Delaisi de Parseval Pour les articles homonymes, voir Parseval. Geneviève Delaisi de Parseval, née en 1940, est psychanalyste et chercheuse en sciences humaines, spécialiste de bioéthique. Sommaire 1 Parcours 2 … Wikipédia en Français
Geneviève Delaisi De Parseval — Pour les articles homonymes, voir Parseval. Geneviève Delaisi de Parseval, née en 1940, est psychanalyste et chercheuse en sciences humaines, spécialiste de bioéthique. Sommaire 1 Parcours 2 … Wikipédia en Français
Geneviève delaisi de parseval — Pour les articles homonymes, voir Parseval. Geneviève Delaisi de Parseval, née en 1940, est psychanalyste et chercheuse en sciences humaines, spécialiste de bioéthique. Sommaire 1 Parcours 2 … Wikipédia en Français
Geneviève Delaisi de Parseval — Pour les articles homonymes, voir Parseval. Geneviève Delaisi de Parseval, née en 1940, est psychanalyste et chercheuse en sciences humaines, spécialiste de bioéthique. Sommaire 1 Parcours 2 Domaines de re … Wikipédia en Français
DISTRIBUTIONS (mathématiques) — Il est arrivé à plusieurs reprises que certaines exigences de la physique, par exemple, aient conduit les utilisateurs des mathématiques à des «calculs» non rigoureusement justifiables au moyen des concepts mathématiques existants, mais qui… … Encyclopédie Universelle
ANALYSE MATHÉMATIQUE — L’analyse mathématique est le développement des notions et résultats fondamentaux du calcul infinitésimal. Ce dernier s’était déjà considérablement enrichi et diversifié entre les mains des mathématiciens du XVIIIe siècle, avant tout Euler et… … Encyclopédie Universelle
Fourier transform — Fourier transforms Continuous Fourier transform Fourier series Discrete Fourier transform Discrete time Fourier transform Related transforms The Fourier transform is a mathematical operation that decomposes a function into its constituent… … Wikipedia

Dictionnaires et Encyclopédies sur 'Academic'

Relation de Parseval

Égalité de Parseval

Sommaire

Inégalité de Bessel