The \(K_ t\)-functional for the interpolation couple \(L_ 1(A_ 0), L_{\infty}(A_ 1)\) (Q1801572)

Let \(A_ 0\), \(A_ 1\) be a compatible couple of Banach spaces (in the sense of interpolation theory) let \((\Omega,{\mathcal A},\mu)\) be a measure space and let \(L_ 1(\mu,A_ 0)\), \(L_ \infty (\mu,A_ 0)\) be the Banach spaces of vector valued functions in the sense of Bochner. The main theorem of the paper states that if \(f\in L_ 1(\mu,A_ 0)+ L_ \infty(\mu, A_ 1)\) then for all \(t>0\) \[ K_ t (f; L_ 1(\mu; A_ 0), L_ \infty(\mu, A_ 1))= \sup_{\int\varphi d\mu\leq t} \int K_{\varphi(w)} (f(w); A_ 0,A_ 1)d\mu (w), \] where the supremum is taken over all those non-negative measurable functions \(\varphi\) defined on \(\Omega\) which satisfy the condition \(\int \varphi d\mu\leq t\). From a corollary to this theorem one can derive ``in a rather transparent way'' results of Lions and Peetre on interpolation between vector valued \(L_ p\) spaces; for example \[ (L_ 1 (\Omega,{\mathcal A},\mu; A_ 0), L_ \infty (\Omega,{\mathcal A},\mu; A_ 1))_{\theta, p}= L_ p (\Omega,{\mathcal A},\mu; (A_ 0,A_ 1)_{\theta,p}). \] There is a discussion of further applications, in particular to embedding theorems, of the theorem and its consequences.