Analysis of inviscid shear instability of axisymmetric… — Plain-Language Explanation

Imagine you are a fluid mechanic trying to predict when a smooth, swirling flow of water inside a pipe or a ring-shaped channel will suddenly turn chaotic and turbulent. Usually, this requires running massive, complex computer simulations that take hours or days.

This paper introduces a new set of "rules of thumb" that allow scientists to predict stability much faster, using simple math and even a quick sketch on a piece of paper. Here is the breakdown of what they did, using everyday analogies.

The Problem: The "Tipping Point"

Think of a fluid flowing through a pipe or a ring (like a donut). Sometimes, the flow is perfectly smooth (stable). Other times, a tiny ripple grows into a massive wave, causing turbulence (unstable).

Scientists have long known how to check if a flow is definitely safe (stable), but it has been very hard to find a simple rule to say when a flow is definitely unsafe (unstable). It's like knowing exactly when a bridge won't collapse, but having no easy way to predict exactly when it will collapse without testing every single truck that drives over it.

The New Tools: Two "Safety Nets"

The authors developed two new analytical tools (Theorems) to act as safety nets.

1. The "Safety Ceiling" (Stability Condition)

The Old Way: Scientists used a rule from 1962 (Batchelor & Gill) that acted like a low ceiling. If the flow stayed under this ceiling, it was safe. But this ceiling was often too low, meaning it missed many flows that were actually safe.
The New Way: The authors built a higher, smarter ceiling (based on the "Kelvin-Arnol'd 2nd Theorem"). Imagine a trapeze artist. The old rule said, "If you stay below this low bar, you won't fall." The new rule says, "Actually, you can swing much higher before you're in danger."
How it works: They look at a specific mathematical curve representing the flow. If this curve stays below a certain "safety line" (which changes depending on the shape of the pipe), the flow is guaranteed to be stable.

2. The "Hurdle Jump" (Instability Condition)

The Concept: This is the paper's most exciting new idea. Imagine a runner trying to jump over a hurdle.
- In a straight pipe (parallel flow), the hurdle is a flat bar.
- In a ring or pipe with a center, the hurdle is shaped like a hill or a curve.
The Rule: If the flow's mathematical curve jumps over this hurdle, the flow is guaranteed to become unstable (chaotic).
Why it's special: Before this, finding an "unstable" flow required complex calculations. Now, you can just plot the curve and see if it clears the hurdle. If it does, you know immediately that turbulence is coming.

The "Hurdle" Shape Matters

The authors realized that the shape of the "hurdle" depends on the geometry:

In a Ring (Annulus): The hurdle is a flat, constant height. It's like a standard hurdle in a track race.
In a Pipe: The hurdle is tricky. Near the center of the pipe, the rules change. The hurdle isn't flat; it's shaped like a ramp that gets steeper near the center. If the flow curve tries to jump this ramp, it fails (becomes unstable).

Testing the Rules

To prove their rules work, the authors tested them on two specific "model" flows:

The Ring Flow: Water flowing between two cylinders, heated from the outside and cooled from the inside, with the cylinders sliding past each other.
The Pipe Flow: Water flowing through a pipe that is being heated from the inside.

They compared their simple "hurdle" predictions against massive computer simulations (the "gold standard").

The Result: Their simple rules were surprisingly accurate. They correctly identified the "tipping point" (neutral stability) where the flow switches from smooth to chaotic.
The Benefit: Instead of running a computer simulation for every possible scenario, a scientist can now use these simple graphs to narrow down the search. It's like using a metal detector to find a buried treasure before you start digging.

What They Don't Claim

The authors are careful to state what their rules cannot do:

Viscosity (Stickiness): These rules assume the fluid has no "stickiness" (inviscid). In the real world, fluids are sticky. While the rules work well for high-speed flows where stickiness matters less, they don't account for the specific type of instability caused only by stickiness (like the famous Tollmien-Schlichting waves).
Jets: The rules work great for pipes and rings, but they haven't been fully solved for "jets" (streams of fluid shooting out into open space, like a garden hose). The math for open space is much harder because the "hurdle" doesn't have a clear boundary there.

Summary

This paper gives fluid dynamicists a new, simple way to predict when swirling flows in pipes and rings will go haywire. By replacing complex computer simulations with simple "hurdle-jumping" checks, they can quickly identify which flows are safe and which are destined to become turbulent.

Technical Summary: Analysis of Inviscid Shear Instability of Axisymmetric Flows

Problem Statement
The paper addresses the inviscid stability of axisymmetric base flows in annuli and pipes, a problem of significant interest in applications ranging from round jets to internal pipe flows. While high Reynolds number flows often allow for the neglect of viscosity, leading to simplified Euler equations, deriving sharp analytical criteria for stability in axisymmetric geometries has remained challenging. Previous work by Batchelor & Gill (1962) extended the Rayleigh-Fjørtoft condition (Kelvin-Arnol'd 1st theorem, KA-I) to axisymmetric flows, but the second Kelvin-Arnol'd stability theorem (KA-II) and simple sufficient conditions for instability had not been explicitly derived for these geometries. Furthermore, existing methods to identify neutral stability points often rely on complex integral equations or full eigenvalue computations, limiting their utility for rapid parameter estimation.

Methodology
The authors formulate the linearized inviscid stability problem for an axisymmetric base flow $U(r)$ in cylindrical coordinates. The problem reduces to a differential equation for the streamfunction-like eigenfunction $G(r)$ , governed by the complex phase speed $c$ and wavenumber ratio $N = n/k$ .

The core methodology involves deriving two new analytical theorems based on the following frameworks:

Stability (KA-II Extension): Following the pseudoenergy-based analysis of Arnol'd (1966), the authors derive a sufficient condition for stability (KA-II) that improves upon the classical Batchelor & Gill (1962) result. This involves defining a quantity $W_{\alpha,N}(r) = rQ'/(U-\alpha)$ and establishing upper bounds $H(r)$ derived from Poincaré-type inequalities specific to annular and pipe geometries.
Instability (Hurdle Theorem Generalization): Extending the "hurdle theorem" proposed by Deguchi et al. (2024) for parallel flows, the authors derive a sufficient condition for instability. This condition posits that if $W_{\alpha,N}$ exceeds a specific "hurdle" function $h(r)$ at the critical layer (where $U = \alpha$ ), an unstable mode exists. The derivation utilizes a two-step approach: (i) demonstrating the existence of a neutral solution via the minimization of a Rayleigh quotient using trial functions, and (ii) proving that a slight perturbation of the wavenumber leads to an unstable mode with a positive growth rate.

The theoretical predictions are validated against numerical solutions of the inviscid eigenvalue problem (using Chebyshev collocation methods) and compared with linearized Navier-Stokes computations for high Reynolds numbers.

Key Contributions
The paper presents two primary theorems providing simple analytical criteria for assessing stability:

Theorem 1 (Stability): Establishes that the base flow is stable if either KA-I or KA-II conditions are satisfied for all wavenumber ratios $N$ $N$ .
- KA-I: Requires the existence of a real $\alpha$ such that $W_{\alpha,N} \leq 0$ everywhere.
- KA-II: Requires the existence of a real $\beta$ such that $W_{\beta,N}$ lies within a specific range $[0, H(r)]$ . The threshold function $H(r)$ is explicitly derived for both annular flows (dependent on the radius ratio $\eta$ ) and pipe flows (dependent on Bessel function zeros). This extends the KA-II framework to axisymmetric geometries.
Theorem 2 (Instability): Establishes that the base flow is unstable if $W_{\alpha,N}$ $W_{α, N}$ (with $\alpha = U(r_c)$ $α = U (r_{c})$ at the critical point) exceeds a hurdle function $h(r)$ $h (r)$ for some $N$ $N$ .
- For annular flows, the hurdle $h$ is a constant derived from the narrow-gap limit.
- For pipe flows, the hurdle is modified to a power-law form ( $Cr^p$ ) to account for the singularity behavior near the pipe axis ( $r=0$ ), where $W_{\alpha,N}$ behaves as $r^2$ .

Results
The authors apply these theorems to two model flows:

Annular Flow: A flow between coaxial cylinders driven by wall sliding and thermal convection (natural convection in a vertical annulus). The stability diagram in the parameter space of the buoyancy parameter $\chi$ and radius ratio $\eta$ shows that the blue region (guaranteed stable by Theorem 1) and the red region (guaranteed unstable by Theorem 2) bracket the numerically computed neutral curve. The theorems effectively predict the neutral point, particularly in the narrow-gap limit where the results converge to the parallel flow hurdle theorem.
Pipe Flow: A vertically oriented Hagen-Poiseuille flow with homogeneous internal heating. The analysis reveals that while the KA-I condition guarantees stability for $\chi < 4$ , Theorem 2 identifies an unstable region for $\chi \in [5.72, 7.42]$ . The numerically determined neutral point occurs at $\chi \approx 7.86$ . The authors note that for $\chi \in [4, 6]$ , instability may arise from singular neutral modes, which are outside the scope of the regular-mode-based Theorem 2, explaining the gap between the theoretical instability region and the exact neutral curve.

In both cases, the analytical criteria successfully predict the location of neutral parameters obtained from full eigenvalue computations and align with viscous linear stability results at high Reynolds numbers.

Significance and Claims
The paper claims that these theorems provide "simple analytical tools" to estimate the behavior of the eigenvalue $c$ and the location of neutral points in parameter space. The primary significance lies in the ability to:

Extend KA-II: Explicitly derive the second Kelvin-Arnol'd stability condition for axisymmetric flows, a result previously absent in the literature.
Generalize the Hurdle Theorem: Adapt the hurdle theorem for parallel flows to axisymmetric geometries, providing a practical graphical method to identify instability without solving the full eigenvalue problem.
Reduce Computational Cost: By offering a rough estimate of stability boundaries, the criteria can restrict the parameter range that needs to be explored in numerical eigenvalue problems.

The authors remain modest regarding the scope, noting that the results are valid strictly for inviscid approximations. They acknowledge that viscosity can induce instability (e.g., Tollmien-Schlichting waves) even within the theoretically stable regions. Furthermore, they explicitly state that the theorems do not directly apply to unbounded domains like round jets due to the lack of applicable Poincaré-type inequalities and the different asymptotic behavior of the flow, though they suggest that suitable trial functions could be designed for such cases in future work.

Analysis of inviscid shear instability of axisymmetric flows