[论文解读] Widths of weighted Sobolev classes on a domain with a peak: some limiting cases

А. А. Васильева|arXiv (Cornell University)|Nov 30, 2013

Advanced Harmonic Analysis Research参考文献 27被引用 5

一句话总结

本文建立了在具有尖峰奇点的区域上加权Sobolev类 $W^r_{p,g}$ 的Kolmogorov、Gelfand和线性宽度的阶估计，其中尖峰由 $\varphi(t) = t^\sigma |\log t|^\theta$ 定义。关键结果表明，当 $r + (\sigma(d-1)+1)(1/q - 1/p) = 0$ 时，奇点会影响宽度的渐近阶，这与以往结果形成对比：在指数为正时，此类奇点对宽度阶无影响。

ABSTRACT

Order estimates for Kolmogorov, Gelfand and linear widths of a weighted Sobolev class on a domain with a peak in a weighted Lebesgue space are obtained for some special weights.

研究动机与目标

• 确定在具有尖峰奇点的区域上加权Sobolev类的Kolmogorov、Gelfand和线性宽度的渐近阶。
• 研究由 $\varphi(t) = t^\sigma |\log t|^\theta$ 定义的尖峰如何影响加权Lebesgue空间中的宽度估计。
• 将Besov的先前结果拓展至等号成立的临界情形，即当 $r + (\sigma(d-1)+1)(1/q - 1/p) = 0$ 时，此前结果表明当指数为正时奇点对宽度阶无影响。
• 分析尖峰函数中对数修正项对宽度渐近行为的影响。

提出的方法

• 分析在由 $\varphi(t) = t^\sigma |\log t|^\theta$ 定义的尖峰区域 $\Omega$ 上进行，其中 $\Omega$ 属于类 ${\bf FC}_{\varphi,\tau_*}(a)$，确保在尖峰附近具有灵活的锥结构。
• 将区域分解为二进制环形区域 $\Omega_{[2^{-j}, 2^{-j+1}]}$，并应用局部投影算子 $\mathbb{P}_{j,m}$ 来逼近 $W^r_{p,g}(\Omega)$ 中的函数。
• 关键技术工具是构造一个线性算子 $P^2_{m,t,n}$，将其投影到有限维子空间，通过在加权 $L_p$ 和 $L_q$ 空间中使用插值和范数估计推导误差界。
• 该方法依赖于对 $\nabla^r f / g$ 在 $L_p(\Omega)$ 中范数的估计，并通过权函数 $g$ 和 $v$ 将其与误差的 $L_q$-范数关联，假设 $g \equiv 1$，$v \equiv 1$。
• 通过将误差与涉及 $2^{-t\alpha} \rho(2^t)$ 的序列进行比较，分析宽度的渐近行为，其中 $\alpha$ 和 $\rho$ 由奇点和可积性参数决定。
• 通过在二进制壳层上具有紧支集的测试函数 $\psi_j$ 推导下界，满足 $\|\psi_j\|_{L_{q,v}} \asymp j^{-\alpha} \rho(j)$，并应用 $\ell_q$-球宽度的已知估计。

实验结果

研究问题

• RQ1 在什么条件下，区域中的尖峰奇点会影响加权Sobolev类的Kolmogorov、Gelfand和线性宽度的渐近阶？
• RQ2 当临界条件 $r + (\sigma(d-1)+1)(1/q - 1/p) = 0$ 时，与此前研究中指数为正的情形相比有何不同？
• RQ3 尖峰函数 $\varphi(t) = t^\sigma |\log t|^\theta$ 中的对数修正项在宽度估计中起什么作用？
• RQ4 是否可以对不同范围的 $p$、$q$ 和 $\hat{q}$ 统一表征宽度阶，特别是当 $\hat{q} > 2$ 时？
• RQ5 宽度估计在多大程度上依赖于区域的几何结构，特别是灵活锥条件和尖峰函数的衰减速率？

主要发现

• 当 $r + (\sigma(d-1)+1)(1/q - 1/p) = 0$ 时，由 $\varphi(t) = t^\sigma |\log t|^\theta$ 定义的奇点会影响宽度的渐近阶，这与指数为正时无影响的情形形成对比。
• 当 $p = q$ 或 $p < q$ 且 $\hat{q} \leq 2$ 时，Kolmogorov宽度满足 $\vartheta_n(W^r_{p,g}(\Omega), L_{q,v}(\bar{\Omega})) \asymp n^{-\delta/d}$，表明其符合光滑区域的预期标准速率。
• 当 $\hat{q} > 2$ 时，宽度的下界为 $\vartheta_n(W^r_{p,g}(\Omega), L_{q,v}(\bar{\Omega})) \gtrsim n^{-\alpha} \rho(n)$，其中 $\alpha = \frac{1}{p} - \frac{1}{q}$，表明由于对数奇点导致衰减速率变慢。
• 通过选择 $t = [\hat{q}/2 \cdot Nd]$，下界被进一步收紧，得到 $\vartheta_n \gtrsim n^{-\hat{q}\alpha/2} \rho(n^{\hat{q}/2})$，其与上界仅差常数因子。
• 本文确立了临界指数条件 $r + (\sigma(d-1)+1)(1/q - 1/p) = 0$ 导致宽度渐近行为发生转变，此时奇点变得显著。
• 结果推广了Besov的早期发现，表明临界情形与Lipschitz边界情形在渐近意义上不等价，从而凸显了尖峰函数中对数修正项的关键作用。