[论文解读] Nonlocal heat equations: decay estimates and Nash inequalities

Cristina Brändle, Arturo de Pablo|arXiv (Cornell University)|Dec 17, 2013

Advanced Mathematical Physics Problems参考文献 19被引用 11

一句话总结

本文建立了非局部热方程 $Π_t u + \mathcal{L}u = 0$ 的解的 $L^q$–$L^p$ 衰减估计，其中 $\mathcal{L}$ 是具有对称非负 Lévy 型核的积分算子。衰减仅由核在无穷远处的行为决定，无需对其在原点处的奇点性作出假设，并证明了衰减与受限纳什不等式之间的等价性，且解在 $t \to \infty$ 时在 $L^∞$ 中趋于零。结果可推广至具有最优衰减速率的非线性多孔介质型方程。

ABSTRACT

We obtain $L^q$--$L^p$ decay estimates, $1\le q

研究动机与目标

• 为非局部热方程建立 $L^q$–$L^p$ 衰减估计，且对核 $J$ 的假设尽可能少。
• 仅基于核在大尺度上的行为来刻画衰减速率，独立于其在原点处的行为。
• 证明解的衰减与受限纳什不等式之间的等价性。
• 将分析推广至具有最优衰减速率的非线性非局部多孔介质型方程。
• 确定算子 $\mathcal{L}$ 的正则化效应的临界条件，特别是关于核在原点处可积性的阈值。

提出的方法

• 通过函数不等式（特别是受限纳什不等式）推导衰减估计，其与核的尾部行为相关。
• 利用傅里叶乘子表示 $\widehat{\mathcal{L}f}(\xi) = m(\xi)\widehat{f}(\xi)$，通过 $\widehat{u}(t,\xi) = e^{-m(\xi)t}\widehat{u}_0(\xi)$ 分析解。
• 为非线性方程建立广义的 Stroock-Varopoulos 不等式：在 $F'G' \geq (H')^2$ 条件下，有 $\mathcal{E}(F(u), G(u)) \geq \mathcal{E}(H(u), H(u))$。
• 通过选取测试函数 $|u|^{p-2}u$ 并利用广义不等式，对非线性方程 $\partial_t u + \mathcal{L}\Phi(u) = 0$ 应用能量估计。
• 推导 $\psi(t) = \|u(t)\|_p^p$ 的微分不等式，并通过迭代方法求解以获得时间衰减界。
• 使用迭代尺度变换方法，从 $L^{p_1}$ 到 $L^{p_3}$ 传播 $L^p$ 估计，确保衰减速率指数的一致性。

实验结果

研究问题

• RQ1 能否在不假设核在原点处行为的前提下，获得非局部热方程的 $L^q$–$L^p$ 衰减估计？
• RQ2 在仅对核的尾部行为作出假设的前提下，解的衰减与受限纳什不等式之间是否存在等价性？
• RQ3 算子 $\mathcal{L}$ 的正则化效应的临界阈值是什么，特别是对于在原点附近满足 $J(z) \sim |z|^{-N}$ 的核？
• RQ4 非线性非局部多孔介质型方程 $\partial_t u + \mathcal{L}\Phi(u) = 0$ 的衰减速率如何依赖于非线性项 $\Phi$ 和核的尾部？
• RQ5 所推导的衰减速率对这类非线性非局部方程是否最优？

主要发现

• 在对核的假设尽可能少的前提下，建立了 $1 \leq q < p < \infty$ 时的衰减估计 $\|u(t)\|_p \leq c t^{-\varrho} \|u_0\|_q^\varepsilon$，其中 $\varrho = \frac{N(p-q)}{p[N(\sigma-1) + \alpha q]}$ 且 $\varepsilon = 1 - (\sigma-1)\varrho$。
• 证明了解的 $L^q$–$L^p$ 衰减与受限纳什不等式之间存在等价性，该结果适用于具有重尾的核。
• 即使对于在原点处不可积或具有奇点的核，解也满足 $\lim_{t \to \infty} \|u(t)\|_\infty = 0$。
• 识别出正则化效应缺失的临界条件为 $J(z) \sim |z|^{-N}$，该核在原点处不可积，但仍不产生平滑效应。
• 对于非线性方程 $\partial_t u + \mathcal{L}\Phi(u) = 0$，衰减速率 $\varrho$ 和 $\varepsilon$ 是最优的，这与分数阶拉普拉斯算子的已知结果一致。
• 基于 $L^p$ 尺度变换的迭代方法保持了衰减速率，满足 $\varrho(p_1,p_3) = \varrho(p_1,p_2)\varepsilon(p_2,p_3) + \varrho(p_2,p_3)$ 且 $\varepsilon(p_1,p_3) = \varepsilon(p_1,p_2)\varepsilon(p_2,p_3)$。