低次样条函数空间结构与代数曲线不变量

来源 :大连理工大学 | 被引量 : 4次 | 上传用户:chinajolly66
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
样条作为计算几何中表示和逼近几何对象的基本工具,在很多工程领域有着重要而广泛的应用.鉴于客观事物的复杂多样性,开展多元样条函数的研究,无论是理论上还是应用上都有着重要意义.代数曲线一直是数学领域中一个重要的研究对象.它在基础数学(代数几何、超越数等)和应用数学(插值与样条、计算机辅助几何设计、逼近论以及机械化证明等)方面都有着重要的应用.因此,代数曲线性质特别是它的内蕴性质的研究具有非常重要的现实意义.但无论多元样条或者代数曲线,都有许多问题值得进一步研究.本文的主要工作如下: 在第二章中,利用了罗钟铉提出的模中生成基的方法及结构矩阵的概念,对任意三角剖分下S12(△)及S13(△)空间的维数进行了讨论.众所周知,在多元样条位数的研究中,对于次数d相对光滑度r较大的情形,已经有了许多的结论,如d≥3r+2的情形.但实际应用中,由于低次样条计算简单和稳定,人们对低次样条空间更感兴趣.例如r=1时,d=2,3的情况.而S13(△)的情形则至今悬而未决,人们既不能给出其维数也不知道其维数是否依赖于剖分的几何形状.确立任何三角剖分下样条函数空间S13(△)的维数遇到了难以想象的困难,为解决这一问题,罗钟铉提出了模中生成基方法,该方法获得的一个内网点处的协调方程的生成基在一般情况下由若干个一次和零次的模中多项式向量所构成,因此对于研究多元样条函数空间带来很好的便利条件.本章正是利用此种方法,通过对剖分网点,网线的编号,将结构矩阵与剖分的拓扑结构联系起来,得到了判断任意三角剖分下S12(△)及S13(△)空间非奇异性的充分条件.事实上,样条函数空间的非奇异性是指样条函数空间的维数等于其下界,因此,以光滑余因子的角度来看,判断样条函数空间的奇异性就要求出整体协调方程系数矩阵的秩,这就需要大量的代数运算.而本章的判定方法仅依赖于剖分的拓扑结构,因此更便于应用.为了更好的说明我们的结论,一些具体的例子在本章中也给出.在本章的最后一节,应用已有的结论,给出了一种基于平面散乱点的三角剖分构造方式,而且按照这种方式构造出的三角剖分,其上的S12(△)及S13(△)空间是非奇异的。 在第三章中,给出关于任意n次代数曲线特征数的完全证明,并讨论了其相关的性质.同时探讨特征数及其相关结果在三次代数曲线中的应用.关于代数曲线的内蕴性质的研究,最早可以追溯到Pascal定理,该定理表述如下:内接于不可约二次曲线的六边形,其三对对边的三个交点必共线(或在一条直线上).从已有文献知道该定理至今有许多版本的推广形式和猜想,比如三次曲线的Chasles定理和高次曲线中的Cayley-Bacharach定理等(参见[8]和其中的文献).但至今所有的推广并不具备Pascal定理的原始形式,即Pascal定理中的共线的三个点是由落在二次曲线上的三对点的连线的交点所得,我们所期望的Pascal定理的推广形式具有类似于Pascal定理的原有形式,即它的形式是由高次曲线上的一些相对点的连线的交点或通过一些变换得到的点落在低一次代数曲线上.罗钟铉通过建立代数曲线内蕴性质的研究和二元样条空间结构研究之间的等价关系,并引入特征比,特征映射等新的概念和定义,发现了代数曲线(四次以上为代数曲线的子类)的新的几何不变量—特征数,进而给出了Pascal定理的不同于Chasles定理和高次曲线中的Cayley-Bacharach定理形式的高次推广.本章将证明,特征数及其相关的结论对于任意n次代数曲线同样是成立的,并以特征数的视角重新审视三次代数曲线,其得出的结论与经典代数曲线中的结论是完全一致的,在本章最后,给出了Pascal定理在三次代数曲线中的推广。 在第四章中,讨论了超曲面的内蕴性质.特征数及其相关性质指出了2维射影空间里n次代数曲线和n-1次代数曲线之间的联系.更一般地,高维射影空间里的超曲面之间是否也有内在的类似的关系?本章通过定义m次Pascal超曲面,将Pascal定理推广到n维射影空间的m次超曲面中,证明了n-单纯形上的Pascal点位于一个m次Pascal超曲面的充要条件是其每个2维面上的Pascal点分别位于m次平面Pascal空间的一条代数曲线上,进一步,文中给出了一定条件下m次Pascal超曲面与m-1次Pascal超曲面之间的内在关系.在本章的最后,将Pascal超曲面的相关性质推广到了任意超曲面中。
其他文献
本文研究了伪黎曼空间型中子流形几何的若干问题,给出了伪黎曼空间型中具有可对角化形算子的非退化超曲面的一些特征和分类结果,特别给出了r-极小超曲面的一些有趣特征。 一
20世纪40年代俄罗斯数学家Kolmogorov考虑了具有平稳增量和自相似性质的连续高斯过程,之后H.E.Hurst经过长时间的研究称上述高斯过程是参数为H,(0<H<1)的分数布朗运动. 因为分数
本文主要研究了由稳定的子系统组成的二维线性切换系统的能稳性,找到了切换路径和一类简单的反馈控制器,使得系统是二次稳定的。本研究分为两个部分:第一部分是综述,我们介绍了有
在各种生物入侵的数学反应扩散模型中,入侵物种各种不同的种群动力系统特征因素往往都被考虑在内,然而,一种更重要的因素一物种之间的相互影响往往没有很好的体现.同时,很明显其
矩阵Drazin逆在许多领域中都有着非常广泛的应用,如奇异的微分方程,奇异的差分方程,算子理论,Markov链,密码学,迭代算法等方面。因此,从上世纪中期以来,矩阵的Drazin逆就成为一个非常
多调和函数作为多项式函数的最直接的推广,其理论在偏微分方程,数值计算,小波分析,多复变函数论,弹性理论,雷达成像等领域中有许多重要应用.Al—mansi分解定理是多调和函数理论的核