The k_t--functional for the interpolation couple L^\infty(dμ;L^1(dν)), L^\infty(dν;L^1(dμ))

Abstract

Let $(M,μ)$ and $(N,ν)$ be measure spaces. In this paper, we study the $K_t$--\,functional for the couple $$A_0=L^\infty(dμ\,; L^1(dν))\,,~~A_1=L^\infty(dν\,; L^1(dμ))\,. $$ Here, and in what follows the vector valued $L^p$--\,spaces $L^p(dμ\,; L^q(dν))$ are meant in Bochner's sense. One of our main results is the following, which can be viewed as a refinement of a lemma due to Varopoulos [V]. \proclaim Theorem 0.1. Let $(A_0,A_1)$ be as above. Then for all $f$ in $A_0+A_1$ we have $${1\over 2}\,K_t(f;\,A_0\,,A_1)\leq \sup\,\bigg\{ \Big(μ(E)\vee t^{-1}ν(F)\Big)^{-1} \int_{E\times F} \vert f\vert\,dμ\,dν\,\bigg\} \leq K_t(f;\,A_0\,,A_1)\,,$$ where the supremum runs over all measurable subsets $E\subset M\,,~ F\subset N$ with positive and finite measure and $u\!\vee\!v$ denotes the maximum of the reals $u$ and $v$.