[論文レビュー] 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メッシュ上での一次スプライン空間（滑らかさ順序0）の次元は、交差頂点と境界頂点の和に一致することが確認された。
• 混合偏導関数による線形空間埋め込みの手法により、高次元スプライン空間の次元問題が低次元問題に成功裏に還元された。
• 予想される関係 $ \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 $ についても経験的根拠がある。