An inverse approximation theorem in various metrics (Q1181614)

The aim of this paper is to prove a result of Bernstein type for best approximation of periodic functions. Let \(1\leq p< q<\infty\), \(k\in N\), \(r\in Z_ +\), \(\sigma= r+{1\over p}-{1\over q}\), and \(\{\varepsilon_ n\}\) a positive monotone decreasing sequence. Furthermore, let \[ A:=\sup\left\{ \omega_ k\left( f^{(r)}; {\pi\over n}\right)_{L^ q_{2\pi}}: E_ n(f,L^ p_{2\pi})\leq \varepsilon_ n\text{ for all } n\in Z_ +\right\}. \] Here, as usual, \(E_ n\) and \(\omega_ k\) denote the best approximation by trigonometric polynomials and the modulus of continuity of order \(k\), respectively. Then the main theorem of the paper states that \[ A^ q\asymp \sum^ \infty_{\nu= n+1} \nu^{q\sigma-1}\varepsilon^ q_ \nu+ n^{-k} \sum^ n_{\nu=1} \nu^{q(k+\sigma)-1}\varepsilon^ q_ \nu.\tag{1} \] Note that the right hand side of (1) is finite if and only if \(f^{(r)}\in L^ q_{2\pi}\), i.e., iff \(A\) exists.