[论文解读] Dimensions of Biquadratic Spline Spaces over T-meshes

Jiansong Deng, Falai Chen+1 more|ArXiv.org|Apr 16, 2008

Advanced Numerical Analysis Techniques参考文献 3被引用 5

一句话总结

本文通过混合偏导数算子的线性空间嵌入方法，对T-网格上的双二次样条空间进行了维数分析。针对层次化T-网格，建立了双二次样条空间的维数公式；针对一般T-网格，给出了维数的下界估计，并通过交叉顶点关系（CVR）图提供了拓扑上的洞察，将维数与图的面数联系起来。

ABSTRACT

This paper discusses the dimensions of the spline spaces over T-meshes with lower degree. Two new concepts are proposed: extension of T-meshes and spline spaces with homogeneous boundary conditions. In the dimension analysis, the key strategy is linear space embedding with the operator of mixed partial derivative. The dimension of the original space equals the difference between the dimension of the image space and the rank of the constraints which ensuring any element in the image space has a preimage in the original space. Then the dimension formula and basis function construction of bilinear spline spaces of smoothness order zero over T-meshes are discussed in detail, and a dimension lower bound of biquadratic spline spaces over general T-meshes is provided. Furthermore, using level structure of hierarchical T-meshes, a dimension formula of biquadratic spline space over hierarchical T-meshes are proved. A topological explantation of the dimension formula is shown as well.

研究动机与目标

• 推导层次化T-网格上双二次样条空间的维数公式。
• 为一般T-网格上双二次样条空间的维数建立下界。
• 引入扩展T-网格和具有齐次边界条件的样条空间概念，以促进维数分析。
• 通过CVR图对维数公式提供拓扑解释。
• 为未来构造具有紧支集和单位分解性质的基函数奠定基础。

提出的方法

• 通过混合偏导数算子的线性空间嵌入，将双二次样条空间映射到低次空间。
• 利用像空间维数与约束秩之差来计算原空间的维数。
• 定义扩展T-网格和具有齐次边界条件的样条空间，以促进维数分析。
• 在层次化T-网格中应用层级结构分解，逐步推导维数公式。
• 引入交叉-顶点-关系（CVR）图，以拓扑方式解释维数公式。
• 证明层次化T-网格上双二次样条空间的维数等于其CVR图中面的数量。

实验结果

研究问题

• RQ1 层次化T-网格上双二次样条空间的维数是多少？如何高效计算？
• RQ2 一般T-网格上双二次样条空间的维数是否存在紧致下界？
• RQ3 T-网格的拓扑特征（如交叉顶点和l-边）如何影响其关联样条空间的维数？
• RQ4 双二次样条的维数公式能否用T-网格的某种拓扑不变量表示？
• RQ5 高次样条空间的维数与底层网格CVR图之间是否存在结构性关系？

主要发现

• 层次化T-网格上双二次样条空间的维数为 $ \dim\overline{\mathbf{S}}(2,2,1,1,\mathscr{T}) = V^{+} - E + \delta $，其中 $ V^{+} $ 为交叉顶点数，$ E $ 为内部l-边数，$ \delta $ 为孤立细分单元数。
• 该维数公式在拓扑上等价于CVR图中的面数：$ \dim\overline{\mathbf{S}}(2,2,1,1,\mathscr{T}) = F_{\mathscr{G}} $，其中 $ F_{\mathscr{G}} $ 为CVR图 $ \mathscr{G} $ 中的面数。
• 通过混合偏导数嵌入技术，为一般T-网格上双二次样条空间的维数建立了下界。
• 确认了在T-网格上，零阶光滑性双线性样条空间的维数等于交叉顶点数与边界顶点数之和。
• 通过混合偏导数的线性空间嵌入方法，成功地将高次样条空间的维数问题转化为低次空间的问题。
• 支持如下猜想：$ \dim\overline{\mathbf{S}}(m,n,m-1,n-1,\mathscr{T}) = \dim\overline{\mathbf{S}}(m-2,n-2,m-3,n-3,\mathscr{G}) $，并已验证 $ m=n=2 $ 的情形，且对 $ m=n=3 $ 有经验支持。