×

On derivations arising in differential equations. (English) Zbl 0358.15011

The author’s point of departure is the following spezialized form of a theorem of B. Schwarz [Pac. J. Math. 32, 203–229 (1970; Zbl 0193.04501)]. Let \(Y(z)\) be any solution to the matrix differential equation (1) \(Y'(z) =AY(z)\) where \(A,Y\) are \(n\times n\) complex matrices. The \(p\)-th compound matrix \(C_p(Y(z))\) of \(Y(z)\), \(1\leq p\leq n\), satisfies the equation \(C_p(Y(z))'= B_p(A)C_p (Y(z))\). The \({n\choose p}\times{n\choose p}\) matrix \(B_p(A)\) is defined as follows: Let \(Q_{p,n}\) be the set of all strictly increasing sequences of \(p\) integers chosen from \(1,\dots,n\). The entries of \(B_p(A)=(b_{ij})\); \(i= (i_1,\dots,i_p), j=(j_1,\dots,j_p)\in Q_{p,n}\) with entries arranged lexicographically, are given by: \(b_{ij} = 0\), if at most \(p- 2\) of the indices of \(i\) coincide with indices of \(j\); \(b_{ij} = (-1)^{l+m}a_{i_\iota j_m}\) exactly \(p- 1\) of the indices of \(i\) coincide with indices of \(j\) and \(i_1,j_m\) is the remaining non coinciding pair; \(b_{ij}=\sum_{s=1}^pa_{i_sj_s}\) if \(i = j\).
In the present paper the author develops a number of results concerning the structure and eigenvalues of \(B_p(A)\) by using the connection with (1). For example, the eigenvalues of \(B_p(A)\) are all \({n\choose p}\) sums \(\sum_{s=1}^pa_{i_s}\) where \((i_1,\dots,i_p)\in Q_{p,n}\), and \(\alpha_1,\dots,\alpha_n\) are the eigenvalues of \(A\). Several applications of the characterizations of \(B_p(A)\) show that \(B_p(A)\) can be regarded as the additive analogue of the compound matrix \(C_p(A)\). While the compound matrix may be used to obtain inequalities for products of eigenvalues, \(B_p(A)\) may be used to obtain inequalities for sums of eigenvalues of \(A\). A corollary shows that \(B_p(A)\) is the first derivation associated with \(A\), operating on the \(p\)th Grassmann space [M. Marcus, Finite dimensional multilinear algebra (Pure and Applied Mathematics. Vol. 23. New York: Marcel Dekker) (1973; Zbl 0284.15024)].

MSC:

15A24 Matrix equations and identities
34A30 Linear ordinary differential equations and systems
Full Text: DOI

References:

[1] Fan Ky, Proc. N.A.S. (35) pp 652– (1949) · doi:10.1073/pnas.35.11.652
[2] Fan Ky, Proc. N.A.S. (36) pp 31– (1950) · doi:10.1073/pnas.36.1.31
[3] Gantmacher F.R., The Theory of Matrices (1959) · Zbl 0085.01001
[4] Horn A., Am. J.Math. 76 pp 620– (1954) · Zbl 0055.24601 · doi:10.2307/2372705
[5] Lidskii V.B., Doklady Akad. Nauk SSSR 75 pp 769– (1950)
[6] Marcus M., Finite Dimensional Multilinear Algebra (1973) · Zbl 0284.15024
[7] Marcus M., A Survey of Matrix Theory and Matrix Inequalities (1964) · Zbl 0126.02404
[8] Mirsky L., J.Math. Anal. Appl. 9 pp 99– (1964) · Zbl 0133.26202 · doi:10.1016/0022-247X(64)90009-5
[9] Schwarz B., Pacific J. Math. 32 pp 203– (1970) · Zbl 0193.04501 · doi:10.2140/pjm.1970.32.203
[10] Wielandt H., Proc. Amer. Math. 6 pp 106– (1955) · doi:10.1090/S0002-9939-1955-0067842-9
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.