On existence of a universal function for \(L^p[0, 1]\) with \(p\in(0, 1)\) (Q511335)

The authors provide a constructive proof for the universal function \(g\in L^1[0,1]\) so that its Fourier-Walsh series converges to \(g\) in the norm of \(L^1[0,1]\) and has monotonically decreasing coefficients \(c_k(g)\). Using this, they prove the following theorem: For every \(p\in(0,1)\), there is a \(g\in L^1[0,1]\) (a universal function) that has monotone coefficients \(c_k(g)\) and the Fourier-Walsh series convergent to \(g\) (in the norm of \(L^1[0,1]\)) such that, for every function \(f\in L^p[0,1]\), there are numbers \(\delta_k=\pm 1,0\) and an increasing sequence of numbers of positive integers \(N_q\) such that the series \(\sum_{k=0}^{+\infty}\delta_k c_k(g)W_k\) (where \(W_k\) is the Walsh system) and the subsequence \(\sigma_{N_q}^{(\alpha)}\), \(\alpha \in (-1,0)\), of its Cesáro means converge to \(f\) in the metric of \(L^p[0,1]\).