La transformation de Fourier

de fonctions : au-del de et
J.-B. Hiriart-Urruty et M. Pradel
Agrgs des mathmatiques, professeurs l'universit Paul Sabatier, Toulouse.
C'est dans un cours de Calcul intgral de niveau Bac+3 (premires annes d'coles d'ingnieurs,
Licences des universits) qu'est gnralement introduite et tudie la transformation de Fourier
de fonctions. Elle est d'abord traite pour des fonctions intgrables ( ) puis pour des
fonctions de carr intgrable ( ), et on insiste sur le fait que l'approche ne saurait tre la
mme pour les deux espaces de fonctions. L'objet de cette note est de montrer que ce faisant, on
a en fait dfini la transformation de Fourier pour des fonctions de , o . On
profite de l'occasion pour indiquer qu'il y a plusieurs manires de dfinir la transformation de
Fourier sur , la mthode trs hilbertienne de N. Wiener notamment.
Rien de ce qui va tre prsent n'est vraiment nouveau, mais il nous semble que cela mriterait
d'tre mieux connu et d'apparatre, au moins sous forme de commentaire, dans les cours de
Calcul intgral.
Seules les fonctions de la variable relle sont considres ; est muni de la mesure de
Lebesgue, et dsigne l'espace des (classes de) fonctions valeurs relles ou complexes,
de puissance -ime intgrable.

Partie I
La transformation de Fourier dans
Partie II
La transformation de Fourier dans
Partie III
La transformation de Fourier dans ,
Bibliographie

Partie I
La transformation de Fourier dans
Une fois que l'espace a t dfini et tudi, l'introduction de la transforme de Fourier
de ,

Page 1sur 7 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=319&Type=enonce&Num=0&Mode=...

ne pose pas de grandes difficults l'tudiant. Ce chapitre du cours est l'occasion de donner les
premires proprits de cette transformation applique aux fonctions intgrables sur , de
fournir quelques exemples de transformes de fonctions et des mthodes de calcul pour y arriver,
et enfin de voir ce que donne la transforme de Fourier d'une fonction, lorsque la transforme en
question est intgrable (introduction la transforme de Fourier inverse).

Partie II
La transformation de Fourier dans
Dans tout cours de Calcul intgral, on insiste, contre-exemples l'appui, sur le fait que
et ne se comparent pas (l'un des deux n'est pas inclus dans l'autre). Or, voil que le
chapitre suivant concernant la transformation de Fourier se propose de dfinir celle-ci sur
. Pour ce faire, aprs avoir soulign qu'une formule comme (1) ne saurait tre utilise ds
lors que , il est habituel (dans les cours en France du moins) d'utiliser un rsultat de
prolongement d'application linaire continue. tant donn un sous-espace vectoriel de
fonctions intgrables, dense dans , l'application linaire continue particulire qu'est la
transformation de Fourier


a les proprits requises pour tre prolonge sans ambigut . On peut prendre pour
par exemple :
- l'espace de L. Schwartz des fonctions dites crasement rapide l'infini ;
- l'espace de N. Wiener des fonctions telles que et soient dans ;
- l'espace , contenant les deux prcdents.
L'approche a son intrt, ne serait-ce que parce qu'elle est l'occasion d'utiliser ce thorme de
prolongement d'application linaire continue, vu par ailleurs dans un cours de mme niveau (de
Topologie, d'Analyse relle).
Or il existe d'autres mthodes pour dfinir la transformation de Fourier dans ; celle que
nous voquons ci-dessous est due N. Wiener (1933) et elle a la particularit d'tre trs
hilbertienne comme nous allons le voir, donc susceptible d'tre mieux avale par un
tudiant, lequel subit par ailleurs ce mme niveau, une formation en Analyse hilbertienne.
Soit, pour ,
Page 2sur 7 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=319&Type=enonce&Num=0&Mode=...


Attention ici au fait que les exposants dans les deux exponentielles ne sont pas les mmes. De
manire claire,


est donc le produit de par un objet bien connu, savoir le polynme de Hermite
( un changement d'chelle prs). Les sont appeles les fonctions de Hermite ; les premiers
lments en sont :



Les fonctions sont crasement rapide l'infini, et leurs proprits dans le contexte de la
transformation de Fourier sont aises obtenir (cf. [1, Section 2.5] ou [2, Exercice 10.10] par
exemple) ; en particulier, celle-ci est essentielle :





Figure1: Quelques fonctions de Hermite.
Page 3sur 7 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=319&Type=enonce&Num=0&Mode=...

Ainsi, les sont des (fonctions) vecteurs propres pour les quatre valeurs propres possibles pour
la transformation de Fourier, savoir .
Par ailleurs, quitte normaliser les en posant nous avons la proprit
hilbertienne fondamentale que voici (cf. [3, Section 6] ou [1, p. 99-101] par exemple) :


La mthode de N. Wiener ([3]) consiste alors dfinir la transforme de Fourier de
comme suit :


o dsigne, bien entendu, le produit scalaire usuel dans . Du coup, le thorme de
Plancherel (1910) se lit dans (5) via la relation de Parseval :


La vision gomtrique de cette affaire est que est la somme directe de quatre sous-
espaces, , , les quatre sous-espaces propres pour la transformation de Fourier :


En rsum : la transformation de Fourier sur est une sorte de rotation, son action sur
consiste en une multiplication par , soit l'quivalent d'une rotation par un angle de
et respectivement.
Ayant dfini pour et pour , une tape naturelle consiste
dmontrer la cohrence des dfinitions, savoir :


Ceci est toujours fait, car incontournable.
Page 4sur 7 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=319&Type=enonce&Num=0&Mode=...
Et aprs ? l'issue de ces deux chapitres (transformation de Fourier dans , puis dans
), et se rappelant que et ne se comparent pas, l'tudiant a l'impression qu'il
a affaire une dfinition sur deux espaces diffrents, et , ne concidant que sur
leur intersection. Or, il n'en est rien : la transforme de Fourier a t dfinie, en fait, sur tous les
, avec . C'est ce que nous allons voir prsent.

Partie III
La transformation de Fourier dans ,
Thorme 1 - La transformation de Fourier est dfinie sans ambigut sur ;
- Tous les , sont contenus dans .

Dmonstration
- Soit , avec et dans , et dans . Comme
, la transformation de Fourier sur ces deux fonctions est
bien dfinie et (cf. (6)) :


Ainsi , de sorte que la dfinition de ,
, ne souffre d'aucune ambigut.
- Soit . Imaginons comme tant un reprsentant de la classe dans pour
pouvoir mieux parler de conditions ponctuelles. Posons :


Dcomposons sous la forme (ici, est la fonction indicatrice de ,
si , sinon, et est le complmentaire de dans ). Nous allons
dmontrer que et .
On a tout d'abord

Page 5sur 7 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=319&Type=enonce&Num=0&Mode=...


de sorte que


d'o .
Ensuite,


d'o .

L'approche prosaque propose ci-dessus a ses limites. On a certes



qui n'est autre que


mais cela n'indique pas prcisment si , est dans un autre espace de Lebesgue
. Pour cela, il faut travailler davantage et faire appel des techniques (du type
interpolation la Riesz-Thorin) plus avances que celles disponibles au niveau o nous nous
sommes placs. De fait, si avec , la transforme est dans , o
est le conjugu de ( donc), avec l'ingalit (de continuit) suivante :


Mais on peut faire mieux que cela : d'aprs W. Beckner ([4]),


Page 6sur 7 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=319&Type=enonce&Num=0&Mode=...
Cette constante est optimale puisque et lorsque
.


Figure 2 : Valeur de la constante optimale , .

Bibliographie
1 H. Dym et H.P. McKean, Fourier series and integrals, Academic Press, London (1972).
2 El Haj Laamri, Mesures, intgration, convolution et transforme de Fourier des fonctions,
Dunod, Paris (2001).
3 N. Wiener, The Fourier integral and certain of its applications, Cambridge University
Press, London (1933). Reprinted by Dover, New York (1959).
4 W. Beckner, Inequalities in Fourier analysis, Ann. of Math. 102 (1975), 159-182.
J BHU : jbhu@cict.fr MP : pradel@cict.fr

Page 7sur 7 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=319&Type=enonce&Num=0&Mode=...