Abstract:
Suppose $\Phi_{p,E}$ ($p>0$ an integer, $E\subset[0,2\pi]$) is a family of positive nondecreasing
functions $\varphi_x(t)$ ($t>0$, $x\in E$) such that $\varphi_x(nt)\leqslant n^p\varphi_x(t)$ ($n=0,1,\dots$), $t_n$
is a trigonometric polynomial of order at most $n$, and $\Delta_h^l(f,x)$ ($l>0$ an integer) is the finite
difference of order $l$ with step $h$ of the function $f$. \underline{THEOREM.} Suppose $f(x)$ is a function which is measurable,
finite almost everywhere on $[0, 2\pi]$, and integrable in some neighborhood of each point $x\in E$,
$\varphi_x\in\Phi_{p,E}$ and
$$
\varlimsup_{\delta\to\infty}\left|(2\delta)^{-1}\int_{-\delta}^\delta\Delta_u^l(f,x)\,du\right|\varphi_x^{-1}(\delta)\leqslant C(x)<\infty\qquad(x\in E).
$$
Then there exists a sequence $\{t_n\}_{n=1}^\infty$, which converges to $f(x)$ almost everywhere, such that for $x\in E$ $$
\varlimsup_{n\to\infty}|f(x)-t_n(x)|\varphi_x^{-1}(1/n)\leqslant AC(x),
$$
where $A$ depends on $p$ and $l$.