[论文解读] The square root problem for second order, divergence form operators with mixed boundary conditions on $L^p$

Pascal Auscher, Nadine Badr+2 more|arXiv (Cornell University)|Oct 2, 2012

Advanced Harmonic Analysis Research参考文献 40被引用 5

一句话总结

该论文在假设 $ p=2 $ 时该同构成立的前提下，证明了具有混合边界条件的二阶散度型椭圆算子的平方根在加权 Sobolev 空间 $ W^{1,p}_D(\Omega) $ 与 $ L^p(\Omega) $ 之间给出一个拓扑同构，其中 $ p \in (1,2) $。该结果将 Kato 的平方根问题推广至具有一般几何与系数条件的非希尔伯特空间 $ L^p $，通过在具有 Ahlfors-David 正则 Dirichlet 部分和 Neumann 部分上具有双李普希茨图的不规则区域上使用插值与 Hardy 型不等式来实现。

ABSTRACT

We show that, under general conditions, the operator $\\bigl (-\ abla \\cdot \\mu \ abla +1\\bigr)^{1/2}$ with mixed boundary conditions provides a topological isomorphism between $W^{1,p}_D(\\Omega)$ and $L^p(\\Omega)$, for $p \\in {]1,2[}$ if one presupposes that this isomorphism holds true for $p=2$. The domain $\\Omega$ is assumed to be bounded, the Dirichlet part $D$ of the boundary has to satisfy the well-known Ahlfors-David condition, whilst for the points from $\\overline {\\partial \\Omega \\setminus D}$ the existence of bi-Lipschitzian boundary charts is required.

研究动机与目标

• 将 Kato 的平方根问题推广至 $ L^p $-空间，其中 $ p \neq 2 $，且具有混合边界条件。
• 建立散度型椭圆算子平方根的定义域为 Sobolev 空间 $ W^{1,p}_D(\Omega) $，其中 $ p \in (1,2) $。
• 将先前关于椭圆算子在 $ L^p $-同构方面的结果推广至具有混合边界条件的非光滑区域。
• 通过全局几何假设，为已知结果在纯 Dirichlet 与 Neumann 情况下提供一种新证明。

提出的方法

• 以 $ p=2 $ 时平方根同构成立为起点假设。
• 应用实分析与复分析插值理论，将同构性质从 $ L^2 $ 扩展至 $ L^p $，其中 $ p \in (1,2) $。
• 通过延拓算子与 $ p $-紧致性准则，推导出适用于混合边界条件的 Hardy 型不等式。
• 对 Neumann 部分使用双李普希茨边界图，对 Dirichlet 部分使用 Ahlfors-David 条件，以控制几何不规则性。
• 应用 Calderón-Zygmund 分解与算子理论，控制平方根在 $ L^p $ 上的行为。
• 通过对偶性与伴随算子论证，将性质从 $ L^p $ 传递至 $ W^{-1,q}_D $-空间，其中 $ q \in [2,\infty) $。

实验结果

研究问题

• RQ1 具有混合边界条件的二阶散度型算子的平方根是否在 $ W^{1,p}_D(\Omega) $ 与 $ L^p(\Omega) $ 之间定义一个拓扑同构，其中 $ p \in (1,2) $？
• RQ2 在一般几何与系数条件下，平方根算子的 $ L^p $-同构性质能否从 $ p=2 $ 扩展至 $ p \in (1,2) $？
• RQ3 对区域 $ \Omega $ 及其边界分解 $ D \cup (\partial\Omega \setminus D) $，需要满足何种几何条件，才能确保平方根算子的 $ L^p $-同构性？
• RQ4 插值技术与 Hardy 型不等式如何促进平方根问题向非希尔伯特空间 $ L^p $-空间的推广？
• RQ5 平方根算子的 $ L^p $-同构性对算子在对偶空间上的 $ H^\infty $-演算与最大抛物型正则性有何影响？

主要发现

• 在假设 $ p=2 $ 时成立的前提下，平方根算子 $ (-\nabla \cdot \mu \nabla + 1)^{1/2} $ 对所有 $ p \in (1,2) $ 在 $ W^{1,p}_D(\Omega) $ 与 $ L^p(\Omega) $ 之间给出一个拓扑同构。
• 该结果在最小几何假设下成立：Dirichlet 部分 $ D $ 满足 Ahlfors-David 条件，且 Neumann 部分 $ \partial\Omega \setminus D $ 允许使用双李普希茨边界图。
• 通过延拓算子与 $ p $-紧致性准则，建立了适用于混合边界条件的 Hardy 不等式，从而控制了边界附近的奇点。
• 伴随算子 $ (-\nabla \cdot \mu^T \nabla + 1)^{1/2} $ 诱导了从 $ L^q(\Omega) $ 到 $ W^{-1,q}_D(\Omega) $ 的同构，其中 $ q \in [2,\infty) $，从而支持对偶性论证。
• 算子 $ -\nabla \cdot \mu \nabla + 1 $ 在 $ L^q(\Omega) $ 上具有有界 $ H^\infty $-演算，角度为 $ \arctan(\|\mu\|_{L^\infty}/\mu_\bullet) $，并满足最大抛物型正则性。
• 将算子扩展至 $ W^{-1,q}_D(\Omega) $ 保持了正性、有界 $ H^\infty $-演算与最大抛物型正则性，从而为非线性抛物型方程的应用提供了可能。