Abstract
We derive trace formulas of the Buslaev–Faddeev type for quantum star graphs. One of the new ingredients is high energy asymptotics of the perturbation determinant.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A quantum graph is a triple \((\Gamma ,H,{\mathcal {V}}{\mathcal {C}})\), where \(\Gamma \) is a metric graph with edges \(\{e_j\}, H\) is a differential operator, and \({\mathcal {V}}{\mathcal {C}}\) is a set of vertex conditions. The usual differential operator is the Schrödinger operator defined by
where \(\psi \in L^2(\Gamma ):=\bigoplus _j L^2(e_j)\) and V is a real-valued potential on \(\Gamma \), with restriction to edge \(e_j\) denoted by \(v_j:=V|_{e_j}\). We assume throughout that V is sufficiently regular, for instance, in \(L^1_{\text {loc},\text {unif}}\) on each edge. We can require continuity of \(\psi \) on \(\Gamma \) and impose Kirchoff boundary conditions on each vertex v,
where the sum is over all edges e containing the vertex v, and the \(e+\) indicates the derivative is taken in the outgoing direction. These conditions make H a self-adjoint operator on \(L^2(\Gamma )\).
Besides being interesting mathematically, quantum graphs have many applications to chemistry and physics. Since the 1930s, they have been used to model structures ranging from nanotechnology and quantum wires to free electrons in organic molecules. Since quantum graphs have one dimensional edges, they are also used as simplified models for complicated behavior in physics, like quantum chaos and Anderson localization [1].
One of the simplest examples of a quantum graph is a quantum star graph, which consists of a single vertex v and \(n\ge 2\) edges \(e_j, 1\le j\le n\), each of which is identified with the half-line \([0,\infty )\). Because of its similarity to n half-lines, many of the spectral theory and scattering theory results for the half-line case have analogues for star graphs. For example, Levinson’s formula for star graphs and expressions for the spectral shift function and perturbation determinant for star graphs were proved in [3]. In this article, we will prove trace formulas of the Buslaev–Faddeev type for star graphs. We will first briefly review the scattering theory that is relevant to us here; see also [7, Sect. 4]. In the one dimensional case, the Schrödinger equation is just
Consider a half-line edge \(e_j\) in the star graph with
Then there are two linearly independent solutions to the Schrödinger equation on \(e_j\), the regular solution \(\varphi _j\) and the Jost solution \(\theta _j\). The Jost solution is determined by the asymptotics,
and gives rise to the Jost function,
In the half-line case and under suitable conditions on the potential, the (modified) perturbation determinant \(D(\zeta )\) (Sect. 2) is simply given by \(D(\zeta )=\omega (\zeta )\) and is analytic in \(\zeta \) for \(\mathfrak {I}\zeta >0\) and continuous up to \(\mathfrak {I}\zeta =0\) except possibly at \(\zeta =0\). For the star graph, the perturbation determinant is more complicated, but an explicit formula in terms of the Jost functions and solutions is given in [3], which we will use in Sect. 2.
Using the perturbation determinant, we can define the limit amplitude a(k) and limit phase (or phase shift) \(\eta (k)\) for \(\zeta =k\in {\mathbb {R}}\). We set \(D(k)=:a(k)e^{i\eta (k)}\), with \(a(k)=|D(k)|\). As we will see later in (2.5), \(D(z)=1+O(|\zeta |^{-1})\) as \(|\zeta |\rightarrow \infty \), so we can choose \(\eta \) with the convention \(\eta (\infty )=0\). (We also require it to be continuous.) The names for a(k) and \(\eta (k)\) come from scattering theory, where they correspond to the amplitude shift and phase shift in the wavefunction as \(x\rightarrow \infty \).
The last thing we mention from scattering theory is zero energy resonances. The Schrödinger operator H has a zero energy resonance if there is a nontrivial bounded solution to \(-\frac{d^2}{dx^2}\psi +V\psi =0\) that satisfies the continuity and Kirchhoff conditions. The multiplicity of the resonance is the dimension of the solution space. In physics, these resonances correspond to “half-bound states” or “metastable bound states”.
Our main result is the following trace formulas of the type in [2] relating \(\sum |\lambda _j|^{n}\) (for \(n\in \frac{1}{2}{\mathbb {N}}\)) to an expression involving the potential V.
Theorem 1
(Trace formulas) Let \(\Gamma \) be a star graph with edges \(\{e_j\}, 1\le j\le n\). Assume that
and that for each \(j=1,\ldots ,n\) and \(m\in {\mathbb {N}}_0:={\mathbb {N}}\cup \{0\}\),
If \(\zeta =0\) is a resonance of multiplicity one, we also assume that
Then letting \(r_j\) be the multiplicity of the eigenvalue \(\lambda _j\), we have
For \(m=1,2,\ldots \),
The coefficients \(L_m\) come from the asymptotic expansion \(\log D(\zeta )=\sum _{m=1}^\infty L_m(2i\zeta )^{-m}\), for \(|\zeta |\rightarrow \infty \). The first few coefficients are given by
Remarks
-
(i)
These trace formulas are analogous to the trace formulas for the half-line case, which can be found in [7, Sect. 4.6]. The differences are the values of the \(L_m\)’s and the possibility of having eigenvalues of multiplicity greater than one.
-
(ii)
The additional requirement (1.7) in the case that \(\zeta =0\) is a resonance of multiplicity one comes from the hypotheses in [3, Prop. 4.5] for low energy asymptotics of the perturbation determinant.
We emphasize that while we are requiring each \(v_j\) to be smooth on \(e_j\), we do not impose restrictions on the values of \(v_j\) and its derivatives at the vertex. This raises the question of whether the vertex terms in the coefficients \(L_m\) disappear if V is smooth at the vertex. A natural notion of smoothness on \(\Gamma \) is that for any two distinct \(e_i\) and \(e_j\), the function on \({\mathbb {R}}\) obtained by combining \(v_i\) and \(v_j\) is smooth. This is easily seen to be equivalent to \(v_i^{(2k)}(0)=v_j^{(2k)}(0)\) for all \(1\le i,j\le n\) and \(v_i^{(2k+1)}(0)=0\) for all \(1\le i\le n\). We shall see that while for the first few coefficients \(L_m\) with m odd the vertex terms cancel, they do not for m even.
Corollary 1
For \(k\in {\mathbb {N}}_0:={\mathbb {N}}\cup \{0\}\), consider the special case where \(v_i^{(2k)}(0)=v_j^{(2k)}(0)=:v^{(2k)}(0)\) for all \(1\le i,j\le n\) and \(v_i^{(2k+1)}(0)=0\) for all \(1\le i\le n\). Then
Let us comment the outline of this paper and on our approach to Theorem 1. There is a well-known strategy to obtain trace formulas which goes back to [2] (see, for instance, [7] for a textbook presentation) and which we will follow here. It consists in the following steps:
-
(1)
One integrates the perturbation determinant over a contour and takes limits in the form of the contour to obtain a family of identities.
-
(2)
One analytically continues these identities and evaluates them at certain points.
A key step both in Steps 1 and 2 is to find a representation of the perturbation formula in terms of Jost solutions. This allows to prove bounds on the perturbation determinant which are necessary both to control the limit of the contour in Step 1 and to perform the analytic continuation in Step 2. In order to carry out this program we will rely on [3], which contains a useful formula for the perturbation determinant on a star graph, see Proposition 1, and gives the low energy asymptotics of the perturbation determinant, see Proposition 2. Using these results we can carry out Step 1 in a rather straightforward manner. For Step 2, however, we also need high energy asymptotics for the perturbation determinant, and that is our main technical result in this paper. While they also rely on the representation formula from [3] they require an inductive procedure and careful remainder estimates. We provide those in Sect. 4 and in Appendix A.
In order to make this paper self-contained we review necessary results from the literature in Sect. 2 and provide details for Steps 1 and 2 in Sect. 3. As we already mentioned, Sect. 4 contains the novel high energy asymptotics which lead, in particular, to the formulas for the coefficients \(L_m\) from (1.11). In Sect. 5, we use the star graph with \(n=2\) to recover some of the results for the whole real line that are given in [7, Sect. 5]. In contrast to [7, Sect. 5] we also obtain formulas if V is smooth away from a point, and we see explicitly the contribution to the trace formulas of the discontinuities of V and its derivatives at this point.
2 The perturbation determinant and other previous results
The free Schrödinger operator is just the operator \(H_0:=-\frac{d}{dx^2}\), i.e. there is no potential V. The corresponding resolvent will be denoted by \(R_0(z):=(H_0-z)^{-1}\), while the resolvent for H will be denoted by \(R(z):=(H-z)^{-1}\). The perturbation determinant (PD), introduced by Krein in 1953, produces a holomorphic function on the resolvent set \(\rho (H_0)\) that is determined by the pair of operators \(H,H_0\). In our case, we will actually need to look at the modified perturbation determinant (see [7, 8] for details). It is closely related to the spectral shift function, which has applications to many areas, including spectral theory, scattering theory, and trace formulas [4]. The modified perturbation determinant, which we will just call the perturbation determinant, is given by
where \(\sqrt{V}:=({\text {sgn}} V)\sqrt{|V|}\). It is shown in [3] that this is well-defined in our case. Some useful facts about the perturbation determinant that can be found in e.g. [7, 8] are as follows.
-
\(D(\zeta )\) is holomorphic in \(\mathfrak {I}\zeta >0\).
-
\(D(\zeta )\) has a zero in \(\zeta \) of order r if and only if \(\zeta ^2\) is an eigenvalue of multiplicity r of H.
-
\(D^{-1}(\zeta )\frac{d}{d\zeta ^2}D(\zeta )={\text {tr}}(R_0(\zeta ^2)-R(\zeta ^2))\).
Remark
The perturbation determinant is sometimes defined with an argument of \(z=\zeta ^2\). Then the definition is \(D(z):=\det (\mathbbm {1}+\sqrt{V}R_0(z)\sqrt{|V|})\) for \(z\in \rho (H_0)\), and the last property listed above takes on a nicer form. We will however continue to use the definition with \(\zeta \).
Proposition 1
(Formula for the PD, [3]) If the potential V is a real-valued function on \(\Gamma \) such that (1.5) holds, then for \(\zeta ^2=z\in \rho (H_0)\),
where \(K(\zeta ):=\sum _{j=1}^n\frac{\theta _j'(0,\zeta )}{\theta _j(0,\zeta )}\).
The importance of this proposition is that it connects a spectral theoretic object, namely \(D(\zeta )\), with ODE objects, namely the \(\theta _j\)’s. Results of this type go back to [6]; see also [5].
Remark
Although \(D(\zeta )\) is not defined for \(\mathfrak {I}\zeta =0\), we can use (2.1) to extend it to \(\mathfrak {I}\zeta =0, \zeta \ne 0\). Then for \(\zeta =k\in {\mathbb {R}}{\setminus }\{0\}\), define \(D(k)=:a(k)e^{i\eta (k)}\), with \(a(k):=|D(k)|\). Either using general properties of \(D(\zeta )\) or (2.1) and the fact \(\theta _j(x,-k)=\overline{\theta _j(x,k)}\), we get,
Proposition 2
(Low energy asymptotics, [3]) Assume the potential V satisfies (1.5). Let m be the multiplicity of the resonance \(\zeta =0\), with the convention that \(m=0\) if \(\zeta =0\) is not a resonance. If \(\zeta =0\) is a resonance of multiplicity one, we also assume that V has a second moment, i.e. (1.7) holds. Then as \(\zeta \rightarrow 0\),
with \(c\ne 0\).
Proposition 1 also yields the leading order of the high energy asymptotics of \(D(\zeta )\). In fact, from asymptotics for the half-line, \(\omega _j(\zeta )=\theta _j(0,\zeta )=1+O(|\zeta |^{-1})\) and \(\theta '(0,\zeta )=i\zeta +O(1)\) as \(|\zeta |\rightarrow \infty \), we have
which implies
which is the same limiting behavior as in the half-line case. To get the coefficients \(L_m\) in Theorem 1, we need a full asymptotic expansion for \(K(\zeta )\), which we will compute in Sect. 4.
3 Adapting results from the half-line case
Trace formula derivations for the half-line case can be found in [7, Sect. 4.6]. We will follow the same method here, but with some adaptations to ensure the results hold for star graphs. We will assume we know the coefficients \(L_m\) in the asymptotic expansion of \(\log D(\zeta )\), which will result in proving Theorem 1 except for the formulas (1.11) for the \(L_m\)’s. (The expressions for the \(L_m\)’s will be derived in Sect. 4.)
Lemma 1
Assume (1.5) holds, and also (1.7) holds if \(m=1\). For \(s\in {\mathbb {C}}, 0<\mathfrak {R}s<\frac{1}{2}\), set
Then
where \(r_j\) is the multiplicity of the eigenvalue \(\lambda _j\).
Proof
The proof is essentially the same as in the half-line case, by applying the residue theorem to \(\int _{\Gamma _{R,\varepsilon }}\frac{\frac{d}{d\zeta }D(\zeta )}{D( \zeta )}\zeta ^{2s}\,dq\). As in the half-line case, the contour \(\Gamma _{R,\varepsilon }\) consists of the semi-circles of radius R and \(\varepsilon <R\) in the upper half-plane, connected by \([-R,-\varepsilon ]\cup [\varepsilon ,R]\) (Fig. 1). There are two main differences for a star graph: D may have zeros that are not simple, and integration over the contour \(C_\varepsilon \) must use different low energy asymptotics for \(D(\zeta )\).
For \(R,\varepsilon \) chosen so the contour contains all the zeros of \(D(\zeta )\), the residue theorem yields,
where \(i\kappa _j=i|\lambda _j|^{1/2}\) is a zero of D(z) of order \(r_j\). Integration by parts along a semicircle \(C_{r}^+\) of radius r yields,
If \(r=R\), this integral goes to zero for \(\mathfrak {R}s<\frac{1}{2}\) since \(D(\zeta )=1+O(|\zeta |^{-1})\); this is the same as in the half-line case. For \(r=\varepsilon \), recall from Proposition 2 that \(D(\zeta )=c\zeta ^{m-1}(1+o(1))\) as \(\zeta \rightarrow 0\), and \(c\ne 0\), so
as \(\varepsilon \rightarrow 0, m=0,1,2,\ldots \), since \(\mathfrak {R}s>0\). Similarly,
Now by taking \(R\rightarrow \infty \) and \(\varepsilon \rightarrow 0\), we obtain
Integrating by parts and using \(\log D(\zeta )=\log a(k)+i\eta (k)\) along with (2.2) yields the desired formula. \(\square \)
We can analytically continue F and G to \(\mathfrak {R}s>0\) just as in the half-line case. Suppose we have the asymptotic expansion
Then
and we can get the same result for graphs as in [7, Sect. 4—Lemma 6.4]:
Lemma 2
(Analytic continuation) Assume the potential satisfies (1.5) (integrability) and (1.6). If \(m=1\), also assume it satisfies (1.7) (second moment). Then the functions F(s) and G(s) are meromorphic in the half-plane \(\mathfrak {R}s>0\). The function F(s) is analytic everywhere except integers \(m=1,2,\ldots \), where it has simple poles with residues \((-1)^{m+1}2^{-2m-1}L_{2m}\). If \(\mathfrak {R}s<1\), then the original definition is true. Otherwise, if \(m<\mathfrak {R}s<m+1\), then
The function G(s) is analytic everywhere except half-integer points \(m+\frac{1}{2}, m=0,1,2,\ldots \), where it has simple poles with residues \((-1)^m2^{-2m-2}L_{2m+1}\). If \(m\ge 1\) and \(m-\frac{1}{2}<\mathfrak {R}s<m+\frac{1}{2}\), then
Proof (of most of Theorem 1)
By analytic continuation, (3.1) holds for all \(\mathfrak {R}s>0\). Evaluating \(s=m=1,2,\ldots \) and \(s=m+1/2\) for \(m=0,1,2,\ldots \), yields
Using Lemma 2 yields the trace formulas in Theorem 1. \(\square \)
4 High energy asymptotic expansions
In this section, we will compute the coefficients in the asymptotic series expansion,
To this end, assume (1.6) holds for each \(j=1,\ldots ,n\) and \(m\in {\mathbb {N}}_0\). Using the formula for the PD (2.1), we have
which is permissible since each separated term is \(1+O(|\zeta |^{-1})\) and hence has argument close to zero as \(|\zeta |\rightarrow \infty \). From [7, Sect. 4], there is the following asymptotic series for the logarithm of each Jost function \(\omega _j(\zeta )\),
with real coefficients \(\ell _m^{[j]}=-\int _0^\infty g_m^{[j]}(x)\,dx\), where
Also, these \(g_m(x)\) occur in the asymptotic expansion
Now it remains to find an asymptotic expansion for \(\log \left( \frac{K(\zeta )}{in\zeta }\right) \). By (4.3),
To take the logarithm, we use the same method as in the half-line case, which is to find the asymptotic expansion for the logarithmic derivative, and then integrate. First we do long division:
Lemma 3
(Logarithmic derivative) If \(A(x,\zeta )=1+\sum _{m=1}^M a_m(x)(2i\zeta )^{-m}+A_M(x,\zeta )\) and \(A'(x,\zeta )=\sum _{m=2}^M a_m'(x)(2i\zeta )^{-m}+\widetilde{A}_M(x,\zeta )\) are asymptotic expansions, then we have the asymptotic expansion,
where
We fix a branch of the logarithm using \(\frac{K(\zeta )}{in\zeta }=1+O(|\zeta |^{-1})\) and requiring \(\log (\frac{K(\zeta )}{in\zeta })\rightarrow 0\) as \(|\zeta |\rightarrow \infty \). Integrating, we get the following:
Corollary 2
(Logarithm expansion) Let \(A(x,\zeta ),B(x,\zeta )\) be as above, and suppose we have \(\int _0^\infty b_m(x)\,dx<\infty \) for \(m=1,\ldots ,M\) and \(\int _0^\infty |B_M(x,\zeta )|\,dx\lesssim _{M}|\zeta |^{-M-1}\) for each \(\zeta , \mathfrak {I}\zeta \ge 0, |\zeta |\ge c>0\). Then we can integrate term by term to get the asymptotic expansion,
We also define \(C_1:=C_1(0)=a_1(0)\), and for \(m\ge 2\), if \(a_m(x)\rightarrow 0\) as \(x\rightarrow \infty \),
In our case, \(A(x,\zeta )=\frac{K(x,\zeta )}{in\zeta }\), so \(a_1(x)\equiv 0, a_m(x):=\frac{2}{n}(g_{m-1}^{[1]}(x)+\cdots +g_{m-1}^{[n]}(x))\), and we get the asymptotic series
(We show in Appendix A that the functions \(A(x,\zeta )\) and \(B(x,\zeta )\) in our case do indeed satisfy the necessary hypotheses to apply the corollary.) The first few \(C_m\)’s (other than \(C_1=0\)) are
Equation (4.2) becomes,
so \(L_m=C_m+\sum _{j=1}^n\ell _{m}^{[j]}\). Now using (4.8) and the definition of the \(\ell _m\)’s, we get (1.11).
5 Reduction to the real line
A star graph with only \(n=2\) edges can be identified with the whole real line. So using results for star graphs, we can prove things about scattering on the real line. The real line case with v smooth is handled directly in [7, Sect. 5], but we will recover the results for the real line with v smooth away from a point by setting \(n=2\) in the star graph case. A potential v on \({\mathbb {R}}\) is viewed as a pair of potentials \(v_1(x):={v}(x)\) and \(v_2(x):={v}(-x), x\ge 0\) on the \(n=2\) star graph. Using results for star graphs from [3] along with Theorem 1, we can show:
Corollary 3
(Real line) Consider the Schrödinger operator \(H=-\frac{d^2}{dx^2}+v\) on the real line and suppose \(\int _{\mathbb {R}}|v(x)|\,dx<\infty \). Then the following hold.
-
(i)
The perturbation determinant is
$$\begin{aligned} D(\zeta )&=-\frac{1}{2i\zeta }\left[ \theta _1'(0,\zeta )\theta _2(0,\zeta )+\theta _2'(0,\zeta )\theta _1(0,\zeta )\right] \end{aligned}$$(5.1)$$\begin{aligned}&=-\frac{1}{2i\zeta }W(\theta _2(-\cdot ,\zeta ),\theta _1(\cdot ,\zeta ))=:m(\zeta ), \end{aligned}$$(5.2)where W is the Wronskian and \(\theta _1,\theta _2\) are the Jost solutions on the two half-line edges.
-
(ii)
We have the trace formula
$$\begin{aligned} {\text {tr}}(R_0(z)-R(z))=\frac{\frac{d}{d\zeta ^2}D(\zeta )}{D(\zeta )}=\frac{\dot{m}(\zeta )}{2\zeta m(\zeta )},\quad z=\zeta ^2. \end{aligned}$$(5.3) -
(iii)
(low energy asymptotics) Assume \(\int _{\mathbb {R}}(1+x^2)|v(x)|\,dx<\infty \), and let \(W(\zeta ):=W(\theta _2(-\cdot ,\zeta ),\theta _1(\cdot ,\zeta ))\). If \(W(0)=0\), then \(\theta _1(x,0)=\alpha \theta _2(-x,0)\) for some \(\alpha \in {\mathbb {R}}{\setminus }\{0\}\), and in this case,
$$\begin{aligned} W(\zeta )=-i(\alpha +\alpha ^{-1})\zeta +O(|\zeta |^2),\quad |\zeta |\rightarrow 0. \end{aligned}$$(5.4) -
(iv)
Assume again \(\int _{\mathbb {R}}(1+x^2)|v(x)|\,dx<\infty \). The Schrödinger operator H has a zero energy resonance of order one if \(W(0)=0\), and no zero energy resonance if \(W(0)\ne 0\).
-
(v)
(Levinson’s formula) Suppose \(\int _{\mathbb {R}}(1+|x|)|v(x)|\,dx<\infty \), and let N be the number of negative eigenvalues of H and \(m\in \{0,1\}\) be the multiplicity of the resonance at \(\zeta =0\). If \(m=1\), also suppose that \(\int _{{\mathbb {R}}}(1+x^2)|v(x)|\,dx<\infty \). Then
$$\begin{aligned} \eta (\infty )-\eta (0)=\pi \left( N+\frac{m-1}{2}\right) . \end{aligned}$$(5.5) -
(vi)
(trace formulas) Suppose that \(\int _{\mathbb {R}}(1+|x|)|v(x)|\,dx<\infty \) and (1.6) for \(j=1,2\) hold. Then we get the trace formulas in Theorem 1. In particular, if \(v\in C^\infty ({\mathbb {R}})\), the first few \(L_m\)’s are
$$\begin{aligned} L_1= & {} -\int _{-\infty }^\infty v(x)\,dx,\quad L_2=0,\nonumber \\ L_3= & {} \int _{-\infty }^{\infty }v^2(x)\,dx,\quad L_4=0,\nonumber \\ L_5= & {} -\int _{-\infty }^\infty (v'(x)^2+2v^3(x)). \end{aligned}$$(5.6)
Remarks
-
(i)
In (vi), using Theorem 1 allows for a potential v that is discontinuous at \(x=0\). We emphasize that in this case the trace formulas contain additional contributions from the discontinuities of v and its derivatives at 0.
-
(ii)
For \(v\in C^\infty ({\mathbb {R}})\), although we can compute the values \(L_m\) using (1.11), a much simpler formula is derived in [7, Sect. 5.2]. These are
$$\begin{aligned} L_{2m+1}&=-\int _{-\infty }^\infty g_{2m+1}(x)\,dx,\quad L_{2m}=0. \end{aligned}$$(5.7) -
(iii)
The Jost functions \(\theta _1,\theta _2\) extend easily from \([0,\infty )\) to \({\mathbb {R}}\). This follows from the existence proof of Jost solutions on the half-line given in e.g. [7, Sect. 4.1], and ensures that (5.2) makes sense. The \(\theta _1\) here agrees with the Jost solution \(\theta _1\) described in [7, Sect. 5.1], but because we identify \(e_2\) with \([0,\infty )\) rather than \((-\infty ,0]\), the x argument in \(\theta _2\) must be negated to match the \(\theta _2\) in [7, Sect. 5.1].
Proof
(i) and (ii) follow immediately from Proposition 1. (iii) follows from the proof of Proposition 2 (low energy asymptotics) found in [3], though some of the steps are simplified in the case \(n=2\). The fact \(\alpha \in {\mathbb {R}}\) comes from \(\theta _j(x,0)=\overline{\theta _j(x,0)}\). (iv) follows from Proposition 2. (v) follows from the result for star graphs proved in [3]. For (vi), because \(v\in C^\infty ({\mathbb {R}})\), we require \(v_1^{(2k)}(x)=v_2^{(2k)}(x)\) and \(v_1^{(2k+1)}(x)=-v_2^{(2k+1)}(x)\) for all \(k\in {\mathbb {N}}_0\). Then we just compute \(L_m, 1\le m\le 5\) via (1.11). \(\square \)
Notes
This is just the number of compositions of m. Also, since there are no powers of \((2i\zeta )^{-1}\), we actually have far fewer elements to sum over, but the \(2^{m-1}\) bound will be sufficient.
References
Berkolaiko, G., Kuchment, P.: Introduction to quantum graphs. Mathematical Surveys and Monographs, vol. 186. American Mathematical Society, Providence, RI (2013)
Buslaev, V.S., Faddeev, L.D.: Formulas for traces for a singular Sturm–Liouville differential operator. Sov. Math. Dokl. 1, 451–454 (1960)
Demirel, S.: The spectral shift function and Levinson’s theorem for quantum star graphs. J. Math. Phys. 53(8), 082110 (2012)
Gesztesy, F., Makarov, K.A.: Some applications of the spectral shift operator. Oper. Theory Appl. 25, 267 (2000)
Gesztesy, F., Mitrea, M., Zinchenko, M.: Variations on a theme of Jost and Pais. J. Funct. Anal. 253(2), 399–448 (2007)
Jost, R., Pais, A.: On the scattering of a particle by a static potential. Phys. Rev. 82, 840–851 (1951)
Yafaev, D.R.: Mathematical scattering theory: analytic theory. Mathematical Surveys and Monographs, vol. 158. American Mathematical Society, Providence, RI (2010)
Yafaev, D.R.: Mathematical scattering theory: general theory. Translations of Mathematical Monographs, vol. 105. American Mathematical Society, Providence, RI (1992)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Neil Trudinger.
Appendix A: Remainder estimates for Sect. 4
Appendix A: Remainder estimates for Sect. 4
Here we show that the asymptotic expansion for \(\log (\frac{K(\zeta )}{in\zeta })\) derived in Sect. 4 is valid, in particular, that Corollary 2 applies to our specific \(A(x,\zeta )\) and \(B(x,\zeta )\). Ignoring x, it is easy to verify that \(B(x,\zeta )\) has a valid asymptotic series in terms of powers \((2i\zeta )^{-m}\), but to integrate, we need error bounds involving x as well. Recall that
where \(a_m(x)=\frac{2}{n}\sum _{j=1}^n g_{m-1}^{[j]}(x)\). From properties of the \(g_m\)’s which can be found in e.g. [7, Sect. 4.4], it follows that for all \(x\ge 0\) and \(\mathfrak {I}\zeta \ge 0, |\zeta |\ge c>0\),
Lemma 4
There is the asymptotic expansion \(A(x,\zeta )^{-1}=1+\sum _{m=2}^M\alpha _m(x)(2i\zeta )^{-m}+\alpha _M(x,\zeta )\), with estimates for all \(x\ge 0\) and \(\mathfrak {I}\zeta \ge 0, |\zeta |\ge c>0\),
Proof
Using the power series expansion for \((1+(A(x,\zeta )-1))^{-1}\) (since \(A(x,\zeta )-1=O(|\zeta |^{-2})\)), we get
By (A.3) with \(j=0\), we get for \(x\ge x_0>0\),
With a possibly larger value of \(c_2\) the right-most bound for \(|a_m(x)|\) holds for all \(x\ge 0\). From expanding (A.6), the coefficient \(\alpha _m(x)\) on \((2i\zeta )^{-m}, 2\le m\le M\), is
(Note any term with a nonzero power of \(A_M(x,\zeta )\) will be at least \(O(|\zeta |^{-M-1})\).) Summing over all k, there are \(2^{m-1}\) possible sequencesFootnote 1 \((p_i)\in {\mathbb {N}}^k\) satisfying \(\sum p_i=m\). Each product \(a_{p_1}(x)\cdots a_{p_k}(x)\) is \(O(x^{-1-(m-1)(\rho -1)})\) regardless of k since \(\rho -1\le 1\). Thus for each \(2\le m\le M\) and \(x\ge 0\), there is some \(\widetilde{c}_M\) so that
as claimed.
It remains to show the error estimate (A.4). We have two types of error terms: terms with a nonzero power of \(A_M(x,\zeta )\), and the remaining higher order terms with \((2i\zeta )^{-M-j}, j\ge 1\). We deal with the higher order terms quickly; note that the coefficient on \((2i\zeta )^{-M-j}\) can be estimated in a similar way as \(\alpha _m(x)\). By (A.7) and since there are only \(M-1\) different \(a_m(x)\)’s and at most \(\lfloor (M+j)/2\rfloor \le M+j\) of the \(a_m(x)\) terms in each product, we get the error is bounded by
which agrees with (A.4).
For the terms with powers of \(A_M(x,\zeta )\), we first have
The other terms are mixed with powers \((2i\zeta )^{-m}\) and their coefficients. For a given m and composition \((p_i)\) summing to m, we have the mixed terms
The maximum possible binomial coefficient on any \(A_M(x,\zeta )^j\) is
Summing over all compositions of m and then over all m, we get the error bound
which implies (A.4). \(\square \)
Lemma 5
There is the asymptotic expansion \(B(x,\zeta )=A'(x,\zeta )A(x,\zeta )^{-1}= \sum _{m=1}^Mb_m(x)(2i\zeta )^{-m}+B_M(x,\zeta )\), with remainder estimate for all \(x\ge 0\) and \(\mathfrak {I}\zeta \ge 0, |\zeta |\ge d>0\),
As a result,
so the expansion for \(\log A(x,\zeta )\) obtained in (4.7) is indeed a valid asymptotic expansion.
Proof of Lemma 5
The asymptotic expansion of order M for \(A'(x,\zeta )\) is just
Multiply the asymptotic expansions of order M for \(A'(x,\zeta )\) and \(A(x,\zeta )^{-1}\), then use (A.2), (A.3) with \(j=1\) (adapted for \(x\ge 0\) like in (A.7)), and Lemma 4, Eqs. (A.4) and (A.5) to deal with the error terms. \(\square \)
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Demirel-Frank, S., Shou, L. Trace formulas for Schrödinger operators on star graphs. Bull. Math. Sci. 8, 15–31 (2018). https://doi.org/10.1007/s13373-016-0097-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13373-016-0097-y