[論文レビュー] Local Invariant Structures in the Dynamics of Capillary Water Jet

Chengyang Shao, Haocheng Yang|arXiv (Cornell University)|Feb 26, 2026

Navier-Stokes equation solutions被引用数 0

ひとこと要約

この論文は、キャプillary水ジェット系に対する突合成パラダイレート駆動の不変多様体の厳密な構築を提示し、短波長では非線形安定性、長波長ではRayleigh-Plateau予測と一致する指数的不安定性を示す。

ABSTRACT

Physical experiments show that a capillary water jet is exponentially unstable under long wave perturbations, while remaining stable under short wave perturbations. Measurements indicate that the exponential growth rate in the long wave regime agrees quantitatively with the classical predictions of Rayleigh and Plateau, known as \emph{Rayleigh-Plateau instability}. In this paper, we provide a mathematical justification of these experimental observations. The motion of the water jet is modeled by an axisymmetric irrotational Eulerian free-boundary system governed by surface tension. We prove that the (un)stable directions in the linearized system, corresponding to long wave perturbations, are indeed tangent to a (un)stable invariant manifold of the full nonlinear system. On the other hand, the elliptic directions, corresponding to short wave perturbations, are indeed tangent to a center invariant set in a generalized sense. These results give a positive answer to the question raised by Lin-Zeng concerning the existence of invariant manifolds for Eulerian free-boundary systems. A notable finding is the existence of infinite dimensional hyperbolic invariant manifolds in the dynamics of infinitely long capillary water jet, in absence of spectral gap. The major methodological contribution is the construction of ``paradifferential propagator" corresponding to linear paradifferential hyperbolic systems, effectively balancing the loss of regularity due to quasilinearity. The method can be generalized to a broad class of quasilinear problems.

研究の動機と目的

• キャピラリ噴流の実験的Rayleigh-Plateau不安定性を厳密なPDEフレームワークで説明する。
• 定常円柱噴流解の近傍で不変な構造（不安定、安定、センター）を同定・構築する。
• 非線形系における長波 perturbationが不安定多様体に、短波 perturbationが中心集合に沿うことを示す。

提案手法

• 表面張力とDirichlet–Neumann演算子を用いた渦なしEuler自由境界系でジェットをモデル化。
• 定常円柱の周りで線形化して成長・分散・安定モードを同定しRayleigh–Plateau分散 relationsを導出。
• 準線形化して paradifferential の形にし、正則性損失をバランスさせることでハイパボリック伝搬子解析を可能にする。
• 解の低ノルムに依存するエネルギー推定を与える paradifferential 伝搬子を構築。
• ねじれた Duhamel 公式と Lyapunov–Perron 型の議論を適用して、不変多様体（不安定・安定）と非線形問題の centers の不変集合を得る。

実験結果

リサーチクエスチョン

• RQ1 非線形キャピラリ噴流ダイナミクスは、実験で観測される線形の不安定・安定方向に対応する不変多様体を持つか。
• RQ2 このような不変構造を準線形自由境界PDE系に対して構築するための頑健な方法としてparadifferential枠組みは有効か。
• RQ3 長波（不安定）と短波（中心）摂動は、全体の非線形ダイナミクスにおいてどう現れるか。
• RQ4 非線形的不変多様体と古典的Rayleigh–Plateau予測との関係はどうなるか。

主な発見

• ジェットの小さな摂動に対して、線形の不安定・安定部分空間に接線な有限次元で滑らかな不変多様体M_uおよびM_sが存在する。
• M_u上の解は時間正の方向に指数関数的に成長し（後向きには減衰）、M_s上の解は時間正の方向に減衰（後向きには成長）。
• 分散的部分空間に接線なセンター不変集合M_cが長波摂動の長期挙動を支配し、これらの方向に沿って安定を意味する。
• 最も速く成長するモードは I_1(ρξ)/I_0(ρξ) と (ρξ)[1−(ρξ)^2] を含む関数の最大値と一致し、表面張力駆動不安定性と整合する正スペクトルを与える。
• パラディフレエント伝搬子法は準線形問題の微分損失をバランスさせ、Lyapunov–Perron型議論をこの設定へ拡張して、オイラー自由境界系の不変多様体構築を可能にする。
• これらの結果はRayleigh–Plateau不安定性の厳密な非線形正当性と短波摂動の対応する安定性を提供し、Lin–Zengが提起した不変構造に関する問いに答える。