Approche mathématique de la transformation de Fourier
Présentation de la transformation de Fourier, et rappel de quelques propriétés.
La transformation de Fourier associe à une fonction sa transformée~:
Les variables et sont conjuguées. A la variable temporelle est associée la variable fréquentielle ; à la variable d'espace , la fréquence spatiale .
La TF est dotée de multiples propriétés (linéarité...) : se référer à un cours de maths.
L'opération inverse de la TF est notée : et .
Il ne s'agit rien d'autre que de la conservation de l'énergie, qui ici s'exprime par :
Autrement dit, l'énergie d'un signal ne peut pas dépendre de la description de ce signal, directe ou fréquentielle.
grandeur | notation | unité | exemple |
---|---|---|---|
variable | X | temps, en s | |
variable conjuguée | 1/X | fréquence, en Hz | |
signal | Y | vitesse, en m/s | |
spectre | XY | m | |
spectre d'amplitude | XY | m | |
spectre de puissance |
La définition de la transformation, continue, se doit d'être amendée pour tenir compte du fait qu'un signal réel est échantillonné. L'analyse de Fourier discrète s'appuie sur un nombre fini de réalisations du signal, et donne un nombre finie de fréquences pour le décrire. La discrétisation s'opère en douceur, car la TF d'une fonction peigne (succession équidistance de Dirac), fonction retranscrivant l'échantillonnage du signal, est une fonction peigne.
L'analyse de Fourier rapide (fast Fourier transform, ou FFT) est une une forme spécifique de programmation de la transformation de Fourier. Une routine de calcul fft est présente dans toute bonne bibliothèque de programmation.
L'usage d'une FFT implique:
L'appliquette ci-dessous permet de calculer et visualiser le spectre de puissance de certaines fonctions. La transformée de Fourier peut calculée soit directement, soit par FFT.
Avec comme signal une sinusoïde, comme méthode la fft, visualiser les effets :
Vérifier le lien entre la résolution en fréquence et la durée totale d'observation ; vérifier le lien entre le nombre de points et la fréquence de coupure.
Difficulté : ☆☆ Temps : 40 min
Vérifier l'homogénéité de la conservation de l'énergie énoncée par le théorème de Parseval-Plancherel.
Pour des raisons physiques, il est commode de poser la définition de la TF d'une série temporelle bornée sur un intervalle de temps comme :
avec le changement de notation pour préciser la différence par rapport à la TF classique. Montrer l'intérêt physique de cette notation, en s'appuyant p.ex. sur un signal purement sinusoïdale.
Pour d'autre raisons, il peut être commode de poser la définition de la TF d'une série temporelle discrète d'une manière différente :
avec le changement de notation pour préciser la différence par rapport à la TF classique. Réécrire la relation de Parseval-Plancherel, et montrer que
où et sont respectivement les écarts-types de la série temporelle et du spectre.
pages_traiter/analyse-tf-sexercer.html
Avec les notations du cours. Poser la dimension de la variable , celle de la fonction . Et en déduire les dimensions de et
Avec les notations du cours, et en notant entre crochets les dimensions. , donc la définition de la TF donne : .
On en déduit l'homogénéité :
Passer à la limite des grandes valeurs de .
Avec un signal purement sinusoïdal d'amplitude et de fréquence , la définition donne :
Pour grand devant , si est différent de , l'intégrale tend vers 0, alors que pour , on retrouve :
Au facteur 1/2 près, dû au fait que la TF en est également non nul, la normalisation en par rapport à la définition de la TF usuelle permet de retrouver dans le spectre l'amplitude du signal sinusoïdal.
Ecrire la relation de Parseval-Plancherel et faire le changement de variable de à .
Avec les notations analogues au cours , et en tenant compte des propriétés de la TF, on a :
en se servant de la relation de Perseval, et du fait que l'énergie est rapportée sur fréquences réelles entre les fréquences nulle et . Avec le changement de notation : , et en tenant compte de :
On en déduit :
Le bruit dans le spectre de Fourier diminue comme la racine carrée du nombre de points de mesure.