[論文レビュー] On the winding number for particle trajectories in a disk-like vortex patch of the Euler equations

Kyudong Choi, In-Jee Jeong|arXiv (Cornell University)|Aug 12, 2020

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

ひとこと要約

この論文は、2次元非圧縮性Euler方程式の円盤型の渦巻きパッチに対して、初期パッチが単位円板の小さな $L^1$-摂動である限り、大多数の流体粒子の原点回りの巻き数が時間に対して線形に増加し、その割合は $rac{1}{4ar{\pi}}$ に近く、そのことを示している。この結果は、原点付近での速度と角速度を対数リプシッツ推定と時間分解を用いて制御することに依存しており、摂動が小さくなるにつれて巻き数の割合が円形パッチの値に収束することを示している。

ABSTRACT

We consider vortex patch solutions of the incompressible Euler equations in the plane. It is shown that the winding number around the origin for most particles in the patch grows linearly in time when the initial patch is close to a disk enough.

研究の動機と目的

• 2次元Euler方程式の円盤型渦巻きパッチにおける流体粒子の長時間にわたる巻き数の挙動を分析すること。
• 初期パッチが単位円板の小さな摂動である場合、巻き数の割合が円形渦巻きパッチの値にどの程度近いかを定量的に評価すること。
• 形状保存を超えた、粒子の軌道と回転運動に焦点を当てた、より洗練された動的安定性の概念を確立すること。
• 巻き数の割合が $\frac{1}{4\pi}$ から最大 $C\delta^{1/12}$ だけずれるような粒子の割合に関する定量的推定を提供すること。ここで $\delta$ は初期摂動の大きさを表す。

提案手法

• 粒子の軌道に沿って、角速度成分を半径で割ったものの時間積分として巻き数 $N_x(T)$ を定義する。
• 粒子の原点からの距離に基づいて時間区間 $[0,T]$ を分割し、二進的円環 $A_i^\epsilon$ と外部領域を用いる。
• ユドビチの対数リプシッツ推定と速度の $L^\infty$ 界を用いて、異なる空間的領域における角速度 $u_{\text{tan}}/|x|$ を制御する。
• 粒子が原点から遠く離れている領域と原点に近い領域に分け、それぞれ時間減衰と空間的測度を用いて巻き数積分への寄与を推定する。
• 原点に到達せず、速度場が円形の場合に近く、一様に制御可能な円環に留まるような粒子の集合 $H_T \subset \Omega_0$ を構成する。
• 時間区間を拡大する際にボレル＝カンテーリ型の議論を適用し、無限時間への拡張を行い、長時間平均の巻き数の割合に対する liminf の制御を示す。

実験結果

リサーチクエスチョン

• RQ1 初期パッチが単位円板の小さな摂動である場合、2次元Euler方程式の円盤型渦巻きパッチにおける流体粒子の巻き数は時間とともにどのように変化するか？
• RQ2 このようなパッチ内の粒子のどの程度の割合が、円形パッチの値 $\frac{1}{4\pi}$ に近く、巻き数の割合を維持するか？
• RQ3 巻き数の割合は時間に一様に制御可能か？ また、初期摂動の大きさ $\delta = |D \triangle \Omega_0|$ に依存する定量的関係は何か？
• RQ4 長時間平均の巻き数の割合が、正の測度を持つ初期粒子の集合に対して $\frac{1}{4\pi}$ に収束するか？ もしそうならば、その収束速度はどの程度か？
• RQ5 原点付近で $u \sim \log(1/|x|)$ のような特異性を示すバイオ・サバール則の特異性は、速度が有界であるにもかかわらず、巻き数のダイナミクスにどのように影響するか？

主な発見

• 任意の $T > 0$ に対して、$|H_T| \geq |\Omega_0| - C\delta^{1/12}$ を満たす集合 $H_T \subset \Omega_0$ が存在し、すべての $x \in H_T$ に対して $\left| \frac{N_x(T)}{T} - \frac{1}{4\pi} \right| \leq C\delta^{1/12}$ が成り立つ。ここで $\delta = |D \triangle \Omega_0|$ である。
• 測度 $|H| \geq |\Omega_0| - C\delta^{1/12}$ を満たす集合 $H \subset \Omega_0$ が存在し、すべての $x \in H$ に対して $\liminf_{t \to \infty} \left| \frac{N_x(t)}{t} - \frac{1}{4\pi} \right| \leq C\delta^{1/12}$ が成り立つ。
• ほとんどの粒子の巻き数の割合は $\delta \to 0$ のとき $\frac{1}{4\pi}$ に収束し、誤差は $C\delta^{1/12}$ で抑えられる。これは、小さな摂動下でも回転運動の安定性を示している。
• 解析により、原点に到達する粒子の集合の測度がゼロであることが示され、ほとんどすべての粒子に対して巻き数の定義が正当化される。
• 方法論では、粒子の半径距離に応じた時間分解と、速度の有界性および対数リプシッツ連続性の一様界を用いて、$u_{\text{tan}}/|x|$ の積分を制御している。
• この結果は、古典的な形状安定性の動的精錬を提供しており、パッチが円に近いまま保たれるだけでなく、粒子の軌道もほぼ同一の回転挙動を示すことを示している。