[论文解读] Global Hoelder continuity of solutions to quasilinear equations with Morrey data

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

Nonlinear Partial Differential Equations参考文献 23被引用 6

一句话总结

本文建立了具有 Morrey 型数据的拟线性椭圆方程弱解在边界处的全局 Hölder 连续性，扩展了 Ladyzhenskaya 和 Ural’tseva 的经典结果。通过假设非线性项满足受控或自然增长条件，并在区域上施加容量密度条件，作者证明了即使在非光滑区域（包括具有分形边界的区域）中，解也是全局有界且 Hölder 连续的。

ABSTRACT

We deal with general quasilinear divergence-form coercive operators whose prototype is the $m$-Laplacean operator. The nonlinear terms are given by Carathéodory functions and satisfy controlled growth structure conditions with data belonging to suitable Morrey spaces. The fairly non-regular boundary of the underlying domain is supposed to satisfy a capacity density condition which allows domains with exterior corkscrew property. We prove global boundedness and Hoelder continuity up to the boundary for the weak solutions of such equations, generalizing this way the classical $L^p$-result of Ladyzhenskaya and Ural'tseva to the settings of the Morrey spaces.

研究动机与目标

• 在具有非光滑边界和 Morrey 空间中数据的拟线性椭圆方程中，建立弱解的全局 Hölder 连续性。
• 将 Ladyzhenskaya 和 Ural’tseva 的经典 $ L^p $-基正则性结果推广到 Morrey 空间框架。
• 将正则性理论扩展到具有测度数据和满足受控或自然增长条件的非线性项的方程。
• 允许处理具有分形或不规则边界的区域，例如满足统一 $ m $-厚度条件的区域。
• 在数据的可积性假设最小化的前提下，提供有界性和 Hölder 连续性的统一框架。

提出的方法

• 采用 $ W^{1,m}_0(\bar{\Omega}) $ 中弱解的变分框架，确保梯度的存在性和可积性。
• 对非线性项 $ \mathbf{a} $ 和 $ b $ 施加受控增长条件，分别对应于 Morrey 空间 $ L^{p,\lambda} $ 和 $ L^{q,\mu} $ 中的数据。
• 应用容量密度条件（即 $ \mathbb{R}^n \setminus \Omega $ 的统一 $ m $-厚度）以处理非光滑区域。
• 利用 Moser 迭代和振幅估计推导局部 Hölder 连续性，再将其推广至整体。
• 依赖于 $ m $-拉普拉斯算子及其推广作为拟线性算子的原型。
• 利用有界弱解在自然结构条件下满足相同的先验估计这一事实，即使 $ b $ 的增长被放宽亦成立。

实验结果

研究问题

• RQ1 在何种数据和区域条件下，拟线性椭圆方程的弱解是全局 Hölder 连续的？
• RQ2 经典基于 $ L^p $ 的正则性结果能否推广到拟线性方程的 Morrey 空间设定中？
• RQ3 解的正则性如何依赖于低阶项和 Morrey 型尺度下测度数据的可积性？
• RQ4 边界正则性理论在多大程度上可推广至具有非光滑或分形边界的区域？
• RQ5 有界弱解保持 Hölder 连续性所需的最小增长结构是什么？

主要发现

• 在容量密度条件和 Morrey 空间数据下，Dirichlet 问题的弱解在 $ \overline{\Omega} $ 上是全局有界且 Hölder 连续的。
• Hölder 指数和常数显式依赖于方程的数据以及解的 $ L^\infty $-范数。
• 该结果适用于满足统一 $ m $-厚度条件的区域，包括具有外部柯尔克夫性质或 Reifenberg-平坦边界的区域。
• 该框架将 Ladyzhenskaya 和 Ural’tseva 的经典 $ L^p $-结果推广到 Morrey 空间设定，即使对 $ m $-拉普拉斯型算子也成立。
• 在自然结构条件下，有界性和 Hölder 连续性得以保持，即使 $ b $ 的增长从 $ |\xi|^{m(1-1/m^*)} $ 放宽至 $ |\xi|^m $。
• 通过振幅估计和 Moser 迭代的证明技术在更弱假设下依然有效，确保了解的全局正则性。