Polynôme trigonométrique

Modèle:Ébauche En mathématiques, un polynôme trigonométrique (ou polynôme trigonométrique complexe) Modèle:Mvar est une fonction, définie par une somme d'exponentielles :

$\mathrm{\forall }t\in ℝ,P(t)=\sum _{k=-n}^{k=+n}{c}_k{\mathrm{e}}^{\mathrm{i}kt}$

où les coefficients ${\left(c_k\right)}_{k\in \mathbb{Z}}$ de Modèle:Mvar 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 :

$\mathrm{\forall }t\in ℝ,P(t)=a_0+\sum _{k=1}^n(a_k\cos (kt)+b_k\sin (kt))$

Les deux familles de coefficients Modèle:Math et Modèle:Math peuvent être déduites de Modèle:Math, et vice versa :

$a_0=c_0,b_0=0,\mathrm{\forall }n\in {\mathbb{N}}^{*},c_n=\frac{1}{2}(a_n-\mathrm{i}{b}_n),c_{-n}=\frac{1}{2}(a_n+\mathrm{i}{b}_n).$

Modèle:Mvar est une fonction réelle si et seulement si les Modèle:Math et Modèle:Math sont réels. Les coefficients Modèle:Math sont tous nuls si et seulement si le polynôme est impair. De même, les coefficients Modèle:Math 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) :

$\{t\mapsto \cos (kt)\mid 0\le k\le n\}\cup \{t\mapsto \sin (kt)\mid 1\le k\le 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'[[Polynôme en plusieurs indéterminées|algèbre de polynômes Modèle:R(X)]] par l'idéal engendré par XModèle:2 + YModèle:2 – 1) donc un anneau noethérien.

L'anneau ℝ[cos, sin] est même un anneau de DedekindModèle:,, non factoriel puisque son groupe des classes est d'ordre 2. Il est cependant semi-factorielModèle:,.

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

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.

Articles connexes

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