Polynôme trigonométrique

En mathématiques, un polynôme trigonométrique (ou polynôme trigonométrique complexe) P est une fonction, définie par une somme d'exponentielles :

${\displaystyle \forall t\in \mathbb {R} ,\ P(t)=\sum _{k=-n}^{k=+n}c_{k}{\rm {e}}^{{\rm {i}}kt}}$

où les coefficients ${\displaystyle \left(c_{k}\right)_{k\in \mathbb {Z} }}$ de P sont complexes ou réels.

Somme de fonctions trigonométriques

En particulier, on peut exprimer tout polynôme trigonométrique comme somme de sinus et de cosinus :

${\displaystyle \forall t\in \mathbb {R} ,P(t)=a_{0}+\sum _{k=1}^{n}\left(a_{k}\cos(kt)+b_{k}\sin(kt)\right)}$

Les deux familles de coefficients (a_k) et (b_k) peuvent être déduites de (c_k), et vice versa :

${\displaystyle a_{0}=c_{0},b_{0}=0,\ \forall n\in \mathbb {N} ^{*},c_{n}={\frac {1}{2}}\left(a_{n}-{\rm {i}}b_{n}\right),c_{-n}={\frac {1}{2}}\left(a_{n}+{\rm {i}}b_{n}\right).}$

P est une fonction réelle si et seulement si les (a_k) et (b_k) sont réels. Les coefficients (a_k) sont tous nuls si et seulement si le polynôme est impair. De même, les coefficients (b_k) sont tous nuls si et seulement si le polynôme est pair.

Une somme infinie de coefficients trigonométriques est appelée série trigonométrique.

Anneau des polynômes trigonométriques

L'espace vectoriel des polynômes trigonométriques de degré inférieur ou égal à n admet pour base (par définition) :

${\displaystyle \{t\mapsto \cos(kt)\mid 0\leq k\leq n\}\cup \{t\mapsto \sin(kt)\mid 1\leq k\leq n\}}$.

D'après les formules de Simpson, le produit de deux polynômes trigonométriques de degrés respectifs m et n est un polynôme trigonométrique de degré m + n.

Les polynômes trigonométriques à coefficients dans K = ℝ ou ℂ forment une K-algèbre de type fini (isomorphe au quotient de l'algèbre de polynômes K[X, Y] par l'idéal engendré par X² + Y² – 1) donc un anneau noethérien.

L'anneau ℝ[cos, sin] est même un anneau de Dedekind^[1],[2], non factoriel puisque son groupe des classes est^[2] d'ordre 2. Il est cependant semi-factoriel^[1],[2].

Le sur-anneau ℂ[cos, sin], lui, est euclidien car isomorphe à l'anneau ℂ[t , t⁻¹] des polynômes de Laurent à coefficients complexes^[1].

Théorème de Stone-Weierstrass

D'après le théorème de Stone-Weierstrass, pour toute fonction f continue et T-périodique, il existe une suite de polynômes trigonométriques qui converge uniformément vers f.

Cette propriété essentielle est, au travers du théorème de Fejér, également une conséquence de la convergence uniforme des séries de Fourier pour de telles fonctions.

Notes et références

1. (en) Gabriel Picavet et Martine Picavet-l'Hermitte, « Trigonometric polynomial rings », dans M. Fontana, S.-E. Kabbaj et S. Wiegand, Commutative Ring Theory and Applications, CRC Press, 2017 (lire en ligne), p. 419-433.
2. (en) « The ring of real trigonometric polynomials », sur desvl.

Articles connexes

• Polynôme de Tchebychev
• Série trigonométrique
• Série de Fourier
• Somme exponentielle
• Fonction presque périodique