[论文解读] Local and Global low-regularity solutions to the Generalized Leray-alpha equations

Nathan Pennington|arXiv (Cornell University)|Feb 3, 2014

Navier-Stokes equation solutions参考文献 7被引用 3

一句话总结

本文建立了广义Leray-alpha方程的低正则性解的局部与全局存在性，该方程是一种结合了$(1 - \alpha^2\Delta)$与分数阶拉普拉斯算子并带有对数修正的混合模型。通过Besov空间理论与能量估计，证明了在临界或次临界正则性空间中的初始数据存在解，并在初始数据满足小量条件时将局部解延拓为全局解。

ABSTRACT

It has recently become common to study many different approximating equations of the Navier-Stokes equation. One of these is the Leray-$α$ equation, which regularizes the Navier-Stokes equation by replacing (in most locations) the solution $u$ in the equation with $(1-α^2 riangle)u$ the operator $(1-α^2 riangle)$. Another is the generalized Navier-Stokes equation, which replaces the Laplacian with a Fourier multiplier with symbol of the form $|ξ|^γ$ ($γ=2$ is the standard Navier-Stokes equation), and recently in [14] Tao also considered multipliers of the form $|ξ|^γ/g(|ξ|)$, where $g$ is (essentially) a logarithm. The generalized Leray-$α$ equation combines these two modifications by incorporating the regularizing term and replacing the Laplacians with more general Fourier multipliers, including allowing for $g$ terms similar to those used in [14]. Our goal in this paper is to obtain existence and uniqueness results with low regularity and/or non-$L^2$ initial data. We will also use energy estimates to extend some of these local existence results to global existence results.

研究动机与目标

• 将广义Leray-alpha方程的存在性理论从高正则性$L^2$初始数据推广至更一般情形。
• 在临界或次临界Besov空间中，针对低正则性初始数据，建立局部与全局存在性结果。
• 通过同时引入正则化与带有对数修正的分数阶拉普拉斯算子，推广先前关于Leray-$\alpha$与广义Naver-Stokes方程的研究结果。
• 利用能量估计，在初始数据满足小量条件时，将局部解延拓为全局解。
• 统一并扩展高维（$n \geq 3$）Naver-Stokes方程逼近模型的现有结果。

提出的方法

• 在低正则性函数空间，特别是Besov空间$B^{s}_{p,q}$中，采用压缩映射方法证明局部存在性。
• 引入时间加权范数$t^{\delta}\|\cdot\|_{B^{k+h}_{p,q}}$以处理时间奇点，并改善不动点论证中的可积性。
• 使用傅里叶乘子$\mathcal{L}_i$定义的广义Leray-$\alpha$方程，其符号为$|\xi|^{\gamma_i}/g_i(|\xi|)$，其中$g_i$为径向、非减且下界为1的函数。
• 在Besov空间中应用抛积与乘积估计，以控制涉及$u \otimes (1 + \mathcal{L}_2)u$的非线性项$W^\alpha(u)$。
• 应用先前工作（如[18]）中的能量估计，当初始数据足够小时，将局部解延拓为全局解。
• 对参数$\gamma_1$、$\gamma_2$、$g_1$、$g_2$及正则性指数施加条件，以确保不动点方案中的收敛性。

实验结果

研究问题

• RQ1 在何种正则性与可积性条件下，广义Leray-$\alpha$方程在低正则性函数空间中存在局部解？
• RQ2 广义Leray-$\alpha$方程的局部解能否被延拓为全局解？初始数据的何种小量条件可保证这一点？
• RQ3 傅里叶乘子中包含的对数修正$g_i(|\xi|)$相较于标准分数阶拉普拉斯算子，如何影响解的存在性与正则性？
• RQ4 $t^\delta$-加权范数在克服低正则性数据下不动点论证中的可积性问题中起到何种作用？
• RQ5 在多大程度上可将结果推广，以同时包含Leray-$\alpha$正则化与带有对数修正的广义分数阶拉普拉斯算子？

主要发现

• 在$\gamma_1$、$\gamma_2$与$g_1$、$g_2$满足一定条件时，初始数据属于Besov空间$B^{s}_{p,q}$且$s = 1 + n/p - \gamma_1$，可建立局部存在性。
• 当初始数据范数足够小时，可通过能量估计将局部解延拓为全局解。
• 解映射在时间加权Besov空间范数下为压缩映射，确保了解的唯一性与稳定性。
• 通过使用$t^\delta$-加权与仔细的参数选择，该方法允许初始数据超出$L^2$空间，包括次临界正则性情形。
• 条件$\int_1^\infty \frac{ds}{s g_1(s)^2 g_2(s)} = \infty$足以保证全局存在性，推广了先前带有对数修正的结果。
• 分析结果表明，广义Leray-$\alpha$模型在比以往已知更广泛的正则性与小量条件下支持全局解。