Polynomially compact derivations on Banach algebras
We consider a continuous derivation D on a Banach algebra 𝓐 such that p(D) is a compact operator for some polynomial p. It is shown that either 𝓐 has a nonzero finite-dimensional ideal not contained in the radical rad(𝓐) of 𝓐 or there exists another polynomial p̃ such that p̃(D) maps 𝓐 into rad(𝓐). A special case where Dⁿ is compact is discussed in greater detail.