多元样条空间的奇特性条件及插值适定性.pdf

摘 要 样条函数作为函数逼近论的一个重要分支，己得到了迅速的发展和广泛的 应用。样条函数，就是具有一定光滑度的分段或分片定义的函数。一元样条函 数已经建立了非常完善的理论体系。八十年代起，样条函数的研究开始转向多 元情形。虽然多元样条函数在思想上是一元样条函数的推广，但它比一元样条 函数困难得多、复杂得多，这不仅仅是因为区域的多维性及多元函数区域上的 复杂性，而且多元多项式样条空间的结构除依赖剖分的拓扑性质外，还紧密地 依赖于剖分的几何性质，其中最著名的例子就是Morgan—Scott剖分。 本文从多元样条函数的协调方程出发，运用罗钟铉教授提出的多项式环上 的素模中的生成基理论和方法，结合Mathematica软件环境作了一些研究： 1．对田(△馈)空间的奇异性条件进行讨论，得到了该空间奇异的一般性代数型 条件，并给出了该空间奇异时的实用的几何型奇异判别条件。 2．对熨空间的I型剖分的插值适定性进行了讨论，并给出相应的例子。 3．利用一元算法对文[1]中的引理进行了机械化证明。 关键词：多元样条函数 光滑余因子 Grob鹏r基 数学机械化 生成基 Mathemati 插值适定性 ca软件Morgan-Scott剖分 Abstract of onthe multivariate not Becausethestructure only spline depends space the of characterof character onlygeometry topology partition，but multivariate are from spacessingularity．Thispaperproceed spline in of basis ofmodule algorithm ring polynomial， equation，applygenerator calculate cofactorofsimilar in out space smoothing Morgan-scottpartition thesiscanbe mainworkofthis environment．The MathematicaSOftware asfollows： summarized