[论文解读] Hölder estimates for parabolic operators on domains with rough boundary

Karoline Disser, Tom Ter Elst+1 more|arXiv (Cornell University)|Mar 24, 2015

Advanced Mathematical Modeling in Engineering参考文献 23被引用 4

一句话总结

本文在边界粗糙的区域上，针对具有混合边界条件的二阶抛物方程，于最小的几何与系数假设下建立了解的 Hölder 连续性。通过利用最大抛物正则性与实插值理论，证明了解属于时空 Hölder 空间 $ C^\beta((0,T)\times\Omega) $，其中 $ \beta > 0 $，即使 Dirichlet 与 Neumann 边界部分不规则或非光滑，从而将经典抛物正则性理论推广至更广泛的几何设定。

ABSTRACT

We investigate linear parabolic, second-order boundary value problems with mixed boundary conditions on rough domains. Assuming only boundedness and ellipticity on the coefficient function and very mild conditions on the geometry of the domain, including a very weak compatibility condition between the Dirichlet boundary part and its complement, we prove Hölder continuity of the solution in space and time.

研究动机与目标

• 将经典抛物 Hölder 正则性理论推广至 Dirichlet 与 Neumann 部分无需光滑或良好分离的粗糙边界区域。
• 弱化边界上的几何假设，以 Dirichlet 与 Neumann 部分之间的测度相容性条件替代经典正则性条件。
• 在系数函数与区域几何的最小假设下，证明 $ L^s((0,T);L^p(\Omega)) $ 与 $ L^s((0,T);W^{-1,q}_D(\Omega)) $ 数据对应的解具有时空 Hölder 连续性。
• 建立适用于非对称、有界、可测系数及不规则区域的理论框架，包括 Dirichlet 部分不构成 $ C^1 $-边界的情形。

提出的方法

• 在 $ W^{-1,q}_D $-空间中利用算子 $ \mathcal{A}_q $ 的最大抛物正则性，控制解在时间和空间上的范数。
• 使用实插值理论，将 $ (W^{-1,q}_D, \operatorname{Dom}(\mathcal{A}_q))_{\theta,\varsigma} $ 的复插值尺度与经典 Hölder 空间 $ C^\kappa $ 关联。
• 通过引理 4.7 将 $ L^p $ 空间与 $ W^{-1,q}_D $-空间中椭圆算子的分数阶幂之间的抽象关系应用于跨函数空间的正则性传递。
• 引入边界上的测度理论条件（假设 4.3），确保在 $ D \cap \overline{\Upsilon} $ 的邻域内 Dirichlet 部分不稀少，从而替代经典几何相容性条件。
• 利用 $ (\mathcal{A}_q + 1)^{-1/2} $ 是 $ W^{-1,q}_D $ 与 $ L^q $ 之间的同构这一事实，实现从基于 $ L^q $ 的估计向正则性传递。
• 结合时间各向异性的正则性估计与实插值的重迭代定理，推导出解的 $ C^\beta(J; C^\kappa) $-正则性。

实验结果

研究问题

• RQ1 能否在 Dirichlet 与 Neumann 部分不光滑的粗糙边界区域上建立抛物方程解的 Hölder 连续性？
• RQ2 边界部分 $ D $ 与 $ \Upsilon $ 的何种最小几何假设足以保证解的时空 Hölder 正则性？
• RQ3 在弱系数与几何假设下，经典抛物 Hölder 理论能否推广至 $ W^{-1,q}_D(\Omega) $ 中的分布型右端项情形？
• RQ4 是否可通过插值与算子理论，将基于 $ L^p $ 的椭圆理论中的 Hölder 正则性传递至 $ W^{-1,q}_D $-设定？
• RQ5 系数函数 $ \mu $、区域 $ \Omega $ 的几何结构以及边界分解 $ D \cup \Upsilon $ 之间的相互作用如何影响解的正则性？

主要发现

• 即使区域 $ \Omega $ 的边界粗糙，且 $ D $、$ \Upsilon $ 不光滑或未良好分离，解仍属于 $ C^\beta((0,T)\times\Omega) $，其中 $ \beta > 0 $。
• Hölder 指数 $ \beta $ 满足 $ \beta = 1 - \frac{1}{s} - \theta $，其中 $ \theta \in \left(\frac{d}{2q} + \frac{\kappa}{2} + \frac{1}{2}, 1 - \frac{1}{s}\right) $，在给定约束下保证 $ \beta > 0 $。
• 解范数满足估计式 $ \|u\|_{C^\beta(J;C^\kappa)} \leq c\left(\|f\|_{L^s(J;W^{-1,q}_D)} + \|u_0\|_{X_{s,-1,q}}\right) $，其中 $ c > 0 $ 与 $ f $、$ u_0 $ 无关。
• 该结果在最小假设下成立：$ \mu $ 有界且椭圆，$ D $ 满足外体积条件，$ \Upsilon $ 与 $ D $ 满足测度相容性条件。
• 该框架允许非对称系数函数及非 $ C^1 $-正则区域，包括在 Grisvard 意义下 Dirichlet 部分非连续边界的情形。
• 关键技术进展在于识别出 $ (W^{-1,q}_D, \operatorname{Dom}(\mathcal{A}_q))_{\theta,\varsigma} = (L^q, \operatorname{Dom}(A_q))_{\theta - \frac{1}{2}, \varsigma} $，从而实现从 $ L^q $ 到 $ W^{-1,q}_D $ 的正则性传递。