Almost everywhere divergent subsequences of Fourier sums of functions from \(\varphi (L) \cap H_1^\omega\) (Q1033955)

Let \(\varphi: [0,\infty)\to [0,\infty)\) be a nondecreasing function and let \(\varphi(L)= \varphi(L)_{(0,2\pi)}\) denote the set of all Lebesgue measurable \(2\pi\)-periodic functions \(f\) such that \[ \int^{2\pi}_0 \varphi(|f(x|)\,dx< \infty. \] We denote by \(S_n(f,x)\) the \(n\)th partial sum of the Fourier series of \(f(x)\). Consider an increasing sequence of natural numbers \(\{n_k\}\) for which there exist numbers \(p> 1\) and \(r\in\mathbb N\) such that \({n_{(k+1)}r\over n_kr}\geq p\), \(k\in\mathbb N\). The author proves that if \(\varphi(u)= O(\ell_n\ell_n uk)\) as \(u\to\infty\) and \[ {1\over\ell_n k} O\Biggl(\omega\biggl({1\over n_k}\biggr)\Biggr), \] where \(\omega\) is the modulus of continuity, then there exists a function \(F(x)\in\varphi(L)\cap H^\omega_1\) whose subsequence \(S_{n_k}(F,x)\) is divergent almost everywhere. The proof of the theorem involves the construction of an example which is based on the use of piecewise linear functions.