Transformation de Fourier discrète
En mathématiques, la transformation de Fourier discrète (TFD) sert à traiter un signal numérique[1]. Elle constitue un équivalent discret (c'est-à-dire pour un signal défini à partir d'un nombre fini d'échantillons) de la transformation de Fourier (continue) utilisée pour traiter un signal analogique. Plus précisément, la TFD est la représentation spectrale discrète dans le domaine des fréquences d'un signal échantillonné.
La transformation de Fourier rapide est un algorithme particulier de calcul de la transformation de Fourier discrète.
Définitions
modifierTransformation de Fourier discrète
modifierLa transformation de Fourier discrète d'un signal de échantillons est le vecteur défini par :
- .
On obtient ainsi une représentation spectrale discrète du signal échantillonné .
La TFD ne calcule pas le spectre continu d'un signal continu. Elle permet seulement d'évaluer une représentation spectrale discrète (spectre échantillonné) d'un signal discret (signal échantillonné) sur une fenêtre de temps finie (échantillonnage borné dans le temps).
L'exemple ci-dessous peut laisser croire que la TFD permet de calculer le spectre d'un signal continu, mais cela n'arrive que lorsque la fenêtre d'échantillonnage correspond à un multiple strictement supérieur à deux fois la période du signal échantillonné (dans ce cas on a forcément évité le repliement de spectre, c'est le théorème d'échantillonnage de Nyquist-Shannon) :
Transformation de Fourier discrète inverse
modifierLa transformation de Fourier discrète inverse est donnée par :
- .
En fait, il existe plusieurs définitions de la transformation de Fourier discrète et son inverse, qui différent par le facteur multiplicatif. On peut tout à fait normaliser la TFD par , et ne pas normaliser la TFD inverse, ou encore normaliser les deux par , le but étant dans tous les cas de retrouver le signal originel par la TFD inverse de sa TFD.
Fréquence d'échantillonnage et interpolation
modifierOn peut remarquer que ce signal est périodique de période , et renseigne sur les fréquences comprises entre et (où est la fréquence d'échantillonnage, souvent notée dans la littérature anglo-saxonne). On n'a donc que points pour analyser le spectre, et il peut être intéressant d'augmenter ce nombre de points d'analyse afin d'augmenter la précision spectrale ( ; sans zero-padding, la résolution se confond avec la précision) et donc de mieux localiser les maxima de son spectre (un signal de fréquence non multiple de ne sera pas vu après TFD. Il y a alors perte d'information). Il faut distinguer la précision de la résolution qui est la capacité de distinguer deux sinusoïdes à des fréquences proches ( ).
Pour augmenter le nombre de points, on peut :
- augmenter la fréquence d'échantillonnage. Mais cela a un coût en termes de ressources matérielles ;
- faire une interpolation.
Cela se fait par la technique de complétion de zéros (en anglais zero-padding), qui consiste à compléter le signal par zéros. Le nombre de points d'analyse est donc augmenté, mais le nombre de points de signal utile reste le même (ce qui ne change donc pas la résolution). La nouvelle définition devient :
- .
On somme toujours les mêmes valeurs de (les autres étant nulles), mais on obtient une TFD de période au lieu de simplement : on a points supplémentaires pour décrire la même TFD, on a donc augmenté sa précision. Cette technique est notamment utilisée pour avoir un nombre de points total en puissance de 2, et pouvoir utiliser un algorithme de transformation de Fourier rapide.
On peut, de la même manière, faire du bourrage de zéros sur le spectre afin d'obtenir, par transformation inverse, une interpolation sur le signal initial.
On considère ici toujours une fréquence d'échantillonnage de 1. En parlant en fréquences réduites (normalisées par rapport à la fréquence d'échantillonnage), la TFD est décrite pour des valeurs de la fréquence réduite variant entre 0 (pour ) et 1 (pour ).
Interprétation matricielle
modifierMatrice de Vandermonde-Fourier
modifierSoit s un signal de périodicité N, et sa transformée de Fourier. On peut relier s à sa transformée de Fourier par la multiplication avec une matrice qui dépend uniquement de N. Il s'agit de la matrice de Vandermonde-Fourier
avec . Plus précisément, .
Remarquons que l'on retrouve bien la définition de la transformée de Fourier, car pour chaque élément , on a bien, par multiplication de chaque élément de la m-ième ligne de par le vecteur s :
- .
Matrices de Vandermonde-Fourier pour les dimensions 2 et 4
modifierOn peut appliquer la formule générale pour N = 2 :
- .
De même, pour N = 4 :
- .
Exemple d'application à un signal
modifierSoit s un signal de période 4.
s(0) = 2, s(1) = 4, s(2) = –1, s(3) = 3, s(4) = 2 = s(0), s(5) = 4 = s(1)…
Ce signal peut se résumer au vecteur .
La transformée de Fourier de ce signal est donc :
- .
Signaux réels
modifierPour un signal réel, on a la relation
(propriété de symétrie hermitienne). Lorsque l'on s'intéresse au spectre des amplitudes d'un signal (ou à sa densité spectrale de puissance), on calcule le module de , qui est équivalent au module de : ce spectre est donc pair.
Or, on a vu que la TFD est périodique, de période : les fréquences comprises entre et sont les mêmes que celles comprises entre et 0. Les fréquences négatives étant identiques aux positives, toute l'information spectrale est contenue entre les fréquences et .
Transformation à deux dimensions
modifierEn traitement d'images, on utilise la transformation de Fourier à deux dimensions. Sa définition discrète est :
- .
TFD et convolution
modifierEn théorie du signal notamment, on utilise le produit de convolution de deux séquences :
La TFD transforme ce produit de convolution en produit terme à terme des coefficients de Fourier :
Cette propriété peut être vue comme un corollaire de l'interprétation matricielle ci-dessus, puisque les coefficients de Fourier sont les valeurs propres des matrices associées aux séquences périodiques, associées aux mêmes vecteurs propres.
Elle admet une réciproque: toute automorphisme linéaire de l'espace des séquences N-périodiques qui transforme le produit de convolution en produit terme à terme est, à une éventuelle permutation près des coefficients, la TFD[2].
Cette propriété permet, par exemple, de réduire la complexité du produit de convolution qui est en à celle de la transformation de Fourier rapide en .
Applications
modifierLa TFD est utilisée dans un large spectre d'applications, seules les plus communes sont listées ici. Toutes ces applications nécessitent l'existence d'un algorithme rapide de calcul de la TFD et de son inverse, voir à ce sujet les méthodes de transformation de Fourier rapide.
Analyse spectrale
modifierL'analyse spectrale des signaux est un élément essentiel en électronique pour de nombreuses raisons parmi lesquelles on peut citer :
- déterminer la largeur de bande de fréquence occupée par une transmission ;
- évaluer les distorsions harmoniques apportées par le traitement des signaux ;
- mesurer les filtres.
L'électronicien qui a toujours besoin de vérifier expérimentalement, a besoin d'un outil de mesure, l'analyseur de spectre. Il existe trois grandes familles d'analyseur de spectre, chacun ayant des caractéristiques intrinsèques :
L'analyseur de spectre à balayage (analogique)
modifierComme son nom l'indique, cet analyseur balaye une plage de fréquence en utilisant un filtre de largeur réglable. Il est capable de mesurer des plages de fréquence allant de l'audio à l'optique et ce pour des signaux d'amplitude très faible.
L'analyseur de spectre à FFT (numérique)
modifierLa FFT (Fast Fourier Transform ou transformation de Fourier rapide) est ici utilisée après échantillonnage du signal d'entrée basses fréquences (audio). Avantage : il est capable de capturer les signaux en temps réel avec une résolution spectrale très fine qui dépend du nombre de points et de la fenêtre de pondération utilisée.
L'augmentation de la rapidité et de la résolution des convertisseurs analogique numérique permettra d'analyser des signaux à des fréquences de plus en plus élevées.
L'analyseur de signaux vectoriel (analogique/numérique)
modifierComme il combine les technologies des deux premiers (balayage et FFT), il permet d'analyser des signaux dont les fréquences ne sont séparées que de quelques MHz sur toute la gamme de fréquences radio. Très utilisé dans le domaine des transmissions numériques pour analyser des signaux complexes (QAM, QPSK)
Compression de données
modifierLe traitement du signal en général utilise énormément les opérations dans le domaine fréquentiel et en particulier la TFD ou une de ses variantes. En compression du son ou de l'image, des transformations proches de la TFD (par exemple la transformée en cosinus discrète) sont appliquées en général sur des portions de signal, pour en réduire la complexité. Les coefficients sont ensuite quantifiés avec des pas de quantification plus élevés pour les hautes fréquences, considérées comme négligeables pour la perception humaine. Le gain en compression vient de la réduction de précision de ces coefficients (voire leur suppression totale) qui nécessitent alors moins de bits pour être codés. Il s'ensuit généralement une étape de codage entropique. La reconstruction du signal s'effectue alors à partir de cet ensemble réduit de coefficients quantifiés.
Exemple : Sur la figure 1, il est facile d'observer que le traitement temporel du signal sans perte d'information, nécessite de mémoriser 64 échantillons alors que le traitement fréquentiel ne nécessite qu'un seul point (en rappelant que les deux raies portent la même information). Et il n'y a pas de perte.
Équations aux dérivées partielles
modifierLa transformée de Fourier discrète est utilisée pour résoudre des équations aux dérivées partielles numériquement. Sans être exhaustif, on peut citer les utilisations suivantes :
- Utilisation de méthodes pseudo-spectrales : les dérivées spatiales sont calculées grâce à la transformée de Fourier discrète,
- Utilisation de la transformée de Fourier rapide pour calculer efficacement des opérateurs aux différences finies[3].
Multiplication de grands nombres entiers
modifierCertains des algorithmes les plus rapides pour la multiplication de grands nombres entiers sont basés sur la TFD. Les séquences de chiffres sont interprétées comme les éléments d'un vecteur, dont on calcule la convolution. On calcule pour cela leurs TFD, qui sont multipliées entre elles (une convolution en temps est un produit en fréquence) puis on effectue la TFD inverse.
Analyse de séries temporelles
modifierLa TFD est utilisée pour l'étude des séries temporelles (ou chronologiques) où le but est de trouver des corrélations entre deux séquences de données. Un exemple classique est l'analyse des cours de la bourse, afin de repérer des événements particuliers. La problématique est en général celle de la fouille de données, ou de la recherche par similarité. La TFD est utilisée ici comme un moyen de réduire la dimensionnalité du problème. La TFD permet en effet de décorréler les données de départ et de ne travailler que sur un petit nombre de coefficients significatifs.
Quelques TFD de signaux classiques
modifierNote | ||
---|---|---|
Propriété de translation | ||
TFD d'un signal réel | ||
Références
modifier- Maïtine Bergounioux, Mathématiques pour le traitement du signal-2e éd.: Cours et exercices corrigés, Dunod, , 64 p. (ISBN 2100710427, lire en ligne), p. 17-80
- (en) Emmanuel Amiot, Music through Fourier Space, Zürich, Springer, , XV-206 p. (ISBN 978-3-319-45581-5, DOI 10.1007/978-3-319-45581-5, lire en ligne), p. 8
- (en) Matthieu Brachet, « Fast and Stable Schemes for Phase Field Models », Computer and Mathematics with Applications, (lire en ligne
[PDF])
Voir aussi
modifierArticles connexes
modifier- Matrice circulante qui donne une interprétation géométrique de la transformation de Fourier discrète
- Transformée de Fourier à court terme
- La TFD correspond à l'évaluation sur le cercle unité de la transformée en Z pour des valeurs discrètes de la fréquence[réf. nécessaire][Information douteuse].
Bibliographie
modifier- Claude Gasquet et Patrick Witomski, Analyse de Fourier et applications, Dunod, 1996
- (en) Rakesh Agrawal, Christos Faloutsos et Arun Swami, « Efficient Similarity Search In Sequence Databases », in Proceedings of the 4th International Conference of Foundations of Data Organization and Algorithms, 1993, p. 69-84
- Maïtine Bergounioux, Mathématiques pour le traitement du signal 2e éd.: Cours et exercices corrigés, Dunod, 2014