[論文レビュー] Analysis of a class of non linear subdivision schemes and associated multi-resolution transforms

Sergio Amat, K. Dadourian+1 more|ArXiv.org|Oct 7, 2008

Advanced Numerical Analysis Techniques参考文献 10被引用数 7

ひとこと要約

本稿では、非線形のスプライン分割法を、収束する線形分割法の摂動としてモデル化することにより、その収束および安定性の条件を確立している。非線形摂動が収縮性条件を満たす場合、得られる分割法は収束し、関連するマルチスケール変換も安定を保つことが証明され、WENO、Power-P、および球座標に基づく非線形分割法などの既存結果が一般化される。

ABSTRACT

This paper is devoted to the convergence and stability analysis of a class of nonlinear subdivision schemes and associated multi-resolution transforms. These schemes are defined as a perturbation of a linear subdivision scheme. Assuming a contractivity property, stability and convergence are derived. These results are then applied to various schemes such as uncentered interpolatory linear scheme, WENO scheme [13], Power-P scheme [16] and a non linear scheme using local spherical coordinates [18].

研究の動機と目的

• 広範な非線形分割法および関連するマルチスケール変換の一般化された収束および安定性条件を確立すること。
• 線形分割法とは異なり、非線形分割法は収束から安定性を自動的に継承しないという課題に対処すること。
• PPH や WENO などの特定のスケームに関する先行研究を統一的枠組みに基づき一般化すること。この枠組みは、線形分割法の摂動に立脚する。
• 収束および安定性を保証する十分条件を提示すること、特に非線形摂動の収縮性を重点的に扱う。
• 補間的、WENO、Power-P、および球座標に基づく非線形スケームを含む多様なスケームに対して、この枠組みを検証すること。

提案手法

• 非線形分割法を、線形かつ収束する分割法 S の摂動としてモデル化し、非線形部分 F を入力データの差分を用いて定義する。
• 非線形作用素 F を一次差分 df および dx の関数として定義することで、局所的なデータ変動を分析可能にする。
• 予測作用素が分割法に対応するハルテンのマルチスケール枠組みの一般化版を適用する。
• 非線形摂動 F が差分の ℓ∞ 範数に関して収縮性を満たすことを確認することで収束を確立する。
• 初期データおよび詳細係数の誤差を用いて、粗いスケールにおける誤差を有界化することで、マルチスケール変換の安定性を証明する。
• 幾何学的および三角関数的パrameterization（例：球座標）を用いて、方向性や曲率に敏感な再構成を含むスケームを分析する。

実験結果

リサーチクエスチョン

• RQ1 線形収束分割法の摂動として定義される非線形分割法が、連続な極限関数に収束する条件は何か？
• RQ2 非線形性により標準的な線形安定性議論が破綻するにもかかわらず、関連するマルチスケール変換の安定性をどのように保証できるか？
• RQ3 WENO や Power-P、球座標系のスケームなどの特定の非線形スケームの収束および安定性を、同一の理論的枠組みで一括して解析可能か？
• RQ4 非線形摂動 F の収縮性が収束および安定性を保証するために果たす役割は何か？
• RQ5 非線形スケームが局所的データ差分（df, dx）に依存する仕組みをどのように形式化すれば、一般化された収束証明が可能になるか？

主な発見

• 非線形分割法 S_NL は、非線形摂動 F が差分 df および dx の ℓ∞ 範数に関して収縮性条件を満たす場合、連続な極限関数に収束する。
• マルチスケール変換の安定性は、スケール j における誤差が初期データ誤差および累積的な詳細係数誤差に比例する定数倍で有界であることを示すことによって確立される。
• 球座標に基づく非線形分割法 S_spherical は、摂動関数 h の導関数 h’(x) がすべての x ∈ [−π, π] に対して |1 − √2/π| < h’(x) < 1 + √2/π を満たす限り、収束性が保証される。
• 三角関数恒等式および差分推定を用いて、再構成点の変動を有界化することで、球座標スケームにおける収縮性条件が検証された。
• この枠組みにより、WENO、Power-P、および非中心補間スケームの収束および安定性証明が、同一の摂動に基づく解析に還元され、一般化された。
• この証明技法は、2次元の球座標スケームを例に示すように、多次元設定へも拡張可能であり、成分ごとの収縮性を用いて収束性が確立される。