[论文解读] Global gradient estimates in weighted Lebesgue spaces for parabolic operators

Sun‐Sig Byun, Dian K. Palagachev+1 more|arXiv (Cornell University)|Jan 1, 2013

Advanced Harmonic Analysis Research参考文献 31被引用 21

一句话总结

本论文在可测系数的散度型二阶抛物系统于 Reifenberg 平坦区域上，建立了加权勒贝格空间中的全局梯度估计。通过假设系数的局部 BMO 小性及 $\omega \in A_{p/2}$ 权函数，证明了弱解的空间梯度属于 $L^p_\omega$，将 Calderón–Zygmund 理论推广至加权与非光滑情形，并在系数与几何条件上达到最优。

ABSTRACT

We deal with the regularity problem for linear, second order parabolic equations and systems in divergence form with measurable data over non-smooth domains, related to variational problems arising in the modeling of composite materials and in the mechanics of membranes and films of simple non-homogeneous materials which form a linear laminated medium. Assuming partial BMO smallness of the coefficients and Reifenberg flatness of the boundary of the underlying domain, we develop a Calder\\'{o}n--Zygmund type theory for such parabolic operators in the settings of the weighted Lebesgue spaces. As consequence of the main result, we get regularity in parabolic Morrey scales for the spatial gradient of the weak solutions to the problems considered.

研究动机与目标

• 为具有不连续系数的抛物系统在非光滑区域上建立加权 $L^p$-Calderón–Zygmund 理论。
• 在加权勒贝格空间 $L^p_\omega(Q)$ 中，为弱解建立全局梯度估计，其中 $\omega \in A_{p/2}$。
• 在最小几何与系数假设下刻画解的正则性：Reifenberg 平坦边界与系数的局部 BMO 小性。
• 将无权 $L^p$ 结果推广至加权情形，实现 $p$ 与权函数的最优条件。
• 为解的空间梯度推导其在抛物 Morrey 刻度下的正则性。

提出的方法

• 在抛物柱体中使用 Calderón–Zygmund 类型的分解，以控制梯度的上水平集。
• 利用抛物极大函数及其在 $L^p_\omega$ 空间上的有界性，通过 Muckenhoupt $A_{p/2}$ 权函数实现。
• 应用反 Hölder 不等式与 John–Nirenberg 型估计，以控制系数在 BMO 范数下的振荡。
• 对系数矩阵与区域边界施加一维余维的 $(\delta,R)$-消失条件，以确保 BMO 振荡较小。
• 依赖于边界的 Reifenberg 平坦性，以在所有尺度上实现由超平面的均匀逼近。
• 在 $H^1$-型空间中使用弱解框架，并通过覆盖与迭代论证推导 $L^p_\omega$ 估计。

实验结果

研究问题

• RQ1 在何种系数与区域几何条件下，可为抛物系统弱解的空间梯度建立全局 $L^p_\omega$ 估计？
• RQ2 Muckenhoupt $A_{p/2}$ 权函数的选择如何影响极大算子的有界性与梯度估计的有效性？
• RQ3 在保持加权空间中梯度 $L^p$ 可积性的前提下，系数的不连续性可允许到何种程度？
• RQ4 Calderón–Zygmund 理论能否推广至具有非光滑区域的抛物系统的加权勒贝格空间？
• RQ5 此类估计成立的最优 $p$ 范围以及系数与边界所需的最小正则性为何？

主要发现

• 对于 $p \in (2,\infty)$ 且 $\omega \in A_{p/2}$，弱解的空间梯度 $Du$ 属于 $L^p_\omega(Q)$，且满足估计 $\|Du\|_{L^p_\omega(Q)} \leq c\|\mathbf{F}\|_{L^p_\omega(Q)}$。
• 估计中的常数 $c$ 与解和数据无关，仅依赖于 $n$、$m$、$L$、$\nu$、$p$ 和 $\omega$。
• 该结果在系数矩阵 $\mathbf{A}$ 与区域 $\Omega$ 均为余维 1 的 $(\delta,R)$-消失且 $\delta$ 足够小时成立。
• 要求 $\Omega$ 的边界为 Reifenberg 平坦，以确保在所有尺度上可由超平面均匀逼近。
• 该理论可推广至系统情形：若 $\mathbf{F} \in L^p_\omega(Q, \mathbb{R}^{mn})$，则梯度 $D\mathbf{u}$ 属于 $L^p_\omega(Q, \mathbb{R}^{mn})$。
• 作为推论，可获得抛物 Morrey 空间中的正则性：若 $\mathbf{F} \in L^{p,\lambda}(Q, \mathbb{R}^{mn})$ 且 $\lambda \in (0, n+2)$，则 $D\mathbf{u} \in L^{p,\lambda}(Q, \mathbb{R}^{mn})$。