Conditional multipliers and essential norm of \(uC_\varphi\) between \(L^p\) spaces (Q967198)

Let \((X,\Sigma,\mu)\) be a \(\sigma\)-finite measure space. The space of \(\Sigma\)-measurable functions on \(X\) is denoted by \(L^0(\Sigma)\), and if \(\leq p<\infty\), then \(L^p(\Sigma)\) denotes \(\{[f]:\| [f]\|_p=\| p\|_p< \infty\}\), where \([f]\) is the equivalence class of functions which differ from \(f\) on sets of measure \(0\), and for \(1\leq p\leq\infty\), \(\|\cdot\|_p\) is the \(L^p\)-norm. In the paper, \({\mathcal A}\subseteq\Sigma\) denotes a complete \(\sigma\)-finite sub-algebra of \(\Sigma\), and the operator \(E^{\mathcal A}=E\) is said to be a conditional expectation operator if for \(f\geq 0\), \(f\in L^p(\Sigma)\), \(E(f)\) is \({\mathcal A}\)-measurable and \(\int_{\mathcal A}E(f)\,d\mu= \int_{\mathcal A}f\,d\mu\), whenever the integrals are finite. If \(1\leq p,q<\infty\), then the set of conditional multipliers \(K_{p,q}= K_{p,q}({\mathcal A},\Sigma)\) is defined to be \(\{u\in L^0(\Sigma): uL^p({\mathcal A})\subseteq L^q(\Sigma)\}\), \(M_u: L^p({\mathcal A})\to L^q(\Sigma)\) denotes the multiplication operator \(M_u(f)= uf\), and if \(\varphi: X\to X\) is a non-singular measurable transformation with measure \(u\circ\varphi^{-1}\) which is absolutely continuous with respect to \(\mu\), the derivative \(d(p\circ\varphi^{-1})/d\mu\) is denoted by \(h\). If \(C_\varphi\) denotes the composition operator, \(C_\varphi(f)(x)= f\circ\varphi(x)= f(\varphi(x))\), then \(K^\varphi_{p,q}\) is defined to be \(\{u\in L^0(\Sigma): u\text{\,Range}(C_\varphi)\subseteq L^q(\Sigma)\}\), and \[ \| uC_\varphi f\|^q_q= \int_X S|f|^q\,d\mu, \] \(1\leq q<\infty\), where \(S= hE^{\varphi^{-1}}(\Sigma)/(E^{\mathcal A}(|u|^q))\circ\varphi^{-1}\). The results of this paper include: {\parindent=7mm \begin{itemize}\item[(1)] \((K_{p,q}, \|\cdot\|_{p, q})\) is a Banach space, where \(\| u\|_{p,q}=\| E(|u|^q)^{1/q}\|_r\), if \(1\leq q\leq p\) and \(1/r= (1/q)-(1/p)\), and \(\| u\|_{p,q}= \{\sup_n E(|u|^q)(A_n)/\mu(A_n)^{1/r}\}\), if \(1\leq p\leq q\), \(1/r= (1/p)- (1/q)\), and \(\{A_n\}\) is a countable set of pairwise disjoint \({\mathcal A}\)-atoms such that \(X=B\cup(\bigcup A_n)\); \item[(2)] characterizations indicating that \(u\in K^\varphi_{p,q}\) if and only if \(S\in L^{1/(1-(q(p))}(\Sigma)\), where \(1\leq q\leq p\); \(u\in K^\varphi_{p,q}\) if and only \(S= 0\) a.e on \(B\) and \(\sup_n\{S(A_n)/\mu(A_n)^{(q(p))-1}\}< \infty\), where \(1\leq p\leq q\). \end{itemize}}