[论文解读] Extending Sobolev Functions with Partially Vanishing Traces from Locally (epsilon,delta)-Domains and Applications to Mixed Boundary Problems

Kevin Brewster, Dorina Mitrea+2 more|arXiv (Cornell University)|Aug 21, 2012

Advanced Mathematical Modeling in Engineering参考文献 13被引用 6

一句话总结

本文建立了在局部 $(\varepsilon,\delta)$-定义域上，具有部分消失迹的 Sobolev 函数的有界线性延拓算子的存在性，从而为高阶 Sobolev 空间提供了泛函分析框架。主要贡献在于，在满足强椭圆性和 Ahlfors 正则性条件时，此类定义域中高阶椭圆系统混合边值问题的适定性，尤其在 $p$ 接近 2 时成立。

ABSTRACT

We prove that given any positive integer $k$, for each open set $Ω$ and any closed subset $D$ of its closure such that $Ω$ is locally an (epsilon,delta)-domain near points in the boundary of $Ω$ not contained in $D$ there exists a linear and bounded extension operator $E$ mapping, for each $p\in[1,\infty]$, the space $W^{k,p}_D(Ω)$ into $W^{k,p}_D({\mathbb{R}}^n)$. Here, with $O$ denoting either $Ω$ or the entire ambient, the space $W^{k,p}_D(O)$ is defined as the completion in the classical Sobolev space $W^{k,p}(O)$ of compactly supported smooth functions whose supports are disjoint from $D$. In turn, this result is used to develop a functional analytic theory for the class $W^{k,p}_D(Ω)$ (including intrinsic characterizations, boundary traces and extensions results, interpolation theorems, among other things) which is then employed in the treatment of mixed boundary value problems formulated in locally (epsilon,delta)-domains.

研究动机与目标

• 为在闭集 $D \subset \overline{\Omega}$ 上具有部分消失迹的 Sobolev 空间 $W^{k,p}_D(\Omega)$ 建立泛函分析理论。
• 当 $\Omega$ 在 $\partial\Omega \setminus D$ 附近为局部 $(\varepsilon,\delta)$-定义域时，通过线性有界延拓算子将 $W^{k,p}_D(\Omega)$ 中的函数延拓至 $W^{k,p}_D(\mathbb{R}^n)$。
• 将延拓理论应用于非 Lipschitz 定义域中高阶椭圆系统混合边值问题的可解性。
• 在 $p$ 接近 2 的条件下，建立 $(\varepsilon,\delta)$-定义域中非齐次 Poisson 与 Neumann 问题的适定性。

提出的方法

• 基于 Whitney 型分解与单位分解的创新方法，构造从 $W^{k,p}_D(\Omega)$ 到 $W^{k,p}_D(\mathbb{R}^n)$ 的线性延拓算子 $\mathfrak{E}_{k,D}$。
• 运用实分析与复分析插值理论刻画迹空间，并将 $L^p$ 中的结果推广至 Besov 空间。
• 利用局部 $(\varepsilon,\delta)$-定义域的概念，将经典延拓定理推广至非 Lipschitz 定义域之外。
• 应用开映射定理与对偶性，确保延拓算子与迹算子的有界性。
• 依赖强椭圆性条件与边界 Ahlfors 正则性，控制解在边界附近的性质。
• 通过分解 $u = v + w$ 将非齐次问题转化为 Dirichlet 问题，其中 $v$ 匹配迹，$w$ 解决余项。

实验结果

研究问题

• RQ1 当 $\Omega$ 在 $\partial\Omega \setminus D$ 附近为局部 $(\varepsilon,\delta)$-定义域时，能否以有界线性方式将 $\overline{\Omega}$ 的闭子集 $D$ 上具有部分消失迹的 Sobolev 函数延拓至 $\mathbb{R}^n$？
• RQ2 空间 $W^{k,p}_D(\Omega)$ 的内在表征是什么，包括其迹与延拓性质？
• RQ3 在何种几何与分析条件下，高阶椭圆系统在局部 $(\varepsilon,\delta)$-定义域中的混合边值问题是适定的？
• RQ4 在具有 Ahlfors 正则边界的非 Lipschitz 定义域中，能否在 $p$ 接近 2 时建立 Poisson 与 Neumann 问题的适定性？

主要发现

• 对于任意 $k \in \mathbb{N}$，$p \in [1,\infty]$，以及任意闭集 $D \subset \overline{\Omega}$，只要 $\Omega$ 在 $\partial\Omega \setminus D$ 附近为局部 $(\varepsilon,\delta)$-定义域，则存在从 $W^{k,p}_D(\Omega)$ 到 $W^{k,p}_D(\mathbb{R}^n)$ 的线性有界延拓算子 $\mathfrak{E}_{k,D}$。
• $W^{k,p}_D(\Omega)$ 空间具备完整的泛函分析理论，包括内在表征、迹算子与插值定理。
• 完全非齐次 Poisson 问题 $\mathcal{L}u = f$，$\mathscr{R}^{(m)}_{\Omega \to \partial\Omega}u = \dot{g}$ 在 $p$ 的一个靠近 2 的邻域内适定，具体为 $\frac{p_*}{p_* - 1} < p < p_*$，其中 $p_*$ 依赖于 $n, m, M, d, \Omega, A, \kappa$。
• 在相同 $p$ 范围内，非齐次 Neumann 问题适定，解在次数不超过 $m-1$ 的调和多项式意义下唯一，前提是满足相容性条件 $\langle f, v \rangle = 0$ 对所有 $v \in \mathcal{P}_{m-1}(\Omega)$ 成立。
• 该结果将 Calderón 与 Stein 的经典延拓定理推广至更广泛的局部 $(\varepsilon,\delta)$-定义域类，且适用于具有部分消失迹的函数。
• 该理论适用于具有有界可测系数的高阶椭圆系统，在强椭圆性与 Ahlfors 正则边界条件下，可在 $p$ 接近 2 时实现 $W^{m,p}$-空间中的可解性。