[論文レビュー] Estimates of solutions to the perturbed Stokes system

Viktor Vyalov, Timofey Shilkin|arXiv (Cornell University)|Feb 28, 2014

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

ひとこと要約

この論文は、滑らかな境界を有する半球内における摂動ストークス系の解について、境界を平坦化する微分同相写像を用いて、局所的な $ L^s_l $ 評価を確立する。主な貢献は、曲がった境界付近におけるナビエ＝ストークス方程式の弱解の部分的正則性の研究を可能にする、非一様なソボレフ空間における事前評価である。

ABSTRACT

In this paper we derive local estimates of solutions of the Perturbed Stokes system. This system arises as a reduction of the Stokes system near a curved part of the boundary of the domain if one applies a diffeomorphism flatting the boundary. The estimates obtained in the paper play the crucial role in the investigation of partial regularity of weak solutions to the Navier-Stokes system near a curved part of the boundary of the domain.

研究の動機と目的

• 曲がった境界を有する半球領域における摂動ストークス系の解について、局所的な事前評価を導出すること。
• 曲がった境界部におけるナビエ＝ストークス方程式の弱解の部分的正則性を解析するための枠組みを提供すること。
• 境界を平坦化する変数変換に対して不変である、非一様レベーグ空間およびソボレフ空間における評価を確立すること。
• 変数係数を持つ重み付き微分作用素を用いて、変換後の系におけるスリップ境界条件を扱うこと。
• ソボレフ埋め込みと補間を用いた積分指数の反復的改良により、解の高次な可積分性および正則性を示すこと。

提案手法

• 曲がった境界を有する領域における元のストークス系を、境界を平坦化する微分同相写像を用いて摂動ストークス系に変換する。
• 新しい座標系におけるラプラシアンと勾配を表す変数係数微分作用素 $\hat{\Delta}_{\varphi}$ および $\hat{\nabla}_{\varphi}$ を定義する。
• 空間と時間における解の可積分性を測るため、非一様レベーグ空間およびソボレフ空間 $L_{s,l}$, $W^{2,1}_{s,l}$, および $W^{1,0}_{s,l}$ を用いる。
• 局所化のためにカットオフ関数技術を用い、より小さな部分領域における評価を導出する。
• コンパクトネスの議論と弱収束を用いて、近似解の列における極限に移行する。
• ソボレフ埋め込みと補間を用いて、積分指数 $s_k$ を順次増加させる評価の反復により、より高い正則性を達成する。

実験結果

リサーチクエスチョン

• RQ1 曲がった境界を有する半球内における摂動ストークス系の解について、どのような局所的正則性評価を導出できるか？
• RQ2 変数係数微分作用素 $\hat{\Delta}_{\varphi}$ および $\hat{\nabla}_{\varphi}$ は、解の可積分性および滑らかさにどのように影響を与えるか？
• RQ3 非一様空間における埋め込み定理および補間を反復的に適用することで、解の正則性を向上させることができるか？
• RQ4 スリップ境界条件は、摂動ストークス系の正則性理論において果たす役割は何か？
• RQ5 境界の曲率（$\varphi$ の $W^3_\infty$ ノルムで定量化）は、評価にどのように依存するか？

主な発見

• 論文は、$\delta > 0$ を満たす解 $(v,p)$ について、$W^{2,1}_{s,l}(B^{+}_{1/2} \times (-1/4, -\delta))$ における局所的事前評価を確立する。
• この評価は $\delta$ に依存しないため、$\delta \to 0^+$ の極限に移行でき、結果として $W^{2,1}_{s,l}(B^{+}_{1/2} \times (-1/4, 0))$ における完全な正則性が得られる。
• より小さな放物型シリンダ内では、解が $\|v\|_{W^{2,1}_{s,l}} + \|\nabla p\|_{L_{s,l}} \leq C(\|f\|_{L_{s,l}} + \|v\|_{W^{1,0}_{s,l}} + \|p\|_{L_{s,l}})$ を満たすことを示す。
• 積分指数 $s_k$ を順次増加させる評価の反復により、$m$-可積分データに対する最終的な評価が得られる。
• 最終的な評価は、$\|v\|_{W^{2,1}_{s_N,l}(Q^{+}_{1/2})} + \|\nabla p\|_{L_{s_N,l}(Q^{+}_{1/2})} \leq C^N(\|f\|_{L_{m,l}} + \|v\|_{W^{1,0}_{s_0,l}} + \|p-b\|_{L_{s_0,l}})$ の形を取り、$s_N = m$ である。
• 結果として、境界曲率に最小限の仮定（$\varphi \in W^3_\infty$）のもとで、解の高次可積分性および正則性が確認される。