Catalogue Licence
L2 • Analyse Réelle
Approfondissement L2

Séries de Fourier

Coefficients de Fourier, lemme de Riemann-Lebesgue, théorème de Dirichlet, convergence normale et formule de Parseval

Point d'entrée intuitif

Comment une somme de fonctions parfaitement lisses — des sinus et des cosinus — peut-elle reconstituer une fonction qui saute, comme un signal carré ?

Idée en une phrase :
Décomposer une fonction périodique en sinusoïdes, c'est projeter orthogonalement sur une base infinie : les coefficients sont des produits scalaires, exactement comme des coordonnées.
Généalogie historique du concept :

Fourier affirme en 1807, en étudiant la propagation de la chaleur, que TOUTE fonction périodique est somme de sinusoïdes. L'Académie refuse de publier : Lagrange et Laplace jugent l'affirmation absurde, puisqu'une somme de fonctions continues devrait être continue. Ils avaient raison sur le point technique et tort sur le fond. La clarification prend un siècle et engendre au passage la convergence uniforme (Weierstrass), la théorie des ensembles (Cantor étudiait l'unicité des développements trigonométriques), et l'intégrale de Lebesgue — conçue précisément pour donner un cadre correct à ces séries. Peu de questions ont été aussi fécondes.

Pourquoi CETTE définition formelle :

Pourquoi définir les coefficients par des intégrales plutôt que par un système d'équations ? Parce que la famille trigonométrique est ORTHOGONALE pour le produit scalaire intégral : est nul dès que . Le coefficient est donc simplement le produit scalaire de la fonction avec le vecteur de base correspondant, divisé par sa norme au carré — c'est la formule de projection du module L2-02, appliquée à un espace de dimension infinie.

Images Mentales & Modèles d'Intuition (3)

Modèle #1

Un prisme décompose la lumière blanche en couleurs ; la série de Fourier décompose un signal en fréquences pures. Les coefficients sont les intensités de chaque couleur.

Ce qu'elle capture :

La décomposition est une analyse : on sépare un objet complexe en composantes élémentaires indépendantes. La reconstruction — la synthèse — est la somme de la série.

⚠️ Où l'analogie ment :

L'image suggère que la recomposition est exacte et immédiate. Elle ne dit rien du MODE de convergence : la série peut converger en moyenne quadratique sans converger en chaque point, et le phénomène de Gibbs montre que près d'un saut, la reconstruction dépasse toujours la cible d'environ neuf pour cent, quel que soit le nombre de termes.

Modèle #2

Les fonctions trigonométriques forment un système d'axes orthogonaux dans un espace de dimension infinie ; les coefficients de Fourier sont les coordonnées.

Ce qu'elle capture :

Parseval devient le théorème de Pythagore : la norme au carré de la fonction est la somme des carrés de ses coordonnées. L'inégalité de Bessel dit qu'une projection partielle ne peut pas être plus longue que le vecteur.

⚠️ Où l'analogie ment :

L'image suppose que la base est complète et que la somme converge dans le bon sens. En dimension infinie, la complétude de la famille trigonométrique est un THÉORÈME non trivial, et la convergence n'a lieu que dans l'espace — cadre construit seulement en L3.

Modèle #3

Le lemme de Riemann-Lebesgue est un effet de moyenne : une oscillation très rapide multipliée par une fonction lente se compense en s'intégrant, positif contre négatif.

Ce qu'elle capture :

Les coefficients tendent vers zéro parce que la fonction ne peut pas « suivre » des oscillations arbitrairement rapides : elle est presque constante à leur échelle, et l'intégrale d'une oscillation sur une période est nulle.

⚠️ Où l'analogie ment :

L'image ne dit rien de la VITESSE de décroissance, qui est pourtant le point décisif : elle est gouvernée par la régularité de la fonction. Plus la fonction est lisse, plus les coefficients décroissent vite — et c'est ce qui décidera du mode de convergence.

Les Pièges Conceptuels Classiques

1
La série de Fourier d'une fonction continue converge vers elle en tout point.

Correction :

Faux : du Bois-Reymond construit en 1873 une fonction CONTINUE dont la série de Fourier diverge en un point. La continuité seule ne suffit pas ; il faut une régularité supplémentaire, typiquement le caractère par morceaux. Carleson a démontré en 1966 que pour une fonction de carré intégrable, la convergence a lieu presque partout — résultat resté ouvert quarante ans.

2
Aux points de discontinuité, la série ne converge pas.

Correction :

Elle converge, et vers la MOYENNE des limites à gauche et à droite. Le théorème de Dirichlet donne : la série tranche en coupant la poire en deux. C'est d'ailleurs pourquoi on convient souvent de redéfinir en ses points de saut par cette moyenne.

3
En augmentant le nombre de termes, on élimine les oscillations près d'un saut.

Correction :

Faux, et c'est le phénomène de Gibbs : le dépassement au voisinage d'un saut ne diminue JAMAIS, il vaut environ neuf pour cent de l'amplitude du saut quel que soit le nombre de termes. Ce qui diminue, c'est la largeur de la zone où il se produit. C'est la signature visible de la non-uniformité de la convergence.

4
Les coefficients de Fourier déterminent la fonction.

Correction :

C'est vrai, mais seulement à modification près sur un ensemble négligeable — deux fonctions continues par morceaux ayant les mêmes coefficients coïncident partout sauf éventuellement en leurs points de discontinuité. La formulation propre exige la théorie de la mesure : dans , l'égalité des coefficients équivaut à l'égalité PRESQUE PARTOUT. C'est l'une des raisons pour lesquelles Lebesgue a construit son intégrale.

Glossaire des Notations Mathématiques

n-ième coefficient de Fourier

produit scalaire de $f$ avec l'exponentielle de fréquence $n$ ; une coordonnée, pas une valeur de $f$

somme partielle d'ordre N

projection orthogonale de $f$ sur l'espace des polynômes trigonométriques de degré au plus $N$

limites à gauche et à droite

leur MOYENNE est ce vers quoi la série converge en un point de saut