Convergence of Walsh--Fourier series in Orlicz spaces \(L(\varphi) \subset L(e^{x})\) (Q874946)

The function \(\varphi:[0,\infty)\to[0,\infty)\) is said to be an Orlicz function if \(\varphi\) is continuous, convex, \(\varphi(0)=0\), \(\varphi(1)= 1\), \(\varphi(x) /x\to\infty\) (as \(x\to 0)\). The Orlicz space \(L(\varphi)\) of functions on \([0, 1]\) is defined to be \(\{f\) measurable on \([0,1): \|f\|_{(\varphi)}<\infty\}\), where \(\|f\|_{(\varphi)}=\inf\{ \lambda>0:\int^1_0\varphi(|f(x)|/\lambda)\, dx\leq 1\}\). The Rademacher functions are defined by \[ r_k(t)=r_0(2^kt),\quad r_0(t) = \begin{cases} 1&\text{if }0\leq t< \frac12,\\ -1 &\text{if }\frac12<t<1, \end{cases} \] and the \(n\)-th Walsh function \(w_n\) is represented as \(w_n(t)=\prod_{j=0}^\infty r_k(t)^{n_k}\), \(0<t< 1\), where \(n_k\), \(k=1,2,\dots\), are the coefficients in the diadic representation of the integer \(n\) as \(\sum^\infty_{j=0}n_j2^j\). The results of this paper involve the convergence of the partial sums \(\{S_m (f),m=1,2,\dots\}\) of the Walsh--Fourier series of the function \(f\) in \(L(0,1)\), where \[ S_m(f)=\sum^{m-1}_{k=0}F(f)_kw_k=\int^1_0f(x\oplus t)D_m (t)\,dt, \] \[ t\oplus\tau=\sum^\infty_{j=0} |t_j-\tau_j|2^{-j-1},\quad t= \sum^\infty_{j=0}t_j2^{-j-1}, \] and \(D_m\) is the Dirichlet kernel. In particular, it is shown that (i) if the Orlicz function \(\varphi\) has the form \(\varphi(x)=e^{x_\varepsilon(x)}\), where \(\varepsilon\) is an increasing function and \(\varepsilon(x)\to\infty\) as \(x\to\infty\), and if \(\psi\) is positive, increasing and \(\psi(x)/x\to 0\) (as \(x\to\infty)\), then there is a differentiable function \(f\) on \((0,1]\) such that \(\int_0^1\psi(|f'(x) |)\,dx< \infty\), and \(\lim_{m\to\infty}\|S_m(f)-f\|_{(\varphi)}\neq 0\); (ii) if \(\overline\omega_k(f)\) is the modulus of continuity of \(f\) and \(k\| \overline \omega_k(f)\|_{(\varphi)}\to 0\) as \(k\to\infty\), then \(\|S_m (f)-f\|_{(\varphi)} \to 0\) as \(m\to\infty\). The author states in the introduction of the paper that the main conclusions follow the results of \textit{C.\,Finet} and \textit{G.\,E.\thinspace Tkebuchava} [J.~Math.\ Anal.\ Appl.\ 221, 405--418 (1998; Zbl 0912.46030)] relating to the convergence of the series if and only if \(L(\varphi)\subset L(e^x)\).