CLASSES OF OPERATOR-SMOOTH FUNCTIONS. III. STABLE FUNCTIONS AND FUGLEDE IDEALS
The present paper concludes a three-part series of articles concerning operator-smooth functions [for part 1, reviewed above, see ibid., 151--173 (2005; Zbl 1065.47010); part 2 appeared in: Integral Equations Oper. Theory 49, No. 2, 165--210 (2004; Zbl 1061.47013)]. For a Hilbert space \(H\), let \(B(H)\) denote the algebra of all linear bounded operators on \(H\). A two-sided ideal \(J\) of \(B(H)\) is said to be symmetrically normed (s.n., in short) if there is a norm \(\| \cdot \| _J\) on it such that \(\| AXB\| _J \leq \| A\| \, \| X\| _J \, \| B\| \) for each \(A,B \in B(H)\) and \(X \in J\), and with \(\| Y\| _J = \| Y\| \) for rank-one operators \(Y \in J\). Let \(\alpha \subseteq \mathbb C\) be a compact set and suppose that a continuous function \(g\) on \(\alpha\) acts on a s.n. ideal \(J\), i.e., \(g(A) \in J\) for each \(A \in J_{nor}(\alpha)\), where \(J_{nor}(\alpha)\) means the set of all normal operators \(A \in B(H)\) with \(\text{Sp}(A) \subseteq \alpha\). A continuous function \(g\) on \(\alpha\) is called: (1) \(J\)-Lipschitzian on \(\alpha\) if there is a \(D > 0\) such that \(g(A) - g(B) \in J\) and \(\| g(A) - g(B) \| _J \leq D \, \| A - B\| _J \) for all \(A,B \in J_{nor}(\alpha)\). The set of all \(J\)-Lipschitzian functions is denoted by \(J-\text{ Lip}(\alpha)\); (2) commutator \(J\)-bounded on \(\alpha\) if there is a \(D > 0\) such that \(g(A)X - Xg(A) \in J\) and \(\| g(A)X - Xg(A) \| _J \leq D \, \| AX - XA\| _J\) for all \(A \in J_{nor}(\alpha)\) and \(X \in B(H)\). The set of all commutator \(J\)-bounded functions is denoted by \(J-\text{CB}(\alpha)\). Earlier, the authors proved that \(J-\text{CB}(\alpha) \subseteq J-\text{Lip}(\alpha)\) for each \(\alpha\) and \(J\). A set \(\alpha\) is called \(J\)-Fuglede if \(J-\text{CB}(\alpha) = J-\text{Lip}(\alpha)\) (or, equivalently, if the function \(g(z) = \overline{z}\) is commutator \(J\)-bounded). If all compact subsets of \(\mathbb C\) are \(J\)-Fuglede (or, equivalently, so is the unit disc), then \(J\) is called a Fuglede ideal. Extending some known results, the authors prove that if the Boyd indices of \(J\) belong to \((1, +\infty)\), then \(J\) is Fuglede. They answer whether some classical ideals are Fuglede. Then the property of a function to be \(J\)-Lipschitzian is compared with the property of \(J\)-stability (a function \(g\) on \(\alpha\) is called to be \(J\)-stable if \(g(A) - g(B) \in J\) for all \(A,B \in J_{nor}(\alpha)\) with \(A - B \in J\)). The reader will find some further interesting results.
- Classes of operator-smooth functions. II: Operator-differentiable functions
- Inequalities for generalized derivations of operator monotone functions in norm ideals of compact operators
- CLASSES OF OPERATOR-SMOOTH FUNCTIONS. I. OPERATOR-LIPSCHITZ FUNCTIONS
- Functions acting on symmetrically normed ideals and on the domains of derivations on these ideals
- Bernstein functions of several semigroup generators on Banach spaces under bounded perturbations
- Fuglede commutations modulo Lorentz ideals
- Functions of normal operators under perturbations
- Functions of operators under perturbations of class \(S_p\)
This page was built for publication: CLASSES OF OPERATOR-SMOOTH FUNCTIONS. III. STABLE FUNCTIONS AND FUGLEDE IDEALS
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4669927)
