Analysis of inviscid shear instability of axisymmetric flows
Pith reviewed 2026-05-16 11:15 UTC · model grok-4.3
The pith
Sufficient conditions based on Kelvin-Arnold and hurdle theorems determine stability of axisymmetric annular and pipe flows.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The paper claims that a sufficient condition for stability, derived following the idea of the second Kelvin-Arnold stability theorem, improves upon the classical result of Batchelor and Gill from 1962. A novel sufficient condition for instability is also derived by extending the recently proposed hurdle theorem for parallel flows. These analytical criteria are applied to annular and pipe model flows and are shown to effectively predict the neutral parameters obtained from eigenvalue computations of the stability problem.
What carries the argument
The central mechanisms are the sufficient stability condition derived from the second Kelvin-Arnold theorem and the sufficient instability condition obtained from the extended hurdle theorem, both applied to axisymmetric base flows.
If this is right
- The criteria supply quick analytical checks for stability without requiring full eigenvalue analysis.
- Neutral stability parameters for annular and pipe flows can be estimated directly from the base-flow profiles.
- The same conditions apply to both axisymmetric and non-axisymmetric inviscid disturbances.
- Validation on model flows shows the criteria locate the neutral curves obtained numerically.
Where Pith is reading between the lines
- The criteria could apply to other axisymmetric geometries if the underlying theorems extend without profile-specific adjustments.
- Designers of pipe or annular systems might use the conditions to screen flow profiles for instability before running simulations.
- Further numerical tests on non-model profiles would check whether the theorem extensions remain accurate.
Load-bearing premise
The second Kelvin-Arnold theorem and the hurdle theorem extension apply directly to axisymmetric base flows and the chosen disturbance classes without further restrictions on the flow profiles.
What would settle it
A specific annular or pipe base-flow profile that satisfies the analytical stability condition yet yields an unstable eigenvalue in numerical computation would falsify the claimed criteria.
read the original abstract
Simple analytical criteria are derived to determine whether axisymmetric base flows in annuli and pipes are stable or unstable. Both axisymmetric and non-axisymmetric inviscid disturbances are considered. Our sufficient condition for stability improves upon the classical result of \cite{Batchelor_Gill_1962}, following the idea of the second Kelvin-Arnol'd stability theorem. A novel sufficient condition for instability is also derived by extending the recently proposed hurdle theorem for parallel flows \citep{Deguchi_Hirota_Dowling_2024}. These analytical criteria are applied to annular and pipe model flows and are shown to effectively predict the neutral parameters obtained from eigenvalue computations of the stability problem.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper derives simple analytical criteria to assess the inviscid stability of axisymmetric base flows in annuli and pipes for both axisymmetric and non-axisymmetric disturbances. It obtains a sufficient stability condition by applying the second Kelvin-Arnold theorem, improving on Batchelor & Gill (1962), and derives a novel sufficient instability condition by extending the hurdle theorem of Deguchi et al. (2024). These criteria are applied to annular and pipe model flows and are shown to predict neutral parameters from eigenvalue computations of the stability problem.
Significance. If the hurdle-theorem extension is shown to apply rigorously to the chosen profiles, the work supplies practical analytical tools for bounding stability boundaries in axisymmetric shear flows without requiring full numerical eigenvalue solves. The improvement on the classical Batchelor-Gill result and the extension of the recent hurdle theorem constitute a clear advance for the analysis of inviscid instabilities in pipe and annular geometries.
major comments (2)
- [Instability criterion derivation and application to model flows] The derivation and application of the novel instability condition (extension of the hurdle theorem): the manuscript applies the criterion to annular and pipe model flows but does not demonstrate that the base-flow angular-momentum or vorticity profiles satisfy the precise sign and monotonicity hypotheses required by the hurdle theorem. Without this verification the claimed agreement with numerically computed neutral curves is no longer guaranteed by the theorem and reduces to an empirical observation.
- [Stability condition derivation] § on stability condition (comparison with Batchelor & Gill 1962): the claim that the new sufficient condition improves upon the 1962 result is stated, but the precise relaxation of assumptions or strengthening relative to the classical criterion is not contrasted explicitly (e.g., via side-by-side statement of the two conditions or the additional hypotheses removed).
minor comments (2)
- [Abstract] The abstract states that the criteria 'effectively predict' neutral parameters; a quantitative statement of the agreement (e.g., maximum deviation in critical Reynolds or wavenumber) would strengthen the claim.
- [Notation and definitions] Notation for angular momentum and vorticity profiles should be introduced once and used consistently when stating the hypotheses of the extended hurdle theorem.
Simulated Author's Rebuttal
We thank the referee for the positive evaluation and the insightful comments that will help clarify the manuscript. We respond to each major comment below.
read point-by-point responses
-
Referee: The derivation and application of the novel instability condition (extension of the hurdle theorem): the manuscript applies the criterion to annular and pipe model flows but does not demonstrate that the base-flow angular-momentum or vorticity profiles satisfy the precise sign and monotonicity hypotheses required by the hurdle theorem. Without this verification the claimed agreement with numerically computed neutral curves is no longer guaranteed by the theorem and reduces to an empirical observation.
Authors: We thank the referee for this observation. The annular and pipe model flows were selected precisely because their angular-momentum and vorticity profiles satisfy the sign and monotonicity conditions required by the extended hurdle theorem. To remove any ambiguity and ensure the agreement with eigenvalue computations is theorem-supported, we will add an explicit verification of these hypotheses (including the relevant inequalities) for each profile in the revised manuscript. revision: yes
-
Referee: § on stability condition (comparison with Batchelor & Gill 1962): the claim that the new sufficient condition improves upon the 1962 result is stated, but the precise relaxation of assumptions or strengthening relative to the classical criterion is not contrasted explicitly (e.g., via side-by-side statement of the two conditions or the additional hypotheses removed).
Authors: We agree that an explicit contrast would improve clarity. In the revised manuscript we will insert a direct side-by-side statement of the new sufficient stability condition (obtained via the second Kelvin-Arnold theorem) and the classical Batchelor & Gill (1962) criterion, explicitly identifying the relaxed assumptions on the base-flow vorticity distribution that allow the new condition to apply more broadly to axisymmetric annular and pipe flows. revision: yes
Circularity Check
Hurdle-theorem extension to axisymmetric base flows lacks explicit check that model profiles satisfy the required sign/monotonicity hypotheses
specific steps
-
self citation load bearing
[Abstract]
"A novel sufficient condition for instability is also derived by extending the recently proposed hurdle theorem for parallel flows (Deguchi_Hirota_Dowling_2024). These analytical criteria are applied to annular and pipe model flows and are shown to effectively predict the neutral parameters obtained from eigenvalue computations of the stability problem."
The instability criterion is justified solely by extension of the authors' prior hurdle theorem. Without an explicit demonstration that the chosen model profiles satisfy the theorem's sign/monotonicity hypotheses, the claimed agreement with numerically computed neutral curves is not guaranteed by the cited theorem and reduces to an empirical observation whose validity rests on the self-citation.
full rationale
The paper derives a novel sufficient instability condition by extending the hurdle theorem from the authors' own 2024 work (Deguchi et al.). This self-citation is load-bearing for the central instability claim, as the manuscript applies the criterion to annular and pipe model flows but provides no verification that those profiles obey the theorem's sign and monotonicity hypotheses. The stability criterion improves on the external Batchelor & Gill (1962) result and remains independent. The overall derivation chain therefore contains one non-trivial self-citation dependency but does not collapse entirely to a fit or tautology.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The second Kelvin-Arnold stability theorem extends to axisymmetric base flows with the chosen disturbance classes
- domain assumption The hurdle theorem for parallel flows extends directly to axisymmetric annular and pipe geometries
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.