pith. sign in

arxiv: 2511.05942 · v2 · submitted 2025-11-08 · 🧮 math.AP

On the exchange of stability for the subcritical laminar flow

Vladimir Kozlov , Oleg Motygin This is my paper

Pith reviewed 2026-05-18 00:08 UTC · model grok-4.3

classification 🧮 math.AP
keywords Stokes wavesconstant vorticityexchange of stabilitiesbifurcation analysiseigenvalueslaminar flowwater wavesformal stability
0
0 comments X

The pith

For each vorticity a, a critical depth d0(a) flips the sign of the second eigenvalue along the Stokes wave bifurcation branch.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper examines steady water waves with constant vorticity a in a two-dimensional channel. It follows an analytic branch of Stokes waves that bifurcates from a subcritical laminar flow, with the wave period as the bifurcation parameter. The first eigenvalue stays negative along this branch. The analysis centers on the second eigenvalue, whose sign determines whether the principle of exchange of stabilities holds and if the period increases or decreases near the bifurcation point. The authors prove that this eigenvalue is positive for depths d below a critical value d0(a) and negative above it, and they compare d0(a) to the stagnation depth ds(a), showing the relative order switches at a0 approximately equal to -1.01803.

Core claim

The central claim is that for each a there exists a critical depth d0(a) such that the second eigenvalue is positive for d < d0(a) and negative for d > d0(a). This sign controls the validity of the principle of exchange of stabilities and the monotonicity of the period along the bifurcation curve. The paper demonstrates that d0(a) < ds(a) for a > a0 ≈ -1.01803, while d0(a) > ds(a) for a < a0, and describes the domain where formal stability holds.

What carries the argument

The sign of the second eigenvalue of the Fréchet derivative along the analytic bifurcation branch of Stokes waves from subcritical laminar flow with constant vorticity.

If this is right

  • If the second eigenvalue is positive, the exchange of stabilities principle is valid and the wave period increases along the curve.
  • If negative, the principle is violated and the period decreases.
  • The transition depth d0(a) lies before the stagnation depth for a above a0 and after for a below a0.
  • Formal stability holds in a particular region of the (a, d) plane.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • This could imply different bifurcation behaviors for subharmonic waves depending on whether depth is above or below d0(a).
  • The comparison with stagnation depth suggests that for certain vorticities, stability properties change before flow stagnation occurs.
  • Similar eigenvalue analysis might apply to flows with non-constant vorticity if the branch existence can be established.

Load-bearing premise

The existence of an analytic branch of Stokes waves bifurcating from the subcritical laminar flow with the wave period as parameter, along with the first eigenvalue remaining negative on this branch.

What would settle it

A numerical computation of the second eigenvalue for a chosen a at depths just below and above the estimated d0(a) to check for the predicted sign change would confirm or refute the result.

Figures

Figures reproduced from arXiv: 2511.05942 by Oleg Motygin, Vladimir Kozlov.

Figure 1
Figure 1. Figure 1: Positivity of µ2(a, d) when the laminar flow U is not unidirectional. Here dc(a) is the critical value of d, ds(a) = p 2/|a| the depth when the laminar flow has a stagnation point on the surface or at the bottom, and d0(a) is the root of µ2(a, d0) = 0. The curves ds(a) and d0(a) intersect at a = a0 ≈ −1.01803. µ2 > 0. This domain M+, where µ2 is positive for laminar flows with counter-currents, is shown in… view at source ↗
Figure 2
Figure 2. Figure 2: Stagnation points of the laminar flow U: stagnation points are absent in the domain Θ and they are present in both Υ− and Υ+. Remark 3.1. Let us give some details on computation of the dependence dc(a) shown in Figs. 1 and 2, which is defined as the real positive solution of the equation (3.3). It is convenient to divide (3.3) by dc, then we arrive at the equation s 4 − s − p = 0, where s = 1 dc , p = 1 4 … view at source ↗
Figure 3
Figure 3. Figure 3: Dependence of µ2 on d in a semilogarithmic scale for fixed a = −10, −3, a0, −0.3, −0.1, and 0 (plots 1, . . . , 6). d → ∞ in view of (3.52) and (3.53). This change of the sign of µ2 in (dc, +∞) also implies the existence of zero of µ2 on this interval of d. The dependence of the zero d0(a) of µ2 is shown in [PITH_FULL_IMAGE:figures/full_fig_p017_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Dependence of µ2 on d in a semilogarithmic scale for fixed a = 5, 1.5, 0.5, 0.25, and 0.15 (plots 1, . . . , 5). Then equating to zero factors for powers of d in the expression σ(τ∗), we find n− = 4 3 tanh n−, i.e. n− ≈ 1.034021..., n0 = n1 = 0, n2 = n− 9n 2 − − 4 . Substituting asymptotic representation (3.57) to expression of µ2 defined by (3.50) with (3.35), (3.42), (3.46), we find that on the curve a(d… view at source ↗
Figure 5
Figure 5. Figure 5: Dependence of Y∗(a, d0(a)) on a < a0 ≈ −1.01803. The dotted line shows the limit level Y∗,max ≈ 0.314507... 3.6 The first eigenvalue of the Fr´echet derivative. The formal stability According to Sect. 3.3, the first eigenvalue of the problem (3.13) is µ00 = σ(0) and the corresponding eigenfunction is u00(y) = γ(y; 0) = y d . Let us find the asymptotics of the first eigenvalue and corresponding eigenfunctio… view at source ↗
Figure 6
Figure 6. Figure 6: The formal stability (positiveness of B(a, d) takes place in the domain B+ marked by color and bounded by solid line). The domain M+ is also shown in color and bounded by dashed lines (ds(a) and d0(a)); see also [PITH_FULL_IMAGE:figures/full_fig_p022_6.png] view at source ↗
read the original abstract

We consider steady water waves in a two-dimensional channel bounded below by a flat, rigid bottom and above by a free surface. Surface tension is neglected, and the flow is rotational with constant vorticity $a$. We analyze an analytic branch of Stokes waves bifurcating from a subcritical laminar flow, with the wave period serving as the bifurcation parameter. Along this branch, the first eigenvalue of the Fr\'{e}chet derivative remains negative. Our main focus is the second eigenvalue; its sign plays a crucial role in the analysis of subharmonic bifurcations. This small eigenvalue determines the validity of the principle of exchange of stabilities: a positive sign confirms it, while a negative sign indicates its violation. Furthermore, a positive second eigenvalue corresponds to an increasing period along the bifurcation curve near the critical point, whereas a negative sign implies period decrease. We investigate how the sign of the second eigenvalue depends on the Bernoulli constant $R$ (equivalently, the laminar flow depth $d$) and the vorticity $a$. We show that for each $a$ there exists a critical depth $d_0(a)$ such that the second eigenvalue is positive for $d<d_0(a)$ and negative for $d>d_0(a)$. In the laminar flow, a stagnation point forms when the depth exceeds a threshold $d_s(a)$. We demonstrate that $d_0(a) < d_s(a)$ for $a > a_0 \approx -1.01803$, whereas $d_0(a) > d_s(a)$ for $a < a_0$. We also verify the property of formal stability by a description of the domain in $(a,d)$ variables, where this property holds. Numerical illustrations of these properties are presented in the paper.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The paper considers steady rotational water waves with constant vorticity a in a channel, analyzing an analytic branch of Stokes waves bifurcating from the subcritical laminar flow with wave period as the bifurcation parameter. It establishes that the first eigenvalue of the Fréchet derivative remains negative along this branch, then focuses on the sign of the second eigenvalue, proving existence of a critical depth d0(a) such that the eigenvalue is positive for d < d0(a) and negative for d > d0(a). The authors compare d0(a) to the stagnation depth ds(a) in the laminar flow, showing d0(a) < ds(a) for a > a0 ≈ -1.01803 and the reverse for a < a0, with numerical illustrations and a description of the domain where formal stability holds.

Significance. If the central claims hold, the work clarifies the validity of the principle of exchange of stabilities for subcritical rotational Stokes waves and its relation to period monotonicity along the bifurcation curve. The analytic application of Crandall-Rabinowitz theory to the period-bifurcation branch, combined with the explicit comparison of d0(a) and ds(a) across the transition at a0, supplies concrete information on when subharmonic bifurcations may be expected or precluded, which is useful for further stability and bifurcation analyses in the field.

major comments (1)
  1. [Numerical computations and figures] Numerical section (around the computation of a0 ≈ -1.01803 and the sign comparisons): The determination that d0(a) crosses ds(a) at a0 and the inequalities d0(a) ≷ ds(a) for a ≷ a0 rest on numerical continuation of the second eigenvalue along the branch. No discretization error estimates, mesh-convergence study, or validation against an exactly solvable limit (e.g., the irrotational case a=0) are supplied. Because ds(a) is defined by an algebraic condition on the laminar profile, an O(10^{-3}) shift in the computed zero-crossing can reverse the claimed inequality near a0, which is load-bearing for the main result on the transition.
minor comments (2)
  1. [Abstract] The abstract states the main theorems and numerical observations but supplies no derivation details or proof sketches for the analytic continuation and eigenvalue perturbation arguments; a brief outline in the introduction would improve readability.
  2. [Introduction and setup] Notation for the Bernoulli constant R and its equivalence to laminar depth d is introduced without an explicit equation relating them; adding the relation (likely in §2) would clarify the parameter space.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the constructive comment on the numerical section. We address the point below and will strengthen the presentation of the numerical results in the revised version.

read point-by-point responses

  1. Referee: [Numerical computations and figures] Numerical section (around the computation of a0 ≈ -1.01803 and the sign comparisons): The determination that d0(a) crosses ds(a) at a0 and the inequalities d0(a) ≷ ds(a) for a ≷ a0 rest on numerical continuation of the second eigenvalue along the branch. No discretization error estimates, mesh-convergence study, or validation against an exactly solvable limit (e.g., the irrotational case a=0) are supplied. Because ds(a) is defined by an algebraic condition on the laminar profile, an O(10^{-3}) shift in the computed zero-crossing can reverse the claimed inequality near a0, which is load-bearing for the main result on the transition.

    Authors: We agree that the numerical evidence for the transition value a0 and the relative ordering of d0(a) and ds(a) would benefit from additional validation. In the revised manuscript we will include a mesh-convergence study for the second-eigenvalue computations, explicit discretization-error estimates, and a direct comparison with the irrotational case a=0 (where independent checks are available). These additions will confirm that the reported crossing at a0 ≈ -1.01803 is stable under refinement and that the sign-change inequalities hold as stated. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation relies on independent bifurcation analysis and operator properties

full rationale

The paper's central results follow from applying Crandall-Rabinowitz bifurcation theory to the Fréchet derivative of the water-wave operator at the subcritical laminar flow, establishing an analytic branch with the first eigenvalue remaining negative. The sign change of the second eigenvalue at d0(a) is obtained by direct analysis of this derivative along the branch, with ds(a) defined separately via the algebraic stagnation condition on the laminar profile. These quantities are not defined in terms of each other, nor is any prediction fitted to or renamed from the target inequalities. No load-bearing self-citation, ansatz smuggling, or uniqueness theorem imported from prior author work appears in the derivation chain. The numerical illustrations of a0 and the d0 vs ds comparison are presented as verification rather than as the source of the claims. The derivation is therefore self-contained against external mathematical benchmarks.

Axiom & Free-Parameter Ledger

1 free parameters · 2 axioms · 0 invented entities

The central claims rest on the assumed existence of an analytic bifurcation branch from the laminar flow and the maintained negativity of the first eigenvalue; these are standard domain assumptions in steady water-wave theory rather than new postulates.

free parameters (1)
  • a0 = -1.01803
    Approximate vorticity value at which d0(a) equals ds(a), obtained by numerical computation.
axioms (2)
  • domain assumption Existence of an analytic branch of Stokes waves bifurcating from subcritical laminar flow with constant vorticity, using wave period as bifurcation parameter.
    Invoked as the starting point for tracking eigenvalues along the branch.
  • domain assumption The first eigenvalue of the Fréchet derivative remains negative along the entire branch.
    Stated explicitly as background for focusing on the second eigenvalue.

pith-pipeline@v0.9.0 · 5620 in / 1221 out tokens · 45155 ms · 2026-05-18T00:08:20.912348+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

15 extracted references · 15 canonical work pages

  1. [1]

    Constantin and W

    A. Constantin and W. Strauss. Exact steady periodic water waves with vorticity. Communications on Pure and Applied Mathematics, 57(4):481–527, 2004

    work page 2004

  2. [2]

    Kozlov and N

    V. Kozlov and N. Kuznetsov. Dispersion equation for water waves with vorticity and Stokes waves on flows with counter-currents.Archive for Rational Mechanics and Analysis, 214(3):971–1018, 2014. 24

    work page 2014

  3. [3]

    Constantin and E

    A. Constantin and E. Varvaruca. Steady periodic water waves with constant vortic- ity: Regularity and local bifurcation.Archive for Rational Mechanics and Analysis, 199(1):33–67, 2011

    work page 2011

  4. [4]

    Constantin, W

    A. Constantin, W. Strauss, and E. V˘ arv˘ aruc˘ a. Global bifurcation of steady gravity water waves with critical layers.Acta Mathematica, 217(2):195–262, 2016

    work page 2016

  5. [5]

    Kozlov and N

    V. Kozlov and N. Kuznetsov. The Benjamin–Lighthill conjecture for near-critical values of Bernoulli’s constant.Archive for Rational Mechanics and Analysis, 197(2):433–488, 2010

    work page 2010

  6. [6]

    K. Varholm. Global bifurcation of waves with multiple critical layers.SIAM Journal on Mathematical Analysis, 52(5):5066–5089, 2020

    work page 2020

  7. [7]

    Crandall and P.H

    M.G. Crandall and P.H. Rabinowitz. Bifurcation, perturbation of simple eigen- values, and linearized stability.Archive for Rational Mechanics and Analysis, 52(2):161–180, 1973

    work page 1973

  8. [8]

    Kielh¨ ofer.Bifurcation Theory: An Introduction with Applications to Partial Differential Equations, volume 156 ofApplied Mathematical Sciences

    H. Kielh¨ ofer.Bifurcation Theory: An Introduction with Applications to Partial Differential Equations, volume 156 ofApplied Mathematical Sciences. Springer New York, New York, NY, 2012

    work page 2012

  9. [9]

    V. Kozlov. On the first subharmonic bifurcations in a branch of Stokes water waves.Journal of Differential Equations, 379:676–720, 2024

    work page 2024

  10. [10]

    Buffoni, E

    B. Buffoni, E. N. Dancer, and J. F. Toland. The regularity and local bifurcation of steady periodic water waves.Archive for Rational Mechanics and Analysis, 152(3):207–240, 2000

    work page 2000

  11. [11]

    Buffoni, E

    B. Buffoni, E. N. Dancer, and J. F. Toland. The sub-harmonic bifurcation of Stokes waves.Archive for Rational Mechanics and Analysis, 152(3):241–271, 2000

    work page 2000

  12. [12]

    V. Kozlov. On the first bifurcation of Stokes waves.Algebra i Analiz, 36(2):70–92, 2024

    work page 2024

  13. [13]

    Constantin and W.A

    A. Constantin and W.A. Strauss. Stability properties of steady water waves with vorticity.Communications on Pure and Applied Mathematics, 60(6):911–950, 2007

    work page 2007

  14. [14]

    G. Dai, F. Li, and Y. Zhang. Bifurcation structure and stability of steady gravity water waves with constant vorticity.Journal of Differential Equations, 332:306– 332, 2022

    work page 2022

  15. [15]

    V. Kozlov. On loops in water wave branches and monotonicity of water waves. Journal of Mathematical Fluid Mechanics, 25(1):9, 2023. 25

    work page 2023