Norm-Resolvent Convergence for Neumann Laplacians on Manifold Thinning to Graphs

Abstract

Norm-resolvent convergence with an order-sharp error estimate is established for Neumann Laplacians on thin domains in ${\mathbb{R}}^d,$ $d\ge 2,$ converging to metric graphs in the limit of vanishing thickness parameter in the “resonant” case. The vertex matching conditions of the limiting quantum graph are revealed as being closely related to those of the ${\delta }^{\prime }$ type.

1. Introduction

In the book [1] (see also references therein, in particular [2,3,4]), Neumann Laplacians $A_{\epsilon }$ on thin manifolds, converging to metric graphs as $\epsilon \to 0$, were studied; see, e.g., Figure 1. Here, $\epsilon$ represents the “thickness” of the manifolds in those parts where they converge to the graph edges. The named works attacked the question of spectral (and, in the case of [1], norm-resolvent) convergence of such partial differential operators to a graph Laplacian with certain matching conditions at the graph vertices. This latter ordinary differential operator is introduced as follows. Denoting by E the set of edges e of the limiting graph $G,$ each $e\in E$ can be identified with the interval $[0,l_e],$ where $l_e$ is the length of e. We use notation $L^2\left(e\right)$ for the associated Hilbert space $L^2(0,l_e).$ Similarly, we denote $L^2\left(G\right):={\oplus }_e{L}^2\left(e\right)$. The graph Laplacian $A_G$ is generated by the differential expression $-u^{″},$$u\in H^2\left(e\right)$ on each edge $e\in E$ separately (see [5] for details), subject to the vertex conditions discussed below.

It was proved in [2,3,4] that, within any compact $K\in \mathbb{C},$ the spectra of $A_{\epsilon }$ converge in the Hausdorff sense to the spectrum of a graph Laplacian $A_G$. In the book [1], the claimed convergence was enhanced to the norm-resolvent type, with an explicit control of the error as $O\left({\epsilon }^{\gamma }\right),$ where $\gamma >0$ depends on whether the ambient space is two-dimensional. The matching conditions at the vertices of the limiting graph turn out to be any one of the following:

(i)

Kirchhoff (i.e., standard) if the vertex volumes are decaying, as $\epsilon \to 0,$ faster than the edge volumes;

(ii)

“Resonant”, which can be equivalently described in terms of $\delta$-type matching conditions with coupling constants proportional to the spectral parameter $z,$ see [2,3], if the vertex and edge volumes are of the same order;

(iii)

“Dirichlet-decoupled” (i.e., the graph Laplacian becomes completely decoupled) if the vertex volumes vanish slower than the edge ones.

We also refer the reader to the frequently overlooked papers [6,7], where an alternative approach to the asymptotic analysis of thin networks, aimed at capturing the resonant and scattering features, is developed; see also the references therein. In the present paper we consider the case of scalar PDEs, although our approach can be immediately generalised to the case of PDE systems, in particular, in the context of thin elastic structures with applications to, e.g., pentamodes (see [8,9]) by utilising the results of [10].

In the present paper, we are primarily interested in the most non-trivial resonant case (ii). We provide a straightforward, alternative to [1], proof of the fact that the Neumann Laplacians $A_{\epsilon }$ in this case converge in a norm-resolvent sense to a linear operator acting in the Hilbert space $L^2\left(G\right)\oplus {\mathbb{C}}^N$, where N is the number of vertices. The mentioned limiting operator is in fact the one first pointed out in [4] as a self-adjoint operator whose spectrum coincides with the Hausdorff limit of spectra for the family $A_{\epsilon }$.

On the technical side, our approach can be seen as a modification of the one developed by us in [10,11]; see also [12,13,14]. We specifically point out that the framework originally developed for high-contrast homogenisation admits a natural generalisation to setups where the “contrast” is achieved by purely geometric means, including (but not limited to) thin networks, as in the present paper. This seems to widen significantly the range of dimension-reduction-type models that are amenable to this kind of analysis and thus to establish a transparent connection between previously unrelated physical contexts, providing for a possibility to develop new types of media in materials science.

We obtain a better error bound than [1] (Section 6.7) (and skip a visit to the “plumber’s shop” of [1,15]). Our estimate in the planar case is $O\left(\epsilon \right|log\epsilon \left|\right)$ and in the case of ${\mathbb{R}}^d,$ $d\ge 3,$ it is $O\left(\epsilon \right).$ Unlike that of [1], our method does not allow us to study the full set of asymptotic regimes in (iii). This is due to the fact that the argument of our paper [11] is based on the Dirichlet-to-Neumann (DN) machinery. There is a possibility to modify the approach by invoking Neumann-to-Dirichlet maps instead, which would have two advantages: one could consider all rates of vertex volume decay in (iii), and certain geometric smoothness requirements could be somewhat relaxed. Nevertheless, in this paper we stick with the DN version of the approach in order to align the exposition with that of [11]. The alternative strategy will be followed up elsewhere, both in the present context and in the setting of [11].

The above results of course imply the Hausdorff spectral convergence, at the same time yielding a sharp estimate on its rate. Moreover, in contrast to [1], our approach allows one to consider “high-frequency” regimes, i.e., setups where the spectral parameter (which in the wave propagation context may represent the square of the frequency) is no longer constrained to a compact set but is still constrained by some negative power of the small parameter $\epsilon$. (In non-dimensional terms this corresponds to the wavelength being of the order of some positive power of $\epsilon$). This leads to a sequence of “effective”, dimensionally reduced, models of the thin structure, which are sequentially applicable for a set of (asymptotic) frequency intervals. The complexity of the dimension reduction process for these models increases along the sequence. While an initial result regarding the high-frequency situation is presented below (which suffices to reveal a metamaterial in a periodic thin network of [16]), we postpone the full analysis to a future publication.

Alongside the high-frequency analysis, yet another sequence of models will be revealed by a version of the same argument. This corresponds to the transition from the resonant regime to the Dirichet-decoupled one and will allow us to reconcile the asymptotic analysis of [1] with that of [7] by introducing “transitional” models of increasing complexity. In these transitional regimes, from the point of view of [1], one gets arbitrarily close to the Dirichlet-decoupled situation, see (iii) above, whereas from the point of view of [7] (where the vertex volumes do not decay at all), one faces a highly non-trivial picture of resonant scattering.

Aiming at better clarity, in the present paper we restrict ourselves to the case where (without much loss of generality) the edge subdomains are assumed straight and uniformly thin, whereas the vertex subdomains are smooth with, possibly, the exception of the points where they meet the edges (see Section 2 for further details). These assumptions appear very natural in view of the possible examples shown in Figure 1 and Figure 2.

The ultimate section of the paper is dedicated to the spectral analysis of the effective graph Laplacian. We show that effective matching conditions at graph vertices, having been commonly treated as impedance type (namely, linear in the spectral parameter), are in fact of ${\delta }^{\prime }$ type after an application of a unitary gauge. This latter, however, introduces constant magnetic potentials on the edges of the limit graph. It is notable that the presence of such a magnetic field leads to a phase transition to a medium exhibiting double-negative metamaterial properties; see [16]. This observation will permit us to construct thin periodic networks with negative group velocity without the need for an external magnetic field, by relying instead on the resonant geometric properties of the network.

2. Problem Setup and Preliminaries

In what follows, we consider a prototypical setup only, which already presents all the challenges appearing in the general case. We also refer the reader to [1], where the most general setup is meticulously introduced.

For the limiting graph, the following notation will be used: the metric graph G will be identified with the set of edges E, so each individual edge is denoted by $e\in E$ and is associated with an interval $[0,l_e]$. We denote by V the set of graph vertices and treat each $v\in V$ as the set of edge endpoints meeting at v. The graph G is assumed to be oriented throughout.

Proceeding to the setup for the Neumann Laplacian on a thin-graph-convergent structure, let a connected (open) domain Q be the union of the “vertex” part $Q_V$, the “edge” part $Q_E$, and the interface boundary ${\mathsf{\Gamma }}_v^{\epsilon }$ between the two, where $Q_E$ will be assumed to be a finite collection of $\epsilon$-thin cylinders (for $d=2,$ rectangular boxes), $Q_E={\cup }_e{Q}_e$ of lengths $l_e.$ For each e, the domain $Q_e$ is assumed to be, up to a linear spatial transform (i.e., shift and rotation), defined by (for $d=2$)

$$Q_e=\left\{x\in {\mathbb{R}}^2:x_1\in (0,l_e),x_2\in (0,\epsilon )\right\}=(0,l_e)\times (0,\epsilon ).$$

In dimensions $d\ge 3,$ the set $Q_e$ is defined as the direct product of the interval $(0,l_e)$ and a smooth cross-section $Q_e^{\mathrm{c}}$ of volume ${\epsilon }^{d-1}.$

It is further assumed that $Q_V={\cup }_v{Q}_v$, where each of the disjoint domains $Q_v$ is connected and has piecewise smooth boundary $\partial Q_v,$ which can be decomposed as $\partial Q_v=\overline{{\tilde{\mathsf{\Gamma }}}_v^{\epsilon }}\cup \overline{{\mathsf{\Gamma }}_v^{\epsilon }}$, where ${\mathsf{\Gamma }}_v^{\epsilon }$ is the interface between the vertex and edge domains and ${\tilde{\mathsf{\Gamma }}}_v^{\epsilon }$ is the remaining part of $\partial Q_v.$ Henceforth, we often drop the dependence on $\epsilon$ in the notation for those geometric elements where it can be removed by a rescaling or is otherwise irrelevant in the analysis to follow.

The contact part ${\mathsf{\Gamma }}_v^{\epsilon }$ is further decomposed into a union of flat plates (for $d=2,$ straight segments): ${\mathsf{\Gamma }}_v^{\epsilon }=\cup {\mathsf{\Gamma }}_{ev}^{\epsilon }$. Here, the union is taken over all edge domains $Q_e$ connected to $Q_v$ so that ${\overline{Q}}_e\cap {\overline{Q}}_v=\overline{{\mathsf{\Gamma }}_{ev}^{\epsilon }}$. In what follows, we will refer to the segments ${\mathsf{\Gamma }}_{ev}^{\epsilon }$ as contact plates. Since operators of Zaremba (or mixed) boundary value problem [17] will be used below, we further require that the contact plates ${\mathsf{\Gamma }}_{ev}^{\epsilon }$ meet ${\tilde{\mathsf{\Gamma }}}_v^{\epsilon }$ at angles strictly less than $\pi$; see [18,19] for further details. We will further assume that the curves ${\tilde{\mathsf{\Gamma }}}_v^{\epsilon }$ are smooth.

Furthermore, we assume that for all vertices v the domains $Q_v$ have volumes of order ${\epsilon }^{d-1}$ and are obtained by suitable transformations of an $\epsilon$-independent domain $Q_v^0$ containing the origin. More precisely, we assume that for all v and $\epsilon >0$ one has

$$Q_v={\epsilon }^{\frac{d-1}{d}}{\mathcal{T}}_v^{\epsilon }\left(Q_v^0\right)+b_v^{\epsilon },$$

(1)

where $b_v^{\epsilon }\in {\mathbb{R}}^d,$ and the domain ${\mathcal{T}}_v^{\epsilon }\left(Q_v^0\right)$ is obtained from $Q_v^0$ by a suitable homeomorphism ${\mathcal{T}}_v^{\epsilon }$ that (a) preserves volume and (b) maintains the angles between the contact plates and the adjacent parts of the boundary to be uniformly less than $\pi ,$ cf. [17,18].

For example, if $Q_v$ is star-shaped with respect to the origin (recall that a domain $Q_v$ is said to be star-shaped with respect to $x_v\in Q_v$ if for all $x\in Q_v$ one has $\{x_v+t(x-x_v),t\in [0,1]\}\subset Q_v$), the deformation ${\mathcal{T}}_v^{\epsilon }$ can be constructed by “cut-and-glue surgery” applied to $Q_v^0$ followed by a suitable “radial” scaling, as follows. The domain $Q_v^0$ is first split into several conical (sectorial for $d=2$) subdomains by making cuts alongside the cone “generatrices” (“radii” for $d=2$) from the origin to the boundary points (endpoints for $d=2$) of all subsets of $\partial Q_v^0$ pertaining to the contact plates of $Q_v.$ Each cone is then transformed by a suitable change of variable so that (A) the images of the cone bases pertaining to the contact plates of $Q_v$ have linear size ${\epsilon }^{1/d}$ and (B) the image of the complementary part of $Q_v^0$ is reattached to the lateral boundaries of the cones in A. Note that this procedure in general changes the domain volume by a small quantity. In order to restore the volume, a suitable “radial” scaling (centred at the origin) is applied, ensuring that it does not affect any of the mentioned conical subsets.

We remark that the representation (1) guarantees that we are in the “resonant” (or “borderline”) case of [2,3], i.e., that the volumes of the contact plates are proportional to the volumes of vertex domains.

The requirement that the homeomorphism ${\mathcal{T}}_v^{\epsilon }$ in (1) be volume preserving is not essential and can be removed, as long as the ratios of the volumes of the vertex domains to the volumes of the contact plates are bounded below. In this case, the corresponding final convergence estimates, similar to those we derive below (see Theorem 3), will in general depend on the said ratios, as is evident from the Formula (14).

On the domain Q, we consider a family of self-adjoint operators $A_{\epsilon }$ defined by their sesquilinear forms and corresponding to the differential expression $-\Delta$ subject to Neumann boundary conditions. Other types of boundary conditions can be considered as well, including those of Robin and Dirichlet [6,20], in which case the lower edge of the spectrum is $\epsilon$-dependent, which in the context of homogenisation corresponds to the so-called high-frequency regime or, using the terminology of M. S. Birman, to “the neighbourhood of the edge of a gap” [21,22].

Consider $\sigma >0$ and an arbitrary non-negative function $R=R\left(\epsilon \right),$ $\epsilon \in (0,1)$ such that $R\left(\epsilon \right){\epsilon }^{1/2}{|log\epsilon |}^{\gamma }\to 0$ as $\epsilon \to 0,$ where $\gamma =1$ for $d=2$ and $\gamma =0$ otherwise. In what follows, we will deal with the family of resolvents ${(A_{\epsilon }-z)}^{-1}$. We shall always assume that $z\in \mathbb{C}$ is separated from the spectrum of the original operator family. In particular cases, we will assume that either z is constrained to the $\epsilon$-growing compact set

$$K_{\sigma }^{\epsilon }:=B_{R\left(\epsilon \right)}\left(0\right)\setminus \{z\in \mathbb{C}|\mathrm{dist}(z,\mathbb{R})\ge \sigma \},$$

where $B_{R\left(\epsilon \right)}\left(0\right)$ denotes the ball of radius $R\left(\epsilon \right)$ centered at the origin, or

$$z\in K_{\sigma }:=\left\{z\in \mathbb{C}|z\in K\mathrm{a}\mathrm{compact}\mathrm{set}\mathrm{in}\mathbb{C},\mathrm{dist}(z,\mathbb{R})\ge \sigma \right\}.$$

In particular, for all $\epsilon$ small enough, one has $K_{\sigma }\subset K_{\sigma }^{\epsilon }.$ After we have established the operator-norm asymptotics of ${(A_{\epsilon }-z)}^{-1}$ for $z\in K_{\sigma },$ the result is extended by analyticity to a compact set $K_{\sigma }^{\mathrm{ext}}$ whose distance to the spectrum of the leading order of the asymptotics is bounded below by $\sigma$, and the same statement holds in the case of $K_{\sigma }^{\epsilon }.$

Proceeding similarly to, e.g., [23] in the related area of critical-contrast homogenisation and facilitated by the abstract framework of [24], we consider $A_{\epsilon }$ as operators of transmission problems (see [25] and references therein) relative to the internal boundary ${\mathsf{\Gamma }}^{\epsilon }:={\cup }_{e,v}{\mathsf{\Gamma }}_{ev}^{\epsilon }.$ The transmission problem is formulated as, given a function $f\in L^2\left(Q\right)$, finding the weak solution $u\in L^2\left(Q\right)$ of the boundary value problem

$$\left\{\begin{array}{cc}-\Delta u\left(x\right)-zu\left(x\right)=f\left(x\right),\hfill & x\in Q_V\mathrm{or}x\in Q_E,\hfill \\ u_v\left(x\right)=u_e\left(x\right),{\displaystyle \frac{\partial u_v}{\partial n}}-{\displaystyle \frac{\partial u_e}{\partial n}}=0\hfill & \mathrm{on}{\mathsf{\Gamma }}_{ev}^{\epsilon },\hfill \\ {\displaystyle \frac{\partial u}{\partial n}}=0\hfill & \mathrm{on}\partial Q.\hfill \end{array}\right.$$

(2)

Here, $u_v{:=u|}_{Q_v}$, $u_e{:=u|}_{Q_e}$ for all admissible e and v (i.e., when ${\mathsf{\Gamma }}_{ev}^{\epsilon }\ne ⌀$), and n represents the exterior normal on $\partial Q$ and the “edge-inward" normal (i.e., directed from $Q_v$ to $Q_e$) on any of contact plates ${\mathsf{\Gamma }}_{ev}^{\epsilon }.$ By a classical argument, the solution of the above problem is shown to be equal to ${(A_{\epsilon }-z)}^{-1}f$. Note that the boundary value problem for the Neumann Laplacian on Q is given by the first and third lines in (2). While the second line is, strictly speaking, redundant, it proves important in order to view the problem as a transmission one relative to ${\mathsf{\Gamma }}^{\epsilon }.$

It remains to be seen that the linear operator of the transmission problem (2) defined via the technique in [24], which we briefly recall below, is the same operator $A_{\epsilon }$; the proof of this fact follows easily by combining [24] and the main estimate of [25].

Following the approach of [24] (cf. [26,27] and references therein for alternative approaches), which is based on the ideas of the classical Birman–Kreĭn–Višik theory (see [28,29,30]), the linear operator of the transmission boundary value problem is introduced as follows. Let $\mathcal{H}:=L^2\left({\mathsf{\Gamma }}^{\epsilon }\right)={\oplus }_{e,v}{L}^2\left({\mathsf{\Gamma }}_{ev}^{\epsilon }\right)$, and consider the harmonic lift operators ${\mathsf{\Pi }}_V$ and ${\mathsf{\Pi }}_E$ defined on $\varphi \in \mathcal{H}$ via

$$\begin{array}{c}\hfill {\mathsf{\Pi }}_V\varphi :=u_{\varphi },\mathrm{where}\left\{\begin{array}{cc}\Delta u_{\varphi }=0,u_{\varphi }\in L^2\left(Q_V\right),\hfill & \\ u_{\varphi }{|}_{{\mathsf{\Gamma }}^{\epsilon }}=\varphi ,\hfill \end{array}\right.\\ \hfill {\mathsf{\Pi }}_E\varphi :=u_{\varphi },\mathrm{where}\left\{\begin{array}{cc}\Delta u_{\varphi }=0,u_{\varphi }\in L^2\left(Q_E\right),\hfill & \\ u_{\varphi }{|}_{{\mathsf{\Gamma }}^{\epsilon }}=\varphi ,\hfill \end{array}\right.\end{array}$$

subject to Neumann boundary conditions on $\partial Q$. These operators are first defined on $\varphi \in C_0^2\left({\mathsf{\Gamma }}^{\epsilon }\right)$, in which case the corresponding solutions $u_{\varphi }$ can be seen as classical [17]. The results of [18] allow one to extend both harmonic lifts to bounded (in fact, compact) operators on $\mathcal{H}$, in which case $u_{\varphi }$ are to be treated as distributional solutions of the respective boundary value problems. The solution operator $\mathsf{\Pi }:\mathcal{H}\mapsto L^2\left(Q\right)=L^2\left(Q_V\right)\oplus L^2\left(Q_E\right)$ is defined as follows:

$$\mathsf{\Pi }\varphi :={\mathsf{\Pi }}_V\varphi \oplus {\mathsf{\Pi }}_E\varphi .$$

Consider the self-adjoint operator family $A_0$ (choosing not to reflect the $\epsilon$-dependence in the notation) to be the Dirichlet decoupling of the operator family $A_{\epsilon }$, i.e., the operator of the boundary value problem on both $Q_V$ and $Q_E$, where the Dirichlet boundary conditions are imposed on ${\mathsf{\Gamma }}^{\epsilon }$ together with Neumann boundary conditions on $\partial Q$. The operator $A_0$ is generated by the same differential expression as $A_{\epsilon }$. Clearly, one has $A_0=A_0^V\oplus A_0^E$ relative to the orthogonal decomposition $L^2\left(Q\right)=L^2\left(Q_V\right)\oplus L^2\left(Q_E\right)$; all three operators $A_0,A_0^V$ and $A_0^E$ are self-adjoint and positive-definite. Moreover, by [18,31] there exists a bounded inverse $A_0^{-1}$. Note that $dom{A}_0\cap ran\mathsf{\Pi }=⌀;$ see [24].

Furthermore, denoting by ${\tilde{\mathsf{\Gamma }}}_0^V$ and ${\tilde{\mathsf{\Gamma }}}_0^E$ the left inverse of ${\mathsf{\Pi }}_V$ and ${\mathsf{\Pi }}_E,$ respectively, one introduces the trace operator ${\mathsf{\Gamma }}_0^V$ (respectively, ${\mathsf{\Gamma }}_0^E$) as the null extension of ${\tilde{\mathsf{\Gamma }}}_0^V$ (respectively, ${\tilde{\mathsf{\Gamma }}}_0^E$) to the domain $dom{A}_0^V\dotplus ran{\mathsf{\Pi }}_V$ (respectively, $dom{A}_0^E\dotplus ran{\mathsf{\Pi }}_E$). In the same way, we introduce the operator ${\tilde{\mathsf{\Gamma }}}_0$ and its null extension ${\mathsf{\Gamma }}_0$ to the domain $dom{A}_0\dotplus ran\mathsf{\Pi }$.

The solution operators $S_z^V$, $S_z^E$ of the boundary value problems

$$\begin{array}{cc}\hfill \left\{\begin{array}{cc}-\Delta u_{\varphi }-z{u}_{\varphi }=0,u_{\varphi }\in dom{A}_0^V\dotplus ran{\mathsf{\Pi }}_V,\hfill & \\ {\mathsf{\Gamma }}_0^V{u}_{\varphi }=\varphi ,\hfill \end{array}\right.& \\ \hfill \left\{\begin{array}{cc}-\Delta u_{\varphi }-z{u}_{\varphi }=0,u_{\varphi }\in dom{A}_0^E\dotplus ran{\mathsf{\Pi }}_E,\hfill & \\ {\mathsf{\Gamma }}_0^E{u}_{\varphi }=\varphi \hfill \end{array}\right.\end{array}$$

are defined as linear mappings from $\varphi$ to $u_{\varphi }$, respectively. These operators are bounded from $L_2\left({\mathsf{\Gamma }}^{\epsilon }\right)$ to $L_2\left(Q_V\right)$ and $L_2\left(Q_E\right)$, respectively, and admit the following representations:

$$S_z^E={(1-z{\left(A_0^E\right)}^{-1})}^{-1}{\mathsf{\Pi }}_E,S_z^V={(1-z{\left(A_0^V\right)}^{-1})}^{-1}{\mathsf{\Pi }}_V.$$

The solution operator $S_z$ from $L^2\left({\mathsf{\Gamma }}^{\epsilon }\right)$ to $L^2\left(Q_V\right)\oplus L^2\left(Q_E\right)$ is now defined as $S_z=S_z^V\oplus S_z^E$; it admits the representation $S_z={(1-z{\left(A_0\right)}^{-1})}^{-1}\mathsf{\Pi }$ and is bounded.

Having introduced orthogonal projections $P_V$ and $P_E$ from $L^2\left(Q\right)$ onto $L^2\left(Q_V\right)$ and $L^2\left(Q_E\right)$, respectively, one has the obvious identities

$$S_z^V=P_V{S}_z,S_z^E=P_E{S}_z,{\mathsf{\Pi }}_V=P_V\mathsf{\Pi },{\mathsf{\Pi }}_E=P_E\mathsf{\Pi }.$$

Fix self-adjoint (and, in general, unbounded) operators ${\mathsf{\Lambda }}^E$, ${\mathsf{\Lambda }}^V$ defined on domains $dom{\mathsf{\Lambda }}^E,$ $dom{\mathsf{\Lambda }}^V\subset L^2\left({\mathsf{\Gamma }}^{\epsilon }\right)$ (in what follows these operators will be chosen as DN maps of Zaremba problems on $Q_E$ and $Q_V$, respectively, and well-defined on $H^1\left({\mathsf{\Gamma }}^{\epsilon }\right)$, where $H^1\left({\mathsf{\Gamma }}^{\epsilon }\right)$ is the standard Sobolev space pertaining to the internal boundary ${\mathsf{\Gamma }}^{\epsilon }$). Still following [24], we define the “second boundary operators” ${\mathsf{\Gamma }}_1^E$ and ${\mathsf{\Gamma }}_1^V$ to be linear operators on the domains

$$dom{\mathsf{\Gamma }}_1^E:=dom{A}_0^E\dotplus {\mathsf{\Pi }}_{E}dom{\mathsf{\Lambda }}^E,dom{\mathsf{\Gamma }}_1^V:=dom{A}_0^V\dotplus {\mathsf{\Pi }}_{V}dom{\mathsf{\Lambda }}^V.$$

The action of ${\mathsf{\Gamma }}_1^{E\left(V\right)}$ is set by:

$${\mathsf{\Gamma }}_1^E:{\left(A_0^E\right)}^{-1}f\dotplus {\mathsf{\Pi }}_E\varphi \mapsto {\mathsf{\Pi }}_E^{*}f+{\mathsf{\Lambda }}^E\varphi ,{\mathsf{\Gamma }}_1^V:{\left(A_0^V\right)}^{-1}f\dotplus {\mathsf{\Pi }}_V\varphi \mapsto {\mathsf{\Pi }}_V^{*}f+{\mathsf{\Lambda }}^V\varphi$$

for all $f\in L^2\left(Q_E\right)$, $\varphi \in dom{\mathsf{\Lambda }}^E$ and $f\in L^2\left(Q_V\right)$, $\varphi \in dom{\mathsf{\Lambda }}^V$, respectively.

Alongside ${\mathsf{\Gamma }}_1^{E\left(V\right)}$, introduce a self-adjoint operator $\mathsf{\Lambda }$ on $dom\mathsf{\Lambda }\subset \mathcal{H}$ and then the following “boundary” operator ${\mathsf{\Gamma }}_1:$

$$dom{\mathsf{\Gamma }}_1:=dom{A}_0^{-1}\dotplus \mathsf{\Pi }dom\mathsf{\Lambda },$$

$${\mathsf{\Gamma }}_1:A_0^{-1}f\dotplus \mathsf{\Pi }\varphi \mapsto {\mathsf{\Pi }}^{*}f+\mathsf{\Lambda }\varphi \forall f\in L^2\left(Q\right),\varphi \in dom\mathsf{\Lambda }.$$

We remark that the operators ${\mathsf{\Gamma }}_1,{\mathsf{\Gamma }}_1^{E\left(V\right)}$ thus defined are assumed to be neither closed nor indeed closable.

In our setup, we make the following concrete choice of the operators ${\mathsf{\Lambda }}^{E\left(V\right)}$: in what follows, they are the DN maps pertaining to the components $Q_E$ and $Q_V$, respectively. More precisely, for the problem

$$\begin{array}{c}\Delta u_{\varphi }=0,u_{\varphi }\in L^2\left(Q_E\right),\\ u_{\varphi }{{|}_{{\mathsf{\Gamma }}^{\epsilon }}=\varphi ,{\partial }_n{u}_{\varphi }|}_{\partial Q}=0,\end{array}$$

the operator ${\mathsf{\Lambda }}^E$ maps the boundary values $\varphi$ of $u_{\varphi }$ to the negative traces of its normal derivative

$${\partial }_n{u}_{\varphi }{{|}_{{\mathsf{\Gamma }}^{\epsilon }}:=\nabla u·n|}_{{\mathsf{\Gamma }}^{\epsilon }},$$

where $n=-n_E$ is as above the “edge-inward” normal. This operator is well defined by its sesquilinear form as a self-adjoint operator on $L^2\left({\mathsf{\Gamma }}^{\epsilon }\right)$ (see, e.g., [32,33]), and $dom{\mathsf{\Lambda }}^E\supset H^1\left({\mathsf{\Gamma }}^{\epsilon }\right)$ by [18]. The above definition is inspired by [24]. Note that the operator thus defined is negative the classical $DN$ map of, e.g., [23].

On the vertex part $Q_V$, we consider the problem

$$\begin{array}{c}\Delta u_{\varphi }=0,u_{\varphi }\in L^2\left(Q_V\right),\\ u_{\varphi }{{|}_{{\mathsf{\Gamma }}^{\epsilon }}=\varphi ,{\partial }_n{u}_{\varphi }|}_{\partial Q}=0,\end{array}$$

and define ${\mathsf{\Lambda }}^V$ as the operator mapping the boundary values $\varphi$ of $u_{\varphi }$ to the negative traces of its normal derivative $-{\partial }_n{u}_{\varphi }{|}_{{\mathsf{\Gamma }}^{\epsilon }}$, where $n=n_V$ is again the “edge-inward” normal. The self-adjointness of ${\mathsf{\Lambda }}^V$ on $dom{\mathsf{\Lambda }}^V\supset H^1\left({\mathsf{\Gamma }}^{\epsilon }\right)$ follows by an unchanged argument.

Finally we introduce the operator $\mathsf{\Lambda }$ which on $\varphi \in H^1\left({\mathsf{\Gamma }}^{\epsilon }\right)$ is the sum $\mathsf{\Lambda }\varphi ={\mathsf{\Lambda }}^V\varphi +{\mathsf{\Lambda }}^E\varphi$. It is also a self-adjoint operator on $dom\mathsf{\Lambda }\supset H^1\left({\mathsf{\Gamma }}^{\epsilon }\right)$. This can be ascertained either by the argument of [25], in which case it is defined as the inverse of a compact self-adjoint operator on the orthogonal complement to constants $L^2\left({\mathsf{\Gamma }}^{\epsilon }\right)\ominus \left\{c\mathbf{1}\right\}$, extended to $\left\{c\mathbf{1}\right\}$ by zero or, alternatively, from its definition by a closed sesquilinear form.

The choice of ${\mathsf{\Lambda }}^{E\left(V\right)}$ made above allows us to consider ${\mathsf{\Gamma }}_1$ on the domain $dom{A}_0\dotplus \mathsf{\Pi }dom\mathsf{\Lambda }$. One then writes [24] the second Green identity in the following form:

$${\langle Au,v\rangle }_{L^2\left(Q\right)}-{\langle u,Av\rangle }_{L^2\left(Q\right)}={\langle {\mathsf{\Gamma }}_{1}u,{\mathsf{\Gamma }}_{0}v\rangle }_{L^2\left({\mathsf{\Gamma }}^{\epsilon }\right)}-{\langle {\mathsf{\Gamma }}_{0}u,{\mathsf{\Gamma }}_{1}v\rangle }_{L^2\left({\mathsf{\Gamma }}^{\epsilon }\right)}$$

for all $u,v\in dom{\mathsf{\Gamma }}_1=dom{A}_0\dotplus \mathsf{\Pi }dom\mathsf{\Lambda }$, where the operator A is the null extension (see [34]) of the operator $A_0$ onto $dom{\mathsf{\Gamma }}_1$. Thus the triple $(\mathcal{H},{\mathsf{\Gamma }}_0,{\mathsf{\Gamma }}_1)$ is closely related to a boundary quasi-triple of [26] (see also [35]) for the transmission problem considered; cf. [27] for an alternative approach.

The calculation of ${\mathsf{\Pi }}^{*}$ in [24] shows that ${\mathsf{\Pi }}^{*}={\mathsf{\Gamma }}_1{A}_0^{-1}$ and therefore ${\mathsf{\Gamma }}_1$ as introduced above acts as follows:

$${\mathsf{\Gamma }}_1:u=P_{E}u+P_{V}u\mapsto {\partial }_n{P}_{e}u{{|}_{{\mathsf{\Gamma }}^{\epsilon }}-{\partial }_n{P}_{V}u|}_{{\mathsf{\Gamma }}^{\epsilon }},$$

where $P_E$ and $P_V$ are the orthogonal projections of $L^2\left(Q\right)$ onto $L^2\left(Q_E\right)$, $L^2\left(Q_V\right)$, respectively. Therefore, transmission problem at hand (at least, formally so far) corresponds to the interface (or “matching”) condition ${\mathsf{\Gamma }}_{1}u=0$.

Definition 1 

([24]). The operator-valued function $M\left(z\right)$ defined on the domain $dom\mathsf{\Lambda }$ for $z\in \rho \left(A_0\right)$ (and in particular, for $z\in K_{\sigma }^{\epsilon }$) by the formula

$$M\left(z\right)\varphi ={\mathsf{\Gamma }}_1{S}_z\varphi ={\mathsf{\Gamma }}_1{(1-z{A}_0^{-1})}^{-1}\mathsf{\Pi }\varphi$$

(3)

is referred to as the M-function of the problem (2).

The following result of [24] summarises the properties of the $M$-function which we will need in what follows.

Proposition 1 

([24], Theorem 3.3). 1. One has the following representation:

$$M\left(z\right)=\mathsf{\Lambda }+z{\mathsf{\Pi }}^{*}{(1-z{A}_0^{-1})}^{-1}\mathsf{\Pi },z\in \rho \left(A_0\right).$$

(4)

2. $M\left(z\right)$ is an analytic operator-function with values in the set of closed operators in $L_2\left({\mathsf{\Gamma }}^{\epsilon }\right)$ densely defined on the z-independent domain $dom\mathsf{\Lambda }$.

3. For $z,\zeta \in \rho \left(A_0\right)$ the operator $M\left(z\right)-M\left(\zeta \right)$ is bounded and

$$M\left(z\right)-M\left(\zeta \right)=(z-\zeta )S_{\overline{z}}^{*}{S}_{\zeta }$$

In particular, $\Im M\left(z\right)=(\Im z)S_{\overline{z}}^{*}{S}_{\overline{z}}$ and ${\left(M\left(z\right)\right)}^{*}=M\left(\overline{z}\right)$.

4. For $u_z\in ker(A-zI)\cap \{dom{A}_0\dotplus \mathsf{\Pi }dom\mathsf{\Lambda }\}$, the following formula holds:

$$M\left(z\right){\mathsf{\Gamma }}_0{u}_z={\mathsf{\Gamma }}_1{u}_z.$$

Alongside $M\left(z\right),$ we define $M_V\left(z\right)$ and $M_E\left(z\right),$ which pertain to the vertex $Q_V$ and edge $Q_E$ parts of the domain $Q,$ respectively, by the formulae

$$\begin{array}{c}{M}_V\left(z\right)\varphi ={\mathsf{\Gamma }}_1^V{S}_z^V\varphi ={\mathsf{\Gamma }}_1^V{\left(1-z{\left(A_0^V\right)}^{-1}\right)}^{-1}{\mathsf{\Pi }}_V\varphi ,\\ M_E\left(z\right)\varphi ={\mathsf{\Gamma }}_1^E{S}_z^E\varphi ={\mathsf{\Gamma }}_1^E{\left(1-z{\left(A_0^E\right)}^{-1}\right)}^{-1}{\mathsf{\Pi }}_E\varphi .\end{array}$$

(5)

As before, in the notation we suppress the dependence on the parameter $\epsilon$ for brevity.

The value of the fact that for $\varphi \in H^1\left({\mathsf{\Gamma }}^{\epsilon }\right)$ one has $M\left(z\right)\varphi =M_E\left(z\right)\varphi +M_V\left(z\right)\varphi$ is clear: in contrast to $A_{\epsilon },$ which cannot be additively decomposed into “independent” terms pertaining to the vertex and edge parts of the medium Q owing to the transmission interface conditions on ${\mathsf{\Gamma }}^{\epsilon },$ the M-function is additive (see, e.g., [11,36], where this property was observed and exploited in the related settings of homogenisation and scattering, respectively). In what follows, we will observe that the resolvent ${(A_{\epsilon }-z)}^{-1}$ can be expressed in terms of $M\left(z\right)$ via a version of the celebrated Kreĭn formula, thus reducing the asymptotic analysis of the resolvent to that of the corresponding M-function (see, e.g., [26,37] for alternative approaches to derivation of the Kreĭn formula in our setting).

Alongside the transmission problem (2), the boundary conditions of which can be now (so far, formally) represented as $u\in dom{A}_0\dotplus \mathsf{\Pi }{L}^2\left({\mathsf{\Gamma }}^{\epsilon }\right)$, ${\mathsf{\Gamma }}_{1}u=0$, in what follows we will require a wider class of problems of this type. This class is formally given by the transmission conditions

$$u\in domA\equiv dom{A}_0\dotplus \mathsf{\Pi }{L}^2\left({\mathsf{\Gamma }}^{\epsilon }\right),{\beta }_0{\mathsf{\Gamma }}_{0}u+{\beta }_1{\mathsf{\Gamma }}_{1}u=0,$$

where ${\beta }_1$ is a bounded operator on $L^2\left({\mathsf{\Gamma }}^{\epsilon }\right)$ and ${\beta }_0$ is a linear operator defined on the domain $dom{\beta }_0\supset dom\mathsf{\Lambda }$.

In general, the operator ${\beta }_0{\mathsf{\Gamma }}_0+{\beta }_1{\mathsf{\Gamma }}_1$ is not defined on the domain $domA$. This problem is being taken care of by the following assumption, which will be satisfied throughout:

$${\beta }_0+{\beta }_1\mathsf{\Lambda }\mathrm{defined}\mathrm{on}dom\mathsf{\Lambda }\mathrm{is}\mathrm{closable}\mathrm{in}\mathcal{H}.$$

We remark that by Proposition 1 the operators ${\beta }_0+{\beta }_{1}M\left(z\right)$ are then closable for all $z\in \rho \left(A_0\right)$, and the domains of their closures coincide with $dom\overline{{\beta }_0+{\beta }_1\mathsf{\Lambda }}$.

For any $f\in H,$ $\varphi \in dom\mathsf{\Lambda }$, the equality

$$({\beta }_0{\mathsf{\Gamma }}_0+{\beta }_1{\mathsf{\Gamma }}_1)(A_0^{-1}f+\mathsf{\Pi }\varphi )={\beta }_1{\mathsf{\Pi }}^{*}f+({\beta }_0+{\beta }_1\mathsf{\Lambda })\varphi$$

shows that the operator ${\beta }_0{\mathsf{\Gamma }}_0+{\beta }_1{\mathsf{\Gamma }}_1$ is correctly defined on $A_0^{-1}H\dotplus \mathsf{\Pi }dom\mathsf{\Lambda }\subset domA$. Denoting $\mathcal{B}:=\overline{{\beta }_0+{\beta }_1\mathsf{\Lambda }}$ with the domain $dom\mathcal{B}\supset dom\mathsf{\Lambda }$, one checks that $H_{\mathcal{B}}:=A_0^{-1}H\dotplus \mathsf{\Pi }dom\mathcal{B}$ is a Hilbert space with respect to the norm

$${\parallel u\parallel }_{\mathcal{B}}^2:={\parallel f\parallel }_H^2+{\parallel \varphi \parallel }_{\mathcal{H}}^2+{\parallel \mathcal{B}\varphi \parallel }_{\mathcal{H}}^2,u=A_0^{-1}f+\mathsf{\Pi }\varphi .$$

It is then proved [24] (Lemma 4.1) that ${\beta }_0{\mathsf{\Gamma }}_0+{\beta }_1{\mathsf{\Gamma }}_1$ extends to a bounded operator from $H_{\mathcal{B}}$ to $\mathcal{H}.$ For the sake of convenience, same notation ${\beta }_0{\mathsf{\Gamma }}_0+{\beta }_1{\mathsf{\Gamma }}_1$ is preserved for this extension.

We will make use of the following version of the celebrated Kreĭn formula.

Proposition 2 

([24], Theorem 5.1). Let $z\in \rho \left(A_0\right)$ be such that the operator $\overline{{\beta }_0+{\beta }_{1}M\left(z\right)}$ defined on $dom\mathcal{B}$ is boundedly invertible. Then

$$R_{{\beta }_0,{\beta }_1}\left(z\right):={(A_0-z)}^{-1}+S_z{Q}_{{\beta }_0,{\beta }_1}\left(z\right)S_{\overline{z}}^{*},where{Q}_{{\beta }_0,{\beta }_1}:=-{\left(\overline{{\beta }_0+{\beta }_{1}M\left(z\right)}\right)}^{-1}{\beta }_1,$$

(6)

is the resolvent of a closed densely defined operator $A_{{\beta }_0,{\beta }_1}$ with the domain

$$dom{A}_{{\beta }_0,{\beta }_1}=\{u\in H_{\mathcal{B}}|({\beta }_0{\mathsf{\Gamma }}_0+{\beta }_1{\mathsf{\Gamma }}_1)u=0\}=ker({\beta }_0{\mathsf{\Gamma }}_0+{\beta }_1{\mathsf{\Gamma }}_1).$$

In particular, the (self-adjoint) operator of the transmission problem (2), which corresponds to the choice ${\beta }_0=0,{\beta }_1=I$, admits the following characterisation in terms of its resolvent:

$$R_{0,I}\left(z\right)={(A_0-z)}^{-1}-S_z{M}^{-1}\left(z\right)S_{\overline{z}}^{*}.$$

(7)

In this case, one clearly has $H_{\mathcal{B}}=A_0^{-1}H\dotplus \mathsf{\Pi }dom\mathsf{\Lambda }$ and $dom{A}_{0,I}=\{u\in H_{\mathcal{B}}|{\mathsf{\Gamma }}_{1}u=0\},$ which, together with the discussion at the beginning of this section, yields $A_{0,I}=A_{\epsilon }$.

We remark that the operators ${\beta }_0$ and ${\beta }_1$ above can be assumed z-dependent, as this change does not impact the corresponding proofs of [24]. In this case, however, the corresponding operator-function $R_{{\beta }_0,{\beta }_1}\left(z\right)$ is shown to be the resolvent of a z-dependent operator family. Within the self-adjoint setup of the present paper, $R_{{\beta }_0,{\beta }_1}\left(z\right)$ is guaranteed to represent a generalised resolvent in the sense of [38,39,40].

3. Auxiliary Estimates

In this section, we collect a number of auxiliary statements required in our proof of the main result.

We start with the analysis of the operators ${\mathsf{\Pi }}_V$ and $S_z^V$ introduced in Section 2. First, we note that each of these operators admits a decomposition into an orthogonal sum over N vertex domains $\left\{Q_v\right\}$ of Q. It therefore suffices to consider a single vertex domain $Q_v$ (we recall for readers’ convenience that the volume of this domain is assumed to be decaying with $\epsilon \to 0$). Its boundary $\partial Q_v$ contains a disjoint set of straight segments belonging to the internal boundary ${\mathsf{\Gamma }}^{\epsilon },$ which are, in line with what has been said above, denoted as ${\mathsf{\Gamma }}_{ev}^{\epsilon }$; the union of the latter is ${\mathsf{\Gamma }}_v^{\epsilon }$.

The decoupled operator $A_0$ has $L^2\left(Q_v\right)$ as its invariant subspace. We will denote by $A_0^{\left(v\right)}$ its self-adjoint restriction, $A_0^{\left(v\right)}:=A_0{|}_{L^2\left(Q_v\right)}$. By construction, the operator $A_0^{\left(v\right)}$ is the Laplacian with the so-called Zaremba, or mixed Neumann–Dirichlet, boundary condition [17,41]. More precisely, it is subject to the Dirichlet boundary condition on ${\mathsf{\Gamma }}_v^{\epsilon }$ and to Neumann boundary condition on its complement ${\tilde{\mathsf{\Gamma }}}_v^{\epsilon }$. Clearly, this operator is boundedly invertible; moreover, the following statement holds.

Proposition 3 

(see [31,42]). There exists a constant $C>0$ such that for all ε one has

$$∥{\left(A_0^{\left(v\right)}\right)}^{-1}∥\le C|Q_v|\left\{\begin{array}{cc}|log\epsilon |,\hfill & d=2,\hfill \\ {\epsilon }^{2-d},\hfill & d\ge 3\hfill \end{array}\right.\asymp \epsilon {|log\epsilon |}^{\gamma },$$

where, as before, $\gamma =1$ for $d=2$ and $\gamma =0$ otherwise.

Remark 1. 

The above proposition holds under more general conditions than those we impose. Namely, the domain $Q_v$ is only required to be Lipschitz and no conditions whatsoever are imposed on the geometry of the set ${\mathsf{\Gamma }}_v^{\epsilon }$.

Next, we turn our attention to the solution operator $S_z^{\left(v\right)}:=S_z^V{|}_{{\mathsf{\Gamma }}_v^{\epsilon }}$ and the corresponding harmonic lift ${\mathsf{\Pi }}^{\left(v\right)}:={\mathsf{\Pi }}_V{|}_{{\mathsf{\Gamma }}_v^{\epsilon }}$. The two are clearly related by the formula

$$S_z^{\left(v\right)}={\left(1-z{\left(A_0^{\left(v\right)}\right)}^{-1}\right)}^{-1}{\mathsf{\Pi }}^{\left(v\right)}.$$

In order to bound the norm of ${\mathsf{\Pi }}^{\left(v\right)}$, we can follow, e.g., the following approach. First, consider the corresponding Zaremba problem on $Q_v^0$. We proceed by relating the norm of the corresponding Poisson operator to the least Steklov eigenvalue of the bi-Laplacian, following the blueprint of [43], based in turn on Fichera’s duality principle; see [44]. Since the boundary of $Q_v^0$ is non-smooth, in doing so we follow the generalisations developed in [45,46], with obvious modifications required when passing from the Dirichlet to Zaremba setup. The estimate for the said Steklov eigenvalue is then taken from the norm of the compact embedding of $H^2\left(Q_v^0\right)$ to the traces of normal derivatives on the contact plates; see, e.g., [47]. Rescaling back to $Q_v$, we obtain the following auxiliary result.

Lemma 1. 

There exists $C>0$ such that $\parallel {\mathsf{\Pi }}^{\left(v\right)}\parallel \le C$ for all $\epsilon .$

By Proposition 3, the above lemma yields the following estimate for the solution operator $S_z^{\left(v\right)}.$

Lemma 2. 

For $\epsilon \in (0,1),$ uniformly in $z\in K_{\sigma }^{\epsilon }$ (and, in particular, for $z\in K_{\sigma }$) one has

$$S_z^{\left(v\right)}=\left(1+O\left({\left|z\right|\epsilon |log\epsilon |}^{\gamma }\right)\right){\mathsf{\Pi }}^{\left(v\right)}={\mathsf{\Pi }}^{\left(v\right)}+{O\left(\right|z\left|\epsilon \right|log\epsilon |}^{\gamma }),$$

where the error bounds are understood in the uniform operator norm topology.

Our next step is the analysis of the “part” of the DN map ${\mathsf{\Lambda }}^V$ pertaining to the vertex domain $Q_v$. We will denote by ${\mathsf{\Lambda }}_v^V$ its self-adjoint restriction ${\mathsf{\Lambda }}^V{|}_{L^2\left({\mathsf{\Gamma }}_v^{\epsilon }\right)}=:{\mathsf{\Lambda }}_v^V.$

First, we note that the spectrum of ${\mathsf{\Lambda }}_v^V$ (which can be termed as the Steklov spectrum of the sloshing problem pertaining to $A_0^{\left(v\right)}$; see [48]) is discrete and accumulates to negative infinity. The point ${\lambda }_1=0$ is the least (by absolute value) Steklov eigenvalue with ${\psi }_v=|{\mathsf{\Gamma }}_v^{\epsilon }{{|}^{-1/2}\mathbf{1}|}_{{\mathsf{\Gamma }}_v^{\epsilon }}$ being the corresponding eigenvector. For the second eigenvalue ${\lambda }_2$, one has the following estimate; see, e.g., [32] and references therein.

Lemma 3. 

There exists $C>0$ such that $|{\lambda }_2|\ge C{\epsilon }^{-1}.$

Introduce the N-dimensional orthogonal projection

$$\mathcal{P}:=\sum _v\langle ·,{\psi }_v\rangle {\psi }_v,$$

define ${\mathcal{P}}_{\perp }:=1-\mathcal{P}$ and consider the operator ${\mathcal{P}}_{\perp }M\left(z\right){\mathcal{P}}_{\perp },$ which is well defined since $\mathcal{P}dom\mathsf{\Lambda }\subset dom\mathsf{\Lambda }.$ By a straightforward estimate for sesquilinear forms, see [11] (Section 3.2), and taking into account (4) applied to $M_V\left(z\right)$ and combined with Proposition 3 as well as Lemmata 1, 3, one has the following statement.

Lemma 4. 

There exists $C>0$ such that for all $\epsilon \in (0,1)$ one has

$$∥{\left({\mathcal{P}}_{\perp }M\left(z\right){\mathcal{P}}_{\perp }\right)}^{-1}∥\le C\epsilon ,z\in K_{\sigma }^{\epsilon },$$

where the operator ${\mathcal{P}}_{\perp }M\left(z\right){\mathcal{P}}_{\perp }$ is considered as a linear (unbounded) operator in ${\mathcal{P}}_{\perp }\mathcal{H}$.

We conclude this section by noting that, alternatively, one can derive the bound on the Poisson operator ${\mathsf{\Pi }}^{\left(v\right)}$ claimed in Lemma 1 by employing the scaling property of the Dirichlet-to-Neumann map ${\mathsf{\Lambda }}_v^V,$ similar to the argument of [32] referenced above, combined with a standard estimate on the solutions to the classical Neumann problem.

4. Norm-Resolvent Asymptotics

We will make use of the Kreĭn Formula (7) to obtain a norm-resolvent asymptotics of the family $A_{\epsilon }$. In doing so, we will compute the asymptotics of $M^{-1}\left(z\right)$ based on a Schur–Frobenius-type inversion formula, having first rewritten $M\left(z\right)$ as a $2\times 2$ operator matrix relative to the orthogonal decomposition of the Hilbert space $\mathcal{H}=\mathcal{P}\mathcal{H}\oplus {\mathcal{P}}_{\perp }\mathcal{H}$. In the study of operator matrices, we rely upon the material of [49]; see also references therein.

The operator $M\left(z\right)$ admits the block matrix representation

$$M\left(z\right)=\left(\begin{array}{cc}\mathbb{A}& B\\ \mathbb{E}& \mathbb{D}\end{array}\right)\mathrm{with}\mathbb{A},\mathbb{B},\mathbb{E}\mathrm{bounded}.$$

For the inversion of $M\left(z\right)$, we then use the Schur–Frobenius inversion formula [49] (Theorem 2.3.3)

$${\overline{\left(\begin{array}{cc}\mathbb{A}& \mathbb{B}\\ \mathbb{E}& \mathbb{D}\end{array}\right)}}^{-1}=\left(\begin{array}{cc}{\mathbb{A}}^{-1}+\overline{{\mathbb{A}}^{-1}\mathbb{B}}{\overline{\mathcal{S}}}^{-1}\mathbb{E}{\mathbb{A}}^{-1}& -\overline{{\mathbb{A}}^{-1}\mathbb{B}}{\overline{\mathcal{S}}}^{-1}\\ -{\overline{\mathcal{S}}}^{-1}\mathbb{E}{\mathbb{A}}^{-1}& {\overline{\mathcal{S}}}^{-1}\end{array}\right)\mathrm{with}\mathcal{S}:=\mathbb{D}-\mathbb{E}{\mathbb{A}}^{-1}\mathbb{B}.$$

(8)

Note that by Proposition 1, one has $\Im M\left(z\right)=(\Im z)S_{\overline{z}}^{*}{S}_{\overline{z}}.$ Moreover, since $S_z={(1-z{A}_0^{-1})}^{-1}\mathsf{\Pi },$ one has

$$S_{\overline{z}}^{*}{S}_{\overline{z}}={\mathsf{\Pi }}^{*}{(1-z{A}_0^{-1})}^{-1}{(1-\overline{z}{A}_0^{-1})}^{-1}\mathsf{\Pi },$$

and therefore, for some constants $c_1,c_2>0,$

$${\langle S_{\overline{z}}^{*}{S}_{\overline{z}}\mathcal{P}\varphi ,\mathcal{P}\varphi \rangle }_{\mathcal{H}}={∥{(1-\overline{z}{A}_0^{-1})}^{-1}\mathsf{\Pi }\mathcal{P}\varphi ∥}^2\ge c_1{\parallel \mathsf{\Pi }\mathcal{P}\varphi \parallel }^2\ge c_1\parallel {\mathsf{\Pi }}_V{\mathcal{P}\varphi \parallel }^2\ge c_2{\parallel \mathcal{P}\varphi \parallel }_{\mathcal{H}}^2$$

for all $\varphi \in \mathcal{H},z\in K_{\sigma }^{\epsilon },$ where we have used the fact that the operator $A_0$ is bounded below by a positive constant. It follows that ${\mathbb{A}}^{-1}={\left(\mathcal{P}M\left(z\right)\mathcal{P}\right)}^{-1}$ is bounded.

Proceeding exactly as in [11] based on the estimate provided by Lemma 4 which now reads

$$∥{\mathbb{D}}^{-1}∥\le C\epsilon ,$$

we use ${\mathcal{S}}^{-1}={(I-{\mathbb{D}}^{-1}\mathbb{E}{\mathbb{A}}^{-1}\mathbb{B})}^{-1}{\mathbb{D}}^{-1}$ to obtain ${\mathcal{S}}^{-1}=O\left(\epsilon \right)$.

Returning to (8), one obtains

$$M{\left(z\right)}^{-1}={\left(\begin{array}{cc}\mathbb{A}& \mathbb{B}\\ \mathbb{E}& \mathbb{D}\end{array}\right)}^{-1}=\left(\begin{array}{cc}{\mathbb{A}}^{-1}& 0\\ 0& 0\end{array}\right)+O\left(\epsilon \right)$$

(9)

with a uniform estimate for the remainder term. Comparing our result with (6) of Proposition 2 with ${\beta }_0:={\mathcal{P}}_{\perp }$ and ${\beta }_1:=\mathcal{P}$, one arrives at the following.

Theorem 1. 

There exists $C>0$ such that for all $\epsilon \in (0,1)$ and $z\in K_{\sigma }^{\epsilon }$ (in partucular, for all $z\in K_{\sigma }$) one has the estimate

$$∥{(A_{\epsilon }-z)}^{-1}-{(A_{{\beta }_0,{\beta }_1}-z)}^{-1}∥\le C{\left|z\right|}^2\epsilon$$

for a universal constant C and ${\beta }_0={\mathcal{P}}_{\perp }$, ${\beta }_1=\mathcal{P}$, where the operator $A_{{\beta }_0,{\beta }_1}$ is defined in Proposition 2.

Proof. 

The proof is identical to that of [11] (Theorem 3.1); we include it here for the sake of completeness. For the resolvent ${(A_{\epsilon }-z)}^{-1}$, the Formula (7) is applicable, in which for $M{\left(z\right)}^{-1}$ we use (9). As for the resolvent ${\left(A_{{\mathcal{P}}_{\perp },\mathcal{P}}-z\right)}^{-1},$ Proposition 2 with ${\beta }_0={\mathcal{P}}_{\perp },$ ${\beta }_1=\mathcal{P}$ is clearly applicable. Moreover, for this choice of ${\beta }_0,$ ${\beta }_1,$ the operator

$$Q_{{\mathcal{P}}_{\perp },\mathcal{P}}\left(z\right)=-{\left(\overline{{\mathcal{P}}_{\perp }+\mathcal{P}M\left(z\right)}\right)}^{-1}\mathcal{P}$$

in (6) is easily computable (e.g., by the Schur–Frobenius inversion formula of [49], see (8)). The mentioned computation is facilitated by the fact that ${\mathcal{P}}_{\perp }+\mathcal{P}M\left(z\right)$ is triangular ($\mathbb{A}=\mathcal{P}M\left(z\right)\mathcal{P},$ $\mathbb{B}=\mathcal{P}M\left(z\right){\mathcal{P}}_{\perp },$ $\mathbb{E}=0,$ $\mathbb{D}=I$ in (8)) with respect to the decomposition $\mathcal{H}=\mathcal{P}\mathcal{H}\oplus {\mathcal{P}}_{\perp }\mathcal{H}$, yielding

$$Q_{{\mathcal{P}}_{\perp },\mathcal{P}}\left(z\right)=-\mathcal{P}{\left(\mathcal{P}M\left(z\right)\mathcal{P}\right)}^{-1}\mathcal{P},$$

(10)

and the claim follows. □

Already the estimate of Theorem 1 establishes norm-resolvent convergence of the family $A_{\epsilon }$ to an operator which by (10) is a relative (i.e., with respect to the difference of resolvents) finite-rank perturbation of the decoupled operator $A_0$. However, in the case $z\in K_{\sigma },$ which we will assume henceforth, it is possible to obtain a further simplification of this answer, relating the leading-order asymptotic term to a self-adjoint operator on the limiting metric graph. This procedure follows the blueprint of our paper [11]. We next briefly outline the related argument. For the case of z not constrained to a compact, a similar argument yields a sequence of dimensionally reduced models, as mentioned in the Introduction.

Note first that ${(A_0-z)}^{-1}={(A_0^V-z)}^{-1}\oplus {(A_0^E-z)}^{-1}$ is easily analysed. Indeed, by Proposition 3 one has

$${(A_0^V-z)}^{-1}=O\left({\epsilon |log\epsilon |}^{\gamma }\right).$$

(11)

Furthermore, the operator ${(A_0^E-z)}^{-1},$ by separation of variables, is $O\left({\epsilon }^2\right)$-close to the Dirichlet Laplacian on the space

$$H_G:={\oplus }_v{L}^2([0,l_e]\times {\mathbf{1}}_{\epsilon }),$$

where ${\mathbf{1}}_e:={\epsilon }^{-(d-1)/2}\mathbf{1}$ is the normalised constant function in the variable transverse to the edge e.

We remark that this is the only place where we use the assumption about the geometric shape of the edge parts $Q_e$ of the thin structure. This can be generalised to the setup of [1], allowing for curvature and non-uniform thickness, leading to Laplace–Beltrami operators on the edges of the limiting graph.

The operator ${(A_0-z)}^{-1}$ is therefore close, uniformly in $z\in K_{\sigma }$, to an operator that is unitary equivalent to the resolvent of $A_0^G$, where $A_0^G$ is the Dirichlet-decoupled graph Laplacian pertaining to the graph G. The related error estimates are the same as in (11). The finite-dimensional second term on the right-hand side of (10) is therefore expected to encode the matching conditions at the vertices of the limiting graph G. In order to see this, one passes over to the generalised resolvent $R_{\epsilon }\left(z\right):=P_E{(A_{\epsilon }-z)}^{-1}{P}_E$, which is shown to admit the following asymptotics.

Theorem 2. 

The operator family $R_{\epsilon }\left(z\right)$ admits the following asymptotics in the operator-norm topology for $z\in K_{\sigma }$:

$$R_{\epsilon }\left(z\right)-R_{\mathrm{eff}}\left(z\right)=O\left(\epsilon \right),$$

where $R_{\mathrm{eff}}\left(z\right)$ is the solution operator for the following spectral BVP on the edge domain $Q_E$:

$$\begin{array}{cc}\hfill -& \Delta u-zu=f,f\in L^2\left(Q_E\right),\hfill \\ \hfill & {\beta }_0\left(z\right){\mathsf{\Gamma }}_0^{E}u+{\beta }_1{\mathsf{\Gamma }}_1^{E}u=0,\hfill \end{array}$$

(12)

with ${\beta }_0\left(z\right)={\mathcal{P}}_{\perp }-\mathcal{P}B\left(z\right)\mathcal{P}$, $B\left(z\right):=-M_V\left(z\right)$ and ${\beta }_1=\mathcal{P}$.

The boundary condition in (12) can be written in the more conventional form

$${\mathcal{P}}_{\perp }{u|}_{{\mathsf{\Gamma }}^{\epsilon }}=0,\mathcal{P}{\partial }_{n}u=\mathcal{P}B\left(z\right)\mathcal{P}u{|}_{{\mathsf{\Gamma }}^{\epsilon }}.$$

Equivalently,

$$R_{\epsilon }\left(z\right)-{\left(A_{{\mathcal{P}}_{\perp }-\mathcal{P}B\left(z\right)\mathcal{P},\mathcal{P}}^E-z\right)}^{-1}=O\left(\epsilon \right),$$

where $A_{{\mathcal{P}}_{\perp }-\mathcal{P}B\left(z\right)\mathcal{P},\mathcal{P}}^E,$ for any fixed $z,$ is the operator in $L^2\left(Q_E\right)$ defined by Proposition 2 relative to the triple $(\mathcal{H},{\mathsf{\Pi }}_E,{\mathsf{\Lambda }}^E)$, where the term “triple" is understood in the sense of [24]. This operator is maximal anti-dissipative for $z\in {\mathbb{C}}_{+}$ and maximal dissipative for $z\in {\mathbb{C}}_{-};$ see [40].

The proof of the theorem follows immediately from Theorem 1; see [11] (Theorem 3.6), together with the observation that

$$\mathcal{P}M\left(z\right)\mathcal{P}=\mathcal{P}{M}_E\left(z\right)\mathcal{P}+\mathcal{P}{M}_V\left(z\right)\mathcal{P}.$$

The next step of our argument is to introduce the truncated (reduced) boundary space $\breve{\mathcal{H}}$ in order to make all the ingredients finite-dimensional. In view of clarity, in what follows we consistently supply the (finite-dimensional) “truncated” spaces and operators pertaining to them by the breve overscript.

We put $\breve{\mathcal{H}}:=\mathcal{P}\mathcal{H}$ (noting that in our setup $\breve{\mathcal{H}}$ is N-dimensional, where N is the number of vertices; see Section 2). Introduce the truncated Poisson operator on $\breve{\mathcal{H}}$ by ${\breve{\mathsf{\Pi }}}_E:={\mathsf{\Pi }}_E{|}_{\breve{\mathcal{H}}}$ and the truncated DN map ${\breve{\mathsf{\Lambda }}}^E:=\mathcal{P}{\mathsf{\Lambda }}^E{|}_{\breve{\mathcal{H}}}.$ Then, the following statement holds.

Proposition 4 

([11], Theorem 3.7). 1. The formula

$$R_{\mathrm{eff}}\left(z\right)={\left(A_0^E-z\right)}^{-1}-{\breve{S}}_z^E{\left({\breve{M}}_E\left(z\right)-\mathcal{P}B\left(z\right)\mathcal{P}\right)}^{-1}{({\breve{S}}_{\overline{z}}^E)}^{*}$$

(13)

holds, where ${\breve{S}}_z^E$ is the solution operator of the problem

$$\begin{array}{cc}\hfill -\Delta u_{\varphi }-z{u}_{\varphi }& =0,u_{\varphi }\in dom{A}_0^E\dotplus ran{\breve{\mathsf{\Pi }}}_E,\hfill \\ \hfill {\mathsf{\Gamma }}_0^E{u}_{\varphi }& =\varphi ,\varphi \in \breve{\mathcal{H}},\hfill \end{array}$$

and ${\breve{M}}_E$ is the M-operator defined in accordance with (3), (5) relative to the triple $(\breve{\mathcal{H}},{\breve{\mathsf{\Pi }}}_E,{\breve{\mathsf{\Lambda }}}^E)$.

2. The “effective” generalised resolvent $R_{\mathrm{eff}}\left(z\right)$ is represented as the generalised resolvent of the problem

$$\begin{array}{c}-\Delta u-zu=f,f\in L^2\left(Q_E\right),u\in dom{A}_0^E\dotplus ran{\breve{\mathsf{\Pi }}}_E,\\ \mathcal{P}{\partial }_{n}u{|}_{{\mathsf{\Gamma }}^{\epsilon }}=\mathcal{P}B\left(z\right)\mathcal{P}u{|}_{{\mathsf{\Gamma }}^{\epsilon }}.\end{array}$$

3. The triple $(\breve{\mathcal{H}},{\breve{{\mathsf{\Gamma }}^{\epsilon }}}_0^E,{\breve{{\mathsf{\Gamma }}^{\epsilon }}}_1^E)$ is the classical boundary triple [50,51] for the operator $A_{max}$ defined by the differential expression $-\Delta$ on the domain $dom{A}_{max}=dom{A}_0^E\dotplus ran{\breve{\mathsf{\Pi }}}_E.$ Here, ${\breve{{\mathsf{\Gamma }}^{\epsilon }}}_0^E$ and ${\breve{{\mathsf{\Gamma }}^{\epsilon }}}_1^E$ are defined on $dom{A}_{max}$ as the operator of the boundary trace on Γ and $\mathcal{P}{\partial }_{n}u,$ respectively.

We now consider the operator $\mathcal{P}B\left(z\right)\mathcal{P}$ in (13); since $B=-M_V$ by definition, we invoke the estimates derived in Section 3 to obtain

$$\mathcal{P}B\mathcal{P}=-\mathcal{P}{\mathsf{\Lambda }}^V\mathcal{P}-z\mathcal{P}{\mathsf{\Pi }}_V^{*}{\mathsf{\Pi }}_V\mathcal{P}+{O\left(\epsilon \right|log\epsilon |}^{\gamma })=-z{\breve{\mathsf{\Pi }}}_V^{*}{\breve{\mathsf{\Pi }}}_V+{O\left(\epsilon \right|log\epsilon |}^{\gamma }),$$

with a uniform estimate for the remainder term. Here, the truncated Poisson operator ${\breve{\mathsf{\Pi }}}_V$ is introduced as ${\breve{\mathsf{\Pi }}}_V:={\mathsf{\Pi }}_V{|}_{\breve{\mathcal{H}}}$ relative to the same truncated boundary space as above, $\breve{\mathcal{H}}=\mathcal{P}\mathcal{H}$. As a result, we obtain

$$R_{\mathrm{eff}}\left(z\right)-R_{\mathrm{hom}}\left(z\right)=O\left({\epsilon |log\epsilon |}^{\gamma }\right),$$

with

$$R_{\mathrm{hom}}\left(z\right):={(A_0^E-z)}^{-1}-{\breve{S}}_z^E{\left({\breve{M}}_E\left(z\right)+z{\breve{\mathsf{\Pi }}}_V^{*}{\breve{\mathsf{\Pi }}}_V\right)}^{-1}{\left({\breve{S}}_{\overline{z}}^E\right)}^{*}.$$

(14)

By a classical result of [40] (see also [38,39]), the operator $R_{\mathrm{eff}}\left(z\right)$ is a generalised resolvent, so it defines a z-dependent family of closed densely defined operators in $L^2\left(Q_E\right),$ which are maximal anti-dissipative for $z\in {\mathbb{C}}_{+}$ and maximal dissipative for $z\in {\mathbb{C}}_{-}$. Writing the resolvent ${(A_{\epsilon }-z)}^{-1}$ in the matrix form relative to the orthogonal decomposition $L^2\left(Q\right)=P_E{L}^2\left(Q\right)\oplus P_V{L}^2\left(Q\right)=L^2\left(Q_E\right)\oplus L^2\left(Q_V\right)$ then yields the following result.

Theorem 3. 

The resolvent ${(A_{\epsilon }-z)}^{-1}$ admits the following asymptotics in the uniform operator-norm topology:

$${\left(A_{\epsilon }-z\right)}^{-1}={\mathcal{R}}_{\mathrm{eff}}\left(z\right)+O\left({\epsilon |log\epsilon |}^{\gamma }\right),$$

where the operator ${\mathcal{R}}_{\mathrm{eff}}\left(z\right)$ has the following representation relative to the decomposition $L^2\left(Q_E\right)\oplus L^2\left(Q_V\right)$:

$${\mathcal{R}}_{\mathrm{eff}}\left(z\right)=\left(\begin{array}{cc}{R}_{\mathrm{eff}}\left(z\right)& {\left({\mathfrak{K}}_{\overline{z}}\left[R_{\mathrm{eff}}\left(\overline{z}\right)-{(A_0^E-\overline{z})}^{-1}\right]\right)}^{*}{\breve{\mathsf{\Pi }}}_V^{*}\\ {\breve{\mathsf{\Pi }}}_V{\mathfrak{K}}_z\left[R_{\mathrm{eff}}\left(z\right)-{(A_0^E-z)}^{-1}\right]& {\breve{\mathsf{\Pi }}}_V{\mathfrak{K}}_z{\left({\mathfrak{K}}_{\overline{z}}\left[R_{\mathrm{eff}}\left(\overline{z}\right)-{(A_0^E-\overline{z})}^{-1}\right]\right)}^{*}{\breve{\mathsf{\Pi }}}_V^{*}\end{array}\right).$$

(15)

Here, ${\mathfrak{K}}_z:={\mathsf{\Gamma }}_0^E{|}_{{\mathfrak{N}}_z}$ with ${\mathfrak{N}}_z:=ran{S}_z^E\mathcal{P}$, $z\in {\mathbb{C}}_{\pm }$, and the generalised resolvent $R_{\mathrm{eff}}\left(z\right)$ is defined by (14).

The above theorem provides us with the simplest possible leading-order term ${\mathcal{R}}_{\mathrm{eff}}\left(z\right)$ of the asymptotic expansion for ${(A_{\epsilon }-z)}^{-1}.$ However, it is not yet obvious whether it is the resolvent of some self-adjoint operator in the space $L^2\left(Q_E\right)\oplus {\breve{\mathsf{\Pi }}}_V\breve{\mathcal{H}}\subset L^2\left(Q\right).$ It turns out that this is indeed so, which is seen via the following explicit construction.

Put $L^2\left(G\right):={\oplus }_e{L}^2(0,l_e)$, $H^2\left(G\right):={\oplus }_e{H}^2(0,l_e)$. For all $u\in H^2\left(G\right),$ denote by $u_{ev}$ the limit of $u_e{\left(x\right):=u|}_e\left(x\right)$ at the vertex v. Let $H_{\mathrm{eff}}:=L^2\left(G\right)\oplus {\mathbb{C}}^N,$ and set

$$\begin{array}{cc}\hfill dom{\mathcal{A}}_{\mathrm{hom}}=\{{(u,\beta )}^{\top }\in H_{\mathrm{eff}}:u\in H^2\left(G\right),& u_{ev}=u_{e^{\prime }v}=:u_v\mathrm{for}\mathrm{any}v\hfill \\ \hfill & \mathrm{and}e,e^{\prime }\mathrm{incident}\mathrm{to}v,\mathrm{and}\beta =\kappa u_V\},\hfill \end{array}$$

(16)

where $u_V$ is the N-dimensional vector of ${\left\{u_v\right\}}_{v\in V}$ and $\kappa$ is the diagonal matrix

$$\kappa :=diag\left\{|Q_v^0{|}^{1/2}\right\}.$$

(17)

The action of the operator is set by

$${\mathcal{A}}_{\mathrm{hom}}\left(\genfrac{}{}{0pt}{}{u}{\beta }\right)=\left(\begin{array}{c}-u^{″}\\ -{\kappa }^{-1}{\partial }_n{u|}_V\end{array}\right),\left(\genfrac{}{}{0pt}{}{u}{\beta }\right)\in dom{\mathcal{A}}_{\mathrm{hom}},$$

(18)

where ${\partial }_n{u|}_V$ is the N-dimensional vector ${\left\{{\sum }_{e\sim v}{\partial }_n{u}_e{|}_v\right\}}_{v\in V}$, i.e., the vector for which each element is represented by the sum of edge-inward normal derivatives of the function u over all the edges incident to the vertex v. We write $e\sim v$ if and only if the edge e is incident to the vertex v.

The main result of the present work, which is obtained by computing explicitly the resolvent of (16)–(18) and comparing it with (15) (see details of a similar computation in [13]), is formulated next.

Theorem 4. 

The resolvent ${(A_{\epsilon }-z)}^{-1}$ admits the following estimate in the uniform operator norm topology, uniform in $z\in K_{\sigma }$:

$${\left(A_{\epsilon }-z\right)}^{-1}-\mathsf{\Theta }{\left({\mathcal{A}}_{\mathrm{hom}}-z\right)}^{-1}{\mathsf{\Theta }}^{*}=O\left({\epsilon |log\epsilon |}^{\gamma }\right),$$

where Θ is a partial isometry from $H_{\mathrm{eff}}$ onto $L^2\left(Q\right)$, acting as follows:

• For every edge $e\in G$, $e=[0,l_e]$, it embeds $u\in H^2\left(e\right)$ into $L^2\left(Q_e\right)$ as $u\left(x\right)\times {\epsilon }^{-(d-1)/2}\mathbf{1}\left(y\right),$ where y is the variable in the direction transverse to that of x;
• For every vertex $v\in G$, it embeds the value $u_v$, i.e., the common value of $u\in H^2\left(G\right)$ at the vertex v, into $L^2\left(Q_v\right)$ as ${\epsilon }^{-(d-1)/2}{u}_v\mathbf{1}$.

5. Analysis of Vertex Matching Conditions

In the present section, we continue our study of the operator (16)–(18) associated with an arbitrary metric graph G, with a view to analyse its spectral structure. We will show that the matching conditions at graph vertices associated with the spectral problem for the mentioned operator, albeit closely resembling $\delta$-type conditions with coupling constants linear in the spectral parameter $z,$ can be in fact represented (up to a unitary gauge) by ${\delta }^{\prime }$-type matching conditions for all $z\ne 0$ (while for $z=0$ they coincide with the classical Kirchhoff condition). We will assume throughout that this graph contains no loops, in line with the assumptions imposed on the thin network studied above. We will further assume without loss of generality that the graph G is connected and that the matrix $\kappa$ is invertible.

Since the operator ${\mathcal{A}}_{\mathrm{hom}}$ can be viewed as a self-adjoint out-of-space extension (see, e.g., [52] and references therein) of a symmetric differential operator on the metric graph G, it is amenable to the classical boundary triples theory; see [53,54]. We recall that for a closed and densely defined symmetric operator $\mathcal{A}$ on a separable Hilbert space H with domain $dom\mathcal{A}$, a boundary triple is defined as follows.

Definition 2 

([55]). A triple $(\mathcal{K},{\mathsf{\Gamma }}_0,{\mathsf{\Gamma }}_1)$ consisting of an auxiliary Hilbert space $\mathcal{K}$ and linear mappings ${\mathsf{\Gamma }}_0,{\mathsf{\Gamma }}_1$ defined everywhere on $dom{\mathcal{A}}^{*}$ is called a boundary triple for ${\mathcal{A}}^{*}$ if the following conditions are satisfied:

(1) 

The abstract Green’s formula is valid

$${({\mathcal{A}}^{*}\overrightarrow{u},\overrightarrow{v})}_H-{(\overrightarrow{u},{\mathcal{A}}^{*}\overrightarrow{v})}_H={({\mathsf{\Gamma }}_1\overrightarrow{u},{\mathsf{\Gamma }}_0\overrightarrow{v})}_{\mathcal{K}}-{({\mathsf{\Gamma }}_0\overrightarrow{u},{\mathsf{\Gamma }}_1\overrightarrow{v})}_{\mathcal{K}},\overrightarrow{u},\overrightarrow{v}\in dom{\mathcal{A}}^{*}$$

(19)

(2) 

For any $Y_0,Y_1\in \mathcal{K}$ there exist $\overrightarrow{u}\in dom{\mathcal{A}}^{*}$, such that ${\mathsf{\Gamma }}_0\overrightarrow{u}=Y_0$, ${\mathsf{\Gamma }}_1\overrightarrow{u}=Y_1$. In other words, the mapping $\overrightarrow{u}\mapsto {\mathsf{\Gamma }}_0\overrightarrow{u}\oplus {\mathsf{\Gamma }}_1\overrightarrow{u}$ from $dom{\mathcal{A}}^{*}$ to $\mathcal{K}\oplus \mathcal{K}$ is surjective.

It can be shown (see [55]) that a boundary triple for ${\mathcal{A}}^{*}$ exists, although it is not unique.

Definition 3. 

Let $\mathcal{T}=(\mathcal{K},{\mathsf{\Gamma }}_0,{\mathsf{\Gamma }}_1)$ be a boundary triple of ${\mathcal{A}}^{*}$. The Weyl function of ${\mathcal{A}}^{*}$ corresponding to $\mathcal{T}$ and denoted by $M\left(z\right)$, $z\in \mathbb{C}\setminus \mathbb{R}$, is an analytic operator-function with a positive imaginary part for $z\in {\mathbb{C}}_{+}$ (i.e., an operator R-function) with values in the algebra of bounded operators on $\mathcal{K}$ such that

$$M\left(z\right){\mathsf{\Gamma }}_0\overrightarrow{u}={\mathsf{\Gamma }}_1\overrightarrow{u}\forall \overrightarrow{u}\in \ker ({\mathcal{A}}^{*}-zI).$$

For $z\in \mathbb{C}\setminus \mathbb{R}$ one has ${\left(M\left(z\right)\right)}^{*}=\left(M\left(\overline{z}\right)\right)$ and $\Im \left(z\right)\Im \left(M\right(z\left)\right)>0$.

A comparison with the assertion 4 of Proposition 1 shows that the Weyl function $M\left(z\right)$ in the context of the boundary triples theory is intimately related to the object introduced in Definition 1. The overall setup leading to its construction is, however, different and is based on the explicit choice of the boundary operators ${\mathsf{\Gamma }}_0$ and ${\mathsf{\Gamma }}_1$.

Definition 4. 

An extension $\mathcal{A}$ of a closed densely defined symmetric operator $\mathcal{A}$ is called almost solvable and is denoted by $\mathcal{A}=A_B,$ if there exist a boundary triple $(\mathcal{K},{\mathsf{\Gamma }}_0,{\mathsf{\Gamma }}_1)$ for ${\mathcal{A}}^{*}$ and a bounded operator $B:\mathcal{K}\to \mathcal{K}$ defined everywhere in $\mathcal{K}$ such that

$$\overrightarrow{u}\in dom{A}_B\iff {\mathsf{\Gamma }}_1\overrightarrow{u}=B{\mathsf{\Gamma }}_0\overrightarrow{u}.$$

This definition implies that $dom{A}_B\subset dom{\mathcal{A}}^{*}$ and $A_B$ is a restriction of ${\mathcal{A}}^{*}$ to the linear set $dom{A}_B:=\{\overrightarrow{u}\in dom{\mathcal{A}}^{*}:{\mathsf{\Gamma }}_1\overrightarrow{u}=B{\mathsf{\Gamma }}_0\overrightarrow{u}\}$. In this context, the operator B plays the rôle of a parameter for the family of extensions $\{A_B\mid B:\mathcal{K}\to \mathcal{K}\}$. It can be shown (see [36] for references) that the resolvent set of $A_B$ is non-empty (i.e., $A_B$ is maximal), both $A_B$ and ${\left(A_B\right)}^{*}=A_{B^{*}}$ are restrictions of ${\mathcal{A}}^{*}$ to their domains, and $A_B$ and B are self-adjont or dissipative simultaneously.

Under the additional assumption that $\mathcal{A}$ is simple (or, in other words, completely non-self-adjoint), that is, it has no reducing self-adjoint “parts”, the spectrum of $A_B$ coincides, counting multiplicities, with the set of points $z_0\in \mathbb{C}$ into which ${(M\left(z_0\right)-B)}^{-1}$ does not admit analytic continuation. In the general case, however, the spectrum is a union of the “zeroes” of the operator-valued function $M\left(z\right)-B$ introduced above and the spectrum of the self-adjoint “part” of the symmetric operator $\mathcal{A}$ in its Wold decomposition [56].

Our immediate aim is to construct a convenient boundary triple for the operator ${\mathcal{A}}_{\mathrm{eff}}$. In doing so, we rely upon the framework (in a particular case of a loop-graph with exactly one vertex) of the paper [57].

We define the symmetric operator $\mathcal{A}$ as follows (cf. (16)):

$$\begin{array}{cc}\hfill dom\mathcal{A}=\{{(u,\beta )}^{\top }\in H_{\mathrm{eff}}:& u\in H^2\left(G\right),u_{ev}=u_{e^{\prime }v}=:u_v\mathrm{for}\mathrm{any}v\hfill \\ \hfill & \mathrm{and}e,e^{\prime }\mathrm{incident}\mathrm{to}v,{\partial }_n{u|}_V=0,\mathrm{and}\beta =\kappa u_V\},\hfill \end{array}$$

where $u_V$ is, as above, the N-dimensional vector of ${\left\{u_v\right\}}_{v\in V}$, $\kappa$ is the diagonal matrix (17), and ${\partial }_n{u|}_V$ is the N-dimensional vector of ${\left\{{\sum }_{e\sim v}{\partial }_n{u}_e{|}_v\right\}}_{v\in V}$. The action of the operator $\mathcal{A}$ is set by (18). The operator thus defined is clearly symmetric in $L^2\left(G\right)\oplus {\mathbb{C}}^N$; its adjoint ${\mathcal{A}}^{*}$ is defined by the same expression (18) on the domain

$$\begin{array}{cc}\hfill dom{\mathcal{A}}^{*}=\{{(u,\beta )}^{\top }\in H_{\mathrm{eff}}:u\in H^2\left(G\right),u_{ev}=u_{e^{\prime }v}=:u_v& \mathrm{for}\mathrm{any}v\hfill \\ \hfill & \mathrm{and}e,e^{\prime }\mathrm{incident}\mathrm{to}v\}.\hfill \end{array}$$

We have the following lemma.

Lemma 5. 

Let $\mathcal{K}={\mathbb{C}}^N$, ${\mathsf{\Gamma }}_0{(u,\beta )}^{\top }:={\partial }_n{u|}_V$, and ${\mathsf{\Gamma }}_1{(u,\beta )}^{\top }:={\kappa }^{-1}\beta -u_V$. The triple $(\mathcal{K},{\mathsf{\Gamma }}_0,{\mathsf{\Gamma }}_1)$ is a boundary triple for the operator ${\mathcal{A}}^{*}.$ The operator ${\mathcal{A}}_{\mathrm{eff}}$ is a self-adjoint almost solvable extension of $\mathcal{A}$, corresponding to the matrix $B=0$ with respect to this boundary triple.

The proof of the above lemma is obtained via integration by parts; for details, see [57].

We shall further require two ordinary differential operators on the metric graph G together with their boundary triples. Consider $A_{max}^{\delta }$ to be the operator generated by the negative Laplacian $-\Delta$ on $L^2\left(G\right)$, defined on the domain

$$dom{A}_{max}^{\delta }=\{u\in H^2\left(G\right):u_v:=u_{ev}=u_{e^{\prime }v}\mathrm{for}\mathrm{any}v\mathrm{and}e,e^{\prime }\mathrm{incident}\mathrm{to}v\}.$$

In the paper [58], it is shown that this is a natural choice of a maximal operator if one seeks to consider the so-called $\delta$-type matching conditions at the graph vertices, i.e., matching conditions of the type

$$u\mathrm{continuous}\mathrm{at}\mathrm{every}\mathrm{vertex}v\mathrm{and}{\partial }_n{u|}_V={\eta }^2{u}_V,$$

(20)

where $\eta$ is a diagonal matrix. The conditions (20) reduce to Kirchhoff, or standard, matching conditions under the choice $\eta =0$. The natural boundary triple for $A_{max}^{\delta }$ is $(\mathcal{K},{\mathsf{\Gamma }}_0^{\delta },{\mathsf{\Gamma }}_1^{\delta }),$ where $\mathcal{K}={\mathcal{C}}^N$, ${\mathsf{\Gamma }}_0^{\delta }u=u_V,$ and ${\mathsf{\Gamma }}_1^{\delta }u={\partial }_n{u|}_V$. The corresponding Weyl function (“M-matrix”) admits the form [58] $M_{\delta }\left(z\right):={\left\{m_{v{v}^{\prime }}^{\delta }\right\}}_{v,v^{\prime }\in V}$, where

$$m_{v{v}^{\prime }}^{\delta }\left(k\right)=\left\{\begin{array}{cc}-k\sum _{e\sim v}cotk{l}_e,\hfill & v=v^{\prime },\hfill \\ k\sum _{e\sim v,e\sim v^{\prime }}{(sink{l}_e)}^{-1},\hfill & v\ne v^{\prime }.\hfill \end{array}\right.$$

(21)

Here, $k:=\sqrt{z}$ is such that $\Im k\ge 0.$

Next, we consider the magnetic Laplacian on the graph G subject to ${\delta }^{\prime }$-type matching at the vertices. Namely, we assume that for all edges e the action of the operator is described as

$$-{\left(\frac{d}{dx}+\mathrm{i}{\tau }_e\right)}^2,$$

(22)

where ${\tau }_e$ is an edgewise-constant magnetic potential. In order to introduce ${\delta }^{\prime }$-type matching, consider the co-normal derivatives

$${\partial }_n^{\tau }{u}_e{|}_v=\left\{\begin{array}{cc}{u}_e^{\prime }{{|}_v+\mathrm{i}{\tau }_e{u}_e|}_v\hfill & ifv\mathrm{is}\mathrm{the}\mathrm{left}\mathrm{endpoint}\mathrm{of}e,\hfill \\ -(u_e^{\prime }{|}_v+\mathrm{i}{\tau }_e{u}_e{|}_v)\hfill & \mathrm{otherwise}.\hfill \end{array}\right.$$

We say that the magnetic Laplacian on G is subject to ${\delta }^{\prime }$-type matching at the vertices if

$${\partial }_n^{\tau }{u|}_v:={\partial }_n^{\tau }{u}_e{|}_v={\partial }_n^{\tau }{u}_{e^{\prime }}{|}_v\mathrm{for}\mathrm{any}e,e^{\prime }\sim v,\mathrm{and}\mathsf{\Sigma }u{{|}_V={\eta }^2{\partial }_n^{\tau }u|}_V\forall v\in V,$$

(23)

where ${\partial }_n^{\tau }{u|}_V$ and ${\mathsf{\Sigma }u|}_V$ denote the vectors ${\left\{{\partial }_n^{\tau }u{|}_v\right\}}_{v\in V}$ and ${\left\{{\sum }_{e\sim v}{u}_e{|}_v\right\}}_{v\in V},$ respectively.

By an argument similar to that of [58], see also [13], one easily checks that $(\mathcal{K},{\widehat{\mathsf{\Gamma }}}_0,{\widehat{\mathsf{\Gamma }}}_1)$ is a boundary triple for the magnetic Laplacian $A_{max}^{{\delta }^{\prime }}$ defined on

$$dom{A}_{max}^{{\delta }^{\prime }}=\{u\in H^2\left(G\right):{\partial }_n^{\tau }{u|}_v:={\partial }_n^{\tau }{u}_e{|}_v={\partial }_n^{\tau }{u}_{e^{\prime }}{|}_v\mathrm{for}\mathrm{any}v\mathrm{and}e,e^{\prime }\mathrm{incident}\mathrm{to}v\},$$

if $\mathcal{K}={\mathbb{C}}^N$, ${\widehat{\mathsf{\Gamma }}}_{0}u:={\left\{{\partial }_n^{\tau }u{|}_v\right\}}_{v\in V}$, and, finally, ${\widehat{\mathsf{\Gamma }}}_{1}u:=-{\left\{{\sum }_{e\sim v}{u}_e{|}_v\right\}}_{v\in V}$. The corresponding M-matrix $\widehat{M}\left(z\right):={\left\{{\widehat{m}}_{v{v}^{\prime }}\right\}}_{v,v^{\prime }\in V}$ admits the form [58]

$${\widehat{m}}_{v{v}^{\prime }}\left(k\right)=\left\{\begin{array}{cc}-k^{-1}\sum _{e\sim v}cotk{l}_e,\hfill & v=v^{\prime },\hfill \\ -k^{-1}\sum _{e\sim v,e\sim v^{\prime }}exp\left(\mathrm{i}{\sigma }_e(v,v^{\prime }){\tau }_e{l}_e\right){(sink{l}_e)}^{-1},\hfill & v\ne v^{\prime }.\hfill \end{array}\right.$$

Here $k=\sqrt{z}$ such that $\Im k\ge 0$ and ${\sigma }_e(v,v^{\prime })=1$ if e is directed from v to $v^{\prime }$, ${\sigma }_e(v,v^{\prime })=-1$ otherwise.

We will now fix the values of the magnetic potential as follows: ${\tau }_e:=\pi /l_e$. The operator $A_{max}^{{\delta }^{\prime }}$ corresponding to this choice will be henceforth denoted by ${\widehat{A}}_{max}$. Its M-matrix $\widehat{M}$ relative to the triple $(\mathcal{K},{\widehat{\mathsf{\Gamma }}}_0,{\widehat{\mathsf{\Gamma }}}_1)$ admits the form

$${\widehat{m}}_{v{v}^{\prime }}\left(k\right)=\left\{\begin{array}{cc}-k^{-1}\sum _{e\sim v}cotk{l}_e,\hfill & v=v^{\prime },\hfill \\ k^{-1}\sum _{e\sim v,e\sim v^{\prime }}{(sink{l}_e)}^{-1},\hfill & v\ne v^{\prime },\hfill \end{array}\right.$$

which coincides with (21) up to the factor $z^{-1}$. We remark that the operator ${\widehat{A}}_{max}$ and any of its self-adjoint restrictions can be unitary transformed into a regular (non-magnetic) Laplacian on the same graph G by a standard gauge transform; this will, however, be reflected in the corresponding change of matching conditions at the vertices. Motivated by applications to electromagnetic wave propagation [16], here we prefer to proceed with the magnetic setup.

Returning to the analysis of the operator ${\mathcal{A}}_{\mathrm{eff}}$, we now have the following lemma.

Lemma 6. 

Relative to the boundary triple of Lemma 5, the Weyl M-matrix of the operator ${\mathcal{A}}_{\mathrm{eff}}$ admits the form

$$M\left(z\right)=-M_{\delta }^{-1}\left(z\right)-\frac{1}{z}{\kappa }^{-2}=-\frac{1}{z}({\widehat{M}}^{-1}\left(z\right)+{\kappa }^{-2}).$$

Proof. 

In view of Lemma 5, consider the vector ${(u,\beta )}^{\top }\in dom{\mathcal{A}}^{*}$ such that

$${\mathcal{A}}^{*}\left(\genfrac{}{}{0pt}{}{u}{\beta }\right)=z\left(\genfrac{}{}{0pt}{}{u}{\beta }\right).$$

By the definition of ${\mathcal{A}}^{*},$ one equivalently has $-u^{″}=zu\mathrm{on}G\mathrm{and}-{\kappa }^{-1}{\partial }_n{u|}_V=z\beta .$ Abbreviating ${\mathsf{\Gamma }}_0{(u,\beta )}^{\top }=:\alpha$, one therefore has, in view of the definition of ${\mathsf{\Gamma }}_0$ (see Lemma 5):

$$\beta =-\frac{1}{z}{\kappa }^{-1}\alpha .$$

Furthermore, taking now into account the definition of the second boundary operator ${\mathsf{\Gamma }}_1$, one has

$${\mathsf{\Gamma }}_1{(u,\beta )}^{\top }={\kappa }^{-1}\beta -u_V=-\frac{1}{z}{\kappa }^{-2}\alpha -u_V.$$

Note that the function u, by the definition of ${\mathcal{A}}^{*}$, must be continuous at every $v\in V$ and therefore belongs to the domain of the operator $A_{max}^{\delta }$. Therefore, $u\in ker(A_{max}^{\delta }-z)$ and thus one has ${\mathsf{\Gamma }}_1^{\delta }u=M_{\delta }\left(z\right){\mathsf{\Gamma }}_0^{\delta }u.$ By construction, one has ${\mathsf{\Gamma }}_0^{\delta }{u=u|}_V$ and ${\mathsf{\Gamma }}_1^{\delta }u={\partial }_n{u|}_V$, whence $u_V=M_{\delta }^{-1}\left(z\right)\alpha .$ Ultimately,

$$M\left(z\right)\alpha ={\mathsf{\Gamma }}_1{(u,\beta )}^{\top }=-\frac{1}{z}{\kappa }^{-2}\alpha -M_{\delta }^{-1}\left(z\right)\alpha ,$$

as claimed. □

Let $\mathcal{E}(·)$ denote the orthogonal operator spectral measure of the self-adjoint operator ${\mathcal{A}}_{\mathrm{eff}}$ and $E(·)$ the orthogonal spectral measure of the self-adjoint operator ${\widehat{A}}_{-{\kappa }^2}$, where the latter is defined as the almost solvable extension of ${\left(A_{max}^{{\delta }^{\prime }}\right)}^{*}$ corresponding to the parameterising operator $B=-{\kappa }^2$. In other words, it is the magnetic Laplacian on the graph G subject to the condition ${\tau }_e=\pi /l_e$ for all $e\in E$ and ${\delta }^{\prime }$-type matching conditions (23) at the graph vertices with $\eta =\kappa$. We have the following statement.

Theorem 5. 

For any $c_0>0$, the operators ${\mathcal{A}}_{\mathrm{eff}}\mathcal{E}(c_0,\infty )$ and ${\widehat{A}}_{-{\kappa }^2}E(c_0,\infty )$ are unitary equivalent.

Proof. 

In the generic case when $\mathcal{A}$ is simple (in particular when all $l_e$ are rationally independent), the claim follows immediately from Lemma 6. Indeed, in this case no positive z can be an eigenvalue of the operator $\mathcal{A}$ and the same applies to the operator ${\left(A_{max}^{{\delta }^{\prime }}\right)}^{*}$. Therefore, any reducing self-adjoint “part” of either symmetric operator can only be zero. In the general case, if $z_0>0$ is an eigenvalue of $\mathcal{A}$, then the corresponding eigenfunction solves $-u^{″}=z_{0}u$ on G subject to $-{\kappa }^{-1}{\partial }_n{u|}_V=z_0\beta ,$ $u_V={\kappa }^{-1}\beta ,$ ${\partial }_n{u|}_V=0$ and therefore $u_V={\partial }_n{u|}_V=0$. Thus, any eigenfunction must be of the form $c_{e}sin\sqrt{z_0}x$ on each e; moreover, one must also have $sin\sqrt{z_0}{l}_e=0$ for all e such that $c_e\ne 0$ and ${\partial }_n{u|}_V=0$. For each of these, the function that is edgewise transformed as $c_{e}sin\sqrt{z_0}x\mapsto c_{e}exp(-\mathrm{i}{\tau }_{e}x)cos\sqrt{z_0}x$ is shown to be an eigenfunction of ${\left(A_{max}^{{\delta }^{\prime }}\right)}^{*}$ corresponding to the eigenvalue $z_0$. The same argument applied in the opposite direction completes the proof. □

Remark 2. 

The analysis of the unitary equivalence linking ${\mathcal{A}}_{\mathrm{eff}}\mathcal{E}(c_0,\infty )$ and ${\widehat{A}}_{-{\kappa }^2}E(c_0,\infty )$ is an exciting possible development from the point of view of classical functional analysis, since it appears to be a natural graph-based generalisation of the classical Hilbert transform. This can be seen, in particular, from the explicit calculation in the case of an infinite chain graph [14].

The above theorem shows that the spectral analysis of the operator ${\mathcal{A}}_{\mathrm{eff}}$ in relation to its non-zero spectrum reduces to that of the magnetic graph Laplacian with (non-trivial) ${\delta }^{\prime }$-type matching condition at the graph vertices, which could come as a surprise given that the eigenvalue problem for ${\mathcal{A}}_{\mathrm{eff}}$ yields, for the first component of the eigenvector ${(u,\beta )}^{\top },$ the equation $-u^{″}=zu$ on G subject to ${\partial }_{n}u{{|}_V=-z{\kappa }^{2}u|}_V,$ which on the face of it is a $\delta$-type matching condition, albeit with coupling constants proportional to the spectral parameter z. It would seem natural, therefore, for the self-adjoint operator ${\mathcal{A}}_{\mathrm{eff}}$ to be a $H^{-1}$ singular perturbation of the graph Laplacian with standard boundary conditions. Instead, our result shows that it is in fact a more singular $H^{-2}$ perturbation. The underlying reasons of this peculiar behaviour are discussed in detail in [59], where the relationship of operators of the class considered with those in the area of zero-range potentials with internal structure, as introduced by B. S. Pavlov [60,61], is explained. We also point out that the assertion of Theorem 5 has been observed in a particular case of the cycle graph with one vertex (the loop) in [14] in the context of a high-contrast homogenisation problem on the real line.

We conclude the spectral analysis of the operator ${\mathcal{A}}_{\mathrm{eff}}$ by a brief discussion of its kernel and the comparison of the latter with that of the operator ${\widehat{A}}_{-{\kappa }^2}$. It turns out that, unlike what happens with its non-zero spectrum, the kernel $ker{\mathcal{A}}_{\mathrm{eff}}$ of the operator ${\mathcal{A}}_{\mathrm{eff}}$ is that of the Kirchhoff graph Laplacian.

Note first that $ker{\mathcal{A}}_{\mathrm{eff}}$ necessarily belongs to the non-simple (i.e., self-adjoint) part of $\mathcal{A}$. Indeed, for ${(u,\beta )}^{\top }\in ker{\mathcal{A}}_{\mathrm{eff}}$ it has to satisfy

$$-u^{\prime \prime }=0\mathrm{on}G,{\partial }_n{u|}_V=0,u_V={\kappa }^{-1}\beta ,$$

where the boundary conditions are equivalent to ${\mathsf{\Gamma }}_0{(u,\beta )}^{\top }=0$, ${\mathsf{\Gamma }}_1{(u,\beta )}^{\top }=0$. On the other hand, this is precisely the condition for u to be in the kernel of a graph Laplacian with Kirchhoff matching conditions. One therefore infers from [5] that $dimker{\mathcal{A}}_{\mathrm{eff}}=1$ (in our case of connected graphs), and the elements of $ker{\mathcal{A}}_{\mathrm{eff}}$ are constants on G.

The kernel of ${\widehat{A}}_{-{\kappa }^2}$ is spanned by functions u such that

$$-u^{\prime \prime }=0\mathrm{on}G\mathrm{and}\mathsf{\Sigma }u{{|}_V={\kappa }^2{\partial }_n^{\tau }u|}_V.$$

It is easily checked that a non-trivial solution to this problem could exist only if ${\partial }_n^{\tau }{u|}_V=0,$ ${\mathsf{\Sigma }u|}_V=0$ or, in other words, if ${\widehat{\mathsf{\Gamma }}}_{0}u={\widehat{\mathsf{\Gamma }}}_{1}u=0$. This means that, precisely as in the case of ${\mathcal{A}}_{\mathrm{eff}}$, the kernel of ${\widehat{A}}_{-{\kappa }^2}$ necessarily belongs to the non-simple (i.e., self-adjoint) part of the symmetric operator ${(A_{max}^{{\delta }^{\prime }})}^{*}$. The question of its existence and dimension admits a simple answer in terms of the graph topology. It is clear that it is trivial in the case when G is a tree; in general, its dimension is shown to be equal to the cyclomatic number $\chi$ of the graph G. In particular, this yields unitary equivalence of ${\mathcal{A}}_{\mathrm{eff}}$ and ${\widehat{A}}_{-{\kappa }^2}$ in the case where G contains exactly one cycle.

Remark 3. 

The result of the present section seems to have been overlooked in a number of now-classical papers dealing with Sturm–Liouville problems on an interval with boundary conditions depending on a spectral parameter; see, e.g., [62,63,64,65,66,67].

Conjecture 1. 

The above discussion raises the question of which definition of ${\delta }^{\prime }$-type interaction on a graph is motivated physically, i.e., whether it is the one emerging from the analysis of thin networks as the operator ${\mathcal{A}}_{\mathrm{hom}},$ see (16)–(18), or the traditional (see [5]) definition (22)–(23). At first sight, the difference between the two operators is insignificant: it is only in their kernels. However, it can happen to be of paramount importance if, e.g., one considers an $\epsilon$-periodic graph with ${\delta }^{\prime }$-type matching conditions, in which case the homogenisation procedure [11,12] will lead to drastically different outcomes for the two related setups, as it relies upon a “threshold effect” [68] in the behaviour of the least eigenvalue of the operator on the fundamental cell for small quasimomenta.