On the relation between compactness and structure of certain operators on spaces of analytic functions (Q2764623)

Let \(\mathcal B\) be a Banach space of analytic functions on the unit disc \(\mathbf D\) such that the polynomials are (contained and) dense in \(\mathcal B\); \(M_z\mathcal B\subset\mathcal B\), where \(M_z\) is the operator of multiplication by the independent variable~\(z\); the evaluations functionals are continuous on~\(\mathcal B\); for each complex number \(\epsilon\) of unit modulus, \(f(z) \mapsto f(\epsilon z)\) is a bounded operator on~\(\mathcal B\); and for each \(n\geq 1\) and \(j=0,\dots,n-1\), the projection onto the closed linear span of \(\{z^{kn+j}: k\geq 0\}\) is continuous on~\(\mathcal B\). The authors study bounded operators \(S\) on \(\mathcal B\) such that \(M_{z^n}S=SM_{z^n}\), or \(M_{z^n}S=-SM_{z^n}\), for some positive integer~\(n\).NEWLINENEWLINENEWLINEHere are two examples of the results obtained:NEWLINENEWLINENEWLINESuppose \(n\) is odd and \(SM_{z^n}=-M_{z^n}S\). Then \(S\) is of the form \(Sf(z)=\phi(z)f(-z)\) (*) for some multiplier \(\phi\) of \(\mathcal B\) if and only if \(SM_z+M_zS\) is compact; and \(S=0\) if and only if \(SM_z-M_zS\) is compact (Theorems 2.3 and~2.5).NEWLINENEWLINENEWLINESuppose \(n\) is a positive integer and \(SM_{z^n}=M_{z^n}S\). Then \(S=M_\phi\) for some multiplier \(\phi\) of \(\mathcal B\) if and only if \(SM_z-M_zS\) is compact; and \(SM_z+M_zS\) is compact if and only if \(S=0\) and \(n\) is odd, or \(S\) is of the form (*) and \(n\) is even (Theorems 2.7 and~2.9).