[论文解读] Remarks on a fractional diffusion transport equation with applications to the dissipative quasi-geostrophic equation

Diego Chamorro|arXiv (Cornell University)|Jul 22, 2010

Navier-Stokes equation solutions参考文献 14被引用 8

一句话总结

该论文通过利用局部 Hardy 空间 $h^\sigma$ 的分子刻画，研究了在 $L^\infty([0,T];bmo(\mathbb{R}^n))$ 中的无散速度场下，临界分数阶扩散输运方程解的 Hölder 正则性。研究分析了后向方程中分子的演化，关键结果为：在一小段时间 $T_0>0$ 后，解获得 $Γ^\gamma$ 正则性（$0<\gamma<1$），并将其推广至 $α=1/2$ 的临界耗散准地转方程。

ABSTRACT

In this article I study Hölder regularity for solutions of a transport equation based in the dissipative quasi-geostrophic equation. Following a recent idea of A. Kiselev and F. Nazarov, I will use the molecular characterization of local Hardy spaces in order to obtain information on Hölder regularity of such solutions. This will be done by following the evolution of molecules in a backward equation.

研究动机与目标

• 研究 $α=1/2$ 且速度场属于 $L^\infty([0,T];bmo(\mathbb{R}^n))$ 的临界分数阶扩散输运方程解的正则性。
• 尽管非线性项具有超临界性，仍建立解在小时间 $T_0>0$ 后的 Hölder 正则性 $Γ^\gamma$。
• 将局部 Hardy 空间 $h^\sigma$ 中的分子方法推广至 $×^n$，扩展了此前在环面上的工作。
• 证明弱解的全局存在性与 Besov 正则性，并建立该方程的最大值原理。
• 将正则性结果应用于二维临界耗散准地转方程，确认在周期性初值条件下解具有 $Γ^\infty$ 正则性。

提出的方法

• 利用 Hölder 空间 $Γ^\gamma$ 与局部 Hardy 空间 $h^\sigma$ 之间的对偶性，通过对偶括号 $\langle \theta(\cdot,t), \psi_0 \rangle$ 研究正则性。
• 采用 $\frac{n}{n+1} < \sigma < 1$ 时 $h^\sigma$ 的分子刻画，其中分子满足大小与取消条件。
• 分析后向方程中分子的演化，通过 $L^p$ 估计控制 $ϴ(\cdot,t)$ 在 $Γ^\gamma$ 中的增长。
• 应用 Calderón 的交换子估计，控制 $[\Lambda, \varphi]$ 在 $L^p$ 范数下的行为，这对正则性估计至关重要。
• 通过截断技巧结合截断函数 $φ$ 与 $L^p$ 能量估计，推导出 $ϴ$ 的最大值原理。
• 通过在 $L^p$ 中逼近并取极限 $p \to \infty$，$R \to \infty$，建立 $L^\infty$ 解的存在性。

实验结果

研究问题

• RQ1 局部 Hardy 空间 $h^\sigma$ 的分子刻画如何用于推导分数阶扩散输运方程解的 Hölder 正则性？
• RQ2 速度场 $v \in L^\infty([0,T];bmo(\mathbb{R}^n))$ 在非线性项超临界的情况下，如何诱导出光滑化效应？
• RQ3 对于 $α = 1/2$ 且一般无散速度场的分数阶输运方程，是否可建立最大值原理与 $L^\infty$ 有界性？
• RQ4 解的正则性在时间上如何传播，特别是在一小段时间 $T_0 > 0$ 之后？
• RQ5 正则性与存在性结果能否推广至二维临界耗散准地转方程（$α=1/2$）？

主要发现

• 在一小段时间 $T_0 > 0$ 后，分数阶扩散输运方程 $(T)_{1/2}$ 的解 $ϴ(\cdot,t)$ 属于 Hölder 空间 $Γ^\gamma(\mathbb{R}^n)$，对任意 $0 < \gamma < 1$。
• 解的 $L^\infty$ 范数在时间上一致有界，满足 $\|\theta(\cdot,t)\|_{L^\infty} \leq C\|\theta_0\|_{L^\infty}$，确保 $L^\infty$ 初值下的全局存在性。
• 最大值原理成立：若初值有界，则解在所有时间保持 $L^\infty$ 有界，且在适当条件下满足 $0 \leq \theta(x,t) \leq M$。
• 通过在 $L^p$ 中逼近并取极限 $p \to \infty$，建立了 $L^\infty([0,T];L^\infty(\mathbb{R}^n))$ 中弱解的全局存在性。
• 弱解获得 Besov 正则性，解在 Besov 空间 $\mathcal{B}^{\sigma}_{p,p}$ 中获得正则性，其中 $p \geq 2$。
• 结果可直接应用于二维临界准地转方程：任意周期性 $Γ^\infty$ 初值均产生唯一的 $Γ^\infty$ 解，归因于分数阶拉普拉斯算子的光滑化效应。