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.
Similar content being viewed by others
Notes
The definitions of adjugate \(\mathrm{Adj}(D)\), determinant \(\mathrm{Det}(D)\), and inverse \(D^{-1}\) in \({C}\!\ell _{p,q}\) for an arbitrary n are given in [25].
Analytic proof is also possible using the methods from [1].
Explicit formulas for the coefficients \(b_{(1)}\), ..., \(b_{(8)}\) are presented in [1].
Note that the same is not true for the expressions for characteristic polynomial coefficients from Theorem 3.1. For example, \(B\widehat{\widetilde{B}}(\widehat{B} \widetilde{B})^{\triangle }\in {C}\!\ell ^0_{p,q}\oplus {C}\!\ell ^1_{p,q}\oplus {C}\!\ell ^4_{p,q}\ne \mathrm{cen}({C}\!\ell _{p,q})\) in the case \(n=5\), see the details in [25].
Analytic proof is also possible using the methods from [1].
Here and below we denote the integer part of the number \(\frac{n+1}{2}\) by \([\frac{n+1}{2}]\).
Note that using the recursive formulas \(B_{(k+1)}=B (B_{(k)}-b_{(k)})\), the expression (5.5) can be reduced to the form \(\sum _{i, j} b_{ij} A^i C B^j\) with some scalars \(b_{ij}\in {\mathbb R}\).
In the case of odd n, the integer part of the number \(\frac{n+1}{2}\) is equal to \([\frac{n+1}{2}]=\frac{n+1}{2}\in {{\mathbb {Z}}}\).
Here and below we denote the integer part of \(\log _2 n\) by \([\log _2 n\)].
In the above example, we use the three operations \(\widehat{B}\), \(\widetilde{B}\), and \(B^\triangle \) in the cases \(4 \le n \le 7\), the four operations \(\widehat{B}\), \(\widetilde{B}\), \(B^\triangle \), and \(B^\square \) in the cases \(8 \le n \le 15\).
Note that \(B^{\triangle _1}=\widehat{B}\), \(B^{\triangle _2}=\widetilde{B}\), \(B^{\triangle _3}=B^\triangle \), and \(B^{\triangle _4}=B^\square \).
References
K. Abdulkhaev, D. Shirokov, On explicit formulas for characteristic polynomial coefficients in geometric algebras, In: Advances in Computer Graphics. CGI 2021. Lecture Notes in Computer Science. Springer, 2021, 12 pp. (to appear)
Acus, A., Dargys, A.: The Inverse of a Multivector: Beyond the Threshold \(p+q=5\). Adv. Appl. Clifford Algebras 28, 65 (2018)
E. Bayro-Corrochano, Geometric Algebra Applications Vol. I, Springer, 2019
P. Dadbeh, Inverse and determinant in 0 to 5 dimensional Clifford algebra, arXiv:1104.0067, (2011)
A. Dargys, A. Acus, A note on solution of \(ax+xb=c\) by Clifford algebras, arXiv:1902.09194, (2019)
Doran, C., Lasenby, A.: Geometric Algebra for Physicists. Cambridge Univ. Press, Cambridge (2003)
L. Dorst, D. Fontijne, S. Mann, Geom. Alg. for Comp. Sc., Morgan Kaufmann Ser. in Comp. Graph., San Francisco, 2007
Helmstetter, J.: Characteristic polynomials in Clifford algebras and in more general algebras Adv. Appl. Clifford Algebras 29, 30 (2019)
Hestenes, D.: Space-Time Algebra. Gordon and Breach, New York (1966)
Hestenes, D., Sobczyk, G.: Clifford Algebra to Geometric Calculus. Reidel Publishing Company, Dordrecht Holland (1984)
Hildenbrand, D.: Foundations of Geometric Algebra Computing. Springer, New York (2013)
E. Hitzer, Geometric operations implemented by conformal geometric algebra neural nodes, Proc. SICE Symposium on Systems and Information (2008), 357–362
Hitzer, E., Sangwine, S.: Multivector and multivector matrix inverses in real Clifford algebras. Appl. Math. Comput. 311, 375–389 (2017)
Hitzer, E., Sangwine, S.J.: Construction of Multivector Inverse for Clifford Algebras Over 2m+1-Dimensional Vector Spaces from Multivector Inverse for Clifford Algebras Over 2m-Dimensional Vector Spaces. Adv. Appl. Clifford Algebras 29, 29 (2019)
Janovska, D., Opfer, G.: Linear equations in quaternionic variables. Mitt. Math. Ges. Hamburg 27, 223–234 (2008)
Lawson, H.B., Michelsohn, M.-L.: Spin geometry. Princeton Univ. Press, Princeton (1989)
H. Li, Invariant Algebras and Geometric Reasoning, World Scientific Publ., 2008
Lounesto, P.: Clifford Algebras and Spinors. Cambridge Univ. Press, Cambridge (1997)
Porteous, I.R.: Clifford Algebras and the Classical Groups. Cambridge University Press, Cambridge (1995)
C. Schwartz, Linear equations for noncommutative algebras. Available: http://socrates.berkeley.edu/ schwrtz/Linear.pdf, 2013
Shao, C., Li, H., Huang, L.: Basis-free Solution to General Linear Quaternionic Equation. Linear Multilinear Algebra 68(3), 435–457 (2020)
D. S. Shirokov, Clifford algebras and their applications to Lie groups and spinors, Proceedings of the 19 International Conference on Geometry, Integrability and Quantization, Avangard Prima, Sofia. 2018; 11-53. arXiv:1709.06608
D.S. Shirokov, Concepts of trace, determinant and inverse of Clifford algebra elements, Progress in analysis. Proceedings of the 8th congress of ISAAC, Volume 1, Peoples’ Friendship University of Russia (ISBN 978-5-209-04582-3/hbk), 2012, 187-194; arXiv: 1108.5447 (2011)
D. S. Shirokov, On basis-free solution to Sylvester equation in geometric algebra, In: Magnenat-Thalmann N. et al. (eds) Advances in Computer Graphics. CGI 2020. Lecture Notes in Computer Science, vol 12221. Springer, Cham, 541–548
D. S. Shirokov, On computing the determinant, other characteristic polynomial coefficients, and inverse in Clifford algebras of arbitrary dimension, Computational and Applied Mathematics, 40, 173, 29 pp. (2021). arXiv:2005.04015
J. J. Sylvester, Sur l’equations en matrices \(px = xq\), C.R. Acad. Sci. Paris. 99(2): 67-71, 115-116, 1884
Acknowledgements
This work is supported by the grant of the President of the Russian Federation (project MK-404.2020.1). The research presented in this paper was stimulated by discussions of the author with Prof. Hongbo Li during scientific visit to the Chinese Academy of Sciences, Academy of Mathematics and Systems Science (Beijing, China) in 2019, for which the author is grateful. The author is grateful to Prof. Nikolay Marchuk for fruitful discussions. The results of this paper were reported at the International Conference “Computer Graphics International 2020 (CGI2020)” (Geneva, Switzerland, October 2020). The author is grateful to the organizers and the participants of this conference for fruitful discussions. The author is grateful to the editor, Prof. Eckhard Hitzer, and two anonymous reviewers for their careful reading of the paper and helpful comments on how to improve the presentation.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This article is part of the ENGAGE 2020 Topical Collection on Geometric Algebra for Computing, Graphics and Engineering edited by Werner Benger, Dietmar Hildenbrand, Eckhard Hitzer, and George Papagiannakis.
Rights and permissions
About this article
Cite this article
Shirokov, D. Basis-free Solution to Sylvester Equation in Clifford Algebra of Arbitrary Dimension. Adv. Appl. Clifford Algebras 31, 70 (2021). https://doi.org/10.1007/s00006-021-01173-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00006-021-01173-0
Keywords
- Clifford algebra
- Geometric algebra
- Sylvester equation
- Lyapunov equation
- characteristic polynomial
- Basis-free solution