多元样条及离散数学相关问题研究进展综述.pdf

维普资讯 第36卷第3期 数 学 进 展 Vo1．36．NO．3 2007~．6月 ADVANCESIN MATHEM ATICS June，2007 多元样条与离散数学相关问题研究进展综述 许志强 (中国科学院数学与系统科学研究院，计算数学与科学工程计算研究所， 100080，北京 ) 摘要：多元样条是计算数学与函数逼近论领域里重要的工具．近来，人们发现借助已发展成熟 的多元样条函数理论，亦可对离散数学的一系列问题进行研究，主要包括组合数学与离散几何两个方 面．组合数学方面，可对线性丢番图方程组整解数 目、多面体内整点计数、 Frobenius问题等相关 问题进行研究．离散几何方面，可对凸多面体体积、单位立方体切面面积问题进行研究．本文主要综 述这方面的研究内容与当前进展，阐述一些新结果，同对提出有待进一步研究的方向与问题． 关键词：多元样条；线性丢番图方程组；多面体；Ehrhart多项式 MR(1991)主题分类：41A15；05A15／中图分类号：0241 文献标识码：A 文章编号： 1000．0917(2007)03．0257-11 自从上世纪Schoenberg提出样条函数以来，其在计算机辅助几何设计、小波、微分方程数 值解等领域均扮演重要角色．样条函数之所以能得到广泛应用，一个重要的原因是其有一个很好 的基底： B样条函数基底． B样条函数有多种不同的定义方式．其中一种便是将其定义为截 断幂差商．因此，为将 B样条函数推广到高维，人们考虑了截断幂的高维推广—— 多元截断 幂，对其进行差商即得到 B样条函数的高维推广 ——Box样条函数． 近来，人们发现借助样条函数，亦可对离散数学中的相关问题进行系统研究．其内在关联的 中心问题便是线性丢番图方程组整解数 目．即对于给定的OL∈Z，考虑线性方程组M =OL， ∈ z 的解的数 目，此处 M =(ml 一，m )，m。∈Z，i=1，2，… ，礼是 8×礼的整矩阵．令 t(~lM)= { ∈z ：M = )， (1) 此处 表示对集合取势．为保证 t(~lM)有限，通常要求 {m ，2，… ，m )的凸包不包含0点． t(~lM)与许多数学分支都有着密切关系，例如：整向量剖分 [26]，表示论 ，交换代数 及统 计 [14]等．而组合数学中多种计数问题亦可最终归结为t(~lM)的研究． 从表面上看，￡(．IM)与样条函数并无关联，其内在的沟通或许能从如下的B样条函数 非“ 主流 ”解释中找到些影子．在 f10】中， I．J．Schoenberg将 B样条函数解释为单位立方体体 积的投影．源于此，人们亦将多元截断幂函数、Box样条函数与凸多面体体积建立了内在关联 (详细内容可见下节)．众所周知，凸多面体可看作一个线性方程组的解空间．而相应的线性方程 组整解数 目亦可作为这个凸多面体的 离“散 ”体积．因此，从这个角度直观地看， ￡(·IM)可看 作一种离散的样条函数． 多元样条与离散几何的关联，则主要体现在上边提到的与多面体体积的联系上．多面体体 积或切面面积是离散几何中一重要的研究对象．事实上，人们早已注意到样条函数与多面体体 收稿 日期： 2005—10-25．修改稿收到日期： 2006．11-27 基金项 目：国家 自然科学基金 (NO E-mail：$xuzq~lsec．cc．ac．cn 维普资讯 258 数 学 进 展 积的关联．但由于多面体体积的复杂性，并没有采用这种观点对样条函数进行研究．而是从广义 函数角度出发，建立了样条函数的丰富理论．那么，反过来，就可以利用这些丰富的结果对多面 体体积问题进行研究． 显然，上述的解释只是直观的．下面将严格地介绍二者的关联，首先简单介绍一下多元样条 函数． 1多元样条函数简介