Abstract
We provide quantitative estimates on the location of eigenvalues of one-dimensional discrete Dirac operators with complex \(\ell ^p\)-potentials for \(1\le p \le \infty \). As a corollary, subsets of the essential spectrum free of embedded eigenvalues are determined for small \(\ell ^1\)-potential. Further possible improvements and sharpness of the obtained spectral bounds are also discussed.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 Motivation and State of the Art
The principal objective of this paper is to initiate a mathematically rigorous investigation of spectral properties of quantum systems characterized by a fusion of the following three features: (\(\alpha \)) relativistic, (\(\beta \)) discrete, (\(\gamma \)) non-self-adjoint. While models within one of the respective classes have been intensively studied over the last decades, the combination seems to represent a new challenging branch of mathematical physics.
The relativistic feature (\(\alpha \)) is implemented by considering the Dirac equation, which is well understood in the simultaneously continuous and self-adjoint settings, see [31] for a classical reference. Apart from describing relativistic quantum matter, it also models quasi-particles in new materials like graphene.
The discrete feature (\(\beta \)) is due to introducing the Dirac operator on a lattice rather than in the Euclidean space. In the non-relativistic (Schrödinger) setting, it is well known that the discretization is not a mere shortcoming motivated by numerical solutions, but it is in fact a more realistic model for semiconductor crystals, see [4]. Indeed, it is essentially the tight-binding approximation in solid-state physics. Works on the fusion (\(\alpha \))\(\cap \)(\(\beta \)) exist in the self-adjoint setting, see [5, 11, 21, 26] and references therein.
Finally, the non-self-adjointness (\(\gamma \)) is implemented through possibly non-Hermitian perturbations added to the free Dirac operator. Despite the new physical motivations coming from quasi-Hermitian quantum mechanics (cf.[2]), there are very few results on non-self-adjoint Dirac operators in the literature. For the fusion (\(\alpha \))\(\cap \)(\(\gamma \)) in the continuous setting, see [7,8,9,10, 12,13,14, 28]. For the complete combination (\(\alpha \))\(\cap \)(\(\beta \))\(\cap \)(\(\gamma \)), we are only aware of the works [3, 23] concerned with estimates on the number of discrete eigenvalues.
In this paper, we are interested in the location of eigenvalues of one-dimensional discrete Dirac operator perturbed by non-Hermitian potentials (in particular, the coefficients of the potential are allowed to be complex). The main ingredient in our proofs is the Birman–Schwinger principle, and the results are of the nature of the celebrated result of Davies et al.[1] for one-dimensional continuous Schrödinger operators. However, following the strategy developed in [16] (see also [15] for an alternative approach), we manage to cover eigenvalues embedded in the essential spectrum as well. This article can be considered as a relativistic follow-up of [25] by two of the present authors.
1.2 Mathematical Model
Let \(\{e_{n}\}_{n\in {\mathbb {Z}}}\) be the standard basis of the Hilbert space \(\ell ^{2}({\mathbb {Z}})\) and let \(d:\ell ^2({\mathbb {Z}}) \rightarrow \ell ^2({\mathbb {Z}})\) be the difference operator determined by the equation \( de_{n}:=e_{n}-e_{n+1}, n\in {\mathbb {Z}}. \) The free discrete Dirac operator \(D_0\) is a self-adjoint bounded operator in the Hilbert space \(\ell ^2({\mathbb {Z}})\oplus \ell ^2({\mathbb {Z}})\) given by the block operator matrix
where m is a non-negative constant and \(d^*\) is the adjoint operator to d which fulfills \(d^*e_{n}=e_{n}-e_{n-1}\), \(n\in {\mathbb {Z}}\). It is well known that the spectrum of \(D_0\) is absolutely continuous and is given by
see for instance [21].
It is worth noting that \(D_{0}\) can be represented by a doubly-infinite Jacobi matrix by using a suitably chosen orthonormal basis of \(\ell ^2({\mathbb {Z}})\oplus \ell ^2({\mathbb {Z}})\). Indeed, if we set
for \(n\in {\mathbb {Z}}\), then the matrix representation of \(D_{0}\) with respect to the orthonormal basis \(\{f_{n}\}_{n\in {\mathbb {Z}}}\) reads
Moreover, it is often advantageous to view the above matrix as the \(2\times 2\)-block tridiagonal Laurent matrix
where
The matrix (1.4) naturally determines a unique operator acting on the Hilbert space \({\mathcal {H}}:=\ell ^{2}({\mathbb {Z}},{\mathbb {C}}^{2})\) that is unitarily equivalent to \(D_{0}\) given by (1.1). We do not distinguish the unitarily equivalent operators in the notation.
Further, we intend to perturb (1.4) by the \(2\times 2\)-block diagonal matrix
where
is a given sequence of \(2\times 2\) complex matrices. We denote the resulting operator by \(D_{V}:=D_{0}+V\). In view of the initial setting (1.1), such perturbation corresponds to a perturbation of each of the four operator entries by a diagonal matrix operator acting on \(\ell ^{2}({\mathbb {Z}})\). For special symmetric choices of the coefficients, the perturbations of the diagonal entries represent an electric potential while the off-diagonal elements introduce a magnetic potential to \(D_{0}\); we proceed in a greater generality by making no hypotheses about the coefficients except for summability conditions.
In this paper we are concerned with the location of eigenvalues of the Dirac operator \(D_V\). If the entries of \(\upsilon _{n}\) vanish as \(n\rightarrow \pm \infty \), i.e. \(\upsilon ^{ij}_n\rightarrow 0\) as \(n\rightarrow \pm \infty \), then V is compact and hence the essential spectrum of the perturbed operator \(D_V\) coincides with \(\sigma (D_0)\). The goal of the present paper is to investigate the location of the point spectrum of \(D_{V}\). To this end, we consider the block diagonal matrix potentials V given by (1.5) and (1.6) which belong to the Banach space \(\ell ^p\bigl ({\mathbb {Z}},{\mathbb {C}}^{2\times 2}\bigr )\) equipped with the norm
where \(|\upsilon _n|\) denotes the operator norm of the matrix \(\upsilon _n\). As it is seen by comparing (1.5) and (1.7), we slightly abuse the notation by not distinguishing between V as the operator and V as the doubly-infinite \(2\times 2\)-matrix valued sequence, whenever suitable. Except the notation \(|\upsilon |\) used for the spectral norm of a matrix \(\upsilon \in {\mathbb {C}}^{2 \times 2}\), we denote by \(|\upsilon |_\mathrm {HS}\) the Hilbert–Schmidt (or Frobenius) norm of \(\upsilon \) throughout the paper. Recall that \(|\upsilon | \le |\upsilon |_\mathrm {HS}\).
1.3 Main Results
Our main result for \(\ell ^1\)-potentials reads as follows:
Theorem 1
Let \(V\in \ell ^1\bigl ({\mathbb {Z}},{\mathbb {C}}^{2\times 2}\bigr )\). Then
The spectral enclosure in (1.8) is a compact set symmetric with respect to both the real and the imaginary line. The geometry of its boundary is quite easy to understand. It is an algebraic curve of generically three possible topological configurations depending on the \(\ell ^{1}\)-norm of the potential V and the parameter \(m>0\). A closer inspection of the respective polynomial equation shows that, if
the boundary curve consists of four simple closed curves having the end-points of the essential spectrum \(\pm m\) and \(\pm \sqrt{m^{2}+4}\) in their interiors, respectively. If
the boundary curve comprises two simple closed curves with the intervals \([-\sqrt{m^{2}+4},-m]\) and \([\sqrt{m^{2}+4},m]\) in their interiors, respectively. Finally, for
the boundary curve is a closed simple curve with the interval \([-\sqrt{m^{2}+4},\sqrt{m^{2}+4}]\) in its interior. Figure 1 shows all the topological configurations.
As an immediate corollary of the firstly mentioned possible configuration for the boundary curve of (1.8), we obtain subsets of the essential spectrum of \(D_V\) that are free of embedded eigenvalues of \(D_V\).
Corollary 1
If the potential \(V\in \ell ^1\bigl ({\mathbb {Z}},{\mathbb {C}}^{2\times 2}\bigr )\) satisfy (1.9), then the union of intervals
where
is free of embedded eigenvalues of \(D_V\).
Remark 1
In fact, Corollary 1 can be improved under additional assumptions that \(1+\upsilon _{n}^{12}\ne 0\) and \(1+\upsilon _{n}^{21}\ne 0\) for all \(n\in {\mathbb {Z}}\). In this case, the whole interior of (1.2) is free of embedded eigenvalues of \(D_{V}\). Indeed, let \(D_{V}\) be viewed as the 2-periodic Jacobi matrix (1.3) correspondingly perturbed by V for the moment. Then, if \(\upsilon ^{ij}\in \ell ^{1}({\mathbb {Z}})\) for all \(i,j\in \{1,2\}\), there exist two linearly independent solutions \(\phi ^{(\pm )}\) of the eigenvalue equation \(D_{V}\phi =\lambda \phi \) such that \(\phi _{n}^{(\pm )}\sim w^{\pm n}a_{n}\), as \(n\rightarrow \infty \), for a nontrivial 2-periodic sequence \(a_{n}\), where \(|w|=1\) provided that \(\lambda \in (-\sqrt{m^2+4},-m)\cup (m,\sqrt{m^2+4})\). As a result, there cannot be a square summable solution of \(D_{V}\phi =\lambda \phi \), for \(\lambda \in (-\sqrt{m^2+4},-m)\cup (m,\sqrt{m^2+4})\), if the set of solutions is of dimension 2 which is guaranteed by the additional assumptions \(1+\upsilon _{n}^{12}\ne 0\) and \(1+\upsilon _{n}^{21}\ne 0\) for all \(n\in {\mathbb {Z}}\). This was proved in [19] for a certain real \(\ell ^{1}\)-perturbations V. The reality is, however, inessential for the proof and the claim can be extended to complex \(\ell ^{1}\)-perturbations as well, see the proof of [19, Thm. 3].
Our next result provides a spectral estimate in terms of the \(\ell ^p\)–norm of the potential for \(p>1\). The strategy of its derivation relies on an application of Stein’s complex interpolation theorem to an appropriate analytic family of Birman–Schwinger-type operators. This approach was successfully used in the continuous setting recently, see e.g. [6, 8, 17].
Theorem 2
Let \(1<p\le \infty \) and \(V\in \ell ^p\bigl ({\mathbb {Z}},{\mathbb {C}}^{2\times 2}\bigr )\). If \(\lambda \notin \sigma (D_0)\) satisfies
with
then \(\lambda \notin \sigma (D_V)\).
Remark 2
For \(p=\infty \), the function in (1.11) has to be understood as
Third theorem concerns with spectral bounds for \(\ell ^{p}\)-potentials with \(p\ge 1\) again. In particular, the bound for \(\ell ^{1}\)-potentials is an improvement of Theorem 1. The price we have to pay, however, is that the new bounds are quite complicated and not entirely explicit since they involve spectral norms of the matrices
which arise in the formula for the resolvent operator \((D_{0}-\lambda )^{-1}\), see Sect. 2. Moreover, in contrast to Theorems 1 and 2, the spectral enclosures are not expressible entirely in the spectral parameter \(\lambda \). Rather than that they use the auxiliary parameter k with \(|k|<1\). The relation between \(\lambda \) and k is determined by the equality
which introduces a one-to-two mapping \(\lambda =\lambda (k)\) between the punctured unit disc \(\{k\in {\mathbb {C}}\mid 0<|k|<1\}\) and the resolvent set \(\rho (D_{0})\). This mapping plays the same role as the Joukowski mapping in the case of discrete Schrödinger operator, see [25] for details.
The proof of the following theorem is based on a discrete version of Young’s inequality. Here and in the sequel, for \(p\in (1,\infty ]\), we denote by \(q\in [1,\infty )\) the corresponding Hölder exponent, i.e. \(q=p/(p-1)\) if \(1<p<\infty \) and \(q=1\) if \(p=\infty \).
Theorem 3
Let \(1 \le p\le \infty \) and assume \(V\in \ell ^p\bigl ({\mathbb {Z}},{\mathbb {C}}^{2\times 2}\bigr )\). If \(\lambda \notin \sigma (D_0)\) satisfies
then \(\lambda \notin \sigma (D_V)\), with
and k the unique point in the punctured unit disk \(\{k\in {\mathbb {C}}\;|\;\; 0<|k|<1\}\) such that \(\lambda ^{2}=m^2+2-k-k^{-1}\). The matrices \(T_{0}(k)\) and \(T_{1}(k)\) are defined in (1.12).
Remark 3
Clearly, spectral norms of the \(2\times 2\) matrices (1.12) can be expressed explicitly, but the resulting formulas are somewhat cumbersome. Namely, we have
and
where
Remark 4
We do not discuss the eigenvalues possibly embedded in \(\sigma (D_0)\) in Theorem 3 for \(p=1\) similarly as is done in Corollary 1 after Theorem 1. Nevertheless, an inspection of the intersection points of the boundary curve of the spectral enclosure of Theorem 3 with \(\sigma (D_0)\) (when they exist) shows that they actually coincide with the points identified in Corollary 1. Indeed, it readily follows from formulas (1.15) and (1.14) that
for \(\lambda _0 \in \sigma (D_0) \setminus \{\pm m, \pm \sqrt{m^2 +4}\}\) and \(k_{0}\) a point on the unit circle such that \(\lambda _{0}^{2}=m^{2}+2-k_{0}-k_{0}^{-1}\). Consequently,
which is the expression appearing in the spectral enclosure of Theorem 1. Consequently, even if the intervals of \(\sigma (D_0)\) given by the intersection points of the boundary curves of the improved spectral enclosure from Theorem 3 for \(p=1\) were proved to be free of embedded eigenvalues of \(D_V\), Corollary 1 would not be improved. This is also illustrated in Fig. 3 (part a) in “Appendix”, where the enclosures provided by Theorems 1 and 3 are compared.
In addition to the statement of Theorem 3, we prove that the improved spectral enclosure for \(\ell ^{1}\)-potentials is at least partly optimal. Namely, we show that a significant part of the boundary of the spectral enclosure is actually an eigenvalue of a concretely chosen discrete Dirac operator within the studied class. This means that this spectral bound cannot be significantly improved.
The proof of the tighter spectral bound of Theorem 3 for \(\ell ^{1}\)-potentials does not make use of majorizing spectral norms by Hilbert–Schmidt norms. The reason for a possible but unnecessary passing to the Hilbert–Schmidt norms is that the resulting spectral bounds are of comparatively simpler forms. If we prefer a less sharp but more explicit result for \(1<p\le \infty \), then majorizing \(|T_{i}(k)|\le |T_{i}(k)|_{\text {HS}}\), for \(i=1,2\), and applying natural estimates for \(|T_{i}(k)|_{\text {HS}}\), see Lemma 1, we arrive at the following corollary of Theorem 3.
Corollary 2
Let \(1<p\le \infty \) and assume \(V\in \ell ^p\bigl ({\mathbb {Z}},{\mathbb {C}}^{2\times 2}\bigr )\). If \(\lambda \notin \sigma (D_0)\) satisfies
with
where k is a unique point in the punctured unit disk \(\{k\in {\mathbb {C}}\;|\;\; 0<|k|<1\}\) such that \(\lambda ^{2}=m^2+2-k-k^{-1}\), then \(\lambda \notin \sigma (D_V)\).
Remark 5
Note that, if \(p\rightarrow 1\), i.e. \(q\rightarrow \infty \) in Theorem 2 and Corollary 2, we arrive at the spectral enclosure of Theorem 1 with the exception of possibly embedded eigenvalues.
Stein’s interpolation together with the improved spectral bound of Theorem 3 for the case \(p=1\) leads to the following improvement of Theorem 2.
Theorem 4
Let \(1 \le p\le \infty \) and assume \(V\in \ell ^p\bigl ({\mathbb {Z}},{\mathbb {C}}^{2\times 2}\bigr )\). If \(\lambda \notin \sigma (D_0)\) satisfies
then \(\lambda \notin \sigma (D_V)\), with
and k the unique point in the punctured unit disk \(\{k\in {\mathbb {C}}\;|\;\; 0<|k|<1\}\) such that \(\lambda ^{2}=m^2+2-k-k^{-1}\). The matrices \(T_{0}(k)\) and \(T_{1}(k)\) are defined in (1.12) and their norms are given by formulas (1.15) and (1.14).
Remark 6
One may hope that \(|T_{0}(k)|\ge |T_{1}(k)|\) which would mean that the resolvent operator \((D_{0}-\lambda )^{-1}\) is diagonally dominant, see formula (2.1) given below. This would turn the spectral enclosure of Theorem 3 (especially in the case of \(\ell ^{1}\)-potentials) into a reasonably simple form. Unfortunately, the inequality \(|T_{0}(k)|\ge |T_{1}(k)|\) does not hold in general. This can be verified analytically for \(m=0\) and therefore the inequality remains false for m small by continuity. Moreover, the dependence of the relation between the values of \(|T_{0}(k)|\) and \(|T_{1}(k)|\) on the parameter k seems to be nontrivial, see Fig. 5 in “Appendix”.
Similarly as in Theorem 1, the spectral enclosures from Theorems 2, 3, and 4 are symmetric with respect to the real as well as the imaginary axes. On the other hand, if \(p>1\), these enclosures always contain the entire essential spectrum of \(D_V\) for any choice of the potential \(V\in \ell ^p\bigl ({\mathbb {Z}},{\mathbb {C}}^{2\times 2}\bigr )\) and \(m>0\). Illustrative plots as well as comparisons of the obtained results are given in “Appendix”.
1.4 Organization of the Paper
As preliminary results for our proofs, in Sects. 2 and 3 we recall the resolvent of the free discrete Dirac operator \(D_{0}\) and develop the Birman–Schwinger principle for the operator \(D_{V}\). The proofs of Theorems 1–4 are presented in Sect. 4. In Sect. 5, the optimality of the improved spectral enclosure for \(\ell ^{1}\)-potentials from Theorem 3 is discussed.
The paper is concluded by four appendices. In “Appendix A” we numerically visualize the spectral enclosure of Theorem 2 for several choices of \(p>1\). Several comparison plots as well as an illustration of the partial optimality proved for the spectral enclosure from Theorem 3 for \(p=1\) are given in the parts B and C of “Appendix”. Finally, “Appendix D” serves as a numerical illustration of Remark 6.
2 The Free Resolvent
Making use of the observation that
together with the familiar formula for the resolvent of the discrete Laplacian \(dd^{*}=d^{*}d\) (see e.g.[30, Chp. 1] or [25, Eq. (2.2)]), the resolvent of the free Dirac operator can be expressed fully explicitly. Using the \(2\times 2\)-block matrix representation as in (1.4), the resulting formula for the resolvent of \(D_{0}\) can be written as the \(2\times 2\)-block Laurent matrix
where \(T_{0}(k)\) and \(T_{1}(k)\) are defined by (1.12) and
Here \(0<|k|<1\) and the spectral parameter \(\lambda \) is related to k by Eq. (1.13) which determines a one-to-two mapping \(k\mapsto \lambda (k)\) between the punctured unit disk \(\{k\in {\mathbb {C}}\;|\;\; 0<|k|<1\}\) and the resolvent set of \(D_{0}\).
For later purpose, we will need the following estimate of the Hilbert–Schmidt norm of the resolvent entries \(T_{i}(k)\), \(i\in {\mathbb {Z}}\).
Lemma 1
Let \(\lambda \in \rho (D_0)\) and k be such that \(0<|k|<1\) related to \(\lambda \) via (1.13). Then one has
where
Proof
By a straightforward computation, one gets
and
for \(j\ge 1\). To arrive at (2.3), it suffices to note that, for \(0<|k|<1\), one has
and use the equality
which follows readily from (1.13). \(\square \)
3 The Birman–Schwinger Principle
For \(n\in {\mathbb {Z}}\), we denote by \(w_n\) the absolute value of \(\upsilon _n\), i.e. \(w_n:=\sqrt{\upsilon ^*_n\upsilon _n}\). Using the polar decomposition of matrices, we have \( \upsilon _n=u_nw_n, \) where \(u_n\in {\mathbb {C}}^{2\times 2}\) is a partial isometry. Notice that \(|\upsilon _n|=|w_n|=|\sqrt{w_n}|^2\). Further, let us denote by U and W the \(2\times 2\)-block diagonal matrices with the diagonal block entries \(u_n\) and \(w_n\), respectively, i.e.
Then U is a partial isometry and we have
where \(\sqrt{W}\) is the square root of the positive operator W.
Given any \(\lambda \in \rho (D_0)\), we introduce the Birman–Schwinger operator
and recall the conventional Birman–Schwinger principle
which can be easily justified by usual arguments if, for example, V is bounded.
The next lemma resembles a one-sided version of the Birman–Schwinger principle extended to possibly embedded eigenvalues. The strategy of the proof we provide below is inspired by the ones of analogous results in [14, 16, 18, 24]. We recall the notation \({\mathcal {H}}=\ell ^{2}({\mathbb {Z}},{\mathbb {C}}^{2})\).
Lemma 2
Let \(V\in \ell ^1\bigl ({\mathbb {Z}},{\mathbb {C}}^{2\times 2}\bigr )\) and let \(\lambda \in \sigma (D_0)\setminus \{\pm m, \pm \sqrt{m^2+4}\} \) be such that \(D_V\psi =\lambda \psi \) for some \(\psi \in {\mathcal {H}}\). Then \(\phi :=\sqrt{W}\psi \in {\mathcal {H}}\) and, for all \(\varphi \in {\mathcal {H}}\), we have
Proof
It is not difficult to check that
Hence \(\phi =\sqrt{W}\psi \in {\mathcal {H}}\).
Let \(\varphi \in {\mathcal {H}}\) be fixed and \(\varepsilon >0\) be arbitrary. Then \(\lambda + \mathrm{i}\varepsilon \notin \sigma (D_0)\) and we have
Further, denoting \(M(\varepsilon ):=\sqrt{W}(D_0-\lambda -\mathrm{i}\varepsilon )^{-1}\) and employing the Cauchy–Schwarz inequality, we observe
In the remaining part of the proof, we show that \(\varepsilon \Vert M(\varepsilon )\Vert \rightarrow 0\) as \(\varepsilon \rightarrow 0^+\) from which the claim will follow. Let \(k=k(\varepsilon )\) be the unique point inside the unit disk corresponding to \(\lambda +\mathrm{i}\varepsilon \) via (1.13), where \(\lambda \) is replaced by \(\lambda +\mathrm{i}\varepsilon \). Applying Lemma 1, we get the estimate
Therefore,
For \(\lambda \in (-\sqrt{m^2+4},-m)\cup (m,\sqrt{m^2+4})\), elementary calculations show that
Hence, \(\varepsilon \Vert M(\varepsilon )\Vert \) decays at least as \(\mathcal {O}(\varepsilon ^{1/2})\) for \(\varepsilon \rightarrow 0^+\). \(\square \)
4 Proofs
4.1 Proof of Theorem 1
First we consider the case \(\lambda \notin [-\sqrt{m^2+4},-m]\cup [m,\sqrt{m^2+4}]\). Let \(k\in {\mathbb {C}}\) denote the point inside the punctured unit disk determined by \(\lambda \) via (1.13).
For \(V\in \ell ^1\bigl ({\mathbb {Z}},{\mathbb {C}}^{2\times 2}\bigr )\), the Birman–Schwinger operator \(K(\lambda )\) is Hilbert–Schmidt. To estimate its Hilbert–Schmidt norm, we use the general inequality
which holds true for any Hilbert–Schmidt operator B and bounded operators A, C; see, e.g. [20, Prop. IV.2.3]. Moreover, using that \(|C_{j}(k)|\le 1\) and
by (1.13), in Lemma 1, we obtain
Now, we may estimate the Hilbert–Schmidt norm of \(K(\lambda )\) as follows:
Therefore,
and the Birman–Schwinger principle (3.2) implies that \(\lambda \) cannot belong to the point spectrum of \(H_V\) unless it holds that
Now we consider the case \(\lambda \in (-\sqrt{m^2+4},-m) \cup (m,\sqrt{m^2+4})\). Let \(\varepsilon >0\) be arbitrary. Since \(\lambda +\mathrm{i}\varepsilon \notin [-\sqrt{m^2+4},-m] \cup [m,\sqrt{m^2+4}]\), we can apply (4.1) and deduce
On the other hand, if \(\lambda \in \sigma _\mathrm{{p}}(D_V)\) with an eigenvector \(\psi \in {\mathcal {H}}\), then we can invoke Lemma 2 and apply (3.3) with \(\varphi =\phi =W^{1/2}\psi \). Taking the limit \(\varepsilon \rightarrow 0^+\), we thus obtain
However, it is not difficult to see that \(\varphi =W^{1/2}\psi \ne 0\) (otherwise, \(\lambda \) would be an eigenvalue of \(D_0\) which is impossible). Hence, we deduce from (4.4) that \(\liminf _{\varepsilon \rightarrow 0^+} \Vert K(\lambda +\mathrm{i}\varepsilon )\Vert \ge 1\). Therefore, letting \(\varepsilon \rightarrow 0^+\) in (4.3), we conclude
i.e. also embedded eigenvalues must obey the estimate (4.2).
Finally, since the endpoints \(\lambda \in \{\pm \sqrt{m^{2}+4},\pm m\}\) are involved in the set on the right-hand side of (1.8), the proof is completed. \(\square \)
4.2 Proof of Theorem 2
The proof is based on the following special variant of Stein’s complex interpolation theorem, see [29, Thm. 1].
Lemma 3
(Stein’s interpolation). Let \(T_{z}:\ell ^{2}({\mathbb {Z}};{\mathbb {C}}^{2\times 2})\rightarrow \ell ^{2}({\mathbb {Z}};{\mathbb {C}}^{2\times 2})\) be a family of operators analytic in the strip \(0<\mathfrak {R}z<1\) and continuous and uniformly bounded in its closure \(0\le \mathfrak {R}z\le 1\). Suppose further that there exist constants \(C_{0}\) and \(C_{1}\) such that
for all \(y\in {\mathbb {R}}\). Then, for any \(\theta \in [0,1]\), one has
Proof of Theorem 2
Let \(\lambda \notin \sigma (D_0)\) be fixed. If \(p=\infty \), one has the trivial estimate for the Birman–Schwinger operator
Then (3.2) implies (1.10) in the particular case \(p=\infty \).
For the case \(1<p<\infty \), we consider the operator family
for \(z\in {\mathbb {C}}\) with \(0\le \mathfrak {R}z\le 1\). Note that \(T_{z}\) is continuous in the closed strip \(0\le \mathfrak {R}z\le 1\) and analytic in its interior. Moreover, \(T_{z}\) is uniformly bounded for \(0\le \mathfrak {R}z\le 1\) as one has
Further, since \(V\in \ell ^p({\mathbb {Z}},{\mathbb {C}}^{2\times 2})\) by the hypothesis, we can apply (4.1) to get
for any \(y\in {\mathbb {R}}\). Moreover, for all \(y\in {\mathbb {R}}\), we have also the estimate
Thus, one can apply Theorem 3 with \(\theta =1/p\) which implies
and the claim immediately follows from the Birman–Schwinger principle (3.2). \(\square \)
4.3 Proof of Theorem 3
In the proof of Theorem 3, will need a discrete version of Young’s inequality.
Lemma 4
(Young’s inequality). Let \(p,q,r \ge 1\) be such that
Then, for any \(f\in \ell ^{p}({\mathbb {Z}})\), \(g\in \ell ^{q}({\mathbb {Z}})\), and \(h\in \ell ^{r}({\mathbb {Z}})\), one has
Moreover, the inequality (4.5) is sharp.
Young’s inequality holds true in a very abstract setting see, e.g.[22, Thm. 20.18], which implies Lemma 4 as a particular case. Differently from the continuous setting, cf.[27, Sec. 4.2], the optimal constant in the inequality (4.5) is 1, indeed. One can prove the discrete variant of Young’ inequality by mimicking the standard arguments used typically for the proof of the continuous variant of the inequality. We provide this proof of Theorem 4 for reader’s convenience.
Proof of Lemma 4
Let \(f\in \ell ^{p}({\mathbb {Z}})\), \(g\in \ell ^{q}({\mathbb {Z}})\)\(h\in \ell ^{r}({\mathbb {Z}})\), for \(p,q,r\ge 1\) such that
Observe that
for
Moreover, \(\varphi \in \ell ^{u}({\mathbb {Z}}^{2})\), \(\chi \in \ell ^{v}({\mathbb {Z}}^{2})\), \(\varphi \in \ell ^{w}({\mathbb {Z}}^{2})\), where \(u,v,w\ge 1\) are such that
By the assumptions, the indices u, v, w fulfill
and the application of (generalized) Hölder’s inequality yields
The constant 1 on the right-hand side of (4.5) is optimal, indeed the equality is attained for \(f=\{f_n\}_{n\in {\mathbb {Z}}}\), \(g=\{g_n\}_{n\in {\mathbb {Z}}}\), and \(h=\{h_n\}_{n\in {\mathbb {Z}}}\) with entries
for any \(f_0, g_0, h_0 \in {\mathbb {C}}\). \(\square \)
Proof of Theorem 3
Assume \(\lambda \in \sigma (D_V)\setminus \sigma (D_0)\) and \(k\in {\mathbb {C}}\), \(0<|k|<1\) is such that (1.13) holds. The main idea of the proof relies again on the implication from the Birman–Schwinger principle:
The case \(V\in \ell ^{1}({\mathbb {Z}},{\mathbb {C}}^{2\times 2})\): Using the definition of the Birman–Schwinger operator (3.1), we may estimate
for \(\phi \in \ell ^{2}({\mathbb {Z}},{\mathbb {C}}^{2})\). Here \(|\cdot |_{2}\) stands for the Euclidian norm on \({\mathbb {C}}^{2}\). Moreover, it follows from (2.2) that
for all \(i\ne 0\). Consequently, we get
and the Birman–Schwinger principle implies the claim for the case \(p=1\).
The case \(V\in \ell ^{p}({\mathbb {Z}},{\mathbb {C}}^{2\times 2})\) with \(p>1\): Making use of (3.1), one obtains, for \(\phi ,\psi \in \ell ^{2}({\mathbb {Z}},{\mathbb {C}}^{2})\), the estimate
The right-hand side is in a suitable form for the application of discrete Young’s inequality. Thus, applying (4.5) with p and r replaced by \(2p/(p+1)\) and q the Hölder dual index to p, i.e. \(q=p/(p-1)\), one arrives at the estimate
where |T(k)| stands for the doubly infinite sequence with entries \(|T_{i}(k)|\), \(i\in {\mathbb {Z}}\). Noticing that, by Hölder’s inequality,
and
where we have used (2.2), we obtain
for any \(\phi ,\psi \in \ell ^{2}({\mathbb {Z}},{\mathbb {C}}^{2})\). In other words, we have the estimate
and the Birman–Schwinger principle implies the claim for the case \(p>1\). \(\square \)
4.4 Proof of Theorem 4
The proof is completely analogous to that of Theorem 2. It follows from the application of Stein’s interpolation theorem using this time the inequality (4.6) which plays the same role as the inequality (4.1) in the proof of Theorem 2.
5 Optimality for \(\ell ^1\)-potentials
In [25], a similar approach as in the proof of Theorem 1 was used to deduce a spectral enclosure for the discrete Schrödinger operator with an \(\ell ^{1}\)-potential. In this case, the obtained spectral enclosure turned out to be optimal in the following sense: every point from the boundary curve of the spectral enclosure except possible intersections with the spectrum of the unperturbed operator is an eigenvalue of some discrete Schrödinger operator with particularly chosen \(\ell ^{1}\)-potential. It means that the obtained spectral enclosure is, in a sense, the best possible since it cannot be further squeezed.
On the contrary, the spectral enclosure of Theorem 1 for the discrete Dirac operators with \(\ell ^{1}\)-potentials is not optimal in the aforementioned sense. Concerning the optimality of the improved spectral enclosure of Theorem 3 in the case of \(\ell ^{1}\)-potential we were not able to prove it in its full generality as specified above. In other words, using the notation of Theorem 3 and denoting the boundary curve as
for a fixed parameter \(Q>0\), we do not have a proof demonstrating that every point \(\lambda \in \Gamma _{Q}\setminus \sigma (D_0)\) is an eigenvalue of some \(D_{V}\) with \(\Vert V\Vert _{1}=Q\). However, we can show a sort of a partial optimality. It means that we can show that at least some points from \(\Gamma _{Q}\) are eigenvalues of \(D_{V}\) with a particularly chosen potential \(V\in \ell ^1({\mathbb {Z}}, {\mathbb {C}}^{2\times 2})\). These particular points have to be additionally included in the region
i.e. in the region where the diagonal dominance of the resolvent operator \((D_0-\lambda )^{-1}\) actually happens. In the proof below, we construct explicitly a potential \(V\in \ell ^1({\mathbb {Z}}, {\mathbb {C}}^{2\times 2})\), \(\Vert V\Vert _{1}=Q\), such that \(\lambda \in \Gamma _{Q}\cap \mathcal {D}\) not belonging to \(\sigma (D_{0})\) is an eigenvalue of \(D_V\).
Theorem 5
For every \(Q>0\) and \(\lambda \in \Gamma _{Q}\cap \mathcal {D}\setminus \sigma (D_0)\), there exists \(V\in \ell ^1({\mathbb {Z}},{\mathbb {C}}^{2\times 2})\) with \(\Vert V\Vert _1=Q\) such that
Proof
Let \(Q>0\) and \(\lambda \in \Gamma _{Q}\cap \mathcal {D}\setminus \sigma (D_0)\) be fixed. Denote by k the unique point such that \(0<|k|<1\) and related to \(\lambda \) by (1.13).
First, note that since \(\lambda \in \Gamma _{Q}\cap \mathcal {D}\setminus \sigma (D_0)\) one has \(h_{\infty }(\lambda ,m)=|T_0(k)|=Q^{-1}\). We define the potential sequence \(V:=\{\upsilon _n\}_{n \in {\mathbb {Z}}}\) entry-wise as follows:
Then clearly
Next, observe that the eigenvalue equation \(D_{V}\psi =\lambda \psi \) has a nontrivial solution \(\psi \in \ell ^{2}({\mathbb {Z}},{\mathbb {C}}^{2})\) if and only if there exists a nontrivial vector \(\phi \in \ell ^{2}({\mathbb {Z}},{\mathbb {C}}^{2})\) such that
A nontrivial solution \(\phi \in \ell ^{2}({\mathbb {Z}},{\mathbb {C}}^{2})\) of Eq. (5.1) can be chosen so that \(\phi _{n}=0\) for all \(n\ne 0\) and \(\phi _{0}\in {\mathbb {C}}^{2}\) is a non-trivial solution of the linear system
which exists since the matrix \(1+\upsilon _{0}T_{0}(k)\) is singular due to the particular choice of the potential V. \(\square \)
Remark 7
The construction in Theorem 5 is inspired by [9] where a sharp spectral enclosure was obtained for the one-dimensional Dirac operator on the real line. In the continuous setting, the free resolvent has a diagonally dominant kernel for every spectral parameter \(\lambda \) from the resolvent set and thanks to this \(\delta \)–potentials can serve as an example for proving optimality of the whole spectral enclosure. The analysis of the discrete setting is not completely analogous, since diagonal dominance of the resolvent only happens in the subdomain \(\mathcal {D} \subsetneq {\mathbb {C}}\) (see Remark 6).
A comparison of the spectral enclosures from Theorems 1 and 3 for the case of \(\ell ^{1}\)-potentials is numerically illustrated in Fig. 3 of “Appendix B”. This Figure also shows the parts of the boundary curves of the improved spectral bound of Theorem 3 in the case of \(\ell ^{1}\)-potentials that can be reached by an eigenvalue of a concretely chosen discrete Dirac operator as discussed in Theorem 5.
References
Abramov, A.A., Aslanyan, A., Davies, E.B.: Bounds on complex eigenvalues and resonances. J. Phys. A Math. Gen. 34, 57–72 (2001)
Bagarello, F., Gazeau, J.-P., Szafraniec, F.H., Znojil, M. (eds.): Non-selfadjoint Operators in Quantum Physics: Mathematical Aspects. Wiley-Interscience, Hoboken (2015)
Bairamov, E., Çelebi, A.O.: Spectrum and spectral expansion for the non-selfadjoint discrete Dirac operators. Q. J. Math. Oxf. Ser. (2) 50(200), 371–384 (1999)
Boykin, T.B., Klimeck, G.: The discretized Schrödinger equation and simple models for semiconductor quantum wells. Eur. J. Phys. 25, 503–514 (2004)
Carvalho, S.L., de Oliveira, C.R., Prado, R.A.: Sparse one-dimensional discrete Dirac operators II: spectral properties. J. Math. Phys. 52(7), 073501, 21 (2011)
Cossetti, L.: Bounds on eigenvalues of perturbed Lamé operators with complex potentials (2019). ArXiv:1904.08445v1 [math.SP]
Cuenin, J.-C.: Estimates on complex eigenvalues for Dirac operators on the half-line. Integr. Equ. Oper. Theory 79(3), 377–388 (2014)
Cuenin, J.-C.: Eigenvalue bounds for Dirac and fractional Schrödinger operators with complex potentials. J. Funct. Anal. 272(7), 2987–3018 (2017)
Cuenin, J.-C., Laptev, A., Tretter, C.: Eigenvalue estimates for non-selfadjoint Dirac operators on the real line. Ann. Henri Poincaré 15, 707–736 (2014)
Cuenin, J.-C., Siegl, P.: Eigenvalues of one-dimensional non-self-adjoint Dirac operators and applications. Lett. Math. Phys. 108(7), 1757–1778 (2018)
de Oliveira, C.R., Prado, R.A.: Spectral and localization properties for the one-dimensional Bernoulli discrete Dirac operator. J. Math. Phys. 46(7), 072105, 17 (2005)
Dubuisson, C.: On quantitative bounds on eigenvalues of a complex perturbation of a Dirac operator. Integr. Equ. Oper. Theory 78, 249–269 (2014)
Enblom, A.: Resolvent estimates and bounds on eigenvalues for Dirac operators on the half-line. J. Phys. A Math. Theor. 51, 165203 (2018)
Fanelli, L., Krejčiřík, D.: Location of eigenvalues of three-dimensional non-self-adjoint Dirac operators. Lett. Math. Phys. 109, 1473–1485 (2019)
Fanelli, L., Krejčiřík, D., Vega, L.: Absence of eigenvalues of two-dimensional magnetic Schrödinger operators. J. Funct. Anal. 275(9), 2453–2472 (2018)
Fanelli, L., Krejčiřík, D., Vega, L.: Spectral stability of Schrödinger operators with subordinated complex potentials. J. Spectr. Theory 8(2), 575–604 (2018)
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., Simon, B.: Eigenvalue bounds for Schrödinger operators with complex potentials. II. J. Spectr. Theory 7(3), 633–658 (2017)
Geronimo, J.S., Van Assche, W.: Orthogonal polynomials with asymptotically periodic recurrence coefficients. J. Approx. Theory 46(3), 251–283 (1986)
Gohberg, I., Goldberg, S., Krupnik, N.: Traces and Determinants of Linear Operators, Operator Theory: Advances and Applications, vol. 116. Birkhäuser, Basel (2000)
Golénia, S., Haugomat, T.: On the a.c. spectrum of the 1D discrete Dirac operator. Methods Funct. Anal. Topol. 20(3), 252–273 (2014)
Hewitt, E., Ross, K.A.: Abstract harmonic analysis, vol. I, 2nd edn, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 115, Springer, Berlin-New York, Structure of Topological Groups, Integration Theory, Group Representations (1979)
Hulko, A.: On the number of eigenvalues of the discrete one-dimensional Dirac operator with a complex potential. Anal. Math. Phys. 9(1), 639–654 (2019)
Ibrogimov, O.O., Krejčiřík, D., Laptev, A.: Sharp bounds for eigenvalues of biharmonic operators with complex potentials in low dimensions (2019). ArXiv:1903.01810v1 [math.SP]
Ibrogimov, O.O., Štampach, F.: Spectral enclosures for non-self-adjoint discrete Schrödinger operators. Integr. Equ. Oper. Theory 91, 53 (2019). https://doi.org/10.1007/s00020-019-2553-z
Kopylova, E., Teschl, G.: Dispersion estimates for one-dimensional discrete Dirac equations. J. Math. Anal. Appl. 434(1), 191–208 (2016)
Lieb, E.H., Loss, M.: Analysis. Graduate Studies in Mathematics, vol. 14, 2nd edn. American Mathematical Society, Providence (2001)
Sambou, D.: A criterion for the existence of nonreal eigenvalues for a Dirac operator. N. Y. J. Math. 22, 469–500 (2016)
Stein, E.M.: Interpolation of linear operators. Trans. Am. Math. Soc. 83, 482–492 (1956)
Teschl, G.: Jacobi Operators and Completely Integrable Nonlinear Lattices, Mathematical Surveys and Monographs, vol. 72. American Mathematical Society, Providence (2000)
Thaller, B.: The Dirac Equation. Springer, Berlin (1992)
Acknowledgements
The research of B.C. was partially supported by the Grant No. 17-01706S of the Czech Science Foundation (GAČR) and by Fondo Sociale Europeo—Programma Operativo Nazionale Ricerca e Innovazione 2014–2020, progetto PON: progetto AIM1892920-attività 2, linea 2.1—CUP H95G18000150006 ATT2. The research of D. K. was partially supported by the GACR Grant No. 18-08835S. F.Š. acknowledges financial support by the Ministry of Education, Youth and Sports of the Czech Republic project No. CZ.02.1.01/0.0/0.0/16_019/0000778.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Claude-Alain Pillet.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix: Illustrative and Comparison Plots
Appendix: Illustrative and Comparison Plots
1.1 A: Plots of the Spectral Enclosures from Theorem 2
The spectral enclosure for the \(\ell ^{1}\)-potentials from Theorem 1 was displayed already in the introduction in Fig. 1. Similarly, we provide several plots illustrating the spectral enclosures from Theorem 2 in Fig. 2 below. Namely, the plots show the boundary curves given by the equation
for \(m=1\), \(\Vert V\Vert _p=\frac{j}{4}\), \(j\in \{1,2,\dots ,7\}\), and four choices of \(p\in \{3/2,2,3,5\}\).
1.2 B: Comparison Plots for the \(\ell ^{1}\)-Bounds of Theorems 1 and 3 and Optimality
Next set of plots show the boundary curve of the spectral enclosure from Theorem 1 together with the corresponding improved result of Theorem 3 for a comparison. Moreover, the boundary curve of the improved spectral enclosure is made in two colors distinguishing the parts that are eigenvalues of some discrete Dirac operators as discussed in Theorem 5.
More concretely, in Fig. 3, we plot the boundary curve of Theorem 1 by blue dashed lines for \(m=1/2\) and several choices of \(\Vert V\Vert _{1}\). At the same time, we add a plot of the curve defined by the equation
by red or green solid lines for the same choice of parameters. The parts of the curve made in green belong to the set \(\mathcal {D}\) and hence these points are eigenvalues of some discrete Dirac operators with \(\ell ^{1}\)-potentials. The remaining parts are made in red.
1.3 C: Comparison Plots for the \(\ell ^{p}\)-Bounds from Theorems 2, 3, and Corollary 2
In the next plots, we compare the spectral enclosures given in Theorems 2 and 3 for \(\ell ^{p}\)-potentials with \(p>1\). As an extra, we add also the spectral enclosure of Corollary 2 into these plots. In this numerical comparison, we exclude the result of Theorem 4 due to its complexity and non-reliability of the numerical computations. Note that it is clear from the proofs that Theorem 4 is an improvement of Theorem 2.
The comparison is made in plots in Fig. 4 where the boundary curve of the spectral enclosure from Theorem 2 is made in solid yellow lines, from Theorem 3 in red dashed lines, and from Corollary 2 in blue dotted lines for \(m=1\), \(\Vert V\Vert _{p}=0.7\), and four choices of the parameter \(p\in \{3/2,2,3,5\}\).
It is by no means evident whether one of the spectral enclosures of Theorems 2 and 3 is better than the other. However, numerical experiments indicate that none is better than the other, i.e. none is a subset of the other, in general.
1.4 D: A Plot for Remark 6
Finally, as an illustration for Remark 6, Fig. 5 shows for what k’s within the unit disk the norm of the diagonal element \(T_{0}(k)\) of the resolvent (2.1) is not dominant.
Rights and permissions
About this article
Cite this article
Cassano, B., Ibrogimov, O.O., Krejčiřík, D. et al. Location of Eigenvalues of Non-self-adjoint Discrete Dirac Operators. Ann. Henri Poincaré 21, 2193–2217 (2020). https://doi.org/10.1007/s00023-020-00916-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00023-020-00916-2