[论文解读] Maximal parabolic regularity for divergence operators including mixed boundary conditions

Robert Haller‐Dintelmann, Joachim Rehberg|ArXiv.org|Mar 2, 2009

Numerical methods in inverse problems参考文献 46被引用 7

一句话总结

本文在分布空间中建立了具有实系数、$L^∞$ 系数的二阶散度型算子在高度非光滑区域、不连续系数以及混合狄利克雷-诺伊曼边界条件下的一般抛物正则性。关键贡献在于证明了此类算子在不同可积性指数位于 $[0, -1]$ 的索伯列夫、贝索夫和利兹orkin-特里布尔空间上满足最大抛物正则性，通过基于格罗格的正则集合的局部化与插值技术，将已知的 $L^p$ 结果推广至分布设定。

ABSTRACT

We show that elliptic second order operators $A$ of divergence type fulfill maximal parabolic regularity on distribution spaces, even if the underlying domain is highly non-smooth, the coefficients of $A$ are discontinuous and $A$ is complemented with mixed boundary conditions. Applications to quasilinear parabolic equations with non-smooth data are presented.

研究动机与目标

• 将最大抛物正则性从 $L^p$ 空间推广至分布空间，包括索伯列夫、贝索夫和利兹orkin-特里布尔空间，适用于具有非光滑数据的散度型算子。
• 解决现有 $L^p$ 结果的局限性，即排除了非齐次诺伊曼条件和分布型右端项。
• 在这些分布空间中，为具有混合、非线性边界条件的拟线性抛物方程建立最大抛物正则性。
• 通过局部化与区域的几何假设，克服 $(-\nabla\cdot\mu\nabla+1)^{-1/2}$ 在 $L^q$ 中 $q>2$ 时缺乏同构性的障碍。
• 将理论推广至系统与时变系数，应用于具有非光滑数据的拟线性方程。

提出的方法

• 以 $L^p$ 空间中平方根算子 $(-\nabla\cdot\mu\nabla)^{1/2}$ 的正则性结果为基础，将最大抛物正则性扩展至对偶空间。
• 基于格罗格的模型集合实施局部化程序，以处理非利普希茨边界与不规则几何。
• 在 $L^q$ 与 $H^{-1,q}_\Gamma$ 空间之间应用插值技术，推导出中间函数空间上的正则性。
• 依赖于假设 $\Omega \cup \Gamma$ 为格罗格-正则集合，确保存在保持体积的双利普希茨映射，从而简化局部几何。
• 将拟线性抛物方程改写为标准抽象形式，以应用普吕斯（2002）的解的存在性与唯一性结果，要求椭圆算子在 $H^{1,q}_\Gamma$ 上为拓扑同构，其中 $q > d$。
• 在几何假设下，利用 $(-\nabla\cdot\mu\nabla+1)^{-1/2}$ 在 $L^q$ 到 $H^{1,q}_\Gamma$ 上的同构性质（$q \in [2, \infty)$），实现正则性向对偶空间的转移。

实验结果

研究问题

• RQ1 能否在分布空间而非 $L^p$ 空间中为具有不连续系数与混合边界条件的散度型算子建立最大抛物正则性？
• RQ2 当 $(-\nabla\cdot\mu\nabla+1)^{-1/2}$ 在 $L^q$ 中 $q>2$ 时缺乏同构性，是否阻碍了抛物正则性向对偶空间的推广？
• RQ3 该理论在非光滑设定下，对具有非线性、混合边界条件的拟线性抛物方程，其推广程度如何？
• RQ4 区域的几何假设（如格罗格正则性）如何实现不规则区域中正则性结果的局部化？
• RQ5 结果能否推广至方程组与时变系数？所需的最小假设是什么？

主要发现

• 当区域与边界部分满足格罗格正则性条件时，具有实系数、$L^\infty$ 系数的散度型算子在 $H^{-1,q}_\Gamma$ 空间上对所有 $q \in [2, \infty)$ 满足最大抛物正则性。
• 关键技术结果为：当 $\Omega \cup \Gamma$ 为格罗格-正则集合时，$(-\nabla\cdot\mu\nabla+1)^{-1/2}: L^q \to H^{1,q}_\Gamma$ 在 $q \in [2, \infty)$ 范围内为拓扑同构。
• 局部化方法成功地将最大抛物正则性从 $L^q$ 传递至非光滑区域中的 $H^{-1,q}_\Gamma$，即使全局同构性不成立。
• 在 $L^q$ 与 $H^{-1,q}_\Gamma$ 之间进行插值，可得到贝索夫与利兹orkin-特里布尔空间上的最大抛物正则性，其可微性指标位于 $[0, -1]$。
• 当椭圆算子 $-\nabla\cdot\mu\nabla + 1$ 在 $H^{1,q}_\Gamma$ 上为拓扑同构（$q > d$，$d$ 为空间维数）时，结果适用于具有混合、非线性边界条件的拟线性抛物方程。
• 该理论可推广至对角型系统，并可通过最小修改扩展至时变系数与非齐次狄利克雷条件。