Fuglede-Putnam type theorems via the Aluthge transform

Norms (inequalities, more than one norm, etc.) of linear operators (47A30) Hermitian and normal operators (spectral measures, functional calculus, etc.) (47B15) Subnormal operators, hyponormal operators, etc. (47B20)

Abstract: Let

A = U | A |

and

B = V | B |

be the polar decompositions of

A i n m a t h b b B (m a t h s c r H_{1})

and

B i n m a t h b b B (m a t h s c r H_{2})

and let

C o m (A, B)

stand for the set of operators

X i n m a t h b b B (m a t h s c r H_{2}, m a t h s c r H_{1})

such that

A X = X B

. A pair

(A, B)

is said to have the FP-property if

C o m (A, B) s u b s e t e q C o m (A^{a} s t, B^{a} s t)

. Let

i l d e C

denote the Aluthge transform of a bounded linear operator

C

. We show that (i) if

A

and

B

are invertible and

(A, B)

has the FP-property, then so is

(i l d e A, i l d e B)

; (ii) if

A

and

B

are invertible, the spectrums of both

U

and

V

are contained in some open semicircle and

(i l d e A, i l d e B)

has the FP-property, then so is

(A, B)

; (iii) if

(A, B)

has the FP-property, then

C o m (A, B) s u b s e t e q C o m (i l d e A, i l d e B)

, moreover, if

A

is invertible, then

C o m (A, B) = C o m (i l d e A, i l d e B)

. Finally, if

R e (U | A |^{1 o v e r 2}) g e q a > 0

and

R e (V | B |^{1 o v e r 2}) g e q a > 0

and

X

is an operator such that

U^{*} X = X V

, then we prove that

| i l d e A^{*} X - X i l d e B |_{p} g e q 2 a |, | B |^{1 o v e r 2} X - X | B |^{1 o v e r 2} |_{p}

for any

1 l e q p l e q i n f t y

.

Review text

Let \(\mathcal{H}\) be a complex Hilbert space and \(\mathbb{B}(\mathcal{H})\) be the set of all bounded linear operators on \(\mathcal{H}\). For \(A, B\in \mathbb{B}(\mathcal{H})\), define \(\text{Com} (A,B)=\{ X\in \mathbb{B}(\mathcal{H}): AX=XB\}\). A pair \((A,B)\) is said to have the FP-property if \(\text{Com}(A,B)\subseteq \text{Com}(A^{*},B^{*})\). The authors discuss relations between \(\text{Com}(A,B)\) and \(\text{Com}(\tilde{A}, \tilde{B})\), where \(\tilde{T}\) is the Aluthge transform of an operator \(T\). In fact, the authors obtain that (i) for invertible \(A,B\), if \((A,B)\) has the FP-property, then so does \((\tilde{A}, \tilde{B})\); (ii) if \((A,B)\) has the FP-property, then \(\text{Com}(A,B)\subseteq \text{Com}(\tilde{A}, \tilde{B})\), especially, if \(A\) is invertible and \((A,B)\) has the FP-property, then \(\text{Com}(A,B) = \text{Com}(\tilde{A}, \tilde{B})\). Lastly, the authors obtain that \[ \| \tilde{A}^{*}X-X\tilde{B}\|_{p}\geq 2a \| |A|^{\frac{1}{2}}X-X|B|^{\frac{1}{2}}\|_{p} \] for \(A,B,X\in \mathbb{B}(\mathcal{H})\), \(1\leq p\leq \infty\), \(a>0\), under some conditions on \(A,B\).

Recommendations

Cites work

Cited in

(18)

This page was built for publication: Fuglede-Putnam type theorems via the Aluthge transform

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2377412)