Universal or quasiuniversal orthogonal series in \(L^p [0,1]\) (Q5959516)

Let \(\{\varphi_k(x): k=1,2,\dots\}\) be a complete orthonormal system in \(L^2(0,1)\) such that for some \(p_0> 2\), \[ \|\varphi_k\|_{p_0}\leq \text{const}.,\quad k= 1,2,\dots\;. \] An orthogonal series \(\sum c_k\varphi_k(x)\) is constructed with the property that for any \(0< \varepsilon< 1\) there exists a measurable set \(E\subset(0,1)\) with Lebesgue measure \(|E|> 1-\varepsilon\) such that for every function \(f(x)\in L^p(E)\) for some \(p\in [2,p_0]\), the series \(\sum c_k\varphi_k(x)\) can be rearranged so that the rearranged series \(\sum c_{\sigma(k)} \varphi_{\sigma(k)}(x)\) converges to \(f(x)\) in \(L^p(E)\)-norm.