[论文解读] On the determining wavenumber for the nonautonomous subcritical SQG equation

Alexey Cheskidov, Mimi Dai|arXiv (Cornell University)|Aug 31, 2015

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

一句话总结

本文在 $L^∞$-有界性範圍內，為次臨界表面準地轉流體力學（SQG）方程引入了一個與時間無關的決定性模數，超越了以往依賴時間的估計。透過利用解在吸引子集內的 $L^\infty$ 有界性，作者推導出更精確的決定性模數估計，證明當低頻模態一致且外力在適當的 Besov 準範數下較小時，解的差異會呈指數衰減。

ABSTRACT

A time-dependent determining wavenumber was introduced in [5] to estimate the number of determining modes for the surface quasi-geostrophic (SQG) equation. In this paper we continue this investigation focusing on the subcritical case and study trajectories inside an absorbing set bounded in $L^\infty$. Utilizing this bound we find a time-independent determining wavenumber that improves the estimate obtained in [5]. This classical approach is more direct, but it is contingent on the existence of the $L^\infty$ absorbing set.

研究动机与目标

• 超越以往依賴時間的模數估計方法，改進次臨界 SQG 方程的決定性模態估計。
• 在解屬於 $L^\infty$-有界吸引子集的假設下，建立與時間無關的決定性模數 $\varLambda$。
• 利用經典能量估計法，針對次臨界區間 $\alpha \in (1,2)$，進一步精確化決定性模態數量的上界。
• 證明若低頻模態一致且外力差異較小，則解在 $B^0_{l,l}$ 準範數下會全局收斂。

提出的方法

• 利用次臨界 SQG 方程存在 $L^\infty$-有界吸引子集的事實，其有界性為 $R_\infty \sim \lambda_0^{2/p - \alpha} F / \nu$。
• 基於 $R_\infty$、$\nu$ 和 $\alpha$ 定義與時間無關的決定性模數 $\varLambda = \lambda_0 2^Q$，滿足 $\varLambda \gtrsim \left( \frac{C l^2 R_\infty}{\nu} \right)^{1/(\alpha-1)}$。
• 使用 Besov 空間準範數 $B^0_{l,l}$ 衡量解的差異，其中 $l > \alpha/(\alpha-1)$。
• 應用 dyadic 分解與 paraproduct 估計，以控制差異方程中非線性項的影響。
• 結合 Grönwall 不等式與 $B^0_{l,l}$ 中的能量估計，證明在模態一致條件下，解差異會呈指數衰減。
• 應用 Jensen 與 Hölder 不等式，以控制非線性項中高頻與低頻模態的交互作用。

实验结果

研究问题

• RQ1 在解的 $L^\infty$-有界性條件下，能否為次臨界 SQG 方程構造出與時間無關的決定性模數？
• RQ2 解的 $L^\infty$ 有界性如何相較於時間依賴模數，提升決定性模態的估計精度？
• RQ3 決定性模數對外力大小 $F$、黏性係數 $\nu$ 與正則性參數 $\alpha$ 的精確依賴關係為何？
• RQ4 在何種條件下，低頻模態的一致性可推出古解的整體解唯一性？
• RQ5 在次臨界情形下，經典能量法是否能超越一般時間依賴模數方法，獲得更佳的上界？

主要发现

• 構造出與時間無關的決定性模數 $\varLambda$，滿足 $\varLambda \gtrsim \left( \frac{C l^2 R_\infty}{\nu} \right)^{1/(\alpha-1)}$，超越先前估計。
• 若兩解在低於 $Q$ 的模態上一致，且外力差異在 $B^{-\alpha(1-1/l)}_{l,l}$ 準範數下較小，則解差異在 $t \to \infty$ 時於 $B^0_{l,l}$ 準範數下趨於零。
• 對於在低於 $Q$ 模態上一致的古解，其整體解在所有時間皆相同，從而透過模態一致證明唯一性。
• $R_\infty$ 的有界性與 $\lambda_0^{2/p - \alpha} F / \nu$ 成正比，將 $L^\infty$-有界性與外力及黏性係數連結。
• 該方法依賴於 $L^\infty$-有界吸引子集的存在性，此條件在 $\alpha \in (1,2)$ 且 $f \in L^\infty(L^p)$（$p > 2/\alpha$）時成立。
• 透過在 Besov 空間中使用經典能量估計，成功提升決定性模態數量的估計，無需追蹤時間依賴的模數。