[論文レビュー] 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} 空間に対して有界で単純に連結な平面領域が Sobolev 拡張作用素を有するための幾何的特徴付けを提供する。その特徴付けは、補集合内の任意の二点が、境界からの距離を含む重み付き積分条件を満たす曲線で結べるような領域であると特定される。主な貢献は双対性結果であり、Jordan 領域 Ω が W^{1,p}-拡張領域であるための必要十分条件は、その補集合 R² \ Ω が 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.

研究の動機と目的

• 有界で単純に連結な平面 W^{1,p}-拡張領域（1 < p < 2）の幾何的特徴付けを提供すること。
• 平面内の Jordan 領域とその補集合の間の拡張性質の双対性を確立すること。
• 外部領域における曲線積分を含む鋭い幾何的条件を同定することで、既知の Sobolev 拡張領域に関する結果を拡張すること。
• すべての p ∈ (1, ∞) における平面 W^{1,p}-拡張領域の幾何的特徴付けを統一的かつ完全にまとめること。

提案手法

• 外部領域 R² \ Ω における曲線条件を導入：補集合内の任意の二点について、曲線 γ ⊂ R² \ Ω が存在し、∫_γ dist(z, ∂Ω)^{1−p} ds(z) ≤ C(Ω,p)|z₁ − z₂|^{2−p} を満たすこと。
• 必要性の証明は、双曲幾何と Whitney 型分割を用いて曲線条件から拡張作用素を構成することで行う。
• 十分性の証明は、曲線条件を双曲的線に移行し、Whitney 集のシャドー射影を用いることで行う。
• 調和容量および John 領域の技術を用いて補集合の幾何を制御し、それらと拡張性質を関連付ける。
• H"older 共役指数を用いた双対性により、p ∈ (1,2) の曲線条件を、定理 1.2 を用いて q > 2 に対する既知の条件に結びつける。
• M"obius 変換（反転）による不変性を活用し、境界近傍における局所的解析に問題を還元し、局所的結果を一般化して得られる。

実験結果

リサーチクエスチョン

• RQ1 有界で単純に連結な平面領域 Ω が 1 < p < 2 に対して W^{1,p}-拡張領域であるための幾何的条件は何か？
• RQ2 共役指数 p と q = p/(p−1) に対して、Jordan 領域 Ω とその補集合 R² \ Ω の拡張性質はどのように関係しているか？
• RQ3 外部領域における曲線条件を用いて、W^{1,p}(Ω) 関数に対する有界な拡張作用素を構成できるか？
• RQ4 双曲計量と Whitney 分解は、拡張領域を特徴付ける際に果たす役割は何か？
• RQ5 p ∈ (1,2) における拡張性質が、q > p となる s < q の区間における拡張性質を含意するか？

主な発見

• 有界で単純に連結な平面領域 Ω が 1 < p < 2 に対して W^{1,p}-拡張領域であるための必要十分条件は、任意の二点 z₁, z₂ ∈ R² \ Ω に対して、曲線 γ ⊂ R² \ Ω が存在し、∫_γ dist(z, ∂Ω)^{1−p} ds(z) ≤ C(Ω,p)|z₁ − z₂|^{2−p} を満たすことである。
• 双対性結果が成立する：Jordan 領域 Ω が W^{1,p}-拡張領域であるための必要十分条件は、その補集合 R² \ Ω が q = p/(p-1) に対して W^{1,q}-拡張領域であることである。
• 1 < p < 2 の場合、補集合内にこのような曲線が存在することは、Ω がすべての s < p + ε に対して W^{1,s}-拡張領域であることを示し、したがって開区間の指数に対して拡張可能であることを意味する。
• p = 2 の場合、既知の結果により回復される：Ω が W^{1,2}-拡張領域であることと、quasidisk（すなわち、均一な Jordan 領域）であることは同値である。
• Ω が W^{1,s}-拡張領域であるような指数 s の集合は、開区間であり、(1, ∞)、(1, q)（q ≤ 2）または (q, ∞)（q > 2）のいずれかである。
• 拡張性質は M"obius 変換（反転）に関して不変であり、境界近傍における局所的解析に還元可能であり、局所的結果から大域的結果への拡張が可能である。