Abstract
In this article, we prove two versions of the spectral theorem for quaternionic compact normal operators, namely the series representation and the resolution of identity form. Though the series representation form already appeared in [5], we prove this by using simultaneous diagonalization. Whereas the resolution of identity is new in the literature for the quaternion case, we prove this by associating a complex linear operator to the given right linear operator and applying the classical result. In this process we prove some spectral properties of compact operators parallel to the classical theory. We also establish the singular value decomposition of a compact operator.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and preliminaries
The spectral theorem for quaternionic compact normal operators on right quaternionic Hilbert space was recently proved by Ghiloni et al. [6], in which the authors established the left multiplication to prove the series representation of such operators [6, Theorem 1.4].
We prove two versions of the spectral theorem. The first version is the series representation of quaternionic compact normal operator and the second version is the resolution of identity form. First we observe that spherical point spectrum of self-adjoint operator coincides with classical definition of point spectrum. This helps us to prove the series representation of quaternionic compact self-adjoint operators. Using the cartesian decomposition and simultaneous diagonalization, we prove the series representation for quaternionic compact normal operators. This approach is similar to the classical one. Moreover, we prove several important spectral properties of quaternionic compact operators. We, then prove the singular value decomposition theorem similar to the classical result. In proving these, we establish several results related to compact operators which are similar to the classical case.
Next, we establish the resolution of identity for the quaternionic compact normal operators. This is a new result in this paper. In this case, we associate a complex linear operator to the given operator and use the classical result to get the representation for the complex linear operator and lift this result to the given operator.
Throughout, we consider right eigenvalues for the operators. The concept of right eigenvalues of quaternion matrices is discussed in [1] with topological approach. Brenner and Lee proved that every n- dimensional quaternion matrix have exactly n-complex right eigenvalues with nonnegative imaginary parts (See [2, 8] for details). Such eigenvalues are known as standard eigenvalues. The spectral theorem for quaternion matrices is proved in [3].
We prove that a quaternionic compact normal operator has series representation. We observe that the standard eigenvalues are enough to describe the spectral properties of the operator. This generalizes the result of Brenner and Lee.
We organize this article into four sections. In the first section we recall some of the basic properties of quaternions, definitions, properties of compact operators on quaternionic Hilbert spaces.
In the second section we discuss the spectral theorem for quaternionic compact self-adjoint operators, singular value decomposition and the simultaneous diagonalization.
In the third section, the spectral theorem for quaternionic compact normal operator is proved by using the cartesian decomposition.
In the final section, the resolution of identity on quaternionic Hilbert space is given.
1.1 Quaternions
Let i, j, k be three vectors that satisfy \(i^{2}= j^{2}=k^{2} = -1 = i\cdot j \cdot k.\) Let \( \mathbb {H} = \{q = q_{0} + q_{1}i+q_{2}j+q_{3}k : q_{n} \in \mathbb {R}, \; n = 0, 1, 2, 3\}\) denote the division ring (skew field) of all real quaternions. The conjugate of q is \( \overline{q} = q_{0}-q_{1}i-q_{2}j-q_{3}k.\) The real part of \(\mathbb {H}\) is denoted by Re(\(\mathbb {H}) = \{ q \in \mathbb {H} : q = \overline{q}\}\) and the imaginary part of \(\mathbb {H}\) is denoted by Im(\(\mathbb {H}) = \left\{ q \in \mathbb {H} : q = -\overline{q}\right\} .\) The set \( \mathbb {S}:= \left\{ q \in \text{Im}(\mathbb {H}): |q| = 1 \right\} \) is the unit sphere in Im(\(\mathbb {H}\)). Here we list out some of the properties of quaternions, which we need later.
-
1.
For \(p,q \in \mathbb {H}, \ \overline{p.q} = \overline{q}. \overline{p}\) and \( |q| := \sqrt{q_{0}^{2}+q_{1}^{2}+q_{2}^{2}+q_{3}^{2}}.\)
-
2.
\(|p.q| = |p|.|q|\) and \(|\overline{p}| = |p|.\)
-
3.
For \(p,q \in \mathbb {H}\) define \(p \sim q\) if and only if \( p = s^{-1}qs, \) for some \( s \ne 0 \in \mathbb {H}.\) This is an equivalence relation and the equivalence class of p is \( [p]:= \{s^{-1}ps : 0 \ne s \in \mathbb{H}\}.\)
-
4.
For each \(m \in \mathbb {S},\) define \(\mathbb {C}_{m}: =\left\{ \alpha + m \beta : \alpha , \beta \in \mathbb {R} \right\} , \) a real sub algebra of \(\mathbb {H}\ (\)It is also called as slice complex plane).
-
5.
Let \(m,n \in \mathbb {S}\). If \(m \ne \pm {n}\), then \(\mathbb {C}_{m} \cap \mathbb {C}_{n} = \mathbb {R}\). In fact, \(\mathbb {H} = \bigcup \nolimits _{m \in \mathbb {S}} \mathbb {C}_{m}.\)
Let H be a right \( \mathbb {H}\)-module with the map \( \langle \cdot | \cdot \rangle :H \times H \rightarrow \mathbb {H}\) satisfying the following three properties:
-
1.
If \(x \in H,\) then \(\langle x | x\rangle \ge 0\) and \(\langle x|x \rangle = 0\) if and only if \(x = 0.\)
-
2.
\(\langle x | yp+zq\rangle = \langle x| y \rangle p + \langle x | z\rangle q, \) if \(x,y,z\in H\) and \(p,q \in \mathbb {H} .\)
-
3.
\(\langle x | y\rangle = \overline{\langle y | x\rangle }, {\text{for all}} \,x,y \in H. \)
Define \( \Vert x \Vert = \sqrt{\left\langle x | x \right\rangle }, \) for every \( x \in H.\) If the normed space \( (H, \Vert \cdot \Vert ) \) is complete, then we call H, a right quaternionic Hilbert space.
Let \( x_{1}, x_{2}, x_{3} \ldots x_{n} \) be vectors in H. Then the \( \mathbb {H}\)-linear span is denoted by \( \text{span}_{\mathbb {H}}\{x_{1}, x_{2}, x_{3} \ldots x_{n}\} \) and it is defined as
Let S be a subset of H. Then the orthogonal complement of S is denoted by \(S^{\bot }\) and is defined as
Throughout this article \(\mathbb {H}\) denotes the division ring of quaternions and H refers to be the right quaternionic Hilbert space.
Proposition 1.1
Let \( \{ \phi _{n}: n\in \mathbb {N} \} \) be an orthonormal basis for H. Then the following are equivalent:
-
1.
For \(x,y \in H.\) The series
$$\begin{aligned} \langle x | y \rangle = \sum _{n\in \mathbb {N}} \langle x | \phi _{n}\rangle \cdot \langle \phi _{n} | y\rangle \end{aligned}$$converges absolutely in \(\mathbb {H}.\)
-
2.
For every \(x \in H,\) we have
$$\begin{aligned} \Vert x\Vert ^{2} = \sum _{n\in \mathbb {N}} | \langle x | \phi _{n}\rangle |^{2} \end{aligned}$$ -
3.
\( ({\text{span}_{\mathbb {H}}}\{\phi _{n} : n\in \mathbb {N} \})^{\bot } = \{0\}. \)
Definition 1.2
[5, Definition 2.9] A map \(T :H \rightarrow H \) is said to be a right \(\mathbb {H}\)-linear operator or quaternionic linear if \(T(x.q + y) = Tx.q + Ty, \) for every \(x,y \in H\) and \(q \in \mathbb {H}.\) We say that T is bounded (or continuous), if there exists \(k>0\) such that \(\Vert Tx\Vert \le k \Vert x\Vert ,\) for all \(x \in H.\) If T is bounded, then
is finite and is called the norm of T.
We denote the set of all bounded right linear operators between \(H_{1}\) and \(H_{2}\) by \( \mathcal {B}(H_{1}, H_{2})\) and \(\mathcal {B}(H,H) = \mathcal {B}(H).\) If \(T \in \mathcal {B}(H_{1}, H_{2}),\) the null space and the range space are denoted by N(T) and R(T) respectively.
Definition 1.3
Let \(T \in \mathcal {B}(H).\) The minimum modulus of T is defined by
Definition 1.4
[5, Definition 2.12] Let \( T \in \mathcal {B}(H). \) Then there exists a unique operator \(T^{*} \in \mathcal {B}(H)\) such that \( \left\langle x | Ty\right\rangle = \left\langle T^{*}x | y\right\rangle \) for all \( x,y \in H. \) This operator \( T^{*} \) is called the adjoint of T.
Definition 1.5
Let \(T \in \mathcal {B}(H).\) Then T is said to be
-
1.
self-adjoint if \( T = T^{*}\)
-
2.
positive if \(\left\langle x|Tx \right\rangle \ge 0,\) for all \( x \in H\)
-
3.
anti self-adjiont if \(T^{*}= -T\)
-
4.
normal if \( TT^{*} = T^{*}T \)
-
5.
unitary if \( TT^{*} = T^{*}T = I.\)
Definition 1.6
Let \(T \in \mathcal {B}(H).\) A closed subspace M of H is said to be invariant under T, if \(T(M):= \left\{ Tx :x \in M\right\} \subseteq M.\) Moreover, if \(M^{\bot }\) is also invariant under T, then we say M to be a reducing subspace for T.
Theorem 1.7
[5, Theorem 2.18]
-
1.
Let \(T \in \mathcal {B}(H)\) be positive. Then there exists a unique positive operator \(S \in \mathcal {B}(H)\) such that \(S^{2}=T.\) The operator S is called the square root of T and it is denoted by \(S = T^{\frac{1}{2}}.\)
-
2.
If \(T \in \mathcal {B}(H_{1}, H_{2}),\) then \(|T| = (T^{*}T)^{\frac{1}{2}} \) is called the modulus of T and is denoted by |T|.
Theorem 1.8
[5, Theorem 2.20] Let \(T \in \mathcal {B}(H).\) Then there exists a unique operator \(W \in \mathcal {B}(H)\) such that
-
1.
\( T = W |T| \)
-
2.
\(N(W) = N(T)\)
-
3.
\(\Vert W(u)\Vert = \Vert u\Vert ,\) for all \( u \in N(T)^{\bot }.\)
Theorem 1.9
[5, Theorem 5.9] Let \(T\in \mathcal {B}(H)\) be normal. Then there exists three mutually commuting bounded operators A, B and J such that
where \( A = \frac{T+T^{*}}{2}, B = \frac{|T-T^{*}|}{2}\) and J is an anti self-adjoint unitary operator.
Through out this article, J denotes an anti self-adjoint unitary operator.
Definition 1.10
Let \(T \in \mathcal {B}(H).\) Then T is said to be compact if \(\overline{T(S)}\) is compact for every bounded subset S of H. Equivalently \((T(x_{n}))\) has a convergent subsequence for every bounded sequence \((x_{n}) \) of H.
We denote the class of compact operators between \( H_{1} \) and \(H_{2}\) by \( \mathcal {K}(H_{1}, H_{2})\) and \(\mathcal {K}(H,H) = \mathcal {K}(H).\)
Examples 1.11
We give some examples of compact operators:
-
1.
Every right linear bounded operator with finite rank is compact.
-
2.
Let \(H= \ell ^{2}(\mathbb {N}, \mathbb {H}).\) Define \( D :H \rightarrow H \) by
$$\begin{aligned} D(q_{1}, q_{2}, q_{3}, \ldots ) = \left( q_{1}, \frac{q_{2}}{2}, \frac{q_{3}}{3}, \ldots \right) , \quad \text{for all} \; (q_{j})_{j\in \mathbb {N}} \in H. \end{aligned}$$Define \( D_{n} :H \rightarrow H\) by
$$\begin{aligned} D_{n}(q_{1}, q_{2}, \ldots q_{n}, \ldots ) = \left( q_{1}, \frac{q_{2}}{2}, \ldots , \frac{q_{n}}{n},0,0, \ldots \right) , \quad \text{for all}\; (q_{j})_{j \in \mathbb {N}} \in H. \end{aligned}$$Then \(\{D_{n}\}_{n \in \mathbb {N}}\) converges to D in the operator norm. Since each \(D_{n}\) is compact, by [4, Theorem 2], D is compact.
Let \( T \in \mathcal {B}(H)\) and \( q \in \mathbb {H}.\) Define \( \Delta _{q}(T):= T^{2}-T(q+\overline{q})+I.|q|^{2}.\) This operator is used to define the spherical spectrum of T.
Definition 1.12
[5, Definition 4.1] If \( T \in \mathcal {B}(H),\) then the spherical spectrum and the spherical point spectrum are defined as follows:
-
1.
the spherical spectrum:
$$\begin{aligned} \sigma _{S}(T):= \{ q \in \mathbb {H}: \Delta _{q}(T) \; \text{ is not invertible in} \; \mathcal {B}(H)\}. \end{aligned}$$ -
2.
the spherical point spectrum:
$$\begin{aligned} \sigma _{p^{S}}(T) := \{ q \in \mathbb {H}: N(\Delta _{q}(T)) \ne \{0\} \}. \end{aligned}$$
Theorem 1.13
[10, Theorem 5.4] If T is an \(n\times n\) quaternion matrix, then T has exactly n-right eigenvalues which are complex numbers with nonnegative imaginary parts.
These eigenvalues are said to be standard eigenvalues.
2 Representation of compact self-adjoint operators
In this section we obtain a spectral representation of quaternionic compact self-adjoint operator. Though [4, Conjecture 1] is proved for quaternionic normal operators in [6], we reprove it for quaternionic compact self-adjoint operators inspired by the classical proof.
Proposition 2.1
If \(T \in \mathcal {K}(H)\) is self-adjoint, then \(\pm \Vert T\Vert \in \sigma _{p^S}(T)\).
Proof
Since T is self-adjoint, there exists a sequence \((x_{n})\) in H such that \(\Vert x_{n}\Vert = 1\), for every \(n \in \mathbb {N}\) and \(|\left\langle x_{n} | Tx_{n}\right\rangle | \rightarrow \Vert T\Vert \) as \(n\rightarrow \infty \). That is there exists \(r \in \mathbb {R}\) with \(|r| = \Vert T\Vert \) and \(\left\langle x_{n}|Tx_{n}\right\rangle \rightarrow r\), as \(n \rightarrow \infty \). We see that
as \(n\rightarrow \infty \). Since T is compact \((Tx_{n})\) has a convergent subsequence, say \((Tx_{n_{k}})\) converges to \(y \in H\). Then
as \(n \rightarrow \infty \). By using the continuity of T, we have \( T(x_{n_{k}})\) converges to \( \frac{1}{r} Ty\). This implies that \(Ty = ry\). Moreover,
Hence \(N(\Delta _{r}(T)) \ne \{0\}\). Equivalently, \( r = \pm \Vert T\Vert \in \sigma _{p^{S}}(T)\). \(\square \)
Lemma 2.2
If \(T = T^{*} \in \mathcal {B}(H)\) and \(r \in \mathbb {R}\), then \(N(\Delta _{r}(T)) = N(T-r\cdot I)\). Moreover,
Proof
Let \(x \in H\). Then \(x \in N(\Delta _{r}(T))\) if and only if \((T^{2} - 2r T + r^{2} I)x = 0\) if and only if \((T - r \cdot I)^{2}x = 0\). Since T is self-adjoint, it is equivalent to write \(x \in N(T- r \cdot I)\). By [5, Theorem 4.8(b)], \(\sigma _{S}(T) \subseteq \mathbb {R}\). Therefore
Theorem 2.3
Let \(T \in \mathcal {K}(H)\) be self-adjoint. Then there exists an orthonormal system \( \phi _{1}, \phi _{2}, \phi _{3}, \ldots \) of eigenvectors of T corresponding to the eigenvalues \(\lambda _{1}, \lambda _{2}, \lambda _{3}, \ldots , \) such that \( |\lambda _{1}| \ge |\lambda _{2}| \ge |\lambda _{3}| \ge \ldots , \) and
Moreover, if \((\lambda _{n})\) is infinite, then \( \lambda _{n} \longrightarrow 0 \) as \( n \rightarrow \infty .\)
Proof
By Proposition 2.1 and Lemma 2.2, the proof follows along the similar lines of classical spectral theorem for compact self-adjoint complex operators (see [7, Theorem 5.1] for classical proof). \(\square \)
Theorem 2.4
Let \(T\in \mathcal {K}(H). \) Then, there exists a sequence \(( \phi _{n}), ( \psi _{n}) \) of orthonormal vectors and a sequence of positive reals \((\alpha _{n})\) such that
If \((\alpha _{n})\) is infinite, then \( \alpha _{n} \longrightarrow 0 \) as \( n \rightarrow \infty .\) Moreover, the series in Eq. (1) converges in the operator norm.
Proof
Since T is compact, by [4, Theorem 2], we have \( |T|:= (T^{*}T)^{\frac{1}{2}} \) is compact. By Theorem 2.3, there exists an orthonormal system \(\left( \phi _{n}\right) \) of eigenvectors of |T| and corresponding eigenvalues \( \left( \alpha _{n}\right) \) such that
If \((\alpha _{n})\) is infinite, then \( \alpha _{n} \rightarrow 0\), as \(n \rightarrow \infty .\) By Theorem 1.8, there exists a unique operator \(W \in \mathcal {B}(H)\) such that \( T = W|T|, \) where \( W|_{N(|T|)^{\bot }} \) is an isometry and \(N(W) = N(|T|).\) Let us take \( \psi _{n} = W\phi _{n}. \) We show that \((\psi _{n})\) forms an orthonormal system. Consider
For \( x \in H, \)
Since the expression of |T| in Eq. (2) converges in the operator norm, it follows that the series in Eq. (1) converges in the operator norm. \(\square \)
Example 2.5
Let \(H= \ell ^{2}(\mathbb {N}, \mathbb {H}).\) Define \( R :H \rightarrow H \) by
and let D be as in Example 1.11(2). Also we have
Let \( T = R D.\) Then \( |T|^{2} = T^{*}T = D^{*}R^{*}RD = D^{*}D = D^{2}. \) Hence \( |T| = D. \) By Theorem 2.4, the representation of |T| is,
Thus for all \(x \in H,\)
Now we prove the converse of Theorem 2.3.
Theorem 2.6
Suppose there exists an orthonormal system of vectors \( ( \phi _{n}) \) and a sequence \((\alpha _{n})\) of real numbers which is either finite or converges to 0. If the operator T is defined by
then T is a bounded quaternionic compact self-adjoint.
Proof
Clearly, T is right \(\mathbb {H}\)-linear. We show that T is self-adjoint. Let \( x,y \in H. \) Then
Therefore \(T = T^{*}.\) The rest of the proof is to show T is compact. This follows in the similar lines as in [7, Theorem 6.2]. Define
Here each \(T_{n}\) is a finite rank operator, hence compact. We see that
as \(n \rightarrow \infty \). Since \(T_{n}\) converges to T in the operator norm and \(\mathcal {K}(H)\) is closed in \(\mathcal {B}(H)\) by [4, Theorem 2], we conclude that T is compact. \(\square \)
Theorem 2.7
(Simultaneous diagonalization) Let \(T, S \in \mathcal {K}(H)\) be self-adjoint. If \(TS = ST,\) then there exist an orthonormal system \( \{\phi _{n}\} \) of eigenvectors of both T and S with corresponding eigenvalues \(\{\lambda _{n}\}\) and \(\{\mu _{n}\}\) respectively, such that
Proof
By Theorem 2.3, there exist an orthonormal system \(\{\phi _{n}\}\) of eigenvectors of T and corresponding eigenvalues \(\{\lambda _{n}\}\) such that
We claim that \( N(\Delta _{\lambda _{n}}(T)) \) is invariant under S. Let \(x \in N(\Delta _{\lambda _{n}}(T)) = N(T-\lambda _{n}I).\) That is \( Tx = x \lambda _{n}. \) Then \(T(Sx) = STx = S(x \lambda _{n}) = (Sx) \lambda _{n}.\) This shows that \( S(N(\Delta _{\lambda _{n}}(T))) \subseteq N(\Delta _{\lambda _{n}}(T)). \)
Define \( S_{n}:= S|_{N(\Delta _{\lambda _{n}}(T))} :N(\Delta _{\lambda _{n}}(T)) \longrightarrow N(\Delta _{\lambda _{n}}(T)) \), which is quaternionic compact self-adjoint operator, for each \(n \in \mathbb {N}.\) Then by Theorem 2.3, we can choose \( \phi _{n} \in N(\Delta _{\lambda _{n}}(T)) \) such that \( S\phi _{n} = \phi _{n} \mu _{n}\). Since \( H = N(T) \oplus N(T)^{\bot },\) if \( x \in H, \) then there exists \( x_{1} \in N(T)\) and \(x_{2}\in N(T)^{\bot }\) such that \(x = x_{1}+ x_{2}.\) Since \(\left\{ \phi _{n} \right\} \) forms an orthonormal basis for \(N(T)^{\bot },\) we have
If \( S(N(T)) = \left\{ 0\right\} , \) then
If \( S(N(T)) \ne \{0\}, \) then as N(T) is invariant under S, the operator \(S|_{N(T)}\) is compact self-adjoint. By Theorem 2.3, there exist a system \( \{ \psi _{k}\} \subset N(T) \) of eigenvectors of S and corresponding eigenvalues \(\{\xi _{k}\} \) such that
If \(x \in H,\) then \(x = x_{1} + x_{2}, \; x_{1} \in N(T), x_{2}\in N(T)^{\bot }.\) The system \( \{\phi _{n}\} \cup \{\psi _{k}\} \) give the spectral decomposition for both S and T. By Eqs. (3) and (4), we have
3 Representation of compact normal operators
In this section, we give a spectral representation for quaternionic compact normal operators by using Theorems 2.3, 2.4 and the Cartesian decomposition of a quaternionic normal operator. First, we prove few results that are needed for our purpose.
Proposition 3.1
Let \(T\in \mathcal {B}(H)\) be normal and \(q_{1},q_{2} \in \sigma _{p^{S}}(T)\) such that \([q_{1}] \cap [q_{2}] = \emptyset .\) Then \(N(\Delta _{q_{1}}(T))\bot N(\Delta _{q_{2}}(T)).\)
Proof
Since T is normal, we have \(\sigma _{p^{S}}(T) = \sigma _{p^{S}}(T^{*}).\) Let \( x \in N(\Delta _{q_{1}}(T)) \) and \(y \in N(\Delta _{q_{2}}(T)). \) Then \(Tx = x. s^{-1}q_{1}s,\) for some \( 0 \ne s \in \mathbb {H}\) and since \(N(\Delta _{q_{2}}(T^{*})) = N(\Delta _{q_{2}}(T))\), \(T^{*}y = y.l^{-1}q_{2}l,\) for some \( 0 \ne l \in \mathbb {H}.\) Then
We show that \(\langle x|y\rangle = 0\). Suppose \(\langle x | y\rangle \ne 0, \) then multiplying with \(\langle x | y \rangle ^{-1}\) from left side of the above equation, we get
which is contradiction to \([q_{1}]\cap [q_{2}] = \emptyset . \) Hence the result. \(\square \)
We prove a Lemma which plays an important role in proving the spectral representation for quaternionic compact normal operator.
Lemma 3.2
Let \(J \in \mathcal {B}(H)\) be anti self-adjoint and unitary. Let \( B \in \mathcal {B}(H) \) be positive such that \( JB = BJ.\) Then
Proof
Since JB is anti self-adjoint, if \( q \in \sigma _{p^{S}}(JB)\), then \(q \subseteq Im(\mathbb {H})\) and there exists \( 0 \ne x \in H \) such that \( x \in N(\Delta _{q}(JB)). \) This implies
Since \(B \ge 0,\ (B+|q|I)\) is invertible. So we conclude that \( Bx = x |q|.\) Therefore \( |q| \in \sigma _{p^{S}}(B).\)
Clearly, \( \frac{q}{|q|} \in \sigma _{p^{S}}(J). \)
Conversely, suppose that \(r \in \sigma _{p^{S}}(B)\) and \( q\in \sigma _{p^{S}}(J).\) We claim that \( r q \in \sigma _{p^{S}}(JB).\) It is clear that there exists \( 0 \ne x \in H \) such that \( Bx = x r\) and \( |q|= 1. \) Consider
Therefore \(rq \in \sigma _{p^{S}}(JB).\) \(\square \)
Note 3.3
Let \(q \in \mathbb {H}. \) Then \( q \in \sigma _{p^{S}}(JB){\setminus} \{0\} \Leftrightarrow |q| \in \sigma _{p^{S}}(B) {\setminus } \{0\}.\)
We generalize Lemma 3.2 to the whole spherical spectrum.
Lemma 3.4
Let J and B be as in Lemma 3.2. Then
Proof
Let \(q \in \sigma _{S}(JB).\) Then \( \overline{q} = - q \) and \(\Delta _{q}(JB) = (B+|q|I)(B-|q|I) \) is not invertible. Since \( B \ge 0, \ (B+|q|I)\) is invertible. This implies \((B-|q|I)\) is not invertible. By [5, Theorem 4.8(e)], \( \frac{q}{|q|} \in \sigma _{S}(J).\)
Conversely, suppose that \( r \in \sigma _{S}(B)\) and \( q \in \sigma _{S}(J). \) Consider
Since \((B-r.I)\) is not invertible, \( rq \in \sigma _{S}(JB).\) \(\square \)
We give a spectral representation of quaternionic compact normal operators and show that the spherical spectrum is precisely the equivalence class of standard eigenvalues. Necessarily, in order to have eigenspace to be right linear, the eigenvalues should be given in terms of equivalence class. This is a generalization of [10, Theorem 5.4].
Theorem 3.5
Let \(T \in \mathcal {K}(H)\) be normal. Then there exists an othonormal system \(\{\phi _{n} \}\) of eigenvectors of T and corresponding quaternion eigenvalues \(\{q_{n}\}\) such that
-
1.
\( Tx = \sum \nolimits _{n \in \mathbb {N}} \phi _{n} q_{n} \langle \phi _{n} | x \rangle \), for all \( x \in H.\) Moreover, if \((q_{n})\) is infinite, then \( q_{n} \rightarrow 0,\) as \(n \rightarrow \infty .\) Hence, the series above converges in the operator norm of \(\mathcal {B}(H).\)
-
2.
\( \sigma _{p^{S}}(T) = \{ [q_{n}] : n \in \mathbb {N} \} = \{ [\text{Re}(q_{n}) + |\text{Im}(q_{n})| \cdot i ]: n \in \mathbb {N}\} \)
Furthermore, the following properties holds true:
-
(a)
The system of eigenvectors \(\{\phi _{n}\}_{n\in \mathbb {N}}\) forms an orthonormal basis for \(N(T)^{\bot }= \overline{R(T)}\) and thus R(T) is separable.
-
(b)
The matrix of \(T|_{N(T)^{\bot }}\) with respect to \(\{\phi _{n}\}_{n\in \mathbb {N}}\) is \( \text{diag}(q_{1}, q_{2}, q_{3}, \ldots , )\), the diagonal matrix with the diagonal entries \(q_{1}, q_{2}, q_{3}, \ldots.\)
-
(c)
\( H = N(T) \,\bigoplus \nolimits _{n=1}^{\infty }\, N(\Delta _{q_{n}}(T))\).
Proof
Proof of (1): Since T is normal, we have
where A, B and J as in Theorem 1.9. By Lemma 3.2, we have
Since T is compact, the operators A and B are also compact. By [4, Theorem 2], JB is compact. In fact A is a quaternionic compact self-adjoint and B is a quaternionic compact positive operator with \( AB =BA\). If \( \{\frac{\mu _{n}}{|\mu _{n}|}\} \subset \mathbb {S}\) is a sequence of eigenvalues of JB, then \(\{|\mu _{n}|\}\) is a sequence of eigenvalues of B. Thus by Theorem 2.7, there exists an orthonormal system \(\{\phi _{n}\}\) of eigenvectors of both A and B with corresponding eigenvalues \(\{\lambda _{n}\}, \{|\mu _{n}|\}\) of A and B respectively, such that
By Lemma 3.2, we have \( J(\phi _{n}) = \phi _{n} \cdot \frac{\mu _{n}}{|\mu _{n}|}. \) Let \( x \in H. \) Then by Theorem 1.9, we have
Let \(q_{n} = \lambda _{n}+ \mu _{n}\). Then
If \(\left\{ q_{n}\right\} \) is infinite, then either \(\left\{ \lambda _{n}\right\} \) or \(\left\{ \mu _{n}\right\} \) is infinite. So \( q_{n} \rightarrow 0, \) as \( n \rightarrow \infty .\)
Proof of (2)
Let \( 0 \ne p \in H. \) If \(p \in [q_{k}]\) for some k, then \(p = s^{-1}q_{k}s\), for some \(0 \ne s \in \mathbb {H}\) and
This implies that \(p \in \sigma _{p^{S}}(T)\). Suppose \(0 \ne q\) is an eigenvalue of T such that \(q \notin [q_{k}]\) for all \(k \in \mathbb {N}\). Then there exists \(0 \ne x \in H\) such that \( Tx = x \cdot q \) that is \(x \in N(\Delta _{q}(T))\). By the representation of T, we have
Since \( [q]\cap [q_{k}] = \emptyset , \) for all \( k \in \mathbb {N},\) by Proposition 3.1, we have \(N(\Delta _{q}(T)) \bot N(\Delta _{q_{k}}(T))\) for all \(k\in \mathbb {N}.\) Since \(\phi _{k} \in N(\Delta _{q_{k}}(T)),\) for all \( k \in \mathbb {N},\) we conclude that
a contradiction. Therefore \(\sigma _{p^{S}}(T) = \left\{ [q_{n}] : n \in \mathbb {N} \right\} .\quad \quad \square\)
Now we prove the properties by using the representation of quaternionic compact normal operator.
Proof of (a)
It is clear that \(\{\phi _{n}\}\) is an orthonormal set. We prove that \( N(T) = {\text{span}_{\mathbb {H}}}\{\phi _{1}, \phi _{2}, \phi _{3}, \ldots , \}^{\bot }. \) Let \( x \in N(T). \) Then, \( \langle \phi _{n}|x \rangle = 0 \) for each \(n \in \mathbb {N}.\) Equivalently, \( x \in {\text{span}_{\mathbb {H}}}\{\phi _{1}, \phi _{2}, \phi _{3}, \ldots , \}^{\bot }.\) Conversely, suppose that \( x\in {\text{span}_{\mathbb {H}}}\{\phi _{1}, \phi _{2}, \phi _{3}, \ldots ,\}^{\bot }. \) Then, \(Tx = 0 \).
Therefore \( N(T)^{\bot } = \text{span}_{\mathbb {H}}\{\phi _{1}, \phi _{2}, \phi _{3}, \ldots ,\}^{\bot \bot } = \overline{\text{span}}_{\mathbb {H}}\{\phi _{1}, \phi _{2}, \phi _{3}, \ldots ,\}. \) Since T is normal, \( \overline{R(T)} = N(T^{*})^{\bot } = N(T)^{\bot } = \overline{\text{span}}_{\mathbb {H}} \{\phi _{1}, \phi _{2}, \phi _{3}, \ldots ,\}. \quad \quad \square \) Thus R(T) is separable.
Proof of (b)
It is clear from (1), that \( \{\phi _{n}\}_{n\in \mathbb {N}} \) is an orthonormal basis for \( N(T)^{\bot }. \) The matrix representation of \( T|_{N(T)^{\bot }} \) with respect to \( \{\phi _{n} \}_{n \in \mathbb {N}} \) is a diagonal matrix with the diagonal entries \(\langle \phi _{j}| T\phi _{i}\rangle = \delta _{ij} q_{i}, \ i,j = 1, 2, 3, \ldots \quad \quad \square \).
Proof of (c)
By the projection theorem, \( H = N(T) \oplus N(T)^{\bot }. \) It is clear that, \( \text{span}_{\mathbb {H}}\{\phi _{n_{j}}\} = N(\Delta _{q_{n}}(T)), \) for each \( n \in \mathbb {N}.\) From (1), we can write
Remark 3.6
By using spectral representation in Theorem 3.5, we can prove the following:
-
1.
The dimension of \( N(\Delta _{q_{k}}(T))\) is finite for \( q_{k} \ne 0 \) and \(k\in \mathbb {N}\).
-
2.
\(\sigma _{S}(T){\setminus} \{0 \} = \sigma _{p^{S}}(T){\setminus} \{ 0 \}\).
As a consequence of Theorem 3.5, we prove the result by Brenner [2] and Lee [6], that an \(n\times n\) normal matrix with quaternion entries have exactly n- standard eigenvalues.
Corollary 3.7
Let \( A \in M_{n}(\mathbb {H})\) be normal. Then A has exactly n-standard eigenvalues.
Proof
By Theorem 3.5, there exists an orthonormal system \(\{\phi _{1}, \phi _{2}, \ldots \phi _{n}\}\) of eigenvectors of A with corresponding eigenvalues \(\{q_{1}, q_{2}, \ldots q_{n}\}\) such that
where \(q_{j} = \lambda _{j} + \mu _{j}, \) for \(j \in \{1,2,3, \ldots ,n\}.\) Here \(\lambda _{j}\) is an eigenvalue of \(\frac{A+A^{*}}{2},\ |\mu _{j}|\) is an eigenvalue of \(\frac{|A-A^{*}|}{2}\) and \(\frac{\mu _{j}}{|\mu _{j}|}\) is an eigenvalue of J, as in Theorem 3.5. Here each \( [q_{j}]\) is an eigensphere corresponding to an eigenvector \(\phi _{j}.\) By Remark 3.6, we have
Each class \([q_{j}]\) is represented by a complex number \((q_{j})+i \cdot |\)Im \((q_{j})| \). So A has n- standard eigenvalues. \(\square \)
Note 3.8
Let \(A \in M_{n}(\mathbb {H})\). If \(A = A^{*}\), then A has n- real eigenvalues. In fact, these are standard eigenvalues of A with the imaginary part zero. In particular, if \(A = I\), the identity matrix then \(\{1\} \) is the only standard eigenvalue of A.
4 Resolution of identity
We present a second version of the spectral theorem, namely the resolution of identity for a quaternionic compact normal operator. We restrict the given operator to the slice complex Hilbert space, use classical theorem given in [9, Theorem 6.11.1], later by using [5, Proposition 3.11] extend this result to the quaternionic operator.
Definition 4.1
-
1.
If K is Hilbert sapce over the slice \(\mathbb {C}_{m}\), for some \(m \in \mathbb {S}\), then K is said to be \(\mathbb {C}_{m}\)-Hilbert space.
-
2.
Let K be \(\mathbb {C}_{m}\)-Hilbert space. A map \(T :K \rightarrow K\) is said to be \(\mathbb {C}_{m}\)-linear if
$$\begin{aligned} T(x+\lambda y) = Tx + \lambda Ty, \quad \text{for every}\; x,y \in K \quad \text{and}\quad \lambda \in \mathbb {C}_{m}. \end{aligned}$$
We need the following facts to establish the resolution of identity.
Lemma 4.2
[5, Lemma 3.9] Let \(m \in \mathbb {S}\) and \( J \in \mathcal {B}(H).\) Define \(\mathbb {C}_{m}\)-linear spaces \(H^{Jm}_{\pm }= \{x \in H: J(x)= \pm x\cdot m\}.\) Then \(H^{Jm}_{\pm } \ne \{0\},\) the restriction of Hermitian scalar product \(\langle \cdot | \cdot \rangle \) to \(H^{Jm}_{\pm }\) is \(\mathbb {C}_{m}\)-valued and therefore \(H^{Jm}_{\pm }\) is \(\mathbb {C}_{m}\)-Hilbert space.
Lemma 4.3
[5, Lemma 3.10] As a \(\mathbb {C}_{m}\)-Hilbert space, H admits the following direct sum decomposition:
Remark 4.4
It is not necessary to consider H to be \(\mathbb {C}_{m}\)-Hilbert space in Lemma 4.3. We show that, \(H^{Jm}_{+} \oplus H^{Jm}_{-}\) is quaternionic Hilbert space. Let \(n \in \mathbb {S}\) be such that \(mn = -nm\). If \(q \in \mathbb {H},\) then \(q = \alpha + \beta \cdot n \) where \(\alpha , \beta \in \mathbb {C}_{m}\). Let \(x \in H\). Then \(x = a+b\), where \(a \in H^{Jm}_{+}\) and \(b \in H^{Jm}_{-}\). Moreover,
It is enough to show \((a \alpha + b\cdot \beta \cdot n) \in H^{Jm}_{+}\) and \((a\cdot \beta \cdot n + b \alpha )\in H^{Jm}_{-}.\) But it is clear from the definition of \(H^{Jm}_{\pm }\) that
and
Hence \(x \cdot q \in H.\)
Proposition 4.5
[5, Proposition 3.11] If \(T :H^{Jm}_{+} \rightarrow H^{Jm}_{+} \) is a bounded \(\mathbb {C}_{m}\)-linear operator, then there exists unique bounded, right \(\mathbb {H}\)-linear operator \(\widetilde{T}:H \rightarrow H\) such that \(\widetilde{T}(x) = T(x),\) for every \(x \in H^{Jm}_{+}.\) Furthermore
-
1.
\(\Vert \widetilde{T}\Vert = \Vert T\Vert \)
-
2.
\(J\widetilde{T} = \widetilde{T} J\)
-
3.
Let \(V :H\rightarrow H\) be bounded right linear quaternionic operator. Then \(V = \widetilde{U}\), for some bounded \(\mathbb {C}_{m}\)-linear operator \(U :H^{Jm}_{+} \rightarrow H^{Jm}_{+}\) if and only if \(JV = VJ\)
-
4.
\((\widetilde{T})^{*} = \widetilde{T^{*}}\)
-
5.
If \(S :H^{Jm}_{+} \rightarrow H^{Jm}_{+}\) is bounded \(\mathbb {C}_{m}\)-linear operator, then \(\widetilde{ST} = \widetilde{S} \widetilde{T}\)
-
(6)
If S is the inverse of T, then \(\widetilde{S}\) is the inverse of \(\widetilde{T}.\)
Remark 4.6
If \(T_{+}\) is a \(\mathbb {C}_{m}\)-linear operator on \(H^{Jm}_{+}\) such that \(T = \widetilde{T_{+}}\), then for \(a \in H^{Jm}_{+}, b \in H^{Jm}_{-}\), we have
Note that if \(T\in \mathcal B(H)\) is normal but not self-adjoint, then by Theorem 1.9, there exists an anti self-adjoint unitary operator \(J\in \mathcal B(H)\) such that \(TJ=JT\). Also, if T is self-adjoint operator then the existence of an anti self-adjoint unitary operator J commuting with T is guaranteed by [5, Theorem 5.7(b)]. So Proposition 4.5 holds true for quaternionic normal operator.
Theorem 4.7
Let \(T \in \mathcal {K}(H)\) be normal and \(m \in \mathbb {S}\). Then there exists a system of non-zero eigenvalues \(\{\lambda _{t}\} \subset \mathbb {C}_{m}\) of T such that
where \(\widetilde{P_{t}}\) is an orthogonal projection onto \(N(\Delta _{\lambda _{t}}(T)).\) If \(\{\lambda _{t}\}\) is infinite, then \(\lambda _{t} \rightarrow 0\) as \(t \rightarrow \infty .\) The series in Eq. (5) converges in the operator norm.
Proof
Since T is normal, there exists \(J \in \mathcal {B}(H)\) such that \(JT = TJ\) and \(JT^{*} = T^{*}J.\) By Proposition 4.5, \(T_{+}\) is compact normal with \(\widetilde{T_{+}} = T.\) By [9, Theorem 6.11.1], there exists a system of eigenvalues \(\{\lambda _{t}\} \subset \mathbb {C}_{m}\) of \(T_{+}\) and let \(P_{t}\) be an orthogonal projection onto \(N(\lambda _{t}I - T_{+})\) such that
Here \(\lambda _{t} \rightarrow 0 \) if \(\{\lambda _{t}\}\) is infinite and the series converges in the operator norm. Let \(x = a+b \in H, \) where \(a \in H^{Jm}_{+}\) and \(b \in H^{Jm}_{-}.\) Then
From (4) and (5) of Proposition 4.5, \( \widetilde{P_{t}}\) is a quaternionic orthogonal projection. We claim that \(R(\widetilde{P_{t}}) = N(\Delta _{\lambda _{t}}(T)).\) To see this, let \(x_{1}+x_{2} \cdot n \in R(\widetilde{P_{t}}).\) Then \(x_{1}, x_{2} \in R(P_{\lambda _{t}})= N(\lambda _{t} I - T_{+})\) and
It is enough to show \(N(\Delta _{\lambda _{t}}(T))\subseteq R(\widetilde{P_{t}}).\) By Theorem 3.5(c), there exist a linearly independent set \(\{\phi _{i}: 1 \le i \le k_{t}\} \subset H^{Jm}_{+}\) such that
and \(\displaystyle \text{span}_{\mathbb {H}}\{\phi _{i}: 1 \le i \le k_{t}\} = N(\Delta _{\lambda _{t}}(T)).\) Since \(\{\phi _{i}: 1 \le i \le k_{t}\} \subset N(\lambda _{t} I - T_{+})= R(P_{t})\) and \(R(\widetilde{P_{t}})\) is right \(\mathbb {H}\)-linear space of H, we conclude that \(\text{span}_{\mathbb {H}}\{\phi _{i}: 1 \le i \le k_{t}\} \subseteq R(\widetilde{P_{t}}).\) Thus \(R(\widetilde{P_{t}}) = N(\Delta _{\lambda _{t}}(T)).\) It is clear from Proposition 4.5(1), that
The series in Eq. (5) converges in the operator norm.
It remains to show that \(\sum \nolimits _{t=1}^{\infty }\widetilde{P_{t}} = I,\) where I denote the identity operator on H. For this, let \(x = a+b,\) where \(a \in H^{Jm}_{+}\) and \(b \in H^{Jm}_{-}.\) Then
Therefore
Note that the above series converges in the strong operator topology of \(\mathcal {B}(H)\). \(\square \)
Remark 4.8
In Theorem 4.7, the meaning of \(\lambda _{t}\widetilde{P_{t}}\) is the extension of \(\mathbb {C}_{m}\)- linear operator \(\lambda _{t}P_{t}\) to H. By the definition
Clearly, \(\lambda _{t}\widetilde{P_{t}}\) is a right \(\mathbb {H}\)-linear operator.
References
Baker, A. 1999. Right eigenvalues for quaternionic matrices: A topological approach. Linear Algebra and Its Applications 286 (1–3): 303–309.
Brenner, J.L. 1951. Matrices of quaternions. Pacific Journal of Mathematics 1: 329–335.
Farenick, D.R., and B.A.F. Pidkowich. 2003. The spectral theorem in quaternions. Linear Algebra and Its Applications 371: 75–102.
Fashandi, M. 2013. Compact operators on quaternionic Hilbert spaces. Facta Universitatis, Series: Mathematics and Informatics 28 (3): 249–256.
Ghiloni, R., V. Moretti, and A. Perotti. 2013. Continuous slice functional calculus in quaternionic Hilbert spaces. Reviews in Mathematical Physics 25 (4): 1350006.
Ghiloni, R., V. Moretti and A. Perotti. 2014. Spectral properties of compact normal quaternionic operators. In Hypercomplex Analysis: New Perspectives and Applications, eds. Bernstein Swanhild, Kähler Uwe, Sabadini Irene, Sommen Frank, 133–143. Cham: Springer International Publishing. doi:10.1007/978-3-319-08771-9_9.
Gohberg, I., S. Goldberg, and M.A. Kaashoek. 2003. Basic classes of linear operators. Basel: Birkhäuser.
Lee, H.C. 1949. Eigenvalues and canonical forms of matrices with quaternion coefficients. Proceedings of the Royal Irish Academy: Section A 52: 253–260.
Naylor, A.W., and G.R. Sell. 1982. Linear operator theory in engineering and science, vol. 40, 2nd ed., Applied Mathematical Sciences. New York: Springer.
Zhang, F. 1997. Quaternions and matrices of quaternions. Linear Algebra and Its Applications 251: 21–57.
Acknowledgements
We thank the referee for useful comments on the earlier version of this article, which improved the clarity of the presentation. The second author is thankful to INSPIRE (DST) for the support in the form of fellowship (No. DST/INSPIRE Fellowship/2012/IF120551), Govt of India.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Ramesh, G., Santhosh Kumar, P. Spectral theorem for quaternionic compact normal operators. J Anal 25, 65–81 (2017). https://doi.org/10.1007/s41478-017-0027-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s41478-017-0027-8