Interpolation of weighted Orlicz-valued function spaces (Q1317561)

Let \(E\) be a Banach space, let \((E_ 0, E_ 1)\) be a `Banach couple', and let \(\rho\) be a function parameter which is defined as a `little more than concave'. If \(1 \leq p < \infty\), then the interpolation space \((E_ 0, E_ 1)_{\rho,p}\) is defined to be a subset of \(E_ 0 + E_ 1\) such that each of its elements \(f\) has norm \(\| f \|_ X = \max_{k = 0,1}. \sup_ F. \| \sum_{n \in F} F_ n (\cdot) {2^{kn} \over \rho(2^ n)} f_ n \|_{X_ 0}\), \(X = (E_ 0, E_ 1)_{\rho, p}\), where \(X_ 0 = L^ p((0,1), E_ k)\), \(F\) is a set of positive integers, \(F_ n\), \(n = 0,1,2,3, \dots,\) are defined in terms of Rademacher functions, and \(\| g \|_{X_ 0} = (\int^ 1_ 0 \| g(t) \|^ p_ E dt)^{1/p}\). If \((\Omega, {\mathcal A}, \mu)\) is a \(\sigma\)-finite measure space, \(\varphi\) is an Orlicz function, so that \(\varphi\) is nondecreasing, convex on \((0,\infty)\), and \(\varphi (0) = 0\), and if \(w:\Omega \to R\) is a real-valued function on \(\Omega\), then \(L^ \varphi_{(w)} (E)\) is defined to be \(\{f : \| wf \|_{L^ \varphi (E)} < \infty\}\), where \(\| f \|_{ L^ \varphi (E)}\) is the Luxemburg norm on the Orlicz space \(L^ \varphi (E)\). In the main results of this paper, the author shows that (i) \((L^ \varphi_{(w)} (E_ 0)\), \(L^ \varphi_{(w)} (E_ 1))_{\rho,p} = L^ \varphi_{(w)} ((E_ 0, E_ 1)_{\rho,p})\); (ii) \((L^{\varphi_ 0}_{(w)} (E)\), \(L^{\varphi_ 1}_{(w)} (E))_{\rho,p} = L^ \varphi_{(w)} (E)\), \(\rho(t) = t^ \theta\), where \(\varphi^{-1} = (\varphi_ 0^{-1})^{1-\theta} (\varphi^{- 1}_ 1)^ \theta\), \(E = (E_ 0,E_ 1)_{\rho,p}\); (iii) \(( L^ \varphi_{ (w_ 0)} (E)\), \(L^ \varphi_{(w_ 1)} (E))_{\rho,p} = L^ \varphi_{(w)} (E)\), \(w = w^{1-\theta}_ 0 w^ \theta_ 1\), \(\rho(t) = t^ \theta\). The special cases of results (i)--(iii) in which the Orlicz spaces are \(L^ p\)-spaces are indicated as having been considered by \textit{J. Gustavsson} [Stud. Math. 72, 237-251 (1982; Zbl 0497.46051)].