[论文解读] Classical solutions for a logarithmic fractional diffusion equation

Arturo de Pablo, Fernando Quirós+2 more|arXiv (Cornell University)|May 10, 2012

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

一句话总结

该论文建立了在一维空间中具有半拉普拉斯扩散的对数分数阶扩散方程的经典解的全局存在性、唯一性及光滑性。证明了当初始数据属于 $L\log L$ 类型空间时，解在时间与空间上均变得有界且无限次可微，方法基于一种新颖的关键性 Trudinger 型嵌入以及将方程转化为具有非局部速度的黏性输运方程的非局部 Bäcklund 变换。

ABSTRACT

We prove global existence and uniqueness of strong solutions to the logarithmic porous medium type equation with fractional diffusion $$ \partial_tu+(-Δ)^{1/2}\log(1+u)=0, $$ posed for $x\in \mathbb{R}$, with nonnegative initial data in some function space of $L \logL$ type. The solutions are shown to become bounded and $C^\infty$ smooth in $(x,t)$ for all positive times. We also reformulate this equation as a transport equation with nonlocal velocity and critical viscosity, a topic of current relevance. Interesting functional inequalities are involved.

研究动机与目标

• 建立一维空间中具有 $(-\Delta)^{1/2}$ 扩散的对数分数阶扩散方程强解的存在性与唯一性。
• 分析初始数据位于临界 $L\log L$ 空间时解的正则性，该空间在 $\sigma=1$，$N=1$ 情况下为正则性的临界点。
• 将方程重新表述为带有修正希尔伯特算子的非局部黏性输运方程，从而将分数阶扩散与输运动力学联系起来。
• 推广一种关键的分数阶 Trudinger 型嵌入，用于泛函分析应用，扩展了 Strichartz 的结果。
• 证明即使初始数据粗糙（属于 $L\log L$ 空间），解在所有 $t>0$ 时也变为空间与时间上的 $C^{\infty}$ 光滑。

提出的方法

• 基于涉及分数阶拉普拉斯算子 $(-\Delta)^{1/2}$ 与对数非线性项 $\log(1+u)$ 的分部积分，采用弱形式化方法，通过 $L^1 \cap L^p$ 空间中的对偶性定义弱解。
• 应用一种推广自 Strichartz 的关键性分数阶 Trudinger 型嵌入，以控制 $\dot{H}^{1/2}$ 空间中非线性项 $\log(1+u)$，这是实现 $L\log L$ 正则性结果的关键。
• 采用一种 Bäcklund 型变换，将原方程转化为具有非局部速度 $\widetilde{H}(v)$ 的非局部输运方程，使其与流体动力学中的模型相联系。
• 利用 Nash-Gagliardo-Nirenberg 型不等式控制 $u$ 及其分数阶导数的 $L^p$ 范数，从而实现插值与 Orlicz 空间估计。
• 在光滑性证明的能量估计中，应用一种新颖的微积分不等式 $(e^{ax}-1)^2 \leq (e^a-1)(e^{ax^2}-1)$ 来控制非线性项。
• 通过插值与嵌入技术结合 $L^p$ 与 $\dot{W}^{\gamma, N/\gamma}$ 估计，推导出 $L\log L$ 控制并进一步获得光滑性。

实验结果

研究问题

• RQ1 对数分数阶扩散方程 $\partial_t u + (-\Delta)^{1/2}\log(1+u) = 0$ 在初始数据属于 $L^1 \cap L^p$（$p>1$）时，其全局经典解是否存在？
• RQ2 在临界情形 $\sigma = 1$，$N = 1$ 下，确保解全局存在且光滑的最小初始数据空间（如 $L^1$、$L\log L$、$H^{1/2}$）是什么？
• RQ3 对数非线性项 $\log(1+u)$ 与分数阶拉普拉斯算子在正则化效应方面如何相互作用？
• RQ4 能否将对数扩散方程转化为具有临界黏性的非局部输运方程？这对解的正则性意味着什么？
• RQ5 在临界区域中，为控制非线性项并证明光滑效应，需要哪些函数不等式（如 Trudinger 型嵌入）？

主要发现

• 证明了非负初始数据属于 $L^1(\mathbb{R}) \cap L^p(\mathbb{R})$（$p > 1$）时，强解的全局存在性与唯一性，甚至对处于边界 $L\log L$ 空间的初始数据也成立。
• 即使初始数据仅属于 $L\log L(\mathbb{R})$，解在所有 $t > 0$ 时也变得有界且在空间与时间上均为 $C^\infty$ 光滑。
• 方程被重新表述为带有非局部速度 $\widetilde{H}(v)$ 的黏性输运方程，其中 $\widetilde{H}(v)$ 为修正的希尔伯特变换，从而将其与流体动力学中的模型联系起来。
• 将关键性分数阶 Trudinger 型嵌入推广至任意指数，扩展了 Strichartz 的结果，并实现了对 $\dot{H}^{1/2}$ 空间中 $\log(1+u)$ 的控制。
• 该方法导出了关于属于 $L^p \cap \dot{W}^{\gamma, N/\gamma}$ 的函数的新 Orlicz 型估计，适用于非线性扩散与输运方程。
• 将输运方程 (1.3) 的解理论扩展至所有 $L^1(\mathbb{R})$ 初始数据，显著优于以往结果所要求的 $H^{1/2}$ 正则性。