Differential equations of addition

In mathematics, the Shapiro polynomials are a sequence of polynomials which were first studied by Harold S. Shapiro in 1951 when considering the magnitude of specific trigonometric sums. In signal processing, the Shapiro polynomials have good autocorrelation properties and their values on the unit circle are small. The first few members of the sequence are:

$\begin{array}{rl}{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}$

where the second sequence, indicated by Q, is said to be complementary to the first sequence, indicated by P.

Construction

The Shapiro polynomials P_n(z) may be constructed from the Golay-Rudin-Shapiro sequence a_n, which equals 1 if the number of pairs of consecutive ones in the binary expansion of n is even, and −1 otherwise. Thus a₀ = 1, a₁ = 1, a₂ = 1, a₃ = −1, etc.

The first Shapiro P_n(z) is the partial sum of order 2ⁿ − 1 (where n = 0, 1, 2, ...) of the power series

f(z) := a₀ + a₁ z + a₂ z² + ...

The Golay-Rudin-Shapiro sequence {a_n} has a fractal-like structure – for example, a_n = a_2n – which implies that the subsequence (a₀, a₂, a₄, ...) replicates the original sequence {a_n}. This in turn leads to remarkable functional equations satisfied by f(z).

The second or complementary Shapiro polynomials Q_n(z) may be defined in terms of this sequence, or by the relation Q_n(z) = (1-)ⁿz^2n-1P_n(-1/z), or by the recursions

$P_0(z)=1;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).$

Properties

Zeroes of the polynomial of degree 255

The sequence of complementary polynomials Q_n corresponding to the P_n is uniquely characterized by the following properties:

• (i) Q_n is of degree 2ⁿ − 1;
• (ii) the coefficients of Q_n are all 1 or −1, and its constant term equals 1; and
• (iii) the identity |P_n(z)|² + |Q_n(z)|² = 2^(n + 1) holds on the unit circle, where the complex variable z has absolute value one.

The most interesting property of the {P_n} is that the absolute value of P_n(z) is bounded on the unit circle by the square root of 2^(n + 1), which is on the order of the L² norm of P_n. Polynomials with coefficients from the set {−1, 1} whose maximum modulus on the unit circle is close to their mean modulus are useful for various applications in communication theory (e.g., antenna design and data compression). Property (iii) shows that (P, Q) form a Golay pair.

These polynomials have further properties:

$P_{n+1}(z)=P_n(z^2)+z{P}_n(-z^2);$

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

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

$P_{n+k+1}(z)=P_k(z)P_n(z^{2k+1})+z^{2k}{Q}_k(z)P_n(-z^{2k+1});$

$P_n(1)=2^{\lfloor (n+1)/2\rfloor };P_n(-1)=(1+(-1{)}^n)2^{\lfloor n/2\rfloor -1}.$

See also

• Littlewood polynomials

Notes

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

References

• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534 Chapter 4.
• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534