[论文解读] Sobolev spaces and regularity for polyhedral domains

Bernd Ammann, Alexandru D. Ionescu+1 more|arXiv (Cornell University)|Feb 19, 2004

Advanced Harmonic Analysis Research参考文献 26被引用 11

一句话总结

该论文通过加权Sobolev空间 K^m_a(P) 在 R³ 中的多面体区域上建立了强椭圆组解的最优正则性。通过将这些空间与关于奇异度量 r_P^{-2}g_E 的Sobolev空间相关联，作者将 P 的内部紧化为具有角点的李流形，从而实现了一个管状邻域定理，将经典Sobolev理论推广至多面体区域，并证明了在光滑系数下 K^m_a-正则性无损失。

ABSTRACT

Abstract. We prove a regularity result on polyhedral domains P ⊂ R3 using the weighted Sobolev spaces Km a (P). In particular, we show that there is no loss of Km a –regularity for solutions of strongly elliptic systems with smooth coefficients. In the proof, we identify Km a (P) with the Sobolev spaces on P associated to the metric r −2 P gE, where gE is the Euclidean metric and rP(x) is a smoothing of the Euclidean distance from x to the set of singular points of P. A suitable compactification of the interior of P then becomes a compact manifold with corners with a distinguished class of vector fields (a Lie manifold). We then prove a tubular neighborhood theorem for Lie submanifolds. This allows us to extend most of the classical results on Sobolev spaces to weighted Sobolev spaces on polyhedral domains, including elliptic regularity. As an application, we include a well-posedness result for a non-standard boundary value problem on a smooth domain with boundary O using weighted Sobolev spaces, where

研究动机与目标

• 在 R³ 中的多面体区域上建立强椭圆组的正则性理论，其中由于几何奇点的存在，标准Sobolev空间失效。
• 通过引入加权Sobolev空间 K^m_a(P)，克服多面体区域在棱边和顶点处缺乏光滑结构的问题。
• 通过将内部紧化为具有角点的李流形，构建一个几何框架，从而实现将经典椭圆正则性理论推广至非光滑区域。
• 为李子流形证明一个管状邻域定理，该定理是将Sobolev理论推广至多面体上加权空间的基础。
• 利用所发展的加权Sobolev框架，证明在光滑区域上一个非标准边值问题的适定性。

提出的方法

• 通过使用权重函数 r_P(x)，即多面体奇异集的欧氏距离的平滑版本，定义加权Sobolev空间 K^m_a(P)。
• 在 P 的内部赋予奇异黎曼度量 r_P^{-2}g_E，其中 g_E 为欧氏度量，从而将 K^m_a(P) 与奇异度量空间上的Sobolev空间相关联。
• 将 int(P) 的内部紧化为一个具有角点的紧致流形，使其成为具有特殊向量场代数的李流形。
• 在该紧化设置下，为李子流形证明一个管状邻域定理，从而实现在奇异集附近的局部分析。
• 利用李流形结构，将经典结果（如迹定理、延拓定理和椭圆正则性）推广至加权Sobolev设置。
• 将该框架应用于光滑区域上具有边界 O 的非标准边值问题，证明在加权 K^m_a 框架下其适定性。

实验结果

研究问题

• RQ1 能否通过加权Sobolev空间将经典椭圆正则性结果推广至具有棱边和顶点的多面体区域？
• RQ2 使用奇异度量 r_P^{-2}g_E 是否能为 K^m_a(P) 提供几何解释，从而支持正则性理论？
• RQ3 多面体区域的内部能否被紧化为具有角点的李流形，以促进对奇异几何的分析？
• RQ4 在该紧化设置下，李子流形的管状邻域定理是否成立，且是否支持正则性传递？
• RQ5 所发展的框架能否确保在多面体区域上，强椭圆系统在光滑系数下解的 K^m_a-正则性无损失？

主要发现

• 在 R³ 中的多面体区域 P 上，具有光滑系数的强椭圆系统解表现出无 K^m_a-正则性损失，即解的正则性与数据正则性一致。
• 加权Sobolev空间 K^m_a(P) 等距地等同于在 P 内部关于奇异度量 r_P^{-2}g_E 的Sobolev空间。
• 将 int(P) 紧化为具有角点的紧致流形后，得到李流形结构，从而可在分析中使用李代数技术。
• 为李子流形建立了一个管状邻域定理，这对于在 P 的奇异集附近进行局部化分析至关重要。
• 该框架使得经典Sobolev理论（包括迹定理和延拓定理）可通过加权 K^m_a 空间推广至多面体区域。
• 通过论文中发展的加权Sobolev框架，获得了在光滑区域上具有边界 O 的一个非标准边值问题的适定性结果。