Théorème de Plancherel

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).