New subclasses of the class of \( \mathcal H \)-matrices and related bounds for the inverses (Q2405048): Difference between revisions

The strictly diagonally dominant matrices (SDD) form a subclass of \(\mathcal{H}\), the class of \(\mathcal{H}\)-matrices. Many intermediate subclasses \(\mathcal{K}\) satisfying \(\mathrm{SDD} \subseteq\mathcal{K}\subseteq \mathcal{H}\) have been considered. Some example are the Nekrasov class (N), and the classes \(S\)-SDD, \(S\)N, and QN. With the standard decomposition \(A=L+D+U\) of \(A\in\mathbb{C}^{n\times n}\), define \(N(A)=|D|(|D|-|L|)^{-1}|U|\), then \(A\in \mathrm{N}\) if \(N(A)\) is SDD. The classes \(S\)-SDD and \(S\)N are generalizations of SDD and N respectively, based on the selection of a subset \(S\subset \langle n\rangle=\{1,\dots,n\}\), and \(A\in\mathrm{QN}\) if \(Q(A)=(|D|-|U|)^{-1}N(A)\) is SDD. These different subclasses are important because they can provide particular estimates for \(\|A^{-1}\|_\infty\). In this paper, generalizations P\(\mathcal{H}\)N\((\pi)\) and P\(\mathcal{H}\)QN\((\pi)\) are considered that depend on a partition \(\pi=\{P_1,\ldots,P_m\}\) of \(\langle n\rangle\). A matrix \(A\) is in P\(\mathcal{H}(\pi)\) if \(A\Delta\in \mathrm{SDD}\) where \(\Delta=\mathrm{diag}(\Delta_1,\dots,\Delta_m)\) with \(\Delta_i=c_i I_i\) with \(c_i\in\mathbb{C}\setminus\{0\}\) and \(I_i\) the identity corresponding to the cardinality of \(P_i\). \(A\in\mathrm{P}\mathcal{H}\mathrm{N}(\pi)\) means that \(N(A)\in \mathrm{P}\mathcal{H}\mathrm{N}(\pi)\) etc. Inclusions like \(\mathrm{P}\mathcal{H}(\pi)\subseteq \mathrm{P}\mathcal{H}\mathrm{N}(\pi) \subseteq\mathrm{P}\mathcal{H}\mathrm{QN}(\pi)\) then hold. Particular cases result from special choices of \(\pi\) like if \(\pi=\{S,S^c\}\) with \(S^c=\langle n\rangle\setminus S\) then \(\mathrm{P}\mathcal{H}\mathrm{N}(\pi)=S\mathrm{N}\) and \(\mathrm{P}\mathcal{H}\mathrm{QN}=S\mathrm{QN}\). Some of the main results are that \(A\in\mathrm{P}\mathcal{H}\mathrm{N}(\pi)\) if there is a diagonal \(\Delta\) as described above such that \(A\Delta\in\mathrm{N}\) and \(A\in\mathrm{P}\mathcal{H}\mathrm{QN}(\pi)\) if \(A\Delta\in\mathrm{QN}\). Corresponding estimates for \(\|A^{-1}\|_\infty\) are given and block versions for \(\mathrm{P}\mathcal{H}\mathrm{N}(\pi)\) and \(\mathrm{P}\mathcal{H}\mathrm{QN}(\pi)\) are considered.