[論文レビュー] Kolmogorov widths of weighted Sobolev classes on a multi-dimensional domain with conditions on the derivatives of order r and zero

А. А. Васильева|arXiv (Cornell University)|Apr 13, 2020

Mathematical Approximation and Integration参考文献 28被引用数 7

ひとこと要約

本稿では、関数が r 階微分と零階（点値）の制約を満たす多変数領域上の重み付きソボレフ空間のコルモゴロフ幅に関する鋭い順序推定を確立する。ジョン領域と h-集合を用いた幾何学的・解析的技法を用いて、可積分性パラメータ、重み、および領域の幾何的性質の相乗的相互作用に依存する漸近的境界を導出する。これにより、以前の結果をより広範な重みおよび領域クラスにまで一般化する。

ABSTRACT

In this paper order estimates for the Kolmogorov widths of weighted Sobolev classes on a multi-dimensional domain are obtained. The classes are defined by conditions on the highest-order derivatives and the derivative of order zero.

研究の動機と目的

• 多変数領域上での r 階微分と関数値（零階微分）の制約によって定義される重み付きソボレフ空間のコルモゴロフ幅に関する鋭い順序推定を導出すること。
• 一般重みおよび滑らかでない領域（特にジョン領域および h-集合）を含む場合に、既存のコルモゴロフ幅に関する結果を一般化すること。
• 混合ノルムおよび重み条件を満たす重み付きソボレフ空間に対する線形幅およびコルモゴロフ幅に関する以前の結果を統合・拡張すること。
• 可積分性インデックス $ p_0, p_1, q $、重み関数、および領域の幾何的性質の相乗的相互作用に依存する漸近的境界を確立すること。
• 有界領域におけるジョン条件および $ \mathbb{R}^d $ のような非有界領域（べき乗重み付き）に適用可能な枠組みを提供すること。

提案手法

• 重み付きソボレフ空間 $ W^r_{p_1,g}(\bar{\Omega}) $ を $ \left\| \frac{\nabla^r f}{g} \right\|_{L_{p_1}(\Omega)} \leq 1 $ で定義し、関数空間 $ M $ を $ L_{p_0,w}(\Omega) $ の単位球との共通部分集合として定義する。
• dyadic cube とホイットニー型分解に基づく分割技法を用いて関数を局所化し、境界または特異集合付近の小さな立方体に台を持つテスト関数を構成する。
• 正規化されたテスト関数 $ \psi_{j,i,l} $ を $ \| \psi_{j,i,l} \|_{L_{q,v}} = 1 $ となるように構成し、スケーリングおよび重みの挙動を用いて、$ \mathcal{W}^r_{p_1,g} $ および $ L_{p_0,w} $ におけるノルムを推定する。
• 定理 5 に依拠する一般的な幅推定枠組みを適用し、特定のパラメータ $ \gamma_*, k_*, \alpha_*, \mu_*, s_* $ を持つ関数族が (106) および (109) を満たすことを仮定する。
• 幾何的制御（ジョン領域条件）および測度論的制御（h-集合条件）を用いて、証明における仮定 A–E を検証し、上界および下界を確立する。
• このようなテスト関数の数の増加度およびスケーリング下でのノルム挙動を分析することにより、幅の漸近的推定を得る。これにより、$ n $（幅インデックス）に関する順序推定が導かれる。

実験結果

リサーチクエスチョン

• RQ1 r 階微分および関数値の制約によって定義される重み付きソボレフ空間のコルモゴロフ幅に関する鋭い順序推定は何か？
• RQ2 領域がジョン領域または h-集合である場合、幅はどのように振る舞い、幾何的性質は漸近的順序にどのように影響するか？
• RQ3 一般重み（べき乗重みに限らない）は、幅の漸近的挙動を決定する上で果たす役割は何か？
• RQ4 上界および下界が順序で一致する条件は何か、またそれらが異なる場合の条件は何か？
• RQ5 可積分性パラメータ $ p_0, p_1, q $ および重み関数は、幅の減衰速度を決定するためにどのように相互作用するか？

主な発見

• h-集合 $ \Gamma $ からの距離に依存する重みを有するジョン領域 $ \Omega $ に対して、$ M $ のコルモゴロフ $ n $-幅は $ d_n(M, L_{q,v}) \asymp n^{-\alpha_*} $ を満たし、$ \alpha_* = \sigma - \lambda + \frac{d}{p_0} - \frac{d}{q} $ である。ここで $ \sigma, \lambda $ は重み指数である。
• $ \Omega = \mathbb{R}^d $ でべき乗重み $ g(x) = (1+|x|)^\beta $、$ w(x) = (1+|x|)^\sigma $、$ v(x) = (1+|x|)^\lambda $ の場合、幅は $ d_n(M, L_{q,v}) \asymp n^{-\mu_*} $ を満たし、$ \mu_* = \beta + \lambda + r + \frac{d}{q} - \frac{d}{p_1} $ である。
• 下界は、$ \nu_{t,m} \gtrsim 2^{\theta k_{**}t} \cdot 2^m $ 個の正規化されたテスト関数の族を用いて確立され、幅が $ n^{-\alpha_*} $ より速く減衰することはできないことが示される。
• 上界は、dyadic 分解と一様ノルム制御を用いて、次元 $ \sim n $ の有限次元部分空間を構成し、$ M $ に属する関数を所定の誤差内に近似することで得られる。
• 結果は、トリーベル、リゾルキン＝オーテルバエフ、ミンバエフ＝オーテルバエフの先行研究を、最高階微分と零階制約の両方が幅の順序に寄与する場合にまで拡張する。
• 幅の漸近的順序は、可積分性インデックス $ p_0, p_1, q $、重み指数、および幾何的次元 $ d $ の相乗的相互作用に依存し、スケーリング挙動を支配する臨界指数 $ s_* = r/d $ がその中心的役割を果たす。