English

The sharp Remez-type inequality for even trigonometric polynomials on the period

Classical Analysis and ODEs 2018-09-21 v1

Abstract

We prove that maxt[π,π]Q(t)T2n(sec(s/4))=12((sec(s/4)+tan(s/4))2n+(sec(s/4)tan(s/4))2n)\max_{t \in [-\pi,\pi]}{|Q(t)|} \leq T_{2n}(\sec(s/4)) = \frac 12 ((\sec(s/4) + \tan(s/4))^{2n} + (\sec(s/4) - \tan(s/4))^{2n}) for every even trigonometric polynomial QQ of degree at most nn with complex coefficients satisfying m({t[π,π]:Q(t)1})2πs,s(0,2π),m(\{t \in [-\pi,\pi]: |Q(t)| \leq 1\}) \geq 2\pi-s\,, \qquad s \in (0,2\pi)\,, where m(A)m(A) denotes the Lebesgue measure of a measurable set ARA \subset {\Bbb R} and T2nT_{2n} is the Chebysev polynomial of degree 2n2n on [1,1][-1,1] defined by T2n(cost)=cos(2nt)T_{2n}(\cos t) = \cos(2nt) for tRt \in {\Bbb R}. This inequality is sharp. We also prove that maxt[π,π]Q(t)T2n(sec(s/2))=12((sec(s/2)+tan(s/2))2n+(sec(s/2)tan(s/2))2n)\max_{t \in [-\pi,\pi]}{|Q(t)|} \leq T_{2n}(\sec(s/2)) = \frac 12 ((\sec(s/2) + \tan(s/2))^{2n} + (\sec(s/2) - \tan(s/2))^{2n}) for every trigonometric polynomial QQ of degree at most nn with complex coefficients satisfying m({t[π,π]:Q(t)1})2πs,s(0,π).m(\{t \in [-\pi,\pi]: |Q(t)| \leq 1\}) \geq 2\pi-s\,, \qquad s \in (0,\pi)\,.

Keywords

Cite

@article{arxiv.1809.07466,
  title  = {The sharp Remez-type inequality for even trigonometric polynomials on the period},
  author = {Tamás Erdélyi},
  journal= {arXiv preprint arXiv:1809.07466},
  year   = {2018}
}

Comments

This is submitted to Springer volume "Topics in Classic and Modern Analysis. In memory of Yingkang Hu", Applied and Numerical Harmonic Analysis series