[论文解读] Local Hölder continuity for doubly nonlinear parabolic equations

Tuomo Kuusi, Juhana Siljander+1 more|arXiv (Cornell University)|Jun 4, 2010

Nonlinear Partial Differential Equations参考文献 14被引用 5

一句话总结

本文在一般测度空间中，通过两阶段方法——大尺度振幅的哈纳克不等式与小尺度行为的内在标度——建立了双非线性抛物方程的非负弱解的局部 Hölder 连续性，该方法在最小几何假设（测度加倍性和 Poincaré 不等式）下提供了稳健的证明，将正则性理论扩展至勒贝格测度以外的设定。

ABSTRACT

We give a proof of the Hölder continuity of weak solutions of certain degenerate doubly nonlinear parabolic equations in measure spaces. We only assume the measure to be a doubling non-trivial Borel measure which supports a Poincaré inequality. The proof discriminates between large scales, for which a Harnack inequality is used, and small scales, that require intrinsic scaling methods.

研究动机与目标

• 在一般测度空间中，建立双非线性抛物方程的 p-Laplacian 型弱解的局部 Hölder 连续性。
• 通过仅假设测度加倍性和 Poincaré 不等式，将正则性理论扩展至勒贝格测度之外的设定。
• 解决解无法通过常数平移的问题，从而阻止了哈纳克估计在 Hölder 连续性中的直接应用。
• 建立统一框架，区分大尺度（基于哈纳克）与小尺度（基于内在标度）的行为。
• 将已知结果推广至经典能量估计可能失效的加权空间和度量测度空间设定。

提出的方法

• 采用大尺度与小尺度行为的二分法：情形 I（大振幅）依赖于哈纳克不等式；情形 II（小振幅）使用内在标度。
• 应用针对方程内在几何特征（特别是非线性时间导数项 $ u^{p-2}u_t $）调整的改进型 Caccioppoli 型估计。
• 采用具有受控梯度和时间导数的截断函数 $ \varphi \in C_0^\infty $，以局部化能量估计。
• 通过水平集 $ E_s $ 实施迭代振幅缩减，结合测度论衰减估计与加倍性质。
• 应用 Hölder 不等式与 Poincaré 型估计，以解的振幅控制梯度的 $ L^p $-范数。
• 基于 dyadic 水平集与时空柱体的几何迭代方案，实现极限处的 Hölder 连续性。

实验结果

研究问题

• RQ1 在测度的最小几何假设下，能否建立双非线性抛物方程弱解的 Hölder 连续性？
• RQ2 如何克服方程中缺乏平移不变性的问题，以推导正则性结果？
• RQ3 当解近乎常数时，内在标度在小尺度正则性中起什么作用？
• RQ4 当解缺乏加法不变性时，哈纳克型估计在推导 Hölder 连续性方面可应用到何种程度？
• RQ5 测度的加倍性和 Poincaré 不等式性质在解的正则性中起什么作用？

主要发现

• 在仅假设测度为加倍测度并支持 Poincaré 不等式的前提下，建立了非负弱解的局部 Hölder 连续性。
• 证明区分了两种情形：大尺度行为由哈纳克不等式主导，小尺度行为由于振幅可忽略而由内在标度主导。
• 获得了一个定量衰减估计：$ \operatorname{ess\text{-}osc}_{Q(\frac{\eta\theta}{2}r^p,r)} u \leq \sigma \omega_{j_0} $，其中 $ \sigma = 1 - \frac{1}{2^{\lambda_1+1}} < 1 $，仅依赖于已知数据。
• 通过在 dyadic 水平集上进行迭代几何论证，实现振幅缩减，最终达到 Hölder 连续性。
• 该方法具有鲁棒性，适用于在标准结构条件下形式为 $ \frac{\partial(u^{p-1})}{\partial t} - \nabla \cdot \mathcal{A}(x,t,u,\nabla u) = 0 $ 的方程。
• 该结果将经典正则性理论推广至标准能量方法失效的加权空间和度量测度空间设定。