Interpolation of real method spaces via some ideals of operators

\((p,q)\)-summing operators abstract real method Banach lattice factorisation theorem of Graham Bennett Lions-Peetre spaces multiplicators quasi-Banach space quasi-norm quasi-normed lattices theorem of Ovchinnikov

Mathematics Subject Classification ID

Banach sequence spaces (46B45) Abstract interpolation of topological vector spaces (46M35) Operator ideals (47L20)

Review text

The main purpose of the paper under review is to extend a theorem of Ovchinnikov from the context of classical Lions-Peetre spaces to more general spaces generated by abstract real method spaces. First of all the authors introduce some new operator ideals, namely the ideal of \((F,E)\)-summing operators between Banach spaces. Here \(E\) and \(F\) are two quasi-Banach sequence lattices on \(Z\). Note that for \(E=\ell_{p}\) and \(F=\ell_{q}\) with \(1\leq p\leq q<\infty\), the ideal \(\Pi_{F,E}\) of all \((F,E)\)-summing operators, is the well-known ideal of \((q,p)\)-summing operators. Recall that if \(X\) and \(Y\) are quasi-normed lattices on a measure space \((\Omega,\mu)\), the space \(M(X,Y)\) of multiplicators from \(X\) into \(Y\) is the space of all mesurable functions \(x\in L^{0}(\mu)\) such that the associated multiplication operator \(X\ni y\to xy\) is bounded from \(X\) into \(Y\). The space \(M(X,Y)\) is equipped with the quasi-norm \[ \|x\|_{M(X,Y)}=\sup\{ \|xy\|_{Y}:\|y\|_{X}\leq 1\}. \] Now, a pair \(\overline{\Phi}=(\Phi_{0},\Phi_{1})\) of quasi-Banach sequence lattices on \(Z\) is called a parameter of the \({\mathcal J}\)-method if \(\Phi_{0}\cap \Phi_{1}\subset \ell_{1}.\) The \({\mathcal J}\)-method space \({\mathcal J}_{\overline{\Phi}}(\overline{X})={\mathcal J}_{\Phi_{0},\Phi_{1}}(\overline{X})\) consists of all \(x\in X_{0}+X_{1}\) which can be represented in the form \[ x=\sum_{n=-\infty}^{\infty}u_{n} \quad (\text{ convergence in }X_{0}+X_{1}) \] with \(u=\{u_{n}\}\in \Phi_{0}(X_{0})\cap \Phi_{1}(X_{1}).\) \({\mathcal J}_{\overline{\Phi}}(\overline{X})\) is a quasi-Banach space under the quasi-norm \[ \|x\|_{{\mathcal J}_{\overline{\Phi}}(\overline{X})}=\inf\max\{\|u\|_{\Phi_{0}(X_{0})},\|u\|_{\Phi_{1}(X_{1})}\}, \] where the infimum is taken over all representations as above. This is an extension of classical abstract \({\mathcal J}\)-spaces. In what follows for a given Banach lattice \(X\) the largest ideal consisting of all elements with order continuous norm will be denoted by \(X_{a}.\) Then the following result is proved quoted in the paper as Theorem 1.4. Theorem 1.4 Let \(\overline{\Phi}=(\Phi_{0},\Phi_{1})\) be a parameter of the \({\mathcal J}\)-method and let \(\overline{E},\overline{F}\) be pairs of Banach sequence lattices on \(Z\) so that \(M(E_j,F_{j})\subset M(E,\Phi_{j})\) for \(j=0,1\) and some quasi-Banach sequence lattice \(E\subset (E_{0}+E_{1})_{a}.\) If \(\overline{Y}\) is a Banach pair and \(T:\overline{E}\to \overline{Y}\) is an operator such that \(T:E_{j}\to F_{j}\) is \((F_{j},\ell_{j})\)-summing for \(j=0,1,\) then \(T\) is bounded from \(E\) into \({\mathcal J}_{\overline{\Phi}}(\overline{Y})\) and \[ \|T\|_{E\to {\mathcal J}_{\overline{\Phi}}(\overline{Y})}\leq C\max\{\pi_{F_{0},\ell_{1}}(T),\pi_{F_{1},\ell_{1}}(T)\}. \] The authors use the above theorem in order to prove their main result, Theorem 2.4 whose statement is too technical to be reproduced here. Theorem 2.4 extends a previous theorem of Ovchinnikov and how this can be obtained is shown in Theorem 2.5. In deriving this result a well-known factorisation theorem of Graham Bennett is used. Finally, in Theorem 3.4 a description of abstract \({\mathcal J}\)-method is given. I think that this paper is of interest for the specialists in interpolation theory.

Recommendations

Cited in

(12)

This page was built for publication: Interpolation of real method spaces via some ideals of operators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4700282)