混合体积、对数凹序列和B样条函数.pdfVIP

许艳：混合体积、对数凹序列和 B样条函数 本文的主要 目的是通过样条函数方法研究与之相关的离散几何学和组合学问题，离散几何方面主 要考虑超立方体切面问题和混合体的样条表示；组合数学方面主要考虑多种组合多项式和样条函数的 关联以及组合序列对数凹性质的样条方法研究．本文借助丰富的样条函数理论，不但验证了很多离散 几何学和组合数学中已有的结果，而且得到一系列离散数学对象的新性质，从而将离散数学问题与产 生于逼近论的样条函数联系在一起．本文结构如下：第 2节回顾B样条函数的基本理论；第3节给出B 样条在超立方体切面问题中的应用；第 4节讨论 B样条与经典 Eulerian数的关联：第 5节研究 B样 条与细化 Eulerian数、下降多项式和混合体积的内在联系；第 6节探索组合序列对数凹性质的B样条 方法研究． 2 B 样条函数理论 B样条方法又称为投影子法，起源于Curry和 Schoenberg[1O]关于一元样条的工作，是一种定义B 样条的几何直观方法．这种方法本质是研究高维空间的多面体在较低维空间投影的测度函数． 以tt，0≤i≤礼为结点的一元B样条定义为 (￡…)-9()=／△，dm(V9∈()， 2(．1) 其中Co(~t)为定义在 R上的具有有限支集的连续函数全体．Curry和 Schoenberg[10】就 (2．1)给出了 一 元B样条的一种几何解释．设 几单纯形 盯顶点V 的第一个分量是 tt，0≤i≤n，则 … (2．2) 其中 口()表示 的第一个分量，v01t为 中的 Lebesgue测度．如无特别说明，测度均指 Lebesgue 测度． deBoor和DeVore[11]首先将 (2．1)和 (2．2)推广到了高维情形．令 为8×n实矩阵且 rank(V) =s．V也可看作元素为 8维列向量 V… ．，V 组成的可重集合．假定 的凸包不包含原点，则与 相关的Box样条函数B(xI )可由如下规则所定义 2【，11]： 定义 2．1 ) 如 ： ) ∈ ( ， (2．3) 其中 )为 上连续且紧支集函数组成的空间． 根据上述Box样条的定义，得到了Box样条的如下几何解释 [2】． = ， (2．4) 其中V一X：{fVy=z)，且vol(一X)为多面体 一1在 瓞n中的体积． 注 2．1 若将定义 (2．2)和 (2．4)中的 [0，1)n替换为标准单纯形 △n，则由此定义的B样条就是 Micchelli[12]引入的单纯形样条．若将 0【，1)n替换为 ，则得到由Dahmen[13]定义的锥样条． 742 中国科学：数学 第 44卷 第 7期 由上述定义可看出，B(xIV)的支集为 ：： n f j=l 若取 =exp(一iy)·，可求得 B(·IV)的Fourier变换为 B(I exp(一i vj) i(T ， e∈ (2．5) (2．5)表明，Box样条的卷积仍然是Box样条，即 = B(xJ )B(xIV)=B(I u ) (2．6) 1n一 对B(xI )作适当的平移，即得到中心Box样条 M(xIV)：=B(x+CVl)c：