[論文レビュー] Extending functions from isotropic Nikolskii-Besov spaces and approximating their derivatives

S. N. Kudryavtsev|arXiv (Cornell University)|May 27, 2018

Mathematical Approximation and Integration被引用数 1

ひとこと要約

本稿では、関数の $ L_p $-平均連続モジュラスを用いて定義される等方的ニコルスキー＝ベソフ空間から、$ \mathbb{R}^d $ 上の標準的等方的ニコルスキー＝ベソフ空間へと写像する連続線形拡張作用素を構成し、特定の領域において両空間が同値であることを証明する。さらに、近似特性に関する弱漸近挙動、特に微分の再構成と幅の漸近挙動を導出し、近似理論における主要な問題を解決する。

ABSTRACT

The article examines isotropic Nikolskii and Besov spaces with norms defined using $L_p$-averaged modulus of continuity of functions of appropriate order, instead of modulus of continuity of known order for fixed-order partial derivative functions. The author builds continuous linear mappings of such spaces of functions defined in domains of certain type to ordinary isotropic Nikolskii and Besov spaces in $ \mathbb R^d $ that are function extension operators, thus incurring coincidence of both kinds of spaces in the said domains. The article also provides weak asymptotics of approximation characteristics related to the problem of derivative reconstruction from function values at a given number of points, the S.B.Stechkin's problem for differential operator, and the problem of width asymptotics for isotropic Nikolskii-Besov classes in those domains.

研究の動機と目的

• 関数の $ L_p $-平均連続モジュラスを用いて定義される等方的ニコルスキー＝ベソフ空間と、標準的等方的ニコルスキー＝ベソフ空間との間の同値性を、特定の領域で確立すること。
• 関数を $ L_p $-モジュラスに基づく空間から $ \mathbb{R}^d $ 上の標準的空間へ写像する連続線形拡張作用素を構成すること。
• 有限個の点における関数値から得られる微分再構成に関連する近似特性の弱漸近挙動を分析すること。
• これらの関数クラスの文脈において、S. B. ステチキン問題を微分作用素に対して考察すること。
• 指定された領域における等方的ニコルスキー＝ベソフクラスの幅の漸近挙動を特定すること。

提案手法

• 適切な次数の関数の $ L_p $-平均連続モジュラスを用いて、従来の微分に基づくモジュラスの代わりに、等方的ニコルスキー＝ベソフ空間を定義する。
• 関数を $ L_p $-モジュラスに基づく空間から $ \mathbb{R}^d $ 上の標準的等方的ニコルスキー＝ベソフ空間へ写像する連続線形拡張作用素を構成する。
• 関数解析的技法を用いて、与えられた領域において、これらの二種類の関数空間の同値性を証明する。
• 極限における最良近似誤差および幅の挙動を分析することで、近似特性の弱漸近挙動を導出する。
• 特にステチキンの問題に関する既知の結果を、$ L_p $-モジュラスに基づく新しい関数空間クラスに適用する。
• 特定の幾何的性質を持つ領域の構造を活用して、拡張作用素の妥当性と連続性を保証する。

実験結果

リサーチクエスチョン

• RQ1 どの条件下で、$ L_p $-平均連続モジュラスを用いて定義される等方的ニコルスキー＝ベソフ空間が、標準的等方的ニコルスキー＝ベソフ空間と一致するか。
• RQ2 $ L_p $-モジュラスに基づく空間から $ \mathbb{R}^d $ 上の標準的空間へ写像する連続線形拡張作用素を構成できるか。
• RQ3 これらの空間において、関数値の有限個の点からの微分再構成に関する近似特性の弱漸近挙動は何か。
• RQ4 指定された領域における等方的ニコルスキー＝ベソフクラスの幅の漸近挙動はどのように振る舞うか。
• RQ5 S. B. ステチキン問題と、この新しい関数空間枠組みにおける微分の近似との間にはどのような関係があるか。

主な発見

• 特定のタイプの領域において、$ L_p $-平均連続モジュラスを用いて定義される等方的ニコルスキー＝ベソフ空間は、標準的等方的ニコルスキー＝ベソフ空間と同値である。
• $ L_p $-モジュラスに基づく空間から $ \mathbb{R}^d $ 上の標準的等方的ニコルスキー＝ベソフ空間へ写像する連続線形拡張作用素が存在する。
• 関数値の有限個の点からの微分再構成における最良近似誤差の弱漸近挙動が導出され、このような近似の収束速度に関する洞察が得られる。
• 与えられた領域における等方的ニコルスキー＝ベソフクラスの幅の漸近挙動が特定され、エントロピーおよびコルゴモロフ幅の理解に貢献する。
• 微分作用素に関する S. B. ステチキン問題が、これらの関数クラスの文脈で解決され、明確な漸近的推定値が得られる。
• 結果は、$ L_p $-平均モジュラスの定式化が、同値な関数空間構造をもたらし、古典的近似理論の道具の適用を可能にすることを示している。