Polynôme de Tchebychev

En mathématiques, un polynôme de Tchebychev est un terme de l'une des deux suites de polynômes orthogonaux particulières reliées à la formule de Moivre. Les polynômes de Tchebychev sont nommés ainsi en l'honneur du mathématicien russe Pafnouti Lvovitch Tchebychev.

Il existe deux suites de polynômes de Tchebychev, l'une nommée polynômes de Tchebychev de première espèce et notée Modèle:Mvar et l'autre nommée polynômes de Tchebychev de seconde espèce et notée Modèle:Mvar (dans les deux cas, l'entier naturel Modèle:Mvar correspond au degré).

Ces deux suites peuvent être définies par la relation de récurrence :

$\mathrm{\forall }n\in \mathbb{N}{P}_{n+2}=2X{P}_{n+1}-P_n$

et les deux premiers termes :

$T_0=1,T_1=X$ pour la suite $T$ et

$U_0=1,U_1=2X$ pour la suite $U$.

Chacune est une suite de polynômes orthogonaux par rapport à un produit scalaire de fonctions, associé à la fonction poids $w(x)={(1-x^2)}^{-1/2}$ sur Modèle:Math. Ces polynômes constituent un cas particulier des polynômes ultrasphériques.

Une définition alternative de ces polynômes peut être donnée par les relations trigonométriques :

$T_n(\cos \theta )=\cos \left(n\theta \right),\text{soit :}{T}_n(x)=\cos (n\arccos x)\text{et}{U}_n(\cos \theta )=\frac{\sin ((n+1)\theta )}{\sin \theta }$,

ce qui revient, par exemple, à considérer Modèle:Math comme le développement de Modèle:Math sous forme de polynôme en Modèle:Math.

Contrairement à d'autres familles de polynômes orthogonaux, tels ceux de Legendre, d'Hermite ou de Laguerre, les polynômes de Tchebychev n'ont pratiquement pas d'application directe en physique. En revanche, ils sont particulièrement utiles en analyse numérique pour l'interpolation polynomiale de fonctions. En premier lieu, en ce qui concerne le choix des points d'interpolation, comme les zéros de Modèle:Math ou abscisses de Tchebychev, en vue de limiter le phénomène de Runge. Également, ils constituent une base alternative de polynômes par rapport à la base canonique Modèle:Mvar de $ℝ[X]$ des polynômes de Lagrange, ce qui permet d'améliorer sensiblement la convergence. Ils sont notamment utilisés pour le calcul des éphémérides astrononomiques

Polynômes de Tchebychev de première espèce

Modèle:Ancre Il existe plusieurs possibilités pour définir cette famille de polynômes. La plus simple est par la relation de récurrence, qui permet de générer rapidement l'expression des différents polynômes. Toutefois, une telle définition ne permet guère d'établir les propriétés générales de ces polynômes, en premier lieu leur orthogonalité, aussi une autre définition, à partir des propriétés des fonctions trigonométriques, doit être envisagée.

Définition par la relation de récurrence

Fichier:Chebyshev Polynomials of the 1st Kind (n=0-5, x=(-1,1)).svg

Courbes représentatives des premiers polynômes de Tchebychev de première espèce sur le domaine Modèle:Nobr : La fonction constante T₀ et T₁, T₂, T₃, T₄ et T₅.

La définition classique des polynômes de Tchebychev de première espèce est le plus souvent donnée par la relation de récurrence suivante :

$T_{n+1}=2X{T}_n-T_{n-1},\mathrm{\forall }n\ge 1,\text{avec}{T}_0=1\text{et}{T}_1=X$.

Par récurrence, Modèle:Mvar est un polynôme de degré n.

Les premiers polynômes de Tchebychev de première espèce sont :

$T_0=1$

$T_1=X$

$T_2=2X^2-1$

$T_3=4X^3-3X$

$T_4=8X^4-8X^2+1$

$T_5=16X^5-20X^3+5X$

$T_6=32X^6-48X^4+18X^2-1$

$T_7=64X^7-112X^5+56X^3-7X$

$T_8=128X^8-256X^6+160X^4-32X^2+1$

$T_9=256X^9-576X^7+432X^5-120X^3+9X$.

Définition trigonométrique

On démontre que pour tout entier naturel Modèle:Mvar,

$\mathrm{\forall }\theta \in ℝ\cos (n\theta )=T_n(\cos \theta )$,

ce qui peut servir de définition alternative des polynômes Modèle:Mvar, vus comme fonctions polynomiales définies sur l'intervalle réel Modèle:Math.

L'une des démonstrations se fait par récurrence d'ordre 2, à l'aide de l'identité trigonométrique de Simpson suivante :

$\cos (a+b)+\cos (a-b)=2\cos a\cos b$.

Le caractère orthogonal des polynômes Modèle:Mvar découle alors directement de celui des fonctions Modèle:Math. Plus précisément, cette formule de Simpson montre de plus que les polynômes Modèle:Mvar sont orthogonaux par rapport à la fonction poids $w(x)={(1-x^2)}^{-\frac{1}{2}}$. En effet, pour deux entiers naturels Modèle:Math et Modèle:Math et avec le changement de variable Modèle:Math, il vient

$\underset{0}{\overset{\pi }{\int }}\cos (n\theta )\cos (p\theta )\mathrm{d}\theta =\underset{-1}{\overset{+1}{\int }}{T}_n(x)T_p(x){(1-x^2)}^{-1/2}\mathrm{d}x$

Puis, à l'aide de la formule de Simpson :

$\underset{-1}{\overset{+1}{\int }}{T}_n(x)T_p(x){(1-x^2)}^{-1/2}\mathrm{d}x=\underset{0}{\overset{\pi }{\int }}\frac{\cos ((n+p)\theta )+\cos ((n-p)\theta )}{2}\mathrm{d}\theta =\{\begin{array}{cc}0& \text{si }n\ne p\\ \pi & \text{si }n=p=0\\ \pi /2& \text{si }n=p\ne 0\end{array}$.

Équation différentielle

Pour tout Modèle:Mvar, la fonction $\theta \mapsto \cos (n\theta )=T_n(\cos \theta )$ est solution de l'équation différentielle linéaire homogène d'ordre 2 à coefficients constants :

$y^{″}+n^{2}y=0$.

Par suite, les polynômes de Tchebychev sont solutions de l'équation différentielle formelle :

$(1-X^2)T^{\prime }{\text{'}}_n-XT{\text{'}}_n+n^2{T}_n=0$.

Celle-ci peut aussi se mettre sous la forme d'une équation différentielle de Sturm-Liouville :

$\frac{\mathrm{d}}{\mathrm{d}x}\left({(1-x^2)}^{\frac{1}{2}}\frac{\mathrm{d}{T}_n}{\mathrm{d}x}\right)+n^2{(1-x^2)}^{-\frac{1}{2}}{T}_n=0$.

Autres propriétés

• Pour tout entier naturel Modèle:Mvar,Modèle:Retraitoù $(\genfrac{}{}{0ex}{}{n}{2k})$ est un coefficient binomial et $\lfloor \cdot \rfloor$ note la partie entière.
• Pour tout entier Modèle:Mvar strictement positif,

• Pour tout entier naturel Modèle:Mvar,Modèle:Retrait

Cette propriété se démontre aisément en considérant la forme trigonométrique de Modèle:Mvar, le cas Modèle:Math correspondant à θ = 0. On a aussi Modèle:Retrait qui découle de la symétrie Modèle:Retrait

• Quels que soient les entiers naturels Modèle:Mvar et Modèle:Mvar,Modèle:Retrait
• Pour tout entier Modèle:Mvar strictement positif, le coefficient dominant de Modèle:Mvar est Modèle:Math et ses Modèle:Mvar racines sont

• Pour tout entier Modèle:Math, les extremums de Modèle:Mvar sur l'intervalle Modèle:Math sont atteints enModèle:Retrait
• La parité dépend de Modèle:Mvar : $T_n(-X)=(-1{)}^n{T}_n(X)$.
• Représentation intégrale :Modèle:Retrait
• Séries génératrices
  • ordinaire : $\sum _{n=0}^{\mathrm{\infty }}{T}_n{t}^n=\frac{1-tX}{1-2tX+t^2}$,
  • exponentielle : $\sum _{n=0}^{\mathrm{\infty }}{T}_n\frac{t^n}{n!}=\frac{1}{2}({\mathrm{e}}^{(X-\sqrt{X^2-1})t}+{\mathrm{e}}^{(X+\sqrt{X^2-1})t}),$
  • $\sum _{n=1}^{\mathrm{\infty }}{T}_n(X)\frac{t^n}{n}=-\frac{1}{2}\ln (1-2tX+t^2),$ pertinente en particulier en théorie du potentiel.

Fichier:Chebyshev.png

Les premiers polynômes de Tchebychev de première espèce sur le domaine −1¼ < x < 1¼, −1¼ < y < 1¼; la fonction constante Modèle:Math, et Modèle:Math, Modèle:Math, Modèle:Math, Modèle:Math et Modèle:Math.

Polynômes de Tchebychev de seconde espèce

Définition par récurrence

Fichier:Chebyshev Polynomials of the Second Kind.svg

Les premiers polynômes de Tchebychev de seconde espèce sur le domaine −1 < x < 1, −4 < y < 5.

Les polynômes de seconde espèce Modèle:Mvar peuvent se définir par la même relation de récurrence que ceux de première espèce, avec des premiers termes différents :

$U_{n+1}=2X{U}_n-U_{n-1},\mathrm{\forall }n\ge 1\text{avec}{U}_0=1\text{et}{U}_1=2X$.

Par récurrence, Modèle:Mvar est un polynôme de degré Modèle:Mvar.

Les premiers polynômes de Tchebychev de seconde espèce sont :

$U_0=1$

$U_1=2X$

$U_2=4X^2-1$

$U_3=8X^3-4X$

$U_4=16X^4-12X^2+1$

$U_5=32X^5-32X^3+6X$

$U_6=64X^6-80X^4+24X^2-1$

$U_7=128X^7-192X^5+80X^3-8X$

$U_8=256X^8-448X^6+240X^4-40X^2+1$

$U_9=512X^9-1024X^7+672X^5-160X^3+10X$.

Définition trigonométrique

De la même façon que pour ceux de première espèce, les polynômes Modèle:Mvar peuvent se définir alternativement par la forme trigonométrique de leur fonction polynomiale associée sur Modèle:Math. On montre en effet que pour tout Modèle:Mvar :

$\mathrm{\forall }\theta \in ℝ\setminus \pi \mathbb{Z}\frac{\sin ((n+1)\theta )}{\sin \theta }=U_n(\cos \theta )$.

Là encore, le caractère orthogonal des polynômes Modèle:Mvar découle directement de celui des fonctions $\sin n\theta$. Plus précisément, comme $2\sin a\sin b=\cos (a-b)-\cos (a+b)$ :

$\underset{0}{\overset{\pi }{\int }}{U}_p(\cos \theta )U_n(\cos \theta ){\sin }^2(\theta )\mathrm{d}\theta =\underset{0}{\overset{\pi }{\int }}\sin ((p+1)\theta )\sin ((n+1)\theta )\mathrm{d}\theta =0\text{ si }p\ne n$.

En exprimant cette intégrale en fonction de la variable Modèle:Math, on en déduit que les polynômes Modèle:Mvar sont orthogonaux par rapport à la fonction poids $w(x)={(1-x^2)}^{1/2}$ :

$\underset{-1}{\overset{+1}{\int }}{U}_n(x)U_p(x){(1-x^2)}^{1/2}\mathrm{d}x=0\text{ si }p\ne n$.

Équation différentielle

Pour tout Modèle:Mvar, la fonction $\theta \mapsto \sin (n\theta )=U_{n-1}(\cos \theta )\sin \theta$ est solution de l'équation différentielle linéaire homogène d'ordre 2 à coefficients constants :

$y^{″}+n^{2}y=0$.

Par suite, les polynômes de Tchebychev de seconde espèce sont solutions de l'équation différentielle formelle :

$(1-X^2){U_n}^{″}-3X{U_n}^{\prime }+n(n+2)U_n=0$.

Autres propriétés

• Pour tout entier naturel Modèle:Mvar,Modèle:Retrait
• Les Modèle:Mvar sont orthogonaux pour le produit scalaire associé à la pondération $\sqrt{1-x^2}$ sur l'intervalle Modèle:Math. Plus précisément :

  $\underset{-1}{\overset{1}{\int }}{U}_n(x)U_m(x)\sqrt{1-x^2}\mathrm{d}x=\{\begin{array}{cc}0& \text{si }n\ne m\\ \pi /2& \text{si }n=m.\end{array}$

• Pour tout entier naturel Modèle:Mvar,

  $U_n(1)=n+1$.

• Si $m\ge n$, $U_m{U}_n=\sum _{k=0}^n{U}_{m-n+2k}$.
• Pour tout entier Modèle:Mvar strictement positif, les Modèle:Mvar racines de Modèle:Mvar sont

$e_k^{(n+1)}=\cos \frac{k\pi }{n+1},\mathrm{\forall }k\in \{1,\dots ,n\}$.

• La parité dépend de Modèle:Mvar :

  $U_n(-X)=(-1{)}^n{U}_n(X)$.

• Représentation intégrale :

  $U_n(x)=\frac{1}{2i\pi }\underset{C}{\int }\frac{1}{z^n}\frac{1}{z(1-2xz+z^2)}\mathrm{d}z$ où Modèle:Mvar est un contour du plan complexe parcouru dans le sens trigonométrique, contenant zéro et excluant les zéros de Modèle:Math.

• Série génératrice :

  $\sum _{n=0}^{\mathrm{\infty }}{U}_n(X)t^n=\frac{1}{1-2tX+t^2}$.

Fichier:Chebyshev2.png

Les premiers polynômes de Tchebychev de seconde espèce sur le domaine −1¼ < x < 1¼, −1¼ < y < 1¼; la fonction constante Modèle:Math, et Modèle:Math, Modèle:Math, Modèle:Math, Modèle:Math et Modèle:Math.

Quelques relations avec d'autres fonctions spéciales

• $T_n=U_n-X{U}_{n-1},T_{n+1}=X{T}_n-(1-X^2)U_{n-1}\text{ et }{T_n}^{\prime }=n{U}_{n-1}$,
• $T_n=\frac{n}{2}{C}_n^{(0)}\text{ et }{U}_n=C_n^{(1)}$
  où les Modèle:Math sont les polynômes de Gegenbauer et
• $T_n(x)=F(-n,n;\frac{1}{2};\frac{1-x}{2})\text{ et }{U}_n(x)=(n+1)F(-n,n+2;\frac{3}{2};\frac{1-x}{2})$
  où Modèle:Mvar est la fonction hypergéométrique.

Historique

Tchebychev a découvert ces familles en travaillant sur le problème de convergence des interpolations de Lagrange. On peut démontrer qu'en choisissant les racines des polynômes de Tchebychev comme points d'interpolation, on minimise les écarts (cf. phénomène de Runge). Dans ce contexte, les Modèle:Math indiqués ci-dessus, éventuellement ajustés à un autre intervalle d'interpolation Modèle:Math (par une transformation affine Modèle:Math), sont appelés les abscisses de Tchebychev.

En effet, on peut montrer que l'erreur entre la fonction interpolée et le polynôme d'interpolation aux points Modèle:Math sur Modèle:Math s'exprime en

$\underset{x\in [a,b]}{\max }|(x-x_0)\dots (x-x_n)|\frac{\Vert f^{(n+1)}{\Vert }_{\mathrm{\infty },[a,b]}}{(n+1)!}$.

L'idée fut donc de minimiser $L=\underset{x\in [a,b]}{\max }|(x-x_0)\dots (x-x_n)|$ pour Modèle:Mvar points donnés. Tchebychev montra que dans le cas où l'intervalle est Modèle:Math et la répartition des points est symétrique, le polynôme optimal prend les valeurs –L et +L alternativement et n + 1 fois exactement (on dit que le polynôme présente une alternance de Tchebychev). C'est cette propriété qui permet de déduire que les abscisses de Tchebychev sont les meilleurs points d'interpolation pour minimiser les oscillations du polynôme d'interpolation et donc obtenir la meilleure convergence possible.

Applications

Les polynômes de Tchebychev permettent de démontrer le théorème de Weierstrass selon lequel toute fonction continue sur un segment est limite uniforme d'une suite de fonctions polynomiales.

Ils sont également impliqués dans le calcul de filtres en électronique analogique, les filtres de Tchebychev.

Enfin, ils permettent une explication théorique de l'efficacité supérieure de la transformée en cosinus discrète dans le cadre de l'interpolation d'un signal numérique échantillonné, par rapport à d'autres méthodes comme le « zéro-padding + filtrage passe-bande ».

Autres types de polynômes de Tchebychev

Dans la continuité des travaux de Tchebychev, d'autres familles de polynômes ont été définies comme des polynômes du type de Tchebychev, dans le sens où elles apparaissent également dans l'approximation numérique de fonctions.

• les polynômes de Tchebychev du troisième type vérifientModèle:,:

$V_n(\cos \theta )=\frac{\cos ((n+\frac{1}{2})\theta )}{\cos \frac{\theta }{2}}$,

• les polynômes de Tchebychev du quatrième type vérifient

$W_n(\cos \theta )=\frac{\sin ((n+\frac{1}{2})\theta )}{\sin \frac{\theta }{2}}=D_n(\theta )$,

où Modèle:Mvar est le noyau de Dirichlet.

• les polynômes de Tchebychev du cinquième type vérifient

${\tilde{W}}_n(\cos \theta )=\frac{2\pi }{n(n+1)}{\left(\frac{\sin \frac{n\theta }{2}}{\sin \frac{\theta }{2}}\right)}^2=\frac{2\pi }{n+1}{F}_n(\theta )$,

où Modèle:Mvar est le noyau de Fejér.

Les cinq familles de polynômes vérifient toutes la même relation de récurrence $p_n(x)=2x{p}_{n-1}(x)-p_{n-2}(x)$ avec $p_0(x)=1$, seul le terme $p_1(x)$ diffère, étant égal respectivement à $x$, $2x$, $2x-1$, Modèle:Nowrap et Modèle:Nowrap

Voir aussi

Articles connexes

• Algorithme de Clenshaw
• Algorithme de Remez

Bibliographie

• Polynômes de Tchebychev sur Math-Linux.
• Modèle:Handbook of Mathematical Functions (Abramowitz et Stegun)
• Modèle:Mathworld
• Modèle:Mathworld