Spectra of Elliptic Operators on Quantum Graphs with Small Edges

We consider a general second order self-adjoint elliptic operator on an arbitrary metric graph, to which a small graph is glued. This small graph is obtained via rescaling a given fixed graph gamma by a small positive parameter epsilon. The coefficients in the differential expression are varying, and they, as well as the matrices in the boundary conditions, can also depend on epsilon and we assume that this dependence is analytic. We introduce a special operator on a certain extension of the graph gamma and assume that this operator has no embedded eigenvalues at the threshold of its essential spectrum. It is known that under such assumption the perturbed operator converges to a certain limiting operator. Our main results establish the convergence of the spectrum of the perturbed operator to that of the limiting operator. The convergence of the spectral projectors is proved as well. We show that the eigenvalues of the perturbed operator converging to limiting discrete eigenvalues are analytic in epsilon and the same is true for the associated perturbed eigenfunctions. We provide an effective recurrent algorithm for determining all coefficients in the Taylor series for the perturbed eigenvalues and eigenfunctions.

Automated summary

The paper explores a general second order self-adjoint elliptic operator on an arbitrary metric graph with a glued small graph. By introducing a special operator and assuming no embedded eigenvalues, it is proven that the spectrum of the perturbed operator converges to that of the limiting operator, along with the convergence of the spectral projectors. Additionally, it is shown that the eigenvalues and eigenfunctions of the perturbed operator converging to limiting discrete eigenvalues are analytic in epsilon.