Estimates of the coefficients of the Jacobi expansion by measures of smoothness (Q719559): Difference between revisions

Let \(f\in L_p(w_{\alpha,\beta})\), where \(w_{\alpha,\beta}(x)=(1-x)^\alpha(1+x)^\beta\), \(\alpha,\beta>-1\), with series expansion by Jacobi polynomials \(f(x)\sim\sum_{n=0}^\infty a_n P_n^{(\alpha,\beta)}(x)\). The \(K\)-functional is defined as \[ K_r(f,P_{(\alpha,\beta)}(D),t^{2r})_p=\inf\{\|f-g\|_{L_p(w_{\alpha,\beta})}+t^{2r}\|(-P_{\alpha,\beta}(D))^rg\|_{L_p(w_{\alpha,\beta})}\}, \] where \(P_{\alpha,\beta}(D)=w_{\alpha,\beta}(x)^{-1}\dfrac{d}{dx}w_{\alpha,\beta}(x)\dfrac{d}{dx}\) and the infimum is taken over all the functions \(g\) such that \((-P_{\alpha,\beta}(D))^rg\in L_p(w_{\alpha,\beta}) \). The main result of the paper is the following estimate. \[ \left(\sum_{n=0}^\infty \min(1,tn)^{2rq}n^{\nu(2/q-1)} |a_n|^q\right)^{1/q}\leq C K_r(f,P_{(\alpha,\beta)}(D),t^{2r})_p, \] where \(\alpha+\beta \geq 1\), \(1<p\leq 2\), \(q(p-1)=p\). Further, \[ \sup_n \min(1,tn)^{2r}n^{-\nu}|a_n|\leq C K_r(f,P_{(\alpha,\beta)}(D),t^{2r})_1, \] with \(\nu=\max(\alpha,\beta)+1/2\). In particular, when \(\alpha=\beta=0\), it is obtained that \[ \left(\sum_{n=m}^\infty \min(1,tn)^{qm}n^{(1/q-1/2)} |a_n|^q\right)^{1/q}\leq C \omega_\varphi ^m(f,t)_p. \] Here \(\omega_\varphi ^m(f,t)_p=\sup_{|h|\leq t}\|\Delta^m_{h\varphi}f\|_{L_p[-1,1]}\), where \(\varphi(x)=\sqrt{1-x^2}\), \(\Delta^m_{h\varphi(x)}f(x)=\sum_{k=0}^m (-1)^k \binom{m}{k}f(x+(m/2-k)h\varphi(x))\), if \(x\pm \frac{m}{2}h\varphi(x)\in [-1,1]\), and \(\Delta^m_{h\varphi(x)}f(x)=0\), otherwise.