Utilisateur:Wiz/Brouillon/Polynômes de Tchebychev

En mathématiques, les polynômes de Tchebychev forment une suite de polynômes indexée par l'ensemble des entiers naturels, $\mathbb {N}$

On distingue deux familles de polynômes de Tchebychev :

• les polynômes de Tchebychev de première espèce, $(T_{n})_{n\in \mathbb {N} }\,$
• les polynômes de Tchebychev de seconde espèce, $(U_{n})_{n\in \mathbb {N} }\,$

Les polynômes de Tchebychev de première espèce jouent un rôle important en théorie de l'approximation, car leurs racines, aussi appelées nœuds de Tchebychev, sont utilisées comme nœuds dans l'interpolation polynomiale. L'interpolation polynomiale résultante minimise le problème du phénomène de Runge et fournit la meilleure approximation possible d'une fonction continue suivant la maximum norm.

Dans l'étude des équations différentielles, ils apparaissent comme solutions des équations différentielles de Tchebychev

$(1-x^{2})\,y''-x\,y'+n^{2}\,y=0$

et

$(1-x^{2})\,y''-3x\,y'+n(n+2)\,y=0$

pour les polynômes de première et de seconde espèce, respectivement. Ces équations sont des cas particuliers de l'équation différentielle de Sturm-Liouville.

Définitions

Définition explicite

$T_{n}(x)=\sum _{k=0}^{\left\lfloor {\frac {n}{2}}\right\rfloor }C_{n}^{2k}x^{n-2k}(x^{2}-1)^{k}\,$

$U_{n}(x)=\sum _{k=0}^{\left\lceil {\frac {n}{2}}\right\rceil }C_{n+1}^{2k+1}x^{n-2k}(x^{2}-1)^{k}\,$

Relation de récurrence

Les polynômes de Tchebychev de première espèce vérifient la relation de récurrence

$T_{0}(x)=1\,$

$T_{1}(x)=x\,$

$T_{n+2}(x)=2xT_{n+1}(x)-T_{n}(x).\,$

Les polynômes de Tchebychev de seconde espèce, quant à eux, vérifient la relation de récurrence

$U_{0}(x)=1\,$

$U_{1}(x)=2x\,$

$U_{n+2}(x)=2xU_{n+1}(x)-U_{n}(x).\,$

Fonctions génératrices

$\sum _{n=0}^{\infty }T_{n}(x)t^{n}={\frac {1-tx}{1-2tx+t^{2}}}.$

$\sum _{n=0}^{\infty }U_{n}(x)t^{n}={\frac {1}{1-2tx+t^{2}}}.$

Définition trigonométrique

Les polynômes de Tchebychev de première espèce peuvent être définis par l'identité trigonométrique

$T_{n}(\cos \theta )=\cos n\theta \,$

démonstration

On peut se persuader que cos nθ est un polynôme de degré n en cos θ à l'aide de la formule de Moivre.

$e^{in\theta }\,$	$=\,$	$(\cos \theta +i\sin \theta )^{n}\ =\ \cos n\theta +i\sin n\theta \,$
	$=\,$	$\sum _{k=0}^{n}i^{k}C_{n}^{k}\cos ^{n-k}\theta \sin ^{k}\theta \,$

En séparant parties réelles et imaginaires, il vient

$\cos n\theta \,$	$=\,$	$\sum _{p=0}^{\left\lfloor {\frac {n}{2}}\right\rfloor }(-1)^{p}C_{n}^{2p}\cos ^{n-2p}\theta \sin ^{2p}\theta \,$
	$=\,$	$\sum _{p=0}^{\left\lfloor {\frac {n}{2}}\right\rfloor }(-1)^{p}C_{n}^{2p}\cos ^{n-2p}\theta (1-\cos ^{2}\theta )^{p}\,$

En particulier, si $\theta \in [0,\pi ]\,$, on peut poser $\theta =\arccos x,(x\in [-1,1])\,$ et on obtient

$\cos(n\arccos x)=\sum _{p=0}^{\left\lfloor {\frac {n}{2}}\right\rfloor }(-1)^{p}C_{n}^{2p}x^{n-2p}(1-x^{2})^{p}$

Le polynôme ainsi défini est le polynôme de Tchebychev de première espèce d'ordre n, $T_{n}$, tel que

$T_{n}(x)=\sum _{k=0}^{\left\lfloor {\frac {n}{2}}\right\rfloor }C_{n}^{2k}x^{n-2k}(x^{2}-1)^{k}\,$

 

Explicitement

$T_{n}(x)=\left\{{\begin{matrix}&\cos(n\arccos(x))&{\mbox{ , }}\ x\in [-1,1]\\&\cosh(n\,\mathrm {arcosh} (x))&{\mbox{ , }}\ x\geq 1\\&(-1)^{n}\cosh(n\,\mathrm {arcosh} (-x))&{\mbox{ , }}\ x\leq -1\\\end{matrix}}\right.$

De même, les polynômes de Tchebychev de seconde espèce satisfont

$U_{n}(\cos(\theta ))={\frac {\sin((n+1)\theta )}{\sin \theta }}.$

Une boite déroulante

Voilà un objet utile pour alléger un article

mettre une démonstration optionnelle

${\frac {x+1}{x-3}}=5$

tout en sachant que le séparateur | ne doit pas être utilisé