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

1 Énoncé
- 1.1 Version réelle
- 1.2 Version en analyse harmonique abstraite
2 Historique
3 Principe de la preuve
- 3.1 Une première méthode
- 3.2 Une variante
4 Initiation à la version plus générale
5 Références

É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 c_n(f) d'une fonction périodique localement intégrable 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 L¹ 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)-\frac i{s}f(a)-\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 $L 1 (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 L¹ à 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 L¹. 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 L¹, 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 f_s la fonction R $\to$ R définie par f_s(t)=e^ist, le lemme de Riemann-Lebesgue revient à dire que f_s tend vers la fonction nulle pour la topologie faible dans le dual (topologique) de L¹ (c'est-à-dire ) quand s tend vers l'infini.

Le présenter ainsi n'est pas artificiel ; en effet pour un groupe localement compact général G, c'est en plongeant $\hat G$ dans L^∞ (muni de la topologie faible) qu'on interprètera et démontrera à la fois le lemme de Riemann-Lebesgue. Pour ce faire, on peut considérer un caractère χ élément de $\hat G$ , qui est une fonction continue bornée sur $G$ , comme un élément du dual de L¹. On remarque ensuite que cette forme linéaire sur L¹ a la propriété supplémentaire remarquable d'être un morphisme d'algèbre de Banach de L¹ vers C quand on munit L¹ 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 L¹.

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 L¹(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 L¹(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, L¹(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 L¹(G) —il y en a juste un de plus : celui qui est nul sur L¹(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

↑ On requiert ici la séparation dans la définition de la compacité.
↑ 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.
↑ Œuvres de Riemann, 2^e édition, p. 230
↑ Cette preuve est reprise de K. Chandrasekharan Classical Fourier Transforms, Springer-Verlag, 1989 (ISBN 0387502483), p. 6-7
↑ 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.

Portail des mathématiques

Ce document provient de « Th%C3%A9or%C3%A8me de Riemann-Lebesgue ».

Catégories : Série de Fourier | Théorie de l'intégration | Théorème de mathématiques | Bernhard Riemann

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

Dictionnaires et Encyclopédies sur 'Academic'

Théorème de riemann-lebesgue