[論文レビュー] Non-uniqueness of Weak Solutions to Hyperviscous Navier-Stokes Equations -- On Sharpness of J.-L. Lions Exponent

Tianwen Luo, Edriss S. Titi|arXiv (Cornell University)|Aug 23, 2018

Navier-Stokes equation solutions参考文献 16被引用数 8

ひとこと要約

本稿は、分数ラプラシアン粘性 (−Δ)θ を持つ3次元ハイパーレイノルズ数ナビエ＝ストークス方程式に対して、θ < 5/4 の指数において弱解の非一意性を確立し、J.-L. リオンの指数 5/4 が鋭いことを証明する。周期的でないベルトラミ流れを用いた凸統合スキームにより、コンパクトに台を持つ無限個の弱解、特に初期データがゼロであるものも含めて構成し、構築要素における集中と振動のメカニズムによって粘性に起因する誤差を制御する。

ABSTRACT

Abstract: Using the convex integration technique for the three-dimensional Navier–Stokes equations introduced by Buckmaster and Vicol, it is shown the existence of non-unique weak solutions for the 3D Navier–Stokes equations with fractional hyperviscosity (-Δ)θ, whenever the exponent θ is less than Lions’ exponent 5/4, i.e., when θ&lt;5/4.

研究の動機と目的

• 3次元ハイパーレイノルズ数ナビエ＝ストークス方程式における弱解の一意性の文脈で、J.-L. リオンの指数 5/4 の鋭さを扱う。
• バックマスターとビコルの標準ナビエ＝ストークス方程式における非一意性結果を、分数階ハイパーレイノルズ数の場合に拡張する。
• θ < 5/4 の場合に、時間的にコンパクトに台を持つ無限個の弱解が存在することを確立する。
• 凸統合フレームワーク内での誤差項の制御に、分数階粘性 (−Δ)θ が果たす役割を分析する。
• θ ≥ 5/4 の場合に誤差制御が失敗することを示すことにより、臨界閾値 θ = 5/4 が鋭いことを示す。

提案手法

• バックマスターとビコルの凸統合フレームワークを、ハイパーレイノルズ数系における周期的でないベルトラミ流れを構築要素として用いて適応する。
• ストレステンソル Rq を持つ摂動系を満たす近似解の列 (vq, Rq) を繰り返し構築し、誤差制御を段階的に改善する。
• 周波数 λ、間隔 σ、モード数 r、時間振動 µ のパラメータをスケーリング則に従って調整した、周波数局在型で周期的でないベルトラミ波の構成を用いる。
• 粘性誤差項 ν(−Δ)θwq+1 を、周期的でない流れの集中と高周波数振動のバランスによって制御し、θ < 5/4 の場合に衰えることを保証する。
• フーリエ射影とリトルウッド＝パレー分解を用いて、誤差項の Lp ノルムを推定し、特に臨界項 ∥|∇|2θ−1wq+1∥L∞tLp x に注目する。
• 対称な反発散作用素を適用してストレステンソルを再構成し、反発散構造を反復全体を通して維持する。

実験結果

リサーチクエスチョン

• RQ1 3次元ハイパーレイノルズ数ナビエ＝ストークス方程式における弱解の一意性に関して、J.-L. リオンの指数 5/4 は鋭いか？
• RQ2 凸統合技法を用いて、θ < 5/4 の場合に弱解の非一意性を確立できるか？
• RQ3 周期的でないベルトラミ流れは、凸統合スキーム内での粘性誤差項 ν(−Δ)θv の制御にどのような役割を果たすか？
• RQ4 周波数パラメータ λ と粘性指数 θ のスケーリングが、誤差項の制御可能性を決定する仕組みは何か？
• RQ5 この構成により、θ < 5/4 の場合に時間的にコンパクトに台を持つ弱解で初期データがゼロであるものも得られるか？

主な発見

• 任意の θ ∈ [1, 5/4) に対して、時間的にコンパクトに台を持つ3次元ハイパーレイノルズ数ナビエ＝ストークス方程式の弱解が無限個存在する。
• 弱解の非一意性は、与えられた滑らかで時間的にコンパクトに台を持つ発散なしベクトル場に、W^{2θ−1,1}_x ノルムで任意に近い弱解を構築する凸統合スキームにより確立される。
• 臨界閾値 θ = 5/4 は鋭い：θ ≥ 5/4 の場合、粘性誤差項 ∥|∇|2θ−1wq+1∥L∞tLp x は制御不能となり、反復の収束が不可能になる。
• 初期データがゼロである無限個の弱解が存在する。これは、非自明なコンパクトに台を持つ初期場に近い解を構築することで示された。
• パラメータを λq+1 を十分に大きくし、r = λαq+1、σ = λ−(α+1)/2q+1、µ = λ(5α+1)/4q+1 と設定し、α ∈ (max{0, 2(2θ−1)/3}, 1) とすることで、反復補題における誤差推定式 (4)、(6)、(7) が満たされる。
• この構成により、C0_t L2_x ∩ L∞_t W^{2θ−1,1}_x に属する弱解が得られ、非一意性の正則性閾値が確認される。