An original mathematical instrument matching two different operational procedures aimed to change orientation and velocity of a spacecraft is suggested and described in detail. The tool’s basements, quaternion algebra with its square-root (pregeometric) image, and fractal surface are represented in a parenthetical but in a sufficient format, indicating their principle properties providing solution to the operational task. A supplementary notion of vector-quaternion version of relativity theory is introduced since the spacecraft-observer mechanical system appears congenitally relativistic. The new tool is shown to have a simple pregeometric image of a fractal pyramid whose tilt and distortion evoke needed changes in the spacecraft’s motion parameters, and the respective math procedures proved to be simplified compared with the traditionally used math methods.
- spacecraft motion
- fractal surface
In classical mechanics, rotation of a rigid body (in particular, a spacecraft) and its translational motion are normally regarded as drastically different actions leading to changes in its position and are respectively described by different groups. Relativistic mechanics, in its turn, deals with these two types of motions “more homogeneously” since rotation and linear motion are described in this case by 4 × 4 matrices from the Lorentz group . However, it is well known that the special relativity limits itself by inertial motions of the involved frames of reference while use of general relativity comprising any types of motion but demanding math methods of tensor calculus seems unapproved sophisticated. Happily, there exists a simpler vector version of the relativity theory admitting arbitrary accelerated motion of the frames. A brief formulation of the theory is made with the help of quaternion vector units, each set of the units representing a Cartesian-type frame of reference. In this case, the rotation-and-translation operator is given by matrix belonging to the group known to be 1:1 isomorphic to the group . However, the calculations of the body’s complex motions even within the framework of the vector-quaternion relativity remain prolonged and cumbersome, a simpler method is desired. Such a method is found due to existence of 1:2 isomorphism of the groups and , the last being a spinor group operating in fractal two-dimensional complex-number valued space (a fractal surface). It is necessary to mention that the subgroup of , rotational group , is normally used in space-flight practice, providing comparatively simple mathematical computations for a spacecraft reorientation tasks [1, 2]. This method is based upon similarity-type transformations of the initial quaternion triad, in fact assuming nontrivial multiplication of at least three different quaternions, though it straightforwardly gives the data describing the axis of single rotation and value of the respective angle. However, this method provides no translational motion.
In this study, we suggest an essential development of the last (single rotation) method leading, first, to noticeable simplification of computations, and second, to possibility of introduction of additional parameters responsible for the spacecraft acceleration. This development is fully based on fundamental properties of subgeometric dyad forming the fractal space in a way underlying the 3D physical space. Moreover, we suggest subgeometric images (fractal joystick and fractal pyramid) of the math tools realizing the spacecraft’s reorientation and acceleration tasks. As well, we give a brief comparative analysis of simplicity (or complexity) of conventional and new methods.
The study is composed as following. In Sections 2–4 we offer a detailed mathematical introduction. In Section 2, we renew our knowledge of quaternion algebra giving traditional (Hamiltonian) and more compact (tensor) notions and correlations. In Section 3, we briefly reproduce the quaternion version of the relativity theory. In Section 4, we consider main notions and properties of the 2D fractal space and show how to build a 3D frame out of a dyad element.
Sections 5–7 are devoted to new math methods making operations of a spacecraft simpler and more functional. Section 5 is devoted to presentation of three methods to reorient a spacecraft with accent on convenience of the single rotation method involving a fractal joystick model. In Section 6, we suggest a very simple way to introduce (apart from space rotation) an acceleration of the spacecraft and demonstrate a subgeometric image of the respective math tool having a shape of fractal pyramid. Finally, in Section 7, we give a sketch of a technological map previewing necessary steps to simultaneously reorient and accelerate the spacecraft followed by a series of relevant pictures.
2. Basic notions and relations of quaternion algebra
Quaternion (Q-) numbers were discovered by Hamilton in 1843 . A quaternion is a math object of the type (in Hamilton’s notation), where are real coefficients at the real unit 1 (the symbol is normally omitted in the number) and at three imaginary units forming the postulated multiplication table (16 equalities).
Q-numbers and the multiplication law (1) can be more compactly rewritten in the vector (and tensor) notations , ; then, a quaternion is a sum of scalar and vector parts , where , and the multiplication table (1) has the form
Summation in repeated indices is implied, and and are the 3D Kronecker and Levi-Chivita symbols (see e.g., ).
Quaternions admit the same operations as real and complex numbers. Comparison of Q-numbers is reduced to their equality: two Q-numbers are equal if coefficients at respective units are equal. Commutative addition (subtraction) of Q-numbers is made by components. Q-numbers are multiplied as polynomials; the rules (1, 2) state that multiplication is noncommutative (left and right products are defined), but still associative. A quaternion has its conjugate , the norm , and the modulus (positive square root from the norm) . Inverse number is ; so, for two quaternions and , division (left and right) is defined as and . If is a product of two multipliers and , then from definition of the norm one finds
Written in components, Eq. (3) becomes the famous identity of four squares
Identities of the type (4) exist only in four algebras: of real numbers (trivial identity), of complex numbers (two squares), of quaternions (four squares), and of octonions (the last exclusive algebra with one real and seven imaginary units admits identity of eight squares; multiplication in this algebra is no more associative).
Geometrically, the imaginary Q-units are associated with three unit vectors initiating a Cartesian coordinate system (Q-triad, Q-frame). This image, in particular, follows from the fact that, according to Eq. (2), each imaginary unit appears as ordered product of the two others: , , (vector products in Gibbs-Heaviside algebra). One can easily construct a set of such units. To demonstrate this, we consider a couple of -matrices, , , traceless: , and not degenerate: , . We use the matrices to build two different imaginary units as
We form the product of the two units and demand that its trace vanishes that is given as
then Eq. (6) gives expression for the third imaginary Q-unit , and as a whole, we get the Q-triad , the real unit always remaining the unit matrix . One readily checks up that the triad given by Eqs. (5) and (6) identically satisfies the multiplication law (2). Built in a similar way, the simplest representation of Q-units is given by the Pauli matrices with factor –
and the imaginary Q-triad given as Eq. (7) describes a constant Q-vector frame.
However, a Q-frame may be variable, rotating, and moving. There are two types of transformations changing the frame but retaining the form of the multiplication law (2). The first is rotational-type transformation
where is a -matrix (its components are in general complex numbers) having orthogonal properties , hence this matrix belongs to the special orthogonal group of 3D rotations over field of complex numbers . The matrix can be always represented as a product of plane (or simple) rotations, irreducible representations of . For such matrices, a special notation will be used, e.g., , where the lower index indicates the rotation axis (the frame’s unit vector) and upper index shows the rotation angle. Depending on the math nature of the angle , we distinguish two types of simple rotations. If , then we have a real simple rotation ; if the angle is imaginary , then we have a simple hyperbolic rotation ; for example Eq. (9)
Superposition of any number (N) of real rotations (product of relevant matrices) gives a (nonplane) real rotation
Product of multiple hyperbolic rotations is physically sensible if accompanied by real rotations in the framework of vector version of theory of relativity (see Section 3); so in general, the matrices of the type
are used in applications.
The second type of transformations is performed by an operator and its inverse is given as
It is evident that the transformation (12) keeps the form of the basic law (2). The operators are known to form the (spinor) group of special linear 2D transformations over field of complex numbers; this group is 2:1 isomorphic to and similarly to the Lorentz group. A special case of the transformation (12) is a real rotation made by means of the subgroup , and this spinor subgroup is 2:1 isomorphic to vector group . It is necessary to note that the transformation of the type (12) with is most frequently used for solution of a spacecraft orientation problem (see Section 5.2).
As well, in formulation of quaternion relativity (see Section 3), we shall need notion of a biquaternion (BQ-) number. Such a number has the form , where while 1, are Q-units. BQ-numbers admit addition, multiplication, and conjugation . But the norm is not well defined since the product in general is not a real (and positive) number. A real number “norm” exists in the subset of vector biquaternions
whose real and imaginary parts are mutually orthogonal
There are evidently zero dividers in Eq. (14), hence division is not well defined, but the subset (13 and 14) comprises basic formulas describing relative motion of arbitrary accelerated frames of reference.
3. Vector-quaternion version of the relativity theory
admits a BQ-square root
where displacement of observed object is orthogonal to a unit vectordirecting change in time . Under these conditions, square of Eq. (16) yields Eq. (15) . It is convenient to explicitly relate displacement to a plane orthogonal to time-directing vector with the help of metric-projector ,
then the orthogonality condition is fulfilled automatically
The interval (15) is invariant under Lorentz transformations of coordinate system , , while the Q-frame can be subject to rotations ; simultaneous application of the transformations, together with demand that the BQ-vector (16) form be conserved, leads to correlation between components of matrices and 2 [5, 6]
Eqs. (17) and (18) in particular mean that within the group a set of ordered simple rotations of the type (11) are distinguished, real and hyperbolic, each performed about one-unit vector of Q-triad. If for instance, direction No. 1 of is not involved in the transformation (), then Eqs. (17) and (18) represent the matrix as function of components of Lorentz matrix
The matrix (19) may describe a series of simple rotations, but real rotations should be always performed about vector (initial or transformed), while hyperbolic rotations are allowed about vectors and . It is easily checked up that all matrices of the type (19) constitute a subgroup of the ordered rotations of Q-triads.
Main idea of Q-version of relativity is to replace line element of Einstein’s relativity (15) and its invariance under Lorentz group by adequate BQ-vector (16) invariant under rotational group represented by matrices . Then, instead of quadratic form of four-dimensional coordinates, an observer has at his disposal a movable Q-triad with time and distances measured along its unit vectors and dealt with the vector basement as with the Newtonian mechanics or general relativity in tetrad formulation. However, on this way, an essential peculiarity arises. Eq. (16) implies that the constructed space-time model has six dimensions, and it is a symmetric sum of two three-dimensional (3D) spaces , where is the usual 3D space where coordinate and velocity change, whereas is also a 3D space but imaginary with respect to . In this model, the observer works only with some sections of the 6D space; but since the objects of the observations are found in real 3D space, and imaginary time axis is distinguished, an illusion of four dimensions emerges.
Physical measurements in the Q-model are made with the help of three spatial rulers and built-in geometric clock represented by “imaginary time rulers” (Pauli-type matrices) , the two triads being obviously co-aligned. The tool-set with an observer in the initial point represents full physical frame of reference, Eq. (16) can be rewritten as
Now, the principal statement of the Q-version of relativity follows: all physically sustainable frames of reference are interconnected by “rotational equations”
The sustainability means form-invariance of BQ-vector (16) or (20) under transformations (21). Kinematic effects of special relativity are straightforwardly found in the Q-version; here, we demonstrate only one effect important for fractal pyramid technology accelerating a spacecraft (see Section 6).
Let the frame be a result of a hyperbolic rotation of a constant frame
with the matrix from Eq. (9b) (rotation about by angle ). This simple rotation, physically a boost, obviously keeping BQ-vector (20) form-invariant
yields familiar coordinate transformations
with respective effects of length and time segments contraction. If observed particle is the body of reference of the frame Σ′, then , and one finds that the frame Σ′ is moving with the velocity
Specific features of the Q-vector version of relativity will be effectively used below in the fractal-pyramid math method to operate a spacecraft. Now, we turn to notions of a fractal space.
4. Fractal space underlying physical space
In this section, we show that a 3D space (e.g., physical space) may be endowed with a pregeometry  mathematically described by a complex-numbered surface, a 2D fractal space, each its vector having dimensionality half compared to that of the 3D space. We start with 2D space and construct out of its basic elements a basis of 3D space.
Let there exist a smooth 2D space (surface) endowed with a metric (and inverse: ) and with a system of coordinates ; here , is a 2D Kronecker symbol, summation in repeated indices is also implied. The line element of the surface is
the surface may be curved, so covariant and contravariant metric components differ. In a point, we choose a couple of unit orthogonal vectors , (a dyad)
A domain of the surface in vicinity of the dyad’s initial point (together with respective part of tangent plane having the metric ) will be called a “2D-cell.”
Considering direct (tensor) products of the dyad vectors with mixed components , we can construct only four such products (matrices): two idempotent matrices
and two nilpotent matrices
Next, we built sum and difference of the idempotent matrices
and sum and difference of the nilpotent matrices
Now, we recall the spectral theorem (of the matrix theory) stating that any invertible matrix with distinct eigenvalues can be represented as a sum of idempotent projectors with the eigenvalues as coefficients, the projectors being direct products of vectors of a biorthogonal basis. The unit defined in Eqs. (32), (31b) is the characteristic example
Right and left eigenfunctions of are vectors , and covectors , of the dyad, respectively; the eigenvalues are (for ) and (for ), and , are the projectors.
As mentioned above, the similarity transformation of the units
preserves the form of algebras’ multiplication law (2). Therefore, vector units from Eq. (32) can be obtained from a single unit, say, by a transformation (34). Then, all vector units have same eigenvalues , and the eigenfunctions of the derived units are linear combinations of the eigenfunctions of the initial unit . This also means that the mapping (34) is a secondary one, but the primary one is transformation of dyad vectors, thus forming a set of spinors from the viewpoint of the 3D space described by the triad vectors .
Hereinafter, we introduce shorter 2D-index-free matrix notations for the dyad: a vector is a column, a co-vector is a row, and a parity indicator or marks the sign of the eigenvalue
this helps to rewrite the above expressions more compactly. The dyad orthonormality conditions (28, 29) acquire the form
the idempotent projectors are denoted as
and the units (32) are expressed through the single dyad vectors (co-vectors) as
Eq. (37) obviously demonstrates that the dyad elements are in a way “square roots” from 3D vector units. So, if we put dimensionality of any 3D line to be a unity, then dimensionality of a line on the 2D space (e.g., dimensionality of a dyad vector) must be ½; hence from the viewpoint of the 3D space, the surface determined by a dyad is fractal. The next important observation concerns transformations. The transformation (34) clearly results from the transformations of the dyad vectors (covectors)
So, apart from vector-type (8) and spinor-type (12) transformations of a Q-triad (an element of 3D space), there exists a possibility to deal with more fundamental math elements, vectors, and covectors describing “pregeometric” 2D cell of a fractal surface. These simpler math objects are subject to evidently simpler mapping (38); moreover, in the following sections, we will show that the operators of the transformations, being themselves BQ-numbers, suggest simpler and less numerous equations to solve, thus reducing degree of math load and probability of mistakes.
5. Three methods to reorient a spacecraft and fractal joystick
The orientation tasks are relevant with computations over 3D flat space modeling a local domain of the physical space. Two types of the orientation problem solutions are traditional: (i) a series of subsequent several angles rotation and (ii) a one-angle rotation about an instant axis. Mixed variants exist, but are less productive, and they are not normally considered.
If magnitudes involved in calculations are generically measured in real numbers, then both techniques (i) and (ii) are based on the vector rotation group . Math content of the technique (i) implies a multiple set of plane rotations [of type of Eq. (9a)] by Euler (or Krylov, or others) angles about selected axes. The technique (ii) in its turn represents a nontrivial problem of determining the instant axis of a single rotation.
Quaternions are widely known to fit better than real numbers for the orientation tasks mostly due to the fact that three vector units represent models of three mutually orthogonal gyroscope axes. As well, use of the Q-algebra formalism essentially simplifies calculations, especially for the technique (ii), since both the vector rotation group and its spinor “equivalent” reflection group can be used whatever enigmatic were formulas describing spinor rotations. However, the quaternion algebra reveals its unique property to split axial 3D vectors into dyad sets belonging to a fractal subspace as in Eq. (37), see also the basic work . The above-described fractalization procedure, mathematically nontrivial and much less known, on the one hand clarifies “mysterious” two-side quaternion vector multiplication and on the other hand endows all algebraic objects and actions with distinct geometric sense; moreover, the calculations become most primitive. Solution of a spacecraft reorientation task as transformation of a fractal dyad represents the third math method (iii) suggested here. However, all three math methods are described in detail in this section.
5.1. Quaternion SO(3,R) approach to the reorientation problem: Technique (i)
Orientation of a spacecraft in 3D space is determined by three angles between axes of some global coordinate system and unit vectors of a frame attached to the moving body taking into account its physical symmetry. The global coordinates, e.g., are represented by a spherical system, and its local initiating vectors pointing: to the north along the Earth’s meridian), along a parallel, and to zenith direction. The directing vectors are considered constant. Then, the orientation of a spacecraft bearing a frame , (with along the body, a transverse one, and along gravity) is determined by three angles: “yaw” , the angle between and (rotation about ); “roll” , angle (rotation about ); and “pitch” , angle (rotation about ). Within these notations, the spacecraft’s orientation in the space is described by the matrix equation
Outlined above technique (i) demands that the matrix be represented as a product of simple rotations, irreducible representations of [a special notation for such matrix is , see Section 2, Eqs. (9, 10)], each performed about a frame’s unit vector. Simple rotations with the above parameters of the probe’s orientations are given by the matrices
Direct reorientation problem, i.e., reaching object’s assigned orientation, can be solved by a sequence of plane rotations mathematically described by a sequent multiplication of matrices [see Eq. (10)]. This problem has no unique solution since the group is not commutative; i.e., different multiplication order of the matrices (40) with the same parameters (angles) generally gives different result; e.g., the products and are, in general, different . Vice versa, different orders of the matrix product with other parameters may yield the same result, e.g., products and may represent equivalent rotational result . The possibility to represent an arbitrary matrix as a product of its irreducible representations given in different order in particular entails uncertainty in solution of the inverse problem when one has to determine values of angles securing an assigned reorientation of the spacecraft. Therefore, the technique (i) does not provide single-valued results.
Even with more difficult, we meet trying to use matrices from the group in the technique (ii). As is known from the theory of matrices (see e.g., ) in this case, we have to solve the characteristic equation searching for the matrix operator an eigenvector with unit eigenvalue, the vector pointing direction of the instant rotation axis. This tough algebraic task then followed by sophisticated calculations aimed to find the instant rotation angle. The use of hypercomplex numbers essentially helped to avoid these math troubles, and about half of a century ago, quaternion algebra became a common tool serving for engineering goals of navigation and orientation. Indeed, the similarity transformation of a quaternion performed with the help of auxiliary quaternion geometrically leads to conical rotation of the vector part of about an axis whose direction is determined by the unit Q-vector (e.g., ); the value of the instant rotation angle is computed as . Below, we suggest a detailed analysis of this type of description of rotations.
5.2. Reorientation by a single rotation of the quaternion frame: Technique (ii)
Consider a matrix (with complex-number components) , belonging to a special linear group , . The multiplication law (6) is obviously form invariant under the similarity-type transformation
One readily demonstrates that the matrix is a biquaternion with the definable norm; indeed,
and is a Q-vector unit
The unit vector (44) represented through the constant basis (7) has the form; where are components of a unit vector pointing in 3D space a vector with components , then the condition takes the form , . This general biquaternion case will be used in subsequent studies when combined rotation-plus-translational motion is regarded (see Section 6). In this section, we consider only quaternion case: , so the matrix is unimodular if
Multiplied by (with summation in index ), Eq. (47) yields the equality , meaning that vectors of the transformed frame have the same projections onto vector as the initial frame ; i.e., the transformation may be represented as a conical rotation about , , which is angle of the rotation in the orthogonal plane with the metric [see the second term in Eq. (47)]. Let two unit vectors form this plane , then , and the -matrix comprised in Eq. (47) acquires the form
Introducing now two artificial unit vectors with complex number components and , we get the final (canonical) expression
Eq. (49) is just an explicit formulation of the spectral theorem applied on a 3D orthogonal matrix. Since its determinant differs from zero, this matrix is nonsingular, all its eigenvalues are different, so it is simple; therefore, it can be expanded into a series of projectors with as coefficients
Here, , , , , , ; the projectors are idempotents , being a natural number, , . It is important to note that the decomposition of a matrix into the series (49, 50) necessarily leads to appearance of the complex-numbered 2D basis ; we will indicate similar features in the fractal technique (iii) below.
The value of the single rotation angle follows from computation of the trace of the matrix (49)
antisymmetric part of the matrix yields the components of unit vector directing the rotation axis
Eqs. (51) and (52) represent parameters of the single rotations, the angle Φ. and components of the vector pointing the rotation axis, as functions of an arbitrary rotation angles, e.g., yaw, roll, and pitch , and parameters of an equivalent single rotation, the value of the angle and components (in the initial frame) of the vector pointing the rotation axis.
5.3. Reorientation as transformation of a fractal surface, technique (iii)
In Section 4, we demonstrated that each vector of any Q-triad is a linear combination of vector-covector direct products of its proper biorthogonal basis belonging to a domain of complex-number valued 2D fractal space [see Eqs. (37)]. Then, rotation (reorientation) of the frame by the technique (ii) on the base of the transformation (42) induces specific type of the “interior” rotation on the fractal surface level [see Eq. (38)]
Further on, we use for the dyad the eigenvectors [and eigencovectors as Hermitian conjugation of the vectors ] of of any Q-triad, where respective eigenvalues being . In the simplest case of from Eq. (7), the constant dyad is
Normalization and orthogonality conditions are identically satisfied. The matrix , as a quaternion (46), is expressible in terms of the fractal basis
Therefore, Eq. (53) takes the form
Eq. (56) shows that the nonlinear problem formulated within the technique (ii), on the fractal surface level, is reduced to a linear task of the 2D basis rotation.
To get technological formulas convenient for fast numerical computation, we denote the final values of the new 2D basis as
Then, we notice that only one new dyad vector is to be computed,
The second vector and the co-vectors are simply expressed through the factors (57) and their complex conjugation
2D complex-numbered space can be imaged as a pyramid (with no base) consisting of one real, one imaginary, and two mixed real-imaginary joined surfaces. The joystick has one of its end matched with the pyramid’s top by a hinge; a certain shift of the stick gives components of a new dyad vectors and co-vectors. From these fractal elements, a new Q-frame providing the assigned reorientation of the spacecraft is straightforwardly built.
All reorientation parameters providing operations in the fractal space are in fact the components of the matrix ; therefore, the unit vector directing the axis of instant rotation is given by Eq. (52); the fractal rotation angle is
Eqs. (59), (52), (56), and (37) suggest a very simple algorithm for computation of all parameters of a single rotation and resulting matrices of a reoriented Q-triad describing new orientation of a spacecraft.
The technological scheme of the reorientation procedure can be briefly outlined as the following steps:
A spacecraft reorientation is assigned by a series of simple rotations [Eq. (40)].
Components of the rotation axis vector are computed [Eq. (52)].
The angle of fractal rotation is computed [Eq. (59)].
If the computed and assigned frames match, then the rotation parameters are sent to the operational systems realizing the reorientation.
The study suggested in Section 5 gives detailed analysis of math mechanisms linking two different approaches to solution of an object’s reorientation task, a consequent 3D rotations described by matrices and a single rotation about an instant axis described by matrices. We like to emphasize importance (and original form) of Eqs. (48) and (49) explicitly demonstrating the projector-eigenvalue decomposition of any matrix, so immediately giving technological values of the single rotation. Another novel math feature of the problem is its connection with subgeometric properties of a fractal complex number surface.
However, thorough analysis of the Q-math reveals its additional, and important, option quite helpful in operational tasks. Namely, extension of the groups and to the rotations with complex parameters, and , respectively, with the vector-quaternion version of relativity theory taken into account, may open a possibility not only reorient but as well simultaneously endow a spacecraft with velocity assigned in value and direction. Apparently, this math tool matching rotations and accelerations, if possible in 3D space, should exist as fractal mechanism. Designing of such original (and exotic) operational instrument is a challenging task; it is in detail analyzed in the next section.
6. Hyperbolic rotations and a fractal pyramid
In this section, we essentially extend the methods briefly described above. The crucial point of the extension is introduction of an imaginary parameter of rotation, thus involving hyperbolic functions. We assume that this action will result in possibility to control not only orientation, but as well dynamics of the spacecraft. We will prove the assumption within extended formulation of the technique (iii).
But at first, to make the picture more clear, we show it in framework of 3D serial rotations [technique (i)], and for simplicity, we implement just one supplement plane hyperbolic rotation about one axis
so that hyperbolic functions are introduced. Then, complete rotational operator is
We rewrite the operator (61) in the spinor-type form where the tilde denotes some initial basis
and the components of the instant rotation axis vector given by Eq. (52). It is important to note that in the computation procedure, we have to deal with vectors belonging to the same frame. Therefore, we express and make multiplication in Eq. (62) to obtain
This expression is again a quaternion and we denote it as
parameter being a complex number. One straightforwardly verifies fulfilling the identity
Eq. (61) represents an operator performing the serial rotation, and Eqs. (65), (68) give parameters of a single rotation. Physical content of this rotation is easily revealed when the mapping is made in the fractal surface format, and then returned into 3D space. Despite seeming complexity of the given expressions, the final calculation is shown to be very simple.
So, following the ideology of geometrization of the algebraic actions, we plunge into the fractal medium, and we consider the technique (iii). We rewrite fractal mapping with the operator (62) in the form
where the intermediate dyad is a result of the real rotation (similar with the covectors)
We also stress that all dyad elements used in the computations are always the eigenvectors (eigencovectors) of the quaternion unit
hence, Eq. (69) produces a new fractal basis simply multiplying the intermediate dyad by an exponent
By other words, one dyad vector and one co-vector (here and ) become longer, and the others (and ) become shorter, all of them though preserving unit length, i.e., rescaled.
However from Eqs. (37b, c), we find
Using results of Section 3, we associate the hyperbolic functions with the time ratio
(linking time of an immobile frame and proper time of moving spacecraft) and with the relative velocity ratio (is speed of light).
Then, Eq. (75b) takes the form of “vector interval” of quaternion version of relativity theory (23)
when squared, it gives the spacecraft’s special relativistic space-time interval linked with the frame at rest by the Lorentz (hyperbolic) transformation
describing kinematics of a frame moving along with velocity , while the vectors (or ) play the role of direction of time in the immobile (or moving) spacecraft. It is always possible to choose the direction as pointing the “yaw” of a spacecraft. In particular, the velocity can be small sufficiently to reduce the calculations into classical format
besides, the velocity modulus may be variable in time; hence, the spacecraft is accelerated.
So, introducing imaginary rotation angles, we obtain a possibility to control an arbitrary space reorientation of a spacecraft with variation of its velocity in the direction that can be as well changing with time (In this sample, the vector is in fact permanently rotating.)
This math tool has two important properties. First, a spacecraft endowed by the tool with a velocity is initially described as a relativistic system; one comes to the classical mechanics considering the hyperbolic parameter small. Second, the tool accelerates the spacecraft always in the direction of the frame vector appointed to indicate “yaw”; if this vector rotates, changing the yaw, the acceleration arrow changes with it; i.e., the spacecraft is accelerated along a curve line. These properties can be useful in real motion control.
On the 2D fractal level, the spacecraft’s more complex 3D motion comprising reorientation and acceleration is accompanied by respective rotation and deformation of the mentioned above fractal pyramid. Here, this subgeometric image of the math instrument necessarily enriches a simpler model of the joystick, and moreover, to make the picture symmetric, we show positive and negative directions of the pyramid (see Figure 2).
Computations providing the spacecraft’s reorientation and acceleration are performed on the fractal level by Eq. (58) with the functions generalized as
with hyperbolic conjugation (), similar to the complex conjugation, introduced, e.g.,
where vector directs axis of the single space rotation by angle . Then (as in Section 5), only one equation is to be solved, e.g., that determining the dyad vector
and rest of the dyad elements is found by primitive math actions
One straightforwardly finds that use of the fractal technique (iii) essentially simplifies computation procedures. In paper , we compare math difficulty of the discussed three techniques in solution of the simple problem of the spacecraft’s one-plane space rotation and acceleration. It is demonstrated there that the techniques (i) and (ii) demand solution of at least seven equations, among them are matrix equations, while the fractal technique (iii) suggests solution of only four relatively simple algebraic equations.
7. Technological scheme and concluding remarks
A sketch of technological scheme aimed to realize mixed rotation-acceleration maneuver of a spacecraft can be suggested as the following consequence of actions fit for any mentioned above approach.
The initial and final parameters of reorientation and acceleration are assigned and memorized.
Parameters as functions of time must be determined and input.
Time intervals are divided into standard steps (quantized), the standard input.
Process of computation of quantum steps starts resulting in obtaining of a series of related parameter values describing the orientation and velocity of the spacecraft’s frame.
The data of each step are transmitted to the systems changing the spacecraft orientation and velocity until the assigned values are achieved.
And we emphasize two most important results of this study.
First, we succeeded to show that an extrarotation by an imaginary angle entails endowing a spacecraft with a (relativistic) velocity, hence in addition to reorientation, to accelerate it. This math observation seems to be a novel one since no similar information is met in related literature.
Second, we show that the most mathematically economical way to compute operational parameters needed for realization of the maneuver is to utilize the “fractal pyramid” technique (definitely a new tool) comprising minimal number of math actions, where major of them are simple algorithms, other approaches having no such advantages.
- Standard interval of special relativity is regarded for simplicity; similarly, interval of general relativity can be considered in tangent space ds2=θ02−θkθk with θα=gαλdyλ being basic one-form and Greek indices in brackets enumerating tangent space tetrad, and those without brackets are related to curved manifold holonomic coordinatesηαβ=diag1−1−1−1
- ds2=θ02−θkθkθα=gαλdyλ: four-dimensional indices are raised and lowered by Minkowski metric ηαβ=diag1−1−1−1.