Range kernel orthogonality of derivations (Q1970494)

For bounded linear operators \(A\), \(B\) on a separable infinite dimensional Hilbert space \(H\) the generalised derivation \(\delta_{A,B}\) is defined by the formula \(\delta_{A,B}(X)=AX-XB\) and the related derivation \(\triangle_{A,B}\) by \(\triangle_{A,B}(X)=AXB-X\). Let \(d_{A,B}\) denote either \(\delta_{A,B}\) or \(\triangle_{A,B}\). Let \({\mathcal C}_p\) \((1\leq p\leq\infty)\) denote the Schatten \(p\)-class and let \(\|X\|_p\) denote the corresponding \(p\)-norm of an operator \(X\). The result of the paper is the following Theorem: (i) If \(\ker d_{A,B}\subset \ker d_{A^\ast,B^\ast}\), then \[ \min\{\|d_{A,B}(X)+S\|,\|d_{A^\ast,B^\ast}(X)+S\|\} \geq\|S\| \] for all \(S\in\ker d_{A,B}\) and \(X\in B(H)\). (ii) Suppose that \(\ker d_{A,B}|{\mathcal C}_p\subset \ker d_{A^\ast,B^\ast} |{\mathcal C}_p\), \(1<p<\infty\). Let \(S\in{\mathcal C}_p\). Then \[ \|d_{A^\ast,B^\ast}(X)+S\|_p\geq\|S\|_p\quad \text{for all}\quad X\in{\mathcal C}_p \] if and only if \(S\in \ker d_{A,B}\). (iii) Let \(1<p<\infty\) and \(S\in{\mathcal C}_p\). Then \[ \min\{\|d_{A,B}(X)+S\|_p,\|d_{A^\ast,B^\ast}(X)+S\|_p\} \geq\|S\|_p\quad \text{for all}\quad X\in{\mathcal C}_p \] if and only if \(S\in\ker d_{A,B}\cap\ker d_{A^\ast,B^\ast}\).