[论文解读] On Sobolev extension domains in $R^n$

Pavel Shvartsman|ArXiv.org|Apr 6, 2009

Nonlinear Partial Differential Equations参考文献 11被引用 7

一句话总结

本文通过内子双曲度量，引入了 $\mathbb{R}^n$ 中 Sobolev $W^k_p$-扩张域的刻画，证明了满足特定曲线积分条件（关联到边界距离与曲线长度）的域是 $W^k_q$ 空间的扩张域，其中 $q > p^*$，且 $p^* \in (n,p)$。关键结果扩展了平面上域的先前工作，并为扩张提供了基于度量的判别准则，尤其适用于 $\mathbb{R}^2$ 中 $p > 2$ 的情形。

ABSTRACT

We describe a class of Sobolev $W^k_p$-extension domains $Ω\subset R^n$ determined by a certain inner subhyperbolic metric in $Ω$. This enables us to characterize finitely connected Sobolev $W^1_p$-extension domains in $R^2$ for each $p>2$.

研究动机与目标

• 通过边界距离导出的内子双曲度量，刻画 $\mathbb{R}^n$ 中的 $W^k_p$-扩张域。
• 基于 $\operatorname{dist}(z,\partial\Omega)^{\frac{1-n}{p-1}}$ 沿曲线的可积性，建立域为 $W^k_p$-扩张域的充分条件。
• 通过几何积分条件，完整刻画 $p > 2$ 时单连通平面域作为 $W^1_p$-扩张域的性质。
• 通过度量理论框架，统一并扩展 Jones、Buckley-Koskela 和 Whitney 等人的先前结果。
• 证明：若域满足子双曲条件，则 Sobolev 函数的精确极大函数属于 $L_q$，从而可通过极大函数估计实现扩张。

提出的方法

• 定义曲线 $\gamma \subset \Omega$ 的子双曲长度为 $\int_\gamma \operatorname{dist}(z,\partial\Omega)^{\alpha-1} \, ds(z)$，其中 $\alpha = \frac{p-n}{p-1}$，从而导出子双曲度量 $d_{\alpha,\Omega}(x,y)$。
• 证明满足积分条件 $\int_\gamma \operatorname{dist}(z,\partial\Omega)^{\frac{1-n}{p-1}} \, ds(z) \leq C\|x-y\|^{\frac{p-n}{p-1}}$ 的域是 $\mathbb{R}^n$ 的正则子集，从而可应用极大函数技术。
• 应用 Hardy-Littlewood 极大函数定理，通过 $|\nabla^k f|$ 的 $L_{p^*}$-范数和 $f$ 的 $L_q$-范数控制 $f^\sharp_{k,\Omega}$ 在 $L_q(\Omega)$ 中的范数。
• 利用 Calderón 类型的扩张准则：函数 $f \in L_p(S)$ 可扩展至 $W^k_p(\mathbb{R}^n)$ 当且仅当 $f^\sharp_{k,S} \in L_p(S)$，且范数等价于依赖于正则性参数的常数。
• 证明子双曲条件蕴含 $\Omega$ 的正则性，从而可应用 [S4] 中的扩张准则，得出 $f \in W^k_q(\Omega)$ 可扩展至 $W^k_q(\mathbb{R}^n)$，其中 $q > p^*$。
• 结合子双曲度量框架、极大函数估计与插值法，证明 $\|f^\sharp_{k,\Omega}\|_{L_q(\Omega)} \leq C\|f\|_{W^k_q(\Omega)}$，完成扩张证明。

实验结果

研究问题

• RQ1 在 $\mathbb{R}^n$ 中，何种几何条件可确保 $W^k_p(\Omega)$ 中的每个函数均可扩展为 $W^k_p(\mathbb{R}^n)$ 中的函数？
• RQ2 如何利用通过 $\int_\gamma \operatorname{dist}(z,\partial\Omega)^{\alpha-1} \, ds(z)$ 定义的子双曲度量来刻画扩张域？
• RQ3 当 $p > 2$ 时，对一个有限连通的平面域 $\Omega$，其成为 $W^1_p$-扩张域的精确条件是什么？
• RQ4 能否将精确极大函数准则应用于非 Lipschitz 或 $(\varepsilon,\delta)$-域（如具有不规则边界的域）？
• RQ5 在 $W^k_\infty$-扩张域的背景下，子双曲度量与拟欧氏性质之间有何关系？

主要发现

• 若域 $\Omega \subset \mathbb{R}^n$ 满足对所有 $x,y \in \Omega$ 且 $\|x-y\| \leq \theta$，有 $\int_\gamma \operatorname{dist}(z,\partial\Omega)^{\frac{1-n}{p-1}} \, ds(z) \leq C\|x-y\|^{\frac{p-n}{p-1}}$，则对所有 $k \geq 1$ 和 $q > p^*$，其为 $W^k_q$-扩张域，其中 $p^* \in (n,p)$ 仅依赖于 $n$、$p$ 和 $C$。
• 当 $n=2$ 且 $p > 2$ 时，一个有界、有限连通的平面域 $\Omega$ 是 $W^1_p$-扩张域，当且仅当对任意 $x,y \in \Omega$，存在一条 $\Omega$ 中的可求长曲线 $\gamma$ 连接它们，使得 $\int_\gamma \operatorname{dist}(z,\partial\Omega)^{\frac{1}{1-p}} \, ds(z) \leq C\|x-y\|^{\frac{p-2}{p-1}}$。
• 子双曲度量 $d_{\alpha,\Omega}$（其中 $\alpha = \frac{p-n}{p-1}$）在 $\Omega$ 上诱导出正则结构，使其成为 $\mathbb{R}^n$ 的正则子集，从而允许使用极大函数技术。
• 在子双曲条件下，$f \in W^k_q(\Omega)$ 的精确极大函数 $f^\sharp_{k,\Omega}$ 满足 $\|f^\sharp_{k,\Omega}\|_{L_q(\Omega)} \leq C\|f\|_{W^k_q(\Omega)}$，从而确保其可扩展至 $W^k_q(\mathbb{R}^n)$。
• 该结果可推广至 $p = \infty$ 的情形，此时此类域为拟欧氏域，因此对所有 $k \geq 1$ 均为 $W^k_\infty$-扩张域，与 Whitney 和 Zobin 的结果一致。
• 证明依赖于对 $|\nabla^k f|$ 的 $L_{p^*}$-范数和 $f$ 的 $L_q$-范数应用 Hardy-Littlewood 极大函数定理，表明极大函数估计可控制扩张范数。