[论文解读] Embedding operators and boundary-value problems for rough domains

Goldshtein, V. G., А. Г. Рамм|ArXiv.org|Nov 8, 2004

Advanced Numerical Analysis Techniques参考文献 11被引用 4

一句话总结

本文通过分析Sobolev空间与Lebesgue空间之间的嵌入算子，建立了在粗糙区域上具有Dirichlet、Neumann和Robin条件的椭圆型边值问题的存在性与Fredholm性质——具体而言，是在边界仅具有最小光滑性假设的区域上。关键贡献在于证明了对于一大类粗糙区域（包括具有Lipschitz边界的区域及拟等距等价区域），嵌入算子 $ i_2: H^1(D) \to L^2(\partial D) $ 是紧致的，从而为谱理论和散射应用奠定了基础。

ABSTRACT

In the first part of the paper boundary-value problems are considered under weak assumptions on the smoothness of the domains. We assume nothing about smoothness of the boundary $\partial D$ of a bounded domain $D$ when the homogeneous Dirichlet boundary condition is imposed; we assume boundedness of the embedding $i_{1}:H^{1}(D) o L^{2}(D)$ when the Neumann boundary condition is imposed; we assume boundedness of the embeddings $i_{1}$ and of $i_{2}:H^{1}(D) o L^{2}(\partial D)$ when the Robin boundary condition is imposed, and, if, in addition, $i_{1}$ and $i_{2}$ are compact, then the boundary-value problems with the spectral parameter are of Fredholm type. Several examples of the classes of rough domains for which the embedding $i_2$ is compact are given. Applications to scattering by rough obstacles are mentioned.

研究动机与目标

• 将椭圆型边值问题理论推广至边界仅具有最小光滑性假设的区域。
• 分析粗糙区域上嵌入算子 $ i_1: H^1(D) \to L^2(D) $ 和 $ i_2: H^1(D) \to L^2(\partial D) $ 的有界性与紧致性。
• 在弱正则性条件下，为含谱参数的边值问题建立Fredholm性质。
• 引入并表征一类新的粗糙区域——拟等距等价于立方体的区域——其中迹嵌入 $ i_2 $ 是紧致的。
• 将结果应用于粗糙障碍物的散射问题，特别是在外区域中的情形。

提出的方法

• 通过边值问题的弱形式（例如，$[u,\phi] = (F,\phi)$）避免对 $ \partial D $ 的光滑性提出要求。
• 利用极限吸收原理证明外区域中解的存在性。
• 通过从标准区域出发的拟等距同胚定义一类区域 $ QI $（拟等距等价于立方体的区域）。
• 利用拟等距性与同胚的N-1性质，证明对于 $ QI $-区域，迹嵌入 $ i_2: H^1(D) \to L^2(\partial D) $ 是紧致的。
• 利用 $ i_2 $ 和 $ i_1 $ 的紧致性，为含谱参数的问题建立Fredholm性质。
• 通过将外区域 $ D' = \mathbb{R}^n \setminus D $ 嵌入具有光滑边界分量的更大区域 $ \widetilde{D} $，将理论应用于外区域。

实验结果

研究问题

• RQ1 在 $ \partial D $ 的边界满足何种最小正则性假设时，Laplacian的Dirichlet、Neumann和Robin边值问题在 $ H^1(D) $ 中有解？
• RQ2 在粗糙区域中，何时迹嵌入 $ i_2: H^1(D) \to L^2(\partial D) $ 是紧致的？
• RQ3 能否在非光滑区域上为含谱参数的边值问题建立Fredholm性质？
• RQ4 哪些类别的粗糙区域允许紧致迹嵌入？它们在几何上如何表征？
• RQ5 这些结果如何推广至具有粗糙障碍物的外区域中的散射问题？

主要发现

• 对于属于类 $ QI $ 的区域，嵌入算子 $ i_2: H^1(D) \to L^2(\partial D) $ 是紧致的，该类区域包括所有拟等距等价于立方体的区域。
• 类 $ QI $ 包含具有Lipschitz边界的区域，以及更不规则的边界区域（如螺旋形区域），其边界并非任何Lipschitz函数的图像。
• 对于 $ D \in Q $，若 $ i_1 $ 和 $ i_2 $ 均为紧致，则带谱参数的Robin条件边值问题为Fredholm型。
• 外区域中的Dirichlet、Neumann和Robin问题在 $ H^1_{\text{loc}}(D') \cap L^2_a(D') $（$ a \in (1,2) $）中存在解，且解由极限 $ (A - i0)^{-1}F $ 给出。
• 对于任意有界子区域 $ \widetilde{D} \subset D' $，若其边界由 $ \partial D $ 和一个光滑紧致流形 $ S $ 构成，且 $ \widetilde{D} \in Q $，则迹嵌入 $ i_2 $ 是紧致的。
• 通过从三角形出发的拟等距微分同胚构造螺旋形区域，表明此类区域属于 $ QI $，且其边界在原点外为 $ Q $-Lipschitz。