Théorème d'inversion de Fourier

En mathématiques, le théorème d'inversion de Fourier dit que pour de nombreux types de fonctions, il est possible de retrouver une fonction à partir de sa transformée de Fourier. En traitement du signal, on pourrait dire que la connaissance de toutes les informations d'amplitude et de phase des ondes constituant un signal permet précisément de reconstruire ce signal.

Pour les articles homonymes, voir Fourier.

Le théorème dit que si nous avons une fonction satisfaisant certaines conditions, on peut définir la transformée de Fourier comme

et la reconstruction de à partir de sa transformée

En d'autres termes, le théorème d'inversion de Fourier dit que


Une autre façon d'énoncer le théorème est que si est l'opérateur défini par , alors

Le théorème est vérifié si la fonction et sa transformée de Fourier sont absolument intégrables (au sens de Lebesgue ) et si est continue au point . Cependant, même dans des conditions plus générales, les versions du théorème d'inversion de Fourier tiennent. Dans ces cas, les intégrales ci-dessus peuvent ne pas converger dans un sens ordinaire.

Propriétés

Dans cette section, on suppose que est une fonction continue intégrable. Sa transformée de Fourier est donnée par

De plus, nous supposons que la transformée de Fourier est également intégrable.

Transformée de Fourier inverse en tant qu'intégrale

L'énoncé le plus courant du théorème d'inversion de Fourier est d'énoncer la transformée inverse comme une intégrale. Pour toute fonction intégrable et tout ensemble

Alors pour tous on a

Théorème d'inversion de Fourier

Le théorème peut être reformulé comme

Si f est une fonction à valeurs réelles, alors en prenant la partie réelle de chaque côté de ce qui précède, nous obtenons

Transformation inverse à l'aide de l'opérateur d'inversion d'espace

Pour toute fonction on définit l'opérateur d'inversion d'espace par

Ensuite, on peut alors redéfinir la transformée de Fourier inverse par

Il est immédiat à partir de la définition de la transformée de Fourier et de l'opérateur d'inversion que les deux fonctions et correspondent à la définition de , et en particulier sont égaux entre eux et satisfont .

Depuis on a et

Conditions d'application du théorème

Lorsqu'il est utilisé en physique et en ingénierie, le théorème d'inversion de Fourier est souvent utilisé sous l'hypothèse que tout « se comporte bien ». En mathématiques, de tels arguments heuristiques ne sont pas autorisés, et le théorème d'inversion de Fourier inclut une spécification explicite de la classe de fonctions autorisée. Cependant, il n'y a pas de "meilleure" classe de fonctions à considérer donc plusieurs variantes du théorème d'inversion de Fourier existent, bien qu'avec des conclusions compatibles.

Fonctions de Schwartz

Le théorème d'inversion de Fourier est valable pour toutes les fonctions de Schwartz (en gros, les fonctions lisses qui décroissent rapidement et dont toutes les dérivées décroissent rapidement à l'infini). Cette condition a l'avantage d'imposer des conditions uniquement sur la fonction (par opposition à imposer une condition sur sa transformée de Fourier), et l'intégrale qui définit la transformée de Fourier et son inverse sont absolument intégrables. Cette version du théorème est utilisée dans la preuve du théorème d'inversion de Fourier pour les distributions tempérées (voir ci-dessous).

Fonctions intégrables avec transformée de Fourier intégrable

Le théorème d'inversion de Fourier est valable pour toutes les fonctions continues qui sont absolument intégrables (c'est-à-dire appartenant à ) et dont la transformée de Fourier est absolument intégrable. Cela inclut toutes les fonctions de Schwartz, c'est donc une forme strictement plus forte du théorème que la précédente mentionnée.

Une légère variante consiste à abandonner la condition que la fonction soit continue mais à exiger qu'elle et sa transformée de Fourier soient absolument intégrables. Dans ce cas presque partout où g est une fonction continue, et pour chaque .

Fonctions intégrables d'une seule variable

Fonctions d'une seule variable régulières par morceaux

Si la fonction est absolument intégrable en une dimension (c'est-à-dire ) et est lisse par morceaux alors une version du théorème d'inversion de Fourier est vérifiée. Dans ce cas on définit

Alors pour tous

c'est-à-dire est égal à la moyenne des limites gauche et droite de à . Aux points où est continue, on retrouve .

Une généralisation en dimension supérieure de cette forme du théorème est également valable, mais selon Folland (1992) cela « plutôt délicat et pas très utile ».

Fonctions d'une seule variable continues par morceaux

Si la fonction est absolument intégrable en une dimension (c'est-à-dire ) mais simplement continue par morceaux, alors une version du théorème d'inversion de Fourier est toujours valable. Dans ce cas, l'intégrale dans la transformée de Fourier inverse est définie à l'aide d'une fonction de coupure régulière ; nous définissons spécifiquement

La conclusion du théorème est alors la même que pour le cas régulier par morceaux discuté ci-dessus.

Fonctions de plusieurs variables continues

Si est continue et absolument intégrable sur alors le théorème d'inversion de Fourier est toujours valable tant que nous définissons à nouveau la transformée inverse avec une fonction de coupure régulière, c'est-à-dire

La conclusion est maintenant simplement que pour tous

Fonctions de plusieurs variables sans condition de régularité

Si nous abandonnons toutes les hypothèses sur la continuité (par morceaux) de et supposons simplement qu'elle est absolument intégrable, alors une version du théorème est toujours valable. La transformée inverse est à nouveau définie avec la coupure régulière, mais avec la conclusion que

pour presque tous [1]

Fonctions de carré intégrable

Dans ce cas, la transformée de Fourier ne peut pas être définie directement comme une intégrale car elle peut ne pas être absolument convergente, elle est donc définie par un argument de densité (voir l' article sur la transformée de Fourier ). Par exemple, considérons

nous pouvons définir où la limite est prise au sens de la norme . La transformée inverse peut être définie par la densité de la même manière ou en la définissant en termes de transformée de Fourier et de l'opérateur d'inversion. On a alors

au sens de la norme . En dimension 1 (et seulement dans ce cas), on peut également montrer que l'intégrale converge pour presque tout x∈ℝ - c'est le théorème de Carleson, mais c'est beaucoup plus difficile à prouver que la convergence en norme .

Distributions tempérées

La transformée de Fourier peut être définie sur l'espace des distributions tempérées par dualité de la transformée de Fourier sur l'espace des fonctions de Schwartz. Spécifiquement pour et pour toutes les fonctions de test (espace de Schartz) nous fixons

est défini à l'aide de la formule intégrale. Si alors on retrouve la définition habituelle. On peut définir la transformée inverse , soit par dualité à partir de la transformation inverse sur les fonctions de Schwartz de la même manière, soit en la définissant à l'aide de l'opérateur d'inversion (où celui-ci est défini par dualité). On a alors

Relation avec les séries de Fourier

Lorsque l'on considère la série de Fourier d'une fonction périodique, à une transformation linéaire près, il est classique de considérer la fonction périodique. Dans cette section, nous utilisons plutôt la convention quelque peu inhabituelle en prenant de période 1, agissant sur l'intervalle, car cela correspond à la convention de la transformée de Fourier utilisée ici.

Le théorème d'inversion de Fourier est analogue à la convergence des séries de Fourier . Dans le cas de la transformée de Fourier, on a

Dans le cas de la série de Fourier, on a plutôt

Applications

Certains problèmes, comme la résolution d'équations différentielles, deviennent plus faciles à résoudre lorsque la transformée de Fourier est appliquée. Dans ce cas, la solution du problème d'origine est récupérée en utilisant la transformée de Fourier inverse.

Dans les applications de la transformée de Fourier, le théorème d'inversion de Fourier joue souvent un rôle critique. Dans de nombreuses situations, la stratégie de base consiste à appliquer la transformée de Fourier, à effectuer une opération ou une simplification, puis à appliquer la transformée de Fourier inverse.

De manière plus abstraite, le théorème d'inversion de Fourier est une propriété de la transformée de Fourier en tant qu'opérateur (voir Transformée de Fourier sur les espaces de fonctions ). Par exemple, le théorème d'inversion de Fourier sur montre que la transformée de Fourier est un opérateur unitaire sur .

Propriétés de la transformée inverse

La transformée de Fourier inverse est extrêmement similaire à la transformée de Fourier d'origine : comme indiqué ci-dessus, elle ne diffère que par l'application d'un opérateur d'inversion. Pour cette raison, les propriétés de la transformée de Fourier sont valables pour la transformée de Fourier inverse, comme le théorème de convolution et le lemme de Riemann-Lebesgue .

Des tables de transformées de Fourier peuvent facilement être utilisées pour la transformée de Fourier inverse en composant la fonction recherchée avec l'opérateur d'inversion. Par exemple, en regardant la transformée de Fourier de la fonction rect, nous voyons que

que l'on réécrit pour faire apparaître la transformée inverse

Preuve

Etant donné la fonction et sa transformée , voici quelques résultats intermédiaires

  1. Si et , alors .
  2. Si et , alors .
  3. Pour , le théorème de Fubini implique que .
  4. Soit  ; alors .
  5. Soit . Le symbole désignant le produit de convolution, est une approximation de l'identité : pour toute fonction continue et pour tout , on a la limite (où la convergence est ponctuelle).

Puisque, par hypothèse, , alors il s'ensuit par le théorème de convergence dominé que

Soit . En appliquant les résultats 1, 2 et 4, à plusieurs reprises pour des intégrales multiples si nécessaire, on obtient

En utilisant la propriété 3 sur et , pour chaque , on a

le produit de convolution de avec une forme approchée de l'identité. Mais puisque , le résultat 5 dit que

En rassemblant ce qui précède, nous avons montré que

Références

  • G. B. Folland, Fourier Analysis and its Applications, Belmont, CA, USA, Wadsworth, (ISBN 0-534-17094-3)
  • G. B. Folland, Introduction to Partial Differential Equations, Princeton, USA, Princeton Univ. Press, (ISBN 978-0-691-04361-6)
  1. (en-US) « DMat0101, Notes 3: The Fourier transform on L^1 », I Woke Up In A Strange Place, (lire en ligne, consulté le )
  • Portail des mathématiques
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.