Recueil d'exercices pour apprendre Python au lycée

Utilisation de la transformée de Fourier discrète réelle pour récupérer les harmoniques d'un son

Le but de cette page est de voir un peu ce qui se cache derrière des compressions de sons qu'on retrouve dans des formats de sons comme le MP3 par exemple. Elle est déstinée à des lycéens et/ou curieux donc nous présenterons seulement ce qu'est la transformée de Fourier discrète réelle et comment l'implémenter à la main en python pour la voir fonctionner.

La théorie

Nous avons vu, page précèdente, qu'un son wave est simplement une suite de données joué à une certaine fréquence. Notons $\$N\$$ la taille de ces données et $\$d\_n\$$ la donnée d'indice $\$n\$$. A partir de cette suite de données, on peut en créer 2 qu'on appelle coefficients de Fourier réels dont les formules sont :

et

On a alors le miracle suivant : à partir de ces deux suites, on peut retrouver celle de départ par la formule d'inversion :

Quelques précisions encore : En utilisant les formules de trigonométrie classiques, on peut trouver un $\$\backslash varphi\_k\$$ tel que les termes des sommes peuvent s'écrire :

La pratique

On peut se demander quel est l'intérêt de faire tous ces calculs avec les données de notre son si au final on retrouve les mêmes qu'au départ. Nous allons voir que c'est pourtant extrêment astucieux. En effet, une fois nos $\$d\_n\$$ écrits sous la forme de somme de cosinus, on peut alors les interpreter comme la somme de signaux fondamentaux (des sons "purs", sinusoidaux). Or notre oreille n'entend (en prenant large mais on pourrait réduire) que les fréquences ente 20hz et 20 000 Hz. Donc tous les termes qui correspondent à des fréquences en dehors de cette plage peuvent être éliminés de notre son.
De plus, tous les coefficients $\$a\_k\$$ ou $\$b\_k\$$ trop petits peuvent être éliminé aussi puisqu'ils n'interviennent que peu dans le son donc nous ne verrons pas la différence en écoutant.
Cette simple réecriture de nos données en somme de Fourier nous permet donc naturellement d'éliminer un grand nombre de données et ainsi réduire la place nécessaire pour stocker notre son. Bien sûr les compressions comme le MP3 sont un peu plus optimales encore que cette méthode mais elles en sont grandement inspirées.

Le codage

Je vais me contenter d'expliquer l'idée général du code ci-dessous. Tout d'abord, le code est séparé en 2 onglets : le premier où on travaille sur notre son et le second où sont regroupées les fonctions calculatoires en lien avec les coefficients de Fourier.

Commençons par le second onglet : Il contient les fonctions correspondant à la théorie présentées ci-dessus. Une qui calcule les coefficients de Fourier. Une qui donne le coefficient si on regroupe le cosinus et le sinus en un seul cosinus. Enfin une fonction d'inversion qui redonne les coefficients initiaux à partir des coefficients de Fourier. Comme sur ce site on est limité à 30 sec de calculs, on est obligé d'utiliser numpy pour accélérer grandement nos calculs. Ils respectent cependant les calculs présentés dans la partie théorique.

Le premier onglet est normalement assez lisible. On charge les données de notre son. On ne peut malheureusement pas faire le traitement avec toutes les données (car le temps de calcul est trop limité sur ce site) donc on coupe un peu la fin du son et on ne garde qu'une donnée sur 3. Du coup notre fréquence d'échantillonage est divisée par 3 aussi.
On calcule ensuite les coefficients de Fourier de notre son. Comme dit précédemment, il ne sert à rien de conserver les coefficients correspondant à des fréquence trop haute. On choisit de couper ici à 4000Hz ce qui est en gros la note la plus aigue d'un piano. On cherche alors à quel indice $\$k\$$ va correspondre cette fréquence à partir de laquelle on décide de couper. C'est une simple règle de proportionnalité qui donne $\$k\_\{max\}\; =\; \backslash dfrac\{f\_\{max\}\}\{f\_\{echantillon\}\}\; taille\_\{echantillon\}\$$.
On affiche ensuite les coefficients harmoniques en fonction des frequences (voir précisions en bas de page). Ce graphique est important car il permet de voir quelles frequences fondamentales se trouve dans notre son. Ici on peut voir qu'il y a un gros pic pour la frequence 440hz (Normal puisque le son représente un LA joué au piano) mais aussi un pic pour les multiples de 440 : 880hz, 1320 hz, 1760 hz, 2200 hz... qui correspondent respectivement à un LA(à l'octave), un MI, un LA (2 octaves au dessus) et un DO#. Donc en réalité, quand on joue une note avec un instrument, le son n'est pas pur mais au contraire il y a plusieurs notes dans une. Par exemple les notes LA+MI+DO# forment l'accord de LA Majeur. Autre remarque : ce qui permet de différencier des instruments (on reconnait très facilement si un LA est joué au piano ou à la guitare ou à la trompette...) c'est simplement les différences de hauteurs des pics dans ce diagramme. On termine le traitement de notre son en arrondissant à 0 tous les coefficients trop faibles (ici inférieur à 2 mais vous pouvez tester avec un seuil plus grand).
Enfin on écoute le résultat après tant d'efforts. Il n'est pas si différent par rapport à l'original pourtant il contient presque 10 fois moins de coefficients.

Tout ce qui précède est très perfectible. Le but était ici de montrer les idées qui sont derrière beaucoup de type de compression de données (sons, images...). Si on veut le faire plus efficacement, il vaut mieux utiliser des fonctions déjà existantes comme celles se trouvant dans le module numpy.fft qui vont beaucoup beaucoup beaucoup plus vite que les fonctions naives présentées ici. Mais ce n'est qu'en codant à la main les techniques qu'on les comprend vraiment. N'hésitez pas à adapter les codes précédents pour pouvoir les utiliser sur votre ordinateur où vous pourrez laisser calculer davantage et sur des sons plus longs.

Quelques précisions sur les fréquences harmoniques

Le fait qu'un son représenté par des valeurs discrètes soit la somme de sons "purs" n'est pas réellement une évidence à partir des formules ci-dessus. En effet, dans ces formules on a $\$d\_n\; =\; \backslash displaystyle\; \backslash dfrac\; 1\; N\; \backslash sum\_\{k=0\}^\{N-1\}\; \backslash sqrt\{a\_k^2\; +\; b\_k^2\}\; cos\backslash left(\backslash dfrac\{2\backslash pi\; kn\}\{N\}\; +\; \backslash varphi\_k\backslash right)\$$. Or les frequences qui interviennent dépendent de $\$n\$$.
Pour mieux comprendre ce qui se passe, il faut revenir à l'origine : Un son peut être vu comme une fonction $\$f(t)\$$ du temps. Pour pouvoir faire un traitement informatique de ce son on est obligé de prélever des données à une frequence $\$frequence\_\{echantillon\}\$$. On a ainsi nos données $\$(d\_n)\$$ pour $\$n\$$ allant de 0 à $\$N-1\$$. Autrement dit on pose $\$d\_0=f(0)\$$, $\$d\_1=f\backslash left(\backslash dfrac\; 1\{frequence\_\{echantillon\}\}\backslash right)\$$, $\$d\_2=f\backslash left(\backslash dfrac\; 2\{frequence\_\{echantillon\}\}\backslash right)\$$ ...
On traite ces données comme on a vu précédemment pour obtenir la décomposition $\$d\_n\; =\; \backslash displaystyle\; \backslash dfrac\; 1\; N\; \backslash sum\_\{k=0\}^\{N-1\}\; \backslash sqrt\{a\_k^2\; +\; b\_k^2\}\; cos\backslash left(\backslash dfrac\{2\backslash pi\; kn\}\{N\}\; +\; \backslash varphi\_k\backslash right)\$$. Maintenant il faut revenir à la fonction d'origine $\$f\$$ représentant notre son en fonction du temps. Pour cela, le moyen le plus naturel en utilisant la formule précédente est de poser :

On remarque que pour les valeurs $\$t=\; 0,\; \backslash dfrac\; 1\{frequence\_\{echantillon\}\},\; \backslash dfrac\{2\}\{frequence\_\{echantillon\}\}\$$... cette fonction prend exactement les mêmes valeurs que $\$f\$$ (qui sont $\$d\_0\$$, $\$d\_1\$$, $\$d\_2\$$ ...). A priori, $\$f\$$ et $\$\backslash tilde\; f\$$ sont différentes en dehors de ces valeurs. Cependant, comme on choisit une frequence d'echantillonage très élevée, les différences ne sont pas audibles. Donc on peut considérer que notre son est représenté par $\$\backslash tilde\; f\$$ et c'est cette fonction qui est la somme de sons "purs". En théorie de $\$N\$$ sons purs différents d'après la formule mais en général, la plupart des coefficients $\$\backslash sqrt\{a\_k^2\; +\; b\_k^2\}\$$ sont trop faibles pour qu'on les prennent en considération.
Une dernière remarque : pour connaitre la fréquence associée au son "pur" il suffit de calculer $\$frequence\_\{harmonique\}\; =\; \backslash dfrac\{k\; frequence\_\{echantillon\}\}\{N\}\$$.