[论文解读] Trace and extension theorems for Sobolev-type functions in metric spaces

Lukáš Malý|arXiv (Cornell University)|Apr 20, 2017

Nonlinear Partial Differential Equations被引用 8

一句话总结

该论文在度量测度空间中建立了Sobolev型函数的精确迹和延拓定理，证明了当边界具有共维数-θ正则性且 $ p > \theta $ 时，从Newtonian空间 $ N^{1,p}(\Omega) $ 到边界上Besov空间的有界线性迹算子存在。进一步地，构造了一个作为迹算子右逆的线性延拓算子，并通过反例展示了在临界情形 $ p = \theta $ 时权重条件的精确性，即在无权重条件下迹可能不存在。

ABSTRACT

Trace classes of Sobolev-type functions in metric spaces are subject of this paper. In particular, functions on domains whose boundary has an upper codimension-$ heta$ bound are considered. Based on a Poincar\'e inequality, existence of a Borel measurable trace is proven whenever the power of integrability of the "gradient" exceeds $ heta$. The trace $T$ is shown to be a compact operator mapping a Sobolev-type space on a domain into a Besov space on the boundary. Sufficient conditions for $T$ to be surjective are found and counterexamples showing that surjectivity may fail are also provided. The case when the exponent of integrability of the "gradient" is equal to $ heta$, i.e., the codimension of the boundary, is also discussed. Under some additional assumptions, the trace lies in $L^ heta$ on the boundary then. Essential sharpness of these extra assumptions is illustrated by an example.

研究动机与目标

• 在边界具有共维数-\theta正则性时，建立从Newtonian空间 $ N^{1,p}(\Omega) $ 到边界上Besov空间的线性迹算子的存在性与有界性，其中 $ p > \theta $。
• 构造一个作为迹算子右逆的有界线性延拓算子，确保在适当的几何与分析条件下实现满射性。
• 研究临界情形 $ p = \theta $，证明权重 $ w_\varepsilon = \log(2\operatorname{diam}\Omega / \operatorname{dist}(x,\partial\Omega))^{\theta+\varepsilon} $ 对于迹属于 $ L^\theta(\partial\Omega) $ 是本质上精确的。
• 通过反例表明，即使目标空间在温和假设下已是最优，迹算子仍可能不满足满射性。

提出的方法

• 利用定义域 $ \Omega $ 上的 $ p $-Poincaré 不等式与加倍测度，控制函数在边界附近的振荡。
• 在边界 $ \partial\Omega $ 上应用Ahlfors共维数-\theta正则性，控制测度的增长，从而实现迹估计。
• 通过在与边界相交的球上取平均构造迹算子，并在半径趋于零时几乎处处收敛。
• 利用极大函数估计与Newtonian空间中的逼近方法，证明迹算子的有界性与满射性。
• 通过非线性右逆构造延拓算子，使用Whitney型分解并以平均方式实现延拓。
• 使用带对数权重的加权 $ L^p $-范数，确保在临界情形 $ p = \theta $ 时迹的正则性，并通过显式反例证明权重条件的精确性。

实验结果

研究问题

• RQ1 当边界具有共维数-\theta正则性且 $ p > \theta $ 时，$ N^{1,p}(\Omega) $ 中函数的迹何时属于Besov空间 $ B^{1-\theta/p}_{p,p}(\partial\Omega) $？
• RQ2 迹算子从 $ N^{1,p}(\Omega) $ 到 $ B^{1-\theta/p}_{p,p}(\partial\Omega) $ 是否满射？若否，是什么条件导致其不满足满射？
• RQ3 当 $ p = \theta $ 时，梯度可积性条件中的最优权重是什么？该权重是否为迹属于 $ L^\theta(\partial\Omega) $ 所必需？
• RQ4 即使目标空间是最优的，迹算子是否仍可能不满足满射性？若是，其在何种几何或分析条件下发生？

主要发现

• 当 $ \Omega $ 为John或统一区域，$ \mu\restriction\Omega $ 为加倍测度，且对 $ p > \theta $ 满足 $ p $-Poincaré 不等式时，迹算子 $ T: N^{1,p}(\Omega) \to B^{1-\theta/p}_{p,p}(\partial\Omega) $ 有界且满射。
• 存在一个有界线性延拓算子 $ E: B^{1-\theta/p}_{p,p}(\partial\Omega) \to N^{1,p}(\Omega) $，作为 $ T $ 的右逆，确保边界上每个Besov函数均可提升为定义域中的Newtonian函数。
• 在临界情形 $ p = \theta > 1 $ 时，仅当梯度属于带权重 $ w_\varepsilon = \log(2\operatorname{diam}\Omega / \operatorname{dist}(x,\partial\Omega))^{\theta+\varepsilon} $ 的加权 $ L^\theta $ 空间时，迹才属于 $ L^\theta(\partial\Omega) $，且该权重本质上是精确的。
• 反例表明，即使目标空间是最优的，迹算子仍可能不满足满射性，尤其当边界共维数高于可积指数时更为明显。
• 临界情形下的权重条件是精确的：对任意 $ \varepsilon > 0 $，存在一个属于 $ N^{1,\theta}(\Omega, w_{-\varepsilon} d\mu) $ 的函数，其迹在边界每一点处发散。
• 迹算子可能无法映射到 $ B^{1-\theta/p}_{p,p}(\partial\Omega) $，即使它能映射到 $ B^{1-\theta/p}_{p,\infty}(\partial\Omega) $，这表明对一般区域而言，目标空间可能并非最优。