[论文解读] Generalization of Rellich-Kondrachov theorem and trace compacteness in the framework of irregular and fractal boundaries

Anna Rozanova-Pierrat|arXiv (Cornell University)|Feb 25, 2020

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

一句话总结

本文将Rellich-Kondrachov紧致性定理和迹算子紧致性推广至边界不规则及分形的区域，引入了具有非Ahlfors正则$d$-集边界的'Sobolev可接受区域'。通过在不规则设定下使用紧嵌入和迹理论，建立了带Robin边界条件的Poisson方程弱解的存在性、唯一性及谱性质。

ABSTRACT

We present a survey of recent results of the functional analysis allowing to solve PDEs in a large class of domains with irregular boundaries. We extend the previously introduced concept of admissible domains with a d-set boundary on the domains with the boundaries on which the measure is not necessarily Ahlfors regular d-measure. This gives a generalization of Rellich-Kondrachov theorem and the compactness of the trace operator, allowing to obtain, as for a regular classical case the unicity/existence of weak solutions of Poisson boundary valued problem with the Robin boundary condition and to obtain the usual properties of the associated spectral problem.

研究动机与目标

• 将经典的Rellich-Kondrachov定理及迹算子紧致性推广至边界不规则和分形的区域。
• 定义更广泛的区域类别——Sobolev可接受区域——使得即使边界非Ahlfors正则，椭圆PDE的弱解仍保持适定。
• 确保在这些不规则区域上，带Robin边界条件的Poisson方程弱解的存在性与唯一性。
• 通过Hilbert-Schmidt定理在这些广义区域上建立Laplacian的谱性质。
• 将Poincaré不等式和$H^1$中的紧嵌入推广至边界为不规则$d$-集且满足$d > n-1$的情形。

提出的方法

• 引入Sobolev可接受区域的概念，即边界支持满射、连续的迹算子且具有连续右逆的有界区域。
• 将$d$-集边界的概念扩展至超越Ahlfors正则性的范围，涵盖如von Koch曲线等不规则和分形边界。
• 应用Riesz表示定理，通过等价范数$\|u\|_{\mathrm{Tr}}^2 = \int_\Omega |\nabla u|^2 dx + a \int_{\partial\Omega} |\mathrm{Tr}_{\partial\Omega}u|^2 d\mu$定义带Robin边界条件的Poisson问题的弱形式。
• 证明对于有界Sobolev可接受区域，有紧嵌入$H^1(\Omega) \subset\subset L^2(\Omega)$以及迹算子$H^1(\Omega) \to L^2(\partial\Omega)$的紧致性。
• 利用Hilbert-Schmidt定理于紧致自伴算子$T = A \circ i_{L_2(\Omega)}$，推导Laplacian的谱性质。
• 应用Calderón-Stein延拓定理及近期关于$(\varepsilon,\infty)$-区域和$W_p^k$-延拓区域的结果，以证明延拓与迹性质的合理性。

实验结果

研究问题

• RQ1 Rellich-Kondrachov紧致性定理能否推广至边界非Ahlfors正则的$d$-集边界区域？
• RQ2 在何种边界条件下，从$H^1(\Omega)$到$L^2(\partial\Omega)$的迹算子是紧致的？
• RQ3 在具有分形或不规则边界的区域上，带Robin边界条件的Poisson方程的弱形式是否适定？
• RQ4 Laplacian的谱性质——如离散的正特征值且重数有限——是否在这些不规则区域上依然成立？
• RQ5 Poincaré不等式能否推广至具有不规则边界的有界Sobolev可接受区域上的$H^1$函数？

主要发现

• Rellich-Kondrachov定理被推广至具有$d$-集边界的有界Sobolev可接受区域，即使边界测度非Ahlfors正则亦成立。
• 对于有界Sobolev可接受区域，嵌入$H^1(\Omega) \subset\subset L^2(\Omega)$是紧致的，确保在$L^2$中具有弱紧致性。
• 对于具有紧致边界的有界Sobolev可接受区域，迹算子$\mathrm{Tr}: H^1(\Omega) \to L^2(\partial\Omega)$是紧致的。
• 对所有$f \in L^2(\Omega)$和$a > 0$，带Robin边界条件的Poisson问题在$H^1(\Omega)$中存在唯一弱解$u$，满足$\|u\|_{\mathrm{Tr}} \leq C\|f\|_{L^2(\Omega)}$。
• 谱问题$(u,v)_{\mathrm{Tr}} = \lambda (u,v)_{L^2}$具有可数个严格正特征值$\lambda_j \to \infty$，且重数有限，对应的特征函数在$L^2(\Omega)$中构成标准正交基，在$H^1(\Omega)$中构成正交基。
• Poincaré不等式以如下形式成立：$\left\|u - \frac{1}{\lambda(\Omega)}\int_\Omega u\,d\lambda \right\|_{L^p} \leq C\|\nabla u\|_{L^p}$，对$u \in W^{1,p}(\Omega)$成立，其中$C$仅依赖于$\Omega$、$p$和$n$。