On smooth local resolvents (Q2464697)

Let \(T\) be a continuous linear operator on a complex Banach space \(X\) with the spectrum \(\sigma(T)\). Given \(0 \neq x \in X\) and a set \(U \supseteq \mathbb C \setminus \sigma(T)\), a function \(f: U \to X\) such that \((T - z I) f(z) = x\) for each \(z \in U\), where \(I\) is the identity of \(X\), is called a local resolvent of \(T\) at \(x\). Clearly, every such function is uniquely defined for all \(z \in \mathbb C \setminus \sigma(T)\) by \(f(z) = (T - zI)^{-1} x\). Although \(\| (T - zI)^{-1}\| \) is unbounded on \(\mathbb C \setminus \sigma(T)\), a local resolvent can be bounded. The main result of the paper asserts that there exist a Banach space \(X\), a continuous linear operator \(T\) on \(X\), a nonzero vector \(x \in X\) and a \(C^\infty\)-function \(f: \mathbb C \to X\) such that \((T - z I) f(z) = x\) for each \(z \in \mathbb C\) (a function \(f: \mathbb C \to X\), which is considered as a function of two variables, is called a \(C^\infty\)-function provided it has mixed partial derivatives of all orders with respect to both variables).