Représentation d'une fonction périodique comme somme (éventuellement infinie) de sinus et cosinus ou d'exponentielles complexes dont les coefficients sont déterminés par des produits scalaires avec la base exponentielle orthogonale sur le cercle.

Principe

L'orthogonalité des exponentielles sur un intervalle de période permet d'obtenir les coefficients par intégrales ; l'exhaustivité dans L2 du cercle garantit qu'une fonction périodique de carré intégrable admet une série de Fourier convergeant en L2, des hypothèses plus fortes donnant convergence pointwise ou uniforme.

Démonstration

Une fonction en dents de scie 2π-périodique se développe en série de Fourier dont les sommes partielles approchent la fonction mais présentent le phénomène de Gibbs près des discontinuités ; pour les fonctions lisses les coefficients décroissent rapidement.

Mauvaise application

Intervertir des opérations terme à terme (dérivation, intégration, multiplication) sans vérifier la convergence uniforme ou les conditions de sommabilité, ou supposer une convergence pointwise partout à partir de données L2 seulement.

Conséquence

Fournit des coefficients spectraux codant le contenu fréquentiel des signaux périodiques, permet la résolution d'EDP avec conditions aux limites périodiques et donne des outils pratiques d'approximation, de filtrage et de représentation du signal.

Inversion

Inverser le concept donne des signaux non périodiques représentés par des transformées de Fourier plutôt que par des spectres discrets ; restreindre aux modes finis donne des approximations passe-bas qui perdent les détails haute fréquence.

Limite

S'applique aux fonctions périodiques ou aux fonctions sur le cercle ; les modes de convergence (pointwise, uniforme, L2, distributionnelle) sont importants et la série peut ne pas converger pointwise aux discontinuités ; les fonctions non périodiques nécessitent des transformées.

Tension sémantique

Tension entre les notions de convergence (uniforme vs L2 vs pointwise) et entre la troncature finie (approximation) et la représentation exacte par une série infinie ; tension aussi entre séries de Fourier et transformées/discrétisations numériques.

Synthèse

Les séries de Fourier décomposent les fonctions périodiques en modes exponentiels orthogonaux dont les coefficients reflètent la régularité et la répartition d'énergie, reliant le comportement temporel périodique et l'analyse fréquentielle pour la théorie et le calcul.