Basis-free solution to Sylvester equation in Clifford algebra of arbitrary dimension

Abstract

The Sylvester equation and its particular case, the Lyapunov equation, are widely used in image processing, control theory, stability analysis, signal processing, model reduction, and many more. We present basis-free solution to the Sylvester equation in Clifford (geometric) algebra of arbitrary dimension. The basis-free solutions involve only the operations of Clifford (geometric) product, summation, and the operations of conjugation. To obtain the results, we use the concepts of characteristic polynomial, determinant, adjugate, and inverse in Clifford algebras. For the first time, we give alternative formulas for the basis-free solution to the Sylvester equation in the case $n=4$, the proofs for the case $n=5$ and the case of arbitrary dimension $n$. The results can be used in symbolic computation.