Théorème de Riemann-Lebesgue

Théorème de Riemann-Lebesgue

En analyse, le théorème de Riemann-Lebesgue, parfois aussi appelé lemme de Riemann-Lebesgue (ou encore lemme intégral de Riemann-Lebesgue) est un résultat de théorie de Fourier. Il apparaît sous deux formes différentes selon que l'on s'intéresse à la théorie de Fourier pour les fonctions périodiques (théorie des séries de Fourier) ou à celle concernant les fonctions définies sur R (transformée de Fourier) ; dans les deux cas, il assure que le résultat d'une transformation de Fourier appliquée à une fonction intégrable est une fonction qui tend vers zéro à l'infini. Il peut être généralisé aux groupes abéliens localement compacts.

Sommaire

Énoncé

Version réelle

Soit f une fonction intégrable sur un intervalle I de R, à valeurs réelles ou complexes. Alors

\int_I f(t)\, e^{-i st}\, dt\to 0 quand s \to \pm \infty.

Ce théorème peut être appliqué pour reconnaître les transformations de la théorie de Fourier.

  • dans le cas particulier où I est le segment [0,2π], l'énoncé peut être spécialisé ainsi
\int^{2\pi}_0 f(t) e^{-int}\,dt\to 0 quand n \to \pm \infty.

Quitte à périodiser la fonction, cette version indique que les coefficients de Fourier cn(f) d'une fonction localement intégrable périodique tendent vers 0 lorsque n tend vers plus ou moins l'infini. C'est par exemple le cas pour une fonction continue par morceaux sur le segment.

  • dans le cas particulier où I est la droite réelle, le théorème affirme que la transformée de Fourier de toute fonction intégrable tend vers zéro en l'infini
\hat{f}(s) = \int_{-\infty}^{+\infty} f(t)\, e^{-i st}\, dt\to 0 quand s \to \pm \infty.

Version en analyse harmonique abstraite

Soit G un groupe commutatif localement compact[1], \hat G le groupe dual et f une fonction sur G à valeurs réelles ou complexes, intégrable pour une mesure de Haar sur G. Alors la transformée de Fourier de f tend vers 0 à l'infini dans \hat G[2].

Historique

Bernhard Riemann présente en 1854 une première version de ce théorème. Il fait alors partie d'un mémoire sur les séries trigonométriques présenté lors de sa soutenance d'habilitation à l'université de Göttingen, sous le titre « Über die Darstellbarkeit einer Function durch eine trigonometrische Reilhe ». Dans ce même mémoire, Riemann définit auparavant l'intégrale qui portera son nom. C'est dans le cadre de cette théorie de l'intégration qu'il prouve son théorème, avec de nombreux autres résultats concernant les séries de Fourier. Le mémoire sera publié en 1867 à l'initiative de Richard Dedekind, et traduit en français en 1873[3].

Principe de la preuve

Quelles que soient les variantes de preuves utilisées, elles reposent sur la densité de classes de fonctions accessibles aux calculs élémentaires (fonctions en escalier ou fonctions suffisamment différentiables) dans l'espace L1 des fonctions intégrables.

Une première méthode

On peut choisir le plan d'action suivant : prouver le théorème pour une classe simple de fonctions (fonctions en escalier ou fonctions continûment dérivables) et l'étendre à toutes les fonctions intégrables par densité ; si on s'intéresse à la théorie de l'intégrale de Fourier, on utilisera des fonctions auxiliaires nulles en dehors d'un compact de R.

Le théorème se démontre aisément dans le cas d'une fonction f continûment dérivable sur un segment [a,b]. On peut en effet alors effectuer une intégration par parties pour s non nul

\int_a^b f(t) e^{-ist}\,dt=\frac i{s}f(b)e^{-isb}-\frac i{s}f(a)e^{-isa}-\frac i{s} \int_a^b f'(t) e^{-ist}\,dt .

Chacun des trois termes est de la forme 1/s multiplié par une quantité bornée, donc l'expression a bien une limite nulle.

Il est facile d'effectuer un calcul semblable pour des fonctions en escalier si on les préfère.

Une fois ce calcul préalable effectué, sachant que l'espace des fonctions en escalier (ou l'espace des fonctions continûment différentiables) à support compact est dense dans L1(I) on aboutit au résultat pour des fonctions quelconques.

Une variante

On peut préférer la variante suivante[4], qui relègue l'usage d'un sous-ensemble dense de L1 à un lemme préalable, puis fait clairement reposer la preuve sur l'utilisation de petites translations de f. Nous l'écrivons ici pour le cas des fonctions intégrables sur R, quitte à effectuer un prolongement.

La fonction étudiée f étant fixée, on prouve dans un premier temps le lemme suivant : en notant fτ la fonction translatée définie pour tout réel t par fτ(t)=f(t+τ), la fonction τ \mapsto fτ est continue de R vers L1. Sa preuve nécessite, comme dans l'autre méthode, d'approcher f par des fonctions plus sympathiques.

Une fois qu'on dispose de ce lemme, on utilise la formule élémentaire (simple changement de variable) :

\hat f(s)=e^{-is\tau}\widehat{f_\tau}(s)

en l'appliquant à \tau={\pi\over s}, où elle fournit donc : \hat f(s)=-\widehat{f_{\pi/s}}(s)


Pour s grand, voici une idée graphique de la fonction intégrée pour calculer \hat f(s)

Cette formule s'interprète bien graphiquement : l'expression qu'elle fournit pour \hat f(s) correspondant à l'intégrale de la fonction dont le graphe serait presque celui représenté ci-contre, mais décalé d'une demi-« période » vers la gauche.

On obtient donc :

2\hat f(s)=\hat f(s)-\widehat{f_{\pi/s}}(s)

Ceci revient à calculer l'intégrale définissant \hat f(s) en ajoutant à chaque bosse le creux qui suit et à chaque creux la bosse qui le suit : les choses se compensent presque...

C'est-à-dire \hat f(s)={1\over 2} \widehat{(f-f_{\pi/s})}(s).

Maintenant, lorsque s est suffisamment grand, f − fπ / s est très petit dans L1, donc sa transformée de Fourier est très petite en tout point et en particulier en s ce qui explique la petitesse de \hat f(s).

Initiation à la version plus générale

Dans le cas du théorème relatif aux intégrales de Fourier sur R, l'énoncé peut être réécrit en faisant usage du concept de topologie faible : si on note fs la fonction R\toR définie par fs(t)=eist, le lemme de Riemann-Lebesgue revient à dire que fs tend vers la fonction nulle pour la topologie faible dans le dual (topologique) de L1 (c'est-à-dire caractère χ élément de \hat G, qui est une fonction continue bornée sur G, comme un élément du dual de L1. On remarque ensuite que cette forme linéaire sur L1 a la propriété supplémentaire remarquable d'être un morphisme d'algèbre de Banach de L1 vers C quand on munit L1 du produit de convolution et C de la multiplication habituelle. De plus on peut vérifier que la topologie compacte-ouverte de \hat G (celle qui est généralement choisie comme définition de la topologie sur \hat G) coïncide avec la topologie induite par la topologie faible du dual de L1.

Le groupe topologique \hat G apparaît donc comme un sous-ensemble de l'ensemble des caractères de l'algèbre de Banach commutative L1(G). On démontre qu'en fait tous les caractères sont ainsi produits, la transformation de Fourier dans G apparaissant alors comme la transformation de Gelfand de cette algèbre commutative. Mettons de côté le cas particulier où G est discret ; dans ce cas L1(G) est une algèbre unitaire et l'ensemble de ses caractères est donc compact pour la topologie faible —\hat G étant compact, le lemme de Riemann-Lebesgue est vide d'information puisqu'il est impossible de tendre vers l'infini dans ce groupe. En revanche, lorsque G n'est pas discret, L1(G) n'est pas unitaire et il vaut mieux considérer l'algèbre de Banach unitaire obtenue en lui adjoignant un élément unité ; ses caractères sont presque les mêmes que ceux de L1(G) —il y en a juste un de plus : celui qui est nul sur L1(G). Ainsi la réunion de \hat G et du singleton contenant l'application nulle s'identifie à l'ensemble des caractères d'une algèbre de Banach unitaire, donc à un compact ; on dispose dès lors d'une description alternative du compactifié d'Alexandroff de \hat G et surtout d'une description de « tendre vers l'infini » dans ce groupe localement compact : c'est tendre vers zéro pour la topologie faible. Une fois faites avec soin ces identifications, le lemme de Riemann-Lebesgue est devenu tautologique[5].

Références

  1. ↑ On requiert ici la séparation dans la définition de la compacité.
  2. ↑ On trouvera cet énoncé clairement explicité dans Hans Reiter et Jan D. Stegeman Classical analysis and locally compact groups, Clarendon Press, 2000 (ISBN 0198511892), où il est donné sans preuve. Une démonstration est proposée p. 81 du tome 2 de Abstract harmonic anlysis de E. Hewitt et A. K. Ross, Springer-Verlag, 1970.
  3. ↑ Œuvres de Riemann, 2e édition, p. 230
  4. ↑ Cette preuve est reprise de K. S. Chandrasekharan (en), Classical Fourier Transforms, Springer-Verlag, 1989 (ISBN 978-3-54050248-7), p. 6-7
  5. ↑ Pour ces liens entre transformation de Fourier et théorie des algèbres de Banach, on pourra se référer à Reiter et Stegeman précité, ou à Lynn H. Loomis, An Introduction to Abstract Harmonic Analysis, D. van Nostrand Co, 1953.

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème de Riemann-Lebesgue de Wikipédia en français (auteurs)

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

Regardez d'autres dictionnaires:

  • Theoreme de Riemann-Lebesgue — Théorème de Riemann Lebesgue En analyse, le théorème de Riemann Lebesgue, parfois aussi appelé lemme de Riemann Lebesgue (ou encore lemme intégral de Riemann Lebesgue) est un résultat de théorie de Fourier. Il apparaît sous deux formes… …   Wikipédia en Français

  • Théorème de riemann-lebesgue — En analyse, le théorème de Riemann Lebesgue, parfois aussi appelé lemme de Riemann Lebesgue (ou encore lemme intégral de Riemann Lebesgue) est un résultat de théorie de Fourier. Il apparaît sous deux formes différentes selon que l on s intéresse… …   Wikipédia en Français

  • RIEMANN (B.) — Après la mort de Georg Friedrich Bernhard Riemann, son œuvre fut publiée en un seul volume, y compris les fragments posthumes, et cette brièveté ne tient pas seulement à la fin précoce du mathématicien: d’une part, ses démonstrations sont très… …   Encyclopédie Universelle

  • Theoreme de Dirichlet (Series de Fourier) — Théorème de Dirichlet (Séries de Fourier) En analyse, le théorème de Dirichlet (ou de Jordan Dirichlet) est un résultat de convergence ponctuelle pour les séries de Fourier. Une première version du théorème a été prouvée par Dirichlet en 1829[1] …   Wikipédia en Français

  • Théorème de Dirichlet sur la convergence des séries de Fourier — Théorème de Dirichlet (Séries de Fourier) En analyse, le théorème de Dirichlet (ou de Jordan Dirichlet) est un résultat de convergence ponctuelle pour les séries de Fourier. Une première version du théorème a été prouvée par Dirichlet en 1829[1] …   Wikipédia en Français

  • Théorème de dirichlet (séries de fourier) — En analyse, le théorème de Dirichlet (ou de Jordan Dirichlet) est un résultat de convergence ponctuelle pour les séries de Fourier. Une première version du théorème a été prouvée par Dirichlet en 1829[1]. Faute d une théorie de l intégration… …   Wikipédia en Français

  • Théorème de Lebesgue — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. En mathématiques, plusieurs théorèmes portent, au moins en partie, le nom de Henri Léon Lebesgue : Théorèmes de convergence monotone et dominée de… …   Wikipédia en Français

  • Théorème de Dirichlet (Séries de Fourier) — Pour les articles homonymes, voir Théorème de Dirichlet. En analyse, le théorème de Dirichlet (ou de Jordan Dirichlet) est un résultat de convergence ponctuelle pour les séries de Fourier. Une première version du théorème a été prouvée par… …   Wikipédia en Français

  • Lemme de Riemann — Théorème de Riemann Lebesgue En analyse, le théorème de Riemann Lebesgue, parfois aussi appelé lemme de Riemann Lebesgue (ou encore lemme intégral de Riemann Lebesgue) est un résultat de théorie de Fourier. Il apparaît sous deux formes… …   Wikipédia en Français

  • Theoreme de convergence monotone — Théorème de convergence monotone En mathématiques, le Théorème de convergence monotone est l un des théorèmes importants de la théorie des intégrales au sens de Lebesgue avec le théorème de convergence dominée. Ce théorème indique que la… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”