Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.39611

Existence and spectral instability of steady rolls in the Nikolaevskiy equation: a computer-assisted study

Nikita V. Konev·Fedor A. Vyazanitsyn·Igor A. Knyazev
View original source ↗Read source document ↗Export metadata ↓

Abstract

The Nikolaevskiy equation is a model of short-wave pattern formation coupled to a neutral long-wave mode, and it is believed that all of its spatially periodic steady states are unstable. Existing results are formal, numerical, or restricted to a small neighbourhood of onset. We give computer-assisted proofs of three results. First, for every wavenumber q in [0.9, 1.1] and every control parameter r between the onset value (1-q^2)^2 and 4, the equation has a nontrivial, real-analytic, odd steady roll; these rolls form a single continuous two-parameter family that bifurcates from the trivial state at onset, with an explicit amplitude bound proportional to the square root of the distance to onset. Second, every roll of this family with r in [0.25, 4] is spectrally unstable on the real line: its linearisation has a Bloch eigenvalue with real part at least 6.7e-4, and at least 0.13 for r >= 0.575. Third, at nine sample points we enclose, at a small Bloch number, the eigenvalue numerically identified with the long-wave (Matthews-Cox) branch; its real part is positive at seven points and negative at two, while strongly unstable eigenvalues exist at all nine. The proofs combine a parametrised Newton-Kantorovich theorem, a desingularisation near onset, Taylor-model bounds on parameter boxes, and a Weyl-sequence argument for the Bloch spectrum; all estimates are evaluated in rigorous interval arithmetic.

Explore related subjects

math.DSmath.APnlin.PS

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Nikita V. Konev, Fedor A. Vyazanitsyn, Igor A. Knyazev. 2026-10-29. Existence and spectral instability of steady rolls in the Nikolaevskiy equation: a computer-assisted study. https://arxiv.org/abs/2610.39611

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Extreme value theorem for geodesic flow on the quotient of the theta group

We establish an extreme value theorem for the geodesic flow $g_t$ on the hyperbolic surface $Θ\backslash\mathbb{H}^2$ associated with the theta group $Θ$. To capture excursions into both cusps of this surface, we introduce a generalized continued fraction algorithm obtained by splicing the even and odd--odd continued fraction maps into a single dynamical system. We prove that the natural extension of this map is isomorphic to the first return map of the geodesic flow on a suitable cross-section. Using spectral properties of the associated transfer operator, we derive a Galambos-type extreme value law for the digits of the spliced continued fraction. This symbolic result is then translated into a geometric extreme value theorem describing maximal cusp excursions of geodesics on $Θ\backslash\mathbb{H}^2$.

math.DS↗
arXiv2026

Asymmetry of a class of Mellin transforms

We consider a class of Mellin transforms $μ_η$ associated with a class of functions $η$, defined for every complex $s$ in the critical strip. We establish sufficient conditions on $η$ under which $μ_η(s)$ and $μ_η(1-s)$ cannot both vanish outside the critical line for sufficiently large imaginary parts of $s$. An application is given to the case in which $η$ is the fractional part function, for which the zeros of $μ_η$ coincide with the zeros of the Riemann zeta function.

math.DS↗
arXiv2026

Equilibria in Motion: Stability, Tracking, and Convergence

{We study nonautonomous systems whose equilibrium sets are nonisolated and move with time. Their motion is measured on each ball by a localized Attouch--Wets distance, which yields an equilibrium speed that may depend on the radius. The distance from a trajectory to the current equilibrium set is estimated in two ways: through a composite Lyapunov function compared with a power of this distance, and, without any Lyapunov function, through a decay condition on the frozen vector fields. In the first setting, we prove practical stability, and Lyapunov stability when the dissipation has no residual, a case that forces the equilibrium sets to be nested. In the second, we obtain, in the region where the decay condition holds, an explicit tracking estimate driven by the equilibrium speed and the inputs, and we prove asymptotic tracking whenever their averages over unit time intervals vanish, a condition that cannot be weakened among conditions on the speed alone. We also derive input-to-state stability bounds and explicit convergence rates. When the equilibrium speeds are integrable, the equilibrium sets converge in the Attouch--Wets sense to a limiting set at an explicit rate. If, moreover, the velocity is bounded by a multiple of the distance to the current equilibrium set, every trajectory remaining in the region considered has finite length and converges to a point of the limiting set; for a fixed equilibrium set, this yields semistability. The results are illustrated on a scalar example and on resource-allocation models with time-varying demand and with rotating weights.

math.DS↗