Dynamics of the sine-Gordon equation on tadpole graphs

This work studies the dynamics of solutions to the sine-Gordon equation posed on a tadpole graph $G$ and endowed with boundary conditions at the vertex of $δ$-type. The latter generalize conditions of Neumann-Kirchhoff type. The purpose of this analysis is to establish an instability result for a certain family of stationary solutions known as \emph{single-lobe kink state profiles}, which consist of a periodic, symmetric, concave stationary solution in the finite (periodic) lasso of the tadpole, coupled with a decaying kink at the infinite edge of the graph. It is proved that such stationary profile solutions are linearly (and nonlinearly) unstable under the flow of the sine-Gordon model on the graph. The extension theory of symmetric operators, Sturm-Liouville oscillation results and analytic perturbation theory of operators are fundamental ingredients in the stability analysis. The local well-posedness of the sine-Gordon model in an appropriate energy space is also established. The theory developed in this investigation constitutes the first stability result of stationary solutions to the sine-Gordon equation on a tadpole graph.

💡 Research Summary

The paper investigates the dynamics of the sine‑Gordon equation on a simple metric graph known as a tadpole graph, which consists of a closed loop (the “lasso”) attached to a semi‑infinite line at a single vertex. The authors impose δ‑type coupling conditions at the vertex, a one‑parameter family of boundary conditions that generalize the usual Neumann‑Kirchhoff conditions; the parameter (Z\in\mathbb{R}) controls the strength of the interaction between the loop and the half‑line.

The main objects of study are stationary (time‑independent) solutions that combine two distinct components: (i) a periodic, symmetric, concave profile on the finite loop, and (ii) a decaying kink on the infinite edge. The loop component is constructed explicitly using Jacobian elliptic functions; for a modulus (k\in(0,1)) satisfying (K(k)>Lc_{1}) (where (K) is the complete elliptic integral of the first kind and (c_{1}) is the wave speed on the loop) the profile is \