A Surface Pencil with Bertrand Curves as Joint Curvature Lines in Euclidean Three-Space

Nazra, Sahar H.; Abdel-Baky, Rashad A.

doi:10.3390/sym15111986

Open AccessArticle

A Surface Pencil with Bertrand Curves as Joint Curvature Lines in Euclidean Three-Space

by

Sahar H. Nazra

^1,† and

Rashad A. Abdel-Baky

^2,*,†

¹

Mathematics Department, Faculty of Sciences, Umm Al-Qura University, lMecca 24382, Saudi Arabia

²

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

^*

Author to whom correspondence should be addressed.

^†

These authors contributed equally to this work.

Symmetry 2023, 15(11), 1986; https://doi.org/10.3390/sym15111986

Submission received: 20 September 2023 / Revised: 12 October 2023 / Accepted: 25 October 2023 / Published: 27 October 2023

(This article belongs to the Special Issue Symmetry and Its Application in Differential Geometry and Topology, 2nd Edition)

Download

Browse Figures

Versions Notes

Abstract

:

The main outcome of this work is the construction of a surface pencil with a similarity to Bertrand curves in Euclidean 3-space

E^{3}

. Then, by exploiting the Serret–Frenet frame, we deduce the sufficient and necessary conditions for a surface pencil with Bertrand curves as joint curvature lines. Consequently, the expansion to the ruled surface pencil is also designed. As demonstrations of our essential findings, we illustrate some models to emphasize the process.

Keywords:

Serret–Frenet frame; Bertrand mate; marching-scale functions; curvature line

MSC:

53A04; 53A05; 53A17

1. Introduction

The curvature line is one of the most significant curves on a surface, and it plays a main role in differential geometry [1,2,3,4]. It is a helpful tool in surface examination for showing the dissimilarity of the principal direction. The harmonic principal curvature and curvature lines are also significant features on regular surfaces. The curvature line can guide the investigation of surfaces, and it has been applied in geometric design, shape recognition, surface polygonization, and surface accomplishment. For instance, Martin [5] systematically inspected surface patches confined by curvature lines, which are called principal patches. Furthermore, he showed that the presence of such patches depended on the corresponding confirmed situation and the corresponding frame situations along the patch border curves. Alourdas et al. [6] addressed a mode for initializing a net of curvature lines on a B-spline surface. Maekawa et al. [7] proposed a technique to leverage the common advantages of free-shape parametric surfaces for form analysis. Also, they investigated the common advantages of the umbilic and attitude curvature lines that pass through the umbilici on a parametric free-shape surface. Che and Paul [8] expanded a style to resolve and calculate the curvature lines and their geometric features specified on an implicit surface. Moreover, they proposed a new standard for non-umbilical and umbilical points on an implicit surface. Zhang et al. [9] demonstrated a planner for calculating and visualizing the curvature lines defined on an implicit surface. Kalogerakis et al. [10] determined a powerful substructure for initializing curvature lines from point clouds. Their approach is applicable to surfaces of random genus, with or without boundaries, and is statistically robust to noise and outliers while preserving serious surface characteristics. They demonstrated the approach to be efficient over a range of synthetic and real-world input datasets with varying amounts of noise and outliers.

However, crucial work has also focused on the reverse issue: given a 3D curve, how can we locate those surfaces that are to be interfaced with this curve as a distinctive curve, if possible, rather than locating and furnishing curves on analytical curved surfaces? Wang et al. [11] were the first to address the issue of assembling a surface pencil with a designated locative geodesic curve, through which every surface can be a candidate for mode style. They demonstrated the necessary and sufficient conditions for the coefficients to be satisfied by both the iso-parametric and geodesic demands. A variety of studies have investigated the issue of surface pencils with distinctive curves [12,13,14,15,16,17,18,19,20,21,22,23,24]. The similarity among curves is a popular topic in curve theory. The Bertrand curve is one of the traditional private curves. If there is a linear consanguinity among the principal normal vectors of two curves at their matching points, the two curves are considered a Bertrand pair [1,2]. The Bertrand curve can be investigated as the popularization of the helix. Bertrand curves are characteristic examples of offset curves, which are used in computer-aided manufacturing (CAM) and computer-aided design (CAD) (see [25,26,27,28,29]). Nevertheless, to the best of our knowledge, no work has been conducted on establishing surface bundle pairs with Bertrand pairs as principal curves in Euclidean 3-space

E^{3}

. This work aims to fill this gap.

The major advantage of this work is the establishment of a surface pencil pair from a given Bertrand pair. Hence, the sufficient and necessary conditions for the specified Bertrand pair to be the principal curves are specified in detail. As an implementation, some interesting Bertrand pairs are chosen to create their corresponding surface pencil pairs that have such Bertrand pairs as principal curves. We extended the study to ruled surface pencil pairs.

2. Preliminaries

To provide a foundation for the next section, here, the primary constituents of the theory of curves in the Euclidean 3-space

E^{3}

are briefly specified [1,2]. Consider the Serret–Frenet apparatus

ς_{1} (u), ς_{2} (u), ς_{3} (u);

κ (u), τ (u)}

related to the unit speed curve

ω (u)

. Then, the Serret–Frenet formulae is expressed as follows:

(\begin{matrix} ς_{1}^{'} \\ ς_{2}^{'} \\ ς_{3}^{'} \end{matrix}) = (\begin{matrix} 0 & κ (u) & 0 \\ - κ (u) & 0 & τ (u) \\ 0 & - τ (u) & 0 \end{matrix}) (\begin{matrix} ς_{1} \\ ς_{2} \\ ς_{3} \end{matrix}), (^{'} = \frac{d}{d u}),

(1)

where

κ (u)

and

τ (u)

are the natural curvature and torsion of

ω (s)

, respectively.

Definition 1.

Let

ω (u)

and

\hat{ω} (u)

be two curves in

E^{3}

and

ς_{2} (u)

and

{\hat{ς}}_{2} (u)

are their principal normal vectors, respectively. Then, the pair {

ω (u)

,

\hat{ω} (u)

} is named a Bertrand pair if

ς_{2} (u)

and

{\hat{ς}}_{2} (u)

are linearly dependent at the matching points,

ω (u)

is called the Bertrand mate of

\hat{ω} (u)

, and

ω (u) = \hat{ω} (u) + f {\hat{ς}}_{2} (u),

(2)

where f is a constant [1,2].

We denote a surface S as

S : r (u, t) = (r_{1} (u, t), r_{2} (u, t), r_{3} (u, t)), (u, t) \in D \subseteq R^{2} .

(3)

If

r_{j} (u, t) = \frac{\partial r}{\partial j}

, the surface normal is

n (u, t) = r_{u} \times r_{t}, with < n, r_{u} > = < n, r_{t} > = 0 .

(4)

The well-known theorem below establishes the conditions for any curve on a surface S to be the principal curve [1,2].

Theorem 1.

(Monge’s Theorem) A curve on a surface is a curvature line if and only if the surface normals along the curve create a developable surface [1,2].

An iso-parametric curve is a curve

ω (u)

on a surface r

(u, t)

that has a fixed s or t variable. In other words, there exists a value

t_{0}

such that

ω (u) = r (u, t_{0})

or

ω (t) =

r

(s_{0}, t)

. Let

ω (u)

be a parametric curve, which we call an iso-curvature line (curvature line for short) on the surface

r (u, t)

if it is both a curvature line and a parameter curve on

r (u, t)

.

3. Main Results

This section describes a process for organizing a surface pencil pair with a Bertrand pair as joint curvature lines in

E^{3}

. With this objective, let

\hat{ω} (u)

be a unit speed curve,

ω (u)

be its Bertrand mate, and

{{\hat{ς}}_{1} (u), {\hat{ς}}_{2} (u)

,

{\hat{ς}}_{3} (u)

;

\hat{κ} (u), \hat{τ} (u)}

be the Serret–Frenet apparatus of

\hat{ω} (u)

, as in Equation (1). The surface pencil S with

ω (s)

can be written as [13]

S : r (u, t) = ω (u) + a (u, t) ς_{1} (s) + b (u, t) ς_{2} (s) + c (u, t) ς_{3} (s),

(5)

and the surface pencil

\hat{S}

with

\hat{ω} (u)

is

\hat{S} : \hat{r} (u, t) = \hat{ω} (u) + a (u, t) {\hat{ς}}_{1} (s) + b (u, t) {\hat{ς}}_{2} (s) + c (u, t) {\hat{ς}}_{3} (s) .

(6)

where

a (u, t),

b (u, t)

,

c (u, t)

are all

C^{1}

functions, and

T_{1} \leq t_{0} \leq T_{2}, 0 \leq s \leq L

. If the variable t is defined as time, the functions

a (u, t),

b (u, t)

, and

c (u, t)

can then be realized as the directed marching distances of a point unit in time t along the orientations

{\hat{ς}}_{1}

,

{\hat{ς}}_{2}

, and

{\hat{ς}}_{3}

, respectively, and the vector

\hat{ω} (u)

is considered the initial position of this point.

Our aim is to infer the sufficient and necessary conditions for which

\hat{ω} (s)

is an iso-parametric curvature line on

\hat{S}

. Firstly, since the directrix

\hat{ω} (u)

is an iso-parametric curve on

\hat{S}

, there exists a value

t = t_{0}

such that

\hat{ω} (u) = \hat{r} (u, t_{0})

, that is, we obtain

\begin{matrix} a (u, t_{0}) & = & b (u, t_{0}) = c (u, t_{0}) = 0 \\ \frac{\partial a (u, t_{0})}{\partial u} & = & \frac{\partial b (u, t_{0})}{\partial u} = \frac{\partial c (u, t_{0})}{\partial u} = 0 . \end{matrix}

(7)

Then,

\hat{n} (u, t_{0}) : = \frac{\partial \hat{r} (u, t_{0})}{\partial u} \times \frac{\partial \hat{r} (u, t_{0})}{\partial t} = - \frac{\partial c (u, t_{0})}{\partial t} {\hat{ς}}_{2} + \frac{\partial b (u, t_{0})}{\partial t} {\hat{ς}}_{3} .

(8)

Secondly, with a definite angle

φ (u)

, we have a unit vector

\hat{g} (u) = cos φ {\hat{ς}}_{2} (u) + sin φ {\hat{ς}}_{3} (u) .

(9)

Using the Serret-Frenet formulae, we find that

{\hat{g}}^{^{'}} = (φ^{^{'}} + \hat{τ}) {\hat{g}}^{⊥} - \hat{κ} cos φ {\hat{ς}}_{1} .

Moreover, the ruled surface

z (u, t) = \hat{ω} (u) + t \hat{g} (u); t \in R,

is a developable one if and only if

det ({\hat{ω}}^{^{'}}, \hat{g}, {\hat{g}}^{^{'}}) = 0

, that is,

φ^{^{'}} (u) + \hat{τ} (u) = 0 \Leftrightarrow φ (u) = φ_{0} - \int_{u_{0}}^{u} \hat{τ} (u) d u,

where

u_{0}

is the initial value of the arc length and

φ_{0} = φ (u_{0})

. Hence, via Monge’s Theorem and Equations (8) and (9),

\hat{ω} (u)

is a curvature line on

\hat{S}

if and only if

\hat{g} (u) ∥ \hat{n} (u, t_{0})

. In other words, there exists a function

χ (u) \neq 0

such that

\begin{matrix} - \frac{\partial c (u, t_{0})}{\partial t} = χ (u) cos φ, \frac{\partial b (u, t_{0})}{\partial t} = χ (u) sin φ, \\ φ (u) = φ_{0} - \int_{u_{0}}^{u} \hat{τ} (u) d u . \end{matrix}\}

(10)

From Equations (7) and (10), we obtain the following theorem:

Theorem 2.

\hat{ω} = \hat{ω} (u)

is a curvature line on

\hat{S}

if and only if

\begin{matrix} a (u, t_{0}) = b (u, t_{0}) = c (u, t_{0}) = 0, \\ \frac{\partial c (u, t_{0})}{\partial t} = χ (u) cos φ, \frac{\partial b (u, t_{0})}{\partial t} = χ (u) sin φ, \\ φ (u) = φ_{0} - \int_{u_{0}}^{u} \hat{τ} (u) d u, \end{matrix}\}

(11)

where

T_{1} \leq t_{0} \leq T_{2}, 0 \leq u \leq L,

and

χ (u) \neq 0

. The functions

χ (u)

and

φ (u)

are called controlling functions.

We refer to

\hat{S}

, as defined in Equation (6) and fulfilling (11), a surface pencil with a joint curvature line. Any surface

\hat{r} (u, t)

, as defined in (5) and fulfilling (11), is an element of this bundle. For further details, the functions

a (u, t)

,

b (u, t)

, and

c (u, t)

can be expressed as the product of two factors:

a (u, t) = l (u) A (t), b (u, t) = m (u) B (t), c (u, t) = n (u) C (t)

(12)

where

l (s)

,

m (s)

,

A (t),

B (t)

, and

C (t)

are

C^{1}

functions that do not identically vanish. Then, from Theorem 2, we obtain:

Corollary 1.

\hat{ω} = \hat{ω} (u)

is a curvature line on

\hat{S}

if and only if

\begin{matrix} A (t_{0}) = B (t_{0}) = C (t_{0}) = 0, \\ - n (u) \frac{d C (t_{0})}{d t} = χ (u) cos φ, m (u) \frac{d B (t_{0})}{d t} = χ (u) sin φ, \\ φ (u) = φ_{0} - \int_{u_{0}}^{u} \hat{τ} (u) d u, \end{matrix}\}

(13)

where

T_{1} \leq t_{0} \leq T_{2}, 0 \leq u \leq L,

and

χ (u) \neq 0

.

However, we can assume that

a (u, t)

,

b (u, t)

, and

c (u, t)

are based only on t. In other words,

l (u) = m (u) = n (u) = 1

. Then, we inspect condition (13) via the diverse terms of

φ (u)

:

(i)

If

\hat{τ} (u) \neq 0

, then

φ (u)

is a non-steady function of variable u, and condition (13) can be expressed as

\begin{matrix} A (t_{0}) = B (t_{0}) = C (t_{0}) = 0, \\ - \frac{d C (t_{0})}{d t} = χ (u) cos φ, \frac{d B (t_{0})}{d t} = χ (u) sin φ, \end{matrix}\}

(14)

(ii)

If

\hat{τ} (u) = 0

, that is, the curve is a planar curve, then

φ (u) = φ_{0}

is fixed and we have:

(a): In the situation of $φ_{0} \neq 0$ , condition (13) can be expressed as

$\begin{matrix} A (t_{0}) = B (t_{0}) = C (t_{0}) = 0, \\ - \frac{d C (t_{0})}{d t} = χ (u) cos φ_{0}, \frac{d B (t_{0})}{d t} = χ (u) sin φ_{0} . \end{matrix}\}$

(15)
(b): If $φ_{0} = 0$ , condition (13) can be expressed as

$\begin{matrix} A (t_{0}) = B (t_{0}) = C (t_{0}) = 0 = 0, \\ - \frac{d C (t_{0})}{d t} = χ (u), \frac{d B (t_{0})}{d t} = 0, \end{matrix}\}$

(16)

and from Equation (13), the normal $\hat{n} (s, t_{0})$ ( $= \hat{g} (u)$ ) is coincident with ${\hat{ς}}_{2}$ . In this case, the curve $\hat{ω} = \hat{ω} (u)$ is not only a curvature line but also a geodesic.

Example 1.

Let

\hat{ω} (u) = (\frac{1}{\sqrt{2}} cos u, \frac{1}{\sqrt{2}} sin u, \frac{u}{\sqrt{2}}), 0 \leq u \leq 2 π .

Then,

\begin{matrix} {\hat{ς}}_{1} (u) = \frac{1}{\sqrt{2}} (- sin u, cos u, 1), \\ {\hat{ς}}_{2} (u) = (- cos u, - sin s, 0), \\ {\hat{ς}}_{3} (u) = \frac{1}{\sqrt{2}} (sin u, - cos u, 1), \\ \hat{κ} (u) = \hat{τ} (u) = \frac{1}{\sqrt{2}} . \end{matrix}\}

So, we find that

φ (u) = - \frac{u}{\sqrt{2}} + φ_{0}

. If

φ_{0} = 0

, we have

φ (u) = - \frac{u}{\sqrt{2}}

. Let

\begin{matrix} l (u) & = & m (u) = n (u) = 1, \\ A (t) & = & t, B (t) = - t χ (u) sin \frac{u}{\sqrt{2}}, C (t) = - t χ (u) cos \frac{u}{\sqrt{2}}, χ (u) \neq 0 . \end{matrix}

Then, from Equation (6), we obtain

\begin{matrix} \hat{S} & : & \hat{r} (u, t) = (\frac{1}{\sqrt{2}} cos u, \frac{1}{\sqrt{2}} sin u, \frac{u}{\sqrt{2}}) + t (1, - χ sin \frac{u}{\sqrt{2}}, - χ cos \frac{u}{\sqrt{2}}) \\ \times (\begin{matrix} - \frac{1}{\sqrt{2}} sin u & \frac{1}{\sqrt{2}} cos u & \frac{1}{\sqrt{2}} \\ - cos u & - sin u & 0 \\ \frac{1}{\sqrt{2}} sin u & - \frac{1}{\sqrt{2}} cos u & \frac{1}{\sqrt{2}} \end{matrix}) . \end{matrix}

Hence, the surface pencil S is obtained as follows: Let

f = \sqrt{2}

in Equation (2), and we find that

ω (u) = (- \frac{1}{\sqrt{2}} cos u, - \frac{1}{\sqrt{2}} sin u, \frac{u}{\sqrt{2}}) .

The Serret–Frenet vectors of

ω (u)

are found as follows:

ς_{1} (u) = \frac{1}{\sqrt{2}} (sin u, - cos u, 1), ς_{2} (u) = (cos u, sin u, 0), ς_{3} (u) = \frac{1}{\sqrt{2}} (- sin u, cos u, 1) .

Then,

\begin{matrix} S & : & r (u, t) = (- \frac{1}{\sqrt{2}} cos u, - \frac{1}{\sqrt{2}} sin u, \frac{u}{\sqrt{2}}) + t (1, - χ sin \frac{u}{\sqrt{2}}, - χ cos \frac{u}{\sqrt{2}}) \\ \times (\begin{matrix} \frac{1}{\sqrt{2}} sin u & - \frac{1}{\sqrt{2}} cos u & \frac{1}{\sqrt{2}} \\ cos u & sin u & 0 \\ - \frac{1}{\sqrt{2}} sin u & \frac{1}{\sqrt{2}} cos u & \frac{1}{\sqrt{2}} \end{matrix}) . \end{matrix}

For

χ = u

,

- 5 \leq

t \leq 5

, and

0 \leq

u \leq 2 π

, the corresponding surfaces are depicted in Figure 1. Figure 2 shows the surface with

χ = - u

,

- 5 \leq

t \leq 5

, and

0 \leq

u \leq 2 π

.

Example 2.

Let

\hat{ω} (u)

be expressed as

\hat{ω} (u) = (cos u, sin u, 0), 0 \leq u \leq 2 π .

Then,

{\hat{ς}}_{1} (u) = (- sin u, cos u, 0), {\hat{ς}}_{2} (u) = (- cos u, - sin u, 0), {\hat{ς}}_{3} (u) = (0, 0, 1) .

The curvatures of this curve are

\hat{κ} = 1

,

\hat{τ} = 0

, and

φ (u) = \frac{u}{2}

. By taking

\begin{matrix} l (u) & = & m (u) = n (u) = 1, \\ A (t) & = & t, B (t) = t χ (u) sin \frac{u}{2}, - C (t) = t χ (u) cos \frac{u}{2}, χ \neq 0 . \end{matrix}

Then,

\hat{S} : \hat{r} (u, t) = (cos u, sin u . 0) + t (1, - χ (u) sin \frac{u}{2}, χ cos \frac{u}{2}) (\begin{matrix} - sin u & cos u & 0 \\ - cos u & - sin u & 0 \\ 0 & 0 & 1 \end{matrix}) .

Let

f = 2

in Equation (2). Then, we obtain

ω (u) = (- cos u, - sin u, 0),

and

ς_{1} (u) = (sin u, - cos u, 0), ς_{2} (u) = (cos u, sin u, 0), ς_{3} (u) = (0, 0, 1) .

Hence, the surface pencil S is

S : r (u, t) = (- cos u, - sin u . 0) + t (1, - χ (u) sin \frac{u}{2}, χ cos \frac{u}{2}) (\begin{matrix} sin u & - cos u & 0 \\ cos u & sin u & 0 \\ 0 & 0 & 1 \end{matrix}) .

For

χ = u

,

0 \leq

t \leq 2

, and

0 \leq

u \leq 2 π

, the corresponding surfaces are depicted in Figure 3. Figure 4 shows the surface with

χ = - u

,

0 \leq

t \leq 2

, and

0 \leq

u \leq 2 π

.

Ruled Surface Pencil Pairs with Bertrand Pairs as Joint Curvature Lines

Let

\hat{r} (u, t)

be a ruled surface with the directrix

\hat{ω} (u)

, and

\hat{ω} (u)

is also an iso-parametric curve of

\hat{r} (u, t)

. Then, there exists a value

t_{0}

such that

\hat{r} (u, t_{0}) = \hat{ω} (u)

. From this, it follows that the ruled surface pencil

\hat{S}

can be given by

\hat{S} : \hat{r} (u, t) - \hat{r} (u, t_{0}) = (t - t_{0}) \hat{e} (u), 0 \leq s \leq L, with, t, t_{0} \in [T_{1}, T_{2}],

(17)

where

\hat{e} (u)

specifies the orientation of the rulings. From Equations (6) and (17), we obtain

(t - t_{0}) \hat{e} (u) = a (u, t) {\hat{ς}}_{1} (u) + b (u, t) {\hat{ς}}_{2} (u) + c (u, t) {\hat{ς}}_{3} (u) .

(18)

0 \leq u \leq L,

with

t, t_{0} \in [T_{1}, T_{2}]

. Equation (20) governs three equations with three unknown functions

a (u, t),

b (u, t)

, and

b (u, t)

. By utilizing the scalar product’s rule, we obtain

\begin{matrix} a (u, t) = (t - t_{0}) < \hat{e} (u), {\hat{ς}}_{1} (u) >, \\ b (u, t) = (t - t_{0}) < \hat{e} (u), {\hat{ς}}_{2} (u) >, \\ b (u, t) = (t - t_{0}) < \hat{e} (u), {\hat{ς}}_{3} (u) > . \end{matrix}

(19)

Via Corollary 1, if

\hat{ω} (u)

is a curvature line of

\hat{S}

, we obtain

\begin{matrix} a (u, t) = 0, \\ χ (u) sin φ = < \hat{e} (u), {\hat{ς}}_{2} (u) >, \\ - χ (u) cos φ = < \hat{e} (u), {\hat{ς}}_{3} (u) > . \end{matrix}

(20)

The above equations are simply the necessary and sufficient conditions for

\hat{S}

to be a ruled surface pencil with joint directrix

β

(u)

. Let us write

\hat{e} (u) = υ (u) {\hat{ς}}_{1} (u) + σ (u) {\hat{ς}}_{2} (s) + μ (u) {\hat{ς}}_{3} (s),

(21)

where

υ (u),

σ (u)

, and

μ (u)

are all

C^{1}

functions. From Equations (19) and (21), we obtain

σ (u) = < \hat{e} (u), {\hat{ς}}_{2} (u) > = χ (u) sin φ, μ (u) = < \hat{e} (u), {\hat{ς}}_{3} (u) > = - χ (u) cos φ .

Then,

\hat{e} (u) = υ (u) {\hat{ς}}_{1} (u) + χ (u) sin φ {\hat{ς}}_{2} (u) - χ (u) cos φ {\hat{ς}}_{3} (u) .

Hence, the ruled surface pencil

\hat{S}

can be designated as

\hat{S} : \hat{r} (u, t) = \hat{ω} (u) + t υ (u) {\hat{ς}}_{1} (u) + t χ (u) (sin φ {\hat{ς}}_{2} (u) - cos φ {\hat{ς}}_{3} (u)),

and the ruled surface pencil S is

S : r (u, t) = ω (u) + t υ (u) ς_{1} (u) + t χ (u) (sin φ ς_{2} (u) - cos φ ς_{3} (u)), .

where

0 \leq u \leq L, 0 \leq t \leq T

, and

υ (u)

,

χ (u)

, and

φ (u)

control the shapes of the surface pencils S and

\hat{S}

.

Example 3.

Via Example 1, we obtain:

\hat{S} : \hat{r} (u, t) = (\begin{matrix} \frac{1}{\sqrt{2}} (cos u - t υ (u) sin u) + t χ (u) (sin \frac{u}{2} cos u + \frac{1}{\sqrt{2}} cos \frac{u}{2} sin u) \\ \frac{1}{\sqrt{2}} (sin u - t υ (u) cos u) + t χ (u) (sin \frac{u}{2} sin u - \frac{1}{\sqrt{2}} cos \frac{u}{2} cos u) \\ \frac{u}{\sqrt{2}} + t (υ (u) - χ (u) cos \frac{u}{2}) \end{matrix}),

and

S : r (u, t) = (\begin{matrix} \frac{- 1}{\sqrt{2}} (cos u - t υ (u) sin u) + t χ (u) (sin \frac{u}{2} cos u + \frac{1}{\sqrt{2}} cos \frac{u}{2} sin u) \\ \frac{- 1}{\sqrt{2}} (sin u + t υ (u) cos u) + t χ (u) (sin \frac{u}{2} sin u - \frac{1}{\sqrt{2}} cos \frac{u}{2} cos u) \\ \frac{u}{\sqrt{2}} + t (υ (u) - χ (u) cos \frac{u}{2}) \end{matrix}) .

For

χ (u) = \frac{1}{10 \sqrt{2}} u

,

υ (u) = 1

,

- 5 \leq

t \leq 5

, and

0 \leq

u \leq 2 π

, the corresponding ruled surfaces are depicted in Figure 5. Figure 6 shows the ruled surface with

χ (u) = \frac{1}{10 \sqrt{2}} u

,

υ (u) = 1

,

- 3 \leq

t \leq 3

, and

0 \leq

s \leq 2 π

.

Example 4.

From Example 2, we obtain:

\hat{S} : \hat{r} (u, t) = (\begin{matrix} (1 - t χ (u) sin \frac{u}{2}) cos u - t υ (u) sin u \\ (1 + t χ (u) sin \frac{u}{2}) sin u + t υ (u) cos u \\ - t χ (u) cos \frac{u}{2} \end{matrix}),

and

S : r (u, t) = (\begin{matrix} (- 1 + t χ (u) sin \frac{u}{2}) cos u + t υ (u) sin u \\ - (1 + t χ (u) sin \frac{u}{2}) sin u + t υ (u) sin u \\ - t χ (u) cos \frac{u}{2} \end{matrix}),

For

χ (u) = cos u

,

υ (u) = 0

,

0 \leq

t \leq 5

, and

0 \leq

u \leq 2 π

, the corresponding ruled surfaces are depicted in Figure 7. Figure 8 shows the ruled surface with

χ (u) = cos u

,

υ (u) = 0

,

0 \leq

t \leq 3

, and

0 \leq

u \leq 2 π

.

4. Conclusions

In this paper, we considered the issue of constructing a surface pencil pair with a Bertrand pair as common curvature lines in Euclidean 3-space

E^{3}

. The extension to ruled surfaces was also summarized. Meanwhile, significant curves were chosen to construct the surface pencil pair and ruled surface pencil pair with the Bertrand pair as common curvature lines. Hopefully, these scores will be useful in the field of differential geometry and to physicists and others exploring general relativity theory. Our future research will investigate how the principal findings presented in this study can be applied to generate fresh outcomes in conjunction with soliton theory, submanifold theory, and other pertinent fields that have been discussed in [30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49].

Author Contributions

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

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Our manuscript contains no associated data.

Conflicts of Interest

The authors declare no conflict of interest.

References

Do Carmo, M.P. Differential Geometry of Curves and Surfaces; Prentice Hall: Englewood Cliffs, NJ, USA, 1976. [Google Scholar]
Spivak, M. A Comprehensive Introduction to Differential Geometry, 2nd ed.; Publish or Perish: Houston, TX, USA, 1979. [Google Scholar]
Munchmeyer, F.C. On surface imperfections. In Mathematics of Surfaces II; Martin, R., Ed.; Oxford University Press: Oxford, UK, 1987; pp. 459–474. [Google Scholar]
Patrikalakis, N.M.; Maekawa, T. Shape Interrogation for Computer Aided Design and Manufacturing; Springer: Berlin/Heidelberg, Germany, 2002; ISBN 978-3-540-42454-3. [Google Scholar]
Martin, R.R. Principal patches—A new class of surface patches based on differential geometry. In Proceedings of the 4th Annual European Association for Computer Graphics Conference and Exhibition, Eurographics’83, Zagreb, Yugoslavia, 31 August–2 September 1983; Ten Hagen, P.J.W., Ed.; North-Holland: Amsterdam, The Netherlands, 1983; pp. 47–55. [Google Scholar]
Alourdas, P.G.; Hottel, G.R.; Tuohy, S.T. A design and interrogation system for modeling with rational b-splines. In Proceedings of the Ninth International Symposium on OMAE, Houston, TX, USA, 18–23 February 1990; ASME: New York, NY, USA, 1990; Volume 1, Part B. pp. 555–565. Available online: https://trid.trb.org/View/437329 (accessed on 24 October 2023).
Maekawa, T.; Wolter, F.-E.; Patrikalakis, N.M. Umbilics and lines of curvature for shape interrogation. Comput. Aided Geom. Des. 1996, 13, 133–161. [Google Scholar] [CrossRef]
Che, W.J.; Paul, J.C. Lines of curvature and umbilical points for implicit surfaces. Comput. Aided Geom. Des. 2007, 24, 395–409. [Google Scholar] [CrossRef]
Zhang, X.P.; Che, W.j.; Paul, J.C. Computing lines of curvature for implicit surfaces. Comput. Aided Geom. Des. 2009, 26, 923–940. [Google Scholar] [CrossRef]
Kalogerakis, E.; Nowrouzezahrai, D.; Simari, P.; Singh, K. Extracting lines of curvature from noisy point clouds. Comput.-Aided Des. 2009, 41, 282–292. [Google Scholar] [CrossRef]
Wang, G.; Tang, K.; Tai, C.H. Parametric representation of a surface pencil with common spatial geodesic. Comput-Aided Des. 2004, 36, 447–459. [Google Scholar] [CrossRef]
Kasap, E.; Akyldz, F.T.; Orbay, K. A generalization of surfaces family with common spatial geodesic. Appl. Math. Comput. 2008, 201, 781–789. [Google Scholar] [CrossRef]
Li, C.Y.; Wang, R.H.; Zhu, C.G. Parametric representation of a surface pencil with a common line of curvature. Comput.-Aided Des. 2011, 43, 1110–1117. [Google Scholar] [CrossRef]
Li, C.Y.; Wang, R.H.; Zhu, C.G. An approach for designing a developable surface through a given line of curvature. Comput.-Aided Des. 2013, 45, 621–627. [Google Scholar] [CrossRef]
Bayram, E.; Guler, F.; Kasap, E. Parametric representation of a surface pencil with a common asymptotic curve. Comput.-Aided Des. 2012, 44, 637–643. [Google Scholar] [CrossRef]
Liu, Y.; Wang, G.J. Designing developable surface pencil through given curve as its common asymptotic curve. J. Zhejiang Univ. 2013, 47, 1246–1252. [Google Scholar]
Atalay, G.S.; Kasap, E. Surfaces family with common Smarandache geodesic curve. J. Sci. Arts 2017, 4, 651–664. [Google Scholar]
Atalay, G.S.; Kasap, E. Surfaces family with common Smarandache geodesic curve according to Bishop frame in Euclidean space. Math. Sci. Appl. 2016, 4, 164–174. [Google Scholar] [CrossRef]
Bayram, E.; Bilici, M. Surface family with a common involute asymptotic curve. Int. J. Geom. Methods Mod. Phys. 2016, 13, 447–459. [Google Scholar] [CrossRef]
Guler, F.; Bayram, E.; Kasap, E. Offset surface pencil with a common asymptotic curve. Int. J. Geom. Methods Mod. Phys. 2018, 15, 1850195. [Google Scholar] [CrossRef]
Atalay, G.S. Surfaces family with a common Mannheim asymptotic curve. J. Appl. Math. Comput. 2018, 2, 143–154. [Google Scholar]
Atalay, G.S. Surfaces family with a common Mannheim geodesic curve. J. Appl. Math. Comput. 2018, 2, 155–165. [Google Scholar]
Abdel-Baky, R.A.; Alluhaibi, N. Surfaces family with a common geodesic curve in Euclidean 3-Space $E^{3}$ . Int. J. Math. Anal. 2019, 13, 433–447. [Google Scholar] [CrossRef]
Senyurt, S.; Ayvac, K.H.; Canli, D. Family of Surfaces with a common Bertrand D- Curve as isogeodesic, isoasymptotic and line of curvature. Appl. Appl. Math. 2021, 16, 1186–1201. [Google Scholar]
Papaioannou, S.G.; Kiritsis, D. An application of Bertrand curves and surface to CAD/CAM. Comput.-Aided Des. 1985, 17, 348–352. [Google Scholar] [CrossRef]
Ravani, B.; Ku, T.S. Bertrand offsets of ruled and developable surfaces. Comput.-Aided Des. 1991, 23, 145–152. [Google Scholar] [CrossRef]
Sprott, K.S.; Ravani, B. Cylindrical milling of ruled surfaces. Int. J. Adv. Manuf. Technol. 2008, 38, 649–656. [Google Scholar] [CrossRef]
Li, Y.; Eren, K.; Ayvac, H.; Ersoy, S. Simultaneous characterizations of partner ruled surfaces using Flc frame. AIMS Math. 2023, 7, 20213–20229. [Google Scholar] [CrossRef]
Mofarreh, F.; Abdel-Baky, R.A. Surface pencil pair interpolating Bertrand pair as common asymptotic curves in Euclidean 3-space. Mathematics 2023, 11, 3495. [Google Scholar] [CrossRef]
Almoneef, A.A.; Abdel-Baky, R.A. Singularity properties of spacelike circular surfaces. Symmetry 2023, 15, 842. [Google Scholar] [CrossRef]
Li, Y.; Alkhaldi, A.H.; Ali, A.; Abdel-Baky, R.A.; Saad, M.K. Investigation of ruled surfaces and their singularities according to Blaschke frame in Euclidean 3-space. AIMS Math. 2023, 8, 13875–13888. [Google Scholar] [CrossRef]
Nazra, S.; Abdel-Baky, R.A. Singularities of non-lightlike developable surfaces in Minkowski 3-space. Mediterr. J. Math. 2023, 20, 45. [Google Scholar] [CrossRef]
Li, Y.; Bhattacharyya, S.; Azami, S.; Saha, A.; Hui, S.K. Harnack Estimation for Nonlinear, Weighted, Heat-Type Equation along Geometric Flow and Applications. Mathematics 2023, 11, 2516. [Google Scholar] [CrossRef]
Li, Y.; Eren, K.; Ersoy, S. On simultaneous characterizations of partner-ruled surfaces in Minkowski 3-space. AIMS Math. 2023, 8, 22256–22273. [Google Scholar] [CrossRef]
Li, Y.; Güler, E. A Hypersurfaces of Revolution Family in the Five-Dimensional Pseudo-Euclidean Space $E_{2}^{5}$ . Mathematics 2023, 11, 3427. [Google Scholar] [CrossRef]
Li, Y.; Gupta, M.K.; Sharma, S.; Chaubey, S.K. On Ricci Curvature of a Homogeneous Generalized Matsumoto Finsler Space. Mathematics 2023, 11, 3365. [Google Scholar] [CrossRef]
Li, Y.; Mofarreh, F.; Abdel-Baky, R.A. Kinematic-geometry of a line trajectory and the invariants of the axodes. Demonstr. Math. 2023, 56, 20220252. [Google Scholar] [CrossRef]
Li, Y.; Kumara, H.A.; Siddesha, M.S.; Naik, D.M. Characterization of Ricci Almost Soliton on Lorentzian Manifolds. Symmetry 2023, 15, 1175. [Google Scholar] [CrossRef]
Li, Y.; Güler, E. Hypersurfaces of revolution family supplying in pseudo-Euclidean space. AIMS Math. 2023, 8, 24957–24970. [Google Scholar] [CrossRef]
Li, Y.; Mak, M. Framed Natural Mates of Framed Curves in Euclidean 3-Space. Mathematics 2023, 11, 3571. [Google Scholar] [CrossRef]
Li, Y.; Patra, D.; Alluhaibi, N.; Mofarreh, F.; Ali, A. Geometric classifications of k-almost Ricci solitons admitting paracontact metrices. Open Math. 2023, 21, 20220610. [Google Scholar] [CrossRef]
Li, Y.; Eren, K.; Ayvacı, K.H.; Ersoy, S. The developable surfaces with pointwise 1-type Gauss map of Frenet type framed base curves in Euclidean 3-space. AIMS Math. 2023, 8, 2226–2239. [Google Scholar] [CrossRef]
Li, Y.; Ganguly, D. Kenmotsu Metric as Conformal η-Ricci Soliton. Mediterr. J. Math. 2023, 20, 193. [Google Scholar] [CrossRef]
Li, Y.; Erdoğdu, M.; Yavuz, A. Differential Geometric Approach of Betchow-Da Rios Soliton Equation. Hacet. J. Math. Stat. 2023, 52, 114–125. [Google Scholar] [CrossRef]
Li, Y.; Gezer, A.; Karakaş, E. Some notes on the tangent bundle with a Ricci quarter-symmetric metric connection. AIMS Math. 2023, 8, 17335–17353. [Google Scholar] [CrossRef]
Li, Y.; Abdel-Salam, A.A.; Saad, M.K. Primitivoids of curves in Minkowski plane. AIMS Math. 2023, 8, 2386–2406. [Google Scholar] [CrossRef]
Li, J.; Yang, Z.; Li, Y.; Abdel-Baky, R.A.; Saad, M.K. On the Curvatures of Timelike Circular Surfaces in Lorentz-Minkowski Space. 2023. Available online: https://papers.ssrn.com/sol3/papers.cfm?abstract_id=4425631 (accessed on 24 October 2023).
Li, Y.; Caliskan, A. Quaternionic Shape Operator and Rotation Matrix on Ruled Surfaces. Axioms 2023, 12, 486. [Google Scholar] [CrossRef]
Li, Y.; Srivastava, S.K.; Mofarreh, F.; Kumar, A.; Ali, A. Ricci Soliton of CR-Warped Product Manifolds and Their Classifications. Symmetry 2023, 15, 976. [Google Scholar] [CrossRef]

Figure 1.

\hat{S}

(red) ∪ S (yellow) surfaces.

Figure 1.

\hat{S}

(red) ∪ S (yellow) surfaces.

Figure 2.

\hat{S}

(red) ∪ S (yellow) surfaces.

Figure 2.

\hat{S}

(red) ∪ S (yellow) surfaces.

Figure 3.

\hat{S}

(red) ∪ S (yellow) surfaces.

Figure 3.

\hat{S}

(red) ∪ S (yellow) surfaces.

Figure 4.

\hat{S}

(red) ∪ S (yellow) surfaces.

Figure 4.

\hat{S}

(red) ∪ S (yellow) surfaces.