Abstract
Let \(H_0\) be the free Dirac operator and \(V \geqslant 0\) be a positive potential. We study the discrete spectrum of \(H(\alpha )=H_0-\alpha V\) in the interval \((-1,1)\) for large values of the coupling constant \(\alpha >0\). In particular, we obtain an asymptotic formula for the number of eigenvalues of \(H(\alpha )\) situated in a bounded interval \([\lambda ,\mu )\) as \(\alpha \rightarrow \infty \).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Statement of the Main Theorem
Let \(H_0\) be the free Dirac operator
where \(\gamma _j\) are \(4\times 4\) self-adjoint matrices obeying the conditions
The operator \(H_0\) is self-adjoint in the space \(L^2({\mathbb R}^3;{\mathbb C}^4)\) consisting of functions on \({\mathbb R}^3\) that take values in \({\mathbb C}^4\). The spectrum of \(H_0\) is the set \(\sigma (H_0)=(-\infty ,-1]\cup [1,\infty )\).
Let \(V\geqslant 0\) be a bounded potential on \({\mathbb R}^3\). Define \(H(\alpha )\) to be the operator
In the formula above, V is understood as the operator of multiplication by a matrix-valued function \(V\cdot {\mathbb I}\). The case of a more general matrix-valued function will not be considered due to its little relation to Physics. Throughout the paper, we always assume that
In this case, besides having a continuous spectrum that coincides with \(\sigma (H_0)\), the operator \(H(\alpha )\) may only have a discrete spectrum in the interval \((-1,1)\). Choose \(\lambda \) and \(\mu \) so that \(-1<\lambda<\mu <1\). We define \(N(\alpha )\) to be the number of eigenvalues of \(H(\alpha )\) inside \([\lambda ,\mu )\).
Our main result is the theorem below which establishes the rate of growth of \(N(\alpha )\) at infinity. The symbol \(f_+\) denotes the positive part \(f_+=(|f|+f)/2\) of f, which can be either a real number or a real-valued function.
Theorem 1.1
Let \(\Phi \) be a continuous nonnegative function on the unit sphere in \({\mathbb R}^d\) and \(1<\nu <4/3\). Let \(V\geqslant 0\) be a bounded real-valued potential such that
uniformly in \(\theta =x/|x|\). Then for any \(q\in (9/4,3/\nu )\) and any subinterval \([\lambda ,\mu ]\subset (-1,1)\),
Remark
If \(N(\alpha ) \sim C \alpha ^{3/\nu }\) as \(\alpha \rightarrow \infty \), then the right hand side of (1.2) becomes \(\displaystyle \frac{\nu }{3-\nu q}\cdot C\). Thus, formula (1.2) determines the value of the constant C.
The question about the number of eigenvalues of the Dirac operator in a bounded interval is considered here for the first time. This theorem is new.
Perturbations \(V\in L^3({\mathbb R}^3)\) were studied in [17] by M. Klaus and, later, in [5] by M. Birman and A. Laptev. However, the object of the study in [17] and [5] was different from \(N(\alpha )\), considered in this article. The main results of [17] and [5] imply that if \(V\in L^3({\mathbb R}^3)\), then the number \({\mathcal {N}}(\lambda ,\alpha )\) of eigenvalues of H(t) passing a point \(\lambda \in (-1,1)\) as t increases from 0 to \(\alpha \) satisfies
In addition, M. Klaus proved in [17] that if \(V\in L^3\cap L^{3/2}\), then the asymptotic formula (1.3) holds even for \(\lambda =1\). In this case, \({\mathcal {N}}(\lambda ,\alpha )\) is interpreted as the number of eigenvalues of H(t) that appear at the right edge of the gap as t increases from 0 to \(\alpha \).
The crux of the problem. Observe that \( N(\alpha )={\mathcal {N}}(\mu ,\alpha )-{\mathcal {N}}(\lambda ,\alpha ). \) However, since the expression on the right hand side of (1.3) does not depend on \(\lambda \), this formula only implies that
In order to obtain an asymptotic formula for \(N(\alpha )\), one would need to know the second term in the asymptotics of \({\mathcal {N}}(\lambda ,\alpha )\). The second term in (1.3) has never been obtained. This explains why the problem is challenging. Another reason why the problem is challenging is that the Dirichlet–Neumann bracketing that is often used for Schrödinger operators cannot be applied to Dirac operators. To prove Theorem 1.1, one needs to develop a new machinery rich in tools that allow us to obtain the estimate of \(N(\alpha )\) stated below.
Theorem 1.2
Let \(V\in L^q({\mathbb R}^3)\cap L^\infty ({\mathbb R}^3)\) with \(9/4<q\leqslant 3\), and let \(N(\alpha )\) be the number of eigenvalues of \(H(\alpha )\) in the interval \([\lambda ,\mu )\). Then,
with a constant \(C>0\) depending on \(\lambda \) and \(\mu \) but independent of V.
Theorems 1.1 and 1.2 involve averaging of the function \(N(\alpha )\). Averaging of eigenvalue counting functions also appeared in the papers [28] and [29]. However, the operators that were studied in these two papers are Schrödinger operators. These are the publications in which one discusses a periodic Schrödinger operator perturbed by a decaying potential \(\alpha V\). The same model is discussed in [26, 27, 30], but the asymptotics of \(N(\alpha )\) is established in [26, 27, 30] without any averaging. To obtain such strong results, the authors in these articles impose very restrictive conditions on the derivatives of V. The remaining papers [1,2,3,4, 6, 7, 10, 12,13,14,15,16, 21, 25], devoted to Schrödinger operators, do not even deal with \(N(\alpha )\). Instead of that, they deal with the number \({\mathcal {N}}(\lambda ,\alpha )\) of eigenvalues passing the point \(\lambda \).
Finally, we would like to mention the paper [11]. While the problems discussed in [11] are related to the discrete spectrum of a Dirac operator, they are very different from the questions studied here.
2 Compact Operators
For a compact operator T, the symbols \(s_k(T)\) denote the singular values of T enumerated in the non-increasing order (\(k\in {\mathbb N}\)) and counted in accordance with their multiplicity. Observe that \(s^2_k(T)\) are eigenvalues of \(T^*T\). We set
For a self-adjoint compact operator T, we also set
where \(\lambda _k(T)\) are eigenvalues of T. Observe that (see [8])
A similar inequality holds for the function n. Also,
Theorem 2.1
Let A and B be two compact operators on the same Hilbert space. Then for any \(r\in {\mathbb N}\),
and
The first inequality was discovered by S. Rotfeld [23]. The second estimate is called Horn’s inequality (see Section 11.6 of the book [8]).
Below we use the following notation for the positive and negative part of a self-adjoint operator T:
We also define \(\textrm{sgn}(T)\) as a unitary operator having the property
Theorem 2.2
Let \(0<p\leqslant 1\). Let \(q\geqslant p\). Let A and B be two compact self-adjoint operators. Then for any \(s>0\),
Moreover, if \(B\leqslant A\), then
A proof of Theorem 2.2 can be found in [29].
Let \(H_0\) and \(V\geqslant 0\) be two self-adjoint operators acting on the same Hilbert space. Assume that V is bounded. For \(\lambda \in {\mathbb R}\setminus \sigma (H_0)\), define the operator \(X_\lambda \) by
Two points \(\lambda \) and \(\mu \) are said to be in the same spectral gap of \(H_0\) provided \([\lambda ,\mu ]\subset {\mathbb R}\setminus \sigma (H_0)\).
Proposition 2.3
Let \(0<p\leqslant 1\). Let \(q\geqslant p\). Suppose the operators \(X_\lambda \), \(X_\mu \) are compact for the two points \(\lambda <\mu \) that belong to the same spectral gap of \(H_0\). Then for any \(s>0\),
Proof
Here, one needs to apply Theorem 2.2 and use the fact that \(X_\lambda \leqslant X_\mu \). Indeed,
is a nonnegative operator, because
\(\square \)
Let \({\mathfrak {S}}_\infty \) be the class of compact operators. Note that the condition
implies that operators (2.4) are compact for all \(\lambda \in {\mathbb R}\setminus \sigma (H_0).\) This is a consequence of the fact that
where \(\Omega \) is a bounded operator. Moreover, (2.5) implies that, for each \(\alpha >0\), the spectrum of \(H(\alpha )=H_0-\alpha V\) is discrete outside of \(\sigma (H_0)\) because the difference of resolvent operators \((H(\alpha )-z)^{-1}\) and \((H_0-z)^{-1}\) is compact for \(\text {Im}\, z>0\).
The following proposition is called the Birman-Schwinger principle (see [3, 31]):
Proposition 2.4
Let \(H_0\) and \(V\geqslant 0\) be self-adjoint operators in a Hilbert space. Assume that V is a bounded operator and (2.5) holds for some \(\lambda _0\). Let \(\mathcal {N}(\lambda ,\alpha )\) be the number of eigenvalues of \(H(t)=H_0-tV\) passing through a point \(\lambda \notin \sigma (H_0)\) as t increases from 0 to \(\alpha \). Then,
The idea of the proof of (2.6) is the following. First, one shows that \(\lambda \in \sigma (H(\alpha ))\), if and only if \(\alpha ^{-1}\in \sigma (W(H-\lambda )^{-1}W)\). This relation holds with multiplicities taken into account. After that, one simply uses the definition of the distribution function \(n_+(s,X_\lambda )\).
Corollary 2.5
Let \(H_0\) and \(V\geqslant 0\) be self-adjoint operators in a Hilbert space. Assume that V is a bounded operator and (2.5) holds for some \(\lambda _0\). Let \(N(\alpha )\) be the number of eigenvalues of the operator \(H(\alpha )\) in \([\lambda ,\mu )\) contained in a gap of the spectrum \(\sigma (H_0)\). Then,
Let \(p>0\). The class of compact operators T whose singular values satisfy
is called the Schatten class \({\mathfrak {S}}_p\).
The following statement provides a Hölder type inequality for products of compact operators that belong to different Schatten classes.
Proposition 2.6
Let \(T_1\in {\mathfrak {S}}_p\) and \(T_2\in {\mathfrak {S}}_q\) where \(p>0\) and \(q>0\). Then \(T_1T_2\in {\mathfrak {S}}_r\), where \(1/r=1/p+1/q\), and
A proof of this proposition can be found in [8].
Consider the following important example of an integral operator on \(L^2({\mathbb R}^d)\):
If F is the Fourier transform operator, [a] and [b] are operators of multiplication by the functions a and b, then
The symbol \({\mathbb Q}\) below is used to denote the unit cube \([0,1)^d\).
Theorem 2.7
If a and b belong to \(L^p({\mathbb R}^d)\) with \(2\leqslant p<\infty \), then \(Y\in {\mathfrak {S}}_p\) and
If \(0<p< 2\) and
then \(Y\in {\mathfrak {S}}_p\) and
The constants in both inequalities depend only on d and p.
The proof of this theorem can be found in [7].
Let \(p>0\). Besides the classes \({\mathfrak {S}}_p\), we will be dealing with the so-called weak Schatten classes \(\Sigma _p\) of compact operators T obeying the condition
It turns out that Y defined by (2.8) belongs to \(\Sigma _p\) if \(a\in L^p\) and the other factor b satisfies the condition
Such functions b are said to belong to the space \(L^p_w({\mathbb R}^d)\). The following result is the so-called Cwikel’s inequality (see [9]).
Theorem 2.8
Let \(p> 2\). Assume that \(a\in L^p({\mathbb R}^d)\) and \(b\in L^p_w({\mathbb R}^d)\). Then, Y defined by (2.8) belongs to the class \(\Sigma _p\) and
with a constant C that depends only on d and p.
3 Preliminary Estimates
For the sake of brevity, the norms in the spaces \({\mathfrak {S}}_p\) and \(L^p\) (quasinorms for \(0<p<1\)) will be often denoted by the symbol \(\Vert \cdot \Vert _p\).
Theorem 3.1
Let p satisfy the condition \(p>\frac{9}{2}\). Assume that \(W\in L^p(\mathbb R^3)\cap L^\infty (\mathbb R^3)\). Let also
be the family of Birman-Schwinger operators with \(H_0\) being the free Dirac operator. Then, the operator
belongs to the Schatten class \({\mathfrak {S}}_{\frac{p}{6}}\) and
with a constant \(C>0\) that does not depend on W but might depend on \(\lambda \) and \(\mu \).
Proof
It is easy to see that
is a finite linear combination of operators of the form
where \(R_\lambda =(H_0-\lambda )^{-1}\) and \(n+m=2\). If the factors W were written before the factors \(R_\lambda \) and \(R_\mu \), then this term would be the operator
and Theorem 2.7 would imply an estimate that is similar to (3.1). We have to show that the position of the factors does not matter that much.
For that purpose, we observe that
where \(J_\lambda =\text {sign}(R_\lambda ) \). Using inequality (2.9), we estimate the Shatten norm of the product
Namely, we obtain that
This leads to the estimate
Besides (3.2) that provides an estimate of the Schatten norm of the first factor in the representation
we need an estimate for the norm of
This operator can be written as
where
is a bounded operator. Consequently,
Therefore, by inequality (2.9),
Combining the relations (3.2)–(3.3), we obtain that
The estimate
is obtained in the same way.
Similarly, since
we obtain that
which leads to the inequality
Thus, we need to estimate the Schatten norm of the operator
where
is a bounded operator. Since
we may apply inequality (2.9) to obtain that
Finally, combining the relations (3.2)–(3.5), we conclude that
\(\square \)
It follows from Proposition 2.3 that
As a consequence, applying Theorem 3.1, we obtain Theorem 1.2, saying that
4 Splitting
For \(\varepsilon >0\), we introduce two parts \(V_1\) and \(V_2\) of the potential V by setting
and
Let \(N_j(t)\) be the number of eigenvalues of the operator \(H_0-tV_j\) in the interval \([\lambda ,\mu )\), \(j=1,2\). We want to show that
We introduce \(\tilde{X}_\lambda \) by
where \(W_j=\sqrt{V}_j\) for \(j=1,2\). Note that
As we know from (2.3), for \(s=\alpha ^{-1}\),
Here, the value of the parameter q is the same as in Theorem 1.2. The constant c in the last term is the same as in the inequality \(n_+(s,X_\lambda )\leqslant c s^{-3}\) (a consequence of Cwikel’s estimate). The next proposition and its corollaries show that the right hand side is of order \(o(\alpha ^{3/\nu -q})\) as \(\alpha \rightarrow \infty \). That allows us to replace \(X_\lambda \) and \(X_\mu \) by the operators \(\tilde{X}_\lambda \) and \(\tilde{X}_\mu \) and claim that
Proposition 4.1
Let \(p>9/2\) and \(\gamma \geqslant 2\). Let \(W\in L^p(\mathbb R^3)\cap L^\infty (\mathbb R^3)\). Assume that the support of the function \(W_2\) is contained in the set
Let also
Then, there is an \(\alpha _0>0\) such that
with a constant \(C>0\) independent of \(\alpha \) and W.
Proof
The operator \( X_\lambda ^3-\tilde{X}_\lambda ^3\) is a finite linear combination of operators of the form
where \(R_\lambda =(H_0-\lambda )^{-1}\) and \(n+m=2\).
Repeating the arguments that lead to the estimate (3.2), we obtain
with \(r=\frac{2p}{3n}\). Similarly, we obtain that
with \(\tau =\frac{2p}{3m}\). Negative powers of W in(4.2) and (4.3) are always multiplied by W. Therefore, the resulting products are bounded operators.
It remains to estimate norms of the operators
in the classes \({\mathfrak {S}}_\varkappa \) with \(\frac{1}{\varkappa }=\frac{3}{p}+\frac{1}{\gamma }\). Clearly, it is enough to estimate only the norm of \(B_{1,2}\), because the adjoint of \(B_{1,2}\) looks similar to \(B_{2,1}\).
Let \(\zeta \) be a smooth function on the real line \(\mathbb R\) such that
Define \(\zeta _\alpha \) on \({\mathbb R}^3\) by
Then, obviously, \(\zeta _\alpha W_1=W_1\) and \(\zeta _\alpha W_2=0\). Using the identity
we obtain that
The middle operator \([H_0,\zeta _\alpha ]\) is an operator of multiplication by a bounded matrix-valued function supported in the layer
Repeating this trick several times, we obtain by induction that
Similarly, we derive the equality
which will be needed only in the case \(j=5\). Observe now that by (2.9), the operator
belongs to the Schatten class \({\mathfrak {S}}_\gamma \) for \(\gamma > 3/2\) (hence, for \(\gamma \geqslant 2\)) and
Indeed,
where \(\chi _{\Omega _\alpha }\) is the characteristic function of the set \(\Omega _\alpha \). Since the partial derivatives of \(\zeta _\alpha \) are bounded by \(\Vert \zeta '\Vert _{L^\infty }\), the inequality \(\Vert [H_0,\zeta _\alpha ]\Vert \leqslant C\) holds for some constant C independent of \(\alpha \). Therefore, we can estimate the Schatten norm of \(K_\lambda \) using (2.9) as follows
On the other hand, one can show that the norm of the operator
is bounded uniformly in \(\alpha \). Indeed, the operator \(R_\lambda \) is a continuous mapping from \(L^2=L^2({\mathbb R}^3;{\mathbb C}^4)\) to the Sobolev space \({\mathcal {H}}^1={\mathcal {H}}^1({\mathbb R}^3;{\mathbb C}^4)\). Moreover, since the derivatives of \(\zeta _\alpha \) are bounded by the \(L^\infty \)-norms of the derivatives of \(\zeta \), the operator of multiplication \([H_0,\zeta _\alpha ]\) can be viewed not only as an operator from \(L^2\) to \(L^2\) but also as a bounded operator from \({\mathcal {H}}^1\) to \({\mathcal {H}}^1\). The norms of these two different operators \([H_0,\zeta _\alpha ]\) are bounded uniformly in \(\alpha \). Therefore, the mapping
is a bounded linear operator whose norm is bounded by a constant independent of \(\alpha \). This implies that the norm of the operator (4.4) is bounded uniformly in \(\alpha \). Now, since
we can obtain the needed estimate of the norm of \(B_{1,2}\) in \({\mathfrak {S}}_\varkappa \). For that purpose, we write it as
where
belongs to \({\mathfrak {S}}_\gamma \) and \(\Vert Q_\lambda \Vert _{{\mathfrak {S}}_\gamma }\leqslant C\Vert K_\lambda \Vert _{{\mathfrak {S}}_\gamma }\).
Obviously,
with \(\frac{1}{\varkappa }=\frac{3}{p}+\frac{1}{\gamma }\). Therefore, by (2.9),
Observe now that
Combining the relations (4.2)–(4.6), we obtain that
\(\square \)
In fact we proved more: exactly the same arguments can be used to justify the following statement.
Corollary 4.2
Let \(p>9/2\), \(\gamma \geqslant 2\) and
Let \(W\in L^p({\mathbb R}^d)\cap L^\infty ({\mathbb R}^d)\). Let the operator \(T(\alpha )\) be a finite linear combination of products of three factors of the form
where \(\chi ^\pm _{j}\) are characteristic functions of some subsets of \({\mathbb R}^3\) (that may depend on \(\alpha \)). Assume that, at least for one of the three factors (4.7) in each product, the supports of \(\chi ^-_{j}\) and \(\chi ^+_{j}\) are separated from each other by a spherical layer of the form
Then, there is an \(\alpha _0>0\) such that
with a constant \(C>0\) independent of \(\alpha \) and W.
Proof
Let
where the supports of \(\chi ^-_{j}\) and \(\chi ^+_{j}\) are separated from each other by a spherical layer of the form (4.8) at least for one of the indices j.
Repeating the arguments that lead to the estimate (4.2), we obtain
and
Similarly, we obtain that
and
Negative powers of W in (4.9)–(4.12) are always multiplied by W. Therefore, the resulting products are bounded operators.
It remains to estimate the Schatten norms of the operators
in the case that the supports of \(\chi ^-_{j}\) and \(\chi ^+_{j}\) are separated from each other by a spherical layer of the form (4.8). The norms that are needed are the norms in the class \({\mathfrak {S}}_\varkappa \) with \(\frac{1}{\varkappa }=\frac{3}{p}+\frac{1}{\gamma }\).
Let \(\tilde{\zeta }\) be a smooth function on the real line \(\mathbb R\) such that
Define \(\tilde{\zeta }_\alpha \) on \({\mathbb R}^3\) by
To be clearly defined, assume that \(\tilde{\zeta }_\alpha \chi _j^-=\chi _j^-\) and \(\tilde{\zeta }_\alpha \chi _j^+=0\). Then
Repeating the arguments that lead to the estimate (4.5) word by word, we obtain
Observe now that
Combining the relations (4.9)–(4.14), we obtain that
\(\square \)
As a consequence, we immediately obtain the next result, in which \(R_\lambda \) is the same as before, i.e., \(R_\lambda =(H_0-\lambda )^{-1}\).
Corollary 4.3
Let \(p>9/2\), \(\gamma \geqslant 2\) and
Let \(\chi _j\) be the characteristic functions of the sets
and \(Y_{\lambda ,\alpha }\) be the operator defined by
Then, there is an \(\alpha _0>0\) such that
with a constant \(C>0\) independent of \(\alpha \) and W.
Proof
One only needs to realize that the operator \(T(\alpha ):=X^3_\lambda -\tilde{X}_\lambda ^3-Y_{\lambda ,\alpha }\) satisfies conditions of Corollary 4.2.\(\square \)
On the other hand, applying Cwikel’s inequality, one can easily show that
Indeed, \(Y_{\lambda ,\alpha }\) is a finite linear combination of products of three factors of the form \(\chi _A X_\lambda \chi _B\), where \(\chi _A \) and \(\chi _B \) are the characteristic functions of sets contained in the support of \(\chi _3\). Therefore,
which implies (4.16).
Now we rewrite (4.16) as
Consequently, for any positive constant \(c>0\),
where \([c\alpha ^3]\) denotes the integer part of \(c\alpha ^3\).
Corollary 4.4
Let \(\frac{9}{4}<q<\frac{3}{\nu }\) where \(\nu >1\). Assume that conditions of Theorem 1.1 are satisfied. Then,
Proof
Choose \(\gamma >\frac{q}{3-\nu q}\) and define p by
Then, \(p>6/\nu .\) Therefore, \(W\in L^p({\mathbb R}^3)\). Using Rotfeld’s inequality, we obtain
The inequality (4.18) estimates the last term on the right hand side of (4.1). It remains to apply Corollary 4.3 and the relation (4.17). \(\square \)
5 Other Consequences
The preceding discussion of the splitting principle involves a decomposition of the space \({\mathbb R}^3\) into two domains. It is easy to see that the same arguments work for all piecewise smooth domains obtained similarly by scaling by a factor of \(\alpha ^{1/\nu }\). In particular, one of the domains that we have already considered can be decomposed further into smaller sets. Namely, let \(Q_j\) be bounded disjoint cubes contained in the region \(\{x\in {\mathbb R}^3:\,\,|x|\geqslant \varepsilon \}\), \(1\leqslant j\leqslant n-1\). Let \(\{\phi _{j,\alpha }\}_{j=1}^{n-1}\) be the characteristic functions of the cubes \(\alpha ^{1/\nu }Q_j\). Define \(\phi _{n,\alpha }\) to be the characteristic function of the complement
Theorem 5.1
Let \(\frac{9}{4}<q<\frac{3}{\nu }\) where \(\nu >1\). Assume that conditions of Theorem 1.1 are satisfied. Then
as \(\alpha \rightarrow \infty \).
To prove Theorem 5.1, it is enough to repeat the steps that were needed to prove Corollary 4.4.
Clearly, to obtain an asymptotic formula for \( \int _{\alpha ^{-1}}^\infty n_+\bigl (t, W_2(H_0-\lambda )^{-1}W_2\bigr ) t^{q-1}\textrm{d}t\) one has to obtain an asymptotic formula for \(\int _{\alpha ^{-1}}^\infty n_+\bigl (t, \phi _{j,\alpha }W(H_0-\lambda )^{-1}W\phi _{j,\alpha }\bigr )t^{q-1}\textrm{d}t \) for each j. The latter integral can be written as
Observe now that, if
then the maximum and minimum values of \(\alpha \, V\) on the cubes \(\alpha ^{1/\nu } Q_j\) do not depend on \(\alpha \):
The potential \(\alpha V\) can be squeezed between the constant functions \(m_j \phi _{j,\alpha }\) and \(M_j \phi _{j,\alpha }\) on each cube \(\alpha ^{1/\nu } Q_j\).
So, due to the monotonicity of the counting function \(n_+\),
for any \(\tau >0\).
Consequently, it remains to obtain an asymptotic formula for the quantity
for any fixed \(t>0\). We are going to prove the following result.
Proposition 5.2
For any fixed \(t>0\),
Proof
Note that
Taking into account the fact that \(\pm \sqrt{|\xi |^2+1}\) are eigenvalues of the symbol
of the operator \(H_0\), we conclude that we need to prove that
for \(\Psi \) being the characteristic function of the interval \((t,\infty )\). Since such a function \(\Psi \) can be squeezed between two different functions of the form
and the quantity
depends on t continuously, we only need to prove (5.1) for \(\Psi \) that are continuous and vanishing near zero.
Any such function \(\Psi \) can be written as
where \(\eta \) is a continuous function on the real line \({\mathbb R}\). Notice that, in this case,
Moreover, since \(\Psi ((H_0-\lambda )^{-1})=(H_0-\lambda )^{-2}\eta (R_\lambda )(H_0-\lambda )^{-3}\),
Thus, both sides of (5.1) can be estimated by \(C\alpha ^{3/\nu }\Vert \eta \Vert _\infty \). Note now that functions of a given self-adjoint operator only need to be defined on the spectrum of the operator. On the other hand, the spectrum of \((H_0-\lambda )^{-1}\) is contained in \([-L,L]\), where \(L=1/(1-|\lambda |)\). Therefore, the functional \(\Vert \eta \Vert _\infty \) in the last inequality is the \(L^\infty \)-norm of the function on the interval \([-L,L]\). Since on a finite interval, \(\eta \) can be uniformly approximated by polynomials, it is enough to prove (5.1) under the assumption that \(\eta \) is a polynomial. Put differently, it is enough to prove (5.1) for
because polynomials are finite linear combinations of power functions.
Denote \(R_\lambda =(H_0-\lambda )^{-1}\), \(\chi _+=\phi _{j,\alpha }\) and \(\chi _-=1-\phi _{j,\alpha }.\) We are going to prove that
For that purpose, we write \(\chi _+R_\lambda ^k\chi _+\) as
While the norm of the operator \(\chi _+R_\lambda \chi _-\) does not tend to zero, it is still representable in the form
To see that, we define \(T_2\) to be the operator
where \(\Theta \) is the operator of multiplication by the characteristic function of the layer
Then, the volume of the support of the function \(\Theta \) does not exceed \(C\alpha ^{5/(2\nu )}\) at least for large values of \(\alpha \). Therefore,
On the other hand, since the explicit expression for the integral kernel of \((H_0-\lambda )^{-1}\) shows that the latter decays exponentially fast as \(|x-y|\rightarrow \infty \), we have the following estimate for the integral kernel k(x, y) of the operator \(T_1\):
This implies that \( \Vert T_1\Vert \rightarrow 0\) as \(\alpha \rightarrow \infty \), because x and y for which \(k(x,y)\ne 0\) are distance \(\alpha ^{1/(2\nu )}\) apart from each other, while
Thus, we have the following estimate
Combining this relation with (5.3), we obtain (5.2). \(\square \)
As a consequence, we obtain
Proposition 5.3
For any constant \(M\geqslant 0\), we have
Proof
Changing the variables \(\alpha t\rightarrow t\), we obtain
The integrand on the right hand side can be estimated according to Cwikel’s inequality:
Consequently, the limit on the right hand side of (5.7) can be computed by the Lebesgue dominated convergence theorem. The relation (5.6) follows now from Proposition 5.2. \(\square \)
To state the next result, we need to introduce the notation
Theorem 5.4
Assume that
where \(\Phi \) is a continuous function on the unit sphere. Then
Proof
Let \(m_j\) and \(M_j\) be the maximum and the minimum values of V on the cube \(Q_j\). Then, according to Proposition 5.3, we have
by the monotonicity of the counting function \(n_+\). Taking the sum over j on the three sides of (5.10) and using Theorem 5.1, we obtain that
It remains to realize that the left and the right hand sides are the Riemann sums of the integral on the right hand side of (5.9). \(\square \)
Obviously, the condition (5.8) of the theorem can be replaced by the assumption that
uniformly in \(\theta =x/|x|\).
Theorem 5.5
Let \(V\geqslant 0\) be a bounded real-valued potential such that (5.11) holds uniformly in \(\theta \) for some continuous function \(\Phi \) defined on the unit sphere. Let \(9/4<q<3/\nu \) and \(\nu >1\). Then,
6 The End of the Proof
Proposition 6.1
Let \(V\geqslant 0\) be a bounded real-valued potential such that (5.11) holds uniformly in \(\theta \) for some continuous function \(\Phi \) defined on the unit sphere. Let \(9/4<q<3/\nu \) and \(\nu >1\). Let also \(-1<\lambda<\mu <1\). Then, It is enough to appl
Proof
It is enough to apply the estimate established in Theorem 1.2 with V replaced by the potential \(V_1\). \(\square \)
Corollary 6.2
Let \(V\geqslant 0\) be a bounded real-valued potential such that (5.11) holds uniformly in \(\theta \) for some continuous function \(\Phi \) defined on the unit sphere. Let \(9/4<q<3/\nu \) and \(\nu >1\). Let also \(-1<\lambda<\mu <1\). Then,
while
Theorem 6.3
Let \(V\geqslant 0\) be a bounded real-valued potential such that (5.11) holds uniformly in \(\theta \) for some continuous function \(\Phi \) defined on the unit sphere. Let \(9/4<q<3/\nu \) and \(\nu >1\). Let also \(-1<\lambda<\mu <1\). Then,
Proof
According to Corollary 4.4, \(\tilde{X}_\lambda \) and \(\tilde{X}_\mu \) in (6.2) and (6.3) can be replaced by the operators\(X_\lambda \) and \(X_\mu \). After this replacement, we can pass to the limit as \(\varepsilon \rightarrow 0\). \(\square \)
References
Alama, S., Avellaneda, M., Deift, P., Hempel, R.: On the existence of eigenvalues of a divergence-form operator \(A+{\lambda }B\) in a gap of \(\sigma (A)\). Asympt. Anal. 8(4), 311–344 (1994)
Alama, S., Deift, P., Hempel, R.: Eigenvalue branches of the Schrödinger operator \(H-{\lambda }W\) in a gap of \(\sigma (H_0)\). Comm. Math. Phys. 121(2), 291–321 (1989)
Birman, M.Sh.: On the spectrum of singular boundary-value problems. Mat. Sb. (N.S.) 55(97), 125–174 (1961) (Russian), English translation in American Mathematical Society Translation, Series 2, 53, 23–80 (1966)
Birman, M.: Discrete spectrum in gaps of a continuous one for perturbations with large coupling constants. Adv. Sov. Math. 7, 57–73 (1991)
Birman, M., Laptev, A.: Discrete spectrum of the perturbed Dirac operator. Ark. Matematik 32(1), 13–32 (1994)
Birman, M., Sloushch, V.: Discrete spectrum of the periodic Schrödinger operator with a variable metric perturbed by a nonnegative potential. Math. Model. Nat. Phenom. 5(4), 32–53 (2010)
Birman, M., Solomyak, M.: Estimates of singular numbers of integral operators. Adv. Math. Sci. 32(1), 17–84 (1977)
Birman, M., Solomyak, M.: Spectral Theory of Self-Adjoint Operators in Hilbert Space, 2nd edition. Izdatelstvo Lan (2010)
Cwikel, M.: Weak type estimates for singular values and the number of bound states of Schrodinger operators. Ann. Math. (2) 106(1), 93–100 (1977)
Deift, P., Hempel, R.: On the existence of eigenvalues of the Schrödinger operator \(H-{\lambda }W\) in a gap of \(\sigma (H_0)\). Comm. Math. Phys. 103, 461–490 (1986)
Evans, W.D., Lewis, R.T., Siedentop, H., Solovej, J.P.: Counting eigenvalues using coherent states with an application to Dirac and Schrödinger operators in the semi-classical limit. Ark. Mat. 34, 265–283 (1996)
Gesztesy, F., Gurarie, D., Holden, H., Klaus, M., Sadun, L., Simon, B., Vogl, P.: Trapping and cascading of eigenvalues in the large coupling constant limit. Comm. Math. Phys. 118, 597–634 (1988)
Gesztesy, F., Simon, B.: On a theorem of Deift and Hempel. Comm. Math. Phys. 116, 503–505 (1988)
Hempel, R.: On the asymptotic distribution of the eigenvalue branches of the Schrödinger operator \( H\pm {\lambda }W\) in a spectral gap of \(H\). J. Reine Angew. Math. 399, 38–59 (1989)
Hempel, R.: Eigenvalues in gaps and decoupling by Neumann boundary conditions. J. Math. Anal. Appl. 169(1), 229–259 (1992)
Hempel, R.: Eigenvalues of Schrödinger Operators in Gaps of the Essential Spectrum—An Overview. Contemporary Mathematics, vol. 458. AMS, Providence (2008)
Klaus, M.: On the point spectrum of Dirac operators. Helv. Phys. Acta. 53, 453–462 (2023)
Klaus, M.: Some applications of the Birman–Schwinger principle. Helv. Phys. Acta. 55, 49–68 (2023)
Lieb, E.: Bounds on the eigenvalues of the Laplace and Schrödinger operators Bull. AMS 82, 751–753 (1976)
Lieb E.: The number of bound states of one-body Schrödinger operators and the Weyl problem. In: Geometry of the Laplace Operator (Proceedings of the Symposium Pure Mathematics 1979), pp. 241–252
Pushnitski, A.: Operator theoretic methods for the eigenvalue counting function in spectral gaps. Ann. Henri Poincare 10, 793–822 (2009)
Reed, M., Simon, B.: Methods of Modern Mathematical Physics IV. Analysis of Operators. Academic Press, New York (1978)
Rotfeld, SYu.: Remarks on singular numbers of the sum of totally continuous operators. Funct. Anal. Appl. 1(3), 95–96 (1967)
Rozenbljum, G.: The disctribution of discrete spectrum for singular differential operators. Dokl. Akad. Nauk SSSR 202, 1012–1015. Soviet Math. Dokl. 13, 245–249 (1972)
Safronov, O.: The discrete spectrum of selfadjoint operators under perturbations of variable sign. Comm. PDE 26(3–4), 629–649 (2001)
Safronov, O.: The discrete spectrum of the perturbed periodic Schrödinger operator in the large coupling constant limit. Commun. Math. Phys. 218(1), 217–232 (2001)
Safronov, O.: The amount of discrete spectrum of a perturbed periodic Schrödinger operator inside a fixed interval \(({\lambda }_{1}, {\lambda }_{2})\). Int. Math. Not. 9, 411–423 (2004)
Safronov, O.: Discrete spectrum of a periodic Schrödinger operator perturbed by a rapidly decaying potential. Annales Henri Poincare 23, 1883–1907 (2022)
Safronov, O.: Eigenvalues of a periodic Schrödinger operator perturbed by a fast decaying potential. J. Math. Phys 63, 12 (2022)
Sobolev, A.V.: Weyl asymptotics for the discrete spectrum of the perturbed Hill operator. Adv. Sov. Math. 7, 159–178 (1991)
Schwinger, J.: On the bound states of a given potential. Proc. Natl. Acad. Sci. USA 47, 122–129 (1961)
Acknowledgements
We are grateful to the referees of our paper for numerous suggestions and remarks that substantially improved the text.
Funding
Open access funding provided by the Carolinas Consortium.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Jan Derezinski.
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 licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Holt, J., Safronov, O. On the Number of Eigenvalues of the Dirac Operator in a Bounded Interval. Ann. Henri Poincaré (2024). https://doi.org/10.1007/s00023-024-01431-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00023-024-01431-4