Algorithme de Clenshaw

En analyse numérique, l’algorithme de Clenshaw est une méthode récursive permettant d'évaluer un polynôme comme combinaision linéaire des polynômes de Tchebychev. Elle peut se voir comme une généralisation de la méthode de Horner qui évalue une combinaison linéaire de monômes.

Cette méthode peut être étendue aux classes de fonctions définies par une relation de récurrence d'ordre 2.

Algorithme

Soit ${\varphi }_k,k=0,1,\dots$ une suite de fonctions vérifiant la relation de récurrence d'ordre 2

${\varphi }_{k+1}(x)={\alpha }_k(x){\varphi }_k(x)+{\beta }_k(x){\varphi }_{k-1}(x),$

où les coefficients ${\alpha }_k$ et ${\beta }_k$ sont connus. On remarquera que dans la plupart des cas, $\alpha (x)$ est indépendant de Modèle:Math, et $\beta$ est une constante ne dépendant ni de Modèle:Math ni de Modèle:Math.

L'objectif est donc de calculer la somme

$S(x)=\sum _{k=0}^n{a}_k{\varphi }_k(x)$

À partir des coefficients $a_0,\dots ,a_n$, on calcule les valeurs $b_k(x)$ par la formule de récurrence inverse :

$\begin{array}{cc}{b}_{n+1}(x)& =b_{n+2}(x)=0,\\ b_k(x)& =a_k+{\alpha }_k(x)b_{k+1}(x)+{\beta }_{k+1}(x)b_{k+2}(x).\end{array}$

La combinaision linéaire des ${\varphi }_k$ vérifie :

$S(x)={\varphi }_0(x)a_0+{\varphi }_1(x)b_1(x)+{\beta }_1(x){\varphi }_0(x)b_2(x).$

Fox et Parker ont étudié le comportement et la stabilité de ce type d'algorithme.

La méthode de Horner vue comme celle de Clenshaw

Un cas simple de l'algorithme apparait en considérant un polynôme de la forme

$S(x)=\sum _{k=0}^n{a}_k{x}^k$.

On obtient alors

$\begin{array}{cc}{\varphi }_0(x)& =1,\\ {\varphi }_k(x)& =x^k=x{\varphi }_{k-1}(x)\end{array}$

et les coefficients deviennent alors $\alpha (x)=x$ et $\beta =0$.

Ainsi, la formule de récurrence pour calculer la somme est

$b_k(x)=a_k+x{b}_{k+1}(x)$

et ici, le résultat est

$S(x)=a_0+x{b}_1(x)=b_0(x)$,

ce qui permet de retrouver le résultat de la méthode de Horner.

Cas particulier des séries de Tchebychev

Soit une série de Tchebychev tronquée

$p_n(x)=a_0+a_1{T}_1(x)+a_2{T}_2(x)+\cdots +a_n{T}_n(x).$

Les coefficients de la relation de récurrence dans les polynômes de Tchebychev sont

$\alpha (x)=2x,\beta =-1,$

avec les conditions initiales

$T_0(x)=1,T_1(x)=x.$

La formule de récurrence devient alors

$b_k(x)=a_k+2x{b}_{k+1}(x)-b_{k+2}(x)$

et la somme finale devient

$p_n(x)=a_0+x{b}_1(x)-b_2(x).$

Un moyen d'évaluer ce polynôme est de calculer la récurrence à un pas supplémentaire, en posant

$b_0(x)=2a_0+2x{b}_1(x)-b_2(x),$

(avec un coefficient a₀ double) puis

$p_n(x)=b_0(x)-x{b}_1(x)-a_0=\frac{1}{2}[b_0(x)-b_2(x)].$

Applications géodésiques

L'algorithme de Clenshaw est beaucoup utilisé dans les applications géodésiques, où on parle plutôt de sommation de Clenshaw. Une simple application est de sommer les séries trigonométriques pour calculer un arc de méridien. Ces sommes s'écrivent sous la forme

$m(\theta )=C_0\theta +C_1\sin \theta +C_2\sin 2\theta +\cdots +C_n\sin n\theta .$

Mis à part le premier terme $C_0\theta$, le reste peut se voir comme une somme de la forme voulue. Le terme initial dans une telle somme disparait car ${\varphi }_0(\theta )=\sin 0\theta =\sin 0=0$.

En utilisant les relations de trigonométrie, on trouve la relation de récurrence nécessaire :

$\sin k\theta =2\cos \theta \sin (k-1)\theta -\sin (k-2)\theta ,$

avec les coefficients correspondants

${\alpha }_k(\theta )=2\cos \theta ,{\beta }_k=-1.$

et l'évaluation de la série est donnée par

$\begin{array}{cc}{b}_{n+1}(\theta )& =b_{n+2}(\theta )=0,\\ b_k(\theta )& =C_k+2b_{k+1}(\theta )\cos \theta -b_{k+2}(\theta )(n\ge k\ge 1).\end{array}$

La dernière étape est simplifiée du fait que ${\varphi }_0(\theta )=\sin 0=0$, ce qui donne $b_1(\theta )\sin (\theta )$ ; reste le terme $C_0\theta$ traité séparément :

$m(\theta )=C_0\theta +b_1(\theta )\sin \theta .$

L'algorithme ne nécessite ainsi que le calcul de $\cos \theta$ et $\sin \theta$.

Voir aussi

• Méthode de Horner pour le calcul de polynômes sous forme monomiale
• Algorithme de De Casteljau pour le calcul de polynômes sous forme de Bézier