grandes-ecoles 2019 Q10
Modulus Inequalities and Bounds (Proof-Based)
View
We fix an integer $n \geq 1$ and $A(z) = \sum_{k=0}^{n-1} a_k z^k$ a polynomial such that $a_k \in \{-1, 0, 1\}$ for all $0 \leq k \leq n-1$. We also fix an integer $L \geq 1$. We assume in this question that $a_0 = 1$, and we set, for all $z \in \mathbb{C}$, $$F(z) = \prod_{j=0}^{L-1} A\left(z e^{\frac{2i\pi j}{L}}\right)$$
a. Show that there exists $z_0 \in \mathbb{C}$ such that $|z_0| = 1$ and $|F(z_0)| \geq 1$.
b. Show that $|F(z_0)| \leq n^{L-1} \cdot \sup_{\theta \in \left[-\frac{\pi}{L}, \frac{\pi}{L}\right]} \left|A\left(e^{i\theta}\right)\right|$.