[論文レビュー] Time periodic solutions of compressible fluid models of Korteweg type

Zhengzheng Chen, Qinghua Xiao+1 more|arXiv (Cornell University)|Mar 29, 2012

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

ひとこと要約

本稿では、$n \geq 5$ において、$\n$ 上の圧縮性 Navier-Stokes-Korteweg 系に対して、小さな周期的外部力が作用する下で、時間周期的解の存在、一意性、および時間漸近的安定性を確立する。線形化された系に対するエネルギー推定と最良の時間減衰推定を用いて、著者たちはコーシーの縮小写像原理を用いて周期的解の存在を証明し、この解の小さな摂動が時間とともに0に減衰することを示し、長期的安定性を確認する。

ABSTRACT

This paper is concerned with the existence, uniqueness and time-asymptotic stability of time periodic solutions to the compressible Navier-Stokes-Korteweg system effected by a time periodic external force in $\mathbb{R}^n$. Our analysis is based on a combination of the energy method and the time decay estimates of solutions to the linearized system.

研究の動機と目的

• 時間周期的外部力が作用する圧縮性 Navier-Stokes-Korteweg 系に対して、時間周期的解の存在を確立すること。
• 指定された関数空間内でのそのような周期的解の一意性を証明すること。
• 初期摂動が小さい場合の周期的解の時間漸近的安定性を調査すること。
• 初期データが周期的解に近い場合のコーシー問題への応用を拡張し、解の全域的存続および摂動の減衰を保証すること。

提案手法

• 解析はエネルギー法と線形化された系の解に対する最良の時間減衰推定を組み合わせる。
• 時間にわたる $H^N$ および勾配の $L^2$-可積分性を含むノルムを持つ解空間 $X_M(0,T)$ が定義される。
• 時間減衰推定から導かれる積分の収束に依存して、コーシーの縮小写像原理を用いて周期的解の存在が証明される。
• エネルギー法を用いて事前推定が得られ、解および外力の小さな仮定のもとで非線形項を慎重に制御する。
• 局所的存続（補題5.1）と事前推定（補題5.2）を組み合わせることで、解のノルムが時間に一様に有界であることを示し、安定性結果を確立する。
• 局所解を大域的解へと拡張するために、双対的議論と反復技法が用いられ、長期的な挙動が適切に制御されることを保証する。

実験結果

リサーチクエスチョン

• RQ1 $n \geq 5$ において、$\mathbb{R}^n$ 上の圧縮性 Navier-Stokes-Korteweg 系は、時間周期的外部力が作用する場合に、時間周期的解を有するか？
• RQ2 選択された関数空間内で、時間周期的解がどのような条件下で一意的か？
• RQ3 周期的解の小さな摂動は時間とともに0に減衰するか、すなわち漸近的安定性が保証されるか？
• RQ4 初期データが周期的解に近い場合、コーシー問題の解の長期的挙動はいかなるものか？

主な発見

• $n \geq 5$ および $N \geq n+2$ に対して、$\|f\|_{H^{N-1} \cap L^1} \leq \delta_0$ を満たす十分に小さな $\delta_0 > 0$ であれば、外部力 $f$ と同じ周期を持つ時間周期的解 $(\rho^{\text{per}}, u^{\text{per}})$ が存在する。
• 周期的解は空間 $X_{M_0}(0,T)$ に属し、同じ小さな仮定のもとでこの空間内で一意的である。
• 解は $\|\rho^{\text{per}} - \rho_\infty\|_{H^N} + \|u^{\text{per}}\|_{H^{N-1}} \leq M_0$ を満たし、勾配項は時間にわたって平方可積分である。
• 周期的解に近い初期データに対して、コーシー問題は一意な大域的解を有し、その解は周期的状態に近いままである。
• 摂動 $\rho - \rho^{\text{per}}$ および $u - u^{\text{per}}$ は $t \to \infty$ のとき $L^\infty$ で0に収束し、漸近的安定性が確認される。
• すべての $t \geq 0$ に対して、エネルギー推定式 $\|\rho - \rho^{\text{per}}\|_{H^{N-1}}^2 + \|u - u^{\text{per}}\|_{H^{N-2}}^2 + \int_0^t \|\nabla(\rho - \rho^{\text{per}})\|_{H^{N-1}}^2 + \|\nabla(u - u^{\text{per}})\|_{H^{N-2}}^2 d\tau \leq C_0 \|\text{初期摂動}\|^2$ が成り立つ。