3.1. Rotational Transformations in 5D
The principal task for the description of the classical and quantum rotational dynamics are Euler equations.
In order to proceed with the interpretation [
20], it is necessary to derive the expression for the product of angular velocity and angular momentum on bivector basis. Let the body-fixed system
be specifically the principal axis system. We use an orthonormal, time-invariant basis (also known as the Cartesian basis) in the five-dimensional Euclidean vector space. In 5D space, there are five basis vectors, which form a right-handed basis:
The Clifford algebra necessary for the derivation is
or, equivalently,
[
20,
21],
From the five basis vectors
, ten independent bivectors could be generated:
The bivectors describe the rotations, which preserve the orientations of the 2D-planes
. Second-order moments characterize the rotational inertia of a solid body. For the derivation of Euler equation, we introduce ten Euler angles:
Each Euler angle corresponds to a basic rotation of the body around a specific rotation plane. The body system BS axes, marked by indices and , remain in the rotation plane . The angle between the old vector and the new vector with the index is . Correspondingly, the same angle exists between the new and old second vectors with the index .
There are ten independent tri-vectors:
The tri-vectors describe the rotations, which preserve the orientations of the 3D-subspaces . The moments of third order are indicative of the rotation inertia of a solid body. As was shown above, for homogeneous hyperspheres, the moments of the second or third order vanish in spaces of even or odd dimensions.
The five four-vectors do not relate to any rotation because they apparently restrict four of the five degrees of freedom:
There are two final poly-vectors
and
. These could be referred to as a scalar and a five-vector with a single component. The set of all basis vectors of the Clifford algebra
reads as follows:
The number of elements in list (27) for a given dimension
is equal to the following:
In particular, .
From the angle variation, we immediately get the angular velocities over the 2D-planes or over 3D-subspaces:
Let the body-fixed system
be specifically the principal axis system
. It is evident that, since the consideration is situated within the principal axes of the body, the coefficients of the matrix of angular momentum will be proportional to the coefficients of angular velocity:
The products of basis bivectors in 5D are shown (
Table 1: Products of basis vectors of Clifford algebra
). According to the system of classification proposed by [
22], this algebra is the result of the combination of two distinct algebraic structures
over the field of the quaternion algebra
. There is a similarity with the group methods. It is well known that the groups
and
are isomorphic to each other:
There are two further isomorphisms:
,
[
23].
The expressions for the products
of bivectors (23) follow from the central minor of matrix (
Table 2).
Table 2 is antisymmetric, but only the upper cells are shown for briefness. The display rule is as follows. The rows are labelled for ease of identification with the accents
and the columns with the different accents
. For example,
. The table is antisymmetric because bivector products are antisymmetric:
. The diagonal terms are rendered null due to the antisymmetric nature of the matrix. In the event that all the indices in both terms are different, it can be deduced that the corresponding product will also disappear, like
.
The expressions for the products of tri-vectors follow from the next diagonal minor of matrix (
Table 3).
Table 4 displays the products of four-vectors for the Clifford algebra
.
A Pascal’s triangle is a configuration of numbers arranged in the form of a triangular array. The numbers at the end of each row are set to 1, while the remaining numbers are calculated as the sum of the nearest two numbers in the preceding row. Pascal’s triangle constitutes an infinite triangular array of the binomial coefficients. Evidently, the number of unknowns exhibits a pattern consistent with that of the Pascal triangle. For compactness, the first right elements with one index are not displayed in
Figure 1 and
Figure 2.
To derive the bivector product, we use the expressions of the bivectors of an angular velocity and an angular moment with bivectors:
Analogously, the products of the tri-vectors could be formed as follows:
After the substitution of the products of six bivectors from
Table 2, we can read the product of bivectors
, the corresponding products of tri-vectors
and four-vectors
. We will study the case of the complete separation of the bi- and tri-vectors. The tri- and four-vectors appear only in the off-diagonal minors of the matrix for Clifford products.
The time derivative of the angular moment is equal to the following:
Evidently, the projections of the bivectors together with the corresponding time derivatives of the coordinates of the moments (40) deliver the components of Euler’s equations. Because the tri-vectors appear only in the off-diagonal minors of the matrix for Clifford products, the rotations , and decouple. The tri-vector rotation plays no role in the subsequent evaluations.
Only the time derivatives of the bivectors are displayed below. The derivatives that lead to the Euler equations for the poly-vectors could be developed analogously using the above method. The components of the product of the bivectors read as follows:
With the expression (38) for the moments of inertia (11), the angular momentum and its time derivative are:
The combination of Equations (38) and (40) results in the set of Euler equations for the bi-vector rotations:
The calculation of product of bivectors uses
Table 2 for calculation of the products of bivectors. For the
,
, such that there are 10 components of Euler’s equations in five-dimensional space. The projections of the products of bivectors together with the corresponding time derivatives of the moments deliver once again the Equations (41)–(50).
The are coupled second-order differential equations for components of the tensor . The set of Euler’s equations has the disadvantage that the torque components are related to the body-fixed . The components are therefore generally time-dependent, and this time dependence depends on the body’s motion. In the following, we limit ourselves to the force-free case .
Ten Equations (41)–(50) reduce to the trio of 4D-equations, if the components of rotations in the certain 4D-projection of the 5D-space disappear.