[论文解读] 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

一句话总结

本文建立了多维定义域上加权Sobolev类的Kolmogorov宽度的精确阶估计，其中函数受到r阶导数和零阶（点态）值的约束。通过利用John域和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阶导数约束和函数值（零阶导数）定义的加权Sobolev类的Kolmogorov宽度的精确阶估计。
• 将现有的Kolmogorov宽度结果推广至一般权重和非光滑定义域（特别是John域和h-集）的情形。
• 统一并扩展关于混合范数与权重条件下的加权Sobolev类的线性宽度与Kolmogorov宽度的先前结果。
• 建立依赖于可积性指标 $ p_0, p_1, q $、权重函数以及定义几何性质之间相互作用的渐近界。
• 提供一个适用于满足John条件的有界定义域和 $ \mathbb{R}^d $ 等无界定义域（带有幂权重）的框架。

提出的方法

• 通过条件 $ \left\| \frac{\nabla^r f}{g} \right\|_{L_{p_1}(\Omega)} \leq 1 $ 定义加权Sobolev类 $ W^r_{p_1,g}\left(\bar{\Omega}\right) $，并将函数类 $ M $ 定义为与 $ L_{p_0,w}(\Omega) $ 中单位球的交集。
• 基于 dyadic 立方体和Whitney型分解的划分技术，对函数进行局部化，并构造在边界或奇点集附近小立方体上具有紧支集的测试函数。
• 构造满足 $ \| \psi_{j,i,l} \|_{L_{q,v}} = 1 $ 的归一化测试函数，并利用尺度变换和权重行为估计其在 $ \mathcal{W}^r_{p_1,g} $ 和 $ L_{p_0,w} $ 中的范数。
• 应用定理5中的广义宽度估计框架，依赖于满足 (106) 和 (109) 的函数族的存在性，且参数 $ \gamma_*, k_*, \alpha_*, \mu_*, s_* $ 具体指定。
• 通过验证证明中的假设A–E，结合定义域的几何控制（John域条件）和测度控制（h-集条件），建立上界与下界。
• 通过分析此类测试函数数量的增长及其在尺度变换下的范数行为，推导出关于 $ n $（宽度指标）的渐近估计，从而获得阶估计。

实验结果

研究问题

• RQ1 对于由r阶导数和函数值约束定义的加权Sobolev类，其Kolmogorov宽度的精确阶估计是什么？
• RQ2 当定义域为John域或h-集时，宽度的行为如何？几何性质如何影响渐近阶？
• RQ3 一般权重（非仅幂权重）在决定宽度渐近行为中起什么作用？
• RQ4 在何种条件下，宽度的上界与下界在阶上一致，何时存在差异？
• RQ5 可积性参数 $ p_0, p_1, q $ 与权重函数如何相互作用以决定宽度衰减速率？

主要发现

• 对于满足距离h-集 $ \Gamma $ 的权重的John域 $ \Omega $，类 $ M $ 的Kolmogorov $ 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 $ 中的函数，从而获得上界估计。
• 结果将Triebel、Lizorkin-Otelbaev和Mynbaev-Otelbaev的先前工作推广至宽度阶依赖于最高阶导数与零阶约束的复合情形。
• 宽度的渐近阶由可积性指标 $ p_0, p_1, q $、权重指数与几何维数 $ d $ 之间的相互作用决定，临界指数 $ s_* = \frac{r}{d} $ 控制尺度行为。