Open AccessArticle

Timelike Ruled Surfaces with Stationary Disteli-Axis

Areej A. Almoneef

and

Rashad A. Abdel-Baky

^2,*

Department of Mathematical Sciences, College of Sciences, Princess Nourah Bint Abdulrahman, Riyadh 11546, Saudi Arabia

Department of Mathematics, Faculty of Science, University of Assiut, Assiut 71516, Egypt

Author to whom correspondence should be addressed.

Symmetry 2023, 15(5), 998; https://doi.org/10.3390/sym15050998

Submission received: 26 March 2023 / Revised: 23 April 2023 / Accepted: 26 April 2023 / Published: 28 April 2023

(This article belongs to the Special Issue Symmetry and Applications of Differential Geometry to the Differential Equations of Mathematical Physics)

Download

Browse Figures

Figure 1
The dual hyperbolic and dual Lorentzian unit spheres. "> Figure 2
<math display="inline"><semantics> <mrow> <mover accent="true"> <mi mathvariant="bold">d</mi> <mo>^</mo> </mover> <mo>=</mo> <mo form="prefix">sinh</mo> <mover accent="true"> <mi>ϕ</mi> <mo>^</mo> </mover> <msub> <mover accent="true"> <mi mathvariant="bold">ζ</mi> <mo>^</mo> </mover> <mn>1</mn> </msub> <mo>+</mo> <mo form="prefix">cosh</mo> <mover accent="true"> <mi>ϕ</mi> <mo>^</mo> </mover> <msub> <mover accent="true"> <mi mathvariant="bold">ζ</mi> <mo>^</mo> </mover> <mn>3</mn> </msub> </mrow> </semantics></math>. "> Figure 3
Timelike Plücker’s conoid. "> Figure 4
General timelike helicoidal surface. "> Figure 5
Lorentzian sphere. "> Figure 6
Timelike Archimedes. "> Figure 7
Timelike cone. "> Figure 8
A timelike helicoid of the 1st kind. ">

Versions Notes

Abstract

This paper derives the declarations for timelike ruled surfaces with stationary timelike Disteli-axis by the E. Study map. This prepares the ability to determine a set of Lorentzian invariants which explain the local shape of timelike ruled surfaces. As a result, the Hamilton and Mannhiem formulae of surfaces theory are attained at Lorentzian line space and their geometrical explanations are examined. Then, we define and explicate the kinematic geometry of a timelike Plűcker conoid created by the timelike Disteli-axis. Additionally, we provide the relationships through timelike ruled surface and the order of contact with its timelike Disteli-axis.

Keywords:

Blaschke frame; striction curve; height dual functions

MSC:

53A04; 53A05; 53A17

1. Introduction

In the context of spatial movements, a ruled surface is a surface that can be created by movable line in space. The significance of the ruled surface lies in the certainty that it is exercised in considerable ranges of manufacturing and engineering, including modeling of apparel and automobile parts. Moreover, it can be utilized to build mathematical models of movable structures, which can be utilized to design and optimize complex engineering systems (see e.g., [1,2,3]). One of the generalization-comfortable methods to heading the locomotion of line space seems to find a link with this space and dual numbers. Via the E. Study map in screw and dual number algebra, the set of all oriented lines in Euclidean 3-space

E^{3}

is instantly attached to the set of points on the dual unit sphere in the dual 3-space

D^{3}

. Further characteristics on the necessary essential registrations of the E. Study map and one-parameter dual spherical movement can be found in [4,5,6,7,8].

In Minkowski 3-space

E_{1}^{3}

, the discussion of ruled surface is more distant than the Euclidean case, Lorentzian distance function can be negative, positive, or zero, whereas the Euclidean distance function can only be positive-definite. Then, if we occupy the Minkowski 3-space

E_{1}^{3}

as an substitutional of the Euclidean 3-space

E^{3}

, the E. Study map can be presented as: The set of all timelike (spacelike) oriented lines in Minkowski 3-space

E_{1}^{3}

is instantly attached to the set of points on the hyperbolic (Lorentzian) dual unit sphere in the Lorentzian Dual 3-space

D_{1}^{3}

. It shows that a spacelike curve on

H_{+}^{2}

matching a timelike ruled surface at

E_{1}^{3}

. Similarly, a spacelike (timelike) curve on

S_{1}^{2}

matching timelike (spacelike) ruled surface at

E_{1}^{3}

. By means of its dealings with engineering and physical sciences in Minkowski space, senior geometers and engineers have researched and acquired a lot of ownerships of the ruled surfaces (see [9,10,11,12,13,14]).

This work is an access for establishing timelike ruled surfaces with a stationary (invariable) timelike Disteli-axis by the E. Study map. Then, we specify and treatise the kinematic-geometry of a timelike Plűcker conoid created by the timelike Disteli-axis. As a result, a description for a spacelike line trajectory to be a invariable timelike Disteli-axis is gained and explored. Lastly, we research some conditions which lead to specific timelike ruled surfaces such as the general timelike surface, the timelike helicoidal surface, and the timelike cone.

2. Preliminaries

In this section, we list some connotations, formulae of dual numbers and dual Lorentzian vectors (see, e.g., [1,2,3,4,5,15,16]). A non-null directed line L in Minkowski 3-space

E

_{1}^{3}

can be distinguished with a point

a \in L

and a normalized vector

ξ

on L, that is,

{∥ξ∥}^{2} = \pm 1

. To hold coordinates for L, one set the moment vector

ξ^{*} = a \times ξ

in relation to the origin point in

E_{1}^{3}

. If

a

is replaced by any point

b = a + t

ξ

t \in R

on L, this detects that

ξ^{*}

is independent of

a

on L. The two non-null vectors

ξ

and

ξ^{*}

are dependent; they fulfill the following:

L : < ξ, ξ > = \pm 1, {< ξ}^{*}, ξ > = 0 .

The six components

ξ_{i}, ξ_{i}^{*} (i = 1, 2, 3)

ξ

and

ξ^{*}

are named the normalized Plűcker coordinates of L. Therefore,

ξ

and

ξ^{*}

locate the non-null directed line L.

A dual number

\hat{ξ}

is a number

ξ + ε ξ^{*}

, where

ξ,

ξ^{*}

R

ε

is a dual unit with

ε \neq 0

and

ε^{2} = 0

. Then, the set

D^{3} = {\hat{ξ} : = ξ + ε ξ^{*} = ({\hat{ξ}}_{1}, {\hat{ξ}}_{2}, {\hat{ξ}}_{3})},

with the Lorentzian scalar product

< \hat{ξ}, \hat{ξ} > = {\hat{ξ}}_{1}^{2} + {\hat{ξ}}_{2}^{2} - {\hat{ξ}}_{3}^{2},

creates the so-named dual Lorentzian 3-space

D_{1}^{3}

. Then, a point

\hat{ξ} = {({\hat{ξ}}_{1}, {\hat{ξ}}_{2}, {\hat{ξ}}_{3})}^{t}

has dual coordinates

{\hat{ξ}}_{i} = (ξ_{i} + ε ξ_{i}^{*}) \in D

. If

ξ

\neq 0

the norm

∥\hat{ξ}∥

\hat{ξ} =

$ξ$

+ ε

ξ

^{*}

∥\hat{ξ}∥ = \sqrt{|< \hat{ξ}, \hat{ξ} >|} = ∥ξ∥ (1 + ε \frac{< ξ, ξ^{*} >}{{∥ξ∥}^{2}}) .

Then,

\hat{ξ}

is named a timelike (spacelike) dual unit vector if

{∥\hat{ξ}∥}^{2} = - 1

(

{∥\hat{ξ}∥}^{2} = 1

). Consequently, we have

{∥\hat{ξ}∥}^{2} = \pm 1 ⟺ {∥ξ∥}^{2} = \pm 1, < ξ, ξ^{*} > = 0 .

The hyperbolic and Lorentzian (de Sitter space) dual unit spheres with the center

\hat{0}

, respectively, are:

H_{+}^{2} = \{\hat{ξ} \in D_{1}^{3} ∣ {\hat{ξ}}_{1}^{2} + {\hat{ξ}}_{2}^{2} - {\hat{ξ}}_{3}^{2} = - 1\},

and

S_{1}^{2} = \{\hat{ξ} \in D_{1}^{3} ∣ {\hat{ξ}}_{1}^{2} + {\hat{ξ}}_{2}^{2} - {\hat{ξ}}_{3}^{2} = 1\} .

Hence, we have the E. Study map: The ring-shaped hyperboloid represents the set of spacelike lines, the combined asymptotic cone represents the set of null-lines, and the oval-shaped hyperboloid represents the set of timelike lines (see Figure 1). As a consequence, a curve on

H_{+}^{2}

matches a timelike ruled surface in

ξ

_{1}^{3}

. Additionally, a curve on

S_{1}^{2}

matches a spacelike or timelike ruled surface in

E_{1}^{3}

[8,9,10,11,12,13,14].

Definition 1.

For any two (non-null) dual vectors

\hat{a}

and

\hat{b}

D_{1}^{3}

, we have [8,9,10,11,12]: (i) If

\hat{a}

and

\hat{b}

are two dual spacelike vectors, then:

If they span a dual spacelike plane, there is a dual number $\hat{θ} = θ + ε θ^{*}$ ; $0 \leq θ \leq π$ , and $θ^{*} \in R$ such that $< \hat{a}, \hat{b} > = ∥\hat{a}∥ ∥\hat{b}∥ cos \hat{θ}$ . This number is the spacelike dual angle amongst $\hat{a}$ and $\hat{b}$ ;
If they span a dual timelike plane, there is a dual number $\hat{θ} = θ + ε θ^{*} \geq 0$ such that $< \hat{a}, \hat{b} > = ϵ ∥\hat{a}∥ ∥\hat{b}∥ cosh \hat{θ}$ , where $ϵ = + 1$ or $ϵ = - 1$ via $s i g n ({\hat{a}}_{2}) = s i g n ({\hat{y}}_{2})$ or $s i g n ({\hat{a}}_{2}) \neq s i g n ({\hat{b}}_{2})$ , respectively. This number is the central dual angle amongst $\hat{a}$ and $\hat{b}$ ;
(ii) If $\hat{a}$ and $\hat{b}$ are two dual timelike vectors, then there is a dual number $\hat{θ} = θ + ε θ^{*} \geq 0$ such that $< \hat{a}, \hat{b} > = ϵ ∥\hat{a}∥ ∥\hat{b}∥ cosh \hat{θ}$ , where $ϵ = + 1$ or $ϵ = - 1$ via $\hat{a}$ and $\hat{b}$ have different time-direction or the same time-direction, respectively. This dual number is the Lorentzian timelike dual angle amongst $\hat{a}$ and $\hat{b}$ ;
(iii) If $\hat{a}$ is dual spacelike, and $\hat{b}$ is dual timelike, then there is a dual number $\hat{θ} = θ + ε θ^{*} \geq$ 0 such that $< \hat{a}, \hat{b} > = ϵ ∥\hat{a}∥ ∥\hat{b}∥ sinh \hat{θ}$ , where $ϵ = + 1$ or $ϵ = - 1$ via $s i g n ({\hat{a}}_{2}) = s i g n ({\hat{b}}_{1})$ or $s i g n ({\hat{a}}_{2}) \neq s i g n ({\hat{b}}_{1})$ . This number is the Lorentzian timelike dual angle amongst $\hat{a}$ and $\hat{b}$ .

Definition 2.

A pencil of non-null oriented lines

\hat{a} = (a, a^{*}) \in E_{1}^{3}

satisfying

C : < a^{*}, b > + < b^{*}, a > = 0,

where

{∥\hat{b}∥}^{2} = \pm 1

is named a spacelike (timelike) line complex when

< b, b^{*} > \neq 0

. In the special case, C is named a spacelike (timelike) singular line complex if

< b^{*}, b > = 0

,and

{∥\hat{b}∥}^{2} = \pm 1

A non-null singular line complex is a pencil of all non-null lines

\hat{a}

intersecting the non-null line

\hat{b}

. Then, we can have a non-null line congruence by common non-null line complexes. The non-null line congruences include a regular pencil of non-null lines in

E_{1}^{3}

realized as a non-null ruled surface. Non-null ruled surface (such as cone and cylinder ) include non-null lines in which the tangent plane touches the surface over the non-null ruling. Such non-null lines are named non-null torsal lines.

One-Parameter Lorentzian Dual Spherical Movements

Let

S_{1 m}^{2}

and

S_{1 f}^{2}

be two Lorentzian dual unit spheres with a joint center

\hat{0}

D_{1}^{3}

. We choose

{\hat{ζ}} = {\hat{0}

;

{\hat{ζ}}_{1}, {\hat{ζ}}_{2}, {\hat{ζ}}_{3}

(timelike)}, and

{\hat{ξ}} = {\hat{0}

;

{\hat{ξ}}_{1}

{\hat{ξ}}_{2}

{\hat{ξ}}_{3}

(timelike)} as two orthonormal dual frames related with

S_{1 m}^{2}

and

S_{1 f}^{2}

, respectively. If we set

{\hat{ξ}}

is stationary, whereas the components of the set

{\hat{ζ}}

are functions of a real parameter

t \in R

(say the time). Then, we say that

S_{1 m}^{2}

movements with respect to

S_{1 f}^{2} .

Such movement is named a one-parameter Lorentzian dual spherical movements, and indicated by

S_{1 m}^{2} / S_{1 f}^{2}

. If

S_{1 m}^{2}

and

S_{1 f}^{2}

matches to the Lorentzian line spaces

L_{m}

and

L_{f}

, respectively, then

S_{1 m}^{2} / S_{1 f}^{2}

matches the one-parameter Lorentzian spatial movements

L_{m} / L_{f} .

Therefore,

L_{m}

is the movable Lorentzian space with respect to the invariable Lorentzian space

L_{f}

E_{1}^{3}

. Since each of these orthonormal dual frames has the same direction, one frame is gained by employing second when revolved about

\hat{0}

. By letting

< {\hat{ζ}}_{i}, {\hat{ξ}}_{j} > = {\hat{a}}_{i j} = a_{i j} + ε a_{i j}^{*}

and considering the dual matrix

\hat{a} (t) = ({\hat{a}}_{i j})

. It then follows that the signature matrix

ϵ

of the inner product is specified by

ϵ = (\begin{matrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & - 1 \end{matrix}) .

Hence, the movement

S_{1 m}^{2} / S_{1 f}^{2}

can be described as

(\begin{matrix} {\hat{ξ}}_{1} \\ {\hat{ξ}}_{2} \\ {\hat{ξ}}_{3} \end{matrix}) = (\begin{matrix} {\hat{a}}_{11} & {\hat{a}}_{12} & {\hat{a}}_{13} \\ {\hat{a}}_{21} & {\hat{a}}_{22} & {\hat{a}}_{23} \\ {\hat{a}}_{31} & {\hat{a}}_{32} & {\hat{a}}_{33} \end{matrix}) (\begin{matrix} {\hat{ζ}}_{1} \\ {\hat{ζ}}_{2} \\ {\hat{ζ}}_{3} \end{matrix}) .

Thus, the dual matrix

\hat{a} (t) = a_{i j} (t) + ε a_{i j}^{*} (t)

has

{\hat{a}}^{T} = ϵ {\hat{a}}^{- 1} ϵ

, and

{\hat{a}}^{- 1} = ϵ {\hat{a}}^{T} ϵ

. Therefore, we have:

\hat{a} {\hat{a}}^{- 1} = \hat{a} ϵ {\hat{a}}^{T} ϵ a = {\hat{a}}^{- 1} \hat{a} = ϵ {\hat{a}}^{T} ϵ \hat{a} = I,

(1)

which mean it is an orthogonal matrix. This outcome indicates that when a one-parameter Lorentzian spatial movement is stated in

E_{1}^{3}

, we can locate a Lorentzian dual orthogonal

3 \times 3

matrix

\hat{a} (t) = ({\hat{a}}_{i j})

, where

({\hat{a}}_{i j})

are dual functions of one variable

t \in R

. Similar to the set of real Lorentzian orthogonal matrices, the set of Lorentzian dual orthogonal

3 \times 3

matrices, indicated by

O (D_{1}^{3 \times 3})

, locate a group with matrix multiplication as the group operation (real Lorentzian orthogonal matrices are subgroup of Lorentzian dual orthogonal matrices). The identity element of

O (D_{1}^{3 \times 3})

is the

3 \times 3

unit matrix. Since the center of the Lorentzian dual unit sphere in

D_{1}^{3}

should remain inanimate, the transformation group in

D_{1}^{3}

(the picture of Lorentzian movements in the Minkowski 3-space

E_{1}^{3}

) does not hold any translations. Then, for the Lorentzian movements in

D_{1}^{3}

, we can state the next theorem:

Theorem 1.

The set of all Lorentzian dual orthogonal matrices

O (D_{1}^{3 \times 3})

D_{1}^{3}

-space is in one-to-one agreement with the set of all one-parameter Lorentzian spatial movements in

E_{1}^{3}

-space.

To derive an element of the dual Lie algebra

L (O_{D_{1}^{3 \times 3}})

of the dual group

O (D_{1}^{3 \times 3})

, we set a Lorentzian dual curve of such dual matrices

\hat{a} (t)

such that

\hat{a} (0)

is the identity. By setting the derivative of Equation (1) with respect to t, we attain:

{\hat{a}}^{^{'}} {\hat{a}}^{- 1} + \hat{a} {({\hat{a}}^{- 1})}^{^{'}} = 0; 0 is zero 3 \times 3 matrix .

If we set

\hat{ω} (t) = {\hat{a}}^{^{'}} {\hat{a}}^{- 1}

, we see that

{\hat{ω}}^{T} + ϵ \hat{ω} ϵ = 0

, that is, the matrix

\hat{ω}

is a skew-adjoint matrix. Thus, via Theorem 1, the Lie algebra

L (O_{D_{1}^{3 \times 3}})

of the dual Lorentzian group

O (D_{1}^{3 \times 3})

is the algebra of dual skew-adjoint

3 \times 3

matrices

\hat{ω} (t) : = {\hat{a}}^{^{'}} ϵ {\hat{a}}^{T} ϵ = (\begin{matrix} 0 & {\hat{ω}}_{3} & {\hat{ω}}_{2} \\ - {\hat{ω}}_{3} & 0 & - {\hat{ω}}_{1} \\ - {\hat{ω}}_{2} & - {\hat{ω}}_{1} & 0 \end{matrix}) .

(2)

Here, “dash” references the derivative with respect to

t \in R

. Then,

(\begin{matrix} {\hat{ζ}}_{1}^{^{'}} \\ {\hat{ζ}}_{2}^{^{'}} \\ {\hat{ζ}}_{3}^{^{'}} \end{matrix}) = (\begin{matrix} 0 & {\hat{ω}}_{3} & {\hat{ω}}_{2} \\ - {\hat{ω}}_{3} & 0 & - {\hat{ω}}_{1} \\ - {\hat{ω}}_{2} & - {\hat{ω}}_{1} & 0 \end{matrix}) (\begin{matrix} {\hat{ζ}}_{1} \\ {\hat{ζ}}_{2} \\ {\hat{ζ}}_{3} \end{matrix}) = \hat{ω} \times (\begin{matrix} {\hat{ζ}}_{1} \\ {\hat{ζ}}_{2} \\ {\hat{ζ}}_{3} \end{matrix}),

(3)

where

\hat{ω} (t) = ω (t) + ε ω^{*} (t) = ({\hat{ω}}_{1}, {\hat{ω}}_{2}, {\hat{ω}}_{3})

is named the instantaneous dual rotation vector of

S_{1 m}^{2} / S_{1 f}^{2}

ω

and

ω^{*}

, respectively, are the instantaneous rotational differential velocity vector and the instantaneous translational differential velocity vector of the movement

L_{m} / L_{ξ}

3. Timelike Ruled Surfaces with Stationary Disteli-Axis

According to Formula (3), let

{\hat{ζ}}_{1} (t)

be a spacelike dual curve on

S_{1 f}^{2}

match a timelike ruled surface (

\hat{ζ}

) in

L_{f}

. As customary Blaschke frame for

{\hat{ζ}}_{1} (t)

will be specified as

{\hat{ζ}}_{1} = {\hat{ζ}}_{1} (t), {\hat{ζ}}_{2} (t) = {\hat{ζ}}_{1}^{^{'}} {∥{\hat{ζ}}_{1}^{^{'}}∥}^{- 1}, {\hat{ζ}}_{1} \times {\hat{ζ}}_{2} = - {\hat{ζ}}_{3},

(4)

where

\begin{matrix} < {\hat{ζ}}_{1}, {\hat{ζ}}_{1} > = < {\hat{ζ}}_{2}, {\hat{ζ}}_{2} > = 1, < {\hat{ζ}}_{3}, {\hat{ζ}}_{3} > = - 1, \\ {\hat{ζ}}_{1} \times {\hat{ζ}}_{2} = {\hat{ζ}}_{3}, {\hat{ζ}}_{1} \times {\hat{ζ}}_{3} = {\hat{ζ}}_{2}, {\hat{ζ}}_{2} \times {\hat{ζ}}_{3} = - {\hat{ζ}}_{1} . \end{matrix}

The frame

{{\hat{ζ}}_{1} (t), {\hat{ζ}}_{2} (t), {\hat{ζ}}_{3} (t)}

is named Blaschke frame. Through the movement

S_{1 m}^{2} / S_{1 f}^{2},

the matching lines intersect at the striction point

c

of the ruled surface (

\hat{ζ}

). The trajectory of the central points trace the striction curve

c (t)

on (

\hat{ζ}

). Therefore, the structural equation of

S_{1 m}^{2} / S_{1 f}^{2}

is specified by

(\begin{matrix} {\hat{ζ}}_{1}^{^{'}} \\ {\hat{ζ}}_{2}^{^{'}} \\ {\hat{ζ}}_{3}^{^{'}} \end{matrix}) = (\begin{matrix} 0 & \hat{p} & 0 \\ - \hat{p} & 0 & - \hat{q} \\ 0 & - \hat{q} & 0 \end{matrix}) (\begin{matrix} {\hat{ζ}}_{1} \\ {\hat{ζ}}_{2} \\ {\hat{ζ}}_{3} \end{matrix}) = \hat{ω} \times (\begin{matrix} {\hat{ζ}}_{1} \\ {\hat{ζ}}_{2} \\ {\hat{ζ}}_{3} \end{matrix}),

(5)

where

\hat{ω} (t) = (\hat{q}, 0, \hat{p})

, and

\hat{p} (t) = p (t) + ε p^{*} (t) = ∥{\hat{ζ}}_{1}^{^{'}}∥, \hat{q} = q + ε q^{*} = det ({\hat{ζ}}_{1}, {\hat{ζ}}_{1}^{^{'}}, {\hat{ζ}}_{1}^{^{^{″}}}),

are the Blaschke invariants of the timelike dual curve

\hat{r} (t) \in S_{1 f}^{2}

. The tangent of the striction curve is:

c^{^{'}} (t) = q^{*} (t) ζ_{1} (t) - p^{*} (t) ζ_{3} (t) .

(6)

The Lorentzian invariants of (

\hat{ζ}

) are:

γ (t) = \frac{q (t)}{p (t)}, ϝ (t) = \frac{q^{*} (t)}{q (t)}, and μ (t) = \frac{p^{*} (t)}{p (t)} with p (t) \neq 0 .

(7)

The geometric elucidations of

γ (t)

ϝ (t)

, and

μ (t)

are as follows:

γ

is the spherical curvature of the image curve

ζ_{1} (t)

;

ϝ

is the angle amongst the tangent to the striction curve and the ruling of (

\hat{ζ}

); and

μ

is its distribution parameter at the ruling. Thus, a timelike ruled surface can be specified as follows:

(\hat{r}) : y (t, v) = \overset{t}{\int_{0}} (q^{*} (t) ζ_{1} (t) - p^{*} (t) g (t)) d t + v ζ_{1} (t) .

(8)

3.1. Timelike Disteli-Axis

Under the hypothesis that

|\hat{q}| < |\hat{p}|

, we specify the timelike Disteli-axis of (

\hat{ζ}

) in

L_{f}

as follows:

\hat{d} (t) = d (t) + ε d^{*} (t) = \frac{\hat{ω} (t)}{∥\hat{ω} (t)∥} = \frac{\hat{q}}{\sqrt{{\hat{p}}^{2} - {\hat{q}}^{2}}} {\hat{ζ}}_{1} + \frac{\hat{p}}{\sqrt{{\hat{p}}^{2} - {\hat{q}}^{2}}} {\hat{ζ}}_{3} .

(9)

Then, Equation (5) can be written as

(\begin{matrix} {\hat{ζ}}_{1}^{^{'}} \\ {\hat{ζ}}_{2}^{^{'}} \\ {\hat{ζ}}_{3}^{^{'}} \end{matrix}) = ∥\hat{ω}∥ \hat{d} \times (\begin{matrix} {\hat{ζ}}_{1} \\ {\hat{ζ}}_{2} \\ {\hat{ζ}}_{3} \end{matrix}) .

(10)

Therefore, at any instant

t \in R

, we gain

ω^{*} (t) = \frac{p p^{*} - q q^{*}}{\sqrt{p^{2} - q^{2}}}, ω (t) = \sqrt{p^{2} - q^{2}} .

Therefore, the timelike Disteli-axis is the instantaneous screw axis of the the movement

L_{m} / L_{f}

Proposition 1.

The pitch

β (t)

of the Blaschke frame along the timelike Disteli-axis is specified by

β (t) : = \frac{< {ω, ω}^{*} >}{{∥ω∥}^{2}} = \frac{p p^{*} - q q^{*}}{p^{2} - q^{2}} .

(11)

However, the timelike Disteli-axis

\hat{d} (t)

can be realized by Equation (9), and we have:

(1): The dual angular speed can be specified as $∥\hat{ω} (t)∥ = ω (t) (1 + ε β (t))$ ;
(2): If $p (x, y, z)$ be a point on $\hat{d} (t)$ , then

p (t, v) = d (t) \times d^{*} (t) + v d (t), v \in R .

(12)

is a non-developable timelike ruled surface

(\hat{d})

If the movement

L_{m} / L_{f}

is a pure rotation, that is,

β (t) = 0

, then,

\hat{d} (t) = d (t) + ε d^{*} (t) = \frac{1}{∥ω∥} (ω + ε ω^{*}),

(13)

whereas, if

β (t) = 0

, and

{∥ω (t)∥}^{2} = 1

, then

\hat{ω} (t)

is a timelike line. However, if

\hat{ω} (t) =

+ ε ω^{*} (t)

, that is, the movement

L_{m} / L_{f}

is pure translational, we let

ω^{*} (t) = ∥ω^{*} (t)∥;

ω^{*}

(t) = ω^{*}

for arbitrary

d^{*} (t)

such that

ω^{*} (t) \neq 0

, in other view

d (t)

can be arbitrarily selection, too.

Let

\hat{ϕ} (t) = ϕ (t) + ε ϕ^{*} (t)

be the dual radius of curvature through

\hat{d}

and

{\hat{ζ}}_{1}

(see Figure 2). Then,

\hat{d} (t) = sinh \hat{ϕ} {\hat{ζ}}_{1} + cosh \hat{ϕ} {\hat{ζ}}_{3},

(14)

where

tanh \hat{ϕ} = tanh ϕ + ε ϕ^{*} (1 - {tanh}^{2} ϕ) = \frac{\hat{q}}{\hat{p}} .

(15)

From Equation (7), (11), and (15), we attain:

\begin{matrix} β (t) = μ {cosh}^{2} ϕ - ϝ {sinh}^{2} ϕ, \\ ϕ^{*} (t) = \frac{1}{2} (μ - ϝ) sinh 2 ϕ . \end{matrix}\}

(16)

The first one is due to Hamilton and the second one is due to Mannhiem of surface theory in Euclidean 3-space

E^{3}

(Compared with [1,2,3,4]).

3.2. Timelike Plücker’s Conoid

We now explicate and research the geometrical demonstrations of the Hamilton and Mannhiem formulae. The surface defined by

ϕ^{*}

is the timelike form of the well-known Plücker’s conoid, or cylindroid. as follows: let

{\hat{ζ}}_{2}

and

y

-axis of a stationary Lorentzian frame

(o x y z)

be coincident and the place of the timelike dual unit vector

\hat{d}

be specified by angle

ϕ

and distance

ϕ^{*}

on the positive orientation of

y -

axis. The dual unit vectors

{\hat{ζ}}_{1}

and

{\hat{ζ}}_{3}

can be chosen over the x and z-axes, respectively. This displays that

{\hat{ζ}}_{1}

and

{\hat{ζ}}_{3}

together with

{\hat{ζ}}_{2}

display the coordinate system of the timelike Plücker’s conoid (Figure 2). Therefore, if

r (x, y, z)

should be a point on

(\hat{d})

, then we have:

ϕ^{*} : = y = \frac{1}{2} (μ - ϝ) sinh 2 ϕ, x = v sinh ϕ, and z = v cosh ϕ .

By an uncomplicated calculation, we gain the algebraic equation

(\hat{d}) : (x^{2} - z^{2}) y + (μ - ϝ) x z = 0,

(17)

It is clear that Equation (17) depends on the two integral invariants of the first order;

μ - ϝ = 1, 0 \leq ϕ \in R

- 2 \leq υ \leq 2

(Figure 3). Further, one can obtain a second-order algebraic equation in

x / z

\frac{x}{z} = \frac{1}{2 y} [- (μ - ϝ) \pm \sqrt{{(μ - ϝ)}^{2} + 4 y^{2}}] .

(18)

For the limits of

(\hat{d}),

we put

{(μ - ϝ)}^{2} + 4 y^{2} = 0

. Therefore, the two limits of

(\hat{d})

are as follows

y = \pm i (μ - ϝ) / 2, with i = \sqrt{- 1} .

(19)

Equation (19) admits two isotropic torsal timelike planes, each of which contains one isotropic torsal timelike line L. Hence, the geometric aspects of the

(\hat{d})

are as follows:

(i): If $β (t) \neq 0$ , then we have two generators through the point $(0, y, 0)$ ; and for the two limit isotropic torsal timelike planes $y = \pm i (ϝ - μ) / 2$ , the generators and the principal axes ${\hat{ζ}}_{1}$ and ${\hat{ζ}}_{3}$ are coincident;
(ii): If $β (t) = 0,$ then we have two torsal isotropic lines $L_{1}$ , $L_{2}$ determined by

L_{1}, L_{2} : \frac{x}{z} = tanh ϕ = \pm \sqrt{\frac{μ}{ϝ}}, y = \pm i (μ - ϝ) / 2 .

(20)

Equation (20) offer that the two isotropic torsal lines

L_{1}

, and

L_{2}

are orthogonal to each other. Therefore, if

μ

and

ϝ

are commensurate, then the timelike Plücker’s conoid becomes a pencil of timelike lines in the origin “

o

” in the timelike torsal plane

y = 0

. In this case,

L_{1}

and

L_{2}

are the principal axes of an elliptic timelike line congruence. However, if

μ

and

ϝ

have opposite signs, then

L_{1}

and

L_{2}

are isotropic and are coincident with the principal axes of a timelike hyperbolic line congruence.

Furthermore, if we convert from polar coordinates to Cartesian, we use the impersonation

x = \frac{1}{\sqrt{β}} sinh ϕ, and z = \frac{1}{\sqrt{β}} cosh ϕ,

into the Hamilton’s formula and we obtain the following conic section

D : |μ| z^{2} - |ϝ| x^{2} = 1 .

This conic section is a Minkowski version of Dupin’s indicatrix of the surface theory in Euclidean 3-space

E^{3}

Figure 2.

\hat{d} = sinh \hat{ϕ} {\hat{ζ}}_{1} + cosh \hat{ϕ} {\hat{ζ}}_{3}

Figure 2.

\hat{d} = sinh \hat{ϕ} {\hat{ζ}}_{1} + cosh \hat{ϕ} {\hat{ζ}}_{3}

Figure 3. Timelike Plücker’s conoid.

Serret–Frenet Frame

In Equation (6): (a) If

p^{*} = 0

, then

(\hat{ζ})

is a tangential timelike developable surface, that is,

c^{^{^{'}}} = q^{*} ζ_{1}

. In this case, the striction curve

c (t)

is a spacelike edge of regression of

(\hat{ζ})

, and then D is a pencil of parallel isotropic lines specified by

x = \pm i /

|ϝ|

. Let s be an arc-length parameter of

c (t)

and

{e_{1} (s),

e_{2} (s)

e_{3} (s); κ (s)

τ (s)}

is the Serret–Frenet apparatus of

c (t)

. After several algebraic manipulations, it can be gained that:

\frac{d}{d s} (\begin{matrix} e_{1} \\ e_{2} \\ e_{3} \end{matrix}) = (\begin{matrix} 0 & κ & 0 \\ - κ & 0 & - τ \\ 0 & - τ & 0 \end{matrix}) (\begin{matrix} e_{1} \\ e_{2} \\ e_{3} \end{matrix}),

where

κ (s) = \frac{p}{q^{*}}, τ (s) = \frac{1}{ϝ}, with q^{*} \neq 0 .

Therefore, the curvature function

ϝ (s)

is the radius of torsion of the spacelike striction curve

c (s)

. Further, we therefore arrive at:

\begin{matrix} β (s) = - \frac{1}{τ} {sinh}^{2} ϕ, ϕ^{*} (s) = - \frac{1}{2 τ} sinh 2 ϕ, \\ (\hat{d}) : (x^{2} - z^{2}) y - \frac{1}{τ} x z = 0 . \end{matrix}\}

(b) If

q^{*} (t) = 0

, the striction curve is timelike tangent to

ζ_{3}

; it is normal to rule over

c (t)

. In this case,

(\hat{ζ})

is a binormal timelike ruled surface, and D is a pencil of parallel lines decided by

z = \pm 1 /

|μ|

. Similarly, we can also specify that:

κ (s) = \frac{q (s)}{p^{*} (s)}, and τ (s) = \frac{1}{μ (s)}, with p^{*} (s) \neq 0 .

Then, the curvature function

μ (s)

is the radius of torsion of

c (s)

of the timelike binormal surface

(\hat{ζ})

. Additionally, we derive

\begin{matrix} β (s) = \frac{1}{τ} {cosh}^{2} ϕ, ϕ^{*} (s) = \frac{1}{2 τ (s)} sinh 2 ϕ, \\ (\hat{d}) : (x^{2} - z^{2}) y + \frac{1}{τ} x z = 0 . \end{matrix}\}

3.3. Stationary Timelike Disteli-Axis

In what follow, when we state that (

\hat{ζ}

) is a timelike ruled surface with stationary timelike Disteli-axis, we mean that all the rulings of (

\hat{ζ}

) have a stationary dual angle with respect the Disteli-axis.

Let

d \hat{s} = d s + ε d s^{*}

indicate the dual arc length of

{\hat{ζ}}_{1} (t)

Then,

\hat{s} (t) = \overset{t}{\int_{0}} \hat{p} d t = \overset{t}{\int_{0}} p (1 + ε μ) d t .

(21)

By employing

\hat{s}

instead of t, from Equations (5) and (21), we have:

(\begin{matrix} {\hat{ζ}}_{1}^{^{'}} \\ {\hat{ζ}}_{2}^{^{'}} \\ {\hat{ζ}}_{3}^{^{'}} \end{matrix}) = (\begin{matrix} 0 & 1 & 0 \\ - 1 & 0 & - \hat{χ} \\ 0 & - \hat{χ} & 0 \end{matrix}) (\begin{matrix} {\hat{ζ}}_{1} \\ {\hat{ζ}}_{2} \\ {\hat{ζ}}_{3} \end{matrix}) = \hat{ω} \times (\begin{matrix} {\hat{ζ}}_{1} \\ {\hat{ζ}}_{2} \\ {\hat{ζ}}_{3} \end{matrix}); (' = \frac{d}{d \hat{s}}),

(22)

where

\hat{ω} (\hat{s}) = (\hat{χ}, 0, 1)

\hat{χ} (\hat{s}) : = χ + ε χ^{*} = \frac{\hat{q}}{\hat{p}}

is the dual spherical curvature of

{\hat{ζ}}_{1} (\hat{s}) \in S_{1 f}^{2}

. Therefore, we have the following associations:

\begin{matrix} \hat{γ} (\hat{s}) = γ + ε (ϝ - χ μ) = tanh \hat{ϕ}, \\ \hat{κ} (\hat{s}) : = κ + ε κ^{*} = \sqrt{1 - {\hat{χ}}^{2}} = \frac{1}{cosh \hat{ϕ}} = \frac{1}{\hat{ρ} (\hat{s})}, \\ \hat{τ} (\hat{s}) : = τ + ε τ^{*} = \pm {\hat{ϕ}}^{^{'}} = \pm \frac{{\hat{χ}}^{^{'}}}{1 - {\hat{χ}}^{2}} . \end{matrix}\}

(23)

where

\hat{κ} (\hat{s})

is the dual curvature, and

\hat{τ} (\hat{s})

is the dual torsion of the dual curve

{\hat{ζ}}_{1} \in S_{1 ξ}^{2}

3.3.1. Height Dual Functions

In identification with [17,18], a dual point

{\hat{d}}_{0}

S

_{1 f}^{2}

will be named a

{\hat{d}}_{k}

evolute of the dual curve

{\hat{ζ}}_{1} (\hat{s}) \in S

_{1 f}^{2}

; for all t such that

1 \leq t \leq k

< {\hat{d}}_{0}, {\hat{ζ}}_{1}^{t} (\hat{s}) > = 0

, but

< {\hat{d}}_{0}, {\hat{ζ}}_{1}^{k + 1} (\hat{s}) > \neq 0

. Here

{\hat{ζ}}_{1}^{t}

indicates the t-th derivatives of

{\hat{ζ}}_{1}

with respect to the dual arc length

\hat{s}

. For the first evolute

\hat{d}

{\hat{ζ}}_{1} (\hat{s})

, we have

< \hat{d}, {\hat{ζ}}_{1}^{^{'}} > = \pm < \hat{d}, {\hat{ζ}}_{2} > = 0

, and

< \hat{d}, {\hat{ζ}}_{1}^{^{″}} > = \pm < \hat{d}, {\hat{ζ}}_{1} + \hat{χ} {\hat{ζ}}_{3} > \neq 0

. Therefore,

\hat{d}

is at least a

{\hat{d}}_{2}

evolute of

{\hat{ζ}}_{1} (\hat{s}) \in S

_{1 f}^{2}

We are now heading a dual function

\hat{f} : I \times S_{1 f}^{2} \to D

, by

\hat{f} (\hat{s}, {\hat{d}}_{0}) = < {\hat{d}}_{0}, {\hat{ζ}}_{1} >

. We call

\hat{f}

a Lorentzian height dual function on

{\hat{ζ}}_{1} (\hat{s}) \in S

_{1 f}^{2}

. We use the notation

\hat{f} (\hat{s}) = \hat{f} (\hat{s}, {\hat{d}}_{0})

for any stationary point

{\hat{d}}_{0} \in S

_{1 f}^{2}

Proposition 2.

Under the above notations, the following holds:

1.: $\hat{f}$ will be stationary in the first approximation iff ${\hat{d}}_{0} \in S p {{\hat{ζ}}_{1}$ , ${\hat{ζ}}_{3}}$ , that is,

${\hat{f}}^{^{'}} = 0 \Leftrightarrow < {\hat{ζ}}_{1}^{^{'}}, {\hat{d}}_{0} > = 0 \Leftrightarrow < {\hat{ζ}}_{2}, {\hat{d}}_{0} > = 0 \Leftrightarrow {\hat{d}}_{0} = {\hat{a}}_{1} {\hat{ζ}}_{1} + {\hat{a}}_{3} {\hat{ζ}}_{3};$

for some dual numbers ${\hat{a}}_{1}, {\hat{a}}_{3} \in D,$ and ${\hat{a}}_{1}^{2} - {\hat{a}}_{3}^{2} = 1$ ;
2.: $\hat{f}$ will be stationary in the second approximation iff ${\hat{d}}_{0}$ is ${\hat{d}}_{2}$ evolute of ${\hat{d}}_{0} \in S$ $_{1 f}^{2}$ , that is,

${\hat{f}}^{^{'}} = {\hat{f}}^{^{″}} = 0 \Leftrightarrow {\hat{d}}_{0} = \pm \hat{d} .$

;
3.: $\hat{f}$ will be invariant in the third approximation iff ${\hat{d}}_{0}$ is ${\hat{d}}_{3}$ evolute of ${\hat{d}}_{0} \in$ $S$ $_{1 f}^{2}$ , that is,

${\hat{f}}^{^{'}} = {\hat{f}}^{^{″}} = {\hat{f}}^{^{‴}} = 0 \Leftrightarrow {\hat{d}}_{0} = \pm \hat{d}, and {\hat{χ}}^{^{'}} \neq 0 .$

;
4.: $\hat{f}$ will be stationary in the fourth approximation iff ${\hat{d}}_{0}$ is ${\hat{d}}_{4}$ evolute of ${\hat{d}}_{0} \in S$ $_{1 f}^{2}$ , that is,

${\hat{f}}^{^{'}} = {\hat{f}}^{^{″}} = {\hat{f}}^{^{‴}} = {\hat{f}}^{i v} = 0 \Leftrightarrow {\hat{d}}_{0} = \pm \hat{d}, {\hat{χ}}^{^{'}} = 0, and {\hat{γ}}^{^{″}} \neq 0 .$

Proof.

For the first derivative of

\hat{f}

we obtain:

{\hat{f}}^{^{'}} = < {\hat{ζ}}_{1}^{^{'}}, {\hat{d}}_{0} > .

(24)

Therefore, we obtain:

{\hat{f}}^{^{'}} = 0 \Leftrightarrow < {\hat{ζ}}_{2}, {\hat{d}}_{0} > = 0 \Leftrightarrow {\hat{d}}_{0} = {\hat{a}}_{1} {\hat{ζ}}_{1} + {\hat{a}}_{2} {\hat{ζ}}_{3};

(25)

for some dual numbers

{\hat{a}}_{1},

{\hat{a}}_{2} \in D,

and

{\hat{a}}_{1}^{2} - {\hat{a}}_{3}^{2} = 1

, the result is clear.

2-Derivative of Equation (24) leads to:

{\hat{f}}^{^{″}} = < {\hat{ζ}}_{1}^{^{^{″}}}, {\hat{d}}_{0} > = - < {\hat{ζ}}_{1} + \hat{χ} {\hat{ζ}}_{3}, {\hat{d}}_{0} > .

(26)

By the Equations (24) and (26) we have:

{\hat{f}}^{^{'}} = {\hat{f}}^{^{″}} = 0 \Leftrightarrow < {\hat{ζ}}_{1}^{^{'}}, {\hat{d}}_{0} > = < {\hat{ζ}}_{1}^{^{^{″}}}, {\hat{d}}_{0} > = 0 \Leftrightarrow {\hat{d}}_{0} = \pm \frac{{\hat{ζ}}_{1}^{^{'}} \times {\hat{ζ}}_{1}^{^{^{″}}}}{∥{\hat{ζ}}_{1}^{^{'}} \times {\hat{ζ}}_{1}^{^{^{″}}}∥} = \pm \hat{d} .

(27)

3-Derivative of Equation (26) leads to:

{\hat{f}}^{^{‴}} = < {\hat{x}}^{^{‴}}, {\hat{d}}_{0} > = - (1 + {\hat{χ}}^{2}) < {\hat{ζ}}_{2}, {\hat{d}}_{0} > - {\hat{χ}}^{^{'}} < \hat{g}, {\hat{d}}_{0} >

(28)

Hence, we have:

{\hat{f}}^{^{'}} = {\hat{f}}^{^{″}} = {\hat{f}}^{^{‴}} = 0 \Leftrightarrow {\hat{d}}_{0} = \pm \hat{d}, and {\hat{χ}}^{^{'}} \neq 0 .

(29)

4-By the similar arguments, we can also have:

{\hat{f}}^{^{'}} = {\hat{f}}^{^{″}} = {\hat{f}}^{^{‴}} = {\hat{f}}^{^{⁗}} = 0 \Leftrightarrow {\hat{d}}_{0} = \pm \hat{d}, {\hat{χ}}^{^{'}} = 0, and {\hat{χ}}^{^{″}} \neq 0 .

(30)

The proof is completed. □

(a): The osculating circle $S (\hat{ρ}, {\hat{d}}_{0})$ of ${\hat{ζ}}_{1} (\hat{s})$ in $S_{1 f}^{2}$ is specified by

$< {\hat{d}}_{0} {, \hat{ζ}}_{1} > = \hat{ρ} (\hat{s}), {< \hat{ζ}}_{1}^{'}, {\hat{d}}_{0} > = 0, {< \hat{ζ}}_{1}^{^{^{″}}}, {\hat{d}}_{0} > = 0,$

which are gained from the condition that the osculating circle must have touch of at least third order at ${\hat{ζ}}_{1} ({\hat{s}}_{0})$ if and only if ${\hat{χ}}^{^{'}} \neq 0$ .
(b): The osculating circle $S (\hat{ρ}, {\hat{d}}_{0})$ and the curve ${\hat{ζ}}_{1} (\hat{s})$ in $S$ $_{1 f}^{2}$ have at least fourth order at ${\hat{ζ}}_{1} (s_{0})$ if and only if ${\hat{χ}}^{^{'}} = 0$ , and ${\hat{χ}}^{^{″}} \neq 0$ .

In this direction, by catching into contemplation the evolutes of

{\hat{ζ}}_{1} (\hat{s})

S

_{1 f}^{2}

, we can gain a sequence of evolutes

{\hat{d}}_{2}

{\hat{d}}_{3}

, …,

{\hat{d}}_{n}

. The ownerships and the interrelatedness through these evolutes and their involutes are very interesting problems. For instance, it is not difficult to consider that when

{\hat{d}}_{0} = \pm \hat{d}

, and

{\hat{χ}}^{^{'}} = 0

{\hat{ζ}}_{1} (\hat{s})

is situated at

\hat{ϕ}

is invariable relative to

{\hat{d}}_{0}

. In this case, the timelike Disteli-axis is invariable up to second order, and the line

{\hat{ζ}}_{1}

moves over it with invariable pitch. Thus, the timelike ruled surface (

\hat{ζ}

) with invariable timelike Disteli-axis is produced by timelike line

{\hat{ζ}}_{1}

existing at a Lorentzian invariable distance

ϕ^{*}

and Lorentzian invariable angle

ϕ

with respect to the timelike Disteli-axis

\hat{d}

. In the case of

\hat{χ} (\hat{s}) = 0

, then

{\hat{ζ}}_{1} (\hat{s})

is a spacelike dual great circle on

S_{1 f}^{2}

, that is,

\hat{c} = {{\hat{ζ}}_{1} \in S_{1 f}^{2} ∣ < {\hat{ζ}}_{1}, \hat{d} > = 0; with {∥\hat{d}∥}^{2} = - 1} .

In this case, in the Lorentzian sense, all the spacelike rulings of (

\hat{ζ}

) intersected orthogonally with the timelike Disteli-axis

\hat{d}

, that is,

ϕ = 0

, and

ϕ^{*} = 0

. Thus, we have

\hat{χ} (\hat{s}) = 0 \Leftrightarrow

(

\hat{ζ}

) is a timelike helicoid of the first kind.

Theorem 2.

A non-developable timelike ruled surface

(\hat{ζ})

is a stationary timelike Disteli-axis iff

χ (s)

= invariable, and

ϝ (s) - χ (s) μ (s)

=invariable.

However, from the Equation ((22)) we have the ODE

{\hat{ζ}}_{1}^{^{^{‴}}} + {\hat{κ}}^{2} {\hat{ζ}}_{1}^{^{'}} = 0

. After several algebraic manipulations, the general solution of this equation is:

{\hat{ζ}}_{1} (\hat{φ}) = (cosh \hat{ϕ} sin \hat{φ}, - cosh \hat{ϕ} cos \hat{φ}, sinh \hat{ϕ}) .

(31)

Here,

\hat{κ} \hat{s} = \hat{φ} (\hat{s}) : = φ + ε φ^{*}

; where

0 \leq φ \leq 2 π

, and

φ^{*} \in R

. From the real and the dual parts, we have

\begin{matrix} ζ_{1} = cosh ϕ sin φ, ζ_{1}^{*} = ϕ^{*} sinh ϕ sin φ + φ^{*} cosh ϕ cos φ, \\ ζ_{2} = - cosh ϕ cos φ, ζ_{2}^{*} = - ϕ^{*} sinh ϕ cos φ + φ^{*} cosh ϕ sin φ, \\ ζ_{3} = sinh ϕ, ζ_{3}^{*} = ϕ^{*} cosh ϕ . \end{matrix}\}

(32)

Let p

(p_{1}, p_{2}, p_{3})

be a point on

{\hat{ζ}}_{1}

. Since

ζ_{1}^{*}

=p×

ζ_{1}

we have the system of linear equations in

p_{i}

(i = 1, 2, 3, and

p_{i s}

are the coordinates of p):

\begin{matrix} p_{2} sinh ϕ + p_{3} cosh ϕ cos φ = ζ_{1}^{*}, \\ - p_{1} sinh ϕ + p_{3} cosh ϕ sin φ = ζ_{2}^{*}, \\ p_{1} cosh ϕ cos φ + p_{2} cosh ϕ sin φ = ζ_{3}^{*} . \end{matrix}\}

(33)

The matrix of coefficients of unknowns

p_{i}

is the skew symmetric matrix

(\begin{matrix} 0 & sinh ϕ & cosh ϕ cos φ \\ - sinh ϕ & 0 & cosh ϕ sin φ \\ cosh ϕ cos φ & cosh ϕ sin φ & 0 \end{matrix}),

and thus its rank is 2 with

ϕ \neq 2 π k

(k is an integer). The rank of the augmented matrix

(\begin{matrix} 0 & sinh ϕ & cosh ϕ cos φ & ζ_{1}^{*} \\ - sinh ϕ & 0 & cosh ϕ sin φ & ζ_{2}^{*} \\ cosh ϕ cos φ & cosh ϕ sin φ & 0 & ζ_{2}^{*} \end{matrix}),

is also 2. Then, this system has infinite solutions given by

\begin{matrix} p_{1} cos φ + p_{2} sin φ = ϕ^{*} \\ p_{1} = (p_{3} - ϕ^{*}) coth ϕ sin φ + ϕ^{*} cos φ, \\ p_{2} = - (p_{3} - ϕ^{*}) coth ϕ cos φ + ϕ^{*} sin φ . \end{matrix}

(34)

Since

p_{3}

can be arbitrarily, then we may put

p_{3} = φ^{*}

. In this case, the Equation ((34)) becomes

p_{1} = ϕ^{*} cos φ, p_{2} = ϕ^{*} sin φ, p_{3} = φ^{*} .

(35)

Thus, the director surface of the timelike congruence is:

p (ϕ^{*}, ϕ) = (ϕ^{*} cos φ, ϕ^{*} sin φ, φ^{*})

Let y

(y_{1}, y_{2}, y_{3})

be a point on this timelike congruence. Hence, we obtain:

(\hat{ζ}) : y (φ, φ^{*} v) = (\begin{matrix} ϕ^{*} cos φ + v cosh ϕ sin φ \\ ϕ^{*} sin φ - v cosh ϕ cos φ \\ φ^{*} + v sinh ϕ \end{matrix}), v \in R .

(36)

All lines which satisfy the Equation (36) is a timelike congruence. Also, we may write that

(\hat{ζ}) : \frac{y_{1}^{2}}{ϕ^{* 2}} + \frac{y_{2}^{2}}{ϕ^{* 2}} - \frac{Y_{3}^{2}}{Δ^{2}} = 1,

(37)

where

Δ = ϕ^{*} tanh ϕ

, and

Y_{3} = y_{3} - φ^{*}

. Then

(\hat{ζ})

is a one-parameter family of Lorentzian spheres. The common of each Lorentzian sphere and the conformable spacelike plane

y_{3} = φ^{*}

is a one-parameter family of Lorentzian cylinders

(c)

y_{1}^{2} + y_{2}^{2} = ϕ^{* 2}

. Therefore, the envelope of

(\hat{ζ})

is the Lorentzian cylinder which is the position for

ϕ^{*} = ϕ = 0

3.3.2. Special Timelike Ruled Surfaces

A correlation such as

Γ (φ, φ^{*}) = 0

restricts the Equations (36) and (37) to a 1-parameter set of timelike lines, that is, a timelike ruled surface in the line congruence. Therefore, if we set

φ^{*} = β φ,

β

indicating the pitch of the movement

L_{m} / L_{f}

and

φ

as the movement parameter, then Equations (36) and (37) is a timelike ruled surface in

L_{f}

-space. Thus, from the Equations (4) and (31), we immediately find that:

(\begin{matrix} {\hat{ζ}}_{1} \\ {\hat{ζ}}_{2} \\ {\hat{ζ}}_{3} \end{matrix}) = (\begin{matrix} cosh \hat{ϕ} sin \hat{φ} & - cosh \hat{ϕ} cos \hat{φ} & sinh \hat{ϕ} \\ cos \hat{φ} & sin \hat{φ} & 0 \\ - sinh \hat{ϕ} sin \hat{φ} & sinh \hat{ϕ} cos \hat{φ} & - cosh \hat{ϕ} \end{matrix}) (\begin{matrix} {\hat{ξ}}_{1} \\ {\hat{ξ}}_{2} \\ {\hat{ξ}}_{3} \end{matrix}) .

(38)

From the Equations (14) and (38), we have:

\hat{d} = sinh \hat{ϕ} {\hat{ζ}}_{1} + cosh \hat{ϕ} {\hat{ζ}}_{3} = {\hat{ξ}}_{3} .

(39)

This insist that the timelike Disteli-axis

\hat{d}

{\hat{ξ}}_{3}

. Additionally, the director surface of the timelike congruence reduces to the striction curve, that is,

c (φ) = (ϕ^{*} cos φ, ϕ^{*} sin φ, h φ) .

It can be shown that

c (φ)

is a spacelike (a timelike) if and only if

|ϕ^{*}| > |h|

(

|ϕ^{*}| < |h|

). Further, the curvature

κ_{c} (φ)

and torsion

τ_{c} (φ)

can be specified by

κ_{c} (φ) = \frac{ϕ^{*}}{ϕ^{* 2} - h^{2}}, τ_{c} (φ) = \frac{h}{ϕ^{* 2} - h^{2}} .

Then,

c (φ)

is a spacelike or timelike helix. Additionally, the timelike ruled surface

(\hat{ζ})

with stationary timelike Disteli-axis is:

(\hat{ζ}) : y (φ, v) = (\begin{matrix} ϕ^{*} cos φ + v cosh ϕ sin φ \\ ϕ^{*} sin φ - v cosh ϕ cos φ \\ β φ + v sinh ϕ \end{matrix}), v \in R .

(40)

β

ϕ

and

ϕ^{*}

can control the shape of

(\hat{ζ})

, that is, it can be classified into the following:

(1): General timelike helicoidal surface with its striction curve is a timelike cylindrical helix: for $β = 1.5$ , $ϕ^{*} = 1$ , $ϕ = 0.5$ , $- 3 \leq v \leq 3$ and $0 \leq φ \leq 2 π$ (see Figure 4).
(2): Lorentzian sphere with its striction curve is a spacelike circle: for $β = 0,$ $ϕ^{*} = 1$ , $ϕ = 1.3$ , $- 1.5 \leq v \leq 1.5$ , and $0 \leq φ \leq 2 π$ (see Figure 5).
(3): Timelike Archimedes with its striction curve is a timelike line: for $β = 1$ , $ϕ^{*} = 0$ , $ϕ = 1.3$ , $- 3 \leq v \leq 3$ , and $- π \leq φ \leq π$ (see Figure 6).
(4): Timelike circular cone with its striction curve is a fixed point: for $β = ϕ^{*} = 0$ , $ϕ = 0.5$ , $- 2.5 \leq v \leq 2.5$ , and $0 \leq φ \leq 2 π$ (see Figure 7).
(5): Timelike helicoid of the 1st kind with its striction curve is a timelike line: for $β = 1$ , $ϕ^{*} = ϕ = 0$ , $- 3 \leq v \leq 3$ , and $- π \leq φ \leq π$ (see Figure 8).

4. Conclusions

This work supplies the kinematic geometry for a timelike ruled surface with stationary timelike Disteli-axis by the similarity with Lorentzian dual spherical kinematics. This supplies the ability to derive set of invariants which discover the local shape of timelike ruled surface. Hence, the Lorentzian form of the well-known equation of the Plücker’s conoid has been concluded and its kinematic-geometry are explained in detail. Finally, a description for a timelike line trajectory to be a stationary timelike Disteli-axis is extracted and examined. These results have the potential to expand the use of geometric properties of timelike ruled surfaces created by spacelike lines embedded in spatial mechanisms. Our results in this paper can contribute to the field of spatial kinematics and have practical implementations in mechanical mathematics and engineering. In future work, we plan to proceed to research some implementations of timelike ruled surfaces as tooth flanks for gears with skew timelike axes such that at any instant the contact points are located on a timelike line as in [17,18,19].

Author Contributions

Methodology, A.A.A. and R.A.A.-B.; investigation, R.A.A.-B.; data curation, R.A.A.-B.; writing—original draft preparation, A.A.A.; writing—review and editing, R.A.A.-B. All authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by Princess Nourah bint Abdulrahman University Researchers Supporting Project number (PNURSP2023R337).

Data Availability Statement

Our manuscript has no associate data.

Acknowledgments

The authors would like to acknowledge the Princess Nourah bint Abdulrahman University Researchers Supporting Project number (PNURSP2023R337), Princess Nourah bint Abdulrahman University, Riyadh, Saudi Arabia.

Conflicts of Interest

The authors declare that there is no conflict of interest regarding the publication of this paper.

References

Bottema, O.; Roth, B. Theoretical Kinematics; North-Holland Press: New York, NY, USA, 1979. [Google Scholar]
Karger, A.; Novak, J. Space Kinematics and Lie Groups; Gordon and Breach Science Publishers: New York, NY, USA, 1985. [Google Scholar]
Pottman, H.; Wallner, J. Computational Line Geometry; Springer: Berlin/Heidelberg, Germany, 2001. [Google Scholar]
Köse, Ö.C.C.; Sarıoglu, B.K.; Karakılıç, I. Kinematic differential geometry of a rigid body in spatial motion using dual vector calculus: Part II. Appl. Math. 2006, 182, 333–358. [Google Scholar] [CrossRef]
Abdel-Baky, R.A.; Al-Ghefari, R.A. On the one-parameter dual spherical motions. Comp. Aided Geom. Design 2011, 28, 23–37. [Google Scholar] [CrossRef]
Turhan, T.; Ayyıldız, N. A Study on Geometry of Spatial Kinematics in Lorentzian Space; Süleyman Demirel Üniversitesi Fen Bilimleri Enstitüsü Dergisi: Isparta, Türkiye, 2017; Volume 21, pp. 808–811. [Google Scholar]
Gilani, S.M.; Abazari, N.; Yayli, Y. Characterizations of dual curves and dual focal curves in dual Lorentzian space $D_{1}^{3}$ . Turk J. Math 2020, 44, 1561–1577. [Google Scholar] [CrossRef]
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]
Abdel-Baky, R.A.; Unluturk, Y. A new construction of timelike ruled surfaces with stationarfy Disteli-axis. Honam Math. J. 2020, 42, 551–568. [Google Scholar]
Makki, R. Some characterizations of non-null rectifying curves in dual Lorentzian 3-space $D_{1}^{3}$ . AIMS Math. 2021, 6, 2114–2131. [Google Scholar] [CrossRef]
Alluhaibi, N.S.; Abdel-Baky, R.A. Kinematic geometry of timelike ruled surfaces in Minkowski 3-space $E_{1}^{3}$ . Symmetry 2022, 14, 749. [Google Scholar] [CrossRef]
Mofarreh, F. Timelike ruled and developable surfaces in Minkowski 3-space $E_{1}^{3}$ . Front. Phys. 2022, 10, 148. [Google Scholar] [CrossRef]
O’Neil, B. Semi-Riemannian Geometry Geometry, with Applications to Relativity; Academic Press: New York, NY, USA, 1983. [Google Scholar]
Walfare, J. Curves and Surfaces in Minkowski Space. Ph.D. Thesis, Faculty of Science, Leuven, Belgium, 1995. [Google Scholar]
Bruce, J.W.; Giblin, P.J. Curves and Singularities, 2nd ed.; Cambridge University Press: Cambridge, UK, 1992. [Google Scholar]
Cipolla, R.; Giblin, P.J. Visual Motion of Curves and Surfaces; Cambridge University Press: Cambridge, UK, 2000. [Google Scholar]
Alluhaibi, N.A.; Abdel-Baky, R.A. On the kinematic-geometry of one-parameter Lorentzian spatial movement. Int. J. Adv. Manuf. Technol. 2022, 121, 7721–7731. [Google Scholar] [CrossRef]
Stachel, H. On spatial involute gearing. In Proceedings of the 6th International Conference on Applied Informatics (ICAI), Eger, Hungary, 27–31 January 2004. [Google Scholar]
Figlioini, G.; Stachel, H.; Angeles, J. The computational fundamentals of spatial cycloidal gearing. In Computational Kinematics: Proceedings of the 5th International Workshop on Computational Kinematics; Kecskemethy, A., Muller, A., Eds.; Springer: Berlin/Heidelberg, Germany, 2009; pp. 375–384. [Google Scholar]

Figure 1. The dual hyperbolic and dual Lorentzian unit spheres.

Figure 4. General timelike helicoidal surface.

Figure 5. Lorentzian sphere.

Figure 6. Timelike Archimedes.

Figure 7. Timelike cone.

Figure 8. A timelike helicoid of the 1st kind.

Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

© 2023 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).

Share and Cite

MDPI and ACS Style

Almoneef, A.A.; Abdel-Baky, R.A. Timelike Ruled Surfaces with Stationary Disteli-Axis. Symmetry 2023, 15, 998. https://doi.org/10.3390/sym15050998

AMA Style

Almoneef AA, Abdel-Baky RA. Timelike Ruled Surfaces with Stationary Disteli-Axis. Symmetry. 2023; 15(5):998. https://doi.org/10.3390/sym15050998

Chicago/Turabian Style

Almoneef, Areej A., and Rashad A. Abdel-Baky. 2023. "Timelike Ruled Surfaces with Stationary Disteli-Axis" Symmetry 15, no. 5: 998. https://doi.org/10.3390/sym15050998

APA Style

Almoneef, A. A., & Abdel-Baky, R. A. (2023). Timelike Ruled Surfaces with Stationary Disteli-Axis. Symmetry, 15(5), 998. https://doi.org/10.3390/sym15050998

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

Article Menu

Timelike Ruled Surfaces with Stationary Disteli-Axis

Abstract

1. Introduction

2. Preliminaries

One-Parameter Lorentzian Dual Spherical Movements

3. Timelike Ruled Surfaces with Stationary Disteli-Axis

3.1. Timelike Disteli-Axis

3.2. Timelike Plücker’s Conoid

Serret–Frenet Frame

3.3. Stationary Timelike Disteli-Axis

3.3.1. Height Dual Functions

3.3.2. Special Timelike Ruled Surfaces

4. Conclusions

Author Contributions

Funding

Data Availability Statement

Acknowledgments

Conflicts of Interest

References

Share and Cite

Article Metrics

Article Access Statistics

Further Information

Guidelines

MDPI Initiatives

Follow MDPI