[论文解读] Characterization of traces of smooth functions on Ahlfors regular sets

Lizaveta Ihnatsyeva, Antti V. Vähäkangas|arXiv (Cornell University)|Sep 10, 2011

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

一句话总结

本文将 P. Shvartsman 对 Ahlfors $n$-正则集上 Besov 与 Triebel–Lizorkin 空间迹的刻画推广至 $d$-正则集的情形，其中 $n-1 < d < n$，采用局部多项式逼近方法。关键贡献在于通过多项式逼近范数给出了迹空间的新内在刻画，建立了范数等价性，并在 $d$-集固有的通孔性条件下证明了有界扩张算子的存在性。结果推广了在类似分形集上 Sobolev、Bessel 位势与 Triebel–Lizorkin 空间迹定理的结论。

ABSTRACT

We extend the results of P. Shvartsman on characterizing the traces of Besov and Triebel-Lizorkin spaces on Ahlfors $n$-regular sets to the case of $d$-regular sets, $n-1

研究动机与目标

• 将 Shvartsman 关于 $n$-正则集上迹刻画的结果从 $n$-正则集推广至 $d$-正则集，其中 $n-1 < d < n$。
• 采用局部多项式逼近而非基于喷射（jet）的定义，提供迹空间的内在刻画。
• 在 $k > \alpha + (n-d)/p$ 条件下，证明 $d$-集上 Besov 空间范数与参数 $u$ 和 $k$ 无关的范数等价性。
• 基于通孔性与 Remez 型不等式，证明迹空间有界线性扩张算子的存在性。
• 统一并简化 Sobolev、Besov 与 Triebel–Lizorkin 空间在不规则集上迹定理的证明。

提出的方法

• 通过局部多项式逼近阶 $k$ 定义 $d$-集上的 Besov 空间，其范数涉及误差项 $\mathcal{E}_k(f, Q)$ 在 $L^p(S)$ 中的范数。
• 利用文献 [7] 中的 Remez 型不等式，控制 dyadic 方块中多项式逼近误差的 $L^1$-范数。
• 建立从 $\mathbb{R}^n$ 上 Triebel–Lizorkin 与 Besov 空间到 $d$-集上相应迹空间的迹算子有界性。
• 通过推广 Shvartsman 的方法构造线性扩张算子，依赖于 $d < n$ 时 $d$-集的通孔性。
• 通过比较扩展空间 $\mathbb{R}^n$ 中的 $L^u(S)$-与 $L^1(S)$-半范数，利用文献 [29] 中的经典结果，证明 Besov 空间中的范数等价性。
• 使用 dyadic 分解与基于立方体的覆盖论证，估计不同尺度下逼近误差在 $L^p(S)$ 中的范数。

实验结果

研究问题

• RQ1 能否将 $n$-正则集上 Besov 与 Triebel–Lizorkin 空间迹刻画推广至 $d$-正则集，其中 $n-1 < d < n$？
• RQ2 局部多项式逼近方法是否足以在 $d < n$ 的 $d$-集上定义并刻画迹空间？
• RQ3 当 $1 \leq u \leq p$ 时，$d$-集上 Besov 空间的范数是否与参数 $u$ 无关？
• RQ4 能否利用多项式逼近与通孔性构造 $d$-集上迹空间的有界线性扩张算子？
• RQ5 $d < n$ 时 $d$-集的通孔性在扩张算子有界性与迹定理中起什么作用？

主要发现

• 从 $\mathbb{R}^n$ 上的 Triebel–Lizorkin 与 Besov 空间到满足 $n-1 < d < n$ 的 $d$-集的迹算子有界且满射，且存在有界线性右逆。
• 通过局部多项式逼近定义的 $d$-集上 Besov 空间，只要 $k > \alpha$，其定义与 $k$ 的选择无关；当 $1 \leq u \leq p$ 时，与 $u$ 无关，且范数等价。
• 通过将函数扩展至 $\mathbb{R}^n$ 并应用 $\mathbb{R}^n$ 上的经典范数等价性，证明了 $N_p(f) \leq c N_1(f)$，从而建立了 Besov 空间中的范数等价性。
• 在条件 $k > \alpha + (n-d)/p$ 下，扩张算子有界，映射 $B^\alpha_{pq}(S)$ 到 $B^\alpha_{pq}(\mathbb{R}^n)$，以及 $F^\alpha_{pq}(S)$ 到 $F^\alpha_{pq}(\mathbb{R}^n)$。
• $d < n$ 时 $d$-集的通孔性在扩张算子有界性证明中至关重要，尤其体现在通过 Remez 型估计控制误差项。
• 结果将经典 Sobolev、Bessel 位势与 Triebel–Lizorkin 空间迹定理推广至不规则、非整数维的集合。