[論文レビュー] Local and Global low-regularity solutions to the Generalized Leray-alpha equations

Nathan Pennington|arXiv (Cornell University)|Feb 3, 2014

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

ひとこと要約

本稿は、$(1 - \alpha^2\Delta)$ および分数ラプラシアン作用素に加え対数補正を加えたハイブリッドモデルである一般化 Leray-$\alpha$ 方程式に対して、低正則性解の局所的および大域的解の存在を確立する。Besov 空間理論とエネルギー推定を用いて、臨界的または亜臨界的正則性空間に属する初期データに対し解の存在を証明し、初期データの小規模性条件のもとで局所解を大域解へと拡張する。

ABSTRACT

It has recently become common to study many different approximating equations of the Navier-Stokes equation. One of these is the Leray-$α$ equation, which regularizes the Navier-Stokes equation by replacing (in most locations) the solution $u$ in the equation with $(1-α^2 riangle)u$ the operator $(1-α^2 riangle)$. Another is the generalized Navier-Stokes equation, which replaces the Laplacian with a Fourier multiplier with symbol of the form $|ξ|^γ$ ($γ=2$ is the standard Navier-Stokes equation), and recently in [14] Tao also considered multipliers of the form $|ξ|^γ/g(|ξ|)$, where $g$ is (essentially) a logarithm. The generalized Leray-$α$ equation combines these two modifications by incorporating the regularizing term and replacing the Laplacians with more general Fourier multipliers, including allowing for $g$ terms similar to those used in [14]. Our goal in this paper is to obtain existence and uniqueness results with low regularity and/or non-$L^2$ initial data. We will also use energy estimates to extend some of these local existence results to global existence results.

研究の動機と目的

• 高正則性 $L^2$ 初期データに限らない、一般化 Leray-$\alpha$ 方程式の存在理論を拡張すること。
• 低正則性の臨界的または亜臨界的 Besov 空間に属する初期データに対する、局所的および大域的解の存在を確立すること。
• Leray-$\alpha$ 方程式および一般化ナビエ＝ストークス方程式に関する先行研究を一般化し、正則化作用素と分数ラプラシアン作用素に加え対数補正を組み込んだモデルを扱うこと。
• エネルギー推定を用いて、初期データの小規模性条件を満たす場合に局所解を大域解へと拡張すること。
• 高次元（$n \geq 3$）におけるナビエ＝ストークス方程式の近似モデルに関する既存の結果を統合・拡張すること。

提案手法

• 低正則性関数空間、特に Besov 空間 $B^{s}_{p,q}$ において、縮小写像によるアプローチを用いて局所的解の存在を証明する。
• 時間特異性を扱い、固定点法における可積分性を向上させるために、時刻重み付きノルム $t^{\delta}\|\cdot\|_{B^{k+h}_{p,q}}$ を導入する。
• Fourier乗数 $\mathcal{L}_i$ が記号 $|\xi|^{\gamma_i}/g_i(|\xi|)$ で定義される一般化 Leray-$\alpha$ 方程式を用いる。ここで $g_i$ は径数的で、非減少的であり、1以上で有界である。
• 非線形項 $W^\alpha(u)$（$u \otimes (1 + \mathcal{L}_2)u$ を含む）を制御するため、Besov 空間におけるパラプロダクトおよび積の推定を適用する。
• 先行研究（例：[18]）からのエネルギー推定を適用し、初期データが十分に小さい場合に局所解を大域解へと拡張する。
• 固定点スキームの収束を保証するため、$\gamma_1$, $\gamma_2$, $g_1$, $g_2$ および正則性指数に条件を課す。

実験結果

リサーチクエスチョン

• RQ1 初期データの正則性および可積分性にどのような条件を課すと、一般化 Leray-$\alpha$ 方程式が低正則性関数空間で局所解をもつのか？
• RQ2 一般化 Leray-$\alpha$ 方程式の局所解は、どのような初期データの小規模性条件を満たせば大域解に拡張可能か？
• RQ3 Fourier乗数に $g_i(|\xi|)$ という対数補正を組み込むことで、標準的な分数ラプラシアンと比較して解の存在性および正則性にどのような影響を与えるか？
• RQ4 時刻重み付きノルム $t^\delta$ は、低正則性データに対する固定点法における可積分性の問題をどのように克服するか？
• RQ5 Leray-$\alpha$ 正則化と一般化分数ラプラシアンに加え対数補正を組み込んだモデルに対して、結果をどの程度一般化できるか？

主な発見

• 初期データが $B^{s}_{p,q}$ に属する場合に、$s = 1 + n/p - \gamma_1$ および $\gamma_1$, $\gamma_2$, $g_1$, $g_2$ に関する条件のもとで局所解の存在が確立される。
• 初期データノルムが十分に小さい場合に、エネルギー推定を用いて局所解を大域解に拡張できる。
• 解写像は時刻重み付き Besov 空間ノルムにおいて収縮的であり、一意性および安定性が保証される。
• $t^\delta$-重み化と慎重なパrameter選択により、$L^2$ 外の初期データ、特に亜臨界的正則性領域に対しても適用可能となる。
• 条件 $\int_1^\infty \frac{ds}{s g_1(s)^2 g_2(s)} = \infty$ が大域解の存在に十分であることが示され、対数補正を含む先行結果が一般化される。
• 解析により、一般化 Leray-$\alpha$ モデルが、これまでに知られていたよりも広い正則性および小規模性条件のもとで大域解を支持することが確認された。