Polynôme trigonométrique

Cet article est une ébauche concernant les mathématiques.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Consultez la liste des tâches à accomplir en page de discussion.

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 :

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

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

Somme de fonctions trigonométriques[modifier | modifier le code]

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

\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 :

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[modifier | modifier le code]

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

\{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[modifier | modifier le code]

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[modifier | modifier le code]

↑ ^{a b et c} (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.
↑ ^{a b et c} (en) « The ring of real trigonometric polynomials », sur desvl.

Articles connexes[modifier | modifier le code]

Portail de l'analyse

[Picavet-1] {a b et c} (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.

[desvl-2] {a b et c} (en) « The ring of real trigonometric polynomials », sur desvl.

[1]

[2]