Timelike-Ruled and Developable Surfaces in Minkowski 3-Space E13

In this study, the timelike-ruled and developable surfaces are constructed in Minkowski 3-space ${\mathbb{E}}_1^3$. Using the E. Study map, we demonstrate that dual forms of timelike-ruled and developable surfaces can be obtained from the coordinates and first derivatives of the base curve at the dual hyperbolic unit sphere. This is proposed as a novel method for obtaining timelike-ruled and developable surfaces. Some examples have also been provided.

1 Introduction

In spatial kinematics, the movement of an oriented line over a curve forms a ruled surface. The oriented lines are named generators (rulings), and each curve that intersects all the generators is called A directrix (or base curve). The theory of ruled surfaces is mentioned by researchers and mathematicians because of its applications in screw systems, iterative methods for displacement analysis of spatial mechanisms, and computer aided design (CAD) [1–4]. Because many researchers have already studied and determined numerous characteristics of ruled surfaces, as in [24, 25], this study is limited to the Minkowski 3 space. Developable surfaces define a subset of ruled surfaces, such that every point from the same ruling shares a common tangent plane. Rulings define the principal curvature lines of zero normal curvature in addition to the Gaussian curvature, which is zero at each point on the surface. Because the inner metric of a surface locates the Gaussian curvature, all the angles and lengths on the surface remain invariant under bending. This feature is what makes ruled and developable surfaces important in manufacturing. Hence, both ruled and developable surfaces have been considered in engineering, architecture, design, etc. (see [5–10])].

A suitable method to study the motion of an oriented line in space starts from the relationship among this space, dual numbers, and dual vector calculus. Dual numbers were first introduced by W. Clifford; subsequently E. Study utilized it as an instrument for the purpose of differential line geometry and kinematics. He devoted special care to the impersonation of oriented lines by dual unit vectors and defined the mapping, which was later named after him. The E. Study map indicates that the set of all oriented lines in Euclidean 3-space ${\mathbb{E}}^3$ is directly linked to a set of points on the dual unit sphere in the dual 3-space ${\mathbb{D}}^3$ [1, 4, 7]. Thus, the differential geometry of the ruled surfaces based on the E. Study map has derived the curvature theory of the line trajectory and exposed the fundamental curvature functions which describe the shape of a ruled surface (refer to example [11–13]).

Kose introduced a novel method for determining developable ruled surfaces using dual-vector calculus [14]. They demonstrated that a ruled surface can be obtained from coordinates and first derivatives of the base curve. Further Yildz et al. applied this method using an orthotomic concept [15]. In the course of time, this method has been extended and presented in the dual Lorentzian 3-space ${\mathbb{D}}_1^3$ by [16–19].

However, to the best of the authors’ knowledge, no literature exists regarding the fact that a timelike-ruled surface can be obtained from coordinates and the first derivatives of the base curve. Hence, this study attempts to address this need. The remainder of this paper is organized as follows: In Section 2, we present some basic concepts dealing with the dual Lorentzian 3-space ${\mathbb{D}}_1^3$. In Section 3, we offer a method for determining a timelike ruled surface from the coordinates and first derivatives of the base curve using a dual-vector calculus. Consequently, as a special case, we discuss the method for timelike developable ruled surfaces, and obtain a linear differential equation of the first order. We illustrate the method by providing some representative examples with their figures.

2 Basic Concepts

We begin with basic concepts on the theory of dual numbers, dual Lorentzian Vectors, and the E. Study map (see [1–5, 16–21]): A directed (non-null) line L in Minkowski 3-space ${\mathbb{E}}_1^3$ can be defined by a point p ∈ L and a normalized direction vector x of L; that is, ${‖\mathbf{a}‖}^2=\pm 1$. To obtain components for L, one forms the moment vector x* = p ×x with respect to the origin point in ${\mathbb{E}}_1^3$. If p is replaced by any point $\mathbf{q}=\mathbf{p}+t\mathbf{a},t\in \mathbb{R}$ on L, it is implied that a* is independent of p on L. The two non-null vectors a and a* are not independent of one another. They satisfy the following condition:

$\langle \mathbf{a},\mathbf{a}\rangle =\pm 1,\langle {\mathbf{a}}^{*},\mathbf{a}\rangle =0.$

The six components $a_i,a_i^{\ast }(i=\mathrm{1,2,3})$ of a and a*are called the normalized Plűcker coordinates of the line L; hence the two vectors x and x* determine the directed line L.

A dual number A is a number a + ɛa*, where a, a* in $\mathbb{R}$ and ɛ is a dual unit with the property that ɛ² = 0. Therefore the set

${\mathbb{D}}^3=\left\{A≔\mathbf{a}+\epsilon {\mathbf{a}}^{*}=\left(A_1,A_2,A_3\right)\right\},$

joining with Lorentzian scalar product

$⟨\mathbf{A},\mathbf{A}⟩=-A_1^2+A_2^2+A_3^2,$

leads to what is named the dual Lorentzian 3-space ${\mathbb{D}}_1^3$. Thus, a point $A={(A_1,A_2,A_3)}^t$ has dual coordinates $A_i=(a_i+\epsilon a_i^{\ast })\in \mathbb{D}$. If A is a spacelike or timelike dual vector, the norm $‖\mathbf{A}‖$ of A is defined by

$\begin{array}{ccc}\hfill ‖\mathbf{A}‖& =\hfill & \sqrt{\left|⟨\mathbf{A},\mathbf{A}⟩\right|}=\sqrt{\left|⟨\mathbf{a},\mathbf{a}⟩\right|}+\epsilon \frac{1}{2\sqrt{\left|⟨\mathbf{a},\mathbf{a}⟩\right|}}\frac{⟨\mathbf{a},\mathbf{a}⟩}{\left|⟨\mathbf{a},\mathbf{a}⟩\right|}.2⟨{\mathbf{a}}^{*},\mathbf{a}⟩\hfill \\ \hfill & =\hfill & ‖\mathbf{a}‖+\epsilon \frac{1}{‖\mathbf{a}‖}\frac{⟨\mathbf{a},\mathbf{a}⟩}{\left|⟨\mathbf{a},\mathbf{a}⟩\right|}⟨{\mathbf{a}}^{*},\mathbf{a}⟩.\hfill \end{array}$

If a is spacelike, we have

$‖\mathbf{A}‖=‖\mathbf{a}‖+\epsilon \frac{1}{‖\mathbf{a}‖}⟨{\mathbf{a}}^{*},\mathbf{a}⟩=‖\mathbf{a}‖\left(1+\epsilon \frac{1}{⟨\mathbf{a},\mathbf{a}⟩}⟨{\mathbf{a}}^{*},\mathbf{a}⟩\right).$

If a is timelike, we have

$‖\mathbf{A}‖=‖\mathbf{a}‖-\epsilon \frac{1}{‖\mathbf{a}‖}⟨\mathbf{a},{\mathbf{a}}^{*}⟩=‖\mathbf{a}‖\left(1-\epsilon \frac{1}{⟨\mathbf{a},\mathbf{a}⟩}⟨{\mathbf{a}}^{*},\mathbf{a}⟩\right).$

Therefore, A is the spacelike dual unit vector in case ⟨A, A⟩ = 1 and the timelike dual-unit vector in case ⟨A, A⟩ = −1. The hyperbolic and Lorentzian dual unit spheres are

${\mathbb{H}}_{+}^2=\left\{\mathbf{A}\in {\mathbb{D}}_1^3\mid -A_1^2+A_2^2+A_3^2=-1\right\},$

and

${\mathbb{S}}_1^2=\left\{\mathbf{A}\in {\mathbb{D}}_1^3\mid -A_1^2+A_2^2+A_3^2=1\right\}.$

respectively.

Theorem 1. : [17–19, 22, 23]. There is a one-to-one correspondence between spacelike (resp. timelike) oriented lines at Minkowski 3-space ${\mathbb{E}}_1^3$ and ordered pairs of vectors $\left(\mathbf{a},{\mathbf{a}}^{*}\right)\in {\mathbb{E}}_1^3\times {\mathbb{E}}_1^3$, such that

$\langle \mathbf{A},\mathbf{A}\rangle =\pm 1\iff \langle \mathbf{a},\mathbf{a}\rangle =\pm 1,\langle {\mathbf{a}}^{*},\mathbf{a}\rangle =0,(1)$

where a and a* are the normed Pl ücker coordinates of the line.

Using Theorem 1, we obtain the following map (E. Study’s map), where the dual unit spheres are shaped as a pair of conjugate hyperboloids. The ring shaped hyperboloid represents the set of spacelike lines, the common asymptotic cone represents the set of null (lightlike) lines, the oval shaped hyperboloid forms the set of timelike lines, and opposite points of each hyperboloid perform a pair of obverse vectors on a line (see Figure 1). Applying to the E. Study map, the differentiable curve on ${\mathbb{H}}_{+}^2$ corresponds to the timelike-ruled surface at ${\mathbb{E}}_1^3$. In a similar way, the dual curve at ${\mathbb{S}}_1^2$ corresponds to the spacelike or timelike-ruled surface at ${\mathbb{E}}_1^3$.

FIGURE 1

FIGURE 1. Dual hyperbolic and dual Lorentzian unit spheres.

2.1 Timelike-Ruled Surface as a Curve at ${\mathbb{H}}_{+}^2$

Let y(t) be the regular curve at the Minkowski 3-space ${\mathbb{E}}_1^3$ defined on $I\subseteq \mathbb{R}$ and x(t) is the timelike unit vector of the oriented line at ${\mathbb{E}}_1^3$. Therefore we acquire a timelike-ruled surface’s parametrization M as

$M:\mathbf{r}\left(t,v\right)=\mathbf{y}\left(t\right)+v\mathbf{x}\left(t\right),v\in \mathbb{R},(2)$

Here y = y(t) is its directrix or base curve, and t is the motion parameter. The E. Study map is adopted to write Eq. 2 using the dual vector function as

$M:\mathbf{X}\left(t\right)=\mathbf{x}\left(t\right)+\epsilon \mathbf{y}\left(t\right)\times \mathbf{x}\left(t\right)=\mathbf{x}(t)+\epsilon {\mathbf{x}}^{*}\left(t\right),(3)$

Because the spherical image x, is the timelike unit vector, the timelike dual vector X and unit magnitude, as is observed from the computation

$\langle \mathbf{X},\mathbf{X}\rangle =\langle \mathbf{x}+\epsilon \mathbf{y}\times \mathbf{x},\mathbf{x}+\epsilon \mathbf{y}\times \mathbf{x}\rangle =\langle \mathbf{x},\mathbf{x}\rangle +2\epsilon \langle \mathbf{x},\mathbf{y}\times \mathbf{x}\rangle +{\epsilon }^2.\langle \mathbf{y}\times \mathbf{x},\mathbf{y}\times \mathbf{x}\rangle =\langle \mathbf{x},\mathbf{x}\rangle =-1.$

Therefore, the timelike-ruled surface is presented using the dual curve at the surface of the dual hyperbolic unit sphere. The dual arc length of $\mathbf{X}(t)\in {\mathbb{H}}_{+}^2$ is defined by

$dS≔ds+\epsilon d{s}^{*}=‖{\mathbf{X}}^{\prime }‖dt=‖{\mathbf{x}}^{\prime }‖\left(1-\epsilon \frac{\langle {\mathbf{x}}^{\prime }{,\mathbf{x}}^{{*}^{\prime }}\rangle }{\langle {\mathbf{x}}^{\prime },{\mathbf{x}}^{\prime }\rangle }\right)dt.(4)$

Hence, the distribution parameter is expressed as

$\lambda \left(t\right)≔\frac{d{s}^{*}}{ds}=\frac{\langle {\mathbf{x}}^{\prime }{,\mathbf{x}}^{{*}^{\prime }}\rangle }{\langle {\mathbf{x}}^{\prime },{\mathbf{x}}^{\prime }\rangle }.(5)$

Here, and in what follows, the prime symbol denotes derivatives with respect to parameter “t.”

The Gaussian curvature K (t, v) is related to the distribution parameter λ(t) of the timelike-ruled surface [5] as follows:

$K\left(t,v\right)=\frac{{\lambda }^2}{\left(v^2+{\lambda }^2\right)}.(6)$

If K (t, v) equals zero everywhere, this means that λ equals zero everywhere; therefore, M is referred to as developable. At Eq. 5: (a) in case λ(t) = 0, therefore M is the timelike developable ruled surface (b) if x′ = 0, therefore M is the timelike cylindrical ruled surface.

3 Timelike-Ruled and Developable Surfaces

In this section, we develop a procedure to construct timelike-ruled and developable surfaces using the E. Study’s map. Dual coordinates $X_i=(x_i+\epsilon x_i^{\ast })$ of the arbitrary point X at dual hyperbolic unit sphere ${\mathbb{H}}_{+}^2$, centered at origin, is expressed as:

$\mathbf{X}=\left(\cosh \mathrm{\Theta },\sinh \mathrm{\Theta }\cos \mathrm{\Psi },\sinh \mathrm{\Theta }\sin \mathrm{\Psi }\right)\text{,}(7)$

where Θ = ϑ + ɛϑ∗ and Ψ = ψ + ɛψ* defines the dual hyperbolic and space-like angles with ϑ*, $\vartheta ,{\psi }^{\ast }\in \mathbb{R}$ and 0 ≤ ψ ≤ 2π in the same order. Furthermore, if we consider X = X(t), $t\in \mathbb{R}$, which corresponds to the timelike-ruled surface M. Then, the dual arc-length of X(t) is

$dS=\sqrt{{\mathrm{\Psi }}^{\prime 2}{\sinh }^2\mathrm{\Theta }+{\mathrm{\Theta }}^{\prime 2}}dt.(8)$

If we separate the real and dual parts of Eq. 6, in the same order, we obtain:

$ds=\sqrt{{\psi }^{\prime 2}{\sinh }^2\vartheta +{\vartheta }^{\prime 2}}dt,$

and

$d{s}^{*}=\frac{{\vartheta }^{\prime }{\vartheta }^{{*}^{\prime }}+{\vartheta }^{*}{\psi }^{\prime 2}\sinh \vartheta \cosh \vartheta +{\psi }^{\prime }{\psi }^{{*}^{\prime }}{\sinh }^2\vartheta }{\sqrt{{\psi }^{\prime 2}{\sinh }^2\vartheta +{\vartheta }^{\prime 2}}}.$

Thus, we arrive at

$\lambda \left(t\right)≔\frac{d{s}^{*}}{ds}=\frac{{\vartheta }^{\prime }{\vartheta }^{{*}^{\prime }}+{\vartheta }^{*}{\psi }^{\prime 2}\sinh \vartheta \cosh \vartheta +{\psi }^{\prime }{\psi }^{{*}^{\prime }}{\sinh }^2\vartheta }{{\psi }^{\prime 2}{\sinh }^2\vartheta +{\vartheta }^{\prime 2}}.(9)$

It is clear that: (a) if λ(t) = 0, then M is the timelike developable ruled surface (b) if ψ(t) and ϑ(t) are constants; that is, x′ = 0, then M is a time-like cylinder.

Becauseɛ² = ɛ³ = … = 0, the Plucker coordinates of X are:

$\left.\begin{array}{c}{x}_1=\cosh \vartheta \text{,\hspace{0.17em}}{x}_1^{*}={\vartheta }^{*}\sinh \vartheta ,\hfill \\ x_2=\sinh \vartheta \cos \psi \text{,\hspace{0.17em}\hspace{0.17em}}{x}_2^{*}={\vartheta }^{*}\cosh \vartheta \cos \psi -{\psi }^{*}\sin \psi \sinh \vartheta ,\hfill \\ x_3=\sinh \vartheta \sin \psi \text{,\hspace{0.17em}\hspace{0.17em}}{x}_3^{*}={\vartheta }^{*}\cosh \vartheta \sin \psi +{\psi }^{*}\cos \psi \sinh \vartheta .\hfill \end{array}\right\}(10)$

Here, the normal question appears when curve y(t) = (y₁(t), y₂(t), y₃(t)) is provided, will the timelike ruled surface considering its base curve be defined as the curve y(t)? The answer is affirmative and can be stated as follows: Because x* = y ×x, we obtain a system of linear equations in y_i for i = 1, 2, 3:

$\left.\begin{array}{c}\hfill -y_2\sinh \vartheta \sin \psi +y_3\sinh \vartheta \cos \psi =x_1^{*},\hfill \\ \hfill -y_1\sinh \vartheta \sin \psi +y_3\cosh \vartheta =x_2^{*},\hfill \\ \hfill y_1\sinh \vartheta \cos \psi -y_2\cosh \vartheta =x_3^{*}.\hfill \end{array}\right\}(11)$

The matrix of the coefficients of unknowns y₁, y₂, and y₃ is the skew-adjoint matrix

$\left(\begin{array}{ccc}\hfill 0\hfill & \hfill -\sinh \vartheta \sin \psi \hfill & \hfill \sinh \vartheta \cos \psi \hfill \\ \hfill -\sinh \vartheta \sin \psi \hfill & \hfill 0\hfill & \hfill \cosh \vartheta \hfill \\ \hfill \sinh \vartheta \cos \psi \hfill & \hfill -\cosh \vartheta \hfill & \hfill 0\hfill \end{array}\right),$

and thus, its rank is 2 with ϑ ≠ 0, and ψ ≠ 2πk (k is the integer). This augmented matrix

$\left(\begin{array}{cccc}\hfill 0\hfill & \hfill -\sinh \vartheta \sin \psi \hfill & \hfill \sinh \vartheta \cos \psi \hfill & \hfill x_1^{*}\hfill \\ \hfill -\sinh \vartheta \sin \psi \hfill & \hfill 0\hfill & \hfill \cosh \vartheta \hfill & \hfill x_2^{*}\hfill \\ \hfill \sinh \vartheta \cos \psi \hfill & \hfill -\cosh \vartheta \hfill & \hfill 0\hfill & \hfill x_2^{*}\hfill \end{array}\right),$

is of rank 2. Thus, infinite solutions of the system are expressed as

$\begin{array}{c}\hfill y_2=\left(y_1-{\psi }^{*}\right)\tanh \vartheta \cos \psi -{\vartheta }^{*}\sin \psi ,\hfill \\ \hfill y_3=\left(y_1-{\psi }^{*}\right)\tanh \vartheta \sin \psi +{\vartheta }^{*}\cos \psi ,\hfill \\ \hfill y_1=y_1\left(\vartheta \left(t\right),\psi \left(t\right)\right).\hfill \end{array}(12)$

Because it is possible to choose y₁(t), we use y₁(t) = ψ*(t). Then, Eq. 12 will be reduced to

$y_1={\psi }^{*},y_2=-{\vartheta }^{*}\sin \psi \text{,\hspace{0.17em}}.y_3={\vartheta }^{*}\cos \psi .(13)$

From Eq. 13, we have

${\vartheta }^{*}\left(t\right)=\mp \sqrt{y_2^2+y_3^2}\text{,\hspace{0.17em}}\tan \psi =-\frac{y_2}{y_3}.(14)$

Notably, ϑ*(t) has two values; using the minus sign resulted in the reciprocal of the timelike-ruled surface obtained using the plus sign. Therefore, in this study, we chose a lower sign. Into Eq. 2 we substitute from Eqs 13, 14 and obtain:

$\mathbf{r}\left(t,v\right)=\left(y_1,y_2,y_3\right)+v\left(\cosh \vartheta ,\frac{y_3}{\sqrt{y_2^2+y_3^2}}\sinh \vartheta ,-\frac{y_2}{\sqrt{y_2^2+y_3^2}}\sinh \vartheta \right)\text{,}(15)$

where $y_2^2+y_3^2\ne 0$, $v\in \mathbb{R}$, and ϑ(t) is arbitrary.

Theorem 2. : Let y(t) be a regular curve in Minkowski 3-space ${\mathbb{E}}_1^3$. Therefore there exists the family of timelike-ruled surface represented by Eq. 15.To the best of our knowledge, no previous study has obtained a timelike-ruled surface using coordinates and the first derivatives of the base curve, which means that this theorem presents a novel approach to building timelike-ruled surfaces in Minkowski 3-space.

Example 1. : Let y(t) = (t, t², t²) be the curve at Minkowski 3-space ${\mathbb{E}}_1^3$. Then, the family of the timelike-ruled surface is

$\mathbf{r}\left(t,v\right)=\left(t,t^2,t^2\right)+v\left(\cosh \vartheta ,\frac{1}{\sqrt{2}}\sinh \vartheta ,-\frac{1}{\sqrt{2}}\sinh \vartheta \right)\text{,\hspace{0.17em}}v\in \mathbb{R}.(16)$

The distribution parameter is

$\lambda \left(t\right)=2\sqrt{2}\frac{t}{{\vartheta }^{\prime }}.$

Function ϑ(t) can control the shape of the surface. If we take ϑ(t) = t, then $\lambda (t)=2\sqrt{2}t$, and the timelike ruled surfaces are illustrated in Figure 2. If ϑ(t) = −t, $\lambda (t)=-2\sqrt{2}t$ and the surface are illustrated in Figure 3; domain $D=\left\{-1.5\le t\le 1.5\right.$, and $\left.-3\le v\le 3\right\}$.

FIGURE 2

FIGURE 2. Timelike-ruled surface, ϑ(t) = t.

FIGURE 3

FIGURE 3. Timelike-ruled surface, ϑ(t) = −t.

Example 2. : Let y(t) = (t, t, 1) be the null curve at Minkowski 3-space ${\mathbb{E}}_1^3$. Similarly, we have:

$\mathbf{r}\left(t,v\right)=\left(t,t,1\right)+v\left(\cosh \vartheta ,\frac{1}{\sqrt{1+t^2}}\sinh \vartheta ,-\frac{t}{\sqrt{1+t^2}}\sinh \vartheta \right)\text{,\hspace{0.17em}}v\in \mathbb{R}.(17)$

The distribution parameter is

$\lambda \left(t\right)=\frac{{\vartheta }^{\prime }t\sqrt{1+t^2}+\frac{1}{\sqrt{1+t^2}}\sinh \vartheta \cosh \vartheta -{\sinh }^2\vartheta }{\left(1+t^2\right){\sinh }^2\vartheta +t^2}.$

If we take ϑ(t) = t, then for -1 ≤ t ≤ 1 and −6 ≤ v ≤ 6, the timelike-ruled surface is illustrated in Figure 4. For ϑ(t) = −t, 1 ≤ t ≤ 1 and −6 ≤ v ≤ 6, the surface is illustrated in Figure 5.

FIGURE 4

FIGURE 4. Timelike-ruled surface, with ϑ(t) = t.

FIGURE 5

FIGURE 5. Timelike-ruled surface, with ϑ(t) = −t.

3.1 Timelike Developable Surfaces

In this subsection, the challenge of constructing developable timelike surfaces from a timelike-ruled surfaces is analyzed. Therefore, the normal question that is raised here is: what is the condition of y (t, v) to a timelike developable ruled surface in Minkowski 3-space ${\mathbb{E}}_1^3$ ? The answer is positive and stated as follows: In fact, from Eq. 9, y (t, v) is developable if and only if λ(t) = 0, that is,

${\vartheta }^{\prime }{\vartheta }^{{*}^{\prime }}+{\vartheta }^{*}{\psi }^{\prime 2}\sinh \vartheta \cosh \vartheta +{\psi }^{\prime }{\psi }^{{*}^{\prime }}{\sinh }^2\vartheta =0,$

or equivalently

${\left(\coth \vartheta \right)}^{\prime }-\frac{{\vartheta }^{*}{\psi }^{\prime 2}}{{\vartheta }^{{*}^{\prime }}}\coth \vartheta -\frac{{\psi }^{\prime }{\psi }^{{*}^{\prime }}}{{\vartheta }^{{*}^{\prime }}}=0,(18)$

If we

$f\left(t\right)=-\coth \vartheta \text{,\hspace{0.17em}}G\left(t\right)=-\frac{{\vartheta }^{*}{\psi }^{\prime 2}}{{\vartheta }^{{*}^{\prime }}}\text{,\hspace{0.17em}}H\left(t\right)=-\frac{{\psi }^{\prime }{\psi }^{{*}^{\prime }}}{{\vartheta }^{{*}^{\prime }}},$

which leads to the linear differential equation of first order

$\frac{df\left(t\right)}{dt}+G\left(t\right)f\left(t\right)+H\left(t\right)=0.(19)$

Here, it is necessary to determine ϑ(t). The solution to (19) leads to coth ϑ. It contains the integral constant and we have several infinitely timelike developable ruled surfaces, that is every timelike developable surface has a base curve y(t); From Eqs.(13) and, (14), we have

${\psi }^{*}=y_1\text{,\hspace{0.17em}}{\vartheta }^{*}=\sqrt{y_2^2+y_3^2}\text{,\hspace{0.17em}}\tan \psi =-\frac{y_2}{y_3}.(20)$

Example 3. : In Example 1, clearly

$\tan \psi =-1\text{,\hspace{0.17em}}{\vartheta }^{*}=\sqrt{2}{t}^2\text{,\hspace{0.17em}}{\psi }^{*}=t.$

and

${\psi }^{{*}^{\prime }}=1\text{,\hspace{0.17em}}{\psi }^{\prime }=0,{\vartheta }^{{*}^{\prime }}=2\sqrt{2}t.$

we substitute these values into Eq. 19 and solve this differential equation

$f\left(t\right)=\coth \vartheta =c\text{,\hspace{0.17em}}c\in \mathbb{R}.$

Because coth ϑ = c, we have:

$\sinh \vartheta =\pm \frac{1}{\sqrt{c^2-1}}\text{,\hspace{0.17em}}\cosh \vartheta =\pm \frac{c}{\sqrt{c^2-1}}.(21)$

If we choose the plus sign, then the family of timelike developable ruled surface is presented as

$\mathbf{r}\left(t,v\right)=\left(t,t^2,t^2\right)+v\left(\frac{c}{\sqrt{c^2-1}}\right.,\frac{t}{\sqrt{2}}\frac{1}{\sqrt{c^2-1}},-\frac{t}{\sqrt{2}}\frac{1}{\sqrt{c^2-1}},\text{v}\in \mathbb{R}.$

If $c=\sqrt{2}$, −1 ≤ t ≤ 1, and 4 ≤ v ≤ 7, we obtain members of the family, as illustrated in Figure 6. Figure 7 illustrates a surface with $c=-\sqrt{2}$, −3 ≤ t ≤ 3, and -4 ≤ v ≤ 4.

FIGURE 6

FIGURE 6. Timelike developable with $c=\sqrt{2}$

FIGURE 7

FIGURE 7. Timelike developable with $c=-\sqrt{2}$

Example 4. : From the curve in Example 2,

$\begin{array}{cc}\hfill {\psi }^{{*}^{\prime }}& =1,{\psi }^{\prime }=-\frac{1}{1+t^2},{\vartheta }^{{*}^{\prime }}=\frac{t}{\sqrt{1+t^2}},\hfill \\ \hfill G\left(t\right)& =-\frac{1}{t\left(1+t^2\right)},H\left(t\right)=-\frac{1}{t\sqrt{1+t^2}}.\hfill \end{array}(22)$

Then, combining Eq. 20 and (Eq. 22), we have:

$\frac{df\left(t\right)}{dt}-\frac{1}{t\left(1+t^2\right)}f\left(t\right)-\frac{1}{t\sqrt{1+t^2}}=0.(23)$

The solution of this differential equation gives

$f\left(t\right)=\frac{ct-1}{\sqrt{1+t^2}},c\in \mathbb{R}.$

Because f(t) = − coth ϑ, then we have:

$\sinh \vartheta =\pm \frac{\sqrt{1+t^2}}{\sqrt{\left(c^2-1\right)t^2-2ct}}\text{,\hspace{0.17em}}\cosh \vartheta =\pm \frac{ct-1}{\sqrt{\left(c^2-1\right)t^2-2ct}}.(24)$

If we choose the plus sign, then the family of timelike developable ruled surface is introduced as

$\mathbf{r}\left(t,v\right)=\left(t,t,1\right)+\frac{v}{\sqrt{\left(c^2-1\right)t^2-2ct}}\left(ct-\mathrm{1,1},-1\right)\text{.\hspace{0.17em}}$

If we consider $c=\sqrt{2}$, then for 2 ≤ t ≤ 4 and 4 ≤ v ≤ 5, the timelike developable ruled surface is illustrated in Figure 8.

FIGURE 8

FIGURE 8. Timelike developable with $c=\sqrt{2}$

4 Conclusion

In this study, a general method to determine timelike-ruled and developable surfaces in Minkowski 3-space ${\mathbb{E}}_1^3$ was presented as a novel approach to constructing this type of surface. The use of spatial kinematics in the Minkowski 3-space ${\mathbb{E}}^3$ with line geometry led to novel ideas in our current research. A similar study can be conducted for $\mathbf{X}(t)\in {\mathbb{S}}_1^2$ at the dual Lorentzian 3-space ${\mathbb{D}}_1^3$, which we can consider in the future.

Data Availability Statement

The original contributions presented in the study are included in the article/Supplementary Material, further inquiries can be directed to the corresponding author.

Author Contributions

The author confirms being the sole contributor of this work and has approved it for publication.

Funding

Princess Nourah bint Abdulrahman University Researchers Supporting Project number (PNURSP2022R27), Princess Nourah bint Abdulrahman University, Riyadh, Saudi Arabia.

Conflict of Interest

The author declares that the research was conducted in the absence of any commercial or financial relationships that could be construed as a potential conflict of interest.

Publisher’s Note

All claims expressed in this article are solely those of the authors and do not necessarily represent those of their affiliated organizations, or those of the publisher, the editors and the reviewers. Any product that may be evaluated in this article, or claim that may be made by its manufacturer, is not guaranteed or endorsed by the publisher.

Acknowledgments

The author expresses their sincere gratitude to Prof. Rashad A. Abdel-Baky for his productive consultations. The author expresses her gratitude to Princess Nourah Bint Abdulrahman University Researchers Supporting Project number (PNURSP2022R27), Princess Nourah Bint Abdulrahman University, Riyadh, Saudi Arabia.

References

1. Bottema O, Roth B. Theoretical Kinematics. New York: North Holland Press (1979).

Google Scholar

2. Karger A, Novak J. Space Kinematics and Lie Groups. New York: Gordon and Breach Science Publishers (1985).

Google Scholar

3. McCarthy JM. Scalar and Dual Formulations of Curvature Theory of Line Trajectories. ASME J Mech Trans Auto Des. (1987) 109/101.

Google Scholar

4. Pottman H, Wallner J. Computational Line Geometry. Berlin, Heidelberg: Springer-Verlag (2001).

Google Scholar

5. Mancewicz MJ, Frey WH. Developable Surfaces: Properties Representations and Methods of Design Doctoral dissertation. Kalamazoo College: General Motors R&D Publication (1992). p. 7637.

Google Scholar

6. Bodduluri RMC, Ravani B. Design of Developable Surfaces Using Duality between Plane and point Geometries. Computer-aided Des (1993) 25(10):621–32. doi:10.1016/0010-4485(93)90017-i

CrossRef Full Text | Google Scholar

7. Zhao H, Wang G. A New Method for Designing a Developable Surface Utilizing the Surface Pencil through a Given Curve. Prog Nat Sci (2008) 18(1):105–10. doi:10.1016/j.pnsc.2007.09.001

CrossRef Full Text | Google Scholar

8. Li CY, Wang RH, Zhu CG. Approach for Designing a Developable Surface through a Given Line of Curvature. Computer-Aided Des (2013)(45) 621–7. doi:10.1016/j.cad.2012.11.001

CrossRef Full Text | Google Scholar

9. Wang J, Jiang P, Guo Y, Meng J. Developable Surface Pencil Pairs with Special Pairs as Common Asymptotes. Appl Math Comput (2019) 362:124583. doi:10.1016/j.amc.2019.124583

CrossRef Full Text | Google Scholar

10. Köse Ö. Contributions to the Theory of Integral Invariants of a Closed Ruled Surface. Mechanism Machine Theor (1997) 32(2):261–77. doi:10.1016/s0094-114x(96)00034-1

CrossRef Full Text | Google Scholar

11. Abdel-Baky RA, Al-Solamy FR. A New Geometrical Approach to One-Parameter Spatial Motion. J Eng Math (2008) 60:149–72. doi:10.1007/s10665-007-9139-5

CrossRef Full Text | Google Scholar

12. Abdel-Baky RA, Al-Ghefari RA. On the One-Parameter Dual Spherical Motions. Comp Aided Geometric Des (2011) 28:23–37. doi:10.1016/j.cagd.2010.09.007

CrossRef Full Text | Google Scholar

13. Al-Ghefari RA, Abdel-Baky RA. Kinematic Geometry of a Line Trajectory in Spatial Motion. J Mech Sci Technol (2015) 29(9):3597–608. doi:10.1007/s12206-015-0803-9

CrossRef Full Text | Google Scholar

14. Kose O. Method for Determining Developable Rules Surface. Mech Mach Theor 34:1187–93 1999.

Google Scholar

15. Yıldız OG, Karakus SO, Hacısalihoglu HH. On the Determination of a Developable Spherical Orthotomic Ruled Surface. Bull Math Sci (2015) 5:137–46.

Google Scholar

16. H Abdel-All N, Abdel-Baky RA, Hamdoon FM. Ruled Surfaces with Timelike Rulings. App Math Comp (2004)(147) 241–53. doi:10.1016/s0096-3003(02)00664-1

CrossRef Full Text | Google Scholar

17. Alluhaibi N, Abdel-Baky RA. On Kinematic Geometry of Hyperbolic Dual Spherical Motions and Euler–Savary’s Equation. Int J Geometric Methods Mod Phys (2019) 16(No. 12). doi:10.1142/s0219887819501974

CrossRef Full Text | Google Scholar

18. Alluhaibi N, Abdel-Baky RA. On the One-Parameter Lorentzian Spatial Motions. Int J Geometric Methods Mod Phys (2019) 16(No. 12):1950197. doi:10.1142/s0219887819501974

CrossRef Full Text | Google Scholar

19. Abdel-Baky RA, Unlütürk Y. A New Construction of Timelike-Ruled Surfaces with Constant Disteli-axis. Honam Math J (2020) 42(3):551–68.

Google Scholar

20. Kuhnel W. Differential Geometry. 2nd ed. Providence, Rhode Island: Am. Math. Soc. (2006).

Google Scholar

21. Lopez R. Differential Geometry of Curves and Surfaces in Lorentz-Minkowski Space. arxiv.org/abs/0810.3351v1 2008.

22. Uğurlu HH, Çalişkan A. Study Mapping for Directed Space-like and Time-like in Minkowski 3-Space R13. Math Comput Appl (1996) 1(2):142–8.

Google Scholar

23. Rashidi M, Shahsavari M, Jafari ME. Study Mapping for Directed Lines in 3-Space (2013).

Google Scholar

24. Turgut A, Hacisalioğlu H. Timelike-ruled over the Surfaces in Minkowski 3-Space-II. Turkish J Math (1998) 22(1):33–46.

Google Scholar

25. Ekici C, Ztrk H. On Time-like Ruled Surfaces in Minkowski 3-space. vectors (2013) 10:R3.

CrossRef Full Text | Google Scholar