[論文レビュー] On the motion of a viscous liquid filling space

J. P. Leray, Robert Terrell|arXiv (Cornell University)|Apr 6, 2016

Pickering emulsions and particle stabilization被引用数 9

ひとこと要約

1934年のこの画期的な論文において、ジャン・レレイは、空間を満たす粘性非圧縮性流体のナビエ＝ストークス方程式に対して、解が有限時間にわたって特異性を示す可能性があるとしても、時間全域にわたる解の存在を確立した。オーセンの手法に基づいて導かれた積分微分方程式を用いて問題を定式化し、エネルギー散逸を組み込むことで、レレイは「乱流的」な解の存在を証明した。これらの解は時間全域で定義され、エネルギーで有界であり、速度およびその勾配の漸近的減衰率を示すが、孤立した点で滑らかでない可能性がある。本研究は、ナビエ＝ストークス方程式の弱解理論の現代的理論的基盤を築いた。

ABSTRACT

A translation to English of the 1934 paper of Leray, Sur le mouvement d'un liquide visqueux emplissant l'espace.

研究の動機と目的

• 任意の初期速度データに対して、ナビエ＝ストークス方程式の解の存在を、事後的に正当化すること。
• 解が常に正則性を保つかどうかという未解決問題に取り組むこと、特に有限時間に特異性が生じる可能性があることを踏まえて。
• 解が滑らかでなくてもよいが、時間全域にわたって有効な解の枠組みを構築すること。
• 流体運動における物理的原理たるエネルギー散逸と、数学的要請たる有界性および正則性を調和させること。
• 測度ゼロの集合を除きナビエ＝ストークス方程式を満たす「乱流的」解と呼ばれる新たな解のクラスを導入すること。

提案手法

• オーセンの定式化に相当する積分微分方程式系を用いて流体運動を定式化し、速度およびその一次空間微分にのみ依存する。
• 部分積分を用いてナビエ＝ストークス方程式からこれらの式を導出し、高階微分を排除する。
• 全運動エネルギーの有界性を保証するため、エネルギー散逸不等式を課す。
• エネルギーおよび勾配ノルムに基づく事前推定を用いて、解の時間的成長を制御する。
• コンパクト性の議論および弱収束の技法を用いて、無限時間スケールにおける解の存在を証明する。
• 「乱流的」解を、測度ゼロの閉集合を除きナビエ＝ストークス方程式を満たす解として定義する。

実験結果

リサーチクエスチョン

• RQ1 初期速度データが任意であっても、解が滑らかでない場合を含めて、ナビエ＝ストークス方程式の解が時間全域にわたって存在することを証明できるか？
• RQ2 エネルギー散逸機構は、流体運動の時間全域での正則性を保証するのに十分か、有限時間に特異性が生じる可能性はあるか？
• RQ3 時間とともに長く経過した場合、空間を満たす粘性流体における速度およびその勾配の漸近的挙動はいかなるものか？
• RQ4 解が孤立した点で微分可能でなくても、弱い意味でナビエ＝ストークス方程式を満たす解を構成できるか？
• RQ5 オーセンの積分微分方程式定式化の性質が、時間全域存在の文脈において、古典的ナビエ＝ストークス方程式とどのように関係するか？

主な発見

• 空間を満たす粘性非圧縮性流体のナビエ＝ストークス方程式に対して、任意の初期速度場に対応する時間全域にわたる解が少なくとも1つ存在する。
• 解はエネルギーで有界であり、全運動エネルギーは $ \nu \int_0^t J^2(t') \, dt' \leq \frac{1}{2} W(0) $ を満たす。ここで $ J(t) $ は速度勾配の $ L^2 $-ノルムに関連する。
• 十分大きな時間 $ t > A W^2(0)/\nu^5 $ に対して、解は漸近的減衰推定式 $ J(t) < A \sqrt{W(0)} (\nu t)^{-1/2} $ および $ V(t) < A \sqrt{W(0)} (\nu t)^{-3/4} $ を満たす。ここで $ V(t) $ は速度の $ L^2 $-ノルムである。
• 解は孤立した時刻において $ C^2 $-滑らかでない可能性があるが、測度ゼロの閉集合をなすため、ほとんど everywhere でナビエ＝ストークス方程式を満たす。
• 解はすべての $ t \geq 0 $ に対して定義され、正則性の喪失の可能性があるものの、時間全域での存在が確立される。
• このような解の存在は、解が弱く、特異性が生じるがエネルギーが有界のまま保たれる乱流流れの数学的枠組みを示唆する。