In this section, the classifications of three types of canal surfaces are discussed in terms of their Gauss maps. We prove the results for and omit the proofs for and since they can be similarly done to those of in what follows.
3.1. The Canal Surfaces of Type with Pointwise 1-Type Gauss Maps
From Equation (
2), the canal surface
is parameterized as
where
, (
) is a smooth function.
Through direct calculations, we have initially
where
Thus, the Gauss map
of
is
which points towards
inside and
.
Meanwhile, the quantities of the first fundamental form are obtained as
and the quantities of the second fundamental form are written by
where
From Equations (
7) and (
8), the Gaussian curvature
K and the mean curvature
H of
are
Remark 4. From due to regularity, we see that everywhere.
Serving the following discussion, the Laplacian of the Gauss map
of
needs to be calculated. First, from the first fundamental form of
, we have
Substituting (
6), (
7), and (
11) into (
1), and by putting
where
after complicated arrangements, we get
Assume that a canal surface
satisfies
. Without loss of generality, we may suppose
where
.
Substituting (
6), (
14), and (
15) into
, we obtain the following equation system:
From the last two equations of (
16), we have
Rearranging (
17) with the help of (
5), (
9), and (
12), we get
Since
constructs a set of linearly independent functions, in view of the coefficients of
and
in (
18) by the aid of (
5), (
7), and (
13), we have
From (
19), we consider a non-empty open subset
of
. Since
,
, then we have
on
. However, if
, (
18) gives
which contradicts the regularity of
. Hence,
,
is a surface of revolution.
Putting
and
,
can be represented by
Furthermore, when
, the first equation of (
16) gives
Because
are all functions of
s when
, Equation (
20) yields
. Then, by the last two equations of (
16), we obtain
Because
,
and
, Equation system (
21) implies
. In addition,
Combining (
20) and (
22), we get
Substituting (
23) into (
22), we have
Noticing that the principal curvatures are given by
when
, and thus the Gaussian curvature
K, the mean curvature
H can be abbreviated as
Due to
, the mean curvature cannot be a constant. With the help of (
10), Equation (
23) can be rewritten as
Simplifying (
27) with the help of (
26), the radial function
satisfies the following equation:
Conversely, if
is a surface of revolution which satisfies (
28), then
is satisfied for a non-zero function
f as stated by (
24) and a constant vector
in which
is a non-zero constant.
Theorem 1. A canal surface has a proper pointwise 1-type Gauss map of the second kind iff it is a surface of revolution with the following form:which satisfies (28). Corollary 1. A canal surface with proper pointwise 1-type Gauss map of the second kind satisfies for a constant vector and non-zero smooth function where H and K are given by (26), and is a non-zero constant. Corollary 2. A canal surface has 1-type Gauss map of the second kind iff it is a surface of revolution represented aswhich satisfies (30). Proof. When a canal surface
satisfies
,
, by Theorem 1,
is a surface of revolution which satisfies (
28). By Corollary 1, we get
From (
28) and (
29), we get
The converse is straightforward. □
Theorem 2. A canal surface has proper pointwise 1-type Gauss map of the first kind iff it is minimal. Precisely, it is a part of a surface of revolution aswhich satisfies (33). Proof. A canal surface
has proper pointwise 1-type Gauss map of the first kind, i.e.,
for some smooth function
f. From Equation (
14), we have
From the last two equations of (
31), we get
with the help of Equation (
7), we obtain
. Therefore,
due to
. Furthermore, from the first two equations of (
31), we get
. It is obvious that
. Then, the mean curvature of
is constant.
By the Corollary 3.6 of [
4], i.e., the canal surface
with non-zero constant mean curvature does not exist, thus the canal surface
is minimal. From the Theorem 3.8 of [
4], it is a part of a surface of revolution with the following form:
which satisfies
Looking back the Equation (
31) with the conclusions obtained above, we have
Conversely, suppose that
is a surface of revolution satisfying (
33),
is minimal from the Theorem 3.8 of [
4] and
is satisfied for some non-zero function
f given by (
34). □
Corollary 3. A canal surface with proper pointwise 1-type Gauss map of the first kind satisfies
Assume that a canal surface satisfies , . By Corollary 3, we have is a constant, i.e., r is a constant. Thus, we have the following result.
Corollary 4. A canal surface has 1-type Gauss map of the first kind iff it is a circular cylinder.
From Corollary 3, the following conclusion is straightforward since .
Corollary 5. The canal surface with harmonic Gauss map does not exist.
3.2. The Canal Surfaces of Type with Pointwise 1-Type Gauss Maps
From Equation (
3), the canal surface
is parameterized as
where
,
is a smooth function.
Through direct calculations, we have initially
where
Thus, the Gauss map
of
is
which points towards
inside and
.
Meanwhile, the quantities of the first fundamental form are obtained as
the quantities of the second fundamental form are written by
where
From Equations (
36) and (
37), the Gaussian curvature
K and the mean curvature
H of
are
Remark 5. From due to regularity, we see that everywhere.
Next, the Laplacian of the Gauss map
of
is to be calculated. First, from the first fundamental form of
, we have
Substituting (
35), (
36), and (
38) into (
1), by putting
where
after complicated arrangements, we get
Due to discussions similar to those of , we have the following conclusions directly.
Theorem 3. A canal surface has proper pointwise 1-type Gauss map of the second kind iff it is a surface of revolution with the following form: which satisfieswhere is a non-zero constant. Corollary 6. A canal surface with proper pointwise 1-type Gauss map of the second kind satisfies for a constant vector and non-zero smooth functionwhere is a non-zero constant, H and K are given by Corollary 7. A canal surface has 1-type Gauss map of the second kind iff it is a surface of revolution represented aswhich satisfies Theorem 4. A canal surface has proper pointwise 1-type Gauss map of the first kind iff it is minimal. Precisely, it is a part of a surface of revolution aswhich satisfies Corollary 8. A canal surface with proper pointwise 1-type Gauss map of the first kind satisfies
Corollary 9. A canal surface has 1-type Gauss map of the first kind iff it is a circular cylinder.
Corollary 10. The canal surface with harmonic Gauss map does not exist.
3.3. The Canal Surfaces of Type with Pointwise 1-Type Gauss Maps
From Equation (
4), the canal surface
is parameterized as
where
,
is a smooth function.
Through direct calculations, we have initially
where
Thus, the Gauss map
of
is
which points towards
inside and
.
Meanwhile, the quantities of the first fundamental form are obtained as
and the quantities of the second fundamental form are written by
where
From Equations (
40) and (
41), the Gaussian curvature
K and the mean curvature
H of
are
Remark 6. From due to regularity, we see that everywhere.
In the following, the Laplacian of the Gauss map
of
is to be calculated. First, from the first fundamental form of
, we have
Substituting (
39), (
40), and (
43) into (
1), by putting
where
through complicated arrangements, we get
Due to discussions similar to those of and , the following results for can be given directly.
Theorem 5. A canal surface has proper pointwise 1-type Gauss map of the second kind iff it is a surface of revolution with the following form:which satisfieswhere is a non-zero constant. Corollary 11. A canal surface with proper pointwise 1-type Gauss map of the second kind satisfies for a constant vector and non-zero smooth functionwhere is a non-zero constant, H and K are given by Corollary 12. A canal surface has 1-type Gauss map of the second kind iff it is a surface of revolution represented aswhere satisfies Theorem 6. A canal surface has proper pointwise 1-type Gauss map of the first kind iff it is minimal. Precisely, it is a part of a surface of revolution aswhich satisfies Corollary 13. A canal surface with proper pointwise 1-type Gauss map of the first kind satisfies
Corollary 14. A canal surface has 1-type Gauss map of the first kind iff it is a circular cylinder.
Corollary 15. The canal surface with harmonic Gauss map does not exist.
Until now, the canal surfaces foliated by pseudo spheres
along the Frenet curves, i.e.,
,
, and
have been classified in terms of their Gauss maps completely. The similar works for the canal surfaces
,
and
will be done in the near future. At the same time, considering that the canal surfaces
foliated by lightlike cones
along a space curve are degenerate [
4,
5], the canal surfaces
,
(resp.
,
) foliated by pseudo spheres
(resp. pseudo hyperbolic spheres
) along a pseudo null curve or a null curve, respectively, are to be investigated in our future works.