Singularities of Non-Developable Surfaces in Three-Dimensional Euclidean Space

: We study the singularity on principal normal and binormal surfaces generated by smooth curves with singular points in the Euclidean 3-space. We discover the existence of singular points on such binormal surfaces and study these singularities by the method of singularity theory. By using structure functions, we can characterize the ruled surface generated by special curves.


Introduction
As the easiest parameterized surfaces, ruled surfaces are widely used in project practices, architecture, and computer-aided design [1,2]. However, on the ruled surfaces there may exist singular points. For that reason, many people study the classification of different types of singularities of a ruled surface. Taking advantage of Gauss curvature, ruled surfaces can be classified either as developable surfaces or as non-developable surfaces. From [3][4][5][6][7], we know that the generic singularities of a developable surface are the cuspidal edge, the swallowtail, and the cuspidal cross-cap. We also know that the cross-cap is the only singular point of existence on the principal normal surface of regular space curves (see [8,9]). Meanwhile, on the binormal surface of regular space curves, there are no singular points. However, for singular curves, the situation is different, and we will study the character of the singular points on such a binormal surface.
In [10], Müller gave the definition of two integral invariants, which are the pitch and the angle of pitch of a closed ruled surface in R 3 (three-dimensional Euclidean space). For a general ruled surface, the base curve is not unique. In order to solve the uncertainty of a base curve on the ruled surface, Liu and Yuan used the uniqueness of the striction line on the general ruled surface. Since the derivative of the base curve does not identically vanish, this surface is a non-developable ruled surface. In [11], they extended the definition of pitch to non-developable ruled surfaces. In [12], Liu et al. defined structure functions, which are invariants of non-developable surfaces. They used these functions to characterize the properties of surfaces. Meanwhile, they gave the relationship between these invariants and the pitch function, the angle function of pitch of the ruled surface (see [12][13][14]).
In this paper, we regard the singular curve as the Frenet-type framed base curve. In Sections 3 and 4, we give the notations of the principal normal and binormal surfaces of a Frenet-type framed base curve in Euclidean 3-space and investigate the character of singular points on these surfaces. In Section 5, we give a standard equation of a non-developable ruled surface and then study its structure functions. Moreover, we give the kinematic meanings at singular points. In Section 6, we use an example to state the singular points on these non-developable surfaces.
Throughout this article, all manifolds and maps are smooth.

Preliminaries
In this section, we study the ruled surface generated by Frenet-type framed base curves (see [15][16][17]). Since there exist singular points on these surfaces, in general, we cannot construct the normal vector of these surfaces. Therefore, we regard them as framed base surfaces that are smooth surfaces with a moving frame (see [15]).
where i y ij , i u ij : W → R, i = 0, 1, 2, j = 2, 3 are smooth functions. These functions are called the basic invariants of ( f , f 1 , f 2 ). By the integrability conditions of the framed surface [15], we have i We suppose that ( f , f 1 , f 2 ) : W → R 3 × is the framed surface and p ∈ W. The surface f is a front around p if and only if C f (p) = 0. More details are available from [15].
Next, we study the first special non-developable ruled surface, that is, the principal normal surface.

Principal Normal Surface along Frenet-Type Framed Base Curves
If there exists a regular unit speed curve T : Y → S 2 and a C ∞ function ι : Y → R satisfieṡ β(y) = ι(y)T(y) for all y ∈ Y, then we call β = β(y) : Y → R 3 a Frenet -type framed base curve (FTFB curve). We call {T(y), N(y), B(y)} an orthonormal frame along β(y) in R 3 , where N =Ṫ/ Ṫ and B = T × N. More details are available from [16]. The FTFB curve is one special kind of framed base curve [15,16]. As we want to intuitively observe the properties at singular points on the ruled surface, we choose this kind curve that is similar to the Frenet curve. A principal normal surface M is a map f : Y × U → R 3 given by f (y, u) = β(y) + uN(y). By direct calculations, singular points of surface M construct the set S = {(y, u) ∈ Y × U | ι(y) − uκ(y) = 0, uτ(y) = 0}. We can divide them into two classes S 1 and S 2 , where From above, we know the points of S 1 are located on the β. Next, we consider the characters of singular points of surfaces.

Proof.
Taking the derivative of f , we can compute that We have the second-order derivation of f as follows: Then we obtain We have known that the union of S 1 and S 2 are the set of singular points of surface M. Thus, . From [9], this completes the proof.
Since the Bertrand curve and Bertrand mate can be regard as curves on the principal normal surface, then we consider the singular point located on such curves. Corollary 1. Let β(y) be the space Bertrand curve of an FTFB curve and f (y, u) be the principal normal surface of β(y).
(1) If y 1 is the ordinary cusp singularity of β, then f (y, u) is a cross-cap at the point (y 1 , 0).
(2) If y 2 is the ordinary cusp singularity of the Bertrand mate of β, then f (y, u) is a cross-cap at the point (y 2 , A).
Because the principal normal surface has singular points, then we regard it as the framed base surface. Next, we analyze singular points of this surface by using the criterion about a framed surface (see [15]).
For a principal normal surface f (y, u) = β(y) + uN(y), if there exist two smooth functions along f (y, u).
By the derivative of F(y, u), any above case no exists. Therefore, we get the conclusion.  We can divide it into two classes S 1 and S 2 , where

Binormal Surface along Frenet-Type Framed Base Curves
From above, we know the points of S 1 are located on the β and the points of S 2 construct a ruling of f . By direct calculations, we have , ∂ 2 f ∂y 2 (y, u) = τ(y)(ι(y) + uκ(y)τ(y)).
Therefore, we get the following conclusions.
When β is a Mannheim mate of an FTFB curve, we know τ(y) = 0 for all y ∈ Y (see [19]). Therefore, the singular points of the binormal surface of β are only located on β. Next, we consider the characters of these singular points.

Corollary 2. Let β(y) be the Mannheim mate of an FTFB curve and f (y, u) be the binormal surface of β(y).
If y 1 is the ordinary cusp singularity of β(y), then f (y, u) is a cross-cap at a singular point (y 1 , 0) of the surface.
If there exist singular points on the binormal surface of the FTFB curve, then we assume that the binormal surface is a framed base surface.
By calculations, the curvature of the surface f (y, u) is By using the criterion of the type of singular points of a framed surface in [15], we obtain the following conclusions.
From the case (c), we know that the singular point (y 1 , 0) also belongs to S 2 . Thus, we omit it. In the case (d), because of F y (y 1 , 0) = F yy (y 1 , 0) = 0, then θ y (y 1 , 0) = 0. Hence, the surface cannot be the cuspidal edge, swallowtail, or cuspidal cross-cap at such a singular point (y 1 , 0).

Ruled Invariant of Ruled Surface
In [10], Müller introduced two integral invariants that are the pitch and angle of pitch of a closed ruled surface in R 3 . In [11], Liu and Yuan wanted to generalize these conceptions to the general ruled surface. They wanted to use the directrix line and orthogonal trajectory of the ruling to define the pitch of a general ruled surface. But the directrix line is not unique. To solve this uncertainty, they assumed that the directrix line is the striction line of the surface. In [12][13][14], Liu et al. defined structure functions of a non-developable ruled surface in R 3 . Then they verified any non-developable ruled surface for which the directrix line is the striction line of the surface and the direction of ruling can be determined by the orthonormal transformations. They gave the geometric description of the structure functions.
In this paper, we focus on the principal normal and binormal surfaces generated by FTFB curves in R 3 . They are non-developable ruled surfaces. We want to investigate the structure functions of these surfaces and observe the geometric characterization of structure functions at singular points.
Firstly, let us introduce structure functions of the non-developable ruled surface.
By the above assumptions, if s 0 is the singular point of Mannheim mate β of an FTFB curve, thenι(s 0 ) = 0. This means that s 0 is the A 2 -singularity of β.