Polynôme de Shapiro

Zéros du polynôme de degré 255

En analyse de Fourier, les polynômes de Shapiro, étudiés par Harold S. Shapiro en 1951 dans l'étude de l'amplitude des polynômes trigonométriques, sont des polynômes $P_n(z)$ et $Q_n(z)$ définis par la relation de récurrence :

$P_0(z)=Q_0(z)=1$

$P_{n+1}(z)=P_n(z)+z^{2^n}{Q}_n(z)$

$Q_{n+1}(z)=P_n(z)-z^{2^n}{Q}_n(z)$

Ces polynômes vérifient la propriété :

$|P_n(z){|}^2+|Q_n(z){|}^2=2^{n+1}$

pour z sur le cercle unité.

Ces polynômes ont des applications en traitement du signal pour leurs bonnes propriétés d'autocorrélation et leurs valeurs petites sur le cercle unité.

Définitions

Les premiers polynômes de Shapiro sont :

$\begin{array}{cc}{P}_1(x)& =1+x\\ P_2(x)& =1+x+x^2-x^3\\ P_3(x)& =1+x+x^2-x^3+x^4+x^5-x^6+x^7\\ ...\\ Q_1(x)& =1-x\\ Q_2(x)& =1+x-x^2+x^3\\ Q_3(x)& =1+x+x^2-x^3-x^4-x^5+x^6-x^7\\ ...\\ \end{array}$

On peut également définir les polynômes de Shapiro par la suite de Rudin-Shapiro : pour $(a_n{)}_{n\in \mathbb{N}}$, alors :

$P_n(z)=\sum _{k=0}^{2^n-1}{a}_k{z}^k,Q_n(z)=(-1{)}^n\sum _{k=0}^{2^n-1}{a}_k{z}^{2^n-1-k}=(-1{)}^n{z}^{2^n-1}{P}_n(\frac{1}{z})$

Articles connexes

• Suite de Rudin-Shapiro
• Polynôme de Littlewood