Abstract
We consider a class of Schrödinger operators with complex decaying potentials on the lattice. Using some classical results from complex analysis we obtain some trace formulae and use them to estimate zeros of the Fredholm determinant in terms of the potential.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let us consider a Schrödinger operator H acting in \(\ell ^2({\mathbb Z}^{d}),d\geqslant 3\), given by
where \({\Delta }\) is the discrete Laplacian on \({\mathbb Z}^d\) defined by
for \(f =\{f(n)\}_{n\in {\mathbb Z}^d} \in \ell ^{2}({\mathbb Z}^d)\). Here \( e_{1} = (1,0,\dots ,0), \dots , e_{d} = (0,\dots ,0,1) \) is the standard basis of \({\mathbb Z}^d\). The operator \(V = \{V(n)\}_{n\in {\mathbb Z}^d}\), \(V(n)\in {\mathbb C}\), is a complex potential defined by
We assume that the potential V satisfies the following condition:
The condition (1.1) implies that V can be factorised as
with \(V_1=|V |^{2/3-1} V\) and \(V_2=|V|^{1/3}\).
Here \(\ell ^q({\mathbb Z}^{d}), q>0\), is the space of sequences \(f=\{f(n)\}_{n\in {\mathbb Z}^d}\) such that \(\Vert f\Vert _{q}<\infty \), where
If \(q\geqslant 1\) then \(\ell ^q({\mathbb Z}^{d})\) is the Banach space equipped with the norm \(\Vert \cdot \Vert _{q}\). It is well-known that the spectrum of the Laplacian \(\Delta \) is absolutely continuous and equals
It is also known that if V satisfies (1.1), then the essential spectrum of the Schrödinger operator H on \(\ell ^2({\mathbb Z}^d)\) is
However, this condition does not exclude appearance of the singular continuous spectrum on the interval \([-d,d]\). Our main goal is to find new trace formulae for the operator H with complex potentials V and to use these formulae for some estimates of complex eigenvalues in terms of the potential function.
Some of the results obtained in this paper are new even in the case of real-valued potentials due to the presence of the measure \(\sigma \) (see Theorem 2.3) appearing in the canonical factorisation of the respective Fredholm determinants. Non-triviality of such a measure is due to the condition (1.1) on the potential V. We believe that it would be interesting to study the deeper relation between properties of V and the measure \(\sigma \).
Recently uniform bounds on eigenvalues of Schrödinger operators in \({\mathbb {R}}^d\) with complex-valued potentials decaying at infinity attracted attention of many specialists. We refer to [6] for a review of the state of the art of non-selfadjoint Schrödinger operators and for motivations and applications. Bounds on single eigenvalues were proved, for instance, in [1, 7, 11, 16] and bounds on sums of powers of eigenvalues were found in [4, 8, 9, 12, 13, 15, 17, 26]. The latter bounds generalise the Lieb–Thirring bounds [27] to the non-selfadjoint setting. In [15] (Theorem 16) Frank and Sabin have obtained estimates on the sum of the distances between the complex eigenvalues and the continuous spectrum \([0,\infty )\) in terms of \(L^p\)-norms of the potentials. However, almost no results are known on the number of eigenvalues of Schrödinger operators with complex potentials. We referee here to the paper [14] where the authors discussed this problem in details in odd dimensions.
In [34] Safronov has obtained some trace formulae in the continuous setting showing that the series of imaginary parts of square roots of eigenvalues is convergent. Besides, he proved that if |V| decays faster than the Coulomb potential, then all eigenvalues are inside a disc of a finite radius.
For the discrete Schrödinger operators most of the results were obtained in the self-adjoint setting, see, for example, [37] where the operator on \({\mathbb Z}^1\) were studied. Schrödinger operators with decreasing potentials on the lattice \({\mathbb Z}^d\) have been considered by Boutet de Monvel–Sahbani [5], Isozaki–Korotyaev [21], Kopylova [24], Rosenblum–Solomjak [30], Shaban–Vainberg [35] and see references therein. Ando [2] studied the inverse spectral theory for the discrete Schrödinger operators with finitely supported potentials on the hexagonal lattice. Scattering on periodic metric graphs \({\mathbb {Z}}^d\) were considered by Korotyaev–Saburova [25]. Isozaki and Morioka (see Theorem 2.1 in [22]) proved that if the potential V is real and compactly supported, then the point-spectrum of H on the interval \((-d,d)\) is absent. Note that in [22] the authors gave an example of embedded eigenvalue at the end points \(\{\pm d\}\).
In this paper we use classical results from complex analysis that give us a new class of trace formulae for the spectrum of discrete multi-dimensional Scrödinger operators with complex-valued potentials. In particular, we consider a so-called canonical factorisation of analytic functions from Hardy spaced via its inner and outer factors, see Sect. 6. Such factorisations applied to Fredholm determinants allow us to obtain trace formula that lead to some inequalities on the complex spectrum in terms of the \(L^{2/3}\) norm of the potential function. Note also that in the case \(d=3\) we use a delicate uniform inequality for Bessel’s functions obtained in Lemma 7.1.
2 Some notations and statements of main results
We denote by \({\mathbb D}_r(z_0)\subset {\mathbb C}\) the disc with radius \(r>0\) and center \(z_0\in {\mathbb C}\)
and abbreviate \({\mathbb D}_r={\mathbb D}_r(0)\) and \({\mathbb D}={\mathbb D}_1\). Let also \({\mathbb {T}} = \mathbb {R}/ (2\pi {\mathbb {Z}})\). It is convenient to introduce a new spectral variable \(z\in {\mathbb D}\) by
The function \(\lambda (z)\) has the following properties:
-
\(z\rightarrow \lambda (z)\) is a conformal mapping from \({\mathbb D}\) onto the spectral domain \(\Lambda \).
-
\(\lambda ({\mathbb D})=\Lambda ={\mathbb C}{\setminus }[-d,d] \) and \(\lambda ({\mathbb D}\cap {\mathbb C}_\mp )={\mathbb C}_\pm \).
-
\(\Lambda \) is the cut domain with the cut \([-d,d]\), having the upper side \([-d,d]+i0\) and the lower side \([-d,d]-i0\). \(\lambda (z)\) maps the boundary: the upper semi-circle onto the lower side \([-d,d]-i0\) and the lower semi-circle onto the upper side \([-d,d]+i0\).
-
\(\lambda (z)\) maps \(z=0\) to \(\lambda =\infty \).
-
The inverse mapping \(z(\cdot ): \Lambda \rightarrow {\mathbb D}\) is given by
$$\begin{aligned} z= & {} {1\over d}\biggr (\lambda -\sqrt{\lambda ^2-d^2}\biggr ),\quad \lambda \in \Lambda ,\\ z= & {} {d\over 2\lambda }+{O(1)\over \lambda ^3},\quad \hbox {as} \quad |\lambda |\rightarrow \infty . \end{aligned}$$
Assume that F is analytic in \({\mathbb D}\). We say that F belongs the Hardy space \( {\mathscr {H}}_\infty \) if
Let \({\mathcal B}\) denote the class of bounded operators and \({\mathcal B}_1\) and \({\mathcal B}_2\) be the trace and the Hilbert–Schmidt class equipped with the norm \(\Vert \cdot \Vert _{{\mathcal B}_1}\) and \( \Vert \cdot \Vert _{{\mathcal B}_2}\) respectively.
Denote by \(D(z), z\in {\mathbb D}\), the determinant
where \(R_0(\lambda )=(H_0-\lambda )^{-1}, \lambda \in \Lambda \). The determinant \(D(z), z\in {\mathbb D}\), is well defined for \(V\in {\mathcal B}_1\) and if \(\lambda _0\in \Lambda \) is an eigenvalue of H, then \(z_0=z(\lambda _0)\in {\mathbb D}\) is a zero of D with the same algebraic multiplicity. Below we consider only algebraic multiplicity of eigenvalues.
Theorem 2.1
Let a potential V satisfy the condition (1.1). Then the determinant \(D(z)=\mathop {\mathrm {det}}\nolimits (I+VR_0(\lambda (z)), \ z\in {\mathbb D}\), is analytic in \({\mathbb {D}}\) and Hölder up to the boundary. It has \(N\leqslant \infty \) zeros \(\{z_j\}_{j=1}^N\), such that
Moreover, it satisfies
where the constant C depends only on d. Furthermore, the function \(\log D(z)\) whose branch is defined by \(\log D(0)=0\), is analytic in the disk \({\mathbb D}_{r_0}\) with the radius \(r_0>0\) defined by (2.2) and it has the Taylor series as \(|z|<r_0\):
where
and where \(a={2\over d}\).
Define the Blaschke product \(B(z), z\in {\mathbb D}\) by
Theorem 2.2
Let a potential V satisfy the condition (1.1) and let \(N\geqslant 1\). Then zeros \(\{z_j\}\) of D in the disk \({\mathbb D}\) labeled by (2.2) satisfy
Moreover, the Blaschke product \(B(z), z\in {\mathbb D}\), given by (2.7) converges absolutely for \(\{|z|<1\}\) and satisfies
(i) \(B\in {\mathscr {H}}_\infty \) with \(\Vert B\Vert _{{\mathscr {H}}_\infty }\leqslant 1\),
and
(ii) The determinant D has the factorization in the disc \({\mathbb D}\):
where \(D_B\) is analytic in the unit disc \({\mathbb D}\) and has no zeros in \({\mathbb D}\).
(iii) The Blaschke product B has Taylor’s expansion at \(z=0\):
where \(B_n\) satisfy
The next statement describes the canonical representation of the determinant D(z).
Theorem 2.3
Let a potential V satisfy the condition (1.1). Then
(i) There exists a singular measure \(\sigma \geqslant 0\) on \([-\pi ,\pi ]\), such that the determinant D has a canonical factorization for all \(|z|<1\) given by
where \(\log |D(e^{it}) |\in L^1(-\pi ,\pi )\).
(ii) The measure \(\sigma \) satisfies
Remarks
-
1.
For the canonical factorisation of analytic functions see, for example, [23].
-
2.
Note that for \(D_{in}(z)\) defined by \(D_{in}(z)= B(z) e^{-K_\sigma (z)}\), we have \(| D_{in}(z)|\leqslant 1\), since \(d\sigma \geqslant 0\) and \(\mathop {\mathrm {Re}}\nolimits {e^{it}+z\over e^{it}-z}\geqslant 0\) for all \((t,z)\in {\mathbb T}\times {\mathbb D}\).
-
3.
The closure of the set \(\{z_j\}\cup \mathop {\mathrm {supp}}\nolimits \sigma \) is called the spectrum of the inner function \( D_{in}\).
-
4.
\(D_B={D\over B}\) has no zeros in the disk \({\mathbb D}\) and satisfies
$$\begin{aligned} \log D_B(z)={1\over 2\pi }\int _{-\pi }^{\pi }{e^{it}+z\over e^{it}-z}d\mu (t), \end{aligned}$$where the measure \(\mu \) equals
$$\begin{aligned} d\mu (t)=\log |D(e^{it})|dt-d\sigma (t). \end{aligned}$$
Theorem 2.4
(Trace formulae) Let V satisfy the condition (1.1). Then
where \(B_0=\log B(0)=\log \left( \prod _{j=1}^N |z_j|\right) <0\) and \(B_n\) and \(d_n\) are given by (2.11) and (2.5) respectively. In particular,
and
Theorem 2.5
Let V satisfy the condition (1.1). Then we have the following estimates:
If \(\mathop {\mathrm {Im}}\nolimits V\geqslant 0\), then
and if \( V\geqslant 0\), then
Remark Note that some of the results stated in Theorems 2.4 and 2.5 are new even for real-valued potentials, see Sect. 5.
3 Determinants
3.1 Properties of the Laplacian
One may diagonalize the discrete Laplacian, using the (unitary) Fourier transform \(\Phi :\ell ^2({\mathbb Z}^d)\rightarrow L^2({\mathbb {T}}^d)\), where \({\mathbb {T}}={\mathbb R}/(2\pi {\mathbb Z})\). It is defined by
In this “momentum representation” we have
where the Laplacian is transformed into the multiplication operator
and
Here
3.2 Trace class operators
Here for the sake of completeness we give some standard facts from Operator Theory in Hibert Spaces.
-
Let A, B be operators in Hilbert space \(\mathcal H\) and let \(A, B\in {\mathcal B}\) and \(AB, BA\in {\mathcal B}_1\). Then
$$\begin{aligned}&\mathrm{Tr}\, AB=\mathrm{Tr}\, BA,\\&\mathop {\mathrm {det}}\nolimits (I+ AB)=\mathop {\mathrm {det}}\nolimits (I+BA).\\&|\mathop {\mathrm {det}}\nolimits (I+ A)|\leqslant e^{\Vert A\Vert _{{\mathcal B}_1}}.\\&|\mathop {\mathrm {det}}\nolimits (I+ A)-\mathop {\mathrm {det}}\nolimits (I+ B)|\leqslant \Vert A-B\Vert _{{\mathcal B}_1} e^{1+\Vert A\Vert _{{\mathcal B}_1}+\Vert B\Vert _{{\mathcal B}_1}}. \end{aligned}$$Moreover, \(I+ A\) is invertible if and only if \(\mathop {\mathrm {det}}\nolimits (I+ A)\ne 0\).
-
Suppose for a domain \({\mathscr {D}}\subset {{\mathbb C}}\), \(\Omega (\cdot )-I: {\mathscr {D}}\rightarrow {\mathcal B}_1 \) is analytic and invertible operator-valued function for any \(z\in {\mathscr {D}}\). Then for \(F(z)=\mathop {\mathrm {det}}\nolimits \Omega (z)\) we have
$$\begin{aligned} F'(z)= F(z)\mathrm{Tr}\,\left( \Omega (z)^{-1}\Omega '(z)\right) . \end{aligned}$$ -
For \(K \in {\mathcal B}_1\) and \(z \in {{\mathbb C}}\), the following identity holds true:
$$\begin{aligned} \mathop {\mathrm {det}}\nolimits \,(I - zK) = \exp \left( - \int _0^z\mathrm{Tr}\, \big (K(1 - sK)^{-1}\big )\, ds\right) \end{aligned}$$
3.3 Fredholm determinant
We recall here results from [21] about the asymptotics of the determinant \({\mathcal D}(\lambda )=\mathop {\mathrm {det}}\nolimits (I+VR_0(\lambda ))\) as \(|\lambda |\rightarrow \infty \).
Lemma 3.1
Let \(V\in \ell ^1({\mathbb Z}^d)\). Then the determinant \({\mathcal D}(\lambda )=\mathop {\mathrm {det}}\nolimits (I+VR_0(\lambda ))\) is analytic in \(\Lambda ={\mathbb C}{\setminus }[-d,d]\) and satisfies
uniformly in \(\mathop {\mathrm {arg}}\nolimits \lambda \in [0,2\pi ]\), and
where the right-hand side is absolutely convergent for \(|\lambda | > r_1\), with \(r_1 >0\) being a sufficiently large constant. In particular,
where \(V_\Delta =\sum _{i=1}^d(S_jVS_j^*+S_j^*VS_j)\) and \((S_jf)(n)=f(n+e_j)\) and \(\tau ={1\over 2}\).
Recall the conformal mapping \(\lambda (\cdot ): {\mathbb D}\rightarrow \Lambda \) given by \( \lambda (z)={d\over 2}\big (z+{1\over z} \big ),\ |z|<1\), and note that \(|\lambda |\rightarrow \infty \) iff \(z\rightarrow 0\). We consider the operator-valued function \(Y(\lambda (z)), \lambda \in \Lambda \), defined by
where \(V_1\) and \(V_2\) are defined in (1.2).
Theorem 3.2
Let V satisfy the condition (1.1). Then the operator-valued function \(Y(\lambda (z)): {\mathbb D}\rightarrow {\mathcal B}_1\) is analytic in the unit disc \({\mathbb D}\), Höder up to the boundary and satisfies
Moreover, the function \(D(z), z\in {\mathbb D}\) belongs to \({\mathscr {H}}_\infty \), Höder up to the boundary and
Proof
The operator \(V_2\) belongs to \({\mathcal B}_2\) and due to Theorem 7.3 (see “Appendix 2”) the operator-valued function \(X(\cdot ):\Lambda \rightarrow {\mathcal B}_2\) is analytic in \(\Lambda \), Höder up to the boundary and satisfies the inequality
Thus the operator-valued function \(Y(\lambda (z))=V_2\, X(\lambda (z)): {\mathbb D}\rightarrow {\mathcal B}_1\) is of trace class. Moreover, the function \(D(z), z\in {\mathbb D}\), is analytic in the unit disc \({\mathbb D}\), Höder up to the boundary and due to (3.2) it satisfies (3.3). \(\square \)
The function \(D(z)={\mathcal D}(\lambda (z))\) is analytic in \({\mathbb D}\) whose zeros are given by
where \(\lambda _j\) are zeros (counting with multiplicity) of \({\mathcal D}(\lambda )\) in \(\Lambda ={\mathbb C}{\setminus }[-d,d]\), i.e., eigenvalues of H (counted with algebraic multiplicity).
Lemma 3.3
Let a potential \(V\in \ell ^1({\mathbb Z}^d)\) and let the branch of \(\log D(z)\) be defined by the condition \(\log D(0)=0\). Then \(\log D(z)\) is analytic in \({\mathbb D}_{r_0}\), where \(r_0\) is given by (2.2), and has the following Taylor expansion
and
where \(a={2\over d}\) and the coefficients \(d_j\) are given by (3.2).
Proof
We have
as \(z\rightarrow 0\). Substituting these asymptotics into (3.1) we obtain (3.4) and (3.5). \(\square \)
4 Proof of the main results
We are ready to prove main results.
Proof of Theorem 2.1
By Theorem 3.2 the determinant \(D(z), z\in {\mathbb D}\), is analytic and Höder up to the boundary. In particular, \(D\in {\mathscr {H}}_\infty \). Moreover, Lemma 3.1 gives (2.3) and Lemma 3.3 implies (2.4)–(2.5). \(\square \)
Proof of Theorem 2.2
Due to Theorem 2.1 the determinant D(z) is analytic in \({\mathbb D}\) and Höder up to the boundary. Then Theorem 6.2 (see “Appendix 1”) yields
and the Blaschke product B(z) given by
converges absolutely for \(|z|<1\). We have \(D(z)=B(z)D_B(z)\), where \(D_B\) is analytic in the unit disc \({\mathbb D}\) and has no zeros in \({\mathbb D}\). Thus we have proved (ii). (i) Equalities (2.9) and (2.10) follow from 6.1. (iii) For small a sufficiently small z and for \(t=z_j\in {\mathbb D}\) for some j, we have the following identity:
Besides,
where \(r_0=\inf |z_j|>0\). This yields
Here
where the function b is analytic in the disk \(\{|z|<{r_0\over 2}\}\) and \(B_n\) satisfy
where \({\mathcal Z}_D:=\sum _{j=1}^\infty (1-|z_j|)\). Thus
\(\square \)
Proof of Theorem 2.3
(i) Theorem 2.1 implies \(D\in {\mathscr {H}}_\infty \). Therefore the canonical representation (2.12) follows from Lemma 6.3. (ii) The relation (6.3) gives the proof of (ii), since due to Theorem 2.1 D is analytic and Höder up to the boundary. \(\square \)
Proof of Theorem 2.4
By using Lemma 6.4, (2.3)–(2.5) and Proposition 2.2 we obtain identities (2.14)–(2.16).
We have the following identities for \(z\in {\mathbb D}\) and \(\zeta ={\lambda \over d}\in \Lambda _1\):
These identities yield
Then we obtain
and thus
\(\square \)
Proof of Theorem 2.5
The simple inequality \(1-x\leqslant -\log x\) for \(\forall \ x\in (0,1]\), implies \(-B_0=-B(0)=-\sum \log |z_j|\geqslant \sum (1- |z_j|)\). Then substituting the last estimate and the estimate (2.3) into the first trace formula (2.14) we obtain (2.19).
In order to determine the next two estimates we use the trace formula (2.14). Let \(\mathop {\mathrm {Im}}\nolimits V\geqslant 0\). Then \(\mathop {\mathrm {Im}}\nolimits \lambda _j\geqslant 0\) and the estimates (2.3) and (2.19) and the second trace formula (2.18) imply
which yields (2.20). Similar arguments give (2.21). \(\square \)
5 Schrödinger operators with real potentials
Consider Schrödinger operators \(H=-\Delta +V\), where the potential V is real and satisfies the condition (1.1). The spectrum \(\sigma (H)\) of H equals
where
Note that each eigenvalues of H has a finite multiplicity.
5.1 Discrete spectrum
Let us label the discrete eigenvalues
The corresponding points \(z_j\in {\mathbb D}\) are real and satisfy
Moreover, we have the identity
for all \(\lambda \in \Lambda \) and \(z\in {\mathbb D}\). If \(\lambda \) is the eigenvalue of H, then we have
The next result follows immediately from Theorem 2.4.
Theorem 5.1
(The trace formulas) Let a real potential V satisfy the condition (1.1). Then the spectral data of the operator H and the potential V satisfy the infinite number of trace formulae
Proof
We have the following simple formula of the zeros \(z_j\) of the determinant D in terms of the eigenvalue \(\lambda _j\) of H:
Using this identity and trace formulae from Theorem 2.4 we obtain (5.2) and (5.2). \(\square \)
Corollary 5.2
Let a potential V be real and satisfy the condition (1.1). Then the following estimates hold:
Proof
We consider the case (5.2). If \(\lambda >d\), then we have \(z\in (0,1)\) and then
We have the same estimates for the case \(\lambda <-d\) and \(z\in (-1,0)\). This yields
that gives (5.4). The proof of (5.5) is similar. \(\square \)
6 Appendix 1: Hardy spaces
6.1 Analytic functions
In order to obtain trace formulae stated in Theorem 2.4 we need to recall the basic facts from Theory of Analytic Functions in the unit disc.
The following fact can be found for example in [18], Sect. 2.
Lemma 6.1
Let \(\{z_j\}\) be a sequence of points in \({\mathbb D}{\setminus }\{0\}\) such that \(\sum (1-|z_j|)<\infty \) and let \(m\geqslant 0\) be an integer. Then the Blaschke product
converges in \({\mathbb D}\). Moreover, the function B is in \({\mathscr {H}}_\infty \) and zeros of B are precisely the points \(z_j\), according to the multiplicity. Moreover,
For the next statement see for example in Koosis [23], page 67.
Theorem 6.2
Let f be analytic in the unit disc \({\mathbb D}\) and let \(z_j\ne 0, j=1,2,\dots , N\leqslant \infty \) be its zeros labeled by
Suppose that f satisfies the condition
Then
The Blaschke product B(z) given by
where m is the multiplicity of B at zero, converges absolutely for \(\{|z|<1\}\). Besides, \(f_B(z)=f(z)/B(z)\) is analytic in the unit disc \({\mathbb D}\) and has no zeros in \({\mathbb D}\).
Moreover, if \(f(0)\ne 0\) and if u(z) is the least harmonic majorant of \(\log |f(z)|\), then
We now remind the facts regarding the canonical representation (6.2) for a function \(f\in {\mathscr {H}}_\infty \) (see, [23], p. 76).
Lemma 6.3
Let a function \(f\in {\mathscr {H}}_\infty \). Let B be its Blaschke product. Then there exists a singular measure \(\sigma =\sigma _f\geqslant 0\) on \([-\pi ,\pi ]\) with
for all \(|z|<1\), where c is real constant and \(\log |f(e^{it})|\in L^1(-\pi ,\pi )\).
We define the functions (after Beurling) in the disc by
for \(|z|<1\). Note that we have \(| f_{in}(z)|\leqslant 1\), since \(d\sigma \geqslant 0.\)
Thus \(f_B(z)={f(z)\over B(z)} \) has no zeros in the disc \({\mathbb D}\) and satisfies
where the measure \(\mu \) equals
For a function f continuous on the disc \(\overline{{\mathbb D}}\) we define the set of zeros of f lying on the boundary \(\partial {\mathbb D}\) by
It is well known that the support of the singular measure \(\sigma =\sigma _f\) satisfies
see for example, Hoffman [20], p. 70.
In the next statement we consider trace formulae for a function \(f\in {\mathscr {H}}_\infty \).
Lemma 6.4
Let \(f\in {\mathscr {H}}_\infty \) and \(f(0)=1\) and let B be its Blaschke product. Assume that the functions \(\log f\) and \(F=\log f_B\) have the Taylor series in the disc \({\mathbb D}_r\subset {\mathbb {D}}\), \( r>0\), given by
Then the factorization (6.2) holds true and we have
where the measure \(d\mu (t)=\log |f(e^{it})|dt-d\sigma (t)\).
Proof
By using (6.2) we find
Since \(B(0), K_\sigma (0), K_f(0)\) and c are real we obtain \(c=0\). Moreover, the inequality (6.1) implies \(F_0\geqslant 0\). In order to show (6.6) we consider the asymptotic behaviour of the Schwatz integral
as \(z\rightarrow 0\). Indeed,
Thus (6.7), (6.8) yield the Taylor series at \(z=0\):
where
Thus comparing (6.4) and (6.9) we obtain
\(\square \)
7 Appendix 2: Estimates involving Bessel’s functions
In order to complete the proof of Theorem 3.2 we need some uniform estimates for the Bessel functions \(J_m, m\in {\mathbb Z}\), with respect to m. We use the integral representation
Note that for all \((t,m)\in {\mathbb R}\times {\mathbb Z}\):
Our estimates are based on the following three asymptotic formulae, see [36], Ch IV, \(\S \) 2.
Let \( \xi = \frac{m}{t}. \) Then for a fixed \(\varepsilon \), \(0<\varepsilon <1\) we have:
-
1.
If \(\xi >1+\varepsilon \) then
$$\begin{aligned} J_m(t) = \frac{1}{2} \, \sqrt{\frac{2}{\pi t}} \, \frac{1}{(\xi ^2-1)^{1/4}} \, e^{-t\left( \xi \ln \left( \xi + \sqrt{\xi ^2 -1}\right) - \sqrt{\xi ^2-1}\right) } \, \left( 1 + O\left( \frac{1}{m}\right) \right) . \end{aligned}$$(7.3)Therefore if \(\xi >1+\varepsilon \) then this formula implies the uniform with respect to m exponential decay of the Bessel function in t.
-
2.
If \(\xi <1-\varepsilon \) then
$$\begin{aligned} J_m(t)= & {} \frac{1}{2}\, \sqrt{\frac{2}{\pi t}} \, \frac{1}{(\xi ^2-1)^{1/4}} \left( e^{-i\pi /4i + it\left( -\xi \arccos \xi + \sqrt{1-\xi ^2}\right) }\right. \nonumber \\&\left. + \,e^{i\pi /4i + it\left( \xi \arccos \xi - \sqrt{1-\xi ^2}\right) }\right) \left( 1 + O\left( \frac{1}{t}\right) \right) . \end{aligned}$$(7.4)In this case the Bessel function oscillates as \(t\rightarrow \infty \) and obviously the latter formula implies the uniform with respect to m estimate
$$\begin{aligned} |J_m(t)|\leqslant C \, t^{-1/2}, \quad C= C(\varepsilon ). \end{aligned}$$ -
3.
We now consider the third case \( 1-\varepsilon \leqslant \xi \leqslant 1+ \varepsilon \) that is more complicated.
Lemma 7.1
If \(1-\varepsilon \leqslant \xi \leqslant 1+ \varepsilon \), \(\varepsilon >0\), then there is a constant \(C=C(\varepsilon )\) such that
Proof
If \(1-\varepsilon \leqslant \xi \leqslant 1+ \varepsilon \), then (see [36], Ch IV, \(\S \) 2)
where v is the Airy function and
and therefore
Besides the functions \(c_0(\xi )\) and \(d_0(\xi )\) are bounded with respect to \(\xi \) and, for example,
(see [29] formulae (10.06), (10.07))
In what follows all the constants depend on \(\varepsilon \), \(0<\varepsilon <1\), but not on m and t.
Due (7.7) there are constants c and C such that
where \(y = t^{\frac{2}{3}} \, \tau (\xi )\). Moreover, since \(|\xi -1| = |\frac{m}{t} -1 |\leqslant \varepsilon \) we also have
Applying estimates for the Airy functions in (7.6)
and using (7.8), (7.9) we find that if \(|t|\geqslant 1\)
The proof is complete. \(\square \)
Let us now consider the operator \(e^{it \Delta }, t\in {\mathbb R}\). It is unitary on \(L^2({\mathbb {S}}^d)\) and its kernel is given by
where \(h(k)=\sum _{j=1}^d\cos k_j, k=(k_j)_{j=1}^d\in {\mathbb {S}}^d\).
Lemma 7.2
Let \(n=(n_j)_{j=1}^d\in {\mathbb Z}^d, d\geqslant 1\). Then
where \(|n|=|n_1|+\cdots +|n_d|\). Moreover, the following estimates are satisfied:
for all \( (t,n)\in {\mathbb R}\times {\mathbb Z}^d\) and any \(\gamma \in [0,{1\over 6}]\) and some constants \(C_1=C_1(d)\) and \(C_2=C_2(d)\).
Proof
Let \(d=1\) and \(h(k)=\cos k, k\in {\mathbb T}\). Then using (7.10) and (7.1) we obtain
which yields (7.11) for \(d=1\). Due to the separation of variables we also obtain (7.11) for any \(d\geqslant 1\).
In view of (7.2) it is enough to consider the case \(n_j\geqslant 0\). In order to obtain (7.12) it is enough ti apply the inequalities (7.3), (7.4) and also (7.5) if in this inequality we ignore the term \(|m-t|\).
If \(d>3\), then (7.12) implies (7.12). Let now \(d=3\). From (7.3)–(7.5) we obtain
The proof for \(\gamma \in [0,{1\over 6}]\) is similar. \(\square \)
Theorem 7.3
(i) Let \(d\geqslant 3\) and \(\gamma \in [0,{1\over 6}]\). Then for each \(n\in {\mathbb Z}^d\) the following estimate
holds true, where
(ii) Let a function \(q\in \ell ^2({\mathbb Z}^d)\) and let \(X(\lambda ) =qR_0(\lambda )q,\ \lambda \in \Lambda \). Then the operator-valued function \(X:\Lambda \rightarrow {\mathcal B}_2\) is analytic and satisfies
Proof
(i) Note that (7.12) gives (7.15). Due to (7.2) it is sufficient to show (7.14) for \(n\in ({\mathbb {Z}}_+)^d\). Using (7.11) and (7.15), we obtain
which yields (7.14).
(ii) Consider the case \({\mathbb C}_-\), the proof for \({\mathbb C}_+\) is similar. We have the standard representation of the free resolvent \(R_0(\lambda )\) in the lower half-plane \({\mathbb C}_-\) given by
for all \(\lambda \in {\mathbb C}_-\). Here the operator valued-function \(R_{01}(\lambda )\) has analytic extension from \({\mathbb C}_-\) into the whole complex plane \({\mathbb C}\) and satisfies
Let \(R_{02}(n'-n,\lambda )\) be the kernel of the operator \(R_{02}(\lambda )\). We have the identity
Then the estimate (7.14) gives
which yields
and summing results for \(R_{01}\) and \(R_{02}\) we obtain (7.16). The proof of (7.16) is similar. \(\square \)
References
Abramov, A.A., Aslanyan, A., Davies, E.B.: Bounds on complex eigenvalues and resonances. J. Phys. A 34, 57–72 (2001)
Ando, K.: Inverse scattering theory for discrete Schrödinger operators on the hexagonal lattice. Ann. Henri Poincaré 14, 347–383 (2013)
Bateman, H., Erdelyi, A.: Higher Transcendental Functions, vol. 2. McGraw-Hill Book Company, New York (1953)
Borichev, A., Golinskii, L., Kupin, S.: A Blaschke-type condition and its application to complex Jacobi matrices. Bull. Lond. Math. Soc. 41, 117–123 (2009)
Boutet de Monvel, A., Sahbani, J.: On the spectral properties of discrete Schrödinger operators: (the multi-dimensional case). Rev. Math. Phys. 11, 1061–1078 (1999)
Davies, E.B.: Non-self-adjoint differential operators. Bull. Lond. Math. Soc. 34(5), 513–532 (2002)
Davies, E.B., Nath, J.: Schrödinger operators with slowly decaying potentials. J. Comput. Appl. Math. 148, 1–28 (2002)
Demuth, M., Hansmann, M., Katriel, G.: On the discrete spectrum of non-selfadjoint operators. J. Funct. Anal. 257(9), 2742–2759 (2009)
Demuth, M., Hansmann, M., Katriel, G.: Eigenvalues of non-selfadjoint operators: a comparison of two approaches. In: Demuth, M., Kirsch, W. (eds.) Mathematical Physics, Spectral Theory and Stochastic Analysis, pp. 107–163. Springer, Basel (2013)
Duren, P.L.: Theory of \(H^p\) Spaces. Academic Press, San Diego (1970)
Frank, R.L.: Eigenvalue bounds for Schrödinger operators with complex potentials. Bull. Lond. Math. Soc. 43(4), 745–750 (2011)
Frank, R.L.: Eigenvalue bounds for Schrödinger operators with complex potentials. III. Trans. Am. Math. Soc. 370(1), 219–240 (2018)
Frank, R.L., Laptev, A., Lieb, E.H., Seiringer, R.: Lieb–Thirring inequalities for Schrödinger operators with complex-valued potentials. Lett. Math. Phys. 77, 309–316 (2006)
Frank, R.L., Laptev, A., Safronov, O.: On the number of eigenvalues of Schrödinger operators with complex potentials. J. Lond. Math. Soc. (2) 94(2), 377–390 (2016)
Frank, R.L., Sabin, J.: Restriction theorems for orthonormal functions, Strichartz inequalities and uniform Sobolev estimates. Am. J. Math. 139(6), 1649–1691 (2017)
Frank, R.L., Laptev, A., Seiringer, R.: A sharp bound on eigenvalues of Schrödinger operators on the half-line with complex-valued potentials. Oper. Theory Adv. Appl. 214, 39–44 (2011)
Frank, R.L., Simon, B.: Eigenvalue bounds for Schrödinger operators with complex potentials. II. J. Spectr. Theory 7(3), 633–658 (2017)
Garnett, J.: Bounded Analytic Functions. Academic Press, New York (1981)
Gohberg, I.C., Krein, M.G.: Introduction to the Theory of Linear Non-selfadjoint Operators in Hilbert Space, Translation of Mathematical Monographs, 18. AMS, Providence (1969)
Hoffman, K.: Banach Spaces of Analytic Functions. Prentice-Hall, Englewood Cliffs (1962)
Isozaki, H., Korotyaev, E.: Inverse problems, trace formulae for discrete Schrödinger operators. Ann. Henri Poincare 13(4), 751–788 (2012)
Isozaki, H., Morioka, H.: A Rellich type theorem for discrete Schrödinger operators. Inverse Probl. Imaging 8(2), 475–489 (2014)
Koosis, P.: Introduction to \(H_p\) Spaces. Cambridge Tracts in Mathematics, vol. 115. Cambridge University Press, Cambridge (1998)
Kopylova, E.A.: Dispersive estimates for discrete Schrödinger and Klein–Gordon equations. St. Petersbg. Math. J. 21(5), 743–760 (2010)
Korotyaev, E., Saburova, N.: Scattering on periodic metric graphs. arXiv:1507.06441
Laptev, A., Safronov, O.: Eigenvalue estimates for Schrödinger operators with complex potentials. Commun. Math. Phys. 292, 29–54 (2009)
Lieb, E.H., Thirring, W.: Inequalities for the Moments of the Eigenvalues of the Schrödinger Hamiltonian and Their Relation to Sobolev Inequalities. Studies in Mathematical Physics, pp. 269–303. Princeton University Press, Princeton (1976)
Lieb, E., Loss, M.: Analysis. Graduate Studies in Mathematics, vol. 14. AMS, Providence (1997)
Olver, F.W.J.: Asymptotics and Special Functions. Academic Press, New York (1974)
Rosenblum, G., Solomjak, M.: On the spectral estimates for the Schrödinger operator on \({\mathbb{Z}}^d\), \(d \ge 3\). J. Math. Sci. N. Y. 159(2), 241–263 (2009)
Reed, M., Simon, M.B.: Methods of Modern Mathematical Physics. II. Fourier Analysis, Self-Adjointness. Academic Press, New York (1975)
Reed, M., Simon, B.: Methods of Modern Mathematical Physics, IV: Analysis of Operators. Academic Press, New York (1978)
Safronov, O.: Estimates for eigenvalues of the Schrödinger operator with a complex potential. Bull. Lond. Math. Soc. 42(3), 452–456 (2010)
Safronov, O.: On a sum rule for Schrödinger operators with complex potentials. Proc. Am. Math. Soc. 138(6), 2107–2112 (2010)
Shaban, W., Vainberg, B.: Radiation conditions for the difference Schrödinger operators. J. Appl. Anal. 80, 525–556 (2001)
Smirnov, V.I.: A Course of Higher Mathematics, vol. 3. Part 2: Complex Variables Special Functions. (International Series of Monographs in Pure and Applied Mathematics; Volume 60). Pergamon Press, New York (1964)
Toda, M.: Theory of Nonlinear Lattices, 2nd edn. Springer, Berlin (1989)
Acknowledgements
Various parts of this paper were written during Evgeny Korotyaev’s stay in KTH and Mittag-Leffler Institute, Stockholm. He is grateful to the institutes for the hospitality. He is also grateful to Alexei Alexandrov (St. Petersburg) and Konstantin Dyakonov (Barcelona), Nikolay Shirokov (St. Petersburg) for stimulating discussions and useful comments about Hardy spaces. Our study was supported by the RSF Grant No. 15-11-30007.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Efim Zelmanov.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Korotyaev, E., Laptev, A. Trace formulae for Schrödinger operators with complex-valued potentials on cubic lattices. Bull. Math. Sci. 8, 453–475 (2018). https://doi.org/10.1007/s13373-018-0117-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13373-018-0117-1