Abstract
The paper provides an efficient method for obtaining powers and roots of dual complex \(2\times 2\) matrices based on a far reaching generalization of De Moivre’s formula. We also resolve the case of normal \(3\times 3\) and \(4\times 4\) matrices using polar decomposition and the direct sum structure of \(\mathfrak {so}_4\). The compact explicit expressions derived for rational powers formally extend (with loss of periodicity) to real, complex or even dual ones, which allows for defining some classes of transcendent functions of matrices in those cases without referring to infinite series or alternatively, obtain the sum of those series (explicit examples may be found in the text). Moreover, we suggest a factorization procedure for \(\mathrm {M}(n,{\mathbb {C}}[\varepsilon ])\), \(n\le 4\) based on polar decomposition and generalized Euler type procedures recently proposed by the author in the real case. Our approach uses dual biquaternions and their projective version referred to in the Euclidean setting as Rodrigues’ vectors. Restrictions to certain subalgebras yield interesting applications in various fields, such as screw geometry extensively used in classical mechanics and robotics, complex representations of the Lorentz group in relativity and electrodynamics, conformal mappings in computer vision, the physics of scattering processes and probably many others. Here we only provide brief comments on these subjects with several explicit examples to illustrate the method.
Similar content being viewed by others
Notes
Here we mean only topological isomorphisms.
Here \({\mathcal {I}}\) denotes the identity in \({\mathbb {R}}^3\) and \(\mathbf{c}^\times \) the Hodge dual to \(\mathbf{c}\), i.e., \(\mathbf{c}^\times \mathbf{a} = \mathbf{c}\times \mathbf{a}\)\(\forall \mathbf{a}\in {\mathbb {R}}^3\).
The choice of complex root \(\tau \) is linked to orientation via \(\sigma \) that is \(\mathrm{sgn\,}\mathrm{tr}\zeta \) in the real case.
Assuming rotation is applied first, otherwise the two factors need to switch places.
This approach is sometimes referred to in literature as “automatic differentiation”.
We use l’Hôpital’s rule since \(\mathrm{tr\,}\underline{{\mathcal {R}}}=0\) and thus (1.26) cannot be applied directly here.
The indices i, j, k are assumed different and summation is not implied.
References
Brezov, D.: Projective bivector parametrization of isometries in low dimensions. Geom. Integr. Quant. 20, 91–104 (2018)
Brezov, D.: Higher-dimensional representations of \({\rm SL\,}_2\) and its real forms via Plücker embedding. Adv. Appl. Clifford Algebras 27, 2375–2392 (2017)
Brezov, D., Mladenova, C., Mladenov, I.: Factorizations in special relativity and quantum scattering on the Line II, AIP Conference Proceedings, vol. 1789, pp. 020009-1–020009 -10 (2016)
Brezov, D., Mladenova, C., Mladenov, I.: Generalized Euler decompositions of some six-dimensional lie groups. AIP Conf. Proc. 1631, 282–291 (2014)
Brezov, D., Mladenova, C., Mladenov, I.: A decoupled solution to the generalized Euler decomposition problem in \({\mathbb{R}}^3\) and \({\mathbb{R}}^{2,1}\). J. Geom. Symmetry Phys. 33, 47–78 (2014)
Brezov, D., Mladenova, C., Mladenov, I.: On the decomposition of the Infinitesimal (pseudo-)rotations. CR Acad. Bulg. Sci. 67, 1337–1344 (2014)
Brezov, D., Mladenova, C., Mladenov, I.: Some new results on three-dimensional rotations and pseudo-rotations. AIP Conf. Proc. 1561, 275–288 (2013)
Cho, E.: De Moivre’s formula for quaternions. Appl. Math. Lett. 11, 33–35 (1998)
Condurache, D., Burlacu, A.: Dual tensors based solutions for rigid body motion parameterization. Mech. Mach. Theory 74, 390–412 (2014)
Fedorov, F.: The Lorentz Group. Science, Moscow (1979) (in Russian)
Kotelnikov A.: Screw calculus and some applications to geometry and mechanics (in Russian). Annuals of the Imperial University of Kazan (1895)
Özdemir, M.: Finding n-th roots of a \(2\times 2\) matrix using De Moivre’s formula. Adv. Appl. Clifford Algebras 29, 625–638 (2019)
Parkin, I.: Alternative forms for displacement screws and their pitches. In: Lenarčič, J., Wenger, P. (eds.) Advances in Robot Kinematics: Analysis and Design, pp. 193–202. Springer, Dordrecht (2008)
Piovan, G., Bullo, F.: On coordinate-free rotation decomposition euler angles about arbitrary axes. IEEE Trans. Robot. 28, 728–733 (2012)
Wittenburg, J., Lilov, L.: Decomposition of a finite rotation into three rotations about given axes. Multibody Syst. Dyn. 9, 353–375 (2003)
Acknowledgements
I am grateful to Professor Mustafa Özdemir at Akdeniz University for drawing my attention to the subject of rational powers and to the organizers of the Fourth Alterman Conference in Manipal, India, for their kind invitation.
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 Topical Collection on 2019 Alterman Conference on Geometric Algebra/Kahler Calculus, edited by Harikrishnan Panackal.
Rights and permissions
About this article
Cite this article
Brezov, D. Factorization and Generalized Roots of Dual Complex Matrices with Rodrigues’ Formula. Adv. Appl. Clifford Algebras 30, 29 (2020). https://doi.org/10.1007/s00006-020-01055-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00006-020-01055-x
Keywords
- Dual complex matrices
- Line geometry
- Matrix roots and powers
- Rodrigue’s formula
- Polar decomposition
- Euler type factorizations