Cauchy matrix and Liouville formula of quaternion impulsive dynamic equations on time scales

In this study, we obtain the scalar and matrix exponential functions through a series of quaternion-valued functions on time scales. A sufficient and necessary condition is established to guarantee that the induced matrix is real-valued for the complex adjoint matrix of a quaternion matrix. Moreover, the Cauchy matrices and Liouville formulas for the quaternion homogeneous and nonhomogeneous impulsive dynamic equations are given and proved. Based on it, the existence, uniqueness, and expressions of their solutions are also obtained, including their scalar and matrix forms. Since the quaternion algebra is noncommutative, many concepts and properties of the non-quaternion impulsive dynamic equations are ineffective, we provide several examples and counterexamples on various time scales to illustrate the effectiveness of our results.

An inverse problem for the non-self-adjoint matrix Sturm-Liouville operator

The inverse problem of spectral analysis for the non-self-adjoint matrix Sturm-Liouville operator on a finite interval is investigated. We study properties of the spectral characteristics for the considered operator, and provide necessary and sufficient conditions for the solvability of the inverse problem. Our approach is based on the constructive solution of the inverse problem by the method of spectral mappings. The characterization of the spectral data in the self-adjoint case is given as a corollary of the main result.

Almost commuting self-adjoint matrices: The real and self-dual cases

We show that a pair of almost commuting self-adjoint, symmetric matrices is close to a pair of commuting self-adjoint, symmetric matrices (in a uniform way). Moreover, we prove that the same holds with self-dual in place of symmetric and also for paths of self-adjoint matrices. Since a symmetric, self-adjoint matrix is real, we get a real version of Huaxin Lin’s famous theorem on almost commuting matrices. Similarly, the self-dual case gives a version for matrices over the quaternions.To prove these results, we develop a theory of semiprojectivity for real [Formula: see text]-algebras and also examine various definitions of low-rank for real [Formula: see text]-algebras.