[论文解读] Logarithmic spikes of gradients and uniqueness of weak solutions to a class of active scalar equations

Walter Rusin|arXiv (Cornell University)|Jun 14, 2011

Navier-Stokes equation solutions参考文献 20被引用 4

一句话总结

该论文通过在梯度上引入一种新颖的可积性条件：$\nabla\theta = g + b$，其中 $g \in L^1((0,T), L^\infty)$ 且 $b \in L^p((0,T), BMO)$，且 $\text{supp}\,b$ 几乎处处具有有限测度，从而确立了具有零阶傅里叶乘子漂移的一类主动标量方程弱解的唯一性。该结果适用于耗散型与无粘性方程，并证明了当粘性消失时，无粘性极限在 $L^2$ 中强收敛。

ABSTRACT

We study the question weather weak solutions to a class of active scalar equations, with the drift velocity and the active scalar related via a Fourier multiplier of order zero, are unique. Due to some recent results we cannot expect weak solutions to be unique without additional conditions. We analyze the case of some integrability conditions on the gradient of the solutions. The condition is weaker than simply imposing $ abla θ\in L^\infty$. Lastly, we consider the inviscid limit for the studied class of equations.

研究动机与目标

• 解决具有零阶傅里叶乘子漂移的主动标量方程弱解非唯一性的问题。
• 识别出弱于 $\nabla\theta \in L^\infty$ 的正则性条件，但仍能保证唯一性。
• 通过在解上施加额外的可积性条件，将唯一性结果推广至无粘性情形。
• 分析耗散方程的无粘性极限，并证明解在 $L^2$ 中强收敛于无粘性解。

提出的方法

• 引入分解 $\nabla\theta = g + b$，其中 $g \in L^1((0,T), L^\infty)$ 且 $b \in L^p((0,T), BMO)$，且 $\text{supp}\,b$ 几乎处处在 $t \in (0,T)$ 上具有有限测度。
• 对两个弱解的差值应用能量估计和格朗沃尔型论证，利用尖锐极大函数与 BMO 范数控制非线性项。
• 使用 Aubin-Lions 紧致性引理，从光滑逼近系统中取极限，确保在 $L^2((0,T), L^2_{\text{loc}})$ 中强收敛。
• 利用交换子估计与 $L^p$-$BMO$ 对偶性，控制能量不等式中的非线性漂移项。
• 在小时间区间上实施Bootstrap论证，以控制解差值的增长，从而实现 $[0,T]$ 上的迭代。
• 通过考虑耗散方程中 $\kappa > 0$ 并令 $\kappa \to 0$，分析无粘性极限，证明在 $L^2$ 中收敛。

实验结果

研究问题

• RQ1 在何种 $\nabla\theta$ 条件下，具有零阶傅里叶乘子漂移的主动标量方程弱解是唯一的？
• RQ2 是否可以在弱于 $\nabla\theta \in L^\infty$ 的可积性条件下建立唯一性？
• RQ3 耗散方程的无粘性极限是否存在，并在 $L^2$ 中强收敛？
• RQ4 能否在对解施加额外可积性假设的条件下，将唯一性结果推广至非耗散（无粘性）情形？
• RQ5 当 $\kappa \to 0$ 时，耗散解向无粘性解的收敛速率是多少？

主要发现

• 若 $\nabla\theta = g + b$，其中 $g \in L^1((0,T), L^\infty)$ 且 $b \in L^p((0,T), BMO)$，且 $\text{supp}\,b$ 几乎处处在 $t \in (0,T)$ 上具有有限测度，则耗散型主动标量方程的弱解唯一，其中 $p$ 与耗散强度 $\gamma$ 相关。
• 当 $\kappa \to 0$ 时，耗散方程的无粘性极限在 $L^2$ 中强收敛，且在 $f_0(t) + g_0^2(t) \leq N$ 的一致有界条件下，收敛速率被控制在 $C\kappa^{e^{-2NT}}$ 以内。
• 证明依赖于时间迭代论证：在小时间区间 $t_1$ 上控制能量估计，随后通过迭代在 $[0,T]$ 上延续。
• 该方法无需要求 $\nabla\theta \in L^\infty$，从而在仍保证唯一性的前提下，弱化了经典正则性假设。
• 通过光滑化伽辽金逼近与 Aubin-Lions 紧致性，建立了耗散方程全局弱解的存在性。
• 在 $L^2((0,T), L^2_{\text{loc}})$ 中实现了逼近解 $\theta^\epsilon$ 对弱解 $\theta$ 的强收敛，从而保证了在非线性项中取极限的可行性。