[论文解读] On the dimension of spline spaces on planar T-subdivisions

Bernard Mourrain|arXiv (Cornell University)|Nov 8, 2010

Advanced Numerical Analysis Techniques参考文献 16被引用 9

一句话总结

本文提出了一种新的同调方法，用于计算平面T-细分上双变量样条空间 S^{r,r'}_{m,m'}(T) 的维数，将其与内部线段节点关联起来。该方法为高次或规则细分建立了精确的维数公式，其组合边界紧致，在这些条件下完全精确。

ABSTRACT

Weanalyze thespace S r,r′ m,m ′(T)of bivariate functions thatare piecewise polynomial of bidegree (m,m ′ ) and class C r,r′ over the planar T-subdivision T. We give a new formula for the dimension of this space by exploiting homological techniques. We relate this dimension to the number of nodes on the maximal interior segments of the subdivision, give combinatorial lower and upper bounds on the dimension of these spline spaces for general hierarchical T-subdivisions. We show that these bounds are exact, for high enough degrees or if the subdivision is enough regular. Finally, we analyse cases of small degrees and regularities.

研究动机与目标

• 推导平面T-细分上双次数为 (m, m') 且光滑度为 r, r' 的双变量样条空间维数的精确公式。
• 理解维数如何依赖于T-细分的拓扑结构，特别是最大内部线段上的节点数量。
• 为一般层次化的T-细分建立维数的紧致组合下界和上界。
• 确定这些边界在何种条件下成为精确值，特别是对于高次多项式或规则细分。
• 分析低次或低光滑度情形，其中一般公式可能不直接适用。

提出的方法

• 应用同调技术，特别是通过Koszul复形，分析层论样条空间的上同调。
• 将样条空间的维数与由T-细分导出的复形的欧拉示性数关联起来。
• 利用组合数据——特别是最大内部线段上的节点数——来表达维数公式。
• 利用T-网格及其层次性质的结构，推导维数的一般下界和上界。
• 应用代数拓扑中的精确性条件，证明当多项式次数 (m, m') 足够高或细分规则时，边界是紧致的。
• 对小次数和低光滑度情形进行显式分析，以验证一般框架的有效性。

实验结果

研究问题

• RQ1 样条空间 S^{r,r'}_{m,m'}(T) 的维数如何依赖于T-细分的结构，特别是其内部线段？
• RQ2 同调方法能否提供这些样条空间维数的新精确公式？
• RQ3 在何种条件下，维数的组合边界会成为精确值？
• RQ4 当标准假设不成立的低次或低光滑度情形下，结果表现如何？
• RQ5 最大内部线段及其节点数在决定样条空间维数中起什么作用？

主要发现

• 推导出一种新的同调公式，将 S^{r,r'}_{m,m'}(T) 的维数用T-细分的拓扑和组合不变量表示。
• 维数与最大内部线段上的节点数直接相关，为公式提供了几何解释。
• 为一般层次化的T-细分建立了维数的组合下界和上界。
• 证明了当多项式次数 (m, m') 足够高或细分规则时，这些边界是精确的。
• 对于小次数和低光滑度情形，本文提供了显式刻画，其结果偏离一般边界。
• 该框架统一并扩展了先前结果，通过代数拓扑表明维数公式在广泛条件下成立。