[論文レビュー] Self-similar solutions to the Navier-Stokes equations: a survey of recent results

Zachary Bradshaw, Tai‐Peng Tsai|arXiv (Cornell University)|Jan 31, 2018

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

ひとこと要約

本稿は、大規模な初期データを伴う3次元ナビエ＝ストークス方程式に対する前向き自己相似解および離散的自己相似解を構築する最近の進展を概説し、摂動法とコンパクト性の議論を用いて存在性を示すことで、先行研究を拡張している。主な貢献は、臨界的ルベーグ空間およびベソフ空間における、このような解の強固な存在理論を確立し、大規模データの状況下で長年の未解決問題を解決したことにある。

ABSTRACT

We survey the various constructions of forward self-similar solutions (and generalizations of self-similar solutions) to the Navier-Stokes equations. We also include and prove an extension of a recent result from [7].

研究の動機と目的

• 大規模な初期データを伴うナビエ＝ストークス方程式に対する前向き自己相似解および離散的自己相似解の強固な存在理論を確立すること。
• 初期データが小さい場合に限られる先行の結果を、一意性や正則性が保証されない大規模データの状況に拡張すること。
• ナビエ＝ストークス方程式の自然なスケーリングに関して不変な解を構築することにより、非一意性や特異点形成に関する未解決問題に取り組むこと。
• 摂動を組み込み、コンパクト性の議論を用いて離散的自己相似解から自己相似解へと拡張することにより、従来の結果を一般化すること。
• 定常形式と局所エネルギー不等式を用いて、自己相似解を一元的に分析するフレームワークを提供すること。

提案手法

• 速度を自己相似成分と滑らかな背景流れに分解することで、摂動的手法を用いて解を構築する。
• 滑らか化と近似スキームを用いて線形化された系に対する事前評価を導出し、近似全体にわたる一様な制御を保証する。
• コンパクト性と弱収束の議論を適用して、局所エネルギー不等式とスケーリング不変性を満たす極限解を抽出する。
• スケーリング要因が1に近づくような数列を用いて、離散的自己相似解の極限として自己相似解の存在を示す。
• 変数変換と部分積分を用いて、摂動系のエネルギー不等式と全解の局所エネルギー不等式との等価性を確立する。
• 自己相似系の定常形式を用いて、外力項を伴う定常ナビエ＝ストークス型方程式に問題を還元する。

実験結果

リサーチクエスチョン

• RQ1 臨界的空間 $L^3_w$ や $\dot{B}_{p,\infty}^{3/p-1}$ において、3次元ナビエ＝ストークス方程式の前向き自己相似解は、大規模な初期データに対しても構築可能だろうか？
• RQ2 スケーリング要因 $\lambda$ が1に限りなく近づく場合でさえ、離散的自己相似解の存在を大規模データに対しても拡張可能だろうか？
• RQ3 離散的自己相似解の極限として構築された自己相似解は、局所エネルギー不等式および弱解の性質を満たすだろうか？
• RQ4 境界上の臨界空間における複数の自己相似プロファイルの存在は、レイリー弱解の非一意性と関連づけられるだろうか？
• RQ5 自己相似解の存在を保証するための初期データまたは解の最小限の可積分性条件は何か？

主な発見

• 本稿では、$\dot{B}_{p,\infty}^{3/p-1}$ に属する初期データに対し、3次元ナビエ＝ストークス方程式の前向き自己相似解の存在が確立された。これは臨界ケース $p=3$ を含む。
• このような解は、$\lambda_k = 2^{2^{-k}}$ とされるスケーリング要因を有する離散的自己相似解の極限として構築可能であり、極限におけるスケーリング不変性が保証される。
• 構築された解は局所エネルギー不等式を満たしており、必要なスケーリング性を有する局所レイリー解としての地位を確認している。
• 摂動部の解に対して一様な事前評価が得られ、コンパクト性の議論による収束が可能である。
• この結果により、従来の初期データが小さい場合の存在定理が大規模データの状況に拡張され、非一意性や特異点形成の研究への道筋が示された。
• 解析により、初期データが小さくない場合でも、境界上の臨界空間に属する限り自己相似解が存在可能であることが確認され、分野における重要な未解決問題が解決された。