Polynôme de Dickson

Les polynômes de Dickson (ou polynômes de Brewer), introduits par le mathématicien américain Leonard Eugene Dickson en 1897 et redécouverts par B. W. Brewer en 1960 (dans son étude des Modèle:Lien), sont deux suites de polynômes $(D_n{)}_{n\in \mathbb{N}}$ et $(E_n{)}_{n\in \mathbb{N}}$ (appelées respectivement polynômes de Dickson de première et de deuxième espèce), définies sous la forme de fonctions polynomiales de deux variables complexes $a$ et $x$, par :

$D_0(x,a)=2D_1(x,a)=x{E}_0(x,a)=1E_1(x,a)=x$,

et par la relation de récurrence vérifiée par les deux suites, pour tout entier $n\in \mathbb{N}$ :

$P_{n+2}(x,a)=x{P}_{n+1}(x,a)-a{P}_n(x,a)$.

Ils sont particulièrement liés aux polynômes de Tchebychev.

Définition

Les premiers polynômes de Dickson de première et de deuxième espèce, calculés grâce à la relation de récurrence ci-dessus, valent :

$\begin{array}{cc}{D}_0(x,a)=2& E_0(x,a)=1\\ D_1(x,a)=x& E_1(x,a)=x\\ D_2(x,a)=x^2-2a& E_2(x,a)=x^2-a\\ D_3(x,a)=x^3-3ax& E_3(x,a)=x^3-2ax\\ D_4(x,a)=x^4-4a{x}^2+2a^2& E_4(x,a)=x^4-3a{x}^2+a^2\\ D_5(x,a)=x^5-5a{x}^3+5a^{2}x& E_5(x,a)=x^5-4a{x}^3-3a^{2}x\end{array}$

On peut alors prouver qu'ils vérifient les relations générales :

$D_n(x,a)=\sum _{k=0}^{\lfloor n/2\rfloor }\frac{n}{n-k}(\genfrac{}{}{0ex}{}{n-k}{k})(-a{)}^k{x}^{n-2k}\text{et}{E}_n(x,a)=\sum _{k=0}^{\lfloor n/2\rfloor }(\genfrac{}{}{0ex}{}{n-k}{k})(-a{)}^k{x}^{n-2k}$,

où $\lfloor \cdot \rfloor$ est la fonction partie entière.

Propriétés

Les suites de polynômes vérifient, pour tout $(x,a)\in {ℂ}^{*}\times ℂ$ et pour tout $n\in \mathbb{N}$ :

$D_n(x+\frac{a}{x},a)=x^n+\frac{a^n}{x^n}\text{et}(x-\frac{a}{x})E_n(x+\frac{a}{x},a)=x^{n+1}-\frac{a^{n+1}}{x^{n+1}}$.

D'autre part, les polynômes de Dickson de première espèce vérifient la relation, pour $(m,n)\in {\mathbb{N}}^2$ :

$D_{mn}(x,a)=D_m(D_n(x,a),a^n)$.

Les polynômes $D_n(x,a)$ et $E_n(x,a)$ sont respectivement solutions des deux équations différentielles :

$(x^2-4a)y^{″}+x{y}^{\prime }-n^{2}y=0\text{et}(x^2-4a)y^{″}+3x{y}^{\prime }-n(n+2)y=0$

Les séries génératrices des deux suites de polynômes valent :

$\sum _{n\in \mathbb{N}}{D}_n(x,a)z^n=\frac{2-xz}{1-xz+a{z}^2}\text{et}\sum _{n\in \mathbb{N}}{E}_n(x,a)z^n=\frac{1}{1-xz+a{z}^2}$.

Liens avec d'autres polynômes

Les polynômes de Dickson sont liés aux polynômes de Tchebychev de première et de deuxième espèce $(T_n{)}_{n\in \mathbb{N}}$ et $(U_n{)}_{n\in \mathbb{N}}$ par les relations :

$\mathrm{\forall }(x,a)\in {ℂ}^2,D_n(2ax,a^2)=2a^n{T}_n(x)\text{et}{E}_n(2ax,a^2)=a^n{U}_n(x)$.

D'autre part :

• les polynômes de Dickson de paramètre $a=0$ sont des monômes : $D_n(x,0)=x^n$ ;
• les polynômes de Dickson de paramètre $a=1$ et $a=-1$ sont liés aux polynômes de Fibonacci et de Lucas.