[论文解读] Intrinsic characterization of Sobolev spaces with boundary conditions

Sebastian Bechtel|arXiv (Cornell University)|Feb 20, 2020

Advanced Harmonic Analysis Research参考文献 16被引用 2

一句话总结

本文为阶数 $ s otin (0,1) $ 的混合边界条件下的分数阶 Sobolev 空间提供了内在刻画，引入了一个精确的扩展算子，仅在诺伊曼边界部分要求测度密度条件。它建立了 $ s = 1 $ 时的新 Hardy 不等式，并分析了这些空间的插值性质。

ABSTRACT

We investigate fractional Sobolev spaces of order $s \in (0,1)$ with mixed boundary conditions. We provide an extension operator for these spaces that requires the usual measure density condition only on the Neumann boundary part, and our condition is sharp at the interface. We also investigate the interpolation behavior of the considered spaces and provide a new Hardy's inequality in the case $s = 1$.

研究动机与目标

• 为阶数 $ s \in (0,1) $ 的混合边界条件下的分数阶 Sobolev 空间提供内在刻画，解决非局部设定下边界行为的挑战。
• 为这些空间开发一个扩展算子，其几何假设最小化，仅在诺伊曼边界部分要求测度密度条件。
• 研究所考虑的具有混合边界条件的分数阶 Sobolev 空间的插值行为。
• 在 $ s = 1 $ 的情况下建立一个新的 Hardy 型不等式，这对于理解该框架下迹空间与无迹空间至关重要。

提出的方法

• 作者通过将反射与截断技术适配于狄利克雷与诺伊曼边界之间的界面，构建了具有混合边界条件的分数阶 Sobolev 空间的扩展算子。
• 他们证明了测度密度条件在扩展算子有界性方面是必要且充分的，且该条件仅应用于诺伊曼边界部分。
• 分析依赖于扩展域的使用，以及通过分数阶积分和贝塞尔势对迹空间的刻画。
• 应用插值理论研究空间在实插值与复插值下的行为，揭示其在 $ L^2 $ 与 $ H^s $ 之间的中间性质。
• 通过加权迹估计和边界上的分部积分，推导出 $ s = 1 $ 时的新 Hardy 不等式。
• 该方法利用了迹问题与扩展问题之间的对偶性，尤其在非局部算子和分数阶积分的背景下。

实验结果

研究问题

• RQ1 在具有混合边界条件的分数阶 Sobolev 空间上，存在有界扩展算子的最小几何条件是什么？
• RQ2 具有混合边界条件的分数阶 Sobolev 空间在实插值与复插值下的插值行为如何？
• RQ3 在混合边界条件背景下，能否为 $ s = 1 $ 的情况建立一个新的 Hardy 不等式？
• RQ4 狄利克雷与诺伊曼边界之间的界面如何影响这些空间中函数的正则性与扩展性质？

主要发现

• 具有混合边界条件的分数阶 Sobolev 空间的扩展算子在仅对诺伊曼边界部分施加测度密度条件时有界，且该条件在界面处是精确的。
• 所考虑空间的插值产生中间空间，其迹与扩展性质与经典插值理论一致。
• 为 $ s = 1 $ 建立了新的 Hardy 不等式，该不等式以 $ H^1 $-半范数和边界数据形式提供了迹估计。
• 空间的内在刻画使得能够对其迹空间进行精确描述，尤其在狄利克雷与诺伊曼区域的界面处。
• 通过反例和迹空间对偶性，证明了诺伊曼边界上测度密度条件的精确性。
• 这些结果将分数阶 Sobolev 空间的适用性扩展到具有非齐次边界条件的问题，特别是在非局部 PDE 和变分公式中。