On the structure of the solutions to the matrix equation G^*JG=J

12/14/2021
βˆ™
by   Alan Edelman, et al.
βˆ™
0
βˆ™

We study the mathematical structure of the solution set (and its tangent space) to the matrix equation G^*JG=J for a given square matrix J. In the language of pure mathematics, this is a Lie group which is the isometry group for a bilinear (or a sesquilinear) form. Generally these groups are described as intersections of a few special groups. The tangent space to {G: G^*JG=J } consists of solutions to the linear matrix equation X^*J+JX=0. For the complex case, the solution set of this linear equation was computed by De TerΓ‘n and Dopico. We found that on its own, the equation X^*J+JX=0 is hard to solve. By throwing into the mix the complementary linear equation X^*J-JX=0, we find that rather than increasing the complexity, we reduce the complexity. Not only is it possible to now solve the original problem, but we can approach the broader algebraic and geometric structure. One implication is that the two equations form an π”₯ and π”ͺ pair familiar in the study of pseudo-Riemannian symmetric spaces. We explicitly demonstrate the computation of the solutions to the equation X^*JΒ± XJ=0 for real and complex matrices. However, any real, complex or quaternionic case with an arbitrary involution (e.g., transpose, conjugate transpose, and the various quaternion transposes) can be effectively solved with the same strategy. We provide numerical examples and visualizations.

READ FULL TEXT
research
βˆ™ 10/07/2021

Palindromic linearization and numerical solution of nonsymmetric algebraic T-Riccati equations

We identify a relationship between the solutions of a nonsymmetric algeb...
research
βˆ™ 06/27/2023

Matrix equation representation of convolution equation and its unique solvability

We consider the convolution equation F*X=B, where Fβˆˆβ„^3Γ— 3 and Bβˆˆβ„^mΓ— n ...
research
βˆ™ 11/08/2022

Finding twin smooth integers by solving Pell equations

Any pair of consecutive B-smooth integers for a given smoothness bound B...
research
βˆ™ 10/01/2021

Robust iteration methods for complex systems with an indefinite matrix term

Complex valued systems with an indefinite matrix term arise in important...
research
βˆ™ 02/06/2020

Numerical verification for asymmetric solutions of the HΓ©non equation on the unit square

The HΓ©non equation, a generalized form of the Emden equation, admits sym...
research
βˆ™ 11/24/2021

Processing of optical signals by "surgical" methods for the Gelfand-Levitan-Marchenko equation

We propose a new method for solving the Gelfand-Levitan-Marchenko equati...
research
βˆ™ 09/01/2023

Effective equation solving, constraints and growth in virtually abelian groups

In this paper we study the satisfiability and solutions of group equatio...

Please sign up or login with your details

Forgot password? Click here to reset