Disjointly homogeneous Orlicz spaces revisited (Q2048657)

Disjointly homogeneous Banach lattices have been intensively studied recently. Let \(1\leq p\leq \infty\). Recall that a Banach lattice \(X\) is said\ to be \(p\)-disjointly homogeneous, shortly (\(p\)-\(DH\)) [restricted (\(p\)-\(DH\))] whenever each normalized disjoint sequence in \(X\) [each normalized sequence of characteristic functions of disjoint subsets] contains a subsequence equivalent in \(X\) to the unit vector basis of \(l_{p}\) (\(c_{0}\) when \(p=\infty\)). If the constant \(C>0\) in this equivalence can be chosen uniformly for all normalized disjoint sequences, then \(X\) is called uniformly (\(p\)-\(DH\)) or uniformly restricted (\(p\)-\(DH\)), respectively. Given an Orlicz function \(\Phi\), set \[ E_{\Phi}^{\infty}=\bigcap_{s>0}\overline{\left\{G(x) = \tfrac{\Phi (xy)}{\Phi (y)}:y>s\right\}}\text{ and }C_{\Phi}^{\infty}=\overline{\operatorname{conv} E_{\Phi}^{\infty}}, \] where \(\operatorname{conv} U\) is the convex hull of a set \(U\) and the closure is taken in the space \(C\left[ 0,1\right]\). Suppose \(\varphi\) is a function defined on \(\left[ 0,1\right]\). We write \(E_{\Phi}^{\infty}\cong \{\varphi\}\) provided each function \(H\in E_{\Phi}^{\infty}\) is equivalent to the function \(\varphi\) on the interval \((0,1]\). If the constant \(C>0\) in this equivalence can be chosen uniformly for all \(H\in E_{\Phi}^{\infty}\), then we write \(E_{\Phi}^{\infty}\equiv \{\varphi\}\). The conditions \(C_{\Phi}^{\infty}\cong \{\varphi\}\), \(C_{\Phi}^{\infty}\equiv \{\varphi\}\) we understand analogously. The aim of this paper is to study different \((DH)\) properties in Orlicz function spaces \(L_{F}\) over the interval \(\left[ 0,1\right]\). First, the author shows that there exists an Orlicz function \(\Phi\) such that \(C_{\Phi}^{\infty}\cong \{t\}\) and \(E_{\Phi}^{\infty}\not\equiv \{t\}\) (Proposition~1). Then it is proved that the Orlicz space \(L_{F}\) is restricted (\(p\)-\(DH\)) if and only if \(E_{F}^{\infty}\cong \{t^{p}\}\), \(1\leq p<\infty\) (Proposition~2). Moreover, the Orlicz space \(L_{F}\) is (\(p\)-\(DH\)) if and only if \(C_{F}^{\infty}\cong \{t^{p}\}\), \(1\leq p<\infty\) (Theorem~1). Next, for \(1\leq p<\infty\), the uniform (\(p\)-\(DH\)) and the uniform restricted (\(p\)-\(DH\)) properties are equivalent in \(L_{F}\) (Theorem~2) and each of them is equivalent to \(E_{F}^{\infty}\equiv \{t^{p}\}\) (\(C_{F}^{\infty}\equiv \{t^{p}\}\)). Further, the author characterizes (\(\infty \)-\(DH\)) and uniform (\(\infty \)-\(DH\)) properties which turn out to be equivalent (Corollary~3). Next, the author proves that the Orlicz space \(L_{F}\) is uniformly (\(1\)-\(DH\)) if and only if the Orlicz space \(L_{G}\) is uniformly (\(\infty \)-\(DH\)), where \(F,G\) are mutually Young conjugate Orlicz functions, which shows the duality of these properties (Theorem~3). On the other hand, the author shows the lack of duality for the (\(1\)-\(DH\)) property in the class of Orlicz spaces (Theorem~4). In Theorem~5, the reflexive case is studied (\(1<p<\infty\) and \(1/p+1/q=1\)), namely, it is proved, among other things, that \(L_{G}\) is (\(q\)-\(DH\)) if and only \(L_{F}\) is uniformly (\(p\)-\(DH\)).