[论文解读] Generalized Morrey regularity for parabolic equations with discontinuity data

Vagif S. Guliyev, Lubomira G. Softova|arXiv (Cornell University)|Oct 24, 2012

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

一句话总结

本文在广义抛物型Morrey空间中建立了具有VMO系数的线性一致抛物方程柯西-狄利克雷问题解的全局正则性估计。通过证明抛物型Calderón-Zygmund算子及其与BMO函数的换位子在这些空间中的有界性，作者导出了先验估计，从而得到二阶导数的 Hölder 连续性和全局可积性，将正则性理论扩展至经典Lebesgue空间和标准Morrey空间之外。

ABSTRACT

We obtain continuity in generalized parabolic Morrey spaces of sublinear integrals generated by the parabolic Calderón-Zygmund operators and its commutator with $VMO$ functions. The obtained estimates are used to study global regularity of the solutions of the Cauchy-Dirichlet problem for linear uniformly parabolic equations with discontinuous coefficients.

研究动机与目标

• 通过采用广义抛物型Morrey空间，将抛物型PDE的正则性理论扩展至经典Lebesgue空间和标准Morrey空间之外。
• 在广义Morrey空间中建立由抛物型Calderón-Zygmund积分及其与VMO函数换位子生成的次线性算子的连续性性质。
• 在广义抛物型Morrey空间中，为具有不连续（VMO）系数的柯西-狄利克雷问题解导出全局先验估计。
• 在系数的正则性假设最小化的情况下，证明解具有Hölder连续的二阶导数。
• 通过覆盖论证和单位分解，统一处理内部与边界估计，从而在广义Morrey尺度中实现全局正则性。

提出的方法

• 利用通过满足特定加倍和衰减条件的径向权函数 $ \varphi $ 定义的广义抛物型Morrey空间 $ M_{p,\theta} $。
• 应用抛物型Calderón-Zygmund理论，分析奇异积分算子及其与 $ BMO $ 函数换位子在广义Morrey空间上的作用。
• 采用抛物型度量 $ \rho(x) = \left( \frac{|x'|^2 + \sqrt{|x'|^4 + 4t^2}}{2} \right)^{1/2} $，以及等价的抛物型柱体 $ \mathcal{I}_r $ 和椭球体 $ \mathcal{E}_r $ 来定义局部范数。
• 利用抛物型方程的结构和系数的有界性，推导出 $ D^2u $ 的Caccioppoli型估计。
• 应用涉及奇异积分 $ \mathfrak{K}_{ij} $、$ \mathfrak{C}_{ij} $ 及其换位子型项的边界表示公式，以控制边界行为。
• 通过将区域用小柱体覆盖并引入单位分解，结合内部与边界估计，最终获得全局 $ W^{2,1}_{p,\varphi} $-正则性。

实验结果

研究问题

• RQ1 抛物型方程在不连续系数下的正则性理论能否被推广到广义抛物型Morrey空间？
• RQ2 权函数 $ \varphi $ 需满足何种条件，才能保证抛物型Calderón-Zygmund算子及其换位子在 $ M_{p,\varphi} $ 中有界？
• RQ3 系数的 $ VMO $-正则性假设如何影响二阶导数的全局可积性和Hölder连续性？
• RQ4 能否利用积分表示公式，为柯西-狄利克雷问题在广义Morrey空间中导出全局先验估计？
• RQ5 抛物型度量和抛物型柱体在非散度型方程正则性分析中起什么作用？

主要发现

• 若权函数 $ \varphi $ 满足所需的加倍和衰减条件，则抛物型Calderón-Zygmund算子及其与 $ VMO $ 函数的换位子在广义抛物型Morrey空间 $ M_{p,\varphi} $ 中有界。
• 建立了Caccioppoli型估计：$ \|D^2u\|_{p,\varphi;\mathcal{C}_{r/2}(x_0)} \leq C\left( \|f\|_{p,\varphi;Q} + \frac{1}{r^2}\|u\|_{p,\varphi;\mathcal{C}_r(x_0)} \right) $，该估计可局部控制二阶导数。
• 获得全局正则性：对于嵌套区域 $ \Omega' \subset \subset \Omega'' \subset \subset \Omega $，有 $ \|u\|_{W^{2,1}_{p,\varphi}(Q')} \leq C\left( \|f\|_{p,\varphi;Q} + \|u\|_{p,\varphi;Q''} \right) $，其中常数 $ C $ 依赖于 $ n,p,\Lambda,T,\|\mathbf{a}\|_{\infty},\eta_{\mathbf{a}} $ 及到边界距离。
• 边界估计给出 $ \|u\|_{W^{2,1}_{p,\varphi}(Q \setminus Q')} \leq C\|f\|_{p,\varphi;Q} $，表明解的范数由全局Morrey范数中的右端项控制。
• 在吸收低阶项后，对小的 $ r $，有 $ \|u\|_{p,\varphi;\mathcal{C}_r^+} \leq C\|f\|_{p,\varphi;Q} $，确认在Morrey尺度中实现全局控制。
• 通过结合内部与边界估计，最终建立全局估计 $ \|u\|_{W^{2,1}_{p,\varphi}(Q)} \leq C\|f\|_{p,\varphi;Q} $，从而证明了在广义抛物型Morrey空间中的全局正则性。