Modules of half-decay of monotonic functions and the rate of convergence of Fourier series (Q1095331): Difference between revisions

Let \(f\in C(0,2\pi)\), \(S[f]=a_ 0(f)/2+\sum^{\infty}_{k=1}(a_ k(f)\cos kx+b_ k(f)\sin kx)\) be its Fourier series and \(S_ n(f,x)\) be the partial sums of this series. Denote by \(\psi\) (k) any function of natural argument, for which \(\psi (k-1)-2\psi (k)+\psi (k+1)\geq 0,\lim_{k\to \infty}\psi (k)=0\). Let \[ \sum (1/\psi (k))(a_ k(f)\cos (kx+\beta \pi /2)+b_ k(f)\sin (kx+\beta \pi /2) \] be the Fourier series of a function \(f^{\psi}_{\beta}\in L(0,2\pi)\), where \(\beta\) is an arbitrary real number. Denote the class of these continuous functions by \(C^{\psi}_{\beta}\). Suppose also that \(S_ n(\omega)=\sup_{\phi \in H_{\omega}}| \int^{\pi /2}_{-\pi /2}\phi (t/n)\sin nt dt|\) and \({\mathcal E}_ n(C^{\psi}_{\beta}{\mathcal N})=\sup \{| \rho_ n(f;x)|: f\in C^{\psi}_{\beta}\cap {\mathcal N}\},\) where \(\rho_ n(f;x)=f(x)-S_{n- 1}(f,x)\) and \({\mathcal N}\subset L(0,2\pi)\). Let \(\psi\) (v) be a continuous piecewise linear function which coincides with \(\psi\) (k) for natural values of an argument. We note \(\eta (t)=\psi^{-1}(\psi (t))\) and \(\mu (\psi;t)=t/(\eta (t)-t)\) for \(t\geq 1\). Denote by \({\mathcal M}_ c\) and \({\mathcal M}_{\infty}\), respectively, the classes of all functions \(\psi\) (v) for which \(0<k_ 1\leq \mu (\psi,t)\leq k_ 2<+\infty\) \((k_ 1\) and \(k_ 2\) are constants) or \(\mu\) (\(\psi\) ;t)\(\uparrow \infty\). The main result of this paper is the following. Theorem: Let \(\psi\in {\mathcal M}_ c\cup {\mathcal M}_{\infty}\). Then \[ {\mathcal E}_ n(C^{\psi}_{\beta}M)=(4/\pi^ 2)\psi (n)\ell n^+n(\eta (n)- n)+O(1)\psi (n),\quad n\to \infty, \] where M is the class of essentially bounded functions; \[ {\mathcal E}_ n(C^{\psi}_{\beta}H_{\omega})=(2/\pi^ 2)\psi (n)S_ n(\omega)\ell n^+\pi (\eta (n)-n)+O(1)\psi (n)\omega (1/n), \] where O(1) are uniformly bounded with respect to n and \(\beta\).