On the pointwise approximation by the \([F, d_n]\) means (Q1976027)

If \(1\leq p\leq \infty\), then \(L^p_{2\pi}\) is the space of all \(2\pi\)-periodic complex-valued functions with norm \(\|f\|_p= (\int^\pi_{-\pi}|f(x)|^p dx)^{p^{-1}}< \infty\) for finite \(p\) and \(\text{ess sup}\{|f(x)|: x\in [-\pi,\pi]\}< \infty\) when \(p=\infty\). For \(f\in L^p_{2\pi}\) let \(S_k(f; x)\) be the \(k\)th partial sum of its Fourier series in \(x\in\mathbb{R}\). The definition of the \([F,d_n]\) transform of \(\{S_k(f;x)\}\) is \(\sigma_n(f; x)= \sum^{k=n}_{k=0} p_{n,k}S_k(f; x)\), where the elements \(p_{n,k}\) of the \([F,d_n]\)-summability matrix are defined by the relations \(p_{0,0}= 1\), \(\prod^n_{j=1} {\theta+d_j\over 1+d_j}= \sum^{k=n}_{k=0} p_{n,k} \theta^k\), \(d_j\geq 0\), \(\{j,n\}\subset \{1,2,\dots\}\). The aim of this paper is the following approximation theorem: If \(f\in L^p_{2\pi}\), \(1\leq p\leq\infty\), then there exists a constant \(K>0\) such that \[ \begin{multlined} |\sigma_n(f; x)- f(x)|\leq K\Biggl\{\omega_x(2a_n)+ c^2_n \int^{2\pi}_{c_n} t^{-2} \omega_x(t) dt+\overline\omega_{x,n}(c_n)+\\ \int^{c_n}_{a_n} \overline\omega_{x,n}(t) t^{-1} dt+ a^{-1}_n \int^{c_n}_{a_n} |\phi_x(t)|t^2 dt\Biggr\},\end{multlined} \] for sufficiently large \(n\) and all \(x\in\mathbb{R}\), where \(a_n= 2\pi U^{-1}_n\), \(U_n= 1+2 \sum^{k=n}_{k=1} (1+ d_k)^{-1}\), \(c_n= 2\pi/S^\beta_n\), \(3^{-1}\leq\beta\leq 2^{-1}\), \(S_n= 2\sum^{k=n}_{k=1} d_k(1+ d_k)^{-2}\), \(\phi_x(t)= 2^{-1}(f(x+ t)+ f(x- t)- 2f(x))\), \(\omega_x(\delta)= \delta^{-1} \int^\delta_0 |\phi_x(u)|du\), \(\delta> 0\), \(\overline\omega_{x,n}(\delta)= \delta^{-1} \int^\delta_0 |\phi_x(u)- \phi_x(u+ a_n)|\exp(-4^{-1} S_n u^2) du\).