Fourier--Rademacher coefficients of functions in rearrangement-invariant spaces (Q5932615)

Let \(\{w_k\}^{\infty}_{k = 1}\) be a uniformly bounded orthonormal system of functions on the interval \([0,1]\). Given a function \(x\in L_1[0,1]\), denote its Fourier coefficients with respect to this system by \(c_k\). The rearrangement-invariant spaces (RISs) are considered. Let \(N(u) = e^{u^2} - 1\), let \(L_N\) be the Orlicz space constructed for this function, and let \(G\) be the closure of \(L_{\infty}\) in \(L_N\). The aim of the article is to obtain as more information as possible on the Fourier-Rademacher coefficients of the functions in an RIS. The author shows that if a rearrangement-invariant set \(X\) is contained in \(G'\) then the corresponding space of Fourier-Rademacher coefficients is \(F(X) = l_2\), and establishes that the surjectivity relations \(F(L_1) = c_0\), \(F(G') = l_2\) can be interpolated for spaces intermediate between \(G'\) and \(L_1\). The main results of the article are as follows: Theorem 1. Suppose that \(X\) is a separable interpolation RIS with respect to the pair \((G',L_1)\) such that \(X = (G',L_1)_E^{{\mathcal K}}\). Then the corresponding space \(F(X)\) of Fourier-Rademacher coefficients coincides with the separable space \[ R = (l_2,c_0)_E^{{\mathcal K}}. \] Theorem 2. Suppose that \(R\) is a separable Banach space of sequences which is an interpolation space with respect to the pair \((l_2,c_0)\) and satisfies the relation \(R = (l_2,c_2)_E^{{\mathcal K}}\). Then the equality \(F(X) = R\) holds for every separable RIS \(X\) satisfying \(X = (G',L_1)_E^{{\mathcal K}}\). Theorem 3. Suppose that \(X_0\) and \(X_1\) are separable interpolation RISs on \([0,1]\) with respect to the pair \((G',L_1)\). If the corresponding spaces \(F(X_0)\) and \(F(X_1)\) of Fourier-Rademacher coefficients coincide then \(X_0 = X_1\) and their norms are equivalent.