[論文レビュー] Hermite subdivision schemes, exponential polynomial generation, and annihilators

Costanza Conti, Mariantonia Cotronei+1 more|arXiv (Cornell University)|Dec 6, 2013

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

ひとこと要約

本稿では、特定の関数空間を零とする線形作用素（アンニヒレーター作用素）を用いて、指数関数的多項式を生成するヘルミート・サブディビジョンスキームを分析する新しいフレームワークを導入する。著者らは、サブディビジョン記号の因数分解を通じて、このようなスキームのスペクトル条件を確立し、指数関数的多項式空間の保存が、アンニヒレーターを含む因数分解の存在と同値であることを証明することで、古典的な多項式再現に関する結果を指数関数的多項式へと統一的かつ拡張的に一般化する。

ABSTRACT

We consider the question when the so--called spectral condition} for Hermite subdivision schemes extends to spaces generated by polynomials and exponential functions. The main tool are convolution operators that annihilate the space in question which apparently is a general concept in the study of various types of subdivision operators. Based on these annihilators, we characterize the spectral condition in terms of factorization of the subdivision operator.

研究の動機と目的

• サブディビジョンスキームにおける多項式再現の古典的スペクトル条件を、指数関数的多項式空間へと拡張すること。
• ヘルミート・サブディビジョンスキームが多項式と指数関数の張る関数空間をどのように保存するかを調査すること。
• 畳み込み作用素（アンニヒレーター）を用いた一般枠組みを構築し、サブディビジョン記号の因数分解に基づいてスペクトル条件を特徴付けること。
• 指数関数的多項式を再現する非定常ヘルミート・サブディビジョンスキームを体系的に構築するための方法を提供すること。

提案手法

• 著者らは、指数関数的多項式空間をゼロに写像するキャンセレーション（アンニヒレーター）作用素を定義し、作用素の記号をローレン卜多項式で表現する。
• スキームが与えられた指数関数的多項式空間を保存するための必要十分条件を導出し、そのためにスキームがアンニヒレーター作用素と可換であることを要請する。
• スペクトル条件は、サブディビジョン記号の因数分解として再定式化される： スキームの記号は、アンニヒレーター記号と安定な因子の積に因数分解可能である。
• この手法は定常および非定常スキームの両方に適用可能であり、3×3および4×4行列値マスクの明示的構成が提供される。
• 著者らはローレン卜多項式の微積分および記号代数を用いて、双曲線関数およびλnなどのパラメータを用いたサブディビジョン記号の明示的表現を導出する。
• 12反復の数値実験により、構築されたスキームの収束性と再現性が検証される。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、ヘルミート・サブディビジョンスキームが与えられた指数関数的多項式空間を再現するか？
• RQ2 アンニヒレーター作用素を用いた代数的特徴付けによって、指数関数的多項式再現のスペクトル条件はどのように記述できるか？
• RQ3 サブディビジョン記号の因数分解が、指数関数的多項式空間の再現を保証するために果たす役割は何か？
• RQ4 アンニヒレーターを用いて、指数関数的多項式を保存する非定常ヘルミートスキームを体系的に構築できるか？
• RQ5 非定常スキームの極限記号は、古典的な多項式再現ヘルミートスキームとどのように関係するか？

主な発見

• 指数関数的多項式再現のスペクトル条件は、アンニヒレーター記号と安定因子を含むサブディビジョン記号の因数分解と同値である。
• 次元d = p + 2r + 1の指数関数的多項式空間に対して、アンニヒレーター記号は(z⁻¹ − 1)ᵖ⁺¹ ∏ⱼ (z⁻¹ − e^{λⱼ}) (z⁻¹ − e^{-λⱼ}) で与えられる。
• サブディビジョンスキームが空間V_{d,Λ}を保存するための必要十分条件は、記号a*(z)がb*(z)とアンニヒレーター記号の積に因数分解できることである。
• 次数2および3まで指数関数的多項式を再現する明示的な非定常3×3および4×4ヘルミートスキームが構築された。
• 非定常スキームの極限記号は、古典的な多項式再現ヘルミートスキームに収束し、既知の結果と整合性を確認した。
• 12反復後の数値結果により、収束性と収縮性が確認され、理論的な因数分解条件が裏付けられた。