On the largest critical value of $T_n^{(k)}$

Abstract

We study the quantity $$ τ_{n,k}:=\frac{|T_n^{(k)}(ω_{n,k})|}{T_n^{(k)}(1)}\,, $$ where $T_n$ is the Chebyshev polynomial of degree $n$, and $ω_{n,k}$ is the rightmost zero of $T_n^{(k+1)}$. Since the absolute values of the local maxima of $T_n^{(k)}$ increase monotonically towards the end-points of $[-1,1]$, the value $τ_{n,k}$ shows how small is the largest critical value of $\,T_n^{(k)}\,$ relative to its global maximum $\,T_n^{(k)}(1)$. In this paper, we improve and extend earlier estimates by Erdős--Szegő, Eriksson and Nikolov in several directions. Firstly, we show that the sequence $\,\{τ_{n,k}\}_{n=k+2}^{\infty}$ is monotonically decreasing in $n$, hence derive several sharp estimates, in particular $$ τ_{n,k} \le \begin{cases} τ_{k+4,k} = \frac{1}{2k+1}\,\frac{3}{k+3}\,, & n \ge k+4\, τ_{k+6,k} = \frac{1}{2k+1}\, (\frac{5}{k+5})^2 β_k\,, & n \ge k+6\,, \end{cases} $$ where $β_k < \frac{2+\sqrt{10}}{5} \approx 1.032$. We also obtain an upper bound which is uniform in $n$ and $k$, and that implies in particular $$ τ_{n,k} \approx \big(\frac{2}{e}\big)^k, \quad n \ge k^{3/2}; \qquad τ_{n,n-m} \approx \big(\frac{em}{2}\big)^{m/2} n^{-m/2}; \qquad τ_{n,n/2} \approx \big(\frac{4}{\sqrt{27}}\big)^{n/2}. $$ Finally, we derive the exact asymptotic formulae for the quantities $$ τ_k^{*} := \lim_{n\to\infty}τ_{n,k} \quad \mbox{ and }\quad τ_m^{**} := \lim_{n\to\infty} n^{m/2} τ_{n,n-m}\,, $$ which show that our upper bounds for $τ_{n,k}$ and $τ_{n,n-m}$ are asymptotically correct with respect to the exponential terms given above.