## DISTANCE SQUARED FUNCTIONS ON SINGULAR SURFACES PARAMETERIZED BY SMOOTH MAPS A -EQUIVALENT TO S k , B k , C k AND F 4 .

## TOSHIZUMI FUKUI AND MASARU HASEGAWA

Abstract. We describe singularities of distance squared functions on singular surfaces in R 3 parameterized by smooth map-germs A -equivalent to one of S k , B k , C k and F 4 singularities in terms of extended geometric language via finite succession of blowing-ups. We investigate singularities of wave-fronts and caustics of such singular surfaces.

## 1. Introduction

Let f : ( R 2 , 0) → ( R 3 , 0) be a smooth map-germ which locally defines a surface S (possibly with singularities) in R 3 . We consider the family D : ( R 2 , 0) × R 3 → R of functions on S defined by where p ∈ R 3 . We define d p ( u, v ) = D u, v, ( p ), which is the distance squared function on S from the point p . In principle, this function measures contact of S with spheres centered at p , and the family D is 3-parameter unfolding of d p . We have investigated when D is K and R + -versal for a regular surface [6] or a singular surface with a Whitney umbrella (cross cap) [5]. It is important to study the K and R + -versality of D , since the number of parameters of the unfolding determines diffeomorphism type of K and R + -versal unfoldings and thus diffeomorphism type of the discriminant set and bifurcation set of D . Since the discriminant sets of D are wave-fronts of S and the bifurcation sets of D are caustics of S , this enables us to determine the diffeomorphism typs of the wave-fronts and the caustics. Next target is to generalize these results for a singular surface which is the image of an A -simple map-germ. A -simple map-germs are classified by Mond [16] and the list of the classification is given in Table 1. In this paper, we investigate when D is K and R + -versal for such singular surfaces except H k .

$$D ( u, v, \mathbf p ) = \frac { 1 } { 2 } \| f ( u, v ) - \mathbf p \| ^ { 2 }, \\ \lambda \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phis \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Philon \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phicon \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phid \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phphi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phip \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phiph \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \PhPh \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \Psi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Psi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \Phi\, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \, \Phi \Phi \,\Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phip \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Psi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi\Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Psip \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi\Psip \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Ph$$

Our main result (Theorem 3.1) is to describe singularities of the distance-squared functions on our singular surfaces and conditions for their unfoldings being K and R + -versal in terms of differential geometry of the singular surfaces. As a consequence, we obtain criteria (Theorem 4.3) for types of singularities of wave-fronts and caustics of our singular surfaces. To do this, we introduce differential geometric language for such singular surfaces using finite succession of blowing-ups. The notions we introduce are not enough to describe differential geometry

2020 Mathematics Subject Classification. Primary 53A05; Secondary 58K05 .

Key words and phrases. Singular surfaces, Distance squared functions, A -simple map-germs.

The first author is partially supported by grant-in-Aid in Science 26287011. The second author is supported by the FAPESP post-doctoral grant number 2013/02543-1 during a post-doctoral period at ICMCUSP.

## T. FUKUI AND M. HASEGAWA

Table 1. Classes of A -simple map-germs.

| Name                     | Normal form                                             | A -codim.   |
|--------------------------|---------------------------------------------------------|-------------|
| Immersion                | ( x, y, 0)                                              | 0           |
| Whitney umbrella ( S 0 ) | ( x, y 2 , xy )                                         | 2           |
| S ± k                    | ( x, y 2 , y 3 ± x k +1 y ), k /greaterorequalslant 1   | k +2        |
| B ± k                    | ( x, y 2 , x 2 y ± y 2 k +1 ), k /greaterorequalslant 2 | k +2        |
| C ± k                    | ( x, y 2 , xy 3 ± x k y ), k /greaterorequalslant 3     | k +2        |
| F 4                      | ( x, y 2 , x 3 y + y 5 )                                | 6           |
| H k                      | ( x, xy + y 3 k - 1 , y 3 ), k /greaterorequalslant 2   | k +2        |

(When k is even, S + k is equivalent to S - k , and C + k to C - k .)

for a singular surface with H k and we think it is better to treat H k case separately. We plan to prepare another article for H k case.

The paper is organized as follows. In Section 2, we investigate the differential geometric information extended to singularities of our singular surfaces. In Section 3, we show the criteria for singularities of wave-fronts and caustics of the singular surfaces and investigate distance squared functions on the singular surfaces. In addition, we introduce focal loci which should be considered as analogy of focal conics of Whitney umbrellas. In Appendix A, we collect closed formulas for coefficients of differential geometric ingredients defined in Section 2, since these are often not short.

## 2. Differential geometry for singular surfaces

Whitney [26] showed that smooth maps of R 2 into R 3 can have singularities which are not avoidable by small perturbation. Such a singularity is called a Whitney umbrella or cross-cap (Figure 1). Since Whitney umbrellas are stable singularities, it is natural to seek their geometry. The extrinsic differential geometry of the Whitney umbrella is investigated in [2, 5, 7, 8, 9, 18, 19, 22, 25], and in [10, 11] its intrinsic properties are considered.

Figure. 1. The Whitney umbrella, ( u, v ) → ( u, uv, v 2 )

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00231v1-figure-6d65b458-e9e7-452e-a146-b739d41cc5cb.jpg)

Two map-germs f, g : ( R 2 , 0) → ( R 3 , 0) are said to be A -equivalent if g = Φ ◦ f ◦ ϕ -1 for some germs of diffeomorphisms ϕ and Φ of, respectively, the source and target. In [16], Mond classified smooth map-germs ( R 2 , 0) → ( R 3 , 0) under A -equivalence and gave a list (Table 1)

DISTANCE SQUARED FUNCTIONS ON SINGULAR SURFACES WITH S k , B k , C k AND F 4 SINGULARITIES 3

of normal forms of the map-germs. Several authors tried to research in this direction, see for example [14, 15, ? , 21].

- 2.1. Normal forms of corank 1 singularities. To analyze the differential geometry of a surface, relevant parameterizations of the surface are essential. However, we can not use the normal forms given in Table 1 as its parameterization because local differential geometry of the surfaces may not be preserved by diffeomorphisms in the target. So we construct a parameterizasion by using changes of coordinates in the source and isometries in the target, which preserve the geometry of the surface.

Given a map-germ ( R 2 , 0) → ( R 3 , 0) of corank 1 at the origin, we can make a change of coordinates in the source and a rotation in the target and write the germ in the form

↦

$$( u, v ) \mapsto ( u, y ( u, v ), z ( u, v ) ),$$

where y , z ∈ 〈 u, v 〉 2 E 2 . Here, E 2 is the local ring of smooth function germs of ( R 2 , 0) → R .

Proposition 2.1. Let g : ( R 2 , 0) → ( R 3 , 0) be a map-germ of corank 1 at the origin. Then, after using rotations in the target and changes of coordinates in the source, we can reduce g to the form if j 2 g (0) is A -equivalent to ( u, v 2 , 0) , or

$$& \ t o { \ t h e \ f o r m } \\ & ( 2. 1 ) \quad \left ( u, \, \frac { 1 } { 2 } v ^ { 2 } + \sum _ { i = 2 } ^ { k } \frac { b _ { i } } { i! } u ^ { i } + O ( u, v ) ^ { k + 1 }, \, \frac { 1 } { 2 } a _ { 2, 0 } u ^ { 2 } + \sum _ { m = 3 } ^ { k } \sum _ { i + j = m } \frac { a _ { i, j } } { i! j! } u ^ { i } v ^ { j } + O ( u, v ) ^ { k + 1 } \right ), \\ & \text{if $i^{2}a(0)$ is $\mathcal{A-evaluateint to $(u.v^{2}.0)$. or}$}$$

$$& \text{if $j^{*}g(0)$ is $\mathcal{A}$-equivquivalent to $(u,v^{*},0)$, or} \\ & ( 2. 2 ) \quad & \left ( u, u v + \sum _ { i = 3 } ^ { k } \frac { b _ { i } } { i! } v ^ { i } + O ( u, v ) ^ { k + 1 }, \, \frac { 1 } { 2 } a _ { 2, 0 } u ^ { 2 } + \sum _ { m = 3 } ^ { k } \sum _ { i + j = m } \frac { a _ { i, j } } { i! j! } u ^ { i } v ^ { j } + O ( u, v ) ^ { k + 1 } \right ), \\ & \text{if $i^{2}a(0)$ is $\mathcal{A}$-equivquivalent to $(u,u,u,0)$.}$$

if j 2 g (0) is A -equivalent to ( u, uv, 0) .

Proof. We may assume that

$$P r o o f. \, \text{We may assume that} \\ j ^ { 2 } g ( 0 ) = \left ( u, \, \frac { 1 } { 2 } b _ { 2, 0 } u ^ { 2 } + b _ { 1, 1 } u v + \frac { 1 } { 2 } b _ { 0, 2 } v ^ { 2 }, \, \frac { 1 } { 2 } a _ { 2, 0 } u ^ { 2 } + a _ { 1, 1 } u v + \frac { 1 } { 2 } a _ { 0, 2 } v ^ { 2 } \right ). \\ \intertext { f i } ^ { 2 } a ( \mathfrak { M } ) \, \text{is} \, \text{Ad-evaluating to} \, ( u \, n ^ { 2 } \, \mathfrak { M } ) \, \text{ we can assume that} \, ( a _ { \mathfrak { M } } \times h _ { \mathfrak { M } } \rangle \neq ( \mathfrak { M } \, \mathfrak { M } ) \, \text{and}$$

$$\left |, \, \text{we can assume tha} \\ \begin{vmatrix} b _ { 1, 1 } & b _ { 0, 2 } \\ a _ { 1, 1 } & a _ { 0, 2 } \end{vmatrix} = 0. \\ \text{ind by} \\ \dots \end{vmatrix} \quad 1$$

If j 2 g (0) is A -equivalent to ( u, v 2 , 0), we can assume that ( a 0 2 , , b 0 2 , ) = (0 , 0) and

/negationslash

Let R be the orthogonal matrix defined by

Then the 2-jet of Rg is

$$& \text{be the orthogonal matrix defined by} \\ & R = \begin{pmatrix} 1 & 0 \\ 0 & R _ { 1 } \end{pmatrix} \quad \text{where} \quad R _ { 1 } = \frac { 1 } { \sqrt { a _ { 0, 2 } ^ { 2 } + b _ { 0, 2 } ^ { 2 } } } \begin{pmatrix} b _ { 0, 2 } & a _ { 0, 2 } \\ - a _ { 0, 2 } & b _ { 0, 2 } \end{pmatrix}. \\ & \text{the 2-jet of } R g \text{ is}$$

$$& \text{Then the $2$-jet of $Rg$ is} \\ & \left ( u, \frac { a _ { 2, 0 } b _ { 0, 2 } + a _ { 0, 2 } b _ { 2, 0 } } { 2 \sqrt { a _ { 0, 2 } ^ { 2 } + b _ { 0, 2 } ^ { 2 } } } u ^ { 2 } + \frac { a _ { 0, 2 } \, a _ { 1, 1 } + b _ { 2, 0 } \, b _ { 1, 1 } } { \sqrt { a _ { 0, 2 } ^ { 2 } + b _ { 0, 2 } ^ { 2 } } } u v + \frac { \sqrt { a _ { 0, 2 } ^ { 2 } + b _ { 0, 2 } ^ { 2 } } } { 2 } v ^ { 2 }, \frac { a _ { 2, 0 } \, b _ { 0, 2 } - a _ { 0, 2 } \, b _ { 2, 0 } } { 2 \sqrt { a _ { 0, 2 } ^ { 2 } + b _ { 0, 2 } ^ { 2 } } } u ^ { 2 } \right ).$$

Substituting v by c 1 0 , u + c 0 1 , v and choosing suitable coefficients c 1 0 , and c 0 1 , , we show that the 2-jet of Rg is

This shows the first assertion for k = 2. We proceed by induction of k . Assume that g is in the form (2.1). Substituting v by v + ∑ i + = j k c i,j u v / i j i j ( ! !), the second component of g is

$$\mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ {\mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \mu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \nu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu ^ { 2 } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \lambda } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu } \nu _ { \mu }$$

$$\infty \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \end{array} \infty \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \col. \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \text{$\nu$} \nu$} \\ \frac { 1 } { 2 } v ^ { 2 } + \frac { b _ { k + 1, 0 } } { ( k + 1 )! } u ^ { k + 1 } + \sum _ { i + j = k } \left ( \frac { b _ { i - 1, j } } { ( i - 1 )! } + \frac { c _ { i, j } } { i! } \right ) u ^ { i + 1 } v ^ { j } + O ( u, v ) ^ { k + 2 } \\ \intertext { a m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m a s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m c s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u mb s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m f s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m g u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m bs u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m B s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m ( b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m b s u m$$

and we can choose c i,j so that the term u v i j ( i + j = k +1, i /greaterorequalslant 1) are zero, which conclude the first assertion. We skip the proof of the second assertion, because the proof is similar to that of the first assertion. /square

Proposition 2.2. Necessary and sufficient conditions for g given in (2.1) to be A -equivalent to one of S k , B k , C k , and F 4 are as follows:

/negationslash

$$S _ { 1 } \colon \ \underset { \sim \dots \dots \dots } { a _ { 2, 1 } \neq 0, \ a _ { 0, 3 } \neq 0 },$$

/negationslash

/negationslash

$$S _ { k \geqslant 2 } \colon \ \underset { \underset { \underset { k + 1, 1 } { \wedge } \wedge \wedge \wedge \wedge \wedge \wedge \wedge \wedge \wedge \wedge \wedge \wedge \wedge \wedge \wedge \wedge \wedge \wedge \wedge \wedge \wedge \wedge \wedge } } { a _ { 2, 1 } = \dots = a _ { k, 1 } = 0, \ a _ { k + 1, 1 } \neq 0, \ a _ { 0, 3 } \neq 0, }$$

/negationslash

/negationslash

$$B _ { 2 } \, \colon \, \ a _ { 0, 3 } = 0, \, \underset { \sim \, \sim \, \sim \, \sim \, \sim } { a _ { 2, 1 } \neq 0 }, \ 3 a _ { 0, 5 } \, a _ { 2, 1 } - 5 a _ { 1, 3 } ^ { 2 } \neq 0,$$

/negationslash

B

$$B _ { k \geqslant 3 } \colon \ a _ { 0, 3 } = 0, \ a _ { 2, 1 } \neq 0, \ 3 a _ { 0, 5 } a _ { 2, 1 } - 5 a _ { 1, 3 } ^ { 2 } = 0, \ \xi _ { 3 } = \dots = \xi _ { k - 1 } = 0, \ \xi _ { k } \neq 0,$$

/negationslash

/negationslash

/negationslash

$$C _ { k } \, \colon \, \ a _ { 0, 3 } = 0, \, \underset { \lambda \, \lll \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colot \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \col. \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \col. \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \col.: \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \ \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \ \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \col: \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colots \, \quad \quad \quad$$

/negationslash

/negationslash

/negationslash

$$F _ { 4 } \, \colon \, \ a _ { 0, 3 } = 0, \, \underset { \, \underset { \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \sim \, \ = \, 0,$$

where

$$\xi _ { n } & = \sum _ { i = 0 } ^ { n } \sum _ { j \geq 1 } \frac { a _ { i, 2 j - 1 } c _ { 2 } ^ { m _ { 2 } } \cdots c _ { n } ^ { m _ { k } } } { m _ { 2 }! \cdots m _ { k }! \, ( 2 j - 1 )! }, \quad \sum _ { l = 2 } ^ { n } m _ { l } = i, \quad \sum _ { l = 2 } ^ { n } ( l - 1 ) m _ { l } = n - j + 1 \\ \alpha \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \ \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \Phi \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \quad \Phi \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phis } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi } \, \hat { \Phi }$$

and c 2 , . . . , c k are constants determined by

$$& \sum _ { i = 1 } ^ { n } \sum _ { j \geq 1 } \frac { a _ { i, 2 j - 1 } c _ { 2 } ^ { l _ { 2 } } c _ { 3 } ^ { l _ { 3 } } \cdots c _ { n } ^ { l _ { n } } } { l _ { 2 }! l _ { 3 }! \cdots l _ { n }! \, ( 2 n - 1 )! } = 0, \quad \sum _ { m = 2 } ^ { n } l _ { m } = i - 1, \quad \sum _ { m = 2 } ^ { n } ( m - 1 ) l _ { m } = n - j, \quad n = 2, \dots, k. \\ & \text{and} \quad \cdots \, \mathfrak { C O O } \, \text{$\mathfrak { T M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M M K \, \text{and} \quad \cdots \, \text{and} \quad \cdots \, \text{and} \quad \cdots \, \text{and} \quad \cdots \, \text{and} \quad \cdots \, \text{and} \quad \cdots \, \text{and} \quad \cdots \, \text{and} \quad \cdots \, \text{and} \quad \cdots \, \text{and} \quad \cdots \, \text{and} \quad \cdots \, \text{and} \quad \cdots \, \text{and} \quad \cdots \, \text{and} \quad \cdots \, \text{and} \quad \cdots \, \text{and} \quad \cdots \, \text{and} \quad \cdots \, \text{and}$$

Remark 2.3. These criteria are also shown in [16, page 707]. However, their criterion are not complete since they describe the criteria up to 4-jets. We obtained Proposition 2.2 without knowing their result and feel better to present our proof for completeness.

Proof of Proposition 2.2. Note that the determinacy degrees of S k , B k , C k and F 4 are shown in [16, Table 3].

DISTANCE SQUARED FUNCTIONS ON SINGULAR SURFACES WITH S k , B k , C k AND F 4 SINGULARITIES 5

For S 1 : We first remark that S 1 -singularity is 3A -determined. The left coordinate changes reduces j 3 g (0) to

$$& \text{For $S_{1} \colon \text{We first remark that $S_{1}$-singularity is $3-\mathcal{A}$-determined. } I \text{the left coordinate chan} \mathfrak { l } \\ & ( 2. 3 ) & \hat { y } = y - \sum _ { i = 2 } ^ { 3 } \frac { b _ { i } } { i! } x ^ { i }, \quad \hat { z } = z - \sum _ { i = 2 } ^ { 3 } \frac { a _ { i, 0 } } { i! } x ^ { i } - a _ { 1, 2 } \left ( y - \sum _ { i = 2 } ^ { 3 } \frac { b _ { i } } { i } x ^ { i } \right ) \\ & \text{reduces } j ^ { 3 } q ( 0 ) \text{ to }$$

$$\left ( u, \, \frac { 1 } { 2 } v ^ { 2 }, \, \frac { 1 } { 2 } a _ { 2, 1 } u ^ { 2 } v + \frac { 1 } { 6 } a _ { 0, 3 } v ^ { 3 } \right ), \\ \mathcal { A } \text{-equivalent to } S _ { 1 } \text{ if and only if } a _ { 2. 1 } \neq 0$$

and this implies that g is A -equivalent to S 1 if and only if a 2 1 , = 0 and a 0 3 , = 0.

/negationslash

/negationslash

For S /greaterorequalslant 2 : We first remark that S k is ( k + 2)-determined. By the left coordinate changes like (2.3), we reduce j k +2 g (0) to

$$& \text{like (2.3), we reduce $j^{\mu\nu*g(U)$ to} \\ & ( 2. 4 ) & \left ( u, \frac { 1 } { 2 } v ^ { 2 }, \sum _ { i + 2 j = 2 } ^ { k + 1 } \frac { a _ { i, 2 j + 1 } } { i! ( 2 j + 1 )! } u ^ { i } v ^ { 2 j + 1 } \right ), \quad ( i, \ j \geqslant 0 ). \\ & \text{If $q$ is $\mathcal{$A$-equivalent to $S_{k}$, we may assume that $a_{n}_{3}\neq 0$. Since $a_{n}_{3}\neq 0$, we can ch}$$

/negationslash

If g is A -equivalent to S k , we may assume that a 0 3 , = 0. Since a 0 3 , = 0, we can choose c so that the coefficients of u v i 2 +3 j m ( i + j /greaterorequalslant 1 , m /greaterorequalslant 1) of the third component of (2.4) are zero by the left coordinate change ˆ = z z -cx y z i j m . Hence we reduce (2.4) to

/negationslash

$$& \text{hange $z=z-cx^{\bullet}y^{\prime}z^{\bullet}$. Hence we reduce } ( 2. 4 \\ & \quad \left ( u, \, \frac { 1 } { 2 } v ^ { 2 }, \, \sum _ { i = 2 } ^ { k + 1 } \frac { a _ { i, 1 } } { i! } u ^ { i } v + \frac { 1 } { 6 } a _ { 0, 3 } v ^ { 3 } \right ), \\ & = a _ { k. 1 } = 0 \text{ and } a _ { k + 1. 1 } \neq 0. \text{ On the other hand},$$

/negationslash

/negationslash

/negationslash

$$\xi, \, \text{em we can recue} \, ( 2. 4 ) \, \infty \\ \left ( u, \, \frac { 1 } { 2 } v ^ { 2 }, \, \frac { a _ { k + 1, 1 } } { ( k + 1 )! } u ^ { k + 1 } v + \frac { 1 } { 6 } a _ { 0, 3 } v ^ { 3 } \right ) \\ \text{line to chanco} \, \hat { \xi } - \, \tau = \, \tau ^ { i } u ^ { j } \tau ^ { m } \text{ and this inline}$$

and we have a 2 1 , = · · · = a k, 1 = 0 and a k +1 1 , = 0. On the other hand, if a 2 1 , = · · · = a k, 1 = 0, a k +1 1 , = 0 and a 0 3 , = 0, then we can reduce (2.4) to by the above left coordinate change ˆ = z z -cx y z i j m , and this implies that g is A -equivalent to S k -singularity.

For B 2 : We first remark that B 2 -singularity is 5A -determined. By the left coordinate changes like (2.3), we reduce j 5 g (0) to

(2.5)

$$& \left ( u, \frac { 1 } { 2 } v ^ { 2 }, \, \frac { 1 } { 2 } a _ { 2, 1 } u ^ { 2 } v + \frac { 1 } { 6 } a _ { 0, 3 } v ^ { 3 } + \frac { 1 } { 6 } a _ { 3, 1 } u ^ { 3 } v + \frac { 1 } { 6 } a _ { 1, 3 } u v ^ { 3 } + \frac { 1 } { 2 4 } a _ { 4, 1 } u ^ { 4 } v + \frac { 1 } { 1, 2 } a _ { 2, 3 } u ^ { 2 } v ^ { 3 } + \frac { 1 } { 1 2 0 } a _ { 0, 5 } v ^ { 5 } \right ). \\ & \text{if $a$ is $\Lambda$-continuation $tot\,o$ $R$ - two may as $\maxnpmothat $n$} \, \neq \, \text{$\minotnol$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$\,$$$

/negationslash

If g is A -equivalent to B 2 , we may assume that a 2 1 , = 0. Since a 2 1 , = 0, substituting u by u -a 1 3 , v / 2 (6 a 2 1 , ), we reduce the coefficient of uv 3 of the third component of (2.5) to zero. Moreover, using the left coordinate change ˆ = z z -cx y z i j m ( i + j /greaterorequalslant 1 , m /greaterorequalslant 1) and choosing a suitable coefficient c , we can reduce the coefficients of u i +2 m v 2 + j m of the third component of (2.5) to zero. Hence we reduce (2.5) to

/negationslash

$$\text{zero, there we require } ( 2. 0 ) \, \infty \\ \left ( u, \, \frac { 1 } { 2 } v ^ { 2 }, \, \frac { 1 } { 2 } a _ { 2, 1 } u ^ { 2 } v + \frac { 1 } { 6 } a _ { 0, 3 } v ^ { 3 } + \frac { 3 a _ { 2, 1 } \, a _ { 0, 5 } - 5 a _ { 1, 3 } ^ { 2 } } { 3 6 0 a _ { 2, 1 } } v ^ { 5 } \right ), \\ \text{no, and } 3 a _ { 2, 1 } = 0 \, \text{and } 3 a _ { 2, 1 } = 5 a ^ { 2 } \, \neq 0 \, \text{on the other hand if } a _ { 2, 1 } \, \neq 0 \, \text{.}$$

/negationslash

/negationslash and we have a 0 3 , = 0 and 3 a 2 1 , a 0 5 , -5 a 2 1 3 , = 0. On the other hand, if a 2 1 , = 0, a 0 3 , = 0 and 3 a 2 1 , a 0 5 , -5 a 2 1 3 , = 0, then by the above changes of coordinate of the source and the target

/negationslash

we can reduce (2.5) to

$$\left ( u, \, \frac { 1 } { 2 } v ^ { 2 }, \, \frac { 1 } { 2 } a _ { 2, 1 } u ^ { 2 } v + \frac { 3 a _ { 2, 1 } \, a _ { 0, 5 } - 5 a _ { 1, 3 } ^ { 2 } } { 3 6 0 a _ { 2, 1 } } v ^ { 5 } \right ),$$

and we conclude that g is A -equivalent to B 2 .

For B /greaterorequalslant 3 : First, we remark that B k singularity is (2 k +1)-determined. By the left coordinate changes

$$\hat { x } = x, \quad \hat { y } = y - \sum _ { i = 2 } ^ { 2 k + 1 } \frac { b _ { i } } { i! } x ^ { i }, \quad \hat { z } = z - \sum _ { i + 2 j = 2 } ^ { 2 k + 1 } \frac { 2 a _ { i, 2 j } } { i! ( 2 j )! } x ^ { i } \left ( y - \sum _ { i = 2 } ^ { 2 k + 1 } \frac { b _ { i } } { i! } x ^ { i } \right ) ^ { j },$$

the coefficients u i of the second component and u v i 2 j of the third component of j 2 k +1 f (0) became to 0, and thus j 2 k +1 f (0) reduces to

$$\left ( u, \frac { 1 } { 2 } v ^ { 2 }, \frac { a _ { 2, 1 } } { 2 } u ^ { 2 } v + \frac { a _ { 0, 3 } } { 6 } v ^ { 3 } + \sum _ { i + 2 j = 3 } ^ { 2 k } \frac { a _ { i, 2 j + 1 } } { i! ( 2 j + 1 )! } u ^ { i } v ^ { 2 j + 1 } \right ).$$

Remark that this coordinate changes does not change all coefficients of the third component except coefficients u v i 2 j .

/negationslash

$$\left ( u + \sum _ { i = 2 } ^ { k } c _ { i } v ^ { 2 ( i - 1 ) }, \, \frac { 1 } { 2 } v ^ { 2 }, \, \frac { 1 } { 2 } a _ { 2, 1 } u ^ { 2 } v + \sum _ { i + j = 4 } ^ { 2 k + 1 } \hat { a } _ { i, j } u ^ { i } v ^ { j } \right ).$$

Assume that f is A -equivalent to B k singularity. From (2.6), we have a 2 1 , = 0 and a 0 3 , = 0. Replacing u by u + ∑ k i =2 c v i 2( i -1) , we write j 2 k +1 f (0) as

/negationslash

Since a 2 1 , = 0, we can choose c 2 , . . . , c k so that the coefficients of uv 3 , . . . , uv 2 k -1 of the third component of (2.7) became to zero. In fact, since the coefficients ˆ a 1 3 , , . . . , ˆ a 1 2 , k -1 of uv 3 , . . . , uv 2 k -1 of the third component are give by

$$( 2. 8 ) \quad \hat { a } _ { 1, 3 } = \frac { a _ { 1, 3 } } { 3! } + \frac { a _ { 2, 1 } } { 2! } \frac { 2! } { 1! 1! } c _ { 2 }, \quad \hat { a } _ { 1 }$$

$$( 2. 9 ) \quad \hat { a } _ { 1, 5 } = \frac { \overset { \sim } { a _ { 1, 5 } } } { 5! } + \frac { \overset { \sim } { a _ { 2, 1 } } } { 2! } \frac { \overset { \sim } { a _ { 2 } } } { 1! 1! } c _ { 4 } + \frac { a _ { 2, 3 } } { 2! 3! } \frac { 2! } { 1! 1! } c _ { 2 } + \frac { a _ { 3, 1 } } { 3! } \frac { 3! } { 1! 2! } c _ { 2 } ^ { 2 },$$

.

.

.

(2.10)

$$\hat { a } _ { 1, 2 k - 1 } = \sum _ { i = 1 } ^ { k } \sum _ { j \geqslant 1 } \frac { a _ { i, 2 j - 1 } c _ { 2 } ^ { l _ { 2 } } \, c _ { 3 } ^ { l _ { 3 } } \cdots c _ { k } ^ { l _ { k } } } { l _ { 2 }! \, l _ { 3 }! \cdots l _ { k }! \, ( 2 k - 1 )! } \quad \left ( \sum _ { m = 2 } ^ { k } l _ { m } = i - 1, \quad \sum _ { m = 2 } ^ { k } ( m - 1 ) l _ { m } = k - j \right ),$$

DISTANCE SQUARED FUNCTIONS ON SINGULAR SURFACES WITH S k , B k , C k AND F 4 SINGULARITIES 7

c 2 , . . . , c k are determined by ˆ a 1 3 , = · · · = ˆ a 1 2 , k -1 = 0. In particular, c 2 = -a 1 3 , / (6 a 2 1 , ). The coefficients of ˆ a 0 5 , , . . . , ˆ a 0 2 , k +1 of v 5 , . . . , v 2 k +1 of the third component are given by

$$( 2. 1 1 ) \quad \hat { a } _ { 0, 5 } = \frac { a _ { 0, 5 } } { 5! } + \frac { a _ { 1, 3 } } { 3! } \frac { 1! } { 1! } c _ { 2 } ^ { 1 } + \frac { a _ { 2, 1 } } { 2! } \frac { 2! } { 2! } c _ { 2 } ^ { 2 }, \\ _ { \mu } \quad \mu \quad \mu \quad \mu \quad \mu \quad \mu \quad \mu \quad \mu \quad \mu \quad \nu$$

$$( 2. 1 2 ) \quad \hat { a } _ { 0, 7 } = \frac { \lambda \cdot \cdot } { 7! } + \frac { \lambda _ { 1, 3 } } { 3! } \frac { 1! } { 1! } c _ { 3 } ^ { 1 } + \frac { \lambda _ { 1, 5 } } { 5! } \frac { 1! } { 1! } c _ { 2 } ^ { 1 } + \frac { a _ { 2, 1 } } { 2! } \frac { 2! } { 1! 1! } c _ { 2 } ^ { 1 } c _ { 3 } ^ { 1 } + \frac { a _ { 2, 3 } } { 2! 3! } \frac { 2! } { 2! } c _ { 2 } ^ { 2 } + \frac { a _ { 3, 1 } } { 3! } \frac { 3! } { 3! } c _ { 2 } ^ { 3 },$$

.

.

$$& \colon \\ ( 2. 1 3 ) \ \hat { a } _ { 0, 2 k + 1 } = \sum _ { i = 0 } ^ { k } \sum _ { j \geqslant 1 } \frac { a _ { i, 2 j - 1 } c _ { 2 } ^ { m _ { 2 } } \cdots c _ { k } ^ { m _ { k } } } { m _ { 2 }! \cdots m _ { k }! \, ( 2 j - 1 )! } \quad \left ( \sum _ { l = 2 } ^ { k } m _ { l } = i, \quad \sum _ { l = 2 } ^ { k } ( l - 1 ) m _ { l } = k - j + 1 \right ). \\ & \text{In particular, } \hat { a } _ { 0. 5 } = ( 3 a _ { 0. 5 } a _ { 2. 1 } - 5 a _ { 1 } ^ { 2 } \cdot \lambda ) / ( 3 6 0 a _ { 2. 1 } ). \ B v \text{ the left change of coordinates}$$

.

In particular, ˆ a 0 5 , = (3 a 0 5 , a 2 1 , -5 a 2 1 3 , ) / (360 a 2 1 , ). By the left change of coordinates

$$\Pi \ p a u c { u a a, u _ { 0, 5 } } = \{ \varpi _ { u _ { 0, 5 } } u _ { 2, 1 } - \varpi _ { u _ { 1, 3 } } / \{ \varpi _ { 0 0 } u _ { 2, 1 } }. \ D y \ u n e r e n c a n g e o n u c o n u a l a v e s \\ \hat { \hat { x } } = \hat { x } - \sum _ { i = 2 } ^ { k } 2 ^ { i - 1 } c _ { i } \hat { y } ^ { i - 1 }, \quad \hat { \hat { y } } = \hat { y }, \quad \hat { \hat { z } } = \hat { z } - \sum c _ { i, j, m } \left ( \hat { x } - \sum _ { i = 2 } ^ { k } 2 ^ { i - 1 } c _ { i } \hat { y } ^ { i - 1 } \right ) \hat { y } ^ { j } \hat { z } ^ { m }, \\ \text{coefficients of $u^{2}$}, \dots, u ^ { 2 ( k - 1 ) } \text{ of the first component became to zero. Moreover, since $a_{2.1} \neq 0$},$$

/negationslash

$$& \text{to} \\ & \frac { 1 } { 2 } a _ { 2, 1 } u ^ { 2 } v + \hat { a } _ { 0, 5 } v ^ { 5 } + \sum _ { m = 3 } ^ { k } \sum _ { i = 2 } ^ { m - 1 } \hat { a } _ { 0, 2 i - 1 } c _ { 1, m - i - 1, 1 } u v ^ { 2 m - 1 } + \sum _ { m = 3 } ^ { k } \left ( \hat { a } _ { 0, 2 m + 1 } + \sum _ { i = 3 } ^ { m } \hat { a } _ { 0, 2 i - 1 } c _ { 0, m - i + 1, 1 } v ^ { 2 m + 1 } \right ). \\ & \text{Setting } \hat { a } _ { 0, 2 m + 1 } = \xi _ { n }, \, \text{we obtain } \xi _ { 2 } = \xi _ { 3 } = \dots = \xi _ { k - 1 } = 0, \, \xi _ { k } \neq 0.$$

coefficients of u 2 , . . . , u 2( k -1) of the first component became to zero. Moreover, since a 2 1 , = 0, we can choose c i,j,m so that the coefficients of u i +2 m v 2 + j m ( i /greaterorequalslant 0 , j /greaterorequalslant 0 , m /greaterorequalslant 1 , 4 /lessorequalslant i +2 + j 3 m /lessorequalslant 2 k +1) of the third component became to zero, and thus the third component reduces to

/negationslash

Setting ˆ a 0 2 , n +1 = ξ n , we obtain ξ 2 = ξ 3 = · · · = ξ k -1 = 0, ξ k = 0.

/negationslash

/negationslash

$$& \text{and the target we can reduce (2.6) to } \\ & \quad \left ( u, \frac { 1 } { 2 } v ^ { 2 }, \, \frac { 1 } { 2 } a _ { 2, 1 } u ^ { 2 } v + \xi _ { k } v ^ { 2 k + 1 } \right ). \\ & \text{to } B _ { k }.$$

Conversely, if a 2 1 , = 0, a 0 3 , = ξ 2 = · · · = ξ k = 0, and ξ k = 0, then by the above changes of coordinate of the source and the target we can reduce (2.6) to

Hence, f is A -equivalent to B k .

/negationslash

/negationslash

$$\lambda & \lambda \\ \sum _ { \delta } & \left ( u, \, \frac { 1 } { 2 } v ^ { 2 }, \, \frac { 1 } { 6 } a _ { 0, 3 } v ^ { 3 } + \frac { 1 } { 6 } a _ { 1, 3 } u v ^ { 3 } + \sum _ { i = 2 } ^ { k } \frac { a _ { i, 1 } } { i! } u ^ { i } v \right ). \\ \sum _ { \delta } & \, a _ { 2, 1 } = \cdots = a _ { k - 1, 1 } = 0, \, a _ { k, 1 } \neq 0 \text{ and } a _ { 0, 3 } = 0. \text{ Conversely}$$

For C /greaterorequalslant 4 : We first remark that C k -singularity is ( k +1)A -determined. If g is A -equivalent to C k , we may assume that a 1 3 , = 0. Since a 1 3 , = 0, substituting u by u -6 a 0 2 +3 , i (2 +3)! i a 1 3 , v 2 i ( i /greaterorequalslant 1), we reduce the coefficient of v 2 +3 i of the third component of j k +1 g (0). Moreover, we can choose c so that the coefficients of u i + m v 2 +3 j m ( i + j /greaterorequalslant 1 , m /greaterorequalslant 1) of the third component of j k +1 g (0) are zero by the left coordinate change ˆ = z z -cx y z i j m . Hence we can reduce j k +1 g (0) to

/negationslash

/negationslash

/negationslash

$$\text{can reduce } j ^ { \kappa + 1 } g ( 0 ) \text{ to } \\ \left ( u, \frac { 1 } { 2 } v ^ { 2 }, \, \frac { 1 } { 6 } a _ { 1, 3 } u v ^ { 3 } + \frac { a _ { k, 1 } } { k! } u ^ { k } v \right ),$$

This shows that a 2 1 , = · · · = a k -1 1 , = 0, a k, 1 = 0 and a 0 3 , = 0. Conversely, if a 2 1 , = · · · = a k -1 1 , = 0, a k, 1 = 0, a 0 3 , = 0 and a 1 3 , = 0, then by the above changes of coordinate of the source and the target we can reduce j k +1 g (0) to

and we conclude that g is A -equivalent to C k .

For F 4 : We first remark that F 4 -singularity is 5A -determined. By the left coordinate changes like (2.3), we reduce j 5 g (0) to

(2.14)

/negationslash

$$\left ( u, \frac { 1 } { 2 } v ^ { 2 }, \, \frac { 1 } { 2 } a _ { 2, 1 } u ^ { 2 } v + \frac { 1 } { 6 } a _ { 0, 3 } v ^ { 3 } + \frac { 1 } { 6 } a _ { 3, 1 } u ^ { 3 } v + \frac { 1 } { 6 } a _ { 1, 3 } u v ^ { 3 } + \frac { 1 } { 2 4 } a _ { 4, 1 } u ^ { 4 } v + \frac { 1 } { 1 2 } a _ { 2, 3 } u ^ { 2 } v ^ { 3 } + \frac { 1 } { 1 2 0 } a _ { 0, 5 } v ^ { 5 } \right ). \\ \text{If a is $\mathcal{A-equivalent to $F$. we may assume that $a_{\sigma}$ $\neq 0$.  Since $a_{\sigma}$ $\neq 0$. Reincing $u$ to}$$

/negationslash

$$& \text{coefficient of $u^{\nu}$} \text{ of the third component of ($2.14)$ to zero. Hence $j^{\bullet}g(0)$ reduces to} \\ & \left ( u, \frac { 1 } { 2 } v ^ { 2 }, \frac { 1 } { 6 } a _ { 2, 1 } u ^ { 2 } v + \frac { 1 } { 6 } a _ { 0, 3 } v ^ { 3 } + \frac { 1 } { 6 } a _ { 3, 1 } u ^ { 3 } v + \frac { 1 } { 6 } a _ { 1, 3 } u v ^ { 3 } + \left ( \frac { 1 } { 1 2 0 } a _ { 0, 5 } - \frac { a _ { 1, 3 } a _ { 2, 3 } } { 3 6 a _ { 3, 1 } } \right ) v ^ { 5 } \right ). \\ & \text{This implies that we have $a_{1}=a_{n}_{\Re}=a_{1}_{\Re}=0$ and $a_{n}_{5}\neq 0$. Converselv. if $a_{n}_{1}=a_{n}\Re=}$$

If g is A -equivalent to F 4 , we may assume that a 3 1 , = 0. Since a 3 1 , = 0, replacing u to u -a 2 3 , / (6 a 3 1 , ) v 2 , we see that the coefficient of u v 2 3 of the third component of (2.14) reduces to zero. Moreover, by the left coordinate change ˆ = z z -a 4 1 , / (4 a 3 1 , ) xz , we can reduce the coefficient of u v 4 of the third component of (2.14) to zero. Hence j 5 g (0) reduces to

/negationslash

/negationslash

/negationslash

$$& \ e \, j ^ { \upsilon } g ( 0 ) \, \text{to} \\ & \quad \left ( u, \, \frac { 1 } { 2 } v ^ { 2 }, \, \frac { 1 } { 6 } a _ { 3, 1 } u ^ { 3 } v + \frac { 1 } { 1 2 0 } a _ { 0, 5 } v ^ { 5 } \right ), \\ & \text{ent to } F _ { 4 }.$$

This implies that we have a 2 1 , = a 0 3 , = a 1 3 , = 0 and a 0 5 , = 0. Conversely, if a 2 1 , = a 0 3 , = a 1 3 , = 0, a 3 1 , = 0 and a 0 5 , = 0, then by the above changes of coordinate of the source and the target we can reduce j 5 g (0) to and thus g is A -equivalent to F 4 .

/square

2.2. Basic notions of differntial geometry of singular surfaces with corank 1 singularities. Consider a singular surface S parameterized by a smooth map-germ g : ( R 2 , 0) → ( R 3 , 0) of corank 1 at the origin 0. At the singular point g (0), the tangent plane degenerates to a line, that is, the image of dg 0 is a line. We call such a line a tangent line . The plane passing through g (0) perpendicular to the tangent line is called the normal plane .

We consider the orthogonal projection of S onto the normal plane. The projection can be expressed as

↦

$$( \mathbb { R } ^ { 2 }, 0 ) \to ( \mathbb { R } ^ { 2 }, 0 ), \ \ ( u, v ) \mapsto ( p ( u, v ), q ( u, v ) ).$$

We consider the group G = GL ( 2 R ) × GL ( 2 R ) which acts on ( j 2 p, j 2 q ). The list of G -orbits is given in Table 2 (see [4] for example). We classify the singular points of S on the basis of the G -class of ( j 2 p, j 2 q ) in Table 2. From Proposition 2.1, if j 2 g (0) is A -equivalent to ( u, v 2 , 0) then the singular point g (0) is a hyperbolic, inflection or degenerate inflection point. On the other hand, if j 2 g (0) is A -equivalent to ( u, uv, 0), then the singular point g (0) is either a parabolic or inflection point.

There exists non-zero vector η ∈ T 0 R 2 such that dg 0 ( η ) = 0. We call η a null vector (cf. [12, 21]). Suppose that j 2 g (0) is A -equivalent to ( u, v 2 , 0). The plane passing through g (0) spanned by the tangent line and ηηg (0) is called the principal plane , where ηηg is the twice times directional derivative of g with respect to η . The vector in the normal plane is called the principal normal vector if the vector is normal to the principal plane.

We remark that the definitions of the tangent line, normal plane, principal plane, principal normal vector and type of singular points are independent of the choice of coordinates in the source and choice of η .

A regular plane curve in the parameter space passing through (0 , 0) is called a tangential curve if it is transverse to η at (0 , 0). Let γ t ( ) be a parameterization of the tangential curve.

Table 2. The classification of the singular points.

| G -class          | Name                        |
|-------------------|-----------------------------|
| ( x 2 , y 2 )     | hyperbolic point            |
| ( xy, x 2 - y 2 ) | elliptic point              |
| ( x 2 , xy )      | parabolic point             |
| ( x 2 ± y 2 , 0)  | inflection point            |
| ( x 2 , 0)        | degenerate inflection point |
| (0 , 0)           | degenerate inflection point |

Clearly, g ◦ γ is tangent to the tangent line of the singular surface. We denote Γ by a family of tangential curves γ . A member Γ 0 of the family is a characteristic tangential curve if the curvature of the orthogonal projection of g ◦ Γ 0 onto the principal plane at g (0) has an extremum value κ 0 . Note that tangential curves tangent to the characteristic tangential curve are characteristic tangential curves.

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00231v1-figure-92b43b44-4fef-4082-ba72-48e65890f34f.jpg)

Figure. 2. The tangent line, normal plane and principal plane of S -(left) and S + (right).

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00231v1-figure-e31b773e-3baa-4a99-a30a-58555aa006d7.jpg)

Remark 2.4. Assume that a singular surface is parameterized by g : ( R 2 , 0) → ( R 3 , 0) given in (2.1). We can easily show that the tangent line is the x -axis and the normal plane is the yz -plane, where ( x, y, z ) is the usual Cartesian coordinate system of R 3 . Furthermore, the null vector can be chosen as η = ∂ v , and thus the principal plane is the xy -plane ± ∂ z are the principal normal vectors.

We can take Γ = ( u, c 1 u + c u 2 2 + O u ( 3 )) as the family of tangential curves. The 2-jet of g ◦ Γ are given by ( u, ( b 2 + c 2 1 ) u / 2 2 , a 2 0 , u / 2 2). It follows that tangential curves tangent to the u -axis are the characteristic tangential curves, and thus the singular point g (0) is an

inflection (resp. degenerate inflection) point if and only if a 2 0 , = 0 (resp. a 2 0 , = b 2 = 0). By using the above argument, it is easily shown that the singular point g (0) is an inflection point if and only if g ◦ γ have at least 3-point contact (inflectional tangent) with the principal plane at g (0), and that the inflection point g (0) is degenerate if and only if κ 0 = 0.

- 2.3. Extended geometric properties of singular surfaces via blowing-ups. Let S be a singular surface parameterized by g in (2.1), and let g be A -equivalent to one of S k , B k , C k and F 4 singularities. From Proposition 2.2, the condition that

/negationslash

$$( 2. 1 5 ) \quad \ \ a _ { 2, 1 } \neq 0 \ \text{ or } \ a _ { 2, 1 } = \dots = a _ { n, 1 } = 0, \ a _ { n + 1, 1 } \neq 0 \ \text{ for some } \ n \geqslant 2.$$

/negationslash holds. Consider maps

↦

/negationslash and

↦

$$\widetilde { \Pi } _ { n + 1 } \colon \mathbb { R } \times S ^ { 1 } \to \mathbb { R } ^ { 2 }, \quad ( r, \theta ) \mapsto ( r \cos \theta, r ^ { n + 1 } \cos ^ { n } \theta \sin \theta ) \quad ( n = 1 \text{ if } a _ { 2 1 } \neq 0 ), \\ \text{and} \\ \Pi _ { n + 1 } \colon \mathcal { M } \to \mathbb { R } ^ { 2 }, \quad [ ( r, \theta ) ] \mapsto ( r \cos \theta, r ^ { n + 1 } \cos ^ { n } \theta \sin \theta ) \quad ( n = 1 \text{ if } a _ { 2 1 } \neq 0 ),$$

$$\Pi _ { n + 1 } \, \colon \mathcal { M } \rightarrow \mathbb { R } ^ { 2 }, \ \ [ ( r, \theta ) ] \mapsto ( r \cos \theta, r ^ { n + 1 } \cos ^ { n } \theta \sin \theta ) \ \ ( n = 1 \text{ if } a _ { 2 1 } \neq 0 ),$$

/negationslash where M = R × S / r, θ 1 ( ) ∼ -( r, θ + ). The exceptional set π X = Π n +1 (0 , 0) = { ( r, θ ) | r cos θ 0 } . Note that

, -1 =

$$\widetilde { \Pi } _ { n + 1 } ^ { * } u ^ { i } v ^ { j } = ( u ^ { i } v ^ { j } ) \circ \widetilde { \Pi } _ { n + 1 } = r ^ { i + j + j n } \cos ^ { i + j n } \theta \sin ^ { j } \theta.$$

Set

$$A _ { m } = A _ { m } ( u, v ) = \sum _ { i + j = m } \frac { a _ { i, j } } { i! j! } u ^ { i } v ^ { j }, \quad A = A ( u, v ) = \sum _ { m = 3 } ^ { k } A _ { m }, \quad B = B ( u ) = \sum _ { i = 3 } \frac { b _ { i } } { i! } u ^ { i }. \\ \text{We have}$$

$$\widetilde { \Pi } _ { n + 1 } ^ { * } u ^ { i } v ^ { j } & = ( u ^ { i } v ^ { j } ) \circ \widetilde { \Pi } _ { n + 1 } = r ^ { i + j + j n } \cos ^ { i + j n } \theta \sin ^ { j } \theta. \\ & \quad \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
 \quad \quad \quad$$

We have

$$g _ { u } & = ( 1, B _ { u }, a _ { 2, 0 } u + A _ { u } ), \quad g _ { v } = ( 0, v, A _ { v } ),$$

and we thus obtain

(2.18)

$$g _ { u } \times g _ { v } = ( A _ { v } B _ { u } - a _ { 2, 0 } u v - v A _ { v }, - A _ { v }, v ).$$

Therfore, we have

(2.19)

$$\text{Therfore, we have} \\ & \tilde { \Pi } _ { n + 1 } ^ { * } ( g _ { u } \times g _ { v } ) \\ = r ^ { n + 1 } \cos ^ { n } \theta \Big { ( } \Big { ( } \frac { a _ { n + 1, 1 } \, b _ { 2 } } { ( n + 1 )! } \cos ^ { 2 } \theta - a _ { 2, 0 } \cos \theta \sin \theta \Big { ) } \, r \\ + & \Big { ( } \frac { 2 a _ { n + 2, 1 } \, b _ { 2 } + a _ { n + 1, 1 } \, b _ { 3 } } { 2 ( n + 1 )! } \cos ^ { 3 } \theta + \frac { 2 a _ { 1, 2 } \, b _ { 2 } - a _ { 3, 0 } } { 2 } \cos ^ { 2 } \theta \sin \theta \Big { ) } \, r ^ { 2 } + O ( r ^ { 3 } ), \\ - & \frac { a _ { n + 1, 1 } } { ( n + 1 )! } \cos \theta + \Big { ( } - \frac { a _ { n + 2, 1 } } { ( n + 2 )! } \cos ^ { 2 } \theta - a _ { 1, 2 } \cos \theta \sin \theta \Big { ) } \, r \\ & + \Big { ( } \frac { a _ { n + 3, 1 } } { ( n + 3 )! } \cos ^ { 2 } \theta + \frac { 1 } { 2 } a _ { 2, 2 } \cos \theta \sin \theta - \varepsilon \frac { 1 } { 2 } a _ { 0, 3 } \sin ^ { 2 } \theta \Big { ) } \, r ^ { 2 } + O ( r ^ { 3 } ), \, \sin \theta \Big { ) }, \\ \text{where} \, \varepsilon = 1 \, \text{if} \, n = 1, \, \text{or} \, \varepsilon = 0 \, \text{if} \, n \geqslant 2. \, \text{Write the unit normal vector} \, \tilde { n } = \tilde { \Pi } _ { n + 1 } ^ { * } n \text{ in the form}$$

where ε = 1 if n = 1, or ε = 0 if n /greaterorequalslant 2. Write the unit normal vector n = Π ∗ n in the form

$$\cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cd. 1, \, \text{or} \, \varepsilon = 0 \, \text{if} \, n \geqslant 2. \, \text{Write the unit normal vector} \, \widetilde { n } = \widetilde { \Pi } _ { n + 1 } ^ { * } n \, \text{in the} \, \iota \\ \widetilde { n } ( r, \theta ) = ( n _ { 1 } ( r, \theta ), \, n _ { 2 } ( r, \theta ), \, n _ { 3 } ( r, \theta ) ).$$

DISTANCE SQUARED FUNCTIONS ON SINGULAR SURFACES WITH S k , B k , C k AND F 4 SINGULARITIES 1 1

Using (2.19), we show that ˜ n can be extendible near the exceptional set X and n i can be written in

$$n _ { 1 } & = O ( r ), \\ n _ { 2 } & = n _ { 2 0 } + n _ { 2 1 } r + n _ { 2 2 } r ^ { 2 } + O ( r ^ { 3 } ), \\ n _ { 3 } & = n _ { 3 0 } + n _ { 3 1 } r + n _ { 3 2 } r ^ { 2 } + O ( r ^ { 3 } ),$$

where

$$n _ { 2 0 } = - \frac { a _ { n + 1, 1 } \cos \theta } { \mathcal { A } ( \theta ) }, \quad n _ { 3 0 } = \frac { ( n + 1 )! \sin \theta } { \mathcal { A } ( \theta ) }, \quad \dots$$

and the coefficients ( n 11 , n 21 , n 22 , n 31 , n 32 ) are trigonometric polynomials with coefficients depending on the 4-jet and a i, 1 ( n + 1 /lessorequalslant i /lessorequalslant n + 3) of g , expressed in (A.1) to (A.4) in Appendix A. Here,

Remark 2.5. When the singular surface S is parameterized by a map-germ A -equivalent to H k , we cannot obtain an extended unit normal vector of S via such a map Π ˜ n +1 , and the expressions of the second fundamental form below do not work. This is the reason why we avoid the case in this paper.

$$\Lambda ( \theta ) = \sqrt { a _ { n + 1, 1 } ^ { 2 } \cos ^ { \theta } + ( ( n + 1 )! ) ^ { 2 } \sin ^ { 2 } \theta }. \intertext { n the singular surface $S$ is parameterized by a map }. \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \collections }$$

/negationslash

$$& \text{and} \left ( 2. 1 7 \right ) \text{ we have} \\ & \widetilde { \Pi } _ { n + 1 } ^ { * } g _ { u } = \left ( 1, \, b _ { 2 } r + \frac { b _ { 3 } } { 2 } r ^ { 2 } + O ( r ^ { 3 } ), \, a _ { 2, 0 } r \cos \theta + a _ { 3, 0 } r ^ { 2 } \cos ^ { 2 } \theta + O ( r ^ { 3 } ) \right ), \\ & \widetilde { \Pi } _ { n + 1 } ^ { * } g _ { v } = r ^ { n + 1 } \left ( 0, \, \cos ^ { n } \theta \sin \theta, \, \frac { a _ { n + 1, 1 } } { ( n + 1 )! } \cos ^ { n + 1 } \theta + \left ( \frac { a _ { n + 2, 1 } } { ( n + 2 )! } \cos \theta + a _ { 1, 2 } \right ) r \cos ^ { n + 1 } \, +$$

Assume that ˜ n (0 , θ ) is not the principal normal vector, that is, cos θ = 0. Let us obtain the pull backs of the coefficients E F , and G of the first fundamental form of S . From (2.16) and (2.17) we have and thus

$$\iota _ { n + 1 } y _ { u } & = \left ( \xi, \nu _ { 2 } \prime \top \frac { 1 } { 2 } \prime \right ) \tau \cup \langle \prime \right ), \, \ u _ { 2, 0 } \prime \, \cup \varpi \, \nu \, \tau \, \cup \nu \, \langle \prime \right ) \,, \\ \widetilde { \Pi } _ { n + 1 } ^ { * } g _ { v } & = r ^ { n + 1 } \left ( 0, \, \cos ^ { n } \theta \sin \theta, \, \frac { a _ { n + 1, 1 } } { ( n + 1 )! } \cos ^ { n + 1 } \theta + \left ( \frac { a _ { n + 2, 1 } } { ( n + 2 )! } \cos \theta + a _ { 1, 2 } \right ) r \cos ^ { n + 1 } \theta \right ), \\ \text{and thus} \\ \left ( \Sigma \right ) \right ) & \widetilde { F } = \widetilde { \Pi } ^ { * } \dots F = 1 + F _ { \Lambda } r ^ { 2 } + \varphi ( r ^ { 3 } )$$

(2.20)

$$\widetilde { F } = \widetilde { \Pi } _ { n + 1 } ^ { * } F = r ^ { n + 2 } ( F _ { 0 } + F _ { 1 } r + O ( r ^ { 2 } ) ),$$

$$\tilde { G } = \tilde { \Pi } _ { n + 1 } ^ { * } G = r ^ { 2 n + 2 } ( G _ { 0 } + G _ { 1 } r + O ( r ^ { 2 } ).$$

where

$$\widetilde { E } & = \widetilde { \Pi } _ { n + 1 } ^ { * } E = 1 + E _ { 2 } r ^ { 2 } + O ( r ^ { 3 } ), \\ \widetilde { F } & = \widetilde { \Pi } _ { n + 1 } ^ { * } F = r ^ { n + 2 } ( F _ { 0 } + F _ { 1 } r + O ( r ^ { 2 } ) ), \\ \widetilde { G } & = \widetilde { \Pi } _ { n + 1 } ^ { * } G = r ^ { 2 n + 2 } ( G _ { 0 } + G _ { 1 } r + O ( r ^ { 2 } ) ),$$

$$\langle \omega _ { \infty } \rangle & \quad \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
 \text{where} \\ & E _ { 2 } = ( a _ { 2, 0 } ^ { 2 } + b _ { 2 } ^ { 2 } ) \cos ^ { 2 } \theta, \\ & F _ { 0 } = \left ( \frac { a _ { n + 1, 1 } } { ( n + 1 )! } \right ) ^ { 2 } \cos ^ { 2 } \theta + \sin ^ { 2 } \theta \right ) \cos ^ { 2 n } \theta, \\ & F _ { 1 } = \left ( \frac { ( a _ { n + 2, 1 } a _ { 2, 0 } } { ( n + 2 )! } + \frac { a _ { n + 1, 1 } a _ { 3, 0 } } { 2 ( n + 1 )! } \right ) \cos \theta + \left ( a _ { 1, 2 } a _ { 2, 0 } + \frac { 1 } { 2 } b _ { 3 } \right ) \sin \theta \right ) \cos ^ { n + 2 } \theta, \\ & G _ { 1 } = \frac { 2 a _ { n + 1, 1 } } { ( n + 1 )! } \left ( \frac { a _ { n + 2, 1 } } { ( n + 2 )! } \cos \theta + a _ { 1, 2 } \sin \theta \right ) \cos ^ { 2 n + 2 } \theta.$$

$$\widetilde { G } = \widetilde { \Pi } _ { n + 1 } ^ { * } G = r ^ { 2 n + 2 } ( G _ { 0 } + G _ { 1 } r + O ( r ^ { 2 } ) ), \\ \\ + b _ { 2 } ^ { 2 } ) \cos ^ { 2 } \theta,$$

We now obtain the pull backs of the coefficients L M , and N of the second fundamental form of S . We have

$$( 2. 2 3 ) \quad \ g _ { u u } = ( 0, B _ { u u }, a _ { 2, 0 } + A _ { u u } ), \ \ g _ { u v } = ( 0, 0, A _ { u v } ), \ \ g _ { v v } = ( 0, 1, A _ { v v } ).$$

Using (2.16) and (2.23), we have

$$\cdots \, \int \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sum \, \sigma ( 2. 1 6 ) \, \text{and thus} \\ \widetilde { \Pi } _ { n + 1 } ^ { * } g _ { u u } = \left ( 0, \sum _ { 2 } ^ { 4 } \frac { b _ { i } } { ( i - 2 )! } r ^ { i - 2 } \cos ^ { i - 2 } \theta + O ( r ^ { 3 } ), \sum _ { 2 } ^ { 4 } \frac { a _ { i, 0 } } { ( i - 2 )! } r ^ { i - 2 } \cos ^ { i - 2 } \theta + a _ { 2, 1 } r ^ { 2 } \cos \theta \sin \theta + O ( r ^ { 3 } ) \right ), \\ \widetilde { \Pi } _ { n + 1 } ^ { * } g _ { u v } = \left ( 0, \, 0, \sum _ { 0 } ^ { 2 } \frac { a _ { i, 2 } } { ( n + i )! } r ^ { i } \cos ^ { n + i } \theta + \sum _ { 1 } ^ { 2 } a _ { i, 2 } r ^ { n + i } \cos ^ { n + i - 1 } \theta \sin \theta + O ( r ^ { n + 3 } ) \right ), \\ \widetilde { \Pi } _ { n + 1 } ^ { * } g _ { v v } = \left ( 0, \, 1, \, \sum _ { 1 } ^ { 2 } \frac { a _ { i, 2 } } { i! } r ^ { i } \cos ^ { i } \theta + \varepsilon a _ { 0, 3 } r ^ { 2 } \cos \theta \sin \theta + O ( r ^ { 3 } ) \right ), \\ \text{and thus} \\ ( 2. 2 4 ) \, \widetilde { L } = \widetilde { \Pi } _ { n + 1 } ^ { * } L = L _ { 0 } + L _ { 1 } r + L _ { 2 } r ^ { 2 } + O ( r ^ { 3 } ),$$

and thus

$$& ( 2. 2 4 ) & & \widetilde { L } = \widetilde { \Pi } _ { n + 1 } ^ { * } L = L _ { 0 } + L _ { 1 } r + L _ { 2 } r ^ { 2 } + O ( r ^ { 3 } ), \\ & ( 2. 2 5 ) & & \widetilde { M } = \widetilde { \Pi } _ { n + 1 } ^ { * } M = r ^ { n } ( M _ { 0 } + M _ { 1 } r + M _ { 2 } r ^ { 2 } + O ( r ^ { 3 } ) ), \\ & ( 2 \times \mathbb { N } ) & & \widetilde { N } = \widetilde { \Pi } ^ { * } \quad N = N _ { \lambda } + N _ { \lambda } r + N _ { \lambda } r ^ { 2 } + O ( r ^ { 3 } )$$

$$& \theta ^ { \prime } \quad \stackrel { \mu \cdot \cdot \cdot } { \widetilde { M } } = \widetilde { \Pi } ^ { * } _ { n + 1 } M = r ^ { n } ( M _ { 0 } + M _ { 1 } r + M _ { 2 } r ^ { 2 } + O ( r ^ { 3 } ) ), \\ & ( 2. 2 6 ) & \widetilde { N } = \widetilde { \Pi } ^ { * } _ { n + 1 } N = N _ { 0 } + N _ { 1 } r + N _ { 2 } r ^ { 2 } + O ( r ^ { 3 } ), \\ & \text{where}$$

$$L _ { 0 } & = \frac { - a _ { n + 1, 1 } \, b _ { 2 } \cos \theta + ( n + 1 )! \, a _ { 2, 0 } \sin \theta } { \mathcal { A } ( \theta ) }, \\ M _ { 0 } & = \frac { ( n + 1 ) a _ { n + 1, 1 } \cos ^ { n } \theta \sin \theta } { \mathcal { A } ( \theta ) }, \\ N _ { 0 } & = - \frac { a _ { n + 1, 1 } \cos \theta } { \mathcal { A } ( \theta ) }, \\ \text{s} \left ( L _ { 1 }, M _ { 1 }, N _ { 1 }, L _ { 2 }, M _ { 2 }, N _ { 2 } \right ) \, \text{are trigonometric polynomial}$$

˜ N = Π ˜ ∗ n +1 N = N 0 + N r 1 + N r 2 2 + O r ( 3 ) , (2.26) where and the coefficients ( L , M , N , L , M , N 1 1 1 2 2 2 ) are trigonometric polynomials with coefficients depending on the 4-jet of g and a i, 1 ( n + 1 /lessorequalslant i /lessorequalslant n + 3) expressed in (A.5) to (A.10) in Appendix A.

Since the Gaussian curvature K is given by K = ( LN -M / EG 2 ) ( -F 2 ), by using (2.20) - (2.22) the Gaussian curvature K = Π ∗ n +1 K in ( r, θ ) can be expressed as

$$\widetilde { K } & = \frac { 1 } { r ^ { 2 n + 2 } } ( K _ { 0 } + K _ { 1 } r + K _ { 2 } r ^ { 2 } + O ( r ^ { 3 } ) ),$$

where

$$K _ { 0 } = \frac { L _ { 0 } N _ { 0 } } { G _ { 0 } } = \frac { ( ( n + 1 )! ) ^ { 2 } \, a _ { n + 1, 1 } ( a _ { n + 1, 1 } b _ { 2 } \cos \theta - ( n + 1 )! \, a _ { 2, 0 } \sin \theta ) } { \mathcal { A } ( \theta ) ^ { 4 } \cos ^ { 2 n - 1 } \theta },$$

$$\int \text{ curvature } K \text{ is given by } K = ( L N - M ^ { 2 } ) / ( E G - \\ \int \text{ curvature } \widetilde { K } = \widetilde { \Pi } _ { n + 1 } ^ { * } K \text{ in } ( r, \theta ) \text{ can be expressed } \colon \\ \widetilde { K } = \frac { 1 } { r ^ { 2 n + 2 } } ( K _ { 0 } + K _ { 1 } r + K _ { 2 } r ^ { 2 } + O ( r ^ { 3 } ) ), \\ \\ N _ { 0 } \, _ { - } \, & ( ( n + 1 )! ) ^ { 2 } \, a _ { n + 1, 1 } ( a _ { n + 1, 1 } b _ { 2 } \cos \theta - ( n + 1 )! \, a _ { 2, 0 } \, s$$

$$K _ { 1 } = \frac { G _ { 0 } L _ { 1 } N _ { 0 } + G _ { 0 } N _ { 0 } N _ { 1 } - G _ { 1 } L _ { 0 } N _ { 0 } } { G _ { 0 } ^ { 2 } },$$

$$\begin{array} { c } \cdot & G _ { 0 } ^ { 2 } & ^ { \prime } \\ K _ { 2 } = \frac { 1 } { G _ { 0 } ^ { 3 } } \left ( F _ { 0 } ^ { 2 } G _ { 0 } L _ { 2 } N _ { 0 } + G _ { 1 } ^ { 2 } L _ { 0 } N _ { 0 } - E _ { 2 } ^ { 2 } G _ { 0 } ^ { 2 } L _ { 0 } N _ { 0 } - G _ { 0 } G _ { 1 } L _ { 1 } N _ { 0 } \\ & + G _ { 0 } ^ { 2 } L _ { 2 } N _ { 0 } - G _ { 0 } G _ { 1 } L _ { 0 } N _ { 1 } + G _ { 0 } ^ { 2 } L _ { 1 } N _ { 1 } + G _ { 0 } ^ { 2 } L _ { 0 } N _ { 2 } - \varepsilon G _ { 0 } ^ { 2 } M _ { 0 } ^ { 2 } \right ). \end{array}$$

$$K _ { 0 } & = \frac { L _ { 0 } N _ { 0 } } { G _ { 0 } } = \frac { ( ( n + 1 )! ) ^ { 2 } \, a _ { n + 1, 1 } ( a _ { n + 1, 1 } b _ { 2 } \cos \theta - ( n + 1 )! \, a _ { 2, 0 } \sin \theta ) } { \mathcal { A } ( \theta ) ^ { 4 } \cos ^ { 2 n - 1 } \theta }, \\ K _ { 1 } & = \frac { G _ { 0 } L _ { 1 } N _ { 0 } + G _ { 0 } N _ { 0 } N _ { 1 } - G _ { 1 } L _ { 0 } N _ { 0 } } { G _ { 0 } ^ { 2 } }, \\ & \quad 1 \quad \sim \partial _ { \lambda } \sim \partial _ { \lambda }$$

DISTANCE SQUARED FUNCTIONS ON SINGULAR SURFACES WITH S k , B k , C k AND F 4 SINGULARITIES 3 1

We say that a point (0 , θ 0 ) is an elliptic , hyperbolic or parabolic point over the singularity of S if r 2 n +2 ˜ K (0 , θ 0 ) = K 0 is positive, negative, or zero, respectively. The principal curvatures κ 1 and κ 2 of g are the roots of the equation

$$( E G - F ^ { 2 } ) \kappa + ( - E N + 2 F M - G L ) \kappa + ( L N - M ^ { 2 } ) = 0.$$

So κ i is given by where ε ′ = 1 if i = 2 or ε ′ = -1 if i = 1. We assume that N &gt; 0 0 (if N &lt; 0 0, we should change κ 1 with κ 2 ). It follows from (2.20) - (2.22) and (2.24) - (2.26) that

$$& \text{So $\kappa_{i}$ is given by} \\ & \kappa _ { i } = \frac { E L - 2 F M + G L + \varepsilon ^ { \prime } \sqrt { ( E L - 2 F M + G L ) ^ { 2 } - 4 ( E G - F ^ { 2 } ) ( L N - M ^ { 2 } ) } } { 2 ( E G - F ^ { 2 } ) }, \\ & \text{where $\varepsilon^{\prime}=1$ if $i=2$ or $\varepsilon^{\prime}=-1$ if $i=1$} \text{ } \text{We assume that } N _ { \varepsilon } > 0 \text{ if } N _ { \varepsilon } < 0 \text{ } \text{we should}$$

$$\kappa _ { 2 } ). \, \text{It follows from } ( 2. 2 0 ) - ( 2. 2 2 ) \text{ and } ( 2. 2 4 ) - ( 2. 2 6 ) \text{ that } \\ \widetilde { \kappa } _ { 1 } & = \widetilde { \Pi } _ { n + 1 } ^ { * } \kappa _ { 1 } = \frac { 1 } { r ^ { 2 n + 2 } } \left ( \frac { N _ { 0 } - \sqrt { N _ { 0 } ^ { 2 } } } { 2 G _ { 0 } } + O ( r ) \right ), \\ \widetilde { \kappa } _ { 2 } & = \widetilde { \Pi } _ { n + 1 } ^ { * } \kappa _ { 2 } = \frac { 1 } { r ^ { 2 n + 2 } } \left ( \frac { N _ { 0 } + \sqrt { N _ { 0 } ^ { 2 } } } { 2 G _ { 0 } } + O ( r ) \right ).$$

Hence, ˜ κ 2 can be expressed as (2.28) κ 2 = 2 n +2 ( k 20 + k 21 r + k 22 r 2 + O r ( 3 )) ,

$$\ddot { \mu } _ { 1 } \, \bar { \mu } _ { n + 1 } \cdot \mu _ { 1 } \, \bar { \mu } _ { n + 2 } \, \left \langle \, 2 G _ { 0 } \, \cdot \, \lambda \, \lambda ^ { \prime } \right \rangle, \\ \widetilde { \kappa } _ { 2 } = \widetilde { \Pi } _ { n + 1 } ^ { * } \kappa _ { 2 } = \frac { 1 } { r ^ { 2 n + 2 } } \left ( \frac { N _ { 0 } + \sqrt { N _ { 0 } ^ { 2 } } } { 2 G _ { 0 } } + O ( r ) \right ). \\ \intertext { e } \, \text{ expressed as } \, \quad \, \quad \, 1 \, \cdot \, \quad \, \cdot \, \end{cases}$$

where

$$\varpi \, \varpi _ { 2 } = \frac { 1 } { r ^ { 2 n + 2 } } \\ k _ { 2 0 } = \cdot$$

$$k _ { 2 0 } = \frac { N _ { 0 } } { G _ { 0 } } = - \frac { ( ( n + 1 )! ) ^ { 2 } a _ { n + 1, 1 } } { \mathcal { A } ( \theta ) ^ { 3 } \cos ^ { 2 n - 1 } \theta }.$$

Since (2.27), (2.28), and ˜ K = κ κ 1 2 , κ 1 can be expressed as (2.29)

So we have

$$K _ { 0 } = k _ { 1 0 } k _ { 2 0 }, \ \ K _ { 1 } = k _ { 1 0 } k _ { 2 1 } + k _ { 1 1 } k _ { 2 0 }, \ \ K _ { 2 } = k _ { 1 0 } k _ { 2 2 } + k _ { 1 1 } k _ { 2 1 } + k _ { 1 2 } k _ { 2 0 }.$$

$$\succ _ { \upsilon } \quad \kappa \quad \kappa \quad \kappa \quad \kappa \quad \kappa \\ \widetilde { K } = \widetilde { \kappa } _ { 1 } \widetilde { \kappa } _ { 2 }, \widetilde { \kappa } _ { 1 } \text{ can be expressed as} \\ \widetilde { \kappa } _ { 1 } = k _ { 1 0 } + k _ { 1 1 } r + k _ { 1 2 } r ^ { 2 } + O ( r ^ { 3 } ). \\ \\ K _ { 1 } = k _ { 1 0 } k _ { 2 1 } + k _ { 1 1 } k _ { 2 0 }, \quad K _ { 2 } = k _ { 1 0 } k _ { 2 2 } + k _ { 1 1 }$$

These give

$$k _ { 1 0 } = \underset { \substack { k _ { 2 0 } \\ \mathcal { \nu } } } { \frac { K _ { 0 } } { k _ { 2 0 } } } = L _ { 0 } = \frac { - a _ { n + 1, 1 } \, b _ { 2 } \cos \theta + ( n + 1 )! \, a _ { 2, 0 } \sin \theta } { \mathcal { A } ( \theta ) },$$

$$( 2. 3 1 ) \quad \ \ \ k _ { 1 1 } = \frac { \stackrel { \_ } { K _ { 1 } } - k _ { 1 0 } k _ { 2 1 } } { k _ { 2 0 } } = L _ { 1 }, \\ \quad \ \ \ \ \.$$

$$k _ { 1 2 } = \frac { K _ { 2 } - \stackrel { \omega } { k _ { 1 0 } } k _ { 2 2 } - k _ { 1 1 } k _ { 2 1 } } { k _ { 2 0 } } = - E _ { 2 } L _ { 0 } + L _ { 2 } - \varepsilon \frac { M _ { 0 } ^ { 2 } } { N _ { 0 } }.$$

The expressions of k 11 and k 12 expressed in the original coefficients in (2.1) are given respectively by (A.11) and (A.12) in Appendix.

The principal direction ( du, dv ) corresponding to the principal curvature κ i is given by the equation

$$\begin{pmatrix} \cdot & \cdot & \cdot & \cdot & \cdot \\ L & M \\ M & N \end{pmatrix} \begin{pmatrix} d u \\ d v \end{pmatrix} = \kappa _ { i } \begin{pmatrix} E & F \\ F & G \end{pmatrix} \begin{pmatrix} d u \\ d v \end{pmatrix}.$$

Hence, vectors v i = ( N -κ G ∂ i ) u -( M -κ F i ) ∂ v ( i = 1 2) generate the principal directions , corresponding to κ i . Since we have

$$\partial _ { u } & = ( \cos \theta - n \sin \theta \tan \theta ) \partial _ { r } - \frac { 1 } { r } ( n + 1 ) \sin \theta \partial _ { \theta }, \\ & \quad \dots \ a \quad \dots$$

$$\widetilde { \Pi } _ { n + 1 } ( r, \theta ) = ( r \cos \theta, r ^ { n + 1 } \cos ^ { n } \theta \sin \theta ) = ( u, v ), \\. \quad. \quad 1 \. \quad.$$

$$\partial _ { v } = \frac { \sin \theta } { r ^ { n } \cos \theta } \partial _ { r } + \frac { 1 } { r ^ { n + 1 } } \cos ^ { 1 - n } \theta \partial _ { \theta }.$$

Therefore, the lifted vectors ˜ v 1 and ˜ v 2 , respectively, of v 1 and v 2 by Π ˜ n +1 are expressed as follows:

$$\widetilde { \ v } _ { 1 } & = ( \xi _ { 1 0 } + \xi _ { 1 1 } r + O ( r ^ { 2 } ) ) \partial _ { r } + ( \eta _ { 1 0 } + \eta _ { 1 1 } r + O ( r ^ { 2 } ) ) \partial _ { \theta }, \\ ( 2. 3 6 ) & \widetilde { \ v } _ { 2 } & = \frac { 1 } { r ^ { 2 n + 1 } } \left ( ( \xi _ { 2 1 } r + O ( r ^ { 2 } ) ) \partial _ { r } + ( \eta _ { 2 0 } + \eta _ { 2 1 } r ) \partial _ { \theta } \right ), \\ \text{where} \\ \nearrow \quad \mathbb { m } { r / \dots \omega } \quad \cdot \ \lambda \quad \omega \quad M _ { 0 } \sin \theta \quad a _ { n + 1. 1 }$$

$$\xi _ { 1 0 } = N _ { 0 } ( \cos \theta - n \sin \theta \tan \theta ) - \frac { M _ { 0 } \sin \theta } { \cos ^ { n } \theta } = - \frac { a _ { n + 1, 1 } } { \mathcal { A } ( \theta ) },$$

$$\text{where} \quad \xi _ { 1 0 } & = N _ { 0 } ( \cos \theta - n \sin \theta \tan \theta ) - \frac { M _ { 0 } \sin \theta } { \cos ^ { n } \theta } = - \frac { a _ { n + 1, 1 } } { \mathcal { A } ( \theta ) }, \\ \xi _ { 1 1 } & = N _ { 1 } ( \cos \theta - n \sin \theta \tan \theta ) - \frac { M _ { 1 } \sin \theta } { \cos ^ { n } \theta }, \\ \eta _ { 1 0 } & = - ( n + 1 ) N _ { 1 } \sin \theta - M _ { 1 } \cos ^ { 1 - n } \theta = - \frac { ( ( n + 2 )! \, a _ { 1, 2 } \sin \theta + a _ { n + 2, 1 } \cos \theta ) \cos \theta \sin \theta } { ( n + 2 ) \mathcal { A } ( \theta ) }, \\ \eta _ { 1 1 } & = - ( n + 1 ) N _ { 2 } \sin \theta - ( M _ { 2 } - k _ { 1 0 } F _ { 0 } ) \cos ^ { 1 - n } \theta, \\ \xi _ { 2 1 } & = - F _ { 0 } k _ { 2 0 } \sin \theta = - \frac { ( n + 1 )! \, a _ { n + 1, 1 } ( a _ { 2, 0 } a _ { n + 1, 1 } \cos \theta + ( n + 1 )! \, b _ { 2 } \sin \theta ) \sin \theta } { \mathcal { A } ( \theta ) ^ { 3 } \cos ^ { n - 2 } \theta }, \\ \eta _ { 2 0 } & = - F _ { 0 } k _ { 1 0 } \cos \theta = - \frac { ( n + 1 )! \, a _ { n + 1, 1 } ( a _ { 2, 0 } a _ { n + 1, 1 } \cos \theta + ( n + 1 )! \, b _ { 2 } \sin \theta ) } { \mathcal { A } ( \theta ) ^ { 3 } \cos ^ { n - 1 } \theta }. \\ \text{The expressions of } \xi _ { 1 1 } \, \text{and } \eta _ { 2 1 } \, \text{expressed in the original coefficients in (2.1) are given, respec-} \, \text{$\bullet$} \, \text{$\bullet$} \, \text{$\bullet$} \, \text{$\bullet$} \, \text{$\bullet$} \, \text{$\bullet$} \, \text{$\bullet$} \, \text{$\bullet$} \, \text{$\bullet$} \, \text{$\bullet$} \, \text{$\bullet$} \, \text{$\bullet$} \, \text{$\bullet$} \, \text{$\bullet$} \, \text{$\bullet$} \, \text{$\bullet$} \, \text{$\bullet$} \, \text{$\bullet$} \, \text{$\bullet$}$$

The expressions of ξ 11 and η 21 expressed in the original coefficients in (2.1) are given, respectively, by (A.14) and (A.15) in Appendix.

Since we have (2.29) and (2.35), the first and second directional derivative of ˜ κ 1 along ˜ v 1 can be expressed respectively as where ′ denotes the derivative with respect to θ . Moreover, the directional derivative of ˜ κ 1 along ˜ v 2 can be expressed as

$$\L ^ { \cdot } \quad \L ^ { \cdot } _ { \vec { v } _ { 1 } \widetilde { \kappa } _ { 1 } } ( r, \theta ) & = \xi _ { 1 0 } k _ { 1 1 } + \eta _ { 1 0 } k ^ { \prime } _ { 1 0 } + 2 \xi _ { 1 0 } k _ { 1 2 } + \xi _ { 1 1 } k _ { 1 1 } + \eta _ { 1 0 } k ^ { \prime } _ { 1 1 } + \eta _ { 1 1 } k ^ { \prime } _ { 1 0 } + O ( r ), \\ \widetilde { v } _ { 1 } ^ { 2 } \widetilde { \kappa } _ { 1 } ( r, \theta ) & = 2 \xi _ { 1 0 } ^ { 2 } k _ { 1 2 } + \xi _ { 1 0 } \xi _ { 1 1 } k _ { 1 1 } + \xi _ { 1 0 } \xi _ { 1 1 } k ^ { \prime } _ { 1 0 } \\ & \quad + 2 \xi _ { 1 0 } \eta _ { 1 0 } k ^ { \prime } _ { 1 1 } + \xi ^ { \prime } _ { 1 0 } \eta _ { 1 0 } k _ { 1 1 } + \eta _ { 1 0 } \eta ^ { \prime } _ { 1 0 } k _ { 1 0 } \eta _ { 1 1 } k ^ { \prime \prime } _ { 1 0 } + O ( r ), \\ \text{where } \, ^ { \prime } \text{ denotes the derivative with respect to } \theta. \text{ Moreover, the directional derivative of } \widetilde { \kappa } _ { 1 }$$

$$\widetilde { v } _ { 2 } \widetilde { \kappa } _ { 1 } ( r, \theta ) = \frac { 1 } { r ^ { 2 n + 1 } } ( \eta _ { 2 0 } k _ { 1 0 } ^ { \prime } + O ( r ) ).$$

Therefore, we have

$$\widetilde { v } _ { 1 } \widetilde { \kappa } _ { 1 } ( r, \theta ) = \frac { a _ { n + 1, 1 } \Delta _ { 1 } ^ { ( n + 1 ) } ( \theta ) \cos \theta } { \mathcal { A } ( \theta ) ^ { 2 } } + O ( r ),$$

$$\widetilde { v } _ { 1 } \widetilde { \kappa } _ { 1 } ( r, \theta ) & = \frac { a _ { n + 1, 1 } \Delta _ { 1 } ^ { ( n + 1 ) } ( \theta ) \cos \theta } { \mathcal { A } ( \theta ) ^ { 2 } } + O ( r ), \\ \widetilde { v } _ { 1 } ^ { 2 } \widetilde { \kappa } _ { 1 } ( r, \theta ) & = \frac { a _ { n + 1, 1 } \left ( a _ { n + 1, 1 } \Delta _ { 2 } ^ { ( n + 1 ) } ( \theta ) \cos \theta - ( n + 1 )! \, a _ { 1, 2 } \Delta _ { 1 } ^ { ( n + 1 ) } ( \theta ) \sin \theta \right ) \cos \theta } { \mathcal { A } ( \theta ) ^ { 3 } } + O ( r ), \\ \widetilde { v } _ { 2 } \widetilde { \kappa } _ { 1 } ( r, \theta ) & = \frac { 1 } { r ^ { 2 n + 1 } } \left ( - \frac { \cos ^ { - 2 n + 3 } \theta ( ( n + 1 )! ) ^ { 2 } \, a _ { n + 1, 1 } ^ { 2 } \Delta _ { 3 } ^ { ( n + 1 ) } ( \theta ) ^ { 2 } } { \mathcal { A } ( \theta ) ^ { 3 } } + O ( r ) \right ) \\ \text{where}$$

where

$$\widetilde { v } _ { 2 } \widetilde { \kappa } _ { 1 } ( r, \theta ) & = \frac { 1 } { r ^ { 2 n + 1 } } \left ( - \frac { \cos ^ { - 2 n + 3 } \theta ( ( n + 1 )! ) ^ { 2 } \, a _ { n + 1, 1 } ^ { 2 } \Delta _ { 3 } ^ { ( n + 1 ) } ( \theta ) ^ { 2 } } { \mathcal { A } ( \theta ) ^ { 3 } } + O ( r ) \right ) \\ \text{where} \\ \Lambda ^ { ( n + 1 ) } ( \theta \, & - \, a \, \dots h. \, \cos \, \theta = l \, n \, \pm \, 1 \, \mathbb { I } \, a _ { n } \, \sin \, \theta$$

$$\text{where} & \\ \Delta _ { 1 } ^ { ( n + 1 ) } ( \theta ) = a _ { n + 1, 1 } b _ { 3 } \cos \theta - ( n + 1 )! \, a _ { 3, 0 } \sin \theta, \\ \Delta _ { 2 } ^ { ( n + 1 ) } ( \theta ) = - \left ( a _ { n + 1, 1 } \, b _ { 4 } \cos \theta - ( n + 1 )! \, a _ { 4, 0 } \sin \theta \right ) \cos \theta \\ & \quad + 3 ( a _ { 2, 0 } ^ { 2 } + b _ { 2 } ^ { 2 } ) ( a _ { n + 1, 1 } \, b _ { 2 } \cos \theta - ( n + 1 )! \, a _ { 2, 0 } \sin \theta ) \cos \theta + 1 2 a _ { 2, 1 } \sin ^ { 2 } \theta, \\ \Delta _ { 3 } ^ { ( n + 1 ) } ( \theta ) = a _ { 2, 0 } \, a _ { n + 1, 1 } \cos \theta _ { 0 } + ( n + 1 )! \, b _ { 2 } \sin \theta _ { 0 }. \\ \text{A divide noint of a surface in $\mathbb{R}^{3}$ was first studied in details by Porteons [20] as a noint where}$$

A ridge point of a surface in R 3 was first studied in details by Porteous [20] as a point where the distance squared function on the surface has an A /greaterorequalslant 3 -singularity. It is also a point where one principal curvature has an extremum value along the corresponding line of curvature. A point where one principal curvature has an extremum value along the other line of curvature is also important. Such a point is called the sub-parabolic point, which was first studied in details by Bruce and Wilkinson [3] from the viewpoint of folding maps. If a regular surface has a ridge point with respect to the line of curvature tangent to v i , then its focal surface corresponding to κ i has a singular point. On the other hand, if a regular surface has a sub-parabolic point with respect to the line of curvature tangent to v i , then its focal surface corresponding to κ i has a parabolic point.

We define the ridge and sub-parabolic points over the singularity of S are as follows:

/negationslash

- (2) A point (0 , θ 0 ) is a sub-parabolic point relative to ˜ v 2 over the singularity of S if ∆ ( n +1) 3 ( θ 0 ) = 0.

Definition 2.6. (1) A point (0 , θ 0 ) is a ridge point relative to ˜ v 1 over the singularity of S if ∆ ( n +1) 1 ( θ 0 ) = 0. Moreover, the ridge point (0 , θ 0 ) is a first (resp. second or higher) order ridge point relative to ˜ v 1 over the singularity of S if ∆ ( n +1) 2 ( θ 0 ) = 0 (resp. ∆ ( n +1) 2 = 0).

/negationslash

˜ ˜ Table 3. Correspondence between the type of A -singularity and Π ˜ n .

When g is A -equivalent to S 1 , since a 2 1 , = 0 (Proposition 2.2) we obtain ˜ n , ˜ κ i and ˜ v i via ˜ Π . 2 Similarly, when g is A -equivalent to one of S /greaterorequalslant 2 , B k , C k and F 4 singularities, we obtain ˜ n , ˜ κ i , and v i via Π m as shown in Table 3. Hence, we have the following lemma.

$$\overline { \frac { \mathcal { A } \text{-type} \quad S _ { k } \quad B _ { k } \ C _ { k } \quad F _ { 4 } } { \widetilde { \Pi } _ { m } \quad \widetilde { \Pi } _ { k + 1 } \ \widetilde { \Pi } _ { 2 } \ \widetilde { \Pi } _ { k } \ \widetilde { \Pi } _ { 3 } } }$$

Lemma 2.7. The necessary and sufficient conditions for a point (0 , θ ) to be a first ridge point relative to ˜ v 1 and a sub-parabolic point relative to ˜ v 2 over the singularity of S are shown in Table 4.

Table 4. Conditions for ridge and sub-parabolic points.

/negationslash

/negationslash

| A -type   | 1st ridge                                           | sub-parabolic            |
|-----------|-----------------------------------------------------|--------------------------|
| S k       | ∆ ( k +1) 1 (0 , θ ) = 0 , ∆ ( k +1) 2 (0 , θ ) = 0 | ∆ ( k +1) 3 (0 , θ ) = 0 |
| B k       | ∆ (2) 1 (0 , θ ) = 0 , ∆ (2) 2 (0 , θ ) = 0         | ∆ (2) 3 (0 , θ ) = 0     |
| C k       | ∆ ( k ) 1 (0 , θ ) = 0 , ∆ ( k ) 2 (0 , θ ) = 0     | ∆ ( k ) 3 (0 , θ ) = 0   |
| F 4       | ∆ (3) 1 (0 , θ ) = 0 , ∆ (3) 2 (0 , θ ) = 0         | ∆ (3) 3 (0 , θ ) = 0     |

/negationslash

/negationslash

- 3. Families of distance squared functions on singular surfaces.

We do not recall here the definition of a versal unfolding. Refer, for example, to [1, Section 8 and 19] and [23, Section 3].

We define a family of functions D on a surface S parameterized by a smooth map-germ g : ( R 2 , 0) → ( R 3 , 0) by

$$\begin{array} { c } D \colon ( \mathbb { R } ^ { 2 }, 0 ) \times ( \mathbb { R } ^ { 3 }, \mathbf p _ { 0 } ) \to \mathbb { R }, \quad D ( u, v, x, y, z ) = \frac { 1 } { 2 } \| g ( u, v ) - \mathbf p \| ^ { 2 }. \\ \cdot \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \end{array} \end{array} \end{array}$$

The function d p 0 ( u, v ) = D u, v, ( p 0 ) is the distance squared function on S from a point p 0 = ( x , y 0 0 , z 0 ).

Theorem 3.1. Let g : ( R 2 , 0) → ( R 3 , 0) be given in the form (2.1) , and let g be A -equivalent to one of S k , B k , C k and F 4 singularities. Suppose that p 0 = ( x , y 0 0 , z 0 ) is on the normal plane, that is, p 0 ∈ R ˜ n (0 , θ 0 ) , where ˜ n is the well-defined unit normal vector obtained by using Π m given by Table 3 and θ 0 ∈ -( π/ , π/ 2 2] .

- ˜ (1) Suppose that p 0 is not on the principal normal line, and that (0 , θ 0 ) is not a parabolic point over the singularity.
- (1a) d p 0 has an A 1 -singularity at (0 , 0) if and only if p 0 is not on the focal locus. When d p 0 has an A 1 -singularity at (0 , 0) , D is an R + and K -versal unfolding of d p 0 .
- (1b) d p 0 has an A 2 -singularity at (0 , 0) if and only if p 0 is on the focal locus and (0 , θ 0 ) is not a ridge point relative to ˜ v 1 over the singularity. When d p 0 has an A 2 -singularity at (0 , 0) , D is an R + and K -versal unfolding of d p 0 .

˜ (1d) d p 0 has an A /greaterorequalslant 4 -singularity at (0 , 0) if and only if p 0 is on the focal locus and (0 , θ 0 ) is a second or higher order ridge point relative to ˜ v 1 over the singularity. When d p 0 has an A /greaterorequalslant 5 or A /greaterorequalslant 4 -singularity at (0 , 0) , D is not an R + -or K -versal

- (1c) d p 0 has an A 3 -singularity at (0 , 0) if and only if p 0 is on the focal locus and (0 , θ 0 ) is a first order ridge point relative to ˜ v 1 over the singularity. When d p 0 has an A 3 -singularity at (0 , 0) , D is an R + -versal unfolding of d p 0 , and D is an K -versal unfolding of d p 0 if and only if (0 , θ 0 ) is not a sub-parabolic point relative to v 2 over the singularity.

unfolding of d p 0 , respectively. If d p 0 has an A 4 -singularity at (0 , 0) , then D is an R + -versal unfolding of d p 0 if and only if there exists (0 , θ ) ∈ ( -π/ , π/ 2 2] such that (0 , θ ) is not a ridge point relative to v 1 .

- (2a) d p 0 has an A /greaterorequalslant 2 -singularity at (0 , 0) if and only if p 0 is not the intersection point of the focal locus.
- ˜ (2) Suppose that p 0 is on the principal normal line. Then D is neither an R + -nor K -versal unfolding of d p 0 .
- (2b) d p 0 has a singularity of type D 4 or more degenerate at (0 , 0) if and only if p 0 is the intersection point of the focal locus.

To show Theorem 3.1, we first show criterion for singularities of distance-squared functions in terms of the coefficients in (2.1).

Proposition 3.2. Let g : ( R 2 , 0) → ( R 3 , 0) be given in the form (2.1) . Then d p 0 on g is singular at (0 , 0) if and only if x 0 = 0 , that is, p 0 is on the normal plane. Moreover, assume that d p 0 is singular at (0 , 0) . Then

/negationslash

- (1) d p 0 has an A 1 -singularity at (0 , 0) if and only if y 0 ( b y 2 0 + a 2 0 , z 0 -1) = 0 . When this is the case, D is an R + -and K -versal unfolding of d p 0 .
- (2) d p 0 has an A 2 -singularity at (0 , 0) if and only if one of the following conditions holds:

/negationslash

- (2a) y 0 = 0 , b y 2 0 + a 2 0 , z 0 -1 = 0 , b y 3 0 + a 3 0 , z 0 = 0;

/negationslash

/negationslash

- (2b) y 0 = 0 , a 2 0 , z 0 = 1 , a 0 3 , z 0 = 0 .

/negationslash

If condition (2a) holds, then D is an R + -and K -versal unfolding of d p 0 . On the other hand, if condition (2b) holds, then D is neither an R + - nor K -versal unfolding of d p 0 .

- (3) d p 0 has an A 3 -singularity at (0 , 0) if and only if one of the following conditions holds:

/negationslash

- (3a) y = 0 , b y + a z -1 = b y + a z = 0 ,

/negationslash

- 0 2 0 2 0 , 0 3 0 3 0 , 0 b y 4 2 0 + a 4 0 , y z 0 0 -3 a 2 2 1 , z 2 0 -3( a 2 2 0 , + b 2 2 ) y 0 = 0;

/negationslash

/negationslash

/negationslash

- (3b) y 0 = 0 , a 2 0 , z 0 = 1 , a 0 3 , z 0 = 0 , ( a 0 4 , a 2 0 , -3 a 2 1 2 , ) z 2 0 -( a 0 4 , +3 a 2 0 , ) z 0 +3 = 0 . If condition (3a) holds, then D is an R + -versal unfolding of d p 0 , and K -versal unfolding of d p 0 if and only if a 2 0 , y 0 -b z 2 0 = 0 . On the other hand, if condition (3b) holds, then D is neither an R + -nor K -versal unfolding of d p 0 .
- (4) d p 0 has an A /greaterorequalslant 4 -singularity at (0 , 0) if and only if one of the following conditions holds:

/negationslash

- (4a) y 0 = 0 , b y 2 0 + a 2 0 , z 0 -1 = 0 , b y 3 0 + a 3 0 , z 0 = 0 , b y 4 2 0 + a 4 0 , y z 0 0 -3 a 2 2 1 , z 2 0 -3( a 2 2 0 , + b 2 2 ) y 0 = 0;

/negationslash

- (4b) y 0 = 0 , a 2 0 , z 0 = 1 , z 0 = 0 , a 0 3 , = 0 , ( a 0 4 , a 2 0 , -3 a 2 ) z 2 -( a 0 4 , +3 a 2 0 , ) z 0 +3 = 0

/negationslash

/negationslash

- 1 2 , 0 . p 0

When d p 0 has an A /greaterorequalslant 5 -or A /greaterorequalslant 4 -singularity at (0 , 0) , D is not an R -or K -versal unfolding of d p 0 , respectively. If condition (4a) holds, then D is an R + -versal unfolding of d p 0 having an A 4 -singularity at (0 , 0) if and only if ( a 3 0 , , b 3 ) = (0 , 0) . On the other hand, if condition (4b) holds, then D is not an R + -versal unfolding of d .

- (5) d p 0 has a D 4 or more degenerate singularity at (0 , 0) if and only if y 0 = 0 and a 2 0 , z 0 = 1 . When this is the case, D is neither R + -nor K -versal unfolding of d p 0 .

Proof. Since ∂d p 0 /∂u (0 , 0) = -x 0 and ∂d p 0 /∂v (0 , 0) = 0, the function d p 0 is singular at (0 , 0) if and only if x 0 = 0.

We assume that d p 0 is singular at (0 , 0). Then

$$j ^ { 2 } d _ { \mathbf p _ { 0 } } ( 0 ) = \frac { 1 } { 2 } \Big ( \| \mathbf p _ { 0 } \| ^ { 2 } - ( ( b _ { 2 } y _ { 0 } + a _ { 2, 0 } z _ { 0 } - 1 ) u ^ { 2 } + y _ { 0 } v ^ { 2 } ) \Big ), \\ \intertext { has an $A$--sinularity at $(0\, \otimes\, \otimes$ if and only if $u(h_\in u_{\nu}+a_{\in \lambda}z_{\lambda}-1\}\neq 0$}$$

/negationslash and thus d p 0 has an A 1 -singularity at (0 , 0) if and only if y 0 ( b y 2 0 + a 2 0 , z 0 -1) = 0. Moreover, the singularity of d p 0 at (0 , 0) is of type A /greaterorequalslant 2 if and only if (i) y 0 = 0 and b y 2 0 + a 2 0 , z 0 -1 = 0 or (ii) y 0 = 0 and a 2 0 , z 0 = 1 hold, and that is of type D /greaterorequalslant 4 or more degenerate if and only if y 0 = 0 and a 2 0 , z 0 = 1.

/negationslash

/negationslash

/negationslash

We assume that the condition (i) holds. Since y 0 = 0, by replacing v by v -a 2 1 , z u / 0 2 (2 y 0 ), we can reduce 4-jet of d p 0 to

$$j ^ { 4 } d _ { \mathbf P _ { 0 } } ( 0 ) & = \frac { 1 } { 2 } \| \mathbf P _ { 0 } \| ^ { 2 } - \frac { 1 } { 2 } y _ { 0 } v ^ { 2 } - \frac { 1 } { 6 } ( ( b _ { 3 } y _ { 0 } + a _ { 3, 0 } z _ { 0 } ) u ^ { 3 } + 3 a _ { 1, 2 } z _ { 0 } u v ^ { 2 } + a _ { 0, 3 } z _ { 0 } v ^ { 3 } ) \\ & \quad - \frac { 1 } { 2 4 } \left ( \frac { b _ { 4 } y _ { 0 } ^ { 2 } + a _ { 4, 0 } y _ { 0 } z _ { 0 } - 3 a _ { 2, 1 } ^ { 2 } z _ { 0 } ^ { 2 } - 3 y _ { 0 } ( a _ { 2 } ^ { 2 } + b _ { 2 } ^ { 2 } ) } { y _ { 0 } } + 4 c _ { 3, 1 } u ^ { 3 } v + 6 c _ { 2, 2 } u ^ { 2 } v ^ { 2 } + 4 c _ { 1, 3 } w ^ { 3 } + a _ { 0, 4 } v ^ { 4 } \right ), \\. & \quad - \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad.$$

where c 3 1 , , c 2 2 , , c 1 3 , , c 0 4 , ∈ R . From this we see that the assertions (2a), (3a) and (4a) hold.

/negationslash

We turn to the case (ii) and assume that condition (ii) holds. Since a 2 0 , z 0 = 1, by replacing u by u -a 1 2 , z 0 (2( a 2 0 , z 0 -1)) -1 v 2 , we can reduce 4-jet of d p 0 to

$$j ^ { 4 } d _ { \mathbf p _ { 0 } } ( 0 ) = & \ \frac { 1 } { 2 } z _ { 0 } ^ { 2 } - \frac { 1 } { 2 } ( a _ { 2, 0 } z _ { 0 } - 1 ) u ^ { 2 } - \frac { 1 } { 6 } z _ { 0 } ( a _ { 3, 0 } u ^ { 3 } + 3 a _ { 2, 1 } u ^ { 2 } v + a _ { 0, 3 } v ^ { 3 } ) \\ & - \frac { 1 } { 2 4 } \left ( \hat { c } _ { 4, 0 } u ^ { 4 } + 4 \hat { c } _ { 3, 1 } u ^ { 3 } v + 6 \hat { c } _ { 2, 2 } u ^ { 2 } v ^ { 2 } + 4 \hat { c } _ { 1, 3 } u v ^ { 3 } + \frac { ( a _ { 0, 4 } \, a _ { 2, 0 } - 3 \, a _ { 1, 2 } ^ { 2 } ) z _ { 0 } ^ { 2 } - ( a _ { 0, 3 } + 3 a _ { 2, 0 } ) z _ { 0 } + 3 } { a _ { 2, 0 } z _ { 0 } - 1 } \right ),$$

where ˆ c 4 0 , , c ˆ 3 1 , , c ˆ 2 2 , , c ˆ 1 3 , ∈ R . From this we see that the assertions (2b), (3b) and (4b) hold. Let us prove the necessary and sufficient conditions for D being an R + -and K -versal unfolding of d p 0 . We skip the proofs of the assertion (1) and (2), because the proofs of (1) and (2) is similar to that of (3). First, we consider the condition (3a). Assume that (3a) holds. Since A 3 -singularity is 4-determined, to see that D is an R + - or K -versal unfolding of d p 0 we need to verify the equalities

$$& \mathcal { E } _ { 2 } = \left \langle \frac { \partial d _ { \mathbf p _ { 0 } } } { \partial u }, \frac { \partial d _ { \mathbf p _ { 0 } } } { \partial v } \right \rangle _ { \mathcal { E } _ { 2 } } + \left \langle \frac { \partial D } { \partial x } \right | _ { \mathbb { R } ^ { 2 } \times \{ \mathbf p _ { 0 } \} }, \frac { \partial D } { \partial y } \right | _ { \mathbb { R } ^ { 2 } \times \{ \mathbf p _ { 0 } \} }, \frac { \partial D } { \partial z } \right | _ { \mathbb { R } ^ { 2 } \times \{ \mathbf p _ { 0 } \} } \right \rangle _ { \mathbb { R } } + \langle 1 \rangle _ { \mathbb { R } } + \langle u, v \rangle _ { \mathcal { E } _ { 2 } } ^ { 5 }, \quad \text{or} \\ & \mathcal { E } _ { \mathcal { E } } - \left \langle \frac { \partial d _ { \mathbf p _ { 0 } } } { \partial u } \, \frac { \partial d _ { \mathbf p _ { 0 } } } { \partial y } \, \sum _ { \mathbb { R } } \right \rangle _ { \mathbb { R } } + \langle 1 \rangle _ { \mathbb { R } } + \langle u, v \rangle _ { \mathcal { E } _ { 2 } } ^ { 5 }, \quad \text{or}$$

$$\begin{array} { c } \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \end{array}$$

respectively (cf. [13, p.149]). Replacing v by v -a 2 1 , z u / 0 2 (2 y 0 ), we show that the coefficients of u v i j of functions appearing in (3.1) and (3.2) are given by the following tables:

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00231v1-figure-81225104-e4a1-4032-a833-ee39cd3e331a.jpg)

Here

$$c _ { i, j } = \frac { \partial ^ { i + j } d _ { \mathbf p _ { 0 } } } { \partial u ^ { i } \partial v ^ { j } } ( 0, 0 ), \ \alpha _ { i, j } = \frac { \partial ^ { i + j + 1 } D } { \partial u ^ { i } \partial v ^ { j } \partial y } ( 0, 0, \mathbf p _ { 0 } ) \ \text{ and } \ \beta _ { i, j } = \frac { \partial ^ { i + j + 1 } D } { \partial u ^ { i } \partial v ^ { j } \partial z } ( 0, 0, \mathbf p _ { 0 } ).$$

/negationslash

/negationslash

/negationslash

/negationslash

We note that c 4 0 , = -( b y 4 2 0 + a 4 0 , y z 0 0 -3 2 2 1 , z 2 0 -3 y 0 ( a 2 2 + b 2 2 )) /y 0 = 0. Since boxed entries are non-zero, the matrix represented by the above tables is of full rank, that is, the equality (3.1) (resp. (3.2)) holds if and only if ( a 2 0 , , b 2 ) = (0 0) (resp. , b y 2 0 + a 2 0 , z 0 = 0). However, since now b y 2 0 + a 2 0 , z 0 -1 = 0 holds, we have ( a 2 0 , , b 2 ) = (0 , 0). Therefore, if (3a) holds, then D is an R + -versal unfolding of d p 0 .

Next, we assume that (3b) holds. Similar to (3a), we need to verify (3.1) or (3.2) holds. Since

$$\frac { \partial D } { \partial x } ( u, v, \mathbf p _ { 0 } ) = - u, \quad \frac { \partial D } { \partial u } ( u, v, \mathbf p _ { 0 } ) = - \frac { 1 } { 2 } ( b _ { 2 } ^ { 2 } u ^ { 2 } + v ^ { 2 } ) + O ( u, v ) ^ { 3 },$$

$$\text{uce} \frac { \partial D } { \partial x } ( u, v, \mathbf p _ { 0 } ) & = - u, \quad \frac { \partial D } { \partial y } ( u, v, \mathbf p _ { 0 } ) = - \frac { 1 } { 2 } ( b _ { 2 } ^ { 2 } u ^ { 2 } + v ^ { 2 } ) + O ( u, v ) ^ { 3 }, \\ \frac { \partial D } { \partial z } ( u, v, \mathbf p _ { 0 } ) & = z _ { 0 } - \frac { 1 } { 2 } a _ { 2, 0 } u ^ { 2 } + O ( u, v ) ^ { 3 }, \\ \frac { \partial d _ { \mathbf p _ { 0 } } } { \partial u } ( u, v ) & = ( 1 - a _ { 2, 0 } z _ { 0 } ) u - \frac { 1 } { 2 } ( 2 a _ { 2, 1 } z _ { 0 } u v + a _ { 1, 2 } v ^ { 2 } ) + O ( u, v ) ^ { 3 }, \\ \frac { \partial d _ { \mathbf p _ { 0 } } } { \partial v } ( u, v ) & = - \frac { 1 } { 2 } ( a _ { 2, 1 } z _ { 0 } u ^ { 2 } + 2 a _ { 1, 2 } z _ { 0 } u v + a _ { 0, 3 } z _ { 0 } v ^ { 2 } ) + O ( u, v ) ^ { 3 }, \\ \text{ither} \ ( 3. 1 ) \text{ or } ( 3. 2 ) \text{ does not hold.}$$

neither (3.1) nor (3.2) does not hold.

Now we turn to prove (4). The number of parameters in an R + -mini-versal unfolding of A 5 -singularity is 4. Therefore, D is not an R + -versal unfolding of d p 0 having A /greaterorequalslant 5 -singularity because it is a 3-parameter unfolding. For the similar reason, D is not an K -versal unfolding of d p 0 having A /greaterorequalslant 4 -singularity.

We assume that (4a) holds and d p 0 has an A 4 -singularity at (0 , 0). Since A 4 -singularity is 5-determined, to see that D is an R + -versal unfolding of d p 0 we need to verify the equality

/negationslash

$$& 5 \text{-determined, to see that } D \text{ is an } \mathcal { R } ^ { + } \text{-versal unfolding of } d _ { \mathbf P _ { 0 } } \text{ we need to verify the equality } \\ & ( 3. 3 ) \ \mathcal { E } _ { 2 } = \left \langle \frac { \partial d _ { \mathbf P _ { 0 } } } { \partial u }, \frac { \partial d _ { \mathbf P _ { 0 } } } { \partial v } \right \rangle _ { \mathcal { E } _ { 2 } } + \left \langle \frac { \partial D } { \partial x } \right | _ { \mathbb { R } ^ { 2 } \times \{ \mathbf p _ { 0 } \} }, \frac { \partial D } { \partial y } \right | _ { \mathbb { R } ^ { 2 } \times \{ \mathbf p _ { 0 } \} }, \frac { \partial D } { \partial z } \right | _ { \mathbb { R } ^ { 2 } \times \{ \mathbf p _ { 0 } \} } \right \rangle _ { \mathbb { R } } + \left \langle 1 \right \rangle _ { \mathcal { R } } + \left \langle u, v \right \rangle _ { \mathcal { E } _ { 2 } } ^ { 6 }.$$

We consider the table in the proof of (3a). Since, d p 0 has an A 4 -singularity at (0 , 0), we have c 4 0 , = 0 and c 5 0 , = 0. Hence, (3.3) holds if and only if

/negationslash

/negationslash

/negationslash

/negationslash

If (4b) holds, then D is not an R + -versal unfolding of d p 0 having an A 4 -singularity at (0 , 0) by the same reason as in (3b).

∣ ∣ Let denote L 1 and L 2 , respectively, lines b y 2 + a 2 0 , z -1 = 0 and b y 3 + a 3 0 , z = 0 on the yz -plane. We remark that now ( a 2 0 , , b 2 ) = (0 0) holds by the same reason as in (3a). , The condition that b y 2 0 + a 2 0 , z 0 -1 = b y 3 0 + a 3 0 , z 0 = 0 is equivalent to the condition that a point ( y , z 0 0 ), on the yz -plane, is the intersection of L 1 and L 2 or is on L 1 when ( a 3 0 , , b 3 ) = (0 , 0) or ( a 3 0 , , b 3 ) = (0 0), , respectively. Therefore, if ( a 3 0 , , b 3 ) = (0 0) (resp. , = (0 0)) then , a 2 0 , b 3 -a 3 0 , b 2 = 0 (resp. = 0), and vice versa. Remark that a 3 0 , = b 3 = 0 if and only if d p 0 has A /greaterorequalslant 3 -singularity at (0 , 0) for any p 0 ∈ L 1 .

Now, we shall prove (5). Since the number of parameters in an R + - (resp. K -) mini-versal unfolding of D 5 (resp. D 4 ) is 4, D is not an R + -(resp. K -) versal unfolding of d p 0 having a D 5 (resp. D 4 ) or more degenerate singularity at (0 , 0). Moreover, since D 4 -singularity is 3-determined, D is an R + -versal unfolding of d p 0 having a D 4 -singularity at (0 , 0) if and only if

$$& \dots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \\ & \text{(3.4) \ \mathcal { E } _ { 2 } = \left \langle \frac { \partial d _ { \mathbf p _ { 0 } } } { \partial u }, \frac { \partial d _ { \mathbf p _ { 0 } } } { \partial v } \right \rangle _ { \mathcal { E } _ { 2 } } + \left \langle \frac { \partial D } { \partial x } \right | _ { \mathbb { R } ^ { 2 } \times \{ \mathbf p _ { 0 } \} }, \frac { \partial D } { \partial y } \right | _ { \mathbb { R } ^ { 2 } \times \{ \mathbf p _ { 0 } \} }, \frac { \partial D } { \partial z } \right | _ { \mathbb { R } ^ { 2 } \times \{ \mathbf p _ { 0 } \} } \right \rangle _ { \mathbb { R } } + \langle \mathbf 1 \rangle _ { \mathbb { R } } + \langle u, v \rangle _ { \mathcal { E } _ { 2 } } ^ { 4 }. \\ & \text{holds. If } d _ { \mathbf p _ { 0 } } \text{ has a $D_{4}$ singularity at } ( 0, 0 ), \text{then} \\ & \text{$\partial D_{1}$} \quad \partial D_{1} \quad \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \dots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \dots$$

$$\frac { \partial D } { \partial x } ( u, v, \mathbf p _ { 0 } ) = - u, \quad \frac { \partial D } { \partial y } ( u, v, \mathbf p _ { 0 } ) = - \frac { 1 } { 2 } ( b _ { 2 } ^ { 2 } u ^ { 2 } + v ^ { 2 } ) + O ( u, v ) ^ { 3 },$$

$$\frac { \partial D } { \partial z } ( u, v, \mathbf p _ { 0 } ) = \frac { 1 } { a _ { 2, 0 } } - \frac { \lambda } { 2 } a _ { 2, 0 } u ^ { 2 } + O ( u, v ) ^ { 3 },$$

$$\frac { \partial d _ { \mathbf p _ { 0 } } } { \partial u } ( u, v ) = - \frac { 1 } { 2 a _ { 2, 0 } } ( a _ { 3, 0 } u ^ { 2 } + 2 a _ { 2, 1 } u v + a _ { 1, 2 } v ^ { 2 } ) + O ( u, v ) ^ { 3 },$$

$$\frac { \partial d _ { \mathbf p _ { 0 } } } { \partial v } ( u, v ) = - \frac { 1 } { 2 a _ { 2, 0 } } ( a _ { 2, 1 } u ^ { 2 } 2 a _ { 1, 2 } u v + a _ { 0, 3 } v ^ { 2 } ) + O ( u, v ) ^ { 3 },$$

and thus (3.4) does not hold.

$$\begin{array} {$$

/negationslash

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00231v1-figure-4ff885fd-0a9d-47f4-ab45-4b2f0ba3761a.jpg)

Let g : ( R 2 , 0) → ( R 3 , 0) be a smooth map-germ of corank 1 at the origin, and let j 2 g (0) be A -equivalent to ( u, v 2 , 0). From Proposition 3.2, the locus of points p where d p has a degenerate singularity at (0 , 0) consists of one or two lines on the normal plane. We call such a locus a focal locus . The focal locus contains the principal normal line. The focal locus can be considered as an analogy of the focal conic of Whitney umbrellas (cf. [5, Lemma 3.3]). From Proposition 3.2 and definitions of inflection and degenerate inflection points, we can easily show that the following proposition holds:

## Proposition 3.3. The focal locus is,

- (1) a pair of two intersecting lines if and only if the origin is not an inflection point,
- (2) a pair of two parallel lines if and only if the origin is a non-degenerate inflection point,
- (3) the principal normal line if and only if the origin is a degenerate inflection point.

In case (1) , the distance squared function d p has a singularity of type D 4 or more degenerate at (0 , 0) if and only if p is the intersection point of these two lines. This is related to the umbilic curvature introduced in [14] .

Proof of Theorem 3.1. Firstly, we remark that the condition (2.15) and the following condition hold.

/negationslash

(1) We skip the proofs of (1a), (1b) and (1d) because the proofs are similar to that of (1c). We will only prove (1c). From the assumption, now we have

$$\ddot { \i l d. } ( x _ { 0 }, y _ { 0 }$$

/negationslash

$$y _ { 0 } \neq 0 \text{ \ and \ } a _ { n + 1$$

/negationslash

$$b _ { 2 } y _ { 0 } + a _ { 2, 0 } z _ { 0$$

we obtain

Then we obtain

$$\lambda & = \frac { \mathcal { A } ( \theta _ { 0 } )$$

and

$$\intertext { m n e w o v a m } & b _ { 3 } y _ { 0 } + a _ { 3, 0 } z _ { 0 } = \frac { - a _ { n + 1, 1 } b _ { 3 } \cos \theta _ { 0 } + ( n + 1 )! \, a _ { 3, 0 } \sin \theta _ { 0 } } { \widetilde { \kappa } _ { 1 } ( 0, \theta _ { 0 } ) \mathcal { A } ( \theta _ { 0 } ) } = - \frac { \Delta _ { 1 } ^ { n + 1 } ( \theta _ { 0 } ) } { \widetilde { \kappa } _ { 1 } ( \theta _ { 0 } ) \mathcal { A } ( \theta _ { 0 } ) } \\ \text{and} \\ & h. n ^ { 2 } + a. \sim \lambda _ { n } \varepsilon - 3 n ^ { 2 }. \, \varepsilon ^ { 2 } - 3 ( n ^ { 2 }. \, + h ^ { 2 } \lambda _ { n }$$

$$& \text{and} \\ & \quad b _ { 4 } y _ { 0 } ^ { 2 } + a _ { 4, 0 } y _ { 0 } z _ { 0 } - 3 a _ { 2, 1 } ^ { 2 } z _ { 0 } ^ { 2 } - 3 ( a _ { 2, 0 } ^ { 2 } + b _ { 2 } ^ { 2 } ) y _ { 0 } \\ & \quad = \frac { 1 } { \widetilde { \kappa } _ { 1 } ( \theta _ { 0 } ) \mathcal { A } ( \theta _ { 0 } ) } \left ( a _ { n + 1, 1 } ( a _ { n + 1, 1 } b _ { 4 } \cos \theta _ { 0 } - ( n + 1 )! \, a _ { 4, 0 } \sin \theta _ { 0 } ) \cos \theta _ { 0 } - 1 2 a _ { 2, 1 } ^ { 2 } \sin ^ { 2 } \theta _ { 0 } \\ & \quad - 3 a _ { n + 1, 1 } ( a _ { 2, 0 } ^ { 2 } + b _ { 2 } ^ { 2 } ) ( a _ { n + 1, 1 } b _ { 2 } \cos \theta _ { 0 } - ( n + 1 )! \, a _ { 2, 0 } \sin \theta _ { 0 } ) \cos \theta _ { 0 } \right ) \\ & \quad = - \frac { a _ { n + 1, 1 } \, \Delta _ { n } ^ { 2 } + 1 } { \widetilde { \kappa } _ { 1 } ( \theta _ { 0 } ) \mathcal { A } ( \theta _ { 0 } ) }.$$

Since

Therefore, from Proposition 3.2, we conclude that (0 , θ 0 ) is a first order ridge point relative to ˜ v 1 over the singularity if and only if d p 0 has an A 3 -singularity at (0 , 0). Moreover, since

$$a _ { 2, 0 } y _ { 0 } + b _ { 2 } z _ { 0 } = \frac { - a _ { n + 1, 1 } \, a _ { 2, 0 } \cos \theta _ { 0 } + ( n + 1 )! \, b _ { 2 } \sin \theta _ { 0 } } { \widetilde { \kappa } _ { 1 } ( \theta _ { 0 } ) \mathcal { A } ( \theta _ { 0 } ) } = - \frac { \Delta _ { 3 } ^ { ( n + 1 ) } ( \theta _ { 0 } ) } { \widetilde { \kappa } _ { 1 } ( \theta _ { 0 } ) \mathcal { A } ( \theta _ { 0 } ) },$$

˜ (2) The statements follow immediately from the definition of the focal locus and Proposition 3.2. /square

˜ ˜ D is a K -versal unfolding of d p 0 if and only if (0 , θ 0 ) is not a sub-parabolic point relative to v 2 over singularity.

## 4. Wave-fronts and caustics of singular surfaces.

The wave-front or parallel of a surface in R 3 is the envelope of spheres with the centers on the surface. On the other hand, the caustic of the surface is the envelope of normal rays to the surface. It is also the locus of the singular points on the wave-front of the surface.

$$\stackrel { \sim } { \sim }, \, \stackrel { \sim } { \sim }, \, \stackrel { \sim } { \sim }, \, \stackrel { \sim } { \sim }, \, \stackrel { \sim } { \sim } } \, \\ \widetilde { D } \, \colon ( \mathbb { R } ^ { 2 }, 0 ) \times ( \mathbb { R } ^ { 3 }, \mathbf p _ { 0 } ) \to \mathbb { R }, \quad \widetilde { D } ( u, v, \mathbf p ) = \frac { 1 } { 2 } ( \| g ( u, v ) - \mathbf p \| - t _ { 0 } ^ { 2 } ), \\ \intertext { \i e r e t _ { 0 } \text{ is a non-negative constant. } \, \text{We define } \widetilde { d } _ { \mathbf p _ { 0 } } ( u, v ) = \widetilde { D } ( u, v, \mathbf p _ { 0 } ). \, \text{The discriminant } \, \varepsilon$$

We define a family of functions ˜ D on a surface parameterized by a smooth map-germ g : ( R 2 , 0) → ( R 3 , 0) by where t 0 is a non-negative constant. We define ˜ d p 0 ( u, v ) = ˜ D u, v, ( p 0 ). The discriminant set of ˜ D is given by D ( ˜ D ) = { p ∈ ( R 3 , 0) | ˜ D = ˜ D u = ˜ D v = 0 for some ( u, v ) ∈ ( R 2 , 0) } , which is the wave-front of the surface at a distance ± t 0 . On the other hand, the bifurcation set of D is given by

$$\mathcal { B } ( D ) = \{ \mathbf p \in ( \mathbb { R } ^ { 3 }, 0 ) \, | \, D _ { u } = D _ { v } = D _ { u u } D _ { v v } - D _ { u v } ^ { 2 } = 0 \text{ for some } ( u, v ) \in ( \mathbb { R } ^ { 2 }, 0 ) \},$$

which is the caustic of the surface. It is well-known (see [23, Theorem 3.4], for example) that two K (resp. R + )-versal unfoldings of d p are K (resp. R + )-isomorphic as unfoldings. Therefore, when D is K (resp. R + )-versal, we can conclude the diffeomorphic types of the wave-fronts (resp. caustics) of our singular surfaces S . Let us state the simplest case of the conclusion of Theorem 3.1 as following theorem:

/negationslash

Theorem 4.1. Let S be a singular surface parameterized by g : ( R 2 , 0) → ( R 3 , 0) in the form (2.1) , and let g be A -equivalent to one of S k , B k , C k and F 4 singularities. Suppose that ˜ κ 1 (0 , θ 0 ) = 0 and p 0 = n (0 , θ 0 ) /κ 1 (0 , θ 0 ) where θ 0 ∈ -( π/ , π/ 2 2) .

- (2) If (0 , θ 0 ) is a first order ridge relative to ˜ v 1 but not a sub-parabolic point relative to ˜ v 2 over the singularity of S , then the singularity of the wave-front and caustic of S at p 0 is a swallowtail and cuspidal edge, respectively.
- ˜ ˜ (1) If (0 , θ 0 ) is not a ridge point relative to ˜ v 1 over the singularity of S , the singularity of the wave-front of S at p 0 is a cuspidal edge.

Here, a singularity is called a cuspidal edge or swallowtail if the corresponding map-germs is A -equivalent to

$$f _ { c } \coloneqq ( u ^ { 2 }, u ^ { 3 }, v ) \ \text{ or } \ f _ { s } \coloneqq ( 3 u ^ { 4 } + u ^ { 2 } v, 4 u ^ { 3 } + 2 u v, v ),$$

DISTANCE SQUARED FUNCTIONS ON SINGULAR SURFACES WITH S k , B k , C k AND F 4 SINGULARITIES 3 2 respectively.

## Appendix A. Coefficients.

$$( \text{A.1} ) \quad \quad n _ { 2 1 } = - \frac { ( ( n + 1 )! ) ^ { 2 } ( a _ { n + 2, 1 } \cos \theta + ( n + 2 )! \, a _ { 1, 2 } \sin \theta ) \cos \theta \sin ^ { 2 } \theta } { ( n + 2 ) \mathcal { A } ( \theta ) ^ { 3 } },$$

$$( \text{A.2} ) \quad \ \ n _ { 3 1 } = - \frac { ( n + 1 )! \, a _ { n + 1, 1 } ( a _ { n + 2, 1 } \cdot \lambda \cos \theta + ( n + 2 )! \, a _ { 1, 2 } \sin \theta ) \cos ^ { 2 } \theta \sin \theta } { ( n + 2 ) \mathcal { A } ( \theta ) ^ { 3 } }.$$

(A.3)

$$( A _ { 2 } ) \quad n _ { 3 1 } = \frac { ( n + 1 )! \alpha _ { n + 1, 1 } ( a _ { n + 2, 1 } \cos \theta + ( n + 2 )! \alpha _ { 1, 2 } \sin \theta ) \cos ^ { 2 } \theta \sin \theta } { ( n + 2 ) } \frac { 1 } { ( \theta ) ^ { 3 } }. \\ \\ ( A _ { 3 } ) \quad n _ { 2 2 } = \frac { 1 } { A ( \theta ) ^ { 5 } } \left [ \frac { a _ { n + 1, 1 } ^ { \dagger } 5 b _ { 2 } ^ { 2 } \cos ^ { 5 } \theta } { 2 } - ( n + 1 )! \alpha _ { n + 1, 1 } ^ { \dagger } \alpha _ { 2, 0 } b _ { 2 } \cos ^ { 4 } \theta \sin \theta \\ \\ - ( n + 1 )! \right ) ^ { 2 } a _ { n + 1, 1 } \left ( \frac { a _ { n + 3, 1 } \alpha _ { n + 1, 1 } } { ( n + 3 ) ( n + 2 ) } - \frac { 3 a _ { n + 2, 1 } ^ { \dagger } 2 a _ { 1, 1 } ^ { \dagger } ( a _ { 2, 0 } + b _ { 2 } ^ { 2 } ) } { 2 } \right ) \cos ^ { 3 } \theta \sin ^ { 2 } \theta \\ \\ + ( ( n + 1 )! \right ) ^ { 3 } a _ { n + 1, 1 } \left ( \frac { a _ { n + 2, 1 } a _ { 1, 2 } } { n + 2 } - \frac { a _ { n + 1, 1 } ( a _ { 2, 0 } b _ { 2 } - a _ { 2, 2 } ) } { 2 } \right ) \cos ^ { 2 } \theta \sin ^ { 3 } \theta \\ \\ - ( n + 1 )! \right ) ^ { 4 } \left ( \frac { a _ { n + 3, 1 } } { ( n + 3 ) ( n + 2 ) } - \frac { a _ { n + 1, 1 } ( 3 a _ { 1, 2 } ^ { 2 } + \alpha _ { 2, 0 } ) } { 2 } \right ) \cos \theta \sin ^ { 4 } \theta - \frac { ( n + 1 )! ^ { 5 } a _ { 2, 2 } ^ { \dagger } 2 \sin ^ { 5 } \theta } { 2 } \right ] \cos ^ { 2 } \theta \\ - \varepsilon ^ { 4 a _ { 0, 3 } ( a _ { 2, 1 } ^ { 2, 1 } \cos ^ { 2 } \theta + 4 \sin ^ { 2 } \theta ) \cos \theta \sin ^ { 4 } \theta } { A ( \theta ) ^ { 5 } }, \\ \\ n _ { 3 2 } = \frac { 1 } { A ( \theta ) ^ { 5 } } \left [ - ( n + 1 )! \alpha _ { n + 1, 1 } ^ { 2 } \left ( \frac { a _ { n + 3, 1 } a _ { n + 1, 1 } } { ( n + 3 ) ( n + 2 ) } - \frac { a _ { n + 2, 1 } ^ { 2 } + \alpha _ { 2, 1 } ^ { 2 } b _ { 2 } ^ { 2 } } { ( n + 2 ) ^ { 2 } + \alpha _ { 1, 1 } b _ { 2 } ^ { 2 } } \right ) \cos ^ { 4 } \theta \\ \\ + ( ( n + 1 )! \right ) ^ { 2 } a _ { n + 1, 1 } ^ { 2 } \left ( \frac { a _ { n + 2, 1 } a _ { 1, 2 } } { n + 2 } + \alpha _ { n + 1, 1 } ( 2 a _ { 2, 0 } b _ { 2 } - a _ { 2, 2 } ) } { 2 } \right ) \cos ^ { 3 } \theta \sin \theta \\ \\ - ( n + 1 )! \right ) ^ { 3 } \left ( \frac { a _ { n + 3, 1 } \alpha _ { n + 1, 1 } } { ( n + 3 ) ( n + 2 ) } + \frac { a _ { n + 2, 1 } ^ { 2 } } { 2 ( n + 2 ) ^ { 2 } } - \frac { a _ { n + 1, 1 } ( 2 a _ { 2, 2 } - a _ { 2, 0 } - b _ { 2 } ^ { 2 } ) } { 2 } \right ) \cos ^ { 2 } \theta \sin ^ { 2 } \theta \\ \\ - ( n + 1 )! \right ) ^ { 4 } \left ( \frac { a _ { n + 2, 1 } \alpha _ { 1, 2 } } { n + 2 } - \frac { a _ { n + 1, 1 } ( 2 a _ { 2, 0 } b _ { 2 } - a _ { 2, 2 } ) } { 2 } \right ) \cos \theta \sin ^ { 3 } \theta \\ \\ - \frac { ( n + 1 )! \right ) ^ { 5 } ( a _ { 2, 2 } ^ { 2 } + a _ { 2, 0 } ^ { 2, 0 } ) \sin ^ { 4 } \theta } { 2 } \right ] \cos ^ { 2 } \theta \sin \theta - \frac { 2 a _ { 2, 1 } \alpha _ { 0, 3 } ( a _ { 2, 1 } ^ { 2, 1 } \cos ^ { 2 } \theta + 4 \sin ^ { 2 } \theta ) \cos ^ { 2 } \theta \sin ^ { 3 } \theta \\ \\ L _ { 1 } = \frac { ( - a _ { n + 1, 1 } \cdot b _ { 3 } \cos \theta + ( n + 1 )! \alpha _ { 3 0 } \sin \theta ) \cos \theta } { A ( \theta ) }$$

$$L _ { 1 } & = \frac { ( - a _ { n + 1, 1 } \cdot b _ { 3 } \cos \theta + ( n + 1 )! a _ { 3 0 } \sin \theta ) \cos \theta } { \mathcal { A } ( \theta ) } \\ & \quad + \frac { ( n + 1 )! } { ( n + 2 ) \mathcal { A } ( \theta ) ^ { 3 } } \left ( \begin{array} { c } a _ { n + 2, 1 } a _ { n + 1, 1 } a _ { 2, 0 } \cos ^ { 2 } \theta \\ + ( n + 1 )! ( ( n + 2 ) a _ { n + 1, 1 } a _ { 1, 2 } a _ { 2, 0 } + a _ { n + 2, 1 } b _ { 2 } ) \cos \theta \sin \theta \\ \perp ( \varepsilon \pm \varepsilon ) \vee / ( \varepsilon \pm 1 \vee \nolimits ^ { 2 } \varepsilon \dots h _ { \ } e i m ^ { 2 } a \end{array} \right ) \cos \theta \sin \theta$$

$$\L. 5 ) & + \frac { ( n + 1 )! } { ( n + 2$$

$$M _ { 1 } & = \frac { 1 } { \mathcal { A } ( \the$$

$$( A. 7 ) \quad \ N _ { 1 } = \frac { ( n + 1 )$$

$$\begin{array} {$$

$$\text{DISTANCE SQUARED FUNCTIONS ON SINGULAR SURFACES WITH }$$

$$& - \frac { 2 \alpha _ { 2 } ^ { 2 }, 1 \, a _ { 0, 3 } ( a _ { 2 } ^ { 2 }, 1 \, \cos ^ { 2 } \theta + 4 \sin ^ { 2 } \theta ) \cos ^ { 3 } \theta \sin ^ { 3 } \theta } { A ( \theta ) ^ { 5 } }, \\ & \\ & N _ { 2 } = \frac { ( n + 1 )! \, a _ { 2, 2 } \cos ^ { 2 } \theta \sin \theta } { 2, A ( \theta ) } - \frac { ( n + 1 )! \, a _ { n + 1, 1 } \, a _ { 1, 2 } } { A ( \theta ) ^ { 3 } } \frac { ( a _ { n + 2, 1 } \cos \theta } { n + 2 } + ( n + 1 )! \, a _ { 1, 2 } \sin \theta } \right ) \cos ^ { 3 } \theta \\ & + \frac { 1 } { A ( \theta ) ^ { 5 } } \left [ \frac { a _ { n + 1, 1 } } { a _ { n + 1, 1 } } \frac { b _ { 2 } ^ { 2 } \cos ^ { 5 } } { 2 } - ( n + 1 )! \, a _ { n + 1, 1 } \, a _ { 2, 0 } ^ { a _ { n + 1, 1 } } \, a _ { n + 2, 0 } ^ { a _ { n + 2 } } \, a _ { n + 2 } ^ { b _ { 2 } } \right ) \cos ^ { 3 } \theta \sin ^ { 2 } \theta \\ ( A. 1 0 ) & + \frac { ( n + 1 )! \right ] ^ { 2 } \, a _ { n + 1, 1 } \left ( \frac { a _ { n + 3, 1 } \, a _ { n + 1, 1 } } { ( n + 3 ) ( n + 2 ) } - \frac { 3 a _ { n + 1, 1 } \, a _ { n + 1, 2 } } { 2 ( n + 2 ) ^ { 2 } } + \frac { a _ { n + 1, 1 } \, a _ { 2, 0 } ^ { 2 } } { 2 } + \frac { a _ { n + 1, 1 } ^ { 2 } \, b _ { 2 } ^ { 2 } } { 2 } \right ) \cos ^ { 3 } \theta \sin ^ { 2 } \theta \\ & ( A. 1 0 ) & + \frac { ( n + 1 )! \right ) ^ { 2 } \, a _ { n + 1, 1 } \left ( \frac { 3 a _ { n + 2, 1 } \, a _ { 1, 2 } } { n + 1, 2 } - \frac { a _ { n + 1, 1 } } { a _ { 2, 2 } } \, a _ { n + 1, 1 } \, a _ { 2, 0 } ^ { a _ { 2, 2 } } \, b _ { 2 } \right ) \cos ^ { 2 } \theta \sin ^ { 3 } \theta \\ & - \frac { ( ( n + 1 )! \right )! ^ { 4 } \left ( \frac { a _ { n + 3, 1 } } { ( n + 3 ) ( n + 2 ) } - \frac { 3 a _ { n + 1, 1 } \, a _ { 2, 1 } ^ { 2 } } { 2 } - \frac { a _ { n + 1, 1 } \, a _ { 2, 0 } ^ { 2 } } { a _ { 2 } ^ { 2 } } \right ) \cos \theta \sin ^ { 4 } \theta \\ & - \frac { ( ( n + 1 )! \right ) ^ { 3 } \, a _ { 2, 2 }, 2 \sin ^ { 5 } \theta } { 2 } \right ] \cos ^ { 2 } \theta \\ & + \epsilon \left ( \frac { 2 a _ { 0, 3 } \cos \theta \sin ^ { 2 } \theta } { A ( \theta ) } - \frac { 4 } { A ( \theta ) ^ { 5 } } ( 4 a _ { 0, 3 } \sin ^ { 2 } \theta + a _ { 2, 1 } ^ { 2 } \, a _ { 0, 3 } \cos ^ { 2 } \theta ) \right ) \cos \theta \sin ^ { 4 } \theta \\ & \\ & k _ { 1 1 } = \frac { ( - a _ { n + 1, 1 } \, b _ { 3 } \cos \theta + ( n + 1 )! \, a _ { 3, 0 } \sin \theta ) \cos \theta } { A ( \theta ) } - \frac { ( n + 1 )! \left [ \frac { a _ { n + 2, 1 } \, a _ { n + 1, 1 } \, a _ { 2, 0 } \cos ^ { 2 } \theta } { n + 2 } } \, b _ { 2 } \right ) \cos \theta \sin \theta + \frac { ( ( n + 1 )! \right ) ^ { 2 } a _ { 1, 2 } \, b _ { 2 } \sin ^ { 2 } \theta } { n + 2 } \\ & + ( n + 1 )! \left ( \frac { a _ { n + 1, 1 } \, a _ { 1, 2 } \, a _ { 2, 0 } + \frac { a _ { n + 2, 1 } \, b _ { 2 } } { n + 2 } \right ) \cos \theta \sin \theta + \frac { ( ( n + 1 )! \right ) ^ { 2 } a _ { 1, 2 } \, b _ { 2 } \sin ^ { 2 } \theta } \right ] \cos \theta \sin \theta,$$

$$k _ { 1 1 } & = \frac { ( - a _ { n + 1, 1 } \, b _ { 3 } \cos \theta + ( n + 1 )! \, a _ { 3, 0 } \sin \theta ) \cos \theta } { \mathcal { A } ( \theta ) } - \frac { ( n + 1 )! } { \mathcal { A } ( \theta ) ^ { 3 } } \left [ \frac { a _ { n + 2, 1 } \, a _ { n + 1, 1 } \, a _ { 2, 0 } \cos ^ { 2 } \theta } { n + 2 } \\ & \quad + ( n + 1 )! \left ( a _ { n + 1, 1 } \, a _ { 1, 2 } \, a _ { 2, 0 } + \frac { a _ { n + 2, 1 } \, b _ { 2 } } { n + 2 } \right ) \cos \theta \sin \theta + ( ( n + 1 )! ) ^ { 2 } \, a _ { 1, 2 } \, b _ { 2 } \sin ^ { 2 } \theta \right ] \cos \theta \sin \theta,$$

(A.12)

(A.13)

$$( A. 1 2 ) \\ k _ { 1 2 } = \frac { 2 } { 2 } ( \theta ) \left ( a _ { n + 1, 1 } ( 2 a _ { 2 } ^ { 2 }, 0 b _ { 2 } + 2 b _ { 2 } ^ { 2 } - b _ { 4 } ) \cos \theta - ( n + 1 )! ( 2 a _ { 2 }, 0 b _ { 2 } ^ { 2 } + 2 a _ { 2 } ^ { 2 }, 0 - a _ { 4 }, 0 ) \sin \theta \right ) \cos ^ { 2 } \theta \\ - ( n + 1 )! \frac { a _ { n + 2, 1 } } { A ^ { \theta } ( \theta ) ^ { 3 } } \frac { 1 } { n + 2 } \frac { 1 } { n + 2 } + a _ { n + 1 } ; \frac { 1 } { n + 2 } \cos ^ { 2 } \theta + ( n + 1 )! \left ( a _ { n + 1, 1 } \frac { 1 } { 3 }, 0 a _ { 1, 2 } + \frac { 1 } { n + 2, 1 } b _ { 2 } ^ { 2 } \right ) \cos \theta \sin \theta + 2 \right ) \\ + ( ( n + 1 )! ) ^ { 2 } a _ { n + 1, 1 }, a _ { 3 }, 0 a _ { 1, 2 } \sin ^ { 2 } \right ) \cos ^ { 2 } \sin \theta + \frac { 1 } { A ^ { \theta } ( \theta ) ^ { 3 } } \frac { 1 } { A ^ { \theta } ( \theta ) ^ { 3 } } \frac { 2 } { 2 } \\ - ( n + 1 )! \alpha _ { n + 1, 1 }, a _ { 2 }, 0 \left ( a _ { n + 3 }, 1 a _ { n + 1, 1 } \frac { 1 } { A ^ { \theta }, 1 } \frac { 1 } { A ^ { \theta }, 1 } \frac { 2 } { 2 } \frac { 1 } { A ^ { \theta }, 1 } \frac { 3 a _ { n + 1, 1 } b _ { 2 } ^ { 2 } } { 2 } \cos ^ { 4 } \theta \sin \theta \\ - ( ( n + 1 )! ) ^ { 2 } a _ { n + 1, 1 }, \left ( a _ { n + 3 }, 1 a _ { n + 1, 1 } \frac { 1 } { B ^ { 2 } } \frac { 3 a _ { n + 2, 1 } b _ { 2 } ^ { 2 } } { ( n + 3 ) ( n + 2 ) } \frac { 2 } { 2 ( n + 2 ) ^ { 2 } } \frac { 1 } { n + 2 } \\ - a _ { 2 } ^ { 2 } ( 3 a _ { 2 } ^ { 2 }, 0 b _ { 2 } + b _ { 2 } ^ { 2 } - a _ { 2 }, 2 a _ { 2 }, 0 ) \right ) \cos ^ { 3 } \theta \sin ^ { 2 } \theta - ( ( n + 1 )! ) ^ { 3 } \frac { ( a _ { n + 3, 1 }, 1 a _ { n + 1, 1 }, 1 a _ { 2 }, 0 } \frac { 1 } { A ^ { \theta }, 2 a _ { 2 } ^ { 2 }, 1 a _ { 2 }, 0 } { 2 ( n + 3 ) ( n + 2 ) } \frac { 2 } { 2 ( n + 2 ) \\ - 3 a _ { n + 2, 1 }, a _ { n + 1, 1 }, a _ { 1, 2 } b _ { 2 } \frac { 2 } { A ^ { 2 }, 1, 1 } ( 2 a _ { 2 } ^ { 2 }, a _ { 2 }, 0 - a _ { 2 } ^ { 2 }, 0 - 3 a _ { 2 }, 0 b _ { 2 } ^ { 2 } - a _ { 2 }, 2 b _ { 2 } ) \right ) \cos ^ { 2 } \theta \sin ^ { 3 } \theta \\ + ( ( n + 1 )! ) ^ { 4 } \frac { ( a _ { n + 3, 1 }, 1 b _ { 2 } } \frac { 1 } { A ^ { 2 }, 1 a _ { 2 }, 0 } \frac { 1 } { A ^ { 2 }, 1 a _ { 2 }, 0 } \frac { 1 } { B ^ { 2 } } \frac { 1 } { A ^ { 2 }, 1 a _ { 2 }, 0 } \frac { 1 } { B ^ { 2 } } \frac { 1 } { 2 } \frac { 1 } { A ^ { 2 }, 1 a _ { 2 }, 0 } \frac { 1 } { B ^ { 2 } } \frac { 1 } { A ^ { 2 }, 1 a _ { 2 }, 0 } \frac { 1 } { B ^ { 2 } } \frac { 1 } { A ^ { 2 }, 1 a _ { 2 }, 0 } \frac { 1 } { B ^ { 2 } } \frac { 1 } { A ^ { 2 }, 1 a _ { 2 }, 0 } \frac { 1 } { B ^ { 2 } } \frac { 1 } { B ^ { 2 } } \frac { 1 } { B ^ { 2 } } \frac { 1 } { A ^ { 2 }, 1 a _ { 2 }, 0 } \frac { 1 } { B ^ { 2 } } \frac { 1 } { B ^ { 2 } } \frac { 1 } { B ^ { 2 } } \frac { 1 } { B ^ { 2 } } \frac { 1 } { B ^ { 2 } } \frac { 1 } { B ^ { 2 } } \frac { 1 } { B ^ { 2 } } \frac { 1 } { B ^ { 2 } } \frac { 1 } { B ^ { 2 } } \frac { 1 } { B ^ { 2 } } \frac { 1 } { B ^ { 2 } } \frac { 1 } { B ^ { 2 } } \frac { 1 } { B ^ { 2 } } \frac { 1 } { B ^ { 2 } } \frac { 1 } { B ^ { 2 } } \frac { 1 } { B ^ { 2 } } \frac { 1 } { B ^ { 2 } } \frac { 1 } { A ^ { 2 }, 1 a _ { 2 }, 0 } \cos \theta \sin ^ { 2 } \theta + 8 b _ { 2 } \sin ^ { 3 } \theta \right ) \cos \theta \sin ^ { 3 } \theta \right ] \\ ( A. 1 3 ) \\ k _ { 2 1 } = \frac { ( ( n + 1 )! ) ^ { 2 } a _ { n + 2, 1 } \frac { 1 } { A ^ { \theta } ( \theta ) ^ { 3 } } \cos ^ { 2 } \sin ^ { 2 } \theta \left ( 2 a _ { n + 2, 1 } \frac { 2 } { A ^ { 2 }, 1 a _ { n + 1, 1 } + 3 ( n + 2 )! \alpha _ { n + 1, 1 } ^ { 2 } \frac { 1 } { A ^ { 2 }, 1 a _ { 1 }, 2 a _ { 1 } \tan ^ { 2 } \theta - ( ( n + 1 )! ) ^ { 2 } a _ { n + 2, 1 } \tan ^ { 2 } \theta \right ).$$

$$\xi & = \frac { 1 } { \mathcal { A } ( \theta ) ^ { 3 } } \Big ( ( n + 2 )! \, a _ { n + 1, 1 } ^ { 2 } \, a _ { 1, 2 } \cos ^ { 4 } \theta - a _ { n + 2, 1 } \left ( ( ( n + 1 )! ) ^ { 2 } + a _ { n + 1, 1 } ^ { 2 } \right ) \cos ^ { 3 } \theta \sin \theta \\ & \quad - 2 ( ( n + 1 )! ) ^ { 2 } \, a _ { n + 2, 1 } \cos \theta \sin ^ { 3 } \theta - ( n + 2 ) ( ( n + 1 )! ) ^ { 3 } \, a _ { 1, 2 } \sin ^ { 4 } \theta \Big ) \sin \theta,$$

DISTANCE SQUARED FUNCTIONS ON SINGULAR SURFACES WITH S k , B k , C k AND F 4 SINGULARITIES 7 2

$$\begin{array} { l } \text{DISTANCE SQUARED FUNCTIONS ON SINGULAR SURFACES WITH } S _ { k }, B _ { k }, C _ { k } \text{ AND } F _ { 1 } \text{ SINGULARITIES} \\ \eta = \frac { 1 } { A ( \theta ) } \left [ - \frac { a _ { n + 1, 1 } } { a _ { 2, 0 } b _ { 2 } } \cos ^ { 2 } \theta + \left ( a _ { n + 1, 1 } ( a _ { 2, 0 } ^ { 2 } - b _ { 2 } ^ { 2 } ) - \frac { a _ { n + 3, 1 } } { n + 2 } \right ) \cos \theta \sin \theta \\ + \frac { 1 } { 2 } ( n + 1 )! ( 2 a _ { 2, 0 } b _ { 2 } + ( n + 3 ) a _ { 2, 2 } ) \sin ^ { 2 } \theta \right ] \cos ^ { 2 } \theta + \frac { a _ { n + 1, 1 } } { A ( \theta ) ^ { 3 } } \left [ \frac { a _ { n + 2, 1 } } { n + 2 } \cos ^ { 2 } \theta \\ + 2 ( n + 1 )! \alpha _ { n + 2, 1 } \alpha _ { 1, 2 } \cos \theta \sin \theta + ( n + 2 )! ( n + 1 )! \alpha _ { 1, 2 } ^ { 2 } \sin ^ { 2 } \theta \right ] \cos ^ { 3 } \theta \sin \theta \\ + \frac { ( n + 1 ) \alpha _ { n + 1, 1 } \left [ \left ( \frac { a _ { n + 3, 1 } a _ { n + 1, 1 } } { ( n + 3 ) ( n + 2 ) } - \frac { a _ { n + 2, 1 } } { ( n + 2 ) ^ { 2 } } \right ) \cos ^ { 5 } \theta \sin \theta \\ ( A. 1 5 ) \\ + \frac { ( n + 1 ) ( ( n + 1 )! ) ^ { 2 } \, a _ { n + 1, 1 } \left ( \frac { a _ { n + 1, 1 } a _ { 2, 2 } } { 2 } - \frac { 2 } { ( a _ { n + 2, 1 } a _ { 1, 2 } } \right ) \cos ^ { 4 } \theta \sin \theta \\ ( n + 1 ) ( ( n + 1 )! ) ^ { 2 } \, a _ { n + 1, 1 } \left ( \frac { 2 a _ { n + 3, 1 } a _ { n + 1, 1 } } { ( n + 3 ) ( n + 2 ) } - \frac { a _ { n + 2, 1 } } { ( n + 2 ) ^ { 2 } } - \frac { a _ { n + 1, 1 } a _ { 1, 2 } } { \right ) \cos ^ { 3 } \theta \sin ^ { 2 } \theta \\ - ( n + 1 ) ( ( n + 1 )! ) ^ { 3 } \, a _ { n + 1, 1 } \left ( \frac { a _ { n + 2, 1 } a _ { 1, 2 } } { n + 2 } - \frac { a _ { n + 1, 1 } a _ { 2, 2 } } { \right ) \cos ^ { 5 } \theta \sin ^ { 3 } \theta \\ + ( n + 1 ) ( ( n + 1 )! ) ^ { 4 } \left ( \frac { a _ { n + 3, 1 } } { ( n + 3 ) ( n + 2 ) } - a _ { n + 1, 1 } \, a _ { 1, 2 } ^ { 2 } \right ) \cos \theta \sin ^ { 4 } \theta \\ + \frac { 1 } { 2 } ( n + 1 ) ( ( n + 1 )! ) ^ { 5 } \, a _ { 2, 2 } \sin ^ { 5 } \theta \right ] \cos ^ { 2 } \theta \sin \theta - \varepsilon \frac { 2 a _ { 0, 3 } \cos \theta \sin ^ { 3 } \theta } { A ( A ) } \\ \end{array}$$

## References

- [1] V. I. Arnol'd, S. M. Guse˘ ın-Zade and A. N. Varchenko , Singularities of differentiable maps, vol. I, Monogr. Math. 82, Birkh¨user Boston, Inc., Boston, MA, 1986. a
- [2] J. W. Bruce and J. M. West , Functions on cross-caps, Math. Proc. Cambridge Philos. Soc. , 123 (1998), 19-39.
- [3] J. W. Bruce and T. C. Wilkinson , Folding maps and focal sets, in Singularity theory and its applications, Part I (Coventry, 1988/1989), Lecture Notes in Math. , 1462 , Springer, Berlin, 63-72, 1991.
- [4] C. G. Gibson, Singular points of smooth mappings. Volume 25, Pitman Research Notes in Mathematics, 1979.
- [5] T. Fukui and M. Hasegawa , Fronts of Whitney umbrella - a differential geometric approach via blowing up, J. Singlu. , 4 (2012), 35-67.
- [6] T. Fukui and M. Hasegawa , Singualriteis of parallel surfaces, J. Singlu. , 4 (2012), 35-67.
- [7] T. Fukui and M. Hasegawa , Height functions on Whitney umbrellas, Kˆ okyˆroku u Bessatsu , B38 (2013), 153-168.
- [8] R. Garcia, C. Gutierrez and J. Sotomayor , Lines of Principal curvature around umbilics and Whitney umbrellas, Tohoku Math. J. , 52 (2000), 163-172.
- [9] C. Gutierrez and J. Sotomayor , Lines of principal curvature for mappings with Whitney umbrella singularities, Tohoku Math. J. , 38 (1986), 551-559.
- [10] M. Hasegawa A. Honda K. Naokawa K. Saji M. Umehara , , , , and K. Yamada , Intrinsic properties of surfaces with singularities, Int. J. Math . 26 , 1540008 (2015)
- [11] M. Hasegawa, A. Honda, K. Naokawa, M. Umehara , and K. Yamada , Intrinsic invariants of cross caps, Selecta Math. (N. S.) , 20 (2014), 769-785.
- [12] M. Kokubu, W. Rossman, K. Saji, M. Umehara and K. Yamada , Singularities of flat fronts in hyperbolic 3-space, Pacific J. Math. , 221 (2005), 303-351.
- [13] J. Martinet , Singularities of smooth functions and maps, London Math. Soc. Lecture Notes Series vol. 58, Cambridge University Press, 1982.

## T. FUKUI AND M. HASEGAWA

- [14] L. F. Martins and J. J. Nu˜ no-Ballesteros , Contact properties of surfaces in R 3 with corank 1 singularities, Tohoku Math. J. 67 (2015), 105-124.
- [15] R. Martins and J. J. Nu˜o Ballesteros n , Finitely determined singularities of ruled surfaces in R 3 , Math. Proc. Camb. Phil. Soc. , 147 (2009), 701-733.
- [16] D. Mond , On the Classification of germs of maps from R 2 to R 3 , Proc, London Math. Sco. , 50 (1985), 333-369.
- [17] J. A. Montaldi , On contact between submanifolds, Michigan Math. J. , 33 (1986), 81-85.
- [18] J. J. Nu˜o Ballesteros n and F. Tari , Surfaces in R 4 and their projections to 3-spaces, Proc. Roy. Soc. Edinburgh Sect. A , 137 (2007), 1313-1328.
- [19] J. M. Oliver , On pairs of foliations of a parabolic cross-cap, Qual. Theory Dyn. Syst. , 10 (2011), 139-166.
- [20] I. R. Porteous , The normal singularities of a submanifolds , J. Differential Geometry 5 (1971) 543-564.
- [21] K. Saji , Criteria for cuspidal S k singularities and their applications, J. Gokova Geom. Topol. GGT 4 (2010), 67-81.
- [22] F. Tari , Pairs of geometric foliations on a cross-cap, Tohoku Math. J. , 59 (2007), 233-258.
- [23] C. T. C. Wall , Finite Determinacy of Smooth Map-Germs. Bull. London Math. Soc. 13 (1981), 481539.
- [24] T. C. Wilkinson , The geometry of folding maps. Ph.D. thesis, University of Newcastle-upon-Tyne, 1991.
- [25] J. M. West , The differential geometry of the cross-cap. Ph.D. thesis, The University of Liverpool, 1995.
- [26] H. Whitney , The general type of singularity of a set of 2 n -1 smooth functions of n variables, Duke Math. J. , 10 (1943), 161-172.

(Toshizumi Fukui) Departmet of Mathematics, Faculty of Science, Saitama University, Saitama, 338-8570, JAPAN.

Email address : tfuku@rimath.saitama-u.ac.jp

(Masaru Hasegawa) Depart of Information Science, Center for Liberal Arts and Science, Iwate Medical University, Iwate 028-3694, JAPAN.

Email address : mhase@iwate-med.ac.jp
Toshizumi Fukui Masaru Hasegawa
Distance squared functions on singular surfaces parameterized by smooth maps $\mathcal{A}$-equivalent to $S_k$, $B_k$, $C_k$ and $F_4$
We describe singularities of distance squared functions on singular surfaces
in $\mathbb{R}^3$ parameterized by smooth map-germs $\mathcal{A}$-equivalent to
one of $S_k$, $B_k$, $C_k$ and $F_4$ singularities in terms of extended
geometric language via finite succession of blowing-ups. We investigate
singularities of wave-fronts and caustics of such singular surfaces.