- Research Article
Some New Results on Determinantal Inequalities and Applications
Journal of Inequalities and Applicationsvolume 2010, Article number: 847357 (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.
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.
2. Estimations for Matrix Determinants
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 .
For any , set , where
Since is a nonsingular -matrix and , then by Lemma 2.1, and nonsingular.
Note that is a continuous function in ; if
then there exists a real number such that , which is contrary to the fact that is nonsingular. Therefore, we have that
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 ).
Let ; if , then exists and
Let ; if , then
Our method is very simple. Note that
where denotes the submatrix of obtained by deleting row and column . So, we obtain by Lemma 2.4, for ,
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.
If , then
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.
If is a nonsingular -matrix, then
Especially, one has that
where is defined by the following recursive equations:
First, by Theorem 2.2, one knows that . Second, by [16, Lemma ], we have that
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.
Let be an matrix and , then
By the definition of the matrix norm, there exists an -dimensional vector with such that
where and . Now denote that , then
Then substituting (2.20a) in (2.20b), we have that
The proof is completed.
If () is an matrix, then
The following theorem is analogous to (1.7).
Let be an matrix, then
where , . By Schur's Theorem (see ), we have that
In addition, by Lemma 2.9, we get that
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 ).
For the block matrix defined by (2.31), let be nonsingular for all . Then
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.
If is a nonsingular -matrix, then
Let be partitioned into
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
Denote that , then , that is,
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.
If is a nonsingular -matrix, then
If is a nonsingular -matrix, then exists and
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 ,
then is said to be an - matrix and nonsingular, where
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.
For an -matrix , it holds that
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.
Let , then one may write it as , where
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
3. Applications to Some Estimations for Numerical Characters of Matrices
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.
If , then exists and
where is as in Lemma 2.4. If , then
where , , and are as in Theorem 2.18.
For (3.2), by [27, Theorem ], we have that
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.
If , then
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.
Vein R, Dale P: Determinants and Their Applications in Mathematical Physics, Applied Mathematical Sciences. Volume 134. Springer, New York, NY, USA; 1999:xiv+376.
Gil' MI: Operator Functions and Localization of Spectra, Lecture Notes in Mathematics. Volume 1830. Springer, Berlin, Germany; 2003:xiv+256.
Gil' MI, Cheng SS: Solution estimates for semilinear difference-delay equations with continuous time. Discrete Dynamics in Nature and Society 2007, 2007:-8.
Krattenthaler C: Advanced determinant calculus: a complement. Linear Algebra and Its Applications 2005, 411: 68–166.
Horn RA, Johnson CR: Matrix Analysis. Cambridge University Press, Cambridge, UK; 1985:xiii+561.
Varga RS: Geršgorin and His Circles, Springer Series in Computational Mathematics. Volume 36. Springer, Berlin, Germany; 2004:x+226.
Berman A, Plemmons RJ: Nonnegative Matrices in the Mathematical Sciences, Classics in Applied Mathematics. Volume 9. SIAM, Philadelphia, Pa, USA; 1994:xx+340.
Li B, Tsatsomeros MJ: Doubly diagonally dominant matrices. Linear Algebra and Its Applications 1997, 261: 221–235. 10.1016/S0024-3795(96)00406-5
Ostrowski AM: Sur la determination des borns inferieures pour une class des determinants. Bulletin des Sciences Mathmatiques 1937, 61(2):19–32.
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-2
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-7
Huang T-Z, Liu X-P: Estimations for certain determinants. Computers & Mathematics with Applications 2005, 50(10–12):1677–1684.
Kolotilina LYu: Bounds for the determinants and inverses of some -matrices. Zapiski Nauchnykh Seminarov (POMI) 2007, 346(1):81–102.
Horn RA, Johnson CR: Topics in Matrix Analysis. Cambridge University Press, Cambridge, UK; 1991:viii+607.
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.008
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.018
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.002
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/s102550200009
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-3
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.036
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.005
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.013
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/S0895479800370342
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.524
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.
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/S0895479894276370
Shi ZC, Wang BY: Several numerical characters of certain classes of matrices. Acta Mathematica Sinica 1965, 15(3):326–341.
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-5
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).