Exact constant in Simonenko's theorem on an envelope of a family of operators of local type (Q1091583)

Let X be a compact space with measure and L is some Banach function space on X. A linear operator \(A:L\to L\) is said to be an operator of local type if for every two closed \(F_ 1,F_ 2\subset X\), \(F_ 1\cap F_ 2=\emptyset\), the operator \(P_{F_ 1}AP_{F_ 2}\) is compact (where \(P_ F\) is the multiplication operator by the indicator of F). Following I. Simonenko let us consider \[ \|| A\|| =\inf \{\| A+T\|: T\text{ is compact}\}, \] \[ q(x)=\inf \{\|| P_ uA\||: u=u(x)\text{ is vicinity of }x\}. \] Simonenko's theorem says that if X has dimension r then for every operator of local type in \(L^ p\) \((1\leq p<\infty)\) the inequality \(\|| A\|| \leq (r+1)\sup_{x}q(x)\) is valid. The following theorem improves this result in two ways: the precise equality is obtained and the general class of spaces is considered. Theorem 1. Let L be a Banach function space with following property: for every two Borel sets \(M_ 1,M_ 2\), \(M_ 1\cap M_ 2=\emptyset\), and every two operators \(A,B:L\to L\) we have \(\| P_{M_ 1}AP_{M_ 1}+P_{M_ 2}BP_{M_ 2}\| \leq \max (\| A\|,\| B\|)\) (note that all \(L^ p\), \(1\leq p\leq \infty\), have this property). Then \(\|| A\|| =\sup_{x}q(x).\) The idea of proof is presented. Some applications to singular integral operators are obtained.