Next Article in Journal
Diabetic Retinopathy Classification Using CNN and Hybrid Deep Convolutional Neural Networks
Previous Article in Journal
A Monopole UWB Antenna for WIFI 7/Bluetooth and Satellite Communication
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

One-Parameter Lorentzian Dual Spherical Movements and Invariants of the Axodes

1
School of Mathematics, Hangzhou Normal University, Hangzhou 311120, China
2
Department of Mathematics, Science and Arts College, King Abdulaziz University, Rabigh 21589, Saudi Arabia
3
Department of Mathematics, Faculty of Science, University of Assiut, Assiut 71516, Egypt
*
Author to whom correspondence should be addressed.
Symmetry 2022, 14(9), 1930; https://doi.org/10.3390/sym14091930
Submission received: 23 July 2022 / Revised: 25 August 2022 / Accepted: 10 September 2022 / Published: 15 September 2022
(This article belongs to the Section Mathematics)

Abstract

:
E. Study map is one of the most basic and powerful mathematical tools to study lines in line geometry, it has symmetry property. In this paper, based on the E. Study map, clear expressions were developed for the differential properties of one-parameter Lorentzian dual spherical movements that are coordinate systems independent. This eliminates the requirement of demanding coordinates transformations necessary in the determination of the canonical systems. With the proposed technique, new proofs for Euler–Savary, and Disteli’s formulae were derived.
MSC:
53A04; 53A05; 53A17

1. Introduction

Line families in 3-dim space are investigated widely in line geometry studies. The whole space could be either Euclidean or non-Euclidean. The interesting part of differential geometry is how extensively it has been applied in mechanism design and robot kinematics due to its direct relation to spatial motion (kinematics) [1,2,3,4,5]. However, in spatial kinematics, it is motivated to address the intrinsic ownerships of the line trajectory in view of ruled surfaces. In addition, it is famed that the instantaneous screw axis ( ISA ) of a moving body traces a pair of ruled surfaces, fixed axodes and named the moving, with ISA as their ruling in the fixed space and the moving space, respectively. Through the movement, the axodes slide and roll with respect to each other in a way that the tangential contact between them is constantly preserved on the entire length of the two matting rulings (one being in each axode) that together locate the ISA at any instant. It is considered that a particular movement gives rise to a unique set of axodes and the other way around applies as well. Consider the axodes of any movement are known, then this yields that the specific movement can be rebuilt without knowing the physical elements of the mechanism, their arrangement, particular dimensions, or the method by which they are joined. In the process of synthesis, the characteristic of axodes has become evident in the realization that the axodes are a go-between in the middle of the physical mechanism and the actual movement of its members (see References [1,2,3,4,5]).
One of the most convenient manners to discuss the movement of line space is to link such space and dual numbers. W. Clifford considered dual numbers after them E. Study. He utilized it as an intermediary for their realization of kinematics and differential line geometry. He gave particular notice to the parametrization of directed lines by dual unit vectors and definition of E. Study map; The set of all directed lines in Euclidean three-space E 3 is represented set of points on the dual unit sphere in the dual three-space D 3 . The fundamental idea and philosophy of E. Study map related to symmetry. Because E. Study map gives the symmetry property between the directed lines in Euclidean three-space are the corresponding points on the dual unit sphere in the dual three-space. More details on screw calculus and E. Study map can be found in [1,2,3,4,5].
Inspired by such works, if we consider E 1 3 (the Minkowski 3-space E 1 3 ) instead of E 3 then the study would be much more motivated utilizing the property that the distance function < , > can be zero, negative or positive, whilst the distance function in the Euclidean case is only positive. In such a case, we need to disconnect directed lines on account of whether the distance function is zero, negative, or positive. Directed lines with < , > = 0 are named null lines, and directed lines with < , > < 0 (resp < , > > 0 ) are named timelike (resp. spacelike) directed lines. In consideration of its link to the physical science of Minkowski space and engineering, many engineers and geometers have addressed curves and straight surfaces and different surfaces and have observed many different aspects (see [6,7,8,9,10,11,12,13,14,15,16,17,18,19,20]).
In this study, we used the E. Study map in order to give a direct manner for handling the kinematic-geometry of one parameter Lorentzian dual spherical movements by using the aspects of axodes with analogizing to Lorentzian spherical kinematic. Then, new proofs of Disteli and Euler–Savary formulae are given which demonstrate the efficiency and elegance of the E. Study map in Lorentzian spatial kinematics. Furthermore, interdisciplinary research can provide valuable new insights, but synthesizing articles across disciplines with highly varied standards, formats, terminology, and methods required an adapted approach. Recently, many interesting papers related to symmetry, Bertrand curves, submanifold theory, singularity theory and harmonic quasiconformal mappings etc. [21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54]. In future work, we plan to study the one-parameter Lorentzian dual spherical movements and invariants of the axodes for different queries and further improve the results in this paper combine with the technics and results in [21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54]. We intend to do the implementation of those results in our following papers.

2. Preliminaries

In this section, we provide a brief introduction to the theory of dual numbers and dual Lorentzian vectors [1,2,3,4,5,16,17,18,19,20]. Let x , and x * be real numbers, then the expression: x ^ = x + ε x * is named a dual number, such that ε 0 , and ε 2 = 0 . This is in fact very comparable to the idea of a complex number, the major distinction being than in a complex number ε 2 = 1 . Then the set
D 3 = { x ^ : = x + ε x * = ( x ^ 1 , x ^ 2 , x ^ 3 ) } ,
together with the Lorentzian inner product
< x ^ , y ^ > = x ^ 1 y ^ 1 x ^ 2 y ^ 2 + x ^ 3 y ^ 3 ,
is referred to as dual Lorentzian 3-space D 1 3 . Hence,
< f ^ 1 , f ^ 1 > = < f ^ 2 , f ^ 2 > = < f ^ 3 , f ^ 3 > = 1 , f ^ 1 × f ^ 2 = f ^ 3 , f ^ 2 × f ^ 3 = f ^ 1 , f ^ 3 × f ^ 1 = f ^ 2 .
Here, f ^ 1 , f ^ 2 , and f ^ 3 , are the dual base at the origin point o ^ 0 , 0 , 0 of the dual Lorentzian 3-space D 1 3 . Therefore, x ^ = ( x ^ 1 , x ^ 2 , x ^ 3 ) t is a point whose dual coordinates are x ^ i = ( x i + ε x i * ) D . If x 0 the norm of x ^ is given as
x ^ = < x ^ , x ^ > = x ( 1 + ε < x , x * > x 2 ) .
Thus, x ^ is named a timelike (resp. spacelike) dual unit vector if x ^ 2 = 1 (resp. x ^ 2 = 1 ). It is evident that
x ^ 2 = ± 1 x 2 = ± 1 , < x , x * > = 0 .
The Lorentzian (de Sitter space) and hyperbolic dual unit spheres, respectively, are:
S 1 2 = { x ^ D 1 3 x ^ 1 2 x ^ 2 2 + x ^ 3 2 = 1 } ,
and
H + 2 = { x ^ D 1 3 x ^ 1 2 x ^ 2 2 + x ^ 3 2 = 1 } ,
respectively. Then the E. Study map can be stated as follows: The ring shaped hyperboloid correspondence with the set of spacelike lines, the common (shared) asymptotic cone correspondence with the set of null-lines, and the oval shaped hyperboloid correspondence with the set of timelike lines (see Figure 1).
In view of the E. Study map, a regular curve on the dual unit sphere H + 2 (or S 1 2 ) can locally be null (lightlike), spacelike or timelike if all of its velocity vectors are null (lightlike), spacelike or, timelike, respectively. The differentiable curve t R x ^ ( t ) H + 2 ( or S 1 2 ) , corresponds to a timelike ruled surface ( x ^ ) in Minkowski 3-space E 1 3 . In a similar way, the dual curve on S 1 2 corresponds to a spacelike or timelike ruled surface in E 1 3 . x ^ ( t ) are determined by the rulings of the surface and from now on we do not characterize between ruled surface and its explaining dual curve.
Definition 1.
Let x ^ and y ^ be non-null dual vectors in D 1 3 . Then [55],
(i) 
If x ^ and y ^ are spacelike dual vectors, then
  • In case they span a spacelike dual plane, there exists a unique dual number φ ^ = φ + ε φ * ; 0 φ π , and φ * R in which < x ^ , y ^ > = x ^ y ^ cos φ ^ . Such number is named the spacelike dual angle between x ^ and y ^ .
  • In case they span a timelike dual plane, then there exists a unique dual number φ ^ = φ + ε φ * 0 in which < x ^ , y ^ > = ϵ x ^ y ^ cosh φ ^ , such that ϵ = + 1 or ϵ = 1 based to s i g n ( x ^ 2 ) = s i g n ( y ^ 2 ) or s i g n ( x ^ 2 ) s i g n ( y ^ 2 ) , respectively. Such number is named the central dual angle between x ^ and y ^ .
(ii) 
If x ^ and y ^ are timelike dual vectors, then there exists a unique dual number φ ^ = φ + ε φ * 0 in which < x ^ , y ^ > = ϵ x ^ y ^ cosh φ ^ , such that ϵ = 1 or ϵ = + 1 based on x ^ and y ^ having the same time-orientation or different time-orientation, respectively. This dual number is named the Lorentzian timelike dual angle between x ^ and y ^ .
(iii) 
Let x ^ be spacelike dual, and y ^ be timelike dual, then there exists a unique φ ^ = φ + ε φ * 0 in which < x ^ , y ^ > = ϵ x ^ y ^ sinh φ ^ , such that ϵ = + 1 or ϵ = 1 based on whether s i g n ( x ^ 2 ) = s i g n ( y ^ 1 ) or s i g n ( x ^ 2 ) s i g n ( y ^ 1 ) . Such number is named the Lorentzian timelike dual angle between x ^ and y ^ .

3. One-Parameter Lorentzian Dual Spherical Movements

Consider S 1 m 2 and S 1 f 2 as Lorentzian dual unit spheres with o ^ as a common center in D 1 3 . We suppose that { o ^ ; e ^ 1 , e ^ 2 (timelike), e ^ 3 } and { o ^ ; f ^ 1 , f ^ 2 (timelike) , f ^ 3 } be two orthonormal dual bases rigidly associated with S 1 m 2 and S 1 f 2 , respectively. In case that we let { o ^ ; f ^ 1 , f ^ 2 , f ^ 3 } fixed, whereas the components of the set { o ^ ; e ^ 1 , e ^ 2 , e ^ 3 } are functions of a real parameter t R (say the time). Here, we say that S 1 m 2 moves according to S 1 f 2 . Such movement is named a one-parameter Lorentzian dual spherical movement which is denoted by S 1 m 2 / S 1 f 2 . If the Lorentzian dual unit spheres S 1 m 2 and S 1 f 2 correspond to the line spaces L m and L f , respectively, then S 1 m 2 / S 1 f 2 represents the one-parameter Lorentzian spatial movement L m / L f . Therefore, L m is the moving Lorentzian space with respect to the Lorentzian fixed space L f .
Since each of these orthonormal dual frames has the same orientation, one frame is obtained by using another when rotated about O . Putting < e ^ i , f ^ j > = A ^ i j = A i j + ε A i j * and introducing the dual matrix A ^ ( t ) = ( A ^ i j ) . It then follows that the signature matrix ϵ , describing the inner product of dual Lorentzian 3-space D 1 3 , is given by
ϵ = 1 0 0 0 1 0 0 0 1 .
Thus, the dual matrix A ^ ( t ) = ( A i j ( t ) + ε A i j * ( t ) ) satisfy the equations A ^ T = ϵ A ^ 1 ϵ , and A ^ 1 = ϵ A ^ T ϵ A ^ . Hence, we have
A ^ A ^ 1 = A ^ ϵ A ^ T ϵ = A ^ 1 A ^ = ϵ A ^ T ϵ A ^ = I ,
which means it is a Lorentzian orthogonal matrix. Such a finding tells that if a one-parameter Lorentzian spatial movement is given in E 1 3 , we can find the associated dual Lorentzian orthogonal 3 × 3 matrix A ^ ( t ) = ( A ^ i j ) , in which ( A ^ i j ) are dual functions of one variable t R . As the set of real Lorentzian orthogonal matrices, the set O ( D 1 3 × 3 ) of Lorentzian dual orthogonal 3 × 3 matrices form a group with matrix multiplication (real Lorentzian orthogonal matrices are a subgroup of Lorentzian dual orthogonal matrices). The identity element of O ( D 1 3 × 3 ) is the 3 × 3 unit matrix. The transformation group in D 1 3 (the image of Lorentzian movements in the Minkowski 3-space E 1 3 ) does not contain any translations since the center of the Lorentzian dual unit sphere in D 1 3 should stay fixed. Therefore, in order to perform the Lorentzian movements in D 1 3 , we can state the next theorem:
Theorem 1.
The set of all one-parameter Lorentzian spatial movements in E 1 3 -space is in one-to-one correspondence with the set of Lorentzian dual orthogonal matrices O ( D 1 3 × 3 ) in D 1 3 -space.
To derive the form of an element of the dual Lie algebra L ( O D 1 3 × 3 ) of the dual group O ( D 1 3 × 3 ) , we take a dual curve of such dual matrices A ^ ( t ) such that A ^ ( 0 ) is the identity. By taking the derivative of Equation (1) with respect to t, we obtain:
A ^ A ^ 1 + A ^ A ^ 1 = 0 ; 0 is zero 3 × 3 matrix .
By choosing ψ ^ ( t ) = A ^ A ^ 1 , we see that ψ ^ T + ϵ ψ ^ ϵ = 0 , that is, the matrix ψ ^ is a skew-adjoint matrix. Thus, according to Theorem 1, the dual Lie algebra L ( O D 1 3 × 3 ) of the dual Lorentzian group O ( D 1 3 × 3 ) is the dual algebra of skew-adjoint 3 × 3 dual matrices
ψ ^ ( t ) = 0 ψ ^ 3 ψ ^ 2 ψ ^ 3 0 ψ ^ 1 ψ ^ 2 ψ ^ 1 0 = ψ ^ 1 ψ ^ 2 ψ ^ 3 = ψ ^ L ( O D 1 3 × 3 ) .
Suppose that x ^ f and x ^ m represent a spacelike dual unit vector expressed in S 1 m 2 and S 1 f 2 , respectively, then we may express their relationship as:
x ^ f = A ^ x ^ m .
The inverse transformation is
x ^ m = ϵ A ^ T ϵ x ^ f .
Equation (2), by differentiation with respect to t, yields
x ^ f = A ^ m x ^ .
Then, we have
x ^ f = ψ ^ f x ^ f , and x ^ = ψ ^ m x ^ ,
where x ^ f , and x ^ represent the absolute time derivatives of x ^ in S 1 m 2 and S 1 f 2 , respectively. Furthermore, we obtain ψ ^ f ( t ) , and ψ ^ m ( t ) as below:
ψ ^ f ( t ) : = A ^ ϵ A ^ T ϵ = 0 ψ ^ 3 f ψ ^ 2 f ψ ^ 3 f 0 ψ ^ 1 f ψ ^ 2 f ψ ^ 1 f 0 = ψ ^ 1 f ψ ^ 2 f ψ ^ 3 f ,
and
ψ ^ m ( t ) : = ϵ A ^ T ϵ A ^ = 0 ψ ^ 3 m ψ ^ 2 m ψ ^ 3 m 0 ψ ^ 1 m ψ ^ 2 m ψ ^ 1 m 0 = ψ ^ 1 m ψ ^ 2 m ψ ^ 3 m .
From the above two equations, we have
ψ ^ f ( t ) = A ^ ( t ) ψ ^ m ( t ) A ^ 1 ( t ) , and ψ ^ f = ψ ^ m .

3.1. Lorentzian Spatial Kinematics and Invariants of the Axodes

In this subsection, we consider the Lorentzian spatial kinematics and invariants of the axodes by bearing in mind the E. Study map. Therefore, the dual curve (polode) r ^ m ( t ) = ψ ^ m ( t ) ψ ^ m ( t ) 1 represents the locus of the instantaneous screw axis ( ISA ) on S 1 m 2 . This locus is timelike or spacelike moving axode in L m -space. This moving axode is the locus of the ISA as viewed from the moving space L m . It will be assumed a spacelike ruled surface in our study, and let us denote this surface by π m . Similarly, the ISA on S 1 f 2 is also a dual curve (polode) r ^ f ( t ) = ψ ^ f ( t ) ψ ^ f ( t ) 1 . This curve like-wise corresponds to the fixed axode π f . This fixed axode is made up of those lines in the fixed space L f which at some instant coincides with a line in the moving space L m having zero dual velocity. It is important to note that ψ ^ m = ψ ^ f = ψ ^ = ψ + ε ψ * is the dual angular speed of the movement S 1 m 2 / S 1 f 2 . ψ and ψ * correspond, respectively, to the rotation movements and the translation movements of the movement L m / L f . Hence, the one-parameter Lorentzian spatial movement L m / L f can be described by rotation ψ about and translation ψ * along the ISA . Thus, the pitch of the movement L m / L f is defined by
h ( t ) = < ψ , ψ * > ψ 2 = ψ 1 ψ 1 * ψ 2 ψ 2 * + ψ 3 ψ 3 * ψ 1 2 ψ 2 2 + ψ 3 2 = ψ * ψ .
Corollary 1.
During a one-parameter Lorentzian dual spherical movement S 1 m 2 / S 1 f 2 , the tangent vectors of the fixed and moving timelike polodes are joined as:
π f : r ^ f = A ^ r ^ m A ^ 1 .
Proof. 
Without loss of generality, we take the parameter t R as the canonical parameter of the movement S 1 m 2 / S 1 f 2 , that is, ψ ^ f ( t ) = ψ ^ m ( t ) = 1 . Then:
π m : r ^ m = A ^ 1 A ^ , π f : r ^ f = A ^ A ^ 1 .
Furthermore, we have:
r ^ m = A ^ 1 A ^ + A ^ 1 A ^ ,
and
A ^ r ^ m A ^ 1 = A ^ ( A ^ 1 A ^ + A ^ 1 A ^ ) A ^ 1 = A ^ A ^ 1 A ^ A ^ 1 + A ^ A ^ 1 A ^ A ^ 1 .
Furthermore, we find
r ^ f = A ^ A ^ 1 + A ^ A ^ 1 .
From the relation A ^ A ^ 1 = I , we obtain A ^ A ^ 1 + A ^ A ^ 1 = 0 . Substituting into the expression for A ^ r ^ m A ^ 1 , we obtain:
A ^ r ^ m A ^ 1 = A ^ A ^ 1 A ^ A ^ 1 + A ^ A ^ 1 = A ^ A ^ 1 A ^ A ^ 1 + A ^ A ^ 1 = A ^ A ^ 1 + A ^ A ^ 1 = r ^ f .
This completes the proof. □
Equation (7) contains only first order derivatives of π f ( π m ) , it is a first-order property of the axodes, in particular is its dual unit speed. More explicitly, we have that
r ^ f = < r ^ f , r ^ f > = < A ^ r ^ m A ^ 1 , A ^ r ^ m A ^ 1 > = r ^ m .
The above relation has only first-order derivatives of π f ( π m ) ; it is a first-order property of the fixed (moving) axode, particularly its dual unit speed. It follows from Equation (8) that r ^ f = r ^ m and can replaced them by p ^ = p + ε p * for short hereinafter. Thus, we can take the dual arc-length parameter d s ^ : = d s + ε d s * = p ^ d t to replace the arbitrary parameter, t.
Hence, the common distribution parameter of the axodes is
μ ( t ) : = d s * d s = p * p .
Therefore, tangent conditions between the axodes π m and π f can be given by the following corollary:
Corollary 2.
During a one-parameter Lorentzian spatial movement L m / L f , the spacelike axodes contact each other along and rolls around the ISA in the first order (Figure 2).

3.2. Euler–Savary Formula for the Spacelike Axodes

We now shall deduce the Euler–Savary and Disteli formulae for the spacelike axodes by using the apparatus just derived above. Thus, as in spherical geometry, we introduce a Lorentzian Blaschke frame
{ o ^ ; r ^ i = r ^ i ( t ) , t ^ i ( t ) = r i r ^ i 1 , g ^ i ( t ) = r ^ i × t ^ i }
of the polode r ^ i ( t ) on S 1 i 2 ( i = m , f ). Such that
< r ^ i , r ^ i > = < t ^ i , t ^ i > = < g ^ i , g ^ i > = 1 , r ^ i × t ^ i = g ^ i , t ^ i × g ^ i = r ^ i , g ^ i × r ^ i = t ^ i .
r ^ i , t ^ i , and g ^ i correspond to three concurrent mutually orthogonal lines, and their point of intersection is the central point c i on the the ruling r ^ i . g ^ i is the limit position of mutual orthogonal to r ^ i ( t ) and r ^ i ( t + d t ) and is named the central tangent of the spacelike axode r ^ i ( t ) at the central point and t ^ i is named its central normal. By construction, the Blaschke formula is (11)–(14):
r ^ i t ^ i g ^ i = 0 p ^ 0 p ^ 0 q ^ i 0 q ^ i 0 r ^ i t ^ i g ^ i = ω ^ i × r ^ i t ^ i g ^ i ,
where ω ^ i = q ^ i r ^ i p ^ g ^ i , and
p ^ ( t ) = p + ε p * = r ^ i , q ^ i ( t ) : = q i + ε q i * = det ( r ^ i , r ^ i , r ^ i ) r ^ i 2 ,
are invariants of the movement L m / L f . We shall neglect the pure translational movements, that is, q ^ m q ^ f . Furthermore, we eliminate zero divisors, that is, q m * q f * . The evolute of the spacelike axode π i is obtained as
b ^ i ( t ) : = b i + ε b i * = r ^ i × r ^ i r ^ i × r ^ i = q ^ i r ^ i p ^ g ^ i q ^ i 2 + p ^ 2 .
It is obvious that b ^ i is the Disteli-axis (curvature axis or striction axis) of the spacelike axode π i . If φ ^ i = φ i + ε φ i * ; 0 φ i π , and φ i * R is the radius of curvature between r ^ i and b ^ i , then we obtain
b ^ i = cos φ ^ i r ^ i sin φ ^ i g ^ i .
Here,
γ ^ i ( t ) = γ i + ε γ i * = q ^ i p ^ = cot φ ^ i , with p ^ 0 ,
is the dual geodesic curvature of the spacelike axode π i . In view of Equation (15), we conclude the equality:
γ ^ f γ ^ m = cot φ ^ f cot φ ^ m = ω ^ p ^ , with ω ^ = q ^ f q ^ m .
This is a dual Lorentzian formula of Euler–Savary formula for the polodes of real spherical movement (compare with [1,2,3]). Equation (16) shows a relationship among the two spacelike axodes in direct contact and the kinematic-geometry representing the instantaneous invariants of the movement L m / L f . By separating the real and dual parts of Equation (16), respectively, we find:
cot φ f cot φ m = ω p ,
and
φ m * sin 2 φ m φ f * sin 2 φ f = ω p ( μ h ) .
The Eqsuations (17) and (18) are new Disteli’s formulae for the spacelike axodes. Observe that the scalars ω , ω * and h are invariants of the choice of the reference point.

Velocity and Acceleration for a Spacelike Line Trajectory

Through the movement L m / L f , each fixed spacelike line x ^ adjoint with the moving spacelike axode, generally, will trace a timelike or spacelike ruled surface ( X ) in the fixed space L f . It will be assumed a spacelike ruled surface in our study. In kinematics, this spacelike ruled surface is referred to as spacelike line trajectory. The vector equation of ( X ) is represented by
x ^ ( s ^ ) = x ^ 1 ( s ^ ) r ^ i ( s ^ ) + x ^ 2 ( s ^ ) t ^ i ( s ^ ) + x ^ 3 ( s ^ ) g ^ i ( s ^ ) , x ^ 1 2 x ^ 2 2 + x ^ 3 2 = 1 .
Here x ^ 1 ( s ^ ) , x ^ 2 ( s ^ ) , x ^ 3 ( s ^ ) are its dual coordinates with respect to the axode π i . By Equation (11), the first derivative of x ^ with respect to s ^ is
d x ^ d s ^ i = ( d x ^ 1 d s ^ + x ^ 2 ) r ^ i + ( d x ^ 2 d s ^ + x ^ 1 + x ^ 3 γ ^ i ) t ^ i + ( d x ^ 3 d s ^ + x ^ 2 γ ^ i ) g ^ i .
In particular, if x ^ is a fixed spacelike line in L m , we have d x ^ d s ^ m = 0 , which implies
d x ^ 1 d s ^ + x ^ 2 = 0 , d x ^ 2 d s ^ + x ^ 1 + x ^ 3 γ ^ m = 0 , d x ^ 3 d s ^ + x ^ 2 γ ^ m = 0 .
Substituting Equation (21) into Equation (20) and simplifying it, we rewrite Equation (20) as
d x ^ d s ^ = γ ^ ( x ^ 3 t ^ f + x ^ 2 g ^ f ) ,
where γ ^ = γ + ε γ * = γ ^ f γ ^ m is the relative dual geodesic curvature. In order to show the kinematic meaning of γ ^ , another expressions of x ^ can be derived by Equation (11), which is
d x ^ d s ^ = x ^ d t d s ^ = ω ^ ( x ^ 3 t ^ f + x ^ 2 g ^ f ) d t d s ^ .
From Equations (22) and (23), it follows that:
ω ^ d t = γ ^ ( 1 + ε μ ) d s ,
which reveals the kinematic meaning of the relative curvature γ ^ . By differentiating Equation (22) with respect to s ^ again and simplifying it, we get:
d 2 x ^ d s ^ 2 = x ^ 3 γ ^ r ^ f + ( x ^ 2 γ ^ 2 + x ^ 3 d γ ^ d s ^ ) t ^ f + ( x ^ 2 d γ ^ d s ^ x ^ 1 γ ^ + x ^ 3 γ ^ 2 ) g ^ f .

3.3. Disteli Formulae for a Spacelike Line Trajectory

In planar kinematics, at each point of a regular curve, there exist only one curvature circle of the curve. The radius and center of this circle can be determined by the famous Euler–Savary formula; if the position of the point is given in the moving plane. Although the Disteli formulae of a line trajectory had been introduced for various types of geometry, we find our motivation in this fact.
Now, we are searching the Disteli’s axis b ^ of the spacelike ruled surface (X) by using the tools just derived. The significance of Disteli’s axis is that it is the axis of osculating helicoidal surface is obtained by the helical motion of a line, that is, the generating line is always at the same angle with the Disteli’s axis and always at the same distance from it. Therefore, we consider a timelike circle on the fixed Lorentzian dual unit sphere S 1 f 2 given by the equation
< x ^ , b ^ > = cos φ ^ ,
where φ ^ = φ + ε φ * is a given dual spherical radius of curvature and b ^ is a fixed spacelike dual unit vector which determines the circle’s center. According to E. Study’s map, this equation represents a set of all spacelike oriented lines x ^ which forms the given spacelike dual angle with the Disteli’s axis b ^ . Such a set of spacelike lines depend on two parameters and are named spacelike line congruence (it is specified by two linear equations of the Plucker coordinates) [1,2,3]. Thus, the timelike osculating circle of this curve is specified by the equations:
< x ^ , b ^ > = cos φ ^ , < d x ^ d s ^ , b ^ , > = 0 , < d 2 x ^ d s ^ 2 , b ^ > = 0 ,
which are obtained from the condition that the osculating circle should have contact of at least second order with the curve.
Let us define the Blaschke frame as follows:
x ^ = x ^ ( s ^ ) , t ^ ( s ^ ) = d x ^ d s ^ d x ^ d s ^ 1 , g ^ ( s ^ ) = x ^ × t ^ , x ^ × t ^ = g ^ , t ^ × g ^ = x ^ , g ^ × x ^ = t ^ , < x ^ , x ^ > = < t ^ , t ^ > = < g ^ , g ^ > = 1 .
At any instant, it is seen from Equations (26) and (27) that:
< t ^ , r ^ f > = < t ^ , x ^ > = < t ^ , b ^ > = 0 .
Then, all these three spacelike oriented lines r ^ f , x ^ and b ^ constitute a spacelike normal net, that is, they belong to a spacelike line congruence whose focus line is the timelike line t ^ . We locate t ^ relative to the set { r ^ f , t ^ f , g ^ f } by its intercept distance ψ * , measured along the ISA and the angle ψ , measured with respect to g ^ f . We introduce the dual angles ϑ ^ = ϑ + ε ϑ * and α ^ = α + ε α * which define the positions of x ^ and b ^ , along t ^ . These dual angles are all measured relative to the ISA (see Figure 3). The following convention governs the signs: ( ϑ ,   ϑ * ) and ( α ,   α * ) are according to the right-hand Lorentzian screw movement with the thumb pointing along t ^ ; the sense of t ^ is such that ψ + ε ψ * 0 are defined with the thumb in the direction of the ISA . Since x ^ is a spacelike dual unit vector, we can write out the components of x ^ in the following form:
x ^ = cos ϑ ^ r ^ f + sin ϑ ^ m ^ ; m ^ = sinh ψ ^ t ^ f + cosh ψ ^ g ^ f .
Furthermore, a set of coordinates may be used to match the Disteli’s axis by the equation
b ^ = cos α ^ r ^ f + sin α ^ m ^ .
Substituting from Equations (25) and (30) into Equation (26), yields
γ ^ x ^ 3 cot α ^ ( x ^ 2 γ ^ 2 + x ^ 3 d γ ^ d s ^ ) sinh ψ ^ + ( x ^ 1 γ ^ + x ^ 2 d γ ^ d s ^ + x ^ 3 γ ^ 2 ) cosh ψ ^ = 0 .
Into Equation (31) we substitute from Equation (29) to obtain
cot ϑ ^ cot α ^ cosh ψ ^ = γ ^ .
This is precisely a new dual extension of the Euler–Savary formula from ordinary spherical kinematics (compare with [1,2,3]). By separating the real and the dual parts, respectively, we get:
cot ϑ cot α cosh ψ = γ ,
and
ψ * ( cot ϑ cot α ) sinh ψ ( ϑ * sin 2 ϑ α * sin 2 α ) cosh ψ = γ * .
The Euler–Savary formula in Equation (33) together with Equation (34) are new the Disteli formulae of Lorentzian spatial kinematics. Once the angles α and ϑ are known, Equation (34) gives the correspondence between α * and ϑ * in terms of ψ and ψ * and the second order invariant γ * . According to Figure 3, the sign of α * (+ or −) in Equation (34) indicates that the positions of the Disteli’s axis b ^ are located on the positive or negative direction along the common central normal t ^ .
Once again, we can derive (32) as follows: From Equations (23), (27) and (29), we have:
x ^ t ^ g ^ = cos ϑ ^ sin ϑ ^ sinh ψ ^ sin ϑ ^ cosh ψ ^ 0 cosh ψ ^ sinh ψ ^ sin ϑ ^ cos ϑ ^ sinh ψ ^ cos ϑ ^ cosh ψ ^ r ^ f t ^ f g ^ f .
By construction, the Blaschke formula is:
d d s ^ x ^ t ^ g ^ = 0 p ^ x 0 p ^ x 0 q ^ x 0 q ^ x 0 x ^ t ^ g ^ ,
where
c p ^ x : = p x + ε p x * = γ ^ sin ϑ ^ , q ^ x = q x + ε q x * = det x ^ , d x ^ d s ^ , d 2 x ^ d s ^ 2 d x ^ d s ^ 2 = γ ^ cos ϑ ^ cosh ψ ^ sin ϑ ^ .
By Equations (30), and (35), moreover, we have
c r ^ f = cos ϑ ^ x ^ sin ϑ ^ g ^ , b ^ = cos φ ^ x ^ sin φ ^ g ^ .
Note that φ ^ : = φ + ε φ * = ϑ ^ α ^ = cos 1 ( < x ^ , b ^ > ) is the dual radius of curvature of ( X ) . It follows from the differentiations of Equations (38) that:
c d r ^ f d s ^ = ( sin ϑ ^ x ^ + cos ϑ ^ g ^ ) d ϑ ^ d s ^ + ( p ^ x cos ϑ ^ q ^ x sin ϑ ^ ) t ^ , d b ^ d s ^ = ( sin φ ^ x ^ + cos φ ^ g ^ ) d α ^ d s ^ + ( p ^ x cos φ ^ q ^ x sin φ ^ ) t ^ .
The spacelike dual vector b ^ is also called the evolute of ( X ) . Therefore, the following condition should be satisfied
< d b ^ d s ^ , t ^ > = 0 0 = p ^ x cos φ ^ q ^ x sin φ ^ ,
which leads to
γ ^ x : = γ x + ε γ x * = q ^ x p ^ x = cot φ ^ .
This equation gives the linkage among the dual spherical curvature γ ^ x and the dual radius of curvature φ ^ . By Equation (39), we also obtain
< d r ^ f d s ^ , t ^ > = p ^ x cos ϑ ^ q ^ x sin ϑ ^ .
Furthermore, from Equations (37), (40) and (41), a simple calculation shows that:
< d r ^ f d s ^ , t ^ > = ( γ ^ sin ϑ ^ cos ϑ ^ γ ^ sin ϑ ^ cot φ ^ sin ϑ ^ ) = γ ^ sin ϑ ^ ( cos ϑ ^ cot φ ^ sin ϑ ^ ) = γ ^ sin ϑ ^ sin φ ^ ( sin φ ^ cos ϑ ^ cos φ ^ sin ϑ ^ ) = γ ^ sin ϑ ^ sin ( φ ^ ϑ ^ ) sin φ ^ = γ ^ sin ϑ ^ sin ( φ ^ ϑ ^ ) sin ( φ ^ ϑ ^ ) cos ϑ ^ + cos ( φ ^ ϑ ^ ) sin ϑ ^ = γ ^ cot ϑ ^ + cot ( φ ^ ϑ ^ ) = γ ^ cot ϑ ^ cot α ^ .
On the other hand, we have
d r ^ f d s ^ = ω ^ f × r ^ f , = ω ^ f × ( cos ϑ ^ x ^ sin ϑ ^ g ^ ) , = sin ϑ ^ sinh ψ ^ x ^ + cosh ψ ^ t ^ + cos ϑ ^ sinh ψ ^ g ^ .
Thus, we get
< d r ^ f d s ^ , t ^ > = cosh ψ ^ .
Upon substitution of Equation (43) into Equation (42), we have Equation (32), as claimed.
On the other hand, we can derive another version of the dual Euler–Savary formula in Equation (32) as follows: From Equations (37) and (40) one finds easily
cot ϑ ^ cot φ ^ = cosh ψ ^ γ ^ sin 2 ϑ ^ .
This is a new Lorentzian dual spherical Euler–Savary formula for the timelike dual curve x ^ which corresponds to a spacelike ruled surface and its osculating circle in terms of the dual angle ψ ^ as well as the second order invariant γ ^ . By separating the real and the dual parts, respectively, we get:
cot ϑ cot φ = cosh ψ γ sin 2 ϑ ,
and
φ * = 1 γ sin 2 φ sin 2 ϑ { ( γ 2 cot ϑ cosh ψ ) ϑ * + γ * γ cosh ψ + ψ * sinh ψ } .
The above equations are new Disteli’s formulae of a spacelike line trajectory; According to Figure 3, the sign of φ * (+ or −) in the above equation indicates that the position of the Disteli’s axis b ^ is located in the positive or negative direction of the central normal t ^ at the central point c ( ϑ * , ψ * ) . Since the central points of ( X ) are on the normal plane, the Disteli’s formulae can be displayed in the timelike plane S p { r ^ f , t ^ } ( or S p { r ^ m , t ^ } ). Hence, any arbitrary point c ( ϑ * , ψ * ) on the timelike plane S p { r ^ f , t ^ } is defined as central point of the spacelike line trajectory whose generator is the spacelike oriented line x ^ and the radius can be calculated by Equation (34); its length which is the line segment from s to the point c on the plane S p { r ^ f , t ^ } . Meanwhile, the central point c is in the direction of t ^ if α * > 0 and in the opposite direction of t ^ if α * < 0 . The central point c ( ϑ * , ψ * ) can be on the ISA if ϑ * = 0 ( φ * = α * ) and on the Disteli’s axis b ^ if α * = 0 φ * = ϑ * . In the latter case the central point c ( ϑ * , ψ * ) can be located by letting φ * = 0 in Equation (44) which is simplified as a linear equation
L : ψ * = γ + 2 cot ϑ coth ψ ϑ * γ * γ coth ψ .
Equation (45) is linear in the position coordinates ψ * and ϑ * of the spacelike oriented line x ^ . Hence, for L m / L f the spacelike lines in a given direction fixed in L m -space lies on a timelike plane. The line L would change its position if ϑ has different value, but ψ = constant. Nevertheless, a family of line envelope a spacelike curve on the timelike plane S p { r ^ f , t ^ } . Meanwhile, if the parameter ψ of a spacelike line has a different value but ϑ = consent, the position of the timelike plane is different. Hence, the set of all spacelike lines L given in Equation (45) is a spacelike line congruence for all values of ( ϑ * , ψ * ) .
At the end of this section, we want to derive another Lorentzian dual Euler–Savary formula for the spacelike axodes as follows: Substituting ϑ ^ = φ ^ f , α ^ = φ ^ f , and ψ * = ψ = 0 into Equation (32), we attain, after some calculations, that
cot φ ^ f cot φ ^ f = γ ^ ,
which is the associated dual Euler–Savary formula. By separating the last equation into real and dual parts we obtain
cot φ f cot φ f = γ ,
and
φ f * sin 2 φ f φ m * sin 2 φ f = γ * .
The above two equations give new Lorentzian Disteli formulae for the axodes L m / L f .

4. Conclusions

The main advantage of the work is to consider one-parameter Lorentzian spatial movements in terms of the E. Study map. With the proposed technique, new proofs for Disteli’s, and Euler–Savary formulae were derived. In addition, new metric aspects are defined for the Disteli axis of a spacelike trajectory ruled surface under a one-parameter Lorentzian spatial movement of a body in Minkowski 3-space.
Hopefully, our work may give a productive contribution to the application of four-bar mechanisms, dual Lorentzian spherical motions, theory of mechanism synthesis for higher order approximations, spatial mechanisms in engineering design and gear theory.

Author Contributions

Conceptualization, Y.L., N.A. and R.A.A.-B.; methodology, Y.L., N.A. and R.A.A.-B.; investigation, Y.L., N.A. and R.A.A.-B.; writing—original draft preparation, Y.L., N.A. and R.A.A.-B.; writing—review and editing, Y.L., N.A. and R.A.A.-B.; All authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by National Natural Science Foundation of China (Grant No. 12101168) and Zhejiang Provincial Natural Science Foundation of China (Grant No. LQ22A010014).

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Acknowledgments

We gratefully acknowledge the constructive comments from the editor and the anonymous referees.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Bottema, O.; Roth, B. Theoretical Kinematics; North-Holland Press: New York, NY, USA, 1979. [Google Scholar]
  2. Karger, A.; Novak, J. Space Kinematics and Lie Groups; Gordon and Breach Science Publishers: New York, NY, USA, 1985. [Google Scholar]
  3. Pottman, H.; Wallner, J. Computational Line Geometry; Springer: Berlin/Heidelberg, Germany, 2001. [Google Scholar]
  4. Aslan, M.C.; Sekerci, G.A. Dual curves associated with the Bonnet ruled surfaces. Int. J. Geom. Methods Mod. Phys. 2020, 17, 2050204. [Google Scholar] [CrossRef]
  5. Alluhaibi, N. Ruled surfaces with constant Disteli-axis. AIMS Math. 2020, 5, 7678–7694. [Google Scholar] [CrossRef]
  6. Ali, A.T. Non-lightlike constant angle ruled surfaces in Minkowski 3-space. J. Geom. Phys. 2020, 157, 103833. [Google Scholar] [CrossRef]
  7. Ali, A.T. A constant angle ruled surfaces. Int. J. Geom. 2018, 7, 69–80. [Google Scholar]
  8. Ali, A.T. Non-lightlike ruled surfaces with constant curvatures in Minkowski 3-space. Int. J. Geom. Methods Mod. Phys. 2018, 15, 1850068. [Google Scholar] [CrossRef]
  9. Ali, A.T.; Hamdoon, F.M. Surfaces foliated by ellipses with constant Gaussian curvature in Euclidean 3-space. Korean J. Math. 2017, 25, 537–554. [Google Scholar]
  10. Ali, A.T.; Abdel Aziz, H.S.; Sorour, A.H. On some geometric properties of quadric surfaces in Euclidean space. Honam Math. J. 2016, 38, 593–611. [Google Scholar] [CrossRef]
  11. Ali, A.T.; Abdel Aziz, H.S.; Sorour, A.H. On curvatures and points of the translation surfaces in Euclidean 3-space. J. Egyptian Math. Soc. 2015, 23, 167–172. [Google Scholar] [CrossRef]
  12. Saracoglu, S.; Yayli, Y. Ruled Surfaces and Dual Spherical Curves. Acta Univ. Apulensis 2012, 20, 337–354. [Google Scholar]
  13. Sarioglugil, A.; Senyurt, S.; Kuruoglu, N. On The Integral Invariants of The Closed Ruled Surfaces Generated by a Parallel p-Equidistant Dual Centroit Curve in the Line Space. Hadron. J. 2011, 34, 34–47. [Google Scholar]
  14. Schaaf, A.; Ravani, B. Geometric Continuity of Ruled Surfaces. Comput. Aided Geom. Des. 1998, 15, 289–310. [Google Scholar] [CrossRef]
  15. Senyurt, S.; Gur Mazlum, S.; Grilli, G. Gaussian curvatures of parallel ruled surfaces. Appl. Math. Sci. 2020, 14, 171–183. [Google Scholar] [CrossRef]
  16. López, R. Differential geometry of curves and surfaces in Lorentz-Minkowski space. Int. Electron. J. Geom. 2014, 7, 44–107. [Google Scholar] [CrossRef]
  17. O’Neil, B. Semi-Riemannian Geometry Geometry, with Applications to Relativity; Academic Press: New York, NY, USA, 1983. [Google Scholar]
  18. Walfare, J. Curves and Surfaces in Minkowski Space. Ph.D. Thesis, K.U. Leuven. Faculty of Science, Leuven, Belgium, 1995. [Google Scholar]
  19. Pekmen, U.; Pasali, S. Some characterizations of Lorentzian spherical spacelike curves. Math. Morav. 1999, 3, 31–37. [Google Scholar]
  20. Study, E. Geometric der Dynamen; Verlag: Leipzig, Germany, 1903. [Google Scholar]
  21. Li, Y.; Ganguly, D.; Dey, S.; Bhattacharyya, A. Conformal η-Ricci solitons within the framework of indefinite Kenmotsu manifolds. AIMS Math. 2022, 7, 5408–5430. [Google Scholar] [CrossRef]
  22. Li, Y.; Abolarinwa, A.; Azami, S.; Ali, A. Yamabe constant evolution and monotonicity along the conformal Ricci flow. AIMS Math. 2022, 7, 12077–12090. [Google Scholar] [CrossRef]
  23. Li, Y.; Khatri, M.; Singh, J.P.; Chaubey, S.K. Improved Chen’s Inequalities for Submanifolds of Generalized Sasakian-Space-Forms. Axioms 2022, 11, 324. [Google Scholar] [CrossRef]
  24. Li, Y.; Mofarreh, F.; Agrawal, R.P.; Ali, A. Reilly-type inequality for the ϕ-Laplace operator on semislant submanifolds of Sasakian space forms. J. Inequal. Appl. 2022, 1, 102. [Google Scholar] [CrossRef]
  25. Li, Y.; Mofarreh, F.; Dey, S.; Roy, S.; Ali, A. General Relativistic Space-Time with η1-Einstein Metrics. Mathematics 2022, 10, 2530. [Google Scholar] [CrossRef]
  26. Li, Y.; Dey, S.; Pahan, S.; Ali, A. Geometry of conformal η-Ricci solitons and conformal η-Ricci almost solitons on Paracontact geometry. Open Math. 2022, 20, 574–589. [Google Scholar] [CrossRef]
  27. Li, Y.; Uçum, A.; İlarslan, K.; Camcı, Ç. A New Class of Bertrand Curves in Euclidean 4-Space. Symmetry 2022, 14, 1191. [Google Scholar] [CrossRef]
  28. Li, Y.; Şenyurt, S.; Özduran, A.; Canlı, D. The Characterizations of Parallel q-Equidistant Ruled Surfaces. Symmetry 2022, 14, 1879. [Google Scholar] [CrossRef]
  29. Li, Y.; Haseeb, A.; Ali, M. LP-Kenmotsu manifolds admitting η-Ricci solitons and spacetime. J. Math. 2022, 2022, 6605127. [Google Scholar]
  30. Li, Y.; Mofarreh, F.; Abdel-Baky, R.A. Timelike Circular Surfaces and Singularities in Minkowski 3-Space. Symmetry 2022, 14, 1914. [Google Scholar] [CrossRef]
  31. Yang, Z.C.; Li, Y.; Erdoǧdub, M.; Zhu, Y.S. Evolving evolutoids and pedaloids from viewpoints of envelope and singularity theory in Minkowski plane. J. Geom. Phys. 2022, 176, 104513. [Google Scholar] [CrossRef]
  32. Gür, S.; Şenyurt, S.; Grilli, L. The Dual Expression of Parallel Equidistant Ruled Surfaces in Euclidean 3-Space. Symmetry 2022, 14, 1062. [Google Scholar]
  33. Çalışkan, A.; Şenyurt, S. Curves and ruled surfaces according to alternative frame in dual space. Commun. Fac. Sci. Univ. 2020, 69, 684–698. [Google Scholar] [CrossRef]
  34. Çalışkan, A.; Şenyurt, S. The dual spatial quaternionic expression of ruled surfaces. Therm. Sci. 2019, 23, 403–411. [Google Scholar] [CrossRef]
  35. Şenyurt, S.; Çalışkan, A. The quaternionic expression of ruled surfaces. Filomat 2018, 32, 5753–5766. [Google Scholar] [CrossRef]
  36. Şenyurt, S.; Gür, S. Spacelike surface geometry. Int. J. Geom. Methods M. 2017, 14, 1750118. [Google Scholar] [CrossRef]
  37. As, E.; Şenyurt, S. Some Characteristic Properties of Parallel-Equidistant Ruled Surfaces. Math. Probl. Eng. 2013, 2013. [Google Scholar] [CrossRef]
  38. Özcan, B.; Şenyurt, S. On Some Characterizations of Ruled Surface of a Closed Timelike Curve in Dual Lorentzian Space. Adv. Appl. Clifford Al. 2012, 22, 939–953. [Google Scholar]
  39. Antić, M.; Moruz, M.; Van, J. H-Umbilical Lagrangian Submanifolds of the Nearly Kähler S 3 × S 3 . Mathematics 2020, 8, 1427. [Google Scholar] [CrossRef]
  40. Antić, M.; Djordje, K. Non-Existence of Real Hypersurfaces with Parallel Structure Jacobi Operator in S6(1). Mathematics 2022, 10, 2271. [Google Scholar] [CrossRef]
  41. Antić, M. Characterization of Warped Product Lagrangian Submanifolds in ℂn. Results Math. 2022, 77, 106. [Google Scholar] [CrossRef]
  42. Antić, M.; Vrancken, L. Conformally flat, minimal, Lagrangian submanifolds in complex space forms. Sci. China Math. 2022, 65, 1641–1660. [Google Scholar] [CrossRef]
  43. Antić, M.; Hu, Z.; Moruz, M.; Vrancken, L. Surfaces of the nearly Kähler S 3 × S 3 preserved by the almost product structure. Math. Nachr. 2021, 294, 2286–2301. [Google Scholar] [CrossRef]
  44. Antić, M. A class of four-dimensional CR submanifolds in six dimensional nearly Kähler manifolds. Math. Slovaca 2018, 68, 1129–1140. [Google Scholar] [CrossRef]
  45. Antić, M. A class of four dimensional CR submanifolds of the sphere S6(1). J. Geom. Phys. 2016, 110, 78–89. [Google Scholar] [CrossRef]
  46. Todorčević, V. Harmonic Quasiconformal Mappings and Hyperbolic Type Metrics; Springer International Publishing: Berlin/Heidelberg, Germany, 2019. [Google Scholar]
  47. Todorčević, V. Subharmonic behavior and quasiconformal mappings. Anal. Math. Phys. 2019, 9, 1211–1225. [Google Scholar] [CrossRef]
  48. Kojić, V.; Pavlović, M. Subharmonicity of |f|p for quasiregular harmonic functions, with applications. J. Math. Anal. Appl. 2008, 342, 742–746. [Google Scholar] [CrossRef]
  49. Kojić, V. Quasi-nearly subharmonic functions and conformal mappings. Filomat 2007, 21, 243–249. [Google Scholar] [CrossRef]
  50. Manojlović, V.; Vuorinen, M. On quasiconformal maps with identity boundary values. Trans. Am. Math. Soc. 2011, 363, 2367–2479. [Google Scholar] [CrossRef]
  51. Manojlović, V. On bilipschicity of quasiconformal harmonic mappings. Novi Sad J. Math. 2015, 45, 105–109. [Google Scholar] [CrossRef]
  52. Manojlović, V. Bilipschitz mappings between sectors in planes and quasi-conformality. Funct. Anal. Approx. Comput. 2009, 1, 1–6. [Google Scholar]
  53. Manojlović, V. Bi-Lipschicity of quasiconformal harmonic mappings in the plane. Filomat 2009, 23, 85–89. [Google Scholar] [CrossRef]
  54. Manojlović, V. On conformally invariant extremal problems. Appl. Anal. Discret. Math. 2009, 3, 97–119. [Google Scholar] [CrossRef]
  55. Gungor, M.A.; Ersoy, S.; Tosun, M. Dual Lorentzian spherical motions and dual Euler–Savary formula. Eur. J. Mech. Solids. 2009, 28, 820–826. [Google Scholar] [CrossRef]
Figure 1. The dual Lorentzian and dual hyperbolic unit spheres.
Figure 1. The dual Lorentzian and dual hyperbolic unit spheres.
Symmetry 14 01930 g001
Figure 2. Typical portions of spacelike axodes.
Figure 2. Typical portions of spacelike axodes.
Symmetry 14 01930 g002
Figure 3. Illustrations of x ^ and the Disteli-axis b ^ .
Figure 3. Illustrations of x ^ and the Disteli-axis b ^ .
Symmetry 14 01930 g003
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Li, Y.; Alluhaibi, N.; Abdel-Baky, R.A. One-Parameter Lorentzian Dual Spherical Movements and Invariants of the Axodes. Symmetry 2022, 14, 1930. https://doi.org/10.3390/sym14091930

AMA Style

Li Y, Alluhaibi N, Abdel-Baky RA. One-Parameter Lorentzian Dual Spherical Movements and Invariants of the Axodes. Symmetry. 2022; 14(9):1930. https://doi.org/10.3390/sym14091930

Chicago/Turabian Style

Li, Yanlin, Nadia Alluhaibi, and Rashad A. Abdel-Baky. 2022. "One-Parameter Lorentzian Dual Spherical Movements and Invariants of the Axodes" Symmetry 14, no. 9: 1930. https://doi.org/10.3390/sym14091930

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop