[論文レビュー] Doubly connected V-states for the planar Euler equations

Taoufik Hmidi, Francisco de la Hoz+2 more|arXiv (Cornell University)|Sep 24, 2014

Nonlinear Waves and Solitons参考文献 8被引用数 7

ひとこと要約

この論文は、単純固有値における円形解からの分岐を用いて、2次元Euler方程式における非円形で二重に連結されたV状態の存在を証明する。コーシー・リーマンの分岐理論とコンフォーマル写像を用いて、$m \geq 3$ に対して $m$-重対称なV状態を構成するが、厳密に2重対称な場合については、横断性条件の不成立により未解決のまま残っている。

ABSTRACT

We prove existence of doubly connected V-states for the planar Euler equations which are not annuli. The proof proceeds by bifurcation from annuli at simple "eigenvalues". The bifurcated $V$-states we obtain enjoy a $m$-fold symmetry for some $m\ge 3.$ The existence of doubly connected $V$-states of strict $2$-fold symmetry remains open.

研究の動機と目的

• 2次元Euler方程式に対して、円形でない二重に連結されたV状態の存在を確立すること。
• 単連結なV状態に用いられた分岐法を、二重に連結な場合に拡張すること。
• 非円形V状態の存在において、対称性と固有値の果たす役割を分析すること。
• 円形解からの分岐が、$m$-重対称性を有する非円形V状態を生じる条件を特定すること。
• 厳密に2重対称なV状態が存在するかどうかという未解決問題に取り組むこと。

提案手法

• 二重に連結されたV状態の二つの境界を記述する、二つの境界積分方程式系を定式化する。
• コンフォーマル写像を用いて、二重に連結領域を単位円の外部に変換し、問題を単位円の境界に還元する。
• 境界に沿ってホルモーリック関数の有界なバナッハ空間に、H"older連続な導関数を備えた空間を用いて解空間を分析する。
• Crandall-Rabinowitz分岐定理を適用し、非自明解を導く単純固有値を同定する。
• 固有値を方程式 $\Delta_m(\lambda, b) = 0$ を用いて特徴づけ、それらを角速度 $\Omega$ と $\Omega = (1 - \lambda)/2$ の関係で結びつける。
• $m \geq 3$ の場合、分岐が円形でない $m$-重対称なV状態を生じることを証明する。

実験結果

リサーチクエスチョン

• RQ1 2次元Euler方程式に対して、非円形で二重に連結されたV状態が存在しうるか？
• RQ2 どの固有値において、円形解からの分岐が非円形V状態を生じるか？
• RQ3 なぜ分岐法は $m=2$-重対称なV状態には失敗するのか？
• RQ4 $m > 2$ に対して $m$-重対称でない厳密に2重対称なV状態が存在するか？
• RQ5 固有値構造と回転するV状態の角速度との間にどのような関係があるか？

主な発見

• すべての $m$-重対称性について $m \geq 3$ に対して、単純固有値における円形解からの分岐によって非円形で二重に連結されたV状態が存在する。
• 分岐したV状態の角速度は $\Omega_m = \frac{1-b^2}{4} \pm \frac{1}{2(m+1)} \sqrt{\left(\frac{(m+1)(1-b^2)}{2} - 1\right)^2 - b^{2(m+1)}}$ で与えられる。
• 不等式 $m \geq \frac{3 + b^2}{1 - b^2}$ を満たす $b \in (0,1)$ に対して、方程式 $\Delta_m(\lambda, b) = 0$ は二つの実数の単純固有値を有し、分岐が可能である。
• 数値的シミュレーションにより、$\Omega_4^+(b)$ や $\Omega_4^-(b)$ から分岐するV状態は、異なる挙動を示すことが判明した：一方の族は円形に近いまま保たれ、他方の族は $\Omega$ が減少するにつれて特異な形状に近づく。
• Crandall-Rabinowitz定理における横断性条件の違反により、$\lambda = b^2$ および $\lambda = (1 + b^2)/2$（$b$ が特定の数列を避ける場合）で分岐が失敗する。
• $m=2$-重対称なV状態の場合は未解決であり、横断性条件が不成立であるため、追加の手がかりなしには分岐の有無を確認できない。