- Research Article
- Open Access
Some New Results on Determinantal Inequalities and Applications
© Hou-Biao Li et al. 2010
- Received: 23 August 2009
- Accepted: 28 December 2009
- Published: 12 January 2010
Some new upper and lower bounds on determinants are presented for diagonally dominant matrices and general -matrices by using different methods. These bounds are some improvements of results given by Ostrowski (1952) and (1937), Price (1951), Wang and Zhang (2002), Huang and Liu (2005), and so forth. In addition, these bounds are also used to localize some numerical characters (e.g., the minimum eigenvalues, singular values and condition numbers) of certain matrices.
- Mathematical Physic
- Nonempty Subset
- Small Eigenvalue
- Block Matrix
- Matrix Norm
As it is well known, the determinant has a long history of application, which can be traced back to Leibniz (1646–1716), and its properties were developed by Vandermonde (1735–1796), Laplace (1749–1827), Cauchy (1789–1857) Jacobi (1804–1851), and so forth; see . So it has hitherto great influence on every branch of mathematics (see, e.g., [1–4]).
Throughout the paper, let ( ) denote the set of all complex (real) matrices and . For and any , we define
According to [5, 6], a matrix is called a diagonally dominant( ) one, if for any , , and a square matrix is strictly (row) diagonally dominant( ) if for each . A nonsingular -matrix  is a -matrix (i.e., all its off-diagonal elements are nonpositive) with nonnegative inverse, and a matrix is an -matrix ( ) if and only if its comparison matrix is a nonsingular -matrix, where
In addition, there are various generalizations of class. Recall that a doubly strictly diagonally dominant( )  is a matrix such that for all , one has
If there exists a positive diagonal matrix such that , then is generalized strictly diagonally dominant( ). A matrix is nothing but an -matrix (see [7, page 185]).
The estimation for determinants ( ) is an attractive topic in matrix theory and numerical analysis, especially in mathematical physics, since computers are not very valid for analysis of matrices with parameters, which plays an essential role in various applications (see, [1–3]). Therefore, this problem has been discussed by many articles and some elegant and useful results were obtained as follows.
First, Ostrowski  proved, under the hypothesis , that
Subsequently, Price  suggested another new expression as
In , the above inequalities (1.4)-(1.5) are improved in such a way, for an arbitrary index , that
where with and representing and , respectively.
Recently, Huang and Liu  presented the following result, for , that
In 2007, Kolotilina  also obtained some interesting results for a subclass, referred to as PBDD( ), of the class of nonsingular -matrices.
Inspired by these works, we will exhibit some new upper and lower bounds for determinants with principal diagonal dominant and general -matrices by using different methods, which improve on the above inequalities (1.4)–(1.7). Finally, these bounds are used to localize some numerical characters, for example, the minimum eigenvalues, singular values, the condition number of matrix, and so forth.
This paper is organized as follows. In Section 2, we present some notations and preliminary results for certain determinants by using different methods. Subsequently, we apply them to estimate for some bounds of some numerical characters of matrices in Section 3.
First, let us consider the problem on the signs of determinants.
Lemma 2.1 (see ).
Let and let be an -matrix; if , then and .
For any nonsingular -matrix, ; if its determinant is a real number, then ( ) if and only if .
Since is a nonsingular -matrix and , then by Lemma 2.1, and nonsingular.
Note that is a continuous function in ; if
Thus, the proof is completed.
For these results in this paper, one can obtain much sharper estimates on determinants by computing the signs of determinants using Theorem 2.2.
Next, we establish some new bounds of determinants by using different techniques.
2.1. Determinants and Inverses of Matrices
In this section, we firstly give some lemmas, involving about some inequalities for the entries of matrix . They will be useful in the following proofs.
In addition, for convenience, we will denote by the principal submatrix of formed from all rows and all columns with indices between and inclusively, for example, is the submatrix of obtained by deleting the first row and the first column of .
Lemma 2.4 (see ).
Since , then . Thus if one applies the induction with respect to to , by using (2.8), then it is not difficult to get the left inequality of (2.6). Similarly, the right inequality of (2.6) can be also proved.
Note that, for each , the row dominance factor for does not exceed the corresponding factor for (assuming that the original row indices of remain "attached" to the rows in ). Hence the following corollary is obvious.
Obviously, the above results improve the inequalities (1.4)–(1.7). In fact, if and is nonsingular, then (for any ). By continuity, one knows that Theorem 2.5 and Corollary 2.6 hold for any nonsingular , too.
In addition, if is a nonsingular -matrix, then we can obtain the sharper bounds.
Similar to the proof of Theorem 2.5, one may deduce inequality (2.10).
Finally, by the definition of , it is easy to see that
Therefore, inequality (2.11) is obvious. The proof is completed.
In addition, it is worthy to mention that there exist some other choices for the number in Lemma 2.4 and Theorem 2.5, which may be better than for some matrices. But they seem complicated for the computation. For example, the number in [15, 17] is given as
2.2. Determinants and the Max-Norm
Now let us consider relationships between determinants and the max-norm of matrices.
Here, for a vector and a matrix , and mean and , respectively.
The proof is completed.
The following theorem is analogous to (1.7).
Thus substituting (2.29) in (2.28) and applying (2.28) to , one can get inequality (2.24) by induction. The proof is completed.
In fact, the problem of bounding satisfying certain assumptions was considered in some literature; see [13, 16, 18, 20]. Recently, Kolotilina  also obtained some interesting results for the so-called - and -matrices, which form a subclass of nonsingular - and -matrices, respectively.
Let , , and let
be a partitioning of the index set into disjoint nonempty subsets. Denote that and represent in the following block form:
Then the following result was obtained in .
Lemma 2.13 (see ).
Obviously, by Lemma 2.13, many of results on can be generalized to the block case. Note that one usually needs to compute many good inverses of submatrices for a large matrix. However, the result (2.32) can not be improved to , since we have that , where
For example, let us consider the following block-partitioned matrix:
It is easy to compute that , but . In the same time, it shows that the bound (2.32) is sharp.
2.3. Determinants of - and -Matrices
First, according to the proof of Theorem 2.12, one may further obtain the following conclusion for general -matrices.
Let , where , , and are diagonal, strict upper and strict lower triangular parts of , respectively. Since and is also nonsingular -matrix, then, by Lemma 2.1, . So
Applying the induction with respect to , to , the result (2.36) is obtained and the proof is completed.
In the above proof, if we replace with , then the following result can be obtained.
Next, let us consider some -matrices. For a general -matrix , as it is well known, there exists a positive diagonal matrix such that . For example, the following -strictly diagonally dominant matrices ( - ) are illustrated.
Given any nonempty subset of , let denote its complement in . If ( ) satisfies
(1) , for all ,
(2) , for all ,
For - matrices, we may let , where
then . In addition, analogous to , one may choose the permutation matrix such that
where the entries are monotonically ordered as . Thus, all results on also hold for the general -matrix , since . For example, we apply Corollary 2.6 to , then we obtain the following result.
where , , and ; is as in (2.50).
Finally, it is mentioned that, for many matrices which are not diagonally dominant, specially when the off-diagonal entries of each row have close values, one may make use of -matrices to obtain better lower bounds of determinant.
If , then is called a -matrix (denoted by ) and , where , .
For example, let us consider the following two matrices:
Obviously, they are not strictly diagonally dominant matrices neither are they -matrices. Now by Definition 2.19, we, respectively, have that
that is, and are both -matrices. According to Corollary 2.6 (or other results) and Definition 2.19, we further have that
In this section, we will apply some results in Section 2 to get some simple and interesting estimates for some numerical characters of matrices. Regarding other applications such as the stability of finite and infinite dimensional systems and the solutions of nonlinear equations of mathematical physics, we refer readers to [1, 2, 25] for full details.
For convenience, we will use the following notations and definitions. For , we denote by , and , for all , Frobenius norm, its eigenvalues and singular values, respectively. And we assume that
Set , for any , and define for all . Clearly, the value of or can serve as a kind of measure for the nonsingularity of . Especially, the smallest eigenvalue can characterize certain properties of corresponding physical systems. For example, it represents decay rates of signals in linear electrical circuits . In this section, we find their lower bounds.
where , , and are as in Theorem 2.18.
Note that . According to Lemma 2.4 or Theorem 2.5, the conclusion (3.2) can be easily followed.
Similarly, by [27, Theorem ],
and by Theorem 2.18, the result (3.3) also holds.
In addition, we may apply the above results to investigate the estimation of singular values and the condition number , since, for any matrix ,
(see ). For example, applying Corollary 2.6 to (3.6) and (3.7), respectively, we have the following results.
Finally, let us recall another result on the estimate of the smallest singular values. In 2002, an interesting result for a nonsingular complex matrix of order as a function of , , and singular values is due to Piazza and Politi :
So, by (3.10), let and note that (3.6), then
which implies that
Applying those inequalities on determinants in Section 2 to (3.12), one may further obtain many more interesting conclusions.
The authors sincerely thank reviewers for valuable comments and suggestions, which led to a substantial improvement on the presentation of this paper. In addition, the authors are supported in part by NSFC (160973015), Sichuan Province Project for Applied Basic Research (2008JY0052), the Project for Academic Leader, Group of UESTC and Young Scholar Research Foundation of UESTC (L08011001JX0776), and the China Postdoctoral Science Foundation (20090460244).
- Vein R, Dale P: Determinants and Their Applications in Mathematical Physics, Applied Mathematical Sciences. Volume 134. Springer, New York, NY, USA; 1999:xiv+376.MATHGoogle Scholar
- Gil' MI: Operator Functions and Localization of Spectra, Lecture Notes in Mathematics. Volume 1830. Springer, Berlin, Germany; 2003:xiv+256.View ArticleMATHGoogle Scholar
- Gil' MI, Cheng SS: Solution estimates for semilinear difference-delay equations with continuous time. Discrete Dynamics in Nature and Society 2007, 2007:-8.Google Scholar
- Krattenthaler C: Advanced determinant calculus: a complement. Linear Algebra and Its Applications 2005, 411: 68–166.MathSciNetView ArticleMATHGoogle Scholar
- Horn RA, Johnson CR: Matrix Analysis. Cambridge University Press, Cambridge, UK; 1985:xiii+561.View ArticleMATHGoogle Scholar
- Varga RS: Geršgorin and His Circles, Springer Series in Computational Mathematics. Volume 36. Springer, Berlin, Germany; 2004:x+226.MATHGoogle Scholar
- Berman A, Plemmons RJ: Nonnegative Matrices in the Mathematical Sciences, Classics in Applied Mathematics. Volume 9. SIAM, Philadelphia, Pa, USA; 1994:xx+340.View ArticleMATHGoogle Scholar
- Li B, Tsatsomeros MJ: Doubly diagonally dominant matrices. Linear Algebra and Its Applications 1997, 261: 221–235. 10.1016/S0024-3795(96)00406-5MathSciNetView ArticleMATHGoogle Scholar
- Ostrowski AM: Sur la determination des borns inferieures pour une class des determinants. Bulletin des Sciences Mathmatiques 1937, 61(2):19–32.MATHGoogle Scholar
- Price GB: Bounds for determinants with dominant principal diagonal. Proceedings of the American Mathematical Society 1951, 2: 497–502. 10.1090/S0002-9939-1951-0041093-2MathSciNetView ArticleMATHGoogle Scholar
- Ostrowski AM: Note on bounds for determinants with dominant principal diagonal. Proceedings of the American Mathematical Society 1952, 3: 26–30. 10.1090/S0002-9939-1952-0052380-7MathSciNetView ArticleMATHGoogle Scholar
- Huang T-Z, Liu X-P: Estimations for certain determinants. Computers & Mathematics with Applications 2005, 50(10–12):1677–1684.MathSciNetView ArticleMATHGoogle Scholar
- Kolotilina LYu: Bounds for the determinants and inverses of some -matrices. Zapiski Nauchnykh Seminarov (POMI) 2007, 346(1):81–102.MathSciNetGoogle Scholar
- Horn RA, Johnson CR: Topics in Matrix Analysis. Cambridge University Press, Cambridge, UK; 1991:viii+607.View ArticleMATHGoogle Scholar
- Li H-B, Huang T-Z, Shen S-Q, Li H: Lower bounds for the minimum eigenvalue of Hadamard product of an -matrix and its inverse. Linear Algebra and Its Applications 2007, 420(1):235–247. 10.1016/j.laa.2006.07.008MathSciNetView ArticleMATHGoogle Scholar
- Li W: The infinity norm bound for the inverse of nonsingular diagonal dominant matrices. Applied Mathematics Letters 2008, 21(3):258–263. 10.1016/j.aml.2007.03.018MathSciNetView ArticleMATHGoogle Scholar
- Li Y-T, Chen F-B, Wang D-F: New lower bounds on eigenvalue of the Hadamard product of an -matrix and its inverse. Linear Algebra and Its Applications 2009, 430(4):1423–1431. 10.1016/j.laa.2008.11.002MathSciNetView ArticleMATHGoogle Scholar
- Wang C-L, Zhang G-J: Some simple estimates for the singular values of matrices. Acta Mathematicae Applicatae Sinica 2002, 18(1):117–122. 10.1007/s102550200009MathSciNetView ArticleMATHGoogle Scholar
- Varah JM: A lower bound for the smallest singular value of a matrix. Linear Algebra and Its Applications 1975, 11: 3–5. 10.1016/0024-3795(75)90112-3MathSciNetView ArticleMATHGoogle Scholar
- Huang T-Z: Estimation of and the smallest singular value. Computers & Mathematics with Applications 2008, 55(6):1075–1080. 10.1016/j.camwa.2007.04.036MathSciNetView ArticleMATHGoogle Scholar
- Kolotilina LYu: Bounds for the infinity norm of the inverse for certain - and -matrices. Linear Algebra and Its Applications 2009, 430(2–3):692–702. 10.1016/j.laa.2008.09.005MathSciNetView ArticleMATHGoogle Scholar
- Morača N: Upper bounds for the infinity norm of the inverse of SDD and 풮 -SDD matrices. Journal of Computational and Applied Mathematics 2007, 206(2):666–678. 10.1016/j.cam.2006.08.013MathSciNetView ArticleMATHGoogle Scholar
- Peña JM: A class of -matrices with applications to the localization of the eigenvalues of a real matrix. SIAM Journal on Matrix Analysis and Applications 2001, 22(4):1027–1037. 10.1137/S0895479800370342MathSciNetView ArticleMATHGoogle Scholar
- Li H-B, Huang T-Z, Li H: On some subclasses of -matrices. Numerical Linear Algebra with Applications 2007, 14(5):391–405. 10.1002/nla.524MathSciNetView ArticleMATHGoogle Scholar
- Liu JZ, Zhang J, Liu Y: Trace inequalities for matrix products and trace bounds for the solution of the algebraic Riccati equations. Journal of Inequalities and Applications 2009, 2009:-17.Google Scholar
- Shivakumar PN, Williams JJ, Ye Q, Marinov CA: On two-sided bounds related to weakly diagonally dominant -matrices with application to digital circuit dynamics. SIAM Journal on Matrix Analysis and Applications 1996, 17(2):298–312. 10.1137/S0895479894276370MathSciNetView ArticleMATHGoogle Scholar
- Shi ZC, Wang BY: Several numerical characters of certain classes of matrices. Acta Mathematica Sinica 1965, 15(3):326–341.Google Scholar
- Piazza G, Politi T: An upper bound for the condition number of a matrix in spectral norm. Journal of Computational and Applied Mathematics 2002, 143(1):141–144. 10.1016/S0377-0427(02)00396-5MathSciNetView ArticleMATHGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.