[论文解读] A geometric characterization of planar Sobolev extension domains

Pekka Koskela, Tapio Rajala+1 more|arXiv (Cornell University)|Feb 13, 2015

Nonlinear Partial Differential Equations被引用 5

一句话总结

本文提供了对有界、单连通平面区域的几何表征，这些区域允许在 1 < p < 2 时存在 W^{1,p} 空间的索博列夫延拓算子。研究证明，此类区域恰好是那些其补集中的任意两点可通过满足涉及到边界距离的加权积分条件的曲线相连的区域。其主要贡献是一个对偶性结果：一个若尔当区域是 W^{1,p}-延拓区域，当且仅当其补集是对应于 Hölder 共轭指数 q = p/(p-1) 的 W^{1,q}-延拓区域。

ABSTRACT

We characterize bounded simply-connected planar $W^{1,p}$-extension domains for $1 &lt; p &lt;2$ as those bounded domains $Ω\subset \mathbb R^2$ for which any two points $z_1,z_2 \in \mathbb R^2 \setminus Ω$ can be connected with a curve $γ\subset \mathbb R^2 \setminus Ω$ satisfying $$\int_γ dist(z,\partial Ω)^{1-p}\, dz \lesssim |z_1-z_2|^{2-p}.$$ Combined with known results, we obtain the following duality result: a Jordan domain $Ω\subset \mathbb R^2$ is a $W^{1,p}$-extension domain, $1 &lt; p &lt; \infty$, if and only if the complementary domain $\mathbb R^2 \setminus \barΩ$ is a $W^{1,p/(p-1)}$-extension domain.

研究动机与目标

• 为有界、单连通平面区域 Ω 提供 1 < p < 2 时 W^{1,p}-延拓区域的几何表征。
• 建立平面中一个若尔当区域与其补集之间延拓性质的对偶性。
• 通过识别外域中涉及曲线积分的精确几何条件，扩展已知的索博列夫延拓区域结果。
• 统一并完成对所有 p ∈ (1, ∞) 的平面 W^{1,p}-延拓区域的几何表征。

提出的方法

• 在平面区域 Ω 的外域 R² \ Ω 中引入一条曲线条件：对于补集中的任意两点，存在一条连接它们的曲线，使得 ∫_γ dist(z, ∂Ω)^{1−p} ds(z) ≤ C(Ω,p)|z₁ − z₂|^{2−p}。
• 通过利用双曲几何和 Whitney 型分解，从曲线条件出发构造延拓算子，证明其必要性。
• 通过将曲线条件转移到双曲射线上并使用 Whitney 集的阴影投影，证明其充分性。
• 应用共形容量和约翰域技术，控制补集的几何结构，并将其与延拓性质关联。
• 通过 Hölder 共轭指数的对偶性，利用定理 1.2 将 p ∈ (1,2) 时的曲线条件与已知的 q > 2 情况下的条件联系起来。
• 利用 M"obius 变换（反演）的不变性，将问题约化为边界点附近的局部分析，并将局部结果推广至整体。

实验结果

研究问题

• RQ1 一个有界、单连通平面区域 Ω 的何种几何条件可确保其为 1 < p < 2 时的 W^{1,p}-延拓区域？
• RQ2 对于共轭指数 p 和 q = p/(p−1)，一个若尔当区域 Ω 及其补集 R² \ Ω 的延拓性质之间有何关系？
• RQ3 补集中的曲线条件能否用于构造 W^{1,p}(Ω) 函数的有界延拓算子？
• RQ4 双曲度量和 Whitney 分解在表征延拓区域中起什么作用？
• RQ5 p ∈ (1,2) 时的延拓性质是否意味着对某个 s < q 的完整区间（其中 q > p）也具有延拓性质？

主要发现

• 当且仅当对任意两点 z₁, z₂ ∈ R² \ Ω，存在一条曲线 γ ⊂ R² \ Ω，使得 ∫_γ dist(z, ∂Ω)^{1−p} ds(z) ≤ C(Ω,p)|z₁ − z₂|^{2−p} 时，有界、单连通平面区域 Ω 是 1 < p < 2 时的 W^{1,p}-延拓区域。
• 对偶性结果成立：一个若尔当区域 Ω 是 W^{1,p}-延拓区域，当且仅当其补集 R² \ Ω 是对应于 q = p/(p−1) 的 W^{1,q}-延拓区域。
• 对于 1 < p < 2，若补集中存在此类曲线，则 Ω 是所有 s < p + ε 的 W^{1,s}-延拓区域，因此也是某个开区间内的指数。
• 当 p = 2 时，通过已知结果可恢复：Ω 是 W^{1,2}-延拓区域当且仅当其为拟圆盘，即一致若尔当区域。
• 使得 Ω 为 W^{1,s}-延拓区域的指数集合形成一个开区间，该区间为 (1, ∞)、(1, q)（其中 q ≤ 2），或 (q, ∞)（其中 q > 2）。
• 延拓性质在 M"obius 变换（反演）下保持不变，从而可将问题约化为边界点附近的局部分析，并实现从局部到整体结果的推广。