Geometric Characterizations of Canal Surfaces in Minkowski 3-Space II

Abstract

Canal surfaces are defined and divided into nine types in Minkowski 3-space ${\mathbb{E}}_1^3$, which are obtained as the envelope of a family of pseudospheres ${\mathbb{S}}_1^2$, pseudohyperbolic spheres ${\mathbb{H}}_0^2$, or lightlike cones ${\mathbb{Q}}^2$, whose centers lie on a space curve (resp. spacelike curve, timelike curve, or null curve). This paper focuses on canal surfaces foliated by pseudohyperbolic spheres ${\mathbb{H}}_0^2$ along three kinds of space curves in ${\mathbb{E}}_1^3$. The geometric properties of such surfaces are presented by classifying the linear Weingarten canal surfaces, especially the relationship between the Gaussian curvature and the mean curvature of canal surfaces. Last but not least, two examples are shown to illustrate the construction of such surfaces.

1. Introduction

The concept of canal surface is the envelope of a moving sphere whose centers lie on a space curve, and their radius varies depending on this curve in Euclidean 3-space ${\mathbb{E}}^3$. Canal surfaces are useful for representing long thin objects, e.g., pipes, ropes, 3D fonts, or internal body organs in solid/surface modeling. Tori and tubes are the special types of the canal surfaces. Apart from being used in pure mathematics, canal surfaces are a kind of blending surface that plays an important role in computer aided geometric design, i.e., CAGD. Most studies on canal surfaces within the CAGD context is related to such surfaces with a rational spine curve and rational radius function. For example, the authors presented that each canal surface with a rational spine curve and rational radius function is a rational Pythagorean hodograph curve in Minkowski space [1,2].

The Lorentz–Minkowski space is the basic space model of quantum physics that plays an important role in general relativity. In recent years, with the development of the theory of relativity, physicians and geometers extended the topics in classical differential geometry of Riemannian manifolds to that of Lorentzian manifolds. It is clearly demonstrated by the fact that many works in Euclidean space have found their counterparts in Minkowski space [3]. At present, the properties of canal surfaces have been researched in ${\mathbb{E}}^3$ [4,5]. As a natural idea, we can extend canal surfaces into spaces with an indefinite metric, such as Minkowski space. Similar to the generating process of canal surfaces in ${\mathbb{E}}^3$, a canal surface in Minkowski 3-space ${\mathbb{E}}_1^3$ can be obtained as the envelope of a family of pseudospheres ${\mathbb{S}}_1^2$, pseudohyperbolic spheres ${\mathbb{H}}_0^2$, or lightlike cones ${\mathbb{Q}}^2$ whose centers lie on a space curve (resp. spacelike curve, timelike curve, or null curve). The classification of canal surfaces was obtained by Ucum and Ilarslan in [6]. For convenience, the authors of this paper denoted the notations for all kinds of canal surfaces in ${\mathbb{E}}_1^3$. At the same time, the authors discussed canal surfaces foliated by pseudospheres along three kinds of space curves in ${\mathbb{E}}_1^3$ [7]. The relationship between Gaussian curvature and mean curvature is revealed, which is an important tool for future research, such as the Weingarten canal surfaces or linear Weingarten canal surfaces. Weingarten surfaces (resp. linear Weingarten surfaces) are attractive for use in CAGD, particularly in surface design due to the advantages of using these surfaces that can mitigate curvature computations and also admit simpler, more direct shape control procedures [8].

As a follow-up work of [7], in this paper we focus on the geometric properties of canal surfaces foliated by pseudohyperbolic spheres ${\mathbb{H}}_0^2$ along three kinds of space curves in ${\mathbb{E}}_1^3$. We discuss canal surfaces purely by geometric arguments, thereby avoiding a cumbersome algorithmic procedure. The paper is organized as follows. In Section 2, we review the Frenet formulas of space curves and the definitions of canal surfaces in ${\mathbb{E}}_1^3$. We recall definitions of Weingarten surface and linear Weingarten surface in ${\mathbb{E}}_1^3$. In Section 3, the geometric properties of three types of canal surfaces are discussed, respectively. For each type of canal surface, the relationships between Gaussian curvature and mean curvature are presented (Theorems 1, 5, and 9). Different kinds of linear Weingarten canal surfaces are explored, the developable, minimal and umbilical canal surfaces are discussed at the same time. The applications of these surfaces in shape control are important hopefully motivated. Finally, some common results for canal surfaces are shown (Theorems 13 and 14).

2. Preliminaries

Let ${\mathbb{E}}_1^3$ be a Minkowski 3-space with natural Lorentzian metric

$$\langle ·,·\rangle =d{x}_1^2+d{x}_2^2-d{x}_3^2$$

in terms of the natural coordinate system $(x_1,x_2,x_3)$. It is well known that a vector $\upsilon$∈${\mathbb{E}}_1^3$ is said to be spacelike if $\langle \upsilon ,\upsilon \rangle >0$ or $\upsilon =0$; timelike if $\langle \upsilon ,\upsilon \rangle <0$; null (lightlike) if $\langle \upsilon ,\upsilon \rangle =0$, respectively. The norm of vector v is given by $\parallel v\parallel =\sqrt{|\langle v,v\rangle |}$. Due to the causal character of the tangent vector of a space curve, curves in Minkowski space can be divided into a spacelike curve, timelike curve, or null curve. At the same time, a surface is called a timelike surface, spacelike surface, or lightlike surface if its normal vector is spacelike, timelike, or lightlike. In ${\mathbb{E}}_1^3$, there exist three space forms, i.e., pseudosphere ${\mathbb{S}}_1^2$, pseudohyperbolic sphere ${\mathbb{H}}_0^2$, and lightlike cones ${\mathbb{Q}}^2$, which are complete semi-Riemannian manifolds with index 1.

Let $a=(a_1,a_2,a_3)$, $b=(b_1,b_2,b_3)$ be vectors in ${\mathbb{E}}_1^3$. Then, their scalar product is given by

$$\langle a,b\rangle =a_1{b}_1+a_2{b}_2-a_3{b}_3$$

and the exterior product by

$$a\times b=\left|\begin{array}{ccc}{e}_1& e_2& e_3\\ a_1& a_2& a_3\\ b_1& b_2& b_3\end{array}\right|=\left(\left|\begin{array}{cc}{a}_2& a_3\\ b_2& b_3\end{array}\right|,\left|\begin{array}{cc}{a}_3& a_1\\ b_3& b_1\end{array}\right|,-\left|\begin{array}{cc}{a}_1& a_2\\ b_1& b_2\end{array}\right|\right),$$

where $\{e_1,e_2,e_3\}$ is an orthonormal basis in ${\mathbb{E}}_1^3$.

Let $c\left(s\right):\mathbf{I}\to {\mathbb{E}}_1^3$ be a space curve with a moving Frenet frame $\left\{T\right(s),N(s),B(s\left)\right\}$ consisting of tangent vector T, principal normal vector N, and binormal vector B, respectively.

Case 1. Let $c=c\left(s\right)$ be a spacelike curve parameterized by arc length s. Due to the causal character of the normal vector, it can be divided into the following two cases:

Case 1.1. Let $\langle c^{″}\left(s\right),c^{″}\left(s\right)\rangle \ne 0$, then the following Frenet equations are satisfied

$$c^{\prime }\left(s\right)=T\left(s\right),T^{\prime }\left(s\right)=\kappa \left(s\right)N\left(s\right),N^{\prime }\left(s\right)=-\epsilon \kappa \left(s\right)T\left(s\right)+\tau \left(s\right)B\left(s\right),B^{\prime }\left(s\right)=\tau \left(s\right)N\left(s\right),$$

where $\langle T,T\rangle =1$, $\langle N,N\rangle =\epsilon =\pm 1$, $\langle B,B\rangle =-\epsilon$, $\langle T,N\rangle =\langle T,B\rangle =\langle B,N\rangle =0$. Functions $\kappa \left(s\right)$ and $\tau \left(s\right)$ are called the curvature and torsion of $c\left(s\right)$, respectively. When $\epsilon =1$, $c\left(s\right)$ is called the first-kind spacelike curve, and the second-kind spacelike curve when $\epsilon =-1$.

Case 1.2. Let $\langle c^{″}\left(s\right),c^{″}\left(s\right)\rangle =0$, the Frenet equations are given by

$$c^{\prime }\left(s\right)=T\left(s\right),T^{\prime }\left(s\right)=N\left(s\right),N^{\prime }\left(s\right)=\kappa \left(s\right)N\left(s\right),B^{\prime }\left(s\right)=-T\left(s\right)-\kappa \left(s\right)B\left(s\right),$$

where $\langle T,T\rangle =\langle N,B\rangle =1$, $\langle N,N\rangle =\langle B,B\rangle =\langle T,N\rangle =\langle T,B\rangle =0$. Function $\kappa \left(s\right)$ is also called the curvature function. Such kind of spacelike curve is said to be null-type spacelike.

Case 2. Let $c=c\left(s\right)$ be a timelike curve parameterized by arc length s; then, the following Frenet equations are satisfied:

$$c^{\prime }\left(s\right)=T\left(s\right),T^{\prime }\left(s\right)=\kappa \left(s\right)N\left(s\right),N^{\prime }\left(s\right)=\kappa \left(s\right)T\left(s\right)+\tau \left(s\right)B\left(s\right),B^{\prime }\left(s\right)=-\tau \left(s\right)N\left(s\right),$$

where $\langle T,T\rangle =-1$, $\langle N,N\rangle =\langle B,B\rangle =1$, $\langle T,N\rangle =\langle T,B\rangle =\langle B,N\rangle =0$. The functions $\kappa \left(s\right)$ and $\tau \left(s\right)$ are called the curvature and the torsion of $c\left(s\right)$, respectively.

Case 3. Let $c=c\left(s\right)$ be a null curve with null arc-length parameter s, i.e., $\langle c^{″}\left(s\right),c^{″}\left(s\right)\rangle =1$. Then, we have

$$c^{\prime }\left(s\right)=T\left(s\right),T^{\prime }\left(s\right)=N\left(s\right),N^{\prime }\left(s\right)=\kappa \left(s\right)T\left(s\right)-B\left(s\right),B^{\prime }\left(s\right)=-\kappa \left(s\right)N\left(s\right),$$

where $\langle T,T\rangle =\langle B,B\rangle =\langle T,N\rangle =\langle B,N\rangle =0$, $\langle T,B\rangle =\langle N,N\rangle =1.$ Function $\kappa \left(s\right)$ is called the null curvature of $c\left(s\right)$.

Remark 1.

For null curves, there exist a variety of concepts where not all authors’ terminologies coincide. The null curvature here expresses the same meaning as the pseudo torsion or the pseudo curvature in articles related to null curves.

Next, we recall the definition of canal surfaces in ${\mathbb{E}}_1^3$ as the following:

Definition 1.

[7] Surface $\mathbb{M}$ in ${\mathbb{E}}_1^3$ is called a canal surface that is formed as the envelope of a family of pseudohyperbolic spheres ${\mathbb{H}}_0^2$ (resp. pseudospheres ${\mathbb{S}}_1^2$ or lightlike cones ${\mathbb{Q}}^2$) whose centers lie on a space curve $c\left(s\right)$ framed by $\{T,N,B\}$. Then, $\mathbb{M}$ can be parametrized by

$$x(s,\theta )=c\left(s\right)+\lambda (s,\theta )T\left(s\right)+\mu (s,\theta )N\left(s\right)+\omega (s,\theta )B\left(s\right),$$

(1)

where λ, μ and ω are differential functions of s and θ, ${\parallel x(s,\theta )-c\left(s\right)\parallel }^2=ϵr^2\left(s\right)$, ($ϵ=\pm 1$ or 0). Curve $c\left(s\right)$ is called the center curve (or spine curve), and $r\left(s\right)$ is the radius function of $\mathbb{M}$.

Explicitly, if $\mathbb{M}$ is foliated by pseudohyperbolic spheres ${\mathbb{H}}_0^2$ (resp. pseudospheres ${\mathbb{S}}_1^2$ or lightlike cones ${\mathbb{Q}}^2$), then $ϵ=-1$ (resp. 1 or 0) and $\mathbb{M}$ is said to be of the type ${\mathbb{M}}_{-}$ (resp. ${\mathbb{M}}_{+}$ or ${\mathbb{M}}_0$). Canal surfaces of type ${\mathbb{M}}_{-}$ can be divided into three types. In the case that $c\left(s\right)$ is spacelike (resp. timelike or null), it is said to be of type ${\mathbb{M}}_{-}^1$ (resp. ${\mathbb{M}}_{-}^2$ or ${\mathbb{M}}_{-}^3$). Furthermore, ${\mathbb{M}}_{-}^1$ can be divided into ${\mathbb{M}}_{-}^{11}$, ${\mathbb{M}}_{-}^{12}$ and ${\mathbb{M}}_{-}^{13}$ when $c\left(s\right)$ is the first-kind spacelike curve, the second-kind spacelike curve, and the null-type spacelike curve, respectively. Similar to ${\mathbb{M}}_{-}$, canal surfaces ${\mathbb{M}}_{+}$ (resp. ${\mathbb{M}}_0$) can be divided into ${\mathbb{M}}_{+}^1$, ${\mathbb{M}}_{+}^2$ and ${\mathbb{M}}_{+}^3$ (resp. ${\mathbb{M}}_0^1$, ${\mathbb{M}}_0^2$ or ${\mathbb{M}}_0^3$). Naturally, ${\mathbb{M}}_{+}^1$ (resp. ${\mathbb{M}}_0^1$) can be divided into ${\mathbb{M}}_{+}^{11}$, ${\mathbb{M}}_{+}^{12}$ and ${\mathbb{M}}_{+}^{13}$ (resp. ${\mathbb{M}}_0^{11}$, ${\mathbb{M}}_0^{12}$ or ${\mathbb{M}}_0^{13}$).

Remark 2.

[9] In particular, if center curve $c\left(s\right)$ is a straight line, then Frenet frame $\{T,N,B\}$ of $c\left(s\right)$ can be regarded as a trivial orthogonal frame, and the canal surface is nothing but a surface of revolution. If the radius function is constant, then $\mathbb{M}$ is a tube (or pipe) surface.

Definition 2.

[10] For curvatures K and H of a surface $\mathbb{M}$ in ${\mathbb{E}}_1^3$, if $\mathbb{M}$ satisfies

$$W(K,H)=0,$$

where W is the Jacobian determinant, then that is said to be a Weingarten surface.

Definition 3.

[10] For curvatures K and H of a surface $\mathbb{M}$ in ${\mathbb{E}}_1^3$, if $\mathbb{M}$ satisfies

$$\begin{array}{c}\hfill 2aH+bK=c(a,b,c\in \mathbb{R}\mathrm{and}(a,b,c)\ne (0,0,0\left)\right),\end{array}$$

(2)

then that is said to be a linear Weingarten surface.

Remark 3.

When $a=0$ or $b=0$ in (2), surface $\mathbb{M}$ has a constant Gaussian curvature or constant mean curvature. Without loss of generality, we always assume $c=1$ in (2).

All surfaces we are dealing with are smooth, regular, and topologically connected unless otherwise stated.

3. Main Results

In this part, we focus on the geometric properties of different types of canal surfaces formed by the movement of pseudohyperbolic spheres ${\mathbb{H}}_0^2$ along a space curve in ${\mathbb{E}}_1^3$.

3.1. Canal Surfaces of Type ${\mathbb{M}}_{-}^{11}$ and ${\mathbb{M}}_{-}^{12}$

First, we assume $\mathbb{M}$ is a canal surface formed by the movement of ${\mathbb{H}}_0^2$ along a first kind spacelike curve $c\left(s\right)$ in ${\mathbb{E}}_1^3$. i.e., ${\mathbb{M}}_{-}^{11}$. According to the definition of ${\mathbb{M}}_{-}^{11}$, through detailed calculation, we get

$$\left\{\begin{array}{c}\lambda \left(s\right)=r\left(s\right)r^{\prime }\left(s\right),\hfill \\ \mu (s,\theta )=r\left(s\right)\sqrt{1+r^{\prime 2}\left(s\right)}sinh\theta ,\hfill \\ \omega (s,\theta )=r\left(s\right)\sqrt{1+r^{\prime 2}\left(s\right)}cosh\theta \hfill \end{array}\right.$$

in Equation (1). Then, ${\mathbb{M}}_{-}^{11}$ can be parameterized by

$$x(s,\theta )=c\left(s\right)+r\left(s\right)(r^{\prime }\left(s\right)T+\sqrt{1+r^{\prime 2}\left(s\right)}sinh\theta N+\sqrt{1+r^{\prime 2}\left(s\right)}cosh\theta B),$$

where $c\left(s\right)$ is parameterized by arc length s. For convenience, we may assume $r^{\prime }\left(s\right)=sinh\phi$ for some smooth function $\phi =\phi \left(s\right)$. Then, canal surface ${\mathbb{M}}_{-}^{11}$ can be rewritten by

$$x(s,\theta )=c\left(s\right)+r\left(s\right)(sinh\phi T+cosh\phi sinh\theta N+cosh\phi cosh\theta B).$$

(3)

Initially, we have

$$x_s=x_s^{1}T+x_s^{2}N+x_s^{3}B,x_{\theta }=rcosh\phi cosh\theta N+rcosh\phi sinh\theta B,$$

where

$$\begin{array}{c}{x}_s^1=r{r}^{″}+{cosh}^2\phi -r\kappa cosh\phi sinh\theta ,\hfill \\ x_s^2=r^{\prime }cosh\phi sinh\theta +r{r}^{\prime }\kappa +r{r}^{\prime }{\phi }^{\prime }sinh\theta +r\tau cosh\phi cosh\theta ,\hfill \\ x_s^3=r^{\prime }cosh\phi cosh\theta +r\tau cosh\phi sinh\theta +r{r}^{\prime }{\phi }^{\prime }cosh\theta .\hfill \end{array}$$

Then, quantities of the first fundamental form are given by

$$\begin{array}{cc}\hfill E=& \langle x_s,x_s\rangle =r^2({\kappa }^2{cosh}^2\phi {sinh}^2\theta +r^{\prime 2}{\kappa }^2+{\phi }^{\prime 2}+{\tau }^2{cosh}^2\phi -2{\phi }^{\prime }\kappa sinh\theta \hfill \\ & +2r^{\prime }\kappa \tau cosh\phi cosh\theta )+{cosh}^2\phi +2(r{r}^{″}-r\kappa cosh\phi sinh\theta ),\hfill \\ \hfill F=& \langle x_s,x_{\theta }\rangle =r^2{r}^{\prime }\kappa cosh\phi cosh\theta +r^2\tau {cosh}^2\phi ,\hfill \\ \hfill G=& \langle x_{\theta },x_{\theta }\rangle =r^2{cosh}^2\phi .\hfill \end{array}$$

(4)

and

$$\begin{array}{c}\hfill EG-F^2=r^2{(r{r}^{″}-r\kappa cosh\phi sinh\theta +{cosh}^2\phi )}^2.\end{array}$$

(5)

Unit normal vector field n to ${\mathbb{M}}_{-}^{11}$ is given by

$$n=\frac{x_s\times x_{\theta }}{\parallel x_s\times x_{\theta }\parallel }=sinh\phi T+cosh\phi sinh\theta N+cosh\phi cosh\theta B,$$

(6)

which point canal surface ${\mathbb{M}}_{-}^{11}$ and $\langle n,n\rangle =-1$ outwards.

Furthermore, by Equation (6), we have

$$\begin{array}{cc}\hfill n_s=& (r^{″}-\kappa cosh\phi sinh\theta )T+(r^{\prime }\kappa +r^{\prime }{\phi }^{\prime }sinh\theta +\tau cosh\phi cosh\theta )N\hfill \\ & +(\tau cosh\phi sinh\theta +r^{\prime }{\phi }^{\prime }cosh\theta )B,\hfill \\ \hfill n_{\theta }=& cosh\phi cosh\theta N+cosh\phi sinh\theta B.\hfill \end{array}$$

Quantities of the second fundamental form are obtained by

$$\begin{array}{cc}\hfill L=& -\langle x_s,n_s\rangle =-r({\kappa }^2{cosh}^2\phi {sinh}^2\theta +r^{\prime 2}{\kappa }^2+{\phi }^{\prime 2}+{\tau }^2{cosh}^2\phi -2{\phi }^{\prime }\kappa sinh\theta \hfill \\ & +2r^{\prime }\kappa \tau cosh\phi cosh\theta )-(r^{″}-\kappa cosh\phi sinh\theta ),\hfill \\ \hfill M=& -\langle x_{\theta },n_s\rangle =-r{r}^{\prime }\kappa cosh\phi cosh\theta -r\tau {cosh}^2\phi ,\hfill \\ \hfill N=& -\langle x_{\theta },n_{\theta }\rangle =-r{cosh}^2\phi .\hfill \end{array}$$

(7)

From Equations (6) and (7), we have

Proposition 1.

The quantities of the first and second fundamental forms of canal surface ${\mathbb{M}}_{-}^{11}$ satisfy

$$L=\frac{E-P_1}{-r},M=\frac{F}{-r},N=\frac{G}{-r}$$

and

$$\begin{array}{c}\hfill EG-F^2=r^2{P}_1^2,LN-M^2=r{P}_1{Q}_1,\end{array}$$

(8)

where

$$\begin{array}{c}{P}_1=r{r}^{″}-r\kappa cosh\phi sinh\theta +{cosh}^2\phi =r{Q}_1+{cosh}^2\phi ,\hfill \\ Q_1=r^{″}-\kappa cosh\phi sinh\theta .\hfill \end{array}$$

(9)

Remark 4.

Due to regularity, we see that $P_1\ne 0$ everywhere by Equation (8).

By Proposition 1, Gaussian curvature K and mean curvature H of ${\mathbb{M}}_{-}^{11}$ are given by, respectively,

$$\begin{array}{c}\hfill K=-\frac{LN-M^2}{EG-F^2}=-\frac{Q_1}{r{P}_1},\end{array}$$

(10)

$$\begin{array}{c}\hfill H=-\frac{EN-2FM+GL}{2(EG-F^2)}=\frac{2P_1-{cosh}^2\phi }{2r{P}_1}.\end{array}$$

(11)

Second, for canal surface ${\mathbb{M}}_{-}^{12}$, according to the definition of ${\mathbb{M}}_{-}^{12}$, we get

$$\left\{\begin{array}{c}\lambda \left(s\right)=r\left(s\right)r^{\prime }\left(s\right),\hfill \\ \mu (s,\theta )=r\left(s\right)\sqrt{1+r^{\prime 2}\left(s\right)}cosh\theta ,\hfill \\ \omega (s,\theta )=r\left(s\right)\sqrt{1+r^{\prime 2}\left(s\right)}sinh\theta \hfill \end{array}\right.$$

in Equation (1). Then, ${\mathbb{M}}_{-}^{12}$ can be parameterized by

$$x(s,\theta )=c\left(s\right)+r\left(s\right)(r^{\prime }\left(s\right)T+\sqrt{1+r^{\prime 2}\left(s\right)}cosh\theta N+\sqrt{1+r^{\prime 2}\left(s\right)}sinh\theta B),$$

where $c\left(s\right)$ is parameterized by arc length s. Here, we may assume that $r^{\prime }\left(s\right)=sinh\phi$ for smooth function $\phi =\phi \left(s\right)$. So, canal surface ${\mathbb{M}}_{-}^{12}$ can be written by

$$\begin{array}{c}\hfill x(s,\theta )=c\left(s\right)+r\left(s\right)(sinh\phi T+cosh\phi cosh\theta N+cosh\phi sinh\theta B).\end{array}$$

(12)

With similar calculations to those of ${\mathbb{M}}_{-}^{11}$, we have the following conclusions.

Proposition 2.

The quantities of the first and second fundamental forms of canal surface ${\mathbb{M}}_{-}^{12}$ satisfy

$$L=\frac{E-P_2}{-r},M=\frac{F}{-r},N=\frac{G}{-r}$$

and

$$\begin{array}{c}\hfill EG-F^2=r^2{P}_2^2,LN-M^2=r{P}_2{Q}_2,\end{array}$$

(13)

where

$$\begin{array}{c}{P}_2=r{r}^{″}+r\kappa cosh\phi cosh\theta +{cosh}^2\phi =r{Q}_2+{cosh}^2\phi ,\hfill \\ Q_2=r^{″}+\kappa cosh\phi cosh\theta .\hfill \end{array}$$

(14)

Remark 5.

Due to regularity, we see $P_2\ne 0$ everywhere by Equation (13).

By Proposition 2, Gaussian curvature K and mean curvature H of ${\mathbb{M}}_{-}^{12}$ are given by, respectively,

$$\begin{array}{c}\hfill K=-\frac{LN-M^2}{EG-F^2}=-\frac{Q_2}{r{P}_2},\end{array}$$

(15)

$$\begin{array}{c}\hfill H=-\frac{EN-2FM+GL}{2(EG-F^2)}=\frac{2P_2-{cosh}^2\phi }{2r{P}_2}.\end{array}$$

(16)

Based on the Gaussian curvature and mean curvature of ${\mathbb{M}}_{-}^{11}$ and ${\mathbb{M}}_{-}^{12}$, it is obvious to obtain the following results.

Theorem 1.

Gaussian curvature K and mean curvature H of canal surface ${\mathbb{M}}_{-}^{11}$$\left({\mathbb{M}}_{-}^{12}\right)$ are related by

$$H=-\frac{1}{2}(Kr-\frac{1}{r}).$$

(17)

Proof of Theorem 1.

For ${\mathbb{M}}_{-}^{11}$, from Equations (10) and (11), we can easily obtain the conclusion. For ${\mathbb{M}}_{-}^{12}$, we can refer to Equations (15) and (16). □

Next, we study canal surface ${\mathbb{M}}_{-}^{11}$$\left({\mathbb{M}}_{-}^{12}\right)$ whose Gaussian curvature and mean curvature satisfy some particular conditions.

Remark 6.

In the following, we just prove the results for ${\mathbb{M}}_{-}^{11}$ and omit the proof for ${\mathbb{M}}_{-}^{12}$ since it can be similarly done to those of ${\mathbb{M}}_{-}^{11}$, and the results are same.

Theorem 2.

Let ${\mathbb{M}}_{-}^{11}$(${\mathbb{M}}_{-}^{12}$)be a linear Weingarten canal surface; then, it is an open part of the following surfaces:

• a surface of revolution such as

  $$x(s,\theta )=\left(r\right(s)sinh\phi (s)+s,r(s)cosh\phi (s)sinh\theta ,r(s)cosh\phi (s)cosh\theta ),$$

  where $r\left(s\right)$ is given by (19);
• a tube with radius $r=a$$(a>0)$.

Proof of Theorem 2.

From Equation (2) with $c=1$ and Equation (17), we obtain

$$(br-a{r}^2)K=r-a.$$

By Equation (10), we get

$$-\frac{(br-a{r}^2)(r^{″}-\kappa cosh\phi sinh\theta )}{r(r{r}^{″}-r\kappa cosh\phi sinh\theta +{cosh}^2\phi )}=r-a,$$

(18)

i.e.,

$$\kappa (r^2-2ar+b)cosh\phi sinh\theta -(r-a)(1+r^{\prime 2})-(r^2-2ar+b)r^{″}=0.$$

Therefore, we get

$$\begin{array}{c}\hfill \kappa (r^2-2ar+b)cosh\phi =0\mathrm{and}(r-a)(1+r^{\prime 2})+(r^2-2ar+b)r^{″}=0.\end{array}$$

Case 1: If $r^2-2ar+b\ne 0$, i.e., $a^2-b<0$, then $\kappa =0$. Thus, ${\mathbb{M}}_{-}^{11}$ is a surface of revolution and its radial function satisfies

$$(r^2-2ar+b)r^{″}+(r-a)(1+r^{\prime 2})=0.$$

Solving the above equation, we get

$$s=c_2\pm \int \sqrt{\frac{r^2-2ar+b}{c_1-r^2+2ar-b}}dr,$$

(19)

where $c_1>r^2-2ar+b,c_2\in \mathbb{R}$.

Since $\kappa =0$, without loss of generality, we may assume the center curve is $c\left(s\right)=(s,0,0)$ and $T=(1,0,0),N=(0,1,0),B=(0,0,1)$, respectively. Then, by Equation (3), ${\mathbb{M}}_{-}^{11}$ can be expressed by

$$x(s,\theta )=\left(r\right(s)sinh\phi (s)+s,r(s)cosh\phi (s)sinh\theta ,r(s)cosh\phi (s)cosh\theta ),$$

(20)

where $r\left(s\right)$ is given by Equation (19).

Case 2: If $\kappa \ne 0$, then $r^2-2ar+b=0$. Hence, $r=a$ is a nonzero constant. ${\mathbb{M}}_{-}^{11}$ is a tube and $a,b$ satisfy $a^2-b=0$.

Note that ${\mathbb{M}}_{-}^{11}$ is a circular cylinder if $\kappa =r^2-2ar+b\equiv 0$. □

Corollary 1.

Let ${\mathbb{M}}_{-}^{11}$(${\mathbb{M}}_{-}^{12}$)be a canal surface with nonzero constant Gaussian curvature. Then, it is a surface of revolution with positive constant Gaussian curvature, such as

$$x(s,\theta )=\left(r\right(s)sinh\phi (s)+s,r(s)cosh\phi (s)sinh\theta ,r(s)cosh\phi (s)cosh\theta ),$$

where $r\left(s\right)$ is given by Equation (21).

Proof of Corollary 1.

By Theorem 2 with $a=0$, when ${\mathbb{M}}_{-}^{11}$ has nonzero constant Gaussian curvature $K=\frac{1}{b}$, from $a^2-b<0$, then it is nothing but a surface of revolution with positive constant Gaussian curvature. It can be expressed by

$$x(s,\theta )=\left(r\right(s)sinh\phi (s)+s,r(s)cosh\phi (s)sinh\theta ,r(s)cosh\phi (s)cosh\theta ),$$

where $r\left(s\right)$ satisfies

$$s=c_2\pm \int \sqrt{\frac{r^2+b}{c_1-r^2-b}}dr,(c_1>r^2+b,c_2\in \mathbb{R}).$$

(21)

 □

Corollary 2.

Canal surface ${\mathbb{M}}_{-}^{11}$$\left({\mathbb{M}}_{-}^{12}\right)$ with nonzero constant mean curvature does not exist.

Proof of Corollary 2.

By Theorem 2 with $b=0$, it must be a surface of revolution. However, from $a^2-b<0$, then $a^2<0$, it is a contradiction. □

Theorem 3.

A canal surface ${\mathbb{M}}_{-}^{11}$(${\mathbb{M}}_{-}^{12}$)is developable iff it is congruent to a part of a circular cylinder or a circular cone.

Proof of Theorem 3.

${\mathbb{M}}_{-}^{11}$ is developable iff $K\equiv 0$. By (10), we have $Q_1\equiv 0$. Then, we get

$$r^{″}-\kappa cosh\phi sinh\theta =0.$$

It follows that $r^{″}=0$ and $\kappa =0$ (if $cosh\phi =0$, by (5), ${\mathbb{M}}_{-}^{11}$ is degenerate). Then, $r\left(s\right)=c_{1}s+c_2$, where $c_1,c_2$ are constants. Therefore, ${\mathbb{M}}_{-}^{11}$ is a circular cylinder ($c_1=0$) or a circular cone ($c_1\ne 0$) in ${\mathbb{E}}_1^3$, respectively. The converse is obvious. □

Theorem 4.

Canal surface ${\mathbb{M}}_{-}^{11}$(${\mathbb{M}}_{-}^{12}$)is minimal iff it is a part of a surface of revolution, such as

$$x(s,\theta )=\left(r\right(s)sinh\phi (s)+s,r(s)cosh\phi (s)sinh\theta ,r(s)cosh\phi (s)cosh\theta ),$$

where $r\left(s\right)$ satisfies (22).

Proof of Theorem 4.

${\mathbb{M}}_{-}^{11}$ is minimal iff $H\equiv 0$. From (11), $H\equiv 0$ implies

$$2P_1-{cosh}^2\phi =0.$$

By Equation (9), we get

$$2r{r}^{″}-2r\kappa cosh\phi sinh\theta +{cosh}^2\phi =0.$$

Therefore, one can obtain $r\kappa cosh\phi =0$ and $2r{r}^{″}+{cosh}^2\phi =0$. Since $r\ne 0$, $cosh\phi \ne 0$, then $\kappa =0$ and ${\mathbb{M}}_{-}^{11}$ is a surface of revolution. Solving $2r{r}^{″}+{cosh}^2\phi =0$, we get

$$s=c_2\pm \int \sqrt{\frac{r}{c_1-r}}dr,(c_1>r,c_2\in \mathbb{R}).$$

(22)

The converse is obvious through direct calculations. □

3.2. Canal Surfaces ${\mathbb{M}}_{-}^2$

Let $\mathbb{M}$ be a canal surface formed by the movement of ${\mathbb{H}}_0^2$ along a timelike curve $c\left(s\right)$ in ${\mathbb{E}}_1^3$, i.e., ${\mathbb{M}}_{-}^2$. Then, by the definition of ${\mathbb{M}}_{-}^2$ and Frenet equations, we obtain

$$\left\{\begin{array}{c}\lambda \left(s\right)=-r\left(s\right)r^{\prime }\left(s\right),\hfill \\ \mu (s,\theta )=r\left(s\right)\sqrt{r^{\prime 2}\left(s\right)-1}cos\theta ,\hfill \\ \omega (s,\theta )=r\left(s\right)\sqrt{r^{\prime 2}\left(s\right)-1}sin\theta \hfill \end{array}\right.$$

in Equation (1). Then, ${\mathbb{M}}_{-}^2$ can be parameterized by

$$\begin{array}{c}\hfill x(s,\theta )=c\left(s\right)+r\left(s\right)(-r^{\prime }\left(s\right)T+\sqrt{r^{\prime 2}\left(s\right)-1}cos\theta N+\sqrt{r^{\prime 2}\left(s\right)-1}sin\theta B),\end{array}$$

(23)

where $c\left(s\right)$ is parameterized by arc length s. Without loss of generality, we assume $-r^{\prime }\left(s\right)=cosh\phi$ for some smooth function $\phi =\phi \left(s\right)$. Then, ${\mathbb{M}}_{-}^2$ can be written by

$$\begin{array}{c}\hfill x(s,\theta )=c\left(s\right)+r\left(s\right)(cosh\phi T+sinh\phi cos\theta N+sinh\phi sin\theta B).\end{array}$$

(24)

Remark 7.

From Equation (23), tube ${\mathbb{M}}_{-}^2$ does not exist.

Proposition 3.

The quantities of the first and second fundamental forms of canal surface ${\mathbb{M}}_{-}^2$ satisfy

$$L=\frac{E-P_3}{-r},M=\frac{F}{-r},N=\frac{G}{-r}$$

and

$$\begin{array}{c}\hfill EG-F^2=r^2{P}_3^2,LN-M^2=r{P}_3{Q}_3,\end{array}$$

(25)

where

$$\begin{array}{c}{P}_3=r{r}^{″}-r\kappa sinh\phi cos\theta +{sinh}^2\phi =r{Q}_3+{sinh}^2\phi ,\hfill \\ Q_3=r^{″}-\kappa sinh\phi cos\theta .\hfill \end{array}$$

(26)

Remark 8.

Due to regularity, we see $P_3\ne 0$ everywhere by Equation (25).

By Proposition 3, Gaussian curvature K and mean curvature H of ${\mathbb{M}}_{-}^2$ are given by, respectively,

$$\begin{array}{c}\hfill K=-\frac{LN-M^2}{EG-F^2}=-\frac{Q_3}{r{P}_3},\end{array}$$

(27)

$$\begin{array}{c}\hfill H=-\frac{EN-2FM+GL}{2(EG-F^2)}=\frac{2P_3-{sinh}^2\phi }{2r{P}_3}.\end{array}$$

(28)

Theorem 5.

Gaussian curvature K and mean curvature H of canal surface ${\mathbb{M}}_{-}^2$ are related by

$$H=-\frac{1}{2}(Kr-\frac{1}{r}).$$

(29)

Next, we study canal surface ${\mathbb{M}}_{-}^2$ whose Gaussian curvature and mean curvature satisfy some particular conditions. We omitted the proofs for ${\mathbb{M}}_{-}^2$ since they are similar to ${\mathbb{M}}_{-}^{11}$, ${\mathbb{M}}_{-}^{12}$.

Theorem 6.

Let ${\mathbb{M}}_{-}^2$ be a linear Weingarten canal surface; then, it is a surface of revolution, such as

$$x(s,\theta )=\left(r\right(s)sinh\phi (s)sin\theta ,r(s)sinh\phi (s)cos\theta ,r(s)cosh\phi (s)+s),$$

(30)

where $r\left(s\right)$ is given by

$$s=c_2\pm \int \sqrt{\frac{r^2-2ar+b}{r^2-2ar+b+c_1}}dr,(c_1>-r^2+2ar-b,c_2\in \mathbb{R}).$$

Corollary 3.

Let ${\mathbb{M}}_{-}^2$ be a canal surface with nonzero constant Gaussian curvature. Then, it is a surface of revolution with positive constant Gaussian curvature, such as

$$x(s,\theta )=\left(r\right(s)sinh\phi (s)sin\theta ,r(s)sinh\phi (s)cos\theta ,r(s)cosh\phi (s)+s),$$

where $r\left(s\right)$ is given by

$$s=c_2\pm \int \sqrt{\frac{r^2+b}{r^2+b+c_1}}dr,(c_1>-r^2-b,c_2\in \mathbb{R}).$$

Corollary 4.

Canal surface ${\mathbb{M}}_{-}^2$ with nonzero constant mean curvature does not exist.

Theorem 7.

A canal surface ${\mathbb{M}}_{-}^2$ is developable iff it is a circular cone.

Proof of Theorem 7.

${\mathbb{M}}_{-}^2$ is developable iff $K\equiv 0$. By Equation (27), we have $Q_3\equiv 0$. Then, we get

$$r^{″}-\kappa sinh\phi cos\theta =0.$$

It follows that $r^{″}=0$ and $\kappa =0$ (if $sinh\phi =0$, by Equation (25), ${\mathbb{M}}_{-}^2$ is degenerate). Then, $r\left(s\right)=c_{1}s+c_2$, where $c_1,c_2$ are constants, and $|c_1|>1$. If $|c_1|\le 1$, by (23), it is a contradiction. Therefore, ${\mathbb{M}}_{-}^2$ is a circular cone ($|c_1|>1$) in ${\mathbb{E}}_1^3$. The converse is obvious. □

Theorem 8.

A canal surface ${\mathbb{M}}_{-}^2$ is minimal iff it is a part of a surface of revolution such as

$$x(s,\theta )=\left(r\right(s)sinh\phi (s)sin\theta ,r(s)sinh\phi (s)cos\theta ,r(s)cosh\phi (s)+s),$$

where $r\left(s\right)$ satisfies

$$s=c_2\pm \int \sqrt{\frac{r}{r+c_1}}dr,(c_1>-r,c_2\in \mathbb{R}).$$

3.3. Canal Surfaces of Type ${\mathbb{M}}_{-}^{13}$ and ${\mathbb{M}}_{-}^3$

Let $\mathbb{M}$ be a canal surface formed by the movement of ${\mathbb{H}}_0^2$ along a null type spacelike curve $c\left(s\right)$, i.e., ${\mathbb{M}}_{-}^{13}$. By the definition of ${\mathbb{M}}_{-}^{13}$ and Frenet equations, we obtain

$$\left\{\begin{array}{c}\lambda \left(s\right)=r\left(s\right)r^{\prime }\left(s\right),\hfill \\ 2\mu (s,\theta )\omega (s,\theta )=-r^2\left(s\right)(1+r^{\prime 2}\left(s\right))\hfill \end{array}\right.$$

(31)

in Equation (1). Then, ${\mathbb{M}}_{-}^{13}$ can be parameterized by

$$x(s,\theta )=c\left(s\right)+r\left(s\right)r^{\prime }\left(s\right)T+\mu (s,\theta )N+\omega (s,\theta )B,$$

(32)

where $c\left(s\right)$ is parameterized by arc length s.

Initially, we have

$$x_s=U_1(s,\theta )T+V_1(s,\theta )N+W_1(s,\theta )B,x_{\theta }={\mu }_{\theta }N+{\omega }_{\theta }B,$$

where

$$U_1(s,\theta )=1+r^{\prime 2}+r{r}^{″}-\omega ,V_1(s,\theta )=r{r}^{\prime }+\mu +\mu \kappa ,W_1(s,\theta )={\omega }_s-\omega \kappa .$$

From Equation (31), we can get

$${\mu }_{\theta }=-\frac{\mu {\omega }_{\theta }}{\omega },{\mu }_s=\frac{-r{r}^{\prime }(U_1+\omega )-\mu {\omega }_s}{\omega }.$$

Then, the quantities of the first fundamental form are given by

$$E=U_1^2+2V_1{W}_1,F={\mu }_{\theta }{W}_1+{\omega }_{\theta }{V}_1,G=2{\mu }_{\theta }{\omega }_{\theta }.$$

(33)

$$EG-F^2=\frac{r^2{\omega }_{\theta }^2{U}_1^2}{{\omega }^2}.$$

Unit normal vector field n to ${\mathbb{M}}_{-}^{13}$ is given by

$$n=\frac{x_s\times x_{\theta }}{\parallel x_s\times x_{\theta }\parallel }=-\frac{1}{r}(r{r}^{\prime }T+\mu N+\omega B),$$

(34)

which point canal surface ${\mathbb{M}}_{-}^{13}$ and $\langle n,n\rangle =-1$ outwards.

Furthermore, by Equation (34) we have

$$\begin{array}{c}{n}_s=\frac{1}{r^2}\{(r{r}^{\prime 2}-r{U}_1+r)T+(r^{\prime }\mu -r{V}_1)N+(r^{\prime }\omega -r{W}_1)B\},\hfill \\ n_{\theta }=-\frac{1}{r}({\mu }_{\theta }N+{\omega }_{\theta }B).\hfill \end{array}$$

Then, the quantities of the second fundamental form are obtained by

$$L=\frac{1}{r}(U_1^2-U_1+2V_1{W}_1),M=\frac{{\omega }_{\theta }}{\omega r}(\omega V_1-\mu W_1),N=\frac{2{\mu }_{\theta }{\omega }_{\theta }}{r}.$$

(35)

From Equations (34) and (35), we have

Proposition 4.

The quantities of the first and second fundamental forms of canal surfaces ${\mathbb{M}}_{-}^{13}$ satisfy

$$L=\frac{E-U_1}{r},M=\frac{F}{r},N=\frac{G}{r}$$

and

$$\begin{array}{c}\hfill EG-F^2=\frac{r^2{\omega }_{\theta }^2{U}_1^2}{{\omega }^2},LN-M^2=-\frac{{\omega }_{\theta }^2{U}_1{Y}_1}{{\omega }^2},\end{array}$$

(36)

where $Y_1=1+r^{\prime 2}-U_1=\omega -r{r}^{″}.$

Remark 9.

Due to regularity, we see $U_1\ne 0$ everywhere by Equation (36).

By Proposition 4, Gaussian curvature K and mean curvature H of ${\mathbb{M}}_{-}^{13}$ are given by, respectively,

$$\begin{array}{c}\hfill K=-\frac{LN-M^2}{EG-F^2}=\frac{Y_1}{r^2{U}_1},\end{array}$$

(37)

$$\begin{array}{c}\hfill H=-\frac{EN-2FM+GL}{2(EG-F^2)}=\frac{Y_1-U_1}{2r{U}_1}.\end{array}$$

(38)

Second, we study canal surface ${\mathbb{M}}_{-}^3$. By the definition of ${\mathbb{M}}_{-}^3$ and the Frenet equations, we obtain

$$\left\{\begin{array}{c}\omega \left(s\right)=r\left(s\right)r^{\prime }\left(s\right),\hfill \\ 2\lambda (s,\theta )r\left(s\right)r^{\prime }\left(s\right)+{\mu }^2(s,\theta )=-r^2\left(s\right)\hfill \end{array}\right.$$

(39)

in Equation (1). Then, ${\mathbb{M}}_{-}^3$ can be parameterized by

$$x(s,\theta )=c\left(s\right)+\lambda (s,\theta )T+\mu (s,\theta )N+r\left(s\right)r^{\prime }\left(s\right)B$$

(40)

where $c\left(s\right)$ is parameterized by null arc length s.

Remark 10.

According to Equation (39), tube ${\mathbb{M}}_{-}^3$ does not exist.

Proposition 5.

The quantities of the first and second fundamental forms of canal surfaces ${\mathbb{M}}_{-}^3$ satisfy

$$L=\frac{E-W_2}{r},M=\frac{F}{r},N=\frac{G}{r}$$

and

$$\begin{array}{c}\hfill EG-F^2=\frac{r^2{\lambda }_{\theta }^2{W}_2^2}{{\mu }^2},LN-M^2=\frac{{\lambda }_{\theta }^2{W}_2{Y}_2}{{\mu }^2},\end{array}$$

(41)

where $W_2=r{r}^{″}-r^{\prime 2}-\mu ,Y_2=W_2-r^{\prime 2}=r{r}^{″}-\mu .$

By Proposition 5, Gaussian curvature K and mean curvature H of ${\mathbb{M}}_{-}^3$ are given by, respectively,

$$\begin{array}{c}\hfill K=-\frac{LN-M^2}{EG-F^2}=-\frac{Y_2}{r^2{W}_2},\end{array}$$

(42)

$$\begin{array}{c}\hfill H=-\frac{EN-2FM+GL}{2(EG-F^2)}=-\frac{W_2+Y_2}{2r{W}_2}.\end{array}$$

(43)

Based on the Gaussian curvature and mean curvature of ${\mathbb{M}}_{-}^{13}$ and ${\mathbb{M}}_{-}^3$, it is easy to get the following results.

Theorem 9.

Gaussian curvature K and mean curvature H of canal surface ${\mathbb{M}}_{-}^{13}$$\left({\mathbb{M}}_{-}^3\right)$ can be related by

$$H=\frac{1}{2}(Kr-\frac{1}{r}).$$

(44)

Proof of Theorem 9.

For ${\mathbb{M}}_{-}^{13}$, from Equations (37) and (38), we can easily obtain the conclusion. For ${\mathbb{M}}_{-}^3$, we can refer to Equations (42) and (43). □

Next, we study canal surface ${\mathbb{M}}_{-}^{13}$$\left({\mathbb{M}}_{-}^3\right)$ whose Gaussian curvature and mean curvature satisfy some particular conditions.

Remark 11.

In the following, we just prove the results for ${\mathbb{M}}_{-}^{13}$ and omit the proofs for ${\mathbb{M}}_{-}^3$, since they can be similarly done to those of ${\mathbb{M}}_{-}^{13}$ and the results are similar.

Theorem 10.

Let ${\mathbb{M}}_{-}^{13}$ be a linear Weingarten canal surface; then, it is a tube with radius $r=-a$$(a<0).$

Proof of Theorem 10.

From Equation (2) with $c=1$ and Equation (44), we obtain

$$(a{r}^2+br)K=r+a.$$

By Equation (37), we get

$$\frac{(a{r}^2+br)(\omega -r{r}^{″})}{r^2(1+r^{\prime 2}+r{r}^{″}-\omega )}=r+a,$$

(45)

i.e.,

$$\omega (r^2+2ar+b)-r{r}^{″}(r^2+2ar+b)-(r^2+ar)(1+r^{\prime 2})=0.$$

Therefore, we get

$$\begin{array}{c}\hfill \omega (r^2+2ar+b)=0\mathrm{and}r{r}^{″}(r^2+2ar+b)+(r^2+ar)(1+r^{\prime 2})=0.\end{array}$$

Assume $r^2+2ar+b\ne 0$, then $\omega =0$. By (36), ${\mathbb{M}}_{-}^{13}$ is degenerate. Thus, $r^2-2ar+b=0$. Hence, $r=-a$$(a<0)$ is a nonzero constant. ${\mathbb{M}}_{-}^{13}$ is a tube and $a,b$ satisfy $a^2-b=0$. □

Theorem 11.

Linear Weingarten canal surface ${\mathbb{M}}_{-}^3$ does not exist.

Proof of Theorem 11.

Similar to the proof of Theorem 10, through calculation, we obtain that $r=-a$$(a<0)$ is a nonzero constant. This contradicts the result of Remark 10. Thus it is completed. □

Corollary 5.

Canal surface ${\mathbb{M}}_{-}^{13}$$\left({\mathbb{M}}_{-}^3\right)$ with nonzero constant Gaussian curvature or nonzero constant mean curvature does not exist.

Proof of Corollary 5.

If ${\mathbb{M}}_{-}^{13}$ has nonzero constant Gaussian curvature or nonzero constant mean curvature, by Equations (37) and (38), the functions $\omega =\omega \left(s\right)$ and $\mu =\mu \left(s\right)$, obviously. It is impossible. The proof is completed. □

Similar to Corollary 5, when the Gaussian curvature or mean curvature equal to zero, by (37) and (38), the functions $\omega =\omega \left(s\right)$ and $\mu =\mu \left(s\right)$, obviously. Then, we have

Theorem 12.

Canal surface ${\mathbb{M}}_{-}^{13}$$\left({\mathbb{M}}_{-}^3\right)$ is nondevelopable and nonminimal.

From the calculations above, we have the following common conclusions.

Theorem 13.

Umbilical canal surface ${\mathbb{M}}_{-}$ does not exist.

Proof of Theorem 13.

Canal surface ${\mathbb{M}}_{-}$ is umbilical; this means

$$E:F:G=L:M:N,$$

from Propositions 1–5, we obtain $P_1=P_2=P_3=U_1=W_2=0$. It is impossible by the regularity of those canal surfaces. □

Theorem 14.

Canal surfaces ${\mathbb{M}}_{-}$ are spacelike surfaces in ${\mathbb{E}}_1^3.$

Proof of Theorem 14.

The normal vector of ${\mathbb{M}}_{-}$ satisfies $\langle n,n\rangle =-1$; it is obtained easily. □

Remark 12.

The canal surfaces obtained by pseudo spheres ${\mathbb{S}}_1^2$ along a space curve, i.e., ${\mathbb{M}}_{+}$ are discussed in [7]. The canal surfaces foliated by lightcones ${\mathbb{Q}}^2$ along a space curve, i.e., ${\mathbb{M}}_0$ are degenerate surfaces by simple calculation. Here, the proof is omitted.

4. Examples

Canal surfaces are very popular in CAGD. In this section, we want to show a method to characterize ${\mathbb{M}}_{-}$ geometrically via Mathematica Programme.

Example 1.

Let the timelike curve $c\left(s\right)=(sin\frac{s}{2},cos\frac{s}{2},\frac{\sqrt{5}s}{2}),$ then the Frenet frame are

$$\left\{\begin{array}{c}T\left(s\right)=(\frac{1}{2}cos\frac{s}{2},-\frac{1}{2}sin\frac{s}{2},\frac{\sqrt{5}}{2}),\hfill \\ N\left(s\right)=(-sin\frac{s}{2},-cos\frac{s}{2},0),\hfill \\ B\left(s\right)=(\frac{\sqrt{5}}{2}cos\frac{s}{2},-\frac{\sqrt{5}}{2}sin\frac{s}{2},\frac{1}{2}).\hfill \end{array}\right.$$

Denoting radius function $r\left(s\right)=2s$, then the canal surface of type ${\mathbb{M}}_{-}^2$ (see Figure 1) can be written by

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill x(s,\theta )=& (sin\frac{s}{2}-2scos\frac{s}{2}-2\sqrt{3}ssin\frac{s}{2}cos\theta +\sqrt{15}scos\frac{s}{2}sin\theta ,\hfill \\ & cos\frac{s}{2}+2ssin\frac{s}{2}-2\sqrt{3}scos\frac{s}{2}cos\theta -\sqrt{15}ssin\frac{s}{2}sin\theta ,-\frac{3\sqrt{5}s}{2}+\sqrt{3}ssin\theta ).\hfill \end{array}\end{array}$$

Example 2.

Let null curve $c\left(s\right)=(coss,sins,s)$; then, the Frenet frame can be given by

$$\left\{\begin{array}{c}T\left(s\right)=(-sins,coss,1),\hfill \\ N\left(s\right)=(-coss,-sins,0),\hfill \\ B\left(s\right)=(-\frac{1}{2}sins,\frac{1}{2}coss,-\frac{1}{2}).\hfill \end{array}\right.$$

Here, we denote radius function $r\left(s\right)=s^2$ and $\lambda (s,\theta )=-e^{\theta }$ in (39), the canal surface of type ${\mathbb{M}}_{-}^3$ (see Figure 2) as

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill x(s,\theta )=& (coss+e^{\theta }sins-s\sqrt{(4e^{\theta }-s)s}coss-s^{3}sins,\hfill \\ & sins-e^{\theta }coss-s\sqrt{(4e^{\theta }-s)s}sins+s^{3}coss,s-e^{\theta }-s^3).\hfill \end{array}\end{array}$$