Superficie de Revolução
Superficie de Revolução
Superficie de Revolução
1. Introduction
Let x : M → Em be an isometric immersion of a connected n-dimensional
manifold in Euclidean m-space Em . Denote by H and Δ the mean curvature
and the Laplacian of M with respect to the Riemannian metric on M induced
from that of Em , respectively. Takahashi [7] proved that the submanifolds in
Em satisfying Δx = λx, that is, all coordinate functions are eigenfunctions of
the Laplacian with the same eigenvalue λ ∈ R are either the minimal subman-
ifolds of Em or the minimal submanifolds of hypersphere Sm−1 in Em .
As an extension of Takahashi theorem, Garay [4] studied hypersurfaces in Em
whose coordinate functions are eigenfunctions of the Laplacian, but not nec-
essarily associated to the same eigenvalue. Specifically, Garay [4] considered
hypersurfaces in Em satisfying the condition
Δx = Ax,
M. Choi was supported by the National Research Foundation of Korea Grant funded by the
Korean Government [NRF-2009-351-C00009]. Y. H. Kim was supported by Basic Science
Research Program through the National Research Foundation of Korea (NRF) funded by
the Ministry of Education, Science and Technology (2010-0007184).
86 M. Choi et al. J. Geom.
2. Preliminaries
Let E31 be Minkowski 3-space with the scalar product of index 1 given by
·, · = −dx20 + dx21 + dx22 , where (x0 , x1 , x2 ) is a standard rectangular coor-
dinate system of E31 . A vector x of E31 is said to be space-like if x, x > 0 or
x = 0, time-like if x, x < 0 and light-like or null if x, x = 0 and x = 0. A
time-like or light-like vector in E31 is said to be causal.
Now, we define a surface of revolution M in Minkowski 3-space E31 .
Let γ : I = (a, b) ⊂ R → Π be a curve in a plane Π of E31 and l a straight
line which does not intersect the curve γ. A surface of revolution M is a non-
degenerate surface revolving the curve γ around the axis l. Depending on the
axis being space-like, time-like or light-like, there are three types of motions.
If the axis l is space-like (resp. time-like), then l is transformed to the x1 -axis
or x2 -axis (resp. x0 -axis) by the Lorentz transformation. Therefore, we may
Vol. 104 (2013) Classification of surfaces of revolution 87
consider the x2 -axis (resp. x0 -axis) as the axis l if it is space-like (resp. time-
like). If the axis is light-like, we may assume that the axis is the line spanned
by the vector (1, 1, 0). Thus we consider the surfaces of revolution in E31 with
space-like, time-like or light-like axis, respectively (cf. [6]).
Case 1 The axis l is space-like.
Suppose that the profile curve γ lies in the x1 x2 -plane or x0 x2 -plane. Then the
curve γ can be represented by γ(u) = (0, f (u), g(u)) or γ(u) = (f (u), 0, g(u))
for some smooth functions f and g on an open interval I = (a, b).
On the other hand, a subgroup of the Lorentz group which fixes the vector
(0, 0, 1) is given by
⎛ ⎞
cosh v sinh v 0
⎝ sinh v cosh v 0 ⎠
0 0 1
for v ∈ R. Hence the surface M can be parameterized by
x(u, v) = (f (u) sinh v, f (u) cosh v, g(u)), f (u) > 0 (2.1)
or
x(u, v) = (f (u) cosh v, f (u) sinh v, g(u)), f (u) > 0 (2.2)
for v ∈ R.
Case 2 The axis l is time-like.
Without loss of generality, we may assume that the profile curve γ lies in the
x0 x1 -plane and so is given by γ(u) = (g(u), f (u), 0) for some positive function
f = f (u) on an open interval I = (a, b). Since a subgroup of the Lorentz group
which fixes the vector (1, 0, 0) is given by
⎛ ⎞
1 0 0
⎝ 0 cos v − sin v ⎠
0 sin v cos v
for v ∈ R, the surface of revolution M revolving γ around the axis Ox0 can be
written as
x(u, v) = (g(u), f (u) cos v, f (u) sin v)
for v ∈ R.
Case 3 The axis l is light-like.
In this case, we may suppose that the axis l is the line spanned by the vector
(1, 1, 0) and the curve γ lies in the x0 x1 -plane of the form γ(u) = (f (u), g(u), 0),
where f = f (u) is a positive function and g = g(u) is a function satisfying
p(u) = f (u) − g(u) = 0 for all u ∈ I. We notice here that a subgroup of the
Lorentz group which fixes the vector (1, 1, 0) is given by
⎛ 2 2 ⎞
1 + v2 − v2 v
⎝ v2 1 − v2
2
v⎠
2
v −v 1
88 M. Choi et al. J. Geom.
1 ∂
∂
2
Δh = − |H| hij . (2.3)
|H| i,j=1 ∂xi ∂xj
3. Some examples
Before going into the study about surfaces of revolution in Minkowski 3-space
E31 satisfying condition (1.2), let us see some examples of surfaces in E31 .
Example 3.1. (Catenoid of the 1st kind). A catenoid of the 1st kind is param-
eterized by (Fig. 1)
x(u, v) = (u, sinh u cos v, sinh u sin v).
It is a space-like surface of revolution with time-like axis in E31 . We can check
that the 2nd-Laplacian Δh x of x satisfies
⎛ ⎞
0 0 0
Δh x = ⎝ 0 2 0 ⎠ x.
0 0 2
Example 3.2. (Catenoid of the 2nd kind). Let M be a space-like surface of
revolution with space-like axis in E31 with parametrization (Fig. 2)
x(u, v) = (cos u cosh v, cos u sinh v, u).
It is called a catenoid of the 2nd kind in E31 . We can show that the 2nd-Lapla-
cian Δh x of x is given by
⎛ ⎞
2 0 0
Δh x = ⎝ 0 2 0 ⎠ x.
0 0 0
Example 3.3. (Catenoid of the 3rd kind). A catenoid of the 3rd kind is param-
eterized by (Fig. 3)
x(u, v) = (u, cos u cos v, cos u sin v).
It is a time-like surface of revolution with time-like axis in E31 . Furthermore,
the 2nd-Laplacian Δh x of x satisfies
⎛ ⎞
0 0 0
Δh x = ⎝ 0 2 0 ⎠ x.
0 0 2
Example 3.4. (Catenoid of the 4th kind). Consider a catenoid of the 4th kind
parameterized by (Fig. 4)
x(u, v) = (sinh u cosh v, sinh u sinh v, u).
It is a time-like surface of revolution with space-like axis in E31 . Also, it satisfies
⎛ ⎞
2 0 0
Δh x = ⎝ 0 2 0 ⎠ x.
0 0 0
90 M. Choi et al. J. Geom.
Remark. The catenoids of the 1st, 2nd, 3rd, 4th and 5th kind are all minimal
[8].
Therefore, using the data described above, the mean curvature H is given by
1 g
H= f g − f g − . (4.3)
2 f
We put
f (u) = cos t, g (u) = sin t
for some smooth function t = t(u). Since the second fundamental form h of M
is non-degenerate, the function t is non-vanishing everywhere. Furthermore,
the mean curvature H given by (4.3) becomes
1 sin t
H= −t − . (4.4)
2 f
By a straightforward computation, the 2nd-Laplacain Δh x of x with the help
of (2.3) and (4.2) turns out to be [5]
Δh x = (Φ1 (t(u)) sinh v, Φ1 (t(u)) cosh v, Ψ1 (t(u))), (4.5)
where
1 cos t t 2H cos t
Φ1 (t(u)) = − sin t − − + ,
sin t 2t t sin t
sin t t 2H cos t
Ψ1 (t(u)) = cos t − + .
2t t sin t
By the assumption (4.1) and the above Eq. (4.5), we get the following system
of differential equations:
Φ1 (t(u)) sinh v = a11 f sinh v + a12 f cosh v + a13 g + b1 , (4.6)
Φ1 (t(u)) cosh v = a21 f sinh v + a22 f cosh v + a23 g + b2 , (4.7)
Ψ1 (t(u)) = a31 f sinh v + a32 f cosh v + a33 g + b3 . (4.8)
From (4.6), (4.7) and (4.8), we easily deduce that a12 = a21 = a13 = a23 =
a31 = a32 = 0, b1 = b2 = 0 and a11 = a22 , i.e., the matrix A is diagonal. We
put a11 = a22 = λ and a33 = μ, λ, μ ∈ R. Then, the system reduces now to the
following equations
Φ1 (t(u)) = λf, (4.9)
Ψ1 (t(u)) = μg + b3 . (4.10)
We discuss five cases according to the constants λ and μ.
Case 1 λ = μ = 0.
In this case, combining (4.9) and (4.10) we can easily get b3 cos t = 2. So, the
function f (u) = cos t is a constant. It is a contradiction to the second funda-
mental form to be non-degenerate. Thus, there are no surfaces of revolution
with space-like axis satisfying (4.1).
Case 2 λ = μ = 0.
From (4.9) and (4.10), we obtain
λf sin t − λg cos t = −2 + b3 cos t.
Vol. 104 (2013) Classification of surfaces of revolution 93
where
1 sinh t t 2H sinh t
Φ2 (t(u)) = cosh t + + − + ,
cosh t 2t t cosh t
cosh t t 2H sinh t
Ψ2 (t(u)) = sinh t + − + .
2t t cosh t
Suppose that the surface M satisfies Eq. (4.1). Then from (4.24), we obtain
the following system of ordinary differential equations:
Ψ2 (t(u)) = a11 g + a12 f cos v + a13 f sin v + b1 ,
Φ2 (t(u)) cos v = a21 g + a22 f cos v + a23 f sin v + b2 ,
Φ2 (t(u)) sin v = a31 g + a32 f cos v + a33 f sin v + b3 ,
which imply a12 = a21 = a13 = a23 = a31 = a32 = 0, b2 = b3 = 0 and
a22 = a33 . We put a22 = a33 = λ and a11 = μ. Then, the above system
reduces
Ψ2 (t(u)) = μg + b1 , (4.25)
Φ2 (t(u)) = λf. (4.26)
In order to solve the system, we split it into five cases according to the con-
stants λ and μ.
Case 1 λ = μ = 0.
From the above system of ODEs, we obtain b1 sinh t = 2. From this, the func-
tion f (u) = sinh t is a constant. It is a contradiction to the fact that M has
the non-degenerate second fundamental form. Thus, there are no surfaces of
revolution with time-like axis satisfying (4.1).
Case 2 λ = μ = 0.
From (4.25) and (4.26), we obtain
λf cosh t − λg sinh t = 2 + b1 sinh t.
Differentiating the above equation with respect to u, we have
(λf sinh t − λg cosh t − b1 cosh t)t = 0
or, equivalently
b1
f f − gg − g = 0.
λ
It follows
2
2 b1
f − g− = r2
λ
for some constant r. Thus, M is an open part of a pseudo-sphere S21 (c, r)
centered at c = ( br1 , 0, 0) with radius r on E31 .
Case 3 λ = 0, μ = 0.
By combining (4.25) and (4.26), we get
2 − λf cosh t + b1 sinh t = 0.
98 M. Choi et al. J. Geom.
(μ − λ) sinh t cosh t
t = ,
S
2 3
((2λ − μ) sinh2 t + (λ − 2μ) cosh2 t)t + 2t
t = , (4.32)
(λ − μ) sinh t cosh t
where ν = μ − λ.
By multiplying Sf sinh t to (4.33) and using (4.31), we get
ξ3 f 3 + ξ2 f 2 + ξ1 f + ξ0 = 0,
where
1. M is an open piece of the catenoid of the 1st kind or the 3rd kind.
k (u)(k (u) − uk (u))
2
k (u) − 1 − v 2 + 2 k (u)
2uk (u)
= a11 (k(u) − u − uv 2 ) + a12 (k(u) + u − uv 2 ) − 2a13 uv + b1 , (5.3)
k (u)(k (u) − uk (u))
2
k (u) + 1 − v 2 + 2 k (u)
2uk (u)
= a21 (k(u) − u − uv 2 ) + a22 (k(u) + u − uv 2 ) − 2a23 uv + b2 , (5.4)
k (u)(k (u) − uk (u))v
−
uk (u)2
= a31 (k(u) − u − uv 2 ) + a32 (k(u) + u − uv 2 ) − 2a33 uv + b3 . (5.5)
Combining (5.3) and (5.4), we have
k (u)(k (u) − uk (u))
− = (a11 + a12 − a21 − a22 )k(u)
uk (u)2
− (a11 − a12 − a21 + a22 )u − (a11 + a12 − a21 − a22 )uv 2
− 2(a13 − a23 )uv + b1 − b2 . (5.6)
Since Eq. (5.6) is a polynomial in v with functions of u as the coefficients, we
obtain
a11 + a12 − a21 − a22 = 0, a13 − a23 = 0. (5.7)
From (5.7), Eq. (5.6) reduces now to the following equation
k (u)(k (u) − uk (u))
= (a11 − a12 − a21 + a22 )u + b1 − b2 . (5.8)
uk (u)2
Combining (5.5) and (5.8), we have
(−a11 + a12 + a21 − a22 )uv − (b1 − b2 )v
= (a31 + a32 )(k(u) − uv 2 ) + (−a31 + a32 )u − 2a33 uv − b3 . (5.9)
Since Eq. (5.9) is a polynomial with respect to v, we find
a31 + a32 = 0, −a31 + a32 = 0, a11 − a12 − a21 + a22 = 2a33 , b1 = b2 , b3 = 0,
which imply a31 = a32 = 0. Thus, Eq. (5.8) can be reduced as
k (u)(k (u) − uk (u))
= 2a33 u. (5.10)
uk (u)2
By adding (5.3) and (5.4), we obtain
k (u)(k (u) − uk (u))
2
(k (u) − v 2 ) + 4 k (u)
uk (u)
= 2(a11 + a12 )(k(u) − uv 2 ) − (a11 − a12 + a21 − a22 )u
− 4a13 uv + 2b1 . (5.11)
From this, we get
k (u)(k (u) − uk (u))
= 2(a11 + a12 )u, a13 = 0. (5.12)
uk (u)2
102 M. Choi et al. J. Geom.
By (5.10) and (5.12), a11 + a12 = a33 . From the above equations involving aij ,
the matrix A has the form as the following:
⎛ ⎞ ⎛ ⎞
a11 a12 0 b1
A = ⎝ −a12 a22 0 ⎠ , B = ⎝ b1 ⎠ ,
0 0 a33 0
where a11 + a12 = −a12 + a22 = a33 .
On the other hand, Eq. (5.11) with the help of (5.10) becomes
a33 uk (u) + 2 k (u) = a33 k(u) + 2a12 u + 2b1 . (5.13)
Thus, from (5.10) and (5.13) we have the system of differential equations as
follows:
√
k (u)(k (u)−uk (u))
uk (u)2 = 2a33 u, (5.14)
a33 uk (u) + 2 k (u) = a33 k(u) + 2a12 u + 2b1 ,
where a11 + a12 = a33 .
On the other hand, differentiating the second equation of (5.14) with respect
to u gives
k (u)
a33 uk (u) + = 2a12 . (5.15)
k (u)
Now, we deal with (5.14) and (5.15) according to three cases concerning the
constants a12 and a33 .
Case 1 a33 = 0. In this case, from the first equation in (5.14) and (5.15), we
have
k (u)(k (u) − uk (u)) k (u)
= 0, = 2a12 . (5.16)
uk (u)2 k (u)
Since the second fundamental form is non-degenerate, k (u) = 0. Hence, a
general solution k(u) of (5.16) is given by
1
k(u) = λ2 u3 + c,
3
where λ = a12 = 0 and c is a constant of integration. Substituting the function
k(u) to in the second equation of (5.14), we can easily obtain b1 = 0 and so
B = 0. Also, the matrix A becomes
⎛ ⎞
−λ λ 0
⎝ −λ λ 0 ⎠ .
0 0 0
Consequently, the surface M is parameterized by
1 2 3 1
x(u, v) = λ u − u − uv 2 + c, λ2 u3 + u − uv 2 + c, −2uv (5.17)
3 3
for some constants λ = 0 and c (Fig. 6).
Case 2 a33 = 0 and a12 = 0.
Vol. 104 (2013) Classification of surfaces of revolution 103
In this case, combining the first equation in (5.14) and (5.15) we get the fol-
lowing ODE:
1
k (u) − 2a233 u2 k (u)2 −
k (u) = 0,
u
from which, the general solution of the equation is given by
1
k(u) = − + c,
μ2 u
where μ = a33 and c is a constant of integration. Substituting the solution k(u)
in the second equation in (5.14), we have b1 = − 21 μc and B = − 21 μc(1, 1, 0).
Also, the matrix A reduces to μI3 , where I3 denotes the identity matrix of
degree 3. Thus, M is parameterized by
1 1
x(u, v) = − 2 − u − uv 2 + c, − 2 + u − uv 2 + c, −2uv (5.18)
μ u μ u
for some constants μ = 0 and c (Fig. 7).
Case 3 a33 = 0 and a12 = 0.
In this case, combining the first equation in (5.14) and (5.15) yields
1
k (u) + 4a12 a33 u − k (u) = 2a233 u2 k (u)2 . (5.19)
u
From this, k (u) is given by
4a212 u
k (u) = .
2a12 a33 u2 + 1
It follows that the general solution k(u) of (5.19) can be given by
a12 a33 2 1
k(u) =
ln u + 2 du + c1 u + c2 , (5.20)
a33 2a12 4a12
1. M is an open piece of a catenoid of the 1st kind, the 2nd kind, the 3rd
kind, the 4th kind or the 5th kind.
2. M is an open piece of a pseudo-sphere S21 (c, r) for some constant vector
c and r > 0.
3. M is an open piece of a hyperbolic space H2 (c, r) for some constant vector
c and r > 0.
4. M is open piece of the surface given by (5.17), (5.18) or (5.21).
Combining Theorem 4.1, Theorem 4.2 and the result of [1,8], we have
Theorem 5.3. Let x : M → E31 be an isometric immersion of a surface of
revolution with the non-degenerate second fundamental form h in E31 , whose
axis is space-like or time-like. Then, the following are equivalent:
References
[1] Alı́as, L.J., Ferrández, A., Lucas, P.: Surfaces in the 3-dimensional Lorentz-
Minkowski space satisfying Δx = Ax + B. Pac. J. Math. 156, 201–208 (1992)
[2] Chen, B.-Y.: Total Mean Curvature and Submanifolds of Finite Type. World
Scientific, Singapore (1984)
[3] Dillen, F., Pas, J., Vertraelen, L.: On surfaces of finite type in Euclidean 3-space.
Kodai Math. J. 13, 10–21 (1990)
[4] Garay, O.J.: An extension of Takahashi’s theorem. Geom. Dedicata 34, 105–112
(1990)
[5] Kaimakamis, G., Papantoniou, B.: Surfaces of revolution in the 3-dimensional
Lorentz-Minkowski space satisfying ΔII r = Ar. J. Geom. 81, 81–92 (2004)
[6] Ki, U.-H., Kim, D.-S., Kim, Y.H., Roh, Y.-M.: Surfaces of revolution with point-
wise 1-type Gauss map in Minkowski 3-space. Taiwan. J. Math. 13, 317–338
(2009)
[7] Takahashi, T.: Minimal immersions of Riemannian manifolds. J. Math. Soc.
Japan 18, 380–385 (1996)
[8] Woestijne, I.V.: Minimal surfaces in the 3-dimensional Minkowski space. In:
Morvan, J.M., et al. (eds.) Geometry and Topology of Submanifolds, vol. II, pp.
344–369. World Scientific, Singapore (1990)
106 M. Choi et al. J. Geom.
Miekyung Choi
Department of Mathematics Education and RINS
Gyeongsang National University
Jinju 660-701, Korea
e-mail: [email protected]
Young Ho Kim
Department of Mathematics Education
Kyungpook National University
Taegu 702-701, Korea
e-mail: [email protected]