Quasiuniversal Fourier-Walsh series for the classes \(L^p[0, 1]\), \(p > 1\) (Q1991798)

Let \(\{\varphi_k\}^\infty_{k=0}\) be a complete orthonormal system on \([0,1]\). A series \(\sum^\infty_{k=0}a_k\varphi_k(x)\) is said to be universal with respect to subseries (signs, subseries-signs) if, for any function \(f\in L^p(E)\) there exists a sequence of numbers \(\delta_k\), \(\delta_k=0,1\) (respectively, \(\delta_k=\pm 1\), \(\delta_k=0,\pm 1\)) for which the series \(\sum^\infty_{k=0}a_k\delta_k\varphi_k(x)\) converges to \(f\) in the metric of \(L^p\). We say that the series \(\sum^\infty_{k=0}a_k\varphi_k(x)\) is quasiuniversal with respect to subseries-signs (subseries, signs) in the class \(L^p[0,1]\) in the sense of \(L^p\)-convergence if, for any number \(\varepsilon>0\) there exists a measurable set \(E_\varepsilon\subset [0,1]\) with measure \(\mu E_\varepsilon>1-\varepsilon\) such that the series \(\sum^\infty_{k=0}a_k\varphi_k(x)\) is universal in the corresponding sense in the metric of \(L^p\). Let us recall that \(R_n(x)=sign(\sin 2^n\pi x)\) are Rademacher functions. If \(n=2^{k_1}+\dots +2^{k_p}\in\mathbb N\), \(k_1>\dots >k_p\geq 0\), \(k_i\in\mathbb Z\), then \(W_n(x)=\prod^p_{i=1}R_{k_i+1}(x)\) and \(W_0(x)=1\). The system \(\{W_n(x)\}^\infty_{n=0}\) is called Walsh system. The results of the paper are: {Theorem 1.} For each \(p>1\) there exists a function \(f\in L^1[0,1]\) whose Walsh-Fourier series converges to \(f\) in \(L^1[0,1]\), has monotonically decreasing coefficients and is quasiuniversal with respect to subseries-signs in \(L^p[0,1]\) in the sense of \(L^p\)-convergence. {Theorem 2.} For each \(p>1\) there exists a function \(g\in L^1[0,1]\) whose Walsh-Fourier series \(\sum^\infty_{k=0}a_kW_k(x)\) converges to \(g\) in \(L^1[0,1]\), has monotonically decreasing coefficients and there exists \(\gamma_k=\pm 1\) such that the series \(\sum^\infty_{k=0}\gamma_k a_kW_k(x)\) is quasiuniversal with respect to subseries in \(L^p[0,1]\) in the sense of \(L^p\)-convergence.