[论文解读] Almost sharp descriptions of traces of Sobolev $W_{p}^{1}(\mathbb{R}^{n})$-spaces to arbitrary compact subsets of $\mathbb{R}^{n}$. The case $p \in (1,n]$

Alexander Tyulenev|arXiv (Cornell University)|Sep 15, 2021

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

一句话总结

本文为任意紧致集 $ S \subset \mathbb{R}^n $ 且具有正 $ d $-Hausdorff 内容时，提供了当 $ p \in (1,n] $ 时，迹空间 $ W_p^1(\mathbb{R}^n)|_S $ 的近乎最优内在刻画。它构造了从迹空间到 $ W_{p-\varepsilon}^1(\mathbb{R}^n) $ 的有界线性延拓算子，其中 $ \varepsilon > 0 $，从而在不假设 $ S $ 具备正则性的情况下建立了近乎最优的延拓理论。其关键贡献在于引入了一个新的函数空间 $ \operatorname{X}^{d^*}_{p-\varepsilon,d,\{\mathfrak{m}_k\}}(S) $，该空间在范数等价意义下刻画了迹空间。

ABSTRACT

Let $S \subset \mathbb{R}^{n}$ be an arbitrary nonempty compact set such that the $d$-Hausdorff content $\mathcal{H}^{d}_{\infty}(S) > 0$ for some $d \in (0,n]$. For each $p \in (\max\{1,n-d\},n]$, an almost sharp intrinsic description of the trace space $W_{p}^{1}(\mathbb{R}^{n})|_{S}$ of the Sobolev space $W_{p}^{1}(\mathbb{R}^{n})$ to the set $S$ is obtained. Furthermore, for each $p \in (\max\{1,n-d\},n]$ and $\varepsilon \in (0, \min\{p-(n-d),p-1\})$, new bounded linear extension operators from the trace space $W_{p}^{1}(\mathbb{R}^{n})|_{S}$ into the space $W_{p-\varepsilon}^{1}(\mathbb{R}^{n})$ are constructed.

研究动机与目标

• 为任意紧致集 $ S \subset \mathbb{R}^n $ 且满足 $ \mathcal{H}^{d}_{\infty}(S) > 0 $ 的迹空间 $ W_p^1(\mathbb{R}^n)|_S $ 提供一种内在的、近乎最优的描述，且不假设 $ S $ 的正则性。
• 构造从迹空间到 $ W_{p-\varepsilon}^1(\mathbb{R}^n) $ 的有界线性延拓算子，其中 $ \varepsilon \in (0, \min\{p - (n-d), p-1\}) $，以实现近乎最优的正则性。
• 引入并研究一个新的函数空间 $ \operatorname{X}^{d^*}_{p-\varepsilon,d,\{\mathfrak{m}_k\}}(S) $，该空间在范数等价意义下刻画了迹空间。
• 通过弱化精确性要求并使用 Calderón 型极大函数与 Frostman 型测度，解决临界范围 $ p \in (1,n] $ 中的迹问题。

提出的方法

• 本文使用一种新型函数空间 $ \operatorname{X}^{d^*}_{p-\varepsilon,d,\{\mathfrak{m}_k\}}(S) $，其通过 Calderón 型极大函数与 $ S $ 上的一系列 Frostman 型测度 $ \{\mathfrak{m}_k\} $ 定义，能够捕捉迹的行为。
• 它构造了一类特殊的逼近序列与延拓算子 $ \operatorname{Ext}_{S,\{\mathfrak{m}_k\},\lambda} $，将迹空间中的函数映射到 $ W_{p-\varepsilon}^1(\mathbb{R}^n) $ 中，确保延拓算子的有界性。
• 该方法依赖于组合与测度论工具，包括可容许的覆盖序列、Whitney 型空腔与中空立方体，以控制函数在 $ S $ 附近的振荡与增长。
• 证明结合了容量理论、极大函数的 $ L_p $ 有界性以及 Fatou 型极限论证，以建立完备性与范数等价性。
• 通过 $ (1,p) $-良好代表与 $ d $-Hausdorff 内容的对偶论证，定义了模容量零集的迹。
• 通过证明 $ W_p^1(\mathbb{R}^n)|_S $ 中的迹范数与 $ \operatorname{X}^{d^*}_{p-\varepsilon,d,\{\mathfrak{m}_k\}}(S) $-范数之间存在范数等价性（仅依赖于绝对常数），验证了该构造。

实验结果

研究问题

• RQ1 当 $ p \in (1,n] $ 时，对任意紧致集 $ S \subset \mathbb{R}^n $ 且满足 $ \mathcal{H}^d_\infty(S) > 0 $，迹空间 $ W_p^1(\mathbb{R}^n)|_S $ 的内在且近乎最优的刻画是什么？
• RQ2 即使 $ S $ 缺乏正则性，是否仍可从迹空间构造到 $ W_{p-\varepsilon}^1(\mathbb{R}^n) $ 的有界线性延拓算子，其中 $ \varepsilon > 0 $？
• RQ3 是否存在一个定义在 $ S $ 上的函数空间，其能以范数等价性刻画迹空间，且与代表元的选择无关？
• RQ4 迹范数如何与 $ S $ 的几何与测度性质（如其 $ d $-Hausdorff 内容与 Frostman 型测度）相关联？

主要发现

• 对每个 $ p \in (\max\{1,n-d\}, n] $，迹空间 $ W_p^1(\mathbb{R}^n)|_S $ 由函数空间 $ \operatorname{X}^{d^*}_{p-\varepsilon,d,\{\mathfrak{m}_k\}}(S) $ 近乎精确地刻画，且范数等价性常数为绝对常数。
• 对每个 $ \varepsilon \in (0, \min\{p - (n-d), p - 1\}) $，存在从 $ \operatorname{X}^{d^*}_{p-\varepsilon,d,\{\mathfrak{m}_k\}}(S) $ 到 $ W_{p-\varepsilon}^1(\mathbb{R}^n) $ 的有界线性延拓算子 $ \operatorname{Ext}_{S,\{\mathfrak{m}_k\},\lambda} $。
• $ \operatorname{X}^{d^*}_{p-\varepsilon,d,\{\mathfrak{m}_k\}}(S) $ 是一个 Banach 空间，其完备性由给定范数下的空间完备性所确立。
• 迹范数 $ \|f|W_p^1(\mathbb{R}^n)|_S\| $ 与 $ \operatorname{X}^{d^*}_{p-\varepsilon,d,\{\mathfrak{m}_k\}}(S) $-范数等价，等价常数仅依赖于 $ n, p, \varepsilon, d, \lambda $ 以及常数 $ \operatorname{C}_{\{\mathfrak{m}_k\},i} $。
• 该构造依赖于 Calderón 型极大函数与一列 Frostman 型测度 $ \{\mathfrak{m}_k\} $，这些测度与 $ S $ 的几何结构相适应，确保对 $ S $ 上函数振荡性的控制。