Les fonctions comme vecteurs
La série de Fourier n'est pas seulement un outil de calcul — c'est une opération géométrique : projection orthogonale d'une fonction sur une base.
Espace de fonctions
L'ensemble des fonctions intégrables au carré sur [0,1] forme un espace vectoriel L²[0,1]. L'addition & la multiplication scalaire fonctionnent point par point. Le produit intérieur de deux fonctions f, g :
⟨f, g⟩ = ∫₀¹ f(t) · g*(t) dt
où g* est le conjugué complexe de g. Cela satisfait tous les axiomes du produit intérieur.
Orthogonalité de la base de Fourier
Les fonctions φ_k(t) = e^{i2πkt} forment une base orthonormée pour L²[0,1] :
⟨φ_k, φ_m⟩ = ∫₀¹ e^{i2πkt} · e^{−i2πmt} dt = ∫₀¹ e^{i2π(k−m)t} dt = δ_{km}
(Cela équivaut à 1 si k = m, 0 sinon — en intégrant une oscillation pure sur une période complète.)
Coefficient de Fourier comme produit intérieur
Le coefficient de Fourier k-ième de x(t) :
c_k = ⟨x, φ_k⟩ = ∫₀¹ x(t) · e^{−i2πkt} dt
C'est la projection de x sur le vecteur de base φ_k. Le coefficient mesure combien de φ_k est présent dans x.
Projection sur un sous-espace
Tronquer une série de Fourier à 2N+1 termes projette x sur le sous-espace engendré par {φ_{−N}, …, φ_N}. La série tronquée est la projection orthogonale de x sur ce sous-espace de dimension finie.
Par l'inégalité de Bessel, la projection minimise l'erreur L² :
‖x − Σ_{k=−N}^{N} c_k φ_k‖² ≤ ‖x − Σ_{k=−N}^{N} a_k φ_k‖² pour tout choix de a_k
La troncature de Fourier est la meilleure approximation en L² de ce sous-espace. Elle minimise l'erreur quadratique moyenne (le carré de la norme L² de la différence).
Fenêtre rectangulaire → Noyau sinc
La fenêtre rectangulaire dans le domaine temporel (en conservant uniquement les coefficients pour |k| ≤ N) correspond à la multiplication par une fonction rect dans l'indice de coefficient.
La multiplication dans un domaine correspond à la convolution dans l'autre domaine.
La transformée de Fourier de la fenêtre rectangulaire (dans l'espace de coefficient discret) est le noyau de Dirichlet — une fonction périodique ressemblant à un sinc :
D_N(f) = Σ_{k=−N}^{N} e^{i2πfk} = sin(π(2N+1)f) / sin(πf)
Quand nous tronquons la série de Fourier, nous convoluons la réponse idéale H_ideal(f) avec D_N(f).
Pourquoi Gibbs se produit
Le noyau de Dirichlet a de grands lobes secondaires qui décroissent lentement. Près d'une discontinuité par étapes dans H_ideal(f), ces lobes secondaires résonnent — ils s'ajoutent de manière cohérente d'un côté du saut, produisant un dépassement d'environ 9 %.
La constante mathématique : ∫₀^π sin(t)/t dt = Si(π) ≈ 1,8519. La hauteur du dépassement de Gibbs = (2/π)·Si(π) − 1 ≈ 0,0895 = 8,95 %. Ceci est indépendant de N.
Géométrie de la fenêtre
Une fenêtre lisse (Hamming, Hann, Kaiser) a une transformée de Fourier avec des lobes secondaires plus bas. Convoluer H_ideal(f) avec un noyau ayant des lobes secondaires plus petits produit moins de résonance. Le compromis : les lobes secondaires plus bas s'accompagnent toujours d'un lobe principal plus large, élargissant la bande de transition.
La constante de Gibbs
Le dépassement de Gibbs est une intégrale définie, pas une fonction de N.
Le premier maximum de la somme partielle de Fourier à N termes d'un échelon unitaire se produit à f ≈ 1/(2N) de la discontinuité. Lorsque N → ∞, ce maximum s'approche de 1/(2)·(2/π)·Si(π) ≈ 1,0895.
Le dépassement : 0,0895 ou approximativement 8,95 % de la hauteur du saut.
Fenêtres comme noyaux dans le domaine fréquentiel
Chaque fonction de fenêtre a une transformée de Fourier qui décrit le noyau utilisé pour lisser la réponse en fréquence idéale.
Les paramètres géométriques clés du noyau :
1. Largeur du lobe principal : détermine la largeur de la bande de transition (lobe principal plus large → transition plus large).
2. Niveau du lobe secondaire de pic : détermine l'ondulation de la bande passante & de la bande d'arrêt (lobes secondaires plus bas → moins d'ondulation).
Ces deux paramètres ne sont pas indépendants. Pour une longueur de fenêtre donnée 2N+1, réduire la hauteur du lobe secondaire nécessite d'élargir le lobe principal — toujours.
La fenêtre de Kaiser donne à l'utilisateur un bouton (α) pour faire un compromis continu entre la hauteur du lobe secondaire & la largeur du lobe principal, plutôt que de sauter entre les types de fenêtres fixes.
Insight de conception
La largeur de la bande de transition ΔF ≈ largeur du lobe principal / N. L'ondulation δ ≈ niveau du lobe secondaire. Les deux formules sont approximatives ; les équations de Kaiser les rendent exactes.