Abstract
We consider Ulisse Dini-type helicoidal hypersurfaces with timelike axis in Minkowski 4-space . Calculating the Gaussian and the mean curvatures of the hypersurfaces, we demonstrate some special symmetries for the curvatures when they are flat and minimal.
  1. Introduction
The concept of finite-type immersion of submanifolds of a Euclidean space has been known in classifying and characterizing Riemannian submanifolds []. Chen proposed the problem of classifying these kinds surfaces in the three-dimensional Euclidean space . A Euclidean submanifold is called Chen finite-type if its coordinate functions are a finite sum of eigenfunctions of its Laplacian  []. Hence, the idea of finite-type can be enlarged to any smooth functions on a submanifold of Euclidean or pseudo-Euclidean spaces.
Takahashi [] obtained spheres and the minimal surfaces are the unique surfaces in  satisfying the condition  where r is the position vector,  Ferrandez, Garay and Lucas [] showed the surfaces of  providing . Here H is the mean curvature and  are either of a right circular cylinder, or of an open piece of sphere, or minimal. Choi and Kim [] worked the minimal helicoid with pointwise 1-type Gauss map of the first type.
Dillen, Pas, and Verstraelen [] studied the unique surfaces in  providing    are the spheres, the circular cylinder, the minimal surfaces. Senoussi and Bekkar [] obtained helicoidal surfaces in  by using the fundamental forms  and 
In classical surface geometry, it is well known a pair of the right helicoid and the catenoid is the unique ruled and rotational surface, which is minimal. When we look at ruled (i.e., helicoid) and rotational surfaces, we meet Bour’s theorem in []. By using a result of Bour [], Do Carmo and Dajczer [] worked isometric helicoidal surfaces.
Lawson [] defined the generalized Laplace-Beltrami operator. Magid, Scharlach and Vrancken [] studied the affine umbilical surfaces in 4-space. Vlachos [] introduced hypersurfaces with harmonic mean curvature in . Scharlach [] gave the affine geometry of surfaces and hypersurfaces in 4-space. Cheng and Wan [] studied complete hypersurfaces of 4-space with CMC. Arslan, Deszcz and Yaprak [] obtained Weyl pseudosymmetric hypersurfaces. Arvanitoyeorgos, Kaimakamais and Magid [] wrote that if the mean curvature vector field of  satisfies the equation  ( a constant), then  has constant mean curvature in Minkowski 4-space . This equation is a natural generalization of the biharmonic submanifold equation 
General rotational surfaces in the four-dimensional Euclidean space were originated by Moore [,]. Ganchev and Milousheva [] considered the analogue of these surfaces in . Verstraelen, Valrave, and Yaprak [] studied the minimal translation surfaces in  for arbitrary dimension  Kim and Turgay [] studied surfaces with -pointwise 1-type Gauss map in . Moruz and Munteanu [] considered hypersurfaces defined as the sum of a curve and a surface whose mean curvature vanishes in .
Yoon [] considered rotational surfaces which has a finite-type Gauss map in  Dursun [] introduced hypersurfaces of pointwise 1-type Gauss map in Minkowski space. Dursun and Turgay [] studied minimal, pseudo-umbilical rotational surfaces in . Arslan, Bulca and Milousheva [] focused pointwise 1-type Gauss map of meridian surfaces in . Aksoyak and Yaylı [] worked boost-invariant surfaces with pointwise 1-type Gauss map in  Also they [] considered generalized rotational surfaces of pointwise 1-type Gauss map in  Güler, Magid and Yaylı [] defined helicoidal hypersurface with the Laplace-Beltrami operator in . Furthermore, Güler, Hacısalihoğlu and Kim [] worked rotational hypersurface with the III Laplace-Beltrami operator and the Gauss map in .
There are few works in the literature about Italian Mathematician Ulisse Dini’s helicoidal surface [] in . Moreover, Güler and Kişi [] introduced helicoidal hypersurfaces of Dini-type with spacelike axis in 
In this paper, we study the Ulisse Dini-type helicoidal hypersurface with timelike axis in Minkowski 4-space . We give some basic notions of Minkowskian geometry, and define helicoidal hypersurface in Section 2. Moreover, we obtain the Dini-type helicoidal hypersurface timelike axis, and calculate its curvatures in the Section 3. We obtain some special symmetries in the last section.
2. Preliminaries
In this section, we will describe the notation that will be used in the paper, after we give some basic facts and basic definitions.
Let  be the Minkowski m-space with the Euclidean metric denoted by
      
      
        
      
      
      
      
    
      where  is a coordinate system in .
Consider an n-dimensional Minkowskian submanifold of the space . We denote Levi-Civita connections of  and M by  and ∇, respectively. We will use letters  (resp., ) to show vector fields tangent (resp., normal) to M. The Gauss and the Weingarten formulas are defined by as follows: 
      
        
      
      
      
      
    
      where h, D, and A are the second fundamental form, the normal connection and the shape operator of M, respectively.
The shape operator  is a symmetric endomorphism of the tangent space  at  for each . The second fundamental form and the shape operator are connected by
      
      
        
      
      
      
      
    
The Gauss and Codazzi equations are denoted, respectively, as follows:
      
        
      
      
      
      
    
      
        
      
      
      
      
    
Here,  are the curvature tensors related with connections ∇ and D, respectively, and  is defined by
      
      
        
      
      
      
      
    
2.1. Hypersurfaces of Minkowski Space
Assume that M be an oriented hypersurface in Minkowski space ,  its shape operator and x its position vector. We think about a local orthonormal frame field  occurring of the principal directions of M matching to the principal curvatures  for . Let  be dual basis of this frame field. Then the first structural equation of Cartan is
        
      
        
      
      
      
      
    
Here,  demonstrates the connection forms matching to the chosen frame field. We show the Levi-Civita connection of M and  by ∇ and  respectively. Then, from the Codazzi Equation (2) we have
        
      
        
      
      
      
      
    
        for distinct .
We take  where  is the j-th elementary symmetric function given by
        
      
        
      
      
      
      
    
We also use the following notation
        
      
        
      
      
      
      
    
By definition, we have  and .
On the other hand, we will call the function  as the k-th mean curvature of M. We would like to note that functions  and  are called the mean and the Gauss-Kronecker curvatures of M, respectively. Particularly, M is called j-minimal if  on M.
2.2. Helicoidal Hypersurfaces with Timelike Axis in Minkowskian Spaces
In this subsection, we will obtain the helicoidal hypersurfaces with timelike axis in Minkowski 4-space . In the rest of this paper, we will identify a vector (a,b,c,d) with its transpose.
Before we proceed, we would like to note that the definition of rotational hypersurfaces in Riemannian space forms were defined in []. A rotational hypersurface  generated by a curve C about an axis  does not meet C is generated by using the orbit of C under those orthogonal transformations of  which leave  pointwise fixed (See [] remark 2.3).
A curve C rotates about the axis , and at the same time replaces parallel lines orthogonal to the axis , so that the speed of replacement is proportional to the speed of rotation. Finally, the resulting hypersurface is called the helicoidal hypersurface with axis .
Consider the particular case  and let C be the curve parametrized by
        
      
        
      
      
      
      
    
        where f and  are differentiable functions. If  is the timelike vector , then an orthogonal transformation of  that leaves  pointwise fixed has the form  as follows:
      
        
      
      
      
      
    
        and the following relations hold:
      
        
      
      
      
      
     Therefore, the parametrization of the rotational hypersurface obtained by a curve C around an axis  is
        
      
        
      
      
      
      
    
        where  and pitches .
Clearly, an helicoidal hypersurface with timelike axis written as
        
      
        
      
      
      
      
    
When  we have an helicoidal surface with timelike axis in .
Now we give some basic elements of the Minkowski 4-space  Let  be an isometric immersion of a hypersurface  in . Using vectors ,  and , the Minkowskian inner product and vector product are defined by as follows, respectively,
        
      
        
      
      
      
      
    
      
        
      
      
      
      
    
For a hypersurface  in , the first fundamental form matrix is  and  and also the second fundamental form matrix is  and  where     and    and some partial differentials we represent are  
      
        
      
      
      
      
    
        is the Gauss map.   gives the matrix of shape operator (i.e., Weingarten map)  Therefore, we get the Gaussian and the mean curvature formulas, respectively, as follows:
      
        
      
      
      
      
    
        and
        
      
        
      
      
      
      
    
3. Dini-Type Helicoidal Hypersurface with a Timelike Axis
Taking  in (3), we define Dini-type helicoidal hypersurface with a timelike axis in , as follows:
      
        
      
      
      
      
    
      where  and 
Computing the first differentials of (6) depend on  we obtain the first quantities as follows:
      
        
      
      
      
      
    
      and have
      
      
        
      
      
      
      
    
      where  
By using the second differentials depend on  we have the second quantities as follows:
      
        
      
      
      
      
    
      and we get
      
      
        
      
      
      
      
    
The Gauss map of a helicoidal hypersurface with a timelike axis is
      
      
        
      
      
      
      
    
Finally, we have the Gaussian curvature of a helicoidal hypersurface with a timelike axis as follows:
      
        
      
      
      
      
    
      where
- :
 
Then we calculate the mean curvature of a helicoidal hypersurface with a timelike axis as follows:
      
        
      
      
      
      
    
      where
Therefore, we get the following theorems about flatness and minimality of the hypersurface.
Theorem 1. 
Let:  ⟶  be an isometric immersion given by (6). Then  is flat if and only if
      
        
      
      
      
      
    
Theorem 2. 
Let:  ⟶  be an isometric immersion given by (6). Then  is minimal if and only if
      
        
      
      
      
      
    
Solving these two equations is an attractive problem.
In the next two propositions, we will use the function
      
      
        
      
      
      
      
    
      as in Dini helicoidal surface used by Ulisse Dini in Euclidean 3-space, and its following derivatives
      
      
        
      
      
      
      
    
      and
      
      
        
      
      
      
      
    
Proposition 1. 
Letis Dini-type flat hypersurface with a timelike axis (i.e.) in Minkowski 4-space. Using the function (9) and its derivatives (10), (11) and substituting them into the (7) in Theorem 1, we obtain
      
        
      
      
      
      
    where
Proposition 2. 
Letis Dini-type minimal helicoidal hypersurface with a timelike axisin Minkowski 4-space. Using the function (9) and its derivatives (10), (11) and substituting them into the (8) in Theorem 2, we get
      
        
      
      
      
      
    where
Corollary 1. 
From the Proposition 1, and the Proposition 2, we obtain following special symmetries of, respectively,
      
        
      
      
      
      
    and
      
        
      
      
      
      
    where “∼” means theandterm coefficients which ignored signs, respectively, are equal.
Author Contributions
E.G. considered the idea for Dini type helicoidal hypersurface with timelike axis in the four dimensional Minkowski space. Then E.G. and Ö.K. checked and polished the draft.
Funding
This research received no external funding.
Conflicts of Interest
The authors declare that there is no conflict of interests regarding the publication of this paper.
References
- Chen, B.Y. Total Mean Curvature and Submanifolds of Finite Type; World Scientific: Singapore, 1984. [Google Scholar]
 - Takahashi, T. Minimal immersions of Riemannian manifolds. J. Math. Soc. Japan 1966, 18, 380–385. [Google Scholar] [CrossRef]
 - Ferrandez, A.; Garay, O.J.; Lucas, P. On a certain class of conformally at Euclidean hypersurfaces. In Global Analysis and Global Differential Geometry; Springer: Berlin, Germany, 1990; pp. 48–54. [Google Scholar]
 - Choi, M.; Kim, Y.H. Characterization of the helicoid as ruled surfaces with pointwise 1-type Gauss map. Bull. Korean Math. Soc. 2001, 38, 753–761. [Google Scholar]
 - Dillen, F.; Pas, J.; Verstraelen, L. On surfaces of finite type in Euclidean 3-space. Kodai Math. J. 1990, 13, 10–21. [Google Scholar] [CrossRef]
 - Senoussi, B.; Bekkar, M. Helicoidal surfaces with ΔJr = Ar in 3-dimensional Euclidean space. Stud. Univ. Babeş-Bolyai Math. 2015, 60, 437–448. [Google Scholar]
 - Bour, E. Theorie de la deformation des surfaces. J. Ecole Imp. Polytech. 1862, 22, 1–148. [Google Scholar]
 - Do Carmo, M.; Dajczer, M. Helicoidal surfaces with constant mean curvature. Tohoku Math. J. 1982, 34, 351–367. [Google Scholar] [CrossRef]
 - Lawson, H.B. Lectures on Minimal Submanifolds, 2nd ed.; Mathematics Lecture Series 9; Publish or Perish, Inc.: Wilmington, DE, USA, 1980. [Google Scholar]
 - Magid, M.; Scharlach, C.; Vrancken, L. Affine umbilical surfaces in . Manuscr. Math. 1995, 88, 275–289. [Google Scholar] [CrossRef]
 - Vlachos, T. Hypersurfaces in with harmonic mean curvature vector field. Math. Nachr. 1995, 172, 145–169. [Google Scholar]
 - Scharlach, C. Affine geometry of surfaces and hypersurfaces in . In Symposium on the Differential Geometry of Submanifolds; Dillen, F., Simon, U., Vrancken, L., Eds.; University Valenciennes: Valenciennes, France, 2007; Volume 124, pp. 251–256. [Google Scholar]
 - Cheng, Q.M.; Wan, Q.R. Complete hypersurfaces of with constant mean curvature. Monatsh. Math. 1994, 118, 171–204. [Google Scholar] [CrossRef]
 - Arslan, K.; Deszcz, R.; Yaprak, Ş. On Weyl pseudosymmetric hypersurfaces. Colloq. Math. 1997, 72, 353–361. [Google Scholar] [CrossRef]
 - Arvanitoyeorgos, A.; Kaimakamis, G.; Magid, M. Lorentz hypersurfaces in satisfying ΔH = αH. Ill. J. Math. 2009, 53, 581–590. [Google Scholar]
 - Moore, C. Surfaces of rotation in a space of four dimensions. Ann. Math. 1919, 21, 81–93. [Google Scholar] [CrossRef]
 - Moore, C. Rotation surfaces of constant curvature in space of four dimensions. Bull. Am. Math. Soc. 1920, 26, 454–460. [Google Scholar] [CrossRef]
 - Ganchev, G.; Milousheva, V. General rotational surfaces in the 4-dimensional Minkowski space. Turk. J. Math. 2014, 38, 883–895. [Google Scholar] [CrossRef]
 - Verstraelen, L.; Valrave, J.; Yaprak, Ş. The minimal translation surfaces in Euclidean space. Soochow J. Math. 1994, 20, 77–82. [Google Scholar]
 - Kim, Y.H.; Turgay, N.C. Surfaces in with L1-pointwise 1-type Gauss map. Bull. Korean Math. Soc. 2013, 50, 935–949. [Google Scholar] [CrossRef]
 - Moruz, M.; Munteanu, M.I. Minimal translation hypersurfaces in . J. Math. Anal. Appl. 2016, 439, 798–812. [Google Scholar] [CrossRef]
 - Yoon, D.W. Rotation Surfaces with finite type Gauss map in . Indian J. Pure Appl. Math. 2001, 32, 1803–1808. [Google Scholar]
 - Dursun, U. Hypersurfaces with pointwise 1-type Gauss map in Lorentz-Minkowski space. Proc. Est. Acad. Sci. 2009, 58, 146–161. [Google Scholar] [CrossRef]
 - Dursun, U.; Turgay, N.C. Minimal and pseudo-umbilical rotational surfaces in Euclidean space . Mediterr. J. Math. 2013, 10, 497–506. [Google Scholar] [CrossRef]
 - Arslan, K.; Bulca, B.; Milousheva, V. Meridian surfaces in with pointwise 1-type Gauss map. Bull. Korean Math. Soc. 2014, 51, 911–922. [Google Scholar] [CrossRef]
 - Aksoyak, F.; Yaylı, Y. Boost invariant surfaces with pointwise 1-type Gauss map in Minkowski 4-Space . Bull. Korean Math. Soc. 2014, 51, 1863–1874. [Google Scholar] [CrossRef]
 - Aksoyak, F.; Yaylı, Y. General rotational surfaces with pointwise 1-type Gauss map in pseudo-Euclidean space . Indian J. Pure Appl. Math. 2015, 46, 107–118. [Google Scholar] [CrossRef]
 - Güler, E.; Magid, M.; Yaylı, Y. Laplace Beltrami operator of a helicoidal hypersurface in four space. J. Geom. Symmetry Phys. 2016, 41, 77–95. [Google Scholar] [CrossRef]
 - Güler, E.; Hacısalihoğlu, H.H.; Kim, Y.H. The Gauss map and the third Laplace-Beltrami operator of the rotational hypersurface in 4-space. Symmetry 2018, 10, 398. [Google Scholar] [CrossRef]
 - Dini, U. Sopra le funzioni di una variabile complessa. Annali di Matematica Pura ed Applicata 1871, 4, 159–174. [Google Scholar] [CrossRef]
 - Güler, E.; Kişi, Ö. Helicoidal Hypersurfaces of Dini-Type in the Four Dimensional Minkowski Space. In Proceedings of the International Conference on Analysis and Its Applications (ICAA-2018), Kırşehir, Türkiye, 11–14 September 2018; pp. 13–18. [Google Scholar]
 - Do Carmo, M.; Dajczer, M. Rotation Hypersurfaces in Spaces of Constant Curvature. Trans. Am. Math. Soc. 1983, 277, 685–709. [Google Scholar] [CrossRef]
 
© 2019 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).