[論文レビュー] Shape Preserving Rational Cubic Spline Fractal Interpolation

A. K. B. Chand, P. Viswanathan|arXiv (Cornell University)|Mar 9, 2015

Mathematical Dynamics and Fractals参考文献 55被引用数 3

ひとこと要約

本稿では、形状保持性を有する有理スプラインと反復関数系（IFS）を組み合わせた、形状保存性を有する有理立方スプライン分岐補間関数（FIF）の新規クラスを提案する。不規則または自己相似性を示すデータにおいて、単調性および凸性の保存を可能にする。張力パラメータとスケーリング係数を組み込むことで、C¹連続性を確保し、解けるパラメータ制約を通じて形状保持性を保証し、C⁴関数に対してO(h⁴)収束を達成する。古典的有理補間を一般化し、複雑なデータに対してより高い柔軟性を提供する。

ABSTRACT

Fractal interpolation functions (FIFs) developed through iterated function systems (IFSs) prove more versatile than classical interpolants. However, the applications of FIFs in the domain of `shape preserving interpolation' are not fully addressed so far. Among various techniques available in the classical numerical analysis, rational interpolation schemes are well suited for the shape preservation problems and shape modification analysis. In this paper, the capability of FIFs to generalize smooth classical interpolants, and the effectiveness of rational function models in shape preservation are intertwingly exploited to provide a new solution to the shape preserving interpolation problem in fractal perspective. As a common platform for these two techniques to work together, we introduce rational cubic spline FIFs involving tension parameters for the first time in literature. Suitable conditions on parameters of the associated IFS are developed so that the rational fractal interpolant inherits fundamental shape properties such as monotonicity, convexity, and positivity present in the given data. With some suitable hypotheses on the original function, the convergence analysis of the $\mathcal{C}^1$-rational cubic spline FIF is carried out. Due to the presence of the scaling factors in the rational cubic spline fractal interpolant, our approach generalizes the classical results on the shape preserving rational interpolation by Delbourgo and Gregory [SIAM J. Sci. Stat. Comput., 6 (1985), pp. 967-976]. The effectiveness of the shape preserving interpolation schemes are illustrated with suitably chosen numerical examples and graphs, which support the practical utility of our methods.

研究の動機と目的

• 不規則または自己相似性を示すデータにおいて、単調性や凸性といった形状特性を保存する分岐補間法のギャップを埋めること。
• 形状パラメータとスケーリング係数を統合したC¹連続な有理立方スプラインFIFを開発し、制御性と計算効率を向上させること。
• デルボルゴとグレゴリーの古典的有理補間結果を、分岐パラメータの導入により一般化し、収束性と形状忠実性を維持すること。
• 特に物理的・工学的応用において、微分の不規則性が変動するデータを効果的に補間する、堅牢で柔軟なフレームワークを提供すること。

提案手法

• アフィン変換を含む反復関数系（IFS）を用いて、スケーリング係数と有理形状パラメータを有する有理立方スプラインFIFを構築する。
• 関数方程式（3.3）を用いて再帰的に分岐補間関数を生成し、区間間でのC¹連続性を保証する。
• 張力パラメータ（r₁, r₂）とスケーリング係数（α₁, α₂）を組み込み、分岐次元および補間関数の形状を制御する。
• 必要に応じて部分区間で適応的ノード挿入を実施し、複雑な挙動を示す領域での単調性を保持する、区分的構築法を採用する。
• 補間関数がデータの単調性および凸性を引き継ぐために必要なスケーリング係数および形状パラメータの十分条件を導出する。
• 適切なパラメータ選択のもとで、C⁴(I)に属する関数に対してO(h⁴)の誤差バインディングを示す収束解析を実施する。

実験結果

リサーチクエスチョン

• RQ1 不規則または自己相似性を示すデータの単調性および凸性を保存する有理立方スプラインFIFを構築可能か？
• RQ2 スケーリング係数および形状パラメータは、分岐補間関数の形状保持性および収束挙動にどのように影響を与えるか？
• RQ3 形状制御性および近似精度の観点から、提案されたFIFは、古典的有理補間スキームをどの程度一般化するか？
• RQ4 範囲制限付きで形状保持性を有する分岐補間関数が存在するためのパラメータ制約は何か？
• RQ5 同様の滑らかさ仮定のもとで、有理立方スプラインFIFの収束速度は古典的手法と比べてどうか？

主な発見

• 提案された有理立方スプラインFIFは、パラメータ制約から導かれる有限個の解ける不等式を満たすことにより、C¹連続性および形状保持性（単調性および凸性）を保証する。
• スケーリング係数（明示的な上限以下）および形状パラメータ（明示的な下限以上）に対する十分条件が、形状保持補間関数の存在を保証する。
• C⁴(I)に属する関数に対して、O(h⁴)の収束率を達成し、古典的有理スプラインスキームの最良性能と一致する。
• スケーリング係数の導入により、デルボルゴとグレゴリーの古典的有理補間結果を一般化し、彼らのフレームワークを分岐的および自己相似的データへと拡張可能となる。
• 微分の不規則性が変動するデータに対して、提案されたFIFは、形状保持性と滑らかさの両面で古典的手法を上回る性能を示す。
• 数値例により、複雑な実世界データセットに対して、共単調および混合形状保持補間関数を効果的に構築できることを示している。