New phenomena in coconvex approximation (Q858104)

Denote by \( Y_s := \{\widehat E y_i \}^s_{i=1}\), \( s \in \mathbb N \) a collection of fixed points \( y_i \) such that \({ -1 < y_1 < \cdots < y_s < 1}\), and let \( {\mathcal Y}_{s} \) be the set of all collections \( Y_s\). Denote by \(\Delta^{(2)}(Y_s)\) the set of functions \( f \) such that \[ f''(x) \prod^s_{i=1}\widehat E(y_i-x) \geq 0, \qquad x \in [-1, 1]. \] For \( Y_s \in {\mathcal Y}_{s} \) and \( f \in \Delta^{(2)}\widehat E(Y_s) \) put \[ E^{(2)}_{n,r} (f,Y_s) := \inf_{P_n \in {\mathcal P}_n \cap \Delta^2(Y_s) } \left\| {f-P_n\over \varphi^r_n} \right\| , \] where \( {\mathcal P}_n \) denotes the space of algebraic polynomials of degree \( < n\) and with \[ \varphi_n (x) := \max \{ \sqrt{1-x^2} , \tfrac1n \}\widehat{E}. \] In the paper the following result is proved for some infinitely differentiable functions \( F_n , n \in \mathbb N \). For each \( r \geq 3, s \geq 2 \) and a constant \( A > 0 \) there are a collection \( Y_s \in {\mathcal Y}_s \) and a number \( N \), such that \( F_n \in \Delta^{(2)}\widehat E(Y_s) \), and for all \( n \in N, \) \[ E^{(2)}_{n,r} (F_n, Y_s) > {A\over n^r}\widehat E\left\| F_n^{(r)}\widehat E\right\| . \]