SearcharxivSearch

arXiv subjects

Ting-Yang Hsiao

Publications and source records attributed to Ting-Yang Hsiao.

14 recordsLinked to original sources

Synchronization Relations in the Hybrid Kuramoto Flow: Equivalence and a High-Coherence Criterion

We study four synchronization notions for the all-to-all hybrid Kuramoto model containing both first- and second-order oscillators with heterogeneous inertias and damping coefficients. We prove that full phase locking, bounded phase locking, and frequency synchronization are equivalent for arbitrary hybrid ensembles, and that each of these properties implies convergence of the complex order parameter. Conversely, if an order-parameter synchronized trajectory has limiting order parameter $Z^*$ satisfying $|Z^*|>\max\left\{\frac{ω_M}λ,\,1-\frac{2}{N}\right\}$, then the trajectory is frequency synchronized and hence fully phase locked. The converse proof is entirely real-dynamical. The omega-limit set is internally chain transitive and, because the order parameter is constant on that set, the dynamics reduce there to a product of frozen scalar equations. A tilted-energy argument shows that every nonstationary scalar factor of an internally chain transitive frozen set must cover the whole phase circle. Evaluating the constant mean field at an antipodal phase then forces $|Z^*|\le 1-2/N$, a contradiction. For zero natural frequencies, convergence follows from the analytic periodic gradient structure with degenerate inertia.

math.DS

Propagation-Window Bounds in Degenerate Plant-Consumer Reaction-Diffusion Systems

We study traveling waves in high-dimensional plant--consumer reaction--diffusion systems with $N$ competing plants and $N$ associated consumers. We focus on the degenerate case in which consumer growth vanishes when plant populations are zero, so the standard Fisher--KPP linearization does not determine the leading-edge behavior. Under a weak-interaction condition, we identify a plant-driven lower threshold $s_{\mathrm P}$, a constructive upper threshold $s_{\mathrm C}^{\mathrm{ex}}$, and a universal necessary upper threshold $s_{\mathrm C}^{\mathrm{nec}}$, and prove $(s_{\mathrm P},s_{\mathrm C}^{\mathrm{ex}})\subseteq \mathcal S\subseteq[s_{\mathrm P},s_{\mathrm C}^{\mathrm{nec}})$, where $\mathcal S$ is the set of speeds admitting positive extinction-to-coexistence waves. Existence follows from new lower solutions that remove previously imposed diffusion and compatibility restrictions. Nonexistence below $s_{\mathrm P}$ follows from a Sturm argument, while center-manifold analysis and a Riccati crossing argument yield the finite upper-speed obstruction. An explicit two-species wave beyond $s_{\mathrm C}^{\mathrm{ex}}$ shows that this constructive threshold is not the true maximal speed.

math.AP

Spectral structure of the Benjamin-Feir instability in deep-water gravity-capillary Stokes waves

We investigate the Benjamin-Feir instability of small-amplitude gravity-capillary Stokes waves in deep water for the full water wave equations. While modulational instability has been classically predicted by formal asymptotic approaches, such as nonlinear Schrödinger approximations, a complete spectral description at the level of the Euler equations has remained open. We perform a rigorous Bloch-Floquet spectral analysis of the linearized operator and describe the splitting of the multiple eigenvalues at the origin. In the unstable regime, we identify a pair of eigenvalues with non-zero real part forming the characteristic ``figure-eight'' pattern in the complex plane. As a consequence, we recover sharp instability and stability regions in terms of the surface tension parameter, thereby providing a fully rigorous justification of the classical predictions in the gravity-capillary setting.

math.AP

Modulational spectrum of infinite-depth hydroelastic Stokes waves

We determine the complete local Bloch spectrum bifurcating from the origin for small-amplitude periodic hydroelastic Stokes waves in infinite depth, under the combined effects of gravity, surface tension, and elastic bending. Away from the Wilton-type resonance set, we construct a real-analytic Stokes-wave branch and analyze the four eigenvalues emerging from the defective zero eigenvalue of the linearized hydroelastic Euler system. Using analytic spectral perturbation theory and Hamiltonian-reversible reductions, we decouple them into a Benjamin--Feir pair and a long-wave pair. The long-wave pair remains purely imaginary and has the singular scale $\cO(\sqrt{|μ|})$, whereas the Benjamin--Feir pair is governed by an explicit discriminant whose leading sign yields a sharp criterion for modulational stability and instability. We derive the exact non-resonant phase diagram in the surface-tension-bending parameter plane and identify a bounded stability island generated by elastic bending. In the unstable region, and away from a drift degeneracy, the Benjamin--Feir branches form a local figure-eight curve. In the zero-bending limit, the reduced coefficients recover the known deep-water gravity and gravity-capillary results, while the change from the finite-depth $\cO(|μ|)$ long-wave scale to $\cO(\sqrt{|μ|})$ shows that the infinite-depth problem is singular.

math.AP

Synchronization and Hopf Bifurcation in Stuart--Landau Networks

The Kuramoto model has shaped our understanding of synchronization in complex systems, yet its phase-only formulation neglects amplitude dynamics that are intrinsic to many oscillatory networks. In this work, we revisit Kuramoto-type synchronization through networks of Stuart-Landau oscillators, which arise as the universal normal form near a Hopf bifurcation. For identical natural frequencies, we analyze synchronization in two complementary regimes. Away from criticality, we establish exponential complete synchronization on arbitrary finite connected undirected networks under explicit sufficient conditions on the parameters and initial data that prevent amplitude death. For ring networks, we identify an exact branch of synchronous periodic solutions arising from a supercritical Hopf bifurcation and use block-circulant Fourier analysis to determine the critical parameter values and multiplicities of the non-synchronous modes. For $N=7$ and $s=2$, a center-manifold reduction yields cubic amplitude equations for paired critical modes, identifying exact single-mode rotating-wave solutions and a standing-wave pattern at cubic order. Numerical simulations compare the dynamics restricted to the rotating-wave invariant subspaces with direct simulations of the full network.

math.DS

Existence of pure capillary solitary waves in constant vorticity flows

We prove that the finite-depth pure-capillary rigidity mechanism in the irrotational water-wave problem is destroyed by a suitable constant-vorticity critical shear. More precisely, we construct small-amplitude finite-depth pure capillary solitary waves for the two-dimensional free-boundary Euler equations with nonzero constant vorticity and zero gravity. The waves bifurcate from a critical shear flow whose relative horizontal velocity vanishes at the bed, so that the standard Dubreil--Jacotin no-stagnation formulation is singular at the asymptotic state. We therefore formulate the traveling-wave problem directly as a Hamiltonian spatial-dynamics system in flattened Euler variables, remove a nonlinear boundary condition from the domain of the vector field, and verify the spectral and resolvent hypotheses needed for a two-dimensional center-manifold reduction. A parameter-dependent Darboux transformation and a cubic expansion of the reduced Hamiltonian yield, under a long-wave scaling, a stationary KdV equation. Its reversible homoclinic orbit persists under the full reduced dynamics and gives a family of small-amplitude waves of depression.

math.AP

Benjamin-Feir spectrum of hydroelastic Stokes waves

We determine the complete Benjamin-Feir spectrum near the origin for small-amplitude hydroelastic Stokes waves of the two-dimensional finite-depth irrotational Euler equations with surface tension and elastic bending. For the non-resonant Stokes branch and away from an intrinsic characteristic-collision surface $\mathfrak D$, we resolve all four Bloch eigenvalues bifurcating from the origin in the long-wave Floquet regime. Exploiting the Hamiltonian and reversible structure of the problem, we reduce the linearized Bloch operator to the four-dimensional spectral subspace bifurcating from the generalized kernel at the origin and conjugate the resulting matrix to the direct sum of a Benjamin-Feir block and a long-wave block. The long-wave pair remains purely imaginary, whereas the Benjamin-Feir pair is governed by an explicit closed-form instability index $\operatorname{Ind}(\mathtt{h},κ,b)$: a positive index produces a local figure-eight spectral curve with nonzero real part, while a negative index implies that all four small eigenvalues remain purely imaginary. Together with the Wilton-type resonance loci and the characteristic-collision surface $\mathfrak D$, this index yields a three-parameter spectral-stability diagram in the depth $\mathtt{h}$, surface tension $κ$, and bending rigidity $b$. The diagram recovers the classical pure-gravity critical-depth limit and, on the zero-bending boundary, the gravity--capillary stability diagram. It also reveals a genuinely hydroelastic phenomenon: all Wilton-type resonances disappear whenever $b\geq 1/14$ or $κ\geq 1/2$. This provides the first complete rigorous characterization of the local Benjamin-Feir spectrum for a hydroelastic free-boundary problem.

math.AP

On the Equivalence of Synchronization Definitions in the Kuramoto Flow: A Unified Approach

We present a rigorous mathematical framework establishing the equivalence of four classical notions of synchronization full phase-locking, phase-locking, frequency synchronization, and order parameter synchronization in generalized Kuramoto models, via a non-perturbative, finite-dimensional analysis. Our approach avoids linearization, mean-field limits, and restrictions on initial conditions, relying instead on global phase-space geometry, periodic vector field structure, and compactness arguments based on contradiction. These results clarify the foundational role of the order parameter and provide a unified understanding of synchronization across a broad class of heterogeneous oscillator networks.

math.DS

Non-Monotone Traveling Waves of the Weak Competition Lotka-Volterra System

We investigate traveling wave solutions in the two-species reaction-diffusion Lotka-Volterra competition system under weak competition. For the strict weak competition regime $(b 0)$, we construct refined upper and lower solutions combined with the Schauder fixed point theorem to establish the existence of traveling waves for all wave speeds $s\geq s^*:=\max\{2,2\sqrt{ad}\}$, and provide verifiable sufficient conditions for the emergence of non-monotone waves. Such conditions for non-monotonic waves have not been explicitly addressed in previous studies. It is interesting to point out that our result for non-monotone waves also hold for the critical speed case $s=s^*$. In addition, in the critical weak competition case $(b 0)$, we rigorously prove, for the first time, the existence of front-pulse traveling waves.

math.AP

Full Benjamin-Feir instability of capillary-gravity Stokes waves in finite depth

We study the two-dimensional gravity-capillary water waves equations for a fluid of finite depth $\mathtt{h}>0$ under the combined effects of gravity and surface tension $κ\geq 0$. We analyze the linear stability and instability of small-amplitude, $2π$-periodic Stokes wave solutions, under the effect of longitudinal long-wave perturbations. The corresponding linearized operator has periodic coefficients and a defective zero eigenvalue of multiplicity four. Using Bloch-Floquet theory, we investigate the associated family of periodic eigenvalue problems. For all surface tension values $κ\geq 0$ and depths $\mathtt{h} > 0$, we establish the complete splitting of the four eigenvalues near zero when both the wave amplitude and the Floquet parameter are small. Specifically, we rigorously prove that in the regions of unstable depth and capillarity identified formally by Djordjevic-Redekopp and Ablowitz-Segur in the 1970's, the spectrum of the linearized operator near the origin depicts a "figure 8" pattern.

math.AP

Synchronization in the complexified Kuramoto model

In this paper, we consider an $N$-oscillators complexified Kuramoto model. We first observe that there are solutions exhibiting finite-time blow-up behavior in all coupling regimes. When the coupling strength $λ>λ_c$, sufficient conditions for various types of synchronization are established for general $N \geq 2$. On the other hand, we analyze the case when the coupling strength is weak. For $N=2$ with coupling below $λ_c$, our complex-analytic approach not only recovers the periodic orbits reported by Thümler--Srinivas--Schröder--Timme but also provides, for the first time, their exact period $T_{ω,λ}=2π/\sqrt{ω^{2}-λ^{2}}$, confirming full phase locking. Furthermore, for the critical case $λ= λ_c$, we find that the complexified Kuramoto system admits homoclinic orbits. These phenomena significantly differentiate the complexified Kuramoto model from the real Kuramoto system, as synchronization never occurs when $λ<λ_c$ in the latter. For $N=3$, we demonstrate that if the natural frequencies are in arithmetic progression, non-trivial synchronization states can be achieved for certain initial conditions even when the coupling strength is weak. In particular, we characterize the critical coupling strength ($λ/λ_c = 0.85218915...$) such that a semistable equilibrium point in the real Kuramoto model bifurcates into a pair of stable and unstable equilibria, marking a new phenomenon in complexified Kuramoto models.

math.DS

Savanna dynamics with grazing, browsing, and migration effects

This article explores the dynamics of savanna ecosystems with grazing, browsing, and migration effects. Covering over one-eighth of the Earth's land area and supporting about one-fifth of the global population, the savanna is an ecological system whose importance has only recently garnered significant attention from biologists. The interactions between organisms in this ecosystem are highly complex, and fundamental mathematical issues remain unresolved. We rigorously analyze traveling waves in savanna systems and focus on whether trees, grass, grazers, and browsers coexist. We demonstrate the existence of various traveling waves, including waves transitioning from extinction to co-existence and waves from a grass-vegetation state (where only grass and grazers exist) to co-existence. Due to the biodiversity of species in grassland ecosystems, it is not appropriate to consider overly simplified models of competition between grasses and trees. From both a biological and mathematical perspective, factors such as animal grazing, browsing, and migration (which facilitates seed dispersal) play a crucial role in promoting ecological stability and coexistence. Additionally, we estimate the nonzero minimum value of the total plant biomass within the savanna dynamic system to better understand the persistence and stability of sustainable development within the ecosystem.

q-bio.PE

Synchronization in the quaternionic Kuramoto model

In this paper, we propose an $N$ oscillators Kuramoto model with quaternions $\mathbb{H}$. In case the coupling strength is strong, a sufficient condition of synchronization is established for general $N\geqslant 2$. On the other hand, we analyze the case when the coupling strength is weak. For $N=2$, when coupling strength is weak (below the critical coupling strength $λ_c$), we show that new periodic orbits emerge near each equilibrium point, and hence phase-locking state exists. This phenomenon is different from the real Kuramoto system since it is impossible to arrive at any synchronization when $λ<λ_c$. We prove a theorem that states a set of closed and dense contour forms near each equilibrium point, resembling a tree's growth rings. In other words, the trajectory of phase difference lies on a $4D$-torus surface. Therefore, this implies that the phase-locking state is Lyapunov stable but not asymptotically stable. The proof uses a new infinite buffer method (``$δ/n$ criterion") and a Lyapunov function argument. This has been studied both analytically and numerically. For $N=3$, we consider the ``Lion Dance flow", the analog of Cherry flow for our model, to demonstrate that the quaternionic synchronization exists even when the coupling strength is ``super weak" (when $λ/ω<0.85218915...$). Also, numerical evaluation reveals that when $N>3$, the stable manifold of Lion Dance flow exists, and the number of these equilibria is $\lfloor \frac{N-1}{2}\rfloor$. Therefore, we conjecture that Lyapunov stable quaternionic synchronization always exists.

math.DS

The Ant on a Rubber Rope Paradox

We clarify and generalize the ant on a rubber rope paradox, which is a mathematical puzzle with a solution that appears counterintuitive. In this paper, we show that the ant can still reach the end of the rope even if we consider the step length of the ant and stretching length of the rubber rope as random variables.

math.HO