[論文レビュー] On Wu and Schaback's Error Bound

Lin-Tian Luh|ArXiv.org|Feb 6, 2006

Iterative Methods for Nonlinear Equations参考文献 7被引用数 12

ひとこと要約

この論文は、広く用いられている径数基底関数（RBF）誤差境界である Wu と Schaback のものについて、関数空間の仮定と誤差推定フレームワークにおける根本的な欠陥を厳密に検討している。Wu と Schaback が提唱する近似関数の空間 $ F_{\phi} $ が、Madych と Nelson の理論で用いられる正しい空間 $ C_{\psi}(\mathbb{R}^n) $ に等しくないことが示され、一般化微分係数と関数の滑らかさに関する誤った仮定に依拠しているため、理論的基盤が揺るがされている。これは、広く用いられているにもかかわらず、その理論的妥当性に疑問を呈するものである。

ABSTRACT

In this paper we point out that the commonly used error bound in the theory of radial basis functions contains an important error. It doesn't apply for derivatives. Thus one should be very careful when dealing with differential equations.

研究の動機と目的

• Wu と Schaback の径数基底関数誤差境界に内在する理論的誤りを特定・是正すること。この誤差境界は、多変数近似分野で広く用いられている。
• Wu と Schaback が仮定する関数空間 $ F_{\phi} $ の真の性質を明らかにし、それが Madych と Nelson の理論で用いられる $ C_{\psi}(\mathbb{R}^n) $ 空間と等価でないことを示すこと。
• Wu と Schaback の誤差境界が一般化微分係数の振る舞いに関する誤った仮定に依拠していることを示し、これが古典的微分係数と一致しない可能性があること。
• Wu と Schaback の手法と Madych と Nelson のより洗練されたフレームワークを対比し、後者のほうが物理的解釈と数学的整合性に優れていることを強調すること。
• RBF 圏内で長年蓄積された誤解を解消すること。具体的には、一般化フーリエ変換の使用方法と、近似空間の正しいヒルベルト空間構造についての理解を明確にすること。

提案手法

• Wu と Schaback の誤差境界の中心的要素である Kriging 関数 $ \kappa_q^{(\mu)}(x) $ を分析し、その導出が関数の滑らかさに関する誤った仮定に依拠していることを示す。
• 文献[4]の定理4.1および4.2を用いて、空間 $ F_{\phi} $ が $ C_{\psi}(\mathbb{R}^n) $ に等しくないことを示し、特に $ m > 0 $ の場合、$ F_{\phi} $ は $ C_{\psi}(\mathbb{R}^n) $ の真の部分集合にすぎず、$ m = 0 $ の場合にのみその関係が成立することを示す。
• 誤差境界導出における一般化フーリエ変換の役割を検討し、Madych と Nelson がフランス（シュワーツ）的解釈を用いているのに対し、文献的記述ではロシア（ゲルファンド＝シリョフ）的解釈と誤って記載されていることを明確にしている。
• Wu と Schaback の誤差境界と Madych と Nelson の誤差境界の理論的基盤を比較し、後者のほうがソボレフ空間や微分方程式の解とより強く結びついていることを強調する。
• Wu と Schaback の境界における一般化微分係数 $ f^{(\mu)}(x) $ が古典的関数でない可能性があり、追加の滑らかさの仮定がない限り、誤差境界は理論的に疑わしいと示す。
• 測度 $ \mu $ とノルム $ (f,f)_{\psi} $ を用いて、近似空間の正しいヒルベルト空間構造を再構築し、$ F_{\phi} $ が $ C_{\psi}(\mathbb{R}^n) $ と同じ方法では完備化されないことを示す。

実験結果

リサーチクエスチョン

• RQ1 Wu と Schaback の誤差境界に理論的欠陥があるにもかかわらず、なぜ広く使われ続けているのか。
• RQ2 Wu と Schaback の誤差境界の背後にある真の関数空間 $ F_{\phi} $ は何か。それは $ C_{\psi}(\mathbb{R}^n) $ とどのように異なるのか。
• RQ3 Wu と Schaback の境界における一般化微分係数 $ f^{(\mu)}(x) $ は、古典的で滑らかな関数に対応するのか。
• RQ4 なぜ Madych と Nelson の誤差境界が理論的により優れているのか。また、彼らのフレームワークにおける一般化フーリエ変換の正しい解釈は何か。
• RQ5 一般化フーリエ変換の概念（ロシア的 vs フランス的）の誤った属性付けが、Madych と Nelson の手法の誤解を生んだ経緯は何か。

主な発見

• Wu と Schaback の誤差境界には、近似関数空間 $ F_{\phi} $ に関する重大な理論的誤りが含まれており、これは Madych と Nelson の理論で用いられる $ C_{\psi}(\mathbb{R}^n) $ 空間とは等価でない。
• 空間 $ F_{\phi} $ は $ m = 0 $ の場合にのみ $ C_{\psi}(\mathbb{R}^n) $ の真の部分集合であり、$ m > 0 $ の場合には両空間は比較不能であり、Wu と Schaback の等価性主張は無効である。
• Wu と Schaback の境界における一般化微分係数 $ f^{(\mu)}(x) $ は、古典的関数でない可能性があり、追加の滑らかさの仮定がない限り、誤差境界は理論的根拠を失う。
• Madych と Nelson の誤差境界は、ソボレフ空間と自然に結びついており、自然な多変数スプライン拡張の稠密部分集合を含むため、より強固である。物理的・数学的解釈の両面で優位性を示す。
• Madych と Nelson の研究で用いられている一般化フーリエ変換は、ロシア的（ゲルファンド＝シリョフ）ではなくフランス的（シュワーツ）の概念である。この誤解が、よりアクセスしやすいが理論的に誤りを含む Wu と Schaback の手法の好まれ方に寄与した。
• 本論文は、RBF 圈で長年蓄積された混乱を解消した。具体的には、Wu と Schaback の空間 $ F_{\phi} $ が彼らが主張する関数空間の完備化ではないこと、および彼らの誤差境界が Madych と Nelson のものと同一条件で有効ではないことを明確にした。