Geometric analysis of non-degenerate shifted-knots Bézier surfaces in Minkowski space

In this paper, we investigate the properties of timelike and spacelike shifted-knots Bézier surfaces in Minkowski space-E13. These surfaces are commonly used in mathematical models for surface formation in computer science for computer-aided geometric design and computer graphics, as well as in other fields of mathematics. Our objective is to analyze the characteristics of timelike and spacelike shifted-knots Bézier surfaces in Minkowski space-E13. To achieve this, we compute the fundamental coefficients of shifted-knots Bézier surfaces, including the Gauss-curvature, mean-curvature, and shape-operator of the surface. Furthermore, we present numerical examples of timelike and spacelike bi-quadratic (m = n = 2) and bi-cubic (m = n = 3) shifted-knots Bézier surfaces in Minkowski space-E13 to demonstrate the applicability of the technique in Minkowski space.


Introduction
Differential geometry (DG) deals with the geometry of curves, surfaces, and manifolds, which are higher-dimensional analogues of surfaces.It has a long history dating back to the work of Gauss and Riemann, and has become one of the most active areas of research in mathematics in recent decades.This is partly due to its intersection with many other mathematical fields, including partial differential equations, metric and discrete geometry, topology, geometric and Lie group theory, and stochastics on manifolds.Furthermore, DG has many applications in fields such as theoretical physics, robotics, machine learning, computer vision, and engineering, and is used in cutting-edge research in areas such as robotically assisted nano-precision surgery, protein design, and manifold learning.It is also the mathematical foundation of Einstein's theory of general relativity, and forms the basis of all modern positioning technologies, including the Global positioning system (GPS).The study of curves and surfaces in space can be traced back to the development of calculus in the 17th century, which made it possible to examine more complicated plane curves.The study of integral calculus in particular produced general solutions to ancient problems of arc length and area of plane figures.These solutions paved the way for the study of curves and surfaces in space, which marked the beginning of the field of differential geometry.Differential geometry provides a precise method for measuring the curvature of a curve or surface.The study of surface curvature at a particular point was first examined by Euler in 1760, who looked at cross sections of a surface created by planes that contain the normal line to the surface at that point.DG is the fundamental tool for understanding the properties and characteristics of shifted-knots Be ´zier surfaces in Minkowski space-E 3  1 , a non-Euclidean three-dimensional space.By utilizing these concepts and techniques, one can compute key characteristics of these surfaces such as Gaussian curvature, mean curvature, and the shape operator.The shape operator of a Be ´zier surface is a linear operator that describes the local behavior of the surface in a given direction.It can be used to calculate the principal curvatures, normal vectors, and other geometric properties of the surface.In the case of a Be ´zier surface that has been shifted along a knot, the shape operator depends on the specific shift and the properties of the underlying Be ´zier surface and in Minkowski space-E 3  1 , it also depends on the properties of the underlying space, its dimension and the presence of any curvature.The shape operator, also known as the Weingarten map, describes the local behavior of the surface at a specific point and can be used to calculate the principal curvatures and normal vectors of the surface.These characteristics provide valuable insights into the local behavior of the surface at a specific point, which have a wide range of applications including computer graphics, geometric modeling, and computer-aided design (CAD) systems.
In the 1960s, two French automobile engineers, Be ´zier and Casteljau, who worked for Renault and Citroen respectively, independently developed a method for effectively designing and manipulating smooth curves.These solutions were initially considered industrial secrets, but Be ´zier's work was eventually published first.The curves that result from this method are now known as Be ´zier curves.Be ´zier curves are widely used in computer graphics and other computer drawing systems due to their ability to enable quick manipulation of shapes, including rotation, distortion, and stretching, while efficiently storing their information.They are also used to define the shapes of letters in various fonts, allowing for the creation of numerous typefaces in different sizes with minimal memory usage.Be ´zier tensorproduct surfaces are the extension of Be ´zier curves to higher dimensions, which are widely used in engineering and computer graphics.In recent years, there has been an increasing focus on parallelization approaches to speed up the computation of Be ´zier surfaces, particularly in the field of graphics applications.Despite decades of research on Be ´zier curves and surfaces, there is still much to learn about them, and their use continues to be essential in the representation and communication of geometric data.In recent years, Be ´zier curves and surfaces in the Euclidean space-E 3 have been extensively studied, as demonstrated by various publications such as [1][2][3][4][5][6][7][8][9][10][11][12].These studies have focused on different aspects of Be ´zier curves and surfaces, including their properties, applications, and computational methods.This includes the investigation of variational improvement in Be ´zier surfaces using quasi-minimal functions [13,14], the applications of Be ´zier curves and surfaces in computer-aided geometric design and modeling [15][16][17].Furthermore, Be ´zier surfaces have been employed to solve the Plateau-Be ´zier problem, which involves finding a Be ´zier surface of minimal area among all possible surfaces spanned by the same boundary [2,18,19].The utilization of variational techniques, including the extremization of Dirichlet and energy functionals, to tackle the Plateau-Be ´zier problem has been significant [7,[20][21][22][23].Additionally, numerical methods and energy functionals have been applied to obtain quasi-minimal surfaces [3, 5-7, 9, 24-27].Recent studies on the Serret-Frenet frame, such as the work by Samanci et al. [28], have provided further insights into this topic.In the field of free field measurements under aided conditions, Razzaq et al. [29] introduced a new loudness function that incorporates Be ´zier interpolation to improve accuracy.Pradhan and Mohan [30] presented a novel method for maintaining the continuity of contour lines on topographic sheets, integrating the principles of Sign of Gradient (SG), Euclidean Distance (ED), and a customized Be ´zier Curve (BC) drawing method.Cao et al. [31] proposed an efficient multi-degree reduction method for Ball Be ´zier surfaces under varying interpolation constraints, employing metaheuristic methods.
The study of geometric objects from mathematical and computational perspectives is the main concern of computational geometry.In this field, the construction of curves and surfaces often involves the use of Bernstein operators and their generalizations.Be ´zier curves are a well-known example in computational geometry that are constructed using Bernstein bases.Recently, Khalid et.al.[32] demonstrated the use of shifted-knot Bernstein operators on the modified Bernstein bases to create Be ´zier curves and surfaces.Bernstein polynomials are also widely used in well-known software such as Adobe Illustrator and Flash [33], as well as font imaging systems like PostScript [34].The Stancu-type generalization [35] of the family of Bernstein-Kantorovich operators [36], which involves the parameter β 2 [0, 1] with shiftedknots, has also been introduced by Pratap and Deo [37].Mursaleen and Qasim [38] proposed this type of generalization for the Stancu-type polynomials for the q-analog of Lupas-Bernstein-operators with shifted-knots.For the purpose of constructing q-Be ´zier curves and surfaces, Kottakkaran, Vinita and Asif [39] developed blending functions of Lupas q-Bernstein operators with shifted-knots.Gadjiev and Gorhanalizadeh [40] introduced the construction of Bernstein Stancu-type polynomials with shifted-knots.Mursaleen, Kilicman and Nasiruzzaman [41] designed the shifted-knots of Bernstein-Kantorovich operators generated by the basic q-calculus.Shagufta, Mursaleen and Maria [42] introduced Kantorovich variant of λ-Bernstein operators with shifted-knots.
Minkowski addressed the problems in relativity theory by the use of the geometry, now known as Minkowski geometry.He generalized Riemannian-metric problems into Lorentz-Minkowski spaces using a pseudo-Riemannian metric.In Minkowski space-E 3  1 , vectors are divided into timelike, lightlike, and spacelike by the Lorentz-Minkowski metric.These vectors have a causal nature, which can make seemingly straightforward problems complicated, particularly those involving null-vectors, such as pseudo-null-curves, null-curves, marginally trapped surfaces, and B-scrolls.One issue is the inability to accurately measure angles related to lightlike-vectors, which limits some studies.On the non-degenerate surfaces, timelike surfaces, and spacelike surfaces in Minkowski space-E 3  1 , numerous investigations have been done.For example, Treibergs [43] has investigated spacelike hypersurfaces of constant mean-curvature in the Minkowski space-E 3  1 .For timelike-surfaces with a defined Gauss-map, Aledo et al. [44] get a Lelievvre-type representation.In the Minkowski space-E 3  1 , Abdel-Baky and Abd-Ellah [45] investigate both (spacelike and timelike) governed W-surfaces.Brander et al. [46] used the non-compact real form SU to construct spacelike constant mean-curvature surfaces in the Minkowski space-E 3 1 .Lin [47] studied the impacts of curvature restrictions on timelikesurfaces in the Minkowski space-E 3  1 that are convex in the same way as are the surfaces in the Euclidean space-E 3 1 .Kossowski [48] explored zero mean-curvature surface constraints in the Euclidean space-E 3  1 .In his work, Georgiev [49] found sufficient conditions for Be ´zier surfaces to be spacelike.Ugail et al. [50] analyzed Be ´zier surfaces in the three-dimensional Minkowski space-E 3  1 , considering both timelike and spacelike cases, and sought to determine the surfaces that are extremals of the Dirichlet functional.Kuşak Samancı and Celik [51] presented a geometric viewpoint of Be ´zier surfaces in Minkowski space and determined the shape operator of both timelike and spacelike Be ´zier surfaces in E 3  1 .In this work, we find the fundamental coefficients, Gauss-curvature, mean-curvature, and shape-operator of the timelike and spacelike shifted-knots Be ´zier surface.The results are then used to illustrate the scheme for the associated shape-operator of the timelike and spacelike bi-quadratic and bi-cubic SKBS in the Minkowski space-E 3  1 .The paper is organized as follows: Section (2) covers the fundamental notation and definitions, as well as the conditions of timelike and spacelike shifted-knots Be ´zier surface in the Minkowski space-E 3  1 .Section (3) is devoted to the related discussion and the results for the shape operator investigation of the timelike and spacelike SKBS, the Gauss-curvature and the mean-curvature.We include explanatory numeric examples in the section (4), for timelike and spacelike, bi-quadratic (m = n = 2) and bi-cubic (m = n = 3) SKBS in the Minkowski space-E 3 1 as an application of the technique developed in the section (3).Finally, section (5) contains the final remarks and the future prospects of the work.

Preliminaries
In this section, we provide an overview of the key concepts that will be used in the subsequent sections of our work.The three dimensional Euclidean and Minkowski spaces are denoted by E 3 and E 3 1 , respectively.This includes the classical form of Bernstein polynomials, Be ´zier surfaces in classical Bernstein polynomials [52,53], and shifted-knots Bernstein polynomials with the corresponding Be ´zier surface in Euclidean space-E 3 [39,54], the inner-product and the cross-product of two vectors in Minkowski space-E 3  1 for the fundamental coefficients, shape operator, mean curvature, Gaussian curvature [55], and the derivatives of the respective shifted-knots Be ´zier surfaces.A Be ´zier curve in Euclidean space-E 3 , denoted by LðuÞ, is defined by a set of (n + 1) control points, P 0 , P 1 , . .., P n , and a set of basis functions, B n ' ðuÞ, which are the n th degree Bernstein polynomials, as given by the following equation, B n ' ðuÞP ' : ð2:1Þ The n th -degree shifted-knots Bernstein polynomials S l;n [;B ðvÞ, given by the equations in (2.5), represent a family of polynomials used for polynomial approximation and interpolation.Each polynomial is characterized by its degree (n) and the parameters ([ and B), which control the shape and position of the polynomial curve.The expressions for the shifted-knots Bernstein polynomials S l;n [;B ðvÞ given by above Eq (2.5) for n = 1, 2, 3 are as follows: and they are shown in Fig The shifted-knots Be ´zier curves on shifted-knots Be ´zier surfaces can be determined by keeping one of the parameters constant.These coordinate curves are known as u-parameter or the v-parameter curves and are expressed as ω(u, v 0 ) or ω(u 0 , v).The coordinate curves ω(u, 0), ω(u, 1), ω(0, v) and ω(1, v) are the SKBS (compare it with Eq (2.4)).The coordinate curves ω(u, 0), ω(u, 1), ω(0, v) and ω(1, v) comprise the four edges of SKBS along with the endpoint interpolation at the corner-points ωð0; 0Þ ¼ P 00 ; ωð1; 0Þ ¼ P m0 ; ωð0; 1Þ ¼ P 0m and ωð1; 1Þ ¼ P mn ; ð2:7Þ The parametric curves of the SKBS are shifted-knots Be ´zier curves (SKBCs) specifically, ω (u, 0), ω(u, 1), ω(0, v) and ω(1, v) are SKBCs that form the edges of the SKBS.The shifted knot Be ´zier surface (SKBS) remains unchanged under three-dimensional affine transformations, which preserve lines and parallelism.This is evident from the equation that for an affine transformation, T , This means that when an affine transformation T is applied to the SKBS, the resulting surface is the surface with the transformed control points.On the other hand, the Lorentz-Minkowski metric is defined by where (s 1 , s 2 , s 3 ) are the canonical coordinates in the Euclidean space-E 3 .For the two vectors μ = (μ 1 , μ 2 , μ 3 ) and ν = (ν 1 , ν 2 , ν 3 ), following are the definitions of the Lorentzian inner product and Lorentzian cross product, and When the vector μ is obtained in the Minkowski space-E 3 1 , it is referred to as a spacelike-vector if ξ L (μ, μ)>0 or μ = 0, it is lightllike-vector if ξ L (μ, μ) = 0 or μ 6 ¼ 0, and it is timelike-vector if ξ L (μ, μ) < 0. The timelike and spacelike are the non-degenerate vectors.Assuming that M is a surface in the Minkowski space-E 3  1 with the parametrization ω = ω(u, v) defined by ω : U � E 2 !E 3 1 .A tangent-plane T P M is said to pass through a point P of a regular plane M of the classes C k , where k � 1, when it is spanned by the vectors ω u ðPÞ and ω v ðPÞ.A unit-normal N of a surface ω is defined by The first-fundamental form on the plane T P M at the point P is represented by matrix, The coefficients E, F and G of the tangent plane T P M of the surface ω(u, v) are defined by The sign of the normal vector of a surface in Minkowski space-E 3 1 is determined by whether the surface is spacelike or timelike.For non-degenerate surfaces, the value ξ L (N, N) = � serves as the determining factor to decide that if the surface is timelike or spacelike.If the surface is spacelike, the normal N is a time like vector, resulting in ξ L (N, N) = � = −1, for the spacelike tangent plane.If the surface is timelike-surface, the normal N is a spacelike-vector since the tangent-plane is timelike, resulting in ξ L (N, N) = � = 1.The norm of ω u ^L ω v is defined by ð2:15Þ The coefficients of second-fundamental form e, f and g of the surface ω by using the Lorentzian-inner product (Eq (2.10)) are Furthermore, using the first fundamental coefficients E, F, G (defined by Eq (2.14)) and the second fundamental coefficients e, f, g (defined by Eq (2.16)), the shape-operator of the surface ω(u, v) is defined by the matrix The mean-curvature H and the Gauss-curvature K for the non-degenerate surfaces (spacelike-surface or timelike-surface) can be obtained by corresponding shape-operator matrix l ¼ of the surface,where, The first and second order partial derivatives of the shifted-knots Bernstein polynomials (2.5) are given by � leading to the following outcomes.These partial derivatives contribute to a reduction in the degree of the shifted-knot Bernstein polynomials (2.5).This reduction leads to a decrease in the degree of the Bernstein polynomials used in the corresponding shifted-knot Be ´zier curves (2.4) and (2.6).These results are presented for the sake of completeness and self-containment.For additional details, readers may refer to Ahmad et al.'s work [9].Theorem 2.1.The first order derivative ω v (v) of SKBC, given in (2.4), in Euclidean space-E 3 defined for the control points P l is given by dω dv ðvÞ ¼ l ; ð2:20Þ where The first order partial derivative ω u (u, v) of SKBS, given in (2.6), with respect to the surface parameter u is The second-order-partial derivative of the SKBS w.r.t. the surface parameter v is defined by using the Eq (2.22) In a similar fashion, the second-order partial derivative of shifted-knots Bézier surface with respect to the surface parameter v can be defined using Eq (2.24), given by, The value of ω uu (0, 0) of the second order partial derivatives of SKBS w.r.t the surface parameter u at the minimum point (u, v) = (0, 0) is determined by using the Eqs (2.28) and (2.29), The value of ω uv (0, 0), the second order partial derivatives of SKBS with respect to the surface parameters (u and v) at the minimum point (u, v) = (0, 0) is obtained by using the Eqs (2.30) and (2.31), The value of ω vv (0, 0), the second-order-partial derivative of SKBS with respect to the surface parameter v at the minimum point (u, v) = (0, 0) is determined by using the Eqs (2.32) and (2.33), The shifted-knots Be ´zier surface in Minkowski space-E

Geometric characteristics of shifted-knots Be ´zier Surfaces
The following section presents an in-depth analysis of the fundamental coefficients, Gausscurvature, and mean-curvature for timelike and spacelike shifted-knots Be ´zier surface in the Minkowski space-E 3  1 .The geometric quantities found are used to derive the matrix-form of the shape operator of timelike and spacelike surfaces.The analysis concludes with the presentation of specific, quantitative examples in the next section to demonstrate the effectiveness and applicability of the method.It will provide a clear view of how the method is used in practice and what can be achieved by applying the method.
Theorem 3.1.The first fundamental coefficients E, F and G of the timelike or spacelike shifted-knots Bézier surface in the Minkowski space-E 3  1 are In a similar manner, the remaining coefficients F and G of shifted-knots Be ´zier surface in Minkowski space-E 3 1 are obtained by utilizing the appropriate partial derivatives of SKBS and the defined Lorentzian-inner product metric.These calculations are useful for the subsequent computation of the shape operator of the SKBS in Minkowski space-E 3  1 .Corollary 3.1.1.At the minimum point (u, v) = (0, 0), the coefficients E, F and G of the firstfundamental form of the timelike or spacelike SKBS in the Minkowski space-E 3  1 are obtained from the Eqs (3.1)-(3.3)Theorem 3.3 In the Minkowski space, for the non-degenerate SKBS, we can compute the components of the vector δ = ω u ^L ω v using Eq (2.11).The vector δ is in the direction of normal N to shifted-knots Bézier surface for its non-degenerate (timelike and spacelike) cases.For the sake of convenience, the components of the vector δ are denoted by (δ1, δ 2 , δ 3 ) and they are given by,  Proof.The normal vector N of the timelike or spacelike SKBS in Minkowski space-E 3 1 is calculated by utilizing the Lorentzian-cross product (given in the Eq (2.11)), and the Eqs (2.22) and (2.24), and it is given by SKBS can be represented as either a timelike-surface or a spacelike-surface.The value of ξ L (N, N) = � is used to determine the surface type, where if SKBS is a timelike-surface then ξ L (N, N) , while taking the norm of kω u ^Lω v k in the Eq (3.13).We can compute now the surface-normal by virtue of the equations, (2.10), (3.8)-(3.10)and the Eq (3.13), as follows and after a little simplification, the Eq (3.18) can be written as, Proof.The second fundamental coefficients of the timelike or spacelike shifted-knots Be ´zier surface can be calculated using ω(u, v), e ¼ x L ðω uu ; NÞ, f ¼ x L ðω uv ; NÞ and g ¼ x L ðω vv ; NÞ.In particular, the coefficient e of the second fundamental-form, for the second-order partial derivative given by the Eq (2.28) and the normal-vector field N given by the Eq (3.13)) is as follows, and for the Lorentzian cross product of vectors given by the Eq (2.11), it follows that e ¼ 1 ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi which can be simplified as follows, e ¼ 1 ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi Similarly, the coefficient f and g of the second-fundamental form can be obtained by using the Theorem (2.3).Corollary 3.6.1.The second-fundamental coefficients e, f, g of the timelike or spacelike shifted-knots Bézier surface in the Minkowski space-E 3  1 , at the min point (u, v) = (0, 0) can be obtained from the Eqs (3.20)- (3.22),where δ = (δ 1 , δ 2 , δ 3 ) e ¼ x L ðP ð2;0Þ kl ; δÞ ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi À � x L ðδ; δÞ p ; f ¼ x L ðP ð1;1Þ kl ; δÞ ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi À � x L ðδ; δÞ p ; g ¼ x L ðP ð0;2Þ kl ; δÞ ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi À � x L ðδ; δÞ p ; ð3:26Þ and δ 1 , δ 2 and δ 3 are given in the Eq (3.11).Theorem 3.7.The Gauss-curvature and the mean curvature of the timelike or spacelike SKBS in the Minkowski space-E 3  1 are Proof.The Gauss-curvature and the mean-curvature of the timelike or spacelike SKBS in the Minkowski space-E 3 1 can be obtained by utilizing the Theorem (3.1) and the Theorem (3.6).

Shape operator of shifted-knots Be ´zier surfaces
In this section, we illustrate the scheme outlined in the previous section (3) for finding the geometric quantities of timelike and spacelike bi-quadratic and bi-cubic shifted-knots Be ´zier surfaces.This is achieved by presenting detailed discussions of four special cases for m = n = 2 and m = n = 3 for biquadratic and bicubic shifted-knots Be ´zier surfaces, respectively.Numeric examples are provided to show the computation of mean curvature, Gaussian curvature and the shape-operator of the non-degenerate cases of these surfaces for various values of the shape parameters, [ and B. The aim is to demonstrate the applicability of the method outlined in section (3) to finding the shape-operator of timelike and spacelike SKBS (Eq (2.6)) in the Minkowski space-E 3 1 .

Case-1: Timelike bi-quadratic shifted-knots Be ´zier surface
The timelike bi-quadratic SKBS in Minkowski space-E 3  1 can be obtained from the timelike SKBS Eq (2.6), ω(u, v), (for m = 2 and n = 2), ωðu; vÞ ¼ X The fundamental coefficients E, F and G defined in Eq (3.5) can be determined for the control points specified in above Eq (4.2).The result shows that E, F and G are By utilizing the values of E, F and G found in the above Eq (4. 3), the Lorentzian-metric of the surface ω(u, v) given in Eq (3.7) can be expressed in the form, ds 2 ¼ À 151du 2 À 64dudv: ð4:4Þ The second-order derivatives ω uu (0, 0), ω uv (0, 0) and ω vv (0, 0) of the SKBS can be calculated by using the control points determined in Eq (4.The weighted forward differences of control points, P ð1;0Þ kl and P ð0;1Þ kl can be determined from the Eqs (2.23) and (2.25) for k, l = 0, 1 at the minimum point (u, v) = (0, 0), which are This leads to the corresponding Lorentzian-metric (3.7) of the timelike bi-cubic SKBS, which is given by The second-order derivatives of the timelike bi-cubic SKBS in Minkowski space-E    The fundamental coefficients E, F and G of the spacelike bi-quadratic SKBS in the Minkowski space-E 3 1 can be obtained from the Eq (4.23), resulting in, The Lorentzian-metric (3.7) of the spacelike bi-quadratic SKBS in this case is given by, The second-order derivatives ω uu (0, 0), ω uv (0, 0) and ω vv (0, 0) of the spacelike bi-quadratic SKBS in Minkowski space-E By inserting the values of the weighted forward differences of control points P ð1;0Þ kl and P ð0;1Þ kl , obtained from Eq (4.23) for k, l = 0, 1 into the Eq (3.15), we can find the unit normal N to spacelike bi-quadratic SKBS in Minkowski space-E 3  1 , yielding, Nð0; 0Þ ¼ ð0; 0; 1Þ: ð4:27Þ  The spacelike bi-cubic SKBS in Minkowski space-E 3 1 is given in Eq (4.12).The Lorentzian metric (3.7) of the surface ω(u, v) at the point (0, 0) can be determined by using Eq (2.23) and the Eq (2.25) for the weighted forward differences and they turn out to be The coefficients E, F and G of the first-fundamental form of the spacelike bi-cubic SKBS in the Minkowski space-E 3 1 can be calculated from the Eq (4.33) and they are E ¼ 61; F ¼ 60; G ¼ 61: ð4:34Þ Utilizing the fundamental coefficients (4.34), the corresponding Lorentzian-metric (3.7) for spacelike bicubic surface in this case is given by For the spacelike bi-cubic SKBS, ω(u, v) in Minkowski space-E 3 1 , the second order derivatives, ω uu (0, 0), ω uv (0, 0) and ω vv (0, 0) can be obtained from the Eqs (2.34) to (2.36)By using the weighted forward differences of control points P ð1;0Þ kl and P ð0;1Þ kl from Eq (4.33) for k, l = 0, 1 and inserting these values into Eq (3.15), the unit normal N to the spacelike bi-cubic SKBS in Minkowski space-E 3  1 can be found and it is given by, Nð0; 0Þ ¼ ð0; 0; 1Þ: ð4:37Þ The norm of the unit normal (4.37) turns out to be φðNð0; 0Þ; Nð0; 0ÞÞ ¼ À 1 < 0; ð4:38Þ and hence in this case, the unit normal Nðu; vÞ is a timelike-vector.

Conclusion
This study explores the properties of timelike and spacelike shifted-knots Be ´zier surface in Minkowski space-E 3 1 .By computing the fundamental coefficients of these surfaces, including the Gauss curvature, mean curvature, and shape operator, this study provides a deeper understanding of these surfaces from a geometric perspective and their potential applications in the fields of CAGD and CG.The numerical examples presented in this study demonstrate the feasibility of the methodology and offer further insight into the characteristics of timelike and spacelike shifted-knots Be ´zier surface in Minkowski space.The results of this study open avenues for future research, including the investigation of other surfaces such as q-Bernstein Be ´zier surfaces, (p, q) Bernstein Be ´zier surfaces, quasi-cubic Be ´zier surfaces, and quasi-quintic Be ´zier surfaces.These surfaces can be utilized in the optimization of energy functionals to obtain minimal, quasi-harmonic, and bi-harmonic surfaces as their extremals.The results of this study suggest avenues for further research, such as exploring other surfaces and optimizing energy functionals.These findings have the potential to advance geometric modeling and visualization techniques.

Fig 3 4 :
Fig 3 presents the shape-operator quantities, such as the boundary control points, the bi-quadratic surface itself, and the mean and Gaussian curvature function of the spacelike bi-quadratic SKBS.Case-4: Spacelike bi-cubic shifted-knots Be ´zier surfaceThe spacelike bi-cubic SKBS in Minkowski space-E 3 1 is given in Eq (4.12).The Lorentzian metric (3.7) of the surface ω(u, v) at the point (0, 0) can be determined by using Eq (2.23) and the Eq (2.25) for the weighted forward differences and they turn out to be

Fig 3
Fig 3 shows a network of given control points for the spacelike bi-cubic shifted-knots Be ´zier surface, the SKBS itself, its mean and Gaussian curvature for [ ¼ 0:2 and B ¼ 0:8.

Fig 3 .
Fig 3. Spacelike shifted-knots Be ´zier surfaces.The spacelike bi-quadratic and bi-cubic shifted-knots Be ´zier surface [ ¼ 0:2 and B ¼ 0:8.https://doi.org/10.1371/journal.pone.0296365.g003 1The second-order partial derivatives of SKBS with respect to the surface parameter u can be defined by using Eq (2.22).It is given by, product, is referred to as the non-degenerate SKBS in Minkowski space-E 3 1 .If the normal of the surface has a Minkowski inner product of x L ðN; NÞ ¼ 1, it is known as a timelike SKBS, and if x L ðN; NÞ ¼ À 1, it is referred to as a spacelike SKBS.
which reduces to the Eq (3.32) after a little simplification.Similarly, other matrix-components λ 12 , λ 21 and λ 22 of the timelike or spacelike SKBS in the Minkowski space-E31 can be determined as given in the Eqs (3.33)-(3.35).