Optimal extensions for $p$-th power factorable operators

TL;DR

This paper extends the understanding of $p$-th power factorable operators by identifying their optimal domain as an intersection of $L^p$ and $L^1$ spaces with respect to a vector measure, removing previous restrictions.

Contribution

It generalizes existing results by removing the assumption that the characteristic function of the entire measure space belongs to the domain, using $ ext{delta}$-rings to define the optimal domain.

Findings

The optimal domain for $p$-th power factorable operators is $L^p(m_T) igcap L^1(m_T)$.

The results apply to operators between sequence spaces defined by infinite matrices.

The generalization removes the restriction $oldsymbol{ ext{chi}_ ext{Omega} otin X( ext{mu})}$.

Abstract

Let $X(\mu)$ be a function space related to a measure space $(\Omega,\Sigma,\mu)$ with $\chi_\Omega\in X(\mu)$ and let $T\colon X(\mu)\to E$ be a Banach space valued operator. It is known that if $T$ is $p$-th power factorable then the largest function space to which $T$ can be extended preserving $p$-th power factorability is given by the space $L^p(m_T)$ of $p$-integrable functions with respect to $m_T$, where $m_T\colon\Sigma\to E$ is the vector measure associated to $T$ via $m_T(A)=T(\chi_A)$. In this paper we extend this result by removing the restriction $\chi_\Omega\in X(\mu)$. In this general case, by considering $m_T$ defined on a certain $\delta$-ring, we show that the optimal domain for $T$ is the space $L^p(m_T)\cap L^1(m_T)$. We apply the obtained results to the particular case when $T$ is a map between sequence spaces defined by an infinite matrix.