No label defined (Q4400749)

If \(x(t)\) is a measurable function on \([0,1]\), we denote by \(x^*(t)\) the decreasing rearrangement of \(| x(t)|\). A Banach space \(E\) on \([0,1]\) is said to be rearrangement invariant if \(y\in E\) and \(x^*\leq y^*\) imply that \(x\in E\) and \(\| x\|_E\leq\| y\|_E\). Let \(M(t)\) be a concave even function on \((-\infty,+\infty)\), \(M(0)= 0\). The space of all functions \(x\) on \([0,1]\) such that \[ \| x\|_{L_M}:= \inf\Biggl\{\lambda: \lambda>0,\;\int^1_0 M\Biggl({| x(t)|\over\lambda}\Biggr) dt\leq 1\Biggr\}< \infty \] is called the Orlicz space \(L_M\). Given functions \(x_1,\dots, x_n\) on \([0,1]\), we define \[ C(x_1,\dots, x_n)(t)= | x_k(nt- k+1)| \] for \({k-1\over n}< t<{k\over n}\). We say that an rearrangement invariant space \(E\) is \({\mathcal D}\)-convex if there exists a constant \(c>0\) such that \[ \| C(x_1,\dots, x_n)\|\leq c \sup_{1\leq k\leq n}\| x_k\|_E \] and that \(E\) is \({\mathcal D}^*\)-convex if there exists a constant \(c>0\) such that \[ \| C(x_1,\dots, x_n)\|\geq c^{-1} \inf_{1\leq k\leq n}\| x_k\|_E. \] A result of the paper is the following theorem. Theorem 23. Suppose that \(E\) is \({\mathcal D}\)-convex and \({\mathcal D}^*\)-convex. Then there exists an increasing function \(M:[0,+\infty)\to [0,+\infty)\) such that \(E\) is equivalent to \(L_M\). For the entire collection see [Zbl 0997.00561].