정규곡면의 초점면에 나타나는 쿠스피달 엣지와 그 기하학적 부호

초록

본 논문은 정규곡면의 초점면에서 발생하는 쿠스피달 엣지의 기하학적 불변량을 연구한다. 특히, 평행곡면의 특이점 유형(입술·부리)과 초점면의 특이곡률(한계법선곡률·특이곡률) 사이의 관계를 밝히고, 초점면의 쿠스피달 엣지에서 특이곡률의 부호가 어떤 조건에서 양성 혹은 음성이 되는지를 정확히 규정한다.

상세 분석

논문은 먼저 정규곡면 (f:U\subset\mathbb R^{2}\to\mathbb R^{3}) 에 대해 단위법선 (\nu) 와 주곡률 (\kappa_{1},\kappa_{2}) 를 정의하고, 거리 (t) 에 대한 평행곡면 (f_{t}=f+t\nu) 를 도입한다. 평행곡면은 언제든지 프론트이며, (\kappa_{i}=1/t) 인 점에서 특이점이 발생한다는 사실을 이용한다. 주곡률이 서로 다른 경우(비-엄빌리크)에는 곡률선 좌표계 ((u,v))를 잡아 (\partial_{u}f_{t}=(1-t\kappa_{1})f_{u},\ \partial_{v}f_{t}=(1-t\kappa_{2})f_{v}) 로 표현한다. 이 식을 통해 특이점이 (\kappa_{1}=1/t) 혹은 (\kappa_{2}=1/t)인 곡선 위에 놓인다는 것을 확인한다.

다음으로, 프론트의 특이점 분류(쿠스피달 엣지, 스와로우테일, 쿠스피달 립스·비크스, 버터플라이)를 A‑동형성 기준으로 정의하고, 기존 연구(Fukui–Hasegawa)의 판정 기준을 정리한다. 특히, 식 (\tilde\lambda=\kappa_{i}-\kappa_{i}(p)) 를 특이점 식별자로 두고, (\partial_{u}) 혹은 (\partial_{v}) 를 널벡터 필드로 삼아 특이점 유형을 판정한다(정리 3.1).

핵심적인 기여는 두 가지이다. 첫째, 평행곡면 (f_{t})가 코랭크 1 특이점을 가질 때 한계법선곡률 (\kappa_{t\nu}) 를 (\kappa_{1},\kappa_{2}) 로만 표현하는 식
\