[論文レビュー] Eventual Regularity of the Solutions to the Supercritical Dissipative Quasi-Geostrophic Equation

Michael Dabkowski|arXiv (Cornell University)|Jul 18, 2010

Navier-Stokes equation solutions参考文献 6被引用数 5

ひとこと要約

この論文は、KiselevとNazarovのインスピレーションを受けて、修正された双対テスト関数のクラスを導入することで、有限時間まで滑らかであることが保証された超臨界準地衡（SQG）方程式の解が、その後のすべての時間にわたり完全に滑らかになる、いわゆる「最終的正則性」を確立する。精密な双対性議論とエネルギー推定を用いて、指数が1に限りなく近い Hölder 継続性が有限時間後に出現することを証明し、それ以降は $ C^\infty $ 正則性が保証される。

ABSTRACT

Recently, Silvestre proved that certain weak solutions of the slightly supercritical surface quasi-geostrophic equation eventually become smooth. To prove this, he employed a De Giorgi type argument originated in the work of Caffarelli and Vasseur. Kiselev and Nazarov proved a variation of the result of Caffarelli and Vasseur by introducing a class of test functions. Motivated by the results of Silvestre, we will modify the class of test functions from the work of Kiselev and Nazarov and use this modified class to show that a solution to the supercritical SQG that is smooth up to a certain time must remain smooth forever.

研究の動機と目的

• 初期データが有限時間まで滑らかである場合に、超臨界準地衡方程式の解について最終的正則性を確立すること。
• KiselevとNazarovの双対性法を拡張し、Hölderノルムを制御するための修正されたテスト関数のクラスを導入すること。
• 解とこれらのテスト関数とのペアリングの均一な制御が、Hölder連続性、そして結果としてグローバル滑らかさを示すこと。
• わずかに超臨界な SQG に対して Silvestre が得た最終的正則性結果の別証明を提供し、それを全超臨界領域にまで拡張すること。
• 摂動された SQG 方程式の粘性解が、$ \alpha $ と $ \|\theta_0\|_{\infty} $ のみに依存する時間後には、古典的解としてグローバル滑らかさを示すことを示すこと。

提案手法

• Hölder連続関数に対して双対となる新しいテスト関数のクラス $ \mathcal{U}(r) $ を導入し、$ L^p $ および双対性の境界が $ r $ に依存するように設定する。
• 解と $ \mathcal{U}(r) $ とのペアリングの制御を時間とともに伝搬させるために、クラス進化補題の修正版を用いる。
• トーラス上でのエネルギー推定と分数階ラプラシアンの性質を用いて、平均がゼロの初期データに対して $ L^q $ ノルムの指数的減衰を示す。
• 時間シフトの議論と反復推定を用い、時間 $ T $ 後に解と $ \mathcal{U}(r) $ とのペアリングが $ r^\beta $ で有界であることを示し、$ \beta > 1 - \alpha $ を満たす。
• 双対性推定に依拠して、$ \|\theta(\cdot,t)\|_{C^\beta} \leq C $ が $ C^\infty $ 正則性を示すことを用い、$ \beta $ を1に限りなく近づける $ C^\beta $ 正則性を導出する。
• Constantin, Cordoba, および Wu の結果を応用し、均一な $ C^{1-\alpha+\delta} $ 界の存在が古典的グローバル滑らかさを示すことを結論づける。

実験結果

リサーチクエスチョン

• RQ1 有限時間まで滑らかである超臨界 SQG 方程式の解が、その後のすべての時間にわたり滑らかに保たれるかどうか。
• RQ2 新しいクラスのテスト関数を用いた修正された双対性フレームワークが、超臨界領域におけるHölder正則性の制御を向上させられるか。
• RQ3 わずかに超臨界な SQG に対して Silvestre が得た最終的正則性結果を、全超臨界範囲 $ \alpha < 1 $ にまで拡張できるか。
• RQ4 解と双対関数クラスのペアリングに対する均一な境界から、グローバル $ C^\infty $ 正則性を導出できるか。
• RQ5 粘性解のアプローチが、$ \alpha $ と $ \|\theta_0\|_{\infty} $ のみに依存する時間後には、古典的解としてグローバル滑らかさを示すか。

主な発見

• 任意の解が $ \mathbb{T}^d \times [0,T] $ で滑らかである場合、ある時間 $ T = T(\alpha, \|\theta_0\|_{\infty}) $ が存在し、それ以降は $ \mathbb{T}^d \times [0,\infty) $ に滑らかに拡張可能である。
• 時間 $ T $ 後に、解は指数 $ \beta $ が1に限りなく近い Hölder 連続性を、時間に一様に示す。
• 解と双対クラス $ \mathcal{U}(r) $ とのペアリングは、すべての $ r \in (0,1] $ に対して $ r^\beta $ で有界であり、$ \beta > 1 - \alpha $ の $ C^\beta $ 正則性を示す。
• 時間 $ T $ は、高次のソボレフノルムに依存せず、$ \alpha $ と初期データの $ L^\infty $ ノルムにのみ依存する。
• この手法は、摂動された SQG 方程式の粘性解に適用可能であり、時間 $ T $ 後には古典的解に一致し、粘性パrameter $ \epsilon $ に一様に依存しない正則性を示す。
• 本結果は Silvestre の最終的正則性結果の別証明を提供し、それを全超臨界領域にまで拡張する。