G3">
검색
Article Search

JMB Journal of Microbiolog and Biotechnology

OPEN ACCESS eISSN 0454-8124
pISSN 1225-6951
QR Code

Article

Kyungpook Mathematical Journal 2022; 62(1): 167-177

Published online March 31, 2022

Copyright © Kyungpook Mathematical Journal.

Classifications of Tubular Surface with L1-Pointwise 1-Type Gauss Map in Galilean 3-space G3

Kişi İlim, Öztürk Günay

Department of Mathematics, Kocaeli University, Kocaeli 41380, Turkey
e-mail : ilim.ayvaz@kocaeli.edu.tr

Department of Mathematics, İzmir Democracy University, İzmir 35140, Turkey
e-mail : gunay.ozturk@idu.edu.tr

Received: December 26, 2020; Accepted: March 23, 2021

In this manuscript, we handle a tubular surface whose Gauss map G satisfies the equality L1G=f(G+C) for the Cheng-Yau operator L1 in Galilean 3-space G3. We give an example of a tubular surface having L1-harmonic Gauss map. Moreover, we obtain a complete classification of tubular surface having L1-pointwise 1-type Gauss map of the first kind in G3 and we give some visualizations of this type surface.

Keywords: Cheng-Yau operator, Gauss map, tubular surface, Galilean 3-space

Finite type immersions are first given by Chen [6]. Let M be a submanifold in m-dimensional Euclidean space Em. An isometric immersion x:M Em is of finite type if it can be written as a finite sum of eigenvectors of the Laplacian Δ of M for a constant map x0, and non-constant maps x1,x2,...,xk, i.e.,

x=x0+ i=1kxi.

Here, Δx=λixi,λi, 1ik. The submanifold is said to be of k-type if the numbers λis are different [6].

Chen and Piccinni generalised these immersions to the Gauss map G of M

ΔG=a(G+C)

for a constant vector C and a real number a in [7]. A submanifold that satisfies the last equality are said to have a 1-type Gauss map.

In the last equality, one can take a non-constant differentiable function f instead of a. Namely, one can generalise the last equality to

ΔG=f(G+C).

A submanifold that satisfies the equation (1.1) is said to have a pointwise 1-type Gauss map. Also, if the vector C is zero, the pointwise 1-type Gauss map is said to be of the first kind. Otherwise, it is of the second kind. If Δ G=0, the Gauss map is harmonic. Surfaces satisfying the equation (1.1) are the subject of many studies such as [3, 4, 13].

In [2, 10], the notion of finite type submanifolds is generalised by replacing the Laplacian operator with operators Lk(k=1,2,...,n1) that represent the linear operators of the first variation of the (k+1)-th mean curvature of a submanifold. Here, L0=Δ and L1 is the Cheng-Yau operator. Recently, some papers have been published about surfaces having L1-pointwise 1-type Gauss map in some spaces, such as [11, 12, 18].

Tubular surfaces are special cases of canal surfaces which are the envelopes of a family of spheres. In canal surfaces, the center of the spheres are on a given space curve (spine curve), and the radius of the spheres are different. In tubular surfaces, the radius functions are constant. These surfaces have been widely studied in recent times [5, 13, 14, 15, 16]. In Galilean 3-space, tubular surfaces are studied in [9].

Here, some preliminaries about Galilean geometry are given. For more detailed information, the studies [19, 20] can be examined.

The scalar product and the cross product of the two vectors a=a1,a2,a3 and b=b1,b2,b3 in G3 are defined as

a,b=a1b1,ifa10orb10a2b2+a3b3ifa1=0andb1=0,%

and

a×b=0e2e3a1a2a3b1b2b3,

respectively. Here, e2=(0,1,0) and e3=(0,0,1) are the orthonormal unit vectors. The length (norm) of the vector a=(a1,a2,a3) is given as follows:

a=a1,ifa10a22+a32,ifa1=0 

[17].

An admissible unit speed curve α:IG3 is given with the parametrization

α(u)=(u,y(u),z(u)).

The associated Frenet frame on the curve is given as

t(u)=(1,y(u),z(u)),n(u)=1κ(u)(0,y(u),z(u)),b(u)=1κ(u)(0,z(u),y(u)),

where κ(u)=y(u)2+z(u)2 and τ(u)=detα(u),α(u),α(u)κ2(u) are the curvature and the torsion of the curve, respectively. Thus, the famous Frenet formulas can be written as

t=κn,n=τb,b=τn.

Definition 2.1. ([1]) A regular curve in Galilean space G3 with constant curvature and non-constant torsion is called a Salkowski curve.

For an isometric immersion X:MM˜ from a hypersurface M from an (n+1)-dimensional Riemannian manifold M˜, and for the Levi-Civita connections ˜ of M˜ and of M, the Gauss formula is given by

˜XY=XY+S(X),Y,

where X,Yχ(M) and S is the shape operator of M. It is known that the eigenvalues κ1,κ2,...,κn of S are the principal curvatures of M. For a smooth function f on M, linear operators Lk are defined

Lk(f)=div(Pk(f)),

where ∇ is the gradient, div is the divergence operator and

Pk= i=0 k(1)iskiSi

is the Newton k-th transformation, sk=nkHk is the k-th mean curvature [8]. Thus, for k=0, P0=In (In is the identity matrix), and for k=1, P1=tr(S)InS.

Now, let M be a surface, e1,e2 be the principal directions correspond to the curvatures k1,k2 of M. From (2.1), for a smooth function f the Cheng-Yau operator L1f can be given as

L1f=div(P1(f))  =e1[k2]e1f+e2[k1]e2f+k2e1e1e2e2f+k1e2e2e1e1f.

Hence, the Cheng-Yau operator L1 can be given

L1=e1[k2]˜e1+e2[k1]˜e2+k2˜e1˜e1 ˜ e2 e2 +k1˜e2˜e2 ˜ e1 e1

[11].

Let the surface M parametrized with

X(u1,u2)=(x(u1,u2),y(u1,u2),z(u1,u2))

in G3. To represent the partial derivatives, we use

x,i=xuiandx,ij=2xuiuj,1i,j2.

If x,i0 for some i=1,2, then the surface is admissible (i.e. having not any Euclidean tangent planes). The first fundamental form I of the surface M is defined as

I=(g1du1+g2du2)2+ε(h11du12+2h12du1du2+h22du22),

where gi=x,i, hij=y,iy,j+z,iz,j; i,j=1,2 and

ε=0,ifdu1:du2isnonisotropic,1,ifdu1:du2isisotropic.

Let a function W is given by

W=x,1z,2x,2z,12+x,2y,1x,1y,22.

Then, the unit normal vector field is given as

G=1W(0,x,1z,2+x,2z,1,x,1y,2x,2y,1).

Similarly, the second fundamental form II of the surface M is defined as

II=L11du12+2L12du1du2+L22du22,

where

Lij=1g1g1(0,y,ij,z,ij)gi,j(0,y,1,z,1),N,g10

or

Lij=1g2g2(0,y,ij,z,ij)gi,j(0,y,2,z,2),N,g20.

The Gaussian and the mean curvatures of M are defined as

K=L11L22L122W2andH=g22L112g1g2L12+g12L222W2.

A surface is flat (resp. minimal) if its Gaussian (resp. mean) curvatures vanish [19].

Lemma 2.2. ([11]) Let M be an oriented surface in E3 and K and H be the Gaussian and the mean curvatures of M, respectively. Then the Gauss map G

L1G=K2HKG.

Definition 2.3. ([11]) Let M be an oriented surface in E3. Then, M is said to have an L1-harmonic Gauss map if its Gauss map satisfies L1G=0.

Definition 2.4. ([11]) Let M be an oriented surface in E3. Then, M is said to have an L1-pointwise 1-type Gauss map if its Gauss map satisfies

L1G=fG+C

for a smooth function f and a constant vector C. If the vector C is zero, the pointwise L1-type Gauss map is of the first kind, otherwise, it is of the second kind.

A tubular surface M in G3 at a distance r from the points of spine curve α(u)=(u,y(u),z(u)) is given with

M:X(u,v)=α(u)+r(cosvn+sinvb).

Writing the Frenet vectors of α(u) in (3.1), the parametrization can be given as

M:X(u,v)=(u,y(u),z(u))+rκcosv(0,y(u),z(u))+sinv(0,z(u),y(u)).

From (3.2),

g1=u,1=1,g2=u,2=0.

An orthonormal frame e1,e2,G of M is given by

e1=XuXu=trτsinvn+rτcosvb,Xu=1e2=XvXv=sinvn+cosvb,%Xv=r

and

G=cosvnsinvb.

Here W=r. The coefficients of the second fundamental form are obtained as

L11=κcosv+rτ2,L12=rτ,L22=r.

From, (3.3) and (3.6), the curvature functions of M are obtained as

K=κcosvr,H=12r

[9].

Corollary 3.5. ([9]) Tubular surfaces are constant mean curvature surfaces in Galilean space.

By (3.7), we write the gradient of the Gaussian curvature

K=κcosvre1+κsinvre2.

Thus, from (3.4), (3.7) and (3.7), we obtain the Cheng-Yau operator of the Gauss map as

L1G=1r2κrcosvt+κτr2cosvsinvκrsin2v+κcos2vn+κτr2cos2v+κrsinvcosv+κcosvsinvb.

Now, we consider the surface M has L1-harmonic Gauss map, i.e. L1G=0. Then, from (3.9), we have

κrcosv=0

and

  κτr2cosvsinvκrsin2v+κcos2v=0,κτr2cos2v+κrsinvcosv+κcosvsinv=0.

Writing κrcosv=0 in (3.10), we get

  κrsin2v+κcos2v=0,κrsinvcosv+κcosvsinv=0.

Multiplying the first equation with cosv and the second with sinv, we obtain κcosv=0, which implies κ =0 or cosv=0. If cosv=0, again from (3.10), κ =0.

Then, we give the following theorem:

Theorem 3.6. Let M be a tubular surface given with the parametrization (3.1) in G3. M has L1-harmonic Gauss map if and only if the spine curve α is a straight line and M is an open part of a cylinder. Thus, the surface is flat.

Example 3.7. Let us consider the tubular surface M, which has L1-harmonic Gauss map with the parametrization (3.1) in G3. Taking the straight line α(u)=(u,u+1,u+2) and writing the Frenet vectors of it n(u)=(0,1,0), b(u)=(0,0,1) and r=4 in (3.1), we write the parametrization of the surface M as

M:X(u,v)=(u,u+1+4cosv,u+2+4sinv).

By using the software Maple, we plot the graph of the surface in (3.11).

Figure 1. Tubular surfaces M which has L1-harmonic Gauss map with the spine curve α(u)=(u,u+1,u+2) and the radius r=4.

Now, we assume that the tubular surface M has L1-pointwise 1-type Gauss map of the first kind, i.e., L1G=fG for a smooth function f. Then, from (3.5) and (3.9),

1r2 κrcosvt +κτr2cosvsinvκrsin2v+κcos2vn +κτr2cos2v+κrsinvcosv+κcosvsinvb.=fcosvnfsinvb

From (3.12), we have

κcosv=0

and

  κτr2cosvsinvκrsin2v+κcos2v=fr2cosv,κτr2cos2v+κrsinvcosv+κcosvsinv=fr2sinv.

Similar to above, writing κcosv=0 in (3.13), we get

  κrsin2v+κcos2v=fr2cosv,κrsinvcosv+κcosvsinv=fr2sinv.

Multiplying the first equation with cosv, the second with sinv, and combining them, we obtain f=κcosvr2. Moreover, since κcosv=0, we have two cases: κ =0 or κ is a constant. If κ =0, the tubular surface M has L1-harmonic Gauss map. Thus, κ is a nonzero constant.

Theorem 3.8. Let M be a tubular surface given with the parametrization (3.1) in G3. M has L1-pointwise 1-type Gauss map of the first kind if and only if the curvature κ of the curve is constant and f=Kr.

Corollary 3.9. The spine curve of the surface which has L1-pointwise 1-type Gauss map of the first kind is a Salkowski curve in G3.

Example 3.10. Let us consider the tubular surface M, which has L1-pointwise 1-type Gauss map of the first kind with the parametrization (3.1) in G3. For the curves α1(u)=(u,cosu,sinu), α2(u)=(u,u22,0), and the radius r=2, we write the parametrizations of the surfaces M1 and M2 as

M1:X(u,v)=u,cosu2cosu+v,sinu2sinu+v,M2:X(u,v)=u,u22+2cosv,2sinv.

We again use Maple to plot the graphs of the surfaces in (3.15).

Figure 2. Tubular surfaces M1 and M2 which have L1-harmonic Gauss map with the spine curves α1(u)=(u,cosu,sinu), and the radius r=2.

Lastly, we consider that the tubular surface M has L1-pointwise 1-type Gauss map of the second kind, i.e., L1G=fG+C for a smooth function f and a nonzero constant vector C. From the equations (2.6) and (3.9), we can write the vector C as

C=1fr2κrcosvt+A(u,v)n+B(u,v)b,

where

A(u,v)=κτr2cosvsinvκrsin2v+κcos2vfr2cosv,B(u,v)=κτr2cos2v+κrsinvcosv+κcosvsinvfr2sinv.

Since C is a nonzero constant vector, ˜e1C=0 and ˜e2C=0. Thus, we have

0=˜e1C=e1κcosvfrt    +e1A(u,v)fr2+τB(u,v)fr2+κκcosvfr    +e1B(u,v)fr2τA(u,v)fr2b,

and

0=˜e2C=e2κcosvfrt+e2A(u,v)fr2n+e2B(u,v)fr2b.

Since

e1κcosvfr=e2κcosvfr=0,

we get

κf=κfu,fsinv=fvcosv.

From the last differential equation system,

f=aκcosv,

where a is a real constant. By the equation (3.17),

e2A(u,v)fr2=e2B(u,v)fr2=0

which means

A(u,v)=fh1(u),B(u,v)=fh2(u).

Here h1(u) and h2(u) are any functions of u. Moreover, from (3.16),

e1B(u,v)fr2τA(u,v)fr2=0.

Writing (3.19) in the last equation, we obtain

e1h2(u)τh1(u)=0,

which has a solution as

h2(u)=τh1(u)du.

From (3.16), we have

e1A(u,v)fr2+τB(u,v)fr2+κκcosvfr=0.

Again writing (3.19) in the last equation, we obtain

e1h1(u)+τh2(u)+κra=0,

which has a solution as

h1(u)= τ h2 (u)+κradu.

Then, we give the following theorem:

Theorem 3.11. Let M be a tubular surface given with the parametrization (3.1) in G3. M has L1-pointwise 1-type Gauss map of the second kind if and only if f=aκcosv for a real constant a and the equations (3.19)-(3.21) are hold.

  1. A. T. Ali, Position vectors of curves in the Galilen Space G3, Matematicki Vesnik, 64(2012), 200-210.
  2. L. J. Alias and N. Gürbüz, An extension of Takahashi theorem for the linearized operators of the higher order mean curvatures, Geom. Dedicata, 121(2006), 113-127. 3, Rotational embeddings in E4 with pointwise 1-type Gauss map, Turk. J. Math., 35(2011), 493-499. 4, Vranceanu surface in E4 with pointwise 1-type Gauss map, Indian J. Pure Appl. Math., 42(2011), 41-51.
    CrossRef
  3. B. Bulca, K. Arslan, B. Bayram and G. Öztürk, Canal surfaces in 4-dimensional Euclidean Space, Libertas Mathematica, 32(2012), 1-13.
    CrossRef
  4. B. Y. Chen. Total Mean Curvature and Submanifolds of Finite Type. Series in Pure Mathematics. Singapore: 1. World Scientific Publishing Co.; 1984.
    CrossRef
  5. B. Y. Chen and P. Piccinni, Submanifolds with finite type Gauss map, Bull. Austral. Math. Soc., 35(1987), 161-186.
    CrossRef
  6. S. Y. Cheng and S. T. Yau, Hypersurfaces with constant scalar curvature, Math. Ann., 225(1977), 195-204.
    CrossRef
  7. M. Dede, Tubular surfaces in Galilean space, Math. Commun., 18(1)(2013), 209-217.
    CrossRef
  8. S. M. B. Kashani, On some L1-finite type (hyper)surfaces in n+1, Bull. Korean Math. Soc., 46(2009), 35-43.
    CrossRef
  9. Y. H. Kim and N. C. Turgay, Surfaces in E3 with L1-pointwise 1-type Gauss map, Bull. Korean Math. Soc., 50(3)(2013), 935-949.
  10. Y. H. Kim and N. C. Turgay, On the ruled surfaces with L1-pointwise 1-type Gauss map, Kyungpook Math. J., 57(1)(2017), 133-144.
    CrossRef
  11. İ. Kişi and G. Öztürk, A new approach to canal surface with parallel transport frame, Int. J. Geom. Methods Mod. Phys., 14(2)(2017), 1-16.
  12. İ. Kişi and G. Öztürk, Tubular surface having pointwise 1-type Gauss map in Euclidean 4-space, Int. Electron. J. Geom., 12(2019), 202-209.
    CrossRef
  13. İ. Kişi, G. Öztürk and K. Arslan, A new type of canal surface in Euclidean 4-space E4, Sakarya University Journal of Science, 23(2019), 801-809.
  14. G. Öztürk, B. Bulca, B. K. Bayram and K. Arslan, On canal surfaces in E3, Selçuk J. Appl. Math., 11(2010), 103-108.
    CrossRef
  15. B. J. Pavkovic and I. Kamenarovic, The equiform differential geometry of curves in the Galilean space G3, Glas. Mat. Ser. III, 22(1987), 449-457.
  16. J. Qian and Y. H. Kim, Classifications of canal surfaces with L1-pointwise 1-type Gauss map, Milan J. Math., 83(1)(2015), 145-155.
  17. O. Röschel. Die Geometrie Des Galileischen Raumes. Austria: Forschungszentrum Graz Research Centre; 1986.
  18. I. M. Yaglom. A simple non-Euclidean geometry and its physical basis. New York: Springer-Verlag Inc.; 1979.
    CrossRef