[论文解读] Time analyticity with higher norm estimates for the 2D Navier-Stokes equations

Ciprian Foiaş, Michael S. Jolly+4 more|arXiv (Cornell University)|Dec 3, 2013

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

一句话总结

该论文在周期边界条件下，对二维Navier-Stokes方程在复时间轴上的全局吸引子上解的高阶Sobolev范数 $|A^\beta u|$ 建立了统一且显式的界。证明了若吸引子中存在某个解属于 $\mathcal{D}(A^\alpha)$，则所有解都属于该空间——确立了普遍的“一荣俱荣，一损俱损”正则性原理；同时表明，零解仅当强迫项 $g$ 属于特定Gevrey型函数类 $\mathcal{C}(\sigma^*)$ 时才可能属于吸引子。结果依赖于复时间带内的精细归纳估计与解析半群理论。

ABSTRACT

This paper establishes bounds on norms of all orders for solutions on the global attractor of the 2D Navier-Stokes equations, complexified in time. Specifically, for periodic boundary conditions on $[0,L]^2$, and a force $g\in\calD(A^{\frac{α-1}{2}})$, we show there is a fixed strip about the real time axis on which a uniform bound $|A^αu|< m_ανκ_0^α$ holds for each $α\in \bN$. Here $ν$ is viscosity, $\k0=2π/L$, and $m_α$ is explicitly given in terms of $g$ and $α$. We show that if any element in $\calA$ is in $\D(A^α)$, then all of $\calA$ is in $\D(A^α)$, and likewise with $\D(A^α)$ replaced by $C^\infty(Ω)$. We demonstrate the universality of this "all for one, one for all" law on the union of a hierarchal set of function classes. Finally, we treat the question of whether the zero solution can be in the global attractor for a nonzero force by showing that if this is so, the force must be in a particular function class.

研究动机与目标

• 为二维Navier-Stokes方程在全局吸引子上的解，在复时间带内对所有 $\alpha \in \mathbb{N}$ 建立 $|A^\alpha u|$ 的统一显式界。
• 证明普遍的“一荣俱荣，一损俱损”正则性原理：若吸引子中存在一个解属于 $\mathcal{D}(A^\alpha)$，则所有解都属于 $\mathcal{D}(A^\alpha)$，且对 $C^\infty(\Omega)$ 同样成立。
• 刻画迫使项 $g$ 的类别，使得零解可属于全局吸引子，表明其必须属于特定Gevrey型类 $\mathcal{C}(\sigma^*)$。
• 通过将每阶 $\alpha$ 的时间解析带宽度减少一半，改进对解析带宽度的估计。
• 证明吸引子的正则性完全由任一元素的正则性决定，通过复时间中的归纳估计实现。

提出的方法

• 将时间复化，将解视为在实轴周围复时间带 $\mathcal{N}_\alpha$ 上取值于 $H_{\mathbb{C}}$ 的解析函数。
• 对 $\zeta \in \mathcal{N}_\alpha$ 上的 $|A^{\alpha/2} u(\zeta)|$ 进行归纳估计，利用Stokes算子 $A$ 与Helmholtz-Leray投影。
• 应用Riesz-Fréchet定理与弱解析性，将 $|A^{\alpha/2} u|$ 的界提升为 $H_{\mathbb{C}}$ 中 $A^{\alpha/2} u(\zeta)$ 的强解析性。
• 利用Vitali定理与Galerkin逼近 $u_\kappa$ 的收敛性，取极限以建立全解 $u(\zeta)$ 的存在性与界。
• 推导 $\frac{d}{d\rho}|A^{\alpha/2} u(t_0 + \rho e^{i\theta})|^2$ 的微分不等式，以控制增长并确保统一有界性。
• 引入函数类 $\mathcal{C}(\sigma) = \{ u \in C^\infty(\Omega) : \sup_\alpha |A^{\alpha/2} u| \exp(-\sigma \alpha^2 / 2) < \infty \}$，以刻画吸引子的正则性层级。

实验结果

研究问题

• RQ1 在何种条件下，二维Navier-Stokes方程的全局吸引子在复时间下具有统一的解析性？对每阶 $\alpha$，解析带的宽度是多少？
• RQ2 吸引子中单个解的正则性是否能推出所有解的正则性？具体而言，若 $u \in \mathcal{D}(A^\alpha)$ 对某个 $u \in \mathcal{A}$ 成立，是否必有 $\mathcal{A} \subset \mathcal{D}(A^\alpha)$？
• RQ3 若零解属于全局吸引子，迫使项 $g$ 必须属于何种精确函数类？
• RQ4 对 $|A^\alpha u|$ 的界如何随 $\alpha$ 变化？随着 $\alpha$ 增加，解析带的宽度能否以受控方式减小？
• RQ5 是否存在一个普遍的正则性层级（如 $\bigcup_{\sigma>0} \mathcal{C}(\sigma)$）来刻画吸引子的光滑性？该“一荣俱荣，一损俱损”法则是否在这些类上成立？

主要发现

• 对每个 $\alpha \in \mathbb{N}$，存在一个统一的复时间带 $\mathcal{N}_\alpha$，其宽度为 $\delta_\alpha$，使得对所有 $\zeta \in \mathcal{N}_\alpha$，有 $|A^\alpha u(\zeta)| < m_\alpha \nu \kappa_0^\alpha$，其中 $m_\alpha$ 显式依赖于 $g$ 与 $\alpha$。
• 解析带的宽度满足 $\delta_{\alpha+1} = \delta_\alpha / 2$，使得在更高阶时可获得更紧的界。
• 若吸引子 $\mathcal{A}$ 中存在某个解属于 $\mathcal{D}(A^\alpha)$，则 $\mathcal{A}$ 中所有解都属于 $\mathcal{D}(A^\alpha)$，从而确立了普遍的“一荣俱荣，一损俱损”正则性法则。
• 该法则对 $C^\infty(\Omega)$ 同样成立：若一个解光滑，则所有解都光滑。
• 吸引子包含于 $\bigcup_{\sigma>0} \mathcal{C}(\sigma)$，这是一个Gevrey型类的层级族，满足 $\mathcal{C}(\sigma_1) \subsetneq \mathcal{C}(\sigma_2)$（当 $\sigma_1 < \sigma_2$ 时），且 $\bigcup_{\sigma>0} \mathcal{C}(\sigma) \subsetneq C^\infty(\Omega)$。
• 若零解属于 $\mathcal{A}$，则迫使项 $g$ 必须属于 $\mathcal{C}(\sigma^*)$，其中 $\sigma^*$ 为特定值，从而缩小了此类迫使项的搜索范围。