 Research
 Open Access
 Published:
On local spectral properties of operator matrices
Journal of Inequalities and Applications volume 2021, Article number: 164 (2021)
Abstract
In this paper, we focus on a \(2 \times 2\) operator matrix \(T_{\epsilon _{k}}\) as follows:
where \(\epsilon _{k}\) is a positive sequence such that \(\lim_{k\rightarrow \infty }\epsilon _{k}=0\). We first explore how \(T_{\epsilon _{k}}\) has several local spectral properties such as the singlevalued extension property, the property \((\beta )\), and decomposable. We next study the relationship between some spectra of \(T_{\epsilon _{k}}\) and spectra of its diagonal entries, and find some hypotheses by which \(T_{\epsilon _{k}}\) satisfies Weyl’s theorem and aWeyl’s theorem. Finally, we give some conditions that such an operator matrix \(T_{\epsilon _{k}}\) has a nontrivial hyperinvariant subspace.
1 Introduction
Let \({\mathcal{L(H)}}\) denote the algebra of bounded linear operators on a separable Hilbert space \(\mathcal{H}\). Let \(\{T\}^{\prime }\), the commutant of T, be the collection of all bounded linear operators such that commute with T. A subspace \({\mathcal{G} }\subset {\mathcal{H}}\) is invariant for \(T\in {\mathcal{L}}({\mathcal{H}})\) if an inclusion \(T{\mathcal{G}}\subset {\mathcal{G}}\) holds, and is hyperinvariant for T if the inclusion \(S{\mathcal{G}}\subset {\mathcal{G}}\) holds for all \(S\in \{T\}^{\prime }\). The hyperinvariant subspace problem is asking whether every operator on a separable complex Hilbert space has a nontrivial hyperinvariant subspace. It has been known that this is one of unresolved problems in operator theory and it has attracted a lot of interest by many authors.
For the study of this problem, in 2011, H. J. Kim [8] proved that, if T=\left(\begin{array}{cc}{T}_{1}& {T}_{2}\\ 0& {T}_{3}\end{array}\right)\in \mathcal{L}(\mathcal{H}\oplus \mathcal{H}) where \(T_{1}, T_{2}\), and \(T_{3}\) are arbitrary operators in \({\mathcal{L}}({\mathcal{H}})\) such that \(T_{1}\) is either a compact operator with \(T_{1}\neq0\) or a normal operator with \(T_{1}\neq\lambda I\), then at least one of T and T̂, has a nontrivial hyperinvariant subspace where \stackrel{\u02c6}{T}=\left(\begin{array}{cc}{T}_{3}& {T}_{4}\\ 0& {T}_{1}\end{array}\right) for an arbitrary operator \(T_{4}\in {\mathcal{L}}({\mathcal{H}})\). In 2018, I. B. Jung, E. Ko, and C. Pearcy [7] showed if \(T_{1}\) and \(T_{3}\) are operators in \({\mathcal{L}}({\mathcal{H}})\) such that either \(T_{1}\) or \(T_{3}\) has a nontrivial hyperinvariant subspace, then T and T̂ have a nontrivial hyperinvariant subspace where \(T_{2}\) and \(T_{4}\) are any operators in \({\mathcal{L}}({\mathcal{H}})\). As mentioned in the above results, in the case of a \(2 \times 2\) upper triangular operator matrix, there are some known results, but in the case of a full \(2 \times 2\) operator matrix, it is very difficult to solve the invariant subspace problem. So, we focus on the matrix \(T_{\epsilon _{k}}\) as a variation of the \(2 \times 2\) upper triangular operator matrix and we study some conditions so that a \(2 \times 2\) operator matrix \(T_{\epsilon _{k}}\) has a nontrivial hyperinvariant subspace.
We now provide a simple outline of the paper. We first study the local spectral theory of operator matrices (cf. [3] and [9]). In particular, we consider the case when the \((2,1)\)entry of a \(2 \times 2\) operator matrix approaches zero. In addition, we give the relationship between some spectra of \(2\times 2\) operator matrices and spectra of their diagonal entries, and find some hypotheses by which such operator matrices \(T_{\epsilon _{k}}\) entail Weyl’s theorem and aWeyl’s theorem.
2 Preliminaries
We briefly review some notions of local spectral properties, which are used in this paper. We refer to [10] for more detailed information.
The operator \(T \in {\mathcal{{L}({H})}}\) has the singlevalued extension property if \(f(\lambda )\equiv 0\) is the unique solution to \((T\lambda )f(\lambda )\equiv 0\) on D for every open subset D of \({\mathbb{C}}\) and any \({\mathcal{H}}\)valued analytic function f on D. The local resolvent set \(\rho _{T}(x)\) of \(T\in {\mathcal{L}}({\mathcal{H}})\) at \(x \in {\mathcal{H}}\) is the union of all open subset D of \({\mathbb{C}}\) such that there is an analytic function \(f: D \rightarrow {\mathcal{H}}\) such that \((T\lambda )f(\lambda )\equiv x\) on D. The set \(\sigma _{T}(x) = \mathbb{C}\setminus \rho _{T}(x)\) is the local spectrum of T at x. The local spectral subspace of an operator \(T\in {\mathcal{L}}({\mathcal{H}})\) is given by \({H}_{T}(F) = \{x \in {\mathcal{H}}: \sigma _{T}(x) \subset F \}\) for any \(F\subset \mathbb{C}\). We say that \(T \in {\mathcal{{L}}}({\mathcal{{H}}})\) has Bishop’s property \((\beta )\) if every sequence \(\{f_{n}\}\) of \({\mathcal{{H}}}\)valued analytic functions on D for every open subset D of \(\mathbb{C}\) such that \((T\lambda )f_{n}(\lambda )\) converges uniformly to 0 in norm on compact subsets of D, it follows that \(f_{n}(\lambda )\) converges uniformly to 0 in norm on compact subsets of G. Notice that, if T has Bishop’s property \((\beta )\), then it has the singlevalued extension property. The operator \(T\in {\mathcal{L(H)}}\) is decomposable if for every open cover \(\{U,V\}\) of \(\mathbb{C}\) there are Tinvariant subspaces \(\mathcal{M}\) and \(\mathcal{N}\) such that
In general, it is known that T is decomposable if and only if T and its adjoint \(T^{\ast }\) possess property \((\beta ) \) [1, 10].
Now, we introduce some Weyl type theorems related to definitions of various spectra (see [12] for more details). For these, we first take a look at some notions needed in this paper. If \(T\in {\mathcal {L}(\mathcal{H})}\), we shall write \(\operatorname{ker}(T)\) (or \(N(T)\)) and \(\operatorname{ran}(T)\) (or \(R(T)\)) for the null space and the range of T, respectively. We know that the family \(\{\ker (T^{k})\}\) forms an ascending sequence of subspaces for \(T\in \mathcal{L}(\mathcal{H})\) and \(k \in \mathbb{N}\). So we call the ascent of T for the smallest nonnegative integer k for which \(\ker (T^{k}) = \ker (T^{k+1})\) holds. We also see that the family \(\{\operatorname{ran}(T^{k})\}\) forms a descending sequence for \(k \in \mathbb{N}\), and then the smallest nonnegative integer k for which \(\operatorname{ran}(T^{k}) = \operatorname{ran}(T^{k+1})\) is said the descent of T. An operator \(T\in {\mathcal{L}(\mathcal{H})}\) is called upper semiFredholm (resp., lower semiFredholm) if it has both finite dimensional kernel and closed range (resp., it has both finite dimensional cokernel and closed range). Either upper or lower semiFredholm operator \(T\in {\mathcal{L}(\mathcal{H})}\) is called semiFredholm, and its index is given by \(\operatorname{ind}(T):= \dim \ker (T)\dim \ker (T^{\ast })\). When both \(\dim \ker (T)\) and \(\dim \ker (T^{\ast })\) are finite, then T is called Fredholm. If \(T\in {\mathcal{L}(\mathcal{H})}\) is a Fredholm operator satisfying \(\mathrm{ind}(T)=0\), then it is called Weyl, and if T is a Fredholm operator with finite descent and ascent, then it is called Browder.
If \(T\in {\mathcal{L}(\mathcal{H})}\), we shall write \(\sigma _{p}(T)\), \(\sigma _{s}(T)\), \(\sigma _{a}(T)\), \(\sigma (T)\), \(\sigma _{e}(T)\), \(\sigma _{le}(T)\), and \(\sigma _{re}({T})\) the point spectrum, the surjective spectrum, the approximate point spectrum, the spectrum, the essential spectrum, the left essential spectrum, and the right essential spectrum the left essential spectrum of T, respectively. The Weyl spectrum \(\sigma _{w}(T):=\{\mu \in \mathbb{C}: T\mu I \text{ is not Weyl}\}\) and the Browder spectrum \(\sigma _{b}(T):=\{\mu \in \mathbb{C}: T\mu I \text{ is not Browder}\}\), where I is an identity operator on \(\mathcal{H}\). We write \({\mathcal{K}}(\mathcal{H})\) for the set of all compact operators on \({\mathcal{H}}\) and review another spectra as follows: the Weyl essential approximate point spectrum \(\sigma _{ea}(T):=\{\mu \in \mathbb{C}: T+C\mu I \text{ is not bounded below for all } C\in {\mathcal{K}}(\mathcal{H})\}\) and the Browder essential approximate point spectrum \(\sigma _{ab}(T):=\{\mu \in \mathbb{C}: T+C\mu I \text{ is not bounded below for all } C\in {\mathcal{K}}(\mathcal{H}) \text{ and } TC=CT \}\). Evidently, we get the inclusions
Let isoK be the collection of all isolated points of a complex subset K. We write \(\pi _{00}(T):= \{\lambda \in \operatorname{iso} \sigma (T):0<\dim \ker (T\lambda )<\infty \}\). And we denote \(p_{00}(T):=\sigma (T)\setminus \sigma _{b}(T)\) which is the collection of Riesz points of T. We say that Weyl’s theorem is obeyed for T provided \(\sigma (T)\setminus \sigma _{w}(T)=\pi _{00}(T)\), and that Browder’s theorem is obeyed for T provided \(\sigma (T)\setminus \sigma _{w}(T)=p_{00}(T)\), equivalently, if \(\sigma _{w}(T)=\sigma _{b}(T)\). We say that aWeyl’s theorem is obeyed for T provided \(\sigma _{a}(T)\setminus \sigma _{ea}(T)=\pi _{00}^{a}(T)\) and that aBrowder’s theorem is obeyed for T provided \(\sigma _{a}(T)\setminus \sigma _{ea}(T)=p_{00}^{a}(T)\), where \(\pi _{00}^{a}(T):= \{\lambda \in \operatorname{iso} \sigma _{a}(T):0< \dim \ker (T\lambda ) <\infty \}\) and \(p_{00}^{a}(T):=\sigma _{a}(T)\setminus \sigma _{ab}(T)\). Then it is well known that
3 Main results
In this section, we study \(2\times 2\) operator matrices. In particular, we consider the case when their \((2, 1)\)entry approaches zero. We begin our program with the following theorem.
Theorem 3.1
Let {T}_{{\u03f5}_{k}}=\left(\begin{array}{cc}A& C\\ {\u03f5}_{k}D& B\end{array}\right) where \(A,B,C,D\in {\mathcal{L}}({\mathcal{H}})\) and \(\{\epsilon _{k}\}\) is a positive sequence such that \(\lim_{k\rightarrow \infty }\epsilon _{k}=0\). Then the following statements hold.

(i)
If both A and B have the singlevalued extension property, then \(T_{\epsilon _{k}}\) has the singlevalued extension property.

(ii)
If \(T_{\epsilon _{k}}\) has the singlevalued extension property, \(BC=CB\), and C is nilpotent of order m, then B has the singlevalued extension property.
Proof
(i) Suppose that A and B have the singlevalued extension property. Let G be an open set in \(\mathbb{C}\) and let \(f: G \rightarrow {\mathcal{H}}\oplus {\mathcal{H}}\) be an analytic function with \(f=f_{1}\oplus f_{2}\) such that
Then
Therefore, we get
Since \(\(B\lambda )f_{2}(\lambda )\\leq \ \epsilon _{k} D f_{1}( \lambda )+ (B\lambda )f_{2}(\lambda )\+\epsilon _{k}\ D f_{1}( \lambda )\=\epsilon _{k}\ D f_{1}(\lambda )\\) and \(\lim_{k\rightarrow \infty }\epsilon _{k}=0\), \((B\lambda )f_{2}(\lambda )=0\). Moreover, since B has the singlevalued extension property, \(f_{2}(\lambda )=0\). From (2), we have
Since A has the singlevalued extension property, \(f_{1}(\lambda )=0\). Hence \(T_{\epsilon _{k}}\) has the singlevalued extension property.
(ii) Let \(T_{\epsilon _{k}}\) have the singlevalued extension property and \((B\lambda )f_{2}(\lambda )=0\) where \(f_{2}\) is an analytic function. Then
Since \(T_{\epsilon _{k}}\) has the singlevalued extension property, it follows from (3) that \(C^{m1}f_{2}(\lambda )=0\). Thus
Since \(T_{\epsilon _{k}}\) has the singlevalued extension property, \(C^{m2}f_{2}(\lambda )=0\). By induction, we have \(f_{2}(\lambda )=0\). Hence B has the singlevalued extension property. □
Corollary 3.2
Let {T}_{{\u03f5}_{k}}=\left(\begin{array}{cc}A& C\\ {\u03f5}_{k}D& B\end{array}\right) where \(A,B,C,D\in {\mathcal{L}}({\mathcal{H}})\) and \(\{\epsilon _{k}\}\) is a positive sequence such that \(\lim_{k\rightarrow \infty }\epsilon _{k}=0\). If A and B have the singlevalued extension property, then the following inclusions hold.

(i)
\(\sigma _{B}(x_{2})\subset \sigma _{T_{\epsilon _{k}}}(x_{1}\oplus x_{2})\) for all \(x_{1}, x_{2} \in \mathcal{H}\) and \(H_{T_{\epsilon _{k}}}(F)\subset {\mathcal{H}}\oplus H_{B}(F)\) for any subset F of \(\mathbb{C}\).

(ii)
\(\sigma _{A}(x_{1})\subset \sigma _{T_{\epsilon _{k}}}(x_{1}\oplus 0)\) for all \(x_{1} \in \mathcal{H}\).
Proof
(i) We know that \(T_{\epsilon _{k}}\) has the singlevalued extension property from Theorem 3.1. Let \(\lambda _{0}\notin \sigma _{T_{\epsilon _{k}}}(x_{1}\oplus x_{2})\) for all \(x_{1}, x_{2} \in \mathcal{H}\). Then there exists a neighborhood \(\mathcal{D}\) of \(\lambda _{0}\) and an analytic function \(f=f_{1}\oplus f_{2}: \mathcal{D}\rightarrow \mathcal{H}\oplus \mathcal{H}\) such that \((T_{\epsilon _{k}}\lambda )f(\lambda )=x_{1}\oplus x_{2}\) for every \(\lambda \in \mathcal{D}\). Then we have
Letting \(\epsilon _{k} \rightarrow 0\), \((B\lambda )f_{2}(\lambda )=x_{2}\). Hence \(\lambda _{0} \notin \sigma _{B}(x_{2})\) for all \(x_{2}\in \mathcal{H}\).
On the other hand, if \(x_{1}\oplus x_{2}\in H_{T_{\epsilon _{k}}}(F)\), then \(\sigma _{T_{\epsilon _{k}}}(x_{1}\oplus x_{2})\subset F\). Since
it follows from (i) that \({x_{2}}\in H_{B}(F)\). Thus \(x_{1}\oplus x_{2}\in {\mathcal{H}}\oplus H_{B}(F)\). Hence
for any subset F of \(\mathbb{C}\).
(ii) Let \(\lambda _{0} \in \rho _{T_{\epsilon _{k}}}(x_{1}\oplus 0)\) for all \(x_{1} \in \mathcal{H}\). Then there exists a neighborhood \(\mathcal{G}\) of \(\lambda _{0}\) and an analytic function \(f_{1}\oplus f_{2}: \mathcal{G}\rightarrow \mathcal{H}\oplus \mathcal{H}\) such that ({T}_{{\u03f5}_{k}}\lambda )\left(\begin{array}{c}{f}_{1}(\lambda )\\ {f}_{2}(\lambda )\end{array}\right)=\left(\begin{array}{c}{x}_{1}\\ 0\end{array}\right) for every \(\lambda \in \mathcal{G}\). Thus this implies that
Letting \(\epsilon _{k} \rightarrow 0\), we get \((B\lambda )f_{2}(\lambda )=0\). Since B has the singlevalued extension property, \(f_{2}(\lambda )=0\) for every \(\lambda \in \mathcal{G}\). Thus \((A\lambda )f_{1}(\lambda )=x_{1}\), and hence \(\lambda _{0} \in \rho _{A}(x_{1})\). Therefore \(\sigma _{A}(x_{1})\subset \sigma _{T_{\epsilon _{k}}}(x_{1}\oplus 0)\) for all \(x_{1} \in \mathcal{H}\). □
Example 3.3
In Corollary 3.2, if both A and B are substituted with the unilateral shift U on \(\ell ^{2}(\mathbb{N})\), then \(T_{\epsilon _{k}}\) has the singlevalued extension property on \(\ell ^{2}(\mathbb{N})\oplus \ell ^{2}(\mathbb{N})\). Furthermore, we get the following inclusions:
for all \(x_{1}, x_{2} \in \ell ^{2}(\mathbb{N})\).
We next investigate some relations among the spectra, the point spectra and the approximate point spectra of \(A,B\) and \(T_{\epsilon _{k}}\), respectively.
Theorem 3.4
Let {T}_{{\u03f5}_{k}}=\left(\begin{array}{cc}A& C\\ {\u03f5}_{k}D& B\end{array}\right) where \(A,B,C,D\in {\mathcal{L}}({\mathcal{H}})\) and \(\{\epsilon _{k}\}\) is a positive sequence such that \(\lim_{k\rightarrow \infty }\epsilon _{k}=0\).

(i)
If both A and B have the singlevalued extension property, then
$$\begin{aligned} {\sigma (A)\cup \sigma (B)=\sigma (T_{\epsilon _{k}}) \quad\textit{and}\quad \sigma _{p}(A)\cup \sigma _{p}(B)=\sigma _{p}(T_{\epsilon _{k}})}. \end{aligned}$$ 
(ii)
If both \(A^{\ast }\) and \(B^{\ast }\) have the singlevalued extension property, then
$$\begin{aligned} {\sigma _{a}(A)\cup \sigma _{a}(B)=\sigma _{a}(T_{\epsilon _{k}}).} \end{aligned}$$
Proof
(i) From Theorem 3.1, we know that \(T_{\epsilon _{k}}\) has the singlevalued extension property. Since \(\sigma _{B}(x_{2})\subset \sigma _{T_{\epsilon _{k}}}(x_{1} \oplus x_{2})\) from Corollary 3.2, we have
Since \(\sigma _{A}(x_{1})\subset \sigma _{T_{\epsilon _{k}}}(x_{1} \oplus 0)\) for all \(x_{1}\in \mathcal{H}\), we get
For the converse, we suppose that \(\gamma \notin \sigma (A)\cup \sigma (B)\). If {lim}_{n\to \mathrm{\infty}}\parallel ({T}_{{\u03f5}_{k}}\gamma )\left(\begin{array}{c}{x}_{n}\\ {y}_{n}\end{array}\right)\parallel =0, then
Since \(B\gamma \) is invertible,
Then \(\limsup_{n\rightarrow \infty }\y_{n}\\leq \epsilon _{k}\D\\(B \gamma )^{1} \(\limsup_{n\rightarrow \infty }\x_{n}\)\). Taking \(\lim_{k\rightarrow \infty }\epsilon _{k}=0\), we have \(\limsup_{n\rightarrow \infty }\y_{n}\=0\) and so
From (5), \(\lim_{n\rightarrow \infty }\(A\gamma )x_{n}\=0\). Since \(A\gamma \) is invertible, \({\lim_{n\rightarrow \infty }}\x_{n}\=0\). Therefore, \(T_{\epsilon _{k}}\gamma \) is bounded below. If {({T}_{{\u03f5}_{k}}\gamma )}^{\ast}\left(\begin{array}{c}x\\ y\end{array}\right)=\left(\begin{array}{c}0\\ 0\end{array}\right), then
Since \(\lim_{k\rightarrow \infty }\epsilon _{k}=0\), we have \((A^{\ast }\overline{\gamma })x=0\). Since \(A^{\ast }\overline{\gamma }\) is invertible, \(x=0\) and so \((B^{\ast }\overline{\gamma })y=0\). Since \(B^{\ast }\overline{\gamma }\) is invertible, \(y=0\). Thus \(\ker (T_{\epsilon _{k}}\gamma )^{\ast }=\{0\}\) and so \(\operatorname{ran}(T_{\epsilon _{k}}\gamma )\) is dense in \({\mathcal{H}}\oplus {\mathcal{H}}\). Hence \(T_{\epsilon _{k}}\gamma \) is invertible. So \(\gamma \notin \sigma (T_{\epsilon _{k}})\). Consequently, the first equation is established. Moreover, if A has the singlevalued extension property, then it is well known that the surjective spectrum \(\sigma _{s}(A)\) of A identifies with the spectrum of A (see [10]), so that \(\sigma _{p}(A)=\sigma (A)\setminus \sigma _{s}(A)=\emptyset \). Similarly, \(\sigma _{p}(B)=\emptyset \). Hence \(\sigma _{p}(A)\cup \sigma _{p}(B)=\emptyset \subset \sigma _{p}(T_{ \epsilon _{k}})\). Since \(T_{\epsilon _{k}}\) has the singlevalued extension property by Theorem 3.1, we have \(\sigma _{p}(T_{\epsilon _{k}})=\sigma (T_{\epsilon _{k}})\setminus \sigma _{s}(T_{\epsilon _{k}})=\emptyset \). From these arguments, the second equality trivially holds.
(ii) Suppose that both \(A^{\ast }\) and \(B^{\ast }\) have the singlevalued extension property. Then we can prove that \(T_{\epsilon _{k}}^{\ast }\) also has the singlevalued extension property using a similar method from the proof of Theorem 3.1. It is known that \(\sigma _{a}(T)=\sigma (T)\) provided \(T^{\ast }\) has the singlevalued extension property for every \(T\in \mathcal{L}(\mathcal{H})\). This means that the equality \(\sigma _{a}(A)\cup \sigma _{a}(B)=\sigma _{a}(T_{\epsilon _{k}})\) holds by (i). □
It is well known that, if A and B have the property \((\beta )\), then \left(\begin{array}{cc}A& C\\ 0& B\end{array}\right) has the property \((\beta )\) without any conditions. However, \(2\times 2\) operator matrices which their all entries are nonzero, in addition, their \((2, 1)\)entries are either μI for some nonzero constant μ, or \(\epsilon _{k} I\) for a positive sequence \(\{\epsilon _{k}\}\) with \(\lim_{k\rightarrow \infty }\epsilon _{k} =0\) may not have the property \((\beta )\) even though their diagonal entries have the property \((\beta )\) (see (8)). We now study the property \((\beta )\) and decomposability of such a \(2 \times 2\) operator matrix \(T_{\epsilon _{k}}\).
Theorem 3.5
Let {T}_{{\u03f5}_{k}}=\left(\begin{array}{cc}A& C\\ {\u03f5}_{k}D& B\end{array}\right) where \(A,B,C,D\in {\mathcal{L}}({\mathcal{H}})\) and \(\{\epsilon _{k}\}\) is a positive sequence such that \(\lim_{k\rightarrow \infty }\epsilon _{k}=0\). If \(\sup_{n} \f_{n,1}\_{K}<\infty \) whenever
then the following statements hold.

(i)
If A and B have the property \((\beta )\), then \(T_{\epsilon _{k}}\) has the property \((\beta )\).

(ii)
If A and B are decomposable, then \(T_{\epsilon _{k}}\) is decomposable.
Proof
(i) Suppose that A and B have the property \((\beta )\). Let G be an open set in \(\mathbb{C}\) and let \(f_{n}: G \rightarrow {\mathcal{H}}\oplus {\mathcal{H}}\) be a sequence of analytic functions with \(f_{n}=f_{n,1}\oplus f_{n,2}\) such that
for every compact set K in G, where \(\f\_{K}=\sup_{\lambda \in K}{\f(\lambda )\}\) for an \({\mathcal{H}}\oplus {\mathcal{H}}\)valued function \(f(\lambda )\). Then
Therefore, we get
We observe that
From (8), we get
Since \(\sup_{n} \f_{n,1}\_{K}<\infty \), letting \(\epsilon _{k}\rightarrow 0\),
and so \({\lim_{n\rightarrow \infty }}\ (B\lambda )f_{n, 2}(\lambda )\_{K}=0\). Moreover, since B has the property \((\beta )\), \(\lim_{n\rightarrow \infty }\ f_{n,2}(\lambda )\_{K}=0\). From (8), we have
Since A has the property \((\beta )\), \(\lim_{n\rightarrow \infty }\f_{n,1}(\lambda )\_{K}=0\). Thus
Hence \(T_{\epsilon _{k}}\) has the property \((\beta )\).
(ii) If A and B are decomposable, then \(A, A^{\ast }, B\), and \(B^{\ast }\) have the property \((\beta )\). Since A and B have the property \((\beta )\), it follows from (1) that \(T_{\epsilon _{k}}\) has the property \((\beta )\). Note that {T}_{{\u03f5}_{k}}^{\ast}=\left(\begin{array}{cc}{A}^{\ast}& {\u03f5}_{k}{D}^{\ast}\\ {C}^{\ast}& {B}^{\ast}\end{array}\right) and \left(\begin{array}{cc}0& I\\ I& 0\end{array}\right)\left(\begin{array}{cc}{B}^{\ast}& {C}^{\ast}\\ {\u03f5}_{k}{D}^{\ast}& {A}^{\ast}\end{array}\right)\left(\begin{array}{cc}0& I\\ I& 0\end{array}\right)={T}_{{\u03f5}_{k}}^{\ast}. Since \(A^{\ast }\) and \(B^{\ast }\) also have property \((\beta )\), it follows from (i) that \left(\begin{array}{cc}{B}^{\ast}& {C}^{\ast}\\ {\u03f5}_{k}{D}^{\ast}& {A}^{\ast}\end{array}\right) has the property \((\beta )\). Since \left(\begin{array}{cc}{B}^{\ast}& {C}^{\ast}\\ {\u03f5}_{k}{D}^{\ast}& {A}^{\ast}\end{array}\right) is unitarily equivalent to \(T_{\epsilon _{k}}^{\ast }\), we see that \(T_{\epsilon _{k}}^{\ast }\) has the property \((\beta )\). Therefore \(T_{\epsilon _{k}}\) is decomposable. □
From these arguments for some local spectral properties of the operator matrices \(T_{\epsilon _{k}}\), we get more corollaries.
Corollary 3.6
Let {T}_{{\u03f5}_{k}}=\left(\begin{array}{cc}A& C\\ {\u03f5}_{k}D& B\end{array}\right) where \(A,B,C,D\in {\mathcal{L}}({\mathcal{H}})\) and \(\{\epsilon _{k}\}\) is a positive sequence such that \(\lim_{k\rightarrow \infty }\epsilon _{k}=0\). If \(\sup_{n} \f_{n,1}\_{K}<\infty \) whenever (6), then the following statements are satisfied.

(i)
If A and B have the property \((\beta )\) and \(\sigma (T_{\epsilon _{k}})\) has nonempty interior, then \(T_{\epsilon _{k}}\) has a nontrivial invariant subspace.

(ii)
If A and B are hyponormal, then \(T_{\epsilon _{k}}\) has the property \((\beta )\).

(iii)
If A and B are compact or normal, then \(T_{\epsilon _{k}}\) is decomposable.
Proof
(i) If A and B have the property \((\beta )\), then it follows from Theorem 3.5 that \(T_{\epsilon _{k}}\) has the property \((\beta )\). Since \(\sigma (T_{\epsilon _{k}})\) has nonempty interior, \(T_{\epsilon _{k}}\) has a nontrivial invariant subspace by [5, Theorem 2.1].
(ii) If A and B are hyponormal, then they are subscalar by [14], and so it is known that they have the property \((\beta )\). Hence it is obvious that \(T_{\epsilon _{k}}\) has the property \((\beta )\) from Theorem 3.5.
(iii) Since A and B are compact or normal, then they are decomposable (see [10]) and this implies from Theorem 3.5 that \(T_{\epsilon _{k}}\) is also decomposable. □
From [2], if {T}_{{\u03f5}_{k}}=\left(\begin{array}{cc}A& C\\ {\u03f5}_{k}D& B\end{array}\right) on \(\mathcal{H}\oplus \mathcal{H}\) and \(R(C)\) is closed, then we have the following matrix representation:
which maps from \(\mathcal{H}\oplus \mathcal{H} = \mathcal{H}\oplus N(C)\oplus N(C)^{ \perp }\) into \(\mathcal{H}\oplus \mathcal{H} =R(C)^{\perp }\oplus R(C)\oplus { \mathcal{H}}\) where \(C_{1}=C_{N(C)^{\perp }}\), \(A_{1}=P_{R(C)^{\perp }}A\), \(A_{2}=P_{R(C)}A\), \(B_{1}=B_{N(C)}\) and \(B_{2}=B_{N(C)^{\perp }}\). Here, \(P_{N(C)}\) (resp. \(P_{N(C){^{\perp }}}\)) denotes the projection of \({\mathcal{K}}\) onto \(N(C)\) (resp. \(N(C)^{\perp }\)). We now study the next theorem in the sense of the representation (9) and mention that a sequence \(\{\epsilon _{k}\}\) need not converge to 0.
Theorem 3.7
Let {T}_{{\u03f5}_{k}}=\left(\begin{array}{cc}A& C\\ {\u03f5}_{k}D& B\end{array}\right) where \(\{\epsilon _{k}\}\) is a bounded sequence and \(R(C)\) is closed. Suppose that \(A_{1}=P_{R(C)^{\perp }}A_{\mathcal{H}}\) and \(B_{1}=B_{N(C)}\). If \(A_{1}\) has the property \((\beta )\) and \(B_{1}\) is decomposable, then \(T_{\epsilon _{k}}\) is decomposable. Moreover, if 0 is not an eigenvalue of \(C^{\ast }\), then \(T_{\epsilon _{k}}\) is decomposable if and only if \(B_{1}\) is decomposable.
Proof
Since \(B_{1}\) is decomposable, both \(B_{1}\) and \({B_{1}}^{\ast }\) have the property \((\beta )\). Moreover, \(A_{1}\) has the property \((\beta )\), thus \(T_{\epsilon _{k}}\) and its adjoint operator have the property \((\beta )\) from [3, Theorem 3.3]. Therefore \(T_{\epsilon _{k}}\) is decomposable. On the other hand, if \(T_{\epsilon _{k}}\) is decomposable, then \(T_{\epsilon _{k}}\) and its adjoint operator have the property \((\beta )\). Thus, by [3, Theorem 3.3], both \(B_{1}\) and \({B_{1}}^{\ast }\) have the property \((\beta )\). Hence \(B_{1}\) is decomposable. The converse implication holds by a similar method. □
Corollary 3.8
Let {T}_{{\u03f5}_{k}}=\left(\begin{array}{cc}A& C\\ {\u03f5}_{k}D& B\end{array}\right) where \(\{\epsilon _{k}\}\) is a bounded sequence. If \(C= \epsilon _{k} I\) and A is selfadjoint, then \(T_{\epsilon _{k}}\) is decomposable.
Proof
Since A is selfadjoint, so is \(A_{1}=P_{R(C)^{\perp }}A_{\mathcal{H}}\). Thus it has the property \((\beta )\). Since \(\{\epsilon _{k}\}\) is a bounded sequence, \(B_{1}=B_{N(C)}\) is decomposable, so it follows from Theorem 3.7 that \(T_{\epsilon _{k}}\) is decomposable. □
Example 3.9
Let {T}_{{\u03f5}_{k}}=\left(\begin{array}{cc}A& {U}^{\ast}\\ {\u03f5}_{k}D& B\end{array}\right) on \(\ell ^{2}(\mathbb{N})\oplus \ell ^{2}(\mathbb{N})\) where \(\{\epsilon _{k}\}\) is a bounded sequence and U is the unilateral shift given by \(Ue_{n}=e_{n+1}\) on \(\ell ^{2}({\mathbb{N}})\) for \(n\in {\mathbb{N}}\). Then \(B_{1}=B_{N(U)}\) is decomposable and this is equivalent to \(T_{\epsilon _{k}}\) being decomposable by Theorem 3.7.
Now, we address Weyl type theorems for \(T_{\epsilon _{k}}\). We start with the following lemma.
Lemma 3.10
Let {T}_{{\u03f5}_{k}}=\left(\begin{array}{cc}A& C\\ {\u03f5}_{k}D& B\end{array}\right) where \(A,B,C, {D}\in {\mathcal{L}}({\mathcal{H}})\) and \(\{\epsilon _{k}\}\) is a positive sequence such that \(\lim_{k\rightarrow \infty }\epsilon _{k}=0\). Assume that A and B have the singlevalued extension property. Then (a)Browder’s theorem holds for \(T_{\epsilon _{k}}\).
Proof
By Theorem 3.1, we know that \(T_{\epsilon _{k}}\) has the singlevalued extension property. Then it is obvious that \(\sigma _{w}(T_{\epsilon _{k}})=\sigma _{b}(T_{\epsilon _{k}})\) and \(\sigma _{ea}(T_{\epsilon _{k}})=\sigma _{ab}(T_{\epsilon _{k}})\) (see [1]). Hence this means that (a)Browder’s theorem holds for \(T_{\epsilon _{k}}\). □
Theorem 3.11
Let {T}_{{\u03f5}_{k}}=\left(\begin{array}{cc}A& C\\ {\u03f5}_{k}D& B\end{array}\right) where \(A,B,C, {D}\in {\mathcal{L}}({\mathcal{H}})\) and \(\{\epsilon _{k}\}\) is a positive sequence such that \(\lim_{k\rightarrow \infty }\epsilon _{k}=0\). Suppose that Weyl’s theorem holds for A and B. Then the following statements hold.

(i)
If A and B have the singlevalued extension property, then Weyl’s theorem holds for \(T_{\epsilon _{k}}\).

(ii)
If \(A^{\ast }\) and \(B^{\ast }\) have the singlevalued extension property, then aWeyl’s theorem holds for \(T_{\epsilon _{k}}\).
Proof
(i) If A and B have the singlevalued extension property, then it follows from Lemma 3.10 that \(\sigma (T_{\epsilon _{k}})\setminus \sigma _{w}(T_{\epsilon _{k}})=p_{00}(T_{ \epsilon _{k}})\subseteq \pi _{00}(T_{\epsilon _{k}})\). To show the reverse, we suppose that \(0\in \pi _{00}(T_{\epsilon _{k}})\) without loss of generality. It follows from Theorem 3.4 that
Since Weyl’s theorem holds for both A and B, we have \(0\notin \sigma _{w}(A)\cup \sigma _{w}(B)\). Set {T}_{0}:=\left(\begin{array}{cc}A& C\\ 0& B\end{array}\right). Then \(T_{0}\) is Weyl by [11, Lemma 3]. This implies from [13, Theorem 1] that, if \(T_{\epsilon _{k}}\rightarrow T_{0}\) in norm, then \(\limsup_{k\rightarrow \infty }\sigma _{w}(T_{\epsilon _{k}})\subset \sigma _{w}(T_{0})\). Hence \(0\notin \limsup_{k\rightarrow \infty }\sigma _{w}(T_{\epsilon _{k}})\). So there exists \(\delta _{1}>0\) such that, for \(\mu \in D(0, \frac{\delta _{1}}{2})\), open disc with center 0 and radius \(\frac{\delta _{1}}{2}\), such that \(T_{\epsilon _{k}}\mu I\) is Weyl. Since Weyl operators form an open set, there exists \(\delta _{2}>0\) such that \(\T_{\epsilon _{k}}\mu IT_{0}\<\frac{\delta _{2}}{2}\). We choose \(\delta:=\min \{\delta _{1}, \delta _{2} \}>0\). Then
Therefore \(T_{\epsilon _{k}}\) is Weyl but is not invertible. Consequently, Weyl’s theorem holds for \(T_{\epsilon _{k}}\).
(ii) By Lemma 3.10, we have \(\sigma _{a}(T_{\epsilon _{k}})\setminus \sigma _{ea}(T_{\epsilon _{k}})=p_{00}^{a}(T_{ \epsilon _{k}})\subseteq \pi _{00}^{a}(T_{\epsilon _{k}})\). We now suppose that \(0\in \pi _{00}^{a}(T_{\epsilon _{k}})\). From Theorem 3.4, we get
It is known that \(\sigma (S)=\sigma _{a}(S)\) and \(\sigma _{w}(S)=\sigma _{ea}(S)\) provided \(S^{\ast }\in \mathcal{L}(\mathcal{H})\) has the singlevalued extension property by [1]. On the other hand, \(A^{\ast }\) and \(B^{\ast }\) have the singlevalued extension property, and satisfy Weyl’s theorem. This implies that \(0\notin \sigma _{w}(A)\cup \sigma _{w}(B)\). Then \(T_{0}\) is Weyl. Hence we get \(0\notin \limsup_{k\rightarrow \infty }\sigma _{w}(T_{\epsilon _{k}})\), so that \(0\in \sigma _{a}(T_{\epsilon _{k}})\setminus \sigma _{ea}(T_{ \epsilon _{k}})\). Therefore aWeyl’s theorem holds for \(T_{\epsilon _{k}}\). □
We say that \(T\in \mathcal{L}(\mathcal{H})\) is normal if \(T^{\ast }T= TT^{\ast }\), hyponormal if \(T^{\ast }T\geq TT^{\ast }\), algebraically hyponormal if there exists a nonconstant polynomial p such that \(p(T)\) is hyponormal, respectively. It is known that normal operators imply hyponormal operators, and hyponormal operators imply algebraically hyponormal operators. From these notions, we have the following corollary.
Corollary 3.12
Let {T}_{{\u03f5}_{k}}=\left(\begin{array}{cc}A& C\\ {\u03f5}_{k}D& B\end{array}\right) where \(A,B,C,{D}\in {\mathcal{L}}({\mathcal{H}})\) and \(\{\epsilon _{k}\}\) is a positive sequence such that \(\lim_{k\rightarrow \infty }\epsilon _{k}=0\).

(i)
If A and B are normal, then aWeyl’s theorem holds for \(T_{\epsilon _{k}}\),

(ii)
If A and B are algebraically hyponormal, then Weyl’s theorem holds for \(T_{\epsilon _{k}}\).
Proof
(i) It is obvious that normal operators are decomposable by [10]. So if A and B are normal, then their adjoint operators have the singlevalued extension property. Moreover, A and B are hyponormal, hence it follows from [4] that they satisfy Weyl’s theorem. Consequently, this means that aWeyl’s theorem holds for \(T_{\epsilon _{k}}\) from Theorem 3.11.
(ii) If A and B are algebraically hyponormal, then so are their translation, and then it follows from [6, Lemma 1] that \(A\lambda I\) and \(B\lambda I\) have finite ascent for all complex number λ, so that they have the singlevalued extension property. On the other hand, Weyl’s theorem holds for both A and B from [6, Corollary 4]. Thus this implies from Theorem 3.11 that \(T_{\epsilon _{k}}\) satisfies Weyl’s theorem. □
Finally, we study \(2\times 2\) operator matrices
where γ is any scalar in \({\mathbb{C}}\). Let \(\{T_{\gamma }\}^{\prime }\) be the collection of operators commuting with \(T_{\gamma }\) as follows:
and let
We recall that a transitive subalgebra of \(\mathcal{L}(\mathcal{H})\) has the property that it has no nontrivial invariant subspace.
Theorem 3.13
Let {T}_{{\u03f5}_{k}}=\left(\begin{array}{cc}A& C\\ {\u03f5}_{k}I& B\end{array}\right) where \(A,B,C\in {\mathcal{L}}({\mathcal{H}})\) and \(\{\epsilon _{k}\}\) is a positive sequence such that \(\lim_{k\rightarrow \infty }\epsilon _{k}=0\) and there is \(X\in {\mathcal{L}}({\mathcal{H}})\) such that \(AX=XB\). If there exists a nontrivial hyperinvariant subspace \({\mathcal{N}}\) for B such that \({\mathcal{N}}\not \subset \ker X\), then \(S\in \{T_{\epsilon _{k}}\}^{\prime }_{0}\) has a nontrivial invariant subspace.
Proof
Assume that there exists a nontrivial hyperinvariant subspace \({\mathcal{N}}\) for B such that \({\mathcal{N}}\not \subset \ker X\). Let \(S\in \{T_{\epsilon _{n}}\}^{\prime }_{0}\). Then we put S=\left(\begin{array}{cc}{L}_{\sigma}& {M}_{\sigma}\\ {N}_{\sigma}& {P}_{\sigma}\end{array}\right) where \(\sigma \in \Sigma \text{ and } \sup_{\sigma \in \Sigma }\ L_{ \sigma } P_{\sigma }\<\infty \). Since \(S\in \{T_{\epsilon _{n}}\}^{\prime }_{0}\), we get
Then we have \(BN_{\sigma }N_{\sigma }A={\epsilon _{n}}( P_{\sigma }L_{\sigma })\) and so
Since \(\lim_{n\rightarrow \infty }\epsilon _{n}=0\), \(BN_{\sigma }=N_{\sigma }A\) for \(\sigma \in \Sigma \). Hence \(BN_{\sigma }X=N_{\sigma }AX=N_{\sigma }XB\) for \(\sigma \in \Sigma \). So \(N_{\sigma }X{\mathcal{N}}\subset {\mathcal{N}}\) for \(\sigma \in \Sigma \). On the other hand, assume, to obtain a contradiction, that \(\{T_{\epsilon _{n}}\}^{\prime }_{0}\) is transitive. Then, for arbitrary \(z\in \mathcal{H}\), it follows from [7, Proposition 2.2] and the hypothesis that there exist \(\sigma _{0}\in \Sigma \) and \(y\in \mathcal{N}\) with \(Xy\neq 0\) such that, for every \(\epsilon >0\),
which means that \(\overline{\{{\mathcal{N}}_{\sigma }Xy: \sigma \in \Sigma \}}={ \mathcal{H}}\) for some \(\sigma _{0}\in \Sigma \). But this is a contradiction from \(N_{\sigma }Xy\in {\mathcal{N}}\) for all \(\sigma \in \Sigma \). Hence \(\{T_{\epsilon _{n}}\}^{\prime }_{0}\) is not transitive. Thus \(S\in \{T_{\epsilon _{n}}\}^{\prime }_{0}\) has nontrivial invariant subspace. □
We easily see that there exists a nontrivial hyperinvariant subspace \({\mathcal{N}}\) for B such that \({\mathcal{N}}\nsubseteq \ker X\) as the following example.
Example 3.14
Let \(N\in {\mathcal{L}}({\mathcal{H}})\) be a normal operator with \(N\neq\lambda I\) for \(\lambda \in {\mathbb{C}}\). Consider an operator matrix \left(\begin{array}{cc}N& C\\ {\u03f5}_{k}I& N\end{array}\right) and \(\{\epsilon _{k}\}\) is a positive sequence such that \(\lim_{k\rightarrow \infty }\epsilon _{k}=0\). Then there exists a nontrivial hyperinvariant subspace \({\mathcal{N}}\) for N but \({\mathcal{N}}\nsubseteq \ker I\). Hence S\in {\left\{\left(\begin{array}{cc}N& C\\ {\u03f5}_{k}I& N\end{array}\right)\right\}}_{0}^{\prime} has a nontrivial invariant subspace by Theorem 3.13.
Corollary 3.15
Let {T}_{{\delta}_{k}}=\left(\begin{array}{cc}A& {\delta}_{k}I\\ Z& B\end{array}\right) where \(A,B,Z\in {\mathcal{L}}({\mathcal{H}})\) and \(\delta _{k}\) is a positive sequence such that \(\lim_{n\rightarrow \infty }\delta _{k}=0\) and there is \(X\in {\mathcal{L}}({\mathcal{H}})\) such that \(BX=XA\). If there exists a nontrivial hyperinvariant subspace \({\mathcal{M}}\) for A such that \({\mathcal{M}}\not \subset \ker X\), then \(S\in \{T_{\delta _{k}}\}^{\prime }_{0}\) has nontrivial invariant subspace.
Proof
Set {R}_{{\delta}_{k}}=\left(\begin{array}{cc}B& Z\\ {\delta}_{k}I& A\end{array}\right). Since \left(\begin{array}{cc}0& I\\ I& 0\end{array}\right){R}_{{\delta}_{k}}\left(\begin{array}{cc}0& I\\ I& 0\end{array}\right)={T}_{{\delta}_{k}}, \(R_{{\delta }_{k}}\) and \(T_{{\delta }_{k}}\) are unitarily equivalent. Since \(W\in \{ R_{{\delta }_{k}}\}^{\prime }_{0}\) has a nontrivial invariant subspace by Theorem 3.13,
Thus \left(\begin{array}{cc}0& I\\ I& 0\end{array}\right)W\left(\begin{array}{cc}0& I\\ I& 0\end{array}\right)\in {\{{T}_{{\delta}_{k}}\}}^{\prime}. Since \(W\in \{ R_{{\delta }_{k}}\}^{\prime }_{0}\),
Since \(W\in \{ R_{{\delta }_{k}}\}^{\prime }_{0}\) has a nontrivial invariant subspace, we conclude that
has a nontrivial invariant subspace. □
Availability of data and materials
No data were used to support this study.
References
Aiena, P.: Fredholm and Local Spectral Theory with Applications to Multipliers. Kluwer Academic, Dordrecht (2004)
Alatancang, Hou, G., Hai, G.: Perturbation of spectra for a class of \(2 \times 2\) operator matrices. Acta Math. Appl. Sin. 28, 711–720 (2012)
An, I.J., Ko, E., Lee, J.E.: Properties of operator matrices. J. Korean Math. Soc. 57(4), 893–913 (2020)
Coburn, L.A.: Weylâ s theorem for nonnormal operators. Mich. Math. J. 13, 285–288 (1966)
Eschmeier, J.: Invariant subspaces for operators with Bishop’s property \((\beta )\) and thick spectrum. J. Funct. Anal. 94, 196–222 (1990)
Han, Y.M., Lee, W.Y.: Weyl’s theorem holds for algebraically hyponormal operators. Proc. Am. Math. Soc. 128(8), 2291–2296 (2000)
Jung, I.B., Ko, E., Pearcy, C.: Hyperinvariant subspaces for some \(2\times 2\) operator matrices. Kyungpook Math. J. 58(3), 489–494 (2018)
Kim, H.J.: Hyperinvariant subspaces for operators having a normal part. Oper. Matrices 5, 487–494 (2011)
Ko, E.: Local spectral property of \(2\times 2\) operator matrices. Filomat 33(7), 1845–1854 (2019)
Laursen, K., Neumann, M.: An Introduction to Local Spectral Theory. Clarendon Press, Oxford (2000)
Lee, W.Y.: Weyl spectra of operator matrices. Proc. Am. Math. Soc. 129, 131–138 (2000)
Lee, W.Y.: Lecture Notes on Operator Theory. Seoul National University, Seoul (2010)
Oberai, K.K.: On the Weyl spectrum. Ill. J. Math. 18, 208–212 (1974)
Putinar, M.: Hyponormal operators are subscalar. J. Oper. Theory 12, 385–395 (1984)
Acknowledgements
The authors would like to thank the referee for his/her valuable comments, which helped to improve the paper.
Funding
Il Ju An was supported by the National Research Foundation of Korea (NRF) grant funded by the Korea government (MSIT) (2020R1A2C1A01006036). Eungil Ko was supported by the National Research Foundation of Korea (NRF) grant funded by the Korea government (MSIT) (2019R1F1A1058633) and the Ministry of Education (2019R1A6A1A11051177). Ji Eun Lee was supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology (2019R1A2C1002653).
Author information
Authors and Affiliations
Contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
An, I.J., Ko, E. & Lee, J.E. On local spectral properties of operator matrices. J Inequal Appl 2021, 164 (2021). https://doi.org/10.1186/s13660021026976
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660021026976
MSC
 47A10
 47A11
 47A15
 47A53
Keywords
 \(2\times 2\) operator matrices
 Hyperinvariant subspace
 The singlevalued extension property
 The property \((\beta )\)
 Decomposable
 Weyl’s theorem