Generalized Helical Hypersurfaces Having Time-like Axis in Minkowski Spacetime

Abstract

In this paper, the generalized helical hypersurfaces $\mathbf{x}=\mathbf{x}(u,v,w)$ with a time-like axis in Minkowski spacetime ${\mathbb{E}}_1^4$ are considered. The first and the second fundamental form matrices, the Gauss map, and the shape operator matrix of $\mathbf{x}$ are calculated. Moreover, the curvatures of the generalized helical hypersurface $\mathbf{x}$ are obtained by using the Cayley–Hamilton theorem. The umbilical conditions for the curvatures of $\mathbf{x}$ are given. Finally, the Laplace–Beltrami operator of the generalized helical hypersurface with a time-like axis is presented in ${\mathbb{E}}_1^4$.

1. Introduction

Differential geometry has a very important place in mathematics, engineering, physics, and astrophysics. In differential geometry, the theory of hyper-surfaces has been worked on by many mathematicians (especially geometers), engineers, physicists, astrophysicists, etc., for hundreds of years.

For instance, Obata [1] revealed certain conditions for a Riemannian manifold to be isometric with a sphere; Takahashi [2] proved that a connected Euclidean submanifold is of the one-type, iff it is either minimal in ${\mathbb{E}}^m$ or minimal in some hypersphere of ${\mathbb{E}}^m$; Chern, do Carmo, and Kobayashi [3] gave the minimal submanifolds of a sphere with a second fundamental form of constant length; Cheng and Yau [4] considered the hypersurfaces with constant scalar curvature; Lawson [5] gave the minimal submanifolds and indicated the general definition of the Laplace–Beltrami operator.

Chen [6,7,8,9] studied the submanifolds of the finite-type whose immersion is into ${\mathbb{E}}^m$ (or ${\mathbb{E}}_{\nu }^m$) by using a finite number of eigenfunctions of their Laplacian. Some results of the two-type spherical closed submanifolds were given by [7,10,11]; Garay [12] researched the extension of Takahashi’s theorem in ${\mathbb{E}}^m$. Chen and Piccinni [13] focused on the submanifolds with the finite-type Gauss map in ${\mathbb{E}}^m$.

In Euclidean three-space ${\mathbb{E}}^3$, when looking at ruled (helicoidal or helical) and rotational characters, it is seen that those are related by Bour’s theorem [14]. Regarding helical surfaces in Euclidean three-space, do Carmo and Dajczer [15] proved that, by using a result of Bour [14], there exists a two-parameter family of helical surfaces isometric to a given helical surface. Takahashi [2] proved the minimal surfaces and spheres are the only surfaces satisfying the condition $\Delta r=\lambda r,$$\lambda \in \mathbb{R}$; Ferrandez, Garay, and Lucas [16] gave that the surfaces satisfying $\Delta H=AH$, $A\in Mat(3,3)$ are either minimal or an open piece of a sphere or of a right circular cylinder; Choi and Kim [17] studied the minimal helicoid in terms of the pointwise one-type Gauss map of the first kind; Garay [18] classified a certain class of finite-type surfaces of revolution; Dillen, Pas, and Verstraelen [19] focused on the only surfaces satisfying $\Delta r=Ar+B,$$A\in Mat(3,3),$ and $B\in Mat(3,1)$ being the minimal surfaces, the spheres, and the circular cylinders; Stamatakis and Zoubi [20] obtained the surfaces of revolution satisfying ${\Delta }^{III}x=Ax$; Senoussi and Bekkar [21] introduced helical surfaces $M^2$, which are of the finite-type with respect to the fundamental forms $I,II$, and $III,$ i.e., their position vector field $r(u,v)$ satisfies the condition ${\Delta }^{J}r=Ar,$$J=I,II,III,$ where $A\in Mat(3,3)$; Kim, Kim, and Kim [22] gave the Cheng–Yau operator and the Gauss map of the surfaces of revolution.

In Minkowski three-space ${\mathbb{E}}_1^3$, Beneki, Kaimakamis, and Papantoniou [23] studied helical surfaces with a space-like, time-like, and light-like axis in three-dimensional Minkowski space. Güler and Turgut Vanlı [24] worked the Bour’s theorem; Güler [25] studied helical surfaces with a light-like profile curve using Bour’s theorem in Minkowski geometry. Mira and Pastor [26] investigated helical maximal surfaces in Lorentz–Minkowski three-space. Kim and Yoon [27,28,29] worked with ruled and rotation surfaces in pseudo-Euclidean space. See also [2,24,30,31].

In Euclidean four-space ${\mathbb{E}}^4$, Moore [32,33] worked on general rotational surfaces; Hasanis and Vlachos [34] considered hypersurfaces with a harmonic mean curvature vector field; Cheng and Wan [35] gave the complete hypersurfaces with CMC; Arslan et al. [36] worked with the Vranceanu surface with the pointwise one-type Gauss map; Arslan et al. [37] studied generalized rotational surfaces; Magid, Scharlach, and Vrancken [38] introduced the affine umbilical surfaces in four-space. Scharlach [39] studied the affine geometry of surfaces and hypersurfaces in four-space. Arslan, Deszcz, and Yaprak [40] considered the Weyl pseudosymmetric hypersurfaces. Arslan, Bulca, and Milousheva [41] worked on meridian surfaces in four-space with the pointwise one-type Gauss map. Yoon [42] studied rotation surfaces with the finite-type Gauss map in four-space. Güler, Magid, and Yaylı [43] introduced helical hypersurfaces; Güler, Hacısalihoğlu, and Kim [44] studied the Gauss map and the third Laplace–Beltrami operator of rotational hypersurface; Güler [45] found the rotational hypersurfaces satisfying ${\Delta }^{I}R=AR$, where $A\in Mat(4,4).$ He [46] also introduced the fundamental form $IV$ and the curvature formulas of the hypersphere.

In Minkowski four-space ${\mathbb{E}}_1^4$, Ganchev and Milousheva [47] indicated the analogue of the surfaces of [32,33]; Arvanitoyeorgos, Kaimakamais, and Magid [48] studied when the mean curvature vector field of $M_1^3$ satisfies the equation $\Delta H=\alpha H$ ($\alpha$ being a constant); then, $M_1^3$ has CMC; Arslan and Milousheva [49] considered meridian surfaces of the elliptic- or hyperbolic-type with the pointwise one-type Gauss map; Güler [50] gave helical hypersurfaces; recently, Iliadis [51] considered the fuzzy algebraic modelling of spatiotemporal time series paradoxes in cosmic-scale kinematics; Leuenberger [52] introduced the emergence of Minkowski spacetime by simple deterministic graph rewriting.

In this paper, the generalized helical hypersurfaces with a time-like axis in Minkowski four-space ${\mathbb{E}}_1^4$ are introduced. Some basic concepts of four-dimensional Minkowski geometry are given in Section 2. The i-th curvature formulas depend on the coefficients of the fundamental forms $\left({\mathfrak{g}}_{ij}\right)$ and $\left({\mathfrak{h}}_{ij}\right)$ in Minkowski four-space, which are obtained in Section 3. In Section 4, the definition of the generalized helical hypersurface having a time-like axis in ${\mathbb{E}}_1^4$ is indicated. The umbilic points of these kinds of hypersurfaces are described in Section 5. The generalized helical hypersurfaces with a time-like axis satisfying $\Delta \mathbf{x}=\mathcal{A}\mathbf{x}$ in ${\mathbb{E}}_1^4$ are given in Section 6. Finally, a summary of the paper is presented in the last section.

2. Preliminaries

In this section, some of the basic facts and definitions are given, then the notations used in this paper are described.

Let ${\mathbb{E}}_1^m$ denote the semi-Euclidean m-space with the semi-Euclidean metric tensor given by $\tilde{g}=\langle ,\rangle ={\displaystyle \sum _{i=1}^{m-1}}d{x}_i^2-d{x}_m^2,$ where $(x_1,x_2,\cdots ,x_m)$ is an element of constantlength (or Lorentz metric) and $x_i$ are the pseudo-Euclidean coordinates of type $(m-1,1)$. Consider an m-dimensional semi-Riemannian submanifold M of the space ${\mathbb{E}}_1^m$. The Levi-Civita connections [53] of the manifold $\tilde{M}$ and its submanifold M of ${\mathbb{E}}_1^m$ are denoted by $\tilde{\nabla },$$\nabla ,$ respectively. Denoting the vector field tangent (respectively, normal) to M, the letters $X,Y,Z,W$ (respectively, $\xi ,\eta$) are used.

The Gauss and Weingarten formulas are given, respectively, by

$$\begin{array}{ccc}\hfill {\tilde{\nabla }}_{X}Y& =& {\nabla }_{X}Y+h(X,Y),\hfill \end{array}$$

(1)

$$\begin{array}{ccc}\hfill {\tilde{\nabla }}_X\xi & =& -A_{\xi }\left(X\right)+D_X\xi ,\hfill \end{array}$$

(2)

where h, D, and A are the second fundamental form, the normal connection, and the shape operator of M, respectively.

For each $\xi \in T_p^{\perp }M$, the shape operator $A_{\xi }$ is a symmetric endomorphism of the tangent space $T_{p}M$ at $p\in M$. The shape operator and the second fundamental form are related by

$$〈h(X,Y),\xi 〉=〈A_{\xi }X,Y〉.$$

The Gauss and Codazzi equations are given, respectively, by

$$\begin{array}{ccc}\hfill \langle R(X,Y,)Z,W\rangle & =& \langle h(Y,Z),h(X,W)\rangle -\langle h(X,Z),h(Y,W)\rangle ,\hfill \end{array}$$

(3)

$$\begin{array}{ccc}\hfill \left({\overline{\nabla }}_{X}h\right)(Y,Z)& =& \left({\overline{\nabla }}_{Y}h\right)(X,Z),\hfill \end{array}$$

(4)

where $R,R^D$ are the curvature tensors associated with connections ∇ and D, respectively, and $\overline{\nabla }h$ is defined by

$$\left({\overline{\nabla }}_{X}h\right)(Y,Z)=D_{X}h(Y,Z)-h({\nabla }_{X}Y,Z)-h(Y,{\nabla }_{X}Z).$$

2.1. Hypersurfaces of Minkowski Space

Now, let M be an oriented hypersurface in Minkowski space ${\mathbb{E}}_1^{n+1}$, $\mathbf{S}$ its shape operator (i.e., the Weingarten map), and x its position vector. Consider a local orthonormal frame field $\{e_1,e_2,\cdots ,e_n\}$ consisting of the principal directions of M corresponding to the principal curvature $k_i$ for $i=1,2,\cdots n$. Let the dual basis of this frame field be $\{{\theta }_1,{\theta }_2,\cdots ,{\theta }_n\}$. Then, the first Cartan structural equation is

$$d{\theta }_i=\sum _{i=1}^n{\theta }_j\wedge {\omega }_{ij},i,j=1,2,\cdots ,n,$$

(5)

where ${\omega }_{ij}$ denotes the connection forms corresponding to the chosen frame field. Denote the Levi-Civita connection of M of ${\mathbb{E}}_1^{n+1}$ by ∇. Then, from the Codazzi equation, the following holds:

$$\begin{array}{ccc}\hfill e_i\left(k_j\right)& =& {\omega }_{ij}\left(e_j\right)(k_i-k_j),\hfill \\ \hfill {\omega }_{ij}\left(e_l\right)(k_i-k_j)& =& {\omega }_{il}\left(e_j\right)(k_i-k_l)\hfill \end{array}$$

for distinct $i,j,l=1,2,\cdots ,n$.

Put $s_j={\sigma }_j(k_1,k_2,\cdots ,k_n)$, where ${\sigma }_j$ is the j-th elementary symmetric function given by

$${\sigma }_j(a_1,a_2,\cdots ,a_n)=\sum _{1\le i_1<i_2<\cdots <i_j\le n}{a}_{i_1}{a}_{i_2}\cdots a_{i_j}.$$

The following notation is used

$$r_i^j={\sigma }_j(k_1,k_2,\cdots ,k_{i-1},k_{i+1},k_{i+2},\cdots ,k_n).$$

By the definition, $r_i^0=1$ and $s_{n+1}=s_{n+2}=\cdots =0$. The function $s_k$ is called the k-th mean curvature of M. Note that functions $H=\frac{1}{n}{s}_1$ and $K=s_n$ are called the mean curvature and Gauss–Kronecker curvature of M, respectively. In particular, M is said to be j-minimal if $s_j\equiv 0$ on M. See also [54,55].

In ${\mathbb{E}}_1^{n+1},$ finding the i-th curvature formulas ${\mathfrak{C}}_i$, where $i=0,\cdots ,n,$ the following characteristic polynomial eq. of $\mathbf{S}$ is used:

$$P_{\mathbf{S}}\left(\lambda \right)=0=det(\mathbf{S}-\lambda {\mathcal{I}}_n)=\sum _{k=0}^n{\left(-1\right)}^k{s}_k{\lambda }^{n-k},$$

(6)

where $i=0,\cdots ,n,$${\mathcal{I}}_n$ denotes the identity matrix of order $n.$ Then, the curvature formulas are given by $\left(\genfrac{}{}{0pt}{}{n}{i}\right){\mathfrak{C}}_i=s_i$. That is, $\left(\genfrac{}{}{0pt}{}{n}{0}\right){\mathfrak{C}}_0=s_0=1$ (by definition), $\left(\genfrac{}{}{0pt}{}{n}{1}\right){\mathfrak{C}}_1=s_1,\cdots ,\left(\genfrac{}{}{0pt}{}{n}{n}\right){\mathfrak{C}}_n=s_n.$

The k-th fundamental form of M is defined by $I\left({\mathbf{S}}^{k-1}\left(X\right),Y\right)=〈{\mathbf{S}}^{k-1}\left(X\right),Y〉.$ Therefore,

$$\sum _{i=0}^n{\left(-1\right)}^i\left(\genfrac{}{}{0pt}{}{n}{i}\right){\mathfrak{C}}_{i}I\left({\mathbf{S}}^{n-i}\left(X\right),Y\right)=0.$$

(7)

In particular, one can obtain the classical result ${\mathfrak{C}}_{0}III-2{\mathfrak{C}}_{1}II+{\mathfrak{C}}_{2}I=0$ of surface theory for $n=2.$ See [55] for the details.

For a Minkowskian submanifold x: $M⟶{\mathbb{E}}_1^m$, the immersion $\left(M,x\right)$ is said to be the finite-type, if x can be expressed as a finite sum of the eigenfunctions of the Laplacian $\Delta$ of $\left(M,x\right),$ i.e., x=$x_0+{\sum }_{i=1}^k{x}_i$, where $x_0$ is a constant map, $x_1,\cdots ,x_k$ non-constant maps, and $\Delta x_i={\lambda }_i{x}_i,$${\lambda }_i\in \mathbb{R}$, $i=1,\cdots ,k$. If ${\lambda }_i$ are different, M is called k-type. See [7] for the Euclidean details.

2.2. Rotational Hypersurfaces

The definition of the rotational hypersurfaces in Riemannian space forms can be found in [56].

A rotational hypersurface $M\subset {\mathbb{E}}_1^{n+1}$ generated by a curve $\mathcal{C}$ around an axis $\mathfrak{r}$ that does not meet $\mathcal{C}$ is obtained by taking the orbit of $\mathcal{C}$ under those semi-orthogonal transformations of ${\mathbb{E}}_1^{n+1}$ that leaves $\mathfrak{r}$ pointwise fixed.

Throughout the paper, a vector and its transpose will be considered identical. Consider the case $n=3$, and let $\mathcal{C}$ be the curve parametrized by $\gamma \left(u\right)=\left(f\left(u\right),0,0,g\left(u\right)\right),$ where $f,g$ are the differentiable functions. If $\mathfrak{r}$ is the $x_4$-axis, then a semi-orthogonal transformation of ${\mathbb{E}}_1^{n+1}$ that leaves $\mathfrak{r}$ pointwise fixed has the form

$$\mathcal{R}(v,w)=\left(\begin{array}{cccc}{\mathcal{C}}_1{\mathcal{C}}_2& -{\mathcal{S}}_1& -{\mathcal{C}}_1{\mathcal{S}}_2& 0\\ {\mathcal{S}}_1{\mathcal{C}}_2& {\mathcal{C}}_1& -{\mathcal{S}}_1{\mathcal{S}}_2& 0\\ {\mathcal{S}}_2& 0& {\mathcal{C}}_2& 0\\ 0& 0& 0& 1\end{array}\right),$$

where ${\mathcal{C}}_1=cosv,$${\mathcal{C}}_2=cosw,$${\mathcal{S}}_1=sinv,$${\mathcal{S}}_2=sinw$, and $v,w\in [0,2\pi ).$ Therefore, the parametrization of the rotational hypersurface generated by a curve $\mathcal{C}$ around an axis $\mathfrak{r}$ is given by $\mathbf{x}(u,v,w)=\mathcal{R}(v,w)\gamma \left(u\right).$

Definition 1.

Let $\mathbf{x}=\mathbf{x}(u,v,w)$ be an immersion from $M^3\subset {\mathbb{E}}^3$ to ${\mathbb{E}}_1^4=({\mathbb{R}}^4,〈.,.〉)$, where the Lorentzian inner product is given by

$$〈\overrightarrow{\mathfrak{x}},\overrightarrow{\mathfrak{y}}〉={\mathfrak{x}}_1{\mathfrak{y}}_1+{\mathfrak{x}}_2{\mathfrak{y}}_2+{\mathfrak{x}}_3{\mathfrak{y}}_3-{\mathfrak{x}}_4{\mathfrak{y}}_4,$$

and the triple Lorentzian vector product is defined by

$$\overrightarrow{\mathfrak{x}}\times \overrightarrow{\mathfrak{y}}\times \overrightarrow{\mathfrak{z}}=det\left(\begin{array}{cccc}{e}_1\hfill & e_2\hfill & e_3\hfill & -e_4\hfill \\ {\mathfrak{x}}_1\hfill & {\mathfrak{x}}_2\hfill & {\mathfrak{x}}_3\hfill & {\mathfrak{x}}_4\hfill \\ {\mathfrak{y}}_1\hfill & {\mathfrak{y}}_2\hfill & {\mathfrak{y}}_3\hfill & {\mathfrak{y}}_4\hfill \\ {\mathfrak{z}}_1\hfill & {\mathfrak{z}}_2\hfill & {\mathfrak{z}}_3\hfill & {\mathfrak{z}}_4\hfill \end{array}\right)$$

with the vectors $\overrightarrow{\mathfrak{x}}=({\mathfrak{x}}_1,{\mathfrak{x}}_2,{\mathfrak{x}}_3,{\mathfrak{x}}_4),\overrightarrow{\mathfrak{y}}=({\mathfrak{y}}_1,{\mathfrak{y}}_2,{\mathfrak{y}}_3,{\mathfrak{y}}_4),\overrightarrow{\mathfrak{z}}=({\mathfrak{z}}_1,{\mathfrak{z}}_2,{\mathfrak{z}}_3,{\mathfrak{z}}_4)$.

Definition 2.

Hypersurface$\mathbf{x}$ depends on three parameters in Minkowski four-space:

$${\left({\mathfrak{g}}_{ij}\right)}_{3\times 3},{\left({\mathfrak{h}}_{ij}\right)}_{3\times 3},$$

(8)

the first and the second fundamental form being symmetric matrices, respectively (i.e., $\mathbf{I}$ and $\mathbf{II}$, respectively): where ${\mathfrak{g}}_{11}=〈{\mathbf{x}}_u,{\mathbf{x}}_u〉,$ ${\mathfrak{g}}_{12}=〈{\mathbf{x}}_u,{\mathbf{x}}_v〉,$ ${\mathfrak{g}}_{13}=〈{\mathbf{x}}_u,{\mathbf{x}}_w〉,$ ${\mathfrak{g}}_{22}=〈{\mathbf{x}}_v,{\mathbf{x}}_v〉,$ ${\mathfrak{g}}_{23}=〈{\mathbf{x}}_v,{\mathbf{x}}_w〉,$ ${\mathfrak{g}}_{33}=〈{\mathbf{x}}_w,{\mathbf{x}}_w〉,$ ${\mathfrak{h}}_{11}=〈{\mathbf{x}}_{uu},\mathcal{G}〉,$${\mathfrak{h}}_{12}=〈{\mathbf{x}}_{uv},\mathcal{G}〉,$${\mathfrak{h}}_{13}=〈{\mathbf{x}}_{uw},\mathcal{G}〉,$${\mathfrak{h}}_{22}=〈{\mathbf{x}}_{vv},\mathcal{G}〉,$${\mathfrak{h}}_{23}=〈{\mathbf{x}}_{vw},\mathcal{G}〉,$${\mathfrak{h}}_{33}=〈{\mathbf{x}}_{ww},\mathcal{G}〉.$ Here,

$$\mathcal{G}=\frac{{\mathbf{x}}_u\times {\mathbf{x}}_v\times {\mathbf{x}}_w}{∥{\mathbf{x}}_u\times {\mathbf{x}}_v\times {\mathbf{x}}_w∥}$$

(9)

is the unit normal (i.e., the Gauss map) of $\mathbf{x}$.

3. $\mathbf{i}$-th Curvatures

Product matrices ${\left({\mathfrak{g}}_{ij}\right)}^{-1}$·$\left({\mathfrak{h}}_{ij}\right)$ give the matrix of the shape operator $\mathbf{S}$ of hypersurface $\mathbf{x}$ in Minkowski four-space. See [43,44] for the details.

Therefore, the shape operator matrix of the hypersurface $\mathbf{x}$ is given by

$$\mathbf{S}=\frac{1}{\mathfrak{g}}\left(\begin{array}{ccc}{\mathfrak{s}}_{11}& {\mathfrak{s}}_{12}& {\mathfrak{s}}_{13}\\ {\mathfrak{s}}_{21}& {\mathfrak{s}}_{22}& {\mathfrak{s}}_{23}\\ {\mathfrak{s}}_{31}& {\mathfrak{s}}_{32}& {\mathfrak{s}}_{33}\end{array}\right),$$

(10)

where

$$\begin{array}{ccc}\hfill {\mathfrak{s}}_{11}& =& \left({\mathfrak{g}}_{22}{\mathfrak{g}}_{33}-{\mathfrak{g}}_{23}^2\right){\mathfrak{h}}_{11}+\left({\mathfrak{g}}_{13}{\mathfrak{g}}_{23}-{\mathfrak{g}}_{12}{\mathfrak{g}}_{33}\right){\mathfrak{h}}_{12}+\left({\mathfrak{g}}_{12}{\mathfrak{g}}_{23}-{\mathfrak{g}}_{13}{\mathfrak{g}}_{22}\right){\mathfrak{h}}_{13},\hfill \\ \hfill {\mathfrak{s}}_{12}& =& \left({\mathfrak{g}}_{22}{\mathfrak{g}}_{33}-{\mathfrak{g}}_{23}^2\right){\mathfrak{h}}_{12}+\left({\mathfrak{g}}_{13}{\mathfrak{g}}_{23}-{\mathfrak{g}}_{12}{\mathfrak{g}}_{33}\right){\mathfrak{h}}_{22}+\left({\mathfrak{g}}_{12}{\mathfrak{g}}_{23}-{\mathfrak{g}}_{13}{\mathfrak{g}}_{22}\right){\mathfrak{h}}_{23},\hfill \\ \hfill {\mathfrak{s}}_{13}& =& \left({\mathfrak{g}}_{22}{\mathfrak{g}}_{33}-{\mathfrak{g}}_{23}^2\right){\mathfrak{h}}_{13}+\left({\mathfrak{g}}_{13}{\mathfrak{g}}_{23}-{\mathfrak{g}}_{12}{\mathfrak{g}}_{33}\right){\mathfrak{h}}_{23}+\left({\mathfrak{g}}_{12}{\mathfrak{g}}_{23}-{\mathfrak{g}}_{13}{\mathfrak{g}}_{22}\right){\mathfrak{h}}_{33},\hfill \\ \hfill {\mathfrak{s}}_{21}& =& \left({\mathfrak{g}}_{13}{\mathfrak{g}}_{23}-{\mathfrak{g}}_{12}{\mathfrak{g}}_{33}\right){\mathfrak{h}}_{11}+\left({\mathfrak{g}}_{11}{\mathfrak{g}}_{33}-{\mathfrak{g}}_{13}^2\right){\mathfrak{h}}_{12}+\left({\mathfrak{g}}_{12}{\mathfrak{g}}_{13}-{\mathfrak{g}}_{11}{\mathfrak{g}}_{23}\right){\mathfrak{h}}_{13},\hfill \\ \hfill {\mathfrak{s}}_{22}& =& \left({\mathfrak{g}}_{13}{\mathfrak{g}}_{23}-{\mathfrak{g}}_{12}{\mathfrak{g}}_{33}\right){\mathfrak{h}}_{12}+\left({\mathfrak{g}}_{11}{\mathfrak{g}}_{33}-{\mathfrak{g}}_{13}^2\right){\mathfrak{h}}_{22}+\left({\mathfrak{g}}_{12}{\mathfrak{g}}_{13}-{\mathfrak{g}}_{11}{\mathfrak{g}}_{23}\right){\mathfrak{h}}_{23},\hfill \\ \hfill {\mathfrak{s}}_{23}& =& \left({\mathfrak{g}}_{13}{\mathfrak{g}}_{23}-{\mathfrak{g}}_{12}{\mathfrak{g}}_{33}\right){\mathfrak{h}}_{13}+\left({\mathfrak{g}}_{11}{\mathfrak{g}}_{33}-{\mathfrak{g}}_{13}^2\right){\mathfrak{h}}_{23}+\left({\mathfrak{g}}_{12}{\mathfrak{g}}_{13}-{\mathfrak{g}}_{11}{\mathfrak{g}}_{23}\right){\mathfrak{h}}_{33},\hfill \\ \hfill {\mathfrak{s}}_{31}& =& \left({\mathfrak{g}}_{12}{\mathfrak{g}}_{23}-{\mathfrak{g}}_{13}{\mathfrak{g}}_{22}\right){\mathfrak{h}}_{11}+\left({\mathfrak{g}}_{12}{\mathfrak{g}}_{13}-{\mathfrak{g}}_{11}{\mathfrak{g}}_{23}\right){\mathfrak{h}}_{12}+\left({\mathfrak{g}}_{11}{\mathfrak{g}}_{22}-{\mathfrak{g}}_{12}^2\right){\mathfrak{h}}_{13},\hfill \\ \hfill {\mathfrak{s}}_{32}& =& \left({\mathfrak{g}}_{12}{\mathfrak{g}}_{23}-{\mathfrak{g}}_{13}{\mathfrak{g}}_{22}\right){\mathfrak{h}}_{12}+\left({\mathfrak{g}}_{12}{\mathfrak{g}}_{13}-{\mathfrak{g}}_{11}{\mathfrak{g}}_{23}\right){\mathfrak{h}}_{22}+\left({\mathfrak{g}}_{11}{\mathfrak{g}}_{22}-{\mathfrak{g}}_{12}^2\right){\mathfrak{h}}_{23},\hfill \\ \hfill {\mathfrak{s}}_{33}& =& \left({\mathfrak{g}}_{12}{\mathfrak{g}}_{23}-{\mathfrak{g}}_{13}{\mathfrak{g}}_{22}\right){\mathfrak{h}}_{13}+\left({\mathfrak{g}}_{12}{\mathfrak{g}}_{13}-{\mathfrak{g}}_{11}{\mathfrak{g}}_{23}\right){\mathfrak{h}}_{23}+\left({\mathfrak{g}}_{11}{\mathfrak{g}}_{22}-{\mathfrak{g}}_{12}^2\right){\mathfrak{h}}_{33},\hfill \end{array}$$

and

$$\mathfrak{g}=det\left({\mathfrak{g}}_{ij}\right)=-{\mathfrak{g}}_{33}{\mathfrak{g}}_{12}^2+2{\mathfrak{g}}_{12}{\mathfrak{g}}_{13}{\mathfrak{g}}_{23}-{\mathfrak{g}}_{22}{\mathfrak{g}}_{13}^2-{\mathfrak{g}}_{11}{\mathfrak{g}}_{23}^2+{\mathfrak{g}}_{11}{\mathfrak{g}}_{22}{\mathfrak{g}}_{33}.$$

For computing the i-th curvature formulas ${\mathfrak{C}}_i$, where $i=0,1,2,3,$ the characteristic polynomial eq. $P_{\mathbf{S}}\left(\lambda \right)=a{\lambda }^3+b{\lambda }^2+c\lambda +d=0$, i.e., $P_{\mathbf{S}}\left(\lambda \right)=det(\mathbf{S}-\lambda {\mathcal{I}}_3)=0$, is used. Then, ${\mathfrak{C}}_0=1$ (by definition), $\left(\genfrac{}{}{0pt}{}{3}{1}\right){\mathfrak{C}}_1=-\frac{b}{a},$$\left(\genfrac{}{}{0pt}{}{3}{2}\right){\mathfrak{C}}_2=\frac{c}{a},$$\left(\genfrac{}{}{0pt}{}{3}{3}\right){\mathfrak{C}}_3=-\frac{d}{a}.$ See [46] for the details.

Therefore, the following i-th curvature formulas depend on the coefficients of the fundamental forms $\left({\mathfrak{g}}_{ij}\right)$ and $\left({\mathfrak{h}}_{ij}\right)$ in Minkowski four-space.

Theorem 1.

Any hypersurface $\mathbf{x}$ in ${\mathbb{E}}_1^4$ has the following curvature formulas, ${\mathfrak{C}}_0=1$ (by definition),

$$\begin{array}{ccc}\hfill {\mathfrak{C}}_1& =& \frac{\left\{\begin{array}{c}({\mathfrak{g}}_{11}{\mathfrak{h}}_{22}+{\mathfrak{g}}_{22}{\mathfrak{h}}_{11}-2{\mathfrak{g}}_{12}{\mathfrak{h}}_{12}){\mathfrak{g}}_{33}+({\mathfrak{g}}_{11}{\mathfrak{g}}_{22}-{\mathfrak{g}}_{12}^2){\mathfrak{h}}_{33}\\ -2({\mathfrak{g}}_{13}{\mathfrak{h}}_{13}{\mathfrak{g}}_{22}-{\mathfrak{g}}_{23}{\mathfrak{h}}_{13}{\mathfrak{g}}_{12}-{\mathfrak{g}}_{13}{\mathfrak{h}}_{23}{\mathfrak{g}}_{12}\\ +{\mathfrak{g}}_{11}{\mathfrak{g}}_{23}{\mathfrak{h}}_{23}-{\mathfrak{g}}_{13}{\mathfrak{g}}_{23}{\mathfrak{h}}_{12})-{\mathfrak{g}}_{23}^2{\mathfrak{h}}_{11}-{\mathfrak{g}}_{13}^2{\mathfrak{h}}_{22}\end{array}\right\}}{3\left[({\mathfrak{g}}_{11}{\mathfrak{g}}_{22}-{\mathfrak{g}}_{12}^2){\mathfrak{g}}_{33}-{\mathfrak{g}}_{11}{\mathfrak{g}}_{23}^2+2{\mathfrak{g}}_{12}{\mathfrak{g}}_{13}{\mathfrak{g}}_{23}-{\mathfrak{g}}_{22}{\mathfrak{g}}_{13}^2\right]},\hfill \end{array}$$

(11)

$$\begin{array}{ccc}\hfill {\mathfrak{C}}_2& =& \frac{\left\{\begin{array}{c}\left({\mathfrak{g}}_{11}{\mathfrak{h}}_{22}+{\mathfrak{g}}_{22}{\mathfrak{h}}_{11}-2{\mathfrak{g}}_{12}{\mathfrak{h}}_{12}\right){\mathfrak{h}}_{33}+\left({\mathfrak{h}}_{11}{\mathfrak{h}}_{22}-{\mathfrak{g}}_{12}^2\right){\mathfrak{g}}_{33}\\ -2({\mathfrak{g}}_{13}{\mathfrak{h}}_{13}{\mathfrak{h}}_{22}-{\mathfrak{g}}_{23}{\mathfrak{h}}_{13}{\mathfrak{h}}_{12}-{\mathfrak{g}}_{13}{\mathfrak{h}}_{23}{\mathfrak{h}}_{12}\\ +{\mathfrak{g}}_{23}{\mathfrak{h}}_{23}{\mathfrak{h}}_{11}-{\mathfrak{h}}_{13}{\mathfrak{h}}_{23}{\mathfrak{g}}_{12})-{\mathfrak{g}}_{11}{\mathfrak{h}}_{23}^2-{\mathfrak{g}}_{22}{\mathfrak{h}}_{13}^2\end{array}\right\}}{3\left[({\mathfrak{g}}_{11}{\mathfrak{g}}_{22}-{\mathfrak{g}}_{12}^2){\mathfrak{g}}_{33}-{\mathfrak{g}}_{11}{\mathfrak{g}}_{23}^2+2{\mathfrak{g}}_{12}{\mathfrak{g}}_{13}{\mathfrak{g}}_{23}-{\mathfrak{g}}_{22}{\mathfrak{g}}_{13}^2\right]},\hfill \end{array}$$

(12)

$$\begin{array}{ccc}\hfill {\mathfrak{C}}_3& =& \frac{\left({\mathfrak{h}}_{11}{\mathfrak{h}}_{22}-{\mathfrak{h}}_{12}^2\right){\mathfrak{h}}_{33}-{\mathfrak{h}}_{11}{\mathfrak{h}}_{23}^2+2{\mathfrak{h}}_{12}{\mathfrak{h}}_{13}{\mathfrak{h}}_{23}-{\mathfrak{h}}_{22}{\mathfrak{h}}_{13}^2}{({\mathfrak{g}}_{11}{\mathfrak{g}}_{22}-{\mathfrak{g}}_{12}^2){\mathfrak{g}}_{33}-{\mathfrak{g}}_{11}{\mathfrak{g}}_{23}^2+2{\mathfrak{g}}_{12}{\mathfrak{g}}_{13}{\mathfrak{g}}_{23}-{\mathfrak{g}}_{22}{\mathfrak{g}}_{13}^2}.\hfill \end{array}$$

(13)

Proof. 

The proof is the same as the Euclidean case. □

See [46] for the details of the Euclidean four-space. A hypersurface $\mathbf{x}$ in${\mathbb{E}}_1^4$ is i-minimal, when ${\mathfrak{C}}_i=0,i=1,2,3,$ identically on $\mathbf{x}$.

4. Generalized Helical Hypersurfaces Having Time-like Axis

In this section, the definition of the generalized helical hypersurface with a time-like axis in ${\mathbb{E}}_1^4$ is given. Let $\gamma :\mathbf{I}\subset \mathbb{R}⟶\mathrm{\Pi }$ be a curve in a plane $\mathrm{\Pi }$ and ℓ be a straight line in $\Pi$ in ${\mathbb{E}}_1^4$.

A rotational hypersurface in ${\mathbb{E}}_1^4$ is defined as a hypersurface rotating a curve $\gamma$ around a line ℓ (called the profile curve and the axis, respectively). Suppose that when a profile curve $\gamma$ rotates around the axis ℓ, it simultaneously displaces parallel lines orthogonal to the axis ℓ, so that the speed of displacement is proportional to the speed of rotation. Then, the resulting hypersurface is called the generalized helical hypersurface having axis ℓ and pitches $a,b\in \mathbb{R}\setminus \left\{0\right\}$.

Supposing that ℓ is the line spanned by the time-like vector ${\left(0,0,0,1\right)}^t$, the semi-orthogonal matrix fixing the above vector is defined by $\mathcal{R}(v,w),$ where $v,w\in \mathbb{R}.$ The matrix $\mathcal{R}$ can be found by solving the following equations, simultaneously, $det\mathcal{R}=1,$$\mathcal{R}\ell =\ell ,$${\mathcal{R}}^t\epsilon \mathcal{R}=\epsilon$, where $\epsilon =$diag$(1,1,1,-1).$ When the axis of rotation is ℓ, there is a Minkowskian transformation by which the axis ℓ is transformed to the $x_4$-axis of ${\mathbb{E}}_1^4$. The parametrization of the profile curve is given by $\gamma \left(u\right)=\left(f\left(u\right),0,0,g\left(u\right)\right),$ where $g\left(u\right)$ is a differentiable function for all $u\in I$. Therefore, the generalized helical hypersurface spanned by the time-like vector $\ell =\left(0,0,0,1\right)$ with pitches $a,b\in \mathbb{R}\setminus \left\{0\right\}$ is as follows $\mathbf{x}(u,v,w)=\mathcal{R}(v,w)\gamma {\left(u\right)}^t+(av+bw){\ell }^t$ in ${\mathbb{E}}_1^4,$ where $u\in I,$$v,w\in [0,2\pi ).$ If $w=0,$ the generalized helical surface with a time-like axis as in three-dimensional Minkowski space ${\mathbb{E}}_1^3$ is obtained. When $a=b=0$, the surface is just a generalized rotational hypersurface with a time-like axis.

Hence, the generalized helical hypersurface with a time-like axis is given by

$$\mathbf{x}(u,v,w)=\left(f\left(u\right)cosvcosw,f\left(u\right)sinvcosw,f\left(u\right)sinw,g\left(u\right)+av+bw\right),$$

(14)

where $u,a,b\in \mathbb{R}\setminus \left\{0\right\}$ and $0\le v,w<2\pi .$

See Figure 1 for the projection of the hypersurface $\mathbf{x}$ into the three-space.

Using the first derivatives of (14) with respect to $u,v,w$, the first fundamental form matrix is presented as

$$\left({\mathfrak{g}}_{ij}\right)=\left(\begin{array}{ccc}{f}^{\prime 2}-g^{\prime 2}& -a{g}^{\prime }& -b{g}^{\prime }\\ -a{g}^{\prime }& f^2{\left({\mathcal{C}}_2\right)}^2-a^2& -ab\\ -b{g}^{\prime }& -ab& f^2-b^2\end{array}\right).$$

(15)

Here, $f=f\left(u\right),$$f^{\prime }=\frac{df}{du},$$g=g\left(u\right),$$g^{\prime }=\frac{dg}{du}.$ Then,

$$\mathfrak{g}=det\left({\mathfrak{g}}_{ij}\right)=f^{2}W,$$

where $W=\left(\left(f^2-b^2\right){\left({\mathcal{C}}_2\right)}^2-a^2\right)f^{\prime 2}-f^2{g}^{\prime 2}{\left({\mathcal{C}}_2\right)}^2.$

Definition 3.

For any curve $\gamma \left(u\right)$ or hypersurface $\mathbf{x}=\mathbf{x}(u,v,w)$ in Minkowski four-space, the following holds:

i.

When $〈{\gamma }^{\prime },{\gamma }^{\prime }〉>0$ (respectively, $\mathfrak{g}>0)$, the curve γ (respectively, the hypersurface $\mathbf{x}$) is called space-like;

ii.

When $〈{\gamma }^{\prime },{\gamma }^{\prime }〉<0$ (respectively, $\mathfrak{g}<0)$, the curve γ (respectively, the hypersurface $\mathbf{x}$) is called time-like;

iii.

When $〈{\gamma }^{\prime },{\gamma }^{\prime }〉=0$ (respectively, $\mathfrak{g}=0)$, the curve γ (respectively, the hypersurface $\mathbf{x}$) is called light-like (or null).

Here, ${\gamma }^{\prime }=\frac{d\gamma }{du}.$

Corollary 1.

When the profile curve $\gamma \left(u\right)=\left(f\left(u\right),0,0,g\left(u\right)\right)$ of the generalized helical hypersurface having time-like axis (14) is the unit speed curve, then $〈{\gamma }^{\prime },{\gamma }^{\prime }〉=f^{\prime 2}-g^{\prime 2}=1>0,$ i.e., it is a space-like curve. Hence, the following holds:

$$\mathfrak{g}=-f^2\left[\left(\left(b^2-f^2\right){\left({\mathcal{C}}_2\right)}^2+a^2\right)+\left(b^2{\left({\mathcal{C}}_2\right)}^2+a^2\right)g^{\prime 2}\right].$$

Corollary 2.

While $\left(b^2{\left({\mathcal{C}}_2\right)}^2+a^2\right)g^{\prime 2}<\left(f^2-b^2\right){\left({\mathcal{C}}_2\right)}^2-a^2,$ then $\mathfrak{g}>0,$ and then, the hypersurface is space-like.

Corollary 3.

When $b^2-f^2>0,$ then $\mathfrak{g}<0,$ and then, the hypersurface is time-like.

Corollary 4.

When the hypersurface having time-like axis (14) is the light-like hypersurface (i.e., $\mathfrak{g}=0),$ then it has the following:

$$g\left(u\right)=\pm \int \sqrt{\frac{\left(f^2-b^2\right){\left({\mathcal{C}}_2\right)}^2-a^2}{b^2{\left({\mathcal{C}}_2\right)}^2+a^2}}du.$$

The Gauss map of the hypersurface (14) is described by

$$\mathcal{G}=\frac{1}{W^{1/2}}\left(\begin{array}{c}(f{g}^{\prime }{\mathcal{C}}_2-b{f}^{\prime }{\mathcal{S}}_2){\mathcal{C}}_1{\mathcal{C}}_2-a{f}^{\prime }{\mathcal{S}}_1\\ (f{g}^{\prime }{\mathcal{C}}_2-b{f}^{\prime }{\mathcal{S}}_2){\mathcal{S}}_1{\mathcal{C}}_2+a{f}^{\prime }{\mathcal{C}}_1\\ (f{g}^{\prime }{\mathcal{S}}_2+b{f}^{\prime }{\mathcal{C}}_2){\mathcal{C}}_2\\ f{f}^{\prime }{\mathcal{C}}_2\end{array}\right).$$

(16)

Using the second derivatives of (14) with respect to $u,v,w,$ the second fundamental form matrix is derived as

$$\left({\mathfrak{h}}_{ij}\right)=\frac{1}{W^{1/2}}\left(\begin{array}{ccc}f\left(f^{\prime \prime }{g}^{\prime }-f^{\prime }{g}^{\prime \prime }\right){\mathcal{C}}_2& a{f}^{\prime 2}{\mathcal{C}}_2& b{f}^{\prime 2}{\mathcal{C}}_2\\ a{f}^{\prime 2}{\mathcal{C}}_2& f(b{f}^{\prime }{\mathcal{S}}_2-f{g}^{\prime }{\mathcal{C}}_2){\left({\mathcal{C}}_2\right)}^2& -af{f}^{\prime }{\mathcal{S}}_2\\ b{f}^{\prime 2}{\mathcal{C}}_2& -af{f}^{\prime }{\mathcal{S}}_2& -f^2{g}^{\prime }{\mathcal{C}}_2\end{array}\right),$$

where $f^{\prime \prime }=\frac{d^{2}f}{d{u}^2}$ and $g^{\prime \prime }=\frac{d^{2}g}{d{u}^2}.$ Then,

$$\mathfrak{h}=det\left({\mathfrak{h}}_{ij}\right)=\frac{f{\mathcal{C}}_2}{W^{3/2}}\left\{\begin{array}{c}{f}^2\left(-f^2{f}^{\prime }{g}^{\prime 2}{\left({\mathcal{C}}_2\right)}^4+bf{f}^{\prime 2}{g}^{\prime }{\left({\mathcal{C}}_2\right)}^3{\mathcal{S}}_2+a^2{f}^{\prime 3}{\left({\mathcal{S}}_2\right)}^2\right)g^{\prime \prime }\\ +\left(f^4{f}^{\prime \prime }{\left({\mathcal{C}}_2\right)}^4\right)g^{\prime 3}-\left(b{f}^3{f}^{\prime }{f}^{\prime \prime }{\left({\mathcal{C}}_2\right)}^3{\mathcal{S}}_2\right)g^{\prime 2}\\ +f\left(f^{\prime 4}\left(a^2+b^2{\left({\mathcal{C}}_2\right)}^2\right){\left({\mathcal{C}}_2\right)}^2-a^{2}f{f}^{\prime 2}{f}^{\prime \prime }{\left({\mathcal{S}}_2\right)}^2\right)g^{\prime }\\ -b{f}^{\prime 5}\left(2a^2+b^2{\left({\mathcal{C}}_2\right)}^2\right){\mathcal{C}}_2{\mathcal{S}}_2\end{array}\right\}.$$

Hence, by using (10), the shape operator matrix $\mathbf{S}$ of (14) has the following components:

$$\begin{array}{ccc}\hfill {\mathfrak{s}}_{11}& =& -\frac{\left\{f{f}^{\prime }\left[\left(b^2-f^2\right){\left({\mathcal{C}}_2\right)}^2+a^2\right]g^{\prime \prime }+\left[-f{f}^{\prime \prime }\left(\left(b^2-f^2\right){\left({\mathcal{C}}_2\right)}^2+a^2\right)+f^{\prime 2}\left(b^2{\left({\mathcal{C}}_2\right)}^2+a^2\right)\right]g^{\prime }\right\}{\mathcal{C}}_2}{W^{3/2}},\hfill \\ \hfill {\mathfrak{s}}_{12}& =& \frac{a{\mathcal{C}}_2}{W^{1/2}},\hfill \\ \hfill {\mathfrak{s}}_{13}& =& \frac{b\left[b^2{f}^{\prime 2}-f^2\left(f^{\prime 2}-g^{\prime 2}\right)\right]{\left({\mathcal{C}}_2\right)}^3+a^2{f}^{\prime }\left(b{f}^{\prime }{\mathcal{C}}_2+f{g}^{\prime }{\mathcal{S}}_2\right)}{W^{3/2}},\hfill \\ \hfill {\mathfrak{s}}_{21}& =& \frac{a\left[f{g}^{\prime }\left(f^{\prime }{g}^{\prime \prime }-f^{\prime \prime }{g}^{\prime }\right)-f^{2\prime }\left(f^{\prime 2}-g^{\prime 2}\right)\right]{\mathcal{C}}_2}{W^{3/2}},\hfill \\ \hfill {\mathfrak{s}}_{22}& =& \frac{b{f}^{\prime }{\mathcal{S}}_2-f{g}^{\prime }{\mathcal{C}}_2}{f{W}^{1/2}},\hfill \\ \hfill {\mathfrak{s}}_{23}& =& \frac{a{f}^{\prime }\left[-b^2{f}^{\prime 2}+f^2\left(f^{\prime 2}-g^{\prime 2}\right)\right]{\mathcal{S}}_2}{f{W}^{3/2}},\hfill \\ \hfill {\mathfrak{s}}_{31}& =& \frac{b\left[f{g}^{\prime }\left(f^{\prime }{g}^{\prime \prime }-f^{\prime \prime }{g}^{\prime }\right)-f^{\prime 2}\left(f^{\prime 2}-g^{\prime 2}\right)\right]{\left({\mathcal{C}}_2\right)}^3}{W^{3/2}},\hfill \\ \hfill {\mathfrak{s}}_{32}& =& -\frac{a{f}^{\prime }{\mathcal{S}}_2}{f{W}^{1/2}},\hfill \\ \hfill {\mathfrak{s}}_{33}& =& \frac{f\left[-b^2{f}^{\prime 2}+f^2\left(f^{\prime 2}-g^{\prime 2}\right)\right]g^{\prime }{\left({\mathcal{C}}_2\right)}^3+a^2{f}^{\prime 2}\left(b{f}^{\prime }{\mathcal{S}}_2-f{g}^{\prime }{\mathcal{C}}_2\right)}{f{W}^{3/2}}.\hfill \end{array}$$

Finally, the curvatures of the generalized helical hypersurface with time-like axis $\mathbf{x}$ are given by the following.

Theorem 2.

In ${\mathbb{E}}_1^4$, the generalized helical hypersurface having time-like axis (14) has the following curvatures, respectively, ${\mathfrak{C}}_0=1$ by definition,

$$\begin{array}{ccc}\hfill 3{\mathfrak{C}}_1& =& \frac{p_1{g}^{\prime \prime }+p_2{g}^{\prime 3}+p_3{g}^{\prime 2}+p_4{g}^{\prime }+p_5}{f{W}^{3/2}},\hfill \\ \hfill 3{\mathfrak{C}}_2& =& \frac{\begin{array}{c}\left(q_1{g}^{\prime 3}+q_2{g}^{\prime 2}+q_3{g}^{\prime }+q_4\right)g^{\prime \prime }+\left(q_5{g}^{\prime 3}+q_6{g}^{\prime 2}+q_7{g}^{\prime }+q_8\right)g^{\prime 3}+q_9{g}^{\prime 2}+q_{10}{g}^{\prime }+q_{11}\end{array}}{f{W}^3},\hfill \\ \hfill {\mathfrak{C}}_3& =& \frac{\left(r_1{g}^{\prime 2}+r_2{g}^{\prime }+r_3\right)g^{\prime \prime }+\left(r_4{g}^{\prime 2}+r_5{g}^{\prime }+r_6\right)g^{\prime }+r_7}{f{W}^{5/2}},\hfill \end{array}$$

where

$$\begin{array}{ccc}\hfill p_1& =& -f^2{f}^{\prime }\left[\left(b^2-f^2\right){\left({\mathcal{C}}_2\right)}^2+a^2\right]{\mathcal{C}}_2,\hfill \\ \hfill p_2& =& -2f^3{\left({\mathcal{C}}_2\right)}^3,\hfill \\ \hfill p_3& =& b{f}^2{f}^{\prime }{\left({\mathcal{C}}_2\right)}^2{\mathcal{S}}_2,\hfill \\ \hfill p_4& =& f\left[\left(a^2+b^2{\left({\mathcal{C}}_2\right)}^2\right)\left(f{f}^{\prime \prime }-3f^{\prime 2}\right)-f^3{f}^{\prime }{\left({\mathcal{C}}_2\right)}^2\right]{\mathcal{C}}_2,\hfill \\ \hfill p_5& =& b{f}^{\prime 3}\left[2a^2+\left(b^2-f^2\right){\left({\mathcal{C}}_2\right)}^2\right]{\mathcal{S}}_2,\hfill \end{array}$$

$$\begin{array}{ccc}\hfill q_1& =& f^4{f}^{\prime }\left(\left(b^2-2f^2\right){\left({\mathcal{C}}_2\right)}^2+a^2\right){\left({\mathcal{C}}_2\right)}^4,\hfill \\ \hfill q_2& =& -b{f}^3{f}^{\prime 2}\left(\left(b^2-f^2\right){\left({\mathcal{C}}_2\right)}^2+2a^2\right){\left({\mathcal{C}}_2\right)}^3{\mathcal{S}}_2,\hfill \\ \hfill q_3& =& f^{3\prime }{f}^2\left(\left(b^2-f^2\right){\left({\mathcal{C}}_2\right)}^2+a^2\right)\left(\left(b^2-2f^2\right){\left({\mathcal{C}}_2\right)}^2+a^2\right){\left({\mathcal{C}}_2\right)}^2,\hfill \\ \hfill q_4& =& -bf{f}^{\prime 4}\left(\left(b^2-f^2\right){\left({\mathcal{C}}_2\right)}^2+2a^2\right)\left(\left(b^2-f^2\right){\left({\mathcal{C}}_2\right)}^2+a^2\right){\mathcal{C}}_2{\mathcal{S}}_2,\hfill \\ \hfill q_5& =& f^5{\left({\mathcal{C}}_2\right)}^6,\hfill \\ \hfill q_6& =& -b{f}^4{f}^{\prime }{\left({\mathcal{C}}_2\right)}^5{\mathcal{S}}_2,\hfill \\ \hfill q_7& =& -f^3\left\{\begin{array}{c}f{f}^{\prime \prime }\left(\left(b^2-2f^2\right){\left({\mathcal{C}}_2\right)}^2+a^2\right){\left({\mathcal{C}}_2\right)}^2\\ -f^{\prime 2}\left(a^2\left(4{\left({\mathcal{C}}_2\right)}^2-1\right)+\left(3b^2-2f^2\right){\left({\mathcal{C}}_2\right)}^4\right)\end{array}\right\}{\left({\mathcal{C}}_2\right)}^2,\hfill \\ \hfill q_8& =& -b{f}^2\left\{\begin{array}{c}{f}^{\prime 3}\left(\left(3b^2-2f^2\right){\left({\mathcal{C}}_2\right)}^2+5a^2\right)\\ -f{f}^{\prime }{f}^{\prime \prime }\left(\left(b^2-f^2\right){\left({\mathcal{C}}_2\right)}^2+2a^2\right)\end{array}\right\}{\left({\mathcal{C}}_2\right)}^3{\mathcal{S}}_2,\hfill \\ \hfill q_9& =& -f{f}^{\prime 2}\left\{\begin{array}{c}f{f}^{\prime \prime }\left(\left(b^2-2f^2\right){\left({\mathcal{C}}_2\right)}^2+a^2\right)\left(\left(b^2-f^2\right){\left({\mathcal{C}}_2\right)}^2+a^2\right){\left({\mathcal{C}}_2\right)}^2\\ +a^2\left\{\begin{array}{c}2\left(\left(2b^2-f^2\right){\left({\mathcal{C}}_2\right)}^2+a^2\right){\left({\mathcal{C}}_2\right)}^2\\ -\left(\left(b^2-2f^2\right){\left({\mathcal{C}}_2\right)}^2+a^2\right){\left({\mathcal{S}}_2\right)}^2\end{array}\right\}\end{array}\right\},\hfill \\ \hfill q_{10}& =& -b{f}^{\prime 3}\left\{\begin{array}{c}-f{f}^{\prime \prime }{\left(b^2-f^2\right)}^2{\left({\mathcal{C}}_2\right)}^4\\ +f^{\prime 2}\left(\left(2b^2-f^2\right){\left({\mathcal{C}}_2\right)}^2+4a^2\right)\left(\left(b^2-f^2\right){\left({\mathcal{C}}_2\right)}^2+a^2\right)\end{array}\right\}\hfill \\ & & +a^{2}bf{f}^{\prime 3}{f}^{\prime \prime }\left(3\left(b^2-f^2\right){\left({\mathcal{C}}_2\right)}^2+2a^2\right){\mathcal{C}}_2{\mathcal{S}}_2,\hfill \\ \hfill q_{11}& =& f{f}^{\prime 6}\left(b^2{\left({\mathcal{C}}_2\right)}^4+a^2\right)\left(\left(b^2-f^2\right){\left({\mathcal{C}}_2\right)}^2+a^2\right),\hfill \end{array}$$

$$\begin{array}{ccc}\hfill r_1& =& f^4{f}^{\prime }{\left({\mathcal{C}}_2\right)}^5,\hfill \\ \hfill r_2& =& -b{f}^3{f}^{\prime 2}{\left({\mathcal{C}}_2\right)}^4{\mathcal{S}}_2,\hfill \\ \hfill r_3& =& -a^2{f}^2{f}^{\prime 3}{\mathcal{C}}_2{\left({\mathcal{S}}_2\right)}^2,\hfill \\ \hfill r_4& =& -f^4{f}^{\prime \prime }{\left({\mathcal{C}}_2\right)}^5,\hfill \\ \hfill r_5& =& b{f}^3{f}^{\prime }{f}^{\prime \prime }{\left({\mathcal{C}}_2\right)}^4{\mathcal{S}}_2,\hfill \\ \hfill r_6& =& \left[a^2{f}^2{f}^{\prime 2}{f}^{\prime \prime }{\left({\mathcal{S}}_2\right)}^2-f{f}^{\prime 4}\left(a^2+b^2{\left({\mathcal{C}}_2\right)}^2\right){\left({\mathcal{C}}_2\right)}^2\right]{\mathcal{C}}_2,\hfill \\ \hfill r_7& =& b{f}^{\prime 5}\left(2a^2+b^2{\left({\mathcal{C}}_2\right)}^2\right){\left({\mathcal{C}}_2\right)}^2{\mathcal{S}}_2,\hfill \\ \hfill W& =& f^{\prime 2}\left[(f^2-b^2){\left({\mathcal{C}}_2\right)}^2-a^2\right]-f^2{g}^{\prime 2}{\left({\mathcal{C}}_2\right)}^2.\hfill \end{array}$$

Proof. 

By using the Cayley–Hamilton theorem, the characteristic polynomial eq. $P_{\mathbf{S}}\left(\lambda \right)=0$ of $\mathbf{S}$ for the generalized helical hypersurface with time-like axis $\mathbf{x},$ the following coefficients (in the theorem) of the eq. are obtained:

$${\mathfrak{C}}_0{\lambda }^3-3{\mathfrak{C}}_1{\lambda }^2+3{\mathfrak{C}}_2\lambda -{\mathfrak{C}}_3=0.$$

□

Corollary 5.

When $g=c=const.,$ the curvatures are given by

$$\begin{array}{ccc}\hfill {\mathfrak{C}}_1& =& \frac{b\left[2a^2+\left(b^2-f^2\right){cos}^{2}w\right]sinw}{3f{\left[\left(a^2+(b^2-f^2){cos}^{2}w\right)\right]}^{3/2}},\hfill \\ \hfill {\mathfrak{C}}_2& =& -\frac{\left(a^2+b^2{cos}^{4}w\right)}{3{\left[\left(a^2+(b^2-f^2){cos}^{2}w\right)\right]}^2},\hfill \\ \hfill {\mathfrak{C}}_3& =& \frac{b\left(2a^2+b^2{cos}^{2}w\right){cos}^{2}wsinw}{f{\left[\left(a^2+(b^2-f^2){cos}^{2}w\right)\right]}^{5/2}}.\hfill \end{array}$$

Corollary 6.

If $g=c=const.,$$w=k\pi$, $k=0,1,\dots ,$ the curvatures are described by

$${\mathfrak{C}}_1=0,{\mathfrak{C}}_2=-\frac{a^2+b^2}{3{\left(a^2+b^2-f^2\right)}^2},{\mathfrak{C}}_3=0.$$

Corollary 7.

While $g=c=const.,$$w=\pi /2+k\pi ,$$k=0,1,\dots ,$ the curvatures are found by

$${\mathfrak{C}}_1=\frac{2b}{3af},{\mathfrak{C}}_2=-\frac{1}{3a^2},{\mathfrak{C}}_3=0.$$

Corollary 8.

When $g=c=const,$$a=b=0,$ then ${\mathfrak{C}}_i=0$, $i=1,2,3,$ i.e., the generalized helical hypersurface having time-like axis (14) is the i-minimal rotational hypersurface.

   Finally, the following holds:

Theorem 3.

Let $\gamma \left(u\right)=\left(f\left(u\right),0,0,g\left(u\right)\right)$, $u\in I\subset \mathbb{R}$ be a generating curve of the generalized helical hypersurface having a time-like axis given by (14) immersed in ${\mathbb{E}}_1^4$. Then, the curvatures at the point $\left(f\left(u\right),0,0,g\left(u\right)\right)$ are functions of the same variable u, i.e., ${\mathfrak{C}}_i={\mathfrak{C}}_i\left(u\right)$, $i=1,2,3$. Moreover, given constants $a,b,c\in I\subset \mathbb{R}$ and a function ${\mathfrak{C}}_i$, the family of curves $\gamma \left(u\right)\equiv \gamma ({\mathfrak{C}}_i,w=c)$ is defined.

5. The Umbilical Hypersurfaces in Minkowski Four-Space

Before defining the umbilical hypersurface in Minkowski four-space, it can be seen that the curvatures and the principal curvatures of any hypersurface are related as follows:

$$\begin{array}{ccc}\hfill {\mathfrak{C}}_0& =& 1,\hfill \\ \hfill 3{\mathfrak{C}}_1& =& k_1+k_2+k_3,\hfill \\ \hfill 3{\mathfrak{C}}_2& =& k_1{k}_2+k_1{k}_3+k_2{k}_3,\hfill \\ \hfill {\mathfrak{C}}_3& =& k_1{k}_2{k}_3.\hfill \end{array}$$

Then, the following holds:

Corollary 9.

The following are equivalent:

$$\begin{array}{ccc}{k}_1=k_2=k_3& \iff & k_1-k_2=0\wedge k_1-k_3=0\wedge k_2-k_3=0\\ & \iff & {\left(k_1-k_2\right)}^2=0\wedge {\left(k_1-k_3\right)}^2=0\wedge {\left(k_2-k_3\right)}^2=0\\ & \iff & \left\{\begin{array}{c}{k}_1^2-2k_1{k}_2+k_2^2=0\\ k_1^2-2k_1{k}_3+k_3^2=0\\ k_2^2-2k_2{k}_3+k_3^2=0\end{array}\right\}\\ & \iff & k_1^2+k_2^2+k_3^2=k_1{k}_2+k_1{k}_3+k_2{k}_3(addingaboveeqs.)\\ & \iff & {\left({\mathfrak{C}}_1\right)}^2={\mathfrak{C}}_2.\end{array}$$

Corollary 10.

The following are equivalent:

$$\begin{array}{ccc}{k}_1=k_2=k_3& \iff & k_1-k_2=0\wedge k_1-k_3=0\wedge k_2-k_3=0\\ & \iff & {\left(k_1-k_2\right)}^2=0\wedge {\left(k_1-k_3\right)}^2=0\wedge {\left(k_2-k_3\right)}^2=0\\ & \iff & \left\{\begin{array}{c}{k}_1^2+2k_1{k}_2+k_2^2=4k_1{k}_2\\ k_1^2+2k_1{k}_3+k_3^2=4k_1{k}_3\\ k_2^2+2k_2{k}_3+k_3^2=4k_2{k}_3\end{array}\right\}\\ & \iff & {\left(k_1+k_2\right)}^2=4k_1{k}_2\wedge {\left(k_1+k_3\right)}^2=4k_1{k}_3\wedge {\left(k_2+k_3\right)}^2=4k_2{k}_3\\ & \iff & \left(k_1+k_2\right)\left(k_1+k_3\right)\left(k_2+k_3\right)=8k_1{k}_2{k}_3\\ & \iff & {\mathfrak{C}}_1{\mathfrak{C}}_2={\mathfrak{C}}_3.\end{array}$$

Corollary 11.

Combining Corollary 9 with Corollary 10, the following holds:

$$k_1=k_2=k_3\iff {\left({\mathfrak{C}}_1\right)}^3={\mathfrak{C}}_3.$$

   Therefore, the following is given:

Definition 4.

The hypersurface $M^3$ immersed in a ${\mathbb{E}}_1^4$ is called the umbilical if all its points are umbilical, i.e., $k_1=k_2=k_3$ or, equivalently, ${\left({\mathfrak{C}}_1\right)}^3={\mathfrak{C}}_3$ with ${\mathfrak{C}}_1{\mathfrak{C}}_2={\mathfrak{C}}_3,$${\left({\mathfrak{C}}_1\right)}^2={\mathfrak{C}}_2$.

Remark 1.

The only umbilical hypersurfaces are (open) hyperplanes and hyperspheres in ${\mathbb{E}}_1^4$.

An umbilical point is an important geometric attribute, closely related to the lines of curvature. It is a singularity of a line of curvature: a line of curvature will end at such points. This may partly be because there is an effective criterion for a smooth hypersurface defined by a formula, for both parametric or implicit hypersurfaces:

Lemma 1.

A point is an umbilical point on the hypersurface in Minkowski four-space if and only if ${\left({\mathfrak{C}}_1\right)}^3={\mathfrak{C}}_3$, ${\mathfrak{C}}_1{\mathfrak{C}}_2={\mathfrak{C}}_3,$${\left({\mathfrak{C}}_1\right)}^2={\mathfrak{C}}_2$ at this point.

   Hence, the following comes out:

Problem 1.

Solve the following system of differential equations for the generalized helical hypersurface with time-like axis (14):

$$\begin{array}{ccc}\hfill {\left\{\begin{array}{c}{p}_1{g}^{\prime \prime }\\ +p_2{g}^{\prime 3}\\ +p_3{g}^{\prime 2}+p_4{g}^{\prime }+p_5\end{array}\right\}}^3& =& 27f^2{W}^2\left\{\begin{array}{c}\left(r_1{g}^{\prime 2}+r_2{g}^{\prime }+r_3\right)g^{\prime \prime }\\ +\left(r_4{g}^{\prime 2}+r_5{g}^{\prime }+r_6\right)g^{\prime }\\ +r_7\end{array}\right\},\hfill \\ \hfill \left\{\begin{array}{c}{p}_1{g}^{\prime \prime }\\ +p_2{g}^{\prime 3}\\ +p_3{g}^{\prime 2}+p_4{g}^{\prime }+p_5\end{array}\right\}\left\{\begin{array}{c}\left(q_1{g}^{\prime 3}+q_2{g}^{\prime 2}+q_3{g}^{\prime }+q_4\right)g^{\prime \prime }\\ +\left(q_5{g}^{\prime 3}+q_6{g}^{\prime 2}+q_7{g}^{\prime }+q_8\right)g^{\prime 3}\\ +q_9{g}^{\prime 2}+q_{10}{g}^{\prime }+q_{11}\end{array}\right\}& =& 9f{W}^2\left\{\begin{array}{c}\left(r_1{g}^{\prime 2}+r_2{g}^{\prime }+r_3\right)g^{\prime \prime }\\ +\left(r_4{g}^{\prime 2}+r_5{g}^{\prime }+r_6\right)g^{\prime }\\ +r_7\end{array}\right\},\hfill \\ \hfill {\left\{\begin{array}{c}{p}_1{g}^{\prime \prime }\\ +p_2{g}^{\prime 3}\\ +p_3{g}^{\prime 2}+p_4{g}^{\prime }+p_5\end{array}\right\}}^2& =& 3f\left\{\begin{array}{c}\left(q_1{g}^{\prime 3}+q_2{g}^{\prime 2}+q_3{g}^{\prime }+q_4\right)g^{\prime \prime }\\ +\left(q_5{g}^{\prime 3}+q_6{g}^{\prime 2}+q_7{g}^{\prime }+q_8\right)g^{\prime 3}\\ +q_9{g}^{\prime 2}+q_{10}{g}^{\prime }+q_{11}\end{array}\right\}.\hfill \end{array}$$

The $g=g\left(u\right)$ solutions of the problem will give the umbilic points of the hypersurface $\mathbf{x}$.

6. Generalized Helical Hypersurface Having Time-like Axis Satisfying $\Delta \mathbf{x}=\mathcal{A}\mathbf{x}$ in ${\mathbb{E}}_{\mathbf{1}}^{\mathbf{4}}$

In this section, the first Laplace–Beltrami operator (i.e., that depends on the first fundamental form) of a smooth function in ${\mathbb{E}}_1^4$ is given. Then, the Laplace–Beltrami operator is calculated by using the generalized helical hypersurface (14).

Definition 5.

The Laplace–Beltrami operator of a smooth function $\varphi =\varphi (x^1,x^2,x^3,x^4){\mid }_{\mathbf{D}}$$(\mathbf{D}\subset {\mathbb{R}}^4)$ of class $C^4$ depends on the first fundamental form is defined by

$$\Delta \varphi =\frac{1}{{\mathfrak{g}}^{1/2}}\sum _{i,j=1}^4\frac{\partial }{\partial x^i}\left({\mathfrak{g}}^{1/2}{\mathfrak{g}}^{ij}\frac{\partial \varphi }{\partial x^j}\right),$$

(17)

where $\left({\mathfrak{g}}^{ij}\right)={\left({\mathfrak{g}}_{kl}\right)}^{-1}$ and $\mathfrak{g}=det\left({\mathfrak{g}}_{ij}\right).$

Hence, the inverse matrix $\left({\mathfrak{g}}^{ij}\right)$ of the first fundamental form matrix $\left({\mathfrak{g}}_{ij}\right)$ of any hypersurface having three parameters in Minkowski four-space is given by

$$\left({\mathfrak{g}}^{ij}\right)=\frac{1}{\mathfrak{g}}\left(\begin{array}{ccc}{\mathfrak{g}}_{22}{\mathfrak{g}}_{33}-{\mathfrak{g}}_{23}^2& {\mathfrak{g}}_{13}{\mathfrak{g}}_{23}-{\mathfrak{g}}_{12}{\mathfrak{g}}_{33}& {\mathfrak{g}}_{12}{\mathfrak{g}}_{23}-{\mathfrak{g}}_{13}{\mathfrak{g}}_{22}\\ {\mathfrak{g}}_{13}{\mathfrak{g}}_{23}-{\mathfrak{g}}_{12}{\mathfrak{g}}_{33}& {\mathfrak{g}}_{11}{\mathfrak{g}}_{33}-{\mathfrak{g}}_{13}^2& {\mathfrak{g}}_{12}{\mathfrak{g}}_{13}-{\mathfrak{g}}_{11}{\mathfrak{g}}_{23}\\ {\mathfrak{g}}_{12}{\mathfrak{g}}_{23}-{\mathfrak{g}}_{13}{\mathfrak{g}}_{22}& {\mathfrak{g}}_{12}{\mathfrak{g}}_{13}-{\mathfrak{g}}_{11}{\mathfrak{g}}_{23}& {\mathfrak{g}}_{11}{\mathfrak{g}}_{22}-{\mathfrak{g}}_{12}^2\end{array}\right),$$

where $\mathfrak{g}=-{\mathfrak{g}}_{33}{\mathfrak{g}}_{12}^2+2{\mathfrak{g}}_{12}{\mathfrak{g}}_{13}{\mathfrak{g}}_{23}-{\mathfrak{g}}_{22}{\mathfrak{g}}_{13}^2-{\mathfrak{g}}_{11}{\mathfrak{g}}_{23}^2+{\mathfrak{g}}_{11}{\mathfrak{g}}_{22}{\mathfrak{g}}_{33}.$

With the help of the above matrix, the inverse matrix of (15) is obtained by

$$\left({\mathfrak{g}}^{ij}\right)=\frac{1}{W}\left(\begin{array}{ccc}\left(f^2-b^2\right){\left({\mathcal{C}}_2\right)}^2-a^2& a{g}^{\prime }& b{g}^{\prime }{\left({\mathcal{C}}_2\right)}^2\\ a{g}^{\prime }& \left[\left(f^2-b^2\right)f^{\prime 2}-f^2{g}^{\prime 2}\right]/f^2& ab{f}^{\prime 2}/f^2\\ b{g}^{\prime }{\left({\mathcal{C}}_2\right)}^2& ab{f}^{\prime 2}/f^2& \left[\left(f^2{\left({\mathcal{C}}_2\right)}^2-a^2\right)f^{\prime 2}-f^2{g}^{\prime 2}{\left({\mathcal{C}}_2\right)}^2\right]/f^2\end{array}\right),$$

where $W=\left(\left(f^2-b^2\right){\left({\mathcal{C}}_2\right)}^2-a^2\right)f^{\prime 2}-f^2{g}^{\prime 2}{\left({\mathcal{C}}_2\right)}^2$.

By using (17) with the above matrix $\left({\mathfrak{g}}^{ij}\right)$ of (14), the following holds.

Theorem 4.

The first Laplace–Beltrami operator of the generalized helical hypersurface (14) is given by

$$\Delta \mathbf{x}=4{\mathfrak{C}}_1\mathcal{G},$$

where ${\mathfrak{C}}_1$ is the mean curvature and $\mathcal{G}$ is the Gauss map of $\mathbf{x}$.

Proof. 

By directly computing (17) on $\mathbf{x}$, $\Delta \mathbf{x}$ is found. □

Theorem 5.

Let $\mathbf{x}$: $M^3\subset {\mathbb{E}}^3$⟶${\mathbb{E}}_1^4$ be an immersion given by (14). $\Delta \mathbf{x}=\mathcal{A}\mathbf{x}$, where $\mathcal{A}$ is the matrix of order four if and only if $\mathbf{x}$ has ${\mathfrak{C}}_1=0$, i.e., it has zero mean curvature.

Proof. 

Considering $4{\mathfrak{C}}_1\mathcal{G}=\mathcal{A}\mathbf{x},$ the following comes out:

$$\begin{array}{ccc}\hfill f{\mathcal{C}}_1{\mathcal{C}}_2{a}_{11}+f{\mathcal{S}}_1{\mathcal{C}}_2{a}_{12}+f{\mathcal{S}}_2{a}_{13}+\left(g+av+bw\right)a_{14}& =& \Psi \left((f{g}^{\prime }{\mathcal{C}}_2-b{f}^{\prime }{\mathcal{S}}_2){\mathcal{C}}_1{\mathcal{C}}_2-a{f}^{\prime }{\mathcal{S}}_1\right),\hfill \\ \hfill f{\mathcal{C}}_1{\mathcal{C}}_2{a}_{21}+f{\mathcal{S}}_1{\mathcal{C}}_2{a}_{22}+f{\mathcal{S}}_2{a}_{23}+\left(g+av+bw\right)a_{24}& =& \Psi \left((f{g}^{\prime }{\mathcal{C}}_2-b{f}^{\prime }{\mathcal{S}}_2){\mathcal{S}}_1{\mathcal{C}}_2+a{f}^{\prime }{\mathcal{C}}_1\right),\hfill \\ \hfill f{\mathcal{C}}_1{\mathcal{C}}_2{a}_{31}+f{\mathcal{S}}_1{\mathcal{C}}_2{a}_{32}+f{\mathcal{S}}_2{a}_{33}+\left(g+av+bw\right)a_{34}& =& \Psi (f{g}^{\prime }{\mathcal{S}}_2+b{f}^{\prime }{\mathcal{C}}_2){\mathcal{C}}_2,\hfill \\ \hfill f{\mathcal{C}}_1{\mathcal{C}}_2{a}_{41}+f{\mathcal{S}}_1{\mathcal{C}}_2{a}_{42}+f{\mathcal{S}}_2{a}_{43}+\left(g+av+bw\right)a_{44}& =& -\Psi f{f}^{\prime }{\mathcal{C}}_2,\hfill \end{array}$$

where $\mathcal{A}$ is the $4\times 4$ matrix, $\Psi \left(u,w\right)=4{\mathfrak{C}}_1/W^{1/2}.$ Differentiating the above ODEs twice with respect to $v,$ the following holds:

$$a_{14}=a_{24}=a_{34}=a_{44}=0,\Psi \left(u,w\right)=0.$$

(18)

Considering (18)$,$ the following appears:

$$\begin{array}{c}-f{\mathcal{C}}_1{\mathcal{C}}_2{a}_{11}-f{\mathcal{S}}_1{\mathcal{C}}_2{a}_{12}=0,\\ -f{\mathcal{C}}_1{\mathcal{C}}_2{a}_{21}-f{\mathcal{S}}_1{\mathcal{C}}_2{a}_{22}=0,\\ -f{\mathcal{C}}_1{\mathcal{C}}_2{a}_{31}-f{\mathcal{S}}_1{\mathcal{C}}_2{a}_{32}=0,\\ -f{\mathcal{C}}_1{\mathcal{C}}_2{a}_{41}-f{\mathcal{S}}_1{\mathcal{C}}_2{a}_{42}=0.\end{array}$$

Taking into account that the functions sin and cos are linear independent of $v,$ all the components of the matrix $\mathcal{A}$ are 0. Since $\Psi =4{\mathfrak{C}}_1/{\mathcal{W}}^{1/2},$ then ${\mathfrak{C}}_1=0$. This means $\mathbf{x}$ is a one-minimal generalized helical hypersurface having a time-like axis. □

7. Summary

In this work, the definition of the generalized helical hypersurface having a time-like axis in four-dimensional Minkowski spacetime is given. The related differential geometric objects such as the fundamental form matrices, the Gauss map, the shape operator matrix, the curvatures, etc., of these kinds of hypersurfaces were calculated. The curvature formulas depend on the coefficients of the first and the second fundamental forms. The umbilical conditions of that kind of hypersurface were also indicated. The Laplace–Beltrami operator of the generalized helical hypersurfaces having a time-like axis was given. Thanks to three-dimensional projections, visual graphics were added to this work.

Time-like worldlines in general relativity correspond to physical, causal trajectories of mass particles. Therefore, we hope that this paper can be used for real-world applications in the near future.