[論文レビュー] Well-posedness for the Linearized Motion of an Incompressible Liquid with Free Surface Boundary

Hans Lindblad|ArXiv.org|Dec 4, 2001

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

ひとこと要約

本稿では、発散自由ベクトル場への射影に基づく新しいエネルギー推定フレームワークを導入することで、自由表面境界を持つ非圧縮性無粘性流体の線形化方程式の適切性を確立する。主な貢献は、レイリー＝ターレー安定性条件 $ \nabla_N p \leq -c_0 < 0 $ の下で線形化運動に対する事前 $ H^r $-ノルムの有界性を示し、一般の非渦度流体に対するソボレフ空間内での局所的解の存在を証明することにある。

ABSTRACT

We study the problem of the motion of the free surface of a liquid. We prove existence and stability for the linearized equations.

研究の動機と目的

• 自由表面境界を持つ非圧縮性流体の線形化運動がソボレフ空間内で局所的に適切に定式化されることを確立すること。
• 速度に依存する境界と、加速度を決定する圧力の役割に起因する困難を解消すること。
• 非ゼロの渦度を扱う新しいフレームワークを構築することで、非渦度の場合を超えた存在結果を拡張すること。
• レイリー＝ターレー条件 $ \nabla_N p \leq -c_0 < 0 $ が、ソボレフノルム内での適切性にとって必要かつ十分であることを証明すること。
• 発散自由ベクトル場への射影と、内部における対称非有界作用素（法線作用素）を用いた、新しいエネルギー推定の構築。

提案手法

• 圧力微分項を除去するために、$ L^2 $-直交射影を用いて線形化方程式を発散自由ベクトル場の空間に射影する。
• 線形化された境界運動を捉える新しい対称非有界作用素（法線作用素）を定義し、境界条件を内部における時間発展方程式に還元する。
• 標準的 $ H^r $-ノルムと半ノルム $ \langle W(t)\rangle_{A,r} $ を組み合わせた修正エネルギーノルムを導入し、これは境界上での $ W $ の法線成分の $ H^r $-ノルムと同値である。
• 再帰的不等式 (16.22) とグローバル型の議論 (16.23) を用いて、エネルギー $ C^r_{\mathcal{R}} + E^r_{\mathcal{S}} $ の事前推定を導出する。
• 推定式 (16.24) を用いて、初期データと外力項の関数として、$ N^r \times H^r $ ノルムにおける解のバインドを求める。
• 近似およびコンパクトネスの議論を適用し、滑らかでない一般の $ C^{r+2} $ 初期データへと存在を拡張し、解が $ C([0,T], N^r \times H^r) $ に属することを証明する。

実験結果

リサーチクエスチョン

• RQ1 非ゼロの渦度を有する非圧縮性流体の自由表面境界における線形化運動は、ソボレフ空間内で適切に定式化されるか？
• RQ2 レイリー＝ターレー条件 $ \nabla_N p \leq -c_0 < 0 $ は、線形化方程式の適切性を保証するか？
• RQ3 方程式の対称性を保つ摂動に対して、ロバストな事前推定を線形化系に対して得ることは可能か？
• RQ4 発散自由ベクトル場への射影を用いて、線形化方程式における圧力微分項を排除することは可能か？
• RQ5 対称非有界作用素を用いて、境界条件を内部における時間発展方程式に再定式化することは可能か？

主な発見

• レイリー＝ターレー条件 $ \nabla_N p \leq -c_0 < 0 $ の下で、線形化方程式は $ (W, \dot{W}) \in C([0,T], N^r(\Omega) \times H^r(\Omega)) $ なる解を有する。
• 事前推定式 (16.24) により、初期データと外力の関数として解のノルムがバインドされる：$ \|\dot{W}(t)\|_r + \|W(t)\|_r + \langle W(t)\rangle_{A,r} \leq C( \|\dot{W}(0)\|_r + \|W(0)\|_r + \langle W(0)\rangle_{A,r} + \int_0^t \|F\|_r d\tau ) $。
• ノルム $ \|W(t)\|_r + \langle W(t)\rangle_{A,r} $ は、発散自由ベクトル場上での時間に依存しないソボレフノルムと同値である。
• 半ノルム $ \langle W(t)\rangle_{A,r} $ は、低次の項を除き、境界上での $ W $ の法線成分の $ H^r $-ノルムと同値である。
• 境界還元を回避するために、射影と法線作用素を用いて、完全に内部で議論を行う方法を採用し、非渦度の場合を一般化する。
• 初期データおよび外力が $ N^r \times H^r $ に属する場合に存在結果が成り立ち、解のノルムは初期データと外力の $ L^1([0,T], H^r) $ ノルムによって制御される。