Approximation of polynomials in the Haar system in weighted symmetric spaces (Q325505): Difference between revisions

The paper is devoted to approximation by Haar polynomials in rearrangement-invariant spaces with Muckenhoupt weights. For \(p\in(1,\infty)\), a weight \(v:[0,1]\to[0,\infty]\) is said to belong to the Muckenhoupt class \(A_p\) if \[ \sup_{I\subset[0,1]}\left(|I|^{-1}\int_ I v^p(x),dx\right)^{1/p} \left(|I|^{-1}\int_ I v^{-q}(x),dx\right)^{1/q}<\infty, \] where the supremum is taken over all subintervals \(I\) of \([0,1]\) and \(1/p+1/q=1\). Suppose that \(E[0,1]\) is a rearrangement-invariant space with the Boyd indices \(\alpha_E,\beta_E\in(0,1)\) and \(v\in A_{1/\alpha_E}\cap A_{1/\beta_E}\). Consider the weighted space \(E_v[0,1]=\{f: fv\in E[0,1]\}\). By \(W^1E_v[0,1]\) denote the space of all absolutely continuous functions \(f\) on \([0,1]\) such that \(f'\in E_v[0,1]\) and by \({\mathcal E}_n(f)_{E,v}\) denote the best approximation by polynomials in the Haar system in the space \(E_v[0,1]\). Let \(\Omega(f,\delta)_{E,v}=\sup_{0<h\leq\delta}\|f-s_h(f)\|_{E,v}\) be the modulus of continuity associated to the Steklov operators \(s_h(f)(x)=h^{-1}\int_0^h f(x+t)\,dt\). Let \(S_n(f)\) denote the \(n\)-th partial sum of the Fourier-Haar series of a function \(f\). The following four theorems are the main results of the paper. Theorem 1. If \(E[0,1]\) is separable, then the Haar system is a basis in \(E_v[0,1]\). Theorem 2. The \(K\)-functional \(K(f,t,E_v,W^1E_v)\) is equivalent to \(\Omega(f,t)_{E,v}\). Theorem 3. If \(E[0,1]\) is separable, then for \(f\in W^1E_v[0,1]\) and \(n\in{\mathbb N}\), one has \({\mathcal E}_n(f)_{E,v}\leq\|f-S_n(f)\|_{E,v}\leq Cn^{-1}\|f'\|_{E,v}\). Theorem 4. If \(E[0,1]\) is separable, then for \(f\in E_v[0,1]\) and \(n\in{\mathbb N}\), one has \({\mathcal E}_n(f)_{E,v}\leq\|f-S_n(f)\|_{E,v}\leq C\Omega(f,1/n)_{E,v}\).