参数曲线曲面实奇异点的计算

本文主要讨论了利用Grobner基理论对参数曲线(面)的奇异点进行判断和计算。如果曲线(面)存在奇异点,由定义可知它的导矢(法矢)等于0。因此,曲线(面)奇异点的判定就是方程组的求解问题。由Hilbert弱零点定理可知,若一组多项式方程无公共零点,则其生成理想约化的Grobner基为[1]。在计算时,首先根据Grobner基理论判断曲线(面)是否存在奇异点。当存在奇异点时,利用区间算法对实奇异点进行隔离和迭代。在确定奇异点的存在性时,根据曲线(曲面)的导矢(法矢)方程的Grobner基直接进行判断,而不需要求解非线性代数方程组。若曲线曲面存在奇异点,进一步采用区间方法对奇异点进行隔离以确定曲线段或曲面片的正则性。该方法可以得到参数曲线曲面的所有实奇异点且达到任意精度。