Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Théorème de Plancherel
Résumé
Le théorème de Plancherel permet d'étendre la transformation de Fourier aux fonctions de carré sommable. Il fut démontré par le mathématicien Michel Plancherel.
Soit une fonction de carré sommable sur R et soit . On peut définir la transformée de Fourier de la fonction tronquée à :
Alors lorsque A tend vers l'infini, les fonctions convergent en moyenne quadratique (c'est-à-dire pour la norme ||.||2) vers une fonction qu'on note et que l'on appelle transformée de Fourier (ou de Fourier-Plancherel) de .
En outre, la formule d'inversion de Fourier est vérifiée : la fonction est elle-même de carré sommable et on a (au sens de la norme ||.||2) :
Ainsi, la transformation de Fourier-Plancherel définit un automorphisme de l'espace L. De plus, c'est une isométrie de cet espace de Hilbert :
ou, ce qui est équivalent :
Cette définition est compatible avec la définition habituelle de la transformée de Fourier des fonctions intégrables.
Le théorème de Plancherel se généralise dans le cas où la transformée de Fourier est définie sur de nombreux groupes, on peut citer les groupes abéliens localement compacts (cf. Dualité de Pontryagin), dont l'exemple le plus simple est celui des groupes abéliens finis (cf. Analyse harmonique sur un groupe abélien fini).
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Cours associés (5)
MATH-207(d): Analysis IV
Le cours étudie les concepts fondamentaux de l'analyse complexe et de l'analyse de Laplace en vue de leur utilisation
pour résoudre des problèmes pluridisciplinaires d'ingénierie scientifique.
MATH-203(b): Analysis III
Le cours étudie les concepts fondamentaux de l'analyse vectorielle et l'analyse de Fourier en vue de leur utilisation pour résoudre des problèmes pluridisciplinaires d'ingénierie scientifique.
MATH-205: Analysis IV
Learn the basis of Lebesgue integration and Fourier analysis
Publications associées (4)
Concepts associés (10)
Espace de Hilbert
vignette|Une photographie de David Hilbert (1862 - 1943) qui a donné son nom aux espaces dont il est question dans cet article. En mathématiques, un espace de Hilbert est un espace vectoriel réel (resp. complexe) muni d'un produit scalaire euclidien (resp. hermitien), qui permet de mesurer des longueurs et des angles et de définir une orthogonalité. De plus, un espace de Hilbert est complet, ce qui permet d'y appliquer des techniques d'analyse. Ces espaces doivent leur nom au mathématicien allemand David Hilbert.
Parseval's theorem
In mathematics, Parseval's theorem usually refers to the result that the Fourier transform is unitary; loosely, that the sum (or integral) of the square of a function is equal to the sum (or integral) of the square of its transform. It originates from a 1799 theorem about series by Marc-Antoine Parseval, which was later applied to the Fourier series. It is also known as Rayleigh's energy theorem, or Rayleigh's identity, after John William Strutt, Lord Rayleigh.
Analyse harmonique non commutative
L'analyse harmonique non commutative est une branche des mathématiques qui est parvenue à maturité vers la fin des années 1970 ; elle généralise l'analyse harmonique classique et consiste, comme cette dernière (qui remonte au ), à développer une fonction en composantes fondamentales. Elle a des applications dans de nombreux domaines : les équations aux dérivées partielles qui, avec leurs problèmes aux bords, ont des groupes de symétrie non commutatifs ; la Mécanique quantique ; récemment, les sciences de l'ingénieur (, robotique, chimie, théorie des systèmes dynamiques non linéaires, etc.