Abstract
The purpose of this paper is to introduce and study the structure of p-tuple of \((n,m)\)-\(\mathcal{D}\)-normal operators. This is a generalization of the class of p-tuple of n-normal operators. We consider a generalization of these single variable n-\(\mathcal{D}\)-normal and \((n,m)\)-\(\mathcal{D}\)-normal operators and explore some of their basic properties.
Similar content being viewed by others
1 Introduction
Let K be a complex Hilbert space, \({\mathbf{B}}[\mathbf{K} ]\) be the algebra of all bounded linear operators defined in K. For every N in \(\mathbf{B}[\mathbf{K}]\), denote \(\ker (N)\) as the null space and \(N^{*}\) as the adjoint of R, respectively.
The Drazin inverse of bounded linear operators on complex Banach spaces was introduced by Caradus [14] and King [26]. For more detailed study and applications of the concepts of Drazin invertibility, we invite the interested readers to refer to ([11, 12, 32]). It is well known that the Drazin inverse of the operator \(N\in{ \mathbf{B}}[\mathbf{K}]\) is the unique operator \(N^{\mathcal{D}}\in {\mathbf{B}}[\mathbf{K}]\) if it exists and satisfies the following conditions
We denote by \({\mathbf{B}}_{d}[\mathbf{K}]\) the set of all Drazin invertible elements of \({ \mathbf{B}}[\mathbf{K}]\).
For \(N \in {\mathbf{B}}_{d}[\mathbf{K}]\), it was observed that the Drazin inverse \(N^{\mathcal{D}}\) of N satisfies the following conditions
Moreover, it was observed that if \(N \in {\mathbf{B}}_{d}[\mathbf{K}]\) and \(T \in {\mathbf{B}}[\mathbf{K}]\) is an invertible operator, then \(T^{-1}NT\in {\mathbf{B}}_{d}[\mathbf{K}]\) and \((T^{-1}NT )^{\mathcal{\mathcal{D }}}= T^{-1}N^{\mathcal{D}}T\).
Lemma 1.1
([14, 34]) Let \(N, T\in { \mathbf{B}}_{d}[\mathbf{K}]\). Then the following properties hold.
(1) NT is Drazin invertible if and only if TN is Drazin invertible. Moreover
(2) If \(NT=TN\), then \((NT)^{\mathcal{D}} =T^{\mathcal{D}}N^{\mathcal{D}} = N^{\mathcal{D}}T^{ \mathcal{D}}\), \(N^{\mathcal{D}}T = TN^{\mathcal{D}}\) and \(NT^{\mathcal{D}} = T^{\mathcal{D}}N\).
(3) If \(NT = TN = 0\), then \((N+T )^{\mathcal{D}} = N^{\mathcal{D}}+T^{\mathcal{D}}\).
The success of the theory of normal operators on Hilbert spaces has led to several attempts to generalize it to large classes of operators, including normal operators.
For \(N,T \in {\mathbf{B}}[\mathbf{K}]\), we set \([N, T ]=NT-TN\). An operator \(N \in {\mathbf{B}}[\mathbf{K}]\) is called
(i) normal if \([N,N^{*} ]=0\) ([17, 22, 30]),
(ii) n-normal if \([N^{n},N^{*} ]=0\) ([2, 24, 25]),
(iii) \((n,m)\)-normal if \([N^{n}, (N^{m} )^{*} ]=0\), where n, m are two nonnegative integers ([1, 3, 4]).
These concepts of normality, studied for \(N \in \mathbf{B}[\mathbf{K}]\), have been extended to the class of Drazin inverse of bounded linear operators on K as follows: For \(R\in{ \mathbf{B}}_{d}[{ \mathbf{K}}]\), R is said to be
(i) \(\mathcal{D}\)-normal if \([N^{\mathcal{D}},N^{*} ]=0 \) ([19]),
(ii) n-power \(\mathcal{D}\)-normal if \([ (N^{\mathcal{D}} )^{n},N^{*} ]=0\) ([19]),
(iii) \((n,m)\)-power \(\mathcal{D}\)-normal if \([ (N^{\mathcal{D}} )^{n}, (N^{*} )^{m} ]=0\) for some positive integers n and m ([28]),
The study of p-tuples of operators has received great interest from many authors in recent years. Some developments in this field have been presented in [7, 9, 10, 13, 15, 16, 23, 27, 29], and further references can be found therein.
Given a p-tuple \({\mathbf{\large N}} := (N_{1}, \ldots , N_{p} )\in {\mathbf{B}}[{ \mathbf{K}}]^{p}\), we define \([{\mathbf{\large N}}^{*},{\mathbf{\large N}}]\in {\mathbf{B}}[{\mathbf{K}} \oplus \cdots \oplus{\mathbf{K}}]\) as the self-commutator of N, which is given by
where \({\mathbf{\large N}}^{*}:=(N_{1}^{*},\ldots ,N_{p}^{*})\).
We shall say, following ([7, 18]), that N is jointly hyponormal if
is a positive operator on \(\mathbf{K}\oplus \cdots \oplus \mathbf{K}\), or equivalently
N is said to be jointly normal if N ([8]) satisfying
Recently, in [5], the author has introduced the concept of jointly n-normal tuple as follows: \({\mathbf{\large N}}=(N_{1},\ldots ,N_{p})\in { \mathbf{B}}[{ \mathbf{K}}]^{p}\) is said to be joint n-normal operators if R satisfying
for some positive integer n.
Let \({\mathbf{\large N}}=(N_{1},\ldots ,N_{p})\in {\mathbf{B}}_{d}[\mathbf{K}]^{p}\). We set \({\mathbf{\large N}}^{\mathcal{D}}:= (N_{1}^{\mathcal{D}},\ldots ,N_{p}^{ \mathcal{D}} )\).
The present paper proposes and studies the concept of p-tuples of \((n, m)\)-\(\mathcal{D}\)-normal operators. These are natural generalizations of \(\mathcal{D}\)-normal, n-power \(\mathcal{D}\)-normal, and \((n, m)\)-power \(\mathcal{D}\)-normal single operators as done in [19, 28]. For more details on some classes of Drazin inverse operators, the reader is invited to consult [20, 21, 33].
This paper has been organized into two sections. In section two, we introduce the class of p-tuples of \((n, m)\)-\(\mathcal{D}\)-normal operators associated with Drazin invertible operators using their Drazin inverses. Some properties of this class are studied along with examples. In the third section, the tensor product of some members of this class is discussed.
2 p-tuple of \((n,m)\)-Drazin normal oreators
In this section, we introduce and study the class of jointly \((n,m)\)-power D-normal multioperators.
Definition 2.1
Let \({\mathbf{\large N}}:=(N_{1},\ldots ,N_{p}) \in {\mathbf{B}}_{d}[ \mathbf{K}]^{p}\). We said that N is p-tuple of \((n, m)\)-Drazin normal operators for some positive integers n and m if N satisfies the following conditions
When \(n=m=1\), we said that N is p-tuple of \(\mathcal{D}\)-normal operators and if \(m=1\), N is p-tuple of n-\(\mathcal{D}\)-normal operators.
Example 2.1
Let \(N\in { \mathbf{B}}_{d}[\mathbf{K}]\) be an \((n,m)\)-\(\mathcal{D}\)-normal operator, then \({\mathbf{\large N}}=(N,\ldots ,N)\in { \mathbf{B}}_{d}[\mathbf{K}]^{p}\) is p-tuple of \((n,m)\)-\(\mathcal{D}\)-normal operators.
Example 2.2
Let \({\mathbf{\large N}}:= (N_{1},\ldots ,N_{p} ) \in {\mathbf{B}}_{d}[ \mathbf{K}]^{p}\) be commuting operators. If each \(N_{k}\) is \((n,m)\)-\(\mathcal{D}\)-normal single operator, then N is p-tuple of \((n,m)\)-\(\mathcal{D}\)-normal operators.
The following example shows that there exists a p-tuple of operators \({\mathbf{\large N}}=(N_{1},\ldots ,N_{p})\in { \mathbf{B}}_{d}({ \mathbf{K}})^{p}\) such that each \(N_{k}\) is \((n,m)\)-\(\mathcal{D}\)-normal for \(k=1,\ldots ,p\), however N is not p-tuple of \((n,m)\)-\(\mathcal{D}\)-normal operators. This means that the study of these concepts is not trivial.
Example 2.3
Let \({\mathbf{\large N}}=(N_{1}, N_{2})\in { {\mathbf{B}}}[{\mathbb{C}}^{4}]\) where
It was observed in [19] that \(N_{1}\) and \(N_{2}\) are in \({\mathbf{B}}_{d}[\mathbb{C}^{4}]\) and
It is easy to check that \([N_{1}, N_{2} ]\neq0\) and \([ (N_{j}^{\mathcal{D}} )^{n},N_{j}^{*m} ]=0\) for \(j=1,2\). This means that, each \(N_{j}\) is \((n,m)\)-power \(\mathcal{D}\)-normal, while that N is not p-tuple of \((n,m)\)-\(\mathcal{D}\)-normal operators.
In the the following theorem we collect some properties of p-tuple of \((n,m)\)-\(\mathcal{D}\)-normal operators.
Theorem 2.1
Let \({{\mathbf{\large N}}}=(N_{1},\ldots ,N_{p})\in {\mathbf{B}}_{d}[ \mathbf{K}]^{p}\) be p-tuple of \((n,m)\)-\(\mathcal{D}\)-normal operators, then the following properties hold.
(1) N is p-tuple of \((rn,sm)\)-\(\mathcal{D}\)-normal operators for some positive integers r and s.
(2) \({\mathbf{\large{N}}}^{q}:=(N_{1}^{q_{1}},\ldots ,N_{p}^{q_{p}})\) is p-tuple of \((n,m)\)-D-normal operators for \(q=(q_{1},\ldots ,q_{p}) \in \mathbb{N}^{p}\).
(3) \({\mathbf{\large N}}^{*}=(N_{1}^{*},\ldots ,N_{p}^{*})\) is p-tuple of \((n,m)\)-\(\mathcal{D}\)-normal operators.
(4) If V is an unitary operator, then \(V^{*}{\mathbf{\large N}}V:= (V^{*}N_{1}V,\ldots ,V^{*}N_{p}V )\) is p-tuple of \((n,m)\)-\(\mathcal{D}\)-normal operators.
Proof
(1) Since N is a p-tuple of \((n,m)\)-\(\mathcal{D}\)-normal operators, it follows that \([N_{k},N_{l} ]=0\) for \(k,l=1,\ldots ,p\). However,
(2) If \(q_{k}=1\) for all \(k \in \{1,\ldots ,q\}\), then \([N_{k}^{q_{k}},N_{l}^{q_{l}}]=0\).
If \(q_{k}>1\) for all \(k \in \{1,\ldots ,p\}\), by taking into account [29, Lemma 2.1], we have
Now, under the assumption that N is a p-tuple of \((n,m)\)-\(\mathcal{D}\)-normal operators, it follows that
By looking that \(N_{k}\) is an \((n,m)\)-\(\mathcal{D}\)-normal, then from [28, Proposition 2.10], we obtain that \(N_{k}^{q_{k}}\) is an \((n,m)\)-\(\mathcal{D}\)-normal for all \(k \in \{1,\ldots ,q\}\). This means that \((N_{1}^{q_{1}},\ldots ,N_{p}^{q_{p}} )\) is a p-tuple of \((n,m)\)-\(\mathcal{D}\)-normal operators.
(3) From Definition 2.1, we have under the condition that N is a p-tuple of \((n,m)\)-power \(\mathcal{D}\)-normal operators that is
and therefore,
Hence, \({\mathbf{\large N}}^{*}\) is a p-tuple of \((n,m)\)-\(\mathcal{D}\)-normal operators.
(4) We observe that
Moreover,
Hence, \(V^{*}{\mathbf{\large N}}V\) is a p-tuple of \((n,m)\)-\(\mathcal{D}\)-normal operators. □
Proposition 2.1
Let \({\mathbf{\large N}}=(N_{1},\ldots ,N_{p}) \in { \mathbf{B}}_{d}[ \mathbf{K}]^{p}\). The following statements are true.
(1) If N is a p-tuple of \((n,n)\)-\(\mathcal{D}\)-normal operators then \(({\mathbf{\large N}}^{\mathcal{D}} )^{n}:= ( (N_{1}^{ \mathcal{D}} )^{n},\ldots , (N_{p}^{\mathcal{D}} )^{n} )\) is a p-tuple of normal operators.
(2) If \(({\mathbf{\large N}}^{\mathcal{D}} )^{n}\) is a p-tuple of normal operators and \(N_{k}N_{l}-N_{l}N_{k}=0\) for all \(k,l=1,\ldots ,p\), then N is a p-tuple of \((n,m)\)-\(\mathcal{D}\)-normal operators.
Proof
(1) If N is a p-tuple of \((n,n)\)-\(\mathcal{D}\)-normal operators. Then we get
However,
Therefore \(({\mathbf{\large N}}^{\mathcal{D}} )^{n}\) is a p-tuple of normal operators.
(2) Since \(({\mathbf{\large N}}^{\mathcal{D}} )^{n}\) is a p-tuple of normal operators, we have that
Moreover, it is well known that \([N_{k}^{\mathcal{D}},N_{k} ]=0\) for each \(k=1,\ldots ,p\) and hence
By taking into account the Fugled–Putnam theorem ([31]), it follows that \([ (N_{k}^{\mathcal{D}} )^{n},N_{k}^{*m} ]=0\) for each \(k=1,\ldots ,p\). Therefore N is a p-tuple of \((n,m)\)-\(\mathcal{D}\)-normal operators. □
Proposition 2.2
Let \({{\mathbf{\large N}}}=(N_{1},\ldots ,N_{p})\in {\mathbf{B}}_{d}[ \mathbf{K}]^{p}\). The following assertions hold.
(1) If N is a p-tuple of \((n,m)\)-\(\mathcal{D}\)-normal and a p-tuple of \((n+1,m)\)-\(\mathcal{D}\)-normal operators, then N is a p-tuple of \((n+2,m)\)-\(\mathcal{D}\)-normal operators.
(2) If N is a p-tuple of \((n,m)\)-\(\mathcal{D}\)-normal and a p-tuple of \((n,m+1)\)-\(\mathcal{D}\)-normal operators, then N is a p-tuple of \((n,m+2)\)-\(\mathcal{D}\)-normal operators.
Proof
Since N is a p-tuple of \((n,m)\)-\(\mathcal{D}\)-normal and a p-tuple of \((n+1,m)\)-\(\mathcal{D}\)-normal operators, we have
This implies that
and therefore,
So, N is a p-tuple of \((n+2,m)\)-\(\mathcal{D}\)-normal operators.
(2) The proof of the statement (2) is similar to the proof of statement (1), so we omit it. □
Proposition 2.3
Let \({\mathbf{\large N}}=(N_{1},\ldots ,N_{p})\in {\mathbf{ B}}_{d}[\mathbf{K}]^{p}\), the following statements hold:
(1) If N is a p-tuple of \((n_{1},m)\)-\(\mathcal{D}\)-normal and a p-tuple of \((n_{2},m)\)-\(\mathcal{D}\)-normal operators, then N is a p-tuple of \((n_{1}+n_{2},m)\)-\(\mathcal{D}\)-normal operators.
(2) If N is a p-tuple of \((n,m_{1})\)-\(\mathcal{D}\)-normal operators and a p-tuple of \((n,m_{2})\)-\(\mathcal{D}\)-normal operators, then N is a p-tuple of \((n,m_{1}+m_{2},)\)-\(\mathcal{D}\)-normal operators.
(3) If N is a p-tuple of \((n_{1},m)\)-\(\mathcal{D}\)-normal and a p-tuple of \((n_{2},m)\)-\(\mathcal{D}\)-normal operators, then N is a p-tuple of \((rn_{1}+s n_{2},m)\)-\(\mathcal{D}\)-normal operators for \(r,s \in \mathbf{N}\).
(4) If N is a p-tuple of \((n,m_{1})\)-\(\mathcal{D}\)-normal and a p-tuple of \((n,m_{2})\)-\(\mathcal{D}\)-normal operators, then N is a p-tuple of \((n,rm_{1}+sm_{2},)\)-\(\mathcal{D}\)-normal operators for \(r,s \in \mathbb{N}\).
Proof
(1) We have \([N_{k},N_{l} ]=0\) for \(k,l=1,\ldots ,p\) and moreover for \(k=1,\ldots ,p\),
(2) We have \([N_{k},N_{l} ]=0\) for \(k,l=1,\ldots ,p\) and moreover for \(k=1,\ldots ,p\),
Therefore, the required results are satisfied. □
Theorem 2.2
Let \({\mathbf{\large N}}=(N_{1},\ldots ,N_{p})\in {\mathbf{ B}}_{d}[\mathbf{K}]^{p}\) such that
If N is a p-tuple of \((n_{1},m)\)-\(\mathcal{D}\)-normal and a p-tuple of \((n_{2},m)\)-\(\mathcal{D}\)-normal operators for some positive integer \(n_{1}\), \(n_{2}\) and m, then, N is a p-tuple of \((\max \{n_{1},n_{2}\}-\min \{n_{1},n_{2}\},m)\)-\(\mathcal{D}\)-normal operators. In particular, if N is jointly \((n,1)\)-\(\mathcal{D}\)-normal and a p-tuple of \((n+1,1)\)-\(\mathcal{D}\)-normal operators, then N is p-tuple of \(\mathcal{D}\)-normal operators.
Proof
We have \([N_{k},N_{l} ]=0\) for all \((k,l)\in \{1,\ldots ,p\}^{2}\). Moreover, for each \(k=1,\ldots ,p\), we have
Considering the case where \(n_{1}\geq n_{2}\), we get
and hence N is a p-tuple of \((n_{1}-n_{2},m)\)-\(\mathcal{D}\)-normal operators. □
Proposition 2.4
Let \({\mathbf{\large N}}=(N_{1},\ldots ,N_{p}) \in \mathbf{B}[\mathbf{K}]^{p}\) be commuting tuple of Drazin invertible operators. For \(n,m\in \mathbb{N}\), set
and
Then the following axioms hold.
(1) N is a p-tuple of n-\(\mathcal{D}\)-normal operators if and only if \([{ N}_{k}^{\prime}, { N}_{k}^{\prime \prime}]=0\) for each \(k=1,\ldots ,p\).
(2) If N is a p-tuple of \((n,m)\)-\(\mathcal{D}\)-normal operators, then \({\mathbf{\large Z}} = ( (N_{1}^{D} )^{n}N_{1}^{*m},\ldots , (N_{p}^{\mathcal{D}} )^{n}N_{p}^{*m} )\) commutes with \({\mathbf{\large N}}^{\prime}\) and \({\mathbf{\large N }}^{\prime \prime}\).
(3) N is a p-tuple of \((n,m)\)-\(\mathcal{D}\)-normal operators, if and only if \(({\mathbf{\large N}}^{\mathcal{D}} )^{n}\) commutes with \({\mathbf{\large N}}^{\prime}\).
(4) N is a p-tuple of \((n,m)\)-\(\mathcal{D}\)-normal operators if and only if \(({\mathbf{\large N}}^{\mathcal{D}} )^{n}\) commutes with \({\mathbf{\large N}}^{\prime \prime}\).
Proof
Obviously, \([N_{k},N_{l} ]=0\forall (k,l)\in \{1,\ldots ,p\}^{2}\). On the other hand,
This completes the proof. □
Theorem 2.3
Let \({\mathbf{\large N}}=(N_{1},\ldots ,N_{p}) \in {\mathbf{B}}_{d}[\mathbf{K}]^{p}\) be p-tuple of \((n, m)\)-\(\mathcal{D}\)-normal operators for \(n\geq m\). If each \(N_{k}^{m}\) is a partial isometry for \(k=1,\ldots ,m\), then N is a p-tuple of \((n+m,m)\)-\(\mathcal{D}\)-normal operators.
Proof
Suppose N is p-tuple of \((n,m)\)-\(\mathcal{D}\)-normal operators for \(n\geq m\). It is easy to see that each \(N_{k}\) is \((n,m)\)-D-normal for \(1\leq k \leq d\). Under the hypothesis that \(N_{k}^{m}\) is a partial isometry, it follows from [28, Theorem 2.4] that \(N_{k}\) is \((n+m,m)\)-\(\mathcal{D}\)-normal operator for \(k=1,\ldots ,p\). Consequently, N is a p-tuple of \((n+m,m)\)-\(\mathcal{D}\)-normal operators. □
The following proposition shows that the class of p-tuple of \((n,m)\)-\(\mathcal{D}\)-normal operators is closed subset of \({ \mathbf{B}}_{d}[{\mathbf{K}}]^{p}\).
Proposition 2.5
The class of p-tuple of \((n,m)\)-\(\mathcal{D}\)-normal operators is a closed subset of \({\mathbf{B}}_{d}[\mathbf{K}]^{p}\).
Proof
Suppose that \(( {\mathbf{\large N}}_{k}= (N_{1}(k),\ldots ,N_{p}(k) ) )_{k} \in {\mathbf{B}}_{d}[\mathbf{K}]^{p}\) is a sequence of p-tuple of \((n,m)\)-power \(\mathcal{D}\)-normal operators for which
where \({\mathbf{\large N}}= (N_{1},\ldots , N_{p}) \in { \mathbf{B}}_{d}[ \mathbf{K}]^{p}\). Obviously, for each \(j\in \{1,\ldots ,p\}\), we have
Since \((N_{j}(k)^{\mathcal{D}} )^{n}N_{j}(k)^{*m}=N_{j}(k)^{*m} (N_{j}(k)^{ \mathcal{D}} )^{n}\) for each \(j=1,\ldots ,p\), it follows from [28, Theorem 2.4] that
Moreover, for all \(i,j \in \{1,\ldots ,p\}\) and \(k\in \mathbb{N}\), we can see that
Hence, in view of (2.1), we obtain
On the other hand, since \(\{{\mathbf{\large N}}_{k}\}_{k}=\{ (N_{1}(k),\ldots ,N_{p}(k))\}_{k}\) is a sequence of p-tuple of \((n,m)\)-\(\mathcal{D}\)-normal operators, then
Therefore, we immediately get
Therefore, N is a p-tuple of \((n,m)\)-\(\mathcal{D}\)-normal operators. □
Proposition 2.6
Let \({\mathbf{\large N}}=(N_{1},\ldots ,N_{p})\in {\mathbf{B}}_{d}[\mathbf{K}]^{p}\) and \({\mathbf{\large S}}=(S_{1},\ldots ,S_{p})\in{\mathbf{B}}_{d}[\mathbf{K}]^{p}\) be two p-tuple of \((n,m)\)-\(\mathcal{D}\)-normal operators. The following statements hold.
(1) If \([N_{k},S_{l}]=0, \forall k\), \(l\in \{1,\ldots ,p\}^{2}\) and \([N_{k},S_{k}^{*}]=0\) for all \(k\in \{1,\ldots ,p\}\), then \({\mathbf{\large NS}}= (N_{1}S_{1},\ldots ,N_{p}S_{p})\) and \({\mathbf{SN}}=(S_{1}N_{1},\ldots ,S_{p}N_{p})\) are p-tuple of \((n,m)\)-\(\mathcal{D}\)-normal operators.
(2) If \([N_{i},S_{j}]=0, \forall i\), \(j\in \{1,\ldots ,p\}\) and \(N_{k}S_{k}=N_{k}S_{k}^{*}=0\) for all \(k\in \{1,\ldots ,p\}\), then \({\mathbf{\large N}+\mathbf{S}}=(N_{1}+S_{1},\ldots ,N_{p}+S_{p})\) is a p-tuple of \((n,m)\)-\(\mathcal{D}\)-normal operators.
Proof
For the statement (1), we have for all \(k,l\in \{1,\ldots ,q\}\),
On the other hand, let \(k\in \{1,\ldots ,p\}\), we have
This implies that NS is a p-tuple of \((n,m)\)-\(\mathcal{D}\)-normal operators. In same way, we show that SN is a p-tuple of \((n.m)\)-\(\mathcal{D}\)-normal operators.
(2) For all \((i,j)\in \{1,\ldots ,p\}^{2}\), we have
Besides, for \(k\in \{1,2,\ldots ,p\}\), we get
So, \({\mathbf{\large N}+\mathbf{S}}\) is a p-tuple of \((n,m)\)-\(\mathcal{D}\)-normal operators. □
3 Tensor product
Let \({\mathbf{\large N}}=(N_{1},\ldots ,N_{p})\in { \mathbf{B}}[\mathbf{K}]^{p}\) and \({\mathbf{\large S}}=(S_{1},\ldots ,S_{p})\in { \mathbf{B}}[\mathbf{K}]^{p}\). We denote by
If \(N,S \in { \mathbf{B}}[\mathbf{K}]\), then \(N\otimes S\) is n-normal if and only if N and S are n-normal (see [6]) However, If \(N ,S\in { \mathbf{B}}_{d}[\mathbf{K}]\) such that N and S are \((n,m)\)-\(\mathcal{D}\)-normal operators, then \(N\otimes S\) is \((n,m)\)-\(\mathcal{D}\)-normal (see in [28]). The following theorem studied the tensor product of two p-tuples of \((n,m)\)-\(\mathcal{D}\)-normal operators.
Theorem 3.1
Let \({\mathbf{\large N}}=(N_{1},\ldots ,N_{p})\in {\mathbf{B}}_{d}[\mathbf{K}]^{p}\) and \({\mathbf{\large S}}=(S_{1},\ldots ,S_{p})\in \mathbf{B}_{d}[\mathbf{K}]^{p}\) are two p-tuples of \((n,m)\)-\(\mathcal{D}\)-normal operators, then \({\mathbf{\large N}}\otimes {\mathbf{\large S}}\) is a p-tuple of \((n,m)\)-\(\mathcal{D}\)-normal operators.
Proof
Since \({\mathbf{\large N}}= (N_{1},\ldots ,N_{p} )\) and \({\mathbf{\large S}} = (S_{1},\ldots ,S_{p} )\) are p-tuples of \((n,m)\)-\(\mathcal{D}\)-normal operators, we have all \((k,l) \in \{ 1,\ldots ,p\}^{2}\)
Moreover, for all \(k \in \{1,\ldots , p \}\), we have
So, \({\mathbf{\large N}}\otimes {\mathbf{\large S}}\) is p-tuple of \((n,m)\)-\(\mathcal{D}\)-normal operators. □
The converse of the above theorem need not hold in general, as shown in the following example.
Example 3.1
Let and . A direct calculation shows that
and
Let \({\mathbf{\large N}}= (N_{1},N_{2} )\) and \({\mathbf{\large N}}\otimes {\mathbf{\large N}}= (N_{1}\otimes N_{1},N_{2} \otimes N_{2}) ) \). We observe that N is not 2-tuple of \((2,3)\)-\(\mathcal{D}\)-normal operators since \(N_{1}N_{2}\neq N_{2}N_{1}\). However
Hence, \({\mathbf{\large N}}\otimes {\mathbf{\large N}}\) is 2-tuple of \((2,3)\)-\(\mathcal{D}\)-normal pairs.
In the following theorem we give the conditions under which the converse of Theorem 3.1 is true.
Theorem 3.2
Let \({\mathbf{\large N}}=(N_{1},\ldots ,N_{p})\in { \mathbf{B}}_{d}[\mathbf{K}]^{p}\) and \({\mathbf{\large S}}=(S_{1},\ldots ,S_{p})\in { \mathbf{B}}_{d}[\mathbf{K}]^{p}\) be a commuting p-tuple of operators. Then, if \({\mathbf{\large N}}\otimes {\mathbf{\large S}}\) is a p-tuple of \((n,n)\)-\(\mathcal{D}\)-normal operators, then and only then N and S are p-tuples of \((n,n)\)-\(\mathcal{D}\)-normal operators.
Proof
Assume that \({\mathbf{\large N}}\otimes {\mathbf{\large S}}\) is a p-tuple of \((n,n)\)-\(\mathcal{D}\)-normal operators. By taking into account the statement (1) of Proposition 2.1 it follows that
is a p-tuple of normal operators. From which we deduce that
is normal for each \(k=1,\ldots ,p\). By [19, Propositon 3.2] it is well known that
However, According to [19, Propositon 3.2] it is well known that \((N_{k}^{\mathcal{D}} )^{n}\) is normal if and only if that \(N_{k}\) is n-power \(\mathcal{D}\)-normal and similarly, \((S_{k}^{ \mathcal{D}} )^{n}\) is normal if and only if that \(S_{k}\) is n-\(\mathcal{D}\)-normal. Therefore, N and S are p-tuple of \((n,n)\)-\(\mathbb{D}\)-normal operators.
The converse follows from Theorem 3.1. □
Data Availability
No datasets were generated or analysed during the current study.
References
Abdul Hussein, S.S., Ali Shubber, H.: Spectral theory of \((n, m)\)-normal operators on Hilbert space. J. Interdiscip. Math. 24(7), 1907–1915 (2021)
Abdul Hussein, S.S., Ali Shubber, H.: Spectral theory of n-normal operators on Hilbert space. J. Interdiscip. Math. 24(7), 1871–1877 (2021)
Abood, E.H., Al-loz, M.A.: On some generalization of normal operators on Hilbert space. Iraqi J. Sci. 56(2C), 1786–1794 (2015)
Abood, E.H., Al-loz, M.A.: On some generalizations of \((n,m)\)-normal powers operators on Hilbert space. J. Progressive Res. Math. 7(3)
Al-Dohiman, A.A.: Joint n-normality of linear transformations. J. Math. Comput. Sci. 25, 361–369 (2022)
Alzuraiqi, S.A., Patel, A.B.: On n-normal operators. Gen. Math. Notes 1(2), 61–73 (2010)
Athavale, A.: On joint hyponormality of operators. Proc. Am. Math. Soc. 103(2), 417–423 (1988)
Baklouti, H., Feki, K.: Commuting tuples of normal operators in Hilbert spaces. Complex Anal. Oper. Theory 14, 56 (2020). https://doi.org/10.1007/s11785-020-01013-2
Baklouti, H., Feki, K., Mahmoud, O.A., Ahmed, S.: Joint numerical ranges of operators in semi-Hilbertian spaces. Linear Algebra Appl. 555, 26628 (2018)
Baklouti, H., Feki, K., Mahmoud Sid Ahmed, O.A.: Joint normality of operators in semi-Hilbertian spaces. Linear Multilinear Algebra. https://doi.org/10.1080/03081087.2019.1593925
Ben-Israel, A., Greville, T.N.E.: Generalized Inverses: Theory and Applications, 2nd edn. Springer, New York (2003)
Campbell, S.L., Meyer, C.D.: Generalized Inverses of Linear Transformations. Dover, New York (1991) Originally published: Pitman, London, 1979
Caradus, S.R.: Operators Theory of the Generalized Inverse. Queen’s Papers in Pure and Appl. Math., vol. 38. Queen’s University, Kingston, Ontario (1974)
Caradus, S.R.: Operator Theory of the Generalized Inverse. Science Press, New York (2004)
Chō, M., Beiba, E.M., Mahmoud Sid Ahmed, O.A.: \((n_{1},\ldots ,n_{p})\)-quasi-m-isomtric tuple of operators. Ann. Funct. Anal. (2020). https://doi.org/10.1007/s43034-020-00093-7
Chō, M., Mahmoud Sid Ahmed, O.A.: \((A,m)\)-Symmetric commuting tuple of operators on a Hilbert space. J. Inequal. Appl. 22(3), 931–947 (2019)
Conway, J.B.: A Course in Functional Analysis, 2nd edn. Springer, Berlin Heildelberg, New York (1990)
Curto, R.E., Muhly, P.S., Xia, J.: Hyponormal pairs of commuting operators. In: Gohberg, I., Helton, J.W., Rodman, L. (eds.) Contributions to Operator Theory and Its Applications (Mesa, AZ, 1987). Operator Theory: Advances and Applications, vol. 35, pp. 1–22. Birkhäuser, Basel-Boston (1988)
Dana, M., Yousefi, R.: On the classes of D-normal operators and D-quasi-normal operators. Oper. Matrices 12(2), 465–487 (2018)
Dana, M., Yousefi, R.: On a new class of generalized normal operators. Complex Anal. Oper. Theory (2019). https://doi.org/10.1007/s11785-019-00916-z
Dana, M., Yousefi, R.: Some results on the classes of D-normal operators and n-power D-normal operators. Results Math. 74(1), 24 (2019)
Fuglede, B.: A commutativity theorem for normal operators. Proc. Natl. Acad. Sci. 36, 35–40 (1950)
Gleason, J., Richter, S.: m-Isometric commuting tuples of operators on a Hilbert space. Integral Equ. Oper. Theory 56(2), 181–196 (2006)
Jibril, A.A.S.: On n-power normal operators. J. Inf. Sci. Eng. 33(2A), 247–251 (2008)
Kathurima, I.: Putnam Fuglede theorem for n-power normal and w-hyponormal operators. Pioneer J. Math. Math. Sci. 21(1), 53–74 (2017)
King, C.F.: A note of Drazin inverses. Pac. J. Math. 70, 383–390 (1977)
Mahmoud Sid Ahmed, O.A., Alshammari, H.O.: Joint m-quasihyponormal operators on a Hilbert space. Ann. Funct. Anal. 12, 42 (2021). https://doi.org/10.1007/s43034-021-00130-z
Mahmoud Sid Ahmed, O.A., Sid Ahmed, O.B.: On the classes of \((n, m)\)-power D-normal and \((n,m)\)-power D-quasi-normal operators. Oper. Matrices 13(3), 705–732 (2019)
Messaoud, G., El Moctar, O.B., Mahmoud Sid Ahmed, O.A.: Joint A-hyponormality of operators in semi-Hilbert spaces. Linear Multilinear Algebra. 69(15), 2888–2907 (2021)
Putnam, C.R.: On normal operators in Hilbert space. Am. J. Math. 73, 357–362 (1951)
Radjabalipour, M.: An extension of Putnam-Fuglede theorem for hyponormal operators. Math. Z. 194(1), 117–120 (1987)
Rakoc̆ević, V.: Continuity of Drazin inverse. J. Oper. Theory 41, 55–68 (1999)
Sid Ahmed, O.B., Mahmoud Sid Ahmed, O.A.: On the class of n-power D-m-quasinormal operator on Hilbert spaces. Oper. Matrices 14(1), 159–174 (2020). https://doi.org/10.7153/oam-2020-14-13
Wang, G., Wei, Y., Qiao, S.: Generalized Inverses: Theory and Computations. Grad. Ser. Math. Science Press, Beijing (2004)
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
Hadi Obaid Alshammari conceived and designed the study, conducted the experiments, analyzed the data, and wrote the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
AlShammari, H.O. Higher order \((n,m)\)-Drazin normal operators. J Inequal Appl 2024, 18 (2024). https://doi.org/10.1186/s13660-024-03095-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-024-03095-4