2009.12762
A Hopf bifurcation in the planar Navier-Stokes equations
Gianni Arioli, Hans Koch
correctmedium confidence
- Category
- math.DS
- Journal tier
- Strong Field
- Processed
- Sep 28, 2025, 12:55 AM
- arXiv Links
- Abstract ↗PDF ↗
Audit review
The paper’s Theorem 1.1 explicitly establishes a stationary analytic branch γ ↦ u_γ and a nearby analytic branch of 2π-periodic solutions parameterized via s = β^2, with the reported values γ0 = 83.1733117… and α0 = 4.66592275… and an even/odd-in-time decomposition, all proved by a computer-assisted fixed-point/quasi-Newton framework on analytic (exponentially weighted Fourier) Banach spaces, plus an implicit-function step . The candidate solution mirrors this setup (Fourier/stream-function setting; gauge fixing; parity; analytic IFT) and matches the numerical values. The one overstatement is its claim that the paper verifies a simple Hopf pair with no other spectrum on iℝ and a nondegenerate crossing; those classical spectral conditions are not stated or needed in the paper’s blow-up/quasi-Newton approach. Otherwise, the methods and conclusions align closely.
Referee report (LaTeX)
\textbf{Recommendation:} minor revisions
\textbf{Journal Tier:} strong field
\textbf{Justification:}
The paper establishes, via a computer-assisted fixed-point and contraction framework, the existence of a Hopf bifurcation for 2D Navier–Stokes in a stationary environment on a square with Navier slip. It delivers explicit parameters (γ0, α0), analytic branches (stationary and periodic), and a reproducible computational pipeline. While the approach does not rely on classical spectral Hopf hypotheses, a brief discussion situating the result relative to such conditions would enhance readability and context for a broader audience.