[論文レビュー] Discrete Linear Interpolatory Operators

J. Szabados|ArXiv.org|Feb 21, 2006

Differential Equations and Boundary Problems参考文献 20被引用数 5

ひとこと要約

この論文は、指定されたノードで補間するが、古典的補間の限界を克服する離散的線形補間作用素のサーベイを提供する。ジャクソン型近似順序を達成するが、等間隔またはチェビシェフノードに基づく線形多項式および有理関数作用素の構成（フライド、キス、ツァバドスによる）が提示され、作用素ノルムが有界で、補間点に対する次数が最小限となる最適収束速度が達成される。これには、テリャコフスキー＝ゴペンガウツおよびティマンの推定が含まれる。

ABSTRACT

This is a survey on discrete linear operators which, besides approximating in Jackson or near-best order, possess some interpolatory property at some nodes. Such operators can be useful in numerical analysis.

研究の動機と目的

• 古典的ラグランジュ補間およびエルミート＝フェージェル補間の非最適収束を回避する、精度と補間性を両立する線形近似作用素の構築という課題に取り組む。
• 1963年にポール・バッターが提起した疑問、すなわち、高次補間作用素がジャクソン型収束を達成できるか否かを解決する。
• 数値計算において実用的である等間隔ノードで補間するが、作用素ノルムが有界である離散的線形多項式および有理関数作用素の開発。
• 補間点数に対する次数比を最小限に抑えることで、最適近似速度（例：$O(\omega(f, \sqrt{1-x^2}/n))$）を確立する。
• 重み付き近似および任意のノード系への一般化を図り、調整可能なパラメータ$ p $を有するシェパード型有理関数作用素を含む。

提案手法

• Chebyshevノードまたは一般のジャコビノードを用いて、$ \geq n $ 個のノードで補間するが、次数が $ \leq n(1+\varepsilon) $ である離散的線形多項式作用素（DLPOs）を構築する。
• 基本補間関数と多項式射影を用いて、指定されたノードで補間を保証するとともに、作用素ノルムが有界であることを確保する。
• 点毎の誤差をモジュラス連続性 $ \omega(f, \cdot) $ を用いて評価するため、テリャコフスキー＝ゴペンガウツおよびティマン型推定を用いる。
• 核関数 $ |x - k/n|^{-p} $ を用いたシェパード作用素フレームワークを適用し、$ p = 4 $ の場合の収束速度を証明し、$ p \leq 2 $ の場合の飽和性質を分析する。
• ノード分布に関する条件（例：$ \limsup_n N_n(I_n)/(n|I_n|) \leq 1/\pi $）を用いて、重み付き近似および任意のノード系への一般化を図る。
• 積分条件 $ T_{\varepsilon,p}f < \infty $ を用いて飽和クラスを分析し、$ p=2 $ の場合、飽和クラスが $ \cap_{\alpha<1} \text{Lip}\,\alpha $ に含まれることを示す。

実験結果

リサーチクエスチョン

• RQ1 古典的補間における $ O(\log n) $ 要因を克服し、制御可能な数のノードで補間するが、ジャクソン型収束を達成できる離散的線形作用素は存在するか？
• RQ2 最適近似順序を達成するにあたり、補間点数に対する多項式作用素の最小次数は何か？
• RQ3 数値データで一般的に用いられる等間隔ノードに基づく収束する補間作用素を、指数的ノルム増大を回避して構築することは可能か？
• RQ4 異なる $ p $ に対して、シェパード型有理関数作用素の飽和性質は何か？ また、収束速度にどのように影響するか？
• RQ5 ノード分布（例：チェビシェフ対等間隔）および重み関数は、離散的線形補間作用素の存在性と収束性にどのように影響するか？

主な発見

• フライドとヴェルテシは、次数 $ \leq 4n-2 $ で $ n $ 個のチェビシェフノードで補間するDLPOsを構築し、ティマン型推定 $ |f(x) - J_n(f,x)| \leq c[\omega(f, \sqrt{1-x^2}/n) + \omega(f, 1/n)] $ を達成した。
• キスとツァバドスは、次数 $ \leq n(1+\varepsilon) $ で $ \geq n $ 個の点で補間するDLPOsの存在を証明し、誤差境界 $ |f(x) - p_n(x)| \leq \frac{13}{\varepsilon^2} \omega(f, \pi\sqrt{1-x^2}/(2n)) $ を得て、テリャコフスキー＝ゴペンガウツ推定を達成した。
• パラメータ $ p=4 $ のシェパード作用素では、収束 $ \max_{|x|\leq1} |f(x) - R_n(f,x)| \leq c\,\omega(f,1/n) $ が達成され、ジャクソン順序と一致する。これは等間隔ノードでも成立する。
• $ p=2 $ の場合、$ R_n $ の飽和クラスは $ \cap_{\alpha<1} \text{Lip}\,\alpha $ に含まれる。また、$ o(1/n) $ の収束は定数関数でのみ成立する。
• $ 1 < p \leq 2 $ の場合、飽和順序は $ n^{1-p} $ であり、飽和クラスは $ \{ f : f \in \text{Lip}(p-1), \sup_{\varepsilon>0} T_{\varepsilon,p}f < \infty \} $ である。
• $ 0 < p < 1 $ の場合、収束 $ \to 0 $ は $ f $ が定数関数であることを意味し、$ p < 1 $ では非自明な飽和がないことが示された。