Théorème de Paley-Wiener

Théorème de Paley-Wiener

En mathématiques, on appelle théorème de Paley-Wiener tout théorème qui relie les propriétés de décroissance à l'infini d'une fonction ou d'une distribution avec l'analyticité de sa transformée de Fourier. Ce théorème a été ainsi nommé en hommage à Raymond Paley et Norbert Wiener. Le théorème originel n'utilise pas le langage des distributions, mais celui des fonctions de carré intégrable. La première formulation d'un théorème de ce type utilisant les distributions est due à Laurent Schwartz.

Sommaire

Transformées de Fourier holomorphes

Le théorème de Paley–Wiener classique utilise la transformée de Fourrier holomorphe dans L2(ℝ) . Formellement, l'idée consiste à considérer l'intégrale correspondant à la transformée de Fourrier inverse d'une fonction F de L2(ℝ) :

f(\zeta) = \int_{-\infty}^\infty F(x)e^{i x \zeta}~\mathrm dx

pour ζ nombre complexe de partie imaginaire positive. Ensuite, on peut espérer obtenir la dérivée par différentiation sous l'intégrale pour vérifier que les équations de Cauchy-Riemann sont bien satisfaites, et ainsi que ƒ définit une fonction analytique. Bien sûr, cette intégrale peut très bien ne pas être bien définie, même pour F ∈ L2(ℝ+). Il est donc hors de question de calculer la dérivée par différentiation sous le signe intégral. On doit donc imposer conditions supplémentaires sur F afin que cette intégrale soit bien définie.

Pour obtenir un théorème de Paley-Wiener, l'une des conditions les plus usuelles imposée à la fonction F est qu'elle ait pour support (0,∞), ou encore que F ∈ L2(0,∞). Dans ce cas le théorème de Paley-Wiener dit que[1] : la transformée de Fourier holomorphe de F, définie par

f(\zeta) = \int_0^\infty F(x) e^{i x\zeta}~\mathrm dx

pour ζ de partie imaginaire positive, est une fonction holomorphe. Et en outre, grâce au théorème de Plancherel, on a

\int_{-\infty}^\infty |f(\xi+i\eta)|^2~\mathrm d\xi \le \int_0^\infty |F(x)|^2~\mathrm dx

et par le théorème de convergence dominée,

\lim_{\eta\to 0^+}\int_{-\infty}^\infty |f(\xi+i\eta)-f(\xi)|^2~\mathrm d\xi = 0.

Inversement, si ƒ est une fonction a holomorphe dans le demi-plan des imaginaires positifs satisfaisant

\sup_{\eta>0} \int_{-\infty}^\infty |f(\xi+i\eta)|~\mathrm d\xi = C < \infty

alors il existe F ∈ L2(0,∞) telle que ƒ est la transformée de Fourrier holomorphe de F.

De façon abstraite, cette version du théorème décrit de façon explicite l'espace de Hardy H2(R). Le théorème dit que

Erreur math (La conversion en PNG a échoué ; vérifiez l’installation de latex et dvipng (ou dvips + gs + convert)): \mathcal{F}H^2(\R)=^\mathrm L^2(\R^+).

Ceci est un résultat très utile car il permet de prendre la transformée de Fourier d'une fonction d'un espace de Hardy et de travailler ensuite dans l'espace très usuel L2(ℝ+) des fonctions de carré intégrable sur les réels positifs.

En imposant à F comme condition alternative que F soit à support compact, on obtient un autre théorème de Paley–Wiener[2]. Si on suppose que le support de F est contenu dans l'intervalle [−A,A], de telle sorte que F ∈ L2(-A,A), alors la transformée de Fourier holomorphe

f(\zeta) = \int_{-A}^A F(x)e^{i x\zeta}~\mathrm dx

est une fonction entière de type exponentiel A, ce qui veut dire qu'il y a une constante C telle que

|f(\zeta)|\le Ce^{A|\zeta|},

et de plus ƒ est de carré intégrable sur les lignes horizontales:

\int_{-\infty}^{\infty} |f(\xi+i\eta)|^2~\mathrm d\xi < \infty.

Inversement, toute fonction entière exponentielle de type A et de carré intégrable sur les lignes horizontales est la transformée de Fourier holomorphe d'une fonction de L2(ℝ) à support dans [−A,A].

Le théorème de Paley-Wiener selon Schwartz

La version du théorème de Paley-Wiener établie par Laurent Schwartz[3] dit que la transformée de Fourier d'une distribution à support compact sur ℝn est une fonction entière sur ℂn et donne des estimations sur sa croissance à l'infini.. La formulation présentée ici est due à Lars Hörmander[4].

Etant donné que la transformée de Fourier peut être définie pour toutes les distributions tempérées et que toute distribution à support compacte est une distribution tempérée, si v est une distribution à support compact et F est une fonction indéfiniment différentiable, l'expression

v(f) = v_x \left(f(x)\right)

est bien définie. Dans l'expression ci-dessus la variable x dans la notation : vx est une variable muette qui indique que la fonction sur laquelle la distribution agit doit être considérée comme une fonction de x.

On peut monter que la transformée de Fourier de v est une fonction (et pas seulement une distribution tempérée) dont la valeur en s est donnée par

\hat{v}(s) = (2 \pi)^{-n/2} v_x\left(e^{-i \langle x, s\rangle}\right)

et que cette fonction peut être étendue aux valeur complexes de s et donc définie sur ℂn. Cette extension de la transformée de Fourier au domaine complexe est appelée la transformée de Laplace.

Énoncé de la version du théorème selon Schwartz :

  • Une fonction entière F sur ℂn est la transformée de Fourier-Laplace d'une distribution v à support compact si et seulement si
pour tout z ∈ ℂn, on a :   |F(z)| \leq C (1 + |z|)^N e^{B| \mathfrak{Im} z|}
pour des constantes C, N, B. En fait, le support de la distribution v sera contenu dans la boule fermée de centre 0 et de rayon B.

Des conditions supplémentaires sur la croissance de la fonction entière F se traduisent par des propriétés de régularité pour la distribution v. Par exemple[5] :

  • Si pour tout réel positif N il existe une constante CN telle que pour tout z ∈ ℂn,
|F(z)| \leq C_N (1 + |z|)^{-N} e^{B| \mathfrak{Im} z|}
alors v est indéfiniement dérivable, et inversement.

Hörmander[6] a formulé des résultats plus fins qui donnent un bon contrôle du support singulier de v. En particulier, soit K un sous-ensemble compact convexe de ℝn dont on définit la fonction support H par \textstyle{H(x) = \sup_{y\in K} \langle x,y\rangle}. Alors le support singulier de v est contenu dans K si et seulement s'il existe une constante N et une suite de constantes Cm telles que

|\hat{v}(\zeta)| \le C_m(1+|\zeta|)^Ne^{H(\mathfrak{Im}\zeta)}   pour   {}~|\mathfrak{Im}\zeta|\le m \log(|\zeta|+1).

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article en anglais intitulé « Paley–Wiener theorem » (voir la liste des auteurs)

Notes

  1. ↑ Rudin 1977, Théorème 19.2 ; Strichartz 1994, Theorem 7.2.4 ; Yosida 1968, §VI.4
  2. ↑ Rudin 1977, Théorème 19.3 ; Strichartz 1994, Theorem 7.2.1
  3. ↑ Schwartz 1952
  4. ↑ Hörmander 1976
  5. ↑ Strichartz 1994, Theorem 7.2.2 ; Hörmander 1976, Theorem 7.3.1
  6. ↑ Hörmander 1976, Theorem 7.3.8

Références

  • (en) L. Hörmander, Linear Partial Differential Operators, Springer Verlag, 1976 
  • W. Rudin, Analyse réelle et complexe, 1977 [détail de l’édition] 
  • L. Schwartz, « Transformation de Laplace des distributions », dans Comm. Sém. Math. Univ. Lund [Medd. Lunds Univ. Mat. Sem.], 1952, p. 196–206 
  • (en) R. Strichartz, A Guide to Distribution Theory and Fourier Transforms, CRC Press, 1994 (ISBN 0849382734) 
  • (en) K. Yosida (de), Functional Analysis, Academic Press, 1968 

Wikimedia Foundation. 2010.

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

Игры ⚽ Поможем написать реферат

Regardez d'autres dictionnaires:

  • WIENER (N.) — Dire que Wiener est le père de la cybernétique ou qu’il est le «philosophe de l’automation» signifie qu’il a élaboré, dans le cadre initial de la théorie de la communication, des méthodes mathématiques qui ont permis de traiter de manière… …   Encyclopédie Universelle

  • Raymond Paley — Pour les articles homonymes, voir Paley (homonymie). Raymond Edward Alan Christopher Paley né le 7 janvier 1907 – décédé le 7 avril 1933, était un mathématicien anglais. Paley est né à Bournemouth. Il a étudié au collège d Eton avant de rentrer… …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • DÉRIVÉES PARTIELLES (ÉQUATIONS AUX) - Théorie linéaire — Il existe une théorie mathématique assez bien constituée des équations aux dérivées partielles linéaires, dont nous allons essayer de donner une idée. En contraste, les équations non linéaires présentent un foisonnement de problèmes et de… …   Encyclopédie Universelle

  • Liste Des Théorèmes — par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le premier nom propre cité. Si le nom du théorème …   Wikipédia en Français

  • Liste des theoremes — Liste des théorèmes Liste des théorèmes par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le… …   Wikipédia en Français

  • Liste des théorèmes — par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le premier nom propre cité. Si le nom du théorème …   Wikipédia en Français

  • Liste de théorèmes — par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le premier nom propre cité. Si le nom du théorème …   Wikipédia en Français

  • Éléments d'analyse — Les Éléments d analyse sont une série de 9 volumes écrits par le mathématicien français Jean Dieudonné. À l origine, seul le premier volume, Foundations of Modern Analysis, publié en 1960, était prévu. J. Dieudonné l écrit suite à une série de… …   Wikipédia en Français

  • HARMONIQUE (ANALYSE) — Lorsqu’on fait vibrer, dans des conditions idéales, une corde de longueur l , fixée en ses extrémités d’abscisses 0 et l , l’équation aux dérivées partielles: est vérifiée, où u (x , t ) est une fonction dont la valeur représente, à l’instant t …   Encyclopédie Universelle

Share the article and excerpts

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