[論文レビュー] Computation and modeling in piecewise Chebyshevian spline spaces

Carolina Vittoria Beccari, Giulio Casciola+1 more|arXiv (Cornell University)|Nov 7, 2016

Advanced Numerical Analysis Techniques参考文献 12被引用数 6

ひとこと要約

本稿では、設計に適した特性を保ちつつ、凸包包含や変動減少といった望ましい幾何的性質を有する、区分的チェビシェフスプライン空間におけるBスプライン基底を効率的に計算するための遷移関数を導入する。この手法により、一般化されたノット挿入および次数上昇アルゴリズムが可能となり、古典的な多項式スプライン技法が非一様および重複ノットに対しても安定的かつ正確に拡張される。

ABSTRACT

A piecewise Chebyshevian spline space is good for design when it possesses a B-spline basis and this property is preserved under arbitrary knot insertion. The interest in piecewise Chebyshevian spline spaces that are good for design is justified by the fact that, similarly as for polynomial splines, the related parametric curves exhibit the desired properties of convex hull inclusion, variation diminution and intuitive relation between the curve shape and the location of the control points. For all good-for-design spaces, in this paper we construct a set of functions, called transition functions, which allow for efficient computation of the B-spline basis, even in the case of nonuniform and multiple knots. Moreover, we show how the spline coefficients of the representations associated with a refined knot partition and with a raised order can conveniently be expressed by means of transition functions. This result allows us to provide effective procedures that generalize the classical knot insertion and degree raising algorithms for polynomial splines. To illustrate the benefits of the proposed computational approaches, we provide several examples dealing with different types of piecewise Chebyshevian spline spaces that are good for design.

研究の動機と目的

• 設計に適した区分的チェビシェフスプライン空間におけるBスプライン基底計算の計算効率を高めること。
• 多項式スプラインに由来する望ましい幾何的性質（例：凸包包含、変動減少）を、一般化されたスプライン枠組み内でも保つこと。
• 古典的なノット挿入および次数上昇アルゴリズムを、非多項式スプライン空間に一般化し、非一様および重複ノットに対応させること。
• 任意のノット配置および次数上昇を扱える統一的な計算フレームワークを、遷移関数を用いて提供すること。

提案手法

• 本稿では、異なるノット分割および次数間におけるBスプライン基底関数の関係を符号化する一連の遷移関数を構築する。
• これらの遷移関数を用いることで、再帰的関係を活用し、非一様および重複ノットに対してもBスプライン基底関数を効率的に計算できる。
• ノット分割の細分化および次数上昇後のスプライン係数は、遷移関数を含む行列演算によって表現される。
• アプローチにより、古典的なノット挿入および次数上昇が、遷移関数フレームワークの特殊ケースとして一般化される。
• 多様な区分的チェビシェフスプライン空間にわたる多数の例を通じて、フレームワークの妥当性が検証され、その頑健性と効率性が示された。

実験結果

リサーチクエスチョン

• RQ1 非一様および重複ノットを有する区分的チェビシェフスプライン空間において、Bスプライン基底関数をどのように効率的に計算できるか。
• RQ2 古典的なノット挿入および次数上昇アルゴリズムは、非多項式スプライン空間へどのように一般化できるか。
• RQ3 遷移関数は、ノット細分化および次数上昇におけるスプライン係数の安定的かつ正確な計算をどのように可能にするか。
• RQ4 区分的チェビシェフスプライン空間において、多項式スプラインの幾何的性質（例：凸包包含）が保たれるための条件は何か。

主な発見

• 遷移関数は、非一様および重複ノットを含む区分的チェビシェフスプライン空間におけるBスプライン基底計算に対して、安定的かつ効率的な計算フレームワークを提供する。
• 本手法により、古典的なノット挿入および次数上昇アルゴリズムが一般化され、多項式スプラインにとどまらず、より広範な応用が可能になる。
• 細分化されたノット分割および上昇された次数におけるスプライン係数は、遷移関数を通じて表現され、体系的かつ正確な係数更新が可能になる。
• フレームワークは、凸包包含や変動減少といった重要な幾何的性質を保ち、パrametric曲線の形状に対する直感的な制御を可能にする。